{"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"}