inspeximus 是一个面向 AI 智能体的自校正记忆层，以零依赖 Python 文件加 MCP 服务器形式提供。其核心设计目标是解决一个常被忽视的问题：当已存储的事实后来被证明是错误时，系统应如何处理。它不依赖嵌入漂移或“LLM 通常选择较新值”这类启发式方法，而是按 key 确定性地退役旧值，并使该退役成为可审计、可回退、可证明的记录。
用途与主要能力 inspeximus 适用于智能体连续运行数天、其持有的事实会发生变化，且事后有人需要询问“智能体当时知道什么”以及“它擦除了什么”的场景。它支持取代、回退或遗忘某个值，并提供以下能力：
- 确定性取代：通过 key 写入新值后，旧值被退役；再次写入旧值也不会使其复活，这是最近性规则无法做到的。回退需显式使用 remember(..., reaffirm=True)。
- 权威机制：可选启用 Inspeximus(path, supersession="authority")，使较弱来源无法覆盖较强来源。摘要会通过 derived_from 携带其最弱父级的权威值，防止以全权威重述谣言。权威规则仅在双方都声明权威值时生效。
- 防篡改收据：启用 receipts 后，每次写入加入哈希链。可调用 verify_writes() 检测库外编辑。对已有无链记录，可执行一次回填调用，为每条记录生成收据。
- 擦除证明：擦除操作会在与删除相同的事务中，从日志行中移除该记录的 key（行保留并标记 key_redacted），从而避免命名个人的 key 比擦除本身存活更久。擦除证明仅覆盖此存储，不覆盖向量索引、提示日志或备份；它是完整性原语，不是合规认证。
- 动作账本：将智能体动作与其当时持有的记忆绑定，记录存储状态摘要和最近一次召回返回的 id。默认内容无存储，输入输出以加盐 SHA-256 摘要形式保存。签名使用存储的收据密钥。支持 led.matches(seq, inputs=prompt, output=answer) 验证给定提示和输出是否与记录一致。
- 多进程支持：行写入器在写入行的事务内向 memory_events 追加无内容行，其他进程可按 seq 跟踪表并在下次调用时看到提交，无需重载或代理。
- 事件类型：包括监督记录（led.oversight）、披露记录（led.disclosure）、主体权利导出（export_subject）、更正（rectify）、事件记录（led.incident）等。
- 合规证据：inspeximus compliance 按条款打印证据。assessor_pack() 渲染 Annex IV、部署者报告（含 DPIA 和 FRIA 附录）、Annex VIII 导出和审计包。inspeximus technical-documentation --out annex_iv.md 生成 Annex IV 骨架，inspeximus deployer-report --out deployer.md 生成部署者侧报告，inspeximus registration-export --section A 写入 Annex VIII 字段。这些文档会标记所有未能填写的字段，不会在字段未回答时自称完整。
- 收据链管理：支持 inspeximus receipts enable --backfill 从 shell 启用并回填；支持 inspeximus actions archive --keep-days 400 归档旧条目并生成签名检查点；支持 inspeximus actions attest --policy-days 183 --actor dpo 附加签名声明；支持 inspeximus actions timestamp --url https://freetsa.org/tsr 通过 RFC 3161 权威机构为尾部加盖时间戳；支持 inspeximus actions timeline --session s1 从链重建单一工作流，内容无存储。
使用方式 安装与基础使用可通过 GitHub 仓库和 PyPI 获取。快速开始、迁移指南（如从 mem0 迁移）及完整文档见项目仓库。MCP 服务器可通过 INSPEXIMUS_ACTIONS=1 记录每次工具调用。LangChain 集成通过 inspeximus.integrations.langchain.InspeximusActionCallback 记录工具和模型调用。
适用场景
- 智能体长期运行、事实动态变化的记忆管理。
- 需要事后审计智能体知识状态和擦除操作的场景。
- 需要生成 EU AI Act 和 GDPR 相关证据文档的组织。
- 需要多进程共享同一存储且避免代理的场景。
限制与说明
- 擦除证明仅覆盖自身存储，不覆盖向量索引、提示日志或备份。
- 它是完整性原语，不是合规认证；认证需由他人单独完成。
- 不适合需要托管服务、仪表盘、文档知识图谱或对话召回基准最高分的场景。
- 无 key 的语句写入属于新事实而非更正，不受守卫约束。
- 权威规则存在已知错误形状：系统以全权威播种的事实在智能体以低于其权威写入时无法被更正。
- 基准测试数据：在 MemTX 语料库上，默认模式在 318 个可重放案例中 278 个服务于标注信念，authority 模式为 307 个。
- 部分功能（如 Annex IV 文档）包含 24 个提供者字段标记为 OPERATOR INPUT REQUIRED。
- 关于被归档的日志老化报告在日志未达到六个月底线前报告为“尚不可测试”。
分类依据：该项目为 AI 智能体提供记忆层，但并非智能体本身，且不属于明确的编程、图像、视频等类别，故归入其他 AI 工具。
