{"as_of":"2026-08-12T07:56:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:35687e4a50f391d1aea75c22201b4987e0ac505c6997707efae89597bcf7472c","coverage":[{"denominator":17,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T08:54:59.804109Z","state":"measured"},{"denominator":17,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":17,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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.29349/citation-record","integrity":"/paper/2607.29349/integrity","json":"/paper/2607.29349/citation-record.json","paper":"/paper/2607.29349"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-03T08:54:58.559022Z","title":"Birkhoff,On the structure of abstract algebras, Mathematical Proceedings of the Cambridge Philosophical Society,31(1935), 433–454","venue":null,"work_id":null,"year":1935},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:58.559022Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:d081f9fc8ee6114f834c1421f1e7f2dde890055da2945e3c839c6e53d9720e65","observation_id":"305bd111-8c59-4ae3-a2b5-2a40cabfd23d","resolution":{"observed_at":"2026-08-03T08:54:58.559022Z","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-03T08:54:58.633961Z","title":"Bishop,Foundations of Constructive Analysis, New York, McGraw-Hill, 1967","venue":null,"work_id":null,"year":1967},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:58.633961Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:1fc8a5cd456b04c14cdb0b4dc230aa7c5e2c16281a219e066ce10a67fa893498","observation_id":"ed22222c-68b4-4414-8ff5-23f945e7bd92","resolution":{"observed_at":"2026-08-03T08:54:58.633961Z","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-03T08:54:58.736463Z","title":"Bishop and D","venue":null,"work_id":null,"year":1985},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:58.736463Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:d9d1cd517dcadb5bf3f6c5398ef9874a8d7a59e5d9b3755445713b280f155e40","observation_id":"103fedaa-c54d-4c47-9513-50f483eb7a13","resolution":{"observed_at":"2026-08-03T08:54:58.736463Z","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-03T08:54:58.799759Z","title":null,"venue":null,"work_id":null,"year":1961},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:58.799759Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:e700f67ed91216fcd18c2cefe010cadf5b190fae3652546f73b9068e1b04506b","observation_id":"009a2aee-a171-42c1-ae4c-12d9643d38ed","resolution":{"observed_at":"2026-08-03T08:54:58.799759Z","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-03T08:54:58.885107Z","title":"Crvenković, M","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:58.885107Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:1f921ecaa24e4824e561dd0b84d9b25d5987f8a0e7501bf0c21775e3599760ff","observation_id":"2c9928ec-9b9d-4827-af1a-06371af14c23","resolution":{"observed_at":"2026-08-03T08:54:58.885107Z","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-03T08:54:58.988347Z","title":"Crvenković, M","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:58.988347Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:2926ed437bde313356bccfd29eda4fd1e2284bb08ddbbbdba81e48f9f9c73d88","observation_id":"81ad0a13-97ae-4307-ba97-91016cb6faad","resolution":{"observed_at":"2026-08-03T08:54:58.988347Z","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-03T08:54:59.060367Z","title":null,"venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:59.060367Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:f25b7e11b6bbc1b13b96697618632c07005c179550ae6ed2dbb1fca5aed30875","observation_id":"2583303e-4b5f-400f-af40-56ab4a3c2db3","resolution":{"observed_at":"2026-08-03T08:54:59.060367Z","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-03T08:54:59.145359Z","title":"de Moura and S","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:59.145359Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:29d9d10f2f20f8540a3126f797db14b062d198b8b68ca7eb6e7328baf3faf09c","observation_id":"8e76f6a3-9476-44ca-9f54-deb66d2b7088","resolution":{"observed_at":"2026-08-03T08:54:59.145359Z","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-03T08:54:59.197775Z","title":"Ishihara,Reverse mathematics in Bishop’s constructive mathematics, Philosophia Scientiae, Cahier spécial 6 (2006), 43–59","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:59.197775Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:ae083114da510ae8fd3c607f4a24e3b8917737f799ff53b3eb5fd2df8f4a06ab","observation_id":"16ddf561-bd36-4f14-a932-fbedfecbe439","resolution":{"observed_at":"2026-08-03T08:54:59.197775Z","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-03T08:54:59.281476Z","title":null,"venue":null,"work_id":null,"year":1964},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:59.281476Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:479d3485c9e70a227f2f5f4455938ee59eed9c8ce0090bbbdb51f64ec9dc54f0","observation_id":"4ebf8107-7671-4d70-b1f3-93a85a055b62","resolution":{"observed_at":"2026-08-03T08:54:59.281476Z","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-03T08:54:59.363060Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:59.363060Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:2bc8c6c1b1dfe0937e8084a592c54f01ee225f9b51959567bcbb7b82e34c29ed","observation_id":"76db3022-48f4-41a9-b160-3a90dfff09d6","resolution":{"observed_at":"2026-08-03T08:54:59.363060Z","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-03T08:54:59.448610Z","title":"Mitrović, M","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:59.448610Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:fc823e4376c5e95dcce787a2a283f64558ae3bfc4f29d9d52a27f4a624e4930f","observation_id":"17eaac20-b827-4fb5-9adc-725c88443a51","resolution":{"observed_at":"2026-08-03T08:54:59.448610Z","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-03T08:54:59.537517Z","title":"Spencer-Brown,Laws of Form, George Allen and Unwin, 1969","venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:59.537517Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:1e1628b68eac8e7b8d57da939c33b8a380f1bf53a44fd044d0e3d5123d48eb80","observation_id":"df164ccc-aafd-4583-93a6-ba905824b516","resolution":{"observed_at":"2026-08-03T08:54:59.537517Z","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-03T08:54:59.626824Z","title":"van Dalen,Logic and Structure, 5th ed., Universitext, Springer London, 2013","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:59.626824Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:02cfe342ab046119924fe33932fa77ab4ccddc85608f64cdd5c271c79311659d","observation_id":"4f6f79ba-a390-4c98-af2e-4c6de7bf5c45","resolution":{"observed_at":"2026-08-03T08:54:59.626824Z","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-03T08:54:59.695210Z","title":"Washburn, M","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:59.695210Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:0adf8311cfeba0a1c77ae77704d6591e85df94958761cfd575e2c7358a743a51","observation_id":"dda481d7-b687-46b8-92e9-c852ceb31063","resolution":{"observed_at":"2026-08-03T08:54:59.695210Z","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-03T08:54:59.742130Z","title":null,"venue":null,"work_id":null,"year":1965},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:59.742130Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:0233f297e2314df8bf61239af339d2ce80befe8e527c5d58cf636ebeb36a1407","observation_id":"8f7361b7-06d7-465c-bbfe-81198120bd94","resolution":{"observed_at":"2026-08-03T08:54:59.742130Z","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-03T08:54:59.804109Z","title":null,"venue":null,"work_id":null,"year":1992},"citing_paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-03T08:54:59.804109Z"},"links":{"citing_paper":"/paper/2607.29349"},"observation_digest":"sha256:12b5b7050ee7184a54d7b2cec18742561d5cdbbbf9323ec01a2bded3e945c1c7","observation_id":"452b44ac-eee1-44fe-a555-43e8d80486e3","resolution":{"observed_at":"2026-08-03T08:54:59.804109Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.29349","last_updated":"2026-07-31T12:35:05Z","latest_version":1,"primary_category":"math.LO","snapshot_observed_at":"2026-08-05T23:13:15.907024Z","submitted_at":"2026-07-31T12:35:05Z","title":"The $\\delta$-calculus: from distinction to arithmetic"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":17,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":17},"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 17 of 17 outbound references and 0 inbound Pith citation observations for arXiv:2607.29349."}