sillyspec 3.33.3 → 3.33.5

package/src/flow.js

@@ -83,14 +83,22 @@ export function readFlowConfig(specBase) {
     // module_gate_ignore（2026-10-12-thin-module-gate-and-feed）：未登记目录软门的固定忽略清单，
     // 单行逗号串（目录前缀，posix）——列表块形态不支持，readFlowConfig 同款逐键正则防线
     const ig = raw.match(/^\s*module_gate_ignore\s*:\s*(.+)$/m)
+    // turbo docs-auto 常设授权档（2026-10-23-turbo-docs-auto）：仓主一行声明纯文档面自动降档；
+    // 逐键正则同款防线，未配置/坏值（turbo: off 等）fail-soft 恒 false
+    const turboDocsAuto = /^\s*turbo\s*:\s*docs-auto\s*$/m.test(raw)
+    // review_inline_wait（2026-10-23-review-inline-dispatch）：薄道评审平台单调用通道的等待
+    // 预算秒数（1-600 正整数有效；缺省/坏值 0=off——回退现状任务书面零回归）
+    const riw = raw.match(/^\s*review_inline_wait\s*:\s*([0-9]+)\s*$/m)
     return {
       mode,
       editRatioThreshold: th ? Number(th[1]) : 0.5,
       editRatioEnforcement: en ? en[1] : 'advisory',
       moduleGateIgnore: ig ? ig[1].split(',').map((s) => s.trim()).filter(Boolean) : [],
+      turboDocsAuto,
+      reviewInlineWaitSeconds: riw ? Math.min(600, Math.max(0, Number(riw[1]))) : 0,
     }
   } catch {
-    return { mode: 'thin', editRatioThreshold: 0.5, editRatioEnforcement: 'advisory', moduleGateIgnore: [] }
+    return { mode: 'thin', editRatioThreshold: 0.5, editRatioEnforcement: 'advisory', moduleGateIgnore: [], turboDocsAuto: false, reviewInlineWaitSeconds: 0 }
   }
 }
 
@@ -630,7 +638,7 @@ export async function cmdFlowStart({ change, input, title: titleFlag = null, thi
   const _localYaml = join(specBase, 'local.yaml')
   if (!existsSync(_localYaml) && !existsSync(join(specBase, 'changes', change))) {
     console.error('❌ local.yaml 不存在——先跑 sillyspec init（mode/lint/known_failures 等 init 级配置的落点）。')
-    console.error('   测试面无需在此配置（2026-09-26 起：测试门按变更动态推断——本变更测试 ∪ FR 关联回归 ∪ import 依赖，')
+    console.error('   测试面无需在此配置（测试门按变更动态推断——本变更测试 ∪ import 依赖；FR 关联回归层缺省不跑归 pre-push/CI 门（2026-10-23-fr-regress-default-off），fr_regress_cap: N|all 可开启，')
     console.error('   runner 自项目结构 pyproject/package.json 推断；modules.*.test/commands.test 已退役，后者仅显式 test_strategy: full 生效）。')
     process.exit(2)
   }
@@ -1158,6 +1166,7 @@ export async function cmdFlowStart({ change, input, title: titleFlag = null, thi
     ``,
     `🛑 三断点纪律（顺序纪律：①未过不动码；②③为汇报点——用户没说「全跑完」就必须在每个断点向用户汇报并等确认）：`,
     `   ① spec 断点【机器门】：填完 FR 区和 design 四节后，把摘要给用户看（FR 条目+盲维作答+方案概述），`,
+    `      起草完先自查：sillyspec flow verify-drafts --change ${change}（与批准门同判定——自查通过再请批准，用户一次过）；`,
     `      用户确认后请其运行 sillyspec flow approve --change ${change}（批准留痕）再动手写代码——`,
     `      agent 代跑时如实声明通道：--user-confirmed（转述用户已确认）/ --self-approved（agent 自批），`,
     `      无 flag 按 unattested 留痕（审计面无法区分用户确认与自批）——2026-10-12-approve-channel-attest。`,
@@ -1268,7 +1277,35 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
   }
   // 极速模式读态（2026-10-14-thin-turbo-mode FR-02/D-007）：turbo && tier!=='thick' 双条件——
   // 升厚（distill 异态/verify 失败/--thick 起步）后 turbo 残留不短路厚档仪式，重入即恢复全量校验
-  const turbo = st.turbo === true && st.tier !== 'thick'
+  // turbo 双源（2026-10-23-turbo-docs-auto）：旗标档（--turbo 用户显式）原样；未开且仓主常设
+  // 授权 turbo: docs-auto 时按面自动降档——面=changedFilesSinceBaseline（提交∪脏面）经
+  // dirty_gate_ignore 前缀剔除（与 dirty 门同一残渣口径）后非空且无文件命中代码分类器
+  // （quick-audit 单一源）。fail-closed：面空/含代码/读取或判定异常一律走全量（不静默降档）；
+  // 升厚即失效对双源同效（tier=thick 关）。授权权在仓主（local.yaml 一行），agent 仍无法自选。
+  const turboFlag = st.turbo === true && st.tier !== 'thick'
+  let turbo = turboFlag
+  let turboSource = turboFlag ? 'flag' : null
+  if (!turbo && st.tier !== 'thick') {
+    try {
+      if (readFlowConfig(specBase).turboDocsAuto === true) {
+        const { readDirtyGateIgnore } = await import('./flow-parity.js')
+        const { CODE_PATH_SEGMENT_RE, CODE_EXTENSION_RE } = await import('./run/quick-audit.js')
+        const ignorePfx = readDirtyGateIgnore(specBase)
+        const face = (changedFilesSinceBaseline(cwd, st.baseline_commit) || [])
+          .filter((f) => !ignorePfx.some((p) => f.startsWith(p)))
+        const docsOnly = face.length > 0 && !face.some((f) => CODE_PATH_SEGMENT_RE.test(f) || CODE_EXTENSION_RE.test(f))
+        if (docsOnly) {
+          turbo = true
+          turboSource = 'docs-auto'
+          console.log(`⚡ turbo(docs-auto)：提交/冻结面纯文档（${face.length} 文件）——实测/评审/UI 探针按极速档跳过（授权源 local.yaml turbo: docs-auto；升厚即失效）`)
+        }
+      }
+    } catch { /* 面判定异常 fail-closed 走全量 */ }
+  }
+  // 实测门 reason 的授权源标签（防文案漂移：docs-auto 档不得显示「用户显式触发」）
+  const turboLabel = turboSource === 'docs-auto'
+    ? 'local.yaml turbo: docs-auto 常设授权（提交/冻结面纯文档）'
+    : `用户显式触发 ${st.turbo_since || '时点未记'}`
   const runtimeRoot = resolveRuntimeRoot(runtimeRootOpt ? { runtimeRoot: runtimeRootOpt } : {}, specBase)
   // 归属收窄清单（2026-09-25-thin-dogfood-fixes 修复②）：baseline..HEAD 不分作者——并行会话在
   // start..done 之间的提交会混入本变更实测面与 FR 域路由。复用 verify 对账同款切分器：他侧显式
@@ -1377,7 +1414,7 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
         if (dr.applicable && dr.emptySlots.length > 0) {
           console.error(`❌ 设计记录未作答：design.md 有 ${dr.emptySlots.length} 个空 AGENT 槽（${dr.emptySlots.join('、')}）`)
           console.error(`   每节至少写一行（小改动可写「不适用：<理由>」）——设计承诺是评审与 FR 对账的锚点，空槽=承诺未落盘`)
-          console.error(`   恢复指引：槽标记（<!--AGENT:槽N）被删时，从 .runtime/step-guides/ 的指纹缓存可找骨架原文；或删 design.md 后重入 flow start 补生成（criteria 从 proposal 回提）`)
+          console.error(`   恢复指引：槽标记（<!--AGENT:槽N）被删时，骨架原文永存于 .runtime/state/draft-ledger-${change}.json 的 files["design.md"].text（draft-ledger 机器稿首版永存——2026-10-23 实证修正：step-guides/ 只有阶段指引，从未缓存 flow design 骨架，旧指引指向不存在的缓存）；从 ledger 取槽标记与问题行原样补回（作答放问题行之后——槽在问题行前会被当成答案）；或删 design.md 后重入 flow start 补生成（criteria 从 proposal 回提，注意会重置为骨架态）`)
           reportMidFail('artifacts')
           process.exit(1)
         }
@@ -1578,13 +1615,49 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
         }
       }
     } catch { /* 节奏门 best-effort：读流失败静默（fail-open——观测缺席不阻断） */ }
+    // ── 收口预检（fail-together 一次报全，2026-10-23-flow-done-preflight）：实测门前只读收集
+    //    便宜阻断条件（dirty-gap/orphan 预判）——56% 触发率的 dirty 门不再每轮先付完整实测；
+    //    命中即拦在付费实测之前，全部条件+处置出路一次报全（b1ab65b2「两条修复一次给全」
+    //    模式升格）。全过静默零行为变化；判定与权威门同源同旗标镜像（collectCloseoutPreflight
+    //    fail-safe：异常静默放行，权威门仍在原子步原序）。
+    {
+      const { collectCloseoutPreflight } = await import('./flow-preflight.js')
+      const pre = await collectCloseoutPreflight({ cwd, specBase, change, st, freezeDirty, acceptDirtyGap, acceptOrphanFace, turbo })
+      if (pre.findings.length > 0) {
+        console.error(`⛔ 收口预检未过——${pre.findings.length} 项阻断条件（fail-together 一次报全；实测未启动，处置后重跑同一条命令从断点续）：`)
+        for (const f of pre.findings) {
+          if (f.id === 'dirty-gap') {
+            // 逐字复用 patch 子步权威门文案（防两路口径漂移——文案即契约面）
+            console.error(`   ▸ ${f.count} 个未提交交付文件未入冻结面（共享主仓无法归属）——三选一：`)
+            console.error(`⛔ 未提交交付缺口未显式处置——收口阻断（不归档；处置后重跑同一条命令从断点续）：`)
+            console.error(`   ① git commit 这些文件（信息尾缀带 (${change}) 或 （${change}）），重跑本命令——冻结面自动并入`)
+            console.error(`   ② 全部归属本变更：flow done --change ${change} --freeze-dirty`)
+            console.error(`   ③ 接受审计缺口：flow done --change ${change} --accept-dirty-gap`)
+            console.error(`   💡 快速通道：脏文件全属并行会话在途/运行残渣且不在本变更交付面时，直接重跑带 --accept-dirty-gap（显式 pathspec 提交面已隔离归属；属本变更的文件必须走①提交）`)
+            console.error(`   ④ 已知残渣固定忽略：.sillyspec/local.yaml 加 dirty_gate_ignore: <目录前缀>（单行逗号分隔，同 module_gate_ignore）`)
+            console.error(`   ${f.files.slice(0, 3).join('、')}${f.files.length > 3 ? ' 等' : ''}`)
+          } else if (f.id === 'orphan-face') {
+            // 逐字复用 patch 子步权威门文案（防两路口径漂移——文案即契约面）
+            console.error(`   ▸ 会话专属 worktree 冻结面外交付改动——三选一：`)
+            console.error(`⛔ 会话专属 worktree 存在冻结面外交付改动：${f.commits.length} 个提交不在 HEAD 祖先链（patch-id 不等价）触及 ${f.count} 个交付文件——收口阻断（不归档；处置后重跑同一条命令从断点续）：`)
+            console.error(`   提交：${f.commits.slice(0, 5).map((c) => c.slice(0, 10)).join('、')}${f.commits.length > 5 ? ' 等' : ''}`)
+            console.error(`   文件：${f.files.slice(0, 5).join('、')}${f.files.length > 5 ? ' 等' : ''}`)
+            console.error(`   ① git rebase/cherry-pick 这些提交到 HEAD（补齐冻结面）后重跑`)
+            console.error(`   ② 确认放弃这些提交：清理对应分支/reflog 源后重跑`)
+            console.error(`   ③ 接受缺口留痕：flow done --change ${change} --accept-orphan-face`)
+          }
+        }
+        reportMidFail('patch')
+        process.exit(1)
+      }
+    }
     // 极速模式实测门跳过（2026-10-14-thin-turbo-mode FR-02/D-002）：turbo 在场不调
     // runQuickTestLintGate，合成 gate 同形状 skipped 对象（带 status:'skipped' 完整形态——
     // 下方 fmt 对 null 显示 '—'，带形态才输出「skipped — 跳过原因」，审计可见；
     // 对齐 quick-audit env 逃生门 skip 形态先例 src/run/quick-audit.js:482）。
     // 失败升厚分支（下方 action==='fail'）turbo 下天然不触达——升厚语义不变。
     const gate = turbo
-      ? { action: 'skip', failed: [], reason: `⚡ 极速模式（用户显式触发 ${st.turbo_since || '时点未记'}）——test+lint 实测跳过（审计留痕；本次收口不含测试客观核验）`, test: { status: 'skipped', command: null, exitCode: null, durationMs: null, outputTail: null, reason: `⚡ 极速模式（用户显式触发 ${st.turbo_since || '时点未记'}）——本次收口不含测试客观核验（审计留痕）`, resultPath: null }, lint: { status: 'skipped', command: null, exitCode: null, durationMs: null, outputTail: null, reason: '⚡ 极速模式——lint 实测跳过（审计留痕）', resultPath: null } }
+      ? { action: 'skip', failed: [], reason: `⚡ 极速模式（${turboLabel}）——test+lint 实测跳过（审计留痕；本次收口不含测试客观核验）`, test: { status: 'skipped', command: null, exitCode: null, durationMs: null, outputTail: null, reason: `⚡ 极速模式（${turboLabel}）——本次收口不含测试客观核验（审计留痕）`, resultPath: null }, lint: { status: 'skipped', command: null, exitCode: null, durationMs: null, outputTail: null, reason: '⚡ 极速模式——lint 实测跳过（审计留痕）', resultPath: null } }
       : await runQuickTestLintGate({ cwd, specBase, changedFiles, changeName: change, skipSentinel: true /* flow 侧哨兵带 baseline 区间，quick 侧区间不可靠——单判不双判 */ })
     if (gate && gate.action === 'fail') {
       console.error(`❌ 测试门 FAIL（整单 FAIL——实测失败/超时=失败，不继续 distill/归档）：`)
@@ -1902,6 +1975,11 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
         if (freeze.dirtyAdded.length > 0) {
           console.log(`🔒 ${exclusiveFrom === 'flag' ? '--freeze-dirty 显式声明' : '会话专属 worktree'}：${freeze.dirtyAdded.length} 个未提交交付文件一并入冻结面`)
         }
+        // 已知残渣剔除留痕（2026-10-23-dirty-gate-ignore）：collectFreezeFiles 单一源剔除
+        // dirty_gate_ignore 命中面——每轮一行可审计（配了什么、剔了几个），预检同源继承。
+        if (Array.isArray(freeze.dirtyIgnored) && freeze.dirtyIgnored.length > 0) {
+          console.log(`ℹ️ ${freeze.dirtyIgnored.length} 个 dirty 文件按 local.yaml dirty_gate_ignore 剔除（已知残渣面，不入冻结缺口）：${freeze.dirtyIgnored.slice(0, 3).join('、')}${freeze.dirtyIgnored.length > 3 ? ' 等' : ''}`)
+        }
         if (freeze.dirtyWarned.length > 0) {
           console.warn(`⚠️ ${freeze.dirtyWarned.length} 个未提交交付文件未入冻结面（共享主仓无法归属）——三选一：`)
           console.warn(`   ① 先提交这些文件（信息尾缀带变更名）后重跑 ② 确认全部归属本变更：重跑 flow done --freeze-dirty 并入冻结 ③ 确认接受审计缺口：重跑 flow done --accept-dirty-gap（缺口数随 change-patch.json 留痕）。Git 中间提交可归档后压扁（见收口指引）`)
@@ -1922,6 +2000,7 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
             console.error(`   ② 全部归属本变更：flow done --change ${change} --freeze-dirty`)
             console.error(`   ③ 接受审计缺口：flow done --change ${change} --accept-dirty-gap`)
             console.error(`   💡 快速通道：脏文件全属并行会话在途/运行残渣且不在本变更交付面时，直接重跑带 --accept-dirty-gap（显式 pathspec 提交面已隔离归属；属本变更的文件必须走①提交）`)
+            console.error(`   ④ 已知残渣固定忽略：.sillyspec/local.yaml 加 dirty_gate_ignore: <目录前缀>（单行逗号分隔，同 module_gate_ignore）`)
             reportMidFail('patch')
             process.exit(1)
           }
@@ -2351,6 +2430,41 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
       } catch { /* 无/坏 JSON → 保持 null（既有判定） */ }
     }
     const tier = classifyReviewNeed({ changeDir, input: null, patchText, editRatio: st.edit_ratio ?? null, reviewForce: st.review_force ?? null, change })
+    // 登记块单一源（2026-10-23-review-inline-dispatch）：子代理重跑路径与平台 inline 回收
+    // 路径同源消费——validateReviewJson+FAIL/P1 拦截+P2/P3 留债+PASS mark，无第二套判定。
+    const registerReviewOutcome = async () => {
+      const v = validateReviewJson(join(changeDir, 'review.json'))
+      if (!v.ok) {
+        console.error(`❌ review.json 校验失败（${v.errors.join('；')}）——按任务书 schema 修正后重跑`)
+        reviewOutcome = { required: true, sampled: tier.sampled, verdict: 'invalid' }
+        appendTelemetry(reviewOutcome) // 修评审 P2①
+        reportMidFail('review')
+        process.exit(1)
+      }
+      const p1s = (v.review.findings || []).filter((f) => /^P1$/i.test(String(f.severity || '')))
+      const others = (v.review.findings || []).filter((f) => !/^P1$/i.test(String(f.severity || '')))
+      if (v.review.verdict === 'FAIL' || p1s.length > 0) {
+        console.error(`❌ 独立评审未过（verdict=${v.review.verdict}，P1 发现 ${p1s.length} 项）——承诺与实现不一致，不许归档：`)
+        for (const f of [...p1s, ...others]) console.error(`   [${f.severity}] ${f.title} — ${f.evidence || ''}${f.location ? `（${f.location}）` : ''}`)
+        console.error(`   修复后删除 review.json 并重新执行评审任务书（起子代理重评），再重跑 flow done（断点续）`)
+        reviewOutcome = { required: true, sampled: tier.sampled, verdict: 'FAIL', findingsP1: p1s.length }
+        appendTelemetry(reviewOutcome) // 修评审 P2①：sampled+FAIL 恰是误豁免率校准的最关键信号
+        reportMidFail('review')
+        process.exit(1)
+      }
+      if (others.length > 0) {
+        console.warn(`⚠️ 评审非阻断发现 ${others.length} 项（P2/P3，随归档留档）：`)
+        for (const f of others) console.warn(`   [${f.severity}] ${f.title} — ${f.evidence || ''}`)
+        // 处置提示（2026-10-10-drift-review-governance-keep，坑 drift-review-governance-loop）：
+        // P2/P3 非阻断可留债归档；要修则修复面决定是否重评——只碰治理文件不动本变更
+        // requirements/design 的后缀提交触发治理面等价保留（评审保留+自动重冻结，零重评）；
+        // 触及交付面或承诺面才隔离重评（任务书带前轮 findings，复审只验修复+新增）。
+        console.warn(`   💡 处置参考：P2/P3 非阻断，可留债归档；要修——只碰治理文件（.sillyspec/**，不动本变更 requirements/design）的提交不触发重评；触及交付面或 requirements/design 需重评（复审只验修复+新增，非全量首评）`)
+      }
+      console.log(`✅ 独立评审通过（reviewer=${v.review.reviewer}${tier.sampled ? '，豁免抽查采样命中' : ''}）`)
+      reviewOutcome = { required: true, sampled: tier.sampled, verdict: 'PASS', findingsP1: 0 }
+      mark('review')
+    }
     if (!tier.required) {
       console.log(`⚖️ 评审豁免（低风险证据齐全）：${tier.exemptEvidence.join('；')}`)
       reviewOutcome = { required: false, sampled: false, verdict: 'exempt' }
@@ -2361,9 +2475,17 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
       // 不再被漂移重冻结误隔离（实测竞态修复）。rev-parse 失败传 null（任务书退引导形态）。
       let taskbookHead = null
       try { const h = gitQuiet(cwd, ['rev-parse', 'HEAD']); if (h && /^[0-9a-f]{7,40}$/i.test(String(h).trim())) taskbookHead = String(h).trim() } catch { /* best-effort */ }
-      // 派发纪律（2026-10-19-thin-review-dispatch-verbatim）：横幅是主会话派发时最先读到的通道，
-      // 明确「原样复制」——实测手写缩编会丢材料包（厚道 stage-review.js:803 同款指令的薄道对齐）。
-      console.log(`⚖️ 本变更需要独立评审（${tier.reasons.join('；')}）——评审任务书如下，任务书原样复制给子代理（勿自行改写增删）执行后重跑本命令：\n`)
+      // 平台单调用通道（2026-10-23-review-inline-dispatch）：review_inline_wait 键门控——键有效
+      // 先试 inline（派发→有界等待→回收→同调用登记，missing→PASS 往返消灭）；任何失败回退
+      // 现状任务书面（零治理损失）。键 off 时本分支与改动前逐字一致。
+      const inlineWaitSec = readFlowConfig(specBase).reviewInlineWaitSeconds
+      if (inlineWaitSec > 0) {
+        console.log(`⚖️ 本变更需要独立评审（${tier.reasons.join('；')}）——平台单调用通道已启用（review_inline_wait=${inlineWaitSec}s），先试 inline 派发：`)
+      } else {
+        // 派发纪律（2026-10-19-thin-review-dispatch-verbatim）：横幅是主会话派发时最先读到的通道，
+        // 明确「原样复制」——实测手写缩编会丢材料包（厚道 stage-review.js:803 同款指令的薄道对齐）。
+        console.log(`⚖️ 本变更需要独立评审（${tier.reasons.join('；')}）——评审任务书如下，任务书原样复制给子代理（勿自行改写增删）执行后重跑本命令：\n`)
+      }
       // 项目评审探针装配（2026-10-12-review-probe-injection）：local.yaml 数据驱动的项目特有
       // 必查面注入任务书（未配置零注入；装载告警/帽留痕 best-effort 提示，不阻断渲染）。
       let _probeLines = null
@@ -2403,43 +2525,39 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
         const _pack = assembleReviewPack({ changeDir, patchText, attribution: _attribution, testReceipt: _receipt })
         if (_pack && Array.isArray(_pack.lines) && _pack.lines.length > 0) _packLines = _pack.lines
       } catch { /* 材料包面 fail-soft：装配失败零注入 */ }
-      console.log(renderReviewerTaskbook({ change, changeDir, head: taskbookHead, probeLines: _probeLines, packLines: _packLines }))
-      reviewOutcome = { required: true, sampled: tier.sampled, verdict: 'missing' }
-      appendTelemetry(reviewOutcome) // 修评审 P2①：失败面先落账再 exit（校准信号不丢）
-      reportMidFail('review')
-      process.exit(1)
-    } else {
-      const v = validateReviewJson(join(changeDir, 'review.json'))
-      if (!v.ok) {
-        console.error(`❌ review.json 校验失败（${v.errors.join('；')}）——按任务书 schema 修正后重跑`)
-        reviewOutcome = { required: true, sampled: tier.sampled, verdict: 'invalid' }
-        appendTelemetry(reviewOutcome) // 修评审 P2①
-        reportMidFail('review')
-        process.exit(1)
+      const taskbookText = renderReviewerTaskbook({ change, changeDir, head: taskbookHead, probeLines: _probeLines, packLines: _packLines })
+      let inlineWritten = false
+      if (inlineWaitSec > 0) {
+        try {
+          const { runThinReviewInline } = await import('./review-dispatch.js')
+          const inline = await runThinReviewInline({
+            cwd, specBase, change, changeDir, taskbookText,
+            waitMs: Math.min(300_000, inlineWaitSec * 1000),
+            log: (m) => console.log(m),
+          })
+          if (inline.ok) {
+            console.log(`✅ 平台评审单调用回收（mission ${String(inline.missionId).slice(0, 8)}/worker ${String(inline.workerId).slice(0, 8)}，reviewer=platform-inline）——同调用登记结论（missing→PASS 往返消灭）`)
+            inlineWritten = true
+          } else {
+            console.log(`ℹ️ 平台评审单调用未回收：${inline.reason}——回退评审任务书面`)
+          }
+        } catch (e) {
+          console.log(`ℹ️ 平台评审单调用异常（${(e && e.message) || e}）——回退评审任务书面`)
+        }
       }
-      const p1s = (v.review.findings || []).filter((f) => /^P1$/i.test(String(f.severity || '')))
-      const others = (v.review.findings || []).filter((f) => !/^P1$/i.test(String(f.severity || '')))
-      if (v.review.verdict === 'FAIL' || p1s.length > 0) {
-        console.error(`❌ 独立评审未过（verdict=${v.review.verdict}，P1 发现 ${p1s.length} 项）——承诺与实现不一致，不许归档：`)
-        for (const f of [...p1s, ...others]) console.error(`   [${f.severity}] ${f.title} — ${f.evidence || ''}${f.location ? `（${f.location}）` : ''}`)
-        console.error(`   修复后删除 review.json 并重新执行评审任务书（起子代理重评），再重跑 flow done（断点续）`)
-        reviewOutcome = { required: true, sampled: tier.sampled, verdict: 'FAIL', findingsP1: p1s.length }
-        appendTelemetry(reviewOutcome) // 修评审 P2①：sampled+FAIL 恰是误豁免率校准的最关键信号
+      if (!inlineWritten) {
+        if (inlineWaitSec > 0) {
+          console.log(`⚖️ 回退评审任务书面——任务书原样复制给子代理（勿自行改写增删）执行后重跑本命令：\n`)
+        }
+        console.log(taskbookText)
+        reviewOutcome = { required: true, sampled: tier.sampled, verdict: 'missing' }
+        appendTelemetry(reviewOutcome) // 修评审 P2①：失败面先落账再 exit（校准信号不丢）
         reportMidFail('review')
         process.exit(1)
       }
-      if (others.length > 0) {
-        console.warn(`⚠️ 评审非阻断发现 ${others.length} 项（P2/P3，随归档留档）：`)
-        for (const f of others) console.warn(`   [${f.severity}] ${f.title} — ${f.evidence || ''}`)
-        // 处置提示（2026-10-10-drift-review-governance-keep，坑 drift-review-governance-loop）：
-        // P2/P3 非阻断可留债归档；要修则修复面决定是否重评——只碰治理文件不动本变更
-        // requirements/design 的后缀提交触发治理面等价保留（评审保留+自动重冻结，零重评）；
-        // 触及交付面或承诺面才隔离重评（任务书带前轮 findings，复审只验修复+新增）。
-        console.warn(`   💡 处置参考：P2/P3 非阻断，可留债归档；要修——只碰治理文件（.sillyspec/**，不动本变更 requirements/design）的提交不触发重评；触及交付面或 requirements/design 需重评（复审只验修复+新增，非全量首评）`)
-      }
-      console.log(`✅ 独立评审通过（reviewer=${v.review.reviewer}${tier.sampled ? '，豁免抽查采样命中' : ''}）`)
-      reviewOutcome = { required: true, sampled: tier.sampled, verdict: 'PASS', findingsP1: 0 }
-      mark('review')
+      await registerReviewOutcome()
+    } else {
+      await registerReviewOutcome()
     }
   }
 
@@ -2712,6 +2830,82 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
 }
 
 /** flow 命令族入口（index.js case 'flow' 接线）：flow start|done|amend-draft。 */
+/**
+ * spec 面完整性只读校验单一源（2026-10-23-flow-verify-drafts）：approve 批准门与
+ * verify-drafts 自查命令同判定同源——verifyFlowDrafts repair:false 只读轨（不做 design 问题行
+ * 自动回填，写盘修复属 done 面）+ ledger 机本位缺失降级（仅 v1 AGENT 槽形态跑空槽兜底）。
+ * 纯计算零打印：调用方各自渲染（approve 文案钉死既有形态，verify-drafts 按新面渲染）。
+ * 返回 { applicable, schema, violations, advisories, skipDesign, degraded, v1EmptySlots }。
+ */
+async function computeSpecFaceChecks({ changeDir, change, specBase, runtimeRootOpt = null }) {
+  const runtimeRoot = resolveRuntimeRoot(runtimeRootOpt ? { runtimeRoot: runtimeRootOpt } : {}, specBase)
+  const { verifyFlowDrafts, verifyDesignRecordFilled } = await import('./flow-draft.js')
+  const st = readFlowState(changeDir) || {}
+  const adoptedDesign = st.adopted_from === 'brainstorm' && existsSync(join(changeDir, 'design.md'))
+  const r = verifyFlowDrafts({ changeDir, change, runtimeRoot, skipDesign: adoptedDesign, repair: false })
+  const out = {
+    applicable: r.applicable === true, schema: r.schema || null,
+    violations: r.violations || [], advisories: r.advisories || [],
+    skipDesign: adoptedDesign, degraded: false, v1EmptySlots: [],
+  }
+  if (!r.applicable) {
+    // draft-ledger 机本位缺失（跨机/存量变更）：fail-open 降级——仅 v1（AGENT 槽形态）跑空槽
+    // 兜底；v2 纯 markdown 无 ledger 无法对锚校验，如实降级（不假装能查）。
+    out.degraded = true
+    let v1Text = null
+    try { v1Text = readFileSync(join(changeDir, 'design.md'), 'utf8') } catch { /* 无 design */ }
+    if (v1Text && /<!--AGENT:槽\d+/.test(v1Text)) {
+      const dr = verifyDesignRecordFilled({ changeDir })
+      if (dr.applicable) out.v1EmptySlots = dr.emptySlots
+    }
+  }
+  return out
+}
+
+/**
+ * flow verify-drafts（2026-10-23-flow-verify-drafts）：spec 面起草自查只读命令——起草完
+ * 先自查（与批准门同判定同源 computeSpecFaceChecks）、通过再请用户批准，把「用户跑 approve
+ * 被 exit 1 硬拒」的往返消灭在 agent 侧。零写盘、零状态副作用（通过≠批准——批准仍走 approve
+ * 留痕）。--json 与人类渲染同判定同退出码（对齐 flow status --json 双态同源先例）。
+ */
+async function cmdFlowVerifyDrafts({ change, cwd, specBase, runtimeRootOpt = null, json = false }) {
+  const changeDir = join(specBase, 'changes', change)
+  if (!existsSync(changeDir)) {
+    const msg = `❌ 变更不存在：${change}（flow verify-drafts 在 flow start 之后、approve 之前运行——起草面自查）`
+    if (json) console.log(JSON.stringify({ change, status: 'missing' }))
+    else console.error(msg)
+    process.exit(2)
+  }
+  const r = await computeSpecFaceChecks({ changeDir, change, specBase, runtimeRootOpt })
+  const hasViolations = r.applicable && r.violations.length > 0
+  const hasEmptySlots = r.degraded && r.v1EmptySlots.length > 0
+  const passed = !hasViolations && !hasEmptySlots
+  if (json) {
+    console.log(JSON.stringify({
+      change, passed, applicable: r.applicable, schema: r.schema,
+      violations: r.violations, advisories: r.advisories,
+      skipDesign: r.skipDesign, degraded: r.degraded, v1EmptySlots: r.v1EmptySlots,
+    }))
+    if (!passed) process.exit(1) // 与人类渲染同退出码（json 不分叉）
+  } else if (passed) {
+    for (const a of r.advisories) console.warn(`⚠️ [门柱漂移 advisory] ${a}（不阻断批准）`)
+    if (r.degraded) console.log(`ℹ️ 自查降级：draft-ledger 不在此机（.runtime 机本位/存量变更）——空槽兜底校验通过（v2 纯 markdown 无法对锚校验，如实降级）`)
+    console.log(`✅ spec 面自查通过（0 violations）——通过≠批准：请把摘要给用户看，用户确认后 sillyspec flow approve --change ${change}（批准留痕后动码）`)
+  } else {
+    for (const a of r.advisories) console.warn(`⚠️ [门柱漂移 advisory] ${a}（不阻断批准）`)
+    if (hasViolations) {
+      console.error(`❌ spec 面自查未通过——${r.violations.length} 处违规（与 flow approve 批准门同判定；一次全列，修复后重跑本命令）：`)
+      for (const v of r.violations) console.error(`   - ${v}`)
+    }
+    if (hasEmptySlots) {
+      console.error(`❌ spec 面自查未通过——design.md 有 ${r.v1EmptySlots.length} 个空 AGENT 槽（${r.v1EmptySlots.join('、')}）：每节至少一行（「不适用：<理由>」也算答）`)
+    }
+    console.error(`   修复后重跑：sillyspec flow verify-drafts --change ${change}——通过再请用户批准（flow approve），用户一次过`)
+    process.exit(1)
+  }
+  return { change, passed }
+}
+
 /**
  * flow approve（2026-10-04-thin-docs-v2 FR-06）：spec 断点用户批准留痕——用户确认 FR+design
  * 方案后运行；写 flow-state {spec_approved,spec_approved_at,spec_approved_by}。flow done 的
@@ -2747,11 +2941,10 @@ async function cmdFlowApprove({ change, cwd, specBase, by = null, channelFlag =
   // 面只读，不做 design 问题行自动回填（写盘修复属 done 面）。诚实边界：本门证明「答在批前」，
   // 不证明「答在码前」——时序证据路线已实证不可行（批量收口下 git 时间戳说谎，thin-order-canon
   // 四路调查），不做假装能拦的检查。
+  // 计算单一源 computeSpecFaceChecks（2026-10-23-flow-verify-drafts 抽取共享）——本块只保留
+  // approve 面的渲染与退出，文案与退出码逐字保持（既有测试零改动作回归锚）。
   {
-    const runtimeRoot = resolveRuntimeRoot({}, specBase)
-    const { verifyFlowDrafts, verifyDesignRecordFilled } = await import('./flow-draft.js')
-    const adoptedDesign = st.adopted_from === 'brainstorm' && existsSync(join(changeDir, 'design.md'))
-    const r = verifyFlowDrafts({ changeDir, change, runtimeRoot, skipDesign: adoptedDesign, repair: false })
+    const r = await computeSpecFaceChecks({ changeDir, change, specBase })
     for (const a of r.advisories || []) console.warn(`⚠️ [门柱漂移 advisory] ${a}（不阻断批准）`)
     if (r.applicable && r.violations.length > 0) {
       console.error(`❌ spec 断点未批准——文档未齐（批准是动码前置，先答 spec 面再批）：`)
@@ -2762,15 +2955,10 @@ async function cmdFlowApprove({ change, cwd, specBase, by = null, channelFlag =
     if (!r.applicable) {
       // draft-ledger 机本位缺失（跨机批准/存量变更）：fail-open 降级——仅 v1（AGENT 槽形态）跑
       // 空槽兜底；v2 纯 markdown 无 ledger 无法对锚校验，如实降级放行（不假装能查）。
-      let v1Text = null
-      try { v1Text = readFileSync(join(changeDir, 'design.md'), 'utf8') } catch { /* 无 design */ }
-      if (v1Text && /<!--AGENT:槽\d+/.test(v1Text)) {
-        const dr = verifyDesignRecordFilled({ changeDir })
-        if (dr.applicable && dr.emptySlots.length > 0) {
-          console.error(`❌ spec 断点未批准——design.md 有 ${dr.emptySlots.length} 个空 AGENT 槽（${dr.emptySlots.join('、')}）：每节至少一行（「不适用：<理由>」也算答）`)
-          console.error(`   作答齐备后重跑：sillyspec flow approve --change ${change} [--user-confirmed|--self-approved]`)
-          process.exit(1)
-        }
+      if (r.v1EmptySlots.length > 0) {
+        console.error(`❌ spec 断点未批准——design.md 有 ${r.v1EmptySlots.length} 个空 AGENT 槽（${r.v1EmptySlots.join('、')}）：每节至少一行（「不适用：<理由>」也算答）`)
+        console.error(`   作答齐备后重跑：sillyspec flow approve --change ${change} [--user-confirmed|--self-approved]`)
+        process.exit(1)
       }
       console.log(`ℹ️ 批准校验降级放行：draft-ledger 不在此机（.runtime 机本位/存量变更）——空槽兜底校验通过`)
     }
@@ -2962,6 +3150,15 @@ export async function cmdFlow(args, cwd, specDir = null, opts = {}) {
     await reportAgentLog(change, sub)
     return cmdFlowReject({ change, cwd, specBase, reason: getFlag('--reason') })
   }
+  if (sub === 'verify-drafts') {
+    // spec 面起草自查只读面（2026-10-23-flow-verify-drafts）：与批准门同判定同源——起草完先
+    // 自查、通过再请批准，用户被拒往返消灭在 agent 侧；零写盘零状态副作用。
+    const change = getFlag('--change')
+    if (!change) { console.error('❌ flow verify-drafts 需 --change <名>'); process.exit(2) }
+    validateChangeName(change)
+    await reportAgentLog(change, sub)
+    return cmdFlowVerifyDrafts({ change, cwd, specBase, runtimeRootOpt, json: jsonGlobal || hasFlag('--json') })
+  }
   if (sub === 'diff') {
     // 只读查询面（2026-10-13-flow-diff-cmd）：change 粒度文件统计双态口——与 status 同级自愿面
     const change = getFlag('--change')
@@ -3152,7 +3349,7 @@ export async function cmdFlow(args, cwd, specDir = null, opts = {}) {
     console.log(`✅ flow amend-draft 留痕重锚：${r.reanchored.join('、')}——ledger amendment 审计在案；editRatio=${maxRatio}（段级最大；基准=首版原文，AGENT 槽不计入）`)
     return r
   }
-  console.error('用法: sillyspec flow start --change <名> --input "<一句 10-30 字中文概括（首行即变更标题，硬区间 10-30 必须、建议 ~20 字）＋动机与背景详述＋独立一行『成功标准：』＋每行一条『- 可验证标准』>" [--thick|--with-tasks] [--no-prestage（hindsight 标记在场时声明需求已含决策，留痕放行）] | sillyspec flow done --change <名> | sillyspec flow status --change <名> [--json] | sillyspec flow diff --change <名> [--json]（只读文件统计）')
+  console.error('用法: sillyspec flow start --change <名> --input "<一句 10-30 字中文概括（首行即变更标题，硬区间 10-30 必须、建议 ~20 字）＋动机与背景详述＋独立一行『成功标准：』＋每行一条『- 可验证标准』>" [--thick|--with-tasks] [--no-prestage（hindsight 标记在场时声明需求已含决策，留痕放行）] | sillyspec flow done --change <名> | sillyspec flow status --change <名> [--json] | sillyspec flow verify-drafts --change <名> [--json]（spec 面只读自查，通过再请批准） | sillyspec flow diff --change <名> [--json]（只读文件统计）')
   console.error('      --input 可照抄形态（引号内换行合法）：')
   console.error('      sillyspec flow start --change <名> --input "<一句 10-30 字中文概括（首行即变更标题，硬区间 10-30 必须、建议 ~20 字）；随后动机与背景')
   console.error('')

package/src/fr-index.js

@@ -29,6 +29,7 @@ import {
   joinKnowledgeFile,
   syncIndexRoutingLines,
   discoverModuleIndex,
+  FR_ROUTE_STRIP_TOKENS,
 } from './decision-distill.js';
 
 /** epoch：此前归档不检查/不索引（存量 93 份不回填——不伪造历史，D-007）。 */
@@ -594,10 +595,13 @@ export function indexRequirements({ changeDir, knowledgeRoot, headHash = '', del
       section: 'FR 需求索引',
       subdir: FR_DIR,
       // 伪域路由行追加裸段关键词（auto-backend 行同时吃 'backend' 命中——域名字面作为
-      // 唯一路由键对 auto- 域过窄，2026-09-21 unmapped 大池路由失效的教训）
+      // 唯一路由键对 auto- 域过窄，2026-09-21 unmapped 大池路由失效的教训）。
+      // 泛词退役（FR-02，2026-10-21-knowledge-tier-denoise）：FR|需求|承接 不再全体域共享
+      // （查询含泛词命中全部 fr 行=注入席位行序抽签病根）；存量行 stripTokens 幂等剥离。
+      stripTokens: FR_ROUTE_STRIP_TOKENS,
       makeLine: (d) => d.startsWith('auto-')
-        ? `- ${d}|${d.slice(5)}|FR|需求|承接 → [${FR_DIR}/${d}.md](${FR_DIR}/${d}.md)`
-        : `- ${d}|FR|需求|承接 → [${FR_DIR}/${d}.md](${FR_DIR}/${d}.md)`,
+        ? `- ${d}|${d.slice(5)} → [${FR_DIR}/${d}.md](${FR_DIR}/${d}.md)`
+        : `- ${d} → [${FR_DIR}/${d}.md](${FR_DIR}/${d}.md)`,
     });
   }
 

package/src/git-helper.js

@@ -15,6 +15,7 @@
 import { execFileSync } from 'node:child_process'
 import { existsSync, readdirSync } from 'node:fs'
 import { join } from 'node:path'
+import { createHash } from 'node:crypto'
 
 /**
  * git C 风格引号路径解码：`\\` `\"` `\n` `\t` 与 `\NNN` 八进制**原始字节**。
@@ -146,6 +147,87 @@ export function git(cwd, args, opts = {}) {
   return trim ? value.trim() : value
 }
 
+/**
+ * 批量对象存在性判定（2026-10-21-protocol-tax task-07 / FR-07）。
+ *
+ * 单次 `git cat-file --batch-check`（SHA 列表走 stdin）替代逐 SHA `cat-file -e`——
+ * Windows 单次 git spawn ~100-150ms，归档锚点校验在 681 归档仓实测串行 25s+，批量化后
+ * 一次 spawn 判完全部。探针形态 `<sha>^{commit}` 与旧逐查同构（tag/tree 对象不算 commit）。
+ *
+ * @param {string} cwd
+ * @param {string[]} shas 40-hex SHA 列表（大小写不敏感，返回键统一小写）
+ * @returns {Map<string, boolean>} sha → 是否为可解析 commit；整批失败返回空 Map
+ *   （调用方查表 miss = false = 不可解析 = 悬空——与逐查失败同向 fail，不静默洗白）
+ */
+export function batchCatFileExists(cwd, shas) {
+  const map = new Map()
+  if (!Array.isArray(shas) || shas.length === 0) return map
+  const probes = shas.map((s) => `${s}^{commit}`)
+  try {
+    const out = execFileSync('git', buildFullArgs(cwd, ['cat-file', '--batch-check']), {
+      encoding: 'utf8', timeout: 30000, maxBuffer: GIT_MAX_BUFFER,
+      input: probes.join('\n') + '\n',
+      env: gitChildEnv(), windowsHide: true,
+    })
+    for (const line of String(out).split('\n')) {
+      // 行形态：可解析 → git 回显**解析后裸 SHA**（不回显输入串）`<sha> commit <size>`；
+      // 不可解析 → 回显输入串 `<sha>^{commit} missing`。统一剥后缀取裸 SHA 作键。
+      const m = line.match(/^([0-9a-f]{40})(?:\^\{commit\})?\s+(\S+)/i)
+      if (m) map.set(m[1].toLowerCase(), m[2] === 'commit')
+    }
+  } catch { /* 整批失败：空表全 miss=悬空（同逐查失败语义） */ }
+  return map
+}
+
+/**
+ * 批量暂存区 blob 内容哈希（2026-10-21-protocol-tax task-07 / FR-07 配套）。
+ *
+ * 单次 `git cat-file --batch`（stdin 逐行 `:path`）替代逐文件 `git show :path`——apply
+ * 交付指纹漂移维度对最近 5 份 manifest × 全部文件逐个起进程，Windows spawn 税可观。
+ * 响应按输入顺序回流：成功 `<oid> blob <size>\n<content>\n`、缺失 `<ref> missing\n`；
+ * 内容与写侧同基（staged blob 即 LF 规范态），sha256 直算 content 字节。
+ *
+ * @param {string} cwd
+ * @param {string[]} paths 仓库相对路径列表
+ * @returns {Map<string, string|null>} path → staged 内容 sha256（null=未暂存/不可解析）；
+ *   整批失败返回空 Map（调用方查表 miss=null=未暂存，与逐查 gitQuiet null 同语义）
+ */
+export function batchStageBlobSha256(cwd, paths) {
+  const map = new Map()
+  if (!Array.isArray(paths) || paths.length === 0) return map
+  let out
+  try {
+    out = execFileSync('git', buildFullArgs(cwd, ['cat-file', '--batch']), {
+      encoding: 'buffer', timeout: 30000, maxBuffer: GIT_MAX_BUFFER,
+      input: paths.map((p) => `:${p}`).join('\n') + '\n',
+      env: gitChildEnv(), windowsHide: true,
+    })
+  } catch { return map }
+  const buf = Buffer.isBuffer(out) ? out : Buffer.from(String(out), 'binary')
+  let pos = 0
+  let idx = 0
+  while (pos < buf.length && idx < paths.length) {
+    const nl = buf.indexOf(0x0a, pos)
+    if (nl === -1) break
+    const header = buf.toString('utf8', pos, nl).trim()
+    pos = nl + 1
+    const parts = header.split(/\s+/)
+    if (parts[parts.length - 1] === 'missing') {
+      map.set(paths[idx], null)
+      idx++
+      continue
+    }
+    const size = Number.parseInt(parts[parts.length - 1], 10)
+    if (!Number.isFinite(size) || pos + size > buf.length) break // 形态意外：截断防错读
+    map.set(paths[idx], createHash('sha256').update(buf.subarray(pos, pos + size)).digest('hex'))
+    pos += size + 1 // 内容 + 尾随换行
+    idx++
+  }
+  // 尾部未覆盖的路径（流截断等）按未暂存处理——与逐查失败同向
+  for (; idx < paths.length; idx++) map.set(paths[idx], null)
+  return map
+}
+
 /**
  * 静默版 git：内部调 git，失败 catch 返回 null（对齐 worktree 本地 gitQuiet() 语义）。
  * ENOBUFS（输出超 GIT_MAX_BUFFER 上限）不是"无输出"，静默成 null 会让调用方把大输出误当空清单——

package/src/handoff.js

@@ -164,6 +164,10 @@ export async function buildHandoff({ cwd, specBase, changeName } = {}) {
   } else {
     lines.push('# （流程终态，无续跑命令）');
   }
+  // 所有权接缝预告（2026-10-21-p0-p1-hardening FR-05 / dsh z2 实证：新会话自拟新 SESSION_ID
+  // 而非沿用交接块导出的旧 ID 时，首个写操作必撞 15 分钟活跃窗被迫 --takeover）：粘贴块内显式
+  // 给出出路，消「交接块没预告接管」的设计缺口。
+  lines.push('# ⚠️ 若换用新的 SILLYSPEC_SESSION_ID（不推荐，保持上方导出值即可）：首个写操作（--done/--answer 等）会撞所有权活跃窗——等窗过期自动接管，或首写带 --takeover 显式接管留痕');
   lines.push('# ── 交接块结束 ──');
   lines.push('');
   lines.push(`📋 ${target}：当前 ${STAGE_LABELS[currentStage] || currentStage}${steps.length > 0 ? `（步骤 ${doneSteps}/${steps.length}）` : ''}${stageCompleted ? ' ✅ 已完成' : ''}`);

package/src/hooks/worktree-guard.js

@@ -67,11 +67,14 @@ const STAGE_HINTS = {
     '  - <可验证标准>"',
     '  逻辑变更(skill sillyspec-brainstorm)：sillyspec run brainstorm → plan → execute → verify → archive',
     '  全自动模式(skill sillyspec-auto)：sillyspec run auto "任务描述"',
+    '',
+    '若在头脑风暴阶段做真原型（变更 key 已出）：sillyspec worktree create <变更名> 进隔离树写原型，',
+    '已在 worktree 内则复用当前目录不重复创建；文档照常主树（worktree 内运行 sillyspec 自动锚回主仓根）。',
   ],
   'brainstorm': [
-    '当前在 brainstorm（需求分析）阶段，这个阶段只写文档，不写代码。',
-    '完成 brainstorm 后，流程会自动推进到 plan → execute。',
-    'execute 阶段才允许写代码。',
+    '当前在 brainstorm（需求分析）阶段：spec 文档写主树；做真原型须先进隔离 worktree——变更 key 已出，运行 sillyspec worktree create <变更名>（已在 worktree 内则复用当前目录，不重复创建），原型代码写 worktree 内。',
+    '文档不受影响：worktree 内运行 sillyspec 会自动锚回主仓根，文档照常落主树。',
+    '完成 brainstorm 后，流程会自动推进到 plan → execute；execute 会复用已建的 worktree。',
   ],
   'plan': [
     '当前在 plan（计划制定）阶段，这个阶段只写计划文档和任务蓝图，不写代码。',
@@ -805,6 +808,12 @@ export function shouldBlockWrite(filePath, cwd) {
   // 2. 文件门禁：文档类/配置类始终放行，但 worktree 存储区内的源码必须继续走登记校验。
   if (!isInsideWorktreeStorage(absPath, projectRoot) && matchFileWhitelist(absPath)) return { blocked: false }
 
+  // 2.5 位置豁免（2026-10-21-brainstorm-proto-worktree）：已注册 worktree（meta.json 登记）
+  // 是隔离区——路径落在其内即放行，不问阶段，与 Bash 侧 worktree-cwd 全放行对称。
+  // 头脑风暴期做真原型的协议出口：变更 key 已出 → sillyspec worktree create → 进树写原型。
+  // 未登记的 worktrees 存储区子目录不沾此豁免（下方阶段门照拦）。
+  if (isInsideRegisteredWorktree(absPath, projectRoot)) return { blocked: false }
+
   if (!['execute', 'quick'].includes(stage)) {
     return {
       blocked: true,