{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:HXYEEAKUGVMVSA6LJ5W3XA3Y7H","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":"83fbbc0359b626036a5b6d821814e64f6d639f57fd91ee15788a407f663f6c66","cross_cats_sorted":["cs.LO","cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-07-28T16:00:57Z","title_canon_sha256":"19fb2ddd4378094f614161705ebd548083f45eb69ee8aa79a2941885dc4d87db"},"schema_version":"1.0","source":{"id":"2307.15641","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2307.15641","created_at":"2026-07-05T10:59:22Z"},{"alias_kind":"arxiv_version","alias_value":"2307.15641v3","created_at":"2026-07-05T10:59:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2307.15641","created_at":"2026-07-05T10:59:22Z"},{"alias_kind":"pith_short_12","alias_value":"HXYEEAKUGVMV","created_at":"2026-07-05T10:59:22Z"},{"alias_kind":"pith_short_16","alias_value":"HXYEEAKUGVMVSA6L","created_at":"2026-07-05T10:59:22Z"},{"alias_kind":"pith_short_8","alias_value":"HXYEEAKU","created_at":"2026-07-05T10:59:22Z"}],"graph_snapshots":[{"event_id":"sha256:0c266d5aa6f7ea0dbb34854e828e6d1fe276c179b06559a416651dcc8e450a95","target":"graph","created_at":"2026-07-05T10:59:22Z","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/2307.15641/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Thanks to the rapid progress and growing complexity of quantum algorithms, correctness of quantum programs has become a major concern. Pioneering research over the past years has proposed various approaches to formally verify quantum programs using proof systems such as quantum Hoare logic. All these prior approaches are post-hoc: one first implements a program and only then verifies its correctness. Here we propose Quantum Correctness by Construction (QbC): an approach to constructing quantum programs from their specification in a way that ensures correctness. We use pre- and postconditions t","authors_text":"Anurudh Peduri, Ina Schaefer, Michael Walter","cross_cats":["cs.LO","cs.PL","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-07-28T16:00:57Z","title":"QbC: Quantum Correctness by Construction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2307.15641","kind":"arxiv","version":3},"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:b7753790cc7f60fc7259b5b14aa5225589d0e1af804ae79fced0844fa5f75c06","target":"record","created_at":"2026-07-05T10:59:22Z","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":"83fbbc0359b626036a5b6d821814e64f6d639f57fd91ee15788a407f663f6c66","cross_cats_sorted":["cs.LO","cs.PL","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2023-07-28T16:00:57Z","title_canon_sha256":"19fb2ddd4378094f614161705ebd548083f45eb69ee8aa79a2941885dc4d87db"},"schema_version":"1.0","source":{"id":"2307.15641","kind":"arxiv","version":3}},"canonical_sha256":"3df042015435595903cb4f6dbb8378f9d58ec2b8cd066047228fa78020190167","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3df042015435595903cb4f6dbb8378f9d58ec2b8cd066047228fa78020190167","first_computed_at":"2026-07-05T10:59:22.425039Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:59:22.425039Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iTrjUb79dsRm5B952Ea6tLzMCICQHLtnpW2IC6DuL0vqsXRGHT+rYuCg1lny2o0id4vShEjcc0RlQagShSGZDw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:59:22.425564Z","signed_message":"canonical_sha256_bytes"},"source_id":"2307.15641","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b7753790cc7f60fc7259b5b14aa5225589d0e1af804ae79fced0844fa5f75c06","sha256:0c266d5aa6f7ea0dbb34854e828e6d1fe276c179b06559a416651dcc8e450a95"],"state_sha256":"41d91eed47b485b713fb3f6570f392518ddcb5f479b9a7c6a926260cdec88bd4"}