{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:6HVTL643W2BUKST5IMPP6QW6WE","short_pith_number":"pith:6HVTL643","canonical_record":{"source":{"id":"2607.26988","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2026-07-29T14:47:19Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"232108c35116f47df6a9e5329619468e2c3b1767a34707aee5ae499a7e582233","abstract_canon_sha256":"84dd9cf174f6e0d0fd4c1225c178fd7baedacf1fa295037412b2e9d0d5d043a7"},"schema_version":"1.0"},"canonical_sha256":"f1eb35fb9bb683454a7d431eff42deb12aa6f7edf8798594f5274901ae4a9e89","source":{"kind":"arxiv","id":"2607.26988","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.26988","created_at":"2026-07-30T01:23:15Z"},{"alias_kind":"arxiv_version","alias_value":"2607.26988v1","created_at":"2026-07-30T01:23:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.26988","created_at":"2026-07-30T01:23:15Z"},{"alias_kind":"pith_short_12","alias_value":"6HVTL643W2BU","created_at":"2026-07-30T01:23:15Z"},{"alias_kind":"pith_short_16","alias_value":"6HVTL643W2BUKST5","created_at":"2026-07-30T01:23:15Z"},{"alias_kind":"pith_short_8","alias_value":"6HVTL643","created_at":"2026-07-30T01:23:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:6HVTL643W2BUKST5IMPP6QW6WE","target":"record","payload":{"canonical_record":{"source":{"id":"2607.26988","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2026-07-29T14:47:19Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"232108c35116f47df6a9e5329619468e2c3b1767a34707aee5ae499a7e582233","abstract_canon_sha256":"84dd9cf174f6e0d0fd4c1225c178fd7baedacf1fa295037412b2e9d0d5d043a7"},"schema_version":"1.0"},"canonical_sha256":"f1eb35fb9bb683454a7d431eff42deb12aa6f7edf8798594f5274901ae4a9e89","receipt":{"kind":"pith_receipt","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f1eb35fb9bb683454a7d431eff42deb12aa6f7edf8798594f5274901ae4a9e89","last_reissued_at":"2026-07-30T01:23:15.745648Z","signature_status":"unsigned_v0","first_computed_at":"2026-07-30T01:23:15.745648Z"},"source_kind":"arxiv","source_id":"2607.26988","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-07-30T01:23:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1XvCuKKbDvy97wk8Og6eLs3io2i89gWTxtYiP8QldgdoxAvKyjYO7aquI7jYBlYoCD+odT1jmYROvpu+8WiYDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T17:16:30.869891Z"},"content_sha256":"4233fa645201dbcb369a1ea311d937eafb6de2db703db26b07d6b6d877ab4fc4","schema_version":"1.0","event_id":"sha256:4233fa645201dbcb369a1ea311d937eafb6de2db703db26b07d6b6d877ab4fc4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:6HVTL643W2BUKST5IMPP6QW6WE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Compositional Theory of Causally Masked Transformers","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.FL","authors_text":"Franz Nowak, Reda Boumasmoud, Ryan Cotterell","submitted_at":"2026-07-29T14:47:19Z","abstract_excerpt":"What types of decision problems can a causally masked, finite-precision transformer solve for inputs of arbitrary length? Existing answers often rely on idealized arithmetic, but under finite precision, rounding and evaluation order can change what information attention retains and therefore what the model can compute. We develop an algebraic formalization that derives expressivity directly from the model's implemented dynamics. Its central object is its memory; the finite internal state computed by attention that summarizes the information from the prefix available to all future queries. Each"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.26988","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.26988/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-30T01:23:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PPyob3J2hNeJxM5+iMgnkztOuVvSD0GaGgwC+Nj0mTlOOyYvfx1SKWRgeEspiUMgeAlt4SNHoSaUJvS8ZZSwAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T17:16:30.870324Z"},"content_sha256":"047f9d39829768bfd50e5a58ca307db5fadc0de8b2724826b1c79aba2d179e72","schema_version":"1.0","event_id":"sha256:047f9d39829768bfd50e5a58ca307db5fadc0de8b2724826b1c79aba2d179e72"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:6HVTL643W2BUKST5IMPP6QW6WE","target":"integrity","payload":{"note":"Identifier '10.1207/s15516709cog1402' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","snippet":"Elman, Jeffrey L. , title =. Cognitive Science , year =. doi:https://doi.org/10.1207/s15516709cog1402\\_1 , url =","arxiv_id":"2607.26988","detector":"doi_compliance","evidence":{"doi":"10.1207/s15516709cog1402","arxiv_id":null,"ref_index":58,"raw_excerpt":"Elman, Jeffrey L. , title =. Cognitive Science , year =. doi:https://doi.org/10.1207/s15516709cog1402\\_1 , url =","parse_status":"well_formed","verdict_class":"cross_source","checked_sources":["crossref_by_doi","openalex_by_doi","doi_org_head"],"resolution_status":"hard_miss"},"severity":"critical","ref_index":58,"audited_at":"2026-07-30T14:51:42.855872Z","event_type":"pith.integrity.v1","detected_doi":"10.1207/s15516709cog1402","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"unresolvable_identifier","evidence_hash":"a31cca3f47ca121695e840afe883e568379237d4e585204cee6144f069710be6","paper_version":1,"verdict_class":"cross_source","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":13960,"payload_sha256":"cb1e6eea7599f664e6ef8c5636a4e663ae20287ef287e0b106c2365ce934de4b","signature_b64":null,"signing_key_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-30T14:56:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eCj24BEMVbAa5do0h7b9wdW2qvsSs1CMxBXvpU6VtQNjzepoK7LtQ33USJHdadHAVq9CSrjvV2r12TdTbX6HBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T17:16:30.873192Z"},"content_sha256":"710540308c36b832c47c70d55473da20b91ab1e4da724b61d995af21a90d5e6e","schema_version":"1.0","event_id":"sha256:710540308c36b832c47c70d55473da20b91ab1e4da724b61d995af21a90d5e6e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6HVTL643W2BUKST5IMPP6QW6WE/bundle.json","state_url":"https://pith.science/pith/6HVTL643W2BUKST5IMPP6QW6WE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6HVTL643W2BUKST5IMPP6QW6WE/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-08-05T17:16:30Z","links":{"resolver":"https://pith.science/pith/6HVTL643W2BUKST5IMPP6QW6WE","bundle":"https://pith.science/pith/6HVTL643W2BUKST5IMPP6QW6WE/bundle.json","state":"https://pith.science/pith/6HVTL643W2BUKST5IMPP6QW6WE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6HVTL643W2BUKST5IMPP6QW6WE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:6HVTL643W2BUKST5IMPP6QW6WE","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":"84dd9cf174f6e0d0fd4c1225c178fd7baedacf1fa295037412b2e9d0d5d043a7","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2026-07-29T14:47:19Z","title_canon_sha256":"232108c35116f47df6a9e5329619468e2c3b1767a34707aee5ae499a7e582233"},"schema_version":"1.0","source":{"id":"2607.26988","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.26988","created_at":"2026-07-30T01:23:15Z"},{"alias_kind":"arxiv_version","alias_value":"2607.26988v1","created_at":"2026-07-30T01:23:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.26988","created_at":"2026-07-30T01:23:15Z"},{"alias_kind":"pith_short_12","alias_value":"6HVTL643W2BU","created_at":"2026-07-30T01:23:15Z"},{"alias_kind":"pith_short_16","alias_value":"6HVTL643W2BUKST5","created_at":"2026-07-30T01:23:15Z"},{"alias_kind":"pith_short_8","alias_value":"6HVTL643","created_at":"2026-07-30T01:23:15Z"}],"graph_snapshots":[{"event_id":"sha256:047f9d39829768bfd50e5a58ca307db5fadc0de8b2724826b1c79aba2d179e72","target":"graph","created_at":"2026-07-30T01:23: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":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.26988/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"What types of decision problems can a causally masked, finite-precision transformer solve for inputs of arbitrary length? Existing answers often rely on idealized arithmetic, but under finite precision, rounding and evaluation order can change what information attention retains and therefore what the model can compute. We develop an algebraic formalization that derives expressivity directly from the model's implemented dynamics. Its central object is its memory; the finite internal state computed by attention that summarizes the information from the prefix available to all future queries. Each","authors_text":"Franz Nowak, Reda Boumasmoud, Ryan Cotterell","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2026-07-29T14:47:19Z","title":"A Compositional Theory of Causally Masked Transformers"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.26988","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:4233fa645201dbcb369a1ea311d937eafb6de2db703db26b07d6b6d877ab4fc4","target":"record","created_at":"2026-07-30T01:23: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":"84dd9cf174f6e0d0fd4c1225c178fd7baedacf1fa295037412b2e9d0d5d043a7","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.FL","submitted_at":"2026-07-29T14:47:19Z","title_canon_sha256":"232108c35116f47df6a9e5329619468e2c3b1767a34707aee5ae499a7e582233"},"schema_version":"1.0","source":{"id":"2607.26988","kind":"arxiv","version":1}},"canonical_sha256":"f1eb35fb9bb683454a7d431eff42deb12aa6f7edf8798594f5274901ae4a9e89","receipt":{"builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f1eb35fb9bb683454a7d431eff42deb12aa6f7edf8798594f5274901ae4a9e89","first_computed_at":"2026-07-30T01:23:15.745648Z","kind":"pith_receipt","last_reissued_at":"2026-07-30T01:23:15.745648Z","receipt_version":"0.3","signature_status":"unsigned_v0"},"source_id":"2607.26988","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4233fa645201dbcb369a1ea311d937eafb6de2db703db26b07d6b6d877ab4fc4","sha256:047f9d39829768bfd50e5a58ca307db5fadc0de8b2724826b1c79aba2d179e72","sha256:710540308c36b832c47c70d55473da20b91ab1e4da724b61d995af21a90d5e6e"],"state_sha256":"99baa66cdb5d1c521c4b330901cbf215b88ae8d54f0e0db626cde77b9d12a450"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JNxDoin+1NBjaDHxyhtj8jbeB0+mo2dKXHMI4YfXbGAY5XvwR81+Mr4cm1pMZCBvu0In5TBc0zTMtXtk2jQoBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T17:16:30.874823Z","bundle_sha256":"745d173fbcccf76ee8cf97eb8fb32a2d51d0ba59334fb263c2e5989fa7153119"}}