{"name":"attempt_completion","arguments":{"result":"以下为完整工程规范草案：以任务单元贯穿端到端业务流，以机器检查和独立审查共同决定下游放行。角色切换只改变工作视角，不产生新的执行权限，也不能把同一模型的自审变成独立签章。\n\n- 文档状态：Engineering Specification Draft，待维护者审定。\n- 建议规范落点：[`specs/task-governance.md`](specs/task-governance.md)，本次仅会话交付，未创建该文件。\n- 交付边界：规范、模板、状态契约与配置指引；不实施生产代码，不迁移或删除现有资产，不运行验证。\n\n# BMAD-Solo 业务流驱动的 Agent 文档与任务治理落地规范\n\n## 0. 适用范围、依据与规范性约定\n\n### 0.1 核心决定\n\n本规范采用以下设计，不建立按 Analyst、Architect、Coder、Supervisor 分割的项目文档目录：\n\n1. 业务流定义工作顺序，角色定义各工序的职责。\n2. Plan 与 Act 是人机交互的两个基础动作，四个角色是同一通用引擎的顺序工作视角，不要求四个独立 Agent 进程。\n3. [`specs/tasks/`](specs/tasks/) 是任务契约、任务定位与生命周期流转的唯一权威目录。\n4. [`specs/`](specs/) 中的领域规范承载长期有效的业务约束，不承载任务进度。\n5. [`verification/`](verification/) 承载任务引用的证据，不成为第二套任务状态系统。\n6. 机器检查与独立审查缺一不可；未通过的候选不得交付给依赖它的下游。\n\n本规范采用任务委托给定的验收关系：\n\n$$a_t(g)=C_t^g(z_t^g)\\land R_t(g)$$\n\n其中，任务单元为 $g$，候选交付为 $z_t^g$，机器检查结果为 $C_t^g$，独立审查签章为 $R_t(g)$。审批、依赖及证据适用性仍是释放前置条件，不因这个公式而被省略。\n\n### 0.2 证据边界与现状差异\n\n- 徐直军理论按本次委托作为设计约束采用：业务流先于组织角色，输出满足下游需要，质量与内控嵌入流程。本稿不补造未经核对的原文引句。\n- 已定位 AutoSwarm 的作者论文条目；本次返回材料不足以逐段核对 v1 中 CS 和验收公式的具体定义，因此本稿采用委托给定的术语与公式，不将下面的目录、字段或权限设计宣称为论文原文要求。[1](cite:1)\n- 当前[`蓝图`](docs/blueprint.md:9)使用领域规范与旧活动计划入口，并提出本地草稿区归档；本规范提出用任务目录取代该执行入口，而不是把旧布局描述成已经迁移。\n- 当前[`Roo 模式配置`](bmad-suite-v4/roo/settings/custom_modes.yaml:5)的分析编辑路径仍限定在旧输出目录。本规范不声称新路径已获得运行时写入权限。\n- 当前[`Cline 路由模板`](bmad-suite-v4/cline/templates/bmad-router.md:3)明确是未激活的行为模板。因此，下文的程序门禁、审查凭据隔离和宿主接入均属于待实现、待验收要求。\n\n### 0.3 强制术语\n\n- 必须：违反即不得通过相应门禁。\n- 应当：默认执行；偏离须说明理由与影响。\n- 可以：可选，不得扩大当前授权。\n- 未知：尚未取得足够证据。未知不能写成通过。\n- 草案：可讨论、可获准保存；不可仅凭文件存在而执行。\n\n废除[`_bmad-output/`]( _bmad-output/)作为新任务的默认输出模型，是目标契约；不等于获准删除旧任务、历史证据或已接受的决策。启用新契约前必须完成消费者适配与获准迁移。\n\n## 1. 模块一：Plan-Act 业务流中的角色嵌入\n\n### 1.1 工序、角色与交付\n\n| 基础动作与工序 | 工作视角 | 必须完成 | 工序出口 | 禁止行为 |\n|---|---|---|---|---|\n| Plan：业务分析 | Analyst | 明确业务目标、不变量、验收与必要非目标；区分事实、推断和未知 | Task Spec Draft | 擅自承诺实现效果；替业务方改变目标；用实现细节覆盖业务要求 |\n| Plan：技术设计 | Architect | 确定接口、所有权、依赖、CS、KCP 与失败恢复；冻结获准契约 | 可供接管的任务规范 | 把未创建的测试标成可用；把方案可行写成实施授权 |\n| Act：实施与自测 | Coder | 在获准范围内修改候选，生成自测证据与交付说明 | 对应当前候选的审查包 | 自签独立审查；修改可信回执；以删测、跳过必需项换取通过 |\n| Act：独立审查 | Supervisor | 核对 CS，要求可信检查，进行反向审查，形成审查决定 | 独立签章或返工要求 | 同时修改候选并批准该修改；以角色名或提示词充当身份认证 |\n\nArchitect 固化的任务文件采用[`TU-.md`](specs/tasks/TU-.md)。Plan 默认只读；若宿主不支持 Plan 文件保存，须通过另获准的 Act 文档保存步骤持久化，保存结束即停止，不自动进入编码。\n\n### 1.2 Prompt Framing 契约\n\n每次进入新工序，助手只加载：\n\n- 当前任务目标和当前工序；\n- 当前角色职责及禁止事项；\n- 当前授权范围；\n- 当前工序所需输入；\n- 本工序的出口条件。\n\n不得同时常驻四套完整角色提示词。角色切换由已核验的宿主模式信号、任务阶段与用户授权共同约束，不从角色名称推导权限。\n\n关键控制点：\n\n1. 分析出口：验收要求能被下游理解，重要未知被显式保留。\n2. 设计出口：CS、依赖、检查要求与审查政策完整，契约身份已固定。\n3. 实施入口：当前实施范围已获准，候选基线与依赖可定位。\n4. 审查入口：候选身份、交付差异、必需检查与原始证据可以对应。\n5. 发布出口：机器检查和独立签章均有效，发布对象与已审候选完全一致。\n\n### 1.3 单体引擎下的独立审查\n\n单体引擎可以顺序切换到 Supervisor 视角进行反向审查，但这只能形成审查建议，不自动满足 SOD。\n\n本规范首版采用以下独立性底线：\n\n- 生产候选的实施身份不得批准该候选。\n- 签章必须来自经过认证、具有审查权限且未参与本次候选实施的主体。\n- 同一会话中的模型不得持有有效审查签章凭据。\n- Coder 不得读取签章私钥、调用无条件批准接口或覆盖可信审查记录。\n- 如果唯一维护者本人参与了代码实施，必须另找符合政策的审查者；不能靠新开会话或改称 Supervisor 规避职责分离。\n\n独立审查可以由人类完成，也可以由经单独批准、只读且凭据隔离的顺序审查入口辅助完成；仍须按项目政策确认签章主体。相同模型换上下文不证明判断独立，也不证明权限隔离。\n\n### 1.4 上下文加载与清洗契约\n\n常驻信息只保留项目导航、公共纪律和当前任务定位。具体领域、源码、历史和原始日志按需读取。\n\n工序切换、压缩或恢复时执行：\n\n1. 重新解析显式任务路径；无显式路径时才读取[`_active.md`](specs/tasks/_active.md)。\n2. 读取任务契约、当前阶段、授权定位及全部未完成义务。\n3. 按输入清单加载相关领域锚点、源码切片与证据。\n4. 移除下一工序不需要的角色说明、重复摘要和无关历史。\n5. 核对候选、契约和证据是否变化，不继承记忆中的绿灯。\n\n默认交接摘要预算可以设为 80 行、16 KiB UTF-8，以先达到者为准。这是初始工程参数，不是已经验证的最佳认知阈值。\n\n摘要必须保留目标、授权、未完成事项、阻塞原因、候选身份和证据定位。必要事项无法在预算内完整表达时，应分块加载或请求获准调整任务范围，不得静默删减。\n\n上下文压缩不保证历史消息已从模型输入物理移除。宿主无法可靠清洗时，应使用获准的新会话并重新摄入；不得声称已实现未经验证的记忆隔离。\n\n## 2. 模块二：任务工件与完整模板\n\n### 2.1 目录职责\n\n| 工件 | 权威职责 | 不承载的内容 |\n|---|---|---|\n| [`TU-.md`](specs/tasks/TU-.md) | 任务契约、唯一粗粒度阶段记录、证据引用 | 完整日志、逐轮聊天、第二套进度流水 |\n| [`_active.md`](specs/tasks/_active.md) | 当前单焦点任务的定位指针 | 独立任务状态、复制的验收清单 |\n| [`archive/`](specs/tasks/archive/) | 已完成任务契约的保留位置 | 自动恢复入口、默认上下文 |\n| [`specs/.md`](specs/.md) | 当前领域业务不变量、接口与验证要求 | 工单过程、全部历史推理 |\n| [`verification/`](verification/) | 机器回执、审查记录及任务引用的原始证据 | 可独立决定任务完成的可写账本 |\n| [`tests/`](tests/) | 持久、可复用的确定性断言 | 执行日志和一次性响应转储 |\n\n单一权威源按信息职责定义：任务文件决定契约和路由，可信回执证明 C，独立审查记录证明 R。文件中写有 ACCEPTED 不是放行证据；下游必须重新校验 C、R 与候选绑定关系。\n\n### 2.2 完整任务模板\n\n以下是结构完整的实例化草案。示例中的门禁脚本与测试属于拟新增资产；命令为计划命令，未执行，不表示当前可用。复制后必须使用新的唯一任务标识，并重新确认范围。\n\n模板文件：[`TU-governance-contract-001.md`](specs/tasks/TU-governance-contract-001.md)。代码块内路径为待保存文件的原始结构值，不代表资产已经存在。\n\n```yaml\n---\nschema_version: \"1.0\"\nrecord_type: TASK_UNIT\ntask_id: governance-contract-001\nparent_objective:\n objective_id: E2E-TASK-GOVERNANCE\n statement: \"建立业务流驱动、可核验且不允许自签放行的任务契约\"\ncontract_revision: 1\ncontract_state: DRAFT\ncontract_digest: null\ncurrent_stage: ANALYSIS\nactive_role: ANALYST\ngate_status: READY\nstate_revision: 1\n\ninputs:\n - input_id: INPUT-BLUEPRINT\n kind: REFERENCE\n path: docs/blueprint.md\n anchor: null\n lines:\n start: 1\n end: 29\n required: true\n content_digest: null\n source_task_id: null\n source_candidate_id: null\n\ncs_specification:\n deliverables:\n - artifact_id: OUT-GATE\n path: scripts/task_gate.py\n operation: CREATE\n purpose: \"实现获准任务的契约及释放前门禁\"\n - artifact_id: OUT-TESTS\n path: tests/roo_contracts/test_task_gate.py\n operation: CREATE\n purpose: \"覆盖正常释放、拒绝、过期证据和非法状态转换\"\n - artifact_id: OUT-DOMAIN\n path: specs/task-governance.md\n operation: CREATE\n purpose: \"形成与实现一致的长期领域规范候选\"\n invariants:\n - invariant_id: INV-DOUBLE-GATE\n statement: \"必需机器检查或独立审查任一无效时，不得释放给依赖下游\"\n mechanical_checks: [KCP-GATE-REGRESSION]\n review_topics: [gate_bypass, evidence_freshness]\n - invariant_id: INV-SOD\n statement: \"实施主体不得批准自己实施的候选\"\n mechanical_checks: [KCP-GATE-REGRESSION]\n review_topics: [reviewer_independence, credential_boundary]\n - invariant_id: INV-PRESERVE\n statement: \"失败、归档中断及任务切换不得覆盖无关改动或丢失源记录\"\n mechanical_checks: [KCP-GATE-REGRESSION]\n review_topics: [failure_recovery, ownership]\n acceptance_criteria:\n - criterion_id: AC-NORMAL\n statement: \"满足有效 C 与有效 R 的获准候选可以被释放\"\n check_ids: [KCP-GATE-REGRESSION]\n review_required: true\n - criterion_id: AC-NEGATIVE\n statement: \"缺签章、自签、过期回执及必需项跳过均阻断释放\"\n check_ids: [KCP-GATE-REGRESSION]\n review_required: true\n - criterion_id: AC-RECOVERY\n statement: \"失败后保留现场，获准修复可以重新进入验证\"\n check_ids: [KCP-GATE-REGRESSION]\n review_required: true\n exclusions:\n - \"不部署真实 Roo 或 Cline 宿主\"\n - \"不迁移或删除旧任务和历史证据\"\n - \"不自动提交、推送、合并或接受历史 ADR\"\n\ndependencies: []\n\nauthorization_scope:\n allowed_actions: [IMPLEMENT, VERIFY]\n allowed_paths:\n - scripts/task_gate.py\n - tests/roo_contracts/test_task_gate.py\n - specs/task-governance.md\n forbidden_actions: [INSTALL, DEPLOY, PUSH, MERGE, ARCHIVE]\n approval_required: true\n\nkcp_verification:\n checks:\n - check_id: KCP-GATE-REGRESSION\n required: true\n asset_status: PLANNED_NOT_YET_CREATED\n argv:\n - python3\n - -m\n - unittest\n - discover\n - -s\n - tests/roo_contracts\n - -p\n - test_task_gate.py\n cwd: \".\"\n timeout_seconds: 30\n kill_grace_seconds: 2\n stdin_policy: NULL_DEVICE\n network_policy: DENY\n result_adapter: UNITTEST\n expected:\n exit_code: 0\n min_tests_collected: 1\n max_failures: 0\n max_errors: 0\n max_required_skips: 0\n cleanup_required: true\n environment_requirements:\n - requirement_id: ENV-PYTHON\n statement: \"获准解释器及所需解析依赖已在环境准备阶段确认\"\n - requirement_id: ENV-RUNNER\n statement: \"可信收集器、进程级超时及候选身份采集已经实现并验收\"\n evidence_policy:\n immutable_receipts_required: true\n current_candidate_binding_required: true\n raw_output_required: true\n trusted_producer_required: true\n\nsod_review:\n policy:\n independent_principal_required: true\n contributor_approval_forbidden: true\n credential_isolation_required: true\n required_topics:\n - boundary_conditions\n - exception_paths\n - callers_and_ownership\n - gate_bypass\n - evidence_freshness\n - failure_recovery\n reviewer_id: null\n review_ref: null\n signature_ref: null\n known_limitations: []\n downstream_guidance: []\n\nruntime:\n execution_id: null\n attempt_id: null\n candidate_id: null\n approval_ref: null\n verdict_ref: null\n hold_reason: null\n\ncontext_policy:\n handoff_max_lines: 80\n handoff_max_utf8_bytes: 16384\n preserve_all_unfinished_obligations: true\n---\n```\n\n任务文件正文如下，与上述 Frontmatter 一起构成完整模板：\n\n```markdown\n# 任务：建立业务流任务治理契约\n\n## 业务目标\n\n让获准候选沿业务流流转，使可机械判断的失败在依赖推进前被阻断，并保留真实的独立审查。\n\n## 设计说明\n\n任务单元是流转单位；角色不是项目文档分类依据。\n任务契约、机器证据和独立审查分别拥有明确的权威职责。\n固定回执入口和宿主检查清单只能展示或定位，不独立决定放行。\n\n## 实施边界\n\n仅实现 Frontmatter 所列交付物。\n真实宿主部署、旧目录迁移与历史任务恢复不属于本任务。\n检查资产尚未创建时可以在获准范围内实现，但不得标记机器门禁通过。\n\n## 失败恢复说明\n\n失败保留候选差异、原始输出和上一次回执。\n普通修复只在现有范围与预算内进行；契约变化须重新确认。\n不得通过删除必需断言、覆盖历史回执或回退无关用户改动获得通过。\n\n## 阅读指引\n\n执行义务以结构化契约为准，正文解释背景和理由，不新增隐藏验收要求。\n当前状态只读取结构化阶段字段；原始证据沿引用按需读取。\n```\n\n### 2.3 字段级定义与校验规则\n\n| 字段或字段组 | 定义与校验 |\n|---|---|\n| schema_version、record_type | 必填；版本须受消费者支持；任务记录与归档重定向记录不得混用 |\n| task_id | 必填、全项目唯一；匹配 `^[a-z0-9][a-z0-9-]{0,63}$`；文件名必须对应任务标识 |\n| parent_objective | 必含目标标识和业务目标；若指向父任务，必须精确引用父任务及其适用候选 |\n| contract_revision、contract_state | 正整数版本；状态仅 DRAFT 或 FROZEN；冻结后的执行义务不能由 Coder 改写 |\n| contract_digest | 草案允许为空；冻结时必须由可信程序生成，不要求模型手算或手工同步 |\n| current_stage、active_role | 工序与角色组合必须符合状态表；字段值不授予权限 |\n| inputs | 每项包含唯一输入标识、路径、类型、必要性与精确定位；锚点和行范围二选一或明确读取整文件 |\n| input content_digest | 冻结时固定必要输入内容身份；行号仅辅助阅读，不作为稳定身份 |\n| cs_specification.deliverables | 必含精确文件路径、CREATE/MODIFY/DELETE 操作及用途；禁止用笼统目录代替交付清单 |\n| invariants | 每项有唯一标识、明确陈述、机械检查映射和审查主题；测试映射不表示不变量已被完全证明 |\n| acceptance_criteria | 每项有唯一标识、可判定要求及 C/R 对应关系；冻结前不得遗留占位验收 |\n| dependencies | 依赖任务及候选身份必须可解析、无环；依赖输出须通过有效门禁，不能只检查文件存在 |\n| authorization_scope | 声明允许范围与禁止事项；只是契约范围，不是当前审批回执 |\n| kcp_verification.checks | 固定参数列表、工作目录、超时、输入、网络政策和结果适配器；不得依赖任意自然语言解析结果 |\n| asset_status | 仅 PLANNED_NOT_YET_CREATED 或 AVAILABLE；AVAILABLE 表示资产已确认存在，不表示已通过 |\n| environment_requirements | 必需前提有标识和陈述；环境准备与测试分离，不隐式联网安装依赖 |\n| sod_review.policy | 冻结独立性和审查范围要求；不能在失败后临时取消独立审查 |\n| sod_review 结果字段 | 从有效审查记录生成的只读摘要；模型填写的姓名或签章文字没有认证效力 |\n| gate_status | 仅 READY、IN_PROGRESS、IN_REVIEW、ACCEPTED、REJECTED；唯一粗粒度路由状态，不能替代 C/R |\n| state_revision | 单调递增；状态写入须按旧版本比较并交换，外部变化先停止对账 |\n| runtime | 当前执行、尝试、候选及证据定位；实际审批引用不得凭空生成 |\n| hold_reason | 区分暂停、缺依赖、权限拒绝、磁盘错误、格式损坏、超时和证据缺失；有暂停时禁止继续副作用操作 |\n| context_policy | 交接预算与完整性要求；预算不足不允许丢弃未完成义务 |\n\n额外机械规则：\n\n- 使用受限 YAML 数据配置，不执行自定义标签；拒绝重复键、未知关键字段和类型错配。\n- 所有文件路径均相对项目根目录；拒绝绝对路径、越界路径和逃逸链接。\n- 同一标识不得重复；所有验收、检查、输入和不变量引用必须存在。\n- 必需机器检查集合不得为空；非测试检查可以使用适配器声明的其他确定性断言，不能伪造测试计数。\n- 冻结契约必须完整，所有必需未知必须明确阻塞相关出口。\n- 正文不得另增未结构化的执行义务，避免两套可竞争的验收来源。\n\n契约摘要采用明确的规范化字段集合：任务身份、目标、输入、CS、依赖、授权范围、KCP、审查政策和上下文政策。排除阶段、运行引用、审查摘要等可变结果字段。\n\n摘要程序必须使用固定的规范化编码，并将实现版本纳入验证前提。内容摘要证明内容一致性，不证明来源可信或签章真实。\n\n### 2.4 状态与角色转换\n\n| gate_status | 合法工序与角色 | 转换条件 |\n|---|---|---|\n| READY | ANALYSIS/ANALYST；DESIGN/ARCHITECT | 可以讨论草案；进入实施还须契约冻结、有效审批与依赖满足 |\n| IN_PROGRESS | IMPLEMENT 或 SELF_TEST / CODER | 已获准实施；允许范围内修复与自测，不允许向依赖下游释放 |\n| IN_REVIEW | REVIEW/SUPERVISOR | 已固定候选并形成审查包；候选变化必须退出本次审查 |\n| ACCEPTED | PUBLISH/SUPERVISOR；DONE/NONE | 当前候选的 C 与 R 均有效，释放前置条件满足 |\n| REJECTED | 失败发生工序，或获准返工工序 | 明确失败、阻塞原因与现场定位；未获准恢复不得推进 |\n\n正常路径是 READY → IN_PROGRESS → IN_REVIEW → ACCEPTED。\n\n失败进入 REJECTED。范围内获准返工可以回到 IN_PROGRESS；重要接口、业务目标、检查要求或授权范围改变时，回到设计并生成新契约版本。\n\nACCEPTED 绑定不可变候选。后续产品修改必须创建新任务，不继承旧绿灯。可信审查授权被撤销时，应停止相关候选继续释放并记录撤销事实，不篡改历史回执。\n\n### 2.5 单焦点指针\n\n[`_active.md`](specs/tasks/_active.md)仅保存定位信息：\n\n```yaml\n---\nschema_version: \"1.0\"\nrecord_type: ACTIVE_TASK_POINTER\ntask_id: governance-contract-001\ntask_ref: specs/tasks/TU-governance-contract-001.md\ncontract_revision: 1\nexpected_state_revision: 1\n---\n```\n\n规则：\n\n- 显式任务路径优先；显式路径缺失或非法时不回退默认指针。\n- 默认指针缺失是正常空闲状态，不自动创建任务或恢复归档。\n- 指针不得复制角色、阶段、门禁状态和检查清单。\n- 切换焦点须得到确认，保留原任务及其全部未完成事项。\n- 单焦点是交互调度约束，不要求删除或假装完成其他任务。\n- 宿主任务清单只能作为展示；启用本规范后不能继续成为第二个可写权威状态源。\n\n### 2.6 完成与 archive 契约\n\n归档需同时满足：任务全部义务完成、有效门禁仍可核验、取得归档授权。\n\n归档目标采用[`archive/YYYY/MM/TU-.md`](specs/tasks/archive/YYYY/MM/TU-.md)，不覆盖已有目标。\n\n归档顺序：\n\n1. 锁定当前任务身份、契约版本和状态版本。\n2. 保存完整目标并确认内容一致。\n3. 重新核对源记录未改变。\n4. 在获准条件下将原路径改为只含身份、目标及摘要的重定向记录。\n5. 清除或切换活动指针。\n\n原路径重定向不是第二份契约；解析器必须明确区分并拒绝循环、越界及错误身份。\n\n多文件归档不承诺天然原子性。需要可信协调入口保障读取一致性；中断、权限拒绝、磁盘错误或源变化时保留源与证据，不清空活动任务。未完成任务不按完成任务归档。\n\n归档证据不得被默认删除。跨机器需要复验的任务必须保留可访问的可信回执与必要日志；本地摘要不能替代唯一原始证据。\n\n## 3. 模块三：刚刚好的数据交接\n\n### 3.1 环节间数据流契约\n\n| 交接 | 必须输出 | 严禁输出或冒充 |\n|---|---|---|\n| Analyst → Architect | 业务目标；输入与利益相关方约束；不变量；验收标准；必要非目标；事实和未知的定位 | 完整聊天；隐藏思维过程；无关源码转储；未经确认的实现承诺 |\n| Architect → Coder | 冻结任务；精确文件清单；接口及所有权；依赖身份；必要检查、环境前提、失败恢复；当前授权定位 | 多份竞争计划；无法执行的占位命令；虚构接口；以可行性替代实施授权 |\n| Coder → Supervisor | 当前候选身份；交付差异；CS 对照；可信回执引用；未覆盖边界；已知局限与复现定位 | 自签批准；截断后丢失唯一证据的日志摘要；与旧候选绑定的通过结果；无关环境秘密 |\n| Supervisor → 下游 | 明确决定；认证签章；绑定候选；阻塞或非阻塞发现；已知局限；下游使用条件 | 含糊的“看起来没问题”；没有身份的 PASS；审查后新增未审修改 |\n| Supervisor → 领域规范 | 已审候选中的业务不变量、接口、运行约束、验证入口和必要来源 | 工单流水；全部研究笔记；未验收能力；未审查的新语义 |\n\n### 3.2 最小审查包\n\n审查包必须可以回答：\n\n- 审查的是哪个任务、哪个契约版本、哪个候选？\n- 生产、测试、配置与领域规范分别改了什么？\n- 哪些验收由机器检查支撑，哪些仍需语义审查？\n- 回执是否对应当前候选和当前环境？\n- 失败路径、调用方、所有权及副作用边界有哪些风险？\n- 哪些局限影响下游使用，是否构成阻塞？\n\n摘要只定位证据，不抄录全量日志。必要日志按需有界读取。\n\n### 3.3 已过审特性的领域沉淀\n\n领域更新必须遵循“先纳入候选，再审查，最后发布”：\n\n1. 任务设计阶段把领域规范更新列入 CS；无长期契约变化的任务不强制更新领域规范。\n2. Coder 准备与实现一致的领域规范候选。\n3. Supervisor 同时审查实现与规范候选。\n4. 门禁通过后，获准发布入口应用完全相同的已审字节。\n5. 审查后出现新语义或实质性修改时，重新验证和审查，不直接补写并宣布已通过。\n\n[`specs/.md`](specs/.md)应保留领域标识、当前不变量、接口、环境约束、验证要求，以及来源任务、候选和审查回执定位。任务进度仍留在任务流中。\n\n## 4. 模块四：C 与 R 的物理落地\n\n### 4.1 可信边界\n\n完整门禁至少需要三个职责明确的组件：\n\n- 执行器：在获准环境运行固定检查。\n- 收集与判定入口：采集真实结果、生成证据身份并计算 C。\n- 释放入口：认证 R、检查依赖与授权，只释放匹配候选。\n\n这些是最小治理职责，不要求新造后台调度框架，也不增加独立 Agent 数量。\n\nCoder 可修改获准候选，但不得修改可信判定程序、信任配置、签章凭据或可信回执存储。测试子进程也不得接触签章凭据。\n\n[`verification/`](verification/)只是目录，不构成隔离边界；同一系统账号可改文件时，摘要不能提供防篡改保证。[`.scratch/`](.scratch/)及忽略规则同样不构成执行沙箱。\n\n严格释放应由凭据隔离的服务、受保护 CI 或经过验收的等效入口执行。目标环境无法提供可信边界时，可以完成只读设计，但不得把本地模型声明作为双重门禁通过。\n\n### 4.2 候选与证据身份\n\n候选身份由可信入口生成，应覆盖：\n\n- 本次获准基线与候选差异；\n- 生产、测试、构建配置和受影响依赖；\n- 新增、修改和删除文件的清单；\n- 冻结任务契约及必要输入身份；\n- 检查执行环境和可信工具版本。\n\n仅使用某个源文件摘要或某次提交标识，不足以证明整个实际工作树候选一致。必要未跟踪文件与预先存在的用户改动也必须被正确区分。\n\n模型不计算或手填身份。实现、测试、契约或环境变化后，可信入口判定证据是否失效；没有可靠影响分析时，重验相关门禁，不直接复用旧回执。\n\n### 4.3 机器回执格式\n\n固定入口为[`TU-.verdict.json`](verification/TU-.verdict.json)。它是当前回执的生成视图，不是独立任务状态。\n\n每次实际执行必须另存不可变回执，例如[`verdict.json`](verification/runs/TU-///verdict.json)。任务引用不可变路径，不按固定入口的“最新结果”盲目放行。\n\n下面是未执行状态的完整结构示例，故意使用空身份与未运行结果，不是实测回执：\n\n```json\n{\n \"schema_version\": \"1.0\",\n \"record_type\": \"VERIFICATION_RECEIPT\",\n \"task_id\": \"governance-contract-001\",\n \"contract_revision\": 1,\n \"contract_digest\": null,\n \"execution_id\": null,\n \"attempt_id\": null,\n \"candidate_id\": null,\n \"receipt_ref\": null,\n \"producer\": {\n \"principal_id\": null,\n \"runner_version\": null,\n \"trusted_execution_ref\": null\n },\n \"environment\": {\n \"cwd\": \".\",\n \"platform\": null,\n \"toolchain_digest\": null,\n \"configuration_digest\": null\n },\n \"started_at\": null,\n \"finished_at\": null,\n \"checks\": [\n {\n \"check_id\": \"KCP-GATE-REGRESSION\",\n \"required\": true,\n \"argv\": [\n \"python3\", \"-m\", \"unittest\", \"discover\",\n \"-s\", \"tests/roo_contracts\", \"-p\", \"test_task_gate.py\"\n ],\n \"cwd\": \".\",\n \"timeout_seconds\": 30,\n \"kill_grace_seconds\": 2,\n \"stdin_policy\": \"NULL_DEVICE\",\n \"network_policy\": \"DENY\",\n \"status\": \"NOT_RUN\",\n \"exit_code\": null,\n \"termination_signal\": null,\n \"timed_out\": null,\n \"process_group_terminated\": null,\n \"duration_ms\": null,\n \"result_adapter\": \"UNITTEST\",\n \"counts\": {\n \"collected\": null,\n \"passed\": null,\n \"failures\": null,\n \"errors\": null,\n \"required_skips\": null\n },\n \"stdout_ref\": null,\n \"stderr_ref\": null,\n \"output_digest\": null,\n \"cleanup\": {\n \"required\": true,\n \"status\": \"UNKNOWN\",\n \"evidence_ref\": null\n }\n }\n ],\n \"C_result\": \"INDETERMINATE\",\n \"reason_codes\": [\"NOT_RUN\", \"IDENTITY_MISSING\"],\n \"integrity\": {\n \"payload_digest\": null,\n \"attestation_ref\": null\n }\n}\n```\n\n实际回执必须具有唯一执行与尝试标识、真实时间、候选身份、命令参数、工作目录、终止情况、关键输出及完整性依据。空字段结构示例不能被消费者接纳为通过。\n\n### 4.4 C 的判定逻辑\n\nC 的结果仅允许 PASS、FAIL、INDETERMINATE 或 STALE；只有 PASS 可以满足机器门禁。\n\nPASS 必须同时满足：\n\n1. 回执来自受信执行入口，结构与完整性有效。\n2. 任务、冻结契约、检查清单和候选完全匹配。\n3. 全部必需检查已实际运行并取得真实结束回执。\n4. 退出、计数、必要输出和其他声明断言满足要求。\n5. 没有超时、缺依赖、必需项跳过或不适用的零收集。\n6. 必需清理已确认；无法确认进程退出或清理时不得通过。\n7. 检查环境符合契约，证据仍适用于当前释放对象。\n\n补充规则：\n\n- 退出零不自动等于通过。\n- 空输出按检查类型判定，不能一律失败，也不能一律成功。\n- Lint 等没有测试收集概念的检查，应使用自己的结果适配器，不伪造测试计数。\n- 机器检查只能支撑其实际断言，不自动证明架构正确或测试充分。\n- 不运行与当前影响范围无关的全库检查；必要接口、调用方和副作用回归不能省略。\n- 命令串行、前台等待、输入封闭；采用进程级超时和强制终止宽限期。测试不隐式安装依赖。\n\n### 4.5 独立审查报告与签章\n\n审查记录建议存为[`TU-.review.json`](verification/reviews/TU-//TU-.review.json)，保存结构化决定；人类报告可以作为其附件，不另建可竞争的批准状态。\n\n必需字段：\n\n| 字段组 | 内容 |\n|---|---|\n| 绑定身份 | 任务标识、契约版本与摘要、候选标识、不可变机器回执身份 |\n| 审查身份 | 认证主体、审查记录标识、审查时间、独立性声明及可验证依据 |\n| decision | PENDING、APPROVE 或 REQUEST_CHANGES；只有 APPROVE 可以支撑 R |\n| findings | 发现标识、审查主题、证据定位、影响的不变量、阻塞性与处理要求 |\n| known_limitations | 具体局限、适用边界、影响与接受依据；不能用“可能存在问题”替代审查 |\n| downstream_guidance | 使用前提、兼容性、必须保留的限制及发布注意事项 |\n| signature | 认证审批记录或可验证的签名；绑定上述完整载荷，不接受手写 PASS |\n| revocation | 撤销定位或有效性查询机制，防止已撤销批准继续释放 |\n\n反向审查至少覆盖本任务相关的：\n\n- 边界值、空输入与非法状态转换；\n- 异常、取消、超时和资源释放；\n- 调用方、数据所有权与副作用；\n- 测试遗漏、删弱断言和必需项跳过；\n- 过期证据、伪造回执和自签绕过；\n- 失败恢复与下游使用限制。\n\n不相关极端场景不强制无限补证；与必需不变量有关的未知必须明确阻塞。\n\nR 只有在签章有效、主体独立、政策满足、绑定身份匹配、无未解决阻塞发现且批准未撤销时成立。局限说明不能成为豁免必需门禁的通用渠道。\n\n### 4.6 释放入口\n\n释放入口必须重新核对：\n\n- 当前候选有效 C 与有效 R；\n- 当前授权及发布范围；\n- 所有必要依赖的有效接受状态；\n- 契约、候选与证据的新鲜度；\n- 发布对象与已审候选一致。\n\nACCEPTED 只由受信状态转换入口生成。人工修改任务文本、宿主勾选完成、自动批准工具操作、模型调用完成接口，均不能绕过释放检查。\n\n任务接受不自动授权合并、提交、推送、部署、领域发布或归档。缺少其中某项授权时，保持已审候选并停止对应操作。\n\n### 4.7 REJECTED 回退与现场保护\n\n拒绝时必须：\n\n1. 记录具体原因和受影响义务，停止依赖释放。\n2. 保留候选差异、原始输出、失败回执与审查发现。\n3. 区分测试失败、超时、缺依赖、权限拒绝、磁盘错误、格式损坏及证据缺失。\n4. 在现有授权与预算内允许普通修复；新尝试生成新回执，不覆盖前一次结果。\n5. 修复改变候选后使旧审查失效，重新验证与审查。\n6. 契约实质变化交回设计确认；不得偷偷删除检查或扩大写入范围。\n\n现场保护不等于一律回滚。禁止对整个工作区强制重置；仅在获准且能定位所有权的情况下恢复本任务改动，保护原有用户修改。\n\n同类修复连续失败两次时应定向复核假设；该阈值是初始工作策略，不是自动改范围或自动切换模式的权限。\n\n## 5. 模块五：Roo Code / Cline 配置与 Prompt 映射\n\n### 5.1 接入原则\n\n宿主适配分为两层：\n\n- 行为层：规则和 Prompt 负责职责、数据交接及证据纪律。\n- 强制层：可信执行、签章认证与释放入口负责物理门禁。\n\n行为层不是强制层的替代品。不得编造钩子字段、错误传播语义或默认拒绝能力。\n\n启用前须核验实际宿主版本、规则发现方式、模式信号、工具入口及权限效果。保存规则、分发文件和安装扩展不证明规则已加载。\n\n### 5.2 公共路由片段\n\n以下片段可以用于经核验、获准启用的项目规则。Cline 可按目标版本支持的规则形式承载，例如[` .clinerules`](.clinerules)；Roo 可按现有公共规则机制承载。不得为方便而复制项目契约到全局配置。\n\n```text\n你运行单一业务流，而不是四个独立角色项目。\nPlan 前半段使用 Analyst 视角，后半段使用 Architect 视角。\nAct 前半段使用 Coder 视角，审查工序使用 Supervisor 视角。\n角色视角不扩大当前用户授权、宿主权限或客户端审批。\n\n优先绑定用户显式指定的任务文件；缺失或非法时不静默替换。\n无显式任务时才读取 specs/tasks/_active.md；缺失表示正常空闲。\n任务契约从对应 TU 文件读取，领域事实按 inputs 定位按需加载。\n不默认加载任务归档，不自动恢复历史绿灯。\n\nPlan 默认只读；持久保存、实施、验证、发布和归档分别核对授权。\nCoder 只能提交候选与真实证据，不得自签独立审查。\nSupervisor 视角只能形成审查建议，有效 R 必须来自认证独立主体。\n释放必须由可信入口核验当前候选的 C、R、依赖与授权。\n可信入口未实现或未覆盖时明确阻塞，不用提示词宣称硬门禁通过。\n```\n\n### 5.3 四个工序片段\n\nAnalyst：\n\n```text\n当前工序为业务分析。提炼目标、不变量、验收与必要非目标。\n区分用户陈述、源码或官方事实、实测回执、推断和未知。\n输出 Task Spec Draft，不输出实施批准，不擅自选择超出目标的改造。\n交接只包含下游设计所需信息及证据定位，不附完整聊天或隐藏推理。\n```\n\nArchitect：\n\n```text\n当前工序为技术设计。将目标转为精确 CS、接口、所有权、依赖和 KCP。\n检查资产未创建时标明计划状态；环境前提未知时保留相关阻塞。\n规定失败恢复、独立审查范围与下游使用条件。\n仅在获准保存范围内固化任务契约；冻结和保存不等于获准实施。\n```\n\nCoder：\n\n```text\n当前工序为实施。接管已冻结且获准的任务，不重复完整分析。\n保护既有改动，只修改 CS 与批准范围内的候选。\n按固定检查要求取得可信回执，失败在现有范围和预算内修复。\n不得删弱必需断言，不修改可信判定程序、审查凭据或历史证据。\n向审查工序交付候选身份、差异、回执引用和已知局限，不自签批准。\n```\n\nSupervisor：\n\n```text\n当前工序为审查。保持候选只读，不同时修代码并批准该修改。\n核对 CS、当前候选与可信机器回执，反向审查边界、异常、所有权和绕过路径。\n给出明确发现、阻塞性、局限和下游使用条件。\n没有认证独立签章时只提交审查建议，不声明 R 已成立。\n审查后候选变化须重新验证与审查，不批准未审的新字节。\n```\n\n### 5.4 宿主映射指引\n\n| 宿主入口 | 职责映射 | 保存与执行边界 |\n|---|---|---|\n| Cline Plan | Analyst → Architect | 默认会话分析；需保存时走另获准的文档步骤 |\n| Cline Act | Coder → Supervisor 视角 | 当前获准实施与审查建议；认证签章仍在独立可信入口 |\n| Roo Ana-Architect | Analyst → Architect | 保留无终端边界；新任务路径需另获准适配 |\n| Roo Bmad-Engineer | Coder；获准时准备审查包 | 模式具备工具能力不等于当前获准使用全部能力 |\n\nRoo 可复用[`现有两个模式`](bmad-suite-v4/roo/settings/custom_modes.yaml:2)，不必新增四个并行 Agent 模式。调整公共规则和工序提示即可表达业务视角；权限变化必须另行核验。\n\n当前[`分析编辑限制`](bmad-suite-v4/roo/settings/custom_modes.yaml:8)不能被本稿文字自动改为允许任务目录。新路径适配须按批准清单修改并取得真实允许/拒绝回执。\n\nCline 与 Roo 的命令、文件、外部工具、子任务和完成登记入口应分别确认覆盖。某一入口具有拦截能力，不证明其他入口也无法绕过。\n\n若宿主没有可靠的推进前拒绝接口，应把实际合入或发布留在受保护外部入口；不得声称宿主内部已经实现完整硬门禁。\n\n## 6. 实施与验收顺序\n\n本节定义依赖顺序，不构成当前实施授权。\n\n1. 契约消费者：实现受限解析、字段与引用校验、候选身份和状态转换；保留旧任务入口，不先搬目录。\n2. 可信机器证据：实现执行隔离、结果适配、不可变回执、超时与清理判定。\n3. 独立审查：接入认证身份、签章绑定、凭据隔离与撤销机制。\n4. 释放入口：实现授权、依赖、C/R 与候选匹配检查，验证允许路径和拒绝路径。\n5. 宿主薄适配：加载工序规则，核验模式、工具覆盖、上下文恢复和拒绝行为。\n6. 获准迁移：按逐文件清单适配新任务目录、领域规范与证据引用；最后才停用旧默认输出模型。\n\n### 6.1 最小验收矩阵\n\n| 用例 | 必须观察到的结果 |\n|---|---|\n| 当前 C 通过且独立 R 有效，授权与依赖满足 | 合法候选能够释放；不能只验证永远拒绝 |\n| C 通过、R 缺失或自签 | 拒绝依赖释放 |\n| R 批准，但机器检查失败 | 拒绝依赖释放，保留修复通道 |\n| 退出零但零收集或必需项跳过 | 对应必需门禁不得通过 |\n| 超时、进程退出未知或必需清理未知 | 明确阻塞，不登记完成 |\n| 审查后代码、测试、契约或环境发生相关变化 | 旧证据不能批准新候选 |\n| 修改任务文本为 ACCEPTED，或宿主勾选完成 | 不能绕过可信释放入口 |\n| Coder 尝试读取签章凭据或覆盖可信回执 | 实际被拒绝，不能只检查配置文字 |\n| 重复 YAML 键、身份错配、越界路径或非法转换 | 明确拒绝并保留源记录 |\n| 状态并发变化、归档中断或磁盘错误 | 不覆盖源，不清空未完成任务 |\n| 失败后获准修复与重新验证 | 可以产生新尝试，历史失败仍保留 |\n| 压缩或新会话恢复 | 重新定位授权、未完成义务与证据，不继承记忆绿灯 |\n| 已审领域规范候选发布 | 发布字节与已审候选一致，不附加未审新语义 |\n| 历史任务与无关用户改动存在 | 新任务不抢占、不自动恢复、不覆盖 |\n\n静态校验、隔离夹具和参考模型只能支撑各自范围的结论。规则实际加载、权限拒绝、凭据隔离及真实释放行为必须有对应运行回执。\n\n## 7. 最终裁决与交付边界\n\n本设计在职责和数据契约上可以成立；完整物理门禁仍以可信执行、独立签章、受保护释放入口和宿主覆盖的真实验收为条件，未知不得写成通过。\n\n- 按角色切分项目事实目录：不采用。\n- 单会话换角色后自签放行：不采用。\n- 仅凭本地可写 JSON、内容摘要或 Prompt 宣称防篡改：不采用。\n- 任务单元统一流转、证据分责、顺序角色视角及独立认证签章：采用为草案设计。\n- 删除旧输出目录、覆盖旧活动任务、部署宿主或实施门禁程序：不属于本次交付。\n\n本次完成的是工程规范草案与模板设计。未创建生产文件、未写入项目事实基线、未运行测试、未迁移目录、未接受历史 ADR，也未将任何计划归档。"}}

{"name":"attempt_completion","arguments":{"result":"以下为完整工程规范草案：以任务单元贯穿端到端业务流，以机器检查和独立审查共同决定下游放行。角色切换只改变工作视角，不产生新的执行权限，也不能把同一模型的自审变成独立签章。\n\n- 文档状态：Engineering Specification Draft，待维护者审定。\n- 建议规范落点：[`specs/task-governance.md`](specs/task-governance.md)，本次仅会话交付，未创建该文件。\n- 交付边界：规范、模板、状态契约与配置指引；不实施生产代码，不迁移或删除现有资产，不运行验证。\n\n# BMAD-Solo 业务流驱动的 Agent 文档与任务治理落地规范\n\n## 0. 适用范围、依据与规范性约定\n\n### 0.1 核心决定\n\n本规范采用以下设计，不建立按 Analyst、Architect、Coder、Supervisor 分割的项目文档目录：\n\n1. 业务流定义工作顺序，角色定义各工序的职责。\n2. Plan 与 Act 是人机交互的两个基础动作，四个角色是同一通用引擎的顺序工作视角，不要求四个独立 Agent 进程。\n3. [`specs/tasks/`](specs/tasks/) 是任务契约、任务定位与生命周期流转的唯一权威目录。\n4. [`specs/`](specs/) 中的领域规范承载长期有效的业务约束，不承载任务进度。\n5. [`verification/`](verification/) 承载任务引用的证据，不成为第二套任务状态系统。\n6. 机器检查与独立审查缺一不可；未通过的候选不得交付给依赖它的下游。\n\n本规范采用任务委托给定的验收关系：\n\n$$a_t(g)=C_t^g(z_t^g)\\land R_t(g)$$\n\n其中，任务单元为 $g$，候选交付为 $z_t^g$，机器检查结果为 $C_t^g$，独立审查签章为 $R_t(g)$。审批、依赖及证据适用性仍是释放前置条件，不因这个公式而被省略。\n\n### 0.2 证据边界与现状差异\n\n- 徐直军理论按本次委托作为设计约束采用：业务流先于组织角色，输出满足下游需要，质量与内控嵌入流程。本稿不补造未经核对的原文引句。\n- 已定位 AutoSwarm 的作者论文条目；本次返回材料不足以逐段核对 v1 中 CS 和验收公式的具体定义，因此本稿采用委托给定的术语与公式，不将下面的目录、字段或权限设计宣称为论文原文要求。[1](cite:1)\n- 当前[`蓝图`](docs/blueprint.md:9)使用领域规范与旧活动计划入口，并提出本地草稿区归档；本规范提出用任务目录取代该执行入口，而不是把旧布局描述成已经迁移。\n- 当前[`Roo 模式配置`](bmad-suite-v4/roo/settings/custom_modes.yaml:5)的分析编辑路径仍限定在旧输出目录。本规范不声称新路径已获得运行时写入权限。\n- 当前[`Cline 路由模板`](bmad-suite-v4/cline/templates/bmad-router.md:3)明确是未激活的行为模板。因此，下文的程序门禁、审查凭据隔离和宿主接入均属于待实现、待验收要求。\n\n### 0.3 强制术语\n\n- 必须：违反即不得通过相应门禁。\n- 应当：默认执行；偏离须说明理由与影响。\n- 可以：可选，不得扩大当前授权。\n- 未知：尚未取得足够证据。未知不能写成通过。\n- 草案：可讨论、可获准保存；不可仅凭文件存在而执行。\n\n废除[`_bmad-output/`]( _bmad-output/)作为新任务的默认输出模型，是目标契约；不等于获准删除旧任务、历史证据或已接受的决策。启用新契约前必须完成消费者适配与获准迁移。\n\n## 1. 模块一：Plan-Act 业务流中的角色嵌入\n\n### 1.1 工序、角色与交付\n\n| 基础动作与工序 | 工作视角 | 必须完成 | 工序出口 | 禁止行为 |\n|---|---|---|---|---|\n| Plan：业务分析 | Analyst | 明确业务目标、不变量、验收与必要非目标；区分事实、推断和未知 | Task Spec Draft | 擅自承诺实现效果；替业务方改变目标；用实现细节覆盖业务要求 |\n| Plan：技术设计 | Architect | 确定接口、所有权、依赖、CS、KCP 与失败恢复；冻结获准契约 | 可供接管的任务规范 | 把未创建的测试标成可用；把方案可行写成实施授权 |\n| Act：实施与自测 | Coder | 在获准范围内修改候选，生成自测证据与交付说明 | 对应当前候选的审查包 | 自签独立审查；修改可信回执；以删测、跳过必需项换取通过 |\n| Act：独立审查 | Supervisor | 核对 CS，要求可信检查，进行反向审查，形成审查决定 | 独立签章或返工要求 | 同时修改候选并批准该修改；以角色名或提示词充当身份认证 |\n\nArchitect 固化的任务文件采用[`TU-.md`](specs/tasks/TU-.md)。Plan 默认只读；若宿主不支持 Plan 文件保存，须通过另获准的 Act 文档保存步骤持久化，保存结束即停止，不自动进入编码。\n\n### 1.2 Prompt Framing 契约\n\n每次进入新工序，助手只加载：\n\n- 当前任务目标和当前工序；\n- 当前角色职责及禁止事项；\n- 当前授权范围；\n- 当前工序所需输入；\n- 本工序的出口条件。\n\n不得同时常驻四套完整角色提示词。角色切换由已核验的宿主模式信号、任务阶段与用户授权共同约束，不从角色名称推导权限。\n\n关键控制点：\n\n1. 分析出口：验收要求能被下游理解，重要未知被显式保留。\n2. 设计出口：CS、依赖、检查要求与审查政策完整，契约身份已固定。\n3. 实施入口：当前实施范围已获准，候选基线与依赖可定位。\n4. 审查入口：候选身份、交付差异、必需检查与原始证据可以对应。\n5. 发布出口：机器检查和独立签章均有效，发布对象与已审候选完全一致。\n\n### 1.3 单体引擎下的独立审查\n\n单体引擎可以顺序切换到 Supervisor 视角进行反向审查，但这只能形成审查建议，不自动满足 SOD。\n\n本规范首版采用以下独立性底线：\n\n- 生产候选的实施身份不得批准该候选。\n- 签章必须来自经过认证、具有审查权限且未参与本次候选实施的主体。\n- 同一会话中的模型不得持有有效审查签章凭据。\n- Coder 不得读取签章私钥、调用无条件批准接口或覆盖可信审查记录。\n- 如果唯一维护者本人参与了代码实施，必须另找符合政策的审查者；不能靠新开会话或改称 Supervisor 规避职责分离。\n\n独立审查可以由人类完成，也可以由经单独批准、只读且凭据隔离的顺序审查入口辅助完成；仍须按项目政策确认签章主体。相同模型换上下文不证明判断独立，也不证明权限隔离。\n\n### 1.4 上下文加载与清洗契约\n\n常驻信息只保留项目导航、公共纪律和当前任务定位。具体领域、源码、历史和原始日志按需读取。\n\n工序切换、压缩或恢复时执行：\n\n1. 重新解析显式任务路径；无显式路径时才读取[`_active.md`](specs/tasks/_active.md)。\n2. 读取任务契约、当前阶段、授权定位及全部未完成义务。\n3. 按输入清单加载相关领域锚点、源码切片与证据。\n4. 移除下一工序不需要的角色说明、重复摘要和无关历史。\n5. 核对候选、契约和证据是否变化，不继承记忆中的绿灯。\n\n默认交接摘要预算可以设为 80 行、16 KiB UTF-8，以先达到者为准。这是初始工程参数，不是已经验证的最佳认知阈值。\n\n摘要必须保留目标、授权、未完成事项、阻塞原因、候选身份和证据定位。必要事项无法在预算内完整表达时，应分块加载或请求获准调整任务范围，不得静默删减。\n\n上下文压缩不保证历史消息已从模型输入物理移除。宿主无法可靠清洗时，应使用获准的新会话并重新摄入；不得声称已实现未经验证的记忆隔离。\n\n## 2. 模块二：任务工件与完整模板\n\n### 2.1 目录职责\n\n| 工件 | 权威职责 | 不承载的内容 |\n|---|---|---|\n| [`TU-.md`](specs/tasks/TU-.md) | 任务契约、唯一粗粒度阶段记录、证据引用 | 完整日志、逐轮聊天、第二套进度流水 |\n| [`_active.md`](specs/tasks/_active.md) | 当前单焦点任务的定位指针 | 独立任务状态、复制的验收清单 |\n| [`archive/`](specs/tasks/archive/) | 已完成任务契约的保留位置 | 自动恢复入口、默认上下文 |\n| [`specs/.md`](specs/.md) | 当前领域业务不变量、接口与验证要求 | 工单过程、全部历史推理 |\n| [`verification/`](verification/) | 机器回执、审查记录及任务引用的原始证据 | 可独立决定任务完成的可写账本 |\n| [`tests/`](tests/) | 持久、可复用的确定性断言 | 执行日志和一次性响应转储 |\n\n单一权威源按信息职责定义：任务文件决定契约和路由，可信回执证明 C，独立审查记录证明 R。文件中写有 ACCEPTED 不是放行证据；下游必须重新校验 C、R 与候选绑定关系。\n\n### 2.2 完整任务模板\n\n以下是结构完整的实例化草案。示例中的门禁脚本与测试属于拟新增资产；命令为计划命令，未执行，不表示当前可用。复制后必须使用新的唯一任务标识，并重新确认范围。\n\n模板文件：[`TU-governance-contract-001.md`](specs/tasks/TU-governance-contract-001.md)。代码块内路径为待保存文件的原始结构值，不代表资产已经存在。\n\n```yaml\n---\nschema_version: \"1.0\"\nrecord_type: TASK_UNIT\ntask_id: governance-contract-001\nparent_objective:\n objective_id: E2E-TASK-GOVERNANCE\n statement: \"建立业务流驱动、可核验且不允许自签放行的任务契约\"\ncontract_revision: 1\ncontract_state: DRAFT\ncontract_digest: null\ncurrent_stage: ANALYSIS\nactive_role: ANALYST\ngate_status: READY\nstate_revision: 1\n\ninputs:\n - input_id: INPUT-BLUEPRINT\n kind: REFERENCE\n path: docs/blueprint.md\n anchor: null\n lines:\n start: 1\n end: 29\n required: true\n content_digest: null\n source_task_id: null\n source_candidate_id: null\n\ncs_specification:\n deliverables:\n - artifact_id: OUT-GATE\n path: scripts/task_gate.py\n operation: CREATE\n purpose: \"实现获准任务的契约及释放前门禁\"\n - artifact_id: OUT-TESTS\n path: tests/roo_contracts/test_task_gate.py\n operation: CREATE\n purpose: \"覆盖正常释放、拒绝、过期证据和非法状态转换\"\n - artifact_id: OUT-DOMAIN\n path: specs/task-governance.md\n operation: CREATE\n purpose: \"形成与实现一致的长期领域规范候选\"\n invariants:\n - invariant_id: INV-DOUBLE-GATE\n statement: \"必需机器检查或独立审查任一无效时，不得释放给依赖下游\"\n mechanical_checks: [KCP-GATE-REGRESSION]\n review_topics: [gate_bypass, evidence_freshness]\n - invariant_id: INV-SOD\n statement: \"实施主体不得批准自己实施的候选\"\n mechanical_checks: [KCP-GATE-REGRESSION]\n review_topics: [reviewer_independence, credential_boundary]\n - invariant_id: INV-PRESERVE\n statement: \"失败、归档中断及任务切换不得覆盖无关改动或丢失源记录\"\n mechanical_checks: [KCP-GATE-REGRESSION]\n review_topics: [failure_recovery, ownership]\n acceptance_criteria:\n - criterion_id: AC-NORMAL\n statement: \"满足有效 C 与有效 R 的获准候选可以被释放\"\n check_ids: [KCP-GATE-REGRESSION]\n review_required: true\n - criterion_id: AC-NEGATIVE\n statement: \"缺签章、自签、过期回执及必需项跳过均阻断释放\"\n check_ids: [KCP-GATE-REGRESSION]\n review_required: true\n - criterion_id: AC-RECOVERY\n statement: \"失败后保留现场，获准修复可以重新进入验证\"\n check_ids: [KCP-GATE-REGRESSION]\n review_required: true\n exclusions:\n - \"不部署真实 Roo 或 Cline 宿主\"\n - \"不迁移或删除旧任务和历史证据\"\n - \"不自动提交、推送、合并或接受历史 ADR\"\n\ndependencies: []\n\nauthorization_scope:\n allowed_actions: [IMPLEMENT, VERIFY]\n allowed_paths:\n - scripts/task_gate.py\n - tests/roo_contracts/test_task_gate.py\n - specs/task-governance.md\n forbidden_actions: [INSTALL, DEPLOY, PUSH, MERGE, ARCHIVE]\n approval_required: true\n\nkcp_verification:\n checks:\n - check_id: KCP-GATE-REGRESSION\n required: true\n asset_status: PLANNED_NOT_YET_CREATED\n argv:\n - python3\n - -m\n - unittest\n - discover\n - -s\n - tests/roo_contracts\n - -p\n - test_task_gate.py\n cwd: \".\"\n timeout_seconds: 30\n kill_grace_seconds: 2\n stdin_policy: NULL_DEVICE\n network_policy: DENY\n result_adapter: UNITTEST\n expected:\n exit_code: 0\n min_tests_collected: 1\n max_failures: 0\n max_errors: 0\n max_required_skips: 0\n cleanup_required: true\n environment_requirements:\n - requirement_id: ENV-PYTHON\n statement: \"获准解释器及所需解析依赖已在环境准备阶段确认\"\n - requirement_id: ENV-RUNNER\n statement: \"可信收集器、进程级超时及候选身份采集已经实现并验收\"\n evidence_policy:\n immutable_receipts_required: true\n current_candidate_binding_required: true\n raw_output_required: true\n trusted_producer_required: true\n\nsod_review:\n policy:\n independent_principal_required: true\n contributor_approval_forbidden: true\n credential_isolation_required: true\n required_topics:\n - boundary_conditions\n - exception_paths\n - callers_and_ownership\n - gate_bypass\n - evidence_freshness\n - failure_recovery\n reviewer_id: null\n review_ref: null\n signature_ref: null\n known_limitations: []\n downstream_guidance: []\n\nruntime:\n execution_id: null\n attempt_id: null\n candidate_id: null\n approval_ref: null\n verdict_ref: null\n hold_reason: null\n\ncontext_policy:\n handoff_max_lines: 80\n handoff_max_utf8_bytes: 16384\n preserve_all_unfinished_obligations: true\n---\n```\n\n任务文件正文如下，与上述 Frontmatter 一起构成完整模板：\n\n```markdown\n# 任务：建立业务流任务治理契约\n\n## 业务目标\n\n让获准候选沿业务流流转，使可机械判断的失败在依赖推进前被阻断，并保留真实的独立审查。\n\n## 设计说明\n\n任务单元是流转单位；角色不是项目文档分类依据。\n任务契约、机器证据和独立审查分别拥有明确的权威职责。\n固定回执入口和宿主检查清单只能展示或定位，不独立决定放行。\n\n## 实施边界\n\n仅实现 Frontmatter 所列交付物。\n真实宿主部署、旧目录迁移与历史任务恢复不属于本任务。\n检查资产尚未创建时可以在获准范围内实现，但不得标记机器门禁通过。\n\n## 失败恢复说明\n\n失败保留候选差异、原始输出和上一次回执。\n普通修复只在现有范围与预算内进行；契约变化须重新确认。\n不得通过删除必需断言、覆盖历史回执或回退无关用户改动获得通过。\n\n## 阅读指引\n\n执行义务以结构化契约为准，正文解释背景和理由，不新增隐藏验收要求。\n当前状态只读取结构化阶段字段；原始证据沿引用按需读取。\n```\n\n### 2.3 字段级定义与校验规则\n\n| 字段或字段组 | 定义与校验 |\n|---|---|\n| schema_version、record_type | 必填；版本须受消费者支持；任务记录与归档重定向记录不得混用 |\n| task_id | 必填、全项目唯一；匹配 `^[a-z0-9][a-z0-9-]{0,63}$`；文件名必须对应任务标识 |\n| parent_objective | 必含目标标识和业务目标；若指向父任务，必须精确引用父任务及其适用候选 |\n| contract_revision、contract_state | 正整数版本；状态仅 DRAFT 或 FROZEN；冻结后的执行义务不能由 Coder 改写 |\n| contract_digest | 草案允许为空；冻结时必须由可信程序生成，不要求模型手算或手工同步 |\n| current_stage、active_role | 工序与角色组合必须符合状态表；字段值不授予权限 |\n| inputs | 每项包含唯一输入标识、路径、类型、必要性与精确定位；锚点和行范围二选一或明确读取整文件 |\n| input content_digest | 冻结时固定必要输入内容身份；行号仅辅助阅读，不作为稳定身份 |\n| cs_specification.deliverables | 必含精确文件路径、CREATE/MODIFY/DELETE 操作及用途；禁止用笼统目录代替交付清单 |\n| invariants | 每项有唯一标识、明确陈述、机械检查映射和审查主题；测试映射不表示不变量已被完全证明 |\n| acceptance_criteria | 每项有唯一标识、可判定要求及 C/R 对应关系；冻结前不得遗留占位验收 |\n| dependencies | 依赖任务及候选身份必须可解析、无环；依赖输出须通过有效门禁，不能只检查文件存在 |\n| authorization_scope | 声明允许范围与禁止事项；只是契约范围，不是当前审批回执 |\n| kcp_verification.checks | 固定参数列表、工作目录、超时、输入、网络政策和结果适配器；不得依赖任意自然语言解析结果 |\n| asset_status | 仅 PLANNED_NOT_YET_CREATED 或 AVAILABLE；AVAILABLE 表示资产已确认存在，不表示已通过 |\n| environment_requirements | 必需前提有标识和陈述；环境准备与测试分离，不隐式联网安装依赖 |\n| sod_review.policy | 冻结独立性和审查范围要求；不能在失败后临时取消独立审查 |\n| sod_review 结果字段 | 从有效审查记录生成的只读摘要；模型填写的姓名或签章文字没有认证效力 |\n| gate_status | 仅 READY、IN_PROGRESS、IN_REVIEW、ACCEPTED、REJECTED；唯一粗粒度路由状态，不能替代 C/R |\n| state_revision | 单调递增；状态写入须按旧版本比较并交换，外部变化先停止对账 |\n| runtime | 当前执行、尝试、候选及证据定位；实际审批引用不得凭空生成 |\n| hold_reason | 区分暂停、缺依赖、权限拒绝、磁盘错误、格式损坏、超时和证据缺失；有暂停时禁止继续副作用操作 |\n| context_policy | 交接预算与完整性要求；预算不足不允许丢弃未完成义务 |\n\n额外机械规则：\n\n- 使用受限 YAML 数据配置，不执行自定义标签；拒绝重复键、未知关键字段和类型错配。\n- 所有文件路径均相对项目根目录；拒绝绝对路径、越界路径和逃逸链接。\n- 同一标识不得重复；所有验收、检查、输入和不变量引用必须存在。\n- 必需机器检查集合不得为空；非测试检查可以使用适配器声明的其他确定性断言，不能伪造测试计数。\n- 冻结契约必须完整，所有必需未知必须明确阻塞相关出口。\n- 正文不得另增未结构化的执行义务，避免两套可竞争的验收来源。\n\n契约摘要采用明确的规范化字段集合：任务身份、目标、输入、CS、依赖、授权范围、KCP、审查政策和上下文政策。排除阶段、运行引用、审查摘要等可变结果字段。\n\n摘要程序必须使用固定的规范化编码，并将实现版本纳入验证前提。内容摘要证明内容一致性，不证明来源可信或签章真实。\n\n### 2.4 状态与角色转换\n\n| gate_status | 合法工序与角色 | 转换条件 |\n|---|---|---|\n| READY | ANALYSIS/ANALYST；DESIGN/ARCHITECT | 可以讨论草案；进入实施还须契约冻结、有效审批与依赖满足 |\n| IN_PROGRESS | IMPLEMENT 或 SELF_TEST / CODER | 已获准实施；允许范围内修复与自测，不允许向依赖下游释放 |\n| IN_REVIEW | REVIEW/SUPERVISOR | 已固定候选并形成审查包；候选变化必须退出本次审查 |\n| ACCEPTED | PUBLISH/SUPERVISOR；DONE/NONE | 当前候选的 C 与 R 均有效，释放前置条件满足 |\n| REJECTED | 失败发生工序，或获准返工工序 | 明确失败、阻塞原因与现场定位；未获准恢复不得推进 |\n\n正常路径是 READY → IN_PROGRESS → IN_REVIEW → ACCEPTED。\n\n失败进入 REJECTED。范围内获准返工可以回到 IN_PROGRESS；重要接口、业务目标、检查要求或授权范围改变时，回到设计并生成新契约版本。\n\nACCEPTED 绑定不可变候选。后续产品修改必须创建新任务，不继承旧绿灯。可信审查授权被撤销时，应停止相关候选继续释放并记录撤销事实，不篡改历史回执。\n\n### 2.5 单焦点指针\n\n[`_active.md`](specs/tasks/_active.md)仅保存定位信息：\n\n```yaml\n---\nschema_version: \"1.0\"\nrecord_type: ACTIVE_TASK_POINTER\ntask_id: governance-contract-001\ntask_ref: specs/tasks/TU-governance-contract-001.md\ncontract_revision: 1\nexpected_state_revision: 1\n---\n```\n\n规则：\n\n- 显式任务路径优先；显式路径缺失或非法时不回退默认指针。\n- 默认指针缺失是正常空闲状态，不自动创建任务或恢复归档。\n- 指针不得复制角色、阶段、门禁状态和检查清单。\n- 切换焦点须得到确认，保留原任务及其全部未完成事项。\n- 单焦点是交互调度约束，不要求删除或假装完成其他任务。\n- 宿主任务清单只能作为展示；启用本规范后不能继续成为第二个可写权威状态源。\n\n### 2.6 完成与 archive 契约\n\n归档需同时满足：任务全部义务完成、有效门禁仍可核验、取得归档授权。\n\n归档目标采用[`archive/YYYY/MM/TU-.md`](specs/tasks/archive/YYYY/MM/TU-.md)，不覆盖已有目标。\n\n归档顺序：\n\n1. 锁定当前任务身份、契约版本和状态版本。\n2. 保存完整目标并确认内容一致。\n3. 重新核对源记录未改变。\n4. 在获准条件下将原路径改为只含身份、目标及摘要的重定向记录。\n5. 清除或切换活动指针。\n\n原路径重定向不是第二份契约；解析器必须明确区分并拒绝循环、越界及错误身份。\n\n多文件归档不承诺天然原子性。需要可信协调入口保障读取一致性；中断、权限拒绝、磁盘错误或源变化时保留源与证据，不清空活动任务。未完成任务不按完成任务归档。\n\n归档证据不得被默认删除。跨机器需要复验的任务必须保留可访问的可信回执与必要日志；本地摘要不能替代唯一原始证据。\n\n## 3. 模块三：刚刚好的数据交接\n\n### 3.1 环节间数据流契约\n\n| 交接 | 必须输出 | 严禁输出或冒充 |\n|---|---|---|\n| Analyst → Architect | 业务目标；输入与利益相关方约束；不变量；验收标准；必要非目标；事实和未知的定位 | 完整聊天；隐藏思维过程；无关源码转储；未经确认的实现承诺 |\n| Architect → Coder | 冻结任务；精确文件清单；接口及所有权；依赖身份；必要检查、环境前提、失败恢复；当前授权定位 | 多份竞争计划；无法执行的占位命令；虚构接口；以可行性替代实施授权 |\n| Coder → Supervisor | 当前候选身份；交付差异；CS 对照；可信回执引用；未覆盖边界；已知局限与复现定位 | 自签批准；截断后丢失唯一证据的日志摘要；与旧候选绑定的通过结果；无关环境秘密 |\n| Supervisor → 下游 | 明确决定；认证签章；绑定候选；阻塞或非阻塞发现；已知局限；下游使用条件 | 含糊的“看起来没问题”；没有身份的 PASS；审查后新增未审修改 |\n| Supervisor → 领域规范 | 已审候选中的业务不变量、接口、运行约束、验证入口和必要来源 | 工单流水；全部研究笔记；未验收能力；未审查的新语义 |\n\n### 3.2 最小审查包\n\n审查包必须可以回答：\n\n- 审查的是哪个任务、哪个契约版本、哪个候选？\n- 生产、测试、配置与领域规范分别改了什么？\n- 哪些验收由机器检查支撑，哪些仍需语义审查？\n- 回执是否对应当前候选和当前环境？\n- 失败路径、调用方、所有权及副作用边界有哪些风险？\n- 哪些局限影响下游使用，是否构成阻塞？\n\n摘要只定位证据，不抄录全量日志。必要日志按需有界读取。\n\n### 3.3 已过审特性的领域沉淀\n\n领域更新必须遵循“先纳入候选，再审查，最后发布”：\n\n1. 任务设计阶段把领域规范更新列入 CS；无长期契约变化的任务不强制更新领域规范。\n2. Coder 准备与实现一致的领域规范候选。\n3. Supervisor 同时审查实现与规范候选。\n4. 门禁通过后，获准发布入口应用完全相同的已审字节。\n5. 审查后出现新语义或实质性修改时，重新验证和审查，不直接补写并宣布已通过。\n\n[`specs/.md`](specs/.md)应保留领域标识、当前不变量、接口、环境约束、验证要求，以及来源任务、候选和审查回执定位。任务进度仍留在任务流中。\n\n## 4. 模块四：C 与 R 的物理落地\n\n### 4.1 可信边界\n\n完整门禁至少需要三个职责明确的组件：\n\n- 执行器：在获准环境运行固定检查。\n- 收集与判定入口：采集真实结果、生成证据身份并计算 C。\n- 释放入口：认证 R、检查依赖与授权，只释放匹配候选。\n\n这些是最小治理职责，不要求新造后台调度框架，也不增加独立 Agent 数量。\n\nCoder 可修改获准候选，但不得修改可信判定程序、信任配置、签章凭据或可信回执存储。测试子进程也不得接触签章凭据。\n\n[`verification/`](verification/)只是目录，不构成隔离边界；同一系统账号可改文件时，摘要不能提供防篡改保证。[`.scratch/`](.scratch/)及忽略规则同样不构成执行沙箱。\n\n严格释放应由凭据隔离的服务、受保护 CI 或经过验收的等效入口执行。目标环境无法提供可信边界时，可以完成只读设计，但不得把本地模型声明作为双重门禁通过。\n\n### 4.2 候选与证据身份\n\n候选身份由可信入口生成，应覆盖：\n\n- 本次获准基线与候选差异；\n- 生产、测试、构建配置和受影响依赖；\n- 新增、修改和删除文件的清单；\n- 冻结任务契约及必要输入身份；\n- 检查执行环境和可信工具版本。\n\n仅使用某个源文件摘要或某次提交标识，不足以证明整个实际工作树候选一致。必要未跟踪文件与预先存在的用户改动也必须被正确区分。\n\n模型不计算或手填身份。实现、测试、契约或环境变化后，可信入口判定证据是否失效；没有可靠影响分析时，重验相关门禁，不直接复用旧回执。\n\n### 4.3 机器回执格式\n\n固定入口为[`TU-.verdict.json`](verification/TU-.verdict.json)。它是当前回执的生成视图，不是独立任务状态。\n\n每次实际执行必须另存不可变回执，例如[`verdict.json`](verification/runs/TU-///verdict.json)。任务引用不可变路径，不按固定入口的“最新结果”盲目放行。\n\n下面是未执行状态的完整结构示例，故意使用空身份与未运行结果，不是实测回执：\n\n```json\n{\n \"schema_version\": \"1.0\",\n \"record_type\": \"VERIFICATION_RECEIPT\",\n \"task_id\": \"governance-contract-001\",\n \"contract_revision\": 1,\n \"contract_digest\": null,\n \"execution_id\": null,\n \"attempt_id\": null,\n \"candidate_id\": null,\n \"receipt_ref\": null,\n \"producer\": {\n \"principal_id\": null,\n \"runner_version\": null,\n \"trusted_execution_ref\": null\n },\n \"environment\": {\n \"cwd\": \".\",\n \"platform\": null,\n \"toolchain_digest\": null,\n \"configuration_digest\": null\n },\n \"started_at\": null,\n \"finished_at\": null,\n \"checks\": [\n {\n \"check_id\": \"KCP-GATE-REGRESSION\",\n \"required\": true,\n \"argv\": [\n \"python3\", \"-m\", \"unittest\", \"discover\",\n \"-s\", \"tests/roo_contracts\", \"-p\", \"test_task_gate.py\"\n ],\n \"cwd\": \".\",\n \"timeout_seconds\": 30,\n \"kill_grace_seconds\": 2,\n \"stdin_policy\": \"NULL_DEVICE\",\n \"network_policy\": \"DENY\",\n \"status\": \"NOT_RUN\",\n \"exit_code\": null,\n \"termination_signal\": null,\n \"timed_out\": null,\n \"process_group_terminated\": null,\n \"duration_ms\": null,\n \"result_adapter\": \"UNITTEST\",\n \"counts\": {\n \"collected\": null,\n \"passed\": null,\n \"failures\": null,\n \"errors\": null,\n \"required_skips\": null\n },\n \"stdout_ref\": null,\n \"stderr_ref\": null,\n \"output_digest\": null,\n \"cleanup\": {\n \"required\": true,\n \"status\": \"UNKNOWN\",\n \"evidence_ref\": null\n }\n }\n ],\n \"C_result\": \"INDETERMINATE\",\n \"reason_codes\": [\"NOT_RUN\", \"IDENTITY_MISSING\"],\n \"integrity\": {\n \"payload_digest\": null,\n \"attestation_ref\": null\n }\n}\n```\n\n实际回执必须具有唯一执行与尝试标识、真实时间、候选身份、命令参数、工作目录、终止情况、关键输出及完整性依据。空字段结构示例不能被消费者接纳为通过。\n\n### 4.4 C 的判定逻辑\n\nC 的结果仅允许 PASS、FAIL、INDETERMINATE 或 STALE；只有 PASS 可以满足机器门禁。\n\nPASS 必须同时满足：\n\n1. 回执来自受信执行入口，结构与完整性有效。\n2. 任务、冻结契约、检查清单和候选完全匹配。\n3. 全部必需检查已实际运行并取得真实结束回执。\n4. 退出、计数、必要输出和其他声明断言满足要求。\n5. 没有超时、缺依赖、必需项跳过或不适用的零收集。\n6. 必需清理已确认；无法确认进程退出或清理时不得通过。\n7. 检查环境符合契约，证据仍适用于当前释放对象。\n\n补充规则：\n\n- 退出零不自动等于通过。\n- 空输出按检查类型判定，不能一律失败，也不能一律成功。\n- Lint 等没有测试收集概念的检查，应使用自己的结果适配器，不伪造测试计数。\n- 机器检查只能支撑其实际断言，不自动证明架构正确或测试充分。\n- 不运行与当前影响范围无关的全库检查；必要接口、调用方和副作用回归不能省略。\n- 命令串行、前台等待、输入封闭；采用进程级超时和强制终止宽限期。测试不隐式安装依赖。\n\n### 4.5 独立审查报告与签章\n\n审查记录建议存为[`TU-.review.json`](verification/reviews/TU-//TU-.review.json)，保存结构化决定；人类报告可以作为其附件，不另建可竞争的批准状态。\n\n必需字段：\n\n| 字段组 | 内容 |\n|---|---|\n| 绑定身份 | 任务标识、契约版本与摘要、候选标识、不可变机器回执身份 |\n| 审查身份 | 认证主体、审查记录标识、审查时间、独立性声明及可验证依据 |\n| decision | PENDING、APPROVE 或 REQUEST_CHANGES；只有 APPROVE 可以支撑 R |\n| findings | 发现标识、审查主题、证据定位、影响的不变量、阻塞性与处理要求 |\n| known_limitations | 具体局限、适用边界、影响与接受依据；不能用“可能存在问题”替代审查 |\n| downstream_guidance | 使用前提、兼容性、必须保留的限制及发布注意事项 |\n| signature | 认证审批记录或可验证的签名；绑定上述完整载荷，不接受手写 PASS |\n| revocation | 撤销定位或有效性查询机制，防止已撤销批准继续释放 |\n\n反向审查至少覆盖本任务相关的：\n\n- 边界值、空输入与非法状态转换；\n- 异常、取消、超时和资源释放；\n- 调用方、数据所有权与副作用；\n- 测试遗漏、删弱断言和必需项跳过；\n- 过期证据、伪造回执和自签绕过；\n- 失败恢复与下游使用限制。\n\n不相关极端场景不强制无限补证；与必需不变量有关的未知必须明确阻塞。\n\nR 只有在签章有效、主体独立、政策满足、绑定身份匹配、无未解决阻塞发现且批准未撤销时成立。局限说明不能成为豁免必需门禁的通用渠道。\n\n### 4.6 释放入口\n\n释放入口必须重新核对：\n\n- 当前候选有效 C 与有效 R；\n- 当前授权及发布范围；\n- 所有必要依赖的有效接受状态；\n- 契约、候选与证据的新鲜度；\n- 发布对象与已审候选一致。\n\nACCEPTED 只由受信状态转换入口生成。人工修改任务文本、宿主勾选完成、自动批准工具操作、模型调用完成接口，均不能绕过释放检查。\n\n任务接受不自动授权合并、提交、推送、部署、领域发布或归档。缺少其中某项授权时，保持已审候选并停止对应操作。\n\n### 4.7 REJECTED 回退与现场保护\n\n拒绝时必须：\n\n1. 记录具体原因和受影响义务，停止依赖释放。\n2. 保留候选差异、原始输出、失败回执与审查发现。\n3. 区分测试失败、超时、缺依赖、权限拒绝、磁盘错误、格式损坏及证据缺失。\n4. 在现有授权与预算内允许普通修复；新尝试生成新回执，不覆盖前一次结果。\n5. 修复改变候选后使旧审查失效，重新验证与审查。\n6. 契约实质变化交回设计确认；不得偷偷删除检查或扩大写入范围。\n\n现场保护不等于一律回滚。禁止对整个工作区强制重置；仅在获准且能定位所有权的情况下恢复本任务改动，保护原有用户修改。\n\n同类修复连续失败两次时应定向复核假设；该阈值是初始工作策略，不是自动改范围或自动切换模式的权限。\n\n## 5. 模块五：Roo Code / Cline 配置与 Prompt 映射\n\n### 5.1 接入原则\n\n宿主适配分为两层：\n\n- 行为层：规则和 Prompt 负责职责、数据交接及证据纪律。\n- 强制层：可信执行、签章认证与释放入口负责物理门禁。\n\n行为层不是强制层的替代品。不得编造钩子字段、错误传播语义或默认拒绝能力。\n\n启用前须核验实际宿主版本、规则发现方式、模式信号、工具入口及权限效果。保存规则、分发文件和安装扩展不证明规则已加载。\n\n### 5.2 公共路由片段\n\n以下片段可以用于经核验、获准启用的项目规则。Cline 可按目标版本支持的规则形式承载，例如[` .clinerules`](.clinerules)；Roo 可按现有公共规则机制承载。不得为方便而复制项目契约到全局配置。\n\n```text\n你运行单一业务流，而不是四个独立角色项目。\nPlan 前半段使用 Analyst 视角，后半段使用 Architect 视角。\nAct 前半段使用 Coder 视角，审查工序使用 Supervisor 视角。\n角色视角不扩大当前用户授权、宿主权限或客户端审批。\n\n优先绑定用户显式指定的任务文件；缺失或非法时不静默替换。\n无显式任务时才读取 specs/tasks/_active.md；缺失表示正常空闲。\n任务契约从对应 TU 文件读取，领域事实按 inputs 定位按需加载。\n不默认加载任务归档，不自动恢复历史绿灯。\n\nPlan 默认只读；持久保存、实施、验证、发布和归档分别核对授权。\nCoder 只能提交候选与真实证据，不得自签独立审查。\nSupervisor 视角只能形成审查建议，有效 R 必须来自认证独立主体。\n释放必须由可信入口核验当前候选的 C、R、依赖与授权。\n可信入口未实现或未覆盖时明确阻塞，不用提示词宣称硬门禁通过。\n```\n\n### 5.3 四个工序片段\n\nAnalyst：\n\n```text\n当前工序为业务分析。提炼目标、不变量、验收与必要非目标。\n区分用户陈述、源码或官方事实、实测回执、推断和未知。\n输出 Task Spec Draft，不输出实施批准，不擅自选择超出目标的改造。\n交接只包含下游设计所需信息及证据定位，不附完整聊天或隐藏推理。\n```\n\nArchitect：\n\n```text\n当前工序为技术设计。将目标转为精确 CS、接口、所有权、依赖和 KCP。\n检查资产未创建时标明计划状态；环境前提未知时保留相关阻塞。\n规定失败恢复、独立审查范围与下游使用条件。\n仅在获准保存范围内固化任务契约；冻结和保存不等于获准实施。\n```\n\nCoder：\n\n```text\n当前工序为实施。接管已冻结且获准的任务，不重复完整分析。\n保护既有改动，只修改 CS 与批准范围内的候选。\n按固定检查要求取得可信回执，失败在现有范围和预算内修复。\n不得删弱必需断言，不修改可信判定程序、审查凭据或历史证据。\n向审查工序交付候选身份、差异、回执引用和已知局限，不自签批准。\n```\n\nSupervisor：\n\n```text\n当前工序为审查。保持候选只读，不同时修代码并批准该修改。\n核对 CS、当前候选与可信机器回执，反向审查边界、异常、所有权和绕过路径。\n给出明确发现、阻塞性、局限和下游使用条件。\n没有认证独立签章时只提交审查建议，不声明 R 已成立。\n审查后候选变化须重新验证与审查，不批准未审的新字节。\n```\n\n### 5.4 宿主映射指引\n\n| 宿主入口 | 职责映射 | 保存与执行边界 |\n|---|---|---|\n| Cline Plan | Analyst → Architect | 默认会话分析；需保存时走另获准的文档步骤 |\n| Cline Act | Coder → Supervisor 视角 | 当前获准实施与审查建议；认证签章仍在独立可信入口 |\n| Roo Ana-Architect | Analyst → Architect | 保留无终端边界；新任务路径需另获准适配 |\n| Roo Bmad-Engineer | Coder；获准时准备审查包 | 模式具备工具能力不等于当前获准使用全部能力 |\n\nRoo 可复用[`现有两个模式`](bmad-suite-v4/roo/settings/custom_modes.yaml:2)，不必新增四个并行 Agent 模式。调整公共规则和工序提示即可表达业务视角；权限变化必须另行核验。\n\n当前[`分析编辑限制`](bmad-suite-v4/roo/settings/custom_modes.yaml:8)不能被本稿文字自动改为允许任务目录。新路径适配须按批准清单修改并取得真实允许/拒绝回执。\n\nCline 与 Roo 的命令、文件、外部工具、子任务和完成登记入口应分别确认覆盖。某一入口具有拦截能力，不证明其他入口也无法绕过。\n\n若宿主没有可靠的推进前拒绝接口，应把实际合入或发布留在受保护外部入口；不得声称宿主内部已经实现完整硬门禁。\n\n## 6. 实施与验收顺序\n\n本节定义依赖顺序，不构成当前实施授权。\n\n1. 契约消费者：实现受限解析、字段与引用校验、候选身份和状态转换；保留旧任务入口，不先搬目录。\n2. 可信机器证据：实现执行隔离、结果适配、不可变回执、超时与清理判定。\n3. 独立审查：接入认证身份、签章绑定、凭据隔离与撤销机制。\n4. 释放入口：实现授权、依赖、C/R 与候选匹配检查，验证允许路径和拒绝路径。\n5. 宿主薄适配：加载工序规则，核验模式、工具覆盖、上下文恢复和拒绝行为。\n6. 获准迁移：按逐文件清单适配新任务目录、领域规范与证据引用；最后才停用旧默认输出模型。\n\n### 6.1 最小验收矩阵\n\n| 用例 | 必须观察到的结果 |\n|---|---|\n| 当前 C 通过且独立 R 有效，授权与依赖满足 | 合法候选能够释放；不能只验证永远拒绝 |\n| C 通过、R 缺失或自签 | 拒绝依赖释放 |\n| R 批准，但机器检查失败 | 拒绝依赖释放，保留修复通道 |\n| 退出零但零收集或必需项跳过 | 对应必需门禁不得通过 |\n| 超时、进程退出未知或必需清理未知 | 明确阻塞，不登记完成 |\n| 审查后代码、测试、契约或环境发生相关变化 | 旧证据不能批准新候选 |\n| 修改任务文本为 ACCEPTED，或宿主勾选完成 | 不能绕过可信释放入口 |\n| Coder 尝试读取签章凭据或覆盖可信回执 | 实际被拒绝，不能只检查配置文字 |\n| 重复 YAML 键、身份错配、越界路径或非法转换 | 明确拒绝并保留源记录 |\n| 状态并发变化、归档中断或磁盘错误 | 不覆盖源，不清空未完成任务 |\n| 失败后获准修复与重新验证 | 可以产生新尝试，历史失败仍保留 |\n| 压缩或新会话恢复 | 重新定位授权、未完成义务与证据，不继承记忆绿灯 |\n| 已审领域规范候选发布 | 发布字节与已审候选一致，不附加未审新语义 |\n| 历史任务与无关用户改动存在 | 新任务不抢占、不自动恢复、不覆盖 |\n\n静态校验、隔离夹具和参考模型只能支撑各自范围的结论。规则实际加载、权限拒绝、凭据隔离及真实释放行为必须有对应运行回执。\n\n## 7. 最终裁决与交付边界\n\n本设计在职责和数据契约上可以成立；完整物理门禁仍以可信执行、独立签章、受保护释放入口和宿主覆盖的真实验收为条件，未知不得写成通过。\n\n- 按角色切分项目事实目录：不采用。\n- 单会话换角色后自签放行：不采用。\n- 仅凭本地可写 JSON、内容摘要或 Prompt 宣称防篡改：不采用。\n- 任务单元统一流转、证据分责、顺序角色视角及独立认证签章：采用为草案设计。\n- 删除旧输出目录、覆盖旧活动任务、部署宿主或实施门禁程序：不属于本次交付。\n\n本次完成的是工程规范草案与模板设计。未创建生产文件、未写入项目事实基线、未运行测试、未迁移目录、未接受历史 ADR，也未将任何计划归档。"}}