sillyspec 3.32.9 → 3.33.0

package/src/forensics.js

@@ -0,0 +1,236 @@
+/**
+ * forensics.js — 会话取证证据包装配 + 取证任务书渲染（2026-10-15-session-forensics）
+ *
+ * 定位：`sillyspec diagnose --change <名>` 的只读装配面。对照 obra/superpowers
+ * diagnosing-superpowers 的取证形态做 SillySpec 原生版——分工沿本仓哲学：
+ * CLI 装配机械事实（证据包六面），agent 做语义判断（按任务书读 transcript、出
+ * path:line 证据报告）。全程零写入：证据源全是事后读取的静态文件，单源缺失/
+ * 损坏 fail-soft 空清单+注记，不抛错不阻断（取证要容忍现场变动）。
+ *
+ * 数据源（全部既有，零新格式）：
+ *   - 变更目录 / 归档目录（flow-state.yaml 身份面、review 轮次文件）
+ *   - <runtimeRoot>/agent-session-log.json（run 命令登记的会话日志路径，
+ *     按 change_key 精确相等过滤——登记面唯一键，无子串误命中面）
+ *   - <runtimeRoot>/friction-ledger.json（readFrictionLedger 既有 API）
+ *   - <runtimeRoot>/verify-runs/<时间戳目录>/test-result.json（mtime 近序取前 N）
+ *
+ * 红线：零内容枚举——任务书六维度是结构骨架（CLI 自有任务书面集合，同
+ * review_probes scope 判例），不是内容词表；CLI 不解析 transcript 本体
+ * （三 harness 格式 × 演化泥潭，解读交给 agent）。
+ */
+import { existsSync, readdirSync, readFileSync, statSync } from 'node:fs'
+import { join } from 'node:path'
+import yaml from 'js-yaml'
+import { readFrictionLedger } from './friction-ledger.js'
+
+/** verify-runs 证据默认截断数（近序 N 条，防大仓 runtime 灌爆输出；模块内常量——导出即死码债） */
+const VERIFY_RUNS_LIMIT = 3
+
+/** 读 JSON 文件，失败/不存在返回 null（fail-soft 取证立场）。 */
+function readJsonSafe(path) {
+  try {
+    return JSON.parse(readFileSync(path, 'utf8'))
+  } catch {
+    return null
+  }
+}
+
+/** 读 YAML 文件，失败/不存在返回 null。 */
+function readYamlSafe(path) {
+  try {
+    return yaml.load(readFileSync(path, 'utf8'))
+  } catch {
+    return null
+  }
+}
+
+/**
+ * 装配证据包六面。纯读函数，零写入。
+ * @param {{ specBase: string, runtimeRoot: string, changeName: string, verifyRunsLimit?: number }} p
+ * @returns {{ identity: object, agentLogs: object[], friction: object[], verifyRuns: object[], reviews: object[], warnings: string[] }}
+ */
+export function assembleForensicsPack({ specBase, runtimeRoot, changeName, verifyRunsLimit = VERIFY_RUNS_LIMIT }) {
+  const warnings = []
+  const changeDir = join(specBase, 'changes', changeName)
+  const archivedDir = join(specBase, 'changes', 'archive', changeName)
+
+  // ① 变更身份（active / archived / missing + flow-state 态）
+  const identity = { changeName, status: 'missing', changeDir: null, archivedDir: null, tier: null, substeps: null }
+  if (existsSync(changeDir)) {
+    identity.status = 'active'
+    identity.changeDir = changeDir
+  } else if (existsSync(archivedDir)) {
+    identity.status = 'archived'
+    identity.changeDir = archivedDir
+    identity.archivedDir = archivedDir
+    warnings.push('变更已归档——证据包从归档目录读取，transcript 仍按登记路径取')
+  }
+  const flowStatePath = identity.changeDir ? join(identity.changeDir, 'flow-state.yaml') : null
+  if (flowStatePath && existsSync(flowStatePath)) {
+    const fs_ = readYamlSafe(flowStatePath)
+    if (fs_ && typeof fs_ === 'object') {
+      identity.tier = fs_.tier ?? null
+      identity.substeps = fs_.substeps && typeof fs_.substeps === 'object' ? fs_.substeps : null
+    } else {
+      warnings.push(`flow-state.yaml 解析失败（${flowStatePath}）——身份面降级`)
+    }
+  } else {
+    warnings.push('无 flow 态（archive 件或无 flow-state.yaml）')
+  }
+
+  // ② agent 会话日志（change_key 精确相等——登记面唯一键）
+  const registryPath = join(runtimeRoot, 'agent-session-log.json')
+  const registry = readJsonSafe(registryPath)
+  let agentLogs = []
+  if (registry && Array.isArray(registry.entries)) {
+    agentLogs = registry.entries.filter((e) => e && typeof e === 'object' && e.change_key === changeName)
+  } else {
+    warnings.push(`会话日志登记缺失或不可解析（${registryPath}）——本机未跑过 run 命令或登记面损坏`)
+  }
+
+  // ③ 摩擦账本（readFrictionLedger 容错：缺文件/坏 JSON → []）
+  const friction = readFrictionLedger(runtimeRoot).filter((e) => e.change === changeName)
+
+  // ④ verify-runs（mtime 近序，同 mtime 路径字典序破平；截断前 N）
+  //    fail-soft：runsRoot 为普通文件/权限损坏形态时 readdirSync 抛 ENOTDIR——捕获降级，不阻断取证。
+  const runsRoot = join(runtimeRoot, 'verify-runs')
+  const verifyRuns = []
+  if (existsSync(runsRoot)) {
+    let runEntries = []
+    try {
+      runEntries = readdirSync(runsRoot, { withFileTypes: true })
+    } catch {
+      warnings.push(`verify-runs 不可读（非目录或损坏形态，${runsRoot}）——降级为空`)
+    }
+    const dirs = runEntries
+      .filter((d) => d.isDirectory())
+      .map((d) => join(runsRoot, d.name))
+    const withTime = dirs
+      .map((dir) => {
+        try {
+          return { dir, mtimeMs: statSync(dir).mtimeMs }
+        } catch {
+          return null
+        }
+      })
+      .filter(Boolean)
+      .sort((a, b) => (b.mtimeMs - a.mtimeMs) || (a.dir < b.dir ? -1 : a.dir > b.dir ? 1 : 0))
+    for (const { dir, mtimeMs } of withTime.slice(0, Math.max(1, verifyRunsLimit))) {
+      const resultPath = join(dir, 'test-result.json')
+      verifyRuns.push({
+        dir,
+        resultPath: existsSync(resultPath) ? resultPath : null,
+        mtimeIso: new Date(mtimeMs).toISOString(),
+      })
+    }
+  } else {
+    warnings.push(`无 verify-runs 目录（${runsRoot}）——本变更未跑过收口实测或 runtime 已清理`)
+  }
+
+  // ⑤ 评审轮次（review.json + superseded-*，mtime 近序；目录损坏形态同上降级）
+  const reviews = []
+  if (identity.changeDir && existsSync(identity.changeDir)) {
+    let reviewFiles = []
+    try {
+      reviewFiles = readdirSync(identity.changeDir).filter((f) => /^review\.json(\.superseded-.+)?$/.test(f))
+    } catch {
+      warnings.push(`变更目录不可读（${identity.changeDir}）——评审轮次面降级为空`)
+    }
+    for (const f of reviewFiles) {
+      const p = join(identity.changeDir, f)
+      let mtimeIso = null
+      try {
+        mtimeIso = new Date(statSync(p).mtimeMs).toISOString()
+      } catch { /* 文件刚被删——列名不留 mtime */ }
+      reviews.push({ file: p, superseded: f !== 'review.json', mtimeIso })
+    }
+    reviews.sort((a, b) => (b.mtimeIso || '').localeCompare(a.mtimeIso || ''))
+  } else {
+    warnings.push('变更目录不存在——评审轮次面为空')
+  }
+
+  return { identity, agentLogs, friction, verifyRuns, reviews, warnings }
+}
+
+/**
+ * 渲染取证任务书（markdown）。六维度是结构骨架不是封闭清单；四纪律钉死
+ * diagnosing-superpowers 的核心铁律（path:line 锚、唯一可写产物、先读本体、时间盒）。
+ * @param {{ identity: object, agentLogs: object[], friction: object[], verifyRuns: object[], reviews: object[], warnings: string[] }} pack
+ * @returns {string}
+ */
+export function renderForensicsTaskbook(pack) {
+  const { identity, agentLogs, friction, verifyRuns, reviews, warnings } = pack
+  const lines = []
+  lines.push(`# 会话取证任务书 — ${identity.changeName}`)
+  lines.push('')
+  lines.push(`【角色】你是取证分析员（干净上下文）——还原这个会话里实际发生了什么，拿证据说话，不替流程辩护也不替人辩护。报告读者是「要决定下一步怎么办的人」。`)
+  lines.push('')
+  lines.push('## 证据包（CLI 装配的机械事实——先读这些文件本体，再下结论）')
+  lines.push('')
+  lines.push(`- 变更身份：status=${identity.status}｜tier=${identity.tier ?? '无'}｜目录=${identity.changeDir ?? '（不存在）'}`)
+  lines.push(`- agent 会话日志（${agentLogs.length} 条，change_key=${identity.changeName} 精确过滤）：`)
+  for (const e of agentLogs) {
+    lines.push(`  - [${e.harness}/${e.format ?? '?'}] ${e.log_path}（session=${e.session_id ?? '?'}${e.exists === false ? '，⚠️ 文件不在场' : ''}）`)
+  }
+  if (agentLogs.length === 0) lines.push('  - （零命中——本机未登记过本变更的会话日志）')
+  lines.push(`- 摩擦账本（${friction.length} 条）：${friction.map((e) => JSON.stringify(e.counts ?? {})).join(' / ') || '（无）'}`)
+  lines.push(`- verify-runs（近 ${verifyRuns.length} 次）：`)
+  for (const r of verifyRuns) lines.push(`  - ${r.resultPath ?? r.dir + '（无 test-result.json）'} @ ${r.mtimeIso}`)
+  lines.push(`- 评审轮次（${reviews.length} 份，含 superseded）：`)
+  for (const r of reviews) lines.push(`  - ${r.file}${r.superseded ? '（superseded——前轮评审结论，对比两轮可还原修复轨迹）' : ''}`)
+  if (warnings.length) {
+    lines.push(`- 降级注记：${warnings.join('；')}`)
+  }
+  lines.push('')
+  lines.push('## 分析维度（结构骨架——常见失事面，不是封闭清单：证据指向维度外时照报，报告允许增设章节）')
+  lines.push('')
+  lines.push('1. **时间线重建**：这个会话按时间实际做了什么（步骤推进/等待/回滚/中断点）。')
+  lines.push('2. **计划遵从**：做的是计划内的事吗？偏离处有没有留痕（决策/账本/提交消息）？')
+  lines.push('3. **重复工作**：有没有同一件事做两遍（重派/重审/重跑）？根因是什么？')
+  lines.push('4. **停等与重试**：哪里停等了用户/子代理？重试了几次？是否有可避免的空转？')
+  lines.push('5. **成本与轮次**：轮次/token 花在哪了（读文件长尾？全量重验？）？')
+  lines.push('6. **门禁摩擦**：gate 回滚/评审打回/实测失败的完整链条与最终清偿方式。')
+  lines.push('')
+  lines.push('## 取证纪律')
+  lines.push('')
+  lines.push('1. **每条 finding 必须带 `path:line` 锚，无锚不成立**——锚指向证据包列出的文件或其内容（行号取自你实际读到的文件）。')
+  lines.push('2. **唯一可写产物是 `diagnosis-report.md`**（写在变更目录）——禁止修改任何其他文件、禁止 git 操作。固定章节：`## 问题陈述` / `## 时间线` / `## Findings`（分维度）/ `## 无法证实面`（证据不足的疑点如实列，不脑补）。')
+  lines.push('3. **先读证据包列出的文件本体再下结论，禁止全量扫读仓**——矛盾经常藏在交叉处，定向读那一处。')
+  lines.push('4. **时间盒收敛**：结论存疑时定向补证；连续扩面仍零结论 = 基于已读材料收敛，把疑点写进「无法证实面」。')
+  lines.push('')
+  lines.push('【无子代理通道时】主会话按本任务书自行分析即可，如实标注执行方式；有子代理通道时按维度分派并行分析、汇总时逐条核对锚点。')
+  lines.push('')
+  return lines.join('\n')
+}
+
+/**
+ * 命令入口：sillyspec diagnose --change <名> [--detect] [--json]
+ * 只读零写入；--detect 先透传 agent-session-log 现场探测（不落盘语义随既有 cmdAgentLog）。
+ * @param {string[]} args - filteredArgs.slice(1)（'diagnose' 之后）
+ * @param {{ json?: boolean, cwd?: string, specDir?: string|null }} opts
+ */
+export async function cmdForensics(args, { json = false, cwd = process.cwd(), specDir = null } = {}) {
+  const changeIdx = args.indexOf('--change')
+  const changeName = changeIdx >= 0 && args[changeIdx + 1] && !String(args[changeIdx + 1]).startsWith('--') ? args[changeIdx + 1] : null
+  if (!changeName) {
+    console.error('用法: sillyspec diagnose --change <名> [--detect] [--json] [--spec-dir <路径>]')
+    console.error('  只读装配会话取证证据包 + 取证任务书（path:line 铁律；唯一可写产物是变更目录的 diagnosis-report.md，由执行任务书的 agent 产出）')
+    process.exit(2)
+  }
+  const specBase = specDir || join(cwd, '.sillyspec')
+  const runtimeRoot = join(specBase, '.runtime')
+
+  if (args.includes('--detect')) {
+    const { cmdAgentLog } = await import('./agent-session-log.js')
+    await cmdAgentLog(['--detect'], { json: false, cwd, specDir })
+  }
+
+  const pack = assembleForensicsPack({ specBase, runtimeRoot, changeName })
+  const taskbook = renderForensicsTaskbook(pack)
+
+  if (json || args.includes('--json')) {
+    console.log(JSON.stringify({ ...pack, taskbook }))
+    return
+  }
+  console.log(taskbook.trimEnd())
+}

package/src/fr-index.js

@@ -18,9 +18,11 @@
  */
 
 import { readChangeTrace, upsertFrBindings, applySupersededToEntryLines, testAnchorFile, resolveTestFileRel } from './test-bindings.js'
+import { modulePathMatches } from './modules.js'
 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 +75,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/'));
 }
 
@@ -236,7 +251,7 @@ export function matchedModuleIds(moduleIndex, filePath) {
   const hits = [];
   for (const [modId, mod] of Object.entries(moduleIndex)) {
     const paths = (mod && Array.isArray(mod.paths)) ? mod.paths : [];
-    if (paths.some((pp) => filePath === pp || filePath.startsWith(pp.endsWith('/') ? pp : pp + '/'))) {
+    if (paths.some((pp) => modulePathMatches(filePath, pp))) {
       hits.push(modId);
     }
   }
@@ -873,7 +888,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

@@ -100,6 +100,8 @@ SillySpec CLI — 规范驱动开发工具包
                                       变更合成时间线（事件流 × tasks.md × git 提交锚三源真实留痕渲染；活跃/归档变更均可）
   sillyspec dispatch <probe | hint>       SillyHub 派发能力探测 + 策略生成（agent 调用桥，仅渲染不执行 tool）
   sillyspec agent-log [--detect] [--json]  本地 agent 会话日志查询/现场探测（run 命令自动上报平台 POST /api/agent-logs 并本地留底）
+  sillyspec diagnose --change <名> [--detect] [--json]
+                                      会话取证：只读装配证据包（flow 态/会话日志/摩擦账本/verify-runs/评审轮次）+ 取证任务书（path:line 铁律；报告由执行任务书的 agent 产出）
 
   sillyspec workflow check <name> [--project <p>] [--change <c>] [--json] [--save]
                                       全局 workflow 校验（--save 归档到 .sillyspec/.runtime/workflow-runs/）
@@ -171,7 +173,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 +228,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('   - <可验证标准>"')
@@ -3390,11 +3392,34 @@ ${generated.length} 个骨架已就绪——逐节把 <!--TODO--> 替换为语
         // --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]\n  域名可带 fr/ 前缀与 .md 后缀（fr/auto-backend ≍ auto-backend.md ≍ auto-backend）'); break }
+        if (!fromD || !toD) { fail('用法: sillyspec tests --redomain --from <源域> --to <目标域> [--anchor <FR-id>] [--by-change <变更名>] [--decisions] [--write]\n  --decisions 切 decisions/ 面（默认 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])
+        // --decisions（2026-10-15-decision-redomain）：切 decisions/ 面的孪生迁移实现——
+        // 同 flag 族（--from/--to/--anchor/--by-change/--write），段字节整体搬运、迁域不换号、
+        // 跨变更同号不冲突（双键防）；平台仓 unmapped 442 条存量清偿的机器通道。
+        const useDecisions = has('--decisions')
         try {
+          if (useDecisions) {
+            const { planDecisionRedomain, redomainDecisionEntries } = await import('./decision-redomain.js')
+            if (!has('--write')) {
+              const plan = planDecisionRedomain({ knowledgeRoot, from: fromD, to: toD, anchors: anchorList.length ? anchorList : null, byChange: byChangeD || null })
+              console.log(`🔧 决策域迁移预览（--write 落盘）：decisions/${fromD}.md → decisions/${toD}.md，${plan.entries.length} 条${byChangeD ? `（仅「变更：${byChangeD}」）` : ''}`)
+              for (const e of plan.entries.slice(0, 10)) console.log(`   ${e.id} ${e.title}`)
+              if (plan.entries.length > 10) console.log(`   … 共 ${plan.entries.length} 条`)
+              console.log(`   目标域文件${plan.targetExists ? '在场' : '将新建'}；源域${plan.sourceWillDelete ? '将删空壳' : '保留余条'}；ID 不变（身份保持）`)
+              break
+            }
+            const r = redomainDecisionEntries({ knowledgeRoot, from: fromD, to: toD, anchors: anchorList.length ? anchorList : null, byChange: byChangeD || null })
+            console.log(`✅ 决策域迁移完成：${r.moved.length} 条 decisions/${fromD}.md → decisions/${toD}.md（ID 不变${byChangeD ? `，仅「变更：${byChangeD}」` : ''}）`)
+            for (const m of r.moved.slice(0, 10)) console.log(`   ${m.id} ${m.title}`)
+            if (r.skippedConflicts.length > 0) console.log(`   ⚠️ 目标域同 id 同变更段冲突跳过 ${r.skippedConflicts.length} 条（${r.skippedConflicts.slice(0, 5).join('、')}）`)
+            if (r.sourceDeleted) console.log(`   源域空壳已删：decisions/${fromD}.md`)
+            if (r.targetCreated) console.log(`   目标域文件新建：decisions/${toD}.md`)
+            if (r.indexLineAdded) console.log(`   INDEX 路由行已补：${toD}`)
+            break
+          }
           if (!has('--write')) {
             // 预览与落盘同口径透传 byChange（坑 redomain-plan-preview-by-change-ignored，
             // 2026-10-02 实证：76338b4d 收编在途工作时此行漏透传——预览列整域、落盘只迁
@@ -4107,6 +4132,14 @@ SillySpec worktree — git worktree 隔离管理
       await cmdAgentLog(filteredArgs.slice(1), { json, cwd: dir, specDir });
       break;
     }
+    case 'diagnose': {
+      // 会话取证（2026-10-15-session-forensics）：只读装配证据包六面（flow 态/会话日志/摩擦账本/
+      // verify-runs/评审轮次/任务书）+ 取证任务书（path:line 铁律，唯一可写产物 diagnosis-report.md
+      // 由执行任务书的 agent 产出）。零状态写入，不进 run 状态机——诊断是随时可调用的查询动作。
+      const { cmdForensics } = await import('./forensics.js');
+      await cmdForensics(filteredArgs.slice(1), { json, cwd: dir, specDir });
+      break;
+    }
     case 'patch-reanchor': {
       // 收口留痕锚点回写（2026-10-12-close-trace-freeze-integrity FR-03）：worktree 内收口的
       // change-patch.json 记 worktree 本地 SHA，apply 重放回主仓后悬空——按提交主题归属推导
@@ -5499,7 +5532,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) {
@@ -5509,6 +5542,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;
@@ -5516,8 +5551,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')