agentic-flow-kit 1.6.0 → 1.7.15

package/templates/_agents/scripts/check-engine-integrity.test.mjs

@@ -0,0 +1,227 @@
+#!/usr/bin/env node
+// check-engine-integrity.test.mjs — 门禁本体完整性门 fixture 套件（2026-10-09 P0-A guard-the-guards）
+// 方法：构造临时根（templates/_agents/scripts + .githooks + workflow/intents），spawn 脚本断言
+//       exit code 与 [标签]；跨提交锚用真 git 仓（init→commit→改弱→--update）端到端验证——
+//       那一条是本门存在的理由：本地层自洽（盘面↔基线同刷）时，唯祖先提交参照物仍能出账。
+// 用法：node templates/_agents/scripts/check-engine-integrity.test.mjs（npm test 随跑）
+import fs from 'node:fs';
+import os from 'node:os';
+import path from 'node:path';
+import { spawnSync } from 'node:child_process';
+import { fileURLToPath } from 'node:url';
+
+const SCRIPT_DIR = path.dirname(fileURLToPath(import.meta.url));
+const SCRIPT = path.join(SCRIPT_DIR, 'check-engine-integrity.mjs');
+
+let pass = 0;
+let fail = 0;
+const check = (desc, cond, detail = '') => {
+  if (cond) { pass++; console.log(`PASS  ${desc}`); }
+  else { fail++; console.log(`FAIL  ${desc}${detail ? '\n      ' + detail : ''}`); }
+};
+
+const w = (root, rel, content) => {
+  const abs = path.join(root, rel);
+  fs.mkdirSync(path.dirname(abs), { recursive: true });
+  fs.writeFileSync(abs, content);
+};
+const run = (root, args = []) => {
+  const r = spawnSync(process.execPath, [SCRIPT, '--root', root, ...args], { encoding: 'utf8' });
+  return { code: r.status, out: `${r.stdout || ''}${r.stderr || ''}` };
+};
+const git = (root, args) => spawnSync('git', ['-C', root, ...args], { encoding: 'utf8' });
+const haveGit = (() => { const r = spawnSync('git', ['--version'], { encoding: 'utf8' }); return r.status === 0; })();
+
+// 通用 fixture：一份门禁脚本（2 个 blocker + 1 个 exit(1) = 3 硬拦单位）、一个钩子（1 个 exit 1）、AGENTS.md
+const mkfix = ({ withEntry = false, entryNames = 'gate.mjs' } = {}) => {
+  const d = fs.mkdtempSync(path.join(os.tmpdir(), 'engine-integrity-test-'));
+  w(d, 'templates/_agents/scripts/gate.mjs',
+    '// 门禁样例\nblockers.push(`A`);\nblockers.push(`B`);\nif (bad) process.exit(1);\n');
+  w(d, '.githooks/pre-commit', '#!/bin/sh\nif ! node check.mjs; then\n  echo blocked >&2\n  exit 1\nfi\nexit 0\n');
+  w(d, 'AGENTS.md', '# 协议\n- 规则一\n- 规则二\n');
+  if (withEntry) {
+    w(d, 'workflow/intents/2026-10-09-ctrl.md',
+      `---\n状态: approved\n级别: L2\n日期: 2026-10-09\n模块: gate\n---\n# INTENT\n改动面：templates/_agents/scripts/${entryNames}\n`);
+  }
+  return d;
+};
+
+// --- T1 基线缺失 = 未启用（旧装副本零改动，exit 0）---
+{
+  const r = run(mkfix());
+  check('T1 无基线 → exit 0 且报「未启用」', r.code === 0 && r.out.includes('未启用'), r.out);
+}
+
+// --- T2 --update 生成基线后自身一致 ---
+{
+  const d = mkfix();
+  const u = run(d, ['--update']);
+  // fixture 无 .agents/ → 基线落包源径（resolveLock 布局回落，见 T9/T10）
+  const lockPath = path.join(d, 'templates', '_agents', 'engine-lock.json');
+  let lock = null;
+  try { lock = JSON.parse(fs.readFileSync(lockPath, 'utf8')); } catch { /* 断言兜 */ }
+  const r = run(d);
+  check('T2a --update → exit 0 且基线入账受检面', u.code === 0 && !!lock && !!lock.files['templates/_agents/scripts/gate.mjs'], u.out);
+  check('T2b 基线记 hard=3（2 blocker + 1 exit(1)）', !!lock && lock.files['templates/_agents/scripts/gate.mjs'].hard === 3, JSON.stringify(lock && lock.files['templates/_agents/scripts/gate.mjs']));
+  check('T2c 钩子入面 hard=1（exit 1 计数）', !!lock && lock.files['.githooks/pre-commit'].hard === 1, JSON.stringify(lock && lock.files['.githooks/pre-commit']));
+  check('T2d 盘面未变 → exit 0 且报「与基线一致」', r.code === 0 && r.out.includes('盘面与基线一致'), r.out);
+}
+
+// --- T3 硬拦单位数下降 → 无条件拦（有入口也不放行）---
+{
+  const d = mkfix({ withEntry: true });
+  run(d, ['--update']);
+  w(d, 'templates/_agents/scripts/gate.mjs', '// 门禁样例（退役一条 blocker）\nblockers.push(`A`);\nif (bad) process.exit(1);\n');
+  const r = run(d);
+  check('T3 删 blocker.push → [硬拦面收缩] 且点名文件与减量',
+    r.code === 1 && r.out.includes('[硬拦面收缩]') && r.out.includes('gate.mjs') && r.out.includes('3 → 2'), r.out);
+  check('T3b 有活跃 L2 入口仍拦（收缩无豁免出口）', r.code === 1 && r.out.includes('[硬拦面收缩]'), r.out);
+}
+
+// --- T4 非收缩改动：无入口拦、有入口放行 ---
+{
+  const d = mkfix();
+  run(d, ['--update']);
+  w(d, 'templates/_agents/scripts/gate.mjs', '// 门禁样例（改写文案）\n// 说明行\ntoast(`hint`);\nblockers.push(`A`);\nblockers.push(`B`);\nif (bad) process.exit(1);\n');
+  const noEntry = run(d);
+  check('T4a 内容漂移 + 无入口 → [控制面改动无入口]',
+    noEntry.code === 1 && noEntry.out.includes('[控制面改动无入口]') && noEntry.out.includes('gate.mjs'), noEntry.out);
+  w(d, 'workflow/intents/2026-10-09-ctrl.md',
+    '---\n状态: approved\n级别: L2\n日期: 2026-10-09\n模块: gate\n---\n# INTENT\n改动面：templates/_agents/scripts/gate.mjs\n');
+  const withEntry = run(d);
+  check('T4b 同一改动 + 活跃 L2 入口点名该件 → 放行', withEntry.code === 0, withEntry.out);
+}
+// --- T4c 入口存在但级别为 L1（协作道）→ 不算点名 ---
+{
+  const d = mkfix({ withEntry: false });
+  run(d, ['--update']);
+  w(d, 'templates/_agents/scripts/gate.mjs', 'blockers.push(`A`);\nblockers.push(`B`);\nif (bad) process.exit(1);\n// 追加注释不改硬拦面\n');
+  w(d, 'workflow/intents/2026-10-09-low.md', '---\n状态: approved\n级别: L1\n日期: 2026-10-09\n模块: gate\n---\n改动面：gate.mjs\n');
+  const r = run(d);
+  check('T4c L1 入口点名不豁免（控制面须防御道）', r.code === 1 && r.out.includes('[控制面改动无入口]'), r.out);
+}
+// --- T4d 入口非活跃（done 已关单）→ 不算点名 ---
+{
+  const d = mkfix({ withEntry: false });
+  run(d, ['--update']);
+  w(d, 'templates/_agents/scripts/gate.mjs', 'blockers.push(`A`);\nblockers.push(`B`);\nif (bad) process.exit(1);\n// 追加注释\n');
+  w(d, 'workflow/intents/2026-10-09-done.md', '---\n状态: done\n级别: L2\n日期: 2026-10-09\n模块: gate\n---\n改动面：gate.mjs\n');
+  const r = run(d);
+  check('T4d done 入口不点名（活跃口径：draft/approved）', r.code === 1 && r.out.includes('[控制面改动无入口]'), r.out);
+}
+
+// --- T5 门禁件消失 / 新增件未入基线 ---
+{
+  const d = mkfix();
+  run(d, ['--update']);
+  fs.rmSync(path.join(d, 'templates/_agents/scripts/gate.mjs'));
+  let r = run(d);
+  check('T5a 删除门禁件 → [门禁件消失]', r.code === 1 && r.out.includes('[门禁件消失]'), r.out);
+}
+{
+  const d = mkfix();
+  run(d, ['--update']);
+  w(d, 'templates/_agents/scripts/newgate.mjs', 'blockers.push(`X`);\n');
+  const r = run(d);
+  check('T5b 新受检件未入账 → [门禁件未入基线]，--update 后放行',
+    r.code === 1 && r.out.includes('[门禁件未入基线]') && r.out.includes('newgate.mjs'), r.out);
+  run(d, ['--update']);
+  check('T5c --update 把新件入账后 exit 0', run(d).code === 0);
+}
+
+// --- T6 外部副本锚 ---
+{
+  const d = mkfix();
+  run(d, ['--update']);
+  const bad = run(d, ['--against', path.join(d, 'nope')]);
+  check('T6a --against 目录不存在 → 用法错误 exit 2', bad.code === 2 && bad.out.includes('目录不存在'), bad.out);
+  const ext = fs.mkdtempSync(path.join(os.tmpdir(), 'engine-integrity-ext-'));
+  w(ext, 'templates/_agents/scripts/gate.mjs', '// 外部已知良好副本（与盘面不同）\nblockers.push(`A`);\n');
+  const r = run(d, ['--against', ext]);
+  check('T6b 与外部副本逐字失配 → [外部锚失配]', r.code === 1 && r.out.includes('[外部锚失配]'), r.out);
+}
+
+// --- T7 跨提交锚（真 git 仓端到端：本门存在的理由）---
+if (haveGit) {
+  const d = mkfix();
+  git(d, ['init', '-q']);
+  git(d, ['config', 'user.email', 't@example.com']);
+  git(d, ['config', 'user.name', 'fixture']);
+  run(d, ['--update']);
+  git(d, ['add', '-A']);
+  git(d, ['commit', '-q', '-m', 'chore: 基线入账']);
+  // 改弱门禁 + 同批刷基线：本地层完全自洽（这正是 CI 自指的形态）
+  w(d, 'templates/_agents/scripts/gate.mjs', '// 退役一条判据\nblockers.push(`A`);\nif (bad) process.exit(1);\n');
+  run(d, ['--update']);
+  const local = run(d);
+  check('T7a 改弱 + 刷基线 → 本地层自洽放行（缺陷场景复现）', local.code === 0, local.out);
+  const anchored = run(d, ['--against-ref', 'HEAD']);
+  check('T7b 跨提交锚（祖先提交基线）出账 [硬拦面收缩（跨提交锚）]',
+    anchored.code === 1 && anchored.out.includes('[硬拦面收缩（跨提交锚）]') && /3（见 HEAD）→ 盘面 2/.test(anchored.out), anchored.out);
+  // 合法退役出口：活跃 L2 入口点名该件
+  w(d, 'workflow/intents/2026-10-09-retire.md',
+    '---\n状态: approved\n级别: L2\n日期: 2026-10-09\n模块: gate\n---\n# INTENT\n改动面：templates/_agents/scripts/gate.mjs（退役 B 判据）\n');
+  git(d, ['add', '-A']);
+  git(d, ['commit', '-q', '-m', 'docs(gate): L2 入口留痕']);
+  const declared = run(d, ['--against-ref', 'HEAD~1']);
+  check('T7c 声明过的收缩（L2 入口点名）→ 跨提交锚放行', declared.code === 0, declared.out);
+  // 锚缺失（首个入账提交之前）→ 跳过不误报
+  const missing = run(d, ['--against-ref', 'HEAD~9']);
+  check('T7d ref 不可解析 → 锚缺失跳过（exit 0 不假阳性）', missing.code === 0 && missing.out.includes('跨提交锚缺失'), missing.out);
+  // 严格档反例（T7e）：正文顺手提及 ≠ 声明改动面——存量无关 L2 文档不得替改弱行为背书
+  w(d, 'workflow/intents/2026-10-09-retire.md',
+    '---\n状态: superseded\n级别: L2\n日期: 2026-10-09\n模块: gate\n---\n# INTENT\n改动面：templates/_agents/scripts/gate.mjs\n');
+  w(d, 'workflow/intents/2026-10-09-prose.md',
+    '---\n状态: approved\n级别: L2\n日期: 2026-10-09\n模块: gate\n---\n# INTENT\n本批沿用 gate.mjs 与 check-loop.mjs 的既有判据，未改动它们。\n');
+  git(d, ['add', '-A']);
+  git(d, ['commit', '-q', '-m', 'docs(gate):  prose 提及（非声明改动面）']);
+  const prose = run(d, ['--against-ref', 'HEAD~2']);
+  check('T7e 正文提及但无 §改动面 声明 → 跨提交锚仍拦（严格档：模糊提及不豁免收缩）',
+    prose.code === 1 && prose.out.includes('[硬拦面收缩（跨提交锚）]'), prose.out);
+} else {
+  console.log('SKIP T7 跨提交锚（未找到 git）');
+}
+
+// --- T8 --quiet 静默面（钩子里调用不刷屏）---
+{
+  const d = mkfix();
+  run(d, ['--update']);
+  const r = run(d, ['--quiet']);
+  check('T8 --quiet 通过时不打印 ✅ 行', r.code === 0 && !r.out.includes('✅'), r.out);
+}
+
+// --- T9 装户布局：.agents/ 在 → 基线落装户径，不新建 templates/_agents/engine-lock.json ---
+{
+  const d = fs.mkdtempSync(path.join(os.tmpdir(), 'engine-integrity-test-'));
+  w(d, '.agents/scripts/gate.mjs', 'blockers.push(`A`);\nblockers.push(`B`);\nif (bad) process.exit(1);\n');
+  w(d, 'AGENTS.md', '# 协议\n- 规则一\n');
+  const u = run(d, ['--update']);
+  let lock = null;
+  try { lock = JSON.parse(fs.readFileSync(path.join(d, '.agents', 'engine-lock.json'), 'utf8')); } catch { /* 断言兜 */ }
+  check('T9a .agents/ 在 → --update 落 .agents/engine-lock.json（装户径行为不变）',
+    u.code === 0 && !!lock && !!lock.files['.agents/scripts/gate.mjs'], u.out);
+  check('T9b 装户布局不新建 templates/_agents/engine-lock.json',
+    !fs.existsSync(path.join(d, 'templates', '_agents', 'engine-lock.json')), '');
+  fs.rmSync(d, { recursive: true, force: true });
+}
+
+// --- T10 包源布局：无 .agents/ → 基线落包源径，不得重建装户目录（装户端内容清理后回归锁）---
+{
+  const d = fs.mkdtempSync(path.join(os.tmpdir(), 'engine-integrity-test-'));
+  w(d, 'templates/_agents/scripts/gate.mjs', 'blockers.push(`A`);\nblockers.push(`B`);\nif (bad) process.exit(1);\n');
+  w(d, 'templates/AGENTS.md', '# 协议\n- 规则一\n');
+  const u = run(d, ['--update']);
+  let lock = null;
+  try { lock = JSON.parse(fs.readFileSync(path.join(d, 'templates', '_agents', 'engine-lock.json'), 'utf8')); } catch { /* 断言兜 */ }
+  check('T10a 无 .agents/ → --update 落 templates/_agents/engine-lock.json 且入账受检面',
+    u.code === 0 && !!lock && !!lock.files['templates/_agents/scripts/gate.mjs'], u.out);
+  check('T10b --update 不重建 .agents/ 目录（旧实现按装户径兜底会重建已清理的装户目录）',
+    !fs.existsSync(path.join(d, '.agents')), '');
+  const r = run(d);
+  check('T10c 基线启用 → 「盘面与基线一致」且未启用提示点包源径',
+    r.code === 0 && r.out.includes('盘面与基线一致'), r.out);
+  fs.rmSync(d, { recursive: true, force: true });
+}
+
+console.log(`\ncheck-engine-integrity: ${pass} PASS / ${fail} FAIL`);
+process.exit(fail ? 1 : 0);

package/templates/_agents/scripts/check-lane-surface.mjs

@@ -1,5 +1,10 @@
 #!/usr/bin/env node
 // check-lane-surface.mjs — 泳道完整性门禁（pre-commit 增量；2026-10-01 drift-hardening）
+// 布局前提：本门读 .agents/lane-surfaces.txt，豁免出口是 workflow/intents 的活跃 L2/L3 入口——
+//   二者都是**装户侧**件。纯包源仓（装户端内容清理后）两处皆无：清单缺失 = 检查 A/C 按既定
+//   「装户无感」口径跳过，本门整体惰性。此时把清单解析改双路径**只会让门跑起来而不会可用**——
+//   无 L2 入口机器时，任何控制面改动都走「无活跃入口」分支（A 出 advisory / C 出 BLOCK），
+//   纯包源仓的控制面保护改由 npm test（47 套件覆盖门禁逻辑）+ 评审 + CHANGELOG 承担。
 // 检查 A「触达面判低」：暂存 diff 命中项目 L2 触达面（.agents/lane-surfaces.txt，ERE 逐行；
 //   # 注释与空行忽略；文件缺失或清单为空 = 检查跳过，装户无感）时——
 //   存在活跃 L2/L3 入口 → 放行（归因歧义为已知边界：机器不猜「哪个入口在干这批改动」）；
@@ -10,7 +15,7 @@
 // 检查 B「探索标记缺失」：experiment/* 分支暂存的 workflow/intents/*.md（排除 _TEMPLATE）
 //   frontmatter 无「阶段: exploring」且无「状态: exploring」（口径同 check-loop 加固门）→ hard 拦。
 //   标记是加固门覆盖率的前提且补写零成本——advisory 免的是纪律负担，不免标记本身。
-// 判据原则（incidents/2026-09-28-batch-ledger-audit 教训）：只用一手事实——暂存文件清单、
+// 判据原则（2026-09-28 台账批量代录事故教训）：只用一手事实——暂存文件清单、
 //   当前分支名、工作区 frontmatter 字段；不用时间戳 / 字符串相等反推过程事实。
 // 边界：git 调用一律 -c core.quotepath=off（非 ASCII 路径教训，同 check-pairing-incremental.sh）；
 //   frontmatter 读取容忍 CRLF（显式按 \r?\n 切分）；detached HEAD 分支不可判 → A 按 strict、
@@ -171,7 +176,7 @@ if (isExperiment) {
 for (const a of advisories) console.error(`泳道完整性（增量）— advisory:\n${a}\n`);
 if (blocks.length) {
   for (const b of blocks) console.error(`泳道完整性（增量）— BLOCK:\n${b}\n`);
-  console.error('pre-commit: 泳道完整性未通过，提交已阻止（spec: workflow/specs/2026-10-01-drift-hardening.md）');
+  console.error('pre-commit: 泳道完整性未通过，提交已阻止（判据见 .agents/commands/new-task.md §级别判断）');
   process.exit(1);
 }
 process.exit(0);

package/templates/_agents/scripts/check-ledger-invariant.mjs

@@ -16,6 +16,12 @@
 //   ④ doc 匹配 workflow/(intents|specs|plans|incidents)/[^/]+.md 且当前树存在
 //   ⑤ stage ∈ 合法跳转终态集（approved/done/fixed/closed/superseded/cancelled）
 //
+// 行级豁免（2026-10-09 ledger-line-exempt，CI 红事故处置）：.agents/ledger-line-exempt.json 登记
+// 已定性的污染行（{line, doc, reason}——line = 校验序号即非空行序）——行级五项对豁免行整体跳过、
+// 行**保留在台账**（审计面完整），豁免计数照常出账保持可见。定位：事故行无法追加修复（行级扫最终树
+// 全行）且不可就地改（历史前缀不变量）——superseded 重立单之外的唯一出口。**滥用边界**：豁免文件
+// 自身入库、git 历史可对质；逐条须 papercuts/incident 定性引用，无定性登记 = 审计事件。
+//
 // 静默条件：台账不存在 / 零提交历史（装户、新仓）/ --staged 且暂存未触台账或无 HEAD 版本。
 // 已知边界：git log --follow 未用——台账自创建无重命名（单一路径取史）；克隆深度不足时仅扫可得
 //   历史（CI 侧 fetch-depth:0 兜全史，深度不足会告警声明边界，fail-open 于深度、fail-closed 于内容）。
@@ -102,9 +108,20 @@ let rows = [];
 try {
   rows = fs.readFileSync(FILE, 'utf8').split(/\r?\n/).filter((l) => l.trim()).map((l) => { try { return JSON.parse(l); } catch { return null; } });
 } catch { /* 上面 existsSync 已兜 */ }
+const EXEMPT_P = path.join(ROOT, '.agents', 'ledger-line-exempt.json');
+const exemptLines = new Set();
+try {
+  if (fs.existsSync(EXEMPT_P)) {
+    for (const e of JSON.parse(fs.readFileSync(EXEMPT_P, 'utf8'))) {
+      if (e && Number.isInteger(e.line)) exemptLines.add(e.line);
+    }
+  }
+} catch { /* 豁免表损坏 → 视同无豁免（fail-closed 于校验面） */ }
+let exemptCount = 0;
 let prevTs = '';
 rows.forEach((e, idx) => {
   const at = `第 ${idx + 1} 行`;
+  if (exemptLines.has(idx + 1)) { exemptCount++; return; } // 事故行豁免（登记文件入库可对质）
   if (!e || typeof e !== 'object') { problems.push(`- [行级] ${at}：非 JSON 对象行`); return; }
   if (typeof e.ts !== 'string' || Number.isNaN(Date.parse(e.ts))) problems.push(`- [行级] ${at}：ts 非 ISO 字符串`);
   else {
@@ -126,6 +143,7 @@ rows.forEach((e, idx) => {
   if (!VALID_STAGES.has(e.stage)) problems.push(`- [行级] ${at}：stage「${e.stage || '缺失'}」不在合法跳转终态集`);
 });
 
+if (exemptCount) console.log(`ℹ️  台账豁免行 ${exemptCount} 条（定性见 .agents/ledger-line-exempt.json）`);
 if (problems.length) {
   console.error(`台账不可变（历史全扫）— HARD-BLOCK:\n\n${problems.join('\n')}\n`);
   console.error('  修法：台账历史行禁删改（append-only 前缀不变量）——误写只能追加补偿行；确需撤销历史提交请 git revert 后重新追加。篡改属审计事件，保留现场联系仓库所有者。');

package/templates/_agents/scripts/check-ledger-invariant.test.mjs

@@ -157,5 +157,21 @@ const append = (d, line) => fs.appendFileSync(ledPath(d), line + '\n');
   check('S12 回退注记行（n/a 指纹）→ 历史全扫过', r.code === 0, r.out);
 }
 
+// ---- 豁免登记（2026-10-09 ledger-line-exempt，CI 红事故处置）----
+{
+  // 坏行（fingerprint 非 hex + doc 不存在）→ 红；登记豁免 → 绿 + 计数可见
+  const d = mkrepo(row({ fingerprint: 'probe-fp', doc: 'workflow/intents/ghost.md' }));
+  let r = run(d);
+  check('豁免前：行级坏行 hard（fingerprint/doc 双违规）', r.code === 1 && r.out.includes('行级'), r.out.slice(0, 200));
+  fs.writeFileSync(path.join(d, '.agents', 'ledger-line-exempt.json'), JSON.stringify([{ line: 1, doc: 'workflow/intents/ghost.md', reason: '事故定性' }], null, 2));
+  r = run(d);
+  check('豁免后：exit 0 且计数可见', r.code === 0 && r.out.includes('台账豁免行 1 条'), r.out.slice(0, 200));
+  // 行号错位豁免不生效（line=99 无对应坏行）
+  fs.writeFileSync(path.join(d, '.agents', 'ledger-line-exempt.json'), JSON.stringify([{ line: 99, reason: '错位' }]));
+  r = run(d);
+  check('豁免行号不匹配：仍 hard（精确豁免）', r.code === 1, r.out.slice(0, 150));
+  fs.rmSync(d, { recursive: true, force: true });
+}
+
 console.log(`\n${fail ? `❌ ${fail} failed` : '✅ all passed'}（${pass} passed）`);
 process.exit(fail ? 1 : 0);

package/templates/_agents/scripts/check-ledger.test.mjs

@@ -117,6 +117,8 @@ const runCli = (cwd) => spawnSync(process.execPath, [SCRIPT], { encoding: 'utf8'
   }
   if (!srcRoot || !fs.existsSync(path.join(srcRoot, 'templates', '_agents'))) {
     console.log('SKIP S9（装户环境无包源，不计失败）');
+  } else if (!fs.existsSync(path.join(srcRoot, '.agents', 'kit.json'))) {
+    console.log('SKIP S9（纯包源仓无 .agents/ 装副本——装户端内容清理后形态，不计失败）');
   } else {
     const r = ledgerDrift(srcRoot);
     check('S9 真实仓 baseline → 台账↔盘面全对齐', !r.skipped && r.modified.length === 0 && r.gone.length === 0, JSON.stringify({ modified: r.modified, gone: r.gone }));