{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:VJW2SPHEYC75I7XMVPXVBWEYZX","short_pith_number":"pith:VJW2SPHE","canonical_record":{"source":{"id":"2606.18064","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-16T15:38:26Z","cross_cats_sorted":[],"title_canon_sha256":"255ff3dd5792d5efbffcffd03ef9566450ba26ff568cd4aa350b676098c92e04","abstract_canon_sha256":"6a51ec4d15fc7bdd6fb4ec8b995fe83c9dd53ab5cfa38b72579e5ae188010501"},"schema_version":"1.0"},"canonical_sha256":"aa6da93ce4c0bfd47eecabef50d898cddcb88b9a13dd0f1cd1327ff7b2b06df1","source":{"kind":"arxiv","id":"2606.18064","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.18064","created_at":"2026-06-19T16:10:47Z"},{"alias_kind":"arxiv_version","alias_value":"2606.18064v1","created_at":"2026-06-19T16:10:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.18064","created_at":"2026-06-19T16:10:47Z"},{"alias_kind":"pith_short_12","alias_value":"VJW2SPHEYC75","created_at":"2026-06-19T16:10:47Z"},{"alias_kind":"pith_short_16","alias_value":"VJW2SPHEYC75I7XM","created_at":"2026-06-19T16:10:47Z"},{"alias_kind":"pith_short_8","alias_value":"VJW2SPHE","created_at":"2026-06-19T16:10:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:VJW2SPHEYC75I7XMVPXVBWEYZX","target":"record","payload":{"canonical_record":{"source":{"id":"2606.18064","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-16T15:38:26Z","cross_cats_sorted":[],"title_canon_sha256":"255ff3dd5792d5efbffcffd03ef9566450ba26ff568cd4aa350b676098c92e04","abstract_canon_sha256":"6a51ec4d15fc7bdd6fb4ec8b995fe83c9dd53ab5cfa38b72579e5ae188010501"},"schema_version":"1.0"},"canonical_sha256":"aa6da93ce4c0bfd47eecabef50d898cddcb88b9a13dd0f1cd1327ff7b2b06df1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-19T16:10:47.590637Z","signature_b64":"gEArBIY89yFC5/BQQI59Og8Jon2fTGama29Nzpas0IKPtirlxvO5GY/0FX12eDpPZkNqD0xh+5nDR8W0jhx1Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aa6da93ce4c0bfd47eecabef50d898cddcb88b9a13dd0f1cd1327ff7b2b06df1","last_reissued_at":"2026-06-19T16:10:47.590235Z","signature_status":"signed_v1","first_computed_at":"2026-06-19T16:10:47.590235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.18064","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-19T16:10:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8vi2dM9JYKoj0E7dQxKxrQNQ+iJ3Dqn6cyx7gKiWFXDw0+snWe1v8ffVi/REwMEkbkKDyWxZglPZ7wMrLvAOBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T06:55:34.067114Z"},"content_sha256":"3f44149568abe7598e7997c0420140510feb9b9c5e6e4210cb22e247ee371a82","schema_version":"1.0","event_id":"sha256:3f44149568abe7598e7997c0420140510feb9b9c5e6e4210cb22e247ee371a82"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:VJW2SPHEYC75I7XMVPXVBWEYZX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Defense-in-Depth Runtime Safety in Move","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Andrea Cappa, George Mitenkov, Marco Ilardi, Runtian Zhou, Teng Zhang, Victor Gao, Vineeth Kashyap, Wolfgang Grieskamp","submitted_at":"2026-06-16T15:38:26Z","abstract_excerpt":"Move is a smart-contract language used to execute transactions on the Aptos blockchain. Move programs execute in a sandboxed VM as typed bytecode. The VM statically verifies foundational safety properties like type safety and reference safety at code loading time. In principle, this design gives strong guarantees for Move. However, the static verification logic is complex and continually evolving with the language; like any software, it is not immune to bugs. In a live blockchain setting, a missed rule violation can translate directly into loss of assets, forged authority, or unrecoverable cor"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.18064","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/2606.18064/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-19T16:10:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ve22RfmCZIbUElHwYJfQbZU3h54FrJ1N5M3m7bwZve7r/Z4DjwtkTSAn4cutjQQDR53KERWImxufUQuhhaY6AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-05T06:55:34.067492Z"},"content_sha256":"d62d1eb3a1b305d46c9d4c1f849a94f46723231ccdb07a566d878e254f439c37","schema_version":"1.0","event_id":"sha256:d62d1eb3a1b305d46c9d4c1f849a94f46723231ccdb07a566d878e254f439c37"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VJW2SPHEYC75I7XMVPXVBWEYZX/bundle.json","state_url":"https://pith.science/pith/VJW2SPHEYC75I7XMVPXVBWEYZX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VJW2SPHEYC75I7XMVPXVBWEYZX/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-05T06:55:34Z","links":{"resolver":"https://pith.science/pith/VJW2SPHEYC75I7XMVPXVBWEYZX","bundle":"https://pith.science/pith/VJW2SPHEYC75I7XMVPXVBWEYZX/bundle.json","state":"https://pith.science/pith/VJW2SPHEYC75I7XMVPXVBWEYZX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VJW2SPHEYC75I7XMVPXVBWEYZX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:VJW2SPHEYC75I7XMVPXVBWEYZX","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":"6a51ec4d15fc7bdd6fb4ec8b995fe83c9dd53ab5cfa38b72579e5ae188010501","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-16T15:38:26Z","title_canon_sha256":"255ff3dd5792d5efbffcffd03ef9566450ba26ff568cd4aa350b676098c92e04"},"schema_version":"1.0","source":{"id":"2606.18064","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.18064","created_at":"2026-06-19T16:10:47Z"},{"alias_kind":"arxiv_version","alias_value":"2606.18064v1","created_at":"2026-06-19T16:10:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.18064","created_at":"2026-06-19T16:10:47Z"},{"alias_kind":"pith_short_12","alias_value":"VJW2SPHEYC75","created_at":"2026-06-19T16:10:47Z"},{"alias_kind":"pith_short_16","alias_value":"VJW2SPHEYC75I7XM","created_at":"2026-06-19T16:10:47Z"},{"alias_kind":"pith_short_8","alias_value":"VJW2SPHE","created_at":"2026-06-19T16:10:47Z"}],"graph_snapshots":[{"event_id":"sha256:d62d1eb3a1b305d46c9d4c1f849a94f46723231ccdb07a566d878e254f439c37","target":"graph","created_at":"2026-06-19T16:10:47Z","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/2606.18064/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Move is a smart-contract language used to execute transactions on the Aptos blockchain. Move programs execute in a sandboxed VM as typed bytecode. The VM statically verifies foundational safety properties like type safety and reference safety at code loading time. In principle, this design gives strong guarantees for Move. However, the static verification logic is complex and continually evolving with the language; like any software, it is not immune to bugs. In a live blockchain setting, a missed rule violation can translate directly into loss of assets, forged authority, or unrecoverable cor","authors_text":"Andrea Cappa, George Mitenkov, Marco Ilardi, Runtian Zhou, Teng Zhang, Victor Gao, Vineeth Kashyap, Wolfgang Grieskamp","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-16T15:38:26Z","title":"Defense-in-Depth Runtime Safety in Move"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.18064","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:3f44149568abe7598e7997c0420140510feb9b9c5e6e4210cb22e247ee371a82","target":"record","created_at":"2026-06-19T16:10:47Z","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":"6a51ec4d15fc7bdd6fb4ec8b995fe83c9dd53ab5cfa38b72579e5ae188010501","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-06-16T15:38:26Z","title_canon_sha256":"255ff3dd5792d5efbffcffd03ef9566450ba26ff568cd4aa350b676098c92e04"},"schema_version":"1.0","source":{"id":"2606.18064","kind":"arxiv","version":1}},"canonical_sha256":"aa6da93ce4c0bfd47eecabef50d898cddcb88b9a13dd0f1cd1327ff7b2b06df1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aa6da93ce4c0bfd47eecabef50d898cddcb88b9a13dd0f1cd1327ff7b2b06df1","first_computed_at":"2026-06-19T16:10:47.590235Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-19T16:10:47.590235Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"gEArBIY89yFC5/BQQI59Og8Jon2fTGama29Nzpas0IKPtirlxvO5GY/0FX12eDpPZkNqD0xh+5nDR8W0jhx1Ag==","signature_status":"signed_v1","signed_at":"2026-06-19T16:10:47.590637Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.18064","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3f44149568abe7598e7997c0420140510feb9b9c5e6e4210cb22e247ee371a82","sha256:d62d1eb3a1b305d46c9d4c1f849a94f46723231ccdb07a566d878e254f439c37"],"state_sha256":"75a8cab00982c0ba0f3a38524160d7cd67312276a2c6ba26173f1f150fe6b3e7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1QDAR7s6XDQDyv0qwXfDGNpIMJ0dM8E8EB6v6nAEw/OaTYuLm20Hi0zeQWsFqjeBpkoJmWtwGNTc5Da1QLQWAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-05T06:55:34.069382Z","bundle_sha256":"327d12cb5726f7400f2bbad745123f30c0b575df5f1478e908c1a1467a813639"}}