{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:UL5I747MG5WKVSCFJTWH5AMHKL","short_pith_number":"pith:UL5I747M","canonical_record":{"source":{"id":"2605.00768","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-01T16:30:52Z","cross_cats_sorted":[],"title_canon_sha256":"fd25aa791c18a9d06471ccd3da2c9cb720ff875a1df8374eead3b427a5497ee1","abstract_canon_sha256":"4fc5a9bb3390f86196108506be9e6053a1f29b72ee0124d47334fe10e4e9de8d"},"schema_version":"1.0"},"canonical_sha256":"a2fa8ff3ec376caac8454cec7e818752f999cc78786ba053455d9c017312e7f0","source":{"kind":"arxiv","id":"2605.00768","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.00768","created_at":"2026-05-20T01:05:15Z"},{"alias_kind":"arxiv_version","alias_value":"2605.00768v2","created_at":"2026-05-20T01:05:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.00768","created_at":"2026-05-20T01:05:15Z"},{"alias_kind":"pith_short_12","alias_value":"UL5I747MG5WK","created_at":"2026-05-20T01:05:15Z"},{"alias_kind":"pith_short_16","alias_value":"UL5I747MG5WKVSCF","created_at":"2026-05-20T01:05:15Z"},{"alias_kind":"pith_short_8","alias_value":"UL5I747M","created_at":"2026-05-20T01:05:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:UL5I747MG5WKVSCFJTWH5AMHKL","target":"record","payload":{"canonical_record":{"source":{"id":"2605.00768","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-01T16:30:52Z","cross_cats_sorted":[],"title_canon_sha256":"fd25aa791c18a9d06471ccd3da2c9cb720ff875a1df8374eead3b427a5497ee1","abstract_canon_sha256":"4fc5a9bb3390f86196108506be9e6053a1f29b72ee0124d47334fe10e4e9de8d"},"schema_version":"1.0"},"canonical_sha256":"a2fa8ff3ec376caac8454cec7e818752f999cc78786ba053455d9c017312e7f0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T01:05:15.037363Z","signature_b64":"MeTI1SHcPka1mWzqGRwRkCv1A+F2jzBEo530YZkEoMEyL1MVzymWaqV+Z9qDrUlR0j8aR9OXQPQ1CkG1BrfLDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"a2fa8ff3ec376caac8454cec7e818752f999cc78786ba053455d9c017312e7f0","last_reissued_at":"2026-05-20T01:05:15.036764Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T01:05:15.036764Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.00768","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-20T01:05:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w8BB452fZ7jmnDwVnLfyT5kBVUqWsPiVaIuEzSs+Jmz2fzvJ82fks0O3ewTEF3C+Ki/jAFYZj08zj1BtuSjXDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T13:02:03.982456Z"},"content_sha256":"f5b2bbd4dc2f29c29373e21fb20aaee181813a71e70798e6d4ae57ff2b07c5b4","schema_version":"1.0","event_id":"sha256:f5b2bbd4dc2f29c29373e21fb20aaee181813a71e70798e6d4ae57ff2b07c5b4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:UL5I747MG5WKVSCFJTWH5AMHKL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Characterizing the Expressivity of Local Attention in Transformers","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Local attention introduces a second temporal operator in transformers, strictly enlarging the class of recognizable regular languages beyond what global attention alone achieves.","cross_cats":[],"primary_cat":"cs.CL","authors_text":"Jiaoda Li, Ryan Cotterell","submitted_at":"2026-05-01T16:30:52Z","abstract_excerpt":"The transformer is the most popular neural architecture for language modeling. The cornerstone of the transformer is its global attention mechanism, which lets the model aggregate information from all preceding tokens before generating the next token. One common variant of attention is called local attention, which restricts each token to aggregating information from a bounded window of predecessors, reducing the quadratic cost of global attention to linear. Although this restriction is usually motivated by efficiency, it has also been found to improve model quality, a phenomenon that has so f"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"We additionally prove that adding local attention introduces a second temporal operator, strictly enlarging the class of recognizable regular languages. Moreover, global and local attention are expressively complementary: neither subsumes the other, and combining them yields the richest fragment.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The established correspondence between fixed-precision global-attention transformers and a single-past-operator fragment of linear temporal logic extends cleanly to local attention without additional restrictions that would limit the result to toy models rather than practical transformers.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Local attention strictly enlarges the class of regular languages recognizable by fixed-precision transformers by adding a second past operator in linear temporal logic, with global and local attention being expressively complementary.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Local attention introduces a second temporal operator in transformers, strictly enlarging the class of recognizable regular languages beyond what global attention alone achieves.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"e4bc3a27c366a6dbd33826b8ac8f26ca13d06d4a635a9445fb6986b4621b0598"},"source":{"id":"2605.00768","kind":"arxiv","version":2},"verdict":{"id":"8faf7e6d-8861-4ff6-a5fe-98d70ab23ebe","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-09T18:57:48.171664Z","strongest_claim":"We additionally prove that adding local attention introduces a second temporal operator, strictly enlarging the class of recognizable regular languages. Moreover, global and local attention are expressively complementary: neither subsumes the other, and combining them yields the richest fragment.","one_line_summary":"Local attention strictly enlarges the class of regular languages recognizable by fixed-precision transformers by adding a second past operator in linear temporal logic, with global and local attention being expressively complementary.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The established correspondence between fixed-precision global-attention transformers and a single-past-operator fragment of linear temporal logic extends cleanly to local attention without additional restrictions that would limit the result to toy models rather than practical transformers.","pith_extraction_headline":"Local attention introduces a second temporal operator in transformers, strictly enlarging the class of recognizable regular languages beyond what global attention alone achieves."},"integrity":{"clean":false,"summary":{"advisory":1,"critical":0,"by_detector":{"doi_compliance":{"total":1,"advisory":1,"critical":0,"informational":0}},"informational":0},"endpoint":"/pith/2605.00768/integrity.json","findings":[{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.5555/3173440.3173443Syntactic) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detector":"doi_compliance","severity":"advisory","ref_index":5,"audited_at":"2026-05-19T17:51:05.338050Z","detected_doi":"10.5555/3173440.3173443Syntactic","finding_type":"recoverable_identifier","verdict_class":"incontrovertible","detected_arxiv_id":null}],"available":true,"detectors_run":[{"name":"doi_compliance","ran_at":"2026-05-19T17:51:05.338050Z","status":"completed","version":"1.0.0","findings_count":1}],"snapshot_sha256":"a44ce95e3375d29e79f6d6e6e91a0f1f8fe0c2e68007dd6591ab40944f9a9cbc"},"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":"8faf7e6d-8861-4ff6-a5fe-98d70ab23ebe"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-20T01:05:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TjYxd8NHanKfds6nQ9xqTiBjve1PVzCWvftP6H8W8xMjcQnjWxpUlBr4EVHvjy8QY2yfzD2CrZsUTpp+Vv7iCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T13:02:03.983002Z"},"content_sha256":"0af817c8a037f4b819f4d697780f55a9768bf5f78e3bc9326a8fb8f0ca8d6c75","schema_version":"1.0","event_id":"sha256:0af817c8a037f4b819f4d697780f55a9768bf5f78e3bc9326a8fb8f0ca8d6c75"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:UL5I747MG5WKVSCFJTWH5AMHKL","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.5555/3173440.3173443Syntactic) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Janusz Brzozowski, Baiyu Li, and David Liu. 2012. https://dl.acm.org/doi/abs/10.5555/3173440.3173443 Syntactic complexities of six classes of star-free languages . Journal of Automata, Languages and Combinatorics, 17(2):83–105","arxiv_id":"2605.00768","detector":"doi_compliance","evidence":{"ref_index":5,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"Janusz Brzozowski, Baiyu Li, and David Liu. 2012. https://dl.acm.org/doi/abs/10.5555/3173440.3173443 Syntactic complexities of six classes of star-free languages . Journal of Automata, Languages and Combinatorics, 17(2):83–105","reconstructed_doi":"10.5555/3173440.3173443Syntactic"},"severity":"advisory","ref_index":5,"audited_at":"2026-05-19T17:51:05.338050Z","event_type":"pith.integrity.v1","detected_doi":"10.5555/3173440.3173443Syntactic","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"80d273d16ba3dcac0f3661fbd3f6f3ec79b3be91fc8ee9390bbaaf3c57ecc137","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null,"integrity_event_id":2317,"payload_sha256":"0a81200a808644e4f29d2139bd3bec413634f4d0b03b54cac1b9c75a2c2e78b8","signature_b64":"u8KIHi2ndkYQr9rCq/l0HfWi6omhBnqCFfwNVLFXB7XSAFSfm6WYYsRg5397KAsbZibD4owxX1i3c/+3mR85Ag==","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-19T17:52:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HHpXzxE5ZvA7bWMFx4lE4zLC3n+XY4dIcO8MDB47H+398WaIAX7BAKKfdYtPEH0QGfGZZRFvdCalRnJih7i/Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T13:02:03.983956Z"},"content_sha256":"146f3c5fc3e0b677e7ee99f639bd924b2a08d980c8a9a82575f1229913f99a21","schema_version":"1.0","event_id":"sha256:146f3c5fc3e0b677e7ee99f639bd924b2a08d980c8a9a82575f1229913f99a21"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/UL5I747MG5WKVSCFJTWH5AMHKL/bundle.json","state_url":"https://pith.science/pith/UL5I747MG5WKVSCFJTWH5AMHKL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/UL5I747MG5WKVSCFJTWH5AMHKL/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-21T13:02:03Z","links":{"resolver":"https://pith.science/pith/UL5I747MG5WKVSCFJTWH5AMHKL","bundle":"https://pith.science/pith/UL5I747MG5WKVSCFJTWH5AMHKL/bundle.json","state":"https://pith.science/pith/UL5I747MG5WKVSCFJTWH5AMHKL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/UL5I747MG5WKVSCFJTWH5AMHKL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:UL5I747MG5WKVSCFJTWH5AMHKL","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":"4fc5a9bb3390f86196108506be9e6053a1f29b72ee0124d47334fe10e4e9de8d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-01T16:30:52Z","title_canon_sha256":"fd25aa791c18a9d06471ccd3da2c9cb720ff875a1df8374eead3b427a5497ee1"},"schema_version":"1.0","source":{"id":"2605.00768","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.00768","created_at":"2026-05-20T01:05:15Z"},{"alias_kind":"arxiv_version","alias_value":"2605.00768v2","created_at":"2026-05-20T01:05:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.00768","created_at":"2026-05-20T01:05:15Z"},{"alias_kind":"pith_short_12","alias_value":"UL5I747MG5WK","created_at":"2026-05-20T01:05:15Z"},{"alias_kind":"pith_short_16","alias_value":"UL5I747MG5WKVSCF","created_at":"2026-05-20T01:05:15Z"},{"alias_kind":"pith_short_8","alias_value":"UL5I747M","created_at":"2026-05-20T01:05:15Z"}],"graph_snapshots":[{"event_id":"sha256:0af817c8a037f4b819f4d697780f55a9768bf5f78e3bc9326a8fb8f0ca8d6c75","target":"graph","created_at":"2026-05-20T01:05:15Z","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 additionally prove that adding local attention introduces a second temporal operator, strictly enlarging the class of recognizable regular languages. Moreover, global and local attention are expressively complementary: neither subsumes the other, and combining them yields the richest fragment."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The established correspondence between fixed-precision global-attention transformers and a single-past-operator fragment of linear temporal logic extends cleanly to local attention without additional restrictions that would limit the result to toy models rather than practical transformers."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Local attention strictly enlarges the class of regular languages recognizable by fixed-precision transformers by adding a second past operator in linear temporal logic, with global and local attention being expressively complementary."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Local attention introduces a second temporal operator in transformers, strictly enlarging the class of recognizable regular languages beyond what global attention alone achieves."}],"snapshot_sha256":"e4bc3a27c366a6dbd33826b8ac8f26ca13d06d4a635a9445fb6986b4621b0598"},"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-19T17:51:05.338050Z","status":"completed","version":"1.0.0"}],"endpoint":"/pith/2605.00768/integrity.json","findings":[{"audited_at":"2026-05-19T17:51:05.338050Z","detected_arxiv_id":null,"detected_doi":"10.5555/3173440.3173443Syntactic","detector":"doi_compliance","finding_type":"recoverable_identifier","note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.5555/3173440.3173443Syntactic) was visible in the surrounding text but could not be confirmed against doi.org as printed.","ref_index":5,"severity":"advisory","verdict_class":"incontrovertible"}],"snapshot_sha256":"a44ce95e3375d29e79f6d6e6e91a0f1f8fe0c2e68007dd6591ab40944f9a9cbc","summary":{"advisory":1,"by_detector":{"doi_compliance":{"advisory":1,"critical":0,"informational":0,"total":1}},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The transformer is the most popular neural architecture for language modeling. The cornerstone of the transformer is its global attention mechanism, which lets the model aggregate information from all preceding tokens before generating the next token. One common variant of attention is called local attention, which restricts each token to aggregating information from a bounded window of predecessors, reducing the quadratic cost of global attention to linear. Although this restriction is usually motivated by efficiency, it has also been found to improve model quality, a phenomenon that has so f","authors_text":"Jiaoda Li, Ryan Cotterell","cross_cats":[],"headline":"Local attention introduces a second temporal operator in transformers, strictly enlarging the class of recognizable regular languages beyond what global attention alone achieves.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-01T16:30:52Z","title":"Characterizing the Expressivity of Local Attention in Transformers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.00768","kind":"arxiv","version":2},"verdict":{"created_at":"2026-05-09T18:57:48.171664Z","id":"8faf7e6d-8861-4ff6-a5fe-98d70ab23ebe","model_set":{"reader":"grok-4.3"},"one_line_summary":"Local attention strictly enlarges the class of regular languages recognizable by fixed-precision transformers by adding a second past operator in linear temporal logic, with global and local attention being expressively complementary.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Local attention introduces a second temporal operator in transformers, strictly enlarging the class of recognizable regular languages beyond what global attention alone achieves.","strongest_claim":"We additionally prove that adding local attention introduces a second temporal operator, strictly enlarging the class of recognizable regular languages. Moreover, global and local attention are expressively complementary: neither subsumes the other, and combining them yields the richest fragment.","weakest_assumption":"The established correspondence between fixed-precision global-attention transformers and a single-past-operator fragment of linear temporal logic extends cleanly to local attention without additional restrictions that would limit the result to toy models rather than practical transformers."}},"verdict_id":"8faf7e6d-8861-4ff6-a5fe-98d70ab23ebe"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:f5b2bbd4dc2f29c29373e21fb20aaee181813a71e70798e6d4ae57ff2b07c5b4","target":"record","created_at":"2026-05-20T01:05:15Z","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":"4fc5a9bb3390f86196108506be9e6053a1f29b72ee0124d47334fe10e4e9de8d","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2026-05-01T16:30:52Z","title_canon_sha256":"fd25aa791c18a9d06471ccd3da2c9cb720ff875a1df8374eead3b427a5497ee1"},"schema_version":"1.0","source":{"id":"2605.00768","kind":"arxiv","version":2}},"canonical_sha256":"a2fa8ff3ec376caac8454cec7e818752f999cc78786ba053455d9c017312e7f0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"a2fa8ff3ec376caac8454cec7e818752f999cc78786ba053455d9c017312e7f0","first_computed_at":"2026-05-20T01:05:15.036764Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-20T01:05:15.036764Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"MeTI1SHcPka1mWzqGRwRkCv1A+F2jzBEo530YZkEoMEyL1MVzymWaqV+Z9qDrUlR0j8aR9OXQPQ1CkG1BrfLDw==","signature_status":"signed_v1","signed_at":"2026-05-20T01:05:15.037363Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.00768","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:146f3c5fc3e0b677e7ee99f639bd924b2a08d980c8a9a82575f1229913f99a21","sha256:f5b2bbd4dc2f29c29373e21fb20aaee181813a71e70798e6d4ae57ff2b07c5b4","sha256:0af817c8a037f4b819f4d697780f55a9768bf5f78e3bc9326a8fb8f0ca8d6c75"],"state_sha256":"5a7bd65373e50e53e4436d91763997d59a3bb1eced2929f644e8d862006547b3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n2yixOaX/siCiKB0bQNEIbRdHZs90I2Nt0Y9+yVzAJsAeT2dUwLwxHCkMA81OXZNj5/QwWBGuycAUavxlQIBDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-21T13:02:03.986343Z","bundle_sha256":"b379aace38781915c11c01104d358af6a4acbb04a91de60ce24ef6fcb2829b3f"}}