thincoder 0.12.60 → 0.12.62

package/src/tui/key-modes.mjs

@@ -8,6 +8,31 @@
 import { C } from "./ansi.mjs"
 import { readClipboardText, insertPastedText } from "./clipboard.mjs"
 import { QUESTION_CUSTOM } from "./interaction.mjs"
+import { inputContentWidth } from "./layout.mjs"
+import { moveCursorVertical } from "./render.mjs"
+
+/** SYNC-CANCEL v2 模态 deny 解绕（用户裁——2026-09-09）：⏹ 定向中止 sync child 时
+ *  顺带 deny 其 pending 权限/continue 模态——ask 不观 signal（R1——targeted abort 后
+ *  child 停在模态则 runChildPipeline 不返回、父回合阻塞至模态回答）。owner 判定：
+ *  工具权限 ask name 前缀 `${key}/`（subagent-spawn.mjs 装配——owner key 标识）；continue
+ *  ask args.agent === key（subagent.mjs askSubagentContinue 既有参数）。副作用镜像
+ *  handlePermissionMode deny 分支（清除模态 + deny 轨迹 + resolve(false)——子代理随即
+ *  在 abort 检出点解绕折叠）。返回 true = 本模态属该 child 且已 deny 解绕。鼠标 ⏹ 路径
+ *  （mouse.mjs cancelSubagent）调用——key-modes 是权限模态归属语义的驻点。 */
+export function denyModalForOwner(state, key, { pushLine, render } = {}) {
+  const p = state?.permission
+  if (!p) return false
+  const owned = (typeof p.name === "string" && p.name.startsWith(`${key}/`)) || p.args?.agent === key
+  if (!owned) return false
+  const { resolve, name } = p
+  state.permission = null
+  state.permissionPreview = []
+  state.status = "Processing..."
+  pushLine?.(`  [denied] ${name}`, C.error)
+  resolve(false)
+  render?.()
+  return true
+}
 
 /** permission 确认模态：y/n/a（a = approve + AUTO ON）；batch（§16 D-B1）：a/o/n（Esc = deny）。
  *  consume：valid 键或 Esc 走 resolve 分支；其余键静默吞掉（模态独占）。 */
@@ -68,10 +93,11 @@ export function handleQuestionMode(str, key, ctx) {
       state.status = "Processing..."
       render()
     } else if (key.name === "up") {
-      q.selected = Math.max(0, (q.selected ?? 0) - 1)
+      // A4（第 20 批 §12.4 契约——同义键同形）：↑↓ 环绕（原钳位——对齐 picker/wizard 既有语义）
+      q.selected = ((q.selected ?? 0) - 1 + q.options.length) % q.options.length
       render()
     } else if (key.name === "down") {
-      q.selected = Math.min(q.options.length - 1, (q.selected ?? 0) + 1)
+      q.selected = ((q.selected ?? 0) + 1) % q.options.length
       render()
     } else if (key.name === "return") {
       const answer = q.options[q.selected ?? 0]
@@ -182,16 +208,21 @@ export function handleQuestionMode(str, key, ctx) {
 }
 
 /** interruptPrompt 模态（Ctrl+I 后输入注入消息）：Enter 提交 → controller.abort
- *  { interrupt: true, message }；Esc 取消；字符进 prompt；其余键静默吞（模态独占）。
+ *  { interrupt: true, message }；Esc 取消；编辑键 = §7.2 最小集 + 四方向键（第 31 批：
+ *  `{ chars, cursor }` codepoint 模型——TUI-INPUT-BOX.md §8.1）；其余键静默吞（模态独占）。
  *  返回 false 当模态未激活（key-handler 先检 state.interruptPrompt 入口再调）。 */
 export function handleInterruptMode(str, key, ctx) {
   const { state, pushLine, render } = ctx
   if (!state.interruptPrompt) return false
+  const p = state.interruptPrompt
+  if (!Array.isArray(p.chars)) p.chars = p.chars ? [...p.chars] : [] // 形态防御（同 question 自由文本态）
+  p.cursor = Math.max(0, Math.min(p.cursor ?? p.chars.length, p.chars.length))
+  const len = p.chars.length
   if (key.name === "escape") {
     state.interruptPrompt = null
     render()
   } else if (key.name === "return") {
-    const msg = (state.interruptPrompt.text ?? "").trim()
+    const msg = p.chars.join("").trim()
     state.interruptPrompt = null
     if (msg) {
       // Guard: if the turn already finished while the user was typing, the controller
@@ -204,12 +235,59 @@ export function handleInterruptMode(str, key, ctx) {
       }
       render()
     }
-  } else if (key.name === "backspace") {
-    state.interruptPrompt.text = state.interruptPrompt.text.slice(0, -1)
+  } else if (key.name === "enter") {
+    // Ctrl+J（\n → name "enter"）= no-op 吞——单行不变式：不插换行（§8.1）
+  } else if (key.name === "left") {
+    p.cursor = Math.max(0, p.cursor - 1)
+    render()
+  } else if (key.name === "right") {
+    p.cursor = Math.min(len, p.cursor + 1)
+    render()
+  } else if (key.name === "up" || key.name === "down") {
+    // 折行竖移（§8.1）：显示列保持 + 短行端钳制；无邻行 = 吞（零副作用——无历史回落）
+    const cols = (state.dims?.get() ?? {}).cols ?? (process.stdout.columns || 80)
+    const next = moveCursorVertical(p.chars, p.cursor, inputContentWidth(cols), key.name)
+    if (next !== null) {
+      p.cursor = next
+      render()
+    }
+  } else if (key.name === "home") {
+    p.cursor = 0
     render()
-  } else if (str && !key.ctrl && !key.meta) {
-    state.interruptPrompt.text += str.replace(/[\r\n]+/g, "")
+  } else if (key.name === "end") {
+    p.cursor = len
     render()
+  } else if (key.ctrl && !key.alt && key.name === "u") {
+    p.chars = []
+    p.cursor = 0
+    render()
+  } else if (key.name === "backspace") {
+    if (p.cursor > 0) {
+      p.chars.splice(p.cursor - 1, 1) // codepoint 元素删除——emoji 不劈半
+      p.cursor--
+      render()
+    }
+  } else if (key.ctrl && !key.alt && !key.meta && key.name === "v") {
+    // Ctrl+V 粘贴：落 cursor 位置（\n/\r 去除、\t → 2 空格——insertPastedText 注入框分支）。
+    // 异步读剪贴板期间框可能已 Esc/Enter 关闭 → 回调守卫比对同一引用，防落主输入框
+    // （同 question 态 stale-paste 守卫语义；不加守卫会静默落 state.input）。
+    const target = p
+    readClipboardText().then((text) => {
+      if (text && state.interruptPrompt === target) {
+        insertPastedText(state, text)
+        render()
+      }
+    }).catch((e) => console.error(`[tui] clipboard paste failed: ${e.message}`))
+  } else if (str && !key.ctrl && !key.meta && key.name !== "tab" && key.name !== "enter") {
+    // 可打印字符插入光标位置（codepoint 拆字）；\r\n 剥离 + \t→2 空格（单行不变式）
+    const chars = [...str.replace(/[\r\n]+/g, "").replace(/\t/g, "  ")]
+    if (chars.length) {
+      p.chars.splice(p.cursor, 0, ...chars)
+      p.cursor += chars.length
+      render()
+    }
   }
+  // 未列键（Delete/PgUp/PgDn/F1/…）一律 consume return——无 fall-through（模态独占；§8.1：
+  // Delete 不引入——与 §7.2 最小集对齐）
   return true
 }

package/src/tui/layout.mjs

@@ -3,7 +3,7 @@
  * Computes position and height of each panel from state + terminal dimensions.
  * Does not modify state — side effects are performed by the caller before rendering.
  *
- *   header → conversation → subagent 面板 → todo → picker → permission → queue → input → status
+ *   header → conversation → subagent 面板 → todo → picker → permission → input → status
  * Running subagent activity renders in a FIXED bottom panel between the
  * conversation and the todo panel (AGENT-LOOP.md §7.2.1) — full adaptive height
  * (the conversation shrinks); compressed away first on small terminals (to 0 =
@@ -26,6 +26,13 @@ const MAX_INPUT_LINES = 5
 const MAX_TASK_LINES = 5
 const QWIN = 5
 
+/** 输入框内容宽度单源（第 31 批——TUI-INPUT-BOX.md §9.3 #3）：`computeLayout` 的输入框
+ *  layoutInput 宽度与键处理侧竖移（`moveCursorVertical`）共用——布局与竖移零漂移。
+ *  含 2 列行前缀（`▸ ` / 续行 2 空格）；layoutInput 内部再为前缀预留 2 列。 */
+export function inputContentWidth(cols) {
+  return Math.max(20, cols - 1) - 4
+}
+
 /** question 自由文本态渲染布局：与主输入框同实现（TUI-INPUT-BOX.md §7.2 round2 #1/#6）——
  *  折行展开（`▸ ` 首行 + 续行 2 空格缩进）+ 光标行列；answer 单行不变式（无 \n 字符）由
  *  输入侧硬守卫（Ctrl+J no-op / 粘贴 \n→空格），此处只复用 layoutInput 的折行/光标语义，
@@ -40,11 +47,14 @@ export function layoutAnswer(chars, cursor, width) {
  */
 export function computeLayout(state, { cols, rows }) {
   const W = Math.max(20, cols - 1)
+  const inputW = inputContentWidth(cols) // 输入框内容宽（= W - 4）——单源：布局与竖移共用
 
   // --- input box ---
-  const inputBuf = state.search ? [...state.search.query] : (state.interruptPrompt ? [...state.interruptPrompt.text] : state.input)
-  const inputCursor = state.search ? inputBuf.length : (state.interruptPrompt ? inputBuf.length : state.cursor)
-  const inputLayout = layoutInput(inputBuf, inputCursor, W - 4)
+  // Ctrl+I 注入框（第 31 批）：{ chars, cursor } codepoint 数组 + 光标——与主输入框同渲染路径（§8）。
+  const ip = state.interruptPrompt
+  const inputBuf = state.search ? [...state.search.query] : (ip ? ip.chars : state.input)
+  const inputCursor = state.search ? inputBuf.length : (ip ? Math.max(0, Math.min(ip.cursor ?? inputBuf.length, inputBuf.length)) : state.cursor)
+  const inputLayout = layoutInput(inputBuf, inputCursor, inputW)
   let inputOffset = 0
   if (inputLayout.lines.length > MAX_INPUT_LINES) {
     inputOffset = Math.min(inputLayout.cursorLine, inputLayout.lines.length - MAX_INPUT_LINES)
@@ -66,7 +76,7 @@ export function computeLayout(state, { cols, rows }) {
     } else {
       const answerChars = Array.isArray(q.answer) ? q.answer : q.answer ? [...q.answer] : []
       const qCursor = Math.max(0, Math.min(q.cursor ?? answerChars.length, answerChars.length))
-      questionLayout = layoutAnswer(answerChars, qCursor, W - 4)
+      questionLayout = layoutAnswer(answerChars, qCursor, inputW)
       if (questionLayout.lines.length > MAX_INPUT_LINES) {
         questionOffset = Math.min(questionLayout.cursorLine, questionLayout.lines.length - MAX_INPUT_LINES)
       }
@@ -127,11 +137,10 @@ export function computeLayout(state, { cols, rows }) {
     permPreviewH = 1 + permPreviewLines.length // 1 for header line
   }
 
-  // Queue preview (1 line when queue has items and processing)
-  const queueH = state.queue.length > 0 && state.processing ? 1 : 0
+  // Queue 面板已撤（INPUT-LOCK-ASYNC F-7——2026-09-09——busy 提交吞——无排队展示）
 
   // --- elastic panel: conversation takes remaining space ---
-  const fixedH = headerH + inputBoxH + statusH + pickerH + taskPanelH + permPreviewH + queueH + subagentH
+  const fixedH = headerH + inputBoxH + statusH + pickerH + taskPanelH + permPreviewH + subagentH
   let convH = Math.max(1, rows - fixedH)
 
   // 小终端高度补偿：subagent 面板最先让位（可至 0 隐藏，活动仍进缓冲区不丢），
@@ -183,13 +192,12 @@ export function computeLayout(state, { cols, rows }) {
   const todo = todoFinalH > 0 ? { y, h: todoFinalH } : null; y += todoFinalH
   const picker = pickerFinalH > 0 ? { y, h: pickerFinalH } : null; y += pickerFinalH
   const permission = permFinalH > 0 ? { y, h: permFinalH } : null; y += permFinalH
-  const queue = queueH > 0 ? { y, h: queueH } : null; y += queueH
   const inputBox = { y, h: inputBoxH }; y += inputBoxH
   const status = { y, h: statusH }
 
   return {
     W, cols, rows,
-    panels: { header, conversation, subagent, picker, todo, permission, queue, inputBox, status },
+    panels: { header, conversation, subagent, picker, todo, permission, inputBox, status },
     // precomputed content (affects height, reused during render)
     inputLayout,
     inputOffset,

package/src/tui/ledger-surface.mjs

@@ -0,0 +1,69 @@
+/**
+ * ledger-surface.mjs — TUI 台账可见面胶水（LEDGER-SURFACE 批——设计档 §2.30.3.4）。
+ *
+ * 三面：① 启动行（首扫、**任一项目可动作**才出——明细行集每项目一行）② 变化行（老化首次
+ * 越线 / 池达阈值——一次性去重 + **送达门**：未送达不记账）③ 状态位（`state.ledger`——L1
+ * 常驻标记，`render-frame.mjs` 消费；**不受启动行门约束**——F2 按标记态照显）。
+ * 只读台账；唯一写面 = 去重档（`~/.thincoder/ledger-notify.json`）。
+ */
+import { blameAges, detailScans, discoverFamily, formatDetailLine, formatMarker, loadNotifyState, NOTIFY_FILE, notifyKey, planChangeLines, REFRESH_MS, saveNotifyState, summarizeLedger } from "../ledger.mjs"
+import { C } from "./ansi.mjs"
+
+/** 单次扫描（直驱面——timer 包装见 `startLedgerSurface`）。
+ *  `startup=true` = 会话首扫（补启动行；变化行在前、明细行在后）。 */
+export function runLedgerScan({ state, agent = null, anchor = null, notifyFile = NOTIFY_FILE, pushLine = () => {}, render = () => {}, startup = false, ageOf = blameAges } = {}) {
+  const base = anchor ?? agent?.cwd ?? process.cwd()
+  const family = discoverFamily(base)
+  const scans = []
+  for (const p of family.projects) {
+    try { scans.push(summarizeLedger(p, { ageOf })) } catch { /* 台账不可读 → 该项目跳过（余者照常——N1/T110①） */ }
+  }
+  const current = family.current ? scans.find((s) => s.root === family.current.root) ?? null : null
+  const notify = loadNotifyState(notifyFile)
+  const plans = scans.map((s) => ({ s, plan: planChangeLines(notify.ledgers[notifyKey(s.ledger)], s) }))
+  const changeLines = plans.flatMap(({ plan }) => plan.lines)
+  const showStartup = startup && scans.some((s) => s.actionable)
+  const rows = showStartup
+    ? [...changeLines, ...detailScans(scans, current).map((s) => ({ text: formatDetailLine(s), warn: s.actionable }))]
+    : changeLines
+  let delivered = true
+  for (const line of rows) {
+    try { pushLine(line.text, line.warn ? C.warn : C.dim) } catch { delivered = false; break }
+  }
+  // 送达门（F5）：有事件行 → 仅在送达后记账；无事件行 → 仅状态确有变化时静默同步（跌回 false 即重置）
+  const changed = plans.some(({ s, plan }) => {
+    const prev = notify.ledgers[notifyKey(s.ledger)]
+    return !prev || JSON.stringify(prev.aged ?? []) !== JSON.stringify(plan.next.aged) || Boolean(prev.threshold) !== plan.next.threshold
+  })
+  if (changeLines.length ? delivered : changed) {
+    const ledgers = { ...notify.ledgers }
+    for (const { s, plan } of plans) ledgers[notifyKey(s.ledger)] = { ...plan.next, updatedAt: Date.now() }
+    saveNotifyState(notifyFile, { version: 1, ledgers })
+  }
+  state.ledger = { marker: current ? formatMarker(current) : null, warn: Boolean(current && current.aged > 0), scannedAt: Date.now() }
+  render()
+}
+
+/** TUI 挂载：首扫（`setImmediate`——不抢首帧）+ 周期（`REFRESH_MS`；`state.processing` 期间跳过本轮）。 */
+export function startLedgerSurface(ctx = {}) {
+  let disposed = false
+  let timer = null
+  const tick = (startup) => {
+    if (disposed) return
+    if (!startup && ctx.state?.processing) return // git 子进程不打断回合帧
+    try { runLedgerScan({ ...ctx, startup }) } catch { /* 可见面尽力——不崩 TUI（N1） */ }
+  }
+  setImmediate(() => {
+    if (disposed) return
+    tick(true)
+    timer = setInterval(() => tick(false), REFRESH_MS)
+    timer.unref?.()
+  })
+  return {
+    dispose() {
+      disposed = true
+      if (timer) clearInterval(timer)
+      timer = null
+    },
+  }
+}

package/src/tui/model-catalog.mjs

@@ -0,0 +1,89 @@
+/**
+ * model-catalog.mjs — 会话级模型清单 helper（PROVIDER.md §16.2 M2/M9——2026-09-10 MODEL-SELECTION）。
+ *
+ * 清单唯一权威 = provider 运行期拉取（`GET /models`——provider/list-models.mjs 按 format 分派）。
+ * 本模块提供：
+ * - `getProviderModels(providerConfig)`：拉取 + **会话级缓存**（TTL 60s；失败不缓存——下次重试）；
+ * - `probeChannelModels(providerConfig)`：配置阶段准入探（M9——探通入缓存候选直接可用 / 探不通返回
+ *   明示文案；调用方决定标注与「不入可选来源」——绝不阻断保存）；
+ * - `modelListFailureText(error)`：M8 失败消息本体（逐字长句——界面明示的唯一断言对象）；
+ * - `dedupeModels` / `modelSeries`：显示归并（自 model-picker.mjs 迁入——会话面与槽位面共用）。
+ *
+ * 缓存时钟可注入（`_catalogHooks.now`——先例 rate.mjs `_rateHooks`）：测试假时钟确定性断言 T6 不依赖壁钟。
+ */
+import { listModels } from "../provider/list-models.mjs"
+
+/** 会话级缓存 TTL（§16.4 a2：连续操作不重复付网络；60s 新鲜窗口）。 */
+const CACHE_TTL_MS = 60_000
+
+/** 测试钩子（先例 `rate.mjs` `_rateHooks`）：时钟可注入——T6 假时钟断言。 */
+export const _catalogHooks = { now: () => Date.now() }
+
+/** 会话内缓存：key = name + baseURL（同渠道不同端点各自成条）；value = { models, at }。 */
+const _cache = new Map()
+
+/** 测试缝：清空会话缓存（跨用例隔离——生产无调用点）。 */
+export function _clearModelCatalogCache() { _cache.clear() }
+
+function cacheKey(providerConfig) {
+  return `${providerConfig?.name ?? ""}\u0000${providerConfig?.baseURL ?? ""}`
+}
+
+/**
+ * 拉取渠道模型清单（会话缓存 TTL 60s）。命中缓存（TTL 内）直接返回，否则走 M1 拉取；
+ * **失败不缓存**（下次调用重试——失败态由调用方降级展示）。
+ * `fresh: true` 跳过缓存读（仍写回——M9 准入探必须真发一次请求：换 key 不得被旧 key 的缓存短路）。
+ * 抛错契约与 listModels 一致。
+ */
+export async function getProviderModels(providerConfig, { signal, fresh = false } = {}) {
+  const key = cacheKey(providerConfig)
+  if (!fresh) {
+    const hit = _cache.get(key)
+    if (hit && _catalogHooks.now() - hit.at < CACHE_TTL_MS) return hit.models
+  }
+  const models = await listModels(providerConfig, { signal })
+  _cache.set(key, { models, at: _catalogHooks.now() })
+  return models
+}
+
+/** M8 失败消息本体（逐字长句——状态 = HTTP 状态码或网络错误摘要；无绕过指引）。
+ *  分工：消息本体 = 本长句；状态标签 = `不可用`（列表行内短标）。 */
+export function modelListFailureText(error) {
+  const status = /GET \/models failed (\d+)/.exec(error?.message ?? "")?.[1]
+    ?? String(error?.message ?? error)
+  return `该渠道不提供模型列表（GET /models ${status}）——无法选择模型，请改用其他渠道`
+}
+
+/**
+ * M9 配置阶段准入探：对目标渠道探一次 `GET /models`（复用 M1 + 既有超时；**fresh——真发一次
+ * 请求**（换 key 不被旧缓存短路）；探通入会话缓存——该流内候选直接可用）。
+ * 返回 `{ ok:true, list }` | `{ ok:false, message }`——**不抛错**（探不通不是异常：调用方标注
+ * 不可用 + 明示原因，配置流不阻断）。
+ */
+export async function probeChannelModels(providerConfig) {
+  try {
+    return { ok: true, list: await getProviderModels(providerConfig, { fresh: true }) }
+  } catch (error) {
+    return { ok: false, message: modelListFailureText(error) }
+  }
+}
+
+/** Strip known version/date suffixes to get the "series" name of a model.
+ *  e.g. "qwen-max-latest" → "qwen-max", "qwen-max-2024-09-19" → "qwen-max" */
+export function modelSeries(name) {
+  return name
+    .replace(/-latest$/, "")
+    .replace(/-\d{4}-\d{2}-\d{2}$/, "") // date suffix like -2024-09-19
+    .replace(/-\d{8}$/, "")              // date suffix like -20240919
+}
+
+/** Dedupe model list: group by series, keep shortest name per group. */
+export function dedupeModels(models) {
+  const groups = new Map()
+  for (const m of models) {
+    const series = modelSeries(m)
+    const existing = groups.get(series)
+    if (!existing || m.length < existing.length) groups.set(series, m)
+  }
+  return [...groups.values()].sort()
+}