sillyspec 3.28.12 → 3.29.0

package/src/review-material-pack.js

@@ -0,0 +1,265 @@
+/**
+ * review-material-pack.js — 评审材料包（2026-09-19-review-material-pack / D-001~D-002）
+ *
+ * 结构病根（2026-09-19 成本复盘实证：评审 ~200x 信息放大）：每次独立评审从零重建仓库认知，
+ * 根因是阶段 prompt 的必读清单（旧 brainstorm.js :417/:424 的两条全读指令——本变更 task-02
+ * 已删）优先级压过增量回灌块。本模块是材料包的组装单点：
+ *   四阶段包形态（D-002）：
+ *     grill-first  = designDigest + fileList + crossPoints[≤5] + snippets[]（点名源码片段）
+ *     plan-review  = hardConstraintDelta[]（plan 相对 design 硬约束的差量）
+ *     execute-qa   = diffSummary + designHotZone + checklist
+ *     re-review    = priorFindings + fixDiff（经 {PRIOR_REVIEW_FACTS} 复审基线段渲染，非本模块槽）
+ *   槽位分权（design Wave 1.1）：三阶段走 {REVIEW_MATERIALS}；再审走 {PRIOR_REVIEW_FACTS}
+ *   （stage-review.js renderPriorRoundFindingsMd 排他语化——task-02）且模板不含本槽。
+ *
+ * 基准面语义（D-004，由 task-02 写进 prompt）：包是必答基准面非禁读清单——包外可定向查证
+ * 但须列明、禁全量扫读；评审者自检「包不足→cannot_verify＋列缺件」。
+ *
+ * 纯函数为主；extractDiffSummary 的 base 解序复用 resolveVerifyChangedFiles（verify-postcheck.js:1113
+ * 既有锚点优先级 actualBaseHash/baselineCommit＞baseHash——禁独立解 base，防重蹈 baseline
+ * 同步文件误入坑，fact-face-checkpoint-pollution 同族）。
+ *
+ * CLI 半边装配（2026-09-19-review-material-cli-wiring，Gap 1 收口）：assembleStageReviewMaterials
+ * 是 prompt.js tier 注入链的组包入口——机械抽素材半边（designDigest/fileList/硬约束/diff/热区/
+ * checklist），主代理点名半边（五交叉点/plan 差量）留位不预填（decisions.md D-002）。
+ */
+import { readFileSync } from 'fs'
+import { join } from 'path'
+import { REVIEW_CHECKLISTS } from './stage-review-checklist.js'
+
+/** 材料包渲染上限（防病态体量：包本身不能成为新的全量扫读面） */
+const PACK_MAX_CHARS = 12000
+const SNIPPET_MAX_CHARS = 2400
+
+/** 截断工具：超限加省略号注记 */
+function clamp(text, max, label) {
+  const s = String(text || '')
+  if (s.length <= max) return s
+  return s.slice(0, max) + `\n…（${label} 超 ${max} 字符截断——需全文时定向查证并列明）`
+}
+
+/**
+ * design 热区抽取（execute.js:979-1023 designHotzone 先例泛化）：按节名抽取指定 section 的
+ * 正文（## 标题起、下一 ## 止）。sections 缺省取评审最常用的两节（非目标/兼容策略）。
+ * @returns {string} 「### <节名>\n<body」拼接；无命中返回空串。
+ */
+export function extractDesignHotZone(designContent, sections = ['非目标', '兼容策略']) {
+  const text = String(designContent || '')
+  if (!text) return ''
+  const parts = []
+  for (const name of sections) {
+    const re = new RegExp(`^#{2,3}\\s*[^\\n]*${name.replace(/[.*+?^${}()|[\]\\]/g, '\\$&')}[^\\n]*$`, 'm')
+    const heading = text.match(re)
+    if (!heading) continue
+    const start = heading.index + heading[0].length
+    const rest = text.slice(start)
+    const next = rest.match(/^#{2,3}\s/m)
+    const body = (next ? rest.slice(0, next.index) : rest).trim()
+    if (body) parts.push(`### ${name}\n${body}`)
+  }
+  return parts.join('\n\n')
+}
+
+/**
+ * diff 摘要抽取（base 解序对齐既有基建）：文件名单委托 resolveVerifyChangedFiles（锚点优先级
+ * actualBaseHash/baselineCommit＞baseHash 由该函数内部解析），±行数经 git diff --stat 叠加。
+ * namesOnly 版不跑 --stat（评审只要名单时省一次 git）。
+ * @returns {{ files: string[], stat: string }} stat 为 --stat 尾段文本（best-effort，失败空串）。
+ */
+export async function extractDiffSummary({ cwd, changeName, specBase, withStat = true, statText = null }) {
+  const { resolveVerifyChangedFiles } = await import('./verify-postcheck.js')
+  const files = resolveVerifyChangedFiles(cwd, changeName, null, { specBase }) || []
+  // QA Gap 3 修正：stat 窗口对齐文件名单（按名单限定路径跑工作树口径 --stat，伪装 HEAD~1 三元已除）；
+  // 多提交窗口的精确 stat 由主代理组包时显式传入 statText 覆盖（buildReviewMaterialPack 的
+  // diffSummary.stat 消费同一字符串）——base 解序仍单点在 resolveVerifyChangedFiles 内部。
+  let stat = statText != null ? String(statText) : ''
+  if (statText == null && withStat && files.length > 0) {
+    try {
+      const { safeGit } = await import('./git-helper.js')
+      // safeGit 返回 { value, error } 非裸串（git-helper.js:95）——取 .value；此前 String(整个对象)
+      // 渲染成 [object Object]（2026-09-19-review-material-cli-wiring dogfood 注入接线时咬出：
+      // 零生产调用期潜伏，接线后成活面）。
+      const out = safeGit(cwd, ['diff', '--stat', 'HEAD', '--', ...files], { trim: false })
+      stat = String((out && out.value) || '')
+    } catch { /* stat best-effort：失败只降级为名单 */ }
+  }
+  return { files, stat: clamp(stat, 2000, 'diff --stat') }
+}
+
+/**
+ * 源码片段抽取（点名文件×行窗）：crossPoints 的 snippets 组装器。
+ * @param {Array<{file: string, from?: number, to?: number}>} anchors
+ * @returns {string} 「`file:from-to`\n```…```」拼接（每片段独立 clamp）。
+ */
+export function extractSnippets(repoRoot, anchors = []) {
+  const parts = []
+  for (const a of anchors.slice(0, 8)) {
+    if (!a || !a.file) continue
+    try {
+      const lines = readFileSync(join(repoRoot, a.file), 'utf8').split('\n')
+      const from = Math.max(1, Number(a.from) || 1)
+      const to = Math.min(lines.length, Number(a.to) || from + 29)
+      const body = lines.slice(from - 1, to).map((l, i) => `${from + i}\t${l}`).join('\n')
+      parts.push('`' + a.file + ':' + from + '-' + to + '`\n' + clamp(body, SNIPPET_MAX_CHARS, a.file))
+    } catch { /* 不可读文件跳过（评审者自检会列缺件） */ }
+  }
+  return parts.join('\n\n')
+}
+
+/**
+ * 四阶段材料包组装（纯渲染，不落盘）。
+ * @param {'grill-first'|'plan-review'|'execute-qa'|'re-review'} stage
+ * @param {object} inputs 按 stage 取用：
+ *   grill-first: { designDigest, fileList[], crossPoints[{title,anchors[{file,from,to}]}], repoRoot }
+ *   plan-review: { hardConstraints[{id,text}], planDelta[{id,status,note}] }
+ *   execute-qa:  { diffSummary{files,stat}, designContent, checklist[] }
+ *   re-review:   { priorFindingsMd, fixDiff } （提示：re-review 经 {PRIOR_REVIEW_FACTS} 渲染，
+ *                本函数产出仅供该渲染体拼装——不进 {REVIEW_MATERIALS} 槽，槽位分权铁律）
+ * @returns {string} 注入文本（含基准面语义头）
+ */
+export function buildReviewMaterialPack(stage, inputs = {}) {
+  const header = '## 评审材料包（基准面——checklist 逐条只对本包作答；包外定向查证合法但须列明，禁全量扫读；包不足以作答时 cannot_verify＋列缺件）\n'
+  let body = ''
+  if (stage === 'grill-first') {
+    const pts = (inputs.crossPoints || []).slice(0, 5).map((p, i) => `${i + 1}. ${p.title}${p.anchors && p.anchors.length ? '\n' + extractSnippets(inputs.repoRoot || '.', p.anchors) : ''}`)
+    body = [
+      '### design 要点', clamp(inputs.designDigest || '', 4000, 'designDigest'),
+      '### 文件清单', (inputs.fileList || []).map(f => '- ' + f).join('\n') || '（无）',
+      '### 五个交叉点（主代理点名）', pts.join('\n') || '（无——主代理未点名，评审者按 cannot_verify 列缺件）',
+    ].join('\n\n')
+  } else if (stage === 'plan-review') {
+    const hc = (inputs.hardConstraints || []).map(h => `- [${h.id}] ${h.text}`).join('\n')
+    const delta = (inputs.planDelta || []).map(d => `- [${d.id}] ${d.status}${d.note ? '——' + d.note : ''}`).join('\n')
+    body = ['### design 硬约束', hc || '（无）', '### plan 差量（逐约束判定：一致/偏离/未覆盖）', delta || '（无——主代理未提供差量，评审者按 cannot_verify 列缺件）'].join('\n\n')
+  } else if (stage === 'execute-qa') {
+    body = [
+      '### diff 摘要', (inputs.diffSummary && inputs.diffSummary.files || []).map(f => '- ' + f).join('\n') || '（无）',
+      inputs.diffSummary && inputs.diffSummary.stat ? '```diff\n' + inputs.diffSummary.stat + '\n```' : '',
+      '### design 热区（CLI 抽取）', extractDesignHotZone(inputs.designContent || '') || '（无命中节）',
+      '### 验收清单', (inputs.checklist || []).map(c => '- [ ] ' + c).join('\n') || '（无）',
+    ].filter(Boolean).join('\n\n')
+  } else if (stage === 're-review') {
+    body = ['### 上一轮 findings', clamp(inputs.priorFindingsMd || '', 4000, 'priorFindings'), '### 对应修复 diff', clamp(inputs.fixDiff || '', 4000, 'fixDiff')].join('\n\n')
+  } else {
+    return ''
+  }
+  return clamp(header + '\n' + body, PACK_MAX_CHARS, '材料包')
+}
+
+// ══ CLI 半边素材装配（2026-09-19-review-material-cli-wiring，Gap 1 收口）══════════
+// prompt.js tier 注入链的组包入口：机械抽取各阶段素材后调 buildReviewMaterialPack。
+// 主代理点名半边（grill 五交叉点 / plan 差量判定）恒不预填——留位缺件提示由模板补位
+// 指引接手（decisions.md D-002）。re-review 不在本函数面（两槽互斥铁律，走
+// {PRIOR_REVIEW_FACTS}）。整体 best-effort：异常/素材全缺 → ''（与占位符缺失同态）。
+
+/** design.md 章节行号索引（execute.js:1011 先例）：`L<行> ## <节名>` 全列。 */
+function sectionIndexLines(designContent) {
+  const out = []
+  String(designContent || '').split('\n').forEach((l, i) => {
+    const m = l.match(/^##\s+(.+)$/)
+    if (m) out.push(`L${i + 1} ## ${m[1].trim()}`)
+  })
+  return out
+}
+
+/** 抓 section 裸正文（## 标题起、下一 ## 止）——extractDesignHotZone 的无拼装版。 */
+function sectionBody(text, name) {
+  const re = new RegExp(`^#{2,3}\\s*[^\\n]*${name.replace(/[.*+?^${}()|[\]\\]/g, '\\$&')}[^\\n]*$`, 'm')
+  const heading = text.match(re)
+  if (!heading) return ''
+  const start = heading.index + heading[0].length
+  const rest = text.slice(start)
+  const next = rest.match(/^#{2,3}\s/m)
+  return (next ? rest.slice(0, next.index) : rest).trim()
+}
+
+/** design.md「文件变更清单」表路径列机械解析（第二列剥反引号与 NEW:/MOD: 前缀——操作列已含
+ *  新增/修改语义，前缀不重复进清单；表头/分隔行跳过；cap 40）。 */
+function extractDesignFileList(designContent) {
+  const body = sectionBody(designContent, '文件变更清单')
+  const out = []
+  for (const line of body.split('\n')) {
+    const t = line.trim()
+    if (!t.startsWith('|')) continue
+    const cols = t.split('|').map(c => c.trim())
+    if (cols.length < 3) continue
+    const path = (cols[2] || '').replace(/^`+|`+$/g, '').replace(/^(?:NEW|MOD):/, '')
+    if (!path || path === '文件路径' || /^-+$/.test(path)) continue
+    out.push(path)
+  }
+  return out.slice(0, 40)
+}
+
+/** design.md「全局硬约束」节编号/圆点行 → [{id:'HC-n', text}]（cap 10）。 */
+function extractHardConstraints(designContent) {
+  const body = sectionBody(designContent, '全局硬约束')
+  const out = []
+  for (const line of body.split('\n')) {
+    const m = line.match(/^\s*(?:\d+[.、)]|[-*])\s+(.+)$/)
+    if (!m) continue
+    const text = m[1].trim()
+    if (text) out.push({ id: `HC-${out.length + 1}`, text })
+    if (out.length >= 10) break
+  }
+  return out
+}
+
+/** decisions.md accepted 且 P0/P1 的条目兜底（design 缺「全局硬约束」节时）——cap 10。 */
+function extractDecisionConstraints(decisionsContent) {
+  const out = []
+  for (const b of String(decisionsContent || '').split(/^##\s+/m).slice(1)) {
+    const hm = (b.split('\n')[0] || '').match(/^(D-\d+@\w+):\s*(.+)$/)
+    if (!hm) continue
+    const status = (b.match(/^-\s*status:\s*(\w+)/m) || [])[1]
+    const prio = (b.match(/^-\s*priority:\s*(P[012])/m) || [])[1]
+    if (status !== 'accepted' || (prio !== 'P0' && prio !== 'P1')) continue
+    out.push({ id: hm[1], text: `${hm[2].trim()}（${prio} 决策）` })
+    if (out.length >= 10) break
+  }
+  return out
+}
+
+/**
+ * CLI 半边素材装配（详见文件首注释块）。cwd 仅作 grill 阶段 extractSnippets 的 repoRoot
+ * 传递（交叉点留位时不触达）；diff 解序单点在 extractDiffSummary→resolveVerifyChangedFiles。
+ * @param {'grill-first'|'plan-review'|'execute-qa'} stage
+ * @returns {Promise<string>} 注入文本；素材全缺/未知 stage/参数缺失 → ''。
+ */
+export async function assembleStageReviewMaterials({ stage, cwd, changeName, specBase }) {
+  try {
+    if (!stage || !changeName || !specBase) return ''
+    const changeDir = join(specBase, 'changes', changeName)
+    let designContent = ''
+    try { designContent = readFileSync(join(changeDir, 'design.md'), 'utf8') } catch { /* design 缺失→按阶段判定素材是否全缺 */ }
+    if (stage === 'grill-first') {
+      if (!designContent) return ''
+      const idx = sectionIndexLines(designContent)
+      const digestBody = extractDesignHotZone(designContent, ['背景', '设计目标'])
+      const designDigest = [
+        idx.length ? '章节行号索引（需要其余章节时按行号定向读并列明，禁全量扫读）：\n' + idx.join('\n') : '',
+        digestBody,
+      ].filter(Boolean).join('\n\n') || '（design 无背景/设计目标/章节可抽取——按章节索引定向读 design.md 对应节并列明）'
+      return buildReviewMaterialPack('grill-first', {
+        designDigest,
+        fileList: extractDesignFileList(designContent),
+        crossPoints: [],
+        repoRoot: cwd,
+      })
+    }
+    if (stage === 'plan-review') {
+      let hardConstraints = extractHardConstraints(designContent)
+      if (hardConstraints.length === 0) {
+        try { hardConstraints = extractDecisionConstraints(readFileSync(join(changeDir, 'decisions.md'), 'utf8')) } catch { /* decisions 缺失→素材全缺 */ }
+      }
+      if (hardConstraints.length === 0) return ''
+      return buildReviewMaterialPack('plan-review', { hardConstraints, planDelta: [] })
+    }
+    if (stage === 'execute-qa') {
+      const diffSummary = await extractDiffSummary({ cwd, changeName, specBase })
+      if (!designContent && (!diffSummary || (diffSummary.files || []).length === 0)) return ''
+      return buildReviewMaterialPack('execute-qa', { diffSummary, designContent, checklist: REVIEW_CHECKLISTS.execute })
+    }
+    return ''
+  } catch { /* 装配 best-effort：失败零注入（与占位符缺失同态） */ }
+  return ''
+}

package/src/review-tier.js

@@ -7,71 +7,215 @@
  *   scanProfile（决定 maxAgentCalls / 是否禁子代理）只在 scan 阶段生效（run.js:810
  *   门控 stageName==='scan'）；change-risk-profile 的 P0/P1/P2 只管 apply 阻塞与
  *   verify 证据。两者都不约束 brainstorm/plan/execute/propose 的审查方式。
- *   故新选「plan_level / 变更文件数」作为审查分级维度。
  *
- * 分级结果：
- *   - tier=self         → 当前 agent 自审，CLI 放行（不要求 review.json）
- *   - tier=independent  → 强制独立审查子代理 + review.json，CLI 硬校验
+ * 2026-09-18-ceremony-risk-pricing task-02（FR-02 / D-002）：分级判定权从「plan_level
+ * 三分支＋文件数≤3 启发式」移交 ceremony-tier.js 三轴定价引擎——classifyReviewTier
+ * 组装 blast/span/friction 输入后委托 computeCeremonyTier 取档，评审 tier 由档位映射：
+ *   S0/S1 → self（S1 reason 附 CLI 清单核验提示文案）
+ *   S2   → independent×1（单轮独立审查子代理）
+ *   S3   → independent（多轮语义由 prompt 侧渲染）
  *
- * CLI 侧（run.js done gate）与 prompt 注入侧用同一个函数，保证两边判定一致。
- * 判定权归 agent 的 plan_level 自主判断（CLI 只做确定性映射，见 classifyReviewTier 注释）；
- * 无 plan_level 的阶段才退文件数启发式。
+ * 输入组装（调用方零适配，brownfield 兼容）：
+ *   - riskDetection：调用侧透传 detectChangeRisk 判级输出（升档接线属 task-03 / prompt
+ *     档位化属 task-05）；缺失时 plan_level 代理映射（none→doc-only / light→
+ *     unit-sufficient / full→contract-required，经引擎档位等价复刻旧三分支行为）；都缺 →
+ *     引擎 brownfield 保守缺省 S2（不静默降级）。
+ *   - declaredFiles：design.md 变更清单解析（span 轴；fileCount 返回字段同源）。
+ *   - frictionCounts：调用侧 ledger 口径透传，缺省空账（friction 轴不参与）。
+ *
+ * 旧「design 文件数≤SELF_REVIEW_FILE_THRESHOLD 判 self」降级为断路器：仅在 blast 为
+ * brownfield 保守缺省 S2 且 span/friction 均未起爆时复刻旧启发式的 ≤ 阈值 arm 保现状
+ * 兼容（≤3 文件小变更不因缺 risk 输入被升仪，ceremonyTier 仍如实报 S2 供审计）；真实
+ * 信号在场（riskDetection 输入 / span 起爆 / friction 起爆）时引擎档强制，文件数不再
+ * 独自决定 independent。
+ *
+ * 返回双字段过渡（R-05）：{ tier, ceremonyTier, reason, fileCount }——tier/reason/fileCount
+ * 现字段语义保留（gates.js:1031 与 prompt.js:1158 消费 tier.reason），ceremonyTier 为
+ * 引擎档（S0~S3）。回退路径：委托收敛在 classifyReviewTier 单点，摘除即回旧文件数规则。
  */
 
 import { parseFileChangeList } from './change-list.js'
+import { computeCeremonyTier, CEREMONY_TIERS } from './ceremony-tier.js'
+import { resolveChangeRisk, extractExplicitRiskLevel } from './change-risk-profile.js'
+import { readFileSync, existsSync } from 'fs'
+import { join, dirname, basename } from 'path'
+import { loadBlastDeclarationsAllProjects } from './blast-surface.js'
+import { loadSpanRiskPatternsAllProjects } from './span-risk-surface.js'
 
 /**
- * 审查分级阈值：变更文件数 ≤ 此值 → tier=self。
- * 依据：≤3 文件的变更通常是单点修复/文案调整，独立审查子代理的仪式成本 > 收益。
+ * 审查分级阈值：变更文件数 ≤ 此值 → 旧启发式断路器命中（brownfield 兼容倾向 self）。
+ * 2026-09-18 task-02 起降级为 brownfield 断路器（见 classifyReviewTier 注释），
+ * 不再独自决定 independent——评审档由 computeCeremonyTier 定。
  */
 export const SELF_REVIEW_FILE_THRESHOLD = 3
 
+/** plan_level → blast 代理映射（无 riskDetection 输入时的 brownfield 兼容：经引擎等价复刻旧三分支） */
+const PLAN_LEVEL_BLAST_PROXY = {
+  none: 'doc-only',
+  light: 'unit-sufficient',
+  full: 'contract-required',
+}
+
+/** plan_level 归一：非 none/light/full 一律视同无锚点（与旧实现 fall-through 语义一致） */
+function normalizePlanLevel(planLevel) {
+  return planLevel === 'none' || planLevel === 'light' || planLevel === 'full' ? planLevel : null
+}
+
 /**
- * 审查分级
- *
- * 判定权归 agent 的 plan_level 判定（2026-08-14 tier-plan-level 改造）：plan_level 是 agent
- * 在 plan step1 按 prompt 分级规则做的自主判断，tier 直接映射它——CLI 不再用文件数启发式
- * 推翻 agent 判定（此前 light + 4 文件会被文件数强制 independent，两套标准打架且不透明，
- * 实证：agent 判 light 自审通过，完成时 CLI 按 7 文件强制 independent review.json）。
+ * 审查分级（评审档由 computeCeremonyTier 三轴定价决定）
  *
- * 判定顺序（短路）：
- *   1. plan_level === 'none'  → self（极小变更）
- *   2. plan_level === 'light' → self（agent 自主判定轻量，自审）
- *   3. plan_level === 'full'  → independent（full 语义即大变更需独立审查，CLI 确定性强制）
- *   4. 无 plan_level（brainstorm 等阶段 plan.md 未生成）→ 退文件数启发式：
- *      design.md 变更文件数 ≤ SELF_REVIEW_FILE_THRESHOLD → self，否则 independent
+ * 判定顺序：
+ *   1. 组装 blast 输入（ql-20260918-007 双轨修复）：riskDetection（调用侧透传）＞ design/plan
+ *      实判（designPath 可读即真跑 detectChangeRisk + extractExplicitRiskLevel 并入）＞ plan_level
+ *      代理映射（无 designPath 兜底）＞ 引擎 brownfield 保守缺省 S2；档位文件（阶段门已结算价，
+ *      含摩擦升档）在场且更高时兜底并入；declaredFiles 取 design.md 变更清单；frictionCounts 缺省空账
+ *   2. 委托 computeCeremonyTier 取档 → ceremonyTier（S0~S3）
+ *   3. 档位映射评审 tier：S0/S1 → self（S1 附 CLI 清单核验提示）；S2 → independent×1；
+ *      S3 → independent（多轮语义由 prompt 侧渲染）
+ *   4. 旧文件数断路器（降级兼容）：blast 为 brownfield 纯缺省 S2 且 span/friction 均未
+ *      起爆时，fileCount ≤ SELF_REVIEW_FILE_THRESHOLD → self（复刻旧启发式 ≤ 阈值 arm，
+ *      行为近似现状不静默降级；真实信号在场时本断路器不适用，引擎档强制）
  *
- * fail-safe：无 plan_level 且 designPath 传了但解析不到文件清单（fileCount=0）按字面 0
- * 处理（真无文件变更 = 极小）；designPath 完全没传（fileCount=null，无法证明规模）→
- * independent（宁严勿松）。
+ * fail-safe：designPath 完全没传（fileCount=null，无法证明规模）→ 不走断路器 →
+ * brownfield S2 → independent（宁严勿松）；riskDetection.level 未知 → 引擎保守缺省 S2。
  *
  * @param {object} [opts]
  * @param {string} [opts.planLevel] - plan_level 分类结果（none/light/full）。brainstorm/propose 在 plan 之前，可能拿不到。
- * @param {string} [opts.designPath] - design.md 绝对路径，用于算变更文件数
- * @returns {{ tier: 'self'|'independent', reason: string, fileCount: number|null }}
+ *   2026-09-18 task-02 起为 brownfield 代理信号：仅无 riskDetection 输入时参与 blast 映射。
+ * @param {string} [opts.designPath] - design.md 绝对路径，用于算变更文件数（span 轴 declaredFiles 同源）
+ * @param {{level: string}} [opts.riskDetection] - detectChangeRisk 判级输出（task-01 契约，只消费 level）；
+ *   在场时优先于 plan_level 代理（plan_level 降级为编排标签，不再定价）
+ * @param {object} [opts.frictionCounts] - friction-ledger 累计账口径 { gate_rollback, review_rejected }
+ *   （携 verify_run_failed 第三键透传容忍）；缺省空账
+ * @returns {{ tier: 'self'|'independent', ceremonyTier: 'S0'|'S1'|'S2'|'S3', reason: string, fileCount: number|null }}
  */
-export function classifyReviewTier({ planLevel, designPath } = {}) {
-  if (planLevel === 'none') {
-    return { tier: 'self', reason: 'plan_level=none（极小变更，agent 自主判定自审）', fileCount: null }
+export function classifyReviewTier({ planLevel, designPath, riskDetection, frictionCounts } = {}) {
+  const normalizedPlanLevel = normalizePlanLevel(planLevel)
+  const hasRiskDetection = riskDetection != null && typeof riskDetection === 'object'
+
+  // design.md 变更清单：fileCount 返回字段（现语义）＋ span 轴 declaredFiles 输入（同源一次解析）
+  let fileCount = null
+  let declaredFiles = []
+  if (designPath) {
+    declaredFiles = [...parseFileChangeList(designPath)]
+    fileCount = declaredFiles.length
   }
-  if (planLevel === 'light') {
-    return { tier: 'self', reason: 'plan_level=light（agent 自主判定轻量变更，自审）', fileCount: null }
+
+  // blast 输入组装（ql-20260918-007 双轨修复 + 2026-09-19-ceremony-pricing-five-cuts task-03 声明面切换）：
+  // riskDetection ＞ design/plan 实判（resolveChangeRisk 声明面：declaredFiles × blast 声明 + explicit）＞
+  // plan_level 代理 ＞ undefined。实判优先治「full 代理把 S1 推成 S2」的双轨（回放实验实证：
+  // 档位文件 S1 vs 审查面 S2）——designPath 可读即真跑声明面判级，plan_level 代理降为无
+  // designPath 的 brownfield 兜底（plan_level 仅编排，D-002）。
+  let blastInput = null
+  let blastSource = null
+  let explicitInput = null
+  // span 轴声明面（2026-09-19-span-risk-pattern-migration task-03）：与 blast 实判同 caliber——
+  // designPath 可读时按其推导 specBase 装载 AllProjects 并集（loadBlastDeclarationsAllProjects
+  // 同款用法）；riskDetection 透传（调用方自带判级）或推导失败 → 空表（span 模式维关闭，D-003）
+  let spanRiskPatterns = []
+  if (hasRiskDetection) {
+    blastInput = riskDetection
+    blastSource = `riskDetection.level=${riskDetection.level}`
+  } else if (designPath) {
+    try {
+      const designContent = readFileSync(designPath, 'utf8')
+      explicitInput = extractExplicitRiskLevel(designContent)
+      // specBase 推导：designPath 形如 <specBase>/changes/<change>/design.md（worktree/主仓同形）
+      // → 三层 dirname（QA 实证：两层只得 <specBase>/changes、声明面装载恒空表）。推导失败
+      // （非常规路径）→ 空声明面（S1 起步不拦审查分级）。
+      const specBase = dirname(dirname(dirname(designPath)))
+      const blastDeclarations = loadBlastDeclarationsAllProjects({ specBase })
+      spanRiskPatterns = loadSpanRiskPatternsAllProjects({ specBase })
+      const risk = resolveChangeRisk({ files: declaredFiles, blastDeclarations, explicitRiskLevel: explicitInput })
+      blastInput = { level: risk.level }
+      blastSource = `声明面判级 tier=${risk.tier}/level=${risk.level}（design 文件清单 × blast 声明，D-008；explicit=${risk.explicit}）`
+    } catch {
+      // design 读失败 → 降回代理链（不因 IO 异常拦审查分级）
+      blastInput = null
+    }
   }
-  if (planLevel === 'full') {
-    return { tier: 'independent', reason: 'plan_level=full（agent 自主判定大变更，独立审查防确认偏差）', fileCount: null }
+  if (blastInput === null) {
+    if (normalizedPlanLevel) {
+      blastInput = { level: PLAN_LEVEL_BLAST_PROXY[normalizedPlanLevel] }
+      blastSource = `plan_level=${normalizedPlanLevel} 代理映射 ${PLAN_LEVEL_BLAST_PROXY[normalizedPlanLevel]}`
+    } else {
+      blastInput = undefined
+      blastSource = '无 risk 输入，brownfield 保守缺省'
+    }
   }
 
-  let fileCount = null
+  // 档位文件兜底（canon 真相源，含摩擦升档）：designPath 推导 <specBase>/.runtime/ceremony-tier-<change>.json，
+  // 在场且高于实判档时并入（只升不降语义——档位文件是阶段门已结算的权威价，实判只补内容升级面）
+  let tierFileTier = null
   if (designPath) {
-    fileCount = parseFileChangeList(designPath).size
+    try {
+      const changeDir = dirname(designPath)
+      const tierPath = join(dirname(dirname(changeDir)), '.runtime', `ceremony-tier-${basename(changeDir)}.json`)
+      if (existsSync(tierPath)) {
+        const tf = JSON.parse(readFileSync(tierPath, 'utf8'))
+        if (tf && CEREMONY_TIERS.includes(tf.tier)) tierFileTier = tf.tier
+      }
+    } catch { /* 坏档当无档（实判仍兜底） */ }
   }
 
-  if (fileCount !== null && fileCount <= SELF_REVIEW_FILE_THRESHOLD) {
-    return { tier: 'self', reason: `无 plan_level，变更文件 ${fileCount} ≤ ${SELF_REVIEW_FILE_THRESHOLD}（启发式）`, fileCount }
+  // 委托三轴定价引擎取档（ceremony-tier.js 单点真相源）
+  const priced = computeCeremonyTier({ riskDetection: blastInput, explicitRiskLevel: explicitInput, declaredFiles, spanRiskPatterns, frictionCounts })
+  let ceremonyTier = priced.tier
+  if (tierFileTier && CEREMONY_TIERS.indexOf(tierFileTier) > CEREMONY_TIERS.indexOf(ceremonyTier)) {
+    ceremonyTier = tierFileTier
   }
+  const tierFileNote = tierFileTier ? `；档位文件 ${tierFileTier} 兜底${tierFileTier === ceremonyTier ? '并入' : '在场（未高于实判，不生效）'}` : ''
+
+  // brownfield 纯缺省判定：档位完全来自 blast 保守缺省（无 risk 输入、无 plan_level 代理、
+  // 无档位文件、span/friction 均未起爆）——旧文件数断路器的唯一适用面
+  const brownfieldPureDefault =
+    blastInput === undefined && tierFileTier === null && priced.components.span === 'S0' && priced.components.friction === 'S0'
 
-  const reason = fileCount === null
-    ? '无法解析 design.md 变更文件清单，按正常规模处理（fail-safe）'
-    : `无 plan_level，变更文件 ${fileCount} > ${SELF_REVIEW_FILE_THRESHOLD}（启发式）`
-  return { tier: 'independent', reason, fileCount }
+  // blast 来源文案已在组装段生成（blastSource，含实判/代理/缺省三态）；此处仅追加档位文件注记
+
+  // ── 旧文件数断路器（降级兼容，R-05 过渡期形态）──
+  if (brownfieldPureDefault && fileCount !== null && fileCount <= SELF_REVIEW_FILE_THRESHOLD) {
+    return {
+      tier: 'self',
+      ceremonyTier,
+      reason: `无 plan_level，变更文件 ${fileCount} ≤ ${SELF_REVIEW_FILE_THRESHOLD}（启发式断路器保兼容）；ceremony 档 ${ceremonyTier}（blast：${blastSource}，span/friction 未起爆不升仪）${tierFileNote}`,
+      fileCount,
+    }
+  }
+
+  // ── S0/S1 → self（S1 附 CLI 清单核验提示文案，D-005 轻仪菜单）──
+  if (ceremonyTier === 'S0' || ceremonyTier === 'S1') {
+    const base = normalizedPlanLevel === 'none'
+      ? 'plan_level=none（极小变更，agent 自主判定自审）'
+      : normalizedPlanLevel === 'light'
+        ? 'plan_level=light（agent 自主判定轻量变更，自审）'
+        : `ceremony 档 ${ceremonyTier} 判 self`
+    const s1Hint = ceremonyTier === 'S1'
+      ? '；S1 仪式=CLI 清单核验（按 design 变更清单逐项自检核对，无需独立审查子代理）'
+      : ''
+    return {
+      tier: 'self',
+      ceremonyTier,
+      reason: `${base}；ceremony 档 ${ceremonyTier}（blast：${blastSource}）${s1Hint}${tierFileNote}`,
+      fileCount,
+    }
+  }
+
+  // ── S2/S3 → independent（S2=单轮；S3 多轮语义由 prompt 侧渲染）──
+  const base = normalizedPlanLevel === 'full'
+    ? 'plan_level=full（agent 自主判定大变更，独立审查防确认偏差）'
+    : brownfieldPureDefault
+      ? (fileCount === null
+        ? '无法解析 design.md 变更文件清单，按正常规模处理（fail-safe）'
+        : `无 plan_level，变更文件 ${fileCount} > ${SELF_REVIEW_FILE_THRESHOLD}（启发式）`)
+      : `ceremony 档 ${ceremonyTier} 判 independent`
+  const independentForm = ceremonyTier === 'S2'
+    ? 'independent×1（单轮独立审查子代理）'
+    : 'independent（多轮语义由 prompt 侧渲染）'
+  return {
+    tier: 'independent',
+    ceremonyTier,
+    reason: `${base}；ceremony 档 ${ceremonyTier}（blast：${blastSource}）→ ${independentForm}${tierFileNote}`,
+    fileCount,
+  }
 }

package/src/run/archive-distill.js

@@ -45,4 +45,39 @@ export async function executeArchiveDistill({ cwd, specBase, changeName }) {
   } catch (e) {
     console.warn(`\n⚠️  决策提炼执行异常，降级跳过（best-effort，不阻断归档——同旧步降级语义）: ${e && e.message ? e.message : e}`)
   }
+
+  // ── FR 索引提炼（2026-09-18-fr-index-l1 L1：稳定 id 发号+承接翻链；同 best-effort 降级语义）──
+  try {
+    const { indexRequirements } = await import('../fr-index.js')
+    const fr = indexRequirements({ changeDir, knowledgeRoot, headHash })
+    const frWritten = Array.isArray(fr && fr.written) ? fr.written : []
+    if (fr && fr.skipped) {
+      console.log(`\nℹ️  FR 索引零输出：${fr.skipped}`)
+    } else if (frWritten.length > 0) {
+      console.log(`\n📌 FR 索引（CLI 机械执行，幂等）：${frWritten.length} 条已发号入库——`)
+      for (const w of frWritten) console.log(`   - ${w.id} → ${w.file}`)
+    }
+    for (const w of (fr && fr.warnings) || []) {
+      console.warn(`   ⚠️  ${w}`)
+    }
+    // 遥测（L3 证据发生器指标，D-006/D-008）：取代链跟随事件
+    const { appendKnowledgeHit } = await import('../knowledge-hits.js')
+    const runtimeRoot = join(specBase, '.runtime')
+    for (const s of (fr && fr.superseded) || []) {
+      appendKnowledgeHit(runtimeRoot, { type: 'fr-supersede', change: changeName, from: s.from, to: s.to })
+    }
+    // 删除缺口探针（D-008 护栏③）：观察信号，不算 L3 门禁——L1 无删除声明义务，只采趋势数据
+    for (const u of (fr && fr.unreferenced) || []) {
+      appendKnowledgeHit(runtimeRoot, { type: 'fr-unreferenced', change: changeName, domain: u.domain, count: u.count })
+      console.log(`   ℹ️  [观察信号·不算 L3 门禁] 触达域 ${u.domain} 有 ${u.count} 条 active FR 未被本次承接引用（fr-unreferenced 遥测，L3 裁决趋势数据）`)
+    }
+  } catch (e) {
+    console.warn(`\n⚠️  FR 索引执行异常，降级跳过（best-effort，不阻断归档）: ${e && e.message ? e.message : e}`)
+    // 死信留痕（ql-20260918-013）：降级只 warn 会蒸发（probe8 实证——D14 只能事后推断缺号）。
+    // change 目录留标记，doctor/人工可见；手工重放 indexRequirements 补号后可删。
+    try {
+      const { writeFileSync: wf } = await import('node:fs')
+      wf(join(changeDir, 'fr-index-skipped.md'), `# FR 索引降级死信\n\n- 时间：${new Date().toISOString()}\n- 原因：${e && e.message ? e.message : e}\n- 处置：node 重放 indexRequirements({changeDir, knowledgeRoot, headHash}) 补号后删本标记\n`)
+    } catch { /* 死信写入失败不再降级（已在降级路径） */ }
+  }
 }