@sema-agent/client-core 0.77.0 → 0.77.2

package/dist/hitl/frameRouter.js

@@ -2,59 +2,15 @@ import { hostLog } from '../host.js';
 import { isToolApprovalGate, toolNameIsFsWrite, toolNameIsShellExec, isToolApprovalFrame, isFromSubagent, surfaceToolApprovalFrameAndRespond, } from './toolApprovalWire.js';
 import { classifierDenyFromToolEnd } from '../classifierVerdictWire.js';
 import { GATE_PARKED_ERROR_CODE } from '../engineErrorCodes.js';
-// 0.60.0(engine ≥7.64.0 / sdk 8.4.0):终局/park 读数的单一读器(两代字节 → 一个带标因由)。
 import { readRunTerminal, runTerminalCode, runTerminalGateKind, runTerminalGateToolName } from '../runTerminal.js';
 import { surfaceForCurrentSession } from './hitlHostSurface.js';
-/**
- * CC `utils/messages.ts` 的 `REJECT_MESSAGE` **逐字**(B7 搬迁差分 2)。deny 后重放 tool_end 的
- * render 面 stamp 用 —— vendored `renderToolUseRejectedMessage` 渲 `User rejected <op> to <path>`。
- * 🔴 pure 门 B7 段:包内冻结字面量(无条件)+ 壳树全树扫描「每一处声明都逐字节相同」(壳树缺席=跳过)。
- */
 export const HITL_REJECT_MESSAGE = "The user doesn't want to proceed with this tool use. The tool use was rejected (eg. if it was a file edit, the new_string was NOT written to the file). STOP what you are doing and wait for the user to tell you how to proceed.";
 function rejectMessageForRender() {
     return HITL_REJECT_MESSAGE;
 }
-/**
- * CC `utils/messages.ts` 的 `INTERRUPT_MESSAGE_FOR_TOOL_USE` **逐字**(件 B,#323 症状②,2026-08-25)。
- *
- * 🔴 CC 语料直证的两条事实(壳侧勘察,cli `src/utils/messages.ts:216-217` 逐字节同):
- *   ① `"Operation aborted"` 在 CC 只在 transport 层 throw,**从不上屏** —— 它是我们这条引擎链
- *      特有的产物,渲成红 `Error: Operation aborted` 是 CC 里根本不存在的形;
- *   ② CC 的**唯一**中断呈现形就是本串:壳的 `UserToolErrorMessage` 对
- *      `content.includes(INTERRUPT_MESSAGE_FOR_TOOL_USE)` 渲 dim `Interrupted`(CC 2.1.223 逐字判据)。
- * ⇒ 用户中断批的 tool_result 文案在**呈现向**归一到本串,三端就天然拿到 CC 的 Interrupted 形,
- *   不必各自再抄一份「Operation aborted 也算中断」的手工判据(那正是漂移温床)。
- * 🔴 **呈现向,不是模型面**:本包这条链是转录/渲染链;喂回模型的那一份由引擎自己的 wire 承载,
- *   这里一个字节都不碰它。
- */
 export const HITL_INTERRUPT_MESSAGE_FOR_TOOL_USE = '[Request interrupted by user for tool use]';
-/**
- * run 被**取消**的终态短码(server cancel settle 契约:`runs.cancel` → run SETTLES to `failed` +
- * `errorCode:"cancelled"`;成文见本包 `controlRouter.ts` cancel 段与 `docs/INTEGRATION-CLIENTS.md`
- * 的 cancel/deny 对照行 ——「ack 带 `errorCode:"cancelled"`」)。
- */
 const RUN_CANCELLED_ERROR_CODE = 'cancelled';
-/**
- * core 对**被 gate park 的那个 call**(gate 主角)铸的 tool_end 载体(逐字;desktop session-host
- * 真引擎实测同款)。HOLD 谓词锚它做**精确等值** —— 普通工具错的输出是各自的错误文案,永不进 HOLD。
- *
- * 🔴 **勘误(件⑤,2026-08-22,[4970] 真机取证)**:此处原话是「core 对被 gate/**连坐** abort 的
- * call **恒**铸这一串」——对连坐的旁观者**不成立**。core 5.52.0 dist 直证两个短路点两种文案:
- * gate 主角走 abort 早退 = 本串;**执行前被连坐**的旁观者 = `"operation aborted before execution"`
- * (小写 + 后缀)。所以本串只是判据的**兜底臂**(旧 core 唯一的信号),主锚是机读码
- * `gate.parked`——见 {@link isEngineAbortToolEnd}。
- */
 export const ENGINE_ABORT_TOOL_RESULT = 'Operation aborted';
-/**
- * tool_end.output 的文本归一(P0 案B,2026-08-03,server 6.0.0 wire 实测):sync leg 的毒化帧
- * `output` 不再是裸 string,而是 content-block 数组 `[{"type":"text","text":"Operation aborted"}]`
- * (8790 裸引擎 POST /v1/tasks/stream 逐帧记录字节形)。abort 标记的**等值锚**必须先归一再比,
- * 否则 6.0.0 下 hold-poison 臂全盲:毒化帧当场上屏 + generic-close 记 ended ⇒ decide 后重放的
- * 真收口帧被 isEnded 早退去重 —— 「按 Yes 屏幕永远停在 Error: Operation aborted」整案复发。
- * 只归一**判定**,帧本身一个字节不改;等值语义不放宽([2084]①-b 收窄仍然成立,负控见 gate ⑩)。
- * 🆕 [C93] 公面导出(0.17.1):web/desktop 被点名「两端务必接」的同款归一各自手抄=漂移温床,
- * 导出做单一真源;签名不变,加导出=additive。
- */
 export function toolEndOutputText(output) {
     if (typeof output === 'string')
         return output;
@@ -68,38 +24,12 @@ export function toolEndOutputText(output) {
     }
     return parts.length > 0 ? parts.join('') : undefined;
 }
-// ── gate 词汇(两把刀共享)──────────────────────────────────────────────────────────────────────
-/** 工具名是不是 AskUserQuestion(空白/下划线/连字符与大小写都不敏感)。
- *  **宽口**:帧上的 `toolName` 位是 UNTRUSTED 的任意值,判据自己吃 `unknown`,本模块内部用。 */
 function isAskToolLoose(name) {
     return typeof name === 'string' && name.replace(/[\s_-]+/g, '').toLowerCase() === 'askuserquestion';
 }
-/** 上者的**窄口**(`findPendingForTask` 的 gate 过滤谓词签名)—— 出境的那一版不吃 `unknown`:
- *  边界层的 unknown 在本模块里窄化完再跨模块(typeshape 门 B2 的纪律)。 */
 export function isAskTool(toolName) {
     return isAskToolLoose(toolName);
 }
-/**
- * 「这个**工具名**归 gate 管」的判据(#110 修,2026-08-02)。
- *
- * ⚠️ 它只是 park 判定的**名字腿**对位件,不是全部 —— park 判定 `isToolApprovalGate` 还有一条
- * 一等 kind 腿(`gate.kind==='tool_approval'`,放行任意 toolName),名字面上没有对位物。
- * tool_end 手柄用的是下面的 `isGatedToolEnd`(名字腿 ∪ abort 标记腿),两者的集合关系与理由
- * 写在那个函数的头注里([2393] hitl-F1)。本函数还被 `routeToolStart` 用来决定「要不要记 args /
- * 要不要跟 `lastFsOrShellGatedCallId`」,那两件事本来就只对名字识别得出的族成立。
- *
- * 🔴 它必须与 park 判定的**名字腿**(`isAskTool` / `toolNameIsFsWrite` / `toolNameIsShellExec`)
- * 覆盖同一个集合 —— 两边不同集就是 [paired-mechanisms-must-share-premise] 那种「park 认得出、
- * HOLD 认不出」的半场病:[2150] S1 给 park 判定加了 `toolNameIsShellExec`(Bash/shell 类进 gate 了),但
- * tool_end 手柄的 HOLD/REJECT 谓词还停在 `isAskTool || toolNameIsFsWrite` ——
- * 于是 Bash 的 durable gate 走到这里就两件事同时出错:
- *   ① park 期的毒化帧(`tool_end{isError:true, output:"Operation aborted"}`)没被 HOLD,
- *      **当场上屏**;用户按了 Yes、命令也真跑了,屏幕上却永远停在 `Error: Operation aborted`;
- *   ② 更狠的是紧接着的 `markEnded(toolCallId)` —— resume 后引擎重放的**真** tool_end
- *      被手柄开头的 `isEnded` 早退静默去重,真结果一帧都上不了屏。
- * 附带第三件:deny 腿的 `User rejected …` 文案对 Bash 同样进不去,用户看到的是引擎原文。
- * 证据链见 cli 仓 design/cli-164 T4-A(硬 oracle=磁盘状态:按 Yes 后 printf +504ms 真落盘)。
- */
 function isGatedToolName(name) {
     if (isAskToolLoose(name))
         return true;
@@ -107,130 +37,25 @@ function isGatedToolName(name) {
         return false;
     return toolNameIsFsWrite(name) || toolNameIsShellExec(name);
 }
-/** 这个 gate 的**主角属 fs 写 / shell 执行族**吗(`gateLedger.noteParkGate` 的准入判据)。
- *  🔴 主语是 **gate 本体**的 toolName(park 的 `checkpointGate`/`gate`),不是某张 tool_end
- *  帧的 —— 拿「本 turn 有哪些 gate-capable 工具」当准入证正是 v1 名字锚那条病的同形残留。 */
 function isFsOrShellToolName(name) {
     return typeof name === 'string' && (toolNameIsFsWrite(name) || toolNameIsShellExec(name));
 }
-/**
- * core 对**因 gate park 而中止**的 call 铸的机读短码(`tool_end.errorCode`,core ≥5.9.0)。
- *
- * 🔴 **契约,不是巧合**(core 官方答复 [4973]):两个 abort 短路点(gate 主角 / 执行前被连坐的
- * 旁观者)**消费同一个分类席**,而 park 提交**先于** abort 发射 —— 铸点读那一席时无竞态,
- * 于是主角与旁观者**恒**同席同码。所以本码可以当**主锚**用,而不是「我们在消费侧观察到它总在」
- * 那种推断。SDK 的 `Event_tool_end.errorCode` 声明处也逐字点名这个码 =「门把这次调用 park 了」;
- * 供给点见 core 5.52.0 dist `prepare-task` 的 `abortResultDetails: () => ({ code: "gate.parked" })`。
- *
- * 🔴 开集里的**具名一员**,不是前缀族:判据只认这一个码。放宽成「有 errorCode 就算」会把
- * `path_not_in_root` 这类普通工具错拖进 HOLD —— 那正是 [2084]①-b 收窄掉的病(真错迟到上屏)。
- * 常驻反证:hitl 门 F11-d(表外码的普通工具错必须**零滞后**上屏,判据锚在帧的**位置**上)。
- *
- * 🔴 **在场 ≠ 这次 park 有 call 身份**([4973]③):plan-review / resource-slice 这类不持有 call
- * 的 park 照样带本码,但诚实缺席 call id。所以本判据只锚 errorCode,**不**顺手去锚任何 id —— 锚了
- * 就等于把那几族 park 的连坐帧判成「认不出」。(core 5.55 的 `tool_end.gatedCallId` **顶层键**
- * 到货后可用于「折叠归组」那一面,与本判据是两件事,跟车另批。)
- */
-// 🔴 **单源**(0.60.0):字面量收编进 `engineErrorCodes.GATE_PARKED_ERROR_CODE` —— 本文件的连坐/中断
-//    判据与 `gateOutcome.isGateParkedToolEnd`(端的「这次调用没在这里结算」第二形谓词)读同一个常量。
-//    两处各写一份必漂,而漂的那一天两边会对同一帧给出相反的判决。
 const ENGINE_GATE_PARKED_ERROR_CODE = GATE_PARKED_ERROR_CODE;
-/**
- * 「这一帧是**引擎因 gate 而中止**的毒化帧」——双判据 OR(件⑤,2026-08-22,[4970] G1 端到端 RED)。
- *
- * 🔴 病形(test 线真机取证:真 server 7.41.0 + 真 Postgres,1 Bash 待审批 + 2 并行 WebFetch):
- * 判据原来只有下面第②条(精确串),而 core 的**两个短路点产两种串**——
- *   · gate 主角(`agent-loop` abort 早退,dist 两处)= `"Operation aborted"`(精确);
- *   · **同批被连坐的旁观者**(执行前短路)= `"operation aborted before execution"`(小写 + 后缀)。
- * ⇒ 判据对旁观者**恰好全不命中**:它们的毒化帧根本没进 HOLD(当场上屏 + 被 generic-close 记
- * `markEnded`,resume 后重放的真结果被静默去重),而 #324 的连坐机读位在真实现网**一次都没出现过**。
- * 本文件旧注写的「core 对被 gate/连坐 abort 的 call **恒**铸这一串」对旁观者不成立,已按实证撤回。
- *
- * 两臂各自的适用域(都**不**放宽成模糊匹配):
- *   ① **主锚** `errorCode === "gate.parked"`([4973] 契约:双短路点同席恒铸)—— 机读位,
- *      两种文案都覆盖,core ≥5.9.0 起在场;
- *   ② **兜底** 输出等于 {@link ENGINE_ABORT_TOOL_RESULT} —— 覆盖两类:老 core(还没有 errorCode
- *      这个位)**以及** core 现役唯一**不铸**本码的那一条臂 —— **post-hook signal re-check**
- *      ([4973]②:工具**已经执行完**、hook 之后签核那一拍才发现 abort,历来铸的 abort 结果
- *      不带 details ⇒ 无 errorCode)。这条臂正是双判据设计成立的理由:少了兜底臂,它整条落空。
- * 🔴 缺席不反推:两臂都不命中 = 这一帧没有「因 gate 中止」的任何证据,照旧走普通收口
- * (老 core + 变体串就落在这一格 —— 诚实缺席,不靠猜文案家族把普通工具错也收进来)。
- *
- * 🔴 **两串族不会被上游合并**([4973],core 显式拒绝改串向,**不是**「core 待修」):两条串各自
- * 承的是真语义 —— `"Operation aborted"` = **执行中被中止**,`"operation aborted before execution"`
- * = **从未执行**。消费端要的是「归不归 gate 管」这个判定,那件事归机读码;文案面归 core 的语义面,
- * 两者不该互相迁就。
- */
 function isEngineAbortToolEnd(ev) {
     if (ev.errorCode === ENGINE_GATE_PARKED_ERROR_CODE)
         return true;
     return toolEndOutputText(ev.output) === ENGINE_ABORT_TOOL_RESULT;
 }
-/**
- * 「这一帧 tool_end 归 gate 管」的判据 —— 上面那条**名字腿**加一条 kind 腿的替身([2393] hitl-F1,
- * 2026-08-02)。
- *
- * 🔴 为什么名字腿一条不够(上面那句「必须覆盖同一个集合」在 kind 腿上的反例):park 判定
- * `isToolApprovalGate` 有**两条**腿 —— 名字族(ask / fs 写三件 / Bash)与**一等 kind**
- * (`gate.kind === 'tool_approval'`,`toolApprovalWire.isFsApprovalGate` 首行)。后者放行**任意**
- * toolName:server 对名单外的工具出一等 kind 审批 park 时,park 侧认、tool_end 侧的名字腿认不出,
- * 于是 #110 那三件事在这类 gate 上原样重演一遍(毒化帧上屏 / `markEnded` 吃掉重放的真结果 /
- * deny 的 CC 文案进不去)。
- *
- * 🔴 为什么不能在名字腿里补 kind:`tool_end` 帧上**根本没有 kind 位** —— gate 的 kind 只在
- * `done{suspended}.checkpointGate` / `suspended.gate` 上,而那两帧**晚于**毒化 tool_end 到达
- * (park 帧序:tool_start → tool_end(毒化)→ done{suspended})。「park 时按 callId 打标、
- * tool_end 时读台账」这条路对**这一帧**来得太晚。帧面上唯一可读的信号是引擎铸的 abort 标记
- * ({@link isEngineAbortToolEnd} 的**双判据**:机读码 `gate.parked` ∪ 那条确切串 —— 件⑤ 之前
- * 这里只有后者,而 core 对**旁观者**铸的是另一种文案,见该函数头注),所以本判据 =
- * 名字腿 ∪ abort 标记腿。
- *
- * 🔴 集合关系(说清楚,别让下一棒再以为两边逐字相等):本判据是 park 判定的**超集**(它还会盖到
- * 被同 turn 连坐 abort 的非 gate call)。方向是有意的,且不对称成立 —— 多盖一帧的代价是那一帧
- * **晚**上屏(HOLD 的帧在模型推进 / 终帧 / fail-soft 三处必被 flush,一帧都不会丢),而少盖一帧
- * 的代价是用户按了 Yes 却只看到 `Error: Operation aborted`。顺带把连坐 abort 的 call 从
- * `markEnded` 里救出来:它们本来也会在 resume 后被模型重发,而旧码已把它们记成已收口。
- * ⚠️ 普通工具错(非 abort 标记)照旧**不进** HOLD —— [2084]①-b 的收窄没有被放宽,负控 F1-c 钉着。
- */
 function isGatedToolEnd(ev) {
     if (isGatedToolName(ev.toolName))
         return true;
-    return isEngineAbortToolEnd(ev); // 件⑤:abort 标记腿单源(机读码 ∪ 确切串)
+    return isEngineAbortToolEnd(ev);
 }
-/**
- * 上者的**窄口**,只给 ②`deny-stamp-next` 那条**位置性**判据用(件⑤ 的臂间掩蔽面,异源复审四审
- * finding①)。
- *
- * 🔴 为什么这一条不能用超集谓词:deny stamp 是**一次性的全局记号**(同步审批帧腿 deny 且 callId
- * 关联不上时才武装),语义是「**下一张** gated 报错帧就是那张门的收口帧」——**谁先到谁消费**。
- * 件⑤ 把 abort 标记腿放宽到认 `gate.parked` 之后,同批被连坐的**旁观者**(WebFetch 之流)也成了
- * 「gated 报错帧」:它先到就把记号吃掉、被改写成「用户拒绝了」并记 ended(它 resume 后的真结果
- * 还会被去重),而真正被拒的那个 call 拿到的是引擎原文 —— 正是 [2393] hitl-F1 要修的那个用户面,
- * 方向还反了。连坐帧带的是「我被 gate 连累中止」,**不是**「我就是那张被拒的门」,所以它没资格
- * 认领一个**位置性**的身份记号。
- * ⇒ 本判据 = 件⑤ **之前**的那一版(名字腿 ∪ 确切串),逐字保留;新加的连坐码臂**刻意不进来**。
- * (确切串腿理论上也可能是一条正在执行中被连坐的帧 —— 那是本记号自带的既有近似,与件⑤ 无关,
- * 不在本批放宽也不在本批收紧。)
- */
 function isDenyStampCandidate(ev) {
     if (isGatedToolName(ev.toolName))
         return true;
     return toolEndOutputText(ev.output) === ENGINE_ABORT_TOOL_RESULT;
 }
-/**
- * done 帧的 park 门读数(0.60.0:判据从退役的 `status:"suspended"` + `checkpointGate` 两个平面键
- * 换成带标因由 `terminal.paused` —— 读法单源 {@link readRunTerminal},本文件零平面键直读)。
- *
- * 🔴 两条 park 臂共用**一次**读取:此前两个谓词各自把 result 强转一遍再各判一次 `status`,
- *    两处的窄读域一旦分叉就会出现「ask 臂认得、fs 臂认不得」的半场(paired-mechanisms 病形)。
- * 返回 `null` = 这一帧不是 park(或连 taskId 都读不出 ⇒ 两条臂本来就都驱动不了)。
- *
- * ⚠️ **修前那条 `status === 'suspended'` 前置条件去哪了**(如实交代,不是漏掉):因由形下 park 只带
- *    门,「哪个 park 读作 suspended、哪个读作 needs_review」由**引擎的 pause registry** 决定、不再
- *    出现在这条 wire 上。而那条前置条件真正在挡的是**复核族 park**(plan_review / dry_run_review /
- *    needs_review 门)——它们本来就过不了下面两个门谓词(复核门不带 toolName,`isAskToolLoose`
- *    与 `isToolApprovalGate` 两条都判 false)⇒ 语义由**更精确的**门种判据原样承接,不是放宽。
- */
 function parkGateOf(result) {
     const read = readRunTerminal(result);
     if (read === null || read.kind !== 'paused')
@@ -239,62 +64,25 @@ function parkGateOf(result) {
     if (typeof taskId !== 'string' || taskId.length === 0)
         return null;
     const toolName = runTerminalGateToolName(read);
-    // Ask gate 恒先判(问答 overlay 原路)。
     if (isAskToolLoose(toolName))
         return { taskId, gate: 'ask', toolName };
-    // 工具审批 park([816] 放宽腿 + [2150] Bash 半场):门指 fs 写三件 / Bash / 一等
-    // kind==='tool_approval'(超集谓词 isToolApprovalGate,decide 腿对两族同构、卡形归壳分发)。
     if (isToolApprovalGate({ kind: runTerminalGateKind(read), toolName }))
         return { taskId, gate: 'fs', toolName };
     return null;
 }
-/**
- * park 帧上的**待批 call 身份**(server ≥7.41.0;[4914] 施工帖逐字:数据源 = checkpoint 本体的
- * `pendingAction.toolCallId`,投影到 **`done{suspended}` 的 result 顶层**与 durable **`suspended`
- * 事件**的 `gate` **旁**,两处同键同义)。两个 park 腿各读各的载体,判据是同一只。
- *
- * 🔴 UNTRUSTED wire 值:只认**非空串**,其余(缺席 / 非串 / 空串)一律诚实缺席 —— tool-less park
- *    (resource_limit / plan_review / task_done)按契约本来就没有这个键,而一个坏值被当成身份用
- *    会去摘一条不存在的扣留帧(等于什么都没摘,但把「判不出」的保守臂骗过去了)。
- */
 function parkGatedCallId(src) {
     const v = src?.toolCallId;
     return typeof v === 'string' && v.length > 0 ? v : undefined;
 }
-/** 台账里那份 gated `tool_start` 当拍的 args 快照(UNTRUSTED,只搬运不解释)。 */
 function argsOfGatedStart(led, callId) {
     if (callId === undefined)
         return undefined;
     return led.gatedStartArgs().get(callId);
 }
-// ── [2084]① 扣留帧「模型推进即放行」(2026-07-30;同日 web 复审纠偏收窄触发集)────────────────
-//
-// HOLD 只护 park 窗口。放行触发集 = host-lane **模型推进**帧:text_delta/reasoning_delta/
-// tool_start —— park 路径上这三种在 done{suspended} 之前不会出现,真错路径上下一轮必来其一。
-// 🔴 turn_end 明确**不在**触发集(初版在,web 复审真机轨迹逮红):core agent-loop 的 turn_end
-// emit 在 executeToolCalls 之后**无 abort/suspend 守卫**(邻臂都有,唯此一处没有)⇒ 真 park
-// 的帧序是 tool_end(毒化)→ message_committed → turn_end → done{suspended},turn_end 若放行
-// 会把毒化帧漏上屏,且 flushHeld 的 ended 记账让 decide 后重放的解答帧被当已收口丢弃
-// (真实答案卡永不出现)。代价 = turn 末尾无后续推进帧的 abort 形帧等到终帧 flush,与修前同。
-// parentToolCallId 在场 = sub-agent 行帧,park 期间孙代照常说话,不算 host 推进(负控①C)。
-// (普通工具错自 [2084]①-b 谓词收窄后根本不进 HOLD,零滞后不依赖本触发集。)
-/** 这一帧是不是「host lane 的模型推进」= 扣留帧的放行信号。 */
 export function isHostProgressFrame(ev) {
     return ((ev.type === 'text_delta' || ev.type === 'reasoning_delta' || ev.type === 'tool_start') &&
         ev.parentToolCallId === undefined);
 }
-// ── 件 B(#323 症状②):用户中断批的呈现向文案归一 ────────────────────────────────────────────
-/**
- * 这次 flush 的**出口**带不带「用户要停」的证据。两条腿各自是**结构事实**,都不是猜:
- *   ① **wire 终帧腿**:`failed.errorCode === "cancelled"`(server cancel settle 契约)/ durable 腿
- *      同码骑在 `done.result.errorCode` 上(终态投影表 `terminalToSdkResult` 头注的同一格)。
- *      壳侧实证:Esc 的默认臂之外还有一发 best-effort `POST /v1/runs/:id/cancel`,run 就是这么
- *      结算的 —— 所以「这一批 abort 帧属于一次取消」在 wire 上有据可查。
- *   ② **宿主腿**:`ctx.signal.aborted`。这个 signal 是宿主的 turn 中断信号,壳侧唯一 abort 源是
- *      用户按 Esc(`abortController.abort('user-cancel')`),web/desktop 同位。它是**宿主事实**
- *      而非帧事实,所以只在**收口出口**读(源流已经走完/终帧已到),不在流中途读。
- * 🔴 两腿都不命中 ⇒ 没有中断证据 ⇒ 文案一个字节不改(诚实缺席,不靠猜)。
- */
 function isUserInterruptTerminalOrSignal(ev, signal) {
     if (signal?.aborted === true)
         return true;
@@ -304,23 +92,10 @@ function isUserInterruptTerminalOrSignal(ev, signal) {
         return ev.errorCode === RUN_CANCELLED_ERROR_CODE;
     }
     if (ev.type === 'done') {
-        // 0.60.0:cancel settle 的码在因由形下**结构上属于失败臂**(`terminal.failed.code`);扁平形
-        // 回放的历史行仍把它平铺在 `errorCode` 上 —— 两代都由 `runTerminalCode` 归一。
         return runTerminalCode(readRunTerminal(ev.result)) === RUN_CANCELLED_ERROR_CODE;
     }
     return false;
 }
-/**
- * 呈现向改写的**帧级**准入(与出口级证据合取)。三条,全是不放宽的精确判据:
- *   ① 文案**精确等于** {@link ENGINE_ABORT_TOOL_RESULT}(6.0.0 的块数组形先经 `toolEndOutputText`
- *      归一)—— `"operation aborted before execution"`(连坐旁观者:从未执行)与
- *      `interrupted_never_started` 族**刻意不进本臂**:core 显式拒绝合并两串向([4973]),
- *      两串各承真语义,它们各自的文案/折叠语义已在别处成立,并进来 = 把两个语义压成一个。
- *   ② `errorCode !== "gate.parked"`:机读位在场时,**门语义帧一票否决** —— 那是「门把这次调用
- *      park 了」,不是「用户按了 Esc」。⚠️ 这一票**只在 ①/② 两腿证据下投**:见
- *      `allowGateParked` 与 {@link flushHeldWithInterruptRewrite} 头注的两模判词。
- *   ③ `isError === true`:呈现向的中断形长在报错卡那一路(壳 `UserToolErrorMessage` 的判据位)。
- */
 function isUserInterruptRewritable(ev, allowGateParked) {
     if (ev.isError !== true)
         return false;
@@ -329,30 +104,7 @@ function isUserInterruptRewritable(ev, allowGateParked) {
     }
     return toolEndOutputText(ev.output) === ENGINE_ABORT_TOOL_RESULT;
 }
-/**
- * `led.flushHeld()` 的**唯一**排水出口包装:用户中断批把毒化帧的 `output` 归一成 CC 的中断形
- * ({@link HITL_INTERRUPT_MESSAGE_FOR_TOOL_USE}),其余一切原样。
- *
- * ── 判词(两模,别合并;方向一律 fail-safe:证据不足就走原路)──────────────────────────────
- *  · **模 A —— 纯用户中断批**(证据 = cancel 终帧码 / 宿主 `signal.aborted`):要求 **本批零 park
- *    登记**(`hasBatchPark() === false`),且帧上 `errorCode !== "gate.parked"`。两道门都是同一件事
- *    的两个面 ——「这一批背后没有任何门」才谈得上纯中断;有门而我们只看见 abort 帧 = 判不出,不改。
- *  · **模 B —— 门被用户中断**(证据 = {@link HeldFlushInterruptEvidence.gateAbortedByUser}):
- *    park 在场是**前提**而不是障碍,所以模 A 的两道门在这一模下**都让位** —— 包括
- *    `gate.parked` 那一票。理由:该码回答的是「这次调用为什么中止 =被门 park 了」,回答不了
- *    「这一批为什么收场 = 用户按了 Esc」,两者正交;拿它做否决会把这一格里**最该显形的那张
- *    主角卡**留成红 `Error: Operation aborted`(真机复现:审批卡挂着按 Esc,主角与连坐帧同文案)。
- * 🔴 **gate deny 语义零变**:deny 走的是 `decided` 分支(→ 续流重放 → `denied-call`/`deny-stamp-next`
- *    两臂 stamp CC REJECT 文案),那两臂排在 hold-poison **之前**、帧根本不进扣留表,本包装够不着。
- *    fail-soft 的其余原因(no_pending / 传输失败 / hop 用尽)三腿全不命中 ⇒ 诚实红照旧。
- *
- * 🔴 **只改 `output` 一个键**:`isError` / `errorCode` / `toolCallId` / `toolName` / `gate` /
- * `delivered` / `gatedCallId` / `structured` 以及 `flushHeld` 自己盖的
- * `_sema_collateral_abort` 机读位全部原样过境(展开赋值只覆盖 `output`)—— 端侧的连坐折叠锚的是
- * 机读位不是文案,所以折叠语义不受影响,只是被折那一行的正文换成了 CC 中断形。
- */
 export function* flushHeldWithInterruptRewrite(led, evidence) {
-    // 🔴 读位必须在 flushHeld **之前**求值:那一拍尾部 `retireBatchState()` 会把批级计数清零。
     const gateAborted = evidence.gateAbortedByUser === true;
     const rewrite = gateAborted
         ? true
@@ -365,11 +117,6 @@ export function* flushHeldWithInterruptRewrite(led, evidence) {
         yield { ...ev, output: HITL_INTERRUPT_MESSAGE_FOR_TOOL_USE };
     }
 }
-/**
- * 🔴 **有序**(承重):分类器批3([907])的注释原文 = 「结构性识别(core 机器签名)优先于 fs
- * HOLD/REJECT 分支(签名比"fs 写报错"更特定;分类器 deny 从不产 tool_approval 帧,denied /
- * denyStamp 与之互斥)」。顺序作为数据写在这里,下方加载期断言把它与 `TOOL_END_ARMS` 钉死。
- */
 const TOOL_END_ARM_ORDER = [
     'classifier-deny',
     'deny-stamp-next',
@@ -377,15 +124,8 @@ const TOOL_END_ARM_ORDER = [
     'hold-poison',
     'generic-close',
 ];
-/**
- * tool_end 的**有序**臂表:自上而下第一个返回动作的臂胜出。顺序 = 原文 5 条分支的书写顺序,
- * 由 `TOOL_END_ARM_ORDER` + 下方加载期断言锁死(改这张表的顺序必须同批改那张表)。
- * 🔴 表尾 `generic-close` 是**无条件**兜底臂 —— 给它加早退条件 = tool_end 会被整帧静默丢弃。
- */
 const TOOL_END_ARMS = [
     {
-        // ① 分类器 deny 裁决帧:副作用 = CC 207 通知行 + Recent Denials 记账;render 面 stamp 去
-        //    system-reminder 包裹渲裁决原文(render-only,模型面原文不动)。
         id: 'classifier-deny',
         run(ev, callId, led) {
             if (ev.isError !== true || led.isDenied(callId))
@@ -395,14 +135,6 @@ const TOOL_END_ARMS = [
                 return undefined;
             led.markEnded(callId);
             led.dropHeld(callId);
-            // L-69⑨(0.52.0):把**这一只 call 的现场**一并交给宿主 —— 修前只给 `toolName`,于是端的
-            // Recent Denials 三行同名(三条被拒的 Bash 一个样)、retry 粒度只能落到「整个工具」。
-            // 🔴 args 是 **UNTRUSTED** wire 值:本层原样搬运(不渲不截不消毒),展示消毒归端。
-            // 🔴 args 取自**在飞表**(`noteStart`,每张 tool_start 都记、有界、收口即删)——`gatedStartArgs`
-            //    在这里读不到:分类器 deny 的工具通常**没被 gate**(引擎侧分类器直接 block,一张
-            //    tool_approval 帧都不出),那张表里根本没有它。
-            // 🔴 缺席不铸键(`exactOptionalPropertyTypes`):台账里没有 ⇒ `ctx` 只带 `toolCallId`,
-            //    端读到的是诚实缺席,不是「args 是 undefined」。
             const startArgs = led.startArgs().get(callId);
             surfaceForCurrentSession()?.surfaceClassifierDeny(typeof ev.toolName === 'string' ? ev.toolName : 'tool', verdict, { toolCallId: callId, ...(startArgs !== undefined ? { args: startArgs } : {}) });
             hostLog('debug', `liveHitlAskWire: classifier deny verdict on ${callId} (${String(ev.toolName)}) — labeled render + notice`);
@@ -410,14 +142,8 @@ const TOOL_END_ARMS = [
         },
     },
     {
-        // ② 同步帧腿 deny 且 callId 没关联上:下一张 gated 报错帧即该 gate 的收口帧,stamp REJECT 文案。
-        //    #110:stamp 也要盖 shell —— 否则按 No 时用户看到的是引擎原文 `Operation aborted`。
-        //    [2393] hitl-F1:改用 `isGatedToolEnd`(名字腿 ∪ abort 标记腿)—— 一等 kind gate 的
-        //    收口帧名字腿认不出,不盖它 = 用户按了 No 却看到引擎原文。
         id: 'deny-stamp-next',
         run(ev, callId, led) {
-            // 🔴 窄口(件⑤/四审 finding①):这条记号是**一次性 + 位置性**的,超集谓词会让连坐旁观者
-            //    抢走它 —— 理由见 `isDenyStampCandidate` 头注。
             if (ev.isError !== true || !isDenyStampCandidate(ev) || led.isDenied(callId))
                 return undefined;
             if (!led.takeDenyStamp())
@@ -428,7 +154,6 @@ const TOOL_END_ARMS = [
         },
     },
     {
-        // ③ 三选卡 No:重放的报错帧 stamp REJECT 文案 → vendored 卡渲 `User rejected <op> to <path>`。
         id: 'denied-call',
         run(ev, callId, led) {
             if (ev.isError !== true || !isGatedToolEnd(ev))
@@ -441,33 +166,17 @@ const TOOL_END_ARMS = [
         },
     },
     {
-        // ④ [2084]①-b HOLD 谓词收窄(2026-07-30,desktop 复审建议采纳):park 毒化帧的载体是**确切的
-        //    引擎 abort 标记**(core 对被 gate/连坐 abort 的 call 铸 `tool_end{isError:true,
-        //    output:"Operation aborted"}`;desktop session-host 2026-07-29 对真引擎实测同款)。普通
-        //    工具错(old_string 不命中/read-gate 拒绝…)输出是各自的错误文案,**根本不该进 HOLD**
-        //    —— 收窄后它们零滞后直达转录(落到 ⑤ 通用收口),不再依赖「推进信号放行」。
         id: 'hold-poison',
         run(ev, callId, led) {
             if (ev.isError !== true || !isGatedToolEnd(ev))
                 return undefined;
-            // 件⑤(2026-08-22,[4970] 真机 RED):判据 = `isEngineAbortToolEnd` 的**双判据**(机读码
-            // `gate.parked` ∪ 那条确切串)。此前只有后者,而 core 对**被连坐的旁观者**铸的是
-            // `"operation aborted before execution"` —— 于是连坐帧恰好全不进 HOLD(当场上屏 + 被 ⑤ 臂
-            // 记 ended 吃掉重放的真结果),#324 的机读位在现网一次都没出现过。适用域与不放宽的理由
-            // 见该函数头注;6.0.0 wire 的 content-block 数组形由 `toolEndOutputText` 归一后仍做精确等值。
             if (!isEngineAbortToolEnd(ev))
                 return undefined;
-            // #324 换锚(2026-08-22):这一拍**不判出身**。durable park 腿的帧序是
-            // `tool_start → tool_end(毒化) → done{suspended}` —— gate 身份晚于本帧到达,此刻任何判词
-            // 都是猜的(名字腿猜法被双向证伪:一等 kind gate 的主角判成连坐、同族兄弟两个都判成主角)。
-            // 出身改在 `flushHeld` 当拍按**已登记的主角身份**求值,判据供给见 `gateLedger.noteGateSubject`。
             led.hold(callId, ev);
-            return { kind: 'skip' }; // park 毒化帧,先 HOLD(gate 定性前不渲 Error 卡)
+            return { kind: 'skip' };
         },
     },
     {
-        // ⑤ 通用收口(**无条件命中**,兜底臂):正常收口(重放的 isError:false 解答帧)赢;已作答的
-        //    gate 在这里把真实答案 stamp 回 `structured`,否则卡片渲成结果不可用。
         id: 'generic-close',
         run(ev, callId, led) {
             led.markEnded(callId);
@@ -475,15 +184,12 @@ const TOOL_END_ARMS = [
             const answered = led.answerFor(callId);
             if (answered && ev.isError !== true && ev.structured === undefined) {
                 led.dropAnswer(callId);
-                return { kind: 'yield', events: [{ ...ev, structured: answered }] }; // 真实答案卡
+                return { kind: 'yield', events: [{ ...ev, structured: answered }] };
             }
             return { kind: 'yield', events: [ev] };
         },
     },
 ];
-// 🔴 顺序锁(SPLIT-12 硬约束):注册表化把「顺序」从代码位置搬成了数据,于是顺序本身需要一条断言。
-// 加载期求值 —— 重排 `TOOL_END_ARMS` 而没同批改 `TOOL_END_ARM_ORDER` 的那次 import 当场抛,
-// 而不是等到某个 Bash gate 的毒化帧在用户屏上停住才发现。
 {
     const actual = TOOL_END_ARMS.map(a => a.id).join(' > ');
     const expected = TOOL_END_ARM_ORDER.join(' > ');
@@ -493,35 +199,14 @@ const TOOL_END_ARMS = [
             '改顺序必须同批改 TOOL_END_ARM_ORDER 并说明为什么新顺序仍然对。');
     }
 }
-// ── 帧手柄 ────────────────────────────────────────────────────────────────────────────────────
 async function routeToolApprovalFrame(ev, ctx) {
-    // ── server 1.191 同步帧腿([830]①):`tool_approval` 帧 → 三选卡 → respond ────────────────
-    // 引擎此刻同步阻塞在帧上(fail-closed:无 respond/TTL 5min/abort ⇒ deny),await 卡决断安全。
-    // 帧是 HITL 词汇非 AgentEvent arm——两种帧都不外泄到渲染管道。
     const { led, deps } = ctx;
     if (ev.type === 'tool_approval_complete')
-        return { kind: 'skip' }; // 收口帧:卡已由决断路径撤下,吞掉
-    // 🔴 #324:本臂**刻意不给连坐判别子供证**(异源对抗复审四轮的收口,2026-08-22)。
-    //    帧只证明「本 turn 出现过一张 gate」,证明不了「**这一批** abort 帧属于它」—— 那张 gate
-    //    可能早已正常收口(零毒化帧 ⇒ 零扣留表 ⇒ 一次 flush 都不跑),证却会活到下一批派错判词。
-    //    三条实测假阳(旧 server 双主角 / 零 HOLD 审批证跨批 / 历史身份跨批)都出自帧腿取证。
-    //    判别子只认 park(归属可结构性证明,见 `gateLedger.noteParkGate` 头注);同步帧腿一律
-    //    不标 —— 诚实缺席,登记在 §3z 已知局限。
+        return { kind: 'skip' };
     if (!deps.respondToolApproval) {
         hostLog('debug', `liveHitlAskWire: tool_approval frame ${ev.approvalId} but no respond wire — engine self-settles (TTL deny)`);
         return { kind: 'skip' };
     }
-    // 补验批 askq 案定谳(2026-07-23,[1534],引擎 dist 逐坐标读定):core 的 durable
-    // question policy 对 AskUserQuestion 出 action:"ask",本意让 durable gate park(suspended
-    // → 下方 bridge 弹卡收答);但 core suspendAsk 的退位条件(safety 缺席 + onAsk 在场)
-    // 把问题门也抢进了同步审批帧腿(壳为 fs 写权限三选卡开的 TOOL_APPROVAL_ENABLED)——同步帧
-    // 二值 respond 装不下「答案」,链路死锁:deny=模型误信问题已展示原地等;allow=执行工具
-    // 本体炸 durable 装配的 onQuestion 占位(QUESTION_AWAITS_RESUME)。此处取两害之轻恒 allow:
-    // 模型收到明确错误后退化成正文提问,用户尚可下一条消息作答(deny 形连这条退化路都没有)。
-    // 承重域收敛史([1543]§一 cli 注意):core 1.375 修 question gate 恒 park(健康路),
-    // 1.376 又断了降级路(checkpoint pre-commit/put 失败 fallback 改 typed refusal)与继承链
-    // 两臂——1.376+ 下 ask 工具在任何路径都不再出 tool_approval 帧,本分支唯一剩余承重
-    // = 旧引擎(<1.375)兼容,askq pty fence @1.375+ 已四门全绿实证([1542])。
     if (isAskToolLoose(ev.toolName)) {
         try {
             await deps.respondToolApproval(ev.approvalId, 'allow', {
@@ -534,18 +219,11 @@ async function routeToolApprovalFrame(ev, ctx) {
         }
         return { kind: 'skip' };
     }
-    // [1535]/server 1.258:子代的审批帧(broker 腿浮到宿主流,判别=fromSubagent 显式键
-    // core 1.378 优先/sourceTaskId 在场性兜底)——子代的 tool_start 不在宿主行流上,绝不把
-    // 宿主自己的 pending fs call 关联给它(args 会错配成宿主的 diff、deny 会误标宿主 call 的
-    // REJECT 收口)。args 从帧上取,deny 收口归子代 lane 自理。
     const fromSubagent = isFromSubagent(ev);
     hostLog('debug', `liveHitlAskWire: tool_approval frame ${ev.approvalId} tool=${String(ev.toolName)}${fromSubagent ? ` from-subagent=${String(ev.sourceTaskId ?? ev.sourceAgentName ?? 'explicit')}` : ''}`);
     const gatedCallId = !fromSubagent ? led.lastPendingFsCall() : undefined;
-    // FIX①(2026-08-07):产物是 `{decision, ack?}` —— ack 上的 `rememberApplied`/`updatedInputForwarded`
-    // 由 toolApprovalWire 就地收敛成宿主通知(本路由只认决断词,不重复解释 ack)。
     const outcome = await surfaceToolApprovalFrameAndRespond(ev, deps.respondToolApproval, argsOfGatedStart(led, gatedCallId), ctx.signal, deps.approvalLane);
     const { decision } = outcome;
-    // 0.74.1(CC-68):结局交回宿主(fail-soft:宿主的回调 bug 不许拆流)。
     if (deps.onToolApprovalOutcome !== undefined) {
         try {
             const out = deps.onToolApprovalOutcome(ev, outcome);
@@ -556,12 +234,10 @@ async function routeToolApprovalFrame(ev, ctx) {
             }
         }
         catch (e) {
-            // 宿主回调的异常不许拆帧路由;留痕走 hostLog。
             hostLog('debug', `liveHitlAskWire: onToolApprovalOutcome threw: ${String(e).slice(0, 160)}`);
         }
     }
     if (decision === 'deny' && !fromSubagent) {
-        // 该 call 的报错收口帧 stamp REJECT 文案(vendored `User rejected <op> to <path>` 卡)。
         if (gatedCallId !== undefined)
             led.markDenied(gatedCallId);
         else
@@ -570,25 +246,13 @@ async function routeToolApprovalFrame(ev, ctx) {
     return { kind: 'skip' };
 }
 function routeToolStart(ev, callId, led) {
-    // L-69⑨(0.52.0):**所有** tool_start 都留一份 args 快照(有界在飞表,收口即删)。
-    // 🔴 与下面那张 gated 表刻意**不合表**:「表里有」绝不等于「被 gate 过」——两张表的成员关系、
-    //    生命周期、容量纪律都不同(逐条理由见 `gateLedger.ts` 的 `noteStart` 头注)。
-    //    这一份服务的是分类器 deny 这类**没走 gate**的收口现场(gated 表里根本没有它们)。
-    // 🔴 **必须排在 `markStarted` 闸之前**(异源对抗复审 R1 finding② 采纳):那道闸是**渲染**去重
-    //    (durable 重放的已渲 call 不再上屏),而记账不是渲染。排在闸之后 ⇒ 重放帧一律早退 ⇒
-    //    `noteStart` 的「先删再写」刷新在**生产路径上永远走不到**,只有直调台账的测试碰得着;
-    //    而重放恰恰是被有界表淘汰过的那些 call 唯一一次把快照拿回来的机会。
     led.noteStart(callId, ev);
     if (!led.markStarted(callId))
-        return { kind: 'skip' }; // durable 重放的已渲 call
+        return { kind: 'skip' };
     if (isGatedToolName(ev.toolName)) {
-        // #110:Bash 也要记 args —— 卡片渲染要拿到 `command`,不记则 shell gate 的卡面空着。
         led.noteGatedStart(callId, ev);
         if (typeof ev.toolName === 'string' && toolNameIsFsWrite(ev.toolName))
             led.pushFsCall(callId);
-        // REF-CC-034:`park.gate==='fs'` 分支覆盖 fs 写 + shell 执行两族(isToolApprovalGate
-        // 超集谓词)——`lastFsOrShellGatedCallId` 两族都要跟,否则 Bash gate 的已决断身份
-        // 候选恒 undefined。与 `pushFsCall` 不同,它不在 tool_end 到达时清空(见台账声明处注)。
         if (typeof ev.toolName === 'string' && (toolNameIsFsWrite(ev.toolName) || toolNameIsShellExec(ev.toolName))) {
             led.noteFsOrShellGate(callId);
         }
@@ -597,35 +261,20 @@ function routeToolStart(ev, callId, led) {
 }
 function routeToolEnd(ev, callId, led) {
     if (led.isEnded(callId)) {
-        // L-69⑨(0.52.0):已收口的 call **无论走哪条路**都不该留在在飞表里。这一行是上面
-        // 「noteStart 排在渲染去重闸之前」的对偶:durable 重放会把 start 再送一遍(于是快照被重新
-        // 加回来),而重放的 end 在这里早退 ⇒ 少了这一行,那一条就要一直挂到被容量淘汰为止。
         led.dropStartArgs(callId);
-        return { kind: 'skip' }; // durable 重放/park 复写的已收口 call
+        return { kind: 'skip' };
     }
     led.dropFsCall(callId);
     for (const arm of TOOL_END_ARMS) {
         const action = arm.run(ev, callId, led);
         if (action) {
-            // L-69⑨(0.52.0):在飞窗到此为止 —— 收口帧已经判完(臂**在这一行之前**跑,分类器 deny 臂
-            // 因此还读得到 args),这一条快照从此没有消费者。
-            // 🔴 释放点必须在**臂之后**:挪到循环之前 ⇒ deny 臂拿到的恒是缺席(修前形);挪到 `return`
-            //    的调用方 ⇒ 五条臂各自 return,释放就要抄五遍(而漏抄的那条就是泄漏点)。
             led.dropStartArgs(callId);
             return action;
         }
     }
-    // 不可达:兜底臂 generic-close 无条件命中。真走到这里 = 有人给它加了早退条件,
-    // 那样 tool_end 会被整帧静默丢弃(用户看不到任何收口),必须当场喊出来而不是 `skip`。
     throw new Error('frameRouter: tool_end 有序臂全部落空 —— generic-close 不再是无条件兜底臂');
 }
 function routeSuspended(ev, ctx) {
-    // durable leg 的 park arm(续流中模型再次提问/再次撞写权限)。gate 只带 kind/toolName,
-    // payload 走 approvals。
-    // 🔴 两条 park 臂都要登记(判别子的归属证据只认 park)—— ask park 自己用不到兜底腿,
-    //    但它必须把**上一张** gate 的准入证清掉,否则旧证会让兜底把一个 Bash 连坐帧反认成主角、
-    //    再把真正的 ask 主角 stamp 掉(对抗复审实测 `ask-main=STAMP`)。
-    // [4914]:durable `suspended` 事件的待批 call 身份就挂在 `gate` **旁**(不是 gate 里)。
     const gatedCallId = parkGatedCallId(ev);
     if (ev.gate && isAskToolLoose(ev.gate.toolName) && ctx.taskId.current) {
         ctx.led.noteParkGate({ fsOrShellFamily: false });
@@ -634,32 +283,21 @@ function routeSuspended(ev, ctx) {
     if (ev.gate &&
         isToolApprovalGate(ev.gate) &&
         ctx.taskId.current) {
-        // 准入证:park 的 gate 本体属 fs/shell 族(kind-only gate 的 toolName 在族外 ⇒ 不发证)。
         ctx.led.noteParkGate({ fsOrShellFamily: isFsOrShellToolName(ev.gate.toolName) });
         return { kind: 'park', gate: 'fs', ...(gatedCallId !== undefined ? { gatedCallId } : {}) };
     }
-    // 其余 gate:透传。⚠️ ADAPTER-F8 注纠(2026-08-02):原文写「eventToSdkMessage 出 null」——
-    // 那个返回形已随 REF-CC-058 退役,今天它出的是 `EventProjection` 三态,永不是 null;本臂的
-    // 帧走到投影器时落 `none/hitl_out_of_slice`(HITL 登记是 run driver 的活,不在投影切片内)。
     return { kind: 'yield', events: [ev] };
 }
 function routeDone(ev, ctx) {
     const { led } = ctx;
-    // [4914]:sync 腿的待批 call 身份在 `done{suspended}` 的 **result 顶层**(与 checkpointId 同位)。
     const gatedCallId = parkGatedCallId(ev.result);
-    // 两条 park 臂都登记(理由同 routeSuspended)。
     const park = parkGateOf(ev.result);
     if (park !== null) {
         ctx.taskId.current = ctx.taskId.current ?? park.taskId;
-        // 准入证:主语是**门本体**的 toolName,不是任何 tool_end 帧的(ask 臂恒 false —— 问答门不属
-        // fs/shell 族)。
         led.noteParkGate({ fsOrShellFamily: park.gate === 'fs' && isFsOrShellToolName(park.toolName) });
         return { kind: 'park', gate: park.gate, pendingDone: ev, ...(gatedCallId !== undefined ? { gatedCallId } : {}) };
     }
-    // 真错(非 gate)的 Ask tool_end 此刻诚实渲染;件 B:纯用户中断批在这个出口把文案归一成 CC 中断形。
     const events = [...flushHeldWithInterruptRewrite(led, { terminal: ev, signal: ctx.signal })];
-    // durable 终帧的 result.taskId === sessionId(引擎 durable quirk)会让 captureSessionId 跳过
-    // rewind 绑定 —— 用 sync leg 捕的真 handle 修正回去。
     const r = ev.result;
     const realTaskId = ctx.taskId.current;
     if (realTaskId && r && r.taskId === r.sessionId && r.taskId !== realTaskId) {
@@ -670,18 +308,9 @@ function routeDone(ev, ctx) {
     }
     return { kind: 'end', events };
 }
-/**
- * 一帧 → 一个处置。手柄的**先后**与原文逐条同序:tool_approval 帧 → tool_start → tool_end →
- * suspended → done → failed → 透传。
- */
 export async function routeFrame(ev, ctx) {
     const { led } = ctx;
     if (isToolApprovalFrame(ev)) {
-        // #51: `ToolApprovalFrame` frames are documented as NOT part of the
-        // `AgentEvent` union (a separate SSE wire vocabulary riding the same
-        // stream) — intersecting the type-predicate's asserted type with the
-        // unrelated `AgentEvent` union collapses every arm to `never`. Local
-        // rebind restores the real (already-checked) shape.
         const frame = ev;
         return await routeToolApprovalFrame(frame, ctx);
     }
@@ -693,7 +322,6 @@ export async function routeFrame(ev, ctx) {
         return routeSuspended(ev, ctx);
     if (ev.type === 'done')
         return routeDone(ev, ctx);
-    // 件 B:cancel settle 的终帧(`failed{errorCode:"cancelled"}`)就是「用户要停」的 wire 证据。
     if (ev.type === 'failed') {
         return { kind: 'end', events: [...flushHeldWithInterruptRewrite(led, { terminal: ev, signal: ctx.signal }), ev] };
     }