@house365/comate 0.9.4 → 0.9.5

package/skills/comate-open/SKILL.md

@@ -1,157 +1,157 @@
----
-name: comate-open
-description: "comate 阶段 1：开题。用 /comate-open 调用。通过 OpenSpec 探索想法、创建 change 结构（proposal + design + tasks）并初始化 .comate.yaml。"
----
-
-# comate 阶段 1：开题（Open）
-
-## 前置条件
-
-- 无活跃 change，或用户希望创建新 change
-
-## 步骤
-
-### 1. 探索想法
-
-**立即执行：** 使用 Skill 工具加载 `openspec-explore` 技能。禁止跳过。加载后按其指引自由探索问题空间。
-
-### 2. PRD 门禁前置守卫（从 PRD 建 change 时必须先通过）
-
-若本 change **来自一份原始 PRD**（用户经 `/comate-gate` 拆分而来，或直接指定了来源 PRD），**在创建 change 结构之前**必须先过门禁守卫：
-
-```bash
-COMATE="${COMATE:-$(for r in . ./.agents/skills ./.claude/skills ./.cursor/skills ./.codex/skills "$HOME"/.agents/skills "$HOME"/.claude/skills "$HOME"/.config/skills "$HOME"/.cursor/skills "$HOME"/.codex/skills "$HOME"/.gemini/skills; do
-  [ -d "$r" ] && find "$r" -maxdepth 6 -path '*/comate/scripts/comate.sh' -type f -print -quit 2>/dev/null
-done | head -1)}"
-if [ -z "$COMATE" ]; then
-  echo "ERROR: comate.sh 未找到，请确认 comate skill 已安装。" >&2
-  return 1 2>/dev/null || exit 1
-fi
-
-bash "$COMATE" gate <prd路径> check
-```
-
-- **PASS（exit 0）**：`<PRD>.gate.yaml` 存在、`gate_status ∈ {passed, passed-with-tbd}`、且 PRD 哈希未漂移。继续下一步创建 change。
-- **BLOCK（exit 1）**：门禁不存在 / 未通过 / PRD 通过后被改（stale）。**不得创建 change**，停止并提示用户先跑 `/comate-gate` 对该 PRD 过门禁。
-
-需求**来自对话**（非 PRD）时跳过本步——门禁只约束「PRD → change」这条路径。
-
-### 3. 创建 Change 结构 + 初始化状态
-
-**立即执行：** 使用 Skill 工具加载 `openspec-new-change` 技能。若用户意图未明确、需先形成建议，改为加载 `openspec-propose`。禁止跳过。
-
-**命名与范围守卫**：change name 必须用用户指定或经 AskUserQuestion 确认的名称，不得自动生成或推断。变更范围必须与用户描述一致，不得自行扩大或缩小。
-
-确认产物已创建：
-
-```
-openspec/changes/<name>/
-├── .openspec.yaml
-├── proposal.md       # Why + What：问题、目标、范围、非目标
-├── design.md         # How（高层）：架构决策、方案选型、数据流
-└── tasks.md          # 任务清单（勾选框）
-```
-
-定位 comate 脚本并初始化 `.comate.yaml`：
-
-```bash
-COMATE="${COMATE:-$(for r in . ./.agents/skills ./.claude/skills ./.cursor/skills ./.codex/skills "$HOME"/.agents/skills "$HOME"/.claude/skills "$HOME"/.config/skills "$HOME"/.cursor/skills "$HOME"/.codex/skills "$HOME"/.gemini/skills; do
-  [ -d "$r" ] && find "$r" -maxdepth 6 -path '*/comate/scripts/comate.sh' -type f -print -quit 2>/dev/null
-done | head -1)}"
-if [ -z "$COMATE" ]; then
-  echo "ERROR: comate.sh 未找到，请确认 comate skill 已安装。" >&2
-  return 1 2>/dev/null || exit 1
-fi
-
-```
-
-### 3b. 判定需求来源(源文件追踪)
-
-`state init` 默认写入 `source_kind: conversation`、`source_manifest: null`(需求由对话产生)。
-
-若本次需求来自 `docs/knowledge-base/` 下的一份或多份知识库文档,追踪它们以支持后续双向排查:
-
-```bash
-bash "$COMATE" sources <name> track docs/knowledge-base/<path>.md --note "<可选说明>"
-```
-
-- 追踪成功后 `source_kind` 自动改为 `file`,并在 `openspec/changes/<name>/.comate/sources.manifest` 钉住每个文件当时的 sha256 与 commit ref。
-- 仅 `docs/knowledge-base/` 范围内的文件可追踪;范围外文件会被跳过并提示,`source_kind` 保持 `conversation`,不影响流程。
-- 边追踪边产生:若开题时为对话来源、设计中途才拿到知识库文档,后续任意阶段补 `sources <name> track` 即可,无需回到 open。
-
-### 3c. PRD 扇出记录（从 PRD 建 change 时必须登记）
-
-若本 change 来自 PRD，在创建完成后把该 change 记回门禁：
-
-```bash
-bash "$COMATE" gate <prd路径> spawned <name>
-```
-
-此步将 change 名称追加到 `<PRD>.gate.yaml` 的 `spawned_changes` 列表，用于追溯 PRD → change 的完整扇出关系。
-
-需求**来自对话**时跳过本步。
-
-### 3. 入口状态验证
-
-```bash
-bash "$COMATE" state <name> check open
-```
-
-验证通过后继续 Step 4。失败时脚本输出具体原因。
-
-**幂等性**：open 阶段所有操作可安全重复。若 `.comate.yaml` 已是 `phase: open` 且三件套已存在，跳过已完成步骤，从第一个缺失步骤继续。
-
-### 4. 内容完整性检查
-
-逐个确认三个文件路径存在且非空：
-- **proposal.md**：问题背景、目标、范围、非目标
-- **design.md**：高层架构决策、方案选型、数据流
-- **tasks.md**：任务列表，每个任务有明确描述
-
-任一文件缺失或为空时，不得进入 Step 5 或执行守卫，必须回创建步骤补充。
-
-### 5. 产物审视（决策阻塞点 1，按来源分类）
-
-三件套完成且 Step 4 完整性检查通过后，**先按来源分类，再决定是否需要用户输入**。规则见 `comate/reference/decision-points.md` 第 1 条。
-
-#### 5a. 判定是否属"PRD 扇出且范围一致"（可自动流转）
-
-同时满足以下**全部**条件时，本决策点降级为自动流转，**不 AskUserQuestion**：
-
-1. `source_kind: file`（本 change 追踪了源文件）；
-2. 追踪的源是一份 PRD，且 `bash "$COMATE" gate <prd路径> check` 返回 PASS（exit 0）——即门禁 `passed`/`passed-with-tbd` 且 PRD 哈希未漂移。PRD 路径从 `sources <name> list` 或 Step 2c 的上下文取得；
-3. change 名已记入该 PRD 的 `spawned_changes`（Step 6 的 `gate spawned` 已执行，通常由 `/comate-gate` 备妥）；
-4. **范围一致性自检**：proposal 的目标/范围/非目标忠实承接 gate 映射里本 change 认领的功能项——没有擅自扩大或缩小、没有认领未分配的功能项、没有漏掉已分配项。
-
-四条全成立时：范围/映射/命名已在决策点 6 由用户拍板，三件套只是承接，无新的有效选项。直接进入退出条件执行守卫流转，并**如实报告**：本 change 承接自哪份 PRD、认领哪些功能项、已核对范围与映射一致。
-
-#### 5b. 需要用户输入的两种情形（AskUserQuestion 阻塞）
-
-- **对话来源**（`source_kind: conversation`）：范围此前未经用户拍板，三件套第一次成形。
-- **PRD 扇出但 5a 第 4 条不成立**（范围与映射有偏差）：分歧重新出现。
-
-以上任一情形，**必须使用 AskUserQuestion 工具暂停等待用户确认**。以单选题呈现摘要（proposal 问题/目标/范围、design 架构决策/选型、tasks 数量与关键任务；PRD 偏差场景额外列出偏差点）和选项：
-- 「确认，继续下一阶段」— 执行守卫流转
-- 「需要调整」— 附调整说明（PRD 偏差场景默认建议按映射修正），修改后重新请求确认
-
-## 退出条件
-
-- 三件套已创建且内容完整
-- **用户已确认**
-- **阶段守卫**：运行 `bash "$COMATE" guard <name> open --apply`，全 PASS 后自动流转
-
-退出前必须 `--apply`，否则 `.comate.yaml` 停留在 `phase: open`，下阶段入口检查会失败。
-
-```bash
-bash "$COMATE" guard <name> open --apply
-```
-
-full 流程自动更新为 `phase: design`；fix 预设自动更新为 `phase: build`。
-
-## 自动流转
-
-用户确认后退出条件满足，自动流转：
-
-> **REQUIRED NEXT SKILL（完整流程）：** 调用 `comate-design` skill 进入深度设计。
->
-> fix 预设由 `/comate-fix` skill 控制后续流转（phase 直接进 build），不经过本节。
+---
+name: comate-open
+description: "comate 阶段 1：开题。用 /comate-open 调用。通过 OpenSpec 探索想法、创建 change 结构（proposal + design + tasks）并初始化 .comate.yaml。"
+---
+
+# comate 阶段 1：开题（Open）
+
+## 前置条件
+
+- 无活跃 change，或用户希望创建新 change
+
+## 步骤
+
+### 1. 探索想法
+
+**立即执行：** 使用 Skill 工具加载 `openspec-explore` 技能。禁止跳过。加载后按其指引自由探索问题空间。
+
+### 2. PRD 门禁前置守卫（从 PRD 建 change 时必须先通过）
+
+若本 change **来自一份原始 PRD**（用户经 `/comate-gate` 拆分而来，或直接指定了来源 PRD），**在创建 change 结构之前**必须先过门禁守卫：
+
+```bash
+COMATE="${COMATE:-$(for r in . ./.agents/skills ./.claude/skills ./.cursor/skills ./.codex/skills "$HOME"/.agents/skills "$HOME"/.claude/skills "$HOME"/.config/skills "$HOME"/.cursor/skills "$HOME"/.codex/skills "$HOME"/.gemini/skills; do
+  [ -d "$r" ] && find "$r" -maxdepth 6 -path '*/comate/scripts/comate.sh' -type f -print -quit 2>/dev/null
+done | head -1)}"
+if [ -z "$COMATE" ]; then
+  echo "ERROR: comate.sh 未找到，请确认 comate skill 已安装。" >&2
+  return 1 2>/dev/null || exit 1
+fi
+
+bash "$COMATE" gate <prd路径> check
+```
+
+- **PASS（exit 0）**：`<PRD>.gate.yaml` 存在、`gate_status ∈ {passed, passed-with-tbd}`、且 PRD 哈希未漂移。继续下一步创建 change。
+- **BLOCK（exit 1）**：门禁不存在 / 未通过 / PRD 通过后被改（stale）。**不得创建 change**，停止并提示用户先跑 `/comate-gate` 对该 PRD 过门禁。
+
+需求**来自对话**（非 PRD）时跳过本步——门禁只约束「PRD → change」这条路径。
+
+### 3. 创建 Change 结构 + 初始化状态
+
+**立即执行：** 使用 Skill 工具加载 `openspec-new-change` 技能。若用户意图未明确、需先形成建议，改为加载 `openspec-propose`。禁止跳过。
+
+**命名与范围守卫**：change name 必须用用户指定或经 AskUserQuestion 确认的名称，不得自动生成或推断。变更范围必须与用户描述一致，不得自行扩大或缩小。
+
+确认产物已创建：
+
+```
+openspec/changes/<name>/
+├── .openspec.yaml
+├── proposal.md       # Why + What：问题、目标、范围、非目标
+├── design.md         # How（高层）：架构决策、方案选型、数据流
+└── tasks.md          # 任务清单（勾选框）
+```
+
+定位 comate 脚本并初始化 `.comate.yaml`：
+
+```bash
+COMATE="${COMATE:-$(for r in . ./.agents/skills ./.claude/skills ./.cursor/skills ./.codex/skills "$HOME"/.agents/skills "$HOME"/.claude/skills "$HOME"/.config/skills "$HOME"/.cursor/skills "$HOME"/.codex/skills "$HOME"/.gemini/skills; do
+  [ -d "$r" ] && find "$r" -maxdepth 6 -path '*/comate/scripts/comate.sh' -type f -print -quit 2>/dev/null
+done | head -1)}"
+if [ -z "$COMATE" ]; then
+  echo "ERROR: comate.sh 未找到，请确认 comate skill 已安装。" >&2
+  return 1 2>/dev/null || exit 1
+fi
+
+```
+
+### 3b. 判定需求来源(源文件追踪)
+
+`state init` 默认写入 `source_kind: conversation`、`source_manifest: null`(需求由对话产生)。
+
+若本次需求来自 `docs/knowledge-base/` 下的一份或多份知识库文档,追踪它们以支持后续双向排查:
+
+```bash
+bash "$COMATE" sources <name> track docs/knowledge-base/<path>.md --note "<可选说明>"
+```
+
+- 追踪成功后 `source_kind` 自动改为 `file`,并在 `openspec/changes/<name>/.comate/sources.manifest` 钉住每个文件当时的 sha256 与 commit ref。
+- 仅 `docs/knowledge-base/` 范围内的文件可追踪;范围外文件会被跳过并提示,`source_kind` 保持 `conversation`,不影响流程。
+- 边追踪边产生:若开题时为对话来源、设计中途才拿到知识库文档,后续任意阶段补 `sources <name> track` 即可,无需回到 open。
+
+### 3c. PRD 扇出记录（从 PRD 建 change 时必须登记）
+
+若本 change 来自 PRD，在创建完成后把该 change 记回门禁：
+
+```bash
+bash "$COMATE" gate <prd路径> spawned <name>
+```
+
+此步将 change 名称追加到 `<PRD>.gate.yaml` 的 `spawned_changes` 列表，用于追溯 PRD → change 的完整扇出关系。
+
+需求**来自对话**时跳过本步。
+
+### 3. 入口状态验证
+
+```bash
+bash "$COMATE" state <name> check open
+```
+
+验证通过后继续 Step 4。失败时脚本输出具体原因。
+
+**幂等性**：open 阶段所有操作可安全重复。若 `.comate.yaml` 已是 `phase: open` 且三件套已存在，跳过已完成步骤，从第一个缺失步骤继续。
+
+### 4. 内容完整性检查
+
+逐个确认三个文件路径存在且非空：
+- **proposal.md**：问题背景、目标、范围、非目标
+- **design.md**：高层架构决策、方案选型、数据流
+- **tasks.md**：任务列表，每个任务有明确描述
+
+任一文件缺失或为空时，不得进入 Step 5 或执行守卫，必须回创建步骤补充。
+
+### 5. 产物审视（决策阻塞点 1，按来源分类）
+
+三件套完成且 Step 4 完整性检查通过后，**先按来源分类，再决定是否需要用户输入**。规则见 `comate/reference/decision-points.md` 第 1 条。
+
+#### 5a. 判定是否属"PRD 扇出且范围一致"（可自动流转）
+
+同时满足以下**全部**条件时，本决策点降级为自动流转，**不 AskUserQuestion**：
+
+1. `source_kind: file`（本 change 追踪了源文件）；
+2. 追踪的源是一份 PRD，且 `bash "$COMATE" gate <prd路径> check` 返回 PASS（exit 0）——即门禁 `passed`/`passed-with-tbd` 且 PRD 哈希未漂移。PRD 路径从 `sources <name> list` 或 Step 2c 的上下文取得；
+3. change 名已记入该 PRD 的 `spawned_changes`（Step 6 的 `gate spawned` 已执行，通常由 `/comate-gate` 备妥）；
+4. **范围一致性自检**：proposal 的目标/范围/非目标忠实承接 gate 映射里本 change 认领的功能项——没有擅自扩大或缩小、没有认领未分配的功能项、没有漏掉已分配项。
+
+四条全成立时：范围/映射/命名已在决策点 6 由用户拍板，三件套只是承接，无新的有效选项。直接进入退出条件执行守卫流转，并**如实报告**：本 change 承接自哪份 PRD、认领哪些功能项、已核对范围与映射一致。
+
+#### 5b. 需要用户输入的两种情形（AskUserQuestion 阻塞）
+
+- **对话来源**（`source_kind: conversation`）：范围此前未经用户拍板，三件套第一次成形。
+- **PRD 扇出但 5a 第 4 条不成立**（范围与映射有偏差）：分歧重新出现。
+
+以上任一情形，**必须使用 AskUserQuestion 工具暂停等待用户确认**。以单选题呈现摘要（proposal 问题/目标/范围、design 架构决策/选型、tasks 数量与关键任务；PRD 偏差场景额外列出偏差点）和选项：
+- 「确认，继续下一阶段」— 执行守卫流转
+- 「需要调整」— 附调整说明（PRD 偏差场景默认建议按映射修正），修改后重新请求确认
+
+## 退出条件
+
+- 三件套已创建且内容完整
+- **用户已确认**
+- **阶段守卫**：运行 `bash "$COMATE" guard <name> open --apply`，全 PASS 后自动流转
+
+退出前必须 `--apply`，否则 `.comate.yaml` 停留在 `phase: open`，下阶段入口检查会失败。
+
+```bash
+bash "$COMATE" guard <name> open --apply
+```
+
+full 流程自动更新为 `phase: design`；fix 预设自动更新为 `phase: build`。
+
+## 自动流转
+
+用户确认后退出条件满足，自动流转：
+
+> **REQUIRED NEXT SKILL（完整流程）：** 调用 `comate-design` skill 进入深度设计。
+>
+> fix 预设由 `/comate-fix` skill 控制后续流转（phase 直接进 build），不经过本节。

package/skills/comate-verify/SKILL.md

@@ -1,155 +1,155 @@
----
-name: comate-verify
-description: "comate 阶段 4：验证与收尾。用 /comate-verify 调用。验证实现符合设计，处理开发分支。"
----
-
-# comate 阶段 4：验证与收尾（Verify）
-
-## 前置条件
-
-- 代码已提交（阶段 3 完成）
-- tasks.md 全部任务已完成
-
-## 步骤
-
-### 0. 入口状态验证
-
-```bash
-COMATE="${COMATE:-$(for r in . ./.agents/skills ./.claude/skills ./.cursor/skills ./.codex/skills "$HOME"/.agents/skills "$HOME"/.claude/skills "$HOME"/.config/skills "$HOME"/.cursor/skills "$HOME"/.codex/skills "$HOME"/.gemini/skills; do
-  [ -d "$r" ] && find "$r" -maxdepth 6 -path '*/comate/scripts/comate.sh' -type f -print -quit 2>/dev/null
-done | head -1)}"
-if [ -z "$COMATE" ]; then
-  echo "ERROR: comate.sh 未找到，请确认 comate skill 已安装。" >&2
-  return 1 2>/dev/null || exit 1
-fi
-bash "$COMATE" state <name> check verify
-```
-
-**幂等性**：verify 阶段检查可安全重复。若 `verify_result` 已为 `pass` 且 `branch_status` 为 `handled`，直接执行 guard 流转；若为 `pending`，从头验证。
-
-### 1. 改动规模评估
-
-```bash
-bash "$COMATE" state <name> scale
-```
-
-脚本统计任务数、增量规格数、变更文件数，判断 light/full 验证模式并设 `verify_mode`。输出会标注用了哪个基线（plan base-ref / state base_ref / 工作树 diff）。
-
-验证开始前，按 `comate/reference/dirty-worktree.md` 处理未提交改动。verify 阶段特例：
-1. dirty diff 属于当前 change 且涉及实现/测试/tasks/spec/design doc → 不在 verify 直接修复，报告失败项进入 Step 1b
-2. dirty diff 只是 verify 本阶段产物（验证报告草稿、分支处理记录）→ 可继续
-3. dirty diff 已实现但 tasks.md 未勾选 → 视为 build 滞后，报告失败项进入 Step 1b
-
-注意：build 阶段每任务都提交时，工作区 diff 可能低估规模。读 plan 文件头 `base-ref` 用提交区间复核：
-
-```bash
-PLAN=$(bash "$COMATE" state <name> get plan)
-BASE_REF=$(grep '^base-ref:' "$PLAN" 2>/dev/null | head -1 | sed 's/^base-ref:[[:space:]]*//')
-git diff --stat "$BASE_REF"...HEAD
-```
-
-超轻量阈值（> 4 文件 / 跨模块 / delta spec > 1 capability）则手动设 `bash "$COMATE" state <name> set verify_mode full`。
-
-### 1b. 验证失败决策（决策阻塞点 4）
-
-验证不通过时**先按严重程度分类，再判定是否需要用户输入**。规则与"三类行动"判定见 `comate/reference/decision-points.md` 第 4 条。
-
-分类（**不确定性原则**：无法确定严重程度时降级 SUGGESTION > WARNING > CRITICAL）：
-- **CRITICAL**：构建失败 / 测试失败 / 安全问题 / 核心验收场景失败
-- **WARNING / SUGGESTION**：非阻断性问题（覆盖率不足、风格、优化建议等）
-- **Spec 漂移**：delta spec 与 design doc 矛盾（见 Step 2b 单独处理）
-
-按类别分流：
-
-1. **有任何 CRITICAL（且非 Spec 漂移）** —— 属"自动处理"，唯一安全动作就是修复。**不询问**，直接：
-   ```bash
-   bash "$COMATE" state <name> transition verify-fail
-   ```
-   然后调 `/comate-build`。回到 build 前如实报告：哪些是 CRITICAL 失败项、判定依据、将如何修复。
-
-2. **无 CRITICAL，仅 WARNING / SUGGESTION** —— 属"用户决策"（接受偏差是合法选择）。**一次性 AskUserQuestion 批量展示**全部失败项与推荐处理，提供：
-   - **全部修复**：`bash "$COMATE" state <name> transition verify-fail` 然后调 `/comate-build`
-   - **逐项处理**：勾选要修的项，其余接受偏差
-   - **接受偏差**：全部接受，须在报告记录每项原因和影响
-
-3. **Spec 漂移** —— 按 Step 2b 的单选题处理（属"用户决策"，必须暂停）。
-
-> CRITICAL 自动回 build 不代表跳过用户知情：回退前必须输出清晰的失败报告作为证据。若一次验证同时含 CRITICAL 与非 CRITICAL，以 CRITICAL 优先自动回 build，非 CRITICAL 项留待修复轮次一并处理。
-
-### 2a. 轻量验证（小改动）
-
-规模为「小」时跳过 `openspec-verify-change`，直接执行 5 项检查：
-1. tasks.md 全部 `[x]`
-2. 改动文件与 tasks.md 描述一致（`git diff --stat` 对照）
-3. 编译通过（项目构建命令）
-4. 相关测试通过
-5. 无明显安全问题（无硬编码密钥、无新增 unsafe）
-
-**通过标准**：5 项全 OK，无 CRITICAL。不通过 → 进入 Step 1b。
-
-### 2b. 完整验证（大改动）
-
-规模为「大」时**立即使用 Skill 工具加载 `openspec-verify-change`**。检查项：tasks 全勾、实现符合 design.md 高层决策、符合 Design Doc、能力规格场景全通过、proposal 目标满足、delta spec 与 design doc 无矛盾、关联设计文档可定位。
-
-**Spec 漂移处理**（决策阻塞点 4 的一部分）：若发现 delta spec 与 design doc 矛盾，**必须以单选题 AskUserQuestion 暂停**：
-- A：在 design doc 追加 "Implementation Divergence" 节记录偏差（属 verify 阶段允许产物，写入后不再触发 Step 1b dirty 决策）
-- B：`state transition verify-fail` 然后调 `/comate-build` 由 Spec 增量更新规则更新
-- C：确认偏差可接受继续（归档时 design doc 标记 `superseded-by-main-spec`）
-
-### 3. 记录验证证据
-
-验证报告必须落盘并记录。不要手动设 `verify_result: pass`，通过 guard 自动流转。
-
-若本 change 有源文件追踪（`source_kind: file`），报告须声明本实现对照的知识库文档及其版本，并复核未漂移：
-
-```bash
-bash "$COMATE" sources <name> check          # 0=未漂移 / 1=漂移 / 4=manifest 损坏
-bash "$COMATE" sources <name> list           # 列出对照的文档路径/sha256/ref，贴入报告
-```
-
-`source_kind: conversation` 时跳过（check 为无操作通过）。
-
-```bash
-mkdir -p docs/superpowers/reports
-# 写报告到 docs/superpowers/reports/YYYY-MM-DD-<name>-verify.md
-bash "$COMATE" state <name> set verification_report docs/superpowers/reports/YYYY-MM-DD-<name>-verify.md
-```
-
-确认项：全部测试通过、无硬编码密钥或安全问题。
-
-### 4. 分支收尾（决策阻塞点 5）
-
-**在记录验证证据后**执行分支处理，确保即使丢弃工作也不影响状态持久化。
-
-**立即执行：** 使用 Skill 工具加载 `superpowers:finishing-a-development-branch`。不可用时停止并提示安装。
-
-分支处理选项：本地合并 / 推送建 PR / 保持分支 / 丢弃工作。**必须使用 AskUserQuestion 工具暂停等待用户选择**。规则见 `comate/reference/decision-points.md` 第 5 条。
-
-操作完成后写入状态：
-
-```bash
-bash "$COMATE" state <name> set branch_status handled
-```
-
-**重要**：无论选择哪种收尾方式（包括"丢弃工作"），都必须在分支操作完成后才设置 `branch_status: handled`。这确保 guard 检查时状态已完整记录。
-
-## 退出条件
-
-- 验证报告通过，分支已处理
-- `verification_report` 指向真实文件，`branch_status: handled`
-- `impl_hash` 与当前 plan+tasks 一致（guard 强制）
-- **阶段守卫**：`bash "$COMATE" guard <name> verify --apply` 全 PASS 后经 `verify-pass` 自动流转到 `phase: archive`
-
-```bash
-bash "$COMATE" guard <name> verify --apply
-```
-
-## 上下文压缩恢复
-
-```bash
-bash "$COMATE" state <name> recover verify
-```
-
-## 自动流转
-
-> **REQUIRED NEXT SKILL：** 调用 `comate-archive` skill 进入归档。
+---
+name: comate-verify
+description: "comate 阶段 4：验证与收尾。用 /comate-verify 调用。验证实现符合设计，处理开发分支。"
+---
+
+# comate 阶段 4：验证与收尾（Verify）
+
+## 前置条件
+
+- 代码已提交（阶段 3 完成）
+- tasks.md 全部任务已完成
+
+## 步骤
+
+### 0. 入口状态验证
+
+```bash
+COMATE="${COMATE:-$(for r in . ./.agents/skills ./.claude/skills ./.cursor/skills ./.codex/skills "$HOME"/.agents/skills "$HOME"/.claude/skills "$HOME"/.config/skills "$HOME"/.cursor/skills "$HOME"/.codex/skills "$HOME"/.gemini/skills; do
+  [ -d "$r" ] && find "$r" -maxdepth 6 -path '*/comate/scripts/comate.sh' -type f -print -quit 2>/dev/null
+done | head -1)}"
+if [ -z "$COMATE" ]; then
+  echo "ERROR: comate.sh 未找到，请确认 comate skill 已安装。" >&2
+  return 1 2>/dev/null || exit 1
+fi
+bash "$COMATE" state <name> check verify
+```
+
+**幂等性**：verify 阶段检查可安全重复。若 `verify_result` 已为 `pass` 且 `branch_status` 为 `handled`，直接执行 guard 流转；若为 `pending`，从头验证。
+
+### 1. 改动规模评估
+
+```bash
+bash "$COMATE" state <name> scale
+```
+
+脚本统计任务数、增量规格数、变更文件数，判断 light/full 验证模式并设 `verify_mode`。输出会标注用了哪个基线（plan base-ref / state base_ref / 工作树 diff）。
+
+验证开始前，按 `comate/reference/dirty-worktree.md` 处理未提交改动。verify 阶段特例：
+1. dirty diff 属于当前 change 且涉及实现/测试/tasks/spec/design doc → 不在 verify 直接修复，报告失败项进入 Step 1b
+2. dirty diff 只是 verify 本阶段产物（验证报告草稿、分支处理记录）→ 可继续
+3. dirty diff 已实现但 tasks.md 未勾选 → 视为 build 滞后，报告失败项进入 Step 1b
+
+注意：build 阶段每任务都提交时，工作区 diff 可能低估规模。读 plan 文件头 `base-ref` 用提交区间复核：
+
+```bash
+PLAN=$(bash "$COMATE" state <name> get plan)
+BASE_REF=$(grep '^base-ref:' "$PLAN" 2>/dev/null | head -1 | sed 's/^base-ref:[[:space:]]*//')
+git diff --stat "$BASE_REF"...HEAD
+```
+
+超轻量阈值（> 4 文件 / 跨模块 / delta spec > 1 capability）则手动设 `bash "$COMATE" state <name> set verify_mode full`。
+
+### 1b. 验证失败决策（决策阻塞点 4）
+
+验证不通过时**先按严重程度分类，再判定是否需要用户输入**。规则与"三类行动"判定见 `comate/reference/decision-points.md` 第 4 条。
+
+分类（**不确定性原则**：无法确定严重程度时降级 SUGGESTION > WARNING > CRITICAL）：
+- **CRITICAL**：构建失败 / 测试失败 / 安全问题 / 核心验收场景失败
+- **WARNING / SUGGESTION**：非阻断性问题（覆盖率不足、风格、优化建议等）
+- **Spec 漂移**：delta spec 与 design doc 矛盾（见 Step 2b 单独处理）
+
+按类别分流：
+
+1. **有任何 CRITICAL（且非 Spec 漂移）** —— 属"自动处理"，唯一安全动作就是修复。**不询问**，直接：
+   ```bash
+   bash "$COMATE" state <name> transition verify-fail
+   ```
+   然后调 `/comate-build`。回到 build 前如实报告：哪些是 CRITICAL 失败项、判定依据、将如何修复。
+
+2. **无 CRITICAL，仅 WARNING / SUGGESTION** —— 属"用户决策"（接受偏差是合法选择）。**一次性 AskUserQuestion 批量展示**全部失败项与推荐处理，提供：
+   - **全部修复**：`bash "$COMATE" state <name> transition verify-fail` 然后调 `/comate-build`
+   - **逐项处理**：勾选要修的项，其余接受偏差
+   - **接受偏差**：全部接受，须在报告记录每项原因和影响
+
+3. **Spec 漂移** —— 按 Step 2b 的单选题处理（属"用户决策"，必须暂停）。
+
+> CRITICAL 自动回 build 不代表跳过用户知情：回退前必须输出清晰的失败报告作为证据。若一次验证同时含 CRITICAL 与非 CRITICAL，以 CRITICAL 优先自动回 build，非 CRITICAL 项留待修复轮次一并处理。
+
+### 2a. 轻量验证（小改动）
+
+规模为「小」时跳过 `openspec-verify-change`，直接执行 5 项检查：
+1. tasks.md 全部 `[x]`
+2. 改动文件与 tasks.md 描述一致（`git diff --stat` 对照）
+3. 编译通过（项目构建命令）
+4. 相关测试通过
+5. 无明显安全问题（无硬编码密钥、无新增 unsafe）
+
+**通过标准**：5 项全 OK，无 CRITICAL。不通过 → 进入 Step 1b。
+
+### 2b. 完整验证（大改动）
+
+规模为「大」时**立即使用 Skill 工具加载 `openspec-verify-change`**。检查项：tasks 全勾、实现符合 design.md 高层决策、符合 Design Doc、能力规格场景全通过、proposal 目标满足、delta spec 与 design doc 无矛盾、关联设计文档可定位。
+
+**Spec 漂移处理**（决策阻塞点 4 的一部分）：若发现 delta spec 与 design doc 矛盾，**必须以单选题 AskUserQuestion 暂停**：
+- A：在 design doc 追加 "Implementation Divergence" 节记录偏差（属 verify 阶段允许产物，写入后不再触发 Step 1b dirty 决策）
+- B：`state transition verify-fail` 然后调 `/comate-build` 由 Spec 增量更新规则更新
+- C：确认偏差可接受继续（归档时 design doc 标记 `superseded-by-main-spec`）
+
+### 3. 记录验证证据
+
+验证报告必须落盘并记录。不要手动设 `verify_result: pass`，通过 guard 自动流转。
+
+若本 change 有源文件追踪（`source_kind: file`），报告须声明本实现对照的知识库文档及其版本，并复核未漂移：
+
+```bash
+bash "$COMATE" sources <name> check          # 0=未漂移 / 1=漂移 / 4=manifest 损坏
+bash "$COMATE" sources <name> list           # 列出对照的文档路径/sha256/ref，贴入报告
+```
+
+`source_kind: conversation` 时跳过（check 为无操作通过）。
+
+```bash
+mkdir -p docs/superpowers/reports
+# 写报告到 docs/superpowers/reports/YYYY-MM-DD-<name>-verify.md
+bash "$COMATE" state <name> set verification_report docs/superpowers/reports/YYYY-MM-DD-<name>-verify.md
+```
+
+确认项：全部测试通过、无硬编码密钥或安全问题。
+
+### 4. 分支收尾（决策阻塞点 5）
+
+**在记录验证证据后**执行分支处理，确保即使丢弃工作也不影响状态持久化。
+
+**立即执行：** 使用 Skill 工具加载 `superpowers:finishing-a-development-branch`。不可用时停止并提示安装。
+
+分支处理选项：本地合并 / 推送建 PR / 保持分支 / 丢弃工作。**必须使用 AskUserQuestion 工具暂停等待用户选择**。规则见 `comate/reference/decision-points.md` 第 5 条。
+
+操作完成后写入状态：
+
+```bash
+bash "$COMATE" state <name> set branch_status handled
+```
+
+**重要**：无论选择哪种收尾方式（包括"丢弃工作"），都必须在分支操作完成后才设置 `branch_status: handled`。这确保 guard 检查时状态已完整记录。
+
+## 退出条件
+
+- 验证报告通过，分支已处理
+- `verification_report` 指向真实文件，`branch_status: handled`
+- `impl_hash` 与当前 plan+tasks 一致（guard 强制）
+- **阶段守卫**：`bash "$COMATE" guard <name> verify --apply` 全 PASS 后经 `verify-pass` 自动流转到 `phase: archive`
+
+```bash
+bash "$COMATE" guard <name> verify --apply
+```
+
+## 上下文压缩恢复
+
+```bash
+bash "$COMATE" state <name> recover verify
+```
+
+## 自动流转
+
+> **REQUIRED NEXT SKILL：** 调用 `comate-archive` skill 进入归档。