编码代理的循证记忆：可复现的项目历史替代方案

编码代理通常通过重放冗长历史或传递简短摘要来获取项目上下文，但前者昂贵且嘈杂，后者难以审计。文章提出第三种设计：保留权威的本地记录，从中派生可搜索视图，并编译任务特定的上下文包，其声明指向精确证据。开源实现Qarinah采用追加式账本存储事件，支持重建SQLite、图、Markdown等视图，并通过有界检索生成带引用的上下文包。该设计分离了权威性、检索和模型上下文，防止索引或摘要成为事实来源。Qarinah初始化于工作区，受机器本地许可控制，不抓取隐藏推理或私有记录。事件链通过哈希确保连续性，但区分声称、推断和验证的置信度。该模式优化读取路径，但保持可重建性。