@zhushanwen/pi-subagent-workflow 9.2.1 → 9.4.0

package/src/interface/tool/__tests__/tool-workflow-resume.test.ts

@@ -130,6 +130,26 @@ describe("actionResume", () => {
     expect(options.budgetTokens).toBe(50_000);
   });
 
+  it("model 形参透传（F1-26 后续项：core 落统一覆盖记账——补切 + 无参 resume 合一步）", async () => {
+    const recordPath = writeRecordStream([runCreatedFrame('{"a":1}')]);
+    await actionResume(
+      { action: "resume", runId: "wf-test", args: { a: 1 }, model: "p2/m2" } as never,
+      makeDeps(recordPath) as never,
+    );
+    const options = vi.mocked(resumeRun).mock.calls[0]![2] as { model?: string };
+    expect(options.model).toBe("p2/m2");
+  });
+
+  it("model 缺省 → options 不带 model 键（无参 resume 不写覆盖记账）", async () => {
+    const recordPath = writeRecordStream([runCreatedFrame('{"a":1}')]);
+    await actionResume(
+      { action: "resume", runId: "wf-test", args: { a: 1 } } as never,
+      makeDeps(recordPath) as never,
+    );
+    const options = vi.mocked(resumeRun).mock.calls[0]![2] as { model?: string };
+    expect("model" in options).toBe(false);
+  });
+
   it("tokens 缺省 → options 不带 budgetTokens 键（core 侧跳过覆盖、走三档回落）", async () => {
     await actionResume(
       { action: "resume", runId: "wf-test" } as never,

package/src/interface/tool/subagent-tool.ts

@@ -92,11 +92,12 @@ function isModelOverrideObj(a: unknown): a is { model?: unknown; thinkingLevel?:
 /**
  * start 路径类参数（skillPath / cwd）运行时守卫：绝对路径 + 禁 `..` 穿越。
  *
- * 校验链事实（pi 0.84.4 实装，登记 PS-20）：pi agent-loop 对注册 typebox schema
- * 有运行时强校验——agent-loop.js:403-404 在 beforeToolCall / execute 之前调
- * validateToolArguments（pi-ai validation.js:247：Value.Convert :249 + Compile :210
- * + Check :265，失败 throw `Validation failed for tool` :272-273）→ catch 走
- * immediate error（agent-loop.js:445-451），execute 不被调用。schema 的
+ * 校验链事实（语义登记 PS-20，verifiedWith 以 pi-semantics.json 为准，逐 claim 行号见该条目
+ * piAnchor）：pi agent-loop 对注册 typebox schema
+ * 有运行时强校验——在 beforeToolCall / execute 之前调
+ * validateToolArguments（pi-ai validation.js：Value.Convert + Compile
+ * + Check，失败 throw `Validation failed for tool`）→ catch 走
+ * immediate error，execute 不被调用。schema 的
  * pattern（skillPath/cwd `^/`）/ maxLength（slug 35）是运行时强制而非仅模型可见
  * 契约；tool-definition-wrapper.js:11 只原样透传 params，校验发生在上游 agent-loop 层。
  *

package/src/interface/tool/tool-workflow-script.ts

@@ -13,8 +13,9 @@
  * C5②（convergence D-6）：generate 五道闸校验管线 + tmp 写盘下沉 core
  * generateWorkflowScript（报错文案逐字平移，CA2 前提）；save/delete 改调 core
  * barrel（第三可选目录参数缺省即 pi 布局 .pi/workflows——pi 现两参调用形态零变化）。
- * 结构化 {ok}|{error} → pi 的 execute-throw 契约转换在本层（pi 只对 execute throw
- * 置 isError:true）；AbortSignal 的 aborted 检查在 execute 入口统一拦截（与
+ * 结构化 {ok}|{error} → pi 的 execute-throw 契约转换在本层（pi 1.0.0：execute 抛出经
+ * pi-agent-core agent-loop.js executePreparedToolCall 外层 catch 统一转 isError:true）；
+ * AbortSignal 的 aborted 检查在 execute 入口统一拦截（与
  * workflow / subagents 两 tool 同源，tool-shared assertNotAborted；C4 偏差 #4）。
  *
  * 层归属：Interface。依赖 Pi SDK + engine script-lint + infra workflow-files。
@@ -183,7 +184,8 @@ export function registerWorkflowScriptTool(
     ): Promise<WorkflowScriptExecuteResult> {
       // P1-2 abort 前置（三 tool 对称）：5 个 action 统一在 execute 入口拦截——
       // 原先只在 generate 内检查，lint/save/delete/list 四路径漏拦。throw（W4b）：
-      // pi 只对 execute throw 置 isError:true，返回值里的 isError 被 agent-loop 丢弃。
+      // 错误路径统一 throw（单一错误路径纪律；pi 1.0.0 agent-loop 对抛出统一转
+      // isError:true error result）。
       assertNotAborted(signal);
       let result: WorkflowScriptExecuteResult;
       switch (params.action) {
@@ -203,8 +205,9 @@ export function registerWorkflowScriptTool(
           result = await actionList(registry);
           break;
         default:
-          // 防御性（schema StringEnum 先拦）：throw（W4b）——pi 只对 execute throw 置
-          // isError:true，返回值里的 isError 被 agent-loop 丢弃（agent-loop.js:453-483）。
+          // 防御性（schema StringEnum 先拦）：throw（W4b）——错误路径统一 throw
+          // （pi 1.0.0 pi-agent-core agent-loop.js executePreparedToolCall :579-588：
+          // 抛出经外层 catch 转 isError:true error result）。
           throw new Error(`Unknown action: ${String(params.action)}`);
       }
       // GUI 协议：RPC 模式下附加 __gui__ 到 details（attach 单点在 tool-shared）
@@ -229,7 +232,8 @@ export function registerWorkflowScriptTool(
 // ── generate action ──────────────────────────────────────────
 
 export function actionGenerate(params: ScriptParams): WorkflowScriptExecuteResult {
-  // throw（W4b）：pi 只对 execute throw 置 isError:true（返回值 isError 被丢弃）。
+  // throw（W4b）：错误路径统一 throw（单一错误路径纪律；pi 1.0.0 agent-loop 对抛出
+  // 统一转 isError:true error result）。
   // abort 前置在 execute 入口统一拦截（三 tool 同源，tool-shared assertNotAborted），
   // 本函数不再自带 signal 检查。
   const name = params.name ?? "";
@@ -386,9 +390,9 @@ async function actionList(registry: WorkflowScriptRegistry): Promise<WorkflowScr
 // ── helper ───────────────────────────────────────────────────
 
 /**
- * 构造纯文本非错误结果（W4b：isError 参数已删除——pi 只对 execute throw 置
- * isError:true，返回值里的 isError 被 agent-loop 丢弃（agent-loop.js:453-483），
- * 错误一律 throw，编译器兜底防回潮）。
+ * 构造纯文本非错误结果（W4b：isError 参数已删除——异常错误路径一律 throw（单一
+ * 错误路径纪律；pi 1.0.0 pi-agent-core agent-loop.js :579-588 对抛出统一转
+ * isError:true error result），编译器兜底防回潮）。
  */
 function textResult(text: string): WorkflowScriptExecuteResult {
   return {

package/src/interface/tool/tool-workflow.ts

@@ -114,7 +114,11 @@ const WorkflowParams = Type.Object({
     Type.String({ description: "Error/reason message (optional, used with abort)" }),
   ),
   model: Type.Optional(Type.String({
-    description: "Run-level model override in 'provider/modelId' format. When set, all agents spawned by this run inherit it by default (unless a per-call agent() opts.model is set). Omit to inherit the main agent's model.",
+    description:
+      "Run-level model override in 'provider/modelId' format. When set, all agents spawned by this run inherit it by default (unless a per-call agent() opts.model is set). " +
+      "Also accepted on action:\"resume\" — recorded as the run's user override (same channel as a panel switch) and drives all re-dispatched steps. " +
+      "A user-issued runtime model override (panel model switch / /subagent-model command) takes precedence over this parameter — user override wins over any explicitly scripted model. " +
+      "Omit to inherit the main agent's model.",
   })),
   thinkingLevel: Type.Optional(StringEnum(THINKING_ORDER, {
     description: "Run-level thinkingLevel override (off/minimal/low/medium/high/xhigh/max). All agents in this run inherit it by default. Omit to default each agent to its model's highest available level.",
@@ -232,14 +236,21 @@ export function registerWorkflowTool(
       "completed calls from the record at zero token cost and continues where the run stopped. " +
       "Do NOT resume a settled (done/failed/cancelled) run — start a new run instead.",
       "resume: pass the SAME args as the original run (they are verified field-by-field; a mismatch is rejected " +
-      "with the differing fields listed). Omit args to reuse the original ones. Changed args = different intent = new run.",
+      "with the differing fields listed). Omit args to reuse the original ones. Changed args = different intent = new run. " +
+      "To resume with a specific model: pass model ('provider/modelId') on the resume itself — it is recorded as the " +
+      "run's user override (same channel as a panel switch), drives all re-dispatched steps, and persists for later " +
+      "resumes without the parameter. Alternatively switch the run's model first (panel selector or /subagent-model) " +
+      "then resume without model — both are the same override channel.",
       "Call shapes (JSON): " +
       "- run: {\"action\":\"run\",\"name\":\"<script>\",\"args\":{...},\"tokens\":N,\"time\":N,\"model\":\"<provider/modelId>\",\"thinkingLevel\":\"<level>\"}. " +
       "- status: {\"action\":\"status\"}. " +
       "- abort: {\"action\":\"abort\",\"runId\":\"<id>\"} (optional: {\"error\":\"<reason>\"}). " +
-      "- resume: {\"action\":\"resume\",\"runId\":\"<id>\",\"args\":{...},\"tokens\":N,\"time\":N} — args/tokens/time optional.",
+      "- resume: {\"action\":\"resume\",\"runId\":\"<id>\",\"args\":{...},\"tokens\":N,\"time\":N,\"model\":\"<provider/modelId>\"} — args/tokens/time/model optional.",
       "Budget: Do NOT set tokens/time unless the user explicitly requests a limit. Built-in workflows run unlimited by default.",
-      "Model/thinkingLevel: omit by default (inherit main agent's model). Only set model/thinkingLevel when the user explicitly requests a specific model or thinking depth for this run.",
+      "Model/thinkingLevel: omit by default (inherit main agent's model). Only set model/thinkingLevel when the user explicitly requests a specific model or thinking depth for this run. " +
+      "Note: a user-issued runtime model override (panel switch / /subagent-model) takes precedence over the model parameter — an explicitly scripted thinkingLevel still applies " +
+      "(explicit levels outrank the override's inline level). If a run's explicitly scripted model seems ignored, " +
+      "check for an active user override (run journal model-override frame) before assuming a resolution bug.",
       "Anti-patterns: Flattening args sub-fields (task/items/...) to the top level — they belong inside args. Calling {\"action\":\"run\"} without name.",
       "CRITICAL: For orchestration patterns, ALWAYS use action:run with the <location> absolute " +
       "path of the matching listed workflow — NEVER use workflow-script action:generate to recreate patterns " +
@@ -565,10 +576,28 @@ export async function actionResume(
   assertEntryTimeBudget(params.time);
   assertEntryTokenBudget(params.tokens);
 
+  // 显式 model 参数的目录预检（run action 同款 D8 拒单语义——查无同步 throw 零写，
+  // 单例缺席降级跳过 + warn，派发期 identity 解析仍是权威裁决）。
+  if (params.model !== undefined) {
+    const modelService = getModelConfigService();
+    if (modelService === null) {
+      logger.warn(
+        "[tool-workflow] model catalog unavailable (model service not initialized) — resume model catalog check skipped; dispatch-time identity resolution remains authoritative",
+      );
+    } else {
+      assertModelInCatalog(params.model, modelService.getModelRegistry(), {
+        source: "resume model override",
+      });
+    }
+  }
+
   const options: ResumeRunOptions = {
     ...(params.time !== undefined ? { budgetTimeMs: params.time } : {}),
     // token 预算显式覆盖（与 time 同款通道；三档回落与落盘归 core 单点）
     ...(params.tokens !== undefined ? { budgetTokens: params.tokens } : {}),
+    // [F1-26 后续项] 显式 model 透传（core 落统一覆盖记账——「补切 + 无参 resume」
+    // 的合一步；格式与目录已在本入口预检，记账落盘归 core 锁段单点）
+    ...(params.model !== undefined ? { model: params.model } : {}),
     // [§2.5] args 原样下传由 core 判定（D14 单源）；journalDir 传壳的 store 同源目录，
     // 否则 core 会按模块锚解析 record 路径——多 session 场景会静默读成「无记录」
     //（D14 静默放行 = 安全语义反转；core 锚点与壳 store 锚点必须同源）。

package/src/jsonl-run-store.ts

@@ -76,7 +76,7 @@ import {
   type WorkflowRunEvent,
 } from "@zhushanwen/subagent-core";
 import { WorkflowRun } from "@zhushanwen/subagent-core";
-import { errorLogsFromEvents, rebuildBudget, runAccountingFromEvents } from "@zhushanwen/subagent-core";
+import { errorLogsFromEvents, latestModelOverride, rebuildBudget, runAccountingFromEvents } from "@zhushanwen/subagent-core";
 import { guardStaleCtx, isEnoentError, toErrorMessage } from "@zhushanwen/pi-ext-guards";
 
 // ── [W1 / D1] v2 条目读面（注册定界 + 终态条目抑制）────────────────
@@ -283,7 +283,7 @@ interface CallDraft {
 /**
  * record 事件流 → WorkflowRun 聚合重建（纯函数，零 IO）。
  *
- * fold 语义（词表 = run-events.ts [D4] 对齐后 9 事件）：
+ * fold 语义（词表 = run-events.ts 事件词表，单源）：
  * - `run-created`：spec.scriptSource（全文，[D1]）+ args（全文，设计 §3.1 载荷表；
  *   旧格式帧回落 argsSummary 尽力恢复——parseLegacyArgsSummary）+ startedAt 锚点
  *   （帧 ts 优先，回落注册条目 startedAt）；
@@ -294,7 +294,10 @@ interface CallDraft {
  *   形态建占位行——同 journal fold 兜底）；sessionFile/sessionId 从 result 透传
  *   （对齐 finalizeCall 的 call 字段填充纪律）；
  * - `run-settled`：终局（status=done + reason 映射 + completedAt=帧 ts）；无帧 =
- *   running（交恢复链收编）。
+ *   running（交恢复链收编）；
+ * - `model-override`：latestModelOverride 折叠 → meta.modelOverride（最新一条生效，
+ *   覆盖旧覆盖值不叠加；无覆盖不造键——详见 foldRecordStreamToRun 内
+ *   [subagent-model-switch §6.6①/§7.4] 注释，不在此重复展开）。
  *
  * record 流不承载的字段（budget 计数/errorLogs/trace 完整面）按恢复语义最小形态
  * 缺省——步骤级详情的恢复读面 = record 流直读（session-reader 家族链），不经本聚合。
@@ -506,6 +509,11 @@ function foldRecordStreamToRun(
   const calls = draftsToAgentCalls(drafts, sharedNodes, nodes);
 
   const settledEvent = lastRunSettledEvent(events);
+  // [subagent-model-switch §6.6①/§7.4] 覆盖记账折叠（派生视图半边）：生效覆盖值 =
+  // 最新一条（latestModelOverride core 单点——覆盖旧覆盖值不叠加，不变量 2）；
+  // 无覆盖 undefined 不造键。fold 未跟时本行缺失 = 覆盖状态静默丢行——
+  // jsonl-run-store-loadall 的 fold 消费用例是此丢行风险的机器防线（P8 第五道）。
+  const modelOverride = latestModelOverride(events);
   if (settledEvent === undefined) {
     const interruptedAt = lastInterruptedAt(events);
     return WorkflowRun.reconstruct(
@@ -524,6 +532,7 @@ function foldRecordStreamToRun(
         //（CLI/TUI 不显示僵尸「运行中」；resume 资格判据在 core fold lifecycle，
         // 不受本投影影响）。
         ...(interruptedAt !== undefined ? { interruptedAt } : {}),
+        ...(modelOverride !== undefined ? { modelOverride } : {}),
       },
     );
   }
@@ -543,6 +552,7 @@ function foldRecordStreamToRun(
     {
       startedAt: startedAtIso,
       completedAt: new Date(settledEvent.ts).toISOString(),
+      ...(modelOverride !== undefined ? { modelOverride } : {}),
     },
   );
 }

package/src/session-lifecycle.ts

@@ -523,19 +523,17 @@ function appendSubagentIdentityEntry(pi: ExtensionAPI): void {
  * 返回 undefined。
  */
 export function bindLedgerHostAndRecover(pi: ExtensionAPI, ctx: ExtensionContext): NotifyLedgerHost | undefined {
-  // host 五端口接线 + 送达 stale 防御（D5 单通道 {triggerTurn:true} / stale 静默降级 /
-  // abandon 补显形 T4③）收敛在 @zhushanwen/pi-notify-ledger-host 工厂，权威注释随迁
-  // 工厂内；component/logger 参数保持本包 label 前缀与 warn 通道归因不变，
-  // sendDisplayMessage = 生产 bind 恒实现（NotifyLedgerHost 可选端口的本侧既有语义）。
+  // host 五端口接线 + 送达 stale 防御（D5 单通道 {triggerTurn:true} / stale 静默降级）
+  // 收敛在 @zhushanwen/pi-notify-ledger-host 工厂，权威注释随迁工厂内；
+  // component/logger 参数保持本包 label 前缀与 warn 通道归因不变。
   const ledgerHost = createPiNotifyLedgerHost(pi, ctx, {
     component: "subagent-workflow",
     logger,
-    sendDisplayMessage: true,
   });
   // bind 与 recover 拆独立 try（失败归因不同）：
   // - bind 失败：槽上无 ledger，消费方（getBoundNotifyLedger）退回内核直发路径；
   // - recover 失败：bind 已成功、槽上 ledger 仍在，消费方照常走账本路径（重启重放
-  //   缺席，边沿/看门狗仍投新通知）——不得共用 "bind failed" 文案误报。
+  //   缺席，settled 边沿仍投新通知）——不得共用 "bind failed" 文案误报。
   let ledger: ReturnType<typeof bindNotifyLedgerHost>;
   try {
     ledger = bindNotifyLedgerHost(ledgerHost);

package/src/workflow-events.ts

@@ -52,6 +52,9 @@ import { getSubagentService } from "@zhushanwen/subagent-core";
 import type { LauncherDeps } from "@zhushanwen/subagent-core";
 import { terminateRunningRuns } from "@zhushanwen/subagent-core";
 import { setInFlightListener } from "@zhushanwen/subagent-core";
+// [event-push-channel W-P1] journal 落盘事件出口接线：core 两域落盘提交点 → 出口
+// 回调 → 壳层 journal reporter（select marker 通道带回执推送 runtime 派生视图）。
+import { setJournalAppendListener } from "@zhushanwen/subagent-core";
 import {
   evictDoneRunsBeyondCap,
   MAX_RETAINED_DONE_RUNS,
@@ -65,6 +68,10 @@ import { WorkflowScriptRegistryImpl } from "@zhushanwen/subagent-core";
 // [u7a D5] 在途上报出口：实例由本 seam 创建并接线 setInFlightListener（组合根零
 // 管道），session_start / session_shutdown 驱动 attach/detach；测试可注入 fake。
 import { createInFlightReporter, type InFlightReporter } from "./host/inflight-reporter.ts";
+// [event-push-channel W-P1] journal 推送出口：实例由本 seam 创建并接线
+// setJournalAppendListener（与 inflight reporter 同 seam 同款），session_start /
+// session_shutdown 驱动 attach/detach；测试可注入 fake。
+import { createJournalReporter, type JournalReporter } from "./host/journal-reporter.ts";
 // [W2/V1 D1 第 8 行] 判活类消费面（isScriptRunning）经 core 投影单点
 //（runSummary.status 三态投影——终局判定源 = 终局记录注册表）。
 import { type RunSettlementRecord } from "./jsonl-run-store.ts";
@@ -274,7 +281,7 @@ export interface WorkflowDomainHandle {
  */
 export function setupWorkflowDomain(
   pi: ExtensionAPI,
-  wiring: { inflightReporter?: InFlightReporter } = {},
+  wiring: { inflightReporter?: InFlightReporter; journalReporter?: JournalReporter } = {},
 ): WorkflowDomainHandle {
   // [u7a D5] 在途聚合上报接线（自组合根 index.ts 收编）：core 状态迁移
   // （spawn/close/arm/disarm）→ 出口回调 → reporter 经 select 通道推绝对计数帧。
@@ -285,6 +292,14 @@ export function setupWorkflowDomain(
   // 组合根对实例零知识（纯管道参数已删）。
   const inflightReporter = wiring.inflightReporter ?? createInFlightReporter();
   setInFlightListener(inflightReporter.onInFlightChanged);
+  // [event-push-channel W-P1] journal 推送出口接线（与 inflight reporter 同 seam 同款）：
+  // core 两域落盘提交点 → 出口回调 → reporter 按 (domain,fileKey) 分组合并 → select
+  // marker 通道带回执推送 runtime。出口为进程级单监听，后注册覆盖先注册（jiti 重载
+  // 幂等）；回调同步 void，不进任何落盘 await 链。ctx 由 session_start 注入
+  // （factory 阶段无 ui）。wiring.journalReporter 是测试注入面（fake reporter 观察
+  // attach/detach 驱动时点）；生产路径缺省真实创建——组合根对实例零知识。
+  const journalReporter = wiring.journalReporter ?? createJournalReporter();
+  setJournalAppendListener(journalReporter.onJournalAppended);
   // [skill-reload D2] handle.state 即槽对象本身（不做解构重包装——否则容器每次
   //  factory 重跑新建，调用方拿不到「同一 domain state 引用」的接管前提）。
   const domainState = getOrCreateWorkflowDomainState();
@@ -387,6 +402,28 @@ export function setupWorkflowDomain(
         }
         return service.executeWorkflowAgent(opts, parentRunId, signal, undefined, undefined, stepIndex);
       },
+      // [F1-18 修复] resume 显式 model 落账后的宿主投影同步（生产接线——单例现读
+      // 同 workflowAgentDispatch 形态）。实现 = SubagentService.applyRunOverrideProjection
+      // （覆盖内存表写值 + 重建负缓存作废）；throw 走 resume 侧回滚围栏（run 回
+      // interrupted 可重试），service 缺席文案同款 [C2] 闭环。
+      onResumeModelOverrideCommitted: (runId, override) => {
+        const service = getSubagentService();
+        if (!service) {
+          throw new Error(
+            "resume model override projection unavailable: subagent service not initialized " +
+              "(session_start assembly failed). Recovery: retry the resume once the session " +
+              "is initialized; the override frame is already persisted in the run journal.",
+          );
+        }
+        service.applyRunOverrideProjection(runId, override);
+      },
+      // [dmg-r2-5] 宿主会话锚现读口（run-created 帧 rootSessionId 载荷源）：与
+      // workflowAgentDispatch 同款 service 单例现读形态——sessionRootId 根进程语义
+      // 与 record 域 rootSessionId 同源（根进程 = 本 session id，嵌套 = env ROOT）。
+      // 同 cwd 多会话共享 workflow-state 目录，runtime 网关 runId 路由靠该字段精确
+      // 判归属；service 缺席返回 null（帧不落字段，读侧旧格式行放行——不抛，创建
+      // 主链不因锚缺席失败）。
+      getSessionRootId: () => getSubagentService()?.getSessionRootId() ?? null,
       log,
     };
     return deps;
@@ -436,16 +473,20 @@ export function setupWorkflowDomain(
   //  开头一致）+ 装配结果写入 per-session sessionState。
   // ════════════════════════════════════════════════════════════
   pi.on("session_start", async (event: SessionStartEvent, ctx: ExtensionContext) => {
-    // 装配链异常不向 pi 事件分发逃逸（pi 0.84.4 extension handler 未捕获的 rejection
-    // 直接炸进程——E1 同机制）：围栏 error 留痕（含 sessionId）后保持 handler 不抛。
+    // 装配链异常不向 pi 事件分发逃逸（0.84.4 的 extension handler 未捕获 rejection
+    // 直接炸进程——E1 同机制；1.0.0 起 runner.emit 以 try/catch 吸收转 emitError 上报，
+    // 围栏仍保留——handler 不依赖 pi 侧异常处理语义）：error 留痕（含 sessionId）后保持 handler 不抛。
     // lsRef 在 try 内先行赋值：getSessionId 自身抛错时 catch 里拿到的是上一 session
     // 的 id（留痕仍可检索）。
     try {
       lsRef.lastSessionId = ctx.sessionManager.getSessionId();
       // [u7a D5] 初始上报（count=当下绝对计数）：触发时点 = extension 加载完成 / session
-      // 就绪（factory 无 ctx/ui，session_start 是最早带 ctx 的钩子——plugin-bridge 同款
-      // 事实）。fire-and-forget 在 await 装配链之前发起，不阻塞也不被阻塞。
+      // 就绪（factory 无 ctx/ui，session_start 是最早带 ctx 的钩子）。fire-and-forget
+      // 在 await 装配链之前发起，不阻塞也不被阻塞。
       inflightReporter.attachSession(ctx);
+      // [event-push-channel W-P1] journal 推送出口 attach（事件驱动，无初始帧——
+      // 报告语义是增量事件，缺席语义归消费方冷读）。
+      journalReporter.attachSession(ctx);
       // [skill-reload D4] adoption 入参接线：reason 是 handler 独占信息（event 参数），
       // existing 是 sessionState（domainState 闭包）里的既有条目——两者都是
       // session-lifecycle seam 的 adoption 分流判据，经 SessionStartOptions 传入。
@@ -546,6 +587,9 @@ export function setupWorkflowDomain(
       getSubagentService()?.invalidatePiBinding("session replacement (reload)");
       // b 动作保留（理由见上方 D1 分支说明）。
       inflightReporter.detachSession();
+      // [event-push-channel W-P1] journal 推送通道随 reload 同步摘 ctx（旧 ctx 的
+      // session 已被 pi 替换，推送帧无法归属；新 session_start 重新 attach）。
+      journalReporter.detachSession();
 
       // [skill-reload D8] reload 分支归因日志：preserved 计数取自跳过清理时的存活
       // 对象真实统计（runs = 各 session 内存 run 聚合根数；records = run.state.calls
@@ -582,6 +626,9 @@ export function setupWorkflowDomain(
     // [u7a D5] 在途上报通道随 session 终结：摘 ctx + 停重试（session 已死，重试直至
     // 成功的语义只对活 session 成立；进程级出口监听保留——后续 /new 重新 attach）。
     inflightReporter.detachSession();
+    // [event-push-channel W-P1] journal 推送通道随 session 终结：摘 ctx + 丢弃待推
+    // 缓冲（未推事件由消费方冷读/缺口补读收敛，不重推——设计 D5）。
+    journalReporter.detachSession();
 
     // ── workflow 域：terminate 所有 running run + store 收尾 + 清理 temp files ──
     // H-5: 遍历所有 sessionState 条目清理（而不只 lastSessionId——
@@ -677,6 +724,20 @@ export function setupWorkflowDomain(
     // "sar-unattached" → armed 回执落账键错 → fold 出 created 态 → IllegalTransitionError
     // 让位，run journal 恒缺 armed 帧（真机 wf-1790034646281-w7tp4f 实证链，R2 裁决）。
     get workflowAgentDispatch() { return createLazy(resolveDeps, "workflowAgentDispatch"); },
+    // [dmg-r2-5] 宿主会话锚必须随 lazyDeps 转发（workflowAgentDispatch 同款先例）：
+    // workflow tool / subagents tool 的 run action 以 lazyDeps 为 deps 启动 run，漏本
+    // 成员则 run-created 帧不落 rootSessionId（可选成员静默放行）——同 cwd 多会话下
+    // runtime 网关 runId 路由恒回落目录存在性弱锚，精确归属形同虚设。
+    get getSessionRootId() { return createLazy(resolveDeps, "getSessionRootId"); },
+    // [dmg-r1-1] resume 显式 model 落账回调必须随 lazyDeps 转发（getSessionRootId
+    // 同款先例，同族第三例）：三个生产入口（registerWorkflowTool / registerSubagentsTool /
+    // registerWorkflowsCommand）都以 lazyDeps 为 deps 启动 run，resume with model 的
+    // 落账点（resume-run appendResumeModelOverride）落完 journal B 帧后经本回调同步
+    // 宿主投影——漏本成员则可选链静默短路（可选成员静默放行）：覆盖内存表 /
+    // 负缓存 stale 不失效，重派被旧投影遮蔽（旧 model 命中或覆盖丢失按 run-created.model
+    // 解析），pi 仍 notify「resuming with model B」成功文案。转发清单对账测试防第四处
+    // 漏转发（workflow-events.test.ts lazyDeps 转发清单对账 describe）。
+    get onResumeModelOverrideCommitted() { return createLazy(resolveDeps, "onResumeModelOverrideCommitted"); },
     // scheduleTimeBudget / appendEntry 不可缺席（ports.ts D-12 regression fix 同族）：
     // rebuildRuntime 重排 run 级墙钟预算计时器、finalizeRun 的 pending:unregister
     // 直落都经这两个成员消费——lazyDeps 缺席会让消费点拿到 undefined（可选属性