@sema-agent/client-core 0.77.1 → 0.77.2

package/dist/hitl/gateIdentity.d.ts

@@ -1,46 +1,7 @@
-/**
- * gateIdentity.ts — HITL 决断卡**身份键**的唯一铸口(A-028.3,#244 族A 包半场,2026-08-12)。
- *
- * 为什么要有它:三条身份键字面此前散在三处各铸各的 ——
- *   · `parkResolver.ts` 铸 `hitl-ask:${gatedCallId ?? taskId}`(overlay 问答帧 id);
- *   · `toolApprovalWire.ts` 铸 `gatedCallId ?? taskId`(durable 腿卡口 callKey)与
- *     `hitl-frame:${approvalId}`(live 帧腿 callKey);
- *   · `planReviewWire.ts` 铸 `plan-review:${taskId}`(module 私有,壳侧只能人肉抄字面对齐)。
- * 消费方(呈现台账 `armedGateRegistry` 的键归一、壳侧重开腿)靠「与铸口逐字对齐」的注释纪律
- * 活着 —— 漂一个字节,首见/复见判决就静默失真。本文件把全部字面收成单源:铸口 import 这里,
- * 台账的键推导也 import 这里,两边在结构上不可能再漂。
- *
- * 🔴 **声明边界(web [C1] d3 拦截跟修,2026-08-12)**:上句「全部字面」只指 **HITL 决断卡的
- * questionId / callKey 键空间**(本文件四常量两函数)。`seatContract.ts` 的
- * `TOOL_PERMISSION_REQUEST_ID_DOMAINS`(`live:`/`durable:`/`question:`/`elicit:`/`plan:`)是
- * **另一个键空间** —— 座位 `ToolPermissionRequest.requestId` 的路由域词表,出站校验器按它
- * fail-close。两空间零重叠、各自单源,**绝不合并**:把 `plan-review:`(本文件)与 `plan:`
- * (seat 域)字面归一会让座位校验器静默拒掉全部 plan-review 卡(web 按 [C161]-d3 原文施工时
- * 当场拦下的真回归形)。
- *
- * 🔴 零 import 纯函数叶(portability:不进任何闭包新边;index 闭包 +1 文件已登记)。
- */
-/** plan_review 审批卡的合成 questionId 前缀(`planReviewWire` 首次 arm 与重开腿共用)。 */
 export declare const PLAN_REVIEW_QUESTION_ID_PREFIX = "plan-review:";
-/** 重开腿铸新身份的尾分隔符(`…#reopen-<suffix>`);键归一时从这里剥尾,首呈与重开落同一键。 */
 export declare const REOPEN_ID_TAIL = "#reopen-";
-/**
- * durable 审批腿的卡身份键(`toolApprovalWire` 卡口 / own-run 台账同域):
- * gate 绑定的 callId 优先,行没带 callId 时退 taskId。
- */
 export declare function approvalCallKey(gatedCallId: string | undefined, taskId: string): string;
-/** ask-gate overlay 帧 id(入参 = {@link approvalCallKey} 的产出)。 */
 export declare function askGateQuestionId(callKey: string): string;
-/** plan_review 审批卡的合成 questionId(首次 arm 的 canonical 身份;重开腿在其后接 {@link REOPEN_ID_TAIL})。
- *  A-028.3:此前是 `planReviewWire.ts` 的 module 私有函数,壳侧重开腿只能手抄字面 —— 现转公面单源。 */
 export declare function planReviewQuestionId(taskId: string): string;
-/** live `tool_approval` 帧腿的卡口 callKey(`toolApprovalWire.surfaceToolApprovalFrameAndRespond`)。 */
 export declare function liveFrameCallKey(approvalId: string): string;
-/**
- * question 帧 id → 呈现台账键的归一(armedGateRegistry 的键推导):
- *   · `hitl-ask:X` → `X`(ask 帧的台账键 = 卡口 callKey,与 durable 腿卡的键同域);
- *   · `…#reopen-<suffix>` 尾剥掉(重开铸的新身份归一到原键,首呈与重开同键);
- *   · `plan-review:<taskId>` **保留前缀**(plan 键与「taskId 直接作 ask 键」永不撞域);
- *   · 不认识的形原样入册(未来新 id 形至多多占一个键,不误伤既有词汇)。
- */
 export declare function armedKeyFromQuestionId(questionId: string): string;

package/dist/hitl/gateIdentity.js

@@ -1,60 +1,19 @@
-/**
- * gateIdentity.ts — HITL 决断卡**身份键**的唯一铸口(A-028.3,#244 族A 包半场,2026-08-12)。
- *
- * 为什么要有它:三条身份键字面此前散在三处各铸各的 ——
- *   · `parkResolver.ts` 铸 `hitl-ask:${gatedCallId ?? taskId}`(overlay 问答帧 id);
- *   · `toolApprovalWire.ts` 铸 `gatedCallId ?? taskId`(durable 腿卡口 callKey)与
- *     `hitl-frame:${approvalId}`(live 帧腿 callKey);
- *   · `planReviewWire.ts` 铸 `plan-review:${taskId}`(module 私有,壳侧只能人肉抄字面对齐)。
- * 消费方(呈现台账 `armedGateRegistry` 的键归一、壳侧重开腿)靠「与铸口逐字对齐」的注释纪律
- * 活着 —— 漂一个字节,首见/复见判决就静默失真。本文件把全部字面收成单源:铸口 import 这里,
- * 台账的键推导也 import 这里,两边在结构上不可能再漂。
- *
- * 🔴 **声明边界(web [C1] d3 拦截跟修,2026-08-12)**:上句「全部字面」只指 **HITL 决断卡的
- * questionId / callKey 键空间**(本文件四常量两函数)。`seatContract.ts` 的
- * `TOOL_PERMISSION_REQUEST_ID_DOMAINS`(`live:`/`durable:`/`question:`/`elicit:`/`plan:`)是
- * **另一个键空间** —— 座位 `ToolPermissionRequest.requestId` 的路由域词表,出站校验器按它
- * fail-close。两空间零重叠、各自单源,**绝不合并**:把 `plan-review:`(本文件)与 `plan:`
- * (seat 域)字面归一会让座位校验器静默拒掉全部 plan-review 卡(web 按 [C161]-d3 原文施工时
- * 当场拦下的真回归形)。
- *
- * 🔴 零 import 纯函数叶(portability:不进任何闭包新边;index 闭包 +1 文件已登记)。
- */
-/** overlay 问答帧的 ask-gate 命名空间前缀(`parkResolver.surfaceGateAndDecide` 合成帧 id 用)。 */
 const HITL_ASK_QUESTION_ID_PREFIX = 'hitl-ask:';
-/** plan_review 审批卡的合成 questionId 前缀(`planReviewWire` 首次 arm 与重开腿共用)。 */
 export const PLAN_REVIEW_QUESTION_ID_PREFIX = 'plan-review:';
-/** live `tool_approval` 帧腿的卡口 callKey 前缀(帧上无 gatedCallId 可对齐,以 approvalId 铸)。 */
 const HITL_FRAME_CALL_KEY_PREFIX = 'hitl-frame:';
-/** 重开腿铸新身份的尾分隔符(`…#reopen-<suffix>`);键归一时从这里剥尾,首呈与重开落同一键。 */
 export const REOPEN_ID_TAIL = '#reopen-';
-/**
- * durable 审批腿的卡身份键(`toolApprovalWire` 卡口 / own-run 台账同域):
- * gate 绑定的 callId 优先,行没带 callId 时退 taskId。
- */
 export function approvalCallKey(gatedCallId, taskId) {
     return gatedCallId ?? taskId;
 }
-/** ask-gate overlay 帧 id(入参 = {@link approvalCallKey} 的产出)。 */
 export function askGateQuestionId(callKey) {
     return `${HITL_ASK_QUESTION_ID_PREFIX}${callKey}`;
 }
-/** plan_review 审批卡的合成 questionId(首次 arm 的 canonical 身份;重开腿在其后接 {@link REOPEN_ID_TAIL})。
- *  A-028.3:此前是 `planReviewWire.ts` 的 module 私有函数,壳侧重开腿只能手抄字面 —— 现转公面单源。 */
 export function planReviewQuestionId(taskId) {
     return `${PLAN_REVIEW_QUESTION_ID_PREFIX}${taskId}`;
 }
-/** live `tool_approval` 帧腿的卡口 callKey(`toolApprovalWire.surfaceToolApprovalFrameAndRespond`)。 */
 export function liveFrameCallKey(approvalId) {
     return `${HITL_FRAME_CALL_KEY_PREFIX}${approvalId}`;
 }
-/**
- * question 帧 id → 呈现台账键的归一(armedGateRegistry 的键推导):
- *   · `hitl-ask:X` → `X`(ask 帧的台账键 = 卡口 callKey,与 durable 腿卡的键同域);
- *   · `…#reopen-<suffix>` 尾剥掉(重开铸的新身份归一到原键,首呈与重开同键);
- *   · `plan-review:<taskId>` **保留前缀**(plan 键与「taskId 直接作 ask 键」永不撞域);
- *   · 不认识的形原样入册(未来新 id 形至多多占一个键,不误伤既有词汇)。
- */
 export function armedKeyFromQuestionId(questionId) {
     const base = questionId.startsWith(HITL_ASK_QUESTION_ID_PREFIX)
         ? questionId.slice(HITL_ASK_QUESTION_ID_PREFIX.length)

package/dist/hitl/gateLedger.d.ts

@@ -1,37 +1,5 @@
-/**
- * gateLedger — HITL gate 桥的**单一台账**(REF-CC-032 / SPLIT-12 第一刀,2026-08-02)。
- *
- * 拆分动机(P1 lens-giant-split SPLIT-12 的 evidence 段逐条):`bridgeAskUserQuestionGates`
- * 里的 8 个集合 + 若干标量,**内环帧路由**与**外环 park 决断**各自直写同一批容器 ——
- *   · `heldAskEnds` 写于内环 tool_end 手柄、删于内环四处 **与外环 decide 成功那一处**、drain 于 flushHeld;
- *   · `deniedCalls` 写于内环 tool_approval 手柄 **与外环 fs decide 的 denied 臂**、消费于内环 tool_end;
- *   · `resolvedAnswers` 写于**外环**、消费于**内环**;
- *   · `endedCalls` 写于内环四处 **与 flushHeld**。
- * 「同一个容器有两个写者、写法各自散着」正是这段代码没法拆的真约束。本文件把容器收成一个对象并
- * 给出**动词**:内外环从此都只经动词写,容器本身只有一个写者(本模块),两把刀之间靠显式传参共享
- * 这一个台账对象。
- *
- * 🔴 本模块**没有**模块级状态:`createGateLedger()` 每个 turn 造一份(与原来那些函数体内 `new Map()`
- *    的生命周期逐字相同)。它不是单例,也不该变成单例 —— 两个并发 turn 共用一份台账 =
- *    A turn 的 HOLD 帧被 B turn 的 flush 吐出去。
- *
- * 🔴 `AskAnsweredOutput` 落在本文件而不是留在 `askGateWire.ts`:它是 `resolvedAnswers` 的值类型,
- *    台账要能自描述,值类型必须与台账同层或更低。`askGateWire.ts` 原样 re-export 它,对外类型面不变。
- */
 import type { AgentEvent } from '@sema-agent/sdk';
-/**
- * 连坐 abort 帧的 additive 超集机读位(#324 / [4907] 裁定;登记见 `docs/type-superset.json`)。
- *
- * `flushHeld` 对**已知不是 gate 主角**的帧 stamp `true`,别的帧一个字节不改。消费方(壳 / web /
- * desktop)据此把连坐簇按 repeated-error 族软化折叠,**不猜文案**。
- *
- * 🔴 刻意**不动** `isError` 与 `output`:core 5.51 的 `[DEFERRED]` / `gate.batch_halted` 词汇
- *    ([4826]③)尚未到货,那一面的定形归 core;本键只是机读位,到货后与官方形对表,
- *    additive 键保留兼容(裁定原文)。
- */
 export declare const SEMA_COLLATERAL_ABORT_KEY = "_sema_collateral_abort";
-/** CC AskUserQuestion outputSchema 形状(答过的问题卡):toolResult 的 `ask-user-question` arm
- *  消费它渲真实答案卡(否则「诚实缺席」路径会把这张卡渲成结果不可用)。 */
 export interface AskAnsweredOutput {
     type: 'ask-user-question';
     questions: unknown[];
@@ -40,280 +8,45 @@ export interface AskAnsweredOutput {
         notes?: string;
     }>;
 }
-/**
- * 一个 turn 的 gate 台账。动词按「谁写、谁读」分组,每组的注释说明它承的是哪条不变量。
- *
- * 🔴 命名纪律:`mark*` = 只写;`is*` / `*For` / `last*` = 只读;`take*` = 读且消费(一次性);
- *    `drop*` = 只删。读写混合的动词只有 `take*` 与 `markStarted`,两者的一次性语义都写在各自注释里 ——
- *    因为原文里正是「`has` 完接着 `delete`」「`has` 完接着 `add`」这两种成对写法散在多处,
- *    收成一个动词才谈得上「写者唯一」。
- */
 export interface GateLedger {
-    /** #110 缺陷② a:`lastSeq` 要跟得上**已消费的最大 seq**。durable `runs.events` 流上并非每帧
-     *  都带 `id`(数字 `seq` 位的帧同样在场),旧式只吃 `ev.id` ⇒ 停在最后一个带 id 的帧上 ⇒
-     *  re-attach 从一个陈旧位置重放,把已经决断的 park 又送一遍(实测:消费到 16 却 attach from 8)。 */
     noteSeq(ev: AgentEvent): void;
     lastSeq(): string | undefined;
-    /**
-     * 🔴 **换挂到另一条 run 时,把「跟着 run 走」的那几格忘掉**(B-070 / L-200,0.65.x)。
-     *
-     * workflow 车道的 decide 受理形把续跑交给**宿主新铸**的 run(sdk README §9.0.0),于是同一本
-     * turn 级台账第一次要跨**两条 run** 活着。台账里有两类记账,它们的射程不同:
-     *
-     * **① 跟着 run 走 ⇒ 本动词清掉**:
-     *   · `lastSeq` —— durable seq 是 **per-run** 的序号,带着旧 run 的号去续读新 run 是跨命名空间
-     *     取数([same-name-different-meaning-crosses-layers]);
-     *   · **`markStarted` 的已渲 call 集**与**两张 args 快照表**(gated 的与在飞的)——
-     *     🔴 **这一条是安全格**(异源复审 [high] 实撞):`toolCallId` **不保证跨 run 唯一**,而
-     *     `routeToolStart` 在 `markStarted` 判重后**直接早退**(`skip`),`noteGatedStart` 不再执行。
-     *     ⇒ 新 run 复用同一个 callId 时,卡面渲的是**上一条 run 的入参快照**,而 decide 回显的是
-     *     **新 pending 行**的 D-1 绑定 —— 人看见 A、批准的是 B。这正是「两处各持一半事实」那一族
-     *     里代价最高的一格,所以换挂那一拍必须把这三张表一起清掉,让新 run 的 `tool_start`
-     *     重新走一遍完整的渲染 + 记账路径。
-     *
-     * **② 属于「这一只 ask 的历史」⇒ 刻意保留**(它们正是换挂的**理由**,清掉就自相矛盾):
-     *   · `decidedGates` / `lastFsOrShellGatedCall` —— 「这张 park 已经被决断过」的身份留痕,
-     *     #110 那条「重放的 park 不是失败」的判据靠它;
-     *   · 扣留帧表(`heldAskEnds`)—— 本 turn 尚未吐出的帧,「一帧不丢」靠它;
-     *   · 同因连续计数与批级判据 —— 它们数的是「这一只门重放了几次」,与流挂在哪条 run 上无关。
-     */
     forgetRunScopedState(): void;
-    /** 首见 ⇒ true(并记账);durable 重放的已渲 call ⇒ false。 */
     markStarted(callId: string): boolean;
-    /** 🔴 存 **tool_start 当拍的 `args` 快照**而非帧引用(与拆分前 `askArgsByCall` 逐字同语义;
-     *  对抗复审确证差异 #1 的收货修)——存帧引用意味着「上游在 yield 后改写 `ev.args`」会漂进
-     *  审批 payload,且台账持帧延长了整帧生命周期。载荷仍是 UNTRUSTED unknown,台账只搬运不解释。 */
     noteGatedStart(callId: string, ev: AgentEvent): void;
     gatedStartArgs(): ReadonlyMap<string, unknown>;
-    /**
-     * 每一张 `tool_start` 的 `args` 快照,**不论这只工具有没有被 gate**。
-     *
-     * 🔴 为什么必须与 {@link gatedStartArgs} **分成两张表**(而不是「合表 + 用有没有 args 判 gated」):
-     *    「被 gate 过」是**另一个集合**,两者的成员关系没有任何蕴含 —— 分类器 deny 的工具通常
-     *    **没有**被 gate(引擎侧分类器直接 block,一张 `tool_approval` 帧都不出),而 gate 过的工具
-     *    也可能整场没有 args。把「表里有这一条」读成「它被 gate 过」,等于拿一个搬运位当身份位
-     *    ([provenance-needs-wire-fact-not-inference] 同族);合表之后总有人会这么读,所以不合。
-     *    两表的**生命周期**也刻意不同,见下:
-     *      · {@link gatedStartArgs}:审批 payload 的一手源,**整个 turn 不删**(park / durable 重放
-     *        之后卡面还要读它),条目数被「真被 gate 的工具数」天然约束;
-     *      · 本表:每一张 tool_start 都进,所以**必须有界**(见 {@link START_ARGS_MAX_ENTRIES}),
-     *        且 `tool_end` 收口当拍就删(见 {@link dropStartArgs})—— 它只服务「这只 call 还没收口」
-     *        那段窗口内的消费者(今天唯一一个:分类器 deny 臂给宿主的 `ctx.args`)。
-     *
-     * 🔴 存的是 **tool_start 当拍的 `args` 快照**而非帧引用,理由与 {@link noteGatedStart} 逐字同款。
-     *    载荷是 **UNTRUSTED** wire 值:台账只搬运,不解释、不渲染、不截断。
-     */
     noteStart(callId: string, ev: AgentEvent): void;
-    /** 本 call 的 tool_start args 快照;没记过 / 已收口 / 已被有界淘汰 ⇒ 表里读不到。 */
     startArgs(): ReadonlyMap<string, unknown>;
-    /** `tool_end` 收口当拍释放这一条(在飞窗结束)。不在表里 ⇒ no-op。 */
     dropStartArgs(callId: string): void;
     isEnded(callId: string): boolean;
     markEnded(callId: string): void;
-    /**
-     * park 毒化的 gated tool_end(isError:true "Operation aborted")——HOLD 到 gate 定性
-     * (AskUserQuestion + [816] 放宽后的 fs 写工具 + [2150] Bash)。
-     *
-     * 🔴 **入表当拍不判出身**(#324 换锚,2026-08-22):durable park 腿的帧序是
-     * `tool_start → tool_end(毒化) → done{suspended}` —— gate 身份**晚于**毒化帧到达,入表那一拍
-     * 包层根本还不知道谁是主角。出身改在 {@link flushHeld} 当拍求值(五个 flush 出口全部晚于 park
-     * 被看见),判据见 {@link noteParkGate}。
-     */
     hold(callId: string, ev: AgentEvent): void;
     dropHeld(callId: string): void;
-    /**
-     * 件④([4933] 立案的存量根修,0.41.0):**决断成功**之后摘掉这张 park 主角的扣留帧。
-     *
-     * 🔴 与裸 {@link dropHeld} 的差别只有一个:**入参可信度**。内环那四个调用点摘的是**帧自己的**
-     * `toolCallId`(帧在手,身份无疑);而决断成功那一下,外环手上只有 `findPendingForTask` 给的
-     * callId —— 那是给**卡面渲染**用的宽口(同 taskId + 族谓词命中的**第一行**,谓词不命中还退
-     * 「任意行」),不是身份。同族多行排队时它可能指向旁观者,于是被摘掉的是**另一条** call 的
-     * 扣留帧,而那一帧从此不再吐:{@link flushHeld} 的「一帧不丢」在这一格上不成立
-     * (用户面 = dim 圆点永远等不到结果行)。
-     *
-     * 🔴 摘的**永远是真被决断的那一行**(`candidateCallId`);`trustedCallId` 的角色是**确证**,
-     * 不是第二个摘取目标 —— 两边指向不同 call 时摘谁都是 split-brain(决断绑一行、摘另一行的帧)。
-     *
-     * 两条腿:
-     *  ① `trustedCallId`(server ≥7.41.0 的 park 身份:`done{suspended}.result.toolCallId` /
-     *     durable `suspended` 事件 `gate` 旁同键,[4914])与 `candidateCallId` **相等** ⇒ 身份确证,
-     *     点名摘。取件腿今天已优先按同一个身份选行,所以正常路径上两者恒等;
-     *  ② 身份缺席(旧引擎 / tool-less park / 键畸形)或两者不等(身份在场但队列没有那一行 ⇒ 决断
-     *     落在别的行上)⇒ 只在 `candidateCallId` 于扣留表里**同族唯一**
-     *     时才摘;同族多条 = 判不出谁是主角 ⇒ **一条都不摘**,帧照走 flush 的连坐判别
-     *     (与 {@link flushHeld}「判不出整表不标」同轴的 fail-safe:宁可多渲一行 abort,
-     *     也不许让一帧永久消失)。
-     *
-     * 🔴 两条腿都要走「摘完看表空不空」那一步(见 {@link dropHeld} 尾注的批级退休不变量),
-     *    包括**什么都没摘**那条路 —— 零 HOLD 批正是每次 delete 都落空的形状。
-     */
     dropHeldForDecidedPark(candidateCallId: string | undefined, trustedCallId?: string): void;
     heldCount(): number;
-    /**
-     * drain:逐帧吐出并**同批记 ended**(fail-soft 回退路径与终帧路径共用的唯一出口)。
-     *
-     * 🔴 **一帧不丢**(frameRouter:185 的不变量,#324 车实测确证它是刻意的):HOLD 过的帧在这里
-     * 全部吐出去 —— 丢帧的后果是永久假排队(dim 圆点永远等不到结果行),比多渲一行红字更坏。
-     * 本出口做的唯一一件事是给**已知不是 gate 主角**的帧 stamp {@link SEMA_COLLATERAL_ABORT_KEY}
-     * 机读位(additive 超集键;`isError` / `output` / 帧序一律不动),让消费端能把连坐簇与主角帧
-     * 分开呈现。
-     *
-     * 🔴 判词方向(fail-safe):**判不出本批主角 ⇒ 一个都不 stamp**(诚实缺席,与本键出现之前
-     * 逐字节相同);判得出 ⇒ 主角走原路零改动、其余一律 stamp。绝不按到达顺序编判词。
-     *
-     * 主角怎么判(实现见 `resolveGateSubjects`,判据全部**批级**、一批一套):
-     *   ① **硬门:本批恰好一张 park**({@link noteParkGate})。零张 = 归属无从证明(同步帧腿 /
-     *      纯取消批都落这里);两张以上 = 这批扣留帧混了两次 gate 的 abort,谁属谁无解。一律不标。
-     *   ② **主角 = 本批(扣留帧 ∪ 本批已出批的帧)里唯一属该 park 族的 call**。并上「已出批的帧」
-     *      是因为决断成功那一下会把主角的毒化帧 `dropHeld` 掉,只看扣留帧的话主角就「不在这一批」,
-     *      整批判据当场失效。族外 park(kind-only / ask)不发准入证 ⇒ 整批不标。
-     *   ③ 前置:**每一条扣留帧的 `tool_start` 本连接都得见过** —— 族成员判据取自 tool_start 当拍
-     *      记的集合,没见过 start 的 call 在「唯一」这件事上是隐形的;续流只消费 `runs.events` 的
-     *      一段,主角的 start 完全可能落在这次连接之外,那时表里剩下的唯一族成员是**旁观者**。
-     *
-     * 🔴 **pending 队列一概不参与判别**:`durable checkpointGate` 不带 callId,`findPendingForTask`
-     * 取的是「同 taskId + 谓词命中的第一行」(不命中时退「任意行」)—— 那是给**卡面渲染**用的宽口,
-     * **不是身份**。同族两行排队时它会给出旁观者,拿它当主角就把真主角挤成「非主角」而 stamp。
-     */
     flushHeld(): Generator<AgentEvent>;
-    /** 三选卡 deny 过的 call:重放 tool_end 的 render 面 stamp REJECT_MESSAGE(vendored
-     *  renderToolUseRejectedMessage 渲 `User rejected <op> to <path>`,CC 逐字)。 */
     markDenied(callId: string): void;
     isDenied(callId: string): boolean;
-    /** 一次性消费(原文的 `has` + `delete` 成对写法)。 */
     takeDenied(callId: string): boolean;
-    /** 同步帧腿 deny 但 callId 关联不上(引擎在 tool_start 前出帧的形状):stamp 下一张 gated 报错帧。 */
     armDenyStamp(): void;
-    /** 一次性消费:武装中 ⇒ 解除并返回 true。 */
     takeDenyStamp(): boolean;
-    /** started-未-ended 的 fs 写 call(顺序保留)——帧契约不带 toolCallId;引擎阻塞在帧上,
-     *  最后一张未收口 fs 写 call 即被 gate 的 call。 */
     pushFsCall(callId: string): void;
     dropFsCall(callId: string): void;
     lastPendingFsCall(): string | undefined;
-    /** REF-CC-034:最近一次见到的 fs 写 / shell 执行 gated tool_start 的 callId(`park.gate==='fs'`
-     *  分支的两族 toolName)——**不**随 tool_end 清空(与 `pushFsCall/dropFsCall` 的关键差异:
-     *  那一组在 tool_end 到达就 drop 掉,而 durable re-attach 重放的 `suspended` park 没有配套的新
-     *  tool_start/tool_end,那时它早已空了,取不到候选 callId)。只在**新的** gated tool_start 到来
-     *  时前进,天然把「这次 park 到底是哪个 call」的身份带过 decide→重放两轮。 */
     noteFsOrShellGate(callId: string): void;
     lastFsOrShellGatedCallId(): string | undefined;
-    /**
-     * 登记「**这一批**的 park」——判别子唯一认的归属证据。写者 = 四条 park 臂:`routeDone` 的
-     * ask/fs 两条、`routeSuspended` 的 ask/fs 两条。`fsOrShellFamily` = 这张 park 的 gate **本体**
-     * `toolName` 属 fs 写 / shell 执行族吗(唯一性兜底腿的准入证)。
-     *
-     * 🔴 **为什么只认 park、不认 `tool_approval` 帧**(异源对抗复审四轮的收口,2026-08-22):
-     * 判别子要回答的是「**这一批** abort 帧属于哪张 gate」,而 wire 上**没有**任何位做这个关联 ——
-     * 包层能算的都是推断。park 是唯一**归属可结构性证明**的证据:`flushHeld` 的出口就长在那张 park
-     * 自己的决断/回退路径上(`parkResolver` fail-soft / decide 成功后的续流放行 / 终帧),
-     * 「这一批是这张 park 的 abort 批」是结构事实,不是猜的。
-     * 审批帧腿不具备这个性质:帧只证明「本 turn 出现过一张 gate」,那张 gate 可能**早已正常收口**
-     * (零毒化帧 ⇒ 零扣留表 ⇒ 一次 flush 都不跑),它的证却会活到下一批去派判词。四轮实测里
-     * 三条「假阳打回主角」都出自帧腿证据(旧 server 双主角 / 零 HOLD 审批证跨批 / 历史身份跨批),
-     * 故本版**刻意**不从帧腿取证 —— 代价是同步帧腿整条不标(已知局限,见 §3z)。
-     *
-     * 🔴 **重放同一张 park 不算新的一张**:#110 成文「durable re-attach 必然把已决断的 park 再送
-     * 一遍」。判据 = 自上一次 park 登记以来**有没有新的帧进过扣留表**;没有就是同一张 park 被重放,
-     * 计数不动(否则本批会被自己的重放判成「多 park」而整批失效,真连坐帧拿不到位)。
-     */
     noteParkGate(evidence: {
         fsOrShellFamily: boolean;
     }): void;
-    /**
-     * 「**本批**有没有登记过 park」——件 B(#323 症状②,2026-08-25)的硬门读位。
-     *
-     * 🔴 与 {@link flushHeld} 的主角判别是**两件事**,别合并:那条要的是「恰好一张」(归属可证),
-     * 本条要的是「**零张**」(这批 abort 帧背后没有任何 gate ⇒ 才谈得上「纯用户中断批」)。
-     * 判词方向同样 fail-safe:有 park = 门语义,呈现向一个字节都不改。
-     * 🔴 读位必须在 `flushHeld` 之前取(那一拍尾部会 `retireBatchState()` 把计数清零)。
-     */
     hasBatchPark(): boolean;
-    /** 续流重放的解答 tool_end 无 output,不补就会渲成结果不可用;这里记下真实答案供该帧 stamp
-     *  `structured` 让卡片渲真实选择。 */
     rememberAnswer(callId: string, answered: AskAnsweredOutput): void;
     answerFor(callId: string): AskAnsweredOutput | undefined;
     dropAnswer(callId: string): void;
-    /**
-     * #110 缺陷② 的**承重**修 / REF-CC-034:durable re-attach 会把「已经决断过的 park」重放一遍
-     * (边界上必然发生:`lastEventId` 再准也只能精确到帧,park 帧本身就在续流的重放窗口里)。重放的
-     * park 走到决断会去取 pending approval —— 那一行早已 resolved ⇒ 拿不到 ⇒ `failed` ⇒ 合成
-     * `hitl_unanswered` 终帧。而引擎侧 run 其实已经 `completed`:壳谎报失败,连带 CC 转录 0 行写出、
-     * 同 session `--resume` 报 `No conversation found` —— **会话废掉**。
-     *
-     * 首选判据是文案/code 双臂(`parkResolver.isAlreadyResolvedFailure`);本集合是第二条、
-     * **身份匹配**(非文案)的独立判据:拿 `lastFsOrShellGatedCallId()` 算出这次 park 的候选 callId,
-     * 若它已在本集合里,不论失败文案长什么样都按「已解决」处置。方向偏宽符合不对称原则(误判成
-     * 「已解决」最多多读一轮、被 hop 预算兜底;误判成「真失败」烧会话)。
-     */
     markDecided(callId: string): void;
-    /**
-     * 一次性消费([2393] hitl-F2,2026-08-02):记号被一次 park 失败消费掉就**失效**。
-     *
-     * 🔴 为什么必须一次性:这条判据的正当性完全来自「durable re-attach 会把**那一次**已决断的 park
-     * 重放一遍」——重放窗口只有一次。而它的两个输入都是单调的:`lastFsOrShellGatedCallId()` 不随
-     * tool_end 清空(见上方声明处注,那是**故意**的,park 重放时没有新的 tool_start 可跟),
-     * `decidedGates` 又只增不删 ⇒ 只要这个 turn 里成功决断过一次,**之后每一次** park 失败都会命中
-     * 身份匹配,不论真因是什么。实测后果:`approvals.list` 网络失败这类真失败被连续 24 次判成
-     * 「已解决」,吃满 `MAX_GATE_HOPS` 才吐一句 `gate hop limit exceeded` —— 用户白等 24 轮往返,
-     * 拿到的还是一句与真因无关的话(真因被预算话术顶掉了)。
-     * 消费一次即失效之后:第一次(= 真的重放)照旧救回,第二次就是诚实的 fail-soft。
-     *
-     * ✅ **同形存量已销**(#357,0.47.0):上面这段描述的病形在**身份判据**这一腿由本动词的一次性
-     * 语义关掉,但它的**孪生腿**(`isAlreadyResolvedFailure` 的 code/文案判据)当时没有任何限次 ——
-     * 那一腿在「run 仍 parked 而取件读到空表」的坐标失配态下每轮都命中,照样烧满 24 个 hop。
-     * 闸坐标 = {@link noteAlreadyResolvedGate} + `parkResolver.MAX_ALREADY_RESOLVED_REATTACHES`
-     * (同因连续第 2 次即不再 reattach),主修 = `parkResolver` 的坐标重探臂。
-     */
     takeDecided(callId: string): boolean;
-    /** 只给 debug 串用的规模位(`[decided so far: N]`)。 */
     decidedCount(): number;
-    /**
-     * 记一次「这张 park 被判成**已解决**」的命中,返回**同一判据源**的连续命中次数(第一次 = 1)。
-     * 判据源换了(`key` 不等)⇒ 从 1 重新计。
-     *
-     * 🔴 为什么闸态放在台账而不是 `resolvePark` 里:`resolvePark` 是**无实例态的纯函数**,而这条闸
-     * 要跨多次 park 才成立 —— 与 `hops` 同源(那也是驱动侧跨 park 累加、经 `ParkResolveCtx` 传进去
-     * 的量)。台账是本 turn 里唯一活得比一次 park 长、且**只有一个写者**的载体。
-     *
-     * 🔴 `key` 必须是**归一化的判据源**(命中它的那个码 / 那个文案子串),不是原始 reason 串 ——
-     * reason 里带着每轮都不一样的尾巴(`decide failed: Error: …`),拿它当键会让「连续」永远不成立,
-     * 闸当场退化成空转([anchor-on-the-deciding-quantity])。
-     */
     noteAlreadyResolvedGate(key: string): number;
-    /** 判据链上出现了真进展(park 真被决断 / 重探把新坐标的卡呈出去了)⇒ 连续计数归零。 */
     resetAlreadyResolvedGate(): void;
 }
-/**
- * {@link GateLedger.noteStart} 那张在飞表的**容量上限**(L-69⑨,0.52.0)。
- *
- * 🔴 为什么必须有界:本表的写口是**每一张** `tool_start`,而它的删口(`tool_end` 收口)在两种真实
- *    形态下不会来 —— ①一个 turn 里 `tool_end` 先于本连接开始(durable re-attach 只消费 `runs.events`
- *    的一段);②run 被中止 / 连接断掉,在飞 call 的收口帧永远不到。无界表在长流多工具的 turn 上
- *    条目数会一直涨。
- *
- * 🔴 **上限量的是条目数(= 保留的引用数),不是字节数**(异源对抗复审 R1 finding① 采纳的措辞订正)。
- *    本表存的是 `ev.args` 的**引用**,不是拷贝 —— 而同一个 `ev` 在这一拍**照常 yield 下去**
- *    (`frameRouter.routeToolStart` 返回 `{kind:'yield', events:[ev]}`),投影成 `SDKMessage` 之后
- *    那份入参在端的转录面上本来就活着。所以本表对**驻留字节**的增量是「一个指针 × 条目数」,
- *    它不复制载荷、也不是这条链上第一个持有它的容器:同文件的 {@link GateLedger.noteGatedStart}
- *    从本批之前就持着同一形的引用,而且**整个 turn 不删、连条目数都不设上限**。
- *    ⚠️ 仍然如实说清**没有**守住的那一格:单条载荷本身**没有**字节预算(一次 `Write` 的
- *    `content` 有多大,这里就跟着多引用多大一份多久)。真要按字节记账得先定义「多大算大」并同批给出
- *    超限时的降级形(截断 = 交出一份假入参,不许;整条不留 = 那只 call 的 deny 现场退回诚实缺席),
- *    属独立一件;本批**不做单边近似**,如实登记在此。
- * 🔴 为什么是 **256** 而不是更小:上限守的是「条目数无界增长」,而它必须**远大于**同一时刻真正在飞的
- *    call 数,否则淘汰会打到还没收口的 call 身上(那正是本表要服务的对象)。引擎侧同一 turn 的并发
- *    工具批今天是个位数量级,单批 `tool_start` 连发也在两位数以内;256 给出的是两个数量级的余量。
- * 🔴 淘汰**按 FIFO 丢最早**(`Map` 的插入序):最早入表的那一条是**最久没有收口**的,它要么已经因为
- *    上面两种形态永远不会收口,要么它的消费窗(收口当拍)早就过去了 —— 丢它的代价最小。绝不按
- *    「随便丢一个」或整表清空(整表清空会把同批在飞的兄弟一起打掉)。
- * 🔴 **淘汰打到仍在飞的 call 时会怎样(成文的取舍,不是漏)**:那只 call 后来被分类器拒绝的话,
- *    宿主拿到的 `ctx` 只有 `toolCallId`、没有 `args` —— 即**诚实缺席**,端按可选处理照常降级渲
- *    (契约见 `docs/INTEGRATION-CLIENTS.md` §15c 第 3 条)。这条路上唯一的替代品是「不淘汰」,
- *    而那就是无界表。durable 重放会把 `tool_start` 再送一遍,那是被淘汰项**拿回快照**的机会 ——
- *    所以 `frameRouter.routeToolStart` 把本动词排在渲染去重闸**之前**(见该站点注)。
- */
 export declare const START_ARGS_MAX_ENTRIES = 256;
-/** 造一份 turn 级 gate 台账(**不是单例**,见文件头注)。 */
 export declare function createGateLedger(): GateLedger;