sillyspec 3.32.8 → 3.32.10

package/src/fr-index.js

@@ -21,6 +21,7 @@ import { readChangeTrace, upsertFrBindings, applySupersededToEntryLines, testAnc
 import { suggestDomainFromFiles, snapDomainToDictionary } from './knowledge-digest.js'
 import { existsSync, mkdirSync, readFileSync, readdirSync, writeFileSync } from 'fs';
 import { basename, dirname, join } from 'path';
+import { execFileSync } from 'node:child_process';
 import { writeAtomicSync } from './fs-atomic.js';
 import {
   splitKnowledgeSections,
@@ -73,6 +74,19 @@ export function frCoverageFiles({ archiveRoot, changeName }) {
       }
     }
   } catch { /* 源2 fail-soft */ }
+  try {
+    // 源3（2026-10-15-rot-coverage-git-source）：thin 归档常无交付表无 patch 文件清单——覆盖面
+    // 从 git 历史恢复：提交主题含变更名的提交的 name-only 文件集（--grep 子串匹配，变更名含
+    // 日期前缀足够特异；剔除 .sillyspec/ 自身工件面）。只读确定性；调用侧 covCache 每运行缓存，
+    // 非 git 仓/无记录 fail-soft=源缺（六顽固化 unknown 来源实测全部可恢复 1~23 文件）。
+    const gitOut = execFileSync('git', ['log', '--all', '--name-only', '--pretty=format:COMMIT', '--grep', String(changeName || '')],
+      { cwd: archiveRoot, encoding: 'utf8', maxBuffer: 64 * 1024 * 1024 });
+    for (const f of String(gitOut).split(/\r?\n/)) {
+      const v = f.trim().replace(/\\/g, '/');
+      if (!v || v.startsWith('COMMIT') || v.startsWith('.sillyspec/')) continue;
+      out.add(v);
+    }
+  } catch { /* 源3 fail-soft（非 git 仓/无记录） */ }
   return [...out].filter((p) => !p.startsWith('.sillyspec/'));
 }
 
@@ -873,7 +887,7 @@ export function markSkeletonThin(knowledgeRoot) {
  *  active FR × 触碰文件 → hits（覆盖相交）/ skip（覆盖可判无交集）/ unknown（覆盖源缺失）。
  *  判据逐字不变——三消费方（rot/测试门/注入排序）共用同一实现，防口径漂移。
  *  covCache 供调用方跨查询复用归档读取。 */
-function partitionActiveByCoverage({ archiveRoot, frs, changed, covCache = new Map() }) {
+export function partitionActiveByCoverage({ archiveRoot, frs, changed, covCache = new Map() }) {
   const hits = []
   const unknownSources = new Set()
   let skip = 0

package/src/hooks/worktree-guard.js

@@ -61,7 +61,7 @@ const STAGE_HINTS = {
     '你需要先启动一个任务流程才能修改源码（调用对应的 sillyspec skill）：',
     '',
     '  轻量变更/BUG修复（默认快道，skill sillyspec-flow）——--input 引号内换行合法，下例可照抄：',
-    '  sillyspec flow start --change <YYYY-MM-DD-名> --input "<动机与背景>',
+    '  sillyspec flow start --change <YYYY-MM-DD-名> --input "<一句中文概括（首行即变更标题）；随后动机与背景',
     '',
     '  成功标准：',
     '  - <可验证标准>"',
@@ -80,7 +80,7 @@ const STAGE_HINTS = {
   'verify': [
     '当前在 verify（验证）阶段，只做代码审查和测试验证，不修改源码。',
     '如需修改，请先回到 execute 阶段，或收口后开轻量变更（--input 引号内换行合法，可照抄）：',
-    '  sillyspec flow start --change <YYYY-MM-DD-名> --input "<动机与背景>',
+    '  sillyspec flow start --change <YYYY-MM-DD-名> --input "<一句中文概括（首行即变更标题）；随后动机与背景',
     '',
     '  成功标准：',
     '  - <可验证标准>"',
@@ -88,7 +88,7 @@ const STAGE_HINTS = {
   'archive': [
     '当前在 archive（归档）阶段，不修改源码。',
     '如需修改，请开启新变更（--input 引号内换行合法，可照抄）：',
-    '  sillyspec flow start --change <YYYY-MM-DD-名> --input "<动机与背景>',
+    '  sillyspec flow start --change <YYYY-MM-DD-名> --input "<一句中文概括（首行即变更标题）；随后动机与背景',
     '',
     '  成功标准：',
     '  - <可验证标准>"',

package/src/index.js

@@ -171,7 +171,7 @@ SillySpec CLI — 规范驱动开发工具包
 示例:
   sillyspec init
   sillyspec run brainstorm --change 2026-07-03-add-login
-  sillyspec flow start --change 2026-07-03-my-fix --input "<动机与背景＋独立一行『成功标准：』＋每行一条『- 可验证标准』>"   # 轻量变更（默认快道，2 次调用；变更名须 YYYY-MM-DD-<简短描述> 日期前缀)
+  sillyspec flow start --change 2026-07-03-my-fix --input "<一句中文概括（首行即变更标题）＋动机与背景详述＋独立一行『成功标准：』＋每行一条『- 可验证标准』>"   # 轻量变更（默认快道，2 次调用；变更名须 YYYY-MM-DD-<简短描述> 日期前缀)
   sillyspec run verify --done --output "验证通过，测试全绿"
   sillyspec run archive --done --confirm --output "归档完成"
   sillyspec run plan --reopen --from-step 2          # 修订 plan，从第 2 步重做
@@ -226,7 +226,7 @@ function refuseRetiredQuickFreshStart(stageArgs) {
   console.error('❌ quick 通道已退役，不再接受新会话（v3.30.0 起）。')
   // 可照抄实例（2026-10-05-input-teach-copyable）：引号内换行合法，行级 trim 容忍缩进
   console.error('   新工作请走轻量变更（--input 引号内换行合法，下例可照抄）：')
-  console.error('   sillyspec flow start --change <YYYY-MM-DD-名> --input "<动机与背景>')
+  console.error('   sillyspec flow start --change <YYYY-MM-DD-名> --input "<一句中文概括（首行即变更标题）；随后动机与背景')
   console.error('')
   console.error('   成功标准：')
   console.error('   - <可验证标准>"')
@@ -3382,17 +3382,19 @@ ${generated.length} 个骨架已就绪——逐节把 <!--TODO--> 替换为语
       // --from <域> --to <域> [--anchor <FR-id> 可重复]；干跑缺省列条目，--write 落盘。
       // 身份铁律：迁域不换号（绑定/supersede 链靠 ID 寻址）；平台伪域卡「一键迁移」的 CLI 端。
       if (has('--redomain')) {
-        const fromD = flag('--from')
-        const toD = flag('--to')
+        const { planRedomain, redomainFrEntries, normalizeDomainArg } = await import('./redomain.js')
+        // 入参归一化（2026-10-14-redomain-domain-arg-normalize）：--from/--to 容忍
+        // flow done 提示语原样形态（fr/auto-backend、auto-backend.md），回显/报错统一裸域名。
+        const fromD = normalizeDomainArg(flag('--from'))
+        const toD = normalizeDomainArg(flag('--to'))
         // --by-change（坑 fr-domain-suggest-typo-and-no-split-migration 缺陷2）：unmapped 等
         // 混合池按「变更：<名>」字段分批迁移——整域迁移会错置大部分条目，来源变更才是分批键。
         const byChangeD = flag('--by-change')
-        if (!fromD || !toD) { fail('用法: sillyspec tests --redomain --from <源域> --to <目标域> [--anchor <FR-id>] [--by-change <变更名>] [--write]'); break }
+        if (!fromD || !toD) { fail('用法: sillyspec tests --redomain --from <源域> --to <目标域> [--anchor <FR-id>] [--by-change <变更名>] [--write]\n  域名可带 fr/ 前缀与 .md 后缀（fr/auto-backend ≍ auto-backend.md ≍ auto-backend）'); break }
         // 多 --anchor 收集
         const anchorList = []
         for (let i = 0; i < filteredArgs.length - 1; i++) if (filteredArgs[i] === '--anchor') anchorList.push(filteredArgs[i + 1])
         try {
-          const { planRedomain, redomainFrEntries } = await import('./redomain.js')
           if (!has('--write')) {
             // 预览与落盘同口径透传 byChange（坑 redomain-plan-preview-by-change-ignored，
             // 2026-10-02 实证：76338b4d 收编在途工作时此行漏透传——预览列整域、落盘只迁
@@ -4397,7 +4399,15 @@ SillySpec platform — SillyHub 平台同步
           const syncChangeName = syncChangeIdx >= 0 && args[syncChangeIdx + 1] && !String(args[syncChangeIdx + 1]).startsWith("--") ? args[syncChangeIdx + 1] : null;
           if (syncChangeName) {
             // manual：用户显式同步，change_deleted 回执噪音闸旁路（显式动作的回执必须可见）
-            await syncModule.sync(syncChangeName, dir, { manual: true });
+            // 失败必须 exit 1（2026-10-13-sync-ledger-tombstone，事故 2026-10-13-new-change-e5a27813）：
+            // 此前忽略返回值恒 exit 0——变更不存在/未连接平台都「假成功」，daemon RPC
+            // （sillyspec.sync_change）据退出码回执，假成功掩盖行缺失。成功路径（含
+            // change_deleted 预期回执、台账墓碑补推）errors 为空，exit 0 语义不变。
+            const syncResult = await syncModule.sync(syncChangeName, dir, { manual: true });
+            if (syncResult && Array.isArray(syncResult.errors) && syncResult.errors.length > 0) {
+              console.error(`❌ platform sync 失败（${syncChangeName}）: ${syncResult.errors.join('；')}`);
+              process.exit(1);
+            }
           } else {
             // 全树 spec 文件同步（2026-10-11-sync-conflict-tri-fix FR-03）：不带 --change
             // 此前报「需要指定变更名称」——归档/历史变更无活跃会话标签时无从下手。现走
@@ -5489,7 +5499,7 @@ SillySpec pull — 拉取服务器 spec 快照到本地（X2 / FR-07）
           console.error(`   事件流路径：${join(tRuntimeRoot, `watcher-events-${tChange}.jsonl`)}；活跃变更跑任意 flow/run 命令会拉起 watcher`);
           process.exit(2);
         }
-        const { changeDir, tasksMd } = loadChangeTasks(tSpecBase, tChange);
+        const { changeDir, tasksMd, tickLog } = loadChangeTasks(tSpecBase, tChange);
         const tasks = tasksMd ? parseTaskLines(tasksMd) : null;
         let tier = null;
         if (changeDir) {
@@ -5499,6 +5509,8 @@ SillySpec pull — 拉取服务器 spec 快照到本地（X2 / FR-07）
           } catch { /* 缺 flow-state（头脑风暴预段等）按未知 */ }
         }
         const { gitQuiet } = await import('./git-helper.js');
+        // 锚收敛（2026-10-14-timeline-ticktime-anchor-scope）：change 参进锚解析——消息不含本变更
+        // 名的提交不参与任务行锚定（跨变更 token 撞车防线）；事件时间轴不受影响。
         const anchors = resolveCommitAnchors(tRes.events, (hash) => {
           const out = gitQuiet(dir, ['log', '-1', '--format=%h%x1f%aI%x1f%B', hash]);
           if (typeof out !== 'string' || !out.trim()) return null;
@@ -5506,8 +5518,8 @@ SillySpec pull — 拉取服务器 spec 快照到本地（X2 / FR-07）
           const rest = out.slice(sep + 1);
           const sep2 = rest.indexOf('\x1f');
           return { hash: out.slice(0, sep), dateISO: rest.slice(0, sep2), message: rest.slice(sep2 + 1) };
-        });
-        console.log(renderTimeline({ change: tChange, events: tRes.events, tasks, anchors, birthTs: readBirthTs(changeDir), tier }));
+        }, tChange);
+        console.log(renderTimeline({ change: tChange, events: tRes.events, tasks, anchors, birthTs: readBirthTs(changeDir), tier, tickLog }));
         if (tSourceNote) console.log(tSourceNote);
         break;
       }

package/src/knowledge-digest.js

@@ -152,6 +152,14 @@ export function collectKnowledgeDigest({ specBase, projectRoot }) {
     mk('inbox', 'warn', `知识收件箱积压（${totals.inbox} 条 > 20）`, totals.inbox,
       inboxTitles.slice(0, 5).join('；') + (inboxTitles.length > 5 ? ' 等' : ''),
       'sillyspec knowledge inbox 逐条 classify 清账')
+  } else if (totals.inbox > 0) {
+    // 低量收件箱可见性（2026-10-15-classify-surface）：>20 才报警导致 1~20 条常态化静默——
+    // classify 遥测零消费实证（工具在、入口隐身）。info 级提示给可执行命令（classify 零使用
+    // 的接入点）；不进 healthy 判定否决——info 信号 healthy 语义见下（healthy=signals 全空，
+    // info 在场仍算 healthy=false？否——info 级降噪：healthy 只看 warn 级）。
+    mk('inbox', 'info', `知识收件箱 ${totals.inbox} 条待归类`, totals.inbox,
+      inboxTitles.slice(0, 5).join('；') + (inboxTitles.length > 5 ? ' 等' : ''),
+      'sillyspec knowledge inbox 看清单 → knowledge classify --ql <id> --file <known-issues.md|patterns.md|conventions.md> [--dry-run] 逐条归类')
   }
   if (totals.pseudo > 0) {
     mk('pseudo-domain', 'warn', `伪域在库（auto-*/unmapped 共 ${totals.pseudo} 条）`, totals.pseudo,
@@ -166,7 +174,9 @@ export function collectKnowledgeDigest({ specBase, projectRoot }) {
 
   return {
     generated_at: new Date().toISOString(),
-    healthy: signals.length === 0,
+    // healthy 只看 warn 级（2026-10-15-classify-surface）：info 是提示不是超阈——
+    // 低量收件箱提示不该把治理卡打成人人自危的告警面；平台 governance 消费同语义。
+    healthy: !signals.some((s) => s.level === 'warn'),
     signals,
     totals,
   }
@@ -176,15 +186,22 @@ export function collectKnowledgeDigest({ specBase, projectRoot }) {
 export function renderKnowledgeDigestText(d) {
   const lines = []
   lines.push(`📬 知识资产治理摘要（${d.generated_at.slice(0, 16).replace('T', ' ')}）`)
-  if (d.healthy) {
-    lines.push('✅ 三类信号全部在阈内（inbox/伪域/坏绑定）——安静即健康态，无需动作')
-  } else {
-    lines.push(`⚠️ ${d.signals.length} 类信号超阈：`)
-    for (const s of d.signals) {
+  const warns = d.signals.filter((s) => s.level === 'warn')
+  const infos = d.signals.filter((s) => s.level === 'info')
+  if (warns.length > 0) {
+    lines.push(`⚠️ ${warns.length} 类信号超阈：`)
+    for (const s of warns) {
       lines.push(`  [${s.kind}] ${s.title}`)
       if (s.detail) lines.push(`     明细：${s.detail}`)
       if (s.suggestion) lines.push(`     处置：${s.suggestion}`)
     }
+  } else {
+    lines.push('✅ 超阈信号零（inbox/伪域/坏绑定）——健康态')
+  }
+  for (const s of infos) {
+    lines.push(`ℹ️ [${s.kind}] ${s.title}`)
+    if (s.detail) lines.push(`   明细：${s.detail}`)
+    if (s.suggestion) lines.push(`   处置：${s.suggestion}`)
   }
   lines.push(`底数：收件箱 ${d.totals.inbox}｜伪域条目 ${d.totals.pseudo}｜坏绑定 ${d.totals.unresolvedBindings}`)
   return lines.join('\n')

package/src/knowledge-graph.js

@@ -103,6 +103,7 @@ export function buildKnowledgeGraph(specRoot) {
 
   // ── ② 决策库（parseDecisionEntries：去重键 file+id+change 跨变更同号不折叠） ──
   const decisionHits = existsSync(join(knowledgeDir, 'INDEX.md')) ? parseDecisionEntries(knowledgeDir) : []
+  const supersedesRefs = []
   for (const h of decisionHits) {
     const id = `decision:${h.file}#${h.id}${h.change ? `@${h.change}` : ''}`
     addNode(id, 'decision', `${h.id} ${h.title || ''}`.trim(), {
@@ -123,17 +124,45 @@ export function buildKnowledgeGraph(specRoot) {
       else addNode(h.change, 'change', h.change)
       addEdge(id, h.change, 'from-change')
     }
-    // supersedes：同域 D-id 解析（「supersedes：无（…）」等非 id 值被正则白名单滤掉；跨变更同号时取同变更优先，再退首个）
-    const supIds = String(h.supersedesText || '').split(/[,，、\s]+/).filter((s) => /^D-\d+@v\d+$/.test(s))
+    // supersedes：同域 D-id 解析（「supersedes：无（…）」等非 id 值被正则白名单滤掉）。目标必须同变更
+    // （「变更：」行一致，含双方均无该行的 legacy 同源）——D 号是变更内局部序号，跨变更同号互不相干；
+    // v2 蒸馏落地时同变更 v1 段已被就地替换，此时无目标即不建边（2026-10-14-supersedes-mislink-and-change-display：
+    // 旧「再退同文件首个」回退几乎必然连到他变更同号条目，实测 33 条误连，回退已除）。epoch 形态段
+    // （2026-10-14-decision-global-id-epoch）id 为全局号——局部号引用经「原编号」字段匹配（originId）。
+    const supIds = String(h.supersedesText || '').split(/[,，、\s]+/).filter((s) => /^D-(?:[A-Za-z0-9_\-\u4e00-\u9fff]+-)?\d+@v\d+$/.test(s))
     for (const sid of supIds) {
-      const target = decisionHits.find((x) => x.id === sid && x.file === h.file && (x.change || '') === (h.change || ''))
-        || decisionHits.find((x) => x.id === sid && x.file === h.file)
+      const target = decisionHits.find((x) => (x.id === sid || x.originId === sid) && x.file === h.file && (x.change || '') === (h.change || ''))
       if (target) {
-        const tid = `decision:${target.file}#${target.id}${target.change ? `@${target.change}` : ''}`
-        addEdge(id, tid, 'supersedes')
+        supersedesRefs.push([id, `decision:${target.file}#${target.id}${target.change ? `@${target.change}` : ''}`])
+        continue
+      }
+      // 幽灵版本节点（2026-10-15-supersedes-ghost-nodes）：同号版本取代是蒸馏就地替换（旧段被删，
+      // 跨文件同谓词同删），自身旧版本引用的目标从不在场——真实库实证 39 条引用 0 条可解析、
+      // 703 决策节点全图仅 1 条 supersedes 边（边体系闲置根因）。合成口径**只限自身版本链**：
+      // sid 基号 === 本条目 id 基号（legacy 同号自链）或 === originId 基号（epoch 原编号自链，
+      // 迁移后真实库 36/36 全为此形态）；跨号/跨变更缺失引用不合成（2026-10-14-supersedes-mislink
+      // 的跨变更误连防护不因幽灵形态复活：为他号凭空铸造节点=误连换皮）。ghost 只带 supersedes
+      // 入边（非孤儿）、不参与 anchors/dangling 面（supersedes 不在悬空检测边型集），impact 闭包
+      // 经传递边自然延伸。
+      const ghostBase = (s) => (/^D-((?:[A-Za-z0-9_\-\u4e00-\u9fff]+-)?\d+)@v\d+$/.exec(String(s || '')) || [])[1]
+      const selfBase = ghostBase(h.id)
+      const originBase = h.originId ? ghostBase(h.originId) : null
+      const sidBase = ghostBase(sid)
+      if ((selfBase && sidBase === selfBase) || (originBase && sidBase === originBase)) {
+        const gid = `decision:${h.file}#${sid}${h.change ? `@${h.change}` : ''}`
+        if (!nodes.has(gid)) {
+          addNode(gid, 'decision', `${sid}（已被 ${h.id} 取代）`, {
+            ghost: true, status: 'superseded', supersededBy: h.id,
+            domain: String(h.file || '').replace(/^decisions\//, '').replace(/\.md$/, ''),
+          })
+        }
+        supersedesRefs.push([id, gid])
       }
     }
   }
+  // 目标节点可能晚于引用者定义（同文件行序）——addEdge 要求两端节点在场，引用者先行遍历会静默丢边；
+  // 边统一在节点面建齐后补挂（2026-10-14-supersedes-mislink-and-change-display 测试实证）
+  for (const [s, t] of supersedesRefs) addEdge(s, t, 'supersedes')
 
   // ── ③ FR 索引（fr/<域>.md：变更/状态/superseded_by/取代链/测试绑定子块） ──
   const frDir = join(knowledgeDir, 'fr')
@@ -542,6 +571,27 @@ export function graphChangelogDanglings(graph, { existsFn = existsSync } = {}) {
   return out
 }
 
+/** 登记仓前缀（graph 惰性缓存）：<specRoot>/projects/*.yaml 的 name: 字段——本 spec 树管理
+ *  多仓时（register-repo 机制），跨仓交付路径（backend/**、frontend/**…）按前缀归到登记仓名下，
+ *  不再落 _unmapped 大簇（2026-10-15-graph-registry-domain-split：真图 2183 未挂模块文件节点
+ *  实测 1220 为跨仓前缀、421 为本仓 test 面）。无 projects 目录/解析失败 = 空集（fail-soft）。 */
+function registryProjectPrefixes(graph) {
+  if (graph._projPrefixes) return graph._projPrefixes
+  const out = []
+  try {
+    const dir = join(String(graph.root || ''), 'projects')
+    if (existsSync(dir)) {
+      for (const f of readdirSync(dir)) {
+        if (!f.endsWith('.yaml')) continue
+        const m = /^name:\s*([\w-]+)\s*$/m.exec(readFileSync(join(dir, f), 'utf8'))
+        if (m) out.push(m[1])
+      }
+    }
+  } catch { /* projects 缺席/不可读 = 无登记前缀 */ }
+  graph._projPrefixes = out
+  return out
+}
+
 /** 节点 → 簇域（lite 总览聚类键 type×domain；缺省占位防散簇）。 */
 function graphNodeDomain(graph, n) {
   switch (n.type) {
@@ -550,7 +600,20 @@ function graphNodeDomain(graph, n) {
     case 'file': {
       // module-files 精确挂接反查（多挂取最长模块 id——窄域优先）
       const mods = graph.edges.filter((e) => e.type === 'module-files' && e.t === n.id).map((e) => e.s.replace(/^module:/, ''))
-      return mods.sort((a, b) => b.length - a.length)[0] || '_unmapped'
+      if (mods.length > 0) return mods.sort((a, b) => b.length - a.length)[0]
+      // 登记仓前缀归属（2026-10-15-graph-registry-domain-split）：跨仓交付路径按 projects 登记
+      // 名归簇（最长前缀优先、大小写不敏感——登记名 SillyHub vs 路径 sillyhub/ 实证）；本仓
+      // 测试面归 _tests——残余 _unmapped 只剩真无归属面（module-map 覆盖缺口，可行动）
+      const id = String(n.id)
+      const idLower = id.toLowerCase()
+      let best = ''
+      for (const p of registryProjectPrefixes(graph)) {
+        const pl = p.toLowerCase()
+        if (idLower.startsWith(`${pl}/`) && pl.length > best.length) best = p
+      }
+      if (best) return best
+      if (/^(test|tests)\//.test(id)) return '_tests'
+      return '_unmapped'
     }
     case 'module':
       return n.id.replace(/^module:/, '')
@@ -573,12 +636,18 @@ export function graphSummary(graph, { existsFn = existsSync, clustersLimit = 0 }
   const orphans = graphOrphans(graph).length
   const dangling = graphDangling(graph, { existsFn })
   const danglingRefs = dangling.length
+  // 跨仓口径分流（2026-10-15-graph-dangling-crossrepo-split）：知识库集中管理仓、代码分仓存放
+  // 是本体系常态拓扑——跨仓强边锚点（顶级目录本仓不存在）永不可在本仓解析却全数计入 dangling_refs，
+  // 健康数字长期失真（本仓实证 2537 中 2472 为跨仓注记）。主计数与守恒口径不动（消费方零回归），
+  // 增加分流字段：breakdown.cross_repo=跨仓注记数、dangling_refs_local=本仓可行动悬空数。
+  const danglingCrossRepo = dangling.filter((d) => d.crossRepo).length
   // 分强度计数（附加字段——dangling_refs 是两类之和，消费方对账 doctor 时按 breakdown 拆）
   const danglingBreakdown = dangling.reduce((a, d) => {
     if (EDGE_STRENGTH[d.edge.type] === 'strong') a.strong_anchors++
     else if (EDGE_STRENGTH[d.edge.type] === 'medium') a.medium_doc_refs++
     return a
   }, { strong_anchors: 0, medium_doc_refs: 0 })
+  danglingBreakdown.cross_repo = danglingCrossRepo
   const moduleDocGaps = graphModuleDocGaps(graph).length
   const changelogDanglings = graphChangelogDanglings(graph, { existsFn }).length
   // clusters：type×domain 聚簇，representatives 度数 top-5（同度按 id 字典序稳序）
@@ -612,7 +681,10 @@ export function graphSummary(graph, { existsFn = existsSync, clustersLimit = 0 }
     module_doc_gaps: moduleDocGaps,
     changelog_danglings: changelogDanglings,
     dangling_refs: danglingRefs,
-    // dangling_refs 构成（附加字段，向后兼容）：doctor graph-dangling-anchor（强）+ graph-doc-dangling-ref（中）之和
+    // 本仓可行动悬空（附加字段，跨仓口径分流）：dangling_refs − 跨仓注记——治理动作只看这个数
+    dangling_refs_local: danglingRefs - danglingCrossRepo,
+    // dangling_refs 构成（附加字段，向后兼容）：doctor graph-dangling-anchor（强）+ graph-doc-dangling-ref（中）之和；
+    // cross_repo=跨仓注记数（顶级目录本仓不存在——目标活在独立仓，单列不对账）
     dangling_refs_breakdown: danglingBreakdown,
     clusters,
   }
@@ -791,7 +863,7 @@ export function impactFromDecisionsMd(graph, text) {
 // 输出沿知识命令族全 JSON 约定（{ok,...data}）；人类可读摘要行内嵌 summary 字段。
 // ═══════════════════════════════════════════════════════════════
 
-const GRAPH_USAGE = '用法：sillyspec knowledge graph <summary|nodes|dump|neighbors|path|impact|orphans|dangling> [锚点...] [--search <模糊>] [--limit N] [--edges <边型>] [--depth N]；dump 需 --layout'
+const GRAPH_USAGE = '用法：sillyspec knowledge graph <summary|nodes|dump|neighbors|path|impact|orphans|dangling> [锚点...] [--search <模糊>] [--limit N] [--edges <边型>] [--depth N] [--local]；dump 需 --layout；dangling --local 只列本仓悬空（跨仓注记单列不对账）'
 
 export async function cmdKnowledgeGraph(dir, args, opts = {}) {
   const out = (ok, data, error) => console.log(JSON.stringify({ ok, ...(data || {}) , ...(error ? { error } : {}) }, null, 2))
@@ -822,7 +894,7 @@ export async function cmdKnowledgeGraph(dir, args, opts = {}) {
       stats: s,
       summary: [
         `节点 ${s.nodes} · 边 ${s.edges}`,
-        `孤儿 ${s.orphans} · 模块文档缺口 ${s.module_doc_gaps} · changelog 悬空 ${s.changelog_danglings} · 悬空引用 ${s.dangling_refs}`,
+        `孤儿 ${s.orphans} · 模块文档缺口 ${s.module_doc_gaps} · changelog 悬空 ${s.changelog_danglings} · 悬空引用 ${s.dangling_refs}（本仓 ${s.dangling_refs_local} · 跨仓注记 ${s.dangling_refs_breakdown.cross_repo}——目标仓不在本仓，单列不对账）`,
         `簇 ${s.clusters.length} 个（最大 ${s.clusters[0]?.key ?? '—'} × ${s.clusters[0]?.count ?? 0}）`,
       ],
     })
@@ -907,12 +979,18 @@ export async function cmdKnowledgeGraph(dir, args, opts = {}) {
       orphans: list.map((f) => ({ id: f.node.id, type: f.node.type, kind: f.kind })),
     })
   }
-  // dangling
-  const list = graphDangling(graph)
+  // dangling（--local 过滤跨仓注记：治理动作只看本仓可解析面——跨仓目标活在独立仓）
+  const localOnly = args.includes('--local')
+  const allDangling = graphDangling(graph)
+  const crossRepoCount = allDangling.filter((d) => d.crossRepo).length
+  const list = localOnly ? allDangling.filter((d) => !d.crossRepo) : allDangling
   return out(true, {
-    query: { sub },
+    query: { sub, local: localOnly || undefined },
     count: list.length,
-    summary: list.map((d) => `⚠️ ${d.edge.type}（${d.strength}） ${d.edge.s} → ${d.missing}`),
+    summary: list.map((d) => `⚠️ ${d.edge.type}（${d.strength}） ${d.edge.s} → ${d.missing}${d.crossRepo ? ' 〔跨仓注记〕' : ''}`),
     dangling: list.map((d) => ({ edge: d.edge, missing: d.missing, strength: d.strength })),
+    // 口径分流（附加字段）：本仓可行动数 + 跨仓注记数单列不对账；--local 时 count 即本仓数
+    dangling_refs_local: allDangling.length - crossRepoCount,
+    cross_repo: crossRepoCount,
   })
 }

package/src/knowledge-match.js

@@ -61,7 +61,7 @@ function isDecisionRoute(entry) {
   return /^decisions\//.test(String(entry.file || '').replace(/\\/g, '/'))
 }
 
-const DECISION_HEADER_RE = /^##\s+(D-\d+@v\d+)\s*(.*)$/
+const DECISION_HEADER_RE = /^##\s+(D-(?:[A-Za-z0-9_\-\u4e00-\u9fff]+-)?\d+@v\d+)\s*(.*)$/
 const DECISION_FIELD_RE = /^(状态|文件|理由|否决理由|复潮条件|supersedes)\s*[：:]\s*(.*)$/
 // 「锚点：」单独标签精确匹配读入（仿 docs-check.js parseDecisionEntries 先例）——绝不并入
 // DECISION_FIELD_RE：其 else-if 链末尾的 reason 回填（else if (!cur.reason)）会把锚点值
@@ -69,6 +69,12 @@ const DECISION_FIELD_RE = /^(状态|文件|理由|否决理由|复潮条件|supe
 const DECISION_ANCHOR_RE = /^锚点\s*[：:]\s*(.*)$/
 // 变更：单独标签（变更名限定——D-xxx 是变更内局部序号，跨变更同号互不相干，去重键依赖它）
 const DECISION_CHANGE_RE = /^变更\s*[：:]\s*(.*)$/
+// 来源：兜底标签（2026-10-14-decision-id-p2-hardening）：2026-08-24 首修形态残留（后被「变更：」
+// 取代，现存 20 行）——变更行无条件覆盖在前，来源仅补缺（任意行序下变更优先）
+const DECISION_ORIGIN_RE = /^来源\s*[：:]\s*(.*)$/
+// 原编号：溯源标签（2026-10-14-decision-global-id-epoch）：epoch 形态条目的局部号——graph
+// supersedes 经它把「supersedes：D-011@v1」解析到同变更全局号段
+const DECISION_ORIGINID_RE = /^原编号\s*[：:]\s*(.*)$/
 
 /** 「文件：」值切分 + 逐项反斜杠归一 POSIX（与 decision-distill 的 entry.files 契约对齐：
  *  split /[,，、\s]+/ + replace(/\\/g,'/')）。 */
@@ -133,7 +139,7 @@ function parseDecisionFile(filePath, file) {
     const h = line.match(DECISION_HEADER_RE)
     if (h) {
       flush()
-      cur = { file, id: h[1], title: h[2].trim(), status: '', reason: '', revisitWhen: '', files: [], anchor: '', change: '', supersedesText: '' }
+      cur = { file, id: h[1], title: h[2].trim(), status: '', reason: '', revisitWhen: '', files: [], anchor: '', change: '', supersedesText: '', originId: '' }
       continue
     }
     if (!cur) continue
@@ -144,6 +150,10 @@ function parseDecisionFile(filePath, file) {
     // 域文件跨变更同号条目常见（D-xxx 是变更内局部序号），去重键须含变更名否则先到条目遮蔽后来者）
     const c = line.match(DECISION_CHANGE_RE)
     if (c) { cur.change = c[1].trim(); continue }
+    const o = line.match(DECISION_ORIGIN_RE)
+    if (o) { if (!cur.change) cur.change = o[1].trim(); continue }
+    const oi = line.match(DECISION_ORIGINID_RE)
+    if (oi) { cur.originId = oi[1].trim(); continue }
     const f = line.match(DECISION_FIELD_RE)
     if (!f) continue
     const value = f[2].trim()
@@ -170,20 +180,25 @@ function parseDecisionFile(filePath, file) {
 export function parseDecisionEntries(indexDir, indexEntries = null) {
   const routes = (indexEntries || parseKnowledgeIndex(indexDir)).filter(isDecisionRoute)
   const hits = []
+  // 路由行按文件去重单解析（2026-10-14-decision-id-p2-hardening）：多条路由行指向同一域文件只解析
+  // 一次——此前靠条目级折叠兜完全重复，legacy 不折叠后从源头消除重复
+  const parsed = new Set()
   for (const route of routes) {
+    const fileKey = String(route.file || '').replace(/\\/g, '/')
+    if (parsed.has(fileKey)) continue
+    parsed.add(fileKey)
     const filePath = join(indexDir, route.file)
     if (!existsSync(filePath)) continue // 路由行失效（域文件已删）→ 跳过不阻断
     hits.push(...parseDecisionFile(filePath, route.file))
   }
-  // 多条路由行指向同一域文件时按 file+id+变更 去重（完全重复折叠）；键含变更名——
-  // 跨变更同号条目（D-xxx 是变更内局部序号，域文件内同 id 不同变更常见）不再被先到者
-  // 遮蔽（坑 decision-cross-change-id-shadow，2026-09-11 dogfood 实证：runtime.md 七个
-  // D-001@v1 分属七变更，旧键只放行首个——同号 rejected 决策在 {DECISION_HITS} 防复潮
-  // 注入同样被遮蔽）。无「变更：」行的 legacy 条目 change='' 与同号 legacy 条目互折叠
-  // （维持旧行为，不放大历史条目数）。
+  // 带 change 条目按 file+id+change 去重（坑 decision-cross-change-id-shadow，2026-09-11 dogfood 实证：
+  // 域文件跨变更同号条目常见，键须含变更名否则先到遮蔽——runtime.md 七个 D-001@v1 分属七变更）。
+  // 无「变更：/来源：」行的 legacy 条目不再互折叠（2026-10-14-decision-id-p2-hardening：旧互折叠致
+  // 同号 legacy 互相遮蔽——实测 2 条 implemented 条目永久隐身；路由单解析后完全重复已从源头消除）。
   const seen = new Set()
   return hits.filter(h => {
-    const key = `${h.file}#${h.id}#${h.change || ''}`
+    if (!h.change) return true
+    const key = `${h.file}#${h.id}#${h.change}`
     if (seen.has(key)) return false
     seen.add(key)
     return true
@@ -221,6 +236,16 @@ export function matchDecisionsByFiles(indexDir, files) {
   return result
 }
 
+/** 决策展示行变更名限定词（2026-10-14-supersedes-mislink-and-change-display）：D-xxx 是变更内
+ *  局部序号，跨变更同号条目常见（知识库 D-001@v1 ×296、其中 192 条同题）——四处展示面
+ *  （{DECISION_HITS}/轻量道防复潮/knowledge-gate/decision-touch）经本函数统一渲染限定词消歧；
+ *  change 缺失（legacy 无「变更：」行）固定降级「变更未记录」——不编造、不省略。
+ *  单一源防四处文案漂移（与 deathPathNote 同址同规约）。 */
+export function decisionChangeQualifier(change) {
+  const c = String(change || '').trim()
+  return c ? `变更 ${c}` : '变更未记录'
+}
+
 /** 死路注记短句提取（消费方渲染用）：理由里「死路：…」到首个句读为止；无标记时截前 60 字。
  *  单一源供 flow 知识注入段与 complete.js knowledge-gate 回显共用（2026-09-28-knowledge-inject-ranking）。 */
 export function deathPathNote(reason) {

package/src/knowledge-stats.js

@@ -99,6 +99,10 @@ export function buildHitMatrix(knowledgeDir, runtimeDir, { sinceDays = 30 } = {}
 }
 
 // ── FR 索引实验聚合（2026-09-18-fr-index-l1 后续钩子·L3 裁决仪表盘）──
+// L3 已裁决冻结（2026-10-15-fr-chain-l3-adjudication D-001@v1）：证伪三条件全中（承接引用率
+// 1/452≈0% / fr-supersede 窗口 2 次 / fr-duplicate-warning 24 次零候选），条款明文合法结局——
+// 活规格树不建，fr 索引降级保留检索/注入面；本区指标转历史观察，候选视图退役为冻结注记。
+const FR_L3_ADJUDICATED_NOTE = '已裁决（2026-10-15 D-001@v1）：L3 冻结不建，fr 索引保留检索/注入面——本区指标转历史观察（复潮条件见裁决条目）'
 
 /**
  * 聚合 L1 四类 fr-* 遥测事件 + knowledge/fr/ 索引面统计——L3 裁决（design 实验证伪条款）
@@ -314,7 +318,7 @@ export async function cmdKnowledgeStats(dir, args, opts = {}) {
     if (frIndex.present) {
       const e = frIndex.events
       const i = frIndex.index
-      lines.push(`🔬 FR 索引实验（窗口内事件 / 索引面全量——L3 裁决指标，证伪条款见 2026-09-18-fr-index-l1 design）`)
+      lines.push(`🔬 FR 索引实验（窗口内事件 / 索引面全量——L3 裁决指标，证伪条款见 2026-09-18-fr-index-l1 design）｜${FR_L3_ADJUDICATED_NOTE}`)
       lines.push(`  注入 fr-inject ${e.frInject} 次（${e.frInjectChanges} 变更） | 取代链 fr-supersede ${e.frSupersede} 次（${e.frSupersedeChanges} 变更） | 重复拦截 fr-duplicate-warning ${e.frDuplicateWarning} 次（${e.frDuplicateWarningCandidates || e.frDuplicateCandidates || 0} 候选）`)
       lines.push(`  腐烂 suspect fr-rot-suspect ${e.frRotSuspect || 0} 次（${e.frRotSuspectChanges || 0} 变更${e.frRotSuspectByDomain && e.frRotSuspectByDomain.length > 0 ? `，按域 ${e.frRotSuspectByDomain.map(d => `${d.domain}×${d.count}`).join('，')}` : ''}）`)
       if (e.frUnreferenced.length > 0) {
@@ -325,10 +329,8 @@ export async function cmdKnowledgeStats(dir, args, opts = {}) {
       lines.push(`  承接引用率：${frIndex.supersedeRate === null ? '—（索引空）' : `${(frIndex.supersedeRate * 100).toFixed(0)}%（${e.frSupersedeChanges}/${i.sourceChanges}，分子窗口内/分母全量——裁决用大窗口）`}`)
       const cand = frIndex.adjudicationCandidates || []
       if (cand.length > 0) {
-        lines.push('  裁决候选 Top-10（suspect×unref 条目级聚合——候选非裁决，确认无人承接→承接翻链或人工退休）：')
-        for (const c of cand.slice(0, 10)) {
-          lines.push(`    - ${c.id} suspect×${c.suspect} unref×${c.unreferenced}${c.change ? `（来源 ${c.change}）` : ''}`)
-        }
+        // L3 冻结后候选视图退役（数据面 adjudicationCandidates 保留 JSON 可查）——显示冻结注记
+        lines.push(`  裁决候选视图已退役｜${FR_L3_ADJUDICATED_NOTE}`)
       }
     } else {
       lines.push('（FR 索引面不存在——knowledge/fr/ 目录缺失或无条目；归档完整流程变更后此处可查）')
@@ -375,12 +377,12 @@ export async function cmdKnowledgeStats(dir, args, opts = {}) {
 
   lines.push(`遥测计数（窗口内）：注入 ${result.totalInjects} 次 | 归类 ${result.totalClassifies} 次${lastEventAt ? ` | 数据截至 ${lastEventAt.slice(0, 10)}` : ''}`)
 
-  // FR 索引实验（L3 裁决仪表盘——证伪条款出数面；裁决时建议 --since-days 大窗口读全口径）
+  // FR 索引实验（L3 裁决仪表盘——证伪条款出数面；L3 已裁决冻结 2026-10-15，指标转历史观察）
   if (frIndex.present) {
     const e = frIndex.events
     const i = frIndex.index
     lines.push('')
-    lines.push(`🔬 FR 索引实验（窗口内事件 / 索引面全量——L3 裁决指标，证伪条款见 2026-09-18-fr-index-l1 design）`)
+    lines.push(`🔬 FR 索引实验（窗口内事件 / 索引面全量——L3 裁决指标，证伪条款见 2026-09-18-fr-index-l1 design）｜${FR_L3_ADJUDICATED_NOTE}`)
     lines.push(`  注入 fr-inject ${e.frInject} 次（${e.frInjectChanges} 变更） | 取代链 fr-supersede ${e.frSupersede} 次（${e.frSupersedeChanges} 变更） | 重复拦截 fr-duplicate-warning ${e.frDuplicateWarning} 次（${e.frDuplicateCandidates} 候选）`)
     if (e.frUnreferenced.length > 0) {
       const top = e.frUnreferenced.slice(0, 5).map((u) => `${u.domain}×${u.count}`).join('，')
@@ -388,14 +390,11 @@ export async function cmdKnowledgeStats(dir, args, opts = {}) {
     }
     lines.push(`  索引面：${i.entries} 条（active ${i.active} / superseded ${i.superseded}）| 来源变更 ${i.sourceChanges} 个 | 域 ${i.domains.join(', ') || '—'}`)
     lines.push(`  承接引用率：${frIndex.supersedeRate === null ? '—（索引空）' : `${(frIndex.supersedeRate * 100).toFixed(0)}%（${e.frSupersedeChanges}/${i.sourceChanges}，分子窗口内/分母全量——裁决用大窗口）`}`)
-    // 裁决候选视图（2026-10-03-fr-governance-telemetry）：条目级 id 聚合（事件 frIds/ids，帽 20 抽样
-    // 为下界）。候选非裁决——高 suspect 天然来自热文件；处置出口：确认无人承接 → 承接翻链或人工退休。
+    // 裁决候选视图退役（L3 冻结，2026-10-15-fr-chain-l3-adjudication D-001@v1）——数据面
+    // adjudicationCandidates 保留 JSON 可查，显示面只留冻结注记。
     const cand = frIndex.adjudicationCandidates || []
     if (cand.length > 0) {
-      lines.push('  裁决候选 Top-10（suspect×unref 条目级聚合——候选非裁决，确认无人承接→承接翻链或人工退休）：')
-      for (const c of cand.slice(0, 10)) {
-        lines.push(`    - ${c.id} suspect×${c.suspect} unref×${c.unreferenced}${c.change ? `（来源 ${c.change}）` : ''}`)
-      }
+      lines.push(`  裁决候选视图已退役｜${FR_L3_ADJUDICATED_NOTE}`)
     }
   }