{"as_of":"2026-08-12T14:21:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fe66fb437fc48f809dc1dcdafc10ac49206aa42bd898fe7497c8bd49aa39f84b","coverage":[{"denominator":9,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":9,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T22:05:33.529758Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+00:00","state":"measured"},{"denominator":3,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":3,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T18:37:40.707674Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-22T02:25:56.270106Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2506.23935","last_updated":"2025-06-30T15:04:16Z","snapshot_observed_at":"2026-08-07T06:17:54.425948Z","submitted_at":"2025-06-30T15:04:16Z","title":"Extending conceptual completeness via virtual ultracategories","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.23935","snapshot_observed_at":"2026-08-06T18:37:40.707674Z","title":"Extending conceptual completeness via virtual ultracategories","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.07922","last_updated":"2026-06-08T14:12:07Z","snapshot_observed_at":"2026-08-07T07:44:28.774698Z","submitted_at":"2025-07-10T17:03:04Z","title":"Generalised ultracategories and conceptual completeness of geometric logic","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T18:37:40.707674Z"},"links":{"cited_paper":"/paper/2506.23935","citing_paper":"/paper/2507.07922"},"observation_digest":"sha256:556d499ae9a4b3c9d2909ce71aa8c2e12c3630d57d3e13021d08ce4cfb277260","observation_id":"1c9b6e4f-65dc-4263-bba5-adafdb662542","resolution":{"observed_at":"2026-08-06T18:37:40.707674Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.23935","last_updated":"2025-06-30T15:04:16Z","snapshot_observed_at":"2026-08-07T06:17:54.425948Z","submitted_at":"2025-06-30T15:04:16Z","title":"Extending conceptual completeness via virtual ultracategories","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.23935","snapshot_observed_at":"2026-08-05T21:03:18.653854Z","title":"Topological representations of distributive lattices and Brouwerian logics","venue":null,"work_id":null,"year":1937},"citing_paper":{"arxiv_id":"2508.09602","last_updated":"2025-08-13T08:34:58Z","snapshot_observed_at":"2026-08-07T07:46:03.073357Z","submitted_at":"2025-08-13T08:34:58Z","title":"A Lightweight Learned Cardinality Estimation Model","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T21:03:18.653854Z"},"links":{"cited_paper":"/paper/2506.23935","citing_paper":"/paper/2508.09602"},"observation_digest":"sha256:d4f012445a666c1d51f5bec04d0f3527d5293c2f620db417a19aa00d79dff094","observation_id":"1470b4de-a811-4062-8e26-dfbbc849051b","resolution":{"observed_at":"2026-08-05T21:03:18.653854Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2506.23935","last_updated":"2025-06-30T15:04:16Z","snapshot_observed_at":"2026-08-07T06:17:54.425948Z","submitted_at":"2025-06-30T15:04:16Z","title":"Extending conceptual completeness via virtual ultracategories","version":1},"cited_work":{"arxiv_id":"2506.23935","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2506.23935","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv preprint arXiv:2506.23935 , year=","venue":null,"work_id":"9cda8b3b-d88c-45ef-8058-7b9af3e5bc01","year":null},"citing_paper":{"arxiv_id":"2605.22071","last_updated":"2026-05-21T07:09:50Z","snapshot_observed_at":"2026-07-06T23:32:25.286443Z","submitted_at":"2026-05-21T07:09:50Z","title":"Duality theory for categorical theories","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-05-22T02:24:42.151629Z"},"links":{"cited_paper":"/paper/2506.23935","citing_paper":"/paper/2605.22071"},"observation_digest":"sha256:d132963bd2efa72484cd3112b1289028d5d0a46c89e7a2c29f4ea9e4c2495bb7","observation_id":"03b729e8-fbc6-4567-a906-ce37f411642c","resolution":{"observed_at":"2026-05-22T02:25:56.272831Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2506.23935/citation-record","integrity":"/paper/2506.23935/integrity","json":"/paper/2506.23935/citation-record.json","paper":"/paper/2506.23935"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/2000984","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"The classifying topos of a continuous groupoid. I","venue":"Transactions of the American Mathematical Society","work_id":"dd23c54a-44e0-4b31-94fe-26f30a3b12a3","year":1988},"citing_paper":{"arxiv_id":"2506.23935","last_updated":"2025-06-30T15:04:16Z","snapshot_observed_at":"2026-08-07T06:17:54.425948Z","submitted_at":"2025-06-30T15:04:16Z","title":"Extending conceptual completeness via virtual ultracategories","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T22:05:33.368980Z"},"links":{"citing_paper":"/paper/2506.23935"},"observation_digest":"sha256:77fd418830a34fedf9b328b914491c8ad74ed99f4204467e1e4aa8f8a6696028","observation_id":"b6ecb050-b78b-4ab3-b686-27ae7fd33aca","resolution":{"observed_at":"2026-08-06T22:05:33.738537Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"0907.2460","last_updated":"2010-12-09T03:10:24Z","snapshot_observed_at":"2026-08-02T18:40:15.398476Z","submitted_at":"2009-07-14T21:56:20Z","title":"A unified framework for generalized multicategories","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"0907.2460","snapshot_observed_at":"2026-08-06T22:05:32.969947Z","title":"Exact functors and measurable cardinals","venue":null,"work_id":null,"year":1976},"citing_paper":{"arxiv_id":"2506.23935","last_updated":"2025-06-30T15:04:16Z","snapshot_observed_at":"2026-08-07T06:17:54.425948Z","submitted_at":"2025-06-30T15:04:16Z","title":"Extending conceptual completeness via virtual ultracategories","version":1},"reference_index":1970,"source":"pdf_text","source_observed_at":"2026-08-06T22:05:32.969947Z"},"links":{"cited_paper":"/paper/0907.2460","citing_paper":"/paper/2506.23935"},"observation_digest":"sha256:7fbef26721a7ca2a0a4c619faa5571b13064bb8f4d8f343abc7d49f34726218c","observation_id":"1be5ea89-9c8b-4d5d-9bd4-9ad9b434230c","resolution":{"observed_at":"2026-08-06T22:05:32.969947Z","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-06T22:05:34.406354Z","title":"Functors which preserve elementary operations","venue":null,"work_id":"0b66d42c-539d-4ba5-964c-5b529a995ba5","year":1971},"citing_paper":{"arxiv_id":"2506.23935","last_updated":"2025-06-30T15:04:16Z","snapshot_observed_at":"2026-08-07T06:17:54.425948Z","submitted_at":"2025-06-30T15:04:16Z","title":"Extending conceptual completeness via virtual ultracategories","version":1},"reference_index":1977,"source":"pdf_text","source_observed_at":"2026-08-06T22:05:33.160318Z"},"links":{"citing_paper":"/paper/2506.23935"},"observation_digest":"sha256:afc4303b70e81739a1db1f5c2df18f55306e5a386509f93712176619676caebe","observation_id":"d7f11119-83f0-42e4-bb65-e00c10c573bc","resolution":{"observed_at":"2026-08-06T22:05:34.439292Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-06T22:05:33.195329Z","title":"Beck’s theorem for pseudo-monads","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2506.23935","last_updated":"2025-06-30T15:04:16Z","snapshot_observed_at":"2026-08-07T06:17:54.425948Z","submitted_at":"2025-06-30T15:04:16Z","title":"Extending conceptual completeness via virtual ultracategories","version":1},"reference_index":2010,"source":"pdf_text","source_observed_at":"2026-08-06T22:05:33.195329Z"},"links":{"citing_paper":"/paper/2506.23935"},"observation_digest":"sha256:a37df662a49303fdcc28a91750e65e63a31de6835b200b6704e01c30cab21fe9","observation_id":"40a3bc19-e6a7-4650-bf25-984281e5f00b","resolution":{"observed_at":"2026-08-06T22:05:33.195329Z","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-06T22:05:34.271171Z","title":"Stone duality for first order logic","venue":null,"work_id":"482a8e00-1660-4c72-9691-c230dc7380a9","year":1987},"citing_paper":{"arxiv_id":"2506.23935","last_updated":"2025-06-30T15:04:16Z","snapshot_observed_at":"2026-08-07T06:17:54.425948Z","submitted_at":"2025-06-30T15:04:16Z","title":"Extending conceptual completeness via virtual ultracategories","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-06T22:05:33.283099Z"},"links":{"citing_paper":"/paper/2506.23935"},"observation_digest":"sha256:cdd637ebf03063d44f235d935243b75a8d1d4e8137898df34c57f2e366cc4709","observation_id":"6af5900a-4d44-476b-8dd1-41538a864dff","resolution":{"observed_at":"2026-08-06T22:05:34.311212Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2211.03104","last_updated":"2022-11-06T13:05:07Z","snapshot_observed_at":"2026-07-06T14:14:57.954649Z","submitted_at":"2022-11-06T13:05:07Z","title":"The geometry of Coherent topoi and Ultrastructures","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.03104","snapshot_observed_at":"2026-08-06T22:05:33.011093Z","title":"Towards higher topology","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.23935","last_updated":"2025-06-30T15:04:16Z","snapshot_observed_at":"2026-08-07T06:17:54.425948Z","submitted_at":"2025-06-30T15:04:16Z","title":"Extending conceptual completeness via virtual ultracategories","version":1},"reference_index":2022,"source":"pdf_text","source_observed_at":"2026-08-06T22:05:33.011093Z"},"links":{"cited_paper":"/paper/2211.03104","citing_paper":"/paper/2506.23935"},"observation_digest":"sha256:77726389222fa46e9567cba45f05356be922699debf66b64a719bdd394ebe4b5","observation_id":"a06d48cb-e9d1-431e-ac25-90f7d1156d1a","resolution":{"observed_at":"2026-08-06T22:05:33.011093Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2306.16331","last_updated":"2024-08-27T07:23:24Z","snapshot_observed_at":"2026-08-12T12:24:00.099318Z","submitted_at":"2023-06-28T16:08:29Z","title":"On topological groupoids that represent theories","version":2},"cited_work":{"arxiv_id":"2306.16331","doi":null,"metadata_source":"pith","pith_arxiv_id":"2306.16331","snapshot_observed_at":"2026-08-06T22:05:33.829629Z","title":"On topological groupoids that represent theories","venue":"math.CT","work_id":"b7e69baf-522c-4073-b12c-37248dd29484","year":2023},"citing_paper":{"arxiv_id":"2506.23935","last_updated":"2025-06-30T15:04:16Z","snapshot_observed_at":"2026-08-07T06:17:54.425948Z","submitted_at":"2025-06-30T15:04:16Z","title":"Extending conceptual completeness via virtual ultracategories","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-06T22:05:33.529758Z"},"links":{"cited_paper":"/paper/2306.16331","citing_paper":"/paper/2506.23935"},"observation_digest":"sha256:cb36dc448409e50d31f4973098da6a424deccffe81a554f895242c11a475e683","observation_id":"ec91aa26-d735-4ab7-8de1-246b2566425d","resolution":{"observed_at":"2026-08-06T22:05:33.861254Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1404.7630","last_updated":"2014-11-05T20:38:23Z","snapshot_observed_at":"2026-07-06T03:42:27.031233Z","submitted_at":"2014-04-30T08:35:41Z","title":"Proper base change for separated locally proper maps","version":2},"cited_work":{"arxiv_id":"1404.7630","doi":null,"metadata_source":"pith","pith_arxiv_id":"1404.7630","snapshot_observed_at":"2026-08-06T22:05:33.935889Z","title":"Proper base change for separated locally proper maps","venue":"math.AT","work_id":"caa46da6-1465-4c50-b4f6-9a6e88fc2990","year":2014},"citing_paper":{"arxiv_id":"2506.23935","last_updated":"2025-06-30T15:04:16Z","snapshot_observed_at":"2026-08-07T06:17:54.425948Z","submitted_at":"2025-06-30T15:04:16Z","title":"Extending conceptual completeness via virtual ultracategories","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-06T22:05:33.441599Z"},"links":{"cited_paper":"/paper/1404.7630","citing_paper":"/paper/2506.23935"},"observation_digest":"sha256:d9578a8f21814508300f2c983cb310283786104861b17444fd16a153654833a8","observation_id":"0de58ee2-55fc-4990-b433-774da16a4eff","resolution":{"observed_at":"2026-08-06T22:05:34.017619Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.20597","last_updated":"2025-08-24T01:24:42Z","snapshot_observed_at":"2026-08-07T17:41:24.421276Z","submitted_at":"2025-02-27T23:55:14Z","title":"Ultracategories as colax algebras for a pseudo-monad on CAT","version":3},"cited_work":{"arxiv_id":"2502.20597","doi":null,"metadata_source":"pith","pith_arxiv_id":"2502.20597","snapshot_observed_at":"2026-08-06T22:05:34.108686Z","title":"Ultracategories as colax algebras for a pseudo-monad on CAT","venue":"math.CT","work_id":"c1ad1642-6d94-46a6-8d16-1e2ff06e5035","year":2025},"citing_paper":{"arxiv_id":"2506.23935","last_updated":"2025-06-30T15:04:16Z","snapshot_observed_at":"2026-08-07T06:17:54.425948Z","submitted_at":"2025-06-30T15:04:16Z","title":"Extending conceptual completeness via virtual ultracategories","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-06T22:05:33.083348Z"},"links":{"cited_paper":"/paper/2502.20597","citing_paper":"/paper/2506.23935"},"observation_digest":"sha256:8438c8f8c67666fc3b02d962490b02c8a656a0a8e0723369c61362c2d8bfcb3b","observation_id":"b7e2cb47-1b38-4af8-b582-c0ecc60f5052","resolution":{"observed_at":"2026-08-06T22:05:34.150802Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.23935","last_updated":"2025-06-30T15:04:16Z","latest_version":1,"primary_category":"math.CT","snapshot_observed_at":"2026-08-07T06:17:54.425948Z","submitted_at":"2025-06-30T15:04:16Z","title":"Extending conceptual completeness via virtual ultracategories"},"reference_resolution":{"displayed":9,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":3,"verified_exact":2,"verified_fuzzy":2},"total_outbound_references":9},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 12 August 2026, this Paper Citation Record lists 9 of 9 outbound references and 3 inbound Pith citation observations for arXiv:2506.23935."}