sillyspec 3.28.9 → 3.28.10

package/src/verify-postcheck.js

@@ -28,9 +28,10 @@ import { IR_STRICT_SINCE } from './constants.js'
 import { gitQuiet } from './git-helper.js'
 import { existsSync, mkdirSync, readFileSync, writeFileSync, readdirSync, statSync } from 'fs'
 import { join } from 'path'
-import { verifyApiParity } from './contract-matrix.js'
+import { verifyApiParity, _readWorktreeMeta } from './contract-matrix.js'
+import { reconcileCrossRepoDeclarations } from './cross-repo-reconcile.js'
 import { parseFileChangeListDetailed, pathMatches } from './change-list.js'
-import { filterDeliverableFiles } from './worktree-apply.js'
+import { filterDeliverableFiles, classifyToolScaffold } from './worktree-apply.js'
 // target_files 声明侧解析（Wave 1 已落地）：依赖链已核实无环——plan-postcheck 不反向依赖本模块，
 // 且本模块已经 worktree-apply.js:21 间接依赖 plan-postcheck，此处改直连不引入新环（task-04）
 import { parseTargetFiles, parseRepo } from './stages/plan-postcheck.js'
@@ -605,6 +606,46 @@ function parseFlowValue(flowText, key) {
   return v.length > 0 ? v : null
 }
 
+/**
+ * module 子集测试面的依赖测试自动发现（坑 module-test-face-rot，2026-09-16 本会话 5325f55
+ * 实证：local.yaml modules 的 test 命令是硬编码文件清单，src/verify-probes.js 命中 cli-core
+ * 但其断言测试 verify-probes-facts.test.mjs 不在清单 → quick --done 的 module 收窄实测漏掉
+ * 全量断言，回归漏到合并态才暴露）。发现口径：变更 src 文件的**直接 import 测试**（test/
+ * 下 *.test.* 内含 `../src/<changed>` 引用——静态/动态 import 通吃，子串匹配只可能多跑不漏）
+ * ∪ 变更的 test 文件本身；已被命中模块命令串覆盖的（命令串含该文件名）排除防重复。
+ * @param {{cwd: string, changedFiles: string[], coveredCommands?: string[]}} args
+ * @returns {string[]} 相对 cwd 的测试文件路径（posix 形态，已排序；无可发现 → []）
+ */
+export function discoverModuleDependentTests({ cwd, changedFiles, coveredCommands = [] }) {
+  if (!Array.isArray(changedFiles) || changedFiles.length === 0) return []
+  const norm = (p) => String(p).replace(/\\/g, '/')
+  const changedSrc = [...new Set(changedFiles.map(norm))]
+    .filter(p => p.startsWith('src/') && /\.(js|mjs|cjs|ts)$/.test(p))
+  const changedTests = [...new Set(changedFiles.map(norm))]
+    .filter(p => /^test\//.test(p) && /\.test\.[cm]?js$/.test(p))
+  if (changedSrc.length === 0 && changedTests.length === 0) return []
+  const covered = coveredCommands.filter(Boolean).join(' ')
+  const found = new Set()
+  const testDir = join(cwd, 'test')
+  let entries = []
+  try { entries = readdirSync(testDir) } catch { entries = [] }
+  for (const f of entries) {
+    if (!/\.test\.[cm]?js$/.test(f)) continue
+    if (covered.includes(f)) continue
+    let content = ''
+    try { content = readFileSync(join(testDir, f), 'utf8') } catch { continue }
+    for (const src of changedSrc) {
+      if (content.includes(`../${src}`)) { found.add(`test/${f}`); break }
+    }
+  }
+  for (const t of changedTests) {
+    const fname = t.split('/').pop()
+    if (covered.includes(fname)) continue
+    if (existsSync(join(cwd, t))) found.add(t)
+  }
+  return [...found].sort()
+}
+
 /**
  * 根据变更文件列表 + modules 映射，算出被命中的模块（去重保序）。
  * 文件路径以 module.path 为前缀（含子目录）即视为命中。
@@ -1049,20 +1090,20 @@ export function resolveVerifyChangedFiles(cwd, changeName, ctx = null, opts = {}
 
   // 并入 worktree 未提交改动（坑 module-subset-zero-hit-uncommitted，2026-08-21 实证：
   // 子代理默认不 commit，真实改动全在 worktree working-tree——只看 base..HEAD commit diff
-  // 时 module 映射 0 命中直接跳过（frontend/** 变更未命中 frontend 模块）。与
-  // generateTaskReviewDrafts 的并入口径同源：meta.worktreePath 下 status --porcelain 文件
+  // 时 module 映射 0 命中直接跳过（frontend/** 变更未命中 frontend 模块）。口径与
+  // collectWorktreeChangedFiles（task-review.js，D-004@v1 单一真相 helper）同源，但本段是
+  // form A 专属变体（滤网保 .sillyspec/docs/** 交付物）——已知残留 R-09，待下次触碰统一。
   // （排除 .sillyspec/ 运行时产物）。opt-in（默认关）：d drafts 有自己的并入点，避免双并。
   if (includeWorkingTree && mainFiles !== null) {
     try {
-      // P1 修复（2026-09-07）：metaPath 吃 opts.specBase——此前硬编码 join(cwd,'.sillyspec')，
-      // 平台模式（specRoot 与 source_root 分离）下 worktree meta 静默读不到 → 形态 A 并入失效 → ②类假红。
-      // 与下方 resolveMainChangedFiles 的 specBase 兜底同口径。
-      const metaPath = join(opts.specBase || join(cwd, '.sillyspec'), '.runtime', 'worktrees', changeName, 'meta.json')
-      if (changeName && existsSync(metaPath)) {
-        const meta = JSON.parse(readFileSync(metaPath, 'utf8'))
-        const wtGitDir = (meta.worktreePath && meta.mode !== 'in-place-fallback' && existsSync(meta.worktreePath))
-          ? meta.worktreePath
-          : cwd
+      // 双根读取（坑 platform-dual-root-form-misjudge，2026-09-15 复盘实证）：P1 修复
+      // （2026-09-07）只吃 opts.specBase 单路径——平台模式（specRoot 与 source_root 分离）下
+      // meta 若落项目侧 .sillyspec/.runtime（resolveRuntimeRoot 的 localSpecBase 兜底形）仍读
+      // 不到 → 形态 A 并入失效 → ②类假红。_readWorktreeMeta 双候选（specBase 优先 +
+      // cwd/.sillyspec 兜底，contract-matrix 既有样板）两形全覆盖。
+      const found = changeName ? _readWorktreeMeta(opts.specBase || null, cwd, changeName) : null
+      if (found) {
+        const wtGitDir = found.gitDir
         const wtStatus = gitQuiet(wtGitDir, ['status', '--porcelain', '--untracked-files=all'], { timeout: 30000, trim: false })
         // P1 修复（2026-09-07）：过滤器改 filterDeliverableFiles 口径（worktree-apply.js 同款）——
         // 此前 `.sillyspec/` 一刀切把 docs 交付物也滤掉，声明了模块文档的 task 在形态 A 下落②类假红
@@ -1152,16 +1193,16 @@ export function resolveVerifyChangedFiles(cwd, changeName, ctx = null, opts = {}
 function resolveMainChangedFiles(cwd, changeName, specBase = null) {
   const sb = specBase || join(cwd, '.sillyspec')
   if (changeName) {
-    const metaPath = join(sb, '.runtime', 'worktrees', changeName, 'meta.json')
-    if (existsSync(metaPath)) {
-      let meta = null
-      try { meta = JSON.parse(readFileSync(metaPath, 'utf8')) } catch {}
+    // 双根读取（坑 platform-dual-root-form-misjudge）：specBase（平台模式=specRoot）单路径在
+    // meta 落项目侧 .sillyspec 时静默 miss → 锚点 diff 整链失效落主仓 fallback。双候选
+    // （specBase 优先 + cwd/.sillyspec 兜底）两形全覆盖；sb 仍作他者声明过滤根（原语义不动）。
+    const found = _readWorktreeMeta(specBase || null, cwd, changeName)
+    if (found) {
+      const meta = found.meta
       // 优先 baselineCommit/actualBaseHash（baseline checkpoint 之后），回退 baseHash
       const diffBase = meta?.baselineCommit || meta?.actualBaseHash || meta?.baseHash
       if (diffBase) {
-        const gitDir = (meta.worktreePath && meta.mode !== 'in-place-fallback' && existsSync(meta.worktreePath))
-          ? meta.worktreePath
-          : cwd
+        const gitDir = found.gitDir
         const files = runGitDiffNameOnly(gitDir, `${diffBase}..HEAD`)
         // 坑 verify-evidence-account-diff-misses-committed-changes（2026-09-13 实证）：
         // wt-commit 流程把本变更提交落在**主仓 HEAD**，worktree 分支不前移——仅查 worktree
@@ -1326,7 +1367,7 @@ export function runVerifyTestCheck({ cwd, specBase, changeName = null, ctx = nul
       },
     })
   } else if (action === 'module-subset') {
-    mainResult = runModuleSubset({ cwd, specBase, changeName, hits, knownFailures })
+    mainResult = runModuleSubset({ cwd, specBase, changeName, hits, knownFailures, changedFiles: lastChangedFiles })
   } else if (action === 'module-zero-hit-skip') {
     // module 模式 0 命中：不静默回退注定超时/含预存失败的全量（坑 verify-worktree-... 修复方向 3）。
     // 据 verify-result.md 自报告判定；想跑全量请显式设 test_strategy: full。
@@ -1657,12 +1698,21 @@ function runFullCommand({ yamlText, localYamlPath, cwd, specBase, changeName, fa
  * 串行跑命中的模块子集，聚合结果。
  * 返回 shape 与 runFullCommand 一致（status/command/exitCode/durationMs/outputTail/reason/resultPath）。
  */
-function runModuleSubset({ cwd, specBase, changeName, hits, knownFailures = [] }) {
+function runModuleSubset({ cwd, specBase, changeName, hits, knownFailures = [], changedFiles = [] }) {
   const subsetStartedAt = Date.now()
   const perModule = hits.map(h => runOneModule(h.name, h.test, cwd, knownFailures))
+  // 依赖测试伪模块（module-test-face-rot，2026-09-16 本会话实证）：硬编码模块测试清单不含
+  // 变更 src 文件的直接断言测试 → module 收窄漏全量断言。附加执行「import 变更 src 的测试 ∪
+  // 变更的 test 文件」中未被命中模块命令覆盖的部分；无额外文件零行为（不新增失败面）。
+  const deps = discoverModuleDependentTests({ cwd, changedFiles, coveredCommands: hits.map(h => h.test) })
+  if (deps.length > 0) {
+    perModule.push(runOneModule('deps(auto)', `node --test ${deps.slice(0, 30).join(' ')}`, cwd, knownFailures))
+    console.log(`ℹ️ module 子集已附加依赖测试伪模块 deps(auto)：${deps.length} 个（import 变更 src/变更的 test 本体，未被模块命令串覆盖——治硬编码清单腐烂）`)
+  }
   const status = aggregateStatus(perModule)
 
-  const command = `module[${hits.map(h => h.name).join(',')}]`
+  let command = `module[${hits.map(h => h.name).join(',')}]`
+  if (deps.length > 0) command += `+deps(${Math.min(deps.length, 30)})`
   const exitCode = status === 'passed' ? 0 : 1
   const durationMs = Date.now() - subsetStartedAt
 
@@ -2094,6 +2144,8 @@ export function runVerifyRequiredEvidenceCheck({ cwd, specBase, changeName = nul
  * 天然不覆盖该类路径，硬要求交集必假红）。verifyStartAt 缺省走 R-05 fallback（design.md
  * created_at 之后宽容 + warning）。status 语义扩 'blocked'（missing 无豁免 / satisfied 核验
  * 不过）——gates 接线（task-03）据此阻断 verify 完成。
+ * 逐文件存在性/mtime 双根取数（坑⑤ / D-005@v1）：候选根 [cwd, worktree 根]——apply 前
+ * 新文件只在 worktree，单查主仓必误报「文件不存在」；meta 缺失/in-place 退单根（零回归）。
  */
 function runRequiredEvidenceCheckV2({ items, slots, cwd, specBase, changeName, verifyStartAt }) {
   const warnings = []
@@ -2121,6 +2173,26 @@ function runRequiredEvidenceCheckV2({ items, slots, cwd, specBase, changeName, v
     changedSet = new Set((changed || []).map(p => String(p).replace(/\\/g, '/')))
   } catch { changedSet = null }
 
+  // ── 候选根解析（坑⑤ / D-005@v1，消费侧双根）：apply 前新文件只在 worktree，逐文件核验
+  // 单查主仓 join(cwd, vf) 必误报「文件不存在」错误阻断 verify。worktree 根口径与
+  // resolveVerifyChangedFiles（~1061 metaPath 段）同源：meta 在场 && 非 in-place-fallback
+  // && worktreePath 目录存在 → roots = [cwd, worktreePath]；任一不满足退 [cwd] 单根
+  // （零回归）。解析异常 fail-open 退单根 + warning（不新增阻断路径）。静默双根——对齐
+  // buildAcceptanceHints（verify-probes.js:223）双根先例，核验明细 root 字段已可辨。──
+  let roots = [cwd]
+  try {
+    const metaPath = join(specBase || join(cwd, '.sillyspec'), '.runtime', 'worktrees', changeName, 'meta.json')
+    if (existsSync(metaPath)) {
+      const meta = JSON.parse(readFileSync(metaPath, 'utf8'))
+      if (meta.worktreePath && meta.mode !== 'in-place-fallback' && existsSync(meta.worktreePath)) {
+        roots = [cwd, meta.worktreePath]
+      }
+    }
+  } catch (e) {
+    roots = [cwd]
+    warnings.push(`worktree meta 解析失败（${e.message}），evidence 双根核验退主仓单根`)
+  }
+
   const detailed = []
   let blockedCount = 0
   for (const item of items) {
@@ -2143,11 +2215,17 @@ function runRequiredEvidenceCheckV2({ items, slots, cwd, specBase, changeName, v
       }
       for (const vf of slot.verifiedFiles) {
         const pathClass = classifyVerifiedFile(vf)
-        const abs = join(cwd, vf)
-        const filesExist = existsSync(abs)
+        // 双根取数（坑⑤ / D-005@v1，形态沿 buildAcceptanceHints 双根先例）：任一根存在即
+        // filesExist=true；双根都在取 worktree 根（R-05：新改动所在，主仓旧 mtime 不误判
+        // 过期）——倒序找命中根（roots=[cwd] 时即单根现状；roots=[cwd, wt] 时先试 wt 再回退）。
+        let hitRoot = null
+        for (let i = roots.length - 1; i >= 0; i--) {
+          if (existsSync(join(roots[i], vf))) { hitRoot = roots[i]; break }
+        }
+        const filesExist = hitRoot !== null
         let mtimeOk = null
         if (filesExist && startAt) {
-          try { mtimeOk = statSync(abs).mtimeMs >= startAt - 60_000 } catch { mtimeOk = null }
+          try { mtimeOk = statSync(join(hitRoot, vf)).mtimeMs >= startAt - 60_000 } catch { mtimeOk = null }
         }
         let diffHit = null
         if (pathClass === 'code') {
@@ -2157,7 +2235,7 @@ function runRequiredEvidenceCheckV2({ items, slots, cwd, specBase, changeName, v
         }
         const ok = filesExist && mtimeOk !== false && diffHit !== false
         if (!ok) allOk = false
-        perFile.push({ path: vf, pathClass, filesExist, mtimeOk, diffHit,
+        perFile.push({ path: vf, pathClass, filesExist, mtimeOk, diffHit, root: hitRoot,
           reason: !filesExist ? '文件不存在'
             : (mtimeOk === false ? `mtime 早于 verifyStartAt（${new Date(startAt).toISOString()}）`
             : (diffHit === false ? '不在本变更 git diff 内' : null)) })
@@ -2245,7 +2323,7 @@ function normalizeReviewChangedFile(p) {
  * @returns {{ cardCount: number, declarations: Array<{task:string, path:string, isNew:boolean, raw:string, invalid:string|null}>, crossRepoCards: string[], noDeclarationCount: number }}
  */
 function collectDeclaredTargetFiles(specBase, changeName) {
-  const out = { cardCount: 0, declarations: [], crossRepoCards: [], noDeclarationCount: 0 }
+  const out = { cardCount: 0, declarations: [], crossRepoCards: [], crossRepoDeclarations: {}, noDeclarationCount: 0 }
   const tasksDir = join(specBase, 'changes', changeName, 'tasks')
   if (!existsSync(tasksDir)) return out
   // task-NN.md 过滤 + 排序：与 plan-postcheck / task-review 的枚举口径一致，输出确定性
@@ -2257,7 +2335,18 @@ function collectDeclaredTargetFiles(specBase, changeName) {
     const fm = content.match(/^---\n([\s\S]*?)\n---/)?.[1] || ''
     const task = (fm.match(/^id:\s*(.+)/m)?.[1] || '').trim() || file.replace(/\.md$/, '')
     const repo = parseRepo(content)
-    if (repo) { out.crossRepoCards.push(`${task}（repo: ${repo}）`); continue }
+    if (repo) {
+      out.crossRepoCards.push(`${task}（repo: ${repo}）`)
+      // 跨仓声明留存（坑 cross-repo-reconcile-blindness，2026-09-15 复盘兑现 D-004 分期）：
+      // 主仓对账仍剔除跨仓卡（主仓 actual 永远对不上跨仓声明），但声明不丢弃——
+      // reconcileCrossRepoDeclarations 到各自仓对账（advisory）
+      const crossEntries = parseTargetFiles(content).entries || []
+      if (crossEntries.length > 0) {
+        ;(out.crossRepoDeclarations[repo] = out.crossRepoDeclarations[repo] || [])
+          .push(...crossEntries.map(e => ({ task, path: e.path, isNew: e.isNew })))
+      }
+      continue
+    }
     const { entries, missing } = parseTargetFiles(content)
     if (missing) { out.noDeclarationCount++; continue }
     for (const e of entries) {
@@ -2324,14 +2413,22 @@ function parsePorcelainFilePaths(raw) {
  * resolveMainChangedFiles 同口径，三锚全缺 null）；形态 B 取 merge-base hash（分支不存在/
  * merge-base 不可得 null）；降级返回恒 null。
  *
- * @returns={{ ok: boolean, form: 'worktree'|'post-apply', files: string[], sources: string[], foreignExcluded: number, degradedReason: string|null, baseAnchor: string|null }}
+ * @returns={{ ok: boolean, form: 'worktree'|'post-apply', files: string[], sources: string[], foreignExcluded: number, foreignExcludedFiles: string[], degradedReason: string|null, baseAnchor: string|null }}
  */
 export function resolveReconcileActualFiles({ cwd, specBase, runtimeRoot, changeName }) {
-  const metaPath = join(specBase, '.runtime', 'worktrees', changeName, 'meta.json')
-  const form = existsSync(metaPath) ? 'worktree' : 'post-apply'
+  // 形态判定双根化（坑 platform-dual-root-form-misjudge，2026-09-15 复盘实证：平台模式
+  // specBase=specRoot 时项目侧 .sillyspec 的 meta 读不到 → 误判 post-apply → 按主仓 git
+  // 三源对账 → ②类 21 条全量假红阻断 verify 收尾）。_readWorktreeMeta 双候选（specBase
+  // 优先 + cwd/.sillyspec 兜底，contract-matrix 既有样板）为形态判定的唯一权威入口。
+  const wtMeta = _readWorktreeMeta(specBase || null, cwd, changeName)
+  const form = wtMeta ? 'worktree' : 'post-apply'
   const sources = []
   const union = new Set()
   let foreignExcluded = 0
+  // 退栈文件名单（scope-audit-cross-repo-blindness 改进点 3）：原只回计数，scope-audit 侧
+  // 无法区分「真未动」与「已写盘但被退栈」——补名单（仅文件名，owners 不重复携带），
+  // 消费方按「planned ∩ excluded ∩ 盘面存在」标「疑似他者已实现」。
+  const foreignExcludedFiles = []
   let baseAnchor = null
 
   if (form === 'worktree') {
@@ -2339,15 +2436,12 @@ export function resolveReconcileActualFiles({ cwd, specBase, runtimeRoot, change
     // working-tree 并入、fail-open 均为该函数既有语义，不另造口径）——
     const files = resolveVerifyChangedFiles(cwd, changeName, null, { includeWorkingTree: true, specBase })
     if (files === null) {
-      return { ok: false, form, files: [], sources, foreignExcluded,
+      return { ok: false, form, files: [], sources, foreignExcluded, foreignExcludedFiles,
         degradedReason: 'worktree 锚点 diff 与主仓 fallback 均失败（git 不可用 / 非仓库）', baseAnchor: null }
     }
-    // baseAnchor：读同一份 worktree meta.json 锚点（baselineCommit>actualBaseHash>baseHash，
-    // resolveMainChangedFiles 同口径；解析失败/三锚全缺 → null）
-    try {
-      const meta = JSON.parse(readFileSync(metaPath, 'utf8'))
-      baseAnchor = meta?.baselineCommit || meta?.actualBaseHash || meta?.baseHash || null
-    } catch {}
+    // baseAnchor：读形态判定命中的同一份 worktree meta.json 锚点（baselineCommit>
+    // actualBaseHash>baseHash，resolveMainChangedFiles 同口径；三锚全缺 → null）
+    baseAnchor = wtMeta?.meta?.baselineCommit || wtMeta?.meta?.actualBaseHash || wtMeta?.meta?.baseHash || null
     sources.push('worktree:diff-base..HEAD', 'worktree:status-porcelain(uncommitted)')
     for (const f of files) union.add(normalizeReconcilePath(f))
   } else {
@@ -2386,7 +2480,10 @@ export function resolveReconcileActualFiles({ cwd, specBase, runtimeRoot, change
       let files = parsePorcelainFilePaths(statusRaw)
       if (files.length > 0) {
         const { own, foreign } = splitOwnVsForeignDiffFiles(cwd, changeName, files, { specBase })
-        if (foreign.length > 0) foreignExcluded = foreign.length
+        if (foreign.length > 0) {
+          foreignExcluded = foreign.length
+          for (const fo of foreign) foreignExcludedFiles.push(normalizeReconcilePath(fo.file))
+        }
         files = own
       }
       for (const f of files) union.add(normalizeReconcilePath(f))
@@ -2403,13 +2500,13 @@ export function resolveReconcileActualFiles({ cwd, specBase, runtimeRoot, change
       } catch { /* 兜底源失败 → 忽略 */ }
     }
     if (!diffOk && !statusOk) {
-      return { ok: false, form, files: [], sources, foreignExcluded,
+      return { ok: false, form, files: [], sources, foreignExcluded, foreignExcludedFiles,
         degradedReason: 'merge-base 锚定 diff 未得且主仓 status 失败（git 不可用 / 非仓库 / 无锚点分支）', baseAnchor: null }
     }
   }
 
   const files = [...new Set(filterDeliverableFiles([...union]).filter(Boolean))].sort()
-  return { ok: true, form, files, sources, foreignExcluded, degradedReason: null, baseAnchor }
+  return { ok: true, form, files, sources, foreignExcluded, foreignExcludedFiles, degradedReason: null, baseAnchor }
 }
 
 /**
@@ -2419,13 +2516,15 @@ export function resolveReconcileActualFiles({ cwd, specBase, runtimeRoot, change
  * - 归属过滤：run 目录带 change 戳且不等值 → 他变更的 run 跳过（task-NN 跨变更同名，混扫必
  *   错归因；无戳旧 run 保留——向后兼容，task-review.js resolveLatestExecuteRunIdWithTasks 同款）。
  * - runId 形如 exec-YYYY-MM-DD-HHMMSS：字典序倒序 = 新 run 优先（review 以最新执行为准）。
- * - changedFiles 是 agent 手写（注记/相对路径常态），归一后 exact match、首个命中即止——
- *   归因只是③类报告的附注，错比漏代价低，不追求穷举。
+ * - changedFiles 是 agent 手写（注记/相对路径常态），归一后 exact match、全命中收集（多归属，
+ *   坑④ worktree-tick-guard-commit-only：原「首个命中即止」吞掉同文件多 task 的归属）——
+ *   归因只是③类报告的附注，错比漏代价低；同一 taskId 去重，顺序 = 扫描序（run 倒序新优先 +
+ *   task 目录字典序）。
  *
  * @param {string} runtimeRoot .sillyspec/.runtime
  * @param {string} changeName
  * @param {string[]} paths 待归因的③类路径（git 口径的干净路径）
- * @returns {Map<string, string>} normalized(path) → taskId
+ * @returns {Map<string, string[]>} normalized(path) → taskId[]（全命中收集，保序去重）
  */
 function attributeSuspectTasks(runtimeRoot, changeName, paths) {
   const map = new Map()
@@ -2452,7 +2551,10 @@ function attributeSuspectTasks(runtimeRoot, changeName, paths) {
       const taskId = (typeof review.task === 'string' && review.task.trim()) || t
       for (const cf of Array.isArray(review.changedFiles) ? review.changedFiles : []) {
         const n = normalizeReviewChangedFile(cf)
-        if (n && wantSet.has(n) && !map.has(n)) map.set(n, taskId)
+        if (!n || !wantSet.has(n)) continue
+        // 多归属：同文件被多 task 声明时全收集（D-004@v1，坑④）——旧单归属在此吞掉后续 task
+        const list = map.get(n)
+        if (list) { if (!list.includes(taskId)) list.push(taskId) } else map.set(n, [taskId])
       }
     }
   }
@@ -2477,7 +2579,7 @@ function attributeSuspectTasks(runtimeRoot, changeName, paths) {
  *   status: 'ok'|'missing_declared'|'undeclared'|'skipped'|'degraded',
  *   matched: string[],                    // ①交集（唯一路径排序）
  *   missing: Array<{task: string, path: string, isNew?: boolean}>, // ②声明没做（isNew 标 NEW: 声明，剥前缀 path）
- *   undeclared: Array<{path: string, suspectTask?: string}>,       // ③做了没声明（suspectTask=review.json 尽力归因）
+ *   undeclared: Array<{path: string, suspectTask?: string}>,       // ③做了没声明（suspectTask=review.json 尽力归因，多归属 join('、') 后的 string）
  *   skipReason: string|null,              // skipped/degraded 的原因（其余状态为 null）
  *   notes: string[],                      // 跨仓卡剔除 / 并行 WIP 剔除等提示（additive）
  *   form: 'worktree'|'post-apply'|null,   // actual 形态（skipped 无 actual 时为 null；additive）
@@ -2499,8 +2601,24 @@ export function reconcileTargetFiles({ cwd, specBase = null, changeName = null,
 
   // —— 声明侧 ——
   const decl = collectDeclaredTargetFiles(sb, changeName)
-  for (const label of decl.crossRepoCards) {
-    notes.push(`跨仓 task 卡 ${label} 已剔除——跨仓对账不在本变更范围（D-004），其声明留待后续分期`)
+  // —— 跨仓 per-repo 对账（坑 cross-repo-reconcile-blindness，2026-09-15 复盘兑现 D-004 分期：
+  // 此前 22 个跨仓文件在归档表全标「计划未动」、跨仓全靠人工到对应仓解释）——advisory 不阻断：
+  // 锚点是各仓 HEAD~1..HEAD 最近提交窗口（多 task 同仓只反映最近一笔，锚点脆弱期会产②类假
+  // 信号），只报告不翻转主仓状态。结果经 crossRepo 字段（gates 渲染明细）与 notes（摘要随
+  // 各状态出口流动）双通道出口。
+  let crossRepo = []
+  if (decl.crossRepoCards.length > 0) {
+    try {
+      crossRepo = reconcileCrossRepoDeclarations({ specBase: sb, cwd, declarationsByRepo: decl.crossRepoDeclarations })
+    } catch { crossRepo = [] /* 跨仓对账异常不拖垮主仓链（advisory 定位） */ }
+    for (const label of decl.crossRepoCards) {
+      notes.push(`跨仓 task 卡 ${label} 不进主仓对账（主仓 actual 对不上跨仓声明，D-004）——其声明已转 per-repo 对账（见下方跨仓对账段）`)
+    }
+    for (const r of crossRepo) {
+      notes.push(r.degradedReason
+        ? `跨仓 ${r.repo}：${r.degradedReason}`
+        : `跨仓 ${r.repo} 对账：声明 ${r.declaredCount} / 实测 ${r.actualCount} / 对上 ${r.matched.length} / ②缺 ${r.missing.length} / ③多 ${r.undeclared.length}${r.scaffoldCount > 0 ? `（另有 ${r.scaffoldCount} 脚手架已聚合）` : ''}——advisory（锚点=该仓最近提交窗口）`)
+    }
   }
   if (decl.cardCount === 0) {
     return { status: 'skipped', matched, missing, undeclared,
@@ -2514,7 +2632,7 @@ export function reconcileTargetFiles({ cwd, specBase = null, changeName = null,
       && decl.noDeclarationCount === decl.cardCount - decl.crossRepoCards.length) {
       return { status: 'skipped', matched, missing, undeclared,
         skipReason: `严格模式变更（created_at ≥ IR_STRICT_SINCE）主仓 task 卡全部未声明 target_files（${decl.noDeclarationCount}/${decl.cardCount - decl.crossRepoCards.length} 张主仓卡${decl.crossRepoCards.length > 0 ? `，另 ${decl.crossRepoCards.length} 张跨仓卡已剔除` : ''}）`,
-        notes, form: null, sources: [],
+        notes, form: null, sources: [], crossRepo,
         strictViolation: {
           code: 'target_files_all_missing_strict',
           message: `严格模式要求每个主仓 task 卡声明 target_files（计划改动的文件清单，taskcard 骨架已预置字段）——逐卡 Edit 填入：已存在文件写仓根相对精确路径，新建文件加 NEW: 前缀；填毕重跑 --done（进度不丢）`,
@@ -2526,7 +2644,7 @@ export function reconcileTargetFiles({ cwd, specBase = null, changeName = null,
       : `所有 task 卡均未声明 target_files（${decl.noDeclarationCount}/${decl.cardCount} 张无声明` +
         `${decl.crossRepoCards.length > 0 ? `，另 ${decl.crossRepoCards.length} 张跨仓卡已剔除` : ''}）` +
         `——存量卡可忽略；新卡请补：每条为仓根相对精确文件路径，不存在的文件加 NEW: 前缀`
-    return { status: 'skipped', matched, missing, undeclared, skipReason: reason, notes, form: null, sources: [] }
+    return { status: 'skipped', matched, missing, undeclared, skipReason: reason, notes, form: null, sources: [], crossRepo }
   }
 
   // —— actual 侧（三源并集，两形态）——
@@ -2538,7 +2656,7 @@ export function reconcileTargetFiles({ cwd, specBase = null, changeName = null,
     // 降级（fail-soft 不误红）：git 全部不可用 → actual 不可得，不产生 missing/undeclared
     return { status: 'degraded', matched, missing, undeclared,
       skipReason: `git 全部不可用，actual 不可得，对账降级跳过——${actual.degradedReason}`,
-      notes, form: actual.form, sources: actual.sources }
+      notes, form: actual.form, sources: actual.sources, crossRepo }
   }
 
   // —— 三类差集 ——
@@ -2567,17 +2685,36 @@ export function reconcileTargetFiles({ cwd, specBase = null, changeName = null,
       missing.push(d.isNew ? { task: d.task, path: d.path, isNew: true } : { task: d.task, path: d.path })
     }
   }
-  // ③做了没声明（scope creep，WARNING）：actual − 声明集；suspectTask 尽力归因仅报告（D-002）
+  // ③做了没声明（scope creep，WARNING）：actual − 声明集；suspectTask 尽力归因仅报告（D-002）。
+  // 归因多归属（attributeSuspectTasks 返 string[]，坑④）：组装边界 join('、') 成 string——
+  // gates.js / archive-delta.js 等下游渲染零改动（suspectTask 对外形态保持 string）。
   const suspect = attributeSuspectTasks(rt, changeName, actual.files.filter(p => !declaredKeySet.has(pathKey(p))))
+  // 脚手架软桶（坑 reconcile-undeclared-scaffold-flood，2026-09-15 复盘实证：worktree baseline
+  // 拷入的 .claude/skills、attachments 等设施文件 58 条逐条进③类、每轮 verify 重复刷屏）：
+  // classifyToolScaffold（worktree-apply / scope-audit 同款口径）命中的工具/平台设施文件聚合
+  // 为一行 note——环境设施面非交付物，逐条列③类只会淹没真 scope creep。全为脚手架时③类
+  // 判 ok（脚手架不构成 scope creep 语义）。
+  const scaffoldBuckets = { platform: 0, tool: 0 }
+  const scaffoldSamples = []
   for (const path of actual.files) {
     if (declaredKeySet.has(pathKey(path))) continue
+    const bucket = classifyToolScaffold(path)
+    if (bucket) {
+      scaffoldBuckets[bucket] = (scaffoldBuckets[bucket] || 0) + 1
+      if (scaffoldSamples.length < 5) scaffoldSamples.push(path)
+      continue
+    }
     const s = suspect.get(normalizeReviewChangedFile(path))
-    undeclared.push(s ? { path, suspectTask: s } : { path })
+    undeclared.push(Array.isArray(s) && s.length > 0 ? { path, suspectTask: s.join('、') } : { path })
+  }
+  const scaffoldTotal = scaffoldBuckets.platform + scaffoldBuckets.tool
+  if (scaffoldTotal > 0) {
+    notes.push(`③类另有 ${scaffoldTotal} 个工具/平台脚手架文件（platform ${scaffoldBuckets.platform} / tool ${scaffoldBuckets.tool}，如 ${scaffoldSamples.join('、')}${scaffoldTotal > scaffoldSamples.length ? ' 等' : ''}）已聚合不逐条列——非交付物（scope-audit 设施桶同口径）`)
   }
 
   // 状态聚合：②在场即 ERROR 态优先（gates 阻断语义靠它兑现）；仅③ → WARNING 态
   const status = missing.length > 0 ? 'missing_declared' : (undeclared.length > 0 ? 'undeclared' : 'ok')
-  return { status, matched, missing, undeclared, skipReason: null, notes, form: actual.form, sources: actual.sources }
+  return { status, matched, missing, undeclared, undeclaredScaffold: scaffoldTotal, skipReason: null, notes, form: actual.form, sources: actual.sources, crossRepo }
 }
 
 // ─────────────────────────────────────────────────────────────────────────────