Governed Persistent Memory

这项工作把长期记忆定义成可审计的双时态状态机，写入前校验来源，冲突时隔离，撤回或删除后禁止复活，释放声明则默认 fail-closed。治理实现匹配全部 3,600 个测试；最强的简单策略只对 1,800 个，且在违规情形中有一半会释放不该出现的内容。模型检查遍历 331,776 个语义状态与 1,990,656 个查询状态而未见反例，不过作者明确把结论限定在给定契约和状态边界内，而非宣称系统记忆等同于现实真相。