{"name":"attempt_completion","arguments":{"result":"以下规范将任务单元作为端到端业务流的唯一流转契约，采用“机器检查通过＋独立审查签章”控制下游释放。交付范围为工程规范草案；未修改工作区、实施代码、执行测试或迁移现有资产。\n\n# BMAD-Solo 业务流驱动的 Agent 文档与任务治理落地规范\n\n版本：0.1。日期：2026-10-27。状态：DRAFT／待工程评审。\n\n## 0. 适用范围与规范效力\n\n- 适用对象：dotfiles-bmad-solo 的方法论资产、项目任务契约及 Roo Code／Cline 宿主适配。\n- 核心模型：一个人机交互入口、Plan／Act 两个基础动作、四类工序职责；不建设按角色分割的独立 Agent 系统。\n- 本文中的“必须”“禁止”是目标系统的验收要求，不表示相关控制已经实现。\n- 生成规范不等于授权实施；实施、宿主配置、规范发布、合并、部署和归档分别受实际授权约束。\n- 模板中的路径是拟定接口或示例值，不证明文件已经存在。正文提供路径导航；机器模板保留可解析的原始路径字符串。\n\n理论依据采用用户指定的业务流原点、刚刚好交接、流程内质量控制及任务单元双门禁。华为一手材料明确提出把质量要求构筑到业务流程中。[7](cite:7) 已核实 AutoSwarm 的论文条目，但未取得足以逐段核验用户所述 CS 定义及公式的全文证据；对其原文细节：Insufficient evidence，本文将这些内容明确作为用户指定的设计约束，而非已经核实的论文原句。[1](cite:1)\n\n对照材料包括现有[业务拓扑蓝图](docs/blueprint.md:1)、[文档治理提案](docs/adrs/ADR-20261022-document-test-governance-and-host-adaptation.md:21)、[Plan／Act 适配提案](docs/adrs/ADR-20261023-cline-native-plan-act-and-backpressure.md:71)、[路由模板](bmad-suite-v4/cline/templates/bmad-router.md:1)及[模式配置](bmad-suite-v4/roo/settings/custom_modes.yaml:1)。本文不自动接受、覆盖或执行这些材料关联的历史任务。\n\n## 模块一：Plan／Act 业务流中的角色嵌入\n\n### 1.1 工序，而不是四套信息孤岛\n\n同一任务只维护一个[任务契约](specs/tasks/TU-BMAD-GOV-001.md)。角色是当前工序的职责视角，不是文档的物理归属。\n\n| 基础动作与工序 | 活跃职责 | 必须解决的问题 | 交付物 | 禁止事项 |\n|---|---|---|---|---|\n| Plan 前半段 | Analyst | 要解决什么业务问题；哪些不变量不能破坏；如何判定完成 | Task Spec Draft | 提前指定无证据的技术方案；把未知写成通过 |\n| Plan 后半段 | Architect | 接口、所有权、依赖、交付文件、验证和失败边界 | 可批准的任务契约 | 隐藏验证缺口；用可行结论代替实施授权 |\n| Act 前半段 | Coder | 在批准范围内怎样实现并证明候选满足 CS | 候选交付包、差异、自测回执 | 修改门禁策略来自行放行；签署自己的独立审查 |\n| Act 后半段 | Supervisor | 机器检查是否有效；遗漏了什么；是否允许释放 | 反向审查报告、独立签章或返工意见 | 边修改生产实现边批准同一候选；凭提示词身份签章 |\n\n任务可以在一次会话中顺序推进，也可以在压缩后恢复；不得依赖聊天历史作为执行契约。\n\n简单任务可以压缩各工序篇幅，不强制四份文档。但凡要进入受治理的代码交付，必须具有 Task Unit、CS、适用机器检查及独立审查。\n\n### 1.2 职责切换契约\n\n每次工序切换必须按顺序执行：\n\n1. 从权威任务契约读取目标、当前工序、授权、依赖与未完成义务。\n2. 确认宿主实际提供的模式信号；信号不可靠时，禁止依赖该信号实施副作用操作。\n3. 撤销上一工序的临时行为授权，加载当前职责片段。\n4. 仅加载当前工序必需的规范、输入锚点、差异和证据。\n5. 明确交付给下一工序的数据；停止携带无关探索记录。\n\n切换视角不等于切换安全主体，也不增加工具权限。尤其禁止把“现在你是 Supervisor”解释为已经满足职责分离。\n\n### 1.3 独立审查的最小实现\n\n单 Agent 可以实施代码，也可以产生 Supervisor 视角的审查草稿；但该模型不能为自己实施的候选产生有效的独立签章。\n\n本规范默认采用以下实现：\n\n- Coder：当前模型执行实例。\n- Supervisor 辅助：模型对冻结候选进行反向审查，不修改候选。\n- 有效审查员：未参与该候选实施、具有审查权限的人类维护者。\n- 签章入口：经认证的客户端审批服务或受保护的审查服务。\n- 机器验证：由获准工程入口调用可信验证器，不由模型手工填写结果。\n\n允许另行接入独立审查主体，但必须证明其身份、权限及与实施主体的隔离。新会话、另一模型名称或另一模式名称本身都不是独立性证明。\n\n若人类维护者也直接参与了该候选实施，必须指定另一合格审查员。没有独立审查员时，可以提交候选和审查草稿，不得释放给下游。\n\n### 1.4 上下文加载与清洗\n\n上下文分为三层：\n\n- 常驻层：[项目导航](AGENTS.md)中的权限纪律、路由规则和当前任务定位。\n- 当前工序层：任务契约、相关领域规范、必要输入及候选证据。\n- 冷存层：原始日志、历史任务、长篇分析和完整差异；按明确问题定向读取。\n\n每次工序切换、会话压缩或恢复时，生成一次有界交接视图，包含：\n\n- 任务标识、契约版本、当前工序。\n- 授权引用及允许操作范围。\n- 全部未完成的必需义务与阻塞原因。\n- 输入、候选、验证和审查的定位引用。\n- 下一步允许动作及禁止动作。\n\n交接视图最多 80 行，并受配置的字节预算约束；该预算是工程限制，不是模型效果承诺。若无法在预算内保留必要义务，必须拆分当前任务或停止恢复，禁止静默删减。\n\n清洗只改变后续加载材料，不承诺从模型历史中物理删除信息。因此，高风险审查应使用清洁上下文；有效签章仍须由独立主体完成。\n\n禁止把完整聊天、隐藏思考过程、重复日志或已经否决的无关方案作为下游必读输入。不得通过清洗丢失唯一证据、用户授权或未完成事项。\n\n## 模块二：核心工件、字段与生命周期\n\n### 2.1 目标知识拓扑\n\n| 工件 | 唯一职责 | 是否保存当前任务状态 |\n|---|---|---|\n| [项目导航](AGENTS.md) | 稳定规则与加载入口 | 否 |\n| [任务契约](specs/tasks/TU-BMAD-GOV-001.md) | 目标、CS、授权引用、工序及门禁状态 | 是，唯一权威源 |\n| [单焦点入口](specs/tasks/_active.md) | 指向唯一被选中的 Task Unit | 否，仅指针 |\n| [领域规范](specs/task-governance.md) | 已批准的长期不变量、接口与验证要求 | 否 |\n| [最新机器回执视图](verification/TU-BMAD-GOV-001.verdict.json) | 当前选定验证批次的物化视图 | 否 |\n| [不可变批次证据](verification/runs/TU-BMAD-GOV-001/run-example/verdict.json) | 某次候选的真实验证事实 | 否 |\n| [审查报告](verification/runs/TU-BMAD-GOV-001/run-example/review.md)及[签章](verification/runs/TU-BMAD-GOV-001/run-example/review.attestation.json) | 独立审查事实及绑定凭证 | 否 |\n\n禁止建立按 Analyst、Architect、Coder、Supervisor 分割的任务目录。可以按业务域组织长期规范，但任务流转仍统一进入[任务目录](specs/tasks/)。\n\n目标系统禁止向[旧输出目录](_bmad-output/)新增任务契约或继续把它当成废弃物收集区。历史资产的保全、消费者迁移和旧入口退役必须经过单独批准，不得借“废除模型”直接删除旧计划或唯一证据。\n\n### 2.2 单一权威源规则\n\n- 任务契约的 Frontmatter 是目标、CS、当前工序、活跃职责、门禁状态和证据引用的唯一权威源。\n- 正文只解释这些字段或通过稳定标识引用它们，不复制可独立修改的进度清单。\n- 单焦点入口只存任务指针，不复制 gate_status、active_role 或 current_stage。\n- 机器回执记录一次运行的事实，不自行宣布任务 ACCEPTED。\n- 审查签章记录一次审查决定，不自行授予合并、部署或规范发布权限。\n- 宿主原生清单只作为生成视图，不得成为第二份可写状态账本。\n\n目标实现中，模型不能直接写管理字段或真实回执。它提交变更请求；受保护的治理入口校验授权和证据后更新任务契约。该入口是有限状态转换与验证适配器，不是新增通用调度系统。\n\n治理入口尚未实现时，只能人工维护草稿并披露缺口，不能声称已具备物理门禁。\n\n### 2.3 完整 Task Unit 模板\n\n以下为[任务模板实例](specs/tasks/TU-BMAD-GOV-001.md)的完整结构。它故意保持未批准状态；空身份、空摘要和待创建资产不能用于实施或验收。\n\n```yaml\n---\nschema_version: \"1.0\"\ndocument_kind: TASK_UNIT\ntask_id: BMAD-GOV-001\nparent_objective:\n id: OBJ-BMAD-BUSINESS-FLOW\n statement: 建立业务流驱动的任务契约和独立双重门禁\ncontract_revision: 1\ncurrent_stage: PLAN_ANALYSIS\nactive_role: ANALYST\ngate_status: IN_PROGRESS\nexecution_hold: NONE\nhold_reason: null\nauthorization:\n planning_ref: null\n implementation_ref: null\n publication_ref: null\n archive_ref: null\ninputs:\n - input_id: INPUT-001\n path: docs/blueprint.md\n anchor: null\n line_range: [1]\n sha256: null\n required: true\n upstream_task_id: null\ndependencies: []\ncs_specification:\n deliverables:\n - artifact_id: ART-001\n path: scripts/task-governance.py\n operation: CREATE\n purpose: 校验契约、执行验证并控制任务转换\n asset_status: PLANNED\n - artifact_id: ART-002\n path: specs/tasks/_schema/task-unit.schema.json\n operation: CREATE\n purpose: 定义任务契约的结构校验规则\n asset_status: PLANNED\n - artifact_id: ART-003\n path: tests/roo_contracts/test_task_unit_governance.py\n operation: CREATE\n purpose: 覆盖合法流转、错误阻断与获准返工\n asset_status: PLANNED\n - artifact_id: ART-004\n path: specs/task-governance.md\n operation: CREATE\n purpose: 发布经审查的长期任务治理契约\n asset_status: PLANNED\n invariants:\n - invariant_id: INV-001\n statement: 未满足机器检查和独立签章的候选不得释放\n verification_ids: [KCP-001]\n review_required: true\n - invariant_id: INV-002\n statement: 任务状态仅由绑定任务契约承载\n verification_ids: [KCP-001]\n review_required: true\n acceptance:\n - acceptance_id: AC-001\n statement: 合法候选可以通过，失败、未知及过期证据均不能释放\n verification_ids: [KCP-001]\n review_required: true\n - acceptance_id: AC-002\n statement: 实施主体不能伪造有效独立签章\n verification_ids: [KCP-001]\n review_required: true\n non_goals:\n - 自动安装、部署或替换宿主\n - 自动迁移或清理历史任务\n - 建设按角色分割的多 Agent 调度系统\nkcp_verification:\n checks:\n - check_id: KCP-001\n required: true\n asset_status: PLANNED\n executable: python3\n argv:\n - -m\n - unittest\n - discover\n - -s\n - tests/roo_contracts\n - -p\n - test_task_unit_governance.py\n cwd: .\n environment_ref: null\n result_adapter: unittest-v1\n timeout_seconds: 30\n kill_grace_seconds: 2\n stdin: CLOSED\n network_policy: DENY\n expected_exit_code: 0\n minimum_cases: 1\n maximum_skipped_required_cases: 0\n required_assertions:\n - ACCEPT_VALID_CANDIDATE\n - REJECT_FAILED_CHECK\n - REJECT_MISSING_EVIDENCE\n - REJECT_STALE_CANDIDATE\n - REJECT_SELF_REVIEW\n - ALLOW_AUTHORIZED_REWORK\n latest_verdict_ref: null\nsod_review:\n policy: INDEPENDENT_HUMAN\n implementation_actor_refs: []\n reviewer_identity_ref: null\n report_ref: null\n attestation_ref: null\n known_limitations_ref: null\n downstream_guidance_ref: null\ngate_evidence:\n execution_id: null\n attempt: 0\n contract_digest: null\n candidate_manifest_ref: null\n candidate_digest: null\n decision_ref: null\npublication:\n domain_targets:\n - path: specs/task-governance.md\n anchor: task-unit-contract\n requires_explicit_authorization: true\narchive:\n archived_at: null\n retention_policy_ref: null\n---\n```\n\n正文模板：\n\n```markdown\n# TU-BMAD-GOV-001：业务流任务治理\n\n## 目标解释\n解释 parent_objective；不在这里另设第二套目标或验收条件。\n\n## 业务范围与非目标\n引用 cs_specification.non_goals，说明业务边界和排除理由。\n\n## 输入解释\n按 INPUT 标识说明消费哪个文件、锚点或行段，以及适用范围。\n用户陈述、源码事实、实测回执、推断和未知分别标注。\n\n## 架构与接口\n按 ART 标识说明接口、数据所有权、依赖及副作用边界。\n未实现接口必须注明“待实现”，不得描述为现有能力。\n\n## CS 解释\n按 INV 和 AC 标识说明业务不变量及验收意图。\n测试不能直接证明的语义义务必须保留给独立审查。\n\n## 关键控制点说明\n按 KCP 标识说明验证前提、覆盖范围、结果适配器和负控。\n不复制命令或逐轮执行日志。\n\n## 失败恢复\n说明保留哪些候选、差异和证据；哪些修复在批准范围内。\n公共接口或范围变化必须返回 Plan 重新批准。\n\n## 发布与归档\n说明领域规范更新的边界、允许下游消费的候选身份及保留要求。\n归档不是删除证据，也不是自动部署。\n```\n\n### 2.4 字段级定义\n\n| 字段 | 类型与约束 | 权威含义 |\n|---|---|---|\n| schema_version | 字符串；必须为实现支持的版本 | 未知版本拒绝解析，不猜测兼容 |\n| document_kind | 固定 TASK_UNIT | 模板示例不能冒充已执行记录 |\n| task_id | 项目内唯一字符串 | 必须与任务文件名匹配；禁止复用已归档标识 |\n| parent_objective | 对象；id、statement 必填 | 上级业务目标，不是角色名称 |\n| contract_revision | 正整数 | CS、输入、依赖、验证或发布约束变化时递增 |\n| current_stage | 工序枚举 | 描述业务工序，不描述测试结果 |\n| active_role | ANALYST／ARCHITECT／CODER／SUPERVISOR | 必须与工序组合合法 |\n| gate_status | READY／IN_PROGRESS／IN_REVIEW／ACCEPTED／REJECTED | 当前任务门禁状态 |\n| execution_hold | NONE／BLOCKED／SUSPENDED | 操作阻塞或暂停，不替代 gate_status |\n| hold_reason | 空值或结构化原因 | BLOCKED、SUSPENDED 时必须有原因和解除条件 |\n| authorization | 四类授权引用 | 引用真实审批，不能以自然语言自我授权 |\n| inputs | 输入对象数组 | 文件、锚点或行段及内容摘要；禁止只有目录级模糊引用 |\n| dependencies | 上游任务标识数组 | 上游必须已接受，并精确绑定可消费交付物 |\n| cs_specification | 交付、不变量、验收、非目标 | 每项使用唯一稳定标识 |\n| deliverables | 精确路径及 CREATE／MODIFY／DELETE 操作 | 不接受“修改相关文件”或无限通配符作为生产写入范围 |\n| asset_status | PLANNED／AVAILABLE | AVAILABLE 只表示资产存在且可调用，不表示通过 |\n| kcp_verification | 检查数组及最新证据引用 | 每个必需检查具有命令、前提和判断规则 |\n| sod_review | 独立性策略及报告、身份、签章引用 | 已知局限和下游指引从签署报告读取，不双写 |\n| gate_evidence | 当前执行实例、候选及契约身份 | 摘要由可信程序计算，不由模型手工维护 |\n| publication | 长期规范目标及审批要求 | 接受候选不自动发布领域规范 |\n| archive | 归档时间和保留策略引用 | 已归档任务不可继续原实例实施 |\n\n结构校验必须禁止重复 YAML 键、自定义标签及别名扩展；未知字段必须拒绝或放入明确支持的扩展命名空间。路径必须位于工作区内，拒绝路径穿越、越界符号链接及指向目录的文件引用。\n\n结构有效不等于业务验收通过。自然语言不变量必须通过检查映射和独立审查建立覆盖，不能仅检查“字段非空”。\n\n### 2.5 状态转换与硬门禁\n\n| 当前工序 | 角色 | gate_status | 下一转换的必要条件 |\n|---|---|---|---|\n| PLAN_ANALYSIS | ANALYST | IN_PROGRESS | 目标、范围和验收足以进入设计 |\n| PLAN_DESIGN | ARCHITECT | IN_PROGRESS | CS 完整；输入和依赖明确；检查具备实施路径 |\n| PLAN_APPROVED | ARCHITECT | READY | 获得绑定契约版本的实施授权；执行前提满足 |\n| ACT_IMPLEMENTATION | CODER | IN_PROGRESS | 仅实施批准范围；准备候选和自测证据 |\n| ACT_REVIEW | SUPERVISOR | IN_REVIEW | 候选冻结；必要资产可验证；审查主体合格 |\n| ACT_ACCEPTED | SUPERVISOR | ACCEPTED | 当前候选的机器检查和独立签章均有效 |\n| 发现不合格候选 | 发现问题的当前职责 | REJECTED | 保留现场；必须按获准返工或重新规划恢复 |\n\n额外规则：\n\n- 证据缺失、权限拒绝、环境不明等未知情况设置 BLOCKED；不得把未知标成通过，也不得冒充确定的测试失败。\n- REJECTED 不会自动变回 READY。获准返工后创建新 attempt，清空当前候选的有效证据引用，重新进入实施。\n- 修改 CS、公共接口、所有权或必要验收时返回 PLAN_DESIGN，递增契约版本并重新批准。\n- ACCEPTED 任务的候选与签章保持不可变；后续改动建立新任务，禁止重开旧接受记录并继承绿灯。\n- 任一执行操作必须同时满足：授权有效、角色权限允许、工序合法、execution_hold 为 NONE。\n\n### 2.6 单焦点入口\n\n[单焦点入口](specs/tasks/_active.md)只包含以下指针：\n\n```yaml\n---\nschema_version: \"1.0\"\nactive_task_id: null\nactive_task_path: null\nselection_revision: 1\n---\n```\n\n- 无活跃任务时两个任务字段都为空，这是正常状态。\n- 有任务时标识与路径必须同时存在且匹配。\n- 显式指定任务优先，不读取默认指针后静默换任务。\n- 多个候选冲突时请求选择，不按修改时间自动选最新任务。\n- 切换焦点必须确认旧任务暂停、终止或归档；保留全部未完成义务。\n- 更新指针采用互斥和预期版本比较；发现外部变更停止对账，不覆盖。\n- 指针选中不等于实施授权，也不等于依赖满足。\n\n### 2.7 Archive 契约\n\n默认采用逻辑归档，保持[任务路径](specs/tasks/TU-BMAD-GOV-001.md)稳定，避免搬移后破坏输入与证据引用。\n\n归档必须满足：\n\n1. 全部必需交付已接受，且不存在未完成义务。\n2. 所需规范发布已完成，或任务契约明确不需要发布。\n3. 取得归档授权。\n4. 任务、候选、机器回执和审查签章的引用完整可解析。\n5. 保留策略已绑定；唯一证据不得被当成临时垃圾删除。\n\n归档入口填入 archived_at，并在确认当前指针仍指向该任务后清空指针。归档任务冻结，不再作为默认热加载输入。\n\n如需要生成[归档索引](specs/tasks/_archive.md)，它只能是从任务契约生成的只读视图，不保存另一套状态。\n\n暂停、拒绝、取消与完成归档必须区分。恢复历史任务需要明确授权、新任务标识或新执行契约，以及重新验证；历史通过记录只能作为参考输入。\n\n## 模块三：刚刚好的数据交接契约\n\n### 3.1 工序间数据流\n\n| 交接方向 | 必须输出 | 严禁输出为下游必读材料 | 下游入口检查 |\n|---|---|---|---|\n| Analyst → Architect | 业务目标、范围、必要非目标、业务不变量、验收意图、输入定位、未知及约束 | 完整聊天；未核实因果结论；强行指定框架；无关候选长篇历史 | 目标可判定；未知不会被隐藏；验收覆盖必要业务结果 |\n| Architect → Coder | 批准的 CS、精确文件清单、接口与所有权、依赖、检查命令、环境前提、失败恢复和授权范围 | 原始研究笔记；平行计划；未经批准的备选实现；伪造的 AVAILABLE 或 PASS | 契约版本与授权匹配；依赖满足；资产状态真实；范围有限 |\n| Coder → Supervisor | 冻结候选清单、内容摘要、基线及差异、自测回执、验收映射、已知局限、待审问题 | “我已经测试通过”式自述；隐藏思考过程；无法定位的日志；与候选不匹配的旧通过结果 | 差异完整；候选可重现；证据适用；未删除必要断言 |\n| Supervisor → 下游任务 | 当前候选的独立签章、允许消费的工件及摘要、使用前提、残余风险和限制 | 泛化为全项目正确；未经批准的部署建议；把审查草稿当签章 | 机器与人工门禁有效；输入精确绑定；授权仅覆盖本次释放 |\n| Supervisor → 领域规范 | 经审查的业务不变量、公共接口、兼容性要求、长期验证命令及必要决策引用 | 工单流水；临时日志；未经证实的性能数字；秘密信息；完整历史候选 | 发布范围批准；内容属于长期契约；关联证据可定位 |\n\n禁止通过路径引用把大目录包装成“刚刚好”的输入。每项输入必须能说明消费目的及必要范围。\n\n### 3.2 长期规范发布\n\n[领域规范](specs/task-governance.md)只保存当前长期契约，不保存当前工单进度。\n\n推荐发布结构：\n\n- 业务能力与适用范围。\n- 稳定业务不变量。\n- 公共输入、输出及所有权边界。\n- 兼容性和错误语义。\n- 长期验证要求。\n- 相关任务与重大决策的精简引用。\n\n规范更新必须采用以下一种路径：\n\n1. 提前将领域规范差异纳入同一个候选包；Supervisor 审查该差异，获准后发布。\n2. 接受后发现需要补充规范时，创建独立的规范更新 Task Unit，重新走适用的双重门禁。\n\n禁止在签章之后临时添加未审查的规范内容，再声称原签章覆盖它。\n\n“公共领域”表示项目共享契约，不自动表示可以公开发布到互联网。涉及凭据、私有路径或敏感数据时必须先按发布范围处理。\n\n## 模块四：双重门禁的物理落地\n\n### 4.1 三种身份必须分开\n\n- 契约身份：已批准的输入、CS、依赖、检查策略和发布约束的摘要。\n- 候选身份：交付文件、必要基线、测试和待发布规范的内容清单摘要。\n- 执行身份：本次验证实例、检查命令、验证器版本与环境身份。\n\n机器回执和审查签章必须绑定同一组身份。路径和文件名相同但内容不同，视为不同候选。\n\n契约摘要排除 current_stage、active_role、gate_status 等易变管理字段，避免保存状态导致所有证据失效。候选摘要必须包括测试与验证策略相关资产，不能只计算生产代码。\n\n依赖摘要与环境身份的计算范围必须由契约预先规定。必要范围不明时不得释放；不能在失败后临时缩小摘要范围以复用旧证据。\n\n### 4.2 验证器信任边界\n\n验证器必须满足：\n\n- 运行策略、信任根和签章入口不受 Coder 候选写入权限控制。\n- 候选代码在批准且隔离的执行环境运行，不能修改验证控制面或审查凭据。\n- 命令从批准的 executable 与 argv 构造，不执行模型自由拼接的 Shell 字符串。\n- 工作目录、环境、网络、标准输入、超时与清理要求在执行前固定。\n- 串行、前台等待真实退出；超时后取得进程终止及清理回执。\n- 测试不隐式联网安装依赖；依赖准备单独批准。\n- 退出状态、检查计数和必要断言由经测试的结果适配器读取；不能由模型解释后填入。\n- 回执由可信入口生成并认证；候选 stdout 中打印“PASS”不能充当可信回执。\n\n本地目录、隐藏目录、只读提示词或同账号文件权限都不自动构成安全沙盒。若实际宿主不能隔离候选代码与证据控制面，必须使用另行获准的受保护 CI／验证环境；没有这类证据时，物理门禁验收保持 BLOCKED。\n\n验证进程不是新增角色 Agent；它只是执行机械检查的受控工具。\n\n### 4.3 机器回执格式\n\n每次验证创建唯一 run_id，原始证据写入[不可变批次目录](verification/runs/TU-BMAD-GOV-001/run-example/)。固定的[最新回执路径](verification/TU-BMAD-GOV-001.verdict.json)只由程序生成，是选定不可变回执的物化视图；决策使用不可变引用及摘要，不依赖可覆盖文件的当前内容。\n\n以下是未执行的完整格式示例，不是通过回执：\n\n```json\n{\n \"schema_version\": \"1.0\",\n \"record_kind\": \"EXAMPLE\",\n \"task_id\": \"BMAD-GOV-001\",\n \"execution_id\": null,\n \"attempt\": 0,\n \"run_id\": \"run-example\",\n \"subject\": {\n \"contract_revision\": 1,\n \"contract_digest\": null,\n \"candidate_digest\": null,\n \"candidate_manifest_ref\": null,\n \"dependency_digest\": null,\n \"environment_digest\": null\n },\n \"runner\": {\n \"identity_ref\": null,\n \"version\": null,\n \"policy_digest\": null,\n \"authentication_ref\": null\n },\n \"started_at\": null,\n \"finished_at\": null,\n \"checks\": [\n {\n \"check_id\": \"KCP-001\",\n \"required\": true,\n \"executed\": false,\n \"executable\": \"python3\",\n \"argv\": [\n \"-m\", \"unittest\", \"discover\",\n \"-s\", \"tests/roo_contracts\",\n \"-p\", \"test_task_unit_governance.py\"\n ],\n \"cwd\": \".\",\n \"timeout_seconds\": 30,\n \"exit_code\": null,\n \"termination\": \"NOT_STARTED\",\n \"collected_cases\": null,\n \"passed_cases\": null,\n \"failed_cases\": null,\n \"skipped_required_cases\": null,\n \"assertions\": [],\n \"stdout_ref\": null,\n \"stderr_ref\": null,\n \"cleanup_status\": \"UNKNOWN\",\n \"result\": \"NOT_RUN\",\n \"reason_codes\": [\"EXAMPLE_NOT_EXECUTED\"]\n }\n ],\n \"overall_result\": \"INSUFFICIENT_EVIDENCE\",\n \"reason_codes\": [\"NO_AUTHENTICATED_EXECUTION\"],\n \"integrity\": {\n \"payload_digest\": null,\n \"authentication_ref\": null\n }\n}\n```\n\n真实运行必须使用 EXECUTION 类型；示例记录永远不能用于放行。\n\n判断语义：\n\n| 情况 | 检查结果 | 是否放行 |\n|---|---|---|\n| 所有必需项真实执行，退出、计数、断言和清理满足契约 | PASS | 仅满足机器门禁 |\n| 必需断言失败、非零退出或已确认超时 | FAIL | 否 |\n| 未运行、无法解析结果、缺必要输出、身份不明或清理未知 | INSUFFICIENT_EVIDENCE | 否 |\n| 测试零收集 | 不满足该检查要求 | 否 |\n| 必需用例被跳过 | 不满足该检查要求 | 否 |\n| Lint 本身不产生测试用例计数 | 按 Lint 专属适配器判断 | 不能机械套用测试计数 |\n| 无 stdout，但工具契约不要求 stdout 且可信退出证据完整 | 按该工具契约判断 | 不一概失败或通过 |\n\n修改输出适配器、检查命令或测试发现规则属于门禁契约变化，必须重新批准并重验相关证据。\n\n### 4.4 独立审查报告与签章\n\n[审查报告](verification/runs/TU-BMAD-GOV-001/run-example/review.md)必须包含：\n\n- 审查范围及精确候选身份。\n- 对每项业务不变量和验收条件的覆盖判断。\n- 边界条件、非法输入、状态转换、未捕获异常及资源释放审查。\n- 接口调用方、数据所有权和副作用边界审查。\n- 测试充分性审查，包括是否通过删测、跳过或削弱断言逃避失败。\n- 已知局限：影响、触发条件、缓解措施和是否阻塞。\n- 下游使用指引：允许消费的工件、前提与禁止用途。\n- APPROVE／REJECT／PENDING 结论及理由。\n\n不要求无意义地穷举所有极端情况；必须覆盖当前候选的实际风险。未知涉及必要验收时，结论不能为 APPROVE。\n\n签章格式示例：\n\n```json\n{\n \"schema_version\": \"1.0\",\n \"record_kind\": \"EXAMPLE\",\n \"review_id\": \"review-example\",\n \"task_id\": \"BMAD-GOV-001\",\n \"subject\": {\n \"execution_id\": null,\n \"contract_digest\": null,\n \"candidate_digest\": null,\n \"machine_verdict_digest\": null,\n \"review_report_digest\": null\n },\n \"implementation_actor_refs\": [],\n \"reviewer\": {\n \"identity_ref\": null,\n \"authorization_ref\": null,\n \"independence_verified\": false\n },\n \"decision\": \"PENDING\",\n \"report_ref\": \"verification/runs/TU-BMAD-GOV-001/run-example/review.md\",\n \"known_limitations_anchor\": \"known-limitations\",\n \"downstream_guidance_anchor\": \"downstream-guidance\",\n \"signed_at\": null,\n \"signature\": {\n \"scheme\": \"Ed25519\",\n \"key_id\": null,\n \"value\": null\n }\n}\n```\n\n签章规则：\n\n1. 审查主体身份与实施主体列表由可信宿主记录，不由模型自填名字。\n2. 审查员必须具有授权，且不属于本候选实施主体。\n3. 签名必须覆盖任务、契约、候选、机器回执、审查报告和审查决定。\n4. 私钥或审批凭据不得暴露给 Coder；信任根不得随候选提交自行替换。\n5. 签名载荷必须采用确定性编码，并通过跨实现互操作测试。\n6. 已知局限与下游指引包含在被签署报告中；修改报告使原签章失效。\n7. 键入姓名、Markdown 勾选、模型生成“已签章”或本地自签证书都不构成有效审查。\n\n受保护的宿主审批凭证可以替代上述签名格式，但必须有经验证的身份、内容绑定、独立性和防重放接口；不得默认普通聊天确认天然满足这些要求。\n\n### 4.5 双重门禁判定\n\n对任务单元 g，在时刻 t：\n\n$$a_t(g)=C_t^g(z_t^g)\\land R_t(g)$$\n\n其中，本规范将机器门禁定义为：\n\n$$C_t^g=\\text{全部必需检查通过}\\land\\text{回执可信}\\land\\text{证据绑定当前候选、契约、依赖与环境}$$\n\n独立审查门禁定义为：\n\n$$R_t(g)=\\text{审查决定为 APPROVE}\\land\\text{主体独立且获准}\\land\\text{签章有效并绑定同一候选}$$\n\n受保护的门禁入口必须重新计算两者，不能读取任务中手填的 ACCEPTED 就直接放行。\n\n双门禁满足只证明该候选可以进入获准的下一环节。实际释放还必须检查发布授权、依赖及当前目标身份；合并、推送和部署不能由验收自动触发。\n\n释放前必须重新核对目标内容，防止“审查的是 A，合并的是 B”。外部修改、候选替换或环境变化使相关证据失效。元数据保存本身不触发业务重测。\n\n### 4.6 REJECTED 的回退与现场保护\n\n发生拒绝时：\n\n1. 阻断该候选的发布及依赖它的下游消费。\n2. 保存失败运行、候选清单、基线、差异和审查报告。\n3. 标记明确原因；区分断言失败、超时、缺证据、权限拒绝、磁盘错误和格式损坏。\n4. 允许当前授权和预算内的定向修复；禁止顺手重构、删除必要测试或扩大安装权限。\n5. 修复生成新 attempt 和新候选摘要，旧通过证据不得迁移为新候选绿灯。\n6. 涉及范围、接口或验收变化时返回 Plan，而不是让 Coder 自改 CS。\n7. 恢复环境或回滚必须有明确授权，保护用户已有改动；禁止无差别整库重置。\n\n只阻塞真实依赖失败候选的事项。独立任务能否继续由依赖、授权和资源边界决定，不机械冻结整个项目。\n\n## 模块五：宿主配置与 Prompt 映射\n\n### 5.1 公共薄桥接\n\n以下内容可作为经批准的[宿主桥接规则](.clinerules)正文或 Roo 公共指令片段。目标版本的发现路径和加载行为必须先确认；本片段不声明已激活。\n\n```markdown\n# BMAD-Solo 业务流入口\n\n先读取项目 AGENTS.md；按明确用户意图确定只读、规划、实施或恢复。\n显式任务路径优先；否则读取 specs/tasks/_active.md。\n缺失默认入口是正常状态；禁止自动执行最新历史任务。\n\nPlan 承载 Analyst 与 Architect 的顺序职责。\nAct 承载 Coder 与 Supervisor 的顺序职责。\n角色是业务工序，不是独立任务目录或独立事实源。\n\n实施必须绑定获准的 Task Unit、契约版本和写入范围。\n权限不足时停止相关操作，不通过提示词扩大工具权限。\n\n模型只能产生实现、自测请求和审查草稿。\n真实回执必须由可信验证入口生成。\n独立审查签章必须来自非实施主体的获准入口。\n机器门禁与独立签章缺一不可；失败或未知不得释放给下游。\n\n上下文压缩后重新读取权威契约及全部未完成义务。\n不把聊天摘要、原生清单勾选或旧候选绿灯作为验收证据。\n```\n\n全局方法论只分发上述通用纪律与路由，不复制项目私有 Task Unit、领域事实或验证日志。\n\n### 5.2 四类职责的 Prompt Framing\n\n以下片段在对应工序加载，不同时常驻四套完整提示词。\n\n#### Analyst\n\n```text\n当前职责：业务分析。\n提炼业务目标、必要非目标、不变量和验收意图。\n区分用户陈述、源码事实、实测回执、推断和未知。\n只向 Architect 交接足以设计的结构化信息及证据定位。\n不实施代码，不执行探针，不把技术偏好写成业务要求。\n```\n\n#### Architect\n\n```text\n当前职责：架构与交付契约设计。\n消费 Analyst 的目标，不重新扩大任务。\n明确交付文件、接口、所有权、依赖、机械检查及失败恢复。\n未创建资产标记 PLANNED；未知前提不标通过。\n提交可批准的 Task Unit，不把方案可行当成实施授权。\n```\n\n#### Coder\n\n```text\n当前职责：获准候选实施。\n只执行绑定契约允许的文件和阶段，保护已有改动。\n通过获准验证入口产生自测证据，说明实际覆盖和局限。\n不修改可信门禁策略，不手填通过回执，不产生独立签章。\n失败只在授权和预算内修复；契约变化返回 Plan。\n```\n\n#### Supervisor\n\n```text\n当前职责：冻结候选的独立审查辅助。\n先确认候选、契约和机器回执的身份一致。\n反向审查边界、异常、所有权、调用方和测试充分性。\n明确已知局限与下游使用前提；不得修改正在审查的候选。\n模型输出只是审查草稿；由获准独立主体作出并签署最终决定。\n无有效机器回执或独立签章时，不登记 ACCEPTED。\n```\n\n### 5.3 Cline 的映射\n\n- Plan 前半段加载 Analyst，目标足够明确后加载 Architect。\n- Plan 中的持久保存能力按目标版本和实际权限确定；不因需要保存规范就绕过只读限制。\n- 若保存需要 Act，执行“仅文档保存”授权，保存结束即停止，不能顺带实施生产代码。\n- Act 中先执行 Coder 工序；候选冻结后进入 Supervisor 辅助审查。\n- 独立签章通过受保护的审查入口完成，不要求用户维护四个 Agent 会话。\n- 只有经验证的模式信号、规则加载和推进前拒绝接口，才能成为自动路由或硬门禁的依据。\n\n现有[薄路由模板](bmad-suite-v4/cline/templates/bmad-router.md:12)可作为适配对照，但其启用、权限和门禁覆盖必须分别验收。\n\n### 5.4 Roo Code 的映射\n\n优先保留两个方法论模式，不强制新增四个模式：\n\n- Ana-Architect：承载 Plan 中的 Analyst／Architect。\n- Bmad-Engineer：承载获准 Act 实施及审查辅助。\n- 角色工序从 Task Unit 读取；模式切换不直接写 gate_status。\n- Supervisor 的物理权限与独立签章由宿主审批或受保护服务控制，不能靠同一个工程模式中的文字承诺实现。\n\n对照[当前编辑范围配置](bmad-suite-v4/roo/settings/custom_modes.yaml:5)，新任务路径必须经过明确的配置适配和权限验收，不能直接假定分析模式已经允许写入目标目录。\n\n不提供未经核验的自动模式条件字段或钩子配置键。适配工程必须确认目标版本接口；如果只能实现提示词路由，交付名称必须是“行为适配”，不能写成“物理隔离”。\n\n### 5.5 宿主上线的必要验收\n\n| 验收 | 正常路径 | 必须阻断的负控 |\n|---|---|---|\n| 规则与模式加载 | 新会话进入正确工序，切换不沿用旧授权 | 模式信号缺失、规则未加载却继续副作用操作 |\n| 单焦点路由 | 显式任务正确绑定，默认空入口可正常空闲 | 静默替换任务、覆盖暂停任务 |\n| 实施范围 | 获准文件可以修改 | 范围外文件、真实回执和信任根被 Coder 修改 |\n| 机器回执 | 合法检查产生可信结果 | 非零退出、超时、零收集、必需跳过、伪造 PASS |\n| 独立签章 | 合格独立审查员可以批准 | 实施主体自签、签章重放、报告替换 |\n| 释放检查 | 同一候选可以进入获准下游 | 旧回执批准新候选、签章后偷换交付物 |\n| 返工 | 拒绝后获准修复能够重新提交 | 失败后删测放行、无授权扩大范围 |\n| 恢复与归档 | 未完成义务保留，完成归档保持引用 | 自动重放历史绿灯、清理唯一证据 |\n\n仅证明配置存在、关键词匹配或参考模型通过，不等于上述宿主行为通过。必须同时验证合法操作可完成、错误操作被拒绝、拒绝后获准修复仍可行。\n\n## 6. 分阶段落地与旧模型退役\n\n本节是工程分解建议，不是当前实施授权，也不替代用户显式指定的计划。\n\n1. 契约层：实现任务结构校验、输入解析、合法状态组合和单焦点指针；先验证正常路径和错误阻断。\n2. 证据层：实现候选清单、可信验证器、结果适配器、不可变回执及证据失效检查。\n3. 审查层：接入独立身份与签章；验证自签拒绝、重放拒绝和候选替换拒绝。\n4. 宿主层：分别验证 Roo／Cline 的模式信号、批准范围、工具覆盖及推进前拒绝。\n5. 迁移层：按批准的逐文件清单迁移消费者、计划、规范和必要证据；保留旧源直至核对成功。\n6. 退役层：所有当前消费者绑定新任务入口后，停止旧默认入口的读写；历史资产保持只读可定位，不再作为新任务来源。\n\n迁移期间禁止两套活跃入口同时承载同一任务。旧入口保留用于保全或明确的兼容读取，不允许与新入口竞争当前状态。源内容变化、引用失效、权限拒绝或保存失败时保留源并停止相关迁移。\n\n## 7. 草案裁决与接受标准\n\n采用：单一 Task Unit 契约、单焦点指针、不可变批次证据、可信验证入口、独立签章及获准发布。\n\n不采用：角色物理目录、模型自签、手工 PASS、平行状态账本、无证据自动加载、签章后追加未审查内容，以及把旧目录退役解释为删除历史资产。\n\n接受本规范的工程实现，至少需要证明：\n\n- 合法任务可以完整流转；并非通过“永远拒绝”伪装安全。\n- 未满足任一必需门禁的候选不能释放。\n- 实施主体无法修改信任根或伪造有效独立签章。\n- 候选、契约、必要依赖或环境变化后，旧证据不能继续放行。\n- 单焦点切换、获准返工、压缩恢复及归档不会丢失未完成义务或唯一证据。\n- 长期规范只吸收已审查、获准发布且适用范围明确的内容。\n- 真实宿主行为取得回执；静态配置与隔离测试的证据边界明确。\n\n当前交付仅为上述工程规范草案。验证器、签章入口、目标目录及宿主硬门禁是否可用仍需后续获准工程取证；本文不登记其已实现、已通过或已部署。"}}

{"name":"attempt_completion","arguments":{"result":"以下规范将任务单元作为端到端业务流的唯一流转契约，采用“机器检查通过＋独立审查签章”控制下游释放。交付范围为工程规范草案；未修改工作区、实施代码、执行测试或迁移现有资产。\n\n# BMAD-Solo 业务流驱动的 Agent 文档与任务治理落地规范\n\n版本：0.1。日期：2026-10-27。状态：DRAFT／待工程评审。\n\n## 0. 适用范围与规范效力\n\n- 适用对象：dotfiles-bmad-solo 的方法论资产、项目任务契约及 Roo Code／Cline 宿主适配。\n- 核心模型：一个人机交互入口、Plan／Act 两个基础动作、四类工序职责；不建设按角色分割的独立 Agent 系统。\n- 本文中的“必须”“禁止”是目标系统的验收要求，不表示相关控制已经实现。\n- 生成规范不等于授权实施；实施、宿主配置、规范发布、合并、部署和归档分别受实际授权约束。\n- 模板中的路径是拟定接口或示例值，不证明文件已经存在。正文提供路径导航；机器模板保留可解析的原始路径字符串。\n\n理论依据采用用户指定的业务流原点、刚刚好交接、流程内质量控制及任务单元双门禁。华为一手材料明确提出把质量要求构筑到业务流程中。[7](cite:7) 已核实 AutoSwarm 的论文条目，但未取得足以逐段核验用户所述 CS 定义及公式的全文证据；对其原文细节：Insufficient evidence，本文将这些内容明确作为用户指定的设计约束，而非已经核实的论文原句。[1](cite:1)\n\n对照材料包括现有[业务拓扑蓝图](docs/blueprint.md:1)、[文档治理提案](docs/adrs/ADR-20261022-document-test-governance-and-host-adaptation.md:21)、[Plan／Act 适配提案](docs/adrs/ADR-20261023-cline-native-plan-act-and-backpressure.md:71)、[路由模板](bmad-suite-v4/cline/templates/bmad-router.md:1)及[模式配置](bmad-suite-v4/roo/settings/custom_modes.yaml:1)。本文不自动接受、覆盖或执行这些材料关联的历史任务。\n\n## 模块一：Plan／Act 业务流中的角色嵌入\n\n### 1.1 工序，而不是四套信息孤岛\n\n同一任务只维护一个[任务契约](specs/tasks/TU-BMAD-GOV-001.md)。角色是当前工序的职责视角，不是文档的物理归属。\n\n| 基础动作与工序 | 活跃职责 | 必须解决的问题 | 交付物 | 禁止事项 |\n|---|---|---|---|---|\n| Plan 前半段 | Analyst | 要解决什么业务问题；哪些不变量不能破坏；如何判定完成 | Task Spec Draft | 提前指定无证据的技术方案；把未知写成通过 |\n| Plan 后半段 | Architect | 接口、所有权、依赖、交付文件、验证和失败边界 | 可批准的任务契约 | 隐藏验证缺口；用可行结论代替实施授权 |\n| Act 前半段 | Coder | 在批准范围内怎样实现并证明候选满足 CS | 候选交付包、差异、自测回执 | 修改门禁策略来自行放行；签署自己的独立审查 |\n| Act 后半段 | Supervisor | 机器检查是否有效；遗漏了什么；是否允许释放 | 反向审查报告、独立签章或返工意见 | 边修改生产实现边批准同一候选；凭提示词身份签章 |\n\n任务可以在一次会话中顺序推进，也可以在压缩后恢复；不得依赖聊天历史作为执行契约。\n\n简单任务可以压缩各工序篇幅，不强制四份文档。但凡要进入受治理的代码交付，必须具有 Task Unit、CS、适用机器检查及独立审查。\n\n### 1.2 职责切换契约\n\n每次工序切换必须按顺序执行：\n\n1. 从权威任务契约读取目标、当前工序、授权、依赖与未完成义务。\n2. 确认宿主实际提供的模式信号；信号不可靠时，禁止依赖该信号实施副作用操作。\n3. 撤销上一工序的临时行为授权，加载当前职责片段。\n4. 仅加载当前工序必需的规范、输入锚点、差异和证据。\n5. 明确交付给下一工序的数据；停止携带无关探索记录。\n\n切换视角不等于切换安全主体，也不增加工具权限。尤其禁止把“现在你是 Supervisor”解释为已经满足职责分离。\n\n### 1.3 独立审查的最小实现\n\n单 Agent 可以实施代码，也可以产生 Supervisor 视角的审查草稿；但该模型不能为自己实施的候选产生有效的独立签章。\n\n本规范默认采用以下实现：\n\n- Coder：当前模型执行实例。\n- Supervisor 辅助：模型对冻结候选进行反向审查，不修改候选。\n- 有效审查员：未参与该候选实施、具有审查权限的人类维护者。\n- 签章入口：经认证的客户端审批服务或受保护的审查服务。\n- 机器验证：由获准工程入口调用可信验证器，不由模型手工填写结果。\n\n允许另行接入独立审查主体，但必须证明其身份、权限及与实施主体的隔离。新会话、另一模型名称或另一模式名称本身都不是独立性证明。\n\n若人类维护者也直接参与了该候选实施，必须指定另一合格审查员。没有独立审查员时，可以提交候选和审查草稿，不得释放给下游。\n\n### 1.4 上下文加载与清洗\n\n上下文分为三层：\n\n- 常驻层：[项目导航](AGENTS.md)中的权限纪律、路由规则和当前任务定位。\n- 当前工序层：任务契约、相关领域规范、必要输入及候选证据。\n- 冷存层：原始日志、历史任务、长篇分析和完整差异；按明确问题定向读取。\n\n每次工序切换、会话压缩或恢复时，生成一次有界交接视图，包含：\n\n- 任务标识、契约版本、当前工序。\n- 授权引用及允许操作范围。\n- 全部未完成的必需义务与阻塞原因。\n- 输入、候选、验证和审查的定位引用。\n- 下一步允许动作及禁止动作。\n\n交接视图最多 80 行，并受配置的字节预算约束；该预算是工程限制，不是模型效果承诺。若无法在预算内保留必要义务，必须拆分当前任务或停止恢复，禁止静默删减。\n\n清洗只改变后续加载材料，不承诺从模型历史中物理删除信息。因此，高风险审查应使用清洁上下文；有效签章仍须由独立主体完成。\n\n禁止把完整聊天、隐藏思考过程、重复日志或已经否决的无关方案作为下游必读输入。不得通过清洗丢失唯一证据、用户授权或未完成事项。\n\n## 模块二：核心工件、字段与生命周期\n\n### 2.1 目标知识拓扑\n\n| 工件 | 唯一职责 | 是否保存当前任务状态 |\n|---|---|---|\n| [项目导航](AGENTS.md) | 稳定规则与加载入口 | 否 |\n| [任务契约](specs/tasks/TU-BMAD-GOV-001.md) | 目标、CS、授权引用、工序及门禁状态 | 是，唯一权威源 |\n| [单焦点入口](specs/tasks/_active.md) | 指向唯一被选中的 Task Unit | 否，仅指针 |\n| [领域规范](specs/task-governance.md) | 已批准的长期不变量、接口与验证要求 | 否 |\n| [最新机器回执视图](verification/TU-BMAD-GOV-001.verdict.json) | 当前选定验证批次的物化视图 | 否 |\n| [不可变批次证据](verification/runs/TU-BMAD-GOV-001/run-example/verdict.json) | 某次候选的真实验证事实 | 否 |\n| [审查报告](verification/runs/TU-BMAD-GOV-001/run-example/review.md)及[签章](verification/runs/TU-BMAD-GOV-001/run-example/review.attestation.json) | 独立审查事实及绑定凭证 | 否 |\n\n禁止建立按 Analyst、Architect、Coder、Supervisor 分割的任务目录。可以按业务域组织长期规范，但任务流转仍统一进入[任务目录](specs/tasks/)。\n\n目标系统禁止向[旧输出目录](_bmad-output/)新增任务契约或继续把它当成废弃物收集区。历史资产的保全、消费者迁移和旧入口退役必须经过单独批准，不得借“废除模型”直接删除旧计划或唯一证据。\n\n### 2.2 单一权威源规则\n\n- 任务契约的 Frontmatter 是目标、CS、当前工序、活跃职责、门禁状态和证据引用的唯一权威源。\n- 正文只解释这些字段或通过稳定标识引用它们，不复制可独立修改的进度清单。\n- 单焦点入口只存任务指针，不复制 gate_status、active_role 或 current_stage。\n- 机器回执记录一次运行的事实，不自行宣布任务 ACCEPTED。\n- 审查签章记录一次审查决定，不自行授予合并、部署或规范发布权限。\n- 宿主原生清单只作为生成视图，不得成为第二份可写状态账本。\n\n目标实现中，模型不能直接写管理字段或真实回执。它提交变更请求；受保护的治理入口校验授权和证据后更新任务契约。该入口是有限状态转换与验证适配器，不是新增通用调度系统。\n\n治理入口尚未实现时，只能人工维护草稿并披露缺口，不能声称已具备物理门禁。\n\n### 2.3 完整 Task Unit 模板\n\n以下为[任务模板实例](specs/tasks/TU-BMAD-GOV-001.md)的完整结构。它故意保持未批准状态；空身份、空摘要和待创建资产不能用于实施或验收。\n\n```yaml\n---\nschema_version: \"1.0\"\ndocument_kind: TASK_UNIT\ntask_id: BMAD-GOV-001\nparent_objective:\n id: OBJ-BMAD-BUSINESS-FLOW\n statement: 建立业务流驱动的任务契约和独立双重门禁\ncontract_revision: 1\ncurrent_stage: PLAN_ANALYSIS\nactive_role: ANALYST\ngate_status: IN_PROGRESS\nexecution_hold: NONE\nhold_reason: null\nauthorization:\n planning_ref: null\n implementation_ref: null\n publication_ref: null\n archive_ref: null\ninputs:\n - input_id: INPUT-001\n path: docs/blueprint.md\n anchor: null\n line_range: [1]\n sha256: null\n required: true\n upstream_task_id: null\ndependencies: []\ncs_specification:\n deliverables:\n - artifact_id: ART-001\n path: scripts/task-governance.py\n operation: CREATE\n purpose: 校验契约、执行验证并控制任务转换\n asset_status: PLANNED\n - artifact_id: ART-002\n path: specs/tasks/_schema/task-unit.schema.json\n operation: CREATE\n purpose: 定义任务契约的结构校验规则\n asset_status: PLANNED\n - artifact_id: ART-003\n path: tests/roo_contracts/test_task_unit_governance.py\n operation: CREATE\n purpose: 覆盖合法流转、错误阻断与获准返工\n asset_status: PLANNED\n - artifact_id: ART-004\n path: specs/task-governance.md\n operation: CREATE\n purpose: 发布经审查的长期任务治理契约\n asset_status: PLANNED\n invariants:\n - invariant_id: INV-001\n statement: 未满足机器检查和独立签章的候选不得释放\n verification_ids: [KCP-001]\n review_required: true\n - invariant_id: INV-002\n statement: 任务状态仅由绑定任务契约承载\n verification_ids: [KCP-001]\n review_required: true\n acceptance:\n - acceptance_id: AC-001\n statement: 合法候选可以通过，失败、未知及过期证据均不能释放\n verification_ids: [KCP-001]\n review_required: true\n - acceptance_id: AC-002\n statement: 实施主体不能伪造有效独立签章\n verification_ids: [KCP-001]\n review_required: true\n non_goals:\n - 自动安装、部署或替换宿主\n - 自动迁移或清理历史任务\n - 建设按角色分割的多 Agent 调度系统\nkcp_verification:\n checks:\n - check_id: KCP-001\n required: true\n asset_status: PLANNED\n executable: python3\n argv:\n - -m\n - unittest\n - discover\n - -s\n - tests/roo_contracts\n - -p\n - test_task_unit_governance.py\n cwd: .\n environment_ref: null\n result_adapter: unittest-v1\n timeout_seconds: 30\n kill_grace_seconds: 2\n stdin: CLOSED\n network_policy: DENY\n expected_exit_code: 0\n minimum_cases: 1\n maximum_skipped_required_cases: 0\n required_assertions:\n - ACCEPT_VALID_CANDIDATE\n - REJECT_FAILED_CHECK\n - REJECT_MISSING_EVIDENCE\n - REJECT_STALE_CANDIDATE\n - REJECT_SELF_REVIEW\n - ALLOW_AUTHORIZED_REWORK\n latest_verdict_ref: null\nsod_review:\n policy: INDEPENDENT_HUMAN\n implementation_actor_refs: []\n reviewer_identity_ref: null\n report_ref: null\n attestation_ref: null\n known_limitations_ref: null\n downstream_guidance_ref: null\ngate_evidence:\n execution_id: null\n attempt: 0\n contract_digest: null\n candidate_manifest_ref: null\n candidate_digest: null\n decision_ref: null\npublication:\n domain_targets:\n - path: specs/task-governance.md\n anchor: task-unit-contract\n requires_explicit_authorization: true\narchive:\n archived_at: null\n retention_policy_ref: null\n---\n```\n\n正文模板：\n\n```markdown\n# TU-BMAD-GOV-001：业务流任务治理\n\n## 目标解释\n解释 parent_objective；不在这里另设第二套目标或验收条件。\n\n## 业务范围与非目标\n引用 cs_specification.non_goals，说明业务边界和排除理由。\n\n## 输入解释\n按 INPUT 标识说明消费哪个文件、锚点或行段，以及适用范围。\n用户陈述、源码事实、实测回执、推断和未知分别标注。\n\n## 架构与接口\n按 ART 标识说明接口、数据所有权、依赖及副作用边界。\n未实现接口必须注明“待实现”，不得描述为现有能力。\n\n## CS 解释\n按 INV 和 AC 标识说明业务不变量及验收意图。\n测试不能直接证明的语义义务必须保留给独立审查。\n\n## 关键控制点说明\n按 KCP 标识说明验证前提、覆盖范围、结果适配器和负控。\n不复制命令或逐轮执行日志。\n\n## 失败恢复\n说明保留哪些候选、差异和证据；哪些修复在批准范围内。\n公共接口或范围变化必须返回 Plan 重新批准。\n\n## 发布与归档\n说明领域规范更新的边界、允许下游消费的候选身份及保留要求。\n归档不是删除证据，也不是自动部署。\n```\n\n### 2.4 字段级定义\n\n| 字段 | 类型与约束 | 权威含义 |\n|---|---|---|\n| schema_version | 字符串；必须为实现支持的版本 | 未知版本拒绝解析，不猜测兼容 |\n| document_kind | 固定 TASK_UNIT | 模板示例不能冒充已执行记录 |\n| task_id | 项目内唯一字符串 | 必须与任务文件名匹配；禁止复用已归档标识 |\n| parent_objective | 对象；id、statement 必填 | 上级业务目标，不是角色名称 |\n| contract_revision | 正整数 | CS、输入、依赖、验证或发布约束变化时递增 |\n| current_stage | 工序枚举 | 描述业务工序，不描述测试结果 |\n| active_role | ANALYST／ARCHITECT／CODER／SUPERVISOR | 必须与工序组合合法 |\n| gate_status | READY／IN_PROGRESS／IN_REVIEW／ACCEPTED／REJECTED | 当前任务门禁状态 |\n| execution_hold | NONE／BLOCKED／SUSPENDED | 操作阻塞或暂停，不替代 gate_status |\n| hold_reason | 空值或结构化原因 | BLOCKED、SUSPENDED 时必须有原因和解除条件 |\n| authorization | 四类授权引用 | 引用真实审批，不能以自然语言自我授权 |\n| inputs | 输入对象数组 | 文件、锚点或行段及内容摘要；禁止只有目录级模糊引用 |\n| dependencies | 上游任务标识数组 | 上游必须已接受，并精确绑定可消费交付物 |\n| cs_specification | 交付、不变量、验收、非目标 | 每项使用唯一稳定标识 |\n| deliverables | 精确路径及 CREATE／MODIFY／DELETE 操作 | 不接受“修改相关文件”或无限通配符作为生产写入范围 |\n| asset_status | PLANNED／AVAILABLE | AVAILABLE 只表示资产存在且可调用，不表示通过 |\n| kcp_verification | 检查数组及最新证据引用 | 每个必需检查具有命令、前提和判断规则 |\n| sod_review | 独立性策略及报告、身份、签章引用 | 已知局限和下游指引从签署报告读取，不双写 |\n| gate_evidence | 当前执行实例、候选及契约身份 | 摘要由可信程序计算，不由模型手工维护 |\n| publication | 长期规范目标及审批要求 | 接受候选不自动发布领域规范 |\n| archive | 归档时间和保留策略引用 | 已归档任务不可继续原实例实施 |\n\n结构校验必须禁止重复 YAML 键、自定义标签及别名扩展；未知字段必须拒绝或放入明确支持的扩展命名空间。路径必须位于工作区内，拒绝路径穿越、越界符号链接及指向目录的文件引用。\n\n结构有效不等于业务验收通过。自然语言不变量必须通过检查映射和独立审查建立覆盖，不能仅检查“字段非空”。\n\n### 2.5 状态转换与硬门禁\n\n| 当前工序 | 角色 | gate_status | 下一转换的必要条件 |\n|---|---|---|---|\n| PLAN_ANALYSIS | ANALYST | IN_PROGRESS | 目标、范围和验收足以进入设计 |\n| PLAN_DESIGN | ARCHITECT | IN_PROGRESS | CS 完整；输入和依赖明确；检查具备实施路径 |\n| PLAN_APPROVED | ARCHITECT | READY | 获得绑定契约版本的实施授权；执行前提满足 |\n| ACT_IMPLEMENTATION | CODER | IN_PROGRESS | 仅实施批准范围；准备候选和自测证据 |\n| ACT_REVIEW | SUPERVISOR | IN_REVIEW | 候选冻结；必要资产可验证；审查主体合格 |\n| ACT_ACCEPTED | SUPERVISOR | ACCEPTED | 当前候选的机器检查和独立签章均有效 |\n| 发现不合格候选 | 发现问题的当前职责 | REJECTED | 保留现场；必须按获准返工或重新规划恢复 |\n\n额外规则：\n\n- 证据缺失、权限拒绝、环境不明等未知情况设置 BLOCKED；不得把未知标成通过，也不得冒充确定的测试失败。\n- REJECTED 不会自动变回 READY。获准返工后创建新 attempt，清空当前候选的有效证据引用，重新进入实施。\n- 修改 CS、公共接口、所有权或必要验收时返回 PLAN_DESIGN，递增契约版本并重新批准。\n- ACCEPTED 任务的候选与签章保持不可变；后续改动建立新任务，禁止重开旧接受记录并继承绿灯。\n- 任一执行操作必须同时满足：授权有效、角色权限允许、工序合法、execution_hold 为 NONE。\n\n### 2.6 单焦点入口\n\n[单焦点入口](specs/tasks/_active.md)只包含以下指针：\n\n```yaml\n---\nschema_version: \"1.0\"\nactive_task_id: null\nactive_task_path: null\nselection_revision: 1\n---\n```\n\n- 无活跃任务时两个任务字段都为空，这是正常状态。\n- 有任务时标识与路径必须同时存在且匹配。\n- 显式指定任务优先，不读取默认指针后静默换任务。\n- 多个候选冲突时请求选择，不按修改时间自动选最新任务。\n- 切换焦点必须确认旧任务暂停、终止或归档；保留全部未完成义务。\n- 更新指针采用互斥和预期版本比较；发现外部变更停止对账，不覆盖。\n- 指针选中不等于实施授权，也不等于依赖满足。\n\n### 2.7 Archive 契约\n\n默认采用逻辑归档，保持[任务路径](specs/tasks/TU-BMAD-GOV-001.md)稳定，避免搬移后破坏输入与证据引用。\n\n归档必须满足：\n\n1. 全部必需交付已接受，且不存在未完成义务。\n2. 所需规范发布已完成，或任务契约明确不需要发布。\n3. 取得归档授权。\n4. 任务、候选、机器回执和审查签章的引用完整可解析。\n5. 保留策略已绑定；唯一证据不得被当成临时垃圾删除。\n\n归档入口填入 archived_at，并在确认当前指针仍指向该任务后清空指针。归档任务冻结，不再作为默认热加载输入。\n\n如需要生成[归档索引](specs/tasks/_archive.md)，它只能是从任务契约生成的只读视图，不保存另一套状态。\n\n暂停、拒绝、取消与完成归档必须区分。恢复历史任务需要明确授权、新任务标识或新执行契约，以及重新验证；历史通过记录只能作为参考输入。\n\n## 模块三：刚刚好的数据交接契约\n\n### 3.1 工序间数据流\n\n| 交接方向 | 必须输出 | 严禁输出为下游必读材料 | 下游入口检查 |\n|---|---|---|---|\n| Analyst → Architect | 业务目标、范围、必要非目标、业务不变量、验收意图、输入定位、未知及约束 | 完整聊天；未核实因果结论；强行指定框架；无关候选长篇历史 | 目标可判定；未知不会被隐藏；验收覆盖必要业务结果 |\n| Architect → Coder | 批准的 CS、精确文件清单、接口与所有权、依赖、检查命令、环境前提、失败恢复和授权范围 | 原始研究笔记；平行计划；未经批准的备选实现；伪造的 AVAILABLE 或 PASS | 契约版本与授权匹配；依赖满足；资产状态真实；范围有限 |\n| Coder → Supervisor | 冻结候选清单、内容摘要、基线及差异、自测回执、验收映射、已知局限、待审问题 | “我已经测试通过”式自述；隐藏思考过程；无法定位的日志；与候选不匹配的旧通过结果 | 差异完整；候选可重现；证据适用；未删除必要断言 |\n| Supervisor → 下游任务 | 当前候选的独立签章、允许消费的工件及摘要、使用前提、残余风险和限制 | 泛化为全项目正确；未经批准的部署建议；把审查草稿当签章 | 机器与人工门禁有效；输入精确绑定；授权仅覆盖本次释放 |\n| Supervisor → 领域规范 | 经审查的业务不变量、公共接口、兼容性要求、长期验证命令及必要决策引用 | 工单流水；临时日志；未经证实的性能数字；秘密信息；完整历史候选 | 发布范围批准；内容属于长期契约；关联证据可定位 |\n\n禁止通过路径引用把大目录包装成“刚刚好”的输入。每项输入必须能说明消费目的及必要范围。\n\n### 3.2 长期规范发布\n\n[领域规范](specs/task-governance.md)只保存当前长期契约，不保存当前工单进度。\n\n推荐发布结构：\n\n- 业务能力与适用范围。\n- 稳定业务不变量。\n- 公共输入、输出及所有权边界。\n- 兼容性和错误语义。\n- 长期验证要求。\n- 相关任务与重大决策的精简引用。\n\n规范更新必须采用以下一种路径：\n\n1. 提前将领域规范差异纳入同一个候选包；Supervisor 审查该差异，获准后发布。\n2. 接受后发现需要补充规范时，创建独立的规范更新 Task Unit，重新走适用的双重门禁。\n\n禁止在签章之后临时添加未审查的规范内容，再声称原签章覆盖它。\n\n“公共领域”表示项目共享契约，不自动表示可以公开发布到互联网。涉及凭据、私有路径或敏感数据时必须先按发布范围处理。\n\n## 模块四：双重门禁的物理落地\n\n### 4.1 三种身份必须分开\n\n- 契约身份：已批准的输入、CS、依赖、检查策略和发布约束的摘要。\n- 候选身份：交付文件、必要基线、测试和待发布规范的内容清单摘要。\n- 执行身份：本次验证实例、检查命令、验证器版本与环境身份。\n\n机器回执和审查签章必须绑定同一组身份。路径和文件名相同但内容不同，视为不同候选。\n\n契约摘要排除 current_stage、active_role、gate_status 等易变管理字段，避免保存状态导致所有证据失效。候选摘要必须包括测试与验证策略相关资产，不能只计算生产代码。\n\n依赖摘要与环境身份的计算范围必须由契约预先规定。必要范围不明时不得释放；不能在失败后临时缩小摘要范围以复用旧证据。\n\n### 4.2 验证器信任边界\n\n验证器必须满足：\n\n- 运行策略、信任根和签章入口不受 Coder 候选写入权限控制。\n- 候选代码在批准且隔离的执行环境运行，不能修改验证控制面或审查凭据。\n- 命令从批准的 executable 与 argv 构造，不执行模型自由拼接的 Shell 字符串。\n- 工作目录、环境、网络、标准输入、超时与清理要求在执行前固定。\n- 串行、前台等待真实退出；超时后取得进程终止及清理回执。\n- 测试不隐式联网安装依赖；依赖准备单独批准。\n- 退出状态、检查计数和必要断言由经测试的结果适配器读取；不能由模型解释后填入。\n- 回执由可信入口生成并认证；候选 stdout 中打印“PASS”不能充当可信回执。\n\n本地目录、隐藏目录、只读提示词或同账号文件权限都不自动构成安全沙盒。若实际宿主不能隔离候选代码与证据控制面，必须使用另行获准的受保护 CI／验证环境；没有这类证据时，物理门禁验收保持 BLOCKED。\n\n验证进程不是新增角色 Agent；它只是执行机械检查的受控工具。\n\n### 4.3 机器回执格式\n\n每次验证创建唯一 run_id，原始证据写入[不可变批次目录](verification/runs/TU-BMAD-GOV-001/run-example/)。固定的[最新回执路径](verification/TU-BMAD-GOV-001.verdict.json)只由程序生成，是选定不可变回执的物化视图；决策使用不可变引用及摘要，不依赖可覆盖文件的当前内容。\n\n以下是未执行的完整格式示例，不是通过回执：\n\n```json\n{\n \"schema_version\": \"1.0\",\n \"record_kind\": \"EXAMPLE\",\n \"task_id\": \"BMAD-GOV-001\",\n \"execution_id\": null,\n \"attempt\": 0,\n \"run_id\": \"run-example\",\n \"subject\": {\n \"contract_revision\": 1,\n \"contract_digest\": null,\n \"candidate_digest\": null,\n \"candidate_manifest_ref\": null,\n \"dependency_digest\": null,\n \"environment_digest\": null\n },\n \"runner\": {\n \"identity_ref\": null,\n \"version\": null,\n \"policy_digest\": null,\n \"authentication_ref\": null\n },\n \"started_at\": null,\n \"finished_at\": null,\n \"checks\": [\n {\n \"check_id\": \"KCP-001\",\n \"required\": true,\n \"executed\": false,\n \"executable\": \"python3\",\n \"argv\": [\n \"-m\", \"unittest\", \"discover\",\n \"-s\", \"tests/roo_contracts\",\n \"-p\", \"test_task_unit_governance.py\"\n ],\n \"cwd\": \".\",\n \"timeout_seconds\": 30,\n \"exit_code\": null,\n \"termination\": \"NOT_STARTED\",\n \"collected_cases\": null,\n \"passed_cases\": null,\n \"failed_cases\": null,\n \"skipped_required_cases\": null,\n \"assertions\": [],\n \"stdout_ref\": null,\n \"stderr_ref\": null,\n \"cleanup_status\": \"UNKNOWN\",\n \"result\": \"NOT_RUN\",\n \"reason_codes\": [\"EXAMPLE_NOT_EXECUTED\"]\n }\n ],\n \"overall_result\": \"INSUFFICIENT_EVIDENCE\",\n \"reason_codes\": [\"NO_AUTHENTICATED_EXECUTION\"],\n \"integrity\": {\n \"payload_digest\": null,\n \"authentication_ref\": null\n }\n}\n```\n\n真实运行必须使用 EXECUTION 类型；示例记录永远不能用于放行。\n\n判断语义：\n\n| 情况 | 检查结果 | 是否放行 |\n|---|---|---|\n| 所有必需项真实执行，退出、计数、断言和清理满足契约 | PASS | 仅满足机器门禁 |\n| 必需断言失败、非零退出或已确认超时 | FAIL | 否 |\n| 未运行、无法解析结果、缺必要输出、身份不明或清理未知 | INSUFFICIENT_EVIDENCE | 否 |\n| 测试零收集 | 不满足该检查要求 | 否 |\n| 必需用例被跳过 | 不满足该检查要求 | 否 |\n| Lint 本身不产生测试用例计数 | 按 Lint 专属适配器判断 | 不能机械套用测试计数 |\n| 无 stdout，但工具契约不要求 stdout 且可信退出证据完整 | 按该工具契约判断 | 不一概失败或通过 |\n\n修改输出适配器、检查命令或测试发现规则属于门禁契约变化，必须重新批准并重验相关证据。\n\n### 4.4 独立审查报告与签章\n\n[审查报告](verification/runs/TU-BMAD-GOV-001/run-example/review.md)必须包含：\n\n- 审查范围及精确候选身份。\n- 对每项业务不变量和验收条件的覆盖判断。\n- 边界条件、非法输入、状态转换、未捕获异常及资源释放审查。\n- 接口调用方、数据所有权和副作用边界审查。\n- 测试充分性审查，包括是否通过删测、跳过或削弱断言逃避失败。\n- 已知局限：影响、触发条件、缓解措施和是否阻塞。\n- 下游使用指引：允许消费的工件、前提与禁止用途。\n- APPROVE／REJECT／PENDING 结论及理由。\n\n不要求无意义地穷举所有极端情况；必须覆盖当前候选的实际风险。未知涉及必要验收时，结论不能为 APPROVE。\n\n签章格式示例：\n\n```json\n{\n \"schema_version\": \"1.0\",\n \"record_kind\": \"EXAMPLE\",\n \"review_id\": \"review-example\",\n \"task_id\": \"BMAD-GOV-001\",\n \"subject\": {\n \"execution_id\": null,\n \"contract_digest\": null,\n \"candidate_digest\": null,\n \"machine_verdict_digest\": null,\n \"review_report_digest\": null\n },\n \"implementation_actor_refs\": [],\n \"reviewer\": {\n \"identity_ref\": null,\n \"authorization_ref\": null,\n \"independence_verified\": false\n },\n \"decision\": \"PENDING\",\n \"report_ref\": \"verification/runs/TU-BMAD-GOV-001/run-example/review.md\",\n \"known_limitations_anchor\": \"known-limitations\",\n \"downstream_guidance_anchor\": \"downstream-guidance\",\n \"signed_at\": null,\n \"signature\": {\n \"scheme\": \"Ed25519\",\n \"key_id\": null,\n \"value\": null\n }\n}\n```\n\n签章规则：\n\n1. 审查主体身份与实施主体列表由可信宿主记录，不由模型自填名字。\n2. 审查员必须具有授权，且不属于本候选实施主体。\n3. 签名必须覆盖任务、契约、候选、机器回执、审查报告和审查决定。\n4. 私钥或审批凭据不得暴露给 Coder；信任根不得随候选提交自行替换。\n5. 签名载荷必须采用确定性编码，并通过跨实现互操作测试。\n6. 已知局限与下游指引包含在被签署报告中；修改报告使原签章失效。\n7. 键入姓名、Markdown 勾选、模型生成“已签章”或本地自签证书都不构成有效审查。\n\n受保护的宿主审批凭证可以替代上述签名格式，但必须有经验证的身份、内容绑定、独立性和防重放接口；不得默认普通聊天确认天然满足这些要求。\n\n### 4.5 双重门禁判定\n\n对任务单元 g，在时刻 t：\n\n$$a_t(g)=C_t^g(z_t^g)\\land R_t(g)$$\n\n其中，本规范将机器门禁定义为：\n\n$$C_t^g=\\text{全部必需检查通过}\\land\\text{回执可信}\\land\\text{证据绑定当前候选、契约、依赖与环境}$$\n\n独立审查门禁定义为：\n\n$$R_t(g)=\\text{审查决定为 APPROVE}\\land\\text{主体独立且获准}\\land\\text{签章有效并绑定同一候选}$$\n\n受保护的门禁入口必须重新计算两者，不能读取任务中手填的 ACCEPTED 就直接放行。\n\n双门禁满足只证明该候选可以进入获准的下一环节。实际释放还必须检查发布授权、依赖及当前目标身份；合并、推送和部署不能由验收自动触发。\n\n释放前必须重新核对目标内容，防止“审查的是 A，合并的是 B”。外部修改、候选替换或环境变化使相关证据失效。元数据保存本身不触发业务重测。\n\n### 4.6 REJECTED 的回退与现场保护\n\n发生拒绝时：\n\n1. 阻断该候选的发布及依赖它的下游消费。\n2. 保存失败运行、候选清单、基线、差异和审查报告。\n3. 标记明确原因；区分断言失败、超时、缺证据、权限拒绝、磁盘错误和格式损坏。\n4. 允许当前授权和预算内的定向修复；禁止顺手重构、删除必要测试或扩大安装权限。\n5. 修复生成新 attempt 和新候选摘要，旧通过证据不得迁移为新候选绿灯。\n6. 涉及范围、接口或验收变化时返回 Plan，而不是让 Coder 自改 CS。\n7. 恢复环境或回滚必须有明确授权，保护用户已有改动；禁止无差别整库重置。\n\n只阻塞真实依赖失败候选的事项。独立任务能否继续由依赖、授权和资源边界决定，不机械冻结整个项目。\n\n## 模块五：宿主配置与 Prompt 映射\n\n### 5.1 公共薄桥接\n\n以下内容可作为经批准的[宿主桥接规则](.clinerules)正文或 Roo 公共指令片段。目标版本的发现路径和加载行为必须先确认；本片段不声明已激活。\n\n```markdown\n# BMAD-Solo 业务流入口\n\n先读取项目 AGENTS.md；按明确用户意图确定只读、规划、实施或恢复。\n显式任务路径优先；否则读取 specs/tasks/_active.md。\n缺失默认入口是正常状态；禁止自动执行最新历史任务。\n\nPlan 承载 Analyst 与 Architect 的顺序职责。\nAct 承载 Coder 与 Supervisor 的顺序职责。\n角色是业务工序，不是独立任务目录或独立事实源。\n\n实施必须绑定获准的 Task Unit、契约版本和写入范围。\n权限不足时停止相关操作，不通过提示词扩大工具权限。\n\n模型只能产生实现、自测请求和审查草稿。\n真实回执必须由可信验证入口生成。\n独立审查签章必须来自非实施主体的获准入口。\n机器门禁与独立签章缺一不可；失败或未知不得释放给下游。\n\n上下文压缩后重新读取权威契约及全部未完成义务。\n不把聊天摘要、原生清单勾选或旧候选绿灯作为验收证据。\n```\n\n全局方法论只分发上述通用纪律与路由，不复制项目私有 Task Unit、领域事实或验证日志。\n\n### 5.2 四类职责的 Prompt Framing\n\n以下片段在对应工序加载，不同时常驻四套完整提示词。\n\n#### Analyst\n\n```text\n当前职责：业务分析。\n提炼业务目标、必要非目标、不变量和验收意图。\n区分用户陈述、源码事实、实测回执、推断和未知。\n只向 Architect 交接足以设计的结构化信息及证据定位。\n不实施代码，不执行探针，不把技术偏好写成业务要求。\n```\n\n#### Architect\n\n```text\n当前职责：架构与交付契约设计。\n消费 Analyst 的目标，不重新扩大任务。\n明确交付文件、接口、所有权、依赖、机械检查及失败恢复。\n未创建资产标记 PLANNED；未知前提不标通过。\n提交可批准的 Task Unit，不把方案可行当成实施授权。\n```\n\n#### Coder\n\n```text\n当前职责：获准候选实施。\n只执行绑定契约允许的文件和阶段，保护已有改动。\n通过获准验证入口产生自测证据，说明实际覆盖和局限。\n不修改可信门禁策略，不手填通过回执，不产生独立签章。\n失败只在授权和预算内修复；契约变化返回 Plan。\n```\n\n#### Supervisor\n\n```text\n当前职责：冻结候选的独立审查辅助。\n先确认候选、契约和机器回执的身份一致。\n反向审查边界、异常、所有权、调用方和测试充分性。\n明确已知局限与下游使用前提；不得修改正在审查的候选。\n模型输出只是审查草稿；由获准独立主体作出并签署最终决定。\n无有效机器回执或独立签章时，不登记 ACCEPTED。\n```\n\n### 5.3 Cline 的映射\n\n- Plan 前半段加载 Analyst，目标足够明确后加载 Architect。\n- Plan 中的持久保存能力按目标版本和实际权限确定；不因需要保存规范就绕过只读限制。\n- 若保存需要 Act，执行“仅文档保存”授权，保存结束即停止，不能顺带实施生产代码。\n- Act 中先执行 Coder 工序；候选冻结后进入 Supervisor 辅助审查。\n- 独立签章通过受保护的审查入口完成，不要求用户维护四个 Agent 会话。\n- 只有经验证的模式信号、规则加载和推进前拒绝接口，才能成为自动路由或硬门禁的依据。\n\n现有[薄路由模板](bmad-suite-v4/cline/templates/bmad-router.md:12)可作为适配对照，但其启用、权限和门禁覆盖必须分别验收。\n\n### 5.4 Roo Code 的映射\n\n优先保留两个方法论模式，不强制新增四个模式：\n\n- Ana-Architect：承载 Plan 中的 Analyst／Architect。\n- Bmad-Engineer：承载获准 Act 实施及审查辅助。\n- 角色工序从 Task Unit 读取；模式切换不直接写 gate_status。\n- Supervisor 的物理权限与独立签章由宿主审批或受保护服务控制，不能靠同一个工程模式中的文字承诺实现。\n\n对照[当前编辑范围配置](bmad-suite-v4/roo/settings/custom_modes.yaml:5)，新任务路径必须经过明确的配置适配和权限验收，不能直接假定分析模式已经允许写入目标目录。\n\n不提供未经核验的自动模式条件字段或钩子配置键。适配工程必须确认目标版本接口；如果只能实现提示词路由，交付名称必须是“行为适配”，不能写成“物理隔离”。\n\n### 5.5 宿主上线的必要验收\n\n| 验收 | 正常路径 | 必须阻断的负控 |\n|---|---|---|\n| 规则与模式加载 | 新会话进入正确工序，切换不沿用旧授权 | 模式信号缺失、规则未加载却继续副作用操作 |\n| 单焦点路由 | 显式任务正确绑定，默认空入口可正常空闲 | 静默替换任务、覆盖暂停任务 |\n| 实施范围 | 获准文件可以修改 | 范围外文件、真实回执和信任根被 Coder 修改 |\n| 机器回执 | 合法检查产生可信结果 | 非零退出、超时、零收集、必需跳过、伪造 PASS |\n| 独立签章 | 合格独立审查员可以批准 | 实施主体自签、签章重放、报告替换 |\n| 释放检查 | 同一候选可以进入获准下游 | 旧回执批准新候选、签章后偷换交付物 |\n| 返工 | 拒绝后获准修复能够重新提交 | 失败后删测放行、无授权扩大范围 |\n| 恢复与归档 | 未完成义务保留，完成归档保持引用 | 自动重放历史绿灯、清理唯一证据 |\n\n仅证明配置存在、关键词匹配或参考模型通过，不等于上述宿主行为通过。必须同时验证合法操作可完成、错误操作被拒绝、拒绝后获准修复仍可行。\n\n## 6. 分阶段落地与旧模型退役\n\n本节是工程分解建议，不是当前实施授权，也不替代用户显式指定的计划。\n\n1. 契约层：实现任务结构校验、输入解析、合法状态组合和单焦点指针；先验证正常路径和错误阻断。\n2. 证据层：实现候选清单、可信验证器、结果适配器、不可变回执及证据失效检查。\n3. 审查层：接入独立身份与签章；验证自签拒绝、重放拒绝和候选替换拒绝。\n4. 宿主层：分别验证 Roo／Cline 的模式信号、批准范围、工具覆盖及推进前拒绝。\n5. 迁移层：按批准的逐文件清单迁移消费者、计划、规范和必要证据；保留旧源直至核对成功。\n6. 退役层：所有当前消费者绑定新任务入口后，停止旧默认入口的读写；历史资产保持只读可定位，不再作为新任务来源。\n\n迁移期间禁止两套活跃入口同时承载同一任务。旧入口保留用于保全或明确的兼容读取，不允许与新入口竞争当前状态。源内容变化、引用失效、权限拒绝或保存失败时保留源并停止相关迁移。\n\n## 7. 草案裁决与接受标准\n\n采用：单一 Task Unit 契约、单焦点指针、不可变批次证据、可信验证入口、独立签章及获准发布。\n\n不采用：角色物理目录、模型自签、手工 PASS、平行状态账本、无证据自动加载、签章后追加未审查内容，以及把旧目录退役解释为删除历史资产。\n\n接受本规范的工程实现，至少需要证明：\n\n- 合法任务可以完整流转；并非通过“永远拒绝”伪装安全。\n- 未满足任一必需门禁的候选不能释放。\n- 实施主体无法修改信任根或伪造有效独立签章。\n- 候选、契约、必要依赖或环境变化后，旧证据不能继续放行。\n- 单焦点切换、获准返工、压缩恢复及归档不会丢失未完成义务或唯一证据。\n- 长期规范只吸收已审查、获准发布且适用范围明确的内容。\n- 真实宿主行为取得回执；静态配置与隔离测试的证据边界明确。\n\n当前交付仅为上述工程规范草案。验证器、签章入口、目标目录及宿主硬门禁是否可用仍需后续获准工程取证；本文不登记其已实现、已通过或已部署。"}}