@thincoder/core 0.10.7 → 0.10.9

package/prompts/persona-plan.md

@@ -1,26 +1,26 @@
 <!-- slot:[1] consumers:[plan subagent (engineering + normal)] -->
 
-## 身份：只读规划
+## Role: read-only planner
 You are a planning subagent. The parent agent dispatched you to design an implementation plan for a coding task.
-You are READ-ONLY: you can read and search files and consult the web, but you have no file-editing or mutation tools—do not attempt to modify anything.
+You are READ-ONLY: you can read and search files and consult the web, but you have no file-editing or mutation tools — an attempted edit errors out and spends a turn.
 Your deliverable IS the plan itself, returned as your final message.
 
-## 权限边界（只读）
-- You are READ-ONLY: no file-editing or mutation tools — do not attempt to modify anything.
+## Permission boundary (read-only)
+- You are READ-ONLY: no file-editing or mutation tools — an attempted edit errors out and spends a turn.
 - If something is ambiguous, note it in your plan.
 
-## 报告义务
+## Reporting duty
 - Before planning, use repo_outline to understand the project structure, doc_search for conventions and design docs, and code_search
 to locate relevant symbols. Ground the plan in real paths, not guesses.
 - First judge whether you understand the codebase areas the task touches. If not, say so instead of guessing—structure your reply as:
 1. What you already know from the provided information
 2. Which open questions would benefit from an explore subagent's investigation (the parent can dispatch one)
 3. Your plan—preliminary if questions remain, final if context is sufficient
-- Ground the plan in reality: cite real file paths and line numbers, name actual functions and modules. No invented architecture.
+- Ground the plan in reality: cite real file paths and line numbers, name actual functions and modules — an invented architecture sends the implementer to build something that does not exist.
 - Make steps concrete and verifiable: each step specific enough to check, ordered so dependencies come first.
 - Identify edge cases and failure modes in the plan. What boundary conditions does the implementation need to handle?
 Each step that encounters a risk must specify its fallback — not "handle error", but the concrete recovery path.
-- Where a real design choice exists, call out the trade-offs and recommend ONE option with reasoning—don't list possibilities without taking a stance.
+- Where a real design choice exists, call out the trade-offs and recommend ONE option with reasoning — a list without a stance hands the decision back unchanged, and the asker wanted the analysis and a recommendation.
 - Stick to the task: the plan should solve the task, not redesign the codebase. Prefer modifying existing files over creating new ones—
 new files should only appear when the task genuinely demands a new module. List every file that will be modified, so the implementer knows the blast radius.
 - If something is ambiguous, note it in the plan.

package/prompts/subagent-base.md

@@ -3,15 +3,15 @@
 ## You and the parent agent (subagent-only)
 
 You are a subagent: **the parent agent IS your user** — every user-facing move you make is addressed to it; the authorization has already been exercised upstream.
-It is **not a confirmation gate** (it cannot approve anything, and it may be busy) — so never send a confirmation request; **but decision-grade questions are exactly what it wants**.
+It is **not a confirmation gate** (it has no approval power, and it may be busy) — a confirmation request buys one refusal and one turn of waiting, so none is sent; **but decision-grade questions are exactly what it wants**.
 
-- **Never idle-wait for an answer, never end your turn "waiting for approval", never send a confirmation request** — a confirmation request asks it to approve before you go on.
-  **What is banned is the confirmation-type question, not the decision-type question** — keep the two apart.
+- **Idling for an answer, ending your turn "waiting for approval", or sending a confirmation request** each spends a turn and approves nothing — the parent is not a confirmation gate.
+  **The confirmation-type question — a question that asks for a nod before you continue — is ruled out: the parent cannot approve anything, so the nod buys nothing**; the decision-type question is exactly what it wants — keep the two apart.
 - **Send decision-grade questions**: the answer changes your next step and the materials cannot supply it ⇒ send `notify_parent` (`ask`) at once —
   one line with the question and your leaning; **send-and-go**: keep working on the unaffected parts; mark the affected part pending until the reply arrives.
 - **Decision-grade = four classes**: ① a stated premise the facts contradict; ② two requirements that conflict and you cannot arbitrate
   (two documents describing the same mechanism differently ⇒ **judged the same as a conflict**); ③ whether the action is inside your task domain; ④ a choice that would waste work already done.
-- **The conflict class must be sent, never deferred to the final report**: two requirements in conflict ⇒ send an `ask` at once — never settle it by picking a side, never keep weighing, never park it for the final report.
+- **The conflict class is sent at once**: two requirements in conflict ⇒ send an `ask` right away — weighing produces no new information, picking a side settles what the user has not settled, and a round parked to the final report has already been done on the wrong premise.
 - **Markers in your report**: items awaiting the parent's decision (including an ask left unanswered
   when you finish) head with `[上抛·待裁]`; FYI items (including a note you sent up) — `[上抛·知会]`.
   The engine marks the delivered message mechanically; in your report, the marker is yours to write.

package/provider/anthropic.mjs

@@ -4,7 +4,7 @@
  * Docs: https://docs.anthropic.com/en/api/messages
  */
 
-import { specForModel } from "../config.mjs"
+import { specForModel, requestBudget } from "../config.mjs"
 import { proxyFetch } from "../proxy.mjs"
 import { requestWithRetry } from "./retry.mjs"
 import { effectiveFetchTimeoutMs } from "./core.mjs"
@@ -53,7 +53,9 @@ export async function chat(provider, { messages, tools, onToken, onReasoning, on
     model: provider.model,
     messages: chatMessages,
     stream: true,
-    max_tokens: provider.maxTokens || (spec.maxOutput || 8192),
+    // §6.17 发送面同源：anthropic 恒发 max_tokens（显式 ?? 规格 maxOutput——原第三级兜底不可达已随本批删净，
+    // §6.17「装配面不留第二算式」）
+    max_tokens: requestBudget(provider).maxTokens,
   }
   if (systemMessages.length > 0) body.system = systemMessages.join("\n\n")
   if (tools?.length) body.tools = tools

package/provider/core.mjs

@@ -4,7 +4,7 @@
  * SSE parsing → provider/sse.mjs
  */
 
-import { providerSpec, resolveEnableThinking } from "../config.mjs"
+import { providerSpec, requestBudget, resolveEnableThinking } from "../config.mjs"
 import { resolveProviderSecrets } from "../env-ref.mjs"
 import { proxyFetch } from "../proxy.mjs"
 import { escapeMessages, stripLocalMessageFields } from "../escape.mjs"
@@ -189,7 +189,9 @@ async function chatImpl(provider, { messages, tools, onToken, onReasoning, onWai
   }
   // 保守抑制（非能力断言）：带 `noUsageStream` 的行 = 核不主动发 stream_options.include_usage（glm 族已实测带该参数全 200）；逐族等级 = MODEL-SPECS.md §15.2
   if (!spec.noUsageStream) body.stream_options = { include_usage: true }
-  if (provider.maxTokens) body.max_tokens = provider.maxTokens
+  // §6.17 发送面同源：max_tokens = requestBudget().maxTokens（显式才发——spec.maxOutput 是预留面非合同值）
+  const budget = requestBudget(provider, spec)
+  if (budget.maxTokens !== undefined) body.max_tokens = budget.maxTokens
   if (provider.temperature != null) {
     let t = provider.temperature
     if (spec.tempRange) {

package/provider/errors.mjs

@@ -53,6 +53,14 @@ export function isNonRetryableError(status, text) {
   return false
 }
 
+/** 图像语义拒绝词表（PROVIDER.md §6.26——词表可扩 = 一处改）。 */
+export const IMAGE_REJECTION_RE = /image|图片|图像|视觉|vision|multimodal/i
+
+/** 错误文本具图像语义否（§6.26 T1 判据件——纯函数；未知文本 ⇒ false）。 */
+export function looksLikeImageRejection(text) {
+  return IMAGE_REJECTION_RE.test(String(text ?? ""))
+}
+
 export function betaBaseURL(baseURL) {
   // DeepSeek prefix continuation uses /beta endpoint; only handle /v1 suffix, append /beta when /v1 is missing
   if (/\/v1$/.test(baseURL)) return baseURL.replace(/\/v1$/, "/beta")

package/provider/google.mjs

@@ -9,6 +9,7 @@ import { requestWithRetry } from "./retry.mjs"
 import { effectiveFetchTimeoutMs } from "./core.mjs"
 import { abortError, timeoutError } from "../abort-provenance.mjs"
 import { terminateBody } from "../stream-destroy.mjs"
+import { requestBudget } from "../config.mjs"
 
 /** OpenAI 语义 tool_choice → Gemini FunctionCallingConfig（2026-08-31 能力层）。 */
 function mapFunctionCallingConfig(choice) {
@@ -83,7 +84,13 @@ export async function chat(provider, { messages, tools, onToken, onReasoning, on
     contents,
     generationConfig: {
       ...(provider.temperature != null ? { temperature: provider.temperature } : {}),
-      ...(provider.maxTokens ? { maxOutputTokens: provider.maxTokens } : {}),
+      // §6.17 发送面同源：显式才发（requestBudget().maxTokens——无显式 ⇒ undefined ⇒ 字段不落）
+      ...(requestBudget(provider).maxTokens !== undefined
+        ? { maxOutputTokens: requestBudget(provider).maxTokens }
+        : {}),
+      // #1200（MODEL-SPECS.md §18.8）：off 形在场 ⇒ 禁思考形——载荷逐字同标题径先例
+      // （`generate-title.mjs` 的 `generateTitle`）；其余值（缺 ∥ on 形 ∥ null）⇒ 零发（误发 none = 反向禁用）。
+      ...(provider.thinking?.type === "disabled" ? { thinkingConfig: { thinkingLevel: "none" } } : {}),
     },
     safetySettings: [
       { category: "HARM_CATEGORY_HARASSMENT", threshold: "BLOCK_NONE" },

package/provider/normalize.mjs

@@ -16,6 +16,9 @@ export const IMAGE_HISTORY_BYTES_BUDGET = 32 * 1024 * 1024
 /** 图片驱逐占位文本（D-PR32 逐字）。 */
 const IMAGE_BUDGET_PLACEHOLDER = "[image omitted — dropped to keep the request under the history image budget]"
 
+/** 图片拒绝剥除占位文本（PROVIDER.md §6.26 逐字——逐图原位替换）。 */
+export const IMAGE_REJECTED_PLACEHOLDER = "[image omitted — the provider rejected the image payload; dropped from history so the session can continue. Re-read a smaller copy if the image is still needed.]"
+
 /** 单 part 的 base64 载荷长度（仅 data URL；非 data 引用不过请求体、零计账）。 */
 function imagePartBytes(p) {
   if (p?.type !== "image_url") return 0
@@ -25,14 +28,31 @@ function imagePartBytes(p) {
   return comma >= 0 ? url.length - comma - 1 : 0
 }
 
+/** 图像 part 替换核（D-PR32 字节驱逐 ∥ §6.26 拒绝剥除共用——`drop` = `${mi}:${pi}` 键集；
+ *  命中 part 原位换 `placeholder`；copy-on-write：未命中消息原引用返回）。 */
+function replaceImageParts(messages, drop, placeholder) {
+  return messages.map((m, mi) => {
+    const parts = m?.content
+    if (!Array.isArray(parts)) return m
+    let changed = false
+    const next = parts.map((p, pi) => {
+      if (!drop.has(`${mi}:${pi}`)) return p
+      changed = true
+      return { type: "text", text: placeholder }
+    })
+    return changed ? { ...m, content: next } : m
+  })
+}
+
 /**
  * 历史图片累计字节预算（D-PR32）：全部 image part 的 base64 载荷和超 budgetBytes 时，
  * 从**最老**图起替换为占位文本，直到剩余 ≤ 预算。纯函数 + 拷贝语义（未改动时返回原引用；
  * 改动时仅重建涉及的消息对象）——发送前对消息副本用；注入面对 `history` 本体回写（同函数同预算）。
  * @param {Array} messages
  * @param {number} [budgetBytes]
+ * @param {string} [placeholder] 占位文本（缺省 = D-PR32 逐字原文——§6.26 新增参零扰）
  */
-export function capHistoryImages(messages, budgetBytes = IMAGE_HISTORY_BYTES_BUDGET) {
+export function capHistoryImages(messages, budgetBytes = IMAGE_HISTORY_BYTES_BUDGET, placeholder = IMAGE_BUDGET_PLACEHOLDER) {
   if (!Array.isArray(messages)) return messages
   const hits = []
   let total = 0
@@ -54,17 +74,27 @@ export function capHistoryImages(messages, budgetBytes = IMAGE_HISTORY_BYTES_BUD
     drop.add(`${hit.mi}:${hit.pi}`)
     remaining -= hit.bytes
   }
-  return messages.map((m, mi) => {
-    const parts = m?.content
-    if (!Array.isArray(parts)) return m
-    let changed = false
-    const next = parts.map((p, pi) => {
-      if (!drop.has(`${mi}:${pi}`)) return p
-      changed = true
-      return { type: "text", text: IMAGE_BUDGET_PLACEHOLDER }
-    })
-    return changed ? { ...m, content: next } : m
-  })
+  return replaceImageParts(messages, drop, placeholder)
+}
+
+/**
+ * 图片拒绝剥除（PROVIDER.md §6.26）：全部 image part 一次原位换 `IMAGE_REJECTED_PLACEHOLDER`
+ * （全剥——单图归因信息不存在；只剥最新 ⇒ 二连败）。copy-on-write：仅重建含图消息对象
+ * （两线共享消息对象——人读线 `_fullHistory` 内图不动）；无图 ⇒ 原引用返回。
+ * @param {Array} messages
+ */
+export function stripRejectedImages(messages) {
+  if (!Array.isArray(messages)) return messages
+  const drop = new Set()
+  for (let mi = 0; mi < messages.length; mi++) {
+    const parts = messages[mi]?.content
+    if (!Array.isArray(parts)) continue
+    for (let pi = 0; pi < parts.length; pi++) {
+      if (parts[pi]?.type === "image_url") drop.add(`${mi}:${pi}`)
+    }
+  }
+  if (drop.size === 0) return messages
+  return replaceImageParts(messages, drop, IMAGE_REJECTED_PLACEHOLDER)
 }
 
 export function stripImagesForTextModel(messages, spec) {

package/provider/responses-request.mjs

@@ -1,6 +1,6 @@
 /**
  * provider/responses-request.mjs — Responses **请求构造面**出档（2026-09-29 structure-split-2 · 台账 #620）：自
- * `provider/responses.mjs` 全量迁出〔原 `:22-245`〕——host 白名单判定（`isStatefulHost` ∕ `isStoreRequiredHost` ∕
+ * `provider/responses.mjs` 全量迁出——host 白名单判定（`isStatefulHost` ∕ `isStoreRequiredHost` ∕
  * `isNonStatefulHost`）· `chainKey` · `builtinToolsFor` · `toItems` / `toTools` / `normalizeUsage` · `buildBody`；
  * **结构拆分零语义**（面不变 ∕ 判据不变，只换宿主档；切点 ∕ 缝单源 = 批档 `docs/batches/2026-09-29-structure-split-2.md` §2.2-B）。
  *
@@ -9,7 +9,7 @@
  * 零环：本档不引宿主（方向单行）；档外依赖 = `../config.mjs`（`specForModel` ∥ `isBailianHost`）。
  * 链语义（双轨 ∕ 白名单 ∕ store 必开 ∥ 链重置）详述见宿主档头；本档 = 请求侧构造 ∥ 链状态机决策。
  */
-import { specForModel, isBailianHost } from "../config.mjs"
+import { specForModel, isBailianHost, requestBudget } from "../config.mjs"
 
 /** 白名单：已实证 previous_response_id 的官方端（2026-08-31 真机验证：
  *  百炼 store:true 全链路 ✅；GLM（open.bigmodel.cn/api/v1）store:true 全链路 ✅）。 */
@@ -198,7 +198,8 @@ export function buildBody(provider, messages, tools, opts = {}) {
     ...(toolsFlat ? { tools: toolsFlat } : {}),
     // 显式才发（#907-D5）：仅 provider.maxTokens 显式设定时发送——spec.maxOutput 是规格侧
     // 保守猜测非渠道合同值，恒发 = 渠道口径漂移 400 风险；无显式值 ⇒ 服务端默认（模型上限兜底）。
-    ...(provider.maxTokens != null ? { max_output_tokens: provider.maxTokens } : {}),
+    // §6.17 发送面同源：requestBudget().maxTokens 未发 ⇒ undefined ⇒ 字段不落。
+    ...(requestBudget(provider).maxTokens !== undefined ? { max_output_tokens: requestBudget(provider).maxTokens } : {}),
   }
   // 内置工具声明追加（2026-08-31 用户拍板）：web_search 与本地 function 工具共存
   const builtin = builtinToolsFor(provider.baseURL, provider.builtinTools)

package/provider/responses.mjs

@@ -84,7 +84,7 @@ export async function parseStream(response, { onToken, onReasoning, signal }) {
     onCompleted: (resp) => { result.finishReason = "stop"; seal(resp) }, // §6.31.7 F-DA5：completed ⇒ stop（原恒 null ⇒ agent 面缺席）
     onIncomplete: (resp) => {
       seal(resp)
-      // 非长度原因（content_filter 等）不能报成 "length"——agent 层按原因给用户提示（`agent/run-stages.mjs:43`）
+      // 非长度原因（content_filter 等）不能报成 "length"——agent 层按原因给用户提示（`agent/run-stages.mjs` 的 `injectResponseReminders`）
       result.finishReason = resp?.incomplete_details?.reason === "content_filter" ? "content_filter" : "length"
     },
     onFailed: (resp) => {
@@ -252,7 +252,7 @@ export async function chat(provider, { messages, tools, onToken, onReasoning, on
   } catch (chainErr) {
     if (!isChainInvalidError(chainErr?.status)) throw chainErr
     // 链失效（404/400）：先清残留链再重建——D6 语义是真·全量重发（body.input=items）。
-    // 不清链会走 buildBody 的增量分支（`responses-request.mjs:220-227`）：body.input = 裸 function_call_output 且
+    // 不清链会走 buildBody 的增量分支（`responses-request.mjs` 的 `buildBody`）：body.input = 裸 function_call_output 且
     // previousResponseId 未随 fullBody 带走 → 服务端 call_id 无归属 → 二次 400（2026-08-31 评审 #1）
     provider._responsesChain = null
     const fresh = buildBody(provider, messages, tools, { toolChoice, stateful, forceStateful: true })

package/provider/wait-status.mjs

@@ -20,7 +20,7 @@
  */
 import { t } from "../i18n.mjs"
 
-/** 发射面回显前缀（`provider/retry.mjs:60` 的 `quota exhausted: `）——由 i18n 模板去占位符
+/** 发射面回显前缀（`provider/retry.mjs` 的 `requestWithRetry` 的 `quota exhausted: `）——由 i18n 模板去占位符
  *  派生（核内零第二套文案字面）；发射侧恒为 en 字面，故剥前缀不随 locale 变。 */
 const QUOTA_ECHO_PREFIX = t("status.quota", { msg: "" })
 

package/provider-flows.mjs

@@ -70,7 +70,7 @@ export function customFieldsError(fields) {
 }
 
 /**
- * M9 探针目标构造（上提源 = VSC `provider-flows.mjs:38` 的实参面 `presets.mjs` `probeTargetFromEntry`——
+ * M9 探针目标构造（上提源 = VSC `provider-flows.mjs` 的实参面 `presets.mjs` `probeTargetFromEntry`——
  * 逐条随迁）：渠道条目 ⇒ `listModels` 可消费的探针目标。代理链与 chat 请求同规则（per-provider `proxy: true`
  * ∧ `proxy.uri` 在案 ⇒ 探针也走该代理；无全局闸——2026-10-08 批落）；apiKey 归一（trim；缺 ⇒ 空串——探针会
  * 如实失败 ⇒ 渠道标「不可用」——准入判据 M8）。`headers` 字段面（#1048①）：仅 plain-object 才携；缺 ∥ 非法 ⇒

package/queued.mjs

@@ -2,8 +2,8 @@
  * queued.mjs — busy 排队消息的合并消费纯函数族（核件——「桌面处理流 · VSC 对齐」批 R3 上提产物）。
  *
  * 机制单源 = `docs/core/design/AGENT-LOOP-ASYNC-POOL.md` §6.8（「合并消费」条 + 「步边界 pickup」块）。
- * 上提源 = VSC `thincoder-vscode/src/extension/queued-merge.mjs:15-36`（容量常量 ∕ 合并串 ∕ 批计划）
- * + `queued-pickup.mjs:49`（`takeQueuedBatchItem` 取项）——**纯搬 + 转口，零语义改**（常量名 / 值 /
+ * 上提源 = VSC `thincoder-vscode/src/extension/queued-merge.mjs`（容量常量 ∕ 合并串 ∕ 批计划）
+ * + `queued-pickup.mjs`（`takeQueuedBatchItem` 取项）——**纯搬 + 转口，零语义改**（常量名 / 值 /
  * 形态文案 / 批语义逐字）；对拍锚 = CLI 副本 `thincoder-cli/src/tui/queued-merge.mjs`（同名同值）。
  *
  * 消费面：计划面（常量 ∕ 合并串 ∕ 计划）由桌面排队面消费（`thincoder-desktop/src/main/queued-input.mjs`）；

package/rules.mjs

@@ -69,7 +69,7 @@ export function discoverRules(projectRoot) {
 // ─── A 面：stream 规则装配合并（`.thincoder/rules`——B7 3a 自核装配内联块抽取单源）────────
 
 /** 装配合并：`.thincoder/rules/` 文件规则**置前**，config 规则按 `pattern` 去重（文件侧优先；
- *  逐字镜像原 CLI `make-agent.mjs:44-48` 语义）。文件规则为空 ⇒ 归一数组原样返回（零拷贝零改）。
+ *  逐字镜像原 CLI `make-agent.mjs` 语义）。文件规则为空 ⇒ 归一数组原样返回（零拷贝零改）。
  *  `discover` 可注入（核装配 `DEFAULT_DEPS.discoverRules` 缝——U79 装配序可机验；VSC 端壳同取本件）。 */
 export function mergeFileRules(configRules, cwd, discover = discoverRules) {
   const rules = Array.isArray(configRules) ? configRules : []
@@ -79,7 +79,7 @@ export function mergeFileRules(configRules, cwd, discover = discoverRules) {
   return [...fileRules, ...rules.filter((r) => !filePatterns.has(r.pattern))]
 }
 
-// ─── B 面：作用域规则读取面（`.cursor/rules`——R10 上提；纯搬自 VSC `src/extension/rules.mjs:28-81`）──
+// ─── B 面：作用域规则读取面（`.cursor/rules`——R10 上提；纯搬自 VSC 端壳）──
 
 /**
  * Load all scoped rules from `.cursor/rules/`.
@@ -171,8 +171,8 @@ export function scopedRulesBlock(agent, cwd) {
   return `\n\nProject rules (.cursor/rules):\n${rules.always.map((r) => `- ${r.name}: ${r.content}`).join("\n")}`
 }
 
-/** 文件路径 glob 匹配（简单 `*` / `**` / `?` 通配——无完整 glob 库；纯搬自 VSC
- *  `src/extension/rules.mjs:37-74`，零语义改）。 */
+/** 文件路径 glob 匹配（简单 `*` / `**` / `?` 通配——无完整 glob 库；纯搬自 VSC 端壳，零语义改）。
+ *  */
 export function matchesGlob(filePath, patterns) {
   if (!patterns || patterns.length === 0) return false
   // Normalize to forward slashes

package/session-gc.mjs

@@ -37,7 +37,7 @@ import { configDir } from "./config.mjs"
 import { sessionPath, ownerPid } from "./session-slots.mjs"
 import { probeOwnersAsync, ownerState } from "./process-probe.mjs"
 import { listStaleCwds, deleteStaleCwd, recycleGroup, sweepStale, trashRootFor } from "./session-stale.mjs"
-// sidecar 记录目录后缀常量（单源 = `session-segments.mjs:13`——本档经该常量判后缀形态；
+// sidecar 记录目录后缀常量（单源 = `session-segments.mjs` 的 `RECORD_DIR_SUFFIX`——本档经该常量判后缀形态；
 // 两处名形匹配式（`classifyResidue` / `sweepOrphanRecordDirs`）按 `{prefix}.{N}` + 后缀内联，不构成第二单源）。
 import { RECORD_DIR_SUFFIX } from "./session-segments.mjs"
 

package/session-lifecycle.mjs

@@ -18,6 +18,7 @@
  */
 
 import { existsSync } from "node:fs"
+// §6.17：auto 派生值只进显示面（compactThresholdResolved）——显式键 agent.compactThreshold 永不被改写
 import { resolveCompactThreshold } from "./config.mjs"
 // 槽面判据单源（#841 KD-841-2：槽渠道 key 门 + 模型面序——PROVIDER.md §6.22）。
 import { hasKey, resolveChannelModel, resolveProviderPlan } from "./model-ref.mjs"
@@ -79,8 +80,8 @@ function stripTruncatedToolArgs(m) {
  *  "三支"误读）：
  *  ① 槽 provider 存在 → provider/model 按槽值设（模型链 = 槽模型 → `defaultModel` 属本渠道 ⇒ 其模型段；
  *     两档皆无 ⇒ `null`——2026-10-09 清除批：原 `providers[].model` 回落退场；`defaultModel` 经
- *     `resolveProviderPlan` 参与模型面）+ 重算
- *     compactThreshold（auto 时——按恢复后模型）；
+ *     `resolveProviderPlan` 参与模型面）+ 刷新显示面
+ *     `compactThresholdResolved`（auto 时——按恢复后模型；显式键 `compactThreshold` 零改写）；
  *  ② 槽 provider 没了 → D-S3 保留——静默保持现状（config 有效则有效——两方都无效由调用侧
  *     复验 validateProvider 弹重选）。
  *  删旧支："activeModel==null 清 stale override 回渠道默认"——前提 = 渠道默认字段——已随
@@ -131,7 +132,7 @@ export function applySession(agent, data, opts = {}) {
   }
   // ENG-PLAN-EXCLUSION（FR31 ③ / KD10——恢复点①·CLI `applySession`）：工程模式 ⇒ planMode 恒
   // false（内存位 + 未注入的 plan 提示语）——防「工程纪律 × plan 只读」半状态随槽恢复复活。
-  // **槽不就地回写**：内存值在下一次 `saveSession` 随 `planMode` 字段自然收正（`session.mjs:128`）。
+  // **槽不就地回写**：内存值在下一次 `saveSession` 随 `planMode` 字段自然收正（`session.mjs`）。
   if (agent.config?.agent?.engineering === true) clearPlanMode(agent)
   if (data.advisor) {
     agent.config.advisor = { ...data.advisor }
@@ -184,11 +185,10 @@ export function applySession(agent, data, opts = {}) {
     agent.activeModel = slotModel
     agent.provider = { ...slotProvider }
     if (slotModel) agent.provider.model = slotModel
-    // 重算 compactThreshold（auto 时——阈值跟模型走；原在 bin 的 switched 分支——收拢本处）。
-    // 非串 model（外端脏载 / 手工档）⇒ 不重算（#638 后查表族恒 total，本门保留为同形防御——与
-    // 下方档位块同口径）；类型脏载不中断恢复。
+    // §6.17：恢复后 auto 派生线随槽模型跟手——只刷新显示面 compactThresholdResolved（显式键不写；
+    // 判定阈值本身由 setup.mjs 每 run 现算，不依赖本值）
     if (switched && agent.config?.agent?.compactThresholdAuto && typeof agent.provider.model === "string" && agent.provider.model) {
-      agent.config.agent.compactThreshold = resolveCompactThreshold(null, agent.provider).value
+      agent.config.agent.compactThresholdResolved = resolveCompactThreshold(null, agent.provider).value
     }
     // 会话级档位施加（§6.21 判据句 4——在模型合并支之后，以**合并后**的 `provider.model` 判 spec；
     // 三端共用本施加面）：`"off"` 记号 ⇒ 该模型有 off 路径才设关思考形（effort 族该形为 `null`

package/session-slot-write.mjs

@@ -108,7 +108,7 @@ export function saveSlotData(cwd, slot, data) {
   if (data.createdBy === undefined && !existsSync(p)) data.createdBy = sessionEnd()
   writeSessionFile(p, data)
   // 写后取 mtime 单次采集（读失败 ⇒ `0` = 不可得）：缓存（本档路径键）+ 摘要 `ts` 地板入参
-  // （#503——保存面写后取 mtime，同族先例 `session-slot-verify.mjs:99`）。
+  // （#503——保存面写后取 mtime，同族先例 `session-slot-verify.mjs` 的 `runPass`）。
   const wroteMtime = (() => { try { return statSync(p).mtimeMs } catch { return 0 } })()
   slotMtimeCache.set(p, wroteMtime)
   try {
@@ -214,7 +214,7 @@ export function resolveEffortPatch(level, model) {
  * `activeModel`（不新增字段；`null` = 缺键语义——`provider` / `model` 无「未设」态）；`effort` 经
  * `resolveEffortPatch` 归一（`model` 取 `patch.model ?? 槽现值 activeModel`），归一 `null` = 未设
  * （回落配置面 / 渠道默认）——**值置 `null` 不删键**（与 `newSlotData` 规范结构同源）。
- * 只写盘：不碰当前内存态（施加面唯一 = `applySession`——§6.21 判据句 4 / 边界表第 5 行）。
+ * 只写盘：不碰当前内存态（施加面唯一 = `applySession`——§6.21 判据句 4 / 边界表「写非活动槽」行）。
  *
  * **值域面（#441② 明文——核侧有意不校）**：本出口只校**键闭集**，**不校值域**——`provider` /
  * `model` 传 `null`（或表外字面）按**缺键语义**零改（不报错；`null` 仅对 `effort` 有「未设」

package/session-slots-manifest.mjs

@@ -68,7 +68,7 @@ export function slotDigest(data, mtimeMs) {
 const isNum = (v) => typeof v === "number" && Number.isFinite(v)
 
 /** 摘要 `ts` 打点（**单源** · #503 地板）：`max(墙钟, mtimeMs)`；`mtimeMs` 不可得（缺省 / 非数）⇒
- *  裸墙钟回溯。沿先例 `session-slot-verify.mjs:99`（回写面地板）：**平台文件时间戳可领先
+ *  裸墙钟回溯。沿先例 `session-slot-verify.mjs` 的 `runPass`（回写面地板）：**平台文件时间戳可领先
  *  `Date.now()` 数 ms**——无地板则保存面刚写的摘要会被 `needsVerify`（`ts < mtime`）判「陈旧」
  *  一次（有界自纠，非数据面）；地板后 `ts ≥ mtime` 恒成立（同一 stat 值即比较对象）。 */
 export function digestTs(mtimeMs) {

package/session.mjs

@@ -183,7 +183,7 @@ export function saveSession(agent, opts = {}) {
   if (agent._recordStore) saveProjectedSlot(agent, p, fields, contextHistory)
   else writeSessionFile(p, { ...fields, history: legacyHistory(agent), contextHistory })
   // 记录我们刚写的 mtime——下次保存跳过解析（缓存 = `{p, mtimeMs}` 按路径命中：#386）+
-  // 摘要 `ts` 地板入参（#503：保存面**写后取** mtime——同族先例 session-slot-verify.mjs:99）。
+  // 摘要 `ts` 地板入参（#503：保存面**写后取** mtime——同族先例 `session-slot-verify.mjs` 的 `runPass`）。
   let wroteMtimeMs
   try {
     wroteMtimeMs = statSync(p).mtimeMs

package/shell-candidates.mjs

@@ -1,6 +1,6 @@
 /**
- * shell-candidates.mjs — 平台 shell 候选探测**单源**（B10 S17 收编：桌面 `settings-env.mjs:27-62` ∥
- * VSC `src/extension/settings.mjs:72-115` 两造 ≈逐字 ⇒ 候选表 ∕ 探测序 ∕ 超时 ∕ memo 上提本档；
+ * shell-candidates.mjs — 平台 shell 候选探测**单源**（B10 S17 收编：桌面 `settings-env.mjs` ∥
+ * VSC `src/extension/settings.mjs` 两造 ≈逐字 ⇒ 候选表 ∕ 探测序 ∕ 超时 ∕ memo 上提本档；
  * 两端薄壳只留 re-export —— 端侧零自持候选表）。
  *
  * 面：`shellCandidates()` ⇒ `Promise<{ name, value }[]>`——「System default」恒首 + 平台候选

package/shell-identity.mjs

@@ -10,7 +10,7 @@
  *
  * memo（进程生命周期 + 按配置值键控）先例 = `shell-candidates.mjs`（「shell 路径不热变化」同判据）；
  * 配置值变化 ⇒ memo 未命中重探（K2 配置变更刷新 ∥ 裁定①零静态同时成立）。
- * 测试缝 `_setComSpecForTest` 先例 = `shell-candidates.mjs:34` `_setShellDetectForTest`。
+ * 测试缝 `_setComSpecForTest` 先例 = `shell-candidates.mjs` `_setShellDetectForTest`。
  */
 
 // 识别表（raw 尾段词 → 显示名 + 语法族）。匹配大小写不敏感，尾段词先剥 `.exe` 后缀（U3——

package/team.mjs

@@ -1,8 +1,9 @@
 /**
  * team.mjs — 团队登录机制（TEAM.md §2——三端共用单源：CLI ∥ VSC ∥ 桌面同 import）。
  *
- * 面：登录 ∥ 退出 ∥ 登录态读面 ∥ 活校验（`teamVerify`——只读三值，登录面补全批增）∥ 端标签（自动生成）∥
- * 派生 provider 条目（登录写入 / 退出停用）∥ 服务地址归一 ∥ 失败分类。**写面单源** = 本档（`writeConfigAtomic`
+ * 面：登录 ∥ 退出 ∥ 轮换（`teamRotate`——team-token-rotation 批增）∥ 登录态读面 ∥ 活校验（`teamVerify`——只读三值，
+ * 登录面补全批增）∥ 端标签（自动生成）∥ 派生 provider 条目（登录写入 / 退出停用 / 轮换同步）∥ 服务地址归一 ∥
+ * 失败分类。**写面单源** = 本档（`writeConfigAtomic`
  * 一次 mutate——经 `persistRaw`；端侧零自写盘，三端同源）——`teamVerify` **只读**（零写盘、零状态）。
  *
  * 形（TEAM.md §2.1）：顶层 `team` 段 `{ server, member{username,name}, label, token }`——`token` 在场 ⇔
@@ -14,9 +15,11 @@
  * 返回形（B1 批端侧契约——父侧裁定 2026-10-10）：
  *   `teamLogin`  ⇒ `{ ok:true, notice?:"manual-name-conflict" }` ∥ `{ ok:false, reason }`
  *   `teamLogout` ⇒ `{ ok:true, revokeDelivered:boolean }` ∥ `{ ok:false, reason }`
+ *   `teamRotate` ⇒ `{ ok:true }` ∥ `{ ok:false, reason }`（子集：`network` ∥ `invalid`（401——旧 token 已失效）∥
+ *   `write_failed`——TEAM.md §2.7）
  *   `reason` 取值域：`network`（不可达 ∥ DNS/TLS ∥ 超时 ∥ 非 401/429 应答——服务不符合预期面）∥
- *   `credentials`（401——同措辞）∥ `rate_limited`（429——锁定期）∥ `write_failed`（服务端已应答、本地
- *   写盘失败——mtime 冲突 ∥ 畸形档拒写）。`notice` 携**码**不携文（文本归端侧 i18n）；
+ *   `credentials`（401——登录流程同措辞）∥ `invalid`（401——轮换流程：旧 token 已失效）∥ `rate_limited`（429——锁定期）∥
+ *   `write_failed`（服务端已应答、本地写盘失败——mtime 冲突 ∥ 畸形档拒写）。`notice` 携**码**不携文（文本归端侧 i18n）；
  *   `revokeDelivered:false` = 服务端吊销未达（网络失败——本地照清）。
  */
 import { hostname } from "node:os"
@@ -82,7 +85,8 @@ export function teamStatus() {
  * （Bearer = `team.token`）⇒ **三值闭集**：`{ state: "valid" }`（200——token 有效）∥ `{ state: "invalid" }`（401——
  * 被吊销 ∥ 无效）∥ `{ state: "unreachable" }`（网络不可达 ∥ 其他非 401 失败——**不判失效**：离线容忍）。
  * **只读**——零写盘、零状态（调用面持结果）；零周期轮询（触发点制 = 启动一次 ∥ 登/退面开合 ∥ CLI `/team status`）。
- * token ∥ 地址缺席（未登录 ∥ 畸形档）⇒ `unreachable`（无从校验——不假报失效；端侧未登录面零调本函数）。
+ * token ∥ 地址缺席（已登录但缺 token 或缺地址）⇒ `unreachable`（无从校验——不假报失效；端侧未登录面零调本函数）。
+ * **畸形档不到本函数**：`loadConfig()` 畸形即抛，端侧拒绝直传（零 catch 吞）——故本行不列畸形档。
  */
 export async function teamVerify() {
   const team = loadConfig().team
@@ -104,6 +108,60 @@ export async function teamVerify() {
   return { state: "unreachable" } // 其余（403 ∥ 404 地址非本服务 ∥ 5xx）⇒ 不判失效
 }
 
+/**
+ * 轮换（TEAM.md §2.7；三端同构——team-token-rotation 批）：`POST <server>/api/client/rotate`（Bearer = `team.token`；
+ * 体 `{}`——写端点 JSON 门照常）⇒ 成 ⇒ **一次写盘**：`team.token` = 新明文（替换）+ 派生条目 `apiKey` 同步
+ * （条目缺失 ∥ 同名手工 ⇒ 仅落 token——沿登录不覆盖口径）；败 ⇒ 零写盘 + 出词。**非 best-effort**：网络败 ⇒
+ * 服务端零变更（旧 token 仍有效——重试即复原）；401 ⇒ `invalid`（旧 token 已失效——端侧转「已失效」）。
+ * 无 token ∥ 无地址 ⇒ `network`（零请求旁路——端侧管理面本应已登录门）；服务端语义单源 = CLIENT.md §2 rotate 行。
+ */
+export async function teamRotate() {
+  const team = loadConfig().team
+  const token = typeof team?.token === "string" && team.token !== "" ? team.token : null
+  const server = typeof team?.server === "string" && team.server !== "" ? team.server : null
+  if (token === null || server === null) return { ok: false, reason: "network" } // 无凭据/无地址 ⇒ 兜底归类（零请求）
+  let res
+  try {
+    res = await fetch(`${server}/api/client/rotate`, {
+      method: "POST",
+      headers: { authorization: `Bearer ${token}`, "content-type": "application/json" },
+      body: "{}",
+      signal: AbortSignal.timeout(TEAM_FETCH_TIMEOUT_MS),
+    })
+  } catch {
+    return { ok: false, reason: "network" } // 不可达 ∥ DNS ∥ TLS ∥ 超时（服务端零变更——旧 token 仍有效）
+  }
+  if (!res.ok) {
+    await res.text().catch(() => {}) // 错误体零消费面（分类只看状态——零新码）
+    if (res.status === 401) return { ok: false, reason: "invalid" } // 旧 token 已失效（端侧转「已失效」）
+    return { ok: false, reason: "network" } // 404（地址不是本服务）∥ 5xx 等——服务不符合预期面
+  }
+  let body = null
+  try {
+    body = await res.json()
+  } catch {
+    body = null
+  }
+  const next = typeof body?.token === "string" && body.token !== "" ? body.token : null
+  if (next === null) return { ok: false, reason: "network" } // 200 而形不符（代理 ∥ 非本服务应答）
+  try {
+    const result = persistRaw((raw) => {
+      assertWritableRoot(raw)
+      const section = raw.team
+      if (section === null || typeof section !== "object" || Array.isArray(section)) throw new Error("team 段缺失——拒写")
+      section.token = next // 新明文替换（一次写盘）
+      if (Array.isArray(raw.providers)) {
+        const entry = raw.providers.find((p) => p !== null && typeof p === "object" && p.name === TEAM_PROVIDER_NAME && p.derived === true)
+        if (entry !== undefined) entry.apiKey = next // 派生条目同步；缺失 ∥ 同名手工 ⇒ 仅落 token（零覆盖）
+      }
+    })
+    if (result !== null && result.ok === false) return { ok: false, reason: "write_failed" } // mtime 冲突（不自动合并）
+  } catch {
+    return { ok: false, reason: "write_failed" } // 畸形档拒写等（writeConfigAtomic fail-closed）
+  }
+  return { ok: true }
+}
+
 /**
  * 登录（TEAM.md §2.2；三端同构）：请求 `POST <server>/api/client/login` ⇒ 成 ⇒ **一次写盘**（`team` 段 +
  * 派生条目 upsert）；败 ⇒ 分类出词、零写盘。`label` 缺省 ⇒ 自动生成（`defaultTeamLabel()`）；显式传入

package/think-off.mjs

@@ -17,15 +17,15 @@ export function thinkOffShape(spec) {
 
 /** 有效 off 路径（「何时可宣称 OFF」判据本体 = §16.4）——由 `thinkOffShape` 派生（防两处漂移）：
  *  `null` 形只有 effort 族的载荷门据它补发 `reasoning_effort:"none"` ⇒ 须枚举含 `"none"`
- *  （无枚举 / 无 `none` ⇒ 形不发任何字段，§16.4 表第 1 行）；`{type:"disabled"}` 形 ⇒ 达载荷层。
- *  两形共门 = `thinkAlwaysOn !== true`（服务端强制族：形被拒 / 恒思考 ⇒ 无效，§16.3 / §16.4 表第 2 行）。 */
+ *  （无枚举 / 无 `none` ⇒ 形不发任何字段，§16.4 表「effort 族」行）；`{type:"disabled"}` 形 ⇒ 达载荷层。
+ *  两形共门 = `thinkAlwaysOn !== true`（服务端强制族：形被拒 / 恒思考 ⇒ 无效，§16.3 / §16.4 表「服务端强制族」行）。 */
 export function thinkOffPath(spec) {
   if (spec?.thinkAlwaysOn === true) return false
   if (thinkOffShape(spec) === null) return (spec?.reasoningEffortEnum ?? []).includes("none")
   return true
 }
 
-/** advisor 推理档写面三态（**写语义单源** —— 由 VSC `settings-panel-write.mjs:149-164` 上提；B10 S11：
+/** advisor 推理档写面三态（**写语义单源** —— 由 VSC `settings-panel-write.mjs` 的 `applyAdvisorEffort` 上提；B10 S11：
  *  桌面主侧 ∕ VSC 写面两端同引，零副本）：`advisor` 对象原地作用于 `{ thinking, reasoningEffort }` 两键 ——
  *  ① `"none"`（关思考）⇒ `thinking = thinkOffShape(spec)`（族别 off 形）+ 删 `reasoningEffort`；
  *  ② 非空档字面 ⇒ `reasoningEffort = 值` + 清 off 形残记（`thinking` 为 `null` 字面 ∕ `{type:"disabled"}`

package/token-ttl.mjs

@@ -277,7 +277,7 @@ export function persistEngTokens(agent) {
   data.updatedAt = Date.now()
   writeSessionFile(p, data)
   // 记录我们刚写的 mtime——下次保存/守卫跳过重复解析（saveSession 同款；缓存按路径命中 #386）
-  // + 摘要 `ts` 地板入参（#503：保存面写后取 mtime——同族先例 session-slot-verify.mjs:99）。
+  // + 摘要 `ts` 地板入参（#503：保存面写后取 mtime——同族先例 `session-slot-verify.mjs` 的 `runPass`）。
   let wroteMtimeMs
   try {
     wroteMtimeMs = statSync(p).mtimeMs

package/token-window.mjs

@@ -38,7 +38,7 @@ const KEEP_HEAD = 0 // No dedicated head: earliest messages may be a COMPLETED e
 // Tail count formula (D4): window-adaptive (~30 msgs per 100K — old fixed 10 too thin on 1M), capped
 // at 40% of history; §6.4④ D-T1/D-T2 make the count only a CANDIDATE — a token budget (TAIL_BUDGET_FRACTION
 // × window − SUMMARY_TOKEN_ESTIMATE ≈1K, §6.9) tightens it over pair-safe boundaries when compaction runs,
-// never below TAIL_FLOOR_MESSAGES; ordinary sessions never reach it (D-T4: trigger 0.6 untouched).
+// never below TAIL_FLOOR_MESSAGES; ordinary sessions never reach it (D-T4: the trigger ratio lives in `config.mjs` — untouched here).
 const TAIL_BUDGET_FRACTION = 0.15
 const SUMMARY_TOKEN_ESTIMATE = 1000 // §6.9: summary output target ~1K tokens — reserved from the 15%
 const TAIL_FLOOR_MESSAGES = 10 // §6.4④ D-T2: the tail keeps ≥10 verbatim messages — floor beats budget

package/tool-docs/bash.md

@@ -10,7 +10,7 @@ Execute a shell command and return stdout+stderr. Use for running commands, buil
 
 Parameters:
 - command (required): Shell command to execute
-- timeout: Timeout in milliseconds (default 120000, max ~300000)
+- timeout: Timeout in milliseconds (default 120000 for synchronous runs; background runs have no default — an explicit timeout still applies; no upper bound)
 - filter: Optional — a regex; only output lines matching it are returned (case-insensitive). Use instead of hand-writing a pipe into `findstr`/`grep`.
 - async: Run in the background (default false) — returns an ack at once (bash#<id>, log path); the result arrives as a digest when the process exits. Depth-0 only.
 {{inject:bash-terminal-face}}