{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:2TUDOMPEVMJIZRAZ2DWL3E7YBG","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":"67d53f820a0cc15092e30a71470fdf9fe204c8402fed95fe71587b3b9320760a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-28T14:12:11Z","title_canon_sha256":"1481d23169d9c026a026aae8e9eb301f26c640e33e44793e4cbef15041493ec6"},"schema_version":"1.0","source":{"id":"1804.10806","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.10806","created_at":"2026-05-18T00:17:15Z"},{"alias_kind":"arxiv_version","alias_value":"1804.10806v1","created_at":"2026-05-18T00:17:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.10806","created_at":"2026-05-18T00:17:15Z"},{"alias_kind":"pith_short_12","alias_value":"2TUDOMPEVMJI","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_16","alias_value":"2TUDOMPEVMJIZRAZ","created_at":"2026-05-18T12:32:02Z"},{"alias_kind":"pith_short_8","alias_value":"2TUDOMPE","created_at":"2026-05-18T12:32:02Z"}],"graph_snapshots":[{"event_id":"sha256:3ef29b222af939775e4b598f095d0cb489fc4fb81c5f582dc8f4c515d6c72103","target":"graph","created_at":"2026-05-18T00:17:15Z","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"},"paper":{"abstract_excerpt":"Rust is a new and promising high-level system programming language. It provides both memory safety and thread safety through its novel mechanisms such as ownership, moves and borrows. Ownership system ensures that at any point there is only one owner of any given resource. The ownership of a resource can be moved or borrowed according to the lifetimes. The ownership system establishes a clear lifetime for each value and hence does not necessarily need garbage collection. These novel features bring Rust high performance, fine low-level control of C and C++, and unnecessity in garbage collection","authors_text":"Feng Wang, Fu Song, Jun Zhang, Min Zhang, Xiaoran Zhu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-28T14:12:11Z","title":"KRust: A Formal Executable Semantics of Rust"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.10806","kind":"arxiv","version":1},"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:e8705a41b6e5d65fddbfb1e8fe88a5c3c9dfcb8a2f8a6912dc81d81852d42143","target":"record","created_at":"2026-05-18T00:17:15Z","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":"67d53f820a0cc15092e30a71470fdf9fe204c8402fed95fe71587b3b9320760a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-04-28T14:12:11Z","title_canon_sha256":"1481d23169d9c026a026aae8e9eb301f26c640e33e44793e4cbef15041493ec6"},"schema_version":"1.0","source":{"id":"1804.10806","kind":"arxiv","version":1}},"canonical_sha256":"d4e83731e4ab128cc419d0ecbd93f809abf959c31fb2b5a03213582a11e55ce8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d4e83731e4ab128cc419d0ecbd93f809abf959c31fb2b5a03213582a11e55ce8","first_computed_at":"2026-05-18T00:17:15.489307Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:15.489307Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kYqs3GrfpZ88CSkjvB9s+F+2m3o26r2nDN6iA8rN2bAD3RCVuYa0+wGCXDhLIaeg0FlD4LQz/LZ5MywOQdOVAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:15.490067Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.10806","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e8705a41b6e5d65fddbfb1e8fe88a5c3c9dfcb8a2f8a6912dc81d81852d42143","sha256:3ef29b222af939775e4b598f095d0cb489fc4fb81c5f582dc8f4c515d6c72103"],"state_sha256":"ac1b4444a85864b4e8d91a919f7ac9f549e4a74d660d15bea3771bbe4ed11aaf"}