{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:JYGFB4DXDBKJSFVYOUGP37NRRO","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"ac6cfa0c0f55da82a4d46c64cf0bed462a6b52a5cf344bc6b7e31ba6d3252595","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-03-03T20:22:37Z","title_canon_sha256":"0a87dad981ab8fd6ea2afcd21ab15309e307da44cbf5cc03aa4d82f01baa97b7"},"schema_version":"1.0","source":{"id":"1903.00982","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.00982","created_at":"2026-07-05T03:24:05Z"},{"alias_kind":"arxiv_version","alias_value":"1903.00982v4","created_at":"2026-07-05T03:24:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.00982","created_at":"2026-07-05T03:24:05Z"},{"alias_kind":"pith_short_12","alias_value":"JYGFB4DXDBKJ","created_at":"2026-07-05T03:24:05Z"},{"alias_kind":"pith_short_16","alias_value":"JYGFB4DXDBKJSFVY","created_at":"2026-07-05T03:24:05Z"},{"alias_kind":"pith_short_8","alias_value":"JYGFB4DX","created_at":"2026-07-05T03:24:05Z"}],"graph_snapshots":[{"event_id":"sha256:0c76db7ac7c082cd686f9b5e13b746d2e30b92c2f4307b7c585597a598bd262d","target":"graph","created_at":"2026-07-05T03:24:05Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1903.00982/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Aaron Weiss, Amal Ahmed, Daniel Patterson, Olek Gierczak","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-03-03T20:22:37Z","title":"Oxide: The Essence of Rust"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.00982","kind":"arxiv","version":4},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:fce144d6ff9a9b3d3b3b92f8b8c6e9ab99b44b13422170d839ab65814cc97741","target":"record","created_at":"2026-07-05T03:24:05Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"ac6cfa0c0f55da82a4d46c64cf0bed462a6b52a5cf344bc6b7e31ba6d3252595","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-03-03T20:22:37Z","title_canon_sha256":"0a87dad981ab8fd6ea2afcd21ab15309e307da44cbf5cc03aa4d82f01baa97b7"},"schema_version":"1.0","source":{"id":"1903.00982","kind":"arxiv","version":4}},"canonical_sha256":"4e0c50f07718549916b8750cfdfdb18b9a2cc7c4e7153adda225dcebd5ed54d6","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4e0c50f07718549916b8750cfdfdb18b9a2cc7c4e7153adda225dcebd5ed54d6","first_computed_at":"2026-07-05T03:24:05.684382Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:24:05.684382Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JK9Vwwm6gaUZ5sHSwQX0UMS3sXfc033v0dI5voNh9xav7B2r5ZWQg2WpxCCYE8T6HHaB3YJgmqn6r9uSjAwADw==","signature_status":"signed_v1","signed_at":"2026-07-05T03:24:05.684982Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.00982","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fce144d6ff9a9b3d3b3b92f8b8c6e9ab99b44b13422170d839ab65814cc97741","sha256:0c76db7ac7c082cd686f9b5e13b746d2e30b92c2f4307b7c585597a598bd262d"],"state_sha256":"b613beb285b4501b4b32414741d69dc146e1dedd356e1e2f62a36289fbedd2b8"}