{"as_of":"2026-08-20T15:24:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3eaab9e166f4cf66b5db57588e95425409f10788d7786d804544daf642746fc1","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":6,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":6,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+00:00","state":"measured"},{"denominator":6,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":6,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T19:54:11.627549Z","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-07-04T14:59:55.467255Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2405.06423","last_updated":"2025-08-06T15:24:21Z","snapshot_observed_at":"2026-08-20T15:22:11.015349Z","submitted_at":"2024-05-10T12:13:54Z","title":"A blueprint for the formalization of Carleson's theorem on convergence of Fourier series","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.06423","snapshot_observed_at":"2026-08-06T19:54:11.627549Z","title":"Carleson operators on doubling metric measure spaces","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.04467","last_updated":"2025-07-06T17:11:44Z","snapshot_observed_at":"2026-08-20T15:23:36.545268Z","submitted_at":"2025-07-06T17:11:44Z","title":"The Bilinear Hilbert-Carleson operator along curves. The purely non-zero curvature case","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T19:54:11.627549Z"},"links":{"cited_paper":"/paper/2405.06423","citing_paper":"/paper/2507.04467"},"observation_digest":"sha256:678f8195c3f7079fec70956516bb463816b1b428d2dc0b1980d87f7e01b6e505","observation_id":"a3789468-f315-47fd-a9bb-8d5035b3453b","resolution":{"observed_at":"2026-08-06T19:54:11.627549Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06423","last_updated":"2025-08-06T15:24:21Z","snapshot_observed_at":"2026-08-20T15:22:11.015349Z","submitted_at":"2024-05-10T12:13:54Z","title":"A blueprint for the formalization of Carleson's theorem on convergence of Fourier series","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.06423","snapshot_observed_at":"2026-08-03T12:15:20.919275Z","title":"Becker, M","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2601.03999","last_updated":"2026-07-28T10:01:18Z","snapshot_observed_at":"2026-08-13T09:18:03.496764Z","submitted_at":"2026-01-07T15:09:13Z","title":"Quantitative Polynomial Wiener-Wintner Theorems","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-03T12:15:20.919275Z"},"links":{"cited_paper":"/paper/2405.06423","citing_paper":"/paper/2601.03999"},"observation_digest":"sha256:26bda3c1b4b7296c7f3c535bf7b971c31a9e07b3fce24cc692105515031bd9e8","observation_id":"dfe544b4-0e09-4337-bd60-5e97182eda25","resolution":{"observed_at":"2026-08-03T12:15:20.919275Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06423","last_updated":"2025-08-06T15:24:21Z","snapshot_observed_at":"2026-08-20T15:22:11.015349Z","submitted_at":"2024-05-10T12:13:54Z","title":"A blueprint for the formalization of Carleson's theorem on convergence of Fourier series","version":2},"cited_work":{"arxiv_id":"2405.06423","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06423","snapshot_observed_at":"2026-07-04T14:59:55.467255Z","title":"Carleson Operators on Doubling Metric Measure Spaces","venue":null,"work_id":"9c02fca6-ca63-4f28-9c34-5e958f6f90ce","year":2024},"citing_paper":{"arxiv_id":"2602.24273","last_updated":"2026-05-14T16:23:55Z","snapshot_observed_at":"2026-08-15T04:03:37.203141Z","submitted_at":"2026-02-27T18:43:47Z","title":"A Minimal Agent for Automated Theorem Proving","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-15T18:44:35.600033Z"},"links":{"cited_paper":"/paper/2405.06423","citing_paper":"/paper/2602.24273"},"observation_digest":"sha256:ed14c592d68749fad3696cbbe211d1d6885445bc8ae66766d7a0476adcac175b","observation_id":"438020bf-0efb-4cd7-888b-4dccb85126b3","resolution":{"observed_at":"2026-05-15T18:46:29.354679Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06423","last_updated":"2025-08-06T15:24:21Z","snapshot_observed_at":"2026-08-20T15:22:11.015349Z","submitted_at":"2024-05-10T12:13:54Z","title":"A blueprint for the formalization of Carleson's theorem on convergence of Fourier series","version":2},"cited_work":{"arxiv_id":"2405.06423","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06423","snapshot_observed_at":"2026-07-04T14:59:55.467255Z","title":"Carleson Operators on Doubling Metric Measure Spaces","venue":null,"work_id":"9c02fca6-ca63-4f28-9c34-5e958f6f90ce","year":2024},"citing_paper":{"arxiv_id":"2606.05400","last_updated":"2026-06-03T20:09:39Z","snapshot_observed_at":"2026-08-09T05:03:29.602227Z","submitted_at":"2026-06-03T20:09:39Z","title":"LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-28T05:48:56.691155Z"},"links":{"cited_paper":"/paper/2405.06423","citing_paper":"/paper/2606.05400"},"observation_digest":"sha256:a48c9ff07ce156d79d129237bd48f985fa065246ab4f3f77280eabc043c8627b","observation_id":"91dbe2f9-6623-4ed7-8e40-dc8db0b2d186","resolution":{"observed_at":"2026-07-02T08:36:48.787827Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06423","last_updated":"2025-08-06T15:24:21Z","snapshot_observed_at":"2026-08-20T15:22:11.015349Z","submitted_at":"2024-05-10T12:13:54Z","title":"A blueprint for the formalization of Carleson's theorem on convergence of Fourier series","version":2},"cited_work":{"arxiv_id":"2405.06423","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2405.06423","snapshot_observed_at":"2026-07-04T14:59:55.467255Z","title":"Carleson Operators on Doubling Metric Measure Spaces","venue":null,"work_id":"9c02fca6-ca63-4f28-9c34-5e958f6f90ce","year":2024},"citing_paper":{"arxiv_id":"2606.27219","last_updated":"2026-06-25T16:07:54Z","snapshot_observed_at":"2026-08-15T04:04:17.153241Z","submitted_at":"2026-06-25T16:07:54Z","title":"On the resonant Carleson-Radon transform in all dimensions. The degree one resonant case","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-26T02:03:17.311621Z"},"links":{"cited_paper":"/paper/2405.06423","citing_paper":"/paper/2606.27219"},"observation_digest":"sha256:08912e254b66145448fd4ea9d2d69d4a782192e579aa547c10bbba5a7c0c771c","observation_id":"89287c00-f6c9-4785-ada2-fb6032559268","resolution":{"observed_at":"2026-07-04T14:59:55.468825Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06423","last_updated":"2025-08-06T15:24:21Z","snapshot_observed_at":"2026-08-20T15:22:11.015349Z","submitted_at":"2024-05-10T12:13:54Z","title":"A blueprint for the formalization of Carleson's theorem on convergence of Fourier series","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.06423","snapshot_observed_at":"2026-08-02T07:47:56.448427Z","title":"Becker, M","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-18T04:58:26.153819Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:56.448427Z"},"links":{"cited_paper":"/paper/2405.06423","citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:c4fbf1b210bbc3db444dcfd71f09d6d02ca4a922cec7b1a052c13be57dd817db","observation_id":"ccebd665-b0ed-4c88-a922-894d5ce65ce9","resolution":{"observed_at":"2026-08-02T07:47:56.448427Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2405.06423/citation-record","integrity":"/paper/2405.06423/integrity","json":"/paper/2405.06423/citation-record.json","paper":"/paper/2405.06423"},"outbound":[],"paper":{"arxiv_id":"2405.06423","last_updated":"2025-08-06T15:24:21Z","latest_version":2,"primary_category":"math.CA","snapshot_observed_at":"2026-08-20T15:22:11.015349Z","submitted_at":"2024-05-10T12:13:54Z","title":"A blueprint for the formalization of Carleson's theorem on convergence of Fourier series"},"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-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 20 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 6 inbound Pith citation observations for arXiv:2405.06423."}