thincoder 0.12.60 → 0.12.62

package/src/session.mjs

@@ -15,6 +15,7 @@
 
 import { readFileSync, renameSync, existsSync, statSync } from "node:fs"
 import { basename } from "node:path"
+import { resolveCompactThreshold } from "./config.mjs"
 import {
   slotPath, writeSessionFile, loadManifest, saveManifest, slotDigest,
   activeSlot, getSessionId, isProcessAlive,
@@ -24,6 +25,14 @@ import {
 import { guardForeignSlotFile } from "./session-guard.mjs"
 import { scheduleSessionGC } from "./session-gc.mjs"
 import { engTokenSlotFields, restoreEngTokens } from "./token-ttl.mjs"
+// TUI-OOM-ROOTCAUSE 批（SESSION.md §14）：人读线记录存储（磁盘为准 + 内存窗口）。
+// slimForDisplay/isLegacyTransient 迁入 store 模块（§14.5 文件表）——本文件 re-export 保持
+// 既有 import 面（session-slots.mjs 引 isLegacyTransient）。依赖方向单向：store 零项目内依赖。
+import {
+  bindRecordStore, unbindRecordStore, saveProjectedSlot, isLegacyTransient, slimForDisplay,
+  RECORD_WINDOW_MESSAGES,
+} from "./session-store.mjs"
+export { isLegacyTransient, slimForDisplay, bindRecordStore, unbindRecordStore }
 
 // re-export slot 管理（保持既有 import session.mjs 的调用点不变；resumeSlot 下方本地包装导出）
 export {
@@ -42,60 +51,44 @@ export function resumeSlot(cwd) {
   return slotsResumeSlot(cwd)
 }
 
-// ========== legacy transient prefix cleanup ==========
-
-const LEGACY_TRANSIENT_PREFIXES = [
-  "[System reminder: working directory snapshot:",
-  "[Relevant memories from previous sessions",
-]
+// ========== core read/write ==========
+// （legacy transient 判定 + slimForDisplay 自本区迁至 session-store.mjs——§14.5 文件表；
+//  上方 re-export 保持既有 import 面。）
 
-function isLegacyTransient(m) {
-  return (
-    m.role === "user" &&
-    typeof m.content === "string" &&
-    LEGACY_TRANSIENT_PREFIXES.some((p) => m.content.startsWith(p))
-  )
+/** 未绑定路径的人读线全量物化（模式 F——既有语义逐字保留）。 */
+function legacyHistory(agent) {
+  return (agent._fullHistory ?? agent.history)
+    .filter((m) => !m.transient && !isLegacyTransient(m))
+    .map(slimForDisplay)
 }
 
-export { isLegacyTransient }
-
-// ========== core read/write ==========
-
-/** Slim the HUMAN line (history) for storage — the machine line (contextHistory)
- *  keeps everything byte-identical for the provider. Deepseek-consult design
- *  (2026-08-30): the human line is never compacted and carries the bulk of
- *  session-file size (tool args JSON / full tool results / base64 images), while
- *  nothing consumes its verbatim fidelity. Rules (copy-on-write ONLY — the two
- *  lines share object references via pushReal; mutating in place would corrupt
- *  the machine line and provider prefix cache):
- *   - assistant.tool_calls[].function.arguments → trimmed to 300 chars (head + …)
- *   - tool messages content → 500 chars (head + …)
- *   - multimodal user content array → keep text parts, DROP image_url base64 parts
- *   - plain string messages → untouched (not the size driver)
- */
-function slimForDisplay(m) {
-  if (m && Array.isArray(m.content)) {
-    // Multimodal user message: keep text parts, drop image parts.
-    const textParts = m.content.filter((p) => p?.type !== "image_url")
-    if (textParts.length === m.content.length) return m
-    return { ...m, content: textParts }
+/** 恢复描述符（§14.3.6——两调用点统一形态）：`{ history, total, base }`。
+ *  绑定态：history = 尾窗 + ±1 页沿头一条（跨页回合标签判定用——不渲染）、total = 绝对
+ *  总条数（「N messages」标签口径）、base = history[0] 的绝对序号；未绑定（模式 F）：
+ *  回退全量数组（total = 数组长）。 */
+export function sessionDescriptor(agent, data) {
+  const store = agent?._recordStore
+  if (store) {
+    const total = store.total()
+    const win = store.page(Math.max(0, total - RECORD_WINDOW_MESSAGES), total, { margin: 1 })
+    return { history: win.messages, total, base: win.base }
   }
-  if (m && m.role === "assistant" && Array.isArray(m.tool_calls)) {
-    let changed = false
-    const tool_calls = m.tool_calls.map((tc) => {
-      const args = tc.function?.arguments
-      if (typeof args === "string" && args.length > 300) {
-        changed = true
-        return { ...tc, function: { ...tc.function, arguments: args.slice(0, 300) + "…" } }
-      }
-      return tc
-    })
-    return changed ? { ...m, tool_calls } : m
-  }
-  if (m && m.role === "tool" && typeof m.content === "string" && m.content.length > 500) {
-    return { ...m, content: m.content.slice(0, 500) + "\n… (truncated for storage)" }
+  const full = Array.isArray(data?.history) ? data.history : []
+  return { history: full, total: full.length, base: 0 }
+}
+
+/** 槽摘要（记录存储绑定路径——history 不物化）：与 slotDigest(extractSlotMeta) 同形。 */
+function digestFromStore(fields, counters) {
+  const meta = {
+    messageCount: counters.total,
+    turnCount: counters.userReal,
+    firstMessage: counters.firstMessage,
+    activeProvider: fields.activeProvider ?? "",
+    updatedAt: fields.updatedAt ?? Date.now(),
+    title: fields.title ?? "",
   }
-  return m
+  if (fields.activeModel) meta.activeModel = fields.activeModel
+  return { ts: Date.now(), ...meta }
 }
 
 /** Save agent state to the active slot file (atomic write). `display` (the old
@@ -110,24 +103,25 @@ export function saveSession(agent) {
   // history        = FULL, never-compacted (human-readable; VS Code panel & CLI resume read this)
   // contextHistory = machine context (possibly compacted) so CLI resume keeps the token savings
   // Human line: transient machine injections never enter the readable record.
-  const history = (agent._fullHistory ?? agent.history)
-    .filter((m) => !m.transient && !isLegacyTransient(m))
-    .map(slimForDisplay)
+  // TUI-OOM-ROOTCAUSE 批（SESSION.md §14.3.5）：绑定记录存储后 `history` 字段由
+  // saveProjectedSlot 流式拼接段原文生成（磁盘为准——不物化全量数组）；未绑定
+  // （模式 F：thincoder chat/测试/未覆盖路径）→ 既有全量物化路径逐字保留（D-R6）。
   // Machine line (contextHistory): KEEP transient messages — resume must rebuild the
   // machine line byte-identical to what the provider cache saw. Dropping them made every
   // process restart diverge at the first injection position (git/OS/time reminders are
   // re-injected with FRESH content) → whole-prefix cache miss on the CLI's very first
   // request of each session (2026-08-16 cache-hit report; Kimi review).
   const contextHistory = agent.history.filter((m) => !isLegacyTransient(m))
-  const data = {
+  // fields = 槽 JSON 数据面（history 由投影插入——键序与既有 data 形态同序，history/contextHistory 居后）
+  const fields = {
     version: 2,
     cwd: agent.cwd,
     title: agent.title ?? "",
-    activeProvider: agent.activeProvider ?? agent.provider?.name,
-    activeModel: agent.activeModel ?? null,
+    // MODEL-MERGE-SESSION 槽双字段恒非空（裁定 a）：有 provider 即携带具体复合值——
+    // 恢复不看 config（F-4）——无渠道默认可回落 ""/null（全新未配态——读侧容忍）
+    activeProvider: agent.activeProvider ?? agent.provider?.name ?? "",
+    activeModel: agent.activeModel ?? agent.provider?.model ?? null,
     updatedAt: Date.now(),
-    history,
-    contextHistory,
     tasks: agent.tasks ?? [],
     planMode: agent.planMode ?? false,
     autoApprove: agent.autoApprove ?? false,
@@ -138,30 +132,36 @@ export function saveSession(agent) {
     pendingReminders: agent._pendingReminders ?? [],
     sessionStart: agent._sessionStart ?? null,
   }
-  // 2026-09-05 §10 D-4：首认领（_slot 为 null——如 /session 切换后首保存、"查看对方活槽 →
-  // 保存 fork 新槽"的落盘槽跟随）写本端记录——marker = 端内最后认领者；粘性 _slot 期间
+  // 2026-09-05 §10 D-4：首认领（_slot 为 null——如 /session 切换后首保存、“查看对方活槽 →
+  // 保存 fork 新槽”的落盘槽跟随）写本端记录——marker = 端内最后认领者；粘性 _slot 期间
   // 的日常保存不写（F1：保存永不参与竞争）
   const claimedNow = agent._slot == null
   const slot = agent._slot ??= activeSlot(agent.cwd)
   if (claimedNow) writeEndMarker(agent.cwd, slot)
   const p = slotPath(agent.cwd, slot)
+  // 首保存补绑（§14.3.4 表末行——兜底所有未覆盖路径）：未绑定且有槽 → 绑定记录存储
+  // （baseHistory = 当前 _fullHistory 全量；identity = 当前 _sessionStart）
+  if (!agent._recordStore) {
+    bindRecordStore(agent, { slotFile: p, identity: agent._sessionStart ?? null, baseHistory: agent._fullHistory ?? [] })
+  }
   // 2026-08-31 会诊 F2 🔴：写前校验磁盘文件的 sessionStart——与本进程会话不符（另一
   // 进程/会话的现场）→ 先轮转 .bak 保留再写（11311 条历史被新进程覆盖的实锤场景）。
-  // 守卫自 2026-09-08 提取为 guardForeignSlotFile（session-slots.mjs——DESIGN-TOKEN-
-  // SETTLEMENT D1）——saveSession 与 token-ttl persistEngTokens（settle 当场落盘）
-  // 共用同一份（检查按 mtime 缓存 _slotMtime：自写未变跳过全量解析）。
   // 守卫自 2026-09-08 提取为 guardForeignSlotFile（session-guard.mjs——DESIGN-TOKEN-
   // SETTLEMENT D1 二次拆分：先入 session-slots、再因 500 行硬限迁 session-guard）——
   // saveSession 与 token-ttl persistEngTokens（settle 当场落盘）共用同一份（检查按
   // mtime 缓存 _slotMtime：自写未变跳过全量解析）。
   const rotated = guardForeignSlotFile(agent, p, slot)
-  writeSessionFile(p, data)
+  // 绑定态 → 流式投影（段原文拼接——VSC 兼容面逐字同形）；未绑定 → 既有全量物化写
+  if (agent._recordStore) saveProjectedSlot(agent, p, fields, contextHistory)
+  else writeSessionFile(p, { ...fields, history: legacyHistory(agent), contextHistory })
   // 记录我们刚写的 mtime——下次保存跳过重复解析
   try { agent._slotMtime = statSync(p).mtimeMs } catch {}
   // Update slot metadata in manifest
   try {
     const m = loadManifest(agent.cwd)
-    m.slots[slot] = slotDigest(data)
+    m.slots[slot] = agent._recordStore
+      ? digestFromStore(fields, agent._recordStore.counters())
+      : slotDigest({ ...fields, history: legacyHistory(agent) })
     saveManifest(agent.cwd, m)
   } catch (e) {
     // Manifest update failure is non-fatal — data is safe, metadata will lazy-recover on next listSlots
@@ -255,25 +255,42 @@ function stripTruncatedToolArgs(m) {
   return changed ? { ...m, tool_calls } : m
 }
 
-/** Apply loaded session data onto an agent object; returns true if provider was switched.
- *  2026-08-31 会诊 F1：清空 _slot/_slotMtime 缓存——切换后下次保存重新认领（F1b 回归：
- *  switchToSlot 后保存必须落新槽而非旧槽）。 */
-export function applySession(agent, data) {
-  // data.history is the FULL never-compacted record (human line); data.contextHistory is the
-  // (possibly compacted) machine line. Restore each line from its own source — the machine
-  // context keeps its compaction savings across resume. Legacy files without contextHistory
-  // fall back to seeding the machine line from the full history (it re-compacts when needed).
-  // 2026-08-31 会诊 deepseek 🟡：机读线必须从 contextHistory 恢复而非从完整 history 重建——
-  // 后者会把已压缩的中间过程塞回上下文（实测 prompt 膨胀到 283%）。compactThresholdAuto 时
-  // 按恢复后的模型重新推导阈值（bin/thincoder.mjs）。v1 老文件（无 contextHistory）回退
-  // 播种时剥离被 slimForDisplay 截断的 tool_calls.arguments（以 … 结尾 → 置 {}；会诊 F6——
-  // 截断可劈断 \\uXXXX 产生 400 毒载荷）。2026-09-01 会诊三家：length > 0 才当机读线
-  // （contextHistory: [] 是"无机读线"而非空机器线——空机器线会静默丢全部上下文）。
+/** Apply loaded session data onto an agent object; returns true if the runtime composite
+ *  was switched. 2026-08-31 会诊 F1：清空 _slot/_slotMtime 缓存——切换后下次保存重新认领。
+ *
+ *  MODEL-MERGE-SESSION（F-4）applySession 重写为两支 + 删旧支（评审 #7/#9 措辞——防
+ *  "三支"误读）：
+ *  ① 槽 provider 存在 → provider/model 按槽值设（双字段恒非空——模型取 data.activeModel，
+ *     legacy 槽 null/空串回该渠道默认模型 `providers[].model`（单值——2026-09-10 MODEL-SELECTION
+ *     v2；老 models[] 首候选形态已退场））+ 重算
+ *     compactThreshold（auto 时——按恢复后模型）——不看 config（defaultModel 只是新会话起点）；
+ *  ② 槽 provider 没了 → D-S3 保留——静默保持现状（config 有效则有效——两方都无效由调用侧
+ *     复验 validateProvider 弹重选）。
+ *  删旧支："activeModel==null 清 stale override 回渠道默认"——前提 = 渠道默认字段——已随
+ *  三旧层删除消失——双字段恒非空故不可能触发（评审 #7）。 */
+export function applySession(agent, data, opts = {}) {
+  // 机读线语义（历史注释保留）：data.history = FULL 未压缩记录（人读线）；data.contextHistory =
+  // 压缩后机器线——恢复各从其源（保留压缩收益——从完整 history 重建会塞回中间过程——实测
+  // prompt 膨胀 283%）。v1 老文件（无 contextHistory）回退播种，剥离被 slimForDisplay 截断的
+  // tool_calls.arguments（… 结尾 → 置 {}——截断可劈断 \\uXXXX 产生 400 毒载荷）。length > 0 才
+  // 当机读线（contextHistory: [] 是"无机读线"而非空机器线——空机器线静默丢全部上下文）。
   agent.config ??= {} // ACP test mocks may omit config; be defensive like the ??= below
   const full = Array.isArray(data.history) ? data.history : []
+  // SESSION.md §11.2（2026-09-08——F2/F3）：恢复事件按当前 data 重定——载入历史非空 = 会话
+  // 恢复 → 下个 depth-0 回合 env-state resumed:yes 一次（pushEnvStateReminder 读即清——每次恢复
+  // 一次）。/new 与空历史槽切换不武装（显式清 false）——无恢复事件恒 no（F3 伪触发消除——不再靠
+  // _sessionStart != null 推断；已武装 agent 切到空历史槽也不残留上次恢复事件——评审 round2 🟡）。
+  // _processRestartPending 不在此清——由启动路径（bin/thincoder.mjs）设、prepareRun 发句清
+  // （N6——双信号独立：切槽不报进程重启）。
+  // 跨端异名互指（结构债批 5 N7——双端同语义各自独立实现、命名不统一是刻意——SESSION.md
+  // §11.2）：VSC 端同机制载体异名 = agent._resumedPending（src/agent/setup.mjs hydrateRun——
+  // restore:true 工厂 + fullHistory 非空时武装——每槽恢复一次）+ 模块级 restartDetectionDone
+  // 一次性闸（src/agent/setup-reminders.mjs——process restarted 句的进程级信号）。
+  agent._envResumed = full.length > 0
   const ch = data.contextHistory
   const machine = (Array.isArray(ch) && ch.length > 0) ? ch : full.map(stripTruncatedToolArgs)
-  agent._fullHistory = [...full]
+  // 绑定态（opts.slot 在场）：人读线 = 记录存储尾窗（下方绑定块填充）——不复制全量 JSON 数组
+  agent._fullHistory = opts.slot != null ? [] : [...full]
   agent.history = [...machine]
   agent.title = data.title ?? ""
   agent.tasks = data.tasks ?? []
@@ -300,27 +317,43 @@ export function applySession(agent, data) {
   agent._verifyPassed = false
   agent._slot = null // 粘性缓存清空——切换后重新认领（F1b）
   agent._slotMtime = null
-  if (data.activeProvider && data.activeProvider !== agent.activeProvider) {
-    const p = agent.providers?.find((pr) => pr.name === data.activeProvider)
-    if (p) {
-      agent.provider = { ...p }
-      agent.activeProvider = p.name
-      agent.activeModel = data.activeModel ?? null
-      if (agent.activeModel) agent.provider.model = agent.activeModel
-      return true
-    }
-  } else if (data.activeModel != null) {
-    // Same provider, different model
-    agent.activeModel = data.activeModel
-    if (agent.activeModel && agent.provider) agent.provider.model = agent.activeModel
-  } else if (data.activeProvider && data.activeProvider === agent.activeProvider) {
-    // Same provider, session has no activeModel → clear stale override
-    agent.activeModel = null
-    if (agent.provider) {
-      const p = agent.providers?.find((pr) => pr.name === agent.activeProvider)
-      if (p) agent.provider.model = p.model
+  // ── 记录存储绑定（TUI-OOM-ROOTCAUSE——§14.3.4/§14.3.5）──
+  // opts.slot 在场（启动恢复 / 非占用的 /session 切换 / ACP 钉槽）→ 绑定（身份核验 + 对账 +
+  // 窗口）——人读线 = store.tail(200)；未传（模式 F：被他人活进程占用的槽 / 测试 / ACP fork）
+  // → 解绑——人读线维持全量数组（D-R6 零回归）。
+  if (opts.slot != null) {
+    const store = bindRecordStore(agent, {
+      slotFile: slotPath(agent.cwd, opts.slot),
+      identity: data.sessionStart ?? null,
+      baseHistory: full,
+    })
+    agent._fullHistory = store.tail(RECORD_WINDOW_MESSAGES)
+  } else {
+    unbindRecordStore(agent)
+  }
+  // ── MODEL-MERGE-SESSION 恢复（F-4——两支）──
+  const slotProvider = data.activeProvider ? agent.providers?.find((pr) => pr.name === data.activeProvider) : null
+  if (slotProvider) {
+    // ① 槽 provider 存在 → 按槽值设（不看 config）：双字段恒非空——legacy 槽 activeModel
+    //    null/空串 = 无 override——回该渠道默认模型（`providers[].model` 单值——M3）。
+    //    F-2d（MODEL-400-FIX）：`||` 非 `??`——空串也兜（activeModel="" 的槽会让 `??` 不落链 →
+    //    空槽 model 恒有值，provider.model 键不缺失）
+    const prevName = agent.activeProvider
+    const prevModel = agent.activeModel ?? null
+    const slotModel = data.activeModel || slotProvider.model
+    const switched = prevName !== slotProvider.name || prevModel !== slotModel
+    agent.activeProvider = slotProvider.name
+    agent.activeModel = slotModel
+    agent.provider = { ...slotProvider }
+    if (slotModel) agent.provider.model = slotModel
+    // 重算 compactThreshold（auto 时——阈值跟模型走；原在 bin 的 switched 分支——收拢本处）
+    if (switched && agent.config?.agent?.compactThresholdAuto && agent.provider.model) {
+      agent.config.agent.compactThreshold = resolveCompactThreshold(null, agent.provider).value
     }
+    return switched
   }
+  // ② 槽 provider 没了 → D-S3 保留——静默保持现状（不报错不纠正——config 有效则静默用
+  //    config/defaultModel 运行时；两方都无效由调用侧复验 validateProvider 弹重选）
   return false
 }
 
@@ -413,8 +446,13 @@ export function resetSessionState(agent) {
   agent._slot = null
   agent._slotMtime = null
   agent._osReminderInjected = false
-  agent._restartReminderInjected = false
+  // §11.2（2026-09-08）：一次性注入标志换名——_restartReminderInjected 推断退役（F3——
+  // _sessionStart != null 伪触发）；/new 清零新标记——恢复武装/启动句标志不跨会话复活
+  agent._envResumed = false
+  agent._processRestartPending = false
   agent._lastEngState = false
+  // /new 或切换：记录存储解绑（新槽由 cmd-new / 首保存补绑重新挂载——§14.3.4）
+  unbindRecordStore(agent)
 }
 
 /** Switch the manifest active pointer to a slot. Returns the slot's session data

package/src/text-budget.mjs

@@ -0,0 +1,46 @@
+/**
+ * text-budget.mjs — 文本额度纯函数（零依赖——TUI-OOM-ROOTCAUSE 批，AGENT-LOOP.md §23.3.1 / TUI.md §15.3.2）。
+ *
+ * 单一来源（D2）：agent 侧捕获截断（spawn-child.mjs——子代理 `_capturedOutput`）与 TUI 面
+ * 载体额度（tui/display-budget.mjs）共用本体的 `capText` / `appendCappedText`——两处各自
+ * 复制截断逻辑的漂移面被消除。本模块零 import（可被任意层直接引用）。
+ *
+ * 计量口径 = **UTF-16 码元**（`String.length`——与 JS 字符串内存近似、确定、O(1) 计长；
+ * TUI.md §15.2 表 1）。截断形态 = 头保 + 中段标记 + 尾保（标记含真实省略数 N）。
+ *
+ * 标记串约定：`marker` 模板中以字面 `N` 为省略数占位（逐字进测试断言——如
+ * `… [captured output truncated: N chars omitted] …`）。
+ */
+
+/** 省略数占位符替换（首个 `N`——模板约定；TUI 面 capLines 等复用）。 */
+export function fillMarker(marker, omitted) {
+  if (typeof marker === "function") return String(marker(omitted))
+  const tpl = String(marker ?? "")
+  const i = tpl.indexOf("N")
+  return i === -1 ? `${tpl} (${omitted} omitted)` : `${tpl.slice(0, i)}${omitted}${tpl.slice(i + 1)}`
+}
+
+/**
+ * 头尾保真截断：`text` ≤ `max` 时零拷贝原样返回；超限 → 头 `keepHead` + 标记 + 尾 `keepTail`。
+ * keepHead/keepTail 各自夹紧到文本长度（互不重叠——头 + 尾 ≤ 文本长）。
+ * @returns {string} 原串或截断串（含 `marker` 替换后的省略数）
+ */
+export function capText(text, { max, keepHead = 0, keepTail = 0, marker = "" } = {}) {
+  const t = String(text ?? "")
+  if (!(max > 0) || t.length <= max) return t
+  const head = Math.max(0, Math.min(keepHead, t.length))
+  const tail = Math.max(0, Math.min(keepTail, t.length - head))
+  const omitted = t.length - head - tail
+  return t.slice(0, head) + fillMarker(marker, omitted) + (tail > 0 ? t.slice(t.length - tail) : "")
+}
+
+/**
+ * 流式累积（滞后水位——摊还 O(1)）：`prev + add`；超 `hard` 时立即裁至
+ * 头 `head` + 标记 + 尾 `tail`（下一轮从截断值继续累积——稳态长度 ≤ hard）。
+ * @returns {string} 合并（可能已截断）的累积串
+ */
+export function appendCappedText(prev, add, { hard, head = 0, tail = 0, marker = "" } = {}) {
+  const merged = String(prev ?? "") + String(add ?? "")
+  if (!(hard > 0) || merged.length <= hard) return merged
+  return capText(merged, { max: hard, keepHead: head, keepTail: tail, marker })
+}

package/src/token-ttl.mjs

@@ -237,7 +237,8 @@ export function persistEngTokens(agent) {
       cwd: agent.cwd,
       title: agent.title ?? "",
       activeProvider: agent.activeProvider ?? agent.provider?.name,
-      activeModel: agent.activeModel ?? null,
+      // MODEL-MERGE-SESSION 恒非空形态：随 saveSession 同款回落链（无渠道仍容忍 null）
+      activeModel: agent.activeModel ?? agent.provider?.model ?? null,
       history: [],
       contextHistory: [],
       tasks: agent.tasks ?? [],