{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:WAT6BQ3YBC6PBLEET4NTVZ52LN","short_pith_number":"pith:WAT6BQ3Y","canonical_record":{"source":{"id":"2605.12694","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-12T19:46:24Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"39c43e17bc53dd8852230581d1234c3d72cc0c6676fef808437e302aa1dfe519","abstract_canon_sha256":"d3ca308c3226d65fdba7c7af1c90e5791ccfd8c397c06ada4734da36df399189"},"schema_version":"1.0"},"canonical_sha256":"b027e0c37808bcf0ac849f1b3ae7ba5b5422f251671c21fe5ed2b1803be8349d","source":{"kind":"arxiv","id":"2605.12694","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.12694","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"arxiv_version","alias_value":"2605.12694v1","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12694","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"pith_short_12","alias_value":"WAT6BQ3YBC6P","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"WAT6BQ3YBC6PBLEE","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"WAT6BQ3Y","created_at":"2026-05-18T12:33:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:WAT6BQ3YBC6PBLEET4NTVZ52LN","target":"record","payload":{"canonical_record":{"source":{"id":"2605.12694","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-12T19:46:24Z","cross_cats_sorted":["cs.AI","cs.PL"],"title_canon_sha256":"39c43e17bc53dd8852230581d1234c3d72cc0c6676fef808437e302aa1dfe519","abstract_canon_sha256":"d3ca308c3226d65fdba7c7af1c90e5791ccfd8c397c06ada4734da36df399189"},"schema_version":"1.0"},"canonical_sha256":"b027e0c37808bcf0ac849f1b3ae7ba5b5422f251671c21fe5ed2b1803be8349d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:09:49.792862Z","signature_b64":"ecEuGKQ5EPxfYll+HeTig7E0urDcDKAKzOaaZnT8ivL7uG3LxfWpszo5bf8EsCaLFpISXDPdxB1vyMCSDDoVDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b027e0c37808bcf0ac849f1b3ae7ba5b5422f251671c21fe5ed2b1803be8349d","last_reissued_at":"2026-05-18T03:09:49.792267Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:09:49.792267Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.12694","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:09:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"X1yvOY7st4kQLAnK096k2gwumMa2FrxyiSykpNJSYXHXy62Ks8uZ5JumBRHBKd7e5KxhWutuDcAALScO+vWkBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T04:05:22.431331Z"},"content_sha256":"4097119fca8ef391be896baa726b4f61b949e45ff8152e6d11a7749c55d72e83","schema_version":"1.0","event_id":"sha256:4097119fca8ef391be896baa726b4f61b949e45ff8152e6d11a7749c55d72e83"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:WAT6BQ3YBC6PBLEET4NTVZ52LN","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"LLM program analysis gains reliability by tracking localized claims as evolving elements in a finite-height lattice.","cross_cats":["cs.AI","cs.PL"],"primary_cat":"cs.SE","authors_text":"Chao Wang, Jacqueline L. Mitchell","submitted_at":"2026-05-12T19:46:24Z","abstract_excerpt":"Large language models can consult information that fixed static analyzers cannot, such as documentation, current security advisories, version-specific metadata, and informal API contracts. This makes LLMs a compelling option for program analyses that depend on information beyond the source program, or that are otherwise not amenable to conventional static analyzers. However, directly asking an LLM for a one-shot whole-program analysis is brittle because it compresses many evidence-dependent judgments into a single opaque answer, rather than exposing which conclusions are supported or disputed "},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We propose agentic interpretation, a framework that brings the discipline of lattice-based static analysis to LLM-driven program reasoning.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"LLM judgments on localized claims can be structured and evolved meaningfully in a finite-height lattice.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Agentic interpretation uses lattices to track LLM judgments on decomposed program claims during analysis.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"LLM program analysis gains reliability by tracking localized claims as evolving elements in a finite-height lattice.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"14667c1eab566a881bf65593027a32e5dc62a14143a85061e5c98b41cf3f2f4b"},"source":{"id":"2605.12694","kind":"arxiv","version":1},"verdict":{"id":"1ee4c0d8-2d02-4313-a33e-548d8e341949","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-14T20:07:33.308099Z","strongest_claim":"We propose agentic interpretation, a framework that brings the discipline of lattice-based static analysis to LLM-driven program reasoning.","one_line_summary":"Agentic interpretation uses lattices to track LLM judgments on decomposed program claims during analysis.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"LLM judgments on localized claims can be structured and evolved meaningfully in a finite-height lattice.","pith_extraction_headline":"LLM program analysis gains reliability by tracking localized claims as evolving elements in a finite-height lattice."},"references":{"count":48,"sample":[{"doi":"10.2307/2274239","year":1985,"title":"Journal of Symbolic Logic50(2), 510–530 (1985)","work_id":"edaa2504-fc58-48e3-8402-4280af6198cd","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2025,"title":"In: Gilpin, L.H., Giunchiglia, E., Hitzler, P., van Krieken, E","work_id":"ebccfe81-b92a-4efb-b1ac-f8e97f7417dc","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.48550/arxiv.2507.05886","year":2025,"title":"CoRR abs/2507.05886(2025)","work_id":"f2f45414-0fe1-40ba-a213-332b3c650c60","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1609/aaai.v38i16.29720","year":2024,"title":"Graph of Thoughts: Solving Elaborate Problems with Large Language Models , volume=","work_id":"255ad1e4-3af4-4d00-9c60-1a05089076cc","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"10.1007/bfb0039704","year":1993,"title":"In: Bjørner, D., Broy, M., Pottosin, I.V","work_id":"a114409f-496a-4cf7-81a1-da65e76c3260","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":48,"snapshot_sha256":"e2620f91569b37954b6931309490ea24bb50bc39464b01e3ce9d9c64fb17948d","internal_anchors":2},"formal_canon":{"evidence_count":2,"snapshot_sha256":"8d1db39449b045a5b30ac9f58955e0e98246f9f8fc1dfb208d2ebb42d778d078"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"1ee4c0d8-2d02-4313-a33e-548d8e341949"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T03:09:49Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O0L01RspG6w9HaZ3HJW7dl1DINYL7QN+FRRklco1ZEy8x5YLSES0vCHJgbktLhvcqUVMVLozQWkM3BJxnM1mDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T04:05:22.432428Z"},"content_sha256":"f183dd46b31bc37700263bb1ca67d67ca3afe132b64386c1a1b72f0730b4f5c7","schema_version":"1.0","event_id":"sha256:f183dd46b31bc37700263bb1ca67d67ca3afe132b64386c1a1b72f0730b4f5c7"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:WAT6BQ3YBC6PBLEET4NTVZ52LN","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1162/TACL\\_A\\_00638) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Liu, N.F., Lin, K., Hewitt, J., Paranjape, A., Bevilacqua, M., Petroni, F., Liang, P.: Lost in the middle: How language models use long contexts. Trans. Assoc. Com- put. Linguistics12, 157–173 (2024). https://doi.org/10.1162/TACL\\_A\\_00638,","arxiv_id":"2605.12694","detector":"doi_compliance","evidence":{"ref_index":28,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"Liu, N.F., Lin, K., Hewitt, J., Paranjape, A., Bevilacqua, M., Petroni, F., Liang, P.: Lost in the middle: How language models use long contexts. Trans. Assoc. Com- put. Linguistics12, 157–173 (2024). https://doi.org/10.1162/TACL\\_A\\_00638,","reconstructed_doi":"10.1162/TACL\\_A\\_00638"},"severity":"advisory","ref_index":28,"audited_at":"2026-05-19T07:12:37.442961Z","event_type":"pith.integrity.v1","detected_doi":"10.1162/TACL\\_A\\_00638","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"3a039cee84dfa6c32f332603ec0bea9a9e8a8f810bff8443402d36cd2f2e8ce4","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":277,"payload_sha256":"a434f53822761c7c76925545a0d1ba1655b212d68dce19873c977a2b02246c63","signature_b64":"LBduYIMMKe6HnaBu+vpP/wwEm5mqyOg7woO1u9jlYKPIs4q2cbGPTEBWMvoiXbmDn5W0J6TI6zlm6PNzUyTDDg==","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-19T07:16:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aKrhp5MBXvHwbM0th41tjpTUKLcfh7GQFECs0LiG6rYgKxn1AoA4NHjSzzH/e8CV5FtD/ztFQZKaWS3vUSMaBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-22T04:05:22.434039Z"},"content_sha256":"1e0ede53f98f8f27938cb13ff1de29f632114fe61f3cca8a5560108fc2d4a0e4","schema_version":"1.0","event_id":"sha256:1e0ede53f98f8f27938cb13ff1de29f632114fe61f3cca8a5560108fc2d4a0e4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WAT6BQ3YBC6PBLEET4NTVZ52LN/bundle.json","state_url":"https://pith.science/pith/WAT6BQ3YBC6PBLEET4NTVZ52LN/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WAT6BQ3YBC6PBLEET4NTVZ52LN/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-22T04:05:22Z","links":{"resolver":"https://pith.science/pith/WAT6BQ3YBC6PBLEET4NTVZ52LN","bundle":"https://pith.science/pith/WAT6BQ3YBC6PBLEET4NTVZ52LN/bundle.json","state":"https://pith.science/pith/WAT6BQ3YBC6PBLEET4NTVZ52LN/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WAT6BQ3YBC6PBLEET4NTVZ52LN/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:WAT6BQ3YBC6PBLEET4NTVZ52LN","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":"d3ca308c3226d65fdba7c7af1c90e5791ccfd8c397c06ada4734da36df399189","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-12T19:46:24Z","title_canon_sha256":"39c43e17bc53dd8852230581d1234c3d72cc0c6676fef808437e302aa1dfe519"},"schema_version":"1.0","source":{"id":"2605.12694","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.12694","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"arxiv_version","alias_value":"2605.12694v1","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.12694","created_at":"2026-05-18T03:09:49Z"},{"alias_kind":"pith_short_12","alias_value":"WAT6BQ3YBC6P","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"WAT6BQ3YBC6PBLEE","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"WAT6BQ3Y","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:f183dd46b31bc37700263bb1ca67d67ca3afe132b64386c1a1b72f0730b4f5c7","target":"graph","created_at":"2026-05-18T03:09:49Z","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 propose agentic interpretation, a framework that brings the discipline of lattice-based static analysis to LLM-driven program reasoning."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"LLM judgments on localized claims can be structured and evolved meaningfully in a finite-height lattice."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Agentic interpretation uses lattices to track LLM judgments on decomposed program claims during analysis."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"LLM program analysis gains reliability by tracking localized claims as evolving elements in a finite-height lattice."}],"snapshot_sha256":"14667c1eab566a881bf65593027a32e5dc62a14143a85061e5c98b41cf3f2f4b"},"formal_canon":{"evidence_count":2,"snapshot_sha256":"8d1db39449b045a5b30ac9f58955e0e98246f9f8fc1dfb208d2ebb42d778d078"},"paper":{"abstract_excerpt":"Large language models can consult information that fixed static analyzers cannot, such as documentation, current security advisories, version-specific metadata, and informal API contracts. This makes LLMs a compelling option for program analyses that depend on information beyond the source program, or that are otherwise not amenable to conventional static analyzers. However, directly asking an LLM for a one-shot whole-program analysis is brittle because it compresses many evidence-dependent judgments into a single opaque answer, rather than exposing which conclusions are supported or disputed ","authors_text":"Chao Wang, Jacqueline L. Mitchell","cross_cats":["cs.AI","cs.PL"],"headline":"LLM program analysis gains reliability by tracking localized claims as evolving elements in a finite-height lattice.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-12T19:46:24Z","title":"Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis"},"references":{"count":48,"internal_anchors":2,"resolved_work":48,"sample":[{"cited_arxiv_id":"","doi":"10.2307/2274239","is_internal_anchor":false,"ref_index":1,"title":"Journal of Symbolic Logic50(2), 510–530 (1985)","work_id":"edaa2504-fc58-48e3-8402-4280af6198cd","year":1985},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"In: Gilpin, L.H., Giunchiglia, E., Hitzler, P., van Krieken, E","work_id":"ebccfe81-b92a-4efb-b1ac-f8e97f7417dc","year":2025},{"cited_arxiv_id":"","doi":"10.48550/arxiv.2507.05886","is_internal_anchor":false,"ref_index":3,"title":"CoRR abs/2507.05886(2025)","work_id":"f2f45414-0fe1-40ba-a213-332b3c650c60","year":2025},{"cited_arxiv_id":"","doi":"10.1609/aaai.v38i16.29720","is_internal_anchor":false,"ref_index":4,"title":"Graph of Thoughts: Solving Elaborate Problems with Large Language Models , volume=","work_id":"255ad1e4-3af4-4d00-9c60-1a05089076cc","year":2024},{"cited_arxiv_id":"","doi":"10.1007/bfb0039704","is_internal_anchor":false,"ref_index":5,"title":"In: Bjørner, D., Broy, M., Pottosin, I.V","work_id":"a114409f-496a-4cf7-81a1-da65e76c3260","year":1993}],"snapshot_sha256":"e2620f91569b37954b6931309490ea24bb50bc39464b01e3ce9d9c64fb17948d"},"source":{"id":"2605.12694","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-14T20:07:33.308099Z","id":"1ee4c0d8-2d02-4313-a33e-548d8e341949","model_set":{"reader":"grok-4.3"},"one_line_summary":"Agentic interpretation uses lattices to track LLM judgments on decomposed program claims during analysis.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"LLM program analysis gains reliability by tracking localized claims as evolving elements in a finite-height lattice.","strongest_claim":"We propose agentic interpretation, a framework that brings the discipline of lattice-based static analysis to LLM-driven program reasoning.","weakest_assumption":"LLM judgments on localized claims can be structured and evolved meaningfully in a finite-height lattice."}},"verdict_id":"1ee4c0d8-2d02-4313-a33e-548d8e341949"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:4097119fca8ef391be896baa726b4f61b949e45ff8152e6d11a7749c55d72e83","target":"record","created_at":"2026-05-18T03:09:49Z","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":"d3ca308c3226d65fdba7c7af1c90e5791ccfd8c397c06ada4734da36df399189","cross_cats_sorted":["cs.AI","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2026-05-12T19:46:24Z","title_canon_sha256":"39c43e17bc53dd8852230581d1234c3d72cc0c6676fef808437e302aa1dfe519"},"schema_version":"1.0","source":{"id":"2605.12694","kind":"arxiv","version":1}},"canonical_sha256":"b027e0c37808bcf0ac849f1b3ae7ba5b5422f251671c21fe5ed2b1803be8349d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b027e0c37808bcf0ac849f1b3ae7ba5b5422f251671c21fe5ed2b1803be8349d","first_computed_at":"2026-05-18T03:09:49.792267Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:09:49.792267Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ecEuGKQ5EPxfYll+HeTig7E0urDcDKAKzOaaZnT8ivL7uG3LxfWpszo5bf8EsCaLFpISXDPdxB1vyMCSDDoVDA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:09:49.792862Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.12694","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4097119fca8ef391be896baa726b4f61b949e45ff8152e6d11a7749c55d72e83","sha256:f183dd46b31bc37700263bb1ca67d67ca3afe132b64386c1a1b72f0730b4f5c7","sha256:1e0ede53f98f8f27938cb13ff1de29f632114fe61f3cca8a5560108fc2d4a0e4"],"state_sha256":"5b02fc2814fc141e0553b104d285a34080995a871bd9a0b1a64e86577b927768"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UFc9E2rQeUd17QM3kmdipRQO5YqsHiSxGkTZKD+G6hizGNqtW3cioZ0s5d3ZQMdVNQu0FTWYr8TjXBa8PrRFBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-22T04:05:22.438360Z","bundle_sha256":"f6ac08ed425f6c160e041e40b06ab3a6478fa3392d2a417da4b1d20ffb4c76fb"}}