{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:USOOGZCMKGRJYDDZ2VD4ITD5VO","short_pith_number":"pith:USOOGZCM","schema_version":"1.0","canonical_sha256":"a49ce3644c51a29c0c79d547c44c7daba7845ead4d4f609befe5d2d0c501f0dc","source":{"kind":"arxiv","id":"2607.08548","version":1},"attestation_state":"computed","paper":{"title":"An Effective Quantum Hoare Logic for Hybrid Quantum Programs with Unbounded Loops","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"quant-ph","authors_text":"Christophe Chareton, Jad Issa, Romain P\\'echoux","submitted_at":"2026-07-09T14:41:37Z","abstract_excerpt":"While quantum hardware remains limited, hybrid quantum-classical algorithms with complex control structures, including unbounded loops, are emerging, posing new challenges for quantum program analysis, including the accurate estimation of the resource consumption of a given program. Meanwhile, precise analysis techniques such as symbolic execution have largely left out hybridization and unbounded recursion. On the other hand, current quantum Hoare logics that generally support them are lacking in expressiveness and miss out on efficient computational equational reasoning that could be implemen"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2607.08548","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"quant-ph","submitted_at":"2026-07-09T14:41:37Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"0771477ed2a30298214c7d9ca583fb105243dbf903aa921261c15b36c053f277","abstract_canon_sha256":"6311fc5dffff451712c315058b8e5a7f1794bb3fa98bb17319bc3b48f596d67e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-10T01:19:53.323389Z","signature_b64":"jhsdTV2DfSCGdHXo0HcLaikv2sniPZE5/m+f0NZ3HzQFVvdKPmyKXCV0mVDA+0enlPBwtN1Jk0MJzLK8RI+0DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a49ce3644c51a29c0c79d547c44c7daba7845ead4d4f609befe5d2d0c501f0dc","last_reissued_at":"2026-07-10T01:19:53.323005Z","signature_status":"signed_v1","first_computed_at":"2026-07-10T01:19:53.323005Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An Effective Quantum Hoare Logic for Hybrid Quantum Programs with Unbounded Loops","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"quant-ph","authors_text":"Christophe Chareton, Jad Issa, Romain P\\'echoux","submitted_at":"2026-07-09T14:41:37Z","abstract_excerpt":"While quantum hardware remains limited, hybrid quantum-classical algorithms with complex control structures, including unbounded loops, are emerging, posing new challenges for quantum program analysis, including the accurate estimation of the resource consumption of a given program. Meanwhile, precise analysis techniques such as symbolic execution have largely left out hybridization and unbounded recursion. On the other hand, current quantum Hoare logics that generally support them are lacking in expressiveness and miss out on efficient computational equational reasoning that could be implemen"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.08548","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.08548/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2607.08548","created_at":"2026-07-10T01:19:53.323062+00:00"},{"alias_kind":"arxiv_version","alias_value":"2607.08548v1","created_at":"2026-07-10T01:19:53.323062+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.08548","created_at":"2026-07-10T01:19:53.323062+00:00"},{"alias_kind":"pith_short_12","alias_value":"USOOGZCMKGRJ","created_at":"2026-07-10T01:19:53.323062+00:00"},{"alias_kind":"pith_short_16","alias_value":"USOOGZCMKGRJYDDZ","created_at":"2026-07-10T01:19:53.323062+00:00"},{"alias_kind":"pith_short_8","alias_value":"USOOGZCM","created_at":"2026-07-10T01:19:53.323062+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/USOOGZCMKGRJYDDZ2VD4ITD5VO","json":"https://pith.science/pith/USOOGZCMKGRJYDDZ2VD4ITD5VO.json","graph_json":"https://pith.science/api/pith-number/USOOGZCMKGRJYDDZ2VD4ITD5VO/graph.json","events_json":"https://pith.science/api/pith-number/USOOGZCMKGRJYDDZ2VD4ITD5VO/events.json","paper":"https://pith.science/paper/USOOGZCM"},"agent_actions":{"view_html":"https://pith.science/pith/USOOGZCMKGRJYDDZ2VD4ITD5VO","download_json":"https://pith.science/pith/USOOGZCMKGRJYDDZ2VD4ITD5VO.json","view_paper":"https://pith.science/paper/USOOGZCM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2607.08548&json=true","fetch_graph":"https://pith.science/api/pith-number/USOOGZCMKGRJYDDZ2VD4ITD5VO/graph.json","fetch_events":"https://pith.science/api/pith-number/USOOGZCMKGRJYDDZ2VD4ITD5VO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/USOOGZCMKGRJYDDZ2VD4ITD5VO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/USOOGZCMKGRJYDDZ2VD4ITD5VO/action/storage_attestation","attest_author":"https://pith.science/pith/USOOGZCMKGRJYDDZ2VD4ITD5VO/action/author_attestation","sign_citation":"https://pith.science/pith/USOOGZCMKGRJYDDZ2VD4ITD5VO/action/citation_signature","submit_replication":"https://pith.science/pith/USOOGZCMKGRJYDDZ2VD4ITD5VO/action/replication_record"}},"created_at":"2026-07-10T01:19:53.323062+00:00","updated_at":"2026-07-10T01:19:53.323062+00:00"}