{"as_of":"2026-08-11T14:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:a574e473e1a629d47f32b3136a3a04ef1d4a2dbd69528dcced82c72f51523704","coverage":[{"denominator":14,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":14,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T10:50:40.831096Z","state":"measured"},{"denominator":14,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":14,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+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/2510.08452/citation-record","integrity":"/paper/2510.08452/integrity","json":"/paper/2510.08452/citation-record.json","paper":"/paper/2510.08452"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T10:50:39.657427Z","title":"2025.Agda.https://agda.readthedocs.io/","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.08452","last_updated":"2026-07-02T17:19:32Z","snapshot_observed_at":"2026-08-11T13:01:59.080306Z","submitted_at":"2025-10-09T16:59:49Z","title":"Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T10:50:39.657427Z"},"links":{"citing_paper":"/paper/2510.08452"},"observation_digest":"sha256:6b0f0820e223a5ca195ec8b8637dd156e0d6252fd440d9fe89e05a554127b0bd","observation_id":"e4547f4a-e62a-49df-8b16-6dc0125a5365","resolution":{"observed_at":"2026-08-04T10:50:39.657427Z","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-04T10:50:39.747845Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2510.08452","last_updated":"2026-07-02T17:19:32Z","snapshot_observed_at":"2026-08-11T13:01:59.080306Z","submitted_at":"2025-10-09T16:59:49Z","title":"Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T10:50:39.747845Z"},"links":{"citing_paper":"/paper/2510.08452"},"observation_digest":"sha256:773c1444dfcb4e0bd59d54fa99044ab513ecdc733b2f044a690573264a56be37","observation_id":"c8e0495f-6728-4aad-b85b-4e3e88b12ed7","resolution":{"observed_at":"2026-08-04T10:50:39.747845Z","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-04T10:50:39.862018Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2510.08452","last_updated":"2026-07-02T17:19:32Z","snapshot_observed_at":"2026-08-11T13:01:59.080306Z","submitted_at":"2025-10-09T16:59:49Z","title":"Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T10:50:39.862018Z"},"links":{"citing_paper":"/paper/2510.08452"},"observation_digest":"sha256:6f3c48927d36868a83153b8e4337f21ea92a3c0301158e48dd7413503e8763a9","observation_id":"9b787f85-824f-4135-be5c-66b820dc2885","resolution":{"observed_at":"2026-08-04T10:50:39.862018Z","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-04T10:50:39.977847Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2510.08452","last_updated":"2026-07-02T17:19:32Z","snapshot_observed_at":"2026-08-11T13:01:59.080306Z","submitted_at":"2025-10-09T16:59:49Z","title":"Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T10:50:39.977847Z"},"links":{"citing_paper":"/paper/2510.08452"},"observation_digest":"sha256:eab7136bd3861e65e862117b56a0555ec77a909442362d647c1b137dac72a669","observation_id":"e0e76bc2-781e-4db7-81cc-b1323d41e641","resolution":{"observed_at":"2026-08-04T10:50:39.977847Z","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-04T10:50:40.085719Z","title":"2024.Coq-HoTT — Zigza- gIdentity branch.https://github.com/ThomatoTomato/HoTT/blob/ ZigzagIdentity/theories/PushoutPath/PushoutPath.vAccessed on 2025-13-09","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.08452","last_updated":"2026-07-02T17:19:32Z","snapshot_observed_at":"2026-08-11T13:01:59.080306Z","submitted_at":"2025-10-09T16:59:49Z","title":"Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T10:50:40.085719Z"},"links":{"citing_paper":"/paper/2510.08452"},"observation_digest":"sha256:866c3399feffbe6a2af20ce1629ad9c5d59f120528b74b56f3b132cffe60280b","observation_id":"a43b053c-dcbe-49a0-8070-551818585a6f","resolution":{"observed_at":"2026-08-04T10:50:40.085719Z","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-04T10:50:40.206376Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.08452","last_updated":"2026-07-02T17:19:32Z","snapshot_observed_at":"2026-08-11T13:01:59.080306Z","submitted_at":"2025-10-09T16:59:49Z","title":"Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T10:50:40.206376Z"},"links":{"citing_paper":"/paper/2510.08452"},"observation_digest":"sha256:e4600903c5970f49303ea24ca39d103f74c64647ff410c982e7f0c9f68c8bc61","observation_id":"a34ecac4-a462-45cd-a3f0-a90a4687856f","resolution":{"observed_at":"2026-08-04T10:50:40.206376Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1906.09435","last_updated":"2019-06-22T11:42:13Z","snapshot_observed_at":"2026-07-06T08:02:08.270581Z","submitted_at":"2019-06-22T11:42:13Z","title":"Classifying Types","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1906.09435","snapshot_observed_at":"2026-08-04T10:50:40.328670Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2510.08452","last_updated":"2026-07-02T17:19:32Z","snapshot_observed_at":"2026-08-11T13:01:59.080306Z","submitted_at":"2025-10-09T16:59:49Z","title":"Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T10:50:40.328670Z"},"links":{"cited_paper":"/paper/1906.09435","citing_paper":"/paper/2510.08452"},"observation_digest":"sha256:86495eda469f44ad4ff2127c2b37c6e747e87dac1e0561764e7eadcf0089b90a","observation_id":"51c7d11e-27f4-4a52-8f12-d6bb1869ec19","resolution":{"observed_at":"2026-08-04T10:50:40.328670Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2212.11082","last_updated":"2022-12-21T18:48:20Z","snapshot_observed_at":"2026-08-10T23:29:21.403034Z","submitted_at":"2022-12-21T18:48:20Z","title":"Introduction to Homotopy Type Theory","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2212.11082","snapshot_observed_at":"2026-08-04T10:50:40.434978Z","title":"2022.Introduction to Homotopy Type Theory","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2510.08452","last_updated":"2026-07-02T17:19:32Z","snapshot_observed_at":"2026-08-11T13:01:59.080306Z","submitted_at":"2025-10-09T16:59:49Z","title":"Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T10:50:40.434978Z"},"links":{"cited_paper":"/paper/2212.11082","citing_paper":"/paper/2510.08452"},"observation_digest":"sha256:bcdf3fd8ab43e0ae7c318bbff4099275669043627594e488eb35cc43c8748e6f","observation_id":"7b0f49ab-6adb-45f3-855f-0ee3a55bd65b","resolution":{"observed_at":"2026-08-04T10:50:40.434978Z","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-04T10:50:40.507429Z","title":"2025.The agda-unimath library","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2510.08452","last_updated":"2026-07-02T17:19:32Z","snapshot_observed_at":"2026-08-11T13:01:59.080306Z","submitted_at":"2025-10-09T16:59:49Z","title":"Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T10:50:40.507429Z"},"links":{"citing_paper":"/paper/2510.08452"},"observation_digest":"sha256:06ea1078c160b35f1e1a5e173afce5fdebd6ab012ae403dcaa1093e4a85507b2","observation_id":"870f47bf-c694-4c96-9a4e-0727b18979da","resolution":{"observed_at":"2026-08-04T10:50:40.507429Z","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-04T10:50:40.562628Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2510.08452","last_updated":"2026-07-02T17:19:32Z","snapshot_observed_at":"2026-08-11T13:01:59.080306Z","submitted_at":"2025-10-09T16:59:49Z","title":"Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T10:50:40.562628Z"},"links":{"citing_paper":"/paper/2510.08452"},"observation_digest":"sha256:deb9aa2052a50dd4cca56bea051aae7183420bd0bedb258fc6102002215017d3","observation_id":"d0c1bfd6-2ef9-448f-91e3-a68eeb3a0856","resolution":{"observed_at":"2026-08-04T10:50:40.562628Z","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-04T10:50:40.641756Z","title":"2013.Homotopy Type Theory: Univalent Foundations of Mathematics.https://homotopytypetheory","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2510.08452","last_updated":"2026-07-02T17:19:32Z","snapshot_observed_at":"2026-08-11T13:01:59.080306Z","submitted_at":"2025-10-09T16:59:49Z","title":"Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T10:50:40.641756Z"},"links":{"citing_paper":"/paper/2510.08452"},"observation_digest":"sha256:ea6dd3233a82aa6a29bcc953a4106075bf77bcdc39502d6b939b1b920b8ebcab","observation_id":"656b59c3-e3ac-499b-b79b-61f95bd92193","resolution":{"observed_at":"2026-08-04T10:50:40.641756Z","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-04T10:50:40.693688Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2510.08452","last_updated":"2026-07-02T17:19:32Z","snapshot_observed_at":"2026-08-11T13:01:59.080306Z","submitted_at":"2025-10-09T16:59:49Z","title":"Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T10:50:40.693688Z"},"links":{"citing_paper":"/paper/2510.08452"},"observation_digest":"sha256:cce35a64f0cac2400d124e489947e0ebf5e78616f05a3b037e32c46de0cfb2c6","observation_id":"96c2e360-249c-4f4e-9379-b23ae5ff3b9e","resolution":{"observed_at":"2026-08-04T10:50:40.693688Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2402.12339","last_updated":"2025-08-05T14:37:14Z","snapshot_observed_at":"2026-08-11T09:15:43.037984Z","submitted_at":"2024-02-19T18:11:58Z","title":"Path spaces of pushouts","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2402.12339","snapshot_observed_at":"2026-08-04T10:50:40.777130Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.08452","last_updated":"2026-07-02T17:19:32Z","snapshot_observed_at":"2026-08-11T13:01:59.080306Z","submitted_at":"2025-10-09T16:59:49Z","title":"Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T10:50:40.777130Z"},"links":{"cited_paper":"/paper/2402.12339","citing_paper":"/paper/2510.08452"},"observation_digest":"sha256:d243d526ab8bd9aa69b3281150e6eec0a8623b560eaa88177bcfc341e97d3d5c","observation_id":"ca9adc0a-0c1b-4e3f-b118-ae6d995f035b","resolution":{"observed_at":"2026-08-04T10:50:40.777130Z","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-04T10:50:40.831096Z","title":"commuting squares of sections","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2510.08452","last_updated":"2026-07-02T17:19:32Z","snapshot_observed_at":"2026-08-11T13:01:59.080306Z","submitted_at":"2025-10-09T16:59:49Z","title":"Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T10:50:40.831096Z"},"links":{"citing_paper":"/paper/2510.08452"},"observation_digest":"sha256:e78d3bcbca0fc4b91a5bd8a7e59f62836766acc4225a7e0a73f655c152b4ceb0","observation_id":"56ae194f-0b21-4bb0-b43c-f27822e3a931","resolution":{"observed_at":"2026-08-04T10:50:40.831096Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2510.08452","last_updated":"2026-07-02T17:19:32Z","latest_version":2,"primary_category":"math.LO","snapshot_observed_at":"2026-08-11T13:01:59.080306Z","submitted_at":"2025-10-09T16:59:49Z","title":"Formalization of the zigzag construction of path spaces of pushouts in homotopy type theory"},"reference_resolution":{"displayed":14,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":14,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":14},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 14 of 14 outbound references and 0 inbound Pith citation observations for arXiv:2510.08452."}