thincoder 0.12.62 → 0.12.63

package/src/tui/mouse.mjs

@@ -17,9 +17,9 @@
 import { computeLayout, subagentLineIndex } from "./layout.mjs"
 import { buildConvLines, convViewport } from "./render-conversation.mjs"
 import { toggleFoldBlock, scrollFoldBlock, foldScrollOffset } from "./fold-block.mjs"
-import { cancelAsyncSubagent, cancelSyncChild } from "../agent-tools/subagent-async.mjs"
-import { cancelAsyncAdvisor } from "../agent-tools/advisor-async.mjs"
-import { maybeRefillAsync, refreshQueuedTokens } from "../agent-tools/subagent-scheduler.mjs" // F-2：queued 取消后续（补位/位置刷新）——叶子模块
+import { cancelAsyncSubagent, cancelSyncChild } from "@thincoder/core/agent-tools/subagent-async.mjs"
+import { cancelAsyncAdvisor, refreshAdvisorQueuedTokens } from "@thincoder/core/agent-tools/advisor-async.mjs" // ED-4：评审队列排队块刷新
+import { maybeRefillAsync, refreshQueuedTokens } from "@thincoder/core/agent-tools/subagent-scheduler.mjs" // F-2：queued 取消后续（补位/位置刷新）——叶子模块
 import { routeSubToken } from "./subagent-blocks.mjs" // F-2：queued 取消块移除（⟦ev⟧cancelled 就地路由——引擎动作路径同通道）
 import { denyModalForOwner } from "./key-modes.mjs"
 import { C } from "./ansi.mjs"
@@ -199,12 +199,14 @@ export function createMouseDispatch({ agent, state, pushLine, render, popPicker
     try {
       const id = key.slice(key.lastIndexOf("#") + 1)
       const isAdvisorBlock = key.startsWith("advisor#")
+      // af 批 #1（发射单源化）：`emit` = 本层通道，传进核调用供其单点发射（本层不另发）。
+      const emit = (t) => { if (!routeSubToken(state, t, render)) pushLine(t, C.dim) }
       // §11.2 D-24b (②-6b): ⏹ on an advisor block cancels the background review
       // (directed abort → cancelled settle: no pending entry / no token).
       // SYNC-CANCEL F3: async 池/advisor miss 后查 sync registry（⏹ 门控已放开 sync——
       // cancelSyncChild 与 async cancel 同模块同形态——subagent-async.mjs）。
       let r = isAdvisorBlock
-        ? cancelAsyncAdvisor(agent, id)
+        ? cancelAsyncAdvisor(agent, id, emit)
         : cancelAsyncSubagent(agent, id)
       let syncStopped = false
       if (!isAdvisorBlock && r?.status === "error") {
@@ -230,11 +232,14 @@ export function createMouseDispatch({ agent, state, pushLine, render, popPicker
         // 无 settle 事件链）——UI 直连路径无回合 ctx 事件流——补 executeCancelAction
         // 同款 TUI 维护：等待块移除（⟦ev⟧cancelled 就地路由——守卫同 routeSubToken
         // cancelled 分支——不冻结）+ 补位 + 剩余排队头位置/依赖标注刷新（⟦ev⟧queued）。
+        // af 批去重（#1 单源化）：共享行加 `!isAdvisorBlock` 守卫——评审族发射已由核单点经
+        // 上方 `emit` 通道完成；子代理族自持发射面零改（该族两路互斥、各发一次）。
         if (r?.was === "queued") {
-          const emit = (t) => { if (!routeSubToken(state, t, render)) pushLine(t, C.dim) }
-          emit(`${key}/⟦ev⟧cancelled\x1e`)
+          if (!isAdvisorBlock) emit(`${key}/⟦ev⟧cancelled\x1e`)
           maybeRefillAsync(agent)
           refreshQueuedTokens(agent, emit)
+          // ED-4（评审池排队语义）：advisor 队列余位位置刷新（subagent 队列同构面）。
+          if (isAdvisorBlock) refreshAdvisorQueuedTokens(agent, emit)
         }
         pushLine(`[subagent ${key} stop requested]`, C.warn)
       }

package/src/tui/pickers.mjs

@@ -9,6 +9,7 @@ import { createModelPicker } from "./model-picker.mjs"
  *  通用绑定（showPicker/closePicker/renderPickerLines）再行装配——index.mjs 消费面不变。
  *  单一 Promise API：showPicker(title, entries, { defaultIndex }) → Promise<entry|null>。
  *  picker 栈：state.pickerStack，state.picker 始终指向栈顶（layout/render/key-handler 都只读 state.picker）。
+ *  删除类二次确认件：confirmDelete（TUI-COMMANDS.md §5.4 单源——形态同 cmd-clear / cmd-new 先例）。
  *  选中即关闭（Enter = resolve + pop）；Esc = pop 当前层并 resolve(null)。菜单循环由调用方 while 重开。 */
 export function createPickers(ctx) {
   const { agent, state, render, ansi, C, pushLine, persistRaw, askQuestion, maskKey } = ctx
@@ -105,13 +106,25 @@ export function createPickers(ctx) {
 
   function renderPickerLines() { rebuildLines() }
 
+  /** 删除类入口二次确认件（单源——TUI-COMMANDS.md §5.4）：形态 = 既有二次确认 picker
+   *  （与 cmd-clear.mjs:6-9 · cmd-new.mjs:30-33 先例逐字同形，禁新造模态）。
+   *  defaultIndex 恒指 Cancel（反误触——直接 Enter 不会删除）；Esc / Cancel ⇒ false
+   *  ⇒ 调用方零动作（取消先于落盘发生）。入口 ctx 缺此绑定 ⇒ 调用方报错（fail-closed）。 */
+  async function confirmDelete(question = "Delete?") {
+    const e = await showPicker(question, [
+      { type: "item", text: "Yes, delete", action: "yes" },
+      { type: "item", text: "Cancel", action: "no" },
+    ], { defaultIndex: 1 })
+    return e?.action === "yes"
+  }
+
   // /model 两级面 + selectModel + 渠道管理 + pickModelForSlot —— 迁 model-picker.mjs
   // （MODEL-MERGE-SESSION——pick 后本文件 ≤450）。createModelPicker 返回同名单函数，
   // 经本层原样转发（index.mjs/wizard/slash-commands 消费面零变化）。
   const modelPicker = createModelPicker({
     agent, state, render, ansi, C, pushLine, persistRaw, askQuestion, maskKey,
-    showPicker, closePicker, renderPickerLines,
+    showPicker, closePicker, renderPickerLines, confirmDelete,
   })
 
-  return { showPicker, closePicker, popPicker, renderPickerLines, ...modelPicker }
+  return { showPicker, closePicker, popPicker, renderPickerLines, confirmDelete, ...modelPicker }
 }

package/src/tui/render-conversation.mjs

@@ -15,7 +15,7 @@ import {
   isExpanded, foldHintLine, renderExpandedBlock, renderBlockTimeline,
   renderMathAndMarkdown, foldCapRows, renderFoldedHead, foldTailLines,
 } from "./fold-block.mjs"
-import { ADVISOR_THINKING_PLACEHOLDER } from "../advisor/run.mjs"
+import { ADVISOR_THINKING_PLACEHOLDER } from "@thincoder/core/advisor/run.mjs"
 import { frozenSubSeg, toolSeg, frozenAdvSeg } from "./render-segments.mjs"
 
 

package/src/tui/render-frame.mjs

@@ -9,10 +9,11 @@
 import { ansi, C, ESC } from "./ansi.mjs"
 import { convCacheKey, renderConversation, countConvLines } from "./render-conversation.mjs"
 import { sliceByWidth, stringWidth } from "./render.mjs"
-import { providerSpec } from "../config.mjs"
+import { providerSpec } from "@thincoder/core/config.mjs"
 import { computeLayout, subagentVisibleLines } from "./layout.mjs"
 import { basename } from "node:path"
 import { readFileSync } from "node:fs"
+import { isYesNoModal } from "./interaction.mjs" // X8 跟进①：y/n-only 族判据单源
 
 export { convCacheKey, renderConversation, countConvLines } from "./render-conversation.mjs"
 
@@ -39,7 +40,7 @@ const SLASH_HINTS = {
 
 /** Header panel (always 1 line). */
 export function renderHeader(agent, cols) {
-  // 2026-09-02 Q1（SESSION.md §8）：provider 可为 null（无效 provider 被清空后用户 Esc 取消重选）
+  // 2026-09-02 Q1（SESSION.md §6.8）：provider 可为 null（无效 provider 被清空后用户 Esc 取消重选）
   // —— 可选链守卫，头部显示 "no provider" 占位
   const model = agent.provider?.model ?? "no provider"
   // providerSpec（PROVIDER.md §15）：模型信息显示跟随 provider 级 context 覆盖（D-C5）；
@@ -323,7 +324,9 @@ function inputBoxStyle(state) {
     borderColor = C.tool; title = " Question "
   } else if (state.permission) {
     borderColor = C.warn
-    title = state.permission.name === "continue" ? " Continue? (y/n) "
+    // X8 跟进①：y/n-only 族（continue / retry）按名分流——`a` 不属该族键面
+    title = isYesNoModal(state.permission.name)
+      ? (state.permission.name === "continue" ? " Continue? (y/n) " : " Retry? (y/n) ")
       : state.permission.batch ? ` Allow ${state.permission.name}? (a/o/n) `
       : ` Allow ${state.permission.name}? (y/n/a) `
   } else if (state.picker) {
@@ -349,7 +352,9 @@ function buildStatusLine(state, agent, { cols, slashCommands }) {
       : " Type answer then Enter │ Esc: cancel"
   }
   if (state.permission) {
-    if (state.permission.name === "continue") return " y: continue │ n: stop"
+    if (isYesNoModal(state.permission.name)) {
+      return state.permission.name === "continue" ? " y: continue │ n: stop" : " y: retry │ n: stop"
+    }
     if (state.permission.batch) return " a: approve all │ o: one by one │ n: deny"
     return " y: approve │ n: deny │ a: approve all (AUTO)"
   }
@@ -383,7 +388,7 @@ function buildStatusLine(state, agent, { cols, slashCommands }) {
   const elapsed = state.processing ? ` ${Math.floor((Date.now() - state.processingStarted) / 1000)}s` : ""
   const toolHint = state.currentTool ? ` ${state.currentTool}…` : ""
   const statusText = state.processing ? `${state.status}${toolHint}${elapsed}` : state.status
-  // 2026-09-02 Q1（SESSION.md §8）：provider 可为 null —— providerSpec(null) 保守 128K 不抛错
+  // 2026-09-02 Q1（SESSION.md §6.8）：provider 可为 null —— providerSpec(null) 保守 128K 不抛错
   // 2026-09-02 §15：context 窗口跟随 providers[].context 覆盖（T-C6——百分比基于覆盖后的窗口）
   const modelContext = providerSpec(agent.provider).context
   const ctxPct = Math.round((state.ctxCache.tokens / modelContext) * 100)

package/src/tui/render-loop.mjs

@@ -14,7 +14,7 @@
  * so recomputing the frame each paint is cheap.
  */
 import { countConvLines, renderRows } from "./render-frame.mjs"
-import { estimateTokens } from "../context.mjs"
+import { estimateTokens } from "@thincoder/core/context.mjs"
 import { ansi, C } from "./ansi.mjs"
 import { isTuiActive } from "./tui-lifecycle.mjs" // F-2 渲染抑制守卫（RESIZE-MOUSE-LEAK-FIX）
 

package/src/tui/render-segments.mjs

@@ -86,7 +86,9 @@ function frozenSubTaskLines(state, sub, cols, maxRows) {
   const modelPart = sub.model ? ` · ${sub.model}` : ""
   const turnPart = sub.maxTurns > 0 ? ` · turn ${sub.turn}/${sub.maxTurns}` : ""
   const errPart = sub.lastError ? ` — ${sub.lastError}` : ""
-  const icon = sub.approval ? "⏸" : "✓"
+  // 图标三态互斥（2026-09-20 端差·显示面消差批 M5）：修前 stopped 冻结头 `✓` 与 verb 相抵
+  // ⇒ 补齐 VSC `webview/activity-view.js:46-49` 已成的 cancelled → `⏹` 形态（VSC 标尺，CLI 缺面）。
+  const icon = sub.approval ? "⏸" : sub.stopped ? "⏹" : "✓"
   const verb = sub.stopped ? "stopped" : "done" // §19.5: cancel 冻结标题 "stopped"
   const header = `[${icon} ${sub.key}${modePart}${modelPart} · ${verb} ${elapsed}s${turnPart}${errPart}]`
   const out = []

package/src/tui/slash-commands.mjs

@@ -9,7 +9,7 @@
  */
 
 import { C } from "./ansi.mjs"
-import { specForModel } from "../config.mjs"
+import { specForModel } from "@thincoder/core/config.mjs"
 import { handleClearCommand } from "./cmd-clear.mjs"
 import { handleNewCommand } from "./cmd-new.mjs"
 import { handleExitCommand } from "./cmd-exit.mjs"

package/src/tui/startup.mjs

@@ -1,10 +1,10 @@
-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.md §15.3.3）：恢复/翻页行过额度 + state.lines 总量对账。
-import { capLine, accountLine, accountAll, syncLineBudget } from "./display-budget.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
@@ -118,7 +118,7 @@ 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 §14.3.6）：desc = `{ history, total, base? }`——
+ * TUI-OOM-ROOTCAUSE（SESSION.md §6.14）：desc = `{ history, total, base? }`——
  * history = 尾窗（≤200，含 ±1 页沿头一条——跨页回标判定用；不渲染）、total = 绝对总条数
  * （「N messages」标签口径）、base = history[0] 的绝对序号（缺省由 total − len 推导）。
  */
@@ -132,7 +132,7 @@ export function restoreLines(state, desc) {
   const start = total - loaded
   state._lineIdCounter = state._lineIdCounter ?? 0
   const fresh = historyToLines(window, Math.max(0, start - base), window.length)
-  for (const l of fresh) l.text = capLine(l.text) // 行额度（§15.3.3 恢复行过 capText）
+  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).
@@ -144,7 +144,7 @@ export function restoreLines(state, desc) {
   if (state._hasOlder) {
     state.lines.unshift({ text: `… ${start} more earlier messages (PgUp at top to load)`, color: C.dim })
   }
-  accountAll(state) // 行集重建 → 总量直算重对账（§15.3.4）
+  accountAll(state) // 行集重建 → 总量直算重对账（§5.4）
   syncLineBudget(state, { onTrim: (st, n) => shiftFreezeAnchors(st, n) })
 }
 /** 懒加载更早历史（2026-08-31 用户约定："滚动到头自动加载"——滚轮/PgUp 到顶皆触发；
@@ -156,7 +156,7 @@ export function createLoadOlder({ agent, state, render }) {
   return () => {
     if (!state._hasOlder) return
     // 翻页锚 = 恢复时点 total（state._historyTotal）——活消息增长不再使页码漂移
-    // （§14.1 事实 4 / §14.3.6 顺带修复）。
+    // （§6.14 事实 4 顺带修复）。
     const total = state._historyTotal ?? 0
     const loaded = state._historyLoaded
     const start = Math.max(0, total - loaded - HISTORY_PAGE_MESSAGES)
@@ -167,9 +167,9 @@ export function createLoadOlder({ agent, state, render }) {
     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
-    // 页源（§14.3.6）：绑定态 → store.page 绝对区间 + ±1 页沿（页前一消息供跨页回合
+    // 页源（§6.14）：绑定态 → store.page 绝对区间 + ±1 页沿（页前一消息供跨页回合
     // 标签判定、页后一消息供 tool_result 配对）；未绑定（模式 F）→ 内存全量数组回退。
     const store = agent._recordStore
     let older
@@ -179,7 +179,7 @@ export function createLoadOlder({ agent, state, render }) {
     } else {
       older = historyToLines(agent._fullHistory ?? [], start, end)
     }
-    for (const l of older) l.text = capLine(l.text) // 行额度（§15.3.3 翻页行过 capText）
+    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)
@@ -190,7 +190,7 @@ export function createLoadOlder({ agent, state, render }) {
       state.lines.unshift(ph)
       accountLine(state, ph)
     }
-    // 页内不裁头（保锚定）——§15.3.3：总量的裁头由 syncLineBudget 兜（此处只对账字符预算）
+    // 页内不裁头（保锚定）——§5.3：总量的裁头由 syncLineBudget 兜（此处只对账字符预算）
     syncLineBudget(state, { onTrim: (st, n) => shiftFreezeAnchors(st, n) })
 
     const after = countConvLines(state, cols, (state.dims?.get() ?? {}).rows ?? (process.stdout.rows || 24))
@@ -206,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)
@@ -225,7 +225,7 @@ export function showStartup(ctx) {
   // deprecated; it drifted out of sync with history on VS Code writes).
   if (opts.restored?.history?.length) {
     restoreLines(state, opts.restored)
-    // 「N messages」标签口径 = total（§14.3.6——非窗口长度）
+    // 「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)
   }
@@ -242,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,7 +82,18 @@ 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] = {
@@ -173,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-freeze.mjs

@@ -13,7 +13,8 @@
 import { C } from "./ansi.mjs"
 import { closeOpenSubChildren } from "./subagent-children.mjs"
 // TUI-OOM-ROOTCAUSE（TUI.md §15.3.3 落点表末行）：state.lines 总量账——splice 插入路径过账。
-import { accountLine } from "./display-budget.mjs"
+// 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" 经
@@ -95,6 +96,15 @@ export function freezeSubTaskLines(state, sub) {
   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 标记行 = 净位移
  *  removedCount−1（code review round1 #3）；在途锚点前移，min 0 兜底。 */
 export function shiftFreezeAnchors(state, removedCount) {
@@ -104,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) {
@@ -138,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, releaseSettledEntry } 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,8 +302,8 @@ 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)) {

package/src/tui/tool-events.mjs

@@ -19,7 +19,7 @@
 import { C } from "./ansi.mjs"
 import { formatToolSummary } from "./tool-summaries.mjs"
 import { describeToolArgs, toolArgsLines } from "./tool-args.mjs"
-import { ADVISOR_THINKING_PLACEHOLDER, resolveAdvisorProvider } from "../advisor/run.mjs"
+import { ADVISOR_THINKING_PLACEHOLDER, resolveAdvisorProvider } from "@thincoder/core/advisor/run.mjs"
 import {
   SUBAGENT_ROLES, routeSubToken, routeSubReasoning, routeSubToolCall,
   routeSubToolOutput, finishSubTask, finishSubTaskKey, finishSubTasksByRole, freezeDoneSubTasks,
@@ -27,8 +27,10 @@ import {
   shiftFreezeAnchors,
 } from "./subagent-blocks.mjs"
 // 第 27 批 §12.3②：前缀正则换名 + import 源改文法模块（纯换名——语义零改）。
-import { RELAY_PREFIX_RE } from "../agent/relay-prefix.mjs"
-import { TURN_CAP_MARK, STOPPED_MARK } from "../agent/spawn-child.mjs"
+import { RELAY_PREFIX_RE } from "@thincoder/core/agent/relay-prefix.mjs"
+import { TURN_CAP_MARK, STOPPED_MARK } from "@thincoder/core/agent/spawn-child.mjs"
+// 批 1 CORE-DEFECT-FIXES B3：onWait 相位值域 + 文案单源（消费面禁各自枚举——PROVIDER.md §6.20）
+import { waitStatusText } from "@thincoder/core/provider/wait-status.mjs"
 // 2026-09-05 module-split：ticks/maps/sweep/slim/settle/探测/find 族迁 tool-display.mjs——
 // buildToolCallbacks 内部引用用本地 import；sweepToolBlocks re-export（agent-turn 消费面）
 import {
@@ -402,11 +404,12 @@ export function buildToolCallbacks(deps) {
       state.tokens.cacheMiss += usage.prompt_cache_miss_tokens ?? 0
       state.tokens.reasoningTokens += usage.completion_tokens_details?.reasoning_tokens ?? 0
     },
-    // Throttle wait (active gate / 429 backoff): show in status bar so user knows it's not frozen
-    onWait: ({ phase, seconds }) => {
-      if (phase === "gate") state.status = `TPM throttle wait ~${seconds}s`
-      else if (phase === "overloaded") state.status = `Server overloaded, retrying in ${seconds}s`
-      else state.status = `Rate-limited 429, retry in ${seconds}s`
+    // Throttle wait (active gate / 429 backoff): show in status bar so user knows it's not frozen.
+    // 相位值域/文案取自核单源（wait-status.mjs）——未知相位与 warn 前置告警不显示（不落兜底误标）。
+    onWait: (ev) => {
+      const s = waitStatusText(ev)
+      if (!s) return
+      state.status = s
       render()
     },
     onTaskUpdate: (items) => {