thincoder 0.12.67 → 0.12.69

package/src/tui/display-budget.mjs

@@ -1,15 +1,15 @@
 /**
- * display-budget.mjs — TUI 显示层额度（TUI-OOM-ROOTCAUSE 批——TUI.md §15.3）。
+ * display-budget.mjs — TUI 显示层额度（TUI-OOM-ROOTCAUSE 批——TUI-SESSION-VIEW.md §5）。
  *
- * 职责（§15.3.2）：常量单源（D-TB4）+ 行/载体计长（`lineChars`）+ `state.lines` 总量
+ * 职责（§5.1/§5.2）：常量单源（D-TB4）+ 行/载体计长（`lineChars`）+ `state.lines` 总量
  * 对账（`syncLineBudget`）。纯函数本体（`capText` / `appendCappedText`）住
- * `thincoder-core/text-budget.mjs`（零依赖）——与 agent 侧捕获共用（AGENT-LOOP.md §23.3.1，D2 单源）；
+ * `thincoder-core/text-budget.mjs`（零依赖）——与 agent 侧捕获共用（AGENT-LOOP.md §6.15，D2 单源）；
  * 本模块只承载 TUI 面常量与对账。
  *
  * 依赖方向：本模块只引 `./ansi.mjs` + `@thincoder/core/text-budget.mjs`（叶子——不引 subagent 族，
  * 冻结锚点平移由调用方经 `onTrim` 注入，避环）。
  *
- * 计量口径 = UTF-16 码元（`String.length`——TUI.md §15.2 表 1）；行数维（5000 行环 /
+ * 计量口径 = UTF-16 码元（`String.length`——TUI-SESSION-VIEW.md §5.1）；行数维（5000 行环 /
  * 500 行块环 / 200 条目环）**原样保留**，字符维为第二维（D-TB5——既有 N5/N6 语义不动）。
  */
 import { C } from "./ansi.mjs"
@@ -17,7 +17,7 @@ import { capText, appendCappedText, fillMarker } from "@thincoder/core/text-budg
 
 export { capText }
 
-// ─── 常量（§15.3.1——单源；数值改动一处生效）────────────────────────────────
+// ─── 常量（§5.1——单源；数值改动一处生效）────────────────────────────────
 
 /** 单行（pushLine/pushLabel/恢复行/流式 flush 行）字符额度。 */
 export const LINE_MAX_CHARS = 64_000
@@ -42,7 +42,7 @@ export const LINES_TRIM_FLOOR = 200
 /** 搜索匹配计数上限（超出截断 + 提示行）。 */
 export const SEARCH_MATCH_CAP = 10_000
 
-// ─── 标记形态（逐字——§15.3.2 进测试断言）──────────────────────────────────
+// ─── 标记形态（逐字——§5.1 进测试断言）──────────────────────────────────
 
 export const LINE_TRUNC_MARKER = "… [line truncated: N chars omitted]"
 export const MIDDLE_TRUNC_MARKER = "… [middle truncated: N chars omitted]"
@@ -76,7 +76,7 @@ export function appendCapped(prev, add, opts) {
   return appendCappedText(prev, add, opts)
 }
 
-/** 评审文本单次截断（§15.3.1：头 32K + 尾 96K 保裁决尾部 + 中段标记——与累积侧同源）。 */
+/** 评审文本单次截断（§5.1：头 32K + 尾 96K 保裁决尾部 + 中段标记——与累积侧同源）。 */
 export function capAdvisorText(text) {
   return capText(text, { max: ADVISOR_TEXT_MAX_CHARS, keepHead: 32_000, keepTail: 96_000, marker: MIDDLE_TRUNC_MARKER })
 }
@@ -109,7 +109,7 @@ export function capLines(lines, max, marker = MIDDLE_TRUNC_MARKER) {
   return out
 }
 
-// ─── 计长与总量对账（§15.3.2 / §15.3.4）───────────────────────────────────
+// ─── 计长与总量对账（§5.2 / §5.4）───────────────────────────────────
 
 const arrChars = (a) => {
   if (!Array.isArray(a)) return 0
@@ -166,7 +166,7 @@ export function accountAll(state) {
 const RECEIPT_RESERVE_CHARS = 96
 
 /**
- * `state.lines` 总量对账（§15.3.3 落点表末行）：超 `LINES_CHAR_BUDGET` → **最小步进**裁头 +
+ * `state.lines` 总量对账（§5.3 落点表末行）：超 `LINES_CHAR_BUDGET` → **最小步进**裁头 +
  * 收据行，且不使 `lines.length` 低于 `LINES_TRIM_FLOOR`（触底 = 内层 break——接受超额，
  * 不靠守卫退出：FLOOR+1 且残余超额时守卫仍为真）。每轮裁「至额度内所需最少行数」
  * （need = 超额 + 收据上界预留；上限 = 可裁至保底的行数）；`onTrim(state, removedCount)` 由

package/src/tui/fold-block.mjs

@@ -7,7 +7,7 @@
  * 最高占屏 60%，底控件必落在视口内，展开永远可逆。
  *
  * 消费方（render-conversation.mjs 六处折叠点）：
- *   1. 子agent 活动区块（运行中 / 冻结，AGENT-LOOP §7.2 D4）
+ *   1. 子agent 活动区块（运行中 / 冻结，docs/cli/design/TUI.md §6.8）
  *   2. advisor 评审块（运行中 _advisorBlocks / 冻结 _frozenAdvisor）
  *   3. 长消息折叠（long-N）/ 连续 dim 折叠（fold-N）
  *

package/src/tui/index.mjs

@@ -42,28 +42,45 @@ import { createTuiState } from "./tui-state.mjs"
 import { createInputFace } from "./input-face.mjs"
 import { createConversationWriter } from "./conversation-writer.mjs"
 import { createTurnFace } from "./turn-face.mjs"
+import { createTimerWatch, fireTimerWake } from "./timer-watch.mjs"
 
 export { upgradeFailureText, pendingNoticeReady } from "./update-notice.mjs"
 
 /**
- * SESSION.md §6.8 D-S2 — TUI 启动首帧前的 provider 重选流程：
- * provider 无效（`_providerInvalid` 标记或 provider 为 null）→ 先弹模型选择 picker
- * （复用 openModelPicker，展示当前可用 providers）；用户选定后继续正常启动。
- * 选择取消（Esc）→ 仍进入 TUI，推送提示行（"未配置有效 provider，可用 /model 配置
- * 渠道与模型"）——绝不因无 provider 拒绝进入。返回 true 表示弹过选择流程。
+ * SESSION.md §6.8 D-S2 — TUI 启动首帧前的 provider 分流（判据单源 = PROVIDER.md §6.22）：
+ * · **invalid 类**（`state === "invalid"` ∨ `providerInvalidReason` 非空——核「provider 不完整面」
+ *   快照的合成式）→ 先弹模型选择 picker（复用 openModelPicker，展示当前可用 providers）；
+ *   用户选定后继续正常启动。选择取消（Esc）→ 仍进入 TUI，推送提示行（措辞指渠道 ∕ 密钥——
+ *   绝不因无 provider 拒绝进入）。
+ * · **`fallback`**（无有效 defaultModel 但可运行）→ **不弹 picker**（不打断）+ 提示行明示
+ *   （「尚未设置默认模型：本次使用 `<渠道>[:<模型>]`——…」；`model` 缺省 ⇒ 仅渠道名）。
+ * 返回 true 表示弹过选择流程。
  */
 export async function promptProviderIfInvalid(agent, openModelPicker, pushLine) {
-  if (!(agent._providerInvalid || !agent.provider)) return false
-  await openModelPicker()
-  if (!agent.provider) {
-    // MODEL-MERGE-SESSION 引导 A（F-6）：空槽 + defaultModel 未设 → 提示 /config 默认模型入口
-    // （index.mjs 本行为 D-S2 取消提示扩展——设计文件清单外——随批上报）
-    const hasProviders = (agent.providers?.length ?? 0) > 0
-    pushLine(hasProviders && !agent.config?.defaultModel
-      ? "尚未设置默认模型（config.defaultModel——新会话起点）：/config → 默认模型 设置一次；/model 仅改本会话"
-      : "未配置有效 provider，可用 /model 配置渠道与模型", C.warn)
+  const cfg = agent.config ?? {}
+  // invalid 类（合成式——单源 = PROVIDER.md §6.22）：`state === "invalid"` ∨ `providerInvalidReason`
+  // 非空（核 provider 不完整面快照）；`!agent.provider`（`{}` 已被上游清成 null）同判。
+  // 结构不全（缺 baseURL 等）不在本门——归发送失败面（#840 `provider` 类词）；负向锁 = PROVIDER.md:437。
+  const invalidClass = cfg.providerState === "invalid"
+    || (typeof cfg.providerInvalidReason === "string" && cfg.providerInvalidReason !== "")
+    || !agent.provider
+  if (invalidClass) {
+    await openModelPicker()
+    if (!agent.provider) {
+      // D-S2 取消提示（#841 措辞收正 = 渠道 ∕ 密钥——配置入口 /config）
+      pushLine("未配置有效渠道（渠道 ∥ 密钥缺位）：/config 设置渠道与密钥；/model 仅改本会话", C.warn)
+    }
+    return true
   }
-  return true
+  if (cfg.providerState === "fallback") {
+    const name = agent.provider?.name
+    if (name) {
+      const model = typeof agent.provider.model === "string" && agent.provider.model ? agent.provider.model : null
+      pushLine(`尚未设置默认模型：本次使用 \`${name}${model ? `:${model}` : ""}\`——/config → 默认模型 设置一次；/model 仅改本会话`, C.warn)
+    }
+    return false
+  }
+  return false
 }
 
 /**
@@ -141,10 +158,26 @@ export async function startTUI(agent, opts = {}) {
   })
 
   // 回合面（turn-face.mjs，原址 :366）：submit / interaction（权限 + 提问）/ 图片粘贴 / turnCtx / turn
-  const { submit, turnCtx, askPermission, askQuestion, pasteClipboardImage } = createTurnFace({
+  const { submit, turn, turnCtx, askPermission, askQuestion, pasteClipboardImage } = createTurnFace({
     agent, state, pushLine, pushLabel, render, ensureAssistantLabel, summarize, conversation,
     handleSlash: (t) => handleSlash(t),
   })
+  // timer 空闲自唤醒闩（AGENT-LOOP-ASYNC-POOL.md §6.30.5 载体②）：装配点 = 回合面之后（`turn` 已就绪）；
+  // 触发 ⇒ 到期批送达 + 开 timer 轮（顶层链——`{ autoTurn: true, timerTurn: true }`）；
+  // 开关关（`agent.timerWake` false）⇒ 闩惰性（sync 内判——零注册）。
+  turnCtx.timerWatch = createTimerWatch({
+    agent,
+    // 火面异常兜底（先例 = key-handler `submit().catch(...)`）：无人值守的空闲轮报错不得走
+    // 进程级 `unhandledRejection`（闩已自撤）——落错误行 + 重同步（在途项仍在 ⇒ 链尾/此处再武装）。
+    onFire: () => fireTimerWake(turnCtx, { runTurn: turn }).catch((e) => {
+      pushLine(`[error] ${e?.message ?? e}`, C.error)
+      turnCtx.timerWatch?.sync()
+    }),
+  })
+  // #448①「关闭后补评估」（KD-6）：用户自发模态（picker ∕ wizard）全部退场 ⇒ 闩重武装——模态期被
+  // 抑制的到期件即达（无在途 / 开关关 ⇒ `sync()` 自判零注册——幂等）。两关闭点（picker 栈空 ∕
+  // wizard 退场）同注本回调；抑制本体 = `timer-watch.mjs` `fireTimerWake` 模态门（同谓词 `modalOpen`）。
+  const reevalTimerWake = () => { turnCtx.timerWatch?.sync() }
 
   // ---------------------------------------------------------- Slash Commands
 
@@ -154,12 +187,14 @@ export async function startTUI(agent, opts = {}) {
   // Model picker + generic picker: implemented in pickers.mjs
   const { closePicker, showPicker, popPicker, renderPickerLines, openModelPicker, selectModel, setProviderKey, pickModelForSlot, confirmDelete } = createPickers({
     agent, state, render, ansi, C, pushLine, pushLabel, persistRaw, askQuestion, maskKey,
+    onModalClose: reevalTimerWake, // #448①「关闭后补评估」（picker 栈空点）
   })
 
   // First-launch config wizard: implemented in wizard.mjs, closure deps passed via ctx
   const { startWizard, renderWizard, wizardChooseProvider, wizardSubmitText, cancelWizard, wizardProviderItems } = createWizard({
     agent, state, pushLine, pushLabel, render, persistRaw,
     openModelPicker: () => openModelPicker(),
+    onModalClose: reevalTimerWake, // #448①「关闭后补评估」（wizard 退场点）
   })
 
   // /distill: impl in distill-cmd.mjs, ctx-passed
@@ -201,8 +236,9 @@ export async function startTUI(agent, opts = {}) {
 
   // ---------------------------------------------------------- Startup screen + background indexing
 
-  // SESSION.md §6.8 D-S2：startTUI 首帧前 —— provider 无效（_providerInvalid / provider 为 null）
-  // → 先弹模型选择 picker（keyStream 已挂 keypress，Esc/Enter 可用）；Esc → 提示行，仍进 TUI
+  // SESSION.md §6.8 D-S2：startTUI 首帧前——按核统一态分流（单源 = PROVIDER.md §6.22）：
+  // invalid 类 → 先弹模型选择 picker（keyStream 已挂 keypress，Esc/Enter 可用）；Esc → 提示行，仍进 TUI；
+  // fallback → 不弹 picker + 提示行明示（本次使用 `<渠道>[:<模型>]`）
   await promptProviderIfInvalid(agent, () => openModelPicker(), pushLine)
 
   showStartup({ agent, state, opts, pushLine, pushLabel, render, startWizard })

package/src/tui/interaction.mjs

@@ -63,7 +63,9 @@ export function createInteraction(ctx) {
 
   function askPermission(name, args) {
     // auto mode: fully authorized, no more prompts
-    if (agent.autoApprove) {
+    // TURN-CAP-CONTINUE.md §1 #7 / D-TC15（2026-09-26）：`continue` 不在 AUTO 授权面——续期恒须人答；
+    // 无人值守档（depth-0 digest / AUTO）撞帽即收口（静默自续 = F8 禁止）。
+    if (agent.autoApprove && name !== "continue") {
       const argSummary = summarize(args)
       pushLine(`  [auto] ${name}${argSummary ? ` ${argSummary}` : ""}`, C.warn)
       return Promise.resolve(true)
@@ -80,7 +82,7 @@ export function createInteraction(ctx) {
     })
   }
 
-  /** Batch permission ask (AGENT-LOOP.md §16 D-B1): one merged prompt covering N
+  /** Batch permission ask (D-B1): one merged prompt covering N
    *  non-readonly tools from the same toolCalls array — approve all / one by one /
    *  deny. Verdicts resolve as "approveAll" | "oneByOne" | "deny". */
   const BATCH_PREVIEW_LINES_PER_TOOL = 8

package/src/tui/key-handler-ctrlc.mjs

@@ -33,7 +33,7 @@ export function handleCtrlCFamily(str, key, ctx) {
         state.suspended
       if (hasStopTarget) {
         // 当前回合平 abort（无 interrupt——命中 agent.mjs 回合收尾清池分支——全停）
-        // §20.3 站点 #11（第 24 批）：整批 / 会话级停 = stop（reason 载荷）
+        // AGENT-LOOP-SUBAGENT.md §6.12 站点 #11（第 24 批）：整批 / 会话级停 = stop（reason 载荷）
         if (state.processing && state.controller) state.controller.abort({ abortTrigger: "stop", abortDetail: "session-stop" })
         // 会话 abort 集合 = 链条内全部 controller（含 Ctrl+I/ContinueError 重建的旧
         // controller——children 不逃逸，round1 偏差 #3）。挂起态才标记 _suspAborted +

package/src/tui/key-handler-search.mjs

@@ -1,5 +1,5 @@
 /** Perform search on state.lines, update state.search.matches and clamp index
- *  TUI-OOM-ROOTCAUSE（TUI.md §15.3.1 SEARCH_MATCH_CAP）：匹配计数上限——超限截断 +
+ *  TUI-OOM-ROOTCAUSE（TUI-SESSION-VIEW.md §5.1 SEARCH_MATCH_CAP）：匹配计数上限——超限截断 +
  *  `state.search.capped` 提示标志（渲染面提示行；次要无界面）。
  */
 import { SEARCH_MATCH_CAP } from "./display-budget.mjs"

package/src/tui/key-handler.mjs

@@ -44,7 +44,7 @@ export function createKeyHandler(ctx) {
     // 第 33 批（TUI §14.3(e) 键盘点）：模态分派**之前**——任意按键 = 用户在场 ⇒ 清 attention
     // 位（仅复位呈现态字段，按键语义 / 模态判定 / busy 门禁零改）。
     clearAttention(state, render)
-    // permission confirm: y/n/a (a = approve + AUTO ON); batch (§16 D-B1): a/o/n (Esc = deny)
+    // permission confirm: y/n/a (a = approve + AUTO ON); batch (D-B1): a/o/n (Esc = deny)
     // ——模态实现 key-modes.mjs handlePermissionMode（2026-09-03 D-S4）
     if (handlePermissionMode(str, key, { state, agent, pushLine, render })) return
 

package/src/tui/key-modes.mjs

@@ -34,7 +34,7 @@ export function denyModalForOwner(state, key, { pushLine, render } = {}) {
   return true
 }
 
-/** permission 确认模态：y/n/a（a = approve + AUTO ON）；batch（§16 D-B1）：a/o/n（Esc = deny）。
+/** permission 确认模态：y/n/a（a = approve + AUTO ON）；batch（D-B1）：a/o/n（Esc = deny）。
  *  `continue` / `retry` = y/n-only 族（判据单源 `isYesNoModal`——X8 跟进①：`retry` 框不
  *  广告 `a`，零会话级 AUTO 副作用）。
  *  consume：valid 键或 Esc 走 resolve 分支；其余键静默吞掉（模态独占）。 */

package/src/tui/layout.mjs

@@ -5,10 +5,10 @@
  *
  *   header → conversation → subagent 面板 → todo → picker → permission → input → status
  * Running subagent activity renders in a FIXED bottom panel between the
- * conversation and the todo panel (AGENT-LOOP.md §7.2.1) — full adaptive height
+ * conversation and the todo panel (docs/cli/design/TUI.md §6.8) — full adaptive height
  * (the conversation shrinks); compressed away first on small terminals (to 0 =
  * hidden, data stays in the buffer). Done children are frozen into the
- * conversation stream (§7.2 D4, unchanged). Output panels abolished (§7.2 D6).
+ * conversation stream (unchanged). Output panels abolished.
  * Fixed panels deducted first, conditional panels allocated by priority, remaining space to conversation.
  */
 import { layoutInput, wrapText } from "./render.mjs"
@@ -109,7 +109,7 @@ export function computeLayout(state, { cols, rows }) {
   // Squeeze target: the divider line yields first under small terminals (the
   // task rows themselves never compress away — put() truncates by panel h).
 
-  // Subagent panel (§7.2.1 D1): RUNNING blocks only, between conversation and
+  // Subagent panel (docs/cli/design/TUI.md §6.8 D1): RUNNING blocks only, between conversation and
   // todo. Height = the FULL rendered height of every running block (F2 — fully
   // adaptive, no cap; the conversation shrinks accordingly). Precomputed here
   // via renderSubagentPanel (neutral module, no layout↔render-frame cycle);
@@ -152,7 +152,7 @@ export function computeLayout(state, { cols, rows }) {
   let todoFinalH = taskPanelH
   const overflow = fixedH + convH - rows
   if (overflow > 0) {
-    // 压缩链第 1 级（§7.2.1 NF1/评审 #2 措辞统一）：subagent 面板最先让位——
+    // 压缩链第 1 级（docs/cli/design/TUI.md §6.8 NF1/评审 #2 措辞统一）：subagent 面板最先让位——
     // 可压缩至 0 隐藏（运行中活动仍在缓冲区不丢），输入框/状态栏/会话区不可挤没。
     let afterSub = fixedH
     if (subagentH > 0) {
@@ -212,7 +212,7 @@ export function computeLayout(state, { cols, rows }) {
 }
 
 /**
- * §7.2.1 评审 #4：面板部分压缩（subagentFinalH < subagentLines.length）时 render-frame
+ * docs/cli/design/TUI.md §6.8 评审 #4：面板部分压缩（subagentFinalH < subagentLines.length）时 render-frame
  * 实际显示的行——**保底截断**：分隔线 + 末尾 (h-1) 行（最新启动区块优先；小终端上仍
  * 能看到最新子 agent 活动，旧 slice(0,h) 保留顶部会把最新活动裁掉）。分隔线始终保留
  * （面板边界语义）。h ≥ 全长 → 原样；h = 0 → []（layout 侧 panels.subagent 已为 null，

package/src/tui/lifecycle-records.mjs

@@ -0,0 +1,199 @@
+/**
+ * lifecycle-records.mjs — 消化生命周期面记录承载件（#726 跨端消化面恢复批 —— CLI 承接面）。
+ *
+ * 机制单源 = `docs/core/design/SESSION.md` §6.26（记录形 ∥ 写缝 ∥ 读缝 ∥ 重建义务 ∥ 容差登记）；
+ * CLI 承接细则 = `docs/cli/design/TUI-SESSION-VIEW.md` §6。本档 = 三写点 + 恢复面的**单一实现**：
+ *   ① 记录形构建：`digest` 三型（start ∥ cap ∥ end）∥ `subagent` 快照（meta ∥ rows——rows 保尾 ≤500）；
+ *   ② 痕行文本：digest 记录的可见行文案——live（`digestTurn` ∥ cap 分支）与重建（`historyToLines`）同调；
+ *   ③ 重建：`subagent` 记录 ⇒ `_frozenSubTask` 合成件（渲染端零改消费——折叠头 + tail-3）；
+ *   ④ 终态行回扫：end 记录页内缺席本轮 start ⇒ `store.page` 向更早逐段回读补齐 `n`（跨页零损）。
+ * 写点三处 = `suspension-drive.mjs` `digestTurn` ∥ `agent-turn.mjs` cap 分支 ∥ `subagent-freeze.mjs` `freezeSubTaskLines`。
+ */
+import { t } from "@thincoder/core/i18n.mjs"
+import { RECORD_SEG_MESSAGES } from "@thincoder/core/session-store.mjs"
+import { C } from "./ansi.mjs"
+
+/** rows 保尾上界（显示行——§6.26「有界保尾」：超界弃最旧 ⇒ 前置省略标记行，标记自身不占额度）。 */
+export const RECORD_ROWS_MAX_LINES = 500
+
+/** 写缝载体（`state._agent` ∥ `ctx.agent`——端侧钉定二源，生产同对象；双缺 ⇒ null ⇒ 核口零动作）。 */
+export function recordCarrier(state, agent) {
+  return state?._agent ?? agent ?? null
+}
+
+// ─── ① 记录形构建（写点三处）─────────────────────────────────────────────
+
+/** digest 起跑记录（起跑两行同点）：`n` = 起跑待消化数（可 0）；`tier` 两档；ask 档携 `from`/`msg`。 */
+export function digestStartRecord({ n, upstream, ask }) {
+  return { kind: "digest", status: "start", n, tier: upstream ? "ask" : "digest", ...(ask ?? {}) }
+}
+
+/** digest 撞帽记录（cap 行同点；CLI 现无 auto 档产者——读取面按契约前向兼容）。 */
+export function digestCapRecord(turns) {
+  return { kind: "digest", status: "cap", mode: "stop", turns }
+}
+
+/** digest 收尾记录（终态行同点）：`ok` ∥ `ms`（行文案 `seconds` 由同一 `ms` 派生——同值单算式）。 */
+export function digestEndRecord({ ok, ms }) {
+  return { kind: "digest", status: "end", ok, ms }
+}
+
+/** subagent 归档快照记录（冻结载体行插入同点）：meta = 冻结时点块头事实（含 `pool`/`queued?`——§6.26）
+ *  ∥ rows = 块内容行集（保尾 ≤500）。#790：`key` 写面归一 = 规范形 `sub:<role>#<id>`。 */
+export function subagentRecord(sub) {
+  const localKey = String(sub.key ?? "")
+  const meta = {
+    key: localKey.startsWith("sub:") ? localKey : `sub:${localKey}`,
+    role: sub.role ?? null,
+    model: sub.model ?? null,
+    startedAt: sub.started ?? null,
+    doneAt: sub.doneAt ?? null,
+    turn: sub.turn ?? null,
+    maxTurns: sub.maxTurns ?? null,
+    status: sub.stopped ? "stopped" : sub.lastError ? "error" : "done",
+  }
+  if (sub.queued) meta.queued = true // 排队（未启动）⇒ 重建面 waiting 标注（`pool` 不写——未知）
+  else meta.pool = sub.async === true // 非排队显式两写（VSC 头段在场性判据 = `pool != null`——缺省会藏段）
+  if (sub.lastError) meta.error = sub.lastError // §6.26 meta `error?`（块头事实——重建面还原冻结头 errPart）
+  return { kind: "subagent", meta, rows: boundRows(rowsOf(sub)).map(({ kind, text }) => ({ kind, text })) }
+}
+
+/** 块内容行集（条目形 `{kind,text}` 同备；trim 标记随行——保尾裁量时不占额度）。 */
+function rowsOf(sub) {
+  const out = []
+  for (const b of sub.blocks ?? []) {
+    if (!b || typeof b.text !== "string") continue
+    const row = { kind: typeof b.kind === "string" ? b.kind : "text", text: b.text }
+    if (b._trimMarker === true) row._trimMarker = true
+    out.push(row)
+  }
+  return out
+}
+
+/** 行显示行数（核 `countBlockLines` 同式：按 `\n` 切分、文末换行不计）。 */
+function rowLines(row) {
+  const lines = String(row?.text ?? "").split("\n")
+  return lines[lines.length - 1] === "" ? lines.length - 1 : lines.length
+}
+
+/** rows 保尾上界（§6.26「有界保尾」）：超界弃最旧 ⇒ 前置省略标记行（`N` = 实弃显示行数、
+ *  标记自身不占额度）；单行超界保末行（行 = 最小单元，不切行中——桌面归档先例同式）。 */
+function boundRows(rows) {
+  const list = Array.isArray(rows) ? rows : []
+  const isMarker = (r) => r?._trimMarker === true
+  const cost = (r) => (isMarker(r) ? 0 : rowLines(r))
+  let total = 0
+  let start = list.length
+  for (let i = list.length - 1; i >= 0; i -= 1) {
+    const n = cost(list[i])
+    if (total + n > RECORD_ROWS_MAX_LINES) break
+    total += n
+    start = i
+  }
+  if (start === list.length && list.length > 0) start = list.length - 1 // 单行超界：保末行（保尾）
+  const kept = [...list.slice(0, start).filter(isMarker), ...list.slice(start)]
+  if (kept.length === list.length) return list // 未超界：原引用（零写）
+  let dropped = 0
+  for (let i = 0; i < start; i += 1) dropped += cost(list[i])
+  return [{ kind: "meta", text: `… [rows truncated: ${dropped} lines omitted]` }, ...kept]
+}
+
+// ─── ② 痕行文本（live ∥ 重建同调——单一实现零副本）─────────────────────────
+
+/** digest 记录 ⇒ 痕行（文案与活流同算式）。`startN` = end 行的本轮起跑数（调用面解析——
+ *  页内直用 ∥ 存储回扫）；缺省 / 非正数 / `ms` 非数 ⇒ 零行（活流同门 `pend0 > 0`）。 */
+export function digestTraceLines(rec, startN = null) {
+  if (rec?.kind !== "digest") return []
+  if (rec.status === "start") {
+    const ask = rec.tier === "ask" && rec.from !== undefined ? { from: rec.from, msg: rec.msg } : null
+    const lines = [{ text: ask ? t("digest.turnLabelAsk", ask) : t("digest.turnLabel"), color: C.dim }]
+    if (rec.n > 0) lines.push({ text: t("digest.start", { n: rec.n }), color: C.dim })
+    return lines
+  }
+  if (rec.status === "cap") return [{ text: t("digest.capStop", { turns: rec.turns }), color: C.warn }]
+  if (rec.status === "end") {
+    if (!Number.isFinite(startN) || startN <= 0 || !Number.isFinite(rec.ms)) return []
+    const seconds = (rec.ms / 1000).toFixed(1) // 与记录 `ms` 同值单算式
+    return [{ text: t(rec.ok === false ? "digest.aborted" : "digest.done", { n: startN, seconds }), color: C.dim }]
+  }
+  return []
+}
+
+// ─── ③ 重建（读面）：subagent 记录 ⇒ 合成件 ────────────────────────────────
+
+/** subagent 记录 ⇒ `_frozenSubTask` 合成件（重建面；渲染端零改消费——折叠头 + tail-3 原式）。
+ *  meta 块头事实逐项回填（渲染端读面：started→elapsed ∥ turn/maxTurns ∥ stopped ∥ error→errPart）；
+ *  #790：`pool`/`queued` ⇒ CLI 本地两事实（`async`/`queued`）∥ `key` 剥 `sub:` 前缀（显示 = 本地无前缀形）。 */
+export function synthSubTask(rec) {
+  const meta = rec?.meta ?? {}
+  const rows = Array.isArray(rec?.rows) ? rec.rows : []
+  const blocks = rows.map((r) => ({ kind: typeof r?.kind === "string" ? r.kind : "text", text: String(r?.text ?? "") }))
+  const doneAt = Number.isFinite(meta.doneAt) ? meta.doneAt : null
+  const started = Number.isFinite(meta.startedAt) ? meta.startedAt : (doneAt ?? 0)
+  return {
+    key: String(meta.key ?? "").replace(/^sub:/, ""), // #790：读面容旧形——剥离判别（折叠键 ∥ 显示 = 本地无前缀形）
+    role: meta.role ?? null,
+    model: meta.model ?? null,
+    started,
+    done: true,
+    doneAt: doneAt ?? started,
+    turn: meta.turn ?? null,
+    maxTurns: meta.maxTurns ?? null,
+    async: meta.pool === true, // #790：记录 `pool` ⇒ 折叠头模式词（§6.26 命名映射：记录 pool ⇄ 本地 async）
+    queued: meta.queued === true, // #790：排队冻结 ⇒ 折叠头 waiting 标注
+    // #795 残项批：停止面词集扩三词（stopped ∥ cancelled ∥ terminated——词面判据单源 = §6.26；VSC/桌面写 cancelled）。
+    stopped: meta.status === "stopped" || meta.status === "cancelled"
+      || meta.status === "terminated",
+    lastError: typeof meta.error === "string" ? meta.error : null,
+    blocks,
+    _charCount: blocks.reduce((n, b) => n + b.text.length, 0), // 行集字符和（§5.4 账实一致——恢复直算同源）
+  }
+}
+
+// ─── ④ 终态行回扫（重建面：跨页分裂 ⇒ 存储逐段回读）─────────────────────────
+
+/** 页内（含 ±1 页沿）本轮 start 直用：自 `idx` 向前命中最近 digest start ⇒ 其 `n`（无 ⇒ null）。 */
+function pageStartN(records, idx) {
+  for (let j = idx - 1; j >= 0; j -= 1) {
+    const r = records[j]
+    if (r?.kind === "digest" && r.status === "start") return typeof r.n === "number" ? r.n : null
+  }
+  return null
+}
+
+/** end 记录本轮 start 的 `n`（重建面解析序 = 预解析注记 `_startN`（跨页回扫产物）→ 页内回扫）。 */
+export function resolvedStartN(records, idx) {
+  const m = records?.[idx]
+  if (m?._startN !== undefined) return m._startN
+  return pageStartN(records, idx)
+}
+
+/** 存储回扫：`store.page` 向更早逐段回读，至命中本轮 start 止（跨页零损——容差①于 CLI 不成立）。 */
+export function scanStoreForStartN(store, endIdx) {
+  if (!store?.page || !Number.isFinite(endIdx) || endIdx <= 0) return null
+  let hi = Math.floor(endIdx)
+  while (hi > 0) {
+    const lo = Math.max(0, hi - RECORD_SEG_MESSAGES)
+    let messages = []
+    try { messages = store.page(lo, hi, { margin: 0 })?.messages ?? [] } catch { return null }
+    for (let k = messages.length - 1; k >= 0; k -= 1) {
+      const r = messages[k]
+      if (r?.kind === "digest" && r.status === "start") return typeof r.n === "number" ? r.n : null
+    }
+    hi = lo
+  }
+  return null
+}
+
+/** 预解析（调用面 = `restoreLines` ∥ `createLoadOlder`——持有存储读口）：页内（含 ±1 页沿）缺席
+ *  本轮 start 的 end ⇒ 回扫 `n` 并注记 `_startN`（重建注记——不动存储形）。 */
+export function resolveSplitTerminalNs(records, base, store) {
+  if (!Array.isArray(records) || !store?.page || !Number.isFinite(base)) return
+  for (let k = 0; k < records.length; k += 1) {
+    const m = records[k]
+    if (m?.kind !== "digest" || m.status !== "end" || m._startN !== undefined) continue
+    if (pageStartN(records, k) !== null) continue // 页内直用——零回扫
+    const n = scanStoreForStartN(store, base + k)
+    if (n !== null) m._startN = n
+  }
+}