sillyspec 3.28.2 → 3.28.4

package/src/run/stage.js

@@ -21,6 +21,7 @@ import { existsSync, readdirSync, readFileSync, mkdirSync } from 'node:fs'
 import { writeAtomicSync } from '../fs-atomic.js'
 import { resolveSpecDir, resolveChangeDir, resolveRuntimeRoot, resolveQuickSessionsDir, triggerSync, safeGit, parsePorcelainPath, formatWaitOptions, checkApproval, getStageSteps, warnApprovalUnknown, predictProtectedQuickFiles, mergeQuickBoundaryFiles, detectEmptyShellQuickSessions } from './shared.js'
 import { computeScanProfile, applyScanProfileSteps, executeScanPreflight, executeScanPostcheck, executeScanDetectProjects, executeScanResumeCheck, executeScanFinalize } from './scan-profile.js'
+import { executeProgressConfirm } from './progress-confirm.js'
 import { outputStep, collectStageWaitHistory } from './prompt.js'
 import { allocateQuicklogEntry, deriveTitleFromLinkedChange, sanitizeDesc } from '../quicklog.js'
 import { createHash } from 'node:crypto'
@@ -150,6 +151,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，不进证据类目录。
     }
   }
 
@@ -399,6 +403,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 提取语义标题，
@@ -433,6 +459,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 读取
@@ -537,6 +566,17 @@ 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 {
         throw new Error(`noAI 步骤 ${stepName} 的未知 _cliAction: ${cliAction}——请在 stage.js 注册对应分支`)
       }
@@ -552,6 +592,8 @@ export async function runStage(pm, progress, stageName, cwd, changeName, skipApp
         // 所有步骤完成
         stageData.status = 'completed'
         stageData.completedAt = new Date().toLocaleString('zh-CN', { hour12: false })
+        // 主阶段完成钉 currentStage（troubleshooting #56 根因修复，2026-09-08；与 complete.js 两处同语义）
+        if (!AUXILIARY_STAGES.includes(stageName)) progress.currentStage = stageName
         // persist _write 移到 completeStageGates 成功之后（task-02 / review-2026-08-09 #2）：gate 异常/失败 → rollback 回 in-progress 落盘，此处未到 _write，DB 不留假 completed。
         // 阶段完成收尾共享管线（noAI 末步核心修复 S1：plan postcheck independent-tier review verdict=fail /
         // 平台 scan manifest 此前被绕过）。gate 失败已 rollback 为 in-progress，early-return（不 fall through 到末尾 return）。

package/src/runtime-hygiene.js

@@ -0,0 +1,84 @@
+/**
+ * runtime-hygiene.js — .runtime/ 无归属审计类产物的写入侧滚动裁剪（2026-09-08 用户反馈④）。
+ *
+ * 系统性排查后的分野（与 ql-20260908-005/006 并行会话的定界）：
+ * - **变更归属类证据**（execute-runs / stage-reviews / verify-runs）：走归档时按 change
+ *   精确回收（complete-handlers.js pruneArchivedChangeRuntime）+ doctor --gc-unstamped-runs
+ *   清存量。不在此处滚动裁剪——keep-N 是启发式，他端高频写入会把活跃变更的证据跌出
+ *   保留窗，gate（Stage/Task Review Gate）读到的是被裁掉的 review。
+ * - **无归属审计类**（本模块管辖）：artifacts/（步骤超长输出存档，实证本仓 534 份）、
+ *   workflow-runs/（workflow check 归档，21 份）、doctor-dumps/（孤儿库诊断 dump）。
+ *   无生命周期事件可挂（无「归档」时机）、无 change 归属语义，只有时间价值——
+ *   写入侧滚动保留最新 N 份是唯一合适量身工具（与 _pruneImportBaks 同族：靠人工
+ *   记得跑 GC 等于没有回收）。
+ *
+ * 契约（与 _pruneImportBaks 对齐的取舍）：
+ * - 新旧判据默认取**条目名字典序**：管辖目录的条目名全部内嵌零填充时间戳
+ *   （<ts>-<label>.json / dump-<ts>.json），同目录内字典序 == 时间序；不用 mtime——
+ *   copy/同步工具会改写。例外：artifacts/ 文件名时间戳在尾部、前缀是变更名，长变更
+ *   晚收尾会乱序，按 mtime（write-once 本地审计文件，无 copy 改写 mtime 的暴露面）。
+ * - tsRe 选项供前缀不统一的目录提取内嵌时间戳（排序键），提取不到的条目沉底不裁。
+ * - 单条删除失败（他进程持句柄/权限）跳过不连坐，下次写入再收。
+ * - 整体 fail-open：目录缺失/读取异常返回 0，绝不抛——卫生动作不能阻断主流程。
+ * - 幂等：keep 之内不动，重复调用零副作用。
+ * - 保留份数可用 SILLYSPEC_RUNTIME_KEEP 覆盖（整数 ≥1，灾难排查期想多留），
+ *   非法值回落各调用方默认。
+ */
+import { readdirSync, statSync, rmSync } from 'fs'
+import { join } from 'path'
+
+/**
+ * 读环境覆盖的保留份数。
+ * @param {number} def 调用方默认值
+ * @returns {number}
+ */
+function _resolveKeep(def) {
+  const raw = Number(process.env.SILLYSPEC_RUNTIME_KEEP)
+  return Number.isInteger(raw) && raw >= 1 ? raw : def
+}
+
+/**
+ * 滚动裁剪一个「时间戳命名条目」目录，保留最新 keep 份。
+ *
+ * @param {object} opts
+ * @param {string} opts.dir 目标目录（如 <specBase>/.runtime/artifacts）
+ * @param {number} opts.keep 默认保留份数（SILLYSPEC_RUNTIME_KEEP 可覆盖）
+ * @param {'name'|'mtime'} [opts.orderBy='name'] 新旧判据；'mtime' 仅供时间戳不前置的
+ *   条目（artifacts/：前缀是变更名，变更名自带日期近似但不严格时序）
+ * @param {RegExp} [opts.tsRe] 从条目名提取时间戳的正则（捕获排序键）。前缀不统一的
+ *   目录必须传，否则纯名字典序会跨前缀乱序误裁；提取不到的条目按名字参与排序
+ *   （保守沉底不误删）
+ * @returns {number} 实际删除的条目数（目录缺失/异常 = 0，绝不抛）
+ */
+export function pruneTimestampedEntries({ dir, keep, orderBy = 'name', tsRe = null }) {
+  let entries
+  try {
+    entries = readdirSync(dir, { withFileTypes: true })
+  } catch {
+    return 0 // 目录不存在（该仓库从未走过此流程）= 无可裁
+  }
+  const names = entries.map(e => e.name)
+  const sortKey = orderBy === 'mtime'
+    ? (n) => { try { return statSync(join(dir, n)).mtimeMs } catch { return 0 } }
+    : (n) => {
+        if (tsRe) {
+          const m = n.match(tsRe)
+          if (m) return m[0] // 内嵌零填充时间戳（如 20260908035502）
+        }
+        return `\uffff${n}` // 提取不到 → 沉底（视为最新，不因缺时间戳被裁）
+      }
+  const sorted = [...names].sort((a, b) => {
+    const ka = sortKey(a), kb = sortKey(b)
+    return ka < kb ? -1 : ka > kb ? 1 : 0 // 升序：最旧在前
+  })
+  const k = _resolveKeep(keep)
+  const doomed = sorted.slice(0, Math.max(0, sorted.length - k))
+  let removed = 0
+  for (const n of doomed) {
+    try {
+      rmSync(join(dir, n), { recursive: true, force: true })
+      removed++
+    } catch { /* 单条失败跳过：下次写入侧再收 */ }
+  }
+  return removed
+}

package/src/scan-postcheck.js

@@ -42,7 +42,11 @@ function checkScanDocRefs(cwd, scanDir, docs) {
     severity: CHECK_SEVERITY.WARNING,
     detail: `${invalid.length} 条 file:line 引用未通过核验（${totalRefs} 条中）: ${sample}${invalid.length > 3 ? ` 等 ${invalid.length} 条` : ''}`,
     evidence: { invalidCount: invalid.length, totalRefs, skippedCrossRepo, checkedDocs: docs.length, sample: invalid.slice(0, 3) },
-    supportedFixes: ['运行 sillyspec docs check --suggest 查看候选锚点后修正引用', '删除无法核验的引用（引用了不存在的文件/行号）'],
+    supportedFixes: [
+      'sillyspec docs check --paths <该文档> --dry-run  查看候选锚点（fixable 条目会给出 newLine），确认后去 --dry-run 落盘重锚',
+      'sillyspec docs check --paths <该文档> --fix  对 fixable 引用自动重锚（回执附修复前后失效数对比）',
+      '先跑 sillyspec docs check --paths <该文档> 确认零候选锚点后，再删除确认无法核验的引用行',
+    ],
   }
 }
 

package/src/spec-sync.js

@@ -18,6 +18,7 @@
 import { createHash } from 'crypto';
 import { existsSync, readdirSync, readFileSync, statSync, mkdirSync, writeFileSync, unlinkSync } from 'fs';
 import { join, relative, sep } from 'path';
+import { bindSyncNoiseRoot, syncConnectionWarn, isConnectionClassStatus, noteSyncSuccess } from './sync-noise.js';
 
 // 与 sillyhub-daemon/src/spec-sync.ts 共用排除口径（task-07 / FR-06 / D-008@v2）：
 // .runtime（有点）/ runtime（无点）/ projects（本地环境文件）在顶层排除；
@@ -457,6 +458,41 @@ function clearSpecConflictMarker(specRoot, changeName) {
   } catch { /* 清理失败不影响同步结果 */ }
 }
 
+// follower/stale 提示的跨轮去重（坑 spec-sync-follow-banner-spam，2026-09-08 用户反馈③）：
+// 「N 个本地未改动文件自动跟随服务器」的信息只在集合**首次出现/变化**时有价值。基线快照锚定
+// local-at-last-sync（见 writeBaseSnapshot 注释），本地落后于服务器的文件每轮都重新算出同样的
+// follower 集合（computeSpecOps 生成 op → dropFollowServerUpdates 再丢掉），平台未就绪 POST
+// 失败时基线还不落盘 → 同一集合每步重刷，实证 57 文件跟随逐条命令刷屏。marker 记上次已报集合，
+// 未变则降 debugLog；集合清空时清 key（此后同集合再现算「变化」重新报）。
+const FOLLOW_REPORT_MARKER = 'spec-sync-follow-reported.json';
+
+/**
+ * 判定 follower/stale 集合相对上次已报告是否变化（变化时更新 marker）。
+ * @param {string} specRoot
+ * @param {'follow'|'stale'} key
+ * @param {string[]} list 本轮集合
+ * @returns {boolean} true=有变化应报告；false=与上次相同应静默
+ */
+export function isFollowerSetChanged(specRoot, key, list) {
+  const sorted = [...(list || [])].sort();
+  const p = join(specRoot, '.runtime', FOLLOW_REPORT_MARKER);
+  let cur = {};
+  try { cur = JSON.parse(readFileSync(p, 'utf8')) || {}; } catch { /* 无 marker = 首报 */ }
+  const prev = Array.isArray(cur[key]) ? cur[key] : [];
+  const same = prev.length === sorted.length && prev.every((v, i) => v === sorted[i]);
+  if (same) return false;
+  try {
+    if (sorted.length === 0) delete cur[key];
+    else cur[key] = sorted;
+    if (Object.keys(cur).length === 0) { try { unlinkSync(p) } catch {} }
+    else {
+      mkdirSync(join(specRoot, '.runtime'), { recursive: true });
+      writeFileSync(p, JSON.stringify(cur) + '\n', 'utf8');
+    }
+  } catch { /* marker 失败 = 退化为逐轮报告（只损失降噪） */ }
+  return sorted.length > 0;
+}
+
 /**
  * 同步本地 .sillyspec 树到平台（CLI 直跑增量同步入口）。
  *
@@ -470,6 +506,9 @@ export async function syncSpecTree(specRoot, platform, changeName, opts = {}) {
     debugLog('[spec-sync] 未连接平台（本地合法状态）；跳过 spec 树增量同步');
     return { synced: 0 };
   }
+  // 绑定连接类失败噪音闸（sync-noise.js）：本目录所有 [spec-sync]/[sync] 失败 warn 的
+  // 跨进程静默窗口 marker 落这里（与 SyncManager 构造器绑定同目录）。
+  try { bindSyncNoiseRoot(join(specRoot, '.runtime')); } catch { /* 直通降级 */ }
   // HUB-09：单请求超时与外部熔断 signal 合并——trigger* 熔断时在飞请求被真实取消
   const withSignal = (timeoutMs) => (opts.signal ? AbortSignal.any([AbortSignal.timeout(timeoutMs), opts.signal]) : AbortSignal.timeout(timeoutMs));
 
@@ -488,13 +527,18 @@ export async function syncSpecTree(specRoot, platform, changeName, opts = {}) {
       // SILLYSPEC_DEBUG_SYNC=1 才可见），文件迟到平台且无任何线索（multi-agent-platform
       // 2026-08-18-workspace-file-browser 实证：design/decisions 迟到 27 分钟、plan.md 迟到
       // 8 分钟才被后续步骤的同步补上）。失败可见、成功不打扰。
-      console.warn(`[spec-sync] 拉取清单失败 HTTP ${res.status}（文件树本次未同步，下次自动重试）: ${changeName}`);
+      // 连接类失败（404=端点未就绪 / 5xx）走噪音闸（sync-noise.js）：平台未就绪期每步
+      // 自动同步重刷同一行，淹没门禁输出；其余状态码（4xx 业务态）每轮该看见。
+      const line = `[spec-sync] 拉取清单失败 HTTP ${res.status}（文件树本次未同步，下次自动重试）: ${changeName}`;
+      if (isConnectionClassStatus(res.status)) syncConnectionWarn(line);
+      else console.warn(line);
       return { synced: 0 };
     }
     const body = await res.json().catch(() => ({}));
     serverManifest = body.files || {};
   } catch (err) {
-    console.warn(`[spec-sync] 拉取清单异常（文件树本次未同步，下次自动重试）: ${changeName}: ${describeSyncError(err)}`);
+    const line = `[spec-sync] 拉取清单异常（文件树本次未同步，下次自动重试）: ${changeName}: ${describeSyncError(err)}`;
+    syncConnectionWarn(line); // 网络/超时/熔断均连接类
     return { synced: 0 };
   }
 
@@ -513,13 +557,19 @@ export async function syncSpecTree(specRoot, platform, changeName, opts = {}) {
   if (!opts.forcePush) {
     const dropped = dropFollowServerUpdates(ops, localFiles, baseHashes);
     if (dropped.followed.length > 0) {
-      console.log(
-        `[spec-sync] ${dropped.followed.length} 个本地未改动文件自动跟随服务器（他端推进，内容未变不回推）: ${dropped.followed.slice(0, 5).join(', ')}${dropped.followed.length > 5 ? ' 等' : ''}`
-      );
+      // 集合未变不重报（坑 spec-sync-follow-banner-spam）：本地落后集合每轮都重算出，
+      // 平台未就绪期同一批文件逐条命令刷屏。集合变化（新增漂移/清空后再现）才报。
+      if (isFollowerSetChanged(specRoot, 'follow', dropped.followed)) {
+        console.log(
+          `[spec-sync] ${dropped.followed.length} 个本地未改动文件自动跟随服务器（他端推进，内容未变不回推）: ${dropped.followed.slice(0, 5).join(', ')}${dropped.followed.length > 5 ? ' 等' : ''}`
+        );
+      } else {
+        debugLog(`[spec-sync] ${dropped.followed.length} 个本地未改动文件自动跟随服务器（集合与上次相同，不重报）`);
+      }
     }
     ops = dropped.ops;
     const filtered = filterStaleUpdates(ops, localFiles, lastSyncTs);
-    if (filtered.stale.length > 0) {
+    if (filtered.stale.length > 0 && isFollowerSetChanged(specRoot, 'stale', filtered.stale)) {
       console.warn(
         `[spec-sync] 拦下 ${filtered.stale.length} 个旧副本回推（本地自上次同步未改动而服务器已前进，如确需以本地为准：重存后重推）: ${filtered.stale.slice(0, 5).join(', ')}${filtered.stale.length > 5 ? ' 等' : ''}`
       );
@@ -544,7 +594,9 @@ export async function syncSpecTree(specRoot, platform, changeName, opts = {}) {
       signal: withSignal(30000),
     });
     if (!res.ok) {
-      console.warn(`[spec-sync] 同步请求失败 HTTP ${res.status}（文件树本次未同步，下次自动重试）: ${changeName}`);
+      const line = `[spec-sync] 同步请求失败 HTTP ${res.status}（文件树本次未同步，下次自动重试）: ${changeName}`;
+      if (isConnectionClassStatus(res.status)) syncConnectionWarn(line);
+      else console.warn(line);
       return { synced: 0 };
     }
     const body = await res.json().catch(() => ({}));
@@ -586,6 +638,7 @@ export async function syncSpecTree(specRoot, platform, changeName, opts = {}) {
         writeLastSyncTs(specRoot);
         writeBaseSnapshot(specRoot, localFiles);
         clearSpecConflictMarker(specRoot, changeName);
+        noteSyncSuccess();
         console.log(`[spec-sync] 冲突已自动消解（0 个需人工裁决；本会话改动 ${ops.length - followers.length > 0 ? '已同步' : '无差异'}）: ${changeName}`);
         return { synced: Math.max(ops.length - followers.length, 0), conflict: false, autoResolved: followers.length };
       }
@@ -614,6 +667,7 @@ export async function syncSpecTree(specRoot, platform, changeName, opts = {}) {
       console.warn(`⚠️ 处置：sillyspec platform resolve ${changeName} --keep-local | --take-platform | --abort（冲突详情: ${conflictPath || '(写入失败)'}）`);
       return { synced: 0, conflict: true, serverVersions: real, autoResolved: followers.length, conflictPath };
     }
+    noteSyncSuccess();
     console.log(`[spec-sync] 已同步 ${ops.length} 个文件变更: ${changeName}`);
     // 本轮无冲突 = 此前的未决 spec 树冲突已不存在，清残留标记（否则 status 永久红标、
     // 横幅去重单行提示不消——坑 spec-sync-conflict-banner-spam）
@@ -622,7 +676,8 @@ export async function syncSpecTree(specRoot, platform, changeName, opts = {}) {
     writeBaseSnapshot(specRoot, localFiles);
     return { synced: ops.length };
   } catch (err) {
-    console.warn(`[spec-sync] 同步异常（文件树本次未同步，下次自动重试）: ${changeName}: ${describeSyncError(err)}`);
+    const line = `[spec-sync] 同步异常（文件树本次未同步，下次自动重试）: ${changeName}: ${describeSyncError(err)}`;
+    syncConnectionWarn(line); // 网络/超时/熔断均连接类
     return { synced: 0 };
   }
 }

package/src/stage-contract.js

@@ -10,6 +10,8 @@ import { join, basename } from 'path'
 import { safeGit } from './git-helper.js'
 import { nowWallClock } from './datetime.js'
 import { detectChangeRisk, checkIntegrationEvidence, VERIFICATION_NEEDS, RISK_LEVEL_CAUSES } from './change-risk-profile.js'
+import { parseEvidenceSlots } from './verify-facts-schema.js'
+import { IR_STRICT_SINCE } from './constants.js'
 import { SCAN_REQUIRED_DOCS, AUXILIARY_STAGES } from './constants.js'
 import { evaluateRules } from './stage-contract-engine.js'
 import { getRule } from './stage-contract-spec.js'
@@ -457,6 +459,10 @@ function validatePlanOutputs(cwd, changeName, context = {}) {
  * 标题放宽：含「结论/Conclusion/Result/结果」的二级标题均可（B3c），
  * PASS/FAIL 可在标题行本身（如「## 验收结论：✅ PASS」）或紧邻标题的正文里。
  * 历史教训：原正则锚定确切「## 结论」，用户写「## 验收结论：✅ PASS」不被识别。
+ * 2026-09-08 刀③起降级为 legacy 回退：首选结论枚举槽（extractVerifyConclusionSlot），
+ * 仅当文件完全没有槽行时才走本窗口扫描（存量变更兼容）；槽存在即不走本函数——
+ * 骨架占位符 `<待填：三选一>` 不含枚举词，两种解析下都 fail-closed（修掉旧占位符
+ * `<待填：PASS 或 FAIL>` 被窗口正则误读成 PASS 的自通过缺陷）。
  */
 function extractVerifyConclusion(verify) {
   // 遍历所有含关键词的二级标题，取其 400 字符窗口内含 PASS/FAIL 的那个（坑
@@ -481,6 +487,54 @@ function extractVerifyConclusion(verify) {
   return best || ''
 }
 
+/**
+ * 结论枚举槽提取（刀③，2026-09-08）：verify-probes --init 骨架生成的固定槽行
+ * `结论枚举：`<枚举值>…``——解析只认该行的枚举词，标题措辞劫持面归零。
+ * @param {string} verify - verify-result.md 全文
+ * @returns {string|null} 枚举值（PASS / PASS WITH NOTES / FAIL）；'' = 有槽未填（fail-closed）；
+ *   null = 文件无槽行（调用方走 legacy 窗口扫描）
+ */
+export function extractVerifyConclusionSlot(verify) {
+  if (!/^结论枚举：/im.test(verify)) return null
+  const m = verify.match(/^结论枚举：`?(PASS WITH NOTES|PASS|FAIL)\b/im)
+  // 交替序 PASS WITH NOTES 在前，防裸 PASS 抢先截断
+  return m ? m[1] : ''
+}
+
+/**
+ * 结论解析统一入口：槽优先，无槽走 legacy 窗口扫描并对存量格式发迁移提示。
+ * @param {string} verify - verify-result.md 全文
+ * @param {string[]} [warnings] - 传入时追加 legacy 迁移 warning
+ * @returns {string} 枚举值或 ''（未识别/未填）
+ */
+function resolveVerifyConclusion(verify, warnings) {
+  const slot = extractVerifyConclusionSlot(verify)
+  if (slot !== null) return slot
+  if (warnings) {
+    warnings.push(
+      'verify-result.md 结论未用「结论枚举：」槽行（旧自由格式，关键词窗口解析对标题措辞敏感——已有两次历史坑）。' +
+      '新变更请用 `sillyspec verify-probes --change <变更> --init` 骨架的槽格式；窗口解析仅为存量变更保留。'
+    )
+  }
+  return extractVerifyConclusion(verify)
+}
+
+/**
+ * IR 严格档判别（审核 P2-2）：design.md frontmatter created_at ≥ IR_STRICT_SINCE。
+ * 与 verify-postcheck isStrictChange 同锚（常量单源 constants.js），此处只读 design
+ * 文件（不接 DB——validator 层保持纯文件判定，db 侧判别归 isStrictChange）。
+ */
+function isIrStrictVerifyChange(changeDir) {
+  try {
+    const dp = join(changeDir, 'design.md')
+    if (!existsSync(dp)) return false
+    const fm = readFileSync(dp, 'utf8').match(/^---\r?\n([\s\S]*?)\r?\n---/)
+    const cm = fm && fm[1].match(/^created_at:\s*(\d{4}-\d{2}-\d{2})/m)
+    if (!cm) return false
+    return cm[1] >= IR_STRICT_SINCE
+  } catch { return false }
+}
+
 function validateVerifyOutputs(cwd, changeName, context = {}) {
   const { specRoot } = context
   const changeDir = resolveChangeDir(cwd, changeName, specRoot)
@@ -509,7 +563,17 @@ function validateVerifyOutputs(cwd, changeName, context = {}) {
     // ── FAIL 结论门控（适用于所有变更，不限风险等级）──
     // verify-result.md 结论为 FAIL 时，verify 阶段不能 completed。
     // 历史教训：CLI 曾不校验结论，AI 写 FAIL 后 verify 仍被标记完成并提示"验证通过可以归档"。
-    const conclusionStr = extractVerifyConclusion(verify)
+    // 刀③起结论解析槽优先（extractVerifyConclusionSlot），一处解析两处消费。
+    const conclusionStr = resolveVerifyConclusion(verify, warnings)
+    // ── 严格档结论槽必在（2026-09-09 外部审核 P2-2）：有槽 fail-closed，但整行删「结论枚举：」
+    // 曾可逃回 legacy 窗口正则蹭关键词。IR 严格档变更（design created_at ≥ IR_STRICT_SINCE）
+    // 无槽直接 ERROR——存量变更不受影响（legacy 回退保留）。──
+    if (!/^结论枚举：/im.test(verify)) {
+      const strict = isIrStrictVerifyChange(changeDir)
+      if (strict) {
+        errors.push('严格档变更（created_at ≥ ' + IR_STRICT_SINCE + '）verify-result.md 缺「结论枚举：」槽行——删槽回退关键词窗口的通道已关闭。修复：跑 `sillyspec verify-probes --change <变更名> --init` 补槽段（已有正文不覆盖），把 <待填：三选一> 替换为枚举值。')
+      }
+    }
     if (conclusionStr === 'FAIL') {
       errors.push(getRule('verify.conclusion.fail-gate').failMessage)
     } else if (!conclusionStr) {
@@ -521,7 +585,7 @@ function validateVerifyOutputs(cwd, changeName, context = {}) {
       designContent: readIfExists(join(changeDir, 'design.md')),
       planContent: readIfExists(join(changeDir, 'plan.md')),
     })
-    const conclusion = extractVerifyConclusion(verify)
+    const conclusion = conclusionStr // 槽优先解析结果复用（此前同输入重复扫两遍）
     // ── 否定抑制审计（坑 risk-negation-blindness）──
     // 关键词命中被同句否定语境抑制而不参与判级时必须透出：抑制是把双刃剑（「本次不新增
     // daemon」真豁免 vs 靠堆否定措辞静默降级逃证据门控），这里让每次抑制可见可核对；
@@ -573,7 +637,23 @@ function validateVerifyOutputs(cwd, changeName, context = {}) {
             }
           }
         } catch { /* 回执损坏按无回执处理（fail 回原字面匹配） */ }
-        const evidenceCheck = checkIntegrationEvidence(verify, changeRiskProfile.requiredVerification, { extraEvidenceText: receiptText })
+        // v2（2026-09-08-ir-verify-facts FR-04）：回执槽优先——verify-result.md「## 集成验证回执」
+        // 槽在场时传结构化 runtimeEvidence 走一致性校验（绿判据），无槽降 legacy literals。
+        // verifyStartAt 由调用方经 context 传入（gates 接线侧 ProgressManager.getStageCompletedAt
+        // 同步算好——runValidators 引擎是同步的，此处不做 DB IO；缺省 → auditRuntimeReceipt
+        // fail-soft 跳过 mtime 核验）。
+        let runtimeEvidence = null
+        try {
+          const slotsEv = parseEvidenceSlots(verify)
+          if (slotsEv.hasReceiptSlot) runtimeEvidence = slotsEv.runtimeEvidence
+        } catch { /* 解析失败按无槽 legacy */ }
+        const evidenceCheck = checkIntegrationEvidence(verify, changeRiskProfile.requiredVerification, {
+          extraEvidenceText: receiptText,
+          ...(runtimeEvidence ? { runtimeEvidence } : {}),
+          ...(context.verifyStartAt ? { verifyStartAt: context.verifyStartAt } : {}),
+          cwd,
+          specBase: context.specRoot || join(cwd, '.sillyspec'),
+        })
         if (!evidenceCheck.ok) {
           // A: 报错说人话 —— 把「缺哪一项、要写/做什么、判级原因」逐条列出，
           // 让 agent 不必靠改结论文案撞墙。detail 指明真实启动须是本变更实际改动的

package/src/stage-review.js

@@ -633,6 +633,9 @@ export function registerStageReview({ changeName, stage, fromFile, cwd, platform
   const reviewPath = join(reviewDir, 'review.json')
   mkdirSync(reviewDir, { recursive: true })
   writeFileSync(reviewPath, JSON.stringify(review, null, 2) + '\n')
+  // stage-reviews 回收不在此处（ql-20260908-005 已定分野）：变更归属类证据走归档时精确
+  // 回收（pruneArchivedChangeRuntime 按 reviewedFiles 归属）；写入侧滚动是启发式，
+  // 活跃变更的 review 可能因他端高频写而跌出 keep 窗，不进证据类目录。
 
   const markerPath = stageReviewMarkerPath(runtimeRoot, stage, changeName)
   if (existsSync(markerPath)) {

package/src/stages/archive.js

@@ -30,10 +30,10 @@ export const definition = {
 
 ### 操作
 1. 读取 changes/<change>/module-impact.md（应已存在；large 变更 plan 阶段产出首版）
-2. 运行 git diff --name-only HEAD~1（或 git diff --name-only --cached）获取真实修改文件列表
-3. 三重核对：module-impact.md 记录的受影响模块/文件 vs 真实 git diff 文件列表 vs .sillyspec/docs/<project>/modules/_module-map.yaml 模块映射（不存在则仅核 unmapped 部分）。以 git diff 为准（真实 > 记录）
-4. 发现不一致（漏标受影响模块 / 影响类型错误 / 实际未触碰的模块被误标）→ 直接修正 module-impact.md，使其与实际变更一致
-5. module-impact.md 第一行标题必须用中文：# 模块影响分析（Module Impact）— <变更简述>
+2. **机械核对已由 CLI 代算（2026-09-09 起）**：下方「三重核对报告」区块由 CLI 注入（module-impact 矩阵文件 × 真实 diff 三源文件 × module-map 归属的机器比对结果）——不要重跑 git diff 手工比对，直接消费报告：
+{ARCHIVE_IMPACT_AUDIT}
+3. 报告标「不一致」的项才需要你裁决：漏标受影响模块 / 影响类型错误 / 实际未触碰的模块被误标 → 直接修正 module-impact.md，使其与实际变更一致（以 git diff 为准——真实 > 记录）；报告「一致 ✓」则跳过修正
+4. module-impact.md 第一行标题必须用中文：# 模块影响分析（Module Impact）— <变更简述>
 
 ### 降级（module-impact.md 不存在）
 若缺失（如旧变更未经新 plan 流程，或 small 变更从未生成）：先跑 \`sillyspec module-impact --change <change-name>\`——CLI 按 _module-map.yaml paths 前缀匹配预填「模块影响矩阵」骨架（文件×模块归属 + 未匹配文件清单，机械部分全代算），你只需逐行填「影响类型」（逻辑变更/数据结构变更/接口变更/调用关系变更/配置变更/新增）与 needs_review 标记，补首行中文标题 \`# 模块影响分析（Module Impact）— <变更简述>\`。骨架无从生成（无 module-map / 无 diff）时才按 archive-impact.yaml 的 impact-analyzer 角色规则全手写。

package/src/stages/brainstorm-auto.js

@@ -28,7 +28,8 @@ export const definition = {
 ### 加载上下文
 4. 读取项目总览 \`.sillyspec/docs/<project>/scan/PROJECT.md\`（如存在）+ 共享规范 + 子项目上下文
 5. 加载项目信息：\`cat .sillyspec/projects/*.yaml 2>/dev/null\`
-6. 加载本地配置：\`cat .sillyspec/local.yaml 2>/dev/null\`
+6. 构建命令（CLI 自 local.yaml 注入，勿再读文件）：
+{LOCAL_COMMANDS}
 7. 棕地项目：读取 scan 下的 STRUCTURE.md、CONVENTIONS.md、ARCHITECTURE.md
 8. 加载模块索引：读取 \`.sillyspec/docs/<project>/modules/_module-map.yaml\`（如存在）
 9. 查看进行中的变更：\`ls .sillyspec/changes/ | grep -v archive\`

package/src/stages/brainstorm.js

@@ -7,22 +7,13 @@ export const definition = {
       name: '进度确认',
       // 重命名自「状态检查」（③ status 消歧）：老进度里的「状态检查」completed 由迁移逻辑承接，防 currentIdx 回跳
       migratedFrom: ['状态检查'],
-      prompt: `检查当前变更的进度状态（快照已由 CLI 注入，勿再跑 progress show——那是全量输出，浪费上下文；\`sillyspec status\` 是项目级快照，也不推进流程）。
-
-### 进度快照（CLI 注入）
-{PROGRESS_SNAPSHOT}
-
-### 操作
-1. **检查变更名称是否有意义**：如果当前变更名是自动生成的（如 \`2026-06-02-new-change-a3f2b7c1\`），询问用户确认实际变更名，然后运行 \`sillyspec change-rename <旧名> <新名>\` 重命名
-2. 如果快照显示阶段不符或未初始化，输出正确提示并停止
-
-### 输出
-当前状态摘要（1-2 句话）
-
-### 注意
-- 以 CLI 注入快照为准，不要自行推断阶段
-- **不要用 mv 命令重命名变更目录**，必须使用 \`sillyspec change-rename\`，否则 DB 和目录会脱节`,
-      outputHint: '状态摘要',
+      // noAI 化（2026-09-07）：快照本就 CLI 注入、阶段路由由 run 落定、变更名自动生成检测为机械
+      // 正则（命中只打印 rename 建议，agent 在工具结果可见、可在后续步骤交互改名）——省一轮
+      // 复述往返。步骤名保持不变（存量进度库按名匹配迁移）。
+      noAI: true,
+      _cliAction: 'progressConfirm',
+      prompt: '',
+      outputHint: '状态摘要（CLI 快照输出）',
       optional: false
     },
     {
@@ -34,7 +25,8 @@ export const definition = {
    - 漂移事实（CLI 算）：{SCAN_STALENESS}
    - 机械事实底稿（CLI 注入，无 scan 底稿则为空）：{SCAN_FACTS}
 2. 加载项目信息：\`cat {SPEC_ROOT}/projects/*.yaml 2>/dev/null\`
-3. 加载本地配置：\`cat {SPEC_ROOT}/local.yaml 2>/dev/null\`
+3. 构建命令（CLI 自 local.yaml 注入，勿再读文件）：
+{LOCAL_COMMANDS}
 4. 棕地项目：读取 {SPEC_ROOT}/docs/<project>/scan/ 下的 STRUCTURE.md、CONVENTIONS.md、ARCHITECTURE.md
 5. **加载模块索引**：读取 \`{SPEC_ROOT}/docs/<project>/modules/_module-map.yaml\`（如存在）
    - 这一步是高频操作，_module-map.yaml 回答"哪个文件属于哪个模块、模块之间怎么依赖"
@@ -164,6 +156,7 @@ export const definition = {
 
 **决策记录（增量落盘，防会话中断丢失）**：每解决一个有实现影响的问题（不要把闲聊都记录进去），**当场追加**写入 \`{SPEC_ROOT}/changes/<change-name>/decisions.md\`——不要只在对话里留草稿等「写设计文档」步统一落盘：会话随时可能中断，未落盘的决策无法跨会话恢复。落盘规则：
 
+- **优先跑 \`sillyspec fourpiece-init --change <change-name>\` 生成骨架再填语义**（2026-09-09 起：proposal/requirements/decisions 的 frontmatter/章节标题由 CLI 预生成，已存在不覆盖——手写 frontmatter/章节漏项是格式返工根源）；design.md 骨架归 \`sillyspec design-init\`
 - 文件不存在则先创建：变更目录缺失先 \`mkdir -p {SPEC_ROOT}/changes/<change-name>\`；文件头部写 YAML frontmatter（\`author: <git-user>\` / \`created_at: <now-datetime>\`）+ 标题 \`# 决策记录（Decisions）\`
 - 每条记录追加到文件末尾，格式如下：
 
@@ -362,14 +355,7 @@ design.md 第一行标题必须用中文：# 设计文档（Design）— <变更
      - 否决理由：一句话说明为何否决（status=rejected 时必填）
      - 复潮条件：什么前提下可重新考虑该决策（status=rejected 时必填）
    - 长期术语只在 archive/scan 时再提升到 \`{SPEC_ROOT}/docs/<project>/glossary.md\`
-4. 格式自检（只查章节齐全；语义一致性/可行性/YAGNI 不在本步查，交给下一步 Design Grill 独立审查）：
-   - design.md 含全部必填章节（背景/设计目标/非目标/总体方案/文件变更清单/接口定义/风险登记）
-   - design.md 头部 YAML frontmatter 字段齐全（author/created_at/scale 等）——「生成规范文件」步完成契约硬要求，审查前就补齐避免后续 docHash 漂移
-   - design.md 含「自审」字面命中章节（自审 / Self-Review / Self-review）——「生成规范文件」步完成契约 brainstorm.design.self-review 硬要求，写在本步自审段即可
-   - 如存在 decisions.md，design.md 是否引用所有当前版本 D-xxx@vN
-   - 涉及 session/lease/agent_run/daemon/lifecycle 等关键词时，是否含「生命周期契约表」
-   - UI 原型核对：文件清单含前端文件（.vue/.tsx/.jsx/.svelte/.html/.css 等）且改动达到「必须生成/建议生成」原型级别（分级见「分段展示设计」步）时，变更目录应已有 \`prototype-*.html\`——没有则本步补生成；确不生成时把跳过原因记入 design.md 风险登记，不得静默缺位
-5. 缺章节 → 补齐后重检；章节齐全 → 进入下一步（Design Grill 做语义层交叉审查）
+4. **格式自检不做 agent 侧复刻**（2026-09-09 刀批：章节齐全/frontmatter/自审章节/D-xxx@vN 引用/生命周期豁免/UI 原型六项全部由 CLI 硬校验承担——「生成规范文件」步 --done 的 brainstorm.design.* 规则 + plan 阶段 validateDesignForPlan 同款字面检查，漏项门禁会逐条点名，复检是浪费轮）。design.md 骨架用 \`sillyspec design-init\` 生成（章节/frontmatter 已就位）即天然合规
 
 ### 输出
 design.md 文件路径 + 自审结果