zen-gitsync 2.17.23 → 2.17.25

package/src/ui/server/routes/workbench/executorModels.js

@@ -0,0 +1,329 @@
+// Copyright 2026 xz333221
+//
+// Licensed under the Apache License, Version 2.0 (the "License");
+// you may not use this file except in compliance with the License.
+// You may obtain a copy of the License at
+//
+//     http://www.apache.org/licenses/LICENSE-2.0
+//
+// Unless required by applicable law or agreed to in writing, software
+// distributed under the License is distributed on an "AS IS" BASIS,
+// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+// See the License for the specific language governing permissions and
+// limitations under the License.
+//
+// 「这个执行器现在实际在用什么模型」的**只读探测**。
+//
+// ── 为什么要做这件事 ────────────────────────────────────────────────────────
+//
+// 工作台派任务时一律**不传模型参数**：claude / opencode / codex 的 spawn argv 里
+// 都没有 --model（见 taskRunner.js 的注释与 README 的 argv 清单），模型跟随各自
+// CLI 的配置。这条设计是对的 —— 但副作用是界面上**一个执行器的模型都看不到**：
+// 底栏那个「默认模型 xxx」是**内置 g ai 引擎**用的 config.models，跟三个执行器
+// 毫无关系（agentRoutes.js 里对外部引擎刻意把 session.model 置空也是同一个原因）。
+// 于是用户想确认"这活到底是哪个模型跑的"只能去翻三个不同格式的配置文件。
+//
+// 这里把「读三个配置文件」这件事收口成一个模块，让前端能在选择器里直接显示。
+//
+// ── 三家配置文件的形状（这是本模块存在的全部理由）────────────────────────
+//
+//   claude   ~/.claude/settings.json         JSON。模型在 env 里，且有**别名两层**：
+//            ANTHROPIC_DEFAULT_SONNET_MODEL 是 CLI 认识的名字
+//            （claude-sonnet-5[1M]），..._MODEL_NAME 才是它背后真正的模型
+//            （本机经代理指向 deepseek-v4.1-flash）。只报前者等于没报 ——
+//            用户看到"claude-sonnet-5"会以为在用官方模型，实际是代理换过的。
+//            所以两条都返回，display 优先取 _NAME。
+//
+//   codex    ~/.codex/config.toml            TOML。顶层 `model = "..."`。
+//            ⚠️ 文件里还有 [projects.*] / [mcp_servers.*] 等几十个段，
+//            段内也可能出现 model 键 —— 只认**任何 [表头] 之前**的顶层赋值。
+//            同段的 model_providers.<id>.name 给出服务商名，一并带出。
+//
+//   opencode ~/.config/opencode/opencode.json / .jsonc
+//            JSONC（带注释与尾逗号）。顶层 `model` 字段，可以是字符串
+//            "provider/model-id"，也可以是对象 { model, variant }。
+//            ⚠️ **但它经常是空的** —— opencode 的 TUI 允许直接选模型，而选择存在
+//            自己的 state 里、不回写配置。所以还要读第二处：
+//            ~/.local/state/opencode/model.json 的 recent[0]（TUI 最近使用），
+//            variant（截图里那个蓝色的 max）在同文件的顶层 variant 表里。
+//            两处都没有才算"没指定"，返回值里用 source 区分（config / state）。
+//
+// ── 三条必须守住的底线 ──────────────────────────────────────────────────────
+//
+// 1. **纯只读**：只 fs.readFile，一个字节都不写。改用户 CLI 的配置是绝对禁区。
+// 2. **不泄露密钥**：codex 的 config.toml 里有 experimental_bearer_token，
+//    claude 的 env 里有 ANTHROPIC_API_KEY —— 本模块只取模型名/服务商名，
+//    任何 key 字段都不许出现在返回值里（readTomlTopLevel 只取显式白名单里的键）。
+// 3. **读不到就是 null**：不猜、不回落成"看起来对"的字符串。前端照实显示
+//    「未在配置中指定」，这比显示一个假模型名有用得多。
+
+import fs from 'fs/promises';
+import os from 'os';
+import path from 'path';
+
+/**
+ * 从 TOML 文本里取**顶层**（任何 [表头] 之前）的标量键。
+ *
+ * 为什么不用 TOML 解析库：codex 的 config.toml 结构简单（顶层几个标量 + 一堆段），
+ * 而为一个"读一行"引入解析器依赖不划算；本仓库也没有现成的 TOML 依赖。
+ * 代价是**只支持顶层标量**——这正是本模块需要的，段内的键一律不取。
+ *
+ * ⚠️ 刻意不解析行尾注释之外的任何语法：支持单/双引号值、数组（取不到就跳过）、
+ * 布尔与数字原样返回字符串。够用且不会把 `[projects.'c:\path']` 这种
+ * 引号里带方括号的段头误判成值。
+ *
+ * ⚠️ 注释行与空行必须 **continue 而不是 break**：真实的 codex config.toml 顶部
+ * 常带几行 `#` 说明、键与键之间也常空行；早先这三类一起 break，导致"文件第一行
+ * 是注释"时顶层 model 整个读空（返回 {}），表现为界面上 codex 永远显示未配置。
+ */
+export function readTomlTopLevel(text, keys) {
+  const out = {};
+  for (const raw of String(text).split(/\r?\n/)) {
+    const line = raw.trim();
+    // 注释 / 空行在顶层键之间是合法的，跳过继续找
+    if (!line || line.startsWith('#')) continue;
+    // 只有段头才代表"顶层到此结束"：后面的键都属于某个段
+    if (line.startsWith('[')) break;
+    const m = line.match(/^([A-Za-z0-9_-]+)\s*=\s*(.+)$/);
+    if (!m) continue;
+    if (!keys.includes(m[1])) continue;
+    const value = m[2].trim();
+    // 只收字符串值。数组/内联表一律不取 —— 本模块用不到，硬解只会解错。
+    const quoted = value.match(/^(["'])([\s\S]*?)\1\s*(?:#.*)?$/);
+    if (quoted) out[m[1]] = quoted[2];
+  }
+  return out;
+}
+
+/**
+ * 剥掉 JSONC 的注释与尾逗号，让 JSON.parse 能吃下 opencode.jsonc。
+ *
+ * 不引依赖的原因同上（只为读一个字段）。实现要点是**必须逐字符走**而不是
+ * 正则全局替换 —— 字符串字面量里的 `//`（比如 base_url 带 `https://`）会被误伤，
+ * 而本机的 codex/opencode 配置里 URL 是常见值。扫描时记住"在不在字符串里"，
+ * 同时处理转义引号 `\"`。
+ */
+export function stripJsonComments(text) {
+  let out = '';
+  let inString = false;
+  let escaped = false;
+  for (let i = 0; i < text.length; i += 1) {
+    const ch = text[i];
+    if (inString) {
+      out += ch;
+      if (escaped) escaped = false;
+      else if (ch === '\\') escaped = true;
+      else if (ch === '"') inString = false;
+      continue;
+    }
+    if (ch === '"') { inString = true; out += ch; continue; }
+    // 行注释
+    if (ch === '/' && text[i + 1] === '/') {
+      while (i < text.length && text[i] !== '\n') i += 1;
+      out += '\n';
+      continue;
+    }
+    // 块注释
+    if (ch === '/' && text[i + 1] === '*') {
+      i += 2;
+      while (i < text.length && !(text[i] === '*' && text[i + 1] === '/')) i += 1;
+      i += 1;
+      continue;
+    }
+    out += ch;
+  }
+  // 尾逗号：`{"a":1,}` 与数组里的 `1,]`。这里只处理对象/数组结尾前的那一个逗号。
+  return out.replace(/,(\s*[}\]])/g, '$1');
+}
+
+async function readTextOrNull(filePath) {
+  try {
+    return await fs.readFile(filePath, 'utf8');
+  } catch {
+    // 文件不存在 / 无权限 / 是目录 —— 一律当"没配"，不抛
+    return null;
+  }
+}
+
+/**
+ * claude：~/.claude/settings.json 的 env 段。
+ *
+ * 返回两条名字是有意的：
+ *   model  = ANTHROPIC_MODEL（若显式指定），否则取 sonnet 档的别名
+ *   display= ..._MODEL_NAME，即别名背后真正的模型名
+ * 都取不到时返回 null。
+ *
+ * 为什么按 sonnet → opus → haiku 的顺序找：claude 在没有显式 ANTHROPIC_MODEL 时
+ * 会按档位选模型，日常跑任务默认落在 sonnet 档，所以它是最可能生效的那一档。
+ */
+function detectClaude(env) {
+  const pick = (tier) => ({
+    alias: env[`ANTHROPIC_DEFAULT_${tier}_MODEL`],
+    display: env[`ANTHROPIC_DEFAULT_${tier}_MODEL_NAME`],
+  });
+
+  const explicit = env.ANTHROPIC_MODEL;
+  if (typeof explicit === 'string' && explicit.trim()) {
+    // 显式指定时没有"别名背后"的第二层，但 base_url 仍然要带出来 ——
+    // 用户看到 ANTHROPIC_MODEL 是官方名、实际请求打到自建代理，这才是关键信息。
+    return { model: explicit.trim(), display: null, provider: env.ANTHROPIC_BASE_URL || null };
+  }
+
+  for (const tier of ['SONNET', 'OPUS', 'HAIKU', 'FABLE']) {
+    const hit = pick(tier);
+    if (!hit.alias && !hit.display) continue;
+    return {
+      model: hit.alias || null,
+      // display 优先：别名背后那个才是用户真正在付钱/发请求的模型
+      display: hit.display || null,
+      provider: env.ANTHROPIC_BASE_URL || null,
+    };
+  }
+  return null;
+}
+
+/** codex：顶层 model + model_providers.<model_provider>.name 的服务商名 */
+function detectCodex(toml) {
+  const top = readTomlTopLevel(toml, ['model', 'model_provider']);
+  if (!top.model) return null;
+  const providerId = top.model_provider;
+  // 服务商名要进 [model_providers.x] 段里找，段头格式：`[model_providers."custom"]`
+  // 或 `[model_providers.custom]`。这里只取「段内第一个 name = 」，够用且不误伤
+  // （其他段也有 name 键，但只认 model_providers.* 段）。
+  let provider = null;
+  if (providerId) {
+    const sectionRe = new RegExp(`^\\[model_providers\\.${escapeRe(providerId)}\\]\\s*$`, 'm');
+    const m = sectionRe.exec(toml);
+    if (m) {
+      const rest = toml.slice(m.index + m[0].length);
+      const end = rest.search(/^\s*\[/m);
+      const body = end >= 0 ? rest.slice(0, end) : rest;
+      const name = readTomlTopLevel(body, ['name']).name;
+      if (name) provider = name;
+    }
+  }
+  return { model: top.model, display: null, provider };
+}
+
+/** opencode：顶层 model，字符串或 { model, variant } 都吃；顺便记 variant */
+function detectOpencodeConfig(json) {
+  const raw = json && json.model;
+  if (typeof raw === 'string' && raw.trim()) {
+    return { model: raw.trim(), display: null, provider: null, source: 'config' };
+  }
+  if (raw && typeof raw === 'object' && typeof raw.model === 'string' && raw.model.trim()) {
+    const variant = typeof raw.variant === 'string' && raw.variant.trim() ? ` (${raw.variant.trim()})` : '';
+    return { model: raw.model.trim() + variant, display: null, provider: null, source: 'config' };
+  }
+  return null;
+}
+
+/**
+ * opencode 当前用哪个模型：**配置文件优先，没有就退回 TUI 的「最近使用」**。
+ *
+ * 为什么要读两处 —— opencode 的 TUI 允许直接选模型，而它把选择存在**自己的 state 里
+ * 而不是回写配置文件**。本机就是活例子：`~/.config/opencode/opencode.jsonc` 里只有
+ * `$schema`（真的没配 model），但 statusline 明确在用 `opencode-go/space-bunny-free`；
+ * 那个选择躺在 `~/.local/state/opencode/model.json` 的 `recent[0]`。
+ * 只读配置文件的话界面上会显示「未在配置中指定」—— 对一个**正在跑的模型**说"没指定"，
+ * 比不说还糟：用户会去翻配置，而配置里确实没有，于是白折腾一场。
+ *
+ * 两种来源语义不同，用 `source` 区分，前端会照实标出来（同一条模型名，来源不同含义不同）：
+ *   config —— 配置文件里写死了，这是"默认模型"
+ *   state  —— TUI 上次选的，opencode 下次启动默认还用它
+ *
+ * variant（截图里那个蓝色的 `max`）在 state 顶层 `variant` 表里，键是 `provider/model`；
+ * 也兼容某些版本直接写在 recent 项上的写法。
+ */
+function detectOpencodeState(json) {
+  const recent = json && Array.isArray(json.recent) ? json.recent[0] : null;
+  if (!recent || typeof recent.providerID !== 'string' || typeof recent.modelID !== 'string') return null;
+  const id = `${recent.providerID}/${recent.modelID}`;
+  const own = typeof recent.variant === 'string' ? recent.variant.trim() : '';
+  const mapped = typeof json.variant?.[id] === 'string' ? json.variant[id].trim() : '';
+  const variant = own || mapped;
+  return {
+    model: variant ? `${id} (${variant})` : id,
+    display: null,
+    // provider 不再单列：模型名本身就是 `provider/model` 形态，再报一次只是噪音
+    // （`opencode-go/space-bunny-free (max) （… · opencode-go）`）
+    provider: null,
+    source: 'state',
+  };
+}
+
+/** 配置里有就用配置的，否则看 TUI 状态；两处都没有才是真的"没指定" */
+function detectOpencode(cfgJson, stateJson) {
+  return detectOpencodeConfig(cfgJson) || detectOpencodeState(stateJson);
+}
+
+function escapeRe(s) {
+  return String(s).replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
+
+/**
+ * 探测三个执行器当前配置的模型。
+ *
+ * @param {object} [opts]
+ * @param {string} [opts.homeDir] 测试沙箱用（默认 os.homedir()）
+ * @returns {Promise<{ claude: object|null, codex: object|null, opencode: object|null }>}
+ *          每项 `{ model, display, provider, source }`；该执行器没配模型时为 null。
+ *          source = 'config'（配置文件里写死的）| 'state'（CLI 自己记的"上次用的"）。
+ *
+ * 三路并发、互不阻塞：任何一个配置文件读失败都只让**它自己**变成 null。
+ */
+export async function detectExecutorModels({ homeDir } = {}) {
+  const home = homeDir || os.homedir();
+
+  const [claudeRaw, codexRaw, opencodeJsonRaw, opencodeJsoncRaw, opencodeStateRaw] = await Promise.all([
+    readTextOrNull(path.join(home, '.claude', 'settings.json')),
+    readTextOrNull(path.join(home, '.codex', 'config.toml')),
+    // .json 优先（标准名），.jsonc 兜底。opencode 两个都认。
+    readTextOrNull(path.join(home, '.config', 'opencode', 'opencode.json')),
+    readTextOrNull(path.join(home, '.config', 'opencode', 'opencode.jsonc')),
+    // TUI 的"最近使用"（不写回配置文件，见 detectOpencodeState 的注释）
+    readTextOrNull(path.join(home, '.local', 'state', 'opencode', 'model.json')),
+  ]);
+
+  const pickJson = (raw) => {
+    if (!raw) return null;
+    try { return JSON.parse(stripJsonComments(raw)); } catch { return null; }
+  };
+
+  const claudeCfg = pickJson(claudeRaw);
+  // ⚠️ 两个文件都要接住：早先这一行只吃了 .json（另一个 promise 被解构丢掉），
+  // 于是注释里写的"jsonc 兜底"是死代码 —— 只写了 .jsonc 的机器永远显示未配置。
+  const opencodeCfg = pickJson(opencodeJsonRaw) || pickJson(opencodeJsoncRaw);
+  const opencodeState = pickJson(opencodeStateRaw);
+
+  return {
+    claude: claudeCfg && typeof claudeCfg.env === 'object' && claudeCfg.env
+      ? detectClaude(claudeCfg.env)
+      : null,
+    codex: codexRaw ? detectCodex(codexRaw) : null,
+    opencode: detectOpencode(opencodeCfg, opencodeState),
+  };
+}
+
+/**
+ * 探测结果的展示格式化：给出**给人看**的那一个名字。
+ *
+ * 为什么 display 优先：claude 场景下 model 是 CLI 认识的别名（claude-sonnet-5[1M]），
+ * display 才是背后真实的模型（deepseek-v4.1-flash）。给用户看别名等于没回答问题。
+ * 两者都有且不同时用 `display` 并把别名放 detail（前端 title 用）。
+ */
+export function formatExecutorModel(info) {
+  // 两个名字全空 = 没探测到，返回 null 让前端走"未在配置中指定"
+  if (!info || (!info.model && !info.display)) return null;
+  const name = info.display || info.model;
+  const detail = info.display && info.model && info.display !== info.model
+    ? info.model
+    : null;
+  return {
+    name,
+    detail: detail || null,
+    provider: info.provider || null,
+    // 来源照实带出去：同一个模型名，"配置里写死的"与"CLI 上次记下的"含义不同
+    source: info.source || null,
+  };
+}

package/src/ui/server/routes/workbench/executorModels.test.js

@@ -0,0 +1,326 @@
+// 执行器模型探测的单测。
+//
+// 为什么这些用例值得写：这个模块的全部价值是"读三种格式的配置文件"，
+// 而三种格式的解析都是**手写的**（不引 TOML / JSONC 依赖，理由见模块注释）——
+// 手写解析最容易在两个地方悄悄错：注释/空行的截断、以及多文件兜底被丢掉。
+// 这两处都已经真出过 bug（见下面标 [回归] 的用例），所以它们必须钉住。
+//
+// 所有用例都在**临时沙箱 home** 里跑，绝不读真实 ~/ —— 否则用例会随开发机
+// 装没装 claude、配没配模型而时红时绿。
+import { test } from 'node:test'
+import assert from 'node:assert/strict'
+import fs from 'fs/promises'
+import os from 'os'
+import path from 'path'
+import {
+  readTomlTopLevel,
+  stripJsonComments,
+  detectExecutorModels,
+  formatExecutorModel,
+} from './executorModels.js'
+
+const sandboxes = []
+
+/** 造一个只属于本用例的 home 目录，按 {相对路径: 内容} 落文件 */
+async function makeHome(files = {}) {
+  const home = await fs.mkdtemp(path.join(os.tmpdir(), 'zen-executor-models-'))
+  sandboxes.push(home)
+  for (const [rel, content] of Object.entries(files)) {
+    const full = path.join(home, rel)
+    await fs.mkdir(path.dirname(full), { recursive: true })
+    await fs.writeFile(full, content, 'utf8')
+  }
+  return home
+}
+
+test.after(async () => {
+  for (const home of sandboxes) await fs.rm(home, { recursive: true, force: true })
+})
+
+// ── readTomlTopLevel ─────────────────────────────────────────────────────────
+
+test('readTomlTopLevel: 注释行与空行不截断顶层读取 [回归]', () => {
+  // 老实现把「空行 / 注释行 / 段头」三类一起 break，于是文件第一行是注释时
+  // 顶层 model 整个读空 —— 表现为界面上 codex 永远显示"未配置"。
+  const toml = [
+    '# codex 配置说明',
+    '# 第二行注释',
+    'model = "gpt-6-astra"',
+    '',
+    'model_provider = "custom"',
+    '',
+    '[model_providers.custom]',
+    'name = "kakouai"',
+  ].join('\n')
+  assert.deepEqual(readTomlTopLevel(toml, ['model', 'model_provider']), {
+    model: 'gpt-6-astra',
+    model_provider: 'custom',
+  })
+})
+
+test('readTomlTopLevel: 段内的同名键不会被当成顶层值', () => {
+  const toml = 'model = "top"\n\n[projects."c:/x"]\nmodel = "inner"\n'
+  assert.equal(readTomlTopLevel(toml, ['model']).model, 'top')
+})
+
+test('readTomlTopLevel: 只取白名单里的键（其余含密钥的键一律不取）', () => {
+  const toml = 'model = "m"\nexperimental_bearer_token = "tok"\napi_key = "k"\n'
+  assert.deepEqual(readTomlTopLevel(toml, ['model']), { model: 'm' })
+})
+
+test('readTomlTopLevel: 行尾注释不污染值；单引号值也认', () => {
+  const toml = "model = 'm-1' # 备注\nmodel_provider = \"custom\"#紧贴的注释\n"
+  assert.deepEqual(readTomlTopLevel(toml, ['model', 'model_provider']), {
+    model: 'm-1',
+    model_provider: 'custom',
+  })
+})
+
+test('readTomlTopLevel: 段头里带方括号的路径不被误判成值', () => {
+  const toml = 'model = "m"\n\n[projects.\'c:\\weird[path]\']\nmodel = "inner"\n'
+  assert.equal(readTomlTopLevel(toml, ['model']).model, 'm')
+})
+
+// ── stripJsonComments ────────────────────────────────────────────────────────
+
+test('stripJsonComments: 字符串里的 // 不被当注释（base_url 场景）', () => {
+  const jsonc = '{ "url": "https://api.example.com/v1", // 注释\n "n": 1 }'
+  assert.equal(JSON.parse(stripJsonComments(jsonc)).url, 'https://api.example.com/v1')
+})
+
+test('stripJsonComments: 剥块注释与尾逗号后仍能 JSON.parse', () => {
+  const jsonc = '{\n  /* 块\n     注释 */\n  "model": "a/b",\n}'
+  assert.deepEqual(JSON.parse(stripJsonComments(jsonc)), { model: 'a/b' })
+})
+
+test('stripJsonComments: 转义引号不影响"在不在字符串里"的判断', () => {
+  const jsonc = '{ "s": "a\\"//b", "n": 1 } // 尾注释'
+  assert.deepEqual(JSON.parse(stripJsonComments(jsonc)), { s: 'a"//b', n: 1 })
+})
+
+// ── detectExecutorModels（沙箱 home）─────────────────────────────────────────
+
+const CLAUDE_JSON = JSON.stringify({
+  env: {
+    ANTHROPIC_BASE_URL: 'http://127.0.0.1:15721',
+    ANTHROPIC_DEFAULT_SONNET_MODEL: 'claude-sonnet-5[1M]',
+    ANTHROPIC_DEFAULT_SONNET_MODEL_NAME: 'deepseek-v4.1-flash',
+    ANTHROPIC_API_KEY: 'sk-should-never-leak',
+  },
+})
+const CODEX_TOML = [
+  '# 顶层注释',
+  'model = "gpt-6-astra"',
+  'model_provider = "custom"',
+  '',
+  '[model_providers.custom]',
+  'name = "kakouai"',
+  'experimental_bearer_token = "tok-should-never-leak"',
+  '',
+  '[projects."c:/x"]',
+  'model = "inner-model"',
+].join('\n')
+const OPENCODE_JSONC = '{\n  // 注释\n  "model": "anthropic/claude-x",\n}'
+
+test('detectExecutorModels: 三家配置齐全时各自读出模型', async () => {
+  const home = await makeHome({
+    '.claude/settings.json': CLAUDE_JSON,
+    '.codex/config.toml': CODEX_TOML,
+    '.config/opencode/opencode.jsonc': OPENCODE_JSONC,
+  })
+  const out = await detectExecutorModels({ homeDir: home })
+
+  assert.deepEqual(out.claude, {
+    model: 'claude-sonnet-5[1M]',
+    display: 'deepseek-v4.1-flash',
+    provider: 'http://127.0.0.1:15721',
+  })
+  // 顶层注释不再截断 → model_provider 读得到 → 服务商名也能查出来
+  assert.deepEqual(out.codex, { model: 'gpt-6-astra', display: null, provider: 'kakouai' })
+  // 只有 .jsonc（没有 .json）时也要读到：早先那个 promise 被解构丢掉，这里是死代码
+  assert.deepEqual(out.opencode, {
+    model: 'anthropic/claude-x', display: null, provider: null, source: 'config',
+  })
+})
+
+test('detectExecutorModels: 只有 .jsonc 时 opencode 仍读得到 [回归]', async () => {
+  const home = await makeHome({ '.config/opencode/opencode.jsonc': OPENCODE_JSONC })
+  const out = await detectExecutorModels({ homeDir: home })
+  assert.equal(out.opencode?.model, 'anthropic/claude-x')
+})
+
+test('detectExecutorModels: .json 与 .jsonc 同时存在时 .json 优先', async () => {
+  const home = await makeHome({
+    '.config/opencode/opencode.json': '{"model":"from-json"}',
+    '.config/opencode/opencode.jsonc': '{"model":"from-jsonc"}',
+  })
+  const out = await detectExecutorModels({ homeDir: home })
+  assert.equal(out.opencode?.model, 'from-json')
+})
+
+test('detectExecutorModels: opencode 的 model 是对象时带上 variant', async () => {
+  const home = await makeHome({
+    '.config/opencode/opencode.json': '{"model":{"model":"openai/gpt-y","variant":"high"}}',
+  })
+  const out = await detectExecutorModels({ homeDir: home })
+  assert.equal(out.opencode?.model, 'openai/gpt-y (high)')
+})
+
+// ── opencode 的第二处来源：TUI 状态 ──────────────────────────────────────────
+//
+// opencode 的 TUI 允许直接选模型，而它把选择**存在自己的 state 里、不回写配置文件**。
+// 只读配置文件的话，对一个明明在跑的模型显示"未在配置中指定" —— 用户会去翻配置，
+// 配置里确实没有，白折腾一场。这组用例钉住"配置文件优先、没有则退回 state"。
+
+const OPENCODE_STATE = JSON.stringify({
+  recent: [
+    { providerID: 'opencode-go', modelID: 'space-bunny-free' },
+    { providerID: 'opencode-go', modelID: 'deepseek-v4.1-flash' },
+  ],
+  favorite: [],
+  variant: { 'opencode-go/space-bunny-free': 'max', 'opencode-go/deepseek-v4.1-flash': 'max' },
+})
+
+test('detectExecutorModels: 配置里没写 model 时，退回 TUI 状态里的「最近使用」', async () => {
+  const home = await makeHome({
+    // 本机真实情形：配置文件里只有一个 $schema
+    '.config/opencode/opencode.jsonc': '{\n  "$schema": "https://opencode.ai/config.json"\n}',
+    '.local/state/opencode/model.json': OPENCODE_STATE,
+  })
+  const out = await detectExecutorModels({ homeDir: home })
+  assert.deepEqual(out.opencode, {
+    model: 'opencode-go/space-bunny-free (max)', // recent[0] + variant 表里的 max
+    display: null,
+    provider: null, // 模型名本身已是 provider/model，不再重复报一次
+    source: 'state',
+  })
+})
+
+test('detectExecutorModels: 配置文件里写了 model 就以它为准（state 只是兜底）', async () => {
+  const home = await makeHome({
+    '.config/opencode/opencode.json': '{"model":"anthropic/claude-x"}',
+    '.local/state/opencode/model.json': OPENCODE_STATE,
+  })
+  const out = await detectExecutorModels({ homeDir: home })
+  assert.deepEqual(out.opencode, {
+    model: 'anthropic/claude-x', display: null, provider: null, source: 'config',
+  })
+})
+
+test('detectExecutorModels: recent 项自带 variant 时优先于顶层 variant 表', async () => {
+  const home = await makeHome({
+    '.config/opencode/opencode.jsonc': '',
+    '.local/state/opencode/model.json': JSON.stringify({
+      recent: [{ providerID: 'p', modelID: 'm', variant: 'own' }],
+      variant: { 'p/m': 'mapped' },
+    }),
+  })
+  const out = await detectExecutorModels({ homeDir: home })
+  assert.equal(out.opencode?.model, 'p/m (own)')
+})
+
+test('detectExecutorModels: state 里没有 recent / 缺字段时仍是 null（不猜）', async () => {
+  const empty = await makeHome({ '.local/state/opencode/model.json': '{"recent":[],"favorite":[]}' })
+  assert.equal((await detectExecutorModels({ homeDir: empty })).opencode, null)
+
+  const partial = await makeHome({
+    '.local/state/opencode/model.json': '{"recent":[{"providerID":"p"}]}',
+  })
+  assert.equal((await detectExecutorModels({ homeDir: partial })).opencode, null)
+})
+
+test('detectExecutorModels: 两处都没有 model 才是真的"未在配置中指定"', async () => {
+  const home = await makeHome({ '.config/opencode/opencode.json': '{"model":""}' })
+  assert.equal((await detectExecutorModels({ homeDir: home })).opencode, null)
+})
+
+test('detectExecutorModels: claude 显式 ANTHROPIC_MODEL 优先于档位别名', async () => {
+  const home = await makeHome({
+    '.claude/settings.json': JSON.stringify({
+      env: {
+        ANTHROPIC_MODEL: 'my-explicit-model',
+        ANTHROPIC_BASE_URL: 'http://proxy.local',
+        ANTHROPIC_DEFAULT_SONNET_MODEL: 'sonnet-alias',
+        ANTHROPIC_DEFAULT_SONNET_MODEL_NAME: 'sonnet-real',
+      },
+    }),
+  })
+  const out = await detectExecutorModels({ homeDir: home })
+  // 显式指定时没有"别名背后"的第二层，但 base_url 仍要带出来
+  assert.deepEqual(out.claude, {
+    model: 'my-explicit-model',
+    display: null,
+    provider: 'http://proxy.local',
+  })
+})
+
+test('detectExecutorModels: 一个配置文件都没有时三项全 null 且不抛', async () => {
+  const home = await makeHome()
+  const out = await detectExecutorModels({ homeDir: home })
+  assert.deepEqual(out, { claude: null, codex: null, opencode: null })
+})
+
+test('detectExecutorModels: 配置残缺/是目录/内容不是 JSON 时只让自己变 null', async () => {
+  const home = await makeHome({
+    '.claude/settings.json': '{ 这不是 JSON', // 解析失败 → null
+    '.codex/config.toml': '# 只有注释，没有 model\n', // 无 model → null
+    '.config/opencode/opencode.json': '{"model":""}', // 空串 → null
+  })
+  const out = await detectExecutorModels({ homeDir: home })
+  assert.deepEqual(out, { claude: null, codex: null, opencode: null })
+})
+
+test('detectExecutorModels: 返回值里绝不出现任何密钥', async () => {
+  const home = await makeHome({
+    '.claude/settings.json': CLAUDE_JSON,
+    '.codex/config.toml': CODEX_TOML,
+  })
+  const serialized = JSON.stringify(await detectExecutorModels({ homeDir: home }))
+  assert.equal(serialized.includes('sk-should-never-leak'), false)
+  assert.equal(serialized.includes('tok-should-never-leak'), false)
+})
+
+// ── formatExecutorModel ──────────────────────────────────────────────────────
+
+test('formatExecutorModel: display 优先，别名落到 detail', () => {
+  assert.deepEqual(
+    formatExecutorModel({
+      model: 'claude-sonnet-5[1M]',
+      display: 'deepseek-v4.1-flash',
+      provider: 'http://127.0.0.1:15721',
+    }),
+    { name: 'deepseek-v4.1-flash', detail: 'claude-sonnet-5[1M]', provider: 'http://127.0.0.1:15721', source: null },
+  )
+})
+
+test('formatExecutorModel: 两个名字相同则不重复进 detail', () => {
+  assert.deepEqual(
+    formatExecutorModel({ model: 'same', display: 'same', provider: null }),
+    { name: 'same', detail: null, provider: null, source: null },
+  )
+})
+
+test('formatExecutorModel: 只有别名时就用别名，detail 为空', () => {
+  assert.deepEqual(
+    formatExecutorModel({ model: 'only-alias', display: null, provider: null }),
+    { name: 'only-alias', detail: null, provider: null, source: null },
+  )
+})
+
+test('formatExecutorModel: 来源（config / state）照实透传出去', () => {
+  assert.equal(
+    formatExecutorModel({ model: 'm', display: null, provider: null, source: 'state' }).source,
+    'state',
+  )
+  assert.equal(
+    formatExecutorModel({ model: 'm', display: null, provider: null, source: 'config' }).source,
+    'config',
+  )
+})
+
+test('formatExecutorModel: null / 空对象一律 null（前端据此走"未在配置中指定"）', () => {
+  assert.equal(formatExecutorModel(null), null)
+  assert.equal(formatExecutorModel(undefined), null)
+  assert.equal(formatExecutorModel({ model: null, display: null, provider: null }), null)
+  assert.equal(formatExecutorModel({ model: '', display: '', provider: null }), null)
+})