{"as_of":"2026-08-10T05:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3e09b881e58724455b6437d4f494bace3f93d57247c16fbebd5334b0232cf279","coverage":[{"denominator":13,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":13,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T04:24:57.469203Z","state":"measured"},{"denominator":13,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":13,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-09T06:31:02.800959+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.15629/citation-record","integrity":"/paper/2607.15629/integrity","json":"/paper/2607.15629/citation-record.json","paper":"/paper/2607.15629"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2510.17944","last_updated":"2026-07-25T11:01:23Z","snapshot_observed_at":"2026-08-06T14:26:19.174008Z","submitted_at":"2025-10-20T17:12:17Z","title":"Intuitionistic $j$-Do-Calculus in Topos Causal Models","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.17944","snapshot_observed_at":"2026-08-04T04:24:57.455848Z","title":"Intuitionistic j-do-calculus in topos causal models.arXiv preprint arXiv:2510.17944v2,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15629","last_updated":"2026-08-03T08:26:18Z","snapshot_observed_at":"2026-08-07T11:11:22.826282Z","submitted_at":"2026-07-17T05:05:31Z","title":"A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T04:24:57.455848Z"},"links":{"cited_paper":"/paper/2510.17944","citing_paper":"/paper/2607.15629"},"observation_digest":"sha256:6817e588aeaa46082bc07a45d1ee23bd41ac49cc420ce802a1a550c1e318001f","observation_id":"1b29ec14-7177-4fd7-94e1-fe1218a17887","resolution":{"observed_at":"2026-08-04T04:24:57.455848Z","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-04T04:24:57.466670Z","title":"[VMA19] Andrea Vezzosi, Anders M¨ ortberg, and Andreas Abel","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.15629","last_updated":"2026-08-03T08:26:18Z","snapshot_observed_at":"2026-08-07T11:11:22.826282Z","submitted_at":"2026-07-17T05:05:31Z","title":"A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T04:24:57.466670Z"},"links":{"citing_paper":"/paper/2607.15629"},"observation_digest":"sha256:107297189aaeb9c99b5af868a8aa13761753c781e7e4f4d971ac4d078c58376d","observation_id":"cadd09ae-e813-44ed-bd2c-e9efb57e4eda","resolution":{"observed_at":"2026-08-04T04:24:57.466670Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.03719","last_updated":"2026-06-02T14:40:39Z","snapshot_observed_at":"2026-08-08T14:29:12.479587Z","submitted_at":"2026-06-02T14:40:39Z","title":"Unveiling the Structure of Do-Calculus Reasoning via Derivation Graphs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.03719","snapshot_observed_at":"2026-08-04T04:24:57.469203Z","title":"[ZM23] Max Zeuner and Anders M¨ ortberg","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.15629","last_updated":"2026-08-03T08:26:18Z","snapshot_observed_at":"2026-08-07T11:11:22.826282Z","submitted_at":"2026-07-17T05:05:31Z","title":"A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T04:24:57.469203Z"},"links":{"cited_paper":"/paper/2606.03719","citing_paper":"/paper/2607.15629"},"observation_digest":"sha256:c3ae658ba4de5c1a131afa4965e12492afb46f3d73147efdff64ed479e659fca","observation_id":"aa79f092-539d-45db-94a4-bf3acdda4e0b","resolution":{"observed_at":"2026-08-04T04:24:57.469203Z","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-04T04:24:57.461380Z","title":"Lawvere-tierney sheafification in homotopy type theory","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.15629","last_updated":"2026-08-03T08:26:18Z","snapshot_observed_at":"2026-08-07T11:11:22.826282Z","submitted_at":"2026-07-17T05:05:31Z","title":"A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction","version":2},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-04T04:24:57.461380Z"},"links":{"citing_paper":"/paper/2607.15629"},"observation_digest":"sha256:b4f532ca4ff6ec93cd3259c2ba430674cc2751a3d856bfe7ca3fa88afac16392","observation_id":"34361222-84c5-4940-81c5-64f74e462e2c","resolution":{"observed_at":"2026-08-04T04:24:57.461380Z","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-04T04:24:57.435582Z","title":"The cohomology of non-locality and contextuality","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.15629","last_updated":"2026-08-03T08:26:18Z","snapshot_observed_at":"2026-08-07T11:11:22.826282Z","submitted_at":"2026-07-17T05:05:31Z","title":"A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction","version":2},"reference_index":2011,"source":"pdf_text","source_observed_at":"2026-08-04T04:24:57.435582Z"},"links":{"citing_paper":"/paper/2607.15629"},"observation_digest":"sha256:eecddad053e9201a3940001bc4e81048060891dd61ce9f553701f7a7b0956c3d","observation_id":"2c06bb78-8317-4b30-8b30-9fd7e06d2e3d","resolution":{"observed_at":"2026-08-04T04:24:57.435582Z","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-04T04:24:57.438907Z","title":"A general algorithm for deciding transportability of experi- mental results.Journal of Causal Inference, 1(1):107–134, 2013.doi:10.1515/jci-2012-0004","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.15629","last_updated":"2026-08-03T08:26:18Z","snapshot_observed_at":"2026-08-07T11:11:22.826282Z","submitted_at":"2026-07-17T05:05:31Z","title":"A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction","version":2},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-04T04:24:57.438907Z"},"links":{"citing_paper":"/paper/2607.15629"},"observation_digest":"sha256:ddb43284c139015d64bdb740fab2b240d35c2f0c22dfdd39f3174c539db415c3","observation_id":"543c527d-27a6-48c5-b597-f6cdfd8ce181","resolution":{"observed_at":"2026-08-04T04:24:57.438907Z","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-04T04:24:57.442094Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.15629","last_updated":"2026-08-03T08:26:18Z","snapshot_observed_at":"2026-08-07T11:11:22.826282Z","submitted_at":"2026-07-17T05:05:31Z","title":"A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction","version":2},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-04T04:24:57.442094Z"},"links":{"citing_paper":"/paper/2607.15629"},"observation_digest":"sha256:4052137014bd5c03248a7043010e6cf623c2dec1a519c23ac1acef32c78a7b92","observation_id":"8dd91a14-dcae-4db9-a5c8-b6d10c22c336","resolution":{"observed_at":"2026-08-04T04:24:57.442094Z","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-04T04:24:57.444916Z","title":"[dAFH09] Ricardo Queiroz de Araujo Fernandes and Edward Hermann Haeusler","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15629","last_updated":"2026-08-03T08:26:18Z","snapshot_observed_at":"2026-08-07T11:11:22.826282Z","submitted_at":"2026-07-17T05:05:31Z","title":"A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction","version":2},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-04T04:24:57.444916Z"},"links":{"citing_paper":"/paper/2607.15629"},"observation_digest":"sha256:0ace807dc4e255a26905ac57b659688e511f82394735f14b9b5f39f55a067353","observation_id":"cd598d09-cb70-46b8-a884-c858e9734477","resolution":{"observed_at":"2026-08-04T04:24:57.444916Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2303.07148","last_updated":"2023-07-27T20:39:00Z","snapshot_observed_at":"2026-08-07T21:39:22.371390Z","submitted_at":"2023-03-13T14:20:22Z","title":"The Topology of Causality","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2303.07148","snapshot_observed_at":"2026-08-04T04:24:57.447973Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.15629","last_updated":"2026-08-03T08:26:18Z","snapshot_observed_at":"2026-08-07T11:11:22.826282Z","submitted_at":"2026-07-17T05:05:31Z","title":"A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction","version":2},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-04T04:24:57.447973Z"},"links":{"cited_paper":"/paper/2303.07148","citing_paper":"/paper/2607.15629"},"observation_digest":"sha256:ae6304cc507a69be99ddad9fb5d0cada4af546c67102a382cf0e01834d8cea1f","observation_id":"fff96c56-502d-45a9-bec9-b6f25e776dd0","resolution":{"observed_at":"2026-08-04T04:24:57.447973Z","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-04T04:24:57.450822Z","title":"Directed univalence in simplicial homotopy type theory.arXiv preprint arXiv:2407.09146,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15629","last_updated":"2026-08-03T08:26:18Z","snapshot_observed_at":"2026-08-07T11:11:22.826282Z","submitted_at":"2026-07-17T05:05:31Z","title":"A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction","version":2},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-04T04:24:57.450822Z"},"links":{"citing_paper":"/paper/2607.15629"},"observation_digest":"sha256:00b916fa142f8f819b3fb67f867f89672e4c79eb3508379a775503363f4596c6","observation_id":"18d33f1f-4284-4156-a8f5-c2e152d2fb2b","resolution":{"observed_at":"2026-08-04T04:24:57.450822Z","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-04T04:24:57.453364Z","title":"Causal inference by string diagram surgery","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.15629","last_updated":"2026-08-03T08:26:18Z","snapshot_observed_at":"2026-08-07T11:11:22.826282Z","submitted_at":"2026-07-17T05:05:31Z","title":"A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction","version":2},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-04T04:24:57.453364Z"},"links":{"citing_paper":"/paper/2607.15629"},"observation_digest":"sha256:97e8678fd4f07344bf47f2378cab2fb67f814256a6156bdfc87bf032fa1542ea","observation_id":"643848bd-31d4-4b6f-9054-e97aad7a83fc","resolution":{"observed_at":"2026-08-04T04:24:57.453364Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.08295","last_updated":"2025-08-05T21:50:57Z","snapshot_observed_at":"2026-08-09T03:27:52.081274Z","submitted_at":"2025-08-05T21:50:57Z","title":"Topos Causal Models","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.08295","snapshot_observed_at":"2026-08-04T04:24:57.458524Z","title":"[Mah25b] Sridhar Mahadevan","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.15629","last_updated":"2026-08-03T08:26:18Z","snapshot_observed_at":"2026-08-07T11:11:22.826282Z","submitted_at":"2026-07-17T05:05:31Z","title":"A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction","version":2},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-04T04:24:57.458524Z"},"links":{"cited_paper":"/paper/2508.08295","citing_paper":"/paper/2607.15629"},"observation_digest":"sha256:3e326e0aee80155f106d8b0af4d6b0526fdd4a5dfb1c0bd920a42ee3af78597c","observation_id":"05e5b32e-9d8d-442e-801b-c329e249688f","resolution":{"observed_at":"2026-08-04T04:24:57.458524Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.20351","last_updated":"2026-07-15T04:05:03Z","snapshot_observed_at":"2026-08-05T06:44:32.461637Z","submitted_at":"2026-06-18T15:17:41Z","title":"A cubical formalisation of conditional independence, Bayesian conditioning, and Pearl's d-separation soundness","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.20351","snapshot_observed_at":"2026-08-04T04:24:57.463869Z","title":"URL: https://arxiv.org/abs/2606","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.15629","last_updated":"2026-08-03T08:26:18Z","snapshot_observed_at":"2026-08-07T11:11:22.826282Z","submitted_at":"2026-07-17T05:05:31Z","title":"A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction","version":2},"reference_index":2026,"source":"pdf_text","source_observed_at":"2026-08-04T04:24:57.463869Z"},"links":{"cited_paper":"/paper/2606.20351","citing_paper":"/paper/2607.15629"},"observation_digest":"sha256:7e3dc0db0dfb846b74a5033ddc30750c54f0c3a0fdb16ba252c43f90a76be841","observation_id":"58fcc55c-a411-494c-8db5-24ad10fda4a6","resolution":{"observed_at":"2026-08-04T04:24:57.463869Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.15629","last_updated":"2026-08-03T08:26:18Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T11:11:22.826282Z","submitted_at":"2026-07-17T05:05:31Z","title":"A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction"},"reference_resolution":{"displayed":13,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":13,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":13},"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 10 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 0 inbound Pith citation observations for arXiv:2607.15629."}