{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:OQGWYHMUMC4TYR5Z24KWWASQEM","short_pith_number":"pith:OQGWYHMU","canonical_record":{"source":{"id":"2607.23137","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-25T10:36:34Z","cross_cats_sorted":["cs.PL","math.FA","quant-ph"],"title_canon_sha256":"9eb686f32c4ab5020c4cdf60cf36ed84f95d4f978b1a33c913999ccb65351577","abstract_canon_sha256":"6bd113ccdc51b91ee3f470c9c807a5e469a0fb640be06a18e7cf15542a56db1e"},"schema_version":"1.0"},"canonical_sha256":"740d6c1d9460b93c47b9d7156b025023135a888615508f09bd7799916e23b6e2","source":{"kind":"arxiv","id":"2607.23137","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.23137","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"arxiv_version","alias_value":"2607.23137v1","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.23137","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"pith_short_12","alias_value":"OQGWYHMUMC4T","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"pith_short_16","alias_value":"OQGWYHMUMC4TYR5Z","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"pith_short_8","alias_value":"OQGWYHMU","created_at":"2026-07-28T01:22:08Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:OQGWYHMUMC4TYR5Z24KWWASQEM","target":"record","payload":{"canonical_record":{"source":{"id":"2607.23137","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-25T10:36:34Z","cross_cats_sorted":["cs.PL","math.FA","quant-ph"],"title_canon_sha256":"9eb686f32c4ab5020c4cdf60cf36ed84f95d4f978b1a33c913999ccb65351577","abstract_canon_sha256":"6bd113ccdc51b91ee3f470c9c807a5e469a0fb640be06a18e7cf15542a56db1e"},"schema_version":"1.0"},"canonical_sha256":"740d6c1d9460b93c47b9d7156b025023135a888615508f09bd7799916e23b6e2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-28T01:22:08.965735Z","signature_b64":"KxRB0xtgoHGMIyn0dZLn9BQt+6GaA/aK9UfwI0GCHA+3Ie3snjkttte2N/sVowkhXLNYRTfPqTkJ/rp20o/ABw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"740d6c1d9460b93c47b9d7156b025023135a888615508f09bd7799916e23b6e2","last_reissued_at":"2026-07-28T01:22:08.964840Z","signature_status":"signed_v1","first_computed_at":"2026-07-28T01:22:08.964840Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.23137","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-28T01:22:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h7Nx/MdTSGKwSVFV+fWDzfrTQO4531Y0APN5Lo0EUU2LJYkguYoEjQhTAwspf2GYVb3iFKVnc6JZz33pJkepCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T10:10:55.540133Z"},"content_sha256":"799f41991fc806ed0f1d9226f8bb1389c8623c390eefca389ecd6b77945bc128","schema_version":"1.0","event_id":"sha256:799f41991fc806ed0f1d9226f8bb1389c8623c390eefca389ecd6b77945bc128"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:OQGWYHMUMC4TYR5Z24KWWASQEM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Reasoning about Continuous-Variable Quantum Systems","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL","math.FA","quant-ph"],"primary_cat":"cs.LO","authors_text":"Gilles Barthe, Li Zhou, Minbo Gao, Mingsheng Ying, Tianshi Yu","submitted_at":"2026-07-25T10:36:34Z","abstract_excerpt":"Continuous-variable quantum computing (CVQC) is a computing paradigm in which measurements yield values over a continuous domain. CVQC is both a convenient omputational framework for modeling physical quantum systems, and a good abstraction for hardware platforms based on quantum optics. Yet, the semantic foundations of CVQC remain underdeveloped. To address this gap, we develop a formal semantics for a core CV quantum programming language, and sound verification methods for program correctness.\n  A main contribution of this work is to isolate a well-behaved quantitative predicate domain that "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.23137","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/2607.23137/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-28T01:22:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QED3plUXfGfab6yOvDhN/P9RdPWPdroj4B7uZ7EkyITVhcA8cV1AHYoR4dcXCu+x/neZPX5zPWkPmADMFQQfAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T10:10:55.540654Z"},"content_sha256":"2cd7f49c1816ef9c0af1edd208f0663e7c1b014afcd5355cd00a449f0e88d1ff","schema_version":"1.0","event_id":"sha256:2cd7f49c1816ef9c0af1edd208f0663e7c1b014afcd5355cd00a449f0e88d1ff"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:OQGWYHMUMC4TYR5Z24KWWASQEM","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.22331/q-2021-02-04-392) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"J. Eli Bourassa, Rafael N. Alexander, Michael Vasmer, Ashlesha Patil, Ilan Tzitrin, Takaya Matsuura, Daiqin Su, Ben Q. Baragiola, Saikat Guha, Guillaume Dauphinais, Krishna K. Sabapathy, Nicolas C. Menicucci, and Ish Dhand. 2021. Blueprint ","arxiv_id":"2607.23137","detector":"doi_compliance","evidence":{"ref_index":10,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.22331/q-","reconstructed_doi":"10.22331/q-2021-02-04-392"},"severity":"advisory","ref_index":10,"audited_at":"2026-08-02T03:49:15.423654Z","event_type":"pith.integrity.v1","detected_doi":"10.22331/q-2021-02-04-392","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"d71fb5d0d5623da7052520ee121665a4d31d37c95bb87bda12666cd5bf56ba1f","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":17160,"payload_sha256":"52e22520682446707ea5535edbf27b52b849e72828f9b4fc7cd9d7c479c099a5","signature_b64":"JeU4cQbHdkUFgI8GzyOW8HJmMPMKLPfXnb1edw3uGo5tsc7re72WgWSy6eMtNL/8AW/2H6pZKxSv3iOpUPtbCQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-02T03:53:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CPKESCe59NXVr7b+E6RkpmfGjV9ge59q7C1KnFeymbZjTwP+faRI8cuba6qNm4N9UUJK5C8OLWL5yFOFolHjAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T10:10:55.542705Z"},"content_sha256":"cba5ddf48d3c7af41b689dd5fcf4ac44eb0bbcc47d3608170b7aad73d2055d13","schema_version":"1.0","event_id":"sha256:cba5ddf48d3c7af41b689dd5fcf4ac44eb0bbcc47d3608170b7aad73d2055d13"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:OQGWYHMUMC4TYR5Z24KWWASQEM","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.4230/LIPIcs.ICALP.2025.157) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Christina Gehnen, Dominique Unruh, and Joost-Pieter Katoen. 2025. Bayesian Inference in Quantum Programs. In52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025) (Leibniz International Proceedings in Informatics","arxiv_id":"2607.23137","detector":"doi_compliance","evidence":{"ref_index":25,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.4230/lipi","reconstructed_doi":"10.4230/LIPIcs.ICALP.2025.157"},"severity":"advisory","ref_index":25,"audited_at":"2026-08-01T03:39:22.922059Z","event_type":"pith.integrity.v1","detected_doi":"10.4230/LIPIcs.ICALP.2025.157","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"fd71d668646344e225ef1e740f32b0549c3a4f68f4900abd56ed0696dcd2b6f4","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":15025,"payload_sha256":"314a594cf500cb5c505cff7febd13ae40f95d04dc83cd53a9bf798d7f49f0e86","signature_b64":"eHzd402eMvs3Kbp0m7vLaz8y+5V7s/XugAq6zj1j/CIA6ZwBRi3ogzMh0WoHeFk3QH+TGhsPMZ+TIl36EX3qBg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-01T03:43:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aG2keD5GnMUny2I9mjjTCEuJJCFLA3FFAOm9+VGysGVZoXMqTwUL9C4jeUIcjO2VMs5MCjPCmTHSnDbDsgvnDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T10:10:55.543284Z"},"content_sha256":"ceffbe6de6683fb43f3118144e3311bfc91903e5d67ea96cd2a1eed3d9cdd3ad","schema_version":"1.0","event_id":"sha256:ceffbe6de6683fb43f3118144e3311bfc91903e5d67ea96cd2a1eed3d9cdd3ad"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:OQGWYHMUMC4TYR5Z24KWWASQEM","target":"integrity","payload":{"note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.22331/q-2021-02-04-392 resolves to 'Blueprint for a Scalable Photonic Fault-Tolerant Quantum Computer'. A reader following the printed text alone cannot reach it.","snippet":"J. Eli Bourassa, Rafael N. Alexander, Michael Vasmer, Ashlesha Patil, Ilan Tzitrin, Takaya Matsuura, Daiqin Su, Ben Q. Baragiola, Saikat Guha, Guillaume Dauphinais, Krishna K. Sabapathy, Nicolas C. Menicucci, and Ish Dhand. 2021. Blueprint ","arxiv_id":"2607.23137","detector":"doi_compliance","evidence":{"ref_index":10,"verdict_class":"incontrovertible","resolved_title":"Blueprint for a Scalable Photonic Fault-Tolerant Quantum Computer","printed_excerpt":"10.22331/q-","reconstructed_doi":"10.22331/q-2021-02-04-392"},"severity":"advisory","ref_index":10,"audited_at":"2026-08-01T03:39:22.922059Z","event_type":"pith.integrity.v1","detected_doi":"10.22331/q-2021-02-04-392","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"98279f1a252ad8b377861d4fb27b43e9a2c52770575e619143c0964fea5d7dbd","paper_version":1,"verdict_class":"incontrovertible","resolved_title":"Blueprint for a Scalable Photonic Fault-Tolerant Quantum Computer","detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":15024,"payload_sha256":"71977c1e3ee9af09c58b89876d89e5400c6d8b349b5e6ae86dd7dbe69bde19f8","signature_b64":"qhMbT4u+QsGxcCxkLftnpiav3rEZ8r1JNe3Kq4YAOoh70xOD2ZM9p0V3TpIz7IOd0HJQE2lZynkTc/m+iXYWDQ==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-08-01T03:43:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c0oLh8eB++T4rhoRF6gao/CEjCeUW2yYcw+7DKVMR8BYhCcX0Xo/pv/s+jiX+oGbAuQ2B3rt0x2lDqMGLpMfBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T10:10:55.543795Z"},"content_sha256":"b075bc63ea25fd0651854e01309fbf42e68529cbd22c95edb2902242e68bbc9c","schema_version":"1.0","event_id":"sha256:b075bc63ea25fd0651854e01309fbf42e68529cbd22c95edb2902242e68bbc9c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OQGWYHMUMC4TYR5Z24KWWASQEM/bundle.json","state_url":"https://pith.science/pith/OQGWYHMUMC4TYR5Z24KWWASQEM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OQGWYHMUMC4TYR5Z24KWWASQEM/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-03T10:10:55Z","links":{"resolver":"https://pith.science/pith/OQGWYHMUMC4TYR5Z24KWWASQEM","bundle":"https://pith.science/pith/OQGWYHMUMC4TYR5Z24KWWASQEM/bundle.json","state":"https://pith.science/pith/OQGWYHMUMC4TYR5Z24KWWASQEM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OQGWYHMUMC4TYR5Z24KWWASQEM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:OQGWYHMUMC4TYR5Z24KWWASQEM","merge_version":"pith-open-graph-merge-v1","event_count":5,"valid_event_count":5,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"6bd113ccdc51b91ee3f470c9c807a5e469a0fb640be06a18e7cf15542a56db1e","cross_cats_sorted":["cs.PL","math.FA","quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-25T10:36:34Z","title_canon_sha256":"9eb686f32c4ab5020c4cdf60cf36ed84f95d4f978b1a33c913999ccb65351577"},"schema_version":"1.0","source":{"id":"2607.23137","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.23137","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"arxiv_version","alias_value":"2607.23137v1","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.23137","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"pith_short_12","alias_value":"OQGWYHMUMC4T","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"pith_short_16","alias_value":"OQGWYHMUMC4TYR5Z","created_at":"2026-07-28T01:22:08Z"},{"alias_kind":"pith_short_8","alias_value":"OQGWYHMU","created_at":"2026-07-28T01:22:08Z"}],"graph_snapshots":[{"event_id":"sha256:2cd7f49c1816ef9c0af1edd208f0663e7c1b014afcd5355cd00a449f0e88d1ff","target":"graph","created_at":"2026-07-28T01:22:08Z","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/2607.23137/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Continuous-variable quantum computing (CVQC) is a computing paradigm in which measurements yield values over a continuous domain. CVQC is both a convenient omputational framework for modeling physical quantum systems, and a good abstraction for hardware platforms based on quantum optics. Yet, the semantic foundations of CVQC remain underdeveloped. To address this gap, we develop a formal semantics for a core CV quantum programming language, and sound verification methods for program correctness.\n  A main contribution of this work is to isolate a well-behaved quantitative predicate domain that ","authors_text":"Gilles Barthe, Li Zhou, Minbo Gao, Mingsheng Ying, Tianshi Yu","cross_cats":["cs.PL","math.FA","quant-ph"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-25T10:36:34Z","title":"Reasoning about Continuous-Variable Quantum Systems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.23137","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:799f41991fc806ed0f1d9226f8bb1389c8623c390eefca389ecd6b77945bc128","target":"record","created_at":"2026-07-28T01:22:08Z","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":"6bd113ccdc51b91ee3f470c9c807a5e469a0fb640be06a18e7cf15542a56db1e","cross_cats_sorted":["cs.PL","math.FA","quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-25T10:36:34Z","title_canon_sha256":"9eb686f32c4ab5020c4cdf60cf36ed84f95d4f978b1a33c913999ccb65351577"},"schema_version":"1.0","source":{"id":"2607.23137","kind":"arxiv","version":1}},"canonical_sha256":"740d6c1d9460b93c47b9d7156b025023135a888615508f09bd7799916e23b6e2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"740d6c1d9460b93c47b9d7156b025023135a888615508f09bd7799916e23b6e2","first_computed_at":"2026-07-28T01:22:08.964840Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-28T01:22:08.964840Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KxRB0xtgoHGMIyn0dZLn9BQt+6GaA/aK9UfwI0GCHA+3Ie3snjkttte2N/sVowkhXLNYRTfPqTkJ/rp20o/ABw==","signature_status":"signed_v1","signed_at":"2026-07-28T01:22:08.965735Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.23137","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:b075bc63ea25fd0651854e01309fbf42e68529cbd22c95edb2902242e68bbc9c","sha256:cba5ddf48d3c7af41b689dd5fcf4ac44eb0bbcc47d3608170b7aad73d2055d13","sha256:ceffbe6de6683fb43f3118144e3311bfc91903e5d67ea96cd2a1eed3d9cdd3ad"]}],"invalid_events":[],"applied_event_ids":["sha256:799f41991fc806ed0f1d9226f8bb1389c8623c390eefca389ecd6b77945bc128","sha256:2cd7f49c1816ef9c0af1edd208f0663e7c1b014afcd5355cd00a449f0e88d1ff"],"state_sha256":"1768022e3be843bc1b6bd146355c009af37434ddbf077b9da8bdc952f347c93c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eyxRNL5tJAOBHIfe/gqAAGZI3XNxyGmrqaVcSmQ/SUpnzJDl07JmuJA35473RsC2CJHpGAyKJdOONcoqc7zKDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T10:10:55.546827Z","bundle_sha256":"face448674a5a0b7233896b5e0455edbc935e5de41d66d08e14a125d48ec8f73"}}