sillyspec 3.32.2 → 3.32.4

package/src/scope-audit.js

@@ -237,12 +237,26 @@ function resolveDiffRoot(sb, changeName, form, cwd) {
 }
 
 /**
- * execute --done 时点快照读取（归档记录态数据源）：结构即 computeFullFlowAudit 返回值 +
- * savedAt。读取链（quick-359a48f1）：变更目录 scope-audit.json（审计级，随归档入库）→
- * .runtime/scope-audit-<change>.json（存量兼容）→ null（调用方降级，不出伪数据）。
+ * 收口时点快照读取（归档记录态数据源）：结构即 computeFullFlowAudit 返回值 + savedAt。
+ * 读取链（2026-10-09-close-trace-single-set）：变更目录 change-patch.json 的 scopeAudit
+ * 子对象（单套新形态——顶级 patchSha256/patchStatus/savedAt 原位注入返回值，下游回放
+ * 注记与 getFileDiff 防篡改锚口径不变）→ 旧 scope-audit.json（存量归档）→ .runtime/
+ * scope-audit-<change>.json（更早存量兼容）→ null（调用方降级，不出伪数据）。
  */
 function readScopeSnapshot(changeDir, runtimeRoot, changeName) {
   if (changeDir) {
+    try {
+      const merged = JSON.parse(readFileSync(join(changeDir, 'change-patch.json'), 'utf8'))
+      if (merged && typeof merged === 'object' && merged.scopeAudit && typeof merged.scopeAudit === 'object'
+        && Array.isArray(merged.scopeAudit.rows)) {
+        return {
+          ...merged.scopeAudit,
+          ...(merged.patchSha256 ? { patchSha256: merged.patchSha256 } : {}),
+          ...(merged.patchStatus ? { patchStatus: merged.patchStatus } : {}),
+          ...(merged.savedAt ? { savedAt: merged.savedAt } : {}),
+        }
+      }
+    } catch { /* 新形态缺失/损坏 → 旧名兜底 */ }
     try {
       const snap = JSON.parse(readFileSync(join(changeDir, 'scope-audit.json'), 'utf8'))
       if (snap && typeof snap === 'object' && Array.isArray(snap.rows)) return snap
@@ -255,18 +269,6 @@ function readScopeSnapshot(changeDir, runtimeRoot, changeName) {
   return null
 }
 
-/**
- * 冻结 patch 读取（审计级存储，--file 已收尾切片的数据源）：变更目录 scope-audit.patch。
- * @returns {string|null}
- */
-function readFrozenPatch(changeDir) {
-  if (!changeDir) return null
-  try {
-    const text = readFileSync(join(changeDir, 'scope-audit.patch'), 'utf8')
-    return text && text.trim() ? text : null
-  } 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
@@ -846,10 +848,19 @@ async function computeFullFlowAudit({ cwd, specBase, changeName, platformOpts, c
   // 审查 C-F02：预执行判定必须排除归档（归档=流程走完，58/77 归档变更三信号全缺被误判
   // 「未执行」实证——tag 只在分支被 review 引用时才打）+ 补四类证据：快照文件本身 /
   // execute-runs change 戳（task-review readExecuteRunChangeStamp 同口径）/ apply-pathspec /
-  // execute-cleanup 回执。任一命中 = 进过 execute。
-  const hasSnapshotFile = changeDirInfo
-    ? existsSync(join(changeDirInfo.dir, 'scope-audit.json')) || existsSync(join(runtimeRoot, `scope-audit-${changeName}.json`))
-    : existsSync(join(runtimeRoot, `scope-audit-${changeName}.json`))
+  // execute-cleanup 回执。任一命中 = 进过 execute。快照存在性（2026-10-09-close-trace-
+  // single-set）：新形态读 change-patch.json 的 scopeAudit 子对象（非文件裸存在——旧 thin
+  // 冻结件无子对象不误判），旧形态 scope-audit.json / .runtime 快照照旧。
+  const hasMergedScopeAudit = changeDirInfo ? (() => {
+    try {
+      const merged = JSON.parse(readFileSync(join(changeDirInfo.dir, 'change-patch.json'), 'utf8'))
+      return !!(merged && typeof merged === 'object' && merged.scopeAudit && typeof merged.scopeAudit === 'object')
+    } catch { return false }
+  })() : false
+  const hasSnapshotFile = hasMergedScopeAudit
+    || (changeDirInfo
+      ? existsSync(join(changeDirInfo.dir, 'scope-audit.json')) || existsSync(join(runtimeRoot, `scope-audit-${changeName}.json`))
+      : existsSync(join(runtimeRoot, `scope-audit-${changeName}.json`)))
   const hasApplyPathspec = existsSync(join(runtimeRoot, `apply-pathspec-${changeName}.txt`))
   const hasCleanupReceipt = existsSync(join(runtimeRoot, `execute-cleanup-${changeName}.json`))
   let hasExecuteRunStamp = false
@@ -1575,19 +1586,34 @@ export async function getFileDiff({ cwd, specBase, changeName, platformOpts, fil
     }
 
     // —— 真·当时内容比对（quick-359a48f1）：已收尾变更优先冻结 patch 切片 ——
-    // ① quick 记录态自带 frozenPatchPath；② full-flow 变更目录 scope-audit.patch。
+    // ① quick 记录态自带 frozenPatchPath；② full-flow 变更目录 change.patch（单套新形态，
+    // 2026-10-09-close-trace-single-set）→ scope-audit.patch（存量 heavy 归档兜底）。
     // patch 冻结在收尾时点，不含后续演进——实时锚 diff 只作 patch 缺失的兜底（口径标注）。
     // A-F01：读取时按 json 记录的 patchSha256 校验，不匹配显式告警（防低级篡改）。
     const patchRecord = result.frozenPatchPath
       ? { path: result.frozenPatchPath, sha: result.patchSha256 || null }
-      : (() => { const d = resolveChangeDir(sb, changeName); return d ? { path: join(d.dir, 'scope-audit.patch'), sha: null } : null })()
+      : (() => {
+          const d = resolveChangeDir(sb, changeName)
+          if (!d) return null
+          for (const name of ['change.patch', 'scope-audit.patch']) {
+            const p = join(d.dir, name)
+            if (existsSync(p)) return { path: p, sha: null }
+          }
+          return null
+        })()
     let recordedSha = patchRecord ? patchRecord.sha : null
     if (patchRecord && !recordedSha && result.rows) {
-      // json 里未直接带回 hash（记录态捷径不透传）→ 读 json 原文取（快照/quick 记录都存该字段）
+      // json 里未直接带回 hash（记录态捷径不透传）→ 读 json 原文取（快照/quick 记录都存该
+      // 字段）。full-flow 伴生 json：change-patch.json（新形态顶级键）优先，旧形态 heavy
+      // 归档（无 change-patch.json）兜底读 scope-audit.json。
       try {
-        const snapRaw = JSON.parse(readFileSync(result.frozenPatchPath
+        const d = resolveChangeDir(sb, changeName)
+        const companionPath = result.frozenPatchPath
           ? result.frozenPatchPath.replace(/\.patch$/, '.json')
-          : join(resolveChangeDir(sb, changeName).dir, 'scope-audit.json'), 'utf8'))
+          : (d && existsSync(join(d.dir, 'change-patch.json'))
+              ? join(d.dir, 'change-patch.json')
+              : join(d.dir, 'scope-audit.json'))
+        const snapRaw = JSON.parse(readFileSync(companionPath, 'utf8'))
         recordedSha = snapRaw.patchSha256 || null
       } catch { /* json 不可读 → 无 hash 可校验（null=不校验） */ }
     }

package/src/spec-sync.js

@@ -463,6 +463,94 @@ function clearSpecConflictMarker(specRoot, changeName) {
   } catch { /* 清理失败不影响同步结果 */ }
 }
 
+// ── 2026-10-09-tombstone-conflict-root-fix FR-01：纯墓碑拒收按被删变更归因记账 ──
+// 背景（91 条实证）：整树同步被墓碑整批拒收时按「当轮同步标签」落冲突文件——一个
+// 根因（changes/salv 两路径）伪装成 91 个变更的冲突；该批变更归档后永不再以同名
+// 同步成功，clearSpecConflictMarker 永远轮不到 → 记录单调累积。归因记账：从
+// platform_deleted 路径剥被删变更名（真凶），每被删变更一条记录幂等维护。
+
+/**
+ * 从 platform_deleted 路径剥被删变更名：活跃区 changes/<name>/… 与归档区
+ * changes/archive/<name>/… 两前缀；剥不出的路径归 __unattributed__ 聚合桶
+ * （正常不出现——守卫只对 changes/ 前缀写墓碑；出现即提示人工核查）。
+ */
+export function extractTombstonedChanges(platformDeleted) {
+  const byChange = new Map();
+  for (const p of platformDeleted) {
+    let name = '__unattributed__';
+    const m = typeof p === 'string' ? p.match(/^changes\/(?:archive\/)?([^/]+)\//) : null;
+    if (m) name = m[1];
+    const list = byChange.get(name) || [];
+    list.push(p);
+    byChange.set(name, list);
+  }
+  return byChange;
+}
+
+/**
+ * 归因记账落盘（幂等合并）：spec-sync-conflict-<被删变更>.json，created_at 首见
+ * 保持、platform_deleted 路径并集、last_seen 每轮刷新；kind='tombstone' 供
+ * progress show / daemon 摘要按形态区分（stage-machine 优先读 kind 透传 type）。
+ * 返回 { byChange, written } 供横幅单根因叙事。
+ */
+export function writeTombstoneAttribution(specRoot, platformDeleted) {
+  const byChange = extractTombstonedChanges(platformDeleted);
+  const written = [];
+  for (const [name, paths] of byChange) {
+    const filePath = join(specRoot, '.runtime', `spec-sync-conflict-${name}.json`);
+    let prev = null;
+    try { prev = JSON.parse(readFileSync(filePath, 'utf8')); } catch { /* 首见 */ }
+    const record = {
+      change: name,
+      kind: 'tombstone',
+      created_at: (prev && prev.created_at) || new Date().toISOString(),
+      last_seen: new Date().toISOString(),
+      server_versions: {},
+      conflicting_paths: [],
+      platform_deleted: [...new Set([...((prev && prev.platform_deleted) || []), ...paths])],
+      note: '路径被平台删除墓碑拒收（非版本冲突，resolve 重推无效）。恢复通道：平台 manifest-heal 清墓碑后重推；或平台删除变更时 tombstone_cleanup 收敛本机目录（.runtime/tombstone-quarantine/ 隔离区）。',
+    };
+    try {
+      mkdirSync(join(specRoot, '.runtime'), { recursive: true });
+      writeFileSync(filePath, JSON.stringify(record, null, 2) + '\n', 'utf8');
+      written.push(filePath);
+    } catch (e) {
+      console.warn(`[spec-sync] 墓碑冲突文件写入失败（信息仅打印）: ${e.message}`);
+    }
+  }
+  return { byChange, written };
+}
+
+/**
+ * 全绿同步清陈旧纯墓碑记录（2026-10-09 FR-01）：判定式 = conflicting_paths 为空
+ * 且 platform_deleted 非空（kind 无关——覆盖 kind:'tombstone'、现行 kind:'spec-tree'
+ * 纯墓碑与存量旧格式 91 条）；混合形态（conflicting_paths 非空）永不清理。返回
+ * 清理条数。挂在两个全绿点：POST 成功无冲突分支与无差异跳过分支。
+ */
+export function clearStaleTombstoneMarkers(specRoot) {
+  const runtimeDir = join(specRoot, '.runtime');
+  let files = [];
+  try { files = readdirSync(runtimeDir); } catch { return 0; }
+  let cleared = 0;
+  for (const f of files) {
+    if (!f.startsWith('spec-sync-conflict-') || !f.endsWith('.json')) continue;
+    const p = join(runtimeDir, f);
+    try {
+      const j = JSON.parse(readFileSync(p, 'utf8'));
+      const cp = Array.isArray(j.conflicting_paths) ? j.conflicting_paths : null;
+      const pd = Array.isArray(j.platform_deleted) ? j.platform_deleted : null;
+      if (cp !== null && cp.length === 0 && pd !== null && pd.length > 0) {
+        unlinkSync(p);
+        cleared++;
+      }
+    } catch { /* 损坏文件不动 */ }
+  }
+  if (cleared > 0) {
+    console.log(`[spec-sync] 全绿同步清理 ${cleared} 条陈旧墓碑冲突记录（被删变更已收敛）`);
+  }
+  return cleared;
+}
+
 // follower/stale 提示的跨轮去重（坑 spec-sync-follow-banner-spam，2026-09-08 用户反馈③）：
 // 「N 个本地未改动文件自动跟随服务器」的信息只在集合**首次出现/变化**时有价值。基线快照锚定
 // local-at-last-sync（见 writeBaseSnapshot 注释），本地落后于服务器的文件每轮都重新算出同样的
@@ -584,6 +672,7 @@ export async function syncSpecTree(specRoot, platform, changeName, opts = {}) {
 
   if (ops.length === 0) {
     debugLog(`[spec-sync] 无差异，跳过同步: ${changeName}`);
+    clearStaleTombstoneMarkers(specRoot);
     return { synced: 0 };
   }
 
@@ -634,27 +723,15 @@ export async function syncSpecTree(specRoot, platform, changeName, opts = {}) {
       // 纯墓碑形态：版本冲突面为空、拒收全是墓碑 → 不写/不清通用冲突标记（clear 会把
       // 状态洗成「已消解」误导 status），单独落冲突文件 + 正确恢复指引。
       if (realPaths.length === 0 && tombstoned.length > 0) {
-        let tombConflictPath = null;
-        try {
-          const runtimeDir = join(specRoot, '.runtime');
-          mkdirSync(runtimeDir, { recursive: true });
-          tombConflictPath = join(runtimeDir, `spec-sync-conflict-${changeName}.json`);
-          writeFileSync(tombConflictPath, JSON.stringify({
-            change: changeName,
-            kind: 'spec-tree',
-            created_at: new Date().toISOString(),
-            server_versions: {},
-            conflicting_paths: [],
-            platform_deleted: tombstoned,
-            note: '路径被平台删除墓碑拒收（非版本冲突，resolve 重推无效）。恢复通道：平台 manifest-heal 清墓碑后重推，或联系管理员确认删除是否有意。',
-          }, null, 2) + '\n', 'utf8');
-        } catch (e) {
-          console.warn(`[spec-sync] 墓碑冲突文件写入失败（信息仅打印）: ${e.message}`);
-        }
+        // 归因记账（2026-10-09 FR-01）：按被删变更落 spec-sync-conflict-<被删变更>.json
+        // （不再用当轮同步标签——91 条累积根因），幂等合并；横幅按被删变更单根因叙事。
+        const { byChange, written } = writeTombstoneAttribution(specRoot, tombstoned);
         console.warn('');
-        console.warn(`⚠️ [spec-sync] ${tombstoned.length} 个路径被平台删除墓碑拒收（非版本冲突，resolve --keep-local 重推无效）: ${tombstoned.slice(0, 5).join(', ')}${tombstoned.length > 5 ? ' 等' : ''}`);
-        console.warn(`⚠️ 恢复通道：平台 manifest-heal（清墓碑后重推即闭环）；详情: ${tombConflictPath || '(写入失败)'}`);
-        return { synced: 0, conflict: true, serverVersions: {}, tombstoned, conflictPath: tombConflictPath };
+        for (const [name, paths] of byChange) {
+          console.warn(`⚠️ [spec-sync] 变更 ${name} 被平台删除墓碑拒收（${paths.length} 个路径，非版本冲突，resolve --keep-local 重推无效）: ${paths.slice(0, 5).join(', ')}${paths.length > 5 ? ' 等' : ''}`);
+        }
+        console.warn(`⚠️ 恢复通道：平台 manifest-heal（清墓碑后重推即闭环）或 tombstone_cleanup 收敛本机目录；详情: ${written.join(', ') || '(写入失败)'}`);
+        return { synced: 0, conflict: true, serverVersions: {}, tombstoned, conflictPath: written[0] || null, tombstonedChanges: [...byChange.keys()] };
       }
       const tombNote = tombstoned.length > 0
         ? `\n⚠️ 另有 ${tombstoned.length} 个路径被平台删除墓碑拒收（非版本冲突，resolve 无效；恢复走平台 manifest-heal）: ${tombstoned.slice(0, 5).join(', ')}${tombstoned.length > 5 ? ' 等' : ''}`
@@ -717,6 +794,7 @@ export async function syncSpecTree(specRoot, platform, changeName, opts = {}) {
     // 本轮无冲突 = 此前的未决 spec 树冲突已不存在，清残留标记（否则 status 永久红标、
     // 横幅去重单行提示不消——坑 spec-sync-conflict-banner-spam）
     clearSpecConflictMarker(specRoot, changeName);
+    clearStaleTombstoneMarkers(specRoot);
     writeLastSyncTs(specRoot);
     writeBaseSnapshot(specRoot, localFiles);
     return { synced: ops.length };

package/src/stages/brainstorm.js

@@ -220,6 +220,7 @@ sillyspec flow start --change <YYYY-MM-DD-名> --input "<动机与背景>
 3. 定稿前机制词检索（固定动作）：方案引入新机制词（如 分类/词表/枚举/门/协议/状态机——例词为举例非机制，不构成封闭清单）时，先跑 \`sillyspec knowledge search --query "<机制词>"\`，命中条目必读（尤其 status=rejected 的防复潮条目）再定稿方案
 4. 给出推荐方案和理由
 5. 用户选定方案后，把选择结果**当场追加**到 \`{SPEC_ROOT}/changes/<change-name>/decisions.md\`（增量落盘规则同「对话式探索」步：目录/文件缺失先创建、按 D-xxx@vN 判重）：type 用 architecture、source 用 user、question 记方案取舍问题、answer 记用户所选方案与理由要点、evidence 记方案选择轮次——方案选择是本变更最关键的用户决策，必须随答随落盘，不能只留在对话里
+6. 落选方案**各记一条 rejected 条目**（防复潮——蒸馏链 rejected 通道与 knowledge 否决注入只认独立条目，落选理由埋在所选方案 answer 散文里进不了通道）：question 复用同一取舍问句，type 用 architecture、status 用 rejected，否决理由记该方案当轮的劣势与成本，复潮条件记劣势消解或成本反转的前提（如「依赖 X 下线」「改动面降到 Y 以下」）——两字段必填性见「写设计文档」步对账规则
 
 ### 铁律 — 必须等待用户选择方案
 - 列出方案对比表和推荐后必须暂停等用户选择，**不要自己说"推荐方案 A"然后当用户选了**（命令由 CLI 在下方注入）
@@ -382,7 +383,7 @@ design.md 第一行标题必须用中文：# 设计文档（Design）— <变更
    - decisions.md 是本次变更的决策台账，不是长期术语表
    - 只记录有实现/验收影响的决策，闲聊和低风险偏好不记录
    - 已落盘条目按 D-xxx@vN 判重，不重复追加；补全缺失的九字段与可选字段
-   - 前序遗漏未落盘、确有实现影响的决策（增量规则漏网的），此时补写；每条记录必须有稳定版本 ID：D-001@v1、D-002@v1 ...
+   - 前序遗漏未落盘、确有实现影响的决策（增量规则漏网的），此时补写；每条记录必须有稳定版本 ID：D-001@v1、D-002@v1 ...；放弃方案属此类——「提出方案」步的落选方案若未各记 rejected 条目（否决理由/复潮条件必填），此时补记
    - 若后续 Design Grill 修正该决策，新记录使用 D-001@v2，并写明 supersedes: D-001@v1
    - 每条记录必须包含：type、status、source、question、answer、normalized_requirement、impacts、evidence、priority
    - 九字段之外可另加四个可选字段，按需填写、不强制全填（旧格式决策记录缺这些字段不受影响）：

package/src/stages/cmd-existence.js

@@ -18,7 +18,11 @@ import { join, isAbsolute } from 'path'
 // 提取 `npm|pnpm|yarn run <script>` 命令。
 // 对齐 scan-postcheck:136 的 `/npm run (\S+)/g`，扩展包管理器 + 容忍多空白。
 // 捕获组 1 = 包管理器（npm|pnpm|yarn），捕获组 2 = script 名。
-const SCRIPT_CMD_RE = /(npm|pnpm|yarn)\s+run\s+(\S+)/g
+// script 名收敛为合法字符集（2026-10-09-verify-papercuts ①）：原 \S+ 会把紧跟的全角标点
+// （；。，等）/句读拼进 script 名——『verify: npm run test；模块卡 diff 一致』被提取为
+// script=test；模块卡 → 误报「命令不存在」逼 agent 改写法（plan postcheck 实证多跑 3 轮）。
+// npm script 名本身只含字母数字与 : _ - .，按此截断即安全（&& / | / 全角标点自然止步）。
+const SCRIPT_CMD_RE = /(npm|pnpm|yarn)\s+run\s+([A-Za-z0-9:_.\-]+)/g
 
 // 识别紧贴命令前的 `cd <subdir> &&` 前缀（anchored at end of the slice before the command）。
 // subdir token 不含空白与 & ; | 等分隔符；末尾的 `&&` 可带任意空白后接命令。

package/src/test-bindings.js

@@ -157,6 +157,8 @@ export function normalizeRow(row, opts = {}) {
     confirmed_at: row.confirmed_at && row.confirmed_at !== 'null' ? row.confirmed_at : null,
     reconfirm: ['unchanged', 'rebound'].includes(row.reconfirm) ? row.reconfirm : null,
     status: row.status === 'superseded' ? 'superseded' : 'active',
+    // FR-06（2026-10-09-verify-reuse-friction）：行 repo 归属（additive，缺省不落键=主仓）
+    ...(row.repo && row.repo !== 'main' ? { repo: String(row.repo) } : {}),
     source_change: row.source_change && row.source_change !== 'null' ? row.source_change : null,
   }
 }

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`)