AINeutralarXiv – CS AI · 9h ago6/10
🧠
TOKI: A Bitemporal Operator Algebra for Contradiction Resolution in LLM-Agent Persistent Memory
TOKI is a formal framework that types contradiction resolution in LLM-agent persistent memory systems as a write-time concurrency control problem. The research proves that four common heuristics used in production systems admit unspecified isolation levels and anomalies, and proposes a bitemporal operator algebra with audit-row provenance that excludes three critical write-time anomalies while maintaining language-model oversight.