@ifrankwang/openspec-agents 0.128.0 → 0.131.0

package/README.md

@@ -12,7 +12,7 @@
 - **多工具支持**：Claude Code、Codex、ZCode、DeepSeek Harness（DSH）、OpenCode 均可原生接入。
 - **规范驱动**：直接消费 OpenSpec 变更规范（proposal / design / tasks / specs），流程与规范一一对应。
 - **智能体团队**：不再是单个 AI 从头写到尾，而是「实现者 + 审查者 + 质量把关者」分工协作，结果更稳。
-- **质量门禁**：实现之后经过工具检查、任务验证与多维度质量审查；发现的问题自动回退修复，也可按规则豁免并留痕。
+- **质量门禁**：实现之后经过工具检查、任务验证与多维度质量审查；发现的问题自动回退修复，也可按规则豁免并留痕。simple 模式下验证按性质分流——开发者执行确定性检查并申报，审查者分级复验（低成本项实跑、高成本项核验申报加抽样重放）并专注对抗性判断。
 - **隔离执行**：每个变更在独立的环境中实施，互不干扰；变更完成后合并并清理。
 - **过程可审计**：进度、结论、豁免与恢复点全程记录，随时可以接着上次的进度继续。
 

package/assets/agents/openspec-developer.md

@@ -11,7 +11,7 @@ permission:
 
 ## 角色（开发者身份）
 
-你是后端开发工程师，专注于实现 OpenSpec 任务组中的代码开发任务。
+你是后端开发工程师，专注于实现 OpenSpec 任务组中的代码开发任务，同时是质量门与接口测试的执行责任人：确定性检查与接口测试由你执行并经自检申报留痕，自检申报是 reviewer 分级复验的事实输入。
 
 提交前按已加载 skill（含质量维度规范类）完成自检，审查兜底与终局裁定仍由对应 reviewer 承担（自检不替代 reviewer 裁定）。
 

package/assets/agents/openspec-reviewer.md

@@ -17,7 +17,7 @@ permission:
 - **工具维度审查者**（tool review，full 模式三层门禁第一层）：执行确定性工具检查，将工具输出映射为统一 issue 结构；简单（simple）模式亦承担该职责
 - **任务维度审查者**（task review，full 模式三层门禁第二层）：验证 task 产出完整性、启动服务并检查健康、独立执行 API 测试并审查质量、审查测试代码质量；验证完成后清理本变更启动的环境（停止残留服务、清理隔离环境）；简单（simple）模式亦承担该职责
 - **质量维度审查者**（quality review，full 模式三层门禁第三层）：按分派维度（style / architecture / performance / security / maintainability）审查
-- **simple 合并审查者**：同时承担确定性工具检查、任务验证与全维度审查；验证完成后清理本变更启动的环境（停止残留服务、清理隔离环境）
+- **simple 合并审查者**：以分级复验与对抗审查承担 simple 模式合并审查——低成本确定性工具实跑，高成本项核验 dev 自检申报并以核心链路抽样重放验证，对抗性判断（测试代码质量、业务行为真实性、关键数据产出核验）保持独立视角不重走 dev 路径；验证完成后清理本变更启动的环境（停止残留服务、清理隔离环境）
 
 审查范围、非本轮问题处置、文档读取范围、既有 issue 去重与工具调用边界以 opx_status 操作指引与约束区块为准，此处不重复描述。
 
@@ -195,6 +195,7 @@ Info 级别 issue 的 description/suggestion 中禁止出现阶段/时机相关
 
 - **确定性工具检查**：工具维度审查者与 simple 合并审查者被允许运行确定性工具检查（代码格式/架构约束/静态分析/单元测试编译/深度扫描），按已加载质量门 skill 的必做清单执行并将输出映射为统一 issue 结构；检查结果纳入审查结论
 - **任务验证**：任务维度审查者与 simple 合并审查者承担任务验证职责，验证 task 产出完整性、服务健康与 API 测试质量；未通过的 task 经 failed_tasks 上报；验证完成后按清理规范做幂等清理，不留环境残留；数据产出核验——对照 spec 数据产出要求核验关键数据产出落位/完整性/搬迁承接/基线对比，识别『流程正常但数据缺失/落错位置』类缺陷
+- **维度审查锚点**：以 spec 验收标准、行为组与数据产出要求为主锚做对照审查，skill 检查点清单与 dev 自检申报对照兜底（抽查申报遗漏项）
 - **工具改进**：可工具化的质量 pattern 双报业务 issue 与工具改进 issue（规则草案由审查者提供），实施工作由开发者完成，审查者不直接改动规则/配置文件以外的实现
 
 ## 压制判定

package/assets/workflows/task-simple.yaml

@@ -32,7 +32,7 @@ phases:
           - "实施前识别 spec 描述的一并操作行为组（如状态变更与数据入队这类需同时发生的多个行为）；实施后逐项自证每个行为真实生效，禁止以单一状态字段的实现替代其他行为"
           - "涉及数据模型或流程产出变更（含字段/实体承载位置搬迁、AI 生成等流程产物）时，自证须包含关键数据产出断言：产出字段已持久化到 spec 指定承载位置且值完整非空、搬迁承接与同一输入产出基线一致（按已加载接口测试规范执行）；禁止仅以流程跑通/接口成功替代"
           - "自证/验证需启动服务或基础设施时，一律按已加载技术栈 skill 的隔离启动规范以隔离方式启动，隔离标识与建议端口以视图 Worktree 区块为准；隔离对象不限于数据库——为本变更启动的 mock 服务、消息队列/缓存等中间件、扫描分析平台等一切环境资源均须按隔离标识隔离，禁止复用既有实例或共享端口；启动前发现隔离环境有残留时，先按已加载的清理规范幂等清空再启动"
-          - "涉及接口契约或数据口径变更（按已加载的接口测试规范判定）时，实施过程中即时更新/新建与变更接口对应的 `.http` 测试脚本（已有脚本更新为匹配变更后契约，尚无脚本则新建，并同步 SQL 前置数据脚本），按已加载接口测试规范的完整执行顺序（含 SQL 前置数据准备、隔离启动基础设施与服务、执行 `.http` 脚本）执行接口测试，确保变更内容真实有效；执行结果纳入自证与 self_check_results；修复被驳回 issue 后再次提交前同样须执行"
+          - "涉及接口契约或数据口径变更（按已加载的接口测试规范判定）时，实施过程中即时更新/新建与变更接口对应的 `.http` 测试脚本（已有脚本更新为匹配变更后契约，尚无脚本则新建，并同步 SQL 前置数据脚本），按已加载接口测试规范的完整执行顺序（含 SQL 前置数据准备、隔离启动基础设施与服务、执行 `.http` 脚本）执行接口测试，确保变更内容真实有效；执行结果（附执行顺序与覆盖接口清单）经 test_results 参数提交，作为审查者分级复验的事实输入；修复被驳回 issue 后再次提交前同样须执行"
           - "自证完成后停止本次启动的服务/基础设施实例，不留残留"
           - "环境/基础设施问题（schema 缺失、DDL 未执行、依赖未安装）应通过 migration/初始化脚本等代码层面解决；仅生产级凭据、真实第三方资源、人工运维才走 blocker/豁免"
           - "issue 指向文件的目录已并入执行边界，修复这些文件（含回归引入问题）不算越界；issue 的 file 字段指向 openspec/changes/ 下文档时，按该 issue 要求修复对应文档同样不算越界（仅限该 issue 指定文件，不得扩大范围）；可按 issue 的 suggestion 直接执行修复；reviewer 的 boundary_expansion 已并入边界"
@@ -40,7 +40,7 @@ phases:
           - "对修复未过次数≥2 的 issue 须先完成 5-Why 根因分析再动手，不得跳过分析直接改代码"
           - "全部实现完成后先 git commit 再提交"
           - "提交前按已加载的质量门类 skill 完成本地构建验证并核对覆盖率门禁达标后再提交"
-          - "提交前完成自检并经 self_check_results 汇总"
+          - "提交前完成自检并经 self_check_results 汇总：每项检查须含执行命令与结果摘要（证据可核验，供审查者分级复验对照与核验申报），禁止仅报结论不附证据"
           - "提交前按已加载的维度规范类 skill（style/architecture/performance/security/maintainability 能力类别）对本次变更文件逐项自检（聚焦本轮变更文件，不扩散全量代码），自检结论与工具检查结果一并汇总进 self_check_results；修复被驳回 issue 后再次提交前同样须按维度规范类 skill 对变更文件自检后再提交"
           - "自检须覆盖已加载的维度规范类 skill 的全部检查点，self_check_results 按维度逐项列结论（通过/遗留及理由），禁止仅汇总工具检查结果"
           - "修复完成的 issue 经 fixed_issue_ids 上报后进入待复核（review）状态，终态由报源 reviewer 复核裁定；不可修 issue 经 exempt_issue_ids 申请豁免（申请后进入待裁定（review）状态，由报源 reviewer 在后续审查轮次裁定，被驳回的 issue 回待修复）；Info 级 issue 不阻塞提交，无需申请豁免；全部 blocking issue 均已上报修复或申请豁免后才可 passed 提交推进"
@@ -66,13 +66,14 @@ phases:
           on_pass: done
           on_fail: implement
         instructions:
-          - "依据 opx_status 提供的变更检测结果分流：无代码/配置变更且本层无待复核/待裁定项 → 直接提交 passed，不运行全量工具检查，并以一条 step 名首段为 no_change 的 validation_steps 声明本轮整体豁免必做清单（completed=false + 结构化 skip_reason 注明判定依据）；无变更但有本层待复核/待裁定项 → 仅复核/裁定待处理项后提交，不跑全量工具扫描；有变更 → 加载质量门类 skill 获取工具清单与映射规则，按已加载质量门 skill 必做清单逐项执行全部确定性工具检查（代码格式/架构约束/静态分析/单元测试编译/深度扫描——按必做清单中的对应项逐项执行并逐项申报），将工具输出映射为统一 issue 结构后提交"
-          - "「有变更」分支先审查上方「本次变更证据」区块的变更文件清单与区间 diff 内容后自行判断：若确认本次变更仅为注释/文档性且无逻辑影响（非注释掉代码、非结构性/格式化变更、非文件重命名），可自行决定跳过全量工具检查直接提交 passed（validation_steps 以 step=no_change 申报整体豁免必做清单）；无法确认或含逻辑/结构变更，必须顺序运行全部确定性工具检查；裁量仅免除全量工具扫描，不免除复核/裁定——本层 blocking issue 仍须处理至终态后提交"
-          - "逐项验证：①task 产出完整性 ②启动服务并检查健康 ③独立执行全量 API 测试并审查质量（含 API 测试自闭环链路：创建后可检索、状态变更后可见、删除后不可见；测试数据贴近业务语义，禁止无意义占位值） ④审查测试代码质量（断言放水/Mock 过度/覆盖不足）⑤业务行为真实性：对照 spec 逐项核验每个业务行为的实现与断言证据（含一并操作的行为组、连带效果、下游消费），识别『仅打状态标记未实际生效』类缺陷 ⑥关键数据产出核验：对照 spec 数据产出要求，核验实现与测试是否覆盖产出数据落位（spec 指定承载位置）、完整非空、搬迁承接与同一输入基线一致，识别『流程正常但数据缺失/落错位置』类缺陷"
-          - "验证完成后（含 verdict=failed 报 issue 回退 implement 的轮次）按已加载的清理规范执行幂等清理：停止残留的服务实例、清理本 change 的隔离环境、删除残留的隔离扫描项目；无残留即通过，不因重复执行报错；清理结果纳入 validation_steps 申报（未执行须以 completed=false + 结构化 skip_reason 说明）"
-          - "本次变更仅含测试代码（判定：视图「变更范围」文件清单全部命中已加载技术栈 skill 定义的测试代码路径，且无生产代码、接口契约、构建与测试配置等非测试文件）时，豁免②启动服务并检查健康与③独立执行全量 API 测试，仅验证①④；豁免时 validation_steps 中②③置 completed=false，并以结构化 skip_reason 申报（格式：{\"item\":\"<对应验证项>\",\"category\":\"<降级类别>\",\"adjudication\":\"user_response|unattended_auto|env_unavailable\",\"note\":\"<说明>\"}），note 注明「本次变更仅含测试代码，豁免启动服务与 API 测试」及判定依据；⑤⑥的实现核验在纯测试代码变更场景无对象，其断言证据核验并入④测试代码质量"
-          - "读取 design.md 的 API 定义（请求/响应结构、数据模型）与 specs/ 下相关 spec.md（需求细节、验收标准与数据产出要求），用于准备测试数据与对照 API 合约"
-          - "加载匹配维度 skill，以本轮 diff/变更文件为锚点结合 skill 规范与领域知识做拓展审查（skill 仅为最低基准）；顺带发现的非本轮缺陷按对应维度严重级别标准报 issue，禁止静默丢弃"
+          - "依据 opx_status 提供的变更检测结果分流：无代码/配置变更且本层无待复核/待裁定项 → 直接提交 passed，不运行全量工具检查，并以一条 step 名首段为 no_change 的 validation_steps 声明本轮整体豁免必做清单（completed=false + 结构化 skip_reason 注明判定依据）；无变更但有本层待复核/待裁定项 → 仅复核/裁定待处理项后提交，不跑全量工具扫描；有变更 → 加载质量门类 skill 获取工具清单与映射规则，按分级复验执行确定性检查：低成本必做项（env/compile/format/architecture/static_analysis/unit_test/config_check 等分钟级项）全量实跑并逐项申报，将工具输出映射为统一 issue 结构；deep_scan 按核验申报口径处理（见下条）"
+          - "「有变更」分支先审查上方「本次变更证据」区块的变更文件清单与区间 diff 内容后自行判断：若确认本次变更仅为注释/文档性且无逻辑影响（非注释掉代码、非结构性/格式化变更、非文件重命名），可自行决定跳过全量工具检查直接提交 passed（validation_steps 以 step=no_change 申报整体豁免必做清单）；无法确认或含逻辑/结构变更，必须按分级复验口径执行确定性检查；裁量仅免除全量工具扫描，不免除复核/裁定——本层 blocking issue 仍须处理至终态后提交"
+          - "分级复验：低成本必做项（分钟级）全量实跑 + 逐项申报（completed=true 附执行结果）；deep_scan 核验上方「开发者自检申报」区块的 dev 申报（证据完整性、命中项与 diff 的合理性）并抽验命中项（如本地复跑单规则静态分析验证命中真实存在），不重扫全量，申报形态为 step 名首段 deep_scan、completed=true、描述注明核验方式与抽验样本；白名单口径：仅高成本必做项（deep_scan）允许核验申报形态，低成本必做项必须实跑后申报；升级回退全量重跑触发条件（统一四处）：dev 申报缺证据或不完整 / 抽验失败 / 发现断言放水类 issue / 本轮为修复轮且修复波及接口契约或数据口径——命中任一即本轮高成本项改为实跑全量"
+          - "对抗性判断（独立视角，不重走 dev 路径）：①task 产出完整性 ②③按 spec 验收标准选样的核心链路抽样重放（1-2 条端到端，覆盖创建-检索-变更-删除闭环中 spec 声明的关键行为；服务健康并入抽样重放——能重放即健康）并审查 `.http` 脚本质量（对照 spec 核断言覆盖/放水/Mock 过度——防作弊主力；含 API 测试自闭环链路：创建后可检索、状态变更后可见、删除后不可见；测试数据贴近业务语义，禁止无意义占位值）④审查测试代码质量（断言放水/Mock 过度/覆盖不足）⑤业务行为真实性：对照 spec 逐项核验每个业务行为的实现与断言证据（含一并操作的行为组、连带效果、下游消费），识别『仅打状态标记未实际生效』类缺陷 ⑥关键数据产出核验：对照 spec 数据产出要求，核验实现与测试是否覆盖产出数据落位（spec 指定承载位置）、完整非空、搬迁承接与同一输入基线一致，识别『流程正常但数据缺失/落错位置』类缺陷；轮次口径：首轮按上述分级复验与对抗判断全项执行；复核轮（二轮起）聚焦被修复 issue 相关面 + 本轮修复 diff 波及面 + dev 再自检申报（「开发者自检申报」区块），首轮已通过且无波及的维度与低成本工具结论不重审，但低成本工具实跑保留（防修复引入回归）"
+          - "验证完成后（含 verdict=failed 报 issue 回退 implement 的轮次）按已加载的清理规范执行幂等清理：停止残留的服务实例（含抽样重放启动的服务）、清理本 change 的隔离环境、删除残留的隔离扫描项目；无残留即通过，不因重复执行报错；清理结果纳入 validation_steps 申报（未执行须以 completed=false + 结构化 skip_reason 说明）"
+          - "本次变更仅含测试代码（判定：视图「变更范围」文件清单全部命中已加载技术栈 skill 定义的测试代码路径，且无生产代码、接口契约、构建与测试配置等非测试文件）时，豁免②③核心链路抽样重放，仅验证①④；豁免时 validation_steps 中②③置 completed=false，并以结构化 skip_reason 申报（格式：{\"item\":\"<对应验证项>\",\"category\":\"<降级类别>\",\"adjudication\":\"user_response|unattended_auto|env_unavailable\",\"note\":\"<说明>\"}），note 注明「本次变更仅含测试代码，豁免抽样重放」及判定依据；⑤⑥的实现核验在纯测试代码变更场景无对象，其断言证据核验并入④测试代码质量"
+          - "读取 design.md 的 API 定义（请求/响应结构、数据模型）与 specs/ 下相关 spec.md（需求细节、验收标准与数据产出要求），用于准备测试数据与对照 API 合约、选样核心链路"
+          - "加载匹配维度 skill 做维度审查：以 spec 验收标准、行为组与数据产出要求为锚对照审查实现，skill 检查点清单与 dev 自检申报对照兜底（抽查申报遗漏项——检查点清单与 dev 自检同源锚定同一 skill，仅执行模式从重走清单变为 dev 申报走清单 + 本审查兜底抽查），结合领域知识做拓展审查（skill 仅为最低基准，主力在清单之外）；顺带发现的非本轮缺陷按对应维度严重级别标准报 issue，禁止静默丢弃"
           - "审查新 issue 前先查看视图「待复核」区块中的既有 issue（仅本审查者报源），避免语义重复"
           - "报 issue 时必须显式声明归因维度 dimension（style/architecture/performance/security/maintainability）：本 reviewer 不归属任一质量维度，dimension 即该 issue 归属的目标质量维度"
           - "当发现修复需要调整 openspec/changes/ 下文档时，所报 issue 的 file 字段必须指向目标文档"
@@ -93,4 +94,4 @@ phases:
           - "Info 级 issue 的 description/suggestion 禁止阶段/时机表述（如'可后续处理'）"
           - "禁止以 SonarQube 平台状态修改（SAFE/WONTFIX/False Positive/Confirmed 等）作为豁免手段：平台状态仅作用于当前 SonarQube 项目实例，每次 change 使用独立项目 key，不跨 change 生效；存量问题跨 change 豁免必须经 exempt_issue_ids 申请 → 报源 reviewer 裁定 dismissed 的流程"
           - "压制类 issue 严重级别至少 Low"
-          - "有实质变更时，工具检查及 issue 报告覆盖全量代码；非本轮变更文件的工具违规同样必须映射为 issue（命中项目级豁免清单的按 Info，不重新豁免；其余非本轮引入问题按原严重级别上报），不得以不在变更清单或未越界修改为由丢弃"
+          - "有实质变更时，低成本实跑项的工具检查及首轮对抗审查覆盖全量代码；非本轮变更文件的工具违规同样必须映射为 issue（命中项目级豁免清单的按 Info，不重新豁免；其余非本轮引入问题按原严重级别上报），不得以不在变更清单或未越界修改为由丢弃；高成本项按核验申报口径执行（复核轮按轮次口径收敛，不重走首轮全量）"

package/assets/workflows/task.yaml

@@ -63,7 +63,7 @@ phases:
           - "实施前识别 spec 描述的一并操作行为组（如状态变更与数据入队这类需同时发生的多个行为）；实施后逐项自证每个行为真实生效，禁止以单一状态字段的实现替代其他行为"
           - "涉及数据模型或流程产出变更（含字段/实体承载位置搬迁、AI 生成等流程产物）时，自证须包含关键数据产出断言：产出字段已持久化到 spec 指定承载位置且值完整非空、搬迁承接与同一输入产出基线一致（按已加载接口测试规范执行）；禁止仅以流程跑通/接口成功替代"
           - "自证/验证需启动服务或基础设施时，一律按已加载技术栈 skill 的隔离启动规范以隔离方式启动，隔离标识与建议端口以视图 Worktree 区块为准；隔离对象不限于数据库——为本变更启动的 mock 服务、消息队列/缓存等中间件、扫描分析平台等一切环境资源均须按隔离标识隔离，禁止复用既有实例或共享端口；启动前发现隔离环境有残留时，先按已加载的清理规范幂等清空再启动"
-          - "涉及接口契约或数据口径变更（按已加载的接口测试规范判定）时，实施过程中即时更新/新建与变更接口对应的 `.http` 测试脚本（已有脚本更新为匹配变更后契约，尚无脚本则新建，并同步 SQL 前置数据脚本），按已加载接口测试规范的完整执行顺序（含 SQL 前置数据准备、隔离启动基础设施与服务、执行 `.http` 脚本）执行接口测试，确保变更内容真实有效；执行结果纳入自证与 self_check_results；修复被驳回 issue 后再次提交前同样须执行"
+          - "涉及接口契约或数据口径变更（按已加载的接口测试规范判定）时，实施过程中即时更新/新建与变更接口对应的 `.http` 测试脚本（已有脚本更新为匹配变更后契约，尚无脚本则新建，并同步 SQL 前置数据脚本），按已加载接口测试规范的完整执行顺序（含 SQL 前置数据准备、隔离启动基础设施与服务、执行 `.http` 脚本）执行接口测试，确保变更内容真实有效；执行结果（附执行顺序与覆盖接口清单）经 test_results 参数提交；修复被驳回 issue 后再次提交前同样须执行"
           - "自证完成后停止本次启动的服务/基础设施实例，不留残留"
           - "环境/基础设施问题（schema 缺失、DDL 未执行、依赖未安装）应通过 migration/初始化脚本等代码层面解决；仅生产级凭据、真实第三方资源、人工运维才走 blocker/豁免"
           - "issue 指向文件的目录已并入执行边界，修复这些文件（含回归引入问题）不算越界；issue 的 file 字段指向 openspec/changes/ 下文档时，按该 issue 要求修复对应文档同样不算越界（仅限该 issue 指定文件，不得扩大范围）；可按 issue 的 suggestion 直接执行修复；reviewer 的 boundary_expansion 已并入边界"

package/dsh/cordis.patch.yml

@@ -49,7 +49,7 @@
 
           ## 角色（开发者身份）
 
-          你是后端开发工程师，专注于实现 OpenSpec 任务组中的代码开发任务。
+          你是后端开发工程师，专注于实现 OpenSpec 任务组中的代码开发任务，同时是质量门与接口测试的执行责任人：确定性检查与接口测试由你执行并经自检申报留痕，自检申报是 reviewer 分级复验的事实输入。
 
           提交前按已加载 skill（含质量维度规范类）完成自检，审查兜底与终局裁定仍由对应 reviewer 承担（自检不替代 reviewer 裁定）。
 
@@ -96,7 +96,7 @@
           - **工具维度审查者**（tool review，full 模式三层门禁第一层）：执行确定性工具检查，将工具输出映射为统一 issue 结构；简单（simple）模式亦承担该职责
           - **任务维度审查者**（task review，full 模式三层门禁第二层）：验证 task 产出完整性、启动服务并检查健康、独立执行 API 测试并审查质量、审查测试代码质量；验证完成后清理本变更启动的环境（停止残留服务、清理隔离环境）；简单（simple）模式亦承担该职责
           - **质量维度审查者**（quality review，full 模式三层门禁第三层）：按分派维度（style / architecture / performance / security / maintainability）审查
-          - **simple 合并审查者**：同时承担确定性工具检查、任务验证与全维度审查；验证完成后清理本变更启动的环境（停止残留服务、清理隔离环境）
+          - **simple 合并审查者**：以分级复验与对抗审查承担 simple 模式合并审查——低成本确定性工具实跑，高成本项核验 dev 自检申报并以核心链路抽样重放验证，对抗性判断（测试代码质量、业务行为真实性、关键数据产出核验）保持独立视角不重走 dev 路径；验证完成后清理本变更启动的环境（停止残留服务、清理隔离环境）
 
           审查范围、非本轮问题处置、文档读取范围、既有 issue 去重与工具调用边界以 opx_status 操作指引与约束区块为准，此处不重复描述。
 
@@ -274,6 +274,7 @@
 
           - **确定性工具检查**：工具维度审查者与 simple 合并审查者被允许运行确定性工具检查（代码格式/架构约束/静态分析/单元测试编译/深度扫描），按已加载质量门 skill 的必做清单执行并将输出映射为统一 issue 结构；检查结果纳入审查结论
           - **任务验证**：任务维度审查者与 simple 合并审查者承担任务验证职责，验证 task 产出完整性、服务健康与 API 测试质量；未通过的 task 经 failed_tasks 上报；验证完成后按清理规范做幂等清理，不留环境残留；数据产出核验——对照 spec 数据产出要求核验关键数据产出落位/完整性/搬迁承接/基线对比，识别『流程正常但数据缺失/落错位置』类缺陷
+          - **维度审查锚点**：以 spec 验收标准、行为组与数据产出要求为主锚做对照审查，skill 检查点清单与 dev 自检申报对照兜底（抽查申报遗漏项）
           - **工具改进**：可工具化的质量 pattern 双报业务 issue 与工具改进 issue（规则草案由审查者提供），实施工作由开发者完成，审查者不直接改动规则/配置文件以外的实现
 
           ## 压制判定

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@ifrankwang/openspec-agents",
-  "version": "0.128.0",
+  "version": "0.131.0",
   "description": "OpenSpec change orchestration plugin for AI coding agents (Claude Code, Codex, ZCode, DeepSeek Harness, OpenCode)",
   "author": "ifrankwang",
   "license": "MIT",

package/src/core/git.ts

@@ -1,6 +1,16 @@
 import path from "path"
 import { execFile } from "node:child_process"
-import { readFile, writeFile, stat } from "node:fs/promises"
+import { readFile, writeFile, stat, rm } from "node:fs/promises"
+
+/** 判断路径是否存在于磁盘（fs 层判断，git 命令结果不作为存在性依据）。 */
+async function pathExists(p: string): Promise<boolean> {
+  try {
+    await stat(p)
+    return true
+  } catch {
+    return false
+  }
+}
 
 export interface GitRunner {
   run(worktree: string, args: string[]): Promise<string>
@@ -54,6 +64,85 @@ export async function runGitChecked(
   return gitRunner.runChecked(worktree, args)
 }
 
+/** worktree 清理结果：成功判定以目录从磁盘真实消失为准，不信任单条 git 命令的退出码。 */
+export interface WorktreeRemovalResult {
+  /** 目录最终是否已从磁盘消失。 */
+  dirResolved: boolean
+  /** 目录是否经文件系统兜底删除后才消失（true 表示主路径未直接达成，发生了补救）。 */
+  dirResolvedByFallback: boolean
+  /** worktree prune 是否执行成功（幽灵管理记录清理）。 */
+  pruned: boolean
+  /** 分支删除结果：null=未指定分支或因目录残留被跳过；true/false=删除断言结果。 */
+  branchDeleted: boolean | null
+  /** 各环节失败原因聚合（人类可读），全部成功时为空数组。 */
+  errors: string[]
+}
+
+/**
+ * 删除任务组 worktree 并清理关联管理记录（收尾清理与 set_worktree 复用失败重建共用）。
+ *
+ * 序列：
+ * 1. 目录不存在 → 直接 prune（清理只残留管理记录的幽灵 worktree）；
+ * 2. 目录存在 → `git worktree remove --force`；命令失败或目录仍在磁盘时走补救链：
+ *    fs 递归删除 + prune（prune 失败仅记入 errors，不阻断）；
+ * 3. 目录确认消失后才 `git branch -D`；仍残留则跳过删分支并记入 errors，
+ *    防止孤儿分支掩盖问题、以及向不完整状态发出被 git 拒绝的命令。
+ *
+ * @param repoRoot 主仓库根路径（worktree 管理命令的 -C 目标）
+ * @param wtPath 待删除的 worktree 路径
+ * @param opts.branchName 关联分支名；缺省/null 时只做 worktree 侧清理
+ */
+export async function removeTaskGroupWorktree(
+  repoRoot: string,
+  wtPath: string,
+  opts: { branchName?: string | null } = {},
+): Promise<WorktreeRemovalResult> {
+  const result: WorktreeRemovalResult = { dirResolved: false, dirResolvedByFallback: false, pruned: false, branchDeleted: null, errors: [] }
+
+  if (!(await pathExists(wtPath))) {
+    const pruneRes = await runGitChecked(repoRoot, ["worktree", "prune"])
+    if (pruneRes.success) result.pruned = true
+    else result.errors.push(`worktree prune 失败：${pruneRes.stderr}`)
+    result.dirResolved = true
+  } else {
+    const rmRes = await runGitChecked(repoRoot, ["worktree", "remove", wtPath, "--force"])
+    if (!rmRes.success) result.errors.push(`git worktree remove 失败：${rmRes.stderr}`)
+    if (await pathExists(wtPath)) {
+      // 补救链：fs 物理删除目录 + prune 清理残留管理记录
+      try {
+        await rm(wtPath, { recursive: true, force: true, maxRetries: 3, retryDelay: 100 })
+      } catch (e) {
+        result.errors.push(`文件系统兜底删除 "${wtPath}" 失败：${e instanceof Error ? e.message : String(e)}`)
+      }
+      const pruneRes = await runGitChecked(repoRoot, ["worktree", "prune"])
+      if (pruneRes.success) result.pruned = true
+      else result.errors.push(`worktree prune 失败：${pruneRes.stderr}`)
+      if (!(await pathExists(wtPath))) {
+        result.dirResolved = true
+        result.dirResolvedByFallback = true
+      }
+    } else {
+      result.dirResolved = true
+    }
+  }
+
+  if (!result.dirResolved) {
+    if (opts.branchName) {
+      result.errors.push(`目录 "${wtPath}" 未能删除，跳过分支 "${opts.branchName}" 的删除以保留排查线索`)
+    }
+    return result
+  }
+  if (opts.branchName) {
+    const branchRes = await runGitChecked(repoRoot, ["branch", "-D", opts.branchName])
+    if (branchRes.success) result.branchDeleted = true
+    else {
+      result.branchDeleted = false
+      result.errors.push(`删除分支 "${opts.branchName}" 失败：${branchRes.stderr}`)
+    }
+  }
+  return result
+}
+
 export async function getCurrentHead(worktree: string): Promise<string> {
   return runGit(worktree, ["rev-parse", "HEAD"])
 }

package/src/core/tools/gate.ts

@@ -11,6 +11,11 @@
  *   {"item":"<对应必做项>","category":"<降级类别>","adjudication":"user_response|unattended_auto|env_unavailable","note":"<说明>"}
  * adjudication 裁定方式枚举：user_response=用户答复、unattended_auto=无人值守自动降级、
  * env_unavailable=环境不可用（note 须记录尝试）。
+ *
+ * 必做覆盖口径：核验申报（completed=true + 描述注明核验方式与抽验样本，step 名首段 token 命中必做项）
+ * 是高成本必做项的合法覆盖形态——仅限 workflow 指令白名单限定的高成本必做项（deep_scan），低成本
+ * 必做项必须实跑后申报。覆盖判定只认 step 名 token 命中，不区分实跑与核验形态（机制层不拦截低成本项
+ * 误用核验申报形态，白名单约束由 workflow 指令与门禁错误提示承载）。
  */
 import {
   scanSkillTags,

package/src/core/tools/lifecycle.ts

@@ -1,8 +1,9 @@
 import path from "path"
+import { rmdir } from "node:fs/promises"
 import type { OrchestrateState, TaskItem, TaskStatus, WorkflowMode } from "../types.ts"
 import { BUILD_PHASE_TARGETS, REVIEW_LAYERS, REVIEW_VERIFY_STEPS } from "../types.ts"
 import { agentToReviewLayer } from "../constants.ts"
-import { runGit, runGitChecked, getCurrentBranch, getMergeBase, isWorktreeClean, markTaskGroupCheckboxesComplete, mergeBranchToTarget, discoverDiskWorktrees, detectMainRepoPollution, detectChanges, type DetectChangesResult } from "../git.ts"
+import { runGit, runGitChecked, getCurrentBranch, getMergeBase, isWorktreeClean, markTaskGroupCheckboxesComplete, mergeBranchToTarget, discoverDiskWorktrees, detectMainRepoPollution, detectChanges, removeTaskGroupWorktree, type DetectChangesResult } from "../git.ts"
 import { readStateByWorktree, readStateByChangeId, writeState, writeContextToWorktree } from "../state.ts"
 import { generateIsolationNamespace } from "../namespace.ts"
 import { readExemptions } from "../exemptions.ts"
@@ -576,13 +577,13 @@ export async function setWorktreeExecute(params: SetWorktreeParams, ctx: ToolCon
         await bindWorktreeRefs(item, existingPath, branch, state.baseBranch)
         reused = true
       } else {
-        const rmResult = await runGitChecked(repoRoot, ["worktree", "remove", existingPath, "--force"])
-        if (!rmResult.success) {
-          throw new Error(`无法清理已有 worktree "${existingPath}"：${rmResult.stderr}`)
-        }
-        const branchRmResult = await runGitChecked(repoRoot, ["branch", "-D", branch])
-        if (!branchRmResult.success) {
-          throw new Error(`无法清理已有分支 "${branch}"：${branchRmResult.stderr}`)
+        // 复用失败的清理走共享清理函数：目录侧（git remove + fs 兜底 + prune）与分支删除统一语义
+        const cleanup = await removeTaskGroupWorktree(repoRoot, existingPath, { branchName: branch })
+        if (!cleanup.dirResolved || cleanup.branchDeleted === false) {
+          const problems: string[] = []
+          if (!cleanup.dirResolved) problems.push(`无法清理已有 worktree "${existingPath}"`)
+          if (cleanup.branchDeleted === false) problems.push(`无法清理已有分支 "${branch}"`)
+          throw new Error(`${problems.join("；")}：${cleanup.errors.join("；") || "原因未知"}\n请手动处理后重试。`)
         }
       }
     }
@@ -641,16 +642,17 @@ export async function statusExecute(params: StatusParams, ctx: ToolContext): Pro
   const tg = findTaskGroup(state, state.taskGroupId)
   // 主仓库 openspec 污染诊断（56ddfe9 意图）：编排者分派视图展示主仓库污染，供编排者人工核对
   const mainPollution = ctx.orchestrator ? await detectMainRepoPollution(ctx.worktree) : null
-  // tool review 检查点增量检测（A4）：verify_tool 的 reviewer-tool 工作视图按「检查点 → 当前 HEAD」区间
-  // 变更分流（直提 / 仅处理待复核项 / 全量）。渲染层为同步函数，此处预计算后经 WorkflowStatusViewOptions 传入。
-  // 仅在推荐分派该 agent 时计算，其余角色/step 不产生额外 git 调用。
+  // tool review 检查点增量检测（A4）：full 的 verify_tool（reviewer-tool）与 simple 的 quality_review
+  // （合并审查者 openspec-reviewer）工作视图均按「检查点 → 当前 HEAD」区间变更分流。渲染层为同步函数，
+  // 此处预计算后经 WorkflowStatusViewOptions 传入。仅推荐分派对应 agent 时计算（verify_tool → reviewer-tool、
+  // quality_review → openspec-reviewer），其余角色/step 不产生额外 git 调用。
   let toolChanges: DetectChangesResult | undefined
-  if (
-    agentToReviewLayer(agent) === "tool" &&
+  const changesEvidenceStep =
     rec.status === "recommend" &&
-    rec.stepId === "verify_tool" &&
-    rec.agents.includes(agent)
-  ) {
+    rec.agents.includes(agent) &&
+    ((agentToReviewLayer(agent) === "tool" && rec.stepId === "verify_tool") ||
+      (agent === "openspec-reviewer" && rec.stepId === "quality_review"))
+  if (changesEvidenceStep) {
     const wtPath = typeof item.metadata["worktree_path"] === "string" ? item.metadata["worktree_path"] : undefined
     if (wtPath) {
       const checkpoint =
@@ -666,6 +668,22 @@ export async function statusExecute(params: StatusParams, ctx: ToolContext): Pro
   return renderWorkflowStatusView(item, workflow, rec, { agent, orchestrator: ctx.orchestrator, identityDeclared: ctx.identityDeclared }, { state, tg, mainPollution, toolChanges, exemptedHits, exemptionItems })
 }
 
+/**
+ * 收尾后清扫默认布局的空父目录（`.worktree/<changeId>` 与 `.worktree`）：
+ * 仅对这两级字面路径做非递归 rmdir（空目录才会成功），任一失败静默忽略。
+ * 自定义 worktree_path 时以「被删目录的实际 dirname === `.worktree/<changeId>`」判定是否可扫第一级，
+ * 第二级固定只试 `.worktree` 本身；其余任意父路径一律不做处理。
+ */
+async function sweepEmptyWorktreeParents(repoRoot: string, removedDir: string, changeId: string): Promise<void> {
+  const repoRootAbs = path.resolve(repoRoot)
+  const groupLevelDir = path.join(repoRootAbs, ".worktree", changeId)
+  const worktreeLevelDir = path.join(repoRootAbs, ".worktree")
+  if (path.dirname(path.resolve(removedDir)) === groupLevelDir) {
+    try { await rmdir(groupLevelDir) } catch {}
+  }
+  try { await rmdir(worktreeLevelDir) } catch {}
+}
+
 export async function completeTaskGroupExecute(params: { change_id: string }, ctx: ToolContext): Promise<string> {
   assertOrchestrator(ctx, "opx_orch_complete_task_group")
   const state = await readStateByWorktree(ctx.worktree, params.change_id)
@@ -730,17 +748,40 @@ export async function completeTaskGroupExecute(params: { change_id: string }, ct
       ].join("\n")
     }
   }
-  if (worktreePath && branchName) {
-    try {
-      await runGit(ctx.worktree, ["worktree", "remove", worktreePath, "--force"])
-      await runGit(ctx.worktree, ["branch", "-D", branchName])
-    } catch {
+  // 收尾清理：只要记录了 worktree_path 就执行；branch_name 缺省时仅做 worktree 侧清理。
+  // 残留不阻断收尾：completed_at 照写，残留信息写入 metadata.cleanup_residual 并在返回体给出人工处理命令。
+  let cleanupNote = ""
+  let cleanupResidualWarning = ""
+  if (worktreePath) {
+    const cleanup = await removeTaskGroupWorktree(ctx.worktree, worktreePath, { branchName })
+    if (cleanup.dirResolved) {
+      await sweepEmptyWorktreeParents(ctx.worktree, worktreePath, params.change_id)
+      const successNotes: string[] = []
+      if (cleanup.dirResolvedByFallback) {
+        successNotes.push("- **cleanup**: git worktree remove 未直接移除目录，已按文件系统兜底删除并 prune 管理记录。")
+      }
+      if (cleanup.errors.length > 0) {
+        successNotes.push(`- **cleanup 部分告警**: ${cleanup.errors.join("；")}`)
+      }
+      cleanupNote = successNotes.join("\n")
+    } else {
+      item.metadata["cleanup_residual"] = { worktree_path: worktreePath, errors: cleanup.errors }
+      cleanupResidualWarning = [
+        "",
+        "## ⚠️ worktree 清理残留（不影响收尾）",
+        `- **残留路径**: \`${worktreePath}\``,
+        "- **原因**:",
+        ...cleanup.errors.map((e) => `  - ${e}`),
+        `- **处理**: 请人工执行 \`rm -rf '${worktreePath}' && git worktree prune\` 清理残留目录与 git 管理记录。`,
+        branchName ? `- **分支**: 分支 "${branchName}" 未删除。` : "",
+      ].filter(Boolean).join("\n")
     }
   }
   item.metadata["completed_at"] = new Date().toISOString()
   await writeState(ctx.worktree, state)
   const doneMessage = `任务组已完成并合并到 "${mergeTarget}"。`
-  return checkboxWarning ? `${doneMessage}\n${checkboxWarning}` : doneMessage
+  const notes = [cleanupNote, checkboxWarning, cleanupResidualWarning].filter(Boolean)
+  return notes.length > 0 ? `${doneMessage}\n${notes.join("\n")}` : doneMessage
 }
 
 export async function setUnattendedExecute(params: UnattendedParams, ctx: ToolContext): Promise<string> {

package/src/core/tools/schemas.ts

@@ -333,7 +333,11 @@ export const agentSubmitSchema: JSONSchema = {
       description: "implement step：已完成的 task id（覆盖门禁：全部 open/rejected task 必须被覆盖）",
       items: { type: "string" },
     },
-    test_results: { type: "string", description: "verify_tool step：UT 运行结果摘要" },
+    test_results: {
+      type: "string",
+      description:
+        "implement / verify_tool step：测试运行结果摘要（implement 为接口测试执行结果——附执行顺序与覆盖接口清单；verify_tool 为 UT 运行结果摘要）；quality_review（simple 合并审查）下由开发者在 implement 申报，审查者提交时不生效",
+    },
     validation_steps: {
       type: "array",
       description: "review step：验证步骤执行摘要",

package/src/core/tools/submit.ts

@@ -264,7 +264,8 @@ function handleAnalyzeParams(item: WorkItem, params: AgentSubmitParams): void {
   }
 }
 
-/** implement step 参数处理：blocker（on_fail）、completed_task_ids + 覆盖门禁、self_check_results。 */
+/** implement step 参数处理：blocker（on_fail）、completed_task_ids + 覆盖门禁、self_check_results /
+ *  test_results 申报存档。 */
 function handleImplementParams(item: WorkItem, params: AgentSubmitParams): void {
   if (params.blocker) {
     if (params.verdict !== "failed") {
@@ -311,6 +312,11 @@ function handleImplementParams(item: WorkItem, params: AgentSubmitParams): void
   if (params.self_check_results) {
     item.metadata["self_check_results"] = params.self_check_results
   }
+  // test_results 为 dev 申报的接口测试执行结果存档（simple 模式 quality_review 视图「开发者自检申报」
+  // 区块渲染源），与 self_check_results 同为跨角色可见的正式提交参数存档。
+  if (params.test_results) {
+    item.metadata["test_results"] = params.test_results
+  }
 }
 
 /** 把 boundary_expansion 的目录/包合并进执行边界（metadata 为事实源，缺失则忽略）。 */
@@ -395,7 +401,7 @@ function assertFailedHasReason(
   }
 }
 
-/** review step（verify_tool/verify_task/verify_quality）参数处理。 */
+/** review step（verify_tool/verify_task/verify_quality/quality_review）参数处理。 */
 function handleReviewParams(
   item: WorkItem,
   params: AgentSubmitParams,
@@ -417,7 +423,10 @@ function handleReviewParams(
     mergeBoundaryInto(item, params.boundary_expansion)
   }
 
-  if (params.test_results) item.metadata["test_results"] = params.test_results
+  // test_results 透传：full 模式 verify_tool 的 UT 摘要写入不受影响；simple 模式 quality_review 下
+  // test_results 是 dev 申报的接口测试结果存档（quality_review 视图「开发者自检申报」区块渲染源），
+  // 合并审查者提交不得覆盖 dev 申报（spec 契约：申报区块语义为 dev 产出）。
+  if (params.test_results && stepId !== "quality_review") item.metadata["test_results"] = params.test_results
 
   if (params.validation_steps) {
     // 结构化 skip_reason 校验（升级既有「非空即可」）：未完成项必须带合法结构化降级声明
@@ -428,6 +437,9 @@ function handleReviewParams(
   // 必做清单覆盖度门禁：verdict=passed 且非补交豁免（仅裁定参数）时，validation_steps 须逐项覆盖
   // 当前 agent 能力集解析出的质量门 skill 必做清单（must_do）。遗漏必做项且无有效降级证据 → 拒绝提交。
   // 未声明 must_do 的 skill / 解析不到质量门 skill 的 step 自动跳过（不误伤 verify_task/verify_quality）。
+  // 覆盖口径：核验申报（completed=true + 描述注明核验方式与抽验样本，step 名首段 token 命中必做项）是
+  // 高成本必做项的合法覆盖形态，仅限 workflow 指令白名单限定的高成本必做项（deep_scan）；低成本必做项
+  // 必须实跑后申报（机制层只认 token 命中不区分形态，白名单口径在错误提示中明示）。
   if (params.verdict === "passed" && !opts.skipMustDoGate) {
     const uncovered = uncoveredMustDo(opts.capabilityTags, params.validation_steps)
     if (uncovered.length > 0) {
@@ -435,7 +447,8 @@ function handleReviewParams(
         `提交的验证步骤未覆盖质量门 skill 必做清单，缺少以下必做项：${uncovered.join("、")}。\n` +
         `请按已加载质量门类 skill 的必做清单逐项执行并逐项申报结果（completed=true）；` +
         `确实无法执行的必做项须以结构化 skip_reason 申报降级理由` +
-        `（格式：${SKIP_REASON_FORMAT}）。`
+        `（格式：${SKIP_REASON_FORMAT}）。` +
+        `低成本必做项必须实跑后申报；核验申报仅限 workflow 指令白名单限定的高成本必做项。`
       )
     }
   }
@@ -777,10 +790,15 @@ export async function agentSubmitExecute(params: AgentSubmitParams, ctx: ToolCon
       })
     }
 
-    // tool review 检查点增量检测（A3）：verify_tool 的 reviewer-tool 提交成功后记录当前 HEAD，
-    // 供下次重进 verify_tool 时仅对比「检查点 → 当前 HEAD」区间的变更（无代码/配置变更时直提 passed，
-    // 省去全量工具扫描）。写入位于 submitForStep 成功与 writeState 之间，任何异常路径均不落盘（零状态变更）。
-    if (params.step_id === "verify_tool" && agentToReviewLayer(ctx.agent) === "tool") {
+    // 审查检查点增量检测（A3）：full 的 verify_tool（reviewer-tool）与 simple 的 quality_review
+    // （合并审查者 openspec-reviewer）提交成功后记录当前 HEAD，供下次重进该 step 时仅对比「检查点 →
+    // 当前 HEAD」区间的变更（无代码/配置变更时直提 passed，省去全量工具扫描）。两者写同一 metadata key
+    // `_tool_review_checkpoint`，但 simple / full 两 workflow 无对方 step，读写互不交叉。写入位于
+    // submitForStep 成功与 writeState 之间，任何异常路径均不落盘（零状态变更）。
+    if (
+      (params.step_id === "verify_tool" && agentToReviewLayer(ctx.agent) === "tool") ||
+      (params.step_id === "quality_review" && ctx.agent === "openspec-reviewer")
+    ) {
       const head = await getCurrentHead(wtPath)
       if (head) item.metadata["_tool_review_checkpoint"] = head
     }

package/src/core/views.ts

@@ -165,6 +165,27 @@ export function renderAgentSummaries(agentSummaries: Record<string, string> | un
   return lines
 }
 
+/** 开发者自检申报渲染。数据源为 workItem metadata 的 self_check_results / test_results（提交参数的存档），
+ *  分「自检申报（self_check_results）」与「接口测试结果（test_results）」两段渲染，两者皆缺失/为空时
+ *  返回空数组（不渲染空区块）。
+ *  与 renderAgentSummaries 的语义区分：会话摘要按角色隔离（辅助记忆，不跨 agent 传递）；自检申报是
+ *  正式提交参数的存档，跨角色可见是设计意图——reviewer 分级复验以 dev 申报为事实输入（低成本实跑对照、
+ *  高成本项核验申报+抽样重放），不违反「子代理上下文不得转述」：该条约束的是编排者在分派 prompt 中
+ *  转述动态上下文，视图渲染动态上下文本就是 opx_status 工具本职。 */
+export function renderDevSelfCheckDeclaration(metadata: Record<string, unknown>): string[] {
+  const selfCheck = typeof metadata["self_check_results"] === "string" ? metadata["self_check_results"].trim() : ""
+  const testResults = typeof metadata["test_results"] === "string" ? metadata["test_results"].trim() : ""
+  if (selfCheck === "" && testResults === "") return []
+  const lines: string[] = ["## 开发者自检申报", ""]
+  if (selfCheck !== "") {
+    lines.push("**自检申报（self_check_results）**：", "", selfCheck, "")
+  }
+  if (testResults !== "") {
+    lines.push("**接口测试结果（test_results）**：", "", testResults, "")
+  }
+  return lines
+}
+
 // ─── 占位符插值层 ───
 
 /** 插值白名单：仅这些 key 可被 {{key}} 占位符引用，其余一律保留原文（防配置注入任意动态值）。 */