@zhushanwen/pi-subagent-workflow 9.3.0 → 9.4.1

package/src/jsonl-run-store.ts

@@ -67,16 +67,20 @@ import {
   noteRebuiltSettlement,
   settlementRecordOfRunSettledFrame,
   type AgentResult,
+  type Budget,
   type ExecutionTraceNode,
   type RunEventLineIssue,
   type RunOutcome,
+  type RunSpec,
   type RunStore,
+  type WorkflowModelOverride,
   type WorkflowRecordRegisteredEntryData,
   type WorkflowRecordSettledEntryData,
   type WorkflowRunEvent,
+  type WorkerLogEntry,
 } 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 +287,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 +298,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 家族链），不经本聚合。
@@ -475,26 +482,32 @@ function rebuildRunSpecFromEntries(
   };
 }
 
-function foldRecordStreamToRun(
-  runId: string,
-  reg: WorkflowRecordRegisteredEntryData,
-  events: readonly WorkflowRunEvent[],
-  settled?: WorkflowRecordSettledEntryData,
-): WorkflowRun {
-  const created = events.find(
-    (e): e is Extract<WorkflowRunEvent, { type: "run-created" }> => e.type === "run-created",
-  );
-  const startedAtMs =
-    created?.ts ?? (Number.isFinite(reg.startedAt) ? reg.startedAt : Date.now());
-  const startedAtIso = new Date(startedAtMs).toISOString();
-  const spec = rebuildRunSpecFromEntries(created, reg, resolveSpecBudget(created, events));
-  // [§2.1b] 会计重建：v2 终态条目带活体口径 usedTokens/callCount → 真值优先；条目缺席
-  // 回落 agent-settled.result.usage 的同一加权口径（下界近似，含 usedCost）。
-  const budget = rebuildBudget(settled, events);
-  // [§2.1 errorLogs 持久化 / ADR-0093] 诊断日志重建：worker-log 帧 → errorLogs（与活体
-  // 写入同语义：按序 + 尾部上限裁剪）。此前无持久面、重启即空。
-  const errorLogs = errorLogsFromEvents(events);
+/**
+ * [foldRecordStreamToRun 拆分] 两分支 reconstruct 共用的 fold 产物（spec 之外的
+ * 快照/元数据公共字段）。
+ */
+interface FoldCommonParts {
+  budget: Budget;
+  errorLogs: WorkerLogEntry[];
+  startedAt: string;
+}
+
+/**
+ * [foldRecordStreamToRun 拆分] 两分支 reconstruct 共用的聚合重建块（trace + calls +
+ * 覆盖记账——原 fold 主干的公共块提取）。
+ */
+interface RebuiltRunAggregate {
+  calls: Map<number, AgentCall>;
+  trace: Trace;
+  /** 生效模型覆盖记账（无覆盖 undefined 不造键——语义见 rebuildRunAggregate 内注释）。 */
+  modelOverride: WorkflowModelOverride | undefined;
+}
 
+/**
+ * 聚合重建块：drafts → trace 节点 → Trace 副本 → call 集合（D-10 引用共享链）+
+ * 覆盖记账折叠。纯函数，零 IO。
+ */
+function rebuildRunAggregate(events: readonly WorkflowRunEvent[]): RebuiltRunAggregate {
   const drafts = collectRunCallDrafts(events);
 
   // Trace 先重建：call 的 traceNode 回链到 Trace 副本（D-10 引用共享；匹配不到
@@ -505,48 +518,123 @@ function foldRecordStreamToRun(
 
   const calls = draftsToAgentCalls(drafts, sharedNodes, nodes);
 
-  const settledEvent = lastRunSettledEvent(events);
-  if (settledEvent === undefined) {
-    const interruptedAt = lastInterruptedAt(events);
-    return WorkflowRun.reconstruct(
-      runId,
-      spec,
-      {
-        budget,
-        calls,
-        trace,
-        errorLogs,
-      },
-      {
-        startedAt: startedAtIso,
-        // 中断标记（[D2] 中断态经 meta 投影表达）：末次 run-interrupted 后无
-        // run-resumed 复活 → meta.interruptedAt 置位，runSummary 投影 'interrupted'
-        //（CLI/TUI 不显示僵尸「运行中」；resume 资格判据在 core fold lifecycle，
-        // 不受本投影影响）。
-        ...(interruptedAt !== undefined ? { interruptedAt } : {}),
-      },
-    );
-  }
+  // [subagent-model-switch §6.6①/§7.4] 覆盖记账折叠（派生视图半边）：生效覆盖值 =
+  // 最新一条（latestModelOverride core 单点——覆盖旧覆盖值不叠加，不变量 2）；
+  // 无覆盖 undefined 不造键。fold 未跟时本行缺失 = 覆盖状态静默丢行——
+  // jsonl-run-store-loadall 的 fold 消费用例是此丢行风险的机器防线（P8 第五道）。
+  const modelOverride = latestModelOverride(events);
+  return { calls, trace, modelOverride };
+}
+
+/**
+ * 非终局分支 reconstruct：无 run-settled 帧 = running（交恢复链收编）+ 中断标记
+ * 投影（[D2]）。
+ */
+function reconstructUnsettledRun(
+  runId: string,
+  spec: RunSpec,
+  aggregate: RebuiltRunAggregate,
+  parts: FoldCommonParts,
+  events: readonly WorkflowRunEvent[],
+): WorkflowRun {
+  const interruptedAt = lastInterruptedAt(events);
+  return WorkflowRun.reconstruct(
+    runId,
+    spec,
+    {
+      budget: parts.budget,
+      calls: aggregate.calls,
+      trace: aggregate.trace,
+      errorLogs: parts.errorLogs,
+    },
+    {
+      startedAt: parts.startedAt,
+      // 中断标记（[D2] 中断态经 meta 投影表达）：末次 run-interrupted 后无
+      // run-resumed 复活 → meta.interruptedAt 置位，runSummary 投影 'interrupted'
+      //（CLI/TUI 不显示僵尸「运行中」；resume 资格判据在 core fold lifecycle，
+      // 不受本投影影响）。
+      ...(interruptedAt !== undefined ? { interruptedAt } : {}),
+      ...(aggregate.modelOverride !== undefined ? { modelOverride: aggregate.modelOverride } : {}),
+    },
+  );
+}
+
+/**
+ * 终局分支 reconstruct：run-settled 帧派生 DoneReason + completedAt；失败终局带
+ * 帧 reason 文本（不落 generic 恢复文案）。
+ */
+function reconstructSettledRun(
+  runId: string,
+  spec: RunSpec,
+  aggregate: RebuiltRunAggregate,
+  parts: FoldCommonParts,
+  settledEvent: RunSettledFrame,
+): WorkflowRun {
   const reason = runSettledOutcomeToDoneReason(settledEvent.outcome, settledEvent.errorCode);
   return WorkflowRun.reconstruct(
     runId,
     spec,
     {
       reason,
-      budget,
-      calls,
-      trace,
-      errorLogs,
+      budget: parts.budget,
+      calls: aggregate.calls,
+      trace: aggregate.trace,
+      errorLogs: parts.errorLogs,
       // 成功终局无 error；失败终局带帧 reason 文本（不落 generic 恢复文案）
       ...(reason !== "completed" && settledEvent.reason !== undefined ? { error: settledEvent.reason } : {}),
     },
     {
-      startedAt: startedAtIso,
+      startedAt: parts.startedAt,
       completedAt: new Date(settledEvent.ts).toISOString(),
+      ...(aggregate.modelOverride !== undefined ? { modelOverride: aggregate.modelOverride } : {}),
     },
   );
 }
 
+/**
+ * startedAt 毫秒锚：run-created 帧 ts 优先，回落注册条目 startedAt（非有限数值 =
+ * 兜底当前时刻，保 startedAt 恒有值）。
+ */
+function resolveStartedAtMs(
+  created: Extract<WorkflowRunEvent, { type: "run-created" }> | undefined,
+  reg: WorkflowRecordRegisteredEntryData,
+): number {
+  return created?.ts ?? (Number.isFinite(reg.startedAt) ? reg.startedAt : Date.now());
+}
+
+/**
+ * record 事件流 → WorkflowRun 聚合（纯函数，零 IO；fold 语义词表说明见文件头
+ * 「record 流 fold 重建」节）。主干只做产物编排：公共 fold 产物（budget/errorLogs/
+ * startedAt/spec）+ 聚合重建块（rebuildRunAggregate）+ 按终局帧有无分流到
+ * reconstructUnsettledRun / reconstructSettledRun。
+ */
+function foldRecordStreamToRun(
+  runId: string,
+  reg: WorkflowRecordRegisteredEntryData,
+  events: readonly WorkflowRunEvent[],
+  settled?: WorkflowRecordSettledEntryData,
+): WorkflowRun {
+  const created = events.find(
+    (e): e is Extract<WorkflowRunEvent, { type: "run-created" }> => e.type === "run-created",
+  );
+  const spec = rebuildRunSpecFromEntries(created, reg, resolveSpecBudget(created, events));
+  // [§2.1b] 会计重建：v2 终态条目带活体口径 usedTokens/callCount → 真值优先；条目缺席
+  // 回落 agent-settled.result.usage 的同一加权口径（下界近似，含 usedCost）。
+  // [§2.1 errorLogs 持久化 / ADR-0093] 诊断日志重建：worker-log 帧 → errorLogs（与活体
+  // 写入同语义：按序 + 尾部上限裁剪）。此前无持久面、重启即空。
+  const parts: FoldCommonParts = {
+    budget: rebuildBudget(settled, events),
+    errorLogs: errorLogsFromEvents(events),
+    startedAt: new Date(resolveStartedAtMs(created, reg)).toISOString(),
+  };
+  const aggregate = rebuildRunAggregate(events);
+  const settledEvent = lastRunSettledEvent(events);
+  if (settledEvent === undefined) {
+    return reconstructUnsettledRun(runId, spec, aggregate, parts, events);
+  }
+  return reconstructSettledRun(runId, spec, aggregate, parts, settledEvent);
+}
+
 // ── JsonlRunStore ────────────────────────────────────────────
 
 const logger = getLogger("subagents");

package/src/session-lifecycle.ts

@@ -42,7 +42,7 @@ import {
 import { bindNotifyLedgerHost, type NotifyLedgerHost } from "@zhushanwen/subagent-core";
 import { IDENTITY_CUSTOM_TYPE, type SubagentIdentityData } from "@zhushanwen/subagent-core";
 import type { ExecutionMode } from "@zhushanwen/subagent-core";
-import { maybeCleanupExpiredSessionFiles } from "@zhushanwen/subagent-core";
+import { startEngineJournalGcTimer } from "@zhushanwen/subagent-core";
 import { resolvePiSessionScopedDir } from "@zhushanwen/subagent-core";
 // [W1 / D5] session_start 兜底触发点的统一保留维护轮：入口 + record 域目录锚
 // （getSubagentRecordsDir 布局 + ENV_ROOT_CWD 贯穿 env 名单源）+ state 目录分量
@@ -557,7 +557,7 @@ export function bindLedgerHostAndRecover(pi: ExtensionAPI, ctx: ExtensionContext
 
 /**
  * 随迁块 4 的进程级维护三连（各 try-catch「失败记日志不阻断」，设计 §3.4）：
- * 过期 session 文件清理 / ADR-035 manifest tmp 恢复 / ADR-035 worktree reaper 扫描。
+ * 引擎 journal TTL 回收 / ADR-035 manifest tmp 恢复 / ADR-035 worktree reaper 扫描。
  * （[modeless 波5] 原 [E1] sync 批崩溃恢复接线已摘除；[collect 退役] core 侧
  * recoverSyncCollectBatch 方法本体已删——sync 批机制不存在，无恢复面可接线。）
  */
@@ -568,12 +568,16 @@ async function runProcessLevelMaintenance(
   deps: SessionLifecycleDeps,
 ): Promise<void> {
   try {
-    // 递归扫描 <agentDir>/subagents + unlink 超 TTL 跨 session 文件属进程级维护
-    // ——oncePerProcess 守卫防双跑（u-audit-fix）。
-    oncePerProcess("subagent-workflow:cleanup-expired-session-files", () =>
-      maybeCleanupExpiredSessionFiles(agentDir, ctx.cwd));
+    // 引擎 journal TTL 回收（30 天 mtime）+ worktree .patch 孤儿清扫（同 TTL，仅
+    // *.patch 两层枚举——按 branch 命名无会话锚，级联引用并集无锚可达，唯一 mtime
+    // 兜底通道）属进程级维护——oncePerProcess 守卫防双跑（u-audit-fix）。接线即扫
+    // 一次 + 24h 定时复扫（unref 不 hold 进程退出，对齐 main 侧 log-retention 形态）。
+    // 子代理会话文件（*.jsonl / sidecar / manifest / *.events）不在本维护面——回收归
+    // 删主会话级联（runtime session-content-cascade，2026-10-12 裁决）。
+    oncePerProcess("subagent-workflow:engine-journal-gc", () =>
+      startEngineJournalGcTimer(agentDir));
   } catch (err) {
-    logger.warn("[subagents] expired session file cleanup failed", {
+    logger.warn("[subagents] engine journal gc failed", {
       reason: toErrorMessage(err),
     });
   }

package/src/workflow-events.ts

@@ -402,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;
@@ -702,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（可选属性