@sema-agent/client-core 0.42.0 → 0.43.1

package/CHANGELOG.md

@@ -28,6 +28,131 @@
 > 不许悄悄漂:豁免登记的 `releasedAt` 与 `FROZEN` 账上 0.36.0 那一行逐字相等;本段(点名版本号
 > `0.36.0` + 关键字「勘误」)必须还在这份头注里 —— 删掉本段而不同批把门侧豁免一起处理,门当场红。
 
+## 0.43.1(2026-08-25)
+
+**批面**:`readCcImportRedeemCounts` —— cc-import redeem 200 体的兑付计数**双代归一读口**
+(server 7.46 未声明 BREAKING #2 的消费半场;姊妹案=0.43.0 的 `ruleOffers`)。
+
+### 背景(server ≥7.46.0 未声明换形)
+
+server 7.46 把 `POST /v1/rules/cc-import/redeem` 的 200 体从三桶形
+`{ result: { persisted[], deduped[], skippedAtRedeem[], rev } }` 换成判别联合形
+`{ result: { members[], rev } }`(member 带 `status: "persisted" | "deduped"`;refused 不再上
+200 体 —— server 侧折进 404/503)。CHANGELOG 零声明,npm 最新 SDK 7.2.0 `rules.d.ts` 仍是旧形
+(engine 7.46.0 fixture dist 直证 `rules-consent.js` / `http/routes/rules.js`)。旧读法
+`result.persisted.length` 在 7.46 上恒 undefined ⇒ 导入计数恒 0、成功 banner 永不渲。
+
+### 端要改的一处
+
+兑付计数一律走 `readCcImportRedeemCounts(redeemed.result)`:
+- 新形 `members[]` 在场恒按新键读(全 0 也**绝不回落**旧键;与 0.43.0 窄读器同款纪律);
+- 旧形(≤7.45)`persisted[]/deduped[]` 桶兜底;
+- 两形都缺 ⇒ `null`(诚实缺席 —— 渲 unknown,绝不渲 0/成功)。
+
+**测试**:rules-side 门 G7 六断言(新形/空批/新键恒赢/旧形/双缺/未知 status 开集)。
+
+## 0.43.0(2026-08-25)
+
+> 🔴 **两阶段协议提醒(发包批的义务,见本档头注)**:本段发布前须由发包批做**阶段一** ——
+> `package.json` bump `0.42.0 → 0.43.0` + 本段标题转日期 + README `Version` 行跟版 +
+> `run-integration-doc-freshness-test.mjs` 的 `FROZEN` 账**追加**一行 `pending: true`;发布后
+> **阶段二**补 `releasedAt` 与段 `sha256` 并删 `pending`。**施工批不做 bump、不动 `FROZEN`**。
+
+**批面**:①#323 两件呈现面修复(clay 三裁 08-25,已落 `4c364c1`)②#334/[5223] `ruleSuggestions`
+→ `ruleOffers` 判别联合换形三腿消费(**BREAKING**)③#341/[5214]③ `inputHasBidi` 过境
+④`requiresRealApproval` 过境复核 + 帧键镜像同形族扫。
+
+### 🔴 BREAKING(#334/[5223];server ≥7.46.0 / core 5.58.0 design/375)
+
+上游把审批卡的「不再询问」候选从 `ruleSuggestions` 整体换成判别联合 `ruleOffers`
+(`kind: "single" | "batch"`),**live `tool_approval` 帧 / `card_json` 呈卡帧 / durable
+`PendingCheckpoint` 三腿同换**;7.46 引擎上旧键在这三腿一个都不发(engine 7.46.0 fixture 直证)。
+
+**端要改的三处**:
+
+| 面 | 0.42.0 及更早 | 0.43.0 |
+|---|---|---|
+| 卡入参(活卡帧腿) | `ApprovalCardRequest.ruleSuggestions?: RuleSuggestion[]` | **`ruleOffers?: RuleOffer[]`** |
+| 卡入参(durable 行腿,只读) | `ruleSuggestionsReadOnly?: RuleSuggestion[]` | **`ruleOffersReadOnly?: RuleOffer[]`** |
+| 卡决断(兑付) | `persistRule` / `persistRuleEdited`(**字节不变**) | 两位不动 + 新增 **`persistRuleBatchOfferIndex?: number`** |
+
+- **两代 wire 键经同一把窄读器归一成包内单一形**:新键优先、旧键(≤7.45)归一成 `kind:'single'`,
+  **新键在场即定局绝不回落**(`null` 与缺席同视,理由见 `readOfferSupply` 顶注的代价不对称段)⇒
+  混舰队部署上端**不需要任何版本分支**;
+- **`RuleOffer.offerIndex` 是本包铸的座**(上游形上没有):batch 臂的兑付键就是**原始 wire 下标**,
+  窄读器逐条丢坏形但**下标不前移**(压紧 = 人点的第 k 个与服务端兑的第 k 个指向两条不同规则)。
+  🔴 **两条腿下标语义不同**:活卡帧腿恒等于 core 的 offer index(**是**选择键);durable 行腿
+  server 已压紧过且无兑付口(**只是展示座**);
+- **入参型与出参型分开**:`ToolApprovalFrame.ruleOffers` 收的是 `readonly WireRuleOffer[]`
+  (与上游逐字同形、**无** `offerIndex`),归一后的 `RuleOffer` 只出现在卡入参上;
+- **批臂的兑付**:`persistRuleBatchOfferIndex` 与 `persistRule`/`persistRuleEdited` **三臂互斥**
+  (server 对同场组合响亮 400 且**连决断一起拒** ⇒ 包边界整条丢持久臂 + 留痕,决断照送);
+  下标必须在本帧 offers 里真指向一条 `kind:'batch'`,越界/指向 single/负数/非整数一律丢键;
+- 🔴 **批臂要能力位**:新增 `ToolApprovalFrameLaneOpts.respondBatchRuleOffersCapable`
+  (`capabilities.respondBatchRuleOffers`,server ≥7.46.0)。**宿主漏供 ⇒ 现代引擎上每一次批臂勾选
+  都被丢**。只闸兑付不闸展示(offer 照旧上卡,端可走本地落规则那条路);
+- **ack 超集视图** `ToolApprovalRespondAckView`(sdk 7.2.0 锚尚无这两位):`persistedRule`(编辑臂
+  落盘的**规范化后**文本 —— 界面回显这一份而不是输入框那份)· `persistedRules`(批臂全体成员规范
+  文本,展示序)。两位过**三道包内闸**:单复数同场 ⇒ 两位一起丢 · `rulePersisted !== true` ⇒ 丢 ·
+  臂相关性(单数只属编辑臂;复数条数须等于所选 batch 的成员数)。⚠️ 逐条归属今天 wire 上证不出,
+  端渲成「**引擎报告**落盘的规则」而不是「你选的那批」——在册 **P-39**,已向 server 索要 additive 锚。
+
+### 新增(additive)
+
+- **`inputHasBidi` 过境**(#341/[5214]③;server ≥7.46.0 E-14 Trojan Source 族):帧顶层 `?: true`
+  → `ApprovalCardRequest.inputHasBidi`,条件 stamp **只认严格 true**。🔴 **披露位不是清洗位,本包
+  字节零改**(清洗会让卡上显示的与真跑的不是同一个东西,比不披露更坏);显形归端。
+  **缺席禁读成「已确认干净」**(同时覆盖「真的没有」与「args 序列化不了所以扫不了」)。**单腿**:
+  durable 行腿今天无对偶(与 `requiresRealApproval` 同族,§7 P-32);
+- **持久臂被丢时的两条诚实告知**(公开导出 772 → **776**;与 `surfaceRememberNotApplied` 同族,
+  要看得见得先装 `HitlHostSurface` 口):
+  · `surfaceRuleArmNotSent()` / `RULE_NOT_SENT_WARN_TEXT` —— **能力位未确认**导致持久臂整条没发
+    (编辑臂与批臂**共用一条**,同形存量一并清 —— 编辑臂此前也只写 debug);
+  · `surfaceRuleArmRejected()` / `RULE_NOT_SENT_REJECTED_WARN_TEXT` —— 这次选择**没过包内表核/互斥核**
+    (表外文本 / 坏下标 / 两臂同场;候选臂那条表核自 0.26.0 起也只写 error 日志,同批一起清)。
+  🔴 **两条刻意分开**:对用户的下一步建议不同(换台引擎/等探测 vs 换引擎也不会变),折成一条会
+  谎报原因。共用两条口径纪律:文案**不说「这台引擎不支持」**(能力位缺席三种同形成因);通知
+  **只在 respond 真成功之后**发(文案里有「审批本身过了」,respond 抛错那条路上那句是假的)。
+  🔴 **同一次 respond 的通知顺序契约**(`showNotice` 直接顶替 current、不排队 ⇒ 最后发的才看得见):
+  三条按**严重度升序**发、最重的压轴 —— 规则没存 < `allow_session` 没记住 < **编辑没转发(工具正在
+  用原始入参跑,唯一一条 [high])**。端自己重排/合并时必须保住这条不变量;
+- **帧键镜像同形族扫**(21 → **24** 键):补 `ruleOffers` / `inputHasBidi`,并把族扫捞出的**存量**
+  漏键 `parked`(#329,server 7.44.0 及更早就在,`tool_approval_complete` only)一并补进 ——
+  镜像补齐,消费面另立项(§7 **P-37**);
+- **`run-approval-frame-keys-test.mjs` 新增 server fixture 腿**:直接解析
+  `@sema-agent/server/dist/tool-approval.d.ts` 与本仓镜像做**机器对表**。SDK 运行期锚按构造滞后于
+  server,只对 SDK 锚比对的门对「server 已发、SDK 与本仓同时没有」的键是**盲的** —— 那正是 [5223]
+  这次静默换键的成因形。`SEMA_CC_SERVER_FIXTURE=<dir>` 开;**提货/抬 pin/发包批必须另加
+  `SEMA_CC_REQUIRE_SERVER_FIXTURE=1`** 把它变成硬门(缺 fixture 当场红)。
+
+### 呈现面修复(#323,clay 三裁 2026-08-25;已落 `4c364c1`)
+
+- **idle-flush 段提交双准入**(每段一刀 + 句末边界):长工具参数生成期的 assistant 文本不再被切成
+  碎片(实测碎片 19 → 2 / 5 → 1);
+- **用户中断的 `tool_result` 归一 CC 形**:双模判据 fail-safe,整帧只改 `output` 机读位全过境
+  (`isError` / `errorCode` / `_sema_collateral_abort` 一个都不动),五条排水出口统一 + 结构门。
+  ⇒ **端做归因的 `output` 三分**(§7 P-30 已订正):`'Operation aborted'` = 非中断原因的 fail-soft ·
+  CC 中断串 `[Request interrupted by user for tool use]` = 用户中断 · CC REJECT 串 = 用户真拒绝;
+- 同批捡修两真缺陷:中途出口绕过 · 剥尾不判换行;新登记 known-gap **P-36**(中断文案归一只覆盖
+  `Operation aborted` 这一串,另两族刻意不并入 —— core 显式拒绝合并两串向)。
+
+### 已知局限(本版新增;完整台账见 `docs/INTEGRATION-CLIENTS.md` §6e/§7)
+
+- **P-37**:`parked` 已进键镜像但本包零消费(只长在 `tool_approval_complete` 上,那种帧不进卡口);
+- **P-38**(**存量、非本批引入**,基线 `4c364c1` 逐字相同):`frameRouter` 的标准帧路由**只解构
+  `decision`**,`ack` 与 `respondRefusal` 整段丢掉 ⇒ 走标准集成面的端读不到规则回显与 400 拒句
+  (⚠️ `rememberApplied` / `updatedInputForwarded` 两条更重的告知**不在此列** —— 它们经
+  `HitlHostSurface` 就地投递,不经本路由;端自己直调 `surfaceToolApprovalFrameAndRespond` 也拿得到);
+- **P-39**:批臂回执 `persistedRules` 的**逐条归属** wire 上证不出(只核基数),端的呈现口径见上;
+- **P-40**(**系统性、非本批引入**):三个能力位是 **per-baseUrl 的布尔缓存,不与「收 respond 的那个
+  副本」绑定**。引擎温切 / 滚动升级 / 多副本代理下,一个陈旧的 `true` 仍会把新形送到老副本上,而
+  编辑臂/批臂在老解析器上是**响亮 400 且连决断一起拒**。
+  ⚠️ ⇒ **「能力位闸让老引擎零受迫」这句话有前提**:能力读数必须与实际 responder 一致。
+  0.42.0 段第 4 条里那句无前提的「老引擎零受迫」按本条订正(⚠️ 那一段是**冻结面**,按 #252 宪法
+  **不回改**,订正落在本段)。**宿主义务**:引擎 respawn/restart 后调
+  `invalidateEngineCaps(baseUrl, probe?)`(推荐两参形);滚动升级窗口内宁可把两个规则能力位按
+  `false` 供(丢持久臂 + 一条诚实通知,远好于把人按下的决断打掉)。
+
 ## 0.42.0(2026-08-24)
 
 > 🔴 **两阶段协议提醒(发包批的义务,见本档头注)**:本段发布前须由发包批做**阶段一** ——

package/README.md

@@ -35,7 +35,7 @@ Renamed from **`@sema-agent/wire-cc-adapter`** (0.1.x, deprecated — see *Migra
 
 ## Scope
 
-**Version:** 0.42.0
+**Version:** 0.43.1
 
 - **Today** — the adapter seam, the whole `adapt()` pipeline (all 14 A-layer arms plus the
   B/D/E tool-card layers), the notification/caps/model families, the adapter kernel (stream driver

package/dist/adapt/textStream.d.ts

@@ -31,8 +31,18 @@ export interface TextStream {
     drainLive(): Generator<AdapterOutput>;
     /** 提交累积的思考块。 */
     takeThinking(): Generator<AdapterOutput>;
-    /** 提交累积的文本段(#27 段序铁律)。 */
+    /** 提交累积的文本段(#27 段序铁律)。**正常边界**专用(工具卡前 / turn 收口)。 */
     takeAnswerSegment(): Generator<AdapterOutput>;
+    /**
+     * T40 IDLE-FLUSH 专用的段提交口(#323 症状①,2026-08-25 clay 裁 (a)+(b) **合取**)。
+     *
+     * 与 {@link takeAnswerSegment} 的差别只在**准入**,提交本体逐字同一份实现:
+     *   (a) **每段至多一刀**:idle 提交过一次之后,该段后续 idle 一律跳过,直到一次**正常边界**
+     *       (工具卡前 / turn 收口的 `takeAnswerSegment`)重开新段;
+     *   (b) **只在句末/段末边界提交**:段尾不是句末字符或换行 ⇒ 跳过本拍,等下一拍。
+     * 两条都不满足时**什么都不做**(缓冲原样押着,活体预览照常由 `drainLive` 走)。
+     */
+    takeAnswerSegmentOnIdle(): Generator<AdapterOutput>;
     /** D3 IDLE-FLUSH 竞速判据:四个缓冲有任何一个非空。 */
     hasPendingContent(): boolean;
     /** D5 攒批节拍:一个间隔至多一次 flush(判据与 `lastFlushAt` 一起收在本模块内)。 */

package/dist/adapt/textStream.js

@@ -1,5 +1,46 @@
 import { chrome, MAIN, transcript } from './ids.js';
 import { estimateCjkTokens, FLUSH_INTERVAL_MS } from './wireShapes.js';
+/**
+ * 件 A(#323 症状①)判据 (b) 的句末字符集 —— 中英文各一套,**闭集**(开集匹配会把「代码里的点」
+ * 之外的一切标点都当句末,等于没收紧)。换行单独在 {@link endsAtSentenceBoundary} 里判(段末)。
+ */
+const SENTENCE_END_CHARS = new Set(['。', '！', '？', '…', '.', '!', '?']);
+/**
+ * 句末标点**之后**还可以合法跟着的收尾符(闭集):引号 / 括号 / markdown 强调与行内代码标记。
+ * 🔴 有它的理由(异源复审 finding 采纳):真句末很常见地**不以句末标点结尾** ——
+ * `他说:“完成了。”` 的末字符是右引号、`**Done.**` 的末字符是 `*`。不剥这一层,判据 (b) 会把
+ * 这些**真句末**永久判否(每一拍 idle 都返回 false),等于对带引号/强调的回复整条腿失效。
+ * 🔴 只剥**收尾**符,不做括号配对分析:未闭合的行内代码 `` `a.b `` 末字符是 `b`,本来就判否;
+ * 而 `` `a.b` `` 剥掉反引号后是 `b`,同样判否 —— 代码跨度里的点不会被误当句末。
+ */
+const SENTENCE_CLOSING_CHARS = new Set([
+    '"', "'", '”', '’', '』', '」', '》', '〉', '】', '〕', ')', '）', ']', '］', '}', '｝', '*', '_', '~', '`',
+]);
+/** 收尾符最多剥这么多层 —— 剥的是收尾符,不是「一直回溯到找得着句号为止」。 */
+const MAX_TRAILING_CLOSERS = 8;
+/**
+ * 段尾是不是句末/段末边界(件 A 判据 (b))。
+ * 行末空格/制表符先剥掉再看最后一个字符 —— 流式 delta 常把 `". "` 拆成两拍,不剥就恒判否。
+ * 然后剥一层 {@link SENTENCE_CLOSING_CHARS} 收尾符,最后一次性判「换行(段末)∪ 句末标点」。
+ *
+ * 🔴 **换行判在剥尾之后**(异源复审第四轮 finding 采纳):换行检查若只做在剥尾**之前**,
+ * `Done.\n**`、整块围栏代码块(```` ```\nx\n``` ````)、`“完成了\n”` 这些**剥掉收尾符才露出换行**
+ * 的形会全部判否 —— 恰好是「已经写完一段」最常见的三种收尾,判否等于把它们永久押到工具边界/
+ * turn 收口。换行本身不在收尾符集里,所以「先剥后判」对「换行就在最外层」那些形是恒等的。
+ */
+function endsAtSentenceBoundary(s) {
+    let t = s.replace(/[ \t]+$/u, '');
+    if (t.length === 0)
+        return false;
+    let last = t[t.length - 1];
+    for (let i = 0; i < MAX_TRAILING_CLOSERS && SENTENCE_CLOSING_CHARS.has(last); i++) {
+        t = t.slice(0, -1).replace(/[ \t]+$/u, '');
+        if (t.length === 0)
+            return false;
+        last = t[t.length - 1];
+    }
+    return last === '\n' || last === '\r' || SENTENCE_END_CHARS.has(last);
+}
 export function createTextStream(ctx, idOf) {
     // ── turn 级状态(cli generator 局部变量的等价;矩阵 §1.1 逐行对位)──────────────────────────
     let answer = '';
@@ -11,6 +52,12 @@ export function createTextStream(ctx, idOf) {
     let textBlockOpen = false;
     let thinkingBlockOpen = false;
     let lastFlushAt = 0;
+    /**
+     * 件 A 判据 (a):**本段已经用掉 idle 的那一刀**。写于 `takeAnswerSegmentOnIdle` 真提交那一拍,
+     * 复位于 `takeAnswerSegment`(= 正常边界到达 ⇒ 重开新段)——**空段的正常边界也复位**:
+     * 「工具帧来过」本身就是重开新段的事实,与那一拍有没有散文可提交无关。
+     */
+    let idleFlushUsedInSegment = false;
     /** T29 攒批节拍:宿主策略优先(桌面/web 可传 16ms 对齐 CC 桌面端),缺席=207 CLI 口径 100ms。 */
     const flushEveryMs = typeof ctx.coalesceIntervalMs === 'number' && ctx.coalesceIntervalMs >= 0
         ? ctx.coalesceIntervalMs
@@ -37,8 +84,9 @@ export function createTextStream(ctx, idOf) {
         yield chrome({ kind: 'thinking_activity', laneProof: MAIN, active: false });
         yield transcript(msg, ctx.now());
     }
-    /** 提交累积的文本段(cli takeAnswerSegment:#27 段序铁律——工具卡前/turn 末各 flush 一次)。 */
-    function* takeAnswerSegment() {
+    /** 段提交的**唯一本体**(两个入口 `takeAnswerSegment` / `takeAnswerSegmentOnIdle` 共用;
+     *  两个入口的差别只在准入判据,提交出来的消息一个字节都不分叉)。 */
+    function* emitAnswerSegment() {
         if (answerSegment.length === 0)
             return;
         const anchor = segmentAnchor ?? {};
@@ -55,6 +103,23 @@ export function createTextStream(ctx, idOf) {
         textBlockOpen = false;
         yield transcript(msg, ctx.now());
     }
+    /** 提交累积的文本段(cli takeAnswerSegment:#27 段序铁律——工具卡前/turn 末各 flush 一次)。
+     *  🔴 **正常边界**入口:除了复位件 A 的 idle 配额,行为与拆分前逐字一致(零改动面)。 */
+    function* takeAnswerSegment() {
+        idleFlushUsedInSegment = false;
+        yield* emitAnswerSegment();
+    }
+    /** 件 A:IDLE-FLUSH 专用入口(准入 = 每段一刀 + 句末/段末边界;两条都过才提交)。 */
+    function* takeAnswerSegmentOnIdle() {
+        if (answerSegment.length === 0)
+            return;
+        if (idleFlushUsedInSegment)
+            return;
+        if (!endsAtSentenceBoundary(answerSegment))
+            return;
+        idleFlushUsedInSegment = true;
+        yield* emitAnswerSegment();
+    }
     /** 合并后的活体增量下泄(cli drainLive:思考先于文本 = 持久臂序)。 */
     function* drainLive() {
         if (thinkingPending.length > 0) {
@@ -114,6 +179,7 @@ export function createTextStream(ctx, idOf) {
         drainLive,
         takeThinking,
         takeAnswerSegment,
+        takeAnswerSegmentOnIdle,
         hasPendingContent: () => thinking.length > 0 ||
             answerSegment.length > 0 ||
             thinkingPending.length > 0 ||

package/dist/adapt/wireShapes.d.ts

@@ -41,6 +41,14 @@ export declare const FLUSH_INTERVAL_MS = 100;
  * 🔴 这是**过渡修**,正解在 core [817](wire 侧给事件);且**需要宿主定时器**:
  * `ctx.setTimer` 缺席 ⇒ 整条竞速不启用(纯等下一帧),与 0.4.0 逐字同行为。
  *
+ * 🔴 **适用域收紧**(#323 症状①,2026-08-25 clay 裁 (a)+(b) 合取):上面这条「缓冲非空就提交」
+ * 的原文**外溢**到了它没打算管的场景 —— 慢模型的正常吐字节奏本身就带 >1.5s 的卡顿,于是每卡一次
+ * 切一刀,一轮回复碎成 N 条 assistant 消息(屏上 N 个 ⏺;离线复现:1600ms 间隔 ⇒ 19 条)。
+ * 段提交因此改走 `textStream.takeAnswerSegmentOnIdle` 的**两条准入**:
+ *   (a) 每个 answer segment 至多一刀(用掉之后要等一次正常边界重开新段);
+ *   (b) 只在段尾是句末字符(`。！？…` / `.!?`)或换行时提交,否则跳过本拍等下一拍。
+ * 原意(大 Write 静默窗:开场白句末收尾 + 长静默 ⇒ 开场白先上屏)在两条准入下**原样成立**。
+ *
  * 公面。
  */
 export declare const IDLE_FLUSH_MS = 1500;

package/dist/adapt/wireShapes.js

@@ -26,6 +26,14 @@ export const FLUSH_INTERVAL_MS = 100;
  * 🔴 这是**过渡修**,正解在 core [817](wire 侧给事件);且**需要宿主定时器**:
  * `ctx.setTimer` 缺席 ⇒ 整条竞速不启用(纯等下一帧),与 0.4.0 逐字同行为。
  *
+ * 🔴 **适用域收紧**(#323 症状①,2026-08-25 clay 裁 (a)+(b) 合取):上面这条「缓冲非空就提交」
+ * 的原文**外溢**到了它没打算管的场景 —— 慢模型的正常吐字节奏本身就带 >1.5s 的卡顿,于是每卡一次
+ * 切一刀,一轮回复碎成 N 条 assistant 消息(屏上 N 个 ⏺;离线复现:1600ms 间隔 ⇒ 19 条)。
+ * 段提交因此改走 `textStream.takeAnswerSegmentOnIdle` 的**两条准入**:
+ *   (a) 每个 answer segment 至多一刀(用掉之后要等一次正常边界重开新段);
+ *   (b) 只在段尾是句末字符(`。！？…` / `.!?`)或换行时提交,否则跳过本拍等下一拍。
+ * 原意(大 Write 静默窗:开场白句末收尾 + 长静默 ⇒ 开场白先上屏)在两条准入下**原样成立**。
+ *
  * 公面。
  */
 export const IDLE_FLUSH_MS = 1500;

package/dist/adapt.js

@@ -228,6 +228,12 @@ class WireToCcAdapterImpl {
             for (;;) {
                 const nextPromise = iterator.next();
                 let step;
+                // 🔴 件 A 跟修的**留钉**(2026-08-25,一次证伪留档,免得下一棒再走一遍):判据收紧后同一个
+                //    `nextPromise` 会被 race **多圈**(判据没过就让位),曾疑心「每圈现造的派生 promise 没人
+                //    await ⇒ 上游 reject 时 unhandledRejection」。**实测证伪**:`Promise.race` 会给每个入参
+                //    挂反应,让位那些圈的派生 promise 因此都是 handled 的;上游的错照常经这一圈 await 抛出去。
+                //    对应常驻断言 = pure 门 B3 T40「上游 reject 照常抛给调用方」。所以这里**不改**(改成
+                //    只派生一次是纯分配面的微优化,零行为差,不值一处 diff)。
                 while (step === undefined) {
                     // 缓冲全空 ⇒ 零开销路径;宿主没给定时器 ⇒ 竞速整条不启用(绝不 setTimeout 兜底)。
                     // 判据本体(四项 or)已随 12 行状态收进 M1 —— 这里读的是它的具名形。
@@ -254,8 +260,13 @@ class WireToCcAdapterImpl {
                         // committed 序 —— 与工具卡前的边界 flush 逐字同序,只是提前发生)。
                         yield* text.drainLive();
                         yield* text.takeThinking();
-                        yield* text.takeAnswerSegment();
-                        // 缓冲已空 ⇒ 下一圈直接 plain-await。
+                        // 🔴 件 A(#323 症状①,2026-08-25):文本段走**专用入口** `takeAnswerSegmentOnIdle`
+                        //    (每段一刀 + 只在句末/段末提交),不是通用的 `takeAnswerSegment`。
+                        //    病:慢模型每 1.5s 一卡顿 = 一刀,一轮回复被切成 N 条 assistant 消息(屏上 N 个 ⏺)。
+                        //    适用域:本竞速的原意只是「大 Write 的静默窗别把已生成的开场白押着」,不是
+                        //    「每停 1.5s 就切一段」。终局 flush(工具卡前 / turn 收口)那条路**零改动**。
+                        yield* text.takeAnswerSegmentOnIdle();
+                        // 缓冲(可能)已空 ⇒ 下一圈直接 plain-await;判据没过时段缓冲还在,下一拍再race。
                     }
                 }
                 if (step === undefined)

package/dist/hitl/askGateWire.d.ts

@@ -73,6 +73,7 @@
 import type { AgentEvent } from '@sema-agent/sdk';
 import { type AskGateWireDeps } from './frameRouter.js';
 export { HITL_REJECT_MESSAGE, ENGINE_ABORT_TOOL_RESULT } from './frameRouter.js';
+export { HITL_INTERRUPT_MESSAGE_FOR_TOOL_USE } from './frameRouter.js';
 export type { AskGateWireDeps } from './frameRouter.js';
 export type { AskAnsweredOutput } from './gateLedger.js';
 export { SEMA_COLLATERAL_ABORT_KEY } from './gateLedger.js';

package/dist/hitl/askGateWire.js

@@ -1,5 +1,5 @@
 import { createGateLedger } from './gateLedger.js';
-import { isHostProgressFrame, routeFrame, } from './frameRouter.js';
+import { flushHeldWithInterruptRewrite, isHostProgressFrame, routeFrame, } from './frameRouter.js';
 import { resolvePark } from './parkResolver.js';
 // ── 宿主面口(搬迁差分 3)────────────────────────────────────────────────────────────────────
 //
@@ -19,6 +19,9 @@ import { resolvePark } from './parkResolver.js';
 //    `toAnsweredOutput` / 下方 `bridgeAskUserQuestionGates`)、类型四个。定义搬去了实现所在的
 //    那一刀,本文件是它们对外的**唯一门牌**——下游 import 路径不变,public-export 基线不变。
 export { HITL_REJECT_MESSAGE, ENGINE_ABORT_TOOL_RESULT } from './frameRouter.js';
+// 件 B(#323 症状②,2026-08-25):CC 中断形的**单一真源**导出(与 SEMA_COLLATERAL_ABORT_KEY 同款
+// 理由 —— 三端各自手抄同一句 CC 文案 = 漂移温床)。壳/web/desktop 认这个常量。
+export { HITL_INTERRUPT_MESSAGE_FOR_TOOL_USE } from './frameRouter.js';
 // #324 / [4907]:连坐 abort 机读位的**单一真源**导出([C93] `toolEndOutputText` 同款理由 ——
 // 三端各自手抄键名 = 漂移温床)。壳/web/desktop 认这个常量,不认文案。
 export { SEMA_COLLATERAL_ABORT_KEY } from './gateLedger.js';
@@ -58,8 +61,14 @@ export async function* bridgeAskUserQuestionGates(source, deps, opts) {
             led.noteSeq(ev);
             // HOLD 只护 park 窗口:host lane 的模型推进帧一到就放行扣留帧(触发集的来龙去脉见
             // `frameRouter.isHostProgressFrame` 上方长注)。
-            if (led.heldCount() > 0 && isHostProgressFrame(ev))
-                yield* led.flushHeld();
+            // 件 B(异源复审 finding 采纳):这个中途出口**也**要走中断感知的那一个。病形 = 用户按了
+            // Esc(signal 已 aborted)之后,源流里还有一条**已缓冲**的推进帧到达 ⇒ 扣留帧从这里放行,
+            // 绕开收口出口的改写 ⇒ 用户照旧看到红 `Error: Operation aborted`。
+            // 🔴 这里**没有终帧**可读,所以只有宿主腿(signal)能命中;引擎还在推进而 signal 没 abort 的
+            //    正常情形下,判据两腿全不命中 ⇒ 与本件之前逐字节相同。
+            if (led.heldCount() > 0 && isHostProgressFrame(ev)) {
+                yield* flushHeldWithInterruptRewrite(led, { signal: opts?.signal });
+            }
             const action = await routeFrame(ev, ctx);
             if (action.kind === 'skip')
                 continue;
@@ -83,7 +92,9 @@ export async function* bridgeAskUserQuestionGates(source, deps, opts) {
         }
         if (!park) {
             // 源流走完没终帧(disconnect/abort)——flush 后结束,与现状一致。
-            yield* led.flushHeld();
+            // 件 B(#323 症状②):没有终帧 ⇒ 出口证据只剩宿主腿(`signal.aborted` = 用户按了 Esc);
+            // 缺席时包装恒走原路,与本行修前逐字节相同。
+            yield* flushHeldWithInterruptRewrite(led, { signal: opts?.signal });
             return;
         }
         hops++;

package/dist/hitl/frameRouter.d.ts

@@ -24,6 +24,20 @@ import type { GateLedger } from './gateLedger.js';
  * 🔴 pure 门 B7 段:包内冻结字面量(无条件)+ 壳树全树扫描「每一处声明都逐字节相同」(壳树缺席=跳过)。
  */
 export declare 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.";
+/**
+ * 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 declare const HITL_INTERRUPT_MESSAGE_FOR_TOOL_USE = "[Request interrupted by user for tool use]";
 /**
  * core 对**被 gate park 的那个 call**(gate 主角)铸的 tool_end 载体(逐字;desktop session-host
  * 真引擎实测同款)。HOLD 谓词锚它做**精确等值** —— 普通工具错的输出是各自的错误文案,永不进 HOLD。
@@ -60,7 +74,14 @@ export interface AskGateWireDeps {
     respondToolApproval?: RespondToolApprovalFn;
     /** #229 respond-note 供给链(0.29.0 发包扫描门修,2026-08-12):帧腿车道参数(能力位读数),
      *  宿主从自己的 caps 缓存供给。缺席 = note 门 fail-closed 到「不发」侧(决断照常,现状字节
-     *  不变)—— 此前包内唯一生产调用点(routeFrame 的 tool_approval 臂)无此位,note 恒不发。 */
+     *  不变)—— 此前包内唯一生产调用点(routeFrame 的 tool_approval 臂)无此位,note 恒不发。
+     *  ⚠️ **本位早已不只管 note**(0.43.0 订正,异源对抗复审五轮 [medium]:上句的「note 门」措辞
+     *  是 0.29.0 的历史射程,再留着会让宿主以为不接这个字段只损失一条备注)。`ToolApprovalFrameLaneOpts`
+     *  今天携带**四位**,缺席各有各的后果:`approvalDecisionNoteCapable`(备注不发)·
+     *  `respondFreeFormRulesCapable`(**编辑臂**整条不发)· `respondBatchRuleOffersCapable`
+     *  (**批臂**整条不发)· `windowIsCurrent`(窗三键不过境 ⇒ 卡上无倒计时)。后两位缺席时,人在卡上
+     *  按下的「不再询问」会被整条丢弃(决断照送 + 一条 `surfaceRuleArmNotSent` 通知)—— 逐位语义见
+     *  各自的 JSDoc 与 `docs/INTEGRATION-CLIENTS.md` §5b。 */
     approvalLane?: ToolApprovalFrameLaneOpts;
 }
 /** 两族 gate:AskUserQuestion 走问答 overlay(原路);其余(fs 写三件 / Bash / 一等
@@ -113,6 +134,43 @@ export interface FrameRouterCtx {
 export declare function isAskTool(toolName: string | undefined): boolean;
 /** 这一帧是不是「host lane 的模型推进」= 扣留帧的放行信号。 */
 export declare function isHostProgressFrame(ev: AgentEvent): boolean;
+/** {@link flushHeldWithInterruptRewrite} 的出口证据(三腿,全是结构事实;缺席即不改写)。 */
+export interface HeldFlushInterruptEvidence {
+    /** 本出口手上的终帧(有就读它的 cancel 码);中途出口/无终帧路径传 `undefined`。 */
+    terminal?: AgentEvent | undefined;
+    /** 宿主的 turn 中断信号。 */
+    signal?: AbortSignal | undefined;
+    /**
+     * **这张 park 是被用户中断掉的**(`GateOutcome.kind === 'aborted'`)—— 唯一写者 =
+     * `parkResolver` 的 fail-soft 出口。该 outcome 在包内的语义就是逐字的「turn 被中断(Esc/Ctrl+C)」
+     * (见 `toolApprovalWire` 同臂:它顺带用一次 TOOL 级 deny `reason:'Interrupted by user'` 把
+     * 挂着的门结算掉),所以它是**关于这张 park 本身**的一手中断证据,不是推断。
+     */
+    gateAbortedByUser?: boolean | undefined;
+}
+/**
+ * `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` / `settledBy` /
+ * `approver` / `resolution` / `structured` 以及 `flushHeld` 自己盖的
+ * `_sema_collateral_abort` 机读位全部原样过境(展开赋值只覆盖 `output`)—— 端侧的连坐折叠锚的是
+ * 机读位不是文案,所以折叠语义不受影响,只是被折那一行的正文换成了 CC 中断形。
+ */
+export declare function flushHeldWithInterruptRewrite(led: GateLedger, evidence: HeldFlushInterruptEvidence): Generator<AgentEvent>;
 /**
  * 一帧 → 一个处置。手柄的**先后**与原文逐条同序:tool_approval 帧 → tool_start → tool_end →
  * suspended → done → failed → 透传。

package/dist/hitl/frameRouter.js

@@ -11,6 +11,26 @@ export const HITL_REJECT_MESSAGE = "The user doesn't want to proceed with this t
 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。
@@ -247,6 +267,87 @@ 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;
+    if (ev === undefined)
+        return false;
+    if (ev.type === 'failed') {
+        return ev.errorCode === RUN_CANCELLED_ERROR_CODE;
+    }
+    if (ev.type === 'done') {
+        const r = ev.result;
+        return !!r && r.errorCode === 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;
+    if (!allowGateParked && ev.errorCode === ENGINE_GATE_PARKED_ERROR_CODE) {
+        return false;
+    }
+    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` / `settledBy` /
+ * `approver` / `resolution` / `structured` 以及 `flushHeld` 自己盖的
+ * `_sema_collateral_abort` 机读位全部原样过境(展开赋值只覆盖 `output`)—— 端侧的连坐折叠锚的是
+ * 机读位不是文案,所以折叠语义不受影响,只是被折那一行的正文换成了 CC 中断形。
+ */
+export function* flushHeldWithInterruptRewrite(led, evidence) {
+    // 🔴 读位必须在 flushHeld **之前**求值:那一拍尾部 `retireBatchState()` 会把批级计数清零。
+    const gateAborted = evidence.gateAbortedByUser === true;
+    const rewrite = gateAborted
+        ? true
+        : !led.hasBatchPark() && isUserInterruptTerminalOrSignal(evidence.terminal, evidence.signal);
+    for (const ev of led.flushHeld()) {
+        if (!rewrite || ev.type !== 'tool_end' || !isUserInterruptRewritable(ev, gateAborted)) {
+            yield ev;
+            continue;
+        }
+        yield { ...ev, output: HITL_INTERRUPT_MESSAGE_FOR_TOOL_USE };
+    }
+}
 /**
  * 🔴 **有序**(承重):分类器批3([907])的注释原文 = 「结构性识别(core 机器签名)优先于 fs
  * HOLD/REJECT 分支(签名比"fs 写报错"更特定;分类器 deny 从不产 tool_approval 帧,denied /
@@ -496,7 +597,8 @@ function routeDone(ev, ctx) {
         led.noteParkGate({ fsOrShellFamily: isFsOrShellToolName(ev.result.checkpointGate?.toolName) });
         return { kind: 'park', gate: 'fs', pendingDone: ev, ...(gatedCallId !== undefined ? { gatedCallId } : {}) };
     }
-    const events = [...led.flushHeld()]; // 真错(非 gate)的 Ask tool_end 此刻诚实渲染
+    // 真错(非 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;
@@ -532,7 +634,9 @@ export async function routeFrame(ev, ctx) {
         return routeSuspended(ev, ctx);
     if (ev.type === 'done')
         return routeDone(ev, ctx);
-    if (ev.type === 'failed')
-        return { kind: 'end', events: [...led.flushHeld(), ev] };
+    // 件 B:cancel settle 的终帧(`failed{errorCode:"cancelled"}`)就是「用户要停」的 wire 证据。
+    if (ev.type === 'failed') {
+        return { kind: 'end', events: [...flushHeldWithInterruptRewrite(led, { terminal: ev, signal: ctx.signal }), ev] };
+    }
     return { kind: 'yield', events: [ev] };
 }

package/dist/hitl/gateLedger.d.ts

@@ -173,6 +173,15 @@ export interface GateLedger {
     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;

package/dist/hitl/gateLedger.js

@@ -245,6 +245,9 @@ export function createGateLedger() {
             fsOrShellFamilyGate = evidence.fsOrShellFamily;
             heldSinceLastPark = false;
         },
+        hasBatchPark() {
+            return batchParkCount > 0;
+        },
         rememberAnswer(callId, answered) {
             resolvedAnswers.set(callId, answered);
         },