sillyspec 3.24.3 → 3.24.5

package/package.json

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

package/src/machine-interface.js

@@ -217,16 +217,27 @@ export async function runGate(stage, changeName, { cwd, specBase, runtimeRoot }
     // ── d. verify 阶段追加 verify-test（CLI 实测 local.yaml commands.test）──
     if (stage === 'verify') {
       const vt = runVerifyTestCheck({ cwd, specBase: specRoot, changeName });
+      const vtWarnings = [];
+      if (vt.status === 'skipped') {
+        vtWarnings.push('⚠️ verify-test SKIPPED — gate 未核验测试（local.yaml 未配置 commands.test 或显式无测试）。本次 gate 结论不含测试客观核验，driver 不应据 exit 0 判定测试通过；integration-critical 变更应在 verify 阶段降级 FAIL');
+      }
+      // 全量 fallback 明示：跑了全量 commands.test 但非变更范围子集，失败可能含未变更
+      // 模块的预存错误——driver 不应据 exit 0 判定本次变更范围已客观测试（见 3.24 verify 坑1）。
+      if (vt.status !== 'skipped' && vt.mode === 'full' && vt.fallbackReason) {
+        vtWarnings.push(`⚠️ verify-test 跑的是全量 commands.test（${vt.fallbackReason}）；失败可能含未变更模块的预存错误，driver 不应据 exit 0 判定本次变更范围已测`);
+      }
       checks.push({
         id: 'verify-test',
         ok: vt.status !== 'failed',
         errors: vt.status === 'failed' ? [`测试失败: ${vt.reason || ''}`] : [],
-        warnings: vt.status === 'skipped' ? ['⚠️ verify-test SKIPPED — gate 未核验测试（local.yaml 未配置 commands.test 或显式无测试）。本次 gate 结论不含测试客观核验，driver 不应据 exit 0 判定测试通过；integration-critical 变更应在 verify 阶段降级 FAIL'] : [],
+        warnings: vtWarnings,
         data: {
           status: vt.status,
           exitCode: vt.exitCode,
           durationMs: vt.durationMs,
           resultPath: vt.resultPath,
+          mode: vt.mode ?? null,
+          fallbackReason: vt.fallbackReason ?? null,
         },
       });
     }
@@ -351,10 +362,16 @@ export async function runDerive(facet, changeName, { cwd, specBase, runtimeRoot
           exitCode: vt.exitCode,
           durationMs: vt.durationMs,
           resultPath: vt.resultPath,
+          mode: vt.mode ?? null,
+          fallbackReason: vt.fallbackReason ?? null,
         };
         ok = vt.status !== 'failed';
         errors = vt.status === 'failed' ? [`测试失败: ${vt.reason || ''}`] : [];
-        warnings = vt.status === 'skipped' ? ['测试被跳过'] : [];
+        warnings = vt.status === 'skipped'
+          ? ['测试被跳过']
+          : (vt.mode === 'full' && vt.fallbackReason)
+            ? [`⚠️ verify-test 跑的是全量 commands.test（${vt.fallbackReason}）；失败可能含未变更模块的预存错误`]
+            : [];
         exitCode = ok ? EXIT_OK : EXIT_BLOCKED;
         break;
       }

package/src/run.js

@@ -632,11 +632,26 @@ async function getStageSteps(stageName, cwd, progress, specDir = null) {
   if (stageName === 'execute') {
     const changeDir = resolveChangeDir(cwd, progress, specDir)
     let planFile = null
+    let worktreePath = null
     if (changeDir) {
       const p = join(changeDir, 'plan.md')
       if (existsSync(p)) planFile = p
+      // 自动检测 worktree 路径，注入 Wave prompt 的 workdir 指令
+      // 修复：之前未传 worktreePath 给 buildExecuteSteps，导致 Wave prompt 缺失工作目录指令，
+      // 子代理可能把文件写到主工作区而非 worktree 内，破坏隔离。
+      try {
+        const changeName = basename(changeDir)
+        const { WorktreeManager } = await import('./worktree.js')
+        const wm = new WorktreeManager({ cwd })
+        const meta = wm.getMeta(changeName)
+        if (meta?.worktreePath && existsSync(meta.worktreePath)) {
+          worktreePath = meta.worktreePath
+        }
+      } catch {
+        // 无 worktree meta 不阻断——可能是首次启动或 in-place 模式
+      }
     }
-    return buildExecuteSteps(planFile)
+    return buildExecuteSteps(planFile, { worktreePath })
   }
   if (stageName === 'plan') {
     const changeDir = resolveChangeDir(cwd, progress, specDir)
@@ -3207,11 +3222,12 @@ async function completeStep(pm, progress, stageName, cwd, outputText, inputText
         const resultCheck = validateQuickResult(outputText)
         if (!resultCheck.ok) {
           console.error(`\n❌ quick 结果摘要结构不完整：缺少字段 ${resultCheck.missing.join('、')}`)
-          console.error(`   --output 会写入 QUICKLOG「结果：」，请按模板补全再重跑 --done：`)
-          console.error(`     需求：用户/任务要什么`)
+          console.error(`   --output 是 QUICKLOG「结果：」归档的唯一来源，四个标签必须放在 --output 里（不是 --input）。`)
+          console.error(`   补全后重跑 --done（不丢进度），直接照抄此模板：`)
+          console.error(`     sillyspec run quick --done --change <changeName> --output "需求：用户/任务要什么`)
           console.error(`     根因：为什么这样改（纯新增/样式则写「无，纯新增/纯样式」）`)
           console.error(`     方案：怎么改的`)
-          console.error(`     结果：验证情况（测试数 / lint / typecheck / 部署状态）`)
+          console.error(`     结果：验证情况（测试数 / lint / typecheck / 部署状态）"`)
           steps[currentIdx].status = 'pending'
           steps[currentIdx].completedAt = null
           if (outputText) steps[currentIdx].output = null

package/src/verify-postcheck.js

@@ -61,6 +61,47 @@ export function extractTestStrategy(yamlText) {
   return null
 }
 
+/**
+ * 计算全量 fallback 的原因文本（供 printVerifyTestCheck / facet 给 agent/daemon 明示）。
+ *
+ * 返回 null 表示不需要 hint：显式 test_strategy:full（用户有意跑全量），
+ * 或 test_strategy:module 已成功命中模块子集（该情况不会走到全量路径）。
+ * 其余走全量路径的情况都返回原因字符串，让结果可正确解读——
+ * 否则 agent/daemon 会把"全量 commands.test"当成"按变更范围测的"，误把
+ * 未变更模块的预存错误归因到本次变更（见 3.24 verify 坑1）。
+ *
+ * 语义对齐 runVerifyTestCheck 的分支：
+ *   - strategy==='full' → null
+ *   - strategy==='module' 但无有效 modules 块 → hint
+ *   - strategy==='module' 有块但 git 不可用（hitCount=-1）→ hint
+ *   - strategy==='module' 有块但 0 命中（hitCount=0）→ hint
+ *   - strategy==='module' 有块且命中（hitCount>0）→ null（走子集）
+ *   - strategy===null（缺省）→ hint（默认全量）
+ *
+ * @param {object} ctx
+ * @param {'full'|'module'|null} ctx.strategy
+ * @param {boolean} ctx.modulesPresent - extractModules 是否返回有效映射
+ * @param {number} ctx.hitCount - git diff 命中的模块数；-1 表示 git 不可用/非仓库
+ * @returns {string|null}
+ */
+export function computeFullFallbackReason({ strategy, modulesPresent, hitCount }) {
+  if (strategy === 'full') return null
+  if (strategy === 'module') {
+    if (!modulesPresent) {
+      return 'test_strategy: module 但 local.yaml 未配置有效的 modules: 块（需 inline flow: name: { path, test }），回退全量'
+    }
+    if (hitCount < 0) {
+      return 'test_strategy: module 但 git 不可用/非 git 仓库，无法判定命中模块，回退全量'
+    }
+    if (hitCount === 0) {
+      return 'test_strategy: module 但本次 git diff 未命中任何已配置 modules，回退全量'
+    }
+    return null
+  }
+  // strategy === null（缺省 → 默认全量）
+  return 'local.yaml 未配置 test_strategy（默认全量 commands.test，未按变更范围收窄）'
+}
+
 /**
  * 从 local.yaml 文本解析 modules 映射块。
  * 设计约定（见 change 2026-07-10-tooling-followups design.md #2 方案 A）：
@@ -258,29 +299,42 @@ export function runVerifyTestCheck({ cwd, specBase, changeName = null }) {
   const localYamlPath = join(specBase, 'local.yaml')
   const yamlText = existsSync(localYamlPath) ? readFileSync(localYamlPath, 'utf8') : null
 
-  // —— 模块子集路径（test_strategy: module）——
   const strategy = extractTestStrategy(yamlText)
+
+  // —— 模块子集路径（test_strategy: module）——
+  // 算出 modulesPresent / hitCount 供 fallback hint 判定（computeFullFallbackReason）；
+  // 命中即走子集。gitChangedFiles 返回 null 表示 git 不可用 → hitCount=-1（与 0 命中区分）。
+  let modulesPresent = false
+  let hitCount = 0
   if (strategy === 'module') {
     const modules = extractModules(yamlText)
     if (modules) {
+      modulesPresent = true
       const changedFiles = gitChangedFiles(cwd)
-      const hits = changedFiles ? pickHitModules(changedFiles, modules) : []
-      if (hits.length > 0) {
-        return runModuleSubset({ cwd, specBase, changeName, hits })
+      if (changedFiles === null) {
+        hitCount = -1 // git 不可用 / 非仓库
+      } else {
+        const hits = pickHitModules(changedFiles, modules)
+        hitCount = hits.length
+        if (hitCount > 0) {
+          return runModuleSubset({ cwd, specBase, changeName, hits })
+        }
+        // 有 modules 配置但无命中 → fallback commands.test（D-002@v1 向后兼容）
       }
-      // 有 modules 配置但无命中 / git 不可用 → fallback commands.test（D-002@v1 向后兼容）
     }
     // test_strategy:module 但无 modules 配置 → fallback commands.test（brownfield 友好）
   }
 
   // —— 全量路径（默认 full / fallback）——
-  return runFullCommand({ yamlText, localYamlPath, cwd, specBase, changeName })
+  // fallbackReason 非 null 表示本次全量是"非显式"的（缺省/配置不全/未命中），需明示。
+  const fallbackReason = computeFullFallbackReason({ strategy, modulesPresent, hitCount })
+  return runFullCommand({ yamlText, localYamlPath, cwd, specBase, changeName, fallbackReason })
 }
 
 /**
  * 全量跑 commands.test（现有逻辑，brownfield 行为不变）。
  */
-function runFullCommand({ yamlText, localYamlPath, cwd, specBase, changeName }) {
+function runFullCommand({ yamlText, localYamlPath, cwd, specBase, changeName, fallbackReason = null }) {
   const command = extractTestCommand(yamlText)
 
   if (!command) {
@@ -294,6 +348,8 @@ function runFullCommand({ yamlText, localYamlPath, cwd, specBase, changeName })
         ? 'local.yaml 未配置 commands.test（或标记 unavailable）'
         : `local.yaml 不存在（${localYamlPath}）`,
       resultPath: null,
+      mode: 'full',
+      fallbackReason,
     }
   }
 
@@ -327,9 +383,11 @@ function runFullCommand({ yamlText, localYamlPath, cwd, specBase, changeName })
     outputTail,
     reason,
     resultPath: null,
+    mode: 'full',
+    fallbackReason,
   }
 
-  writeRunResult({ specBase, changeName, result })
+  writeRunResult({ specBase, changeName, result, extra: fallbackReason ? { fallback_reason: fallbackReason } : {} })
   return result
 }
 
@@ -362,6 +420,8 @@ function runModuleSubset({ cwd, specBase, changeName, hits }) {
     outputTail: outputTail.length > OUTPUT_TAIL_CHARS ? '…' + outputTail.slice(-OUTPUT_TAIL_CHARS) : outputTail,
     reason,
     resultPath: null,
+    mode: 'module-subset',
+    fallbackReason: null,
   }
 
   writeRunResult({
@@ -427,6 +487,19 @@ export function printVerifyTestCheck(result) {
       for (const line of tail.split('\n')) console.error(`   | ${line}`)
     }
   }
+  // —— 全量 fallback 明示（skipped 已提前 return，此处仅 passed/failed）——
+  // 让 agent 知道本次跑的是全量 commands.test、非变更范围子集；失败可能含未变更模块
+  // 的预存错误，需先核对用例归属再归因到本次变更（见 3.24 verify 坑1）。
+  if (result.mode === 'full' && result.fallbackReason) {
+    if (result.status === 'failed') {
+      console.warn(`   ⚠️  本次跑的是 commands.test 全量（${result.fallbackReason}）。`)
+      console.warn('      失败可能含与本变更无关的预存错误——先核对失败用例是否属于你的变更范围；')
+      console.warn('      或在 local.yaml 配置 test_strategy: module + modules: 块以收窄到变更模块。')
+    } else {
+      console.warn(`   ⚠️  本次跑的是 commands.test 全量（${result.fallbackReason}）。`)
+      console.warn('      如耗时过长，可在 local.yaml 配置 test_strategy: module + modules: 块按模块收窄。')
+    }
+  }
   if (result.resultPath) {
     console.log(`📄 实测结果已写入: ${result.resultPath}`)
   }