sillyspec 3.28.9 → 3.28.10

package/src/knowledge-classify.js

@@ -316,9 +316,28 @@ export async function cmdKnowledgeClassify(dir, args, opts = {}) {
   const base = opts.specDir || join(dir, '.sillyspec')
   const knowledgeDir = join(base, 'knowledge')
 
+  // flag-as-value 防护（坑 knowledge-flag-as-value，2026-09-15 实证）：朴素 indexOf 取值会把
+  // 紧随的 flag 当本参数值（--keywords --file known-issues.md → 关键词写成字面量 '--file'
+  // 落进 INDEX 路由行，a49e7a5 批量迁移产生 9 条垃圾路由且 validate 放行）。值以 '--' 开头
+  // 一律视为漏传，由下方统一报错拦截——不静默降级成标题分词（会掩盖调用方参数错误）。
   const pick = (name) => {
     const i = args.indexOf(name)
-    return i >= 0 && args[i + 1] ? args[i + 1] : ''
+    const v = i >= 0 ? args[i + 1] : ''
+    return v && !v.startsWith('--') ? v : ''
+  }
+  const flagAsValue = ['--ql', '--title', '--file', '--section', '--keywords']
+    .find(name => {
+      const i = args.indexOf(name)
+      return i >= 0 && args[i + 1] !== undefined && String(args[i + 1]).startsWith('--')
+    })
+
+  if (flagAsValue) {
+    output(false, {}, {
+      code: 'flag_as_value',
+      flag: flagAsValue,
+      message: `${flagAsValue} 的值缺失（后随 token 是 flag，不能作值）——请补参数值后重跑`,
+    })
+    return
   }
   const qlId = pick('--ql')
   const targetFile = pick('--file')

package/src/probe7-anchor-check.js

@@ -0,0 +1,69 @@
+/**
+ * probe7-anchor-check.js — verify-result.md 探针7 矩阵 covered 行证据锚点校验（零环新模块）。
+ *
+ * 坑 probe7-covered-anchor-missing（2026-09-15 复盘实证：探针7 矩阵第一轮 7 行 covered 判定的
+ * 证据列缺 file:line 锚点被审查打回——预填说明写着「证据列给首命中 file:line 锚点」但模板要求
+ * 没细读就交，人工往返一轮）。本模块把该口径机器化：verify --done 时点解析正文探针7 段，
+ * 判定列=covered 的行必须含 `path:line` 形态锚点，缺则 advisory 提示回补。
+ *
+ * 定位与边界：
+ * - **advisory 不阻断**：covered 行缺锚点只 warn（证据可以是合法的人工核验形态，但 covered=
+ *   有归属测试命中，锚点理应存在——缺锚点大概率是 agent 改写预填时丢了，回补成本低）。
+ * - 只查 covered：partial/uncovered/non-testable 的证据形态多样（人工核验提示/理由），不做
+ *   锚点要求（误报面大于收益）。
+ * - 独立模块而非长在 verify-probes.js：后者是多会话高频冲突面（探针3/5 家族改动多发），
+ *   本校验只消费 verify-result.md 文本，零依赖单文件最稳。
+ * - 表格列序与 renderProbe7Lines 骨架同源锚定：| acceptance | 归属测试 | 关键词命中 | 判定 | 证据 |
+ *   → split('|') 后 cells[4]=判定、cells[5]=证据（首尾空串偏移）。
+ */
+
+// file:line 锚点：冒号后跟数字（`test/x.test.mjs:42`、`src/a.py:12-18` 均命中）
+const ANCHOR_RE = /:\d+\b/
+
+// 判定枚举纯值（骨架四枚举；容忍反引号包裹——门禁层 extractAcceptanceMatrixSlots 另有纯值校验）
+function normalizeVerdict(cell) {
+  return String(cell || '').trim().replace(/^`|`$/g, '').toLowerCase()
+}
+
+/**
+ * 校验探针7 矩阵 covered 行的证据锚点。
+ * @param {string} reportText verify-result.md 全文
+ * @returns {{applicable:boolean, rowsChecked:number, coveredRows:number,
+ *   missingAnchors:Array<{task:string, acceptance:string, evidence:string}>}}
+ *   applicable=false：正文无「#### 探针 7」段（quick/存量报告）——调用方零输出。
+ */
+export function checkProbe7AnchorCoverage(reportText) {
+  const out = { applicable: false, rowsChecked: 0, coveredRows: 0, missingAnchors: [] }
+  if (!reportText) return out
+  const lines = String(reportText).replace(/\r\n/g, '\n').split('\n')
+  const start = lines.findIndex(l => /^####\s*探针\s*7/.test(l))
+  if (start === -1) return out
+  let end = lines.length
+  for (let i = start + 1; i < lines.length; i++) {
+    if (/^####\s/.test(lines[i])) { end = i; break }
+  }
+  out.applicable = true
+  let task = null
+  for (let i = start + 1; i < end; i++) {
+    const line = lines[i]
+    const tm = line.match(/^\*\*(.+?)\*\*\s*$/)
+    if (tm) { task = tm[1].trim(); continue }
+    if (!line.startsWith('|')) continue
+    const cells = line.split('|').map(c => c.trim())
+    if (cells.length < 6) continue // 表头/分隔行之外的畸形行不参与（表头 6 列含首尾空串）
+    const verdict = normalizeVerdict(cells[4])
+    if (!['covered', 'partial', 'uncovered', 'non-testable'].includes(verdict)) continue
+    out.rowsChecked++
+    if (verdict !== 'covered') continue
+    out.coveredRows++
+    const evidence = cells[5] || ''
+    if (!ANCHOR_RE.test(evidence)) {
+      out.missingAnchors.push({
+        task: task || '(未知 task)',
+        acceptance: (cells[1] || '').slice(0, 80),
+        evidence: evidence.slice(0, 80),
+      })
+    }
+  }
+  return out
+}

package/src/quicklog.js

@@ -1081,10 +1081,15 @@ export async function cancelQuickSession({ specBase, gitUser, qlId, sessionId =
   let quicklogFile = null
   let flipped = false
   await withFileLock(lockPath, async () => {
-    // 用户文件缺失时扫全部 QUICKLOG 文件（条目可能在别的 user 文件里，如 CI 场景 user 漂移）
-    const files = existsSync(join(quicklogDir, `QUICKLOG-${user}.md`))
-      ? [`QUICKLOG-${user}.md`]
-      : listQuicklogFiles(quicklogDir)
+    // 坑 quick-cancel-blind-after-quicklog-rotation（2026-09-16 实证）：主文件存在时旧逻辑
+    // 只扫主文件——轮转发生后历史条目在归档文件（QUICKLOG-<user>-<日期>.md）里永久不可达，
+    // 「提示清理 → 清理必失败」死循环。恒扫全部 QUICKLOG 文件（主文件优先，命中即停），
+    // 用户文件缺失的 CI user 漂移场景语义不变。
+    const allFiles = listQuicklogFiles(quicklogDir)
+    const mainFile = `QUICKLOG-${user}.md`
+    const files = existsSync(join(quicklogDir, mainFile))
+      ? [mainFile, ...allFiles.filter(f => f !== mainFile)]
+      : allFiles
     for (const f of files) {
       const p = join(quicklogDir, f)
       const content = existsSync(p) ? readFileSync(p, 'utf8') : ''

package/src/run/command.js

@@ -330,6 +330,10 @@ export async function runCommand(args, cwd, specDir = null, opts = {}) {
     process.exit(2)
   }
   const fromStepValue = getFlagValue('--from-step')
+  // 意图断言（坑 execute-concurrent-done-skips-next-wave 终解，2026-09-08 实证）：--done --step
+  // <名|序号> 显式声明本次要完成的步骤——CLI 校验与当前待完成步一致才放行。并发 --done 落到
+  // 错误 Wave（后到会话用旧摘要完成未实现的下一步）只有显式声明能硬拦（CLI 短进程无法读心）。
+  const stepAssertValue = getFlagValue('--step')
   const isConfirm = flags.includes('--confirm')
   const isSkipApproval = flags.includes('--skip-approval')
   const isWait = flags.includes('--wait')
@@ -1381,7 +1385,26 @@ export async function runCommand(args, cwd, specDir = null, opts = {}) {
       } catch { /* guard 损坏 → 下面按找不到报错 */ }
     }
     if (!qlId) {
-      console.error(`❌ 无法定位会话 ${cancelSessionRaw} 的 qlId（guard.json 缺失/损坏）——显式传 --ql <ql-xxx>（QUICKLOG 条目头）`)
+      // 坑 quick-cancel-blind-after-quicklog-rotation ②③（2026-09-16 实证）：空壳会话
+      //（启动即被拒/未写任何条目）无 ql-ID 可传，「显式传 --ql」指引逻辑上不可执行。
+      // 两层出口：① guard 缺失但进度库会话行零步骤完成 → 空壳直清（进度注销+目录清理即
+      // 成功，条目定位对无条目会话本无意义）；② 仍有疑虑时 --force 跳过条目清理强清。
+      const forceCancel = flags.includes('--force')
+      let emptyShell = false
+      try {
+        const sessProgress = pm.read(cwd, cancelSessionRaw)
+        const qSteps = sessProgress?.stages?.quick?.steps
+        const doneCount = Array.isArray(qSteps) ? qSteps.filter(s => s?.status === 'completed' || s?.status === 'skipped').length : 0
+        emptyShell = doneCount === 0
+      } catch { /* 读不到进度 → 按非空壳走原报错 */ }
+      if (forceCancel || emptyShell) {
+        try { pm.unregisterChange(cwd, cancelSessionRaw) } catch { /* 无行可注销不算失败 */ }
+        try { rmSync(join(resolveQuickSessionsDir(platformOpts, specBase), cancelSessionRaw), { recursive: true, force: true }) } catch { /* 目录不存在即无事 */ }
+        console.log(`🗑️ 已${emptyShell ? '清空壳会话（零步骤完成，无 QUICKLOG 条目可清）' : '强制取消（--force，跳过条目清理）'}: ${cancelSessionRaw}`)
+        console.log('   进度行注销 + 会话目录清理完成')
+        return
+      }
+      console.error(`❌ 无法定位会话 ${cancelSessionRaw} 的 qlId（guard.json 缺失/损坏）——显式传 --ql <ql-xxx>（QUICKLOG 条目头）；确认该会话确无条目可清时可用 --force 跳过条目清理`)
       process.exit(1)
     }
     let gitUser = 'unknown'
@@ -1526,7 +1549,7 @@ export async function runCommand(args, cwd, specDir = null, opts = {}) {
     const doneAnswer = getFlagValue('--answer')
     // isSkipApply/sessionFlag（task-03）：--skip-apply 归档收口跳过 + --session 所有权会话标识，
     // 随 completeStep options 透传（isNoDocs 同款链路）——消费点 archive/quick 收尾 handler。
-    return await completeStep(pm, progress, stageName, cwd, outputText, inputText, { confirm: isConfirm, changeName: effectiveChange, nonInteractive: isNonInteractive && !isInteractive, platformOpts, doneAnswer, isForceBaseline, isAllowNew, isAllowDelete, isNoDocs, isSkipApply, sessionFlag: getFlagValue('--session'), quickFiles })
+    return await completeStep(pm, progress, stageName, cwd, outputText, inputText, { confirm: isConfirm, changeName: effectiveChange, nonInteractive: isNonInteractive && !isInteractive, platformOpts, doneAnswer, isForceBaseline, isAllowNew, isAllowDelete, isNoDocs, isSkipApply, sessionFlag: getFlagValue('--session'), quickFiles, stepAssert: stepAssertValue })
   }
 
   // 默认：输出当前步骤

package/src/run/complete.js

@@ -22,8 +22,8 @@ import { createHash } from 'node:crypto'
 import { writeAtomicSync } from '../fs-atomic.js'
 import { gitQuiet } from '../git-helper.js'
 import { withFileLock } from '../quicklog.js'
-import { triggerSync, WAIT_MARKER_RE, getStageSteps, formatWaitOptions, resolveRuntimeRoot, getOrCreateMultiRepoContext, resolveChangeDir } from './shared.js'
-import { isExplicitReviewWrite } from '../task-review.js'
+import { triggerSync, WAIT_MARKER_RE, getStageSteps, formatWaitOptions, resolveRuntimeRoot, getOrCreateMultiRepoContext, resolveChangeDir, writePlatformDocsPointer } from './shared.js'
+import { isExplicitReviewWrite, collectWorktreeChangedFiles } from '../task-review.js'
 
 // auto 模式 brainstorm 步骤表感知解析（2026-09-08 E2E 实证 bug：--done/--wait 推进主模式 8 步表，
 // 与 runAutoMode getAutoSteps 的 4 步 auto 表双轨互踩——ensureAutoStage 判非 auto 表重种清零，
@@ -181,6 +181,29 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
     console.log(`⚠️  Step "${steps[_resolvedWaitIdx].name}" 此前处于 waiting，--done --answer 已补回答并拉回待完成。`)
   }
 
+  // ── 意图断言（坑 execute-concurrent-done-skips-next-wave 终解，2026-09-08 实证）──
+  // --step <名|序号> 显式声明本次要完成的步骤；与当前待完成步不一致 → fail-closed 拒绝。
+  // 防并发 --done 主形态：会话 B 先推进 Wave N，会话 A 随后的 --done 落到 Wave N+1 且用
+  // Wave N 的旧摘要静默完成未实现步骤——CLI 短进程无法读心，只有显式声明能硬拦。
+  // 序号 1-based；名称精确或前缀匹配（Wave 名常带「Wave 3 — xxx」长尾，前缀够用且防呆）。
+  if (options.stepAssert) {
+    const declared = String(options.stepAssert).trim()
+    const currentName = steps[currentIdx]?.name || ''
+    let match = false
+    if (/^\d+$/.test(declared)) {
+      match = currentIdx === parseInt(declared, 10) - 1
+    } else {
+      match = currentName === declared || currentName.startsWith(declared)
+    }
+    if (!match) {
+      console.error(`❌ --step 意图断言不匹配：声明完成「${declared}」，当前待完成步骤是「${currentName}」（第 ${currentIdx + 1}/${steps.length} 步）。`)
+      console.error(`   不一致的最常见原因：并行会话刚推进了本变更的步骤（你读的是旧进度）。`)
+      console.error(`   核对：sillyspec progress show${changeName ? ` --change ${changeName}` : ''}；确认要做的是当前步则去掉 --step 重跑，确属误判自己想做的步则修正 --step 值。`)
+      process.exit(1)
+    }
+    console.log(`🛡️ 意图断言通过：--step「${declared}」= 当前步骤「${currentName}」`)
+  }
+
   // ── P0-2（noai-ir-roadmap §3）：--output 省略 → CLI 按事实合成步骤摘要 ──
   // agent 手打摘要是每步命中的幻觉源；事实面（步骤名 + 变更窗口 + 门禁以 CLI 校验为准）
   // CLI 本就持有，纯事实合成零编造（判断词留给 gate）。语义性说明（方案取舍/用户反馈）仍应
@@ -666,6 +689,10 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
     const total = steps.length
     console.log(`✅ ${stageName} 阶段已完成（${total}/${total} 步）`)
 
+    // 平台模式产物落点指针（platform-docs-dual-location，2026-09-15 EHS 实证）：完成时点在
+    // 工作树 .sillyspec/ 刷新人类可读指针（本地模式零行为，fail-soft 内部全兜）。
+    writePlatformDocsPointer(cwd, changeName, platformOpts, stageName)
+
     // task-04（2026-09-10-change-scope-audit）：execute 完成打范围对账全表+落 .runtime 快照 /
     // verify 完成出一行漂移确认。advisory fail-soft（D-006）——helper 内部全兜，绝不阻断完成。
     await printStageCompletionScopeAudit({ stageName, cwd, changeName, specBase, platformOpts })
@@ -931,7 +958,11 @@ function readTaskCardText(changeDir, taskNum) {
  * 用于 autoCheckPlanFromReviews（勾选层）和 detectExecuteBatchFinish（批量层）。
  * 失败返回 null（调用方降级：勾选层不勾、批量层不过滤——向后兼容）。
  *
- * @returns {Promise<{gitDir:string, base:string, head:string}|null>}
+ * 2026-09-15-worktree-dual-truth-gates task-04（坑④/D-004@v1）：ctx 增透传 cwd/changeName/meta/
+ * baselineFiles——prefetchDiffFileSet 消费 collectWorktreeChangedFiles（与草稿归因同口径）并剔
+ * baseline 夹带。扩展字段对 shouldAutoCheckTask 只读 gitDir/base/head/diffFileSet 零影响。
+ *
+ * @returns {Promise<{gitDir:string, base:string, head:string, cwd:string, changeName:string, meta:object|null, baselineFiles:string[]}|null>}
  */
 async function buildDraftContext(cwd, changeName) {
   try {
@@ -952,7 +983,13 @@ async function buildDraftContext(cwd, changeName) {
       }
     }
     if (base && head && gitDir) {
-      return { gitDir, base, head }
+      return {
+        gitDir, base, head,
+        cwd, changeName,
+        meta: meta || null,
+        // baselineFiles 缺失/非数组按 [] 容错（prefetchDiffFileSet 剔除夹带用）
+        baselineFiles: Array.isArray(meta?.baselineFiles) ? meta.baselineFiles : [],
+      }
     }
     return null
   } catch (e) {
@@ -962,16 +999,39 @@ async function buildDraftContext(cwd, changeName) {
 }
 
 /**
- * 预取 base..head 全量 diff 文件集（一次 git spawn），供草稿零 diff 守卫按 task 内存归属判定。
+ * 预取草稿零 diff 守卫用的全量 diff 文件集，供 shouldAutoCheckTask 按 task 内存归属判定。
  * 此前每草稿 task 一次 `git diff --name-only base..head -- <files>`（同一对 base..head 查 N 次，
- * 8 task ≈ 8-16 次串行 spawn）。失败返回 null → 调用方回退逐 task 实测路径。
+ * 8 task ≈ 8-16 次串行 spawn）。失败返回 ctx 原样 → 调用方回退逐 task 实测路径。
+ *
+ * 2026-09-15-worktree-dual-truth-gates task-04（坑④ worktree-tick-guard-commit-only / D-004@v1）：
+ * 单算 base..head（已提交）在子代理默认不 commit 时恒空/缺文件 → 守卫全跳过勾选。现并入
+ * collectWorktreeChangedFiles（task-review.js 单一真相：porcelain 未提交 ∪ committed
+ * merge-base 补齐，与草稿归因同口径），再剔 meta.baselineFiles（R-07 防伪底线：merge-base..
+ * wtHEAD 含 baseline checkpoint 提交，夹带文件=非本变更改动，不剔则「声明未做恰被夹带」的
+ * task 误勾）。全空时仍不设 diffFileSet（退回逐 task 实测路径，原语义）。
  */
 function prefetchDiffFileSet(ctx) {
   if (!ctx?.gitDir || !ctx.base || !ctx.head) return ctx
   try {
     const out = gitQuiet(ctx.gitDir, ['diff', '--name-only', `${ctx.base}..${ctx.head}`], { trim: true })
-    if (!out) return ctx
-    return { ...ctx, diffFileSet: new Set(out.split('\n').filter(Boolean)) }
+    const diffFileSet = new Set(out ? out.split('\n').filter(Boolean) : [])
+    // D-004@v1 并入：porcelain 未提交 ∪ committed 补齐（helper 自身 fail-open，git 失败返 []
+    // → 退回 base..head 现状，不放大勾选面）；独立 try 防 helper 意外拖垮既有 base..head 集
+    try {
+      if (ctx.cwd && ctx.changeName) {
+        for (const f of collectWorktreeChangedFiles(ctx.cwd, ctx.changeName, ctx.meta)) {
+          if (f) diffFileSet.add(f)
+        }
+      }
+    } catch { /* helper 异常 → 退回 base..head 现状（fail-open） */ }
+    // 剔 baseline 夹带：按正斜杠归一 exact 匹配（两侧同 git 口径路径）；baselineFiles 缺失按 [] 容错
+    const baselineFiles = Array.isArray(ctx.baselineFiles) ? ctx.baselineFiles : []
+    for (const b of baselineFiles) {
+      const n = String(b).replace(/\\/g, '/').trim()
+      if (n) diffFileSet.delete(n)
+    }
+    if (diffFileSet.size === 0) return ctx
+    return { ...ctx, diffFileSet }
   } catch {
     return ctx
   }
@@ -1546,6 +1606,8 @@ export async function continueStep(pm, progress, stageName, cwd, answer, options
     // gate 全过：persist completed（task-03 移后；此处无 triggerSync）。
     pm._write(cwd, progress, changeName)
     console.log(`\n✅ ${stageName} 阶段已完成（${stageData.steps.length}/${stageData.steps.length} 步）`)
+    // 平台模式产物落点指针：与 completeStep 完成分支同款（本路径不漏）。
+    writePlatformDocsPointer(cwd, changeName, platformOpts, stageName)
     // task-04：wait 解除完成路径与 completeStep 完成分支同源注入（Grill G-2：本路径不漏，
     // 否则 execute 快照缺失 → verify 假报「无快照可对比」）。
     await printStageCompletionScopeAudit({ stageName, cwd, changeName, specBase, platformOpts })

package/src/run/gate-snapshot.js

@@ -14,7 +14,7 @@
  * 快照生命周期：一次门禁一批（create → run → cleanup）；崩溃残留由 git worktree prune /
  * 临时目录自然回收（OS tmp 清理），不进主仓 .runtime。
  */
-import { execFileSync } from 'node:child_process'
+import { execFileSync, spawnSync } from 'node:child_process'
 import { mkdtempSync, mkdirSync, copyFileSync, writeFileSync, rmSync, existsSync, readdirSync, statSync, symlinkSync, readFileSync } from 'node:fs'
 import { join, dirname, relative, resolve } from 'node:path'
 import { tmpdir } from 'node:os'
@@ -23,12 +23,100 @@ function git(cwd, args) {
   return execFileSync('git', args, { cwd, encoding: 'utf8', stdio: ['ignore', 'pipe', 'pipe'], timeout: 60000 }).trim()
 }
 
+/**
+ * overlay import 冒烟多轮收敛（坑 verify-sandbox-overlay-partial-state-importerror）：
+ * 单轮回退有两个盲点——①坏的是依赖文件（缺名/缺模块），报错的是 importer，回退 importer
+ * 不解决问题；②一次回退后依赖关系变化。策略：最多 3 轮，每轮对未回退的 overlay .py 冒烟；
+ * 失败时解析报错点名的模块名 → 若能映射到**另一个 overlay .py 文件**则回退那个依赖文件
+ *（事故形态：crud.py 半成品缺名，importer 报错点名 crud → 回退 crud 的 HEAD 健版），
+ * 否则回退报错文件自身（语法坏/自身缺依赖）；HEAD 无版的新文件回退不了 → warn 保留。
+ */
+function runOverlayImportSmoke(pythonBin, snapshotRoot, overlaidFiles) {
+  const reverted = new Set()
+  const byModule = new Map() // 末段模块名 → 文件（映射报错点名）
+  for (const f of overlaidFiles) byModule.set(f.split('/').pop().replace(/\.py$/, ''), f)
+  const revertToHead = (f, why) => {
+    try {
+      writeFileSync(join(snapshotRoot, f), git(snapshotRoot, ['show', `HEAD:${f}`]))
+      reverted.add(f)
+      console.warn(`⚠️ 快照 overlay 冒烟：${f} ${why}——已回退 HEAD 版（并行会话半成品部分态不进沙箱）`)
+      return true
+    } catch {
+      console.warn(`⚠️ 快照 overlay 冒烟：${f} ${why}且 HEAD 无该文件（新增半成品）——保留原样，模块子集实测若红先查此文件`)
+      return false
+    }
+  }
+  for (let round = 0; round < 3; round++) {
+    let acted = false
+    for (const f of overlaidFiles) {
+      if (reverted.has(f)) continue
+      const bad = smokeImportPython(pythonBin, snapshotRoot, f)
+      if (!bad) continue
+      acted = true
+      // 依赖归因：报错点名另一 overlay 文件 → 回退依赖（ importer 自身往往无恙）
+      const named = bad.match(/(?:No module named|from)\s+['"]?([A-Za-z_][\w.]*)/i)
+      const depFile = named ? byModule.get(named[1].split('.').pop()) : null
+      if (depFile && depFile !== f && !reverted.has(depFile)) {
+        if (revertToHead(depFile, `被 ${f} 的 import 报错点名（${bad.slice(0, 60)}）`)) continue
+      }
+      revertToHead(f, `import 失败（${bad.slice(0, 60)}）`)
+    }
+    if (!acted) return
+  }
+}
+
+/**
+ * 快照内寻找 python 解释器（overlay 冒烟用）：环境目录发现集里的 venv 族
+ *（.venv/venv/env）在快照内已 junction——按平台拼 Scripts/bin 下的 python 路径。
+ * @returns {string|null} 解释器绝对路径；找不到返回 null
+ */
+function findSnapshotPython(envRelDirs, snapshotRoot) {
+  for (const rel of envRelDirs) {
+    if (!/(^|\/)(\.?venv|env)(\/|$)/.test(rel)) continue
+    const bin = process.platform === 'win32'
+      ? join(snapshotRoot, rel, 'Scripts', 'python.exe')
+      : join(snapshotRoot, rel, 'bin', 'python')
+    if (existsSync(bin)) return bin
+  }
+  return null
+}
+
+/**
+ * 单文件 import 冒烟：`python -c "import <mod>"`，cwd 取该文件所在包根（模块路径按
+ * 目录结构推导：剥 .py、/→.、丢 __init__；相对包根 import）。非 0 退出且 stderr 命中
+ * ImportError/ModuleNotFoundError/SyntaxError 才判坏（其余失败如缺第三方依赖是环境问题，
+ * 不回退——回退语义只针对「部分态坏文件」）。超时 10s 防挂。
+ * @returns {string|null} 失败原因（判坏时）；通过/环境性失败返回 null
+ */
+function smokeImportPython(pythonBin, snapshotRoot, relFile) {
+  const noExt = relFile.replace(/\.py$/, '')
+  const parts = noExt.split('/')
+  while (parts.length > 0 && parts[parts.length - 1] === '__init__') parts.pop()
+  if (parts.length === 0) return null
+  // 包根推导：从深到浅尝试（backend/app/x/y.py → 先 app.x.y（cwd=backend）再 x.y（cwd=backend/app））
+  for (let cut = 0; cut < parts.length; cut++) {
+    const mod = parts.slice(cut).join('.')
+    if (!mod || !/^[A-Za-z_][\w.]*$/.test(mod)) continue
+    const pkgRoot = join(snapshotRoot, ...parts.slice(0, cut))
+    const r = spawnSync(pythonBin, ['-c', `import ${mod}`], {
+      cwd: pkgRoot, encoding: 'utf-8', timeout: 10_000,
+    })
+    if (r.status === 0) return null
+    const err = String((r.stderr || '') + (r.stdout || ''))
+    if (/ImportError|ModuleNotFoundError|SyntaxError|cannot import name/i.test(err)) {
+      return (err.match(/(?:ImportError|ModuleNotFoundError|SyntaxError|cannot import name)[^\n]*/) || ['import 失败'])[0].slice(0, 120)
+    }
+    // 环境性失败（如缺第三方依赖、非模块入口冲突）→ 不判坏，继续试更浅包根
+  }
+  return null
+}
+
 /**
  * 创建隔离快照：HEAD worktree + 会话文件 overlay + node_modules junction + local.yaml。
  * @param {{ cwd: string, files: string[] }} opts cwd=主仓根；files=本会话变更文件（仓库根相对 POSIX）
  * @returns {{ snapshotRoot: string, cleanup: () => void, reason?: string }|null} 失败返回 null（调用方回退主仓）
  */
-export function createGateSnapshot({ cwd, files, sourceRoot = null }) {
+export function createGateSnapshot({ cwd, files, sourceRoot = null, skipImportSmoke = false }) {
   let snapshotRoot = null
   try {
     // 前置：主仓须是 git 仓且有 HEAD（无 git 环境回退主仓现行为）
@@ -112,6 +200,26 @@ export function createGateSnapshot({ cwd, files, sourceRoot = null }) {
       }
     }
 
+    // ── overlay import 闭合冒烟（坑 verify-sandbox-overlay-partial-state-importerror，
+    // 2026-09-13 实证：in-place 变更的文件集含主仓未提交并行 WIP——「改了引用方没改被引用方」
+    // 的部分态进快照，模块子集测试 197 ERROR 只能人工三步排查）──
+    // 对 overlay 进快照的 .py 文件逐个 `python -c import`（用快照内链接的 venv 解释器）；
+    // ImportError/SyntaxError → 该文件回退 HEAD 版（git show）+ warn——半成品坏文件不进沙箱，
+    // HEAD 健版保证 import 图闭合。新增文件（HEAD 无版）无法回退 → 醒目 warn 保留。
+    // 全链 fail-open：找不到解释器/基建异常只 warn 不作废快照（主场景是 Python 项目，
+    // JS/TS 的 vitest load 冒烟成本高留后续）。
+    const overlaidPyFiles = files.filter(f => typeof f === 'string' && f.endsWith('.py')
+      && !f.startsWith('.sillyspec/')
+      && existsSync(join(snapshotRoot, f)))
+    if (overlaidPyFiles.length > 0 && !skipImportSmoke) {
+      const pythonBin = findSnapshotPython(envRelDirs, snapshotRoot)
+      if (pythonBin) {
+        runOverlayImportSmoke(pythonBin, snapshotRoot, overlaidPyFiles)
+      } else {
+        console.warn(`⚠️ 快照 overlay 冒烟跳过：快照内未找到 python 解释器（venv 族未链接）——并行半成品部分态可能引发 ImportError 假红，实测红先 SNAPSHOT_OFF 对照`)
+      }
+    }
+
     const cleanup = () => {
       try { git(cwd, ['worktree', 'remove', '--force', '--quiet', snapshotRoot]) } catch {
         try { rmSync(snapshotRoot, { recursive: true, force: true }) } catch { /* 残留交 OS tmp 清理 */ }

package/src/run/gates.js

@@ -322,12 +322,14 @@ export async function enforceDepsGate(stageName, cwd, changeName, step, steps, c
     // 下游已有物理目录存在性判定兜底（G2/R3），这里 warn 留下根因线索，避免静默误诊。
     console.warn(`⚠️ worktree meta 读取失败（deps gate 将走物理目录判定）: ${e.message}`)
   }
-  const depsStatus = meta?.depsStatus
-  const mainOk = ['linked', 'installed', 'n/a'].includes(depsStatus)
-  if (mainOk) {
-    // ── 跨仓 worktree deps 校验（坑 cross-repo-no-worktree-isolation）──
-    // 跨仓仓供给失败同样无构建/测试能力（前端仓无 node_modules 建不了 build）。只校验已建
-    // worktree 的跨仓仓（legacy 直写模式无 meta，维持原语义，下游 Task Review 兜底）。
+  const depsOk = (s) => ['linked', 'installed', 'n/a'].includes(s)
+  const changeDir = changeName ? join(specBase, 'changes', changeName) : null
+
+  // main 侧就绪后的跨仓 worktree deps 校验（坑 cross-repo-no-worktree-isolation）：
+  // 跨仓仓供给失败同样无构建/测试能力（前端仓无 node_modules 建不了 build）。只校验已建
+  // worktree 的跨仓仓（legacy 直写模式无 meta，维持原语义，下游 Task Review 兜底）。
+  // 放行返回 true；跨仓未就绪置 blocked + exit(1)。
+  const crossCheckOrExit = async () => {
     let crossFailed = []
     try {
       const crossSpecBase = platformOpts?.specRoot || join(cwd, '.sillyspec')
@@ -351,8 +353,39 @@ export async function enforceDepsGate(stageName, cwd, changeName, step, steps, c
     if (persist) { try { await persist() } catch { /* 落盘失败不吞阻断语义 */ } }
     process.exit(1)
   }
-  const changeDir = changeName ? join(specBase, 'changes', changeName) : null
+
+  if (depsOk(meta?.depsStatus)) return await crossCheckOrExit()
+
+  // wave 级 opt-out（先于重供给：无需 deps 能力的 wave 不花 install 成本）
   if (isCurrentWaveAllNoDepsVerify(step?.name, changeDir)) return true
+
+  // ── --done 重供给重试（坑 deps-gate-manual-retry-ineffective，2026-09-15 wp 会话实证）──
+  // 阻断提示承诺「在 worktree 内手动安装依赖后重试」，但 manual install 不改 meta.depsStatus，
+  // failed 态直读 meta 永不翻绿 → 重试 --done 必撞同一堵墙，唯一出路 doctor --fix（wp 会话
+  // 正是手动编译成功后重试仍被拦，被迫多跑一轮 doctor）。对齐 run execute 入口
+  // ensureDepsFreshness 的同款供给：阻断前重供给一次并写回 meta——PATH 已修好的 shell 里
+  // 重跑 --done 即等效 doctor --fix；marker 型生态（nodejs）手动安装补齐 node_modules 后
+  // 重供给的 install 也能自然通过。仍失败则维持阻断，不无限重试。
+  let depsStatus = meta?.depsStatus
+  if (wm && changeName) {
+    let wtPath = null
+    try { wtPath = wm.getWorktreePath(changeName) } catch { /* meta 缺失走物理目录判定 */ }
+    if (wtPath && existsSync(wtPath)) {
+      try {
+        const { provisionDeps } = await import('../worktree-deps.js')
+        console.log(`🔄 deps 门控：depsStatus=${depsStatus || 'unknown'}，阻断前按 --done 重试路径重供给一次（与 doctor --fix 同款）...`)
+        const deps = provisionDeps(wtPath, cwd, { specBase }) || {}
+        meta = { ...meta, ...deps }
+        writeAtomicSync(join(wtPath, 'meta.json'), JSON.stringify(meta, null, 2) + '\n')
+        depsStatus = meta.depsStatus
+        console.log(`   重供给完成：depsStatus=${depsStatus || 'unknown'}${meta.depsError ? `（${meta.depsError}）` : ''}`)
+        if (depsOk(depsStatus)) return await crossCheckOrExit()
+      } catch (e) {
+        console.warn(`⚠️ deps 门控重供给失败（维持阻断判定）：${e.message}`)
+      }
+    }
+  }
+
   if (steps && steps[currentIdx]) {
     steps[currentIdx].status = 'blocked'
     // 阻断原因持久化（坑 deps-gate-blocked-invisible）：--status/诊断时可见，不依赖阻断当刻的
@@ -845,6 +878,11 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     })
     const reconcileEnvelope = buildReconcileTargetFilesEnvelope(reconcileCheck)
     const reconcileBlocked = printReconcileTargetFilesCheck(reconcileCheck, reconcileEnvelope)
+    // 跨仓 per-repo 对账明细渲染（坑 cross-repo-reconcile-blindness，2026-09-15 复盘兑现 D-004
+    // 分期）：reconcileTargetFiles 的 crossRepo 字段（advisory 不阻断）——各仓 对上/②缺/③多
+    // 逐仓一行 + ②缺明细（跨仓声明落空是该去对应仓干活的信号，但不翻主仓状态——锚点窗口
+    // 脆弱期会假信号）。无跨仓卡时 crossRepo 为空数组零输出。
+    printCrossRepoReconcile(reconcileCheck.crossRepo)
     // 结果落盘（design Wave 2 承诺：对齐 .runtime/verify-runs/<ts>/ 先例）——五状态全落（含
     // 放行态），fail-soft 不影响 gate 判定；②类阻断回执同样留档供平台/审计消费
     writeReconcileRunResult({ runtimeRoot: reconcileRuntimeRoot, changeName, envelope: reconcileEnvelope, result: reconcileCheck })
@@ -872,6 +910,23 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     })
     const probeEnvelope = buildProbeConsistencyEnvelope(probeCheck)
     const probeBlocked = printProbeConsistencyCheck(probeCheck, probeEnvelope)
+    // 探针7 covered 证据锚点 advisory（坑 probe7-covered-anchor-missing，2026-09-15 复盘：7 行
+    // covered 证据缺 file:line 被审查打回——预填说明已载明口径，机器在 --done 时点再拦一道，
+    // 省一轮人工往返）。advisory 不阻断；独立模块零环（verify-probes 是多会话冲突面，不碰）。
+    try {
+      const { checkProbe7AnchorCoverage } = await import('../probe7-anchor-check.js')
+      const p7ReportPath = join(specBase, 'changes', changeName, 'verify-result.md')
+      if (existsSync(p7ReportPath)) {
+        const p7Anchor = checkProbe7AnchorCoverage(readFileSync(p7ReportPath, 'utf8'))
+        if (p7Anchor.applicable && p7Anchor.missingAnchors.length > 0) {
+          console.warn(`\n⚠️ 探针7 锚点校验：${p7Anchor.missingAnchors.length}/${p7Anchor.coveredRows} 行判定为 covered 但证据列缺 file:line 锚点（advisory 不阻断，审查会要求回补）：`)
+          for (const m of p7Anchor.missingAnchors.slice(0, 10)) {
+            console.warn(`   - ${m.task}：${m.acceptance || '(空 acceptance)'}——证据当前为「${m.evidence || '(空)'}」，应给 \`测试文件路径:行号\` 首命中锚点`)
+          }
+          if (p7Anchor.missingAnchors.length > 10) console.warn(`   …还有 ${p7Anchor.missingAnchors.length - 10} 行`)
+        }
+      }
+    } catch { /* 锚点校验异常 fail-soft 不影响 gate */ }
     // 结果落盘（对齐 writeReconcileRunResult 先例）：独立文件 probe-consistency-result.json——
     // 与 reconcile-result.json 同 gate 运行同目录组织（verify-runs/<ts>/），但不并入后者：
     // reconcile-result.json 的 schema 已被 P3a 消费方锁定，塞探针字段（读改写/扩参）只会引入
@@ -1554,6 +1609,35 @@ export function writeReconcileRunResult({ runtimeRoot, changeName, envelope, res
  * @param {object} [envelope] 预构造信封（缺省现算；显式传入便于调用方先断言再打印）
  * @returns {boolean} true = 阻断（status='missing_declared'）
  */
+/**
+ * 打印跨仓 per-repo 对账结果（cross-repo-reconcile.js 产出的 advisory 明细，verify 块接线）。
+ * 恒不阻断（返回 void）：跨仓 diff 锚点=各仓最近提交窗口，锚点脆弱期（已 commit 多笔/全在
+ * working-tree）会产②类假信号——明细供人工裁决，不翻主仓对账状态。
+ * @param {Array<{repo:string,repoPath:string|null,declaredCount:number,actualCount:number,
+ *   matched:string[],missing:Array<{task:string,path:string,isNew?:boolean}>,
+ *   undeclared:string[],scaffoldCount:number,degradedReason:string|null}>|undefined} crossRepo
+ */
+function printCrossRepoReconcile(crossRepo) {
+  if (!Array.isArray(crossRepo) || crossRepo.length === 0) return
+  console.log(`\n🔀 跨仓 per-repo 对账（advisory 不阻断，锚点=各仓最近提交窗口）：`)
+  for (const r of crossRepo) {
+    if (r.degradedReason) {
+      console.warn(`   ⚠️ ${r.repo}：${r.degradedReason}`)
+      continue
+    }
+    const flag = (r.missing.length > 0 || r.undeclared.length > 0) ? '⚠️ ' : '✅ '
+    console.log(`   ${flag}${r.repo}（${r.repoPath}）：声明 ${r.declaredCount} / 实测 ${r.actualCount} / 对上 ${r.matched.length} / ②缺 ${r.missing.length} / ③多 ${r.undeclared.length}${r.scaffoldCount > 0 ? ` / 脚手架聚合 ${r.scaffoldCount}` : ''}`)
+    for (const m of r.missing.slice(0, 10)) {
+      console.warn(`      ②缺 ${m.task}: ${m.path}${m.isNew ? '（NEW: 声明新建，该仓未见）' : ''}——锚点窗口外已提交或多笔时可能假信号，到该仓 git log 核实`)
+    }
+    if (r.missing.length > 10) console.warn(`      …还有 ${r.missing.length - 10} 条②缺`)
+    for (const u of r.undeclared.slice(0, 10)) {
+      console.warn(`      ③多 ${u}（该仓最近窗口实际改动，未在任何跨仓卡声明）`)
+    }
+    if (r.undeclared.length > 10) console.warn(`      …还有 ${r.undeclared.length - 10} 条③多`)
+  }
+}
+
 export function printReconcileTargetFilesCheck(r, envelope = buildReconcileTargetFilesEnvelope(r)) {
   // ②类（声明未做=计划落空）：ERROR 阻断
   if (r.status === 'missing_declared') {