{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:QJINH7XSATPALG2GSTZS7VEB3F","short_pith_number":"pith:QJINH7XS","canonical_record":{"source":{"id":"2605.13102","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2026-05-13T07:13:51Z","cross_cats_sorted":[],"title_canon_sha256":"bcd5d061738c34eac1d658dd6637b11b02b205d0177b5da693474e4398bbfdb8","abstract_canon_sha256":"4ef9e20faf0f1b10d19793c96a45f221d1de3db6e2696219a5fd8a30ea52bb1a"},"schema_version":"1.0"},"canonical_sha256":"8250d3fef204de059b4694f32fd481d944e5514d161c0a6b061ff770d0d845d2","source":{"kind":"arxiv","id":"2605.13102","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13102","created_at":"2026-05-18T03:08:58Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13102v1","created_at":"2026-05-18T03:08:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13102","created_at":"2026-05-18T03:08:58Z"},{"alias_kind":"pith_short_12","alias_value":"QJINH7XSATPA","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"QJINH7XSATPALG2G","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"QJINH7XS","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:QJINH7XSATPALG2GSTZS7VEB3F","target":"record","payload":{"canonical_record":{"source":{"id":"2605.13102","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2026-05-13T07:13:51Z","cross_cats_sorted":[],"title_canon_sha256":"bcd5d061738c34eac1d658dd6637b11b02b205d0177b5da693474e4398bbfdb8","abstract_canon_sha256":"4ef9e20faf0f1b10d19793c96a45f221d1de3db6e2696219a5fd8a30ea52bb1a"},"schema_version":"1.0"},"canonical_sha256":"8250d3fef204de059b4694f32fd481d944e5514d161c0a6b061ff770d0d845d2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:08:58.252837Z","signature_b64":"pBON6M6PVNteMAePuv0LngVOn0G7OC4SZJXIdUH9xxTmmTtHsu+RqOokVYdGagXltMTN05Y2fJoz+ouDKLRoDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8250d3fef204de059b4694f32fd481d944e5514d161c0a6b061ff770d0d845d2","last_reissued_at":"2026-05-18T03:08:58.252031Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:08:58.252031Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.13102","source_version":1,"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-05-18T03:08:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SggAT/12a5rc3oiPZXzkpeLFmBnwclZt+g+TNJ1dEZU3y1ZgFYPVmGV4c+SLpPasIpATV7ezwbnKUJ+o25vVCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T06:47:12.168797Z"},"content_sha256":"0a1d494650fc7aef75a577f6ebb01e879af913f3dd3ba9a701fddb4edb2670dc","schema_version":"1.0","event_id":"sha256:0a1d494650fc7aef75a577f6ebb01e879af913f3dd3ba9a701fddb4edb2670dc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:QJINH7XSATPALG2GSTZS7VEB3F","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A philosophical history of infinitesimals","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Leibnizian infinitesimals can be formalized rigorously in a choice-free conservative extension of ZF set theory.","cross_cats":[],"primary_cat":"math.HO","authors_text":"Karl Kuhlemann, Mikhail G. Katz, Taras Kudryk, Vladimir Kanovei","submitted_at":"2026-05-13T07:13:51Z","abstract_excerpt":"We explore the issue of providing a foundational framework for Leibnizian infinitesimals in the light of modern standard and nonstandard approaches. We outline a trichotomy of ordinals, cardinals and ringinals as a historiographic tool. A ringinal is a concept of infinite number, arithmetic in nature, different from Cantor's transfinite ordinals and cardinals. The continuum is not necessarily identifiable with R; even if one seeks such an identification, infinitesimals are not ruled out. Analysis with unlimited numbers (via the predicate standard) is possible in a conservative extension of Zer"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We sketch a recent theory of infinitesimal analysis that formalizes Leibnizian definitions and heuristic principles while eschewing both the axiom of choice and ultrafilters, thus challenging received philosophical views on the nature of infinitesimals.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That the newly introduced concept of ringinals provides a coherent arithmetic framework for infinitesimals that integrates with a conservative extension of ZF without introducing inconsistencies or relying on unstated assumptions about the continuum.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Leibnizian infinitesimals can be formalized using ringinals in a conservative extension of ZF set theory without the axiom of choice or ultrafilters.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Leibnizian infinitesimals can be formalized rigorously in a choice-free conservative extension of ZF set theory.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"1046ac80d7cecff825ba53621cc6bb4ee890bf82aed93a3a1e7808970ba51cb9"},"source":{"id":"2605.13102","kind":"arxiv","version":1},"verdict":{"id":"ac3a50d4-e859-420e-90ce-f75f5d24c647","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-14T01:44:27.038346Z","strongest_claim":"We sketch a recent theory of infinitesimal analysis that formalizes Leibnizian definitions and heuristic principles while eschewing both the axiom of choice and ultrafilters, thus challenging received philosophical views on the nature of infinitesimals.","one_line_summary":"Leibnizian infinitesimals can be formalized using ringinals in a conservative extension of ZF set theory without the axiom of choice or ultrafilters.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That the newly introduced concept of ringinals provides a coherent arithmetic framework for infinitesimals that integrates with a conservative extension of ZF without introducing inconsistencies or relying on unstated assumptions about the continuum.","pith_extraction_headline":"Leibnizian infinitesimals can be formalized rigorously in a choice-free conservative extension of ZF set theory."},"references":{"count":139,"sample":[{"doi":"","year":2023,"title":"Gauss theorem and pointlike charges: When infinitesimals make the difference.The Physics Teacher61(2023), no","work_id":"697fb734-3699-44e5-b3e6-f6a27c6b0174","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2022,"title":"W.; Ferraro, Giovanni; Gray, Jeremy; Jesseph, Douglas; L¨ utzen, Jesper; Panza, Marco; Rabouin, David; Schubring, Gert","work_id":"6f202c7f-2a12-4de6-85ae-1147cfc9fa1a","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2024,"title":"On the unviability of interpreting Leib- niz’s infinitesimals through non-standard analysis.Historia Math.66(2024), 26–42","work_id":"40c9cfd0-98c1-43cb-9aa7-bec6c49dee52","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2024,"title":"On the failure of the correspondences al- leged between nonstandard analysis and Leibniz’s conception of infinitesimals (arxiv, in preparation)","work_id":"3d79c0cb-ab1e-41ab-a75a-fdcf90727640","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2018,"title":"The debate between Peletier and Clavius on superposi- tion.Historia Mathematica45(2018), no","work_id":"8aaffb3a-04d6-4eb7-94b0-66dc40995d01","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":139,"snapshot_sha256":"bcade8f04cf340ecef1f6ddb5b00b19ca42c40a5e064bc8a1a2fbfdc90bb72f0","internal_anchors":1},"formal_canon":{"evidence_count":2,"snapshot_sha256":"2430b9b881b66f7c5877e84b9852da94052fc22f058f3019144d451e8488a4fb"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"ac3a50d4-e859-420e-90ce-f75f5d24c647"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:08:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UbNJyOelMa1Y7zaLrtvlZPqiJT2v34PP4I2m2J5CTA+8AuWAh2smsqo+xg0Ms4Bx100RMDfjbqEJjH0j6Xd4DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T06:47:12.169465Z"},"content_sha256":"a1960b6b691d9e4d121a8ef0e5534f5b331525b3c125e6ea63d876822dac7753","schema_version":"1.0","event_id":"sha256:a1960b6b691d9e4d121a8ef0e5534f5b331525b3c125e6ea63d876822dac7753"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:QJINH7XSATPALG2GSTZS7VEB3F","target":"integrity","payload":{"note":"DOI '10.1142/9633' as printed in the bibliography is syntactically invalid and cannot resolve.","snippet":"Knobloch, Eberhard. Leibniz’s Parisian studies on infinitesimal mathemat- ics. InNavigating Across Mathematical Cultures and Times: Exploring the Diversity of Discoveries and Proofs. Ioannis M. Vandoulakis and Dun Liu, Eds. World Scientific","arxiv_id":"2605.13102","detector":"doi_compliance","evidence":{"ref_index":93,"raw_excerpt":"Knobloch, Eberhard. Leibniz’s Parisian studies on infinitesimal mathemat- ics. InNavigating Across Mathematical Cultures and Times: Exploring the Diversity of Discoveries and Proofs. Ioannis M. Vandoulakis and Dun Liu, Eds. World Scientific, 2025? (to appear). See summary athttps: //doi.org/10.1142/9633","verdict_class":"incontrovertible","doi_as_printed":"10.1142/9633"},"severity":"critical","ref_index":93,"audited_at":"2026-05-19T06:48:55.793069Z","event_type":"pith.integrity.v1","detected_doi":"10.1142/9633","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"broken_identifier","evidence_hash":"af0b71325586354da050b9cc518341c65d41ad1b4a8dac2cfb959319ab005d00","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":209,"payload_sha256":"d485586438a1b0ab39351d097608b715c971e3e29071bdf6f87cfd23b77b54b6","signature_b64":"XQoOaXDKeALaCzDmnSS0FhZ55d4O/mP7dw9chsX/Y9PzqnBSu9hi3S/N+PAyeDE/VKBI8ggv/6WoLWxrTGd4BA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-19T06:51:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x9tNo2lGGI+IwzkXubcWXIEn0egezD/p65ILDiDKth+F0ifwSP83GjBjfU7S9KE4tlY1PlBaLsW8whhrLY8CAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T06:47:12.170353Z"},"content_sha256":"fd59e404e77474320be1ac141372ac43cb307fc870c7ff5ca682b72f750393c0","schema_version":"1.0","event_id":"sha256:fd59e404e77474320be1ac141372ac43cb307fc870c7ff5ca682b72f750393c0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QJINH7XSATPALG2GSTZS7VEB3F/bundle.json","state_url":"https://pith.science/pith/QJINH7XSATPALG2GSTZS7VEB3F/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QJINH7XSATPALG2GSTZS7VEB3F/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-05-21T06:47:12Z","links":{"resolver":"https://pith.science/pith/QJINH7XSATPALG2GSTZS7VEB3F","bundle":"https://pith.science/pith/QJINH7XSATPALG2GSTZS7VEB3F/bundle.json","state":"https://pith.science/pith/QJINH7XSATPALG2GSTZS7VEB3F/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QJINH7XSATPALG2GSTZS7VEB3F/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:QJINH7XSATPALG2GSTZS7VEB3F","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"4ef9e20faf0f1b10d19793c96a45f221d1de3db6e2696219a5fd8a30ea52bb1a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2026-05-13T07:13:51Z","title_canon_sha256":"bcd5d061738c34eac1d658dd6637b11b02b205d0177b5da693474e4398bbfdb8"},"schema_version":"1.0","source":{"id":"2605.13102","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13102","created_at":"2026-05-18T03:08:58Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13102v1","created_at":"2026-05-18T03:08:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13102","created_at":"2026-05-18T03:08:58Z"},{"alias_kind":"pith_short_12","alias_value":"QJINH7XSATPA","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"QJINH7XSATPALG2G","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"QJINH7XS","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:a1960b6b691d9e4d121a8ef0e5534f5b331525b3c125e6ea63d876822dac7753","target":"graph","created_at":"2026-05-18T03:08:58Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"We sketch a recent theory of infinitesimal analysis that formalizes Leibnizian definitions and heuristic principles while eschewing both the axiom of choice and ultrafilters, thus challenging received philosophical views on the nature of infinitesimals."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That the newly introduced concept of ringinals provides a coherent arithmetic framework for infinitesimals that integrates with a conservative extension of ZF without introducing inconsistencies or relying on unstated assumptions about the continuum."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Leibnizian infinitesimals can be formalized using ringinals in a conservative extension of ZF set theory without the axiom of choice or ultrafilters."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Leibnizian infinitesimals can be formalized rigorously in a choice-free conservative extension of ZF set theory."}],"snapshot_sha256":"1046ac80d7cecff825ba53621cc6bb4ee890bf82aed93a3a1e7808970ba51cb9"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"2430b9b881b66f7c5877e84b9852da94052fc22f058f3019144d451e8488a4fb"},"paper":{"abstract_excerpt":"We explore the issue of providing a foundational framework for Leibnizian infinitesimals in the light of modern standard and nonstandard approaches. We outline a trichotomy of ordinals, cardinals and ringinals as a historiographic tool. A ringinal is a concept of infinite number, arithmetic in nature, different from Cantor's transfinite ordinals and cardinals. The continuum is not necessarily identifiable with R; even if one seeks such an identification, infinitesimals are not ruled out. Analysis with unlimited numbers (via the predicate standard) is possible in a conservative extension of Zer","authors_text":"Karl Kuhlemann, Mikhail G. Katz, Taras Kudryk, Vladimir Kanovei","cross_cats":[],"headline":"Leibnizian infinitesimals can be formalized rigorously in a choice-free conservative extension of ZF set theory.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2026-05-13T07:13:51Z","title":"A philosophical history of infinitesimals"},"references":{"count":139,"internal_anchors":1,"resolved_work":139,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Gauss theorem and pointlike charges: When infinitesimals make the difference.The Physics Teacher61(2023), no","work_id":"697fb734-3699-44e5-b3e6-f6a27c6b0174","year":2023},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"W.; Ferraro, Giovanni; Gray, Jeremy; Jesseph, Douglas; L¨ utzen, Jesper; Panza, Marco; Rabouin, David; Schubring, Gert","work_id":"6f202c7f-2a12-4de6-85ae-1147cfc9fa1a","year":2022},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"On the unviability of interpreting Leib- niz’s infinitesimals through non-standard analysis.Historia Math.66(2024), 26–42","work_id":"40c9cfd0-98c1-43cb-9aa7-bec6c49dee52","year":2024},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"On the failure of the correspondences al- leged between nonstandard analysis and Leibniz’s conception of infinitesimals (arxiv, in preparation)","work_id":"3d79c0cb-ab1e-41ab-a75a-fdcf90727640","year":2024},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"The debate between Peletier and Clavius on superposi- tion.Historia Mathematica45(2018), no","work_id":"8aaffb3a-04d6-4eb7-94b0-66dc40995d01","year":2018}],"snapshot_sha256":"bcade8f04cf340ecef1f6ddb5b00b19ca42c40a5e064bc8a1a2fbfdc90bb72f0"},"source":{"id":"2605.13102","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T01:44:27.038346Z","id":"ac3a50d4-e859-420e-90ce-f75f5d24c647","model_set":{"reader":"grok-4.3"},"one_line_summary":"Leibnizian infinitesimals can be formalized using ringinals in a conservative extension of ZF set theory without the axiom of choice or ultrafilters.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Leibnizian infinitesimals can be formalized rigorously in a choice-free conservative extension of ZF set theory.","strongest_claim":"We sketch a recent theory of infinitesimal analysis that formalizes Leibnizian definitions and heuristic principles while eschewing both the axiom of choice and ultrafilters, thus challenging received philosophical views on the nature of infinitesimals.","weakest_assumption":"That the newly introduced concept of ringinals provides a coherent arithmetic framework for infinitesimals that integrates with a conservative extension of ZF without introducing inconsistencies or relying on unstated assumptions about the continuum."}},"verdict_id":"ac3a50d4-e859-420e-90ce-f75f5d24c647"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:0a1d494650fc7aef75a577f6ebb01e879af913f3dd3ba9a701fddb4edb2670dc","target":"record","created_at":"2026-05-18T03:08:58Z","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":"4ef9e20faf0f1b10d19793c96a45f221d1de3db6e2696219a5fd8a30ea52bb1a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.HO","submitted_at":"2026-05-13T07:13:51Z","title_canon_sha256":"bcd5d061738c34eac1d658dd6637b11b02b205d0177b5da693474e4398bbfdb8"},"schema_version":"1.0","source":{"id":"2605.13102","kind":"arxiv","version":1}},"canonical_sha256":"8250d3fef204de059b4694f32fd481d944e5514d161c0a6b061ff770d0d845d2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8250d3fef204de059b4694f32fd481d944e5514d161c0a6b061ff770d0d845d2","first_computed_at":"2026-05-18T03:08:58.252031Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:08:58.252031Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"pBON6M6PVNteMAePuv0LngVOn0G7OC4SZJXIdUH9xxTmmTtHsu+RqOokVYdGagXltMTN05Y2fJoz+ouDKLRoDg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:08:58.252837Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.13102","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0a1d494650fc7aef75a577f6ebb01e879af913f3dd3ba9a701fddb4edb2670dc","sha256:a1960b6b691d9e4d121a8ef0e5534f5b331525b3c125e6ea63d876822dac7753","sha256:fd59e404e77474320be1ac141372ac43cb307fc870c7ff5ca682b72f750393c0"],"state_sha256":"23340571f359a0973c6838672fe6491439dc6c7c9c9eb9135cf23fdfb2403f72"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B3OvMUrYve/DLFuIWjONbrrKtKm+vXyKmpAxRH4+Xu/ueuy1kQrv6yh92+rtr9s3sS1t7Uqh7Isv6Qi9ci2fAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-21T06:47:12.172878Z","bundle_sha256":"45ca925dfc3f33e002417a7ae668c8d600bf90a3098ac0d46264b282942cbca6"}}