sillyspec 3.28.9 → 3.28.11

package/src/worktree-apply.js

@@ -20,9 +20,10 @@ import { WorktreeManager } from './worktree.js';
 import { getCrossWorktreeMeta, cleanupCrossWorktrees } from './worktree-cross.js';
 import { parseFileChangeList, parseFileChangeListDetailed, pathMatches } from './change-list.js';
 import { parseAllowedPaths, parseRepo } from './stages/plan-postcheck.js';
-import { git, gitQuiet, safeGit } from './git-helper.js';
+import { git, gitQuiet, safeGit, unquoteGitPath } from './git-helper.js';
 import { resolveLatestExecuteRunId, resolveLatestExecuteRunIdWithTasks, readReview, normalizeRepoKey } from './task-review.js';
 import { collectActiveQuickGuardFiles } from './quicklog.js';
+import { appendWriteAudit, WRITE_AUDIT_FILE_CAP } from './write-audit.js';
 import { detectCommittedDrift, formatCommittedDriftWarning } from './run/concurrent-detect.js';
 
 const CHANGES_REL = '.sillyspec/changes';
@@ -43,6 +44,40 @@ function consumeCleanupResult(cr, result) {
   return cr;
 }
 
+/**
+ * 工具/平台脚手架分类（scope-audit-cross-repo-blindness 改进点 1，2026-09-15）：
+ * CLI/平台自己写进仓的文件，不是本变更的交付改动。分硬排（filterDeliverableFiles
+ * 直接滤除）与软桶（classifyToolScaffold 打标、scope-audit 归入「工具/平台设施」
+ * 不占「计划外」）两档——区分依据是 apply 语义：filterDeliverableFiles 的滤除会让
+ * apply 不回放该文件（坑 apply-glob-manifest 静默丢失类），故只有「绝无交付语义、
+ * 回放反而有害」的进硬排；可能被 design 清单正当声明的（SKILL.md/CLAUDE.md 改写
+ * 本身是合法交付）只打标不滤除。
+ *
+ *   硬排（platform 设施，绝不交付）：
+ *     - .worktrees/：嵌套 worktree 目录（cp 回放会把整个 worktree 副本塞进主仓）
+ *     - .sillyspec-platform 系根标记文件（含 -cleaned / -managed / .json 变体）：平台元数据
+ *     - .sillyspec/knowledge/：CLI 自维护知识库（路由 INDEX 等，机器本地态）
+ *     - .sillyspec/local.yaml：机器本地配置（gitignore 约定；回放会覆盖主仓本地配置）
+ *   软桶（tool 脚手架，可能正当交付 → 只打标）：
+ *     - .claude/skills/（含 sillyspec-*）：CLI 自装 skill 脚手架
+ *     - CLAUDE.md：CLI/平台维护的 agent 指引
+ *     - attachments/：brainstorm 需求附件（docx/html/截图等流程产物）
+ * @param {string} f 仓库根相对路径（正斜杠）
+ * @returns {'platform'|'tool'|null}
+ */
+export function classifyToolScaffold(f) {
+  const p = String(f || '').replace(/\\/g, '/');
+  if (!p) return null;
+  if (p.startsWith('.worktrees/')
+    || /^\.sillyspec-platform(?:-cleaned|-managed)?(?:\.json)?$/.test(p)
+    || p.startsWith('.sillyspec/knowledge/')
+    || p === '.sillyspec/local.yaml') return 'platform';
+  if (p.startsWith('.claude/skills/')
+    || p === 'CLAUDE.md'
+    || p.startsWith('attachments/')) return 'tool';
+  return null;
+}
+
 /**
  * 过滤掉 worktree 基础设施文件（非交付物），让 apply 只关心真正的变更产出：
  *   - meta.json：worktree 元数据，baseline commit 中被跟踪、working-tree 被 CLI 改写
@@ -54,14 +89,19 @@ function consumeCleanupResult(cr, result) {
  *   - .sillyspec/.runtime/：运行时产物（进度库/锁/review 产物，非源码）。
  *   - .sillyspec/quicklog/：quicklog 条目（worktree 进度，非交付物）。
  *   保留 .sillyspec/docs/（dogfood 模块规范文档 = 交付物，apply 回主仓）。
- * 对 modified-tracked（git diff）与 untracked（ls-files --others）一视同仁。
+ *   - classifyToolScaffold 的 platform 档（.worktrees/、.sillyspec-platform 系根标记、
+ *     .sillyspec/knowledge/、.sillyspec/local.yaml）：工具/平台设施，绝无交付语义
+ *     （scope-audit-cross-repo-blindness 改进点 1——锚点窗口内 CLI 自装文件曾全量
+ *     落「计划外」；回放有害类直接硬排）。
+ *   对 modified-tracked（git diff）与 untracked（ls-files --others）一视同仁。
  */
 export function filterDeliverableFiles(files) {
   return files.filter(f =>
     !f.startsWith('.sillyspec/changes/') &&
     !f.startsWith('.sillyspec/.runtime/') &&
     !f.startsWith('.sillyspec/quicklog/') &&
-    f !== 'meta.json'
+    f !== 'meta.json' &&
+    classifyToolScaffold(f) !== 'platform'
   );
 }
 
@@ -424,6 +464,69 @@ export function chunkPaths(paths, maxChars = 8000) {
   return batches
 }
 
+/**
+ * no-op 文件检测（FR-02 / D-002@v1，坑② assess-noop-blocked）：判定候选文件中
+ * 「worktree 工作区内容 = 主仓 HEAD blob」者。execute 期主仓 HEAD 前进后，worktree 内
+ * 自救/重同步成主仓最新内容的文件对 baseline checkpoint diff 非空，apply 回主仓实为
+ * no-op，却被 assess 误判「变更文件超出 allowed_paths」BLOCKED——由 applyWorktree
+ * step 2 单点 choke point 调用（apply 与 assess checkOnly 复用同函数，自动同口径）。
+ *
+ * 比对：worktree 工作区 `git hash-object`（默认带 clean filter，与 tree blob 同口径）
+ * 按 argv 分批（chunkPaths，worktree.js _changesAlreadyOnMain 同型），批次输出按行序
+ * 拼接与候选索引对齐；主仓 HEAD blob 复用 getBlobHashMap（ls-tree）。路径对照键统一
+ * quotepath 剥引号（unquoteGitPath）+ 反斜杠归一正斜杠，仅用于比对不回写（changedFiles
+ * 路径字面保持现状口径，下游 pathMatches/gates/archive-delta 零改动）。
+ *
+ * fail-safe（D-002 故障面契约）：hash-object 某批失败 / 行数不齐 / 整段异常 → 该批
+ * （或全部）保守不剔，保留 changed——退回现状误报而非误放行。每调用现算不缓存（主仓
+ * HEAD 在 assess 与 apply 间可能推进，以各自当下事实为准）。
+ *
+ * @param {string} projectRoot 主仓根（HEAD blob 读取处）
+ * @param {string} worktreePath worktree 根（工作区 hash-object 执行处）
+ * @param {string[]} candidates 候选文件（调用方已保证 worktree 工作区存在——删除类天然出局）
+ * @returns {string[]} 判定为 no-op 的文件子集（candidates 原字面）；判定不可得时返回 []
+ */
+function detectNoOpFiles(projectRoot, worktreePath, candidates) {
+  try {
+    if (!candidates || candidates.length === 0) return [];
+    // 主仓 HEAD 树 blob map：路径不在 HEAD 树 → 不在 Map → 主仓无该路径的新文件天然非 no-op
+    const mainBlobs = getBlobHashMap(projectRoot, 'HEAD', candidates);
+    if (mainBlobs.size === 0) return [];
+    const pathKey = (p) => {
+      let s = String(p);
+      if (s.startsWith('"') && s.endsWith('"') && s.length >= 2) s = unquoteGitPath(s.slice(1, -1));
+      return s.replace(/\\/g, '/');
+    };
+    const mainBlobByKey = new Map();
+    for (const [p, h] of mainBlobs) mainBlobByKey.set(pathKey(p), h);
+    const present = candidates.filter(f => mainBlobByKey.has(pathKey(f)));
+    if (present.length === 0) return [];
+
+    // worktree 工作区 blob：hash-object 按 argv 顺序逐行输出；某批失败（文件被并发删/权限等）
+    // → 占位空串填充保批次间索引对齐（空串永不等于 blob hash → 该批各文件保守不剔）
+    const wtHashes = [];
+    for (const batch of chunkPaths(present)) {
+      const out = gitQuiet(worktreePath, ['hash-object', '--', ...batch], { timeout: 30000 });
+      const lines = out === null ? null : out.split('\n');
+      if (!lines || lines.length !== batch.length) {
+        console.warn(`⚠️  no-op 检测：hash-object 批失败/行数不齐，该批 ${batch.length} 个文件保守保留在 changedFiles`);
+        for (let i = 0; i < batch.length; i++) wtHashes.push('');
+        continue;
+      }
+      wtHashes.push(...lines);
+    }
+    const noopFiles = [];
+    for (let i = 0; i < present.length; i++) {
+      if (wtHashes[i] && wtHashes[i] === mainBlobByKey.get(pathKey(present[i]))) noopFiles.push(present[i]);
+    }
+    return noopFiles;
+  } catch (e) {
+    // 意外异常整体保守不剔（fail-safe：宁可误报 BLOCKED，不可误放行剔除）
+    console.warn(`⚠️  no-op 文件检测失败（保守保留 changedFiles）：${(e.message || '').split('\n')[0]}`);
+    return [];
+  }
+}
+
 /**
  * apply 的文件清单 = design §6 清单 ∪ plan TaskCard allowed_paths（execute 复盘 c）。
  *
@@ -447,10 +550,25 @@ export function chunkPaths(paths, maxChars = 8000) {
  * changes/ 实体在 specRoot，本地目录常为空——旧硬编码 CHANGES_REL 恒读空 → allow 集恒空 →
  * Gate1 整批误拦（sync.js BUG-01 同族）。
  *
+ * **.sillyspec/docs/ 条件白名单 + declaredFace 快照（D-003@v2，2026-09-16-friction5-hardening
+ * R3/FR-03）**：坑 apply-docs-sync-blocked（用户 2026-09-16 驾驭小结③）——filterDeliverableFiles
+ * 明确保留 `.sillyspec/docs/` 为交付物，而 allow 面（design §6 ∪ allowed_paths）不含 docs 时
+ * Gate1 又拦同一文件，「filter 保交付、Gate1 拦交付」两道口径矛盾，approved 文档同步照样 BLOCKED。
+ * 修正：聚合完成后仅当 main 仓声明面非空（mainSet.size > 0）才 mainSet.add('.sillyspec/docs/')
+ * （尾斜杠写法——pathMatches 目录前缀语义放行整目录，step3.5 getBlobHashMap 对目录条目 inert）。
+ * **必须条件加白**（design-grill M5）：无条件加白会把空清单翻转成非空——design 与任务卡全缺的
+ * 存量变更从「fail-open（Gate1 跳过、patch 全量）」变成「docs-only 单条目面 → 非 docs 交付全
+ * BLOCKED + patch 静默收窄」，故空清单维持空（零行为变化）。加白前快照 declaredFace = 原
+ * 声明面（design §6 ∪ allowed_paths，不含白名单条目），以 Map 附挂属性 repoMap.declaredFace
+ * 带出（Map 方法全保留，既有调用点零破坏）——Gate1 hasAllowList 判定与 docs 越权审计报备均以
+ * declaredFace 为口径（M3：allowed_paths 已声明的 docs 文件不误报越权）。白名单只进 main 仓
+ * Set（`.sillyspec/docs/` 是主仓 specRoot 概念），跨仓 Map 切片不受影响。
+ *
  * @param {string} projectRoot - 主仓库根
  * @param {string} changeName - 变更名
  * @param {{ specBase?: string }} [opts] specBase 显式传入（平台模式必传 specRoot）
- * @returns {Map<string, Set<string>>} repoKey → 并集清单 Set（无 design 清单且无 task 卡片时为空 Map）
+ * @returns {Map<string, Set<string>>} repoKey → 并集清单 Set（无 design 清单且无 task 卡片时为空 Map）；
+ *   附挂属性 declaredFace: Set<string>——main 仓加白前原声明面（审计口径，docs 白名单条目不在其中）
  */
 export function resolveApplyAllowSet(projectRoot, changeName, opts = {}) {
   const repoMap = new Map();
@@ -481,6 +599,12 @@ export function resolveApplyAllowSet(projectRoot, changeName, opts = {}) {
       for (const p of parseAllowedPaths(content)) repoSet.add(p);
     }
   }
+
+  // D-003@v2：.sillyspec/docs/ 条件加白——仅 main 仓声明面非空才加（空清单维持 fail-open，
+  // 见函数头 jsdoc）。加白前快照 declaredFace（原声明面）供 Gate1 审计口径用（Map 附挂带出）。
+  const declaredFace = new Set(mainSet);
+  if (mainSet.size > 0) mainSet.add('.sillyspec/docs/');
+  repoMap.declaredFace = declaredFace;
   return repoMap;
 }
 
@@ -578,8 +702,87 @@ function writeApplyManifest({ projectRoot, specBase, changeName, baseHash, files
   return { written: true, file: manifestPath, files: entries };
 }
 
+// ── db/*.sql 声明门（2026-09-17-pass-cap-semantics task-04 / FR-05 / FR-06 / D-007 / D-012）──
+// 文法实现单点：verify-probes 的 parseDbScriptDeclarations（X-03 双形态：声明行 + 回执
+// command）/ parseHandoverRows（task-01 导出），禁二份副本。顶层 await 动态绑定
+// （verify-probes :1630 stage-contract 同款先例；已核 verify-probes 静态闭包与其顶层
+// await 链均不回指本文件，任一加载序无环）。绑定失败降级 null → 门 fail-open（warn
+// 放行）——门自身异常不锁死 apply/归档主流程。
+let dbScriptDeclareParser = null
+let handoverRowsParser = null
+try {
+  ;({ parseDbScriptDeclarations: dbScriptDeclareParser, parseHandoverRows: handoverRowsParser } = await import('./verify-probes.js'))
+} catch { /* fail-open：绑定失败时下方门函数降级 warn 放行 */ }
+
+/**
+ * db/*.sql 执行声明对账门（task-04 兜底侧，apply 尾声与 archive --confirm 前置共用同一函数）。
+ * 纯「文件集 × 文本声明」对账，零连库（design 非目标——不做 information_schema 对账）。
+ *
+ * 口径：
+ *   - 入参文件集 posix 化后取 ^db/ 开头且 .sql 结尾者（与声明文法产出 db/<file>.sql 同形，
+ *     对账零变换；深路径 src/.../db/x.sql 不进门——声明文法同样不认该形态，两侧一致无死锁）；
+ *   - 声明集 = parseDbScriptDeclarations(verifyMd)，verifyMd 自 <changeDir>/verify-result.md
+ *     读取（changeDir 经 resolveActiveOrArchiveChangeDir 归档感知，specBase 缺省时与
+ *     writeApplyManifest 同链兜底：透传 specBase > 平台指针 > 本地 .sillyspec）；
+ *   - verify-result.md 缺失（ENOENT）= 空声明集 → 有 db 交付即拦（fail-closed 正常判定路径）；
+ *   - 互斥分支（D-005@v2：db-script 恒 blocking）：声明集全命中 × handover 存在 db-script
+ *     类型行 → 两面矛盾 error。数据源 facts.handover（verify-facts.json，{ count, items[] }
+ *     形态）优先，缺 facts 时 parseHandoverRows(verifyMd) 兜底，两源任一命中即拦。
+ *
+ * fail 分布：正常判定路径 fail-closed（缺声明/互斥 → ok:false + 修复指引）；门自身异常
+ * （绑定失败 / verifyMd 读取抛非 ENOENT 异常 / facts 解析异常走 md 兜底）fail-open
+ * （ok:true + warning）。
+ *
+ * @param {{ projectRoot: string, specBase?: string, changeName: string, files: string[] }} p
+ * @returns {{ ok: true, warning?: string } | { ok: false, error: string }}
+ */
+export function checkDbScriptDeclarationGate({ projectRoot, specBase, changeName, files }) {
+  const dbFiles = [...new Set((Array.isArray(files) ? files : [])
+    .map((f) => String(f || '').replace(/\\/g, '/')).filter(Boolean))]
+    .filter((f) => /^db\/[\w./-]+\.sql$/.test(f)).sort()
+  if (dbFiles.length === 0) return { ok: true } // 无 db/*.sql 交集 → 零行为变化（存量兼容）
+  if (!dbScriptDeclareParser) {
+    return { ok: true, warning: `db 声明门降级放行（fail-open）：verify-probes 文法绑定不可用——本次未对账以下 db 脚本执行声明，请人工确认已对目标库执行：${dbFiles.join(', ')}` }
+  }
+  const base = specBase || _silentPointerSpecRoot(projectRoot) || join(projectRoot, '.sillyspec')
+  const changeDir = resolveActiveOrArchiveChangeDir(base, changeName)
+  let verifyMd = ''
+  try {
+    verifyMd = readFileSync(join(changeDir, 'verify-result.md'), 'utf8')
+  } catch (e) {
+    if (e && e.code === 'ENOENT') verifyMd = '' // verify-result.md 缺失 = 空声明集（走下方缺声明拦截）
+    else return { ok: true, warning: `db 声明门降级放行（fail-open）：verify-result.md 读取异常（${(e && e.message) || e}）——本次未对账以下 db 脚本执行声明，请人工确认：${dbFiles.join(', ')}` }
+  }
+  const declared = new Set(dbScriptDeclareParser(verifyMd))
+  const missing = dbFiles.filter((f) => !declared.has(f))
+  if (missing.length > 0) {
+    return { ok: false, error: [
+      `db 脚本执行声明缺失：以下 ${missing.length} 个 db/*.sql 交付文件未在 verify-result.md 声明已对目标库执行（fix.sql 双门兜底，D-007/D-012——覆盖 verify 后新增 sql 的时序窗口）：`,
+      ...missing.map((f) => `  - ${f}`),
+      `修复：先在 ${join(changeDir, 'verify-result.md').replace(/\\/g, '/')} 声明已执行——补「已对目标库执行：db/<file>.sql」声明行，或「## 集成验证回执」条目 command 含 db/<file>.sql（X-03 双形态，含 log 路径可选），补后重跑本命令。`,
+    ].join('\n') }
+  }
+  // 互斥分支：声明全在场 × handover db-script 行在场 = 「已执行」vs「移交待执行」两面矛盾
+  let handoverItems = null
+  try {
+    const facts = JSON.parse(readFileSync(join(changeDir, 'verify-facts.json'), 'utf8'))
+    if (facts && facts.handover && Array.isArray(facts.handover.items)) handoverItems = facts.handover.items
+  } catch { /* facts 缺失/损坏 → parseHandoverRows(verifyMd) 兜底 */ }
+  if (!handoverItems) {
+    try { handoverItems = handoverRowsParser ? handoverRowsParser(verifyMd) : [] } catch { handoverItems = [] }
+  }
+  if (handoverItems.some((h) => h && String(h.type || '').toLowerCase().replace(/[\s_]+/g, '-') === 'db-script')) {
+    return { ok: false, error: [
+      `db-script 移交项与执行声明互斥（D-005@v2）：verify-result.md 已声明以下 db 脚本对目标库执行，但「移交项（结构化）」存在 type=db-script 行（承认该脚本待执行）——两面矛盾，二选一以真实状态为准：`,
+      ...dbFiles.map((f) => `  - ${f}`),
+      `修复：确已执行 → 从 verify-result.md「## 移交项（结构化）」删除该 db-script 行后重跑；确未执行 → 删除对应「已对目标库执行」声明行/回执条目后重跑（届时按缺声明门指引处理）。`,
+    ].join('\n') }
+  }
+  return { ok: true }
+}
+
 /**
- * 坑 mixed-baseline-drift-hint（ql-20260915-004）：apply 成功尾声混合基线 advisory。
+ * 坑 mixed-baseline-drift-hint（ql-20260915-004）：apply 尾声混合基线 advisory。
  *
  * 主仓自本变更基点（baseHash）后的已提交推进若触及本变更相关文件（含 .test./.spec. 变体），
  * worktree 快照内验证过的测试断言可能基于旧内容——apply 落地的是混合基线，提示 agent 合并态
@@ -879,7 +1082,14 @@ function applyCrossRepoWorktrees(changeName, projectRoot, ctx, { checkOnly = fal
         }
       }
       const untrackedRaw = gitQuiet(cm.worktreePath, ['ls-files', '--others', '--exclude-standard']) || '';
-      changedFiles = filterDeliverableFiles([...new Set([...statusFiles, ...untrackedRaw.split('\n').filter(Boolean)])]);
+      const allFiles = [...new Set([...statusFiles, ...untrackedRaw.split('\n').filter(Boolean)])];
+      changedFiles = filterDeliverableFiles(allFiles);
+      // 硬排可见性（scope-audit-cross-repo-blindness 改进点 1）：被滤除的平台设施文件列
+      // warning 不静默——apply 不回放它们；若某文件确为交付物（极少），人工落主仓。
+      const dropped = allFiles.filter(f => !changedFiles.includes(f) && classifyToolScaffold(f) === 'platform');
+      if (dropped.length > 0) {
+        out.warnings.push(`跨仓 ${repoKey}：${dropped.length} 个工具/平台设施文件未纳入 apply（${dropped.slice(0, 5).join(', ')}${dropped.length > 5 ? ' 等' : ''}）——非交付物不回放，确需交付请人工处理`);
+      }
     } catch (e) {
       out.errors.push(`跨仓 ${repoKey}：获取变更文件列表失败（${cm.worktreePath}）: ${e.message}`);
       continue;
@@ -1079,6 +1289,16 @@ export function applyWorktree(changeName, { cwd, checkOnly = false, merge = fals
         result.errors.push(...crossApplied.errors);
         return result; // 跨仓未落地 = 该仓 task 实际未完成，主仓 apply 不可继续
       }
+      // --- db/*.sql 声明门·跨仓面（task-04 / FR-05）：跨仓 apply 成功面 out.applied[].changedFiles
+      // 统一过同一门（声明文法跨仓同源——verify-result.md 仍在主仓 changes/<name>/ 下）。跨仓
+      // apply 物理动作已发生，门拦的是流程收口（ok 不置 true + 修复指引，补声明重跑幂等）。
+      const crossDbFiles = crossApplied.applied.flatMap((a) => (a && Array.isArray(a.changedFiles) ? a.changedFiles : []))
+      const dbGateCross = checkDbScriptDeclarationGate({
+        projectRoot, changeName, files: crossDbFiles,
+        specBase: (ctx.platformOpts && ctx.platformOpts.specRoot) || undefined,
+      })
+      if (!dbGateCross.ok) { result.errors.push(dbGateCross.error); return result }
+      if (dbGateCross.warning) result.warnings = (result.warnings || []).concat([dbGateCross.warning])
     }
     const cross = validateCrossRepoNoOp(ctx, projectRoot, changeName);
     for (const e of cross.errors) result.errors.push(e);
@@ -1159,7 +1379,41 @@ export function applyWorktree(changeName, { cwd, checkOnly = false, merge = fals
     // 排除 worktree 基础设施文件（meta.json / .sillyspec/，见 filterDeliverableFiles）。
     // 对 modified-tracked（statusFiles）与 untracked 一视同仁——否则 modified 的 meta.json
     // 会被误算入 changedFiles，触发 design.md 清单校验失败（assess 恒 BLOCKED）。
-    changedFiles = filterDeliverableFiles([...new Set([...statusFiles, ...untrackedFiles])]);
+    const allChangedRaw = [...new Set([...statusFiles, ...untrackedFiles])];
+    changedFiles = filterDeliverableFiles(allChangedRaw);
+
+    // no-op 文件剔除（FR-02 / D-002@v1）：主仓 HEAD 在 execute 期间前进后，worktree 内
+    // 「内容=主仓 HEAD」的自救/重同步文件对 deliverableBase diff 非空，apply 回主仓实为
+    // no-op，却被 assess 误判「变更文件超出 allowed_paths」BLOCKED。候选收窄：allChangedRaw
+    // 中 worktree 工作区存在者（existsSync，删除类天然出局）∩ 主仓 HEAD 树存在者（helper
+    // 内反查）；判定失败保守不剔。diff-size/Gate 判定消费的 changedFiles 自然跟随收窄，
+    // patch 面（resolvePatchFiles ⊆ changedFiles）同步不再回放该类文件。
+    const noopCandidates = allChangedRaw.filter(f => existsSync(join(worktreePath, f)));
+    const noopFiles = noopCandidates.length > 0 ? detectNoOpFiles(projectRoot, worktreePath, noopCandidates) : [];
+    // 只报实际从三集剔出的文件（候选含 filterDeliverableFiles 已硬排的平台设施时，
+    // 那部分本就不在 changedFiles，不计入告警面）
+    const changedSetForNoop = new Set([...changedFiles, ...deletedFiles, ...absentAfterMerge]);
+    const removedNoopFiles = noopFiles.filter(f => changedSetForNoop.has(f));
+    if (removedNoopFiles.length > 0) {
+      const noopSet = new Set(removedNoopFiles);
+      changedFiles = changedFiles.filter(f => !noopSet.has(f));
+      // 防御性剔除（候选已限工作区存在，正常不命中后两集；过滤保三集不变式）
+      for (let i = deletedFiles.length - 1; i >= 0; i--) if (noopSet.has(deletedFiles[i])) deletedFiles.splice(i, 1);
+      for (let i = absentAfterMerge.length - 1; i >= 0; i--) if (noopSet.has(absentAfterMerge[i])) absentAfterMerge.splice(i, 1);
+      result.warnings = result.warnings || [];
+      result.warnings.push(
+        `${removedNoopFiles.length} 个文件内容与主仓 HEAD 一致（apply 为 no-op，不计入 changedFiles）：${removedNoopFiles.slice(0, 5).join(', ')}${removedNoopFiles.length > 5 ? ' 等' : ''}`
+      );
+    }
+
+    // 硬排可见性（scope-audit-cross-repo-blindness 改进点 1）：平台设施被滤出不静默——
+    // apply 不回放它们（.worktrees//.sillyspec-platform*/knowledge/local.yaml）；确为交付物
+    // 的极少数场景（如刻意改 knowledge 模板）人工落主仓。
+    const droppedScaffold = allChangedRaw.filter(f => !changedFiles.includes(f) && classifyToolScaffold(f) === 'platform');
+    if (droppedScaffold.length > 0) {
+      result.warnings = result.warnings || [];
+      result.warnings.push(`${droppedScaffold.length} 个工具/平台设施文件未纳入 apply（${droppedScaffold.slice(0, 5).join(', ')}${droppedScaffold.length > 5 ? ' 等' : ''}）——非交付物不回放，确需交付请人工处理`);
+    }
   } catch (e) {
     result.errors.push(`获取变更文件列表失败: ${e.message}`);
     return result;
@@ -1216,7 +1470,29 @@ export function applyWorktree(changeName, { cwd, checkOnly = false, merge = fals
     ]);
   }
   const allowSet = allowMap.get('main') || new Set();
-  const hasAllowList = allowSet.size > 0;
+  // D-003@v2（R3/FR-03）：hasAllowList 与 docs 审计报备以 declaredFace（design §6 ∪
+  // allowed_paths 原面，resolveApplyAllowSet 加白前快照、Map 附挂带出）为口径——Gate1 违规
+  // 判定仍消费 allowSet（已含 .sillyspec/docs/ 白名单条目 = 放行 docs）。旧调用路径拿不到
+  // declaredFace 时回退 mainSet 判定保持兼容（条件加白下两者空性等价，纯口径统一）。
+  const declaredFace = (allowMap && allowMap.declaredFace instanceof Set) ? allowMap.declaredFace : allowSet;
+  const hasAllowList = declaredFace.size > 0;
+
+  // --- 3c. docs 白名单审计报备（D-003@v2，风险 R-01 应对）---
+  // 白名单放行是有意的语义放宽（approved 文档同步不再拦），审计面由此报备行保住：实际
+  // changedFiles 中以 .sillyspec/docs/ 开头且不被 declaredFace 任一条目 pathMatches 覆盖的
+  // 文件 = 纯靠白名单放行（design §6 / 任务卡 allowed_paths 均未声明）——逐名列出供追认/
+  // 审计，docs-check 独立校验内容质量。declaredFace 命中（已声明）不报备（M3 口径）。
+  // 无清单（fail-open）时白名单未生效，不报备（与旧版零行为差异）。
+  {
+    const docsAdmitted = hasAllowList
+      ? changedFiles.filter(f => f.startsWith('.sillyspec/docs/') && ![...declaredFace].some(ap => pathMatches(f, ap)))
+      : [];
+    if (docsAdmitted.length > 0) {
+      result.warnings = (result.warnings || []).concat([
+        `${docsAdmitted.length} 个 .sillyspec/docs/ 文件经模块文档白名单放行（未在 design §6/任务卡 allowed_paths 声明，docs-check 独立校验内容）：${docsAdmitted.join('、')}`
+      ]);
+    }
+  }
 
   // --- 3.5 主干已提交推进检测：hashMismatch 前移（Grill P0 修复，design §step 顺序修正）---
   // 原在 step5b，但 step4.5/5a dirty 拦截短路在 step5b 之前，致 rescue 拿不到 hashMismatchFiles
@@ -1665,6 +1941,15 @@ export function applyWorktree(changeName, { cwd, checkOnly = false, merge = fals
       const patchContent = Buffer.concat(patchParts);
       if (patchContent.length === 0) {
         // patch 为空（清单中部分文件可能没实际变更）
+        // --- db/*.sql 声明门·出口①（task-04 / FR-05）：空 patch 出口的 merge 写回面过门 ---
+        //（写回批末 add 已先行，本出口唯一落盘面 = mergedDirtyFiles ∪ mergedMismatchFiles，
+        //与下方 manifest files 同口径；门失败 → result.ok 不置 true，走既有 error 通道）
+        const dbGateEmpty = checkDbScriptDeclarationGate({
+          projectRoot, specBase: allowSpecBase, changeName,
+          files: [...(result.mergedDirtyFiles || []), ...(result.mergedMismatchFiles || [])],
+        })
+        if (!dbGateEmpty.ok) { result.errors.push(dbGateEmpty.error); return result }
+        if (dbGateEmpty.warning) result.warnings = (result.warnings || []).concat([dbGateEmpty.warning])
         result.ok = true;
         // apply-manifest（task-01 出口③变体）：4.5 三方合并全部消解重叠时，merge 写回面是
         // 本出口唯一落盘面——manifest 仍须覆盖（写回批末 add 已先行，指纹取 staged 态）。
@@ -1734,6 +2019,18 @@ export function applyWorktree(changeName, { cwd, checkOnly = false, merge = fals
         return result;
       }
 
+      // --- 7.1 db/*.sql 声明门·出口②（task-04 / FR-05 / D-007 / D-012 兜底第一门）---
+      // patch 主路径 apply 文件集（patch 实际落盘集 ∪ 4.5 三方合并写回集，与 7.2 manifestFace
+      // 同口径）∩ db/*.sql 逐文件对账 verify-result.md 执行声明（X-03 双形态文法，verify-probes
+      // 单点实现）——缺失/与 db-script handover 互斥 → result.errors 阻断（result.ok 不置 true，
+      // 走既有 apply error 通道，不抛异常）；无 db/*.sql 交集零行为变化；门异常 fail-open。
+      const dbGateMain = checkDbScriptDeclarationGate({
+        projectRoot, specBase: allowSpecBase, changeName,
+        files: [...patchFiles, ...(result.mergedDirtyFiles || []), ...(result.mergedMismatchFiles || [])],
+      })
+      if (!dbGateMain.ok) { result.errors.push(dbGateMain.error); return result }
+      if (dbGateMain.warning) result.warnings = (result.warnings || []).concat([dbGateMain.warning])
+
       result.ok = true;
 
       // --- 7.2 apply 成功尾声写 apply-manifest.json（task-01 / FR-02 / D-001@v1 后半）---
@@ -2257,6 +2554,17 @@ export function applyByMerge(result, changeName, projectRoot, wm, opts = {}) {
     return result;
   }
 
+  // --- db/*.sql 声明门·出口③（task-04 / FR-05）：merge 成功出口——changedFiles（落地校验过
+  // 的交付集）∪ 两个三方合并写回面（与下方 manifestFace 同口径）过同一门；门失败 →
+  // result.ok 不置 true，走既有 error 通道。specBase 为 applyWorktree 透传值（可能 undefined，
+  // 门函数内 projectRoot 兜底链）。---
+  const dbGateMerge = checkDbScriptDeclarationGate({
+    projectRoot, specBase, changeName,
+    files: [...(result.changedFiles || []), ...(result.mergedDirtyFiles || []), ...(result.mergedMismatchFiles || [])],
+  })
+  if (!dbGateMerge.ok) { result.errors.push(dbGateMerge.error); return result }
+  if (dbGateMerge.warning) result.warnings = (result.warnings || []).concat([dbGateMerge.warning])
+
   result.ok = true;
   // apply 成功尾声写 apply-manifest.json（task-01 出口②：applyWorktree 显式 --merge 与
   // ENOBUFS 自动降级两条提前 return 入口共用本成功出口）。merge 已 commit → staged 态 =
@@ -2267,6 +2575,13 @@ export function applyByMerge(result, changeName, projectRoot, wm, opts = {}) {
   // manifestFace 提升到 try 外（坑 mixed-baseline-drift-hint ql-20260915-004：drift 提示在
   // manifest 写点后消费同面，try 内 const 出块即失域）
   const manifestFace = [...new Set([...(result.changedFiles || []), ...(result.mergedDirtyFiles || []), ...(result.mergedMismatchFiles || [])])];
+  // 批量写入留痕（2026-09-17 用户反馈⑥②法证收口）：apply 是主仓面的批量写入（patch/merge
+  // 落盘）——审计行记 时间/触发面/交付文件集/删除面（fail-open，specBase 与 manifest 同源）。
+  try {
+    const auditFace = manifestFace.slice(0, WRITE_AUDIT_FILE_CAP)
+      .concat(manifestFace.length > WRITE_AUDIT_FILE_CAP ? [`…+${manifestFace.length - WRITE_AUDIT_FILE_CAP}`] : []);
+    appendWriteAudit(specBase, { via: 'worktree-apply', change: changeName, files: auditFace, deleted: (result.deletedFiles || []).length, merge: true });
+  } catch { /* 审计 fail-open */ }
   try {
     const mf = writeApplyManifest({
       projectRoot, specBase, changeName,

package/src/worktree-deps.js

@@ -616,10 +616,33 @@ export function provisionDeps(worktreePath, mainCwd, opts = {}) {
   // generic monorepo（如 multi-agent-platform）worktree 子模块 frontend/sillyhub-daemon 无 node_modules，
   // 跑 pnpm test 失败。读 local.yaml modules 块，对 nodejs 子模块 tryLink main 的 node_modules。
   const modulePaths = extractModulePaths(yamlText);
+  // 注册仓根集合（坑 deps-sibling-repo-false-reject，2026-09-15 EHS 生产实证：modules 里登记的
+  // `../sub-grid-security` 是跨仓测试命令的合法配置，被「path 越界拒绝 link」当攻击面误报——该
+  // 目录本来就不在 worktree 内、无 main/worktree 双份语义，node_modules link 天然不适用，正确
+  // 动作是分类跳过+准确理由。未注册的越界路径维持 fail-closed 拒绝）。轻量解析（不引
+  // plan-postcheck 依赖边，条目形状 <key>: <path> 与 parseRepoRegistry 对齐）。
+  const registeredRepoRoots = (() => {
+    const roots = [];
+    const lines = String(yamlText || '').replace(/\r\n?/g, '\n').split('\n');
+    const start = lines.findIndex(l => /^repos:\s*(?:#.*)?$/.test(l));
+    if (start === -1) return roots;
+    for (let i = start + 1; i < lines.length; i++) {
+      if (lines[i].length > 0 && !/\s/.test(lines[i][0]) && lines[i].trim() !== '' && !lines[i].startsWith('#')) break;
+      const m = lines[i].match(/^\s+([A-Za-z0-9_.\-]+):\s*(\S+)/);
+      if (m && !m[2].startsWith('#')) roots.push(m[2].replace(/^['"]|['"]$/g, ''));
+    }
+    return roots;
+  })();
   const moduleResults = [];
   for (const mp of modulePaths) {
     if (!isSafeModulePath(mp)) {
-      moduleResults.push({ path: mp, status: 'skipped', reason: 'path 越界（绝对路径或 .. 段），拒绝 link' });
+      const resolvedMp = resolvePath(worktreePath, mp);
+      const hitRepo = registeredRepoRoots.some(rRoot => {
+        try { return resolvePath(mainCwd || worktreePath, rRoot) === resolvedMp } catch { return false }
+      });
+      moduleResults.push({ path: mp, status: 'skipped', reason: hitRepo
+        ? '跨仓注册仓路径（repos 已注册）——不在 worktree 内，node_modules link 不适用；其测试命令经 modules.<name>.test 由 verify 直接在该仓执行'
+        : 'path 越界（绝对路径或 .. 段），拒绝 link' });
       continue;
     }
     const wtDir = join(worktreePath, mp);