{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:JYGFB4DXDBKJSFVYOUGP37NRRO","short_pith_number":"pith:JYGFB4DX","schema_version":"1.0","canonical_sha256":"4e0c50f07718549916b8750cfdfdb18b9a2cc7c4e7153adda225dcebd5ed54d6","source":{"kind":"arxiv","id":"1903.00982","version":4},"attestation_state":"computed","paper":{"title":"Oxide: The Essence of Rust","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Aaron Weiss, Amal Ahmed, Daniel Patterson, Olek Gierczak","submitted_at":"2019-03-03T20:22:37Z","abstract_excerpt":"Rust claims to advance industrial programming by bridging the gap between low-level systems programming and high-level application programming. At the heart of the argument that this enables programmers to build more reliable and efficient software is the borrow checker - a novel approach to ownership that aims to balance type system expressivity with usability. And yet, to date there is no core type system that captures Rust's notion of ownership and borrowing, and hence no foundation for research on Rust to build upon.\n  In this work, we set out to capture the essence of this model of owners"},"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":"1903.00982","kind":"arxiv","version":4},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-03-03T20:22:37Z","cross_cats_sorted":[],"title_canon_sha256":"0a87dad981ab8fd6ea2afcd21ab15309e307da44cbf5cc03aa4d82f01baa97b7","abstract_canon_sha256":"ac6cfa0c0f55da82a4d46c64cf0bed462a6b52a5cf344bc6b7e31ba6d3252595"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:24:05.684982Z","signature_b64":"JK9Vwwm6gaUZ5sHSwQX0UMS3sXfc033v0dI5voNh9xav7B2r5ZWQg2WpxCCYE8T6HHaB3YJgmqn6r9uSjAwADw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4e0c50f07718549916b8750cfdfdb18b9a2cc7c4e7153adda225dcebd5ed54d6","last_reissued_at":"2026-07-05T03:24:05.684382Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:24:05.684382Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Oxide: The Essence of Rust","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Aaron Weiss, Amal Ahmed, Daniel Patterson, Olek Gierczak","submitted_at":"2019-03-03T20:22:37Z","abstract_excerpt":"Rust claims to advance industrial programming by bridging the gap between low-level systems programming and high-level application programming. At the heart of the argument that this enables programmers to build more reliable and efficient software is the borrow checker - a novel approach to ownership that aims to balance type system expressivity with usability. And yet, to date there is no core type system that captures Rust's notion of ownership and borrowing, and hence no foundation for research on Rust to build upon.\n  In this work, we set out to capture the essence of this model of owners"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.00982","kind":"arxiv","version":4},"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/1903.00982/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":"1903.00982","created_at":"2026-07-05T03:24:05.684449+00:00"},{"alias_kind":"arxiv_version","alias_value":"1903.00982v4","created_at":"2026-07-05T03:24:05.684449+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.00982","created_at":"2026-07-05T03:24:05.684449+00:00"},{"alias_kind":"pith_short_12","alias_value":"JYGFB4DXDBKJ","created_at":"2026-07-05T03:24:05.684449+00:00"},{"alias_kind":"pith_short_16","alias_value":"JYGFB4DXDBKJSFVY","created_at":"2026-07-05T03:24:05.684449+00:00"},{"alias_kind":"pith_short_8","alias_value":"JYGFB4DX","created_at":"2026-07-05T03:24:05.684449+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":3,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2606.01974","citing_title":"Toka: A Systems Programming Language with Explicit Resource Semantics","ref_index":3,"is_internal_anchor":false},{"citing_arxiv_id":"1907.05308","citing_title":"Executable formal semantics for the POSIX shell","ref_index":23,"is_internal_anchor":false},{"citing_arxiv_id":"2604.02399","citing_title":"A Synthesis Method of Safe Rust Code Based on Pushdown Colored Petri Nets","ref_index":28,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JYGFB4DXDBKJSFVYOUGP37NRRO","json":"https://pith.science/pith/JYGFB4DXDBKJSFVYOUGP37NRRO.json","graph_json":"https://pith.science/api/pith-number/JYGFB4DXDBKJSFVYOUGP37NRRO/graph.json","events_json":"https://pith.science/api/pith-number/JYGFB4DXDBKJSFVYOUGP37NRRO/events.json","paper":"https://pith.science/paper/JYGFB4DX"},"agent_actions":{"view_html":"https://pith.science/pith/JYGFB4DXDBKJSFVYOUGP37NRRO","download_json":"https://pith.science/pith/JYGFB4DXDBKJSFVYOUGP37NRRO.json","view_paper":"https://pith.science/paper/JYGFB4DX","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1903.00982&json=true","fetch_graph":"https://pith.science/api/pith-number/JYGFB4DXDBKJSFVYOUGP37NRRO/graph.json","fetch_events":"https://pith.science/api/pith-number/JYGFB4DXDBKJSFVYOUGP37NRRO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JYGFB4DXDBKJSFVYOUGP37NRRO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JYGFB4DXDBKJSFVYOUGP37NRRO/action/storage_attestation","attest_author":"https://pith.science/pith/JYGFB4DXDBKJSFVYOUGP37NRRO/action/author_attestation","sign_citation":"https://pith.science/pith/JYGFB4DXDBKJSFVYOUGP37NRRO/action/citation_signature","submit_replication":"https://pith.science/pith/JYGFB4DXDBKJSFVYOUGP37NRRO/action/replication_record"}},"created_at":"2026-07-05T03:24:05.684449+00:00","updated_at":"2026-07-05T03:24:05.684449+00:00"}