sillyspec 3.32.1 → 3.32.3

package/src/verify-postcheck.js

@@ -27,8 +27,8 @@ import { createHash } from 'crypto'
 import { IR_STRICT_SINCE } from './constants.js'
 import { gitQuiet } from './git-helper.js'
 import { resolveRuntimeRoot } from './run/shared.js'
-import { existsSync, mkdirSync, readFileSync, writeFileSync, readdirSync, statSync } from 'fs'
-import { join, resolve } from 'path'
+import { existsSync, mkdirSync, readFileSync, writeFileSync, readdirSync, statSync, appendFileSync } from 'fs'
+import { join, resolve, isAbsolute } from 'path'
 import { readChangeTrace, testAnchorFile } from './test-bindings.js'
 import { collectFrLinkedTests } from './fr-index.js'
 import { verifyApiParity, _readWorktreeMeta } from './contract-matrix.js'
@@ -47,7 +47,8 @@ import { discoverModuleIndex } from './decision-distill.js'
 import { writeAtomicSync } from './fs-atomic.js'
 // target_files 声明侧解析（Wave 1 已落地）：依赖链已核实无环——plan-postcheck 不反向依赖本模块，
 // 且本模块已经 worktree-apply.js:21 间接依赖 plan-postcheck，此处改直连不引入新环（task-04）
-import { parseTargetFiles, parseRepo } from './stages/plan-postcheck.js'
+import { parseTargetFiles, parseRepo, parseRepoRegistry } from './stages/plan-postcheck.js'
+import { crossWorktreePath } from './worktree-cross.js'
 // 探针重跑（P3b task-02 一致性抽查）：依赖方向已核实无环——verify-probes 只依赖
 // fs/path/git-helper/change-list/plan-postcheck/contract-matrix/foreign-declared/run-shared，
 // 不反向依赖本模块，此处直连不引入循环。smoke 机器段一致性（2026-09-17-api-coverage-smoke
@@ -1878,7 +1879,27 @@ export function resolveVerifyChangedFiles(cwd, changeName, ctx = null, opts = {}
   let anyAvailable = mainFiles !== null
   for (const entry of crossEntries) {
     // 跨仓仓 gitDir = 跨仓仓根（MultiRepoContext._buildCrossRepoEntry 已 fail-closed 保证可达）
-    const files = runGitDiffNameOnly(entry.gitDir, 'HEAD~1..HEAD')
+    // FR-07（2026-10-09-verify-reuse-friction）：跨仓 worktree 在场（verify 常在 apply 前）时
+    // 交付面在 worktree——meta.baseHash..工作树 窗口（多笔提交+未提交全覆盖）；HEAD~1..HEAD
+    // 只看主副本最近一笔，对多笔交付是假信号。meta 缺失回退现行窗口。
+    let files = null
+    try {
+      const wtPath = crossWorktreePath(opts.specBase || join(cwd, '.sillyspec'), changeName, entry.repoKey)
+      const metaPath = join(wtPath, 'meta.json')
+      if (existsSync(metaPath)) {
+        const meta = JSON.parse(readFileSync(metaPath, 'utf8'))
+        const base = meta && meta.baseHash
+        if (base && /^[0-9a-f]{7,40}$/i.test(base)) {
+          const d1 = gitQuiet(wtPath, ['diff', '--name-only', base])
+          const d2 = gitQuiet(wtPath, ['ls-files', '--others', '--exclude-standard'])
+          const mergedWt = [...new Set(String(d1 || '').split(String.fromCharCode(10)).concat(String(d2 || '').split(String.fromCharCode(10))))].map(x => x.trim()).filter(x => x && x !== 'meta.json' && !x.startsWith('.sillyspec/'))
+          // 与 cross-repo-reconcile B' 档同语义：双查皆失败（d1/d2 双 null）→ 不成窗，
+          // files 保持 null 回退 HEAD~1..HEAD（低报不如口径如实降级）
+          if (d1 !== null || d2 !== null) files = mergedWt
+        }
+      }
+    } catch { /* 回退 HEAD~1..HEAD */ }
+    if (files === null) files = runGitDiffNameOnly(entry.gitDir, 'HEAD~1..HEAD')
     if (files !== null) {
       anyAvailable = true
       for (const f of files) {
@@ -1991,7 +2012,7 @@ function resolveMainChangedFiles(cwd, changeName, specBase = null) {
  *   resultPath: string|null,
  * }}
  */
-export function runVerifyTestCheck({ cwd, specBase, changeName = null, ctx = null, restrictFiles = null, faceOverride = null }) {
+export function runVerifyTestCheck({ cwd, specBase, changeName = null, ctx = null, restrictFiles = null, faceOverride = null, observability = null }) {
   // restrictFiles（坑 quick-gate-并行全流程变更脏文件误伤，2026-09-21 实证）：本会话声明
   // 文件集（quick gate 传 allowedFiles）——提供时 module 子集的变更文件面收窄到
   // 「实际变更 ∩ restrictFiles」，窗口内未声明的并行全流程变更 WIP 文件不再进模块选择
@@ -2186,7 +2207,7 @@ export function runVerifyTestCheck({ cwd, specBase, changeName = null, ctx = nul
       }
     } else {
       console.log(`ℹ️ 动态测试子集（缺省）：本变更测试 ∪ FR 关联回归 ∪ import 依赖 = ${scopeFiles.length} 个（并集去重后的总数；分量 deps ${depsAutoFiles.length}${frCount ? ` + FR 绑定 ${frCount}` : ''}，重叠只计一次）；runner 自项目结构推断。显式 test_strategy: full 恢复全量`)
-      mainResult = runModuleSubset({ cwd, specBase, changeName, hits: [], knownFailures, changedFiles: lastChangedFiles, frPre })
+      mainResult = runModuleSubset({ cwd, specBase, changeName, hits: [], knownFailures, changedFiles: lastChangedFiles, frPre, observability })
     }
     // ledger 记账（无论增/全）：head=当前 HEAD（git 失败 null → 下轮自动回全子集）；失败批文件
     // 落账供下轮增量；passed 后 failedFiles 清空 → 下轮自然回全子集基线
@@ -2924,21 +2945,54 @@ export function resolveVerifyAnchorSet({ specBase, changeName }) {
   return [...ids]
 }
 
-/** 残差解析：active·非 superseded·锚命中的 trace 行 → { anchors, rows, files, dangling } */
+/**
+ * trace 行 repo 归属解析根（2026-10-09-verify-reuse-friction FR-06 / D-005@v1）：
+ * 行 repo 字段（additive，缺省=主仓）经 local.yaml repos 注册表换根——跨仓 task 卡抄入的
+ * 仓根相对 tests 路径不再按主仓解析恒悬空（2026-10-09 tombstone 取证：3 文件悬空 fail-fast
+ * 连烧 4 轮实测）。注册表缺失/键未注册 → 该行回退主仓根（现状行为），dangling 消息带
+ * repo: 前缀使错配可见。读法同 verify-probes 探针 7 先例（join(specBase,'local.yaml') +
+ * parseRepoRegistry，相对路径按主仓 cwd resolve）。
+ */
+function traceRepoRoots({ specBase, cwd }) {
+  try {
+    const yamlPath = join(specBase, 'local.yaml')
+    if (!existsSync(yamlPath)) return new Map()
+    const reg = parseRepoRegistry(readFileSync(yamlPath, 'utf8'))
+    const m = new Map()
+    for (const [k, v] of reg) m.set(k, isAbsolute(v) ? v : resolve(cwd, v))
+    return m
+  } catch { return new Map() }
+}
+
+/** 残差解析：active·非 superseded·锚命中的 trace 行 → { anchors, rows, files, dangling, perFile } */
 export function resolveTraceResidual({ specBase, changeName, cwd }) {
   const anchors = resolveVerifyAnchorSet({ specBase, changeName })
-  if (anchors.length === 0) return { anchors, rows: [], files: [], dangling: [] }
+  if (anchors.length === 0) return { anchors, rows: [], files: [], dangling: [], perFile: [] }
   const rows = readChangeTrace(join(specBase, 'changes', changeName))
     .filter(r => anchors.includes(r.anchor) && r.state === 'active' && r.status !== 'superseded')
-  // tests 条目可携带用例锚（2026-09-26-binding-anchor-fidelity）——文件面/悬空判定走剥锚
-  const files = [...new Set(rows.flatMap(r => (r.tests || []).map(testAnchorFile)))].sort()
-  const dangling = files.filter(f => !existsSync(resolve(cwd, f)))
-  return { anchors, rows, files, dangling }
+  // tests 条目可携带用例锚（2026-09-26-binding-anchor-fidelity）——文件面/悬空判定走剥锚。
+  // FR-06（2026-10-09）：文件按行 repo 归属配对（perFile），悬空判定/残差执行按行根解析。
+  const repoRoots = traceRepoRoots({ specBase, cwd })
+  const seen = new Set()
+  const perFile = []
+  for (const r of rows) {
+    const repoKey = r.repo && r.repo !== 'main' ? r.repo : null
+    for (const t of (r.tests || [])) {
+      const f = testAnchorFile(t)
+      const key = (repoKey ? repoKey + '' : '') + f
+      if (!seen.has(key)) { seen.add(key); perFile.push({ repo: repoKey, file: f }) }
+    }
+  }
+  const files = [...new Set(perFile.map(x => x.file))].sort()
+  const dangling = perFile
+    .filter(x => !existsSync(resolve((x.repo && repoRoots.get(x.repo)) || cwd, x.file)))
+    .map(x => x.repo ? `${x.repo}:${x.file}` : x.file)
+  return { anchors, rows, files, dangling, perFile }
 }
 
 /** 残差执行段：按 buildDepsBatches 同口径组卷（扩展名分语言/pytest 前缀自模块命令推断），
  * 30/块分卷破 deps 面的帽（残差是绑定面钦定必须跑的，不适用发现面防膨胀帽）。 */
-function runTraceResidual({ cwd, files, hits, knownFailures = [] }) {
+function runTraceResidual({ cwd, files, groups = null, hits, knownFailures = [] }) {
   // 嵌套 test-runner 防污染：孙代 node --test 会误连外层 reporter（NODE_TEST_* 环境变量，
   // 单测实测：嵌套下挂测被误判 passed）——spawn 前剥除、跑完还原（同步窗口安全；真实门禁
   // 进程无此变量，零影响）。
@@ -2946,12 +3000,17 @@ function runTraceResidual({ cwd, files, hits, knownFailures = [] }) {
   const strippedKeys = []
   for (const k of Object.keys(process.env)) { if (k.startsWith('NODE_TEST')) { strippedKeys.push(k); delete process.env[k] } }
   try {
-    return runTraceResidualInner({ cwd, files, hits, knownFailures })
+    // FR-06（2026-10-09-verify-reuse-friction）：残差按行 repo 分组执行——跨仓组在其仓根
+    // 跑（组卷 cwd=组根），主仓组现状不变；groups 缺席回退旧 files 单主仓组（零迁移）。
+    const execGroups = Array.isArray(groups) && groups.length > 0
+      ? groups
+      : [{ repo: null, root: cwd, files }]
+    return execGroups.flatMap(g => runTraceResidualInner({ cwd: g.root, repoLabel: g.repo, files: g.files, hits, knownFailures }))
   } finally {
     for (const k of strippedKeys) process.env[k] = savedEnv[k]
   }
 }
-function runTraceResidualInner({ cwd, files, hits, knownFailures }) {
+function runTraceResidualInner({ cwd, repoLabel = null, files, hits, knownFailures }) {
   const norm = (p) => String(p).replace(/\\/g, '/')
   const segments = []
   for (let i = 0; i < files.length; i += 30) {
@@ -2998,6 +3057,19 @@ export function applyTraceResidual({ mainResult, action, cwd, specBase, changeNa
   const provable = (action === 'deps-auto-subset' || action === 'dynamic-subset')
     ? new Set((depsAutoFiles || []).map(f => String(f).replace(/\\/g, '/'))) : new Set()
   const residualFiles = tr.files.filter(f => !provable.has(f))
+  // FR-06（2026-10-09-verify-reuse-friction）：残差执行面按行 repo 分组（provable 差集按
+  // 文件名判，跨仓文件同样成立）；组根=注册表仓根，未注册回退主仓（与悬空判定同口径）。
+  const _repoRoots = traceRepoRoots({ specBase, cwd })
+  const _gmap = new Map()
+  for (const x of (tr.perFile || [])) {
+    if (provable.has(String(x.file).replace(/\\/g, '/'))) continue
+    const _rk = x.repo || null
+    const _root = (_rk && _repoRoots.get(_rk)) || cwd
+    const _gk = _rk + '' + _root
+    if (!_gmap.has(_gk)) _gmap.set(_gk, { repo: _rk, root: _root, files: [] })
+    _gmap.get(_gk).files.push(x.file)
+  }
+  const residualGroups = [..._gmap.values()].map(g => ({ ...g, files: [...new Set(g.files)] }))
   try {
     writeTraceDisclosure({
       specBase, changeName,
@@ -3015,7 +3087,7 @@ export function applyTraceResidual({ mainResult, action, cwd, specBase, changeNa
   if (residualFiles.length === 0) return mainResult
   let segs
   try {
-    segs = runTraceResidual({ cwd, files: residualFiles, hits, knownFailures })
+    segs = runTraceResidual({ cwd, files: residualFiles, groups: residualGroups, hits, knownFailures })
   } catch (e) {
     return { ...mainResult, status: 'failed', reason: `trace 残差段执行异常（fail-closed）：${e && e.message ? e.message : e}` }
   }
@@ -3042,7 +3114,7 @@ export function applyTraceResidual({ mainResult, action, cwd, specBase, changeNa
  * export 供直测（buildDepsBatches 同款先例——fixture 需真跑测试文件，不宜经
  * runVerifyTestCheck 全链只为断言组卷接线）。
  */
-export function runModuleSubset({ cwd, specBase, changeName, hits, knownFailures = [], changedFiles = [], frPre = null }) {
+export function runModuleSubset({ cwd, specBase, changeName, hits, knownFailures = [], changedFiles = [], frPre = null, observability = null }) {
   const subsetStartedAt = Date.now()
   const perModule = hits.map(h => runOneModule(h.name, h.test, cwd, knownFailures))
   // 依赖测试伪模块（module-test-face-rot，2026-09-16 本会话实证）：硬编码模块测试清单不含
@@ -3158,6 +3230,9 @@ export function runModuleSubset({ cwd, specBase, changeName, hits, knownFailures
     changeName,
     result,
     extra: {
+      // 复用观测（2026-10-09-verify-reuse-friction FR-04）：真跑轮携带指纹与判定原因——
+      // 取证直读 test-result.json，不再依赖 stdout 考古。additive：调用方未传则零字段。
+      ...(observability || {}),
       modules: perModule.map(r => ({
         name: r.name,
         command: r.command,
@@ -3218,6 +3293,26 @@ export function persistLintResult({ specBase, changeName, testResultPath, lint }
   }
 }
 
+/**
+ * 复用判定追加日志（2026-10-09-verify-reuse-friction FR-04）：复用命中轮不产生
+ * test-result.json（无真实执行——那是它的语义），判定落
+ * .runtime/verify-runs/reuse-decisions-<change>.jsonl 逐行追加（ts + layer + hit +
+ * reason + fingerprint 摘要），与真跑轮 test-result.json 的 fingerprint/reuse_decision
+ * 互为对照——取证直读文件，不再依赖 stdout。best-effort：追加失败不阻断任何路径。
+ */
+export function appendReuseDecision({ specBase, changeName, decision }) {
+  try {
+    if (!specBase || !changeName || !decision || typeof decision !== 'object') return false
+    const dir = join(specBase, '.runtime', 'verify-runs')
+    mkdirSync(dir, { recursive: true })
+    appendFileSync(join(dir, `reuse-decisions-${changeName}.jsonl`), JSON.stringify({
+      ts: new Date().toISOString(),
+      ...decision,
+    }) + '\n')
+    return true
+  } catch { /* 观测失败不阻断 */ return false }
+}
+
 /**
  * 结果落盘到 .runtime/verify-runs/<ts>/test-result.json（供追溯与 SillyHub 消费）。
  * 多模块时 extra.modules 描述各模块明细。export 供 test 验证台账落盘形状。
@@ -3994,7 +4089,7 @@ export function resolveReconcileActualFiles({ cwd, specBase, runtimeRoot, change
     try {
       // 锚定变更分支/审计 tag（非 blanket 20 提交——base 提交文件不得误救）
       const rescueRef = (typeof branchHash === 'string' && branchHash.trim()) ? branch : (gitQuiet(cwd, ['rev-parse', '--verify', '--quiet', auditTag + '^{commit}'], { timeout: 30 * 1000 }) ? auditTag : null)
-      if (!rescueRef) throw new Error('no-rescue-ref')
+      if (rescueRef) {
       // -n 形态计数（2026-10-04-log-window-arity：裸 '20' 在 git ≥2.4x 是 ambiguous argument
       // fatal——fail-open 静默吞后救赎 note 路径从未生效，plan-target-files D7 在纯 HEAD 稳定红）
       const recent = gitQuiet(cwd, ['log', '-n', '20', '--name-only', '--format=%h', rescueRef], { timeout: 30 * 1000, trim: false })
@@ -4005,6 +4100,34 @@ export function resolveReconcileActualFiles({ cwd, specBase, runtimeRoot, change
           sources.push(`main:log-20-commit-window(declared-rescue-only:${rescueRef})`)
         }
       }
+      } else {
+        // ③ 提交信息锚定窗口（2026-10-09-verify-papercuts ③）：主代理直改形态（无 worktree/
+        // 分支/审计 tag——交付直接 commit 到主干、消息含变更名）此前救援窗口恒空 → ②类全量
+        // 假红，只能手工喂 apply-pathspec 才能过（当日收口实证撞 3 轮）。锚定规则：近 30 提交中
+        // 消息含变更名的提交，其 --name-only 触及面进窗口——declared-rescue-only 语义不变
+        // （不进 union、只救「声明而 missing」），他变更提交的文件不满足消息锚定天然不入窗。
+        try {
+          const msgWindow = gitQuiet(cwd, ['log', '-n', '30', '--name-only', '--format=%h %s'], { timeout: 30 * 1000, trim: false })
+          // 边界锚定（审查 P3 修正）：子串 includes 会把同日前缀变更名（A=…-x 是 B=…-x2 的
+          // 前缀）误纳——改为变更名两侧不得紧贴 [\w-]（消息里的括号/空格/行首尾都是自然边界）。
+          const msgAnchorRe = new RegExp('(?<![\\w-])' + String(changeName).replace(/[\\.*+?^${}()|[\\]]/g, '\\$&') + '(?![\\w-])')
+          if (typeof msgWindow === 'string' && msgAnchorRe.test(msgWindow)) {
+            const files = []
+            let inOwnCommit = false
+            for (const l of msgWindow.split(String.fromCharCode(10))) {
+              const t = l.trim()
+              if (!t) { continue }
+              const header = t.match(/^[0-9a-f]{7,40} /)
+              if (header) { inOwnCommit = msgAnchorRe.test(t); continue }
+              if (inOwnCommit && !/^[0-9a-f]{7,40}$/.test(t)) files.push(t)
+            }
+            if (files.length > 0) {
+              commitWindowFiles = files
+              sources.push('main:log-msg-window(declared-rescue-only:HEAD)')
+            }
+          }
+        } catch { /* 消息窗口失败静默省略（不干扰主链） */ }
+      }
     } catch { /* 窗口源失败静默省略 */ }
     // B3 apply-pathspec 兜底（存在则并入，读取失败静默忽略——前两源不受影响）
     const pathspecFile = join(runtimeRoot, `apply-pathspec-${changeName}.txt`)

package/src/verify-probes.js

@@ -2180,6 +2180,9 @@ export function runVerifyProbes({ cwd, changeName, specDir = null }) {
             task: fmId || f.replace(/\.md$/, ''),
             acceptance: parsed.acceptance,
             fmError: parsed.status === 'invalid-yaml' ? parsed.error : null,
+            // FR-06（2026-10-09-verify-reuse-friction）：行 repo 归属写侧透传（跨仓卡 tests
+            // 仓根相对，读侧按行根解析）
+            repo: parseRepo(raw) || null,
             raw,
           })
         }
@@ -2280,6 +2283,9 @@ export function runVerifyProbes({ cwd, changeName, specDir = null }) {
                 discovery: 'machine',
                 confirmed_by: null,
                 source_change: changeName,
+                // FR-06（2026-10-09-verify-reuse-friction）：跨仓卡的 tests 是仓根相对——
+                // 行携 repo 归属供读侧按行根解析（缺省不落键=主仓，D-005@v1）。
+                ...(t.repo && t.repo !== 'main' ? { repo: t.repo } : {}),
               })
             })
           }
@@ -3854,3 +3860,138 @@ export function refreshProbeSections(existingText, freshReportText) {
   }
   return { text: out.join('\n'), replaced, kept, appended, carriedRows }
 }
+
+// ── --force 保人工面（2026-10-09-verify-papercuts ②）──
+// postmortem（2026-10-09-verify-reuse-friction 收口实证）：--force 全骨架重置虽有自动备份，
+// 但结论槽/移交项表/探针矩阵已填判定/决策矩阵已填格仍全部被 wipe——重填整套人工面是当日
+// 最大单点浪费（备份在 .runtime 里，找回-回填的来回远比携载贵）。本组合器把 --force 语义
+// 从「全量重置 + 备份找回」升级为「机器段全量重刷 + 人工面按段携载」：
+//   - 纯人工段（结论/移交项/证据账/集成回执/任务完成度/设计一致性/独立复核/风险等级）：
+//     旧段已填（无 <待填/<TODO 占位）→ 原样保留；未填 → 用新骨架（占位换新占位，无损失）；
+//   - 矩阵段（决策追踪矩阵/接口验证覆盖矩阵）：表格行按首列键携载（mergeProbeSection 同
+//     款语义——已填 Evidence/判定行不丢，新增行从新骨架进场）；
+//   - 探针容器段（## 探针结果）：逐探针号 merge（已填表格行携载，机器结论行刷新）；
+//   - 其余机器段：新骨架；旧文独有的自定义段：追加保留（不销毁用户内容）。
+// 安全方向与 refreshProbeSections 一致：宁可少刷新不误删；stale 由 gate 的
+// checkProbeConsistency 独立把关。备份照旧保留（兜底通道不撤）。
+
+/** 顶层段切分（^## 标题行起，至下一 ^## 或 EOF；# 级更细的 #### 归属其容器段） */
+function splitTopSections(text) {
+  const lines = String(text ?? '').split('\n')
+  const sections = []
+  let cur = null
+  for (let i = 0; i < lines.length; i++) {
+    if (/^## /.test(lines[i])) {
+      if (cur) cur.endLine = i
+      cur = { headingLine: lines[i], startLine: i, endLine: lines.length }
+      sections.push(cur)
+    }
+  }
+  return { lines, sections }
+}
+
+/** 段身份键：剥 [层：…] 尾注与（…）括注——同族段跨渲染措辞漂移仍可对上 */
+function topSectionKey(headingLine) {
+  return headingLine
+    .replace(/^##\s*/, '')
+    .replace(/\s*\[.*\]\s*$/, '')
+    .replace(/（.*$/, '')
+    .trim()
+}
+
+const HUMAN_SECTION_KEYS = ['结论', '移交项', '证据账', '集成验证回执', '任务完成度', '设计一致性', '独立复核', '变更风险等级', '技术债务', 'Runtime Evidence', '代码审查']
+const MATRIX_SECTION_KEYS = ['决策追踪矩阵', '接口验证覆盖矩阵']
+const PROBE_CONTAINER_KEY = '探针结果'
+
+/** 探针容器段合并：新骨架容器为基，逐探针号对旧容器做已填行携载；旧独有探针号追加 */
+function mergeProbeContainer(oldContainerLines, freshContainerLines) {
+  const oldParsed = splitProbeSectionRanges(oldContainerLines.join('\n'))
+  const freshParsed = splitProbeSectionRanges(freshContainerLines.join('\n'))
+  const out = [...freshParsed.lines]
+  let carriedRows = 0
+  const oldByNum = new Map(oldParsed.sections.map(s => [s.num, s]))
+  for (let idx = freshParsed.sections.length - 1; idx >= 0; idx--) {
+    const fs = freshParsed.sections[idx]
+    const os = oldByNum.get(fs.num)
+    if (!os) continue
+    const merged = mergeProbeSection(
+      oldParsed.lines.slice(os.startLine, os.endLine),
+      freshParsed.lines.slice(fs.startLine, fs.endLine),
+    )
+    // 倒序替换（审查 P2 修正，2026-10-09-verify-papercuts）：mergeProbeSection 对含 stale
+    // 键的段会在段尾追加（行数 > freshSeg），正序 splice 会使后续探针段 startLine 错位——
+    // 从后往前替换则前面行号不受影响，任一段行数膨胀都安全。
+    carriedRows += merged.carried
+    // 用 merged 文本替换 fresh 容器中该探针段（逐段行数已知，从后往前替换保行号稳定）
+    const freshSeg = freshParsed.lines.slice(fs.startLine, fs.endLine)
+    out.splice(fs.startLine, freshSeg.length, ...merged.text.split('\n'))
+  }
+  const freshNums = new Set(freshParsed.sections.map(s => s.num))
+  for (const os of oldParsed.sections) {
+    if (!freshNums.has(os.num)) {
+      out.push('', ...oldParsed.lines.slice(os.startLine, os.endLine))
+    }
+  }
+  return { text: out.join('\n'), carriedRows }
+}
+
+/**
+ * --force 应用骨架：机器段全量重刷 + 人工面携载（纯函数，导出供回归直测）。
+ * @param {string} existingText 现文（含已填人工面）
+ * @param {string} skeletonText generateVerifyResultSkeleton 新骨架
+ * @returns {{ text: string, carriedSections: string[], carriedRows: number }}
+ */
+export function applySkeletonPreservingHuman(existingText, skeletonText) {
+  const old = splitTopSections(existingText)
+  const fresh = splitTopSections(skeletonText)
+  const oldByKey = new Map()
+  for (const s of old.sections) {
+    const k = topSectionKey(s.headingLine)
+    if (!oldByKey.has(k)) oldByKey.set(k, s) // 同键段取首个（重复标题形态保首段）
+  }
+  const carriedSections = []
+  let carriedRows = 0
+  const out = []
+  let cursor = 0
+  for (const fs of fresh.sections) {
+    // 骨架段前的行原样带过
+    for (; cursor < fs.startLine; cursor++) out.push(fresh.lines[cursor])
+    const k = topSectionKey(fs.headingLine)
+    const os = oldByKey.get(k)
+    const freshSeg = fresh.lines.slice(fs.startLine, fs.endLine)
+    if (!os) {
+      out.push(...freshSeg)
+    } else if (HUMAN_SECTION_KEYS.includes(k)) {
+      const oldSeg = old.lines.slice(os.startLine, os.endLine)
+      if (/<待填|<!--TODO/.test(oldSeg.join('\n'))) {
+        out.push(...freshSeg) // 未填 → 换新骨架占位
+      } else {
+        out.push(...oldSeg) // 已填 → 原样保留
+        carriedSections.push(k)
+      }
+    } else if (MATRIX_SECTION_KEYS.includes(k)) {
+      const merged = mergeProbeSection(old.lines.slice(os.startLine, os.endLine), freshSeg)
+      carriedRows += merged.carried
+      out.push(...merged.text.split('\n'))
+      if (merged.carried > 0) carriedSections.push(k)
+    } else if (k === PROBE_CONTAINER_KEY) {
+      const merged = mergeProbeContainer(old.lines.slice(os.startLine, os.endLine), freshSeg)
+      carriedRows += merged.carriedRows
+      out.push(...merged.text.split('\n'))
+      if (merged.carriedRows > 0) carriedSections.push(k)
+    } else {
+      out.push(...freshSeg) // 机器段（探针概览/接口声明等）→ 新骨架
+    }
+    cursor = fs.endLine
+    oldByKey.delete(k)
+  }
+  for (; cursor < fresh.lines.length; cursor++) out.push(fresh.lines[cursor])
+  // 旧文独有段（用户自定义节）追加保留
+  if (oldByKey.size > 0) {
+    out.push('')
+    for (const [, s] of oldByKey) {
+      out.push(...old.lines.slice(s.startLine, s.endLine))
+    }
+  }
+  return { text: out.join('\n'), carriedSections, carriedRows }
+}

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} 内容变更`));
     }

package/src/wt-commit.js

@@ -17,7 +17,7 @@
  *
  * 成功返回 HEAD hash（review.json 的 head 锚点直接可用）；无变更 → ok=true + skipped。
  */
-import { join, resolve } from 'node:path'
+import { join, resolve, relative, sep, basename, dirname } from 'node:path'
 import { existsSync, readFileSync } from 'node:fs'
 import { withFileLock } from './quicklog.js'
 import { safeGit } from './git-helper.js'
@@ -55,6 +55,48 @@ async function gitWithLockRetry(cwd, args, label, { retries = 6, waitMs = 1000 }
  * @returns {Promise<{ok:boolean,skipped:boolean,head:string,shortHead:string,worktreePath:string,changeName:string,files:string[]}>}
  *   ok=false 时抛错（调用方打错误 + exit 1），skipped=无变更可提交（HEAD 不动，不算失败）。
  */
+/**
+ * 从 cwd 推断变更名（wt-commit 免 --change 通道；FR-08 / D-006@v1）。
+ * 跨仓 worktree 名 <change>--<repoKey>——仅当后缀命中 repos 注册表（worktrees 上两级
+ * local.yaml）且剥出候选是已知变更目录才剥（不猜切分）；全段命中主仓已知变更不剥（防
+ * 变更真名恰以 --repoKey 结尾）；均不中 → 原样透传（现状行为，调用方自然报错引导
+ * 显式 --change）。导出供三态回归直测（index.js dispatch 内联形态不可测——独立审查指出的
+ * 验证面缺口）。
+ */
+export async function inferChangeFromWorktreeCwd(dir) {
+  // 深路径归一（FR-08）：cwd 可能在 worktree 内多层深处——specBase 推导须从 worktree 根起算。
+  // 找 'worktrees' 目录段在原路径中的位置，根 = 该段后第一段截尾；specBaseGuess = 根上溯
+  // 三级（worktrees → .runtime → .sillyspec 的父，即主仓 specBase）。
+  const s = String(dir)
+  const norm = s.split('\\').join('/')
+  const wtIdx = norm.lastIndexOf('/worktrees/')
+  let seg = null
+  let specBaseGuess = null
+  if (wtIdx !== -1) {
+    const rest = norm.slice(wtIdx + '/worktrees/'.length)
+    const rootRel = rest.split('/')[0]
+    seg = rootRel || null
+    const rootNorm = norm.slice(0, wtIdx + '/worktrees/'.length + rootRel.length)
+    specBaseGuess = rootNorm.split('/').slice(0, -3).join('/')
+  }
+  if (seg && seg.includes('--')) {
+    try {
+      if (specBaseGuess) {
+        const knownWhole = existsSync(join(specBaseGuess, 'changes', seg))
+        const dash = seg.lastIndexOf('--')
+        const cand = seg.slice(0, dash)
+        const suffix = seg.slice(dash + 2)
+        if (!knownWhole && cand && /^[A-Za-z0-9_.-]+$/.test(suffix)) {
+          const { parseRepoRegistry } = await import('./stages/plan-postcheck.js')
+          const reg = parseRepoRegistry(readFileSync(join(specBaseGuess, 'local.yaml'), 'utf8'))
+          if (reg.has(suffix) && existsSync(join(specBaseGuess, 'changes', cand))) seg = cand
+        }
+      }
+    } catch { /* 注册表不可读 → 原样透传（fail-safe） */ }
+  }
+  return seg
+}
+
 export async function runWtCommit({ changeName, message, pathspecs = [], pathspecFile = null, cwd = process.cwd() }) {
   if (!changeName) throw new Error('缺少 --change <变更名>（worktree 名；在 worktree 内运行时可省略，CLI 从 cwd 推断）')
   if (!message || !message.trim()) throw new Error('缺少 -m/--message <提交信息>（建议 "<task-NN 摘要>"）')
@@ -77,10 +119,47 @@ export async function runWtCommit({ changeName, message, pathspecs = [], pathspe
   // 隔离模式（worktree 目录存在）→ 提交目标 = worktree 本体；in-place-fallback（meta 声明无
   // worktree 直改主仓）→ 主仓根（与 MultiRepoContext 主仓 entry 的 worktreePath 兜底口径一致）。
   // 顺序先看目录再看 meta：worktree 目录存在即隔离态，meta 缺失/损坏不改变目标（fail-safe）。
+  // FR-08（2026-10-09-verify-reuse-friction / D-006@v1）：cwd 已在本变更的 worktree 内 →
+  // 提交目标=该 worktree 本体。跨仓 worktree 名 <change>--<repoKey> 不在 getWorktreePath
+  // 的主仓命名域（原路径必落「worktree 不存在」错）；主仓 worktree 场景与原值同目录零漂移。
+  // 归属校验（不猜）：worktree 根段 === changeName，或 === changeName--<注册repoKey>（repos
+  // 注册表读自 worktreeBase 上两级的 local.yaml；注册表不可读 → 只认精确名，fail-safe）。
   let target = null
-  if (existsSync(worktreePath)) {
+  {
+    // 基座发现（目录事实）：优先 wm.worktreeBase（主仓）；cwd 不在其下时向上找名为 worktrees
+    // 的目录作基座（跨仓 worktree 是跨仓仓的 git worktree，WorktreeManager 从其 cwd 算不出
+    // 主仓基座——跨仓 worktree 的父目录本身就是 worktrees 基座）。
+    let base = resolve(wm.worktreeBase)
+    {
+      let d = resolve(cwd)
+      for (;;) {
+        if (dirname(d) === base) break
+        const parent = dirname(d)
+        if (basename(parent) === 'worktrees') { base = parent; break }
+        if (parent === d) break
+        d = parent
+      }
+    }
+    const cwdAbs = resolve(cwd)
+    if (cwdAbs.startsWith(base + sep)) {
+      const wtRoot = relative(base, cwdAbs).split(sep)[0]
+      let own = wtRoot === changeName
+      if (!own && wtRoot.startsWith(changeName + '--')) {
+        const suffix = wtRoot.slice(changeName.length + 2)
+        if (suffix && /^[A-Za-z0-9_.-]+$/.test(suffix)) {
+          try {
+            const { parseRepoRegistry } = await import('./stages/plan-postcheck.js')
+            const reg = parseRepoRegistry(readFileSync(join(base, '..', '..', 'local.yaml'), 'utf8'))
+            own = reg.has(suffix)
+          } catch { own = false }
+        }
+      }
+      if (own && existsSync(join(base, wtRoot))) target = join(base, wtRoot)
+    }
+  }
+  if (!target && existsSync(worktreePath)) {
     target = worktreePath
-  } else {
+  } else if (!target) {
     const meta = wm.getMeta(changeName)
     if (meta && meta.mode === 'in-place-fallback') {
       target = resolve(wm.worktreeBase, '..', '..', '..') // <main>/.sillyspec/.runtime/worktrees → <main>