MemTX preprint adds transactional belief commits to shared agent memory

A new arXiv preprint introduces MemTX, a transactional belief-commit protocol for persistent shared memory used by coordinating large language model agents. The authors argue that current agent memory systems treat every accepted write as immediately actionable truth, so a polluted tool result, stale update, or incomplete teammate note can drive irreversible actions. Under MemTX, each record carries evidence, permissions, provenance, and validity. Writes are staged in snapshot-isolated transactions and admitted through a validate-and-commit pipeline. Irreversible tool calls are gated on in-flight belief state, and retracting a belief triggers typed cascading repair of derived records and tool side effects. The paper reports that two invariants, action-safety gating and cascade-repair completeness, were machine-checked with property-based testing and bounded exhaustive enumeration of 5.5 million protocol states with zero violations. Across five backbones from three model families, MemTX led eight baselines on most comparisons, with paired McNemar significance on four backbones and a statistical tie on the strongest fifth, while remaining the only method with zero downstream harm on every backbone, the abstract states.