{"as_of":"2026-08-08T10:14:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:9f30a2b67283555a280943d824b5a111d4223434f9b2bacaec451d21123ca606","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T15:30:56.098253Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2507.16062/citation-record","integrity":"/paper/2507.16062/integrity","json":"/paper/2507.16062/citation-record.json","paper":"/paper/2507.16062"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.apal.2018.08.002","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:30:57.187803Z","title":"A cubical model of homotopy type theory","venue":null,"work_id":"f5801d32-d576-4b05-aeb0-8bcd02f481e8","year":2015},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:52.800838Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:c7c4198ae1ed5998e83f1fd05c41b7d31c0212d8b76f249fdce4eb83552697ba","observation_id":"57238db5-39d5-4eeb-8c96-8842c70ec77a","resolution":{"observed_at":"2026-08-06T15:30:57.282647Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.48550/arxiv.2503.24279","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:30:57.049799Z","title":"Toward the effective 2-topos","venue":null,"work_id":"5528e9a4-cdda-46ab-8994-e545b250ae0a","year":2025},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:52.871528Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:80e37cadc3dd1d3f42feddb583497638ae175bf6a982572666b25e406b68c659","observation_id":"264bc0b9-7163-4f37-8530-2b8c2546695f","resolution":{"observed_at":"2026-08-06T15:30:57.111882Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:30:52.965003Z","title":"Homotopy theoretic models of identity types","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:52.965003Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:27d8bcac61ee92baa850ce4a00d842761c08c88ba72df6c3d7d7aa4d655be67f","observation_id":"6dd80894-d853-45d9-b003-cae01f8e3893","resolution":{"observed_at":"2026-08-06T15:30:52.965003Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:31:00.632154Z","title":"Predicative topos theory and models for constructive set theory","venue":null,"work_id":"581b4879-db8a-46e3-aa60-81bebf84f16b","year":2006},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:53.085727Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:1263dbdee0c89f5837ea9b0fc6f5ab16efa383529fb57d9808cb2c8f86106a8e","observation_id":"482dbab9-f992-42f2-8949-4544698fd6a2","resolution":{"observed_at":"2026-08-06T15:31:00.747491Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:31:00.347578Z","title":"Words, free algebras, and coequalizers","venue":null,"work_id":"07ba417d-f8c2-4e78-96a8-d7dde31c085f","year":1983},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:53.195826Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:d4d2e4eb5165f60714465c40e95a4bf5952665eea7e1697b293c89eb57a2015f","observation_id":"db6173dd-9caa-4d1f-be29-65370826c842","resolution":{"observed_at":"2026-08-06T15:31:00.440681Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:30:53.277555Z","title":"Regular and exact completions","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:53.277555Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:34e0e85c78dc69bf85ce0ad0efb1ab07b84294af1d453e6bd52c49b1f730c69f","observation_id":"153f00ef-ce67-49ab-8b11-b1e2c2d6f4cb","resolution":{"observed_at":"2026-08-06T15:30:53.277555Z","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-06T15:30:53.373436Z","title":"Categories of partial equivalence relations as localizations","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:53.373436Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:f4f406b2fd035fa6b7fe6294813d026cf5d8e1eaf1e5f578b900c24141766b77","observation_id":"d9d86b06-d0c3-45dc-92f2-ea21c6313304","resolution":{"observed_at":"2026-08-06T15:30:53.373436Z","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-06T15:30:53.499377Z","title":"Wellfounded Trees and Dependent Polynomial Functors","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:53.499377Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:dcd6409208522a5c1f49a21c2a661e0acdf48d776e865a18a7b48025b972a9f6","observation_id":"c30a2b91-21e8-4f89-9ab2-ed4781b567b9","resolution":{"observed_at":"2026-08-06T15:30:53.499377Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:31:00.149475Z","title":"Models of Martin-L¨ of Type Theory From Algebraic Weak Factorisation Systems","venue":null,"work_id":"11bd4176-55e6-4679-ad28-d99fe29bd260","year":2023},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:53.595636Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:7c0b31c45394158c756cf67b4caf913898adb208d4a3fd5a8489c11ef663ddd0","observation_id":"29a7c18c-8cb1-42bd-80fe-a55440b76691","resolution":{"observed_at":"2026-08-06T15:31:00.250510Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:30:53.715631Z","title":"The Frobenius condition, right properness, and uniform fi- brations","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:53.715631Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:05b2180b001bbb5c6e7de26a9fdfaec38ccee54b89b98b6e2ddefc12b395dba4","observation_id":"f56f619e-a7a6-4663-abf4-6cd0995a928c","resolution":{"observed_at":"2026-08-06T15:30:53.715631Z","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.1007/s10485-008-9137-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:30:56.782776Z","title":"Understanding the Small Object Argument","venue":null,"work_id":"05a6c13e-1711-400a-bc52-77407f2b156a","year":2008},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:53.889510Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:67754a9a0fad0a225f90638a105b6af892e9e2355c998539419865eeea2d4452","observation_id":"91891c04-6fd3-45df-addd-89148e21da99","resolution":{"observed_at":"2026-08-06T15:30:56.874971Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s00153-006-0003-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:30:56.636674Z","title":"Well-foundedness in Realizability","venue":null,"work_id":"ca6b55b1-c6d9-4d08-9832-36119d7ab756","year":2006},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:53.984205Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:36dcae736668fafcd1ee5350e17b84d10252c128083577689090a88f753bf946","observation_id":"177950d9-1668-497f-b3c6-57b2801f15b5","resolution":{"observed_at":"2026-08-06T15:30:56.712148Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:30:59.872141Z","title":"The groupoid interpretation of type theory","venue":null,"work_id":"ab4f4561-4ec3-4d27-b61a-646e8afd2a2d","year":1995},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:54.174965Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:b5cabe9a89e8e85e08b0e9baec528ca28603ef5b8acdb7e405cabe53e46f77d3","observation_id":"a6d71a58-1d00-40d7-b762-ce7089463d19","resolution":{"observed_at":"2026-08-06T15:30:59.966118Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2503.17319","last_updated":"2025-06-02T11:12:29Z","snapshot_observed_at":"2026-08-07T16:45:58.387613Z","submitted_at":"2025-03-21T17:13:40Z","title":"The algebraic internal groupoid model of Martin-L\\\"{o}f type theory","version":2},"cited_work":{"arxiv_id":"2503.17319","doi":"10.48550/arxiv.2503.17319","metadata_source":"pith","pith_arxiv_id":"2503.17319","snapshot_observed_at":"2026-08-06T18:16:30.548575Z","title":"The algebraic internal groupoid model of Martin-L\\\"{o}f type theory","venue":"math.CT","work_id":"6a1604b8-b292-4e43-bbcc-e7ecd0784b85","year":2025},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:54.323448Z"},"links":{"cited_paper":"/paper/2503.17319","citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:701c1f4361d1a392a2268d5047fa15b59834e466570d16a096a9eb3eb44c8bf5","observation_id":"acb1b3ee-7717-4048-b2df-8529bf6265b8","resolution":{"observed_at":"2026-08-06T15:30:56.543261Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1710.10238","last_updated":"2017-10-27T16:56:36Z","snapshot_observed_at":"2026-07-06T06:06:28.684685Z","submitted_at":"2017-10-27T16:56:36Z","title":"Notes on Clans and Tribes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1710.10238","snapshot_observed_at":"2026-08-06T15:30:54.480870Z","title":"Notes on Clans and Tribes","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:54.480870Z"},"links":{"cited_paper":"/paper/1710.10238","citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:9a089cd2ff35b9b4d42229cf1b250bd196b4b8dab341a80d8a198f1883140eb8","observation_id":"a7e0d8b7-787b-4beb-8cb3-4893df37fd5d","resolution":{"observed_at":"2026-08-06T15:30:54.480870Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:30:59.686232Z","title":"Realizability: a retrospective survey","venue":null,"work_id":"b305e6f1-3996-4e59-b9bc-87c65d13a07a","year":1971},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:54.634000Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:7fd97fdf903a6d6a9b7cbd60dcb150d550134801912c3025aecf0d1ea7158baf","observation_id":"d97cc258-0c64-4d04-8deb-cf3b0daf7d56","resolution":{"observed_at":"2026-08-06T15:30:59.768179Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:30:54.760585Z","title":"A 2-Categories Companion","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:54.760585Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:2938012c21b34ec3cad5f8745e6bce92043236e8f8bb6542f34d9f16749ff7b9","observation_id":"6f6c0e08-7b94-43b8-af16-834861ff01be","resolution":{"observed_at":"2026-08-06T15:30:54.760585Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"math/9810017","last_updated":"1998-10-04T13:53:00Z","snapshot_observed_at":"2026-08-02T15:59:39.827238Z","submitted_at":"1998-10-04T13:53:00Z","title":"Basic Bicategories","version":1},"cited_work":{"arxiv_id":"math/9810017","doi":null,"metadata_source":"pith","pith_arxiv_id":"math/9810017","snapshot_observed_at":"2026-08-06T15:30:57.593216Z","title":"Basic Bicategories","venue":"math.CT","work_id":"07873de1-02f7-4753-839b-f4630939e1e0","year":1998},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:54.870539Z"},"links":{"cited_paper":"/paper/math/9810017","citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:7bdb9677accfdcd60afc9b3cdd7fac99c31e3d342dcb195dc047b4ac894e1a2c","observation_id":"f99a0118-6187-4369-b7de-a959358f14a5","resolution":{"observed_at":"2026-08-06T15:30:57.672555Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/s0168-0072(00","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:30:56.233427Z","title":"Wellfounded trees in categories","venue":null,"work_id":"c4b2127c-cc8e-47f9-92f6-4a47805436b2","year":2000},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:55.022399Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:c0b15bc57daab2dd8994ba8a2e8c73e26cd22bcc8cef9a702c046817b4336faf","observation_id":"672494b1-a629-47d6-86a4-8c53f86af43c","resolution":{"observed_at":"2026-08-06T15:30:56.319050Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:30:59.412244Z","title":"Basic category theory","venue":null,"work_id":"d76f3717-aade-4d52-a47a-18465fd5f50a","year":1995},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:55.119496Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:d26e2ef65e31f5f05fcae7f01e5d589424ce95b24692ce2cce9741ed1354384f","observation_id":"71265dc3-c2de-4e54-820a-04894e158cc5","resolution":{"observed_at":"2026-08-06T15:30:59.546669Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:30:59.228234Z","title":"Realizability: an introduction to its categorical side","venue":null,"work_id":"88d93a6d-1411-4118-9a76-7feecbe910f2","year":2008},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:55.212293Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:9adefc6d0e9f3b92dc60c5c942003552ec1642d9b10217918e4ad7cfa0a74bab","observation_id":"b08ed082-884a-469e-92ca-6917abb19920","resolution":{"observed_at":"2026-08-06T15:30:59.310980Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:30:58.997450Z","title":"Algebraic model structures","venue":null,"work_id":"004cb41e-e802-4574-8df8-31d5b610ac8f","year":2011},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:55.291445Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:eb3aa7c294940d1ff4067e70a665f46e89fcb07e95adc02bd02232e051bd33a0","observation_id":"35eaafec-8506-44c7-b705-091351cbaf39","resolution":{"observed_at":"2026-08-06T15:30:59.090706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:30:58.732233Z","title":"Categorical Homotopy Theory","venue":null,"work_id":"b3a1dcd5-119d-4aa8-8d5a-067183633cad","year":2014},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:55.409877Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:a7048aca9b0cd7f09c722bee1d8f309529f992009a84c44fabbb7c385ecae9b1","observation_id":"c8c1b583-be17-4fde-ba7f-f667038f0bab","resolution":{"observed_at":"2026-08-06T15:30:58.897228Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:30:55.534139Z","title":"Modalities in homotopy type theory","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:55.534139Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:5f840b5edf87978fa9758c4d9da31d311ec76d4887c79fb58a36332c3aaff316","observation_id":"c9e0ed77-32c6-4d2b-8ba6-e626fb1011e5","resolution":{"observed_at":"2026-08-06T15:30:55.534139Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1904.07004","last_updated":"2019-04-26T18:58:14Z","snapshot_observed_at":"2026-07-06T07:46:06.039145Z","submitted_at":"2019-04-15T12:45:00Z","title":"All $(\\infty,1)$-toposes have strict univalent universes","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1904.07004","snapshot_observed_at":"2026-08-06T15:30:55.630284Z","title":"All (∞, 1)-toposes have strict univalent universes","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:55.630284Z"},"links":{"cited_paper":"/paper/1904.07004","citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:7bf3d03ff4796d5f1a95a98e430f3ac2a0c4f34ef1f0f92a791bc618fdb9d1b0","observation_id":"85a7bab1-c95f-4114-bf26-3505327a6886","resolution":{"observed_at":"2026-08-06T15:30:55.630284Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:30:58.426353Z","title":"Fibrations in bicategories","venue":null,"work_id":"f473bf91-97b6-4ce2-a535-9b0d8a0f8bae","year":1980},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:55.713324Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:3ffe65ce41571ffe802248130db0b3278655b19f67451125b36bcdffc7a9b509","observation_id":"c0dd0754-ea59-42db-aae3-5cf7de8aa033","resolution":{"observed_at":"2026-08-06T15:30:58.559826Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1802.07588","last_updated":"2018-02-21T14:38:55Z","snapshot_observed_at":"2026-07-06T06:24:34.702383Z","submitted_at":"2018-02-21T14:38:55Z","title":"W-Types with Reductions and the Small Object Argument","version":1},"cited_work":{"arxiv_id":"1802.07588","doi":null,"metadata_source":"pith","pith_arxiv_id":"1802.07588","snapshot_observed_at":"2026-08-06T15:30:57.391822Z","title":"W-Types with Reductions and the Small Object Argument","venue":"math.CT","work_id":"ad5c121a-d274-4c37-847d-cf00d6c3d566","year":2018},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:55.772025Z"},"links":{"cited_paper":"/paper/1802.07588","citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:c26c08513a526bf20050ea79fad2096200c651dbc2fc4d9fdc40f623656e6d96","observation_id":"7e415961-140b-41d7-8562-76158c4ba28a","resolution":{"observed_at":"2026-08-06T15:30:57.473306Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:30:55.836014Z","title":"Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Proposi- tional Resizing","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:55.836014Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:4d851b822c71df06416aab33fad172d0f3b57e83b875e52cfcbf8a02f1e64773","observation_id":"87482d38-0f48-4399-9a31-8b86506876b2","resolution":{"observed_at":"2026-08-06T15:30:55.836014Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T15:30:58.232778Z","title":"Polynomial functors and W-types for groupoids","venue":null,"work_id":"e9545889-0283-49d3-90fa-1ee7527af8bc","year":2018},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:55.916637Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:28a0611826bd474f3aabf832a095e14fcd0c1155cfa3bac9c8b2e38320f62aa4","observation_id":"ff27d7df-45f2-471e-b6b7-0961148681c5","resolution":{"observed_at":"2026-08-06T15:30:58.318268Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:30:58.045946Z","title":"The Origins and Motivations of Univalent Foundations: A Personal Mission to Develop Computer Proof Verification to Avoid Mathematical Mistakes","venue":null,"work_id":"f8cd5163-d4d2-4af8-be04-99f387fc6b68","year":null},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:56.033422Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:0178dc9db1c7331a355cbeadbc94369f79ad2bf2abab249b8f020a166eb0c065","observation_id":"5311a500-79cf-41c0-9f3f-e27cc6c8f4be","resolution":{"observed_at":"2026-08-06T15:30:58.134693Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-06T15:30:57.873630Z","title":"url: https://www.ias.edu/ideas/2014/voevodsky-origins","venue":null,"work_id":"1202577d-8840-495a-90b8-e55301668ed5","year":2014},"citing_paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies","version":1},"reference_index":2014,"source":"pdf_text","source_observed_at":"2026-08-06T15:30:56.098253Z"},"links":{"citing_paper":"/paper/2507.16062"},"observation_digest":"sha256:b984ef69223fd0c9cf1d88669efebd76db04046c8eae1e023cbe47f1e6c5bdb2","observation_id":"5da1173d-3a18-482c-b87a-b1b2699fac04","resolution":{"observed_at":"2026-08-06T15:30:57.945539Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.16062","last_updated":"2025-07-21T20:55:53Z","latest_version":1,"primary_category":"math.CT","snapshot_observed_at":"2026-08-06T15:16:52.291107Z","submitted_at":"2025-07-21T20:55:53Z","title":"A Model of Type Theory in Groupoid Assemblies"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":8,"verified_fuzzy":12},"total_outbound_references":31},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2507.16062."}