{"as_of":"2026-08-09T09:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:887b705963acad4d6595c9f6fce8d226cc1a3c403ab28c2ee1fc9a9bec2e7c6f","coverage":[{"denominator":11,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":11,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-28T06:32:33.638019Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-30T13:36:33.330666Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2606.04311","last_updated":"2026-06-03T00:36:41Z","snapshot_observed_at":"2026-08-04T19:41:17.162280Z","submitted_at":"2026-06-03T00:36:41Z","title":"Formal verification of the S-two AIR","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.04311","snapshot_observed_at":"2026-07-30T13:36:33.330666Z","title":"Formal verification of the s-two AIR,","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.23752","last_updated":"2026-07-26T16:54:31Z","snapshot_observed_at":"2026-08-05T08:08:38.712486Z","submitted_at":"2026-07-26T16:54:31Z","title":"ZKP Security Tools and Verification: Coverage, Effectiveness, Adoption, and Challenges","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-07-30T13:36:33.330666Z"},"links":{"cited_paper":"/paper/2606.04311","citing_paper":"/paper/2607.23752"},"observation_digest":"sha256:49ebb6867ccfd19e49485be2575ac35f977738d68493c9c6b50615add3e05246","observation_id":"bf274ae5-2a01-4a0d-9612-663779081012","resolution":{"observed_at":"2026-07-30T13:36:33.330666Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2606.04311/citation-record","integrity":"/paper/2606.04311/integrity","json":"/paper/2606.04311/citation-record.json","paper":"/paper/2606.04311"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-28T06:32:33.638019Z","title":"A verified algebraic representation of","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.04311","last_updated":"2026-06-03T00:36:41Z","snapshot_observed_at":"2026-08-04T19:41:17.162280Z","submitted_at":"2026-06-03T00:36:41Z","title":"Formal verification of the S-two AIR","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-06-28T06:32:33.638019Z"},"links":{"citing_paper":"/paper/2606.04311"},"observation_digest":"sha256:6929625fb92d8c655050909f5895a0c009c361242908ca0e0912a7294fabceb7","observation_id":"38d072ff-a2cf-4866-988c-bb07d651bb85","resolution":{"observed_at":"2026-06-28T06:32:33.638019Z","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.1007/s10817-025-09723-y","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":null,"venue":"Journal of Automated Reasoning","work_id":"843a6a01-ec9b-4167-9786-2f83401b3d4e","year":2025},"citing_paper":{"arxiv_id":"2606.04311","last_updated":"2026-06-03T00:36:41Z","snapshot_observed_at":"2026-08-04T19:41:17.162280Z","submitted_at":"2026-06-03T00:36:41Z","title":"Formal verification of the S-two AIR","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-06-28T06:32:33.638019Z"},"links":{"citing_paper":"/paper/2606.04311"},"observation_digest":"sha256:57bf965da60f22891db4f4c28089cb03069ad29c505f8dd1af5c79540bb60847","observation_id":"5112a46a-a6d9-4179-822e-c149bce0c69f","resolution":{"observed_at":"2026-06-28T06:41:43.072479Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-06-28T06:32:33.638019Z","title":"Foundations , year =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.04311","last_updated":"2026-06-03T00:36:41Z","snapshot_observed_at":"2026-08-04T19:41:17.162280Z","submitted_at":"2026-06-03T00:36:41Z","title":"Formal verification of the S-two AIR","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-06-28T06:32:33.638019Z"},"links":{"citing_paper":"/paper/2606.04311"},"observation_digest":"sha256:882e0910025a6d981cb2b600f72554fc0e171a182c968e879b873785df286721","observation_id":"c3eae2f7-834b-4ae1-9908-bf9917edb115","resolution":{"observed_at":"2026-06-28T06:32:33.638019Z","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-06-28T06:32:33.638019Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.04311","last_updated":"2026-06-03T00:36:41Z","snapshot_observed_at":"2026-08-04T19:41:17.162280Z","submitted_at":"2026-06-03T00:36:41Z","title":"Formal verification of the S-two AIR","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-06-28T06:32:33.638019Z"},"links":{"citing_paper":"/paper/2606.04311"},"observation_digest":"sha256:821a0260aa9130975515b996cd2ed2b9ec39effd3cdaa9bfd81a636e883d4897","observation_id":"eba8c9c3-b07d-42ec-a4f0-2f04702de5fb","resolution":{"observed_at":"2026-06-28T06:32:33.638019Z","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-06-28T06:32:33.638019Z","title":"2021 , note =","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.04311","last_updated":"2026-06-03T00:36:41Z","snapshot_observed_at":"2026-08-04T19:41:17.162280Z","submitted_at":"2026-06-03T00:36:41Z","title":"Formal verification of the S-two AIR","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-06-28T06:32:33.638019Z"},"links":{"citing_paper":"/paper/2606.04311"},"observation_digest":"sha256:1ee13defdda40dce7fbcb8756a18e096ec1c488674a17c2e567b79df138c160c","observation_id":"745fb23f-fadc-4e9b-b944-1a6ef20ce81a","resolution":{"observed_at":"2026-06-28T06:32:33.638019Z","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-06-28T06:32:33.638019Z","title":"2022 , url =","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2606.04311","last_updated":"2026-06-03T00:36:41Z","snapshot_observed_at":"2026-08-04T19:41:17.162280Z","submitted_at":"2026-06-03T00:36:41Z","title":"Formal verification of the S-two AIR","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-06-28T06:32:33.638019Z"},"links":{"citing_paper":"/paper/2606.04311"},"observation_digest":"sha256:e02f4b826de85f581d80abd50d102eeea45b16100eede26682e8fbc6eed9de7f","observation_id":"0dcbe9cd-1f2f-4c72-a35a-ec1d467250d0","resolution":{"observed_at":"2026-06-28T06:32:33.638019Z","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-06-28T06:32:33.638019Z","title":"2024 , url =","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2606.04311","last_updated":"2026-06-03T00:36:41Z","snapshot_observed_at":"2026-08-04T19:41:17.162280Z","submitted_at":"2026-06-03T00:36:41Z","title":"Formal verification of the S-two AIR","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-06-28T06:32:33.638019Z"},"links":{"citing_paper":"/paper/2606.04311"},"observation_digest":"sha256:f2c46bc05c04e6364fbc9cd651dc7c14682db36f1d56e3db307cd0f88a3e9b5a","observation_id":"5f4b2e03-6eaa-4b19-a2ac-8043b7591805","resolution":{"observed_at":"2026-06-28T06:32:33.638019Z","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-06-28T06:32:33.638019Z","title":"Interactive Theorem Proving and Program Development -","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.04311","last_updated":"2026-06-03T00:36:41Z","snapshot_observed_at":"2026-08-04T19:41:17.162280Z","submitted_at":"2026-06-03T00:36:41Z","title":"Formal verification of the S-two AIR","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-06-28T06:32:33.638019Z"},"links":{"citing_paper":"/paper/2606.04311"},"observation_digest":"sha256:234b9c5939d16612faa2f836a9be173ee1a9a8c773dbebcbc57ae2489edf77da","observation_id":"4735294c-86a1-4d92-a4ef-b026c70c2cf5","resolution":{"observed_at":"2026-06-28T06:32:33.638019Z","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-06-28T06:32:33.638019Z","title":"Paulson and Markus Wenzel , title =","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.04311","last_updated":"2026-06-03T00:36:41Z","snapshot_observed_at":"2026-08-04T19:41:17.162280Z","submitted_at":"2026-06-03T00:36:41Z","title":"Formal verification of the S-two AIR","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-06-28T06:32:33.638019Z"},"links":{"citing_paper":"/paper/2606.04311"},"observation_digest":"sha256:48eb519f8b7ab647606e513818767c56373ab68d54a8d9b3b65c8cc4d6d70b04","observation_id":"4e78e46c-4e34-4b89-8866-a5bc869c3bde","resolution":{"observed_at":"2026-06-28T06:32:33.638019Z","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-06-28T06:32:33.638019Z","title":"Certified Programs and Proofs (CPP) 2020 , pages =","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.04311","last_updated":"2026-06-03T00:36:41Z","snapshot_observed_at":"2026-08-04T19:41:17.162280Z","submitted_at":"2026-06-03T00:36:41Z","title":"Formal verification of the S-two AIR","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-06-28T06:32:33.638019Z"},"links":{"citing_paper":"/paper/2606.04311"},"observation_digest":"sha256:99213f6b19eab4c958903e07d013a29cb4caa5b85b7ac3e95fdb4a2322879216","observation_id":"b00271cd-b4b4-4be1-a8eb-4ff0ce2e1cbb","resolution":{"observed_at":"2026-06-28T06:32:33.638019Z","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-06-28T06:32:33.638019Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.04311","last_updated":"2026-06-03T00:36:41Z","snapshot_observed_at":"2026-08-04T19:41:17.162280Z","submitted_at":"2026-06-03T00:36:41Z","title":"Formal verification of the S-two AIR","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-06-28T06:32:33.638019Z"},"links":{"citing_paper":"/paper/2606.04311"},"observation_digest":"sha256:cc00290617bd279182858191d28d934804f5b75c855c00e2c284747df7ab2a88","observation_id":"191eeee7-71a5-4271-a73c-c9c111fb91f9","resolution":{"observed_at":"2026-06-28T06:32:33.638019Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.04311","last_updated":"2026-06-03T00:36:41Z","latest_version":1,"primary_category":"cs.CR","snapshot_observed_at":"2026-08-04T19:41:17.162280Z","submitted_at":"2026-06-03T00:36:41Z","title":"Formal verification of the S-two AIR"},"reference_resolution":{"displayed":11,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":10,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":11},"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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 1 inbound Pith citation observation for arXiv:2606.04311."}