{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:PAHCUCRSJZQ2WTS7XI7XRMQGTE","short_pith_number":"pith:PAHCUCRS","canonical_record":{"source":{"id":"2604.19000","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-04-21T02:36:55Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1bdc7a8ecc11b40c48a710c351f1747b7ca44d78cf188b8e815737495f427a98","abstract_canon_sha256":"0771252b613443b591a4b0ea76ac9ee6d1dcc071b509ac1662029896a9322d93"},"schema_version":"1.0"},"canonical_sha256":"780e2a0a324e61ab4e5fba3f78b206992146480e0a42a990e3c50d1710ee44db","source":{"kind":"arxiv","id":"2604.19000","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.19000","created_at":"2026-05-25T02:01:20Z"},{"alias_kind":"arxiv_version","alias_value":"2604.19000v2","created_at":"2026-05-25T02:01:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.19000","created_at":"2026-05-25T02:01:20Z"},{"alias_kind":"pith_short_12","alias_value":"PAHCUCRSJZQ2","created_at":"2026-05-25T02:01:20Z"},{"alias_kind":"pith_short_16","alias_value":"PAHCUCRSJZQ2WTS7","created_at":"2026-05-25T02:01:20Z"},{"alias_kind":"pith_short_8","alias_value":"PAHCUCRS","created_at":"2026-05-25T02:01:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:PAHCUCRSJZQ2WTS7XI7XRMQGTE","target":"record","payload":{"canonical_record":{"source":{"id":"2604.19000","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-04-21T02:36:55Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1bdc7a8ecc11b40c48a710c351f1747b7ca44d78cf188b8e815737495f427a98","abstract_canon_sha256":"0771252b613443b591a4b0ea76ac9ee6d1dcc071b509ac1662029896a9322d93"},"schema_version":"1.0"},"canonical_sha256":"780e2a0a324e61ab4e5fba3f78b206992146480e0a42a990e3c50d1710ee44db","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-25T02:01:20.768607Z","signature_b64":"sBCESh/jbqAB3jmytp3XA5FnjAqz/l+UJFFRzumzJ1/r5LOMdouCMO+3ZgWLwTooC0TAO2rhP6og/X/JTsXUAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"780e2a0a324e61ab4e5fba3f78b206992146480e0a42a990e3c50d1710ee44db","last_reissued_at":"2026-05-25T02:01:20.767917Z","signature_status":"signed_v1","first_computed_at":"2026-05-25T02:01:20.767917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2604.19000","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-05-25T02:01:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uSLBBea7U2CX2Qf7dpAEbkMK7ytRl8TDVePqF3K1XnTt+IC7W3QJBIrRVK+PlAU9o6BMHvlwoizQPKyeUNCWAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:02:23.321449Z"},"content_sha256":"031dd88492111e65a4802fdf1562ad355ae0d9cbf8c91e6a97877ecf15dcde53","schema_version":"1.0","event_id":"sha256:031dd88492111e65a4802fdf1562ad355ae0d9cbf8c91e6a97877ecf15dcde53"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:PAHCUCRSJZQ2WTS7XI7XRMQGTE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees","license":"http://creativecommons.org/licenses/by/4.0/","headline":"A neuro-symbolic framework improves autoformalization by mapping statements to operator trees for targeted error repair.","cross_cats":["cs.AI"],"primary_cat":"cs.LG","authors_text":"Tao Luo, Xiaoyang Liu, Yantao Li, Yifan Bai, Yuntian Liu, Zineng Dong","submitted_at":"2026-04-21T02:36:55Z","abstract_excerpt":"Statement autoformalization acts as a critical bridge between human mathematics and formal mathematics by translating natural language problems into formal language. While prior works have focused on data synthesis and diverse training paradigms to optimize end-to-end Large Language Models (LLMs), they typically treat formal code as flat sequences, neglecting the hierarchical logic inherent in mathematical statements. In this work, we introduce Decompose, Structure, and Repair (DSR), a neuro-symbolic framework that restructures autoformalization into a modular pipeline. DSR decomposes statemen"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"DSR establishes a new state-of-the-art, consistently outperforming baselines under equivalent computational budgets.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"That mapping natural-language statements to structured operator trees enables precise localization and repair of errors via sub-tree refinement, as stated in the abstract description of the framework.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"DSR restructures autoformalization as a decompose-structure-repair process using operator trees and achieves new state-of-the-art results on the introduced PRIME benchmark of 156 theorems.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"A neuro-symbolic framework improves autoformalization by mapping statements to operator trees for targeted error repair.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"0db490bf8bb29c46b82c2317d0b75d5cb0fbb9f81fca63f4851c4fead1f7a45f"},"source":{"id":"2604.19000","kind":"arxiv","version":2},"verdict":{"id":"d07a099f-c483-4acf-87ae-86168c352e22","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-10T02:46:40.079196Z","strongest_claim":"DSR establishes a new state-of-the-art, consistently outperforming baselines under equivalent computational budgets.","one_line_summary":"DSR restructures autoformalization as a decompose-structure-repair process using operator trees and achieves new state-of-the-art results on the introduced PRIME benchmark of 156 theorems.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"That mapping natural-language statements to structured operator trees enables precise localization and repair of errors via sub-tree refinement, as stated in the abstract description of the framework.","pith_extraction_headline":"A neuro-symbolic framework improves autoformalization by mapping statements to operator trees for targeted error repair."},"integrity":{"clean":false,"summary":{"advisory":1,"critical":0,"by_detector":{"doi_compliance":{"total":1,"advisory":1,"critical":0,"informational":0}},"informational":0},"endpoint":"/pith/2604.19000/integrity.json","findings":[{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1109/TPAMI.2002.1046157.Zhang) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detector":"doi_compliance","severity":"advisory","ref_index":2,"audited_at":"2026-05-20T03:25:21.230693Z","detected_doi":"10.1109/TPAMI.2002.1046157.Zhang","finding_type":"recoverable_identifier","verdict_class":"incontrovertible","detected_arxiv_id":null}],"available":true,"detectors_run":[{"name":"doi_compliance","ran_at":"2026-05-20T03:25:21.230693Z","status":"completed","version":"1.0.0","findings_count":1}],"snapshot_sha256":"1ed9d77e6492ae853472770e2cb273457402a3298f199753b77631357016ac57"},"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":"d07a099f-c483-4acf-87ae-86168c352e22"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-25T02:01:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rtd3XrTyz5/WnAbhvzHSTpTldyZisvRZGlvjL6D7KTod+MF94Sjzpas5FLpPVZh5ilvYSUgqLdS/PzO0BLiYDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:02:23.322374Z"},"content_sha256":"7af10c6b56bf4736ee989a3766a24825579b8019d9d4efe0cf727fe659174165","schema_version":"1.0","event_id":"sha256:7af10c6b56bf4736ee989a3766a24825579b8019d9d4efe0cf727fe659174165"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:PAHCUCRSJZQ2WTS7XI7XRMQGTE","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1109/TPAMI.2002.1046157.Zhang) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"URL https://openreview.net/forum? id=Z2El1U94bq. Kristianto, G. Y ., Topic, G., and Aizawa, A. Mcat math retrieval system for ntcir-12 mathir task. InNTCIR, 2016. 9 Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformal","arxiv_id":"2604.19000","detector":"doi_compliance","evidence":{"ref_index":2,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"URL https://openreview.net/forum? id=Z2El1U94bq. Kristianto, G. Y ., Topic, G., and Aizawa, A. Mcat math retrieval system for ntcir-12 mathir task. InNTCIR, 2016. 9 Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformal","reconstructed_doi":"10.1109/TPAMI.2002.1046157.Zhang"},"severity":"advisory","ref_index":2,"audited_at":"2026-05-20T03:25:21.230693Z","event_type":"pith.integrity.v1","detected_doi":"10.1109/TPAMI.2002.1046157.Zhang","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"e1b4ab25b5f6f892ebd9c7cb7ddd4c2ce603b58df7baa527ef835e87900fe462","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":4542,"payload_sha256":"18cdc1fb84fbcc33ecf7be085192445e483f99cdd250688f0977ce71c7c5a090","signature_b64":"SJCm3ZxxclIPq9z0HgUhDnh4AVG+jM3aEt3xwZhrm9nTp80+Tol1XMAuVwcW6aOFiMxDW2zzLu8dxD/0+LZHDQ==","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-20T03:27:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YXjZOBPfC6dEyiebbEe5e/q2nnyOlBra1HGQRMMOlZEU73lxJP8WaOHtIKGO2vVGz3/8zPvb/l/BVHrNZLSOBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T03:02:23.323996Z"},"content_sha256":"7e4347979d75e47b7f431fa72919bd93d7ac0d1cbd4a66a743466db0e1126eaf","schema_version":"1.0","event_id":"sha256:7e4347979d75e47b7f431fa72919bd93d7ac0d1cbd4a66a743466db0e1126eaf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PAHCUCRSJZQ2WTS7XI7XRMQGTE/bundle.json","state_url":"https://pith.science/pith/PAHCUCRSJZQ2WTS7XI7XRMQGTE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PAHCUCRSJZQ2WTS7XI7XRMQGTE/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-26T03:02:23Z","links":{"resolver":"https://pith.science/pith/PAHCUCRSJZQ2WTS7XI7XRMQGTE","bundle":"https://pith.science/pith/PAHCUCRSJZQ2WTS7XI7XRMQGTE/bundle.json","state":"https://pith.science/pith/PAHCUCRSJZQ2WTS7XI7XRMQGTE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PAHCUCRSJZQ2WTS7XI7XRMQGTE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:PAHCUCRSJZQ2WTS7XI7XRMQGTE","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":"0771252b613443b591a4b0ea76ac9ee6d1dcc071b509ac1662029896a9322d93","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-04-21T02:36:55Z","title_canon_sha256":"1bdc7a8ecc11b40c48a710c351f1747b7ca44d78cf188b8e815737495f427a98"},"schema_version":"1.0","source":{"id":"2604.19000","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2604.19000","created_at":"2026-05-25T02:01:20Z"},{"alias_kind":"arxiv_version","alias_value":"2604.19000v2","created_at":"2026-05-25T02:01:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2604.19000","created_at":"2026-05-25T02:01:20Z"},{"alias_kind":"pith_short_12","alias_value":"PAHCUCRSJZQ2","created_at":"2026-05-25T02:01:20Z"},{"alias_kind":"pith_short_16","alias_value":"PAHCUCRSJZQ2WTS7","created_at":"2026-05-25T02:01:20Z"},{"alias_kind":"pith_short_8","alias_value":"PAHCUCRS","created_at":"2026-05-25T02:01:20Z"}],"graph_snapshots":[{"event_id":"sha256:7af10c6b56bf4736ee989a3766a24825579b8019d9d4efe0cf727fe659174165","target":"graph","created_at":"2026-05-25T02:01:20Z","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":"DSR establishes a new state-of-the-art, consistently outperforming baselines under equivalent computational budgets."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"That mapping natural-language statements to structured operator trees enables precise localization and repair of errors via sub-tree refinement, as stated in the abstract description of the framework."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"DSR restructures autoformalization as a decompose-structure-repair process using operator trees and achieves new state-of-the-art results on the introduced PRIME benchmark of 156 theorems."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"A neuro-symbolic framework improves autoformalization by mapping statements to operator trees for targeted error repair."}],"snapshot_sha256":"0db490bf8bb29c46b82c2317d0b75d5cb0fbb9f81fca63f4851c4fead1f7a45f"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":false,"detectors_run":[{"findings_count":1,"name":"doi_compliance","ran_at":"2026-05-20T03:25:21.230693Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2604.19000/integrity.json","findings":[{"audited_at":"2026-05-20T03:25:21.230693Z","detected_arxiv_id":null,"detected_doi":"10.1109/TPAMI.2002.1046157.Zhang","detector":"doi_compliance","finding_type":"recoverable_identifier","note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1109/TPAMI.2002.1046157.Zhang) was visible in the surrounding text but could not be confirmed against doi.org as printed.","ref_index":2,"severity":"advisory","verdict_class":"incontrovertible"}],"snapshot_sha256":"1ed9d77e6492ae853472770e2cb273457402a3298f199753b77631357016ac57","summary":{"advisory":1,"by_detector":{"doi_compliance":{"advisory":1,"critical":0,"informational":0,"total":1}},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Statement autoformalization acts as a critical bridge between human mathematics and formal mathematics by translating natural language problems into formal language. While prior works have focused on data synthesis and diverse training paradigms to optimize end-to-end Large Language Models (LLMs), they typically treat formal code as flat sequences, neglecting the hierarchical logic inherent in mathematical statements. In this work, we introduce Decompose, Structure, and Repair (DSR), a neuro-symbolic framework that restructures autoformalization into a modular pipeline. DSR decomposes statemen","authors_text":"Tao Luo, Xiaoyang Liu, Yantao Li, Yifan Bai, Yuntian Liu, Zineng Dong","cross_cats":["cs.AI"],"headline":"A neuro-symbolic framework improves autoformalization by mapping statements to operator trees for targeted error repair.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-04-21T02:36:55Z","title":"Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2604.19000","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-10T02:46:40.079196Z","id":"d07a099f-c483-4acf-87ae-86168c352e22","model_set":{"reader":"grok-4.3"},"one_line_summary":"DSR restructures autoformalization as a decompose-structure-repair process using operator trees and achieves new state-of-the-art results on the introduced PRIME benchmark of 156 theorems.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"A neuro-symbolic framework improves autoformalization by mapping statements to operator trees for targeted error repair.","strongest_claim":"DSR establishes a new state-of-the-art, consistently outperforming baselines under equivalent computational budgets.","weakest_assumption":"That mapping natural-language statements to structured operator trees enables precise localization and repair of errors via sub-tree refinement, as stated in the abstract description of the framework."}},"verdict_id":"d07a099f-c483-4acf-87ae-86168c352e22"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:031dd88492111e65a4802fdf1562ad355ae0d9cbf8c91e6a97877ecf15dcde53","target":"record","created_at":"2026-05-25T02:01:20Z","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":"0771252b613443b591a4b0ea76ac9ee6d1dcc071b509ac1662029896a9322d93","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-04-21T02:36:55Z","title_canon_sha256":"1bdc7a8ecc11b40c48a710c351f1747b7ca44d78cf188b8e815737495f427a98"},"schema_version":"1.0","source":{"id":"2604.19000","kind":"arxiv","version":2}},"canonical_sha256":"780e2a0a324e61ab4e5fba3f78b206992146480e0a42a990e3c50d1710ee44db","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"780e2a0a324e61ab4e5fba3f78b206992146480e0a42a990e3c50d1710ee44db","first_computed_at":"2026-05-25T02:01:20.767917Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-25T02:01:20.767917Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sBCESh/jbqAB3jmytp3XA5FnjAqz/l+UJFFRzumzJ1/r5LOMdouCMO+3ZgWLwTooC0TAO2rhP6og/X/JTsXUAA==","signature_status":"signed_v1","signed_at":"2026-05-25T02:01:20.768607Z","signed_message":"canonical_sha256_bytes"},"source_id":"2604.19000","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7e4347979d75e47b7f431fa72919bd93d7ac0d1cbd4a66a743466db0e1126eaf","sha256:031dd88492111e65a4802fdf1562ad355ae0d9cbf8c91e6a97877ecf15dcde53","sha256:7af10c6b56bf4736ee989a3766a24825579b8019d9d4efe0cf727fe659174165"],"state_sha256":"5778a8e912cfc5595cfb729340dd4d53220c210262979e660ccaed09f9e06337"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"stWKIZJX7J1/qkuboS+df5PG377bLyOmdFvx0SYgNLx4u6pEGCxuNQNT3PnVvXRRBR4Tvrgk4HLmzfhPbJdtDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T03:02:23.327788Z","bundle_sha256":"743cfd73f2558bce48c53499f321262748e4f0c5c21a22cfa5ffb86df25685d6"}}