sillyspec 3.32.0 → 3.32.2

package/src/knowledge-match.js

@@ -62,7 +62,7 @@ function isDecisionRoute(entry) {
 }
 
 const DECISION_HEADER_RE = /^##\s+(D-\d+@v\d+)\s*(.*)$/
-const DECISION_FIELD_RE = /^(状态|文件|理由|否决理由|复潮条件)\s*[：:]\s*(.*)$/
+const DECISION_FIELD_RE = /^(状态|文件|理由|否决理由|复潮条件|supersedes)\s*[：:]\s*(.*)$/
 // 「锚点：」单独标签精确匹配读入（仿 docs-check.js parseDecisionEntries 先例）——绝不并入
 // DECISION_FIELD_RE：其 else-if 链末尾的 reason 回填（else if (!cur.reason)）会把锚点值
 // 误吞进 reason（Grill X-002 隐性回归）。
@@ -87,15 +87,19 @@ const ANCHOR_FILE_TOKEN_RE = /[\w./-]+\.(?:mjs|cjs|jsx|tsx|js|ts|py|go|java|rs)/
  * 锚点值 → 代码文件路径集（条目无「文件：」字段时的兜底命中源）。
  * 真实先例：D-905 形态「锚点：src/quicklog.js:493」→ 提取 src/quicklog.js
  * （token 字符类不含 : 故止于行号前，再防御性剥 :line/:line-line/:符号 后缀）。
- * 「未记录」/无路径形态 token → []。
+ * 「未记录」/无路径形态 token → []。导出供 knowledge-graph.js 采集 anchors 边复用。
  */
-function anchorFilePaths(anchor) {
+export function anchorFilePaths(anchor) {
   const a = String(anchor || '').trim().replace(/\\/g, '/')
   if (!a || a === '未记录') return []
   const out = new Set()
   for (const token of a.match(ANCHOR_FILE_TOKEN_RE) || []) {
-    const p = token.replace(/:(?:\d+(?:-\d+)?|[A-Za-z_$][A-Za-z0-9_$]*)$/, '')
-    if (p) out.add(p)
+    // 前导斜杠剥除（2026-10-09-graph-docrefs-noise）：repo:// URL 被正则吃成 //sillyhub/... 碎片，
+    // 剥后 sillyhub/ 顶级由图侧按跨仓口径处理；纯数字/裸扩展段丢弃（解析噪声）
+    const p = token
+      .replace(/:(?:\d+(?:-\d+)?|[A-Za-z_$][A-Za-z0-9_$]*)$/, '')
+      .replace(/^\/+/, '')
+    if (p && !/^\d+$/.test(p)) out.add(p)
   }
   return [...out]
 }
@@ -129,7 +133,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: '' }
+      cur = { file, id: h[1], title: h[2].trim(), status: '', reason: '', revisitWhen: '', files: [], anchor: '', change: '', supersedesText: '' }
       continue
     }
     if (!cur) continue
@@ -145,6 +149,7 @@ function parseDecisionFile(filePath, file) {
     const value = f[2].trim()
     if (f[1] === '状态') cur.status = value.toLowerCase()
     else if (f[1] === '文件') cur.files = splitDecisionFiles(value)
+    else if (f[1] === 'supersedes') cur.supersedesText = value
     else if (f[1] === '否决理由') cur.reason = value
     else if (f[1] === '复潮条件') cur.revisitWhen = value
     else if (!cur.reason) cur.reason = value // 理由：仅作 implemented（或否决理由缺失）时的回填

package/src/knowledge-stats.js

@@ -299,6 +299,45 @@ export async function cmdKnowledgeStats(dir, args, opts = {}) {
   const result = buildHitMatrix(knowledgeDir, runtimeDir, { sinceDays })
   const frIndex = buildFrIndexStats(knowledgeDir, runtimeDir, { sinceDays })
 
+  // --fr-only（2026-10-08-knowledge-stats-fr-only）：输出层过滤——仅保留 FR 索引段/键。
+  // 计算层保持全量（buildHitMatrix/buildFrIndexStats 签名与共用面零改动），flag 只影响渲染。
+  const frOnly = args.includes('--fr-only')
+  if (frOnly) {
+    if (asJson) {
+      // envelope 顶层键集与不带 --fr-only 时完全一致（outputJson 的外壳 schema_version/ok 不动），
+      // data 仅含 frIndex——跳过 matrix/conventions/neverHit/totalInjects/totalClassifies
+      outputJson(true, { sinceDays, hasTelemetry, lastEventAt, frIndex })
+      return
+    }
+    // 人类模式：仅渲染 FR 索引段（标题到承接引用率/裁决候选——不加遥测计数行和矩阵段）
+    const lines = []
+    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-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) {
+        const top = e.frUnreferenced.slice(0, 5).map((u) => `${u.domain}×${u.count}`).join('，')
+        lines.push(`  删除缺口信号 fr-unreferenced：${top}${e.frUnreferenced.length > 5 ? ' …' : ''}（观察信号·不算 L3 门禁）`)
+      }
+      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}，分子窗口内/分母全量——裁决用大窗口）`}`)
+      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}）` : ''}`)
+        }
+      }
+    } else {
+      lines.push('（FR 索引面不存在——knowledge/fr/ 目录缺失或无条目；归档完整流程变更后此处可查）')
+    }
+    console.log(lines.join('\n'))
+    return
+  }
+  const asJsonBak = asJson // fr-only 已在上方 return 短路，此处原路径零改动
+  void asJsonBak
   if (asJson) {
     outputJson(true, { sinceDays, hasTelemetry, lastEventAt, ...result, frIndex })
     return

package/src/knowledge-vector.js

@@ -1,8 +1,9 @@
 /**
  * knowledge-vector.js — 平台向量召回层（CLI 侧，2026-09-29-knowledge-vector-recall）
  *
- * 检索三层：路由 tag 命中 →（零命中）平台向量召回（本模块，已连接平台时）→ 本地词片
- * 复现窗口（knowledge-match.js fallbackByQueryShingles）→ 空。
+ * 检索四层（2026-10-08-knowledge-graph 起）：路由 tag 命中 →（零命中）平台向量召回（本模块，
+ * 已连接平台时）→ scope 遍历召回（knowledge-graph.js，scopeFiles 在场时）→ 本地词片复现窗口
+ * （knowledge-match.js fallbackByQueryShingles）→ 空。
  *
  * 原则（用户裁决 2026-09-29）：平台只做语义召回——返回「哪个文件哪个条目」的候选
  * （spec_path＋anchor＋score）；条目 status/deathPath/回显资格等全部策略面在本地解析
@@ -143,8 +144,11 @@ function buildResultFromPlatform(indexDir, pvResults) {
 
 /**
  * 异步三层检索入口（四消费方使用：flow 注入段／complete 门／prompt {DECISION_HITS}／
- * knowledge search CLI）：路由 → 平台向量（已连接且开关开）→ 本地词片 → 空。
+ * knowledge search CLI）：路由 → 平台向量（已连接且开关开）→ scope 遍历 → 本地词片 → 空。
  * opts.cwd = 仓根（平台配置与 local.yaml 定位用）；缺省由 indexDir 上推两级。
+ * opts.scopeFiles（2026-10-08-knowledge-graph，FR-04 承接 FR-cli-entry-234）：变更触碰文件集
+ * ——机器算的图查询键（D-004：flow 注入段传 touched、complete 门传 decisions.md 锚点提取）。
+ * 缺省/空数组 → 遍历层整体跳过，行为与不携带该参数的旧行为逐字段一致（回归钉死）。
  */
 export async function matchKnowledgeHybrid(indexDir, taskContext, opts = {}) {
   const r = matchByRouting(indexDir, taskContext)
@@ -155,6 +159,16 @@ export async function matchKnowledgeHybrid(indexDir, taskContext, opts = {}) {
     const built = pv ? buildResultFromPlatform(indexDir, pv.results) : null
     if (built) return built
   }
+  // scope 遍历层（第三层）：只在 scope 非空且向量零命中后接管；fail-soft（图构建异常静默降级词片）
+  const scopeFiles = Array.isArray(opts.scopeFiles) ? opts.scopeFiles.filter(Boolean) : []
+  if (scopeFiles.length > 0) {
+    try {
+      const { buildKnowledgeGraph, scopeRecall, buildScopeRecallResult } = await import('./knowledge-graph.js')
+      const specRoot = String(indexDir).replace(/[\\/]knowledge[\\/]?$/, '')
+      const built = buildScopeRecallResult(scopeRecall(buildKnowledgeGraph(specRoot), scopeFiles))
+      if (built) return built
+    } catch { /* 图构建 fail-soft——降级词片层 */ }
+  }
   const fb = fallbackByQueryShingles(indexDir, taskContext)
   return fb || r
 }

package/src/run/complete.js

@@ -18,9 +18,9 @@
  */
 import { join, isAbsolute, resolve } from 'node:path'
 import { existsSync, readFileSync, mkdirSync, writeFileSync, appendFileSync } from 'node:fs'
-import { createHash } from 'node:crypto'
 import { writeAtomicSync } from '../fs-atomic.js'
 import { gitQuiet } from '../git-helper.js'
+import { writeCloseTraceArtifacts, projectTraceFaceRows } from '../flow-parity.js'
 import { withFileLock } from '../quicklog.js'
 import { triggerSync, WAIT_MARKER_RE, getStageSteps, formatWaitOptions, resolveRuntimeRoot, getOrCreateMultiRepoContext, resolveChangeDir, writePlatformDocsPointer } from './shared.js'
 import { isExplicitReviewWrite, collectWorktreeChangedFiles } from '../task-review.js'
@@ -479,10 +479,23 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
         _kgQuery = _kgQuery.slice(0, 4000)
         if (_kgQuery.trim()) {
           const { matchKnowledgeHybrid } = await import('../knowledge-vector.js')
-          const km = await matchKnowledgeHybrid(join(specBase, 'knowledge'), _kgQuery, { cwd })
+          const { scopeFromDecisionsMd } = await import('../knowledge-graph.js')
+          // scope 键=机器算（D-004 需求期入口）：decisions.md「锚点：」字段路径提取——方案步的
+          // 结构化声明面，不解析自由文本。词面零命中时沿强边保底防复潮（FR-04）。
+          const km = await matchKnowledgeHybrid(join(specBase, 'knowledge'), _kgQuery, { cwd, scopeFiles: scopeFromDecisionsMd(_dm) })
           // 零分不弹（2026-09-28-knowledge-gate-denoise）：score 零且非死路的 rejected 与查询零主题
           // 重叠——空标题条目靠状态蹭进回显是行为实测三例的噪音源；死路条目不受限（防复潮先验）。
           const _hits = (km.decisionHits || []).filter((h) => h.deathPath || (h.status === 'rejected' && h.score > 0))
+          // impact 防复潮可达集（2026-10-09-brainstorm-impact-antirevival）：锚点+模块域双结构键
+          // → graphImpact 闭包内 rejected/死路保底进场——方案步锚点常空（confirmed 才必填），
+          // 模块域是生成规范文件步硬校验的在场键；viaImpact 条目绕过 score 门槛（结构可达即
+          // 防复潮先验，与死路同待遇）。图构建 fail-soft（失败不阻断门）。
+          try {
+            const { buildKnowledgeGraph, impactFromDecisionsMd } = await import('../knowledge-graph.js')
+            const _viaImpact = impactFromDecisionsMd(buildKnowledgeGraph(specBase), _dm)
+              .filter((h) => !_hits.some((x) => x.file === h.file && x.id === h.id && (x.change || '') === (h.change || '')))
+            _hits.push(..._viaImpact)
+          } catch { /* 图构建/键解析 fail-soft——词面命中面不受影响 */ }
           // 已回应不重弹：decisions.md 正文已含「命中 id＋域文件名」共现（小白鼠回应形态
           // 「unmapped.md D-001@v1」）→ 视为已甄别过，静默；同轮查询串仍含其词面属预期。
           const _answered = _dm
@@ -500,7 +513,8 @@ export async function completeStep(pm, progress, stageName, cwd, outputText, inp
               const _note = h.status === 'rejected'
                 ? ` 否决理由：${h.reason || '（未记录）'}`
                 : h.deathPath ? ` ⚰️死路注记：${deathPathNote(h.reason)}` : ''
-              console.warn(`   - ${h.id} ${h.title}（${h.file}）status=${h.status || '?'}${_note}`)
+              const _via = h.viaImpact ? ` 🧭impact 可达（键：${h.impactKey}）` : ''
+              console.warn(`   - ${h.id} ${h.title}（${h.file}）status=${h.status || '?'}${_note}${_via}`)
             }
             for (const e of _entries.slice(0, 3)) {
               const _base = e.anchor ? `${e.file}#${e.anchor}` : e.file
@@ -1109,16 +1123,27 @@ async function printExecuteScopeAudit({ cwd, changeName, specBase, platformOpts,
     mkdirSync(changeDir, { recursive: true })
     const { frozenPatch, ...snap } = result
     snap.note = 'execute --done 时点冻结（本文件落盘时采集）'
-    if (typeof frozenPatch === 'string') {
-      const patchText = frozenPatch.endsWith('\n') ? frozenPatch : frozenPatch + '\n'
-      writeFileSync(join(changeDir, 'scope-audit.patch'), patchText)
-      snap.patchSha256 = createHash('sha256').update(patchText.replace(/\r\n/g, '\n'), 'utf8').digest('hex')
-      snap.patchStatus = 'ok'
-    } else if (frozenPatch === null) {
-      snap.patchStatus = 'failed'
-    }
-    writeFileSync(join(changeDir, 'scope-audit.json'), JSON.stringify({ ...snap, savedAt: new Date().toISOString() }, null, 2) + '\n')
-    console.log(`   📦 范围快照已落变更目录（scope-audit.json${snap.patchStatus === 'ok' ? ' + scope-audit.patch（收尾时点冻结，sha256 已锚）' : snap.patchStatus === 'failed' ? '——patch 采集失败已留痕' : ''}）`)
+    snap.closedBy = 'execute --done'
+    // 沉淀资产面投影（2026-10-07-unify-close-trace）：files/totals = 主仓实改行（planned+
+    // unplanned；untouched 0/0 是声明不是改动、crossRepo 行 patch 不在主仓——均不入）。
+    // 经共用 writeCloseTraceArtifacts 与 thin flow done 同一处写四件（sha256 双套同锚）；
+    // 投影口径抽 flow-parity.projectTraceFaceRows 纯函数（排除路径有单测钉住）。
+    const face = projectTraceFaceRows(snap.rows)
+    const closeTrace = writeCloseTraceArtifacts({
+      changeDir,
+      change: changeName,
+      baseline: typeof snap.baseAnchor === 'string' ? snap.baseAnchor : null,
+      head: String(gitQuiet(cwd, ['rev-parse', 'HEAD']) || '').trim() || null,
+      files: face.files,
+      metaTotals: face.totals,
+      patchText: typeof frozenPatch === 'string' && frozenPatch ? frozenPatch : null,
+      savedAt: new Date().toISOString(),
+      snapObj: snap,
+      meta: {
+        note: 'execute --done 时点冻结（沉淀资产面：主仓实改行投影——thin flow done 对等；治理工件目录与其后 verify/archive 演进不在内）',
+      },
+    })
+    console.log(`   📦 范围快照 + 沉淀资产双轨落盘（scope-audit.json${closeTrace.patchStatus === 'ok' ? ' + scope-audit.patch' : ''} + change-patch.json${closeTrace.patchStatus === 'ok' ? ' + change.patch' : ''}${closeTrace.patchStatus === 'ok' ? '——收尾时点冻结，sha256 同锚' : '——patch 采集失败已留痕'}）`)
   } catch (e) {
     console.warn(`   ⚠️ 范围对账快照写入失败（不阻断，verify 漂移对比将按无快照降级）：${e && e.message ? String(e.message).split('\n')[0] : e}`)
   }

package/src/scope-audit.js

@@ -267,6 +267,72 @@ function readFrozenPatch(changeDir) {
   } catch { return null }
 }
 
+/**
+ * flow done 冻结记录读取（2026-10-07-scope-audit-thin-patch-replay）：change-patch.json 是
+ * thin 轻量变更 flow done 时点冻结的归属面（files/baseline/head/totals/patchSha256）——thin
+ * 通道不落 execute --done 快照，本件即其对账级冻结记录。缺 json / files 非数组 → null
+ * （调用方回退实时开放区间，不出伪数据）。
+ */
+function readChangePatchMeta(changeDir) {
+  if (!changeDir) return null
+  try {
+    const meta = JSON.parse(readFileSync(join(changeDir, 'change-patch.json'), 'utf8'))
+    if (meta && typeof meta === 'object' && Array.isArray(meta.files)) return meta
+  } catch { /* 缺失/损坏 → null */ }
+  return null
+}
+
+/**
+ * 冻结 patch 正文读取（thin 回放数据源）：变更目录 change.patch；缺失/空 → null。
+ * @returns {string|null}
+ */
+function readChangePatchText(changeDir) {
+  if (!changeDir) return null
+  try {
+    const text = readFileSync(join(changeDir, 'change.patch'), 'utf8')
+    return text && text.trim() ? text : null
+  } catch { return null }
+}
+
+/**
+ * 冻结 patch 按段行数统计（thin 回放数据源）：`diff --git a/<old> b/<new>` 段头切分
+ * （正则与 filterPatchForFiles/slicePatchForFile 同款，取 b/ 新路径），段内 +/− 前缀行计数
+ * （+++ / --- 文件头与 \ 续行标记不计）；`new file mode` → new、`deleted file mode` →
+ * deleted、Binary/GIT binary patch → null 档——三档与 collectNumstatByPath 口径对齐。
+ * 自包含解析（不采 git numstat）：冻结面含 done 时点工作树件（治理工件/untracked），且不
+ * 依赖 git 对象库存活。
+ * @returns {Map<string, {additions: number|null, deletions: number|null, kind: 'binary'|'new'|'modified'|'deleted'}>}
+ */
+function parseFrozenPatchStats(patchText) {
+  const stats = new Map()
+  if (!patchText) return stats
+  let cur = null
+  const flush = () => {
+    if (cur && cur.path) {
+      stats.set(cur.path, cur.binary
+        ? { additions: null, deletions: null, kind: 'binary' }
+        : { additions: cur.additions, deletions: cur.deletions, kind: cur.kind })
+    }
+    cur = null
+  }
+  for (const line of String(patchText).split('\n')) {
+    if (line.startsWith('diff --git ')) {
+      flush()
+      const m = line.match(/^diff --git a\/(.+) b\/(.+)$/)
+      cur = m ? { path: toPosix(m[2]), additions: 0, deletions: 0, kind: 'modified', binary: false } : null
+      continue
+    }
+    if (!cur) continue
+    if (line.startsWith('new file mode')) cur.kind = 'new'
+    else if (line.startsWith('deleted file mode')) cur.kind = 'deleted'
+    else if (line.startsWith('Binary') || line.startsWith('GIT binary patch')) cur.binary = true
+    else if (line.startsWith('+') && !line.startsWith('+++')) cur.additions++
+    else if (line.startsWith('-') && !line.startsWith('---')) cur.deletions++
+  }
+  flush()
+  return stats
+}
+
 /**
  * patch 段过滤（quick-90015473）：全量 diff 按 `diff --git a/<old> b/<new>` 段头切分，
  * 只保留 files 集合内的段——json rows（退栈归属集）与 patch 同口径，多会话仓不把并行
@@ -972,6 +1038,9 @@ async function computeFullFlowAudit({ cwd, specBase, changeName, platformOpts, c
       // execute --done 落盘，complete.js `...snap` 展开零改动自动携带）原样回放；旧快照无该键
       // → undefined（JSON.stringify 自动省略——单仓/旧快照零新增字段，additive 契约）。
       const snapRepos = Array.isArray(snap.repos) ? snap.repos : undefined
+      // 通道标注（2026-10-07-unify-close-trace）：新快照带 closedBy（flow done / execute --done）
+      // ——thin 快照回放不再误标 execute --done；旧快照无键缺省兼容。
+      const closeChannel = typeof snap.closedBy === 'string' && snap.closedBy ? snap.closedBy : 'execute --done'
       // 旧快照跨仓注记（R-07）：快照冻结于跨仓对账上线前（跨仓行恒 untouched 的 v1 ⊘ 形态、
       // 无 repos 键）——照旧回放不重算（「快照说什么是什么」契约不破），注记指明人工渠道
       // （该仓锚点锡点冻结在 execute-runs reviews，可人工 git diff 核实）。
@@ -1015,7 +1084,7 @@ async function computeFullFlowAudit({ cwd, specBase, changeName, platformOpts, c
             : { foreignDeclared: [] },
           patchSha256: snap.patchSha256 || null,
           patchStatus: snap.patchStatus || null,
-          note: `${settleLabel}——execute --done 时点冻结快照${snap.savedAt ? '（' + String(snap.savedAt).replace('T', ' ').slice(0, 19) + ' 落盘）' : ''}：文件集封闭在 apply 时点，主仓后续新文件不进表；行数按锚 ${actual.baseAnchor.slice(0, 7)}→当前工作树 补采（同文件后续演进会计入）${legacyCrossNote}`,
+          note: `${settleLabel}——${closeChannel} 时点冻结快照${snap.savedAt ? '（' + String(snap.savedAt).replace('T', ' ').slice(0, 19) + ' 落盘）' : ''}：文件集封闭在收尾时点，主仓后续新文件不进表；行数按锚 ${actual.baseAnchor.slice(0, 7)}→当前工作树 补采（同文件后续演进会计入）${legacyCrossNote}`,
         }
       }
       return {
@@ -1033,7 +1102,64 @@ async function computeFullFlowAudit({ cwd, specBase, changeName, platformOpts, c
           : { foreignDeclared: [] },
         patchSha256: snap.patchSha256 || null,
         patchStatus: snap.patchStatus || null,
-        note: `${settleLabel}——execute --done 时点冻结快照${snap.savedAt ? '（' + String(snap.savedAt).replace('T', ' ').slice(0, 19) + ' 落盘）' : ''}：范围封闭在 apply 时点，主仓后续改动不反映到本表；需要看当前工作区实时状态请跑 git status${legacyCrossNote}`,
+        note: `${settleLabel}——${closeChannel} 时点冻结快照${snap.savedAt ? '（' + String(snap.savedAt).replace('T', ' ').slice(0, 19) + ' 落盘）' : ''}：范围封闭在收尾时点，主仓后续改动不反映到本表；需要看当前工作区实时状态请跑 git status${legacyCrossNote}`,
+      }
+    }
+    // —— thin flow done 冻结记录回放（2026-10-07-scope-audit-thin-patch-replay）：thin 轻量变更
+    // flow done 只冻 change-patch.json + change.patch、不落 execute 快照——快照缺失时回读冻结件
+    // 出真实三态（存量归档立即受益），不再落「实时开放区间 → 干净树空 → 清单全行计划未动
+    // +0/−0」的失真链。文件集 = meta.files 过 filterDeliverableFiles（与 actual 侧同口径，
+    // 治理工件不进表）；行数自冻结 patch 按段统计（parseFrozenPatchStats，自包含）；三态按
+    // design 清单 pathMatches 判定（与主链路三态判定同款）；跨仓条目维持 v1 ⊘ untouched 形态
+    // （thin 冻结件只有主仓 patch，不假装对账过）。
+    const doneMeta = readChangePatchMeta(changeDirInfo.dir)
+    if (doneMeta && doneMeta.files.length > 0) {
+      const frozenFiles = filterDeliverableFiles([...new Set(doneMeta.files.map(toPosix).filter(Boolean))]).sort()
+      const patchOk = doneMeta.patchStatus === 'ok'
+      const segStats = patchOk ? parseFrozenPatchStats(readChangePatchText(changeDirInfo.dir)) : new Map()
+      const doneRows = []
+      const doneMatched = new Set()
+      for (const f of frozenFiles) {
+        // 段缺失（冻结面零 diff 文件）/ patch 采集失败 → 行数 null 档（—），不出伪数据
+        const st = segStats.get(f) || { additions: null, deletions: null, kind: 'modified' }
+        const row = { path: f, additions: st.additions, deletions: st.deletions, kind: st.kind }
+        if (!planDegraded) {
+          const entry = plannedEntries.find(e => pathMatches(f, e.path))
+          if (entry) {
+            doneMatched.add(entry.path)
+            row.planned = entry.operation || null
+            row.verdict = 'planned'
+          } else {
+            row.planned = null
+            row.verdict = 'unplanned'
+            const facility = classifyToolScaffold(f)
+            if (facility) row.facility = facility
+          }
+        }
+        doneRows.push(row)
+      }
+      // 计划未动补行：清单文件不在冻结面 → untouched 0/0（与主链路补行同款语义）
+      for (const e of plannedEntries) {
+        if (doneMatched.has(e.path)) continue
+        doneRows.push(e.repo
+          ? { path: e.path, planned: e.operation || null, additions: 0, deletions: 0, kind: 'modified', verdict: 'untouched', crossRepo: e.repo }
+          : { path: e.path, planned: e.operation || null, additions: 0, deletions: 0, kind: 'modified', verdict: 'untouched' })
+      }
+      const doneSettleLabel = changeDirInfo.archived ? '已归档' : 'execute 已收尾（分支已清理，待 verify/archive）'
+      const doneSavedAt = doneMeta.savedAt ? '，' + String(doneMeta.savedAt).replace('T', ' ').slice(0, 19) + ' 落盘' : ''
+      return {
+        ...base,
+        ok: true,
+        degradedReason: planDegraded,
+        baseAnchor: typeof doneMeta.baseline === 'string' && /^[0-9a-f]{7,40}$/.test(doneMeta.baseline) ? doneMeta.baseline : null,
+        totals: { files: doneRows.length, ...sumTotals(doneRows) },
+        rows: doneRows,
+        excluded: { foreignDeclared: [] },
+        patchSha256: doneMeta.patchSha256 || null,
+        patchStatus: doneMeta.patchStatus || null,
+        // --file 冻结切片消费（getFileDiff 唯一读取方）：指向 change.patch，sha256 校验 A-F01 同款
+        ...(patchOk ? { frozenPatchPath: join(changeDirInfo.dir, 'change.patch') } : {}),
+        note: `${doneSettleLabel}——flow done 时点冻结 patch 记录（change-patch.json + change.patch${doneSavedAt}）：文件集与行数封闭在 done 时点（thin 轻量变更无 execute 快照），主仓后续改动不反映到本表${patchOk ? '' : '；冻结 patch 当时采集失败——行数列不可得（—），文件集仍为 done 时点冻结面'}；需要看当前工作区实时状态请跑 git status`,
       }
     }
     // 快照缺失 → 实时开放区间兜底（下方主链路），note 追加漂移警告
@@ -1047,7 +1173,7 @@ async function computeFullFlowAudit({ cwd, specBase, changeName, platformOpts, c
   // 已收尾但快照缺失（上方分支置位）：实时开放区间兜底，明示漂移语义——快照机制上线
   // （2026-09-10）前收尾的旧变更冻结记录无法重建，如实告知替代渠道。
   if (noSnapshotDrift) {
-    notes.push('快照缺失（变更已收尾——已归档或 execute 分支已清理；快照机制上线前收尾的变更无法重建冻结记录）——下表为实时开放区间（基点→当前工作树，含并行会话与后续演进，随主仓改动漂移），非本变更冻结范围；记录态参考 verify-result.md / git log')
+    notes.push('快照缺失（变更已收尾——已归档或 execute 分支已清理；快照与 flow done 冻结 patch 记录（change-patch.json）均无，无法重建冻结记录——快照机制与冻结件留档上线前收尾的变更即此形态）——下表为实时开放区间（基点→当前工作树，含并行会话与后续演进，随主仓改动漂移），非本变更冻结范围；记录态参考 verify-result.md / git log')
   }
 
   // —— 行数采集根与基点 ——

package/src/sentinel-assertions.js

@@ -25,6 +25,24 @@ function taskTokenRe(id) {
   return new RegExp(`${id}(?!\\d)`);
 }
 
+/**
+ * 提交消息连写 token 组展开（坑 flow-done-sentinel-token-split，2026-10-08 实证）：
+ * `task-01/02/03`、`task-1、2，03` 等自然语言连写组只含首个完整 token——字面匹配判
+ * 其余为零完成证据误拒收。展开为独立规范 token（补零到两位，与判集行锚同形）后再判；
+ * 尾数不跟数字（防 task-013 版本串误切）。纯函数，供哨兵判定与 autopilot 勾选提取共用。
+ */
+export function expandTaskShorthand(messages) {
+  return (Array.isArray(messages) ? messages : []).map((msg) =>
+    String(msg ?? '').replace(
+      /task-(\d{1,2})((?:\s*[\/、，,；;]\s*\d{1,2}(?!\d))+)/gi,
+      (full, first, rest) =>
+        ' ' + [first, ...(rest.match(/\d{1,2}/g) || [])]
+          .map((n) => `task-${String(Number(n)).padStart(2, '0')}`)
+          .join(' ') + ' '
+    )
+  );
+}
+
 /**
  * review.json 在场证据清单（execute-runs 两级遍历；异常/缺失 → []，commit 证据照判）。
  */
@@ -84,11 +102,13 @@ export function detectFakeCheckCompletion({ changeDir, tasksMd, commits, opts =
     return { status: 'none', claimTotal, checked, missing: [] };
   }
   const reviews = listReviewEvidence(changeDir, opts);
+  // 连写组先展开（坑 flow-done-sentinel-token-split）：task-01/02/03 → 独立 token 再字面判
+  const expanded = expandTaskShorthand(messages);
   const missing = entries
     .filter((e) => {
       if (!e.checked) return false;
       const re = taskTokenRe(e.id);
-      const byCommit = messages.some((msg) => re.test(msg));
+      const byCommit = expanded.some((msg) => re.test(msg));
       const byReview = reviews.some((p) => p.includes(`/tasks/${e.id}/`));
       return !(byCommit || byReview);
     })
@@ -109,7 +129,12 @@ export function detectFakeCheckCompletion({ changeDir, tasksMd, commits, opts =
 export function detectBatchCheckCadence(events) {
   const taskEvents = [];
   for (const e of events || []) {
-    if (e && e.kind === 'task-done') taskEvents.push(e);
+    if (!e || e.kind !== 'task-done') continue;
+    // 节奏域过滤（2026-10-08-batch-tick-false-positive）：只认任务队列面（stage='tasks'，缺省
+    // 视同 tasks 兼容 legacy 流）。其他阶段的 task-done（如 design.md 自审预勾的首现计数）不是
+    // tick 信号——混入会把逐格勾选误判成单拍大跳（实证：design 0→8 拒收六次独立 tick）。
+    if (e.stage != null && e.stage !== 'tasks') continue;
+    taskEvents.push(e);
   }
   const parse = (e) => {
     const m = /^checked (\d+)→(\d+)$/.exec(String(e.detail || ''));

package/src/stages/explore.js

@@ -15,7 +15,11 @@ export const definition = {
    - \`.sillyspec/docs/<project>/scan/ARCHITECTURE.md\`
    - \`.sillyspec/docs/<project>/scan/CONVENTIONS.md\`
    - \`.sillyspec/changes/<change-name>/design.md\`
-3. 可以用 \`rg\` / \`ls\` / \`cat\` 调查已有结构和集成点
+3. 调查兵器按话题选（话题→兵器映射，全只读）：
+   - 词面考古（"这段代码在哪/怎么写的"）→ \`rg\` / \`ls\` / \`cat\`
+   - 坑史检索（"这话题以前踩过什么坑"）→ \`sillyspec knowledge search --query "<关键词>"\`（四层召回）
+   - 关系面（影响面/历史决策/需求谱系）→ \`sillyspec knowledge graph impact <文件|模块|变更名>\` 多跳闭包与防复潮可达的已否决决策、\`neighbors <锚点>\` / \`path <A> <B>\` 推理链、\`summary\` 知识面健康度——比较方案前先看 impact 的 rejected/⚰️死路条目，已否决的路不重新兜售；全部支持 \`--json\`
+   - 在途面（出方向建议前）→ \`sillyspec status\` 活跃变更一览——结论别跟在途工作撞车
 4. 输出 2-3 个有价值方向、关键风险和下一步建议
 5. 如果用户要求保存结论，先明确保存位置，再写入对应文档
 6. 讨论 UI/交互方案且用户明确要求原型时，按下方「HTML 原型生成」执行

package/src/stages/knowledge.js

@@ -609,6 +609,16 @@ export async function cmdKnowledge(args, dir, opts = {}) {
       return cmdRefresh(dir, args.slice(1), opts)
     case 'propose':
       return cmdPropose(dir, args.slice(1), opts)
+    case 'graph': {
+      // 知识图谱查询面（2026-10-08-knowledge-graph）：neighbors/path/impact/orphans/dangling，
+      // --edges 边型筛选；全 JSON 出口（与 search/validate 同族）。
+      const mod = await tryImportSubcommandImpl('../knowledge-graph.js', 'knowledge-graph.js')
+      if (!mod || typeof mod.cmdKnowledgeGraph !== 'function') {
+        output(false, {}, { code: 'not_implemented', subcommand: 'graph' })
+        return
+      }
+      return mod.cmdKnowledgeGraph(dir, args.slice(1), opts)
+    }
     case 'classify': {
       const mod = await tryImportSubcommandImpl('../knowledge-classify.js', 'knowledge-classify.js')
       if (!mod || typeof mod.cmdKnowledgeClassify !== 'function') {
@@ -665,7 +675,7 @@ export async function cmdKnowledge(args, dir, opts = {}) {
       output(false, {}, {
         code: 'unknown_subcommand',
         subcommand: subCommand,
-        available: ['search', 'inspect', 'validate', 'refresh', 'propose', 'classify', 'inbox', 'stats', 'digest'],
+        available: ['search', 'inspect', 'validate', 'refresh', 'propose', 'classify', 'inbox', 'stats', 'digest', 'graph'],  // dump 随 graph 路由面（2026-10-09-graph-dump-layout）
       })
   }
 }

package/src/verify-postcheck.js

@@ -2773,8 +2773,15 @@ function buildDepsBatches({ deps, changedFiles = [], hits = [], cwd = null, prio
   const prio = (f) => (changedSet.has(norm(f)) || prioritySet.has(norm(f))) ? 0 : 1 // 变更/FR 回归测试文件优先
   const py = deps.filter(f => f.endsWith('.py')).sort((a, b) => (prio(a) > prio(b) ? 1 : prio(a) < prio(b) ? -1 : a.localeCompare(b)))
   const js = deps.filter(f => !f.endsWith('.py')).sort((a, b) => (prio(a) > prio(b) ? 1 : prio(a) < prio(b) ? -1 : a.localeCompare(b)))
+  // 套件编排器过滤（2026-10-08-thin-done-dirty-gate-and-paren-attribution，坑：FR 绑定把
+  // run-tests.mjs 收进 deps 批 → 内嵌执行=递归全量套件——嵌套 runner 污染 + 15-20 分钟窗口，
+  // 实测 not ok 假败阻断收口）。run-tests.mjs 是 npm test 的组卷入口不是单测文件：执行面剔除
+  // 并 loud 披露；全量门由收口实测与 CI 层的 npm test 承担（本就覆盖该文件的全部语义）。
+  const SUITE_META_RE = /(^|\/)run-tests\.mjs$/
+  const jsMeta = js.filter(f => SUITE_META_RE.test(norm(f)))
+  const jsList = js.filter(f => !SUITE_META_RE.test(norm(f)))
   const CAP = 30
-  const pyCap = py.length === 0 ? 0 : js.length === 0 ? CAP : Math.max(5, Math.min(CAP - 5, Math.round(CAP * py.length / (py.length + js.length))))
+  const pyCap = py.length === 0 ? 0 : jsList.length === 0 ? CAP : Math.max(5, Math.min(CAP - 5, Math.round(CAP * py.length / (py.length + jsList.length))))
   const jsCap = CAP - pyCap
   // 配额制组卷（2026-10-06-fr-regress-cap-drop）：优先面整跑豁免帽，普通依赖填剩余席位；
   // dropped 只计普通依赖弃置（优先面零弃置是构造保证），组内序保持「优先前缀+字母序」。
@@ -2785,7 +2792,7 @@ function buildDepsBatches({ deps, changedFiles = [], hits = [], cwd = null, prio
     return { run: [...prioInGroup, ...ordinaryRun], prioCount: prioInGroup.length, dropped: ordinary.length - ordinaryRun.length, prioDropped: 0 }
   }
   const pyQ = quotaFill(py, pyCap)
-  const jsQ = quotaFill(js, jsCap)
+  const jsQ = quotaFill(jsList, jsCap)
   const pyRun = pyQ.run
   const jsRun = jsQ.run
   // .py 运行器推断双源（2026-09-26-dynamic-test-inference）：① 命中模块命令串（旧路径，兼容期）；
@@ -2855,7 +2862,8 @@ function buildDepsBatches({ deps, changedFiles = [], hits = [], cwd = null, prio
   // dropped 只计普通依赖弃置、prioDropped=防御路径计数（构造上恒 0——quotaFill 保证优先面零弃置，
   // >0 即组卷逻辑被破坏，消费面 loud 披露）。js 批经 jsNative/jsProject 内容分流后计数随分流面。
   if (pyRun.length > 0) batches.push({ name: 'deps(auto-py)', short: 'py', command: `${pyRunner} ${pyRun.map(rebase).join(' ')}`, count: pyRun.length, prioCount: pyQ.prioCount, dropped: pyQ.dropped, prioDropped: pyQ.prioDropped, files: pyRun })
-  if (jsNative.length > 0) batches.push({ name: 'deps(auto-js)', short: 'js', command: `node --test --test-reporter=spec --test-reporter-destination=stderr --test-reporter=tap --test-reporter-destination=stdout ${jsNative.join(' ')}`, count: jsNative.length, prioCount: jsNative.filter(f => prio(f) === 0).length, dropped: js.length - jsRun.length, prioDropped: jsQ.prioDropped, tap: true, files: jsNative })
+  if (jsNative.length > 0) batches.push({ name: 'deps(auto-js)', short: 'js', command: `node --test --test-reporter=spec --test-reporter-destination=stderr --test-reporter=tap --test-reporter-destination=stdout ${jsNative.join(' ')}`, count: jsNative.length, prioCount: jsNative.filter(f => prio(f) === 0).length, dropped: jsList.length - jsRun.length, prioDropped: jsQ.prioDropped, tap: true, files: jsNative })
+  if (jsMeta.length > 0) batches.push({ name: 'deps(auto-js-meta-skip)', short: 'js-meta-skip', command: null, count: jsMeta.length, dropped: 0, skip: true, files: jsMeta, reason: '套件编排器（run-tests.mjs=npm test 组卷入口）非单测文件——内嵌执行=递归全量套件（嵌套 runner 污染假败）；全量门由收口实测/CI 的 npm test 承担' })
   if (jsProjectRun.length > 0) {
     if (jsxRunner) {
       const isVitest = /vitest/.test(jsxRunner)

package/src/watcher.js

@@ -339,8 +339,12 @@ export function inferEvents(prev, next) {
     const p = prev.files[key];
     const n = next.files[key];
     if (!p && n) {
-      events.push(mk('file', n.stage, `${key} 出现`));
-      if (n.checked > 0) events.push(mk('task-done', n.stage, `checked 0→${n.checked}`));
+      events.push(mk('file', n.stage, `${key} 出现`))
+      // 勾选节奏域=任务队列文件（tasks.md / tasks/*.md，stage='tasks'）。其余阶段文件首现的
+      // 勾选计数不是 tick 信号：design.md 自审清单天然预勾（整体写盘的已完成断言）——发了就是
+      // 幻影单拍跳（2026-10-08-batch-tick-false-positive 实证：design 首现 0→8 被节奏门误拒
+      // 六次独立 tick）；tasks.md 首现带已勾仍发（保住「整卡预勾创建」的真实捕捉面）。
+      if (n.checked > 0 && n.stage === 'tasks') events.push(mk('task-done', n.stage, `checked 0→${n.checked}`))
     } else if (p && n && p.hash !== n.hash) {
       events.push(mk('file-update', n.stage, `${key} 内容变更`));
     }