@thincoder/core 0.10.2 → 0.10.4

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/family-tools.mjs

@@ -27,9 +27,9 @@ export async function assembleFamilyTools({
 } = {}) {
   // CORE-UNIFICATION TOOLS #83：consult 家族随统一登记册自 `../agent-tools.mjs` 取用（单一来源）
   const { planTool, subagentTool, taskTool, skillTool, goalTool, verifyTool, recentChangesTool, timerTool, advisorTool, engTool, readHistoryTool, contextTool, batchTool, consultStartTool, consultStopTool, parentChannelTool } = await import("../agent-tools.mjs")
-  // 写命令（主 agent 专用）——动态 import 且**仅 depth===0 载入**（ledger 链静态达 node:sqlite——
-  // W8 契约②；子代理路径不注册 = 零载入——depth>0 解构得空、不引用即无副作用）
-  const { ledgerAddTool, ledgerUpdateTool, ledgerCloseTool } = depth === 0 ? await import("../ledger.mjs") : {}
+  // 台账统一入口（2026-10-05 统一入口批——台账 #923）：全量变体 = depth-0 段 ∥ 只读变体 = 全部
+  // depth>0 段。动态 import——ledger 链静态达 node:sqlite（W8 契约②）；两变体同名单对象、schema 窄化。
+  const { ledgerTool, ledgerReadTool } = await import("../ledger.mjs")
 
   // withPool: decorate the consult_start description with the CURRENT candidate pool
   // so the model knows which models it can pick (CLI parity with the plugin). The
@@ -141,9 +141,8 @@ export async function assembleFamilyTools({
   const depthOnly = depth === 0
     ? [decorate?.subagent ?? filteredSubagent, skillTool, goalTool, engTool, verifyTool, recentChangesTool, readHistoryTool, contextTool, advisorTool, batchTool(null),
       ...consultTools,
-      // 台账写命令（M2——仅主 agent；查询面 ledger_count 住基础集 tools/index.mjs）。
-      // fail-closed：子代理不挂载 = 写面机械不可达。
-      ledgerAddTool, ledgerUpdateTool, ledgerCloseTool,
+      // 台账全量变体（五 action——仅主 agent 装配；fail-closed：子代理段只挂读变体 = 写面机械不可达）
+      ledgerTool,
       // 端差（decorate.settings——VSC depth-0 主 agent 面；缺省不追加）：核默认形态里
       // settings 住**基础集**（`tools/index.mjs` `assembleBuiltinTools`），端侧自持清单
       // 无该面 ⇒ 端以 decorate 补位（收敛通道 = 将来去 decorate 项即归核位）。
@@ -168,11 +167,12 @@ export async function assembleFamilyTools({
     // （未列名 depth>0 role 落同一兜底段 ⇒ 亦装配；语义 =「depth>0 且非 consult 皆装配」）；
     // 计数口径：`consult` 分支不入 ⇒ 「5 个插入点」读法已作废（实读 `thincoder-core/agent/family-tools.mjs:165-169`）。
     // consult 段不入（其角色语义 = 父发起的一次性会诊，父在其 settle 前不期望中途对话）。
-    : engChildRole === "eng-coder" ? [parentChannelTool, advisorTool, verifyTool, batchTool(batchDoc), ...(engChildSubagent ? [engChildSubagent] : [])]
-    : engChildRole === "eng-designer" ? [parentChannelTool, batchTool(batchDoc), ...(engChildSubagent ? [engChildSubagent] : [])]
-    : role === "coder" ? [parentChannelTool, verifyTool, advisorTool]
-    : role === "consult" ? [recentChangesTool]
-    : [parentChannelTool]
+    // 台账只读变体（query / count）——全部 depth>0 角色段（含 consult ∕ 兜底；写三 schema 级不可达）
+    : engChildRole === "eng-coder" ? [parentChannelTool, ledgerReadTool, advisorTool, verifyTool, batchTool(batchDoc), ...(engChildSubagent ? [engChildSubagent] : [])]
+    : engChildRole === "eng-designer" ? [parentChannelTool, ledgerReadTool, batchTool(batchDoc), ...(engChildSubagent ? [engChildSubagent] : [])]
+    : role === "coder" ? [parentChannelTool, ledgerReadTool, verifyTool, advisorTool]
+    : role === "consult" ? [recentChangesTool, ledgerReadTool]
+    : [parentChannelTool, ledgerReadTool]
 
   // 固定段（装配序 = agent.tools → 固定段 → 家族段 → extraTools）：timer 全模式全深度；
   // plan 随模式位——ENG-PLAN-EXCLUSION（FR31 ① · KD8 卸载而非「注册 + 报错」· KD11 全深度两端）；

package/agent/helpers.mjs

@@ -468,6 +468,14 @@ export const UPSTREAM_TURN_DOMAIN =
 export const TIMER_TURN_DOMAIN =
   "[System reminder: auto-turn — a timer you set earlier has expired (reminder above). No user message is waiting. Act on what the timer was for now: pull the data or run the check rather than continuing to reason in the abstract. Stay within the work that was in flight when the timer was set; do not open unrelated new work. Wrap up as soon as the action is done or blocked.]"
 
+/** Digest-accounting requirement line (AGENT-LOOP-ASYNC-POOL.md §6.31.3 · batch digest-accounting ·
+ *  2026-10-05)：消化轮账目要求——两档同发（手动 / AUTO）；manual 域文本只覆盖手动档 ⇒ 要求行
+ *  独立常量承载，避免 AUTO 轮无要求。`<ids>` = 未销账 id 清单占位（动态拼 = digest-account.mjs
+ *  `digestAccountRequirement`）；注入面 = transient（机器线独有）。Verbatim from the parent-side
+ *  final text (single line — no newlines); content authority = parent side. */
+export const DIGEST_ACCOUNT_DOMAIN =
+  "[System reminder: digest accounting — for every report listed below as not yet accounted, emit exactly one line: \"[digest-ack #<id>] digested — <key points>\" (handled) or \"[digest-ack #<id>] deferred — <reason>\" (not handled). Not yet accounted: <ids>. Do not omit any.]"
+
 /** Engineering-mode status injection — one reminder on EVERY transition (2026-08-25:
  *  OFF is announced too — the model must know the gates lifted; silence after /eng-off
  *  left it guessing. Covers TUI /eng, resume, and any path bypassing the eng tool.) */

package/agent/record-results.mjs

@@ -26,9 +26,12 @@
 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"
+// #949（评审 history 串台面）：同步面投递水印单点（叶档——零环）。
+import { noteReviewDelivered } from "../agent-tools/review-facts.mjs"
 
 let _reindexFile = null
 
@@ -117,6 +120,8 @@ export async function recordToolResults(agent, toolByName, results) {
         } else {
           const reviewId = agent._advisorSyncCalls?.get(toolCall.id)
           const run = reviewId !== undefined ? advisorRuns(agent).get(reviewId) : undefined
+          // #949：工具结果已入史（上方 pushReal）⇒ 本评审响应表取件下界落定（run 缺省零写）。
+          if (run) noteReviewDelivered(agent, run)
           // F16 同步面（第 13 批——ADVISOR-GUARDS.md §6）：未完成尾 + 非设计面
           // （含类型不可判——run 缺失的 legacy 直调）⇒ 不置「已覆盖」（与 settle 面
           // 逐条 parity；设计评审保持计入——无代码面）。
@@ -130,7 +135,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 +181,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/run-stages.mjs

@@ -13,7 +13,9 @@ import { pushManifestStateReminder } from "./setup-reminders.mjs"
 import { cleanupConsultSessions } from "../agent-tools/consult.mjs"
 import { logEvent, errText } from "../log.mjs"
 // ASYNC-RESULT-CONTAINER.md D1：池 accessor（absorb 双池——advisor 独立池无队列）
-import { getAsyncPool, releaseSettledEntry } from "../agent-tools/async-settle.mjs"
+import { carrierField, getAsyncPool, releaseSettledEntry } from "../agent-tools/async-settle.mjs"
+// §6.31 消化账务（批 digest-accounting · 2026-10-05 · 台账 #930）：见账 pass ∥ 回合分类单点
+import { accountDigestRound, isDigestRound } from "./digest-account.mjs"
 // 批 4 CLI-ASYNC-DISCARD（AGENT-LOOP-ASYNC-POOL.md §6.20）：中止分支「只清已死」收尾单点
 // （#9：+ 后台 bash 任务族——逐条杀树 + 出池 + 墓碑）
 import { discardAbortedPool, discardAbortedAdvisors, discardAbortedBgTasks } from "../agent-tools/async-discard.mjs"
@@ -23,10 +25,15 @@ import { flushPeerDomains } from "../peer-domains.mjs"
 // 第 30 批 D1（Stop 钩子——AGENT-LOOP.md §6.13）：主会话 run 终止事件（触发块见 finalizeAgentTurn）
 import { runHooks } from "../hooks.mjs"
 
+/** 结束信号缺席提醒（§6.31.7 F-DA5——逐字 = 父侧定稿；与「非 stop 异常」同面）。 */
+const FINISH_MISSING_REMINDER =
+  "[System reminder: the previous turn ended without a finish signal — the provider did not report how generation ended. If the response appears incomplete, continue from where it left off.]"
+
 /**
  * 响应后置提醒注入（2026-09-05 实践轮——自 runAgent 响应处理链提取，verbatim）：
  * 流规则 warning（warn 动作——流已完成——去重注入，模型下轮可见）+ 异常 finish
- * reason 警告（响应可能不完整/截断——reasonMap 人类化描述注入）。
+ * reason 警告（响应可能不完整/截断——reasonMap 人类化描述注入）+ 结束信号缺席提醒
+ * （§6.31.7 F-DA5——clean end 无 finishReason ⇒ 同面提醒 + 留痕）。
  */
 export function injectResponseReminders(agent, response) {
   // Stream rule warnings (action: "warn"): stream completed; inject de-duplicated
@@ -39,6 +46,14 @@ export function injectResponseReminders(agent, response) {
     })
   }
 
+  // §6.31.7 F-DA5（#929——批 digest-accounting）：结束信号缺席（clean end 且无 finishReason）
+  // ⇒ 不得静默当正常——同面异常提醒注入 + `ev:finish-missing` 留痕；partial / interrupted /
+  // ruleTriggered 径零触（网络断流既有 `_warnings` 已覆盖；ruleTriggered 在调用点之前分流）。
+  if (response.finishReason == null && !response.partial && !response.interrupted) {
+    agent.history.push({ role: "user", content: FINISH_MISSING_REMINDER })
+    logEvent("ev:finish-missing", { turn: agent._currentTurn ?? 0, auto: agent._inAutoTurn === true, child: agent._logId })
+  }
+
   // Warn on abnormal finish reasons — the response may be incomplete/truncated.
   if (response.finishReason && response.finishReason !== "stop" && response.finishReason !== "tool_calls") {
     const reasonMap = {
@@ -145,11 +160,12 @@ export async function injectTurnReminders(agent, ctx) {
  * 回合收尾（2026-09-05 实践轮——自 runAgent finally 提取，verbatim + 签名化）：写足迹
  * flush → Stop 钩子（第 30 批 D1——ctx.depth === 0 的主会话 run 终止事件，
  * fire-and-forget）→ consult 清理（无孤儿烧 token 的 consult children）→ async 池回合尾
- * 分流（Ctrl+C 清池不注入 / ContinueError 留池续跑 / 其余 collectSettledAsync）→ auto-turn
+ * 分流（Ctrl+C 清池不注入 / ContinueError 留池续跑 / 其余 collectSettledAsync）→
+ * **见账 pass（§6.31.5——消化轮收尾逐条机检账目覆盖；消化账务批）** → auto-turn
  * guard 标记继承（对象字段清单——正常结束才继承；中止丢弃；ContinueError 由续跑快照）。
  */
 export async function finalizeAgentTurn(agent, ctx) {
-  const { signal, autoTurn, suspDriven, thrownError, depth } = ctx
+  const { signal, autoTurn, upstreamTurn, timerTurn, suspDriven, thrownError, depth } = ctx
   // R10 L3（MULTI-INSTANCE-COLLAB §2a.5 D-L3a）：回合末登记 flush——本回合写足迹整写
   // 一次（首行执行：收尾链后续任何异常都不吞登记）；无写入 → 跳过（hot 窗口自然衰减）。
   flushPeerDomains(agent)
@@ -204,6 +220,7 @@ export async function finalizeAgentTurn(agent, ctx) {
     // （原 _pendingConsultResults/_pendingEscalateResults 同口径——VSC 同语义 filter）；
     // subagent/advisor 停靠保留（挂起期 settle 的已完成结果不随中止丢）。
     agent._pendingAsyncResults = (agent._pendingAsyncResults ?? []).filter((e) => e.role !== "consult" && e.role !== "escalate")
+    agent._unsettledDigests = [] // §6.31.5 清账面：会话中止 ⇒ 升级账本随 pending 一并清（用户全停 = 旧账不续）
   } else if (thrownError instanceof ContinueError) {
     // keep _asyncSubagents/_asyncAdvisors/_consultSessions — the resumed run continues them
   } else {
@@ -220,6 +237,12 @@ export async function finalizeAgentTurn(agent, ctx) {
       closeOpenCodeAdvisorRuns(agent)
     }
   }
+  // §6.31.5 见账面（消化轮收尾——finalize 单点；消化账务批 · 2026-10-05 · 台账 #930）：
+  // 恒达窗 = 正常 ∥ Abort-continue ∥ 异常抛三径同达；会话停止径不判（清场语义归 finishSuspension）。
+  if (isDigestRound({ autoTurn, upstreamTurn, timerTurn }) && carrierField(agent, "_daSession") === true
+      && !(signal?.aborted && !signal?.reason?.interrupt)) {
+    accountDigestRound(agent)
+  }
   agent._inAutoTurn = false
   // AGENT-LOOP-ASYNC-POOL.md §6.8 D-S6: auto-turn guard marks survive into the next USER run (restored at its
   // !resume reset above). Normal ends only — abort discards; ContinueError lets the

package/agent/run-start.mjs

@@ -30,14 +30,55 @@ export async function beginRun(agent, input, callbacks, {
   // +role——四族（subagent/advisor/escalate/consult）统一停靠；注入器按 role 分发
   // （consult → injectConsultResult；其余 → injectAsyncResult——族分支同 CONSULTATION.md §6.2 D-R17a/b）
   // ——单容器一处清，不再逐族三段。
+  // §6.31 消化账务（批 digest-accounting · 2026-10-05 · 台账 #930）：**投递 ≠ 销账**——
+  // 会话态（`_daSession`）投递留容器（覆盖才离容器 / 未见账经消化轮回路重投）；fallback
+  // （headless / 直连 runAgent）缺省条逐字沿用取尽语义（先离容后注入 ∥ `releaseSettledEntry` 面；
+  // 零账目动作——不销账 / 不重投），已投递未销账条同判据跳过且留容器（§6.31 出口缝② · 父侧裁定 2026-10-05）。
   const pendingAsync = agent._pendingAsyncResults
-  if (pendingAsync?.length) {
+  const { carrierField, releaseChildHold, releaseSettledEntry } = await import("../agent-tools/async-settle.mjs")
+  if (carrierField(agent, "_daSession") === true) {
+    const { armAccountRound, isDigestRound, shouldDeliverEntry, digestAccountRequirement } = await import("./digest-account.mjs")
+    armAccountRound(agent) // §6.31.5 落痕清位：会话态起跑即清（缺痕 ⇒ 全条未覆盖——安全方向）
+    if (pendingAsync?.length) {
+      const { injectAsyncResult } = await import("../agent-tools/subagent.mjs")
+      const { injectConsultResult } = await import("../agent-tools/consult.mjs")
+      const digestRound = isDigestRound({ autoTurn, upstreamTurn, timerTurn })
+      // 投递门控两态（§6.31.4）：首投任意回合 ∥ 重投仅消化轮；注入后**留容器**（不 splice）。
+      // 注入抛错 ⇒ 未投条目（`_daDelivered` 未置）留容器待下轮——收窄既有「splice 先取尽」的丢失窗。
+      for (const e of [...pendingAsync]) {
+        if (!shouldDeliverEntry(e, digestRound)) continue
+        if (e.role === "consult") await injectConsultResult(agent, e)
+        else await injectAsyncResult(agent, e)
+        e._daDelivered = true
+        e._daRetry = false
+        releaseChildHold(e) // 仅释放 `childAgent`——`report` 保留至销账 / 升级（重投需原文）
+      }
+      // 账目要求行（§6.31.3）：仅会话态消化轮且未销账清单非空时注入（先投递后拼清单——
+      // 含本回合首投 / 重投）；两档同发（手动 / AUTO）；transient（机器线独有）。
+      if (digestRound) {
+        const ids = pendingAsync.filter((e) => e._daDelivered === true).map((e) => e.id)
+        if (ids.length > 0) {
+          agent.history.push({ role: "user", content: digestAccountRequirement(ids), transient: true })
+        }
+      }
+    }
+  } else if (pendingAsync?.length) {
     const { injectAsyncResult } = await import("../agent-tools/subagent.mjs")
     const { injectConsultResult } = await import("../agent-tools/consult.mjs")
     // TUI-OOM-ROOTCAUSE（AGENT-LOOP.md §6.15 消费点②——run 起始 pending 注入）：
     // 注入完成后释放条目对子代理对象的持有（childAgent/report 置空——幂等 helper）。
-    const { releaseSettledEntry } = await import("../agent-tools/async-settle.mjs")
-    for (const e of pendingAsync.splice(0)) {
+    // §6.31 出口缝②（#44 披露①扩散面 · 父侧裁定 2026-10-05）：fallback 支同判据延伸——
+    // 注入前按投递账分区：已投递未销账条（`_daDelivered === true`——内容已在历史）不注入且
+    // 留容器（与 idle 清场同义——防重复 / 条目不离账务面）；`_daDelivered` 缺省条逐字沿用
+    // （先离容后注入的取尽窗 ∥ 注入顺序 ∥ `releaseSettledEntry` 面）。
+    const taken = []
+    let kept = 0
+    for (const e of pendingAsync) {
+      if (e?._daDelivered === true) pendingAsync[kept++] = e
+      else taken.push(e)
+    }
+    pendingAsync.length = kept
+    for (const e of taken) {
       if (e.role === "consult") await injectConsultResult(agent, e)
       else await injectAsyncResult(agent, e)
       releaseSettledEntry(e)
@@ -80,6 +121,11 @@ export async function beginRun(agent, input, callbacks, {
       agent._verifyPassed = undefined
       agent._calledAdvisorThisRun = false
       agent._touchedFiles = []
+      // #934（零落笔看门狗——AGENT-LOOP-UPSTREAM.md §6.32.6 载体重置）：streak / 闩与
+      // `_touchedFiles = []`（本块）同点复位——链起点；续跑（resume）不执行 ⇒ 「连续」
+      // 跨段存活（锚与分支差别注见 §6.32.2 ①）。
+      agent._zeroWriteStreak = 0
+      agent._zeroWriteAlerted = false
       agent._verifyRetries = 0
       agent._advisorRound = 0
       agent._advisorSession = null // advisor session is per-run: discard when the task ends, next task starts fresh

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

@@ -5,11 +5,14 @@
  * 回合尾后台池仍 live → 挂起会话——池项 settle → 入 pending；pending 非空 **或存在未 drain 的
  * 上行 ask**（`upstreamWaiting`——F-UC7 / §6.27.12.4 ①）→ 合并消化轮 / 唤醒轮（auto-turn；旗标
  * `upstreamTurn` 仅供域文本选择）；挂起空闲用户输入优先于消化轮。池空 + pending 空 + 无待处理
- * 输入 → 自然退出（idle）。退出清场：abort = 清池不注入（陈旧结果不注入）；idle = 残余直注入（结果零丢失）。
+ * 输入 → 自然退出（idle）。退出清场：abort = 清池不注入（陈旧结果不注入）；idle = 残余直注入
+ * （结果零丢失；已投递未销账条按投递账过滤——留容器不注入，§6.31 出口缝）。
  *
  * 载体注入（端差面 = 池 / pending / 标志挂谁）：`ctx.carrier` = 字段集按核内异步面
  * 现行口径的对象（`_asyncSubagents` · `_asyncAdvisors` · `_consultSessions` ·
- * `_pendingAsyncResults` · `_suspended`；#9 后台 bash 任务池 `_bgTasks` 同列）
+ * `_pendingAsyncResults` · `_suspended`；#9 后台 bash 任务池 `_bgTasks` 同列；
+ * 消化账务批 · 2026-10-05 同列 `_daSession`（挂起会话标记——置位 / 复位单点）与
+ * `_unsettledDigests`（升级账本——中止清场））
  * ——CLI 形 = `agent` 对象；VSC 形 = depth-0
  * `history` 数组（附加属性不污染会话文件）。机制对载体零预设（空字段一律 `?.` 读）。
  *
@@ -29,7 +32,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 单容器注入器）
@@ -111,7 +115,16 @@ function consultLiveCount(carrier) {
  *  - abort：**只清已死**（§6.20 口径——增补 D：`discardAbortedPool` ∕ `discardAbortedAdvisors`
  *    单点，与核 run-stages 回合尾中止同式；存活 ∕ 已 settle 条目留池——settled 报告沿后续
  *    回合边界注入到达，不静默丢）+ pending 单容器清 + 会诊会话清理标记；
- *  - idle：残余直注入（极端竞态残项——结果零丢失；注入器由宿主注入，缺省 no-op 保残项）。
+ *  - idle：残余直注入（极端竞态残项——结果零丢失；注入器由宿主注入，缺省 no-op 保残项）；
+ *    **已投递未销账条（`_daDelivered === true`）按投递账过滤**——内容已在历史（投递起跑窗）：
+ *    不注入且留容器（消化账务批出口缝 · #41 披露① · 父侧裁定 2026-10-05——状态面可见 / 可续账）。
+ *
+ * 返回 `{ injected, left, error }`（子代理面板批 · 2026-10-04 —— `hooks.reclaim` 恒达窗的退出半；
+ *  消化账务批出口缝——`left` = **注入集离容全量**（离容全取——注入失败条不缩水；已投递未销账
+ *  跳过条不取、留容器），供调用点 `reclaim(left)` 补发（「消费 ⇒ 必发 done」不变量——C2 零发射口；
+ *  跳过条未消费、其 done 已在投递起跑窗落——不入补发面）；注入循环 try/catch 收口 ⇒ `injected` =
+ *  成功前缀、`error` = 首错（调用点补发毕后重抛——fail-loud 保持）；abort ∥ 无注入器 ∥ 无残差 ⇒ 三键空值。
+ *  既有 C3/C4 快照径（中止冻结快照）零改。
  */
 export async function finishSuspension(carrier, { aborted = false, injectResidual = null } = {}) {
   if (aborted) {
@@ -120,16 +133,33 @@ export async function finishSuspension(carrier, { aborted = false, injectResidua
     discardAbortedAdvisors(carrier)
     discardAbortedBgTasks(carrier) // #9 收尾档②：后台 bash 任务逐条杀树 + 出池 + 墓碑（杀 ⟺ 控制器已中止）
     carrier._pendingAsyncResults = []
+    carrier._unsettledDigests = [] // §6.31.5 清账面（消化账务批）：会话中止 ⇒ 升级账本随 pending 一并清（旧账不续）
     if (carrier._consultSessions instanceof Map) {
       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 }
+  // §6.31 出口缝（#41 披露① · 父侧裁定 2026-10-05）：清场按投递账过滤——已投递未销账条
+  // （`_daDelivered === true`——内容已在历史）**不注入且不动容器**（状态面可见 / 可续账——防重复）；
+  // 判据 = 条目既有字段（调用窗 `_daSession` 已复位——不以其为门）；其余条逐字沿用。
+  // 单遍分区写法（#44 披露④ · 父侧裁定 2026-10-05）：一次遍历同出 `left`（离容集）与留容器集——
+  // 消除 `indexOf` 未命中 ⇒ `splice(-1,1)` 静默删尾的失败类；离容顺序 ∥ `left` 语义不缩水。
+  const left = []
+  let kept = 0
+  for (const e of residual) {
+    if (e?._daDelivered === true) residual[kept++] = e
+    else left.push(e)
+  }
+  residual.length = kept
+  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 +209,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 {
@@ -203,6 +235,9 @@ export function startSuspension(ctx) {
 
   const done = (async () => {
     carrier._suspended = true
+    // §6.31.2 会话标记（消化账务批 · 2026-10-05 · 台账 #930）：挂起会话期 true——投递留容器 /
+    // 见账 / 重投回路的唯一判据；退出（finally）置 false ⇒ 会话外回 fallback 语义。
+    carrier._daSession = true
     hooks.onCounts?.(backgroundCounts(carrier))
     let aborted = false
     try {
@@ -221,8 +256,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 +279,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 +307,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
         }
@@ -277,13 +319,19 @@ export function startSuspension(ctx) {
       if (!finished) {
         finished = true
         carrier._suspended = false
+        carrier._daSession = false // §6.31.2 会话标记复位（退出即回 fallback 语义）
         latch.wake = null
         // §2.3 退出清场：abort 判定与实时信号合并（两端同式——Stop 落在 runTurn 内时
         // 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) }