{"name":"attempt_completion","arguments":{"result":"本草案采用“一个任务工件贯穿业务流、两个基础动作承载四种职责、机器检查与独立签章共同放行”的治理模型。交付仅为工程规范设计，不实施代码、不迁移现有资产，也不把提示词切换视为独立审查或运行时权限隔离。\n\n- 任务契约与生命周期统一归入 [`specs/tasks/`](specs/tasks/)，不按角色建立文档孤岛。\n- 同一 Agent 可以切换审查视角，但不能给自己的实施结果出具独立签章；默认由未参与实施的人类审查员签章。\n- 下述新增路径、模板、门禁接口及宿主配置均为拟议资产，不表示已经创建、加载或验收。\n\n# BMAD-Solo 业务流驱动的 Agent 文档与任务治理落地规范\n\n版本：Engineering Specification Draft 0.1。\n\n适用项目：dotfiles-bmad-solo 及使用其方法论的棕地项目。\n\n文档性质：待批准的工程规范，不是实施授权，不替代现有活动任务。\n\n## 0. 依据、范围与关键裁决\n\n### 0.1 理论依据的使用边界\n\n本规范将委托中给定的业务流原点、流程定义作业、数据“刚刚好”、质量内控嵌入流程，以及任务单元和双重门禁，作为必须满足的设计约束。\n\n华为公开的一手演讲明确提出构建端到端质量管理体系，并将质量要求构筑到各业务流程中。[7](cite:7) 本轮没有取得《谈业务、流程、IT、质量、运营的关系》的完整一手正文，因此不将委托中的具体措辞标记为逐字复核。\n\n已定位 AutoSwarm: Automating Agent Swarms 的原始预印本条目。[1](cite:1) 本轮检索未提供其 v1 正文中的 CS 与验收公式定义；对这些定义是否与原文逐字一致：Insufficient evidence。本规范采用委托给定的定义作为工程约束，不据此宣称已经复现论文系统或证明效果。\n\n### 0.2 与现有仓库的差异\n\n依据本轮返回的文件读取片段：\n\n- [`现有蓝图`](docs/blueprint.md:9)使用领域规范加单一暂存计划的布局；本草案将暂存计划替换为任务单元及单焦点指针，不保留第二套活动计划。\n- [`现有 Cline 路由模板`](bmad-suite-v4/cline/templates/bmad-router.md:3)明确自身是未激活的行为适配模板，不是程序门禁；本草案保持这一事实边界。\n- [`现有 Roo 分析模式配置`](bmad-suite-v4/roo/settings/custom_modes.yaml:5)声明的编辑白名单仍指向旧输出目录。当前不能据本草案认为分析模式已经获得新目录写入权限。\n- [`现有治理测试`](tests/roo_contracts/test_document_test_governance.py:1)声明其验证范围是静态契约和隔离回归，不证明 Cline/Roo 的运行时行为。\n\n本规范描述目标态。现有规则、分发器、校验器、测试发现入口和宿主消费者，必须在获准工程任务中适配后才能切换。不得先删除旧目录、覆盖旧计划，再补消费者。\n\n### 0.3 四项不可妥协的裁决\n\n1. 一个任务只有一份权威契约和一份权威当前状态，不在角色目录、宿主待办、ADR 或聊天摘要中镜像维护。\n2. 一个会话的角色变化只改变作业职责，不增加权限、不产生独立身份。\n3. 机械检查通过不等于业务正确；独立审查通过也不能豁免失败的必需机械检查。\n4. 已验收、允许合并、实际合并、允许归档、实际归档是不同事实，不能通过一次完成声明合并处理。\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 检查交付、运行受信验证、反向审查、组织独立签章 | 当前候选的机器门禁和独立审查均满足 | 边修代码边签章；以换提示词冒充 SOD；自动合并或部署 |\n\n完整流转是“需求澄清 → 契约设计 → 获准实施 → 候选送审 → 双重验收 → 获准发布”。它不是四个相互独立的 Agent 进程。\n\n轻量缺陷与运维任务可以压缩 Plan 作业量，但仍须具备明确的目标、交付边界、适用 KCP 和独立审查。不能通过将任务标记为“简单”来绕过门禁。\n\n### 1.2 Prompt Framing 的切换契约\n\n每次进入新工序，宿主向会话注入或明确提供以下作业框架：\n\n1. 当前任务标识、执行实例、契约版本和阶段。\n2. 当前职责及其允许作业、禁止作业。\n3. 本工序必须消费的输入、必须产出的交付。\n4. 当前授权引用、实际工具能力及未满足前提。\n5. 本工序出口条件和失败回退位置。\n\n角色不得依据上一轮自述自动继承。阶段转换必须读取权威任务工件并核对真实回执；模型说“现在我是 Supervisor”不能改变任务状态。\n\n职责切换规则：\n\n- Analyst → Architect：先锁定目标、不变量和验收，再开展技术设计；未解决的需求问题以阻塞项移交。\n- Architect → Coder：仅消费已封存且获准的契约，不重新展开完整选型；发现实质性契约问题时返回定向设计审查。\n- Coder → Supervisor：冻结候选及其身份，停止候选写入，提供证据定位；不能一边修改一边审查同一个候选。\n- Supervisor → Coder：给出与验收或不变量绑定的缺陷及定位，保持失败现场，不直接修复后自行批准。\n\n### 1.3 同会话审查与独立签章必须分开\n\n同一 Agent 在同一会话中可以承担 Supervisor 的检查组织、反向推演、证据核对和报告起草，但这些结果仍属于同一执行主体的分析，不构成独立审查签章。\n\n默认的单体落地方式：\n\n- Agent 承担连续的四种作业视角。\n- 受信验证入口生成机器回执。\n- 未参与实施的人类审查员独立读取契约、候选差异和证据，作出批准或拒绝。\n- 发布门禁验证审查员身份、独立性、签章绑定对象及机器回执后，才允许放行。\n\n若使用独立自动审查服务，必须另行批准其身份、权限、审查输入、失效规则和真实验收。新会话、不同模型或不同角色名称，均不能单独证明独立性。\n\n### 1.4 加载与清洗契约\n\n上下文只加载“完成当前工序所需的最小闭包”：\n\n- 稳定导航及公共安全规则。\n- 单焦点指针所指向的任务契约。\n- 当前阶段声明的上游文件、锚点或有界片段。\n- 与当前变更相关的领域不变量和接口。\n- 当前候选、机器回执、未解决问题及授权引用。\n\n禁止默认加载全量历史任务、全量 ADR、全部原始日志、其他角色的完整过程记录及无关模块源码。\n\n在阶段边界、上下文压缩后、恢复后或候选变化后：\n\n1. 丢弃上一角色的操作许可和未经确认的结论。\n2. 重读当前任务身份、契约版本、阶段、授权与全部未完成义务。\n3. 按证据引用重新定位必要信息，不凭摘要继承历史绿灯。\n4. 只保留决策、约束、未完成事项及证据定位；不保存私有推理过程或逐轮聊天。\n\n“清洗”指不再加载，不是删除原始证据。若宿主不能实际移除既有上下文，必须明确这一限制，并使用获准的新会话及有界交接；不能宣称提示词已经清除了模型历史。\n\n接管摘要默认上限为 80 行，另配置字节预算；这是一项工程预算，不是性能保证。不能在预算内保留必要义务时，应缩小当前任务或分段读取，不能静默丢失未完成事项。\n\n### 1.5 本地推演与沙盒边界\n\nCoder 的“沙盒”必须说明隔离能力，而不是仅给一个目录名称：\n\n- 候选工作副本与公共发布基线分离，保护用户已有改动。\n- 网络、凭据、文件写入、进程及资源限制由实际执行环境落实。\n- 测试不得隐式安装依赖或调用生产服务。\n- 需要真实外部交互时，另行批准目标、凭据、写入范围和清理要求。\n\n被忽略目录、临时目录及模式编辑正则，不是执行级沙箱。不具备相关隔离时，应披露限制并阻塞依赖该隔离保证的操作。\n\n## 2. 模块二：核心工件规范与完整模板\n\n### 2.1 目标拓扑与权威性\n\n| 工件 | 唯一职责 | 不得承载 |\n|---|---|---|\n| [`AGENTS.md`](AGENTS.md) | 稳定导航、公共纪律、验证入口 | 活动任务状态、执行流水、领域规范副本 |\n| [`specs/tasks/_protocol.md`](specs/tasks/_protocol.md) | 本治理协议及字段、转换、门禁规则 | 项目业务事实副本 |\n| [`specs/tasks/TU-.md`](specs/tasks/TU-.md) | 单个任务的权威契约、当前阶段及门禁状态 | 原始日志、聊天记录、其他任务状态 |\n| [`specs/tasks/_active.md`](specs/tasks/_active.md) | 当前唯一焦点的定位指针 | 阶段、角色、验收状态副本 |\n| [`specs/tasks/records/`](specs/tasks/records/) | 按任务和尝试关联的审查报告、授权与归档回执引用 | 按角色组织的独立状态账本 |\n| [`specs/.md`](specs/.md) | 已发布的领域不变量、接口和必要验证要求 | 工单流水、未验收功能的事实声明 |\n| [`verification/TU-.verdict.json`](verification/TU-.verdict.json) | 当前验证回执的受控入口 | Agent 手写的“成功证明” |\n| [`verification/TU-/`](verification/TU-/) | 不覆盖的尝试级原始证据 | 第二套任务状态 |\n\n“任务目录是一等公民”指任务契约、审批和生命周期归属任务，而不是将测试源码、生产源码或大体积日志全部搬入任务目录。\n\n正文模板及字段链接使用拟议任务 [`TU-20261027-docflow-01.md`](specs/tasks/TU-20261027-docflow-01.md:1) 演示。结构化代码块保持有效语法；其中的路径是示例声明，不是已创建资产。\n\n### 2.2 权威数据分层\n\n- 契约数据：目标、输入、CS、KCP、依赖、边界及正文约束。由获准的 Plan 作业起草与修订，封存后不能在实施中静默修改。\n- 运行数据：执行实例、尝试号、阶段、角色、门禁、候选身份及证据引用。由受控状态入口更新，Agent 不直接写验收状态。\n- 原始证据：由验证执行入口产生，任务工件仅引用。\n- 审查事实：由独立审查员签章，任务工件引用受信签章及审查报告。\n\n宿主待办仅展示任务状态或指向任务工件，不独立维护验收状态。若宿主不能提供只读投影，应关闭重复状态维护，或明确将其降为非权威工作提示。\n\n### 2.3 完整 YAML Frontmatter 与正文模板\n\n下列模板演示一个“实现任务级门禁能力”的未来任务；其新增实现和测试均未创建，授权及签章为空，因此不能执行或放行。\n\n```markdown\n---\nschema_version: \"1.0\"\ntask_id: \"20261027-docflow-01\"\nparent_objective:\n objective_id: \"OBJ-DOCFLOW-20261027\"\n statement: \"使任务流转具备单源契约与独立双重门禁\"\n source_ref: null\ncontract_revision: 1\ncontract_status: DRAFT\ncurrent_stage: PLAN_ANALYSIS\nactive_role: Analyst\ngate_status: IN_PROGRESS\nexecution_state: RUNNABLE\nexecution_id: null\nattempt: 0\ndependencies: []\ninputs:\n - input_id: INPUT-BLUEPRINT\n path: \"docs/blueprint.md\"\n anchor: null\n line_range: [1]\n required: true\n expected_sha256: null\n upstream_release_ref: null\n - input_id: INPUT-REGRESSION\n path: \"tests/roo_contracts/test_document_test_governance.py\"\n anchor: null\n line_range: null\n required: true\n expected_sha256: null\n upstream_release_ref: null\ncs_specification:\n deliverables:\n - path: \"scripts/task_gate.py\"\n operation: CREATE\n purpose: \"验证任务契约、证据绑定及状态转换\"\n - path: \"tests/roo_contracts/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-SOURCE\n statement: \"任务状态只有一个权威写入入口\"\n acceptance_ids: [AC-SINGLE-SOURCE]\n - invariant_id: INV-GATE\n statement: \"机器通过与独立签章缺一不可\"\n acceptance_ids: [AC-DUAL-GATE]\n - invariant_id: INV-ASSET\n statement: \"失败与归档不得覆盖用户改动或丢失唯一证据\"\n acceptance_ids: [AC-PRESERVATION]\n acceptance:\n - acceptance_id: AC-SINGLE-SOURCE\n statement: \"状态转换拒绝版本冲突及第二焦点\"\n machine_check_ids: [KCP-TASK-GATE]\n review_questions: [RQ-STATE-OWNERSHIP]\n - acceptance_id: AC-DUAL-GATE\n statement: \"拒绝失败、过期、零采集及非独立签章\"\n machine_check_ids: [KCP-TASK-GATE]\n review_questions: [RQ-BYPASS]\n - acceptance_id: AC-PRESERVATION\n statement: \"失败恢复和归档保留源、证据与范围外资产\"\n machine_check_ids: [KCP-TASK-GATE, KCP-REGRESSION]\n review_questions: [RQ-RECOVERY]\n allowed_generated_outputs_ref: \"#evidence-policy\"\n downstream_guidance_ref: \"#downstream-guidance\"\nkcp_verification:\n checks:\n - check_id: KCP-TASK-GATE\n required: true\n asset_status_at_seal: PLANNED_NOT_CREATED\n argv: [python3, -m, unittest, discover, -s, tests/roo_contracts, -p, test_task_gate.py, -v]\n cwd: \".\"\n timeout_seconds: 30\n kill_after_seconds: 2\n stdin: CLOSED\n network: DENY\n required_test_ids:\n - test_task_gate.TaskGate.test_valid_release\n - test_task_gate.TaskGate.test_reject_same_principal\n - test_task_gate.TaskGate.test_reject_stale_candidate\n - test_task_gate.TaskGate.test_reject_zero_collection\n - test_task_gate.TaskGate.test_reject_failure_and_timeout\n - test_task_gate.TaskGate.test_active_cas_conflict\n - test_task_gate.TaskGate.test_archive_preserves_source\n - check_id: KCP-REGRESSION\n required: true\n asset_status_at_seal: EXISTING_UNVERIFIED\n argv: [python3, -m, unittest, discover, -s, tests/roo_contracts, -p, test_document_test_governance.py, -v]\n cwd: \".\"\n timeout_seconds: 30\n kill_after_seconds: 2\n stdin: CLOSED\n network: DENY\n required_test_ids:\n - test_document_test_governance.DocumentTestGovernance.test_missing_explicit_root_plan_never_falls_back\n verdict_ref: \"verification/TU-20261027-docflow-01.verdict.json\"\nsod_review:\n policy: HUMAN_INDEPENDENT\n reviewer_principal: null\n review_report_ref: null\n signature_ref: null\n known_limitations:\n - limitation_id: LIM-NOT-REVIEWED\n statement: \"尚未进行独立审查\"\n blocking: true\n downstream_guidance_ref: \"#downstream-guidance\"\nauthorization:\n implementation_grant_ref: null\n release_grant_ref: null\n archive_grant_ref: null\n production_scope_ref: \"cs_specification.deliverables\"\nidentity:\n contract_sha256: null\n candidate_sha256: null\n candidate_manifest_ref: null\ncontext_contract:\n handoff_max_lines: 80\n handoff_max_bytes: 8192\n source_loading: DECLARED_INPUTS_AND_IMPACT_CLOSURE\narchive:\n retention_policy_ref: null\n receipt_ref: null\n---\n\n# TU-20261027-docflow-01：任务级双重门禁\n\n\n## 业务目标与必要非目标\n\n目标：使声明的任务契约、候选产物、机器证据及独立签章一致绑定，失败不能释放给下游。\n\n非目标：本任务不安装或激活宿主，不迁移历史任务，不提交、推送或部署业务服务，不建设多 Agent 调度系统。\n\n本文件是模板。新增实现和测试尚不存在，不能视为已获准任务。\n\n\n## 接口与所有权\n\n- 任务工件拥有契约与当前状态。\n- 验证入口拥有机器回执；模型不能修改其判定。\n- 独立审查员拥有审查意见；受信审批入口登记签章。\n- 发布入口只消费当前候选的有效双重门禁与授权。\n- 领域规范只描述通过发布门禁的公共版本。\n\n拟议门禁接口必须支持：只读校验、候选绑定、机器验收、独立审批校验、条件状态转换及归档校验。\n\n这些是待实现接口职责，不表示当前仓库存在对应可执行入口。\n\n\n## 设计约束与实现边界\n\n- 采用严格解析、显式版本和默认拒绝。\n- 状态更新使用预期版本比较；冲突保留现场。\n- 机器回执绑定代码、测试、必要配置、依赖与执行环境。\n- 不能仅检查被编辑函数，必须覆盖必要调用方和副作用边界。\n- 不通过移除断言、减少必需测试或改变分类来解除失败。\n\n\n## 证据与生成物范围\n\n允许生成的非生产输出仅为当前任务的尝试级证据、审查报告及受控元数据。\n\n证据放在当前任务对应的验证子目录；每次尝试采用唯一运行标识，不覆盖旧尝试。\n\n审查报告归入任务记录目录。报告、日志、临时运行输出不扩大生产交付文件清单。\n\n环境准备、联网、安装、真实服务调用及清理分别按授权执行。\n\n\n## 必需反向审查问题\n\n- RQ-STATE-OWNERSHIP：是否存在绕过权威状态入口的第二可写状态源？\n- RQ-BYPASS：零采集、缺回执、过期候选、伪造签章或同主体审查能否放行？\n- RQ-RECOVERY：中断、版本冲突及归档失败是否丢失源、用户改动或唯一证据？\n\n问题应根据实际风险增补；不得机械固定问题数量。\n\n\n## 失败恢复\n\n机器失败、签章拒绝或证据不完整时，不释放产物，不清空活动指针，不覆盖失败现场。\n\n授权内的普通缺陷返回实施阶段修复。契约发生实质变化时返回设计阶段，增加契约版本并重新批准。\n\n候选变化后生成新尝试并重新验证相关证据，不继承旧签章。\n\n\n## 下游使用指引\n\n下游只能消费已验收且身份明确的候选或已发布版本；引用任务标识、契约版本、候选身份及验收依据。\n\n不得将模板、工作副本、失败尝试、聊天摘要或未经批准的领域说明作为已发布事实。\n\n尚未验证的宿主加载和权限行为保持未知，不外推为运行保证。\n\n\n## 归档与保留\n\n归档须另获授权，保留稳定任务路径及可达的验收证据。\n\n未完成任务不得以归档替代完成；历史恢复须新执行实例及重新验证。\n\n无法确认保存完整、引用可达或源版本未变化时，保留源并停止归档。\n```\n\n### 2.4 字段级定义\n\n下表中的字段均指向上述拟议任务模板。空值不是通过；模板实例与运行实例采用不同的校验前提。\n\n| 字段 | 类型与约束 | 权威写入方及含义 |\n|---|---|---|\n| [`schema_version`](specs/tasks/TU-20261027-docflow-01.md:2) | 支持的版本字符串 | 协议版本；未知版本拒绝，不猜测兼容 |\n| [`task_id`](specs/tasks/TU-20261027-docflow-01.md:3) | 非空、唯一、仅安全标识字符 | 标识不含路径分隔符，必须与文件名一致；不复用历史标识 |\n| [`parent_objective`](specs/tasks/TU-20261027-docflow-01.md:4) | 目标标识、目标陈述、来源引用组成的对象 | 绑定业务目标；来源在草稿可空，封存前须可定位 |\n| [`contract_revision`](specs/tasks/TU-20261027-docflow-01.md:8) | 正整数 | 契约变化递增；运行状态变化不递增 |\n| [`contract_status`](specs/tasks/TU-20261027-docflow-01.md:9) | DRAFT 或 SEALED | 草稿不能用于实施、送审或放行 |\n| [`current_stage`](specs/tasks/TU-20261027-docflow-01.md:10) | PLAN_ANALYSIS、PLAN_DESIGN、ACT_IMPLEMENT、ACT_REVIEW、RELEASED | 当前业务工序，不代表授权 |\n| [`active_role`](specs/tasks/TU-20261027-docflow-01.md:11) | Analyst、Architect、Coder、Supervisor、NONE | 必须与阶段对应；发布终态使用 NONE |\n| [`gate_status`](specs/tasks/TU-20261027-docflow-01.md:12) | READY、IN_PROGRESS、IN_REVIEW、ACCEPTED、REJECTED | 唯一验收状态；ACCEPTED 只能由门禁入口写入 |\n| [`execution_state`](specs/tasks/TU-20261027-docflow-01.md:13) | RUNNABLE、BLOCKED、SUSPENDED | 调度可运行性，不是第二套验收状态 |\n| [`execution_id`](specs/tasks/TU-20261027-docflow-01.md:14) | 唯一实例标识；未启动时可空 | 首次执行及历史恢复建立实例，不伪造宿主会话标识 |\n| [`attempt`](specs/tasks/TU-20261027-docflow-01.md:15) | 非负整数 | 新候选送审或重验递增；旧证据保留 |\n| [`dependencies`](specs/tasks/TU-20261027-docflow-01.md:16) | 上游任务、契约版本、验收候选及释放引用列表 | 不允许只依赖“最新任务”；检查缺失、循环和版本适用性 |\n| [`inputs`](specs/tasks/TU-20261027-docflow-01.md:17) | 输入对象列表 | 每项包括输入标识、路径、定位范围、必需性、内容身份及上游验收引用 |\n| [`cs_specification`](specs/tasks/TU-20261027-docflow-01.md:1) | 交付、业务不变量、验收及下游指引对象 | 文件清单必须精确；不变量和验收必须有稳定标识及验证映射 |\n| [`kcp_verification`](specs/tasks/TU-20261027-docflow-01.md:1) | 必需检查列表与回执引用 | 每项包括命令参数、工作目录、限时、输入及环境政策、必需断言或测试标识 |\n| [`sod_review`](specs/tasks/TU-20261027-docflow-01.md:1) | 独立性政策、审查身份、报告、签章、局限性及指引 | 身份和签章由受信审批入口登记；未审查不能写“无局限” |\n| [`authorization`](specs/tasks/TU-20261027-docflow-01.md:1) | 实施、发布、归档授权引用及范围引用 | 引用真实批准记录；批准须绑定任务、契约和操作范围 |\n| [`identity`](specs/tasks/TU-20261027-docflow-01.md:1) | 契约摘要、候选摘要、候选清单引用 | 由工具生成；摘要只证明一致性，不单独证明认证或防篡改 |\n| [`context_contract`](specs/tasks/TU-20261027-docflow-01.md:1) | 接管预算与按需读取策略 | 预算不能以丢失必要义务满足 |\n| [`archive`](specs/tasks/TU-20261027-docflow-01.md:1) | 保留政策及归档回执引用 | 不另存可写完成状态；归档回执不替代验收 |\n\n补充约束：\n\n- 输入的锚点必须真实存在；行范围用于有界读取，但内容变化后不能仍把旧行号作为身份保证。\n- 项目路径采用根目录相对路径，拒绝绝对路径、越界遍历和逃逸链接；路径检查与真实工具权限分别验证。\n- 交付操作必须声明 CREATE、MODIFY 或 DELETE。删除的验收是目标缺席及相关影响检查，不能按普通文件存在性判断。\n- 除声明的生产交付和受控生成物外，不允许顺手修改其他资产。\n- 必需检查必须指定可判定结果；测试类声明必需测试标识，Lint、语法或构建类声明适用断言，不能机械要求所有命令都采集测试。\n- 草稿可以声明待创建的验证资产；进入实际验证时资产、运行环境和受信适配器必须可用。已有文件也只表示存在，不表示通过。\n\n### 2.5 严格解析与封存\n\n校验器必须拒绝重复 YAML 键、非法类型、不支持版本、危险自定义标签、别名歧义、未知字段以及缺失的必需定位。\n\n契约摘要覆盖：目标、依赖、输入身份、CS、KCP、边界与全部规范性正文。运行字段、真实授权引用、候选身份、机器回执和签章引用不进入契约摘要；这些字段分别绑定并验证。\n\n必须在协议中固定摘要算法、规范化序列化和字段排除清单，不能由每次调用自行解释。Agent 不手算摘要。\n\n封存后改变目标、接口、交付文件、验收、必需检查或规范性正文，必须增加契约版本、失效受影响证据，并取得相应批准。不能仅改变状态来掩盖契约变化。\n\n### 2.6 状态转换与组合合法性\n\n| 转换 | 必要条件 | 结果 |\n|---|---|---|\n| 分析开始 | 目标与当前分析授权明确 | PLAN_ANALYSIS / Analyst / IN_PROGRESS |\n| 进入设计 | 分析交付足够，关键需求未知明确 | PLAN_DESIGN / Architect / IN_PROGRESS |\n| 准备实施 | 契约已封存，实施授权及前置依赖满足 | ACT_IMPLEMENT / Coder / READY |\n| 开始实施 | 操作在批准范围内，单焦点与实例一致 | ACT_IMPLEMENT / Coder / IN_PROGRESS |\n| 送审 | 候选冻结，交付完整，自测无必需失败 | ACT_REVIEW / Supervisor / IN_REVIEW |\n| 验收 | 当前候选的机器门禁与独立签章有效 | ACT_REVIEW / Supervisor / ACCEPTED |\n| 发布完成 | 发布获准，实际发布回执确认目标身份 | RELEASED / NONE / ACCEPTED |\n| 拒绝 | 必需检查失败、审查拒绝、证据无效等 | REJECTED；按原因设置 BLOCKED 或允许获准返工 |\n| 返工 | 返工在授权与预算内，新尝试重新绑定 | ACT_IMPLEMENT / Coder / IN_PROGRESS |\n| 契约返修 | 目标或接口等实质变化 | PLAN_DESIGN / Architect / IN_PROGRESS；旧批准不自动适用 |\n\nREADY 表示已具备开始获准实施的条件，不表示已验收。IN_REVIEW 不表示机器通过，更不表示签章完成。\n\n暂停只改变执行可运行性，并保留已有验收事实及未完成义务。未完成任务暂停后不能被归档为已完成。\n\n### 2.7 单焦点指针\n\n拟议 [`specs/tasks/_active.md`](specs/tasks/_active.md) 只保存指针：\n\n```yaml\n---\nschema_version: \"1.0\"\nfocus_revision: 1\ntask_ref: \"specs/tasks/TU-20261027-docflow-01.md\"\nexecution_id: null\n---\n```\n\n约束：\n\n1. 指针为空表示无活动焦点，是正常状态。\n2. 不保存阶段、角色、门禁或完成清单；读取它们必须跟随任务引用。\n3. 切换焦点须比较预期指针版本，并处理未完成任务：继续、明确暂停或请求选择，不能覆盖隐藏。\n4. 同时只允许一个获准候选写入或验证过程；文件锁和串行入口是工程要求，不由指针文件本身保证。\n5. 用户显式指定任务时优先验证该任务，缺失或非法不得静默替换为默认焦点。\n6. 自动批准、宿主待办勾选和会话完成消息不能更新焦点或门禁。\n\n### 2.8 完成后的 archive 契约\n\n默认采用逻辑归档，不移动稳定任务路径：\n\n- 终态任务锁定为只读历史工件，保留契约、验收候选及可达证据。\n- 另获归档授权后，登记归档回执并从单焦点指针移除。\n- 原始证据按任务保留政策转存；转存目标不得覆盖，确认完整性及引用可达后才能处理源。\n- 可生成 [`归档索引`](specs/tasks/archive/_index.md)，但它仅是只读引用索引，不是第二套状态源。\n\n这种归档使已有任务引用持续有效，不依赖隐身临时目录或聊天摘要恢复历史。\n\n历史重放使用新执行实例；若是新的业务变更，创建新的任务标识并引用旧任务。不得改写旧验收事实，也不得继承旧环境的通过结果。\n\n## 3. 模块三：“刚刚好”的环节数据交接\n\n### 3.1 上下游数据流契约\n\n| 交接 | 必须输出 | 严禁输出或作为权威依据 | 下游接收检查 |\n|---|---|---|---|\n| Analyst → Architect | 目标、业务不变量、可判定验收、必要非目标、来源、未知及阻塞 | 全量访谈记录、未经证明的因果解释、无必要的技术选型、完整聊天 | 验收能否判定；需求是否足以设计；未知是否影响必要决策 |\n| Architect → Coder | 封存任务、接口与所有权、精确文件清单、KCP、依赖、环境前提、失败恢复、实施授权 | 全量候选比较、历史 ADR 全文、空泛“测试全绿”、未创建接口被描述为可用 | 契约与批准匹配；输入与依赖可达；待创建资产明确；范围可执行 |\n| Coder → Supervisor | 当前候选身份、范围内差异、验收映射、自测回执、环境及清理说明、未解决风险 | 自签批准、只给“完成”结论、无定位日志堆、隐瞒跳过项、旧候选回执 | 候选冻结；变更清单匹配；证据适用；无未声明生产修改 |\n| Supervisor → 下游任务 | 有效验收引用、候选身份、独立签章、局限性、兼容性和使用要求 | 完整审查聊天、未过审工作副本、把有条件结论改成无条件可用 | 双重门禁有效；输入版本固定；适用范围和残余限制满足 |\n| Supervisor → 公共领域规范 | 已审查的不变量、接口行为、相关验证要求、必要决策及来源引用 | 工单流水、原始日志、未验证环境事实、仅在候选中存在却宣称已发布的行为 | 领域变化已纳入审查；发布授权和实际发布身份一致 |\n\n交接材料是引用加最小解释，不是复制上游全部材料。必要细节保留在权威来源，通过准确定位读取。\n\n### 3.2 验收覆盖图\n\n每项验收至少关联：\n\n- 一个可执行检查或明确的机器断言。\n- 一个独立审查问题，说明机械检查未覆盖的语义边界。\n- 一组预期交付及相关业务不变量。\n\n机械检查无法判定某项业务约束时，应说明机器能验证的必要条件和独立审查负责的剩余问题，不编造“自动证明”。\n\n无影响关系的检查不强制运行。新增风险若超出当前任务边界，须提出契约调整，不能无限扩展补证。\n\n### 3.3 公共领域规范的沉淀方式\n\n默认将领域规范的拟议变更与代码、测试一并纳入候选和 CS，Supervisor 审查整个候选；只有候选通过双重门禁且获准实际发布后，才成为公共版本的长效规范。\n\n如果审查结束后才提出新的规范内容，应作为独立的文档任务或新候选重新审查，不能凭旧代码签章自动发布新文档。\n\n领域规范保留：\n\n- 当前适用的业务不变量及稳定标识。\n- 输入输出、所有权、失败语义、兼容性与副作用边界。\n- 相关验证入口及其覆盖范围。\n- 已发布任务和必要决策的溯源引用。\n\n领域规范不复制任务状态、不保存执行流水，也不自动接受 ADR。领域文档的工作副本不是公共领域事实源。\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_t^g$：受信机器检查对当前候选及其真实回执的判定。\n- $R_t(g)$：独立审查员对相同契约和候选的有效签章。\n- $z_t^g$：与当前候选绑定的交付、测试、配置、依赖、环境及证据。\n\n未知在放行逻辑中不是真值。机器或审查结果缺失、过期、身份不明时，验收条件不成立。\n\n释放给下游还须满足当前授权、上游依赖及候选未变化。合并、发布和归档分别检查相应授权；它们不是双重质量门禁的替代品。\n\n### 4.2 物理职责与权限分离\n\n| 主体 | 可以执行 | 不得执行 |\n|---|---|---|\n| Coder | 修改获准候选、运行自测、请求送审 | 修改受信机器结论、独立签章或验收状态 |\n| 受信验证入口 | 在批准环境执行 KCP、采集真实结果、生成绑定回执 | 将缺失、异常或过期结果转成通过 |\n| Supervisor 作业视角 | 核对 CS、运行审查流程、起草反向报告 | 以自身角色名称取得独立签章 |\n| 独立审查员 | 独立核对候选与证据，签署批准或拒绝 | 批准自己参与实施或修订的候选 |\n| 受控状态与发布入口 | 校验批准、签章、版本和门禁，执行条件转换 | 接受模型自述、普通文件中的名字或待办勾选作为授权 |\n\n可信边界必须位于 Coder 不能自行改写的审批或发布入口，例如受保护的审查与合入流程。全部文件和签章若都由同一账号任意修改，只能提供一致性检查，不能声称拥有强制 SOD 或防篡改保证。\n\n受信验证程序及其规则版本不能由当前候选随意替换。修改门禁本身的任务须有独立的引导验收和批准，不能用候选中新写的门禁证明自己可信。\n\n### 4.3 机器检查回执生成\n\n验证执行入口必须：\n\n1. 接收任务、契约、候选、执行实例和尝试标识。\n2. 核验授权、输入、依赖、工作目录、验证资产及环境。\n3. 串行执行声明的命令，前台等待实际退出，封闭标准输入。\n4. 按受支持方式施加进程级限时和清理，记录超时、取消、异常及后代进程处理结果。\n5. 保存命令、退出状态、必要断言、测试清单及真实输出。\n6. 生成不可覆盖的尝试回执，再受控更新当前回执入口。\n7. 将任务状态、候选和回执的一致性作为推进前的检查，而不是仅在会话结束后检查。\n\n验证类默认 30 秒，探测类 15 秒，构建类 600 秒；任务可以在授权范围内明确调整。超时不是通过，工具提前返回也不是进程已结束。\n\n标准 unittest 命令的退出零不能单独证明必需测试已采集。需要受信、版本固定的结果适配器取得结构化清单；适配器缺失或无法解释结果时，判为未知，不通过文本中的“OK”猜测。\n\n下列 [`机器回执示例`](verification/TU-20261027-docflow-01.verdict.json) 是格式演示，不是真实实测：\n\n```json\n{\n \"schema_version\": \"1.0\",\n \"record_kind\": \"EXAMPLE_NOT_EVIDENCE\",\n \"task_id\": \"20261027-docflow-01\",\n \"contract_revision\": 1,\n \"contract_sha256\": null,\n \"execution_id\": null,\n \"attempt\": 0,\n \"run_id\": null,\n \"candidate\": {\n \"sha256\": null,\n \"manifest_ref\": null,\n \"contributor_principals\": []\n },\n \"producer\": {\n \"principal\": null,\n \"runner_version\": null,\n \"runner_sha256\": null,\n \"trust_ref\": null\n },\n \"environment\": {\n \"workspace_identity\": null,\n \"runtime_versions\": {},\n \"dependency_manifest_sha256\": null,\n \"configuration_sha256\": null,\n \"network_policy\": \"DENY\",\n \"fingerprint_sha256\": null\n },\n \"started_at\": null,\n \"finished_at\": null,\n \"checks\": [\n {\n \"check_id\": \"KCP-TASK-GATE\",\n \"required\": true,\n \"argv\": [\"python3\", \"-m\", \"unittest\", \"discover\", \"-s\", \"tests/roo_contracts\", \"-p\", \"test_task_gate.py\", \"-v\"],\n \"cwd\": \".\",\n \"exit_code\": null,\n \"timed_out\": null,\n \"cancelled\": null,\n \"collection\": {\n \"status\": \"UNKNOWN\",\n \"collected\": null,\n \"executed\": null,\n \"passed\": null,\n \"failed\": null,\n \"errors\": null,\n \"required_skipped\": null,\n \"test_manifest_ref\": null\n },\n \"assertions_ref\": null,\n \"stdout_ref\": null,\n \"stderr_ref\": null,\n \"result\": \"UNKNOWN\",\n \"reason_codes\": [\"ASSET_NOT_CREATED\"]\n }\n ],\n \"cleanup\": {\n \"status\": \"UNKNOWN\",\n \"remaining_processes\": null,\n \"side_effects_ref\": null\n },\n \"machine_result\": \"UNKNOWN\",\n \"reason_codes\": [\"EXAMPLE_RECORD\", \"MISSING_REQUIRED_CHECKS\"],\n \"attestation\": {\n \"provider\": null,\n \"signer_principal\": null,\n \"payload_sha256\": null,\n \"signature\": null\n }\n}\n```\n\n### 4.4 回执字段及通过条件\n\n真实回执必须满足以下条件：\n\n- 记录类别必须是 MACHINE_VERDICT，示例记录明确拒绝。\n- 任务、契约、执行实例、尝试、运行标识和候选身份非空且一致。\n- 候选清单包含改动文件、必要验证输入、测试、配置及依赖的内容身份；不能只摘要最后编辑的文件。\n- 生产者与受信入口匹配，运行程序版本和信任依据可核验。\n- 起止时间为实际采集的时间，不能由模型补写。\n- 每个必需检查恰好存在一次，命令与契约一致；存在额外失败也不能被汇总掩盖。\n- 测试类必需清单全部执行、无失败、无错误、无必需项跳过，采集非零；非测试类满足其声明的断言和退出要求。\n- 超时、取消、缺依赖、进程清理未知、必要输出缺失或候选变化，均不能通过。\n- 输出引用可达且摘要匹配，敏感信息按保留政策保护；脱敏摘要不能替代门禁所需的受控原始证据。\n- 环境符合契约，关键环境变化后重验受影响证据。\n- 回执认证在实际信任边界内有效；普通同账号文件摘要不是认证。\n\n机器结果仅允许 PASS、FAIL、UNKNOWN：\n\n- PASS：全部必需条件被真实证据证明满足。\n- FAIL：已观察到必需失败、断言不满足、超时、取消或明确违约。\n- UNKNOWN：缺少必要事实、回执不完整、适配器不支持或无法核验。\n\nFAIL 与 UNKNOWN 均不放行。权限拒绝、文件缺失、磁盘错误、格式损坏须保留不同原因码，不全部折叠为“测试失败”。\n\n### 4.5 证据隔离与保留\n\n每次尝试使用唯一目录，例如拟议 [`尝试级证据目录`](verification/TU-20261027-docflow-01/)。其中保存原始输出、结构化测试清单、环境清单、候选清单及机器回执。\n\n当前回执入口只指向或完整保存当前尝试的受信结果，不覆盖旧尝试。任务文件引用回执，不复制日志。\n\n隔离规则：\n\n- 生产源码、测试源码、临时脚本和运行输出分别治理。\n- 测试不能通过读取自己写的“PASS”文件完成验收。\n- 被忽略目录不是不可信内容的安全隔离，也不是可任意删除区。\n- 清理前检查任务引用、保留期、审计及唯一证据依赖。\n- 需要跨机器审查的证据必须存于审查员可达的受控存储；不能仅留下本机已忽略文件的失效引用。\n\n### 4.6 独立反向审查报告与签章\n\n审查报告按任务及尝试组织，拟议路径为 [`review.md`](specs/tasks/records/TU-20261027-docflow-01/attempt-1/review.md)，不建立 Supervisor 专属目录。\n\n报告必须包含：\n\n- 审查员身份与独立性依据，实际实施参与者集合及核验来源。\n- 绑定任务、契约、候选、机器回执及审查报告内容身份。\n- 验收覆盖核对：哪些由机器证明，哪些仍需语义判断。\n- 边界条件、异常传播、未捕获异常、权限、资源、兼容性和副作用审查。\n- 每个发现的依据、影响、阻塞性及处理要求。\n- 已知局限、未验证条件和下游使用指引。\n- 批准或拒绝的明确结论。\n\n签章必须覆盖同一候选、契约、机器回执身份、报告身份及结论。仅填写名字、角色或“已审查”不是签章。\n\n签章生成条件：\n\n1. 审查员经受信审批入口认证。\n2. 审查员未参与当前候选实施；无法核验独立性时不签章。\n3. 机器必需检查通过且仍适用于当前候选。\n4. 所有阻塞发现已解决，非阻塞局限不会违背必需验收。\n5. 签章后的候选、契约、测试或关键环境变化会使受影响批准失效。\n\n同一会话生成的反向报告可以作为审查输入，但不替代独立审查员的实质判断。审查员不能仅批准模型的“建议通过”。\n\n### 4.7 REJECTED 的回退与现场保护\n\n拒绝后立即阻断依赖释放，保存当前候选、失败回执、报告及批准范围。\n\n- 普通实现缺陷：在已有授权和预算内返回 Coder 修复，生成新尝试。\n- 接口、所有权或验收变化：返回 Architect 修订契约并重新批准。\n- 缺环境、缺权限或缺必需证据：进入 BLOCKED，不以扩大权限或临时跳过解除。\n- 明确暂停：进入 SUSPENDED，保留未完成义务及焦点处理决定。\n\n禁止自动清理现场、全目录回滚、覆盖用户改动、删除必要测试、降低断言或将失败候选写入公共领域规范。\n\n回滚只处理可定位的获准差异；回滚失败、源变化或清理不确定时保留现场。独立任务能否继续，按依赖、资源和授权判断，不要求全项目无限冻结。\n\n## 5. 模块五：Roo Code / Cline 配置与 Prompt 映射\n\n### 5.1 宿主适配原则\n\n只维护一份项目协议，宿主配置只承担导航、模式职责和实际权限适配。\n\n宿主上线必须分别核验：规则发现、实际加载、模式信号、工具权限、审批、受信回执、独立签章及推进前拒绝。任何静态模板都不能代替这些回执。\n\n本轮未获得目标 Cline/Roo 版本的新增运行接口证据，因此下列片段不包含猜测的钩子字段、自动角色绑定字段或签章 API。\n\n### 5.2 公共 Prompt 片段\n\n以下内容可粘贴到目标宿主已经确认会加载的项目规则入口；拟议 [`AGENTS.md`](AGENTS.md) 只保留这类稳定导航，不复制全部协议。\n\n```markdown\n# BMAD-Solo 业务流入口\n\n本项目采用一个任务契约贯穿 Plan-Act 业务流，不按角色拆分任务文档。\n\n先读取任务治理协议。用户显式指定任务时优先验证该任务；否则读取单焦点指针并跟随其引用。入口缺失表示无焦点，不自动选择历史任务。\n\n当前职责由真实宿主模式、任务阶段及当前授权共同确定，不由模型自述或历史摘要决定。\n\nPlan：先 Analyst 后 Architect。提炼目标、不变量、验收和来源，随后定义接口、交付、KCP、依赖及失败恢复。默认只读，不运行终端、不创建探针、不实施生产代码。\n\nAct：先 Coder 后 Supervisor。只实施获准范围，保存真实自测证据，冻结候选后送审。Supervisor 组织机器验证与反向审查，但不能给自己的实施结果出具独立签章。\n\n只有受信机器检查通过、独立审查签章有效且候选未变化，才能登记验收。合并、发布、归档分别需要实际授权和回执。\n\n模式切换、读取任务、自动批准、待办勾选和模型完成声明均不扩大权限，也不替代门禁。\n\n每次阶段转换或恢复后，重读任务身份、契约、授权和全部未完成义务。只加载声明输入及相关影响闭包，不默认加载全量历史或日志。\n```\n\n实际保存版本应在“任务治理协议”和“单焦点指针”处使用项目根目录可解析的链接，分别指向 [`治理协议`](specs/tasks/_protocol.md) 与 [`单焦点指针`](specs/tasks/_active.md)。这些目标未创建时，不得宣称导航已经有效。\n\n### 5.3 Cline 映射\n\n拟议 [`项目规则入口`](.clinerules) 只放公共导航及上述业务流框架。具体文件或目录发现方式须按目标版本确认，不能仅根据名称假定加载成功。\n\n界面操作契约：\n\n1. Plan 下完成 Analyst 和 Architect 作业，不要求两个角色的手动技能口令。\n2. 若用户只要分析，直接会话交付，不创建任务文件。\n3. 用户批准保存任务契约后，经实际允许的文档保存入口写入明确文件；如果当前 Plan 不允许写入，由获准的 Act 文档保存任务完成后立即停止。\n4. 用户批准实施后进入 Act，绑定任务、契约、阶段和范围。\n5. 候选送审后停止生产写入，组织受信验证与独立审查。\n6. 合并或发布的实际操作由获准入口执行，不由“切到 Act”自动授权。\n\n如果宿主不能可靠提供模式信号或推进前拒绝，相关强制能力保持未验收；可继续提供行为指导，但不能将其称为完整物理门禁。\n\n### 5.4 Roo 两模式薄映射\n\n以下为拟议 [`Roo 模式配置`](bmad-suite-v4/roo/settings/custom_modes.yaml) 的配置形态示例，不是对现有配置的覆盖指令：\n\n```yaml\ncustomModes:\n - slug: plan-flow\n name: \"Plan：业务分析与契约设计\"\n roleDefinition: \"在同一业务流中依次承担 Analyst 与 Architect，按实际授权交付分析或任务契约，不实施生产代码。\"\n groups:\n - read\n - browser\n customInstructions: >-\n 读取项目稳定导航和任务治理协议。\n 默认只读；不使用终端、不创建或执行探针。\n 按任务阶段承担分析或设计职责，保留未知及未完成义务。\n 持久保存由另获授权且实际允许的文档入口完成。\n 不把角色切换、模板保存或静态配置视为验

{"name":"attempt_completion","arguments":{"result":"本草案采用“一个任务工件贯穿业务流、两个基础动作承载四种职责、机器检查与独立签章共同放行”的治理模型。交付仅为工程规范设计，不实施代码、不迁移现有资产，也不把提示词切换视为独立审查或运行时权限隔离。\n\n- 任务契约与生命周期统一归入 [`specs/tasks/`](specs/tasks/)，不按角色建立文档孤岛。\n- 同一 Agent 可以切换审查视角，但不能给自己的实施结果出具独立签章；默认由未参与实施的人类审查员签章。\n- 下述新增路径、模板、门禁接口及宿主配置均为拟议资产，不表示已经创建、加载或验收。\n\n# BMAD-Solo 业务流驱动的 Agent 文档与任务治理落地规范\n\n版本：Engineering Specification Draft 0.1。\n\n适用项目：dotfiles-bmad-solo 及使用其方法论的棕地项目。\n\n文档性质：待批准的工程规范，不是实施授权，不替代现有活动任务。\n\n## 0. 依据、范围与关键裁决\n\n### 0.1 理论依据的使用边界\n\n本规范将委托中给定的业务流原点、流程定义作业、数据“刚刚好”、质量内控嵌入流程，以及任务单元和双重门禁，作为必须满足的设计约束。\n\n华为公开的一手演讲明确提出构建端到端质量管理体系，并将质量要求构筑到各业务流程中。[7](cite:7) 本轮没有取得《谈业务、流程、IT、质量、运营的关系》的完整一手正文，因此不将委托中的具体措辞标记为逐字复核。\n\n已定位 AutoSwarm: Automating Agent Swarms 的原始预印本条目。[1](cite:1) 本轮检索未提供其 v1 正文中的 CS 与验收公式定义；对这些定义是否与原文逐字一致：Insufficient evidence。本规范采用委托给定的定义作为工程约束，不据此宣称已经复现论文系统或证明效果。\n\n### 0.2 与现有仓库的差异\n\n依据本轮返回的文件读取片段：\n\n- [`现有蓝图`](docs/blueprint.md:9)使用领域规范加单一暂存计划的布局；本草案将暂存计划替换为任务单元及单焦点指针，不保留第二套活动计划。\n- [`现有 Cline 路由模板`](bmad-suite-v4/cline/templates/bmad-router.md:3)明确自身是未激活的行为适配模板，不是程序门禁；本草案保持这一事实边界。\n- [`现有 Roo 分析模式配置`](bmad-suite-v4/roo/settings/custom_modes.yaml:5)声明的编辑白名单仍指向旧输出目录。当前不能据本草案认为分析模式已经获得新目录写入权限。\n- [`现有治理测试`](tests/roo_contracts/test_document_test_governance.py:1)声明其验证范围是静态契约和隔离回归，不证明 Cline/Roo 的运行时行为。\n\n本规范描述目标态。现有规则、分发器、校验器、测试发现入口和宿主消费者，必须在获准工程任务中适配后才能切换。不得先删除旧目录、覆盖旧计划，再补消费者。\n\n### 0.3 四项不可妥协的裁决\n\n1. 一个任务只有一份权威契约和一份权威当前状态，不在角色目录、宿主待办、ADR 或聊天摘要中镜像维护。\n2. 一个会话的角色变化只改变作业职责，不增加权限、不产生独立身份。\n3. 机械检查通过不等于业务正确；独立审查通过也不能豁免失败的必需机械检查。\n4. 已验收、允许合并、实际合并、允许归档、实际归档是不同事实，不能通过一次完成声明合并处理。\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 检查交付、运行受信验证、反向审查、组织独立签章 | 当前候选的机器门禁和独立审查均满足 | 边修代码边签章；以换提示词冒充 SOD；自动合并或部署 |\n\n完整流转是“需求澄清 → 契约设计 → 获准实施 → 候选送审 → 双重验收 → 获准发布”。它不是四个相互独立的 Agent 进程。\n\n轻量缺陷与运维任务可以压缩 Plan 作业量，但仍须具备明确的目标、交付边界、适用 KCP 和独立审查。不能通过将任务标记为“简单”来绕过门禁。\n\n### 1.2 Prompt Framing 的切换契约\n\n每次进入新工序，宿主向会话注入或明确提供以下作业框架：\n\n1. 当前任务标识、执行实例、契约版本和阶段。\n2. 当前职责及其允许作业、禁止作业。\n3. 本工序必须消费的输入、必须产出的交付。\n4. 当前授权引用、实际工具能力及未满足前提。\n5. 本工序出口条件和失败回退位置。\n\n角色不得依据上一轮自述自动继承。阶段转换必须读取权威任务工件并核对真实回执；模型说“现在我是 Supervisor”不能改变任务状态。\n\n职责切换规则：\n\n- Analyst → Architect：先锁定目标、不变量和验收，再开展技术设计；未解决的需求问题以阻塞项移交。\n- Architect → Coder：仅消费已封存且获准的契约，不重新展开完整选型；发现实质性契约问题时返回定向设计审查。\n- Coder → Supervisor：冻结候选及其身份，停止候选写入，提供证据定位；不能一边修改一边审查同一个候选。\n- Supervisor → Coder：给出与验收或不变量绑定的缺陷及定位，保持失败现场，不直接修复后自行批准。\n\n### 1.3 同会话审查与独立签章必须分开\n\n同一 Agent 在同一会话中可以承担 Supervisor 的检查组织、反向推演、证据核对和报告起草，但这些结果仍属于同一执行主体的分析，不构成独立审查签章。\n\n默认的单体落地方式：\n\n- Agent 承担连续的四种作业视角。\n- 受信验证入口生成机器回执。\n- 未参与实施的人类审查员独立读取契约、候选差异和证据，作出批准或拒绝。\n- 发布门禁验证审查员身份、独立性、签章绑定对象及机器回执后，才允许放行。\n\n若使用独立自动审查服务，必须另行批准其身份、权限、审查输入、失效规则和真实验收。新会话、不同模型或不同角色名称，均不能单独证明独立性。\n\n### 1.4 加载与清洗契约\n\n上下文只加载“完成当前工序所需的最小闭包”：\n\n- 稳定导航及公共安全规则。\n- 单焦点指针所指向的任务契约。\n- 当前阶段声明的上游文件、锚点或有界片段。\n- 与当前变更相关的领域不变量和接口。\n- 当前候选、机器回执、未解决问题及授权引用。\n\n禁止默认加载全量历史任务、全量 ADR、全部原始日志、其他角色的完整过程记录及无关模块源码。\n\n在阶段边界、上下文压缩后、恢复后或候选变化后：\n\n1. 丢弃上一角色的操作许可和未经确认的结论。\n2. 重读当前任务身份、契约版本、阶段、授权与全部未完成义务。\n3. 按证据引用重新定位必要信息，不凭摘要继承历史绿灯。\n4. 只保留决策、约束、未完成事项及证据定位；不保存私有推理过程或逐轮聊天。\n\n“清洗”指不再加载，不是删除原始证据。若宿主不能实际移除既有上下文，必须明确这一限制，并使用获准的新会话及有界交接；不能宣称提示词已经清除了模型历史。\n\n接管摘要默认上限为 80 行，另配置字节预算；这是一项工程预算，不是性能保证。不能在预算内保留必要义务时，应缩小当前任务或分段读取，不能静默丢失未完成事项。\n\n### 1.5 本地推演与沙盒边界\n\nCoder 的“沙盒”必须说明隔离能力，而不是仅给一个目录名称：\n\n- 候选工作副本与公共发布基线分离，保护用户已有改动。\n- 网络、凭据、文件写入、进程及资源限制由实际执行环境落实。\n- 测试不得隐式安装依赖或调用生产服务。\n- 需要真实外部交互时，另行批准目标、凭据、写入范围和清理要求。\n\n被忽略目录、临时目录及模式编辑正则，不是执行级沙箱。不具备相关隔离时，应披露限制并阻塞依赖该隔离保证的操作。\n\n## 2. 模块二：核心工件规范与完整模板\n\n### 2.1 目标拓扑与权威性\n\n| 工件 | 唯一职责 | 不得承载 |\n|---|---|---|\n| [`AGENTS.md`](AGENTS.md) | 稳定导航、公共纪律、验证入口 | 活动任务状态、执行流水、领域规范副本 |\n| [`specs/tasks/_protocol.md`](specs/tasks/_protocol.md) | 本治理协议及字段、转换、门禁规则 | 项目业务事实副本 |\n| [`specs/tasks/TU-.md`](specs/tasks/TU-.md) | 单个任务的权威契约、当前阶段及门禁状态 | 原始日志、聊天记录、其他任务状态 |\n| [`specs/tasks/_active.md`](specs/tasks/_active.md) | 当前唯一焦点的定位指针 | 阶段、角色、验收状态副本 |\n| [`specs/tasks/records/`](specs/tasks/records/) | 按任务和尝试关联的审查报告、授权与归档回执引用 | 按角色组织的独立状态账本 |\n| [`specs/.md`](specs/.md) | 已发布的领域不变量、接口和必要验证要求 | 工单流水、未验收功能的事实声明 |\n| [`verification/TU-.verdict.json`](verification/TU-.verdict.json) | 当前验证回执的受控入口 | Agent 手写的“成功证明” |\n| [`verification/TU-/`](verification/TU-/) | 不覆盖的尝试级原始证据 | 第二套任务状态 |\n\n“任务目录是一等公民”指任务契约、审批和生命周期归属任务，而不是将测试源码、生产源码或大体积日志全部搬入任务目录。\n\n正文模板及字段链接使用拟议任务 [`TU-20261027-docflow-01.md`](specs/tasks/TU-20261027-docflow-01.md:1) 演示。结构化代码块保持有效语法；其中的路径是示例声明，不是已创建资产。\n\n### 2.2 权威数据分层\n\n- 契约数据：目标、输入、CS、KCP、依赖、边界及正文约束。由获准的 Plan 作业起草与修订，封存后不能在实施中静默修改。\n- 运行数据：执行实例、尝试号、阶段、角色、门禁、候选身份及证据引用。由受控状态入口更新，Agent 不直接写验收状态。\n- 原始证据：由验证执行入口产生，任务工件仅引用。\n- 审查事实：由独立审查员签章，任务工件引用受信签章及审查报告。\n\n宿主待办仅展示任务状态或指向任务工件，不独立维护验收状态。若宿主不能提供只读投影，应关闭重复状态维护，或明确将其降为非权威工作提示。\n\n### 2.3 完整 YAML Frontmatter 与正文模板\n\n下列模板演示一个“实现任务级门禁能力”的未来任务；其新增实现和测试均未创建，授权及签章为空，因此不能执行或放行。\n\n```markdown\n---\nschema_version: \"1.0\"\ntask_id: \"20261027-docflow-01\"\nparent_objective:\n objective_id: \"OBJ-DOCFLOW-20261027\"\n statement: \"使任务流转具备单源契约与独立双重门禁\"\n source_ref: null\ncontract_revision: 1\ncontract_status: DRAFT\ncurrent_stage: PLAN_ANALYSIS\nactive_role: Analyst\ngate_status: IN_PROGRESS\nexecution_state: RUNNABLE\nexecution_id: null\nattempt: 0\ndependencies: []\ninputs:\n - input_id: INPUT-BLUEPRINT\n path: \"docs/blueprint.md\"\n anchor: null\n line_range: [1]\n required: true\n expected_sha256: null\n upstream_release_ref: null\n - input_id: INPUT-REGRESSION\n path: \"tests/roo_contracts/test_document_test_governance.py\"\n anchor: null\n line_range: null\n required: true\n expected_sha256: null\n upstream_release_ref: null\ncs_specification:\n deliverables:\n - path: \"scripts/task_gate.py\"\n operation: CREATE\n purpose: \"验证任务契约、证据绑定及状态转换\"\n - path: \"tests/roo_contracts/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-SOURCE\n statement: \"任务状态只有一个权威写入入口\"\n acceptance_ids: [AC-SINGLE-SOURCE]\n - invariant_id: INV-GATE\n statement: \"机器通过与独立签章缺一不可\"\n acceptance_ids: [AC-DUAL-GATE]\n - invariant_id: INV-ASSET\n statement: \"失败与归档不得覆盖用户改动或丢失唯一证据\"\n acceptance_ids: [AC-PRESERVATION]\n acceptance:\n - acceptance_id: AC-SINGLE-SOURCE\n statement: \"状态转换拒绝版本冲突及第二焦点\"\n machine_check_ids: [KCP-TASK-GATE]\n review_questions: [RQ-STATE-OWNERSHIP]\n - acceptance_id: AC-DUAL-GATE\n statement: \"拒绝失败、过期、零采集及非独立签章\"\n machine_check_ids: [KCP-TASK-GATE]\n review_questions: [RQ-BYPASS]\n - acceptance_id: AC-PRESERVATION\n statement: \"失败恢复和归档保留源、证据与范围外资产\"\n machine_check_ids: [KCP-TASK-GATE, KCP-REGRESSION]\n review_questions: [RQ-RECOVERY]\n allowed_generated_outputs_ref: \"#evidence-policy\"\n downstream_guidance_ref: \"#downstream-guidance\"\nkcp_verification:\n checks:\n - check_id: KCP-TASK-GATE\n required: true\n asset_status_at_seal: PLANNED_NOT_CREATED\n argv: [python3, -m, unittest, discover, -s, tests/roo_contracts, -p, test_task_gate.py, -v]\n cwd: \".\"\n timeout_seconds: 30\n kill_after_seconds: 2\n stdin: CLOSED\n network: DENY\n required_test_ids:\n - test_task_gate.TaskGate.test_valid_release\n - test_task_gate.TaskGate.test_reject_same_principal\n - test_task_gate.TaskGate.test_reject_stale_candidate\n - test_task_gate.TaskGate.test_reject_zero_collection\n - test_task_gate.TaskGate.test_reject_failure_and_timeout\n - test_task_gate.TaskGate.test_active_cas_conflict\n - test_task_gate.TaskGate.test_archive_preserves_source\n - check_id: KCP-REGRESSION\n required: true\n asset_status_at_seal: EXISTING_UNVERIFIED\n argv: [python3, -m, unittest, discover, -s, tests/roo_contracts, -p, test_document_test_governance.py, -v]\n cwd: \".\"\n timeout_seconds: 30\n kill_after_seconds: 2\n stdin: CLOSED\n network: DENY\n required_test_ids:\n - test_document_test_governance.DocumentTestGovernance.test_missing_explicit_root_plan_never_falls_back\n verdict_ref: \"verification/TU-20261027-docflow-01.verdict.json\"\nsod_review:\n policy: HUMAN_INDEPENDENT\n reviewer_principal: null\n review_report_ref: null\n signature_ref: null\n known_limitations:\n - limitation_id: LIM-NOT-REVIEWED\n statement: \"尚未进行独立审查\"\n blocking: true\n downstream_guidance_ref: \"#downstream-guidance\"\nauthorization:\n implementation_grant_ref: null\n release_grant_ref: null\n archive_grant_ref: null\n production_scope_ref: \"cs_specification.deliverables\"\nidentity:\n contract_sha256: null\n candidate_sha256: null\n candidate_manifest_ref: null\ncontext_contract:\n handoff_max_lines: 80\n handoff_max_bytes: 8192\n source_loading: DECLARED_INPUTS_AND_IMPACT_CLOSURE\narchive:\n retention_policy_ref: null\n receipt_ref: null\n---\n\n# TU-20261027-docflow-01：任务级双重门禁\n\n\n## 业务目标与必要非目标\n\n目标：使声明的任务契约、候选产物、机器证据及独立签章一致绑定，失败不能释放给下游。\n\n非目标：本任务不安装或激活宿主，不迁移历史任务，不提交、推送或部署业务服务，不建设多 Agent 调度系统。\n\n本文件是模板。新增实现和测试尚不存在，不能视为已获准任务。\n\n\n## 接口与所有权\n\n- 任务工件拥有契约与当前状态。\n- 验证入口拥有机器回执；模型不能修改其判定。\n- 独立审查员拥有审查意见；受信审批入口登记签章。\n- 发布入口只消费当前候选的有效双重门禁与授权。\n- 领域规范只描述通过发布门禁的公共版本。\n\n拟议门禁接口必须支持：只读校验、候选绑定、机器验收、独立审批校验、条件状态转换及归档校验。\n\n这些是待实现接口职责，不表示当前仓库存在对应可执行入口。\n\n\n## 设计约束与实现边界\n\n- 采用严格解析、显式版本和默认拒绝。\n- 状态更新使用预期版本比较；冲突保留现场。\n- 机器回执绑定代码、测试、必要配置、依赖与执行环境。\n- 不能仅检查被编辑函数，必须覆盖必要调用方和副作用边界。\n- 不通过移除断言、减少必需测试或改变分类来解除失败。\n\n\n## 证据与生成物范围\n\n允许生成的非生产输出仅为当前任务的尝试级证据、审查报告及受控元数据。\n\n证据放在当前任务对应的验证子目录；每次尝试采用唯一运行标识，不覆盖旧尝试。\n\n审查报告归入任务记录目录。报告、日志、临时运行输出不扩大生产交付文件清单。\n\n环境准备、联网、安装、真实服务调用及清理分别按授权执行。\n\n\n## 必需反向审查问题\n\n- RQ-STATE-OWNERSHIP：是否存在绕过权威状态入口的第二可写状态源？\n- RQ-BYPASS：零采集、缺回执、过期候选、伪造签章或同主体审查能否放行？\n- RQ-RECOVERY：中断、版本冲突及归档失败是否丢失源、用户改动或唯一证据？\n\n问题应根据实际风险增补；不得机械固定问题数量。\n\n\n## 失败恢复\n\n机器失败、签章拒绝或证据不完整时，不释放产物，不清空活动指针，不覆盖失败现场。\n\n授权内的普通缺陷返回实施阶段修复。契约发生实质变化时返回设计阶段，增加契约版本并重新批准。\n\n候选变化后生成新尝试并重新验证相关证据，不继承旧签章。\n\n\n## 下游使用指引\n\n下游只能消费已验收且身份明确的候选或已发布版本；引用任务标识、契约版本、候选身份及验收依据。\n\n不得将模板、工作副本、失败尝试、聊天摘要或未经批准的领域说明作为已发布事实。\n\n尚未验证的宿主加载和权限行为保持未知，不外推为运行保证。\n\n\n## 归档与保留\n\n归档须另获授权，保留稳定任务路径及可达的验收证据。\n\n未完成任务不得以归档替代完成；历史恢复须新执行实例及重新验证。\n\n无法确认保存完整、引用可达或源版本未变化时，保留源并停止归档。\n```\n\n### 2.4 字段级定义\n\n下表中的字段均指向上述拟议任务模板。空值不是通过；模板实例与运行实例采用不同的校验前提。\n\n| 字段 | 类型与约束 | 权威写入方及含义 |\n|---|---|---|\n| [`schema_version`](specs/tasks/TU-20261027-docflow-01.md:2) | 支持的版本字符串 | 协议版本；未知版本拒绝，不猜测兼容 |\n| [`task_id`](specs/tasks/TU-20261027-docflow-01.md:3) | 非空、唯一、仅安全标识字符 | 标识不含路径分隔符，必须与文件名一致；不复用历史标识 |\n| [`parent_objective`](specs/tasks/TU-20261027-docflow-01.md:4) | 目标标识、目标陈述、来源引用组成的对象 | 绑定业务目标；来源在草稿可空，封存前须可定位 |\n| [`contract_revision`](specs/tasks/TU-20261027-docflow-01.md:8) | 正整数 | 契约变化递增；运行状态变化不递增 |\n| [`contract_status`](specs/tasks/TU-20261027-docflow-01.md:9) | DRAFT 或 SEALED | 草稿不能用于实施、送审或放行 |\n| [`current_stage`](specs/tasks/TU-20261027-docflow-01.md:10) | PLAN_ANALYSIS、PLAN_DESIGN、ACT_IMPLEMENT、ACT_REVIEW、RELEASED | 当前业务工序，不代表授权 |\n| [`active_role`](specs/tasks/TU-20261027-docflow-01.md:11) | Analyst、Architect、Coder、Supervisor、NONE | 必须与阶段对应；发布终态使用 NONE |\n| [`gate_status`](specs/tasks/TU-20261027-docflow-01.md:12) | READY、IN_PROGRESS、IN_REVIEW、ACCEPTED、REJECTED | 唯一验收状态；ACCEPTED 只能由门禁入口写入 |\n| [`execution_state`](specs/tasks/TU-20261027-docflow-01.md:13) | RUNNABLE、BLOCKED、SUSPENDED | 调度可运行性，不是第二套验收状态 |\n| [`execution_id`](specs/tasks/TU-20261027-docflow-01.md:14) | 唯一实例标识；未启动时可空 | 首次执行及历史恢复建立实例，不伪造宿主会话标识 |\n| [`attempt`](specs/tasks/TU-20261027-docflow-01.md:15) | 非负整数 | 新候选送审或重验递增；旧证据保留 |\n| [`dependencies`](specs/tasks/TU-20261027-docflow-01.md:16) | 上游任务、契约版本、验收候选及释放引用列表 | 不允许只依赖“最新任务”；检查缺失、循环和版本适用性 |\n| [`inputs`](specs/tasks/TU-20261027-docflow-01.md:17) | 输入对象列表 | 每项包括输入标识、路径、定位范围、必需性、内容身份及上游验收引用 |\n| [`cs_specification`](specs/tasks/TU-20261027-docflow-01.md:1) | 交付、业务不变量、验收及下游指引对象 | 文件清单必须精确；不变量和验收必须有稳定标识及验证映射 |\n| [`kcp_verification`](specs/tasks/TU-20261027-docflow-01.md:1) | 必需检查列表与回执引用 | 每项包括命令参数、工作目录、限时、输入及环境政策、必需断言或测试标识 |\n| [`sod_review`](specs/tasks/TU-20261027-docflow-01.md:1) | 独立性政策、审查身份、报告、签章、局限性及指引 | 身份和签章由受信审批入口登记；未审查不能写“无局限” |\n| [`authorization`](specs/tasks/TU-20261027-docflow-01.md:1) | 实施、发布、归档授权引用及范围引用 | 引用真实批准记录；批准须绑定任务、契约和操作范围 |\n| [`identity`](specs/tasks/TU-20261027-docflow-01.md:1) | 契约摘要、候选摘要、候选清单引用 | 由工具生成；摘要只证明一致性，不单独证明认证或防篡改 |\n| [`context_contract`](specs/tasks/TU-20261027-docflow-01.md:1) | 接管预算与按需读取策略 | 预算不能以丢失必要义务满足 |\n| [`archive`](specs/tasks/TU-20261027-docflow-01.md:1) | 保留政策及归档回执引用 | 不另存可写完成状态；归档回执不替代验收 |\n\n补充约束：\n\n- 输入的锚点必须真实存在；行范围用于有界读取，但内容变化后不能仍把旧行号作为身份保证。\n- 项目路径采用根目录相对路径，拒绝绝对路径、越界遍历和逃逸链接；路径检查与真实工具权限分别验证。\n- 交付操作必须声明 CREATE、MODIFY 或 DELETE。删除的验收是目标缺席及相关影响检查，不能按普通文件存在性判断。\n- 除声明的生产交付和受控生成物外，不允许顺手修改其他资产。\n- 必需检查必须指定可判定结果；测试类声明必需测试标识，Lint、语法或构建类声明适用断言，不能机械要求所有命令都采集测试。\n- 草稿可以声明待创建的验证资产；进入实际验证时资产、运行环境和受信适配器必须可用。已有文件也只表示存在，不表示通过。\n\n### 2.5 严格解析与封存\n\n校验器必须拒绝重复 YAML 键、非法类型、不支持版本、危险自定义标签、别名歧义、未知字段以及缺失的必需定位。\n\n契约摘要覆盖：目标、依赖、输入身份、CS、KCP、边界与全部规范性正文。运行字段、真实授权引用、候选身份、机器回执和签章引用不进入契约摘要；这些字段分别绑定并验证。\n\n必须在协议中固定摘要算法、规范化序列化和字段排除清单，不能由每次调用自行解释。Agent 不手算摘要。\n\n封存后改变目标、接口、交付文件、验收、必需检查或规范性正文，必须增加契约版本、失效受影响证据，并取得相应批准。不能仅改变状态来掩盖契约变化。\n\n### 2.6 状态转换与组合合法性\n\n| 转换 | 必要条件 | 结果 |\n|---|---|---|\n| 分析开始 | 目标与当前分析授权明确 | PLAN_ANALYSIS / Analyst / IN_PROGRESS |\n| 进入设计 | 分析交付足够，关键需求未知明确 | PLAN_DESIGN / Architect / IN_PROGRESS |\n| 准备实施 | 契约已封存，实施授权及前置依赖满足 | ACT_IMPLEMENT / Coder / READY |\n| 开始实施 | 操作在批准范围内，单焦点与实例一致 | ACT_IMPLEMENT / Coder / IN_PROGRESS |\n| 送审 | 候选冻结，交付完整，自测无必需失败 | ACT_REVIEW / Supervisor / IN_REVIEW |\n| 验收 | 当前候选的机器门禁与独立签章有效 | ACT_REVIEW / Supervisor / ACCEPTED |\n| 发布完成 | 发布获准，实际发布回执确认目标身份 | RELEASED / NONE / ACCEPTED |\n| 拒绝 | 必需检查失败、审查拒绝、证据无效等 | REJECTED；按原因设置 BLOCKED 或允许获准返工 |\n| 返工 | 返工在授权与预算内，新尝试重新绑定 | ACT_IMPLEMENT / Coder / IN_PROGRESS |\n| 契约返修 | 目标或接口等实质变化 | PLAN_DESIGN / Architect / IN_PROGRESS；旧批准不自动适用 |\n\nREADY 表示已具备开始获准实施的条件，不表示已验收。IN_REVIEW 不表示机器通过，更不表示签章完成。\n\n暂停只改变执行可运行性，并保留已有验收事实及未完成义务。未完成任务暂停后不能被归档为已完成。\n\n### 2.7 单焦点指针\n\n拟议 [`specs/tasks/_active.md`](specs/tasks/_active.md) 只保存指针：\n\n```yaml\n---\nschema_version: \"1.0\"\nfocus_revision: 1\ntask_ref: \"specs/tasks/TU-20261027-docflow-01.md\"\nexecution_id: null\n---\n```\n\n约束：\n\n1. 指针为空表示无活动焦点，是正常状态。\n2. 不保存阶段、角色、门禁或完成清单；读取它们必须跟随任务引用。\n3. 切换焦点须比较预期指针版本，并处理未完成任务：继续、明确暂停或请求选择，不能覆盖隐藏。\n4. 同时只允许一个获准候选写入或验证过程；文件锁和串行入口是工程要求，不由指针文件本身保证。\n5. 用户显式指定任务时优先验证该任务，缺失或非法不得静默替换为默认焦点。\n6. 自动批准、宿主待办勾选和会话完成消息不能更新焦点或门禁。\n\n### 2.8 完成后的 archive 契约\n\n默认采用逻辑归档，不移动稳定任务路径：\n\n- 终态任务锁定为只读历史工件，保留契约、验收候选及可达证据。\n- 另获归档授权后，登记归档回执并从单焦点指针移除。\n- 原始证据按任务保留政策转存；转存目标不得覆盖，确认完整性及引用可达后才能处理源。\n- 可生成 [`归档索引`](specs/tasks/archive/_index.md)，但它仅是只读引用索引，不是第二套状态源。\n\n这种归档使已有任务引用持续有效，不依赖隐身临时目录或聊天摘要恢复历史。\n\n历史重放使用新执行实例；若是新的业务变更，创建新的任务标识并引用旧任务。不得改写旧验收事实，也不得继承旧环境的通过结果。\n\n## 3. 模块三：“刚刚好”的环节数据交接\n\n### 3.1 上下游数据流契约\n\n| 交接 | 必须输出 | 严禁输出或作为权威依据 | 下游接收检查 |\n|---|---|---|---|\n| Analyst → Architect | 目标、业务不变量、可判定验收、必要非目标、来源、未知及阻塞 | 全量访谈记录、未经证明的因果解释、无必要的技术选型、完整聊天 | 验收能否判定；需求是否足以设计；未知是否影响必要决策 |\n| Architect → Coder | 封存任务、接口与所有权、精确文件清单、KCP、依赖、环境前提、失败恢复、实施授权 | 全量候选比较、历史 ADR 全文、空泛“测试全绿”、未创建接口被描述为可用 | 契约与批准匹配；输入与依赖可达；待创建资产明确；范围可执行 |\n| Coder → Supervisor | 当前候选身份、范围内差异、验收映射、自测回执、环境及清理说明、未解决风险 | 自签批准、只给“完成”结论、无定位日志堆、隐瞒跳过项、旧候选回执 | 候选冻结；变更清单匹配；证据适用；无未声明生产修改 |\n| Supervisor → 下游任务 | 有效验收引用、候选身份、独立签章、局限性、兼容性和使用要求 | 完整审查聊天、未过审工作副本、把有条件结论改成无条件可用 | 双重门禁有效；输入版本固定；适用范围和残余限制满足 |\n| Supervisor → 公共领域规范 | 已审查的不变量、接口行为、相关验证要求、必要决策及来源引用 | 工单流水、原始日志、未验证环境事实、仅在候选中存在却宣称已发布的行为 | 领域变化已纳入审查；发布授权和实际发布身份一致 |\n\n交接材料是引用加最小解释，不是复制上游全部材料。必要细节保留在权威来源，通过准确定位读取。\n\n### 3.2 验收覆盖图\n\n每项验收至少关联：\n\n- 一个可执行检查或明确的机器断言。\n- 一个独立审查问题，说明机械检查未覆盖的语义边界。\n- 一组预期交付及相关业务不变量。\n\n机械检查无法判定某项业务约束时，应说明机器能验证的必要条件和独立审查负责的剩余问题，不编造“自动证明”。\n\n无影响关系的检查不强制运行。新增风险若超出当前任务边界，须提出契约调整，不能无限扩展补证。\n\n### 3.3 公共领域规范的沉淀方式\n\n默认将领域规范的拟议变更与代码、测试一并纳入候选和 CS，Supervisor 审查整个候选；只有候选通过双重门禁且获准实际发布后，才成为公共版本的长效规范。\n\n如果审查结束后才提出新的规范内容，应作为独立的文档任务或新候选重新审查，不能凭旧代码签章自动发布新文档。\n\n领域规范保留：\n\n- 当前适用的业务不变量及稳定标识。\n- 输入输出、所有权、失败语义、兼容性与副作用边界。\n- 相关验证入口及其覆盖范围。\n- 已发布任务和必要决策的溯源引用。\n\n领域规范不复制任务状态、不保存执行流水，也不自动接受 ADR。领域文档的工作副本不是公共领域事实源。\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_t^g$：受信机器检查对当前候选及其真实回执的判定。\n- $R_t(g)$：独立审查员对相同契约和候选的有效签章。\n- $z_t^g$：与当前候选绑定的交付、测试、配置、依赖、环境及证据。\n\n未知在放行逻辑中不是真值。机器或审查结果缺失、过期、身份不明时，验收条件不成立。\n\n释放给下游还须满足当前授权、上游依赖及候选未变化。合并、发布和归档分别检查相应授权；它们不是双重质量门禁的替代品。\n\n### 4.2 物理职责与权限分离\n\n| 主体 | 可以执行 | 不得执行 |\n|---|---|---|\n| Coder | 修改获准候选、运行自测、请求送审 | 修改受信机器结论、独立签章或验收状态 |\n| 受信验证入口 | 在批准环境执行 KCP、采集真实结果、生成绑定回执 | 将缺失、异常或过期结果转成通过 |\n| Supervisor 作业视角 | 核对 CS、运行审查流程、起草反向报告 | 以自身角色名称取得独立签章 |\n| 独立审查员 | 独立核对候选与证据，签署批准或拒绝 | 批准自己参与实施或修订的候选 |\n| 受控状态与发布入口 | 校验批准、签章、版本和门禁，执行条件转换 | 接受模型自述、普通文件中的名字或待办勾选作为授权 |\n\n可信边界必须位于 Coder 不能自行改写的审批或发布入口，例如受保护的审查与合入流程。全部文件和签章若都由同一账号任意修改，只能提供一致性检查，不能声称拥有强制 SOD 或防篡改保证。\n\n受信验证程序及其规则版本不能由当前候选随意替换。修改门禁本身的任务须有独立的引导验收和批准，不能用候选中新写的门禁证明自己可信。\n\n### 4.3 机器检查回执生成\n\n验证执行入口必须：\n\n1. 接收任务、契约、候选、执行实例和尝试标识。\n2. 核验授权、输入、依赖、工作目录、验证资产及环境。\n3. 串行执行声明的命令，前台等待实际退出，封闭标准输入。\n4. 按受支持方式施加进程级限时和清理，记录超时、取消、异常及后代进程处理结果。\n5. 保存命令、退出状态、必要断言、测试清单及真实输出。\n6. 生成不可覆盖的尝试回执，再受控更新当前回执入口。\n7. 将任务状态、候选和回执的一致性作为推进前的检查，而不是仅在会话结束后检查。\n\n验证类默认 30 秒，探测类 15 秒，构建类 600 秒；任务可以在授权范围内明确调整。超时不是通过，工具提前返回也不是进程已结束。\n\n标准 unittest 命令的退出零不能单独证明必需测试已采集。需要受信、版本固定的结果适配器取得结构化清单；适配器缺失或无法解释结果时，判为未知，不通过文本中的“OK”猜测。\n\n下列 [`机器回执示例`](verification/TU-20261027-docflow-01.verdict.json) 是格式演示，不是真实实测：\n\n```json\n{\n \"schema_version\": \"1.0\",\n \"record_kind\": \"EXAMPLE_NOT_EVIDENCE\",\n \"task_id\": \"20261027-docflow-01\",\n \"contract_revision\": 1,\n \"contract_sha256\": null,\n \"execution_id\": null,\n \"attempt\": 0,\n \"run_id\": null,\n \"candidate\": {\n \"sha256\": null,\n \"manifest_ref\": null,\n \"contributor_principals\": []\n },\n \"producer\": {\n \"principal\": null,\n \"runner_version\": null,\n \"runner_sha256\": null,\n \"trust_ref\": null\n },\n \"environment\": {\n \"workspace_identity\": null,\n \"runtime_versions\": {},\n \"dependency_manifest_sha256\": null,\n \"configuration_sha256\": null,\n \"network_policy\": \"DENY\",\n \"fingerprint_sha256\": null\n },\n \"started_at\": null,\n \"finished_at\": null,\n \"checks\": [\n {\n \"check_id\": \"KCP-TASK-GATE\",\n \"required\": true,\n \"argv\": [\"python3\", \"-m\", \"unittest\", \"discover\", \"-s\", \"tests/roo_contracts\", \"-p\", \"test_task_gate.py\", \"-v\"],\n \"cwd\": \".\",\n \"exit_code\": null,\n \"timed_out\": null,\n \"cancelled\": null,\n \"collection\": {\n \"status\": \"UNKNOWN\",\n \"collected\": null,\n \"executed\": null,\n \"passed\": null,\n \"failed\": null,\n \"errors\": null,\n \"required_skipped\": null,\n \"test_manifest_ref\": null\n },\n \"assertions_ref\": null,\n \"stdout_ref\": null,\n \"stderr_ref\": null,\n \"result\": \"UNKNOWN\",\n \"reason_codes\": [\"ASSET_NOT_CREATED\"]\n }\n ],\n \"cleanup\": {\n \"status\": \"UNKNOWN\",\n \"remaining_processes\": null,\n \"side_effects_ref\": null\n },\n \"machine_result\": \"UNKNOWN\",\n \"reason_codes\": [\"EXAMPLE_RECORD\", \"MISSING_REQUIRED_CHECKS\"],\n \"attestation\": {\n \"provider\": null,\n \"signer_principal\": null,\n \"payload_sha256\": null,\n \"signature\": null\n }\n}\n```\n\n### 4.4 回执字段及通过条件\n\n真实回执必须满足以下条件：\n\n- 记录类别必须是 MACHINE_VERDICT，示例记录明确拒绝。\n- 任务、契约、执行实例、尝试、运行标识和候选身份非空且一致。\n- 候选清单包含改动文件、必要验证输入、测试、配置及依赖的内容身份；不能只摘要最后编辑的文件。\n- 生产者与受信入口匹配，运行程序版本和信任依据可核验。\n- 起止时间为实际采集的时间，不能由模型补写。\n- 每个必需检查恰好存在一次，命令与契约一致；存在额外失败也不能被汇总掩盖。\n- 测试类必需清单全部执行、无失败、无错误、无必需项跳过，采集非零；非测试类满足其声明的断言和退出要求。\n- 超时、取消、缺依赖、进程清理未知、必要输出缺失或候选变化，均不能通过。\n- 输出引用可达且摘要匹配，敏感信息按保留政策保护；脱敏摘要不能替代门禁所需的受控原始证据。\n- 环境符合契约，关键环境变化后重验受影响证据。\n- 回执认证在实际信任边界内有效；普通同账号文件摘要不是认证。\n\n机器结果仅允许 PASS、FAIL、UNKNOWN：\n\n- PASS：全部必需条件被真实证据证明满足。\n- FAIL：已观察到必需失败、断言不满足、超时、取消或明确违约。\n- UNKNOWN：缺少必要事实、回执不完整、适配器不支持或无法核验。\n\nFAIL 与 UNKNOWN 均不放行。权限拒绝、文件缺失、磁盘错误、格式损坏须保留不同原因码，不全部折叠为“测试失败”。\n\n### 4.5 证据隔离与保留\n\n每次尝试使用唯一目录，例如拟议 [`尝试级证据目录`](verification/TU-20261027-docflow-01/)。其中保存原始输出、结构化测试清单、环境清单、候选清单及机器回执。\n\n当前回执入口只指向或完整保存当前尝试的受信结果，不覆盖旧尝试。任务文件引用回执，不复制日志。\n\n隔离规则：\n\n- 生产源码、测试源码、临时脚本和运行输出分别治理。\n- 测试不能通过读取自己写的“PASS”文件完成验收。\n- 被忽略目录不是不可信内容的安全隔离，也不是可任意删除区。\n- 清理前检查任务引用、保留期、审计及唯一证据依赖。\n- 需要跨机器审查的证据必须存于审查员可达的受控存储；不能仅留下本机已忽略文件的失效引用。\n\n### 4.6 独立反向审查报告与签章\n\n审查报告按任务及尝试组织，拟议路径为 [`review.md`](specs/tasks/records/TU-20261027-docflow-01/attempt-1/review.md)，不建立 Supervisor 专属目录。\n\n报告必须包含：\n\n- 审查员身份与独立性依据，实际实施参与者集合及核验来源。\n- 绑定任务、契约、候选、机器回执及审查报告内容身份。\n- 验收覆盖核对：哪些由机器证明，哪些仍需语义判断。\n- 边界条件、异常传播、未捕获异常、权限、资源、兼容性和副作用审查。\n- 每个发现的依据、影响、阻塞性及处理要求。\n- 已知局限、未验证条件和下游使用指引。\n- 批准或拒绝的明确结论。\n\n签章必须覆盖同一候选、契约、机器回执身份、报告身份及结论。仅填写名字、角色或“已审查”不是签章。\n\n签章生成条件：\n\n1. 审查员经受信审批入口认证。\n2. 审查员未参与当前候选实施；无法核验独立性时不签章。\n3. 机器必需检查通过且仍适用于当前候选。\n4. 所有阻塞发现已解决，非阻塞局限不会违背必需验收。\n5. 签章后的候选、契约、测试或关键环境变化会使受影响批准失效。\n\n同一会话生成的反向报告可以作为审查输入，但不替代独立审查员的实质判断。审查员不能仅批准模型的“建议通过”。\n\n### 4.7 REJECTED 的回退与现场保护\n\n拒绝后立即阻断依赖释放，保存当前候选、失败回执、报告及批准范围。\n\n- 普通实现缺陷：在已有授权和预算内返回 Coder 修复，生成新尝试。\n- 接口、所有权或验收变化：返回 Architect 修订契约并重新批准。\n- 缺环境、缺权限或缺必需证据：进入 BLOCKED，不以扩大权限或临时跳过解除。\n- 明确暂停：进入 SUSPENDED，保留未完成义务及焦点处理决定。\n\n禁止自动清理现场、全目录回滚、覆盖用户改动、删除必要测试、降低断言或将失败候选写入公共领域规范。\n\n回滚只处理可定位的获准差异；回滚失败、源变化或清理不确定时保留现场。独立任务能否继续，按依赖、资源和授权判断，不要求全项目无限冻结。\n\n## 5. 模块五：Roo Code / Cline 配置与 Prompt 映射\n\n### 5.1 宿主适配原则\n\n只维护一份项目协议，宿主配置只承担导航、模式职责和实际权限适配。\n\n宿主上线必须分别核验：规则发现、实际加载、模式信号、工具权限、审批、受信回执、独立签章及推进前拒绝。任何静态模板都不能代替这些回执。\n\n本轮未获得目标 Cline/Roo 版本的新增运行接口证据，因此下列片段不包含猜测的钩子字段、自动角色绑定字段或签章 API。\n\n### 5.2 公共 Prompt 片段\n\n以下内容可粘贴到目标宿主已经确认会加载的项目规则入口；拟议 [`AGENTS.md`](AGENTS.md) 只保留这类稳定导航，不复制全部协议。\n\n```markdown\n# BMAD-Solo 业务流入口\n\n本项目采用一个任务契约贯穿 Plan-Act 业务流，不按角色拆分任务文档。\n\n先读取任务治理协议。用户显式指定任务时优先验证该任务；否则读取单焦点指针并跟随其引用。入口缺失表示无焦点，不自动选择历史任务。\n\n当前职责由真实宿主模式、任务阶段及当前授权共同确定，不由模型自述或历史摘要决定。\n\nPlan：先 Analyst 后 Architect。提炼目标、不变量、验收和来源，随后定义接口、交付、KCP、依赖及失败恢复。默认只读，不运行终端、不创建探针、不实施生产代码。\n\nAct：先 Coder 后 Supervisor。只实施获准范围，保存真实自测证据，冻结候选后送审。Supervisor 组织机器验证与反向审查，但不能给自己的实施结果出具独立签章。\n\n只有受信机器检查通过、独立审查签章有效且候选未变化，才能登记验收。合并、发布、归档分别需要实际授权和回执。\n\n模式切换、读取任务、自动批准、待办勾选和模型完成声明均不扩大权限，也不替代门禁。\n\n每次阶段转换或恢复后，重读任务身份、契约、授权和全部未完成义务。只加载声明输入及相关影响闭包，不默认加载全量历史或日志。\n```\n\n实际保存版本应在“任务治理协议”和“单焦点指针”处使用项目根目录可解析的链接，分别指向 [`治理协议`](specs/tasks/_protocol.md) 与 [`单焦点指针`](specs/tasks/_active.md)。这些目标未创建时，不得宣称导航已经有效。\n\n### 5.3 Cline 映射\n\n拟议 [`项目规则入口`](.clinerules) 只放公共导航及上述业务流框架。具体文件或目录发现方式须按目标版本确认，不能仅根据名称假定加载成功。\n\n界面操作契约：\n\n1. Plan 下完成 Analyst 和 Architect 作业，不要求两个角色的手动技能口令。\n2. 若用户只要分析，直接会话交付，不创建任务文件。\n3. 用户批准保存任务契约后，经实际允许的文档保存入口写入明确文件；如果当前 Plan 不允许写入，由获准的 Act 文档保存任务完成后立即停止。\n4. 用户批准实施后进入 Act，绑定任务、契约、阶段和范围。\n5. 候选送审后停止生产写入，组织受信验证与独立审查。\n6. 合并或发布的实际操作由获准入口执行，不由“切到 Act”自动授权。\n\n如果宿主不能可靠提供模式信号或推进前拒绝，相关强制能力保持未验收；可继续提供行为指导，但不能将其称为完整物理门禁。\n\n### 5.4 Roo 两模式薄映射\n\n以下为拟议 [`Roo 模式配置`](bmad-suite-v4/roo/settings/custom_modes.yaml) 的配置形态示例，不是对现有配置的覆盖指令：\n\n```yaml\ncustomModes:\n - slug: plan-flow\n name: \"Plan：业务分析与契约设计\"\n roleDefinition: \"在同一业务流中依次承担 Analyst 与 Architect，按实际授权交付分析或任务契约，不实施生产代码。\"\n groups:\n - read\n - browser\n customInstructions: >-\n 读取项目稳定导航和任务治理协议。\n 默认只读；不使用终端、不创建或执行探针。\n 按任务阶段承担分析或设计职责，保留未知及未完成义务。\n 持久保存由另获授权且实际允许的文档入口完成。\n 不把角色切换、模板保存或静态配置视为验