{"as_of":"2026-08-10T19:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b4d64698ddb7d02cec7f808ad101c3025752df17d54b8894744150508f30a342","coverage":[{"denominator":0,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":3,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":3,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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-04T01:26:36.988957Z","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":[{"citation":{"cited_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-07T15:44:53.162358Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.10761","snapshot_observed_at":"2026-07-13T02:07:13.177982Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09564","last_updated":"2026-07-13T09:19:53Z","snapshot_observed_at":"2026-08-10T18:29:02.676920Z","submitted_at":"2026-07-10T16:10:31Z","title":"Bidirectional Elaborators \\`a la Carte","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-13T02:07:13.177982Z"},"links":{"cited_paper":"/paper/2505.10761","citing_paper":"/paper/2607.09564"},"observation_digest":"sha256:52a8afbdc31d31fa6c2e42b1771713c5f2ecdc28269a8b003bb6849c925c38d6","observation_id":"7854471a-1fe8-4b94-b028-8b5860668216","resolution":{"observed_at":"2026-07-13T02:07:13.177982Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-07T15:44:53.162358Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.10761","snapshot_observed_at":"2026-07-14T15:11:21.386241Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.09564","last_updated":"2026-07-13T09:19:53Z","snapshot_observed_at":"2026-08-10T18:29:02.676920Z","submitted_at":"2026-07-10T16:10:31Z","title":"Bidirectional Elaborators \\`a la Carte","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-14T15:11:21.386241Z"},"links":{"cited_paper":"/paper/2505.10761","citing_paper":"/paper/2607.09564"},"observation_digest":"sha256:aa930695656a96d8653485d74360e899ac08761e3560c4104e6ebae546b1f2ab","observation_id":"7be01fa5-281d-4742-a441-a90a2df19f92","resolution":{"observed_at":"2026-07-14T15:11:21.386241Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","snapshot_observed_at":"2026-08-07T15:44:53.162358Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.10761","snapshot_observed_at":"2026-08-04T01:26:36.988957Z","title":"Algebraic T ype Theory , Part 1: Martin-Löf algebras","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2608.00095","last_updated":"2026-07-30T16:57:50Z","snapshot_observed_at":"2026-08-06T23:11:52.848029Z","submitted_at":"2026-07-30T16:57:50Z","title":"Internal Algebraic Type Theory","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-04T01:26:36.988957Z"},"links":{"cited_paper":"/paper/2505.10761","citing_paper":"/paper/2608.00095"},"observation_digest":"sha256:77429e5ea208a05a53abbf62be0936d61c9556501e4a992918f1a21de662d832","observation_id":"3e269514-6856-4e63-842b-9870b50749c7","resolution":{"observed_at":"2026-08-04T01:26:36.988957Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2505.10761/citation-record","integrity":"/paper/2505.10761/integrity","json":"/paper/2505.10761/citation-record.json","paper":"/paper/2505.10761"},"outbound":[],"paper":{"arxiv_id":"2505.10761","last_updated":"2025-05-16T00:20:07Z","latest_version":1,"primary_category":"math.CT","snapshot_observed_at":"2026-08-07T15:44:53.162358Z","submitted_at":"2025-05-16T00:20:07Z","title":"Algebraic Type Theory, Part 1: Martin-L\\\"of algebras"},"reference_resolution":{"displayed":0,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":0,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":0},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 3 inbound Pith citation observations for arXiv:2505.10761."}