toki-bitemporal-memory

TOKI 是一个面向大语言模型智能体持久化记忆的双时态（bitemporal）操作代数参考实现，用于系统性解决信念更新中的矛盾消解问题。其核心功能包括四类带隔离前提与溯源标注的双时态操作符（如LWW/RC、Evidence/SI等），支持在写入时生成live+audit双行记录，并通过三轴（隔离性、模式一致性、溯源完整性）soundness合约规避重放不一致、信念漂移和审计擦除等写时异常。适用于需要高可信度、可审计、版本化知识管理的LLM智能体长期记忆系统。