{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:RJDTNXDC2WSKNLZ7F5US4X3JVW","short_pith_number":"pith:RJDTNXDC","canonical_record":{"source":{"id":"2311.14215","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-11-23T22:12:57Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"c111200568c7c7be38e85a7bc1dfdb90d36c369416376c56613e4b77e6166609","abstract_canon_sha256":"66cb2c353d20f0765d94fad2ff465b2bf5e7cfc928293a3b250269008e938aae"},"schema_version":"1.0"},"canonical_sha256":"8a4736dc62d5a4a6af3f2f692e5f69ad9d34b2cc2d48686744baae54c9e2cbed","source":{"kind":"arxiv","id":"2311.14215","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.14215","created_at":"2026-07-05T07:16:14Z"},{"alias_kind":"arxiv_version","alias_value":"2311.14215v1","created_at":"2026-07-05T07:16:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.14215","created_at":"2026-07-05T07:16:14Z"},{"alias_kind":"pith_short_12","alias_value":"RJDTNXDC2WSK","created_at":"2026-07-05T07:16:14Z"},{"alias_kind":"pith_short_16","alias_value":"RJDTNXDC2WSKNLZ7","created_at":"2026-07-05T07:16:14Z"},{"alias_kind":"pith_short_8","alias_value":"RJDTNXDC","created_at":"2026-07-05T07:16:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:RJDTNXDC2WSKNLZ7F5US4X3JVW","target":"record","payload":{"canonical_record":{"source":{"id":"2311.14215","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-11-23T22:12:57Z","cross_cats_sorted":["quant-ph"],"title_canon_sha256":"c111200568c7c7be38e85a7bc1dfdb90d36c369416376c56613e4b77e6166609","abstract_canon_sha256":"66cb2c353d20f0765d94fad2ff465b2bf5e7cfc928293a3b250269008e938aae"},"schema_version":"1.0"},"canonical_sha256":"8a4736dc62d5a4a6af3f2f692e5f69ad9d34b2cc2d48686744baae54c9e2cbed","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:16:14.854674Z","signature_b64":"5hqtPppqOief2031CsAu7VWwNnQADF4D9xTb5TDtY5WqH3wHB+9OoWtvFiMpE1rhrEzlcsYMBdW0H2bK/Ba1Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8a4736dc62d5a4a6af3f2f692e5f69ad9d34b2cc2d48686744baae54c9e2cbed","last_reissued_at":"2026-07-05T07:16:14.854147Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:16:14.854147Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2311.14215","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-07-05T07:16:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Aotd95Hb8dk+bWqzIyK1XVNbdMasu8nrY+XtF5OeJ0N5k7+H2HTxmvMVCwjnM3BvFP7mlgFNJEQ6VdO4a1GvCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T07:29:26.769302Z"},"content_sha256":"d10e0335ed8ceeadea819ce6f26fd57e3a92b7cca7779e8d5a39fa3cc6841ea0","schema_version":"1.0","event_id":"sha256:d10e0335ed8ceeadea819ce6f26fd57e3a92b7cca7779e8d5a39fa3cc6841ea0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:RJDTNXDC2WSKNLZ7F5US4X3JVW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Refinement calculus of quantum programs with projective assertions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["quant-ph"],"primary_cat":"cs.LO","authors_text":"Li Zhou, Yingte Xu, Yuan Feng","submitted_at":"2023-11-23T22:12:57Z","abstract_excerpt":"Refinement calculus provides a structured framework for the progressive and modular development of programs, ensuring their correctness throughout the refinement process. This paper introduces a refinement calculus tailored for quantum programs. To this end, we first study the partial correctness of nondeterministic programs within a quantum while language featuring prescription statements. Orthogonal projectors, which are equivalent to subspaces of the state Hilbert space, are taken as assertions for quantum states. In addition to the denotational semantics where a nondeterministic program is"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.14215","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/2311.14215/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-07-05T07:16:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ojfcoSoKbu+BEPCWuUqiYqWgDcNwSsm7dbajCTgE84KvlZEW2wN0bWX1uLZ8scu0DNns8SF7DCldK3LPGYoTDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T07:29:26.770300Z"},"content_sha256":"193cbc4ed94c28c624684b91654b55207ead080819a6a16359a66cd8d49feffb","schema_version":"1.0","event_id":"sha256:193cbc4ed94c28c624684b91654b55207ead080819a6a16359a66cd8d49feffb"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RJDTNXDC2WSKNLZ7F5US4X3JVW/bundle.json","state_url":"https://pith.science/pith/RJDTNXDC2WSKNLZ7F5US4X3JVW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RJDTNXDC2WSKNLZ7F5US4X3JVW/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-08-06T07:29:26Z","links":{"resolver":"https://pith.science/pith/RJDTNXDC2WSKNLZ7F5US4X3JVW","bundle":"https://pith.science/pith/RJDTNXDC2WSKNLZ7F5US4X3JVW/bundle.json","state":"https://pith.science/pith/RJDTNXDC2WSKNLZ7F5US4X3JVW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RJDTNXDC2WSKNLZ7F5US4X3JVW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:RJDTNXDC2WSKNLZ7F5US4X3JVW","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":"66cb2c353d20f0765d94fad2ff465b2bf5e7cfc928293a3b250269008e938aae","cross_cats_sorted":["quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-11-23T22:12:57Z","title_canon_sha256":"c111200568c7c7be38e85a7bc1dfdb90d36c369416376c56613e4b77e6166609"},"schema_version":"1.0","source":{"id":"2311.14215","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.14215","created_at":"2026-07-05T07:16:14Z"},{"alias_kind":"arxiv_version","alias_value":"2311.14215v1","created_at":"2026-07-05T07:16:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.14215","created_at":"2026-07-05T07:16:14Z"},{"alias_kind":"pith_short_12","alias_value":"RJDTNXDC2WSK","created_at":"2026-07-05T07:16:14Z"},{"alias_kind":"pith_short_16","alias_value":"RJDTNXDC2WSKNLZ7","created_at":"2026-07-05T07:16:14Z"},{"alias_kind":"pith_short_8","alias_value":"RJDTNXDC","created_at":"2026-07-05T07:16:14Z"}],"graph_snapshots":[{"event_id":"sha256:193cbc4ed94c28c624684b91654b55207ead080819a6a16359a66cd8d49feffb","target":"graph","created_at":"2026-07-05T07:16:14Z","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/2311.14215/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Refinement calculus provides a structured framework for the progressive and modular development of programs, ensuring their correctness throughout the refinement process. This paper introduces a refinement calculus tailored for quantum programs. To this end, we first study the partial correctness of nondeterministic programs within a quantum while language featuring prescription statements. Orthogonal projectors, which are equivalent to subspaces of the state Hilbert space, are taken as assertions for quantum states. In addition to the denotational semantics where a nondeterministic program is","authors_text":"Li Zhou, Yingte Xu, Yuan Feng","cross_cats":["quant-ph"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-11-23T22:12:57Z","title":"Refinement calculus of quantum programs with projective assertions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.14215","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:d10e0335ed8ceeadea819ce6f26fd57e3a92b7cca7779e8d5a39fa3cc6841ea0","target":"record","created_at":"2026-07-05T07:16:14Z","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":"66cb2c353d20f0765d94fad2ff465b2bf5e7cfc928293a3b250269008e938aae","cross_cats_sorted":["quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2023-11-23T22:12:57Z","title_canon_sha256":"c111200568c7c7be38e85a7bc1dfdb90d36c369416376c56613e4b77e6166609"},"schema_version":"1.0","source":{"id":"2311.14215","kind":"arxiv","version":1}},"canonical_sha256":"8a4736dc62d5a4a6af3f2f692e5f69ad9d34b2cc2d48686744baae54c9e2cbed","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8a4736dc62d5a4a6af3f2f692e5f69ad9d34b2cc2d48686744baae54c9e2cbed","first_computed_at":"2026-07-05T07:16:14.854147Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:16:14.854147Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5hqtPppqOief2031CsAu7VWwNnQADF4D9xTb5TDtY5WqH3wHB+9OoWtvFiMpE1rhrEzlcsYMBdW0H2bK/Ba1Dg==","signature_status":"signed_v1","signed_at":"2026-07-05T07:16:14.854674Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.14215","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d10e0335ed8ceeadea819ce6f26fd57e3a92b7cca7779e8d5a39fa3cc6841ea0","sha256:193cbc4ed94c28c624684b91654b55207ead080819a6a16359a66cd8d49feffb"],"state_sha256":"513e24ca29c5064b4764c5e93c14a644d4f9c7cf76d79663f61047097e04346c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"N/FVoj2St3Isvs4sdd1B67P0mwciBX0Y54U7IlQug7Edq/b7s7ZmyeKVgSBf4jgs0aAE+wWYFPQgp6hE8uazBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T07:29:26.776337Z","bundle_sha256":"1ea0eb4e9ee3c518f95bd5d1237358aa69fd89d8bdb792457abf04059ac96819"}}