sillyspec 3.28.5 → 3.28.7

package/src/run/gates.js

@@ -30,6 +30,7 @@ import { handleScanStageCompleted, handleExecuteWorktreeCleanup } from './comple
 import { detectConcurrentChanges, formatConcurrentWarning } from './concurrent-detect.js'
 import { stageRegistry } from '../stages/index.js'
 import { normalizeTaskId } from '../taskcard.js'
+import { recordFrictionEvent } from '../friction-tally.js'
 
 /**
  * 从任务注册表（tasks.md）提取全部 task id（task-XX）——符号影响面覆盖度校验用。
@@ -506,7 +507,11 @@ function rollbackStageCompletion(stageData, steps, currentIdx) {
  * 漏写 triggerSync / 写错 return 结构导致行为分裂。返回 nextPendingIdx=currentIdx，
  * 让上层走「完成但不推进」分支，--done 被拒、agent 修复产物后重跑。
  */
-function rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts) {
+function rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, friction) {
+  // friction 尾参（friction-signal-hint task-02）：gate 失败摩擦埋点标签 {type, detail}——各调用点
+  // 按所属 gate 段传来源标签（审查两段走 review_rejected），未传兜底通用 gate-cascade。
+  // recordFrictionEvent 自带静默降级（非法类型/写失败返回 null），不影响回滚/返回语义。
+  recordFrictionEvent({ cwd, changeName, platformOpts, ...(friction || { type: 'gate_rollback', detail: 'gate-cascade' }) })
   rollbackStageCompletion(stageData, steps, currentIdx)
   progress.lastActive = new Date().toLocaleString('zh-CN', { hour12: false })
   pm._write(cwd, progress, changeName)
@@ -596,7 +601,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     // 产物校验失败必须阻断完成 —— 否则 validator 形同虚设，
     // verify 会带着 FAIL/缺 verify-result.md 被 ✅ 标记完成（历史教训）。
     // plan/execute 的专项契约校验（下方）在产物齐全后才需要继续跑，故此处先 return。
-    return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
+    return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'validators' })
   }
   if (contractResult.warnings.length > 0) {
     console.warn(`\n⚠️ 阶段 ${stageName} 校验警告：`)
@@ -630,6 +635,23 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     // 亲测（本路径语义与产物逐字不变）。
     const { loadReusableQualityScan } = await import('./verify-quality-scan.js')
     const reusableScan = loadReusableQualityScan({ specBase, cwd, changeName })
+    // ── 隔离快照定向跑（2026-09-10 驾驭小结第八批，用户第二次真实阻塞：verify 实测门跑
+    // main 工作区，多会话并发任何人的 WIP 都能弄红别人的门）：HEAD 干净基线 + 本变更文件集
+    // overlay（worktree meta 在则源=worktree 根——等价「--worktree 定向跑本变更分支内容」）+
+    // 变更文档随快照（test_strategy 消费）。并行会话在途文件物理不进快照、不参与本门判定。
+    // 快照基建失败 → 回退主仓现行为（失败路径沿用 renderVerifyTestAttribution 归因提示）。
+    let verifyGateSnap = null
+    if (!process.env.SILLYSPEC_VERIFY_GATE_SNAPSHOT_OFF) {
+      try {
+        const { createVerifyGateSnapshot } = await import('./gate-snapshot.js')
+        verifyGateSnap = await createVerifyGateSnapshot({ cwd, changeName, specBase, platformOpts })
+        if (verifyGateSnap) {
+          console.log(`🧪 Verify 实测隔离快照：HEAD + 本变更 ${verifyGateSnap.changeFileCount} 个文件${verifyGateSnap.sourceRoot ? '（overlay 自 worktree——本变更分支内容定向跑）' : ''}（并行会话脏文件不参与门判定）`)
+        }
+      } catch { /* 快照链路异常 → 主仓现行为 */ }
+    }
+    const gateCwd = verifyGateSnap ? verifyGateSnap.snapshotRoot : cwd
+    const gateSpecBase = verifyGateSnap ? join(verifyGateSnap.snapshotRoot, '.sillyspec') : specBase
     let testCheck
     if (reusableScan && reusableScan.testResult) {
       testCheck = reusableScan.testResult
@@ -638,7 +660,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     } else {
       // 测试实测是同步 execSync，长套件可跑 2~10min 且中途无输出——先预告避免 agent 误判卡死
       console.log(`\n⏳ Verify 测试对账：CLI 亲自执行 local.yaml 的 commands.test（同步，耗时可能较长，请等待…）`)
-      testCheck = runVerifyTestCheck({ cwd, specBase, changeName, ctx })
+      testCheck = runVerifyTestCheck({ cwd: gateCwd, specBase: gateSpecBase, changeName, ctx })
       printVerifyTestCheck(testCheck)
     }
     // tests 段二次回填（2026-09-08-ir-verify-facts FR-03 次序：实测在 runValidators 之后，
@@ -657,6 +679,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
       }
     } catch { /* fail-soft：回填失败不影响门禁 */ }
     if (testCheck.status === 'failed') {
+      if (verifyGateSnap) { try { verifyGateSnap.cleanup() } catch {} ; verifyGateSnap = null }
       console.error('\n❌ verify 阶段被阻断：verify-result.md 自报告通过，但 CLI 实测测试失败。')
       // 并行 WIP 归因鉴别（坑 verify-reconcile-foreign-wip）：单一实现迁至 verify-quality-scan.js
       // renderVerifyTestAttribution（P0-1 前置二：noAI 质量扫描失败路径与本 --done 路径共用，
@@ -667,7 +690,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
         await renderVerifyTestAttribution({ cwd, changeName, specBase, runtimeRoot: resolveRuntimeRoot(platformOpts, specBase) })
       } catch { /* 归因提示失败不影响阻断语义 */ }
       console.error('   请修复失败的测试并更新 verify-result.md 后重新完成此步骤。')
-      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
+      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'verify-test' })
     }
     // lint 对账（2026-08-21 审查 CLI-1）：test 侧"自报告 PASS 但实测失败→阻断"已闭环，
     // lint 侧此前纯口头——CLI 亲自执行 commands.lint，advisory 起步（失败打印不阻断，观察期后升级）
@@ -677,11 +700,14 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     if (lintCheck) {
       console.log(`\n♻️ Verify lint 对账：复用 noAI 质量扫描步的实测结果（代码指纹匹配，免重跑）`)
     } else {
-      lintCheck = runVerifyLintCheck({ cwd, specBase })
+      lintCheck = runVerifyLintCheck({ cwd: gateCwd, specBase: gateSpecBase })
       if (lintCheck.status !== 'skipped') {
         console.log(`\n⏳ Verify lint 对账：CLI 亲自执行 local.yaml 的 commands.lint…`)
       }
     }
+    // 快照收尾（test+lint 两检查都已完成；parity/删除探针走主仓 git 事实不依赖快照）
+    const usedSnapshot = Boolean(verifyGateSnap)
+    if (verifyGateSnap) { try { verifyGateSnap.cleanup() } catch {} ; verifyGateSnap = null }
     printVerifyLintCheck(lintCheck)
     // lint 硬门（2026-09-09 升硬：观察期 14 次 5 败全真阳性，pre-push 本就硬拦——fail-fast 前移；
     // 逃生 SILLYSPEC_VERIFY_LINT_GATE=advisory）
@@ -693,8 +719,19 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
         console.error('   输出（末尾）：')
         for (const line of tail.split('\n')) console.error(`   | ${line}`)
       }
+      // 污染归属提示（2026-09-10 驾驭小结第八批建议②，对齐 test 侧 renderVerifyTestAttribution
+      // 先例）：实测跑在主仓共享工作区（快照不可用/被 ENV 关闭的 fallback 路径）且存在非本变更
+      // 的未提交文件时，失败可能是并行会话污染——先做归属鉴定，不静默背锅。
+      if (!usedSnapshot) {
+        try {
+          const { renderVerifyTestAttribution } = await import('./verify-quality-scan.js')
+          console.error('   ℹ️ 本次实测跑在主仓共享工作区（未走隔离快照）：')
+          await renderVerifyTestAttribution({ cwd, changeName, specBase, runtimeRoot: resolveRuntimeRoot(platformOpts, specBase) })
+          console.error('   亦可跑 sillyspec scope-audit --change ' + changeName + ' 做污染归属鉴定（计划×实际三态全表）。')
+        } catch { /* 归因提示失败不影响阻断语义 */ }
+      }
       console.error('   修复后重跑 --done（进度不丢）；确认要跳过实测请设 SILLYSPEC_VERIFY_LINT_GATE=advisory（审计留痕）。')
-      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
+      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'verify-lint' })
     }
     // 契约 parity 对账：扫前端 API 调用 vs execute 提取的 provider endpoint artifact。
     // 接线自 contract-matrix pipeline（verifyApiParity 的 CLI 入口）。
@@ -734,7 +771,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
       console.error(`   修复：在 verify-result.md「## 证据账（cannot_verify 任务）」槽段逐 task 一行——`)
       console.error(`   - task-NN: satisfied | verifiedFiles: <精确路径>（CLI 核验：代码类 存在×mtime×diff 交集；日志/文档类豁免 diff）`)
       console.error(`   - 确实无法验证 → 填 missing 并加（豁免：<一句话理由>）后缀；部分满足 → partial + 已核验路径`)
-      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
+      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'verify-contract' })
     }
     // ── target_files 声明 ↔ 实际改动 对账（task-05 / ir-stage-p3a：②ERROR 阻断 / ③WARNING 放行）──
     // 「计划落空」（task 卡声明没做）此前全盲区：review.json changedFiles 是 agent 手写不能当
@@ -760,7 +797,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     // 放行态），fail-soft 不影响 gate 判定；②类阻断回执同样留档供平台/审计消费
     writeReconcileRunResult({ runtimeRoot: reconcileRuntimeRoot, changeName, envelope: reconcileEnvelope, result: reconcileCheck })
     if (reconcileBlocked) {
-      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
+      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）──
     // 「#### 探针 N」机械预填段（verify-probes --init 生成）长在 agent 可编辑的正文里，其防篡改
@@ -789,7 +826,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     // 两检查间耦合；各写各的回执、按文件名订阅更干净。fail-soft 不影响 gate 判定
     writeProbeConsistencyRunResult({ runtimeRoot: reconcileRuntimeRoot, changeName, envelope: probeEnvelope, result: probeCheck })
     if (probeBlocked) {
-      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
+      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'verify-contract' })
     }
     // ── 行号漂移自动重锚（2026-09-09 §7-6：quick --done 已接，verify/archive 收尾补接）──
     // 本变更 diff 中的 .md 文档经 autoReanchorDocRefs 定点重锚（fixable 唯一/优选命中才改 +
@@ -823,7 +860,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
           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)
+          return rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'verify-contract' })
         }
       }
     }
@@ -852,7 +889,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
         for (const err of planValidation.errors) console.error(`   - ${err}`)
         console.error(`\n   tasks.md/plan.md 不满足 execute 契约，请修复后重新完成此步骤。`)
         // 阻断 completed
-        return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
+        return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'plan-execute-contract' })
       }
       if (planValidation.warnings.length > 0) {
         console.warn(`\n⚠️  Plan contract 警告（不阻断完成）：`)
@@ -913,7 +950,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
         const reviewResult = gated.result
         printStageReviewResult(reviewResult, { stage: stageName, reviewRunId, runtimeRoot, changeName })
         if (!reviewResult.ok) {
-          return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
+          return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'review_rejected', detail: 'stage-review' })
         }
         // 降级自审留痕（2026-09-10 用户反馈①：PI agent 等宿主无 Agent tool，prompt 降级条款允许
         // 当前 agent 自审产出 review.json）。放行但独立性折损必须可见：⚠️ 审计行区分降级 review
@@ -933,7 +970,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
     } catch (e) {
       // fail-closed：Gate 自身异常阻断完成，不静默放行（与 Task Review Gate 一致）
       console.error('❌ Stage Review Gate 异常，阻断 ' + stageName + ' 完成: ' + e.message)
-      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
+      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'review_rejected', detail: 'stage-review' })
     }
   }
 
@@ -1042,7 +1079,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
             console.error('\n⚠️  部分任务已在 tasks.md 中勾选，但 review.json 不存在。')
             console.error(`   请取消勾选这些任务的 checkbox，或补充对应的 review.json（execute run ID: ${executeRunId}）。`)
           }
-          return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
+          return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'review_rejected', detail: 'task-review' })
         }
 
         // cannot_verify 的 requiredEvidence 写入 change 目录，供 verify 阶段消费
@@ -1058,7 +1095,7 @@ export async function runStageCompletionGates({ stageName, cwd, changeName, plat
       // fail-closed：Gate 自身异常时不能默认放行，否则异常成了绕过评审的通道
       console.error(`❌ Task Review Gate 异常，阻断 execute 完成: ${e.message}`)
       console.error('   请检查 review.json / plan.md 是否可读，修复后重新完成此步骤。')
-      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
+      return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'review_rejected', detail: 'task-review' })
     }
   }
   return null
@@ -1312,7 +1349,7 @@ export async function completeStageGates({ stageName, cwd, changeName, platformO
   }
   } catch (e) {
     console.error(`\n❌ ${stageName} 阶段完成收尾异常（已 rollback 为 in-progress，请修复后重新 --done）：${e?.message || e}`)
-    return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts)
+    return await rollbackCompletionAndReturn(pm, progress, stageData, steps, currentIdx, cwd, changeName, platformOpts, { type: 'gate_rollback', detail: 'internal-error' })
   }
 
   // execute worktree cleanup（completeStep / continueStep 完成分支统一调用，避免双清理）

package/src/run/prompt.js

@@ -22,7 +22,8 @@ import { basename, join } from 'node:path'
 import { existsSync, readFileSync, mkdirSync, readdirSync } from 'node:fs'
 import { writeAtomicSync } from '../fs-atomic.js'
 import { stageRegistry } from '../stages/index.js'
-import { resolvePromptIncludes, resolveRuntimeRoot, safeGit, WAIT_MARKER_RE, QUICK_SID_RE } from './shared.js'
+import { resolvePromptIncludes, resolveRuntimeRoot, safeGit, parsePorcelainPath, WAIT_MARKER_RE, QUICK_SID_RE } from './shared.js'
+import { renderSemanticGuardBlock, readSemanticGuardEnabled } from '../semantic-guard.js'
 import { renderStageContract } from '../stage-contract-spec.js'
 import { nowWallClock } from '../datetime.js'
 import { parseModuleMapSimple } from '../modules.js'
@@ -181,6 +182,44 @@ export function buildQuickContextDigest(specBase, projectName) {
   }
 }
 
+/**
+ * quick step1 语义护栏进场注入拼装（task-05，FR-03，D-001@v1 模块四）：开关 → 候选文件采集 →
+ * renderSemanticGuardBlock 反查。候选 = 会话声明文件（guard.allowedFiles，readQuickGuardField
+ * 同源读取：session guard 优先 / legacy 单文件回退）∪ git status --porcelain 脏文件
+ * （parsePorcelainPath 同款解析口径：引号剥离 / -> rename / 反斜杠归一），反斜杠归一去重封顶 20。
+ * 返回 ''（开关关 / 无候选 / 双零命中——prompt 与现状字节一致，零命中静默）或 advisory 段；
+ * 全链 fail-soft：异常返回单行降级说明，不阻断 quick 启动。导出供注入单测直测
+ * （test/semantic-guard-prompt-inject.test.mjs）。
+ */
+export function buildQuickSemanticGuardInjection({ specBase, cwd, changeName } = {}) {
+  try {
+    // 开关首行（Grill X-012）：false 直接零输出——不采候选文件、不跑反查（开关语义全停非半停）
+    if (!readSemanticGuardEnabled(specBase)) return ''
+    // 会话声明文件（--files 落 guard.allowedFiles；缺失 / 形态异常按空）
+    const declaredRaw = readQuickGuardField(changeName, specBase, 'allowedFiles')
+    const declared = Array.isArray(declaredRaw) ? declaredRaw : []
+    // git 脏文件：porcelain 解析同源 quick-audit（trim:false——首列前导空格是状态码，trim 会削掉
+    // 致 parsePorcelainPath 丢首字符；.sillyspec/ 运行时产物过滤同款——候选面是代码文件）
+    let dirty = []
+    const statusResult = safeGit(cwd, ['status', '--porcelain'], { trim: false })
+    if (!statusResult.error) {
+      dirty = (statusResult.value || '').split('\n').filter(Boolean)
+        .map(l => parsePorcelainPath(l))
+        .filter(Boolean)
+        .filter(f => !f.startsWith('.sillyspec/'))
+    }
+    // 去重（反斜杠归一后；renderSemanticGuardBlock 内侧亦有同款归一，此处为封顶前的口径）
+    // 封顶 20 —— 与 collectRecentForeignDelivery 内侧文件封顶同数
+    const candidateFiles = [...new Set(
+      [...declared, ...dirty].map(f => String(f || '').trim().replace(/\\/g, '/')).filter(Boolean)
+    )].slice(0, 20)
+    if (candidateFiles.length === 0) return ''
+    return renderSemanticGuardBlock({ specBase, cwd, candidateFiles, currentChange: changeName })
+  } catch (e) {
+    return `【语义护栏】注入失败（${e && e.message ? e.message : e}）——跳过反查，不阻断本步骤；需要时自查 knowledge/INDEX.md 与 git log`
+  }
+}
+
 // parseModuleMapSimple 复用 modules.js 的 canonical 实现（合并历史 copy-paste 副本，2026-08-07；
 // 无循环依赖：modules.js 仅 import fs/path/db.js，prompt.js → modules.js 单向）。
 /**
@@ -1061,6 +1100,19 @@ export async function outputStep(stageName, stepIndex, steps, cwd, changeName, d
     }
   }
 
+  // ── 语义护栏进场注入（task-05，FR-03，D-001@v1 模块四）──
+  // 判定口径独立：与上方模块上下文注入同锚（quickFirstStep——quick step1「理解任务」），不嵌进
+  // {QUICK_CONTEXT_DIGEST} 占位符守卫内——模板改版去占位符时护栏静默失效（plan 审查 N2）。
+  // 非空追加到 step1 prompt 末尾；空串（开关关 / 零命中）prompt 与现状字节一致（零命中静默）。
+  // 渲染层注入，src/stages/quick.js 模板零变更（design 明确不改清单）。全链 fail-soft 见 helper。
+  if (quickFirstStep) {
+    const sgSpecBase = resolvePromptSpecBase(platformOpts, cwd)
+    const semanticGuardBlock = buildQuickSemanticGuardInjection({ specBase: sgSpecBase, cwd, changeName })
+    if (semanticGuardBlock) {
+      promptText = promptText + '\n\n' + semanticGuardBlock
+    }
+  }
+
   // 平台模式 prompt 自检：确保没有裸相对输出路径
   // 只匹配正向写入指令中的裸路径，避免误杀「禁止写入 .sillyspec/」等安全说明
   if ((platformOpts?.specRoot || platformOpts?.runtimeRoot) && stageName === 'scan') {

package/src/run/quick-audit.js

@@ -13,6 +13,7 @@
  */
 import { join } from 'node:path'
 import { parsePorcelainPath, safeGit } from './shared.js'
+import { collectRecentForeignDelivery, detectAssertionRewrites, readSemanticGuardEnabled } from '../semantic-guard.js'
 
 /**
  * 打印 quick 完成审计结论（按 review.status 输出 SAFE/WARNING/BLOCKED）。
@@ -33,9 +34,38 @@ export function printQuickAuditReview(review) {
       console.error(`     sillyspec run quick --done --allow-delete --change <id> --output "..."`)
       console.error(`   （--force-baseline / --allow-new 不能解锁删除；不确认请 git restore 撤回删除后再 --done，或走完整流程 execute 由 review 把关）`)
     } else {
-      console.error(`   如确认接受这些变更，重新运行 --done 时带上对应 flag 即可解锁：`)
-      console.error(`     sillyspec run quick --done --force-baseline --allow-new --change <id> --output "..."`)
-      console.error(`     （--force-baseline 覆盖受保护/危险文件如 src/run.js；--allow-new 允许新增文件；--allow-delete 允许删除文件）`)
+      // 分流点名（2026-09-11 用户实证：allowedFiles 推断漏了三个实改文件，被与「危险文件」
+      // 混在一起推 --force-baseline——语义过宽且吓人）。按 reason 类别给精确最小解锁：
+      //   超出 allowedFiles（非危险）→ 追加 --files 并入边界即可；危险/baseline → --force-baseline；
+      //   新增 → --allow-new。未命中的 flag 不再出现在咒语里。
+      const prot = review.reasons.filter((r) => r.startsWith('危险文件变更') || r.startsWith('覆盖 baseline'))
+        .map((r) => r.split(': ')[1]).filter(Boolean)
+      const news = review.reasons.filter((r) => r.startsWith('新增文件'))
+        .map((r) => r.split(': ')[1]).filter(Boolean)
+      const undecl = review.reasons.filter((r) => r.startsWith('超出 allowedFiles'))
+        .map((r) => r.split(': ')[1]).filter(Boolean)
+      const flags = []
+      if (undecl.length > 0) {
+        flags.push('--files <原声明文件>,' + undecl.join(','))
+        console.error(`   📋 边界归属未声明（非危险变更）：${undecl.join(', ')}——本会话实际改动但未在 --files 边界内（自动推断漏掉），追加声明即可：`)
+        console.error(`     sillyspec run quick --files ${undecl.join(',')} --change <id>（恢复会话追加边界，追加不替换）`)
+      }
+      if (news.length > 0) {
+        flags.push('--allow-new')
+        console.error(`   📋 新增文件待放行：${news.join(', ')}——确认收进本会话带 --allow-new。`)
+      }
+      if (prot.length > 0) {
+        flags.push('--force-baseline')
+        console.error(`   ⛔ 受保护/危险文件变更：${prot.join(', ')}——放行开关唯 --force-baseline（--files 只声明归属不改变危险判定）。`)
+      }
+      if (flags.length > 0) {
+        console.error(`   解锁命令（按上方分类携带最小 flag 集）：`)
+        console.error(`     sillyspec run quick --done ${flags.join(' ')} --change <id> --output "..."`)
+      } else {
+        console.error(`   如确认接受这些变更，重新运行 --done 时带上对应 flag 即可解锁：`)
+        console.error(`     sillyspec run quick --done --force-baseline --allow-new --change <id> --output "..."`)
+        console.error(`     （--force-baseline 覆盖受保护/危险文件如 src/run.js；--allow-new 允许新增文件；--allow-delete 允许删除文件）`)
+      }
       // 两套开关明示（坑 files-flag-not-unlock-protected，2026-08-22 实证：模块文档被判危险
       // 文件，追加 --files 边界不解锁仍被拦——「追加边界」与「解锁拦截」是两套开关，交互上易误解
       // 前者能解决后者）。命中危险文件 reason 时点名：--files 只改归属口径（哪些文件计入本
@@ -109,6 +139,14 @@ export function printQuickAuditReview(review) {
   }
   if (review.docsCheckHint && review.docsCheckHint.invalid > 0) {
     console.warn(`\n📎 文档引用失效（docs check）：本次改动的文档含 ${review.docsCheckHint.invalid}/${review.docsCheckHint.total} 处失效 file:line 引用。`)
+    // 逐条指名（2026-09-11 用户实证：只报计数不指名哪处，四轮复现才定位——门禁输出
+    // 直接带 文件:行号，另跑命令是复现不是定位）；封顶 10 与生产端对齐，超出提示全量口径
+    for (const i of (review.docsCheckHint.invalidRefs || [])) {
+      console.warn(`   ❌ [${i.doc}:${i.docLine}] ${i.ref} → ${i.reason}`)
+    }
+    if (review.docsCheckHint.invalidTruncated) {
+      console.warn(`   … 共 ${review.docsCheckHint.invalid} 处（上方封顶 10，全量跑 sillyspec docs check）`)
+    }
     console.warn(`   行号漂移 → 更新到当前源码；文件删改名 → 更新引用路径。跑 sillyspec docs check 可看完整清单。`)
     console.warn(`   引用格式：\`src/foo.js:42\`（或 42-48）+ 同行反引号代码符号（如 \`runDocsCheck\`）——符号可让 --suggest 给出候选行号。`)
   }
@@ -205,6 +243,32 @@ export async function resolveQuickLinkedChanges({ pm, cwd, specDir, quickFiles,
 
 // ============ quick --done test+lint 硬门禁（2026-09-02 跨 agent 工单 P0-2）============
 
+/**
+ * 语义护栏命中组装（change: 2026-09-11-cross-change-decision-guard，task-06，FR-04，
+ * D-001@v1）：断言重写检测 ∩ 近因他者交付归因 → hits 清单，gate 内一行调用拼进返回对象。
+ * 单独抽出导出是为了可测性（runQuickTestLintGate 会真跑 test/lint 命令，检测组装层
+ * 独立测可避免测试里真跑 npm test——卡内可测性豁免）。
+ * - 步骤 0 总开关：readSemanticGuardEnabled false → 跳过检测，hits 恒空（fail-open 同 task-03）
+ * - 纯新增断言（detect 不命中）/ 无他者归因标记 / 非测试文件 → 落不到 hits
+ * - WARNING 级非阻断：本函数只组装数据，不参与 gate action/failed 判定
+ * @param {{ cwd?: string, specBase?: string, files?: string[], changeName?: string|null }} opts
+ * @returns {{ hits: Array<{ file: string, deliveredBy: string, sampleLines: string[] }> }}
+ */
+export function buildSemanticGuardHits({ cwd, specBase, files, changeName } = {}) {
+  if (!readSemanticGuardEnabled(specBase)) return { hits: [] }
+  const rewrites = detectAssertionRewrites({ cwd, files: Array.isArray(files) ? files : [] })
+  if (Object.keys(rewrites).length === 0) return { hits: [] }
+  // 归因只查断言命中文件（省 git log 调用；collectRecentForeignDelivery 内部封顶 20 文件）
+  const delivery = collectRecentForeignDelivery({ cwd, files: Object.keys(rewrites), currentChange: changeName })
+  const hits = []
+  for (const file of Object.keys(rewrites)) {
+    // 无归因不点名：纯新增断言 / 无标记提交 / 交付者是本变更（currentChange 透传跳过）同落空
+    if (!delivery[file]) continue
+    hits.push({ file, deliveredBy: delivery[file], sampleLines: rewrites[file] })
+  }
+  return { hits }
+}
+
 /**
  * quick --done 内置 test+lint 实测门禁：把 CLAUDE.md 规则 8「触及 src/test 的改动先
  * npm test + npm run lint」从 agent 自律下沉为 CLI 卡点。
@@ -228,8 +292,11 @@ export async function resolveQuickLinkedChanges({ pm, cwd, specDir, quickFiles,
  * @param {string} opts.specBase - .sillyspec 目录（local.yaml 读取源，信任边界见 runVerifyTestCheck SEC-02 注释）
  * @param {string[]} [opts.changedFiles] - 审计口径的本轮变更文件（仓库根相对 POSIX 路径；空/null → 回退 declaredFiles）
  * @param {string[]} [opts.declaredFiles] - 会话声明边界（guard.allowedFiles；changedFiles 为空时的兜底判定源）
- * @param {string} [opts.changeName] - quick 会话名（evidence-auto 策略解析用）
- * @returns {Promise<{action:'pass'|'fail'|'skip', failed:string[], reason:string, test:object|null, lint:object|null}>}
+ * @param {string} [opts.changeName] - quick 会话名（evidence-auto 策略解析用 + 语义护栏归因 currentChange 透传）
+ * @returns {Promise<{action:'pass'|'fail'|'skip', failed:string[], reason:string, test:object|null, lint:object|null,
+ *   semanticGuard?:{hits:Array<{file:string,deliveredBy:string,sampleLines:string[]}>}}>}
+ *   semanticGuard 仅检测跑过（三条早退 skip 路径不跑检测、无字段）时挂载；WARNING 级
+ *   非阻断——action/failed 判定不受它影响（调用方 complete-handlers.js 只读 action/failed，零改动）。
  */
 export async function runQuickTestLintGate({ cwd, specBase, changedFiles = [], declaredFiles = [], changeName = null }) {
   if (process.env.SILLYSPEC_QUICK_TEST_GATE === 'skip') {
@@ -247,6 +314,13 @@ 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 }
   }
 
+  // ── 语义护栏检测（task-06，FR-04 断言重写 WARNING，D-001@v1 非阻断）──
+  // 三条早退（env skip / 无文件 / 纯 doc）已在上文 return，检测不跑——语义一致。
+  // 检测对主仓 cwd 执行而非 gateCwd 隔离快照（下方才建快照）：检测对象是本会话工作树
+  // 未提交改动（git diff HEAD 须见它），快照语义是 test/lint 实测隔离——两者不同层
+  // （Grill X-001 附注）。specBase 同理用主仓的（快照副本 local.yaml 不参与开关判定）。
+  const semanticGuard = buildSemanticGuardHits({ cwd, specBase, files, changeName })
+
   const { runVerifyTestCheck, runVerifyLintCheck } = await import('../verify-postcheck.js')
 
   // ── 隔离快照执行（2026-09-10 驾驭小结第六批②，用户实证「lint 实测对账在主仓跑被并行
@@ -282,6 +356,8 @@ export async function runQuickTestLintGate({ cwd, specBase, changedFiles = [], d
         : `触及 src/test 共 ${codeFiles.length} 个文件，test+lint 实测通过（或未配置命令自动跳过）${snapshot ? '（隔离快照口径：并行会话脏文件不计入）' : ''}`,
       test,
       lint,
+      // 语义护栏 WARNING（task-06）：只增可选字段，action/failed 判定与调用方读取面均不受影响
+      semanticGuard,
     }
   } finally {
     if (snapshot) { try { snapshot.cleanup() } catch { /* 清理失败不连坐门禁结论 */ } }
@@ -313,4 +389,18 @@ export function printQuickTestLintGate(gate) {
   } else {
     console.log(`\n✅ quick test+lint 门禁 — PASS（${gate.reason}）`)
   }
+
+  // 语义护栏 WARNING（task-06 / FR-04，非阻断——D-001@v1：误报校准数据为零先 advisory，
+  // 复潮条件：误报率实证后可升 block）：他者近因交付的测试文件既有断言行被改 → 点名
+  // 文件 + 交付变更 + 被改样例行（上游 detectAssertionRewrites 已封顶 5/文件，渲染侧
+  // 再 slice(0,5) 兜底）。hits 空 / 字段缺失（三条早退 skip 路径不跑检测）→ 零输出。
+  const sgHits = gate.semanticGuard && Array.isArray(gate.semanticGuard.hits) ? gate.semanticGuard.hits : []
+  if (sgHits.length > 0) {
+    console.warn(`\n⚠️ 语义护栏 — 断言重写 WARNING（非阻断）：他者近因交付的测试文件既有断言被改`)
+    for (const h of sgHits) {
+      console.warn(`   - ${h.file} ← ${h.deliveredBy} 交付`)
+      for (const s of (h.sampleLines || []).slice(0, 5)) console.warn(`       被改: ${String(s).trim()}`)
+    }
+    console.warn(`   ➜ 若确需重写：重写理由写进 quicklog --solution（--done 四参数收尾）；并复查 ${[...new Set(sgHits.map(h => h.deliveredBy))].join('、')} 的关联决策——勿以改断言重定义绿灯。`)
+  }
 }

package/src/run/shared.js

@@ -70,6 +70,28 @@ export function assertSafeChangeName(name, label = '变更名') {
   }
 }
 
+// ── 变更名日期前缀门禁（brainstorm step6 规则 CLI 化）──
+// 规则出处：stages/brainstorm.js step6「变更名格式 YYYY-MM-DD-<简短描述>」此前只是 prompt 约束，
+// agent 自拟/重命名丢日期前缀时 CLI 照单全收静默物化（2026-09-11 实证：friction-signal-hint）。
+// 语义：只拦「新建/改名」——调用方须先确认名字未物化（无 DB 行、无 changes/ 目录含归档），
+// 历史 DB/目录已存在的旧变更不追诉（归档里 auto-flow-optimization 等 10 个无前缀名照常可读）。
+// 豁免：quick-<8hex> 会话 key 与 default 兜底 key 是系统生成名，非 agent 自拟描述名。
+// 日期只校验形状（月 01-12 日 01-31），不校验「当天」——跨天续跑/次日重命名不应被拦。
+const DATED_CHANGE_NAME_RE = /^\d{4}-(?:0[1-9]|1[0-2])-(?:0[1-9]|[12]\d|3[01])-[a-zA-Z0-9][\w.\-]*$/
+export function assertDatedChangeName(name, label = '变更名') {
+  if (name == null) return
+  const s = String(name)
+  if (s === 'default' || /^quick-[0-9a-f]{8}$/.test(s)) return
+  if (DATED_CHANGE_NAME_RE.test(s)) return
+  const now = new Date()
+  const pad = n => String(n).padStart(2, '0')
+  const example = `${now.getFullYear()}-${pad(now.getMonth() + 1)}-${pad(now.getDate())}-<简短描述>`
+  throw new Error(
+    `${label}「${s}」缺少日期前缀或格式非法——新变更名必须形如 YYYY-MM-DD-<简短描述>（例如 ${example}）。` +
+    `此为 brainstorm step6 既定规则，现由 CLI 强制：格式不合规不予执行。已存在的旧名变更不受影响`
+  )
+}
+
 import { buildExecuteSteps } from '../stages/execute.js'
 import { buildPlanSteps } from '../stages/plan.js'
 import { stageRegistry } from '../stages/index.js'
@@ -1427,7 +1449,13 @@ export async function auditQuickCompletion(cwd, guard, options = {}) {
         const dc = runDocsCheck({ projectRoot: cwd, docs: mdChanged, crossRepoRoots: quickCfg.crossRepoRoots })
         if (!dc.ok) {
           result.reasons.push(`本次改动文档含 ${dc.invalid.length} 处失效 file:line 引用（sillyspec docs check 可复现）`)
-          result.docsCheckHint = { invalid: dc.invalid.length, total: dc.total }
+          // invalidRefs 明细（2026-09-11 用户实证：只报计数 N/M 不指名哪处，四轮才定位到一处
+          // 预存债——门禁输出直接带 文件:行号，另跑 docs check 复现是逃生不是定位）：封顶 10 条
+          result.docsCheckHint = {
+            invalid: dc.invalid.length, total: dc.total,
+            invalidRefs: dc.invalid.slice(0, 10).map(i => ({ doc: i.doc, docLine: i.docLine, ref: i.ref, reason: String(i.reason || '').slice(0, 120) })),
+            invalidTruncated: dc.invalid.length > 10,
+          }
           if (result.status === 'safe') result.status = 'warning'
         }
       } catch { /* docs-check 不可用（老版本包等）→ 静默跳过，不阻断 quick */ }

package/src/run/stage.js

@@ -476,6 +476,20 @@ export async function runStage(pm, progress, stageName, cwd, changeName, skipApp
         if (allowNew) parts.push('允许新增文件')
         if (allowDelete) parts.push('允许删除文件')
         console.log(`🛡️ quick 变更边界已记录: ${parts.join(', ')}`)
+        // 归属点名（2026-09-11 用户实证：--done 审计的 allowedFiles 自动推断可漏实改文件，
+        // 被拦后与危险文件混推 --force-baseline。启动未显式 --files 时，把工作区 src/test 前缀
+        // 脏文件点名让用户当场确认归属——预声明即精确边界，免去收尾被拦一轮）。
+        if (allowedFiles.length === 0 && Array.isArray(baselineFiles)) {
+          const declCandidates = baselineFiles
+            .map((p) => String(p).split('\\').join('/'))
+            .filter((p) => p.startsWith('src/') || p.startsWith('test/'))
+          if (declCandidates.length > 0) {
+            console.log(`👀 工作区已有 ${declCandidates.length} 个 src/test 脏文件（本会话如会改到其中部分，建议现在声明边界；并行会话的他者改动勿声明）：`)
+            for (const p of declCandidates.slice(0, 8)) console.log(`   - ${p}`)
+            if (declCandidates.length > 8) console.log(`   … 共 ${declCandidates.length} 个`)
+            console.log(`   声明：sillyspec run quick --files <a.js,b.js> --change ${changeName}（恢复会话追加边界）`)
+          }
+        }
         console.log(`📝 QUICKLOG 条目已创建: ${qlId}`)
         // 空壳会话探测（坑 quick-duplicate-empty-shell，2026-09-03 用户实证：一次输出被吞 →
         // agent 误判失败重跑 → 重复空壳会话，此前只能手工 reset + 删骨架）。新会话起步时点名

package/src/run/verify-quality-scan.js

@@ -27,8 +27,9 @@ import { existsSync, readFileSync, mkdirSync } from 'node:fs'
 import { join, dirname } from 'node:path'
 import { writeAtomicSync } from '../fs-atomic.js'
 import { gitQuiet } from '../git-helper.js'
-import { resolveRuntimeRoot } from './shared.js'
+import { resolveRuntimeRoot, parsePorcelainPath } from './shared.js'
 import { detectChangeRisk } from '../change-risk-profile.js'
+import { recordFrictionEvent } from '../friction-tally.js'
 
 const RECORD_SCHEMA_VERSION = 1
 
@@ -243,6 +244,20 @@ export function renderCoverageExistenceReport(cov) {
   return lines.join('\n')
 }
 
+
+/** fallback 口径可见性（2026-09-11 驾驭第十二批）：快照不可用回退主仓且主仓存在非 .sillyspec
+ * 脏文件时，明示实测判定面含并行 WIP——第三撞根因是「静默 fallback 看不出走了哪个口径」。 */
+function warnIfMainRepoDirtyForGate(cwd) {
+  try {
+    const st = gitQuiet(cwd, ['status', '--porcelain'])
+    if (!st) return
+    const dirty = st.split('\n').map(l => parsePorcelainPath(l)).filter(p => p && !p.startsWith('.sillyspec/'))
+    if (dirty.length > 0) {
+      console.warn(`⚠️ 本次实测未走隔离快照（基建不可用/变更文件集为空），判定面 = main 工作区——当前存在 ${dirty.length} 个非 .sillyspec 脏文件（${dirty.slice(0, 3).join('、')}${dirty.length > 3 ? ' 等' : ''}），并行会话 WIP 可能影响判定；失败时先做污染归属鉴定再修。`)
+    }
+  } catch { /* git 不可用 → 静默（原本也无快照） */ }
+}
+
 /**
  * noAI 动作本体：提前实测 test+lint → 指纹落盘 → 全绿返回（stage.js 盖 completed 自动前进）；
  * 失败（test failed / lint 硬门档 failed）打印归因提示后 throw——步骤不推进，agent 修复后
@@ -250,26 +265,58 @@ export function renderCoverageExistenceReport(cov) {
  */
 export async function executeVerifyQualityScan({ cwd, specBase, changeName, platformOpts }) {
   const { runVerifyTestCheck, printVerifyTestCheck, runVerifyLintCheck, printVerifyLintCheck, shouldBlockVerifyLint } = await import('../verify-postcheck.js')
+  // ── 隔离快照定向跑（2026-09-11 驾驭第十二批，用户第三次撞上：noAI 质量扫描是 verify 的
+  // 第一实测执行点，第八批只接了 gates.js verify 块——本步仍跑 main 工作区，并行 WIP 在此弄红
+  // 无辜变更）。与 gates.js 同款：createVerifyGateSnapshot（HEAD + 本变更文件集，native worktree
+  // 定向源），ENV 同 SILLYSPEC_VERIFY_GATE_SNAPSHOT_OFF，基建失败 fallback 主仓 + 脏文件在场时
+  // ⚠️ 口径可见。指纹（storeQualityScan）仍按主仓 cwd 算——--done 对账复用的指纹匹配口径不变。
+  let snap = null
+  if (!process.env.SILLYSPEC_VERIFY_GATE_SNAPSHOT_OFF) {
+    try {
+      const { createVerifyGateSnapshot } = await import('./gate-snapshot.js')
+      snap = await createVerifyGateSnapshot({ cwd, changeName, specBase, platformOpts })
+      if (snap) {
+        console.log(`🧪 noAI 扫描隔离快照：HEAD + 本变更 ${snap.changeFileCount} 个文件${snap.sourceRoot ? '（overlay 自 worktree——本变更分支内容定向跑）' : ''}（并行会话脏文件不参与判定）`)
+      }
+    } catch { /* 快照链路异常 → 主仓现行为 */ }
+  }
+  const gateCwd = snap ? snap.snapshotRoot : cwd
+  const gateSpecBase = snap ? join(snap.snapshotRoot, '.sillyspec') : specBase
+  if (!snap) {
+    warnIfMainRepoDirtyForGate(cwd)
+  }
   console.log(`\n⏳ noAI 质量扫描：CLI 亲自实测 commands.test（同步，长套件 2~10 分钟无输出属正常）——结果按代码指纹落盘，最终 --done 对账直接复用免重跑。`)
-  const testCheck = runVerifyTestCheck({ cwd, specBase, changeName })
-  printVerifyTestCheck(testCheck)
-  const lintCheck = runVerifyLintCheck({ cwd, specBase })
+  let testCheck
+  let lintCheck
+  let coverageCheck = null
+  try {
+    testCheck = runVerifyTestCheck({ cwd: gateCwd, specBase: gateSpecBase, changeName })
+    printVerifyTestCheck(testCheck)
+    lintCheck = runVerifyLintCheck({ cwd: gateCwd, specBase: gateSpecBase })
   if (lintCheck.status !== 'skipped') {
     console.log(`\n⏳ noAI 质量扫描：CLI 亲自实测 commands.lint…`)
   }
   printVerifyLintCheck(lintCheck)
   // P2（noai-ir-roadmap §5）：coverage 存在性事实——commands.coverage 显式配置才采集，
   // 只证「有覆盖记录」不证「覆盖了行为」（渲染自带语义边界），fail-soft 不阻断。
-  let coverageCheck = null
   try {
     coverageCheck = await runCoverageExistenceCheck({ cwd, specBase, changeName })
     console.log(renderCoverageExistenceReport(coverageCheck))
   } catch (e) {
     console.warn(`⚠️  coverage 存在性事实采集异常（fail-soft）: ${e && e.message ? e.message : e}`)
   }
+  } finally {
+    if (snap) { try { snap.cleanup() } catch {} }
+  }
   storeQualityScan({ specBase, cwd, changeName, testResult: testCheck, lintResult: lintCheck, coverageCheck })
   const testFailed = testCheck.status === 'failed'
   const lintBlocked = shouldBlockVerifyLint(lintCheck)
+  // 摩擦计数（friction-signal-hint task-03）：记录条件与 throw 条件**刻意解耦**——advisory 档
+  // lint 失败（SILLYSPEC_VERIFY_LINT_GATE=advisory 时不 throw）同样是摩擦信号，计数不应随
+  // 逃生阀漂移。recordFrictionEvent 自带静默降级，不影响本步推进/throw 语义。
+  if (testFailed || lintCheck.status === 'failed') {
+    recordFrictionEvent({ cwd, changeName, platformOpts, type: 'verify_run_failed', detail: testFailed ? 'test' : 'lint' })
+  }
   if (testFailed || lintBlocked) {
     const runtimeRoot = resolveRuntimeRoot(platformOpts, specBase)
     await renderVerifyTestAttribution({ cwd, changeName, specBase, runtimeRoot })