@zhushanwen/pi-subagent-workflow 8.10.1 → 8.12.0

package/src/interface/views/detail-content.ts

@@ -12,8 +12,9 @@
 
 import { Key, matchesKey } from "@earendil-works/pi-tui";
 
-import { getAllToolCalls, projectLiveProgress } from "@zhushanwen/subagent-core";
+import { computeElapsedSeconds } from "@zhushanwen/subagent-core";
 import type { AgentEventLogEntry } from "@zhushanwen/subagent-core";
+import type { SubagentRecord } from "@zhushanwen/subagent-core";
 import type { ExecutionTraceNode } from "@zhushanwen/subagent-core";
 import type { WorkflowRun } from "@zhushanwen/subagent-core";
 import {
@@ -41,6 +42,49 @@ import {
 /** 探测宽度：足够大避免截断折行影响行数统计（对齐 subagents DETAIL_LEN_PROBE_WIDTH）。 */
 const DETAIL_LEN_PROBE_WIDTH = 9999;
 
+// ── [H2 W3] store record 的 live 进度投影（设计 D2：进度源从 node.live 切 store）──
+
+/**
+ * running record 的实时进度投影——消费面七字段口径与旧 projectLiveProgress(node.live)
+ * 逐字段对齐（totalTokens / 工具计数 / elapsedSeconds / turns / eventLog /
+ * currentActivity / lastError）。
+ */
+export interface LiveProgressView {
+  totalTokens: number;
+  toolCallCount: number;
+  elapsedSeconds: number;
+  turns: number;
+  eventLog: AgentEventLogEntry[];
+  currentActivity?: { type: "tool" | "text" | "thinking"; label: string };
+  lastError?: string;
+}
+
+/**
+ * SubagentRecord（store 查询投影）→ LiveProgressView。与旧路径
+ * projectLiveProgress(node.live) 的字段等价性（构造性论证，S1 等价表依据）：
+ *   - totalTokens / turns：recordToSubagent 直读 record.totalTokens / turnCount，同源；
+ *   - toolCallCount：eventLog 里 tool_start 计数——getEventLog 对每个 toolCall 恰产
+ *     一条 tool_start，与 getAllToolCalls(record).length 恒等；
+ *   - elapsedSeconds：computeElapsedSeconds 同一函数（startedAt/endedAt 同字段）；
+ *   - eventLog / currentActivity：recordToSubagent 内部即调 getEventLog /
+ *     getCurrentActivity（同源 API，仅内存 running record 有 currentActivity）；
+ *   - lastError：eventLog 末条 type==="error" 的 label——getEventLog 仅当
+ *     record.lastError 非空时追加该条且必在末尾，存在性 ⟺ 非空，label 即原文。
+ */
+export function projectRecordProgress(rec: SubagentRecord): LiveProgressView {
+  const eventLog = rec.eventLog;
+  const last = eventLog[eventLog.length - 1];
+  return {
+    totalTokens: rec.totalTokens,
+    toolCallCount: eventLog.filter((e) => e.type === "tool_start").length,
+    elapsedSeconds: computeElapsedSeconds(rec),
+    turns: rec.turns,
+    eventLog,
+    currentActivity: rec.currentActivity,
+    lastError: last !== undefined && last.type === "error" ? last.label : undefined,
+  };
+}
+
 /** status → 语义色标签（L2 detail 头用）。 */
 export function statusLabel(status: string, theme: ThemeLike): string {
   switch (status) {
@@ -57,7 +101,9 @@ export function statusLabel(status: string, theme: ThemeLike): string {
  * 构建 L2 右侧详情的完整内容行。
  *
  * 纯函数：无 Pi runtime、无副作用，可单测。入参 promptExpanded 用结构化类型，
- * 不依赖完整 ViewState（便于测试构造）。
+ * 不依赖完整 ViewState（便于测试构造）。liveView = 该节点配对的 running record 投影
+ * （[H2 W3] 从 trace.live 切 store 订阅，经 WorkflowsView.collectNodeLiveProgress
+ * 配对注入；缺省走终态 result 路径）。
  */
 export function buildDetailContent(
   node: ExecutionTraceNode,
@@ -66,6 +112,7 @@ export function buildDetailContent(
   theme: ThemeLike,
   mainWidth: number,
   now: number,
+  liveView?: LiveProgressView,
 ): string[] {
   const rightLines: string[] = [];
   const elapsed = formatElapsed(
@@ -75,20 +122,18 @@ export function buildDetailContent(
   rightLines.push(theme.fg("muted", "Detail"));
   rightLines.push("─".repeat(mainWidth));
   rightLines.push(`${statusDotStr(node.status, theme)} ${statusLabel(node.status, theme)} · ${node.model}`);
-  // Live 路径优先：运行中用 node.live 的实时 usage/toolCalls/elapsed；否则用终态 result。
-  if (node.live) {
-    const live = projectLiveProgress(node.live);
-    const tokK = live.totalTokens > 0 ? `${Math.round(live.totalTokens / BUDGET_TOKENS_DIVISOR)}k tok` : "0 tok";
-    const tcCount = getAllToolCalls(node.live).length;
-    rightLines.push(theme.fg("dim", `${tokK} · ${tcCount} tool calls · ${formatElapsedSeconds(live.elapsedSeconds)}`));
+  // Live 路径优先：运行中用 store record 投影的实时 usage/toolCalls/elapsed；否则用终态 result。
+  if (liveView) {
+    const tokK = liveView.totalTokens > 0 ? `${Math.round(liveView.totalTokens / BUDGET_TOKENS_DIVISOR)}k tok` : "0 tok";
+    rightLines.push(theme.fg("dim", `${tokK} · ${liveView.toolCallCount} tool calls · ${formatElapsedSeconds(liveView.elapsedSeconds)}`));
   } else {
     rightLines.push(theme.fg("dim", formatTokenStat(node.result?.usage, node.result?.toolCalls, elapsed)));
   }
   rightLines.push("");
   renderWorkerLogSection(rightLines, run, mainWidth, theme);
   renderPromptSection(rightLines, node, state, theme);
-  renderActivitySection(rightLines, node, mainWidth, theme);
-  renderOutcomeSection(rightLines, node, mainWidth, theme);
+  renderActivitySection(rightLines, node, liveView, mainWidth, theme);
+  renderOutcomeSection(rightLines, node, liveView, mainWidth, theme);
   renderSessionSection(rightLines, node, mainWidth, theme);
   return rightLines;
 }
@@ -99,8 +144,9 @@ export function detailContentLength(
   state: { promptExpanded: boolean },
   run: WorkflowRun,
   theme: ThemeLike,
+  live?: LiveProgressView,
 ): number {
-  return buildDetailContent(node, state, run, theme, DETAIL_LEN_PROBE_WIDTH, Date.now()).length;
+  return buildDetailContent(node, state, run, theme, DETAIL_LEN_PROBE_WIDTH, Date.now(), live).length;
 }
 
 // ── L2 详情滚动按键（纯函数，对齐 subagents processKey）─────────
@@ -214,20 +260,20 @@ function renderPromptSection(
 function renderActivitySection(
   rightLines: string[],
   node: ExecutionTraceNode,
+  liveView: LiveProgressView | undefined,
   mainWidth: number,
   theme: ThemeLike,
 ): void {
-  // Live 路径：agent 运行中，从 node.live 派生实时 eventLog + currentActivity。
+  // Live 路径：agent 运行中，从 store record 投影派生实时 eventLog + currentActivity。
   // 与 subagents TUI 一致：当前活动行 + 最近 N 条离散事件（tool/turn_end/error）。
-  if (node.live) {
-    const live = projectLiveProgress(node.live);
-    const eventLog = live.eventLog.filter((e) => e.type !== "turn_end");
-    const totalCount = getAllToolCalls(node.live).length;
-    const label = `Activity · ${totalCount} tool call${totalCount !== 1 ? "s" : ""} · ${live.turns} turn${live.turns !== 1 ? "s" : ""}`;
+  if (liveView) {
+    const eventLog = liveView.eventLog.filter((e) => e.type !== "turn_end");
+    const totalCount = liveView.toolCallCount;
+    const label = `Activity · ${totalCount} tool call${totalCount !== 1 ? "s" : ""} · ${liveView.turns} turn${liveView.turns !== 1 ? "s" : ""}`;
     rightLines.push(theme.fg("muted", label));
     // 当前活动行（running tool / thinking / text）
-    if (live.currentActivity) {
-      rightLines.push(theme.fg("accent", `  ⎿ ${live.currentActivity.type}: ${live.currentActivity.label}`.slice(0, mainWidth - BOX_BORDER_CHARS)));
+    if (liveView.currentActivity) {
+      rightLines.push(theme.fg("accent", `  ⎿ ${liveView.currentActivity.type}: ${liveView.currentActivity.label}`.slice(0, mainWidth - BOX_BORDER_CHARS)));
     }
     // 最近 N 条事件
     const showCount = Math.min(MAX_TOOL_CALLS_DISPLAY, eventLog.length);
@@ -236,7 +282,7 @@ function renderActivitySection(
       const entry = eventLog[i] as AgentEventLogEntry;
       rightLines.push(theme.fg("dim", `  ${formatTraceEventLine(entry, theme)}`.slice(0, mainWidth - BOX_BORDER_CHARS)));
     }
-    if (totalCount === 0 && !live.currentActivity) {
+    if (totalCount === 0 && !liveView.currentActivity) {
       rightLines.push(theme.fg("dim", "  (starting...)"));
     }
     rightLines.push("");
@@ -267,17 +313,17 @@ function renderActivitySection(
 function renderOutcomeSection(
   rightLines: string[],
   node: ExecutionTraceNode,
+  liveView: LiveProgressView | undefined,
   mainWidth: number,
   theme: ThemeLike,
 ): void {
   rightLines.push(theme.fg("muted", "Outcome"));
-  if (node.status === "running" && node.live) {
+  if (node.status === "running" && liveView) {
     // 运行中：显示实时指标（elapsed/tokens/turns）替代空荡的 "Still running..."
-    const live = projectLiveProgress(node.live);
-    const tokK = live.totalTokens > 0 ? `${Math.round(live.totalTokens / BUDGET_TOKENS_DIVISOR)}k tok` : "0 tok";
-    rightLines.push(theme.fg("dim", `  Running · ${formatElapsedSeconds(live.elapsedSeconds)} · ${tokK} · ${live.turns} turn${live.turns !== 1 ? "s" : ""}`));
-    if (live.lastError) {
-      rightLines.push(theme.fg("warning", `  ⚠ ${live.lastError.slice(0, mainWidth - BOX_BORDER_CHARS)}`));
+    const tokK = liveView.totalTokens > 0 ? `${Math.round(liveView.totalTokens / BUDGET_TOKENS_DIVISOR)}k tok` : "0 tok";
+    rightLines.push(theme.fg("dim", `  Running · ${formatElapsedSeconds(liveView.elapsedSeconds)} · ${tokK} · ${liveView.turns} turn${liveView.turns !== 1 ? "s" : ""}`));
+    if (liveView.lastError) {
+      rightLines.push(theme.fg("warning", `  ⚠ ${liveView.lastError.slice(0, mainWidth - BOX_BORDER_CHARS)}`));
     }
   } else if (node.status === "running") {
     rightLines.push(theme.fg("dim", "  Still running..."));

package/src/jsonl-run-store.ts

@@ -50,7 +50,7 @@
  * - pi 侧版本不匹配静默跳过语义保持（D-5）；「缺 v 宽容」是 core FileRunStore
  *   侧的存量预处理职责，不内聚进 codec（D4 裁决②），故本侧零改动即保持。
  *
- * [S3 查证结论] pi 0.84.1 实装（node_modules/@earendil-works/pi-coding-agent/dist，
+ * [S3 查证结论] pi 0.84.4 实装（node_modules/@earendil-works/pi-coding-agent/dist，
  * core/session-manager.js，PS-19）的 session 生命周期管理不含自动 GC：
  * listSessionsFromDir 只做只读扫描（readdir + `.jsonl` 过滤 + header 解析，:548-571，
  * 非递归——`<sessionDir>/workflow-state/` 子目录完全不在 pi 的任何扫描/清理范围内），

package/src/session-lifecycle.ts

@@ -8,7 +8,7 @@
  *   1. identity env→appendEntry 重建（类型 13 字段含 1 个 @deprecated，写入 12）
  *   2. notify ledger host 装配 + 重启恢复
  *   3. 双 Service 装配 + initSession（createOrReuseServices 封装，单例语义 D8）
- *   4. GC / manifest tmp / worktree 恢复
+ *   4. GC / manifest tmp 清扫（[U4c/D6] promote 退役）/ 索引重建（[U4c/G1] boot 全量腿）/ worktree 恢复
  *   5. per-session run store + kill-9 恢复循环 + evictDoneRunsBeyondCap
  *   6. SAR + engine 基线（经 SessionLifecycleResult 返回，sessionState 写入留在组合根）
  *
@@ -22,7 +22,7 @@ import * as path from "node:path";
 import type { ExtensionAPI, ExtensionContext } from "@earendil-works/pi-coding-agent";
 import { getAgentDir } from "@earendil-works/pi-coding-agent";
 import { getLogger } from "@zhushanwen/pi-extension-logger";
-import { oncePerProcess, toErrorMessage } from "@zhushanwen/pi-ext-guards";
+import { guardStaleCtx, oncePerProcess, toErrorMessage } from "@zhushanwen/pi-ext-guards";
 
 // ═══ core 宿主端口消费（随迁块的依赖；production 默认实现住本文件） ═══
 import { getOrCreateChannelRegistry } from "@zhushanwen/subagent-core";
@@ -323,8 +323,12 @@ function appendSubagentIdentityEntry(pi: ExtensionAPI): void {
  * 随文件域隔离）。compaction 存活情况归 session_compact handler 的条件降级（P-B4
  * 探针阶段 5 实测，见 notify-ledger.ts compactionCheck）。装配失败不阻断
  * session_start（通知退回 notifier 的内核路径）。
+ *
+ * export + 返回装配的 NotifyLedgerHost = 测试直入 seam（可直调 sendDelivery 验证
+ * 守卫分诊）；生产调用方（setupSessionLifecycle）忽略返回值，行为不变。装配失败
+ * 返回 undefined。
  */
-function bindLedgerHostAndRecover(pi: ExtensionAPI, ctx: ExtensionContext): void {
+export function bindLedgerHostAndRecover(pi: ExtensionAPI, ctx: ExtensionContext): NotifyLedgerHost | undefined {
   try {
     const ledgerHost: NotifyLedgerHost = {
       appendLedgerEntry: (customType, data) => {
@@ -338,16 +342,31 @@ function bindLedgerHostAndRecover(pi: ExtensionAPI, ctx: ExtensionContext): void
       sendDelivery: (message) => {
         // D5 单通道：唯一发送形态 = sendCustomMessage({triggerTurn:true})，
         // courier 已在发送前二次复查 isIdle，多通道投递选项已删（D5）。
-        pi.sendMessage(message, { triggerTurn: true });
+        // stale ctx 防御（crash-resilience D1 / ext-guards 审计 §7 blockers#1 收口）：
+        // sendDelivery 经 settled 边沿 / 看门狗 / 恢复重放异步触发——session 替换窗口
+        // 触碰 stale pi 命中 assertActive（PS-30）即无人接 rejection（E1 同机制）。
+        // stale 静默降级（本条通知不投递，attemptDeliver 按已受理标 sentAt——session
+        // 替换后通知对旧 session 已无意义，与守卫前「留 pending 反复撞 stale 直到账本
+        // 重绑」终局一致），非 stale 错误原样上抛（attemptDeliver 既有 catch 走
+        // settleRejected 留账重试语义不变）。
+        guardStaleCtx(() => pi.sendMessage(message, { triggerTurn: true }), {
+          label: "subagent-workflow:sendDelivery",
+          onStale: (error) =>
+            logger.warn("notify delivery skipped (stale ctx)", {
+              error: toErrorMessage(error),
+            }),
+        });
       },
     };
     // U4：重放观测已内聚到 ledger 分桶日志（recoveryReplays 桶经 extensionLogger
     // 通道落盘），此处不再重复打日志。
     bindNotifyLedgerHost(ledgerHost).recoverFromSession();
+    return ledgerHost;
   } catch (err) {
     logger.warn("[subagents] notify ledger bind failed", {
       reason: toErrorMessage(err),
     });
+    return undefined;
   }
 }
 
@@ -389,17 +408,33 @@ async function runProcessLevelMaintenance(
     });
   }
 
-  // ADR-035 启动恢复：扫描 manifest tmp 残留（崩溃打断的 writeManifest 留下，promote/unlink）。
+  // ADR-035 启动清扫：manifest tmp 残留（崩溃打断的 writeManifest 留下）。
+  // [U4c / D6] tmp 恢复退役为静默删除——manifest 已是可丢可重建缓存（权威 =
+  // `.state`，重建走下方 rebuildIndexes 钩子），promote 半写 tmp 的恢复语义失效。
   // 扫描属进程级维护——oncePerProcess 守卫防双跑（u-audit-fix）；第二派发重放首次
-  // Promise（结果缓存语义），recovered 计数日志可能重打，无文件副作用。
+  // Promise（结果缓存语义），deleted 计数日志可能重打，无文件副作用。
   try {
-    const recovered = await oncePerProcess("subagent-workflow:recover-manifest-tmp-files", () =>
+    const swept = await oncePerProcess("subagent-workflow:sweep-manifest-tmp-files", () =>
       service.recoverManifestTmpFiles());
-    if (recovered.recovered > 0 || recovered.deleted > 0) {
-      logger.warn(`[subagents] manifest tmp recovery: ${recovered.recovered} promoted, ${recovered.deleted} deleted`);
+    if (swept.deleted > 0) {
+      logger.warn(`[subagents] manifest tmp sweep: ${swept.deleted} stale tmp file(s) removed (manifest is rebuildable cache)`);
     }
   } catch (err) {
-    logger.warn("[subagents] manifest tmp recovery failed", {
+    logger.warn("[subagents] manifest tmp sweep failed", {
+      reason: toErrorMessage(err),
+    });
+  }
+
+  // [U4c / G1] 缓存降级重建（boot 全量腿）：boot revive 已完成（createOrReuseServices
+  // 内 initSession 的孤儿恢复/可重连 entry 重物化先于本 helper），此处全量重建可丢
+  // 缓存——manifest 幂等补缺 + sessions-index 经首扫自愈重写。进程级维护（磁盘域
+  // 全量），oncePerProcess 守卫防双跑；/resume /fork 同进程复用实例时跳过（查询面
+  // 惰性通道兜底，且终态写点本身维持 manifest 就位）。
+  try {
+    oncePerProcess("subagent-workflow:rebuild-record-indexes", () =>
+      service.rebuildIndexes());
+  } catch (err) {
+    logger.warn("[subagents] record index rebuild failed", {
       reason: toErrorMessage(err),
     });
   }