sillyspec 3.28.3 → 3.28.4

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
@@ -472,6 +477,16 @@ export function writePlatformPointer(cwd, platformOpts, extra = {}) {
     console.warn(`⚠️ 检测到自指平台指针（repo-native junction 回环，specRoot 指回本地 .sillyspec），已跳过指针写入并按本地模式运行: ${platformOpts.specRoot}`)
     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
   //（complete-handlers），但下一次任何平台模式 run（含只读 --status）都会重写指针——
   // 恢复链只回填 specRoot 等四字段，不保留 status → 指针永远回 active、isPointerStale
@@ -569,6 +584,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）。
  *
@@ -774,7 +821,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 +861,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 +933,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 +944,7 @@ export function parsePorcelainPath(line) {
  *
  * 「并发工作 vs 偷建变更」的意图软判定留给 sillyhub，确定性校验只做路径归类。
  *
- * @param {string} p 文件路径（容错 \\ / 混用）
+ * @param {string} p 文件路径（容错 \ / 混用）
  * @param {string[]} [linkedChanges] 关联变更名列表（影响 changes/ 归类）
  * @returns {boolean} true=quick 元数据，应从业务文件列表过滤掉
  */
@@ -915,6 +965,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/ 子目录——旧的精确文件名匹配

package/src/run/stage.js

@@ -151,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，不进证据类目录。
     }
   }
 
@@ -400,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 提取语义标题，
@@ -434,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 读取
@@ -538,6 +566,13 @@ 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」往返

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/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.js

@@ -156,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）\`
 - 每条记录追加到文件末尾，格式如下：
 
@@ -354,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 文件路径 + 自审结果