thincoder 0.12.66 → 0.12.68

package/src/tui/cmd-clear.mjs

@@ -9,14 +9,14 @@ export async function handleClearCommand(ctx) {
     ], { defaultIndex: 1 })
     if (e?.action === "yes") {
       state.lines = []
-      state._linesChars = 0 // TUI-OOM-ROOTCAUSE（§15.3.2）：行集清空 → 字符账同步归零
+      state._linesChars = 0 // TUI-OOM-ROOTCAUSE（TUI-SESSION-VIEW.md §5.3）：行集清空 → 字符账同步归零
       state.streaming = ""
       render()
     }
     return
   }
   state.lines = []
-  state._linesChars = 0 // TUI-OOM-ROOTCAUSE（§15.3.2）：行集清空 → 字符账同步归零
+  state._linesChars = 0 // TUI-OOM-ROOTCAUSE（TUI-SESSION-VIEW.md §5.3）：行集清空 → 字符账同步归零
   state.streaming = ""
   render()
 }

package/src/tui/cmd-config.mjs

@@ -20,6 +20,14 @@ export function poolCur(pl, defaults) {
   return (k) => (Number.isInteger(pl?.[k]) && pl[k] >= 1 ? pl[k] : defaults.agent.poolLimits[k])
 }
 
+/** Effort 菜单档位构造（#16 双 `none` 去重——枚举自带 `none` 的族如 qwen3.8-flash 时原来出两行）：
+ *  `none` 恒为首项且唯一，其余档序保持（`filter` 保序）。语义面零改——`none` = 清档，
+ *  消费点 `:205`/`:232` 只认 `=== "none"`；空枚举在 `pickEffort` 处已早退 null、不经本函数。
+ *  Exported for unit tests (`cmd-config-effort.test.mjs`). */
+export function effortMenuLevels(enumList) {
+  return ["none", ...(enumList ?? []).filter((l) => l !== "none")]
+}
+
 /** /config command: view and set agent/embedding/proxy config. */
 export async function handleConfigCommand(ctx, args = []) {
   const { agent, pushLine, pushLabel, showPicker, askQuestion, persistRaw, maskKey, pickModelForSlot } = ctx
@@ -27,6 +35,7 @@ export async function handleConfigCommand(ctx, args = []) {
   let ac = agent.config?.agent ?? {}
   let ec = agent.config?.embedding ?? {}
   let tc = agent.config?.traces ?? {}
+  let dc = agent.config?.diagnostics ?? {}
 
   // agent.config.proxy 已被 loadConfig 归一化为 { uri, web, model } | undefined
   function proxySummary() {
@@ -177,7 +186,7 @@ export async function handleConfigCommand(ctx, args = []) {
     // min/low/medium/high/max list made the user pick values that the runtime then
     // silently dropped as out-of-enum (2026-08-17 audit). Show the model's real enum.
     if (!enumList || enumList.length === 0) return null // model has no effort — skip
-    const levels = ["none", ...enumList] // "none" = clear the effort
+    const levels = effortMenuLevels(enumList) // "none" = clear the effort（自带去重——#16）
     const entries = levels.map((l) => ({ type: "item", text: l === current ? `${l}  ← current` : l, action: l }))
     const c = await showPicker("Reasoning effort", entries, { defaultIndex: Math.max(0, levels.indexOf(current ?? "none")) })
     return c ? c.action : null // Esc → null (keep unchanged)
@@ -242,7 +251,7 @@ export async function handleConfigCommand(ctx, args = []) {
     }
   }
 
-  // ── 并发池子菜单（§11.1/§11.2——agent.poolLimits——读/改三域；保存经 saveProxy
+  // ── 并发池子菜单（agent.poolLimits——读/改三域；保存经 saveProxy
   // 落盘 + reloadConfig 热应用——下个 spawn 生效）──
   async function poolMenu() {
     let poolIdx = 0
@@ -333,6 +342,7 @@ export async function handleConfigCommand(ctx, args = []) {
     ac = agent.config?.agent ?? {}
     ec = agent.config?.embedding ?? {}
     tc = agent.config?.traces ?? {}
+    dc = agent.config?.diagnostics ?? {}
     const consultCount = (ac.consultModels ?? []).length
     const pl = ac.poolLimits ?? {}
     const cur = poolCur(pl, DEFAULTS)
@@ -346,6 +356,7 @@ export async function handleConfigCommand(ctx, args = []) {
       { type: "item", text: `agent.verifyGuard = ${ac.verifyGuard === true ? "on" : "off"}`, action: "agent.verifyGuard" },
       { type: "item", text: `traces.enabled = ${tc.enabled === false ? "off" : "on"}（轨迹存档——发布默认关——隐私）`, action: "traces.enabled" },
       { type: "item", text: `traces.retentionHours = ${tc.retentionHours ?? 24} h（超期文件启动时清理）`, action: "traces.retentionHours" },
+      { type: "item", text: `diagnostics.heapSnapshot = ${dc.heapSnapshot === true ? "on" : "off"}（堆快照采集——默认关——桌面会话即时生效）`, action: "diagnostics.heapSnapshot" },
       { type: "item", text: `agent.consultModels = ${consultCount} model(s)${consultCount ? ` (${(ac.consultModels ?? []).map((m) => m.provider + ":" + m.model).join(", ")})` : ""}`, action: "consult" },
       { type: "item", text: `agent.consultTurns = ${ac.consultTurns ?? 40}`, action: "agent.consultTurns" },
       { type: "item", text: `agent.consultTimeoutMs = ${Math.round((ac.consultTimeoutMs ?? 600000) / 60000)} min`, action: "agent.consultTimeoutMs" },
@@ -369,6 +380,7 @@ export async function handleConfigCommand(ctx, args = []) {
       pushLine(`agent.verifyGuard: ${ac.verifyGuard === true ? "on" : "off"}`, C.dim)
       pushLine(`traces.enabled: ${tc.enabled === false ? "off" : "on"}（默认 off——发布隐私——本地分析可开）`, C.dim)
       pushLine(`traces.retentionHours: ${tc.retentionHours ?? 24}（超期文件启动清理——D-TR10）`, C.dim)
+      pushLine(`diagnostics.heapSnapshot: ${dc.heapSnapshot === true ? "on" : "off"}（堆快照采集——默认关——桌面会话即时生效）`, C.dim)
       pushLine(`agent.consultModels: ${(ac.consultModels ?? []).map((m) => `${m.provider}:${m.model}${m.effort ? ` (${m.effort})` : ""}`).join(", ") || "(none)"}`, C.dim)
       pushLine(`agent.poolLimits: { engCoder: ${cur("engCoder")}, other: ${cur("other")}, advisor: ${cur("advisor")} }（async 分域上限——默认 4/4/4——agent.poolLimits 可配）`, C.dim)
       pushLine(`agent.consultTurns: ${ac.consultTurns ?? 40}`, C.dim)
@@ -429,6 +441,18 @@ export async function handleConfigCommand(ctx, args = []) {
       continue // 回主菜单（Esc 退出）
     }
 
+    if (choice.action === "diagnostics.heapSnapshot") {
+      const newVal = dc.heapSnapshot !== true // 显式写布尔（默认关——fail-closed 显示判定同向）
+      try {
+        await saveProxy((raw) => {
+          raw.diagnostics = { ...(raw.diagnostics ?? {}), heapSnapshot: newVal }
+        })
+        pushLabel("❯ Config", ansi.bold + C.tool)
+        pushLine(`diagnostics.heapSnapshot = ${newVal ? "on" : "off"}（桌面会话即时生效 ∕ 本进程下次启动）`, C.tool)
+      } catch (error) { pushLine(`Save failed: ${error.message}`, C.error) }
+      continue // 回主菜单（Esc 退出）
+    }
+
     // Embedding model is fixed (BAAI/bge-m3, SiliconFlow) — no picker; it's over-engineering
     // to expose model choice when the vector index format assumes one embedding space.
 

package/src/tui/cmd-eng.mjs

@@ -52,7 +52,7 @@ export async function handleEngCommand(ctx) {
   // FR31 ③ / KD10（翻转点②·CLI `/eng`）：ON ⇒ 清 plan 残留（内存位 + 未注入的 plan 提示语）；
   // OFF 方向不动（普通模式零改——FR31 边界）。提示行仅在真清到东西时出（不喧宾）。
   const planReset = agent.config.agent.engineering ? clearPlanMode(agent) : false
-  // §11.2 D-24b: per-review instances die with the mode (fresh convergence cycles
+  // AGENT-LOOP-ASYNC-POOL.md §6.10 D-24b: per-review instances die with the mode (fresh convergence cycles
   // on the next toggle).
   agent._advisorRuns = new Map()
   if (!agent.config.agent.engineering) {

package/src/tui/cmd-mcp.mjs

@@ -181,7 +181,7 @@ Return ONLY the JSON object:`,
         }],
         tools: [],
         signal: AbortSignal.timeout(15_000),
-        // §18.6 D-TR4/D-TR6（2026-09-04 fix round1）：/mcp ai 生成调用经 chat() 唯一
+        // TRACES.md §6.1 D-TR4/D-TR6（2026-09-04 fix round1）：/mcp ai 生成调用经 chat() 唯一
         // 采集点——补轨迹元数据 + traces 开关透传（agent.config.traces.enabled——
         // 关=不落盘必须全覆盖——与 agent.mjs/context.mjs 同模式）
         logCtx: {

package/src/tui/cmd-new.mjs

@@ -15,12 +15,12 @@ export async function handleNewCommand(ctx) {
     // slot（实锤 .19/.3 双副本）。_slot 更新为粘性新槽位。
     resetSessionState(agent)
     agent._slot = slot
-    // §14.3.4：/new 绑定新槽记录存储（baseHistory 空——identity 此时为 null = 待固化；
+    // SESSION.md §6.14：/new 绑定新槽记录存储（baseHistory 空——identity 此时为 null = 待固化；
     // 首次保存/首条追加时补写现场身份）
     bindRecordStore(agent, { slotFile: slotPath(agent.cwd, slot), identity: agent._sessionStart ?? null, baseHistory: [] })
     state.tasks = []
     state.lines = []
-    state._linesChars = 0 // TUI-OOM-ROOTCAUSE（§15.3.2）：行集清空 → 字符账同步归零
+    state._linesChars = 0 // TUI-OOM-ROOTCAUSE（TUI-SESSION-VIEW.md §5.3）：行集清空 → 字符账同步归零
     state.streaming = ""
     render()
     pushLine(`New session started (slot ${slot}; /session to switch back)`, C.dim)

package/src/tui/cmd-reindex.mjs

@@ -45,7 +45,7 @@ export async function handleReindexCommand(ctx) {
   const unlisted = cr?.unlistedExts?.count ? cr.unlistedExts : dr?.unlistedExts
   if (unlisted?.count > 0) {
     const sample = unlisted.exts.map((e) => e.ext).join(" ")
-    pushLine(`  ${unlisted.count} file(s) with unlisted extension(s) skipped (${sample}) — declare them in .thincoder/conventions.json (index.codeExtensions / index.docExtensions) to index them`, C.warn)
+    pushLine(`  ${unlisted.count} file(s) with unlisted extension(s) skipped (${sample}) — declare them in PROJECT-MANIFEST.json (index.codeExtensions / index.docExtensions) to index them`, C.warn)
   }
   pushLine(`[reindex] Done, ${total} entries total. Vectors will be lazily generated on next search.`, C.tool)
 }

package/src/tui/cmd-session.mjs

@@ -1,4 +1,4 @@
-import { listSlots, switchToSlot, applySession, renameSlot, activeSlot, slotOccupancy, readEndMarker, sessionDescriptor, loadSlotFile } from "@thincoder/core/session.mjs"
+import { listSlots, switchToSlot, applySession, renameSlot, activeSlot, slotOccupancy, readEndMarker, sessionDescriptor, loadSlotFile, ledgerHealth } from "@thincoder/core/session.mjs"
 import { resolveEngineeringManifest } from "@thincoder/core/manifest.mjs"
 import { ansi, C } from "./ansi.mjs"
 import { restoreLines } from "./startup.mjs"
@@ -20,7 +20,7 @@ export async function handleRenameCommand(ctx, args) {
     pushLine(`Title too long (max 80 chars)`, C.error)
     return
   }
-  // §12.2.5：renameSlot 契约 { ok, reason }——失败原因对用户可见（F3）
+  // renameSlot 契约 { ok, reason }——失败原因对用户可见（F3）
   const r = renameSlot(agent.cwd, slot, title)
   if (!r.ok) {
     const why = {
@@ -58,7 +58,14 @@ export async function handleSessionCommand(ctx) {
     return `${dt.getMonth() + 1}/${dt.getDate()} ${String(dt.getHours()).padStart(2, "0")}:${String(dt.getMinutes()).padStart(2, "0")}`
   }
   const truncate = (s, n) => (stringWidth(s) <= n ? s : sliceByWidth(s, Math.max(1, n - 1)) + "…")
+  // F-L4（账本可靠批 · SESSION.md §6.25 判据句 4）：账本异常 ⇒ 列表头部警示行（正常 ⇒ 一行不加
+  // ——负断言）；在场条件 = `refused > 0 ∨ scene`（不继承会话计数条件）。文案 = 三端同句（zh 在册字面）。
+  const lh = ledgerHealth(agent.cwd)
+  const ledgerWarn = (lh.refused > 0 || lh.scene)
+    ? `会话账本异常（${lh.refused > 0 ? lh.lastReason : "scene"}）——打开会话即自动补回${lh.scene ? "；损坏现场档保留 30 天" : ""}`
+    : null
   const entries = [
+    ...(ledgerWarn ? [{ type: "header", text: ledgerWarn }] : []),
     { type: "header", text: `Sessions (● = active, ↑↓ select, Enter switch, Esc cancel; /rename <title> renames the active one)` },
     ...slots.map((s) => {
       // 2026-08-31 会诊：行宽必须按显示宽度截断（原按 UTF-16 length 截 40 = 中文 80 格，
@@ -66,7 +73,8 @@ export async function handleSessionCommand(ctx) {
       // wrap → 残影）；title 此前完全不截断（可任意长）也是超宽源，一并宽度截断。
       const rawLabel = s.title || (s.firstMessage ? `"${s.firstMessage}"` : "(empty)")
       const label = truncate(rawLabel, 36)
-      const turns = s.turnCount > 0 ? `${s.turnCount} turns` : "0 turns"
+      // 计数不可得（`null`）⇒ 「— turns」占位（禁显示 0——真 0 与未知可分；§6.25 判据句 4）
+      const turns = s.turnCount == null ? "— turns" : `${s.turnCount} turns`
       const when = shortDate(s.updatedAt)
       const model = s.activeProvider ? ` — ${s.activeProvider}` : ""
       const marker = s.slot === highlightSlot ? " ●" : ""
@@ -114,11 +122,11 @@ export async function handleSessionCommand(ctx) {
   // #41 准翻列：附着动作 = 翻转面自己赋值（`agent.manifest` ← 判据结果——相位行当回合起活）。
   if (manifestAfterSwitch) agent.manifest = manifestAfterSwitch
   // Rebuild from history (lazy) — the display snapshot is deprecated.
-  // §14.3.6：描述符 { history（尾窗+±1）, total, base }——标签口径 = total（非窗口长度）；
+  // SESSION.md §6.14：描述符 { history（尾窗+±1）, total, base }——标签口径 = total（非窗口长度）；
   // 未绑定（占用分支——模式 F）回退全量数组。
   const desc = sessionDescriptor(agent, data)
   state.lines = []
-  state._linesChars = 0 // TUI-OOM-ROOTCAUSE（§15.3.2）：切槽重建行集 → 字符账归零，restoreLines 重新入账
+  state._linesChars = 0 // TUI-OOM-ROOTCAUSE（TUI-SESSION-VIEW.md §5.3）：切槽重建行集 → 字符账归零，restoreLines 重新入账
   restoreLines(state, desc)
   state.tasks = agent.tasks ?? []
   if (state.tasks.length > 0 && state.tasks.every((t) => t.status === "done")) {

package/src/tui/cmd-think.mjs

@@ -2,6 +2,9 @@
  *  Interactive loop UX — stays in menu after each action, Esc to exit.
  *  ctx: { agent, showPicker, syncProviderField, pushLine, pushLabel } */
 import { ansi, C } from "./ansi.mjs"
+// off 形族单源（`docs/core/design/MODEL-SPECS.md` §16.2 / §16.4）——取形与「有效 off 路径」判据
+// 一律自本档取，本档零副本（叶档：零 import 纯函数）。
+import { thinkOffShape, thinkOffPath } from "@thincoder/core/think-off.mjs"
 
 export async function handleThinkCommand(ctx, args = []) {
   const { agent, showPicker, syncProviderField, pushLine, pushLabel } = ctx
@@ -14,11 +17,26 @@ export async function handleThinkCommand(ctx, args = []) {
   const thinkOnValue = spec.thinkEnabledValue ?? "enabled"
   const isCustomThink = thinkOnValue !== "enabled"
   const effortLevels = spec.reasoningEffortEnum ?? ["high", "max"]
+  // 有效 off 路径（判据单源 = `@thincoder/core/think-off.mjs`；§16.4）——无 ⇒ 不提供 / 不宣称 off。
+  const offPath = thinkOffPath(spec)
+
+  /** 环内头与回执共用的状态式（§16.4）：无有效 off 路径 ⇒ 恒报 ON——残留 off 标记（`null` /
+   *  `{type:"disabled"}`）不生效（服务端恒思考 / 形不发字段），「Thinking: OFF」会是假断言。
+   *  `thinking:null` 是显式 off 标记（NF1 约定）——不得落入"未设置即 ON"的默认显示（评审 #3）；
+   *  用 `!== null` 而非 `!= null`：undefined（从未设置）须保持既有 ON 显示（qwen3.x 服务端默认开思考）。 */
+  const thinkingOn = () => !offPath || cur.thinking?.type === thinkOnValue
+    || (cur.thinking !== null && cur.thinking?.type === undefined && !isCustomThink)
 
   const autoThinkEnabled = agent.config?.agent?.autoThink === true
   const sub = args[0]?.toLowerCase()
   if (sub === "on" || sub === "off") {
     if (autoThinkEnabled) { pushLine("Auto-think is ON — manual settings are overridden each turn; turn Auto off first via /think", C.error); return }
+    // §16.4：无有效 off 路径 ⇒ 拒绝该动作（不写盘）——服务端恒思考 / 形不发字段，供一个不生效
+    // 的入口 + 措辞免责 = 半实现（§16.12 项 3）。`/think on` 与档位面零改。
+    if (sub === "off" && !offPath) {
+      pushLine("No off path for this model — thinking cannot be turned off here (use /think effort <level>)", C.error)
+      return
+    }
     await applyThink({ action: sub }, agent, syncProviderField, spec, isEffortOnly, isCustomThink, thinkOnValue)
     pushLabel("❯ Think", ansi.bold + C.tool)
     pushLine(`Thinking: ${sub}`, C.tool)
@@ -43,16 +61,16 @@ export async function handleThinkCommand(ctx, args = []) {
   let mainIdx = 0
   for (;;) {
     const autoOn = agent.config?.agent?.autoThink === true
-    // thinking:null 是显式 off 标记（NF1 约定）——不得落入"未设置即 ON"的默认显示（评审 #3）。
-    // 用 !== null 而非 != null：undefined（从未设置）须保持既有 ON 显示（qwen3.x 服务端默认开思考）。
-    const thinkingEnabled = cur.thinking?.type === thinkOnValue
-      || (cur.thinking !== null && cur.thinking?.type === undefined && !isCustomThink)
+    // 头 / 回执同式（`thinkingOn` 单口径）——状态与回执不得各自成式。
+    const thinkingEnabled = thinkingOn()
 
     const entries = [
       { type: "header", text: `Auto: ${autoOn ? "ON" : "OFF"} | Thinking: ${thinkingEnabled ? "ON" : "OFF"} | Effort: ${cur.reasoningEffort || "—"}` },
       { type: "item", text: `Auto: ${autoOn ? "ON" : "OFF"}`, action: "auto" },
     ]
-    if (!isEffortOnly && !autoOn) {
+    // Thinking 开关项：非 effort 族 ∧ 有有效 off 路径才渲染（§16.4——无有效 off 路径族不提供该动作，
+    // 入口在位 = 对无效操作的假告知）。
+    if (!isEffortOnly && offPath && !autoOn) {
       entries.push({ type: "item", text: `Thinking: ${thinkingEnabled ? "ON" : "OFF"}`, action: thinkingEnabled ? "off" : "on" })
     }
     if (!autoOn) {
@@ -66,10 +84,6 @@ export async function handleThinkCommand(ctx, args = []) {
     if (!e) return // Esc
     mainIdx = Math.max(0, entries.filter((en) => en.type === "item").indexOf(e))
 
-    const prevAuto = autoOn
-    const prevThinking = thinkingEnabled
-    const prevEffort = cur.reasoningEffort
-
     await applyThink(e, agent, syncProviderField, spec, isEffortOnly, isCustomThink, thinkOnValue)
 
     // Feedback
@@ -81,11 +95,9 @@ export async function handleThinkCommand(ctx, args = []) {
     } else if (e.action === "effort") {
       pushLine(e.level === "none" ? "Thinking: OFF" : `Reasoning effort: ${e.level}`, C.tool)
     } else {
-      // 与菜单头（:47-48）同式：`thinking:null`（NF1 显式 off）必须落 OFF——本式缺 `!== null` 守卫时
-      // effort 型 off 后回执误报 ON（同一状态、两处公式——单一口径 = 面板式）。
-      const nowEnabled = cur.thinking?.type === thinkOnValue
-        || (cur.thinking !== null && cur.thinking?.type === undefined && !isCustomThink)
-      pushLine(`Thinking: ${nowEnabled ? "ON" : "OFF"}`, C.tool)
+      // 与菜单头（`thinkingOn`）同式：`thinking:null`（NF1 显式 off）落 OFF；无有效 off 路径族
+      // 恒报 ON（§16.4——残留 off 标记不生效；本式缺守卫时 effort 型 off 后回执误报 ON = 红）。
+      pushLine(`Thinking: ${thinkingOn() ? "ON" : "OFF"}`, C.tool)
     }
   }
 }
@@ -93,7 +105,9 @@ export async function handleThinkCommand(ctx, args = []) {
 /** Shared apply logic — extracted from handleThinkCommand for reuse in both fast path and loop.
  *  Named export (2026-09-20): the on-default-effort rule (§2.8) is unit-tested by driving this
  *  directly with a synthetic spec — behavior otherwise unchanged.
- *  Effort 档位 `"none"` = 关思考 ⇒ 入口归一到 off 路径（与菜单 off 项同形——见内注释）。 */
+ *  Effort 档位 `"none"` = 关思考 ⇒ 入口归一到 off 路径（与菜单 off 项同形——见内注释）。
+ *  `spec` 同时供 off 取形（单源 = `@thincoder/core/think-off.mjs`）；`isCustomThink` 参数为调用面
+ *  既有形状保留（off 支取形已归单源，本档不再自行分族）。 */
 export async function applyThink(e, agent, syncProviderField, spec, isEffortOnly, isCustomThink, thinkOnValue) {
   const cur = agent.provider
   // `effort` 档位取 `"none"` = **关思考**（非“强度零”）：与本面 off 动作同语义 ⇒ 归一到 off 路径
@@ -124,7 +138,8 @@ export async function applyThink(e, agent, syncProviderField, spec, isEffortOnly
     if (isEffortOnly) {
       // Explicit off persists thinking:null (NF1 convention — distinguishable from autoThink's
       // delete/undefined); "on" deletes the marker so enable_thinking maps from effort again.
-      if (!enable) { cur.thinking = null; delete cur.reasoningEffort }
+      // off 取形同走单源（`thinkOffShape`——effort 族 ⇒ `null`；本支与下方非 effort 支同源零副本）。
+      if (!enable) { cur.thinking = thinkOffShape(spec); delete cur.reasoningEffort }
       // "on" 默认 effort 取 spec 枚举的**首个非 "none"** 档（批次档 §1.8-② / 设计 §2.8 D-9）：硬编码 "high"
       // 对 qwen3.8-max（enum xhigh/medium/low）无效，会被 core.mjs 枚举校验 throw（400 前置）；而直接取枚举
       // 首项在新档（首项 "none"）等于把思考关掉 ⇒ 跳过 "none"；枚举全 "none" 时与无枚举同型 ⇒ 回退 "high"
@@ -137,7 +152,10 @@ export async function applyThink(e, agent, syncProviderField, spec, isEffortOnly
         cur.thinking = { type: thinkOnValue }
         if (!cur.reasoningEffort) cur.reasoningEffort = "high"
       } else {
-        cur.thinking = isCustomThink ? undefined : { type: "disabled" }
+        // off 取形 = 单源 `thinkOffShape`（§15.4-2 / §16.2 生产者表第 2 行）：非 effort 族 ⇒
+        // `{type:"disabled"}`——自定义开值族随 §15.4-2 表改判由 `undefined`（不发字段 = 服务端
+        // 默认 = 想）改本形（达载荷层 = 真 off）。
+        cur.thinking = thinkOffShape(spec)
         delete cur.reasoningEffort
       }
       await syncProviderField(agent.activeProvider, "thinking", cur.thinking)

package/src/tui/cmd-timers.mjs

@@ -0,0 +1,33 @@
+/**
+ * cmd-timers.mjs — `/timers`：在途 timer 只读列表（最薄）。
+ *
+ * 机制单源 = `docs/core/design/AGENT-LOOP-ASYNC-POOL.md` §6.30；显示形态单源 = `docs/cli/design/TUI.md`
+ * §7.6（逐条 dim 行 `⏰<i> · 剩余 <mm:ss> · <message 首行（截断）>`；零在途 ⇒ 一行 `无在途 timer`）。
+ * **取消面不做**（取消 = 控制面——门 / 回执 / 持久化语义；停轮 = Ctrl+C，停机制 = `agent.timerWake` 关）。
+ * 取值 = `agent._pendingTimers` 活读（每次调用现算——零缓存）；剩余按 `expiresAt - now` 现算。
+ */
+import { C } from "./ansi.mjs"
+import { sanitizeDisplay, sliceByWidth, stringWidth } from "./render.mjs"
+
+/** 剩余 mm:ss（到期未送达 ⇒ 夹到 `00:00`——到期态另由状态行警示色承载，见 TUI.md §7.6）。 */
+function remainText(expiresAt, now) {
+  const sec = Math.max(0, Math.ceil((expiresAt - now) / 1000))
+  return `${String(Math.floor(sec / 60)).padStart(2, "0")}:${String(sec % 60).padStart(2, "0")}`
+}
+
+/** message 首行（截断——60 显示列 + `…`，同会话标题段口径）。 */
+function headText(message) {
+  const head = sanitizeDisplay(String(message ?? "").split("\n")[0])
+  return stringWidth(head) > 60 ? sliceByWidth(head, 59) + "…" : head
+}
+
+export async function handleTimersCommand(ctx) {
+  const { agent, pushLine } = ctx
+  const timers = agent?._pendingTimers ?? []
+  if (timers.length === 0) {
+    pushLine("无在途 timer", C.dim)
+    return
+  }
+  const now = Date.now()
+  timers.forEach((t, i) => pushLine(`⏰${i + 1} · 剩余 ${remainText(t.expiresAt, now)} · ${headText(t.message)}`, C.dim))
+}

package/src/tui/conversation-writer.mjs

@@ -11,7 +11,7 @@ import { shiftFreezeAnchors } from "./subagent-blocks.mjs"
  *              assistantLabeled: boolean }} */
 export function createConversationWriter({ state, render }) {
   const pushLine = (text, color, kind) => {
-    // TUI-OOM-ROOTCAUSE（TUI.md §15.3.1/§15.3.3）：行额度单点——行文本过 capLine
+    // TUI-OOM-ROOTCAUSE（TUI-SESSION-VIEW.md §5.1/§5.3）：行额度单点——行文本过 capLine
     // （LINE_MAX_CHARS——单行巨内容/无换行巨 chunk 的堵口）+ 总量账 + 预算对账。
     const line = { text: capLine(text), color, _kind: kind }
     state.lines.push(line)
@@ -31,7 +31,7 @@ export function createConversationWriter({ state, render }) {
 
   /** Message block label: blank line + label line. Breathing space between user/assistant messages */
   const pushLabel = (text, color) => {
-    // 行额度同 pushLine（§15.3.1——恢复行/标签行同口径）
+    // 行额度同 pushLine（§5.1——恢复行/标签行同口径）
     if (state.lines.length > 0) {
       const blank = { text: "", color: C.dim }
       state.lines.push(blank)

package/src/tui/display-budget.mjs

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

package/src/tui/fold-block.mjs

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

package/src/tui/index.mjs

@@ -42,6 +42,7 @@ import { createTuiState } from "./tui-state.mjs"
 import { createInputFace } from "./input-face.mjs"
 import { createConversationWriter } from "./conversation-writer.mjs"
 import { createTurnFace } from "./turn-face.mjs"
+import { createTimerWatch, fireTimerWake } from "./timer-watch.mjs"
 
 export { upgradeFailureText, pendingNoticeReady } from "./update-notice.mjs"
 
@@ -141,10 +142,26 @@ export async function startTUI(agent, opts = {}) {
   })
 
   // 回合面（turn-face.mjs，原址 :366）：submit / interaction（权限 + 提问）/ 图片粘贴 / turnCtx / turn
-  const { submit, turnCtx, askPermission, askQuestion, pasteClipboardImage } = createTurnFace({
+  const { submit, turn, turnCtx, askPermission, askQuestion, pasteClipboardImage } = createTurnFace({
     agent, state, pushLine, pushLabel, render, ensureAssistantLabel, summarize, conversation,
     handleSlash: (t) => handleSlash(t),
   })
+  // timer 空闲自唤醒闩（AGENT-LOOP-ASYNC-POOL.md §6.30.5 载体②）：装配点 = 回合面之后（`turn` 已就绪）；
+  // 触发 ⇒ 到期批送达 + 开 timer 轮（顶层链——`{ autoTurn: true, timerTurn: true }`）；
+  // 开关关（`agent.timerWake` false）⇒ 闩惰性（sync 内判——零注册）。
+  turnCtx.timerWatch = createTimerWatch({
+    agent,
+    // 火面异常兜底（先例 = key-handler `submit().catch(...)`）：无人值守的空闲轮报错不得走
+    // 进程级 `unhandledRejection`（闩已自撤）——落错误行 + 重同步（在途项仍在 ⇒ 链尾/此处再武装）。
+    onFire: () => fireTimerWake(turnCtx, { runTurn: turn }).catch((e) => {
+      pushLine(`[error] ${e?.message ?? e}`, C.error)
+      turnCtx.timerWatch?.sync()
+    }),
+  })
+  // #448①「关闭后补评估」（KD-6）：用户自发模态（picker ∕ wizard）全部退场 ⇒ 闩重武装——模态期被
+  // 抑制的到期件即达（无在途 / 开关关 ⇒ `sync()` 自判零注册——幂等）。两关闭点（picker 栈空 ∕
+  // wizard 退场）同注本回调；抑制本体 = `timer-watch.mjs` `fireTimerWake` 模态门（同谓词 `modalOpen`）。
+  const reevalTimerWake = () => { turnCtx.timerWatch?.sync() }
 
   // ---------------------------------------------------------- Slash Commands
 
@@ -154,12 +171,14 @@ export async function startTUI(agent, opts = {}) {
   // Model picker + generic picker: implemented in pickers.mjs
   const { closePicker, showPicker, popPicker, renderPickerLines, openModelPicker, selectModel, setProviderKey, pickModelForSlot, confirmDelete } = createPickers({
     agent, state, render, ansi, C, pushLine, pushLabel, persistRaw, askQuestion, maskKey,
+    onModalClose: reevalTimerWake, // #448①「关闭后补评估」（picker 栈空点）
   })
 
   // First-launch config wizard: implemented in wizard.mjs, closure deps passed via ctx
   const { startWizard, renderWizard, wizardChooseProvider, wizardSubmitText, cancelWizard, wizardProviderItems } = createWizard({
     agent, state, pushLine, pushLabel, render, persistRaw,
     openModelPicker: () => openModelPicker(),
+    onModalClose: reevalTimerWake, // #448①「关闭后补评估」（wizard 退场点）
   })
 
   // /distill: impl in distill-cmd.mjs, ctx-passed
@@ -208,10 +227,9 @@ export async function startTUI(agent, opts = {}) {
   showStartup({ agent, state, opts, pushLine, pushLabel, render, startWizard })
   // LEDGER-SURFACE（§2.30.3.4）：台账可见面——首扫（setImmediate）+ 周期；dispose 挂进程退出（:278 cleanup 先例）
   const ledgerSurface = startLedgerSurface({ state, agent, pushLine, render })
-  // 前置缺陷最小修（2026-09-22 structure-debt · 父侧授权 · 只修调用点）：K-LX3 归核后
-  // `startLedgerSurface` 返回 **Promise**（resolve 出 `{ dispose }`）——原同步 `.dispose()`
-  // 令每次退钩抛 TypeError（`node test-startup.mjs` 前置红，HEAD 逐字同款）；按 Promise 承接。
-  process.on("exit", () => { void Promise.resolve(ledgerSurface).then((s) => s?.dispose?.()) })
+  // 端壳契约 = **恒同步返回 `{ dispose }`**（K-LX3 归核后与核形一致——核句柄异步就绪后桥接；
+  // 载入失败 ⇒ 空句柄）⇒ 退钩同步 `.dispose()`（零 TypeError）。
+  process.on("exit", () => ledgerSurface.dispose())
   backgroundIndex({ agent, state, render })
 
   // Check for updates (non-blocking, after startup screen)——实现 update-notice.mjs

package/src/tui/interaction.mjs

@@ -63,12 +63,14 @@ export function createInteraction(ctx) {
 
   function askPermission(name, args) {
     // auto mode: fully authorized, no more prompts
-    if (agent.autoApprove) {
+    // TURN-CAP-CONTINUE.md §1 #7 / D-TC15（2026-09-26）：`continue` 不在 AUTO 授权面——续期恒须人答；
+    // 无人值守档（depth-0 digest / AUTO）撞帽即收口（静默自续 = F8 禁止）。
+    if (agent.autoApprove && name !== "continue") {
       const argSummary = summarize(args)
       pushLine(`  [auto] ${name}${argSummary ? ` ${argSummary}` : ""}`, C.warn)
       return Promise.resolve(true)
     }
-    // 闸语义 / 请示流程 = 核单源（P2 批 §2.20）；本端只供展示面——卡片预览经 `io.ask` 缝
+    // 闸语义 / 请示流程 = 核单源（P2 批 docs/batches/2026-09-20-mechanism-parity-batch.md §2.20）；本端只供展示面——卡片预览经 `io.ask` 缝
     // 注入（permissionPreview 渲染在输入框上方，与 "Allow?" 提示同帧）。
     return coreAskPermission(name, args, {
       ask: ({ name: n, toolArgs }) => new Promise((resolve) => {
@@ -80,7 +82,7 @@ export function createInteraction(ctx) {
     })
   }
 
-  /** Batch permission ask (AGENT-LOOP.md §16 D-B1): one merged prompt covering N
+  /** Batch permission ask (D-B1): one merged prompt covering N
    *  non-readonly tools from the same toolCalls array — approve all / one by one /
    *  deny. Verdicts resolve as "approveAll" | "oneByOne" | "deny". */
   const BATCH_PREVIEW_LINES_PER_TOOL = 8

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

@@ -1,17 +1,19 @@
 import { C } from "./ansi.mjs"
+import { QUEUED_MAX_ITEMS } from "./queued-merge.mjs"
 
 /** busy 门禁（2026-09-22 structure-debt §2.1 分族 4 · #226）：processing（含 digest）期
- *  Enter 单槽受理 + 吞面四（模态 / 斜杠 / 空 / 槽满）+ 槽满提示 + 挂起面唤醒，Tab 恒吞；
- *  块体自 key-handler.mjs createKeyHandler 逐字搬移（仅去缩进；函数体自持原块入口判定）。
+ *  Enter 队列受理（容量 QUEUED_MAX_ITEMS）+ 吞面四（模态 / 斜杠 / 空 / 队满）+ 满队提示 +
+ *  挂起面唤醒，Tab 恒吞；块体自 key-handler.mjs createKeyHandler 逐字搬移（仅去缩进；函数体自持原块入口判定）。
  *  路由 = 分派器 createKeyHandler（守卫 = busy 块内返回条件：tab / 无 meta 的 Enter、回车）。 */
 export function handleBusyEnter(str, key, state, ctx) {
   const { pushLine, render } = ctx
   if (state.processing) {
-    // busy 门禁（INPUT-LOCK C'——2026-09-09 + F16 busy 单槽注入——2026-09-21 · busy-extend
-    // 扩面 2026-09-22）：processing（含 digest——单一判据）输入不禁——打字照常回显；Enter
-    // 提交 = 单槽注入（放行判据五条 = TUI-INPUT-BOX.md §4.1：非模态 · 非斜杠 · 非空 · 槽空
-    // ⇒ 清框入 pendingInput——回合尾 drain / 挂起 driver 送达；挂起两态不再是吞面）；
-    // 吞面四 = 模态 / 斜杠 / 空 / 槽满（吞 + 提示，文本保留；斜杠同禁发——白名单已删）；
+    // busy 门禁（INPUT-LOCK C'——2026-09-09 + F16 busy 队列受理——2026-09-21 · busy-extend
+    // 扩面 2026-09-22 · queue-visible 多槽 + 容量 8——2026-09-24）：processing（含 digest——单一
+    // 判据）输入不禁——打字照常回显；Enter 提交 = 入队（放行判据五条 = TUI-INPUT-BOX.md §4.1：
+    // 非模态 · 非斜杠 · 非空 · 未满队 ⇒ 清框入 pendingInput——步边界 pickup / 回合尾 drain /
+    // 挂起 driver 送达；挂起两态不再是吞面）；
+    // 吞面四 = 模态 / 斜杠 / 空 / 队满（吞 + 提示，文本保留；斜杠同禁发——白名单已删）；
     // 多行换行（meta/enter——编辑）照常放行；Tab 仍吞。**第 31 批**：↑↓ 分流见下方三规则块。
     if (key.name === "tab") return
     if ((key.name === "return" && !key.meta) || (str === "\r" && !key.meta)) {
@@ -23,18 +25,21 @@ export function handleBusyEnter(str, key, state, ctx) {
         pushLine(`[主会话处理中 —— 消息未发送（回合结束后请重按 Enter）]`, C.warn)
         render(); return
       }
-      // 条件 5：单槽满 = 拒绝 + 提示 + 文本保留（二次提交裁定——与挂起态槽满分支逐字同构）
-      if (state.pendingInput.length > 0) {
-        pushLine(`[主会话处理中 —— 已有一条消息待发送，请等其处理完成后再发送]`, C.warn)
+      // 条件 5：满队（第 9 条）= 拒绝 + 提示 + 文本保留（容量 8——多槽裁定连带；与挂起态满队分支同构）
+      if (state.pendingInput.length >= QUEUED_MAX_ITEMS) {
+        pushLine(`[主会话处理中 —— 已排队 ${QUEUED_MAX_ITEMS} 条消息，请等其处理完成后再发送]`, C.warn)
         render(); return
       }
-      // 入槽（判据全满足）：清框 + history 收录 + 草稿复位 + 单槽填充（§4.1 执行序）
+      // 入队（判据全满足）：清框 + history 收录 + 草稿复位 + 队列填充（§4.1 执行序）
       state.input = []; state.cursor = 0
       state.history.push(text)
       state.historyIndex = -1
       state._draft = null
       state.pendingInput.push(text)
-      // 挂起面入槽同款唤醒（§4.1）——busy 期该槽恒 null ⇒ 零动作；普通 busy 面零唤醒
+      // F4「新提交消息 → 恢复跟随」（§7.5 跟随——排队提交同列；与 turn-face.mjs submit 同款两行）
+      state.scroll = 0
+      state._followTail = true
+      // 挂起面入队同款唤醒（§4.1）——busy 期该槽恒 null ⇒ 零动作；普通 busy 面零唤醒
       if (state.suspended || state._suspPending) state._suspWake?.()
       render(); return
     }