{"as_of":"2026-08-18T19:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a632b50caa2d301d2607562aa83de0cd3648338b0df48b86c855273c6673a310","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T23:21:42.984027Z","state":"measured"},{"denominator":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.05807/citation-record","integrity":"/paper/2608.05807/integrity","json":"/paper/2608.05807/citation-record.json","paper":"/paper/2608.05807"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.814911Z","title":"Sohaib Alam, Noah F","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.814911Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:19f1b1ed0a968c8001b677bd7320baa4865e8e5600696530e35d2aa94ad33b1b","observation_id":"5a0ebf51-6bd6-4808-9c52-f47b3f6fa0c8","resolution":{"observed_at":"2026-08-07T23:21:42.814911Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.634951Z","title":null,"venue":null,"work_id":"f18738a8-3410-41b4-a9c0-2e5691f60e6e","year":1954},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.821448Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:9a22f57d8fecbc18c998dcf644636608c93b32616c1236e20dc19ea1e99418ea","observation_id":"1b9c18fc-02d7-47d7-807b-bf0f8a06ec40","resolution":{"observed_at":"2026-08-07T23:21:44.640051Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.618491Z","title":null,"venue":null,"work_id":"3c2c7afd-9a9a-49fc-b29a-49958b73710d","year":1992},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.826774Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:14fee64734d7b40a5bf131a2dbcf4bbe0c024e36f7b550e9dcb3a3ec0d954a1a","observation_id":"21841a1d-9632-46e3-8787-6df251c794e2","resolution":{"observed_at":"2026-08-07T23:21:44.623902Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.600892Z","title":null,"venue":null,"work_id":"cf940220-1de0-4658-ba07-66addfa37f4c","year":2013},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.832298Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:cda0500e97a7b2fd3e72279659399ff4913b92ca376b7e521c075f20faa0f2e6","observation_id":"24fc816b-c72d-4333-878a-f4c8c320c200","resolution":{"observed_at":"2026-08-07T23:21:44.606363Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.583416Z","title":null,"venue":null,"work_id":"b9fcc0a4-1841-4e67-b400-5024a62ee761","year":1977},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.837608Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:d5fcb1c4d7c6f3ff86533f40284ee628089ab5fdd49a4eca3a861fe1b72799cd","observation_id":"10efff17-0e04-476b-860a-1685f5258e91","resolution":{"observed_at":"2026-08-07T23:21:44.588418Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2006.04.003","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Chadha, P","venue":"Electronic Notes in Theoretical Computer Science","work_id":"f710e5bc-e511-46ef-9be9-e33abc3eac95","year":2006},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.843483Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:0d35d14981bda04b732150d55f68d774576290cb3c8e6e012d6b697947447b3d","observation_id":"c9432c30-6881-448c-801a-0dc1094599de","resolution":{"observed_at":"2026-08-07T23:21:43.170986Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.848786Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.848786Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:1c94ec92553f3d53517c277f0a97d99c93c90c7e03f2a34003b6d2c783c23d02","observation_id":"9caa5f57-86ba-44b8-80fb-b061f03d7b43","resolution":{"observed_at":"2026-08-07T23:21:42.848786Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.854000Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.854000Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:a83db52ca73259f5a28106171f072bd66bae1fd58629c1e620d4d0da162aa684","observation_id":"4a1dd023-137c-4cec-a93c-aa8da9727aeb","resolution":{"observed_at":"2026-08-07T23:21:42.854000Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2022.02.017","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Theoretical Computer Science","work_id":"533ce338-537c-43ae-a242-fdd1cf4556f1","year":2022},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.858853Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:9e550613fcdbcb17a4396cda2126ac53e4e715e4e35e24a28476ab364fdc0e35","observation_id":"b3977584-4be3-4233-9dc2-e0bbbc79192b","resolution":{"observed_at":"2026-08-07T23:21:43.131272Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.566670Z","title":null,"venue":null,"work_id":"013611eb-8c80-4886-80cd-64b1530e9961","year":2006},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.863668Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:ae90c211ac7aec79a8072d49bca9e6ed78e9e95c12d2f831d15f0d8a9f48b5fe","observation_id":"90c469bc-eb83-4ddd-be8e-af60a9b25fa6","resolution":{"observed_at":"2026-08-07T23:21:44.572124Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.868726Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.868726Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:8406cca9628bda624f028bea9468c96d707a0097206897ec9bef64bbfffc298c","observation_id":"5042acce-19d4-474a-a454-4dc1047894c1","resolution":{"observed_at":"2026-08-07T23:21:42.868726Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.873366Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.873366Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:7c8c974c1537d86f72ef526871c375961e74803b6ab4dcc823e96b8ff87c7b41","observation_id":"8c7c1ecc-fc8c-422b-9adc-3f1ddc4bd4b3","resolution":{"observed_at":"2026-08-07T23:21:42.873366Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.444636Z","title":null,"venue":null,"work_id":"80c8e670-09b6-43e9-92ca-c08d3e7dc453","year":2024},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.877664Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:e251473f14a8fa5131f7a671fe47a070ef0619e4b676e84bc0105fe350c04d15","observation_id":"4920fb5b-66b3-4ac3-9d09-9832de1ddba4","resolution":{"observed_at":"2026-08-07T23:21:44.449129Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.547520Z","title":null,"venue":null,"work_id":"0cc0cb9e-d65d-437c-b20f-35f679180ab5","year":2009},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.881813Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:6414ee1f5e70316b4cb652ecc26cc27763ed644f1f60e965087cabe41b017000","observation_id":"359260ca-853f-427d-9cdd-9a9259d0159f","resolution":{"observed_at":"2026-08-07T23:21:44.553938Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.886246Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.886246Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:55f0f34673351935ef19783e49708313e0dec79fc3a040e470621de9ffec35eb","observation_id":"0406fd2e-3986-426b-a44a-bb118a83160b","resolution":{"observed_at":"2026-08-07T23:21:42.886246Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.529681Z","title":null,"venue":null,"work_id":"814b8738-c0fd-4d04-933c-9e9aff153ec8","year":1953},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.891020Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:c82e06d40e6e25067c29f3ce8ef34ab89eea2cd03ca19ad885d48cebaaeaf319","observation_id":"7cdaa5a9-e2b4-4fcd-9c4c-cca6e003a369","resolution":{"observed_at":"2026-08-07T23:21:44.534896Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.895447Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.895447Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:3121fac7ff1fc97c19d4f7cabcf3b67bfe1abd94d330bbdf6c6bac468e02a264","observation_id":"d4d1a2b6-bec4-4438-a066-1243a2bd7c65","resolution":{"observed_at":"2026-08-07T23:21:42.895447Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2401.08950","last_updated":"2024-01-17T03:53:37Z","snapshot_observed_at":"2026-08-16T14:26:55.331023Z","submitted_at":"2024-01-17T03:53:37Z","title":"Synthesizing Toffoli-optimal quantum circuits for arbitrary multi-qubit unitaries","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2401.08950","snapshot_observed_at":"2026-08-07T23:21:42.900002Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.900002Z"},"links":{"cited_paper":"/paper/2401.08950","citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:104ff37eecfed3044e1f255e2275155a99cb6ae7f2831da2067fec810f10615c","observation_id":"e39e2d6c-99cc-4863-8cd5-036d8f191afd","resolution":{"observed_at":"2026-08-07T23:21:42.900002Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1073/pnas.2419273122","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Henzinger","venue":"Proceedings of the National Academy of Sciences","work_id":"43792003-8754-4126-a100-69e0b7ba565a","year":2025},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.905570Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:8097159d80e32d26563ec5393707580fe0cdfeb268ea14cf38533ba5ded17e6f","observation_id":"9514e4da-ce05-4e6b-803a-945f065d087e","resolution":{"observed_at":"2026-08-07T23:21:43.064684Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.512385Z","title":"Nielsen and Isaac L","venue":null,"work_id":"302607bf-c2cd-4acd-86ae-c3feeb681738","year":2016},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.910618Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:47b894fde96d3aaa9f0a2b31281c46da55054f9e3837c5601772242290357025","observation_id":"8b79eb96-d657-4f54-8f92-5b47296009ff","resolution":{"observed_at":"2026-08-07T23:21:44.517564Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.916004Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.916004Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:76c50174075e124d39354e66a7d50f886a98c41fd0ec715f67d38c4a7b54dbf9","observation_id":"e5aa13e7-7534-4f72-9014-b20eb85ae851","resolution":{"observed_at":"2026-08-07T23:21:42.916004Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.484592Z","title":"Pusey, Jonathan Barrett, and Terry Rudolph","venue":null,"work_id":"729b9ddd-9580-482c-8411-1443bb0c8e15","year":2012},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.921444Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:fd38d23ca146993b38e9c74ffdf827b45a64c3c17f56316db9bd10e38e398205","observation_id":"3cb0f2b2-5c76-4a6c-b935-7e9e0bf48eb3","resolution":{"observed_at":"2026-08-07T23:21:44.489064Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.926957Z","title":"2023 (accessed February 7, 2025)","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.926957Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:bcccffd3e50561ac2320c421c5197fdc579873a02206c20ff1e6f1c3f313ef0d","observation_id":"3ae3670c-da76-4a88-90c0-74de93c0ca60","resolution":{"observed_at":"2026-08-07T23:21:42.926957Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:44.467020Z","title":null,"venue":null,"work_id":"fac29653-6e29-47b1-b6bf-8ef85bad2fd2","year":2025},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.932361Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:b3f9ce024af09705745303d7047cc8f97a937636525059eb439e6b8f051e9575","observation_id":"d943871a-f09e-4acc-9fcb-d4ef63ac2c1a","resolution":{"observed_at":"2026-08-07T23:21:44.472057Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1904.04304","last_updated":"2019-04-08T19:13:07Z","snapshot_observed_at":"2026-08-14T16:49:44.136057Z","submitted_at":"2019-04-08T19:13:07Z","title":"Verification Logics for Quantum Programs","version":1},"cited_work":{"arxiv_id":"1904.04304","doi":null,"metadata_source":"pith","pith_arxiv_id":"1904.04304","snapshot_observed_at":"2026-08-07T23:21:44.040470Z","title":"Verification Logics for Quantum Programs","venue":"cs.LO","work_id":"9ad39a63-6c61-4ecf-a5c0-519b8598c43a","year":2019},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.937052Z"},"links":{"cited_paper":"/paper/1904.04304","citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:978ecedb6b5c3a9c71abe89d8e8b395855a5edf25ff52b18b13bd90be87ca786","observation_id":"b36b808f-7170-4b5b-853f-6c21b0923701","resolution":{"observed_at":"2026-08-07T23:21:44.046333Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.01940","last_updated":"2024-05-03T09:05:05Z","snapshot_observed_at":"2026-08-16T13:55:42.403405Z","submitted_at":"2024-05-03T09:05:05Z","title":"On the Relative Completeness of Satisfaction-based Quantum Hoare Logic","version":1},"cited_work":{"arxiv_id":"2405.01940","doi":null,"metadata_source":"pith","pith_arxiv_id":"2405.01940","snapshot_observed_at":"2026-08-07T23:21:44.018832Z","title":"On the Relative Completeness of Satisfaction-based Quantum Hoare Logic","venue":"cs.LO","work_id":"3e8eb54d-a93d-4e49-9e52-b64dc84347d6","year":2024},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.942472Z"},"links":{"cited_paper":"/paper/2405.01940","citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:6a33a39058ac371f3917a4363af792e7f5dcc349d9dbfc2f046db0f7a8661112","observation_id":"ea4bfb79-7e06-47c2-9f10-2680f2af5d5b","resolution":{"observed_at":"2026-08-07T23:21:44.024668Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:43.993680Z","title":null,"venue":null,"work_id":"1ed20ea9-241c-4f57-a45e-0d06cea1e629","year":2019},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.947910Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:88e224f070b893a0bc066dffd8d30eeed11fd7a15928e4958bde2b59e5d03d25","observation_id":"dd519a80-3dc4-4777-ac78-c6e4635ba478","resolution":{"observed_at":"2026-08-07T23:21:43.998934Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2308.04741","last_updated":"2025-02-14T16:05:29Z","snapshot_observed_at":"2026-08-16T15:09:45.961432Z","submitted_at":"2023-08-09T07:23:22Z","title":"Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs","version":3},"cited_work":{"arxiv_id":"2308.04741","doi":null,"metadata_source":"pith","pith_arxiv_id":"2308.04741","snapshot_observed_at":"2026-08-07T23:21:43.690366Z","title":"Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs","venue":"cs.PL","work_id":"026b3859-42a6-4d5a-b6e3-8e6911ed1e0e","year":2023},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.953651Z"},"links":{"cited_paper":"/paper/2308.04741","citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:b88c5c7c4d032809e9901708a8e864afdf3c58d6966b270f674e79cc6abfd3d3","observation_id":"ff9a21cf-1061-43a7-acb4-4824e5662756","resolution":{"observed_at":"2026-08-07T23:21:43.697595Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1038/s41598-021-91035-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Scientific Reports","work_id":"4dbb5275-0283-46a5-8008-49ec7eea158f","year":2021},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.959745Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:8755ebb723f74869467b2366ceafd8b2ba146a03519db16cc006ec401a77f098","observation_id":"80e2fe3f-faad-4ea2-ad53-07660a7b82ea","resolution":{"observed_at":"2026-08-07T23:21:43.045495Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:42.968317Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.968317Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:403f1e9b7fa9dcb0e32fd9a4aac8296f0f11a3ae7b9c53344bafc5cafa639795","observation_id":"70b70777-2e34-4651-b8cc-76cee1435489","resolution":{"observed_at":"2026-08-07T23:21:42.968317Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:43.664621Z","title":null,"venue":null,"work_id":"c9344aa9-dc74-447f-8ed6-2873316843fc","year":2011},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.973475Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:f55103f43d85ac6e865771e4c9227054e87fceeef3dcac61a20fb3e921a36a6f","observation_id":"7e5b6902-fdd9-4505-92a4-cb31e7d57633","resolution":{"observed_at":"2026-08-07T23:21:43.672382Z","resolver_source":"arxiv_id_nonexistent","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.09869","last_updated":"2026-04-18T07:13:19Z","snapshot_observed_at":"2026-08-14T23:40:38.144309Z","submitted_at":"2024-12-13T05:28:19Z","title":"A Practical Quantum Hoare Logic with Classical Variables, I","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.09869","snapshot_observed_at":"2026-08-07T23:21:42.978928Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.978928Z"},"links":{"cited_paper":"/paper/2412.09869","citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:c98253c1779f42514f03f7d90f87f67410abaa319cf39311ef81e35a009a8dc7","observation_id":"e2467197-61c6-4843-882c-f070682f395d","resolution":{"observed_at":"2026-08-07T23:21:42.978928Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T23:21:43.450902Z","title":null,"venue":null,"work_id":"314536b8-bb76-4feb-aa73-efcfd9e9aac2","year":2019},"citing_paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T23:21:42.984027Z"},"links":{"citing_paper":"/paper/2608.05807"},"observation_digest":"sha256:d43044b2de84020a1a5c4641de3ecd7c5b605c4b06912287821a127beaa0ccf4","observation_id":"bcc84f17-ed8d-469c-8939-f571e1ba031c","resolution":{"observed_at":"2026-08-07T23:21:43.456366Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.05807","last_updated":"2026-08-06T09:41:57Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-16T04:44:41.793122Z","submitted_at":"2026-08-06T09:41:57Z","title":"Noise-aware Verification and Synthesis of Quantum Programs"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":18,"verified_exact":10,"verified_fuzzy":2},"total_outbound_references":33},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2608.05807."}