thincoder 0.12.62 → 0.12.64

package/src/tui/ledger-surface.mjs

@@ -1,69 +1,32 @@
 /**
- * ledger-surface.mjs — TUI 台账可见面胶水（LEDGER-SURFACE 批——设计档 §2.30.3.4）。
+ * ledger-surface.mjs — TUI 台账可见面胶水（K-LX3 归核：实现单源 = `@thincoder/core/ledger-surface.mjs`，
+ * 本档只剩**动态 import + TUI 色表注入**两件事——端壳静态链不得达 `node:sqlite`（W8 契约②）；
+ * 载入失败 = 降级不崩（N1），扫描拍重试）。
  *
- * 三面：① 启动行（首扫、**任一项目可动作**才出——明细行集每项目一行）② 变化行（老化首次
- * 越线 / 池达阈值——一次性去重 + **送达门**：未送达不记账）③ 状态位（`state.ledger`——L1
- * 常驻标记，`render-frame.mjs` 消费；**不受启动行门约束**——F2 按标记态照显）。
- * 只读台账；唯一写面 = 去重档（`~/.thincoder/ledger-notify.json`）。
+ * 三面语义（启动行 / 变化行 / 状态位）见核档头注；判活展示（F-LX1）亦随归核自动带上——
+ * 本档零实现、零复刻（KD-M2-3）。
  */
-import { blameAges, detailScans, discoverFamily, formatDetailLine, formatMarker, loadNotifyState, NOTIFY_FILE, notifyKey, planChangeLines, REFRESH_MS, saveNotifyState, summarizeLedger } from "../ledger.mjs"
 import { C } from "./ansi.mjs"
 
-/** 单次扫描（直驱面——timer 包装见 `startLedgerSurface`）。
- *  `startup=true` = 会话首扫（补启动行；变化行在前、明细行在后）。 */
-export function runLedgerScan({ state, agent = null, anchor = null, notifyFile = NOTIFY_FILE, pushLine = () => {}, render = () => {}, startup = false, ageOf = blameAges } = {}) {
-  const base = anchor ?? agent?.cwd ?? process.cwd()
-  const family = discoverFamily(base)
-  const scans = []
-  for (const p of family.projects) {
-    try { scans.push(summarizeLedger(p, { ageOf })) } catch { /* 台账不可读 → 该项目跳过（余者照常——N1/T110①） */ }
+/** 核台账面惰性载入（动态 import——失败不缓存，下次扫描拍重试；N1 降级不崩）。 */
+let _core = null
+function loadCore() {
+  if (!_core) {
+    _core = import("@thincoder/core/ledger-surface.mjs")
+    _core.catch(() => { _core = null })
   }
-  const current = family.current ? scans.find((s) => s.root === family.current.root) ?? null : null
-  const notify = loadNotifyState(notifyFile)
-  const plans = scans.map((s) => ({ s, plan: planChangeLines(notify.ledgers[notifyKey(s.ledger)], s) }))
-  const changeLines = plans.flatMap(({ plan }) => plan.lines)
-  const showStartup = startup && scans.some((s) => s.actionable)
-  const rows = showStartup
-    ? [...changeLines, ...detailScans(scans, current).map((s) => ({ text: formatDetailLine(s), warn: s.actionable }))]
-    : changeLines
-  let delivered = true
-  for (const line of rows) {
-    try { pushLine(line.text, line.warn ? C.warn : C.dim) } catch { delivered = false; break }
-  }
-  // 送达门（F5）：有事件行 → 仅在送达后记账；无事件行 → 仅状态确有变化时静默同步（跌回 false 即重置）
-  const changed = plans.some(({ s, plan }) => {
-    const prev = notify.ledgers[notifyKey(s.ledger)]
-    return !prev || JSON.stringify(prev.aged ?? []) !== JSON.stringify(plan.next.aged) || Boolean(prev.threshold) !== plan.next.threshold
-  })
-  if (changeLines.length ? delivered : changed) {
-    const ledgers = { ...notify.ledgers }
-    for (const { s, plan } of plans) ledgers[notifyKey(s.ledger)] = { ...plan.next, updatedAt: Date.now() }
-    saveNotifyState(notifyFile, { version: 1, ledgers })
-  }
-  state.ledger = { marker: current ? formatMarker(current) : null, warn: Boolean(current && current.aged > 0), scannedAt: Date.now() }
-  render()
+  return _core
+}
+
+/** 单次扫描（直驱面——直通核实现；TUI 色表 `C` 注入）。 */
+export async function runLedgerScan(opts = {}) {
+  const core = await loadCore()
+  return core.runLedgerScan({ ...opts, colors: C })
 }
 
-/** TUI 挂载：首扫（`setImmediate`——不抢首帧）+ 周期（`REFRESH_MS`；`state.processing` 期间跳过本轮）。 */
+/** TUI 挂载（首扫 + 周期——直通核实现；载入失败 → 空句柄 = 无周期，N1 降级不崩）。 */
 export function startLedgerSurface(ctx = {}) {
-  let disposed = false
-  let timer = null
-  const tick = (startup) => {
-    if (disposed) return
-    if (!startup && ctx.state?.processing) return // git 子进程不打断回合帧
-    try { runLedgerScan({ ...ctx, startup }) } catch { /* 可见面尽力——不崩 TUI（N1） */ }
-  }
-  setImmediate(() => {
-    if (disposed) return
-    tick(true)
-    timer = setInterval(() => tick(false), REFRESH_MS)
-    timer.unref?.()
-  })
-  return {
-    dispose() {
-      disposed = true
-      if (timer) clearInterval(timer)
-      timer = null
-    },
-  }
+  return loadCore()
+    .then((core) => core.startLedgerSurface({ ...ctx, colors: C }))
+    .catch(() => ({ dispose() {} }))
 }

package/src/tui/model-catalog.mjs

@@ -1,7 +1,7 @@
 /**
  * model-catalog.mjs — 会话级模型清单 helper（PROVIDER.md §16.2 M2/M9——2026-09-10 MODEL-SELECTION）。
  *
- * 清单唯一权威 = provider 运行期拉取（`GET /models`——provider/list-models.mjs 按 format 分派）。
+ * 清单唯一权威 = provider 运行期拉取（`GET /models`——thincoder-core/provider/list-models.mjs 按 format 分派）。
  * 本模块提供：
  * - `getProviderModels(providerConfig)`：拉取 + **会话级缓存**（TTL 60s；失败不缓存——下次重试）；
  * - `probeChannelModels(providerConfig)`：配置阶段准入探（M9——探通入缓存候选直接可用 / 探不通返回
@@ -9,14 +9,14 @@
  * - `modelListFailureText(error)`：M8 失败消息本体（逐字长句——界面明示的唯一断言对象）；
  * - `dedupeModels` / `modelSeries`：显示归并（自 model-picker.mjs 迁入——会话面与槽位面共用）。
  *
- * 缓存时钟可注入（`_catalogHooks.now`——先例 rate.mjs `_rateHooks`）：测试假时钟确定性断言 T6 不依赖壁钟。
+ * 缓存时钟可注入（`_catalogHooks.now`——先例 thincoder-core/provider/rate.mjs `_rateHooks`）：测试假时钟确定性断言 T6 不依赖壁钟。
  */
-import { listModels } from "../provider/list-models.mjs"
+import { listModels } from "@thincoder/core/provider/list-models.mjs"
 
 /** 会话级缓存 TTL（§16.4 a2：连续操作不重复付网络；60s 新鲜窗口）。 */
 const CACHE_TTL_MS = 60_000
 
-/** 测试钩子（先例 `rate.mjs` `_rateHooks`）：时钟可注入——T6 假时钟断言。 */
+/** 测试钩子（先例 thincoder-core/provider/rate.mjs `_rateHooks`）：时钟可注入——T6 假时钟断言。 */
 export const _catalogHooks = { now: () => Date.now() }
 
 /** 会话内缓存：key = name + baseURL（同渠道不同端点各自成条）；value = { models, at }。 */

package/src/tui/model-picker.mjs

@@ -10,16 +10,16 @@
  * 渠道管理流（add/remove/key/context）是 provider 级 config 写——语义不变。F-4 (ISSUE-FIX-BATCH)：
  * removeProviderFlow 级联清理悬挂引用（cascadeRemoveProvider——文件尾导出）。
  * ctx: { agent, state, render, ansi, C, pushLine, persistRaw, askQuestion, maskKey, showPicker,
- *      closePicker, renderPickerLines }（后三者为 pickers.mjs 通用 picker 绑定——闭包入参，环安全）。
+ *      closePicker, renderPickerLines, confirmDelete }（后四者为 pickers.mjs 通用 picker 绑定——闭包入参，环安全）。
  */
 import { sliceByWidth } from "./render.mjs"
-import { PROVIDER_PRESETS as PRESETS, providerSpec, specMatch } from "../config.mjs"
-import { saveSession } from "../session.mjs"
+import { PROVIDER_PRESETS as PRESETS, providerSpec, specMatch } from "@thincoder/core/config.mjs"
+import { saveSession } from "@thincoder/core/session.mjs"
 import { getProviderModels, probeChannelModels, modelListFailureText, dedupeModels } from "./model-catalog.mjs"
 
 /** createModelPicker(ctx) → { openModelPicker, selectModel, setProviderKey, setContextFlow, pickModelForSlot } */
 export function createModelPicker(ctx) {
-  const { agent, state, pushLine, persistRaw, askQuestion, maskKey, showPicker, closePicker, renderPickerLines } = ctx
+  const { agent, state, pushLine, persistRaw, askQuestion, maskKey, showPicker, closePicker, renderPickerLines, confirmDelete = () => { throw new Error("ctx.confirmDelete missing — deletion refused (fail-closed)") } } = ctx
   const { ansi, C } = ctx
 
   /** entry 唯一标识：异步更新 entries 后按它恢复选中项 */
@@ -231,7 +231,7 @@ export function createModelPicker(ctx) {
     agent.provider = { ...target }
     agent.provider.model = item.model
     if (agent.config?.agent?.compactThresholdAuto) {
-      const { resolveCompactThreshold } = await import("../config.mjs")
+      const { resolveCompactThreshold } = await import("@thincoder/core/config.mjs")
       agent.config.agent.compactThreshold = resolveCompactThreshold(null, agent.provider).value
     }
     // 写会话槽（saveSession——槽双字段恒非空）——config 文件零写
@@ -280,7 +280,7 @@ export function createModelPicker(ctx) {
   /** Slot 面 fetch：模型直接并入可选行（旧 pickModelForSlot 语义——自由面；槽位面零改——
    *  仅随 M1 获得三 format 支持 + 占位行（同会话面：0 item 的 picker 不会打开））。 */
   async function fetchSlotModels(providerName, providerConfig, entries) {
-    const { listModels } = await import("../provider/index.mjs")
+    const { listModels } = await import("@thincoder/core/provider/index.mjs")
     let selKey = null
     try {
       const models = await listModels(
@@ -379,6 +379,7 @@ export function createModelPicker(ctx) {
       ...candidates.map((p) => ({ type: "item", text: `${p.name} (${defaultModelLabel(p)})`, name: p.name })),
     ])
     if (!se) return
+    if (!(await confirmDelete(`Remove provider ${se.name}?`))) return
     await persistRaw((raw) => {
       raw.providers ??= []
       const idx = raw.providers.findIndex((p) => p?.name === se.name)
@@ -460,7 +461,7 @@ export function createModelPicker(ctx) {
       if (newCtx === undefined) delete agent.provider.context
       else agent.provider.context = newCtx
       if (agent.config?.agent?.compactThresholdAuto) {
-        const { resolveCompactThreshold } = await import("../config.mjs")
+        const { resolveCompactThreshold } = await import("@thincoder/core/config.mjs")
         agent.config.agent.compactThreshold = resolveCompactThreshold(null, agent.provider).value
       }
     }

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)
@@ -399,5 +404,9 @@ function buildStatusLine(state, agent, { cols, slashCommands }) {
   const ledgerHint = lg?.marker
     ? ` │ ${lg.warn ? `${ansi.reset}${C.warn}${lg.marker}${ansi.reset}${ansi.dim}` : lg.marker}`
     : ""
-  return ` ${statusText}${taskHint}${turnHint}${tokenHint}${ctxHint}${scrollHint}${ledgerHint} │ ${enterHint} │ /: commands │ wheel/PgUp/PgDn: scroll │ Ctrl+I: inject │ Ctrl+C: exit (×2)`
+  // D8（2026-09-21 块标题行对齐批——会话标题常显 · `docs/cli/design/TUI.md` §7.4）：状态段簇尾
+  // （ledgerHint 后、键位组前）；取值 = `agent.title` 活读（每帧 recompute）· 空值零注入。
+  const titleRaw = typeof agent.title === "string" ? agent.title.trim() : ""
+  const titleHint = titleRaw ? ` │ ${stringWidth(titleRaw) > 40 ? sliceByWidth(titleRaw, 39) + "…" : titleRaw}` : ""
+  return ` ${statusText}${taskHint}${turnHint}${tokenHint}${ctxHint}${scrollHint}${ledgerHint}${titleHint} │ ${enterHint} │ /: commands │ wheel/PgUp/PgDn: scroll │ Ctrl+I: inject │ Ctrl+C: exit (×2)`
 }

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()