{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:KOOKJRXX2VNXKGV2JG46W5KAUF","short_pith_number":"pith:KOOKJRXX","canonical_record":{"source":{"id":"2605.13137","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IR","submitted_at":"2026-05-13T08:04:57Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"919e0266f74bd9c8661c2bf5ce1eb11fc15fcc60a20a9e3ca896d71101db3685","abstract_canon_sha256":"73f07a0d6d4db5983508cb527e54b89273b948ee0856f96a0cfb535578c3f400"},"schema_version":"1.0"},"canonical_sha256":"539ca4c6f7d55b751aba49b9eb7540a168dfa0c9d066d71ea4bb4c5290aed5a5","source":{"kind":"arxiv","id":"2605.13137","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13137","created_at":"2026-05-18T03:08:57Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13137v2","created_at":"2026-05-18T03:08:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13137","created_at":"2026-05-18T03:08:57Z"},{"alias_kind":"pith_short_12","alias_value":"KOOKJRXX2VNX","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"KOOKJRXX2VNXKGV2","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"KOOKJRXX","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:KOOKJRXX2VNXKGV2JG46W5KAUF","target":"record","payload":{"canonical_record":{"source":{"id":"2605.13137","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IR","submitted_at":"2026-05-13T08:04:57Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"919e0266f74bd9c8661c2bf5ce1eb11fc15fcc60a20a9e3ca896d71101db3685","abstract_canon_sha256":"73f07a0d6d4db5983508cb527e54b89273b948ee0856f96a0cfb535578c3f400"},"schema_version":"1.0"},"canonical_sha256":"539ca4c6f7d55b751aba49b9eb7540a168dfa0c9d066d71ea4bb4c5290aed5a5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:08:57.559421Z","signature_b64":"nbbmOfn4AW0McBc8jI9d//DVebFFxAxVN3npZTCXLzYg9nYT7RhN3EPRblAPOCC+FxQD7A1SJt/HZBiLcM6sAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"539ca4c6f7d55b751aba49b9eb7540a168dfa0c9d066d71ea4bb4c5290aed5a5","last_reissued_at":"2026-05-18T03:08:57.558427Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:08:57.558427Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.13137","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-18T03:08:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QerEyAObfnB57Xsd1mSTZTBNTg9K7FWvlBPmnHns25+d2FsMeD/CUQ9IvnBsu/kSiU+cORpCVyaStIL+zeMnDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T20:04:32.454040Z"},"content_sha256":"673b023ff184f57864d90fdcdbde78fa0e7e7734eead724b38cd08b97f8e9afe","schema_version":"1.0","event_id":"sha256:673b023ff184f57864d90fdcdbde78fa0e7e7734eead724b38cd08b97f8e9afe"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:KOOKJRXX2VNXKGV2JG46W5KAUF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving","license":"http://creativecommons.org/licenses/by/4.0/","headline":"LeanSearch v2 recovers full premise sets for Lean 4 theorems at 46.1 percent accuracy on research benchmarks.","cross_cats":["cs.AI"],"primary_cat":"cs.IR","authors_text":"Bin Dong, Bryan Dai, Guoxiong Gao, Jiedong Jiang, Jingda Xu, Peihao Wu, Yutong Wang, Zeming Sun","submitted_at":"2026-05-13T08:04:57Z","abstract_excerpt":"Proving theorems in Lean 4 often requires identifying a scattered set of library lemmas whose joint use enables a concise proof -- a task we call global premise retrieval. Existing tools address adjacent problems: semantic search engines find individual declarations matching a query, while premise-selection systems predict useful lemmas one tactic step at a time. Neither recovers the full premise set an entire theorem requires. We present LeanSearch v2, a two-mode retrieval system for this task. Its standard mode applies a hierarchy-informalized Mathlib corpus with an embedding-reranker pipeli"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"On a 69-query benchmark of research-level Mathlib theorems, reasoning mode recovers 46.1% of ground-truth premise groups within 10 retrieved candidates, outperforming strong reasoning retrieval systems (38.0%) and premise-selection baselines (9.3%). In a controlled downstream evaluation with a fixed prover loop, replacing alternative retrievers with LeanSearch v2 yields the highest proof success (20% vs. 16% for the next-best system and 4% without retrieval).","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The 69-query benchmark and the fixed prover loop are assumed to be representative of real-world Lean 4 usage; the paper does not report how performance changes when the prover loop or theorem distribution is altered.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"LeanSearch v2 recovers 46.1% of ground-truth premise groups for research-level Lean 4 theorems within 10 candidates and raises fixed-loop proof success to 20%.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"LeanSearch v2 recovers full premise sets for Lean 4 theorems at 46.1 percent accuracy on research benchmarks.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"7ccbd682e8d25fc634a54ba7ad8902fa6d39de1eaec45654288aa7295e8b7634"},"source":{"id":"2605.13137","kind":"arxiv","version":2},"verdict":{"id":"503ffee2-451f-4ab5-be83-aeeaeee84261","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T02:59:50.734388Z","strongest_claim":"On a 69-query benchmark of research-level Mathlib theorems, reasoning mode recovers 46.1% of ground-truth premise groups within 10 retrieved candidates, outperforming strong reasoning retrieval systems (38.0%) and premise-selection baselines (9.3%). In a controlled downstream evaluation with a fixed prover loop, replacing alternative retrievers with LeanSearch v2 yields the highest proof success (20% vs. 16% for the next-best system and 4% without retrieval).","one_line_summary":"LeanSearch v2 recovers 46.1% of ground-truth premise groups for research-level Lean 4 theorems within 10 candidates and raises fixed-loop proof success to 20%.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The 69-query benchmark and the fixed prover loop are assumed to be representative of real-world Lean 4 usage; the paper does not report how performance changes when the prover loop or theorem distribution is altered.","pith_extraction_headline":"LeanSearch v2 recovers full premise sets for Lean 4 theorems at 46.1 percent accuracy on research benchmarks."},"references":{"count":32,"sample":[{"doi":"","year":null,"title":"Mm-bright: A multi-task multimodal benchmark for reasoning-intensive retrieval","work_id":"ec60218c-2ad5-4557-9963-cd5455c05e8b","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":null,"title":"Aristotle: IMO-level Automated Theorem Proving","work_id":"6c61af2f-a34a-4647-9111-6ba5a60f6bc2","ref_index":2,"cited_arxiv_id":"2510.01346","is_internal_anchor":true},{"doi":"","year":null,"title":"Leanexplore: A search engine for lean 4 declarations.CoRR, abs/2506.11085","work_id":"f87043d0-5303-46ff-8552-c8881d23811b","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":null,"title":"Seed-prover 1.5: Mastering undergraduate-level theorem proving via learning from experience","work_id":"06a2ed7e-52e1-4927-ba09-545d2843a7f4","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":null,"title":"Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities","work_id":"008df105-2fdd-45d8-857a-8e35868aecb6","ref_index":5,"cited_arxiv_id":"2507.06261","is_internal_anchor":true}],"resolved_work":32,"snapshot_sha256":"ff0f1440a49abe711c80c42684d41c3b4d06f63c0ae7254f63908f9230e23b89","internal_anchors":8},"formal_canon":{"evidence_count":1,"snapshot_sha256":"34589dd26d001efef791c96258dd64b9bd3978ce8b0289d68f12335269f7f27d"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"503ffee2-451f-4ab5-be83-aeeaeee84261"},"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:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gI2OlRXSaJsTO6MkkH4AQsKOabExV4Fk2tTvklqaDDwLfVRDvVXhJgCk7iqTumCiVedBkwdL8rBKl5hvZpSNAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-27T20:04:32.454570Z"},"content_sha256":"c40c5b375b425905f783a7db581f8e19b7554a0f1944db4212ddf68825913a62","schema_version":"1.0","event_id":"sha256:c40c5b375b425905f783a7db581f8e19b7554a0f1944db4212ddf68825913a62"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KOOKJRXX2VNXKGV2JG46W5KAUF/bundle.json","state_url":"https://pith.science/pith/KOOKJRXX2VNXKGV2JG46W5KAUF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KOOKJRXX2VNXKGV2JG46W5KAUF/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-06-27T20:04:32Z","links":{"resolver":"https://pith.science/pith/KOOKJRXX2VNXKGV2JG46W5KAUF","bundle":"https://pith.science/pith/KOOKJRXX2VNXKGV2JG46W5KAUF/bundle.json","state":"https://pith.science/pith/KOOKJRXX2VNXKGV2JG46W5KAUF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KOOKJRXX2VNXKGV2JG46W5KAUF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:KOOKJRXX2VNXKGV2JG46W5KAUF","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":"73f07a0d6d4db5983508cb527e54b89273b948ee0856f96a0cfb535578c3f400","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IR","submitted_at":"2026-05-13T08:04:57Z","title_canon_sha256":"919e0266f74bd9c8661c2bf5ce1eb11fc15fcc60a20a9e3ca896d71101db3685"},"schema_version":"1.0","source":{"id":"2605.13137","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13137","created_at":"2026-05-18T03:08:57Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13137v2","created_at":"2026-05-18T03:08:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13137","created_at":"2026-05-18T03:08:57Z"},{"alias_kind":"pith_short_12","alias_value":"KOOKJRXX2VNX","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"KOOKJRXX2VNXKGV2","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"KOOKJRXX","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:c40c5b375b425905f783a7db581f8e19b7554a0f1944db4212ddf68825913a62","target":"graph","created_at":"2026-05-18T03:08:57Z","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":"On a 69-query benchmark of research-level Mathlib theorems, reasoning mode recovers 46.1% of ground-truth premise groups within 10 retrieved candidates, outperforming strong reasoning retrieval systems (38.0%) and premise-selection baselines (9.3%). In a controlled downstream evaluation with a fixed prover loop, replacing alternative retrievers with LeanSearch v2 yields the highest proof success (20% vs. 16% for the next-best system and 4% without retrieval)."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The 69-query benchmark and the fixed prover loop are assumed to be representative of real-world Lean 4 usage; the paper does not report how performance changes when the prover loop or theorem distribution is altered."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"LeanSearch v2 recovers 46.1% of ground-truth premise groups for research-level Lean 4 theorems within 10 candidates and raises fixed-loop proof success to 20%."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"LeanSearch v2 recovers full premise sets for Lean 4 theorems at 46.1 percent accuracy on research benchmarks."}],"snapshot_sha256":"7ccbd682e8d25fc634a54ba7ad8902fa6d39de1eaec45654288aa7295e8b7634"},"formal_canon":{"evidence_count":1,"snapshot_sha256":"34589dd26d001efef791c96258dd64b9bd3978ce8b0289d68f12335269f7f27d"},"paper":{"abstract_excerpt":"Proving theorems in Lean 4 often requires identifying a scattered set of library lemmas whose joint use enables a concise proof -- a task we call global premise retrieval. Existing tools address adjacent problems: semantic search engines find individual declarations matching a query, while premise-selection systems predict useful lemmas one tactic step at a time. Neither recovers the full premise set an entire theorem requires. We present LeanSearch v2, a two-mode retrieval system for this task. Its standard mode applies a hierarchy-informalized Mathlib corpus with an embedding-reranker pipeli","authors_text":"Bin Dong, Bryan Dai, Guoxiong Gao, Jiedong Jiang, Jingda Xu, Peihao Wu, Yutong Wang, Zeming Sun","cross_cats":["cs.AI"],"headline":"LeanSearch v2 recovers full premise sets for Lean 4 theorems at 46.1 percent accuracy on research benchmarks.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IR","submitted_at":"2026-05-13T08:04:57Z","title":"LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving"},"references":{"count":32,"internal_anchors":8,"resolved_work":32,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Mm-bright: A multi-task multimodal benchmark for reasoning-intensive retrieval","work_id":"ec60218c-2ad5-4557-9963-cd5455c05e8b","year":null},{"cited_arxiv_id":"2510.01346","doi":"","is_internal_anchor":true,"ref_index":2,"title":"Aristotle: IMO-level Automated Theorem Proving","work_id":"6c61af2f-a34a-4647-9111-6ba5a60f6bc2","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Leanexplore: A search engine for lean 4 declarations.CoRR, abs/2506.11085","work_id":"f87043d0-5303-46ff-8552-c8881d23811b","year":null},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"Seed-prover 1.5: Mastering undergraduate-level theorem proving via learning from experience","work_id":"06a2ed7e-52e1-4927-ba09-545d2843a7f4","year":null},{"cited_arxiv_id":"2507.06261","doi":"","is_internal_anchor":true,"ref_index":5,"title":"Gemini 2.5: Pushing the Frontier with Advanced Reasoning, Multimodality, Long Context, and Next Generation Agentic Capabilities","work_id":"008df105-2fdd-45d8-857a-8e35868aecb6","year":null}],"snapshot_sha256":"ff0f1440a49abe711c80c42684d41c3b4d06f63c0ae7254f63908f9230e23b89"},"source":{"id":"2605.13137","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-15T02:59:50.734388Z","id":"503ffee2-451f-4ab5-be83-aeeaeee84261","model_set":{"reader":"grok-4.3"},"one_line_summary":"LeanSearch v2 recovers 46.1% of ground-truth premise groups for research-level Lean 4 theorems within 10 candidates and raises fixed-loop proof success to 20%.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"LeanSearch v2 recovers full premise sets for Lean 4 theorems at 46.1 percent accuracy on research benchmarks.","strongest_claim":"On a 69-query benchmark of research-level Mathlib theorems, reasoning mode recovers 46.1% of ground-truth premise groups within 10 retrieved candidates, outperforming strong reasoning retrieval systems (38.0%) and premise-selection baselines (9.3%). In a controlled downstream evaluation with a fixed prover loop, replacing alternative retrievers with LeanSearch v2 yields the highest proof success (20% vs. 16% for the next-best system and 4% without retrieval).","weakest_assumption":"The 69-query benchmark and the fixed prover loop are assumed to be representative of real-world Lean 4 usage; the paper does not report how performance changes when the prover loop or theorem distribution is altered."}},"verdict_id":"503ffee2-451f-4ab5-be83-aeeaeee84261"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:673b023ff184f57864d90fdcdbde78fa0e7e7734eead724b38cd08b97f8e9afe","target":"record","created_at":"2026-05-18T03:08:57Z","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":"73f07a0d6d4db5983508cb527e54b89273b948ee0856f96a0cfb535578c3f400","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.IR","submitted_at":"2026-05-13T08:04:57Z","title_canon_sha256":"919e0266f74bd9c8661c2bf5ce1eb11fc15fcc60a20a9e3ca896d71101db3685"},"schema_version":"1.0","source":{"id":"2605.13137","kind":"arxiv","version":2}},"canonical_sha256":"539ca4c6f7d55b751aba49b9eb7540a168dfa0c9d066d71ea4bb4c5290aed5a5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"539ca4c6f7d55b751aba49b9eb7540a168dfa0c9d066d71ea4bb4c5290aed5a5","first_computed_at":"2026-05-18T03:08:57.558427Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:08:57.558427Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nbbmOfn4AW0McBc8jI9d//DVebFFxAxVN3npZTCXLzYg9nYT7RhN3EPRblAPOCC+FxQD7A1SJt/HZBiLcM6sAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T03:08:57.559421Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.13137","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:673b023ff184f57864d90fdcdbde78fa0e7e7734eead724b38cd08b97f8e9afe","sha256:c40c5b375b425905f783a7db581f8e19b7554a0f1944db4212ddf68825913a62"],"state_sha256":"f4a502d73ff506652e071f2ad9758cc3f5e720bc5a4df19f520f055695fbd15e"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DnCspP3n0HnVKmAkFSL15o+xSfuqwlo7OsKizXkIp6yB6yqJpLlMMHoCXsDTn+RS/A5v9aWebp+0unLW7jvWAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-27T20:04:32.456867Z","bundle_sha256":"8deeb84622b1abcc97af5a9650aae14e1e6d8a4af6cf8871671d699525aed325"}}