thincoder 0.12.69 → 0.12.71

package/src/tui/index.mjs

@@ -68,7 +68,7 @@ export async function promptProviderIfInvalid(agent, openModelPicker, pushLine)
     await openModelPicker()
     if (!agent.provider) {
       // D-S2 取消提示（#841 措辞收正 = 渠道 ∕ 密钥——配置入口 /config）
-      pushLine("未配置有效渠道（渠道 ∥ 密钥缺位）：/config 设置渠道与密钥；/model 仅改本会话", C.warn)
+      pushLine("未配置有效渠道（渠道 ∥ 密钥缺位）：/config 设置渠道与密钥；/model 选定后本会话生效并成为默认模型", C.warn)
     }
     return true
   }
@@ -76,7 +76,7 @@ export async function promptProviderIfInvalid(agent, openModelPicker, pushLine)
     const name = agent.provider?.name
     if (name) {
       const model = typeof agent.provider.model === "string" && agent.provider.model ? agent.provider.model : null
-      pushLine(`尚未设置默认模型：本次使用 \`${name}${model ? `:${model}` : ""}\`——/config → 默认模型 设置一次；/model 仅改本会话`, C.warn)
+      pushLine(`尚未设置默认模型：本次使用 \`${name}${model ? `:${model}` : ""}\`——/config → 默认模型 设置一次（或 /model 选定即成为默认模型）`, C.warn)
     }
     return false
   }
@@ -242,12 +242,12 @@ export async function startTUI(agent, opts = {}) {
   await promptProviderIfInvalid(agent, () => openModelPicker(), pushLine)
 
   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 })
+  // LEDGER-SURFACE：台账可见面——首扫（setImmediate）+ 周期；dispose 挂进程退出（同 cleanup 先例）
+  const ledgerSurface = startLedgerSurface({ state, agent, render })
   // 端壳契约 = **恒同步返回 `{ dispose }`**（K-LX3 归核后与核形一致——核句柄异步就绪后桥接；
   // 载入失败 ⇒ 空句柄）⇒ 退钩同步 `.dispose()`（零 TypeError）。
   process.on("exit", () => ledgerSurface.dispose())
-  backgroundIndex({ agent, state, render })
+  backgroundIndex({ agent, state, render, pushLine })
 
   // Check for updates (non-blocking, after startup screen)——实现 update-notice.mjs
   // （D-S1c）：有 picker 打开时不硬抢——挂到 state.pendingNotice，picker 全部关闭后由

package/src/tui/ledger-surface.mjs

@@ -1,17 +1,15 @@
 /**
  * ledger-surface.mjs — TUI 台账可见面胶水（K-LX3 归核：实现单源 = `@thincoder/core/ledger-surface.mjs`，
- * 本档只剩**动态 import + TUI 色表注入**两件事——端壳静态链不得达 `node:sqlite`（W8 契约②）；
+ * 本档只剩**动态 import 转口**一事——端壳静态链不得达 `node:sqlite`（W8 契约②）；
  * 载入失败 = 降级不崩（N1），扫描拍重试）。
  *
- * 三面语义（启动行 / 变化行 / 状态位）见核档头注；判活展示（F-LX1）亦随归核自动带上——
- * 本档零实现、零复刻（KD-M2-3）。
+ * 状态位语义见核档头注；判活展示（F-LX1）亦随归核自动带上——本档零实现、零复刻（KD-M2-3）。
  *
  * 两端契约（#233——端壳与核形一致）：`startLedgerSurface` **恒同步返回 `{ dispose }`**——
  * 核句柄异步就绪（动态 import）后桥接；载入失败 ⇒ 空句柄（`dispose` 恒可调）；`dispose()`
  * 早于核就绪 ⇒ 置位且**跳过启动**（核侧零调用——零周期；N1 降级不崩）。调用点因此恒可按
  * 同步形态挂进程退钩（`process.on("exit", () => handle.dispose())`）。
  */
-import { C } from "./ansi.mjs"
 
 /** 核台账面惰性载入（动态 import——失败不缓存，下次扫描拍重试；N1 降级不崩）。 */
 let _core = null
@@ -29,10 +27,10 @@ let _loadCoreForTest = null
 export function _setLoadCoreForTest(fn) { _loadCoreForTest = fn }
 const loadCoreNow = () => (_loadCoreForTest ?? loadCore)()
 
-/** 单次扫描（直驱面——直通核实现；TUI 色表 `C` 注入）。 */
+/** 单次扫描（直驱面——直通核实现）。 */
 export async function runLedgerScan(opts = {}) {
   const core = await loadCoreNow()
-  return core.runLedgerScan({ ...opts, colors: C })
+  return core.runLedgerScan(opts)
 }
 
 /** TUI 挂载（首扫 + 周期——直通核实现）：**恒同步返回 `{ dispose }`**——核句柄异步就绪后
@@ -42,7 +40,7 @@ export function startLedgerSurface(ctx = {}) {
   let disposed = false
   let handle = null
   loadCoreNow()
-    .then((core) => { if (!disposed) handle = core.startLedgerSurface({ ...ctx, colors: C }) })
+    .then((core) => { if (!disposed) handle = core.startLedgerSurface(ctx) })
     .catch(() => { /* 载入失败 ⇒ 空句柄（N1） */ })
   return {
     dispose() {

package/src/tui/lifecycle-records.mjs

@@ -33,9 +33,11 @@ export function digestCapRecord(turns) {
   return { kind: "digest", status: "cap", mode: "stop", turns }
 }
 
-/** digest 收尾记录（终态行同点）：`ok` ∥ `ms`（行文案 `seconds` 由同一 `ms` 派生——同值单算式）。 */
-export function digestEndRecord({ ok, ms }) {
-  return { kind: "digest", status: "end", ok, ms }
+/** digest 收尾记录（终态行同点）：`ok` ∥ `ms`（行文案 `seconds` 由同一 `ms` 派生——同值单算式）；
+ *  `unsettled` = 本轮未销账条数（消化账务批 · 2026-10-05 · 台账 #930 —— 残余行判据 ∥ 重建同调；
+ *  零未销账 ⇒ 键缺席——零噪音，与帧面「> 0 才携」同判）。 */
+export function digestEndRecord({ ok, ms, unsettled = 0 }) {
+  return { kind: "digest", status: "end", ok, ms, ...(Number.isFinite(unsettled) && unsettled > 0 ? { unsettled } : {}) }
 }
 
 /** subagent 归档快照记录（冻结载体行插入同点）：meta = 冻结时点块头事实（含 `pool`/`queued?`——§6.26）
@@ -114,7 +116,13 @@ export function digestTraceLines(rec, startN = null) {
   if (rec.status === "end") {
     if (!Number.isFinite(startN) || startN <= 0 || !Number.isFinite(rec.ms)) return []
     const seconds = (rec.ms / 1000).toFixed(1) // 与记录 `ms` 同值单算式
-    return [{ text: t(rec.ok === false ? "digest.aborted" : "digest.done", { n: startN, seconds }), color: C.dim }]
+    const lines = [{ text: t(rec.ok === false ? "digest.aborted" : "digest.done", { n: startN, seconds }), color: C.dim }]
+    // 未销账残余行（消化账务批 · 2026-10-05 · 台账 #930 · §6.31.6）：终态行之后再落一行 dim
+    // （核字典 `digest.residue` 单源——端侧零自持字面）；零未销账 ⇒ 零行（零噪音）。
+    // 随终态行同门（重建面 `startN` 不可得 ⇒ 零行——fail-closed）。
+    const unsettled = Number.isFinite(rec.unsettled) && rec.unsettled > 0 ? rec.unsettled : 0
+    if (unsettled > 0) lines.push({ text: t("digest.residue", { n: unsettled }), color: C.dim })
+    return lines
   }
   return []
 }

package/src/tui/model-picker.mjs

@@ -2,8 +2,9 @@
  * model-picker.mjs — /model two-level picker + provider management + session-slot model
  * selection（MODEL-MERGE-SESSION 拆分产物——/model 两级面自 pickers.mjs 迁出）。
  *
- * 语义（2026-09-10 MODEL-SELECTION v2）：selectModel 写**会话槽**（agent 内存态 + saveSession）——
- * 不写 config（/model 不再串扰全局默认——根治）。候选 = **运行期拉取**（`GET /models`——M2；
+ * 语义（2026-09-10 MODEL-SELECTION v2）：selectModel 写**会话槽**（agent 内存态 + saveSession）；
+ * 会话级模型面**实变** ⇒ 同拍写回 config.defaultModel（判据句 6——写面单点 = `config-helpers.mjs`
+ * `carryoverDefaultModel`；等值 ∕ 回声零写）。候选 = **运行期拉取**（`GET /models`——M2；
  * 拉到的行直接可选）；显式 `provider:model` 一律放行（M4——仅[空值/裸值/未知 provider]无效）。
  * 切换成功回显规格来源（M6）；渠道默认模型 = `providers[].model` 单值（M3——显示回退读取）。
  * 配置写入面（加渠道 / 设 key）探一次 `/models`（M9——探不通标「不可用」+ 明示原因，不阻断保存）。
@@ -15,7 +16,8 @@
  */
 import { sliceByWidth } from "./render.mjs"
 import { providerSpec, specMatch } from "@thincoder/core/config.mjs"
-import { saveSession } from "@thincoder/core/session.mjs"
+import { saveSession, loadSlotFile } from "@thincoder/core/session.mjs"
+import { carryoverDefaultModel } from "./config-helpers.mjs"
 import { getProviderModels, modelListFailureText, dedupeModels } from "./model-catalog.mjs"
 import { createProviderAdmin } from "./provider-admin.mjs"
 
@@ -218,7 +220,8 @@ export function createModelPicker(ctx) {
     return entries
   }
 
-  /** F-3 /model 纯会话级：写槽（agent 内存态 + saveSession）——绝不写 config。
+  /** F-3 /model 会话级：写槽（agent 内存态 + saveSession）；选定实变 ⇒ 同拍写回
+   *  config.defaultModel（判据句 6——新会话起点随动；等值 ∕ 回声零写；写回失败不反扑会话写、记错零静默）。
    *  放行语义（M4）：仅未知 provider 拒——显式 p:m 一律放行（候选外/多冒号不再拒）。 */
   async function selectModel(item) {
     closePicker()
@@ -229,7 +232,9 @@ export function createModelPicker(ctx) {
     if (!item.model) {
       throw new Error(`Missing model name for provider: ${item.provider}`)
     }
-    // 内存态（agent 会话运行时）——不触碰 config
+    // 写前读：槽复合基线（判据句 6 实变单元——档缺 ⇒ null；`_slot` 未钉 ⇒ 无槽面）
+    const slotBefore = agent._slot == null ? null : loadSlotFile(agent.cwd, agent._slot)
+    // 内存态（agent 会话运行时）——config 写仅经写回单点（下方实变节）
     agent.activeProvider = target.name
     agent.activeModel = item.model
     agent.provider = { ...target }
@@ -238,8 +243,12 @@ export function createModelPicker(ctx) {
       const { resolveCompactThreshold } = await import("@thincoder/core/config.mjs")
       agent.config.agent.compactThreshold = resolveCompactThreshold(null, agent.provider).value
     }
-    // 写会话槽（saveSession——槽双字段恒非空）——config 文件零写
+    // 写会话槽（saveSession——槽双字段恒非空）——写回单点在其后（槽先配置后）
     saveSession(agent)
+    // 选定写回（判据句 6——定序槽先配置后；失败不反扑会话写、记错零静默）
+    const carried = await carryoverDefaultModel({ provider: target.name, model: item.model, slotBefore })
+    if (carried.ok !== true) console.error(`[model] default model carryover failed: ${carried.reason}`)
+    else if (carried.written === true && agent.config) agent.config.defaultModel = `${target.name}:${item.model}` // 内存镜像（/config 显示面新鲜——wizard.mjs:210-211 先例）
     // M6 切换回显：规格来源一行（DEFAULT 兜底 → 警示色 + /config 提示）
     const { matched } = specMatch(agent.provider.model)
     const spec = providerSpec(agent.provider)

package/src/tui/startup.mjs

@@ -1,3 +1,5 @@
+import { homedir } from "node:os"
+import { resolve } from "node:path"
 import { listSlots, ledgerHealth } from "@thincoder/core/session.mjs"
 import { stripAtRefs } from "@thincoder/core/file-refs.mjs"
 import { ansi, C } from "./ansi.mjs"
@@ -242,6 +244,8 @@ export function showStartup(ctx) {
   // R25（F-R25c）：上次运行异常终止提示——bin 入口扫描 crash-reports（24h 窗）经
   // startTUI opts.crashNotice 传入——无匹配为 undefined → 不提示（负例）
   if (opts.crashNotice) pushLine(opts.crashNotice, C.warn)
+  // F-LX3（批 2026-10-05-ledger-variant-db-notice · 台账 #935 · LEDGER.md §12.2）：变体键库首跑提示（恰一行；无命中不传）
+  if (opts.ledgerVariantNotice) pushLine(opts.ledgerVariantNotice, C.warn)
 
   // Recover previous session: rebuild from history (lazy — display snapshot is
   // deprecated; it drifted out of sync with history on VS Code writes).
@@ -263,12 +267,20 @@ export function showStartup(ctx) {
   render()
 }
 
+/** home 根防护（#867 · `MEMORY.md` §6.14 L-④）：`cwd` = 用户主目录（resolve 后；win32 大小写不敏感）。 */
+const isHomeDir = (dir) => typeof dir === "string" && dir !== "" &&
+  (process.platform === "win32" ? resolve(dir).toLowerCase() === resolve(homedir()).toLowerCase() : resolve(dir) === resolve(homedir()))
+
 /** Background indexing (runs after startup screen, non-blocking); progress shown in status bar, not conversation.
  *   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("@thincoder/core/memory.mjs")
+  const { agent, state, render, pushLine } = ctx
   const cwd = agent.cwd
+  if (isHomeDir(cwd)) { // #867：home 根 ⇒ 跳过索引（三 sync 零调用；不阻断启动）
+    pushLine("[index] Skipped: working directory is the home directory — start in a project dir", C.warn)
+    return
+  }
+  const { codeSync, docSync, gitSync } = await import("@thincoder/core/memory.mjs")
   let codeFiles = 0, docFiles = 0
 
   state.status = "Indexing..."

package/src/tui/suspension-drive.mjs

@@ -28,6 +28,8 @@ import { upstreamAskLabelVars } from "@thincoder/core/agent-tools/parent-channel
 import { poolLive, startSuspension } from "@thincoder/core/agent/suspension.mjs"
 // #726 写点①：痕行 ∥ 起跑·收尾记录同点双动作（记录形/文案 = lifecycle-records 单一实现）
 import { pushRecord } from "@thincoder/core/context.mjs"
+// 消化账务批 · 2026-10-05 · 台账 #930（§6.31.6）：残余行判据单源（核件 `unsettledCount`）
+import { unsettledCount } from "@thincoder/core/agent/digest-account.mjs"
 import { digestEndRecord, digestStartRecord, digestTraceLines, recordCarrier } from "./lifecycle-records.mjs"
 
 export { poolLive }
@@ -90,7 +92,9 @@ function backgroundStatusText(agent) {
  *  起跑行 ∥ 计数行 ∥ cap 行 ∥ 终态行：不改 ∥ 不删 ∥ 不退场（零清理机器；退场机随拆）；② 起跑窗
  *  （沿 #754 裁 A）——起跑行族落盘后 ⇒ 起跑快照（起跑刻 pending 单容器）逐条冻结入流，落位 = 本族之后；
  *  ③ 终态行 = **到达序追加于当刻流末**（`pushLine`——零就地换文 ∥ 不动原起跑行）。
- *  导出面 = 批内件直驱（生产唯一调用 = 本档 `driveTurn`）。 */
+ *  导出面 = 批内件直驱（生产唯一调用 = 本档 `driveTurn`）。
+ *  **消化账务批（2026-10-05 · 台账 #930 · §6.31.6）**：收尾 `unsettled` 随记录（非上行轮——与桌面 ∥
+ *  VSC 同判据；判据单源 = 核 `unsettledCount`）⇒ 终态行之后再落残余行（`digest.residue`——lifecycle-records 单实现）。 */
 export async function digestTurn(ctx, upstream = false) {
   const { agent, state, pushLine } = ctx
   const manual = !agent.autoApprove
@@ -111,7 +115,10 @@ export async function digestTurn(ctx, upstream = false) {
   const outcome = await runAgentTurn(digestCtx, "", { autoTurn: true, upstreamTurn: upstream, skipSession: true })
   const ms = Date.now() - d0
   logEvent("digest:end", { pendingN: pendingFamilyCount(agent), ms, ...(upstream ? { upstream: true } : {}) })
-  const endRec = digestEndRecord({ ok: outcome === "ok", ms })
+  // 消化账务批（§6.31.6）：非上行轮且 > 0 才携 `unsettled`（残余行载荷——与桌面 ∥ VSC 同判据；
+  // 消化轮 = `autoTurn ∧ ¬upstreamTurn`，§6.31.2）
+  const unsettled = upstream ? 0 : unsettledCount(agent)
+  const endRec = digestEndRecord({ ok: outcome === "ok", ms, unsettled })
   // ③ 终态行 = 到达序追加于当刻流末（自然形——零就地换文 ∥ 不动原起跑行）
   for (const l of digestTraceLines(endRec, pend0)) pushLine(l.text, l.color)
   pushRecord(carrier, endRec) // 收尾记录（与终态行同点）

package/src/tui/wizard.mjs

@@ -162,7 +162,7 @@ export function createWizard(ctx) {
     state.wizard = null
     // MODEL-MERGE-SESSION 引导 A（F-6）：有 provider 但 defaultModel 未设时指引 /config 入口
     const hint = (agent.providers?.length ?? 0) > 0 && !agent.config?.defaultModel
-      ? "Skipped initial setup. 已配置渠道但 config.defaultModel 未设——新会话无起点：/config → 默认模型 设置一次（或 /model 仅改本会话）。"
+      ? "Skipped initial setup. 已配置渠道但 config.defaultModel 未设——新会话无起点：/config → 默认模型 设置一次（或 /model 选定即成为默认模型）。"
       : "Skipped initial setup. Use /model to add providers and configure API keys anytime."
     pushLine(hint, C.dim)
     render()