sillyspec 3.27.1 → 3.27.5

package/src/run/complete.js

@@ -167,6 +167,38 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
       steps[_staleIdx].status = 'pending'
       currentIdx = _staleIdx
       console.log(`⚠️  --confirm 收尾：把 stale 步骤 "${steps[_staleIdx].name}" 拉回当前步骤走完成管线，其余 stale 由回填门控一并确认。`)
+    } else if (stageData?.status !== 'completed' && steps.length > 0) {
+      // ── 矛盾态自愈（坑 execute-status-machine-contradiction，2026-08-23 实证：--done 报
+      // 「没有待完成的步骤」而 status 显示 15 步未完成——并发进程写入竞争后 DB 步骤行停在
+      // completed 但阶段 status 未推进的矛盾态，用户只能靠 verify 启动碰运气自愈）。
+      // 自愈 = 重播种：ensureStageSteps 按 def 步骤名重建步骤行（保留同名完成态），矛盾行
+      // （DB 有但 def 无的幽灵行/半写行）被清掉；重读后再走正常管线。自愈失败再报错给精确指引。
+      console.warn(`⚠️ 检测到状态机矛盾：阶段 ${stageName} 无 pending/in-progress 步骤但 status=${stageData.status}（并发写入竞争的半写态）。自动重播种修复…`)
+      try {
+        const { ensureStageSteps } = await import('./command.js')
+        const reseeded = await ensureStageSteps(progress, stageName, cwd, platformOpts?.specRoot || null)
+        if (reseeded && effectiveChange) {
+          pm._write(cwd, progress, effectiveChange)
+          progress = pm.read(cwd, effectiveChange) || progress
+        }
+        const freshSteps = progress?.stages?.[stageName]?.steps || []
+        const freshPending = freshSteps.findIndex(s => s.status === 'pending' || s.status === 'in-progress')
+        if (freshPending !== -1) {
+          console.log(`✅ 重播种成功：${freshSteps.filter(s => s.status === 'pending').length} 个待完成步骤恢复，继续完成管线`)
+          currentIdx = freshPending
+          steps.length = 0
+          steps.push(...freshSteps)
+          stageData.steps = freshSteps
+        } else {
+          console.error(`重播种后仍无待完成步骤（阶段 status=${progress?.stages?.[stageName]?.status ?? '未知'}）。`)
+          console.error(`   手动修复：sillyspec run ${stageName} --reset${changeName ? ` --change ${changeName}` : ''} 从头重跑，或 sillyspec doctor 诊断。`)
+          process.exit(1)
+        }
+      } catch (e) {
+        console.error(`❌ 矛盾态自愈失败: ${e.message}`)
+        console.error(`   手动修复：sillyspec run ${stageName} --reset${changeName ? ` --change ${changeName}` : ''}，或 sillyspec doctor`)
+        process.exit(1)
+      }
     } else {
       console.error(`没有待完成的步骤（阶段 ${stageName} 已无 pending/in-progress 步骤）。当前阶段状态：${stageData?.status ?? '未知'}。用 \`sillyspec run ${stageName} --status\` 查看进度，或 \`sillyspec progress show\` 看全局下一步。`)
       process.exit(1)
@@ -679,7 +711,12 @@ async function autoCheckPlanFromReviews({ stageName, changeName, cwd, platformOp
     return { autoChecked: false, checkedCount: 0, skippedCount: 0 }
   }
   try {
-    const specBaseLc = platformOpts?.specRoot || join(cwd, '.sillyspec')
+    // 勾选写入目标漂移锚定（坑 autocheck-worktree-tasks-lost，2026-08-23 实证：agent 在
+    // worktree 内跑 execute --done 且 drift 守卫未拦（非平台模式+无 specDriftAnchor 透传的
+    // 直调路径）时，tasks.md 勾选写进 worktree 的 .sillyspec/changes/ 副本——worktree 被
+    // cleanup 整目录删除后勾选丢失，主仓 tasks.md 停在未勾态需手动补。runtimeRoot 已走
+    // resolveRuntimeRoot（drift-aware），changeDir 同步对齐：specDriftAnchor > specRoot > cwd。
+    const specBaseLc = platformOpts?.specDriftAnchor || platformOpts?.specRoot || join(cwd, '.sillyspec')
     const changeDir = join(specBaseLc, 'changes', changeName)
     // 2026-08-20-task-truth-unify D-001@v1：勾选写入目标从 plan.md 迁 tasks.md（任务唯一真相；
     // plan.md Wave 引用行无 checkbox，无处可勾）。tasks.md 存在性作前置。
@@ -959,8 +996,11 @@ export async function waitStep(pm, progress, stageName, cwd, outputText, waitRea
   // requiresWait 语义前置（坑 archive-step3-wait-answer-hint-late）：--continue --answer 只是中继回答，
   // 本步会回到待执行（回答后还需执行动作再 --done 收尾）；不想两段式可用 --done --answer 一步完成。
   // 提示落在标记 --wait 的此刻，而非等 agent 撞 --done 报错才知道。
-  if (stepDef.requiresWait === true || currentStep.requiresWait === true) {
-    console.log(`   注：本步为 requiresWait 步骤——--continue --answer 后本步回到待执行，完成动作后需再 --done 收尾`)
+  // conditionalWait（坑 archive-subconfirm-redundant 后 archive step3 降级软门）+ repeatableWait 的
+  // --wait 同样回 pending（continueStep shouldReturnToCurrentStep），提示同样适用。
+  if (stepDef.requiresWait === true || currentStep.requiresWait === true
+    || stepDef.conditionalWait === true || currentStep.conditionalWait === true) {
+    console.log(`   注：本步为需回执的等待步骤（requiresWait/conditionalWait）——--continue --answer 后本步回到待执行，完成动作后需再 --done 收尾`)
     console.log(`   或一步完成：sillyspec run ${stageName} --done --answer "你的选择"${changeName ? ` --change ${changeName}` : ''} --output "你的摘要"`)
   }
 }

package/src/run/gates.js

@@ -463,6 +463,16 @@ function rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx,
  */
 export async function runStageCompletionGates({ stageName, cwd, changeName, platformOpts, specBase, progress, pm, stageData, steps, currentIdx, ctx = null }) {
   const projectName = progress.project || basename(cwd)
+  // decisions.md header 自动补齐（坑 decisions-header-late-warning，2026-08-24 用户反馈二期）：
+  // brainstorm step8 旧模板自带无 frontmatter 的 decisions 样例，存量变更照抄必缺 author/created_at，
+  // 拖到平台同步/后续环节才提示。gate 前幂等补机械字段（先例：autoCheckPlanFromReviews 同层写
+  // tasks.md），validator 读到的即已补齐版——补的是 CLI 可自证的机械字段，不替 agent 产出语义内容。
+  if (['brainstorm', 'plan', 'verify'].includes(stageName) && changeName) {
+    try {
+      const { ensureDecisionDocHeader } = await import('../stage-contract.js')
+      ensureDecisionDocHeader(resolveChangeDir(cwd, changeName, platformOpts?.specRoot))
+    } catch { /* 补齐失败不阻断 gate */ }
+  }
   const contractResult = runValidators(stageName, cwd, changeName, { projectName, specRoot: platformOpts?.specRoot })
   if (contractResult.errors.length > 0) {
     console.error(`\n❌ 阶段 ${stageName} 校验失败：`)
@@ -498,6 +508,37 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     printVerifyTestCheck(testCheck)
     if (testCheck.status === 'failed') {
       console.error('\n❌ verify 阶段被阻断：verify-result.md 自报告通过，但 CLI 实测测试失败。')
+      // 并行 WIP 归因鉴别（坑 verify-reconcile-foreign-wip）：实测跑在主仓共享工作区，并行会话
+      // 在途 WIP 物理在场——他者文件命中声明集时提示复验归因（EADDRINUSE 鉴别同款风格），不静默背锅。
+      try {
+        const { collectForeignDeclaredFiles } = await import('../verify-postcheck.js')
+        const { gitQuiet } = await import('../git-helper.js')
+        const foreignMap = collectForeignDeclaredFiles(cwd, changeName)
+        if (foreignMap.size > 0) {
+          const dirty = (gitQuiet(cwd, ['diff', '--name-only', 'HEAD']) || '')
+            .split('\n').filter(Boolean).map(f => f.replace(/\\/g, '/'))
+          const hitForeign = dirty.filter(f => foreignMap.has(f))
+          if (hitForeign.length > 0) {
+            console.error(`   ℹ️ 归因提示：主仓检出 ${hitForeign.length} 个并行会话声明的在途文件（${hitForeign.slice(0, 5).join(', ')}${hitForeign.length > 5 ? ' 等' : ''}）——实测失败可能混入他者 WIP 而非本变更问题。待其提交/收尾后复验，仍失败才是本变更的。`)
+          }
+        }
+        // 第二判据（坑 derived-artifact-stale-baseline）：本变更 apply 的文件（apply-pathspec 落盘）
+        // 与主仓近期提交重叠——本变更旧基线的生成产物可能覆盖了已合入内容，先在新基线重跑生成命令再复验
+        try {
+          const pathspecFile = join(resolveRuntimeRoot(platformOpts, specBase), `apply-pathspec-${changeName}.txt`)
+          if (changeName && existsSync(pathspecFile)) {
+            const ownFiles = new Set(readFileSync(pathspecFile, 'utf8').split('\n').map(l => l.trim()).filter(Boolean).map(f => f.replace(/\\/g, '/')))
+            if (ownFiles.size > 0) {
+              const recent = (gitQuiet(cwd, ['log', '-n', '10', '--name-only', '--pretty=format:']) || '')
+                .split('\n').map(l => l.trim().replace(/\\/g, '/')).filter(Boolean)
+              const overlap = [...new Set(recent)].filter(f => ownFiles.has(f))
+              if (overlap.length > 0) {
+                console.error(`   ℹ️ 归因提示②：本变更有 ${overlap.length} 个文件与主仓最近 10 条提交重叠（${overlap.slice(0, 5).join(', ')}${overlap.length > 5 ? ' 等' : ''}）——若为生成产物（api-types 等），本变更可能在旧基线生成并覆盖了已合入内容；先在新基线重跑生成命令（如 gen:types）再复验。`)
+              }
+            }
+          }
+        } catch { /* 判据②失败不影响主流程 */ }
+      } catch { /* 归因提示失败不影响阻断语义 */ }
       console.error('   请修复失败的测试并更新 verify-result.md 后重新完成此步骤。')
       return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
     }
@@ -543,29 +584,10 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
         }
       }
     }
-    // ── verify 服务进程回收（坑 verify-service-process-leak，2026-08-21 实证：真实启动验证
-    // 起的 uvicorn 漏挂一天多）。verify prompt 要求长驻服务 PID 登记 .runtime/verify-services.pids，
-    // 此处收尾逐个 kill + 清文件。best-effort：ESRCH（已退出）静默，kill 失败 warn 不阻断 verify。
+    // ── verify 服务进程回收（坑 verify-service-process-leak；坑 verify-pids-cross-session-kill
+    // 见 reapVerifyServices 注释）──
     try {
-      const servicesPath = join(resolveRuntimeRoot(platformOpts, specBase), 'verify-services.pids')
-      if (existsSync(servicesPath)) {
-        const pids = readFileSync(servicesPath, 'utf8').split('\n').map(l => l.trim()).filter(l => /^\d+$/.test(l))
-        const reaped = []; const failed = []
-        for (const pid of pids) {
-          try { process.kill(parseInt(pid, 10), 'SIGTERM'); reaped.push(pid) }
-          catch (e) { if (e.code !== 'ESRCH') failed.push(`${pid}(${e.code || e.message})`) }
-        }
-        try { unlinkSync(servicesPath) } catch {}
-        if (reaped.length > 0) console.log(`🧹 verify 服务进程已回收 ${reaped.length} 个（PID: ${reaped.join(', ')}）`)
-        // CLI 回执（坑 verify-literal-evidence-mismatch）：回收即真实启动的结构化证据——
-        // checkIntegrationEvidence（stage-contract）读回执注入匹配，agent 措辞差异不再误拦
-        try {
-          writeFileSync(join(dirname(servicesPath), 'verify-services.receipt.json'), JSON.stringify({
-            change: changeName || null, reapedPidCount: reaped.length, reapedAt: new Date().toISOString(),
-          }, null, 2) + '\n')
-        } catch {}
-        if (failed.length > 0) console.warn(`⚠️ 服务进程回收失败 ${failed.length} 个：${failed.join(', ')} — 手动处理：taskkill /PID <pid> /F（Windows）/ kill -9 <pid>`)
-      }
+      reapVerifyServices(platformOpts, specBase, changeName)
     } catch (e) { console.warn(`⚠️ verify 服务进程回收异常（不阻断）: ${e.message}`) }
 
     console.log('\n✅ 验证通过，下一步：sillyspec run archive')
@@ -1027,3 +1049,46 @@ export async function completeStageGates({ stageName, cwd, changeName, platformO
   return null
 }
 
+
+/**
+ * verify 服务进程回收（verify --done 收尾调用）。
+ *
+ * 坑 verify-service-process-leak（2026-08-21）：真实启动验证起的长驻服务（uvicorn 等）漏挂
+ * 一天多——verify prompt 要求 PID 按变更分片登记 .runtime/verify-services-<change>.pids。
+ * 坑 verify-pids-cross-session-kill（2026-08-23）：原单文件无归属，A 会话 --done 会把 B 正在
+ * 收集 Runtime Evidence 的服务一并杀掉——分片后各回收各的；旧单文件兼容回收（升级过渡期）。
+ * 回执同样按变更分片（原单份被并行会话后写覆盖），checkIntegrationEvidence（stage-contract）
+ * 读分片名注入证据匹配。best-effort：ESRCH（已退出）静默，kill 失败 warn 不阻断 verify。
+ *
+ * @returns {{ reaped: number, receiptPath: string|null }}
+ */
+export function reapVerifyServices(platformOpts, specBase, changeName) {
+  const runtimeDir = resolveRuntimeRoot(platformOpts, specBase)
+  const reapFile = (path, label) => {
+    if (!existsSync(path)) return null
+    const pids = readFileSync(path, 'utf8').split('\n').map(l => l.trim()).filter(l => /^\d+$/.test(l))
+    const reaped = []; const failed = []
+    for (const pid of pids) {
+      try { process.kill(parseInt(pid, 10), 'SIGTERM'); reaped.push(pid) }
+      catch (e) { if (e.code !== 'ESRCH') failed.push(`${pid}(${e.code || e.message})`) }
+    }
+    try { unlinkSync(path) } catch {}
+    if (reaped.length > 0) console.log(`🧹 verify 服务进程已回收 ${reaped.length} 个${label}（PID: ${reaped.join(', ')}）`)
+    return { reaped: reaped.length, failed }
+  }
+  const own = reapFile(join(runtimeDir, `verify-services-${changeName}.pids`), '')
+  const legacy = reapFile(join(runtimeDir, 'verify-services.pids'), '（旧格式单文件，兼容回收）')
+  const reapedTotal = (own?.reaped || 0) + (legacy?.reaped || 0)
+  const failedAll = [...(own?.failed || []), ...(legacy?.failed || [])]
+  let receiptPath = null
+  if (reapedTotal > 0) {
+    try {
+      receiptPath = join(runtimeDir, `verify-services-${changeName}.receipt.json`)
+      writeFileSync(receiptPath, JSON.stringify({
+        change: changeName || null, reapedPidCount: reapedTotal, reapedAt: new Date().toISOString(),
+      }, null, 2) + '\n')
+    } catch { receiptPath = null }
+  }
+  if (failedAll.length > 0) console.warn(`⚠️ 服务进程回收失败 ${failedAll.length} 个：${failedAll.join(', ')} — 手动处理：taskkill /PID <pid> /F（Windows）/ kill -9 <pid>`)
+  return { reaped: reapedTotal, receiptPath }
+}

package/src/run/prompt.js

@@ -23,6 +23,7 @@ import { existsSync, readFileSync, mkdirSync, writeFileSync } from 'node:fs'
 import { stageRegistry } from '../stages/index.js'
 import { resolvePromptIncludes, resolveRuntimeRoot, safeGit, WAIT_MARKER_RE, QUICK_SID_RE } from './shared.js'
 import { renderStageContract } from '../stage-contract-spec.js'
+import { nowWallClock } from '../datetime.js'
 import { parseModuleMapSimple } from '../modules.js'
 import { REVIEW_SCHEMA_VERSION, isValidExecuteRunId } from '../task-review.js'
 
@@ -228,16 +229,18 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
       promptText = promptText.replace(/<git-user>/g, 'unknown')
     }
   }
-  // 替换时间戳占位符
+  // 替换时间戳占位符（本地墙钟统一走 nowWallClock——坑 taskcard-created-at-utc：人读字段用
+  // UTC 会偏一个时区，子代理手工改）
   const now = new Date()
-  const nowDatetime = now.getFullYear() + '-' + String(now.getMonth()+1).padStart(2,'0') + '-' + String(now.getDate()).padStart(2,'0') + ' ' + String(now.getHours()).padStart(2,'0') + ':' + String(now.getMinutes()).padStart(2,'0') + ':' + String(now.getSeconds()).padStart(2,'0')
+  const nowDatetime = nowWallClock(now)
   const nowTimestamp = now.getFullYear() + String(now.getMonth()+1).padStart(2,'0') + String(now.getDate()).padStart(2,'0') + '-' + String(now.getHours()).padStart(2,'0') + String(now.getMinutes()).padStart(2,'0') + String(now.getSeconds()).padStart(2,'0')
   const nowDate = now.getFullYear() + '-' + String(now.getMonth()+1).padStart(2,'0') + '-' + String(now.getDate()).padStart(2,'0')
   promptText = promptText.replace(/<now-datetime>/g, nowDatetime)
   promptText = promptText.replace(/<now-timestamp>/g, nowTimestamp)
   promptText = promptText.replace(/<now-date>/g, nowDate)
-  // <now-iso-datetime>（scan frontmatter updated_at 用；与 scan-fix-headers 同款秒级格式）
-  promptText = promptText.replace(/<now-iso-datetime>/g, now.toISOString().slice(0, 19).replace('T', ' '))
+  // <now-iso-datetime>（scan frontmatter updated_at 用；与 scan-fix-headers 同款秒级格式）。
+  // 占位符名带 iso 是历史遗留——值已统一为本地墙钟（同 <now-datetime>），改名会破坏 stages 引用。
+  promptText = promptText.replace(/<now-iso-datetime>/g, nowWallClock(now))
   // <git-head-short>（scan frontmatter source_commit 用；CLI 代查，agent 勿自跑 rev-parse）
   if (promptText.includes('<git-head-short>')) {
     let headShort = 'unknown'
@@ -423,6 +426,42 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     }
   }
 
+  // 决策防复潮注入（W1.1 第 3 点，task-04，FR-05）：brainstorm「加载项目上下文」Step2 的
+  // {DECISION_HITS} → matchKnowledge decisionHits——命中 rejected 条目时渲染「否决决策提示」段
+  // （ID/标题/否决理由/复潮条件），无命中替换为空串零输出（不留残留占位符）；注入结果同步落
+  // runtime JSON（与 KNOWLEDGE_HIT_REPORT 的 json 落盘同口径）。advisory 展示，不改变步骤流程；
+  // 全降级不抛（异常 → 单行说明）。
+  if (stageName === 'brainstorm' && promptText.includes('{DECISION_HITS}')) {
+    try {
+      const { matchKnowledge } = await import('../knowledge-match.js')
+      const decSpecBase = resolvePromptSpecBase(platformOpts, cwd)
+      const decKnowledgeDir = join(decSpecBase, 'knowledge')
+      // taskContext：changeName（brainstorm Step2 时 tasks.md 尚未生成，变更名是唯一稳定任务
+      // 语料；与 execute 分支的 changeName 基底同口径）
+      const decResult = matchKnowledge(decKnowledgeDir, changeName || '')
+      const rejectedHits = (decResult.decisionHits || []).filter(h => h.status === 'rejected')
+      let decInjected = ''
+      if (rejectedHits.length > 0) {
+        const lines = [
+          '⚠️ 否决决策提示（历史已否决，防复潮）——下列决策此前已被否决。看到否决理由后，除非复潮条件明确满足，不要在本次方案中重新提出；若认为复潮条件已满足，须在本变更 decisions.md 记录新版本条目（D-xxx@vN+1）说明依据：'
+        ]
+        for (const h of rejectedHits) {
+          lines.push(`- ${h.id} ${h.title}（${h.file}）`)
+          lines.push(`  - 否决理由：${h.reason || '（未记录）'}`)
+          lines.push(`  - 复潮条件：${h.revisitWhen || '（未记录）'}`)
+        }
+        decInjected = '\n\n' + lines.join('\n')
+      }
+      promptText = promptText.replace(/\{DECISION_HITS\}/g, decInjected)
+      // 注入结果同步落 runtime JSON（与既有 KNOWLEDGE_HIT_REPORT 落盘口径一致）
+      const decRuntimeDir = join(decSpecBase, '.runtime')
+      mkdirSync(decRuntimeDir, { recursive: true })
+      writeFileSync(join(decRuntimeDir, 'decision-hits.json'), JSON.stringify({ matched: decResult.matched, decisionHits: decResult.decisionHits || [] }, null, 2) + '\n')
+    } catch (e) {
+      promptText = promptText.replace(/\{DECISION_HITS\}/g, `[decisions] 决策命中检测异常（${e.message}），跳过`)
+    }
+  }
+
   // Knowledge hit report: execute 阶段注入匹配结果
   if (stageName === 'execute' && promptText.includes('{KNOWLEDGE_HIT_REPORT}')) {
     try {
@@ -458,53 +497,29 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
   // docs-debt 模块文档欠账事实注入（2026-08-15 docs-debt-inject D-006，债单第六节"CLI 算事实"）：
   // Wave prompt {DOCS_DEBT} → computeDocsDebt（git diff × module-map）facts；空 facts 替换为空串
   // （无债零输出，无残留占位符）。changedFiles 口径（D-001/FR-007）：worktree 根
-  // （meta.json 所在）git status --porcelain + diff baselineCommit..HEAD 并集；无 worktree
-  // （in-place/非 execute worktree 场景）退 cwd。全降级不抛（异常 → 单行说明）。
+  // （meta.json 所在）git status --porcelain + diff baselineCommit..HEAD 并集——公共实现已抽至
+  // docs-debt.collectExecuteChangedFiles（execute.js Wave 步渲染点同源复用，勿双写）。
+  // 全降级不抛（异常 → 单行说明）。
   if (stageName === 'execute' && promptText.includes('{DOCS_DEBT}')) {
     try {
-      const { computeDocsDebt } = await import('../docs-debt.js')
       const debtSpecBase = resolvePromptSpecBase(platformOpts, cwd)
       const debtProjectName = dbProjectName || basename(cwd)
-      // worktree 根解析：changeName → <specBase>/.runtime/worktrees/<changeName>/ 存在即锚
-      let debtProjectRoot = cwd
-      const wtRoot = join(debtSpecBase, '.runtime', 'worktrees', changeName || '')
-      if (changeName && existsSync(wtRoot)) {
-        debtProjectRoot = wtRoot
-      }
-      // changedFiles：已提交（baseline..HEAD）∪ 未提交（status porcelain，非未跟踪）
-      const changed = new Set()
-      const { safeGit } = await import('../git-helper.js')
-      const statusRes = safeGit(debtProjectRoot, ['status', '--porcelain'], { trim: false })
-      if (!statusRes.error && statusRes.value) {
-        for (const line of statusRes.value.split('\n')) {
-          if (!line.trim()) continue
-          // "XY path" / rename "R  old -> new" 取 new
-          const pathPart = line.slice(3).split('->').pop().trim().replace(/"/g, '')
-          if (pathPart && !pathPart.startsWith('.sillyspec/')) changed.add(pathPart.replace(/\\/g, '/'))
-        }
-      }
-      const { readFileSync: rf } = await import('node:fs')
-      const metaPath = join(wtRoot, 'meta.json')
-      if (changeName && existsSync(metaPath)) {
-        try {
-          const meta = JSON.parse(rf(metaPath, 'utf8'))
-          if (meta.baselineCommit) {
-            const diffRes = safeGit(debtProjectRoot, ['diff', '--name-only', `${meta.baselineCommit}..HEAD`], { trim: false })
-            if (!diffRes.error && diffRes.value) {
-              for (const f of diffRes.value.split('\n')) {
-                if (f.trim() && !f.trim().startsWith('.sillyspec/')) changed.add(f.trim().replace(/\\/g, '/'))
-              }
-            }
-          }
-        } catch { /* meta 读失败只用未提交集 */ }
-      }
+      const { collectExecuteChangedFiles, computeDocsDebt, computeDecisionTouches, renderDecisionTouchFacts } = await import('../docs-debt.js')
+      const { root: debtProjectRoot, changedFiles } = collectExecuteChangedFiles({ specBase: debtSpecBase, changeName, cwd })
       const result = computeDocsDebt({
         projectRoot: debtProjectRoot,
         specBase: debtSpecBase,
         projectName: debtProjectName,
-        changedFiles: [...changed],
+        changedFiles,
       })
-      promptText = promptText.replace(/\{DOCS_DEBT\}/g, result.facts)
+      // 决策锚点触碰事实（2026-08-24-decision-touch-cli-drift task-01，W-A 次渲染点）：重入/reset
+      // 场景 changedFiles 非空时呈现。advisory 追加渲染分支——既有 docs-debt facts 逐字不变，
+      // 无触碰 render 返回 ''（零输出）；主渲染点在 execute.js buildWavePrompt（同源 facts 计算）。
+      let debtTouchFacts = ''
+      try {
+        debtTouchFacts = renderDecisionTouchFacts(computeDecisionTouches(changedFiles, join(debtSpecBase, 'knowledge')).touches)
+      } catch { /* 触碰计算降级为空——不影响欠账 facts 注入 */ }
+      promptText = promptText.replace(/\{DOCS_DEBT\}/g, [result.facts, debtTouchFacts].filter(Boolean).join('\n'))
     } catch (e) {
       promptText = promptText.replace(/\{DOCS_DEBT\}/g, `[docs-debt] 欠账计算异常（${e.message}），跳过`)
     }
@@ -677,6 +692,33 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     promptText = promptText.split('{WORKTREE_BASELINE_INFO}').join(baselineInfo)
   }
 
+  // verify「运行测试和质量扫描」evidence-auto 推荐注入（task-12，FR-11 / D-005@v2）：
+  // verify-postcheck 在 --done 事后解析 evidence-auto，agent 写 verify-result.md 时看不到
+  // 推荐组合、无从否决——故在 prompt 时点经 {EVIDENCE_AUTO_RECOMMENDATION} 把 task-11
+  // resolveTestStrategy 的 evidence_auto_recommendation.summary 渲染进 step prompt（含推荐
+  // 理由、降级注记与「可在 verify-result.md 否决并改跑全量」路径），供用户否决（FR-11）。
+  // 仅 test_strategy=evidence-auto 且 recommendation 非空时渲染；full/module/skip/未配置
+  // （recommendation=null）替换为空串零输出。fail-soft：读取/解析异常降级单行说明不抛，
+  // 绝不阻断 verify prompt 输出（对齐上方 {WORKTREE_BASELINE_INFO} 注入先例）。
+  if (stageName === 'verify' && promptText.includes('{EVIDENCE_AUTO_RECOMMENDATION}')) {
+    let eaInjected = ''
+    try {
+      const { resolveTestStrategy } = await import('../verify-postcheck.js')
+      const eaSpecBase = resolvePromptSpecBase(platformOpts, cwd)
+      // 信任边界：local.yaml 只读 specBase（平台 specRoot / 漂移锚定主仓 / cwd 本地），与
+      // runVerifyTestCheck 的 specBase 来源同口径，不读 agent 可写的 worktree 副本。
+      const eaYamlPath = join(eaSpecBase, 'local.yaml')
+      const eaYamlText = existsSync(eaYamlPath) ? readFileSync(eaYamlPath, 'utf8') : null
+      const eaChangeDir = changeName ? join(eaSpecBase, 'changes', changeName) : null
+      const resolution = resolveTestStrategy({ yamlText: eaYamlText, changeDir: eaChangeDir })
+      const rec = resolution.evidence_auto_recommendation
+      if (rec && rec.summary) eaInjected = rec.summary
+    } catch (e) {
+      eaInjected = `（evidence-auto 推荐注入失败：${e.message}——请读 .sillyspec/local.yaml 确认 test_strategy；--done 时 CLI 仍会按 resolveTestStrategy 实测对账，推荐不可用时可显式设 test_strategy: full/module）`
+    }
+    promptText = promptText.split('{EVIDENCE_AUTO_RECOMMENDATION}').join(eaInjected)
+  }
+
   // 注入模块上下文（brainstorm/plan/execute 阶段，基于 Module Context Index）
   if (['brainstorm', 'plan', 'execute'].includes(stageName) && projectName) {
     const effectiveSpecBase = resolvePromptSpecBase(platformOpts, cwd)

package/src/run/quick-audit.js

@@ -35,6 +35,13 @@ export function printQuickAuditReview(review) {
       console.error(`   如确认接受这些变更，重新运行 --done 时带上对应 flag 即可解锁：`)
       console.error(`     sillyspec run quick --done --force-baseline --allow-new --change <id> --output "..."`)
       console.error(`     （--force-baseline 覆盖受保护/危险文件如 src/run.js；--allow-new 允许新增文件；--allow-delete 允许删除文件）`)
+      // 两套开关明示（坑 files-flag-not-unlock-protected，2026-08-22 实证：模块文档被判危险
+      // 文件，追加 --files 边界不解锁仍被拦——「追加边界」与「解锁拦截」是两套开关，交互上易误解
+      // 前者能解决后者）。命中危险文件 reason 时点名：--files 只改归属口径（哪些文件计入本
+      // 会话），不改变危险判定；受保护/危险文件的放行开关唯 --force-baseline。
+      if (review.reasons.some(r => r.startsWith('危险文件变更'))) {
+        console.error(`   ⛔ 注意：追加 --files 边界不会解锁受保护/危险文件的拦截（两套开关——--files 只声明哪些文件计入本会话，不改变危险判定）。改这类文件必须 --force-baseline。`)
+      }
     }
   } else if (review.status === 'warning') {
     console.warn(`\n⚠️ quick 变更边界审计 — WARNING：`)
@@ -51,6 +58,27 @@ export function printQuickAuditReview(review) {
       console.log(`\n✅ quick 变更边界审计 — SAFE (本轮新增变更 ${review.changedFiles.length} 个文件)`)
     }
   }
+  // 关联变更遗留放行提示（坑 linked-change-leftover-false-block，独立于三态都打——放行可见
+  // 可审计，不静默）：这些文件属关联变更目录但不在本会话归属（启动后出现的他者遗留），
+  // 已剔除出本会话文件行，由关联变更自己的流程收尾。
+  if (Array.isArray(review.linkedChangeLeftovers) && review.linkedChangeLeftovers.length > 0) {
+    console.warn(`
+🧹 关联变更目录检测到 ${review.linkedChangeLeftovers.length} 个遗留脏文件（他者/上个 session 残留，非本会话改动）——已放行不计入本会话：`)
+    for (const f of review.linkedChangeLeftovers) console.warn(`   - ${f}`)
+    console.warn(`   它们归关联变更自己的流程管；若确系本会话需要改，用 --files 显式声明归属。`)
+  }
+
+  // 他者会话声明豁免提示（坑 foreign-session-declared-false-block，独立于三态都打——放行可见
+  // 可审计，不静默，与上块同哲学）：多 agent 并发时并行 quick 会话 --files 已声明的文件在本会话
+  // 窗口内出现——不属本会话，已退栈归该会话审计，本会话无需 --force-baseline。
+  if (Array.isArray(review.foreignSessionDeclared) && review.foreignSessionDeclared.length > 0) {
+    console.warn(`
+🔗 ${review.foreignSessionDeclared.length} 个文件已由其他 active quick 会话声明——已剔除出本会话审计，归该会话边界管：`)
+    for (const x of review.foreignSessionDeclared) console.warn(`   - ${x.file} ← ${(x.sessions || []).join(', ')}`)
+    console.warn(`   并发下无需 --force-baseline：这些文件不属本会话。若确系本会话改动，恢复会话时 --files 追加声明归属（sillyspec run quick --files <file> --change <本会话ID>）；`)
+    console.warn(`   他者会话若为崩溃残留（超 7 天未收尾），sillyspec run quick --cancel --change <他者会话ID> 清理后声明即失效。`)
+  }
+
   // D-8 文档欠账显性化（advisory，独立于 status 三态都打）：改了源码没动文档 → 一行欠账标记。
   // 不阻断、不解锁、纯显性化——累积欠账可事后审计 QUICKLOG reasons 追溯。
   if (review.docSyncHint && review.docSyncHint.touchedSource > 0 && review.docSyncHint.docFiles.length === 0) {