dsh-agent-board 1.9.0 → 1.9.2

package/test/fault-e2e-stale-dir.test.mjs

@@ -0,0 +1,226 @@
+// ===== 故障 E2E：目录失效——运行中删模型，取模跳过留痕并落健康候选（task-mvqi3uj4-5）=====
+// 背景：事故类「删模型仍派」——原形：本体板已删除的失效模型钉在卡级特例上还在被派。本文件锁
+// 「卡级特例不豁免存在闸」的端到端回归（真 index.mjs apply(faultCtx) 全循环，fault-e2e-circuit
+// harness 同款：rpc 建卡/配板 → clock.advance(50) 踢 poolCycle → waitFor 收敛）。
+//
+// 机制锚点（lib/dispatch.mjs）：
+//   · modelDirectory 每次 spawnOneShot 现取不缓存（L162-178）：模型从宿主配置删除/改名要当轮生效；
+//   · outOfDir 存在闸（L182）：目录可得且模型不在目录 → true（配置已失效）；dir=null 恒 false；
+//   · traceStaleModel 留痕（L187-207）：卡 messages 记 kind='stale-model'（⚠️ 配置已失效文案），
+//     per 模型+文本去重（L200-202，重派不刷屏）+ 健康表 observedNote 落「配置已失效」分态（L192）；
+//   · 卡级特例不豁免存在闸（L662-665 注释）：候选循环先过 outOfDir 再过 badModels——卡级只豁免
+//     健康闸（连败软闸/熔断/冷却），原形「钉在卡级特例上的失效模型」正是从这里漏走的。
+//
+// 场景（先含后删，正是合法写路径的盲区）：故障层 llm 目录初始含 prov/gone + prov/good；卡级
+// model='prov/gone' 走 update-task（合法清单校验 cardModelErr→enumModels→llm 目录在册放行——
+// ⚠️ create-task 不落 model 字段：args.model 仅 update-task 处理（rpc.mjs update-task 句柄），
+// 「先含」的唯一合法写入口）→ 首轮派发前 h.directory.remove('prov/gone')（fault-provider 可变
+// 目录，shrink 即刻生效）→ poolCycle 派发：outOfDir 命中卡级候选 → traceStaleModel 留痕 → 降下一跳：
+//   · 无 lane/board 配置 → parent 裸请求（用例①：含重派去重——推进第二轮 poolCycle 仍恰一条留痕）；
+//   · board workerModel=prov/good → 落健康候选 good（用例②：含健康表 observedNote 分态断言）。
+// 反例（用例③）：目录不可得（llm 服务摘走 listProviders 抛错 → modelDirectory 返回 null）→
+// 目录闸整体跳过不误伤（L158-161 保守语义），prov/gone 照常派发、零留痕——锁「不误伤」分支。
+//
+// 断言（对应任务口径）：
+//   ① spawn 日志无 prov/gone（带卡级特例也被存在闸拦下）——观测点=fault-provider spawnLog
+//      （agentOptions 复合串重构面）+ env.runs[].req（真请求对象），不直读内部状态；
+//   ② 卡 messages 恰一条 stale-model 留痕（重派不刷屏：第二轮 poolCycle 后仍恰一条，去重 L200-202）；
+//   ③ 健康表 observedNote 落「配置已失效」分态（get-tasks 透出则断：fallbackModels 使 prov/gone 进入
+//      configuredModelIds 公开视图；用例①无 board 配置不透出，按口径「不透出则略」，由用例②承担）；
+//   ④ 卡最终在替代模型上正常推进到 resolved（零死锁零空转）。
+//
+// 为什么一次性回退开关（workerContinuable=false，fault-e2e-circuit 同款）：一次性路径重试恒
+// fresh spawn（runs 留档无 continuable 标记 → resumeTarget 恒空，tryResumeWorker 整段短路），
+// 结算确定性由 run.result 驱动（failWith/resolveWith），重派循环确定性收敛、零续跑干扰。
+// 为什么关探测（probeEnabled=false，仅用例②）：主动探测 observeModel 会以「主动探测通过」覆盖
+// observedNote——本场景只测目录闸分态，探测面由 fault-provider.test.mjs 观测面⑤b 单独覆盖。
+// 注意：boom 失败文本刻意避开模型面失败前缀（isModelKillFailure）与冷却嗅探关键词——单纯 worker
+// 失败只 retryCount+1 回 pending，熔断/冷却两张表零污染（本场景只测目录闸，两张表各管各的）。
+import { test } from 'node:test'
+import assert from 'node:assert/strict'
+import { createMockCtx } from './helpers/mock-ctx.mjs'
+import { installFaults } from './helpers/fault-provider.mjs'
+import * as plugin from '../index.mjs'
+
+var GONE = 'prov/gone'
+var GOOD = 'prov/good'
+// traceStaleModel 原文（dispatch.mjs L199 / L192 逐字——回归锁文案分态，措辞变更应被断言拦下）
+var STALE_TEXT = '⚠️ 配置已失效：' + GONE + '（已从模型目录移除），本 run 取模跳过'
+var STALE_NOTE = '配置已失效（已从模型目录移除）'
+
+// 卡 messages 里的 stale-model 留痕
+function staleMsgs(t) { return ((t && t.messages) || []).filter(function (m) { return m && m.kind === 'stale-model' }) }
+
+// 建卡封装（显式 description 避开空描述软提示；pipeline=work 只做不验，验证面不被 Verifier 干扰）
+async function createTask(env, id) {
+  var r = await env.rpc('create-task', { sessionId: env.sid, id: id, title: '故障E2E 目录失效 ' + id, description: '目录失效回归用例 ' + id, pipeline: 'work' })
+  assert.equal(r.ok, true, 'create-task 成功: ' + id)
+  return r.task
+}
+// 先含：卡级 model 特例走合法写路径（update-task cardModelErr → enumModels → llm 目录在册放行）
+async function pinCardModel(env, id) {
+  var r = await env.rpc('update-task', { sessionId: env.sid, taskId: id, model: GONE })
+  assert.equal(r.ok, true, '先含：目录在册 → update-task model=' + GONE + ' 合法放行（cardModelErr 经 llm 目录）')
+  assert.equal(env.task(id).model, GONE, '卡级特例落卡（t.model）')
+}
+
+// ===== 用例①：主场景·无 lane/board 配置 → parent 裸请求兜底 + 重派去重 + 正常推进（真 poolCycle 两轮）=====
+test('故障E2E·目录失效主场景：卡级特例先含后删 → 存在闸拦下（spawn 无 prov/gone）+ parent 裸请求 + 重派去重恰一条留痕 + resolved', async () => {
+  var env = createMockCtx()
+  try {
+    // 故障层：llm 目录初始含 prov/gone + prov/good（可变目录，shrink 即刻生效，每次现取不缓存）；
+    // programs=[] 纯观察面（spawn 逐字委托 + 日志留痕），无故障程序干扰目录闸单线回归
+    var h = installFaults(env, { directory: [GONE, GOOD], programs: [] })
+    plugin.apply(env.ctx)
+    var wc = await env.rpc('set-board-config', { sessionId: env.sid, key: 'workerContinuable', value: false })
+    assert.equal(wc.ok, true, 'workerContinuable=false（一次性回退开关，重试恒 fresh spawn）')
+    await createTask(env, 'task-d1')
+    await pinCardModel(env, 'task-d1')
+    // ===== 后删：首轮派发前 shrink（目录仍含 prov/good 非空 → outOfDir 闸生效，非保守跳过）=====
+    h.directory.remove(GONE)
+    assert.equal(h.directory.has(GONE), false, '后删：prov/gone 已从目录移除')
+    assert.equal(h.directory.has(GOOD), true, '目录仍非空（prov/good 在册）→ outOfDir 闸生效')
+    // ===== 首轮派发：poolCycle → spawnOneShot 现取目录 → outOfDir 命中卡级候选 → 留痕 → parent 裸请求 =====
+    await env.clock.advance(50)
+    var run1 = await env.waitFor(function () { return env.runs.length >= 1 ? env.runs[0] : null }, '首轮 spawn 发生')
+    // ===== ① spawn 日志无 prov/gone：带卡级特例也被存在闸拦下，降 parent 裸请求 =====
+    assert.equal(h.spawnLog.length, 1, '首轮恰一次 spawn')
+    assert.equal(h.spawnLog[0].model, '', 'spawn 无 agentOptions（parent 裸请求——卡级特例被存在闸拦下）')
+    assert.ok(h.spawnLog.every(function (e) { return e.model.indexOf('gone') < 0 }), '①spawn 日志无 prov/gone')
+    assert.equal(run1.req.agentOptions, undefined, 'run 真请求不带 agentOptions（parent 裸请求）')
+    assert.equal(env.continuables.length, 0, '一次性路径零 continuable 子会话')
+    // ===== ② 卡 messages 恰一条 stale-model 留痕（traceStaleModel 原文）=====
+    // 落卡与 claimedBy 换真实 run id 是两笔写——waitFor 等到 claimedBy 换完（与 fault-provider 缺省①同口径）
+    var t = await env.waitFor(function () {
+      var x = env.task('task-d1')
+      return x && x.status === 'in-progress' && x.claimedBy === run1.id && staleMsgs(x).length >= 1 ? x : null
+    }, 'stale-model 留痕落卡且 claimedBy=run id')
+    assert.equal(staleMsgs(t).length, 1, '恰一条 stale-model 留痕')
+    assert.equal(staleMsgs(t)[0].text, STALE_TEXT, '留痕=⚠️ 配置已失效文案（traceStaleModel L199 原文）')
+    // 等链尾：失败臂状态推进（settleWorker）与 run 留档关账（settleRunRecord）是两次持锁写——
+    // 只等状态会撞上「pending 已落盘而 runs[0] 还停在 running」的窗口（fault-e2e-circuit 同口径）
+    run1.failWith('boom')
+    t = await env.waitFor(function () {
+      var x = env.task('task-d1')
+      return x && x.status === 'pending' && x.retryCount === 1 && x.runs && x.runs[0] && x.runs[0].outcome === 'timeout/error' ? x : null
+    }, '首轮失败结算：boom 单纯重试（熔断/冷却零污染）回 pending 且 run 关账 timeout/error')
+    assert.equal(t.runs[0].modelSource, 'parent', '取模链降到底：modelSource=parent 随 run 留档')
+    // ===== ②续段：重派不刷屏（per 模型+文本去重 L200-202）=====
+    // 失败臂 kickCycle → 第二轮 poolCycle → 卡级候选再次 outOfDir → traceStaleModel 去重（同文本零改动）
+    await env.clock.advance(50)
+    var run2 = await env.waitFor(function () { return env.runs.length >= 2 ? env.runs[1] : null }, '第二轮重派 spawn（fresh，模型仍目录外）')
+    assert.equal(h.spawnLog.length, 2, '第二轮恰一次 spawn')
+    assert.equal(h.spawnLog[1].model, '', '重派同样降 parent 裸请求（卡级特例仍被存在闸拦下）')
+    t = env.task('task-d1')
+    assert.equal(staleMsgs(t).length, 1, '②重派后仍恰一条 stale-model（per 模型+文本去重 L200-202，重派不刷屏）')
+    assert.ok(!t.messages.some(function (m) { return m.kind === 'fallback' || m.kind === 'cooldown' }), '零 fallback/cooldown 留痕（本场景只测目录闸）')
+    // ===== ④ 卡在替代模型（parent 裸请求）上正常推进：零死锁零空转 =====
+    run2.resolveWith('## 开发描述\n目录失效回归完成')
+    t = await env.waitFor(function () {
+      var x = env.task('task-d1')
+      return x && x.status === 'resolved' && x.runs && x.runs[1] && x.runs[1].outcome === 'completed' ? x : null
+    }, '④替代模型上推进到 resolved 且 run 关账 completed（零死锁零空转）')
+    assert.equal(t.runs.length, 2, '两轮各一条 run 留档')
+    assert.ok(t.runs.every(function (r) { return r.model === '' && r.modelSource === 'parent' }), '两轮全 parent 裸请求（model=父模型空串、modelSource=parent）')
+  } finally { await env.cleanup() }
+})
+
+// ===== 用例②：主场景·board workerModel=prov/good → 落健康候选 + 健康表 observedNote「配置已失效」分态 =====
+test('故障E2E·目录失效主场景②：board workerModel=prov/good 落到 good（spawn 无 prov/gone）+ 健康表 observedNote 落「配置已失效」分态 + resolved', async () => {
+  var env = createMockCtx()
+  try {
+    var h = installFaults(env, { directory: [GONE, GOOD], programs: [] })
+    plugin.apply(env.ctx)
+    // 板级配置（目录在册放行=先含的一部分）：workerModel=prov/good + fallbackModels=[prov/gone]——
+    // 备用链带失效模型是生产常见形态；同时让 prov/gone 进入 get-tasks 公开健康视图的
+    // configuredModelIds（modelHealthView 只透出板级配置模型），③分态断言才有观测面
+    var wm = await env.rpc('set-board-config', { sessionId: env.sid, key: 'workerModel', value: GOOD })
+    assert.equal(wm.ok, true, 'workerModel=prov/good 目录在册放行')
+    var fb = await env.rpc('set-board-config', { sessionId: env.sid, key: 'fallbackModels', value: [GONE] })
+    assert.equal(fb.ok, true, 'fallbackModels=[prov/gone] 目录在册放行（备用链带失效模型=生产常见形态）')
+    var wc = await env.rpc('set-board-config', { sessionId: env.sid, key: 'workerContinuable', value: false })
+    assert.equal(wc.ok, true, 'workerContinuable=false（一次性面）')
+    var pe = await env.rpc('set-board-config', { sessionId: env.sid, key: 'probeEnabled', value: false })
+    assert.equal(pe.ok, true, 'probeEnabled=false（探测会以「主动探测通过」覆盖 observedNote，关掉聚焦目录闸分态）')
+    await createTask(env, 'task-d2')
+    await pinCardModel(env, 'task-d2')
+    h.directory.remove(GONE)
+    assert.equal(h.directory.has(GONE), false, '后删：prov/gone 已移除')
+    // 首轮派发：cands=[card prov/gone, board prov/good] → mi=0 outOfDir 命中 → 留痕 → continue →
+    // mi=1 prov/good 目录内在册且健康 → 落 board 候选（不经 fallback 链：无熔断/冷却命中）
+    await env.clock.advance(50)
+    var run1 = await env.waitFor(function () { return env.runs.length >= 1 ? env.runs[0] : null }, 'spawn 发生')
+    // ===== ① spawn 落健康候选 prov/good，无 prov/gone =====
+    assert.equal(h.spawnLog.length, 1, '恰一次 spawn')
+    assert.equal(h.spawnLog[0].model, GOOD, '落 board 候选 prov/good')
+    assert.ok(h.spawnLog.every(function (e) { return e.model.indexOf('gone') < 0 }), '①spawn 日志无 prov/gone（带卡级特例也被存在闸拦下）')
+    assert.deepEqual(run1.req.agentOptions, { provider: 'prov', model: 'good' }, 'run 真请求带 agentOptions={provider:prov,model:good}')
+    // ===== ② 恰一条 stale-model 留痕（card 候选被闸拦下）=====
+    var t = await env.waitFor(function () {
+      var x = env.task('task-d2')
+      return x && x.status === 'in-progress' && x.claimedBy === run1.id && staleMsgs(x).length >= 1 ? x : null
+    }, 'stale-model 留痕落卡且 claimedBy=run id')
+    assert.equal(staleMsgs(t).length, 1, '恰一条 stale-model 留痕')
+    assert.equal(staleMsgs(t)[0].text, STALE_TEXT, '留痕=⚠️ 配置已失效文案（traceStaleModel L199 原文）')
+    assert.ok(!t.messages.some(function (m) { return m.kind === 'fallback' }), '零 fallback 留痕（目录闸直落 board 候选，不经熔断/冷却切换分支）')
+    // ===== ③ 健康表 observedNote 落「配置已失效」分态（get-tasks 透出则断）=====
+    var gt = await env.rpc('get-tasks', { sessionId: env.sid })
+    var mh = gt.modelHealth || (gt.data && gt.data.modelHealth) || {}
+    assert.ok(mh[GONE], 'prov/gone 在公开健康视图（fallbackModels 进 configuredModelIds）')
+    assert.equal(mh[GONE].note, STALE_NOTE, '③observedNote 落「配置已失效」分态（traceStaleModel L192 原文）')
+    // ===== ④ 卡在替代模型 prov/good 上正常推进（零死锁零空转）=====
+    run1.resolveWith('## 开发描述\n目录失效回归完成')
+    t = await env.waitFor(function () {
+      var x = env.task('task-d2')
+      return x && x.status === 'resolved' && x.runs && x.runs[0] && x.runs[0].outcome === 'completed' ? x : null
+    }, '④替代模型上推进到 resolved 且 run 关账 completed')
+    assert.equal(t.runs[0].model, GOOD, 'run 落 prov/good')
+    assert.equal(t.runs[0].modelSource, 'board', 'modelSource=board 随 run 留档')
+  } finally { await env.cleanup() }
+})
+
+// ===== 用例③：反例·目录不可得（llm 服务摘走 listProviders 抛错）→ 目录闸整体跳过不误伤 =====
+// modelDirectory 的保守语义（L158-161；L167 catch → null）：目录不可得时 outOfDir 恒 false（L182），
+// 目录闸整体跳过，只留连败软闸生效——prov/gone 照常派发、零 stale-model 留痕（不误伤不误报）。
+test('故障E2E·目录失效反例：目录不可得 → 目录闸整体跳过不误伤，prov/gone 照常派发（零留痕）+ 正常推进', async () => {
+  var env = createMockCtx()
+  try {
+    var h = installFaults(env, { directory: [GONE, GOOD], programs: [] })
+    plugin.apply(env.ctx)
+    var wc = await env.rpc('set-board-config', { sessionId: env.sid, key: 'workerContinuable', value: false })
+    assert.equal(wc.ok, true, 'workerContinuable=false（一次性面）')
+    await createTask(env, 'task-d3')
+    await pinCardModel(env, 'task-d3') // 先含（此时目录在册，合法放行）
+    // 目录不可得注入：llm 服务摘走 listProviders（抛错）——包装 installFaults 之后的 ctx.get('llm')
+    var withFaultGet = env.ctx.get
+    env.ctx.get = function (name) {
+      if (name === 'llm') {
+        return {
+          listProviders: function () { throw new Error('llm 服务已摘除 listProviders（目录不可得注入）') },
+          listModels: async function () { return [] },
+        }
+      }
+      return withFaultGet(name)
+    }
+    // 首轮派发：modelDirectory → listProviders 抛错 → catch → null（L167）→ outOfDir 恒 false（L182）
+    // → 目录闸整体跳过 → 卡级特例 prov/gone 照常入链 → 派发在 prov/gone 上（不误伤）
+    await env.clock.advance(50)
+    var run1 = await env.waitFor(function () { return env.runs.length >= 1 ? env.runs[0] : null }, 'spawn 发生')
+    assert.equal(h.spawnLog.length, 1, '恰一次 spawn')
+    assert.equal(h.spawnLog[0].model, GONE, '不误伤：prov/gone 照常派发（目录闸整体跳过，L158-161 保守语义）')
+    assert.deepEqual(run1.req.agentOptions, { provider: 'prov', model: 'gone' }, 'run 真请求带 agentOptions={provider:prov,model:gone}')
+    var t = await env.waitFor(function () {
+      var x = env.task('task-d3')
+      return x && x.status === 'in-progress' && x.claimedBy === run1.id ? x : null
+    }, '卡已派发 in-progress 且 claimedBy=run id')
+    assert.equal(staleMsgs(t).length, 0, '零 stale-model 留痕（dir=null → traceStaleModel 不触发，不误报）')
+    assert.equal(t.runs[0].model, GONE, 'run 落 prov/gone')
+    assert.equal(t.runs[0].modelSource, 'card', 'modelSource=card（卡级特例正常入链）')
+    // 收尾：正常完成，零死锁零空转
+    run1.resolveWith('## 开发描述\n反例用例完成')
+    t = await env.waitFor(function () {
+      var x = env.task('task-d3')
+      return x && x.status === 'resolved' && x.runs && x.runs[0] && x.runs[0].outcome === 'completed' ? x : null
+    }, '正常推进到 resolved 且 run 关账 completed（零死锁）')
+  } finally { await env.cleanup() }
+})

package/test/fault-injection-docs.test.mjs

@@ -0,0 +1,132 @@
+// dsh-agent-board — 故障注入文档回归：路径 B 接口预留（test/fault-injection-docs.test.mjs，task-mvqi3uj4-8）
+// 采用源码级断言（readme-decompose-docs.test.mjs L13-40 读盘断言范式；client 无渲染 harness，
+// 文档类卡片一律读盘断言）。被锁对象：docs/fault-injection.md（docs/ 目录首文件——拆解阶段
+// 「A 起步 + B 留接口」决策的可追溯记录，供后续宿主级立项直接引用）：
+//   ① 文档存在 + 三节锚点标题在案——A/B 权衡记录 / B 路径接缝契约 / 测试分层纪律；
+//   ② A/B 权衡节——A=mock-ctx 故障层（调度逻辑全真、宿主假、轻、五档×六场景）vs
+//      B=宿主级 mock provider 插件（全真链路、重、需宿主配合面）；首期取 A 理由 + B 触发条件
+//      （漏网事故三面：事件面/持久化面/startActivation 真契约）全部落字；
+//   ③ B 接缝契约节——宿主侧最小面三项（可编程 subagents provider / llm provider 枚举面 /
+//      会话日志落盘布局）+ 每项的 A 层故障映射（等价注入点）契约词逐字在案；
+//   ④ 测试分层纪律节——事故复盘双落纪律（单测断言锁机制 + fault-e2e-* 场景锁接缝）+
+//      新事故类加卡模板指向 fault-e2e-recovery.test.mjs；
+//   ⑤ 关键契约词全文在案——startActivation / listProviders / session.v4.jsonl.zstd /
+//      五档故障名（instant-kill/hang/empty/rate-limit/slow）+ 消费点「文件 + 符号」锚；
+//   ⑥ 文档与源码同口径——五档故障名逐一在 fault-provider.mjs FAULT_TYPES 常量里（源码真值），
+//      消费点符号在案（dispatch.mjs: hasActivationApi/activationAsRun/activationRequestOf；拆分后
+//      model-health.mjs: modelDirectory/probeModel），文档锚不悬空。
+//   ⑦ 行号锚清扫锁（task-mvt8c1yx-8 拆分第 8 刀）：拆分令行号持续漂移，文档一律按「文件 + 函数/
+//      符号名」定位——旧行号锚（L806-823/L163-178/L294-332）与任何 L<行号> 形式一律不得回潮。
+import { test } from 'node:test'
+import assert from 'node:assert/strict'
+import { readFileSync } from 'node:fs'
+
+const doc = readFileSync(new URL('../docs/fault-injection.md', import.meta.url), 'utf8')
+const dispatch = readFileSync(new URL('../lib/dispatch.mjs', import.meta.url), 'utf8')
+const modelHealth = readFileSync(new URL('../lib/model-health.mjs', import.meta.url), 'utf8')
+const faultProvider = readFileSync(new URL('./helpers/fault-provider.mjs', import.meta.url), 'utf8')
+
+test('①文档存在 + 三节锚点标题在案（A/B 权衡记录 / B 路径接缝契约 / 测试分层纪律）', () => {
+  for (const h of [
+    '# 故障注入 · 路径 B 接口预留：宿主级 mock provider 插件接缝契约',
+    '## 一、A/B 权衡记录（首期取 A，B 留接口）',
+    '## 二、B 路径接缝契约（宿主侧最小面 + A 层故障映射）',
+    '## 三、测试分层纪律（事故复盘双落）',
+  ]) assert.ok(doc.includes(h), 'fault-injection.md 缺锚点标题：' + h)
+})
+
+test('②A/B 权衡节：A 层形态/首期取 A 理由 + B 层形态/触发条件（漏网事故三面）全在案', () => {
+  for (const m of [
+    'mock-ctx 故障层',            // A 形态
+    '宿主级 mock provider 插件',  // B 形态
+    '调度逻辑全真',               // A 全真面
+    '宿主假',                     // A 假面
+    '五档故障模式',               // 五档
+    '六场景',                     // 首期场景面
+    '首期取 A 的理由',
+    'B 的触发条件（何时必须上 B）',
+    '漏网事故',
+    'agent/status 事件面事故',    // 触发面 (a)
+    '会话持久化面事故',           // 触发面 (b)
+    'startActivation 真契约偏差', // 触发面 (c)
+    '互不替代',                   // 两套关系口径
+  ]) assert.ok(doc.includes(m), 'A/B 权衡节缺锚点：' + m)
+})
+
+test('③B 接缝契约节：宿主侧最小面三项 + A 层故障映射（等价注入点）契约词全在案', () => {
+  for (const m of [
+    '可编程 subagents provider',  // 面 1
+    'llm provider 枚举面',        // 面 2
+    '会话日志落盘布局',           // 面 3
+    'startActivation',            // 探测/消费点
+    "delivery: 'parent'",         // continuable 结算语义
+    "delivery='caller'",          // 一次性语义
+    'childId',                    // 子会话 id 语义
+    'activationAsRun',            // 旧 run 形状适配
+    'activationRequestOf',        // 新契约 request 组装
+    'listProviders',              // 枚举面
+    'listModels',
+    'llm.stream',                 // stream 消费点
+    'probeModel',
+    'modelDirectory',             // 目录闸数据源
+    'session.v4.jsonl.zstd',      // 日志布局
+    'findRunLog',
+    'installFaults',              // A 层注入点
+    'synthActivation',
+    'faultLlm',
+    'writeFaultLog',
+    'writeChildLog',
+    '等价注入点',                 // A 层映射口径
+  ]) assert.ok(doc.includes(m), 'B 接缝契约节缺契约词：' + m)
+})
+
+test('④测试分层纪律节：事故复盘双落纪律 + 新事故类加卡模板指向 fault-e2e-recovery.test.mjs', () => {
+  for (const m of [
+    '双落纪律',
+    '单测断言锁机制',
+    'fault-e2e-* 场景锁接缝',
+    'fault-e2e-circuit.test.mjs',       // 现有秒拆熔断面
+    'fault-e2e-hung.test.mjs',          // 现有挂死判死面
+    'fault-e2e-recovery.test.mjs',      // 新事故类加卡模板指向
+    '新事故类加卡模板',
+  ]) assert.ok(doc.includes(m), '测试分层纪律节缺锚点：' + m)
+})
+
+test('⑤关键契约词全文在案：五档故障名 + startActivation/listProviders/session.v4.jsonl.zstd + 符号锚', () => {
+  for (const n of ['instant-kill', 'hang', 'empty', 'rate-limit', 'slow']) {
+    assert.ok(doc.includes(n), '文档缺五档故障名：' + n)
+  }
+  for (const m of ['startActivation', 'listProviders', 'session.v4.jsonl.zstd']) {
+    assert.ok(doc.includes(m), '文档缺关键契约词：' + m)
+  }
+  // 消费点锚一律「文件 + 函数/符号名」口径（task-mvt8c1yx-8）：拆分后行号必漂，符号不漂。
+  for (const m of ['lib/dispatch.mjs', 'lib/model-health.mjs', 'spawnOneShot', 'hasActivationApi',
+    'activationAsRun', 'activationRequestOf', 'modelDirectory()', 'probeModel()']) {
+    assert.ok(doc.includes(m), '文档缺消费点符号锚：' + m)
+  }
+  for (const dead of ['L806-823', 'L163-178', 'L294-332']) {
+    assert.ok(!doc.includes(dead), '文档残留旧行号锚（拆分后已漂移，按符号定位）：' + dead)
+  }
+  assert.ok(!/L\d{2,4}/.test(doc), '文档不得再出现 L<行号> 形式锚点（历次拆分会令其漂移）')
+})
+
+test('⑦行号锚清扫：lib/ 与 docs/ 不再有指向 dispatch.mjs 的 L<行号> 锚（预研清单语法说明除外）', () => {
+  assert.ok(!/dispatch\.mjs[^\n]*L\d/.test(doc), 'fault-injection.md 残留 dispatch.mjs 行号锚')
+  assert.ok(!/dispatch[^\n]*\s\d{3}\b/.test(doc), 'fault-injection.md 残留「dispatch <行号>」式锚')
+})
+
+test('⑥文档与源码同口径：五档在 FAULT_TYPES 常量里（源码真值）+ dispatch.mjs 消费点符号在案', () => {
+  const types = faultProvider.match(/var FAULT_TYPES = \[([^\]]+)\]/)
+  assert.ok(types, 'fault-provider.mjs 缺 FAULT_TYPES 常量')
+  for (const n of ['instant-kill', 'hang', 'empty', 'rate-limit', 'slow']) {
+    assert.ok(types[1].includes("'" + n + "'"), 'FAULT_TYPES 缺五档故障名：' + n)
+  }
+  // 文档引用的消费点符号不悬空（符号级同口径）：spawn/activation 面仍在 dispatch.mjs，
+  // 模型目录/探测面已拆至 lib/model-health.mjs（第 2/4 刀）——文档锚指到新文件，此处回源码复检。
+  for (const s of ['hasActivationApi', 'activationAsRun', 'activationRequestOf', 'startActivation']) {
+    assert.ok(dispatch.includes(s), 'dispatch.mjs 缺消费点符号：' + s)
+  }
+  for (const s of ['function modelDirectory', 'function probeModel']) {
+    assert.ok(modelHealth.includes(s), 'lib/model-health.mjs 缺消费点符号：' + s)
+  }
+})