六个部分,一根主干
每个部分单独都很有用。它们之间的连接模式是冻结的,只允许增补,因此新代理或新检查可以插入,无需触碰主干。
存储与投影
每个仓库一个存储,并投影到每个代理自己的文件里——CLAUDE.md、AGENTS.md、.kiro、copilot-instructions。有两个哈希:一个在源头移动时变旧失效,另一个拒绝覆盖人工修改。内部规则可以在仓库之间流动;地图和产品说明则保留在本地。
符号索引
tree-sitter 支持 8 种语言:Rust、Python、JS、TS/TSX、Go、Java、C#。代理根据大纲和符号工作,只在需要时才拉取完整函数体。
规格 → 计划 → 任务
可审查的文件,而不是聊天记录。需求使用 EARS 格式;每条标准都带有一个可以说“不”的判定器。
G0 – G4
五个检查点,三种判定结果。爆炸半径根据导入图计算并反复核验,而不是盲目相信。
轨迹与打包
每次运行都是一条事件流,可以导出并根据其清单重新验证。审批与工件的哈希绑定。