thincoder 0.12.61 → 0.12.63

package/src/tui/startup.mjs

@@ -1,8 +1,11 @@
-import { listSlots } from "../session.mjs"
+import { listSlots } from "@thincoder/core/session.mjs"
 import { ansi, C } from "./ansi.mjs"
 import { describeToolArgs, toolArgsLines } from "./tool-args.mjs"
 import { slimToolResultForDisplay } from "./tool-events.mjs"
 import { countConvLines } from "./render-conversation.mjs"
+// TUI-OOM-ROOTCAUSE（TUI-SESSION-VIEW.md §5.3/§5.4）：恢复/翻页行过额度 + state.lines 总量对账。
+import { capLine, accountLine, accountAll, releaseLine, syncLineBudget } from "./display-budget.mjs"
+import { shiftFreezeAnchors } from "./subagent-blocks.mjs"
 
 /** Lazy history window (parity with VS Code HISTORY_PAGE_SIZE): first paint loads
  *  the latest INITIAL_HISTORY_MESSAGES, then PgUp-at-top loads HISTORY_PAGE_MESSAGES
@@ -115,24 +118,34 @@ export function historyToLines(history, startIdx, endIdx) {
  * INITIAL_HISTORY_MESSAGES, set the _history* counters the loadOlder closure
  * reads, and prepend the "… N more earlier messages" placeholder. Shared by
  * startup restore and /session switching (the display snapshot is deprecated).
+ * TUI-OOM-ROOTCAUSE（SESSION.md §6.14）：desc = `{ history, total, base? }`——
+ * history = 尾窗（≤200，含 ±1 页沿头一条——跨页回标判定用；不渲染）、total = 绝对总条数
+ * （「N messages」标签口径）、base = history[0] 的绝对序号（缺省由 total − len 推导）。
  */
-export function restoreLines(state, history) {
-  const total = Array.isArray(history) ? history.length : 0
-  if (total === 0) return
-  const start = Math.max(0, total - INITIAL_HISTORY_MESSAGES)
+export function restoreLines(state, desc) {
+  const window = Array.isArray(desc?.history) ? desc.history : (Array.isArray(desc) ? desc : [])
+  const total = Number.isFinite(desc?.total) ? desc.total : window.length
+  if (window.length === 0 || total === 0) return
+  const base = Number.isFinite(desc?.base) ? desc.base : Math.max(0, total - window.length)
+  // 已载入量 = 渲染窗口大小（±1 页沿头一条不计数），绝对起点 = total − loaded
+  const loaded = Math.min(INITIAL_HISTORY_MESSAGES, total)
+  const start = total - loaded
   state._lineIdCounter = state._lineIdCounter ?? 0
-  const fresh = historyToLines(history, start, total)
+  const fresh = historyToLines(window, Math.max(0, start - base), window.length)
+  for (const l of fresh) l.text = capLine(l.text) // 行额度（§5.3 恢复行过 capText）
   // Stable per-line ids (P1, 2026-08-30): fold keys for tool blocks derive from
   // _lineId so loadOlder's head-unshift cannot re-bind an expanded block to a
   // different tool (positional tool-{i} keys drift under unshift).
   for (const l of fresh) l._lineId = ++state._lineIdCounter
   state.lines.push(...fresh)
-  state._historyLoaded = total - start
+  state._historyLoaded = loaded
   state._historyTotal = total
   state._hasOlder = start > 0
   if (state._hasOlder) {
     state.lines.unshift({ text: `… ${start} more earlier messages (PgUp at top to load)`, color: C.dim })
   }
+  accountAll(state) // 行集重建 → 总量直算重对账（§5.4）
+  syncLineBudget(state, { onTrim: (st, n) => shiftFreezeAnchors(st, n) })
 }
 /** 懒加载更早历史（2026-08-31 用户约定："滚动到头自动加载"——滚轮/PgUp 到顶皆触发；
  *  2026-08-31 前只挂 PgUp 键 = 违约，滚轮到头无反应）。加载后滚动补偿保持锚定。
@@ -142,26 +155,43 @@ export function restoreLines(state, history) {
 export function createLoadOlder({ agent, state, render }) {
   return () => {
     if (!state._hasOlder) return
-    const full = agent._fullHistory ?? []
+    // 翻页锚 = 恢复时点 total（state._historyTotal）——活消息增长不再使页码漂移
+    // （§6.14 事实 4 顺带修复）。
+    const total = state._historyTotal ?? 0
     const loaded = state._historyLoaded
-    const start = Math.max(0, full.length - loaded - HISTORY_PAGE_MESSAGES)
-    const end = full.length - loaded
+    const start = Math.max(0, total - loaded - HISTORY_PAGE_MESSAGES)
+    const end = total - loaded
     if (start >= end) return
 
     const d = state.dims ? state.dims.get() : {}
     const cols = d.cols ?? ((state.dims?.get() ?? {}).cols ?? (process.stdout.columns || 80))
     const before = countConvLines(state, cols, d.rows ?? (process.stdout.rows || 24))
 
-    if (state.lines[0]?.text?.startsWith("… ")) state.lines.shift()
+    if (state.lines[0]?.text?.startsWith("… ")) releaseLine(state, state.lines.shift()) // 移除必出账（§5.5 记账口径——releaseLine 同额负向）
     state._lineIdCounter = state._lineIdCounter ?? 0
-    const older = historyToLines(full, start, end)
+    // 页源（§6.14）：绑定态 → store.page 绝对区间 + ±1 页沿（页前一消息供跨页回合
+    // 标签判定、页后一消息供 tool_result 配对）；未绑定（模式 F）→ 内存全量数组回退。
+    const store = agent._recordStore
+    let older
+    if (store?.page) {
+      const { messages, base } = store.page(start, end, { margin: 1 })
+      older = historyToLines(messages, Math.max(0, start - base), Math.min(messages.length, end - base))
+    } else {
+      older = historyToLines(agent._fullHistory ?? [], start, end)
+    }
+    for (const l of older) l.text = capLine(l.text) // 行额度（§5.3 翻页行过 capText）
     for (const l of older) l._lineId = ++state._lineIdCounter
     state.lines.unshift(...older)
+    for (const l of older) accountLine(state, l)
     state._historyLoaded += end - start
     state._hasOlder = start > 0
     if (state._hasOlder) {
-      state.lines.unshift({ text: `… ${start} more earlier messages (scroll to top to load)`, color: C.dim })
+      const ph = { text: `… ${start} more earlier messages (scroll to top to load)`, color: C.dim }
+      state.lines.unshift(ph)
+      accountLine(state, ph)
     }
+    // 页内不裁头（保锚定）——§5.3：总量的裁头由 syncLineBudget 兜（此处只对账字符预算）
+    syncLineBudget(state, { onTrim: (st, n) => shiftFreezeAnchors(st, n) })
 
     const after = countConvLines(state, cols, (state.dims?.get() ?? {}).rows ?? (process.stdout.rows || 24))
     state.scroll += Math.max(0, after - before)
@@ -176,7 +206,7 @@ export function showStartup(ctx) {
   const { agent, state, opts, pushLine, pushLabel, render, startWizard } = ctx
 
   // Startup screen
-  // 2026-09-02 Q1（SESSION.md §8 D-S2）：provider 可为 null（无效 provider 被清空后用户 Esc 取消重选）
+  // 2026-09-02 Q1（SESSION.md §6.8 D-S2）：provider 可为 null（无效 provider 被清空后用户 Esc 取消重选）
   // —— 可选链守卫；`!apiKey` 触发既有 wizard（其 provider 菜单列出已存在 providers，可选中恢复，F3）
   if (!agent.provider?.apiKey) {
     pushLabel(`Welcome to ThinCoder!`, ansi.bold + C.tool)
@@ -194,8 +224,10 @@ export function showStartup(ctx) {
   // Recover previous session: rebuild from history (lazy — display snapshot is
   // deprecated; it drifted out of sync with history on VS Code writes).
   if (opts.restored?.history?.length) {
-    restoreLines(state, opts.restored.history)
-    pushLabel(`── Restored previous session (${opts.restored.history.length} messages); /new for a fresh session ──`, C.warn)
+    restoreLines(state, opts.restored)
+    // 「N messages」标签口径 = total（§6.14——非窗口长度）
+    const total = Number.isFinite(opts.restored.total) ? opts.restored.total : opts.restored.history.length
+    pushLabel(`── Restored previous session (${total} messages); /new for a fresh session ──`, C.warn)
   }
 
   // Hint when multiple sessions exist
@@ -210,7 +242,7 @@ export function showStartup(ctx) {
  *   Prefers git diff incremental (fast); falls back to full scan when git is unavailable or on first run. */
 export async function backgroundIndex(ctx) {
   const { agent, state, render } = ctx
-  const { codeSync, docSync, gitSync } = await import("../memory.mjs")
+  const { codeSync, docSync, gitSync } = await import("@thincoder/core/memory.mjs")
   const cwd = agent.cwd
   let codeFiles = 0, docFiles = 0
 

package/src/tui/subagent-blocks.mjs

@@ -17,7 +17,9 @@
 import { C } from "./ansi.mjs"
 // 第 27 批 §12.3①/②：relay 前缀文法单一权威 = src/agent/relay-prefix.mjs——本文件
 // 不再自持前缀正则/解析副本（防第二套平行正则再漂移）。
-import { parseRelayPath } from "../agent/relay-prefix.mjs"
+import { parseRelayPath } from "@thincoder/core/agent/relay-prefix.mjs"
+// zero-block 批（TUI.md §6.8.3.2 P1）：墓碑存活闸复活分支留痕——日志面（零新增 UI 形态）。
+import { logEvent } from "@thincoder/core/log.mjs"
 import { describeToolArgs } from "./tool-args.mjs"
 import {
   appendSubBlock, descendSubChild,
@@ -28,7 +30,7 @@ export { SUB_BLOCK_LINE_LIMIT, appendSubBlock } from "./subagent-children.mjs"
 // routeSub*/compression panel 内部用本地 import；re-export 保外部 import 面（index.mjs 等）
 // CLI-ACTIVITY-DEBLOAT F-3（2026-09-10）：面板手工镜像退役——re-export 面换现算导出
 // computePanelBlocks（读时现算），本文件全部刷镜调用点删除（单账本——变更点不再手动同步）。
-import { freezeSubTaskLines, finishSubTaskKey, finishSubTask, freezeDoneSubTasks, finishSubTasksByRole, freezeAllSubTasks, freezeReclaimDigestedBlocks, shiftFreezeAnchors } from "./subagent-freeze.mjs"
+import { freezeSubTaskLines, finishSubTaskKey, finishSubTask, freezeDoneSubTasks, finishSubTasksByRole, freezeAllSubTasks, freezeReclaimDigestedBlocks, shiftFreezeAnchors, livePoolHas, removeFrozenSubTaskLine, tombstoneSubKey } from "./subagent-freeze.mjs"
 export { computePanelBlocks, finishSubTask, finishSubTaskKey, freezeSubTaskLines, shiftFreezeAnchors, freezeDoneSubTasks, finishSubTasksByRole, freezeAllSubTasks, freezeReclaimDigestedBlocks } from "./subagent-freeze.mjs"
 
 // 前缀文法/解析已迁 src/agent/relay-prefix.mjs（第 27 批 §12.3②）——本文件不自持副本。
@@ -80,13 +82,25 @@ export function throttleSubRender(scheduleRender) {
 export function ensureSubTaskKey(state, key, role) {
   // Tombstone guard：abort 子代理冻结后晚到 token 不得复活区块（2026-08-30 残项）
   state._frozenSubKeys ??= new Set()
-  if (state._frozenSubKeys.has(key)) return null
+  if (state._frozenSubKeys.has(key)) {
+    // 墓碑存活闸 P0-a（§6.8.3.2——zero-block 批）：**墓碑只能断言「此块已终」，不得对
+    // 「仍在池中存活」的条目生效**——存活判据（逐字）见 livePoolHas（条目在池 ∧
+    // done !== true ∧ cancelled !== true）。存活 ⇒ ① 摘墓碑；② 摘旧冻结载体行
+    // （免一 key 两载体——折叠键共用）；③ 照常建块（model / async 由后续 token 重填）
+    // + 留痕（**每次复活记一条（无去重状态）**）。不存活（池外 / done / cancelled
+    // ——含 done-in-pool）⇒ 维持丢弃（迟到 chunk 正常高频面——不留痕，D-ZB5）。
+    if (!livePoolHas(state, key)) return null
+    state._frozenSubKeys.delete(key)
+    removeFrozenSubTaskLine(state, key)
+    logEvent("ev:subagent-block-revived", { id: key })
+  }
   state.subTasks ??= {}
   if (!state.subTasks[key]) {
     state.subTasks[key] = {
       key, role, model: undefined, started: Date.now(), done: false, doneAt: null,
       blocks: [], currentTool: null, toolArgs: null, turn: 0, maxTurns: 0, approval: null,
       lastError: null, dropped: 0,
+      _lineCount: 0, _charCount: 0, // 双维记账（TUI.md §15.3.4——行数维 + 字符维，subagent-children.mjs）
       stopped: false, // §19.5: ⟦ev⟧stopped 冻结标记（标题 "stopped"）
       children: [], // SUBAGENT-TAIL: 嵌套子代理守护载体（内容并入本块——subagent-children.mjs）
     }
@@ -172,6 +186,10 @@ export function routeSubToken(state, t, scheduleRender) {
     const live = state.subTasks?.[path.head]
     if (live && !live.done && live.async !== true) {
       delete state.subTasks[path.head]
+      // c2（af 批——§6.8.2「已移除块不复建」）：**与移除同一守卫**（命中移除才写）落键级墓碑
+      // ⇒ 后续 ⟦ev⟧stopped 经 ensureSubTaskKey 直接丢弃（零幻影冻结块——探针实证的
+      // state.lines 0 → 1 路径封死）；no-block 面不写（无可防之幻影——语义零扩）。
+      tombstoneSubKey(state, path.head)
     }
     scheduleRender()
     return true

package/src/tui/subagent-children.mjs

@@ -15,9 +15,26 @@
  * trim = 单载体最旧先行（原树级 trim「子块先丢 / done 豁免」随子块内容层退役）。
  * 省略计数真值（N6——D-ST5）：`…（已省略 N 行）` 的 N 只随内容移除增长；标记自身
  * 不占额度、不被丢弃、不计入 N。
+ *
+ * TUI-OOM-ROOTCAUSE（TUI.md §15.1 事实 3 / §15.3.3）：原环按 `\n` 计数——无换行巨 chunk
+ * 净增 0 行 → 环永不触发、文本无界。本模块加**字符维**（第二维——行数维逐字不动，D-TB5）：
+ * `carrier._charCount` 与 `SUB_BLOCK_CHAR_LIMIT` 双维同时满足（先到先裁）；字符维裁剪
+ * 按被裁文本行数折算 N（无幽灵计数——N6）。
  */
+import { SUB_BLOCK_CHAR_LIMIT, MIDDLE_TRUNC_MARKER, capText } from "./display-budget.mjs"
+
 export const SUB_BLOCK_LINE_LIMIT = 500
 
+/** 单块自身额度（TUI-OOM-ROOTCAUSE §15.1 事实 3：无换行巨 chunk —— 行数维净增 0、
+ *  环永不触发；入块文本先过本条（头 3/4 + 尾 1/4 + 中段标记）——单行内容不因字符维
+ *  裁剪被整行丢光（环总量裁剪仍按最旧先行）。 */
+const SUB_BLOCK_CAP_OPTS = {
+  max: SUB_BLOCK_CHAR_LIMIT,
+  keepHead: 90_000,
+  keepTail: 30_000,
+  marker: MIDDLE_TRUNC_MARKER,
+}
+
 /** 显示行计数（N6 口径）：块尾 `\n` 的空元素不计（行结束符非空行）。 */
 const countBlockLines = (text) => {
   const lines = String(text ?? "").split("\n")
@@ -27,11 +44,42 @@ const countBlockLines = (text) => {
 /** 省略标记块判定（trim 产物——不占额度/不可被丢；N6）。 */
 const isTrimMarker = (b) => b?.kind === "meta" && b._trimMarker === true
 
+/** 省略标记幂等更新（不占额度/不计入字符账——N6）。 */
+function updateTrimMarker(carrier) {
+  const marker = `…（已省略 ${carrier.dropped} 行）`
+  const head = carrier.blocks[0]
+  if (head && isTrimMarker(head)) head.text = marker // 既有标记原位更新（不重复 unshift）
+  else carrier.blocks.unshift({ kind: "meta", text: marker, _trimMarker: true })
+}
+
+/** 单行丢弃（最旧内容块首行——字符维/行维共用）：返回释放字符数（行级元数据同步）。 */
+function dropFirstContentLine(carrier) {
+  for (;;) {
+    const idx = carrier.blocks.findIndex((b) => !isTrimMarker(b))
+    if (idx === -1) return 0 // 仅余省略标记（内容耗尽）——不再产生幽灵行
+    const first = carrier.blocks[idx]
+    const before = countBlockLines(first.text)
+    if (before <= 0) { carrier.blocks.splice(idx, 1); continue }
+    const parts = String(first.text).split("\n")
+    const droppedLine = parts.shift() ?? ""
+    const kept = parts.join("\n")
+    if (kept === "") carrier.blocks.splice(idx, 1)
+    else first.text = kept
+    const lineDelta = before - (kept === "" ? 0 : countBlockLines(kept))
+    carrier._lineCount = Math.max(0, (carrier._lineCount ?? 0) - lineDelta)
+    carrier.dropped = (carrier.dropped ?? 0) + lineDelta
+    // 释放字符数 = 本行正文 + 行分隔符（parts.join("\n") 同步移除——代码评审 #6：少记 1
+    // 字符会使 _charCount 偏高、触发早裁）
+    return droppedLine.length + (kept === "" ? 0 : 1)
+  }
+}
+
 /** 载体级丢行（D-ST4 单环最旧先行）：从头部内容块 FIFO 丢行；省略标记跳过（不占额度/
- *  不被丢弃/不计入 N——N6）。返回实际丢弃行数（= N 增量——无幽灵行）。 */
+ *  不被丢弃/不计入 N——N6）。返回实际丢弃行数（= N 增量——无幽灵行）。字符账同步扣减。 */
 function dropCarrierLines(carrier, want) {
   if (want <= 0) return 0
   let dropped = 0
+  let freedChars = 0
   while (want > dropped) {
     const idx = carrier.blocks.findIndex((b) => !isTrimMarker(b))
     if (idx === -1) break // 仅余省略标记（内容耗尽）——不再产生幽灵行
@@ -42,39 +90,63 @@ function dropCarrierLines(carrier, want) {
     if (take >= lines) {
       carrier.blocks.splice(idx, 1)
       dropped += lines
+      freedChars += String(first.text).length
     } else {
-      first.text = first.text.split("\n").slice(take).join("\n")
+      const kept = String(first.text).split("\n").slice(take).join("\n")
+      freedChars += String(first.text).length - kept.length
+      first.text = kept
       dropped += take
     }
   }
   carrier._lineCount = Math.max(0, (carrier._lineCount ?? 0) - dropped)
   carrier.dropped = (carrier.dropped ?? 0) + dropped
-  if (dropped > 0) {
-    const marker = `…（已省略 ${carrier.dropped} 行）`
-    const head = carrier.blocks[0]
-    if (head && isTrimMarker(head)) head.text = marker // 既有标记原位更新（不重复 unshift）
-    else carrier.blocks.unshift({ kind: "meta", text: marker, _trimMarker: true }) // 标记不占额度（N6）
-  }
+  carrier._charCount = Math.max(0, (carrier._charCount ?? 0) - freedChars)
+  if (dropped > 0) updateTrimMarker(carrier)
   return dropped
 }
 
-/** 单载体 trim（原树级 trimSubTree 收窄——D-ST4）：超 500 显示行 → 最旧先行丢行。 */
+/** 字符维裁剪（§15.3.3——无换行巨 chunk 的堵口）：逐行丢最旧直至释放 ≥ want 字符；
+ *  行数按实际被丢行折算 N（无幽灵计数——N6）；标记不占额度。返回释放字符数。 */
+function dropCarrierChars(carrier, want) {
+  if (!(want > 0)) return 0
+  let freed = 0
+  while (freed < want) {
+    const got = dropFirstContentLine(carrier)
+    if (got <= 0) break // 内容耗尽（不再产生幽灵行）
+    freed += got
+  }
+  if (freed > 0) {
+    carrier._charCount = Math.max(0, (carrier._charCount ?? 0) - freed)
+    updateTrimMarker(carrier)
+  }
+  return freed
+}
+
+/** 单载体 trim（原树级 trimSubTree 收窄——D-ST4）：超 500 显示行 → 最旧先行丢行；
+ *  超 SUB_BLOCK_CHAR_LIMIT 字符 → 同款最旧先行（双维先到先裁——TUI.md §15.3.4）。 */
 function trimSubCarrier(carrier) {
   const over = (carrier._lineCount ?? 0) - SUB_BLOCK_LINE_LIMIT
   if (over > 0) dropCarrierLines(carrier, over)
+  const overChars = (carrier._charCount ?? 0) - SUB_BLOCK_CHAR_LIMIT
+  if (overChars > 0) dropCarrierChars(carrier, overChars)
 }
 
-/** kind 合并追加（载体级）——净增行记账（显示行口径；省略标记不参与合并——N6）。 */
+/** kind 合并追加（载体级）——净增行记账（显示行口径；省略标记不参与合并——N6）；
+ *  字符账同步累加（第二维——§15.3.4）。 */
 function pushBlock(carrier, kind, text, fresh) {
   if (!text) return
+  const capped = capText(text, SUB_BLOCK_CAP_OPTS) // 单块自身额度（无换行巨 chunk 堵口）
   const last = carrier.blocks.at(-1)
   if (!fresh && last && last.kind === kind && !isTrimMarker(last)) {
     const before = countBlockLines(last.text)
-    last.text += text
+    const beforeChars = last.text.length
+    last.text = capText(last.text + capped, SUB_BLOCK_CAP_OPTS)
     carrier._lineCount = (carrier._lineCount ?? 0) + countBlockLines(last.text) - before
+    carrier._charCount = (carrier._charCount ?? 0) + (last.text.length - beforeChars)
   } else {
-    carrier.blocks.push({ kind, text })
-    carrier._lineCount = (carrier._lineCount ?? 0) + countBlockLines(text)
+    carrier.blocks.push({ kind, text: capped })
+    carrier._lineCount = (carrier._lineCount ?? 0) + countBlockLines(capped)
+    carrier._charCount = (carrier._charCount ?? 0) + capped.length
   }
   carrier.blockEpoch = (carrier.blockEpoch ?? 0) + 1
 }
@@ -102,7 +174,7 @@ export function ensureSubChild(carrier, seg) {
       started: Date.now(), done: false, doneAt: null, stopped: false,
       blocks: [], currentTool: null, toolArgs: null,
       approval: null, lastError: null, dropped: 0,
-      blockEpoch: 0, children: [], _lineCount: 0,
+      blockEpoch: 0, children: [], _lineCount: 0, _charCount: 0,
     }
     carrier.children.push(c)
   }

package/src/tui/subagent-freeze.mjs

@@ -12,6 +12,9 @@
 
 import { C } from "./ansi.mjs"
 import { closeOpenSubChildren } from "./subagent-children.mjs"
+// TUI-OOM-ROOTCAUSE（TUI.md §15.3.3 落点表末行）：state.lines 总量账——splice 插入路径过账。
+// zero-block 批（§6.8.3.2）：摘除路径负向出账——releaseLine（增删均须过账）。
+import { accountLine, releaseLine } from "./display-budget.mjs"
 
 // ─── §19.6 D-P1 面板视图（subagent panel 检查工具）───
 // CLI-ACTIVITY-DEBLOAT F-3：面板区块列表由消费面**读时现算**（action:"panel" 经
@@ -84,9 +87,22 @@ export function freezeSubTaskLines(state, sub) {
   sub.done = true
   sub.doneAt = sub.doneAt ?? Date.now()
   const anchor = sub._freezeAt ?? state.lines.length
-  state.lines.splice(Math.min(anchor, state.lines.length), 0, {
+  const line = {
     text: `subagent activity: ${sub.key}`, color: C.dim, _frozenSubTask: sub,
-  })
+  }
+  state.lines.splice(Math.min(anchor, state.lines.length), 0, line)
+  // TUI-OOM-ROOTCAUSE（TUI.md §15.3.3 落点表末行「冻结子代理 splice 插入——经
+  // syncLineBudget 同款对账」）：冻结行进 state.lines 总量账（splice 插入路径）。
+  accountLine(state, line)
+}
+
+/** 键级墓碑（af 批 c2——§6.8.3.3 墓碑写入单点同址）：key 计入 `_frozenSubKeys` ⇒ 后续 token
+ *  经 `ensureSubTaskKey` 墓碑守卫直接丢弃（`⟦ev⟧cancelled` 移除块后的幻影冻结块路径封死）；
+ *  只写键集、不写载体行；存活条目复活 ⇒ 闸门摘墓碑 + 重建块（不永久失明）。 */
+export function tombstoneSubKey(state, key) {
+  if (!state) return
+  state._frozenSubKeys ??= new Set()
+  state._frozenSubKeys.add(String(key))
 }
 
 /** 头裁锚点校正（index.mjs pushLine 调用）：裁 removedCount 补 1 标记行 = 净位移
@@ -98,6 +114,62 @@ export function shiftFreezeAnchors(state, removedCount) {
   }
 }
 
+// ─── 墓碑存活闸（zero-block 批——docs/cli/design/TUI.md §6.8.3）─────────────────
+
+/** 存活查询（P0-a/P0-b 共用单点——与墓碑写点 `freezeSubTaskLines` 同址：墓碑条件 /
+ *  墓碑写入 / 载体行增删单一权威）。key 形 = `role#id`（`_frozenSubKeys` / `subTasks`
+ *  同命名空间）；**存活判据（逐字 = §6.8.3.3）**：**条目在池 ∧ `entry.done !== true` ∧
+ *  `entry.cancelled !== true`（running/queued）**（判据先例 = `thincoder-core/agent-tools/async-discard.mjs:55`
+ *  ——零新谓词；仅「键在池内」会把 done-in-pool 误判为存活）。
+ *  映射（写死 = §6.8.3.3）：最后 `#` 切分 → role + id；命中 = `pool.has(String(id))` ∧
+ *  `entry.role === role`；非池键（`compress#N` 等）恒 false（维持既有丢弃语义）。
+ *  降级（§6.8.3.2 末）：`state._agent` 缺省（headless / 子代理内 / 夹具）⇒ 无存活信息
+ *  ⇒ false——与批前**逐字等价**（丢弃），零回归。
+ *  @returns {boolean} 该 key 对应条目是否池内存活 */
+export function livePoolHas(state, key) {
+  const agent = state?._agent
+  if (!agent) return false
+  const k = String(key ?? "")
+  const i = k.lastIndexOf("#")
+  if (i <= 0 || i === k.length - 1) return false // 非池键形态（无 `#` / 空 role / 空 id）
+  const role = k.slice(0, i)
+  const id = k.slice(i + 1)
+  for (const pool of [agent._asyncSubagents, agent._asyncAdvisors]) {
+    if (!(pool instanceof Map)) continue
+    const entry = pool.get(id) // 池键 = String(id)（subagent-run.mjs:187 / advisor-async.mjs:410）
+    if (!entry || entry.role !== role) continue
+    if (entry.done === true || entry.cancelled === true) continue // 已终态（含 done-in-pool）
+    return true
+  }
+  return false
+}
+
+/** 摘旧冻结载体行（P0-a ②——复活时摘该 key 全部 `_frozenSubTask` 载体行）：墓碑源已把
+ *  载体行 splice 进 `state.lines`（`freezeSubTaskLines`）；不摘则一 key 两载体、折叠键
+ *  `sub-${key}` 两处共用（render-segments.mjs / subagent-panel.mjs）⇒ 旧块永久留流。
+ *  ① 逐行 `releaseLine` **负向出账**（增删均须过账——display-budget.mjs）；② 摘除位
+ *  **之后**（严格大于该位）的 `_freezeAt` 在途锚点 −1（`shiftFreezeAnchors` 同款语义
+ *  ——锚点 = 流位置；摘除位之前的锚点不动；**恰等摘除位者亦不动**——逐字照 §6.8.3.2
+ *  「摘除位之后」；若需改判〔该位锚点原指被摘行槽位〕须先改设计）。
+ *  @returns {number} 摘除的载体行数 */
+export function removeFrozenSubTaskLine(state, key) {
+  const lines = state?.lines
+  if (!Array.isArray(lines)) return 0
+  const k = String(key ?? "")
+  let removed = 0
+  for (let i = lines.length - 1; i >= 0; i--) {
+    const l = lines[i]
+    if (l?._frozenSubTask?.key !== k) continue
+    releaseLine(state, l)
+    lines.splice(i, 1)
+    removed++
+    for (const sub of Object.values(state.subTasks ?? {})) {
+      if (sub._freezeAt !== undefined && sub._freezeAt > i) sub._freezeAt = Math.max(0, sub._freezeAt - 1)
+    }
+  }
+  return removed
+}
+
 /** 冻结 + 释放全部已 done 块（工具结果清扫路径）。锚点降序（后 settle 先插——
  *  绝对位置 splice 语义）；无锚点（-1）排末尾推；sort 稳定。 */
 export function freezeDoneSubTasks(state) {
@@ -132,11 +204,16 @@ export function finishSubTasksByRole(state, roles, lastError = null) {
  *  lastError="interrupted"（Ready 态跳过）。§17.5.5：挂起自然退出时本函数只兜底
  *  **未消化残项**（已消化块由 freezeReclaimDigestedBlocks 逐条先行回收——块回收与
  *  池空解耦）。锚点降序同 freezeDoneSubTasks（挂起期 settle 锚点交错批次各按其
- *  settle 位置落位）。 */
+ *  settle 位置落位）。
+ *  zero-block 批 P0-b（§6.8.3.2）：**墓碑存活闸——池内存活（在池 ∧ `done !== true` ∧
+ *  `cancelled !== true`）条目跳过**（不置 done / 不写墓碑 / 不出 `subTasks`——保留 live
+ *  驻留，待其自身 done/stopped/settled 通道收尾）；**已终态（含 done-in-pool）与池外
+ *  条目照旧冻结**（中断 ghost 语义不变）。存活判据单点 = `livePoolHas`。 */
 export function freezeAllSubTasks(state) {
   const subs = Object.values(state.subTasks ?? {})
     .sort((a, b) => (b._freezeAt ?? -1) - (a._freezeAt ?? -1))
   for (const sub of subs) {
+    if (livePoolHas(state, sub.key)) continue // P0-b 存活跳过（墓碑只断言「此块已终」）
     if (!sub.done) {
       sub.done = true
       sub.doneAt = Date.now()

package/src/tui/suspension-drive.mjs

@@ -9,6 +9,9 @@
  * digest）输入禁用（INPUT-LOCK-ASYNC C'——提交吞——2026-09-09）、settle 事件驱动
  * auto-turn 消化（手动档 organize-only / AUTO 档全语义）、池空 + 无待处理输入 → 补发
  * done 冻结自然退出。状态机行表见 AGENT-LOOP.md §9.2。
+ * F-UC7（2026-09-19 批，AGENT-LOOP-SUBAGENT.md §6.27.12）：第二开轮源 = 未 drain 的上行
+ * ask（`upstreamWaiting` 谓词——ask 入队即唤醒本驱动）；唤醒轮同走 auto-turn（旗标
+ * `upstreamTurn` 供核域文本选择，提示行走第三档）。
  */
 
 // 函数级静态环（2026-09-05）：drive 的 digestTurn/用户回合经 runAgentTurn 递归进入
@@ -16,15 +19,20 @@
 import { runAgentTurn } from "./agent-turn.mjs"
 import { freezeAllSubTasks, freezeReclaimDigestedBlocks } from "./subagent-blocks.mjs"
 import { sweepToolBlocks } from "./tool-events.mjs"
-import { logEvent } from "../log.mjs"
+import { logEvent } from "@thincoder/core/log.mjs"
 import { C } from "./ansi.mjs"
 // ASYNC-RESULT-CONTAINER.md D1/D2：池 accessor（双池 absorb）+ pending 单容器停靠
-import { getAsyncPool, parkAsyncPending } from "../agent-tools/async-settle.mjs"
+import { getAsyncPool, parkAsyncPending, releaseSettledEntry } from "@thincoder/core/agent-tools/async-settle.mjs"
+// F-UC7（AGENT-LOOP-SUBAGENT.md §6.27.12——2026-09-19 批）：上行 ask 开轮谓词单点（核导出）
+import { upstreamWaiting } from "@thincoder/core/agent-tools/parent-channel.mjs"
+// X9（2026-09-20 端差·显示面消差批）：消化收尾文案单源 = 核 i18n 容器（禁第三份字面）
+import { t } from "@thincoder/core/i18n.mjs"
+// 批 4 CLI-ASYNC-DISCARD（AGENT-LOOP-SUBAGENT.md §6.20）：中止分支「只清已死」收尾单点
+import { discardAbortedPool, discardAbortedAdvisors } from "@thincoder/core/agent-tools/async-discard.mjs"
 
 // INPUT-LOCK-ASYNC（C'——2026-09-09，本档 INPUT-LOCK-ASYNC.md）：R15 排队
 // 用户指令合并（§11.3 D-24c——攒批计划/合并文案/上限常量）整批废弃
 // ——busy 提交吞 + pendingInput 单槽化（至多一条待交接——单消息逐发不攒批）。
-// 废弃记录见 AGENT-LOOP.md §11.3。
 
 /** 后台池计数（LOGGING susp/digest 事件字段——pendingN/poolN）。
  *  poolN = _asyncSubagents + _asyncAdvisors（§11.2 D-24b advisor 池同面板计数——queued
@@ -153,27 +161,40 @@ function backgroundStatusText(agent) {
 /** 消化轮：系统驱动的 auto-turn（D-S6）。手动档不传权限/问答 handler（D-S7 装配
  *  契约——denied 不弹面板、不悬挂）；AUTO 档沿用普通回调（autoApprove 短路自动
  *  执行）。_suspended 保持 true：消化中 settle 延迟冻结 + 移交 pending。R17：pending
- *  计数/消化触发 = 任一 pending 族（T-R17j——consult/escalate 空闲 settle 也触发消化轮）。 */
-async function digestTurn(ctx) {
+ *  计数/消化触发 = 任一 pending 族（T-R17j——consult/escalate 空闲 settle 也触发消化轮）。
+ *  F-UC7（§6.27.12.5 D）：`upstream` = 未 drain 的 ask 在场（唤醒轮）——提示行走第三
+ *  档、旗标随 auto 轮贯通到核 `runAgent`（域文本选择面）、`digest:*` 载荷条件携带
+ *  `upstream: true`（宿主日志区分唤醒轮与 digest 轮——两端同规）。 */
+async function digestTurn(ctx, upstream = false) {
   const { agent, pushLine } = ctx
   const manual = !agent.autoApprove
-  pushLine(manual
-    ? "[auto-turn: digesting finished subagent reports…]"
-    : "[auto-turn: continuing background work…]", C.dim)
+  // 提示行三分（§6.27.12.5 D）：manual 档 ask 轮 = 第三档（「消化已完成的报告」字面在
+  // ask 轮相抵——本轮主事 = 答复子代理在飞提问）；既有两档字面零改。
+  const label = manual
+    ? (upstream ? "[auto-turn: answering a subagent's in-flight message…]" : "[auto-turn: digesting finished subagent reports…]")
+    : "[auto-turn: continuing background work…]"
+  pushLine(label, C.dim)
   const digestCtx = manual
     ? { ...ctx, askPermission: null, askBatchPermission: null, askQuestion: null }
     : ctx
   // LOGGING：digest:* 事件（D-S9 消化轮边界——LOGGING.md F-L4 挂起态覆盖）
   const d0 = Date.now()
   const pend0 = pendingFamilyCount(agent)
-  logEvent("digest:start", { pendingN: pend0 })
-  await runAgentTurn(digestCtx, "", { autoTurn: true, skipSession: true })
-  logEvent("digest:end", { pendingN: pendingFamilyCount(agent), ms: Date.now() - d0 })
+  logEvent("digest:start", { pendingN: pend0, ...(upstream ? { upstream: true } : {}) })
+  const outcome = await runAgentTurn(digestCtx, "", { autoTurn: true, upstreamTurn: upstream, skipSession: true })
+  logEvent("digest:end", { pendingN: pendingFamilyCount(agent), ms: Date.now() - d0, ...(upstream ? { upstream: true } : {}) })
+  // X9（2026-09-20 端差·显示面消差批）：轮尾**可见**收尾行（修前只有 `digest:end` 日志事件——
+  // 用户不可见；对位 VSC `webview/chat.js:394-401`）。计数口径 = **起跑数** `pend0`
+  // （与 VSC `suspension.mjs:302/:314` 同源）；文案单源 = 核 i18n `digest.done` /
+  // `digest.aborted`；终态 ≠ ok（中止/失败）⇒ aborted 形态（VSC ok 旗标同口径）。
+  const seconds = ((Date.now() - d0) / 1000).toFixed(1)
+  pushLine(t(outcome === "ok" ? "digest.done" : "digest.aborted", { n: pend0, seconds }), C.dim)
 }
 
 /**
  * §17 挂起会话驱动（D-S9 行表；由 runAgentTurn 回合尾进入，池空自然退出）：
  * - suspension：池项 settle → 入 pending → 开 auto-turn（合并消化近邻 settle）；
+ *   上行 ask 入队 → 唤醒 + 谓词 → 开唤醒轮（F-UC7——谓词先于池空退出判，见第 2 步）；
  *   挂起空闲用户 Enter → pendingInput 单槽（busy 含 digest 提交吞——INPUT-LOCK-ASYNC）
  *   ——用户输入优先于 digest；
  * - auto-turn：消化中 settle 不并发开新轮（单 runAgent 循环），轮末按 pending/池态
@@ -224,10 +245,13 @@ export async function suspensionSession(ctx) {
         state.status = backgroundStatusText(agent)
         continue
       }
-      // 2. pending 任一族非空 → 合并消化轮（注入由 runAgent 首行统一完成——D-S3 单注入点；
-      //    R17 判据推广——consult/escalate 族同样触发——T-R17j）
-      if (pendingFamiliesNonEmpty(agent)) {
-        await digestTurn(ctx)
+      // 2. pending 任一族非空**或存在未 drain 的 ask** → 合并消化轮 / 唤醒轮（注入由 runAgent
+      //    首行 + 循环头统一完成——D-S3 单注入点；R17 判据推广——consult/escalate 族同样触发
+      //    ——T-R17j。F-UC7（§6.27.12.5 D）：谓词**必须先于第 3 步池空退出判**——「池空 +
+      //    队列留 ask」（子代理已 settle 且报告已消化）仍须开一轮把它 drain 出来）
+      const upstream = upstreamWaiting(agent)
+      if (pendingFamiliesNonEmpty(agent) || upstream) {
+        await digestTurn(ctx, upstream)
         // §17.5.5 实测修订（2026-09-03）：digest 消化完成（pending 条目已注入）→ 逐条补发
         // done 冻结回收——不等池空——块从面板移除进流（settle 锚点 splice 落位——digest
         // 总览文本之前——round1 #1 裁定）；池空 freeze-out 仅兜底未消化残项（挂起会话
@@ -256,15 +280,15 @@ export async function suspensionSession(ctx) {
     state._suspWake = null
     state.suspAbortArmed = false // round2 偏差 #4：会话退出即解除挂起中止武装（防跨会话粘滞）
     if (aborted) {
-      // §15 abort 语义：清池不注入（用户显式停——不注入陈旧错误）
-      agent._asyncSubagents?.clear()
-      agent._asyncAdvisors?.clear()
-      agent._asyncQueue = []
+      // §15 abort 语义：只清已死条目（AGENT-LOOP-SUBAGENT.md §6.20——墓碑/出池/队列剔除/
+      // 整批一次提醒；存活与已 settle 者留池消化——不注入陈旧错误）。
+      discardAbortedPool(agent)
+      discardAbortedAdvisors(agent)
       // ASYNC-RESULT-CONTAINER.md D2：pending 单容器——中止清容器不注入陈旧结果（四族
       // 统一一处清；consult 会话标记 stopped——settle 不入 digest 流——T-R17c）+
       // children abort。
       agent._pendingAsyncResults = []
-      const { cleanupConsultSessions } = await import("../agent-tools/consult.mjs")
+      const { cleanupConsultSessions } = await import("@thincoder/core/agent-tools/consult.mjs")
       cleanupConsultSessions(agent)
       // §17 round2 偏差 #2-CLI（code review round2 #2-CLI）+ INPUT-LOCK 单槽化：中止时
       // 不静默丢弃挂起期输入——Enter 已清空输入框并入 pendingInput（用户视为已发送）——
@@ -278,13 +302,15 @@ export async function suspensionSession(ctx) {
       // D-S3 ③ 兜底：退出前残余（极端竞态）直注入再退——结果零丢失（AC-S2；
       // ASYNC-RESULT-CONTAINER.md D2：pending 单容器一处清——注入器按 role 分发
       // （consult → injectConsultResult；其余 → injectAsyncResult——四族同容器）。
-      const { injectAsyncResult } = await import("../agent-tools/subagent.mjs")
-      const { injectConsultResult } = await import("../agent-tools/consult.mjs")
+      const { injectAsyncResult } = await import("@thincoder/core/agent-tools/subagent.mjs")
+      const { injectConsultResult } = await import("@thincoder/core/agent-tools/consult.mjs")
       const residual = agent._pendingAsyncResults
       if (residual?.length) {
         for (const e of residual.splice(0)) {
           if (e.role === "consult") await injectConsultResult(agent, e)
           else await injectAsyncResult(agent, e)
+          // TUI-OOM-ROOTCAUSE（§23.3.1 消费点③——挂起残差注入）：注入完成 → 释放条目持有
+          releaseSettledEntry(e)
         }
       }
     }

package/src/tui/tool-args.mjs

@@ -12,6 +12,7 @@
  * 全量必须落行）。
  */
 import { sliceByWidth } from "./render.mjs"
+import { capLines, ARGS_JSON_MAX_CHARS } from "./display-budget.mjs"
 
 /** 单行参数摘要：按工具挑关键字段（vscode 卡片头对齐），未知工具回退 JSON。 */
 export function describeToolArgs(name, args) {
@@ -74,8 +75,10 @@ export function describeToolArgs(name, args) {
 }
 
 /** 恢复路径用：全量参数 pretty JSON 的 dim 行（非空才输出）。
- *  与工具结果的恢复惯例一致——完整落行，超长由连续 dim 折叠收纳。 */
+ *  与工具结果的恢复惯例一致——完整落行；**总量额度**（TUI-OOM-ROOTCAUSE §15.3.1
+ *  ARGS_JSON_MAX_CHARS——`write`/`apply_patch` 整文件内容进显示层的堵口）：超出尾截断
+ *  + 标记，首行保真。 */
 export function toolArgsLines(args) {
   if (!args || typeof args !== "object" || Object.keys(args).length === 0) return []
-  return JSON.stringify(args, null, 2).split("\n")
+  return capLines(JSON.stringify(args, null, 2).split("\n"), ARGS_JSON_MAX_CHARS)
 }