sillyspec 3.10.0 → 3.10.2

package/.claude/skills/sillyspec-resume/SKILL.md

@@ -17,7 +17,7 @@ description: 恢复工作 — 从中断处继续
 ### 1. 读取 progress.json
 
 ```bash
-sillyspec progress show 2>/dev/null
+sillyspec run resume --status 2>/dev/null
 ```
 
 ### 2. 如果有 progress.json
@@ -45,7 +45,7 @@ sillyspec progress show 2>/dev/null
 
 **不需要执行 Git 操作或文件探测。** progress.json 已经包含所有信息。
 
-使用 `sillyspec progress show` 查看。
+使用 `sillyspec run resume --status` 查看。
 
 然后问用户：
    1. 直接继续执行下一步
@@ -80,7 +80,7 @@ cat .sillyspec/ROADMAP.md 2>/dev/null
 
 检查各阶段状态并输出阶段进度表（同步骤 2 格式）。
 
-同时**运行 `sillyspec progress init`**，将探测到的信息写入 progress.json，后续命令执行时会自动更新。
+同时**运行 `sillyspec run resume --init`**，将探测到的信息写入 progress.json，后续命令执行时会自动更新。
 
 #### 如果是普通变更（无 MASTER.md）
 
@@ -102,10 +102,10 @@ cat .sillyspec/ROADMAP.md 2>/dev/null
 - 有部分 codebase 文档（如只有 STACK 和 STRUCTURE）→ 说明快扫或深扫中断
 - 缺失的文档列表直接展示给用户，告知 `/sillyspec:scan` 会自动跳过已存在的文档
 
-**同时运行 `sillyspec progress init`** 记录推断的状态。
+**同时运行 `sillyspec run resume --init`** 记录推断的状态。
 
 ### 4. 关键原则
 
 - **不需要 HANDOFF.json**。progress.json 是唯一的恢复数据源。
 - **progress.json 不需要 Git 提交**（已在 .runtime/ 下，被 .gitignore 忽略）。
-- **每次命令执行完自动更新 progress.json**（通过 `sillyspec progress` CLI），不需要用户手动保存。
+- **每次命令执行完自动更新 progress.json**（通过 `sillyspec run <stage> --done`），不需要用户手动保存。

package/.claude/skills/sillyspec-state/SKILL.md

@@ -10,7 +10,7 @@ description: 查看当前工作状态 — 显示 progress.json 内容
 ### 1. 读取 progress.json
 
 ```bash
-sillyspec progress show 2>/dev/null
+sillyspec run state --status 2>/dev/null
 ```
 
 ### 2. 如果有 progress.json

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "sillyspec",
-  "version": "3.10.0",
+  "version": "3.10.2",
   "description": "SillySpec CLI — 流程状态机，让 AI 严格按步骤来",
   "icon": "logo.jpg",
   "homepage": "https://sillyspec.ppdmq.top/",

package/src/run.js

@@ -174,6 +174,7 @@ export async function runCommand(args, cwd) {
   const isSkip = flags.includes('--skip')
   const isStatus = flags.includes('--status')
   const isReset = flags.includes('--reset')
+  const isConfirm = flags.includes('--confirm')
 
   // 解析 --output
   let outputText = null
@@ -248,7 +249,7 @@ export async function runCommand(args, cwd) {
 
   // --done
   if (isDone) {
-    return await completeStep(pm, progress, stageName, cwd, outputText, inputText)
+    return await completeStep(pm, progress, stageName, cwd, outputText, inputText, { confirm: isConfirm })
   }
 
   // 默认：输出当前步骤
@@ -329,7 +330,7 @@ function validateMetadata(cwd, stageName) {
 }
 
 async function completeStep(pm, progress, stageName, cwd, outputText, inputText = null, options = {}) {
-  const { printNext = true } = options
+  const { printNext = true, confirm = false } = options
   const stageData = progress.stages[stageName]
   if (!stageData || !stageData.steps) {
     console.error(`❌ 阶段 ${stageName} 未初始化`)
@@ -405,9 +406,74 @@ async function completeStep(pm, progress, stageName, cwd, outputText, inputText
     // 验证：检查生成的文件是否包含 author 和 created_at
     validateMetadata(cwd, stageName)
 
+    // archive 阶段 Step 2（确认归档）完成时自动执行归档移动
+    if (stageName === 'archive' && steps[currentIdx]?.name === '确认归档') {
+      if (confirm) {
+        const { renameSync } = await import('fs')
+        const changeName = progress.currentChange
+        if (!changeName) {
+          console.error('❌ 归档失败：未找到当前变更名（currentChange）')
+          process.exit(1)
+        }
+        const changesDir = join(cwd, '.sillyspec', 'changes')
+        const archiveDir = join(changesDir, 'archive')
+        const srcDir = join(changesDir, changeName)
+        const date = new Date().toISOString().slice(0, 10)
+        const destDir = join(archiveDir, `${date}-${changeName}`)
+
+        if (!existsSync(srcDir)) {
+          console.error(`❌ 归档失败：源目录不存在 ${srcDir}`)
+          process.exit(1)
+        }
+        if (existsSync(destDir)) {
+          console.error(`❌ 归档失败：目标目录已存在 ${destDir}`)
+          process.exit(1)
+        }
+        mkdirSync(archiveDir, { recursive: true })
+        renameSync(srcDir, destDir)
+
+        // 校验
+        if (!existsSync(destDir) || existsSync(srcDir)) {
+          console.error('❌ 归档校验失败：移动操作异常')
+          process.exit(1)
+        }
+
+        // 清除 currentChange
+        progress.currentChange = null
+        console.log(`📦 已归档：${changeName} → archive/${date}-${changeName}/`)
+      } else {
+        console.log('⚠️  请添加 --confirm 确认归档，例如：sillyspec run archive --done --confirm --output "确认归档"')
+      }
+    }
+
+    // 辅助阶段（archive/scan/quick 等）完成后重置步骤，允许重复执行
+    const stageDef = stageRegistry[stageName]
+    if (stageDef?.auxiliary) {
+      const freshSteps = (stageDef.steps || []).map(s => ({
+        name: s.name,
+        status: 'pending',
+        output: null,
+        completedAt: null
+      }))
+      stageData.steps = freshSteps
+      stageData.status = 'pending'
+      stageData.completedAt = null
+      pm._write(cwd, progress)
+    }
+
     const total = steps.length
     console.log(`✅ ${stageName} 阶段已完成（${total}/${total} 步）`)
-    console.log(`\n下一步由你决定：sillyspec run <stage>（brainstorm/plan/execute/verify/archive 等）`)
+
+    // 阶段完成后提示下一步
+    if (stageName === 'execute') {
+      console.log('\n👉 下一步：sillyspec run verify（验证通过后才能归档）')
+    } else if (stageName === 'verify') {
+      console.log('\n👉 下一步：sillyspec run archive（验证通过，可以归档了）')
+    } else if (stageName === 'archive') {
+      console.log('\n👉 归档完成！现在可以提交了：git commit -m "..."')
+    } else {
+      console.log(`\n下一步由你决定：sillyspec run <stage>（brainstorm/plan/execute/verify/archive 等）`)
+    }
     return { stageCompleted: true, currentIdx, nextPendingIdx: -1 }
   }
 

package/src/stages/archive.js

@@ -2,19 +2,19 @@ export const definition = {
   name: 'archive',
   title: '归档变更',
   description: '规范沉淀，可追溯',
-  auxiliary: true,
   steps: [
     {
       name: '任务完成度检查',
-      prompt: `检查 tasks.md 中所有 checkbox 是否已勾选。
+      prompt: `检查 plan.md 中所有任务 checkbox 是否已勾选（plan.md 是任务完成的唯一真相源）。
 
 ### 操作
-1. 读取 \`.sillyspec/changes/<change-name>/tasks.md\`
-2. 检查所有 checkbox 是否已勾选
-3. 如有遗漏 → 询问用户是否继续归档
+1. 读取 \`.sillyspec/changes/<change-name>/plan.md\`
+2. 检查所有 \`- [x]\` checkbox 是否已勾选
+3. 如果 plan.md 不存在，回退读取 tasks.md 作为备选
+4. 如有遗漏 → 询问用户是否继续归档
 
 ### 输出
-完成度报告`,
+完成度报告（已勾选/总数 + 未完成任务列表）`,
       outputHint: '完成度报告',
       optional: false
     },
@@ -25,9 +25,15 @@ export const definition = {
 ### 操作
 1. 展示：变更目录名、包含的文件列表、生成总结
 2. 请用户确认是否执行归档
-3. 确认后：将 \`.sillyspec/changes/<change-name>/\` 移动到 \`.sillyspec/changes/archive/YYYY-MM-DD-<change-name>/\`
+3. 确认后：将 \.sillyspec/changes/<change-name>/ 移动到 \.sillyspec/changes/archive/YYYY-MM-DD-<change-name>/
 4. 确保所有 checkbox 都已勾选
 
+### 归档执行
+确认归档后，执行以下命令自动完成目录移动：
+\	\	sillyspec run archive --done --confirm --output "确认归档"
+- \`--confirm\` 标志会自动执行目录移动（原子操作）
+- 不带 \`--confirm\` 则只提示需要确认
+
 ### 输出
 归档确认`,
       outputHint: '归档确认',
@@ -39,7 +45,7 @@ export const definition = {
 
 ### 操作
 1. 如果 \`.sillyspec/ROADMAP.md\` 存在，标记对应 Phase 为已完成
-2. \`git add .sillyspec/\` — **不要 commit**，由用户通过统一提交工具处理
+2. \`git add .sillyspec/changes/\` — 暂存归档结果（不要 commit，由用户通过统一提交工具处理）
 3. 更新 progress.json：
    - 清除当前变更信息（归档后不再活跃）
    - 如果是主变更（有 MASTER.md），标记所有阶段为 ✅，然后清除

package/src/stages/brainstorm.js

@@ -245,7 +245,7 @@ design.md 文件路径 + 自审结果
    - **proposal.md**：动机、变更范围、不在范围内、成功标准
    - **requirements.md**：功能需求、用户场景（Given/When/Then 格式）、非功能需求
    - **tasks.md**：任务列表（只列名称和对应文件路径，细节在 plan 阶段展开）
-   - \`git add .sillyspec/\` — **不要 commit**
+   - \`git add .sillyspec/\` — 暂存规范文件（不要 commit）
 
 ### 输出
 所有规范文件路径

package/src/stages/execute.js

@@ -69,6 +69,73 @@ Wave 分组 + 模型分配 + 确认模式 + 知识库匹配结果
   }
 ]
 
+// 全局验收步骤定义
+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 = [
   {
@@ -90,11 +157,10 @@ const fixedSuffix = [
     prompt: `所有任务完成后的收尾。
 
 ### 操作
-1. 询问用户下一步：
-   - 验证 → sillyspec run verify
-   - 归档 → /sillyspec:archive
-   - 继续开发
-2. 提示 git add 暂存变更
+1. 建议下一步：
+   - 运行 \`sillyspec run verify\` 进行验证（验证通过后才能归档）
+   - 如果发现问题需要修复，先修复再验证
+   - 用户也可以选择继续开发（不验证）
 
 ### 输出
 用户选择 + 下一步命令
@@ -171,33 +237,15 @@ function parseWavesFromPlan(planContent) {
  * 为 Wave 生成 prompt（强制子代理执行）
  */
 function buildWavePrompt(wave, waveIndex, changeDir) {
-  // 构建子代理 prompt 模板（每个任务的蓝图内容）
-  const subagentTemplates = wave.tasks.map((t, ti) => {
+  // 构建任务摘要（不再内联完整蓝图，减少上下文污染）
+  const taskSummary = wave.tasks.map((t, ti) => {
     const taskNum = String(t.index || (ti + 1)).padStart(2, '0')
-    const taskFile = changeDir ? `${changeDir}/tasks/task-${taskNum}.md` : ''
-    const taskFileExists = taskFile && existsSync(taskFile)
-    let taskContent = ''
-    if (taskFileExists) {
-      try { taskContent = readFileSync(taskFile, 'utf8').trim() } catch { taskContent = '（无法读取任务蓝图文件）' }
-    }
+    const taskRelPath = changeDir
+      ? `.sillyspec/changes/${path.basename(changeDir)}/tasks/task-${taskNum}.md`
+      : `task-${taskNum}.md`
     const fileInfo = t.file ? ` (${t.file})` : ''
-    return `\`\`\`
-任务：${t.name}${fileInfo}
-${taskContent ? `蓝图内容：\n${taskContent}` : '（无蓝图文件，按任务描述执行）'}
-
-操作：
-1. 先读后写 — 读取要修改的文件，理解现有结构
-2. 按 TDD 步骤实现
-3. 运行对应测试确认通过
-4. 报告改动文件和测试结果
-
-铁律：
-- 只做蓝图/任务描述里写的事，不增不减
-- 蓝图有问题 → 报告问题，不要自己改
-- 先写测试，再写代码
-- grep 确认方法存在，不要编造
-\`\`\``
-  }).join('\n\n')
+    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')
@@ -218,10 +266,15 @@ ${taskContent ? `蓝图内容：\n${taskContent}` : '（无蓝图文件，按任
 3. 勾选 plan.md 中的 checkbox
 4. 记录改动文件和测试结果
 
-### 子代理 prompt 模板
-为每个任务使用以下 prompt 启动子代理：
+### 任务摘要（按需读取完整蓝图）
+为每个任务启动子代理时，**只需告知任务目标和蓝图文件路径，让子代理按需读取**：
+
+${taskSummary}
 
-${subagentTemplates}
+子代理 prompt 要点：
+1. 任务目标（简短描述）
+2. 蓝图文件路径（让子代理自行读取详情）
+3. 编码铁律：先读后写、TDD、不编造方法、只做蓝图里写的事
 
 ### Wave 开始前
 1. 读取 design.md 的「编码铁律」章节（如果存在），严格遵守
@@ -252,6 +305,7 @@ ${taskList}
 运行 sillyspec run execute --done --input "用户原始反馈" --output "Wave ${waveIndex} 结果摘要"`
 }
 
+
 /**
  * 动态构建 execute 步骤列表
  * @param {string|null} planFilePath - plan 文件路径，null 则用默认 3 Wave
@@ -278,10 +332,11 @@ export function buildExecuteSteps(planFilePath = null) {
 
   const waveSteps = waves.map((wave, i) => ({
     name: `Wave ${i + 1} 执行`,
+    mode: 'implementation',
     prompt: buildWavePrompt(wave, i + 1, changeDir),
     outputHint: `Wave ${i + 1} 执行结果`,
     optional: false
   }))
 
-  return [...fixedPrefix, ...waveSteps, ...fixedSuffix]
+  return [...fixedPrefix, ...waveSteps, ...acceptanceSteps, ...fixedSuffix]
 }

package/src/stages/index.js

@@ -10,18 +10,21 @@ import { definition as archive } from './archive.js'
 import { definition as status } from './status.js'
 import { definition as doctor } from './doctor.js'
 
+// 标记辅助阶段
+const auxiliaryFlag = { auxiliary: true }
+
 export const stageRegistry = {
   brainstorm,
   propose,
   plan,
   execute,
   verify,
-  scan,
-  quick,
-  explore,
-  archive,
-  status,
-  doctor
+  scan: { ...scan, ...auxiliaryFlag },
+  quick: { ...quick, ...auxiliaryFlag },
+  explore: { ...explore, ...auxiliaryFlag },
+  archive: { ...archive, ...auxiliaryFlag },
+  status: { ...status, ...auxiliaryFlag },
+  doctor: { ...doctor, ...auxiliaryFlag }
 }
 
 // 辅助命令（在没有 progress.json 时也可执行）

package/src/stages/plan.js

@@ -140,7 +140,6 @@ export const fixedSuffix = [
 
 ### 操作
 1. 确认 plan.md 和所有 tasks/task-NN.md 已存在
-2. \`git add .sillyspec/\` — **不要 commit**
 
 ### 输出
 文件列表 + 下一步命令`,

package/src/stages/quick.js

@@ -17,8 +17,21 @@ export const definition = {
 6. 如有 \`--change\`，加载设计文档：\`cat .sillyspec/changes/<变更名>/design.md 2>/dev/null\`（理解设计意图）
 7. 如有需要，查询知识库：\`cat .sillyspec/knowledge/INDEX.md 2>/dev/null\`
 
+### 创建任务记录（必须执行）
+理解完任务后，立即创建记录文件：
+1. \`git config user.name\` 获取用户名
+2. 无 \`--change\`：创建 \.sillyspec/quicklog/QUICKLOG-<git用户名>.md\`（已存在则追加），写入：
+   \`\`\`
+   ## YYYY-MM-DD HH:mm:ss — <一句话任务描述>
+   状态：进行中
+   文件：<预估要改的文件>
+   \`\`\`
+3. 有 \`--change\`：在 \`.sillyspec/changes/<变更名>/tasks.md\` 追加未勾选的 task
+
+这样 Gate 检测到 \.sillyspec/\` 下有变更，就不会拦截后续的代码修改。
+
 ### 输出
-任务理解 + 上下文摘要`,
+任务理解 + 上下文摘要 + quicklog 已创建`,
       outputHint: '任务理解',
       optional: false
     },
@@ -43,14 +56,14 @@ export const definition = {
       optional: false
     },
     {
-      name: '暂存和记录',
-      prompt: `Git 暂存并记录任务。
+      name: '暂存和更新记录',
+      prompt: `Git 暂存并更新任务记录。
 
 ### 操作
-1. \`git add -A\` — **不要 commit**，由用户通过统一提交
-2. 记录：
-   - 有 \`--change\`：在 \`.sillyspec/changes/<变更名>/tasks.md\` 追加 task 并勾选，记录精确到秒的时间戳
-   - 无 \`--change\`：记录到 \`.sillyspec/quicklog/QUICKLOG-<git用户名>.md\`（按 git 用户名隔离）
+1. \`git add -A\` — 暂存改动文件（不要 commit，由用户通过统一提交工具处理）
+2. 更新 Step 1 创建的记录：
+   - 无 \`--change\`：更新 QUICKLOG 条目，将「状态：进行中」改为「状态：已完成」，补充实际改动文件和结果摘要
+   - 有 \`--change\`：勾选 tasks.md 中对应的 task checkbox
 3. QUICKLOG 轮转：超过 500 行则重命名为 \`QUICKLOG-<USER>-YYYY-MM-DD.md\`
 4. 如果发现项目特有的坑，追加到 \`.sillyspec/knowledge/uncategorized.md\`
 5. 任务比预期复杂 → 建议用完整流程

package/src/stages/scan.js

@@ -119,6 +119,45 @@ TESTING.md、CONCERNS.md、PROJECT.md 路径`,
       outputHint: '三份文档路径',
       optional: false
     },
+    {
+      name: '生成本地配置',
+      prompt: `自动生成 .sillyspec/.runtime/local.yaml 本地配置文件。
+
+### 操作
+1. 检查 .sillyspec/.runtime/local.yaml 是否已存在，已存在则跳过（提示"local.yaml 已存在，跳过生成"）
+2. 根据项目类型生成默认配置：
+   - **Node.js**（有 package.json）：build: "npm run build", test: "npm test", lint: "npm run lint", type: nodejs
+   - **Maven**（有 pom.xml）：build: "mvn compile", test: "mvn test", lint: "mvn checkstyle:check", type: maven
+   - **Gradle**（有 build.gradle）：build: "./gradlew build", test: "./gradlew test", type: gradle
+   - **通用项目**：只写注释模板, type: generic
+3. 确保目录存在：mkdir -p .sillyspec/.runtime
+4. 原子写入（先写 tmp 文件再 rename）
+
+### 文件格式
+\`\`\`yaml
+# SillySpec 本地配置（自动生成，可手动修改）
+project:
+  type: nodejs  # nodejs/maven/gradle/generic
+
+commands:
+  build: "npm run build"
+  test: "npm test"
+  lint: "npm run lint"
+
+# 测试策略：full=全量测试, module=只测变更模块, skip=跳过测试
+test_strategy: module
+
+# 模块测试路径映射（可选）
+# module_paths:
+#   user-service: "user/"
+#   order-service: "order/"
+\`\`\`
+
+### 输出
+local.yaml 生成结果（已存在/已生成）`,
+      outputHint: 'local.yaml 生成状态',
+      optional: false
+    },
     {
       name: '自检和提交',
       prompt: `验证扫描完整性，清理并提交。
@@ -127,7 +166,7 @@ TESTING.md、CONCERNS.md、PROJECT.md 路径`,
 1. 检查 7 份文档是否全部生成
 2. 自检门控：ARCHITECTURE（技术栈+Schema摘要）、CONVENTIONS（隐形规则+代码风格）、STRUCTURE（目录结构）、INTEGRATIONS（外部依赖）、TESTING（测试现状）、CONCERNS（技术债务）、PROJECT（项目概览）
 3. 清理：\`rm -f .sillyspec/docs/<project>/scan/_env-detect.md\`
-4. \`git add .\` — **不要 commit**，由用户通过统一提交工具处理
+4. \`git add .sillyspec/\` — 暂存扫描结果（不要 commit，由用户通过统一提交工具处理）
 
 ### 输出
 扫描完整性报告

package/src/stages/verify.js

@@ -58,9 +58,38 @@ export const definition = {
     },
     {
       name: '对照设计检查',
-      prompt: `对照 design.md 检查实现一致性。**design.md 是唯一 truth source，不符合 design.md 的实现 = Bug。**
-
-### 操作
+      prompt: `先运行自动探针，再对照 design.md 检查实现一致性。**design.md 是唯一 truth source，不符合 design.md 的实现 = Bug。**
+
+### 自动探针（必须先执行）
+在检查前，依次运行以下三个探针，将结果作为验证输入：
+
+**探针 1：未实现标记扫描**
+在项目源码目录中搜索未实现标记：
+\`\`\`bash
+grep -rn "尚未实现\|TODO\|FIXME\|HACK\|XXX" <源码目录>/ --include="*.java" --include="*.js" --include="*.ts" --include="*.jsx" --include="*.tsx" --include="*.py"
+\`\`\`
+记录每个匹配的文件、行号和内容。
+
+**探针 2：设计关键词覆盖探针**
+1. 读取 design.md，从中提取所有能力关键词（如"登录"、"导出"、"批量"、"删除"、"搜索"等动作词）
+2. 对每个关键词，在源码目录中 grep 确认是否有对应的实现代码：
+\`\`\`bash
+grep -rl "<关键词>" <源码目录>/ --include="*.java" --include="*.js" --include="*.ts" --include="*.jsx" --include="*.tsx" --include="*.py"
+\`\`\`
+3. 如果某个关键词在源码中完全没有匹配，标记为 ⚠️ 可能未实现
+
+**探针 3：验收标准测试覆盖探针**
+1. 读取变更目录下的 tasks.md，提取所有 checkbox 任务
+2. 对每个 task，检查对应模块目录下是否存在测试文件（*test*、*spec*、*Test*、*Spec*）
+3. 没有测试文件的 task 标记为 ⚠️ 缺少测试
+
+### 探针结果处理
+- 将三个探针的结果汇总为「探针报告」
+- 如果探针发现问题（未实现标记、关键词缺失、测试缺失），在最终验证报告中明确标注
+- 探针发现的问题不等同于验证失败，但必须在报告中列出
+
+### 设计一致性检查
+基于探针结果，继续检查：
 1. 架构决策是否遵循
 2. 文件变更清单是否一致
 3. 数据模型是否符合
@@ -68,7 +97,7 @@ export const definition = {
 5. **Reverse Sync 检查**：如果发现实现合理但 design.md 未覆盖，先更新 design.md 补充遗漏
 
 ### 输出
-一致性检查结果`,
+探针报告 + 设计一致性检查结果`,
       outputHint: '设计一致性报告',
       optional: false
     },
@@ -126,8 +155,8 @@ export const definition = {
 验证报告 markdown + 下一步命令
 
 ### 注意
-- PASS → 下一步 archive
-- FAIL → 修复后重新 verify`,
+- PASS → 运行 \`sillyspec run archive\` 归档
+- FAIL → 修复后运行 \`sillyspec run verify\` 重新验证`,
       outputHint: '验证报告',
       optional: false
     }