{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:EU4AYV5QMAWFE5GCC7Y2XOG343","short_pith_number":"pith:EU4AYV5Q","schema_version":"1.0","canonical_sha256":"25380c57b0602c5274c217f1abb8dbe6c03c4f45b91c164a44fe567f4f8dd805","source":{"kind":"arxiv","id":"2205.05181","version":1},"attestation_state":"computed","paper":{"title":"The Move Borrow Checker","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"John Mitchell, Sam Blackshear, Shaz Qadeer, Todd Nowacki","submitted_at":"2022-05-10T21:37:21Z","abstract_excerpt":"The Move language provides abstractions for programming with digital assets via a mix of value semantics and reference semantics. Ensuring memory safety in programs with references that access a shared, mutable global ledger is difficult, yet essential for the use-cases targeted by Move. The language meets this challenge with a novel memory model and a modular, intraprocedural static reference safety analysis that leverages key properties of the memory. The analysis ensures the absence of memory safety violations in all Move programs (including ones that link against untrusted code) by running"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2205.05181","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-05-10T21:37:21Z","cross_cats_sorted":[],"title_canon_sha256":"7c4f22449c2a611cc78e15ff0ce2b80c3ab1c46dbfed7f6d814023ea2f8a2bc6","abstract_canon_sha256":"1d9d9d26d067560ea7abea9ce3fff3fad8ebc47ed34c03117e36ff00f252818c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:22:23.042494Z","signature_b64":"jbqJClY9FKgUOgIdljPqriu+y+LJlUPSqbbTkkCd0LfL/e1JAqfNbzZOqzKlHpqj3cuJCQijapQiTQFfdmIuAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"25380c57b0602c5274c217f1abb8dbe6c03c4f45b91c164a44fe567f4f8dd805","last_reissued_at":"2026-07-05T04:22:23.041995Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:22:23.041995Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Move Borrow Checker","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"John Mitchell, Sam Blackshear, Shaz Qadeer, Todd Nowacki","submitted_at":"2022-05-10T21:37:21Z","abstract_excerpt":"The Move language provides abstractions for programming with digital assets via a mix of value semantics and reference semantics. Ensuring memory safety in programs with references that access a shared, mutable global ledger is difficult, yet essential for the use-cases targeted by Move. The language meets this challenge with a novel memory model and a modular, intraprocedural static reference safety analysis that leverages key properties of the memory. The analysis ensures the absence of memory safety violations in all Move programs (including ones that link against untrusted code) by running"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.05181","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2205.05181/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2205.05181","created_at":"2026-07-05T04:22:23.042057+00:00"},{"alias_kind":"arxiv_version","alias_value":"2205.05181v1","created_at":"2026-07-05T04:22:23.042057+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.05181","created_at":"2026-07-05T04:22:23.042057+00:00"},{"alias_kind":"pith_short_12","alias_value":"EU4AYV5QMAWF","created_at":"2026-07-05T04:22:23.042057+00:00"},{"alias_kind":"pith_short_16","alias_value":"EU4AYV5QMAWFE5GC","created_at":"2026-07-05T04:22:23.042057+00:00"},{"alias_kind":"pith_short_8","alias_value":"EU4AYV5Q","created_at":"2026-07-05T04:22:23.042057+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.18064","citing_title":"Defense-in-Depth Runtime Safety in Move","ref_index":9,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/EU4AYV5QMAWFE5GCC7Y2XOG343","json":"https://pith.science/pith/EU4AYV5QMAWFE5GCC7Y2XOG343.json","graph_json":"https://pith.science/api/pith-number/EU4AYV5QMAWFE5GCC7Y2XOG343/graph.json","events_json":"https://pith.science/api/pith-number/EU4AYV5QMAWFE5GCC7Y2XOG343/events.json","paper":"https://pith.science/paper/EU4AYV5Q"},"agent_actions":{"view_html":"https://pith.science/pith/EU4AYV5QMAWFE5GCC7Y2XOG343","download_json":"https://pith.science/pith/EU4AYV5QMAWFE5GCC7Y2XOG343.json","view_paper":"https://pith.science/paper/EU4AYV5Q","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2205.05181&json=true","fetch_graph":"https://pith.science/api/pith-number/EU4AYV5QMAWFE5GCC7Y2XOG343/graph.json","fetch_events":"https://pith.science/api/pith-number/EU4AYV5QMAWFE5GCC7Y2XOG343/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EU4AYV5QMAWFE5GCC7Y2XOG343/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EU4AYV5QMAWFE5GCC7Y2XOG343/action/storage_attestation","attest_author":"https://pith.science/pith/EU4AYV5QMAWFE5GCC7Y2XOG343/action/author_attestation","sign_citation":"https://pith.science/pith/EU4AYV5QMAWFE5GCC7Y2XOG343/action/citation_signature","submit_replication":"https://pith.science/pith/EU4AYV5QMAWFE5GCC7Y2XOG343/action/replication_record"}},"created_at":"2026-07-05T04:22:23.042057+00:00","updated_at":"2026-07-05T04:22:23.042057+00:00"}