sillyspec 3.32.1 → 3.32.3

package/.claude/skills/sillyspec-explore/SKILL.md

@@ -50,7 +50,12 @@ sillyspec run explore --status                     # 查看阶段状态
 
 **探索问题空间**：问澄清问题、挑战假设、重新定义问题
 
-**调查代码库**：映射相关架构、找集成点、识别已有模式、暴露隐藏复杂性
+**调查兵器（话题→兵器映射，全只读）**：按话题选兵器，别只用 rg 词面考古——
+
+- 词面考古（"这段代码在哪/怎么写的"）→ `rg` / `ls` / `cat`
+- 坑史检索（"这话题以前踩过什么坑"）→ `sillyspec knowledge search --query "<关键词>"`（四层召回）
+- 关系面（影响面/历史决策/需求谱系）→ `sillyspec knowledge graph impact <文件|模块|变更名>`（多跳闭包 + 防复潮可达的已否决方案）、`neighbors <锚点>` / `path <A> <B>`（推理链："这条 FR 被谁取代""决策钉在哪个文件"）、`summary`（知识面健康度）——**比较方案前先查 impact 里的 rejected/⚰️死路条目，已否决的路不重新兜售**（除非复潮条件明确满足）；全部支持 `--json`
+- 在途面（出方向建议前）→ `sillyspec status` 活跃变更一览——结论别跟在途工作撞车
 
 **比较选项**：头脑风暴多种方案、建对比表、画权衡分析
 

package/.claude/skills/sillyspec-flow/SKILL.md

@@ -40,6 +40,7 @@ sillyspec flow start --change <变更名> --input "<动机与背景>
 改代码、写测试。治理工件（proposal/requirements/design）CLI 机器起草，你只需要：
 
 - 填 design.md 四节 AGENT 槽（做法概述/接口契约/边界并发四问/风险与死路）——每节至少一行，写「不适用：<理由>」也算答，空槽 flow done 拒收
+- 变更目录若已有收割生成的 decisions.md（frontmatter `author: flow-machine-draft`），它是底稿不是终稿：槽4 作答含「放弃方案」的，收口前把每个放弃方案拆成独立 rejected 条目（问题=决策专属问句、否决理由=放弃理由、复潮条件=重提前提），风险与对策留在主条目——rejected 条目才走蒸馏防复潮通道，埋在散文里的否决理由进不了通道；无实质放弃方案则不动
 - 干活以 tasks.md 为进度源：做一件 → 勾一格（`- [ ]` → `- [x]`）→ 继续下一条，勿攒一把勾（勾选是收口哨兵的证据面——逐 task 核提交 token/review.json）；`flow status --change <名>` 为自愿查看/恢复面（②阶段给下一任务指针与进度，非协议必需——D-007）
 - 交付代码用显式 pathspec 提交（`git commit -m "..." -- 文件1 文件2`；patch 冻结面=baseline..HEAD 提交面，未提交的代码不进审计件）
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "sillyspec",
-  "version": "3.32.1",
+  "version": "3.32.3",
   "description": "SillySpec CLI — 流程状态机，让 AI 严格按步骤来",
   "icon": "logo.jpg",
   "homepage": "https://sillyspec.ppdmq.top/",
@@ -24,7 +24,7 @@
   ],
   "license": "MIT",
   "scripts": {
-    "test:core": "node --test test/preview-migration.test.mjs test/preview-progress.test.mjs test/preview-outlet.test.mjs test/preview-gc.test.mjs test/preview-gate-isolation.test.mjs test/db-engine.test.mjs test/db-concurrency.test.mjs test/db-atomic-write.test.mjs test/platform-sync-schema.test.mjs test/platform-sync-serialization.test.mjs test/change-ownership-guards.test.mjs test/watcher.test.mjs test/watcher-alerts.test.mjs test/watcher-timeline.test.mjs test/sentinel-rules.test.mjs test/handoff.test.mjs test/execution-mode-render.test.mjs test/knowledge-inbox.test.mjs test/knowledge-baseline.test.mjs test/quick-laststep-fourfields-preview.test.mjs test/doctor-align-execute-progress.test.mjs test/test-ledger.test.mjs test/test-bindings.test.mjs test/flow-draft-binding-extract.test.mjs test/gate-snapshot-lifecycle.test.mjs test/gate-snapshot-cleanup.test.mjs test/verify-trace-residual.test.mjs test/platform-creds-fallback.test.mjs test/archive-timeline-bake.test.mjs test/doc-ref-check.test.mjs test/flow-status-json.test.mjs test/flow-status-title.test.mjs test/flow-resume-title.test.mjs test/datetime-timeago.test.mjs test/resume-domain-flip.test.mjs test/fr-regress-cap-drop.test.mjs test/fr-priority-overlap.test.mjs test/archive-commit-suggest-race.test.mjs test/flow-done-fail-brief.test.mjs test/verify-probes-refresh-backup.test.mjs test/taskcard-yaml-triage-validate.test.mjs test/gate-last-reader.test.mjs test/status-multi-active-list.test.mjs test/gate-docs-only.test.mjs test/probe7-fr-prefill.test.mjs test/plan-fill-batch-config.test.mjs test/step-guide-prune.test.mjs test/gate-stage-review-hint.test.mjs test/design-ref-suggest.test.mjs test/flow-friction-batch3.test.mjs test/wave-auto-adopt.test.mjs test/test-incremental-rerun.test.mjs",
+    "test:core": "node --test test/preview-migration.test.mjs test/preview-progress.test.mjs test/preview-outlet.test.mjs test/preview-gc.test.mjs test/preview-gate-isolation.test.mjs test/db-engine.test.mjs test/db-concurrency.test.mjs test/db-atomic-write.test.mjs test/platform-sync-schema.test.mjs test/platform-sync-serialization.test.mjs test/change-ownership-guards.test.mjs test/watcher.test.mjs test/watcher-alerts.test.mjs test/watcher-timeline.test.mjs test/sentinel-rules.test.mjs test/handoff.test.mjs test/execution-mode-render.test.mjs test/knowledge-inbox.test.mjs test/knowledge-baseline.test.mjs test/quick-laststep-fourfields-preview.test.mjs test/doctor-align-execute-progress.test.mjs test/test-ledger.test.mjs test/test-bindings.test.mjs test/flow-draft-binding-extract.test.mjs test/gate-snapshot-lifecycle.test.mjs test/gate-snapshot-cleanup.test.mjs test/verify-trace-residual.test.mjs test/platform-creds-fallback.test.mjs test/archive-timeline-bake.test.mjs test/doc-ref-check.test.mjs test/flow-status-json.test.mjs test/flow-status-title.test.mjs test/flow-resume-title.test.mjs test/datetime-timeago.test.mjs test/resume-domain-flip.test.mjs test/fr-regress-cap-drop.test.mjs test/fr-priority-overlap.test.mjs test/archive-commit-suggest-race.test.mjs test/flow-done-fail-brief.test.mjs test/verify-probes-refresh-backup.test.mjs test/taskcard-yaml-triage-validate.test.mjs test/gate-last-reader.test.mjs test/status-multi-active-list.test.mjs test/gate-docs-only.test.mjs test/probe7-fr-prefill.test.mjs test/plan-fill-batch-config.test.mjs test/step-guide-prune.test.mjs test/gate-stage-review-hint.test.mjs test/design-ref-suggest.test.mjs test/flow-friction-batch3.test.mjs test/wave-auto-adopt.test.mjs test/test-incremental-rerun.test.mjs test/knowledge-graph.test.mjs test/explore-graph-guidance.test.mjs",
     "test": "node test/run-tests.mjs",
     "lint": "node test/check-syntax.mjs",
     "eval:dry": "node eval/run.mjs --dry-run",

package/src/cross-repo-reconcile.js

@@ -33,6 +33,7 @@ import { join, isAbsolute, resolve } from 'path'
 import { gitQuiet } from './git-helper.js'
 import { parseRepoRegistry } from './stages/plan-postcheck.js'
 import { filterDeliverableFiles, classifyToolScaffold } from './worktree-apply.js'
+import { crossWorktreePath } from './worktree-cross.js'
 import { resolveLatestExecuteRunIdWithTasks, readReview } from './task-review.js'
 
 // 与 verify-postcheck normalizeReconcilePath 同口径（本地实现防环）：剥 ./ 前缀、反斜杠归一
@@ -228,6 +229,38 @@ export function collectRepoActual({ repoKey, specBase, cwd, runtimeRoot = null,
       }
     }
 
+    // 3b) B' 档 worktree-baseline 窗口（2026-10-09-verify-reuse-friction FR-07）：跨仓
+    //     worktree 在场时（verify 常跑在 apply 前）交付面在 worktree——meta.baseHash..工作树
+    //     全量窗口，多笔提交与未提交改动全覆盖；原 B 档 HEAD~1..HEAD 只看跨仓主副本最近一笔
+    //     提交，对 worktree 多笔交付是假信号（2026-10-09 tombstone 取证：声明 4 实测 0）。
+    //     meta 缺失/worktree 不在场/不可读 → 回退 B 档（不回退语义）。
+    try {
+      const wtPath = crossWorktreePath(specBase, changeName, repoKey)
+      const metaPath = join(wtPath, 'meta.json')
+      if (existsSync(metaPath)) {
+        const meta = JSON.parse(readFileSync(metaPath, 'utf8'))
+        const base = meta && meta.baseHash
+        if (base && typeof base === 'string' && /^[0-9a-f]{7,40}$/i.test(base)) {
+          const union2 = new Set()
+          // baseline→工作树（已提交+已改）∪ 未跟踪新文件；两查任一可用即成窗
+          const d1 = gitQuiet(wtPath, ['diff', '--name-only', base], { timeout: GIT_TIMEOUT })
+          const d2 = gitQuiet(wtPath, ['ls-files', '--others', '--exclude-standard'], { timeout: GIT_TIMEOUT })
+          if (d1 !== null || d2 !== null) {
+            for (const src of [d1, d2]) {
+              for (const f of String(src || '').split('\n')) {
+                const n = normalizeRepoPath(f)
+                if (n && n !== 'meta.json' && !n.startsWith('.sillyspec/')) union2.add(n)
+              }
+            }
+            collectStatusInto(repoPath, union2)
+            return { repo: repoKey, repoPath,
+              anchor: { source: 'worktree-baseline-window', base, head: null, label: `跨仓 worktree baseline 窗口（base=${base.slice(0, 8)}…HEAD+工作树；多笔提交全覆盖）` },
+              files: [...union2].sort(), degradedReason: null }
+          }
+        }
+      }
+    } catch { /* meta 不可读/键缺失 → 回退 B 档 */ }
+
     // 4) B/C 档：diff HEAD~1..HEAD（现行 reconcile 口径）∪ status；diff 失败仅 status → C 档
     const union = new Set()
     const diffOut = gitQuiet(repoPath, ['diff', '--name-only', 'HEAD~1..HEAD'], { timeout: GIT_TIMEOUT })

package/src/doctor-diagnostics.js

@@ -1177,10 +1177,20 @@ function detectArchiveIntegrity(cwd, authoritySpecDir) {
   for (const name of names) {
     const dir = join(archiveDir, name);
     const reasons = [];
-    // ② plan.md 在场性
+    // ② plan.md 在场性——thin 协议归档豁免（2026-10-09-archive-integrity-thin-aware）：
+    //    flow-state.yaml 在场 = flow 轻量道归档，plan.md 非其契约面（厚道五阶段 plan 阶段产物）；
+    //    2026-09-29 thin-default 后轻量道成默认路径，一刀切要求 plan.md 把 172 份正常 thin 归档
+    //    全判欠账（检查模型漂移，非真欠账）。任务未勾检查不豁免——thin 也要全勾。
+    const isThinArchive = existsSync(join(dir, 'flow-state.yaml'));
+    // thin 勾选契约 epoch（2026-10-09-archive-integrity-thin-aware）：2026-10-07-thin-tasks-v3 起
+    // tasks.md checkbox 才是进度状态机/完成契约；此前 thin 归档的 tasks.md 是机器占位稿（0 勾为
+    // 当时常态，完成证据=flow done 六子步——change.patch/verify-result 在场性），勾选检查豁免。
+    // 实证：2026-09-25 thin 试验批 17 份 + 09-22/24/27/10-03 共 36 份 0-N 勾归档全属此形态。
+    const THIN_TASKS_EPOCH = '2026-10-07';
+    const isPreEpochThin = isThinArchive && String(name) < THIN_TASKS_EPOCH;
     const planPath = join(dir, 'plan.md');
     const hasPlan = existsSync(planPath);
-    if (!hasPlan) reasons.push('plan.md 缺失（归档自愈基准文件）');
+    if (!hasPlan && !isThinArchive) reasons.push('plan.md 缺失（归档自愈基准文件）');
     // ①③ 任务注册表：tasks.md 优先回退 plan.md；存在但不可读必须显式报（区分「缺席」与「读不了」）。
     // 2026-08-20-task-truth-unify 之前的旧归档完成态勾在 plan.md（tasks.md 是留给后人的未勾任务清单）——
     // tasks.md 有 checkbox 行但 0 勾、而 plan.md 有 ≥1 勾时，完成证据在 plan.md，切 plan.md 为完成源
@@ -1200,7 +1210,9 @@ function detectArchiveIntegrity(cwd, authoritySpecDir) {
       return { total: t, checked: c };
     };
     const regPath = existsSync(tasksPath) ? tasksPath : hasPlan ? planPath : null;
-    if (regPath) {
+    if (regPath && !isPreEpochThin) {
+      // ^ pre-epoch thin 跳过勾选检查（占位稿形态，见 THIN_TASKS_EPOCH 注释）；
+      //   注册表「存在但不可读」显式报的语义对 pre-epoch thin 同样不适用（其不可读非欠账面）
       try {
         let stat = readRegistry(regPath);
         if (regPath === tasksPath && stat.total > 0 && stat.checked === 0 && hasPlan) {
@@ -1506,7 +1518,8 @@ export async function runDoctorDiagnostics({ cwd }) {
     )
   } catch { gateLeakRuntimeRoot = null }
   const gateSnapshotLeak = detectGateSnapshotLeak({ runtimeRoot: gateLeakRuntimeRoot })
-  const dimensions = [multiDb, pointerHealth, changesSplit, changeDb, executeMismatch, docBloat, repoNativeChain, lifecycleDoc, worktreeHealth, buildEnv, mcpEndpoints, applyManifestDrift, selfMaintenanceTax, archiveIntegrity, ceremonyShadow, gateSnapshotLeak];
+  const knowledgeGraphIntegrity = detectKnowledgeGraphIntegrity(cwd, authoritySpecDir || join(cwd, '.sillyspec'))
+  const dimensions = [multiDb, pointerHealth, changesSplit, changeDb, executeMismatch, docBloat, repoNativeChain, lifecycleDoc, worktreeHealth, buildEnv, mcpEndpoints, applyManifestDrift, selfMaintenanceTax, archiveIntegrity, ceremonyShadow, gateSnapshotLeak, knowledgeGraphIntegrity];
 
   return {
     dimensions,
@@ -2168,3 +2181,70 @@ export async function gcUnstampedExecuteRuns({ cwd, specDir = null, confirm = fa
     count: candidates.length,
   }
 }
+
+// ══ 2026-10-08-knowledge-graph（task-05，FR-03）：知识图完整性面 knowledge_graph_integrity ══
+// 六检查项（design §4）：graph-dangling-route / graph-doc-dangling-ref / graph-dangling-anchor /
+// graph-orphan-entry / graph-module-doc-gap / graph-changelog-dangling——全 warning 不阻断
+// （沿 apply_manifest_drift advisory 先例）。图=解析时内存派生（D-003：不落盘不刷新）。
+// 悬空目标可能活在跨仓（local.yaml repos 注册的其他仓）——聚合计数+样本，不逐条刷屏。
+export function detectKnowledgeGraphIntegrity(cwd, specDir) {
+  const base = { name: 'knowledge_graph_integrity', label: '知识图完整性', safe_actions: [] }
+  try {
+    if (!specDir || !existsSync(join(specDir, 'knowledge'))) {
+      return { ...base, findings: ['无 knowledge/ 目录——skipped'], pass: true, severity: null, skipped: true }
+    }
+    // 动态 import 防加载面放大（doctor 主路径不触发图构建成本）
+    const { graphOrphans, graphDangling, buildKnowledgeGraph } = requireKnowledgeGraph()
+    const graph = buildKnowledgeGraph(specDir)
+    const findings = []
+    const sample = (arr, n = 3) => arr.slice(0, n).map(String)
+
+    // ① route 悬空（弱边）：INDEX 路由行指向不存在锚点——条目节点存在性由建图保证，
+    //    此处查目标手册文件本体（file 属性）是否在场
+    const routeTargets = new Set()
+    for (const e of (graph.byEdgeType.get('route') || [])) routeTargets.add(graph.nodes.get(e.t)?.attrs?.file || '')
+    const danglingRoute = [...routeTargets].filter((f) => f && !existsSync(join(specDir, 'knowledge', f)))
+    if (danglingRoute.length > 0) findings.push(`graph-dangling-route：${danglingRoute.length} 条 INDEX 路由指向不存在文件（${sample(danglingRoute).join('、')}）`)
+
+    // ②③ 引用/锚点悬空（中/强边）：文件系统存在性（跨仓目标聚合计数不展开）
+    const dangling = graphDangling(graph)
+    // 跨仓分流（2026-10-09-graph-docrefs-noise）：crossRepo 目标活在独立仓（backend/frontend 等），
+    // 计数注记不点名；本仓悬空点名样本。文档引用面的裸名短引用与跨仓引用在 graphDangling 已豁免。
+    const byStrength = { strong: [], medium: [], weak: [] }
+    let crossRepoCount = 0
+    for (const d of dangling) {
+      if (d.crossRepo) { crossRepoCount++; continue }
+      byStrength[d.strength]?.push(`${d.edge.type}→${d.missing}`)
+    }
+    if (byStrength.strong.length > 0) findings.push(`graph-dangling-anchor：${byStrength.strong.length} 条强边锚点指向本仓不存在文件${crossRepoCount > 0 ? `（另有 ${crossRepoCount} 条跨仓目标不点名——平台代码在独立仓）` : ''}（样本 ${sample(byStrength.strong).join('、')}）`)
+    if (byStrength.medium.length > 0) findings.push(`graph-doc-dangling-ref：${byStrength.medium.length} 条文档引用悬空（样本 ${sample(byStrength.medium).join('、')}）`)
+
+    // ④ 孤儿条目
+    const orphans = graphOrphans(graph)
+    if (orphans.length > 0) findings.push(`graph-orphan-entry：${orphans.length} 个零关联节点（样本 ${sample(orphans.map((o) => o.node.label)).join('、')}）`)
+
+    // ⑤ 模块文档缺口 / ⑥ changelog 行悬空：单一源判定（2026-10-08-graph-summary-consistency）
+    // ——graphModuleDocGaps/graphChangelogDanglings 只在 knowledge-graph.js 定义，summary 四计数
+    // 消费同一函数（口径一处定义两处消费，doctor↔summary 交叉断言钉死，防手抄副本漂移）
+    const { graphModuleDocGaps, graphChangelogDanglings } = requireKnowledgeGraph()
+    const docGap = graphModuleDocGaps(graph)
+    if (docGap.length > 0) findings.push(`graph-module-doc-gap：${docGap.length} 个模块缺卡片或 changelog（样本 ${sample(docGap.map((n) => n.id.replace(/^module:/, ''))).join('、')}）`)
+
+    const chlogDangling = graphChangelogDanglings(graph)
+    if (chlogDangling.length > 0) findings.push(`graph-changelog-dangling：${chlogDangling.length} 条 changelog 行指向不存在变更/ql（样本 ${sample(chlogDangling).join('、')}）`)
+
+    if (findings.length === 0) {
+      return { ...base, findings: [`图完整性六检查通过（${graph.stats.nodeCount} 节点 / ${graph.stats.edgeCount} 边）`], pass: true, severity: null }
+    }
+    return { ...base, findings, pass: false, severity: CHECK_SEVERITY.WARNING }
+  } catch (e) {
+    return { ...base, findings: [`图构建降级（${e?.message || e}）——skipped`], pass: true, severity: null, skipped: true }
+  }
+}
+
+// ESM 同步 require 桥：doctor 主体是同步管线，图模块按需加载（失败走上方 catch 的 skipped 分支）
+import { createRequire as _kgCreateRequire } from 'module'
+const _kgRequire = _kgCreateRequire(import.meta.url)
+function requireKnowledgeGraph() {
+  return _kgRequire('./knowledge-graph.js')
+}

package/src/flow-parity.js

@@ -10,9 +10,10 @@
  *    厚道有轻量变更缺的审计资产；机器合成勿手改。
  * ③ harvestSlot4Decision：design 槽4（风险与死路）实质作答收割合成 decisions.md——轻量变更决策
  *    产出为零的补口（死路与风险取舍正是 decisions.md 该记的内容；已有文件不覆盖）。
- * ④ writeCloseTraceArtifacts / buildThinSnapshotRows：双通道收尾留痕统一写
- *    （2026-10-07-unify-close-trace）——thin flow done 与 heavy execute --done 共用一处一次
- *    写齐四件（沉淀资产面 + 对账快照面，sha256 双套同锚），新变更两通道留痕对称。
+ * ④ writeCloseTraceArtifacts / buildThinSnapshotRows：收口留痕单套写
+ *    （2026-10-09-close-trace-single-set）——thin flow done 与 heavy execute --done 共用
+ *    一处只写 change.patch + change-patch.json 两件（对账面并入 scopeAudit 子对象；
+ *    此前 2026-10-07-unify-close-trace 的四件双轨形态收口为单套，旧名读侧兼容兜存量）。
  */
 import { existsSync, readFileSync, writeFileSync, readdirSync } from 'node:fs'
 import { join, relative } from 'node:path'
@@ -358,21 +359,21 @@ export function projectTraceFaceRows(rows) {
 }
 
 /**
- * 双通道收尾留痕统一写（2026-10-07-unify-close-trace，缺陷 thin-flow-done-no-scope-
- * audit-snapshot 修复方向③）：thin（flow done）与 heavy（execute --done）此前各写各的
- * 留痕（沉淀资产面 change.patch/change-patch.json vs 对账快照面 scope-audit.patch/
- * scope-audit.json），消费方各认一份致每类变更恰好一张卡失真——本函数一处写齐四件，
- * sha256/patchStatus 双套同锚（同一 patchText 一次计算：change.patch ≡ scope-audit.patch
- * 字节一致、两 json 同 hash，两套留痕不可能漂移）。patchText 空/null → 双套同标 failed、
- * 不落 patch 文件（heavy 旧「空串当 ok」形态收口）。读侧兼容链（快照 > change-patch
- * 回放 > 实时区间，2026-10-07-scope-audit-thin-patch-replay）不动——本函数让新变更两套
- * 齐备，回退退化为存量归档兜底。
+ * 收口留痕单套写（2026-10-09-close-trace-single-set）：thin（flow done）与 heavy
+ * （execute --done）统一只落 change.patch + change-patch.json 两件。原对账快照面
+ * （scope-audit.json + scope-audit.patch，2026-10-07-unify-close-trace 起与沉淀资产面
+ * 双轨并写）停写：对账数据并入 change-patch.json 的 scopeAudit 子对象，顶级键
+ * （change/baseline/head/files/totals/savedAt/note/moduleScope 等）原位不动——
+ * fr-index/knowledge-graph/flow 漂移检测与平台 assets.py/parser.py 等顶级字段读方零改动。
+ * patchText 一次 sha256 锚定 patch 与 patchStatus；patchText 空/null → failed、不落
+ * patch 文件。读侧兼容链（scopeAudit 子对象 > 旧 scope-audit.json > .runtime 快照 >
+ * thin 回放 > 实时区间）兜存量归档，旧名只读不写。
  *
  * @param {string} changeDir 变更目录（活跃或归档侧——归档竞态由调用方解析）
- * @param {object} snapObj scope-audit.json 主体（mode/ok/degradedReason/baseAnchor/totals/
- *   rows/excluded/note[/repos]；closedBy 由调用方携带标收尾通道——读侧回放按它标注，
- *   缺省 'execute --done' 兼容旧快照）
- * @param {object} meta change-patch.json 增量键（note/moduleScope 等，展开在 totals 后）
+ * @param {object} snapObj scopeAudit 子对象主体（mode/ok/degradedReason/baseAnchor/
+ *   totals/rows/excluded/note[/repos]；closedBy 由调用方携带标收尾通道——读侧回放按它
+ *   标注，缺省 'execute --done' 兼容旧快照）
+ * @param {object} meta change-patch.json 顶级增量键（note/moduleScope 等，展开在 totals 后）
  * @returns {{ patchStatus: 'ok'|'failed', patchSha256: string|null }}
  */
 export function writeCloseTraceArtifacts({ changeDir, change, baseline, head, files, metaTotals, patchText, savedAt, snapObj, meta = {} }) {
@@ -382,10 +383,7 @@ export function writeCloseTraceArtifacts({ changeDir, change, baseline, head, fi
   const patchSha256 = patchBody
     ? createHash('sha256').update(patchBody.replace(/\r\n/g, '\n'), 'utf8').digest('hex')
     : null
-  if (patchOk) {
-    writeFileSync(join(changeDir, 'change.patch'), patchBody)
-    writeFileSync(join(changeDir, 'scope-audit.patch'), patchBody)
-  }
+  if (patchOk) writeFileSync(join(changeDir, 'change.patch'), patchBody)
   writeFileSync(join(changeDir, 'change-patch.json'), JSON.stringify({
     change,
     baseline: baseline ?? null,
@@ -396,15 +394,10 @@ export function writeCloseTraceArtifacts({ changeDir, change, baseline, head, fi
       : { files: fileList.length, additions: 0, deletions: 0 },
     savedAt,
     ...meta,
+    scopeAudit: { ...snapObj },
     ...(patchSha256 ? { patchSha256 } : {}),
     patchStatus: patchOk ? 'ok' : 'failed',
   }, null, 2) + '\n')
-  writeFileSync(join(changeDir, 'scope-audit.json'), JSON.stringify({
-    ...snapObj,
-    ...(patchSha256 ? { patchSha256 } : {}),
-    patchStatus: patchOk ? 'ok' : 'failed',
-    savedAt,
-  }, null, 2) + '\n')
   return { patchStatus: patchOk ? 'ok' : 'failed', patchSha256 }
 }
 

package/src/flow-review.js

@@ -244,6 +244,10 @@ export function renderReviewerTaskbook({ change, changeDir, head = null }) {
     `  5. 生成物同步（如涉及）：类型/契约文件与实现对齐？`,
     ``,
     `【纪律】只读——禁止修改任何文件、禁止 git 操作；唯一产物是 review.json。`,
+    // 代行惯例（坑 flow-done-sentinel-token-split ②，2026-10-08 实证）：宿主无已注册子代理
+    // 通道时无法照做「起子代理」——主会话按检查单代行自审可接受，reviewer 字段如实标注
+    // 降级（如 inline-self（环境无已注册子代理）），独立性承诺的折扣显式留痕。
+    `【无子代理通道时】宿主 agents 目录为空 → 主会话可按检查单代行自审，reviewer 字段如实标注（如 "inline-self（环境无已注册子代理，主会话代行）"）——降级留痕，勿伪装 subagent。`,
     ``,
     `【产物 schema（写到 ${join(changeDir, 'review.json')}，UTF-8 JSON）】`,
     `{`,

package/src/flow.js

@@ -286,7 +286,9 @@ export async function flowKnowledgeDigest({ specBase, change, changeDir, input,
     }
     const { matchKnowledgeHybrid } = await import('./knowledge-vector.js')
     const { deathPathNote } = await import('./knowledge-match.js')
-    const km = await matchKnowledgeHybrid(knowledgeRoot, `${change}\n${input || ''}`, { cwd: dirname(specBase) })
+    // scope 遍历召回（2026-10-08-knowledge-graph，FR-04）：touched=机器算的图查询键
+    // （filesOverride ∪ design 交付表——上方既有变量），词面三层零命中时沿强边保底防复潮
+    const km = await matchKnowledgeHybrid(knowledgeRoot, `${change}\n${input || ''}`, { cwd: dirname(specBase), scopeFiles: touched })
     // 防复潮面 = 死路注记 ∪ 有主题重叠的 rejected（2026-09-28-knowledge-inject-ranking 起 rejected∪死路；
     // 2026-09-28-knowledge-gate-denoise 收紧：score 零的 rejected 与查询零主题重叠——空标题条目靠状态
     // 蹭进回显是行为实测三例的噪音源，不再注入）
@@ -993,7 +995,10 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
         if (_tickLog) {
           const _commitTexts = String(_tickLog).split('\x1e').map(x => x.trim()).filter(Boolean).join('\n')
           const _evidencedTasks = new Set()
-          for (const m of _commitTexts.matchAll(/task-(\d{1,2})/gi)) _evidencedTasks.add(String(Number(m[1])).padStart(2, '0'))
+          // 连写组展开（坑 flow-done-sentinel-token-split）：task-01/02/03 的 02/03 缩写不带
+          // task- 前缀、裸正则提取不到——与哨兵判定同口径先展开再提。
+          const { expandTaskShorthand } = await import('./sentinel-assertions.js')
+          for (const m of expandTaskShorthand([_commitTexts])[0].matchAll(/task-(\d{1,2})/gi)) _evidencedTasks.add(String(Number(m[1])).padStart(2, '0'))
           if (_evidencedTasks.size > 0) {
             let _tasksMd = readFileSync(_tasksMdPath, 'utf8')
             let _autoTicked = 0
@@ -1416,6 +1421,10 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
             console.warn(`⚠️ --accept-dirty-gap：显式接受 ${freeze.dirtyWarned.length} 个未提交交付文件不进冻结面（缺口数随 change-patch.json acceptedDirtyGap 留痕）`)
           }
         }
+        // 收口留痕四名全排除（2026-10-09-close-trace-single-set 后只写 change.patch/
+        // change-patch.json 两件，但旧轮冻结件里可能仍有 scope-audit.json/.patch——
+        // legacy 防护保留）：上一轮留痕件作为 untracked 新文件被全文自嵌入即自引用循环
+        // （旧 patch 内容混进新 patch，三评 P1 根因）。
         const ownFiles = [...new Set([...freeze.files, ...changeDirFiles])]
           .filter((f) => f && !f.endsWith('change.patch') && !f.endsWith('change-patch.json')
             && !f.endsWith('scope-audit.json') && !f.endsWith('scope-audit.patch'))
@@ -1432,8 +1441,7 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
           const toPosix = (p) => String(p).replace(/\\/g, '/')
           // 复审 P2/P3a 清偿：工作树口径集 = 治理工件目录（含已提交后又改的槽位/勾选——工作树
           // diff 能捕捉提交后编辑）∪ 独占树未提交交付（dirtyAdded）；其余交付面走提交区间。
-          // 排除项与 ownFiles 同款（change.patch/change-patch.json）——否则上一轮冻结件作为
-          // untracked 新文件被全文自嵌入（自引用循环：旧 patch 内容混进新 patch，三评 P1 根因）。
+          // 排除项与 ownFiles 同款（四名全排，含 scope-audit.* 旧轮冻结件 legacy 防护）。
           const dirFilesForPatch = changeDirFiles.filter((f) => !f.endsWith('change.patch') && !f.endsWith('change-patch.json')
             && !f.endsWith('scope-audit.json') && !f.endsWith('scope-audit.patch'))
           const worktreeSet = new Set([...dirFilesForPatch, ...((freeze.dirtyAdded) || [])].map(toPosix))
@@ -1464,10 +1472,9 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
             if (rec.lines.length > 0) for (const l of rec.lines) console.log(l)
             moduleScope = { modules: rec.modules, uncoveredDirs: rec.uncoveredDirs, moduleMaps: rec.moduleMaps }
           } catch { /* 对账 best-effort（三键空数组兜底） */ }
-          // 双通道收尾留痕统一（2026-10-07-unify-close-trace）：共用 writeCloseTraceArtifacts
-          // 一次写齐四件——沉淀资产面（change.patch + change-patch.json，键结构/口径不变）+
-          // 对账快照面（scope-audit.json + scope-audit.patch，thin 通道新增）：同点同锚
-          // （同一 patchText 一次 sha256），新变更两条通道留痕对称，读侧回退退化为存量兜底。
+          // 收口留痕单套写（2026-10-09-close-trace-single-set）：共用 writeCloseTraceArtifacts
+          // 只写 change.patch + change-patch.json 两件——对账面数据并入 JSON 的 scopeAudit
+          // 子对象（thin 通道同样有对账面），旧名 scope-audit.* 停写、读侧兼容兜存量归档。
           let planEntries = []
           try {
             const { parseFileChangeListDetailed } = await import('./change-list.js')
@@ -1503,7 +1510,7 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
               ...(acceptDirtyGap && freeze.dirtyWarned.length > 0 ? { acceptedDirtyGap: freeze.dirtyWarned.length } : {}),
             },
           })
-          console.log(`📦 变更 patch 留档（双轨统一）：change.patch + change-patch.json（${ownFiles.length} 文件，+${additions}/-${deletions}）+ scope-audit.json + scope-audit.patch（对账快照同点冻结）${closeTrace.patchStatus === 'ok' ? '，sha256 已锚' : '——patch 采集失败已留痕'}`)
+          console.log(`📦 变更 patch 留档（单套）：change.patch + change-patch.json（${ownFiles.length} 文件，+${additions}/-${deletions}，对账面并入 scopeAudit 子对象）${closeTrace.patchStatus === 'ok' ? '，sha256 已锚' : '——patch 采集失败已留痕'}`)
           // design 声明面自证（2026-09-25-platform-feedback-batch2 E）：design.md 文件变更清单
           // 声明的交付文件是否都在冻结面——不在=承诺改了但没交付（承诺未兑现面，advisory 不
           // 阻断——可能是范围裁剪了但 design 没同步更新）
@@ -1679,7 +1686,7 @@ export async function cmdFlowDone({ change, cwd, specBase, runtimeRootOpt = null
     try {
       const { harvestSlot4Decision } = await import('./flow-parity.js')
       const h = harvestSlot4Decision({ changeDir, change })
-      if (h.harvested) console.log(`🌱 槽4（风险与死路）收割 → decisions.md（随蒸馏链进 knowledge）`)
+      if (h.harvested) console.log(`🌱 槽4（风险与死路）收割 → decisions.md（底稿——作答里的放弃方案请拆成 rejected 条目再收口；随蒸馏链进 knowledge）`)
     } catch { /* 收割 best-effort */ }
     try {
       const { distillIntoKnowledge } = await import('./decision-distill.js')

package/src/friction-tally.js

@@ -30,7 +30,7 @@ import { withFileLock } from './quicklog.js'
 import { resolveRuntimeRoot, resolveQuickSessionsDir } from './run/shared.js'
 
 /** 摩擦事件类型枚举（D-004）：审查打回走专属 review_rejected，不与 gate_rollback 重复计 */
-const FRICTION_TYPES = new Set(['gate_rollback', 'verify_run_failed', 'review_rejected'])
+const FRICTION_TYPES = new Set(['gate_rollback', 'verify_run_failed', 'review_rejected', 'gate_snapshot_fallback'])
 
 /** history 截尾上限（同 verify-lint-tally 的 20 条口径——台账防病态体量，不承载完整审计） */
 const FRICTION_HISTORY_CAP = 20
@@ -43,6 +43,7 @@ const FRICTION_LABELS = [
   ['gate_rollback', 'gate 回滚'],
   ['verify_run_failed', '验证失败'],
   ['review_rejected', '审查打回'],
+  ['gate_snapshot_fallback', '快照回退主仓'],
 ]
 
 /**

package/src/git-helper.js

@@ -187,10 +187,32 @@ export function stageArchiveArtifacts(cwd) {
   const skipped = []
   const existing = candidates.filter(p => existsSync(p))
   if (existing.length === 0) return { staged, skipped }
-  const r = safeGit(cwd, ['add', ...existing])
+  // 2026-10-09-verify-papercuts ④：排除嵌套运行时异物——归档变更目录内嵌套的 .sillyspec/
+  // （历史 cwd 漂移事故的遗留 db/日志）会被目录级 add 一并扫进暂存（当日实证：他变更的
+  // sillyspec.db 与 spec-sync-bg.log 被夹带提交）。pathspec exclude 精确拦截该形态，正常
+  // 归档产物（md/json/patch）零影响；检出异物在场时点名提示清理（不静默吞）。
+  const excludes = [
+    ':(exclude).sillyspec/changes/archive/*/.sillyspec',
+    ':(exclude).sillyspec/changes/archive/*/.sillyspec/**',
+  ]
+  let nestedJunk = []
+  try {
+    const archRoot = join(specBase, 'changes', 'archive')
+    for (const e of readdirSync(archRoot, { withFileTypes: true })) {
+      if (e.isDirectory() && existsSync(join(archRoot, e.name, '.sillyspec'))) {
+        nestedJunk.push(join(archRoot, e.name, '.sillyspec'))
+      }
+    }
+  } catch { /* 归档目录不可读 → 跳过提示 */ }
+  const r = safeGit(cwd, ['add', ...existing, ...excludes])
   if (r && r.error) {
     console.warn(`  ⚠️ 归档产物 git add 失败（可手动处理）：${String(r.error).slice(0, 120)}`)
     return { staged, skipped: existing }
   }
+  if (nestedJunk.length > 0) {
+    console.warn(`  ⚠️ 检出 ${nestedJunk.length} 个归档目录内嵌套 .sillyspec/ 运行时异物（已从本次暂存排除）：`)
+    for (const j of nestedJunk.slice(0, 5)) console.warn(`     - ${j}`)
+    console.warn(`     处置：确认无归属后删除目录；若已被 git 跟踪先 git rm -r --cached <路径>（不该入库的 db/日志）`)
+  }
   return { staged: existing, skipped }
 }

package/src/index.js

@@ -1334,7 +1334,7 @@ task done 四合一（r5l 方案1）：review write（落 review.json+自动勾
         process.exit(2);
       }
       assertSafeChangeName(vpChange, '--change 变更名');
-      const { runVerifyProbes, renderVerifyProbesReport, generateVerifyResultSkeleton, resolveVerifyProbesSpecBase, writeVerifyFacts, formatPlatformPathNote, backupVerifyResult, refreshProbeSections } = await import('./verify-probes.js');
+      const { runVerifyProbes, renderVerifyProbesReport, generateVerifyResultSkeleton, resolveVerifyProbesSpecBase, writeVerifyFacts, formatPlatformPathNote, backupVerifyResult, refreshProbeSections, applySkeletonPreservingHuman } = await import('./verify-probes.js');
       // spec 根统一走漂移锚定（坑 worktree-spec-artifact-misplace）：在 worktree 内跑时锚回主仓，
       // 探针读取与 --init 骨架都落主仓——与 plan/execute/verify/archive 的 command.js 守卫同口径。
       // resolvePlatformSpecDir 仍先调（保留平台接管 fail-closed 检查副作用），但仅 pointer 存在时
@@ -1429,21 +1429,29 @@ task done 四合一（r5l 方案1）：review write（落 review.json+自动勾
             await mirrorInitArtifact(vpReportPath, 'verify-result.md', vpInjected);
             console.log(`\n📄 存量旧格式 verify-result.md 已补注入探针预填段: ${vpReportPath}（正文其余未动；补注后按新预填段如实核对结论）${vpPlatformNote}`);
           } else if (vpForce) {
-            // quick-B：--force 覆盖重生成全骨架（含接口矩阵等 CLI 预填段）——手填内容会重置。
+            // quick-B：--force 覆盖重生成全骨架（含接口矩阵等 CLI 预填段）。
             // 2026-10-06-verify-friction-fix：覆盖前自动备份（postmortem 实证 38 格手填复核成果
             // 被清后只能靠对话记录重建——「从 git 或备份找回」的话术备份此前并不存在）；备份
             // 失败时醒目提示手动复制再重跑（fail-soft 但不静默）。
+            // 2026-10-09-verify-papercuts ②：语义升级——机器段全量重刷 + 人工面按段携载
+            // （applySkeletonPreservingHuman：结论槽/移交项表/矩阵已填行不再被 wipe），备份
+            // 保留为兜底通道。
             const { resolveRuntimeRoot: vpForceRTR } = await import('./run/shared.js');
             const vpBackupPath = backupVerifyResult({ mdPath: vpReportPath, runtimeRoot: vpForceRTR({}, vpSpecBase), changeName: vpChange });
             const vpSkeleton = generateVerifyResultSkeleton(vpResult);
-            writeFileSync(vpReportPath, vpSkeleton);
-            await mirrorInitArtifact(vpReportPath, 'verify-result.md', vpSkeleton);
+            const vpOldText = readFileSync(vpReportPath, 'utf8');
+            const vpApplied = applySkeletonPreservingHuman(vpOldText, vpSkeleton);
+            writeFileSync(vpReportPath, vpApplied.text);
+            await mirrorInitArtifact(vpReportPath, 'verify-result.md', vpApplied.text);
             if (vpBackupPath) {
-              console.log(`\n🗄️  --force 覆盖前已自动备份: ${vpBackupPath}（手填内容被重置时从这里找回回填）`);
+              console.log(`\n🗄️  --force 覆盖前已自动备份: ${vpBackupPath}（携载语义之外的极端形态从这里找回）`);
             } else {
               console.error(`\n⚠️ 自动备份失败——若 verify-result.md 含手填内容，请立即手动复制保存后重跑本命令。`);
             }
-            console.log(`\n📄 --force 已重生成 verify-result.md 骨架: ${vpReportPath}（探针与预填段已刷新；⚠️ 手填的结论/移交项等已被重置——需保留的内容从上方备份找回后回填）${vpPlatformNote}`);
+            const vpCarriedNote = vpApplied.carriedSections.length > 0
+              ? `已填人工面按段携载保留：${vpApplied.carriedSections.join('、')}（携载表格行 ${vpApplied.carriedRows}）——与机器段新渲染不符的携载内容由 gate 一致性抽查把关`
+              : `未发现已填人工面（全文占位形态——行为与旧版全量重置一致）`;
+            console.log(`\n📄 --force 已重生成 verify-result.md 骨架: ${vpReportPath}（探针与预填段已刷新；${vpCarriedNote}）${vpPlatformNote}`);
           } else {
             console.log(`\nℹ️  verify-result.md 已存在，不覆盖: ${vpReportPath}${vpPlatformNote}（预填段过期需刷新时用 --init --force）`);
           }
@@ -2172,9 +2180,10 @@ task done 四合一（r5l 方案1）：review write（落 review.json+自动勾
       const fpSpecBase = resolvePlatformSpecDir(dir, specDir) || join(dir, '.sillyspec');
       const fpDir = join(fpSpecBase, 'changes', fpChange);
       mkdirSync(fpDir, { recursive: true });
-      const fpNow = new Date();
-      const fpDate = fpNow.toISOString().slice(0, 10);
-      const fpStamp = fpNow.toISOString().slice(0, 19).replace('T', ' ');
+      // 本地墙钟（datetime.js 坑 taskcard-created-at-utc 同族：frontmatter 人读时间禁
+      // toISOString 写 UTC 裸形状——无时区标记被读取端按本地解析，2026-10-09 平台时间线 born 锚偏 8h 实证）
+      const { nowWallClock } = await import('./datetime.js');
+      const fpStamp = nowWallClock();
       const generated = [];
       const mk = (fname, body) => {
         const p = join(fpDir, fname);
@@ -3373,8 +3382,11 @@ ${generated.length} 个骨架已就绪——逐节把 <!--TODO--> 替换为语
         else if (wtCommitFlags[i] === '--pathspec-from-file' && wtCommitFlags[i + 1]) wtCommitPathspecFile = wtCommitFlags[++i];
       }
       if (!wtCommitChange) {
-        const inferred = String(dir).match(/[\\/]worktrees[\\/]([^\\/]+)/);
-        wtCommitChange = inferred ? inferred[1] : null;
+        // FR-08（2026-10-09-verify-reuse-friction / D-006@v1）：跨仓 <change>--<repoKey>
+        // 注册表校验剥后缀——逻辑单点在 wt-commit.js（导出 inferChangeFromWorktreeCwd
+        // 供三态回归直测，index.js dispatch 不留内联逻辑）
+        const { inferChangeFromWorktreeCwd } = await import('./wt-commit.js')
+        wtCommitChange = await inferChangeFromWorktreeCwd(dir)
       }
       try {
         const { runWtCommit } = await import('./wt-commit.js');

package/src/init.js

@@ -270,11 +270,12 @@ export function injectClaudePointer(projectDir) {
 
 // ── 检测工具 ──
 
-function detectTools(projectDir) {
+export function detectTools(projectDir) {
   const found = [];
   if (existsSync(join(projectDir, '.claude'))) found.push('claude');
   if (existsSync(join(projectDir, '.cursor'))) found.push('cursor');
   if (existsSync(join(projectDir, '.openclaw'))) found.push('openclaw');
+  if (existsSync(join(projectDir, '.zcode'))) found.push('zcode');
   if (existsSync(join(projectDir, 'AGENTS.md'))) found.push('codex');
   if (existsSync(join(projectDir, 'GEMINI.md'))) found.push('gemini');
   if (existsSync(join(projectDir, 'INSTRUCTIONS.md'))) found.push('opencode');
@@ -480,6 +481,9 @@ async function doInstall(projectDir, tools, subprojects = [], specDir = null, op
     codex: '.codex/skills',
     openclaw: '.openclaw/skills',
     opencode: '.opencode/skills',
+    // zcode（坑 init-skills-sync-no-zcode，2026-10-08 实证：命令卡面有落点、技能复制面漏——
+    // .zcode/skills 已在场时 detectTools 不发现 + 显式 --tool zcode 也拿不到技能，双层缺口）
+    zcode: '.zcode/skills',
   }
   const skillsSource = join(__dirname, '..', '.claude', 'skills');
   if (existsSync(skillsSource)) {