{"name":"attempt_completion","arguments":{"result":"以下为《BMAD-Solo 业务流驱动的 Agent 文档与任务治理落地规范》工程草案，采用任务单元贯穿 Plan–Act，并将机器检查与独立审查落实为下游释放条件。本次仅交付规范，不实施生产代码，不迁移、删除或覆盖现有资产。\n\n- 单 Agent 可以切换职责视角，但不能仅凭切换提示词取得独立审查资格。\n- 任务契约、检查证据、审查结论与公共领域规范各有唯一权威位置，不建立角色文档孤岛。\n- 模板和配置片段是待实例化的设计资产，不代表控制器、宿主隔离或门禁已经实现。\n\n# BMAD-Solo 业务流驱动的 Agent 文档与任务治理落地规范\n\nEngineering Specification Draft · 版本 0.1 · 状态 PROPOSED · 日期 2026-10-27\n\n## 0. 适用范围与规范性约定\n\n### 0.1 目标与边界\n\n本规范面向 dotfiles-bmad-solo 及其承载的项目，定义从需求澄清、设计、实施、审查到交付的端到端任务治理契约。\n\n唯一业务流为：目标进入 → Plan 分析 → Plan 架构 → Act 实施 → Act 审查 → 受控交付。Analyst、Architect、Coder、Supervisor 是流内职责，不是必须部署的四个独立 Agent 进程。\n\n本规范不授权下列操作：\n\n- 修改生产代码、执行实验、安装依赖、激活宿主或修改真实宿主配置。\n- 覆盖未完成任务、恢复历史执行实例、删除唯一证据。\n- 提交、合并、推送、部署、转正既有 ADR 或更新项目事实基线。\n\n文中的“必须”“禁止”为验收要求；“建议”为可调整设计。调整必需门禁、权限边界或交付范围，必须形成新的契约版本并重新授权。\n\n### 0.2 理论采用与证据边界\n\n- 按本次委托采用徐直军《谈业务、流程、IT、质量、运营的关系》的业务流原点、工序职责、刚刚好数据和流程内控原则。本次未取得该文的一手完整原文，不作逐字引述，也不把本规范的工程字段归为作者原有定义。\n- 检索返回了 AutoSwarm: Automating Agent Swarms 的论文题名记录，但不足以独立核验其 v1 全文和本次委托给出的具体公式。[1](cite:1)\n- 因此，Task Unit、CS 和双重门禁在本文中作为用户明确指定的设计约束采用；具体字段、状态机、证据格式与签章机制是本规范的工程化提案，不冒充论文原有实现。\n- 对目标 Roo Code / Cline 版本的真实加载、工具拦截和合入保护：证据不足。配置片段只说明映射方法，运行时能力必须另行验收。\n\n### 0.3 三遍阅读与最小充分裁决\n\n1. 第一遍明确目标、业务不变量、使用者、输入、输出、验收与必要非目标。\n2. 第二遍逐项区分用户要求、源码事实、一手资料、真实回执、推断和未知，并将关键依据定位到文件或锚点。\n3. 第三遍虚拟重实现，推演状态转换、边界条件、异常与恢复路径；推演不得登记为实测通过。\n\n先筛选权限、兼容性、资源和时间等硬门禁，再比较候选。未知不登记通过；没有可靠量化依据时使用定性比较，不编造分数或效果承诺。\n\n### 0.4 单一权威源与目标拓扑\n\n以下路径均为目标布局；链接不表示这些资产已在本次创建。\n\n| 工件 | 唯一职责 | 禁止承载 |\n|---|---|---|\n| [`AGENTS.md`](AGENTS.md) | 公共纪律、业务流导航、权限和验证入口 | 逐轮执行日志、第二份任务状态 |\n| [`specs/tasks/`](specs/tasks/) | 任务契约及生命周期数据 | 按 Analyst、Coder 等角色拆分的契约副本 |\n| [`specs/tasks/TU-.md`](specs/tasks/TU-.md) | 一个任务单元的交付契约、紧凑当前状态、审查签章 | 全量聊天、自测原始输出、无关研究 |\n| [`specs/tasks/_active.md`](specs/tasks/_active.md) | 当前交互焦点的唯一指针 | 任务状态、完整计划、检查结果副本 |\n| [`specs/.md`](specs/.md) | 已释放版本的长期领域不变量与接口规范 | 未过审假设、工单流水 |\n| [`verification/TU-.verdict.json`](verification/TU-.verdict.json) | 由可信执行器生成的当前机器判定 | 模型手写 PASS、审查签章 |\n| [`verification/runs/`](verification/runs/) | 按任务与运行标识隔离的原始回执 | 任务契约和人工审查结论 |\n| [`specs/tasks/archive/`](specs/tasks/archive/) | 封存的完成契约或历史来源 | 自动执行队列 |\n| [`docs/adrs/`](docs/adrs/) | 必要架构取舍及替代关系 | 第二份任务执行进度 |\n| [`docs/analysis/`](docs/analysis/) | 获准保存的分析与研究材料 | 替代任务交付契约 |\n\n单一权威源按事实类型划分，而不是要求所有信息塞进一个文件：任务契约由任务文件承载；机器观测由原始回执承载；机器汇总由判定文件生成；独立审查结论由任务文件中的签章区承载；已发布领域知识由领域规范承载。\n\n平台 TODO 和检查清单只展示任务文件的状态或引用真实回执。门禁程序未接管前，必须披露人工维护缺口，不同时维护另一份可写状态。\n\n### 0.5 旧布局退出原则\n\n目标体系不再创建新的旧式输出任务；但“废除模型”不等于直接删除 [`_bmad-output/`](_bmad-output/) 中的历史资产。\n\n迁移必须先适配消费者，再逐文件转换、复核引用和保全历史。存在旧活动任务时，其授权、未完成义务和唯一证据不得丢失，也不得与新任务并行成为同一任务的两个权威入口。\n\n本草案不是上述迁移的执行授权。\n\n## 模块一：Plan–Act 业务流中的角色嵌入\n\n### 1.1 工序与职责\n\n| 业务工序 | 职责视角 | 必须完成 | 禁止越界 | 工序出口 |\n|---|---|---|---|---|\n| Plan 前半段 | Analyst | 提炼目标、不变量、验收、约束、输入证据和未知 | 预先指定未经论证的实现；运行实测冒充分析 | Task Spec Draft |\n| Plan 后半段 | Architect | 固化接口、所有权、依赖、精确交付清单、检查及失败恢复 | 虚构已存在接口或验证资产；扩大授权 | 经批准的冻结契约 |\n| Act 前半段 | Coder | 按冻结契约实施；保护既有改动；提供候选和自测定位 | 改验收以迁就实现；签独立审查章 | 可重验候选及自测证据 |\n| Act 后半段 | Supervisor | 按 CS 重核机器断言，反向审查并形成批准或返工建议 | 修改被审实现后继续签章；接受自己的实现 | 独立审查签章或拒绝结论 |\n\n工序内交接仍是同一任务单元的工作材料，不构成“已接受任务依赖”。冻结契约进入编码依赖立项批准和契约校验；最终任务释放才要求机器检查与独立审查同时满足。不得用“最终验收尚未完成”阻断合法编码，也不得把内部草稿当作已验收产物释放给其他任务。\n\n### 1.2 职责切换契约\n\n每次工序切换必须重新确认：\n\n1. 实际宿主模式和可用工具。\n2. 当前任务路径、任务标识、契约版本与执行实例。\n3. 用户批准的操作、阶段、写入范围与外部访问范围。\n4. 进入工序的前置条件、未完成义务和有效证据。\n5. 本工序职责及禁止行为。\n\n职责名称是行为路由，不是权限令牌。角色文字变化不得新增工具权限；Act 按钮不得自动授予合并或部署权限。\n\n### 1.3 单会话中的职责分离\n\n同一模型从 Coder 切换成 Supervisor，只能提供审查辅助。新的标题、不同提示词、清空上下文或换一个模型名称，都不构成可认证的独立审查主体。\n\n正式批准至少采用一种独立信任边界：\n\n- 独立的人类审查者亲自核验候选与证据，通过受保护审批入口签章。\n- 经批准的独立审查服务，使用实现方不可使用的审查身份与凭据签章。\n\n这不要求把 BMAD-Solo 改造成多 Agent 调度系统；单体引擎仍负责业务流，最终签章权由独立主体持有。\n\n若独立审查主体不可用，允许提交审查材料，但任务不得进入 ACCEPTED。参与实现的人不能换一个账号或角色标签后自批。\n\n### 1.4 上下文加载与清洗契约\n\n常驻上下文只保留公共纪律、当前授权和业务流导航。详细输入按当前工序冷加载。\n\n| 工序 | 必需加载 | 默认不加载 |\n|---|---|---|\n| Analyst | 用户目标、相关领域锚点、必要现状证据 | 全量历史日志、无关 ADR、其他任务正文 |\n| Architect | 分析结论、相关接口、影响边界、验证入口 | 分析过程全文、已经淘汰候选的长篇推演 |\n| Coder | 冻结 CS、相关源码、检查、失败恢复 | 全部研究笔记、其他角色完整提示词 |\n| Supervisor | 冻结 CS、候选差异、机器判定、关键原始回执 | Coder 的自我辩护长对话和全量试错过程 |\n\n清洗必须满足：\n\n- 工序切换、新执行实例、上下文压缩、重要契约变化和审查开始时，重新加载权威定位。\n- 接管摘要最多 80 行，并另设宿主实际支持的字节预算；这是交接上限，不是整份任务契约的行数限制。\n- 摘要保留目标、授权、任务身份、全部未完成义务、阻塞、候选身份及证据定位。\n- 无法在预算内保留必要内容时，停止并拆分加载，不静默删掉未完成事项。\n- 历史对话只按必要定位读取；不得要求持久保存模型内部思考链。\n- 摘要不是证据。恢复后必须重新定位原始回执，不凭摘要继承绿灯。\n- 仅保存摘要或状态不触发业务重测；实现、契约、检查、关键依赖或环境变化才使相关证据失效。\n\n独立审查应从干净、经过定位的材料开始，而不是依赖实现会话记忆；但干净上下文本身仍不能证明身份独立。\n\n## 模块二：任务工件、字段与完整模板\n\n### 2.1 标识与解析规则\n\n- 任务标识全局唯一，建议由日期与稳定序号组成；重放或新的已接受特性修改使用新任务标识。\n- 一个任务文件只承载一个可验收交付单元。规模过大时拆分子任务，并显式声明依赖。\n- 所有路径相对工作区根目录，不允许绝对路径、上级目录穿越或逃逸工作区的链接。\n- YAML 使用受限安全解析：禁止自定义标签、别名、重复键和隐式执行；时间保持字符串；未知字段按契约版本拒绝。\n- 文档锚点必须存在且唯一。源文件定位可使用一基行号范围，并绑定来源内容摘要。\n- 正文用于解释；新增强制要求必须进入结构化 CS 或输入契约，不能藏在未绑定的叙述中。\n\n### 2.2 完整任务模板\n\n模板目标为 [`specs/tasks/TU-20261027-001.md`](specs/tasks/TU-20261027-001.md)。其中拟新增的 [`scripts/task_gate.py`](scripts/task_gate.py)、[`tests/roo_contracts/test_task_gate.py`](tests/roo_contracts/test_task_gate.py) 和 [`specs/task-governance.md`](specs/task-governance.md) 均为示例待实现资产，不是当前可运行入口。\n\n```yaml\n---\nschema_version: 1\ntask_id: TU-20261027-001\nparent_objective:\n objective_id: OBJ-TASK-GOVERNANCE\n statement: 建立不会执行任务内命令的任务引用校验入口\ncontract_revision: 1\ncontract_status: DRAFT\nexecution_instance: 1\norigin_task_ref: null\ncurrent_stage: PLAN_ANALYSIS\nactive_role: Analyst\ngate_status: READY\nblocker: null\n\nauthorization:\n approval_ref: null\n approved_by: null\n approved_at: null\n operations: []\n write_paths: []\n network_allowed: false\n merge_allowed: false\n deployment_allowed: false\n\ninputs:\n - input_id: INPUT-DOMAIN\n kind: DOMAIN_SPEC\n path: specs/task-governance.md\n anchor: task-routing\n line_range: null\n expected_sha256: null\n required: true\n availability: PLANNED\n - input_id: INPUT-REGRESSION\n kind: SOURCE\n path: tests/roo_contracts/test_document_test_governance.py\n anchor: null\n line_range: \n expected_sha256: null\n required: true\n availability: UNVERIFIED\n\ndependencies: []\n\ncs_specification:\n outcome: 静态校验任务身份、引用及工作区边界，不执行任务中的命令\n non_goals:\n - 不安装或激活宿主\n - 不执行任务的生产操作\n deliverables:\n - path: scripts/task_gate.py\n operation: CREATE\n purpose: 任务契约与引用的静态校验入口\n availability: PLANNED\n - path: tests/roo_contracts/test_task_gate.py\n operation: CREATE\n purpose: 校验器正常路径和拒绝路径回归\n availability: PLANNED\n - path: specs/task-governance.md\n operation: CREATE\n purpose: 已审查任务引用契约的领域规范\n availability: PLANNED\n invariants:\n - invariant_id: INV-NO-EXEC\n statement: 静态校验不得启动任务内声明的命令\n - invariant_id: INV-BOUNDARY\n statement: 引用不得逃逸工作区或静默替换显式任务\n interfaces:\n - interface_id: IF-VALIDATE\n input: 一个显式任务路径和工作区根目录\n output: 结构化有效或无效结论及错误分类\n errors:\n - NOT_FOUND\n - PERMISSION_DENIED\n - IO_ERROR\n - FORMAT_INVALID\n - OUTSIDE_WORKSPACE\n acceptance_criteria:\n - criterion_id: AC-VALID\n assertion: 合法契约可以通过，不能采用永远拒绝的实现\n invariant_refs: [INV-BOUNDARY]\n check_refs: [KCP-TASK]\n - criterion_id: AC-NEGATIVE\n assertion: 缺失、非法、越界引用被拒绝且不执行任务命令\n invariant_refs: [INV-NO-EXEC, INV-BOUNDARY]\n check_refs: [KCP-TASK, KCP-REGRESSION]\n downstream_contract:\n output_refs: [IF-VALIDATE]\n prohibited_use:\n - 将静态校验通过解释为任务实施获准或运行已通过\n\nkcp_verification:\n execution_policy:\n serial: true\n stdin: CLOSED\n network: DENY\n dependency_install: DENY\n kill_grace_seconds: 2\n cleanup_required: true\n checks:\n - check_id: KCP-TASK\n kind: TEST\n required: true\n asset_status: PLANNED\n cwd: .\n argv:\n - python3\n - -B\n - -m\n - unittest\n - discover\n - -s\n - tests/roo_contracts\n - -p\n - test_task_gate.py\n - -v\n timeout_seconds: 30\n environment: {}\n result_adapter: unittest_summary_v1\n success_exit_codes: \n min_collected: 1\n required_case_refs: [AC-VALID, AC-NEGATIVE]\n allow_required_skips: false\n - check_id: KCP-REGRESSION\n kind: TEST\n required: true\n asset_status: UNVERIFIED\n cwd: .\n argv:\n - python3\n - -B\n - -m\n - unittest\n - discover\n - -s\n - tests/roo_contracts\n - -p\n - test_document_test_governance.py\n - -v\n timeout_seconds: 30\n environment: {}\n result_adapter: unittest_summary_v1\n success_exit_codes: \n min_collected: 1\n required_case_refs: [AC-NEGATIVE]\n allow_required_skips: false\n verdict_ref: verification/TU-20261027-001.verdict.json\n\ncandidate:\n subject_digest: null\n manifest_ref: null\n author_principals: []\n\nsod_review:\n status: PENDING\n reviewer_principal: null\n reviewer_type: null\n reviewed_subject_digest: null\n reviewed_contract_digest: null\n reviewed_verdict_digest: null\n report_anchor: review-report\n findings: []\n known_limitations: []\n downstream_guidance: []\n signature:\n scheme: null\n key_id: null\n attestation_ref: null\n value: null\n signed_at: null\n\nrelease:\n published_ref: null\n published_subject_digest: null\n promotion_refs: []\narchive:\n archived_at: null\n archive_ref: null\n---\n```\n\n任务正文模板如下。这里的占位提示必须在实例化时完成或删除，不得作为可执行契约留下。\n\n```markdown\n# TU-20261027-001：任务引用校验\n\n\n## 业务目标与边界\n\n说明用户、触发条件及目标结果；强制范围以结构化 CS 为准。\n列出当前阻塞和不依赖该阻塞的已成立结论。\n\n\n## 证据与未知\n\n| 主张 | 分类 | 来源定位 | 当前可支持的结论 |\n|---|---|---|---|\n| 待填写 | 用户要求／源码／实测／推断／未知 | 待填写 | 待填写 |\n\n\n## 架构说明\n\n解释结构化接口、数据所有权、依赖及影响边界。\n候选比較必须先过硬门禁；必要取舍引用 ADR，不镜像进度。\n\n\n## 工序交接说明\n\n引用交付项、验收项及输入标识。\n只补充下游操作必需的说明，不复制完整上游材料。\n\n\n## 失败与恢复\n\n说明候选保全、允许修复范围、资源清理和人工升级条件。\n未知清理状态不得登记完成。\n\n\n## 独立反向审查报告\n\n未审查时写明：暂无独立审查签章。\n审查后记录逐项核验依据、反例、风险及结论说明。\n正式结论、局限性及使用指引以结构化签章区为准。\n\n\n## 下游使用说明\n\n引用已签署的使用指引和已发布版本。\n未接受任务不得作为已验收依赖消费。\n```\n\n### 2.3 字段级定义\n\n以下字段定位均指向上面的目标模板，不表示已落盘。\n\n| 字段 | 类型与约束 | 权威含义 |\n|---|---|---|\n| [`schema_version`](specs/tasks/TU-20261027-001.md:1) | 正整数 | 解析器与契约版本，不兼容版本拒绝 |\n| [`task_id`](specs/tasks/TU-20261027-001.md:1) | 唯一字符串，与文件名一致 | 业务流单元身份 |\n| [`parent_objective`](specs/tasks/TU-20261027-001.md:1) | 目标标识和陈述对象 | 为什么存在该任务，不等同依赖 |\n| [`contract_revision`](specs/tasks/TU-20261027-001.md:1) | 单调递增正整数 | 强制要求发生变化时递增 |\n| [`contract_status`](specs/tasks/TU-20261027-001.md:1) | DRAFT / FROZEN | 草稿与获批冻结契约的区别 |\n| [`execution_instance`](specs/tasks/TU-20261027-001.md:1) | 正整数 | 同一未完成契约的执行实例 |\n| [`origin_task_ref`](specs/tasks/TU-20261027-001.md:1) | 来源路径或空值 | 授权恢复或替代的溯源 |\n| [`current_stage`](specs/tasks/TU-20261027-001.md:1) | 五工序枚举 | PLAN_ANALYSIS、PLAN_ARCHITECTURE、ACT_IMPLEMENTATION、ACT_REVIEW、DONE |\n| [`active_role`](specs/tasks/TU-20261027-001.md:1) | 四职责或空值 | 当前行为视角；DONE 使用空值 |\n| [`gate_status`](specs/tasks/TU-20261027-001.md:1) | READY / IN_PROGRESS / IN_REVIEW / ACCEPTED / REJECTED | 放行状态；READY 不等于实施授权 |\n| [`blocker`](specs/tasks/TU-20261027-001.md:1) | 空值或分类、原因、解除条件对象 | 区分环境阻塞、暂停、权限和质量失败 |\n| [`authorization`](specs/tasks/TU-20261027-001.md:1) | 外部批准引用及限定范围 | 声明必须与真实审批匹配，不能自行填写获得权限 |\n| [`inputs`](specs/tasks/TU-20261027-001.md:1) | 输入对象数组 | 消费路径、锚点、版本身份及可用性 |\n| [`dependencies`](specs/tasks/TU-20261027-001.md:1) | 上游任务及接受快照数组 | 必须验证上游 ACCEPTED 且身份匹配；禁止循环 |\n| [`cs_specification`](specs/tasks/TU-20261027-001.md:1) | 结构化交付对象 | 文件清单、不变量、接口、验收和使用边界 |\n| [`kcp_verification`](specs/tasks/TU-20261027-001.md:1) | 执行策略及检查数组 | 必需机械检查与成功条件 |\n| [`candidate`](specs/tasks/TU-20261027-001.md:1) | 候选摘要、清单和实现主体 | C 与 R 共同绑定的被审对象 |\n| [`sod_review`](specs/tasks/TU-20261027-001.md:1) | 结构化审查及签章对象 | 独立审查结论的唯一权威位置 |\n| [`release`](specs/tasks/TU-20261027-001.md:1) | 发布定位和提升引用 | 记录实际释放版本，不自行授权合并 |\n| [`archive`](specs/tasks/TU-20261027-001.md:1) | 封存时间及定位 | 封存元数据，不代表执行授权 |\n\n嵌套字段必须满足：\n\n- 输入必须给出精确文件，并按需要使用锚点或行号；必须输入在冻结前存在、可读且身份明确。\n- 交付清单声明 CREATE、MODIFY 或 DELETE。实际生产差异不得超出清单；运行证据等副产物使用独立允许清单。\n- 每个必需验收项必须映射机械检查或明确的独立审查项目，不接受“整体看起来正常”。\n- 检查必须声明精确参数、工作目录、时限、环境、结果解析器及成功条件。\n- PLANNED 表示待实现；AVAILABLE 表示已确认可用，不表示通过。必需输入缺失阻断冻结；获准实施可以创建计划中的代码与测试资产。\n- 签章中的局限性允许为空，但必须由审查者主动确认；UNKNOWN 不允许被转换为空数组来假装没有局限。\n\n### 2.4 单焦点工件\n\n[`specs/tasks/_active.md`](specs/tasks/_active.md) 仅保存指针：\n\n```yaml\n---\nschema_version: 1\nfocus_generation: 1\ntask_id: TU-20261027-001\ntask_ref: specs/tasks/TU-20261027-001.md\nexecution_instance: 1\n---\n```\n\n无活动任务时，任务标识、引用及执行实例都使用空值。不得把缺失入口解释为错误，也不得自动选择最新归档。\n\n路由顺序：\n\n1. 用户显式指定任务时，只核验该候选，不静默替换。\n2. 未指定时，才读取焦点指针；相关、有效且获准才绑定。\n3. 无焦点时保持空闲、提出新任务或展示匹配候选。历史恢复另需授权。\n\n切换焦点必须使用独占锁和代数比较，防止两个会话抢占。切换未完成任务前，必须明确暂停或交接，保留原任务全部义务；不得覆盖旧任务来制造“只有一个任务”的假象。\n\n### 2.5 状态转换与归档\n\n| 转换 | 必需条件 | 不允许的捷径 |\n|---|---|---|\n| READY → IN_PROGRESS | 冻结契约、真实实施批准、必需输入和依赖有效 | 点击 Act 自动实施 |\n| IN_PROGRESS → IN_REVIEW | 候选已封存、必需检查已取得有效通过回执、审查材料齐备 | Coder 自称通过 |\n| IN_REVIEW → ACCEPTED | 同一候选满足 C 与 R，且任务释放获准 | 模型改状态字段或清单打勾 |\n| IN_PROGRESS / IN_REVIEW → REJECTED | 检查失败、证据不足、签章缺失或审查要求返工 | 降低断言后接受 |\n| REJECTED → IN_PROGRESS | 修复或恢复获准、候选重新绑定、失效证据清除选择 | 沿用旧签章 |\n| ACCEPTED → 封存 | 交付义务完成、下游指引齐备、归档另获批准 | 阶段完成自动全任务归档 |\n\nREJECTED 的含义是“拒绝释放”，不是断言业务实现必然错误。证据缺失、权限拒绝或环境故障必须在阻塞对象中分别说明。\n\n已 ACCEPTED 的任务绑定一个不可变接受快照。后续修改建立新任务，不重写历史接受事实。\n\n归档目标使用 [`specs/tasks/archive/20261027/TU-20261027-001.md`](specs/tasks/archive/20261027/TU-20261027-001.md) 这类包含日期和唯一任务标识的路径，禁止覆盖。步骤为：保全目标 → 核验完整性 → 再核源身份 → 更新引用及焦点 → 经批准移除活动源。任何保存失败或源变化均保留源；不承诺多文件整体原子性。\n\n归档不删除被引用证据，不自动恢复任务，不把未完成任务标为完成。\n\n## 模块三：刚刚好的数据交接契约\n\n### 3.1 上下游数据流\n\n| 交接 | 必须输出 | 禁止输出 | 接收方核验 |\n|---|---|---|---|\n| Analyst → Architect | 目标、使用者、业务不变量、可判定验收、约束、必要非目标、输入定位、未知 | 完整聊天、内部思考链、未经论证的固定技术方案、虚构实测 | 验收是否可观察；不变量是否有来源；未知是否影响方案 |\n| Architect → Coder | 冻结 CS、精确文件与接口、所有权、依赖、检查参数、资产可用性、授权和恢复范围 | 全量研究笔记、评分装饰、未批准部署命令、与任务无关的 ADR | 契约冻结；输入和依赖有效；写入及测试范围获准 |\n| Coder → Supervisor | 候选身份、实际差异、实现主体、检查与原始回执定位、已知不足、验收映射 | 将自审称为独立签章、只给 PASS 摘要、隐瞒跳过项、修改 CS 后不声明 | 候选、契约和回执身份一致；原始证据可重核 |\n| Supervisor → 领域规范 | 已审查不变量、接口、失败语义、验证入口、适用范围、限制及来源任务 | 试错流水、暂定假设、任务状态、未批准的公共规则扩张 | 来源已接受；内容对应发布候选；规范提升获准 |\n\n每次交接必须引用上游，而不是复制上游。不得用“精简”删除验收、授权、限制或未完成事项。\n\n### 3.2 任务边界的释放规则\n\n其他任务只能把已 ACCEPTED 的任务快照作为已验收依赖。消费时必须核对任务标识、契约版本、接受候选摘要及实际输出身份。\n\n明确批准的探索任务可消费草稿，但必须声明其为未验收输入；不得把草稿结果继续作为生产保证传播。缺少必需上游验收时，只阻塞相关依赖，不机械冻结无依赖的事项。\n\n### 3.3 公共领域规范提升\n\n公共规范目标为 [`specs/.md`](specs/.md)，不按角色或日期划分业务领域。\n\n提升采用以下顺序：\n\n1. Architect 将预计规范变化列入 CS 的交付清单。\n2. Coder 在候选中提交精确规范差异。\n3. Supervisor 审查这些差异，而不是在接受后临时编写另一版本。\n4. 获准发布后，将与已审候选相同的内容释放到公共规范。\n5. 领域规范保存来源任务、有效版本及必要 ADR 引用，不复制任务流水。\n\n领域规范最小正文：\n\n```markdown\n# 领域名称\n\n\n## 业务不变量\n\n列出已接受的不变量及其适用边界。\n\n\n## 输入、输出与错误语义\n\n声明接口、所有权、兼容性及失败行为。\n\n\n## 验证入口\n\n引用当前有效的检查入口与必要环境，不保存历次运行结果。\n\n\n## 已知局限性\n\n保留已审查的限制，避免将局部保证外推为全局保证。\n\n\n## 来源与演进\n\n引用接受任务及必要架构决策，不镜像任务状态。\n```\n\n单文件长度按领域复杂度控制，不把固定行数视为模型质量保证。规范更新若与接受候选不同，必须重新审查受影响内容。\n\n## 模块四：内控与双重门禁的物理落地\n\n### 4.1 门禁语义\n\n按本次委托，任务接受条件为：\n\n接受条件 = 机器检查 C ∧ 独立审查 R。\n\n实际下游释放还必须满足授权、依赖、候选身份和交付完整性。因此：\n\n释放条件 = 接受条件 ∧ 释放获准 ∧ 身份一致 ∧ 必需依赖有效 ∧ 交付完整。\n\nC 与 R 都使用 PASS / FAIL / UNKNOWN 的内部判断。只有 PASS ∧ PASS 才满足接受条件；UNKNOWN 不按通过处理。\n\n### 4.2 最小物理信任边界\n\n| 主体 | 可以做什么 | 不可以做什么 |\n|---|---|---|\n| Coder | 修改获准候选、提交检查请求和自测线索 | 写可信回执、持审查凭据、自批接受 |\n| 可信执行器 | 运行批准检查、封存原始回执、生成判定 | 扩大检查范围、替代人审、隐式安装依赖 |\n| 独立审查者 | 重核证据、签署针对精确候选的结论 | 审批本人实现；修改候选后不重验 |\n| 推进入口 | 验证 C、R、授权与身份，再提交状态转换 | 接受模型口头声明、忽略缺失签章 |\n| 发布入口 | 在批准范围内释放已接受候选 | 将接受任务自动解释为部署批准 |\n\n本规范只要求实现检查执行、签章验证和推进验证这几个窄接口，不要求后台调度器或通用多 Agent 控制器。\n\n若所有文件、判定和凭据都可由实现方随意修改，只能称为本地协作纪律，不能声称具备物理职责分离。正式保证必须依赖受保护宿主入口、独立身份或受保护仓库检查，且必须验证覆盖范围。\n\n### 4.3 候选与证据身份\n\n可信执行器必须生成候选清单，覆盖：\n\n- CS 声明的交付文件与实际差异。\n- 相关测试、夹具、检查执行器及门禁策略版本。\n- 被消费的领域规范、上游输出和关键依赖。\n- 实际执行环境、批准范围与必要配置。\n\n文件摘要基于原始字节，不以模型手工计算。契约摘要基于确定的结构化强制字段投影，排除当前状态、签章和运行结果，避免状态保存导致递归失效。\n\n实现时必须固定序列化规则：对象键排序、数组保序、UTF-8、无额外空白、仅允许规范支持的数据类型。契约投影字段由版本定义，禁止实现方自行缩减。\n\n内容摘要证明身份一致性，不单独证明来源真实性；来源真实性由执行器和签章信任边界提供。\n\n### 4.4 机器检查执行规则\n\n1. 校验契约与真实审批，不执行任务文件中的任意未批准命令。\n2. 使用精确参数数组和限定工作目录；默认不经 Shell 拼接。\n3. 串行、前台同步执行，封闭标准输入。\n4. 探测、验证、构建默认分别采用 15、30、600 秒进程级时限，并设置明确终止宽限期。\n5. 测试不隐式联网或安装依赖；环境准备另行授权。\n6. 记录真实退出、超时、收集数、跳过项、关键输出、清理和执行身份。\n7. 未确认进程退出时，不启动下一命令；清理未知时不放行。\n8. 核对执行前后候选身份，避免测试通过后代码已经变化。\n\n不同检查使用不同结果适配器。测试须检查收集数和必需用例；Lint 或语法检查不机械要求测试收集数，但必须有对应成功证据。退出零不是所有检查的充分条件。\n\n### 4.5 当前判定文件格式\n\n格式目标为 [`verification/TU-20261027-001.verdict.json`](verification/TU-20261027-001.verdict.json)。以下是未执行模板，故所有真实观测为空，机器结论 UNKNOWN，绝不构造示例 PASS。\n\n```json\n{\n \"schema_version\": 1,\n \"source\": \"TEMPLATE\",\n \"task_id\": \"TU-20261027-001\",\n \"contract_revision\": 1,\n \"execution_instance\": 1,\n \"contract_digest\": null,\n \"subject_digest\": null,\n \"manifest_ref\": null,\n \"environment\": {\n \"identity_digest\": null,\n \"working_directory\": null,\n \"runtime_versions\": {},\n \"dependency_digest\": null,\n \"policy_digest\": null\n },\n \"runner\": {\n \"principal\": null,\n \"implementation_digest\": null,\n \"attestation_ref\": null\n },\n \"checks\": [\n {\n \"check_id\": \"KCP-TASK\",\n \"run_id\": null,\n \"required\": true,\n \"argv\": [\n \"python3\", \"-B\", \"-m\", \"unittest\", \"discover\",\n \"-s\", \"tests/roo_contracts\", \"-p\", \"test_task_gate.py\", \"-v\"\n ],\n \"cwd\": \".\",\n \"started_at\": null,\n \"finished_at\": null,\n \"process_exited\": null,\n \"exit_code\": null,\n \"timed_out\": null,\n \"cancelled\": null,\n \"collected\": null,\n \"required_cases_observed\": [],\n \"required_cases_skipped\": [],\n \"failures\": null,\n \"errors\": null,\n \"cleanup_status\": \"UNKNOWN\",\n \"result_adapter\": \"unittest_summary_v1\",\n \"stdout_ref\": null,\n \"stderr_ref\": null,\n \"raw_receipt_ref\": null,\n \"raw_receipt_sha256\": null,\n \"status\": \"NOT_RUN\",\n \"reason_codes\": [\"NOT_EXECUTED\"]\n }\n ],\n \"aggregate\": {\n \"machine_result\": \"UNKNOWN\",\n \"required_check_ids\": [\"KCP-TASK\", \"KCP-REGRESSION\"],\n \"missing_check_ids\": [\"KCP-REGRESSION\"],\n \"effective_release_permission\": false,\n \"reason_codes\": [\"TEMPLATE_NOT_EVIDENCE\", \"REQUIRED_EVIDENCE_MISSING\"]\n },\n \"generated_at\": null,\n \"integrity\": {\n \"scheme\": null,\n \"key_id\": null,\n \"signature\": null\n }\n}\n```\n\n正式判定必须包含全部必需检查。模板来源、缺失检查、空观测或无法认证的执行器都不能被接受。\n\n字段语义：\n\n- 任务身份、契约版本、执行实例、候选摘要共同定位证据适用对象。\n- 环境记录执行位置、运行时、关键依赖和策略身份；敏感环境变量只记录允许的摘要或类别，不写凭据。\n- 每个检查保留独立运行标识、实际参数、时间、进程结果和原始回执定位。\n- 测试收集数、必需用例覆盖和跳过项来自结果适配器，不从模型摘要推测。\n- 清理状态使用 COMPLETE / FAILED / UNKNOWN；必需清理非 COMPLETE 时阻断放行。\n- 机器汇总不包含独立审查通过结论；最终接受由推进入口联合读取签章判定。\n- 有效释放权限字段在机器判定中恒为 false，防止消费者误把 C 解释为最终放行。\n\n### 4.6 机器判定逻辑\n\n单项检查 PASS 必须同时满足：\n\n- 执行主体可信，命令、工作目录和环境符合批准契约。\n- 进程实际退出，退出码符合该检查成功集合。\n- 未超时、未取消，必需输出可解析。\n- 测试达到最低收集要求，所有必需用例被实际覆盖且未跳过。\n- 必需清理完成，原始回执完整且可定位。\n- 证据对应当前契约、候选、检查和环境。\n\n已执行且违反断言为 FAIL；缺执行、缺依赖、无法解析、证据过期或清理未知为 UNKNOWN，并阻断释放。全部必需检查 PASS 才使 C 为 PASS。\n\n不得通过删除必需测试、放宽成功码、降低收集要求或改为可选项来消除失败；这属于契约变更，须重新审查和批准。\n\n### 4.7 原始证据生成与隔离\n\n运行目录示例为 [`verification/runs/TU-20261027-001/RUN-/`](verification/runs/TU-20261027-001/RUN-/)。每次运行使用唯一目录，保存实际调用、标准输出、标准错误、结构化原始回执和清理结果，禁止覆盖旧运行。\n\n当前判定文件是可信执行器对选定运行的汇总；原始运行记录是观测来源。两者不是两个可独立修改的状态账本。\n\n要求：\n\n- 原始输出不得与生产目录混存；测试夹具和网络资源使用获准隔离范围。\n- 忽略规则不构成沙盒或访问控制；必须单独核实宿主读取与写入行为。\n- 证据中默认不保存凭据和无关个人数据。必要脱敏保留可审计转换关系；无法安全保留时阻塞依赖该证据的验收。\n- 失败现场先保全，再清理获准临时资源。清理不得删除唯一诊断证据。\n- 审查所引用证据必须在保留期内可访问；清理或归档前检查引用。\n\n### 4.8 独立反向审查与签章\n\n审查报告写入任务正文的审查锚点，正式结论保存于 [`sod_review`](specs/tasks/TU-20261027-001.md:1)。报告不能只有“已审查，无问题”。\n\n必须核验：\n\n- 每个 CS 验收项及其证据映射。\n- 边界条件、异常传播、未捕获异常、资源生命周期和调用方影响。\n- 合法输入可完成，错误输入被正确拒绝，避免“永远拒绝”的伪安全。\n- 测试未覆盖风险，以及是否需要新增回归或更改契约。\n- 实际差异是否越界，是否削弱断言或扩大公共保证。\n- 已知局限性及下游安全使用方式。\n\n签章必须绑定：任务标识、契约版本及摘要、候选摘要、机器判定摘要、审查报告摘要、结论、局限性、下游指引、审查身份和签署时间。\n\n签章验证必须使用实现方不能修改的身份信任策略，验证审查者不属于候选实现主体。手写姓名、角色字符串或内容哈希都不算身份认证。\n\n签章状态使用 PENDING / APPROVED / CHANGES_REQUESTED / BLOCKED。只有可认证、未失效且针对当前候选的 APPROVED 才使 R 为 PASS。\n\n已有批准平台时引用可验证且持久的审批证明；没有平台时采用受保护的人类签章入口。模型不得代持独立审查凭据。\n\n### 4.9 拒绝、返工与现场保护\n\n拒绝后必须：\n\n1. 保留候选、实际差异、失败回执和审查原因。\n2. 拒绝依赖推进、领域规范释放和合入，不自动删除候选。\n3. 区分实现失败、权限拒绝、文件缺失、磁盘错误、格式损坏和证据不足。\n4. 在原批准范围和预算内允许普通修复；涉及新范围、重要接口或所有权变化时重新 Plan。\n5. 生成新运行标识；实现或检查变化使相关 C 和 R 失效。\n6. 同类修复连续失败两次时定向复查假设，不自动扩大工具或任务权限。\n7. 恢复前核验当前工作区和候选，不执行破坏性重置、不覆盖用户新增改动。\n\n返工只阻塞依赖失败输出的事项。需要切换单焦点时必须明确暂停与交接，不通过另建暗中任务绕过拒绝。\n\n## 模块五：Roo Code / Cline 配置与 Prompt 映射\n\n### 5.1 公共 Prompt Framing\n\n以下片段可作为项目公共规则正文使用；启用到真实宿主路径仍需审批和加载验收。\n\n```text\n你是单体 BMAD-Solo 引擎，按一个端到端任务业务流工作。\nPlan 承载 Analyst 与 Architect；Act 承载 Coder 与 Supervisor 审查辅助。\n角色是工序职责，不是新增工具权限，也不是独立审查身份。\n\n先读取公共项目纪律，再定位显式任务；没有显式任务时才使用焦点指针。\n核对任务身份、契约版本、执行实例、真实批准和当前工序。\n只加载当前工序必需的输入与证据，不复制完整历史对话。\n\nPlan 不运行终端、探针或生产修改。\n获准保存文档时只保存指定产物，不能顺带启动实施。\nAct 只实施冻结契约和当前批准范围；修改验收必须回到契约变更流程。\n\n不得手写可信机器判定，不得把自测或自审称为独立验收。\nSupervisor 可以形成审查建议，但正式签章来自独立受保护主体。\n证据失败、缺失、过期、签章不可验证或候选变化时拒绝下游释放。\n模式切换、清单勾选和完成声明都不替代物理门禁。\n```\n\n配套导航分别指向 [`AGENTS.md`](AGENTS.md)、[`specs/tasks/_active.md`](specs/tasks/_active.md) 和实际任务文件，不在多个宿主配置里复制项目契约。\n\n### 5.2 四个工序片段\n\n```text\n[Analyst]\n只澄清业务目标、使用者、可观察验收、不变量、约束和未知。\n按三遍阅读取证；无需重型分析的任务保持最小充分。\n输出 Task Spec Draft，不提前承诺实现效果，不产生自称实测通过的结论。\n\n[Architect]\n消费分析结果及相关真实接口，完成精确 CS、依赖、检查和恢复契约。\n区分已存在资产与待创建资产。\n冻结前核验必需输入、审批和契约一致性；不将可行结论等同实施许可。\n\n[Coder]\n只实施获准冻结契约，保护既有改动。\n提供实际候选和自测定位，由可信执行器生成正式检查回执。\n不得修改门禁来迁就失败，不得持有或代写独立审查签章。\n\n[Supervisor]\n按 CS 重核候选与机器证据，逐项反向审查边界、异常和调用方。\n给出批准建议或返工理由，明确已知局限与下游指引。\n未取得独立主体签章时不得宣布正式接受；修改候选后必须重新验收。\n```\n\n这些片段属于业务工序路由，不应分别生成四套项目文档目录。\n\n### 5.3 Cline 映射\n\n目标桥接候选为 [` .clinerules`](.clinerules)。实际采用文件还是规则目录、如何启用、如何取得模式信号，由目标版本接口确认；本规范不编造模式条件字段。\n\n桥接正文可以保持为一个短入口：\n\n```text\n先读取项目公共规则，再定位显式任务或当前焦点任务。\n仅依据宿主明确提供的 Plan/Act 信号选择职责。\n按项目业务流工序路由加载当前职责规则，不同时常驻全部详细角色提示。\n信号缺失或矛盾时，停止依赖模式判定的副作用操作。\n```\n\n操作映射：\n\n- Plan 面板：Analyst → Architect，默认会话分析。\n- 文档保存：若 Plan 不具备所需写入能力，用户批准后转为仅文档 Act 任务；保存结束即停止。\n- 实施 Act：Coder，绑定冻结契约与当前批准。\n- 审查 Act：Supervisor 审查辅助，由受保护执行器运行批准断言，由独立主体签章。\n\n如果只能靠提示词阻止审查阶段写代码，必须标注为行为约束，不得登记物理隔离通过。不能以手动读文件成功替代自动路由或权限拦截验收。\n\n### 5.4 Roo Code 映射\n\n配置核对入口为 [`bmad-suite-v4/roo/settings/custom_modes.yaml`](bmad-suite-v4/roo/settings/custom_modes.yaml:1)。以下是目标配置片段，不是本次替换该文件的内容：\n\n```yaml\ncustomModes:\n - slug: bmad-plan\n name: BMAD Plan\n roleDefinition: 单体业务流中的分析与架构职责，不实施生产代码\n groups:\n - read\n - browser\n customInstructions: >-\n 当前职责为 Analyst 或 Architect，依据任务工序选择。\n 不运行终端、不创建探针、不实施生产代码。\n 核对真实批准、任务身份、契约和必需输入。\n 文档持久化交给获准的限定写入入口，不自动启动工程任务。\n\n - slug: bmad-act\n name: BMAD Act\n roleDefinition: 单体业务流中的实施与审查辅助职责\n groups:\n - read\n - edit\n - command\n customInstructions: >-\n 仅执行冻结契约及真实批准范围。\n Coder 不写可信回执、不签独立审查章。\n Supervisor 不修改被审实现，正式批准必须来自独立受保护主体。\n 模式工具组不证明动态职责隔离，推进必须经物理门禁。\n```\n\n这个片段有意不宣称 Act 内的编辑权限已按职责动态隔离。若宿主不能可靠限制 Supervisor 写入，正式独立审查应采用只读会话与受保护检查入口，或由人类审查；核心业务流不因此改为四个独立 Agent。\n\n不得静默替换用户既有模式，也不得仅因新模式可用而退役其他宿主资产。\n\n### 5.5 必需宿主验收\n\n| 验收项 | 必须取得的真实证据 |\n|---|---|\n| 规则加载 | 目标版本、实际规则位置、有效内容及新会话加载结果 |\n| 工序路由 | Plan / Act 正常切换、压缩恢复和信号异常处理 |\n| Plan 边界 | 未批准生产写入和终端请求被真实拒绝 |\n| 审查边界 | 实现方不能使用独立签章身份；审查不能越界修改候选 |\n| 检查执行 | 真实进程退出、输出适配、超时终止及清理 |\n| 推进门禁 | C 失败、R 缺失、证据过期均被拒绝；合法任务可以通过 |\n| 覆盖范围 | 实际启用的文件、命令、外部工具、子任务及发布入口逐项核验 |\n| 异常拒绝 | 钩子异常、缺响应、判定格式损坏和签章不可验证均不得放行 |\n| 用户资产保护 | 更新、恢复与卸载不覆盖范围外资产和用户新增改动 |\n\n静态 YAML 校验、模拟状态机和磁盘分发测试只能证明各自范围，不能替代目标宿主的运行时回执。\n\n## 6. 机械验收清单与落地次序\n\n### 6.1 规范实现必须覆盖的正反例\n\n- 合法任务可完成，不能只验证拒绝路径。\n- 显式任务缺失或非法时不回退到默认任务。\n- 输入缺失、权限拒绝、磁盘错误和格式损坏分别返回分类。\n- 重复标识、重复键、失效锚点、路径越界、循环依赖被拒绝。\n- 实际交付差异超出 CS 时拒绝释放。\n- 测试零收集、必需项跳过、超时、取消、缺回执和清理未知不能通过。\n- 旧候选通过回执不能批准新候选；检查或策略变化不能沿用旧判定。\n- Coder 自签、伪造角色身份、替换审查报告或签章绑定不一致

{"name":"attempt_completion","arguments":{"result":"以下为《BMAD-Solo 业务流驱动的 Agent 文档与任务治理落地规范》工程草案，采用任务单元贯穿 Plan–Act，并将机器检查与独立审查落实为下游释放条件。本次仅交付规范，不实施生产代码，不迁移、删除或覆盖现有资产。\n\n- 单 Agent 可以切换职责视角，但不能仅凭切换提示词取得独立审查资格。\n- 任务契约、检查证据、审查结论与公共领域规范各有唯一权威位置，不建立角色文档孤岛。\n- 模板和配置片段是待实例化的设计资产，不代表控制器、宿主隔离或门禁已经实现。\n\n# BMAD-Solo 业务流驱动的 Agent 文档与任务治理落地规范\n\nEngineering Specification Draft · 版本 0.1 · 状态 PROPOSED · 日期 2026-10-27\n\n## 0. 适用范围与规范性约定\n\n### 0.1 目标与边界\n\n本规范面向 dotfiles-bmad-solo 及其承载的项目，定义从需求澄清、设计、实施、审查到交付的端到端任务治理契约。\n\n唯一业务流为：目标进入 → Plan 分析 → Plan 架构 → Act 实施 → Act 审查 → 受控交付。Analyst、Architect、Coder、Supervisor 是流内职责，不是必须部署的四个独立 Agent 进程。\n\n本规范不授权下列操作：\n\n- 修改生产代码、执行实验、安装依赖、激活宿主或修改真实宿主配置。\n- 覆盖未完成任务、恢复历史执行实例、删除唯一证据。\n- 提交、合并、推送、部署、转正既有 ADR 或更新项目事实基线。\n\n文中的“必须”“禁止”为验收要求；“建议”为可调整设计。调整必需门禁、权限边界或交付范围，必须形成新的契约版本并重新授权。\n\n### 0.2 理论采用与证据边界\n\n- 按本次委托采用徐直军《谈业务、流程、IT、质量、运营的关系》的业务流原点、工序职责、刚刚好数据和流程内控原则。本次未取得该文的一手完整原文，不作逐字引述，也不把本规范的工程字段归为作者原有定义。\n- 检索返回了 AutoSwarm: Automating Agent Swarms 的论文题名记录，但不足以独立核验其 v1 全文和本次委托给出的具体公式。[1](cite:1)\n- 因此，Task Unit、CS 和双重门禁在本文中作为用户明确指定的设计约束采用；具体字段、状态机、证据格式与签章机制是本规范的工程化提案，不冒充论文原有实现。\n- 对目标 Roo Code / Cline 版本的真实加载、工具拦截和合入保护：证据不足。配置片段只说明映射方法，运行时能力必须另行验收。\n\n### 0.3 三遍阅读与最小充分裁决\n\n1. 第一遍明确目标、业务不变量、使用者、输入、输出、验收与必要非目标。\n2. 第二遍逐项区分用户要求、源码事实、一手资料、真实回执、推断和未知，并将关键依据定位到文件或锚点。\n3. 第三遍虚拟重实现，推演状态转换、边界条件、异常与恢复路径；推演不得登记为实测通过。\n\n先筛选权限、兼容性、资源和时间等硬门禁，再比较候选。未知不登记通过；没有可靠量化依据时使用定性比较，不编造分数或效果承诺。\n\n### 0.4 单一权威源与目标拓扑\n\n以下路径均为目标布局；链接不表示这些资产已在本次创建。\n\n| 工件 | 唯一职责 | 禁止承载 |\n|---|---|---|\n| [`AGENTS.md`](AGENTS.md) | 公共纪律、业务流导航、权限和验证入口 | 逐轮执行日志、第二份任务状态 |\n| [`specs/tasks/`](specs/tasks/) | 任务契约及生命周期数据 | 按 Analyst、Coder 等角色拆分的契约副本 |\n| [`specs/tasks/TU-.md`](specs/tasks/TU-.md) | 一个任务单元的交付契约、紧凑当前状态、审查签章 | 全量聊天、自测原始输出、无关研究 |\n| [`specs/tasks/_active.md`](specs/tasks/_active.md) | 当前交互焦点的唯一指针 | 任务状态、完整计划、检查结果副本 |\n| [`specs/.md`](specs/.md) | 已释放版本的长期领域不变量与接口规范 | 未过审假设、工单流水 |\n| [`verification/TU-.verdict.json`](verification/TU-.verdict.json) | 由可信执行器生成的当前机器判定 | 模型手写 PASS、审查签章 |\n| [`verification/runs/`](verification/runs/) | 按任务与运行标识隔离的原始回执 | 任务契约和人工审查结论 |\n| [`specs/tasks/archive/`](specs/tasks/archive/) | 封存的完成契约或历史来源 | 自动执行队列 |\n| [`docs/adrs/`](docs/adrs/) | 必要架构取舍及替代关系 | 第二份任务执行进度 |\n| [`docs/analysis/`](docs/analysis/) | 获准保存的分析与研究材料 | 替代任务交付契约 |\n\n单一权威源按事实类型划分，而不是要求所有信息塞进一个文件：任务契约由任务文件承载；机器观测由原始回执承载；机器汇总由判定文件生成；独立审查结论由任务文件中的签章区承载；已发布领域知识由领域规范承载。\n\n平台 TODO 和检查清单只展示任务文件的状态或引用真实回执。门禁程序未接管前，必须披露人工维护缺口，不同时维护另一份可写状态。\n\n### 0.5 旧布局退出原则\n\n目标体系不再创建新的旧式输出任务；但“废除模型”不等于直接删除 [`_bmad-output/`](_bmad-output/) 中的历史资产。\n\n迁移必须先适配消费者，再逐文件转换、复核引用和保全历史。存在旧活动任务时，其授权、未完成义务和唯一证据不得丢失，也不得与新任务并行成为同一任务的两个权威入口。\n\n本草案不是上述迁移的执行授权。\n\n## 模块一：Plan–Act 业务流中的角色嵌入\n\n### 1.1 工序与职责\n\n| 业务工序 | 职责视角 | 必须完成 | 禁止越界 | 工序出口 |\n|---|---|---|---|---|\n| Plan 前半段 | Analyst | 提炼目标、不变量、验收、约束、输入证据和未知 | 预先指定未经论证的实现；运行实测冒充分析 | Task Spec Draft |\n| Plan 后半段 | Architect | 固化接口、所有权、依赖、精确交付清单、检查及失败恢复 | 虚构已存在接口或验证资产；扩大授权 | 经批准的冻结契约 |\n| Act 前半段 | Coder | 按冻结契约实施；保护既有改动；提供候选和自测定位 | 改验收以迁就实现；签独立审查章 | 可重验候选及自测证据 |\n| Act 后半段 | Supervisor | 按 CS 重核机器断言，反向审查并形成批准或返工建议 | 修改被审实现后继续签章；接受自己的实现 | 独立审查签章或拒绝结论 |\n\n工序内交接仍是同一任务单元的工作材料，不构成“已接受任务依赖”。冻结契约进入编码依赖立项批准和契约校验；最终任务释放才要求机器检查与独立审查同时满足。不得用“最终验收尚未完成”阻断合法编码，也不得把内部草稿当作已验收产物释放给其他任务。\n\n### 1.2 职责切换契约\n\n每次工序切换必须重新确认：\n\n1. 实际宿主模式和可用工具。\n2. 当前任务路径、任务标识、契约版本与执行实例。\n3. 用户批准的操作、阶段、写入范围与外部访问范围。\n4. 进入工序的前置条件、未完成义务和有效证据。\n5. 本工序职责及禁止行为。\n\n职责名称是行为路由，不是权限令牌。角色文字变化不得新增工具权限；Act 按钮不得自动授予合并或部署权限。\n\n### 1.3 单会话中的职责分离\n\n同一模型从 Coder 切换成 Supervisor，只能提供审查辅助。新的标题、不同提示词、清空上下文或换一个模型名称，都不构成可认证的独立审查主体。\n\n正式批准至少采用一种独立信任边界：\n\n- 独立的人类审查者亲自核验候选与证据，通过受保护审批入口签章。\n- 经批准的独立审查服务，使用实现方不可使用的审查身份与凭据签章。\n\n这不要求把 BMAD-Solo 改造成多 Agent 调度系统；单体引擎仍负责业务流，最终签章权由独立主体持有。\n\n若独立审查主体不可用，允许提交审查材料，但任务不得进入 ACCEPTED。参与实现的人不能换一个账号或角色标签后自批。\n\n### 1.4 上下文加载与清洗契约\n\n常驻上下文只保留公共纪律、当前授权和业务流导航。详细输入按当前工序冷加载。\n\n| 工序 | 必需加载 | 默认不加载 |\n|---|---|---|\n| Analyst | 用户目标、相关领域锚点、必要现状证据 | 全量历史日志、无关 ADR、其他任务正文 |\n| Architect | 分析结论、相关接口、影响边界、验证入口 | 分析过程全文、已经淘汰候选的长篇推演 |\n| Coder | 冻结 CS、相关源码、检查、失败恢复 | 全部研究笔记、其他角色完整提示词 |\n| Supervisor | 冻结 CS、候选差异、机器判定、关键原始回执 | Coder 的自我辩护长对话和全量试错过程 |\n\n清洗必须满足：\n\n- 工序切换、新执行实例、上下文压缩、重要契约变化和审查开始时，重新加载权威定位。\n- 接管摘要最多 80 行，并另设宿主实际支持的字节预算；这是交接上限，不是整份任务契约的行数限制。\n- 摘要保留目标、授权、任务身份、全部未完成义务、阻塞、候选身份及证据定位。\n- 无法在预算内保留必要内容时，停止并拆分加载，不静默删掉未完成事项。\n- 历史对话只按必要定位读取；不得要求持久保存模型内部思考链。\n- 摘要不是证据。恢复后必须重新定位原始回执，不凭摘要继承绿灯。\n- 仅保存摘要或状态不触发业务重测；实现、契约、检查、关键依赖或环境变化才使相关证据失效。\n\n独立审查应从干净、经过定位的材料开始，而不是依赖实现会话记忆；但干净上下文本身仍不能证明身份独立。\n\n## 模块二：任务工件、字段与完整模板\n\n### 2.1 标识与解析规则\n\n- 任务标识全局唯一，建议由日期与稳定序号组成；重放或新的已接受特性修改使用新任务标识。\n- 一个任务文件只承载一个可验收交付单元。规模过大时拆分子任务，并显式声明依赖。\n- 所有路径相对工作区根目录，不允许绝对路径、上级目录穿越或逃逸工作区的链接。\n- YAML 使用受限安全解析：禁止自定义标签、别名、重复键和隐式执行；时间保持字符串；未知字段按契约版本拒绝。\n- 文档锚点必须存在且唯一。源文件定位可使用一基行号范围，并绑定来源内容摘要。\n- 正文用于解释；新增强制要求必须进入结构化 CS 或输入契约，不能藏在未绑定的叙述中。\n\n### 2.2 完整任务模板\n\n模板目标为 [`specs/tasks/TU-20261027-001.md`](specs/tasks/TU-20261027-001.md)。其中拟新增的 [`scripts/task_gate.py`](scripts/task_gate.py)、[`tests/roo_contracts/test_task_gate.py`](tests/roo_contracts/test_task_gate.py) 和 [`specs/task-governance.md`](specs/task-governance.md) 均为示例待实现资产，不是当前可运行入口。\n\n```yaml\n---\nschema_version: 1\ntask_id: TU-20261027-001\nparent_objective:\n objective_id: OBJ-TASK-GOVERNANCE\n statement: 建立不会执行任务内命令的任务引用校验入口\ncontract_revision: 1\ncontract_status: DRAFT\nexecution_instance: 1\norigin_task_ref: null\ncurrent_stage: PLAN_ANALYSIS\nactive_role: Analyst\ngate_status: READY\nblocker: null\n\nauthorization:\n approval_ref: null\n approved_by: null\n approved_at: null\n operations: []\n write_paths: []\n network_allowed: false\n merge_allowed: false\n deployment_allowed: false\n\ninputs:\n - input_id: INPUT-DOMAIN\n kind: DOMAIN_SPEC\n path: specs/task-governance.md\n anchor: task-routing\n line_range: null\n expected_sha256: null\n required: true\n availability: PLANNED\n - input_id: INPUT-REGRESSION\n kind: SOURCE\n path: tests/roo_contracts/test_document_test_governance.py\n anchor: null\n line_range: \n expected_sha256: null\n required: true\n availability: UNVERIFIED\n\ndependencies: []\n\ncs_specification:\n outcome: 静态校验任务身份、引用及工作区边界，不执行任务中的命令\n non_goals:\n - 不安装或激活宿主\n - 不执行任务的生产操作\n deliverables:\n - path: scripts/task_gate.py\n operation: CREATE\n purpose: 任务契约与引用的静态校验入口\n availability: PLANNED\n - path: tests/roo_contracts/test_task_gate.py\n operation: CREATE\n purpose: 校验器正常路径和拒绝路径回归\n availability: PLANNED\n - path: specs/task-governance.md\n operation: CREATE\n purpose: 已审查任务引用契约的领域规范\n availability: PLANNED\n invariants:\n - invariant_id: INV-NO-EXEC\n statement: 静态校验不得启动任务内声明的命令\n - invariant_id: INV-BOUNDARY\n statement: 引用不得逃逸工作区或静默替换显式任务\n interfaces:\n - interface_id: IF-VALIDATE\n input: 一个显式任务路径和工作区根目录\n output: 结构化有效或无效结论及错误分类\n errors:\n - NOT_FOUND\n - PERMISSION_DENIED\n - IO_ERROR\n - FORMAT_INVALID\n - OUTSIDE_WORKSPACE\n acceptance_criteria:\n - criterion_id: AC-VALID\n assertion: 合法契约可以通过，不能采用永远拒绝的实现\n invariant_refs: [INV-BOUNDARY]\n check_refs: [KCP-TASK]\n - criterion_id: AC-NEGATIVE\n assertion: 缺失、非法、越界引用被拒绝且不执行任务命令\n invariant_refs: [INV-NO-EXEC, INV-BOUNDARY]\n check_refs: [KCP-TASK, KCP-REGRESSION]\n downstream_contract:\n output_refs: [IF-VALIDATE]\n prohibited_use:\n - 将静态校验通过解释为任务实施获准或运行已通过\n\nkcp_verification:\n execution_policy:\n serial: true\n stdin: CLOSED\n network: DENY\n dependency_install: DENY\n kill_grace_seconds: 2\n cleanup_required: true\n checks:\n - check_id: KCP-TASK\n kind: TEST\n required: true\n asset_status: PLANNED\n cwd: .\n argv:\n - python3\n - -B\n - -m\n - unittest\n - discover\n - -s\n - tests/roo_contracts\n - -p\n - test_task_gate.py\n - -v\n timeout_seconds: 30\n environment: {}\n result_adapter: unittest_summary_v1\n success_exit_codes: \n min_collected: 1\n required_case_refs: [AC-VALID, AC-NEGATIVE]\n allow_required_skips: false\n - check_id: KCP-REGRESSION\n kind: TEST\n required: true\n asset_status: UNVERIFIED\n cwd: .\n argv:\n - python3\n - -B\n - -m\n - unittest\n - discover\n - -s\n - tests/roo_contracts\n - -p\n - test_document_test_governance.py\n - -v\n timeout_seconds: 30\n environment: {}\n result_adapter: unittest_summary_v1\n success_exit_codes: \n min_collected: 1\n required_case_refs: [AC-NEGATIVE]\n allow_required_skips: false\n verdict_ref: verification/TU-20261027-001.verdict.json\n\ncandidate:\n subject_digest: null\n manifest_ref: null\n author_principals: []\n\nsod_review:\n status: PENDING\n reviewer_principal: null\n reviewer_type: null\n reviewed_subject_digest: null\n reviewed_contract_digest: null\n reviewed_verdict_digest: null\n report_anchor: review-report\n findings: []\n known_limitations: []\n downstream_guidance: []\n signature:\n scheme: null\n key_id: null\n attestation_ref: null\n value: null\n signed_at: null\n\nrelease:\n published_ref: null\n published_subject_digest: null\n promotion_refs: []\narchive:\n archived_at: null\n archive_ref: null\n---\n```\n\n任务正文模板如下。这里的占位提示必须在实例化时完成或删除，不得作为可执行契约留下。\n\n```markdown\n# TU-20261027-001：任务引用校验\n\n\n## 业务目标与边界\n\n说明用户、触发条件及目标结果；强制范围以结构化 CS 为准。\n列出当前阻塞和不依赖该阻塞的已成立结论。\n\n\n## 证据与未知\n\n| 主张 | 分类 | 来源定位 | 当前可支持的结论 |\n|---|---|---|---|\n| 待填写 | 用户要求／源码／实测／推断／未知 | 待填写 | 待填写 |\n\n\n## 架构说明\n\n解释结构化接口、数据所有权、依赖及影响边界。\n候选比較必须先过硬门禁；必要取舍引用 ADR，不镜像进度。\n\n\n## 工序交接说明\n\n引用交付项、验收项及输入标识。\n只补充下游操作必需的说明，不复制完整上游材料。\n\n\n## 失败与恢复\n\n说明候选保全、允许修复范围、资源清理和人工升级条件。\n未知清理状态不得登记完成。\n\n\n## 独立反向审查报告\n\n未审查时写明：暂无独立审查签章。\n审查后记录逐项核验依据、反例、风险及结论说明。\n正式结论、局限性及使用指引以结构化签章区为准。\n\n\n## 下游使用说明\n\n引用已签署的使用指引和已发布版本。\n未接受任务不得作为已验收依赖消费。\n```\n\n### 2.3 字段级定义\n\n以下字段定位均指向上面的目标模板，不表示已落盘。\n\n| 字段 | 类型与约束 | 权威含义 |\n|---|---|---|\n| [`schema_version`](specs/tasks/TU-20261027-001.md:1) | 正整数 | 解析器与契约版本，不兼容版本拒绝 |\n| [`task_id`](specs/tasks/TU-20261027-001.md:1) | 唯一字符串，与文件名一致 | 业务流单元身份 |\n| [`parent_objective`](specs/tasks/TU-20261027-001.md:1) | 目标标识和陈述对象 | 为什么存在该任务，不等同依赖 |\n| [`contract_revision`](specs/tasks/TU-20261027-001.md:1) | 单调递增正整数 | 强制要求发生变化时递增 |\n| [`contract_status`](specs/tasks/TU-20261027-001.md:1) | DRAFT / FROZEN | 草稿与获批冻结契约的区别 |\n| [`execution_instance`](specs/tasks/TU-20261027-001.md:1) | 正整数 | 同一未完成契约的执行实例 |\n| [`origin_task_ref`](specs/tasks/TU-20261027-001.md:1) | 来源路径或空值 | 授权恢复或替代的溯源 |\n| [`current_stage`](specs/tasks/TU-20261027-001.md:1) | 五工序枚举 | PLAN_ANALYSIS、PLAN_ARCHITECTURE、ACT_IMPLEMENTATION、ACT_REVIEW、DONE |\n| [`active_role`](specs/tasks/TU-20261027-001.md:1) | 四职责或空值 | 当前行为视角；DONE 使用空值 |\n| [`gate_status`](specs/tasks/TU-20261027-001.md:1) | READY / IN_PROGRESS / IN_REVIEW / ACCEPTED / REJECTED | 放行状态；READY 不等于实施授权 |\n| [`blocker`](specs/tasks/TU-20261027-001.md:1) | 空值或分类、原因、解除条件对象 | 区分环境阻塞、暂停、权限和质量失败 |\n| [`authorization`](specs/tasks/TU-20261027-001.md:1) | 外部批准引用及限定范围 | 声明必须与真实审批匹配，不能自行填写获得权限 |\n| [`inputs`](specs/tasks/TU-20261027-001.md:1) | 输入对象数组 | 消费路径、锚点、版本身份及可用性 |\n| [`dependencies`](specs/tasks/TU-20261027-001.md:1) | 上游任务及接受快照数组 | 必须验证上游 ACCEPTED 且身份匹配；禁止循环 |\n| [`cs_specification`](specs/tasks/TU-20261027-001.md:1) | 结构化交付对象 | 文件清单、不变量、接口、验收和使用边界 |\n| [`kcp_verification`](specs/tasks/TU-20261027-001.md:1) | 执行策略及检查数组 | 必需机械检查与成功条件 |\n| [`candidate`](specs/tasks/TU-20261027-001.md:1) | 候选摘要、清单和实现主体 | C 与 R 共同绑定的被审对象 |\n| [`sod_review`](specs/tasks/TU-20261027-001.md:1) | 结构化审查及签章对象 | 独立审查结论的唯一权威位置 |\n| [`release`](specs/tasks/TU-20261027-001.md:1) | 发布定位和提升引用 | 记录实际释放版本，不自行授权合并 |\n| [`archive`](specs/tasks/TU-20261027-001.md:1) | 封存时间及定位 | 封存元数据，不代表执行授权 |\n\n嵌套字段必须满足：\n\n- 输入必须给出精确文件，并按需要使用锚点或行号；必须输入在冻结前存在、可读且身份明确。\n- 交付清单声明 CREATE、MODIFY 或 DELETE。实际生产差异不得超出清单；运行证据等副产物使用独立允许清单。\n- 每个必需验收项必须映射机械检查或明确的独立审查项目，不接受“整体看起来正常”。\n- 检查必须声明精确参数、工作目录、时限、环境、结果解析器及成功条件。\n- PLANNED 表示待实现；AVAILABLE 表示已确认可用，不表示通过。必需输入缺失阻断冻结；获准实施可以创建计划中的代码与测试资产。\n- 签章中的局限性允许为空，但必须由审查者主动确认；UNKNOWN 不允许被转换为空数组来假装没有局限。\n\n### 2.4 单焦点工件\n\n[`specs/tasks/_active.md`](specs/tasks/_active.md) 仅保存指针：\n\n```yaml\n---\nschema_version: 1\nfocus_generation: 1\ntask_id: TU-20261027-001\ntask_ref: specs/tasks/TU-20261027-001.md\nexecution_instance: 1\n---\n```\n\n无活动任务时，任务标识、引用及执行实例都使用空值。不得把缺失入口解释为错误，也不得自动选择最新归档。\n\n路由顺序：\n\n1. 用户显式指定任务时，只核验该候选，不静默替换。\n2. 未指定时，才读取焦点指针；相关、有效且获准才绑定。\n3. 无焦点时保持空闲、提出新任务或展示匹配候选。历史恢复另需授权。\n\n切换焦点必须使用独占锁和代数比较，防止两个会话抢占。切换未完成任务前，必须明确暂停或交接，保留原任务全部义务；不得覆盖旧任务来制造“只有一个任务”的假象。\n\n### 2.5 状态转换与归档\n\n| 转换 | 必需条件 | 不允许的捷径 |\n|---|---|---|\n| READY → IN_PROGRESS | 冻结契约、真实实施批准、必需输入和依赖有效 | 点击 Act 自动实施 |\n| IN_PROGRESS → IN_REVIEW | 候选已封存、必需检查已取得有效通过回执、审查材料齐备 | Coder 自称通过 |\n| IN_REVIEW → ACCEPTED | 同一候选满足 C 与 R，且任务释放获准 | 模型改状态字段或清单打勾 |\n| IN_PROGRESS / IN_REVIEW → REJECTED | 检查失败、证据不足、签章缺失或审查要求返工 | 降低断言后接受 |\n| REJECTED → IN_PROGRESS | 修复或恢复获准、候选重新绑定、失效证据清除选择 | 沿用旧签章 |\n| ACCEPTED → 封存 | 交付义务完成、下游指引齐备、归档另获批准 | 阶段完成自动全任务归档 |\n\nREJECTED 的含义是“拒绝释放”，不是断言业务实现必然错误。证据缺失、权限拒绝或环境故障必须在阻塞对象中分别说明。\n\n已 ACCEPTED 的任务绑定一个不可变接受快照。后续修改建立新任务，不重写历史接受事实。\n\n归档目标使用 [`specs/tasks/archive/20261027/TU-20261027-001.md`](specs/tasks/archive/20261027/TU-20261027-001.md) 这类包含日期和唯一任务标识的路径，禁止覆盖。步骤为：保全目标 → 核验完整性 → 再核源身份 → 更新引用及焦点 → 经批准移除活动源。任何保存失败或源变化均保留源；不承诺多文件整体原子性。\n\n归档不删除被引用证据，不自动恢复任务，不把未完成任务标为完成。\n\n## 模块三：刚刚好的数据交接契约\n\n### 3.1 上下游数据流\n\n| 交接 | 必须输出 | 禁止输出 | 接收方核验 |\n|---|---|---|---|\n| Analyst → Architect | 目标、使用者、业务不变量、可判定验收、约束、必要非目标、输入定位、未知 | 完整聊天、内部思考链、未经论证的固定技术方案、虚构实测 | 验收是否可观察；不变量是否有来源；未知是否影响方案 |\n| Architect → Coder | 冻结 CS、精确文件与接口、所有权、依赖、检查参数、资产可用性、授权和恢复范围 | 全量研究笔记、评分装饰、未批准部署命令、与任务无关的 ADR | 契约冻结；输入和依赖有效；写入及测试范围获准 |\n| Coder → Supervisor | 候选身份、实际差异、实现主体、检查与原始回执定位、已知不足、验收映射 | 将自审称为独立签章、只给 PASS 摘要、隐瞒跳过项、修改 CS 后不声明 | 候选、契约和回执身份一致；原始证据可重核 |\n| Supervisor → 领域规范 | 已审查不变量、接口、失败语义、验证入口、适用范围、限制及来源任务 | 试错流水、暂定假设、任务状态、未批准的公共规则扩张 | 来源已接受；内容对应发布候选；规范提升获准 |\n\n每次交接必须引用上游，而不是复制上游。不得用“精简”删除验收、授权、限制或未完成事项。\n\n### 3.2 任务边界的释放规则\n\n其他任务只能把已 ACCEPTED 的任务快照作为已验收依赖。消费时必须核对任务标识、契约版本、接受候选摘要及实际输出身份。\n\n明确批准的探索任务可消费草稿，但必须声明其为未验收输入；不得把草稿结果继续作为生产保证传播。缺少必需上游验收时，只阻塞相关依赖，不机械冻结无依赖的事项。\n\n### 3.3 公共领域规范提升\n\n公共规范目标为 [`specs/.md`](specs/.md)，不按角色或日期划分业务领域。\n\n提升采用以下顺序：\n\n1. Architect 将预计规范变化列入 CS 的交付清单。\n2. Coder 在候选中提交精确规范差异。\n3. Supervisor 审查这些差异，而不是在接受后临时编写另一版本。\n4. 获准发布后，将与已审候选相同的内容释放到公共规范。\n5. 领域规范保存来源任务、有效版本及必要 ADR 引用，不复制任务流水。\n\n领域规范最小正文：\n\n```markdown\n# 领域名称\n\n\n## 业务不变量\n\n列出已接受的不变量及其适用边界。\n\n\n## 输入、输出与错误语义\n\n声明接口、所有权、兼容性及失败行为。\n\n\n## 验证入口\n\n引用当前有效的检查入口与必要环境，不保存历次运行结果。\n\n\n## 已知局限性\n\n保留已审查的限制，避免将局部保证外推为全局保证。\n\n\n## 来源与演进\n\n引用接受任务及必要架构决策，不镜像任务状态。\n```\n\n单文件长度按领域复杂度控制，不把固定行数视为模型质量保证。规范更新若与接受候选不同，必须重新审查受影响内容。\n\n## 模块四：内控与双重门禁的物理落地\n\n### 4.1 门禁语义\n\n按本次委托，任务接受条件为：\n\n接受条件 = 机器检查 C ∧ 独立审查 R。\n\n实际下游释放还必须满足授权、依赖、候选身份和交付完整性。因此：\n\n释放条件 = 接受条件 ∧ 释放获准 ∧ 身份一致 ∧ 必需依赖有效 ∧ 交付完整。\n\nC 与 R 都使用 PASS / FAIL / UNKNOWN 的内部判断。只有 PASS ∧ PASS 才满足接受条件；UNKNOWN 不按通过处理。\n\n### 4.2 最小物理信任边界\n\n| 主体 | 可以做什么 | 不可以做什么 |\n|---|---|---|\n| Coder | 修改获准候选、提交检查请求和自测线索 | 写可信回执、持审查凭据、自批接受 |\n| 可信执行器 | 运行批准检查、封存原始回执、生成判定 | 扩大检查范围、替代人审、隐式安装依赖 |\n| 独立审查者 | 重核证据、签署针对精确候选的结论 | 审批本人实现；修改候选后不重验 |\n| 推进入口 | 验证 C、R、授权与身份，再提交状态转换 | 接受模型口头声明、忽略缺失签章 |\n| 发布入口 | 在批准范围内释放已接受候选 | 将接受任务自动解释为部署批准 |\n\n本规范只要求实现检查执行、签章验证和推进验证这几个窄接口，不要求后台调度器或通用多 Agent 控制器。\n\n若所有文件、判定和凭据都可由实现方随意修改，只能称为本地协作纪律，不能声称具备物理职责分离。正式保证必须依赖受保护宿主入口、独立身份或受保护仓库检查，且必须验证覆盖范围。\n\n### 4.3 候选与证据身份\n\n可信执行器必须生成候选清单，覆盖：\n\n- CS 声明的交付文件与实际差异。\n- 相关测试、夹具、检查执行器及门禁策略版本。\n- 被消费的领域规范、上游输出和关键依赖。\n- 实际执行环境、批准范围与必要配置。\n\n文件摘要基于原始字节，不以模型手工计算。契约摘要基于确定的结构化强制字段投影，排除当前状态、签章和运行结果，避免状态保存导致递归失效。\n\n实现时必须固定序列化规则：对象键排序、数组保序、UTF-8、无额外空白、仅允许规范支持的数据类型。契约投影字段由版本定义，禁止实现方自行缩减。\n\n内容摘要证明身份一致性，不单独证明来源真实性；来源真实性由执行器和签章信任边界提供。\n\n### 4.4 机器检查执行规则\n\n1. 校验契约与真实审批，不执行任务文件中的任意未批准命令。\n2. 使用精确参数数组和限定工作目录；默认不经 Shell 拼接。\n3. 串行、前台同步执行，封闭标准输入。\n4. 探测、验证、构建默认分别采用 15、30、600 秒进程级时限，并设置明确终止宽限期。\n5. 测试不隐式联网或安装依赖；环境准备另行授权。\n6. 记录真实退出、超时、收集数、跳过项、关键输出、清理和执行身份。\n7. 未确认进程退出时，不启动下一命令；清理未知时不放行。\n8. 核对执行前后候选身份，避免测试通过后代码已经变化。\n\n不同检查使用不同结果适配器。测试须检查收集数和必需用例；Lint 或语法检查不机械要求测试收集数，但必须有对应成功证据。退出零不是所有检查的充分条件。\n\n### 4.5 当前判定文件格式\n\n格式目标为 [`verification/TU-20261027-001.verdict.json`](verification/TU-20261027-001.verdict.json)。以下是未执行模板，故所有真实观测为空，机器结论 UNKNOWN，绝不构造示例 PASS。\n\n```json\n{\n \"schema_version\": 1,\n \"source\": \"TEMPLATE\",\n \"task_id\": \"TU-20261027-001\",\n \"contract_revision\": 1,\n \"execution_instance\": 1,\n \"contract_digest\": null,\n \"subject_digest\": null,\n \"manifest_ref\": null,\n \"environment\": {\n \"identity_digest\": null,\n \"working_directory\": null,\n \"runtime_versions\": {},\n \"dependency_digest\": null,\n \"policy_digest\": null\n },\n \"runner\": {\n \"principal\": null,\n \"implementation_digest\": null,\n \"attestation_ref\": null\n },\n \"checks\": [\n {\n \"check_id\": \"KCP-TASK\",\n \"run_id\": null,\n \"required\": true,\n \"argv\": [\n \"python3\", \"-B\", \"-m\", \"unittest\", \"discover\",\n \"-s\", \"tests/roo_contracts\", \"-p\", \"test_task_gate.py\", \"-v\"\n ],\n \"cwd\": \".\",\n \"started_at\": null,\n \"finished_at\": null,\n \"process_exited\": null,\n \"exit_code\": null,\n \"timed_out\": null,\n \"cancelled\": null,\n \"collected\": null,\n \"required_cases_observed\": [],\n \"required_cases_skipped\": [],\n \"failures\": null,\n \"errors\": null,\n \"cleanup_status\": \"UNKNOWN\",\n \"result_adapter\": \"unittest_summary_v1\",\n \"stdout_ref\": null,\n \"stderr_ref\": null,\n \"raw_receipt_ref\": null,\n \"raw_receipt_sha256\": null,\n \"status\": \"NOT_RUN\",\n \"reason_codes\": [\"NOT_EXECUTED\"]\n }\n ],\n \"aggregate\": {\n \"machine_result\": \"UNKNOWN\",\n \"required_check_ids\": [\"KCP-TASK\", \"KCP-REGRESSION\"],\n \"missing_check_ids\": [\"KCP-REGRESSION\"],\n \"effective_release_permission\": false,\n \"reason_codes\": [\"TEMPLATE_NOT_EVIDENCE\", \"REQUIRED_EVIDENCE_MISSING\"]\n },\n \"generated_at\": null,\n \"integrity\": {\n \"scheme\": null,\n \"key_id\": null,\n \"signature\": null\n }\n}\n```\n\n正式判定必须包含全部必需检查。模板来源、缺失检查、空观测或无法认证的执行器都不能被接受。\n\n字段语义：\n\n- 任务身份、契约版本、执行实例、候选摘要共同定位证据适用对象。\n- 环境记录执行位置、运行时、关键依赖和策略身份；敏感环境变量只记录允许的摘要或类别，不写凭据。\n- 每个检查保留独立运行标识、实际参数、时间、进程结果和原始回执定位。\n- 测试收集数、必需用例覆盖和跳过项来自结果适配器，不从模型摘要推测。\n- 清理状态使用 COMPLETE / FAILED / UNKNOWN；必需清理非 COMPLETE 时阻断放行。\n- 机器汇总不包含独立审查通过结论；最终接受由推进入口联合读取签章判定。\n- 有效释放权限字段在机器判定中恒为 false，防止消费者误把 C 解释为最终放行。\n\n### 4.6 机器判定逻辑\n\n单项检查 PASS 必须同时满足：\n\n- 执行主体可信，命令、工作目录和环境符合批准契约。\n- 进程实际退出，退出码符合该检查成功集合。\n- 未超时、未取消，必需输出可解析。\n- 测试达到最低收集要求，所有必需用例被实际覆盖且未跳过。\n- 必需清理完成，原始回执完整且可定位。\n- 证据对应当前契约、候选、检查和环境。\n\n已执行且违反断言为 FAIL；缺执行、缺依赖、无法解析、证据过期或清理未知为 UNKNOWN，并阻断释放。全部必需检查 PASS 才使 C 为 PASS。\n\n不得通过删除必需测试、放宽成功码、降低收集要求或改为可选项来消除失败；这属于契约变更，须重新审查和批准。\n\n### 4.7 原始证据生成与隔离\n\n运行目录示例为 [`verification/runs/TU-20261027-001/RUN-/`](verification/runs/TU-20261027-001/RUN-/)。每次运行使用唯一目录，保存实际调用、标准输出、标准错误、结构化原始回执和清理结果，禁止覆盖旧运行。\n\n当前判定文件是可信执行器对选定运行的汇总；原始运行记录是观测来源。两者不是两个可独立修改的状态账本。\n\n要求：\n\n- 原始输出不得与生产目录混存；测试夹具和网络资源使用获准隔离范围。\n- 忽略规则不构成沙盒或访问控制；必须单独核实宿主读取与写入行为。\n- 证据中默认不保存凭据和无关个人数据。必要脱敏保留可审计转换关系；无法安全保留时阻塞依赖该证据的验收。\n- 失败现场先保全，再清理获准临时资源。清理不得删除唯一诊断证据。\n- 审查所引用证据必须在保留期内可访问；清理或归档前检查引用。\n\n### 4.8 独立反向审查与签章\n\n审查报告写入任务正文的审查锚点，正式结论保存于 [`sod_review`](specs/tasks/TU-20261027-001.md:1)。报告不能只有“已审查，无问题”。\n\n必须核验：\n\n- 每个 CS 验收项及其证据映射。\n- 边界条件、异常传播、未捕获异常、资源生命周期和调用方影响。\n- 合法输入可完成，错误输入被正确拒绝，避免“永远拒绝”的伪安全。\n- 测试未覆盖风险，以及是否需要新增回归或更改契约。\n- 实际差异是否越界，是否削弱断言或扩大公共保证。\n- 已知局限性及下游安全使用方式。\n\n签章必须绑定：任务标识、契约版本及摘要、候选摘要、机器判定摘要、审查报告摘要、结论、局限性、下游指引、审查身份和签署时间。\n\n签章验证必须使用实现方不能修改的身份信任策略，验证审查者不属于候选实现主体。手写姓名、角色字符串或内容哈希都不算身份认证。\n\n签章状态使用 PENDING / APPROVED / CHANGES_REQUESTED / BLOCKED。只有可认证、未失效且针对当前候选的 APPROVED 才使 R 为 PASS。\n\n已有批准平台时引用可验证且持久的审批证明；没有平台时采用受保护的人类签章入口。模型不得代持独立审查凭据。\n\n### 4.9 拒绝、返工与现场保护\n\n拒绝后必须：\n\n1. 保留候选、实际差异、失败回执和审查原因。\n2. 拒绝依赖推进、领域规范释放和合入，不自动删除候选。\n3. 区分实现失败、权限拒绝、文件缺失、磁盘错误、格式损坏和证据不足。\n4. 在原批准范围和预算内允许普通修复；涉及新范围、重要接口或所有权变化时重新 Plan。\n5. 生成新运行标识；实现或检查变化使相关 C 和 R 失效。\n6. 同类修复连续失败两次时定向复查假设，不自动扩大工具或任务权限。\n7. 恢复前核验当前工作区和候选，不执行破坏性重置、不覆盖用户新增改动。\n\n返工只阻塞依赖失败输出的事项。需要切换单焦点时必须明确暂停与交接，不通过另建暗中任务绕过拒绝。\n\n## 模块五：Roo Code / Cline 配置与 Prompt 映射\n\n### 5.1 公共 Prompt Framing\n\n以下片段可作为项目公共规则正文使用；启用到真实宿主路径仍需审批和加载验收。\n\n```text\n你是单体 BMAD-Solo 引擎，按一个端到端任务业务流工作。\nPlan 承载 Analyst 与 Architect；Act 承载 Coder 与 Supervisor 审查辅助。\n角色是工序职责，不是新增工具权限，也不是独立审查身份。\n\n先读取公共项目纪律，再定位显式任务；没有显式任务时才使用焦点指针。\n核对任务身份、契约版本、执行实例、真实批准和当前工序。\n只加载当前工序必需的输入与证据，不复制完整历史对话。\n\nPlan 不运行终端、探针或生产修改。\n获准保存文档时只保存指定产物，不能顺带启动实施。\nAct 只实施冻结契约和当前批准范围；修改验收必须回到契约变更流程。\n\n不得手写可信机器判定，不得把自测或自审称为独立验收。\nSupervisor 可以形成审查建议，但正式签章来自独立受保护主体。\n证据失败、缺失、过期、签章不可验证或候选变化时拒绝下游释放。\n模式切换、清单勾选和完成声明都不替代物理门禁。\n```\n\n配套导航分别指向 [`AGENTS.md`](AGENTS.md)、[`specs/tasks/_active.md`](specs/tasks/_active.md) 和实际任务文件，不在多个宿主配置里复制项目契约。\n\n### 5.2 四个工序片段\n\n```text\n[Analyst]\n只澄清业务目标、使用者、可观察验收、不变量、约束和未知。\n按三遍阅读取证；无需重型分析的任务保持最小充分。\n输出 Task Spec Draft，不提前承诺实现效果，不产生自称实测通过的结论。\n\n[Architect]\n消费分析结果及相关真实接口，完成精确 CS、依赖、检查和恢复契约。\n区分已存在资产与待创建资产。\n冻结前核验必需输入、审批和契约一致性；不将可行结论等同实施许可。\n\n[Coder]\n只实施获准冻结契约，保护既有改动。\n提供实际候选和自测定位，由可信执行器生成正式检查回执。\n不得修改门禁来迁就失败，不得持有或代写独立审查签章。\n\n[Supervisor]\n按 CS 重核候选与机器证据，逐项反向审查边界、异常和调用方。\n给出批准建议或返工理由，明确已知局限与下游指引。\n未取得独立主体签章时不得宣布正式接受；修改候选后必须重新验收。\n```\n\n这些片段属于业务工序路由，不应分别生成四套项目文档目录。\n\n### 5.3 Cline 映射\n\n目标桥接候选为 [` .clinerules`](.clinerules)。实际采用文件还是规则目录、如何启用、如何取得模式信号，由目标版本接口确认；本规范不编造模式条件字段。\n\n桥接正文可以保持为一个短入口：\n\n```text\n先读取项目公共规则，再定位显式任务或当前焦点任务。\n仅依据宿主明确提供的 Plan/Act 信号选择职责。\n按项目业务流工序路由加载当前职责规则，不同时常驻全部详细角色提示。\n信号缺失或矛盾时，停止依赖模式判定的副作用操作。\n```\n\n操作映射：\n\n- Plan 面板：Analyst → Architect，默认会话分析。\n- 文档保存：若 Plan 不具备所需写入能力，用户批准后转为仅文档 Act 任务；保存结束即停止。\n- 实施 Act：Coder，绑定冻结契约与当前批准。\n- 审查 Act：Supervisor 审查辅助，由受保护执行器运行批准断言，由独立主体签章。\n\n如果只能靠提示词阻止审查阶段写代码，必须标注为行为约束，不得登记物理隔离通过。不能以手动读文件成功替代自动路由或权限拦截验收。\n\n### 5.4 Roo Code 映射\n\n配置核对入口为 [`bmad-suite-v4/roo/settings/custom_modes.yaml`](bmad-suite-v4/roo/settings/custom_modes.yaml:1)。以下是目标配置片段，不是本次替换该文件的内容：\n\n```yaml\ncustomModes:\n - slug: bmad-plan\n name: BMAD Plan\n roleDefinition: 单体业务流中的分析与架构职责，不实施生产代码\n groups:\n - read\n - browser\n customInstructions: >-\n 当前职责为 Analyst 或 Architect，依据任务工序选择。\n 不运行终端、不创建探针、不实施生产代码。\n 核对真实批准、任务身份、契约和必需输入。\n 文档持久化交给获准的限定写入入口，不自动启动工程任务。\n\n - slug: bmad-act\n name: BMAD Act\n roleDefinition: 单体业务流中的实施与审查辅助职责\n groups:\n - read\n - edit\n - command\n customInstructions: >-\n 仅执行冻结契约及真实批准范围。\n Coder 不写可信回执、不签独立审查章。\n Supervisor 不修改被审实现，正式批准必须来自独立受保护主体。\n 模式工具组不证明动态职责隔离，推进必须经物理门禁。\n```\n\n这个片段有意不宣称 Act 内的编辑权限已按职责动态隔离。若宿主不能可靠限制 Supervisor 写入，正式独立审查应采用只读会话与受保护检查入口，或由人类审查；核心业务流不因此改为四个独立 Agent。\n\n不得静默替换用户既有模式，也不得仅因新模式可用而退役其他宿主资产。\n\n### 5.5 必需宿主验收\n\n| 验收项 | 必须取得的真实证据 |\n|---|---|\n| 规则加载 | 目标版本、实际规则位置、有效内容及新会话加载结果 |\n| 工序路由 | Plan / Act 正常切换、压缩恢复和信号异常处理 |\n| Plan 边界 | 未批准生产写入和终端请求被真实拒绝 |\n| 审查边界 | 实现方不能使用独立签章身份；审查不能越界修改候选 |\n| 检查执行 | 真实进程退出、输出适配、超时终止及清理 |\n| 推进门禁 | C 失败、R 缺失、证据过期均被拒绝；合法任务可以通过 |\n| 覆盖范围 | 实际启用的文件、命令、外部工具、子任务及发布入口逐项核验 |\n| 异常拒绝 | 钩子异常、缺响应、判定格式损坏和签章不可验证均不得放行 |\n| 用户资产保护 | 更新、恢复与卸载不覆盖范围外资产和用户新增改动 |\n\n静态 YAML 校验、模拟状态机和磁盘分发测试只能证明各自范围，不能替代目标宿主的运行时回执。\n\n## 6. 机械验收清单与落地次序\n\n### 6.1 规范实现必须覆盖的正反例\n\n- 合法任务可完成，不能只验证拒绝路径。\n- 显式任务缺失或非法时不回退到默认任务。\n- 输入缺失、权限拒绝、磁盘错误和格式损坏分别返回分类。\n- 重复标识、重复键、失效锚点、路径越界、循环依赖被拒绝。\n- 实际交付差异超出 CS 时拒绝释放。\n- 测试零收集、必需项跳过、超时、取消、缺回执和清理未知不能通过。\n- 旧候选通过回执不能批准新候选；检查或策略变化不能沿用旧判定。\n- Coder 自签、伪造角色身份、替换审查报告或签章绑定不一致