Napier · 可检查的运行时
把执行、恢复与回放串起来的证据账本。
解决什么问题
Napier 是围绕有序证据账本组织的本地优先 Agent 运行时。消息、模型调用、工具、目标、分支、产物与控制决策统一记录；聊天和检查界面是这份记录的不同视图。
它关注长任务能否被检查、恢复和核验。与 Anera 从任务到成果的桌面流程相比，Napier 更强调记录、续跑、分支和验证工作的运行时约定。
持久化证据
SQLite WAL 是本地持久状态的依据。事件提交在 BEGIN IMMEDIATE 事务内检查幂等键、预期版本或运行头位置，再校验事件是否可接纳。重复事件可以返回已有记录，而不再追加为第二次结果。
终态转换还检查工具效果的执行权：仍有活跃工具可能产生外部效果时，不能轻率地把运行标为已结束。JSON、JSONL 属于兼容视图，不是另一套权威账本。
续跑、分支与回放
续跑继续符合条件的中断工作；分支从明确的记录边界建立后续路径；回放重建并核验已经记录的证据。回放不会重新调用模型，也不会重做工具副作用。
中断恢复会协调持久化终态证据、丢失的执行租约和失去归属的交互。如果外部效果已经跨过持久边界、但结果仍未知，就可能进入不确定状态，不能悄悄把它当作可以安全重做的操作。
策略与上下文
工具策略在真正执行前检查，应用运行模式限制与浏览器交互确认规则。策略决策属于运行时，而不是模型可以忽略的一段说明。
上下文压缩保留目标、修改、产物路径、验证、失败记录和后续动作。旧摘要与摘录仍作为不可信材料处理；压缩也属于同一运行并计入其预算。
访问与边界
核验时仓库为公开状态，并包含 MIT 许可证。这更新了站点此前“仓库私有”的旧描述。架构以本地优先为出发点，使用 Node.js、TypeScript、SQLite，并提供 Web 与 CLI 检查入口。
已记录证据可被核验，符合条件的工作可续跑；这并不保证任意外部动作都可逆，也不保证每个中断任务都能安全继续。