{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:RMR3RILCRIXJQGVFKN3ZRZHYQB","short_pith_number":"pith:RMR3RILC","canonical_record":{"source":{"id":"2607.12532","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-14T09:06:02Z","cross_cats_sorted":["cs.PL","quant-ph"],"title_canon_sha256":"71e007a8cf76bd8629922f33ca9ccd3711f940dcee673c3f258e67e530909b62","abstract_canon_sha256":"a86e97a1e19fed5a94d260601d7760f630cebdd856a73e03a6f80759488582bb"},"schema_version":"1.0"},"canonical_sha256":"8b23b8a1628a2e981aa5537798e4f880545d087e7b85503c72635187cbfe6f2c","source":{"kind":"arxiv","id":"2607.12532","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.12532","created_at":"2026-07-15T01:21:40Z"},{"alias_kind":"arxiv_version","alias_value":"2607.12532v1","created_at":"2026-07-15T01:21:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.12532","created_at":"2026-07-15T01:21:40Z"},{"alias_kind":"pith_short_12","alias_value":"RMR3RILCRIXJ","created_at":"2026-07-15T01:21:40Z"},{"alias_kind":"pith_short_16","alias_value":"RMR3RILCRIXJQGVF","created_at":"2026-07-15T01:21:40Z"},{"alias_kind":"pith_short_8","alias_value":"RMR3RILC","created_at":"2026-07-15T01:21:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:RMR3RILCRIXJQGVFKN3ZRZHYQB","target":"record","payload":{"canonical_record":{"source":{"id":"2607.12532","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-14T09:06:02Z","cross_cats_sorted":["cs.PL","quant-ph"],"title_canon_sha256":"71e007a8cf76bd8629922f33ca9ccd3711f940dcee673c3f258e67e530909b62","abstract_canon_sha256":"a86e97a1e19fed5a94d260601d7760f630cebdd856a73e03a6f80759488582bb"},"schema_version":"1.0"},"canonical_sha256":"8b23b8a1628a2e981aa5537798e4f880545d087e7b85503c72635187cbfe6f2c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-15T01:21:40.301755Z","signature_b64":"p7sTfa7vlkc7RgzRMNrnvUi09AV2Q2pZ/eUZgQnvaM2ju/Lyva6CwBZpQHnMOBjLrD8SFrBP0hnHSBYdd9yUAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8b23b8a1628a2e981aa5537798e4f880545d087e7b85503c72635187cbfe6f2c","last_reissued_at":"2026-07-15T01:21:40.300861Z","signature_status":"signed_v1","first_computed_at":"2026-07-15T01:21:40.300861Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.12532","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-15T01:21:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6f8QbL0cm+UuXAPl9rSbPPp4kKDSP2XteKoUMZLiJw+oMz48Clk/2AD0OnUDsWsn0z5u/X7bqQdaJ3wClVXdCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T17:55:29.251640Z"},"content_sha256":"b77651e8bc3016f8c8d12ac72e0197fffb91a8474205a51ee984f8b226c817f9","schema_version":"1.0","event_id":"sha256:b77651e8bc3016f8c8d12ac72e0197fffb91a8474205a51ee984f8b226c817f9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:RMR3RILCRIXJQGVFKN3ZRZHYQB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL","quant-ph"],"primary_cat":"cs.LO","authors_text":"Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen","submitted_at":"2026-07-14T09:06:02Z","abstract_excerpt":"Quantum weakest preconditions are a fundamental tool for program verification of quantum programs. Many variations have been reported in the literature. We revisit quantum weakest preconditions from the perspective of expected runtime analysis of quantum programs and introduce a novel pre-expectation framework that enables to reason about the preconditions of quantum programs without the need of an upper bound. This is particularly interesting for quantum programs involving reward statements. The overall goal is to analyze runtime behavior even in the case of programs with potentially infinite"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.12532","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.12532/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-15T01:21:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uC3XXLtiGfE6Lc0TpRi3b+0/EXk20UFoP9ErBnoRI4xYR4hcUNQAYuImfP837xiI0I1FMDA/kbW8kZXbN0h0Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-04T17:55:29.252188Z"},"content_sha256":"e9bdfe933453e26734cd443461147bed7718ecc7e8d18f26fd9d4f4c3af36b71","schema_version":"1.0","event_id":"sha256:e9bdfe933453e26734cd443461147bed7718ecc7e8d18f26fd9d4f4c3af36b71"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RMR3RILCRIXJQGVFKN3ZRZHYQB/bundle.json","state_url":"https://pith.science/pith/RMR3RILCRIXJQGVFKN3ZRZHYQB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RMR3RILCRIXJQGVFKN3ZRZHYQB/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-04T17:55:29Z","links":{"resolver":"https://pith.science/pith/RMR3RILCRIXJQGVFKN3ZRZHYQB","bundle":"https://pith.science/pith/RMR3RILCRIXJQGVFKN3ZRZHYQB/bundle.json","state":"https://pith.science/pith/RMR3RILCRIXJQGVFKN3ZRZHYQB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RMR3RILCRIXJQGVFKN3ZRZHYQB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:RMR3RILCRIXJQGVFKN3ZRZHYQB","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":"a86e97a1e19fed5a94d260601d7760f630cebdd856a73e03a6f80759488582bb","cross_cats_sorted":["cs.PL","quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-14T09:06:02Z","title_canon_sha256":"71e007a8cf76bd8629922f33ca9ccd3711f940dcee673c3f258e67e530909b62"},"schema_version":"1.0","source":{"id":"2607.12532","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.12532","created_at":"2026-07-15T01:21:40Z"},{"alias_kind":"arxiv_version","alias_value":"2607.12532v1","created_at":"2026-07-15T01:21:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.12532","created_at":"2026-07-15T01:21:40Z"},{"alias_kind":"pith_short_12","alias_value":"RMR3RILCRIXJ","created_at":"2026-07-15T01:21:40Z"},{"alias_kind":"pith_short_16","alias_value":"RMR3RILCRIXJQGVF","created_at":"2026-07-15T01:21:40Z"},{"alias_kind":"pith_short_8","alias_value":"RMR3RILC","created_at":"2026-07-15T01:21:40Z"}],"graph_snapshots":[{"event_id":"sha256:e9bdfe933453e26734cd443461147bed7718ecc7e8d18f26fd9d4f4c3af36b71","target":"graph","created_at":"2026-07-15T01:21:40Z","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.12532/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Quantum weakest preconditions are a fundamental tool for program verification of quantum programs. Many variations have been reported in the literature. We revisit quantum weakest preconditions from the perspective of expected runtime analysis of quantum programs and introduce a novel pre-expectation framework that enables to reason about the preconditions of quantum programs without the need of an upper bound. This is particularly interesting for quantum programs involving reward statements. The overall goal is to analyze runtime behavior even in the case of programs with potentially infinite","authors_text":"Christina Gehnen, Dominique Unruh, Joost-Pieter Katoen","cross_cats":["cs.PL","quant-ph"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-14T09:06:02Z","title":"Quantum Weakest Preconditions Revisited: Pre-expectations for Expected Runtime Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.12532","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:b77651e8bc3016f8c8d12ac72e0197fffb91a8474205a51ee984f8b226c817f9","target":"record","created_at":"2026-07-15T01:21:40Z","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":"a86e97a1e19fed5a94d260601d7760f630cebdd856a73e03a6f80759488582bb","cross_cats_sorted":["cs.PL","quant-ph"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2026-07-14T09:06:02Z","title_canon_sha256":"71e007a8cf76bd8629922f33ca9ccd3711f940dcee673c3f258e67e530909b62"},"schema_version":"1.0","source":{"id":"2607.12532","kind":"arxiv","version":1}},"canonical_sha256":"8b23b8a1628a2e981aa5537798e4f880545d087e7b85503c72635187cbfe6f2c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8b23b8a1628a2e981aa5537798e4f880545d087e7b85503c72635187cbfe6f2c","first_computed_at":"2026-07-15T01:21:40.300861Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-15T01:21:40.300861Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"p7sTfa7vlkc7RgzRMNrnvUi09AV2Q2pZ/eUZgQnvaM2ju/Lyva6CwBZpQHnMOBjLrD8SFrBP0hnHSBYdd9yUAg==","signature_status":"signed_v1","signed_at":"2026-07-15T01:21:40.301755Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.12532","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b77651e8bc3016f8c8d12ac72e0197fffb91a8474205a51ee984f8b226c817f9","sha256:e9bdfe933453e26734cd443461147bed7718ecc7e8d18f26fd9d4f4c3af36b71"],"state_sha256":"19c2ddb531b498ddd1dd3011b707e9c9481e0faffba4e434bff350e4611a4bd6"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oWjU88Vszt8zI/KwmSfZn5P9WMcnHwcFoBaevyWzscUcg1ZjV2KaZpvkwLoU232XGV0T4cL0eQSh1duJFF6EDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-04T17:55:29.257248Z","bundle_sha256":"2cf98afaaa4eb7d9bc225530b7535677b1164c2e0d612c596641f8d9d1e8cd80"}}