thincoder 0.12.67 → 0.12.69

package/src/tui/render-conversation.mjs

@@ -10,7 +10,7 @@
  * maxRows flows in from every caller; omitted/0 → uncapped (tests, odd envs).
  */
 import { ansi, C } from "./ansi.mjs"
-import { formatTables, sanitizeDisplay, sliceByWidth, wrapText } from "./render.mjs"
+import { formatTables, sanitizeDisplay, sliceByWidth, stringWidth, wrapText } from "./render.mjs"
 import {
   isExpanded, foldHintLine, renderExpandedBlock, renderBlockTimeline,
   renderMathAndMarkdown, foldCapRows, renderFoldedHead, foldTailLines,
@@ -133,7 +133,7 @@ export function convCacheKey(state, maxRows) {
   // Content prefix in the signature: same kind+length with different content
   // would otherwise collide (stale render); 8 chars disambiguate in practice.
   const blocksSig = (state._advisorBlocks ?? []).map((b) => `${b.kind}:${b.text?.length ?? 0}:${String(b.text ?? "").slice(0, 8)}`).join(",")
-  // NOTE (§7.2.1): running subagent blocks are NOT part of the conversation
+  // NOTE (docs/cli/design/TUI.md §6.8): running subagent blocks are NOT part of the conversation
   // anymore — they render in the fixed bottom panel (subagent-panel.mjs,
   // uncached per frame: the 1s ticker refreshes the panel's elapsed display).
   // The old subSig (blockEpoch/turn/elapsed invalidation) is removed: the panel
@@ -200,6 +200,15 @@ function highlightSearchMatches(text, query, matchesInLine, globalCurrentIndex,
   return result
 }
 
+/** 编号态首行预算收窄（#677 · TUI.md §7.5 宽度口径）：首行折宽 = `width − firstDeduct`（`i. ` 编号占位），余行逐字照 `wrapText`；`0` ⇒ 逐行同形（单条态负向锁）。 */
+function wrapTextHead(text, width, firstDeduct) {
+  const nl = text.indexOf("\n"), head = nl < 0 ? text : text.slice(0, nl), rest = nl < 0 ? null : text.slice(nl + 1)
+  const budget = Math.max(1, width - firstDeduct)
+  if (stringWidth(head) <= budget) return rest === null ? [head] : [head, ...wrapText(rest, width)]
+  const cut = sliceByWidth(head, budget), over = head.slice([...cut].length)
+  return [cut, ...wrapText(rest === null ? over : `${over}\n${rest}`, width)]
+}
+
 /**
  * Build the conversation lines for the given state.
  * maxRows: terminal rows for the 60% expansion cap (undefined → uncapped —
@@ -279,7 +288,7 @@ function buildConvLines(state, cols, maxRows) {
       blankAfter = false
     }
   }
-  // ── Subagent activity blocks (§7.2.1 D2) — RUNNING blocks MOVED to the fixed
+  // ── Subagent activity blocks (docs/cli/design/TUI.md §6.8 D2) — RUNNING blocks MOVED to the fixed
   // bottom panel (subagent-panel.mjs renderSubagentPanel, layout.mjs precomputes
   // the panel height; render-frame puts it between conversation and todo).
   // buildConvLines no longer renders running children: on completion
@@ -374,8 +383,8 @@ function buildConvLines(state, cols, maxRows) {
     const indent = multi ? "  " : ""
     const wrapCols = cols - 1 // 与正文同口径（`sanitizeDisplay` + `wrapText`——TUI.md §7.5 逐字）
     for (let qi = 0; qi < queuedItems.length; qi++) {
-      const rows = wrapText(sanitizeDisplay(String(queuedItems[qi])), wrapCols)
       const head = multi ? `${qi + 1}. ` : ""
+      const rows = wrapTextHead(sanitizeDisplay(String(queuedItems[qi])), wrapCols, stringWidth(head))
       for (let ri = 0; ri < Math.min(rows.length, QUEUED_ITEM_MAX_LINES); ri++) {
         convLines.push({ text: `${ri === 0 ? head : indent}${rows[ri]}`, color: C.dim, _skipDimFold: true })
       }

package/src/tui/render-frame.mjs

@@ -10,6 +10,10 @@ import { ansi, C, ESC } from "./ansi.mjs"
 import { convCacheKey, renderConversation, countConvLines } from "./render-conversation.mjs"
 import { sliceByWidth, stringWidth } from "./render.mjs"
 import { providerSpec } from "@thincoder/core/config.mjs"
+import { t } from "@thincoder/core/i18n.mjs" // 停滞轻显形（TUI.md §7.7）：句式键 status.quiet——词面单源（CLI 直取）
+// #363②（off 形族单源——MODEL-SPECS.md §16.2 / §16.4）：顶栏 think 徽标的 off 判据引核（本档零副本）。
+import { thinkOffShape, thinkOffPath } from "@thincoder/core/think-off.mjs"
+import { isRealUserMsg } from "@thincoder/core/history-window.mjs" // B6 回退链：首条真实 user 消息谓词（纯件单源）
 import { computeLayout, subagentVisibleLines } from "./layout.mjs"
 import { basename } from "node:path"
 import { readFileSync } from "node:fs"
@@ -32,6 +36,11 @@ const SLASH_HINTS = {
   "/restore": "select checkpoint to restore",
 }
 
+// ---------- 停滞轻显形阈值（docs/cli/design/TUI.md §7.7 · stall-indicator 批 2026-09-29）----------
+/** 静默显示阈值（毫秒）——静默 ≥ 本值才注入读数（首显值 = 10s）；跳秒 = 既有 1s 拍
+ *  （agent-turn ticker——零新定时器）；三端同值（VSC ∕ 桌面各自持有常量面）。 */
+export const QUIET_MS = 10_000
+
 // ====================================================================
 // Panel render functions (exported for incremental rendering)
 // Each returns string[] — one element per screen row, ANSI-colored,
@@ -49,7 +58,11 @@ export function renderHeader(agent, cols) {
   const thinkOnValue = spec.thinkEnabledValue ?? "enabled"
   const t = agent.provider?.thinking
   const effort = agent.provider?.reasoningEffort
-  const thinkBadge = t?.type === "disabled" ? "│ think: off"
+  // off 徽标（#363②·单源引核）：off 可宣称（`thinkOffPath`）∧ 现形 = 该族 off 取形
+  // （`thinkOffShape`）——thinkAlwaysOn 族 / effort 族携残留标记不再误报 `think: off`
+  // （旧形裸判 `type === "disabled"`，与「有效 off 路径」无判据关系——MODEL-SPECS.md §16.4）。
+  const offShape = thinkOffPath(spec) ? thinkOffShape(spec) : null
+  const thinkBadge = offShape !== null && t?.type === offShape.type ? "│ think: off"
     : effort ? `│ think: ${effort}`
     : t?.type === thinkOnValue ? "│ think: on" : ""
   return `${ansi.bold}${C.tool} ThinCoder ${ansi.reset}${ansi.dim}${THINCODER_VERSION} │ ${sliceByWidth(model, 30)}${thinkBadge ? " " + thinkBadge : ""} │ ${sliceByWidth(basename(agent.cwd), Math.max(10, cols - 60))}${ansi.reset}`
@@ -268,7 +281,7 @@ export function renderRows(state, agent, opts) {
 
   put(panels.header.y, [renderHeader(agent, cols)])
   put(panels.conversation.y, renderConversation(state, cols, panels.conversation.h, state.scroll, rows))
-  // §7.2.1 D2: running-subagent fixed panel (between conversation and todo) —
+  // docs/cli/design/TUI.md §6.8 D2: running-subagent fixed panel (between conversation and todo) —
   // lines precomputed by layout (subagent-panel.mjs, neutral module), put
   // directly (no double render); absent when no block is running (F6). Lines
   // are objects ({text, color, _foldToggle/_foldBlock…} — mouse hit-testing
@@ -341,6 +354,16 @@ function inputBoxStyle(state) {
   return { borderColor, title }
 }
 
+/** 标题回退链（B6 消 · #677——对位 VSC `panel-session.mjs:243-247` 链值 `title → "firstMessage" → "(empty)"`；
+ *  截断逐字同该链 `truncate(s, 40)`——生成前 ∕ 失败期两端同值）。首条真实 user 消息 = 活读单源：
+ *  绑定态取槽摘要字段（`counters().firstMessage`——与 VSC `listSlots` 同字段）；未绑定回退内存人读线。 */
+function sessionTitleFallback(agent) {
+  const fm = (agent?._recordStore?.counters?.().firstMessage ?? "")
+    || (agent?._fullHistory ?? agent?.history ?? []).find(isRealUserMsg)?.content
+  if (typeof fm !== "string" || fm === "") return "(empty)"
+  return `"${fm.length <= 40 ? fm : fm.slice(0, 39) + "…"}"`
+}
+
 function buildStatusLine(state, agent, { cols, slashCommands }) {
   const scrollHint = state.scroll > 0 ? ` │ scrolled ${state.scroll}` : ""
   const rawInput = state.input.join("")
@@ -387,7 +410,14 @@ function buildStatusLine(state, agent, { cols, slashCommands }) {
     ? ` │ ↑${fmtK(tk.prompt)} ↓${fmtK(tk.completion)}${tk.reasoningTokens > 0 ? ` ✦${fmtK(tk.reasoningTokens)}` : ""}${cacheTotal > 0 ? ` hit${Math.round((tk.cacheHit / cacheTotal) * 100)}%` : ""}` : ""
   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
+  // 停滞轻显形（docs/cli/design/TUI.md §7.7 · stall-indicator 批 2026-09-29）：显示位 = elapsed 之后；
+  // 静默 = 距最近一次可见输出（`state.lastOutputAt`——回合起刻为初始锚，重置点三类见 tool-events ∕
+  // subagent-blocks）；非显示条件（未至阈值 ∕ 非在飞 ∕ 未起算）零注入（负向锁——逐字节等价）；纯读数零警示色。
+  const lastOut = state.lastOutputAt ?? 0
+  const quietHint = state.processing && lastOut > 0 && Date.now() - lastOut >= QUIET_MS
+    ? ` ${t("status.quiet", { s: Math.floor((Date.now() - lastOut) / 1000) })}`
+    : ""
+  const statusText = state.processing ? `${state.status}${toolHint}${elapsed}${quietHint}` : state.status
   // 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
@@ -415,9 +445,16 @@ function buildStatusLine(state, agent, { cols, slashCommands }) {
   const ledgerHint = lg?.marker
     ? ` │ ${lg.warn ? `${ansi.reset}${C.warn}${lg.marker}${ansi.reset}${ansi.dim}` : lg.marker}`
     : ""
+  // timer 可见面（`docs/cli/design/TUI.md` §7.6 · timer-wake 批 2026-09-27）：状态段簇尾（ledgerHint 后、
+  // titleHint 前）——取值 = `agent._pendingTimers` 活读（每帧 recompute / 零缓存副本 / 不显倒计时）；
+  // 零在途 ⇒ 零注入（负向锁——半态逐字节等价）；到期态（任一在途项已过期未送达）⇒ 同段警示色。
+  const timers = agent._pendingTimers ?? []
+  const timerHint = timers.length === 0 ? "" : ` │ ${timers.some((t) => t.expiresAt <= Date.now()) ? `${ansi.reset}${C.warn}⏰${timers.length}${ansi.reset}${ansi.dim}` : `⏰${timers.length}`}`
   // D8（2026-09-21 块标题行对齐批——会话标题常显 · `docs/cli/design/TUI.md` §7.4）：状态段簇尾
-  // （ledgerHint 后、键位组前）；取值 = `agent.title` 活读（每帧 recompute）· 空值零注入。
+  // （ledgerHint 后、键位组前）；取值 = `agent.title` 活读（每帧 recompute）· 40 列截断。
+  // B6 消（#677）：空白 ⇒ 回退链值（对位 VSC 顶栏——生成前 ∕ 失败期两端同值；值逐字，行级超宽走 statusMax）。
   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)`
+  const titleShown = titleRaw ? (stringWidth(titleRaw) > 40 ? sliceByWidth(titleRaw, 39) + "…" : titleRaw) : sessionTitleFallback(agent)
+  const titleHint = ` │ ${titleShown}`
+  return ` ${statusText}${taskHint}${turnHint}${tokenHint}${ctxHint}${scrollHint}${ledgerHint}${timerHint}${titleHint} │ ${enterHint} │ /: commands │ wheel/PgUp/PgDn: scroll │ Ctrl+I: inject │ Ctrl+C: exit (×2)`
 }

package/src/tui/render-loop.mjs

@@ -76,7 +76,7 @@ export function createRenderLoop(state, agent, ctx, pushLine, write = (s) => pro
       }
       state._pauseAnchorLen = convLen
 
-      // NOTE (§7.2 D6): the old state.outputPanels prune is gone — output panels
+      // NOTE (docs/cli/design/TUI.md §6.8 D6): the old state.outputPanels prune is gone — output panels
       // are abolished; subagent blocks live in the conversation and are never
       // auto-pruned (bounded by the N2 per-child line cap instead).
 
@@ -120,9 +120,8 @@ export function createRenderLoop(state, agent, ctx, pushLine, write = (s) => pro
       const cursorSuffix = hasOverlay ? "" : `\x1b[${cursorRow};${cursorCol}H${ansi.hideCursor}`
 
       if (out.length || cursorSuffix) write(ansi.wrapOff + ansi.syncUpdateStart + out.join("") + ansi.syncUpdateEnd + cursorSuffix + ansi.wrapOn)
-    } catch (e) {
+    } catch {
       // Don't let a render error crash the TUI
-      if (process.env.THINCODER_DEBUG_RENDER) process.stderr.write(`[render-error] ${e?.stack ?? e}\n`)
     }
   }
 

package/src/tui/render-segments.mjs

@@ -67,7 +67,7 @@ export function toolSeg(state, l, i, cols, maxRows) {
   return rows
 }
 
-/** 冻结子agent 活动块渲染（§7.2 D4）：state.lines 载体 {_frozenSubTask: sub}（subagent-blocks.mjs
+/** 冻结子agent 活动块渲染（docs/cli/design/TUI.md §6.8 D4）：state.lines 载体 {_frozenSubTask: sub}（subagent-blocks.mjs
  *  freezeSubTaskLines 推入）。折叠 = 身份头 + tail 3；展开 = 共享组件（60% 屏幕封顶 + 底部可达
  *  折叠控制）。折叠键 `sub-${key}`——与运行中面板区块同键，折叠态跨冻结边界无缝延续。
  *  SUBAGENT-TAIL：内层内容已并入 sub.blocks（数据层——取代小节；docs/design/TUI.md §6）
@@ -79,7 +79,7 @@ function frozenSubTaskLines(state, sub, cols, maxRows) {
   // 同生命周期）；仅真实 subagent 角色（compress 冻结等无语义）。整行 dim——
   // 无需 ANSI 注入（running 面板头则套 dim + 恢复行色——subagent-panel.mjs）。
   const isSubRole = SUBAGENT_ROLES.includes(sub.role)
-  // §20：冻结的 queued 块（中止清场兜底——interrupted）标 waiting——不误标 sync
+  // AGENT-LOOP-SUBAGENT.md §6.9：冻结的 queued 块（中止清场兜底——interrupted）标 waiting——不误标 sync
   const modePart = isSubRole
     ? ` · ${sub.queued ? "waiting" : (sub.async === true ? "async" : "sync")}`
     : ""

package/src/tui/render.mjs

@@ -242,7 +242,7 @@ const ANSI_SEQUENCE_RE = new RegExp(ANSI_SEQUENCE.source, "g")
 export function sanitizeDisplay(s) {
   return s
     .replace(ANSI_SEQUENCE_RE, "")
-    // §7.2 D5 fallback: an unparsed ⟦ev⟧ event token must never reach the grid —
+    // docs/cli/design/TUI.md §6.8 D5 fallback: an unparsed ⟦ev⟧ event token must never reach the grid —
     // strip the sentinel + its RS-wrapped payload (⟦ev⟧turn\x1e…\x1e / bare RS/GS chars).
   // 有意为之：控制字符协议/转义序列剥离正则（ANSI/⟦ev⟧/SGR/history 双线分隔）
     .replace(/⟦ev⟧[^\x1e\x1d]*\x1e[^\x1e\x1d]*\x1e[^\x1e\x1d]*\x1e[^\x1e\x1d]*\x1e?/g, "")

package/src/tui/slash-commands.mjs

@@ -19,6 +19,7 @@ import { handleInitCommand } from "./cmd-init.mjs"
 import { handleRestoreCommand } from "./cmd-restore.mjs"
 import { handlePlanCommand } from "./cmd-plan.mjs"
 import { handleGoalCommand } from "./cmd-goal.mjs"
+import { handleTimersCommand } from "./cmd-timers.mjs" // timer 可见面（TUI.md §7.6）：`/timers` 只读列表
 import { handleSkillsCommand } from "./cmd-skills.mjs"
 import { handleMcpCommand } from "./cmd-mcp.mjs"
 import { handleAutoCommand } from "./cmd-auto.mjs"
@@ -45,6 +46,7 @@ export const SLASH_COMMANDS = [
   { name: "/submodel", group: "Agent", desc: "subagent model per type (explore/plan/coder/eng-coder/eng-designer)" },
   { name: "/shell", group: "System", desc: "bash tool shell (git-bash/pwsh path; win11 cmd encoding fix)" },
   { name: "/goal", group: "Agent", desc: "set/view/cancel long-term goal" },
+  { name: "/timers", group: "Agent", desc: "list pending timers (read-only)" },
   { name: "/think", group: "Agent", desc: "thinking mode & reasoning effort" },
   { name: "/upgrade", group: "System", desc: "check for updates & upgrade" },
   { name: "/config", group: "System", desc: "agent config (embedding, proxy, turns, threshold, consult pool)" },
@@ -80,6 +82,7 @@ export const HANDLERS = {
   "/restore": handleRestoreCommand,
   "/plan": handlePlanCommand,
   "/goal": handleGoalCommand,
+  "/timers": handleTimersCommand,
   "/skills": handleSkillsCommand,
   "/mcp": handleMcpCommand,
   "/auto": handleAutoCommand,

package/src/tui/startup.mjs

@@ -1,4 +1,5 @@
-import { listSlots } from "@thincoder/core/session.mjs"
+import { listSlots, ledgerHealth } from "@thincoder/core/session.mjs"
+import { stripAtRefs } from "@thincoder/core/file-refs.mjs"
 import { ansi, C } from "./ansi.mjs"
 import { describeToolArgs, toolArgsLines } from "./tool-args.mjs"
 import { slimToolResultForDisplay } from "./tool-events.mjs"
@@ -6,6 +7,8 @@ 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"
+// #726 记录分支承载（痕行文案 live∥重建同调 ∥ 跨页回扫 ∥ subagent 合成件）
+import { digestTraceLines, resolveSplitTerminalNs, resolvedStartN, synthSubTask } from "./lifecycle-records.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
@@ -20,6 +23,8 @@ export const HISTORY_PAGE_MESSAGES = 20
  */
 export function historyToLines(history, startIdx, endIdx) {
   const lines = []
+  // 痕行复列 = 全量（本批 2026-10-01 · 台账 #768 自然形跟正）：逐记录出（记录序 ≡ 恢复序——零截点；
+  // 未结末轮照现——沿现行口径）。
   // Cross-page turn state: if the message BEFORE this page is a tool/assistant,
   // the page starts mid-turn and must NOT emit a fresh "❯ ThinCoder:" label
   // (a turn gets ONE label in the live run; history stores one assistant
@@ -39,9 +44,11 @@ export function historyToLines(history, startIdx, endIdx) {
       // text on restore — the image is invisible to the terminal and the user
       // just saw it live. A label with no content under it is noise (user
       // report 2026-08-30: stray "❯ You:" after the read_image block).
+      // B5 消（#677 · 跨线清零批）：恢复面剥离——注入展开文 → `@原文`（核单源 `stripAtRefs`，零第二实现；
+      // 手打 `[File: x]` 形近文本零误伤 = 核件 fail-closed 判据——与 VSC `panel-session.mjs` 同款逆变换）。
       const userText = typeof m.content === "string"
-        ? m.content
-        : (Array.isArray(m.content) ? m.content.find((p) => p?.type === "text")?.text ?? "" : "")
+        ? stripAtRefs(m.content)
+        : (Array.isArray(m.content) ? stripAtRefs(m.content.find((p) => p?.type === "text")?.text ?? "") : "")
       const displayable = typeof m.content === "string" ? !!m.content : !!(userText && userText.trim())
       if (!displayable) continue
       if (lines.length > 0) lines.push({ text: "", color: C.dim })
@@ -107,6 +114,17 @@ export function historyToLines(history, startIdx, endIdx) {
           },
         })
       }
+    } else if (m.kind === "digest") {
+      // #726 记录分支：痕行逐条复列（文案 = lifecycle-records 单一实现——与活流同算式）；
+      // **本批 2026-10-01（台账 #768 自然形跟正）**：复列 = **全量**（记录序 ≡ 恢复序——零截点；
+      // 未结末轮照现——沿现行口径）；
+      // end 的 `n` 解析序 = 预解析注记（跨页回扫产物）→ 页内（含 ±1 页沿）回扫。
+      const startN = m.status === "end" ? resolvedStartN(history, i) : null
+      lines.push(...digestTraceLines(m, startN))
+    } else if (m.kind === "subagent") {
+      // #726 记录分支：归档快照 ⇒ 冻结载体行 + 合成件（渲染端零改消费）；#790：行文取值同源自合成件 `key`
+      const frozen = synthSubTask(m) // 读面已剥 `sub:` 前缀——显示 = 本地无前缀形（与活流冻结载体同形）
+      lines.push({ text: `subagent activity: ${frozen.key}`, color: C.dim, _frozenSubTask: frozen })
     }
   }
   return lines
@@ -131,6 +149,8 @@ export function restoreLines(state, desc) {
   const loaded = Math.min(INITIAL_HISTORY_MESSAGES, total)
   const start = total - loaded
   state._lineIdCounter = state._lineIdCounter ?? 0
+  // #726 终态行 `n` 预解析（跨页分裂 ⇒ 存储回扫——调用面持有存储读口；页内直用者零回扫）
+  resolveSplitTerminalNs(window, base, state._agent?._recordStore)
   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
@@ -175,6 +195,8 @@ export function createLoadOlder({ agent, state, render }) {
     let older
     if (store?.page) {
       const { messages, base } = store.page(start, end, { margin: 1 })
+      // #726 终态行 `n` 预解析（页内（含 ±1 页沿）缺席本轮 start ⇒ 存储回扫）
+      resolveSplitTerminalNs(messages, base, store)
       older = historyToLines(messages, Math.max(0, start - base), Math.min(messages.length, end - base))
     } else {
       older = historyToLines(agent._fullHistory ?? [], start, end)
@@ -235,6 +257,9 @@ export function showStartup(ctx) {
   if (allSlots.length > 1) {
     pushLine(`Tip: ${allSlots.length} sessions — /session to view/switch`, C.dim)
   }
+  // F-L4（账本可靠批 · SESSION.md §6.25 判据句 4）：账本异常警示行——**不继承** `allSlots.length > 1`（单 / 零会话项目同样在场）；正常 ⇒ 零行。
+  const lh = ledgerHealth(agent.cwd)
+  if (lh.refused > 0 || lh.scene) pushLine(`会话账本异常（${lh.refused > 0 ? lh.lastReason : "scene"}）——打开会话即自动补回${lh.scene ? "；损坏现场档保留 30 天" : ""}`, C.warn)
   render()
 }
 

package/src/tui/subagent-blocks.mjs

@@ -1,5 +1,5 @@
 /**
- * subagent-blocks.mjs — 子agent 活动区块缓冲（AGENT-LOOP.md §7.2 D4，消费端）。
+ * subagent-blocks.mjs — 子agent 活动区块缓冲（docs/cli/design/TUI.md §6.8，消费端）。
  * state.subTasks[key] = { key, role, model, async（AGENT-LOOP-SUBAGENT.md §6.7.2 D-M7b——⟦ev⟧async 标记——
  * undefined = sync）, started, done, doneAt, blocks:
  * [{kind,text}], currentTool, toolArgs, turn, maxTurns, approval, lastError,
@@ -15,7 +15,7 @@
  */
 
 import { C } from "./ansi.mjs"
-// 第 27 批 §12.3①/②：relay 前缀文法单一权威 = src/agent/relay-prefix.mjs——本文件
+// 第 27 批：relay 前缀文法单一权威 = src/agent/relay-prefix.mjs——本文件
 // 不再自持前缀正则/解析副本（防第二套平行正则再漂移）。
 import { parseRelayPath } from "@thincoder/core/agent/relay-prefix.mjs"
 // zero-block 批（TUI.md §6.8.3.2 P1）：墓碑存活闸复活分支留痕——日志面（零新增 UI 形态）。
@@ -30,30 +30,29 @@ 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, livePoolHas, removeFrozenSubTaskLine, tombstoneSubKey } from "./subagent-freeze.mjs"
-export { computePanelBlocks, finishSubTask, finishSubTaskKey, freezeSubTaskLines, shiftFreezeAnchors, freezeDoneSubTasks, finishSubTasksByRole, freezeAllSubTasks, freezeReclaimDigestedBlocks } from "./subagent-freeze.mjs"
+import { freezeSubTaskLines, finishSubTaskKey, finishSubTask, freezeDoneSubTasks, freezeAllSubTasks, freezeReclaimDigestedBlocks, shiftFreezeAnchors, livePoolHas, removeFrozenSubTaskLine, tombstoneSubKey } from "./subagent-freeze.mjs"
+export { computePanelBlocks, finishSubTask, finishSubTaskKey, freezeSubTaskLines, shiftFreezeAnchors, freezeDoneSubTasks, freezeAllSubTasks, freezeReclaimDigestedBlocks } from "./subagent-freeze.mjs"
 
-// 前缀文法/解析已迁 src/agent/relay-prefix.mjs（第 27 批 §12.3②）——本文件不自持副本。
+// 前缀文法/解析已迁 src/agent/relay-prefix.mjs（第 27 批）——本文件不自持副本。
 /** ⟦ev⟧ token parser：`⟦ev⟧<name>\x1e<n>\x1e<max>\x1e<phase>\x1e<detail>`。phase done
- *  = async 完成即冻结（settle 时发）；settled = 挂起期完成——冻结延迟至 digest 消化
- *  完成（AGENT-LOOP-ASYNC-POOL.md §6.8 freezeReclaimDigestedBlocks 逐条回收——不等池空）或池空退出兜底补发；
+ *  = 消费面补发（#746：settle 一律发 settled）——收即冻结；settled = 完成（挂起 ∥ 非挂起两态）——
+ *  冻结延迟至消费窗（AGENT-LOOP-ASYNC-POOL.md §6.8 freezeReclaimDigestedBlocks 逐条回收——不等池空 ∥ 退出兜底补发）；
  *  stopped（AGENT-LOOP-SUBAGENT.md §6.7.2 D-M6）= cancel 中止——interrupted 语义立即冻结（标题 "stopped"）；
- *  queued（§20 D-SD3b）= 排队 spawn 返回即建 waiting 块（round2 #2 事件通道——
+ *  queued（AGENT-LOOP-SUBAGENT.md §6.9 D-SD3b）= 排队 spawn 返回即建 waiting 块（round2 #2 事件通道——
  *  `⟦ev⟧queued\x1e<kind>\x1e<position>\x1equeued\x1e<detail>`——kind slot/wait/depc）——
- *  启动后 ⟦ev⟧async 转 running（同 key 不重建）；cancelled（§20）= 出队/取消——**零字段**
+ *  启动后 ⟦ev⟧async 转 running（同 key 不重建）；cancelled（§6.9）= 出队/取消——**零字段**
  *  移除块（不冻结——无活动可冻结）——与 async 同型单独解析（不入本正则）；
  *  async（AGENT-LOOP-SUBAGENT.md §6.7.2 D-M7b + 处置 #4）= **零字段**标记（`⟦ev⟧async\x1e`——无 n/max/phase/detail 段）——
  *  routeSubToken 单独解析设 sub.async = true（不入本正则——本正则要求 4 字段）；**缺失 key
  *  （块尚未创建）缓冲 `state._pendingAsyncKeys`——ensureSubTaskKey 块创建时应用（兜底）。 */
 export const SUB_EVENT_RE = /^⟦ev⟧(turn|approval|done|settled|stopped|queued)\x1e([^\x1e]*)\x1e([^\x1e]*)\x1e([^\x1e]*)\x1e?([\s\S]*)$/
 
-// parseRelayPath 自 src/agent/relay-prefix.mjs import（第 27 批 §12.3①——文法单一权威，
+// parseRelayPath 自 src/agent/relay-prefix.mjs import（第 27 批——文法单一权威，
 // 语义与迁移前逐字一致；“嵌套解析任意深度/无前缀 → null”见该模块）。
 
 /** N1: render-layer throttle for child tool-output appends (generation relays verbatim). */
 export const SUB_RELAY_THROTTLE_MS = 250
-/** Roles a subagent tool child can take（⏹ 门控/渲染角色判据；F-2 后角色匹配完成面 =
- *  finishSubTasksByRole——finishSubTask 已收窄 no-op）。 */
+/** Roles a subagent tool child can take（⏹ 门控/渲染角色判据）. */
 export const SUBAGENT_ROLES = ["sub", "explore", "plan", "coder", "eng-coder", "eng-designer"]
 
 let _subRenderLast = 0
@@ -100,7 +99,7 @@ export function ensureSubTaskKey(state, key, role) {
       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）
+      _lineCount: 0, _charCount: 0, // 双维记账（TUI-SESSION-VIEW.md §5.4——行数维 + 字符维，subagent-children.mjs）
       stopped: false, // AGENT-LOOP-SUBAGENT.md §6.7.2: ⟦ev⟧stopped 冻结标记（标题 "stopped"）
       children: [], // SUBAGENT-TAIL: 嵌套子代理守护载体（内容并入本块——subagent-children.mjs）
     }
@@ -109,6 +108,9 @@ export function ensureSubTaskKey(state, key, role) {
     // ——块创建（此处）即应用——sub.async 区块创建即知（⏹ 门控/头标判定源保真）。
     if (state._pendingAsyncKeys?.delete(key)) state.subTasks[key].async = true
   }
+  // 停滞轻显形（TUI.md §7.7 · stall-indicator 批 2026-09-29）：③子代理面 = 可见输出事件——
+  // 内容回显四路由（text ∕ think ∕ 工具 ∕ 输出）与 ⟦ev⟧ 块状态事件均先经本函数 ⇒ 单点重置静默起算。
+  state.lastOutputAt = Date.now()
   return state.subTasks[key]
 }
 
@@ -158,7 +160,7 @@ export function routeSubToken(state, t, scheduleRender) {
   // pending 标志**（state._pendingAsyncKeys——ensureSubTaskKey 块创建时应用——async
   // 事件先于块存在到达不丢——queued→running ⏹ 可见性保真——⏹ 门控与头标 async 判定源）。
   // 内层（嵌套 explore#M/）async 剥除不路由（防污染外层块头）。
-  // §20 D-SD3b：queued 等待块实际启动（补位/释放）→ **转 running——同 key 不重建**
+  // §6.9 D-SD3b：queued 等待块实际启动（补位/释放）→ **转 running——同 key 不重建**
   // ——清 waiting 标注（sub.queued）+ started 归零（elapsed 从实际启动计时——与池
   // startedAt 语义一致——排队等待不计 elapsed）。
   if (!nested && /^⟦ev⟧async(\x1e|$)/.test(payload)) {
@@ -169,6 +171,7 @@ export function routeSubToken(state, t, scheduleRender) {
         delete live.queued
         live.started = Date.now()
       }
+      state.lastOutputAt = Date.now() // 停滞轻显形（§7.7）：③块状态——queued→running 转正（头标 ∕ 走时可感）
     }
     else {
       state._pendingAsyncKeys ??= new Set()
@@ -177,7 +180,7 @@ export function routeSubToken(state, t, scheduleRender) {
     scheduleRender()
     return true
   }
-  // §20 D-SD3b（round2 #2——cancelled 事件）：取消/出队 → 移除等待块（**不冻结**——
+  // §6.9 D-SD3b（round2 #2——cancelled 事件）：取消/出队 → 移除等待块（**不冻结**——
   // 从未启动无活动可冻结；running 取消走 ⟦ev⟧stopped 冻结——两者通道分明）。守卫：
   // 仅 !async 块（waiting 块未启动——async 置位 = running——running 的取消以 stopped
   // 通道表达，cancelled 永不合法指向 running 块——迟到/失序事件不误删）。缺失块
@@ -190,16 +193,17 @@ export function routeSubToken(state, t, scheduleRender) {
       // ⇒ 后续 ⟦ev⟧stopped 经 ensureSubTaskKey 直接丢弃（零幻影冻结块——探针实证的
       // state.lines 0 → 1 路径封死）；no-block 面不写（无可防之幻影——语义零扩）。
       tombstoneSubKey(state, path.head)
+      state.lastOutputAt = Date.now() // 停滞轻显形（§7.7）：③块状态——出队 ∕ 取消块移除（可见）
     }
     scheduleRender()
     return true
   }
   const sub = ensureSubTaskKey(state, path.head, path.head.slice(0, path.head.lastIndexOf("#")))
   if (!sub) return true // frozen tombstone — late token from an aborted child: drop
-  // ⟦ev⟧：turn/approval 进度 → 仅头部（D1——不进 blocks/主流）；done（§15 D-A3）=
-  // 完成即冻结（settle 时发）；settled（AGENT-LOOP-ASYNC-POOL.md §6.8 D-S8）= 挂起期完成——驻留面板中间态
-  // "done · awaiting digestion"，池空补发冻结；stopped（AGENT-LOOP-SUBAGENT.md §6.7.2）= cancel——立即冻结；
-  // queued（§20 D-SD3b）= 排队 spawn 等待块（spawn 返回即建/状态变迁刷新——覆盖式
+  // ⟦ev⟧：turn/approval 进度 → 仅头部（D1——不进 blocks/主流）；done（AGENT-LOOP-SUBAGENT.md §6.7.3 D-A3）= 消费面补发（#746：
+  // settle 一律发 ⟦ev⟧settled）——收即冻结；settled（AGENT-LOOP-ASYNC-POOL.md §6.8 D-S8）= 完成（挂起 ∥ 非挂起两态）——
+  // 驻留面板中间态 "done · awaiting digestion"，冻结延迟至消费窗（回收 ∥ 退出兜底）；stopped（AGENT-LOOP-SUBAGENT.md §6.7.2）= cancel——立即冻结；
+  // queued（§6.9 D-SD3b）= 排队 spawn 等待块（spawn 返回即建/状态变迁刷新——覆盖式
   // 更新 sub.queued——块不可展开（无活动流）；启动后 async 事件清标转 running）。
   if (payload.startsWith("⟦ev⟧")) {
     // 内层完成信号（沿革：D-M8 子标 → R23 子块段 → SUBAGENT-TAIL 并入——显示契约
@@ -409,6 +413,7 @@ export function ensureCompressPanel(state, info = {}) {
   const messages = Number.isInteger(info.messages) && info.messages >= 0 ? info.messages : "?"
   appendSubBlock(panel, "status", "Compressing context…\n", { fresh: true })
   appendSubBlock(panel, "meta", `summarizing ${messages} messages\n`, { fresh: true })
+  state.lastOutputAt = Date.now() // 停滞轻显形（§7.7 语义填充——压缩面板起始 ∕ 刷新 = 可见输出）
   return panel
 }
 
@@ -419,6 +424,7 @@ export function markCompressFailed(state, error) {
   const text = error?.message ? String(error.message) : String(error ?? "unknown error")
   panel.lastError = text
   appendSubBlock(panel, "err", `Compression failed: ${text}\n`, { fresh: true })
+  state.lastOutputAt = Date.now() // 停滞轻显形（§7.7 语义填充——压缩失败行 = 可见输出）
 }
 
 /** 冻结压缩面板进流（同完成子代理的载体/折叠 key）+ 释放 live 条目。 */
@@ -438,6 +444,7 @@ export function markCompressDone(state, info = {}) {
   panel.currentTool = null
   appendSubBlock(panel, "status", `Compressed: ${tokensFreed} tokens freed → summary (${seconds}s)\n`, { fresh: true })
   freezeCompressPanel(state, panel)
+  state.lastOutputAt = Date.now() // 停滞轻显形（§7.7 语义填充——压缩完成冻结块入流 = 可见输出）
 }
 
 /** 降级态（onCompress mode:"fallback"）——3 连败后 "truncated to N messages"。 */
@@ -450,4 +457,5 @@ export function markCompressFallback(state, info = {}) {
   panel.currentTool = null
   appendSubBlock(panel, "err", `Compression failed — fallback: truncated to ${tailMessages} messages\n`, { fresh: true })
   freezeCompressPanel(state, panel)
+  state.lastOutputAt = Date.now() // 停滞轻显形（§7.7 语义填充——降级冻结块入流 = 可见输出）
 }

package/src/tui/subagent-children.mjs

@@ -16,7 +16,7 @@
  * 省略计数真值（N6——D-ST5）：`…（已省略 N 行）` 的 N 只随内容移除增长；标记自身
  * 不占额度、不被丢弃、不计入 N。
  *
- * TUI-OOM-ROOTCAUSE（TUI.md §15.1 事实 3 / §15.3.3）：原环按 `\n` 计数——无换行巨 chunk
+ * TUI-OOM-ROOTCAUSE（TUI-SESSION-VIEW.md §5 动机注 / §5.3）：原环按 `\n` 计数——无换行巨 chunk
  * 净增 0 行 → 环永不触发、文本无界。本模块加**字符维**（第二维——行数维逐字不动，D-TB5）：
  * `carrier._charCount` 与 `SUB_BLOCK_CHAR_LIMIT` 双维同时满足（先到先裁）；字符维裁剪
  * 按被裁文本行数折算 N（无幽灵计数——N6）。
@@ -25,7 +25,7 @@ import { SUB_BLOCK_CHAR_LIMIT, MIDDLE_TRUNC_MARKER, capText } from "./display-bu
 
 export const SUB_BLOCK_LINE_LIMIT = 500
 
-/** 单块自身额度（TUI-OOM-ROOTCAUSE §15.1 事实 3：无换行巨 chunk —— 行数维净增 0、
+/** 单块自身额度（TUI-OOM-ROOTCAUSE·TUI-SESSION-VIEW.md §5 动机注 / §5.1：无换行巨 chunk —— 行数维净增 0、
  *  环永不触发；入块文本先过本条（头 3/4 + 尾 1/4 + 中段标记）——单行内容不因字符维
  *  裁剪被整行丢光（环总量裁剪仍按最旧先行）。 */
 const SUB_BLOCK_CAP_OPTS = {
@@ -105,7 +105,7 @@ function dropCarrierLines(carrier, want) {
   return dropped
 }
 
-/** 字符维裁剪（§15.3.3——无换行巨 chunk 的堵口）：逐行丢最旧直至释放 ≥ want 字符；
+/** 字符维裁剪（§5.3——无换行巨 chunk 的堵口）：逐行丢最旧直至释放 ≥ want 字符；
  *  行数按实际被丢行折算 N（无幽灵计数——N6）；标记不占额度。返回释放字符数。 */
 function dropCarrierChars(carrier, want) {
   if (!(want > 0)) return 0
@@ -123,7 +123,7 @@ function dropCarrierChars(carrier, want) {
 }
 
 /** 单载体 trim（原树级 trimSubTree 收窄——D-ST4）：超 500 显示行 → 最旧先行丢行；
- *  超 SUB_BLOCK_CHAR_LIMIT 字符 → 同款最旧先行（双维先到先裁——TUI.md §15.3.4）。 */
+ *  超 SUB_BLOCK_CHAR_LIMIT 字符 → 同款最旧先行（双维先到先裁——TUI-SESSION-VIEW.md §5.4）。 */
 function trimSubCarrier(carrier) {
   const over = (carrier._lineCount ?? 0) - SUB_BLOCK_LINE_LIMIT
   if (over > 0) dropCarrierLines(carrier, over)
@@ -132,7 +132,7 @@ function trimSubCarrier(carrier) {
 }
 
 /** kind 合并追加（载体级）——净增行记账（显示行口径；省略标记不参与合并——N6）；
- *  字符账同步累加（第二维——§15.3.4）。 */
+ *  字符账同步累加（第二维——§5.4）。 */
 function pushBlock(carrier, kind, text, fresh) {
   if (!text) return
   const capped = capText(text, SUB_BLOCK_CAP_OPTS) // 单块自身额度（无换行巨 chunk 堵口）