negative ledger · Pi 编码智能体

主要功能

• 不是 memory不存正面知识、不做语义回忆。
• 一次工具调用失败（非零退出码、FSNOTFOUND 等）→ 记录一条负结论：outcome 见证（退出码、错误码）+ precondition 见证（来自 DSH fs/observed 的文件状态）。
• 存储连接与后台失效队列由插件 fiber 持有卸载时先 drain 队列再关闭存储（HMR 安全）。
• 单写者 JSONL（旧版）backend: jsonl 保留 v0 单进程存储，供迁移与调试
• 该后端不支持多进程并发写。