sillyspec 3.33.0 → 3.33.2

package/src/flow-parity.js

@@ -267,13 +267,24 @@ export function renderThinDocsDebt({ specBase, projectRoot, changedFiles } = {})
  */
 export function renderVerifyReceipt({ change, baseline, head, gateSummary, review, traceCount, patchMeta, generatedAt }) {
   const sha = patchMeta && patchMeta.patchSha256 ? patchMeta.patchSha256.slice(0, 12) : null
+  // 空面跨仓冻结（2026-10-19-thin-empty-face-cross-repo-freeze）：JSON-only 留档没有顶级
+  // patchSha256，但 scopeAudit.repos[] 内有跨仓 patch 正文——回执须如实报「跨仓 N 仓」，
+  // 不能写「无冻结件」（否则平台/归档读者把成功冻结误判成缺件）。
+  const repoFrozen = patchMeta && patchMeta.scopeAudit && Array.isArray(patchMeta.scopeAudit.repos)
+    ? patchMeta.scopeAudit.repos.filter((r) => r && typeof r.patch === 'string' && r.patch.length > 0)
+    : []
+  const freezeLine = sha
+    ? `change.patch（sha256 ${sha}…）`
+    : repoFrozen.length > 0
+      ? `跨仓 ${repoFrozen.length} 仓（diff 见 change-patch.json scopeAudit.repos[]；主仓面为空）`
+      : '（无冻结件）'
   const reviewLine = review
     ? review.verdict === 'exempt'
       ? '豁免（低风险证据齐全' + (review.sampled ? '' : '') + '）'
       : `${review.verdict}（reviewer 见 review.json${Number.isFinite(review.findingsP1) ? `，P1 ${review.findingsP1}` : ''}）`
     : '—'
   const headNote = head && baseline && head === baseline
-    ? '（等于基线——交付代码尚未提交，冻结面以 change.patch 实际内容为准）'
+    ? '（等于基线——交付代码尚未提交，冻结面以交付留档实际内容为准：change.patch 或 change-patch.json repos[]）'
     : ''
   return [
     `---`,
@@ -287,7 +298,7 @@ export function renderVerifyReceipt({ change, baseline, head, gateSummary, revie
     `- **实测面**：${gateSummary || '—'}`,
     `- **独立评审**：${reviewLine}`,
     `- **测试绑定**：${traceCount > 0 ? `${traceCount} 行（test-trace.json，已随发号提升）` : '0（无锚行）'}`,
-    `- **交付冻结**：${sha ? `change.patch（sha256 ${sha}…）` : '（无冻结件）'}`,
+    `- **交付冻结**：${freezeLine}`,
     `- **生成**：${generatedAt}（机器合成，勿手改；明细见 flow-telemetry.jsonl / change-patch.json）`,
     ``,
   ].join('\n')
@@ -368,9 +379,23 @@ export default { reconcileModuleDocs, renderVerifyReceipt, harvestSlot4Decision,
  * 反解，baseline 自 flow-state.yaml 读取；不可得（非 git 仓/无 flow-state/git 失败/归档后
  * 目录已移走）= 行为与旧版完全一致。保守：被无后缀裸提交触碰过的文件不剔（fail-closed）。
  */
+// 工具治理模板（2026-10-19-freeze-filter-tool-scaffold）：各 agent 工具的
+// skills/commands/settings 注入面——不是本项目的交付语义，冻结面出现只会刷屏
+// 真实交付（消防工作区 4e9eb05b 实证：61 文件里 50 个是 .claude/.codex 模板）。
+// AGENTS.md / INSTRUCTIONS.md 是项目级指令（可能是变更的真实交付），保留。
+const TOOL_GOVERNANCE_DIRS = ['.claude/', '.codex/', '.gemini/', '.opencode/', '.zcode/', '.cursor/']
+const TOOL_GOVERNANCE_FILES = new Set(['CLAUDE.md'])
+
+export function isToolGovernancePath(f) {
+  const p = String(f || '').replace(/\\/g, '/')
+  if (!p) return false
+  return TOOL_GOVERNANCE_FILES.has(p) || TOOL_GOVERNANCE_DIRS.some((d) => p.startsWith(d))
+}
+
 export function filterCommittedFace(committedRaw, ownPrefix, opts = {}) {
   const base = committedRaw
     .map((f) => String(f).replace(/\\/g, '/'))
+    .filter((p) => !isToolGovernancePath(p))
     .filter((p) => !p.startsWith('.sillyspec/') || p.startsWith('.sillyspec/docs/'))
   try {
     const cwd = opts.cwd || process.cwd()
@@ -409,6 +434,63 @@ export function filterCommittedFace(committedRaw, ownPrefix, opts = {}) {
  * @param {{ cwd: string, change: string, freezeHead: string|null }} opts
  * @returns {{ drifted: boolean, ownCommits: string[], head: string|null, ownFiles: string[], governanceOnly: boolean, touchedPromiseFace: boolean }} ownCommits=本变更后缀提交的 subject 列表（截 80 字）
  */
+/**
+ * 冻结件完整性探针（2026-10-19-thin-empty-face-cross-repo-freeze）：空面跨仓冻结走
+ * JSON-only 留档（主仓面为空，`scopeAudit.repos[]` 承载跨仓 patch 正文，无 change.patch）。
+ * 存在性复查不能把「无 change.patch」一律判缺件——JSON 在场且 repos 内有 patch 正文即完整。
+ * 坏 JSON/读失败按缺件处理（重冻结兜底，fail-safe 不新造静默跳过面）。
+ * @returns {{ hasJson: boolean, hasText: boolean, repoPatchCount: number, complete: boolean }}
+ */
+export function inspectFreezeArtifacts(changeDir) {
+  const patchJsonPath = join(changeDir, 'change-patch.json')
+  const patchTextPath = join(changeDir, 'change.patch')
+  const hasJson = existsSync(patchJsonPath)
+  const hasText = existsSync(patchTextPath)
+  let repoPatchCount = 0
+  let jsonOk = false
+  if (hasJson) {
+    try {
+      const meta = JSON.parse(readFileSync(patchJsonPath, 'utf8'))
+      jsonOk = true
+      const repos = meta && meta.scopeAudit && meta.scopeAudit.repos
+      if (Array.isArray(repos)) {
+        repoPatchCount = repos.filter((r) => r && typeof r.patch === 'string' && r.patch.length > 0).length
+      }
+    } catch { /* 坏 JSON → 按缺件处理（重冻结兜底） */ }
+  }
+  // jsonOk 与 hasText 必须同时成立：change.patch 在场但 change-patch.json 损坏时，
+  // 冻结元数据已不可信（审计面缺锚），不能因正文文件在就判完整。
+  return { hasJson, hasText, jsonOk, repoPatchCount, complete: jsonOk && (hasText || repoPatchCount > 0) }
+}
+
+/**
+ * 冻结缺口标签（存在性复查的调用点共用逻辑，纯函数便于直测）：
+ * 完整 → []；否则给出可读缺件清单（坏 JSON 与真缺件区分，防止「正文在就判完整」盲区）。
+ * @param {{ hasJson?: boolean, hasText?: boolean, jsonOk?: boolean, repoPatchCount?: number, complete?: boolean }} state
+ * @returns {string[]}
+ */
+export function freezeGapLabels(state) {
+  const s = state && typeof state === 'object' ? state : {}
+  if (s.complete === true) return []
+  const gaps = []
+  if (!s.hasJson) gaps.push('change-patch.json')
+  else if (!s.jsonOk) gaps.push('change-patch.json（损坏）')
+  if (!s.hasText && !(Number(s.repoPatchCount) > 0)) gaps.push('change.patch')
+  if (gaps.length === 0) gaps.push('冻结件不完整')
+  return gaps
+}
+
+/**
+ * 冻结缺口标签（目录级入口，flow done 存在性复查的唯一调用面）：
+ * 检查（inspect）与标签（freezeGapLabels）一次封装——调用点直接用本函数，
+ * 直测本函数即覆盖调用点接线（防「探针修了调用点没接」的回归）。
+ * @param {string} changeDir
+ * @returns {string[]}
+ */
+export function missingFreezeLabels(changeDir) {
+  return freezeGapLabels(inspectFreezeArtifacts(changeDir))
+}
+
 export function detectPatchDrift({ cwd, change, freezeHead }) {
   try {
     if (!freezeHead) return { drifted: false, ownCommits: [], head: null, ownFiles: [], governanceOnly: false, touchedPromiseFace: false }
@@ -442,6 +524,7 @@ export function detectPatchDrift({ cwd, change, freezeHead }) {
  */
 export function collectFreezeFiles({ cwd, specBase, change, committed, exclusive }) {
   const deliverable = (f) => !String(f).replace(/\\/g, '/').startsWith('.sillyspec/')
+    && !isToolGovernancePath(f)
   let dirty = []
   try {
     // -uall（2026-10-08-thin-done-dirty-gate-and-paren-attribution）：全新目录会折叠成
@@ -519,6 +602,7 @@ export function scanOrphanFace(cwd, { baseline } = {}) {
     .split('\n').map((s) => s.trim()).filter(Boolean)
   const isAncestor = (sha, of) => git(['merge-base', '--is-ancestor', sha, of], {}) !== null
   const deliverable = (f) => !String(f).replace(/\\/g, '/').startsWith('.sillyspec/')
+    && !isToolGovernancePath(f)
   const orphanCommits = []
   const orphanFiles = new Set()
   for (const h of [...new Set(reflogHashes)]) {
@@ -656,13 +740,17 @@ export function projectTraceFaceRows(rows) {
  * @param {object} meta change-patch.json 顶级增量键（note/moduleScope 等，展开在 totals 后）
  * @returns {{ patchStatus: 'ok'|'failed', patchSha256: string|null }}
  */
-export function writeCloseTraceArtifacts({ changeDir, change, baseline, head, files, metaTotals, patchText, savedAt, snapObj, meta = {} }) {
+export function writeCloseTraceArtifacts({ changeDir, change, baseline, head, files, metaTotals, patchText, savedAt, snapObj, meta = {}, patchStatus = null }) {
   const fileList = Array.isArray(files) ? files : []
   const patchOk = typeof patchText === 'string' && patchText.length > 0
   const patchBody = patchOk ? (patchText.endsWith('\n') ? patchText : patchText + '\n') : null
   const patchSha256 = patchBody
     ? createHash('sha256').update(patchBody.replace(/\r\n/g, '\n'), 'utf8').digest('hex')
     : null
+  // 显式 patchStatus（2026-10-19-thin-empty-face-cross-repo-freeze）：空面跨仓冻结
+  // 没有主仓 patchText，但冻结本身成功——调用方传 'ok' 表达「冻结成功，无主仓 patch」，
+  // 不能复用 patchText 判空落 'failed'（平台/归档读者会把成功冻结误判为采集失败）。
+  const status = patchStatus === 'ok' || patchStatus === 'failed' ? patchStatus : (patchOk ? 'ok' : 'failed')
   if (patchOk) writeFileSync(join(changeDir, 'change.patch'), patchBody)
   writeFileSync(join(changeDir, 'change-patch.json'), JSON.stringify({
     change,
@@ -676,9 +764,9 @@ export function writeCloseTraceArtifacts({ changeDir, change, baseline, head, fi
     ...meta,
     scopeAudit: { ...snapObj },
     ...(patchSha256 ? { patchSha256 } : {}),
-    patchStatus: patchOk ? 'ok' : 'failed',
+    patchStatus: status,
   }, null, 2) + '\n')
-  return { patchStatus: patchOk ? 'ok' : 'failed', patchSha256 }
+  return { patchStatus: status, patchSha256 }
 }
 
 /**

package/src/flow-review-pack.js

@@ -0,0 +1,183 @@
+/**
+ * flow-review-pack.js — 轻量评审任务书预消化材料包（2026-10-19-thin-review-material-pack）。
+ *
+ * 病根：轻量评审任务书把原始件（requirements/design/change.patch）原样丢给零上下文评审员，
+ * 定位类通读 + 大 patch 整吞 prefill 是主要成本（冻结件实测最大 365KB）。完整流程五阶段
+ * 2026-09-19 已为同一病根（评审 ~200x 信息放大）建过材料包（review-material-pack.js），
+ * 本模块把同款机制移植到轻量道，三条护栏（design 记录）：
+ *   ① 纯机械抽取零模型摘要——全部产出来自确定性行/正则解析，防「自述换皮」破坏「不信自述」；
+ *   ② 包=基准面非禁读面——段尾印基准面语义行（照抄完整流程 D-004：包外定向查证须列明、
+ *      包不足写 cannot_verify）；
+ *   ③ 摘要从冻结件本身算——change.patch 文本直解，不走活 git（review-material-pack 的
+ *      extractDiffSummary 走活 git 解 base 那条路不能搬：防「包说的」与评审员手里冻结面漂移）。
+ */
+import { readFileSync } from 'node:fs'
+import { join } from 'node:path'
+
+/** 材料包整体体积帽（对齐 review-material-pack.js PACK_MAX_CHARS 先例——包不能成为新的全量面）。 */
+export const PACK_MAX_CHARS = 12000
+
+/** 段标题与段尾基准面语义行（护栏②：照抄完整流程 D-004 语义——包=基准面非禁读面）。 */
+const PACK_TITLE = '【预消化材料包（CLI 机械抽取——定位索引非证据）】'
+const PACK_BASELINE = '  （基准面：包=定位索引非证据；包外定向查证须列明；包不足以作答写 cannot_verify）'
+
+/** FR 标题行（h3）：### FR-NN: 标题——锚形态与 requirements 机器起草模板一致。 */
+const FR_HEADING_RE = /^###\s+(FR-\d+)\s*[::]?\s*(.*)$/
+
+/** 测试绑定节内行：FR-NN: 绑定内容。 */
+const FR_BINDING_LINE_RE = /^(FR-\d+)\s*[::]\s*(.+)$/
+
+/** diff 文件头：diff --git a/<旧> b/<新>——路径取 b/ 侧（rename 时即新名）。 */
+const DIFF_GIT_RE = /^diff --git a\/(.+?) b\/(.+)$/
+
+/** hunk 头（计数用，不解析行号——摘要只要 hunk 数）。 */
+const HUNK_RE = /^@@ -\d+(?:,\d+)? \+\d+(?:,\d+)? @@/
+
+/**
+ * FR↔测试绑定表解析（纯函数）：h3 FR 标题按出现序成行，「## 测试绑定」节内 `FR-NN: …`
+ * 行按 id 归并。requirements 缺 FR 标题 → 空数组（调用方按该子源零产出处理）。
+ * @returns {{ fr: string, title: string, binding: string }[]}
+ */
+export function parseFrBindingRows(requirementsText) {
+  const lines = String(requirementsText || '').replace(/\r\n/g, '\n').split('\n')
+  const rows = []
+  for (const line of lines) {
+    const m = line.match(FR_HEADING_RE)
+    if (m) rows.push({ fr: m[1], title: String(m[2] || '').trim(), binding: '' })
+  }
+  if (rows.length === 0) return rows
+  let inBinding = false
+  for (const line of lines) {
+    if (/^##\s/.test(line)) { inBinding = /^##\s*测试绑定/.test(line); continue }
+    if (!inBinding) continue
+    const m = line.match(FR_BINDING_LINE_RE)
+    if (m) {
+      const row = rows.find((r) => r.fr === m[1])
+      if (row) row.binding = String(m[2] || '').trim()
+    }
+  }
+  return rows
+}
+
+/**
+ * 冻结 patch 文件级摘要（纯函数）：按 `diff --git` 头分文件，统计每文件 +增/−删行数
+ * （排除 +++/--- 文件名行）与 hunk 数；rename 取 b/ 侧新路径；Binary 行零计数容错。
+ * 无文件头的杂文本 → 空数组（不抛错——垃圾进空出，调用方按零产出处理）。
+ * @returns {{ path: string, plus: number, minus: number, hunks: number }[]}
+ */
+export function parseFrozenPatchSummary(patchText) {
+  const text = String(patchText || '')
+  if (!text.trim()) return []
+  const lines = text.replace(/\r\n/g, '\n').split('\n')
+  const files = []
+  let cur = null
+  for (const line of lines) {
+    const dg = line.match(DIFF_GIT_RE)
+    if (dg) {
+      if (cur) files.push(cur)
+      cur = { path: dg[2].trim(), plus: 0, minus: 0, hunks: 0 }
+      continue
+    }
+    if (!cur) continue
+    if (HUNK_RE.test(line)) { cur.hunks += 1; continue }
+    if (line.startsWith('+++') || line.startsWith('---')) continue
+    if (line.startsWith('+')) cur.plus += 1
+    else if (line.startsWith('-')) cur.minus += 1
+  }
+  if (cur) files.push(cur)
+  return files
+}
+
+/**
+ * 归属切分归一（fail-soft 入参）：非法/缺席 → null（调用方零注入该子段）；数组字段缺省按空。
+ * 文件路径统一正斜杠归一（Windows/WSL 混用兼容——评审对象路径口径与冻结件一致）。
+ */
+function normalizeAttribution(attribution) {
+  if (!attribution || typeof attribution !== 'object' || Array.isArray(attribution)) return null
+  const norm = (p) => String(p || '').replace(/\\/g, '/').replace(/^\.\//, '')
+  const asList = (v) => (Array.isArray(v) ? v.map(norm).filter(Boolean) : [])
+  const foreign = Array.isArray(attribution.foreign)
+    ? attribution.foreign
+      .filter((f) => f && typeof f === 'object' && f.file)
+      .map((f) => ({ file: norm(f.file), owners: Array.isArray(f.owners) ? f.owners.map((o) => String(o)).filter(Boolean) : [] }))
+    : []
+  return { declaredIn: asList(attribution.declaredIn), declaredOut: asList(attribution.declaredOut), foreign }
+}
+
+/** 归属切分三段渲染（2026-10-19-thin-review-dispatch-verbatim）：零计数照常渲染（不静默隐藏）。 */
+function attributionLines(a) {
+  const join = (xs) => (xs.length > 0 ? xs.join('、') : '（无）')
+  const foreignLines = a.foreign.map((f) => `${f.file}←${f.owners.length > 0 ? f.owners.join('/') : '未知变更'}`)
+  return [
+    '  冻结面归属切分（CLI 机械核算——定位索引非证据）：',
+    `  - 声明内（design 变更清单 ∩ 冻结面，${a.declaredIn.length} 文件）：${join(a.declaredIn)}`,
+    `  - 声明外（冻结面−声明清单，${a.declaredOut.length} 文件——共享仓并行混入/生成物候选，抽查即可勿逐文件 git 考古）：${join(a.declaredOut)}`,
+    `  - 他侧归因（提交/声明归属其他变更，${a.foreign.length} 文件）：${join(foreignLines)}`,
+  ]
+}
+
+/**
+ * 归属切分集合运算（纯函数——flow done review 子步装配用）：声明内 = design 变更清单 ∩
+ * 冻结面（他侧归因文件除外，归属歧义按他侧披露处理）；声明外 = 冻结面 − 声明清单 − 他侧
+ * 归因；他侧归因原样归一化（owner 去重保序）。路径统一正斜杠 + 去 `./` 前缀 + 冻结面去重
+ * （Windows/WSL 混用与 patch 同文件多段兼容）。纯集合运算零 IO——git/解析失败由调用方
+ * fail-soft（源头失败 → 不调用本函数）。
+ * @param {{ declaredFiles?: string[], freezeFiles?: string[], foreign?: Array<{file: string, owners?: string[]}> }} args
+ * @returns {{ declaredIn: string[], declaredOut: string[], foreign: Array<{file: string, owners: string[]}> }}
+ */
+export function buildFreezeAttribution({ declaredFiles, freezeFiles, foreign }) {
+  const norm = (p) => String(p || '').replace(/\\/g, '/').replace(/^\.\//, '')
+  const declared = new Set((Array.isArray(declaredFiles) ? declaredFiles : []).map(norm).filter(Boolean))
+  const frozen = [...new Set((Array.isArray(freezeFiles) ? freezeFiles : []).map(norm).filter(Boolean))]
+  const foreignList = (Array.isArray(foreign) ? foreign : [])
+    .filter((f) => f && typeof f === 'object' && f.file)
+    .map((f) => ({ file: norm(f.file), owners: [...new Set((Array.isArray(f.owners) ? f.owners : []).map(String).filter(Boolean))] }))
+  const foreignSet = new Set(foreignList.map((f) => f.file))
+  return {
+    declaredIn: frozen.filter((f) => declared.has(f) && !foreignSet.has(f)),
+    declaredOut: frozen.filter((f) => !declared.has(f) && !foreignSet.has(f)),
+    foreign: foreignList,
+  }
+}
+
+/**
+ * 装配材料包注入行（唯一组包入口）：FR 表、patch 摘要、归属切分三子源各自可得各自产出、
+ * 全缺返回 null（调用方零注入）。体积帽行级截断（不切半行），截断注记置于基准面语义行之前——
+ * 语义行恒为末行；标题+正文+注记+语义行总长恒 ≤ PACK_MAX_CHARS（截断预留注记预算）。
+ * requirements.md 读失败（缺件）→ FR 子段零产出；attribution 缺席/非法 → 归属子段零产出
+ * （fail-soft 不抛穿，其余子段不受影响）。
+ * @param {{ changeDir: string, patchText: string|null, attribution?: object|null }} args
+ * @returns {{ lines: string[], truncated: boolean } | null}
+ */
+export function assembleReviewPack({ changeDir, patchText, attribution = null }) {
+  let frRows = []
+  try {
+    frRows = parseFrBindingRows(readFileSync(join(changeDir, 'requirements.md'), 'utf8'))
+  } catch { /* 缺件 → FR 子段零产出 */ }
+  const summary = parseFrozenPatchSummary(patchText)
+  if (frRows.length === 0 && summary.length === 0) return null
+  const body = []
+  if (frRows.length > 0) {
+    body.push(`  FR↔测试绑定表（requirements.md 机械解析，${frRows.length} 条）：`)
+    for (const r of frRows) body.push(`  - ${r.fr}: ${r.title}${r.binding ? ` ｜ 绑定: ${r.binding}` : ' ｜ 绑定: （无绑定行）'}`)
+  }
+  if (summary.length > 0) {
+    body.push(`  冻结 patch 文件级摘要（change.patch 机械解析，${summary.length} 文件）：`)
+    for (const f of summary) body.push(`  - ${f.path}（+${f.plus}/-${f.minus}，${f.hunks} hunk）`)
+  }
+  const attr = normalizeAttribution(attribution)
+  if (attr) body.push(...attributionLines(attr))
+  const note = `  …（材料包超 ${PACK_MAX_CHARS} 字符截断——需全文时定向查证并列明）`
+  let budget = PACK_MAX_CHARS - PACK_TITLE.length - PACK_BASELINE.length - note.length
+  const lines = [PACK_TITLE]
+  let truncated = false
+  for (const l of body) {
+    const w = l.length + 1
+    if (w > budget) { truncated = true; break }
+    lines.push(l)
+    budget -= w
+  }
+  if (truncated) lines.push(note)
+  lines.push(PACK_BASELINE)
+  return { lines, truncated }
+}

package/src/flow-review.js

@@ -86,6 +86,22 @@ function readSlotAnswer(text, markerRe) {
   return buf.join('\n').trim()
 }
 
+/**
+ * design 四节已答判定（v1 AGENT 槽 / v2 节作答双格式——status 与 task tick 共享单一源，
+ * 2026-10-19-approve-gate-tick-nudge FR-03 上移；判据与 flow status 原内联逻辑逐字一致：
+ * v1 = 槽标记行后紧跟非空行的槽数 ≥3；v2 = DESIGN_QUESTIONS 四节实质作答（问题行剥离）≥3）。
+ */
+export function designSectionsFilled(dText) {
+  const text = String(dText || '').replace(/\r\n/g, '\n')
+  if (!text) return false
+  if (/<!--AGENT:槽\d+/.test(text)) {
+    return Array.from(text.matchAll(/<!--AGENT:槽\d+[^\n]*-->\n(\S)/g)).length >= 3
+  }
+  try {
+    return DESIGN_QUESTIONS_FALLBACK.sections.filter((s) => readV2SectionAnswer(text, s.heading, DESIGN_QUESTIONS_FALLBACK)).length >= 3
+  } catch { return false }
+}
+
 /**
  * 读 v2 纯 markdown design 节作答（2026-10-04-thin-docs-v2）：节标题行到下一节标题之间的
  * 非空行，剥离四问原文行（DESIGN_QUESTIONS 单一源同源引入——独立字符串会被评审实证为
@@ -204,7 +220,7 @@ export function classifyReviewNeed({ changeDir, input = '', patchText = null, ed
  * 印出完整 sha 并要求 review.json 的 reviewedAgainst 照抄；漂移重冻结据此区分「对着旧冻结面的
  * 过期评审」与「对着当前 HEAD 的刚完成评审」（实测竞态：复审 PASS 落盘 26 秒后被误隔离）。
  */
-export function renderReviewerTaskbook({ change, changeDir, head = null, probeLines = null }) {
+export function renderReviewerTaskbook({ change, changeDir, head = null, probeLines = null, packLines = null }) {
   const headFull = String(head || '').trim()
   // 前轮 findings 注入（2026-10-07-wave-auto-adopt-review-dedup task-02）：复审场景（前轮 FAIL/
   // 评审隔离重评）下任务书带上前轮清单——已报项只验修复与回归，重点找新增问题，勿整轮重报
@@ -234,12 +250,29 @@ export function renderReviewerTaskbook({ change, changeDir, head = null, probeLi
       ].join('\n')
     }
   } catch { /* 无 review.json / 损坏 → 首评形态，零注入 */ }
+  // 冻结面形态（2026-10-19-thin-empty-face-cross-repo-freeze）：JSON-only 跨仓冻结没有
+  // change.patch，交付 diff 在 change-patch.json 的 scopeAudit.repos[]——任务书材料与
+  // 对象表述必须指向真实在場的冻结件，否则评审员按缺失文件判 patch 失败。
+  const hasMainPatchFile = existsSync(join(changeDir, 'change.patch'))
+  let repoPatchKeys = []
+  try {
+    const meta = JSON.parse(readFileSync(join(changeDir, 'change-patch.json'), 'utf8'))
+    const repos = meta && meta.scopeAudit && Array.isArray(meta.scopeAudit.repos) ? meta.scopeAudit.repos : []
+    repoPatchKeys = repos
+      .filter((r) => r && typeof r.patch === 'string' && r.patch.length > 0)
+      .map((r) => String(r.key || '?'))
+  } catch { /* 无/坏 JSON → 单仓形态 */ }
+  const freezeLabel = hasMainPatchFile ? 'change.patch 冻结面' : repoPatchKeys.length > 0 ? 'change-patch.json 跨仓冻结面' : '冻结面'
   const taskbook = [
     `⚖️ 独立评审任务书 — ${change}`,
     `══════════════════════════════════════`,
+    // 派发纪律（2026-10-19-thin-review-dispatch-verbatim）：对齐厚道先例（stage-review.js:803 /
+    // index.js:2576）——实测主会话派发时手写缩编 prompt 会把材料包整段丢掉（4 次派发零 pack）；
+    // 检查单/材料包生产权在 CLI，原样复制是纪律不是建议。无条件在场（非可选注入）。
+    `（派发纪律：本任务书原样复制给干净上下文子代理——检查单/材料包生产权在 CLI，勿自行改写、增删或缩编）`,
     `【角色】你是独立评审员（干净上下文，未参与实现）——拿承诺对代码，不信自述，零误报标准。`,
     ...(headFull ? [
-      `【评审对象】工作区实态 + git HEAD（${headFull}）——change.patch 冻结面若落后于该 HEAD，以`,
+      `【评审对象】工作区实态 + git HEAD（${headFull}）——${freezeLabel}若落后于该 HEAD，以`,
       `  工作区实态与 git log/show 核对为准；review.json 的 reviewedAgainst 字段照抄上面的完整 sha。`,
     ] : [
       `【评审对象】工作区实态 + git HEAD——review.json 的 reviewedAgainst 字段填 git rev-parse HEAD`,
@@ -249,7 +282,16 @@ export function renderReviewerTaskbook({ change, changeDir, head = null, probeLi
     `【材料（按需 Read，请求预算硬帽 12 次——超帽即止，包不足以作答写 cannot_verify）】`,
     `  - ${join(changeDir, 'requirements.md')}（FR 承诺 + 每条 FR 的测试绑定作答）`,
     `  - ${join(changeDir, 'design.md')}（设计承诺：做法/接口契约/盲维四问作答/风险）`,
-    `  - ${join(changeDir, 'change.patch')}（交付 diff 冻结件——代码事实的唯一来源）`,
+    ...(hasMainPatchFile
+      ? [`  - ${join(changeDir, 'change.patch')}（交付 diff 冻结件——代码事实的唯一来源）`]
+      : repoPatchKeys.length > 0
+        ? [`  - ${join(changeDir, 'change-patch.json')}（跨仓交付 diff 冻结件——scopeAudit.repos[] 的 ${repoPatchKeys.join('、')} 仓 patch 正文；主仓面为空故无 change.patch，diff 在 JSON 内联）`]
+        : [`  - ${join(changeDir, 'change.patch')}（若缺失按 patch 留档失败处理）`]),
+    // 预消化材料包（2026-10-19-thin-review-material-pack）：CLI 机械抽取的 FR↔测试绑定表 +
+    // 冻结 patch 文件级摘要（flow-review-pack.js 装配，12000 帽行级截断）——砍零上下文评审员
+    // 的定位类读与大 patch 整吞 prefill；段自带基准面语义行（包=索引非证据）；缺省/空数组
+    // 零注入——任务书与现状逐字一致（既有调用方/既有测试零感知）。
+    ...(Array.isArray(packLines) && packLines.length > 0 ? ['', ...packLines] : []),
     ...(priorFindingsMd ? priorFindingsMd.split('\n') : []),
     ``,
     `【检查单（逐条作答，P1=承诺被违反或有数据正确性风险）】`,