证明循环（Proof Loop）

Proof Loop 一个 sprint 直到每个验收标准都从一个新鲜的验证器会话中获得 PASS 判决时才算完成。请阅读 references/workflow.md 以获取完整的循环规范。请阅读 references/brief-template.md 以获取代理简介格式。请阅读 references/artifacts.md 以获取工件模式。 循环规范冻结 -> 构建 -> 证据 -> 新鲜验证 -> 修复 -> 新鲜验证 ^ | |______________________| (重复直到所有验收标准 = PASS) 四个角色 — 始终分离的角色 Spec-Freezer 写入 spec.md 文件，包含明确的验收标准 编辑生产代码 Builder 根据冻结的规范实施 验证自己的工作 Verifier 新鲜会话 — 为每个验收标准提供判决 编辑生产代码 Fixer 为验证器标记的内容提供最小修复 签署完成 验证器始终是一个新鲜的会话。构建代理不能判断自己的工作。 验收标准格式 每个 sprint 简介必须在构建开始前包含明确的验收标准： AC1：[具体的、可测试的条件 — 不是任务描述] AC2：[具体的、可测试的条件] AC3：[具体的、可测试的条件] 好： "AC1：德语区域的用户看到所有提示表单字段标签都以德语显示" 坏： "AC1：翻译表单字段" sprint 完成的条件 仅当每个验收标准在验证器的 verdict.json 中都获得 PASS 判决时 problems.md 中没有问题 完整的回归测试套件通过（如果适用） 存储在仓库中的工件 .agent/tasks// spec.md -- 冻结的验收标准 + 约束 + 非目标 verdict.json -- 每个阶段的验收标准判决（PASS/FAIL/UNKNOWN） problems.md -- 具体的失败信息，包括文件/行引用（如果有） 请参阅 references/artifacts.md 以获取模式。 使用 GitHub 和 API 进行协作。 使用 CLI 进行自动化。