{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:RMBA4AMYR3PYJD6S3CVX44OUPO","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":"a574e14b3eb3a47cf457d52443d6f7d5841d71fd5709b40f3c46778f13c098e7","cross_cats_sorted":["cs.LO","quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-04-26T15:34:22Z","title_canon_sha256":"e57e84edbb86938d65d9ee4a6e5761c1cb95705bef18cca5fc93746b9b1d1273"},"schema_version":"1.0","source":{"id":"2204.12384","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2204.12384","created_at":"2026-07-05T11:49:42Z"},{"alias_kind":"arxiv_version","alias_value":"2204.12384v5","created_at":"2026-07-05T11:49:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2204.12384","created_at":"2026-07-05T11:49:42Z"},{"alias_kind":"pith_short_12","alias_value":"RMBA4AMYR3PY","created_at":"2026-07-05T11:49:42Z"},{"alias_kind":"pith_short_16","alias_value":"RMBA4AMYR3PYJD6S","created_at":"2026-07-05T11:49:42Z"},{"alias_kind":"pith_short_8","alias_value":"RMBA4AMY","created_at":"2026-07-05T11:49:42Z"}],"graph_snapshots":[{"event_id":"sha256:2ef71ae0d7c0a41e15e4fc85c794d0a2ddecb8044c5cb25916c3cbc677243c52","target":"graph","created_at":"2026-07-05T11:49:42Z","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/2204.12384/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We introduce Qunity, a new quantum programming language designed to treat quantum computing as a natural generalization of classical computing. Qunity presents a unified syntax where familiar programming constructs can have both quantum and classical effects. For example, one can use sum types to implement the direct sum of linear operators, exception-handling syntax to implement projective measurements, and aliasing to induce entanglement. Further, Qunity takes advantage of the overlooked BQP subroutine theorem, allowing one to construct reversible subroutines from irreversible quantum algori","authors_text":"Finn Voichick, Liyi Li, Michael Hicks, Robert Rand","cross_cats":["cs.LO","quant-ph"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-04-26T15:34:22Z","title":"Qunity: A Unified Language for Quantum and Classical Computing (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2204.12384","kind":"arxiv","version":5},"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:e206b22a309be3730e2fb25045985d4d599fe714623edff45b3b4697c83122a8","target":"record","created_at":"2026-07-05T11:49:42Z","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":"a574e14b3eb3a47cf457d52443d6f7d5841d71fd5709b40f3c46778f13c098e7","cross_cats_sorted":["cs.LO","quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2022-04-26T15:34:22Z","title_canon_sha256":"e57e84edbb86938d65d9ee4a6e5761c1cb95705bef18cca5fc93746b9b1d1273"},"schema_version":"1.0","source":{"id":"2204.12384","kind":"arxiv","version":5}},"canonical_sha256":"8b020e01988edf848fd2d8ab7e71d47ba04a53614d17b105afbd297fe1bd262c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8b020e01988edf848fd2d8ab7e71d47ba04a53614d17b105afbd297fe1bd262c","first_computed_at":"2026-07-05T11:49:42.762851Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:49:42.762851Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"R/Qpau2HLmYC6VM8ufMlnzXAiMp8ZimcsHhuHDxAyW2gVojWyHyCcc2oboCl/fi78pTdr/qVo3Hu4Y0XdWMwDA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:49:42.763429Z","signed_message":"canonical_sha256_bytes"},"source_id":"2204.12384","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e206b22a309be3730e2fb25045985d4d599fe714623edff45b3b4697c83122a8","sha256:2ef71ae0d7c0a41e15e4fc85c794d0a2ddecb8044c5cb25916c3cbc677243c52"],"state_sha256":"04ed0642ed4b0df617a8a540985211cb21268861a2bd78dadb9760172f707275"}