sillyspec 3.22.0 → 3.22.2

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

@@ -48,6 +48,8 @@ sillyspec run brainstorm --done --answer "..." --output "..."    # 一步完成
 
 某些步骤（如"对话式探索"）需要用户输入。两种方式：
 
+> 自动去重：若前置 step 已对同一问题（waitReason 归一化后相同，如"确认设计方案" vs "最终确认设计方案"）确认过，后续重复 wait 会自动跳过，无需再 `--wait`。
+
 - **方式一（推荐）**：AI 自行与用户交互后，一步完成：
   ```bash
   sillyspec run brainstorm --done --change <名> --answer "用户回答" --output "需求已澄清"

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

@@ -57,7 +57,7 @@ sillyspec worktree doctor --fix --change <变更名>
 
 ### Task Review Gate
 
-execute 完成时，每个 task 必须有 `review.json` 且 verdict 通过，否则阻断完成。`cannot_verify` 的 task 会写入 `verify-required-evidence.json`，由 verify 阶段消费。
+execute 完成时，每个 task 必须有 `review.json` 且 verdict 通过，否则阻断完成。**例外**：task 在 `tasks/task-XX.md` frontmatter 声明 `low_risk: true`（type-only / 机械迁移等低逻辑风险）时，缺 review.json 只发 warning 不阻断。`cannot_verify` 的 task 会写入 `verify-required-evidence.json`，由 verify 阶段消费。
 
 ## worktree 子命令（execute 相关）
 

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

@@ -53,7 +53,7 @@ verify 是只读阶段（**禁止改代码/改 git 状态**，只检查 + 写报
 ```markdown
 # 验证报告
 ## 结论
-PASS / PASS WITH NOTES / FAIL      ← 必须有此章节，FAIL 会阻断 verify 完成
+PASS / PASS WITH NOTES / FAIL      ← 必须有结论章节（标题含"结论/Conclusion/Result/结果"即可，不限于确切"## 结论"），FAIL 会阻断 verify 完成
 ## 任务完成度
 ## 设计一致性
 ## 探针结果

package/package.json

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

package/src/run.js

@@ -2481,7 +2481,19 @@ async function completeStep(pm, progress, stageName, cwd, outputText, inputText
   if (currentStepDef.requiresWait === true && !currentStep.waitAnswer) {
     // 检查 --done 是否带了 --answer：如果是，自动补全 waitAnswer 状态，一步完成
     const doneAnswer = typeof options !== 'undefined' && options.doneAnswer ? options.doneAnswer : null
-    if (doneAnswer) {
+    // B4: 前置 step 已对同一问题确认则自动跳过重复 wait。
+    // 归一化去掉「最终/再次/重复」等修饰词，避免 step N「确认 X」与 step M「最终确认 X」重复打断。
+    const normalizeReason = (r) => (r || '').replace(/(最终|再次|重复|最后|首|初次|首次)/g, '').trim()
+    const currentReason = normalizeReason(currentStepDef.waitReason)
+    const priorConfirmed = currentReason && steps.slice(0, currentIdx).some(s =>
+      s.waitAnswer && s.status === 'completed' && normalizeReason(s.waitReason) === currentReason
+    )
+    if (priorConfirmed) {
+      currentStep.status = 'waiting'
+      currentStep.waitAnswer = '前置步骤已对同一问题确认 — 自动跳过重复 wait'
+      currentStep.waitReason = currentStepDef.waitReason || '等待用户输入'
+      console.log(`⚠️  Step "${currentStep.name}" 的确认（${currentStepDef.waitReason}）已在前置步骤完成，自动跳过。`)
+    } else if (doneAnswer) {
       currentStep.status = 'waiting'
       currentStep.waitAnswer = doneAnswer
       currentStep.waitReason = currentStepDef.waitReason || '等待用户输入'
@@ -3096,7 +3108,7 @@ async function completeStep(pm, progress, stageName, cwd, outputText, inputText
               executeRunId = generateExecuteRunId()
             }
 
-            const reviewResult = validateTaskReviews({ planContent, runtimeRoot, executeRunId })
+            const reviewResult = validateTaskReviews({ planContent, runtimeRoot, executeRunId, changeDir: planFile })
             printReviewResult(reviewResult)
 
             if (!reviewResult.ok) {

package/src/stage-contract.js

@@ -253,14 +253,21 @@ function validateBrainstormOutputs(cwd, changeName, context = {}) {
       warnings.push('design.md 缺少「自审」章节')
     }
 
-    // P1: 涉及生命周期关键词时，design.md 必须包含生命周期契约表
+    // P1: 涉及生命周期关键词时，design.md 必须包含生命周期契约表（除非显式声明不涉及）
     const hasLifecycleKeyword = /\b(session|lease|agent[._-]?run|daemon|lifecycle|state[._-]?transition|claim|heartbeat)\b/i.test(content)
     if (hasLifecycleKeyword) {
-      const hasLifecycleTable =
-        /生命周期契约表|lifecycle[._-]?contract|lifecycle[._-]?matrix|Lifecycle Contract/i.test(content) ||
-        /事件.*发起方.*接收方.*必需字段.*状态变化/.test(content)
-      if (!hasLifecycleTable) {
-        errors.push('design.md 涉及生命周期关键词（session/lease/agent_run/daemon/lifecycle）但缺少「生命周期契约表」— 必须列出完整的事件×状态转换矩阵')
+      // 显式声明本变更不涉及生命周期契约（覆盖字段名/错误码/否定声明场景）：
+      // 历史教训：design 提到 daemon_id 字段名或 daemon_not_owned 错误码就触发，被迫加空表（B3a）
+      const declaresNotApplicable = /(生命周期|lifecycle)[^\n]{0,40}(n\/?a|不涉及|无|none|not[ _-]?applicable)|(不涉及|无需|没有)[^\n]{0,40}(生命周期|lifecycle)/i.test(content)
+      if (declaresNotApplicable) {
+        warnings.push('design.md 显式声明不涉及生命周期契约 — 已豁免「生命周期契约表」要求')
+      } else {
+        const hasLifecycleTable =
+          /生命周期契约表|lifecycle[._-]?contract|lifecycle[._-]?matrix|Lifecycle Contract/i.test(content) ||
+          /事件.*发起方.*接收方.*必需字段.*状态变化/.test(content)
+        if (!hasLifecycleTable) {
+          errors.push('design.md 涉及生命周期关键词（session/lease/agent_run/daemon/lifecycle）但缺少「生命周期契约表」— 必须列出完整的事件×状态转换矩阵；或显式声明「不涉及生命周期契约」并附理由豁免')
+        }
       }
     }
   }
@@ -380,6 +387,22 @@ function validatePlanOutputs(cwd, changeName, context = {}) {
 
   return { ok: errors.length === 0, errors, warnings }
 }
+/**
+ * 从 verify-result.md 提取结论关键词（PASS / PASS WITH NOTES / FAIL）。
+ * 标题放宽：含「结论/Conclusion/Result/结果」的二级标题均可（B3c），
+ * PASS/FAIL 可在标题行本身（如「## 验收结论：✅ PASS」）或紧邻标题的正文里。
+ * 历史教训：原正则锚定确切「## 结论」，用户写「## 验收结论：✅ PASS」不被识别。
+ */
+function extractVerifyConclusion(verify) {
+  const headingRe = /^##\s[^\n]*(?:结论|conclusion|result|结果)/im
+  const headingMatch = verify.match(headingRe)
+  if (!headingMatch) return ''
+  const start = headingMatch.index
+  const slice = verify.slice(start, start + 400)
+  const kw = slice.match(/\b(PASS(?:\s+WITH\s+NOTES)?|FAIL)\b/i)
+  return kw ? kw[1].toUpperCase().replace(/\s+/g, ' ') : ''
+}
+
 function validateVerifyOutputs(cwd, changeName, context = {}) {
   const { specRoot } = context
   const changeDir = resolveChangeDir(cwd, changeName, specRoot)
@@ -419,12 +442,11 @@ function validateVerifyOutputs(cwd, changeName, context = {}) {
     // ── FAIL 结论门控（适用于所有变更，不限风险等级）──
     // verify-result.md 结论为 FAIL 时，verify 阶段不能 completed。
     // 历史教训：CLI 曾不校验结论，AI 写 FAIL 后 verify 仍被标记完成并提示"验证通过可以归档"。
-    const conclusionLine = verify.match(/^##\s*结论\s*\n\s*(PASS(?:\s+WITH\s+NOTES)?|FAIL)/im)
-    const conclusionStr = conclusionLine ? conclusionLine[1].toUpperCase().replace(/\s+/g, ' ') : ''
+    const conclusionStr = extractVerifyConclusion(verify)
     if (conclusionStr === 'FAIL') {
       errors.push('verify-result.md 结论为 FAIL — 验证未通过，不能标记 verify 完成；请修复后重新运行验证')
     } else if (!conclusionStr) {
-      warnings.push('verify-result.md 未识别到「## 结论」章节（应为 PASS / PASS WITH NOTES / FAIL）')
+      warnings.push('verify-result.md 未识别到结论章节（含 结论/Conclusion/Result/结果 的二级标题，后跟 PASS / PASS WITH NOTES / FAIL）')
     }
 
     // ── P0: Change Risk Gate — 核心功能缺少真实集成验证时 FAIL ──
@@ -433,8 +455,7 @@ function validateVerifyOutputs(cwd, changeName, context = {}) {
       planContent: readIfExists(join(changeDir, 'plan.md')),
     })
     if (['integration-critical', 'deployment-critical'].includes(changeRiskProfile.level)) {
-      const conclusionMatch = verify.match(/^## 结论\s*\n\s*(PASS|PASS WITH NOTES|FAIL)/im)
-      const conclusion = conclusionMatch ? conclusionMatch[1] : ''
+      const conclusion = extractVerifyConclusion(verify)
       if (conclusion === 'PASS WITH NOTES' || conclusion === 'PASS') {
         const evidenceCheck = checkIntegrationEvidence(verify, changeRiskProfile.requiredVerification)
         if (!evidenceCheck.ok) {

package/src/stages/execute.js

@@ -361,30 +361,48 @@ function parseWavesFromPlan(planContent) {
   const lines = planContent.split('\n')
   let currentWave = null
   let currentTask = null
+  // light/none plan.md 用 `## Tasks`（无 `## Wave N`）包任务，需识别为隐式任务区，
+  // 让其中的 task checkbox 能被收进惰性创建的隐式 Wave（见下方 taskMatch 分支）。
+  let inImplicitTaskSection = false
 
   for (const line of lines) {
     const waveMatch = line.match(/^#+\s*Wave\s+(\d+)/i)
     if (waveMatch) {
       currentWave = { index: parseInt(waveMatch[1]), tasks: [] }
       currentTask = null
+      inImplicitTaskSection = false
       waves.push(currentWave)
       continue
     }
 
-    // 遇到任何非 Wave 的标题行（## 自检、## 备注 等）时退出当前 Wave 段，
-    // 避免「## 自检」段里的 - [x] checkbox 被误当 task 定义解析（导致
-    // Contract 校验报 task id 重复/不连续）。详见 docs/sillyspec/plan-postcheck-self-check-checkbox-false-dup.md
-    if (/^#+\s/.test(line)) {
+    // 任何非 Wave 的标题行：
+    //   1) 退出当前显式 Wave 段，避免「## 自检」段里的 - [x] checkbox 被误当 task 定义解析
+    //      （导致 Contract 校验报 task id 重复/不连续，详见 docs/sillyspec/plan-postcheck-self-check-checkbox-false-dup.md）
+    //   2) 识别 light/none 的 `## Tasks`/`## 任务` 任务区（无 Wave 标题），置位隐式任务区标志
+    const headingMatch = line.match(/^#+\s+(.+?)\s*$/)
+    if (headingMatch) {
       currentWave = null
       currentTask = null
+      const headingText = headingMatch[1].trim().toLowerCase()
+      inImplicitTaskSection = /^(tasks?|任务)$/.test(headingText)
       continue
     }
 
-    if (!currentWave) continue
-
     const taskMatch = line.match(/^[-*]\s*\[[ x]\]\s*(.+)/)
     if (taskMatch) {
       const taskNoMatch = taskMatch[1].match(/\btask-(\d+)\b/i)
+      // full plan.md：task 必须在显式 Wave 段内（currentWave 非 null），正常收容。
+      // light/none plan.md（无 Wave 标题，任务在 `## Tasks` 下）：在隐式任务区内，遇含
+      // task-XX 编号的 checkbox 时惰性创建隐式 Wave 收容，否则 validatePlanForExecute 会报
+      // "没有找到 checkbox task"。详见 docs/sillyspec/plan-light-needs-wave-heading.md
+      // 不收的情况：非任务区（## 自检/## 验收 等）的 checkbox，或任务区内无 task-XX 编号的 checkbox。
+      if (!currentWave) {
+        if (!inImplicitTaskSection || !taskNoMatch) continue
+        const nextIndex = waves.length === 0 ? 1 : (waves[waves.length - 1].index || waves.length) + 1
+        currentWave = { index: nextIndex, tasks: [], implicit: true }
+        currentTask = null
+        waves.push(currentWave)
+      }
       currentTask = {
         index: taskNoMatch ? parseInt(taskNoMatch[1], 10) : null,
         name: taskMatch[1].trim(),
@@ -549,12 +567,12 @@ ${taskSummary}
 4. 如存在模块文档（.sillyspec/docs/*/modules/），按需读取涉及模块的 <module>.md 参考接口约定和数据流
 
 ### Wave 开始前
-1. 读取 design.md 的「编码铁律」章节（如果存在），严格遵守
+1. 读取 design.md 的「非目标」与「兼容策略」章节（如存在），确保子代理不超范围、不破坏旧逻辑
 2. 读取 plan.md 了解全局任务划分和依赖关系
 3. 确认本 Wave 的输入/输出契约（前置 Wave 产出了什么，本 Wave 需要消费什么）
 4. 检查前置 Wave 的产出是否完整（文件是否存在、测试是否通过）
 5. **上下文分层加载**：
-   - 🔥 热上下文：design.md 编码铁律 + 当前 Wave 任务（必须加载）
+   - 🔥 热上下文：design.md 非目标/兼容策略 + 当前 Wave 任务（必须加载）
    - 🌡️ 温上下文：CONVENTIONS.md + ARCHITECTURE.md（需要时加载）
    - ❄️ 冷上下文：其他变更的 design.md、历史 plan.md（不要主动加载，除非明确需要）
 ${contractInjection}

package/src/stages/verify.js

@@ -114,10 +114,10 @@ export const definition = {
 ### 自动探针（必须先执行）
 在检查前，依次运行以下三个探针，将结果作为验证输入：
 
-**探针 1：未实现标记扫描**
-在项目源码目录中搜索未实现标记：
+**探针 1：未实现标记扫描（仅变更文件）**
+只扫描本次变更涉及的文件，不要全项目扫描——历史 TODO 与本次变更无关，徒增噪音与 token。变更文件 = design.md「文件变更清单」列出的源码文件（你已在「加载规范」步骤读取 design.md，glob 路径需展开为具体文件）：
 \`\`\`bash
-grep -rn "尚未实现\|TODO\|FIXME\|HACK\|XXX" <源码目录>/ --include="*.java" --include="*.js" --include="*.ts" --include="*.jsx" --include="*.tsx" --include="*.py"
+grep -n "尚未实现\|TODO\|FIXME\|HACK\|XXX" <design 清单中的源码文件>
 \`\`\`
 记录每个匹配的文件、行号和内容。
 

package/src/task-review.js

@@ -128,8 +128,26 @@ export function readReview(reviewPath) {
  * @param {boolean} [opts.allowCannotVerify=true] - 是否允许 cannot_verify（默认允许，给 warning）
  * @returns {{ ok: boolean, errors: string[], warnings: string[], requiredEvidence: Array<{task: string, verdict: string, evidence: string[]}> }}
  */
+/**
+ * 读取 task-XX.md frontmatter，判断是否声明 low_risk: true（type-only/机械迁移等低逻辑风险）。
+ * 声明 low_risk 的 task 缺 review.json 时只 warning 不 error（B2：免逐个评审仪式）。
+ */
+function isTaskLowRisk(changeDir, taskId) {
+  if (!changeDir) return false
+  const taskFile = join(changeDir, 'tasks', `${taskId}.md`)
+  if (!existsSync(taskFile)) return false
+  try {
+    const content = readFileSync(taskFile, 'utf8')
+    const fm = content.match(/^---\n([\s\S]*?)\n---/)
+    if (!fm) return false
+    return /^low_risk:\s*true\s*$/im.test(fm[1])
+  } catch {
+    return false
+  }
+}
+
 export function validateTaskReviews(opts) {
-  const { planContent, runtimeRoot, executeRunId, allowCannotVerify = true } = opts
+  const { planContent, runtimeRoot, executeRunId, allowCannotVerify = true, changeDir = null } = opts
 
   const taskIds = parseTaskIdsFromPlan(planContent)
 
@@ -156,8 +174,12 @@ export function validateTaskReviews(opts) {
         // review.json 存在且 JSON 合法，但 schema 校验失败
         errors.push(`${taskId}: review.json 校验失败 — ${result.errors.join('; ')}`)
       } else {
-        // review.json 不存在
-        errors.push(`${taskId}: 缺少 review.json — task 未经过评审`)
+        // review.json 不存在：声明 low_risk 的 task 豁免（B2：type-only/机械迁移免逐个评审）
+        if (isTaskLowRisk(changeDir, taskId)) {
+          warnings.push(`${taskId}: 缺少 review.json — task 声明 low_risk: true，已豁免评审（type-only/机械迁移）`)
+        } else {
+          errors.push(`${taskId}: 缺少 review.json — task 未经过评审`)
+        }
       }
       continue
     }

package/.claude/CLAUDE.md

@@ -1,23 +0,0 @@
-# Claude Code 指引
-
-# SillySpec工具定位
-1. SillySpec 是给 Agent 调用的 CLI 工具，不是给人类直接使用的产品
-2. SillySpec 是管理 Agent 工作流的 CLI 工具，不是处理业务逻辑的工具
-3. 你是 Agent。SillySpec 是你的流程控制器。你通过 CLI 命令告诉它"我在哪"，它告诉你"下一步该做什么"。你执行步骤，它校验产出、推进状态。人类用户只在关键决策点介入审批
-
-## 文件生命周期文档同步
-每次修改 `src/stages/` 下的阶段定义（prompt、步骤、输出文件名等）或 `src/run.js`、`src/progress.js` 等影响文件生命周期的代码后，**必须同步更新** `docs/sillyspec/file-lifecycle.md`，确保文档与代码一致。
-
-### 触发更新的典型改动
-- 新增/删除/重命名阶段步骤
-- 修改步骤 prompt 中的输出文件名（如 verify-result.md）
-- 修改阶段间的流转逻辑（如 archive 归档方式）
-- 新增/删除运行时文件类型（如 gate-status.json）
-- 修改 ProgressManager 的数据存储方式（如 SQLite 表结构变更）
-
-### 更新检查清单
-- [ ] 文件名引用一致（prompt 输出的文件名 == validateFileLocations 期望的文件名）
-- [ ] 阶段步骤描述与 `src/stages/*.js` 一致
-- [ ] 归档/清理流程描述与实际代码逻辑一致
-- [ ] 数据库 Schema 描述与 `src/db.js` 一致
-- [ ] 更新文档头部 `updated_at` 时间戳