{"as_of":"2026-08-14T14:23:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:5b589374533fe85ab1cc3c3592c97697b96b0340469339c6fedd4fe4805b3670","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-14T06:32:32.682623+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-13T00:10:18.621636Z","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-11T23:56:22.757630Z","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:ca8b0c42a27417698f1830d10da10224d3854b81d509932f40f4300f9fdeefab","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-13T00:10:18.621636Z","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:5648a59a50f94d60b0202123cb6ed177095cae8d6e335c364f313abf5d06cf50","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-13T00:10:18.621636Z","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-14T00:24:06.265998Z","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:5684a2f4f7a0c97b61e565ef4ef901ad49a9b265339d6816edcf1767ed6a4ffe","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-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":"2405.06423","last_updated":"2025-08-06T15:24:21Z","snapshot_observed_at":"2026-08-13T00:10:18.621636Z","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:2115e2179268d640649eda9c7ce92345cca3795c6add6d98e2cd22345b476711","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-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":"2405.06423","last_updated":"2025-08-06T15:24:21Z","snapshot_observed_at":"2026-08-13T00:10:18.621636Z","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-13T05:06:44.122407Z","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:77759fe5c3b94061b1173727b822a1c168151f667d0e0f5e2189e3815c9d4df9","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-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":"2405.06423","last_updated":"2025-08-06T15:24:21Z","snapshot_observed_at":"2026-08-13T00:10:18.621636Z","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-14T07:16:03.238887Z","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:270fc32715596a652bf1f27a0310712ed2aa2c3f648bb01dd04d45e399591730","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-13T00:10:18.621636Z","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-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 0 of 0 outbound references and 6 inbound Pith citation observations for arXiv:2405.06423."}