sillyspec 3.29.3 → 3.29.5

package/src/run/gates.js

@@ -861,6 +861,47 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     } catch { /* advisory 失败不阻断完成（fail-soft，facade 预检先例同款） */ }
   }
 
+  // ── fail-fast 前置：纯文档 blocking 检查先于 test/lint 实测门（R4-S-F 实证，2026-09-21）──
+  // module-impact 死信与预填注清零 error 门只读文档零外部执行，原先排在 9 分钟级 test+lint
+  // 实测门之后——文档未清时每轮 --done 都先白烧一轮门禁再被拦（R4-S-F 166min 的主要形状）。
+  // 前置到实测门之前：秒级失败秒级返工，贵的门只在文档面已清后才跑。
+  if (stageName === 'verify' && changeName) {
+    // module-impact 死信探针（blocking，债单 D-1/D-5）：更新结果表 pending/待办行 → 阻断 verify。
+    // 与 archive 移动前校验（extractPendingDocSyncRows）同一口径，把死信号从 archive 提前到 verify：
+    // agent 在 verify 阶段就须完成文档同步并回填 done/skipped，而非拖到归档被拦。
+    const verifyChangeDir = resolveChangeDir(cwd, progress, platformOpts?.specRoot)
+    if (verifyChangeDir) {
+      const impactPath = join(verifyChangeDir, 'module-impact.md')
+      if (existsSync(impactPath)) {
+        const { extractPendingDocSyncRows } = await import('./complete-handlers.js')
+        const pendingRows = extractPendingDocSyncRows(readFileSync(impactPath, 'utf8'))
+        if (pendingRows.length > 0) {
+          console.error(`\n❌ verify 阶段被阻断：module-impact.md「更新结果」表存在 ${pendingRows.length} 个未清 pending/待办项（死信）`)
+          for (const row of pendingRows) console.error(`   - ${row}`)
+          console.error('   文档同步是 verify 的收尾义务：请完成模块文档同步并回填状态为 done/skipped（说明原因），再重新完成 verify。')
+          return rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'verify-contract' })
+        }
+      }
+    }
+    // 预填注清零 error 门（归档前最后一道；2026-09-18-artifact-prefill task-03 / FR-03 / D-003@v1
+    // 门禁梯度·error 档）：白名单槽宿主文件（design.md + tasks/task-*.md）仍含未删预填注 →
+    // 阻断 verify 完成。brainstorm/plan --done 的 advisory 在此收口为硬门，注在场=预填未确认。
+    // 检测单点 = runProbe10PrefillNoteClearance（不二算）。已知误报面：散文引用注字面量会命中
+    // ——修法是核对后删注/改写散文措辞，不是绕门。
+    try {
+      const { runProbe10PrefillNoteClearance } = await import('../verify-probes.js')
+      const noteClearance = runProbe10PrefillNoteClearance({ specBase, changeName })
+      if (noteClearance.unclearedFiles.length > 0) {
+        console.error(`\n❌ verify 阶段被阻断：预填注清零校验未过（${noteClearance.unclearedFiles.length} 个文件的白名单槽仍含未删预填注——预填≠结论，注在场=未确认）：`)
+        for (const f of noteClearance.unclearedFiles) console.error(`   - ${f}`)
+        console.error('   修复：逐槽核对预填值后删除行尾「(预填：核对后删本注)」注（删注=确认动作）；散文含注字面量的命中改写该处措辞。清零后重新完成 verify（进度不丢）。')
+        return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'verify-contract' })
+      }
+    } catch (e) {
+      console.warn(`⚠️ 预填注清零校验异常（降级放行，fail-soft——异常不是未清零，ceremony 双跑同款处置）: ${(e && e.message) || e}`)
+    }
+  }
+
   // verify 产物校验通过 + 结论非 FAIL（否则上面已阻断）。
   // 再由 CLI 亲自执行 local.yaml 的测试命令，与 verify-result.md 的自报告对账：
   // 自报告 PASS 但实测失败 → 阻断（防止"文案通过"绕过验证）。
@@ -937,6 +978,20 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
       }
     } catch { /* fail-soft：回填失败不影响门禁 */ }
     if (testCheck.status === 'failed') {
+      // ── 纯超时降档（R4 门禁价值考古 2026-09-21：227 跑 106 败里 36 次 600s 帽杀纯超时假拦
+      //    =失败桶最大单一来源）。超时=未完成非测试挂——所有失败单元 reason 均含超时 → advisory
+      //    放行带处置指引；任一单元真实挂测/退出码 → 维持原硬拦（真拦 12 次的防线不动）。──
+      let timeoutOnly = false
+      try {
+        const { isTimeoutOnlyTestFailure } = await import('../verify-postcheck.js')
+        timeoutOnly = isTimeoutOnlyTestFailure(testCheck)
+      } catch { /* 判定链异常维持硬拦（保守） */ }
+      if (timeoutOnly) {
+        if (verifyGateSnap) { try { verifyGateSnap.cleanup() } catch {} ; verifyGateSnap = null }
+        console.warn('\n⚠️ Verify 实测门未在超时帽内完成（纯超时，无任何挂掉的测试）——降档 advisory 不阻断：')
+        console.warn(`   ${testCheck.reason || ''}`)
+        console.warn('   处置：① local.yaml 配置 modules: 块（name: { path, test }）启用模块子集实测——触碰模块全套测试，时长与超时同步收窄；② 定向复跑触碰模块自证；③ 确需长跑设 SILLYSPEC_TEST_TIMEOUT_MS。')
+      } else {
       if (verifyGateSnap) {
         try { const { printSnapshotFailureHint } = await import('./gate-snapshot.js')
           printSnapshotFailureHint(verifyGateSnap) } catch { /* 提示失败不影响阻断 */ }
@@ -953,6 +1008,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
       } catch { /* 归因提示失败不影响阻断语义 */ }
       console.error('   请修复失败的测试并更新 verify-result.md 后重新完成此步骤。')
       return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'verify-test' })
+      } // else（纯超时降档分支）结束——真实测试失败分支的 rollback 语义不变
     }
     // lint 对账（2026-08-21 审查 CLI-1）：test 侧"自报告 PASS 但实测失败→阻断"已闭环，
     // lint 侧此前纯口头——CLI 亲自执行 commands.lint，advisory 起步（失败打印不阻断，观察期后升级）
@@ -983,6 +1039,22 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     // 逃生 SILLYSPEC_VERIFY_LINT_GATE=advisory）
     const { shouldBlockVerifyLint } = await import('../verify-postcheck.js')
     if (shouldBlockVerifyLint(lintCheck)) {
+      // ── lint 归属鉴定降档（R4-S-F 实证：verify 侧 lint 硬门 7 轮全是 HEAD 存量债——隔离
+      //    快照含基线债文件时恒败，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 {
       console.error('\n❌ verify 阶段被阻断：CLI 亲自实测 lint 失败（agent 的 lint 自报告与实测不符时以实测为准）。')
       if (usedSnapInfo) {
         try { const { printSnapshotFailureHint } = await import('./gate-snapshot.js')
@@ -1006,6 +1078,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 对账：扫前端 API 调用 vs execute 提取的 provider endpoint artifact。
     // 接线自 contract-matrix pipeline（verifyApiParity 的 CLI 入口）。
@@ -1076,6 +1149,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     // 放行态），fail-soft 不影响 gate 判定；②类阻断回执同样留档供平台/审计消费
     writeReconcileRunResult({ runtimeRoot: reconcileRuntimeRoot, changeName, envelope: reconcileEnvelope, result: reconcileCheck })
     if (reconcileBlocked) {
+      writeVerifyGatePointer({ runtimeRoot: reconcileRuntimeRoot, changeName, blocked: true, note: 'target_files ②类（missing_declared）阻断' })
       return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'verify-contract' })
     }
     // ── verify-result.md 探针预填段一致性抽查（task-03 / ir-stage-p3b D-002@v1 方案A）──
@@ -1122,6 +1196,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     // 两检查间耦合；各写各的回执、按文件名订阅更干净。fail-soft 不影响 gate 判定
     writeProbeConsistencyRunResult({ runtimeRoot: reconcileRuntimeRoot, changeName, envelope: probeEnvelope, result: probeCheck })
     if (probeBlocked) {
+      writeVerifyGatePointer({ runtimeRoot: reconcileRuntimeRoot, changeName, blocked: true, note: '探针一致性抽查 error 阻断' })
       return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'verify-contract' })
     }
     // ── ceremony 双跑收口·第一出口（2026-09-18-ceremony-risk-pricing task-04 / FR-03 / D-003；
@@ -1164,43 +1239,9 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
         }
       }
     } catch { /* 自动重锚失败不影响收尾（docs gate 兜底） */ }
-    // ── module-impact 死信探针（blocking，债单 D-1/D-5）：更新结果表 pending/待办行 → 阻断 verify ──
-    // 与 archive 移动前校验（extractPendingDocSyncRows）同一口径，把死信号从 archive 提前到 verify：
-    // agent 在 verify 阶段就须完成文档同步并回填 done/skipped，而非拖到归档被拦（修复 perf-remediation
-    // 类「verify PASS → archive 才发现 pending」的时序漏洞）。
-    const verifyChangeDir = resolveChangeDir(cwd, progress, platformOpts?.specRoot)
-    if (verifyChangeDir) {
-      const impactPath = join(verifyChangeDir, 'module-impact.md')
-      if (existsSync(impactPath)) {
-        const { extractPendingDocSyncRows } = await import('./complete-handlers.js')
-        const pendingRows = extractPendingDocSyncRows(readFileSync(impactPath, 'utf8'))
-        if (pendingRows.length > 0) {
-          console.error(`\n❌ verify 阶段被阻断：module-impact.md「更新结果」表存在 ${pendingRows.length} 个未清 pending/待办项（死信）`)
-          for (const row of pendingRows) console.error(`   - ${row}`)
-          console.error('   文档同步是 verify 的收尾义务：请完成模块文档同步并回填状态为 done/skipped（说明原因），再重新完成 verify。')
-          return rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'verify-contract' })
-        }
-      }
-    }
-    // ── 预填注清零 error 门（归档前最后一道；2026-09-18-artifact-prefill task-03 / FR-03 /
-    //    D-003@v1 门禁梯度·error 档）：白名单槽宿主文件（design.md + tasks/task-*.md）仍含
-    //    未删预填注 → 阻断 verify 完成（verify 完成是 archive 前置——「归档前注清零」的落点；
-    //    brainstorm/plan --done 的 advisory 在此收口为硬门，注在场=预填未确认）。检测单点 =
-    //    verify-probes 探针面 runProbe10PrefillNoteClearance（探针 10 --init 预填与本门同一
-    //    实现，不二算）。已知误报面：散文引用注字面量会命中——修法是核对后删注/改写散文
-    //    措辞，不是绕门。──
-    try {
-      const { runProbe10PrefillNoteClearance } = await import('../verify-probes.js')
-      const noteClearance = runProbe10PrefillNoteClearance({ specBase, changeName })
-      if (noteClearance.unclearedFiles.length > 0) {
-        console.error(`\n❌ verify 阶段被阻断：预填注清零校验未过（${noteClearance.unclearedFiles.length} 个文件的白名单槽仍含未删预填注——预填≠结论，注在场=未确认）：`)
-        for (const f of noteClearance.unclearedFiles) console.error(`   - ${f}`)
-        console.error('   修复：逐槽核对预填值后删除行尾「(预填：核对后删本注)」注（删注=确认动作）；散文含注字面量的命中改写该处措辞。清零后重新完成 verify（进度不丢）。')
-        return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'verify-contract' })
-      }
-    } catch (e) {
-      console.warn(`⚠️ 预填注清零校验异常（降级放行，fail-soft——异常不是未清零，ceremony 双跑同款处置）: ${(e && e.message) || e}`)
-    }
+    // ── module-impact 死信探针 + 预填注清零 error 门：已前移至 test/lint 实测门之前 ──
+    // （fail-fast，R4-S-F 实证——纯文档 blocking 检查排在 9 分钟实测门后白烧门禁轮次；
+    //   实现体见上方「fail-fast 前置」块，此处不再重复执行。）
     // ── verify 服务进程回收（坑 verify-service-process-leak；坑 verify-pids-cross-session-kill
     // 见 reapVerifyServices 注释）──
     try {
@@ -1890,6 +1931,42 @@ export function writeReconcileRunResult({ runtimeRoot, changeName, envelope, res
   }
 }
 
+/**
+ * verify --done 阻断明细稳定锚点（quick-D，2026-09-20 报告问题 D）：ts 目录（verify-runs/<ts>/
+ * reconcile-result.json 等）的可发现性依赖 stdout——宿主把长命令转后台截断输出后，逐条打印的
+ * ②类明细实际取不回（实证：target_files 阻断明细靠推断绕 3 轮才定位）。稳定路径指针（每次
+ * 覆盖、不随 ts 变）指向本轮最新 verify-runs 目录，agent 无 stdout 也能直读。fail-soft：
+ * 写失败只留痕不阻断 gate（对齐 writeReconcileRunResult 口径）。
+ * @param {{ runtimeRoot: string, changeName: string|null, blocked?: boolean, note?: string }} opts
+ * @returns {string|null} 成功返回指针路径；失败返回 null
+ */
+export function writeVerifyGatePointer({ runtimeRoot, changeName, blocked = false, note = '' }) {
+  try {
+    const ts = new Date().toISOString().slice(0, 19).replace(/[-T:]/g, '')
+    const runsDir = join(runtimeRoot, 'verify-runs')
+    const pointerPath = join(runsDir, `gate-last-${changeName || 'change'}.json`)
+    mkdirSync(runsDir, { recursive: true })
+    writeFileSync(pointerPath, JSON.stringify({
+      change: changeName,
+      blocked,
+      note,
+      latest_run_dir: join(runsDir, ts),
+      artifacts_hint: [
+        `${ts}/reconcile-result.json（target_files ②类阻断明细在 missing 数组）`,
+        `${ts}/probe-consistency-result.json（探针一致性抽查明细）`,
+      ],
+      written_at: new Date().toISOString(),
+    }, null, 2) + '\n')
+    if (blocked) {
+      console.error(`\n📄 verify 门失败明细稳定锚点（stdout 被截断时直读此文件）: ${pointerPath}\n   逐条明细在指针文件指向的 verify-runs/<ts>/ 目录（reconcile-result.json 的 missing 数组等）`)
+    }
+    return pointerPath
+  } catch (e) {
+    console.error(`⚠️ verify 门稳定锚点写入失败（不影响 gate）: ${e.message}`)
+    return null
+  }
+}
+
 /**
  * 打印 target_files 对账结果（task-05 接线配套的打印层）。
  *
@@ -1905,22 +1982,27 @@ export function writeReconcileRunResult({ runtimeRoot, changeName, envelope, res
  */
 /**
  * 打印跨仓 per-repo 对账结果（cross-repo-reconcile.js 产出的 advisory 明细，verify 块接线）。
- * 恒不阻断（返回 void）：跨仓 diff 锚点=各仓最近提交窗口，锚点脆弱期（已 commit 多笔/全在
- * working-tree）会产②类假信号——明细供人工裁决，不翻主仓对账状态。
+ * 恒不阻断（返回 void）：锚点档逐行携带（内核分级：A reviews 锡点区间 > B 最近提交窗口 >
+ * C 未提交窗口，anchor.label 透传），锚点脆弱期（已 commit 多笔/全在 working-tree）会产②类
+ * 假信号——明细供人工裁决，不翻主仓对账状态。
  * @param {Array<{repo:string,repoPath:string|null,declaredCount:number,actualCount:number,
  *   matched:string[],missing:Array<{task:string,path:string,isNew?:boolean}>,
- *   undeclared:string[],scaffoldCount:number,degradedReason:string|null}>|undefined} crossRepo
+ *   undeclared:string[],scaffoldCount:number,degradedReason:string|null,
+ *   anchor?:{source:string,base:string|null,head:string|null,label:string}}>|undefined} crossRepo
  */
 function printCrossRepoReconcile(crossRepo) {
   if (!Array.isArray(crossRepo) || crossRepo.length === 0) return
-  console.log(`\n🔀 跨仓 per-repo 对账（advisory 不阻断，锚点=各仓最近提交窗口）：`)
+  console.log(`\n🔀 跨仓 per-repo 对账（advisory 不阻断）：`)
   for (const r of crossRepo) {
     if (r.degradedReason) {
       console.warn(`   ⚠️ ${r.repo}：${r.degradedReason}`)
       continue
     }
     const flag = (r.missing.length > 0 || r.undeclared.length > 0) ? '⚠️ ' : '✅ '
-    console.log(`   ${flag}${r.repo}（${r.repoPath}）：声明 ${r.declaredCount} / 实测 ${r.actualCount} / 对上 ${r.matched.length} / ②缺 ${r.missing.length} / ③多 ${r.undeclared.length}${r.scaffoldCount > 0 ? ` / 脚手架聚合 ${r.scaffoldCount}` : ''}`)
+    // 锚点档标签（task-03）：有 anchor.label 时追加（A/B/C 档人类可读描述）；无 anchor（旧形态）
+    // 零输出——逐字兼容
+    const anchorTag = r.anchor && typeof r.anchor.label === 'string' && r.anchor.label ? `｜锚点 ${r.anchor.label}` : ''
+    console.log(`   ${flag}${r.repo}（${r.repoPath}）：声明 ${r.declaredCount} / 实测 ${r.actualCount} / 对上 ${r.matched.length} / ②缺 ${r.missing.length} / ③多 ${r.undeclared.length}${r.scaffoldCount > 0 ? ` / 脚手架聚合 ${r.scaffoldCount}` : ''}${anchorTag}`)
     for (const m of r.missing.slice(0, 10)) {
       console.warn(`      ②缺 ${m.task}: ${m.path}${m.isNew ? '（NEW: 声明新建，该仓未见）' : ''}——锚点窗口外已提交或多笔时可能假信号，到该仓 git log 核实`)
     }

package/src/run/prompt.js

@@ -1151,7 +1151,7 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
       if (entries.length === 0) {
         promptText = promptText.replace(/\{FR_INDEX_DIGEST\}/g, '（触达域暂无 active FR 索引条目——本变更大概率是这些域的首批需求，照常写作）')
       } else {
-        const lines = entries.map((e) => `- ${e.id} ${e.title}（来源 ${e.change}${e.scenarios.length ? '；场景：' + e.scenarios.slice(0, 3).join('，') : ''}${(e.decisions || []).length ? '；依据：' + e.decisions.slice(0, 3).join('、') : ''}）`)
+        const lines = entries.map((e) => `- ${e.id} ${e.title}（来源 ${e.change}${e.scenarios.length ? '；场景：' + e.scenarios.slice(0, 3).join('，') : ''}${(e.decisions || []).length ? '；依据：' + e.decisions.slice(0, 3).join('、') : ''}）${e.needsReview ? ` ⚠️ 待复核（${e.needsReview}）——该 FR 覆盖的代码近期被 quick 触达，行为可能已变；本变更若触及同域先核对现状再决定承接/新写` : ''}`)
         lines.push('')
         lines.push('> 域解析自本变更 design.md 文件清单（漏域先核对清单）。改写/取代已有行为 → 对应 FR 块加承接行；新行为 → 新 FR 块。superseded 条目默认不列（历史回溯自行读 knowledge/fr/）。依据决策（L2）= 当年取舍锚——翻案须先读 knowledge/decisions/<域>.md 的否决理由，满足复潮条件走 D-xxx@vN+1，不得静默改行为。承接行可带退役理由：`承接: FR-<域>-NNN（退役理由：一句话）`——归档时写进被取代条目（理由内禁逗号）；条目正文是截断摘要，全文锚（全文：<归档路径>#FR-NN）由 CLI 自动落。')
         promptText = promptText.replace(/\{FR_INDEX_DIGEST\}/g, lines.join('\n'))

package/src/run/quick-audit.js

@@ -472,8 +472,34 @@ 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')
+    // 纯超时降档（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 {
+        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

@@ -854,6 +854,28 @@ async function raceWithAbort(op, timeoutMs = resolveSyncTotalTimeoutMs()) {
 export const QUICK_SID_RE = /^quick-[0-9a-f]{8}$/
 
 export async function triggerSync(cwd, changeName, platformOpts = {}, opts = {}) {
+  // ── 后台异步化（2026-09-20 用户反馈：--done 被网络尾巴拖住分钟级）──
+  // 默认把同步整体挪进 detached 后台子进程：17 个调用点全部 fire-and-forget，但进程
+  // 退出要等事件循环排空，在飞 fetch 拖住命令返回。回落 inline 的三条件：
+  //   opts.inline（bg 子进程自身回环调用/测试断言进程内行为）
+  //   env SILLYSPEC_SYNC_BG=0（逃生阀，回退旧行为）
+  //   env SILLYSPEC_BG_SYNC_CWD 在场（本进程已是后台子进程，防 fork 链）
+  // spawn 决策（未连接预判/单飞锁/rerunQueued 合并/日志）见 bg-sync.js；bg 机制任何
+  // 异常降级 inline，绝不因后台化阻断主流程。
+  if (!opts.inline && changeName
+    && process.env.SILLYSPEC_SYNC_BG !== '0'
+    && !process.env.SILLYSPEC_BG_SYNC_CWD) {
+    try {
+      const bg = await import('./bg-sync.js')
+      const r = await bg.spawnBackgroundSync(cwd, changeName, platformOpts, opts)
+      if (r.status === 'spawned') {
+        console.log(`🔄 [spec-sync] 平台同步转后台执行（不阻塞本命令返回；输出与结果见 ${r.logPath}）`)
+        return
+      }
+      if (r.status === 'coalesced') return // 活后台轮在跑，本轮状态已并入其下一轮
+      // not-connected → 落回 inline（内部静默 no-op，与旧行为一致）
+    } catch { /* 后台化失败降级 inline（best-effort 契约不变） */ }
+  }
   // 平台模式不再整体跳过（2026-08-26 用户决策）：上行回传（进度 + 四件套 + spec 树）
   // 在平台模式同样执行，凭据经 env SILLYHUB_PLATFORM_URL/TOKEN（预留通道，daemon 未
   // 实现注入——需外部显式 export，sync.js _getPlatform，链路 D 同款）或 local.yaml
@@ -1269,7 +1291,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')
@@ -1815,6 +1839,16 @@ export async function auditQuickCompletion(cwd, guard, options = {}) {
               type: 'fr-rot-suspect', change: guard.changeName || null,
               domains: [...touchedDomains], count: frs.length, source: 'quick-done',
             })
+            // 地图诚实升级（2026-09-20-quick-asset-tail FR-02/D-003）：遥测之外给条目打
+            // 待复核标记——下一次 brainstorm 注入行带 ⚠️，承接翻链时清除。fail-open 同块。
+            const markRef = guard.changeName || 'recent-quick'
+            try {
+              const { markFrNeedsReview } = await import('../fr-index.js')
+              const mr = markFrNeedsReview(join(specBase, 'knowledge'), frs.map(f => f.id), markRef)
+              if (mr.marked > 0) {
+                console.warn(`⚠️ [FR 待复核标记] ${mr.marked} 条 active FR 已标「待复核：${markRef}」——下次 brainstorm 注入可见，承接翻链时自动清除`)
+              }
+            } catch { /* 标记失败不影响遥测/审计 */ }
             console.warn(`⚠️ [FR 腐烂 suspect·advisory] 本次 quick 触达 ${[...touchedDomains].join('、')} 域的 ${frs.length} 条 active FR——quick 不走归档，若改动影响这些行为，索引不会自动 supersede（L3 声明义务；盲区：unmapped 文件/map 漂移不报警）`)
           }
         }