{"name":"attempt_completion","arguments":{"result":"````markdown\n# BMAD-Solo 业务流驱动的 Agent 文档与任务治理落地规范\n\n本文为工程规范草案：采用单体 Plan-Act 业务流，以任务单元组织契约、证据和流转；角色是工序职责，不是独立 Agent 进程。本次仅会话交付，不写入文件、不实施代码、不迁移目录、不运行验证。\n\n- 任务契约唯一入口为 [`specs/tasks/TU-.md`](specs/tasks/)，焦点文件只保存当前任务引用。\n- 机器检查通过与独立审查签章缺一不可；同一模型切换提示词，只能形成审查意见，不能自行完成职责分离签章。\n- 提示词负责引导，受控执行入口和受保护的合入入口负责强制门禁；未实现的控制能力不得标记为已生效。\n\n## 0. 规范范围、依据与部署边界\n\n### 0.1 用语\n\n- 必须：不满足时阻断对应操作或下游释放。\n- 应当：默认执行；偏离须说明理由及影响。\n- 可以：不改变必要门禁的可选实现。\n- 任务单元 TU：具有明确目标、输入、交付规范、检查要求和审查要求的最小可独立验收业务单元。\n- 释放：允许其他任务依赖其成果、批准合入，或将成果登记为当前领域事实。提交审查不属于释放。\n\n### 0.2 理论依据的证据边界\n\nAutoSwarm 原始论文条目可以定位，但本次返回材料没有展开 v1 的 CS 定义及指定公式原文；下文将委托给定的任务单元、CS 和双重门禁作为设计要求，不声称已经复现论文机制。[1]\n\n徐直军指定讲话的官方完整原文，本次未取得足够一手证据。因此采用委托明确给定的业务流、职责嵌入、数据适配和内控原则，不伪造原文引句，也不将这些原则描述成已经验证的工程效果。\n\n### 0.3 本规范不自动授予的权限\n\n本草案不授权修改生产文件、启用宿主配置、安装依赖、运行实验、提交推送、部署、删除旧资产或恢复历史任务。\n\n落地必须分别确认：\n\n1. 当前批准的任务及阶段。\n2. 实际允许的文件与操作范围。\n3. 宿主版本、规则加载方式和工具限制能力。\n4. 证据执行器与独立签章入口的真实可用性。\n5. 旧入口的消费者适配、保全和迁移授权。\n\n现有材料的对照入口为 [`业务蓝图`](docs/blueprint.md:1)、[`Plan-Act 提案`](docs/adrs/ADR-20261023-cline-native-plan-act-and-backpressure.md:71)、[`治理提案`](docs/adrs/ADR-20261022-document-test-governance-and-host-adaptation.md:21)及 [`Roo 模式源配置`](bmad-suite-v4/roo/settings/custom_modes.yaml:1)。本规范提出新的目标契约，不接受、覆盖或归档这些材料关联的其他任务。\n\n正文中的路径引用使用可点击链接；代码块保留可解析的原始 YAML、JSON 和配置语法。所有新增路径均为设计候选，不代表资产已经存在。\n\n## 1. 模块一：端到端 Plan-Act 业务流与角色嵌入\n\n### 1.1 工序定义\n\n| 基础动作 | 工序与职责 | 必需输出 | 离开工序的条件 |\n|---|---|---|---|\n| Plan 前半段 | Analyst：理解业务问题 | 目标、业务不变量、验收标准、必要非目标、未知及来源 | 关键歧义已消除，或明确标记为阻塞项 |\n| Plan 后半段 | Architect：建立实施契约 | 精确交付清单、接口约束、依赖、KCP、审查要求、失败保护方案 | 契约结构有效，用户批准实施范围 |\n| Act 前半段 | Coder：实施获准候选 | 代码和测试候选、差异清单、自测证据引用、未解决问题 | 必需机器检查通过，候选冻结，提交审查 |\n| Act 后半段 | Supervisor：反向审查与放行建议 | CS 覆盖审查、风险和局限、独立签章请求 | 当前候选的机器证据与独立签章均有效 |\n\n四个职责共享同一个任务标识及同一份契约，不建立 Analyst、Architect、Coder、Supervisor 四套物理文档目录。\n\n### 1.2 提示词切换契约\n\n每次工序切换必须显式提供：\n\n- 当前 TU、契约版本、当前工序及职责。\n- 当前操作授权；上一职责的授权不自动继承。\n- 本工序消费的输入及必须完成的义务。\n- 本工序禁止执行的操作。\n- 下一工序的提交条件，而不是笼统的“完成任务”。\n\n职责由任务工序和宿主当前真实模式共同约束。宿主模式缺失、矛盾或无法读取时，禁止根据模型记忆、文件名或旧摘要猜测操作许可。\n\nArchitect 可以完善契约，但不能把推演写成实测；Coder 可以自审，但不能生成独立审查签章；Supervisor 不直接修改待审候选，发现问题后应退回 Coder。\n\n### 1.3 单会话中的职责分离\n\n同一 Agent 会话可以依次承担四种分析视角，但不因此获得独立审查身份。\n\n本规范的最小合规方案是：\n\n1. 同一 Agent 完成实施，并准备 Supervisor 审查材料。\n2. 受控执行器生成机器检查证据。\n3. 未参与当前候选实施的授权人类审查员独立检查并签章。\n4. 受保护入口核验两类证据后才允许释放。\n\n审查员必须能够退回候选，且签章不能由 Coder 通过普通文件写入工具代签。若审查员本人参与了当前候选实施，必须另选独立审查员。\n\n仅更换模型、角色名称、提示词或清空上下文，不足以证明身份独立、写入隔离或审查充分。\n\n### 1.4 加载与清洗契约\n\n| 层次 | 加载内容 | 不加载内容 |\n|---|---|---|\n| 常驻层 | 安全边界、业务流规则、任务导航 | 全部领域规范、历史计划、运行日志 |\n| 当前任务层 | TU 契约、授权引用、未完成义务、相关输入 | 无关任务、全部归档 |\n| 当前工序层 | 对应职责、必要源码切片和证据摘要 | 四种完整职责提示同时常驻 |\n| 按需证据层 | 当前裁决所需的日志片段及原始证据定位 | 全量日志或模型思维流水 |\n\n工序切换、上下文压缩和恢复后，必须重新读取当前焦点和绑定契约，不能靠摘要继承绿灯。\n\n交接摘要默认限制为 80 行、12 KiB；这是可调整的工程预算，不是模型能力阈值。摘要必须保留所有未完成义务。预算不足时，缩小阅读范围或请求合理拆分，不得静默删掉约束、失败或未知。\n\n宿主压缩不能被描述为已经彻底清除了旧模型上下文。需要新会话时，从权威工件恢复，而不是复制全部聊天记录。\n\n## 2. 模块二：任务核心工件、字段与生命周期\n\n### 2.1 目标目录\n\n| 工件 | 路径 | 权威职责 |\n|---|---|---|\n| 全局导航 | [`AGENTS.md`](AGENTS.md) | 稳定规则和路由，不记录任务进度 |\n| 任务契约 | [`specs/tasks/TU-.md`](specs/tasks/) | 当前任务的唯一契约与受控生命周期 |\n| 单焦点指针 | [`specs/tasks/_active.md`](specs/tasks/_active.md) | 只引用当前获准任务，不复制状态 |\n| 领域规范 | [`specs/.md`](specs/) | 已被接受的长效领域事实 |\n| 当前机器回执 | [`verification/TU-.verdict.json`](verification/) | 当前机器检查结果及不可变运行证据引用 |\n| 不可变运行证据 | [`verification/TU-/runs//`](verification/) | 原始日志、候选清单、运行回执和审查报告 |\n| 临时现场 | [`.scratch/TU-/`](.scratch/) | 获准临时工作区，不作为可信验收源 |\n\n新任务不得再创建第二份默认计划或向 [`旧输出目录`](_bmad-output/)写入新的任务流转状态。旧资产不因目录退役而失去审计价值；迁移前必须保全来源、未完成义务和引用。\n\n### 2.2 权威源与写入所有权\n\n- TU 文件：业务契约由获准计划操作修改；生命周期字段仅由指定流转入口更新。\n- 焦点文件：只有焦点管理入口可写，不保存检查结果或待办副本。\n- 机器回执：只有受控执行器生成，模型不得手写通过结果。\n- 独立审查报告与签章：只有审查入口提交；任务文件保存引用，不复制另一套审查结论。\n- 宿主任务清单：仅作为任务状态的显示或导航，不能独立放行。\n\ngate_status 是受控入口根据证据更新的流转状态，不是机器检查或审查事实的第二权威源。释放时必须重新核对引用和候选身份，不能只读取 ACCEPTED 字符串。\n\n### 2.3 完整任务模板\n\n以下模板描述一个待实施的示例任务。TEMPLATE、未绑定输入、未批准授权、待创建验证资产及空签章均不得用于放行。\n\n```yaml\n---\nschema_version: \"1.0\"\nartifact_kind: TEMPLATE\ntask_id: task-control-001\ncontract_version: 1\nparent_objective: \"建立业务流任务契约与双重门禁\"\ncurrent_stage: PLAN_ANALYZE\nactive_role: ANALYST\ngate_status: IN_PROGRESS\nexecution_condition: BLOCKED\nblock_reason: TEMPLATE_NOT_INSTANTIATED\n\nauthorization:\n approval_ref: null\n approved_stage: null\n allowed_operations: []\n implementation_principals: []\n\ninputs:\n - input_id: INPUT-01\n path: docs/blueprint.md\n selector:\n kind: lines\n start: 1\n end: 76\n source_kind: BASELINE\n upstream_task_id: null\n sha256: null\n\ndependencies: []\n\ncs_specification:\n deliverables:\n - path: scripts/task_gate.py\n operation: CREATE\n purpose: \"解析任务契约并拒绝无效释放\"\n - path: tests/backpressure/test_task_gate.py\n operation: CREATE\n purpose: \"覆盖正常路径和门禁拒绝路径\"\n - path: specs/task-governance.md\n operation: CREATE\n purpose: \"记录过审后的任务治理契约\"\n invariants:\n - invariant_id: INV-01\n statement: \"显式任务无效时不得静默回退到其他任务\"\n verification_ids: [KCP-01]\n - invariant_id: INV-02\n statement: \"机器失败、证据过期或缺独立签章时不得释放\"\n verification_ids: [KCP-01]\n acceptance_criteria:\n - criterion_id: AC-01\n statement: \"合法任务能够放行，非法任务保持现场并被拒绝\"\n verification_ids: [KCP-01]\n non_goals:\n - \"不部署真实宿主\"\n - \"不迁移或删除历史任务\"\n interfaces:\n - \"输入为任务契约和证据引用；输出为允许或拒绝及原因\"\n\nkcp_verification:\n checks:\n - verification_id: KCP-01\n kind: UNIT_TEST\n required: true\n asset_status: PLANNED\n argv:\n - python3\n - -m\n - unittest\n - discover\n - -s\n - tests/backpressure\n - -p\n - test_task_gate.py\n cwd: .\n execution_profile: ISOLATED_WORKSPACE\n stdin: CLOSED\n timeout_seconds: 30\n kill_grace_seconds: 2\n network_policy: DENY\n parser: python-unittest-v1\n assertions:\n expected_exit_code: 0\n minimum_collected: 1\n maximum_required_skipped: 0\n cleanup_must_be_confirmed: true\n verdict_ref: verification/TU-task-control-001.verdict.json\n\nsod_review:\n policy: INDEPENDENT_HUMAN\n report_ref: null\n reviewer_principal_ref: null\n signature_ref: null\n known_limitations_ref: null\n downstream_guidance_ref: null\n\ncandidate:\n manifest_ref: null\n candidate_digest: null\n\narchive:\n state: ACTIVE\n archived_at: null\n approval_ref: null\n derived_from: null\n---\n```\n\n正文模板：\n\n```markdown\n# TU-task-control-001：任务控制面\n\n## 业务目标\n说明业务问题、价值接收方和成功条件；不以角色名称代替业务目标。\n\n## 分析草案\n记录验收依据、必要非目标、关键未知和来源定位。\n未知必须注明影响哪项裁决。\n\n## 架构与接口说明\n解释 Frontmatter 中接口和不变量的含义。\n列出受影响调用方、数据所有权及副作用边界。\n不得另写一份相互竞争的交付清单或验证命令。\n\n## 实施工序\n按最小连贯改动安排实施顺序。\n先创建必需验证资产，再运行对应 KCP。\n此处不记录逐轮执行日志或历史通过流水。\n\n## 失败与现场保护\n定义允许返工范围、需要重新批准的变化和清理条件。\n明确不能覆盖的用户改动及不可逆副作用。\n\n## 下游使用要求\n说明成果的适用范围、禁止外推范围及领域规范更新要求。\n最终审查局限和签章以独立报告引用为准。\n```\n\n### 2.4 字段级校验规则\n\n| 字段 | 类型及约束 |\n|---|---|\n| schema_version | 字符串；当前只接受 1.0，未知版本拒绝 |\n| artifact_kind | TEMPLATE 或 TASK；TEMPLATE 禁止实施和释放 |\n| task_id | 匹配 `[a-z0-9][a-z0-9_-]{0,63}`；必须与文件名对应且全局唯一 |\n| contract_version | 正整数；契约实质变化时递增 |\n| parent_objective | 非空业务目标，不是角色标签 |\n| current_stage | PLAN_ANALYZE、PLAN_DESIGN、ACT_IMPLEMENT、ACT_REVIEW、COMPLETE |\n| active_role | ANALYST、ARCHITECT、CODER、SUPERVISOR、NONE；必须符合阶段映射 |\n| gate_status | READY、IN_PROGRESS、IN_REVIEW、ACCEPTED、REJECTED |\n| execution_condition | RUNNABLE、BLOCKED、SUSPENDED；与质量状态正交 |\n| block_reason | RUNNABLE 时为 null；其他情况为明确原因码 |\n| authorization | 真实批准引用、批准阶段、操作列表、候选实施者身份；字段本身不是权限令牌 |\n| inputs | 输入 ID 唯一；必须有路径、选择范围、来源类型和输入摘要；任务来源还须有上游 TU |\n| dependencies | 上游 TU 标识、固定契约版本、接受证据引用；不得形成依赖环 |\n| cs_specification | 精确交付列表、不变量、验收标准、必要非目标及接口说明 |\n| kcp_verification | 非空必需检查集和机器回执引用；检查必须可执行且结果可解析 |\n| sod_review | 独立审查策略及报告、身份、签章、局限、下游指引引用 |\n| candidate | 冻结候选清单及摘要；进入审查前必须存在 |\n| archive | ACTIVE 或 ARCHIVED、时间及批准引用；恢复来源只作溯源 |\n\n嵌套规则：\n\n- 所有对象拒绝未知字段，所有 ID 不得重复；YAML 拒绝重复键、自定义标签和多文档拼接。\n- 所有文件路径按工作区根目录解析；禁止绝对路径、目录穿越和逃逸链接。输入选择器支持文件、明确锚点或合法行区间。\n- deliverables 的 operation 仅允许 CREATE、MODIFY、DELETE；使用精确文件清单，不以宽泛目录或通配符授权。\n- verification_ids 必须引用真实检查 ID；每项必需验收必须有机器检查及独立审查覆盖。\n- argv 是非空字符串数组，不是自由 Shell 字符串；cwd 必须处于获准执行根内。\n- PLANNED 表示资产待创建，不等于可执行。READY 可以批准先创建这些资产，但 IN_REVIEW 前所有必需资产必须可用并取得证据。\n- 超时、环境、网络和清理要求必须明确；不能通过删除检查、放宽断言或修改 required 来消除已有失败。\n- null 不等于通过；未绑定输入、未批准操作和缺签章分别阻断依赖它们的阶段。\n\n### 2.5 状态转换\n\n| 当前状态 | 目标状态 | 必需条件 |\n|---|---|---|\n| IN_PROGRESS / PLAN_ANALYZE | IN_PROGRESS / PLAN_DESIGN | 业务输入足以支持设计 |\n| IN_PROGRESS / PLAN_DESIGN | READY / PLAN_DESIGN | 契约有效、输入绑定、范围批准 |\n| READY | IN_PROGRESS / ACT_IMPLEMENT | 宿主实际许可与当前实施授权均有效 |\n| IN_PROGRESS / ACT_IMPLEMENT | IN_REVIEW / ACT_REVIEW | 必需机器检查通过，候选冻结，证据匹配 |\n| IN_REVIEW | ACCEPTED / COMPLETE | 机器检查与独立签章均有效 |\n| IN_PROGRESS 或 IN_REVIEW | REJECTED | 必需检查失败，或审查明确拒绝 |\n| REJECTED | IN_PROGRESS / ACT_IMPLEMENT | 获准返工，旧签章不可继承 |\n\nACTIVE_ROLE 在 COMPLETE 时为 NONE。缺依赖、证据不可用或宿主能力不足使用 BLOCKED；明确暂停使用 SUSPENDED，不能伪装成质量通过或质量拒绝。\n\n内部 Draft 交接是同一 TU 的准备工序，不得被其他任务当作已接受成果。TU 对外释放必须通过完整双重门禁。\n\n### 2.6 单焦点与归档\n\n[`焦点文件`](specs/tasks/_active.md)只保存：\n\n```yaml\n---\nschema_version: \"1.0\"\nfocus_revision: 1\nactive_task: null\nbinding_contract_version: null\n---\n```\n\n- 显式指定 TU 时优先绑定该候选；缺失或非法时不静默替换。\n- 无显式任务时读取焦点指针；空指针是正常状态，不自动执行最近归档。\n- 焦点切换必须使用互斥和版本比较，保护旧任务的全部未完成义务。指针不复制 gate_status。\n- 同一时刻只允许一个任务持有当前工作区的实施资格。被暂停的任务仍保留契约，不因切焦点而标记完成。\n\n默认采用逻辑归档：保留 TU 原路径，将 archive.state 改为 ARCHIVED，并在源身份复核后清除焦点引用。这避免移动后破坏上游引用，也不需要建立第二份完成计划。\n\n归档必须满足任务已经 ACCEPTED、独立签章有效、证据保留可用、领域沉淀义务完成或明确不适用，并取得归档授权。归档失败保留任务和焦点，不先删除源。\n\n恢复历史任务必须新建 task_id，引用 derived_from，重新批准范围和验证；不得复用历史 ACCEPTED 作为新候选的放行依据。\n\n## 3. 模块三：刚刚好的 Data Flow Contracts\n\n### 3.1 工序交接表\n\n| 交接 | 必须输出 | 禁止输出 | 接收方检查 |\n|---|---|---|---|\n| Analyst → Architect | 业务目标、不变量、可观察验收、约束、必要非目标、证据和未知 | 思维流水、未确认架构承诺、任意评分、全量资料堆积 | 验收是否可判定；未知是否影响必要选择 |\n| Architect → Coder | 固定版本 CS、精确文件清单、接口、依赖、KCP、环境和失败保护要求 | 另一份执行计划、未授权操作、虚构可用脚本、预填通过结果 | 授权与影响范围一致；待创建资产已列入交付 |\n| Coder → Supervisor | 冻结候选、差异清单、真实机器回执引用、CS 对应关系、已知缺口 | 自签独立审查、聊天记录充当证据、隐藏失败、无范围约束的成功声明 | 候选、契约、环境和证据匹配；机器检查充分性可审查 |\n| Supervisor → 领域规范 | 已接受行为、接口、不变量、维护检查入口、适用范围及 TU 溯源 | 调试过程、逐轮日志、未接受假设、整份任务流水 | 双门禁有效，规范变更已纳入交付并获准 |\n\n### 3.2 交接载荷\n\n交接只包含：任务身份、契约版本、当前义务、必要差异、证据定位、已知局限及下一工序的明确动作。\n\n接收方必须沿引用读取必要原始材料。摘要不能替代唯一日志，也不能将来源中的假设升级为事实。\n\n### 3.3 领域沉淀规则\n\n[`领域规范`](specs/)按业务边界组织，而不是按角色组织。每个文件应包含：\n\n1. 适用范围及当前业务不变量。\n2. 输入输出接口、所有权和兼容约束。\n3. 持久验证入口及必要环境要求。\n4. 已接受 TU 和相关决策的溯源。\n5. 明确的已知局限。\n\n领域更新必须作为 CS 中的交付文件进入同一候选审查，不能在 ACCEPTED 后无审查地追加事实。若最终审查要求修改规范或代码，应形成新候选并重新核验受影响证据。\n\n## 4. 模块四：双重门禁的物理落地\n\n### 4.1 放行判定\n\n委托给定的验收条件为：\n\n$$a_t(g)=C_t^g(z_t^g)\\land R_t(g)$$\n\n工程解释如下：\n\n- C：所有必需机器检查均通过，执行完整，证据适用于当前候选、契约和环境。\n- R：独立审查员已经针对同一候选及契约签章，签章来源可核验，未被撤销或失效。\n- UNKNOWN、NOT_RUN、超时、必需项跳过及无法核验的签章都不能映射为 true。\n\n释放还必须满足当前授权、依赖接受、焦点资格和入口权限。质量通过不等于获得合入、推送或部署授权。\n\n### 4.2 最小控制面\n\n必须有三类受控入口，不要求建设通用调度框架：\n\n| 入口 | 必须拒绝的情况 |\n|---|---|\n| 执行前 | 越权目标、错误阶段、未接受依赖、失去焦点资格 |\n| 验证后 | 不完整执行、解析失败、必需项跳过、证据缺失或清理未知 |\n| 释放前 | 失败或过期机器证据、无独立签章、候选变化、无对应释放授权 |\n\n模型写入一个 ACCEPTED 字符串不能绕过入口。只有提示词而没有真实拒绝机制时，部署状态必须报告为“行为引导，硬门禁未覆盖”。\n\n### 4.3 候选和契约身份\n\n受控执行器必须生成：\n\n- 契约摘要：规范化的目标、输入、依赖、CS、KCP、审查策略及授权范围。\n- 候选摘要：受影响文件的内容、创建删除情况和必要文件属性；不能只使用 Git 提交号而忽略未提交改动。\n- 环境摘要：解释器、依赖身份、关键非秘密配置和相关宿主信息。\n\n契约摘要不包含 gate_status、当前角色、证据引用或签章字段，避免状态更新引起循环失效。摘要由程序计算，模型不手工维护。\n\n摘要只能证明内容一致性，不能证明执行者身份或防篡改。相同账号同时可修改候选、回执和签章时，不能宣称物理 SOD 已成立。\n\n### 4.4 机器回执格式\n\n[`当前机器回执`](verification/)是下列结构的实例；这里展示尚未执行的合法非通过回执，不是实测结果。\n\n```json\n{\n \"schema_version\": \"1.0\",\n \"task_id\": \"task-control-001\",\n \"contract_version\": 1,\n \"run_id\": null,\n \"contract_digest\": null,\n \"candidate_digest\": null,\n \"environment_digest\": null,\n \"producer\": {\n \"kind\": \"CONTROLLED_RUNNER\",\n \"principal_ref\": null,\n \"attestation_ref\": null\n },\n \"started_at\": null,\n \"finished_at\": null,\n \"checks\": [\n {\n \"verification_id\": \"KCP-01\",\n \"status\": \"NOT_RUN\",\n \"argv\": [\n \"python3\", \"-m\", \"unittest\", \"discover\",\n \"-s\", \"tests/backpressure\", \"-p\", \"test_task_gate.py\"\n ],\n \"cwd\": \".\",\n \"exit_code\": null,\n \"timed_out\": false,\n \"collected\": null,\n \"passed\": null,\n \"failed\": null,\n \"required_skipped\": null,\n \"cleanup\": \"UNKNOWN\",\n \"stdout_ref\": null,\n \"stderr_ref\": null,\n \"reason_codes\": [\"NOT_EXECUTED\"]\n }\n ],\n \"machine_gate\": \"UNKNOWN\",\n \"immutable_run_ref\": null\n}\n```\n\n状态枚举：检查结果为 PASS、FAIL、ERROR、TIMEOUT、NOT_RUN；machine_gate 为 PASS、FAIL、UNKNOWN。执行器必须验证计数和检查集合，不能接受缺项、重复 ID 或未声明检查替代必需检查。\n\n每项 PASS 必须同时满足：\n\n1. 实际启动并退出，取得真实退出状态。\n2. 执行命令和环境符合契约。\n3. 结果解析成功，必要输出可定位。\n4. 测试收集数量达到约定，必需项没有被跳过。\n5. 没有失败、超时或未托管残留；清理要求得到确认。\n\n仅退出零、空输出、工具未报告错误或模型勾选完成都不充分。非测试检查使用各自明确的断言，不能机械套用测试收集计数。\n\n### 4.5 证据生成与隔离\n\n- 验证在独立候选副本或经批准的隔离环境运行，默认禁网，不隐式安装依赖。\n- 执行串行、前台同步、标准输入封闭；探测、验证、构建默认分别限时 15、30、600 秒。\n- 运行结束前核对所有受托进程退出；工具提前返回不等于进程退出。\n- 每次运行生成唯一 run_id，原始证据不可覆盖；当前回执只引用相应不可变运行记录。\n- 不将完整凭据或秘密配置写入证据。脱敏不得破坏必要断言；受限原始证据应保留受控定位。\n- 普通 Agent 文件工具不得生成权威 PASS 回执。无法落实写入隔离时，应使用受保护 CI 或等效受控执行服务。\n\n### 4.6 独立审查报告和签章\n\n审查报告必须包含：\n\n| 内容 | 必需要求 |\n|---|---|\n| 身份 | TU、契约版本、候选摘要、机器运行引用 |\n| 审查人 | 可核验主体、独立性检查及授权来源 |\n| CS 覆盖 | 对每项交付、不变量和验收标准给出证据或缺口 |\n| 反向审查 | 边界条件、未捕获异常、状态转换、所有权和副作用 |\n| 结论 | ACCEPT 或 REJECT；未解决必需问题不得 ACCEPT |\n| 局限 | 未覆盖范围及不能外推的结论 |\n| 下游指引 | 可依赖行为、前提及禁止用途 |\n| 签章 | 签章主体、时间、报告摘要、候选及契约摘要、可信验证引用 |\n\n签章可以是受保护平台的审查批准记录，或可验证的数字签名。不得以模型生成的姓名、时间戳或字符串 SIGNED 代替真实批准。\n\n审查报告先由 Supervisor 准备，独立审查员确认或修改后签章。审查发现现有 KCP 不充分时，退回契约或测试修订，不以“测试全绿”终止审查。\n\n### 4.7 拒绝、返工与现场保护\n\nREJECTED 必须保存原因码、失败证据和对应候选，不释放下游。\n\n- 普通失败：在已批准范围和预算内返工；形成新候选，重验受影响检查并重新审查。\n- 实质变化：交付范围、公共接口、所有权或验收发生变化时返回 Plan，取得新版本批准。\n- 环境或证据缺失：BLOCKED，不降低断言。\n- 现场保护：保留用户改动和唯一证据，不执行全目录删除或无差别回退。\n- 不可逆外部副作用：先冻结释放，按已批准补偿方案处理；没有方案时请求专项授权。\n\n任何候选修改都会使其原签章失效。机器证据只有在执行器确认适用范围未受影响时才可复用；模型不得自行决定继承绿灯。\n\n## 5. 模块五：Roo Code / Cline 配置与 Prompt 映射\n\n### 5.1 通用路由 Prompt\n\n以下片段可用于交互提示或经核验的项目规则入口；它不增加工具权限。\n\n> 你服务于一条单体 Plan-Act 业务流，不创建按角色割裂的任务文档体系。\n>\n> 用户显式指定 TU 时优先读取该契约；没有显式任务时读取焦点指针。缺失、权限拒绝、磁盘错误和格式损坏分别报告，不静默回退或恢复归档。\n>\n> Plan 根据当前工序承担 Analyst 或 Architect。先收敛目标和验收，再确定接口、交付清单、KCP 和独立审查要求。只读分析不写文件、不运行终端或探针。\n>\n> Act 的实施工序承担 Coder，只执行获准范围。提交审查后停止修改候选，承担 Supervisor 审查辅助职责。\n>\n> Supervisor 可以提出审查结论，但不能代替独立审查员签章。没有有效机器证据或独立签章，不得宣布释放、合入批准或领域事实成立。\n>\n> 工序切换和压缩后重新加载任务身份、授权和全部未完成义务。不要同时加载全部历史、日志和四套完整职责提示。\n\n### 5.2 Cline 映射\n\n- Plan：由当前 TU 工序选择 Analyst 或 Architect。\n- Act：由当前 TU 工序选择 Coder 或 Supervisor 审查辅助。\n- 持久化计划：仅在明确文档保存授权下执行，不顺带实施生产代码。\n- 独立签章：由外部授权审查员完成，不要求另启 Agent 进程。\n\n项目规则候选入口为 [`.clinerules`](.clinerules)。入口文件形态、实际发现方式、模式信号及扩展接口必须按目标版本核验；本草案不预造未证实的钩子字段。\n\n交互批准示例：\n\n> Plan：请完善当前 TU 的业务不变量、精确交付和验收；不实施、不运行验证。\n\n> Act：批准当前 TU 的实施阶段，仅执行契约列出的文件与操作；机器检查通过后提交审查，不自行签章或合入。\n\n> 审查：针对冻结候选核对 CS、机器证据与反例，输出审查报告。独立签章由指定审查员完成。\n\n### 5.3 Roo 模式配置候选\n\n以下 YAML 沿用 [`模式源配置`](bmad-suite-v4/roo/settings/custom_modes.yaml:1)的结构表达设计，不代表已加载或已经具备运行时隔离。\n\n```yaml\ncustomModes:\n - slug: bmad-flow-plan\n name: \"BMAD Plan\"\n roleDefinition: \"单体业务流的分析与设计职责；不实施生产代码。\"\n groups:\n - read\n - browser\n customInstructions: >-\n 根据任务工序承担 Analyst 或 Architect。\n 只读取证与会话交付；不运行终端、不创建探针。\n 保存任务契约需要单独授权的文档操作入口。\n\n - slug: bmad-flow-act\n name: \"BMAD Act\"\n roleDefinition: \"单体业务流的获准实施职责。\"\n groups:\n - read\n - edit\n - command\n customInstructions: >-\n 只实施当前批准的 TU 和阶段。\n 验证由受控执行器形成真实回执。\n 提交审查后停止修改候选，不代签独立审查。\n 模式和提示词不授予合入、推送或部署权限。\n\n - slug: bmad-flow-review\n name: \"BMAD Review\"\n roleDefinition: \"单体业务流的只读审查辅助职责。\"\n groups:\n - read\n - browser\n customInstructions: >-\n 对冻结候选执行 CS 覆盖检查和反向审查。\n 不修改生产候选，不生成机器 PASS 或独立签章。\n 需要重跑物理断言时提交给获准受控执行器。\n```\n\n三个模式是同一业务流的宿主操作配置，不是三条独立业务流或三个常驻 Agent。\n\nReview 默认不授予通用 command：测试程序也可能写入、联网或运行任意代码。需要审查员触发实测时，必须通过实际可核验的受限执行器，而不是靠提示词把通用命令工具描述成只读。\n\n### 5.4 宿主接入验收\n\n| 验收项 | 必需真实证据 |\n|---|---|\n| 规则加载 | 目标版本、有效规则来源及当前会话加载定位 |\n| 职责路由 | Plan/Act 往返切换后进入正确工序，不继承错误许可 |\n| 越权阻断 | 未授权文件、命令和其他已启用副作用入口被实际拒绝 |\n| 失败背压 | 失败、超时、缺证据和缺签章不能释放 |\n| 候选失效 | 修改候选后旧通过和旧签章不能继续放行 |\n| 合法完成 | 合法候选能够通过，不能用永远拒绝冒充安全 |\n| 返工 | 拒绝后仍可在授权范围内修复和重验 |\n| 恢复 | 压缩或新会话恢复全部未完成义务，不继承旧绿灯 |\n\n无法覆盖某个入口时，必须披露该缺口；不能用静态配置、参考模型或一个可运行的校验脚本替代宿主入口验收。\n\n## 6. 落地顺序与最小充分验收\n\n以下是建议顺序，不是实施授权，也不接管其他活动计划。\n\n1. 契约阶段：实现任务结构校验、输入绑定、唯一焦点及非法状态拒绝。\n2. 证据阶段：接入受控执行器，产生候选身份、真实运行回执及不可变原始记录。\n3. 内控阶段：接入独立审查身份和受保护释放入口，覆盖失败、过期和伪造批准。\n4. 宿主阶段：验证实际模式路由与所有启用的副作用入口。\n5. 迁移阶段：逐项适配旧消费者，保全旧任务及证据，停止旧入口新写入；不得双写新旧任务状态。\n\n最小验收必须同时包含：\n\n- 合法任务能够完成；显式非法任务不回退。\n- 零收集、必需项跳过、超时、解析失败和清理未知被阻断。\n- 无独立签章、实施者自签及无法核验身份被阻断。\n- 候选、契约、输入或相关环境变化使对应旧证据失效。\n- 焦点争用、源变化、权限拒绝、磁盘失败和格式损坏不会覆盖其他任务。\n- 归档失败保留源；恢复建立新实例，不继承历史绿灯。\n- 领域规范只沉淀获准且过审的交付，不吸收任务流水或未接受假设。\n\n## 7. 最终裁决\n\n任务中心拓扑、工序嵌入、最小数据交接和双重门禁可以作为目标工程契约。物理 SOD 的必要条件是独立批准来源与受保护释放入口；单会话 Prompt 切换本身不能满足这一条件。\n\n本草案不宣称控制器、签章服务、模板资产或宿主适配已经实现。后续仅可按明确批准的阶段建设，并以真实允许、拒绝、返工和恢复回执验收；在此之前保持草案，不更新项目事实基线，不转正历史提案，不迁移或归档现有任务。\n````"}}

{"name":"attempt_completion","arguments":{"result":"````markdown\n# BMAD-Solo 业务流驱动的 Agent 文档与任务治理落地规范\n\n本文为工程规范草案：采用单体 Plan-Act 业务流，以任务单元组织契约、证据和流转；角色是工序职责，不是独立 Agent 进程。本次仅会话交付，不写入文件、不实施代码、不迁移目录、不运行验证。\n\n- 任务契约唯一入口为 [`specs/tasks/TU-.md`](specs/tasks/)，焦点文件只保存当前任务引用。\n- 机器检查通过与独立审查签章缺一不可；同一模型切换提示词，只能形成审查意见，不能自行完成职责分离签章。\n- 提示词负责引导，受控执行入口和受保护的合入入口负责强制门禁；未实现的控制能力不得标记为已生效。\n\n## 0. 规范范围、依据与部署边界\n\n### 0.1 用语\n\n- 必须：不满足时阻断对应操作或下游释放。\n- 应当：默认执行；偏离须说明理由及影响。\n- 可以：不改变必要门禁的可选实现。\n- 任务单元 TU：具有明确目标、输入、交付规范、检查要求和审查要求的最小可独立验收业务单元。\n- 释放：允许其他任务依赖其成果、批准合入，或将成果登记为当前领域事实。提交审查不属于释放。\n\n### 0.2 理论依据的证据边界\n\nAutoSwarm 原始论文条目可以定位，但本次返回材料没有展开 v1 的 CS 定义及指定公式原文；下文将委托给定的任务单元、CS 和双重门禁作为设计要求，不声称已经复现论文机制。[1]\n\n徐直军指定讲话的官方完整原文，本次未取得足够一手证据。因此采用委托明确给定的业务流、职责嵌入、数据适配和内控原则，不伪造原文引句，也不将这些原则描述成已经验证的工程效果。\n\n### 0.3 本规范不自动授予的权限\n\n本草案不授权修改生产文件、启用宿主配置、安装依赖、运行实验、提交推送、部署、删除旧资产或恢复历史任务。\n\n落地必须分别确认：\n\n1. 当前批准的任务及阶段。\n2. 实际允许的文件与操作范围。\n3. 宿主版本、规则加载方式和工具限制能力。\n4. 证据执行器与独立签章入口的真实可用性。\n5. 旧入口的消费者适配、保全和迁移授权。\n\n现有材料的对照入口为 [`业务蓝图`](docs/blueprint.md:1)、[`Plan-Act 提案`](docs/adrs/ADR-20261023-cline-native-plan-act-and-backpressure.md:71)、[`治理提案`](docs/adrs/ADR-20261022-document-test-governance-and-host-adaptation.md:21)及 [`Roo 模式源配置`](bmad-suite-v4/roo/settings/custom_modes.yaml:1)。本规范提出新的目标契约，不接受、覆盖或归档这些材料关联的其他任务。\n\n正文中的路径引用使用可点击链接；代码块保留可解析的原始 YAML、JSON 和配置语法。所有新增路径均为设计候选，不代表资产已经存在。\n\n## 1. 模块一：端到端 Plan-Act 业务流与角色嵌入\n\n### 1.1 工序定义\n\n| 基础动作 | 工序与职责 | 必需输出 | 离开工序的条件 |\n|---|---|---|---|\n| Plan 前半段 | Analyst：理解业务问题 | 目标、业务不变量、验收标准、必要非目标、未知及来源 | 关键歧义已消除，或明确标记为阻塞项 |\n| Plan 后半段 | Architect：建立实施契约 | 精确交付清单、接口约束、依赖、KCP、审查要求、失败保护方案 | 契约结构有效，用户批准实施范围 |\n| Act 前半段 | Coder：实施获准候选 | 代码和测试候选、差异清单、自测证据引用、未解决问题 | 必需机器检查通过，候选冻结，提交审查 |\n| Act 后半段 | Supervisor：反向审查与放行建议 | CS 覆盖审查、风险和局限、独立签章请求 | 当前候选的机器证据与独立签章均有效 |\n\n四个职责共享同一个任务标识及同一份契约，不建立 Analyst、Architect、Coder、Supervisor 四套物理文档目录。\n\n### 1.2 提示词切换契约\n\n每次工序切换必须显式提供：\n\n- 当前 TU、契约版本、当前工序及职责。\n- 当前操作授权；上一职责的授权不自动继承。\n- 本工序消费的输入及必须完成的义务。\n- 本工序禁止执行的操作。\n- 下一工序的提交条件，而不是笼统的“完成任务”。\n\n职责由任务工序和宿主当前真实模式共同约束。宿主模式缺失、矛盾或无法读取时，禁止根据模型记忆、文件名或旧摘要猜测操作许可。\n\nArchitect 可以完善契约，但不能把推演写成实测；Coder 可以自审，但不能生成独立审查签章；Supervisor 不直接修改待审候选，发现问题后应退回 Coder。\n\n### 1.3 单会话中的职责分离\n\n同一 Agent 会话可以依次承担四种分析视角，但不因此获得独立审查身份。\n\n本规范的最小合规方案是：\n\n1. 同一 Agent 完成实施，并准备 Supervisor 审查材料。\n2. 受控执行器生成机器检查证据。\n3. 未参与当前候选实施的授权人类审查员独立检查并签章。\n4. 受保护入口核验两类证据后才允许释放。\n\n审查员必须能够退回候选，且签章不能由 Coder 通过普通文件写入工具代签。若审查员本人参与了当前候选实施，必须另选独立审查员。\n\n仅更换模型、角色名称、提示词或清空上下文，不足以证明身份独立、写入隔离或审查充分。\n\n### 1.4 加载与清洗契约\n\n| 层次 | 加载内容 | 不加载内容 |\n|---|---|---|\n| 常驻层 | 安全边界、业务流规则、任务导航 | 全部领域规范、历史计划、运行日志 |\n| 当前任务层 | TU 契约、授权引用、未完成义务、相关输入 | 无关任务、全部归档 |\n| 当前工序层 | 对应职责、必要源码切片和证据摘要 | 四种完整职责提示同时常驻 |\n| 按需证据层 | 当前裁决所需的日志片段及原始证据定位 | 全量日志或模型思维流水 |\n\n工序切换、上下文压缩和恢复后，必须重新读取当前焦点和绑定契约，不能靠摘要继承绿灯。\n\n交接摘要默认限制为 80 行、12 KiB；这是可调整的工程预算，不是模型能力阈值。摘要必须保留所有未完成义务。预算不足时，缩小阅读范围或请求合理拆分，不得静默删掉约束、失败或未知。\n\n宿主压缩不能被描述为已经彻底清除了旧模型上下文。需要新会话时，从权威工件恢复，而不是复制全部聊天记录。\n\n## 2. 模块二：任务核心工件、字段与生命周期\n\n### 2.1 目标目录\n\n| 工件 | 路径 | 权威职责 |\n|---|---|---|\n| 全局导航 | [`AGENTS.md`](AGENTS.md) | 稳定规则和路由，不记录任务进度 |\n| 任务契约 | [`specs/tasks/TU-.md`](specs/tasks/) | 当前任务的唯一契约与受控生命周期 |\n| 单焦点指针 | [`specs/tasks/_active.md`](specs/tasks/_active.md) | 只引用当前获准任务，不复制状态 |\n| 领域规范 | [`specs/.md`](specs/) | 已被接受的长效领域事实 |\n| 当前机器回执 | [`verification/TU-.verdict.json`](verification/) | 当前机器检查结果及不可变运行证据引用 |\n| 不可变运行证据 | [`verification/TU-/runs//`](verification/) | 原始日志、候选清单、运行回执和审查报告 |\n| 临时现场 | [`.scratch/TU-/`](.scratch/) | 获准临时工作区，不作为可信验收源 |\n\n新任务不得再创建第二份默认计划或向 [`旧输出目录`](_bmad-output/)写入新的任务流转状态。旧资产不因目录退役而失去审计价值；迁移前必须保全来源、未完成义务和引用。\n\n### 2.2 权威源与写入所有权\n\n- TU 文件：业务契约由获准计划操作修改；生命周期字段仅由指定流转入口更新。\n- 焦点文件：只有焦点管理入口可写，不保存检查结果或待办副本。\n- 机器回执：只有受控执行器生成，模型不得手写通过结果。\n- 独立审查报告与签章：只有审查入口提交；任务文件保存引用，不复制另一套审查结论。\n- 宿主任务清单：仅作为任务状态的显示或导航，不能独立放行。\n\ngate_status 是受控入口根据证据更新的流转状态，不是机器检查或审查事实的第二权威源。释放时必须重新核对引用和候选身份，不能只读取 ACCEPTED 字符串。\n\n### 2.3 完整任务模板\n\n以下模板描述一个待实施的示例任务。TEMPLATE、未绑定输入、未批准授权、待创建验证资产及空签章均不得用于放行。\n\n```yaml\n---\nschema_version: \"1.0\"\nartifact_kind: TEMPLATE\ntask_id: task-control-001\ncontract_version: 1\nparent_objective: \"建立业务流任务契约与双重门禁\"\ncurrent_stage: PLAN_ANALYZE\nactive_role: ANALYST\ngate_status: IN_PROGRESS\nexecution_condition: BLOCKED\nblock_reason: TEMPLATE_NOT_INSTANTIATED\n\nauthorization:\n approval_ref: null\n approved_stage: null\n allowed_operations: []\n implementation_principals: []\n\ninputs:\n - input_id: INPUT-01\n path: docs/blueprint.md\n selector:\n kind: lines\n start: 1\n end: 76\n source_kind: BASELINE\n upstream_task_id: null\n sha256: null\n\ndependencies: []\n\ncs_specification:\n deliverables:\n - path: scripts/task_gate.py\n operation: CREATE\n purpose: \"解析任务契约并拒绝无效释放\"\n - path: tests/backpressure/test_task_gate.py\n operation: CREATE\n purpose: \"覆盖正常路径和门禁拒绝路径\"\n - path: specs/task-governance.md\n operation: CREATE\n purpose: \"记录过审后的任务治理契约\"\n invariants:\n - invariant_id: INV-01\n statement: \"显式任务无效时不得静默回退到其他任务\"\n verification_ids: [KCP-01]\n - invariant_id: INV-02\n statement: \"机器失败、证据过期或缺独立签章时不得释放\"\n verification_ids: [KCP-01]\n acceptance_criteria:\n - criterion_id: AC-01\n statement: \"合法任务能够放行，非法任务保持现场并被拒绝\"\n verification_ids: [KCP-01]\n non_goals:\n - \"不部署真实宿主\"\n - \"不迁移或删除历史任务\"\n interfaces:\n - \"输入为任务契约和证据引用；输出为允许或拒绝及原因\"\n\nkcp_verification:\n checks:\n - verification_id: KCP-01\n kind: UNIT_TEST\n required: true\n asset_status: PLANNED\n argv:\n - python3\n - -m\n - unittest\n - discover\n - -s\n - tests/backpressure\n - -p\n - test_task_gate.py\n cwd: .\n execution_profile: ISOLATED_WORKSPACE\n stdin: CLOSED\n timeout_seconds: 30\n kill_grace_seconds: 2\n network_policy: DENY\n parser: python-unittest-v1\n assertions:\n expected_exit_code: 0\n minimum_collected: 1\n maximum_required_skipped: 0\n cleanup_must_be_confirmed: true\n verdict_ref: verification/TU-task-control-001.verdict.json\n\nsod_review:\n policy: INDEPENDENT_HUMAN\n report_ref: null\n reviewer_principal_ref: null\n signature_ref: null\n known_limitations_ref: null\n downstream_guidance_ref: null\n\ncandidate:\n manifest_ref: null\n candidate_digest: null\n\narchive:\n state: ACTIVE\n archived_at: null\n approval_ref: null\n derived_from: null\n---\n```\n\n正文模板：\n\n```markdown\n# TU-task-control-001：任务控制面\n\n## 业务目标\n说明业务问题、价值接收方和成功条件；不以角色名称代替业务目标。\n\n## 分析草案\n记录验收依据、必要非目标、关键未知和来源定位。\n未知必须注明影响哪项裁决。\n\n## 架构与接口说明\n解释 Frontmatter 中接口和不变量的含义。\n列出受影响调用方、数据所有权及副作用边界。\n不得另写一份相互竞争的交付清单或验证命令。\n\n## 实施工序\n按最小连贯改动安排实施顺序。\n先创建必需验证资产，再运行对应 KCP。\n此处不记录逐轮执行日志或历史通过流水。\n\n## 失败与现场保护\n定义允许返工范围、需要重新批准的变化和清理条件。\n明确不能覆盖的用户改动及不可逆副作用。\n\n## 下游使用要求\n说明成果的适用范围、禁止外推范围及领域规范更新要求。\n最终审查局限和签章以独立报告引用为准。\n```\n\n### 2.4 字段级校验规则\n\n| 字段 | 类型及约束 |\n|---|---|\n| schema_version | 字符串；当前只接受 1.0，未知版本拒绝 |\n| artifact_kind | TEMPLATE 或 TASK；TEMPLATE 禁止实施和释放 |\n| task_id | 匹配 `[a-z0-9][a-z0-9_-]{0,63}`；必须与文件名对应且全局唯一 |\n| contract_version | 正整数；契约实质变化时递增 |\n| parent_objective | 非空业务目标，不是角色标签 |\n| current_stage | PLAN_ANALYZE、PLAN_DESIGN、ACT_IMPLEMENT、ACT_REVIEW、COMPLETE |\n| active_role | ANALYST、ARCHITECT、CODER、SUPERVISOR、NONE；必须符合阶段映射 |\n| gate_status | READY、IN_PROGRESS、IN_REVIEW、ACCEPTED、REJECTED |\n| execution_condition | RUNNABLE、BLOCKED、SUSPENDED；与质量状态正交 |\n| block_reason | RUNNABLE 时为 null；其他情况为明确原因码 |\n| authorization | 真实批准引用、批准阶段、操作列表、候选实施者身份；字段本身不是权限令牌 |\n| inputs | 输入 ID 唯一；必须有路径、选择范围、来源类型和输入摘要；任务来源还须有上游 TU |\n| dependencies | 上游 TU 标识、固定契约版本、接受证据引用；不得形成依赖环 |\n| cs_specification | 精确交付列表、不变量、验收标准、必要非目标及接口说明 |\n| kcp_verification | 非空必需检查集和机器回执引用；检查必须可执行且结果可解析 |\n| sod_review | 独立审查策略及报告、身份、签章、局限、下游指引引用 |\n| candidate | 冻结候选清单及摘要；进入审查前必须存在 |\n| archive | ACTIVE 或 ARCHIVED、时间及批准引用；恢复来源只作溯源 |\n\n嵌套规则：\n\n- 所有对象拒绝未知字段，所有 ID 不得重复；YAML 拒绝重复键、自定义标签和多文档拼接。\n- 所有文件路径按工作区根目录解析；禁止绝对路径、目录穿越和逃逸链接。输入选择器支持文件、明确锚点或合法行区间。\n- deliverables 的 operation 仅允许 CREATE、MODIFY、DELETE；使用精确文件清单，不以宽泛目录或通配符授权。\n- verification_ids 必须引用真实检查 ID；每项必需验收必须有机器检查及独立审查覆盖。\n- argv 是非空字符串数组，不是自由 Shell 字符串；cwd 必须处于获准执行根内。\n- PLANNED 表示资产待创建，不等于可执行。READY 可以批准先创建这些资产，但 IN_REVIEW 前所有必需资产必须可用并取得证据。\n- 超时、环境、网络和清理要求必须明确；不能通过删除检查、放宽断言或修改 required 来消除已有失败。\n- null 不等于通过；未绑定输入、未批准操作和缺签章分别阻断依赖它们的阶段。\n\n### 2.5 状态转换\n\n| 当前状态 | 目标状态 | 必需条件 |\n|---|---|---|\n| IN_PROGRESS / PLAN_ANALYZE | IN_PROGRESS / PLAN_DESIGN | 业务输入足以支持设计 |\n| IN_PROGRESS / PLAN_DESIGN | READY / PLAN_DESIGN | 契约有效、输入绑定、范围批准 |\n| READY | IN_PROGRESS / ACT_IMPLEMENT | 宿主实际许可与当前实施授权均有效 |\n| IN_PROGRESS / ACT_IMPLEMENT | IN_REVIEW / ACT_REVIEW | 必需机器检查通过，候选冻结，证据匹配 |\n| IN_REVIEW | ACCEPTED / COMPLETE | 机器检查与独立签章均有效 |\n| IN_PROGRESS 或 IN_REVIEW | REJECTED | 必需检查失败，或审查明确拒绝 |\n| REJECTED | IN_PROGRESS / ACT_IMPLEMENT | 获准返工，旧签章不可继承 |\n\nACTIVE_ROLE 在 COMPLETE 时为 NONE。缺依赖、证据不可用或宿主能力不足使用 BLOCKED；明确暂停使用 SUSPENDED，不能伪装成质量通过或质量拒绝。\n\n内部 Draft 交接是同一 TU 的准备工序，不得被其他任务当作已接受成果。TU 对外释放必须通过完整双重门禁。\n\n### 2.6 单焦点与归档\n\n[`焦点文件`](specs/tasks/_active.md)只保存：\n\n```yaml\n---\nschema_version: \"1.0\"\nfocus_revision: 1\nactive_task: null\nbinding_contract_version: null\n---\n```\n\n- 显式指定 TU 时优先绑定该候选；缺失或非法时不静默替换。\n- 无显式任务时读取焦点指针；空指针是正常状态，不自动执行最近归档。\n- 焦点切换必须使用互斥和版本比较，保护旧任务的全部未完成义务。指针不复制 gate_status。\n- 同一时刻只允许一个任务持有当前工作区的实施资格。被暂停的任务仍保留契约，不因切焦点而标记完成。\n\n默认采用逻辑归档：保留 TU 原路径，将 archive.state 改为 ARCHIVED，并在源身份复核后清除焦点引用。这避免移动后破坏上游引用，也不需要建立第二份完成计划。\n\n归档必须满足任务已经 ACCEPTED、独立签章有效、证据保留可用、领域沉淀义务完成或明确不适用，并取得归档授权。归档失败保留任务和焦点，不先删除源。\n\n恢复历史任务必须新建 task_id，引用 derived_from，重新批准范围和验证；不得复用历史 ACCEPTED 作为新候选的放行依据。\n\n## 3. 模块三：刚刚好的 Data Flow Contracts\n\n### 3.1 工序交接表\n\n| 交接 | 必须输出 | 禁止输出 | 接收方检查 |\n|---|---|---|---|\n| Analyst → Architect | 业务目标、不变量、可观察验收、约束、必要非目标、证据和未知 | 思维流水、未确认架构承诺、任意评分、全量资料堆积 | 验收是否可判定；未知是否影响必要选择 |\n| Architect → Coder | 固定版本 CS、精确文件清单、接口、依赖、KCP、环境和失败保护要求 | 另一份执行计划、未授权操作、虚构可用脚本、预填通过结果 | 授权与影响范围一致；待创建资产已列入交付 |\n| Coder → Supervisor | 冻结候选、差异清单、真实机器回执引用、CS 对应关系、已知缺口 | 自签独立审查、聊天记录充当证据、隐藏失败、无范围约束的成功声明 | 候选、契约、环境和证据匹配；机器检查充分性可审查 |\n| Supervisor → 领域规范 | 已接受行为、接口、不变量、维护检查入口、适用范围及 TU 溯源 | 调试过程、逐轮日志、未接受假设、整份任务流水 | 双门禁有效，规范变更已纳入交付并获准 |\n\n### 3.2 交接载荷\n\n交接只包含：任务身份、契约版本、当前义务、必要差异、证据定位、已知局限及下一工序的明确动作。\n\n接收方必须沿引用读取必要原始材料。摘要不能替代唯一日志，也不能将来源中的假设升级为事实。\n\n### 3.3 领域沉淀规则\n\n[`领域规范`](specs/)按业务边界组织，而不是按角色组织。每个文件应包含：\n\n1. 适用范围及当前业务不变量。\n2. 输入输出接口、所有权和兼容约束。\n3. 持久验证入口及必要环境要求。\n4. 已接受 TU 和相关决策的溯源。\n5. 明确的已知局限。\n\n领域更新必须作为 CS 中的交付文件进入同一候选审查，不能在 ACCEPTED 后无审查地追加事实。若最终审查要求修改规范或代码，应形成新候选并重新核验受影响证据。\n\n## 4. 模块四：双重门禁的物理落地\n\n### 4.1 放行判定\n\n委托给定的验收条件为：\n\n$$a_t(g)=C_t^g(z_t^g)\\land R_t(g)$$\n\n工程解释如下：\n\n- C：所有必需机器检查均通过，执行完整，证据适用于当前候选、契约和环境。\n- R：独立审查员已经针对同一候选及契约签章，签章来源可核验，未被撤销或失效。\n- UNKNOWN、NOT_RUN、超时、必需项跳过及无法核验的签章都不能映射为 true。\n\n释放还必须满足当前授权、依赖接受、焦点资格和入口权限。质量通过不等于获得合入、推送或部署授权。\n\n### 4.2 最小控制面\n\n必须有三类受控入口，不要求建设通用调度框架：\n\n| 入口 | 必须拒绝的情况 |\n|---|---|\n| 执行前 | 越权目标、错误阶段、未接受依赖、失去焦点资格 |\n| 验证后 | 不完整执行、解析失败、必需项跳过、证据缺失或清理未知 |\n| 释放前 | 失败或过期机器证据、无独立签章、候选变化、无对应释放授权 |\n\n模型写入一个 ACCEPTED 字符串不能绕过入口。只有提示词而没有真实拒绝机制时，部署状态必须报告为“行为引导，硬门禁未覆盖”。\n\n### 4.3 候选和契约身份\n\n受控执行器必须生成：\n\n- 契约摘要：规范化的目标、输入、依赖、CS、KCP、审查策略及授权范围。\n- 候选摘要：受影响文件的内容、创建删除情况和必要文件属性；不能只使用 Git 提交号而忽略未提交改动。\n- 环境摘要：解释器、依赖身份、关键非秘密配置和相关宿主信息。\n\n契约摘要不包含 gate_status、当前角色、证据引用或签章字段，避免状态更新引起循环失效。摘要由程序计算，模型不手工维护。\n\n摘要只能证明内容一致性，不能证明执行者身份或防篡改。相同账号同时可修改候选、回执和签章时，不能宣称物理 SOD 已成立。\n\n### 4.4 机器回执格式\n\n[`当前机器回执`](verification/)是下列结构的实例；这里展示尚未执行的合法非通过回执，不是实测结果。\n\n```json\n{\n \"schema_version\": \"1.0\",\n \"task_id\": \"task-control-001\",\n \"contract_version\": 1,\n \"run_id\": null,\n \"contract_digest\": null,\n \"candidate_digest\": null,\n \"environment_digest\": null,\n \"producer\": {\n \"kind\": \"CONTROLLED_RUNNER\",\n \"principal_ref\": null,\n \"attestation_ref\": null\n },\n \"started_at\": null,\n \"finished_at\": null,\n \"checks\": [\n {\n \"verification_id\": \"KCP-01\",\n \"status\": \"NOT_RUN\",\n \"argv\": [\n \"python3\", \"-m\", \"unittest\", \"discover\",\n \"-s\", \"tests/backpressure\", \"-p\", \"test_task_gate.py\"\n ],\n \"cwd\": \".\",\n \"exit_code\": null,\n \"timed_out\": false,\n \"collected\": null,\n \"passed\": null,\n \"failed\": null,\n \"required_skipped\": null,\n \"cleanup\": \"UNKNOWN\",\n \"stdout_ref\": null,\n \"stderr_ref\": null,\n \"reason_codes\": [\"NOT_EXECUTED\"]\n }\n ],\n \"machine_gate\": \"UNKNOWN\",\n \"immutable_run_ref\": null\n}\n```\n\n状态枚举：检查结果为 PASS、FAIL、ERROR、TIMEOUT、NOT_RUN；machine_gate 为 PASS、FAIL、UNKNOWN。执行器必须验证计数和检查集合，不能接受缺项、重复 ID 或未声明检查替代必需检查。\n\n每项 PASS 必须同时满足：\n\n1. 实际启动并退出，取得真实退出状态。\n2. 执行命令和环境符合契约。\n3. 结果解析成功，必要输出可定位。\n4. 测试收集数量达到约定，必需项没有被跳过。\n5. 没有失败、超时或未托管残留；清理要求得到确认。\n\n仅退出零、空输出、工具未报告错误或模型勾选完成都不充分。非测试检查使用各自明确的断言，不能机械套用测试收集计数。\n\n### 4.5 证据生成与隔离\n\n- 验证在独立候选副本或经批准的隔离环境运行，默认禁网，不隐式安装依赖。\n- 执行串行、前台同步、标准输入封闭；探测、验证、构建默认分别限时 15、30、600 秒。\n- 运行结束前核对所有受托进程退出；工具提前返回不等于进程退出。\n- 每次运行生成唯一 run_id，原始证据不可覆盖；当前回执只引用相应不可变运行记录。\n- 不将完整凭据或秘密配置写入证据。脱敏不得破坏必要断言；受限原始证据应保留受控定位。\n- 普通 Agent 文件工具不得生成权威 PASS 回执。无法落实写入隔离时，应使用受保护 CI 或等效受控执行服务。\n\n### 4.6 独立审查报告和签章\n\n审查报告必须包含：\n\n| 内容 | 必需要求 |\n|---|---|\n| 身份 | TU、契约版本、候选摘要、机器运行引用 |\n| 审查人 | 可核验主体、独立性检查及授权来源 |\n| CS 覆盖 | 对每项交付、不变量和验收标准给出证据或缺口 |\n| 反向审查 | 边界条件、未捕获异常、状态转换、所有权和副作用 |\n| 结论 | ACCEPT 或 REJECT；未解决必需问题不得 ACCEPT |\n| 局限 | 未覆盖范围及不能外推的结论 |\n| 下游指引 | 可依赖行为、前提及禁止用途 |\n| 签章 | 签章主体、时间、报告摘要、候选及契约摘要、可信验证引用 |\n\n签章可以是受保护平台的审查批准记录，或可验证的数字签名。不得以模型生成的姓名、时间戳或字符串 SIGNED 代替真实批准。\n\n审查报告先由 Supervisor 准备，独立审查员确认或修改后签章。审查发现现有 KCP 不充分时，退回契约或测试修订，不以“测试全绿”终止审查。\n\n### 4.7 拒绝、返工与现场保护\n\nREJECTED 必须保存原因码、失败证据和对应候选，不释放下游。\n\n- 普通失败：在已批准范围和预算内返工；形成新候选，重验受影响检查并重新审查。\n- 实质变化：交付范围、公共接口、所有权或验收发生变化时返回 Plan，取得新版本批准。\n- 环境或证据缺失：BLOCKED，不降低断言。\n- 现场保护：保留用户改动和唯一证据，不执行全目录删除或无差别回退。\n- 不可逆外部副作用：先冻结释放，按已批准补偿方案处理；没有方案时请求专项授权。\n\n任何候选修改都会使其原签章失效。机器证据只有在执行器确认适用范围未受影响时才可复用；模型不得自行决定继承绿灯。\n\n## 5. 模块五：Roo Code / Cline 配置与 Prompt 映射\n\n### 5.1 通用路由 Prompt\n\n以下片段可用于交互提示或经核验的项目规则入口；它不增加工具权限。\n\n> 你服务于一条单体 Plan-Act 业务流，不创建按角色割裂的任务文档体系。\n>\n> 用户显式指定 TU 时优先读取该契约；没有显式任务时读取焦点指针。缺失、权限拒绝、磁盘错误和格式损坏分别报告，不静默回退或恢复归档。\n>\n> Plan 根据当前工序承担 Analyst 或 Architect。先收敛目标和验收，再确定接口、交付清单、KCP 和独立审查要求。只读分析不写文件、不运行终端或探针。\n>\n> Act 的实施工序承担 Coder，只执行获准范围。提交审查后停止修改候选，承担 Supervisor 审查辅助职责。\n>\n> Supervisor 可以提出审查结论，但不能代替独立审查员签章。没有有效机器证据或独立签章，不得宣布释放、合入批准或领域事实成立。\n>\n> 工序切换和压缩后重新加载任务身份、授权和全部未完成义务。不要同时加载全部历史、日志和四套完整职责提示。\n\n### 5.2 Cline 映射\n\n- Plan：由当前 TU 工序选择 Analyst 或 Architect。\n- Act：由当前 TU 工序选择 Coder 或 Supervisor 审查辅助。\n- 持久化计划：仅在明确文档保存授权下执行，不顺带实施生产代码。\n- 独立签章：由外部授权审查员完成，不要求另启 Agent 进程。\n\n项目规则候选入口为 [`.clinerules`](.clinerules)。入口文件形态、实际发现方式、模式信号及扩展接口必须按目标版本核验；本草案不预造未证实的钩子字段。\n\n交互批准示例：\n\n> Plan：请完善当前 TU 的业务不变量、精确交付和验收；不实施、不运行验证。\n\n> Act：批准当前 TU 的实施阶段，仅执行契约列出的文件与操作；机器检查通过后提交审查，不自行签章或合入。\n\n> 审查：针对冻结候选核对 CS、机器证据与反例，输出审查报告。独立签章由指定审查员完成。\n\n### 5.3 Roo 模式配置候选\n\n以下 YAML 沿用 [`模式源配置`](bmad-suite-v4/roo/settings/custom_modes.yaml:1)的结构表达设计，不代表已加载或已经具备运行时隔离。\n\n```yaml\ncustomModes:\n - slug: bmad-flow-plan\n name: \"BMAD Plan\"\n roleDefinition: \"单体业务流的分析与设计职责；不实施生产代码。\"\n groups:\n - read\n - browser\n customInstructions: >-\n 根据任务工序承担 Analyst 或 Architect。\n 只读取证与会话交付；不运行终端、不创建探针。\n 保存任务契约需要单独授权的文档操作入口。\n\n - slug: bmad-flow-act\n name: \"BMAD Act\"\n roleDefinition: \"单体业务流的获准实施职责。\"\n groups:\n - read\n - edit\n - command\n customInstructions: >-\n 只实施当前批准的 TU 和阶段。\n 验证由受控执行器形成真实回执。\n 提交审查后停止修改候选，不代签独立审查。\n 模式和提示词不授予合入、推送或部署权限。\n\n - slug: bmad-flow-review\n name: \"BMAD Review\"\n roleDefinition: \"单体业务流的只读审查辅助职责。\"\n groups:\n - read\n - browser\n customInstructions: >-\n 对冻结候选执行 CS 覆盖检查和反向审查。\n 不修改生产候选，不生成机器 PASS 或独立签章。\n 需要重跑物理断言时提交给获准受控执行器。\n```\n\n三个模式是同一业务流的宿主操作配置，不是三条独立业务流或三个常驻 Agent。\n\nReview 默认不授予通用 command：测试程序也可能写入、联网或运行任意代码。需要审查员触发实测时，必须通过实际可核验的受限执行器，而不是靠提示词把通用命令工具描述成只读。\n\n### 5.4 宿主接入验收\n\n| 验收项 | 必需真实证据 |\n|---|---|\n| 规则加载 | 目标版本、有效规则来源及当前会话加载定位 |\n| 职责路由 | Plan/Act 往返切换后进入正确工序，不继承错误许可 |\n| 越权阻断 | 未授权文件、命令和其他已启用副作用入口被实际拒绝 |\n| 失败背压 | 失败、超时、缺证据和缺签章不能释放 |\n| 候选失效 | 修改候选后旧通过和旧签章不能继续放行 |\n| 合法完成 | 合法候选能够通过，不能用永远拒绝冒充安全 |\n| 返工 | 拒绝后仍可在授权范围内修复和重验 |\n| 恢复 | 压缩或新会话恢复全部未完成义务，不继承旧绿灯 |\n\n无法覆盖某个入口时，必须披露该缺口；不能用静态配置、参考模型或一个可运行的校验脚本替代宿主入口验收。\n\n## 6. 落地顺序与最小充分验收\n\n以下是建议顺序，不是实施授权，也不接管其他活动计划。\n\n1. 契约阶段：实现任务结构校验、输入绑定、唯一焦点及非法状态拒绝。\n2. 证据阶段：接入受控执行器，产生候选身份、真实运行回执及不可变原始记录。\n3. 内控阶段：接入独立审查身份和受保护释放入口，覆盖失败、过期和伪造批准。\n4. 宿主阶段：验证实际模式路由与所有启用的副作用入口。\n5. 迁移阶段：逐项适配旧消费者，保全旧任务及证据，停止旧入口新写入；不得双写新旧任务状态。\n\n最小验收必须同时包含：\n\n- 合法任务能够完成；显式非法任务不回退。\n- 零收集、必需项跳过、超时、解析失败和清理未知被阻断。\n- 无独立签章、实施者自签及无法核验身份被阻断。\n- 候选、契约、输入或相关环境变化使对应旧证据失效。\n- 焦点争用、源变化、权限拒绝、磁盘失败和格式损坏不会覆盖其他任务。\n- 归档失败保留源；恢复建立新实例，不继承历史绿灯。\n- 领域规范只沉淀获准且过审的交付，不吸收任务流水或未接受假设。\n\n## 7. 最终裁决\n\n任务中心拓扑、工序嵌入、最小数据交接和双重门禁可以作为目标工程契约。物理 SOD 的必要条件是独立批准来源与受保护释放入口；单会话 Prompt 切换本身不能满足这一条件。\n\n本草案不宣称控制器、签章服务、模板资产或宿主适配已经实现。后续仅可按明确批准的阶段建设，并以真实允许、拒绝、返工和恢复回执验收；在此之前保持草案，不更新项目事实基线，不转正历史提案，不迁移或归档现有任务。\n````"}}