sillyspec 3.29.4 → 3.30.0

package/src/run/quick-audit.js

@@ -11,7 +11,8 @@
  *     本模块被 command.js 静态 import，顶部静态拉 @inquirer/prompts 会进**每条** run 命令
  *     启动路径（实测冷加载 100-150ms），而 checkbox 仅"≥2 活跃变更 + TTY"分支用到
  */
-import { join } from 'node:path'
+import { join, dirname } from 'node:path'
+import { existsSync, readFileSync } from 'node:fs'
 import { parsePorcelainPath, safeGit } from './shared.js'
 import { collectRecentForeignDelivery, detectAssertionRewrites, readSemanticGuardEnabled } from '../semantic-guard.js'
 
@@ -352,6 +353,55 @@ export async function resolveQuickLinkedChanges({ pm, cwd, specDir, quickFiles,
 
 // ============ quick --done test+lint 硬门禁（2026-09-02 跨 agent 工单 P0-2）============
 
+// ── 测试最低面 advisory（资产三小件②，2026-09-23）口径常量 ──
+// 代码文件判定双通道（原为 runQuickTestLintGate 函数内常量，advisory 复用同口径提为模块级；
+// 无 /g 标志无状态，提级零行为差）：
+//   ① 路径段匹配：任意层出现 src / test / tests / __tests__ 段（src-guide 等长名不误蹭——按段全等）
+//   ② 代码扩展名兜底：src/test 目录约定外的代码（backend/app/**.py、scripts/*.go 等）
+const CODE_PATH_SEGMENT_RE = /(^|\/)(src|tests?|__tests__)(\/|$)/
+const CODE_EXTENSION_RE = /\.(?:js|mjs|cjs|ts|tsx|jsx|py|pyw|go|rs|java|kt|kts|rb|php|cs|c|h|cpp|cc|hpp|swift|scala|groovy|vue|svelte)$/
+
+// 测试文件判定：目录段（test/tests/__tests__——比 quick-gate-profile 的 TEST_DIR_RE 多认裸
+// test/ 段，本仓 test/ 下即有无 .test. 后缀的 .mjs）+ basename test_ 前缀 + .test./_test./.spec.
+// 命名三信号任一命中（与 quick-gate-profile isTestPath 同判法补 test 段）。
+const ADVISORY_TEST_DIR_RE = /(^|\/)(test|tests|__tests__)(\/|$)/i
+
+function isAdvisoryTestPath(p) {
+  if (ADVISORY_TEST_DIR_RE.test(p)) return true
+  const base = p.slice(p.lastIndexOf('/') + 1)
+  if (/^test_/i.test(base)) return true
+  return /[._](test|spec)\.[^.]+$/i.test(base)
+}
+
+/** 最低测试面 advisory 阈值：src 类交付文件 ≥3 且测试改动 0 才出警示（R7-L 重放校准） */
+const MIN_SRC_FILES_FOR_TEST_ADVISORY = 3
+
+/**
+ * 测试最低面 advisory（资产三小件②，advisory 不阻断——测试门 fail-closed 语义零改动）。
+ *
+ * 背景：R7-L 重放实测测试量仅为旧流程 40%（1162 vs 2909 行）——轻量变更/burst 收口走
+ * runQuickTestLintGate，无 quick 出口 L1 门禁的 testDelta 检查，测试厚度零约束。
+ * 判定：变更交付文件（非 .sillyspec）中 src 类文件（代码双通道判定 × 非测试文件）
+ * ≥3 个而测试文件 0 个改动（P2 账本测试面亦无增量可对账——账本测试面=test/ 目录
+ * 内容摘要，测试零改动=两信号同态）→ 返回一行警告文案；负例（有测试改动/纯 doc/
+ * 少文件）返回 null。
+ * @param {string[]} files 变更文件清单（changedFiles 审计口径或 declaredFiles 兜底口径）
+ * @returns {string|null}
+ */
+export function buildTestSurfaceAdvisory(files) {
+  const list = (Array.isArray(files) ? files : [])
+    .map((f) => String(f).replace(/\\/g, '/'))
+    .filter((f) => f && !f.startsWith('.sillyspec/'))
+  let srcCount = 0
+  let testCount = 0
+  for (const f of list) {
+    if (isAdvisoryTestPath(f)) { testCount++; continue }
+    if (CODE_PATH_SEGMENT_RE.test(f) || CODE_EXTENSION_RE.test(f)) srcCount++
+  }
+  if (srcCount < MIN_SRC_FILES_FOR_TEST_ADVISORY || testCount > 0) return null
+  return `⚠️ 测试面厚度 advisory：交付面 ${srcCount} 个 src 类文件但测试面为空（0 个测试文件改动，P2 账本测试面无增量可对账），确认无需测试增量？（advisory 不阻断——轻量变更/burst 实证测试量仅为旧流程 40%）`
+}
+
 /**
  * 语义护栏命中组装（change: 2026-09-11-cross-change-decision-guard，task-06，FR-04，
  * D-001@v1）：断言重写检测 ∩ 近因他者交付归因 → hits 清单，gate 内一行调用拼进返回对象。
@@ -407,22 +457,42 @@ export function buildSemanticGuardHits({ cwd, specBase, files, changeName } = {}
  *   semanticGuard 仅检测跑过（三条早退 skip 路径不跑检测、无字段）时挂载；WARNING 级
  *   非阻断——action/failed 判定不受它影响（调用方 complete-handlers.js 只读 action/failed，零改动）。
  */
-export async function runQuickTestLintGate({ cwd, specBase, changedFiles = [], declaredFiles = [], changeName = null }) {
+/**
+ * 门禁文件集合并（ql-018）：审计口径 ∪ 声明边界，去重保序（审计在前）。声明文件即使被
+ * 审计判为「前序 baseline 未计入本轮」也随会话进快照——声明即边界（治 declared∩前序脏
+ * 被二选一丢弃→快照 HEAD 旧版→门禁恒假红，2026-09-23 ql-017 三轮实证）。纯函数。
+ */
+export function mergeGateFiles(audited, declared) {
+  const out = []
+  const seen = new Set()
+  for (const f of [...(Array.isArray(audited) ? audited : []), ...(Array.isArray(declared) ? declared : [])]) {
+    if (typeof f !== 'string' || !f || seen.has(f)) continue
+    seen.add(f)
+    out.push(f)
+  }
+  return out
+}
+
+export async function runQuickTestLintGate({ cwd, specBase, changedFiles = [], declaredFiles = [], changeName = null, skipSentinel = false }) {
   if (process.env.SILLYSPEC_QUICK_TEST_GATE === 'skip') {
     return { action: 'skip', failed: [], reason: 'SILLYSPEC_QUICK_TEST_GATE=skip 显式跳过（审计留痕）', test: null, lint: null }
   }
   const audited = Array.isArray(changedFiles) ? changedFiles : []
-  // 倒推 B 模式兜底：审计口径为空时回退声明边界（文件早于会话启动被基线吸收的场景）
-  const files = audited.length > 0 ? audited : (Array.isArray(declaredFiles) ? declaredFiles : [])
-  const fileSource = audited.length > 0 ? '审计' : (files.length > 0 ? '声明边界兜底（倒推 B：文件早于会话启动被基线吸收）' : '无')
+  // 门禁文件集 = 审计 ∪ 声明边界（并集，2026-09-23 ql-018 修复）：旧口径二选一（审计非空时
+  // 丢弃 declaredFiles）致「declared ∩ 会话启动前已脏」的文件不进快照 overlay——快照装 HEAD
+  // 旧版，本会话新增导出缺失，快照内测试 import 即炸且重跑恒红（快照分叉家族第三 sibling
+  // 的根治件：声明过的文件无论审计口径是否计入，一律随会话进快照——声明即边界）。倒推 B
+  // 兜底语义保留（审计为空时 declaredFiles 独撑，与旧版一致）；并集对快照零成本（overlay 与
+  // HEAD 同内容的文件不产生差异）。
+  const files = mergeGateFiles(audited, Array.isArray(declaredFiles) ? declaredFiles : [])
+  const fileSource = audited.length > 0
+    ? (files.length > audited.length ? `审计∪声明（审计 ${audited.length} + 声明补入 ${files.length - audited.length}）` : '审计')
+    : (files.length > 0 ? '声明边界兜底（倒推 B：文件早于会话启动被基线吸收）' : '无')
   // 代码文件判定（2026-09-19 monorepo 子包实证修复：multi-agent-platform 回带收口 6 个
   // sillyhub-daemon/src/**、frontend/src/** 文件被「纯 doc/配置」误判跳过实测）：旧口径只认
   // 仓根 src/、test/ 前缀——monorepo 子包（<pkg>/src/**、backend/app/**.py）全漏。
-  // 新口径双通道，方向取「宁可多跑不可漏跑」（门禁漏跑=静默放行，多跑只是费一次实测）：
-  //   ① 路径段匹配：任意层出现 src / test / tests / __tests__ 段（src-guide 等长名不误蹭——按段全等）
-  //   ② 代码扩展名兜底：src/test 目录约定外的代码（backend/app/**.py、scripts/*.go 等）
-  const CODE_PATH_SEGMENT_RE = /(^|\/)(src|tests?|__tests__)(\/|$)/
-  const CODE_EXTENSION_RE = /\.(?:js|mjs|cjs|ts|tsx|jsx|py|pyw|go|rs|java|kt|kts|rb|php|cs|c|h|cpp|cc|hpp|swift|scala|groovy|vue|svelte)$/
+  // 新口径双通道，方向取「宁可多跑不可漏跑」（门禁漏跑=静默放行，多跑只是费一次实测），
+  // 常量已提为模块级 CODE_PATH_SEGMENT_RE / CODE_EXTENSION_RE（advisory 同口径复用）。
   const codeFiles = files.filter(
     (f) => typeof f === 'string' && (CODE_PATH_SEGMENT_RE.test(f) || CODE_EXTENSION_RE.test(f)),
   )
@@ -433,6 +503,11 @@ export async function runQuickTestLintGate({ cwd, specBase, changedFiles = [], d
     return { action: 'skip', failed: [], reason: `纯 doc/配置改动（${files.length} 个文件均未触及 src/test，规则 8 语义跳过 test+lint）`, test: null, lint: null }
   }
 
+  // ── 测试最低面 advisory（资产三小件②）：放在两条早退之后——纯 doc/env skip/空清单
+  //    天然零输出（负例语义）；此处测试门确定要跑，厚度提示与实测结论同场可见。──
+  const surfaceAdvisory = buildTestSurfaceAdvisory(files)
+  if (surfaceAdvisory) console.warn(`\n${surfaceAdvisory}`)
+
   // ── 语义护栏检测（task-06，FR-04 断言重写 WARNING，D-001@v1 非阻断）──
   // 三条早退（env skip / 无文件 / 纯 doc）已在上文 return，检测不跑——语义一致。
   // 检测对主仓 cwd 执行而非 gateCwd 隔离快照（下方才建快照）：检测对象是本会话工作树
@@ -451,18 +526,83 @@ export async function runQuickTestLintGate({ cwd, specBase, changedFiles = [], d
   let gateSpecBase = specBase
   let snapshot = null
   if (files.length > 0 && !process.env.SILLYSPEC_QUICK_GATE_SNAPSHOT_OFF) {
+    // worktree 会话跳快照（2026-09-23 R9/R10 根治，与 verify-quality-scan 同款）：worktree
+    // 已是会话独占隔离，快照只剩 junction 冻结/慢 I/O 纯成本——直接 worktree 实测。
+    let skipForWorktree = false
+    try {
+      const { shouldSkipGateSnapshotForWorktree } = await import('./gate-snapshot.js')
+      skipForWorktree = shouldSkipGateSnapshotForWorktree(cwd)
+    } catch { /* 判定异常按不跳走原路 */ }
+    if (skipForWorktree) {
+      console.log('🔀 cwd 是会话专属 worktree——隔离快照冗余（并行会话不在场），直接在 worktree 实测')
+    } else {
     try {
       const { createGateSnapshot } = await import('./gate-snapshot.js')
-      snapshot = createGateSnapshot({ cwd, files })
+      // 账本 runtimeRoot（2026-09-24-gate-snapshot-lifecycle task-03）：同本文件 P2 三键
+      // 账本咨询口径（下方 ~570 行 resolveRuntimeRoot(null, specBase)）单源；解析失败传 null
+      // （账本链路 no-op，禁从 cwd 猜）
+      let runtimeRoot = null
+      try {
+        const { resolveRuntimeRoot } = await import('./shared.js')
+        runtimeRoot = resolveRuntimeRoot(null, specBase)
+      } catch { runtimeRoot = null }
+      snapshot = createGateSnapshot({ cwd, files, runtimeRoot })
       if (snapshot) {
         gateCwd = snapshot.snapshotRoot
         gateSpecBase = join(snapshot.snapshotRoot, '.sillyspec')
         console.log(`🧪 门禁隔离快照（根：${snapshot.snapshotRoot}）：HEAD + 本会话 ${snapshot.overlaid} 个文件（并行会话脏文件不参与判定）`)
       }
     } catch { /* 快照链路异常 → 主仓现行为 */ }
+    }
   }
   try {
-    const test = runVerifyTestCheck({ cwd: gateCwd, specBase: gateSpecBase, changeName })
+    // ── P2 三键账本（D-001@v1，batch3 task-01）：同码同环境免重跑（fail-closed——无记录/
+    //    键不等/分量不可得=真跑，行为不变）。quick 会话名 per-change 天然隔离账本文件。──
+    let testLedgerReuse = null
+    if (changeName) {
+      try {
+        const { consultTestLedger } = await import('./test-ledger.js')
+        const { resolveRuntimeRoot } = await import('./shared.js')
+        const consult = consultTestLedger({
+          runtimeRoot: resolveRuntimeRoot(null, specBase), changeName,
+          projectRoot: gateCwd, testRoot: join(gateCwd, 'test'), specBase: gateSpecBase, cwd: gateCwd,
+        })
+        if (consult.reuse) testLedgerReuse = consult
+      } catch { /* 咨询异常 → 真跑 */ }
+    }
+    if (!testLedgerReuse) {
+      // 沙箱实测预告（坑 quick-done-长静默与快照行尾假阳性 坑1，2026-09-21 实证）：快照内
+      // test+lint 实测大仓可达 841-1054s 且期间零输出——外层 exec 按「疑似挂死」杀进程每轮
+      // 重建沙箱耗时成倍。预告时长预期与勿杀指引（心跳输出需异步改造留专项，预告先消除
+      // 「零信息误判」主因）。
+      console.log(`⏳ 开始 test+lint 实测${snapshot ? '（隔离快照内）' : ''}——大仓全量可达 15-20 分钟，期间无输出属正常；后台跑 + 长容忍（≥20 分钟），勿按超时杀进程（杀掉不丢进度，但每轮重建沙箱重跑实测耗时成倍）。`)
+    }
+    let test = testLedgerReuse
+      ? { status: 'passed', reason: `♻️ P2 三键账本复用（代码×测试面×环境全等；实测于 ${testLedgerReuse.result.ranAt}）`, command: `${testLedgerReuse.runPlan?.[0]?.runner || 'npm test'} (ledger-reuse)`, exitCode: 0, durationMs: 0, outputTail: null }
+      // restrictFiles = 本会话声明文件（坑 quick-gate-并行全流程变更脏文件误伤）：模块选择
+      // 与 deps(auto) 只取「实际变更 ∩ 本会话声明」，并行全流程变更 WIP 不再挡死本会话
+      // faceOverride = 同一清单作权威文件面（R23-thin 实证盲区修复：快照锚 HEAD 看不见
+      // 「先提交再收口」的已提交交付——files 源自 flow done 主仓侧 baseline..HEAD+status
+      // 归因，含已提交交付；快照只隔离执行不重推文件面）
+      : runVerifyTestCheck({ cwd: gateCwd, specBase: gateSpecBase, changeName, restrictFiles: files, faceOverride: files })
+    // 快照 test 超时/零输出冻结 → 主仓复跑（R9 实证 2026-09-23；对齐 2026-09-12 lint 同款
+    // 回退先例——快照内 junction I/O 病态慢/venv 冻结无解，主仓口径保硬门；并行噪声混入时
+    // 失败输出带归属鉴定提示兜底）。冻结特征=超时且 outputTail 空（真慢套件有持续输出）。
+    if (snapshot && test.status === 'failed' && /超时/.test(String(test.reason || ''))) {
+      console.warn(`⚠️ 快照 test ${test.outputTail ? '超时' : '超时且零输出（疑似冻结）'}（junction I/O 病态慢/冻结）→ 主仓复跑 test（并行噪声可能混入——失败先做归属鉴定）`)
+      test = runVerifyTestCheck({ cwd, specBase, changeName, restrictFiles: files, faceOverride: files })
+    }
+    if (!testLedgerReuse && changeName && test.status === 'passed') {
+      try {
+        const { recordTestLedger } = await import('./test-ledger.js')
+        const { resolveRuntimeRoot } = await import('./shared.js')
+        recordTestLedger({
+          runtimeRoot: resolveRuntimeRoot(null, specBase), changeName,
+          projectRoot: gateCwd, testRoot: join(gateCwd, 'test'), specBase: gateSpecBase, cwd: gateCwd,
+          result: { pass: true, durationMs: test.durationMs ?? null, strategy: test.strategy ?? null },
+        })
+      } catch { /* 记账异常不影响门禁（下次仍真跑） */ }
+    }
     let lint = runVerifyLintCheck({ cwd: gateCwd, specBase: gateSpecBase, timeoutMs: snapshot ? 5 * 60 * 1000 : undefined })
     // 快照 lint 超时回退主仓（2026-09-12 dogfood 两连实证：junction I/O 病态慢，3min/5min 均被
     // 超时杀——主仓 60~110s 正常。按用户建议「自动回退」而非假败/advisory：主仓复跑保硬门，
@@ -472,8 +612,67 @@ export async function runQuickTestLintGate({ cwd, specBase, changedFiles = [], d
       lint = runVerifyLintCheck({ cwd, specBase })
     }
     const failed = []
-    if (test.status === 'failed') failed.push('test')
-    if (lint.status === 'failed') failed.push('lint')
+    // 哨兵断言（2026-09-25-sentinel-wiring，与 flow done 同判）：tasks.md 全勾但零完成
+    // 证据（区间提交消息标题与正文均无 task-NN token 且无对应 review.json）→ 计入 failed 拒收。
+    // 证据面=整条提交消息（2026-09-25-thin-done-gate-calibration 坑2，同 flow 侧 %B%x1e 口径）。
+    // skipSentinel：flow done 调用方自带 baseline 哨兵（更可靠区间），传 true 跳过免双判。
+    if (!skipSentinel) try {
+      const { detectFakeCheckCompletion } = await import('../sentinel-assertions.js')
+      const tasksDir = changeName ? join(specBase, 'changes', changeName, 'tasks.md') : null
+      if (tasksDir && existsSync(tasksDir)) {
+        const _log = safeGit ? safeGit(cwd, ['log', '--format=%B%x1e', 'HEAD~10..HEAD']) : null
+        const commitMsgs = String((_log && !_log.error) ? _log.value : '') || ''
+        if (commitMsgs) {
+          const sent = detectFakeCheckCompletion({ changeDir: dirname(tasksDir), tasksMd: readFileSync(tasksDir, 'utf8'), commits: commitMsgs.split('\x1e').map((x) => x.trim()).filter(Boolean) })
+          if (sent.status === 'fake') {
+            console.error(`\n🚫 哨兵断言拒收：tasks.md 全勾（${sent.checked}/${sent.claimTotal}）但 ${sent.missing.length} 个任务零完成证据（区间提交标题与正文均无 token）：${sent.missing.join('、')}`)
+            console.error('   补证据（提交标题或正文带 task-NN，或产 review.json）或取消勾选后重跑——假完成主张不许过门')
+            failed.push('sentinel')
+          }
+        }
+      }
+    } catch (e) { console.warn(`⚠️ 哨兵断言失败（fail-open 放行）: ${(e && e.message) || e}`) }
+    // 纯超时降档（R4 门禁价值考古：36/106 失败是 600s 帽杀纯超时假拦——超时=未完成非测试挂）。
+    // 所有失败单元 reason 均含超时 → advisory 不计入 failed；任一单元真实挂测 → 维持硬拦。
+    if (test.status === 'failed') {
+      const { isTimeoutOnlyTestFailure } = await import('../verify-postcheck.js')
+      if (isTimeoutOnlyTestFailure(test)) {
+        console.warn(`\n⚠️ quick test 实测纯超时（无任何挂掉的测试）——不拦完成：${test.reason || ''}`)
+        console.warn('   处置：定向复跑触碰模块自证；常发超时建议 local.yaml 配 modules: 块启用模块子集实测。')
+      } else {
+        failed.push('test')
+      }
+    }
+    // ── lint 归属鉴定降档（R4-S-F/R4-S-Q 同根因：隔离快照含 HEAD 存量债文件时 lint 恒败，
+    //    agent 被逼范围外清偿才过门）。失败输出提及文件 × 本会话文件集零交集 → 存量债
+    //    advisory 放行不拦完成；有交集 / 输出无可识别路径（unattributable）→ 维持硬拦。──
+    if (lint.status === 'failed') {
+      const { triageLintOwnership } = await import('../verify-postcheck.js')
+      const own = triageLintOwnership({
+        failureFiles: lint.failureFiles || [],
+        changeFiles: files.map(f => String(f).replace(/\\/g, '/')),
+      })
+      if (own.verdict === 'pre-existing') {
+        console.warn(`\n⚠️ quick lint 实测失败，但归属鉴定为 HEAD 存量债（失败提及文件与本会话文件集零交集）——不拦完成`)
+        console.warn(`   存量债文件：${(lint.failureFiles || []).join('、') || '（见上方输出）'}`)
+        console.warn('   处置建议：单独 quick 机械清偿解锁全仓 lint 门（顺手清债）；确与本会话无关可忽略本行。')
+      } else if (snapshot) {
+        // 主仓对照复核（坑 quick-done-长静默与快照行尾假阳性 坑2，2026-09-21 实证：快照
+        // Would reformat 本会话文件、主仓同命令 1294 文件全绿——快照 checkout 行尾转换
+        // 与 ruff 字节级比对不一致的环境假阳性）。失败文件与本会话有交集时主仓复跑同命令：
+        // 主仓绿 = 环境假阳性 advisory 放行（本会话文件在真实工作区是格式合规的）；主仓
+        // 也红 = 真实格式债维持硬拦（主仓可能有并行噪声，失败输出带归属鉴定提示）。
+        const mainLint = runVerifyLintCheck({ cwd, specBase })
+        if (mainLint.status === 'passed') {
+          console.warn(`\n⚠️ 快照 lint 失败但主仓同命令全绿——判定为快照环境假阳性（行尾转换类），不拦完成`)
+          console.warn(`   快照失败面：${(lint.failureFiles || []).join('、') || '（见上方输出）'}；主仓口径已实证格式合规。`)
+        } else {
+          failed.push('lint')
+        }
+      } else {
+        failed.push('lint')
+      }
+    }
     if (failed.length > 0 && snapshot) {
       try { const { printSnapshotFailureHint } = await import('./gate-snapshot.js')
         printSnapshotFailureHint({ snapshotRoot: snapshot.snapshotRoot, changeFileCount: snapshot.overlaid, sourceRoot: snapshot.sourceRoot || null }, { offEnv: 'SILLYSPEC_QUICK_GATE_SNAPSHOT_OFF' })

package/src/run/shared.js

@@ -152,8 +152,14 @@ export function resolveSpecDir(cwd, opts = {}) {
     // 防止 home 子目录遍历经过 home 误命中 ~/.sillyspec；
     // passedHome：经过 home 后不再检查（覆盖遍历到真实 home 的场景）。
     if (!(passedHome || (dir === home && originBelowHome))) {
-      const candidate = join(dir, '.sillyspec')
-      if (existsSync(candidate)) return candidate
+      // 嵌套回环防护（坑 2026-09-27-spec-sync-413 根因2，2026-08-15 遗留实证）：
+      // .sillyspec 的合法布局恒为 <root>/.sillyspec（.runtime 在其内层），<…>/.runtime/
+      // .sillyspec 是历史残骸形态（内部常再递归 .runtime/，目录遍历/状态采集进圈即卡死
+      // 30s 超时）——该层候选不判命中，继续上溯真根。
+      if (basename(dir) !== '.runtime') {
+        const candidate = join(dir, '.sillyspec')
+        if (existsSync(candidate)) return candidate
+      }
     }
     if (dir === home) passedHome = true
     const parent = dirname(dir)
@@ -853,6 +859,26 @@ async function raceWithAbort(op, timeoutMs = resolveSyncTotalTimeoutMs()) {
 // 局部复制正则保持轻载——改形态时三处同改（prompt.js 经本导出消费，勿再复制一份）。
 export const QUICK_SID_RE = /^quick-[0-9a-f]{8}$/
 
+// 未连接平台显眼告警（坑 2026-09-27-spec-sync-413-and-nested-runtime：主仓 local.yaml 无
+// platform 段 → --done 自动同步静默 no-op，用户误判「已同步」——平台断档 8 天才发现）。
+// 节流每日至多一次：本地独立使用是合法默认状态（sync.js 头注「不每步」契约保持），告警
+// 只破「静默」不变骚扰；marker 落 runtimeRoot（跨进程同源），读写失败不拦告警本身。
+function warnPlatformNotConnectedDaily(cwd, platformOpts = {}) {
+  const specBase = platformOpts?.specRoot || join(cwd, '.sillyspec')
+  try {
+    const runtimeRoot = resolveRuntimeRoot(platformOpts, specBase)
+    const marker = join(runtimeRoot, 'platform-not-connected-notice.date')
+    const today = new Date().toISOString().slice(0, 10)
+    if (existsSync(marker) && readFileSync(marker, 'utf8').trim() === today) return
+    mkdirSync(runtimeRoot, { recursive: true })
+    writeFileSync(marker, today, 'utf8')
+  } catch { /* marker 失败仍告警（宁可重复不静默） */ }
+  // 走 stdout 而非 stderr：advisory 性质；且顶层别名 vs run 前缀的字节级 stderr 平价
+  // 契约（cli-top-level-aliases）不被首报/复报差异打破。
+  console.log('⚠️ [spec-sync] 未连接平台——本命令的进度与 spec 树不会同步到平台（平台面板将停更）。')
+  console.log('   如需同步：sillyspec platform connect <平台地址> --token <token> 连接一次，此后 --done 自动增量同步；本地独立使用可忽略（本提示每日至多一次）。')
+}
+
 export async function triggerSync(cwd, changeName, platformOpts = {}, opts = {}) {
   // ── 后台异步化（2026-09-20 用户反馈：--done 被网络尾巴拖住分钟级）──
   // 默认把同步整体挪进 detached 后台子进程：17 个调用点全部 fire-and-forget，但进程
@@ -873,7 +899,14 @@ export async function triggerSync(cwd, changeName, platformOpts = {}, opts = {})
         return
       }
       if (r.status === 'coalesced') return // 活后台轮在跑，本轮状态已并入其下一轮
-      // not-connected → 落回 inline（内部静默 no-op，与旧行为一致）
+      // not-connected → 完成时刻显眼告警（每日一次，坑 2026-09-27-spec-sync-413；opts.completion
+      // 由 complete.js 步进/收口调用点传——渲染/诊断类调用点不告警，防顶层别名 vs run 前缀的
+      // 字节级输出平价契约被节流态首报/复报差异打破）+ 落回 inline（内部静默 no-op，旧行为）
+      if (r.status === 'not-connected') {
+        if (opts.completion) {
+          try { warnPlatformNotConnectedDaily(cwd, platformOpts) } catch { /* 告警失败不阻断 */ }
+        }
+      }
     } catch { /* 后台化失败降级 inline（best-effort 契约不变） */ }
   }
   // 平台模式不再整体跳过（2026-08-26 用户决策）：上行回传（进度 + 四件套 + spec 树）
@@ -1291,7 +1324,9 @@ async function matchQuickModules(srcChanged, specBase, projectName) {
  * @param {string} projectName 项目名（progress.project）
  * @returns {Promise<object|null>} 模块索引（扁平 { id: {...} }）；不可得 → null
  */
-async function loadQuickModuleIndex(specBase, projectName) {
+// quick 资产尾②（changelog 边车）消费：complete-handlers 动态 import 解构取用——
+// 缺 export 曾致「loadQuickModuleIndex is not a function」fail-open 死路（R4-S-Q 实证）。
+export async function loadQuickModuleIndex(specBase, projectName) {
   if (!specBase || !projectName) return null
   try {
     const mapPath = join(specBase, 'docs', projectName, 'modules', '_module-map.yaml')
@@ -1942,6 +1977,90 @@ function readLocalYamlRaw(cwd) {
   }
 }
 
+/**
+ * 读 stage.burst 开关（2026-09-22-stage-burst-fold D-001/D-007，FR-01/FR-04）：local.yaml
+ * `stage.burst === true` 开启旧流程阶段折叠（burst）；env SILLYSPEC_STAGE_BURST=0 强制关 /
+ * =1 强制开（优先于配置，逃生阀）；**缺省 OFF**——读失败/坏 YAML/解析异常一律 false
+ * （fail-safe，burst 缺省不翻是 D-001 边界：全量测试面零迁移）。读取走本模块 readLocalYamlRaw
+ * + js-yaml 动态 import（resolveLivingDocs 同款范式，绕开 parseSimpleYaml 缩进坑——known-issues
+ * 实证）。锚定 cwd 而非 specBase：burst 是仓库本地开发偏好，不随平台/worktree specRoot 漂移。
+ * @param {string} cwd 仓库根（local.yaml 在 <cwd>/.sillyspec/local.yaml）
+ * @returns {Promise<boolean>}
+ */
+export async function readStageBurst(cwd) {
+  const env = process.env.SILLYSPEC_STAGE_BURST
+  if (env === '0') return false
+  if (env === '1') return true
+  const raw = readLocalYamlRaw(cwd)
+  if (!raw) return false
+  try {
+    const mod = await import('js-yaml')
+    const yamlLoad = mod.load || mod.default?.load
+    const doc = yamlLoad(raw)
+    const stage = doc && typeof doc === 'object' ? doc.stage : null
+    return stage && typeof stage === 'object' ? stage.burst === true : false
+  } catch { /* 坏 YAML / js-yaml 不可用 → 缺省 OFF */ }
+  return false
+}
+
+/**
+ * burst 作用域白名单（D-006）：三主阶段。quick 排除（末步四字段硬契约与 P0-2 事实合成不兼容，
+ * complete.js:224 已把 quick 列为合成豁免）；verify/archive 任务书明确不动（--init --draft 与
+ * 就绪度已压到 1-2 次调用）；辅助阶段（scan/doctor/explore）不在本轮验收面。渲染侧（stage.js
+ * renderStageBurst 门）与完成侧（command.js --done 分发门）共用本单一事实源。
+ */
+export const STAGE_BURST_STAGES = ['brainstorm', 'plan', 'execute', 'verify', 'archive']
+
+/**
+ * 阶段墙档位（R16 减负批次 A 相位，2026-09-24）：advisory（缺省——阶段完成时提示可 handoff
+ * 换会话，不阻断）| hard（同会话刚收口前驱阶段后硬续墙后阶段 → run <stage> 拒启动，
+ * --same-session 逃生口）。墙后阶段 = STAGE_WALL_STAGES（execute/verify——上下文最贵两段，
+ * R15 实测 execute 均轮 263K，断崖拆会话后回落 120-170K）。env SILLYSPEC_STAGE_WALL 强制。
+ */
+export async function readStageWall(cwd) {
+  const env = process.env.SILLYSPEC_STAGE_WALL
+  if (env === 'hard') return 'hard'
+  if (env === 'advisory') return 'advisory'
+  const raw = readLocalYamlRaw(cwd)
+  if (!raw) return 'advisory'
+  try {
+    const mod = await import('js-yaml')
+    const yamlLoad = mod.load || mod.default?.load
+    const doc = yamlLoad(raw)
+    const stage = doc && typeof doc === 'object' ? doc.stage : null
+    return stage && typeof stage === 'object' && stage.wall === 'hard' ? 'hard' : 'advisory'
+  } catch { /* 坏 YAML / js-yaml 不可用 → 缺省 advisory */ }
+  return 'advisory'
+}
+
+/** 墙后阶段（runStage 入口 hard 门的作用面；stage-session ledger 判定「同会话刚收口前驱」） */
+export const STAGE_WALL_STAGES = ['execute', 'verify']
+/** 墙后阶段的直接前驱（execute←plan / verify←execute） */
+export const STAGE_WALL_PREDECESSOR = { execute: 'plan', verify: 'execute' }
+
+/**
+ * 阶段墙拦截判定（纯函数，R16-b 实证修正 2026-09-25）：
+ * SILLYSPEC_SESSION_ID 是**变更所有权标识**（handoff 协议要求新会话保持不变）——它相同
+ * 不能当「同会话硬续」的证据。真切割的充分信号 = 前驱收口（ledger.at）之后执行过
+ * `sillyspec handoff`（ledger.handoffAt 更新）：交接块生成动作即切割凭证。墙只拦
+ * 「前驱刚收口、无更新 handoff、目标阶段首次进入」一种形态。
+ * @param {object} p
+ * @param {object|null} p.ledger        - stage-session ledger（缺 → 放行 fail-open）
+ * @param {string} p.curSession         - 当前 SILLYSPEC_SESSION_ID（空 → 放行）
+ * @param {string} p.stageName          - 目标阶段（须 ∈ STAGE_WALL_STAGES）
+ * @param {boolean} p.stageHasData      - 目标阶段已有进度（reopen/复跑重入 → 放行）
+ * @returns {boolean} true=拦截（runStage 应 exit 1 并指引 handoff）
+ */
+export function isStageWallBlocked({ ledger, curSession, stageName, stageHasData }) {
+  if (!STAGE_WALL_STAGES.includes(stageName)) return false
+  if (!ledger || typeof ledger !== 'object') return false
+  if (!curSession || ledger.sessionId !== curSession) return false
+  if (ledger.lastStage !== STAGE_WALL_PREDECESSOR[stageName]) return false
+  if (stageHasData) return false
+  if (ledger.handoffAt && (!ledger.at || String(ledger.handoffAt) > String(ledger.at))) return false
+  return true
+}
+
 /**
  * 从 plan.md 内容聚合所有 task 卡片声明的 repo:（去重，含 'main' 隐式）。
  *