{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:JBONOHUXIAAMO7MUWCMB2WP6Q5","short_pith_number":"pith:JBONOHUX","canonical_record":{"source":{"id":"2606.27122","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-06-25T14:59:08Z","cross_cats_sorted":["cs.MA","cs.SE"],"title_canon_sha256":"b52ded73c75efcc5ae23ab5e55d4c49e1ec06da5c91b22a2b2b508260d9bd8b2","abstract_canon_sha256":"3138e128eb5fbd474a645c73b269389e233af3051c2db4ce0ebf74f460cc887f"},"schema_version":"1.0"},"canonical_sha256":"485cd71e974000c77d94b0981d59fe874c9080f8baa9d8cbdb8bad89fa6bde92","source":{"kind":"arxiv","id":"2606.27122","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.27122","created_at":"2026-06-26T01:16:10Z"},{"alias_kind":"arxiv_version","alias_value":"2606.27122v1","created_at":"2026-06-26T01:16:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.27122","created_at":"2026-06-26T01:16:10Z"},{"alias_kind":"pith_short_12","alias_value":"JBONOHUXIAAM","created_at":"2026-06-26T01:16:10Z"},{"alias_kind":"pith_short_16","alias_value":"JBONOHUXIAAMO7MU","created_at":"2026-06-26T01:16:10Z"},{"alias_kind":"pith_short_8","alias_value":"JBONOHUX","created_at":"2026-06-26T01:16:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:JBONOHUXIAAMO7MUWCMB2WP6Q5","target":"record","payload":{"canonical_record":{"source":{"id":"2606.27122","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-06-25T14:59:08Z","cross_cats_sorted":["cs.MA","cs.SE"],"title_canon_sha256":"b52ded73c75efcc5ae23ab5e55d4c49e1ec06da5c91b22a2b2b508260d9bd8b2","abstract_canon_sha256":"3138e128eb5fbd474a645c73b269389e233af3051c2db4ce0ebf74f460cc887f"},"schema_version":"1.0"},"canonical_sha256":"485cd71e974000c77d94b0981d59fe874c9080f8baa9d8cbdb8bad89fa6bde92","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-26T01:16:10.123969Z","signature_b64":"cBBMpBgB4oSgOxwo2A8mm1Go2jjCzR/ZH6u2xXOxgUXQOybUssBrnMp/8GP3WD+XLVwVn8FkPjHidalJOHPbDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"485cd71e974000c77d94b0981d59fe874c9080f8baa9d8cbdb8bad89fa6bde92","last_reissued_at":"2026-06-26T01:16:10.123577Z","signature_status":"signed_v1","first_computed_at":"2026-06-26T01:16:10.123577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2606.27122","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-26T01:16:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"atiyi+36OoKPXrtW7eyhpyQ/kHIIMYgfQ79J5sFgabB7+ibcZDmLGkDu7DzgWJYJ+sRRc4ZhWXt+lJMmcz3bDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T02:33:56.721832Z"},"content_sha256":"08eed704392c0f48bf3e3a5647e34ffce59c2786148a84ebb8d7bddcfb55ebd9","schema_version":"1.0","event_id":"sha256:08eed704392c0f48bf3e3a5647e34ffce59c2786148a84ebb8d7bddcfb55ebd9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:JBONOHUXIAAMO7MUWCMB2WP6Q5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mostly Automatic Translation of Language Interpreters from C to Safe Rust","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.MA","cs.SE"],"primary_cat":"cs.PL","authors_text":"Bo Wang, Brandon Paulsen, Daniel Kroening, Joey Dodds, Prateek Saxena, Umang Mathur","submitted_at":"2026-06-25T14:59:08Z","abstract_excerpt":"Translating C programs to safe Rust is challenging owing to significant differences in typing constraints, ownership, and borrowing rules. Interpreter programs are particularly important targets for such translation, as they often handle untrusted inputs and suffer from memory-related vulnerabilities. We present Reboot, a mostly-automatic technique that translates real-world interpreter programs from C to safe Rust. Using Reboot, we have translated six interpreters ranging from 6k to 23k lines of C code to safe Rust, with each translation requiring only 1 to 11 brief user interventions. All tr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.27122","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.27122/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-26T01:16:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lXbBpfUSR9m7XI+wZFYnvUzKZWmI7dtwrp+KM3TzogcvIWnMn+tp7anq8eLK94ajVTqNYcrnhP8ToBz1W6siDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T02:33:56.722205Z"},"content_sha256":"2dc6f4030c9de13c00b1b10494855de82275ea514e7da7a36e13151600cd280b","schema_version":"1.0","event_id":"sha256:2dc6f4030c9de13c00b1b10494855de82275ea514e7da7a36e13151600cd280b"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JBONOHUXIAAMO7MUWCMB2WP6Q5/bundle.json","state_url":"https://pith.science/pith/JBONOHUXIAAMO7MUWCMB2WP6Q5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JBONOHUXIAAMO7MUWCMB2WP6Q5/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-06-27T02:33:56Z","links":{"resolver":"https://pith.science/pith/JBONOHUXIAAMO7MUWCMB2WP6Q5","bundle":"https://pith.science/pith/JBONOHUXIAAMO7MUWCMB2WP6Q5/bundle.json","state":"https://pith.science/pith/JBONOHUXIAAMO7MUWCMB2WP6Q5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JBONOHUXIAAMO7MUWCMB2WP6Q5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:JBONOHUXIAAMO7MUWCMB2WP6Q5","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":"3138e128eb5fbd474a645c73b269389e233af3051c2db4ce0ebf74f460cc887f","cross_cats_sorted":["cs.MA","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-06-25T14:59:08Z","title_canon_sha256":"b52ded73c75efcc5ae23ab5e55d4c49e1ec06da5c91b22a2b2b508260d9bd8b2"},"schema_version":"1.0","source":{"id":"2606.27122","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2606.27122","created_at":"2026-06-26T01:16:10Z"},{"alias_kind":"arxiv_version","alias_value":"2606.27122v1","created_at":"2026-06-26T01:16:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.27122","created_at":"2026-06-26T01:16:10Z"},{"alias_kind":"pith_short_12","alias_value":"JBONOHUXIAAM","created_at":"2026-06-26T01:16:10Z"},{"alias_kind":"pith_short_16","alias_value":"JBONOHUXIAAMO7MU","created_at":"2026-06-26T01:16:10Z"},{"alias_kind":"pith_short_8","alias_value":"JBONOHUX","created_at":"2026-06-26T01:16:10Z"}],"graph_snapshots":[{"event_id":"sha256:2dc6f4030c9de13c00b1b10494855de82275ea514e7da7a36e13151600cd280b","target":"graph","created_at":"2026-06-26T01:16:10Z","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.27122/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Translating C programs to safe Rust is challenging owing to significant differences in typing constraints, ownership, and borrowing rules. Interpreter programs are particularly important targets for such translation, as they often handle untrusted inputs and suffer from memory-related vulnerabilities. We present Reboot, a mostly-automatic technique that translates real-world interpreter programs from C to safe Rust. Using Reboot, we have translated six interpreters ranging from 6k to 23k lines of C code to safe Rust, with each translation requiring only 1 to 11 brief user interventions. All tr","authors_text":"Bo Wang, Brandon Paulsen, Daniel Kroening, Joey Dodds, Prateek Saxena, Umang Mathur","cross_cats":["cs.MA","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-06-25T14:59:08Z","title":"Mostly Automatic Translation of Language Interpreters from C to Safe Rust"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.27122","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:08eed704392c0f48bf3e3a5647e34ffce59c2786148a84ebb8d7bddcfb55ebd9","target":"record","created_at":"2026-06-26T01:16:10Z","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":"3138e128eb5fbd474a645c73b269389e233af3051c2db4ce0ebf74f460cc887f","cross_cats_sorted":["cs.MA","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-06-25T14:59:08Z","title_canon_sha256":"b52ded73c75efcc5ae23ab5e55d4c49e1ec06da5c91b22a2b2b508260d9bd8b2"},"schema_version":"1.0","source":{"id":"2606.27122","kind":"arxiv","version":1}},"canonical_sha256":"485cd71e974000c77d94b0981d59fe874c9080f8baa9d8cbdb8bad89fa6bde92","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"485cd71e974000c77d94b0981d59fe874c9080f8baa9d8cbdb8bad89fa6bde92","first_computed_at":"2026-06-26T01:16:10.123577Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-26T01:16:10.123577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cBBMpBgB4oSgOxwo2A8mm1Go2jjCzR/ZH6u2xXOxgUXQOybUssBrnMp/8GP3WD+XLVwVn8FkPjHidalJOHPbDQ==","signature_status":"signed_v1","signed_at":"2026-06-26T01:16:10.123969Z","signed_message":"canonical_sha256_bytes"},"source_id":"2606.27122","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:08eed704392c0f48bf3e3a5647e34ffce59c2786148a84ebb8d7bddcfb55ebd9","sha256:2dc6f4030c9de13c00b1b10494855de82275ea514e7da7a36e13151600cd280b"],"state_sha256":"804728a6f0071756db0859e380ef9620c6a66b88994c80078be3c4e790b2bef7"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CzVOZHUQAtaxY7KnzMXYNxjzwM0YMxuquru0+/yrpfXLomDzyT4ABfhQ2ydfTb3UPmu0AJPTLrXGzpTph00lDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T02:33:56.724186Z","bundle_sha256":"a647e25baa321d0fb89a0bc7f02244824730a78147eec1b921df0b53b1bc7421"}}