{"as_of":"2026-08-14T20:52:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b4b1dc63ad3dcadb0d9b34a74f52b97d329a995f4e59b011d615633e510c98c8","coverage":[{"denominator":4,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":4,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T04:37:20.797340Z","state":"measured"},{"denominator":4,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":4,"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/2608.08643/citation-record","integrity":"/paper/2608.08643/integrity","json":"/paper/2608.08643/citation-record.json","paper":"/paper/2608.08643"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:37:20.888447Z","title":"de Moura and S","venue":null,"work_id":"0c5e993c-bb09-4723-bc70-4754156cf231","year":2021},"citing_paper":{"arxiv_id":"2608.08643","last_updated":"2026-08-09T11:30:49Z","snapshot_observed_at":"2026-08-14T14:57:45.941914Z","submitted_at":"2026-08-09T11:30:49Z","title":"The set of primes is supernatural: a Lean formalization of the statement of the conjecture","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T04:37:20.780182Z"},"links":{"citing_paper":"/paper/2608.08643"},"observation_digest":"sha256:9855777020975366f8f4c769b4a529d54da826cc294da6a2b514143141c5e6cd","observation_id":"7c308fb3-a666-4767-b9e0-c585e44062dd","resolution":{"observed_at":"2026-08-14T04:37:20.893634Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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-14T04:37:20.870277Z","title":null,"venue":null,"work_id":"fe4e3b9f-25bf-4cf1-89e4-52bcbbff8f99","year":2020},"citing_paper":{"arxiv_id":"2608.08643","last_updated":"2026-08-09T11:30:49Z","snapshot_observed_at":"2026-08-14T14:57:45.941914Z","submitted_at":"2026-08-09T11:30:49Z","title":"The set of primes is supernatural: a Lean formalization of the statement of the conjecture","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T04:37:20.786302Z"},"links":{"citing_paper":"/paper/2608.08643"},"observation_digest":"sha256:2f2fb1a648c7a7bdfdf63f9edf6382c5585b48d31208e2d934df875428e7bbf5","observation_id":"54d20a52-cae2-4794-9fa9-9ecf617e1e12","resolution":{"observed_at":"2026-08-14T04:37:20.875545Z","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.7546/crabs.2025.11.01","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:37:20.832186Z","title":"Mayeux,Conjecture: the set of prime numbers is supernatural, Proceed- ings of the Bulgarian Academy of Sciences78(2025), no","venue":null,"work_id":"d2c909b0-5b6d-4fd8-9220-2337368b17ff","year":2025},"citing_paper":{"arxiv_id":"2608.08643","last_updated":"2026-08-09T11:30:49Z","snapshot_observed_at":"2026-08-14T14:57:45.941914Z","submitted_at":"2026-08-09T11:30:49Z","title":"The set of primes is supernatural: a Lean formalization of the statement of the conjecture","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T04:37:20.791355Z"},"links":{"citing_paper":"/paper/2608.08643"},"observation_digest":"sha256:eafa7df50c1e9541c9ec746f37d0de76e12c9ff28858a3426cb2c587162a26cf","observation_id":"646aae31-a39f-4e17-bbdd-18f89e177e4c","resolution":{"observed_at":"2026-08-14T04:37:20.839994Z","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"}},{"citation":{"cited_paper":{"arxiv_id":"2606.03835","last_updated":"2026-06-16T07:48:56Z","snapshot_observed_at":"2026-08-04T10:39:36.091474Z","submitted_at":"2026-06-02T16:17:30Z","title":"Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.03835","snapshot_observed_at":"2026-08-14T04:37:20.797340Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2608.08643","last_updated":"2026-08-09T11:30:49Z","snapshot_observed_at":"2026-08-14T14:57:45.941914Z","submitted_at":"2026-08-09T11:30:49Z","title":"The set of primes is supernatural: a Lean formalization of the statement of the conjecture","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T04:37:20.797340Z"},"links":{"cited_paper":"/paper/2606.03835","citing_paper":"/paper/2608.08643"},"observation_digest":"sha256:5d6da4713a51ba7809d7ea6acefd3432b1d2244d2459ec022eca5b1265feaf08","observation_id":"7056b03f-2b73-483a-ad34-1c86c87facc5","resolution":{"observed_at":"2026-08-14T04:37:20.797340Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.08643","last_updated":"2026-08-09T11:30:49Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-14T14:57:45.941914Z","submitted_at":"2026-08-09T11:30:49Z","title":"The set of primes is supernatural: a Lean formalization of the statement of the conjecture"},"reference_resolution":{"displayed":4,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":1,"verified_fuzzy":1},"total_outbound_references":4},"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 4 of 4 outbound references and 0 inbound Pith citation observations for arXiv:2608.08643."}