@thincoder/core 0.10.1 → 0.10.3

package/CHANGELOG.md

@@ -3,6 +3,52 @@
 All notable changes to the core package are documented here.
 Format: Keep a Changelog · 中文 · 号在发布时定（CalVer——见 `docs/RELEASE.md` §4）。
 
+## [0.10.3] — 2026-10-04
+
+> 0.10.2 → 0.10.3（月内 +1——发布时定号）
+
+### Added
+
+- **OpenCode Go 内置预设（#906）**：`opencode-go`（OpenAI 协议侧）∥ `opencode-go-anthropic`（Anthropic 协议侧）——开箱可选渠道（双协议混装建模）。
+- **ACP 结构化子代理事件（#862/#843）**：`session_info_update` 携 `_meta["thincoder.dev/subagent"]`（role ∕ id ∕ 状态 ∕ 进度）——ACP 客户端可呈现子代理活动；判据单源叶 `subagent-event.mjs`。
+- **manifest 未知键告警（#802）**：读档返回 `unknownKeys` + 恰一行可见告警（含键名；非拒——拼错 / 版本错位的声明键不再静默失效）。
+- **台账只读路径**：只读数据库打开面（CLI `ledger list` ∥ ACP `ledger/*` 接口共用）。
+- **崩溃防护两面（#865/#866）**：流响应体错误护（`stream-destroy.mjs` 四消费点）∥ win32 杀树同步化（退出阶段不漏杀）。
+
+### Changed
+
+- **模型切换解锁 · 核侧（#918）**：会话槽三键（provider ∕ model ∕ effort）**单写者**——回合关联落盘（`prefsSeedOnly`）不携三键（槽在场值赢 ∥ 缺播种）——忙期选定不再可能被旧快照覆写。
+- **环边界中止前置（#793）**：回合环头 ∥ 环尾两检查点——中止态（用户 Stop）恒以 AbortError 收束，不再产出撞帽续跑询问（需求 F5「Stop 优先」兑现）。
+- **多项目台账合计（#882）**：歧义根（容器根）下状态行台账段按族合计——多项目求和不显单一。
+
+### Fixed
+
+- **MCP 会话过期自愈（#850）**：HTTP 404 ⇒ 清会话 + 重新 initialize + 重试一次（单飞重建）；二次失败透传 + `sessionDead` 入存活判据。
+- **杀树相位（#877）**：退出阶段 POSIX 组杀 + SIGKILL 兜底（忽略 SIGTERM 的子进程不再泄漏）。
+- **SSE 重复帧守卫（#856）**：message 形状重复帧前缀补差 + tool_calls 覆盖（MiniMax v2 类端点二次追加不再叠加）。
+- **直连断流 abort 通道（#878）**：fetch 直连路径 120s 看门狗恢复生效（含遗漏路径收口）。
+- **图片字节预算（#853）**：历史图片累计驱逐（最老先出）+ 注入时同判 + 413 可操作化。
+- **embedding 毒行隔离（#859）**：孤立代理项清洗 + 单毒行不阻后续批。
+- **auto-think 守卫（#860）**：思考型模型分类调用——恒发守卫 + 失败一次可见（不再 100% 静默回退）。
+- **子代理模型形态防线（#861）**：非法 `agent.subagentModel`——加载期清洗 + 运行期明确错误（不再裸崩）。
+- **大工具回执汇总行（#796）**：批量编辑回执末行恒置 `edit batch: N/N entries — <路径清单>`——大回执（offload 截中段）也可读到结论。
+- **TUI-OOM 余项（#863）**：/undo 快照双上界 ∥ console 采集 cap ∥ advisor 关闭轻量化。
+- **台账幽灵根发现（#899）**：歧义根不再被空壳库遮蔽（族发现跳过 + 容器根合计恢复）。
+- **设计令牌回显链（#884）**：截断回显容错 + 常量标记剥离 + 正则单源（工程模式签发可靠性）。
+
+## [0.10.2] — 2026-10-03
+
+> 0.10.1 → 0.10.2（月内 +1——发布时定号）
+
+### Added
+
+- **统一 provider 解析（#841 · 三端归一）**：核导出 `resolveProviderPlan`（回退链 = 槽渠道（持 key）→ `defaultModel` 渠道 → 首个持 key 渠道；模型面 = 槽模型 → `defaultModel`（同渠道）→ 渠道单值 → `null`；三态 = `ok` ∕ `fallback` ∕ `invalid` + `reason`）与 `resolveChannelModel`（单值转口面）。
+- **`providerState` ∕ `providerStateReason` 两键**：`loadConfig()` 落（`provider` = 解析入选渠道）+ 槽面 key 门（`applySession`——槽无 key ⇒ 跳过且不写槽）。
+
+### Changed
+
+- **「无效」语义收窄**：仅「无 provider ∥ 无 key」为 `invalid`（不可运行 ⇒ 引导配置）；「可运行而无有效 `defaultModel`」为 `fallback`（**可运行 + 必明示**——不再当无效拦下）。
+
 ## [0.10.1] — 2026-10-03
 
 > 0.9.5 → 0.10.1（月切换——十月首发，发布时定号）

package/advisor/citations.mjs

@@ -7,8 +7,8 @@
  *
  * 第 11 批（C / F14 / `ADVISOR-GUARDS.md §3`）：解析候选 = cwd + **评审对象声明范围派生根**（声明仓根 /
  * 声明文件目录 / 声明目录——纯路径派生，零扫描、零 git）；命中判据三条件全中（围栏内 ∧
- * 可读 ∧ 目标行含引文内容）⇒ 零新增假命中。失败原因三分（file unreadable /
- * content mismatch @ path / path traversal）——父侧不再人肉复核。
+ * 可读 ∧ 目标行含引文内容）⇒ 零新增假命中。失败原因四类（file unreadable / content mismatch @ path /
+ * path traversal / 非连续引文（省略号形——形状 vs 内容造假分列））——父侧不再人肉复核。
  */
 import { readFileSync, realpathSync } from "node:fs"
 import { resolve, relative, dirname, extname, sep, isAbsolute, join } from "node:path"
@@ -21,6 +21,10 @@ import { resolve, relative, dirname, extname, sep, isAbsolute, join } from "node
 // advisory for the parent agent, never a crash path.
 const CITATION_RE = /([\w./\\-]+\.(?:mjs|cjs|js|ts|jsx|tsx|mts|cts|py|rs|go|c|h|cpp|hpp|java|rb|php|sh|bash|json|md|markdown|mdx|yaml|yml|toml|css|html)):(\d+):\s*([^`\n]{4,})/g
 
+// 非连续引文判据（`ADVISOR-GUARDS.md §3` · 2026-10-03）：引文内容含省略号（`…` / `...`）⇒ 缩略形，
+// 非所引行的连续子串——失败分类专类（形状不符与内容造假分列；先于 `content mismatch` 判定）。
+const ELLIPSIS_RE = /…|\.\.\./
+
 /** Extract `file:line: content` citations from a review text. */
 export function extractCitations(text) {
   const out = []
@@ -80,7 +84,13 @@ function resolveCitation(citation, roots, base) {
     }
     mismatch ??= real
   }
-  if (mismatch) return { matched: false, reason: `content mismatch @ ${relative(base, mismatch).split(sep).join("/")}` }
+  if (mismatch) {
+    const rel = relative(base, mismatch).split(sep).join("/")
+    // 判定优先级（`ADVISOR-GUARDS.md §3`）：含省略号且不连续 ⇒ 非连续引文类——先于 mismatch。
+    return ELLIPSIS_RE.test(citation.content)
+      ? { matched: false, reason: `not a contiguous citation (ellipsis) @ ${rel} — quote one contiguous excerpt` }
+      : { matched: false, reason: `content mismatch @ ${rel}` }
+  }
   if (traversal) return { matched: false, reason: "path traversal" }
   return { matched: false, reason: "file unreadable" }
 }

package/advisor/convergence.mjs

@@ -24,7 +24,7 @@ export function buildConvergenceInstructions(round, scopeFiles = null) {
     "2. STALE-CONTEXT WARNING: any diff or file content from earlier messages is a historical snapshot — treat it as expired. Only fresh `read` results describe the current state.",
     "3. You have no git tool; git output in earlier messages is historical and untrustworthy (committed fixes never show in a diff).",
     "4. `read` the files named in the prior review output (or the review surface above) in full — ALWAYS. Batch reads/greps in a single reply.",
-    "5. Evidence rule: every 'Unfixed'/'New' finding MUST quote the exact line content from THIS round's `read` output (e.g. `run.mjs:180: timeoutId = setTimeout(...)`). Line numbers alone are NOT evidence — they may be stale or fabricated. Findings without a fresh quoted line are treated as unverified and will not be accepted.",
+    "5. Evidence rule: every 'Unfixed'/'New' finding MUST quote the exact line content from THIS round's `read` output (e.g. `run.mjs:180: timeoutId = setTimeout(() => {`). Line numbers alone are NOT evidence — they may be stale or fabricated. Findings without a fresh quoted line are treated as unverified and will not be accepted.",
     "6. Produce your verification table. Do not re-read content you already have.",
     round === 2
       ? "7. You may flag obvious NEW issues introduced by the fixes (crashes, data loss, logic errors — not style)."

package/advisor/messages.mjs

@@ -48,12 +48,12 @@ export function buildObjectDeclarationBlock(object = null) {
  */
 export function buildDesignApprovalBlock(designToken, designId) {
   const echo = designId
-    ? `If — and ONLY if — your review finds NO 🔴 (Critical) issues, end your reply with this exact token: [DESIGN-TOKEN:${designToken}] and this exact designId: ${designId}. Copy BOTH values verbatim.`
-    : `If — and ONLY if — your review finds NO 🔴 (Critical) issues, end your reply with this exact token: [DESIGN-TOKEN:${designToken}]`
+    ? `If — and ONLY if — no unresolved 🔴 (Critical) issue remains, end your reply with this exact token: [DESIGN-TOKEN:${designToken}] and this exact designId: ${designId}. Copy BOTH values verbatim — every character, including the colon and the digits after the uuid inside the token brackets; a shortened echo is flagged as truncated.`
+    : `If — and ONLY if — no unresolved 🔴 (Critical) issue remains, end your reply with this exact token: [DESIGN-TOKEN:${designToken}]. Copy it verbatim — every character, including the colon and the digits after the uuid; a shortened echo is flagged as truncated.`
   return [
     "## Approval Signal",
     echo,
-    "🟡 (Advisory) and 🔵 (Note) findings do NOT block approval — list them if present, but still include the token. If there are any 🔴 issues, do NOT include the token.",
+    "🟡 (Advisory) and 🔵 (Note) findings do NOT block approval — list them if present, but still include the token. If any 🔴 (Critical) issue remains unresolved, do NOT include the token. A reasoned non-fix accepted by the reviewer does not block (🔴 only — 🟡/🔵 never block approval); anything else stays unresolved.",
   ].join("\n")
 }
 

package/agent/dispatch-run.mjs

@@ -13,6 +13,11 @@ import { snapshotForUndo } from "../undo-stack.mjs"
 import { PEER_WRITE_TOOLS, peerCollabNote, recordPeerWrites, markClaimNoted } from "../peer-domains.mjs"
 import { logToolError, noteExecutedMutation } from "./dispatch-gates.mjs"
 
+/** console 回显预算（AGENT-LOOP.md §6.4 · #863）：采集端 cap = 与 helpers.mjs `TOOL_RESULT_OFFLOAD_LIMIT`
+ *  同值（65536 字符）——累计到限停收（超出丢弃）；发生丢弃 ⇒ 回显段尾恰一行截断标记（逐字——两路径同款）。 */
+const CONSOLE_CAPTURE_LIMIT = 64 * 1024
+const CONSOLE_TRUNCATED_MARK = "[console truncated at 65536 chars]"
+
 /** 单条 prepared 项的执行（Phase 2 体——原 `dispatch.mjs` runOne 闭包；自由变量 agent ∕ depth ∕
  *  signal ∕ callbacks 经形参代入，语义逐字保持：console 捕获 ∕ routed 短路 ∕ mutation 记账 ∕
  *  错误收口零改）。 */
@@ -39,6 +44,16 @@ export async function runPreparedItem(item, agent, depth, signal, callbacks) {
   // 捕获分离（父恢复原始后子的拦截期间父捕获停止、子恢复后父继续）——正确。
   // 声明在 try 之外：catch 块（异常路径）也要访问（报错前的探查输出回显）。
   const capturedConsole = []
+  // 采集端有界（#863）：累计达限停收——超出丢弃并置截断位（段尾恰一行标记的判据；采集端单点）。
+  let capturedChars = 0
+  let capturedTruncated = false
+  const capturedPush = (t) => {
+    const room = CONSOLE_CAPTURE_LIMIT - capturedChars
+    if (room <= 0) { capturedTruncated = true; return }
+    if (t.length + 1 > room) { t = t.slice(0, room - 1); capturedTruncated = true }
+    capturedChars += t.length + 1
+    capturedConsole.push(t)
+  }
   // LOGGING（LOGGING.md）：tool:* 事件——仅真实执行（pre-gate 拦截项在下方早退分支不入事件）。
   // 参数值永不落盘（NF-L3——工具事件不记 args）；child=子代理 id（agent._logId，spawn 时 stamp）。
   const toolT0 = Date.now()
@@ -72,8 +87,8 @@ export async function runPreparedItem(item, agent, depth, signal, callbacks) {
     }
     const origConsoleLog = console.log
     const origConsoleErr = console.error
-    console.log = (...a) => capturedConsole.push(a.map(String).join(" "))
-    console.error = (...a) => capturedConsole.push("[err] " + a.map(String).join(" "))
+    console.log = (...a) => capturedPush(a.map(String).join(" "))
+    console.error = (...a) => capturedPush("[err] " + a.map(String).join(" "))
     let rawResult
     // ctx 对象提升为变量（docs/cli/design/TUI.md §6.8）：subagent 阻塞 execute 返回前在 ctx 上留
     // _subagentKey（relayPrefix 去尾）——runOne 在 execute 返回后读它作 onToolResult
@@ -120,20 +135,22 @@ export async function runPreparedItem(item, agent, depth, signal, callbacks) {
     if (FILE_MUTATORS.has(toolName) && !raw.startsWith("Error:")) {
       noteExecutedMutation(agent, item.tool, item.args)
     }
+    // 2026-08-31 工具输出回显 ∥ #863：console 段 ∥ 结果本体拼接先于 offload——并入 64K 判定
+    // （超限 ⇒ 落盘 + 预览）；采集端发生过丢弃 ⇒ 段尾恰一行截断标记（逐字——错误路径同款）。
+    const consoleSegment = capturedConsole.length > 0
+      ? `\n[console during ${item.toolCall.name}]\n${capturedConsole.join("\n")}${capturedTruncated ? `\n${CONSOLE_TRUNCATED_MARK}` : ""}`
+      : ""
+    const spliced = raw + consoleSegment
     // Multimodal tools keep the raw result (base64 images ride the multimodal
-  // channel); everything else offloads oversized text to disk. Flag-driven, not
-  // name-driven (consult P3, 2026-08-30).
-  const result = item.tool?.multimodal ? raw : await offloadToolResult(raw, item.toolCall.id)
-    // 2026-08-31：工具执行期间捕获的 console 输出附在结果后回显（模型视野）
-    const resultWithConsole = capturedConsole.length > 0
-      ? `${result}\n[console during ${item.toolCall.name}]\n${capturedConsole.join("\n")}`
-      : result
+    // channel); everything else offloads oversized text to disk. Flag-driven, not
+    // name-driven (consult P3, 2026-08-30).
+    const result = item.tool?.multimodal ? spliced : await offloadToolResult(spliced, item.toolCall.id)
     // R10 L3：冲突 / 认领软提示附在工具结果末尾（模型可见——不阻止写；提示附加成功才落去重标记）
     const notedOk = Boolean(peerNote) && !raw.startsWith("Error:")
     if (notedOk) markClaimNoted(agent, peerNote.keys)
     const resultForModel = notedOk
-      ? `${resultWithConsole}\n${peerNote.text}`
-      : resultWithConsole
+      ? `${result}\n${peerNote.text}`
+      : result
     callbacks.onToolResult?.(item.toolCall.name, resultForModel, item.toolCall.id, toolCtx._subagentKey)
     // PostToolUse hooks: fire-and-forget (result not awaited on hook failure)
     runHooks("PostToolUse", { agent, toolName: item.toolCall.name, toolArgs: item.args, result: raw }).catch(() => {})
@@ -160,7 +177,7 @@ export async function runPreparedItem(item, agent, depth, signal, callbacks) {
     const ctx = ctxParts.length > 0 ? ` [${ctxParts.join(", ")}]` : ""
     // 2026-08-31：异常路径同样回显捕获的 console（工具报错前的探查输出最有价值）
     const consolePart = capturedConsole.length > 0
-      ? `\n[console during ${item.toolCall.name}]\n${capturedConsole.join("\n")}`
+      ? `\n[console during ${item.toolCall.name}]\n${capturedConsole.join("\n")}${capturedTruncated ? `\n${CONSOLE_TRUNCATED_MARK}` : ""}`
       : ""
     return { ...item, result: `Error: ${error.message}${ctx}${consolePart}`, ok: false }
   }

package/agent/record-results.mjs

@@ -26,6 +26,7 @@
 import { pushReal } from "../context.mjs"
 import { specForModel } from "../config.mjs"
 import { FILE_MUTATORS, toolTouchPaths } from "./helpers.mjs"
+import { capHistoryImages } from "../provider/normalize.mjs"
 import { resolve } from "node:path"
 import { advisorRuns, stripApprovedSuffix } from "../agent-tools/advisor-async.mjs"
 import { looksLikeReviewOutput, advisorIncompleteMarker } from "../advisor/run.mjs"
@@ -130,7 +131,9 @@ export async function recordToolResults(agent, toolByName, results) {
               // F2e: the sync settle's engine-approved suffix (stored on the
               // run by settleDesignReview) is stripped with exact truncation — the
               // prior never carries the raw token / designId.
-              if (looksLikeReviewOutput(result)) {
+              // #863 关闭点轻量化（父侧批·五裁定㈡——与 settle 面同族守卫）：closed 实例零消费面
+              // （续跑仅取 open）——关闭后不写回 priorOutput（否则关闭点释放被覆盖）。
+              if (run.open && looksLikeReviewOutput(result)) {
                 run.priorOutput = stripApprovedSuffix(result, run.approvedSuffix)
               }
             } else {
@@ -174,4 +177,6 @@ export async function recordToolResults(agent, toolByName, results) {
     if (real) pushReal(agent, msg)
     else agent.history.push(msg)
   }
+  // #853 D-PR32：注入面同函数同预算——history 本体驱逐最老图片（防无界膨胀；发送前另有副本面同函数）。
+  if (deferredUserMsgs.some((d) => d.real)) agent.history = capHistoryImages(agent.history)
 }

package/agent/spawn-child.mjs

@@ -25,7 +25,8 @@ import { appendCappedText } from "../text-budget.mjs"
 export { RELAY_PREFIX_RE, parseRelayPath, relayPrefixOf } from "./relay-prefix.mjs"
 
 /** 事件 token 哨兵串（D1）——LLM 正常内容混淆概率极低；字段分隔用 RS (\x1e)。 */
-export const EVENT_SENTINEL = "⟦ev⟧"
+import { EVENT_SENTINEL } from "./subagent-event.mjs" // 2026-10-04 批（ACP-CLIENT.md §12.4）：定义位迁入零依赖叶 `subagent-event.mjs`；再导出 ⇒ 既有 import 面零改（先例 = 同档 `child-marks.mjs`）
+export { EVENT_SENTINEL }
 const RS = "\x1e"
 
 // 报告文本锚点（turn-cap / stopped-by-user）2026-09-20 下沉零依赖叶 `child-marks.mjs`（端壳

package/agent/subagent-event.mjs

@@ -0,0 +1,71 @@
+/**
+ * subagent-event.mjs — 子代理事件 token 文法机读单源（`⟦ev⟧<小写名>` + RS 分隔字段）。
+ *
+ * 收编自 `spawn-child.mjs`（2026-10-04 ACP 协议面补全批——设计档 `docs/cli/design/
+ * ACP-CLIENT.md` §12.4）：哨兵定义位迁入本叶 + 形态判据与逐事件投影单源——消费方
+ * （本批 = ACP 桥 `thincoder-cli/src/acp/bridge.mjs`）经本叶判据剥离/投影，不再自持
+ * 平行表达式（同族先例 = `relay-prefix.mjs` / `child-marks.mjs`；`spawn-child.mjs`
+ * import + 再导出哨兵 ⇒ 既有 import 面零改）。
+ *
+ * 零 import——任意层可引、无环。
+ *
+ * 文法：`⟦ev⟧<小写名>\x1e<字段…>`（字段以 RS 分隔）。终止符约束 load-bearing：正文含
+ * `⟦ev⟧` 而无 RS 终止符 ⇒ 非事件形态 ⇒ null ⇒ 消费方照常转发（不吞真实正文）。
+ * 逐事件字段序 = 发射侧单源（各发射点既有构造——本批零改发射侧）；投影映射以样本逐字
+ * 钉住（批内件 T-862-1…6）——发射侧改字段序 = 契约面变更（设计档 §12.3）。
+ */
+
+/** 事件 token 哨兵串（D1）——LLM 正常内容混淆概率极低；字段分隔用 RS (\x1e)。 */
+export const EVENT_SENTINEL = "⟦ev⟧"
+
+/** 形态判据（**单源——唯一表达式**）：`⟦ev⟧<小写名>` + RS 终止符同现。
+ *  D13 负向边界（load-bearing）：放宽为无终止符形态会吞真实正文（先例教训见
+ *  `thincoder-cli/src/tui/render.mjs:250-252`）。形态域 = 开集——未知名同判（客户端
+ *  SHOULD 容忍未知 state；新增事件名不破坏契约）。 */
+const EVENT_FORM_RE = /^⟦ev⟧([a-z]+)\x1e/
+const RS = "\x1e"
+
+/** 数值字段解析（§12.2）：无值（缺省 ∥ 空串）⇒ 键省略；`Number` 转换非有限值 ⇒ 键省略
+ *  （防御面——发射侧恒为整数）。 */
+const num = (v) => {
+  if (v == null || v === "") return undefined
+  const n = Number(v)
+  return Number.isFinite(n) ? n : undefined
+}
+
+/**
+ * 解析子代理事件 token（**形态命中必非 null**——剥离判据与投影载荷由此同一调用决定）。
+ * @param {string} text 事件 token 原文（relay 前缀已由消费方剥离——前缀解析非本叶职责）
+ * @returns {{ name: string, progress?: { turn?: number, maxTurns?: number, position?: number }, detail?: string } | null}
+ *   null = 非事件形态（消费方照常转发）
+ */
+export function parseSubagentEvent(text) {
+  const m = EVENT_FORM_RE.exec(String(text))
+  if (!m) return null
+  const name = m[1]
+  const fields = String(text).slice(m[0].length).split(RS)
+  // 逐态投影（字段序 = 发射侧单源——样本映射见设计档 §12.3）：
+  //   turn / approval  ⟦ev⟧turn\x1e{turn}\x1e{maxTurns}\x1e{phase}\x1e[detail]
+  //   queued           ⟦ev⟧queued\x1e{kind}\x1e{position}\x1equeued\x1e[detail]（kind 不承载）
+  //   async / cancelled / stopped / settled / done = 零字段态（stopped 等第 2/3 位 0 系
+  //   发射侧填充，不承载——state 逐字即全部载荷）。
+  if (name === "turn" || name === "approval") {
+    const ev = { name }
+    const progress = {}
+    const turn = num(fields[0])
+    const maxTurns = num(fields[1])
+    if (turn !== undefined) progress.turn = turn
+    if (maxTurns !== undefined) progress.maxTurns = maxTurns
+    if (Object.keys(progress).length > 0) ev.progress = progress
+    if (name === "approval" && fields[3]) ev.detail = fields[3]
+    return ev
+  }
+  if (name === "queued") {
+    const ev = { name }
+    const position = num(fields[1])
+    if (position !== undefined) ev.progress = { position }
+    if (fields[3]) ev.detail = fields[3]
+    return ev
+  }
+  return { name } // 零字段态 ∥ 未知名（形态域开集）
+}

package/agent/suspension.mjs

@@ -29,7 +29,8 @@
  *   - abortSignal       会话中止信号（兜底监听 + abort 清场判据）
  *   - hooks.onCounts(counts)      计数变化通知（{ running, queued, pending, done }）
  *   - hooks.onDigest(phase, counts) 消化轮边界（start / end）
- *   - hooks.reclaim(consumed)     消化完成条目逐条回收（不等池空）
+ *   - hooks.reclaim(consumed)     回收（消化完成 ∥ 残差离容 ∥ 丢弃三类离容逐条补发 done——
+ *                                  恒达窗：正常 ∥ Abort-continue ∥ 异常 ∥ 退出残差四窗同达）
  *   - hooks.freezeAll()           退出冻结（兜底残项）
  *   - injectResidual(entry)       残余注入面（idle 退出清场；宿主装配端注入器——CLI =
  *                                 逐族注入分发 / VSC = pending 单容器注入器）
@@ -112,6 +113,12 @@ function consultLiveCount(carrier) {
  *    单点，与核 run-stages 回合尾中止同式；存活 ∕ 已 settle 条目留池——settled 报告沿后续
  *    回合边界注入到达，不静默丢）+ pending 单容器清 + 会诊会话清理标记；
  *  - idle：残余直注入（极端竞态残项——结果零丢失；注入器由宿主注入，缺省 no-op 保残项）。
+ *
+ * 返回 `{ injected, left, error }`（子代理面板批 · 2026-10-04 —— `hooks.reclaim` 恒达窗的退出半）：
+ *  `left` = **离容全量**（splice 全取——注入失败条不缩水），供调用点 `reclaim(left)` 补发
+ *  （「消费 ⇒ 必发 done」不变量——C2 零发射口）；注入循环 try/catch 收口 ⇒ `injected` = 成功
+ *  前缀、`error` = 首错（调用点补发毕后重抛——fail-loud 保持）；abort ∥ 无注入器 ∥ 无残差 ⇒ 三键空值。
+ *  既有 C3/C4 快照径（中止冻结快照）零改。
  */
 export async function finishSuspension(carrier, { aborted = false, injectResidual = null } = {}) {
   if (aborted) {
@@ -124,12 +131,17 @@ export async function finishSuspension(carrier, { aborted = false, injectResidua
       const { cleanupConsultSessions } = await import("../agent-tools/consult.mjs")
       cleanupConsultSessions(carrier)
     }
-    return
+    return { injected: [], left: [], error: null }
   }
   const residual = carrier._pendingAsyncResults
-  if (residual?.length && typeof injectResidual === "function") {
-    for (const e of residual.splice(0)) await injectResidual(e)
+  if (!residual?.length || typeof injectResidual !== "function") return { injected: [], left: [], error: null }
+  const left = residual.splice(0)
+  const injected = []
+  for (const e of left) {
+    try { await injectResidual(e) } catch (error) { return { injected, left, error } } // 首错收口（前缀 = injected）
+    injected.push(e)
   }
+  return { injected, left, error: null }
 }
 
 /** 等待下一次 settle（池 waiter——核内异步面 settle 尾部唤醒）/ 宿主唤醒（wake——用户输入）/
@@ -179,7 +191,9 @@ function waitForSettleOrWake(carrier, abortSignal, latch, { deadline = null, tim
  *    注入由宿主 runTurn 首行完成——单注入点）；
  * 3. 池空（无 running / queued / 未注入）→ 自然退出；
  * 4. 等下一 settle / 宿主唤醒（handle.wake）/ timer 到期（opt-in——兑现真 ⇒ timer 轮）。
- * 每轮消化 / 用户回合后：hooks.reclaim(consumed) 逐条回收（不等池空）。
+ * 每轮消化 / 用户回合后：hooks.reclaim(consumed) 逐条回收（不等池空）——恒达窗形（子代理面板批 ·
+ * 2026-10-04）：正常 ∥ Abort-continue ∥ 异常抛三径同达，退出残差另经 `finishSuspension` 返回面补发
+ * （「消费 ⇒ 必发 done」不变量；发射不去重，归档/记录恰一次住幂等层）。
  */
 export function startSuspension(ctx) {
   const {
@@ -221,8 +235,10 @@ export function startSuspension(ctx) {
               await runTurn(item)
             } finally {
               carrier._suspended = true
+              // 回收恒达窗（子代理面板批 · 2026-10-04 · §2.2）：正常 ∥ 异常 ∥ 中止三径同达
+              // （「消费 ⇒ 必发 done」不变量）。
+              hooks.reclaim?.(afterRun())
             }
-            hooks.reclaim?.(afterRun())
             hooks.onCounts?.(backgroundCounts(carrier))
             continue
           }
@@ -242,9 +258,12 @@ export function startSuspension(ctx) {
               continue
             }
             throw e
+          } finally {
+            // 回收恒达窗（子代理面板批 · 2026-10-04 · §2.2）：正常 ∥ Abort-continue ∥ 异常抛三径同达；
+            // 中止径 catch 的 `onDigest("end")` 先行（continue 触 finally——既有语义序保持）。
+            hooks.reclaim?.(afterRun())
           }
           hooks.onDigest?.("end", backgroundCounts(carrier))
-          hooks.reclaim?.(afterRun())
           hooks.onCounts?.(backgroundCounts(carrier))
           continue
         }
@@ -267,8 +286,10 @@ export function startSuspension(ctx) {
             // 中止路径零边界、不补发轮后序钩子；池空 / pending 空自然退出——与消化支同判，§6.30.10）。
             if (e?.name === "AbortError" && !abortSignal?.aborted) continue
             throw e
+          } finally {
+            // 回收恒达窗（子代理面板批 · 2026-10-04 · §2.2）：正常 ∥ Abort-continue ∥ 异常抛三径同达。
+            hooks.reclaim?.(afterRun())
           }
-          hooks.reclaim?.(afterRun())
           hooks.onCounts?.(backgroundCounts(carrier))
           continue
         }
@@ -282,8 +303,13 @@ export function startSuspension(ctx) {
         // abort 以 AbortError 抛出、循环顶检查不会再执行——不合并会把清场误走 idle 注入）。
         const abortedNow = aborted || Boolean(abortSignal?.aborted)
         aborted = abortedNow
-        await finishSuspension(carrier, { aborted: abortedNow, injectResidual })
+        const flushed = await finishSuspension(carrier, { aborted: abortedNow, injectResidual })
+        // 残差离容补发（子代理面板批 · 2026-10-04 · §2.2——C2 零发射口）：补发面 = 离容全量
+        // （抛错径同覆）；与 freezeAll 双探针幂等（归档/记录恰一次住幂等层）。
+        hooks.reclaim?.(flushed.left)
         hooks.freezeAll?.()
+        // 注入器首错重抛（fail-loud 保持——清场两探针已行毕）。
+        if (flushed.error != null) throw flushed.error
       }
     }
     return { reason: aborted ? "aborted" : "idle", residualInput: pendingInput.splice(0) }

package/agent/turn-loop.mjs

@@ -57,6 +57,9 @@ export async function runTurnLoop(agent, {
   agent._turnFilesMark = agent._touchedFiles.length
 
   for (let turn = 0; turn < maxTurns; turn++) {
+    // #793（核面小修批——AGENT-LOOP.md §6.2 环边界中止前置 ∥ 需求 F5）：环头检查点——中止恒以
+    // AbortError 收束、不开启新轮（环头注入族 / 压缩 / 模型调用零触）。
+    if (signal?.aborted) throw abortError(signal, "agent", "turn-head")
     // 第 19 批（TURN-ACROSS-SEGMENTS——设计 TURN-CAP-CONTINUE.md §4）：编号帧——
     // `_turnSeq` 每轮 +1（跨段累计，仅 `!resume` 链起点复位）；面向消费面的两字段
     // （状态行 + ⟦ev⟧turn / ⟦ev⟧approval 事件共用）在此同点赋值（编号唯一权威；帧
@@ -240,5 +243,8 @@ export async function runTurnLoop(agent, {
   // #417（撞帽载荷「本段零落盘轮数」）：收尾轮（撞帽轮）若零落盘同样计入——轮顶计数只
   // 覆盖到倒数第二轮（maxTurns ≤ 0 时环未跑，不虚计）。
   if (maxTurns > 0 && agent._touchedFiles.length === agent._turnFilesMark) agent._zeroWriteTurns += 1
+  // #793（核面小修批——AGENT-LOOP.md §6.2 环边界中止前置 ∥ 需求 F5）：环尾检查点——中止恒以
+  // AbortError 收束（不落 ContinueError——用户 Stop 优先于继续提示；消费契约 = 外层按 reason 判定）。
+  if (signal?.aborted) throw abortError(signal, "agent", "turn-tail")
   throw new ContinueError(maxTurns)
 }

package/agent-tools/advisor-async.mjs

@@ -135,6 +135,11 @@ export function resolveAdvisorLaunch(agent, reviewType, { documents = null } = {
       // the same id (no slot residue — T14: the old token is then rejected at
       // the gate); old slots die at TTL only, kept as the fail-safe fallback.
       const prior = [...runs.values()].reverse().find((r) => r.reviewType === "design" && r.docSetKey === key)
+      // #863 实例回收（§6.10）：同 docSetKey 保最新一条 closed（= prior——F2h 只取 newest，语义零变）；
+      // 余者去重回收（实例随删释放——closed 零消费面）。
+      for (const r of [...runs.values()]) {
+        if (r !== prior && r.reviewType === "design" && !r.open && r.docSetKey === key) runs.delete(r.reviewId)
+      }
       run = {
         reviewId, reviewType, designId: prior?.designId ?? reviewId,
         round: 0, priorOutput: null, stale: false, open: true, docSetKey: key,
@@ -144,6 +149,10 @@ export function resolveAdvisorLaunch(agent, reviewType, { documents = null } = {
   } else {
     run = openCodeRun(agent)
     if (!run) {
+      // #863 实例回收（§6.10）：新 code 实例创建 ⇒ closed 实例清除（openCodeRun 仅取 open——零消费）。
+      for (const r of [...runs.values()]) {
+        if (r.reviewType === "code" && !r.open) runs.delete(r.reviewId)
+      }
       const reviewId = randomUUID()
       run = {
         reviewId, reviewType, designId: null,
@@ -474,7 +483,8 @@ export function closeOpenCodeAdvisorRuns(agent) {
   const runs = advisorRunsRead(agent)
   if (runs instanceof Map) {
     for (const r of runs.values()) {
-      if (r.reviewType === "code" && r.open) { r.open = false; closed = true }
+      // #863 关闭点轻量化：闭合同拍释放 priorOutput（closed 实例零消费面——续跑仅取 open）。
+      if (r.reviewType === "code" && r.open) { r.open = false; r.priorOutput = null; closed = true }
     }
   }
   return closed

package/agent-tools/advisor-settle.mjs

@@ -21,7 +21,7 @@
  * ADVISOR-GUARDS.md §7）。记账本体 / 陈旧判定 / 轮次 / token 落盘零改。
  */
 import { persistEngTokens } from "../token-ttl.mjs"
-import { settleDesignReview, makeDesignTokenRegex, stripApprovedSuffix } from "./design-token.mjs"
+import { settleDesignReview, stripDesignTokenEcho, stripApprovedSuffix } from "./design-token.mjs"
 import { looksLikeReviewOutput, advisorIncompleteMarker, ADVISOR_LAUNCH_REFUSAL_PREFIX } from "../advisor/run.mjs"
 import { isCodePath, loadProjectDeclaration } from "../conventions.mjs"
 import { logEvent } from "../log.mjs"
@@ -176,9 +176,7 @@ export function settleAdvisorRun(agent, entry) {
           run.approvedSuffix = null
           persistFailed = true
           logEvent("advisor:error", { id: `advisor#${entry.id}`, err: "engDesignTokens slot persist failed — settle failed (re-review)" })
-          const stripped = String(result)
-            .replace(makeDesignTokenRegex(entry.designToken, "g"), "")
-            .trim()
+          const stripped = stripDesignTokenEcho(String(result), entry.designToken).trim()
           report = `${stripped}\n\nD1: the design review passed but the token could NOT be durably written to the session ledger (slot persist failed) — re-run advisor(type='design') to re-issue; no eng-coder spawn is authorized for this review (评审通过但 token 未能持久化——需重评).`.trim()
         }
       } else {
@@ -210,17 +208,17 @@ export function settleAdvisorRun(agent, entry) {
     }
   } else if (run.reviewType === "design" && entry.designToken && result != null) {
     // fix B（stale 分支）：陈旧评审不签发——digest 不得展示未注册 token——先剥
-    // 方括号回显 + 前置 "评审目标已变更——token 未签发"（不变式——两分支都清洗）。
-    const stripped = String(result)
-      .replace(makeDesignTokenRegex(entry.designToken, "g"), "")
-      .trim()
+    // token 回显（单源三形）+ 前置 "评审目标已变更——token 未签发"（不变式——两分支都清洗）。
+    const stripped = stripDesignTokenEcho(String(result), entry.designToken).trim()
     report = `评审目标已变更——token 未签发 (review target changed after launch — this review judged a stale state; no design token was issued — re-run the review on the current state)\n\n${stripped}`.trim()
   }
   // Prior of round 2+ = the last REVIEW-LOOKING output (mirror of run.mjs's guard).
   // F2e: strip the engine-approved suffix FIRST — the prior must never
   // carry the raw token / designId (exact truncation — zero collateral).
   // 结论块（下方）刻意晚于 prior 归一：prior 只承载评审正文，不携带机制文案。
-  if (report && looksLikeReviewOutput(report)) {
+  // #863 关闭点轻量化（父侧批·五裁定——§2.3 表外追加）：closed 实例零消费面（续跑仅取 open）——
+  // 关闭后不再写回 priorOutput（否则 settleDesignReview 关闭点的释放被覆盖）。
+  if (run.open && report && looksLikeReviewOutput(report)) {
     run.priorOutput = stripApprovedSuffix(report, run.approvedSuffix)
   }
   // F28/F29 失败结论（2026-09-18 顾问面治理批——**两轨共用**，ADVISOR-GUARDS.md §7 契约二）：

package/agent-tools/batch-lifecycle.mjs

@@ -58,8 +58,9 @@ function assertMainAgentOnly(ctx, action, review) {
 
 /** 递归收集目录下全部 `*.md`（#369 · KD-4：显式嵌套路径为合法 create 面 ⇒ 顶层平扫会欠计
  *  ⇒ 复数情形漏判、默认定位可落非预期档）。只认真目录（`dirent.isDirectory()`——symlink 不入，
- *  防环）；单目录读错按无候选处理（尽力面，同旧平扫）。 */
-function collectMarkdownFiles(dir, out = []) {
+ *  防环）；单目录读错按无候选处理（尽力面，同旧平扫）。**转导出**（read-data-interface 批——
+ *  `batch/list` 读面文件集同源复用；零行为变）。 */
+export function collectMarkdownFiles(dir, out = []) {
   let entries = []
   try { entries = readdirSync(dir, { withFileTypes: true }) } catch { return out }
   for (const e of entries) {

package/agent-tools/batch-read.mjs

@@ -0,0 +1,36 @@
+/**
+ * agent-tools/batch-read.mjs — 批次档只读读面（read-data-interface 批 · 设计档
+ * `docs/cli/design/READ-DATA-INTERFACE.md` §2.5 / §3.3 · 台账 #887）。
+ *
+ * `listBatchRecords({ cwd, bases })` —— ACP `batch/list` 与变更观察器共用的**文件集 + 段状态单源**：
+ * 文件集 = 基底根（`batchDocBases`——声明面单源）下全部 `*.md`（递归；收集器 `collectMarkdownFiles`
+ * 转导出复用）；路径升序稳定；单档读错跳过（尽力面）。各段状态 = `readSectionStatusWord`（段头 /
+ * 状态行正则 / 词表全消费 batch-skeleton 单源——与冻结门字面零漂移；`§4` / `§6` = 字面「无状态词」）。
+ */
+import { readFileSync } from "node:fs"
+import { basename } from "node:path"
+
+import { collectMarkdownFiles } from "./batch-lifecycle.mjs"
+import { batchDocBases } from "./batch-paths.mjs"
+import { readSectionStatusWord } from "./batch-skeleton.mjs"
+
+/** 段号表（1–6——输出映射键序固定；`readSectionStatusWord` 消费数形段号）。 */
+const SEGMENTS = [1, 2, 3, 4, 5, 6]
+
+/** 批次档列举（只读）：`{ batches: [{ file, path, sections }] }`——`path` = 绝对路径（`/` 归一）、
+ *  `file` = basename、`batches` 按路径升序；单档读错跳过（尽力面）。`bases` 缺省 = `batchDocBases(cwd)`。 */
+export function listBatchRecords({ cwd, bases } = {}) {
+  const base = cwd ?? process.cwd()
+  const roots = bases ?? batchDocBases(base)
+  const files = new Set()
+  for (const root of roots) for (const abs of collectMarkdownFiles(root)) files.add(abs.replace(/\\/g, "/"))
+  const batches = []
+  for (const p of [...files].sort()) {
+    let src
+    try { src = readFileSync(p, "utf8") } catch { continue } // 单档读错跳过（尽力面）
+    const sections = {}
+    for (const seg of SEGMENTS) sections[`§${seg}`] = readSectionStatusWord(src, seg)
+    batches.push({ file: basename(p), path: p, sections })
+  }
+  return { batches }
+}

package/agent-tools/batch-skeleton.mjs

@@ -125,6 +125,34 @@ export function readBatchStatusLine(src) {
   return "unknown"
 }
 
+/**
+ * §N 段状态词解析（read-data-interface 批——`batch/list` 读面单源，设计档 §2.5）：段头
+ * （sectionHeaderRe）/ 状态行正则（STATUS_LINE_RE）/ 词表（STATUS_WORDS）全消费既有单源常量——
+ * 与冻结门字面零漂移。`§1`–`§3` / `§5`：段内首个状态行的值按**终态词优先**（closed / done 先于
+ * open——镜像冻结门取值序）命中已识别关键词 ⇒ 返回该关键词；段头缺失 / 无状态行 / 无命中 ⇒ null。
+ * `§4` / `§6` 无词条 ⇒ 字面 `无状态词`（不造词）。
+ * @param {string} src — 档全文
+ * @param {number|string} seg — 段号（`2` / `"2"`——同 sectionHeaderRe 消费形）
+ * @returns {string|null} 已识别关键词 / null / 字面「无状态词」（§4 / §6）
+ */
+export function readSectionStatusWord(src, seg) {
+  const words = STATUS_WORDS[seg]
+  if (!words) return "无状态词"
+  const hdr = sectionHeaderRe(seg).exec(src)
+  if (!hdr) return null
+  const nextRe = /^## §\d/gm
+  nextRe.lastIndex = hdr.index + hdr[0].length
+  const next = nextRe.exec(src)
+  const body = src.slice(hdr.index + hdr[0].length, next ? next.index : src.length)
+  const m = body.split(/\r?\n/).map((line) => STATUS_LINE_RE.exec(line)).find(Boolean)
+  if (!m) return null
+  const value = m[1].trim()
+  for (const w of [words.closed, words.done, words.open]) {
+    if (w !== undefined && value.includes(w)) return w
+  }
+  return null
+}
+
 /**
  * §N 段内「`**状态行**：` 行存在性」判据（#422③——close 对无状态行档自建机读位的**采集面**：
  * 与 readBatchStatusLine 的「值可解析」正交——无行 ⇒ 可自建；有行而值不可解析 ⇒ 仍 fail-closed）。

package/agent-tools/batch.mjs

@@ -40,9 +40,11 @@ export { SEGMENT_BY_ROLE, batchDocBases, resolveBatchDocPath }
 export const MAX_TEXT_CHARS = 20000
 /** 工具写入的轮次节标题形态（N 计数口径 = 该形态行；`### 轮次与发现（…）` 骨架行不匹配）。 */
 const ROUND_HEADING_RE = /^### 轮次 \d+（评审子代理）/
-/** 凭证形态（§2.7 冒号态）：`[DESIGN-TOKEN:…]` 与 `designId: …`——本节自有正则。 */
-const CRED_RE = /\[DESIGN-TOKEN:[^\]]*\]|designId\s*:\s*\S+/g
-const CRED_TEST_RE = /\[DESIGN-TOKEN:[^\]]*\]|designId\s*:\s*\S+/
+/** 凭证形态（`BATCH-RECORD.md` §4.1——三形）：`[DESIGN-TOKEN:…]` 闭括号形 ∥ `designId: …` 键形 ∥ 无标两段
+ *  token 值形 `⟨uuid⟩:⟨epoch⟩`（与单源 `design-token.mjs` 判据对表）；裸 uuid 非凭证不剥（KD-7）。两字面勿
+ *  合并：`CRED_RE` 走 `.replace()` 须 `/g` ∥ `CRED_TEST_RE` 逐行 `.test()` 须非 `/g`（lastIndex 有状态会漏剥）。 */
+const CRED_RE = /\[DESIGN-TOKEN:[^\]]*\]|designId\s*:\s*\S+|[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}:\d{10,16}/g
+const CRED_TEST_RE = /\[DESIGN-TOKEN:[^\]]*\]|designId\s*:\s*\S+|[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}:\d{10,16}/
 
 // ─── #84 记账面注入缝（「记账面按端注入」，形态参 §2.13.5 注入缝）───────────────
 /**