{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:62FFVHWIJI7D7UE7J4J6UYATUX","short_pith_number":"pith:62FFVHWI","canonical_record":{"source":{"id":"2405.06423","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2024-05-10T12:13:54Z","cross_cats_sorted":[],"title_canon_sha256":"055be5411de4579049e0dd265d93ac3386d42c23701984b6308f0c3eed47dd14","abstract_canon_sha256":"5b7522d1d29a99fd66215ad909a2687e095f835c94ed06f1ec651e75d725b121"},"schema_version":"1.0"},"canonical_sha256":"f68a5a9ec84a3e3fd09f4f13ea6013a5f074ffbcd71b0184a9c204692d601bab","source":{"kind":"arxiv","id":"2405.06423","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.06423","created_at":"2026-07-05T11:49:31Z"},{"alias_kind":"arxiv_version","alias_value":"2405.06423v2","created_at":"2026-07-05T11:49:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.06423","created_at":"2026-07-05T11:49:31Z"},{"alias_kind":"pith_short_12","alias_value":"62FFVHWIJI7D","created_at":"2026-07-05T11:49:31Z"},{"alias_kind":"pith_short_16","alias_value":"62FFVHWIJI7D7UE7","created_at":"2026-07-05T11:49:31Z"},{"alias_kind":"pith_short_8","alias_value":"62FFVHWI","created_at":"2026-07-05T11:49:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:62FFVHWIJI7D7UE7J4J6UYATUX","target":"record","payload":{"canonical_record":{"source":{"id":"2405.06423","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2024-05-10T12:13:54Z","cross_cats_sorted":[],"title_canon_sha256":"055be5411de4579049e0dd265d93ac3386d42c23701984b6308f0c3eed47dd14","abstract_canon_sha256":"5b7522d1d29a99fd66215ad909a2687e095f835c94ed06f1ec651e75d725b121"},"schema_version":"1.0"},"canonical_sha256":"f68a5a9ec84a3e3fd09f4f13ea6013a5f074ffbcd71b0184a9c204692d601bab","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:49:31.320265Z","signature_b64":"x87qxwrwzsrMgPSUEf9DW0J6fF5/Y4pGFqpNEd87xQZy95xqC/3KYuPONkhGFbA9Upo31OjB2Bm4IpGKqWSNCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f68a5a9ec84a3e3fd09f4f13ea6013a5f074ffbcd71b0184a9c204692d601bab","last_reissued_at":"2026-07-05T11:49:31.319812Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:49:31.319812Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.06423","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:49:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P8LZR+YB+/WtRzKWu338Qhygu6gm7n/IAqdS8O2k/6sAnNrFkFpO/TwzlQ3zcav9/27B6L3FM3gTVQgUbTneCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T11:46:44.407675Z"},"content_sha256":"3a82397de087117a8bc5d6f85717acca43b41b1fd0299d944d49c32ce264454e","schema_version":"1.0","event_id":"sha256:3a82397de087117a8bc5d6f85717acca43b41b1fd0299d944d49c32ce264454e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:62FFVHWIJI7D7UE7J4J6UYATUX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A blueprint for the formalization of Carleson's theorem on convergence of Fourier series","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CA","authors_text":"Asgar Jamneshan, Christoph Thiele, Edward van de Meent, Evgenia Karunus, Floris van Doorn, James Sundstrom, Jasper Mulder-Sohn, Jeremy Tan, Jim Portegies, Joris Roos, Lars Becker, Leo Diedering, Mar\\'ia In\\'es de Frutos-Fern\\'andez, Michael Rothgang, Pietro Monticone, Rajula Srivastava, S\\'ebastien Gou\\\"ezel","submitted_at":"2024-05-10T12:13:54Z","abstract_excerpt":"This paper is the blueprint underlying the Lean formalization of the proof of Carleson's classical result asserting almost everywhere convergence of Fourier series of continuous functions. We break up the proof into two steps, a reduction of the classical result to a new theorem that appears in a sibling communication and a proof of this new theorem, which is also detailed as blueprint in this paper. An early version of this blueprint was used to initiate the Lean formalization. During the formalization, many contributors elaborated the blueprint with minor corrections, modifications and exten"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.06423","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2405.06423/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:49:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ou5duA86XimHo9wyltjXUevlG93F/wO0yBo/mvZCGTtm96z6qgGET02MExnOAxnJtvrr26PpXojmN9TRHc0YDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T11:46:44.408623Z"},"content_sha256":"2820a5bac42ff3a34ace0974788f010300ffe1834b53cffb2b752ada5f48eea2","schema_version":"1.0","event_id":"sha256:2820a5bac42ff3a34ace0974788f010300ffe1834b53cffb2b752ada5f48eea2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/62FFVHWIJI7D7UE7J4J6UYATUX/bundle.json","state_url":"https://pith.science/pith/62FFVHWIJI7D7UE7J4J6UYATUX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/62FFVHWIJI7D7UE7J4J6UYATUX/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-14T11:46:44Z","links":{"resolver":"https://pith.science/pith/62FFVHWIJI7D7UE7J4J6UYATUX","bundle":"https://pith.science/pith/62FFVHWIJI7D7UE7J4J6UYATUX/bundle.json","state":"https://pith.science/pith/62FFVHWIJI7D7UE7J4J6UYATUX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/62FFVHWIJI7D7UE7J4J6UYATUX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:62FFVHWIJI7D7UE7J4J6UYATUX","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"5b7522d1d29a99fd66215ad909a2687e095f835c94ed06f1ec651e75d725b121","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2024-05-10T12:13:54Z","title_canon_sha256":"055be5411de4579049e0dd265d93ac3386d42c23701984b6308f0c3eed47dd14"},"schema_version":"1.0","source":{"id":"2405.06423","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.06423","created_at":"2026-07-05T11:49:31Z"},{"alias_kind":"arxiv_version","alias_value":"2405.06423v2","created_at":"2026-07-05T11:49:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.06423","created_at":"2026-07-05T11:49:31Z"},{"alias_kind":"pith_short_12","alias_value":"62FFVHWIJI7D","created_at":"2026-07-05T11:49:31Z"},{"alias_kind":"pith_short_16","alias_value":"62FFVHWIJI7D7UE7","created_at":"2026-07-05T11:49:31Z"},{"alias_kind":"pith_short_8","alias_value":"62FFVHWI","created_at":"2026-07-05T11:49:31Z"}],"graph_snapshots":[{"event_id":"sha256:2820a5bac42ff3a34ace0974788f010300ffe1834b53cffb2b752ada5f48eea2","target":"graph","created_at":"2026-07-05T11:49:31Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2405.06423/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper is the blueprint underlying the Lean formalization of the proof of Carleson's classical result asserting almost everywhere convergence of Fourier series of continuous functions. We break up the proof into two steps, a reduction of the classical result to a new theorem that appears in a sibling communication and a proof of this new theorem, which is also detailed as blueprint in this paper. An early version of this blueprint was used to initiate the Lean formalization. During the formalization, many contributors elaborated the blueprint with minor corrections, modifications and exten","authors_text":"Asgar Jamneshan, Christoph Thiele, Edward van de Meent, Evgenia Karunus, Floris van Doorn, James Sundstrom, Jasper Mulder-Sohn, Jeremy Tan, Jim Portegies, Joris Roos, Lars Becker, Leo Diedering, Mar\\'ia In\\'es de Frutos-Fern\\'andez, Michael Rothgang, Pietro Monticone, Rajula Srivastava, S\\'ebastien Gou\\\"ezel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2024-05-10T12:13:54Z","title":"A blueprint for the formalization of Carleson's theorem on convergence of Fourier series"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.06423","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:3a82397de087117a8bc5d6f85717acca43b41b1fd0299d944d49c32ce264454e","target":"record","created_at":"2026-07-05T11:49:31Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"5b7522d1d29a99fd66215ad909a2687e095f835c94ed06f1ec651e75d725b121","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CA","submitted_at":"2024-05-10T12:13:54Z","title_canon_sha256":"055be5411de4579049e0dd265d93ac3386d42c23701984b6308f0c3eed47dd14"},"schema_version":"1.0","source":{"id":"2405.06423","kind":"arxiv","version":2}},"canonical_sha256":"f68a5a9ec84a3e3fd09f4f13ea6013a5f074ffbcd71b0184a9c204692d601bab","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f68a5a9ec84a3e3fd09f4f13ea6013a5f074ffbcd71b0184a9c204692d601bab","first_computed_at":"2026-07-05T11:49:31.319812Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:49:31.319812Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"x87qxwrwzsrMgPSUEf9DW0J6fF5/Y4pGFqpNEd87xQZy95xqC/3KYuPONkhGFbA9Upo31OjB2Bm4IpGKqWSNCA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:49:31.320265Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.06423","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3a82397de087117a8bc5d6f85717acca43b41b1fd0299d944d49c32ce264454e","sha256:2820a5bac42ff3a34ace0974788f010300ffe1834b53cffb2b752ada5f48eea2"],"state_sha256":"681632feb9cf75844ec62f29ede926fb10fe00e55ccc5f2c3fc3d937187bf433"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oU2g4Yc+RdSwgqmmUSSFvlU4V8SyXzKSh1JShpBMjCCXwz5ETOnjyiLyJ/+0Pr8zd4M8T6dD6/3wmiDzwvlpDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T11:46:44.475976Z","bundle_sha256":"4b011926423c59b590baeaa798b877616431c58aa1baa6512d1c961a2e9652ee"}}