agentic-flow-kit 1.8.7 → 2.0.0

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

@@ -1,356 +0,0 @@
-#!/usr/bin/env node
-// ledger-shards.test.mjs — 分片读写单源 fixture（2026-10-13 ledger-shard-ledgers，自源仓回灌）
-// 覆盖：数据行判定（含节限定）/ 月提取 / 主台账∪分片读 / 迁移幂等 / 追加 / 表头自带 / fail-loud
-// kit 适配：表头签名用 kit 模板形态（delegations 末列「合入结论」、regression-checklist「incident | 条目 | 落点」）；
-//   S22 钉住 kit 适配（分片渲染须出 kit 表头、不出源仓表头——防再同步漂移）。
-import fs from 'node:fs';
-import os from 'node:os';
-import path from 'node:path';
-import {
-  LEDGERS, isDataRow, inScope, monthOf, readLedger, readLedgerText,
-  splitMain, appendRows, shardPathFor, renderShard,
-} from './ledger-shards.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 mkroot = () => {
-  const root = fs.mkdtempSync(path.join(os.tmpdir(), 'ledger-shards-'));
-  fs.mkdirSync(path.join(root, 'workflow'), { recursive: true });
-  return root;
-};
-const wf = (root, ...p) => path.join(root, 'workflow', ...p);
-
-// ---- S1 数据行判定：表格式（delegations/papercuts）----
-{
-  check('S1a delegations 数据行命中', isDataRow('delegations', '| 2026-10-01 | ui-verifier | 任务 | 一次通过 | 备注 |'));
-  check('S1b delegations 表头排除', !isDataRow('delegations', '| 日期 | 被委派方(模型) | 任务一句话 | 结果 | 备注 | 合入结论 |'));
-  check('S1c delegations 分隔行排除', !isDataRow('delegations', '|------|----------------|------------|------|------|----------|'));
-  check('S1d papercuts 数据行命中', isDataRow('papercuts', '| 2026-10-11 | `.agents/x.mjs` | 症状 | 拟修 |'));
-  check('S1e papercuts 表头排除', !isDataRow('papercuts', '| 日期 | 位置 | 症状 | 拟修 |'));
-  check('S1f 说明行不命中', !isDataRow('papercuts', '> 说明文字，非数据行'));
-}
-
-// ---- S2 节限定：regression-checklist 只迁「防复发验证」节 ----
-{
-  check('S2a 防复发验证节在范围内', inScope('regression-checklist', '防复发验证'));
-  check('S2b 模块节不在范围内', !inScope('regression-checklist', '回归必过'));
-  check('S2c 无 section 限定的台账恒在范围', inScope('delegations', '任意节') && inScope('papercuts', ''));
-  check('S2d 防复发数据行命中', isDataRow('regression-checklist', '| 2026-09-11 某事故 | 条目 | 落点 |'));
-  check('S2e 防复发表头排除', !isDataRow('regression-checklist', '| incident | 条目 | 落点 |'));
-}
-
-// ---- S3 月提取 ----
-{
-  check('S3a 表格式取首列日期月', monthOf('delegations', '| 2026-10-01 | x |') === '2026-10');
-  check('S3b 无日期返回空', monthOf('delegations', '| 无日期 | x |') === '');
-}
-
-// ---- S4 读：主台账 ∪ 分片 ----
-{
-  const root = mkroot();
-  fs.mkdirSync(wf(root, 'papercuts.d'), { recursive: true });
-  fs.writeFileSync(wf(root, 'papercuts.md'), '# 台账\n\n| 日期 | 位置 | 症状 | 拟修 |\n|------|------|------|------|\n| 2026-10-01 | 主表行 | s | f |\n', 'utf8');
-  fs.writeFileSync(wf(root, 'papercuts.d', '2026-09.md'), renderShard('papercuts', []) + '| 2026-09-01 | 分片行 | s | f |\n', 'utf8');
-  const r = readLedger(root, 'papercuts');
-  check('S4a 主台账 + 分片都读到', r.main.includes('主表行') && r.shards.length === 1 && r.all.includes('分片行'));
-  check('S4b all 含两侧', r.all.includes('主表行') && r.all.includes('分片行'));
-  check('S4c readLedgerText 等价 all', readLedgerText(root, 'papercuts') === r.all);
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S5 读：分片按文件名排序（月序 = 时间序）----
-{
-  const root = mkroot();
-  fs.mkdirSync(wf(root, 'papercuts.d'), { recursive: true });
-  fs.writeFileSync(wf(root, 'papercuts.md'), '# 台账\n', 'utf8');
-  fs.writeFileSync(wf(root, 'papercuts.d', '2026-10.md'), '| 2026-10-01 | 十月 | s | f |\n', 'utf8');
-  fs.writeFileSync(wf(root, 'papercuts.d', '2026-09.md'), '| 2026-09-01 | 九月 | s | f |\n', 'utf8');
-  const r = readLedger(root, 'papercuts');
-  check('S5 分片按文件名排序（09 在 10 前）', r.shards[0].file === '2026-09.md' && r.shards[1].file === '2026-10.md');
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S6 读：无分片目录 → 等价原读法（向后兼容）----
-{
-  const root = mkroot();
-  fs.writeFileSync(wf(root, 'papercuts.md'), '# 台账\n| 2026-10-01 | 行 | s | f |\n', 'utf8');
-  const r = readLedger(root, 'papercuts');
-  check('S6 无分片目录 → shards 空、all = main', r.shards.length === 0 && r.all === r.main);
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S7 迁移：主台账数据行按月迁出，非数据行保留 ----
-{
-  const root = mkroot();
-  fs.writeFileSync(wf(root, 'papercuts.md'), [
-    '# 台账', '', '> 说明', '',
-    '| 日期 | 位置 | 症状 | 拟修 |', '|------|------|------|------|',
-    '| 2026-09-01 | 九月行 | s | f |',
-    '| 2026-10-01 | 十月行 | s | f |',
-    '| 2026-10-02 | 十月行2 | s | f |', '',
-  ].join('\n'), 'utf8');
-  const r = splitMain(root, 'papercuts');
-  check('S7a 迁移计数正确', r.moved['2026-09'] === 1 && r.moved['2026-10'] === 2, JSON.stringify(r.moved));
-  const main = fs.readFileSync(wf(root, 'papercuts.md'), 'utf8');
-  check('S7b 主台账保留说明与表头、无数据行', main.includes('# 台账') && main.includes('| 日期 |') && !main.includes('九月行') && !main.includes('十月行'));
-  check('S7c 分片自带表头', fs.readFileSync(wf(root, 'papercuts.d', '2026-09.md'), 'utf8').includes('| 日期 | 位置 | 症状 | 拟修 |'));
-  check('S7d 分片含数据行', fs.readFileSync(wf(root, 'papercuts.d', '2026-10.md'), 'utf8').includes('十月行2'));
-  // 迁移后读回：数据不丢
-  const back = readLedgerText(root, 'papercuts');
-  check('S7e 迁移后读回数据完整', back.includes('九月行') && back.includes('十月行') && back.includes('十月行2'));
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S8 迁移幂等：二次 split 无数据行可迁 ----
-{
-  const root = mkroot();
-  fs.writeFileSync(wf(root, 'papercuts.md'), '| 日期 | 位置 | 症状 | 拟修 |\n|------|------|------|------|\n| 2026-10-01 | 行 | s | f |\n', 'utf8');
-  splitMain(root, 'papercuts');
-  const r2 = splitMain(root, 'papercuts');
-  check('S8 二次迁移 0 行（幂等）', Object.keys(r2.moved).length === 0, JSON.stringify(r2.moved));
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S9 节限定迁移：regression-checklist 只迁防复发节 ----
-{
-  const root = mkroot();
-  fs.writeFileSync(wf(root, 'regression-checklist.md'), [
-    '# 回归清单', '',
-    '## 回归必过', '',
-    '| 模块 | 条目 | 依据 |', '|------|------|------|',
-    '| 模块条目（不迁） | x | y |', '',
-    '## 防复发验证', '',
-    '| incident | 条目 | 落点 |', '|----------|------|------|',
-    '| 2026-09-11 某事故 | 条目 | 落点 |', '',
-  ].join('\n'), 'utf8');
-  const r = splitMain(root, 'regression-checklist');
-  check('S9a 只迁防复发节 1 行', r.moved['2026-09'] === 1, JSON.stringify(r.moved));
-  const main = fs.readFileSync(wf(root, 'regression-checklist.md'), 'utf8');
-  check('S9b 模块节条目留守', main.includes('| 模块条目（不迁） | x | y |'));
-  check('S9c 防复发数据行已迁出', !main.includes('2026-09-11 某事故'));
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S10 appendRows：追加进指定月分片，缺表头则补 ----
-{
-  const root = mkroot();
-  appendRows(root, 'papercuts', ['| 2026-10-13 | 新行 | s | f |']);
-  const p = shardPathFor(root, 'papercuts', '2026-10');
-  check('S10a 分片文件已建', fs.existsSync(p));
-  const txt = fs.readFileSync(p, 'utf8');
-  check('S10b 自带表头 + 数据行', txt.includes('| 日期 | 位置 | 症状 | 拟修 |') && txt.includes('新行'));
-  appendRows(root, 'papercuts', ['| 2026-10-14 | 第二行 | s | f |']);
-  const txt2 = fs.readFileSync(p, 'utf8');
-  check('S10c 二次追加不重复表头', (txt2.match(/\| 日期 \| 位置/g) || []).length === 1 && txt2.includes('第二行'));
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S11 appendRows：显式 month 覆盖（无日期行）----
-{
-  const root = mkroot();
-  appendRows(root, 'papercuts', ['| 无日期行 | s | f |'], { month: '2026-10' });
-  check('S11 显式 month 生效', fs.existsSync(shardPathFor(root, 'papercuts', '2026-10')));
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S12 fail-loud：无法确定月 → 抛（不静默吞）----
-{
-  const root = mkroot();
-  let thrown = null;
-  try { appendRows(root, 'papercuts', ['| 无日期行 | s | f |']); } catch (e) { thrown = e; }
-  check('S12 无日期且未传 month → 抛错', thrown !== null && /无法确定分片月/.test(thrown.message));
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S13 fail-loud：分片目录读取异常 → 抛 ----
-{
-  const root = mkroot();
-  fs.writeFileSync(wf(root, 'papercuts.md'), '# 台账\n', 'utf8');
-  fs.mkdirSync(wf(root, 'papercuts.d'), { recursive: true });
-  fs.mkdirSync(wf(root, 'papercuts.d', 'bad.md')); // 目录冒充分片 → readFileSync EISDIR
-  let thrown = null;
-  try { readLedger(root, 'papercuts'); } catch (e) { thrown = e; }
-  check('S13 分片读失败 → 抛（不静默吞）', thrown !== null && /分片读取失败/.test(thrown.message));
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S14 台账清单单源：三个台账都在册 ----
-{
-  check('S14 三台账在册', Object.keys(LEDGERS).sort().join(',') === 'delegations,papercuts,regression-checklist');
-}
-
-// ---- S15 delegations 双表分组：分片须两张表头都带且行归入正确表 ----
-// （2026-10-13 源仓迁移实测踩中：只带一张表头 → splitTables 把另一张的行按错表解析，240 任务塌成 100）
-{
-  const root = mkroot();
-  fs.writeFileSync(wf(root, 'delegations.md'), [
-    '# 台账', '',
-    '## 委派结果', '',
-    '| 日期 | 被委派方(模型) | 任务一句话 | 结果 | 备注 | 合入结论 |',
-    '|------|----------------|------------|------|------|----------|',
-    '| 2026-09-01 | ui-verifier | 委派任务 | 一次通过 | 备注 | |',
-    '',
-    '## 自做任务结果', '',
-    '| 日期 | 任务一句话 | 结果 | 备注 | 合入结论 |',
-    '|------|------------|------|------|----------|',
-    '| 2026-09-02 | 自做任务 | 一次通过 | 备注 | |',
-    '',
-  ].join('\n'), 'utf8');
-  splitMain(root, 'delegations');
-  const shard = fs.readFileSync(wf(root, 'delegations.d', '2026-09.md'), 'utf8');
-  check('S15a 分片含委派表头（kit 形态）', shard.includes('| 日期 | 被委派方(模型) | 任务一句话 | 结果 | 备注 | 合入结论 |'));
-  check('S15b 分片含自做表头（kit 形态）', shard.includes('| 日期 | 任务一句话 | 结果 | 备注 | 合入结论 |'));
-  // 委派行须在委派表头之后、自做表头之前
-  const iDeleg = shard.indexOf('被委派方(模型)');
-  const iSelf = shard.indexOf('| 日期 | 任务一句话');
-  const iRow = shard.indexOf('委派任务');
-  check('S15c 委派行归入委派表（表头之后、自做表头之前）', iDeleg < iRow && iRow < iSelf, `deleg=${iDeleg} row=${iRow} self=${iSelf}`);
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S16 renderShard 分组：有行时不出空表头 ----
-{
-  const onlyDeleg = renderShard('delegations', [{ line: '| 2026-09-01 | a | b | c | d | e |', section: '委派结果' }]);
-  check('S16a 只有委派行 → 不出自做表头', onlyDeleg.includes('被委派方(模型)') && !onlyDeleg.includes('| 日期 | 任务一句话'));
-  const onlySelf = renderShard('delegations', [{ line: '| 2026-09-01 | b | c | d | e |', section: '自做任务结果' }]);
-  check('S16b 只有自做行 → 不出委派表头', !onlySelf.includes('被委派方(模型)') && onlySelf.includes('| 日期 | 任务一句话'));
-  const empty = renderShard('delegations', []);
-  check('S16c 无行 → 出全部表头（空分片骨架）', empty.includes('被委派方(模型)') && empty.includes('| 日期 | 任务一句话'));
-}
-
-// ---- S17 幂等：分片已存在时重跑 split 不重复追加 ----
-// （2026-10-13 源仓实测踩中：无去重时二次 split 把 58 行重复写入，120 行 vs 62 行）
-{
-  const root = mkroot();
-  fs.writeFileSync(wf(root, 'papercuts.md'), [
-    '| 日期 | 位置 | 症状 | 拟修 |', '|------|------|------|------|',
-    '| 2026-09-01 | 行A | s | f |',
-    '| 2026-09-02 | 行B | s | f |', '',
-  ].join('\n'), 'utf8');
-  splitMain(root, 'papercuts');
-  const after1 = fs.readFileSync(wf(root, 'papercuts.d', '2026-09.md'), 'utf8');
-  // 模拟「主台账被还原后重跑」（分片仍在）
-  fs.writeFileSync(wf(root, 'papercuts.md'), [
-    '| 日期 | 位置 | 症状 | 拟修 |', '|------|------|------|------|',
-    '| 2026-09-01 | 行A | s | f |',
-    '| 2026-09-02 | 行B | s | f |', '',
-  ].join('\n'), 'utf8');
-  splitMain(root, 'papercuts');
-  const after2 = fs.readFileSync(wf(root, 'papercuts.d', '2026-09.md'), 'utf8');
-  check('S17 重跑 split 不重复追加（幂等）', after1 === after2, `len1=${after1.length} len2=${after2.length}`);
-  const rows = after2.split(/\r?\n/).filter((l) => /^\| 20/.test(l));
-  check('S17b 行数仍为 2', rows.length === 2, `rows=${rows.length}`);
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S20 appendRows --section（2026-10-16 自源仓 13f67ef7 回灌）：已有双表时委派行插入委派节，
-//      不带 section 仍落文末（修「合并丢共有行」时新增行误落末表）----
-{
-  const root = mkroot();
-  appendRows(root, 'delegations', ['| 2026-10-15 | model | 委派甲 | 一次通过 | 备注 | |'], { section: '委派结果' });
-  appendRows(root, 'delegations', ['| 2026-10-15 | 自做甲 | 一次通过 | 备注 | |'], { section: '自做任务结果' });
-  appendRows(root, 'delegations', ['| 2026-10-15 | model | 委派乙 | 一次通过 | 备注 | |'], { section: '委派结果' });
-  appendRows(root, 'delegations', ['| 2026-10-15 | 自做乙 | 一次通过 | 备注 | |']);
-  const shard = fs.readFileSync(shardPathFor(root, 'delegations', '2026-10'), 'utf8');
-  const iSelf = shard.indexOf('## 自做任务结果');
-  const iDelegRow = shard.indexOf('委派乙');
-  const iSelfRow = shard.indexOf('自做乙');
-  check('S20 后追加的委派行仍在自做节之前', iDelegRow >= 0 && iDelegRow < iSelf, shard);
-  check('S20b 不带 section 的行落在文末', iSelf >= 0 && iSelf < iSelfRow, shard);
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S18 appendRows 幂等：同行走两次只落一次 ----
-{
-  const root = mkroot();
-  appendRows(root, 'papercuts', ['| 2026-10-13 | 同行 | s | f |']);
-  appendRows(root, 'papercuts', ['| 2026-10-13 | 同行 | s | f |']);
-  const txt = fs.readFileSync(shardPathFor(root, 'papercuts', '2026-10'), 'utf8');
-  const rows = txt.split(/\r?\n/).filter((l) => /^\| 20/.test(l));
-  check('S18 同行走两次只落一次', rows.length === 1, `rows=${rows.length}`);
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S19 嵌入 `|` 的行不丢（2026-10-13 源仓实测踩中：4 行因列数虚高被 renderShard 丢弃）----
-{
-  const root = mkroot();
-  const weird = '| 2026-09-17 | `.agents/x.mjs` | 正则 `[:=]\\s*["\']?` 含字面竖线 | 拟修 |';
-  fs.writeFileSync(wf(root, 'papercuts.md'), [
-    '| 日期 | 位置 | 症状 | 拟修 |', '|------|------|------|------|',
-    '| 2026-09-01 | 正常行 | s | f |',
-    weird, '',
-  ].join('\n'), 'utf8');
-  splitMain(root, 'papercuts');
-  const shard = fs.readFileSync(wf(root, 'papercuts.d', '2026-09.md'), 'utf8');
-  check('S19a 嵌入竖线的行不丢', shard.includes('含字面竖线'), shard.slice(0, 200));
-  check('S19b 正常行也在', shard.includes('正常行'));
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S20 多表按节归属：委派行（含嵌入竖线）仍归委派表 ----
-{
-  const root = mkroot();
-  const weirdDeleg = '| 2026-09-01 | ui-verifier | 任务含 `a|b` 竖线 | 一次通过 | 备注 | |';
-  fs.writeFileSync(wf(root, 'delegations.md'), [
-    '## 委派结果', '',
-    '| 日期 | 被委派方(模型) | 任务一句话 | 结果 | 备注 | 合入结论 |',
-    '|------|----------------|------------|------|------|----------|',
-    weirdDeleg, '',
-    '## 自做任务结果', '',
-    '| 日期 | 任务一句话 | 结果 | 备注 | 合入结论 |',
-    '|------|------------|------|------|----------|',
-    '| 2026-09-02 | 自做任务 | 一次通过 | 备注 | |', '',
-  ].join('\n'), 'utf8');
-  splitMain(root, 'delegations');
-  const shard = fs.readFileSync(wf(root, 'delegations.d', '2026-09.md'), 'utf8');
-  const iDeleg = shard.indexOf('被委派方(模型)');
-  const iSelf = shard.indexOf('| 日期 | 任务一句话');
-  const iWeird = shard.indexOf('任务含');
-  check('S20 嵌入竖线的委派行仍归委派表', iDeleg < iWeird && iWeird < iSelf, `deleg=${iDeleg} weird=${iWeird} self=${iSelf}`);
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S21 分片须带节标题（wf-journal.delegationSectionRows 的节门）----
-// （2026-10-13 源仓实测踩中：只带表头 → 节门读侧读到 0 行 → 静默漏报）
-{
-  const root = mkroot();
-  fs.writeFileSync(wf(root, 'delegations.md'), [
-    '## 委派结果', '',
-    '| 日期 | 被委派方(模型) | 任务一句话 | 结果 | 备注 | 合入结论 |',
-    '|------|----------------|------------|------|------|----------|',
-    '| 2026-09-01 | ui-verifier | 委派任务 | 一次通过 | 备注 | |', '',
-  ].join('\n'), 'utf8');
-  splitMain(root, 'delegations');
-  const shard = fs.readFileSync(wf(root, 'delegations.d', '2026-09.md'), 'utf8');
-  check('S21a 分片带 `## 委派结果` 节标题', /^##\s+委派结果\s*$/m.test(shard), shard.slice(0, 120));
-  // 复刻 wf-journal.delegationSectionRows 的节门判据（不 break 形态）
-  let inSec = false;
-  let rows = 0;
-  for (const line of shard.split(/\r?\n/)) {
-    if (/^##\s+/.test(line)) { inSec = /^##\s+委派结果\s*$/.test(line); continue; }
-    if (!inSec || !/^\s*\|/.test(line)) continue;
-    const cells = line.trim().replace(/^\|/, '').replace(/\|$/, '').split('|').map((c) => c.trim());
-    if (!cells.length || cells.every((c) => /^[-: ]*$/.test(c))) continue;
-    if (!/^\d{4}-\d{2}-\d{2}$/.test(cells[0])) continue;
-    rows++;
-  }
-  check('S21b 节门口径能读到分片行', rows === 1, `rows=${rows}`);
-  fs.rmSync(root, { recursive: true, force: true });
-}
-
-// ---- S22 kit 适配钉子：分片渲染出 kit 表头、不出源仓表头 ----
-// （kit delegations 两表末列 =「合入结论」、regression-checklist 表头 =「incident | 条目 | 落点」；
-//   再自源仓同步本模块时若把源仓表头带回来，此组先红）
-{
-  const deleg = renderShard('delegations', []);
-  check('S22a delegations 分片骨架出「合入结论」表头', deleg.includes('合入结论') && !deleg.includes('返工原因'));
-  const regr = renderShard('regression-checklist', []);
-  check('S22b regression-checklist 分片骨架出 kit 表头', regr.includes('| incident | 条目 | 落点 |') && !regr.includes('来源 incident'));
-}
-
-console.log(`\n合计: PASS ${pass} / FAIL ${fail}`);
-process.exit(fail ? 1 : 0);

package/templates/_agents/scripts/ledger-ts-monotonic.test.mjs

@@ -1,135 +0,0 @@
-#!/usr/bin/env node
-// ledger-ts-monotonic.test.mjs — 台账行级校验 ts 口径修正 + 分片覆盖 fixture 套件（2026-10-12）
-// 命题：并集合并 / 分片归并会制造**跨 doc** 的物理序 ts 乱序，这是正常协作而非篡改；判据必须从
-//   「全表非降序」改为「同 doc 内非降序」，同时不能因此丢掉真问题的检出（同 doc 内倒挂照 hard 拦）。
-// 覆盖面：跨 doc 乱序放行 + 计数出账 / 同 doc 内倒挂仍拦 / 分片行纳入行级校验 / 豁免行号不漂移。
-import fs from 'node:fs';
-import os from 'node:os';
-import path from 'node:path';
-import { fileURLToPath, pathToFileURL } from 'node:url';
-import { spawnSync } from 'node:child_process';
-
-const SCRIPT_DIR = path.dirname(fileURLToPath(import.meta.url));
-// 夹具闭包（2026-10-12 fixture-closure-rootfix）：整闭包自动跟随，不再手写依赖枚举（漏拷 = 假绿）
-const { copyScriptClosure } = await import(pathToFileURL(path.join(SCRIPT_DIR, 'fixture-scripts.mjs')).href);
-
-let pass = 0, fail = 0;
-const check = (name, ok, detail = '') => {
-  if (ok) { pass++; console.log(`  ok  ${name}`); }
-  else { fail++; console.error(`FAIL  ${name}${detail ? ' — ' + detail : ''}`); }
-};
-
-// 建真 git fixture（行级校验只在有提交历史时才会跑到；--staged 也需要 HEAD 基线）
-function mkRepo() {
-  const d = fs.mkdtempSync(path.join(os.tmpdir(), 'tsmono-'));
-  const git = (...args) => spawnSync('git', args, { cwd: d, encoding: 'utf8' });
-  git('init', '-q', '.');
-  git('config', 'user.email', 't@t.io'); git('config', 'user.name', 't');
-  git('config', 'core.autocrlf', 'false');
-  fs.mkdirSync(path.join(d, '.agents', 'scripts'), { recursive: true });
-  copyScriptClosure(path.join(d, '.agents', 'scripts'), ['check-ledger-invariant.mjs']);
-  return { d, git };
-}
-const docFile = (d, rel) => {
-  const p = path.join(d, ...rel.split('/'));
-  fs.mkdirSync(path.dirname(p), { recursive: true });
-  fs.writeFileSync(p, '---\n状态: approved\n---\n# doc\n', 'utf8');
-};
-const row = (ts, doc, extra = {}) => JSON.stringify({
-  ts, doc, stage: 'approved', fingerprint: 'a'.repeat(64), source: 'tty', ...extra,
-});
-const writeLedger = (d, lines) => {
-  fs.mkdirSync(path.join(d, '.agents'), { recursive: true });
-  fs.writeFileSync(path.join(d, '.agents', 'confirmations.jsonl'), lines.filter(Boolean).join('\n') + '\n', 'utf8');
-};
-const runGate = (d) => spawnSync(process.execPath, ['.agents/scripts/check-ledger-invariant.mjs'], { cwd: d, encoding: 'utf8' });
-
-// ============ 场景 1：跨 doc 物理序 ts 乱序（并集合并形态）→ 放行 + 计数出账 ============
-// a 的末行 ts 晚于 b 的首行 ts——正是「A 分支先提交、B 分支的行被并集追加到尾部」产生的形态。
-{
-  const { d, git } = mkRepo();
-  docFile(d, 'workflow/intents/2026-10-01-a.md');
-  docFile(d, 'workflow/intents/2026-10-01-b.md');
-  writeLedger(d, [
-    row('2026-10-10T00:00:00Z', 'workflow/intents/2026-10-01-a.md'), // 较晚
-    row('2026-10-01T00:00:00Z', 'workflow/intents/2026-10-01-b.md'), // 较早，跨 doc 乱序
-  ]);
-  git('add', '-A'); git('commit', '-qm', 'x');
-  const r = runGate(d);
-  check('S1 跨 doc ts 乱序 → exit 0 放行（正常协作形态）', r.status === 0, `exit=${r.status} ${r.stderr}`);
-  check('S1 乱序计数出账且标明不阻断',
-    /跨 doc 物理序 ts 乱序 1 处/.test(r.stdout) && /不阻断/.test(r.stdout), r.stdout);
-}
-
-// ============ 场景 2：同 doc 内 ts 倒挂 → 仍 hard 拦（真问题未被放松）============
-{
-  const { d, git } = mkRepo();
-  docFile(d, 'workflow/intents/2026-10-01-a.md');
-  writeLedger(d, [
-    row('2026-10-10T00:00:00Z', 'workflow/intents/2026-10-01-a.md'),
-    row('2026-10-01T00:00:00Z', 'workflow/intents/2026-10-01-a.md'), // 同 doc 倒挂
-  ]);
-  git('add', '-A'); git('commit', '-qm', 'x');
-  const r = runGate(d);
-  check('S2 同 doc 内 ts 倒挂 → exit 1 hard 拦', r.status === 1, `exit=${r.status}`);
-  check('S2 报文点名「追加时序倒挂」并带 doc',
-    /追加时序倒挂/.test(r.stderr) && /2026-10-01-a/.test(r.stderr), r.stderr);
-}
-
-// ============ 场景 3：分片行纳入行级校验（分片里的坏行不能逃逸）============
-{
-  const { d, git } = mkRepo();
-  docFile(d, 'workflow/intents/2026-10-01-a.md');
-  writeLedger(d, [row('2026-10-01T00:00:00Z', 'workflow/intents/2026-10-01-a.md')]);
-  // 分片里放一行 fingerprint 非 64 位 hex 的坏行——只扫主台账会漏掉它
-  fs.mkdirSync(path.join(d, '.agents', 'confirmations.d'), { recursive: true });
-  fs.writeFileSync(path.join(d, '.agents', 'confirmations.d', 'x.jsonl'),
-    JSON.stringify({ ts: '2026-10-02T00:00:00Z', doc: 'workflow/intents/2026-10-01-a.md', stage: 'approved', fingerprint: 'bad', source: 'tty' }) + '\n', 'utf8');
-  git('add', '-A'); git('commit', '-qm', 'x');
-  const r = runGate(d);
-  check('S3 分片内坏行被行级校验抓到 → exit 1', r.status === 1, `exit=${r.status} ${r.stdout}`);
-  check('S3 报文指出 fingerprint 非 64 位 hex', /fingerprint 非 64 位 hex/.test(r.stderr), r.stderr);
-}
-
-// ============ 场景 4：分片内 doc 不存在 → 同样被抓 ============
-{
-  const { d, git } = mkRepo();
-  docFile(d, 'workflow/intents/2026-10-01-a.md');
-  writeLedger(d, [row('2026-10-01T00:00:00Z', 'workflow/intents/2026-10-01-a.md')]);
-  fs.mkdirSync(path.join(d, '.agents', 'confirmations.d'), { recursive: true });
-  fs.writeFileSync(path.join(d, '.agents', 'confirmations.d', 'y.jsonl'),
-    row('2026-10-02T00:00:00Z', 'workflow/intents/2026-10-01-ghost.md') + '\n', 'utf8');
-  git('add', '-A'); git('commit', '-qm', 'x');
-  const r = runGate(d);
-  check('S4 分片内 doc 在当前树不存在 → exit 1', r.status === 1, `exit=${r.status}`);
-  check('S4 报文点名 ghost.md', /ghost\.md/.test(r.stderr), r.stderr);
-}
-
-// ============ 场景 5：豁免行号不因引入分片而漂移 ============
-// 视图序 = 主台账在前、分片在后 → 主台账第 2 行的豁免登记在引入分片后仍指向同一行。
-{
-  const { d, git } = mkRepo();
-  docFile(d, 'workflow/intents/2026-10-01-a.md');
-  docFile(d, 'workflow/intents/2026-10-01-b.md');
-  // 第 2 行是「doc 不存在」的坏行（须靠豁免放行）
-  writeLedger(d, [
-    row('2026-10-01T00:00:00Z', 'workflow/intents/2026-10-01-a.md'),
-    row('2026-10-02T00:00:00Z', 'workflow/intents/2026-10-01-ghost.md'),
-  ]);
-  fs.writeFileSync(path.join(d, '.agents', 'ledger-line-exempt.json'),
-    JSON.stringify([{ line: 2, doc: 'workflow/intents/2026-10-01-ghost.md', reason: '文档已归档' }]), 'utf8');
-  git('add', '-A'); git('commit', '-qm', 'x');
-  const before = runGate(d);
-  check('S5 前：无分片时豁免生效 → exit 0', before.status === 0, `exit=${before.status} ${before.stderr}`);
-
-  // 追加一个分片（视图序追加在主台账之后），豁免行号应仍指向 ghost 那行
-  fs.mkdirSync(path.join(d, '.agents', 'confirmations.d'), { recursive: true });
-  fs.writeFileSync(path.join(d, '.agents', 'confirmations.d', 'z.jsonl'),
-    row('2026-10-03T00:00:00Z', 'workflow/intents/2026-10-01-b.md') + '\n', 'utf8');
-  git('add', '-A'); git('commit', '-qm', 'y');
-  const after = runGate(d);
-  check('S5 后：引入分片，豁免行号未漂移 → 仍 exit 0', after.status === 0, `exit=${after.status} ${after.stderr}`);
-}
-
-console.log(`\n[ledger-ts-monotonic.test] PASS ${pass} / FAIL ${fail}`);
-process.exit(fail ? 1 : 0);