agentic-flow-kit 1.7.16 → 1.8.0

package/templates/_agents/scripts/fill-intent.test.mjs

@@ -71,13 +71,31 @@ function check(name, cond, detail = '') {
 
 // ---- 场景 8：risk_level 风险泳道字段（混合治理，= 级别，全枚举落 frontmatter）----
 {
-  for (const level of ['L0', 'L1', 'L2', 'L3']) {
+  for (const level of ['L1', 'L2', 'L3']) { // L0 已退役——L0 现走 renderIntent 抛「level 不在枚举」（S8b）
     const { body } = renderIntent({ topic: 't', module: 'pipeline', level });
     const fm = body.match(/^---([\s\S]*?)---/)[1];
     check('S8 risk_level=' + level + ' 写入 frontmatter', new RegExp('^risk_level:\\s*' + level + '$', 'm').test(fm));
   }
 }
 
+// ---- 场景 8b：L0 已退役（2026-10-13 自源仓收敛系列 1 回灌）→ renderIntent fail-loud ----
+{
+  let threw = '';
+  try { renderIntent({ topic: 't', module: 'pipeline', level: 'L0' }); } catch (e) { threw = e.message; }
+  check('S8b level=L0 → 抛 level 不在枚举 L1|L2|L3', threw.includes('level 不在枚举 L1|L2|L3'), threw);
+}
+
+// ---- 场景 9：预判键 scaffold（2026-10-13 自 Shipyard §25 prejudgment-ledger 回灌）----
+// intents≡require 恒真；level 与「级别」双写同值——与路由预判一致性检查对账零 WARN（advisory 灰度）
+{
+  for (const level of ['L1', 'L2', 'L3']) { // L0 已退役——L0 现走 renderIntent 抛「level 不在枚举」（S8b）
+    const { body } = renderIntent({ topic: 't', module: 'pipeline', level });
+    const fm = body.match(/^---([\s\S]*?)---/)[1];
+    check('S9 预判=' + level + ' scaffold（kind=require level=级别）',
+      new RegExp('^预判:\\s*kind=require level=' + level + '$', 'm').test(fm));
+  }
+}
+
 
 // ---- 历史坑注入 kbHits（2026-10-09 engine-quality-round3 W2）----
 {

package/templates/_agents/scripts/fill-plan.mjs

@@ -1,7 +1,8 @@
 // flow-kit fill-plan：起草 plan 草稿（L1 Quick-Plan 三节 / L2-L3 完整 4 节）
 // 用法：node .agents/scripts/fill-plan.mjs --level L1 --topic "test" --output /tmp/x.md [--root <仓库根>]
 // L1：改动方案 + 约束与风险 + 验证计划（Quick-Plan 必填三节）
-// L2/L3：改动方案 + 任务拆解 + 执行顺序 + 验证计划
+// L1 直达（2026-10-13 自 Shipyard 回灌）：本 plan 即入口、不另立 intent；无同名 intent/incident 时起草门
+// 放行（--level L1）。修复类仍可另立 incident。L2/L3：改动方案 + 任务拆解 + 执行顺序 + 验证计划
 // 起草门（2026-09-30 stage-gate-machine）：output 落于工作区（路径含 workflow 段）时，须同主题入口已确认，
 // 且入口级别（取入口 frontmatter，非 --level）为 L2/L3 时同名 spec 已确认；未过 → 拒绝生成（exit 2）。
 import fs from 'node:fs';
@@ -27,14 +28,14 @@ function parseArgs(argv) {
 function fail(msg) { console.error('❌ ' + msg); process.exit(1); }
 
 const L1_SECTIONS = [
-  { title: '改动方案', hint: '- <文件/组件>：<做什么；判据细节直接写进条目，如「L771 message.success 改『更新成功』」>' },
+  { title: '改动方案', hint: '- <文件/组件>：<做什么；判据细节直接写进条目，如「L771 message.success 改『更新成功』」>\n\n> build.md 确认的改动清单确认后回填本节落盘（对话留痕仅供当次）——改动面 + 任务勾选态 + git status = 会话重入三锚（2026-10-11 session-context）。' },
   { title: '约束与风险', hint: '- 约束：<对照 AGENTS.md 红线，说明如何满足；不许动什么>\n- 风险：<潜在影响 / 破坏性风险>' },
   { title: '验证计划', hint: '- 静态门：项目构建命令（+ 项目测试命令，测试项目就绪后）\n- 前端：cd frontend && npm run build（vue-tsc）\n- UI：.agents/commands/test.md（涉及页面改动必走，headless Chrome 实测）\n- L2 追加：<契约 / 规则面比对：编码结果抽样 / 接口契约断言 / 口径对账>\n- L3 追加：<含 schema 变更：备份 + 回滚 SQL 就绪后执行；仅运行时 / 管线：回退上一 release tag + 配置开关预案>' },
 ];
 
 const FULL_SECTIONS = [
   L1_SECTIONS[0],
-  { title: '任务拆解（L2/L3 必填；L1 仅多文件多步骤时用，单任务微改动删本节）', hint: '1. <任务>\n   - 判据：<怎样算完成；尽量对应一个测试或可复现操作>\n   - 风险：低 / 中 / 高（<原因>）\n2. <任务>\n   - 判据：…\n   - 风险：…' },
+  { title: '任务拆解（L2/L3 必填；L1 仅多文件多步骤时用，单任务微改动删本节）', hint: '- [ ] 1. <任务>\n   - 判据：<怎样算完成；尽量对应一个测试或可复现操作>\n   - 风险：低 / 中 / 高（<原因>）\n   - 留痕：（勾选时回填 commit SHA / 测试名 / 实测输出）\n- [ ] 2. <任务>\n   - 判据：…\n   - 风险：…\n   - 留痕：…\n\n> 任务即勾选态（2026-10-11 session-context）：完成一项立刻勾选并回填留痕；压缩 / 新会话续作先读本表勾选态 + git status 重建进度，禁凭记忆补勾。' },
   { title: '执行顺序（L2/L3 必填；L1 单文件微改动删本节）', hint: '<1 → 2 → 3；标注依赖关系>' },
   L1_SECTIONS[2],
 ];
@@ -43,7 +44,10 @@ export function renderPlan({ topic, level = 'L1' }) {
   if (!LEVELS.includes(level)) throw new Error('level 不在枚举 ' + LEVELS.join('|') + '：' + level);
   const sections = level === 'L1' ? L1_SECTIONS : FULL_SECTIONS;
   const fm = '---\n状态: draft\n级别: ' + level + '\n模块: pipeline\n---\n';
-  let body = '# PLAN — ' + topic + '\n\n<!-- 与 intents/ 或 incidents/ 下同名入口文档配对；L2/L3 必须先有 ../specs/ 同名 spec 确认通过；AI 起草、用户对话内确认后开工 -->\n<!-- frontmatter 受限子集（2026-09-13）：状态∈draft/approved/done/superseded/cancelled；级别∈L0/L1/L2/L3；正文不再写状态/级别行 -->\n<!-- L1 快车道 (Quick-Plan)（2026-09-30 更新）：合并 Spec 与 Plan 核心。必填三节：[改动方案, 约束与风险, 验证计划]。仅多文件多步骤时保留任务拆解/执行顺序 -->\n\n对应入口：../intents/YYYY-MM-DD-<主题>.md 或 ../incidents/YYYY-MM-DD-<主题>.md（保留实际一项）\n对应 spec：../specs/YYYY-MM-DD-<主题>.md（L1 走快车道则省略）\n\n';
+  const entryLine = level === 'L1'
+    ? '对应入口：本 plan（L1 不再另立 intent）。修复类另保留 ../incidents/YYYY-MM-DD-<主题>.md\n对应 spec：省略（仅 L2/L3）\n\n'
+    : '对应入口：../intents/YYYY-MM-DD-<主题>.md 或 ../incidents/YYYY-MM-DD-<主题>.md（保留实际一项）\n对应 spec：../specs/YYYY-MM-DD-<主题>.md\n\n';
+  let body = '# PLAN — ' + topic + '\n\n<!-- 与 intents/ 或 incidents/ 下同名入口文档配对；L2/L3 必须先有 ../specs/ 同名 spec 确认通过；AI 起草、用户对话内确认后开工 -->\n<!-- frontmatter 受限子集（2026-09-13）：状态∈draft/approved/done/superseded/cancelled；级别∈L1/L2/L3（2026-10-13 L0 退役）；正文不再写状态/级别行 -->\n<!-- L1 快车道 (Quick-Plan)（2026-09-30 更新）：合并 Spec 与 Plan 核心。必填三节：[改动方案, 约束与风险, 验证计划]。仅多文件多步骤时保留任务拆解/执行顺序。L1 直达（2026-10-13 自 Shipyard 回灌）：本文件即入口，不另立 intent -->\n\n' + entryLine;
   for (const { title, hint } of sections) {
     body += '## ' + title + '\n\n' + hint + '\n\n';
   }
@@ -58,7 +62,7 @@ if (isMain) {
   if (!LEVELS.includes(a.level)) fail('level 必须在 ' + LEVELS.join('|') + '：' + a.level);
   const ws = resolveWorkspace(a.output, a.root);
   if (ws) {
-    const gate = draftGateFor('plan', ws.root, ws.base);
+    const gate = draftGateFor('plan', ws.root, ws.base, { level: a.level });
     if (!gate.ok) {
       console.error('❌ 起草门未过（stage-gates）：' + gate.reason);
       console.error('   ' + gate.hint + '——本份未生成（确认前置后重跑本命令）');
@@ -70,6 +74,6 @@ if (isMain) {
   const { body } = renderPlan(a);
   fs.mkdirSync(path.dirname(a.output), { recursive: true });
   fs.writeFileSync(a.output, body);
-  console.log('✅ 已生成 plan 草稿：' + a.output + '（状态 draft / 级别 ' + a.level + ' / ' + (a.level === 'L1' ? 'Quick-Plan 三节' : '完整 4 节') + '）');
+  console.log('✅ 已生成 plan 草稿：' + a.output + '（状态 draft / 级别 ' + a.level + ' / ' + (a.level === 'L1' ? 'Quick-Plan 三节（plan 即入口）' : '完整 4 节') + '）');
 }
 export default renderPlan;

package/templates/_agents/scripts/fill-plan.test.mjs

@@ -31,6 +31,10 @@ function check(name, cond, detail = '') {
   check('S2 L2 含节 ## 执行顺序', body.includes('## 执行顺序'));
   check('S2 L2 含节 ## 验证计划', body.includes('## 验证计划'));
   check('S2 L2 共 5 节（4 节 + 确认与复核）', sections.length === 5, '实际 ' + sections.length + ' 节');
+  // 任务即勾选态（2026-10-13 自 Shipyard 回灌 session-context）
+  check('S2 任务即勾选态：复选框编号形态', /- \[ \] 1\. <任务>/.test(body));
+  check('S2 任务即勾选态：留痕行', body.includes('留痕：（勾选时回填 commit SHA / 测试名 / 实测输出）'));
+  check('S2 任务即勾选态：三锚注释', body.includes('会话重入三锚'));
 }
 
 // ---- 场景 3：L3 与 L2 同结构 ----
@@ -86,10 +90,22 @@ const runTool = (root, base, level) => spawnSync(process.execPath,
   [CLI, '--topic', base, '--level', level, '--output', path.join(root, 'workflow', 'plans', `${base}.md`)],
   { cwd: root, encoding: 'utf8' });
 {
+  // S8（2026-10-13 自 Shipyard 回灌 L1 即入口）：无同名入口 + --level L1 → plan 自己就是入口，放行生成；
+  // 对照 S8b：L2 无同名入口仍拒（直达语义只对 L1 开）。
   const root = mkws();
   const r = runTool(root, '2026-09-30-none', 'L1');
-  check('S8 起草门：无同名入口 → exit 2 且零文件产出',
-    r.status === 2 && /起草门未过/.test(r.stderr) && !fs.existsSync(path.join(root, 'workflow', 'plans', '2026-09-30-none.md')),
+  const f = path.join(root, 'workflow', 'plans', '2026-09-30-none.md');
+  check('S8 L1 即入口：无同名入口 + --level L1 → 放行生成（plan 即入口）',
+    r.status === 0 && fs.existsSync(f)
+    && fs.readFileSync(f, 'utf8').includes('对应入口：本 plan（L1 不再另立 intent）'),
+    JSON.stringify({ status: r.status, stderr: r.stderr }));
+  fs.rmSync(root, { recursive: true, force: true });
+}
+{
+  const root = mkws();
+  const r = runTool(root, '2026-09-30-none2', 'L2');
+  check('S8b 起草门：无同名入口 + --level L2 → exit 2 且零文件产出（直达仅限 L1）',
+    r.status === 2 && /起草门未过/.test(r.stderr) && !fs.existsSync(path.join(root, 'workflow', 'plans', '2026-09-30-none2.md')),
     JSON.stringify({ status: r.status, stderr: r.stderr }));
   fs.rmSync(root, { recursive: true, force: true });
 }
@@ -113,7 +129,7 @@ const runTool = (root, base, level) => spawnSync(process.execPath,
   fs.rmSync(root, { recursive: true, force: true });
 }
 {
-  // S10b 探索泳道（2026-09-30 hybrid-governance-explore-hardening）：L0/L1 draft intent → 放行 plan 起草
+  // S10b 探索泳道（2026-09-30 hybrid-governance-explore-hardening）：L1 draft intent → 放行 plan 起草
   // （「先起草后确认」；收口由 check-loop --hardening 加固门兜底）
   const root = mkws({ 'workflow/intents/2026-09-30-exp.md': '---\n状态: draft\n级别: L1\nrisk_level: L1\n日期: 2026-09-30\n---\n# I\n' });
   const r = runTool(root, '2026-09-30-exp', 'L1');

package/templates/_agents/scripts/fill-spec.mjs

@@ -1,4 +1,4 @@
-// flow-kit fill-spec：起草 spec 草稿（功能行为 / 数据流 / 系统改动 / 约束遵守映射 / 风险评估 共 5 节）
+// flow-kit fill-spec：起草 spec 草稿（功能行为 / 数据流 / 系统改动 / 约束遵守映射 / 验收判据 / 风险评估 共 6 节）
 // 用法：node .agents/scripts/fill-spec.mjs --topic "test" --output /tmp/x.md [--root <仓库根>]
 // 起草门（2026-09-30 stage-gate-machine）：output 落于工作区（路径含 workflow 段）时，须同主题入口已确认
 // （判定口径见 stage-gates.mjs）；未过 → 拒绝生成（exit 2）；仓外草稿（无 workflow 段）不校验。
@@ -30,15 +30,18 @@ const SECTIONS = [
   { title: '数据流', hint: '<请求→处理→持久化→回应的端到端路径；标出各环节涉及的服务 / 表 / 缓存 / 第三方调用>' },
   { title: '系统改动', hint: '<分模块列出本 spec 引入的所有改动；含新增 / 修改 / 删除；与 plan §改动面 一一对应>' },
   { title: '约束遵守映射', hint: '<逐条对照根 AGENTS.md 与目录级 AGENTS.md（如有）的红线 / 约束，说明本 spec 如何满足；逐条回应而非简单列举>' },
+  { title: '验收判据', hint: '<逐条登记可观察行为 × 证据（存在的文件路径，或全量门命令且 workflow/verify-evidence.md 有不早于本 spec 日期的全绿行）。人工走查状态写「人工」、证据留空（截图等图片路径不认；需留痕改存 .md 报告后引路径）。对账段不核对正文相关性>', table: true },
   { title: '风险评估', hint: '<列出本 spec 引入的风险点：数据 / 接口 / 性能 / 安全 / 回滚难度 / 用户影响；评估每个的等级与缓解措施>' },
 ];
 
 export function renderSpec({ topic, level = 'L2', date = TODAY }) {
   if (!LEVELS.includes(level)) throw new Error(`level 不在枚举 ${LEVELS.join('|')}：${level}`);
   const fm = `---\n状态: draft\n级别: ${level}\n日期: ${date}\n模块: pipeline\n备注: <spec 关联 intent / plan 的同名主题>\n---\n`;
-  let body = `# SPEC — ${topic}\n\n<!-- 与 intents/ 下同名入口文档配对；L2/L3 必须先有 ../intents/YYYY-MM-DD-<主题>.md approved -->\n<!-- frontmatter 受限子集（2026-09-13）：状态∈draft/approved/done/superseded/cancelled；级别∈L0/L1/L2/L3；正文不再写状态/级别行 -->\n\n`;
-  for (const { title, hint } of SECTIONS) {
+  let body = `# SPEC — ${topic}\n\n<!-- 与 intents/ 下同名入口文档配对；L2/L3 必须先有 ../intents/YYYY-MM-DD-<主题>.md approved -->\n<!-- frontmatter 受限子集（2026-09-13）：状态∈draft/approved/done/superseded/cancelled；级别∈L1/L2/L3（2026-10-13 L0 退役）；正文不再写状态/级别行 -->\n\n`;
+  for (const { title, hint, table } of SECTIONS) {
     body += `## ${title}\n\n${hint}\n\n`;
+    // 验收判据是对账段（B6b 落地后编号以 check-loop.mjs 头部清单为准）的机器输入：直出表骨架（表头签名固定，作者只填行——占位行被检查豁免）
+    if (table) body += `| 判据（可观察行为） | 证据（测试文件 / 命令 / 证据文件） | 状态 |\n|---|---|---|\n| <行为 1> | <路径或命令> | <覆盖 / 未覆盖 / 人工> |\n\n`;
   }
   body += `## 确认与复核\n\n- 确认日期：\n- 复核：L3 必须独立复核（independent-reviewer，新会话）；L2 推荐独立复核；L1 可省\n`;
   return { frontmatter: fm, body: fm + body, sections: SECTIONS.map((s) => s.title) };

package/templates/_agents/scripts/fill-spec.test.mjs

@@ -12,12 +12,20 @@ function check(name, cond, detail = '') {
   else { failCount++; console.log('FAIL ' + name + (detail ? '——' + detail : '')); }
 }
 
-// ---- 场景 1：5 节正文齐 ----
+// ---- 场景 1：6 节正文齐 ----
 {
   const { body } = renderSpec({ topic: 'test', level: 'L2' });
-  const expectedSections = ['功能行为', '数据流', '系统改动', '约束遵守映射', '风险评估', '确认与复核'];
+  const expectedSections = ['功能行为', '数据流', '系统改动', '约束遵守映射', '验收判据', '风险评估', '确认与复核'];
   for (const s of expectedSections) check('S1 含节 ## ' + s, body.includes('## ' + s));
-  check('S1 共 6 节标题', (body.match(/^##\s/gm) || []).length === 6);
+  check('S1 共 7 节标题', (body.match(/^##\s/gm) || []).length === 7);
+}
+
+// ---- 场景 1b：验收判据表骨架（2026-10-13 自 Shipyard 回灌——对账段机器输入，表头签名固定）----
+{
+  const { body } = renderSpec({ topic: 't', level: 'L2' });
+  check('S1b 验收判据表头三列签名', body.includes('| 判据（可观察行为） | 证据（测试文件 / 命令 / 证据文件） | 状态 |'));
+  check('S1b 验收判据表分隔行', body.includes('|---|---|---|'));
+  check('S1b 验收判据占位行', body.includes('| <行为 1> | <路径或命令> | <覆盖 / 未覆盖 / 人工> |'));
 }
 
 // ---- 场景 2：frontmatter 含 5 字段 ----
@@ -94,7 +102,7 @@ const runTool = (root, base) => spawnSync(process.execPath,
   fs.rmSync(root, { recursive: true, force: true });
 }
 {
-  // S9b 探索泳道（2026-09-30 hybrid-governance-explore-hardening）：L0/L1 draft intent → 放行 spec 起草
+  // S9b 探索泳道（2026-09-30 hybrid-governance-explore-hardening）：L1 draft intent → 放行 spec 起草
   // （「先起草后确认」；L2/L3 防御道维持入口确认前置——S9 照旧）
   const root = mkws({ entryFile: 'intents/2026-09-30-exp.md', entryBody: '---\n状态: draft\n级别: L1\nrisk_level: L1\n日期: 2026-09-30\n---\n# I\n' });
   const r = runTool(root, '2026-09-30-exp');

package/templates/_agents/scripts/fixture-scripts.mjs

@@ -14,7 +14,7 @@
 //
 // 依赖发现口径（刻意取宽）：**静态 import/export from**、**动态 import()**、以及**裸文件名字面量**
 // （形如 path.join(here, 'kb-search.mjs') 的 spawn 依赖——wiki-search.mjs 就只靠这一条挂住 kb-search；
-// check-hygiene 靠它挂住 rule-budget.sh 与两个生成器）。裸文件名只在**解析到同目录真实文件**时才计入，
+// check-hygiene 靠它挂住 rule-budget.mjs 与两个生成器）。裸文件名只在**解析到同目录真实文件**时才计入，
 // 故 `'../hooks/commit-check.cjs'` 这类跨目录字面量天然被排除（scripts/ 下不存在同名文件）。
 // 宁可多拷（多一个文件不会让测试变假绿），不可漏拷（漏拷就是假绿）。
 import fs from 'node:fs';
@@ -102,7 +102,7 @@ export function scriptClosure(entries, { from = SCRIPT_DIR } = {}) {
 }
 
 // copyScriptClosure：把入口的整个依赖闭包拷进 destScriptsDir，返回实际拷入的文件名。
-// opts.extra —— 额外要拷的同级非脚本件（如 rule-budget.sh 之外的 .txt 词表由 copyAgentsFiles 负责）。
+// opts.extra —— 额外要拷的同级非脚本件（如 rule-budget.mjs 之外的 .txt 词表由 copyAgentsFiles 负责）。
 export function copyScriptClosure(destScriptsDir, entries, opts = {}) {
   const from = opts.from || SCRIPT_DIR;
   fs.mkdirSync(destScriptsDir, { recursive: true });

package/templates/_agents/scripts/fixture-scripts.test.mjs

@@ -83,7 +83,12 @@ const synth = (files) => {
 {
   const dest = path.join(tmpRoot('copy'), 'scripts');
   const copied = copyScriptClosure(dest, ['check-loop.mjs']);
-  check('S7 check-loop 闭包含新台账依赖', ['check-loop.mjs', 'ledger-loader.mjs', 'ledger-prune.mjs'].every((f) => copied.includes(f)), copied.join(','));
+  check('S7 check-loop 闭包含新台账依赖（含 policy.mjs——B6b-1 分道/policy 锚随闭包自动跟随）', ['check-loop.mjs', 'ledger-loader.mjs', 'ledger-prune.mjs', 'policy.mjs'].every((f) => copied.includes(f)), copied.join(','));
+  // B6b-2 六段模块（2026-10-13）：check-loop.mjs import 的段模块须随闭包自动带上——漏拷 = 被测脚本
+  // 在夹具里 resolve 失败 → 门禁静默不跑（本文件头注的假绿形态）。显式断言六件在场，不靠运气。
+  check('S7 check-loop 闭包含 B6b-2 六段模块（import 闭包自动跟随）',
+    ['check-spec-verif.mjs', 'check-registry.mjs', 'check-convergence.mjs', 'check-attribution.mjs', 'check-prejudgment.mjs', 'check-funnel.mjs'].every((f) => copied.includes(f)),
+    copied.join(','));
   check('S7 拷贝后 assertFixtureScripts 不炸（闭包自洽）', assertFixtureScripts(dest) === true);
   // 真跑一次被测脚本，确认夹具不是「文件齐了但跑不起来」
   const fx = path.dirname(dest);

package/templates/_agents/scripts/gate-checklist.mjs

@@ -88,6 +88,12 @@ const PAIRS = [
   { doctor: '7', cl: '18', note: '经 §7 整体运行覆盖（委派台账对账）' },
   { doctor: '7', cl: '19', note: '经 §7 整体运行覆盖（逐阶段审计——起草先于入口确认 / 台账审批顺序倒置）' },
  { doctor: '7', cl: '20', note: '经 §7 整体运行覆盖（引擎脚本测试覆盖，2026-10-01 gate-script-test-coverage）' },
+ { doctor: '7', cl: '21', note: '经 §7 整体运行覆盖（spec 验证落地核查，2026-10-13 B6b-2 回灌）' },
+ { doctor: '7', cl: '22', note: '经 §7 整体运行覆盖（机制使用量台账，2026-10-13 B6b-2 回灌）' },
+ { doctor: '7', cl: '23', note: '经 §7 整体运行覆盖（判据级收敛对账，2026-10-13 B6b-2 回灌）' },
+ { doctor: '7', cl: '24', note: '经 §7 整体运行覆盖（incident 归因字段核查，2026-10-13 B6b-2 回灌）' },
+ { doctor: '7', cl: '25', note: '经 §7 整体运行覆盖（路由预判一致性，2026-10-13 B6b-2 回灌）' },
+ { doctor: '7', cl: '26', note: '经 §7 整体运行覆盖（闭环漏斗「协议前」占比动作阈值，2026-10-13 B6b-2 回灌）' },
 ];
 
 // gateChecklist：按登记表对照两侧检查项（pure function；pairs 可注入供测试）

package/templates/_agents/scripts/gate-seg.mjs

@@ -7,7 +7,7 @@
 // 默认路径（无 --gate-stats）下 segs 只在内存里攒、不打印不写盘 → 输出契约逐字节不变（硬约束：
 // pre-push / pre-commit 消费者 + doctor 的 WARN 行计数 + check-loop.test.mjs 223 断言全依赖它）。
 //
-// 耗时口径**刻意包含子进程时间**（检查 11 调两个生成器 --check、检查 13 调 sh rule-budget.sh）——
+// 耗时口径**刻意包含子进程时间**（检查 11 调两个生成器 --check、检查 13 调 rule-budget.mjs）——
 // 门禁真实成本本就要含子进程；不做剔除，但看板与 spec 均显式声明该口径防误读。
 export function gateSeg(collector, id, label) {
   const now = Date.now();

package/templates/_agents/scripts/gen-effective-policy.mjs

@@ -0,0 +1,107 @@
+#!/usr/bin/env node
+// gen-effective-policy.mjs — 当前生效规则视图生成器（2026-10-13 自 Shipyard.Material 参考实现回灌，
+//   源仓沿革留痕在包源仓 git 历史与 CHANGELOG——装户径不引实例路径）
+// 背景：豁免锚经 policy v1→v8 演进后，「存量豁免 vs 受管」的合成语义只活在 check-loop.mjs 源码里，
+//   规则空间永久二分且不可读——本脚本把 policy.mjs 单源渲染为人可读的 workflow/effective-policy.md，
+//   与 INDEX.md 同款「生成物 + --check 防漂移」纪律；verify.mjs 挂 --check 门（CI 强制随 policy 变更重生成）。
+// 渲染内容：当前生效 policyVersion（单源 policy.mjs#loadKitPolicy 读 .agents/kit.json，缺省回落 v1）、
+//   逐锚键的生效日 / 消费检查项 / 分级现状（hard·已生效 / advisory·已生效 / 未到期——锚日 > 今日的
+//   升级锚标注「待升级」）。
+// 判定单源：锚定义与版本回落 = policy.mjs POLICIES / loadKitPolicy（本脚本不写日期、不读第二份配置，
+//   只读只渲染）；键→检查项映射取自 check-loop.mjs 头部检查清单（kit 现役 1-20 项，编号是文档引用锚）。
+// 用法：node .agents/scripts/gen-effective-policy.mjs [--root <dir>] [--check]
+//   --check：与磁盘 workflow/effective-policy.md 比对，漂移 exit 1（CI/verify 用）。
+//   比对前双侧行尾归一（CRLF→LF）。生成器仍只写 LF，--check 不改文件。
+//   干净的 autocrlf 检出是 CRLF，字节相等会假红，且重生成只留下不可提交的行尾差。
+// 测试：node .agents/scripts/gen-effective-policy.test.mjs（fixture 注入 --root）
+import fs from 'node:fs';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+import { POLICIES, loadKitPolicy } from './policy.mjs';
+
+const SCRIPT_DIR = path.dirname(fileURLToPath(import.meta.url));
+const argv = process.argv.slice(2);
+const argOf = (k) => {
+  const i = argv.indexOf(k);
+  return i >= 0 && i + 1 < argv.length ? argv[i + 1] : '';
+};
+const ROOT = argOf('--root') || path.resolve(SCRIPT_DIR, '..', '..');
+const OUT = path.join(ROOT, 'workflow', 'effective-policy.md');
+
+// 键 → 消费检查项与分级说明（单源 check-loop.mjs 头部检查清单编号；说明文本与本脚本共同演进）
+const CONSUMERS = {
+  moduleSince: ['检查 12', 'frontmatter「模块:」枚举合法性（词表单源 .agents/workflow-modules.txt）', 'advisory'],
+  check14Since: ['检查 14', '新 done 的 spec/plan 须有 approved git 历史（kit 口径恒 advisory 永不升级 hard）', 'advisory'],
+  confirmDocsEffective: ['检查 15', 'docs 确认台账两条件准入（台账行 ∪ 自报日期≥锚）', 'hard'],
+  confirmIncidentsEffective: ['检查 15', 'incidents 档确认阈值（fixed/closed 配对）', 'hard'],
+  bindingTs: ['检查 15', '四终态内容绑定（台账行 ts≥锚 才比对 sha256）', 'hard'],
+  check17UnclosedAfter: ['检查 17', '发版提交树未收口三件套——版本 tag 锚（非日期）', 'hard'],
+  stageGateSince: ['检查 19', '逐阶段审计（起草先于入口确认 / 台账顺序）', 'advisory'],
+  riskLevelSince: ['检查 1', 'intent risk_level 双字段协议（laneOfEntry 判道的生效锚——锚前建档单字段口径不判高）', 'hard'],
+  delegationSince: ['检查 18', '委派台账对账——锚前存量豁免', 'advisory'],
+  verifySince: ['检查 8', '测试绿声明对账（无 SHA 声明「测试绿」须 24h 内凭证）+ confirm-doc →done 前置', 'advisory'],
+  verifyDocSince: ['检查 8', '凭证按 doc 精确绑定的生效时刻（→done 前置与对账按 doc 匹配，不带 --doc 的行不给任何单背书）', 'advisory'],
+  scopeSince: ['检查 15', 'scope 子项（机器派生改动面 scope{files,sha256}——缺 scope 灰度 warning、摘要不符 hard）', 'hard'],
+  ledgerDocChainSince: ['检查 15', '台账哈希链域从物理序改为按 doc 逻辑序（写入侧 confirm-doc 同批生效）', 'hard'],
+  // B6b-2 六段 + §3x + 复核上下文（2026-10-13 自源仓回灌，消费面自本批起在场）
+  incidentRegrSince: ['检查 3x', 'incident 防复发验证证据门（fixed/closed 须落自动化用例/回归清单引用）', 'hard'],
+  specVerifSince: ['检查 21', 'spec 验证落地核查（验证节无测试文件/命令引用——advisory）', 'advisory'],
+  attributionSince: ['检查 24', 'incident 归因字段（来源/影响环境必填且在枚举——advisory）', 'advisory'],
+  convergenceSince: ['检查 23', '判据级收敛对账 advisory 档（证据无效 WARN）', 'advisory'],
+  convergenceHardSince: ['检查 23', '判据级收敛对账 hard 档（证据无效 HARD-BLOCK）', 'hard'],
+  reviewerSince: ['检查 1', '独立复核上下文标识（复核行缺「复核上下文：」——advisory）', 'advisory'],
+};
+
+// today：视图基准日。EFFECTIVE_POLICY_TODAY 为测试注入缝（跨锚日稳定性用；生产不设）。
+const today = () => process.env.EFFECTIVE_POLICY_TODAY || new Date().toISOString().slice(0, 10);
+
+function render(viewDateStr) {
+  const policy = loadKitPolicy(ROOT);
+  const v = POLICIES[policy.policyVersion] || {};
+  const todayStr = viewDateStr || today();
+  const lines = [];
+  lines.push('# 当前生效规则视图（生成物，勿手改）');
+  lines.push('');
+  lines.push('> 生成器 `node .agents/scripts/gen-effective-policy.mjs`（policy.mjs 单源渲染；漂移由 verify.mjs `effective-policy` 门 --check 把关——改 policy 后须重生成并随同提交）。');
+  lines.push(`> 当前生效：**policyVersion ${policy.policyVersion}**（kit.json 声明 ${policy.requestedVersion}${policy.requestedVersion === policy.policyVersion ? '' : '，不在 POLICIES 表内已回落 v1'}）；视图日期 ${todayStr}。`);
+  lines.push('');
+  lines.push('| 锚键 | 生效日/锚 | 消费检查项 | 语义 | 分级 | 现状 |');
+  lines.push('|---|---|---|---|---|---|');
+  for (const key of Object.keys(v)) {
+    const raw = v[key];
+    const c = CONSUMERS[key] || ['—', '（未登记消费方——policy 加新键时同步登 CONSUMERS）', '—'];
+    const isDate = /^\d{4}-\d{2}-\d{2}$/.test(String(raw));
+    // 升级锚语义：日期 > 今日 = 未到期（维持低档）；其余 = 已生效
+    const status = !isDate ? '生效（版本锚）' : (String(raw) <= todayStr ? '已生效' : `待升级（${raw} 起）`);
+    lines.push(`| \`${key}\` | ${raw} | ${c[0]} | ${c[1]} | ${c[2]} | ${status} |`);
+  }
+  lines.push('');
+  lines.push('<!-- GENERATED:BEGIN — gen-effective-policy.mjs 整段重写，手工说明写在本行之前 -->');
+  return lines.join('\n') + '\n';
+}
+
+const text = render();
+// 行尾归一（与 gen-workflow-index.mjs normEol 同句）：只影响 --check 判定，写盘仍是 LF。
+const normEol = (s) => String(s).replace(/\r\n/g, '\n');
+if (argv.includes('--check')) {
+  let disk = '';
+  try {
+    disk = fs.readFileSync(OUT, 'utf8');
+  } catch { /* 缺文件视作空——走漂移分支（新装户由 init 生成器首跑种子本文件） */ }
+  // 锚日时间炸弹拆除（源仓 2026-10-12 CI 实证：锚日当天重渲染按当日判「已生效」→ 与仓内视图必差
+  // → --check 必红——任何未来日期锚都会在锚日引爆）。修法：--check 对**磁盘文件自带的视图日期**重渲染
+  // （生成物与自身生成日自洽，跨锚日字节稳定）；显式重生成（默认模式）才前进视图日期并翻转状态列。
+  // 视图日期行缺失的存量件回落当日口径。
+  const mDate = disk.match(/视图日期 (\d{4}-\d{2}-\d{2})/);
+  const checkText = mDate ? render(mDate[1]) : text;
+  if (normEol(disk) === normEol(checkText)) {
+    console.log('[effective-policy] ✅ 与磁盘一致（无漂移；按磁盘视图日期重渲染比对）');
+    process.exit(0);
+  }
+  console.error('[effective-policy] ❌ 漂移：policy 变更后未重生成 workflow/effective-policy.md');
+  console.error('  修法：node .agents/scripts/gen-effective-policy.mjs && git add workflow/effective-policy.md（随 policy 变更同笔提交）');
+  process.exit(1);
+}
+fs.mkdirSync(path.dirname(OUT), { recursive: true });
+fs.writeFileSync(OUT, text);
+console.log(`✅ 已生成 ${path.relative(process.cwd(), OUT)}`);

package/templates/_agents/scripts/gen-effective-policy.test.mjs

@@ -0,0 +1,100 @@
+#!/usr/bin/env node
+// gen-effective-policy.test.mjs — 生效规则视图生成器 fixture 套件（2026-10-13 自 Shipyard.Material
+//   参考实现回灌时随件移植；夹具口径改 kit：注入 .agents/kit.json 的 policyVersion 取值 / 缺失 / 非法三态）
+// 方法：临时根注入 kit.json，断言生成内容与 --check 语义。
+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, 'gen-effective-policy.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 mkfix = (policyVersion) => {
+  const d = fs.mkdtempSync(path.join(os.tmpdir(), 'eff-policy-test-'));
+  fs.mkdirSync(path.join(d, '.agents'), { recursive: true });
+  if (policyVersion !== undefined) fs.writeFileSync(path.join(d, '.agents', 'kit.json'), JSON.stringify({ kit: 'agentic-flow-kit', policyVersion }));
+  return d;
+};
+const run = (root, ...args) => {
+  const r = spawnSync(process.execPath, [SCRIPT, '--root', root, ...args], { encoding: 'utf8' });
+  return { code: r.status, out: `${r.stdout || ''}${r.stderr || ''}` };
+};
+
+// 场景 1：v8 生成——当前版本行 + 全锚键行 + 表结构（真实 v8 锚均为历史日期，待升级分支由场景 4 注入钉住）
+{
+  const d = mkfix(8);
+  const r = run(d);
+  const doc = fs.readFileSync(path.join(d, 'workflow', 'effective-policy.md'), 'utf8');
+  check('场景 1：v8 生成成功且含版本声明与锚键行',
+    r.code === 0 && doc.includes('**policyVersion 8**') && doc.includes('`ledgerDocChainSince`') && doc.includes('`bindingTs`') && doc.includes('kit.json 声明 8'), r.out + doc);
+}
+// 场景 2：--check 一致 → 0；篡改磁盘 → 1；再生成 → 恢复 0
+{
+  const d = mkfix(8);
+  run(d);
+  check('场景 2a：生成后 --check 一致', run(d, '--check').code === 0);
+  fs.appendFileSync(path.join(d, 'workflow', 'effective-policy.md'), 'drift\n');
+  const r2 = run(d, '--check');
+  check('场景 2b：磁盘漂移 → --check exit 1 且含修法', r2.code === 1 && r2.out.includes('重生成'), r2.out);
+  run(d);
+  check('场景 2c：重生成后 --check 恢复 0', run(d, '--check').code === 0);
+}
+// 场景 2d/2e：行尾不算漂移，内容差仍算（autocrlf 假红）
+{
+  const d = mkfix(8);
+  run(d);
+  const p = path.join(d, 'workflow', 'effective-policy.md');
+  const lf = fs.readFileSync(p, 'utf8');
+  fs.writeFileSync(p, lf.replace(/\n/g, '\r\n'));
+  check('场景 2d：CRLF 检出、内容相同 → --check 0', run(d, '--check').code === 0);
+  fs.writeFileSync(p, lf.replace(/\n/g, '\r\n').replace('policyVersion', 'policyVerslon'));
+  const r = run(d, '--check');
+  check('场景 2e：CRLF 且内容漂移 → --check exit 1', r.code === 1 && r.out.includes('重生成'), r.out);
+}
+// 场景 2f：锚日翻转稳定性（源仓 2026-10-12 CI 生产事故钉：视图生成于 D1，次日系统当日 --check
+//   按当日重渲染判「已生效」→ 与仓内「待升级」必差 → 每个未来日期锚都在锚日引爆）。
+//   修法语义：--check 对磁盘自带「视图日期」重渲染——不依赖未来锚存在，视图日期行本身在旧实现下就会漂移。
+{
+  const d = mkfix(8);
+  const d1 = new Date(Date.now() - 24 * 3600 * 1000).toISOString().slice(0, 10);
+  const gen = spawnSync(process.execPath, [SCRIPT, '--root', d], { encoding: 'utf8', env: { ...process.env, EFFECTIVE_POLICY_TODAY: d1 } });
+  const doc = fs.readFileSync(path.join(d, 'workflow', 'effective-policy.md'), 'utf8');
+  const chk = run(d, '--check'); // 不带 env——按系统当日跑，模拟「次日对账」
+  check('场景 2f：视图日期 D1 生成的视图，次日 --check 仍一致（按磁盘视图日期重渲染，锚日不引爆）',
+    gen.status === 0 && doc.includes(`视图日期 ${d1}`) && chk.code === 0,
+    `gen=${gen.status} docViewDate=${(doc.match(/视图日期 (\S+)/) || [])[1]} check=${chk.code}\n${chk.out}`);
+}
+
+// 场景 3：非法版本号 → 回落 v1（渲染回落声明）；缺 kit.json → 同 v1
+{
+  const d = mkfix(99);
+  const r = run(d);
+  const doc = fs.readFileSync(path.join(d, 'workflow', 'effective-policy.md'), 'utf8');
+  check('场景 3a：非法 policyVersion=99 → 回落 v1 且声明回落',
+    r.code === 0 && doc.includes('**policyVersion 1**') && doc.includes('kit.json 声明 99') && doc.includes('已回落'), doc);
+  const d2 = mkfix(undefined);
+  const r2 = run(d2);
+  const doc2 = fs.readFileSync(path.join(d2, 'workflow', 'effective-policy.md'), 'utf8');
+  check('场景 3b：缺 kit.json → v1 基线', r2.code === 0 && doc2.includes('**policyVersion 1**'), doc2);
+}
+// 场景 4：待升级判定——不依赖墙钟：EFFECTIVE_POLICY_TODAY 注入 2026-09-24，
+//   v8 的 check14Since=2026-09-26 > 视图基准日 → 「待升级」；moduleSince=2026-09-22 ≤ → 「已生效」
+{
+  const d = mkfix(8);
+  const r = spawnSync(process.execPath, [SCRIPT, '--root', d], { encoding: 'utf8', env: { ...process.env, EFFECTIVE_POLICY_TODAY: '2026-09-24' } });
+  const doc = fs.readFileSync(path.join(d, 'workflow', 'effective-policy.md'), 'utf8');
+  check('场景 4：升级锚按视图基准日判定（moduleSince 已生效 / check14Since 待升级）',
+    r.status === 0 && doc.includes('`check14Since` | 2026-09-26 | 检查 14 | 新 done 的 spec/plan 须有 approved git 历史（kit 口径恒 advisory 永不升级 hard） | advisory | 待升级（2026-09-26 起）')
+      && doc.includes('`moduleSince` | 2026-09-22 | 检查 12'), doc);
+}
+
+console.log(`\n合计: PASS ${pass} / FAIL ${fail}`);
+process.exit(fail ? 1 : 0);

package/templates/_agents/scripts/gen-verify-evidence.mjs

@@ -0,0 +1,107 @@
+#!/usr/bin/env node
+// gen-verify-evidence.mjs — 验证绿凭证摘要入库生成器（2026-10-13 自 Shipyard.Material 参考实现回灌，
+//   源仓沿革留痕在包源仓 git 历史与 CHANGELOG——装户径不引实例路径）
+// 背景：verifications.jsonl 是 gitignore 的本地台账（24h 窗口、跨机不可见）——历史提交「当时验证过什么」
+//   的机器事实只活在本地。本脚本把全绿行按 headShort 去重（同 SHA 取最新 ts）渲染进仓内
+//   workflow/verify-evidence.md，使绿凭证成为随库持久、跨机可对质的生成物（全量台账仍留本地）。
+// 语义：一行 = 「**验证时刻的工作树**（其基线提交 = 短 SHA，工作树可含未提交改动）过 verify 全量门禁
+//   全绿（门数 / 套件计数）」；非证据链签名——本地台账可伪造的诚实边界不变（check-loop 检查 15 头注释
+//   口径），入库摘要只是把「曾有凭证」从易失升级为难失。
+// 归因提醒：短 SHA 只是**基线提交**，不等于被测内容。关单应「先提交、后跑门」，否则绿行 SHA 指向
+//   未含本次改动的上一提交——同一 SHA 可能既有绿行（脏工作区跑）又有红记录。
+// 追加保全：已入仓的行不因本地台账缺失而被抹掉——台账 per-worktree 且 gitignore，整段重写会让
+//   跨机/换 worktree 的历史凭证消失。合并口径 = 仓内既有行 ∪ 本地台账绿行，同 headShort 取更新 ts
+//   （平局取本地台账，保持「重跑刷新凭证」语义）。代价（已接受）：仓内错行不会被重生成自动纠正——
+//   须人工改正；若本地台账仍持同一 SHA，重生成会按台账重写该行（须连同台账处理）。
+// 时机：verify.mjs 全绿尾部自动重生成（事件原子化——绿事实与仓内摘要同刻生成，消除双真相分叉）
+//   + 关单时随三件套同笔提交；CI 侧重生成于 CI 工作区、不回流本仓，无副作用；--check 只供本地自检。
+// 台账口径：kit 绿行形状 = {ts, exitCode:0, suite:'npm test', gates?, headShort?, passed?, failed?,
+//   doc?, runId?}（verify.mjs 落账单源）——本脚本只认 exitCode===0 且 suite==='npm test' 且带 headShort
+//   的行（无 SHA 的旧 schema 行不渲染）；passed/failed 语义 = 套件计数（非断言），doc = --doc 绑定单。
+// 用法：node .agents/scripts/gen-verify-evidence.mjs [--root <dir>] [--check]
+// 测试：node .agents/scripts/gen-verify-evidence.test.mjs（fixture 注入 --root）
+import fs from 'node:fs';
+import path from 'node:path';
+import { fileURLToPath } from 'node:url';
+
+const SCRIPT_DIR = path.dirname(fileURLToPath(import.meta.url));
+const argv = process.argv.slice(2);
+const argOf = (k) => {
+  const i = argv.indexOf(k);
+  return i >= 0 && i + 1 < argv.length ? argv[i + 1] : '';
+};
+const ROOT = argOf('--root') || path.resolve(SCRIPT_DIR, '..', '..');
+const LEDGER = path.join(ROOT, '.agents', 'verifications.jsonl');
+const OUT = path.join(ROOT, 'workflow', 'verify-evidence.md');
+
+// 六列数据行：短SHA / 时间 / 门数 / 套件计数 / 绑定单 / runId
+const ROW_RE = /^\|\s*`([0-9a-f]{7,40})`\s*\|\s*([^|]+?)\s*\|\s*([^|]+?)\s*\|\s*([^|]+?)\s*\|\s*([^|]+?)\s*\|\s*([^|]*?)\s*\|\s*$/;
+
+/** 按本地台账条目渲染数据行 */
+function renderRow(e) {
+  const cnt = Number.isFinite(e.passed) ? `PASS ${e.passed} / FAIL ${e.failed ?? 0}` : '—';
+  return `| \`${e.headShort}\` | ${e.ts} | ${e.gates ?? '—'} | ${cnt} | ${e.doc || '—'} | ${e.runId || '—'} |`;
+}
+
+/**
+ * 解析本文件既有数据行（追加保全用）。
+ * 只认形态完整的数据行；说明行 / 表头 / 注释一律忽略。读不到文件 = 无既有行。
+ */
+function parseCommittedRows() {
+  const out = [];
+  let disk = '';
+  try { disk = fs.readFileSync(OUT, 'utf8'); } catch { return out; }
+  for (const raw of disk.split(/\r?\n/)) {
+    const m = raw.trim().match(ROW_RE);
+    if (m) out.push({ headShort: m[1], ts: m[2].trim(), line: raw.trim() });
+  }
+  return out;
+}
+
+function render() {
+  const rows = [];
+  try {
+    for (const line of fs.readFileSync(LEDGER, 'utf8').split(/\r?\n/)) {
+      if (!line.trim()) continue;
+      try {
+        const e = JSON.parse(line);
+        if (e.exitCode === 0 && e.suite === 'npm test' && e.headShort) rows.push(e);
+      } catch { /* 坏行跳过——台账是 append-only 事实流，不因单行格式失败中断 */ }
+    }
+  } catch { /* 无台账 = 空表（新装户/新 clone 首跑前） */ }
+  // 行统一形态 { headShort, ts, line }。先放**仓内既有行**（追加保全），再叠加本地台账绿行。
+  const bySha = new Map();
+  for (const r of parseCommittedRows()) bySha.set(r.headShort, r);
+  // 同 headShort 取更新 ts（重跑刷新凭证，不堆行）；平局取本地台账
+  for (const e of rows) {
+    const prev = bySha.get(e.headShort);
+    if (!prev || String(e.ts) >= String(prev.ts)) bySha.set(e.headShort, { headShort: e.headShort, ts: String(e.ts), line: renderRow(e) });
+  }
+  const ordered = [...bySha.values()].sort((a, b) => String(a.ts).localeCompare(String(b.ts)));
+  const lines = [];
+  lines.push('# 验证绿凭证摘要（生成物，勿手改）');
+  lines.push('');
+  lines.push('> 生成器 `node .agents/scripts/gen-verify-evidence.mjs`（verify.mjs 全绿尾部自动重生成；源 .agents/verifications.jsonl 为本地台账）。');
+  lines.push('> 一行 = 验证时刻**工作树**过 verify 全量门禁全绿（短 SHA 为该时刻的**基线提交**，工作树可能含未提交改动——关单宜「先提交、后跑门」）；`套件计数` 为测试门编排器的套件 PASS/FAIL（无汇总行时缺省）；`绑定单` 为 --doc 绑定的工作流文档（不带的行不给任何单背书）。非签名链——诚实边界同 check-loop 检查 15。');
+  lines.push('> 行来源 = 本地台账绿行 ∪ 本文件既有行（**追加保全**：跨机 / 换 worktree 不失历史；代价：错行不会被重生成自动纠正，须人工改正后重跑）。');
+  lines.push('');
+  lines.push('| 提交(短SHA) | 时间(UTC) | 门数 | 套件计数 | 绑定单 | runId |');
+  lines.push('|---|---|---|---|---|---|');
+  for (const e of ordered) lines.push(e.line);
+  lines.push('');
+  lines.push(`<!-- GENERATED:END — 共 ${ordered.length} 行；gen-verify-evidence.mjs 生成（既有行追加保全，勿手改） -->`);
+  return lines.join('\n') + '\n';
+}
+
+const text = render();
+if (argv.includes('--check')) {
+  let disk = '';
+  try { disk = fs.readFileSync(OUT, 'utf8'); } catch { /* 缺文件走漂移分支 */ }
+  if (disk === text) { console.log('[verify-evidence] ✅ 与磁盘一致'); process.exit(0); }
+  console.error('[verify-evidence] 漂移：本地台账有新绿行未入摘要——关单时跑 node .agents/scripts/gen-verify-evidence.mjs 并随同提交');
+  process.exit(1);
+}
+fs.mkdirSync(path.dirname(OUT), { recursive: true });
+fs.writeFileSync(OUT, text);
+// 数据行计数：直接数六列数据行，不做总行数算术（生成物自描述）
+console.log(`✅ 已生成 ${path.relative(process.cwd(), OUT)}（绿凭证 ${text.split(/\r?\n/).filter((l) => ROW_RE.test(l.trim())).length} 行）`);