sillyspec 3.28.3 → 3.28.5

package/src/run/quick-audit.js

@@ -11,6 +11,7 @@
  *     本模块被 command.js 静态 import，顶部静态拉 @inquirer/prompts 会进**每条** run 命令
  *     启动路径（实测冷加载 100-150ms），而 checkbox 仅"≥2 活跃变更 + TTY"分支用到
  */
+import { join } from 'node:path'
 import { parsePorcelainPath, safeGit } from './shared.js'
 
 /**
@@ -247,19 +248,43 @@ export async function runQuickTestLintGate({ cwd, specBase, changedFiles = [], d
   }
 
   const { runVerifyTestCheck, runVerifyLintCheck } = await import('../verify-postcheck.js')
-  const test = runVerifyTestCheck({ cwd, specBase, changeName })
-  const lint = runVerifyLintCheck({ cwd, specBase })
-  const failed = []
-  if (test.status === 'failed') failed.push('test')
-  if (lint.status === 'failed') failed.push('lint')
-  return {
-    action: failed.length > 0 ? 'fail' : 'pass',
-    failed,
-    reason: failed.length > 0
-      ? `实测失败：${failed.join(' + ')}（命令与输出尾部见上；修复后重跑 --done 不丢进度）`
-      : `触及 src/test 共 ${codeFiles.length} 个文件，test+lint 实测通过（或未配置命令自动跳过）`,
-    test,
-    lint,
+
+  // ── 隔离快照执行（2026-09-10 驾驭小结第六批②，用户实证「lint 实测对账在主仓跑被并行
+  // 会话脏文件拦门」）：HEAD 干净快照 + 本会话文件 overlay 后在快照内跑 test+lint——并行
+  // 会话的未提交改动不再污染本会话门禁。快照基建失败 → 回退主仓现行为（零回归）。
+  // 门禁结果归属：快照内失败 = HEAD+本会话文件的真实失败（拦得对）；主仓 fallback 失败
+  // 语义同旧版。两条路径的命令/超时/known_failures 语义同源（runVerify*Check 只换 cwd）。
+  let gateCwd = cwd
+  let gateSpecBase = specBase
+  let snapshot = null
+  if (files.length > 0 && !process.env.SILLYSPEC_QUICK_GATE_SNAPSHOT_OFF) {
+    try {
+      const { createGateSnapshot } = await import('./gate-snapshot.js')
+      snapshot = createGateSnapshot({ cwd, files })
+      if (snapshot) {
+        gateCwd = snapshot.snapshotRoot
+        gateSpecBase = join(snapshot.snapshotRoot, '.sillyspec')
+        console.log(`🧪 门禁隔离快照：HEAD + 本会话 ${snapshot.overlaid} 个文件（并行会话脏文件不参与判定）`)
+      }
+    } catch { /* 快照链路异常 → 主仓现行为 */ }
+  }
+  try {
+    const test = runVerifyTestCheck({ cwd: gateCwd, specBase: gateSpecBase, changeName })
+    const lint = runVerifyLintCheck({ cwd: gateCwd, specBase: gateSpecBase })
+    const failed = []
+    if (test.status === 'failed') failed.push('test')
+    if (lint.status === 'failed') failed.push('lint')
+    return {
+      action: failed.length > 0 ? 'fail' : 'pass',
+      failed,
+      reason: failed.length > 0
+        ? `实测失败：${failed.join(' + ')}（命令与输出尾部见上；修复后重跑 --done 不丢进度）`
+        : `触及 src/test 共 ${codeFiles.length} 个文件，test+lint 实测通过（或未配置命令自动跳过）${snapshot ? '（隔离快照口径：并行会话脏文件不计入）' : ''}`,
+      test,
+      lint,
+    }
+  } finally {
+    if (snapshot) { try { snapshot.cleanup() } catch { /* 清理失败不连坐门禁结论 */ } }
   }
 }
 

package/src/run/shared.js

@@ -338,6 +338,8 @@ export function resolveQuickSessionsDir(platformOpts, localSpecBase) {
 // GHOST_EMPTY_DIR_STALE_MS 同口径（7 天）——正常并发会话间隔在分钟/小时级，7 天未收尾的
 // 会话按僵尸处理，防崩溃残留的 guard 永久「认领」文件侵蚀危险门。
 const FOREIGN_SESSION_STALE_MS = 7 * 24 * 60 * 60 * 1000
+// 空壳会话点名宽限期：零步骤完成但启动未满此时长的不列（进行中会话的正常起步态）
+const EMPTY_SHELL_GRACE_MS = 10 * 60 * 1000
 
 /**
  * 枚举其他 active quick 会话的显式文件声明（坑 foreign-session-declared-false-block）。
@@ -424,6 +426,9 @@ export function detectEmptyShellQuickSessions(platformOpts, localSpecBase, curre
       if (!guard || !guard.startedAt) continue
       const startedAtMs = Date.parse(guard.startedAt)
       if (!Number.isFinite(startedAtMs) || nowMs - startedAtMs > FOREIGN_SESSION_STALE_MS) continue
+      // 宽限期（2026-09-09 §7-4，会话实证：2 分钟前刚启动的进行中会话被点名疑似空壳）：
+      // 零步骤完成对刚起步的会话是正常态，不满 10 分钟不列（宁可漏报不误报的同款取向）。
+      if (nowMs - startedAtMs < EMPTY_SHELL_GRACE_MS) continue
       try {
         const p = pm.read(cwd, sessionName)
         if (!p || !p.stages) continue
@@ -461,6 +466,28 @@ export function detectEmptyShellQuickSessions(platformOpts, localSpecBase, curre
  */
 export const PLATFORM_MANAGED_FILENAME = '.sillyspec-platform-managed'
 
+// ── 自指指针警告降频（2026-09-10 驾驭小结第五批①，「自指平台指针警告频出」）──
+// daemon junction 形态下（specRoot 经 junction 指回本地 .sillyspec），每条 CLI 命令的
+// 恢复链/写入链都会命中自指检测并 warn——同一事实每进程重复刷屏。跨进程 10min 窗口
+// marker（与 sync-noise 的失败噪音闸同款机制）：窗口内静默，窗口外首报完整展示并续窗。
+const SELFREF_WARN_WINDOW_MS = 10 * 60 * 1000
+const SELFREF_WARN_MARKER = 'selfref-pointer-warn.json'
+
+export function warnSelfRefPointerOnce(cwd, specRoot, message) {
+  try {
+    const dir = join(cwd, '.sillyspec', '.runtime')
+    mkdirSync(dir, { recursive: true })
+    const markerPath = join(dir, SELFREF_WARN_MARKER)
+    const now = Date.now()
+    try {
+      const m = JSON.parse(readFileSync(markerPath, 'utf8'))
+      if (m && Number.isFinite(m.at) && now - m.at < SELFREF_WARN_WINDOW_MS) return
+    } catch { /* 无 marker / 损坏 → 首报 */ }
+    writeFileSync(markerPath, JSON.stringify({ at: now, specRoot: specRoot || null }) + '\n')
+  } catch { /* marker 落盘失败 → 照常 warn（降频是优化不是语义） */ }
+  console.warn(message)
+}
+
 export function writePlatformPointer(cwd, platformOpts, extra = {}) {
   if (!platformOpts || (!platformOpts.specRoot && !platformOpts.runtimeRoot)) return false
   // 自指写入拦截（FR-4，变更 2026-08-23-repo-native-spec-backfill）：specRoot 经 realpath
@@ -468,8 +495,20 @@ export function writePlatformPointer(cwd, platformOpts, extra = {}) {
   // 单点收口同时覆盖 runCommand 与 cmdInit(writeInitPlatformPointer) 两调用方——旧模板
   // scan flag / init 平台模式显式传自指 specRoot 也不再重新投毒。runtimeRoot-only 组合
   // 无 specRoot 可判（isSelfReferentialSpecRoot 对 null 恒 false），原语义不变。
+  // 警告经 warnSelfRefPointerOnce 跨进程窗口降频（junction 形态下每命令命中的重复噪音）。
   if (isSelfReferentialSpecRoot(cwd, platformOpts.specRoot)) {
-    console.warn(`⚠️ 检测到自指平台指针（repo-native junction 回环，specRoot 指回本地 .sillyspec），已跳过指针写入并按本地模式运行: ${platformOpts.specRoot}`)
+    warnSelfRefPointerOnce(cwd, platformOpts.specRoot,
+      `⚠️ 检测到自指平台指针（repo-native junction 回环，specRoot 指回本地 .sillyspec），已跳过指针写入并按本地模式运行: ${platformOpts.specRoot}（10 分钟内不重复提示）`)
+    return false
+  }
+  // temp 残留写侧守卫（2026-09-08 temp 投毒治理，防患于未然）：specRoot 在系统 temp 且
+  // 项目 cwd 不在 temp → 拒绝三写。真实平台 spec 根永不在 temp；此类组合只可能来自
+  // 测试/联调以临时 specRoot 在真实项目根跑平台模式命令——指针/声明一旦落盘，指针被
+  // 清理后残留声明会让全命令 fail-closed（读侧 isTempResidueSpecRoot 降级兜底已存在
+  // 的污染，此处从源头断新增）。cwd 同在 temp（套件隔离正常形态）不拦，平台模式
+  // 测试不受影响。
+  if (isTempResidueSpecRoot(cwd, platformOpts.specRoot)) {
+    console.warn(`⚠️ 拒绝写入平台指针：specRoot 指向系统 temp 目录（${platformOpts.specRoot}）而项目不在 temp 下——测试/联调残留特征，已跳过三写并按本地模式运行`)
     return false
   }
   // HUB-05：合并保留既有生命周期字段。scan 完成时指针被写入 status/completedAt/scanStatus
@@ -569,6 +608,38 @@ export function isSelfReferentialSpecRoot(cwd, specRoot) {
   }
 }
 
+/**
+ * temp 残留 specRoot 判定（temp 投毒治理，2026-09-08：multi-agent-platform 工作台
+ * 「总览不可用」排障实证——Git Bash mktemp 临时 specRoot 的平台模式命令在真实项目根
+ * 写下指针+声明，指针随后被 cleanup/STALE 清理，声明按设计存活（唯一删除路径 =
+ * platform disconnect）→ 全命令 fail-closed，且 disconnect 会连带清 local.yaml
+ * platform 段误伤真实平台连接）。
+ *
+ * 判定：specRoot 位于系统 temp 目录 **且** cwd 不在 temp 下 → true。两个条件缺一不可：
+ * 真实平台的 spec 根永不在 temp（daemon 用 ~/.sillyhub/daemon/specs/{ws}，服务器用
+ * /data/spec-workspaces）；测试/联调的 temp specRoot 只允许配 temp 项目 cwd（套件隔离
+ * 正常形态，见 test/run-tests.mjs childEnv 与 platform-managed-declaration 夹具——
+ * cwd 与 spec 同在 temp 下时本函数返回 false，既有 fail-closed 测试语义不变）。
+ *
+ * 与 isSelfReferentialSpecRoot 并列为声明的两类「可证伪残留」：自指回环（repo-native
+ * junction 投毒）已有降级先例（run/command.js:429），本函数补 temp 残留这一类。
+ * 口径对齐 progress.js 指针路径的 temp 警告（resolve() 前缀比较，不 realpath——temp
+ * 判定是残留启发式，无需穿透 junction 的强一致）。
+ *
+ * @param {string} cwd - 项目根（与 isSelfReferentialSpecRoot 同基准）
+ * @param {string|null} [specRoot] - 平台 specRoot（可 null/undefined/空串）
+ * @returns {boolean} 是否 temp 残留（写侧应拒绝三写，读侧应降级本地并清理声明）
+ */
+export function isTempResidueSpecRoot(cwd, specRoot) {
+  if (!specRoot || typeof specRoot !== 'string') return false
+  const tmp = resolve(os.tmpdir())
+  const sr = resolve(specRoot)
+  if (sr !== tmp && !sr.startsWith(tmp + sep)) return false
+  const c = resolve(cwd)
+  if (c === tmp || c.startsWith(tmp + sep)) return false
+  return true
+}
+
 /**
  * 平台模式判定单一数据源（自指免疫，变更 2026-08-23-repo-native-spec-backfill）。
  *
@@ -656,9 +727,10 @@ export const QUICK_SID_RE = /^quick-[0-9a-f]{8}$/
 
 export async function triggerSync(cwd, changeName, platformOpts = {}, opts = {}) {
   // 平台模式不再整体跳过（2026-08-26 用户决策）：上行回传（进度 + 四件套 + spec 树）
-  // 在平台模式同样执行，凭据经 env SILLYHUB_PLATFORM_URL/TOKEN（daemon 注入通道，
-  // sync.js _getPlatform，链路 D 同款）；未注入 env 且 local.yaml 无 platform 段时
-  // sync() 内部静默跳过（合法状态）。下行 pull / 审批检查仍走平台自有链路（见各自门禁）。
+  // 在平台模式同样执行，凭据经 env SILLYHUB_PLATFORM_URL/TOKEN（预留通道，daemon 未
+  // 实现注入——需外部显式 export，sync.js _getPlatform，链路 D 同款）或 local.yaml
+  // platform 段；两者皆缺时 sync() 内部静默跳过（合法状态）。下行 pull / 审批检查仍走
+  // 平台自有链路（见各自门禁）。
   try {
     // ql-20260818-011：quick 会话按设计无实体变更目录（progress.js initChange 同款
     // 跳过建目录），progress/四件套上行对它是孤儿数据；但 spec 树增量（QUICKLOG/
@@ -774,7 +846,8 @@ export async function triggerPull(cwd, changeName, platformOpts = {}, opts = {})
     if (!sm._getPlatform()) return
     if (_autoPullRecently(cwd)) return
     _stampAutoPull(cwd)
-    await raceWithAbort((sig) => sm.pull(changeName, { skipIfLocalDirty: true, signal: sig.signal }), opts.timeoutMs ?? AUTO_PULL_TIMEOUT_MS)
+    // autoPull：噪音闸标识（sync.js pull 的失败 warn 走跨进程静默窗口，见 sync-noise.js）
+    await raceWithAbort((sig) => sm.pull(changeName, { skipIfLocalDirty: true, signal: sig.signal, autoPull: true }), opts.timeoutMs ?? AUTO_PULL_TIMEOUT_MS)
   } catch (e) {
     // pull 失败静默跳过（Best Effort，失败不影响正确性）
     console.warn('⚠️ 拉取失败:', e.message)
@@ -813,9 +886,10 @@ export async function triggerPullActiveChange(cwd, platformOpts = {}) {
   }
   if (!cn) return
   // 已确认连接 + 单活跃变更，调 pull（自动注入 2s 熔断 + abort（HUB-09）；skipIfLocalDirty 保守守卫
-  // 同 triggerPull——本地脏时跳过 import，防平台旧快照覆盖本地领先进度，ql-20260818-008）
+  // 同 triggerPull——本地脏时跳过 import，防平台旧快照覆盖本地领先进度，ql-20260818-008）。
+  // autoPull：噪音闸标识（sync.js pull 的失败 warn 走跨进程静默窗口，见 sync-noise.js）
   try {
-    await raceWithAbort((sig) => sm.pull(cn, { skipIfLocalDirty: true, signal: sig.signal }), AUTO_PULL_TIMEOUT_MS)
+    await raceWithAbort((sig) => sm.pull(cn, { skipIfLocalDirty: true, signal: sig.signal, autoPull: true }), AUTO_PULL_TIMEOUT_MS)
   } catch (e) {
     console.warn('⚠️ 拉取失败:', e.message)
   }
@@ -884,8 +958,9 @@ export function parsePorcelainPath(line) {
 }
 
 /**
- * quick 自身写入的 .sillyspec/ 元数据判定（auditQuickCompletion 审计 与 QUICKLOG「文件：」行回填
- * 单源）。回填文件行时复用：review.changedFiles 含这些元数据时过滤掉，只留真实业务文件。
+ * quick 自身写入的 .sillyspec/ 元数据判定（auditQuickCompletion 审计豁免的单一真相源）。
+ * 注意：QUICKLOG「文件：」行回填**不再直接复用**本谓词——记录面与审计豁免面已分叉
+ * （模块卡 + changelog sidecar 审计照旧放行、但要进文件行），见 isQuicklogFileLineNoise。
  *
  * 归类口径：
  * - quicklog/.runtime/modules/_module-map/knowledge-uncategorized 等 quick 自身产物 → 元数据
@@ -894,7 +969,7 @@ export function parsePorcelainPath(line) {
  *
  * 「并发工作 vs 偷建变更」的意图软判定留给 sillyhub，确定性校验只做路径归类。
  *
- * @param {string} p 文件路径（容错 \\ / 混用）
+ * @param {string} p 文件路径（容错 \ / 混用）
  * @param {string[]} [linkedChanges] 关联变更名列表（影响 changes/ 归类）
  * @returns {boolean} true=quick 元数据，应从业务文件列表过滤掉
  */
@@ -915,6 +990,24 @@ export function isQuickMetadata(p, linkedChanges = []) {
   return false
 }
 
+/**
+ * QUICKLOG「文件：」行回填过滤——isQuickMetadata 的**记录面**变体（2026-09-08 用户反馈①：
+ * 审计按 .sillyspec/ 放行规则整体豁免没问题，但模块卡 + changelog sidecar 恰是收尾必改项，
+ * 被同一谓词从文件行滤掉后每回都得手工补录）。审计豁免面（isQuickMetadata）与记录面在此
+ * 分叉：quick 自身元数据（quicklog/.runtime/知识库未归类）照旧不入文件行，但本 quick 实际
+ * 改动的模块卡（`modules/<id>.md`）与 sidecar（`modules/<id>.changelog.md`，同被上方
+ * `[^/]+\.md$` 覆盖）保留——它们是真实收尾工作的一部分。`_module-map.yaml` 仍滤：CLI
+ * （module-resolve）维护的索引，非 agent 手工改动。
+ * @param {string} p 文件路径（容错 \ / 混用）
+ * @param {string[]} [linkedChanges] 关联变更名列表（透传 isQuickMetadata）
+ * @returns {boolean} true=元数据噪音，应从「文件：」行过滤掉
+ */
+export function isQuicklogFileLineNoise(p, linkedChanges = []) {
+  const file = String(p).replace(/\\/g, '/')
+  if (/^\.sillyspec\/docs\/[^/]+\/modules\/[^/]+\.md$/.test(file)) return false
+  return isQuickMetadata(p, linkedChanges)
+}
+
 // 危险文件清单（auditQuickCompletion 危险门与 predictProtectedQuickFiles 预告共用单一真相源）。
 // SillySpec 核心流程代码。W6 重构后 src/run.js（23 行 barrel）/ src/progress.js（facade）
 // 把真正逻辑下沉到 src/run/、src/progress/ 子目录——旧的精确文件名匹配
@@ -963,9 +1056,48 @@ export function predictProtectedQuickFiles(files, { linkedChanges = [], forceBas
     })
 }
 
+/**
+ * 软归属匹配（2026-09-10 用户反馈：--file-notes 括注只落声明文件，同模块测试文件漏声明时审计行
+ * 有提示但文件行不自动补齐，连续多批需手工核对）：窗口内未声明的**测试文件**按 basename stem 对上
+ * 声明文件 stem → 软归属候选。stem 相等或「声明 stem + 分隔符(- _ .)」前缀（src/change-list.js ↔
+ * test/change-list-operation.test.mjs 两种布局均命中）。测试文件判定：tests/__tests__/specs? 目录内
+ * 任意文件，或 basename 带 .test./_test./-test./.spec. 标记（JS/TS/Go/Python 主流命名，前缀式
+ * test_foo.py 仅在测试目录内才认——防 src/test-utils.js 这类助手误判）。
+ * 只出候选，不动 attributedFiles——硬归属口径仍是「声明即归属」（2026-08-18 误归属修复），软归属
+ * 错认可由审计行 🔍 追溯后手工剔除。
+ * @param {string[]} declaredFiles 声明边界（allowedFiles）
+ * @param {string[]} undeclaredFiles 窗口内未声明脏文件
+ * @returns {string[]} undeclaredFiles 的软归属子集（正斜杠归一、保序去重）
+ */
+export function matchSameModuleTestFiles(declaredFiles, undeclaredFiles) {
+  const TEST_DIR_RE = /(^|\/)(tests?|__tests__|specs?)\//i
+  const TEST_BASENAME_RE = /[._-](test|spec)\.[^.]+$/i
+  const stemOf = (p) => {
+    const base = basename(String(p).replace(/\\/g, '/'))
+    const dot = base.lastIndexOf('.')
+    let stem = dot > 0 ? base.slice(0, dot) : base
+    stem = stem.replace(/[._-](test|spec)$/i, '').replace(/^(test|spec)[._-]/i, '')
+    return stem.toLowerCase()
+  }
+  const anchors = (Array.isArray(declaredFiles) ? declaredFiles : [])
+    .map(stemOf).filter((s) => s !== '')
+  if (anchors.length === 0) return []
+  const out = []
+  for (const f of (Array.isArray(undeclaredFiles) ? undeclaredFiles : [])) {
+    const posix = String(f).replace(/\\/g, '/')
+    const base = posix.slice(posix.lastIndexOf('/') + 1)
+    if (!base) continue
+    if (!TEST_DIR_RE.test(posix) && !TEST_BASENAME_RE.test(base)) continue
+    const stem = stemOf(posix)
+    const hit = anchors.some((a) => stem === a || stem.startsWith(a + '-') || stem.startsWith(a + '_') || stem.startsWith(a + '.'))
+    if (hit && !out.includes(posix)) out.push(posix)
+  }
+  return out
+}
+
 /**
  * quick 完成审计：对比 baseline 与实际变更。
- * @returns {{ status: 'safe'|'warning'|'blocked', reasons: string[], changedFiles: string[], newFiles: string[], deletedFiles: string[], baselineHit: string[], stagedTotal: number, attributedFiles: string[], undeclaredFiles: string[], foreignSessionDeclared: Array<{file: string, sessions: string[]}> }}
+ * @returns {{ status: 'safe'|'warning'|'blocked', reasons: string[], changedFiles: string[], newFiles: string[], deletedFiles: string[], baselineHit: string[], stagedTotal: number, attributedFiles: string[], undeclaredFiles: string[], softTestFiles: string[], foreignSessionDeclared: Array<{file: string, sessions: string[]}> }}
  */
 /**
  * D-8 O-1 模块归属（2026-08-15 docs-signals-o12）：quick 欠账 hint 从"改了 N 文件"升级为
@@ -1075,7 +1207,7 @@ export async function auditQuickCompletion(cwd, guard, options = {}) {
   // stagedTotal：当前所有非 quick 元数据的未提交条目（含前序 baseline 残留）。
   // 与 changedFiles（扣 baseline 后的本轮新增）区分，供审计文案同时展示「本轮新增 vs 累计暂存」，
   // 避免叠加 quick 会话时把前序会话未提交文件误读为「本会话只动了 N 个」。
-  const result = { status: 'safe', reasons: [], changedFiles: [], newFiles: [], deletedFiles: [], baselineHit: [], stagedTotal: 0, attributedFiles: [], undeclaredFiles: [], foreignSessionDeclared: [] }
+  const result = { status: 'safe', reasons: [], changedFiles: [], newFiles: [], deletedFiles: [], baselineHit: [], stagedTotal: 0, attributedFiles: [], undeclaredFiles: [], softTestFiles: [], foreignSessionDeclared: [] }
 
   try {
     // safeGit 带 -c safe.directory，避免 linked worktree/容器异 uid/挂载点下裸 `git status` 抛错被
@@ -1382,9 +1514,13 @@ export async function auditQuickCompletion(cwd, guard, options = {}) {
       for (const f of sameFileHits) if (!own.includes(f)) own.push(f)
       result.attributedFiles = own
       result.undeclaredFiles = result.changedFiles.filter(f => !declaredNorm.has(normalizeGitPath(f)))
+      // 软归属（2026-09-10 用户反馈）：未声明测试文件 stem 对上声明 stem → softTestFiles（收尾
+      // 补入文件行带「软归属」括注 + 审计行单列 🔍，与 ⚖️ 真未知区分，错认可追溯剔除）。
+      result.softTestFiles = matchSameModuleTestFiles(allowedFiles, result.undeclaredFiles)
     } else {
       result.attributedFiles = result.changedFiles
       result.undeclaredFiles = []
+      result.softTestFiles = []
     }
 
     // --confirm 模式：展示 diff 并等待确认
@@ -1694,3 +1830,38 @@ export async function getStageSteps(stageName, cwd, progress, specDir = null) {
   return def ? def.steps : null
 }
 
+
+/**
+ * 平台模式产物双写镜像（坑 platform-init-artifact-daemon-dir-only，2026-09-10 驾驭小结
+ * 第三批②，用户两次实锤）：agent 在平台接管项目（pointer 存在）本地跑 design-init /
+ * verify-probes --init 时，spec 根解析为 hub/daemon specs 同步目录——产物只落镜像根，
+ * 主仓 changeDir 要等 spec-sync 回程才可见（同步失败即失联）。双写：镜像根照写（平台
+ * 权威数据面不动），同时把内容镜像到 cwd 本地主仓 changes/<change>/<file>——本地即时
+ * 可见可核对，不再单点依赖 spec-sync 兜底。
+ * 跳过条件（任一）：非平台模式（platformBase 空）/ 显式 --spec-dir（daemon 上下文——
+ * cwd 不是主仓，镜像会写错地方）/ 本地主仓 changeDir 不存在（不凭空建目录）/ 镜像与
+ * 本地同路径（本地模式正常态）。
+ * @param {{ cwd: string, changeName: string, file: string, content: string,
+ *   platformBase: string|null, specDirExplicit?: boolean|string }} opts
+ * @returns {string|null} 镜像落盘路径（跳过返回 null）
+ */
+export function mirrorPlatformArtifactToMainRepo({ cwd, changeName, file, content, platformBase, specDirExplicit = false, ensureParentDir = false }) {
+  if (!platformBase || specDirExplicit) return null
+  const localPath = join(cwd, '.sillyspec', 'changes', changeName, file)
+  const mirrorPath = join(platformBase, 'changes', changeName, file)
+  if (resolve(localPath) === resolve(mirrorPath)) return null
+  if (!existsSync(dirname(localPath))) {
+    // ensureParentDir（taskcard 等子目录产物用，2026-09-10 驾驭小结第六批①）：本地 changeDir
+    // 在而子目录（tasks/）未建时建子目录——守卫仍在 changeDir 层（不凭空建变更目录）。
+    if (!ensureParentDir || !existsSync(dirname(dirname(localPath)))) return null
+    try { mkdirSync(dirname(localPath), { recursive: true }) } catch { return null }
+  }
+  try {
+    writeFileSync(localPath, content)
+    console.log(`📎 平台模式产物已双写镜像主仓: ${localPath}（不再单点依赖 spec-sync 回程）`)
+    return localPath
+  } catch (e) {
+    console.warn(`⚠️ 平台产物镜像主仓失败（不阻断，仍以 ${mirrorPath} 为权威）: ${e && e.message ? e.message : e}`)
+    return null
+  }
+}

package/src/run/stage.js

@@ -119,7 +119,7 @@ export async function runStage(pm, progress, stageName, cwd, changeName, skipApp
   // ── execute 阶段启动时固定 executeRunId（绑定变更名，避免跨变更复用） ──
   let currentExecuteRunId = null
   if (stageName === 'execute') {
-    const { generateExecuteRunId, isValidExecuteRunId } = await import('../task-review.js')
+    const { generateExecuteRunId, isValidExecuteRunId, claimExecuteRunId } = await import('../task-review.js')
     const execSpecBase = platformOpts?.specRoot || join(cwd, '.sillyspec')
     const runtimeRoot = resolveRuntimeRoot(platformOpts, execSpecBase)
     const runIdFile = join(runtimeRoot, `current-execute-run-id-${changeName}`)
@@ -136,11 +136,14 @@ export async function runStage(pm, progress, stageName, cwd, changeName, skipApp
       }
     } catch {}
     if (!currentExecuteRunId) {
-      currentExecuteRunId = generateExecuteRunId()
+      currentExecuteRunId = generateExecuteRunId(changeName)
       // D-001#1 主写入点：mkdir execute-runs/<runId>/tasks 先于 marker（不变量：marker 在则目录在，
       // archive 完成度扫描/漂移兜底不再落到「有 marker 无目录」的空 run）。失败直接 throw——execute
       // 启动即失败优于事后 review 错配（调用方 runCommand 冒到 CLI 顶层 exit 1，给出修复指引）。
       try {
+        // 排他认领（坑 exec-run-id-same-second-collision，2026-09-10 驾驭小结①）：并行会话同秒
+        // 生成同一 runId 时在认领处消解（碰撞换随机后缀），per-task review.json 不再跨变更互相覆盖
+        currentExecuteRunId = claimExecuteRunId(runtimeRoot, currentExecuteRunId)
         mkdirSync(join(runtimeRoot, 'execute-runs', currentExecuteRunId, 'tasks'), { recursive: true })
       } catch (e) {
         throw new Error(`execute run 目录创建失败（${join(runtimeRoot, 'execute-runs', currentExecuteRunId)}）: ${e.message}；` +
@@ -151,6 +154,9 @@ export async function runStage(pm, progress, stageName, cwd, changeName, skipApp
       // marker 断裂（worktree cleanup / 归档清理 / 并行误删）后按戳归属，不再错配其他变更的 run
       const { stampExecuteRunChange } = await import('../task-review.js')
       stampExecuteRunChange(runtimeRoot, currentExecuteRunId, changeName)
+      // execute-runs 回收不在此处（ql-20260908-005/006 已定分野）：变更归属类证据走归档时
+      // 精确回收（complete-handlers pruneArchivedChangeRuntime）+ doctor --gc-unstamped-runs
+      // 清存量；写入侧 keep-N 滚动是启发式，会误删活跃变更的旧 run，不进证据类目录。
     }
   }
 
@@ -400,6 +406,28 @@ export async function runStage(pm, progress, stageName, cwd, changeName, skipApp
         // 判定与 --done 审计危险门同口径（predictProtectedQuickFiles）
         const protectedPreview = predictProtectedQuickFiles(allowedFiles, { linkedChanges, forceBaseline })
         if (protectedPreview.length > 0) warnProtectedQuickFiles(protectedPreview)
+        // 任务描述驱动预检（2026-09-09 刀批，轮次经济学 §3.4）：未预声明 --files 且未带
+        // forceBaseline 时，用当前脏文件 × 任务描述 token 粗匹配猜可能触及的文件，命中
+        // 受保护面即起步点破——省「--done 撞危险门 → 带 --force-baseline 重跑」一整轮。
+        // 启发式 advisory：猜错零代价（误报忽略），猜中省一轮；精确判定仍归 --done 审计。
+        if (protectedPreview.length === 0 && !forceBaseline) {
+          try {
+            const desc = quickOpts?.taskDescription || ''
+            if (desc) {
+              const dirty = String(safeGit(cwd, ['status', '--porcelain', '--untracked-files=all']).value || '')
+                .split('\n').map(l => l.slice(3).trim().split(' -> ').pop() || '')
+                .map(pp => pp.replace(/^"|"$/g, '').replace(/\\/g, '/'))
+                .filter(pp => pp && !pp.startsWith('.sillyspec/'))
+              const tokens = desc.toLowerCase().split(/[\s,，。；;:：/\\]+/).filter(t => t.length >= 3)
+              const guessed = dirty.filter(pp => tokens.some(t => pp.toLowerCase().includes(t) || t.includes(pp.split('/').pop().replace(/[.][a-z]+$/, '').toLowerCase())))
+              const guessedProtected = predictProtectedQuickFiles(guessed, { linkedChanges, forceBaseline })
+              if (guessedProtected.length > 0) {
+                console.warn(`⚠️ 任务描述可能触及受保护文件（启发式预检，精确判定在 --done）：${guessedProtected.slice(0, 3).join('、')}${guessedProtected.length > 3 ? ' …' : ''}`)
+                console.warn('   若确要改它们：重启 quick 带 --force-baseline 预声明，省 --done 被拦重跑一轮；误报忽略即可。')
+              }
+            }
+          } catch { /* 预检 fail-open */ }
+        }
         // CLI 接管：分配 ql-ID + 写 QUICKLOG「进行中」条目 + 关联 tasks.md（持锁、当天唯一）
         const gitUser = safeGit(cwd, ['config', 'user.name']).value || 'unknown'
         // 标题回退：启动 quick 不带 --input 时，从关联变更的 proposal/design 提取语义标题，
@@ -434,6 +462,9 @@ export async function runStage(pm, progress, stageName, cwd, changeName, skipApp
           forceBaseline,
           linkedChanges,
           quicklogId: qlId,
+          // 刀①（2026-09-08）：启动 --input 的任务描述落 guard——prompt.js 渲染 step1 时据此做
+          // 模块上下文关键词匹配（changeName 是 quick-<hash> 无语义，step.prompt 全文噪音大）
+          taskDescription: quickDesc,
           startedAt: new Date().toISOString(),
         }
         // 写入 .runtime/quick-sessions/<sessionId>/guard.json 供 worktree-guard hook 读取
@@ -538,10 +569,29 @@ export async function runStage(pm, progress, stageName, cwd, changeName, skipApp
         await executeScanFinalize(cwd, platformOpts)
       } else if (cliAction === 'planPostcheck') {
         await executePlanPostcheck(cwd, platformOpts, progress)
+      } else if (cliAction === 'doctorRunDiagnostics') {
+        // 2026-09-09-doctor-noai FR-01：doctor 阶段折叠——noAI 步跑全量诊断
+        // （八维 + 三新 detector）+ renderDoctorSummary 渲染 + doctor-diagnosis.json 落盘
+        const { runDoctorDiagnostics, renderDoctorSummary, writeDoctorDiagnosis } = await import('../doctor-diagnostics.js')
+        const diag = await runDoctorDiagnostics({ cwd })
+        console.log(renderDoctorSummary(diag))
+        try { writeDoctorDiagnosis(diag, (platformOpts?.specRoot || join(cwd, '.sillyspec'))) } catch { /* 落盘 fail-soft */ }
       } else if (cliAction === 'progressConfirm') {
         // 主流程 step1「进度确认」noAI 化（2026-09-07）：brainstorm/execute/verify——
         // 快照本就 CLI 注入、阶段路由已由 run 落定，省一轮「复述摘要→--done」往返
         executeProgressConfirm({ stageName, cwd, stageData, changeName, pm })
+      } else if (cliAction === 'verifyRunQualityScan') {
+        // P0-1（noai-ir-roadmap §3）：verify「运行测试和质量扫描」noAI 化——test/lint 实测提前，
+        // 指纹落盘供 --done 复用免重跑（长套件不再跑两遍）；失败 throw 不盖 completed，
+        // 输出 + 并行 WIP 归因提示透传给 agent（前置一/二）。
+        const { executeVerifyQualityScan } = await import('./verify-quality-scan.js')
+        await executeVerifyQualityScan({ cwd, specBase, changeName, platformOpts })
+      } else if (cliAction === 'archiveDistill') {
+        // P0-4 安全变体（noai-ir-roadmap §3）：archive「decision-distill 决策提炼」noAI 化——
+        // 提炼本体是 CLI 纯函数（旧 prompt 即「调函数转述输出」纯中继）；needsWait 裁决收敛到
+        // 「确认归档 --confirm」。全路径不抛（裁决是确认步输入，非本步阻断条件）。
+        const { executeArchiveDistill } = await import('./archive-distill.js')
+        await executeArchiveDistill({ cwd, specBase, changeName })
       } else {
         throw new Error(`noAI 步骤 ${stepName} 的未知 _cliAction: ${cliAction}——请在 stage.js 注册对应分支`)
       }