{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:NQRSWVNE4PDSQ6VMBLYPKCFDMH","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":"203a6d792bc1fe52dd436a1347166e15158ef4e436a69bc16b0a0abcf65401be","cross_cats_sorted":["hep-th"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"quant-ph","submitted_at":"2025-09-03T18:00:23Z","title_canon_sha256":"e3092ac8d54a8258e816dd91ea2fd1de593468bafacf294b5579af8bca2d5ecc"},"schema_version":"1.0","source":{"id":"2509.04527","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.04527","created_at":"2026-07-05T12:05:24Z"},{"alias_kind":"arxiv_version","alias_value":"2509.04527v1","created_at":"2026-07-05T12:05:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.04527","created_at":"2026-07-05T12:05:24Z"},{"alias_kind":"pith_short_12","alias_value":"NQRSWVNE4PDS","created_at":"2026-07-05T12:05:24Z"},{"alias_kind":"pith_short_16","alias_value":"NQRSWVNE4PDSQ6VM","created_at":"2026-07-05T12:05:24Z"},{"alias_kind":"pith_short_8","alias_value":"NQRSWVNE","created_at":"2026-07-05T12:05:24Z"}],"graph_snapshots":[{"event_id":"sha256:cd7a46e459ca4b5155f4820b1f1365f05f79ba1e74880f2bc35a5fdad55599b1","target":"graph","created_at":"2026-07-05T12:05:24Z","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/2509.04527/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Qubits are a great way to build a quantum computer, but a limited way to program one. We replace the usual \"states and gates\" formalism with a \"props and ops\" (propositions and operators) model in which (a) the C*-algebra of observables supplies the syntax; (b) states, viewed as linear functionals, give the semantics; and (c) a novel diagrammatic calculus unifies the two. The first part develops the basic objects of the framework, encoding consistent patterns of operator correlation, recovering Hilbert space via the GNS construction, and re-deriving the Bloch sphere as the set of all consisten","authors_text":"David Wakeham","cross_cats":["hep-th"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"quant-ph","submitted_at":"2025-09-03T18:00:23Z","title":"The Structure and Interpretation of Quantum Programs I: Foundations"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.04527","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:781c7ec53d5e26276164346684fff9139a0e64fa7518c41a4f975362c1c3f24b","target":"record","created_at":"2026-07-05T12:05:24Z","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":"203a6d792bc1fe52dd436a1347166e15158ef4e436a69bc16b0a0abcf65401be","cross_cats_sorted":["hep-th"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"quant-ph","submitted_at":"2025-09-03T18:00:23Z","title_canon_sha256":"e3092ac8d54a8258e816dd91ea2fd1de593468bafacf294b5579af8bca2d5ecc"},"schema_version":"1.0","source":{"id":"2509.04527","kind":"arxiv","version":1}},"canonical_sha256":"6c232b55a4e3c7287aac0af0f508a361f6ecb87f5464399c692f99384f7ef3b9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6c232b55a4e3c7287aac0af0f508a361f6ecb87f5464399c692f99384f7ef3b9","first_computed_at":"2026-07-05T12:05:24.690800Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:05:24.690800Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"unSp3UFAjU+6pKwdfHd7bl2RM8vKbp04cEsr5+5KceCmvpsPI3Xc2IALkG6ejl3rySWEq9nfpbaiwdwOoq0WDA==","signature_status":"signed_v1","signed_at":"2026-07-05T12:05:24.691306Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.04527","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:781c7ec53d5e26276164346684fff9139a0e64fa7518c41a4f975362c1c3f24b","sha256:cd7a46e459ca4b5155f4820b1f1365f05f79ba1e74880f2bc35a5fdad55599b1"],"state_sha256":"09f09348d8361615ecb97b7c0d956bc6976b673bad91f9a45005b4330a9649bb"}