{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:JERJI66UV3U5FASD2ILRIYBD7C","short_pith_number":"pith:JERJI66U","canonical_record":{"source":{"id":"2605.17475","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-17T14:23:45Z","cross_cats_sorted":[],"title_canon_sha256":"2178f6178a735493e57eef348b75b3ed0a2977349db7f2fff83dd5e1a72c6d10","abstract_canon_sha256":"fad92d0e91eac4b0047d23c4d675e9ec7896be84af4e4abf205c79fc104db723"},"schema_version":"1.0"},"canonical_sha256":"4922947bd4aee9d28243d217146023f88149d4b34831b4ed8cc5c0adcfe1ca03","source":{"kind":"arxiv","id":"2605.17475","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.17475","created_at":"2026-05-20T00:04:40Z"},{"alias_kind":"arxiv_version","alias_value":"2605.17475v1","created_at":"2026-05-20T00:04:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17475","created_at":"2026-05-20T00:04:40Z"},{"alias_kind":"pith_short_12","alias_value":"JERJI66UV3U5","created_at":"2026-05-20T00:04:40Z"},{"alias_kind":"pith_short_16","alias_value":"JERJI66UV3U5FASD","created_at":"2026-05-20T00:04:40Z"},{"alias_kind":"pith_short_8","alias_value":"JERJI66U","created_at":"2026-05-20T00:04:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:JERJI66UV3U5FASD2ILRIYBD7C","target":"record","payload":{"canonical_record":{"source":{"id":"2605.17475","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-17T14:23:45Z","cross_cats_sorted":[],"title_canon_sha256":"2178f6178a735493e57eef348b75b3ed0a2977349db7f2fff83dd5e1a72c6d10","abstract_canon_sha256":"fad92d0e91eac4b0047d23c4d675e9ec7896be84af4e4abf205c79fc104db723"},"schema_version":"1.0"},"canonical_sha256":"4922947bd4aee9d28243d217146023f88149d4b34831b4ed8cc5c0adcfe1ca03","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T00:04:40.962920Z","signature_b64":"OdNUO06osPd8i5EIFK91+BDWlV1XP0/U9YUpxB+QAMjAgleG+jGAeRPf2hJbauax4XBrwEQ0Q+4fe0nRTrYRBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4922947bd4aee9d28243d217146023f88149d4b34831b4ed8cc5c0adcfe1ca03","last_reissued_at":"2026-05-20T00:04:40.962038Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T00:04:40.962038Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.17475","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-20T00:04:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xV/TT5sNceuGPUjGMUxIRgQdgWbZITzWhKyHVBB4StrD+o42z907Dew35gIii3lpifNMkrxuj2WvfyDOzx0tCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T19:48:25.436018Z"},"content_sha256":"f62b6daace4edd135891cf9b2944b940c42c767191dc28ec5574e81b23ba955e","schema_version":"1.0","event_id":"sha256:f62b6daace4edd135891cf9b2944b940c42c767191dc28ec5574e81b23ba955e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:JERJI66UV3U5FASD2ILRIYBD7C","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair","license":"http://creativecommons.org/licenses/by/4.0/","headline":"An LLM agent builds correct Event-B models from natural language by iteratively refining and repairing them with verification feedback.","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Hongshu Wang, Jin Song Dong, Qin Li, Xinyue Zuo, Yamine Ait Ameur, Yuhan Sun","submitted_at":"2026-05-17T14:23:45Z","abstract_excerpt":"Building software that is correct by construction is a long-standing goal in software engineering, as it ensures reliability during design and development rather than after deployment. Formal methods realize this vision by enabling the expression of system behavior and requirements in mathematics, thereby guaranteeing correctness through formal verification, including theorem proving and model checking. However, the steep learning curve and demand for mathematical expertise hinder the widespread adoption of formal methods. Large language models (LLMs) have recently shown promise in bridging th"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"Evaluation across systems of varying complexity demonstrates that Event-B Agent substantially outperforms baselines in end-to-end formal model synthesis and repair, while maintaining reasonable efficiency.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The LLM can reliably translate formal verification error messages into sound repairs and refinements that preserve model correctness without introducing new inconsistencies or requiring human correction at each step.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Event-B Agent is an LLM agent that synthesizes, refines, and repairs Event-B formal models from natural language requirements via iterative verification feedback loops.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"An LLM agent builds correct Event-B models from natural language by iteratively refining and repairing them with verification feedback.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"0b1e99539043339c7181c691e395490bd255f0faead31c012932aea8145bf8e0"},"source":{"id":"2605.17475","kind":"arxiv","version":1},"verdict":{"id":"b8e341d3-4003-4025-bc47-895e7f17e446","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-19T22:48:38.951116Z","strongest_claim":"Evaluation across systems of varying complexity demonstrates that Event-B Agent substantially outperforms baselines in end-to-end formal model synthesis and repair, while maintaining reasonable efficiency.","one_line_summary":"Event-B Agent is an LLM agent that synthesizes, refines, and repairs Event-B formal models from natural language requirements via iterative verification feedback loops.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The LLM can reliably translate formal verification error messages into sound repairs and refinements that preserve model correctness without introducing new inconsistencies or requiring human correction at each step.","pith_extraction_headline":"An LLM agent builds correct Event-B models from natural language by iteratively refining and repairing them with verification feedback."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2605.17475/integrity.json","findings":[],"available":true,"detectors_run":[{"name":"doi_title_agreement","ran_at":"2026-05-19T23:01:19.539161Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"doi_compliance","ran_at":"2026-05-19T23:01:10.531760Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"claim_evidence","ran_at":"2026-05-19T21:41:57.694033Z","status":"completed","version":"1.0.0","findings_count":0},{"name":"ai_meta_artifact","ran_at":"2026-05-19T21:33:23.651625Z","status":"skipped","version":"1.0.0","findings_count":0}],"snapshot_sha256":"576905f6187c871be017d4fda0208a9a404acd0a99b5a9895a6eea01090de490"},"references":{"count":49,"sample":[{"doi":"10.1017/cbo9780511624162","year":1996,"title":"Jean-Raymond Abrial. 1996. The B-book: Assigning Programs to Meaning.Cambridge University Press(1996). doi:10.1017/CBO9780511624162","work_id":"313ec80f-e80a-4dae-9345-6128b114b840","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1017/cbo9781139195881","year":2010,"title":"2010.Modeling in Event-B: system and software engineering","work_id":"9b3612f5-e3d3-4fb9-b134-ef2d39c0cb69","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.48550/arxiv.2303.08774","year":2023,"title":"GPT-4 Technical Report","work_id":"b928e041-6991-4c08-8c81-0359e4097c7b","ref_index":3,"cited_arxiv_id":"2303.08774","is_internal_anchor":true},{"doi":"10.1016/j.scico.2015.06.002","year":2015,"title":"Eman Alkhammash, Michael Butler, Asieh Salehi Fathabadi, and Corina Cîrstea. 2015. Building traceable Event-B models from requirements.Science of Computer Programming111 (2015), 318–338. doi:10.1016/j","work_id":"c7a3f172-9805-4c23-8c02-6bf573edf78f","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2025,"title":"Anysphere, Inc. 2025. Cursor: The AI Code Editor. https://cursor.com/ Accessed: 2025-09-11","work_id":"d952a6be-6fce-4dba-ab7e-9b7dca6122b5","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":49,"snapshot_sha256":"165234f27deb195490e665e52b1f950c640340f339c35f9e0da36cbe16d3477a","internal_anchors":3},"formal_canon":{"evidence_count":2,"snapshot_sha256":"8aff5e64837680a761f874519bcb2de34323eca18782f0a0284f72180c0efdd3"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"b8e341d3-4003-4025-bc47-895e7f17e446"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-20T00:04:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rc5P2GHs1Cc2r4wu3wdZENp8Psv8IHznnAPoZ6hmmB9Dw0ukrmpIHrCzsbs+Xa24gj61gYtja2kxwfjiOjTYCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-24T19:48:25.437448Z"},"content_sha256":"6aaa504604a9f7a3f27edb22ef8d31366245fc33a2cafdf93facc8a9800f7eb7","schema_version":"1.0","event_id":"sha256:6aaa504604a9f7a3f27edb22ef8d31366245fc33a2cafdf93facc8a9800f7eb7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JERJI66UV3U5FASD2ILRIYBD7C/bundle.json","state_url":"https://pith.science/pith/JERJI66UV3U5FASD2ILRIYBD7C/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JERJI66UV3U5FASD2ILRIYBD7C/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-24T19:48:25Z","links":{"resolver":"https://pith.science/pith/JERJI66UV3U5FASD2ILRIYBD7C","bundle":"https://pith.science/pith/JERJI66UV3U5FASD2ILRIYBD7C/bundle.json","state":"https://pith.science/pith/JERJI66UV3U5FASD2ILRIYBD7C/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JERJI66UV3U5FASD2ILRIYBD7C/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:JERJI66UV3U5FASD2ILRIYBD7C","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":"fad92d0e91eac4b0047d23c4d675e9ec7896be84af4e4abf205c79fc104db723","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-17T14:23:45Z","title_canon_sha256":"2178f6178a735493e57eef348b75b3ed0a2977349db7f2fff83dd5e1a72c6d10"},"schema_version":"1.0","source":{"id":"2605.17475","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.17475","created_at":"2026-05-20T00:04:40Z"},{"alias_kind":"arxiv_version","alias_value":"2605.17475v1","created_at":"2026-05-20T00:04:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.17475","created_at":"2026-05-20T00:04:40Z"},{"alias_kind":"pith_short_12","alias_value":"JERJI66UV3U5","created_at":"2026-05-20T00:04:40Z"},{"alias_kind":"pith_short_16","alias_value":"JERJI66UV3U5FASD","created_at":"2026-05-20T00:04:40Z"},{"alias_kind":"pith_short_8","alias_value":"JERJI66U","created_at":"2026-05-20T00:04:40Z"}],"graph_snapshots":[{"event_id":"sha256:6aaa504604a9f7a3f27edb22ef8d31366245fc33a2cafdf93facc8a9800f7eb7","target":"graph","created_at":"2026-05-20T00:04:40Z","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":"Evaluation across systems of varying complexity demonstrates that Event-B Agent substantially outperforms baselines in end-to-end formal model synthesis and repair, while maintaining reasonable efficiency."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The LLM can reliably translate formal verification error messages into sound repairs and refinements that preserve model correctness without introducing new inconsistencies or requiring human correction at each step."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Event-B Agent is an LLM agent that synthesizes, refines, and repairs Event-B formal models from natural language requirements via iterative verification feedback loops."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"An LLM agent builds correct Event-B models from natural language by iteratively refining and repairing them with verification feedback."}],"snapshot_sha256":"0b1e99539043339c7181c691e395490bd255f0faead31c012932aea8145bf8e0"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"8aff5e64837680a761f874519bcb2de34323eca18782f0a0284f72180c0efdd3"},"integrity":{"available":true,"clean":true,"detectors_run":[{"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-19T23:01:19.539161Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-19T23:01:10.531760Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-19T21:41:57.694033Z","status":"completed","version":"1.0.0"},{"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-19T21:33:23.651625Z","status":"skipped","version":"1.0.0"}],"endpoint":"/pith/2605.17475/integrity.json","findings":[],"snapshot_sha256":"576905f6187c871be017d4fda0208a9a404acd0a99b5a9895a6eea01090de490","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Building software that is correct by construction is a long-standing goal in software engineering, as it ensures reliability during design and development rather than after deployment. Formal methods realize this vision by enabling the expression of system behavior and requirements in mathematics, thereby guaranteeing correctness through formal verification, including theorem proving and model checking. However, the steep learning curve and demand for mathematical expertise hinder the widespread adoption of formal methods. Large language models (LLMs) have recently shown promise in bridging th","authors_text":"Hongshu Wang, Jin Song Dong, Qin Li, Xinyue Zuo, Yamine Ait Ameur, Yuhan Sun","cross_cats":[],"headline":"An LLM agent builds correct Event-B models from natural language by iteratively refining and repairing them with verification feedback.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-17T14:23:45Z","title":"Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair"},"references":{"count":49,"internal_anchors":3,"resolved_work":49,"sample":[{"cited_arxiv_id":"","doi":"10.1017/cbo9780511624162","is_internal_anchor":false,"ref_index":1,"title":"Jean-Raymond Abrial. 1996. The B-book: Assigning Programs to Meaning.Cambridge University Press(1996). doi:10.1017/CBO9780511624162","work_id":"313ec80f-e80a-4dae-9345-6128b114b840","year":1996},{"cited_arxiv_id":"","doi":"10.1017/cbo9781139195881","is_internal_anchor":false,"ref_index":2,"title":"2010.Modeling in Event-B: system and software engineering","work_id":"9b3612f5-e3d3-4fb9-b134-ef2d39c0cb69","year":2010},{"cited_arxiv_id":"2303.08774","doi":"10.48550/arxiv.2303.08774","is_internal_anchor":true,"ref_index":3,"title":"GPT-4 Technical Report","work_id":"b928e041-6991-4c08-8c81-0359e4097c7b","year":2023},{"cited_arxiv_id":"","doi":"10.1016/j.scico.2015.06.002","is_internal_anchor":false,"ref_index":4,"title":"Eman Alkhammash, Michael Butler, Asieh Salehi Fathabadi, and Corina Cîrstea. 2015. Building traceable Event-B models from requirements.Science of Computer Programming111 (2015), 318–338. doi:10.1016/j","work_id":"c7a3f172-9805-4c23-8c02-6bf573edf78f","year":2015},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"Anysphere, Inc. 2025. Cursor: The AI Code Editor. https://cursor.com/ Accessed: 2025-09-11","work_id":"d952a6be-6fce-4dba-ab7e-9b7dca6122b5","year":2025}],"snapshot_sha256":"165234f27deb195490e665e52b1f950c640340f339c35f9e0da36cbe16d3477a"},"source":{"id":"2605.17475","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-19T22:48:38.951116Z","id":"b8e341d3-4003-4025-bc47-895e7f17e446","model_set":{"reader":"grok-4.3"},"one_line_summary":"Event-B Agent is an LLM agent that synthesizes, refines, and repairs Event-B formal models from natural language requirements via iterative verification feedback loops.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"An LLM agent builds correct Event-B models from natural language by iteratively refining and repairing them with verification feedback.","strongest_claim":"Evaluation across systems of varying complexity demonstrates that Event-B Agent substantially outperforms baselines in end-to-end formal model synthesis and repair, while maintaining reasonable efficiency.","weakest_assumption":"The LLM can reliably translate formal verification error messages into sound repairs and refinements that preserve model correctness without introducing new inconsistencies or requiring human correction at each step."}},"verdict_id":"b8e341d3-4003-4025-bc47-895e7f17e446"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:f62b6daace4edd135891cf9b2944b940c42c767191dc28ec5574e81b23ba955e","target":"record","created_at":"2026-05-20T00:04:40Z","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":"fad92d0e91eac4b0047d23c4d675e9ec7896be84af4e4abf205c79fc104db723","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-17T14:23:45Z","title_canon_sha256":"2178f6178a735493e57eef348b75b3ed0a2977349db7f2fff83dd5e1a72c6d10"},"schema_version":"1.0","source":{"id":"2605.17475","kind":"arxiv","version":1}},"canonical_sha256":"4922947bd4aee9d28243d217146023f88149d4b34831b4ed8cc5c0adcfe1ca03","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4922947bd4aee9d28243d217146023f88149d4b34831b4ed8cc5c0adcfe1ca03","first_computed_at":"2026-05-20T00:04:40.962038Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T00:04:40.962038Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OdNUO06osPd8i5EIFK91+BDWlV1XP0/U9YUpxB+QAMjAgleG+jGAeRPf2hJbauax4XBrwEQ0Q+4fe0nRTrYRBw==","signature_status":"signed_v1","signed_at":"2026-05-20T00:04:40.962920Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.17475","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f62b6daace4edd135891cf9b2944b940c42c767191dc28ec5574e81b23ba955e","sha256:6aaa504604a9f7a3f27edb22ef8d31366245fc33a2cafdf93facc8a9800f7eb7"],"state_sha256":"b51394261b8f9cd23dc1bc75d849674e05cdbf38a285682274838b1e367ffd30"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tlgKuV1lIm9PDY+8G52/B79+nHBOb2Z50zq3mJ/bvJAa8zD7FnMJWNJ5hwzNu/SXHoowbfFoulQPvkIHJLm/CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-24T19:48:25.442416Z","bundle_sha256":"34b92169b6665461e0a6c1ef01accfd9b1434abf03b90e9e5c04c689b42c1caf"}}