{"as_of":"2026-08-12T20:58:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6c99f615c00c392e300d269de2da42cf69bdff1acdf50f456363b6a9ae5ba815","coverage":[{"denominator":15,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":15,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T16:34:53.107682Z","state":"measured"},{"denominator":15,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":15,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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/2607.26413/citation-record","integrity":"/paper/2607.26413/integrity","json":"/paper/2607.26413/citation-record.json","paper":"/paper/2607.26413"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T16:34:51.767771Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T16:34:51.767771Z"},"links":{"citing_paper":"/paper/2607.26413"},"observation_digest":"sha256:186966a073024f05517d7204943c99591707b00853f95819a89ba64a46c4c98b","observation_id":"63eff4bd-9e12-4964-acc5-31f756cce60f","resolution":{"observed_at":"2026-08-01T16:34:51.767771Z","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-01T16:34:51.860669Z","title":"Conway and Simon Kochen","venue":null,"work_id":null,"year":1993},"citing_paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T16:34:51.860669Z"},"links":{"citing_paper":"/paper/2607.26413"},"observation_digest":"sha256:c949b938dc3a05389b119591683b1903f4acc9acecd1d2e982ceeda33e9f09d9","observation_id":"95b68da9-9b7d-448d-bca9-d383cd0a9618","resolution":{"observed_at":"2026-08-01T16:34:51.860669Z","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-01T16:34:52.031272Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T16:34:52.031272Z"},"links":{"citing_paper":"/paper/2607.26413"},"observation_digest":"sha256:ef69544abacaeea08988ce9787fbc6ec4fc7d1010835d38b466011315d3dd570","observation_id":"31102348-bada-4237-9328-f91919e864dc","resolution":{"observed_at":"2026-08-01T16:34:52.031272Z","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-01T16:34:52.177200Z","title":"Z3: An efficient SMT solver","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T16:34:52.177200Z"},"links":{"citing_paper":"/paper/2607.26413"},"observation_digest":"sha256:dbe478f5faeb24d1baee95eaf12d9e2ad8c4a45ed3f4c75e27ff50f450f4a3cd","observation_id":"3b2a4cb6-35fb-4442-8eb4-26dad5288ac1","resolution":{"observed_at":"2026-08-01T16:34:52.177200Z","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-01T16:34:52.389484Z","title":"The Lean 4 theorem prover and programming language","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T16:34:52.389484Z"},"links":{"citing_paper":"/paper/2607.26413"},"observation_digest":"sha256:b5fd4f55ce5777865500cfc836af61deffebf2e7e92a2642ae83ac5a5c1979e4","observation_id":"bde1e077-b8aa-483b-a388-b50b2daa2cf7","resolution":{"observed_at":"2026-08-01T16:34:52.389484Z","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-01T16:34:52.513117Z","title":"InProceedings of the AAAI Conference on Artificial Intelligence, 2021","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T16:34:52.513117Z"},"links":{"citing_paper":"/paper/2607.26413"},"observation_digest":"sha256:0cf2d54484a751b6fd5926d53b78c3614db10d59c66a2ad59d66ed735e1fd732","observation_id":"2d8a76a4-9a9a-431c-a432-d8cb382c0101","resolution":{"observed_at":"2026-08-01T16:34:52.513117Z","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-01T16:34:52.658621Z","title":"A Lean 4 formalization of the Kochen–Specker paradox.https://github.com/ guptbot/free_will_lean, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T16:34:52.658621Z"},"links":{"citing_paper":"/paper/2607.26413"},"observation_digest":"sha256:f809d3dd307341eade697adf7e21ad759d05259100a35e87c5eff6b05f108dcb","observation_id":"82397f62-10bc-4f2f-9547-d2a4b5c1fd0b","resolution":{"observed_at":"2026-08-01T16:34:52.658621Z","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-01T16:34:52.823558Z","title":"Co-Certificate learning with SAT modulo symmetries","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T16:34:52.823558Z"},"links":{"citing_paper":"/paper/2607.26413"},"observation_digest":"sha256:22ecf8ee115657b5fcddb59f6d469ea0c0cb00c3b6b8a7c5c6add00db438b127","observation_id":"8f42bd70-2d88-4322-8895-d63357cfc5ff","resolution":{"observed_at":"2026-08-01T16:34:52.823558Z","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-01T16:34:52.917007Z","title":null,"venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-01T16:34:52.917007Z"},"links":{"citing_paper":"/paper/2607.26413"},"observation_digest":"sha256:8cb6f854cedce625242216d4f5c84bd0586c7bcf2ef8b90f1a859c897b407a3f","observation_id":"b4004e54-6413-4002-bb89-7b9edbfe83c3","resolution":{"observed_at":"2026-08-01T16:34:52.917007Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.02958","last_updated":"2026-07-03T05:05:02Z","snapshot_observed_at":"2026-08-06T23:13:48.764748Z","submitted_at":"2026-07-03T05:05:02Z","title":"Toward Satisfiability Modulo Realizability","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.02958","snapshot_observed_at":"2026-08-01T16:34:52.960063Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T16:34:52.960063Z"},"links":{"cited_paper":"/paper/2607.02958","citing_paper":"/paper/2607.26413"},"observation_digest":"sha256:a0eff9e2785f6b8c7329cf8690c823028c271223475a88caea8e5cf836159871","observation_id":"8b9080e5-ca9f-47e1-822e-befb9289fdae","resolution":{"observed_at":"2026-08-01T16:34:52.960063Z","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-01T16:34:52.993598Z","title":"Efficient verified (UN)SAT certificate checking.Journal of Automated Reasoning, volume 64, pages 513–532, 2020","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T16:34:52.993598Z"},"links":{"citing_paper":"/paper/2607.26413"},"observation_digest":"sha256:21534b9a1df615514b4028940e3b85ff1171ea0a99f1d01053469a4ef1ddcb38","observation_id":"15b19521-202c-47c2-ae83-bb459d938ec1","resolution":{"observed_at":"2026-08-01T16:34:52.993598Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.13319","last_updated":"2024-04-09T20:44:22Z","snapshot_observed_at":"2026-07-06T15:45:51.145364Z","submitted_at":"2023-06-23T06:42:59Z","title":"A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem","version":7},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2306.13319","snapshot_observed_at":"2026-08-01T16:34:53.018615Z","title":"A SAT solver and computer algebra attack on the minimum Kochen–Specker problem","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T16:34:53.018615Z"},"links":{"cited_paper":"/paper/2306.13319","citing_paper":"/paper/2607.26413"},"observation_digest":"sha256:5449b75433e0bac531ce3bdeeacc7e7043a3764c7f5232feb4fa57b84025e311","observation_id":"74cfb753-4411-4b95-a028-d863c13d8882","resolution":{"observed_at":"2026-08-01T16:34:53.018615Z","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-01T16:34:53.053753Z","title":"PBLean: Pseudo-Boolean proof certificates for Lean 4","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T16:34:53.053753Z"},"links":{"citing_paper":"/paper/2607.26413"},"observation_digest":"sha256:b6dce1e036a576f1e80776264e3887cf99f7bac2e5a2bbac268837c48ef42707","observation_id":"2f62487e-ddf9-4376-985e-86cc39677da1","resolution":{"observed_at":"2026-08-01T16:34:53.053753Z","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-01T16:34:53.085418Z","title":"A Kochen–Specker system has at least 22 vectors.New Gen- eration Computing, 34:3–23, 2016","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T16:34:53.085418Z"},"links":{"citing_paper":"/paper/2607.26413"},"observation_digest":"sha256:5b2c762bef2622a8bd587e27a7d0400d84096a8a3f3ac52930ec349cf6738c5c","observation_id":"0d4f8312-e897-4c37-8bfa-790171484198","resolution":{"observed_at":"2026-08-01T16:34:53.085418Z","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-01T16:34:53.107682Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T16:34:53.107682Z"},"links":{"citing_paper":"/paper/2607.26413"},"observation_digest":"sha256:926de3e8f6a14a5537f8e5a8ec385234a7e22aec546aaf31e09f2e0dcc011c52","observation_id":"2a7888ae-c64e-4431-94aa-3fc25309f67f","resolution":{"observed_at":"2026-08-01T16:34:53.107682Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.26413","last_updated":"2026-07-29T02:53:00Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-12T17:00:51.216348Z","submitted_at":"2026-07-29T02:53:00Z","title":"Machine-Checked Certificates for the Geometric Half of the Minimum Kochen-Specker Bound"},"reference_resolution":{"displayed":15,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":15,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":15},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:2607.26413."}