{"as_of":"2026-08-17T18:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9347892fc2861173d16ac828506922f439065252bd6ac95d733eb65a0a30f7cc","coverage":[{"denominator":6,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":6,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T22:54:09.367903Z","state":"measured"},{"denominator":6,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":6,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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/2505.13473/citation-record","integrity":"/paper/2505.13473/integrity","json":"/paper/2505.13473/citation-record.json","paper":"/paper/2505.13473"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.17863/cam.81869","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:54:09.429494Z","title":"doi:10.17863/CAM.81869","venue":null,"work_id":"e558886f-c7fc-4386-95cf-f89bc4796523","year":2021},"citing_paper":{"arxiv_id":"2505.13473","last_updated":"2025-05-09T12:17:29Z","snapshot_observed_at":"2026-08-16T21:01:24.903221Z","submitted_at":"2025-05-09T12:17:29Z","title":"A Graphical Interface for Category Theory Proofs in Coq","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T22:54:09.345610Z"},"links":{"citing_paper":"/paper/2505.13473"},"observation_digest":"sha256:b2989270addad22990df2d417580dfbf8dd7b9e8a9ce14888687c560c0f9a3f8","observation_id":"1955b29f-c145-4ae8-b4bd-e057e48de222","resolution":{"observed_at":"2026-08-15T22:54:09.433954Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"0903.0340","last_updated":"2009-06-06T00:45:58Z","snapshot_observed_at":"2026-08-15T05:53:50.489942Z","submitted_at":"2009-03-02T20:38:42Z","title":"Physics, Topology, Logic and Computation: A Rosetta Stone","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"0903.0340","snapshot_observed_at":"2026-08-15T22:54:09.350470Z","title":"Baez & Mike Stay (2010): Physics, Topology, Logic and Computation: A Rosetta Stone","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2505.13473","last_updated":"2025-05-09T12:17:29Z","snapshot_observed_at":"2026-08-16T21:01:24.903221Z","submitted_at":"2025-05-09T12:17:29Z","title":"A Graphical Interface for Category Theory Proofs in Coq","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T22:54:09.350470Z"},"links":{"cited_paper":"/paper/0903.0340","citing_paper":"/paper/2505.13473"},"observation_digest":"sha256:13242b2b92abe4afbcf378397c9fdc276141149f7e4f019f50e60d62082d5bcf","observation_id":"95340bbb-7697-4907-bdf5-dbd3401f1fa6","resolution":{"observed_at":"2026-08-15T22:54:09.350470Z","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.23638/lmcs-14(1:8)2018","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:54:09.414951Z","title":"In: Leibniz International Proceedings in Informatics , 52, pp","venue":null,"work_id":"8ac0021f-435e-4012-98a5-f9b1b667d027","year":2016},"citing_paper":{"arxiv_id":"2505.13473","last_updated":"2025-05-09T12:17:29Z","snapshot_observed_at":"2026-08-16T21:01:24.903221Z","submitted_at":"2025-05-09T12:17:29Z","title":"A Graphical Interface for Category Theory Proofs in Coq","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T22:54:09.355023Z"},"links":{"citing_paper":"/paper/2505.13473"},"observation_digest":"sha256:8e4738827d51023a0c9fad0f66a8b15340d748c250e6e65a579e378bbe810938","observation_id":"3944b98e-8cce-4c97-98f4-81403eb0626f","resolution":{"observed_at":"2026-08-15T22:54:09.419087Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1006.3930","last_updated":"2010-06-20T12:06:01Z","snapshot_observed_at":"2026-08-17T11:11:35.413093Z","submitted_at":"2010-06-20T12:06:01Z","title":"The unification of Mathematics via Topos Theory","version":1},"cited_work":{"arxiv_id":"1006.3930","doi":"10.48550/arxiv.1006.3930","metadata_source":"pith","pith_arxiv_id":"1006.3930","snapshot_observed_at":"2026-08-16T12:16:17.039197Z","title":"The unification of Mathematics via Topos Theory","venue":"math.CT","work_id":"a903c8ef-5516-4f27-9af1-6eadd8706b43","year":2010},"citing_paper":{"arxiv_id":"2505.13473","last_updated":"2025-05-09T12:17:29Z","snapshot_observed_at":"2026-08-16T21:01:24.903221Z","submitted_at":"2025-05-09T12:17:29Z","title":"A Graphical Interface for Category Theory Proofs in Coq","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T22:54:09.358859Z"},"links":{"cited_paper":"/paper/1006.3930","citing_paper":"/paper/2505.13473"},"observation_digest":"sha256:bad8facbcf545d1fe15b181562453ccc4d966e48bd8cf6372a8ce6a5911471bc","observation_id":"10e313b9-c3fa-4c13-a60a-e244d07b9b92","resolution":{"observed_at":"2026-08-15T22:54:09.405820Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"7775.35036","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T22:54:09.508963Z","title":"In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs , ACM, Philadelphia PA USA, pp","venue":null,"work_id":"9577d4ff-f9ec-45dd-a14f-945ed8749e3e","year":2022},"citing_paper":{"arxiv_id":"2505.13473","last_updated":"2025-05-09T12:17:29Z","snapshot_observed_at":"2026-08-16T21:01:24.903221Z","submitted_at":"2025-05-09T12:17:29Z","title":"A Graphical Interface for Category Theory Proofs in Coq","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T22:54:09.362956Z"},"links":{"citing_paper":"/paper/2505.13473"},"observation_digest":"sha256:90002af64b68f80731f34e92f0f1f7951aa4cbf16593ec4d87bf5250d6a33a6e","observation_id":"5c376e54-308e-46da-bd8f-bade4147f36e","resolution":{"observed_at":"2026-08-15T22:54:09.516065Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T22:54:09.541462Z","title":"Available at https://hal","venue":null,"work_id":"78626ca9-d6ab-497d-b828-58a6fae495a1","year":2024},"citing_paper":{"arxiv_id":"2505.13473","last_updated":"2025-05-09T12:17:29Z","snapshot_observed_at":"2026-08-16T21:01:24.903221Z","submitted_at":"2025-05-09T12:17:29Z","title":"A Graphical Interface for Category Theory Proofs in Coq","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T22:54:09.367903Z"},"links":{"citing_paper":"/paper/2505.13473"},"observation_digest":"sha256:ce4145182aef282bc93195419abd61fde68d1263fb7a363cb37cd370550fa182","observation_id":"f08b0130-1240-4d00-9e77-5c387ca9acc0","resolution":{"observed_at":"2026-08-15T22:54:09.545726Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.13473","last_updated":"2025-05-09T12:17:29Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T21:01:24.903221Z","submitted_at":"2025-05-09T12:17:29Z","title":"A Graphical Interface for Category Theory Proofs in Coq"},"reference_resolution":{"displayed":6,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":1,"verified_exact":2,"verified_fuzzy":1},"total_outbound_references":6},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 17 August 2026, this Paper Citation Record lists 6 of 6 outbound references and 0 inbound Pith citation observations for arXiv:2505.13473."}