agentic-flow-kit 0.5.0 → 0.6.0

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

@@ -10,6 +10,7 @@ import os from 'node:os';
 import path from 'node:path';
 import { spawnSync } from 'node:child_process';
 import { fileURLToPath } from 'node:url';
+import { computeFingerprint } from './confirm-doc.mjs';
 
 const SCRIPT_DIR = path.dirname(fileURLToPath(import.meta.url));
 const CHECK_LOOP = path.join(SCRIPT_DIR, 'check-loop.mjs');
@@ -85,6 +86,19 @@ const gitCommitAll = (root, msg) => {
   spawnSync(G, ['-c', 'user.email=t@t', '-c', 'user.name=t', 'commit', '-qm', msg], { cwd: root });
 };
 const rmfix = (root) => fs.rmSync(root, { recursive: true, force: true });
+// writeLedger：fixture 台账辅助（检查 15 配对用；行 schema 同 confirm-doc.mjs appendLedger）
+const writeLedger = (root, entries) => {
+  fs.mkdirSync(path.join(root, '.agents'), { recursive: true });
+  fs.writeFileSync(path.join(root, '.agents', 'confirmations.jsonl'),
+    entries.map((e) => JSON.stringify(e)).join('\n') + '\n');
+};
+// mkConfirmedDoc：落一份「带真实指纹 + 台账配对」的文档（复刻 confirm-doc 落态形态）
+const mkConfirmedDoc = (root, rel, fmBody) => {
+  const noFp = `---\n${fmBody}\n---\n# DOC\n`;
+  const fp = computeFingerprint(noFp);
+  fs.writeFileSync(path.join(root, rel), `---\n${fmBody}\n确认指纹: ${fp.slice(0, 16)}\n---\n# DOC\n`);
+  return { rel: rel.replace(/\\/g, '/'), fp };
+};
 
 // ---- 场景 1:全合法闭环（intent+plan,L1,done 全勾验带证据）→ exit 0 ----
 {
@@ -133,10 +147,14 @@ const rmfix = (root) => fs.rmSync(root, { recursive: true, force: true });
 }
 
 // ---- 场景 6:新建 done intent 验收未勾验 → hard;带附注不影响判定（papercut #4 回归）----
+// 换锚（2026-09-28 check8-git-anchor）后「新建」由 **git 首次加入日期**判定（文件名字段不再作锚），
+// 故本场景须为真 git 仓——否则不可判定、走存量口径而不再 hard。**意图与断言强度均不变**。
 {
   const T = mkfix();
+  gitInit(T);
   w(T, 'workflow/intents/2026-09-13-e.md', INTENT('e', '状态: done\n级别: L1\n日期: 2026-09-13\n备注: 回溯补档,原工作 2026-09-12 完成', '\n## 验收标准（可测试）\n- [ ] 用例通过\n'));
   w(T, 'workflow/plans/2026-09-13-e.md', PLAN('e', '状态: done\n级别: L1'));
+  gitCommitAll(T, 'add');
   expectHard('新建 done 未勾验(附注在备注键) → hard 验收未对账', T, '验收未对账');
   rmfix(T);
 }
@@ -268,8 +286,10 @@ const rmfix = (root) => fs.rmSync(root, { recursive: true, force: true });
 // ---- 场景 18:新建 done intent 缺「## 验收标准」节 → hard（2026-09-16 补口回归）----
 {
   const T = mkfix();
+  gitInit(T);
   w(T, 'workflow/intents/2026-09-13-r.md', INTENT('r', '状态: done\n级别: L1\n日期: 2026-09-13', '\n## 目标\n关单前未写验收标准节。\n'));
   w(T, 'workflow/plans/2026-09-13-r.md', PLAN('r', '状态: done\n级别: L1'));
+  gitCommitAll(T, 'add');
   expectHard('新建 done 缺验收标准节 → hard 验收未对账', T, '缺「## 验收标准」节');
   rmfix(T);
 }
@@ -277,8 +297,10 @@ const rmfix = (root) => fs.rmSync(root, { recursive: true, force: true });
 // ---- 场景 19:新建 done 勾选项缩进写法 → hard（口径放宽后仍拦）----
 {
   const T = mkfix();
+  gitInit(T);
   w(T, 'workflow/intents/2026-09-13-s.md', INTENT('s', '状态: done\n级别: L1\n日期: 2026-09-13', '\n## 验收标准（可测试）\n  - [ ] 缩进未勾项（此前后静默通过）\n'));
   w(T, 'workflow/plans/2026-09-13-s.md', PLAN('s', '状态: done\n级别: L1'));
+  gitCommitAll(T, 'add');
   expectHard('新建 done 勾选项缩进 → hard 验收未对账', T, '验收未对账');
   rmfix(T);
 }
@@ -477,5 +499,604 @@ const rmfix = (root) => fs.rmSync(root, { recursive: true, force: true });
   rmfix(T);
 }
 
+// ---- 场景 37/38/39/40:检查 15 确认指纹对账——无指纹拦 / 配对齐过 / 指纹不符拦 / 生效日前豁免 ----
+{
+  const T = mkfix();
+  w(T, 'workflow/intents/2026-09-27-cg.md', INTENT('cg', '状态: approved\n级别: L1\n日期: 2026-09-27'));
+  w(T, 'workflow/plans/2026-09-27-cg.md', PLAN('cg', '状态: draft\n级别: L1'));
+  expectHard('检查15:生效日起新档 approved 无指纹无台账 → hard 确认未对账', T, '确认未对账');
+  rmfix(T);
+}
+{
+  const T = mkfix();
+  const i1 = mkConfirmedDoc(T, 'workflow/intents/2026-09-27-ok15.md', '状态: approved\n级别: L1\n日期: 2026-09-27');
+  const p1 = mkConfirmedDoc(T, 'workflow/plans/2026-09-27-ok15.md', '状态: approved\n级别: L1');
+  writeLedger(T, [
+    { ts: 'T', doc: i1.rel, stage: 'approved', fingerprint: i1.fp, prev: 'draft' },
+    { ts: 'T', doc: p1.rel, stage: 'approved', fingerprint: p1.fp, prev: 'draft' },
+  ]);
+  expectOk('检查15:指纹+台账配对齐 → exit 0', T);
+  rmfix(T);
+}
+{
+  const T = mkfix();
+  const i1 = mkConfirmedDoc(T, 'workflow/intents/2026-09-27-bad15.md', '状态: approved\n级别: L1\n日期: 2026-09-27');
+  w(T, 'workflow/plans/2026-09-27-bad15.md', PLAN('bad15', '状态: draft\n级别: L1'));
+  writeLedger(T, [{ ts: 'T', doc: i1.rel, stage: 'approved', fingerprint: 'e'.repeat(64), prev: 'draft' }]); // 指纹不符
+  expectHard('检查15:指纹与台账不配对 → hard 确认未对账', T, '确认未对账');
+  rmfix(T);
+}
+{
+  const T = mkfix();
+  // 豁免理由（2026-09-28 锚改台账 ts 后）：**台账无行** ⇒ 存量未受管，与文档自报日期无关。
+  // 本场景构造的正是「日期早 + 无台账」——换锚前后结论一致，但理由已从「日期早于生效日」变为「无台账行」。
+  w(T, 'workflow/intents/2026-09-26-old15.md', INTENT('old15', '状态: approved\n级别: L1\n日期: 2026-09-26'));
+  w(T, 'workflow/plans/2026-09-26-old15.md', PLAN('old15', '状态: draft\n级别: L1'));
+  expectOk('检查15:存量 approved 无台账行 → 豁免 exit 0', T);
+  rmfix(T);
+}
+
+// ---- 场景 40:检查 8——证据写在 [x] 续行（仓库通写法「（证据：…）」另起一行）→ 不报缺证据 ----
+{
+  const T = mkfix();
+  w(T, 'workflow/intents/2026-09-12-ev1.md', INTENT('ev1', '状态: done\n级别: L1\n日期: 2026-09-12',
+    '\n## 验收标准（可测试）\n- [x] 用例通过\n（证据：commit fixture；套件全绿）\n- [x] 文档补齐\n（证据：AGENTS.md 第 1 行）\n'));
+  w(T, 'workflow/plans/2026-09-12-ev1.md', PLAN('ev1', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('证据在续行（全角冒号）→ 不报验收缺证据',
+    r.status === 0 && !outOf(r).includes('验收缺证据'), `exit=${r.status}\n${outOf(r)}`);
+  rmfix(T);
+}
+// ---- 场景 41:检查 8——[x] 无证据且续行也无 → 报验收缺证据（回归：不可把豁免放大成漏检）----
+// 换锚后须真 git 仓：否则不可判定 → 走存量口径，「验收缺证据」这条 warning 也不再产出。
+{
+  const T = mkfix();
+  gitInit(T);
+  w(T, 'workflow/intents/2026-09-12-ev2.md', INTENT('ev2', '状态: done\n级别: L1\n日期: 2026-09-12',
+    '\n## 验收标准（可测试）\n- [x] 用例通过\n- [x] 文档补齐\n（说明：无证据行）\n'));
+  w(T, 'workflow/plans/2026-09-12-ev2.md', PLAN('ev2', '状态: done\n级别: L1'));
+  gitCommitAll(T, 'add');
+  const r = run(T);
+  check('[x] 续行仍无证据 → 报验收缺证据',
+    r.status === 0 && outOf(r).includes('验收缺证据'), `exit=${r.status}\n${outOf(r)}`);
+  rmfix(T);
+}
+// ---- 场景 42:检查 4——fill-{intent,spec,plan}.mjs 花括号展开，三路皆存在 → 不报引用断档 ----
+{
+  const T = mkfix();
+  w(T, 'AGENTS.md', '# AGENTS\n\n起草先跑 `node .agents/scripts/fill-{intent,spec,plan}.mjs` 拿结构化草稿。\n');
+  fs.mkdirSync(path.join(T, '.agents', 'scripts'), { recursive: true });
+  for (const n of ['fill-intent', 'fill-spec', 'fill-plan']) w(T, `.agents/scripts/${n}.mjs`, '// stub\n');
+  w(T, 'workflow/intents/2026-09-12-br1.md', INTENT('br1', '状态: done\n级别: L1\n日期: 2026-09-12', '\n## 验收标准（可测试）\n- [x] 用例通过（证据:fixture）\n'));
+  w(T, 'workflow/plans/2026-09-12-br1.md', PLAN('br1', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('花括号展开三路存在 → 不报引用断档',
+    r.status === 0 && !outOf(r).includes('引用断档'), `exit=${r.status}\n${outOf(r)}`);
+  rmfix(T);
+}
+// ---- 场景 43:检查 4——花括号展开三路皆不存在 → 仍报引用断档（带完整展开式文案）----
+{
+  const T = mkfix();
+  w(T, 'AGENTS.md', '# AGENTS\n\n起草先跑 `node .agents/scripts/fill-{alpha,beta,gamma}.mjs` 拿结构化草稿。\n');
+  w(T, 'workflow/intents/2026-09-12-br2.md', INTENT('br2', '状态: done\n级别: L1\n日期: 2026-09-12', '\n## 验收标准（可测试）\n- [x] 用例通过（证据:fixture）\n'));
+  w(T, 'workflow/plans/2026-09-12-br2.md', PLAN('br2', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('花括号展开三路皆无 → 仍报引用断档',
+    r.status === 0 && /引用断档.*fill-\{alpha,beta,gamma\}\.mjs/.test(outOf(r)), `exit=${r.status}\n${outOf(r)}`);
+  rmfix(T);
+}
+// ---- 场景 44:检查 2——<主题> 与 .md 同行 = 命名约定描述 → 不报模板未填 ----
+{
+  const T = mkfix();
+  w(T, 'workflow/intents/2026-09-01-nm1.md', INTENT('nm1', '状态: done\n级别: L1\n日期: 2026-09-01',
+    '\n编排脚本（`.agents/workflows/<主题>.md`）：frontmatter + stages 表。\n复制本模板为 YYYY-MM-DD-<主题>.md 后填写。\n'));
+  w(T, 'workflow/plans/2026-09-01-nm1.md', PLAN('nm1', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('<主题>+.md 命名约定行 → 不报模板未填',
+    r.status === 0 && !outOf(r).includes('模板未填'), `exit=${r.status}\n${outOf(r)}`);
+  rmfix(T);
+}
+// ---- 场景 45:检查 2——真未填占位（标题 <主题>，无 .md）→ 仍报模板未填 ----
+{
+  const T = mkfix();
+  w(T, 'workflow/intents/2026-09-01-nm2.md', INTENT('<主题>', '状态: done\n级别: L1\n日期: 2026-09-01', '\n正文无占位。\n'));
+  w(T, 'workflow/plans/2026-09-01-nm2.md', PLAN('nm2', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('标题 <主题>（无 .md）→ 仍报模板未填',
+    r.status === 0 && outOf(r).includes('模板未填'), `exit=${r.status}\n${outOf(r)}`);
+  rmfix(T);
+}
+// ---- 场景 46:检查 6——薄适配正文含 .agents/roles/<role>.md 引用 → 不报 Adapter 断线 ----
+{
+  const T = mkfix();
+  w(T, 'workflow/intents/2026-09-12-ad1.md', INTENT('ad1', '状态: done\n级别: L1\n日期: 2026-09-12', '\n## 验收标准（可测试）\n- [x] 用例通过（证据:fixture）\n'));
+  w(T, 'workflow/plans/2026-09-12-ad1.md', PLAN('ad1', '状态: done\n级别: L1'));
+  fs.mkdirSync(path.join(T, '.agents', 'roles'), { recursive: true });
+  fs.mkdirSync(path.join(T, '.zcode', 'agents'), { recursive: true });
+  w(T, '.agents/roles/implementer.md', '# role implementer\n');
+  w(T, '.zcode/agents/implementer.md', '---\nname: implementer\n---\n> 契约见 `.agents/roles/implementer.md`。\n');
+  const r = run(T);
+  check('薄适配含角色引用 → 不报 Adapter 断线',
+    r.status === 0 && !outOf(r).includes('Adapter 断线'), `exit=${r.status}\n${outOf(r)}`);
+  rmfix(T);
+}
+// ---- 场景 47:检查 4——fill-*.mjs 星号通配，目录内有匹配文件 → 不报引用断档；无匹配 → 仍报 ----
+{
+  const T = mkfix();
+  w(T, 'AGENTS.md', '# AGENTS\n\n起草先跑 `node .agents/scripts/fill-*.mjs`；孤儿引用 `.agents/scripts/ghost-*.mjs`。\n');
+  fs.mkdirSync(path.join(T, '.agents', 'scripts'), { recursive: true });
+  for (const n of ['fill-intent', 'fill-spec', 'fill-plan']) w(T, `.agents/scripts/${n}.mjs`, '// stub\n');
+  w(T, 'workflow/intents/2026-09-12-gb1.md', INTENT('gb1', '状态: done\n级别: L1\n日期: 2026-09-12', '\n## 验收标准（可测试）\n- [x] 用例通过（证据:fixture）\n'));
+  w(T, 'workflow/plans/2026-09-12-gb1.md', PLAN('gb1', '状态: done\n级别: L1'));
+  const r = run(T);
+  check('星号通配有匹配 → 不报；无匹配 → 仍报引用断档',
+    r.status === 0 && !/引用断档.*fill-\*/.test(outOf(r)) && /引用断档.*ghost-\*\.mjs/.test(outOf(r)), `exit=${r.status}\n${outOf(r)}`);
+  rmfix(T);
+}
+// ---- 场景 48:检查 15——委托代录台账行（source/quote 额外字段）照常配对放行（两形态口径，2026-09-27 confirm-gate-delegated）----
+{
+  const T = mkfix();
+  const i1 = mkConfirmedDoc(T, 'workflow/intents/2026-09-27-del15.md', '状态: approved\n级别: L1\n日期: 2026-09-27');
+  const p1 = mkConfirmedDoc(T, 'workflow/plans/2026-09-27-del15.md', '状态: approved\n级别: L1');
+  writeLedger(T, [
+    { ts: 'T', doc: i1.rel, stage: 'approved', fingerprint: i1.fp, prev: 'draft', source: 'chat-delegated', quote: '2选2' },
+    { ts: 'T', doc: p1.rel, stage: 'approved', fingerprint: p1.fp, prev: 'draft', source: 'tty' },
+  ]);
+  expectOk('检查15:委托代录台账行（source+quote）照常配对 → exit 0', T);
+  rmfix(T);
+}
+
+// ---- 场景 49-54:检查 15 done 内容绑定（2026-09-27 audit-gate-hardening；同日 p2-batch 改锚台账 ts + 保分隔符复原）----
+//     done 形态复刻真实时序：approved 内容（含 approved 指纹）→ done 指纹在其上计算 → 落 done 文档 + 台账 done 行
+//     opt.ts：台账 done 行 ts（默认 2026-09-28T02:00Z——生效锚后）；opt.sep：状态行键值分隔符（默认单空格，
+//     '  ' 复刻两跳间手工改成双空格的非规范格式）
+{
+  const mkDoneFixture = (T, date, tamper, opt = {}) => {
+    const sep = opt.sep || ' ';
+    const ts = opt.ts || '2026-09-28T02:00:00.000Z';
+    const body = `\n## 验收标准（可测试）\n- [x] 用例通过（证据:fixture）\n`;
+    const pre = `---\n状态:${sep}approved\n级别: L1\n日期: ${date}\n确认指纹: ${'a'.repeat(16)}\n---\n# INTENT — bind\n${body}`;
+    const fpDone = computeFingerprint(pre);
+    // tamper 只污染 done 落盘文本（不进指纹底稿）——复刻「done 确认后篡改正文」
+    const doneText = `---\n状态:${sep}done\n级别: L1\n日期: ${date}\n确认指纹: ${fpDone.slice(0, 16)}\n---\n# INTENT — bind\n${body}${tamper || ''}`;
+    w(T, 'workflow/intents/' + date + '-bind.md', doneText);
+    w(T, 'workflow/plans/' + date + '-bind.md', PLAN('bind', '状态: draft\n级别: L1'));
+    return { rel: 'workflow/intents/' + date + '-bind.md', fp: fpDone, ts };
+  };
+  {
+    const T = mkfix();
+    const d1 = mkDoneFixture(T, '2026-09-28');
+    writeLedger(T, [{ ts: d1.ts, doc: d1.rel, stage: 'done', fingerprint: d1.fp, prev: 'approved', source: 'tty' }]);
+    expectOk('检查15:done 内容与台账一致（复原重算=台账指纹）→ exit 0', T);
+    rmfix(T);
+  }
+  {
+    const T = mkfix();
+    const d1 = mkDoneFixture(T, '2026-09-28', '确认后被篡改的正文行\n');
+    writeLedger(T, [{ ts: d1.ts, doc: d1.rel, stage: 'done', fingerprint: d1.fp, prev: 'approved', source: 'tty' }]);
+    expectHard('检查15:done 后正文被篡改 → hard 确认内容漂移', T, '确认内容漂移');
+    rmfix(T);
+  }
+  {
+    const T = mkfix();
+    // 生效锚 = 台账 ts：文档日期晚、但确认发生在锚前（旧关单顺序时代）→ 豁免绑定
+    const d1 = mkDoneFixture(T, '2026-09-28', '锚前确认的文档即便日后改了也不绑\n', { ts: '2026-09-27T10:00:00.000Z' });
+    writeLedger(T, [{ ts: d1.ts, doc: d1.rel, stage: 'done', fingerprint: d1.fp, prev: 'approved', source: 'tty' }]);
+    expectOk('检查15:台账 ts 早于生效锚（2026-09-28）→ 豁免内容绑定', T);
+    rmfix(T);
+  }
+  {
+    const T = mkfix();
+    // 锚后确认 + 文档日期早（旧日期文档晚关单）+ 篡改 → 绑定照拦（p2-batch 改锚的核心收益）
+    const d1 = mkDoneFixture(T, '2026-09-27', '确认后被篡改的正文行\n');
+    writeLedger(T, [{ ts: d1.ts, doc: d1.rel, stage: 'done', fingerprint: d1.fp, prev: 'approved', source: 'tty' }]);
+    expectHard('检查15:文档日期早但台账 ts 锚后 + 篡改 → hard 确认内容漂移', T, '确认内容漂移');
+    rmfix(T);
+  }
+  {
+    const T = mkfix();
+    const d1 = mkDoneFixture(T, '2026-09-28');
+    writeLedger(T, [{ ts: d1.ts, doc: d1.rel, stage: 'done', fingerprint: d1.fp }]); // 无 prev（schema 演进前行）
+    const r = run(T);
+    check('检查15:台账 done 行缺 prev → 降级 WARN 绑定跳过（exit 0 不拦）',
+      r.status === 0 && outOf(r).includes('绑定降级'), `exit=${r.status}\n${outOf(r)}`);
+    rmfix(T);
+  }
+  {
+    const T = mkfix();
+    // 两跳间状态行被手工改成双空格（非规范分隔符）——保分隔符复原不误伤（p2-batch P2-1）
+    const d1 = mkDoneFixture(T, '2026-09-28', '', { sep: '  ' });
+    writeLedger(T, [{ ts: d1.ts, doc: d1.rel, stage: 'done', fingerprint: d1.fp, prev: 'approved', source: 'tty' }]);
+    expectOk('检查15:状态行双空格（非规范分隔符）绑定仍过——保分隔符复原不误伤', T);
+    rmfix(T);
+  }
+}
+
+// ---- 场景 55-56:检查 4 引用扫描收窄活跃态（2026-09-27 audit-gate-hardening）----
+{
+  const T = mkfix();
+  // 日期取生效日前（2026-09-26）：superseded 现入 15 配对集（closing-coverage），无台账行 ⇒ 免配对
+  // （2026-09-28 锚改台账 ts 后，豁免理由 = 无台账行），场景焦点保持在「终态退出引用扫描」本身
+  w(T, 'workflow/intents/2026-09-26-refterm.md', INTENT('refterm', '状态: superseded\n级别: L1\n日期: 2026-09-26', '\n引用 .agents/scripts/ghost-gone.mjs\n'));
+  w(T, 'workflow/plans/2026-09-26-refterm.md', PLAN('refterm', '状态: superseded\n级别: L1'));
+  const r = run(T);
+  check('检查4:终态文档引用断链不再报（历史叙述退出扫描）',
+    r.status === 0 && !outOf(r).includes('引用断档'), `exit=${r.status}\n${outOf(r)}`);
+  rmfix(T);
+}
+{
+  const T = mkfix();
+  w(T, 'workflow/intents/2026-09-26-reflive.md', INTENT('reflive', '状态: approved\n级别: L1\n日期: 2026-09-26', '\n引用 .agents/scripts/ghost-gone.mjs\n'));
+  w(T, 'workflow/plans/2026-09-26-reflive.md', PLAN('reflive', '状态: draft\n级别: L1'));
+  const r = run(T);
+  check('检查4:活跃文档引用断链仍报（收窄只放终态）',
+    r.status === 0 && outOf(r).includes('引用断档') && outOf(r).includes('ghost-gone.mjs'), `exit=${r.status}\n${outOf(r)}`);
+  rmfix(T);
+}
+
+// ---- 场景 57-60:检查 15 incidents 确认门（2026-09-27 gate-coverage，配对自 2026-09-28 起）----
+//     fixed/closed 须指纹+台账配对；closed 与 done 同口径内容绑定（ts 锚 + 保分隔符）；open 起草态不加门
+{
+  const mkIncFixture = (T, st, tamper, opt = {}) => {
+    const ts = opt.ts || '2026-09-28T02:00:00.000Z';
+    const body = 三件套(false);
+    const pre = `---\n状态: fixed\n级别: L1\n发现: 2026-09-28\n确认指纹: ${'a'.repeat(16)}\n---\n# INCIDENT — inc\n${body}`;
+    const fpClosed = computeFingerprint(pre);
+    // tamper 只污染 closed 落盘文本（不进指纹底稿）——复刻「closed 确认后篡改正文」
+    const closedText = `---\n状态: ${st}\n级别: L1\n发现: 2026-09-28\n确认指纹: ${fpClosed.slice(0, 16)}\n---\n# INCIDENT — inc\n${body}${tamper || ''}`;
+    w(T, 'workflow/incidents/2026-09-28-inc.md', closedText);
+    w(T, 'workflow/plans/2026-09-28-inc.md', PLAN('inc', '状态: draft\n级别: L1'));
+    return { rel: 'workflow/incidents/2026-09-28-inc.md', fp: fpClosed, ts };
+  };
+  {
+    // incident closed（生效日起）无指纹无台账 → hard 确认未对账
+    const T = mkfix();
+    w(T, 'workflow/incidents/2026-09-28-inc15.md', `---\n状态: closed\n级别: L1\n发现: 2026-09-28\n---\n# INCIDENT — inc15\n${三件套(false)}`);
+    w(T, 'workflow/plans/2026-09-28-inc15.md', PLAN('inc15', '状态: draft\n级别: L1'));
+    expectHard('检查15:incident closed（生效日起）无指纹无台账 → hard 确认未对账', T, '确认未对账');
+    rmfix(T);
+  }
+  {
+    const T = mkfix();
+    const i1 = mkIncFixture(T, 'closed');
+    writeLedger(T, [{ ts: i1.ts, doc: i1.rel, stage: 'closed', fingerprint: i1.fp, prev: 'fixed', source: 'tty' }]);
+    expectOk('检查15:incident closed 配对+内容绑定一致 → exit 0', T);
+    rmfix(T);
+  }
+  {
+    const T = mkfix();
+    const i1 = mkIncFixture(T, 'closed', 'closed 确认后被篡改的正文行\n');
+    writeLedger(T, [{ ts: i1.ts, doc: i1.rel, stage: 'closed', fingerprint: i1.fp, prev: 'fixed', source: 'tty' }]);
+    expectHard('检查15:incident closed 后正文被篡改 → hard 确认内容漂移', T, '确认内容漂移');
+    rmfix(T);
+  }
+  {
+    // open 起草态不加门（无指纹无台账 → 不报确认未对账）
+    const T = mkfix();
+    w(T, 'workflow/incidents/2026-09-28-incopen.md', `---\n状态: open\n级别: L1\n发现: 2026-09-28\n---\n# INCIDENT — incopen\n${三件套(false)}`);
+    w(T, 'workflow/plans/2026-09-28-incopen.md', PLAN('incopen', '状态: draft\n级别: L1'));
+    const r = run(T);
+    check('检查15:incident open（起草态）不进确认门 → 不报确认未对账',
+      r.status === 0 && !outOf(r).includes('确认未对账'), `exit=${r.status}\n${outOf(r)}`);
+    rmfix(T);
+  }
+}
+
+// ---- 场景 61-63:检查 15 放弃态覆盖（2026-09-27 closing-coverage：superseded/cancelled 配对 + 四终态绑定）----
+{
+  const mkAbandonFixture = (T, st, tamper) => {
+    const ts = '2026-09-28T02:00:00.000Z';
+    const body = '\n正文行\n';
+    const pre = `---\n状态: approved\n级别: L1\n日期: 2026-09-28\n确认指纹: ${'a'.repeat(16)}\n---\n# INTENT — ab\n${body}`;
+    const fp = computeFingerprint(pre);
+    const after = `---\n状态: ${st}\n级别: L1\n日期: 2026-09-28\n确认指纹: ${fp.slice(0, 16)}\n---\n# INTENT — ab\n${body}${tamper || ''}`;
+    w(T, 'workflow/intents/2026-09-28-ab.md', after);
+    w(T, 'workflow/plans/2026-09-28-ab.md', PLAN('ab', '状态: draft\n级别: L1'));
+    return { rel: 'workflow/intents/2026-09-28-ab.md', fp, ts };
+  };
+  {
+    // superseded（生效日起）无指纹无台账 → hard 确认未对账（手改出账的口子收死）
+    const T = mkfix();
+    w(T, 'workflow/intents/2026-09-28-ab1.md', `---\n状态: superseded\n级别: L1\n日期: 2026-09-28\n---\n# INTENT — ab1\n`);
+    w(T, 'workflow/plans/2026-09-28-ab1.md', PLAN('ab1', '状态: draft\n级别: L1'));
+    expectHard('检查15:superseded（生效日起）无指纹无台账 → hard 确认未对账', T, '确认未对账');
+    rmfix(T);
+  }
+  {
+    // superseded + 配对 + 终态绑定：篡改 → hard 确认内容漂移
+    const T = mkfix();
+    const a1 = mkAbandonFixture(T, 'superseded', 'superseded 确认后被篡改的正文行\n');
+    writeLedger(T, [{ ts: a1.ts, doc: a1.rel, stage: 'superseded', fingerprint: a1.fp, prev: 'approved', source: 'tty' }]);
+    expectHard('检查15:superseded 后正文被篡改 → hard 确认内容漂移（四终态绑定）', T, '确认内容漂移');
+    rmfix(T);
+  }
+  {
+    // cancelled + 配对 + 绑定一致 → 过
+    const T = mkfix();
+    const a1 = mkAbandonFixture(T, 'cancelled');
+    writeLedger(T, [{ ts: a1.ts, doc: a1.rel, stage: 'cancelled', fingerprint: a1.fp, prev: 'approved', source: 'chat-delegated', quote: '不做了' }]);
+    expectOk('检查15:cancelled 配对+绑定一致 → exit 0', T);
+    rmfix(T);
+  }
+}
+
+// ---- 场景 64-66:检查 15 并录批次审计（2026-09-28 batch-ledger-audit 改判据：读 batch/of 事实）----
+// 判据演进：原「同 quote + 相邻 ts 差 < 2s」反推调用次数（已被实证假阳性+假阴性，整段退役）；
+// 现「台账行按 batch 分组、组内 of>1 且含 delegated 行 → warning」。本块场景随之改判定依据，
+// **断言强度不放宽、场景不删**（同一意图换了机制）：
+//   · 原「同 quote 双份 2s 内」→ 现「同 batch、of=2、delegated」→ 报（机制换、意图同：一次调用落两份）
+//   · 原「异 quote / >2s 不聚组」→ 现「不同 batch（或 of=1）→ 不报」；且**新增反向场景**：同 batch
+//     但换 quote、或人为延迟跨 2s，仍须被拦——这正是旧判据的盲区（旧判据下会漏报）
+//   · 原「revert-draft 注记行不参与」→ 现由 VALID_STAGES 过滤承接（同意图）
+{
+  const mk2LedgerDocs = (T) => {
+    // 两份全配对绑定的 done 文档（复用 mkDoneFixture 的构造口径）
+    const mkOne = (slug, date) => {
+      const body = `\n## 验收标准（可测试）\n- [x] 用例通过（证据:fixture）\n`;
+      const pre = `---\n状态: approved\n级别: L1\n日期: ${date}\n确认指纹: ${'a'.repeat(16)}\n---\n# INTENT — ${slug}\n${body}`;
+      const fp = computeFingerprint(pre);
+      w(T, `workflow/intents/${date}-${slug}.md`, `---\n状态: done\n级别: L1\n日期: ${date}\n确认指纹: ${fp.slice(0, 16)}\n---\n# INTENT — ${slug}\n${body}`);
+      w(T, `workflow/plans/${date}-${slug}.md`, PLAN(slug, '状态: draft\n级别: L1'));
+      return { rel: `workflow/intents/${date}-${slug}.md`, fp };
+    };
+    return [mkOne('ab1', '2026-09-28'), mkOne('ab2', '2026-09-28')];
+  };
+  {
+    // 同一批（batch 同、of=2）delegated → warning 可见（exit 0 不阻断）——原「同 quote 双份」的新机制等价物
+    const T = mkfix();
+    const [d1, d2] = mk2LedgerDocs(T);
+    writeLedger(T, [
+      { ts: '2026-09-28T02:00:00.000Z', doc: d1.rel, stage: 'done', fingerprint: d1.fp, prev: 'approved', source: 'chat-delegated', quote: '两份一起', batch: 'b1', seq: 1, of: 2 },
+      { ts: '2026-09-28T02:00:00.100Z', doc: d2.rel, stage: 'done', fingerprint: d2.fp, prev: 'approved', source: 'chat-delegated', quote: '两份一起', batch: 'b1', seq: 2, of: 2 },
+    ]);
+    const r = run(T);
+    check('检查15:同 batch 且 of=2（delegated）→ WARN 确认并录（exit 0 审计可见性）',
+      r.status === 0 && outOf(r).includes('确认并录') && outOf(r).includes('2 份'),
+      `exit=${r.status}\n${outOf(r)}`);
+    rmfix(T);
+  }
+  {
+    // 【核心回归·旧判据盲区】同一批但**换 quote**（"甲"/"乙"）且 ts 相差 5s：
+    //   旧判据（同 quote + 差 < 2s）→ 两个信号都不命中 → **零告警**（漏报真实并录）
+    //   新判据读 batch/of（与 quote、ts 无关）→ 仍须报。此场景在旧判据下必然变红。
+    const T = mkfix();
+    const [d1, d2] = mk2LedgerDocs(T);
+    writeLedger(T, [
+      { ts: '2026-09-28T02:00:00.000Z', doc: d1.rel, stage: 'done', fingerprint: d1.fp, prev: 'approved', source: 'chat-delegated', quote: '甲', batch: 'b2', seq: 1, of: 2 },
+      { ts: '2026-09-28T02:00:05.000Z', doc: d2.rel, stage: 'done', fingerprint: d2.fp, prev: 'approved', source: 'chat-delegated', quote: '乙', batch: 'b2', seq: 2, of: 2 },
+    ]);
+    const r = run(T);
+    check('检查15:同 batch 但换 quote + 隔 5s → 仍报并录（旧判据盲区，本单核心回归）',
+      r.status === 0 && outOf(r).includes('确认并录') && outOf(r).includes('2 份'),
+      `exit=${r.status}\n${outOf(r)}`);
+    rmfix(T);
+  }
+  {
+    // of=1（逐件调用）复用**同一句** quote 且 ts 极近 → **不报**。
+    // 这是旧判据的假阳性面：用户两次都说「可以」+ 快速连跑，旧判据必然误报；新判据读 of=1 正确放过。
+    const T = mkfix();
+    const [d1, d2] = mk2LedgerDocs(T);
+    writeLedger(T, [
+      { ts: '2026-09-28T02:00:00.000Z', doc: d1.rel, stage: 'done', fingerprint: d1.fp, prev: 'approved', source: 'chat-delegated', quote: '可以', batch: 'b3', seq: 1, of: 1 },
+      { ts: '2026-09-28T02:00:00.050Z', doc: d2.rel, stage: 'done', fingerprint: d2.fp, prev: 'approved', source: 'chat-delegated', quote: '可以', batch: 'b4', seq: 1, of: 1 },
+    ]);
+    const r = run(T);
+    check('检查15:两次逐件调用（of=1）复用同一句 quote 且 ts 极近 → 不报（修旧判据假阳性）',
+      r.status === 0 && !outOf(r).includes('确认并录'),
+      `exit=${r.status}\n${outOf(r)}`);
+    rmfix(T);
+  }
+  {
+    // TTY 形态 of>1：用户亲手逐份过目键入（天然逐件），不构成违规 → 不报
+    const T = mkfix();
+    const [d1, d2] = mk2LedgerDocs(T);
+    writeLedger(T, [
+      { ts: '2026-09-28T03:00:00.000Z', doc: d1.rel, stage: 'done', fingerprint: d1.fp, prev: 'approved', source: 'tty', batch: 't1', seq: 1, of: 2 },
+      { ts: '2026-09-28T03:00:01.000Z', doc: d2.rel, stage: 'done', fingerprint: d2.fp, prev: 'approved', source: 'tty', batch: 't1', seq: 2, of: 2 },
+    ]);
+    const r = run(T);
+    check('检查15:TTY 形态 of=2（亲手逐份过目）→ 不报并录',
+      r.status === 0 && !outOf(r).includes('确认并录'),
+      `exit=${r.status}\n${outOf(r)}`);
+    rmfix(T);
+  }
+  {
+    // 无 batch 字段的历史行（schema 演进前）→ 静默跳过，不报、不降级出账
+    // （沿 audit-gate-hardening P3：无判定依据的行不产出不可消除噪声）
+    const T = mkfix();
+    const [d1, d2] = mk2LedgerDocs(T);
+    writeLedger(T, [
+      { ts: '2026-09-28T02:00:00.000Z', doc: d1.rel, stage: 'done', fingerprint: d1.fp, prev: 'approved', source: 'chat-delegated', quote: '两份一起' },
+      { ts: '2026-09-28T02:00:01.500Z', doc: d2.rel, stage: 'done', fingerprint: d2.fp, prev: 'approved', source: 'chat-delegated', quote: '两份一起' },
+    ]);
+    const r = run(T);
+    check('检查15:无 batch 的历史行 → 静默跳过（不报、不降级出账）',
+      r.status === 0 && !outOf(r).includes('确认并录'),
+      `exit=${r.status}\n${outOf(r)}`);
+    rmfix(T);
+  }
+  {
+    // 不同 batch 各自 of=1；revert-draft 注记行（stage 非法）不参与 → 一条都不报
+    const T = mkfix();
+    const [d1, d2] = mk2LedgerDocs(T);
+    writeLedger(T, [
+      { ts: '2026-09-28T02:00:00.000Z', doc: d1.rel, stage: 'done', fingerprint: d1.fp, prev: 'approved', source: 'chat-delegated', quote: 'x', batch: 'c1', seq: 1, of: 1 },
+      { ts: '2026-09-28T02:00:00.400Z', doc: d2.rel, stage: 'done', fingerprint: d2.fp, prev: 'approved', source: 'chat-delegated', quote: 'x', batch: 'c2', seq: 1, of: 1 },
+      { ts: '2026-09-28T02:00:00.900Z', doc: 'workflow/plans/2026-09-28-ghost.md', stage: 'revert-draft', fingerprint: 'n/a', prev: 'approved', source: 'chat-delegated', quote: 'x', batch: 'c3', seq: 1, of: 3 },
+    ]);
+    const r = run(T);
+    check('检查15:异 batch 各自 of=1 + revert-draft 注记行 → 不报并录（注记行由 VALID_STAGES 过滤）',
+      r.status === 0 && !outOf(r).includes('确认并录') && !outOf(r).includes('ghost'),
+      `exit=${r.status}\n${outOf(r)}`);
+    rmfix(T);
+  }
+  {
+    // 【复核 P2-3】组内 `of` 不一致（人为构造）时判据不得因**行序**而改变结论：
+    // 原实现取 rows[0].of —— 首行 of=1、次行 of=2 会漏报；现取组内 some(of>1)，两个方向都报。
+    // 正常批次由 confirm-doc 写同一个 of=docs.length，组内恒一致；本用例专门钉住顺序无关性。
+    const T = mkfix();
+    const [d1, d2] = mk2LedgerDocs(T);
+    writeLedger(T, [
+      { ts: '2026-09-28T02:00:00.000Z', doc: d1.rel, stage: 'done', fingerprint: d1.fp, prev: 'approved', source: 'chat-delegated', quote: '甲', batch: 'd1', seq: 1, of: 1 },
+      { ts: '2026-09-28T02:00:01.000Z', doc: d2.rel, stage: 'done', fingerprint: d2.fp, prev: 'approved', source: 'chat-delegated', quote: '乙', batch: 'd1', seq: 2, of: 2 },
+    ]);
+    const r = run(T);
+    check('检查15:组内 of 不一致（首行 of=1 / 次行 of=2）→ 仍报（判据顺序无关，复核 P2-3）',
+      r.status === 0 && outOf(r).includes('确认并录'),
+      `exit=${r.status}\n${outOf(r)}`);
+    rmfix(T);
+  }
+  {
+    // 反向：首行 of=2 / 次行 of=1 —— 与上条同批、仅行序相反，结论必须一致（都报）
+    const T = mkfix();
+    const [d1, d2] = mk2LedgerDocs(T);
+    writeLedger(T, [
+      { ts: '2026-09-28T02:00:00.000Z', doc: d1.rel, stage: 'done', fingerprint: d1.fp, prev: 'approved', source: 'chat-delegated', quote: '甲', batch: 'd2', seq: 1, of: 2 },
+      { ts: '2026-09-28T02:00:01.000Z', doc: d2.rel, stage: 'done', fingerprint: d2.fp, prev: 'approved', source: 'chat-delegated', quote: '乙', batch: 'd2', seq: 2, of: 1 },
+    ]);
+    const r2 = run(T);
+    check('检查15:组内 of 不一致（首行 of=2 / 次行 of=1）→ 仍报（与上条对称，顺序无关）',
+      r2.status === 0 && outOf(r2).includes('确认并录'),
+      `exit=${r2.status}\n${outOf(r2)}`);
+    rmfix(T);
+  }
+  {
+    // 【复核 P2-3 收口】「可报组与 revert-draft 注记行并存 → 恰报 1 次、注记行不参与」
+    // 上一版场景把两行改成异 batch of=1 后，fixture 里已无可报组，只验证了「无可报组时零报」——
+    // 本用例恢复旧版被覆盖的组合（旧断言为 `length===1 && includes('2 份')`，此处以新机制等价重建）。
+    const T = mkfix();
+    const [d1, d2] = mk2LedgerDocs(T);
+    writeLedger(T, [
+      { ts: '2026-09-28T02:00:00.000Z', doc: d1.rel, stage: 'done', fingerprint: d1.fp, prev: 'approved', source: 'chat-delegated', quote: '两份一起', batch: 'p1', seq: 1, of: 2 },
+      { ts: '2026-09-28T02:00:00.400Z', doc: d2.rel, stage: 'done', fingerprint: d2.fp, prev: 'approved', source: 'chat-delegated', quote: '两份一起', batch: 'p1', seq: 2, of: 2 },
+      // 注记行：与上批**同 batch id 但 stage 非法**——若 VALID_STAGES 过滤失效，它会被并入该批
+      { ts: '2026-09-28T02:00:00.900Z', doc: 'workflow/plans/2026-09-28-ghost.md', stage: 'revert-draft', fingerprint: 'n/a', prev: 'approved', source: 'chat-delegated', quote: '两份一起', batch: 'p1', seq: 3, of: 3 },
+    ]);
+    const r = run(T);
+    check('检查15:可报组与 revert-draft 注记行并存 → 恰报 1 次且注记行不参与（复核 P2-4 补回）',
+      r.status === 0 && (outOf(r).match(/确认并录/g) || []).length === 1
+        && outOf(r).includes('2 份') && !outOf(r).includes('ghost'),
+      `exit=${r.status}\n${outOf(r)}`);
+    rmfix(T);
+  }
+}
+
+// ---- 场景 67-71:检查 15 受管准入两条件取或（2026-09-28 incident confirm-gate-effective-date-anchor）----
+// 换锚前：受管准入仅「自报日期 ≥ 生效日」——新档把日期写早即整段跳过判定（确认门静默不开）。
+// 换锚后：受管 = ①台账有合法跳转行 ∨ ②自报日期 ≥ 生效日；两者皆不满足才豁免（存量）。
+// ①独立于自报日期成立 → 堵死「确认过却写早日期逃掉对账」；②保留 → 兜住「新档完全没跑 confirm-doc」。
+// 本块自包含构造（不复用他块作用域内的 mkDoneFixture，避免跨块引用）。
+{
+  const mkAnchorFixture = (T, date, tamper, opt = {}) => {
+    const ts = opt.ts || '2026-09-28T02:00:00.000Z';
+    const body = `\n## 验收标准（可测试）\n- [x] 用例通过（证据:fixture）\n`;
+    const pre = `---\n状态: approved\n级别: L1\n日期: ${date}\n确认指纹: ${'a'.repeat(16)}\n---\n# INTENT — anchor\n${body}`;
+    const fp = computeFingerprint(pre);
+    // tamper 只污染 done 落盘文本（不进指纹底稿）——复刻「done 确认后篡改正文」
+    w(T, `workflow/intents/${date}-anchor.md`,
+      `---\n状态: done\n级别: L1\n日期: ${date}\n确认指纹: ${fp.slice(0, 16)}\n---\n# INTENT — anchor\n${body}${tamper || ''}`);
+    w(T, `workflow/plans/${date}-anchor.md`, PLAN('anchor', '状态: draft\n级别: L1'));
+    return { rel: `workflow/intents/${date}-anchor.md`, fp, ts };
+  };
+
+  {
+    // 核心回归（本 incident 的触发条件）：自报日期早于生效日，但台账 ts 在生效日之后 → 仍须 hard 拦。
+    // 换锚前此场景被 `d < eff` 跳过判定（静默放行）；换锚后按台账事实纳入受管。
+    const T = mkfix();
+    const d1 = mkAnchorFixture(T, '2026-09-20'); // 自报日期 2026-09-20（早于任何生效日）
+    writeLedger(T, [{ ts: d1.ts, doc: d1.rel, stage: 'done', fingerprint: 'e'.repeat(64), prev: 'approved', source: 'tty' }]); // 指纹不符
+    expectHard('检查15:自报日期早但台账 ts 锚后 + 指纹不符 → hard 确认未对账（换锚前被静默跳过）', T, '确认未对账');
+    rmfix(T);
+  }
+  {
+    // 存量豁免须**两条件皆不满足**：日期早（2026-09-26 < 生效日）且台账无行 → 免配对。
+    // 注意「日期新但无台账」**不**豁免（那是新档漏走确认门，见上一条核心回归的反面）——
+    // 两条件取或的语义即：任一条命中即受管，故豁免档必须两条都不命中。
+    const T = mkfix();
+    w(T, 'workflow/intents/2026-09-26-noledge.md', INTENT('noledge', '状态: approved\n级别: L1\n日期: 2026-09-26'));
+    w(T, 'workflow/plans/2026-09-26-noledge.md', PLAN('noledge', '状态: draft\n级别: L1'));
+    expectOk('检查15:日期早于生效日且台账无行 → 存量豁免（两条件皆不满足）', T);
+    rmfix(T);
+  }
+  {
+    // 条件①的**独立判别力**（复核 P2-2 更正）：日期早（条件②不命中，本会被日期条件豁免）
+    // + 台账有行但**指纹不匹配** → 条件①独立成立 ⇒ 受管 ⇒ 配对失败 ⇒ hard 拦。
+    // 断言必须用 expectHard 而非 expectOk：旧单条件下该 doc 因日期早被整段跳过（exit 0），
+    // 用 expectOk 会「新旧门都通过」而无法证伪条件①被移除（上一版即此缺陷，属无效测试）。
+    // 现版本在忠实变异（还原旧单条件）下会变红——与核心回归场景同向锁定条件①的独立成立。
+    const T = mkfix();
+    const d1 = mkAnchorFixture(T, '2026-09-20');
+    writeLedger(T, [{ ts: '2026-09-28T02:00:00.000Z', doc: d1.rel, stage: 'done', fingerprint: 'e'.repeat(64), prev: 'approved', source: 'tty' }]); // 指纹不符
+    expectHard('检查15:日期早但台账有行（指纹不匹配）→ 受管并 hard 拦（条件①独立于日期成立）', T, '确认未对账');
+    rmfix(T);
+  }
+  {
+    // 重确认：同一 doc+stage 台账多行 → 取末次 ts 判锚（append-only 末次生效；不能因首行早于锚而误豁免）
+    const T = mkfix();
+    const d1 = mkAnchorFixture(T, '2026-09-28', '确认后被篡改的正文行\n');
+    writeLedger(T, [
+      { ts: '2026-09-27T10:00:00.000Z', doc: d1.rel, stage: 'done', fingerprint: d1.fp, prev: 'approved', source: 'tty' }, // 早期行（锚前）
+      { ts: '2026-09-28T02:00:00.000Z', doc: d1.rel, stage: 'done', fingerprint: d1.fp, prev: 'approved', source: 'tty' }, // 末次行（锚后）
+    ]);
+    expectHard('检查15:同 doc+stage 台账多行取末次 ts → 篡改仍 hard 确认内容漂移（重确认场景）', T, '确认内容漂移');
+    rmfix(T);
+  }
+  {
+    // 非合法跳转行（revert-open / revert-draft 类回退注记）**不构成本 incident 的核心命题**——
+    // 为把该属性与日期条件隔离，此处取日期早于生效日（条件②不命中），使受管准入**只**取决于台账条件：
+    //   · 若注记行被判为「合法跳转行」→ 台账条件命中 → 受管 → 无指纹 → hard 拦（期望：不拦，故失败）
+    //   · 期望：注记行被 VALID_STAGES 过滤 → 台账条件不命中 → 两条件皆不满足 → 存量豁免
+    // 注记行不是「确认确实发生过」的证据，不能被当成台账行把文档拖进受管面
+    // （否则回退操作反而制造 hard 拦——本 incident 自己就吃过这个亏，见 incident 备注「落态注记」）。
+    const T = mkfix();
+    const d1 = mkAnchorFixture(T, '2026-09-26');
+    writeLedger(T, [
+      { ts: '2026-09-28T02:00:00.000Z', doc: d1.rel, stage: 'revert-open', fingerprint: 'n/a', prev: 'approved', source: 'chat-delegated', quote: '回退注记' },
+    ]);
+    expectOk('检查15:仅 revert-open 注记行（非合法跳转 stage）→ 不构成台账条件，日期早 → 存量豁免 exit 0', T);
+    rmfix(T);
+  }
+}
+
+// ---- 场景 72-74:检查 8 生效日锚改 git 首次加入日期（2026-09-28 check8-git-anchor）----
+// 换锚前锚取**文件名前 10 字符**——项目命名规范本身即 YYYY-MM-DD-<主题>，作者日常手写该前缀，
+// 「写早」无需任何额外动作、顺手即发生 → 一条 hard 门可被平凡绕过（有未勾验项却 exit 0）。
+// 换锚后锚取 git 首次加入日期（不可手填）→ 该通道关闭。
+{
+  {
+    // 【核心回归】文件名日期写早（2026-09-01 < accCutoff 2026-09-12），但**实际是新建档**
+    // （git 首次加入在生效日之后）→ 仍须 hard 拦。换锚前此场景被 `filedate >= accCutoff` 跳过（静默放行）。
+    const T = mkfix();
+    gitInit(T);
+    w(T, 'workflow/intents/2026-09-01-early.md', INTENT('early', '状态: done\n级别: L1\n日期: 2026-09-01', '\n## 验收标准\n- [ ] 未勾项\n'));
+    w(T, 'workflow/plans/2026-09-01-early.md', PLAN('early', '状态: done\n级别: L1'));
+    gitCommitAll(T, 'add'); // 加入时间 = 今天（≥ accCutoff）→ git 事实：新建档
+    expectHard('检查8:文件名日期写早但 git 首次加入够新 + 未勾验 → hard 拦（换锚前被静默跳过）', T, '验收未对账');
+    rmfix(T);
+  }
+  {
+    // 【退化语义】非 git 仓（fixture 常态）→ 不可判定 → 走存量口径，**不误报 hard**。
+    // 钉住「换锚不引入新的误拦」：不可判定时宁可放过（advisory 层），不放 hard。
+    const T = mkfix();
+    w(T, 'workflow/intents/2026-09-15-nogit.md', INTENT('nogit', '状态: done\n级别: L1\n日期: 2026-09-15', '\n## 验收标准\n- [ ] 未勾项\n'));
+    w(T, 'workflow/plans/2026-09-15-nogit.md', PLAN('nogit', '状态: done\n级别: L1'));
+    const r = run(T);
+    check('检查8:非 git 仓 → 不可判定走存量口径（不误报 hard）',
+      r.status === 0 && !outOf(r).includes('验收未对账'), `exit=${r.status}\n${outOf(r)}`);
+    rmfix(T);
+  }
+  {
+    // 【对照】同一内容、仅把**文件名**改为够新（09-15）→ 两锚下都应 hard 拦。
+    // 与核心回归并置，说明「拦不拦由 git 事实决定，不由文件名字段决定」。
+    const T = mkfix();
+    gitInit(T);
+    w(T, 'workflow/intents/2026-09-15-newer.md', INTENT('newer', '状态: done\n级别: L1\n日期: 2026-09-15', '\n## 验收标准\n- [ ] 未勾项\n'));
+    w(T, 'workflow/plans/2026-09-15-newer.md', PLAN('newer', '状态: done\n级别: L1'));
+    gitCommitAll(T, 'add');
+    expectHard('检查8:文件名日期够新 + git 加入够新 + 未勾验 → hard 拦（对照）', T, '验收未对账');
+    rmfix(T);
+  }
+}
+
 console.log(`\n合计: PASS ${pass} / FAIL ${fail}`);
 process.exit(fail ? 1 : 0);