{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:JUAUB5DVOR7JDKW4DO4UGKYVIV","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":"b146441d8ab0d8fdcd89422e52e33d1dd2957cac18db172f187a0a619beaf807","cross_cats_sorted":["quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-05-04T18:46:08Z","title_canon_sha256":"63335aba0f403e9ae847e5bded977621a19d38cfb7385abe115f8e89a7ccd170"},"schema_version":"1.0","source":{"id":"2205.02287","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.02287","created_at":"2026-07-05T04:20:35Z"},{"alias_kind":"arxiv_version","alias_value":"2205.02287v1","created_at":"2026-07-05T04:20:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.02287","created_at":"2026-07-05T04:20:35Z"},{"alias_kind":"pith_short_12","alias_value":"JUAUB5DVOR7J","created_at":"2026-07-05T04:20:35Z"},{"alias_kind":"pith_short_16","alias_value":"JUAUB5DVOR7JDKW4","created_at":"2026-07-05T04:20:35Z"},{"alias_kind":"pith_short_8","alias_value":"JUAUB5DV","created_at":"2026-07-05T04:20:35Z"}],"graph_snapshots":[{"event_id":"sha256:0501a66515c46d6833c7dc16d1b0356dd03a9e78461560f3f409541cccc0aaa8","target":"graph","created_at":"2026-07-05T04:20:35Z","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/2205.02287/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Quantum programming languages enable developers to implement algorithms for quantum computers that promise computational breakthroughs in classically intractable tasks. Programming quantum computers requires awareness of entanglement, the phenomenon in which measurement outcomes of qubits are correlated. Entanglement can determine the correctness of algorithms and suitability of programming patterns.\n  In this work, we formalize purity as a central tool for automating reasoning about entanglement in quantum programs. A pure expression is one whose evaluation is unaffected by the measurement ou","authors_text":"Charles Yuan, Christopher McNally, Michael Carbin","cross_cats":["quant-ph"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-05-04T18:46:08Z","title":"Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.02287","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:90e4be551e61fe002888e51d49660589b0a61606087f45e92149a982888bb207","target":"record","created_at":"2026-07-05T04:20:35Z","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":"b146441d8ab0d8fdcd89422e52e33d1dd2957cac18db172f187a0a619beaf807","cross_cats_sorted":["quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-05-04T18:46:08Z","title_canon_sha256":"63335aba0f403e9ae847e5bded977621a19d38cfb7385abe115f8e89a7ccd170"},"schema_version":"1.0","source":{"id":"2205.02287","kind":"arxiv","version":1}},"canonical_sha256":"4d0140f475747e91aadc1bb9432b154579212da7742b630b7d586cc067d15422","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4d0140f475747e91aadc1bb9432b154579212da7742b630b7d586cc067d15422","first_computed_at":"2026-07-05T04:20:35.662619Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:20:35.662619Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pcUfAhhKynSwDTATwOXziC6xjwex1QqnhNv+hb64+a9KCpETYnAaCp8O1I+yyNIiIBt7p7wrF6Rngb7JjgKSAA==","signature_status":"signed_v1","signed_at":"2026-07-05T04:20:35.663023Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.02287","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:90e4be551e61fe002888e51d49660589b0a61606087f45e92149a982888bb207","sha256:0501a66515c46d6833c7dc16d1b0356dd03a9e78461560f3f409541cccc0aaa8"],"state_sha256":"5839b5c3085650393e0a255ea7b0eff6a497d8edfb212c477d1fdb3248e53d79"}