{"as_of":"2026-08-14T18:18:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:c2f6fd89cff6b496a2ff2c08c00581a8aca6325319cbf0014f043b0538a6b1b9","coverage":[{"denominator":5,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":5,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T22:49:22.404181Z","state":"measured"},{"denominator":5,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":5,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-14T06:32:32.682623+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/2506.20909/citation-record","integrity":"/paper/2506.20909/integrity","json":"/paper/2506.20909/citation-record.json","paper":"/paper/2506.20909"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2014.70538","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:49:23.157150Z","title":"Reduction of an arbitrary dio- phantine equation to one in 13 unknowns","venue":null,"work_id":"21fbe007-2904-4270-96cb-b3cb6568c2d4","year":1975},"citing_paper":{"arxiv_id":"2506.20909","last_updated":"2025-06-30T02:22:49Z","snapshot_observed_at":"2026-08-13T19:37:52.476913Z","submitted_at":"2025-06-26T00:30:24Z","title":"Diophantine Equations over $\\mathbb Z$: Universal Bounds and Parallel Formalization","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T22:49:22.277897Z"},"links":{"citing_paper":"/paper/2506.20909"},"observation_digest":"sha256:287b447e145d1e991cb504f3fa659ea00ca5f3030d9693889e859b865f9b36f9","observation_id":"842d8607-4aaf-482e-aa89-abd577a30c64","resolution":{"observed_at":"2026-08-06T22:49:23.239499Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1802.01795","last_updated":"2018-02-06T04:47:19Z","snapshot_observed_at":"2026-08-10T06:06:01.410052Z","submitted_at":"2018-02-06T04:47:19Z","title":"A Lean formalization of Matiyasevi\\v{c}'s Theorem","version":1},"cited_work":{"arxiv_id":"1802.01795","doi":"10.48550/arxiv.1802.01795","metadata_source":"pith","pith_arxiv_id":"1802.01795","snapshot_observed_at":"2026-08-07T06:16:28.064256Z","title":"A Lean formalization of Matiyasevi\\v{c}'s Theorem","venue":"math.LO","work_id":"dc37354e-a55c-4e15-b370-a0fbb5c5b76f","year":2018},"citing_paper":{"arxiv_id":"2506.20909","last_updated":"2025-06-30T02:22:49Z","snapshot_observed_at":"2026-08-13T19:37:52.476913Z","submitted_at":"2025-06-26T00:30:24Z","title":"Diophantine Equations over $\\mathbb Z$: Universal Bounds and Parallel Formalization","version":2},"reference_index":251,"source":"pdf_text","source_observed_at":"2026-08-06T22:49:22.001426Z"},"links":{"cited_paper":"/paper/1802.01795","citing_paper":"/paper/2506.20909"},"observation_digest":"sha256:05d24adc5e55fdebded1117486f42fecea90cec9a99a6e087c2ba17f4482d24f","observation_id":"5fb251ab-4b3c-4f98-bdd6-966d6c0a2a83","resolution":{"observed_at":"2026-08-06T22:49:22.679678Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.fscd","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T22:49:23.703420Z","title":"On the multiple solutions of the Pell equation","venue":null,"work_id":"0ebd19a1-c6ba-42f7-a18b-637c1d3d5c0f","year":1928},"citing_paper":{"arxiv_id":"2506.20909","last_updated":"2025-06-30T02:22:49Z","snapshot_observed_at":"2026-08-13T19:37:52.476913Z","submitted_at":"2025-06-26T00:30:24Z","title":"Diophantine Equations over $\\mathbb Z$: Universal Bounds and Parallel Formalization","version":2},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-06T22:49:22.109752Z"},"links":{"citing_paper":"/paper/2506.20909"},"observation_digest":"sha256:0355e44356c127e1b25e7cc3c9b56d25a8492c778177e3983490aea0f76003fd","observation_id":"68b8f42e-9586-4ed0-927c-2ceebbbf0dc1","resolution":{"observed_at":"2026-08-06T22:49:23.830973Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-06T22:49:23.397672Z","title":null,"venue":null,"work_id":"0bf65bb0-2a5f-4356-895e-6944af36cf53","year":null},"citing_paper":{"arxiv_id":"2506.20909","last_updated":"2025-06-30T02:22:49Z","snapshot_observed_at":"2026-08-13T19:37:52.476913Z","submitted_at":"2025-06-26T00:30:24Z","title":"Diophantine Equations over $\\mathbb Z$: Universal Bounds and Parallel Formalization","version":2},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-06T22:49:22.404181Z"},"links":{"citing_paper":"/paper/2506.20909"},"observation_digest":"sha256:e3ae40c4ddd955d8891001f3ca1687b8162648d47ebd092046093848898038cb","observation_id":"5ba31437-749f-4f2a-82f3-fa592b101ebe","resolution":{"observed_at":"2026-08-06T22:49:23.532531Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.48550/arxiv.2505.16963","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"The QED Manifesto","venue":"arXiv (Cornell University)","work_id":"3396e5ff-0d7f-4b7d-98d2-0f58814e3727","year":2025},"citing_paper":{"arxiv_id":"2506.20909","last_updated":"2025-06-30T02:22:49Z","snapshot_observed_at":"2026-08-13T19:37:52.476913Z","submitted_at":"2025-06-26T00:30:24Z","title":"Diophantine Equations over $\\mathbb Z$: Universal Bounds and Parallel Formalization","version":2},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-06T22:49:21.848567Z"},"links":{"citing_paper":"/paper/2506.20909"},"observation_digest":"sha256:64540bc6561a852cc168acec65a38bbf86bc4bfa885c19393ac3071dac63d770","observation_id":"d807a3bc-99b7-41a9-bf23-76971418df6b","resolution":{"observed_at":"2026-08-06T22:49:22.962867Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.20909","last_updated":"2025-06-30T02:22:49Z","latest_version":2,"primary_category":"math.NT","snapshot_observed_at":"2026-08-13T19:37:52.476913Z","submitted_at":"2025-06-26T00:30:24Z","title":"Diophantine Equations over $\\mathbb Z$: Universal Bounds and Parallel Formalization"},"reference_resolution":{"displayed":5,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":1,"verified_exact":2,"verified_fuzzy":0},"total_outbound_references":5},"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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 14 August 2026, this Paper Citation Record lists 5 of 5 outbound references and 0 inbound Pith citation observations for arXiv:2506.20909."}