sillyspec 3.20.2 → 3.20.4

package/src/stages/execute.js

@@ -1,625 +1,625 @@
-import { existsSync, readFileSync } from 'fs'
-import path from 'path'
-
-/**
- * 校验 plan.md 是否满足 execute 执行契约
- * @param {string} planContent - plan.md 文件内容
- * @returns {{ ok: boolean, errors: string[], warnings: string[], tasks: object[], waves: object[] }}
- */
-export function validatePlanForExecute(planContent) {
-  const errors = []
-  const warnings = []
-
-  if (!planContent || !planContent.trim()) {
-    return { ok: false, errors: ['plan.md 内容为空'], warnings, tasks: [], waves: [] }
-  }
-
-  const waves = parseWavesFromPlan(planContent)
-
-  // 收集所有 task
-  const allTasks = []
-  for (const wave of waves) {
-    for (const task of wave.tasks) {
-      allTasks.push(task)
-    }
-  }
-
-  // 检查 1: 至少有一个 checkbox task
-  if (allTasks.length === 0) {
-    errors.push('plan.md 中没有找到 checkbox task（格式: "- [ ] task-XX: 任务名"）')
-    return { ok: false, errors, warnings, tasks: allTasks, waves }
-  }
-
-  // 检查 2: task id 唯一性
-  const idCounts = {}
-  for (const task of allTasks) {
-    if (task.index != null) {
-      const key = `task-${task.index}`
-      idCounts[key] = (idCounts[key] || 0) + 1
-    }
-  }
-  for (const [id, count] of Object.entries(idCounts)) {
-    if (count > 1) {
-      errors.push(`task id 重复: ${id} 出现 ${count} 次`)
-    }
-  }
-
-  // 检查 3: task id 连续性（从 1 开始）
-  const ids = allTasks
-    .map(t => t.index)
-    .filter(i => i != null)
-    .sort((a, b) => a - b)
-  if (ids.length > 0) {
-    const expected = Array.from({ length: ids.length }, (_, i) => ids[0] + i)
-    // 只检查以 task-01 起始的情况（常见模式）
-    if (ids[0] === 1) {
-      for (let i = 0; i < ids.length; i++) {
-        if (ids[i] !== i + 1) {
-          errors.push(`task id 不连续: 期望 task-${String(i + 1).padStart(2, '0')}, 实际 task-${String(ids[i]).padStart(2, '0')}`)
-          break
-        }
-      }
-    }
-  }
-
-  // 检查 4: task name 非空
-  for (const task of allTasks) {
-    if (!task.name || !task.name.trim()) {
-      errors.push(`task-${String(task.index || '?').padStart(2, '0')}: 任务名为空`)
-    }
-  }
-
-  // 检查 5: task 无 id 的 warning（不限制只在有 id 时检查）
-  for (const wave of waves) {
-    for (const task of wave.tasks) {
-      if (task.index == null) {
-        warnings.push(`Wave ${wave.index}: task "${task.name}" 没有 task id（建议格式 task-XX: 名称）`)
-      }
-    }
-  }
-
-  return { ok: errors.length === 0, errors, warnings, tasks: allTasks, waves }
-}
-
-export const definition = {
-  name: 'execute',
-  title: '波次执行',
-  description: '子代理并行 + 强制 TDD + 两阶段审查',
-  steps: [] // 动态构建，由 buildExecuteSteps() 生成
-}
-
-// 固定前缀步骤定义
-const fixedPrefix = [
-  {
-    name: '状态检查',
-    prompt: `检查当前状态，确认可以执行 execute。
-
-### 操作
-1. 运行 \`sillyspec progress show\`
-2. 确认 currentStage 为 execute
-3. 如果不是 → 检查是否有未完成的 tasks.md
-4. 确认执行范围（$ARGUMENTS 指定 wave/task 或全部）
-
-### 输出
-当前状态 + 执行范围确认`,
-    outputHint: '当前状态 + 执行范围',
-    optional: false
-  },
-  {
-    name: '加载上下文',
-    prompt: `加载计划、设计和代码库上下文。
-
-### 操作
-1. 读取 tasks.md（执行计划）
-2. 读取 design.md（技术方案）
-3. 读取 CONVENTIONS.md、ARCHITECTURE.md
-4. 读取 local.yaml（构建命令）
-5. 加载 CODEBASE-OVERVIEW.md
-
-### 模块文档加载
-6. 读取 \`.sillyspec/docs/<project>/modules/_module-map.yaml\`（不存在则跳过以下步骤）
-7. 根据 plan.md 中的任务文件路径匹配 _module-map.yaml 中的模块
-8. 读取匹配到的 \`.sillyspec/docs/<project>/modules/<module>.md\`
-9. 实现代码时遵循模块文档中描述的接口约定、数据流和依赖关系
-10. **利用模块索引快速定位源码**：
-    - 用 entrypoints 字段直接找到模块对外 API 的源码位置
-    - 用 main_symbols 字段找到核心类/函数的定义位置
-    - 子代理优先读模块卡片理解语义，再读 entrypoints/main_symbols 对应的源码
-
-### 符号影响面扩展检查
-11. **符号影响面扫描**（Critical — execute 前必做）：
-    - 读取所有 tasks/task-NN.md，提取每个任务涉及的修改文件
-    - 对每个修改文件，检查是否涉及以下变更类型：
-      - class 构造函数参数变更（新增/删除/修改参数）
-      - 接口（interface）定义变更
-      - DTO / 类型定义变更
-      - API client 方法签名变更
-      - 函数/方法签名变更（参数增删改）
-    - 如果涉及上述变更类型，执行调用点搜索：
-      \`\`\`bash
-      rg "new ClassName\(" src/
-      rg "ClassName\(" src/
-      rg "methodName\(" src/
-      rg "import.*from.*filePath" src/
-      \`\`\`
-    - 将搜索到的调用点与 plan.md 和 tasks/task-NN.md 的 allowed_paths 对比
-    - **发现调用点不在任何 task 的 allowed_paths 中 → 直接阻断 execute**
-    - 报告：列出每个受影响符号、调用点位置、是否在任务范围内
-    - 如果调用点不在范围内但任务明确写了"不改原因"，记录但不阻断
-
-### 输出
-已加载的上下文摘要（含模块文档 + 源码锚点）`,
-    outputHint: '上下文摘要',
-    optional: false
-  },
-  {
-    name: '确认 worktree 路径',
-    prompt: `确认当前 worktree 状态，提取隔离路径。
-
-### 操作
-1. 运行 \`sillyspec worktree meta <change-name>\` 读取 meta.json
-2. 从输出中提取 worktreePath、branch、mode 字段
-3. 确认 worktree 目录存在（如果是 worktree/native-worktree 模式）
-
-### 铁律
-- **worktree 已由 CLI 在 execute 阶段启动时自动创建，不要自行创建或跳过**
-- **后续所有子代理的 cwd 必须设为该 worktree 路径**
-- 如果 meta.json 不存在（说明创建失败），停止并报错
-- **不要自行检查 git dirty/uncommitted 状态来判断是否可以进入 worktree，CLI 已自动处理**
-
-### 输出
-worktree 路径 + 分支名 + 模式
-
-### 完成后执行
-sillyspec run execute --done --output "worktree 路径 + 分支名 + 模式"`,
-    outputHint: 'worktree 路径 + 分支名 + 模式',
-    optional: false
-  },
-  {
-    name: '确认执行范围',
-    prompt: `解析任务，确认执行范围和确认模式。
-
-### 操作
-1. 从 plan 中解析 Wave 分组和任务列表
-2. 根据任务描述关键词为每个 Task 建议模型：
-   - 架构/复杂推理 → 最强模型
-   - 常规实现 → 中等模型
-   - 简单修改 → 快速模型
-   - 文档/写作 → 写作模型
-3. 用户在 tasks.md 中的 [model:xxx] 标签优先
-4. 读取 \`--confirm-mode\` 参数（由 CLI 传入，不需要询问用户）：
-   - wave — 每个 Wave 完成后展示结果（默认）
-   - task — 每个 Task 完成后展示结果
-   - auto — 全部自动执行
-5. 查询知识库：读取 \`.sillyspec/knowledge/INDEX.md\`，根据 Task 关键词匹配
-
-### 知识命中报告
-{KNOWLEDGE_HIT_REPORT}
-
-如上所示的知识条目与本次任务相关。请阅读这些条目以获取项目约定和已知模式。
-如无命中条目（Status: no matches），跳过本节。
-
-### 铁律
-- **不要询问用户确认频率**，确认模式由 CLI \`--confirm-mode\` 参数决定
-- 如果未检测到 \`--confirm-mode\`，默认使用 wave 模式`,
-    outputHint: 'Wave 分组 + 模型分配',
-    optional: false
-  }
-]
-
-// 全局验收步骤定义
-const acceptanceSteps = [
-  {
-    name: '对照设计检查',
-    mode: 'acceptance',
-    prompt: `对照 design.md 检查所有实现是否与设计一致。
-
-### 执行方式
-本步骤由当前 agent 汇总执行，不需要为每个检查项启动独立子代理。
-如需深入验证某个模块，可启动单个 QA 子代理统一处理。
-
-### 操作
-1. 读取 design.md（技术方案）
-2. 逐一对照 design.md 中的设计要点与实际代码实现
-3. 检查接口签名、数据结构、模块划分是否一致
-4. 记录偏差项（偏差 ≠ 错误，可能是合理的实现调整）
-
-### 输出
-检查清单：每项设计要点的实现状态 ✅/⚠️/❌ + 偏差说明`,
-    outputHint: '设计对照检查清单',
-    optional: false
-  },
-  {
-    name: '运行测试',
-    mode: 'acceptance',
-    prompt: `运行所有测试，验证代码质量。
-
-### 执行方式
-本步骤由当前 agent 执行，不需要启动独立子代理。
-
-### 操作
-1. 读取 local.yaml 获取构建和测试命令
-2. 运行测试套件（单元测试、集成测试）
-3. 运行 lint 检查
-4. 如果有测试失败 → 分析原因，标注是代码问题还是测试本身的问题
-5. 汇总测试结果
-
-### 输出
-测试结果摘要：通过/失败/跳过数量 + 失败项分析`,
-    outputHint: '测试结果摘要',
-    optional: false
-  },
-  {
-    name: '代码审查',
-    mode: 'acceptance',
-    prompt: `对本次变更进行代码审查。
-
-### 执行方式
-本步骤由当前 agent 或一个 QA agent 汇总执行，不需要为每个文件启动独立子代理。
-
-### 操作
-1. 检查 git diff 查看所有变更
-2. 审查要点：
-   - 代码风格是否符合 CONVENTIONS.md
-   - 是否有明显的 bug 或安全漏洞
-   - 是否有未处理的 TODO/FIXME
-   - 错误处理是否完善
-   - 是否有冗余代码或可简化的逻辑
-3. 对照 ARCHITECTURE.md 检查架构合规性
-
-### 输出
-审查结果：问题列表（严重程度 + 建议修复方式）+ 总体评价`,
-    outputHint: '代码审查结果',
-    optional: true
-  }
-]
-
-// 固定后缀步骤定义
-const fixedSuffix = [
-  {
-    name: '知识库审阅',
-    prompt: `检查本轮执行产生的新知识。
-
-### 操作
-1. 检查 \.sillyspec/knowledge/uncategorized.md\` 中待确认条目
-2. 如有 → 提示用户审阅
-3. 用户确认后改为 [已确认]，可归类到专题文件
-
-### 输出
-新知识条目数量 + 审阅提示（或"无新知识"）`,
-    outputHint: '知识条目数量',
-    optional: true
-  },
-  {
-    name: '完成确认',
-    prompt: `所有任务完成后的收尾。
-
-先检查当前 worktree 的隔离模式：
-\`\`\`bash
-node -e "import('./src/worktree.js').then(w => { const wm = new w.WorktreeManager(); const m = wm.getMeta('<change-name>'); console.log(m ? JSON.stringify({mode: m.mode, path: m.worktreePath}) : 'no meta'); })"
-\`\`\`
-
-### 操作（mode = worktree，SillySpec 创建的隔离 worktree）
-
-**自动审计流程（不需要用户确认代码）：**
-
-1. 运行 \`sillyspec worktree assess <change-name>\` 自动风险审计
-2. 系统自动检查：
-   - patch --check 是否通过
-   - 变更是否在 allowed_paths 内
-   - 主工作区 baseline 是否变化
-   - 是否有高风险文件（lockfile/migration/配置/入口）
-   - diff 规模是否异常
-3. 输出 Apply Decision：
-
-\`\`\`
-Worktree Apply Decision
-────────────────────────
-Decision: SAFE | WARNING | BLOCKED
-Changed files: N
-Additions: +N  Deletions: -N
-Risky files: none | <list>
-Action: auto-applied | blocked
-\`\`\`
-
-4. **SAFE** → 自动 \`sillyspec worktree apply <change-name>\` + cleanup
-5. **WARNING** → 自动 apply（有警告但不阻断）+ cleanup
-6. **BLOCKED** → 不 apply，输出原因，提示用户检查：
-   - \`sillyspec worktree diff <change-name>\` 查看具体变更
-   - \`sillyspec worktree cleanup <change-name>\` 丢弃
-7. 建议下一步：\`sillyspec run verify\`
-
-### 操作（mode = native-worktree，用户已有的 linked worktree）
-1. 同上自动审计流程
-2. SAFE/WARNING → \`sillyspec worktree apply <change-name>\`
-3. **不要运行 cleanup**
-4. 输出 Worktree: kept
-5. 建议下一步：\`sillyspec run verify\`
-
-### 操作（mode = in-place-fallback，降级模式无隔离目录）
-1. 展示本次执行摘要（\`git diff\` 查看变更）
-2. 跳过 apply 和 cleanup
-3. 输出 Worktree: none
-4. 建议下一步：\`sillyspec run verify\`
-
-### 输出
-Apply Decision + 下一步建议
-
-### 注意
-- 完成后运行 \`sillyspec run execute --done\` 即可自动推进阶段`,
-    outputHint: 'apply 结果',
-    optional: false
-  }
-]
-
-/**
- * 从 plan 文件解析 Wave 分组
- */
-function parseWavesFromPlan(planContent) {
-  const waves = []
-  const lines = planContent.split('\n')
-  let currentWave = null
-  let currentTask = null
-
-  for (const line of lines) {
-    const waveMatch = line.match(/^#+\s*Wave\s+(\d+)/i)
-    if (waveMatch) {
-      currentWave = { index: parseInt(waveMatch[1]), tasks: [] }
-      currentTask = null
-      waves.push(currentWave)
-      continue
-    }
-
-    if (!currentWave) continue
-
-    const taskMatch = line.match(/^[-*]\s*\[[ x]\]\s*(.+)/)
-    if (taskMatch) {
-      const taskNoMatch = taskMatch[1].match(/\btask-(\d+)\b/i)
-      currentTask = {
-        index: taskNoMatch ? parseInt(taskNoMatch[1], 10) : null,
-        name: taskMatch[1].trim(),
-        file: '',
-        steps: '',
-        reference: ''
-      }
-      // 兼容旧格式：任务名后跟 (文件路径)
-      const fileMatch = taskMatch[1].match(/\(([^)]+)\)$/)
-      if (fileMatch) {
-        currentTask.file = fileMatch[1]
-        currentTask.name = taskMatch[1].replace(/\([^)]+\)$/, '').trim()
-      }
-      currentWave.tasks.push(currentTask)
-      continue
-    }
-
-    // 解析子行信息（修改/参考/步骤）
-    if (currentTask) {
-      const modMatch = line.match(/^\s+-\s*修改:\s*(.+)/)
-      if (modMatch) { currentTask.file = modMatch[1].trim(); continue }
-
-      const refMatch = line.match(/^\s+-\s*参考:\s*(.+)/)
-      if (refMatch) { currentTask.reference = refMatch[1].trim(); continue }
-
-      const stepMatch = line.match(/^\s+-\s*步骤:/)
-      if (stepMatch) { currentTask.steps = line.replace(/^\s+-\s*步骤:\s*/, '').trim(); continue }
-
-      // 步骤续行（数字开头的子步骤）
-      if (currentTask.steps && line.match(/^\s+\d+\./)) {
-        currentTask.steps += '\n' + line.trim()
-      }
-    }
-  }
-
-  return waves
-}
-
-/**
- * 为 Wave 生成 prompt（强制子代理执行）
- */
-function buildWavePrompt(wave, waveIndex, changeDir, worktreePath) {
-  // ── Contract Matrix：检查是否有 provider/consumer 契约需要注入 ──
-  let contractInjection = ''
-  if (changeDir) {
-    try {
-      const { buildContractMatrix, buildConsumerInjection } = require('../contract-matrix.js')
-      const planFile = path.join(changeDir, 'plan.md')
-      if (existsSync(planFile)) {
-        const planContent = readFileSync(planFile, 'utf8')
-        const contracts = buildContractMatrix(planContent, changeDir)
-        if (contracts.length > 0) {
-          // 收集本 wave 所有 task 的注入内容
-          const waveTasks = wave.tasks.map((t, ti) => {
-            const num = String(t.index || (ti + 1)).padStart(2, '0')
-            return `task-${num}`
-          })
-          const relevantContracts = contracts.filter(c => waveTasks.includes(c.consumer))
-          if (relevantContracts.length > 0) {
-            contractInjection = `
-### API Contract Matrix
-本 Wave 存在前端/后端跨 task 契约：
-${relevantContracts.map(c => `- **${c.consumer}** 消费 **${c.provider}** 产出的 API`).join('\n')}
-`
-            // 为每个 consumer task 生成详细注入
-            for (const taskName of waveTasks) {
-              const injection = buildConsumerInjection(changeDir, join(changeDir, '..', '..'), taskName, contracts)
-              if (injection) {
-                contractInjection += `
-### 子代理 ${taskName} 的契约注入
-为 ${taskName} 启动子代理时，在子代理 prompt 末尾追加以下内容：
-
-<contract-injection>
-${injection}
-</contract-injection>
-`
-              }
-            }
-          }
-        }
-      }
-    } catch {}
-  }
-
-  // 构建任务摘要（不再内联完整蓝图，减少上下文污染）
-  const taskSummary = wave.tasks.map((t, ti) => {
-    const taskNum = String(t.index || (ti + 1)).padStart(2, '0')
-    const taskRelPath = changeDir
-      ? `.sillyspec/changes/${path.basename(changeDir)}/tasks/task-${taskNum}.md`
-      : `task-${taskNum}.md`
-    const fileInfo = t.file ? ` (${t.file})` : ''
-    return `task-${taskNum}: ${t.name}${fileInfo} → ${taskRelPath}`
-  }).join('\n')
-
-  const taskList = wave.tasks.map((t, ti) => {
-    const taskNum = String(t.index || (ti + 1)).padStart(2, '0')
-    let s = `- [ ] ${t.name}`
-    if (t.file) s += ` (${t.file})`
-    return s
-  }).join('\n')
-
-  const worktreeSection = (worktreePath)
-    ? `
-### 工作目录（必须严格遵守）
-
-调用 Task 工具启动子代理时，**workdir 参数是强制必传的**。
-不传 workdir 会导致子代理把文件写到主工作区而非 worktree，破坏隔离。
-
-\`\`\`json
-{
-  "subagent_type": "general",
-  "workdir": "${worktreePath}",
-  "prompt": "在此编写任务描述..."
-}
-\`\`\`
-
-### 注意
-蓝图文件（tasks.md / design.md / proposal.md / requirements.md）在主工作区 .sillyspec/changes/<change>/ 下，它们可能不在 worktree 中。读取蓝图时使用主工作区路径，不要拼接到 worktree 路径下。
-`
-    : ''
-
-  return `## Wave ${waveIndex}: 执行以下任务
-
-## 执行方式（必须严格遵守）
-
-**每个任务必须由独立子代理执行，你不要自己写代码。**
-
-你的角色是调度者 + 审查者：
-1. 为每个任务启动一个子代理（Agent tool），同 Wave 内可并行
-2. 子代理完成后审查结果
-3. 勾选 plan.md 中的 checkbox
-4. 记录改动文件和测试结果
-
-${worktreeSection}
-### 任务摘要（按需读取完整蓝图）
-为每个任务启动子代理时，**只需告知任务目标和蓝图文件路径，让子代理按需读取**：
-
-${taskSummary}
-
-子代理 prompt 要点：
-1. 任务目标（简短描述）
-2. 蓝图文件路径（让子代理自行读取详情）
-3. 编码铁律：先读后写、TDD、不编造方法、只做蓝图里写的事、遵守边界处理规则、不超出 allowed_paths
-4. 如存在模块文档（.sillyspec/docs/*/modules/），按需读取涉及模块的 <module>.md 参考接口约定和数据流
-
-### Wave 开始前
-1. 读取 design.md 的「编码铁律」章节（如果存在），严格遵守
-2. 读取 plan.md 了解全局任务划分和依赖关系
-3. 确认本 Wave 的输入/输出契约（前置 Wave 产出了什么，本 Wave 需要消费什么）
-4. 检查前置 Wave 的产出是否完整（文件是否存在、测试是否通过）
-5. **上下文分层加载**：
-   - 🔥 热上下文：design.md 编码铁律 + 当前 Wave 任务（必须加载）
-   - 🌡️ 温上下文：CONVENTIONS.md + ARCHITECTURE.md（需要时加载）
-   - ❄️ 冷上下文：其他变更的 design.md、历史 plan.md（不要主动加载，除非明确需要）
-${contractInjection}
-### 本 Wave 任务
-${taskList}
-
-### 调度要求
-1. **同一 Wave 内的任务必须并行启动子代理，禁止串行等待。** Wave 的定义就是"无依赖、可并行"，不要自行分析依赖关系。如果有依赖应该在 plan.md 的不同 Wave 中。
-2. **Reverse Sync**：子代理报告实现与 design.md 不一致时，先检查是代码错了还是文档有遗漏
-3. **不要频繁编译！** 编译很慢，只在以下情况运行：
-   - 写了大量代码后需要验证语法正确性
-   - 最后一个 Wave 完成后做一次全量编译验证
-   - 用户明确要求编译时
-4. 每个任务完成后：
-   - **先写 review.json 再勾选 checkbox**（见下方 Task Review Gate）
-   - 记录改动文件和测试结果
-5. 遇到 BLOCKED → 记录原因，选择：重试/跳过/停止
-
-### Task Review Gate（必须执行，不可跳过）
-
-每个子代理完成后、勾选 checkbox **之前**，你必须创建 task review。
-
-**操作步骤：**
-1. 读取当前 task 的 git diff（从 task 开始到完成的变更）
-2. 对照 plan.md 中该 task 的描述和 tasks/task-XX.md（如果存在）检查实现是否符合要求
-3. 写入 review.json 文件
-4. **只有 review.json 写入成功后，才允许勾选 plan.md 中的 checkbox**
-
-**review.json 路径：**
-
-task-XX 对应：.sillyspec/.runtime/execute-runs/{EXECUTE_RUN_ID}/tasks/task-XX/review.json
-
-本 execute run 的固定 ID 是：{EXECUTE_RUN_ID}
-**所有 task 的 review.json 必须使用这个 ID，不要自行创建新目录。**
-
-**review.json 必填字段：**
-
-{ "schemaVersion": 1, "task": "task-XX", "base": "<git-base-commit>", "head": "<git-head-commit>",
- "changedFiles": ["src/foo.js"], "specVerdict": "pass|fail|cannot_verify",
- "qualityVerdict": "pass|fail|cannot_verify", "reviewerNotes": "评审说明",
- "requiredEvidence": [] }
-
-**评审铁律：**
-- 不信任 implementer 自报结果，对照 diff 和 task brief 验证
-- 只看当前 task 的 diff，不做全仓库漫游审查
-- \`cannot_verify\` 只在确实无法验证且有待补充证据时使用，且 requiredEvidence 必须非空
-- \`sillyspec run execute --done\` 会校验所有 task 的 review.json，缺失或 fail 会阻断完成
-
-### 完成后
-1. 为每个后端 router task，扫描变更文件提取 API 端点 artifact：
-   - 在变更文件中搜索所有 router 注册路径（@router.get/post/put/delete）
-   - 将端点清单写入 .sillyspec/.runtime/contract-artifacts/<task-name>/endpoints.json
-   - 格式: { "task": "task-XX", "type": "backend_endpoints", "endpoints": [{ "method": "GET", "path": "/api/ppm/xxx" }] }
-2. 运行 sillyspec run execute --done --input "用户原始反馈" --output "Wave ${waveIndex} 结果摘要"`
-}
-
-/**
- * 动态构建 execute 步骤列表
- * @param {string|null} planFilePath - plan 文件路径，null 则用默认 3 Wave
- * @param {{ worktreePath?: string, noWorktree?: boolean }} options
- * @returns {Array} 步骤列表
- */
-export function buildExecuteSteps(planFilePath = null, options = {}) {
-  const noWorktree = !!options.noWorktree
-  let waves
-  let changeDir = null
-
-  if (planFilePath && existsSync(planFilePath)) {
-    const planContent = readFileSync(planFilePath, 'utf8')
-    // Plan → Execute 契约由 plan 阶段完成时的 postcheck 把关（run.js completeStep），
-    // 此处只负责解析 waves，避免 buildExecuteSteps 与进程退出耦合。
-    waves = parseWavesFromPlan(planContent)
-    changeDir = path.dirname(planFilePath)
-  }
-
-  // 没解析出 Wave（plan 不存在或不含可识别 task）→ 默认 3 Wave（向后兼容）
-  if (!waves || waves.length === 0) {
-    waves = []
-    for (let i = 1; i <= 3; i++) {
-      waves.push({ index: i, tasks: [{ name: `默认任务 ${i}`, file: 'TBD' }] })
-    }
-  }
-
-  // 尝试获取 worktree 路径（可能由前缀步骤创建）
-  const worktreePath = options.worktreePath || null
-
-  const waveSteps = waves.map((wave, i) => ({
-    name: `Wave ${i + 1} 执行`,
-    mode: 'implementation',
-    prompt: buildWavePrompt(wave, i + 1, changeDir, worktreePath),
-    outputHint: `Wave ${i + 1} 执行结果`,
-    optional: false
-  }))
-
-  return [...fixedPrefix, ...waveSteps, ...acceptanceSteps, ...fixedSuffix]
-}
+import { existsSync, readFileSync } from 'fs'
+import path from 'path'
+
+/**
+ * 校验 plan.md 是否满足 execute 执行契约
+ * @param {string} planContent - plan.md 文件内容
+ * @returns {{ ok: boolean, errors: string[], warnings: string[], tasks: object[], waves: object[] }}
+ */
+export function validatePlanForExecute(planContent) {
+  const errors = []
+  const warnings = []
+
+  if (!planContent || !planContent.trim()) {
+    return { ok: false, errors: ['plan.md 内容为空'], warnings, tasks: [], waves: [] }
+  }
+
+  const waves = parseWavesFromPlan(planContent)
+
+  // 收集所有 task
+  const allTasks = []
+  for (const wave of waves) {
+    for (const task of wave.tasks) {
+      allTasks.push(task)
+    }
+  }
+
+  // 检查 1: 至少有一个 checkbox task
+  if (allTasks.length === 0) {
+    errors.push('plan.md 中没有找到 checkbox task（格式: "- [ ] task-XX: 任务名"）')
+    return { ok: false, errors, warnings, tasks: allTasks, waves }
+  }
+
+  // 检查 2: task id 唯一性
+  const idCounts = {}
+  for (const task of allTasks) {
+    if (task.index != null) {
+      const key = `task-${task.index}`
+      idCounts[key] = (idCounts[key] || 0) + 1
+    }
+  }
+  for (const [id, count] of Object.entries(idCounts)) {
+    if (count > 1) {
+      errors.push(`task id 重复: ${id} 出现 ${count} 次`)
+    }
+  }
+
+  // 检查 3: task id 连续性（从 1 开始）
+  const ids = allTasks
+    .map(t => t.index)
+    .filter(i => i != null)
+    .sort((a, b) => a - b)
+  if (ids.length > 0) {
+    const expected = Array.from({ length: ids.length }, (_, i) => ids[0] + i)
+    // 只检查以 task-01 起始的情况（常见模式）
+    if (ids[0] === 1) {
+      for (let i = 0; i < ids.length; i++) {
+        if (ids[i] !== i + 1) {
+          errors.push(`task id 不连续: 期望 task-${String(i + 1).padStart(2, '0')}, 实际 task-${String(ids[i]).padStart(2, '0')}`)
+          break
+        }
+      }
+    }
+  }
+
+  // 检查 4: task name 非空
+  for (const task of allTasks) {
+    if (!task.name || !task.name.trim()) {
+      errors.push(`task-${String(task.index || '?').padStart(2, '0')}: 任务名为空`)
+    }
+  }
+
+  // 检查 5: task 无 id 的 warning（不限制只在有 id 时检查）
+  for (const wave of waves) {
+    for (const task of wave.tasks) {
+      if (task.index == null) {
+        warnings.push(`Wave ${wave.index}: task "${task.name}" 没有 task id（建议格式 task-XX: 名称）`)
+      }
+    }
+  }
+
+  return { ok: errors.length === 0, errors, warnings, tasks: allTasks, waves }
+}
+
+export const definition = {
+  name: 'execute',
+  title: '波次执行',
+  description: '子代理并行 + 强制 TDD + 两阶段审查',
+  steps: [] // 动态构建，由 buildExecuteSteps() 生成
+}
+
+// 固定前缀步骤定义
+const fixedPrefix = [
+  {
+    name: '状态检查',
+    prompt: `检查当前状态，确认可以执行 execute。
+
+### 操作
+1. 运行 \`sillyspec progress show\`
+2. 确认 currentStage 为 execute
+3. 如果不是 → 检查是否有未完成的 tasks.md
+4. 确认执行范围（$ARGUMENTS 指定 wave/task 或全部）
+
+### 输出
+当前状态 + 执行范围确认`,
+    outputHint: '当前状态 + 执行范围',
+    optional: false
+  },
+  {
+    name: '加载上下文',
+    prompt: `加载计划、设计和代码库上下文。
+
+### 操作
+1. 读取 tasks.md（执行计划）
+2. 读取 design.md（技术方案）
+3. 读取 CONVENTIONS.md、ARCHITECTURE.md
+4. 读取 local.yaml（构建命令）
+5. 加载 CODEBASE-OVERVIEW.md
+
+### 模块文档加载
+6. 读取 \`.sillyspec/docs/<project>/modules/_module-map.yaml\`（不存在则跳过以下步骤）
+7. 根据 plan.md 中的任务文件路径匹配 _module-map.yaml 中的模块
+8. 读取匹配到的 \`.sillyspec/docs/<project>/modules/<module>.md\`
+9. 实现代码时遵循模块文档中描述的接口约定、数据流和依赖关系
+10. **利用模块索引快速定位源码**：
+    - 用 entrypoints 字段直接找到模块对外 API 的源码位置
+    - 用 main_symbols 字段找到核心类/函数的定义位置
+    - 子代理优先读模块卡片理解语义，再读 entrypoints/main_symbols 对应的源码
+
+### 符号影响面扩展检查
+11. **符号影响面扫描**（Critical — execute 前必做）：
+    - 读取所有 tasks/task-NN.md，提取每个任务涉及的修改文件
+    - 对每个修改文件，检查是否涉及以下变更类型：
+      - class 构造函数参数变更（新增/删除/修改参数）
+      - 接口（interface）定义变更
+      - DTO / 类型定义变更
+      - API client 方法签名变更
+      - 函数/方法签名变更（参数增删改）
+    - 如果涉及上述变更类型，执行调用点搜索：
+      \`\`\`bash
+      rg "new ClassName\(" src/
+      rg "ClassName\(" src/
+      rg "methodName\(" src/
+      rg "import.*from.*filePath" src/
+      \`\`\`
+    - 将搜索到的调用点与 plan.md 和 tasks/task-NN.md 的 allowed_paths 对比
+    - **发现调用点不在任何 task 的 allowed_paths 中 → 直接阻断 execute**
+    - 报告：列出每个受影响符号、调用点位置、是否在任务范围内
+    - 如果调用点不在范围内但任务明确写了"不改原因"，记录但不阻断
+
+### 输出
+已加载的上下文摘要（含模块文档 + 源码锚点）`,
+    outputHint: '上下文摘要',
+    optional: false
+  },
+  {
+    name: '确认 worktree 路径',
+    prompt: `确认当前 worktree 状态，提取隔离路径。
+
+### 操作
+1. 运行 \`sillyspec worktree meta <change-name>\` 读取 meta.json
+2. 从输出中提取 worktreePath、branch、mode 字段
+3. 确认 worktree 目录存在（如果是 worktree/native-worktree 模式）
+
+### 铁律
+- **worktree 已由 CLI 在 execute 阶段启动时自动创建，不要自行创建或跳过**
+- **后续所有子代理的 cwd 必须设为该 worktree 路径**
+- 如果 meta.json 不存在（说明创建失败），停止并报错
+- **不要自行检查 git dirty/uncommitted 状态来判断是否可以进入 worktree，CLI 已自动处理**
+
+### 输出
+worktree 路径 + 分支名 + 模式
+
+### 完成后执行
+sillyspec run execute --done --output "worktree 路径 + 分支名 + 模式"`,
+    outputHint: 'worktree 路径 + 分支名 + 模式',
+    optional: false
+  },
+  {
+    name: '确认执行范围',
+    prompt: `解析任务，确认执行范围和确认模式。
+
+### 操作
+1. 从 plan 中解析 Wave 分组和任务列表
+2. 根据任务描述关键词为每个 Task 建议模型：
+   - 架构/复杂推理 → 最强模型
+   - 常规实现 → 中等模型
+   - 简单修改 → 快速模型
+   - 文档/写作 → 写作模型
+3. 用户在 tasks.md 中的 [model:xxx] 标签优先
+4. 读取 \`--confirm-mode\` 参数（由 CLI 传入，不需要询问用户）：
+   - wave — 每个 Wave 完成后展示结果（默认）
+   - task — 每个 Task 完成后展示结果
+   - auto — 全部自动执行
+5. 查询知识库：读取 \`.sillyspec/knowledge/INDEX.md\`，根据 Task 关键词匹配
+
+### 知识命中报告
+{KNOWLEDGE_HIT_REPORT}
+
+如上所示的知识条目与本次任务相关。请阅读这些条目以获取项目约定和已知模式。
+如无命中条目（Status: no matches），跳过本节。
+
+### 铁律
+- **不要询问用户确认频率**，确认模式由 CLI \`--confirm-mode\` 参数决定
+- 如果未检测到 \`--confirm-mode\`，默认使用 wave 模式`,
+    outputHint: 'Wave 分组 + 模型分配',
+    optional: false
+  }
+]
+
+// 全局验收步骤定义
+const acceptanceSteps = [
+  {
+    name: '对照设计检查',
+    mode: 'acceptance',
+    prompt: `对照 design.md 检查所有实现是否与设计一致。
+
+### 执行方式
+本步骤由当前 agent 汇总执行，不需要为每个检查项启动独立子代理。
+如需深入验证某个模块，可启动单个 QA 子代理统一处理。
+
+### 操作
+1. 读取 design.md（技术方案）
+2. 逐一对照 design.md 中的设计要点与实际代码实现
+3. 检查接口签名、数据结构、模块划分是否一致
+4. 记录偏差项（偏差 ≠ 错误，可能是合理的实现调整）
+
+### 输出
+检查清单：每项设计要点的实现状态 ✅/⚠️/❌ + 偏差说明`,
+    outputHint: '设计对照检查清单',
+    optional: false
+  },
+  {
+    name: '运行测试',
+    mode: 'acceptance',
+    prompt: `运行所有测试，验证代码质量。
+
+### 执行方式
+本步骤由当前 agent 执行，不需要启动独立子代理。
+
+### 操作
+1. 读取 local.yaml 获取构建和测试命令
+2. 运行测试套件（单元测试、集成测试）
+3. 运行 lint 检查
+4. 如果有测试失败 → 分析原因，标注是代码问题还是测试本身的问题
+5. 汇总测试结果
+
+### 输出
+测试结果摘要：通过/失败/跳过数量 + 失败项分析`,
+    outputHint: '测试结果摘要',
+    optional: false
+  },
+  {
+    name: '代码审查',
+    mode: 'acceptance',
+    prompt: `对本次变更进行代码审查。
+
+### 执行方式
+本步骤由当前 agent 或一个 QA agent 汇总执行，不需要为每个文件启动独立子代理。
+
+### 操作
+1. 检查 git diff 查看所有变更
+2. 审查要点：
+   - 代码风格是否符合 CONVENTIONS.md
+   - 是否有明显的 bug 或安全漏洞
+   - 是否有未处理的 TODO/FIXME
+   - 错误处理是否完善
+   - 是否有冗余代码或可简化的逻辑
+3. 对照 ARCHITECTURE.md 检查架构合规性
+
+### 输出
+审查结果：问题列表（严重程度 + 建议修复方式）+ 总体评价`,
+    outputHint: '代码审查结果',
+    optional: true
+  }
+]
+
+// 固定后缀步骤定义
+const fixedSuffix = [
+  {
+    name: '知识库审阅',
+    prompt: `检查本轮执行产生的新知识。
+
+### 操作
+1. 检查 \.sillyspec/knowledge/uncategorized.md\` 中待确认条目
+2. 如有 → 提示用户审阅
+3. 用户确认后改为 [已确认]，可归类到专题文件
+
+### 输出
+新知识条目数量 + 审阅提示（或"无新知识"）`,
+    outputHint: '知识条目数量',
+    optional: true
+  },
+  {
+    name: '完成确认',
+    prompt: `所有任务完成后的收尾。
+
+先检查当前 worktree 的隔离模式：
+\`\`\`bash
+node -e "import('./src/worktree.js').then(w => { const wm = new w.WorktreeManager(); const m = wm.getMeta('<change-name>'); console.log(m ? JSON.stringify({mode: m.mode, path: m.worktreePath}) : 'no meta'); })"
+\`\`\`
+
+### 操作（mode = worktree，SillySpec 创建的隔离 worktree）
+
+**自动审计流程（不需要用户确认代码）：**
+
+1. 运行 \`sillyspec worktree assess <change-name>\` 自动风险审计
+2. 系统自动检查：
+   - patch --check 是否通过
+   - 变更是否在 allowed_paths 内
+   - 主工作区 baseline 是否变化
+   - 是否有高风险文件（lockfile/migration/配置/入口）
+   - diff 规模是否异常
+3. 输出 Apply Decision：
+
+\`\`\`
+Worktree Apply Decision
+────────────────────────
+Decision: SAFE | WARNING | BLOCKED
+Changed files: N
+Additions: +N  Deletions: -N
+Risky files: none | <list>
+Action: auto-applied | blocked
+\`\`\`
+
+4. **SAFE** → 自动 \`sillyspec worktree apply <change-name>\` + cleanup
+5. **WARNING** → 自动 apply（有警告但不阻断）+ cleanup
+6. **BLOCKED** → 不 apply，输出原因，提示用户检查：
+   - \`sillyspec worktree diff <change-name>\` 查看具体变更
+   - \`sillyspec worktree cleanup <change-name>\` 丢弃
+7. 建议下一步：\`sillyspec run verify\`
+
+### 操作（mode = native-worktree，用户已有的 linked worktree）
+1. 同上自动审计流程
+2. SAFE/WARNING → \`sillyspec worktree apply <change-name>\`
+3. **不要运行 cleanup**
+4. 输出 Worktree: kept
+5. 建议下一步：\`sillyspec run verify\`
+
+### 操作（mode = in-place-fallback，降级模式无隔离目录）
+1. 展示本次执行摘要（\`git diff\` 查看变更）
+2. 跳过 apply 和 cleanup
+3. 输出 Worktree: none
+4. 建议下一步：\`sillyspec run verify\`
+
+### 输出
+Apply Decision + 下一步建议
+
+### 注意
+- 完成后运行 \`sillyspec run execute --done\` 即可自动推进阶段`,
+    outputHint: 'apply 结果',
+    optional: false
+  }
+]
+
+/**
+ * 从 plan 文件解析 Wave 分组
+ */
+function parseWavesFromPlan(planContent) {
+  const waves = []
+  const lines = planContent.split('\n')
+  let currentWave = null
+  let currentTask = null
+
+  for (const line of lines) {
+    const waveMatch = line.match(/^#+\s*Wave\s+(\d+)/i)
+    if (waveMatch) {
+      currentWave = { index: parseInt(waveMatch[1]), tasks: [] }
+      currentTask = null
+      waves.push(currentWave)
+      continue
+    }
+
+    if (!currentWave) continue
+
+    const taskMatch = line.match(/^[-*]\s*\[[ x]\]\s*(.+)/)
+    if (taskMatch) {
+      const taskNoMatch = taskMatch[1].match(/\btask-(\d+)\b/i)
+      currentTask = {
+        index: taskNoMatch ? parseInt(taskNoMatch[1], 10) : null,
+        name: taskMatch[1].trim(),
+        file: '',
+        steps: '',
+        reference: ''
+      }
+      // 兼容旧格式：任务名后跟 (文件路径)
+      const fileMatch = taskMatch[1].match(/\(([^)]+)\)$/)
+      if (fileMatch) {
+        currentTask.file = fileMatch[1]
+        currentTask.name = taskMatch[1].replace(/\([^)]+\)$/, '').trim()
+      }
+      currentWave.tasks.push(currentTask)
+      continue
+    }
+
+    // 解析子行信息（修改/参考/步骤）
+    if (currentTask) {
+      const modMatch = line.match(/^\s+-\s*修改:\s*(.+)/)
+      if (modMatch) { currentTask.file = modMatch[1].trim(); continue }
+
+      const refMatch = line.match(/^\s+-\s*参考:\s*(.+)/)
+      if (refMatch) { currentTask.reference = refMatch[1].trim(); continue }
+
+      const stepMatch = line.match(/^\s+-\s*步骤:/)
+      if (stepMatch) { currentTask.steps = line.replace(/^\s+-\s*步骤:\s*/, '').trim(); continue }
+
+      // 步骤续行（数字开头的子步骤）
+      if (currentTask.steps && line.match(/^\s+\d+\./)) {
+        currentTask.steps += '\n' + line.trim()
+      }
+    }
+  }
+
+  return waves
+}
+
+/**
+ * 为 Wave 生成 prompt（强制子代理执行）
+ */
+function buildWavePrompt(wave, waveIndex, changeDir, worktreePath) {
+  // ── Contract Matrix：检查是否有 provider/consumer 契约需要注入 ──
+  let contractInjection = ''
+  if (changeDir) {
+    try {
+      const { buildContractMatrix, buildConsumerInjection } = require('../contract-matrix.js')
+      const planFile = path.join(changeDir, 'plan.md')
+      if (existsSync(planFile)) {
+        const planContent = readFileSync(planFile, 'utf8')
+        const contracts = buildContractMatrix(planContent, changeDir)
+        if (contracts.length > 0) {
+          // 收集本 wave 所有 task 的注入内容
+          const waveTasks = wave.tasks.map((t, ti) => {
+            const num = String(t.index || (ti + 1)).padStart(2, '0')
+            return `task-${num}`
+          })
+          const relevantContracts = contracts.filter(c => waveTasks.includes(c.consumer))
+          if (relevantContracts.length > 0) {
+            contractInjection = `
+### API Contract Matrix
+本 Wave 存在前端/后端跨 task 契约：
+${relevantContracts.map(c => `- **${c.consumer}** 消费 **${c.provider}** 产出的 API`).join('\n')}
+`
+            // 为每个 consumer task 生成详细注入
+            for (const taskName of waveTasks) {
+              const injection = buildConsumerInjection(changeDir, join(changeDir, '..', '..'), taskName, contracts)
+              if (injection) {
+                contractInjection += `
+### 子代理 ${taskName} 的契约注入
+为 ${taskName} 启动子代理时，在子代理 prompt 末尾追加以下内容：
+
+<contract-injection>
+${injection}
+</contract-injection>
+`
+              }
+            }
+          }
+        }
+      }
+    } catch {}
+  }
+
+  // 构建任务摘要（不再内联完整蓝图，减少上下文污染）
+  const taskSummary = wave.tasks.map((t, ti) => {
+    const taskNum = String(t.index || (ti + 1)).padStart(2, '0')
+    const taskRelPath = changeDir
+      ? `.sillyspec/changes/${path.basename(changeDir)}/tasks/task-${taskNum}.md`
+      : `task-${taskNum}.md`
+    const fileInfo = t.file ? ` (${t.file})` : ''
+    return `task-${taskNum}: ${t.name}${fileInfo} → ${taskRelPath}`
+  }).join('\n')
+
+  const taskList = wave.tasks.map((t, ti) => {
+    const taskNum = String(t.index || (ti + 1)).padStart(2, '0')
+    let s = `- [ ] ${t.name}`
+    if (t.file) s += ` (${t.file})`
+    return s
+  }).join('\n')
+
+  const worktreeSection = (worktreePath)
+    ? `
+### 工作目录（必须严格遵守）
+
+调用 Task 工具启动子代理时，**workdir 参数是强制必传的**。
+不传 workdir 会导致子代理把文件写到主工作区而非 worktree，破坏隔离。
+
+\`\`\`json
+{
+  "subagent_type": "general",
+  "workdir": "${worktreePath}",
+  "prompt": "在此编写任务描述..."
+}
+\`\`\`
+
+### 注意
+蓝图文件（tasks.md / design.md / proposal.md / requirements.md）在主工作区 .sillyspec/changes/<change>/ 下，它们可能不在 worktree 中。读取蓝图时使用主工作区路径，不要拼接到 worktree 路径下。
+`
+    : ''
+
+  return `## Wave ${waveIndex}: 执行以下任务
+
+## 执行方式（必须严格遵守）
+
+**每个任务必须由独立子代理执行，你不要自己写代码。**
+
+你的角色是调度者 + 审查者：
+1. 为每个任务启动一个子代理（Agent tool），同 Wave 内可并行
+2. 子代理完成后审查结果
+3. 勾选 plan.md 中的 checkbox
+4. 记录改动文件和测试结果
+
+${worktreeSection}
+### 任务摘要（按需读取完整蓝图）
+为每个任务启动子代理时，**只需告知任务目标和蓝图文件路径，让子代理按需读取**：
+
+${taskSummary}
+
+子代理 prompt 要点：
+1. 任务目标（简短描述）
+2. 蓝图文件路径（让子代理自行读取详情）
+3. 编码铁律：先读后写、TDD、不编造方法、只做蓝图里写的事、遵守边界处理规则、不超出 allowed_paths
+4. 如存在模块文档（.sillyspec/docs/*/modules/），按需读取涉及模块的 <module>.md 参考接口约定和数据流
+
+### Wave 开始前
+1. 读取 design.md 的「编码铁律」章节（如果存在），严格遵守
+2. 读取 plan.md 了解全局任务划分和依赖关系
+3. 确认本 Wave 的输入/输出契约（前置 Wave 产出了什么，本 Wave 需要消费什么）
+4. 检查前置 Wave 的产出是否完整（文件是否存在、测试是否通过）
+5. **上下文分层加载**：
+   - 🔥 热上下文：design.md 编码铁律 + 当前 Wave 任务（必须加载）
+   - 🌡️ 温上下文：CONVENTIONS.md + ARCHITECTURE.md（需要时加载）
+   - ❄️ 冷上下文：其他变更的 design.md、历史 plan.md（不要主动加载，除非明确需要）
+${contractInjection}
+### 本 Wave 任务
+${taskList}
+
+### 调度要求
+1. **同一 Wave 内的任务必须并行启动子代理，禁止串行等待。** Wave 的定义就是"无依赖、可并行"，不要自行分析依赖关系。如果有依赖应该在 plan.md 的不同 Wave 中。
+2. **Reverse Sync**：子代理报告实现与 design.md 不一致时，先检查是代码错了还是文档有遗漏
+3. **不要频繁编译！** 编译很慢，只在以下情况运行：
+   - 写了大量代码后需要验证语法正确性
+   - 最后一个 Wave 完成后做一次全量编译验证
+   - 用户明确要求编译时
+4. 每个任务完成后：
+   - **先写 review.json 再勾选 checkbox**（见下方 Task Review Gate）
+   - 记录改动文件和测试结果
+5. 遇到 BLOCKED → 记录原因，选择：重试/跳过/停止
+
+### Task Review Gate（必须执行，不可跳过）
+
+每个子代理完成后、勾选 checkbox **之前**，你必须创建 task review。
+
+**操作步骤：**
+1. 读取当前 task 的 git diff（从 task 开始到完成的变更）
+2. 对照 plan.md 中该 task 的描述和 tasks/task-XX.md（如果存在）检查实现是否符合要求
+3. 写入 review.json 文件
+4. **只有 review.json 写入成功后，才允许勾选 plan.md 中的 checkbox**
+
+**review.json 路径：**
+
+task-XX 对应：.sillyspec/.runtime/execute-runs/{EXECUTE_RUN_ID}/tasks/task-XX/review.json
+
+本 execute run 的固定 ID 是：{EXECUTE_RUN_ID}
+**所有 task 的 review.json 必须使用这个 ID，不要自行创建新目录。**
+
+**review.json 必填字段：**
+
+{ "schemaVersion": 1, "task": "task-XX", "base": "<git-base-commit>", "head": "<git-head-commit>",
+ "changedFiles": ["src/foo.js"], "specVerdict": "pass|fail|cannot_verify",
+ "qualityVerdict": "pass|fail|cannot_verify", "reviewerNotes": "评审说明",
+ "requiredEvidence": [] }
+
+**评审铁律：**
+- 不信任 implementer 自报结果，对照 diff 和 task brief 验证
+- 只看当前 task 的 diff，不做全仓库漫游审查
+- \`cannot_verify\` 只在确实无法验证且有待补充证据时使用，且 requiredEvidence 必须非空
+- \`sillyspec run execute --done\` 会校验所有 task 的 review.json，缺失或 fail 会阻断完成
+
+### 完成后
+1. 为每个后端 router task，扫描变更文件提取 API 端点 artifact：
+   - 在变更文件中搜索所有 router 注册路径（@router.get/post/put/delete）
+   - 将端点清单写入 .sillyspec/.runtime/contract-artifacts/<task-name>/endpoints.json
+   - 格式: { "task": "task-XX", "type": "backend_endpoints", "endpoints": [{ "method": "GET", "path": "/api/ppm/xxx" }] }
+2. 运行 sillyspec run execute --done --input "用户原始反馈" --output "Wave ${waveIndex} 结果摘要"`
+}
+
+/**
+ * 动态构建 execute 步骤列表
+ * @param {string|null} planFilePath - plan 文件路径，null 则用默认 3 Wave
+ * @param {{ worktreePath?: string, noWorktree?: boolean }} options
+ * @returns {Array} 步骤列表
+ */
+export function buildExecuteSteps(planFilePath = null, options = {}) {
+  const noWorktree = !!options.noWorktree
+  let waves
+  let changeDir = null
+
+  if (planFilePath && existsSync(planFilePath)) {
+    const planContent = readFileSync(planFilePath, 'utf8')
+    // Plan → Execute 契约由 plan 阶段完成时的 postcheck 把关（run.js completeStep），
+    // 此处只负责解析 waves，避免 buildExecuteSteps 与进程退出耦合。
+    waves = parseWavesFromPlan(planContent)
+    changeDir = path.dirname(planFilePath)
+  }
+
+  // 没解析出 Wave（plan 不存在或不含可识别 task）→ 默认 3 Wave（向后兼容）
+  if (!waves || waves.length === 0) {
+    waves = []
+    for (let i = 1; i <= 3; i++) {
+      waves.push({ index: i, tasks: [{ name: `默认任务 ${i}`, file: 'TBD' }] })
+    }
+  }
+
+  // 尝试获取 worktree 路径（可能由前缀步骤创建）
+  const worktreePath = options.worktreePath || null
+
+  const waveSteps = waves.map((wave, i) => ({
+    name: `Wave ${i + 1} 执行`,
+    mode: 'implementation',
+    prompt: buildWavePrompt(wave, i + 1, changeDir, worktreePath),
+    outputHint: `Wave ${i + 1} 执行结果`,
+    optional: false
+  }))
+
+  return [...fixedPrefix, ...waveSteps, ...acceptanceSteps, ...fixedSuffix]
+}