thincoder 0.12.68 → 0.12.70

package/src/tui/index.mjs

@@ -47,24 +47,40 @@ import { createTimerWatch, fireTimerWake } from "./timer-watch.mjs"
 export { upgradeFailureText, pendingNoticeReady } from "./update-notice.mjs"
 
 /**
- * SESSION.md §6.8 D-S2 — TUI 启动首帧前的 provider 重选流程：
- * provider 无效（`_providerInvalid` 标记或 provider 为 null）→ 先弹模型选择 picker
- * （复用 openModelPicker，展示当前可用 providers）；用户选定后继续正常启动。
- * 选择取消（Esc）→ 仍进入 TUI，推送提示行（"未配置有效 provider，可用 /model 配置
- * 渠道与模型"）——绝不因无 provider 拒绝进入。返回 true 表示弹过选择流程。
+ * SESSION.md §6.8 D-S2 — TUI 启动首帧前的 provider 分流（判据单源 = PROVIDER.md §6.22）：
+ * · **invalid 类**（`state === "invalid"` ∨ `providerInvalidReason` 非空——核「provider 不完整面」
+ *   快照的合成式）→ 先弹模型选择 picker（复用 openModelPicker，展示当前可用 providers）；
+ *   用户选定后继续正常启动。选择取消（Esc）→ 仍进入 TUI，推送提示行（措辞指渠道 ∕ 密钥——
+ *   绝不因无 provider 拒绝进入）。
+ * · **`fallback`**（无有效 defaultModel 但可运行）→ **不弹 picker**（不打断）+ 提示行明示
+ *   （「尚未设置默认模型：本次使用 `<渠道>[:<模型>]`——…」；`model` 缺省 ⇒ 仅渠道名）。
+ * 返回 true 表示弹过选择流程。
  */
 export async function promptProviderIfInvalid(agent, openModelPicker, pushLine) {
-  if (!(agent._providerInvalid || !agent.provider)) return false
-  await openModelPicker()
-  if (!agent.provider) {
-    // MODEL-MERGE-SESSION 引导 A（F-6）：空槽 + defaultModel 未设 → 提示 /config 默认模型入口
-    // （index.mjs 本行为 D-S2 取消提示扩展——设计文件清单外——随批上报）
-    const hasProviders = (agent.providers?.length ?? 0) > 0
-    pushLine(hasProviders && !agent.config?.defaultModel
-      ? "尚未设置默认模型（config.defaultModel——新会话起点）：/config → 默认模型 设置一次；/model 仅改本会话"
-      : "未配置有效 provider，可用 /model 配置渠道与模型", C.warn)
+  const cfg = agent.config ?? {}
+  // invalid 类（合成式——单源 = PROVIDER.md §6.22）：`state === "invalid"` ∨ `providerInvalidReason`
+  // 非空（核 provider 不完整面快照）；`!agent.provider`（`{}` 已被上游清成 null）同判。
+  // 结构不全（缺 baseURL 等）不在本门——归发送失败面（#840 `provider` 类词）；负向锁 = PROVIDER.md:437。
+  const invalidClass = cfg.providerState === "invalid"
+    || (typeof cfg.providerInvalidReason === "string" && cfg.providerInvalidReason !== "")
+    || !agent.provider
+  if (invalidClass) {
+    await openModelPicker()
+    if (!agent.provider) {
+      // D-S2 取消提示（#841 措辞收正 = 渠道 ∕ 密钥——配置入口 /config）
+      pushLine("未配置有效渠道（渠道 ∥ 密钥缺位）：/config 设置渠道与密钥；/model 选定后本会话生效并成为默认模型", C.warn)
+    }
+    return true
   }
-  return true
+  if (cfg.providerState === "fallback") {
+    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)
+    }
+    return false
+  }
+  return false
 }
 
 /**
@@ -220,17 +236,18 @@ export async function startTUI(agent, opts = {}) {
 
   // ---------------------------------------------------------- Startup screen + background indexing
 
-  // SESSION.md §6.8 D-S2：startTUI 首帧前 —— provider 无效（_providerInvalid / provider 为 null）
-  // → 先弹模型选择 picker（keyStream 已挂 keypress，Esc/Enter 可用）；Esc → 提示行，仍进 TUI
+  // SESSION.md §6.8 D-S2：startTUI 首帧前——按核统一态分流（单源 = PROVIDER.md §6.22）：
+  // invalid 类 → 先弹模型选择 picker（keyStream 已挂 keypress，Esc/Enter 可用）；Esc → 提示行，仍进 TUI；
+  // fallback → 不弹 picker + 提示行明示（本次使用 `<渠道>[:<模型>]`）
   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/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"
@@ -263,12 +265,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/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()