thincoder 0.12.70 → 0.12.71

package/CHANGELOG.md

@@ -1,3 +1,17 @@
+## [Unreleased]
+
+> 0.12.70 → 0.12.71（连续号——发布时定号）
+
+### Added
+
+- **台账变体键首启提示（#935）**：盘符大小写变体旧库检测 + `migrate` 指引一行。
+
+### Changed
+
+- **核依赖升级**：`@thincoder/core` `^0.10.3` → `^0.10.4`（消化账务 ∥ 评审闸 ∥ 工程写闸等随核生效）。
+- **消化账务（#930）**：未结可见 ∥ 重试升级（TUI 面随核同源）。
+- **bash 执行器身份（#922）**：注入执行器行（TUI 提示随实跑 shell）。
+
 ## [0.12.70] — 2026-10-04
 
 > 0.12.69 → 0.12.70（连续号——发布时定号）

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "thincoder",
-  "version": "0.12.70",
+  "version": "0.12.71",
   "description": "Thin coding agent - zero third-party dependencies, no build step, Node.js native. Sharp code, zero bloat.",
   "keywords": [
     "ai",
@@ -20,7 +20,7 @@
     "node": ">=24"
   },
   "dependencies": {
-    "@thincoder/core": "^0.10.3"
+    "@thincoder/core": "^0.10.4"
   },
   "files": [
     "bin/",

package/src/acp/bridge.mjs

@@ -167,6 +167,10 @@ export function buildAcpCallbacks({ sessionId, agent, notify, request, log = ()
    *  读全部涉及文件缓冲（同文件去重——一次读）→ 逐条 computeEditEntry（EDIT_ABORT_PREFIX——批量
    *  原子前缀；同文件条目按数组序串行累积——第二条基于第一条结果）→ 全部通过 → 逐文件写回
    *  一次（判失败 → 零写；写失败 → 同本地 edit-batch 既有原子语义）。 */
+  /** ACP batch-edit 通道——与 EDIT.md:#796 汇总行体系**无关**。
+   * 桥面 `outcomes.map(...).join("\\n")` 自持逐条文字行，不经 `applyEditBatch`/`diffLines`/offload；
+   * 距 64K offload 阈值远 + 不含 diff 结构 ⇒ 不在 offload 盲区范围。**判定：非 #796 射程（#908）**。
+   */
   const editBatch = async (args) => {
     const edits = args.edits
     assertEditsContainer(edits)

package/src/command-interactive.mjs

@@ -167,6 +167,13 @@ export async function tuiCommand(ctx) {
     )
   }
   const { startTUI } = await import("./tui.mjs")
+  // F-LX3（批 2026-10-05-ledger-variant-db-notice · 台账 #935 · LEDGER.md §12.2）：变体键库首跑检测提示——
+  // 动态 import（新档静态链入 node:sqlite——W8 契约②）+ import ∥ 调用整段 try（静默降级：失败 ⇒ 不传 opts）
+  let ledgerVariantNotice
+  try {
+    const { ledgerVariantNotice: detect } = await import("@thincoder/core/ledger-variant-notice.mjs")
+    ledgerVariantNotice = detect({ cwd: agent.cwd, locale: agent.config?.locale }) ?? undefined
+  } catch { /* 静默降级——绝不阻塞启动 */ }
   try {
     await startTUI(agent, {
       projectDir: config.memory.projectDir ? (isAbsolute(config.memory.projectDir) ? config.memory.projectDir : join(process.cwd(), config.memory.projectDir)) : null,
@@ -175,6 +182,8 @@ export async function tuiCommand(ctx) {
       restored: data ? sessionDescriptor(agent, data) : data,
       // R25（F-R25c）：TUI 启动显示一行"上次运行异常终止"提示（showStartup 渲染——无匹配不传）
       crashNotice: recentCrashHint() ?? undefined,
+      // F-LX3（同上）：变体键库首跑提示行（showStartup 渲染——无命中不传）
+      ledgerVariantNotice,
     })
   } catch (error) {
     console.error(`[error] ${error.message}`)

package/src/prompt-injections.mjs

@@ -8,13 +8,30 @@
  *
  * 2026-09-17 消端差：提示词面（persona / discipline / common）注入锚全消——导航注记删
  * （正文自足）、端特有段通用化并入核内正文、文档地图路径统一写死 `docs/README.md`。
- * 剩 = 工具面 2 锚（bash-terminal-face / question-ui-face——真实工具差异，待工具面 review 处置）。
+ * 剩 = 工具面 2 锚（bash-terminal-face / question-ui-face）。
+ *
+ * bash-executor-face 批（台账 #922）：`bash-terminal-face` 激活 = 运行时执行器身份声明行
+ * （核心单源 `resolveShellIdentity`——spawn 同链探测 + memo 按配置值键控）。
+ * 求值形态 = **import 期求值**（端装配层求值路径——核心缝 `applyPromptInjections` 为纯字符串
+ * 替换、不支持函数值键：函数值会被 String.replace 字符串化）。求值时机 = 注册前、任何装配前；
+ * **描述面值随进程启动固定**——进程内改 `shell` 配置不刷新本行（重启生效）；hint 门
+ * （核 `tools/bash.mjs` 逐执行调用同一单源）按配置值 memo 键控重探。
+ * 偏差登记 = 批次档 §5（设计终值「值函数 / 重装配期求值」于纯字符串缝不可达——取端装配层前置求值）。
+ * 机制权威 = `docs/core/design/BASH-EXECUTOR-FACE.md` §2 值面 + §3.2。
  */
 
-/** 工具面 2 锚（锚名 → 本端取值）。 */
+import { resolveShellIdentity, executorLine } from "@thincoder/core/shell-identity.mjs"
+import { loadConfig } from "@thincoder/core/config.mjs"
+
+// 配置读容错（先例 = `bin/thincoder.mjs:54` 同式「配置缺失/损坏 ⇒ 各向默认」）：读取失败不阻断进程，
+// 读失败 ⇒ null ⇒ 默认链（fail-open——探测面不猜）。
+function configShell() {
+  try { return loadConfig()?.shell ?? null } catch { return null }
+}
+
+// CLI 无 terminal 参数（工具面 review 再统一）⇒ 执行器声明行单值。
 export const CLI_PROMPT_INJECTIONS = {
-  // bash 宿主终端面——CLI 无 terminal 参数（工具面 review 再统一）
-  "bash-terminal-face": "",
+  "bash-terminal-face": executorLine(resolveShellIdentity(configShell())),
   // question 工具可用性行（核内正文该行已移出正文、锚原位替换——本端填回 CLI 措辞）
   "question-ui-face": "- Availability: this tool needs an interactive UI — in contexts without one (headless runs) it returns an error instead of asking; subagent children (depth>0) never get it (excluded from their tool tables); put the question in your reply text instead.",
 }

package/src/tui/lifecycle-records.mjs

@@ -33,9 +33,11 @@ export function digestCapRecord(turns) {
   return { kind: "digest", status: "cap", mode: "stop", turns }
 }
 
-/** digest 收尾记录（终态行同点）：`ok` ∥ `ms`（行文案 `seconds` 由同一 `ms` 派生——同值单算式）。 */
-export function digestEndRecord({ ok, ms }) {
-  return { kind: "digest", status: "end", ok, ms }
+/** digest 收尾记录（终态行同点）：`ok` ∥ `ms`（行文案 `seconds` 由同一 `ms` 派生——同值单算式）；
+ *  `unsettled` = 本轮未销账条数（消化账务批 · 2026-10-05 · 台账 #930 —— 残余行判据 ∥ 重建同调；
+ *  零未销账 ⇒ 键缺席——零噪音，与帧面「> 0 才携」同判）。 */
+export function digestEndRecord({ ok, ms, unsettled = 0 }) {
+  return { kind: "digest", status: "end", ok, ms, ...(Number.isFinite(unsettled) && unsettled > 0 ? { unsettled } : {}) }
 }
 
 /** subagent 归档快照记录（冻结载体行插入同点）：meta = 冻结时点块头事实（含 `pool`/`queued?`——§6.26）
@@ -114,7 +116,13 @@ export function digestTraceLines(rec, startN = null) {
   if (rec.status === "end") {
     if (!Number.isFinite(startN) || startN <= 0 || !Number.isFinite(rec.ms)) return []
     const seconds = (rec.ms / 1000).toFixed(1) // 与记录 `ms` 同值单算式
-    return [{ text: t(rec.ok === false ? "digest.aborted" : "digest.done", { n: startN, seconds }), color: C.dim }]
+    const lines = [{ text: t(rec.ok === false ? "digest.aborted" : "digest.done", { n: startN, seconds }), color: C.dim }]
+    // 未销账残余行（消化账务批 · 2026-10-05 · 台账 #930 · §6.31.6）：终态行之后再落一行 dim
+    // （核字典 `digest.residue` 单源——端侧零自持字面）；零未销账 ⇒ 零行（零噪音）。
+    // 随终态行同门（重建面 `startN` 不可得 ⇒ 零行——fail-closed）。
+    const unsettled = Number.isFinite(rec.unsettled) && rec.unsettled > 0 ? rec.unsettled : 0
+    if (unsettled > 0) lines.push({ text: t("digest.residue", { n: unsettled }), color: C.dim })
+    return lines
   }
   return []
 }

package/src/tui/startup.mjs

@@ -244,6 +244,8 @@ export function showStartup(ctx) {
   // R25（F-R25c）：上次运行异常终止提示——bin 入口扫描 crash-reports（24h 窗）经
   // startTUI opts.crashNotice 传入——无匹配为 undefined → 不提示（负例）
   if (opts.crashNotice) pushLine(opts.crashNotice, C.warn)
+  // F-LX3（批 2026-10-05-ledger-variant-db-notice · 台账 #935 · LEDGER.md §12.2）：变体键库首跑提示（恰一行；无命中不传）
+  if (opts.ledgerVariantNotice) pushLine(opts.ledgerVariantNotice, C.warn)
 
   // Recover previous session: rebuild from history (lazy — display snapshot is
   // deprecated; it drifted out of sync with history on VS Code writes).

package/src/tui/suspension-drive.mjs

@@ -28,6 +28,8 @@ import { upstreamAskLabelVars } from "@thincoder/core/agent-tools/parent-channel
 import { poolLive, startSuspension } from "@thincoder/core/agent/suspension.mjs"
 // #726 写点①：痕行 ∥ 起跑·收尾记录同点双动作（记录形/文案 = lifecycle-records 单一实现）
 import { pushRecord } from "@thincoder/core/context.mjs"
+// 消化账务批 · 2026-10-05 · 台账 #930（§6.31.6）：残余行判据单源（核件 `unsettledCount`）
+import { unsettledCount } from "@thincoder/core/agent/digest-account.mjs"
 import { digestEndRecord, digestStartRecord, digestTraceLines, recordCarrier } from "./lifecycle-records.mjs"
 
 export { poolLive }
@@ -90,7 +92,9 @@ function backgroundStatusText(agent) {
  *  起跑行 ∥ 计数行 ∥ cap 行 ∥ 终态行：不改 ∥ 不删 ∥ 不退场（零清理机器；退场机随拆）；② 起跑窗
  *  （沿 #754 裁 A）——起跑行族落盘后 ⇒ 起跑快照（起跑刻 pending 单容器）逐条冻结入流，落位 = 本族之后；
  *  ③ 终态行 = **到达序追加于当刻流末**（`pushLine`——零就地换文 ∥ 不动原起跑行）。
- *  导出面 = 批内件直驱（生产唯一调用 = 本档 `driveTurn`）。 */
+ *  导出面 = 批内件直驱（生产唯一调用 = 本档 `driveTurn`）。
+ *  **消化账务批（2026-10-05 · 台账 #930 · §6.31.6）**：收尾 `unsettled` 随记录（非上行轮——与桌面 ∥
+ *  VSC 同判据；判据单源 = 核 `unsettledCount`）⇒ 终态行之后再落残余行（`digest.residue`——lifecycle-records 单实现）。 */
 export async function digestTurn(ctx, upstream = false) {
   const { agent, state, pushLine } = ctx
   const manual = !agent.autoApprove
@@ -111,7 +115,10 @@ export async function digestTurn(ctx, upstream = false) {
   const outcome = await runAgentTurn(digestCtx, "", { autoTurn: true, upstreamTurn: upstream, skipSession: true })
   const ms = Date.now() - d0
   logEvent("digest:end", { pendingN: pendingFamilyCount(agent), ms, ...(upstream ? { upstream: true } : {}) })
-  const endRec = digestEndRecord({ ok: outcome === "ok", ms })
+  // 消化账务批（§6.31.6）：非上行轮且 > 0 才携 `unsettled`（残余行载荷——与桌面 ∥ VSC 同判据；
+  // 消化轮 = `autoTurn ∧ ¬upstreamTurn`，§6.31.2）
+  const unsettled = upstream ? 0 : unsettledCount(agent)
+  const endRec = digestEndRecord({ ok: outcome === "ok", ms, unsettled })
   // ③ 终态行 = 到达序追加于当刻流末（自然形——零就地换文 ∥ 不动原起跑行）
   for (const l of digestTraceLines(endRec, pend0)) pushLine(l.text, l.color)
   pushRecord(carrier, endRec) // 收尾记录（与终态行同点）