@sema-agent/client-core 0.30.7 → 0.31.0

package/CHANGELOG.md

@@ -16,6 +16,107 @@
 > 🔴 **互链**(web [C166]⑦):各版「已知局限」段只记**该版新增**;接入面已知局限的完整台账在
 > `docs/INTEGRATION-CLIENTS.md` §6e/§7 —— **只读其一会漏**,两处都过。
 
+## 0.31.0(未发布)
+
+**#242 批 3 fleet belt 对账承重批(design-242 §3 批 3;黑板 [4000] Q2=A / Q3=B 裁定执行)。
+🔴 BREAKING(行为面翻面两处,见下);公开面 additive 三件。**
+
+- 🔴 **BREAKING②/Q3 三腿翻面**:`getBgParentRun(x) ?? activeEngineRunId()` 的无条件回落**全部
+  移除**(`subagent/engineSubagentTail.ts` / `engineTaskHandleWire.ts:resolveHostRun` /
+  `engineSubagentOutput.ts`)。台账缺席时三条读面从「能连上(可能连错 run)」变成**「不连」**:
+  tail 不开流、`fetchEngineTaskOutput`/`fetchEngineSubagentReport` 回 null、`stopEngineTask` 回
+  `{ok:false, reason:'unavailable', detail:'no host run mapping'}`。理由 = resume 腿同口径
+  (「指名了行就诚实缺席」):进程级活跃 run 被并发 main/fork 流覆写,回落值可能指向**不相干的
+  run** —— 错值比缺席更坏(读错人 / stop 打错 run)。缺席**不静默**:新导出
+  `noteBgOwnerAbsence`(每 (腿,taskId) 至多一条 warn,`__resetBgOwnerAbsenceForTests` 测试钩)。
+  消费端零施工即得新行为;若端此前**依赖**回落连当前 run(不推荐),需自己喂
+  `recordBgParentRun`/`recordSubagentOwner`。
+- 🔴 **BREAKING①/belt 退休姿势根修**(design-242 §4.1 判 bug:belt 写留存池以「行还在 live 集」
+  为前提,而 `project()` 对留存条目一律 `taskMap.has ⇒ continue`,两半互斥 ⇒ 行帧丢失场景 belt
+  结构性零效果=「行永恒 running」主症不治)。`applyBgNotification` 终态臂现在把命中的 live 行
+  **退休**(`taskMap.delete`+`rowMeta.delete`+`retained.set`,与「终态行帧+同毫秒 task_remove」
+  逐段同构);**按尾段定位且全部命中**(server 双生行:裸 id 与 `runId childId` 复合形一起退休);
+  **零代际账**(不引入周期号/高水位/复活基准,`droppedStaleCycle*` 计数不复活;回声保护=状态面
+  方向规则+通知队列既有 `(taskId,status,seq)` 去重,复活保护=非终态行帧即清账,含双生行别名清扫)。
+  - **状态面单一判决点**:留存池行 status 与 `recordBgTerminalFacts` 事实台账共用同一份判决,
+    不分叉(REF-CC-040 腿三不变量延续)。**洗绿拦截**:已有终态真值 ∈ {failed,killed} 时
+    `completed` 通知不得改写(E4-2/G3);升级(completed→killed/failed)照常后到覆盖。
+  - **留存池更新不走 rowIds 门**(E4-6/G7):退休后同 task 的第二条终态通知仍能改写留存条目;
+    同值幂等重投不续窗(G5)。
+  - **通知面与状态面分开裁**(E4-8/G8):状态面判决任何一支都不吞 `enqueueBgChildNotification`。
+- **E4-7 解耦(additive①)**:`EngineActiveBgTask` 新增 `retiredByNotification?: boolean` ——
+  belt 退休且未过 `TERMINAL_RETAIN_MS` 窗的行**继续出现在在飞读面**(`readEngineActiveBgTasks`)
+  并带此标,消费方自裁;不消费=保守按在飞计(温切/升级门多 defer ≤60s,换「一条回声不能杀掉
+  真在跑子代」)。🔴 **残局 killed 合成(cap 强切/respawn)必须跳过带标行** —— 对已 completed
+  行合成 killed 是谎报。窗过即从读面消失;行帧车道重新开口(终态覆盖/非终态复活)即撤标。
+- **accepted 钩子(additive②)**:`FleetLedgerHooks.onBgNotificationAccepted?(n, rowIds)` ——
+  own/foreign 判别**通过之后**回调(foreign/畸形不回调);`rowIds` = 到达时刻按键域命中的 live
+  行 id 快照(退休前取)。端从此零归属逻辑零复刻(壳侧 meta 两位门同批删)。钩子抛错不拆台账。
+- **additive③**:导出 `FleetBgNotificationWire`(钩子参数型)。
+- 常驻门:pure 门新增 `#242批3` 段(G1-G8 可离线序 + Q3 三腿缺席/反钉 + 洗绿方向规则 + 读面
+  解耦窗界),floor 零松量抬升。
+
+## 0.30.8(2026-08-15)
+
+**server 7.23.0 / core 5.35.0 三键透传批(#281 件4b + #263 半场,[4037] 认领件的 client-core 半场)
+——公开面 **additive**,零 BREAKING;唯一非 additive 的一行是 SDK peer 地板(见末段):**
+
+- **`tool_end` 的 `settledBy` / `approver` 到得了宿主了**(#263 半场)。`eventToSdkMessage` 的
+  `case 'tool_end'` 臂此前是**闭形白名单**,两键在包边界上被整段剥掉 ⇒ 三端无论怎么写都读不到一条
+  **已经在 wire 上**的事实(`toolCallId` [1947] / `governanceForced` [2942] 同款病形第三例)。
+  - `settledBy` = 这次调用**是怎么结算的**(core ≥5.18.1 #187:`human`/`timeout`/`aborted`);
+    `approver` = **是谁结算的**(core ≥5.35.0 design/252 G-7 / server ≥7.23.0:审批通道自报的身份串)。
+  - **两键合读**:`settledBy` 说哪一种收场,`approver` 说是谁的 —— `settledBy:"timeout"` 带 approver
+    时,名字指的是**超时的那条队列**,不是拒绝的人。
+  - 🔴 **开集读**:`settledBy` 的类型面虽是三词闭集,SDK 头注逐字要求按开集读(词表属主是引擎)
+    —— 消费方分支已知值、**永远带 default**,绝不写无 default 的穷举 switch;`approver` 本就无词表。
+  - 🔴 **缺席不带语义,不许反推**:`settledBy` 缺席既不等于 `human` 也不等于「没走审批」(旧引擎 /
+    姿态臂故意不填,两源同形);`approver` 缺席永不意味「没人批」也永不意味「有人批」。⇒ 本包
+    **缺席就不铸键**(绝不折成 null/空串/false)。判运行命运请读 run 行 / checkpoint 面。
+  - 🔴 `approver` 是 **UNTRUSTED-for-display**:**转录不是认证**(core 只筛形 ≤256 + 拒控制符/双向
+    覆盖符,不鉴别不比对不回读;server 过境再打一遍密钥形码)。只渲染,绝不回喂模型/工具入参,
+    更不许当鉴权判据。本层**零加工**(不 trim 不截断不改写),宿主看到的就是通道报的那个字节串。
+  - 读面类型:`ToolEndResultArmLike` 补 `settledBy?: unknown` / `approver?: unknown`(该形整体就是
+    内部臂的**防御性读形**)。**`ToolEndPayload` 刻意不动** —— 它是关卡切片不是臂镜像,加一个没有
+    落点的键 = 一句「关卡会用到它」的假话(同 `errorCode` 自 core 5.9.0 起的既有处置)。
+- **`tool_approval.ruleEvidence` 帧 → 卡透传**(#281 件4b;server ≥7.23.0 / core 5.35.0 design/252
+  G-2,`"tool_approval"` only)。`ToolApprovalFrame` / `ApprovalCardRequest` 双侧补键 + 活卡帧腿
+  re-mint 处 stamp,壳的 `ruleEvidenceNote` 窄读器(已在位)自此有真值可读。
+  - 语义:这只 ask 背后的**规则出处证据** —— 组织策略快照 `orgRevision`、命中的组织规则原文
+    `orgRule`、被越级的个人规则 add dots `personalRuleDots`(**构造上就是数组**,按数据渲染/对账,
+    绝不 join 成标量 id)。每个成员各自是「值 **⊕** 具名缺席」(`…Absent`;上游五词 `not_wired` /
+    `not_adjudicated` / `unavailable` / `no_match` / `not_reported`,**按开集读** —— 词表属主是引擎)。
+  - 🔴 **消费方必看**:具名缺席 **≠** 省略键,而且 live 实测**无治理车道**部署下引擎对**每一只**
+    ask 都 stamp 全具名缺席(`{"orgRevisionAbsent":"not_wired",…}`)——[4051] 定性为**契约行为非
+    缺陷**。⇒ 「在场即渲」的天真消费形会给每张审批卡糊三行 not wired。呈现必须带**谓词**:成员
+    **有值**、或缺席词**不在良性白名单**(`unavailable` = 审计链断,恒可见;未知词可见)才占卡面
+    一行。该形由 [4051] 背书为正解,web/desktop 渲此键照此抄。
+  - 🔴 **窄读域只许等于或宽于铸点域,绝不更窄**(随批立的消费纪律):整只拒读语义下「更窄」会**连坐
+    吞掉**同记录里兄弟成员的合法证据。
+  - 🔴 **包只判载体形**(非 null 非数组对象)+ 原样搬运(类型 = `unknown` 开集,与 `probeCause` 同裁);
+    成员级窄读与呈现谓词**单源在端**。两键共用同一把载体判词(`isProbeCauseCarrier` 更名
+    `isWireRecordCarrier`,私有函数,公开面零变化)。
+  - 🔴 **耐久路今天无对偶**:sdk 7.1.0 只在 `ToolApprovalFrame` 上声明该键,`PendingCheckpoint` /
+    `riskDescriptor` 两处都没有 ⇒ durable 行 → 卡那条腿**刻意零 stamp**(不去猜一个载体名:猜对了
+    是恒 undefined 的白写,猜错了是拿另一个量冒充同一位),已登记进 durable 门的未投影账。上游补位
+    后按 `probeCause` 的双源合流形跟批。
+- **键镜像追平**:`TOOL_APPROVAL_FRAME_KEYS_MIRROR` 16 → **17 键**(补 `ruleEvidence`)。sdk 7.1.0 的
+  运行期锚**已含** `probeCause` 与 `ruleEvidence` 两键 ⇒ 0.30.4 立的 `probeCause` **领先登记
+  (AHEAD_OF_ANCHOR)按它自己的退出条件同批删除**,领先表**回空**=镜像与锚逐元素相等、零豁免。
+
+**🔴 唯一非 additive 的一行 —— SDK peer 地板 `>=6.17.2` → `>=7.1.0`(跨 major)**:
+
+- **本包代码面对 6.x 消费者零破坏**(三键全是开集防御读,不依赖 7.x 的任何运行期符号);抬地板是
+  **两道门的合取结论**,不是版本洁癖:①`run-approval-frame-keys-test.mjs` 是**等值**门,而
+  `ruleEvidence` 只在 sdk ≥7.1.0 的运行期锚上出现,<7.1.0 的实装物上本包镜像会被判「多键」;
+  ②`run-public-surface-test.mjs` ⑤ 要求**声明地板不低于见证到的最低实装版本** —— devDep 与 sema-cli
+  树同批上 7.1.0 后,盘上再无 6.17.2 那条线的实装物,继续声明 `>=6.17.2` 就是承诺一条从没有物料
+  证明跑过的下线(README 同段逐字:*"A floor nobody ever ran is a promise, not a contract"*)。
+- **消费侧影响**([4050] 已点名):cli / web 已提 7.1.0;**desktop 仍在 6.16.0**,在它跟提之前装本包
+  会看到 peer 警告(不是安装失败,也不是运行期错误)。
+- sdk 7.0.0 的 BREAKING 面(images/bakes 输入收窄 + `ImageSelectResult` 形变)对本包**零受迫**:
+  `src/**` 对 `images.` / `bakes` / `ImageSelect` / `.select(` 全树零调用点(本批亲跑直证)。
+
 ## 0.30.7(2026-08-15)
 
 **#242 批 2 subagent 归属单表 + resume 腿归位(A-028.6/.7 收编)——公开面 additive,一处行为面加强:**

package/README.md

@@ -35,7 +35,7 @@ Renamed from **`@sema-agent/wire-cc-adapter`** (0.1.x, deprecated — see *Migra
 
 ## Scope
 
-**Version:** 0.30.6
+**Version:** 0.31.0
 
 - **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
@@ -65,7 +65,7 @@ Renamed from **`@sema-agent/wire-cc-adapter`** (0.1.x, deprecated — see *Migra
     `SseIdleError`, `probeHealth`, `APIError` and `TaskStopConflictError` are imported as values in
     five modules, and the browser bundle really bundles the SDK through (the portability guard would
     exit 3 rather than quietly mark it external).
-  - The declared floor is `>=6.17.2`, and it is *witnessed*: the guard checks that an actually
+  - The declared floor is `>=7.1.0`, and it is *witnessed*: the guard checks that an actually
     installed SDK at that line still exports every value-level symbol this package imports and still
     declares `TaskStats.costMicroUsd` (the key `costOrNull` reads). A floor nobody ever ran is a
     promise, not a contract.

package/dist/adapt/toolCards.d.ts

@@ -32,7 +32,17 @@ export interface PendingToolUse {
     eventId?: string;
     parentToolCallId?: string;
 }
-/** `tool_end_result` 帧上与关卡有关的那几位(原 `buildToolResult` 的内联入参形,具名化)。 */
+/**
+ * `tool_end_result` 帧上**与关卡有关的那几位**(原 `buildToolResult` 的内联入参形,具名化)。
+ *
+ * 🔴 本形**不是** `tool_end_result` 臂的镜像,是它的**关卡切片** —— 只收「铸这张 tool_result 卡真正
+ * 要读的位」。臂上另有若干**开集观察位**按设计**不进本形**:`errorCode`(core 5.9.0 W3)、
+ * `settledBy`(core 5.18.1 #187)、`approver`(core 5.35.0 / server 7.23.0 #263)。它们由
+ * `eventToSdkMessage` 的 `case 'tool_end'` 臂原样上臂、由**宿主/桥**直接从臂上读(壳 upstreamBridge、
+ * print 车道 {@link import('../printToolResultFrame.js').ToolEndResultArmLike}),卡台账一位都不消费。
+ * 往本形加一个没有落点的键 = 一句「关卡会用到它」的假话(声明与产物对不上,且没有任何门会响);
+ * 真要让转录卡带上结算归属,那是一件**新的呈现设计**(需定 `_sema_` 超集键 + 台账登记),不是透传。
+ */
 export interface ToolEndPayload {
     output?: unknown;
     structured?: unknown;

package/dist/adapter/activeRunSelfHeal.js

@@ -21,8 +21,11 @@
  *   ② 审批/提问门(human / irreversible_ask / tool_approval)⇒ **重开那张卡**(把决定权还给
  *      用户;cancel+自动重发臂已整退役 —— 实证它是「新消息→cancel→新 run 同 ask 再 park」的
  *      循环病根;重开失败也只如实告知,绝不回退 cancel)。
- *   ③ `running`(或任何非 park 态)⇒ **什么都不做**。持有 claim 的可能是用户背景化的 durable
- *      run,正在替他干活;见 409 就 cancel = 销毁他明确要求的工作。
+ *   ③ `running` ⇒ **呈 steer/cancel/wait 三选卡**(runningChoiceArm;offerRunningChoice 供给
+ *      缺席即回落 not-parked 现状行不动)。持有 claim 的可能是用户背景化的 durable run,正在替
+ *      他干活——绝不见 409 就自动 cancel,决定权给用户。新结局五个:running-steered /
+ *      running-steer-failed / running-cancelled / running-cancel-timeout / running-cancel-failed;
+ *      cancel 后走有界等 claim 释放腿(waitForClaimRelease,CANCEL_RELEASE_WAIT_MS 封顶)。
  *   ④ kind/status 两级都判不出(含今天还不存在的新门/新状态)⇒ 也什么都不做,如实告知。
  *      不确定时不做破坏性动作;新词到货时最坏结果是保守,而不是拿没想过的词做破坏性动作。
  *

package/dist/adapter/downstream/eventToSdkMessage.js

@@ -205,6 +205,26 @@ export function eventToSdkMessage(ev, ctx) {
             //    绝不按识别表过滤(过滤 = 替引擎决定哪些原因配得上被看见)。判别用
             //    `engineErrorCodes.isInterruptedToolEndCode`,不要在消费点重新写字面比较。
             const toolEndErrorCode = ev.errorCode;
+            // ── #263 半场(0.30.8):`settledBy`(core ≥5.18.1,#187)/ `approver`(core ≥5.35.0
+            //    design/252 G-7,server ≥7.23.0)—— 这次调用**是怎么结算的**与**是谁结算的**。
+            //    两键在 SDK 头注里明说要**合读**:`settledBy` 说这次收场是哪一种,`approver` 说是谁的
+            //    (`settledBy:"timeout"` 带 approver 时,名字指的是**超时的那条队列**,不是拒绝的人)。
+            //    此前本臂是闭形白名单,两键在包边界上被整段剥掉 ⇒ 宿主(壳/web/desktop)无论怎么写都读不到
+            //    一条**已经在 wire 上**的事实 —— [1947] `toolCallId` / [2942] `governanceForced` 同款病形第三例。
+            // 🔴 **开集防御读**(与上面 `errorCode` 同姿势):`settledBy` 的类型面虽是三词闭集,SDK 头注却
+            //    逐字要求「按**开集**读、分支已知值、忽略其余」—— 词表属主是引擎,窄读成枚举会在加员当天把
+            //    一个**合法**值判没;`approver` 本就是无词表的开集身份串。两键一律「非空串即原样透传」,
+            //    绝不按识别表过滤,也绝不 trim/截断/改写(core 只筛形 ≤256 且拒控制符/双向覆盖符,server
+            //    过境再打一遍密钥形码;本层任何加工都会让宿主看到的名字不再是通道报的那一个)。
+            // 🔴 **缺席不带语义,不许反推**(SDK 头注逐字):`settledBy` 缺席至少两源(旧引擎;姿态臂如
+            //    headless auto-deny / 整体 `onAsk` 放行 —— 那些结局里没有「结算来源」这回事),既不等于
+            //    `human` 也不等于「没走审批」;`approver` 缺席 = 通道没报名字,永不意味「没人批」也永不
+            //    意味「有人批」。⇒ 缺席就**不铸键**(绝不折成 null / 空串 / false)。判这次运行的命运读
+            //    run 行 / checkpoint 面,别拿这两键当判据。
+            // 🔴 **UNTRUSTED-for-display**:`approver` 是部署侧审批通道**自报**的身份串,转录不是认证
+            //    (core 不鉴别、不比对、不回读)—— 只渲染,绝不回喂模型/工具入参,更不许当鉴权判据。
+            const toolEndSettledBy = ev.settledBy;
+            const toolEndApprover = ev.approver;
             return projected(stamp(ctx, armBody({
                 type: 'tool_end_result',
                 toolCallId: ev.toolCallId,
@@ -220,6 +240,13 @@ export function eventToSdkMessage(ev, ctx) {
                 ...(ev.output !== undefined ? { output: ev.output } : {}),
                 ...(structured !== undefined ? { structured } : {}),
                 ...(ev.truncated !== undefined ? { truncated: ev.truncated } : {}),
+                // #263 半场:结算种类 + 结算方身份(开集、缺席不铸、在场原样;顶部大段头注是判据本体)。
+                ...(typeof toolEndSettledBy === 'string' && toolEndSettledBy.length > 0
+                    ? { settledBy: toolEndSettledBy }
+                    : {}),
+                ...(typeof toolEndApprover === 'string' && toolEndApprover.length > 0
+                    ? { approver: toolEndApprover }
+                    : {}),
                 ...(ev.eventId !== undefined ? { eventId: ev.eventId } : {}),
                 ...(ev.parentToolCallId !== undefined
                     ? { parentToolCallId: ev.parentToolCallId }

package/dist/agentSession/backgroundView.d.ts

@@ -64,7 +64,7 @@
  *        `src/subagent/engineTaskHandleWire.ts`(`POST /v1/runs/:id/tasks/:handle/stop?session=`)。
  *        **handle 取法**:复合 id `"<runId> <taskId>"` 取尾段 = 引擎 taskId —— 包内已有同语义实现
  *        `rowIdTail()`(`src/workflow.ts:24`,导出;`src/fleetAgentPanelProjection.ts:94` 有零依赖叶
- *        的私有同款副本);宿主 run 解析走 `getBgParentRun(handle) ?? activeEngineRunId()`。
+ *        的私有同款副本);宿主 run 解析走 `getBgParentRun(handle)`(#242 批 3 起台账缺席即诚实缺席,绝不回落活跃 run)。
  *        **能力门** = `capabilities.taskHandles`(`src/subagent/engineRowStopGate.ts`
  *        `engineTaskHandlesCapable()`),🔴 别 trial-by-404。
  *        **回执纪律**(同文件 `engineRowNeedsStopConfirm()`):只有 **200 算停了**;409

package/dist/fleet/fleetLedger.d.ts

@@ -52,6 +52,20 @@ export interface EngineActiveBgTask {
     /** fleet 行的 parentId(spawn 该子代的 run 行 id;顶层 run 行缺席)—— killed 残局合成通知的
      *  own/foreign 判别用。 */
     parentId?: string;
+    /**
+     * 🔴 #242 批 3(E4-7 解耦,design-242 §2.2-5):true = 该行由 **belt(终态通知)退休**、且仍在
+     * `TERMINAL_RETAIN_MS` 窗内。行帧车道**没有**为它 settle 过(终态行帧丢失,状态由通知车道推定)。
+     * 语义与消费纪律:
+     *   · 这行**按在飞计**是保守默认(在读面里出现 ⇒ 温切/升级门 defer)——通知车道没有代际号,
+     *     误退休(旧周期回声退休了复活行)不可排除,而「多等一窗可恢复,杀错在跑子代不可恢复」;
+     *   · 消费方**可以自裁**:它的 `status` 是终态词(诚实),带本标 ⇒ 「通知说它完了、行帧没确认」。
+     *     🔴 残局 killed 合成(温切 cap 强切 / configDrift respawn)必须**跳过**带本标的行 ——
+     *     对一条已 completed 的行合成 killed 通知是谎报;
+     *   · 窗过(`TERMINAL_RETAIN_MS`)即从读面消失;行帧车道一旦重新开口(终态行帧到达覆盖 /
+     *     非终态行帧复活)本标即撤。
+     * 行帧车道 settle 的行(终态行帧 + task_remove)**从不**带本标,也从不进这个读面(与旧行为同)。
+     */
+    retiredByNotification?: boolean;
 }
 export interface EngineActiveBgReading {
     tasks: EngineActiveBgTask[];
@@ -106,6 +120,18 @@ export interface FleetLedgerHooks {
      * 返回值忽略;不给 = 该帧被静默丢弃(端没有承载面时的正确行为)。
      */
     onHookNotice?(frame: HookNoticeFrame, sessionScoped: boolean): void;
+    /**
+     * 🔴 #242 批 3(design-242 §2.2-3,壳侧 fleetClient「长线正解已记账:请 client-core 在归属判定
+     * **通过之后**给一个 accepted 钩子,壳改接它」的兑现):`bg_notification` 帧经本台账的
+     * own/foreign 判别(serverFailClosed / ownByRoot / parentTaskId ∈ own-run 台账)**放行之后**回调。
+     *   · 被隔离丢弃(foreign)/畸形早退的通知**不**回调 —— 钩子的语义就是「归属判定已通过」;
+     *   · 终态与非终态通知都回调(状态筛选归消费方);
+     *   · `rowIds` = 到达时刻 live 集里按键域(整行 id + 尾段)命中的行 id(可能为空 = 行帧车道
+     *     没有这行;可能多条 = server 双生行)。快照取在退休动作**之前**;
+     *   · 钩子抛错不拆台账(try/catch + debug 留痕),与帧消费循环隔离。
+     * 端从此**零归属逻辑、零复刻**(壳侧 meta 两位门 [cross-repo-fix-at-source] 同批整条删)。
+     */
+    onBgNotificationAccepted?(n: FleetBgNotificationWire, rowIds: readonly string[]): void;
 }
 /** REF-CC-044(fleet2-06)/REF-CC-039(fleet2-01):`createFleetLedger` 的可选装配位。 */
 export interface CreateFleetLedgerOptions {
@@ -162,3 +188,11 @@ export interface FleetLedger {
  * (这条切缝就是设计稿 §2.5 给 fleetClient 划的那一刀:帧体归库、连接归端。)
  */
 export declare function createFleetLedger(hooks?: FleetLedgerHooks, opts?: CreateFleetLedgerOptions): FleetLedger;
+/**
+ * `bg_notification` 帧的通知体 wire 形(SDK `FleetFrame` 联合的具名臂投影)。
+ * #242 批 3 起公开导出 —— `FleetLedgerHooks.onBgNotificationAccepted` 的参数型,端(壳/web/桌面)
+ * 接钩子要能写出这个签名。开集读纪律不变:键随 SDK 走,消费方防御读。
+ */
+export type FleetBgNotificationWire = Extract<FleetFrame, {
+    type: 'bg_notification';
+}>['notification'];

package/dist/fleet/fleetLedger.js

@@ -4,7 +4,7 @@ import { engineSessionParam } from '../engineSessionParam.js';
 // `isHookNoticeFrame` 不在这里 re-export —— 它已由 index.ts 的 `export * from './notifications.js'`
 // 出口(重复 re-export 只会让同名绑定在包根变含糊)。端要先分诊再喂台账,从包根 import 即可。
 import { enqueueBgChildNotification, isOwnWorkflowRun } from '../notifications.js';
-import { isOwnEngineRun, recordBgParentRun, recordBgTerminalFacts, recordOwnEngineRun, } from '../subagentContentStore.js';
+import { clearBgTerminalFacts, getBgTerminalFacts, isOwnEngineRun, recordBgParentRun, recordBgTerminalFacts, recordOwnEngineRun, } from '../subagentContentStore.js';
 import { rowIdTail } from '../workflow.js';
 import { recordEngineTranscriptId } from '../subagent/engineDelegatedPrompt.js';
 import { DEFAULT_SESSION_KEY } from '../sessionSlot.js';
@@ -111,7 +111,10 @@ export function createFleetLedger(hooks = {}, opts = {}) {
     /** [1481]①「elapsed 恒 0s」补偿:记每行**本地接收**时刻(引擎只在活动边界重发行)。
      *  REF-CC-039:字段标域改名 `receivedAtMs` —— 装的是 `nowFn()`,绝不是 wire 上的 `frame.ts`。 */
     const rowMeta = new Map();
-    /** [1481]②「完成即消失」补偿:终态行进留存池,宽限窗内继续投影。`expireAt` 同样锚本地钟。 */
+    /** [1481]②「完成即消失」补偿:终态行进留存池,宽限窗内继续投影。`expireAt` 同样锚本地钟。
+     *  #242 批 3:`retiredByNotification` 标 = 该条目由 belt(终态通知)退休写入,行帧车道没为它
+     *  settle 过 —— 在飞读面(`bgView.read`)对带标且未过窗的条目**继续按在飞计**(E4-7 解耦,
+     *  见 `EngineActiveBgTask.retiredByNotification` 顶注);行帧路径写入的条目从不带标。 */
     const retained = new Map();
     /** REF-CC-051(fleet2-13):畸形帧/通知早退计数(与同文件的策略性丢弃 debug 行对称留痕)。 */
     let droppedMalformed = 0;
@@ -128,27 +131,48 @@ export function createFleetLedger(hooks = {}, opts = {}) {
         if (engineWireDebugEnabled())
             hostLog('debug', line);
     };
+    /** wire 行 → 在飞读面行的单一投影点(live 臂与 belt 退休臂共用;两臂各写一份就会在 name/status
+     *  的三态处理上漂开)。 */
+    const toBgTask = (r, retired) => {
+        const parentId = wireParentId(r);
+        return {
+            id: r.id,
+            // REF-CC-046(fleet2-08,含 TYPESHAPE-06):与 parentId 同款条件展开 —— `name` 是三态位
+            // (server ≥3.5.1 起真的会缺席),无条件落键会让「键在不在」判三态在序列化边界翻面。
+            ...(typeof r.name === 'string' && r.name.length > 0 ? { name: r.name } : {}),
+            // REF-CC-052(fleet2-14):`status` 是 SDK 必填闭集,但脏值/缺席仍可能到达 wire —— 不知道
+            // 就说不知道,`'unknown'` 是自描述哨兵,绝不编造一个具体的、看似活跃的 `'running'`。
+            status: r.status ?? 'unknown',
+            // REF-CC-049(fleet2-11):经 wireParentId 单一铸点(悬空父脏值空串按缺席处理)。eopt:
+            // 局部变量先取一次(两次裸调用之间 TS 不共享窄化,双调用会重新变宽成 string|undefined)。
+            ...(parentId !== undefined ? { parentId } : {}),
+            ...(retired ? { retiredByNotification: true } : {}),
+        };
+    };
     const bgView = {
-        read: () => ({
-            connected,
-            rows: [...taskMap.values()]
+        read: () => {
+            const rows = [...taskMap.values()]
                 .filter(r => !TERMINAL_FLEET_TASK_STATUSES.has(r.status ?? ''))
-                .map(r => {
-                const parentId = wireParentId(r);
-                return {
-                    id: r.id,
-                    // REF-CC-046(fleet2-08,含 TYPESHAPE-06):与 parentId 同款条件展开 —— `name` 是三态位
-                    // (server ≥3.5.1 起真的会缺席),无条件落键会让「键在不在」判三态在序列化边界翻面。
-                    ...(typeof r.name === 'string' && r.name.length > 0 ? { name: r.name } : {}),
-                    // REF-CC-052(fleet2-14):`status` 是 SDK 必填闭集,但脏值/缺席仍可能到达 wire —— 不知道
-                    // 就说不知道,`'unknown'` 是自描述哨兵,绝不编造一个具体的、看似活跃的 `'running'`。
-                    status: r.status ?? 'unknown',
-                    // REF-CC-049(fleet2-11):经 wireParentId 单一铸点(悬空父脏值空串按缺席处理)。eopt:
-                    // 局部变量先取一次(两次裸调用之间 TS 不共享窄化,双调用会重新变宽成 string|undefined)。
-                    ...(parentId !== undefined ? { parentId } : {}),
-                };
-            }),
-        }),
+                .map(r => toBgTask(r, false));
+            // 🔴 #242 批 3(E4-7 解耦,design-242 §2.2-5):belt 退休、仍在留存窗内的行**继续出现在
+            //    在飞读面**(带 `retiredByNotification` 标,消费方自裁;不消费该标 = 保守按在飞计)。
+            //    为什么不能直接消失:这条读面的下游是引擎温切门(`readEngineActiveBgTasks` →
+            //    `engineSwapGate` 空集即 SIGTERM 旧引擎)—— 通知车道无代际号,误退休(旧周期回声)
+            //    不可排除;从读面瞬间消失 = 一条回声就能杀掉真在跑的子代,不可恢复且无留痕。
+            //    窗界:`expireAt`(= 退休时刻 + TERMINAL_RETAIN_MS)自查,不依赖 `project()` 的惰性清扫
+            //    (headless 车道可能整窗不投影);live 行回场(复活/终态行帧)即让位(taskMap 优先)。
+            const nowMs = nowFn();
+            for (const [id, r] of retained) {
+                if (r.retiredByNotification !== true)
+                    continue;
+                if (nowMs > r.expireAt)
+                    continue;
+                if (taskMap.has(id))
+                    continue;
+                rows.push(toBgTask(r.row, true));
+            }
+            return { connected, rows };
+        },
         sessionScoped: () => sessionScopedMeta,
         clearRetained: () => {
             retained.clear();
@@ -190,6 +214,19 @@ export function createFleetLedger(hooks = {}, opts = {}) {
                 for (const row of frame.tasks) {
                     taskMap.set(row.id, row);
                     rowMeta.set(row.id, { receivedAtMs });
+                    // #242 批 3(codex P-F1,红先绿后=B3-G4b):snapshot(重连 REPLACE)腿与增量 task 帧腿
+                    // 的复活语义**同权** —— snapshot 带回的非终态行,其全部别名(同尾段)的 belt 退休条目
+                    // 一并清,否则重连别名切换(裸 id 退休 → 复合 id running 回归)会产出「复合 running +
+                    // 裸 completed(带标)」双影。终态行不清(与增量腿同判);snapshot 里**没有**的任务,
+                    // 留存条目照旧保留(R7 反钉:重连不抽走已完成行)。
+                    if (!TERMINAL_FLEET_TASK_STATUSES.has(row.status ?? '')) {
+                        const tail = rowIdTail(row.id);
+                        for (const id of [...retained.keys()]) {
+                            if (rowIdTail(id) === tail)
+                                retained.delete(id);
+                        }
+                        clearBgTerminalFacts(tail); // 复活=新周期,与增量腿同权(B3-N3)
+                    }
                 }
                 for (const row of frame.workflows)
                     wfMap.set(row.id, row);
@@ -242,9 +279,28 @@ export function createFleetLedger(hooks = {}, opts = {}) {
                 // 的 `!retained.has()` 前提失守,第二周期的终态被首周期的陈旧快照挡在门外。
                 if (TERMINAL_FLEET_TASK_STATUSES.has(row.status ?? '')) {
                     retained.set(row.id, { row, expireAt: receivedAtMs + TERMINAL_RETAIN_MS });
+                    // 终态行帧到达=行帧车道开口(顶注契约:本标即撤)——双生行**另一别名**的 belt 退休
+                    // 条目一并删(0.31.0 扫码 P3,B3-N2),否则同一任务整 60s 窗按在飞多算。
+                    const tailT = rowIdTail(row.id);
+                    for (const id of [...retained.keys()]) {
+                        if (id !== row.id && rowIdTail(id) === tailT)
+                            retained.delete(id);
+                    }
                 }
                 else {
                     retained.delete(row.id);
+                    // #242 批 3(G4 双生行半场):复活 = 这个任务活着,**全部别名**(裸 id ↔ `runId childId`
+                    // 复合形共享同一尾段 = 引擎 taskId 键域)的陈旧终态快照一并清 —— 只清整 id 会留下另一
+                    // 别名的 belt 退休条目,project 会把它当第二条行渲出来(一活一死的双影),读面也会把
+                    // 一条真在跑的任务同时按「退休中」计。尾段全局唯一(引擎 handle 域),不会误清邻行。
+                    const tail = rowIdTail(row.id);
+                    for (const id of [...retained.keys()]) {
+                        if (id !== row.id && rowIdTail(id) === tail)
+                            retained.delete(id);
+                    }
+                    // 复活=新周期:旧周期终态事实作废(0.31.0 扫码 P2,B3-N3)——不清则 factsAccepted
+                    // 的方向核把上周期 killed 当先例,第二周期合法 completed 被当洗绿回声拒收。
+                    clearBgTerminalFacts(tail);
                 }
                 break;
             }
@@ -320,58 +376,177 @@ export function createFleetLedger(hooks = {}, opts = {}) {
             return;
         }
         debug(`[fleet-frame] bg_notification taskId=${n.taskId} status=${n.status} seq=${n.seq ?? '-'}`);
+        // 键域(#242 批 3):`n.taskId` = registry handle = 行 id 的**尾段**。live 集按「整行 id 或
+        // 尾段命中」收齐**全部**别名(server 双生行:裸 id 与 `runId childId` 复合形同时在场时两条
+        // 一起处理)—— 快照取在任何退休动作之前,原样交给 accepted 钩子。首段(runId)绝不作键
+        // (同 run 兄弟行共享首段,按它匹配 = 一条通知误退休全部并发兄弟)。
+        const rowIds = [];
+        for (const id of taskMap.keys()) {
+            if (id === n.taskId || rowIdTail(id) === n.taskId)
+                rowIds.push(id);
+        }
         if (TERMINAL_FLEET_TASK_STATUSES.has(n.status)) {
             if (typeof n.parentTaskId === 'string' && n.parentTaskId) {
                 recordBgParentRun(n.taskId, n.parentTaskId);
             }
             // `transcriptId`(server 1.278.0)= 委派 prompt 的取件锚。现势:通知帧是它**今天真的在场**
             // 的主要位置(行帧那条腿已同款接好,引擎一发即亮 —— 见 case 'task')。
+            // (寻址/取件锚不随下方状态面判决走:回声通知携带的 id 映射仍是真映射。)
             if (typeof n.transcriptId === 'string' && n.transcriptId.length > 0) {
                 recordEngineTranscriptId(n.taskId, n.transcriptId);
             }
+            // ── #242 批 3 belt 根修(design-242 §4.1 判 bug;E4-1/2/6/7 覆盖,零代际账)────────────
+            // 旧形的配对失配:belt 只在 `taskMap.get(n.taskId)` 命中时写 `retained`,而 `project()` 对
+            // 留存条目一律 `taskMap.has(id) ⇒ continue` —— 两条件互斥,belt 写进去的那条当拍必被跳过,
+            // 唯一显形路径是随后的 `task_remove`,而 belt 存在的全部理由恰是「终态行帧(与它同毫秒的
+            // remove)丢了」⇒ 对主症(行永恒 running)结构性零效果。
+            // 新形:通知命中 live 行 ⇒ **退休**(`taskMap.delete` + `retained.set`),与「终态行帧 +
+            // 同毫秒 task_remove」那条路逐段同构;定位按尾段且全部命中(双生行一起退休)。
+            //
+            // 🔴 状态面单一判决点(两读面 —— 留存池行 status 与 `recordBgTerminalFacts` 台账 —— 共用
+            //    同一份判决,绝不各判各的;REF-CC-040 腿三「不分叉」不变量的延续):
+            //    · **洗绿拦截**(E4-2/G3 的可执行形):已有终态真值 ∈ {failed, killed} 时,`completed`
+            //      通知不得改写它 —— 把失败洗成成功是伤害型谎报。「已终态行不覆盖 retained」守卫按
+            //      方向落地而非按字面:字面全禁会与 REF-CC-040 腿三(行帧 completed 在先、通知 killed
+            //      在后 ⇒ 通知是 settle 权威,两读面必须同说 killed)直接矛盾 —— 同为「行车道已终态 +
+            //      通知异词」,升级(completed→killed/failed)是新知识,降级洗绿是回声。
+            //    · **不引入任何代际账**(E4-1/3/4/5 的共同宿主整套不复活):回声保护 = 方向规则(无状态)
+            //      + `enqueueBgChildNotification` 既有 (taskId,status,seq) 去重;复活保护 = 非终态行帧
+            //      即清账(case 'task' else 臂,含双生行别名清扫)。`droppedStaleCycle*` 计数不复活。
+            //    · **无早退**(E4-8/G8):状态面判决无论落哪支,通知面(`enqueueBgChildNotification`)
+            //      与 accepted 钩子照常执行 —— 通知面与状态面分开裁。
+            const isWashGreen = (prior, next) => next === 'completed' && (prior === 'failed' || prior === 'killed');
+            const coerced = n.status;
+            const nowMs = nowFn();
+            const writtenIds = new Set();
+            let applied = false;
+            let washBlocked = false;
+            for (const id of rowIds) {
+                const known = taskMap.get(id);
+                if (!known)
+                    continue;
+                const rowStatus = known.status ?? '';
+                if (TERMINAL_FLEET_TASK_STATUSES.has(rowStatus)) {
+                    // 行车道已 settle 本行(终态行帧在先):retained 已由 case 'task' 写入行帧真值。
+                    if (isWashGreen(rowStatus, n.status)) {
+                        washBlocked = true;
+                        debug(`[fleet-frame] bg_notification WASH-GREEN blocked(row=${id} row-status=${rowStatus} notif=${n.status})`);
+                        continue; // G3:`task_remove` 之后投影仍是行帧真值(failed),不被通知洗绿
+                    }
+                    if (rowStatus !== n.status) {
+                        // 升级(REF-CC-040 腿三):通知是 settle 权威,两读面同步改写,不分叉。
+                        retained.set(id, { row: { ...known, status: coerced }, expireAt: nowMs + TERMINAL_RETAIN_MS });
+                    }
+                    writtenIds.add(id);
+                    applied = true;
+                    // live 终态行不动(remove 帧随后清;终态行不进在飞读面,留着无害且行车道语义完整)。
+                }
+                else {
+                    // 退休:live 行离开在飞集,进留存池,带 E4-7 解耦标(见 bgView.read)。
+                    // elapsed 在退休时刻**铸一次冻结值**(project() 对 live 行的同一公式):行帧丢失场景
+                    // wire 上最后一帧的 elapsedMs 是陈旧值(常为 0)——不铸的话完成行的计时器渲 0,
+                    // 与 A-024.8「翻 status 与冻 elapsed 必须同一刀」同病。诚实边界:冻的是通知到达时刻,
+                    // 是上界不是精确完成时刻(通知不带可信完成时钟)。
+                    const started = known.startedAt;
+                    const meta = rowMeta.get(id);
+                    const frozenElapsed = typeof started === 'number' && started > 0 && started <= nowMs
+                        ? nowMs - started
+                        : meta !== undefined
+                            ? (known.elapsedMs ?? 0) + Math.max(0, nowMs - meta.receivedAtMs)
+                            : known.elapsedMs;
+                    taskMap.delete(id);
+                    rowMeta.delete(id);
+                    retained.set(id, {
+                        row: {
+                            ...known,
+                            status: coerced,
+                            ...(typeof frozenElapsed === 'number' ? { elapsedMs: frozenElapsed } : {}),
+                        },
+                        expireAt: nowMs + TERMINAL_RETAIN_MS,
+                        retiredByNotification: true,
+                    });
+                    writtenIds.add(id);
+                    applied = true;
+                }
+            }
+            // E4-6(G7):留存池更新**不以 live 行在场为前提**,按尾段独立成路 —— 退休后同 task 的
+            // 第二条终态通知(completed→killed)必须仍能改写留存池,否则面板绿而详情页 killed。
+            for (const [id, entry] of retained) {
+                if (writtenIds.has(id))
+                    continue;
+                if (id !== n.taskId && rowIdTail(id) !== n.taskId)
+                    continue;
+                const prior = entry.row.status ?? '';
+                if (prior === n.status) {
+                    applied = true; // 幂等重投(G5):同值不动、**不续窗**(回声风暴不得无限延长读面在飞窗)
+                    continue;
+                }
+                if (isWashGreen(prior, n.status)) {
+                    washBlocked = true;
+                    debug(`[fleet-frame] bg_notification WASH-GREEN blocked(retained=${id} prior=${prior} notif=${n.status})`);
+                    continue;
+                }
+                retained.set(id, {
+                    row: { ...entry.row, status: coerced },
+                    expireAt: nowMs + TERMINAL_RETAIN_MS, // 状态真变 = 新知识,续窗让修正可见
+                    ...(entry.retiredByNotification === true ? { retiredByNotification: true } : {}),
+                });
+                applied = true;
+            }
             // [1481]① 查看态事实喂给:终态通知带 summary+recentSteps,这是端当前能拿到的关于后台子代
             // 结局的【全部】内容(终报正文不在 wire 上)。查看态对无终报的终态行渲染这些真实事实。
-            recordBgTerminalFacts(n.taskId, {
-                status: n.status,
-                ...(typeof n.summary === 'string' ? { summary: n.summary } : {}),
-                // 🔴 SDK 0.0.117 把 `recentSteps` 的三键 declare 成**必填** string,但那是**声称**不是保证:
-                //    帧从 wire 上来,脏项(null / 缺键 / 非串)在类型面之外仍可能到达,而 BgTerminalFacts
-                //    那侧三键**全可选** ⇒ 这里的逐键 typeof 不是「防御读没退干净」,是 wire 脏值过滤(与
-                //    fleetProjection 的 `wire*` 值域校验同一档次)。谓词类型必须是元素型本身,不能是
-                //    `Record<string, unknown>`(那不是参数型的子型 ⇒ TS2677)。
-                ...(Array.isArray(n.recentSteps)
-                    ? {
-                        recentSteps: n.recentSteps
-                            .filter((s) => Boolean(s) && typeof s === 'object')
-                            .map(s => ({
-                            ...(typeof s.tool === 'string' ? { tool: s.tool } : {}),
-                            ...(typeof s.target === 'string' ? { target: s.target } : {}),
-                            ...(typeof s.outcome === 'string' ? { outcome: s.outcome } : {}),
-                        })),
-                    }
-                    : {}),
-            });
-            // belt:终态**行帧**丢失(kill 竞态等)时,已知行也随通知转终态进留存池。
-            // REF-CC-040(fleet2-02):无条件覆盖(不再靠 `!retained.has()` 判「池里没有它」)—— 「谁写得
-            // 对」不该依赖清理时序;'task' 非终态分支现在会显式 delete,belt 这里覆盖同样安全。
-            // REF-CC-039:`expireAt` 同一铸点(`nowFn()`),不用 `Date.now()` 另开一个时钟域。
-            //
-            // 🔴 取舍写死(P3 wave2 回炉,复审 advisory①:finding proposal 两种形都允许,本处取的是
-            //    「无条件覆盖」而不是「按 seq 择新」,两个方向的后果各钉了一条常驻断言):
-            //    · **通知晚于终态行帧** ⇒ 覆盖。通知是 settle 权威(下方 `recordBgTerminalFacts` 就是
-            //      无条件按 `n.status` 记的账),留存池若不跟着覆盖,面板行渲 `completed` 而详情页写
-            //      `killed` = 同一帧两写分叉。钉:pure 门「留存池行的 status 与终态事实台账不分叉」。
-            //    · **非终态行帧晚于 belt** ⇒ 抹掉 belt 结果(`case 'task'` 的 `retained.delete`)。这正是
-            //      复活语义:行又活了,首周期的终态快照本就不该继续投影。钉:pure 门「复活(非终态)
-            //      一到就清留存条目 ⇒ 首周期陈旧终态行不得复现为幽灵」。
-            //    要改成 seq 择新形,先把这两条断言的期望值一起改 —— 它们是这个取舍的可执行形。
-            const known = taskMap.get(n.taskId);
-            if (known) {
-                retained.set(n.taskId, {
-                    row: { ...known, status: n.status },
-                    expireAt: nowFn() + TERMINAL_RETAIN_MS,
+            // 🔴 与留存池共用上方同一份判决:状态面收下才记账;洗绿回声整条不入事实台账(status 记
+            //    completed 而面板渲 failed = 同一帧两写分叉,REF-CC-040 腿三的反面)。零命中且零拦截
+            //    (行帧车道整条丢失、留存已过窗)⇒ 按既有事实台账自身做同方向核(killed/failed 在账,
+            //    completed 回声不得洗绿它)。
+            const factsAccepted = applied ||
+                (!washBlocked &&
+                    (() => {
+                        const prior = getBgTerminalFacts(n.taskId);
+                        return !(prior !== undefined && isWashGreen(prior.status, n.status));
+                    })());
+            if (factsAccepted) {
+                recordBgTerminalFacts(n.taskId, {
+                    status: n.status,
+                    ...(typeof n.summary === 'string' ? { summary: n.summary } : {}),
+                    // 🔴 SDK 0.0.117 把 `recentSteps` 的三键 declare 成**必填** string,但那是**声称**不是保证:
+                    //    帧从 wire 上来,脏项(null / 缺键 / 非串)在类型面之外仍可能到达,而 BgTerminalFacts
+                    //    那侧三键**全可选** ⇒ 这里的逐键 typeof 不是「防御读没退干净」,是 wire 脏值过滤(与
+                    //    fleetProjection 的 `wire*` 值域校验同一档次)。谓词类型必须是元素型本身,不能是
+                    //    `Record<string, unknown>`(那不是参数型的子型 ⇒ TS2677)。
+                    ...(Array.isArray(n.recentSteps)
+                        ? {
+                            recentSteps: n.recentSteps
+                                .filter((s) => Boolean(s) && typeof s === 'object')
+                                .map(s => ({
+                                ...(typeof s.tool === 'string' ? { tool: s.tool } : {}),
+                                ...(typeof s.target === 'string' ? { target: s.target } : {}),
+                                ...(typeof s.outcome === 'string' ? { outcome: s.outcome } : {}),
+                            })),
+                        }
+                        : {}),
                 });
             }
+            else {
+                debug(`[fleet-frame] bg_notification state-plane rejected as wash-green echo(taskId=${n.taskId} notif=${n.status})—— 通知面照常入队`);
+            }
+        }
+        // accepted 钩子(#242 批 3):归属判别已通过;终态/非终态都回调,状态筛选归消费方。
+        // 钩子抛错不拆帧消费(留痕即可)。
+        try {
+            // 钩子类型虽 void,宿主传 async 函数合法(P-F3):返回 thenable 时必须承接拒绝,
+            // 否则 async 消费方一炸就是 unhandledRejection = Node 缺省整进程崩(TUI 最坏形,
+            // engineSubagentTail meta sink 同族先例)。同步抛与异步拒同一条留痕出口。
+            const out = hooks.onBgNotificationAccepted?.(n, rowIds);
+            if (out && typeof out.then === 'function') {
+                void Promise.resolve(out).catch((e) => {
+                    hostLog('debug', `[fleet-frame] onBgNotificationAccepted hook rejected: ${String(e).slice(0, 160)}`);
+                });
+            }
+        }
+        catch (e) {
+            // 消费端钩子的异常不许拆帧消费循环;留痕走 hostLog(端的 debug 汇集面)。
+            hostLog('debug', `[fleet-frame] onBgNotificationAccepted hook threw: ${String(e).slice(0, 160)}`);
         }
         enqueueBgChildNotification({
             taskId: n.taskId,

package/dist/hitl/toolApprovalWire.d.ts

@@ -250,6 +250,24 @@ export interface ApprovalCardRequest {
      * 卡形字节不变。UNTRUSTED-for-display:code/roots 是工具作文面,只渲染绝不回喂模型/工具入参。
      */
     probeCause?: unknown;
+    /**
+     * 规则出处证据(#281 件4b,0.30.8;server ≥7.23.0 / core 5.35.0 design/252 G-2)——原样来自
+     * {@link ToolApprovalFrame.ruleEvidence} 的**载体形合形值**(单源:活卡帧腿;durable 行腿今天
+     * 无对偶,见帧上同名键的 JSDoc 末段)。缺席 = 老 server / 坏载体形(两者同形,不猜),卡形与
+     * 0.30.7 字节不变。
+     *
+     * 🔴 **开集(unknown),包只搬运**:成员级窄读(具名缺席词、矛盾形丢成员、整只拒读)与**呈现
+     * 谓词**全部归端。呈现谓词不是可选项 —— 无治理车道部署下引擎对**每一只** ask 都 stamp 全具名
+     * 缺席([4050] live 实测 / [4051] 定性为契约行为),「在场即渲」会给每张卡糊三行 not wired。
+     * 端侧形照 [4051] 背书的正解:成员**有值**、或缺席词**不在良性白名单**(`unavailable` = 审计链
+     * 断,恒可见;未知词可见)才占卡面一行;窄读侧仍如实留全部成员。
+     * 🔴 **展示/对账元数据,永不是裁决输入**:它不参与也不改变本次决断的任何字节。
+     * 🔴 **不是身份通道**(与 {@link persistedRuleShadowed} 同族警示):`orgRule` 是脱敏后的展示文本、
+     * `personalRuleDots` 是耐久身份**数组**——下游删除/撤销规则面不许拿 `orgRule` 当规则身份,也不许
+     * 把 dots join 成一个标量 id;要操作规则走规则店自己的枚举与标识。
+     * UNTRUSTED-for-display:只渲染,绝不回喂模型/工具入参。
+     */
+    ruleEvidence?: unknown;
 }
 /**
  * 🔴 **拆缝口** —— 弹「三选卡」并等人的决断。壳 = vendored CC `PermissionRequest`;
@@ -386,6 +404,35 @@ export interface ToolApprovalFrame {
      * UNTRUSTED-for-display:code/roots 是工具作文面(server 已 redact),端呈前消毒,只渲染绝不回喂。
      */
     probeCause?: unknown;
+    /**
+     * server ≥7.23.0 / core 5.35.0 design/252 G-2(#281 件4b,0.30.8;**ADDITIVE**,`"tool_approval"`
+     * only。运行期锚直证 = sdk 7.1.0 `TOOL_APPROVAL_FRAME_KEYS` 已含本键)——这只 ask 背后的
+     * **规则出处证据**:组织策略快照 `orgRevision`、命中的组织规则原文 `orgRule`、被越级的个人规则
+     * add dots `personalRuleDots`(规则的耐久身份,**构造上就是数组**——按数据渲染/对账,绝不 join
+     * 成一个标量 id)。
+     *
+     * 🔴 **每个成员各自是「值 或 具名缺席」**(`…Absent`,上游五词 + 开集读:词表属主是引擎)。
+     * `not_wired` 没有这条车道 / `not_adjudicated` 车道在但这次没问 / `unavailable` **问了而源读不出**
+     * (唯一意味「审计链断了」而不是「空」的那个词——手上这只 ask 正是随后的 fail-closed 收紧) /
+     * `no_match` 问了没人说话 / `not_reported` 缝答了但没带身份。
+     * 🔴 **具名缺席 ≠ 省略键**,而且 [4050] live 实测:**无治理车道**部署下 7.23.0 对**每一只** ask 都
+     * stamp 本键为全具名缺席(`{"orgRevisionAbsent":"not_wired",…}`)——[4051] 定性为**契约行为非缺陷**
+     * (把「没接治理」从裸 undefined 里拆出来正是该键的设计承重)。⇒ 「在场即渲」的天真消费形会给每张
+     * 审批卡糊三行 not wired;呈现必须带**谓词**(成员有值、或缺席词不在良性白名单 —— `unavailable`
+     * 恒可见、未知词可见),那一层归端(壳 `ruleEvidenceNote` 单源,[4051] 背书为正解形)。
+     * 🔴 **展示/对账元数据,永不是裁决输入**;server 只转录引擎盖的记录,自己绝不铸缺席词。
+     * 🔴 **本包刻意不拥有这个形**(类型 = unknown 开集,与 {@link probeCause} 同裁):载体形判
+     * (非 null 非数组对象)之外零校验零改写。成员级窄读**单源在端**——包内校严一档,就会把上游
+     * additive 成员挡在边界外,还让「谁把成员窄没的」在排障时说不清;而端侧窄读器有一条更硬的纪律:
+     * **窄读域只许等于或宽于铸点域,绝不更窄**([4050] 随批立)——整只拒读语义下「更窄」会连坐吞掉
+     * 同记录里兄弟成员的合法证据。
+     * 🔴 **缺席 ≠「没有治理」**:帧上无本键 = 老 server,或窄读丢了一条畸形记录 —— 两者同形,不猜。
+     * 耐久路今天**无对偶**(sdk 7.1.0 的 `PendingCheckpoint` / `riskDescriptor` 均未声明本键),故
+     * durable 行 → 卡那条腿不 stamp;上游补位后按 {@link probeCause} 的双源合流形跟批。
+     * UNTRUSTED-for-display:`orgRule` 是策略作文面(core `inlineUntrusted` + server redact 后上帧),
+     * 端呈前消毒,只渲染绝不回喂模型/工具入参。
+     */
+    ruleEvidence?: unknown;
 }
 /** {@link ToolApprovalFrame.delegation} 的形(命名形,不用内联匿名 —— typeshape 门 B4 棘轮口径)。 */
 export interface ToolApprovalDelegation {
@@ -401,7 +448,7 @@ export interface ToolApprovalDelegation {
  * `TOOL_APPROVAL_FRAME_KEYS` 比对——SDK additive 增键时对账当天红,不再人肉追平。
  * 下面两个类型钉保证镜像与 interface 本身不可能漂移(少键/多键都是编译错)。
  */
-export declare const TOOL_APPROVAL_FRAME_KEYS_MIRROR: readonly ["type", "approvalId", "toolCallId", "toolName", "sourceTaskId", "fromSubagent", "sourceAgentName", "message", "args", "argsOmitted", "governanceForced", "ruleSuggestions", "persistedRuleShadowed", "probeCause", "delegation", "outcome"];
+export declare const TOOL_APPROVAL_FRAME_KEYS_MIRROR: readonly ["type", "approvalId", "toolCallId", "toolName", "sourceTaskId", "fromSubagent", "sourceAgentName", "message", "args", "argsOmitted", "governanceForced", "ruleSuggestions", "persistedRuleShadowed", "probeCause", "ruleEvidence", "delegation", "outcome"];
 /** 子代帧判别:显式键 fromSubagent(core 1.378 RB-39②)优先;缺席退 sourceTaskId 在场性权宜式
  *  (server 1.258 [1549]①3,旧代际兼容)。 */
 export declare function isFromSubagent(frame: ToolApprovalFrame): boolean;

package/dist/hitl/toolApprovalWire.js

@@ -258,7 +258,13 @@ export async function surfaceFsApprovalAndDecide(deps, taskId, argsByCall, signa
     // #280 件1(0.30.4):durable 行腿的探针因由载体 = `riskDescriptor.probeCause`(server 对
     // riskDescriptor 整体透传,与活卡帧同值)。SDK 6.17.2 的 riskDescriptor 声明尚无此键 ⇒ 结构
     // 视图读(与 caps 防御读同款姿势),类型半场候 SDK 班车;载体形不合 ⇒ 不铸键(内部结构不校,
-    // 归呈卡端窄读器 —— isProbeCauseCarrier 顶注)。
+    // 归呈卡端窄读器 —— isWireRecordCarrier 顶注)。
+    // 🔴 **`ruleEvidence` 在本腿刻意零 stamp**(#281 件4b,0.30.8):sdk 7.1.0 的 `PendingCheckpoint`
+    //    与 `riskDescriptor` 都**没有**这一位 —— 上游今天只在活卡帧上铸它,耐久路无对偶。凭一个
+    //    「大概也叫这个名字」的猜测去读 `riskDescriptor.ruleEvidence`,读到的恒是 undefined(白写),
+    //    而万一上游选了别的载体名/别的语义,那就是拿一个不同的量冒充同一位。⇒ 诚实零投影 + 登记
+    //    (run-durable-card-display-keys-test.mjs 的 NOT_PROJECTED 账),上游补位后按 probeCause 的
+    //    双源合流形跟批。
     const durableProbeCause = pending.riskDescriptor?.probeCause;
     const card = await surfaceApprovalCard({
         toolName,
@@ -267,7 +273,7 @@ export async function surfaceFsApprovalAndDecide(deps, taskId, argsByCall, signa
         ...(signal ? { signal } : {}),
         ...(pending.governanceForced === true ? { governanceForced: true } : {}),
         ...(ruleSuggestionsReadOnly !== undefined ? { ruleSuggestionsReadOnly } : {}),
-        ...(isProbeCauseCarrier(durableProbeCause) ? { probeCause: durableProbeCause } : {}),
+        ...(isWireRecordCarrier(durableProbeCause) ? { probeCause: durableProbeCause } : {}),
     });
     switch (card.kind) {
         case 'failed':
@@ -354,10 +360,16 @@ export const TOOL_APPROVAL_FRAME_KEYS_MIRROR = [
     // 领先登记(AHEAD_OF_ANCHOR):SDK 锚一旦补上,那条登记当场红,逼人删登记而不是让豁免长住。
     'persistedRuleShadowed',
     // #280 件1(client-core 0.30.4):server 7.21.0-rc(#253)起真发 `probeCause`(直证 = engine
-    // 7.22.0 fixture 的 `@sema-agent/server/dist/tool-approval.d.ts`)。⚠️ 本键**领先** SDK 运行期锚
-    // 一代(sdk 6.17.2 尚无)⇒ 对账门里有一条带退出条件的领先登记(AHEAD_OF_ANCHOR),SDK 锚一旦
-    // 补上,那条登记当场红,逼人删登记回到逐元素相等 —— #144 persistedRuleShadowed 同形先例。
+    // 7.22.0 fixture 的 `@sema-agent/server/dist/tool-approval.d.ts`)。当时本键**领先** SDK 运行期锚
+    // 一代(sdk 6.17.2 尚无)⇒ 对账门里挂着一条带退出条件的领先登记(AHEAD_OF_ANCHOR)。
+    // ✅ **锚已追平**(0.30.8 提货,sdk 7.1.0 的 `TOOL_APPROVAL_FRAME_KEYS` 已含本键)⇒ 那条登记按它
+    //    自己的退出条件当场翻红、同批删除,回到逐元素相等 —— #229 那批删 `persistedRuleShadowed`
+    //    登记时走的是同一条路。领先表回空 = 健康态。
     'probeCause',
+    // #281 件4b(client-core 0.30.8):server 7.23.0 / core 5.35.0 design/252 G-2 起真发 `ruleEvidence`。
+    // ⚠️ 与上面两例**不同形**:sdk 7.1.0 的运行期锚**已经含**本键(node 直读实证)⇒ 这是一次**追平**,
+    // 不是领先,故**不**进 AHEAD_OF_ANCHOR(往那张表里塞一个锚已有的键,它的第二条退出条件当场红)。
+    'ruleEvidence',
     'delegation',
     'outcome',
 ];
@@ -470,13 +482,18 @@ function pathFromGateMessage(message) {
  * 掩盖注入,整体降缺席)。
  */
 /**
- * `probeCause` 的**载体形**判(#280 件1):非 null 非数组对象才搬运(wire 契约的载体就是对象,
- * 串/数/数组/null 是坏载体不是「另一种因由」)。刻意只判到这一层 —— 内部结构(code/roots/further)
- * 校验归呈卡端窄读器(server `readProbeCause` 的消费端对偶,壳 `probeCauseNote.readProbeCauseKey`),
- * 包内校严一档就会把上游 additive 内键挡在边界外,还让「谁把键窄没的」在排障时多一层嫌疑。
- * 两条决断腿(活帧/durable 行)共用这一把,判词绝不各写各的。
+ * **开集记录键的载体形判**(#280 件1 起 `probeCause` 用;#281 件4b 起 `ruleEvidence` 同用):
+ * 非 null 非数组对象才搬运 —— 这两键的 wire 契约载体都是**记录**,串/数/数组/null 是坏载体,
+ * 不是「另一种因由 / 另一种证据」。
+ *
+ * 🔴 刻意**只判到载体这一层**:内部成员的校验(probeCause 的 code/roots/further;ruleEvidence 的
+ * 值 ⊕ 具名缺席词、矛盾形、整只拒读)归**呈卡端窄读器**(壳 `probeCauseNote.readProbeCauseKey` /
+ * `ruleEvidenceNote.readRuleEvidenceKey`,各自与 server 铸点 `readProbeCause` / `readRuleEvidence`
+ * 同向)。包内校严一档就会把上游 additive 内键挡在边界外,还让「谁把键窄没的」在排障时多一层嫌疑。
+ * 🔴 **一把判词服务多键**是设计而非省事:两条决断腿(活帧 / durable 行)× 多个开集记录键共用同一个
+ * 载体判据,判词绝不各写各的(各写一份 = 同一个问题有了两个属主,分叉那天没人发现)。
  */
-function isProbeCauseCarrier(v) {
+function isWireRecordCarrier(v) {
     return typeof v === 'object' && v !== null && !Array.isArray(v);
 }
 function readRuleSuggestions(v) {
@@ -592,8 +609,14 @@ export async function surfaceToolApprovalFrameAndRespond(frame, respond, streamA
             ? { persistedRuleShadowed: frame.persistedRuleShadowed }
             : {}),
         // #280 件1(0.30.4):探针因由随卡透传 —— 载体形判之外零校验零改写(内部结构归呈卡端窄读器,
-        // isProbeCauseCarrier 顶注);缺席/坏载体 ⇒ 键不 stamp,卡形字节不变。
-        ...(isProbeCauseCarrier(frame.probeCause) ? { probeCause: frame.probeCause } : {}),
+        // isWireRecordCarrier 顶注);缺席/坏载体 ⇒ 键不 stamp,卡形字节不变。
+        ...(isWireRecordCarrier(frame.probeCause) ? { probeCause: frame.probeCause } : {}),
+        // #281 件4b(0.30.8):规则出处证据随卡透传 —— 同上,只判载体形、**成员级一概不校**
+        // (值 ⊕ 具名缺席词、未知缺席词、矛盾形一律原样上卡:判决权单源在端侧窄读器,
+        // 且端侧窄读域只许 ≥ 铸点域)。缺席/坏载体 ⇒ 键不 stamp,卡形与 0.30.7 字节不变。
+        // 🔴 呈现谓词归端(无治理部署下每只 ask 都带全具名缺席,[4050] live 实测 / [4051] 定性);
+        //    本层若替端做「全 not_wired 就别给了」的过滤,就是替引擎把一条真事实湮灭掉。
+        ...(isWireRecordCarrier(frame.ruleEvidence) ? { ruleEvidence: frame.ruleEvidence } : {}),
     });
     const decision = card.kind === 'allow' ? (card.allowSession ? 'allow_session' : 'allow') : 'deny';
     if (card.kind === 'failed') {

package/dist/index.d.ts

@@ -207,6 +207,7 @@ export * from './subagent/engineSubagentResume.js';
 export * from './subagent/engineTaskHandleWire.js';
 export * from './subagent/engineCompactWire.js';
 export * from './subagent/engineSubagentTail.js';
+export * from './subagent/subagentOwnerAbsence.js';
 export * from './engineSessionParam.js';
 export * from './engineWireTarget.js';
 export * from './principalWire.js';

package/dist/index.js

@@ -269,6 +269,8 @@ export * from './subagent/engineSubagentResume.js';
 export * from './subagent/engineTaskHandleWire.js';
 export * from './subagent/engineCompactWire.js';
 export * from './subagent/engineSubagentTail.js';
+// #242 批 3([4000] Q3=B):三腿宿主 run 台账缺席的响亮留痕单源(honest-absence 翻面配套)。
+export * from './subagent/subagentOwnerAbsence.js';
 export * from './engineSessionParam.js';
 export * from './engineWireTarget.js';
 // ── A-028 族E(#244 F3,2026-08-15)────────────────────────────────────────────────────────────

package/dist/limitsWire.d.ts

@@ -42,9 +42,9 @@
  *     value (integer domain below; a mis-typed budget bound must not quietly run unbounded).
  *  b) settings env lane (settings.json `env` block → 1a-envseed → process.env):
  *     `SEMA_HEADLESS_DEADLINE_SEC` / `SEMA_HEADLESS_MAX_TURNS` / `SEMA_HEADLESS_MAX_TOKENS`
- *     → SILENT degrade on an invalid value (spec'd 静默降级 — a settings typo must never brick every
- *     headless run; unlike scenarioWire we don't even warn, per the batch-E triage shape. SEMA_DEBUG
- *     surfaces the drop for diagnosis).
+ *     → 同 a) FAIL-LOUD on an invalid value(#132 / test [2508] 2026-08-04 推翻旧 batch-E
+ *     「静默降级」形;见 headlessLimitsFromEnv 的 JSDoc——非法值 {ok:false} 上抛,caller exit 1,
+ *     常驻门 run-limits-env-failloud-test.mjs 守此形)。
  *  c) neither                                          → NO stamp = today's behaviour, verbatim.
  *
  * DOMAINS (integer, inclusive): deadline 30..86400 **秒**(→ 30_000..86_400_000 ms 上 wire)·

package/dist/limitsWire.js

@@ -42,9 +42,9 @@
  *     value (integer domain below; a mis-typed budget bound must not quietly run unbounded).
  *  b) settings env lane (settings.json `env` block → 1a-envseed → process.env):
  *     `SEMA_HEADLESS_DEADLINE_SEC` / `SEMA_HEADLESS_MAX_TURNS` / `SEMA_HEADLESS_MAX_TOKENS`
- *     → SILENT degrade on an invalid value (spec'd 静默降级 — a settings typo must never brick every
- *     headless run; unlike scenarioWire we don't even warn, per the batch-E triage shape. SEMA_DEBUG
- *     surfaces the drop for diagnosis).
+ *     → 同 a) FAIL-LOUD on an invalid value(#132 / test [2508] 2026-08-04 推翻旧 batch-E
+ *     「静默降级」形;见 headlessLimitsFromEnv 的 JSDoc——非法值 {ok:false} 上抛,caller exit 1,
+ *     常驻门 run-limits-env-failloud-test.mjs 守此形)。
  *  c) neither                                          → NO stamp = today's behaviour, verbatim.
  *
  * DOMAINS (integer, inclusive): deadline 30..86400 **秒**(→ 30_000..86_400_000 ms 上 wire)·

package/dist/printToolResultFrame.d.ts

@@ -58,6 +58,25 @@ export interface ToolEndResultArmLike {
     /** 引擎 CC-shaped details(core 1.199+ AgentToolResult.details;Bash 时带 exitCode)。 */
     structured?: unknown;
     truncated?: unknown;
+    /**
+     * 这次调用**是怎么结算的**(core ≥5.18.1 #187;`human`/`timeout`/`aborted` + 开集读)与
+     * **是谁结算的**(core ≥5.35.0 design/252 G-7 / server ≥7.23.0 #263;审批通道自报的身份串,
+     * 无词表)。#263 半场(0.30.8)起由 `eventToSdkMessage` 的 `case 'tool_end'` 臂原样透传到本臂,
+     * 宿主据此把结算归属渲到工具卡/审计面。
+     *
+     * 🔴 两键**合读**:`settledBy` 说这次收场是哪一种,`approver` 说是谁的 —— `settledBy:"timeout"`
+     * 带 approver 时,名字指的是**超时的那条队列**,不是拒绝的人。
+     * 🔴 **缺席不带语义,不许反推**:`settledBy` 缺席既不等于 `human` 也不等于「没走审批」(旧引擎 /
+     * 姿态臂故意不填,两源同形);`approver` 缺席 = 通道没报名字,永不意味「没人批」也永不意味
+     * 「有人批」。判这次运行的命运读 run 行 / checkpoint 面。
+     * 🔴 `approver` 是 **UNTRUSTED-for-display**:转录不是认证(core 只筛形不鉴别不比对不回读),
+     * 可信度 = 那条审批通道的可信度;只渲染,绝不回喂模型/工具入参,更不许当鉴权判据。
+     * 🔴 本形是**防御性读形**(全员 `unknown`):`settledBy` 的类型面虽是三词闭集,但词表属主是引擎,
+     * 消费方必须**分支已知值 + 永远带 default**,绝不写无 default 的穷举 switch。
+     */
+    settledBy?: unknown;
+    /** 见 {@link settledBy} —— 两键同批同源(#263 半场,0.30.8),合读、缺席不反推、转录不是认证。 */
+    approver?: unknown;
     parentToolCallId?: unknown;
     uuid?: unknown;
     session_id?: unknown;

package/dist/subagent/engineSubagentOutput.js

@@ -33,7 +33,8 @@ import { hostLog } from '../host.js';
 import { makeEngineWireClient } from '../engineWireSdk.js';
 import { engineWireTarget } from '../engineWireTarget.js';
 import { getBgParentRun } from '../subagentContentStore.js';
-import { activeEngineRunId, engineSessionParam } from '../engineSessionParam.js';
+import { engineSessionParam } from '../engineSessionParam.js';
+import { noteBgOwnerAbsence } from './subagentOwnerAbsence.js';
 // ── caps 探测(true 固化 / false TTL / 失败不缓存)────────────────────────────────────────────
 const capByBase = new Map();
 const CAP_FALSE_RETRY_TTL_MS = 5 * 60_000;
@@ -64,12 +65,15 @@ export async function fetchEngineSubagentReport(taskId, opts) {
     const cfg = engineWireTarget();
     if (!cfg)
         return null;
-    // 🔴 候裁([4000] Q3 / design-242 §5 Q3,#242 批 2 **刻意不动**):这条回落与 resume 腿的
-    //    `resolveOwnerRunId`(指名了行就诚实缺席)口径相反;统一口径是真行为翻面,候三端表态。
-    //    同族另两处:`engineSubagentTail.ts:tailEngineSubagent` / `engineTaskHandleWire.ts:resolveHostRun`。
-    const runId = getBgParentRun(taskId) ?? activeEngineRunId();
-    if (!runId)
+    // 🔴 #242 批 3([4000] Q3=B 裁定执行,行为翻面):台账缺席即**诚实缺席,绝不回落**
+    //    `activeEngineRunId()` —— 与 resume 腿 `resolveOwnerRunId` 同口径(错值比缺席更坏:回落
+    //    到「此刻在飞的 run」对 session-bound 旧 run 是 404 撞墙,对同名子代是读错人)。缺席不
+    //    静默(noteBgOwnerAbsence warn 留痕);调用方按既有 null 回落 bg 事实渲染,fail-soft。
+    const runId = getBgParentRun(taskId);
+    if (!runId) {
+        noteBgOwnerAbsence('subagent-output', taskId);
         return null;
+    }
     const client = makeEngineWireClient({
         baseUrl: cfg.baseUrl,
         ...(cfg.token ? { token: cfg.token } : {}),

package/dist/subagent/engineSubagentTail.js

@@ -43,14 +43,16 @@
  *
  * 生命周期:查看态进入开,退出/终态/行消失关;每 taskId 至多一条(幂等);caps 探测
  * capabilities.subagentStream(true 固化/false TTL/失败不缓存,engineSubagentOutput 同纪律);
- * 寻址 runId=getBgParentRun ?? 活跃 run、无条件带 `?session=`(同 [1498]③ 纪律)。
+ * 寻址 runId=getBgParentRun **唯一源**(#242 批 3 起台账缺席即诚实缺席不回落,warn 留痕)、
+ * 无条件带 `?session=`(同 [1498]③ 纪律)。
  * 一切失败 fail-soft:tail 断=回到占位行现状,绝不 throw。
  */
 import { hostLog } from '../host.js';
 import { makeEngineWireClient } from '../engineWireSdk.js';
 import { engineWireTarget } from '../engineWireTarget.js';
-import { activeEngineRunId, engineSessionParam } from '../engineSessionParam.js';
+import { engineSessionParam } from '../engineSessionParam.js';
 import { coerceOutput, getBgParentRun, parentToolCallIdOf, publishSubagentContentEvent, settleSubagentContent, } from '../subagentContentStore.js';
+import { noteBgOwnerAbsence } from './subagentOwnerAbsence.js';
 // ── caps 探测(true 固化 / false TTL / 失败不缓存)────────────────────────────────────────────
 const capByBase = new Map();
 const CAP_FALSE_RETRY_TTL_MS = 5 * 60_000;
@@ -114,14 +116,17 @@ export function tailEngineSubagent(taskId) {
     const cfg = engineWireTarget();
     if (!cfg)
         return;
-    // 🔴 候裁([4000] Q3 / design-242 §5 Q3,#242 批 2 **刻意不动**):这条 `?? activeEngineRunId()`
-    //    与 resume 腿的 `resolveOwnerRunId`(指名了行就诚实缺席,绝不回落)口径**相反**。壳侧对抗
-    //    复审的结论是「错值比缺席更坏」;统一到那个口径 ⇒ 台账缺席时本腿从「能连上(可能连错 run)」
-    //    变成「不连」= 真行为翻面,需三端(cli/web/desktop)表态后单批改。同族另两处:
-    //    `engineTaskHandleWire.ts:resolveHostRun` / `engineSubagentOutput.ts:fetchEngineSubagentReport`。
-    const runId = getBgParentRun(taskId) ?? activeEngineRunId();
-    if (!runId)
+    // 🔴 #242 批 3([4000] Q3=B 裁定执行,行为翻面):台账缺席即**诚实缺席,绝不回落**
+    //    `activeEngineRunId()` —— 与 resume 腿 `resolveOwnerRunId` 同口径(错值比缺席更坏:回落值
+    //    被并发 main/fork 流覆写,可能连到不相干的 run)。缺席不静默:留痕见 noteBgOwnerAbsence。
+    //    供给面:本表由 fleet 行帧 parentId / bg 通知 parentTaskId / task_progress tick 三腿喂
+    //    (fleetLedger.ts:394/:496 + recordSubagentOwnerFromProgress),正常 bg 子代出生帧即有值;
+    //    缺席 = 真不知道宿主(壳重启且行帧未重播等),此时连「当前活跃 run」纯属赌。
+    const runId = getBgParentRun(taskId);
+    if (!runId) {
+        noteBgOwnerAbsence('subagent-tail', taskId);
         return;
+    }
     const client = makeEngineWireClient({
         baseUrl: cfg.baseUrl,
         ...(cfg.token ? { token: cfg.token } : {}),

package/dist/subagent/engineTaskHandleWire.js

@@ -41,9 +41,10 @@ import { TaskStopConflictError } from '@sema-agent/sdk';
 import { hostLog } from '../host.js';
 import { makeEngineWireClient } from '../engineWireSdk.js';
 import { engineWireDebugEnabled, engineWireTarget } from '../engineWireTarget.js';
-import { activeEngineRunId, engineSessionParamSpread } from '../engineSessionParam.js';
+import { engineSessionParamSpread } from '../engineSessionParam.js';
 import { getBgParentRun } from '../subagentContentStore.js';
 import { engineTaskHandlesCapable } from './engineRowStopGate.js';
+import { noteBgOwnerAbsence } from './subagentOwnerAbsence.js';
 // REF-CC-域词表-06 提单源:spool 全量/增量判读的单一真源现在在 toolResult.ts(它也消费同一份
 // 协议标记表 PROTOCOL_MARKERS)—— 本文件不再自己 `.includes()` 抄一份判读。
 import { spoolMarkerOf } from '../toolResult.js';
@@ -54,13 +55,20 @@ import { STOP_CONFLICT_CODES, STOP_NOT_LANDED, STOP_NOT_LOCAL, STOP_PARKED, STOP
 // ⚠️ 此处**不再 re-export**——它与原定义同进 index.ts 的 `export *` barrel 会构成双出口,
 // esbuild 对 star-export 歧义直接 build 失败(tsc 同源 symbol 不报=假绿;0.8.0 壳收批实撞,
 // idle-terminal-settle 套逮住)。包内消费者直接 import 原叶。
-/** 宿主 run 解析:fleet 行/通知帧喂的 parent 映射优先(行 id=`${runId} ${handle}` 的 parentId
- *  投影),缺席退当前交互 run(register 时刻的活跃 run 即宿主——engineSide bash 行的出生形)。 */
+/** 宿主 run 解析:fleet 行/通知帧喂的 parent 映射(行 id=`${runId} ${handle}` 的 parentId 投影,
+ *  engineSide bash/monitor 行的出生帧即带)。
+ *  🔴 #242 批 3([4000] Q3=B 裁定执行,行为翻面):台账缺席即**诚实缺席**,绝不回落
+ *  `activeEngineRunId()` —— 旧回落读的是 fetch 时刻的活跃 run,不是 register 时刻的宿主(头注
+ *  旧说法与实现不符):跨 turn 读旧句柄时回落值必错(404 撞别的 run),stop 打错 run 更坏。
+ *  缺席不静默(noteBgOwnerAbsence warn 留痕);两个消费口各自 fail-soft(output→null 回落
+ *  receipt/outputFile 渲染,stop→unavailable + detail,UI 不翻行)。 */
 function resolveHostRun(handle) {
-    // 🔴 候裁([4000] Q3 / design-242 §5 Q3,#242 批 2 **刻意不动**):这条回落与 resume 腿的
-    //    `resolveOwnerRunId`(指名了行就诚实缺席)口径相反;统一口径是真行为翻面,候三端表态。
-    //    同族另两处:`engineSubagentTail.ts:tailEngineSubagent` / `engineSubagentOutput.ts`。
-    return getBgParentRun(handle) ?? activeEngineRunId() ?? null;
+    const runId = getBgParentRun(handle);
+    if (!runId) {
+        noteBgOwnerAbsence('task-handle', handle);
+        return null;
+    }
+    return runId;
 }
 // 游标累积(按 handle;进程内存态,与查看态生命周期同级——端重启即空,重读从引擎再取)
 const accumulated = new Map();

package/dist/subagent/subagentOwnerAbsence.d.ts

@@ -0,0 +1,4 @@
+/** 台账缺席留痕(每 (leg, taskId) 至多一条 warn;绝不 throw)。 */
+export declare function noteBgOwnerAbsence(leg: string, taskId: string): void;
+/** 测试钩:清留痕去重集(同进程多组断言之间互不污染)。 */
+export declare function __resetBgOwnerAbsenceForTests(): void;

package/dist/subagent/subagentOwnerAbsence.js

@@ -0,0 +1,48 @@
+/**
+ * subagentOwnerAbsence — #242 批 3(黑板 [4000] Q3=B 裁定落地):bg 子代宿主 run 台账缺席时的
+ * **响亮留痕**单源。
+ *
+ * 三条读面腿(`engineSubagentTail` / `engineTaskHandleWire` / `engineSubagentOutput`)此前一律
+ * `getBgParentRun(x) ?? activeEngineRunId()` 无条件回落 —— 与 resume 腿的 `resolveOwnerRunId`
+ * (指名了行就诚实缺席,绝不回落)口径相反。Q3 裁定统一到 resume 口径:**台账缺席即诚实缺席,
+ * 绝不回落**。理由(壳 `subagentOwnerLedger` 对抗复审结论,已入包表头注):进程级
+ * `activeEngineRunId()` 被并发 main/fork 流互相覆写、又被每个 query 的 finally 清空,回落出来的
+ * 宿主可能是**别的 run** —— 错值比缺席更坏(读面打到不相干的 run;stop 打错 run 甚至可能停掉
+ * 别人的同名句柄)。
+ *
+ * 但缺席也不许**静默空转**(clay 原话「有问题必暴露」):本模块对每个 (腿, taskId) 组合 warn
+ * **一次**(查看态 watcher / 面板 tick 会按拍重试同一缺席,逐次 warn = 刷屏;去重集有界 FIFO)。
+ * 消费方照旧 fail-soft 返回缺席值(null/不开流)—— 响亮的是留痕,不是抛错。
+ *
+ * 🔴 独立小叶而不进 `subagentContentStore`(台账属主):那个 store 是**零 import 的内核闭包件**
+ * (portability 门的 runStream 闭包文件数棘轮只许降),拉 `host.js` 进去会撑大内核闭包;三条腿
+ * 都在 `subagent/`、都已依赖 host,落这里零新增图边。
+ */
+import { hostLog } from '../host.js';
+const noted = new Set();
+const MAX_NOTED = 512;
+/** 台账缺席留痕(每 (leg, taskId) 至多一条 warn;绝不 throw)。 */
+export function noteBgOwnerAbsence(leg, taskId) {
+    const key = `${leg}:${taskId}`;
+    if (noted.has(key))
+        return;
+    if (noted.size >= MAX_NOTED) {
+        const oldest = noted.values().next().value;
+        if (oldest !== undefined)
+            noted.delete(oldest);
+    }
+    noted.add(key);
+    try {
+        hostLog('warn', `[subagent-owner] ${leg}: no host-run mapping for ${taskId} — not connecting (owner ledger absent ⇒ honest absence; active-run fallback removed per [4000] Q3)`);
+    }
+    catch {
+        // 诊断端口自己抛错(P-F4):①绝不向三腿调用方外溢(留痕是旁路,不是三腿的失败模式);
+        // ②撤销去重键 —— warn 没真发出去,留痕机会不许被一次坏端口永久烧掉,端口恢复后
+        // 下一次同键缺席仍会 warn 一次。
+        noted.delete(key);
+    }
+}
+/** 测试钩:清留痕去重集(同进程多组断言之间互不污染)。 */
+export function __resetBgOwnerAbsenceForTests() {
+    noted.clear();
+}

package/dist/subagentContentStore.d.ts

@@ -191,6 +191,11 @@ export interface BgTerminalFacts {
     }>;
 }
 export declare function recordBgTerminalFacts(taskId: string, facts: BgTerminalFacts): void;
+/** 复活清账(#242 批 3 / 0.31.0 扫码 P2):非终态行帧/snapshot 复活 = 新周期开启,旧周期的
+ * 终态事实作废 —— 不清账时 factsAccepted 的方向核会拿上周期的 killed/failed 当先例,把
+ * 第二周期的合法 completed 整条拒收(status 与 summary 都不入账)。只删本 taskId 键;
+ * taskToParent 映射不动(寻址面与事实面分离)。 */
+export declare function clearBgTerminalFacts(taskId: string): void;
 export declare function getBgTerminalFacts(taskId: string): BgTerminalFacts | undefined;
 /** 一行子代的宿主记录。`sessionId` = 登记时刻那条流的会话(per-id 读面要拼 `?session=`)。 */
 export interface SubagentOwnerRecord {

package/dist/subagentContentStore.js

@@ -351,6 +351,13 @@ export function recordBgTerminalFacts(taskId, facts) {
     bgFacts.set(taskId, facts);
     scheduleNotify(taskId); // 打开中的查看态借既有 notify 链重建消息
 }
+/** 复活清账(#242 批 3 / 0.31.0 扫码 P2):非终态行帧/snapshot 复活 = 新周期开启,旧周期的
+ * 终态事实作废 —— 不清账时 factsAccepted 的方向核会拿上周期的 killed/failed 当先例,把
+ * 第二周期的合法 completed 整条拒收(status 与 summary 都不入账)。只删本 taskId 键;
+ * taskToParent 映射不动(寻址面与事实面分离)。 */
+export function clearBgTerminalFacts(taskId) {
+    bgFacts.delete(taskId);
+}
 export function getBgTerminalFacts(taskId) {
     const key = bgFacts.has(taskId) ? taskId : (taskToParent.get(taskId) ?? '');
     touchLru(bgFacts, key);
@@ -371,8 +378,9 @@ export function getBgTerminalFacts(taskId) {
 //   所以合表不是二选一,是把两条 lane 的事实并进同一个答案。
 //   键域两侧本就同域,合表零改键:fleet 腿写 `rowIdTail(row.id)` = 裸引擎 taskId、通知腿写
 //   `n.taskId` = registry handle(同一裸 id)、tick 腿写 `task_progress.taskId`。
-//   ⚠️ 那三处 `?? activeEngineRunId()` 回落口径**本批刻意不动**(engineSubagentTail.ts:172 /
-//      engineTaskHandleWire.ts:69 / engineSubagentOutput.ts:82),候 [4000] Q3 三端表态。
+//   ✅ #242 批 3([4000] Q3=B 裁定):三处 `?? activeEngineRunId()` 回落已全部翻面 —— tail /
+//      taskOutput·taskStop / subagentOutput 三腿一律「台账缺席即诚实缺席,绝不回落」,缺席
+//      warn 留痕(`subagent/subagentOwnerAbsence.ts`),与 resume 腿口径统一。
 //
 // 🔴 写入纪律(壳表头注 :20-22 的教训**原文搬**):宿主 run **必须由持有 stream-local 值的
 //   调用方显式传入**,本模块绝不从进程级 `activeEngineRunId()` 推断 —— 那个值被并发的

package/docs/INTEGRATION-CLIENTS.md

@@ -15,19 +15,19 @@
 
 ## §0 版本锚与重扫纪律
 
-### 0a. 版本锚(2026-08-14)
+### 0a. 版本锚(2026-08-16)
 
 | 项 | 值 | 真源 |
 |---|---|---|
-| 本包 | `@sema-agent/client-core` **0.29.0** | `package.json` `version` |
+| 本包 | `@sema-agent/client-core` **0.31.0** | `package.json` `version` |
 | peer:wire 契约 | `@sema-agent/sdk` **>=6.17.2**(value-level,非 type-only) | `package.json` `peerDependencies` |
 | peer:会话词汇表 | `@sema-agent/agent-types` **>=0.2.0**(type-only,零运行时) | 同上 |
 | runtime dep | `diff` ^9.0.0(**唯一**一条;portability 门按**等值**钉死) | `package.json` `dependencies` |
-| 公开导出面 | **739** 个运行期符号(+ 36 个测试钩) | `scripts/public-export-baseline.json` 的 `count` / `testHookCount` —— **别手抄进别处,以该文件为准** |
+| 公开导出面 | **740** 个运行期符号(+ 37 个测试钩) | `scripts/public-export-baseline.json` 的 `count` / `testHookCount` —— **别手抄进别处,以该文件为准** |
 | 常驻门 | 以 `scripts/gates-manifest.json` 的 `suites` 长度为准(**本档不抄这个数**) | `scripts/gates-manifest.json`;`npm test` 的名单等值门与它逐名对账 |
 | 沿革档 | 0.29.0 起建 `CHANGELOG.md`;更早批次记账在 `src/index.ts` 文件头 + `docs/REFACTOR-LEDGER.md` | — |
 
-⚠️ **本表描述的是工作树(即将发布的 0.30.0),不是 npm 上那一版**:npm 的 `0.29.0` 是发布 commit
+⚠️ **本表描述的是工作树(即将发布的 0.31.0),不是 npm 上那一版**:npm 的 `0.29.0` 是发布 commit
 `0ab959d`,它的 peer floor 是 **`>=6.16.0`**,也没有 0.30.0 段里那几件(relay 形 / durable 卡两展示键 /
 SDK 行形 type 再导出 / P-26 铸口 / #158 移交)。装着 npm `0.29.0` 的端**按 `CHANGELOG.md` 的
 `## 0.29.0` 段对表**,不要按本表 —— 本表的组合在 npm 上今天还不存在。
@@ -99,7 +99,7 @@ SDK 核对「本包 import 的每个值级符号仍然导出」「`TaskStats.cos
 
 ## §2 公共导出面地图(按域)
 
-> 全集真源 = `scripts/public-export-baseline.json` 的 `names`(**739** 项)。
+> 全集真源 = `scripts/public-export-baseline.json` 的 `names`(**740** 项)。
 > 本节**不逐名抄**,只给「域 → 承重导出 → 用途 → 实现锚」。承重导出 = 一个端为了让这个域干活
 > **必须**直接调到的那几个符号;其余是它们的类型、变体与辅助位。
 > 单一入口:`import { … } from '@sema-agent/client-core'`(`exports` 只有 `.` 一个;
@@ -109,7 +109,7 @@ SDK 核对「本包 import 的每个值级符号仍然导出」「`TaskStats.cos
 
 `public-export-baseline.json` 由 **`dist/index.js` 的运行期导出**生成(生成口径自述见
 `scripts/run-client-core-typeshape-test.mjs`,双向精确集合门在 `scripts/run-public-surface-test.mjs`)。
-实测:739 项 **100% 是运行期导出,零 type-only**。
+实测:740 项 **100% 是运行期导出,零 type-only**。
 
 **推论(端必须知道)**:
 - barrel 导出的**类型**面比 707 大得多,且**不被这道门看守** —— `AdapterContext` / `SeamEvent` /
@@ -118,19 +118,19 @@ SDK 核对「本包 import 的每个值级符号仍然导出」「`TaskStats.cos
   端依赖这些类型是合法的,但**不要**拿基线 diff 当"类型面没变"的证据。
 - `src/agentSession/contract.ts` 对基线贡献 **0** 项(纯类型模块,`export *` 在 dist 里是空转发)。
 
-739 项的内部构成(帮助端估读表大小):**218** 项是 `SCREAMING_SNAKE` 常量数据表/词汇表
+740 项的内部构成(帮助端估读表大小):**218** 项是 `SCREAMING_SNAKE` 常量数据表/词汇表
 (矩阵、键集、env 名、锚串)而非可调用物;**4** 项是 PascalCase 运行期值
 (`ControlRouter` / `ControlSafetyError` / `HitlBridge` / `HitlSafetyError`);
 **39** 项是 `*For(sessionKey, …)` 的 per-session 变体(§6;其中 `engineNamespaceKeyFor` 是命名巧合 —— 参数是 baseUrl 不是 sessionKey,见域 14)。
 
-### 2b. 域图(16 域,逐域计数之和 = 739)
+### 2b. 域图(16 域,逐域计数之和 = 740)
 
 | # | 域 | 名数 | 承重导出 | 用途 | 实现锚 |
 |---|---|---|---|---|---|
 | 1 | **适配内核(下行主链)** | 29 | `adapt` · `createWireToCcAdapter` · `runStream` · `eventToSdkMessage` · `terminalToSdkResult` · `turnUsageToModelUsage` · `isRunStreamActive` · `ADAPTER_DIVERGENCES` | 引擎 SSE `AgentEvent` → 端要渲的**双面输出**:transcript(`SDKMessage`)+ chrome(瞬态 `ChromeEvent`)。**本包存在的理由** | `src/adapt.ts`、`src/adapt/{arms,wireShapes,panelTasks}.ts`(经 `adapt.ts` 再导出)、`src/adapter/runStream.ts`、`src/adapter/downstream/*`、`src/adapter/types.ts` |
 | 2 | **seam 公共契约** | 2(其余为 type-only) | `CHROME_ARMS` · `deriveTranscriptId` | 公共词汇 + **id 确定性不变量**(同一条流重放 ⇒ 同一串 id)。`CHROME_ARMS` = 端「我要消费哪些 chrome 臂」的对照清单 | `src/seam.ts` |
 | 3 | **HITL 决断卡链**(§4/§5 主战场) | 119 | `makeHitlCanUseTool` · `HitlBridge` · `findPendingForTask` · `HitlSafetyError` · `bridgeAskUserQuestionGates` · `surfaceToolApprovalFrameAndRespond` / `surfaceFsApprovalAndDecide` · `readToolApprovalRespondAck` · `installApprovalCardPort(For)` · `installHitlHostSurface(For)` · `armPlanReviewApproval` · `reopenPlanReviewCard` · `decidePlanReview` · `startApprovalsFeed` · `pendingRowIsOwnedByThisSession` · `approvalCallKey`/`liveFrameCallKey`/`planReviewQuestionId` · `registerArmedGateFor`/`wasGateArmedFor`/`clearArmedGateFor` · `waitForGateArmed(For)`/`onGateArmed(For)`/`gateArmedWaitMs`(#244 F1 呈现回执事件源) · `planReviewArmedKey(For)`/`notePlanReviewAnswered(For)`/`notePlanReviewAnsweredIfDecisive(For)`(A-024.4 plan 呈现分代) · `toolEndOutputText` · `isAskTool` · `waitForParkRowBirth` · `classifyAskParkRows` / `askParkRowArm` / `classifyAskParkChainFailure` · `readDecisionNoteAudit` / `decisionNoteAuditLine` · `resumeRunningOptions` / `resumeChoiceFromLabels` · `persistedRulesLaneAvailable`/`persistedRulesGovernanceAvailable` · `classifyRulesFailure` · `listAllPersistedRules` · `classifySkippedReason` · `readRulePersistOutcome`(#244 F2:persist-ack 读口与 `readToolApprovalRespondAck` 合成一处) · `parseLocalAllowRule`(durable 腿本地落规则窄化骨架,谓词经 `LocalAllowRuleDeps` 注入) | suspended→decide→resume 环。🔴 **D-1 两元组 verbatim 回显**是字节级断言的安全不变量,端**不许重实现它的任何一段**。🔴 键空间边界(web [C1] d3 拦截):`gateIdentity` 四常量两函数只覆盖 HITL questionId/callKey 空间;seat 的 `TOOL_PERMISSION_REQUEST_ID_DOMAINS`(`plan:` 等)是另一键空间,**两者绝不合并**(合并=座位校验器静默拒全部 plan-review 卡) | `src/hitl/hitlBridge.ts`、`toolApprovalWire.ts`、`askGateWire.ts`、`planReviewWire.ts`、`hitlHostSurface.ts`、`gateIdentity.ts`、`armedGateRegistry.ts`、`parkOwnership.ts`、`parkResolver.ts`、`approvalsFeed.ts`、`frameRouter.ts`(**只挑名导出** `toolEndOutputText`/`ENGINE_ABORT_TOOL_RESULT`/`isAskTool`/`HITL_REJECT_MESSAGE`)、`parkRowBirthWait.ts`、`approvalDecisionNoteAudit.ts`、`askParkRowRouting.ts`、`resumeRunningCard.ts`(#265 上收的判定层)、`persistedRulesWire.ts`、`localAllowRule.ts`(#244 F2 规则侧) |
-| 4 | **子代 wire + 面板侧信道台账** | 80 | `tailEngineSubagent` · `installSubagentActivitySink` · `installSubagentTailMetaSink`(#280 件2:tail meta 帧发布口,`contentFrames` 判别位载体)· `stopEngineTask` + `classifyTaskStopConflict` · `fetchEngineSubagentReport` · `steerEngineSubagent` · `resumeSettledSubagent` + `resolveSubagentResumeContext` + `resolveOwnerRunId` + `classifySubagentResumeFailure` + `subagentResumeAvailable`(#242 批 2 A-028.7:resume 判定半场上收,与 steer 孪生同居;取址三态 = 台账有行用行值 / 指名了行但台账缺席则**诚实缺席绝不回落在飞 run** / 没指名行才回落。出路文案归端)· `recordSubagentOwnerFromProgress` + `getBgParentRunOwner`(A-028.6:「子代 → 宿主 run」**单表**,宿主 run 必须由持 stream-local 值的调用方显式传入,包内绝不从 `activeEngineRunId()` 推断)· `auditRetainWithoutWake`([4000] Q5:引擎宣示 `subagentResume` + 本端在付 `retainSubagentSessions` + 端未实现 `wakeSubagent` ⇒ 响亮一条;`CLIENT_VERBS.wakeSubagent` 维持 fail-soft)· `subscribeSubagentContent` · `subscribeEngineAgentPanel` · `publishQuestionFrame` / `respondToQuestion` | 驱动与观测委派子代;经 module 级台账喂活体 agent/task 面板。全部**能力位 gate**(§5b) | `src/subagent/*.ts`、`src/subagentContentStore.ts`、`src/engineAgentPanelStore.ts`、`src/engineInlineTaskStats.ts`、`src/engineToolLabelStore.ts`、`src/liveQuestionStore.ts` |
+| 4 | **子代 wire + 面板侧信道台账** | 81 | `tailEngineSubagent` · `installSubagentActivitySink` · `installSubagentTailMetaSink`(#280 件2:tail meta 帧发布口,`contentFrames` 判别位载体)· `stopEngineTask` + `classifyTaskStopConflict` · `fetchEngineSubagentReport` · `steerEngineSubagent` · `resumeSettledSubagent` + `resolveSubagentResumeContext` + `resolveOwnerRunId` + `classifySubagentResumeFailure` + `subagentResumeAvailable`(#242 批 2 A-028.7:resume 判定半场上收,与 steer 孪生同居;取址三态 = 台账有行用行值 / 指名了行但台账缺席则**诚实缺席绝不回落在飞 run** / 没指名行才回落。出路文案归端)· `recordSubagentOwnerFromProgress` + `getBgParentRunOwner`(A-028.6:「子代 → 宿主 run」**单表**,宿主 run 必须由持 stream-local 值的调用方显式传入,包内绝不从 `activeEngineRunId()` 推断)· `noteBgOwnerAbsence`(#242 批 3 [4000] Q3=B:tail/taskOutput·taskStop/subagentOutput 三腿台账缺席即诚实缺席**绝不回落在飞 run**,缺席 warn 留痕每 (腿,taskId) 一条)· `auditRetainWithoutWake`([4000] Q5:引擎宣示 `subagentResume` + 本端在付 `retainSubagentSessions` + 端未实现 `wakeSubagent` ⇒ 响亮一条;`CLIENT_VERBS.wakeSubagent` 维持 fail-soft)· `subscribeSubagentContent` · `subscribeEngineAgentPanel` · `publishQuestionFrame` / `respondToQuestion` | 驱动与观测委派子代;经 module 级台账喂活体 agent/task 面板。全部**能力位 gate**(§5b) | `src/subagent/*.ts`、`src/subagentContentStore.ts`、`src/engineAgentPanelStore.ts`、`src/engineInlineTaskStats.ts`、`src/engineToolLabelStore.ts`、`src/liveQuestionStore.ts` |
 | 5 | **fleet 投影** | 43 | `createFleetLedger` · `projectTasks` · `projectWorkflows` · `projectFleetAgentRows` · `readEngineActiveBgTasks` · `FLEET_TASK_VIEW_KEYS` | 老 `fleetClient` 那一刀的成品:**帧体归库、连接归端** —— 端持 SSE 连接,库做行投影 + 保留台账 | `src/fleet/fleetProjection.ts`、`src/fleet/fleetLedger.ts`、`src/fleetAgentPanelProjection.ts`、`src/fleetTaskDesc.ts` |
 | 6 | **请求装配(上行唯一构造口)** | 8 | `buildTaskRequest` · `REQUEST_FIELD_MATRIX` · `unregisteredRequestKeys` · `applyLiveRequestDefaults` · `taskNotificationToPrintFrame` | 两条车道(`interactive`/`print`)出站请求的**唯一**构造器;`unregisteredRequestKeys` 是可执行门 —— 端偷带一个未登记键上 wire 就红 | `src/request/taskRequest.ts`、`src/request/printNotification.ts` |
 | 7 | **通知与 outstanding 台账** | 37 | `installNotificationQueuePort` · `normalizeTaskNotification` · `taskNotificationDedupKeyFromWire` · `registerOutstandingBgTask` / `registerOutstandingWorkflowRun` · `notificationQueuePortMisses` · `subscribeOutstandingWorkflows` · `outstandingDeliverableWorkflowCount` | `task_notification` 归一 + 去重 + 投递进宿主命令队列的**一把闸**;`outstandingDeliverableWorkflowCount()` 是 headless `-p` 的**退出门** | `src/notifications.ts`(11 个 module 台账) |

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema-agent/client-core",
-  "version": "0.30.7",
+  "version": "0.31.0",
   "description": "Client-side session runtime shared by every sema human client (TUI / web / desktop): sema wire frames (AgentEvent) -> CC session vocabulary (SDKMessage) with dual-plane output (transcript/chrome), deterministic transcript ids, lane discipline as a type, and the notification/dedup ledgers. Every CC-skin shape is collected here so the wire itself stays neutral. Blackboard [1832] design axioms; [1651]/[1652]/[1653] signed seam design. Renamed from @sema-agent/wire-cc-adapter (0.1.x).",
   "license": "MIT",
   "type": "module",
@@ -31,12 +31,12 @@
   },
   "peerDependencies": {
     "@sema-agent/agent-types": ">=0.2.0",
-    "@sema-agent/sdk": ">=6.17.2"
+    "@sema-agent/sdk": ">=7.1.0"
   },
   "devDependencies": {
     "@sema-agent/agent-types": "^0.2.0",
     "@sema-agent/core": "^5.20.0",
-    "@sema-agent/sdk": "^6.17.2",
+    "@sema-agent/sdk": "^7.1.0",
     "esbuild": "^0.27.4",
     "typescript": "^6.0.2"
   }