{"as_of":"2026-08-11T08:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d0911298123eab427392627bbcd5d71265af761291aa19bd3be95f8e9706486a","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-10T23:29:33.879188Z","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:c20042706477136d40d3bc0c0d6cdae0bfa892e5b69a8b5627ca7932f54795ac","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-10T23:29:33.879188Z","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:235fc12578b6be731903fe39126061646745af4ce18bdee82273df598215e7bb","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-10T23:29:33.879188Z","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:c1f3a17bfcb0bd7eb9d0e976bcee0af94a967469781760407566d0b4f6770644","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-10T23:29:33.879188Z","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:69c4f3c1a53b882f6ad3b67abf0a47a900db323366030ce19da2334feeea6838","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-10T23:29:33.879188Z","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:a9ec0ce6a684182f6cb099b358d74410bb05bf8df2666b064d47b2a9c7d9e61f","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-10T23:29:33.879188Z","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:7e694791fb2823fd553be5275572dd455f878f0918cd402802816500b780194d","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-10T23:29:33.879188Z","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:4a423f33719e8cc160ec272c7d51f67f0783499a527e74819116fc51c3a1d6d3","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-10T23:29:33.879188Z","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:7bd304bac0eb0af50fec657f11eef35bcbc9dd6a4a96ecb13adaa22b375cbe1c","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-10T23:29:33.879188Z","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:0fae8d20a4e43169a6ff4a1bf3d3837d8bfc12cde1a102502ec5dfbd23e50fb4","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-10T23:29:33.879188Z","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:3c84d79a407f9e11ae518d5810efba5b77e8491e57f3ef4df5bc17937c58eb86","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-10T23:29:33.879188Z","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:a79b5c7d3add60c6b32cc1d8d7253f64ccdf2c07932293067ae6d690f610381f","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-10T23:29:33.879188Z","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:0eff216319e9a9008084c2202b9b71f064f5c14a5642675256e487a424b7af31","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-03T03:50:26.166917Z","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-10T23:29:33.879188Z","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:369c9eb360cbb52dd1d321a7e1279f13bfd5ae64667584fac8bb13e2b8ab40b4","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-10T23:29:33.879188Z","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:6b1ded827b7c1b142ca71dc708591beb367927b36fae468e87dedad5c9f994b3","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-10T23:29:33.879188Z","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."}