sillyspec 3.32.8 → 3.32.10

package/src/decision-renumber.js

@@ -0,0 +1,157 @@
+/**
+ * decision-renumber.js — 存量决策号一次性迁移（2026-10-14-decision-legacy-renumber）。
+ *
+ * 背景：epoch 全局化（2026-10-14-decision-global-id-epoch）落地后新蒸馏条目自动发全局号，但存量
+ * 701 条 legacy 局部号节段无跨变更承接机制、不会自然退役。用户裁决一次性迁移（翻「存量不回填」
+ * 旧案——fr-index D-007 是设计取舍非技术禁忌，翻案理由随本变更蒸馏留痕）。epoch 读面（双形态解析/
+ * 原编号字段/originId 匹配）已就位——迁移产物所有消费方零改动即认识。
+ *
+ * 纯函数两段（CLI 层 src/stages/knowledge.js case 'renumber' 负责 fs 与原子写）：
+ *   planRenumber(knowledgeRoot)——扫描全部域文件产出迁移计划：
+ *     · legacy 节段（局部号标题 D-\d+ 且无原编号字段）按「文件字母序 × 节段序」发号
+ *       D-<域>-NNN（域=所在文件名去 .md；NNN=该域全域既有 epoch 号 max+1 起批内递增）；
+ *     · fanout 组（同变更同号同版本跨文件副本）单一身份——全组共用一号，号域=字母序首文件域；
+ *     · 无变更行条目不分组（同号无变更 ≠ 同一决策——backend.md 双 D-001@v1 无变更行实证是
+ *       两条不同决策），逐节独立发号；
+ *     · epoch 形态节段（全局号标题或原编号在场）零触碰——幂等判定面。
+ *   applyRenumberPlan(contentByFile, plan)——按计划重写：标题行旧 id → 新全局号、
+ *   「原编号：<旧号>」插入变更行后（无变更行则状态行后，再退标题行后）、其余行逐字节保留、
+ *   节段次序不变；joinKnowledgeFile 复用既有归一落盘形态。
+ */
+import { readFileSync, readdirSync, existsSync } from 'node:fs'
+import { join } from 'node:path'
+import { splitKnowledgeSections, joinKnowledgeFile } from './decision-distill.js'
+
+const EPOCH_NUMBER_RE = /^D-[A-Za-z0-9_\-\u4e00-\u9fff]+-\d+$/
+const LOCAL_NUMBER_RE = /^D-\d+$/
+
+/** 扫描 decisions 域文件集（files 元素含 splitKnowledgeSections 产物，零写盘） */
+function scanDomainFiles(knowledgeRoot) {
+  const decisionsDir = join(knowledgeRoot, 'decisions')
+  const files = []
+  if (!existsSync(decisionsDir)) return files
+  for (const f of readdirSync(decisionsDir).sort()) {
+    if (!f.endsWith('.md')) continue
+    const content = readFileSync(join(decisionsDir, f), 'utf8')
+    const { preamble, sections } = splitKnowledgeSections(content)
+    files.push({ file: `decisions/${f}`, domain: f.replace(/\.md$/, ''), content, preamble, sections })
+  }
+  return files
+}
+
+/**
+ * 纯函数（只读扫描）：产出迁移计划。
+ * @param {string} knowledgeRoot knowledge 目录
+ * @returns {{ files: Array<{file, domain, content, ops: Array<{secIdx, fromId, toNumber}>}>,
+ *   stats: { legacySections, fanoutGroups, fanoutCopies, mintedNumbers, noChangeEntries, untouchedEpoch, perDomainStart: object } }}
+ *   perDomainStart = 各发号域的起始号（既有 epoch max+1）；ops 为空的文件也保留（content 供 CLI 指纹校验）
+ */
+export function planRenumber(knowledgeRoot) {
+  const files = scanDomainFiles(knowledgeRoot)
+  // 各域既有 epoch 号 max（发号起点——不与已发号冲突）
+  const domainMax = new Map()
+  let untouchedEpoch = 0
+  for (const { sections } of files) {
+    for (const s of sections) {
+      const m = /^D-([A-Za-z0-9_\-\u4e00-\u9fff]+)-(\d+)$/.exec(s.number)
+      if (m) domainMax.set(m[1], Math.max(domainMax.get(m[1]) || 0, parseInt(m[2], 10)))
+    }
+  }
+  const isLegacy = (s) => LOCAL_NUMBER_RE.test(s.number) && !s.origin && !EPOCH_NUMBER_RE.test(s.number)
+  for (const { sections } of files) for (const s of sections) if (!isLegacy(s)) untouchedEpoch++
+  // fanout 分组：同变更（非空）同号同版本跨文件 → 单一身份（组号=字母序首文件域——files 已按文件名排序）
+  const groupKeyOf = (s) => `${s.change}#${s.number}@v${s.version}`
+  const groups = new Map()
+  files.forEach((f) => f.sections.forEach((s) => {
+    if (!isLegacy(s) || !s.change) return
+    const k = groupKeyOf(s)
+    if (!groups.has(k)) groups.set(k, { domain: f.domain, members: [] })
+    groups.get(k).members.push({ file: f.file, secIdx: f.sections.indexOf(s) })
+  }))
+  const fanoutGroups = [...groups.values()].filter((g) => g.members.length >= 2)
+  const fanoutCopies = fanoutGroups.reduce((a, g) => a + g.members.length, 0)
+  // 组号预分配（确定性：组键排序）
+  const minted = new Map()
+  const nextFor = (domain) => {
+    const cur = Math.max(domainMax.get(domain) || 0, minted.get(domain) || 0) + 1
+    minted.set(domain, cur)
+    return `D-${domain}-${String(cur).padStart(3, '0')}`
+  }
+  const groupNumber = new Map()
+  for (const k of [...groups.keys()].sort()) {
+    const g = groups.get(k)
+    if (g.members.length >= 2) groupNumber.set(k, nextFor(g.domain))
+  }
+  // 逐文件逐节段：组员复用组号，其余 legacy 独立发号（域=所在文件域）
+  const perFileOps = new Map()
+  let legacySections = 0
+  let mintedNumbers = 0
+  let noChangeEntries = 0
+  for (const f of files) {
+    const ops = []
+    f.sections.forEach((s, si) => {
+      if (!isLegacy(s)) return
+      legacySections++
+      if (!s.change) noChangeEntries++
+      const fromId = `${s.number}@v${s.version}`
+      let toNumber
+      if (s.change && groups.get(groupKeyOf(s))?.members.length >= 2) {
+        toNumber = groupNumber.get(groupKeyOf(s))
+      } else {
+        toNumber = nextFor(f.domain)
+        mintedNumbers++
+      }
+      ops.push({ secIdx: si, fromId, toNumber })
+    })
+    perFileOps.set(f.file, ops)
+  }
+  mintedNumbers += groupNumber.size
+  const perDomainStart = {}
+  for (const d of new Set([...files.map((f) => f.domain), ...domainMax.keys(), ...minted.keys()])) {
+    perDomainStart[d] = (domainMax.get(d) || 0) + 1
+  }
+  return {
+    files: files.map((f) => ({ file: f.file, domain: f.domain, content: f.content, ops: perFileOps.get(f.file) || [] })),
+    stats: { legacySections, fanoutGroups: fanoutGroups.length, fanoutCopies, mintedNumbers, noChangeEntries, untouchedEpoch, perDomainStart },
+  }
+}
+
+/**
+ * 纯函数（零 fs）：按计划重写。contentByFile 为计划时点内容（CLI 层先做指纹校验防他侧写入被覆盖）。
+ * @param {Map<string,string>} contentByFile file → 全文
+ * @param {object} plan planRenumber 产物
+ * @returns {Map<string,string>} 仅有 op 的 file → 重写后全文
+ */
+export function applyRenumberPlan(contentByFile, plan) {
+  const out = new Map()
+  for (const fe of plan.files) {
+    if (!fe.ops || fe.ops.length === 0) continue
+    const content = contentByFile.get(fe.file)
+    if (content == null) continue
+    const { preamble, sections } = splitKnowledgeSections(content)
+    const byIdx = new Map(fe.ops.map((o) => [o.secIdx, o]))
+    for (let i = 0; i < sections.length; i++) {
+      const op = byIdx.get(i)
+      if (!op) continue
+      const s = sections[i]
+      // 标题行：首个旧 id 出现即节头 id（其余行不动）
+      s.lines[0] = s.lines[0].replace(op.fromId, `${op.toNumber}@v${s.version}`)
+      // 原编号行：变更行后 > 状态行后 > 标题行后（不破「文件：紧跟锚点」行序红线）
+      let at = 1
+      const vi = s.lines.findIndex((l) => /^变更[：:]/.test(l))
+      if (vi > -1) at = vi + 1
+      else {
+        const si = s.lines.findIndex((l) => /^状态[：:]/.test(l))
+        if (si > -1) at = si + 1
+      }
+      s.lines.splice(at, 0, `原编号：${op.fromId}`)
+      s.id = `${op.toNumber}@v${s.version}`
+      s.number = op.toNumber
+      s.origin = op.fromId
+    }
+    out.set(fe.file, joinKnowledgeFile(preamble, sections))
+  }
+  return out
+}
+
+export default { planRenumber, applyRenumberPlan }

package/src/deleted-ledger.js

@@ -0,0 +1,75 @@
+/**
+ * 删除台账（deleted-changes.jsonl）——终态转换的追加式账本。
+ *
+ * 背景（2026-10-13-new-change-e5a27813 幽灵变更事故，multi-agent-platform 仓实证）：
+ * X1 墓碑链（sync.js 对 DB status='deleted'/'archived' 行追加墓碑 POST）依赖 DB 行存活；
+ * DB 行被外部手段物理清除后（rm + 裸 SQL，任何 sillyspec 官方路径都不物理删行），后续
+ * platform sync --change 一律「变更无进度数据」空转，平台行永挂 in_progress/active。
+ * 台账让「存在过且已达终态」这一事实脱离 DB 行存活而可查：deleteChange/unregisterChange
+ * 在事务提交后追加一行；sync() 的行缺失分支据此合成墓碑补推（见 sync.js 台账分支）。
+ *
+ * 形态契约：`.sillyspec/.runtime/deleted-changes.jsonl`，每行一个 JSON 对象
+ * { name, status: 'deleted'|'archived', at: ISO }；追加-only（读取侧 latest-wins），
+ * 不旋转不清空——每行百余字节、终态转换频度=归档/删除频度，增长可忽略。
+ * 坏行容错：单行 JSON 解析失败跳过该行（外部编辑/半写截断不拖垮读取）。
+ */
+import { appendFileSync, existsSync, readFileSync } from 'node:fs'
+import { join } from 'node:path'
+
+const LEDGER_FILENAME = 'deleted-changes.jsonl'
+
+function ledgerPath(specDir) {
+  return join(specDir, '.runtime', LEDGER_FILENAME)
+}
+
+/**
+ * 追加一条终态台账。fail-open：任何写入失败只 warn 不抛——台账是 DB 行存活时的
+ * 冗余信息（X1 链已闭环），它的缺失最多让「行被外部清除」这一非官方场景退回平台
+ * 7 天 reparse 兜底，不值得阻断删除/归档主流程。
+ * @param {string} specDir 已解析的 .sillyspec 根（与 sillyspec.db 同根）
+ * @param {string} changeName 变更名
+ * @param {'deleted'|'archived'} status 终态
+ * @param {string} [at] ISO 时间戳（缺省当前时间）
+ */
+export function appendDeletedLedger(specDir, changeName, status, at = new Date().toISOString()) {
+  if (!specDir || !changeName || (status !== 'deleted' && status !== 'archived')) {
+    console.warn(`⚠️  appendDeletedLedger: 参数不完整（name=${changeName} status=${status}），跳过台账追加`)
+    return
+  }
+  try {
+    appendFileSync(ledgerPath(specDir), JSON.stringify({ name: changeName, status, at }) + '\n', 'utf8')
+  } catch (err) {
+    console.warn(`⚠️  删除台账追加失败（fail-open 不阻断主流程）: ${changeName}: ${(err && err.message) || err}`)
+  }
+}
+
+/**
+ * 查询变更的最新终态台账条目（同名多条取最后一条——latest-wins）。
+ * 容错：文件不存在 → null；坏行跳过不抛。
+ * @param {string} specDir 已解析的 .sillyspec 根
+ * @param {string} changeName 变更名
+ * @returns {{name: string, status: string, at: string} | null}
+ */
+export function lookupDeletedLedger(specDir, changeName) {
+  if (!specDir || !changeName) return null
+  const p = ledgerPath(specDir)
+  if (!existsSync(p)) return null
+  let text
+  try {
+    text = readFileSync(p, 'utf8')
+  } catch {
+    return null // 读失败按无台账处理（消费侧退回普通「无进度数据」路径）
+  }
+  let hit = null
+  for (const line of text.split('\n')) {
+    const trimmed = line.trim()
+    if (!trimmed) continue
+    try {
+      const obj = JSON.parse(trimmed)
+      if (obj && obj.name === changeName && (obj.status === 'deleted' || obj.status === 'archived')) {
+        hit = { name: obj.name, status: obj.status, at: obj.at }
+      }
+    } catch { /* 坏行跳过：半写截断/外部编辑不拖垮整本台账 */ }
+  }
+  return hit
+}

package/src/design-facts.js

@@ -296,8 +296,10 @@ export function generateDesignSkeleton({ changeName, decisionsText, author, now
   //「骨架优先，仅手写补文档才手填元数据」的依据（validateMetadata 未来可据此只认 CLI 戳）
   lines.push(`generated_by: sillyspec-design-init`)
   // scale 不预填（2026-09-29-brainstorm-exit-thin-default）：此前预填 large 是静默厚默认——
-  // 不主动改就是五阶段；现由 brainstorm Step 8 规模评估按复杂度/上下文轴落值，拿不准默认 small
-  lines.push('scale: ""  # TODO：Step 8 规模评估落值——单上下文可吞吐=small（flow start 收编）；需 Wave 编排/上下文分片/多阶段治理=large（run plan）；拿不准 small')
+  // 不主动改就是五阶段；现由 brainstorm Step 8 规模评估按复杂度/上下文轴落值，拿不准默认 small。
+  // 反判据口径（2026-10-14-scale-large-evidence）：跨端/多仓/顺序依赖不算 Wave 证据，判 large
+  // 须写明「可真并行任务簇+单上下文吃不下」两条同时成立——deploy-release-notes 镜像误判实证
+  lines.push('scale: ""  # TODO：Step 8 规模评估落值——单上下文可吞吐=small（flow start 收编）；需 Wave 真并行编排/上下文分片/多阶段治理=large（run plan，须写明 Wave 证据：可真并行任务簇+单上下文吃不下；跨端/多仓/顺序依赖不算）；拿不准 small')
   lines.push('---')
   lines.push('')
   lines.push(`# 设计文档（Design）— ${change}`)
@@ -385,7 +387,7 @@ export function generateDesignSkeleton({ changeName, decisionsText, author, now
   lines.push('- [ ] frontmatter 字段齐全（author/created_at/scale）')
   lines.push('- [ ] 引用所有当前版本 D-xxx@vN')
   lines.push('- [ ] 涉及生命周期关键词时含「生命周期契约表」或紧邻豁免短语')
-  lines.push('- [ ] UI 原型分级核对（涉前端文件时变更目录应有 prototype-*.html 或跳过原因记入风险登记）')
+  lines.push('- [ ] UI 原型分级核对（涉前端文件时变更目录应有 prototype-*.html——新生成（定稿＝与实现同方言的真码产物，手绘仅限粗选）或登记复用（复用须按 prototype-<名称>.html 命名，execute 才注入）或跳过原因记入风险登记）')
   lines.push('- [ ] 不确定的问题标注「⚠️ 自审存疑」')
   lines.push('')
 

package/src/dispatch/backends/local-agent.js

@@ -95,7 +95,7 @@ export function renderLocalInstruction(contract) {
 
   const modeLine = readOnly
     ? '5. **只读模式（readOnly=true）**：本子代理只读 / 审查 / 写 review.json，**不改源码**'
-    : '5. **写模式（readOnly=false）**：按蓝图实现源码（TDD：先读后写 → 写测试 → 写实现）'
+    : '5. **写模式（readOnly=false）**：按蓝图实现源码（TDD：先读后写 → 写测试 → 写实现，按层适用——纯逻辑严格先行、行为契约断用户所见、样式/纯配置不写，判据见「测试用例设计」）'
 
   return `### 派发后端：Local（本机 Agent tool）— 默认与降级路径
 

package/src/dispatch/backends/sillyhub-mcp.js

@@ -218,7 +218,7 @@ dispatch_worker 的 \`worker_prompt\` 参数必须传以下覆写文本（路径
 
 \`\`\`
 你是 SillySpec execute 的 worker，在指定 worktree 干活。铁律：
-1. 按 objective + 蓝图（tasks/task-XX.md / design.md）实现任务（TDD：先读后写 → 写测试 → 写实现）
+1. 按 objective + 蓝图（tasks/task-XX.md / design.md）实现任务（TDD：先读后写 → 写测试 → 写实现，按层适用——纯逻辑严格先行、行为契约断用户所见、样式/纯配置不写，判据见「测试用例设计」）
 2. **绝不执行 git add / git commit / git push**：改动留在工作区（staged 或 unstaged 都行），
    交 SillySpec 主体 git diff 回收（D-004）
 3. 不超出 allowedPaths，不碰其他 task 的文件

package/src/docs-check.js

@@ -1038,12 +1038,20 @@ export function readDecisionRulesConfig(projectRoot) {
   }
 }
 
-/** 豁免键匹配（本变更范围先支持键匹配，非子串）：规则级 `decisions.<id>.<kind>` 精确命中，
- *  或条目级 `decisions.<id>` 伞形命中（一条豁免该决策全部规则）。无 decisions. 前缀的键不参与。 */
-function isDecisionExempt(knownFailures, entryId, kind) {
-  const ruleKey = `decisions.${entryId}.${kind}`
-  const entryKey = `decisions.${entryId}`
-  return knownFailures.some(k => k === ruleKey || k === entryKey)
+/** 豁免键匹配（键匹配非子串）：域限定键 `decisions.<域>/<id>.<kind>`（规则级精确）与
+ *  `decisions.<域>/<id>`（条目级伞形）——2026-10-14-decision-id-p2-hardening：裸键无域限定，
+ *  一条 decisions.<id> 可静默豁免全库同号条目（D-001@v1 ×296 潜伏面），域限定键收窄命中面；
+ *  裸键 `decisions.<id>[.<kind>]` 保留兼容（消费仓既有配置不失效）。id 与 originId（原编号，
+ *  2026-10-14-decision-legacy-renumber）双匹配——存量迁移后旧号键继续命中。
+ *  无 decisions. 前缀的键不参与。导出（测试面先例 anchorFilePath）。 */
+export function isDecisionExempt(knownFailures, entryId, kind, domain = null, originId = null) {
+  const ids = originId ? [entryId, originId] : [entryId]
+  const keys = []
+  for (const id of ids) {
+    keys.push(`decisions.${id}.${kind}`, `decisions.${id}`)
+    if (domain) keys.push(`decisions.${domain}/${id}.${kind}`, `decisions.${domain}/${id}`)
+  }
+  return knownFailures.some(k => keys.includes(k))
 }
 
 /**
@@ -1051,25 +1059,32 @@ function isDecisionExempt(knownFailures, entryId, kind) {
  * 的写入契约对偶：producer=decision-distill → consumer=本规则族；字段行非列表项，顶层
  * 「状态：/锚点：/最近确认：」标签精确匹配，防误吞正文）。旧格式字段缺失容错为 null。
  * @param {string} md 域文件全文
- * @returns {Array<{ id: string, title: string, status: string|null, anchor: string|null, lastConfirmed: string|null }>}
+ * @returns {Array<{ id: string, title: string, status: string|null, anchor: string|null, lastConfirmed: string|null, change: string|null }>}
  */
 export function parseDecisionEntries(md) {
   const entries = []
   let cur = null
   const flush = () => { if (cur) entries.push(cur) }
   for (const line of String(md || '').replace(/\r\n?/g, '\n').split('\n')) {
-    const h = line.match(/^##\s+(D-\d+)(?:@v(\d+))?\s*(.*)$/)
+    const h = line.match(/^##\s+(D-(?:[A-Za-z0-9_\-\u4e00-\u9fff]+-)?\d+)(?:@v(\d+))?\s*(.*)$/)
     if (h) {
       flush()
       const version = h[2] ? parseInt(h[2], 10) : 1
-      cur = { id: `${h[1]}@v${version}`, title: h[3].trim(), status: null, anchor: null, lastConfirmed: null }
+      cur = { id: `${h[1]}@v${version}`, title: h[3].trim(), status: null, anchor: null, lastConfirmed: null, change: null, originId: null }
       continue
     }
     if (!cur) continue
-    const f = line.match(/^(状态|锚点|最近确认)\s*[：:]\s*(.*)$/)
+    // 变更/来源/原编号：标签读入（变更：2026-10-14-supersedes-mislink-and-change-display 加法字段——
+    // docs-debt 触碰事实行渲染变更名限定词消歧需读入；来源：2026-10-14-decision-id-p2-hardening legacy
+    // 兜底——变更行无条件覆盖在前、来源仅补缺；原编号：2026-10-14-decision-legacy-renumber——存量迁移
+    // 后条目 id 为全局号，消费仓旧豁免键（decisions.D-002@vN）经原编号继续命中；旧条目缺行容错 null）
+    const f = line.match(/^(状态|锚点|最近确认|变更|来源|原编号)\s*[：:]\s*(.*)$/)
     if (!f) continue
     if (f[1] === '状态') cur.status = f[2].trim().split(/[\s（(]/)[0] || null
     else if (f[1] === '锚点') cur.anchor = f[2].trim()
+    else if (f[1] === '变更') cur.change = f[2].trim() || null
+    else if (f[1] === '来源') cur.change = cur.change || (f[2].trim() || null)
+    else if (f[1] === '原编号') cur.originId = f[2].trim() || null
     else cur.lastConfirmed = f[2].trim()
   }
   flush()
@@ -1148,8 +1163,8 @@ export async function runDecisionRules(opts) {
   let implementedTotal = 0
   const treeCache = new Map() // resolveCandidates 全树扫描复用（同 docs check 主链路口径）
 
-  const emit = (id, domain, file, kind, extra, message) => {
-    if (isDecisionExempt(failures, id, kind)) {
+  const emit = (id, domain, file, kind, extra, message, originId = null) => {
+    if (isDecisionExempt(failures, id, kind, domain, originId)) {
       exempted.push({ key: `decisions.${id}.${kind}`, id, kind })
       return
     }
@@ -1169,10 +1184,10 @@ export async function runDecisionRules(opts) {
       // 规则 1：锚点存在性（未记录 → 补录提示；路径不存在 → 失效提示）
       if (!anchorPath) {
         emit(e.id, domain, rel, 'anchor', { anchor: e.anchor || null },
-          `「${e.id}」锚点未记录（${rel}）——旧格式条目，补「锚点：src/…」后可机械校验（advisory）`)
+          `「${e.id}」锚点未记录（${rel}）——旧格式条目，补「锚点：src/…」后可机械校验（advisory）`, e.originId)
       } else if (resolveCandidates(projectRoot, anchorPath, treeCache).length === 0) {
         emit(e.id, domain, rel, 'anchor', { anchor: e.anchor },
-          `「${e.id}」锚点文件不存在：${anchorPath}（${rel}）——决策落点已漂移，人工复核（advisory）`)
+          `「${e.id}」锚点文件不存在：${anchorPath}（${rel}）——决策落点已漂移，人工复核（advisory）`, e.originId)
       }
       // 规则 2：behind 复核（「最近确认」后锚定模块源码前进数超阈值 → 决策待复核；
       // 「最近确认」未记录/域无源码集（无 map 无锚点）→ 无法计算，静默跳过——advisory 不产噪声）
@@ -1185,7 +1200,7 @@ export async function runDecisionRules(opts) {
       const { behind } = computeModuleBehind(domain, e.lastConfirmed, { projectRoot, srcPaths })
       if (behind !== null && behind > threshold) {
         emit(e.id, domain, rel, 'behind', { behind, threshold },
-          `「${e.id}」决策待复核：锚定模块 ${domain} 在最近确认 ${e.lastConfirmed} 后源码已前进 ${behind} commit，超阈值 ${threshold}（${rel}）——复核后更新「最近确认」`)
+          `「${e.id}」决策待复核：锚定模块 ${domain} 在最近确认 ${e.lastConfirmed} 后源码已前进 ${behind} commit，超阈值 ${threshold}（${rel}）——复核后更新「最近确认」`, e.originId)
       }
     }
   }

package/src/docs-debt.js

@@ -15,6 +15,7 @@ import { join, relative } from 'node:path'
 import { safeGit } from './git-helper.js'
 import { parseModuleMapSimple } from './modules.js'
 import { runDocsCheck, readDocsCheckConfig, parseDecisionEntries, anchorFilePath } from './docs-check.js'
+import { decisionChangeQualifier } from './knowledge-match.js'
 
 /** safeGit 超时（大仓 git log 慢时降级该模块，不挂起 Wave 渲染） */
 const GIT_TIMEOUT_MS = 5000
@@ -323,7 +324,7 @@ export function computeDecisionTouches(changedFiles, knowledgeRoot) {
       for (const c of changed) {
         // 前缀匹配粒度 = 文件或其子路径（R-03：锚点是文件级非目录级，防同前缀不同文件误报）
         if (c === anchorPath || c.startsWith(anchorPath + '/')) {
-          touches.push({ id: e.id, title: e.title, anchorFile: anchorPath, touchedFile: c, file })
+          touches.push({ id: e.id, title: e.title, anchorFile: anchorPath, touchedFile: c, file, change: e.change || '' })
         }
       }
     }
@@ -344,7 +345,7 @@ export function renderDecisionTouchFacts(touches) {
   const shown = touches.slice(0, DECISION_TOUCH_RENDER_LIMIT)
   const lines = [`[decision-touch] 本次变更触碰 ${touches.length} 条决策锚点（改动可能使该决策需复核）：`]
   for (const t of shown) {
-    lines.push(`  - ${t.id}（${t.title || '无标题'}，锚点 ${t.anchorFile}）← 触碰文件 ${t.touchedFile}（${t.file}）`)
+    lines.push(`  - ${t.id}（${t.title || '无标题'}，锚点 ${t.anchorFile}）← 触碰文件 ${t.touchedFile}（${t.file}｜${decisionChangeQualifier(t.change)}）`)
   }
   if (touches.length > DECISION_TOUCH_RENDER_LIMIT) {
     lines.push(`  …另有 ${touches.length - DECISION_TOUCH_RENDER_LIMIT} 条`)

package/src/doctor-diagnostics.js

@@ -946,7 +946,9 @@ function detectDecisionDrift(cwd) {
     let count = 0
     for (const f of readdirSync(decDir)) {
       if (!f.endsWith('.md')) continue
-      count += (readFileSync(join(decDir, f), 'utf8').match(/^## D-\d+@\d+/gm) || []).length
+      // 双形态计数（2026-10-14-decision-global-id-epoch）：局部 D-011@v1 与全局 D-<域>-042@v1；
+      // 旧正则 @\d+ 漏 @v 前缀恒零——随本单修正
+      count += (readFileSync(join(decDir, f), 'utf8').match(/^## D-(?:[A-Za-z0-9_\-\u4e00-\u9fff]+-)?\d+@v\d+/gm) || []).length
     }
     return { ...base, findings: [`decisions 库 ${count} 条（behind 精确复核在 verify evidence-auto 与 docs-check 决策规则族）`], pass: true, severity: CHECK_SEVERITY.PASSED }
   } catch (e) {

package/src/flow-draft.js

@@ -156,6 +156,11 @@ export function extractSuccessCriteria(input, opts = {}) {
   const lines = []
   for (const l of rawLines) {
     const prev = lines[lines.length - 1]
+    // 节标题合并守卫（2026-10-13-extract-head-guard 实证：动机行尾未闭合左括号 → 续行合并把
+    // 「成功标准：」并入动机、合并行以冒号收尾继续触发合并雪崩吞并全部条目行、提取 0 条。
+    // 节标题是结构边界——即使 prev 残缺也无条件独立成行。守卫只判当前行属性，不改
+    // needsContinuationMerge 本体（其括号判定是 R17 括号跨行并回的承重面）。
+    if (SECTION_HEAD_RE.test(l)) { lines.push(l); continue }
     if (prev != null && needsContinuationMerge(prev)) lines[lines.length - 1] = prev + l
     else lines.push(l)
   }
@@ -342,12 +347,29 @@ export function verifyThinDocsV2({ changeDir, ledger, skipDesign = false }) {
       let dLines = dText.split('\n')
       // 回填通道：改写先到不了归档（回填后进归档的就是锚文本，与人工恢复等价），写盘失败降级
       // 回带全文的拒收文案（不抛异常阻断 CLI）。
+      // 问句在场判定（坑 flow-done-design-question-line-injection，2026-10-13 实证）：回答行
+      // 前缀形态「N. <问句>：<答>」/「- <问句>：…」——问句锚保留在行内时视为在场，不注入
+      // 不拒收。此前只认整行相等：锚折进回答行 → 相似度低于阈值 → 四条全走节首兜底插入，
+      // 同位反复 splice 产出倒序重复问句块。改写形态（行内无锚原文）仍走既有回填/拒收链。
+      const questionPresent = (lines, q) => lines.some((raw) => {
+        const t = String(raw || '').trim()
+        if (!t || t === q) return t === q
+        // 包含判定只对自带编号的锚生效（四问节「N. 问句」形态——回答行「N. 问句：答」折叠
+        // 是惯例书写面，注入即倒序重复块，坑 flow-done-design-question-line-injection）。
+        // 无编号锚（做法/契约/风险节单行问句）不做包含判定：⑦c 契约要求引用原文的作答行
+        // 仍注入锚在引用行上方（锚独立成行是审计面）——包含跳过会吃掉该注入。
+        if (!/^\d+[.、)]\s/.test(q)) return false
+        // 只剥一层编号/列表前缀（锚自带「N.」编号，多层剥会把锚的编号也吃掉致包含
+        // 判定假阴性——① 用例实证）
+        const stripped = t.replace(/^(?:\d+[.、)]\s*|[-*•]\s*)/, '')
+        return stripped.includes(q)
+      })
       const allQuestionLines = new Set(anchorSections.flatMap((s) => s.lines))
       const repairedLines = [...dLines]
       const repairEntries = []
       for (const sec of anchorSections) {
         for (const q of sec.lines) {
-          if (repairedLines.some((l) => l.trim() === q)) continue
+          if (questionPresent(repairedLines, q)) continue
           const hIdx = repairedLines.findIndex((l) => l.trim() === `## ${sec.heading}`)
           if (hIdx === -1) continue // 节整删 → 下方校验环拒收（文案带全文）
           let end = repairedLines.findIndex((l, i) => i > hIdx && /^##\s/.test(l))
@@ -383,7 +405,7 @@ export function verifyThinDocsV2({ changeDir, ledger, skipDesign = false }) {
           continue
         }
         for (const q of sec.lines) {
-          if (!dLines.some((l) => l.trim() === q)) violations.push(`design「${sec.heading}」问题文本被改写——原文：${q}（问题钉死，答案写在下方）`)
+          if (!questionPresent(dLines, q)) violations.push(`design「${sec.heading}」问题文本被改写——原文：${q}（问题钉死，答案写在下方；折进回答行前缀亦算在场）`)
         }
         // 实质作答：节内非空行 - 标题行 - 问题行 - 引导行（> 开头）≥1
         const start = dLines.findIndex((l) => l.trim() === `## ${sec.heading}`)

package/src/flow-parity.js

@@ -26,10 +26,12 @@ import { splitOwnVsForeignDiffFiles, commitAttributionForChange, isForeignByComm
 import { collectModuleMaps, normalizeMapPath } from './module-resolve.js'
 import { computeDocsDebt } from './docs-debt.js'
 import { writeAtomicSync } from './fs-atomic.js'
+import { normalizePath } from './change-list.js'
 import { readV2SectionAnswer } from './flow-review.js'
 import { DESIGN_QUESTIONS } from './flow-draft.js'
 import { pathMatches } from './change-list.js'
 import { classifyToolScaffold, filterDeliverableFiles } from './worktree-apply.js'
+import { deriveChangeTitle } from './quicklog.js'
 
 /**
  * 模块文档对账（advisory）+ 结构化落盘面（2026-09-27-thin-module-scope-persist）。
@@ -132,6 +134,19 @@ export function evaluateModuleGate({ moduleScope, ignore } = {}) {
   return { block: maps.length > 0 && dirs.length > 0, dirs, maps }
 }
 
+/**
+ * ⑥-0 motiveFromInput：模块变更索引摘要提取（2026-10-15-title-label-skip）。与变更标题
+ * 同源走 deriveChangeTitle——此前 flow.js 裸取 --input 首行，「动机与背景：」段头行整行
+ * 入摘要（stages.changelog 实证）。段头行跳过/标签剥离随 deriveChangeTitle 单源；提取为
+ * 空回退变更名（可辨识不达意优于空串；appendChangeIndexEntries 侧另有 '轻量变更' 二级兜底）。
+ * @returns {string} 摘要（≤50 字）
+ */
+export function motiveFromInput(input, change = '') {
+  let derived = ''
+  try { derived = deriveChangeTitle(input) } catch { derived = '' }
+  return derived || String(change || '')
+}
+
 /**
  * ⑥ appendChangeIndexEntries：命中模块变更索引机械回写（二档）。零语义判断——日期/变更名/
  * 动机首行全是已知量，与 decision-distill 降 noAI 同性质。目标判定遵守 split-changelog 契约
@@ -308,7 +323,9 @@ export function harvestSlot4Decision({ changeDir, change }) {
     '---',
     `# 决策记录（Decisions）— ${change}`,
     '',
-    `## D-001@v1: 风险与死路（design 槽4 收割）`,
+    // 标题自解释（2026-10-15-harvest-title-clarify）：读者面是 decisions 文档与 knowledge，
+    // 机制出处（槽4 收割）由 frontmatter author: flow-machine-draft 承载，标题只说内容与性质。
+    `## D-001@v1: 设计期风险与放弃方案（底稿）`,
     `- 类型：process`,
     `- 状态：confirmed`,
     // 类型/状态字段（2026-09-26-slot4-distill-fix）：蒸馏链入选要 status∈{confirmed|accepted|rejected}
@@ -325,7 +342,7 @@ export function harvestSlot4Decision({ changeDir, change }) {
   return { harvested: true }
 }
 
-export default { reconcileModuleDocs, renderVerifyReceipt, harvestSlot4Decision, collectFreezeFiles, backfillGateSummary }
+export default { reconcileModuleDocs, renderVerifyReceipt, harvestSlot4Decision, collectFreezeFiles, backfillGateSummary, motiveFromInput }
 
 /**
  * patch 冻结面的提交面过滤（2026-09-27-tool-debt-cleanup 抽出为纯函数供单测锁定）：
@@ -563,6 +580,19 @@ export function buildThinSnapshotRows({ ownFiles, stats, planEntries, crossRepoR
     // + pathMatches 双判——对账行是真实三态或 degraded ⊘，覆盖即不再补恒 ⊘ 行）；对账行缺失
     // （fail-soft 退路/降级仓无行）→ 照旧补 ⊘ 行
     if (e.repo && crossRows.some((r) => r.crossRepo === e.repo && pathMatches(String(r.path || ''), e.path))) continue
+    // 兜底合并（2026-10-13-declared-paren-strip）：declared 路径剥括号残片（normalizePath，
+    // 与解析端同源）后与实际行精确等值 → 不补占位行；实际行归因升 planned（取更准一行），
+    // totals 按唯一路径计。防他源污染形态致同文件双行/文件数虚高（缺陷档案实证形态的兜底层）。
+    const clean = normalizePath(String(e.path || ''))
+    const hitRow = clean ? rows.find((r) => r.path === clean && !r.crossRepo) : null
+    if (hitRow) {
+      matched.add(e.path)
+      if (hitRow.verdict !== 'planned') {
+        hitRow.planned = e.operation || null
+        hitRow.verdict = 'planned'
+      }
+      continue
+    }
     rows.push({
       path: e.path, planned: e.operation || null, additions: 0, deletions: 0,
       kind: 'modified', verdict: 'untouched',