sillyspec 3.32.10 → 3.33.1

package/src/run/complete.js

@@ -17,12 +17,13 @@
  *   - node: join(path) + existsSync/readdirSync/readFileSync/mkdirSync/writeFileSync/appendFileSync/statSync(fs)
  */
 import { join, isAbsolute, resolve } from 'node:path'
+import { runtimeStatePath } from '../runtime-paths.js'
 import { existsSync, readFileSync, mkdirSync, writeFileSync, appendFileSync } from 'node:fs'
 import { writeAtomicSync } from '../fs-atomic.js'
 import { gitQuiet } from '../git-helper.js'
 import { writeCloseTraceArtifacts, projectTraceFaceRows } from '../flow-parity.js'
 import { withFileLock } from '../quicklog.js'
-import { triggerSync, WAIT_MARKER_RE, getStageSteps, formatWaitOptions, resolveRuntimeRoot, getOrCreateMultiRepoContext, resolveChangeDir, writePlatformDocsPointer, isRetiredAutoBrainstormTable, printRetiredAutoBrainstormRefusal } from './shared.js'
+import { triggerSync, triggerSyncTerminalStrict, WAIT_MARKER_RE, getStageSteps, formatWaitOptions, resolveRuntimeRoot, getOrCreateMultiRepoContext, resolveChangeDir, writePlatformDocsPointer, isRetiredAutoBrainstormTable, printRetiredAutoBrainstormRefusal } from './shared.js'
 import { isExplicitReviewWrite, collectWorktreeChangedFiles } from '../task-review.js'
 
 // 退役自动道守门（2026-10-14-brainstorm-auto-retire）：brainstorm-auto 4 步表已随自动道删除。
@@ -828,7 +829,10 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
 
     // gate 全过：persist completed（task-01 移后）。此处到 _write 之间若崩，DB 仍 in-progress（内存已 completed 但未落盘），下次进 CLI 读 DB 即 in-progress，不产生"假 completed"。
     pm._write(cwd, progress, changeName)
-    triggerSync(cwd, changeName, platformOpts, { completion: true })
+    // 终态强校验（2026-10-17-archive-half-state-location-stuck-active）：状态机驱动——仅
+    // DB status 已达 archived/deleted（archive 阶段完成即此态）走内联强校验，其余阶段
+    // 原样委托 triggerSync（后台化不变，非终态零行为变化）。见 run/shared.js 契约注释。
+    await triggerSyncTerminalStrict(cwd, changeName, platformOpts, { completion: true })
 
     const total = steps.length
     console.log(`✅ ${stageName} 阶段已完成（${total}/${total} 步）`)
@@ -843,7 +847,7 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
       let stageLedger = null
       let crossStage = false
       try {
-        const ledgerPath = join(specBase, '.runtime', `stage-session-ledger-${changeName}.json`)
+        const ledgerPath = runtimeStatePath(join(specBase, '.runtime'), `stage-session-ledger-${changeName}.json`)
         try { stageLedger = JSON.parse(readFileSync(ledgerPath, 'utf8')) } catch { /* 首阶段 */ }
         const r = updateStageSessionLedger(stageLedger, process.env.SILLYSPEC_SESSION_ID, stageName)
         stageLedger = r.ledger
@@ -1018,7 +1022,7 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
     if (stageName === 'execute' && changeName && defSteps && defSteps[currentIdx] && defSteps[nextPendingIdx] &&
         /Wave \d+ 执行/.test(defSteps[currentIdx].name || '') && /Wave \d+ 执行/.test(defSteps[nextPendingIdx].name || '')) {
       try {
-        const ledgerPath = join(specBase, '.runtime', `wave-session-ledger-${changeName}.json`)
+        const ledgerPath = runtimeStatePath(join(specBase, '.runtime'), `wave-session-ledger-${changeName}.json`)
         let ledger = null
         try { ledger = JSON.parse(readFileSync(ledgerPath, 'utf8')) } catch { /* 首 Wave */ }
         const { ledger: nextLedger, crossWaveAdvisory } = updateWaveSessionLedger(ledger, process.env.SILLYSPEC_SESSION_ID, defSteps[currentIdx].name)
@@ -1141,7 +1145,7 @@ async function printVerifyScopeDrift({ cwd, changeName, specBase, platformOpts,
       snapshot = JSON.parse(readFileSync(join(specBase, 'changes', changeName, 'scope-audit.json'), 'utf8'))
     } catch {
       try {
-        snapshot = JSON.parse(readFileSync(join(resolveRuntimeRoot(platformOpts, specBase), `scope-audit-${changeName}.json`), 'utf8'))
+        snapshot = JSON.parse(readFileSync(runtimeStatePath(resolveRuntimeRoot(platformOpts, specBase), `scope-audit-${changeName}.json`), 'utf8'))
       } catch { /* 快照缺失/损坏 → 跳过对比只打当前 totals */ }
     }
   }
@@ -1559,7 +1563,7 @@ export async function autoTickTasksFromCommitSubjects({ changeName, cwd, specBas
   try {
     const _tasksMdPath = join(specBase, 'changes', changeName, 'tasks.md')
     if (!existsSync(_tasksMdPath)) return { ticked: 0, skippedNoAnchor: 0 }
-    const _runIdFile = join(resolveRuntimeRoot(platformOpts, specBase), `current-execute-run-id-${changeName}`)
+    const _runIdFile = runtimeStatePath(resolveRuntimeRoot(platformOpts, specBase), `current-execute-run-id-${changeName}`)
     let _tickLog = ''
     try {
       if (existsSync(_runIdFile)) {
@@ -1640,7 +1644,7 @@ export async function autoCheckPlanFromReviews({ stageName, changeName, cwd, pla
     // plan.md Wave 引用行无 checkbox，无处可勾）。tasks.md 存在性作前置。
     const tasksMdPath = join(changeDir, 'tasks.md')
     const runtimeRoot = resolveRuntimeRoot(platformOpts, specBaseLc)
-    const runIdFile = join(runtimeRoot, `current-execute-run-id-${changeName}`)
+    const runIdFile = runtimeStatePath(runtimeRoot, `current-execute-run-id-${changeName}`)
     if (!existsSync(tasksMdPath) || !existsSync(runIdFile)) {
       return { autoChecked: false, checkedCount: 0, skippedCount: 0 }
     }
@@ -1798,7 +1802,7 @@ export async function detectExecuteBatchFinish({ pm, stageName, changeName, cwd,
     // 平台模式 runtimeRoot / worktree 漂移 specDriftAnchor 不透传时 marker 恒读不到
     // → 每个 task 进 blockedTasks → 批量完成静默失效
     const runtimeRoot = resolveRuntimeRoot(platformOpts, specBase)
-    const runIdFile = join(runtimeRoot, `current-execute-run-id-${changeName}`)
+    const runIdFile = runtimeStatePath(runtimeRoot, `current-execute-run-id-${changeName}`)
     // ── 缺席草稿自动补齐（坑 task-review-retired-archive-mismatch，2026-10-15 归档门口实证）──
     // Task Review 层退役（2026-09-26）后 execute 批量完成不再产 per-task review.json，但本函数
     // 下方复核循环与 archive step2 完成度判定（真相源=review.json verdict）仍以它在场为前提——

package/src/run/gate-snapshot-ledger.js

@@ -16,6 +16,7 @@
  * 异常面：全部 fail-open 吞掉（账本/回收任一异常零阻断，退现状残留）。
  */
 import { execFileSync } from 'node:child_process'
+import { runtimeStatePath } from '../runtime-paths.js'
 import { existsSync, mkdirSync, readFileSync } from 'node:fs'
 import { basename, dirname, join, resolve, sep } from 'node:path'
 import { tmpdir } from 'node:os'
@@ -28,7 +29,7 @@ const STALE_HOURS_DEFAULT = 24
 
 /** 账本文件路径（runtime 域：.sillyspec/.runtime/active-gate-snapshots.json） */
 export function gateSnapshotLedgerPath(runtimeRoot) {
-  return join(runtimeRoot, LEDGER_FILE)
+  return runtimeStatePath(runtimeRoot, LEDGER_FILE)
 }
 
 /** 读账本（损坏/缺失/非数组 → 空数组，fail-open） */

package/src/run/gate-snapshot.js

@@ -494,7 +494,12 @@ export function applyGateSnapshotCopy(cwd, snapshotRoot) {
  * @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, skipImportSmoke = false, mergeBase = null, runtimeRoot = null }) {
+export function createGateSnapshot({ cwd, files, sourceRoot = null, skipImportSmoke = false, mergeBase = null, runtimeRoot = null, failRef = null }) {
+  // failRef 可选出参（坑 snapshot-fallback-reason-blind，2026-10-16 下游实证）：所有失败分支
+  // 把结构化原因写进 failRef.reason——调用方（verify --done 实测门 / noAI 质量扫描）消费它
+  // 替换硬编码笼统文案，降级原因可直读（pnpm 布局拒建 ≠ 文件集为空 ≠ junction 失败）。
+  // 返回契约不变（失败恒 null）；不传 failRef 行为与既有逐字节一致。
+  const setFail = (reason) => { if (failRef && typeof failRef === 'object') failRef.reason = reason }
   let snapshotRoot = null
   try {
     // 前置：主仓须是 git 仓且有 HEAD（无 git 环境回退主仓现行为）
@@ -519,6 +524,7 @@ export function createGateSnapshot({ cwd, files, sourceRoot = null, skipImportSm
     // 与其让沙箱报无关错误逼 advisory，不如布局命中即作废快照回退主仓（宁可主仓口径）。
     const layoutHit = detectSymlinkStoreLayout(cwd)
     if (layoutHit) {
+      setFail(`symlink-store 布局拒建（${layoutHit}）：node_modules 符号链接 store 经 junction 跨根失效，实测必假败——设计性回退主仓实测`)
       console.warn(`⚠️ 门禁快照对 ${layoutHit} 布局不可靠（node_modules 符号链接 store 经 junction 跨根失效，实测必假败）——跳过快照回退主仓实测；主仓失败再做污染归属鉴定`)
       return null
     }
@@ -625,6 +631,7 @@ export function createGateSnapshot({ cwd, files, sourceRoot = null, skipImportSm
     // 回退主仓现行为（主仓口径可能被并行脏文件污染，但环境真实；两害取轻 + 回退原因可见）。
     const envMissing = envDirsLinked(cwd, snapshotRoot)
     if (envMissing.length > 0) {
+      setFail(`环境目录链接不完整（${envMissing.join('、')} 在主仓存在、快照内缺失）——快照作废回退主仓实测`)
       console.warn(`⚠️ 门禁快照环境不完整（${envMissing.join('、')} 在主仓存在、快照内缺失）——快照作废回退主仓实测（宁可主仓口径不可假沙箱硬挂；回退后失败先做污染归属鉴定）`)
       // 与正常 cleanup/失败 catch 同一清理体：双清确认才销账（该早退曾残留旧式 --quiet
       // 清理与无重试 rmSync——独立审查 P1-1 根因未除尽的漏网面）
@@ -723,7 +730,10 @@ export function createGateSnapshot({ cwd, files, sourceRoot = null, skipImportSm
     return { snapshotRoot, cleanup, overlaid, pinnedCacheLinks }
   } catch (e) {
     // 基建失败（worktree add 拒绝/磁盘满/…）：尽力清理后回退主仓；销账同走双清确认
-    // （D-004@v2：清不掉的条目保留待回收——它不是悬空条目，是待回收记录）
+    // （D-004@v2：清不掉的条目保留待回收——它不是悬空条目，是待回收记录）。
+    // 异常细节不再静默（坑 snapshot-fallback-reason-blind）：failRef 带原因 + warn 落日志。
+    setFail(`快照基建异常: ${e && e.message ? e.message : e}`)
+    try { console.warn(`⚠️ 门禁快照基建失败（回退主仓实测）: ${e && e.message ? e.message : e}`) } catch { /* 输出失败不影响回退 */ }
     if (snapshotRoot) {
       try {
         const { dirRemoved, worktreeCleaned } = cleanupSnapshot({ snapshotRoot, cwd })
@@ -870,7 +880,8 @@ export function printSnapshotFailureHint(snapInfo, { offEnv = 'SILLYSPEC_VERIFY_
  * @param {{ cwd: string, changeName: string, specBase: string, platformOpts?: object }} opts
  * @returns {Promise<{snapshotRoot: string, cleanup: () => void, overlaid: number, changeFileCount: number}|null>}
  */
-export async function createVerifyGateSnapshot({ cwd, changeName, specBase, platformOpts = {} }) {
+export async function createVerifyGateSnapshot({ cwd, changeName, specBase, platformOpts = {}, failRef = null }) {
+  const setFail = (reason) => { if (failRef && typeof failRef === 'object') failRef.reason = reason }
   try {
     const { resolveVerifyChangedFiles } = await import('../verify-postcheck.js')
     const { resolveRuntimeRoot } = await import('./shared.js')
@@ -879,10 +890,19 @@ export async function createVerifyGateSnapshot({ cwd, changeName, specBase, plat
     let verifyRuntimeRoot = null
     try { verifyRuntimeRoot = resolveRuntimeRoot(platformOpts, specBase) } catch { verifyRuntimeRoot = null }
     const { splitOwnVsForeignDiffFiles } = await import('../foreign-declared.js')
-    let changeFiles = resolveVerifyChangedFiles(cwd, changeName, null, {
+    // 变更文件集为空三分成因区分（坑 snapshot-fallback-reason-blind）：null=git 不可用/解析
+    // 失败；[]=HEAD 无 diff；他者声明过滤清空在下方单独计——三者处置同为回退主仓，但排查
+    // 出路完全不同，笼统「变更文件集为空」曾把 pnpm 布局拒建也误标成它。
+    const rawChangeFiles = resolveVerifyChangedFiles(cwd, changeName, null, {
       specBase, includeWorkingTree: true,
-    }) || []
-    if (changeFiles.length === 0) return null // 无变更文件集 → 无从定向，回退主仓
+    })
+    let changeFiles = rawChangeFiles || []
+    if (changeFiles.length === 0) {
+      setFail(rawChangeFiles === null
+        ? '变更文件集为空（git 不可用/解析失败——非 git 仓或 git 异常，无从定向 overlay）'
+        : '变更文件集为空（HEAD 无 diff——改动可能已全部提交，无可隔离面）')
+      return null // 无变更文件集 → 无从定向，回退主仓
+    }
     // 他者声明归属过滤（坑 verify-reconcile-foreign-wip 同款）：in-place 模式 working-tree
     // 并入后主仓全部在途文件进场——他者活跃变更显式声明的文件（quick --files / 他者 design
     // 清单）剔除，只留本变更相关面（无主文件保留，fail-closed 口径与 probe6 一致）。
@@ -891,7 +911,10 @@ export async function createVerifyGateSnapshot({ cwd, changeName, specBase, plat
       if (foreign.length > 0) {
         const foreignSet = new Set(foreign.map(x => x.file))
         changeFiles = changeFiles.filter(f => !foreignSet.has(f))
-        if (changeFiles.length === 0) return null
+        if (changeFiles.length === 0) {
+          setFail(`变更文件集为空（${foreign.length} 个 diff 文件全部被他者声明过滤——并行会话声明面覆盖了本变更全部在途文件）`)
+          return null
+        }
       }
     } catch { /* 过滤失败退全量（fail-closed：宁可多 overlay 不漏本变更文件） */ }
 
@@ -920,8 +943,12 @@ export async function createVerifyGateSnapshot({ cwd, changeName, specBase, plat
       }
     } catch { /* meta 读取失败 → 主仓 cwd 源（files 已含本变更 working-tree 改动） */ }
 
-    const snap = createGateSnapshot({ cwd, files: changeFiles, sourceRoot, mergeBase: snapMergeBase, runtimeRoot: verifyRuntimeRoot })
-    if (!snap) return null
+    const snap = createGateSnapshot({ cwd, files: changeFiles, sourceRoot, mergeBase: snapMergeBase, runtimeRoot: verifyRuntimeRoot, failRef })
+    if (!snap) {
+      // createGateSnapshot 已把具体原因写进同一 failRef；无 reason（旧形态兜底）补笼统口径
+      if (failRef && typeof failRef === 'object' && !failRef.reason) setFail('快照基建不可用（createGateSnapshot 返回 null，无更细原因）')
+      return null
+    }
 
     // 变更文档随快照：module-impact.md（test_strategy=evidence-auto 消费）/tasks.md 等
     // 在 .sillyspec（gitignore）不进 HEAD，从主仓 specBase 复制 changes/<name>/**
@@ -940,7 +967,26 @@ export async function createVerifyGateSnapshot({ cwd, changeName, specBase, plat
     } catch { /* 文档复制失败不连坐快照（test_strategy 降级 module 集仍可跑） */ }
 
     return { ...snap, changeFileCount: changeFiles.length, sourceRoot }
-  } catch {
-    return null // 任一链路异常 → 回退主仓现行为
+  } catch (e) {
+    // 任一链路异常 → 回退主仓现行为。异常细节不再静默（坑 snapshot-fallback-reason-blind）：
+    // failRef 带原因 + warn 落日志，排查不再靠 stdout 考古。
+    setFail(`快照链路异常: ${e && e.message ? e.message : e}`)
+    try { console.warn(`⚠️ 门禁快照链路异常（回退主仓实测）: ${e && e.stack ? e.stack.split('\n')[0] : e}`) } catch { /* 输出失败不影响回退 */ }
+    return null
   }
 }
+
+/**
+ * 快照口径观测字段（坑 snapshot-fallback-reason-blind，FR-04 落盘面）：--done 实测门把
+ * used_snapshot 与降级原因经 runVerifyTestCheck 的 observability 通道带进 test-result.json
+ * extra（对齐 2026-10-09 复用观测先例）。快照在场时记录随快照销毁（无可降级事实）；
+ * 回退主仓时记录恰好落在主仓 .runtime——降级证据存活在主仓，与用途一致。
+ * @param {boolean} used 快照是否真实在场
+ * @param {{ reason?: string }|null} failRef createVerifyGateSnapshot 的出参（可 null）
+ * @returns {{ used_snapshot: boolean, snapshot_fallback_reason?: string }}
+ */
+export function snapshotObservability(used, failRef) {
+  if (used) return { used_snapshot: true }
+  const reason = failRef && failRef.reason ? String(failRef.reason) : 'createVerifyGateSnapshot 返回 null（变更文件集为空 / 快照基建不可用）'
+  return { used_snapshot: false, snapshot_fallback_reason: reason }
+}

package/src/run/gates.js

@@ -28,6 +28,7 @@
  * 不搬：ensureDepsFreshness（execute 入口 deps 自检，调用方 runStage 非 completeStep，归属未来 execute-handler）
  */
 import { basename, join, relative, dirname } from 'node:path'
+import { runtimeStatePath } from '../runtime-paths.js'
 import { createHash } from 'node:crypto'
 import { execFileSync } from 'node:child_process'
 import { existsSync, readFileSync, readdirSync, statSync, mkdirSync, unlinkSync, writeFileSync } from 'node:fs'
@@ -224,7 +225,7 @@ export function warnMissingUiPrototype(stageName, changeName, currentStepName, s
   const design = readFileSync(designPath, 'utf8')
   const feExts = [...new Set((design.match(/\.(vue|svelte|astro|tsx|jsx|css|scss|sass|less|styl|html)\b/gi) || []).map(s => s.replace('.', '').toLowerCase()))]
   if (feExts.length === 0) return
-  console.warn(`   ⚠️ design.md 命中前端文件类型（${feExts.join('/')}）但变更目录无 prototype-*.html——轻微样式改动可忽略；布局/交互流程级变化应补原型（sillyspec run brainstorm --reopen 回到「分段展示设计」，或直接让 agent 补生成；已有可复跑 HTML 原型则登记复用：复制进变更目录并命名 prototype-<名称>.html，execute 按此命名注入）`)
+  console.warn(`   ⚠️ design.md 命中前端文件类型（${feExts.join('/')}）但变更目录无 prototype-*.html——轻微样式改动可忽略；布局/交互流程级变化应补原型（sillyspec run brainstorm --reopen 回到「分段展示设计」，或直接让 agent 补生成；已有可复跑 HTML 原型则登记复用：复制进变更目录并命名 prototype-<名称>.html，execute 按此命名注入；本仓形态未在 local.yaml ui_prototype 登记的，收口前补登记——form: real-code 或 single-html+豁免 ruling）`)
 }
 
 /**
@@ -444,8 +445,8 @@ export async function enforceDepsGate(stageName, cwd, changeName, step, steps, c
   if (worktreeGone && changeName) {
     try {
       const runtimeRoot = resolveRuntimeRoot(platformOpts, specBase)
-      const legitimatelyEnded = existsSync(join(runtimeRoot, `apply-pathspec-${changeName}.txt`))
-        || existsSync(join(runtimeRoot, `execute-cleanup-${changeName}.json`))
+      const legitimatelyEnded = existsSync(runtimeStatePath(runtimeRoot, `apply-pathspec-${changeName}.txt`))
+        || existsSync(runtimeStatePath(runtimeRoot, `execute-cleanup-${changeName}.json`))
       if (legitimatelyEnded) {
         console.log('ℹ️  worktree 已在 apply/execute 收尾时正当清理（凭据在 .runtime），deps 门放行')
         return true
@@ -549,7 +550,7 @@ function rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx,
 
 /** 档位状态文件路径（runtimeRoot 下 per-change；命名对齐 apply-pathspec-<change>.txt 先例） */
 function ceremonyTierFilePath(runtimeRoot, changeName) {
-  return join(runtimeRoot, `ceremony-tier-${changeName}.json`)
+  return runtimeStatePath(runtimeRoot, `ceremony-tier-${changeName}.json`)
 }
 
 /**
@@ -1100,17 +1101,24 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     // 变更文档随快照（test_strategy 消费）。并行会话在途文件物理不进快照、不参与本门判定。
     // 快照基建失败 → 回退主仓现行为（失败路径沿用 renderVerifyTestAttribution 归因提示）。
     let verifyGateSnap = null
+    let snapshotFailRef = null // createVerifyGateSnapshot 出参：结构化失败原因（FR-04，替代硬编码笼统文案）
     if (!process.env.SILLYSPEC_VERIFY_GATE_SNAPSHOT_OFF) {
       try {
         const { createVerifyGateSnapshot } = await import('./gate-snapshot.js')
-        verifyGateSnap = await createVerifyGateSnapshot({ cwd, changeName, specBase, platformOpts })
+        snapshotFailRef = {}
+        verifyGateSnap = await createVerifyGateSnapshot({ cwd, changeName, specBase, platformOpts, failRef: snapshotFailRef })
         if (verifyGateSnap) {
           console.log(`🧪 Verify 实测隔离快照（根：${verifyGateSnap.snapshotRoot}）：HEAD + 本变更 ${verifyGateSnap.changeFileCount} 个文件${verifyGateSnap.sourceRoot ? '（overlay 自 worktree——本变更分支内容定向跑）' : ''}（并行会话脏文件不参与门判定）`)
         } else {
-          // FR-02（2026-10-09-verify-reuse-friction）：null 回退与异常回退同等可见 + 记账
+          // FR-02（2026-10-09-verify-reuse-friction）：null 回退与异常回退同等可见 + 记账；
+          // FR-04（2026-10-16-fix-downstream-tool-defects）：reason 消费 failRef 结构化原因
+          // （pnpm 布局拒建 / 文件集为空三分成因 / junction 失败 / 基建异常详情），不再笼统
           try {
             const { reportGateSnapshotFallback } = await import('./gate-snapshot.js')
-            if (typeof reportGateSnapshotFallback === 'function') await reportGateSnapshotFallback({ cwd, changeName, platformOpts, where: 'verify --done 实测门', reason: 'createVerifyGateSnapshot 返回 null（变更文件集为空 / 快照基建不可用）' })
+            const fbReason = snapshotFailRef && snapshotFailRef.reason
+              ? `createVerifyGateSnapshot 返回 null：${snapshotFailRef.reason}`
+              : 'createVerifyGateSnapshot 返回 null（变更文件集为空 / 快照基建不可用）'
+            if (typeof reportGateSnapshotFallback === 'function') await reportGateSnapshotFallback({ cwd, changeName, platformOpts, where: 'verify --done 实测门', reason: fbReason })
           } catch { /* 报告失败不改变回退行为（含测试 mock 模块缺导出的形态） */ }
         }
       } catch (e) {
@@ -1120,6 +1128,22 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
         } catch { /* 报告失败不改变回退行为（含测试 mock 模块缺导出的形态） */ }
       }
     }
+    // FR-04 降级事实落盘：used_snapshot 与失败原因随 test-result.json extra 持久化（快照在场
+    // 时记录随快照销毁；回退主仓时恰好落在主仓 .runtime——降级证据存活面与用途一致）。
+    // 评审 P3-2 整改：OFF 开关是主动关闸，不得记成「基建故障/文件集为空」的笼统回退原因。
+    let snapObsFields
+    if (process.env.SILLYSPEC_VERIFY_GATE_SNAPSHOT_OFF) {
+      snapObsFields = { used_snapshot: false, snapshot_fallback_reason: 'SILLYSPEC_VERIFY_GATE_SNAPSHOT_OFF=1 主动关闸（快照未尝试，非基建故障）' }
+    } else if (verifyGateSnap) {
+      snapObsFields = { used_snapshot: true }
+    } else {
+      try {
+        const { snapshotObservability } = await import('./gate-snapshot.js')
+        snapObsFields = snapshotObservability(false, snapshotFailRef)
+      } catch {
+        snapObsFields = { used_snapshot: false, snapshot_fallback_reason: snapshotFailRef && snapshotFailRef.reason ? String(snapshotFailRef.reason) : 'createVerifyGateSnapshot 返回 null（变更文件集为空 / 快照基建不可用）' }
+      }
+    }
     const gateCwd = verifyGateSnap ? verifyGateSnap.snapshotRoot : cwd
     const gateSpecBase = verifyGateSnap ? join(verifyGateSnap.snapshotRoot, '.sillyspec') : specBase
     let testCheck
@@ -1220,7 +1244,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
         `质量扫描: ${reusableScan ? '命中（上层未消费）' : '指纹失配/无记录'}`,
         `green-cache: ${greenHit ? '命中（上层未消费）' : '指纹失配/过期/无记录'}`,
       ].join('；')
-      testCheck = runVerifyTestCheck({ cwd: gateCwd, specBase: gateSpecBase, changeName, ctx, observability: { fingerprint: _obsFingerprint, reuse_decision: { layer: 'real-run', hit: false, reason: _missReason } }, ...(Array.isArray(_restrict) && _restrict.length > 0 ? { restrictFiles: _restrict } : {}) })
+      testCheck = runVerifyTestCheck({ cwd: gateCwd, specBase: gateSpecBase, changeName, ctx, observability: { fingerprint: _obsFingerprint, reuse_decision: { layer: 'real-run', hit: false, reason: _missReason }, ...snapObsFields }, ...(Array.isArray(_restrict) && _restrict.length > 0 ? { restrictFiles: _restrict } : {}) })
       printVerifyTestCheck(testCheck)
       // 自动绑定补全（full-autopilot-parity，R21 thin 迁移）：测试已跑、test-result.json 已落盘，
       // verify --done 收口时从测试结果自动补全 requirements.md 的空绑定槽——与 thin 同逻辑（逐行扫描）。
@@ -1397,18 +1421,11 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
       //    快照含基线债文件时恒败，agent 被逼范围外清偿或逃生口）。失败输出提及文件 × 本变更
       //    文件集零交集 → 存量债 advisory 降档放行（债非本变更引入，硬拦只是制造范围外功）；
       //    有交集 / 输出无可识别路径（unattributable，纯配置错误类）→ 维持硬拦（保守）。──
-      let lintOwnership = null
-      try {
-        const { triageLintOwnership, resolveVerifyChangedFiles } = await import('../verify-postcheck.js')
-        const lintScopeFiles = (resolveVerifyChangedFiles(cwd, changeName, null, { includeWorkingTree: true, specBase }) || [])
-          .map(f => String(f).replace(/\\/g, '/')).filter(f => !f.startsWith('.sillyspec/'))
-        lintOwnership = triageLintOwnership({ failureFiles: lintCheck.failureFiles || [], changeFiles: lintScopeFiles })
-      } catch { /* 鉴定链异常维持硬拦（保守） */ }
-      if (lintOwnership && lintOwnership.verdict === 'pre-existing') {
-        console.warn('\n⚠️ Verify lint 实测失败，但归属鉴定为 HEAD 存量债（失败提及文件与本变更文件集零交集）——降档 advisory 不阻断 verify 完成：')
-        console.warn(`   存量债文件：${(lintCheck.failureFiles || []).join('、') || '（见上方输出）'}`)
-        console.warn('   处置建议：单独 quick 机械清偿（顺手清债解锁全仓 lint 门），或本变更确认无关时设 SILLYSPEC_VERIFY_LINT_GATE=advisory（审计留痕）。债随基线存在，与本变更交付无关。')
-      } else {
+      // 2026-10-15-lint-triage-path-unify：判定与文案收敛到 ./lint-ownership.js（与 noAI 质量
+      // 扫描路径同源——原两路径分叉见消费仓坑档案 verify-lint-triage-path-divergence.md）。
+      const { lintOwnershipDowngrade } = await import('./lint-ownership.js')
+      const lintAdvisoryDowngraded = await lintOwnershipDowngrade({ lintCheck, cwd, changeName, specBase })
+      if (!lintAdvisoryDowngraded) {
       console.error('\n❌ verify 阶段被阻断：CLI 亲自实测 lint 失败（agent 的 lint 自报告与实测不符时以实测为准）。')
       if (usedSnapInfo) {
         try { const { printSnapshotFailureHint } = await import('./gate-snapshot.js')
@@ -1432,7 +1449,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
       }
       console.error('   修复后重跑 --done（进度不丢）；确认要跳过实测请设 SILLYSPEC_VERIFY_LINT_GATE=advisory（审计留痕）。')
       return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'verify-lint' })
-      } // else（pre-existing 降档分支）结束——维持硬拦分支的 rollback 语义不变
+      } // 硬拦分支结束（降档放行时直接落到后续 parity/删除探针——rollback 语义不变）
     }
     // 契约 parity 对账：扫前端 API 调用 vs execute 提取的 provider endpoint artifact。
     // 接线自 contract-matrix pipeline（verifyApiParity 的 CLI 入口）。

package/src/run/lint-ownership.js

@@ -0,0 +1,37 @@
+/**
+ * lint 归属鉴定降档（共享 helper）——2026-10-15-lint-triage-path-unify。
+ *
+ * 背景（消费仓坑档案 docs/sillyspec/verify-lint-triage-path-divergence.md，2026-10-15
+ * -dsh-engine-acp verify 实证）：降档判定原先只实现在 gates.js 的 verify --done 拦截面；
+ * verify step6「noAI 质量扫描」（verify-quality-scan.js）只做 shouldBlockVerifyLint 二值
+ * 判定直接 throw——同一失败两路径行为分叉（step6 throw / --done 降档）。本模块把判定与
+ * 提示文案收敛为单一来源，两路径同接线。
+ *
+ * 语义（R4-S-F 实证口径，与 gates.js 原内联实现等价）：
+ * - pre-existing（失败提及文件 × 本变更文件集零交集）→ 打印降档 warning，返回 true（放行）；
+ * - owned（有交集）/ unattributable（输出无可识别路径）/ 鉴定链异常 → 返回 false
+ *   （维持硬拦，保守——无法排除本变更责任时宁可拦不可漏）。
+ *
+ * @param {{lintCheck?: {failureFiles?: string[]}, cwd: string, changeName: string, specBase: string, importer?: () => Promise<any>}} input
+ *   importer 可注入（测试用）；缺省动态加载 ../verify-postcheck.js（triageLintOwnership +
+ *   resolveVerifyChangedFiles——运行时 import 避免模块加载环）。
+ * @returns {Promise<boolean>} true=降档放行（advisory），false=维持硬拦。
+ */
+export async function lintOwnershipDowngrade({ lintCheck, cwd, changeName, specBase, importer }) {
+  const load = importer || (async () => import('../verify-postcheck.js'))
+  let lintOwnership = null
+  try {
+    const { triageLintOwnership, resolveVerifyChangedFiles } = await load()
+    const lintScopeFiles = (resolveVerifyChangedFiles(cwd, changeName, null, { includeWorkingTree: true, specBase }) || [])
+      .map((f) => String(f).replace(/\\/g, '/')).filter((f) => !f.startsWith('.sillyspec/'))
+    lintOwnership = triageLintOwnership({ failureFiles: (lintCheck && lintCheck.failureFiles) || [], changeFiles: lintScopeFiles })
+  } catch { /* 鉴定链异常维持硬拦（保守） */ }
+  if (lintOwnership && lintOwnership.verdict === 'pre-existing') {
+    const failureFiles = (lintCheck && lintCheck.failureFiles) || []
+    console.warn('\n⚠️ Verify lint 实测失败，但归属鉴定为 HEAD 存量债（失败提及文件与本变更文件集零交集）——降档 advisory 不阻断 verify 推进：')
+    console.warn(`   存量债文件：${failureFiles.join('、') || '（见上方输出）'}`)
+    console.warn('   处置建议：单独清偿（顺手清债解锁全仓 lint 门），或本变更确认无关时设 SILLYSPEC_VERIFY_LINT_GATE=advisory（审计留痕）。债随基线存在，与本变更交付无关。')
+    return true
+  }
+  return false
+}

package/src/run/prompt.js

@@ -19,6 +19,7 @@
  *   - loadModuleContextIndex/buildModuleContextInjection 内 require('fs'/'path') 改顶部静态 import
  */
 import { basename, dirname, join } from 'node:path'
+import { runtimeStatePath } from '../runtime-paths.js'
 import { existsSync, readFileSync, mkdirSync, readdirSync, writeFileSync, rmSync } from 'node:fs'
 import { createHash } from 'node:crypto'
 import jsYaml from 'js-yaml'
@@ -68,6 +69,7 @@ const VOLATILE_PLACEHOLDER_RES = [
   /<now-datetime>/g, /<now-timestamp>/g, /<now-date>/g, /<now-iso-datetime>/g, /<git-head-short>/g, /<quicklog-id>/g,
   /{SCAN_STALENESS}/g, /{SCAN_FACTS}/g, /{QUICK_CONTEXT_DIGEST}/g, /{DECISION_HITS}/g, /{UI_VISUAL_GUIDANCE}/g,
   /{KNOWLEDGE_HIT_REPORT}/g, /{DOCS_DEBT}/g, /{MODULE_RESOLVE_TABLE}/g, /{REVIEW_MATERIALS}/g,
+  /{REVIEW_TIER}/g, /{REVIEW_TIER_REASON}/g, /{REVIEW_JSON_CONTRACT}/g,
   /{EXECUTE_RUN_ID}/g, /{STAGE_REVIEW_RUN_ID}/g, /{PROGRESS_SNAPSHOT}/g, /{TASK_COMPLETION_REPORT}/g,
   /{WORKTREE_META}/g, /{WORKTREE_BASELINE_INFO}/g, /{TASKS_CHECKBOX}/g, /{GIT_DIRTY}/g,
   /{SCOPE_AUDIT_TABLE}/g, /{FR_INDEX_DIGEST}/g, /{HANDOVER_SUMMARY}/g, /{PREFLIGHT_FAILURES}/g,
@@ -867,7 +869,7 @@ export async function renderPreflightFailures({ stageName, stepName, cwd, specBa
 export function shouldInjectFullContext({ changeName, stageName, runtimeRoot } = {}) {
   try {
     if (!runtimeRoot || !changeName || !stageName) return { full: true }
-    const ledgerPath = join(runtimeRoot, `prompt-inject-${changeName}.json`)
+    const ledgerPath = runtimeStatePath(runtimeRoot, `prompt-inject-${changeName}.json`)
     if (!existsSync(ledgerPath)) return { full: true }
     const ledger = JSON.parse(readFileSync(ledgerPath, 'utf8'))
     const rec = (ledger && ledger.stages && typeof ledger.stages === 'object') ? ledger.stages[stageName] : null
@@ -905,7 +907,7 @@ function renderPromptInjectSummaryLine({ firstStep, digest, specBase, projectNam
  * @param {{ runtimeRoot: string, changeName: string, stageName: string, firstStep: number, digest: string }} args
  */
 async function recordPromptInjectLedger({ runtimeRoot, changeName, stageName, firstStep, digest }) {
-  const ledgerPath = join(runtimeRoot, `prompt-inject-${changeName}.json`)
+  const ledgerPath = runtimeStatePath(runtimeRoot, `prompt-inject-${changeName}.json`)
   await withFileLock(ledgerPath + '.lock', () => {
     let ledger = null
     try { ledger = JSON.parse(readFileSync(ledgerPath, 'utf8')) } catch { ledger = null }
@@ -1044,6 +1046,18 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     promptText = promptText.split(token).join(v)
     return promptText
   }
+  // 裸 split/join 注入点的收集通道（2026-10-16-step-guide-dyn-completeness）：语义与
+  // substituteSplitJoin 相同，供不以占位符正则批量替换的站点使用。
+  // ⚠️ 纪律：凡向 promptText 注入运行期值的站点必须走本组三个助手之一——裸 `.split().join()`
+  // 会让值漏进复入短输出的「动态注入段」附录（值不落盘、guide 掩码后无回读通道）。
+  // 2026-10-15 消费仓实证：评审六值（tier/材料包/契约等）漏收，主代理被迫读引擎源码逆推档位、
+  // 手建材料包、手拼 review.json 路径写错一层前缀再纠正——收集器注释「漏收才是坑」的兑现。
+  const substituteRaw = (token, value) => {
+    const v = String(value)
+    dynSegments.push(v)
+    promptText = promptText.split(token).join(v)
+    return promptText
+  }
   // 替换 prompt 中的占位符
   if (projectName && promptText.includes('<project>')) {
     substitute(/<project>/g, projectName, true)
@@ -1415,7 +1429,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
       // 注入结果同步落 runtime JSON（与既有 KNOWLEDGE_HIT_REPORT 落盘口径一致）
       const decRuntimeDir = join(decSpecBase, '.runtime')
       mkdirSync(decRuntimeDir, { recursive: true })
-      writeAtomicSync(join(decRuntimeDir, 'decision-hits.json'), JSON.stringify({ matched: decResult.matched, decisionHits: decResult.decisionHits || [] }, null, 2) + '\n')
+      writeAtomicSync(runtimeStatePath(decRuntimeDir, 'decision-hits.json'), JSON.stringify({ matched: decResult.matched, decisionHits: decResult.decisionHits || [] }, null, 2) + '\n')
     } catch (e) {
       substitute(/\{DECISION_HITS\}/g, `[decisions] 决策命中检测异常（${e.message}），跳过`)
     }
@@ -1427,7 +1441,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
   // 替换空串零输出；fail-soft 异常单行说明，不留残留占位符。
   if (stageName === 'brainstorm' && promptText.includes('{UI_VISUAL_GUIDANCE}')) {
     try {
-      const { detectUiTouch, buildUiGuidanceLines } = await import('../ui-visual.js')
+      const { detectUiTouch, buildUiGuidanceLines, extractQuotedPaths } = await import('../ui-visual.js')
       const uiSpecBase = resolvePromptSpecBase(platformOpts, cwd)
       let corpus = changeName || ''
       for (const name of ['proposal.md', 'requirements.md']) {
@@ -1435,7 +1449,10 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
           corpus += '\n' + readFileSync(join(uiSpecBase, 'changes', changeName, name), 'utf8')
         } catch { /* 缺席跳过 */ }
       }
-      substitute(/\{UI_VISUAL_GUIDANCE\}/g, detectUiTouch(corpus) ? '\n' + buildUiGuidanceLines().join('\n') + '\n' : '')
+      // ui_prototype 形态注入（2026-10-15-ui-proto-form-config）：语料路径参与子仓 override
+      // 匹配（proposal/requirements 反引号路径粗提）；无路径=仓级兜底。
+      const guidancePaths = extractQuotedPaths(corpus)
+      substitute(/\{UI_VISUAL_GUIDANCE\}/g, detectUiTouch(corpus) ? '\n' + buildUiGuidanceLines(uiSpecBase, guidancePaths).join('\n') + '\n' : '')
     } catch (e) {
       substitute(/\{UI_VISUAL_GUIDANCE\}/g, `[ui-guidance] UI 须知注入异常（${e.message}），跳过`)
     }
@@ -1479,7 +1496,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
       )
       // 写入 runtime JSON（既有机制照旧，新旧遥测共存）
       mkdirSync(runtimeDir, { recursive: true })
-      writeAtomicSync(join(runtimeDir, 'knowledge-hit-report.json'), JSON.stringify(knowledgeInjection.json, null, 2) + '\n')
+      writeAtomicSync(runtimeStatePath(runtimeDir, 'knowledge-hit-report.json'), JSON.stringify(knowledgeInjection.json, null, 2) + '\n')
     } catch (e) {
       substitute(/\{KNOWLEDGE_HIT_REPORT\}/g, 'Status: no matches (error: ' + e.message + ')')
     }
@@ -1536,7 +1553,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     let runId = ''
     const execSpecBase = resolvePromptSpecBase(platformOpts, cwd)
     const runtimeRoot = resolveRuntimeRoot(platformOpts, execSpecBase)
-    const runIdFile = join(runtimeRoot, `current-execute-run-id-${changeName}`)
+    const runIdFile = runtimeStatePath(runtimeRoot, `current-execute-run-id-${changeName}`)
     try {
       if (existsSync(runIdFile)) {
         const c = readFileSync(runIdFile, 'utf8').trim()
@@ -1676,22 +1693,21 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
           reviewMaterialsMd = await assembleStageReviewMaterials({ stage: matStage, cwd, changeName, specBase: tierSpecBase })
         } catch { /* 组装 best-effort：失败零注入 */ }
       }
-      promptText = promptText
-        .split('{REVIEW_TIER}').join(ceremonyInjection.tierValue + ceremonyInjection.menuMd)
-        .split('{REVIEW_TIER_REASON}').join(tier.reason)
-        .split('{STAGE_REVIEW_RUN_ID}').join(reviewRunId)
-        .split('{REVIEW_JSON_CONTRACT}').join(reviewContractMd)
-        .split('{PRIOR_REVIEW_FACTS}').join(priorFactsMd)
-        .split('{REVIEW_MATERIALS}').join(reviewMaterialsMd) // 三阶段材料包槽（CLI 组装注入，Gap 1 收口——此前恒空串靠主代理手组，机械保证断一半；主代理点名半边由模板补位指引接手）
+      // 全部走 substituteRaw（收集进 dynSegments——复入附录含评审六值；2026-10-16-step-guide-dyn-completeness）
+      substituteRaw('{REVIEW_TIER}', ceremonyInjection.tierValue + ceremonyInjection.menuMd)
+      substituteRaw('{REVIEW_TIER_REASON}', tier.reason)
+      substituteRaw('{STAGE_REVIEW_RUN_ID}', reviewRunId)
+      substituteRaw('{REVIEW_JSON_CONTRACT}', reviewContractMd)
+      substituteRaw('{PRIOR_REVIEW_FACTS}', priorFactsMd)
+      substituteRaw('{REVIEW_MATERIALS}', reviewMaterialsMd) // 三阶段材料包槽（CLI 组装注入，Gap 1 收口——此前恒空串靠主代理手组，机械保证断一半；主代理点名半边由模板补位指引接手）
     } catch (e) {
-      // 降级 self，避免 prompt 残留占位符
-      promptText = promptText
-        .split('{REVIEW_TIER}').join('self')
-        .split('{REVIEW_TIER_REASON}').join('分级异常降级 self: ' + e.message)
-        .split('{STAGE_REVIEW_RUN_ID}').join('review-unknown')
-        .split('{REVIEW_JSON_CONTRACT}').join('(review 契约注入失败,按 schemaVersion=1 + reviewType + verdicts∈pass/fail/cannot_verify + reviewedFiles + docHash=主文档 sha256 产出)')
-        .split('{PRIOR_REVIEW_FACTS}').join('')
-        .split('{REVIEW_MATERIALS}').join('') // 降级分支同步 join（plan 审查提示：防占位符字面量残留）
+      // 降级 self，避免 prompt 残留占位符（降级值同样收编进 dynSegments——附录如实呈现降级态）
+      substituteRaw('{REVIEW_TIER}', 'self')
+      substituteRaw('{REVIEW_TIER_REASON}', '分级异常降级 self: ' + e.message)
+      substituteRaw('{STAGE_REVIEW_RUN_ID}', 'review-unknown')
+      substituteRaw('{REVIEW_JSON_CONTRACT}', '(review 契约注入失败,按 schemaVersion=1 + reviewType + verdicts∈pass/fail/cannot_verify + reviewedFiles + docHash=主文档 sha256 产出)')
+      substituteRaw('{PRIOR_REVIEW_FACTS}', '')
+      substituteRaw('{REVIEW_MATERIALS}', '') // 降级分支同步 join（plan 审查提示：防占位符字面量残留）
     }
   }
 
@@ -1721,7 +1737,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     } catch (e) {
       metaInfo = '（注入失败：' + e.message + '——运行 sillyspec worktree meta 自查，meta.json 不存在则停止并报错）'
     }
-    promptText = promptText.split('{WORKTREE_META}').join(metaInfo)
+    substituteRaw('{WORKTREE_META}', metaInfo)
   }
 
   // archive Step1「任务完成度检查」客观真相源注入：以 review.json verdict 算完成度，
@@ -1738,9 +1754,9 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
       const summary = tcrChangeDir
         ? summarizeTaskCompletion({ changeDir: tcrChangeDir, runtimeRoot: tcrRuntimeRoot, changeName })
         : null
-      promptText = promptText.split('{TASK_COMPLETION_REPORT}').join(summary ? summary.report : '（无法计算完成度：变更目录缺失）')
+      substituteRaw('{TASK_COMPLETION_REPORT}', summary ? summary.report : '（无法计算完成度：变更目录缺失）')
     } catch (e) {
-      promptText = promptText.split('{TASK_COMPLETION_REPORT}').join('（完成度计算异常：' + e.message + '，请手动核对 plan.md 与 .runtime/execute-runs/*/tasks/task-NN/review.json）')
+      substituteRaw('{TASK_COMPLETION_REPORT}', '（完成度计算异常：' + e.message + '，请手动核对 plan.md 与 .runtime/execute-runs/*/tasks/task-NN/review.json）')
     }
   }
 
@@ -1781,7 +1797,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     } catch (e) {
       baselineInfo = '（worktree 基线注入失败：' + e.message + '——diff 对账前先 git branch -a 查 sillyspec/<change> 分支并用 git merge-base <main> <branch> 自查基点，勿用主仓 HEAD 当基点）'
     }
-    promptText = promptText.split('{WORKTREE_BASELINE_INFO}').join(baselineInfo)
+    substituteRaw('{WORKTREE_BASELINE_INFO}', baselineInfo)
   }
 
   // verify「运行测试和质量扫描」evidence-auto 推荐注入（task-12，FR-11 / D-005@v2）：
@@ -1822,7 +1838,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     } 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)
+    substituteRaw('{EVIDENCE_AUTO_RECOMMENDATION}', eaInjected)
   }
 
   // {ARCHIVE_IMPACT_AUDIT}（2026-09-09 ql-20260909-004）：archive extract-module-impact 步的
@@ -1842,7 +1858,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     } catch (e) {
       auditBlock = '（三重核对机械预填失败：' + (e && e.message ? e.message : e) + '——回退手跑 git diff --name-only 比对）'
     }
-    promptText = promptText.split('{ARCHIVE_IMPACT_AUDIT}').join(auditBlock)
+    substituteRaw('{ARCHIVE_IMPACT_AUDIT}', auditBlock)
   }
 
   // {SCOPE_AUDIT_TABLE}（2026-09-10-change-scope-audit task-05，FR-03）：archive「确认归档」步的
@@ -1865,7 +1881,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     } catch (e) {
       scopeTable = '（变更范围对账表注入失败：' + (e && e.message ? e.message : e) + '——回退手跑 sillyspec scope-audit --change <name> 查看后再确认归档，注入失败不阻断归档）'
     }
-    promptText = promptText.split('{SCOPE_AUDIT_TABLE}').join(scopeTable)
+    substituteRaw('{SCOPE_AUDIT_TABLE}', scopeTable)
   }
 
   // {HANDOVER_SUMMARY}（2026-09-17-pass-cap-semantics task-04，FR-06 注入态）：archive「确认
@@ -1901,7 +1917,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     } catch (e) {
       handoverBlock = '（移交项清单注入失败：' + (e && e.message ? e.message : e) + '——回退读 changes/<变更名>/verify-facts.json 的 handover 段核对后再确认归档，注入失败不阻断归档）'
     }
-    promptText = promptText.split('{HANDOVER_SUMMARY}').join(handoverBlock)
+    substituteRaw('{HANDOVER_SUMMARY}', handoverBlock)
   }
 
   // 注入模块上下文（brainstorm/plan/execute 阶段 + quick 首步「理解任务」——刀①：quick

package/src/run/scan-profile.js

@@ -9,6 +9,7 @@
  *   - executeScanPostcheck 原冗余动态 import('fs'/'path'/'child_process') 删除，改顶部静态（execSync 实际未直接用，纯遗留）
  */
 import { join, basename, extname } from 'node:path'
+import { runtimeStatePath } from '../runtime-paths.js'
 import { existsSync, readdirSync, statSync, mkdirSync, writeFileSync, unlinkSync, readFileSync } from 'node:fs'
 import { safeGit, resolveRuntimeRoot } from './shared.js'
 import { SCAN_REQUIRED_DOCS } from '../constants.js'
@@ -332,7 +333,7 @@ export async function executeScanResumeCheck(cwd, platformOpts) {
   // .runtime/last-delta.json（归档/delta 补跑写入的最近变更快照），14 天窗口内提示本轮
   // scan 优先核对其涉及模块——advisory 不阻断不改变步骤结构；缺失/过期/解析失败静默。
   try {
-    const sidecarPath = join(resolveRuntimeRoot(platformOpts, specBase), 'last-delta.json')
+    const sidecarPath = runtimeStatePath(resolveRuntimeRoot(platformOpts, specBase), 'last-delta.json')
     if (existsSync(sidecarPath)) {
       const sidecar = JSON.parse(readFileSync(sidecarPath, 'utf8'))
       const ageMs = Date.now() - Date.parse(sidecar.updatedAt || '')