{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:MIETHTBXWOTEALS355MICT7C24","merge_version":"pith-open-graph-merge-v1","event_count":4,"valid_event_count":4,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"c0dfdbc2281ef549962b4d04dd694a09f85d0367c7f83eb466210a6cdf6a37d1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-08-08T07:15:48Z","title_canon_sha256":"054e3c74a95c5882222e959ac1ce6b4373d65845e465af8566089565b890d148"},"schema_version":"1.0","source":{"id":"2608.07973","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.07973","created_at":"2026-08-11T01:21:16Z"},{"alias_kind":"arxiv_version","alias_value":"2608.07973v1","created_at":"2026-08-11T01:21:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.07973","created_at":"2026-08-11T01:21:16Z"},{"alias_kind":"pith_short_12","alias_value":"MIETHTBXWOTE","created_at":"2026-08-11T01:21:16Z"},{"alias_kind":"pith_short_16","alias_value":"MIETHTBXWOTEALS3","created_at":"2026-08-11T01:21:16Z"},{"alias_kind":"pith_short_8","alias_value":"MIETHTBX","created_at":"2026-08-11T01:21:16Z"}],"graph_snapshots":[{"event_id":"sha256:9fe760b1e0cf96a34420b71c13294c84919446d95cb4cca808b7a4475b50e4d3","target":"graph","created_at":"2026-08-11T01:21:16Z","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/2608.07973/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Quantum oracles are essential to many quantum algorithms, and their specifications may involve recursive control flow that depends on runtime quantum data. However, existing reversible compilation frameworks provide limited support for such quantum-controlled recursive structures.\n  We present ReOC, a compilation framework that transforms high-level recursive oracle specifications with quantum control flow into reversible quantum programs. The framework comprises RQIMP, a high-level imperative source language for specifying recursive oracles, and a method of compiling programs in that language","authors_text":"Huiling Wu, Yuxin Deng","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-08-08T07:15:48Z","title":"ReOC: Compilation of Recursive Quantum Oracles with Recursion-Aware Uncomputation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.07973","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:943b6db7cc65d2444b2862dd5f2b7f669cc4b202efdf647d2be75e940c14f716","target":"record","created_at":"2026-08-11T01:21:16Z","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":"c0dfdbc2281ef549962b4d04dd694a09f85d0367c7f83eb466210a6cdf6a37d1","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2026-08-08T07:15:48Z","title_canon_sha256":"054e3c74a95c5882222e959ac1ce6b4373d65845e465af8566089565b890d148"},"schema_version":"1.0","source":{"id":"2608.07973","kind":"arxiv","version":1}},"canonical_sha256":"620933cc37b3a6402e5bef58814fe2d7261d77739b068fc39c87473588cf6caa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"620933cc37b3a6402e5bef58814fe2d7261d77739b068fc39c87473588cf6caa","first_computed_at":"2026-08-11T01:21:16.636863Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-11T01:21:16.636863Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Jsys+wxuCxn4DCqHIxm4i5CBRQF61e/imJhv5N38bpK9qvjsKOOG7Uca2ACUxXczO0lFsGZsz5lD9lFOkfavBw==","signature_status":"signed_v1","signed_at":"2026-08-11T01:21:16.639987Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.07973","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:a2178a635186d3015a58451621f55d6034c2727da521780728b983b50bfe6ddd","sha256:ba79cd89008d5595fd5ca7e6dfc3e98a4083367228b5039fb0682af92d46f9ce"]}],"invalid_events":[],"applied_event_ids":["sha256:943b6db7cc65d2444b2862dd5f2b7f669cc4b202efdf647d2be75e940c14f716","sha256:9fe760b1e0cf96a34420b71c13294c84919446d95cb4cca808b7a4475b50e4d3"],"state_sha256":"b80afaf5d82365ab0042ff5c92d7aaeccbee5a5e00fa19d866b1388e297ddde9"}