{"name":"attempt_completion","arguments":{"result":"本草案将业务流、任务契约、实测证据和独立审查收敛为一套可机械校验的治理设计。交付仅为会话中的工程规范草案，不表示控制器已经实现、宿主已经加载规则，也不授权代码实施、目录迁移或删除历史资产。\n\n- 任务按端到端业务流组织，不按角色建立物理文档目录。\n- 角色切换改变工作视角，不产生新的执行权限或独立审查身份。\n- 任务契约是流转权威源；机器回执和审查签章分别证明不同事实。\n- 只有当前候选同时满足机器检查与独立审查，才允许受控交付给下游。\n\n# BMAD-Solo 业务流驱动的 Agent 文档与任务治理落地规范\n\n版本：0.1。状态：工程规范草案，待批准。适用项目：dotfiles-bmad-solo。\n\n## 0. 适用边界与规范解释\n\n### 0.1 理论采用与证据边界\n\n本规范采用任务委托给出的三项设计约束：业务流优先、任务单元与双重门禁、任务知识拓扑收敛。它们是本草案的规范性输入，不是已经证明本项目实现正确的证据。\n\n本次检索定位到了 AutoSwarm 的原始论文条目，但返回内容不足以独立核对委托中 CS 定义和验收公式对应的全文段落。[1](cite:1) 徐直军文章的原始版本及目标 Roo Code/Cline 的当前运行时行为也未取得足够一手证据；证据不足。以下公式按用户明确指定的设计约束采用，不冒充已经逐段核实的论文引文。\n\n适配时可参考已提供的[现有业务拓扑](docs/blueprint.md)、[Cline 路由模板](bmad-suite-v4/cline/templates/bmad-router.md)、[Roo 模式配置](bmad-suite-v4/roo/settings/custom_modes.yaml)和[实施计划模板](bmad-suite-v4/skills/bmad/references/templates/implementation-plan.template.md)。参考资产不等于本规范已生效。\n\n### 0.2 规范用语\n\n- 必须：机械校验或交付必须满足的条件。\n- 应当：默认执行；偏离必须说明理由并得到适当授权。\n- 可以：不扩大权限的可选实现。\n- 未知：证据不足，不能写成通过；只阻塞依赖该证据的动作。\n\n### 0.3 本轮非目标\n\n- 不实施生产代码，不运行验证或探针，不操作 Git。\n- 不建立多 Agent 常驻调度系统，不维护第二套角色文档树。\n- 不凭提示词声称实现了操作系统隔离、独立审查或程序防篡改。\n- 不覆盖未完成任务，不自动恢复历史计划。\n- 不删除旧[历史资产目录](_bmad-output/)，不修改[项目事实基线](_bmad-output/project-context.md)。\n\n目标架构停止把旧目录作为新任务的输出入口。彻底废除的是旧的任务输出与治理模型，不是未经授权地销毁历史来源、唯一证据或未完成义务。\n\n### 0.4 目标知识拓扑\n\n| 工件 | 职责 | 权威范围 |\n|---|---|---|\n| [项目导航](AGENTS.md) | 全局约束、目录路由、构建入口 | 稳定项目导航，不保存任务进度 |\n| [任务目录](specs/tasks/) | 任务契约、阶段、交付关系 | 任务流转的唯一一等公民目录 |\n| [任务正本](specs/tasks/TU-20261027-001.md) | 单个任务的规范与粗粒度状态 | 当前任务契约及门禁状态 |\n| [焦点指针](specs/tasks/_active.md) | 指向当前唯一执行焦点 | 焦点选择，不复制任务状态 |\n| [任务模式定义](specs/tasks/_schemas/task-unit.schema.json) | 字段、枚举、结构校验 | 机器可读契约结构 |\n| [领域规范](specs/task-governance.md) | 已交付能力的长期不变量、接口与验收 | 已发布领域事实 |\n| [验证目录](verification/) | 真实执行回执、日志和附件 | 运行事实，不是任务状态 |\n| [长期测试](tests/) | 持久回归与必要集成断言 | 可执行验证资产 |\n| [分析与决策目录](docs/) | 必要研究和重大取舍 | 解释与历史决策，不镜像任务流水 |\n\n表中新增目标均为拟议资产，尚未创建。后续示例中的链接用于说明目标位置；模板代码块保留原生语法，避免链接标记破坏可解析性。\n\n## 模块一：Plan-Act 业务流与角色嵌入\n\n### 1.1 基础动作与职责工序\n\n单体引擎只保留 Plan、Act 两个基础动作。Analyst、Architect、Coder、Supervisor 是同一业务流中的职责视角，不是四个独立部署的 Agent。\n\n| 基础动作 | 工序 | 角色视角 | 主要工作 | 出口 |\n|---|---|---|---|---|---|\n| Plan | 业务澄清 | Analyst | 目标、业务不变量、验收、必要非目标 | Task Spec Draft |\n| Plan | 设计冻结 | Architect | 接口、依赖、写入范围、CS、KCP、恢复策略 | 冻结后的任务契约 |\n| Act | 候选实施 | Coder | 在获准隔离环境实施候选、执行自测 | 候选内容身份与真实回执 |\n| Act | 独立评审 | Supervisor | 根据 CS 反向审查，核对机器证据 | 独立批准或拒绝 |\n| Act | 受控交付 | Supervisor 负责核对 | 发布已批准的精确候选 | 发布记录与下游使用资格 |\n\nPlan 中的两种视角可以在同一会话内转换。Act 中的 Coder 自审可以辅助发现问题，但不能代替 Supervisor 的独立签章。\n\n### 1.2 三遍阅读嵌入位置\n\n1. Analyst 第一遍扫描：识别业务目标、上下文、约束、验收与必要非目标。\n2. Analyst/Architect 第二遍取证：区分用户要求、源码事实、真实运行回执、推断、假设和未知；重要接口与数字必须定位来源。\n3. Architect 第三遍反向推演：模拟状态转换、边界输入、失败路径、资源与副作用；推演不冒充实测。\n\n先用权限、兼容性、隔离条件和预算筛选候选，再比较存活方案。没有可靠测量时使用定性比较，不编造评分或效果承诺。\n\n### 1.3 角色加载规则\n\n角色选择必须同时核对三个输入：\n\n- 宿主提供的真实 Plan/Act 模式信号。\n- 任务正本中的阶段与职责。\n- 当前用户批准范围和实际工具权限。\n\n职责由业务流阶段决定，宿主模式提供能力边界。三者冲突时停止依赖该判定的副作用操作，不从文件名、旧摘要或模型自称推断权限。\n\nPlan 默认只读。Architect 需要固化文档时，必须通过获准的文档保存入口；对于不允许 Plan 写入的宿主，可使用仅文档授权的 Act 保存步骤。该步骤仍属于设计固化，不得顺带实施代码。\n\n### 1.4 单会话与职责分离的硬边界\n\n同一模型从 Coder 切换为 Supervisor，仅完成了视角切换，没有建立独立审查。\n\n本规范默认采用以下最小实现：\n\n- 单体 Agent 完成分析、设计、候选实施及审查材料准备。\n- 独立人类审查者通过受信任审批入口签章；其不得是本候选的实施贡献者。\n- 机器回执由受控执行器生成，不能由模型编辑 JSON 后充当实测。\n- 受控发布入口核验检查与签章，Agent 不持有签章凭据或发布绕过权限。\n\n若使用独立自动审查执行实例，必须分别证明其身份、凭据、候选写权限隔离和审查输入独立性。新会话、新提示词、不同角色名称或不同模型名称本身均不构成独立性证明。\n\n独立身份和受控发布入口缺失时，可以交付草稿、自测结果和审查建议；不能宣称完成双重门禁，也不能自动释放给下游。\n\n### 1.5 上下文加载与清洗契约\n\n每次接管、角色切换、上下文压缩恢复或契约变化后，重新加载：\n\n1. 项目导航中的相关约束。\n2. 当前焦点及绑定任务的完整机器元数据。\n3. 当前工序需要的正文锚点、上游输入与必要领域规范。\n4. 当前候选的相关差异。\n5. 适用于当前候选的验证回执和审查引用。\n6. 全部未完成义务的标识及定位。\n\n禁止默认加载全部历史任务、全部 ADR、完整终端日志、无关研究材料或实现者的逐轮推理记录。\n\n交接摘要应由确定性入口从权威工件生成。初始工程策略采用最多 80 行、12 KiB 的摘要上限；这是可调整的预算，不是模型性能定律。\n\n- 摘要只保留目标、授权、绑定身份、未完成义务、阻塞项和证据定位。\n- 详情按锚点有界读取，不把长日志抄进任务正本。\n- 摘要不得覆盖原始工件，不得将旧通过结果压缩成无条件绿灯。\n- 若连全部未完成义务的索引都无法容纳，应拆分交接或请求调整任务边界，不静默丢弃事项。\n- 恢复后重新验证证据适用性，不凭会话记忆继承批准。\n\n## 模块二：核心工件与完整任务模板\n\n### 2.1 单一权威源划分\n\n单一权威源不是把所有数据塞进一个文件，而是同一事实只有一个可写权威来源。\n\n| 事实 | 权威来源 | 其他位置的允许形态 |\n|---|---|---|\n| 任务要求、阶段、门禁状态 | 任务正本 | 只读摘要或链接 |\n| 当前唯一执行焦点 | 焦点指针 | 宿主界面的只读显示 |\n| 机器检查结果 | 被任务引用的真实运行回执 | 程序生成的只读视图 |\n| 独立审查结论 | 任务审查区及其受信任签章 | 审批记录引用 |\n| 已发布领域约束 | 领域规范 | 任务引用，不整段复制 |\n| 已完成发布行为 | 受信任发布记录 | 任务中的记录引用 |\n\n任务正本只维护粗粒度工序状态，不维护逐轮命令流水。宿主 TODO 清单不得成为第二份独立可写的阶段账本。\n\n### 2.2 标识、解析与校验规则\n\n- 任务标识使用唯一的日期加序号或其他经批准的唯一标识；文件名必须与标识一致。\n- YAML 使用安全解析器；禁止重复键、别名、合并键、自定义标签和隐式日期对象。\n- 不接受未知字段；模式版本不兼容时拒绝执行，不能猜测修复。\n- 路径必须为项目内相对路径；拒绝绝对路径、父目录穿越和逃逸符号链接。\n- 输入可以定位到完整文件、明确行范围或稳定正文锚点；必须验证目标存在。\n- 输出必须列出精确文件，不以目录或通配符充当无限写入授权。\n- 检查命令保存为参数数组，不默认交给 Shell 解释。\n- 空值表示未知或尚未产生，不表示通过。\n\n### 2.3 完整 YAML Frontmatter 示例\n\n下列模板对应拟议的[任务正本](specs/tasks/TU-20261027-001.md)。示例任务是未来的治理入口实现任务，不是本轮已获准实施内容。\n\n模板处于规划摄入状态：尚未冻结、未获执行授权、验证资产尚未创建。其 READY 只表示可以继续规划，不表示可以实施。\n\n```yaml\n---\nschema_version: 1\ntask_id: TU-20261027-001\nparent_objective:\n objective_id: OBJ-BUSINESS-FLOW-GOVERNANCE\n summary: 建立业务流驱动的任务契约与双重门禁\ncontract_revision: 1\nstate_revision: 0\ncurrent_stage: PLAN_ANALYSIS\nactive_role: Analyst\nplan_frozen: false\ngate_status: READY\nhold:\n kind: NONE\n reason: null\nlifecycle: OPEN\ninputs:\n - input_id: IN-BLUEPRINT\n path: docs/blueprint.md\n selector:\n kind: lines\n start: 9\n end: 29\n content_digest: null\n upstream_task_id: null\n status: UNRESOLVED\n - input_id: IN-CLINE-ROUTER\n path: bmad-suite-v4/cline/templates/bmad-router.md\n selector:\n kind: file\n content_digest: null\n upstream_task_id: null\n status: UNRESOLVED\ndependencies: []\nauthorization:\n status: NOT_GRANTED\n evidence_ref: null\n allowed_stage: PLAN_ANALYSIS\n production_write_allowed: false\n merge_allowed: false\n domain_publish_allowed: false\n archive_allowed: false\ncs_specification:\n deliverables:\n - path: specs/tasks/_schemas/task-unit.schema.json\n operation: CREATE\n purpose: 校验任务工件结构\n - path: scripts/task_gate.py\n operation: CREATE\n purpose: 核对当前候选及受信任门禁证据\n - path: tests/roo_contracts/test_task_flow_governance.py\n operation: CREATE\n purpose: 验证正常流转与错误拒绝\n - path: specs/task-governance.md\n operation: CREATE\n purpose: 保存通过审查后的领域契约候选\n invariants:\n - invariant_id: INV-SINGLE-FOCUS\n statement: 同一执行域只能有一个获准执行焦点\n check_ids: [KCP-GOVERNANCE]\n review_required: true\n - invariant_id: INV-DUAL-GATE\n statement: 机器通过和独立审查同时成立才可释放当前候选\n check_ids: [KCP-GOVERNANCE]\n review_required: true\n - invariant_id: INV-PROTECT-EXISTING\n statement: 不覆盖既有改动或未完成任务\n check_ids: [KCP-GOVERNANCE]\n review_required: true\n acceptance:\n - criterion_id: AC-NORMAL-FLOW\n statement: 合法候选能够完成检查审查及受控发布\n check_ids: [KCP-GOVERNANCE]\n review_required: true\n - criterion_id: AC-FAIL-CLOSED\n statement: 失败缺失过期或伪造证据不能触发依赖推进\n check_ids: [KCP-GOVERNANCE]\n review_required: true\n non_goals:\n - 不建设常驻多 Agent 调度器\n - 不自动删除历史目录\n forbidden_writes:\n - _bmad-output/project-context.md\nkcp_verification:\n policy: ALL_REQUIRED\n checks:\n - check_id: KCP-GOVERNANCE\n required: true\n kind: TEST\n argv:\n - python3\n - -m\n - unittest\n - discover\n - -s\n - tests/roo_contracts\n - -p\n - test_task_flow_governance.py\n - -v\n cwd: .\n timeout_seconds: 30\n kill_grace_seconds: 2\n stdin: CLOSED\n network: DENY\n asset_status: PLANNED_NOT_CREATED\n required_assets:\n - tests/roo_contracts/test_task_flow_governance.py\n result_adapter: UNITTEST\n minimum_collected: 1\n required_case_ids:\n - TaskFlowContractTests.test_valid_release\n - TaskFlowContractTests.test_reject_missing_authorization\n - TaskFlowContractTests.test_reject_same_reviewer_principal\n - TaskFlowContractTests.test_reject_stale_candidate\n - TaskFlowContractTests.test_reject_zero_collection\n - TaskFlowContractTests.test_reject_missing_required_check\n - TaskFlowContractTests.test_preserve_existing_changes\n required_skips_allowed: false\n latest_run_ref: null\nsod_review:\n required: true\n status: PENDING\n reviewer_principal: null\n implementation_principals: []\n independent_identity_verified: false\n approval_ref: null\n bound_contract_digest: null\n bound_candidate_digest: null\n bound_verdict_digest: null\n report_anchor: sod-review\n report_digest: null\n limitations: []\n downstream_guidance: null\ncandidate:\n manifest_ref: null\n content_digest: null\n environment_digest: null\n protected_baseline_ref: null\ndelivery:\n published: false\n release_ref: null\n published_candidate_digest: null\narchive:\n sealed_at: null\n evidence_retention_ref: null\n---\n```\n\n### 2.4 完整正文模板\n\nFrontmatter 保存可执行契约与状态。正文保存业务解释、接口设计和审查报告，不重复维护状态、测试结果或另一套验收清单。\n\n```markdown\n# TU-20261027-001：业务流任务治理入口\n\n\n## 业务背景\n\n说明触发需求的业务问题、使用者与预期价值。\n目标、验收与非目标以 Frontmatter 的对应字段为准。\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| REVIEW-PENDING | 待确定 | 尚未完成独立审查 | 无 | 未知 | 不可批准 |\n\n批准前必须替换待审内容，覆盖相关输入边界、异常传播、\n状态转换、所有权、副作用、验证盲区与下游误用风险。\n\n\n## 下游使用\n\n使用限制与适用环境以审查元数据为准。\n只有受控发布记录绑定的精确候选才具备下游使用资格。\n不得把任务摘要或 ACCEPTED 字样本身当作放行证明。\n```\n\n### 2.5 字段级定义\n\n以下字段定位均指向上述待创建[任务模板](specs/tasks/TU-20261027-001.md:1)。\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| [`state_revision`](specs/tasks/TU-20261027-001.md:1) | 非负整数 | 受控状态更新使用比较后交换 |\n| [`current_stage`](specs/tasks/TU-20261027-001.md:1) | 五阶段枚举 | 与角色及门禁组合校验 |\n| [`active_role`](specs/tasks/TU-20261027-001.md:1) | 四角色枚举 | 不证明独立身份或权限 |\n| [`plan_frozen`](specs/tasks/TU-20261027-001.md:1) | 布尔值 | 未冻结不得实施；冻结后变更须重新批准 |\n| [`gate_status`](specs/tasks/TU-20261027-001.md:1) | 五状态枚举 | 只允许规定的转换 |\n| [`hold`](specs/tasks/TU-20261027-001.md:1) | NONE、BLOCKED、SUSPENDED 与原因 | 区分质量结论和操作暂停；不建立第二套进度 |\n| [`lifecycle`](specs/tasks/TU-20261027-001.md:1) | OPEN 或 SEALED | SEALED 后不得原地恢复实施 |\n| [`inputs`](specs/tasks/TU-20261027-001.md:1) | 输入对象列表 | 标识唯一；路径与选择器有效；冻结前绑定内容身份 |\n| [`dependencies`](specs/tasks/TU-20261027-001.md:1) | 上游任务引用列表 | 每项必须绑定任务标识及实际发布记录；禁止循环依赖 |\n| [`authorization`](specs/tasks/TU-20261027-001.md:1) | 授权范围与可信记录引用 | 布尔字段只能表示已核验授权，不能由模型自行授予 |\n| [`cs_specification`](specs/tasks/TU-20261027-001.md:1) | 精确产物、不变量、验收、非目标及禁止写入 | 标识唯一；每项验收必须映射检查、审查或二者 |\n| [`kcp_verification`](specs/tasks/TU-20261027-001.md:1) | 必需检查集合和运行引用 | 缺检查、零收集、必需跳过不能通过 |\n| [`sod_review`](specs/tasks/TU-20261027-001.md:1) | 审查身份、签章绑定、报告与使用限制 | 批准时全部必要绑定非空，独立身份必须真实核验 |\n| [`candidate`](specs/tasks/TU-20261027-001.md:1) | 候选清单、内容与环境身份 | 必须来自实际快照，不由模型手工猜测摘要 |\n| [`delivery`](specs/tasks/TU-20261027-001.md:1) | 发布事实及候选身份 | 只有真实发布回执才能标记已发布 |\n| [`archive`](specs/tasks/TU-20261027-001.md:1) | 封存时间与证据保留策略 | 归档不删除唯一证据，不改变质量结论 |\n\n嵌套枚举与约束：\n\n- 输入状态：UNRESOLVED、BOUND；选择器为文件、行范围或锚点三选一。\n- 输出操作：CREATE、MODIFY、DELETE；删除必须有额外明确授权，不能从实施许可推导。\n- 检查资产状态：PLANNED_NOT_CREATED、AVAILABLE；AVAILABLE 不等于检查通过。\n- 审查状态：PENDING、APPROVED、REJECTED；只有可信审批记录能支撑 APPROVED。\n- 每项局限性必须包含标识、说明、是否阻塞以及必要的风险接受记录。核心门禁失败不能被局限性说明豁免。\n- 正文不得增加机器契约中未声明的写入权限或隐含验收；发现新义务时修订契约。\n\n### 2.6 阶段与门禁转换\n\n| 当前阶段 | 角色 | 允许门禁状态 | 下一步条件 |\n|---|---|---|---|\n| PLAN_ANALYSIS | Analyst | READY | 目标、输入、验收足够支持设计 |\n| PLAN_DESIGN | Architect | READY | CS/KCP 完整，契约冻结，实施授权明确 |\n| ACT_IMPLEMENT | Coder | IN_PROGRESS、REJECTED | 产物符合范围，当前候选全部必需机器检查通过 |\n| ACT_REVIEW | Supervisor | IN_REVIEW、REJECTED、ACCEPTED | 独立审查通过且所有绑定有效 |\n| DONE | Supervisor | ACCEPTED | 获准发布已完成，发布对象与批准候选一致 |\n\n主要转换：\n\n1. READY → IN_PROGRESS：契约冻结、授权有效、依赖已交付、焦点与环境满足。\n2. IN_PROGRESS → IN_REVIEW：当前候选的全部必需机器检查通过。\n3. IN_REVIEW → ACCEPTED：独立签章有效，且机器证据仍适用当前候选。\n4. 实施或审查失败 → REJECTED：保留原因、现场和回执，不释放下游。\n5. REJECTED → IN_PROGRESS：仅在原批准范围与预算允许返工，或取得新的授权后进行。\n6. ACCEPTED → DONE 阶段：取得发布授权并收到真实发布回执。\n\nACCEPTED 是质量放行，不是提交、合并、推送、部署或领域发布的自动授权。已被下游消费的任务不得原地改成新候选；后续修改建立新的任务单元。\n\n超时、缺依赖、证据缺失、清理未知等使用 BLOCKED 原因说明；主动暂停使用 SUSPENDED。暂停不自动完成任务，也不允许凭租约到期继承授权。\n\n### 2.7 单焦点指针\n\n拟议的[焦点指针](specs/tasks/_active.md)初始化模板：\n\n```yaml\n---\nschema_version: 1\nrevision: 0\ntask_id: null\ntask_path: null\nactivation_id: null\nlease_owner: null\nlease_expires_at: null\n---\n# 当前执行焦点\n\n无活动执行任务。此文件只保存焦点，不复制任务阶段或门禁状态。\n```\n\n规则：\n\n- 空指针是正常空闲，不自动选择最新任务或历史归档。\n- 激活时必须一次绑定任务标识、路径、执行实例标识和实际所有者。\n- 焦点更新使用锁、版本复核和单文件原子替换；这些能力必须实现并验证后才能宣称存在。\n- 不允许静默替换未完成焦点；必须获得选择或暂停授权，保留原任务。\n- 租约过期不证明旧执行已结束。无法确认旧执行退出或资产清理时停止接管。\n- 状态更新与焦点更新不是天然跨文件原子事务；消费者必须复核二者一致，发现中断状态时拒绝推进并保留现场。\n- 单焦点限制的是执行和发布；不禁止无副作用地阅读其他相关资料。\n\n### 2.8 归档契约\n\n采用原位封存，避免移动任务正本造成上游路径失效：\n\n- 任务正本保留原路径，生命周期改为 SEALED。\n- 焦点解除绑定后，常规上下文不再加载该任务。\n- [归档目录](specs/tasks/archive/)只保存程序生成的索引，不创建第二份可写任务正本。\n- 索引包含任务路径、封存时间、正本内容摘要与证据保留引用；不复制阶段流水。\n- 封存条件是任务已交付、必要依赖与证据对账完成，并取得归档授权。\n- 封存写入失败、源内容变化或证据保留失败时保留原任务和焦点，不登记归档成功。\n- 暂停任务不伪装成已完成归档；历史恢复另建执行实例并重验，不继承旧绿灯。\n\n任务正本和必要索引可以进入版本控制；敏感运行证据按保留策略进入受控存储。忽略文件不等于安全删除，也不意味着其证据可以丢弃。\n\n## 模块三：刚刚好的数据交接契约\n\n### 3.1 上下游交接表\n\n| 交接 | 必须输出 | 严禁输出 | 下游接收条件 |\n|---|---|---|---|\n| Analyst → Architect | 业务目标、不变量、验收、约束、必要非目标、输入定位、未知 | 未经论证的实现细节、整段聊天、默认全库改造、虚构业务事实 | 足以识别设计边界；关键歧义已经说明 |\n| Architect → Coder | 冻结任务、精确产物、接口与所有权、依赖、KCP、环境前提、恢复方案、批准范围 | 自行授予执行权限、未创建命令冒充可用、无关 ADR 全集、并行权威计划 | 契约有效、授权明确、资产及环境前提可核验 |\n| Coder → Supervisor | 精确候选身份、相关差异、真实机器回执、已知局限性、未完成项、复现入口 | 自签批准、成功口头声明、长日志替代结果、凭自测推导独立审查 | 候选冻结；必需检查通过；报告与输入身份匹配 |\n| Supervisor → 下游 | 签章绑定、批准候选、限制、适用环境、真实发布记录 | 把未过审候选交给下游、模糊绿灯、未声明残余风险 | 双重门禁有效且发布授权满足 |\n| Supervisor → 领域规范 | 已发布特性的长期不变量、接口、必要验证入口、简短取舍与溯源 | 工单流水、临时失败 dump、未过审设计、未验证运行承诺 | 领域候选已纳入 CS 并过审，或另建文档任务审查 |\n\n### 3.2 交接粒度\n\n- 上游传递的是下游完成职责所需的信息，不是全部研究过程。\n- 每项输入以路径、选择器和内容身份绑定；摘要用于导航，不替代原始输入。\n- 同一不变量在领域规范中已有有效定义时，任务引用它，只声明本任务新增或改变的部分。\n- 新增接口、所有权或验收变化必须修订契约，不通过交接备注偷偷扩大范围。\n- 交接失败只阻塞相关依赖；独立任务能否继续由其授权、焦点和资源边界决定。\n\n### 3.3 领域沉淀与签章闭环\n\n长期规范不能在批准后由模型自由改写，否则批准绑定的内容身份立即失效。\n\n采用以下两条路径之一：\n\n1. 预先声明：领域文档候选进入 CS 精确产物清单，与实现一起检查、审查和发布。\n2. 后续沉淀：实现任务发布后，新建仅文档任务，消费已发布候选及证据，独立完成文档审查。\n\n领域规范只记录长期有效的业务不变量、输入输出、错误语义、验证入口和必要决策溯源。任务细节留在任务正本，不搬进公共规范。\n\n## 模块四：机器检查与独立审查的物理门禁\n\n### 4.1 验收公式与适用对象\n\n对任务单元 g，在时间 t 的候选 z，采用委托指定的双重门禁：\n\n$$a_t(g)=C_t^g(z_t^g)\\land R_t(g)$$\n\n本规范要求两项判断绑定同一任务、契约、候选与适用环境。\n\n- C：当前候选的全部必需机器检查通过，且真实回执完整、可信、未过期。\n- R：独立身份对同一候选完成反向审查，并留下有效签章。\n- 检查、审查任一为未知、缺失或不适用时，不允许放行。\n\n双门禁外还必须满足授权、焦点、依赖和发布目标等前置条件。这些前置条件不是可以被测试通过抵消的质量分数。\n\n### 4.2 最小受信任边界\n\n提示词负责理解与编排；物理门禁必须位于真正控制发布动作的入口。\n\n必须具备：\n\n1. 受控执行器：运行获准命令并生成原始回执。\n2. 受信任审查入口：验证审批身份和独立性，保存绑定签章。\n3. 受控发布入口：重新核对候选与双门禁，批准或拒绝真实发布。\n4. 下游消费者：只接受该入口发布的精确候选，不只读取 Markdown 中的 ACCEPTED。\n\n这些可以是已有 CI、代码托管审批或受控客户端能力，不要求另造通用调度框架。拟议的[任务门禁程序](scripts/task_gate.py)只能核对其实际接入的入口；本草案不声明该程序已存在。\n\n同一账号能够改写候选、回执和签章时，内容摘要只提供一致性检查，不提供独立认证或防篡改。不能凭本地脚本和可编辑文件声称建立了可信 SOD。\n\n### 4.3 候选、契约与环境绑定\n\n契约摘要覆盖：模式版本、任务标识、契约版本、目标、输入、依赖、CS、KCP 及相关授权范围。\n\n- 不包含状态版本、运行引用或签章字段，避免自引用摘要循环。\n- 所有规范性义务必须进入该契约投影；正文若产生新义务，先修订契约。\n- 确定性序列化使用 UTF-8、固定键序、无多余空白；仅允许字符串、整数、布尔、空值、列表和对象。\n- 序列化算法必须版本化并通过固定向量测试，不能由模型手工同步摘要。\n\n候选清单必须覆盖：\n\n- 精确交付文件及内容、文件类型和相关权限。\n- 必需测试、夹具、配置与输入身份。\n- 相关既有基线及受保护改动。\n- 环境、工具版本和影响判断所需依赖。\n\n只计算被编辑文件的摘要可能漏掉测试或依赖变化，不能据此复用旧证据。环境或候选变化后重验受影响检查；无法可靠判定影响范围时，不复用相关结果。\n\n### 4.4 实施与实测隔离\n\nCoder 的生产代码实施指源代码候选实施，不表示直接修改正在运行的生产服务。\n\n- 候选应位于经批准的独立检出、工作树或其他真实隔离环境。\n- 必须确认自动重载服务、其他任务和下游消费者不会提前消费未批准候选。\n- 目录名包含 scratch 或 sandbox 不证明隔离；网络、凭据、文件系统和外部资源边界必须实际核验。\n- 验证不得隐式安装依赖或联网；环境准备另行授权。\n- 原生文件工具负责助手文件操作，执行器负责真实命令；不创建未经批准的探针。\n- 受影响接口、调用方、数据所有权和副作用边界均纳入必要验证；不机械盲跑全库，也不通过删测缩小门禁。\n\n命令串行、前台同步、标准输入关闭；探测、验证、构建默认分别采用 15、30、600 秒进程级超时。无法证明进程已退出或清理完成时，不标记通过。\n\n### 4.5 回执目录与唯一性\n\n要求的[当前回执视图](verification/TU-20261027-001.verdict.json)由程序生成，不接受模型手工写入的实测结果。\n\n- 每次运行使用唯一运行标识。\n- 原始回执保存在[任务运行目录](verification/TU-20261027-001/runs/)。\n- 任务正本引用精确的不可变运行回执，而不是仅引用“最新文件”。\n- 平面当前回执是该运行的只读物化视图，不是第二份可独立修改的结果。\n- 发布判断以任务绑定的运行身份和可信来源为准；视图被修改、过期或不一致时拒绝推进。\n\n日志和附件应脱敏，保留必要诊断，不把凭据、完整敏感请求或私有数据写入公共规范。\n\n### 4.6 完整机器回执模板\n\n以下 JSON 是未运行模板，不是真实成功回执。\n\n```json\n{\n \"schema_version\": 1,\n \"task_id\": \"TU-20261027-001\",\n \"contract_revision\": 1,\n \"contract_digest\": null,\n \"candidate_digest\": null,\n \"environment_digest\": null,\n \"run_id\": null,\n \"producer\": {\n \"principal\": null,\n \"trusted_execution_ref\": null,\n \"attestation_ref\": null\n },\n \"started_at\": null,\n \"finished_at\": null,\n \"checks\": [\n {\n \"check_id\": \"KCP-GOVERNANCE\",\n \"required\": true,\n \"kind\": \"TEST\",\n \"argv\": [\n \"python3\", \"-m\", \"unittest\", \"discover\",\n \"-s\", \"tests/roo_contracts\",\n \"-p\", \"test_task_flow_governance.py\", \"-v\"\n ],\n \"cwd\": \".\",\n \"timeout_seconds\": 30,\n \"exit_code\": null,\n \"process_exited\": null,\n \"timed_out\": null,\n \"collected\": null,\n \"passed\": null,\n \"failed\": null,\n \"required_case_ids_seen\": [],\n \"required_skipped\": null,\n \"assertions_passed\": null,\n \"cleanup_complete\": null,\n \"log_ref\": null,\n \"log_digest\": null,\n \"result\": \"NOT_RUN\",\n \"reason_codes\": [\"VERIFICATION_ASSET_NOT_CREATED\"]\n }\n ],\n \"aggregate\": {\n \"C_g\": \"UNKNOWN\",\n \"publishable\": false,\n \"reason_codes\": [\"NO_EXECUTION_EVIDENCE\"]\n }\n}\n```\n\n字段判断规则：\n\n| 回执部分 | 要求 |\n|---|---|\n| 身份字段 | 任务、契约、候选、环境与任务绑定一致 |\n| 生产者 | 来源可认证，不能只相信 JSON 中自填的身份字符串 |\n| 时间与运行标识 | 来自真实执行，运行标识唯一；时间本身不证明有效性 |\n| 命令与目录 | 与冻结 KCP 一致，不能临时替换成更容易通过的命令 |\n| 退出与超时 | 真实退出为零、未超时；工具提前返回不等于退出 |\n| 测试收集 | 达到最低收集量，冻结契约要求的用例实际出现 |\n| 跳过与断言 | 必需项无跳过，必要断言通过 |\n| 日志与清理 | 必要输出可定位，清理结果明确，未遗留不受控进程 |\n| 聚合 | 检查集合完整；不能仅对返回的子集计算全绿 |\n\n单项结果使用 NOT_RUN、PASS、FAIL、ERROR、TIMEOUT。聚合 C 使用 TRUE、FALSE、UNKNOWN。\n\n- TRUE：所有必需检查均 PASS，绑定与来源核验成立。\n- FALSE：存在明确失败、必需跳过、检查集合缺项、零收集或内容绑定失效。\n- UNKNOWN：缺少退出、输出、来源认证、环境或清理等必要证据。\n- FALSE 和 UNKNOWN 都不能发布，但错误报告必须保留两者区别。\n\nLint、语法检查等非测试命令使用专用适配器，不强行伪造测试数量；其适配器必须证明实际检查了预期目标。退出零但零目标命中不能作为通过依据。\n\n### 4.7 独立反向审查与签章\n\n审查者必须核对：\n\n- 边界输入、空值、重复请求、幂等性及必要状态转换。\n- 未捕获异常、超时、取消、部分写入和恢复行为。\n- 模块接口、调用方、数据所有权和资源释放。\n- 测试是否覆盖关键业务不变量，是否存在“入口关闭所以全绿”的假通过。\n- 验收是否因删测、改变分类、弱化断言或跳过必要项而被降低。\n- 既有改动、历史任务和下游使用限制是否得到保护。\n\n审查报告保存在任务正文的独立审查区。签章绑定以下内容：\n\n- 任务标识和契约摘要。\n- 候选摘要与环境身份。\n- 机器回执摘要。\n- 审查报告摘要。\n- 审查者真实身份、独立性核验和批准时间。\n\n签章可以来自经过验证的托管平台审批或密码学签名，不接受纯文本姓名、模型自述或可编辑的 approved 布尔值。\n\n实现贡献者列表为空、身份未知或独立性未核验时不能批准。审查者若直接修改候选，则成为实施贡献者；必须重新验证，并由另一合格主体审查。\n\n审查报告改变、候选改变或机器回执改变后，旧签章不再放行新的组合。修复不能只更新状态标签而复用旧批准。\n\n### 4.8 发布前核对与 TOCTOU 防护\n\n受控发布入口必须在真实发布前重新核对：\n\n1. 当前焦点与执行实例仍有效。\n2. 授权、依赖和发布目标符合批准范围。\n3. 候选与检查、签章绑定完全一致。\n4. 待发布对象是被批准的不可变快照，而不是后来变化的工作目录。\n5. 发布入口覆盖本次实际副作用，且不存在已知绕过通道。\n\n签章后到发布前候选变化时拒绝发布。发布成功回执必须记录实际发布的候选身份；仅有合并按钮点击、命令请求或完成提示不能登记交付。\n\n### 4.9 拒绝、返工与现场保护\n\n进入 REJECTED 后：\n\n- 不发布、不更新领域事实、不推进依赖任务。\n- 保存当前差异、保护基线、失败回执和审查发现。\n- 不通过重置、整目录清理或删除测试掩盖失败。\n- 在批准范围和预算内允许修复；重新生成候选与适用证据。\n- 接口、所有权、验收或写入范围实质变化时返回设计工序，修订并重新批准契约。\n- 普通失败不必全流程重做；同类修复连续失败两次时进行定向原因与架构重检。\n- 回滚只处理可定位且获准的任务差异，不覆盖任务前或任务中产生的用户改动。\n- 必须分别报告文件缺失、权限拒绝、磁盘错误和格式损坏。\n\n失败后恢复合法操作的能力也必须测试。永远拒绝所有任务不能视为合格门禁。\n\n## 模块五：宿主配置与 Prompt 映射\n\n### 5.1 配置原则\n\n- 项目契约单源，宿主只提供薄桥接。\n- 模式名称、规则加载、工具权限、执行回执、审批和发布拦截分别验收。\n- 不把配置保存、安装资产或模式按钮当作运行时隔离证据。\n- 目标版本缺少可靠拦截接口时保留对应阻塞，不用提示词替代硬门禁。\n- 不自动启用自动批准，不复制凭据，不自动安装或重载宿主。\n\n### 5.2 共用 Prompt Framing 片段\n\n以下片段可作为项目规则内容或交互界面中的职责框架。引用的目标工件须先创建并校验；粘贴 Prompt 不会部署物理门禁。\n\n```markdown\n你是单体 BMAD-Solo 引擎，按端到端业务流工作。\n项目规则入口：[领域治理](specs/task-governance.md)。\n执行焦点入口：[活动任务](specs/tasks/_active.md)。\n\n先核对用户授权、真实宿主模式、任务阶段和实际工具权限。\n用户显式指定任务时只读取该候选；缺失或非法不静默替换。\n未指定任务时才读取活动指针；空指针不自动恢复历史。\n\nPlan 前半段采用 Analyst 视角，形成业务目标、不变量和验收。\nPlan 后半段采用 Architect 视角，冻结 CS、KCP、接口与依赖。\nAct 前半段采用 Coder 视角，只实施获准候选并取得真实回执。\nAct 后半段采用 Supervisor 视角，准备反向审查并核对独立批准。\n\n角色切换不扩大权限；Coder 自审不构成独立签章。\n未接入受信任机器回执、独立审批和发布入口时不得宣称双门禁完成。\n失败、过期或未知证据不得释放下游。\n每次切换或压缩恢复后重新读取绑定身份、未完成义务与相关证据。\n不把聊天、TODO 勾选或模型成功声明写成验证事实。\n```\n\n### 5.3 Cline 映射\n\n候选桥接内容可以放入目标版本确认支持的[项目规则入口](.clinerules)。本规范不猜测当前版本的规则发现、技能自动加载或钩子接口。\n\n| 交互 | 业务流职责 | 必要约束 |\n|---|---|---|\n| Plan | Analyst / Architect | 默认只读；按任务工序选择视角 |\n| 文档保存 | Architect 的固化步骤 | 如需 Act，授权仅限精确文档路径，保存后停止 |\n| Act 实施 | Coder | 当前任务、冻结契约、明确实施范围 |\n| Act 审查 | Supervisor | Agent 可准备审查；独立主体在可信入口批准 |\n| 交付 | 受控发布步骤 | 不由完成提示触发，发布权限另行核验 |\n\n无需用户反复输入角色口令是目标体验，不是已经证明的能力。模式信号或规则加载不可靠时，可以使用经确认的显式读取退路，但不能把该退路登记为自动路由验收通过。\n\n### 5.4 Roo 两模式配置示例\n\n以下为拟议[模式配置](bmad-suite-v4/roo/settings/custom_modes.yaml)片段，沿用两个职责入口，不增加四套角色目录。它不是本次对现有配置的修改。\n\n```yaml\ncustomModes:\n - slug: ana-architect\n name: BMAD Plan\n roleDefinition: >-\n 以 Analyst 和 Architect 视角完成业务分析与设计。\n 只读取证，不实施生产代码，不运行终端或探针。\n groups:\n - read\n - browser\n customInstructions: >-\n 按真实授权和绑定任务工作。\n 简单咨询仅会话交付。\n 需要保存文档时交接精确路径与仅文档授权，\n 不自动切换并启动工程。\n 未知不写成通过。\n - slug: bmad-engineer\n name: BMAD Act\n roleDefinition: >-\n 消费获准任务，实施精确候选并取得真实验证回执。\n 可以准备 Supervisor 审查材料，但不能自行形成独立签章。\n groups:\n - read\n - edit\n - command\n customInstructions: >-\n 只执行当前获准阶段，保护既有改动。\n 实施前核对冻结契约、焦点、依赖和环境。\n 失败不推进，允许批准范围内返工。\n 发布必须核验可信机器回执和独立批准。\n 该配置不证明所有工具入口已被物理拦截。\n```\n\n示例故意将 Plan 设为只读，避免用静态路径表达式冒充阶段授权。若增加受限文档编辑能力，必须同时核验实际加载、路径拒绝和阶段限制；文件路径匹配无法独立防止修改已冻结任务。\n\nAct 的广泛编辑和命令能力也不提供 SOD 隔离。独立签章与发布凭据必须在 Agent 无法冒用的可信边界内。\n\n### 5.5 宿主验收矩阵\n\n| 验收问题 | 必须取得的真实证据 | 不可接受的替代 |\n|---|---|---|\n| 规则是否加载 | 目标版本、加载定位及实际行为 | 文件已经保存 |\n| 模式是否正确路由 | 新会话、往返切换、压缩恢复 | Prompt 含角色名称 |\n| Plan 是否阻止越权 | 未授权写入及命令被拒绝 | 只有静态配置 |\n| 机器证据是否可信 | 实际命令、退出、收集、日志与清理 | 模型生成 PASS JSON |\n| 审查是否独立 | 真实身份、贡献者核对、可信签章 | 同模型切换 Supervisor |\n| 发布是否硬阻断 | 正常发布及失败、异常、缺证据的拒绝回执 | 会话结束后提醒 |\n| 候选变化是否失效 | 签章后改动被拒绝 | 只检查任务状态 |\n| 返工是否可行 | 失败后获准修复、重验、重审成功 | 永远拒绝 |\n| 焦点是否守恒 | 并发、陈旧实例、中断恢复被正确处理 | 指针文件只有一行 |\n| 历史是否保护 | 未完成任务、用户改动和唯一证据保留 | 新目录看起来整洁 |\n\n## 6. 迁移与落地顺序\n\n以下是建议实施顺序，不是本轮执行计划或自动授权。\n\n1. 批准契约：确认字段、签章主体、受控发布边界和目标路径；保存规范与模板，不占用旧活动任务。\n2. 实现最小门禁：实现模式校验、回执适配、独立审批绑定及发布前核对；所有新程序和测试明确标为待实现。\n3. 验证正常与错误路径：不仅测试拒绝，还测试合法交付和失败后返工。\n4. 核验目标宿主：按真实版本验证模式、权限、入口覆盖和异常传播；未知保持阻塞。\n5. 切换新任务入口：所有相关消费者一致切换到任务目录；禁止同时存在两个默认活动入口。\n6. 逐任务处理历史：只按获准清单迁移来源、引用和证据；未完成任务保留身份与义务，不自动转成 ACCEPTED。\n7. 完成后封存：只有实际交付且获准归档的任务才原位封存。\n\n迁移期间必须保护旧[活动计划](_bmad-output/pending_implementation_plan.md)及显式指定计划。旧路径不作为新任务自动回退入口；读取历史也不等于恢复执行。\n\n## 7. 最小充分验收条件\n\n本规范可被接受为已落地，至少需要以下证据成立：\n\n- 任务模板可以安全解析，字段、路径、标识、依赖和阶段组合可机械校验。\n- 一个合法任务能够走通规划、实施、检查、独立审查和受控发布。\n- 缺授权、缺检查、零收集、必需跳过、超时、来源不可认证和清理未知均不能放行。\n- 同一实施身份自签、可编辑批准字符串和过期签章不能放行。\n- 签章后候选变化、测试变化及相关环境变化会使对应证据失效。\n- 陈旧执行实例和并发焦点不能发布；恢复不会继承历史绿灯。\n- 失败返工保留现场与用户改动，不降低断言，修复后合法交付仍然可行。\n- 下游只消费真实发布的精确候选；领域沉淀不引入未过审内容。\n- 已接入宿主的允许、拒绝、异常与恢复路径均有真实回执，未覆盖边界明确披露。\n- 封存不制造第二份权威任务，不删除唯一证据，也不把暂停任务伪装成完成。\n\n最终裁决：该设计在职责与数据模型上形成了完整工程草案；运行可行性仍依赖受信任执行、独立审批、发布入口及宿主适配的真实实现与验收。当前交付完成的是规范设计，不是代码实现、测试通过、迁移完成或生产部署。"}}

{"name":"attempt_completion","arguments":{"result":"本草案将业务流、任务契约、实测证据和独立审查收敛为一套可机械校验的治理设计。交付仅为会话中的工程规范草案，不表示控制器已经实现、宿主已经加载规则，也不授权代码实施、目录迁移或删除历史资产。\n\n- 任务按端到端业务流组织，不按角色建立物理文档目录。\n- 角色切换改变工作视角，不产生新的执行权限或独立审查身份。\n- 任务契约是流转权威源；机器回执和审查签章分别证明不同事实。\n- 只有当前候选同时满足机器检查与独立审查，才允许受控交付给下游。\n\n# BMAD-Solo 业务流驱动的 Agent 文档与任务治理落地规范\n\n版本：0.1。状态：工程规范草案，待批准。适用项目：dotfiles-bmad-solo。\n\n## 0. 适用边界与规范解释\n\n### 0.1 理论采用与证据边界\n\n本规范采用任务委托给出的三项设计约束：业务流优先、任务单元与双重门禁、任务知识拓扑收敛。它们是本草案的规范性输入，不是已经证明本项目实现正确的证据。\n\n本次检索定位到了 AutoSwarm 的原始论文条目，但返回内容不足以独立核对委托中 CS 定义和验收公式对应的全文段落。[1](cite:1) 徐直军文章的原始版本及目标 Roo Code/Cline 的当前运行时行为也未取得足够一手证据；证据不足。以下公式按用户明确指定的设计约束采用，不冒充已经逐段核实的论文引文。\n\n适配时可参考已提供的[现有业务拓扑](docs/blueprint.md)、[Cline 路由模板](bmad-suite-v4/cline/templates/bmad-router.md)、[Roo 模式配置](bmad-suite-v4/roo/settings/custom_modes.yaml)和[实施计划模板](bmad-suite-v4/skills/bmad/references/templates/implementation-plan.template.md)。参考资产不等于本规范已生效。\n\n### 0.2 规范用语\n\n- 必须：机械校验或交付必须满足的条件。\n- 应当：默认执行；偏离必须说明理由并得到适当授权。\n- 可以：不扩大权限的可选实现。\n- 未知：证据不足，不能写成通过；只阻塞依赖该证据的动作。\n\n### 0.3 本轮非目标\n\n- 不实施生产代码，不运行验证或探针，不操作 Git。\n- 不建立多 Agent 常驻调度系统，不维护第二套角色文档树。\n- 不凭提示词声称实现了操作系统隔离、独立审查或程序防篡改。\n- 不覆盖未完成任务，不自动恢复历史计划。\n- 不删除旧[历史资产目录](_bmad-output/)，不修改[项目事实基线](_bmad-output/project-context.md)。\n\n目标架构停止把旧目录作为新任务的输出入口。彻底废除的是旧的任务输出与治理模型，不是未经授权地销毁历史来源、唯一证据或未完成义务。\n\n### 0.4 目标知识拓扑\n\n| 工件 | 职责 | 权威范围 |\n|---|---|---|\n| [项目导航](AGENTS.md) | 全局约束、目录路由、构建入口 | 稳定项目导航，不保存任务进度 |\n| [任务目录](specs/tasks/) | 任务契约、阶段、交付关系 | 任务流转的唯一一等公民目录 |\n| [任务正本](specs/tasks/TU-20261027-001.md) | 单个任务的规范与粗粒度状态 | 当前任务契约及门禁状态 |\n| [焦点指针](specs/tasks/_active.md) | 指向当前唯一执行焦点 | 焦点选择，不复制任务状态 |\n| [任务模式定义](specs/tasks/_schemas/task-unit.schema.json) | 字段、枚举、结构校验 | 机器可读契约结构 |\n| [领域规范](specs/task-governance.md) | 已交付能力的长期不变量、接口与验收 | 已发布领域事实 |\n| [验证目录](verification/) | 真实执行回执、日志和附件 | 运行事实，不是任务状态 |\n| [长期测试](tests/) | 持久回归与必要集成断言 | 可执行验证资产 |\n| [分析与决策目录](docs/) | 必要研究和重大取舍 | 解释与历史决策，不镜像任务流水 |\n\n表中新增目标均为拟议资产，尚未创建。后续示例中的链接用于说明目标位置；模板代码块保留原生语法，避免链接标记破坏可解析性。\n\n## 模块一：Plan-Act 业务流与角色嵌入\n\n### 1.1 基础动作与职责工序\n\n单体引擎只保留 Plan、Act 两个基础动作。Analyst、Architect、Coder、Supervisor 是同一业务流中的职责视角，不是四个独立部署的 Agent。\n\n| 基础动作 | 工序 | 角色视角 | 主要工作 | 出口 |\n|---|---|---|---|---|---|\n| Plan | 业务澄清 | Analyst | 目标、业务不变量、验收、必要非目标 | Task Spec Draft |\n| Plan | 设计冻结 | Architect | 接口、依赖、写入范围、CS、KCP、恢复策略 | 冻结后的任务契约 |\n| Act | 候选实施 | Coder | 在获准隔离环境实施候选、执行自测 | 候选内容身份与真实回执 |\n| Act | 独立评审 | Supervisor | 根据 CS 反向审查，核对机器证据 | 独立批准或拒绝 |\n| Act | 受控交付 | Supervisor 负责核对 | 发布已批准的精确候选 | 发布记录与下游使用资格 |\n\nPlan 中的两种视角可以在同一会话内转换。Act 中的 Coder 自审可以辅助发现问题，但不能代替 Supervisor 的独立签章。\n\n### 1.2 三遍阅读嵌入位置\n\n1. Analyst 第一遍扫描：识别业务目标、上下文、约束、验收与必要非目标。\n2. Analyst/Architect 第二遍取证：区分用户要求、源码事实、真实运行回执、推断、假设和未知；重要接口与数字必须定位来源。\n3. Architect 第三遍反向推演：模拟状态转换、边界输入、失败路径、资源与副作用；推演不冒充实测。\n\n先用权限、兼容性、隔离条件和预算筛选候选，再比较存活方案。没有可靠测量时使用定性比较，不编造评分或效果承诺。\n\n### 1.3 角色加载规则\n\n角色选择必须同时核对三个输入：\n\n- 宿主提供的真实 Plan/Act 模式信号。\n- 任务正本中的阶段与职责。\n- 当前用户批准范围和实际工具权限。\n\n职责由业务流阶段决定，宿主模式提供能力边界。三者冲突时停止依赖该判定的副作用操作，不从文件名、旧摘要或模型自称推断权限。\n\nPlan 默认只读。Architect 需要固化文档时，必须通过获准的文档保存入口；对于不允许 Plan 写入的宿主，可使用仅文档授权的 Act 保存步骤。该步骤仍属于设计固化，不得顺带实施代码。\n\n### 1.4 单会话与职责分离的硬边界\n\n同一模型从 Coder 切换为 Supervisor，仅完成了视角切换，没有建立独立审查。\n\n本规范默认采用以下最小实现：\n\n- 单体 Agent 完成分析、设计、候选实施及审查材料准备。\n- 独立人类审查者通过受信任审批入口签章；其不得是本候选的实施贡献者。\n- 机器回执由受控执行器生成，不能由模型编辑 JSON 后充当实测。\n- 受控发布入口核验检查与签章，Agent 不持有签章凭据或发布绕过权限。\n\n若使用独立自动审查执行实例，必须分别证明其身份、凭据、候选写权限隔离和审查输入独立性。新会话、新提示词、不同角色名称或不同模型名称本身均不构成独立性证明。\n\n独立身份和受控发布入口缺失时，可以交付草稿、自测结果和审查建议；不能宣称完成双重门禁，也不能自动释放给下游。\n\n### 1.5 上下文加载与清洗契约\n\n每次接管、角色切换、上下文压缩恢复或契约变化后，重新加载：\n\n1. 项目导航中的相关约束。\n2. 当前焦点及绑定任务的完整机器元数据。\n3. 当前工序需要的正文锚点、上游输入与必要领域规范。\n4. 当前候选的相关差异。\n5. 适用于当前候选的验证回执和审查引用。\n6. 全部未完成义务的标识及定位。\n\n禁止默认加载全部历史任务、全部 ADR、完整终端日志、无关研究材料或实现者的逐轮推理记录。\n\n交接摘要应由确定性入口从权威工件生成。初始工程策略采用最多 80 行、12 KiB 的摘要上限；这是可调整的预算，不是模型性能定律。\n\n- 摘要只保留目标、授权、绑定身份、未完成义务、阻塞项和证据定位。\n- 详情按锚点有界读取，不把长日志抄进任务正本。\n- 摘要不得覆盖原始工件，不得将旧通过结果压缩成无条件绿灯。\n- 若连全部未完成义务的索引都无法容纳，应拆分交接或请求调整任务边界，不静默丢弃事项。\n- 恢复后重新验证证据适用性，不凭会话记忆继承批准。\n\n## 模块二：核心工件与完整任务模板\n\n### 2.1 单一权威源划分\n\n单一权威源不是把所有数据塞进一个文件，而是同一事实只有一个可写权威来源。\n\n| 事实 | 权威来源 | 其他位置的允许形态 |\n|---|---|---|\n| 任务要求、阶段、门禁状态 | 任务正本 | 只读摘要或链接 |\n| 当前唯一执行焦点 | 焦点指针 | 宿主界面的只读显示 |\n| 机器检查结果 | 被任务引用的真实运行回执 | 程序生成的只读视图 |\n| 独立审查结论 | 任务审查区及其受信任签章 | 审批记录引用 |\n| 已发布领域约束 | 领域规范 | 任务引用，不整段复制 |\n| 已完成发布行为 | 受信任发布记录 | 任务中的记录引用 |\n\n任务正本只维护粗粒度工序状态，不维护逐轮命令流水。宿主 TODO 清单不得成为第二份独立可写的阶段账本。\n\n### 2.2 标识、解析与校验规则\n\n- 任务标识使用唯一的日期加序号或其他经批准的唯一标识；文件名必须与标识一致。\n- YAML 使用安全解析器；禁止重复键、别名、合并键、自定义标签和隐式日期对象。\n- 不接受未知字段；模式版本不兼容时拒绝执行，不能猜测修复。\n- 路径必须为项目内相对路径；拒绝绝对路径、父目录穿越和逃逸符号链接。\n- 输入可以定位到完整文件、明确行范围或稳定正文锚点；必须验证目标存在。\n- 输出必须列出精确文件，不以目录或通配符充当无限写入授权。\n- 检查命令保存为参数数组，不默认交给 Shell 解释。\n- 空值表示未知或尚未产生，不表示通过。\n\n### 2.3 完整 YAML Frontmatter 示例\n\n下列模板对应拟议的[任务正本](specs/tasks/TU-20261027-001.md)。示例任务是未来的治理入口实现任务，不是本轮已获准实施内容。\n\n模板处于规划摄入状态：尚未冻结、未获执行授权、验证资产尚未创建。其 READY 只表示可以继续规划，不表示可以实施。\n\n```yaml\n---\nschema_version: 1\ntask_id: TU-20261027-001\nparent_objective:\n objective_id: OBJ-BUSINESS-FLOW-GOVERNANCE\n summary: 建立业务流驱动的任务契约与双重门禁\ncontract_revision: 1\nstate_revision: 0\ncurrent_stage: PLAN_ANALYSIS\nactive_role: Analyst\nplan_frozen: false\ngate_status: READY\nhold:\n kind: NONE\n reason: null\nlifecycle: OPEN\ninputs:\n - input_id: IN-BLUEPRINT\n path: docs/blueprint.md\n selector:\n kind: lines\n start: 9\n end: 29\n content_digest: null\n upstream_task_id: null\n status: UNRESOLVED\n - input_id: IN-CLINE-ROUTER\n path: bmad-suite-v4/cline/templates/bmad-router.md\n selector:\n kind: file\n content_digest: null\n upstream_task_id: null\n status: UNRESOLVED\ndependencies: []\nauthorization:\n status: NOT_GRANTED\n evidence_ref: null\n allowed_stage: PLAN_ANALYSIS\n production_write_allowed: false\n merge_allowed: false\n domain_publish_allowed: false\n archive_allowed: false\ncs_specification:\n deliverables:\n - path: specs/tasks/_schemas/task-unit.schema.json\n operation: CREATE\n purpose: 校验任务工件结构\n - path: scripts/task_gate.py\n operation: CREATE\n purpose: 核对当前候选及受信任门禁证据\n - path: tests/roo_contracts/test_task_flow_governance.py\n operation: CREATE\n purpose: 验证正常流转与错误拒绝\n - path: specs/task-governance.md\n operation: CREATE\n purpose: 保存通过审查后的领域契约候选\n invariants:\n - invariant_id: INV-SINGLE-FOCUS\n statement: 同一执行域只能有一个获准执行焦点\n check_ids: [KCP-GOVERNANCE]\n review_required: true\n - invariant_id: INV-DUAL-GATE\n statement: 机器通过和独立审查同时成立才可释放当前候选\n check_ids: [KCP-GOVERNANCE]\n review_required: true\n - invariant_id: INV-PROTECT-EXISTING\n statement: 不覆盖既有改动或未完成任务\n check_ids: [KCP-GOVERNANCE]\n review_required: true\n acceptance:\n - criterion_id: AC-NORMAL-FLOW\n statement: 合法候选能够完成检查审查及受控发布\n check_ids: [KCP-GOVERNANCE]\n review_required: true\n - criterion_id: AC-FAIL-CLOSED\n statement: 失败缺失过期或伪造证据不能触发依赖推进\n check_ids: [KCP-GOVERNANCE]\n review_required: true\n non_goals:\n - 不建设常驻多 Agent 调度器\n - 不自动删除历史目录\n forbidden_writes:\n - _bmad-output/project-context.md\nkcp_verification:\n policy: ALL_REQUIRED\n checks:\n - check_id: KCP-GOVERNANCE\n required: true\n kind: TEST\n argv:\n - python3\n - -m\n - unittest\n - discover\n - -s\n - tests/roo_contracts\n - -p\n - test_task_flow_governance.py\n - -v\n cwd: .\n timeout_seconds: 30\n kill_grace_seconds: 2\n stdin: CLOSED\n network: DENY\n asset_status: PLANNED_NOT_CREATED\n required_assets:\n - tests/roo_contracts/test_task_flow_governance.py\n result_adapter: UNITTEST\n minimum_collected: 1\n required_case_ids:\n - TaskFlowContractTests.test_valid_release\n - TaskFlowContractTests.test_reject_missing_authorization\n - TaskFlowContractTests.test_reject_same_reviewer_principal\n - TaskFlowContractTests.test_reject_stale_candidate\n - TaskFlowContractTests.test_reject_zero_collection\n - TaskFlowContractTests.test_reject_missing_required_check\n - TaskFlowContractTests.test_preserve_existing_changes\n required_skips_allowed: false\n latest_run_ref: null\nsod_review:\n required: true\n status: PENDING\n reviewer_principal: null\n implementation_principals: []\n independent_identity_verified: false\n approval_ref: null\n bound_contract_digest: null\n bound_candidate_digest: null\n bound_verdict_digest: null\n report_anchor: sod-review\n report_digest: null\n limitations: []\n downstream_guidance: null\ncandidate:\n manifest_ref: null\n content_digest: null\n environment_digest: null\n protected_baseline_ref: null\ndelivery:\n published: false\n release_ref: null\n published_candidate_digest: null\narchive:\n sealed_at: null\n evidence_retention_ref: null\n---\n```\n\n### 2.4 完整正文模板\n\nFrontmatter 保存可执行契约与状态。正文保存业务解释、接口设计和审查报告，不重复维护状态、测试结果或另一套验收清单。\n\n```markdown\n# TU-20261027-001：业务流任务治理入口\n\n\n## 业务背景\n\n说明触发需求的业务问题、使用者与预期价值。\n目标、验收与非目标以 Frontmatter 的对应字段为准。\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| REVIEW-PENDING | 待确定 | 尚未完成独立审查 | 无 | 未知 | 不可批准 |\n\n批准前必须替换待审内容，覆盖相关输入边界、异常传播、\n状态转换、所有权、副作用、验证盲区与下游误用风险。\n\n\n## 下游使用\n\n使用限制与适用环境以审查元数据为准。\n只有受控发布记录绑定的精确候选才具备下游使用资格。\n不得把任务摘要或 ACCEPTED 字样本身当作放行证明。\n```\n\n### 2.5 字段级定义\n\n以下字段定位均指向上述待创建[任务模板](specs/tasks/TU-20261027-001.md:1)。\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| [`state_revision`](specs/tasks/TU-20261027-001.md:1) | 非负整数 | 受控状态更新使用比较后交换 |\n| [`current_stage`](specs/tasks/TU-20261027-001.md:1) | 五阶段枚举 | 与角色及门禁组合校验 |\n| [`active_role`](specs/tasks/TU-20261027-001.md:1) | 四角色枚举 | 不证明独立身份或权限 |\n| [`plan_frozen`](specs/tasks/TU-20261027-001.md:1) | 布尔值 | 未冻结不得实施；冻结后变更须重新批准 |\n| [`gate_status`](specs/tasks/TU-20261027-001.md:1) | 五状态枚举 | 只允许规定的转换 |\n| [`hold`](specs/tasks/TU-20261027-001.md:1) | NONE、BLOCKED、SUSPENDED 与原因 | 区分质量结论和操作暂停；不建立第二套进度 |\n| [`lifecycle`](specs/tasks/TU-20261027-001.md:1) | OPEN 或 SEALED | SEALED 后不得原地恢复实施 |\n| [`inputs`](specs/tasks/TU-20261027-001.md:1) | 输入对象列表 | 标识唯一；路径与选择器有效；冻结前绑定内容身份 |\n| [`dependencies`](specs/tasks/TU-20261027-001.md:1) | 上游任务引用列表 | 每项必须绑定任务标识及实际发布记录；禁止循环依赖 |\n| [`authorization`](specs/tasks/TU-20261027-001.md:1) | 授权范围与可信记录引用 | 布尔字段只能表示已核验授权，不能由模型自行授予 |\n| [`cs_specification`](specs/tasks/TU-20261027-001.md:1) | 精确产物、不变量、验收、非目标及禁止写入 | 标识唯一；每项验收必须映射检查、审查或二者 |\n| [`kcp_verification`](specs/tasks/TU-20261027-001.md:1) | 必需检查集合和运行引用 | 缺检查、零收集、必需跳过不能通过 |\n| [`sod_review`](specs/tasks/TU-20261027-001.md:1) | 审查身份、签章绑定、报告与使用限制 | 批准时全部必要绑定非空，独立身份必须真实核验 |\n| [`candidate`](specs/tasks/TU-20261027-001.md:1) | 候选清单、内容与环境身份 | 必须来自实际快照，不由模型手工猜测摘要 |\n| [`delivery`](specs/tasks/TU-20261027-001.md:1) | 发布事实及候选身份 | 只有真实发布回执才能标记已发布 |\n| [`archive`](specs/tasks/TU-20261027-001.md:1) | 封存时间与证据保留策略 | 归档不删除唯一证据，不改变质量结论 |\n\n嵌套枚举与约束：\n\n- 输入状态：UNRESOLVED、BOUND；选择器为文件、行范围或锚点三选一。\n- 输出操作：CREATE、MODIFY、DELETE；删除必须有额外明确授权，不能从实施许可推导。\n- 检查资产状态：PLANNED_NOT_CREATED、AVAILABLE；AVAILABLE 不等于检查通过。\n- 审查状态：PENDING、APPROVED、REJECTED；只有可信审批记录能支撑 APPROVED。\n- 每项局限性必须包含标识、说明、是否阻塞以及必要的风险接受记录。核心门禁失败不能被局限性说明豁免。\n- 正文不得增加机器契约中未声明的写入权限或隐含验收；发现新义务时修订契约。\n\n### 2.6 阶段与门禁转换\n\n| 当前阶段 | 角色 | 允许门禁状态 | 下一步条件 |\n|---|---|---|---|\n| PLAN_ANALYSIS | Analyst | READY | 目标、输入、验收足够支持设计 |\n| PLAN_DESIGN | Architect | READY | CS/KCP 完整，契约冻结，实施授权明确 |\n| ACT_IMPLEMENT | Coder | IN_PROGRESS、REJECTED | 产物符合范围，当前候选全部必需机器检查通过 |\n| ACT_REVIEW | Supervisor | IN_REVIEW、REJECTED、ACCEPTED | 独立审查通过且所有绑定有效 |\n| DONE | Supervisor | ACCEPTED | 获准发布已完成，发布对象与批准候选一致 |\n\n主要转换：\n\n1. READY → IN_PROGRESS：契约冻结、授权有效、依赖已交付、焦点与环境满足。\n2. IN_PROGRESS → IN_REVIEW：当前候选的全部必需机器检查通过。\n3. IN_REVIEW → ACCEPTED：独立签章有效，且机器证据仍适用当前候选。\n4. 实施或审查失败 → REJECTED：保留原因、现场和回执，不释放下游。\n5. REJECTED → IN_PROGRESS：仅在原批准范围与预算允许返工，或取得新的授权后进行。\n6. ACCEPTED → DONE 阶段：取得发布授权并收到真实发布回执。\n\nACCEPTED 是质量放行，不是提交、合并、推送、部署或领域发布的自动授权。已被下游消费的任务不得原地改成新候选；后续修改建立新的任务单元。\n\n超时、缺依赖、证据缺失、清理未知等使用 BLOCKED 原因说明；主动暂停使用 SUSPENDED。暂停不自动完成任务，也不允许凭租约到期继承授权。\n\n### 2.7 单焦点指针\n\n拟议的[焦点指针](specs/tasks/_active.md)初始化模板：\n\n```yaml\n---\nschema_version: 1\nrevision: 0\ntask_id: null\ntask_path: null\nactivation_id: null\nlease_owner: null\nlease_expires_at: null\n---\n# 当前执行焦点\n\n无活动执行任务。此文件只保存焦点，不复制任务阶段或门禁状态。\n```\n\n规则：\n\n- 空指针是正常空闲，不自动选择最新任务或历史归档。\n- 激活时必须一次绑定任务标识、路径、执行实例标识和实际所有者。\n- 焦点更新使用锁、版本复核和单文件原子替换；这些能力必须实现并验证后才能宣称存在。\n- 不允许静默替换未完成焦点；必须获得选择或暂停授权，保留原任务。\n- 租约过期不证明旧执行已结束。无法确认旧执行退出或资产清理时停止接管。\n- 状态更新与焦点更新不是天然跨文件原子事务；消费者必须复核二者一致，发现中断状态时拒绝推进并保留现场。\n- 单焦点限制的是执行和发布；不禁止无副作用地阅读其他相关资料。\n\n### 2.8 归档契约\n\n采用原位封存，避免移动任务正本造成上游路径失效：\n\n- 任务正本保留原路径，生命周期改为 SEALED。\n- 焦点解除绑定后，常规上下文不再加载该任务。\n- [归档目录](specs/tasks/archive/)只保存程序生成的索引，不创建第二份可写任务正本。\n- 索引包含任务路径、封存时间、正本内容摘要与证据保留引用；不复制阶段流水。\n- 封存条件是任务已交付、必要依赖与证据对账完成，并取得归档授权。\n- 封存写入失败、源内容变化或证据保留失败时保留原任务和焦点，不登记归档成功。\n- 暂停任务不伪装成已完成归档；历史恢复另建执行实例并重验，不继承旧绿灯。\n\n任务正本和必要索引可以进入版本控制；敏感运行证据按保留策略进入受控存储。忽略文件不等于安全删除，也不意味着其证据可以丢弃。\n\n## 模块三：刚刚好的数据交接契约\n\n### 3.1 上下游交接表\n\n| 交接 | 必须输出 | 严禁输出 | 下游接收条件 |\n|---|---|---|---|\n| Analyst → Architect | 业务目标、不变量、验收、约束、必要非目标、输入定位、未知 | 未经论证的实现细节、整段聊天、默认全库改造、虚构业务事实 | 足以识别设计边界；关键歧义已经说明 |\n| Architect → Coder | 冻结任务、精确产物、接口与所有权、依赖、KCP、环境前提、恢复方案、批准范围 | 自行授予执行权限、未创建命令冒充可用、无关 ADR 全集、并行权威计划 | 契约有效、授权明确、资产及环境前提可核验 |\n| Coder → Supervisor | 精确候选身份、相关差异、真实机器回执、已知局限性、未完成项、复现入口 | 自签批准、成功口头声明、长日志替代结果、凭自测推导独立审查 | 候选冻结；必需检查通过；报告与输入身份匹配 |\n| Supervisor → 下游 | 签章绑定、批准候选、限制、适用环境、真实发布记录 | 把未过审候选交给下游、模糊绿灯、未声明残余风险 | 双重门禁有效且发布授权满足 |\n| Supervisor → 领域规范 | 已发布特性的长期不变量、接口、必要验证入口、简短取舍与溯源 | 工单流水、临时失败 dump、未过审设计、未验证运行承诺 | 领域候选已纳入 CS 并过审，或另建文档任务审查 |\n\n### 3.2 交接粒度\n\n- 上游传递的是下游完成职责所需的信息，不是全部研究过程。\n- 每项输入以路径、选择器和内容身份绑定；摘要用于导航，不替代原始输入。\n- 同一不变量在领域规范中已有有效定义时，任务引用它，只声明本任务新增或改变的部分。\n- 新增接口、所有权或验收变化必须修订契约，不通过交接备注偷偷扩大范围。\n- 交接失败只阻塞相关依赖；独立任务能否继续由其授权、焦点和资源边界决定。\n\n### 3.3 领域沉淀与签章闭环\n\n长期规范不能在批准后由模型自由改写，否则批准绑定的内容身份立即失效。\n\n采用以下两条路径之一：\n\n1. 预先声明：领域文档候选进入 CS 精确产物清单，与实现一起检查、审查和发布。\n2. 后续沉淀：实现任务发布后，新建仅文档任务，消费已发布候选及证据，独立完成文档审查。\n\n领域规范只记录长期有效的业务不变量、输入输出、错误语义、验证入口和必要决策溯源。任务细节留在任务正本，不搬进公共规范。\n\n## 模块四：机器检查与独立审查的物理门禁\n\n### 4.1 验收公式与适用对象\n\n对任务单元 g，在时间 t 的候选 z，采用委托指定的双重门禁：\n\n$$a_t(g)=C_t^g(z_t^g)\\land R_t(g)$$\n\n本规范要求两项判断绑定同一任务、契约、候选与适用环境。\n\n- C：当前候选的全部必需机器检查通过，且真实回执完整、可信、未过期。\n- R：独立身份对同一候选完成反向审查，并留下有效签章。\n- 检查、审查任一为未知、缺失或不适用时，不允许放行。\n\n双门禁外还必须满足授权、焦点、依赖和发布目标等前置条件。这些前置条件不是可以被测试通过抵消的质量分数。\n\n### 4.2 最小受信任边界\n\n提示词负责理解与编排；物理门禁必须位于真正控制发布动作的入口。\n\n必须具备：\n\n1. 受控执行器：运行获准命令并生成原始回执。\n2. 受信任审查入口：验证审批身份和独立性，保存绑定签章。\n3. 受控发布入口：重新核对候选与双门禁，批准或拒绝真实发布。\n4. 下游消费者：只接受该入口发布的精确候选，不只读取 Markdown 中的 ACCEPTED。\n\n这些可以是已有 CI、代码托管审批或受控客户端能力，不要求另造通用调度框架。拟议的[任务门禁程序](scripts/task_gate.py)只能核对其实际接入的入口；本草案不声明该程序已存在。\n\n同一账号能够改写候选、回执和签章时，内容摘要只提供一致性检查，不提供独立认证或防篡改。不能凭本地脚本和可编辑文件声称建立了可信 SOD。\n\n### 4.3 候选、契约与环境绑定\n\n契约摘要覆盖：模式版本、任务标识、契约版本、目标、输入、依赖、CS、KCP 及相关授权范围。\n\n- 不包含状态版本、运行引用或签章字段，避免自引用摘要循环。\n- 所有规范性义务必须进入该契约投影；正文若产生新义务，先修订契约。\n- 确定性序列化使用 UTF-8、固定键序、无多余空白；仅允许字符串、整数、布尔、空值、列表和对象。\n- 序列化算法必须版本化并通过固定向量测试，不能由模型手工同步摘要。\n\n候选清单必须覆盖：\n\n- 精确交付文件及内容、文件类型和相关权限。\n- 必需测试、夹具、配置与输入身份。\n- 相关既有基线及受保护改动。\n- 环境、工具版本和影响判断所需依赖。\n\n只计算被编辑文件的摘要可能漏掉测试或依赖变化，不能据此复用旧证据。环境或候选变化后重验受影响检查；无法可靠判定影响范围时，不复用相关结果。\n\n### 4.4 实施与实测隔离\n\nCoder 的生产代码实施指源代码候选实施，不表示直接修改正在运行的生产服务。\n\n- 候选应位于经批准的独立检出、工作树或其他真实隔离环境。\n- 必须确认自动重载服务、其他任务和下游消费者不会提前消费未批准候选。\n- 目录名包含 scratch 或 sandbox 不证明隔离；网络、凭据、文件系统和外部资源边界必须实际核验。\n- 验证不得隐式安装依赖或联网；环境准备另行授权。\n- 原生文件工具负责助手文件操作，执行器负责真实命令；不创建未经批准的探针。\n- 受影响接口、调用方、数据所有权和副作用边界均纳入必要验证；不机械盲跑全库，也不通过删测缩小门禁。\n\n命令串行、前台同步、标准输入关闭；探测、验证、构建默认分别采用 15、30、600 秒进程级超时。无法证明进程已退出或清理完成时，不标记通过。\n\n### 4.5 回执目录与唯一性\n\n要求的[当前回执视图](verification/TU-20261027-001.verdict.json)由程序生成，不接受模型手工写入的实测结果。\n\n- 每次运行使用唯一运行标识。\n- 原始回执保存在[任务运行目录](verification/TU-20261027-001/runs/)。\n- 任务正本引用精确的不可变运行回执，而不是仅引用“最新文件”。\n- 平面当前回执是该运行的只读物化视图，不是第二份可独立修改的结果。\n- 发布判断以任务绑定的运行身份和可信来源为准；视图被修改、过期或不一致时拒绝推进。\n\n日志和附件应脱敏，保留必要诊断，不把凭据、完整敏感请求或私有数据写入公共规范。\n\n### 4.6 完整机器回执模板\n\n以下 JSON 是未运行模板，不是真实成功回执。\n\n```json\n{\n \"schema_version\": 1,\n \"task_id\": \"TU-20261027-001\",\n \"contract_revision\": 1,\n \"contract_digest\": null,\n \"candidate_digest\": null,\n \"environment_digest\": null,\n \"run_id\": null,\n \"producer\": {\n \"principal\": null,\n \"trusted_execution_ref\": null,\n \"attestation_ref\": null\n },\n \"started_at\": null,\n \"finished_at\": null,\n \"checks\": [\n {\n \"check_id\": \"KCP-GOVERNANCE\",\n \"required\": true,\n \"kind\": \"TEST\",\n \"argv\": [\n \"python3\", \"-m\", \"unittest\", \"discover\",\n \"-s\", \"tests/roo_contracts\",\n \"-p\", \"test_task_flow_governance.py\", \"-v\"\n ],\n \"cwd\": \".\",\n \"timeout_seconds\": 30,\n \"exit_code\": null,\n \"process_exited\": null,\n \"timed_out\": null,\n \"collected\": null,\n \"passed\": null,\n \"failed\": null,\n \"required_case_ids_seen\": [],\n \"required_skipped\": null,\n \"assertions_passed\": null,\n \"cleanup_complete\": null,\n \"log_ref\": null,\n \"log_digest\": null,\n \"result\": \"NOT_RUN\",\n \"reason_codes\": [\"VERIFICATION_ASSET_NOT_CREATED\"]\n }\n ],\n \"aggregate\": {\n \"C_g\": \"UNKNOWN\",\n \"publishable\": false,\n \"reason_codes\": [\"NO_EXECUTION_EVIDENCE\"]\n }\n}\n```\n\n字段判断规则：\n\n| 回执部分 | 要求 |\n|---|---|\n| 身份字段 | 任务、契约、候选、环境与任务绑定一致 |\n| 生产者 | 来源可认证，不能只相信 JSON 中自填的身份字符串 |\n| 时间与运行标识 | 来自真实执行，运行标识唯一；时间本身不证明有效性 |\n| 命令与目录 | 与冻结 KCP 一致，不能临时替换成更容易通过的命令 |\n| 退出与超时 | 真实退出为零、未超时；工具提前返回不等于退出 |\n| 测试收集 | 达到最低收集量，冻结契约要求的用例实际出现 |\n| 跳过与断言 | 必需项无跳过，必要断言通过 |\n| 日志与清理 | 必要输出可定位，清理结果明确，未遗留不受控进程 |\n| 聚合 | 检查集合完整；不能仅对返回的子集计算全绿 |\n\n单项结果使用 NOT_RUN、PASS、FAIL、ERROR、TIMEOUT。聚合 C 使用 TRUE、FALSE、UNKNOWN。\n\n- TRUE：所有必需检查均 PASS，绑定与来源核验成立。\n- FALSE：存在明确失败、必需跳过、检查集合缺项、零收集或内容绑定失效。\n- UNKNOWN：缺少退出、输出、来源认证、环境或清理等必要证据。\n- FALSE 和 UNKNOWN 都不能发布，但错误报告必须保留两者区别。\n\nLint、语法检查等非测试命令使用专用适配器，不强行伪造测试数量；其适配器必须证明实际检查了预期目标。退出零但零目标命中不能作为通过依据。\n\n### 4.7 独立反向审查与签章\n\n审查者必须核对：\n\n- 边界输入、空值、重复请求、幂等性及必要状态转换。\n- 未捕获异常、超时、取消、部分写入和恢复行为。\n- 模块接口、调用方、数据所有权和资源释放。\n- 测试是否覆盖关键业务不变量，是否存在“入口关闭所以全绿”的假通过。\n- 验收是否因删测、改变分类、弱化断言或跳过必要项而被降低。\n- 既有改动、历史任务和下游使用限制是否得到保护。\n\n审查报告保存在任务正文的独立审查区。签章绑定以下内容：\n\n- 任务标识和契约摘要。\n- 候选摘要与环境身份。\n- 机器回执摘要。\n- 审查报告摘要。\n- 审查者真实身份、独立性核验和批准时间。\n\n签章可以来自经过验证的托管平台审批或密码学签名，不接受纯文本姓名、模型自述或可编辑的 approved 布尔值。\n\n实现贡献者列表为空、身份未知或独立性未核验时不能批准。审查者若直接修改候选，则成为实施贡献者；必须重新验证，并由另一合格主体审查。\n\n审查报告改变、候选改变或机器回执改变后，旧签章不再放行新的组合。修复不能只更新状态标签而复用旧批准。\n\n### 4.8 发布前核对与 TOCTOU 防护\n\n受控发布入口必须在真实发布前重新核对：\n\n1. 当前焦点与执行实例仍有效。\n2. 授权、依赖和发布目标符合批准范围。\n3. 候选与检查、签章绑定完全一致。\n4. 待发布对象是被批准的不可变快照，而不是后来变化的工作目录。\n5. 发布入口覆盖本次实际副作用，且不存在已知绕过通道。\n\n签章后到发布前候选变化时拒绝发布。发布成功回执必须记录实际发布的候选身份；仅有合并按钮点击、命令请求或完成提示不能登记交付。\n\n### 4.9 拒绝、返工与现场保护\n\n进入 REJECTED 后：\n\n- 不发布、不更新领域事实、不推进依赖任务。\n- 保存当前差异、保护基线、失败回执和审查发现。\n- 不通过重置、整目录清理或删除测试掩盖失败。\n- 在批准范围和预算内允许修复；重新生成候选与适用证据。\n- 接口、所有权、验收或写入范围实质变化时返回设计工序，修订并重新批准契约。\n- 普通失败不必全流程重做；同类修复连续失败两次时进行定向原因与架构重检。\n- 回滚只处理可定位且获准的任务差异，不覆盖任务前或任务中产生的用户改动。\n- 必须分别报告文件缺失、权限拒绝、磁盘错误和格式损坏。\n\n失败后恢复合法操作的能力也必须测试。永远拒绝所有任务不能视为合格门禁。\n\n## 模块五：宿主配置与 Prompt 映射\n\n### 5.1 配置原则\n\n- 项目契约单源，宿主只提供薄桥接。\n- 模式名称、规则加载、工具权限、执行回执、审批和发布拦截分别验收。\n- 不把配置保存、安装资产或模式按钮当作运行时隔离证据。\n- 目标版本缺少可靠拦截接口时保留对应阻塞，不用提示词替代硬门禁。\n- 不自动启用自动批准，不复制凭据，不自动安装或重载宿主。\n\n### 5.2 共用 Prompt Framing 片段\n\n以下片段可作为项目规则内容或交互界面中的职责框架。引用的目标工件须先创建并校验；粘贴 Prompt 不会部署物理门禁。\n\n```markdown\n你是单体 BMAD-Solo 引擎，按端到端业务流工作。\n项目规则入口：[领域治理](specs/task-governance.md)。\n执行焦点入口：[活动任务](specs/tasks/_active.md)。\n\n先核对用户授权、真实宿主模式、任务阶段和实际工具权限。\n用户显式指定任务时只读取该候选；缺失或非法不静默替换。\n未指定任务时才读取活动指针；空指针不自动恢复历史。\n\nPlan 前半段采用 Analyst 视角，形成业务目标、不变量和验收。\nPlan 后半段采用 Architect 视角，冻结 CS、KCP、接口与依赖。\nAct 前半段采用 Coder 视角，只实施获准候选并取得真实回执。\nAct 后半段采用 Supervisor 视角，准备反向审查并核对独立批准。\n\n角色切换不扩大权限；Coder 自审不构成独立签章。\n未接入受信任机器回执、独立审批和发布入口时不得宣称双门禁完成。\n失败、过期或未知证据不得释放下游。\n每次切换或压缩恢复后重新读取绑定身份、未完成义务与相关证据。\n不把聊天、TODO 勾选或模型成功声明写成验证事实。\n```\n\n### 5.3 Cline 映射\n\n候选桥接内容可以放入目标版本确认支持的[项目规则入口](.clinerules)。本规范不猜测当前版本的规则发现、技能自动加载或钩子接口。\n\n| 交互 | 业务流职责 | 必要约束 |\n|---|---|---|\n| Plan | Analyst / Architect | 默认只读；按任务工序选择视角 |\n| 文档保存 | Architect 的固化步骤 | 如需 Act，授权仅限精确文档路径，保存后停止 |\n| Act 实施 | Coder | 当前任务、冻结契约、明确实施范围 |\n| Act 审查 | Supervisor | Agent 可准备审查；独立主体在可信入口批准 |\n| 交付 | 受控发布步骤 | 不由完成提示触发，发布权限另行核验 |\n\n无需用户反复输入角色口令是目标体验，不是已经证明的能力。模式信号或规则加载不可靠时，可以使用经确认的显式读取退路，但不能把该退路登记为自动路由验收通过。\n\n### 5.4 Roo 两模式配置示例\n\n以下为拟议[模式配置](bmad-suite-v4/roo/settings/custom_modes.yaml)片段，沿用两个职责入口，不增加四套角色目录。它不是本次对现有配置的修改。\n\n```yaml\ncustomModes:\n - slug: ana-architect\n name: BMAD Plan\n roleDefinition: >-\n 以 Analyst 和 Architect 视角完成业务分析与设计。\n 只读取证，不实施生产代码，不运行终端或探针。\n groups:\n - read\n - browser\n customInstructions: >-\n 按真实授权和绑定任务工作。\n 简单咨询仅会话交付。\n 需要保存文档时交接精确路径与仅文档授权，\n 不自动切换并启动工程。\n 未知不写成通过。\n - slug: bmad-engineer\n name: BMAD Act\n roleDefinition: >-\n 消费获准任务，实施精确候选并取得真实验证回执。\n 可以准备 Supervisor 审查材料，但不能自行形成独立签章。\n groups:\n - read\n - edit\n - command\n customInstructions: >-\n 只执行当前获准阶段，保护既有改动。\n 实施前核对冻结契约、焦点、依赖和环境。\n 失败不推进，允许批准范围内返工。\n 发布必须核验可信机器回执和独立批准。\n 该配置不证明所有工具入口已被物理拦截。\n```\n\n示例故意将 Plan 设为只读，避免用静态路径表达式冒充阶段授权。若增加受限文档编辑能力，必须同时核验实际加载、路径拒绝和阶段限制；文件路径匹配无法独立防止修改已冻结任务。\n\nAct 的广泛编辑和命令能力也不提供 SOD 隔离。独立签章与发布凭据必须在 Agent 无法冒用的可信边界内。\n\n### 5.5 宿主验收矩阵\n\n| 验收问题 | 必须取得的真实证据 | 不可接受的替代 |\n|---|---|---|\n| 规则是否加载 | 目标版本、加载定位及实际行为 | 文件已经保存 |\n| 模式是否正确路由 | 新会话、往返切换、压缩恢复 | Prompt 含角色名称 |\n| Plan 是否阻止越权 | 未授权写入及命令被拒绝 | 只有静态配置 |\n| 机器证据是否可信 | 实际命令、退出、收集、日志与清理 | 模型生成 PASS JSON |\n| 审查是否独立 | 真实身份、贡献者核对、可信签章 | 同模型切换 Supervisor |\n| 发布是否硬阻断 | 正常发布及失败、异常、缺证据的拒绝回执 | 会话结束后提醒 |\n| 候选变化是否失效 | 签章后改动被拒绝 | 只检查任务状态 |\n| 返工是否可行 | 失败后获准修复、重验、重审成功 | 永远拒绝 |\n| 焦点是否守恒 | 并发、陈旧实例、中断恢复被正确处理 | 指针文件只有一行 |\n| 历史是否保护 | 未完成任务、用户改动和唯一证据保留 | 新目录看起来整洁 |\n\n## 6. 迁移与落地顺序\n\n以下是建议实施顺序，不是本轮执行计划或自动授权。\n\n1. 批准契约：确认字段、签章主体、受控发布边界和目标路径；保存规范与模板，不占用旧活动任务。\n2. 实现最小门禁：实现模式校验、回执适配、独立审批绑定及发布前核对；所有新程序和测试明确标为待实现。\n3. 验证正常与错误路径：不仅测试拒绝，还测试合法交付和失败后返工。\n4. 核验目标宿主：按真实版本验证模式、权限、入口覆盖和异常传播；未知保持阻塞。\n5. 切换新任务入口：所有相关消费者一致切换到任务目录；禁止同时存在两个默认活动入口。\n6. 逐任务处理历史：只按获准清单迁移来源、引用和证据；未完成任务保留身份与义务，不自动转成 ACCEPTED。\n7. 完成后封存：只有实际交付且获准归档的任务才原位封存。\n\n迁移期间必须保护旧[活动计划](_bmad-output/pending_implementation_plan.md)及显式指定计划。旧路径不作为新任务自动回退入口；读取历史也不等于恢复执行。\n\n## 7. 最小充分验收条件\n\n本规范可被接受为已落地，至少需要以下证据成立：\n\n- 任务模板可以安全解析，字段、路径、标识、依赖和阶段组合可机械校验。\n- 一个合法任务能够走通规划、实施、检查、独立审查和受控发布。\n- 缺授权、缺检查、零收集、必需跳过、超时、来源不可认证和清理未知均不能放行。\n- 同一实施身份自签、可编辑批准字符串和过期签章不能放行。\n- 签章后候选变化、测试变化及相关环境变化会使对应证据失效。\n- 陈旧执行实例和并发焦点不能发布；恢复不会继承历史绿灯。\n- 失败返工保留现场与用户改动，不降低断言，修复后合法交付仍然可行。\n- 下游只消费真实发布的精确候选；领域沉淀不引入未过审内容。\n- 已接入宿主的允许、拒绝、异常与恢复路径均有真实回执，未覆盖边界明确披露。\n- 封存不制造第二份权威任务，不删除唯一证据，也不把暂停任务伪装成完成。\n\n最终裁决：该设计在职责与数据模型上形成了完整工程草案；运行可行性仍依赖受信任执行、独立审批、发布入口及宿主适配的真实实现与验收。当前交付完成的是规范设计，不是代码实现、测试通过、迁移完成或生产部署。"}}