@sema-agent/client-core 0.77.0 → 0.77.2

package/dist/engineIdentity.d.ts

@@ -1,94 +1,11 @@
-/**
- * src/engineIdentity.ts — 引擎**代际锚**读器(`/health` 的 `pid` / `instanceId` / `startedAt`)
- * 三端共用件(0.63.0;engine ≥7.67.0 / sdk 8.8.0 / S-179)。
- *
- * ── 为什么这一面值得一个模块 ─────────────────────────────────────────────────────────────────
- * `/health` 是一台 worker **唯一免凭证**的门,心跳恒绿。于是「另一个宿主把这台共用引擎重启了」
- * 此前只能靠某个**带凭证**的请求先撞上 401 才被发现 —— 而那条路会把一次重启误读成网络故障
- * (处置完全相反:一个要重新握手,一个要重试)。engine 7.67.0 起 `/health` 无条件带上
- * `startedAt`(这个**进程**自己的起点,epoch ms,模块加载时按 `process.uptime()` 铸一次),
- * 换代因此可以被当成**一等事实**读出来,而不是等一次失败。
- *
- * ── 归层:本模块只读与比,不做状态机 ────────────────────────────────────────────────────────
- * 「读出换代之后要做什么」(丢连接、重握手、提示用户)是**宿主的状态机**,壳有自己的那一只闸。
- * 本包给的是两件纯物:一只窄读器 {@link engineIdentityOf} 与一族纯比较
- * ({@link engineIdentityVerdict} / {@link engineIdentityChanged} / {@link engineIdentityChangedBy})。
- * 三端共用同一套判据,才不会一端把「判不出」当「没换」、另一端把它当「换了」。
- *
- * ── 🔴 三态,不是布尔 ───────────────────────────────────────────────────────────────────────
- * 一个布尔把「没换」与「判不出」压进同一个 `false`,而这两件事的下一步相反(前者继续用,后者
- * 要么再探一次要么按最坏情况握手)。所以真源是三态判词;布尔口保留是因为大多数调用点只关心
- * 「有没有**正面观察到**换代」,它的 `true` 是一句断言、`false` **不是**
- * ([honest-absence-not-fabricated-zero])。
- *
- * ── 🔴 三只锚并列,不是「startedAt 说了算」───────────────────────────────────────────────────
- * `instanceId` 答「是不是同一条命」,`startedAt` 还答「从什么时候起」——上游声明里逐字写着两者
- * **刻意不合并**。所以判据是:**任一**在两侧都在场的锚不同 ⇒ 换代。只看 startedAt 会把
- * 「startedAt 相同而 instanceId 不同」这类真实的坏读数判成「同一条命」。优先序
- * ({@link ENGINE_IDENTITY_ANCHORS})只决定**判词报哪一只**,不决定看不看别的。
- */
-/** 一台 worker 的代际锚读数。三格**并列**,各自独立在场/缺席。 */
 export interface EngineIdentityView {
-    /** 这台 worker 的进程号(server 无条件发)。 */
     pid?: number;
-    /** 这条命的实例 id(答「是不是同一条命」)。 */
     instanceId?: string;
-    /** 这个进程的起点,epoch ms(server ≥7.67.0 无条件发;答「从什么时候起」)。
-     *  🔴 缺席 = **这台 worker 说不出来**(<7.67.0),**绝不是**「它没重启过」。 */
     startedAt?: number;
 }
-/**
- * 代际锚的**优先序**。序:`startedAt`(最具体:同一条命还答得出从何时起)→ `instanceId`
- * (同一条命吗)→ `pid`(端口上还是那个进程吗)。
- *
- * 🔴 **顺序**只决定 {@link engineIdentityChangedBy} 报哪一只;但**成员集合是承重的** ——
- *    比较器**遍历的正是这张表**,少一只锚就等于那只锚不再参与判定(异源对抗复审 R2 [medium] 实撞:
- *    移掉 `instanceId` 之后,两份 `instanceId` 不同、别的锚相同的合法读数从 `changed` 翻成 `same`,
- *    宿主据此漏掉一次重握手)。
- * 🔴 因此它是 `Object.freeze` 的数组,**不是**只在类型面只读的 `readonly T[]`:后者一行
- *    `.splice()` 就能改,而公面消费者拿到的正是这个实例。这是本仓**已定谳的病形**
- *    (`RESUME_RETRY_LATER_CODES` / `RUN_LEVEL_STOP_ERROR_CODES` 两次同款处置)。
- *    运行期反钉在 `run-engine-identity-test.mjs` 的 Bz 段(试改 + 试改后判词没漂,两半都断言)。
- */
 export declare const ENGINE_IDENTITY_ANCHORS: readonly (keyof EngineIdentityView)[];
-/**
- * `/health` 200 体 → 代际锚读数;**畸形一律缺席**,绝不抛出。
- *
- * 🔴 **逐格独立**:一只锚形坏只丢那一格(三只锚是三条独立的证据,一只坏不该把另两只藏起来)。
- * 🔴 **恒返回一只读数对象**(读不出任何一格时是 `{}`),不返回 `undefined` —— 调用方读的是
- *    「哪几只锚这次答得出来」,而不是「这次有没有响应」(后者是它自己的探测腿知道的事)。
- * ⚠️ 只取三只锚;`/health` 上其余的键(`version` / `configHash` / `dataRoot` / 降级位…)各有
- *    自己的读面,不在这里搭便车 —— 一个「顺手多带两个键」的读数会变成第二份 health 台账。
- */
 export declare function engineIdentityOf(health: unknown): EngineIdentityView;
-/** 换代判词。`unknown` = 两侧**没有一只锚可比**(诚实缺席,绝不折成 `same`)。 */
 export type EngineIdentityVerdict = 'changed' | 'same' | 'unknown';
-/**
- * 两份读数说的是不是**同一条命**。
- *
- * 判据(与 {@link engineIdentityChangedBy} 同一套,只是那一只多报一个名字):
- *   · **任一**在两侧都在场的锚**不同** ⇒ `changed`;
- *   · 至少一只锚可比、且没有一只不同 ⇒ `same`;
- *   · **一只可比的锚都没有** ⇒ `unknown`。
- *
- * 🔴 **锚交集为空 ⇒ `unknown` 而不是 `same`**:老 worker 只报 `pid`、新 worker 只报 `startedAt`
- *    时,「没发现不同」是因为**没得比**,不是因为它没换。把这一格读成 `same` 正是本模块要根治的
- *    那类静默病。
- * 🔴 单侧在场的锚**不是反证**:一侧有 `startedAt` 另一侧没有,只说明其中一台答不出这只锚;
- *    只要另有一只锚可比且相同,判词照给 `same`。
- */
 export declare function engineIdentityVerdict(a: unknown, b: unknown): EngineIdentityVerdict;
-/**
- * 换代是**哪一只锚**看出来的(优先序最高的那一只不同的锚)。没换 / 判不出 ⇒ `undefined`。
- * 给的是一句人可读的诊断线索(「端口上换了个进程」vs「同一个进程报了另一条命」),
- * **不是**裁决位 —— 裁决位是 {@link engineIdentityVerdict}。
- */
 export declare function engineIdentityChangedBy(a: unknown, b: unknown): keyof EngineIdentityView | undefined;
-/**
- * **正面观察到换代了吗**。
- * 🔴 `true` 是一句断言(某只可比的锚确实变了);`false` **不是** —— 它同时覆盖「没换」与
- *    「判不出」。要分清这两件事,读 {@link engineIdentityVerdict}(那是本族的真源)。
- *    这个方向是刻意的:据 `true` 做的事(重新握手)在误判时代价可控,据 `false` 做的事
- *    (继续用这条连接)在误判时会一直对着一台已经换掉的引擎说话。
- */
 export declare function engineIdentityChanged(a: unknown, b: unknown): boolean;

package/dist/engineIdentity.js

@@ -1,63 +1,11 @@
-/**
- * src/engineIdentity.ts — 引擎**代际锚**读器(`/health` 的 `pid` / `instanceId` / `startedAt`)
- * 三端共用件(0.63.0;engine ≥7.67.0 / sdk 8.8.0 / S-179)。
- *
- * ── 为什么这一面值得一个模块 ─────────────────────────────────────────────────────────────────
- * `/health` 是一台 worker **唯一免凭证**的门,心跳恒绿。于是「另一个宿主把这台共用引擎重启了」
- * 此前只能靠某个**带凭证**的请求先撞上 401 才被发现 —— 而那条路会把一次重启误读成网络故障
- * (处置完全相反:一个要重新握手,一个要重试)。engine 7.67.0 起 `/health` 无条件带上
- * `startedAt`(这个**进程**自己的起点,epoch ms,模块加载时按 `process.uptime()` 铸一次),
- * 换代因此可以被当成**一等事实**读出来,而不是等一次失败。
- *
- * ── 归层:本模块只读与比,不做状态机 ────────────────────────────────────────────────────────
- * 「读出换代之后要做什么」(丢连接、重握手、提示用户)是**宿主的状态机**,壳有自己的那一只闸。
- * 本包给的是两件纯物:一只窄读器 {@link engineIdentityOf} 与一族纯比较
- * ({@link engineIdentityVerdict} / {@link engineIdentityChanged} / {@link engineIdentityChangedBy})。
- * 三端共用同一套判据,才不会一端把「判不出」当「没换」、另一端把它当「换了」。
- *
- * ── 🔴 三态,不是布尔 ───────────────────────────────────────────────────────────────────────
- * 一个布尔把「没换」与「判不出」压进同一个 `false`,而这两件事的下一步相反(前者继续用,后者
- * 要么再探一次要么按最坏情况握手)。所以真源是三态判词;布尔口保留是因为大多数调用点只关心
- * 「有没有**正面观察到**换代」,它的 `true` 是一句断言、`false` **不是**
- * ([honest-absence-not-fabricated-zero])。
- *
- * ── 🔴 三只锚并列,不是「startedAt 说了算」───────────────────────────────────────────────────
- * `instanceId` 答「是不是同一条命」,`startedAt` 还答「从什么时候起」——上游声明里逐字写着两者
- * **刻意不合并**。所以判据是:**任一**在两侧都在场的锚不同 ⇒ 换代。只看 startedAt 会把
- * 「startedAt 相同而 instanceId 不同」这类真实的坏读数判成「同一条命」。优先序
- * ({@link ENGINE_IDENTITY_ANCHORS})只决定**判词报哪一只**,不决定看不看别的。
- */
-/**
- * 代际锚的**优先序**。序:`startedAt`(最具体:同一条命还答得出从何时起)→ `instanceId`
- * (同一条命吗)→ `pid`(端口上还是那个进程吗)。
- *
- * 🔴 **顺序**只决定 {@link engineIdentityChangedBy} 报哪一只;但**成员集合是承重的** ——
- *    比较器**遍历的正是这张表**,少一只锚就等于那只锚不再参与判定(异源对抗复审 R2 [medium] 实撞:
- *    移掉 `instanceId` 之后,两份 `instanceId` 不同、别的锚相同的合法读数从 `changed` 翻成 `same`,
- *    宿主据此漏掉一次重握手)。
- * 🔴 因此它是 `Object.freeze` 的数组,**不是**只在类型面只读的 `readonly T[]`:后者一行
- *    `.splice()` 就能改,而公面消费者拿到的正是这个实例。这是本仓**已定谳的病形**
- *    (`RESUME_RETRY_LATER_CODES` / `RUN_LEVEL_STOP_ERROR_CODES` 两次同款处置)。
- *    运行期反钉在 `run-engine-identity-test.mjs` 的 Bz 段(试改 + 试改后判词没漂,两半都断言)。
- */
 export const ENGINE_IDENTITY_ANCHORS = Object.freeze([
     'startedAt',
     'instanceId',
     'pid',
 ]);
-/** 正的有限数(epoch 时刻 / 进程号都不可能是 0、负数、NaN、Infinity)。 */
 function posNum(v) {
     return typeof v === 'number' && Number.isFinite(v) && v > 0 ? v : undefined;
 }
-/**
- * `/health` 200 体 → 代际锚读数;**畸形一律缺席**,绝不抛出。
- *
- * 🔴 **逐格独立**:一只锚形坏只丢那一格(三只锚是三条独立的证据,一只坏不该把另两只藏起来)。
- * 🔴 **恒返回一只读数对象**(读不出任何一格时是 `{}`),不返回 `undefined` —— 调用方读的是
- *    「哪几只锚这次答得出来」,而不是「这次有没有响应」(后者是它自己的探测腿知道的事)。
- * ⚠️ 只取三只锚;`/health` 上其余的键(`version` / `configHash` / `dataRoot` / 降级位…)各有
- *    自己的读面,不在这里搭便车 —— 一个「顺手多带两个键」的读数会变成第二份 health 台账。
- */
 export function engineIdentityOf(health) {
     if (typeof health !== 'object' || health === null || Array.isArray(health))
         return {};
@@ -71,33 +19,9 @@ export function engineIdentityOf(health) {
         ...(startedAt !== undefined ? { startedAt } : {}),
     };
 }
-/**
- * 比较前的**统一归一**:一律过 {@link engineIdentityOf}。
- *
- * 🔴 **不能只做「是不是对象」的强转**(异源对抗复审 [medium]):公开入口吃 `unknown`,强转会把
- *    **坏锚**(`null` / `0` / 空串 / 非有限数)当成「可比的证据」—— 两侧同为 `{pid:null}` 于是判
- *    `same`,而经窄读器之后两边都是空读数、正确判词是 `unknown`。后果不是渲染错一行,是宿主据此
- *    **跳过**本该做的重探或重握手。
- * ⚠️ 对一份**已经窄读过**的视图,本函数是幂等的(合法锚原样通过),所以调用方递原始 `/health` 体
- *    还是递视图,判词一致 —— 门里有一条钉。
- */
 function viewOf(x) {
     return engineIdentityOf(x);
 }
-/**
- * 两份读数说的是不是**同一条命**。
- *
- * 判据(与 {@link engineIdentityChangedBy} 同一套,只是那一只多报一个名字):
- *   · **任一**在两侧都在场的锚**不同** ⇒ `changed`;
- *   · 至少一只锚可比、且没有一只不同 ⇒ `same`;
- *   · **一只可比的锚都没有** ⇒ `unknown`。
- *
- * 🔴 **锚交集为空 ⇒ `unknown` 而不是 `same`**:老 worker 只报 `pid`、新 worker 只报 `startedAt`
- *    时,「没发现不同」是因为**没得比**,不是因为它没换。把这一格读成 `same` 正是本模块要根治的
- *    那类静默病。
- * 🔴 单侧在场的锚**不是反证**:一侧有 `startedAt` 另一侧没有,只说明其中一台答不出这只锚;
- *    只要另有一只锚可比且相同,判词照给 `same`。
- */
 export function engineIdentityVerdict(a, b) {
     const x = viewOf(a);
     const y = viewOf(b);
@@ -113,11 +37,6 @@ export function engineIdentityVerdict(a, b) {
     }
     return comparable > 0 ? 'same' : 'unknown';
 }
-/**
- * 换代是**哪一只锚**看出来的(优先序最高的那一只不同的锚)。没换 / 判不出 ⇒ `undefined`。
- * 给的是一句人可读的诊断线索(「端口上换了个进程」vs「同一个进程报了另一条命」),
- * **不是**裁决位 —— 裁决位是 {@link engineIdentityVerdict}。
- */
 export function engineIdentityChangedBy(a, b) {
     const x = viewOf(a);
     const y = viewOf(b);
@@ -131,13 +50,6 @@ export function engineIdentityChangedBy(a, b) {
     }
     return undefined;
 }
-/**
- * **正面观察到换代了吗**。
- * 🔴 `true` 是一句断言(某只可比的锚确实变了);`false` **不是** —— 它同时覆盖「没换」与
- *    「判不出」。要分清这两件事,读 {@link engineIdentityVerdict}(那是本族的真源)。
- *    这个方向是刻意的:据 `true` 做的事(重新握手)在误判时代价可控,据 `false` 做的事
- *    (继续用这条连接)在误判时会一直对着一台已经换掉的引擎说话。
- */
 export function engineIdentityChanged(a, b) {
     return engineIdentityVerdict(a, b) === 'changed';
 }

package/dist/engineInlineTaskStats.d.ts

@@ -1,72 +1,15 @@
-/**
- * ⇄ B1 批搬迁(2026-07-27,多端改造设计稿 §2.4.1-B):cli src/sema/engineInlineTaskStats.ts 逐字搬入(零依赖;壳侧改 re-export)。
- * 🔴 单实例语义:写方 = bridge 的 task_progress tick,读方 = 行内 group 行的 useSyncExternalStore。
- */
-/**
- * engineInlineTaskStats — dep-free side-channel store bridging ENGINE-side subagent progress
- * (`task_progress` ticks) to the INLINE transcript group row ("Running N agents…" / AgentProgressLine).
- *
- * WHY (clay dogfood 2026-07-03): in engine mode the shell AgentTool's call() never runs, so the inline
- * group row's per-agent stats (tool uses / tokens) and status line — both computed from LOCAL
- * ProgressMessages (overrides/agent.tsx calculateAgentStats / extractLastToolInfo) — stay frozen at
- * `0 tool uses` / `Initializing…` for the whole run and after completion. The engine's `task_progress`
- * ticks DO carry the rollup ({toolUses, totalTokens, durationMs}) and the bridge already binds each
- * tick to its delegating tool_use card (bindTaskCard, P1② explicit parentToolCallId) — but only fed
- * the FOOTER panel store. This store is the inline twin: keyed by the delegating tool_use id (cardId),
- * latest cumulative tick per card, frozen on the card's close (tool_end) / turn-end sweep so the
- * finished group row keeps the final values.
- *
- * Same pattern as engineAgentPanelStore (module-level, no React/AppState deps on the write side); the
- * read side is a useSyncExternalStore hook inside the sema-owned AgentProgressLine override — a
- * subscription, NOT a render-time map read, because the memoized transcript tree won't re-render on
- * ticks by itself. Local (non-engine) AgentTool runs never write here, so the local path is untouched
- * (fallback only consulted when the card id has an entry).
- */
-/**
- * TYPESHAPE-13:inline task tick 的形状(生产侧 `seam.ts` ChromeEvent 的 `inline_task_stats`/
- * `op:'tick'` 臂内嵌套 `stats` 字段 ↔ 本文件消费侧 `publishEngineInlineTaskTick` 的 `tick` 形参)
- * 跨模块内联写了两份逐字相同的形状,抽成具名类型两处共用——漏改一处(比如只给 seam.ts 加
- * `currentToolName?`)时,两侧编译仍全绿但字段会被静默丢弃,B4 命名 DU 豁免只护直接成员形状,
- * 不护这种嵌套字段。
- *
- * 定义在 `seam.ts`(本包基础词表模块)、这里反向 import——本文件是零依赖的 dep-free store,
- * seam.ts 反过来依赖它会把层级倒过来。
- */
 import type { InlineTaskTick } from './seam.js';
 export interface EngineInlineTaskStats {
-    /** Cumulative tool uses off the latest tick (frozen at settle). */
     toolUses: number;
-    /** Cumulative tokens off the latest tick (frozen at settle). */
     totalTokens: number;
-    /** Cumulative run duration off the latest tick — feeds the "Working…" status line. */
     durationMs: number;
-    /** core 1.262.0 [558]B (service 1.154.0 wire) — the child's most recent tool intent as ONE human
-     *  line ("Bash npm test"), service-redacted. Replaces the generic "Working…" status line while the
-     *  card is live; absent on old engines ⇒ the status line is unchanged. */
     currentAction?: string;
-    /** The card closed (tool_end or turn-end sweep): values above are final. */
     done: boolean;
     isError: boolean;
 }
-/** Bridge write side — latest cumulative tick for the card. No-op once the card settled (frozen finals). */
 export declare function publishEngineInlineTaskTick(cardId: string, tick: InlineTaskTick): void;
-/** Bridge write side — the delegating card closed: freeze the finals. Idempotent. */
 export declare function settleEngineInlineTaskStats(cardId: string, isError: boolean): void;
-/** Turn-end / abort sweep twin — settle every card still live (a subagent never emits a terminal tick). */
 export declare function settleAllEngineInlineTaskStats(): void;
-/** Read side — reference-stable snapshot per card (object replaced only on update). */
 export declare function getEngineInlineTaskStats(cardId: string): EngineInlineTaskStats | undefined;
-/**
- * Read side, id-less — the SOLE live (un-settled) card's stats, or undefined when 0 or ≥2 are live.
- *
- * WHY (#64 B 面 pty 实测,2026-07-11): the SINGLE-card in-flight render path
- * (overrides/agent.tsx renderToolUseProgressMessage, zero local progressMessages in engine mode)
- * has NO toolUseID in scope — the CC Tool-interface method signature doesn't carry it, and the
- * call-site wrapper (AssistantToolUseMessage.tsx) is CC-verbatim. Attribution without an id is only
- * safe when it is unambiguous, so this returns the stats ONLY when exactly one live card exists
- * (the adversarial-review posture of bindTaskCard: better honest-generic than bound wrong; with ≥2
- * live engine subagents the row keeps today's Initializing…). Reference-stable (returns the same
- * per-card snapshot object the keyed getter hands out).
- */
 export declare function getSoleLiveEngineInlineTaskStats(): EngineInlineTaskStats | undefined;
 export declare function subscribeEngineInlineTaskStats(fn: () => void): () => void;

package/dist/engineInlineTaskStats.js

@@ -1,27 +1,3 @@
-/**
- * ⇄ B1 批搬迁(2026-07-27,多端改造设计稿 §2.4.1-B):cli src/sema/engineInlineTaskStats.ts 逐字搬入(零依赖;壳侧改 re-export)。
- * 🔴 单实例语义:写方 = bridge 的 task_progress tick,读方 = 行内 group 行的 useSyncExternalStore。
- */
-/**
- * engineInlineTaskStats — dep-free side-channel store bridging ENGINE-side subagent progress
- * (`task_progress` ticks) to the INLINE transcript group row ("Running N agents…" / AgentProgressLine).
- *
- * WHY (clay dogfood 2026-07-03): in engine mode the shell AgentTool's call() never runs, so the inline
- * group row's per-agent stats (tool uses / tokens) and status line — both computed from LOCAL
- * ProgressMessages (overrides/agent.tsx calculateAgentStats / extractLastToolInfo) — stay frozen at
- * `0 tool uses` / `Initializing…` for the whole run and after completion. The engine's `task_progress`
- * ticks DO carry the rollup ({toolUses, totalTokens, durationMs}) and the bridge already binds each
- * tick to its delegating tool_use card (bindTaskCard, P1② explicit parentToolCallId) — but only fed
- * the FOOTER panel store. This store is the inline twin: keyed by the delegating tool_use id (cardId),
- * latest cumulative tick per card, frozen on the card's close (tool_end) / turn-end sweep so the
- * finished group row keeps the final values.
- *
- * Same pattern as engineAgentPanelStore (module-level, no React/AppState deps on the write side); the
- * read side is a useSyncExternalStore hook inside the sema-owned AgentProgressLine override — a
- * subscription, NOT a render-time map read, because the memoized transcript tree won't re-render on
- * ticks by itself. Local (non-engine) AgentTool runs never write here, so the local path is untouched
- * (fallback only consulted when the card id has an entry).
- */
 const statsByCardId = new Map();
 const listeners = new Set();
 function emit() {
@@ -30,11 +6,9 @@ function emit() {
             fn();
         }
         catch {
-            // a consumer render error must never disturb the bridge's stream drain
         }
     }
 }
-/** Bridge write side — latest cumulative tick for the card. No-op once the card settled (frozen finals). */
 export function publishEngineInlineTaskTick(cardId, tick) {
     const prev = statsByCardId.get(cardId);
     if (prev?.done)
@@ -42,7 +16,6 @@ export function publishEngineInlineTaskTick(cardId, tick) {
     statsByCardId.set(cardId, { ...tick, done: false, isError: false });
     emit();
 }
-/** Bridge write side — the delegating card closed: freeze the finals. Idempotent. */
 export function settleEngineInlineTaskStats(cardId, isError) {
     const prev = statsByCardId.get(cardId);
     if (!prev || prev.done)
@@ -50,7 +23,6 @@ export function settleEngineInlineTaskStats(cardId, isError) {
     statsByCardId.set(cardId, { ...prev, done: true, isError });
     emit();
 }
-/** Turn-end / abort sweep twin — settle every card still live (a subagent never emits a terminal tick). */
 export function settleAllEngineInlineTaskStats() {
     let changed = false;
     for (const [cardId, s] of statsByCardId) {
@@ -62,29 +34,16 @@ export function settleAllEngineInlineTaskStats() {
     if (changed)
         emit();
 }
-/** Read side — reference-stable snapshot per card (object replaced only on update). */
 export function getEngineInlineTaskStats(cardId) {
     return statsByCardId.get(cardId);
 }
-/**
- * Read side, id-less — the SOLE live (un-settled) card's stats, or undefined when 0 or ≥2 are live.
- *
- * WHY (#64 B 面 pty 实测,2026-07-11): the SINGLE-card in-flight render path
- * (overrides/agent.tsx renderToolUseProgressMessage, zero local progressMessages in engine mode)
- * has NO toolUseID in scope — the CC Tool-interface method signature doesn't carry it, and the
- * call-site wrapper (AssistantToolUseMessage.tsx) is CC-verbatim. Attribution without an id is only
- * safe when it is unambiguous, so this returns the stats ONLY when exactly one live card exists
- * (the adversarial-review posture of bindTaskCard: better honest-generic than bound wrong; with ≥2
- * live engine subagents the row keeps today's Initializing…). Reference-stable (returns the same
- * per-card snapshot object the keyed getter hands out).
- */
 export function getSoleLiveEngineInlineTaskStats() {
     let sole;
     for (const s of statsByCardId.values()) {
         if (s.done)
             continue;
         if (sole !== undefined)
-            return undefined; // ≥2 live — ambiguous, stay honest
+            return undefined;
         sole = s;
     }
     return sole;

package/dist/engineNoticeCodes.d.ts

@@ -1,242 +1,52 @@
-/**
- * src/engineNoticeCodes.ts — `engine_notice` 的**码册**与 **audience 表**(0.63.0;L-167;core 7.9.x)。
- *
- * -- 「渲不渲」的判据不在这一端 --------------------------------------------------------------
- * 一条引擎通告该不该占用户的注意力,正确判据**不是**「这一端的渲染表有没有那一格」(那会随各端的
- * 施工进度晃),而是**上游有没有把这个码铸进它的成文码册**:
- *   · 码册**内**的码 = 引擎作为治理事实铸出来的,即使这一端还没有专属文案也该让人看见(通用行);
- *   · 码册**外**的码 = 转发进同一个水槽的宿主/适配器噪声,呈现面 fail-closed(只落 debug)。
- * audience 回答另一问:这条事实**说给谁听**。一条 operator 行推给终端用户是噪音;一条 user 行只落
- * operator 日志,就是把该告诉他的事瞒下了。两值而已(`user` / `operator`)—— 上游刻意不设第三值:
- * 「这条通告能不能路由到某个会话」不是 audience,而是 `sessionId` 在不在场(**逐次发射**的事实)。
- *
- * -- 为什么是镜像而不是 import ---------------------------------------------------------------
- * `@sema-agent/core` 不是本包消费者的依赖(它既不是 peer 也不是 runtime dep),而本包的 `.d.ts`
- * 一旦引用它,装了本包却没装 core 的下游会当场编译不过。这与本包 `toolResult.ts` / `retryStatus.ts` /
- * `skillsWireCaps.ts` 三处的处置同形:**按 wire 事实镜像,把代价交给门**——
- * `run-engine-notice-catalog-test.mjs` 对**实装 devDep core** 的两份产物逐码逐行双向对账,
- * core 一动这里就先红。上游自己也是这么设计的:它导出码册的理由逐字写着「a downstream table with a
- * row missing … is a mechanically detectable disagreement rather than an argument」。
- *
- * -- 提货记账(码册加员 / audience 换档)-------------------------------------------------------
- * · **core 7.10.0 +2**:`delegation.ask_unresolvable`(audience **user** —— 委派链上那只 ask 判不出
- *   归属、没有人可问,这件事的收件人是发起这次委派的**用户**)/ `config.read_face_swapped`
- *   (audience **operator** —— READ 容纳面被换过档,是部署事实)。四十八码 ⇒ **五十码**。
- * · **core 7.17.0 +1**(0.68.0 提货批,同样由本门 A1 段当天红抓出:「上游 52 / 本包 51」):
- *   `config.artifact_host_invalid`(audience **operator** —— 宿主接了 artifact 席但它的
- *   `capabilities()` 声明不过席上的不变量、或 `onMount` 抛了 ⇒ 那只工具没挂上。上游逐字:
- *   「an absent seat is silent; a broken one must not look the same」)。五十一码 ⇒ **五十二码**。
- * · **core ≤7.16.0 +1**(0.67.0 提货批,由本门的 A1 段当天红抓出 —— 不是人眼发现的):
- *   `task.interrupt_unconsumed`(audience **user**;位置在 `task.late_approval` 与
- *   `memory.capture_opted_out` 之间,`governance-codes.js:146` / `NOTICE_AUDIENCE_TABLE:165` 真字节)。
- *   ⚠️ 它**不在** core 7.14.0 / 7.15.0 / 7.16.0 任何一份 `docs/wire-consumption` 逐键表里 ——
- *   如实登记为**合同外加员**,处置随本门的双向对账走。五十码 ⇒ **五十一码**。
- * · **core 7.14.0 audience 换档(value-domain BREAKING)**:`memory.consolidation_withheld`
- *   **user → operator**(`NOTICE_AUDIENCE_TABLE:169` 真字节)。合同逐字的理由:这条通告**没有
- *   `sessionId`**(一次固化跑在任何会话之外)⇒ 一个按会话路由 `user` 行的消费方**必须停止**在那里
- *   等它;面向读者的那一半骑在回执上(`withheldFromCleanArm` / `withheldNeverSent`)。
- *   🔴 三端落点:凡按 audience 分发的面(TUI 通告行 / web 通知中心 / 桌面 toast),这条码从此**只**
- *   进运维面 —— 端不改代码也会跟着走(分发读的就是本表),但**通告文案面**若为它写过「告诉用户」
- *   的专属行,那一行要跟着挪。
- * · **7.16.0 的两个 memory 布局码不进本册**:`memory.layout_migrated` /
- *   `memory.layout_unowned_root_content` 在 core 里属 `NON_GOVERNANCE_MEMORY_CODES`
- *   (`governance-codes.js:11-27` 真字节),**不在** `ENGINE_NOTICE_CODES` / `NOTICE_AUDIENCE` 上。
- *   本包对非治理码的既有路由**不变**:码册外 ⇒ 呈现面 fail-closed(只落 debug)。把它们抄进本册
- *   会让 A1/A2 双向对账当天红 —— 那正是这张表是**抄件**而不是意见的意思。
- *
- * -- 🔴 单铸律:本模块**不抄**任何一句 core 的措辞 -------------------------------------------
- * `mcp.injection_dropped` 上游立了 `settlement.single_mint` 契约:**宿主只供事实**(哪个会话 /
- * 哪个 server 名 / 四个原因里的哪一个 / 可选哪个字段坏),**core composes** 码字、audience 行与
- * 句子。第二份措辞就是第二个会漂的源。⇒ 本模块只给码册、audience 与**事实窄读器**
- * ({@link readMcpInjectionDrop});转录直接用引擎给的 `message`。门里有一条反向钉:core 那四句
- * 出现在本包源码或产物里 => 当场红。
- */
-/** 一条通告是**说给谁听**的。两值,刻意不设第三值(见模块顶注)。 */
 export type NoticeAudience = 'user' | 'operator';
-/**
- * 引擎**成文码册**的逐字镜像(core `ENGINE_NOTICE_CODES`,**7.23.0 = 六十七码**(7.22.0 六十六 + 7.23.0 一枚 `config.write_protection_unresolved`(#869 / C-R61 ②,operator;governance-codes.js 元组紧跟兄弟码 `config.write_protection_target_view_absent`:那一枚是「没有 target 视图」,这一枚是「有视图但解析不出这次写的目标」,`detail {reason, cause, sessionId, runId}`,`reason` 两词 `unresolved-symlink` / `unresolvable-target`,去重每 leg 每 reason 是引擎侧);7.22.0 六十六 = 7.20.1 六十五 + 7.22.0 一枚 `mcp.server_redialed`(#857,operator;governance-codes.js 元组紧跟 `mcp.revocation_probe_failed`);7.20.0 六十四 + 7.20.1 一枚 `config.write_protection_target_view_absent`;7.19.0 五十九 + 7.20.0 五枚:`config.task_root_not_canonical` / `config.execution_env_capability_invalid` / `config.forward_sink_failed` / `memory.restore_withheld` / `agents.listing_truncated`,均 operator);顺序同源)。
- * 🔴 这是一份**抄件**,不是本包的意见 —— 改它必须同 commit 附 core 坐标,且门会先红。
- * ⚠️ `EngineNotice.code` 的型面在上游**故意留 `string`**(宿主把自己的通告转发进同一个水槽是
- *    被支持的形),所以本表是**判据**不是型 —— 别拿它去窄化那个字段。
-
- * 🔴 形制:`Object.freeze` 的数组,**不是**只在类型面只读的 `readonly T[]` —— 后者一行 `.splice()`
- *    就能改,而公面消费者拿到的正是这个实例(本仓已定谳的病形,同 `RESUME_RETRY_LATER_CODES`)。
- */
 export declare const ENGINE_NOTICE_CODES: readonly string[];
-/**
- * 这个码在不在上游码册里。
- * 🔴 **认原始值**:呈现层的消毒器会把一整类字符换成别的字符,拿清洗值来查表等于让
- *    `memory\nsession_polluted` 这种脏码冒充册内码。消毒只进文案,不进判据。
- */
 export declare function engineNoticeInCatalog(code: unknown): boolean;
-/**
- * 逐码的 audience 行(core `NOTICE_AUDIENCE_TABLE` 逐行镜像;与 {@link ENGINE_NOTICE_CODES}
- * **逐键 lockstep** —— 上游用编译期 `satisfies` 钉住这一点,本包用门钉住)。
- */
 export declare const ENGINE_NOTICE_AUDIENCE: Readonly<Record<string, NoticeAudience>>;
-/**
- * 这个码是说给谁听的。**表外码一律保守判 `operator`** —— 把一个读不懂的码推给终端用户是最坏的
- * 猜法(他既看不懂也无从下手),而漏给运维看一条只是让他晚一点知道。
- */
 export declare function noticeAudienceOf(code: unknown): NoticeAudience;
-/**
- * `mcp.injection_dropped` 的四个掉落原因(core `MCP_INJECTION_DROP_REASONS` 逐词镜像)。
- * 消费端要自己的措辞时**键在这个词上**,绝不对 `message` 做等值匹配(那是给人读的散文)。
-
- * 🔴 形制:`Object.freeze` 的数组,**不是**只在类型面只读的 `readonly T[]` —— 后者一行 `.splice()`
- *    就能改,而公面消费者拿到的正是这个实例(本仓已定谳的病形,同 `RESUME_RETRY_LATER_CODES`)。
- */
 export declare const MCP_INJECTION_DROP_REASONS: readonly string[];
-/** `mcp.injection_dropped` 通告 `detail` 上的事实(宿主在掉落点知道的那几件)。 */
 export interface McpInjectionDropFactsView {
-    /** 这条通告投给哪个会话。**必填** —— user audience 的通告没有会话就无处投递。 */
     sessionId: string;
-    /** 用户自己写的那个 server 名(引擎的 message 里逐字引了它)。 */
     server: string;
-    /** 四个原因之一。 */
     reason: string;
-    /** 只有 `malformed_entry` 带:宿主发现哪个键坏了,用户据此知道该改哪儿。 */
     field?: string;
 }
-/**
- * `mcp.injection_dropped` 通告 → 事实;不成形 => `undefined`,绝不抛出。
- *
- * 🔴 **只认自己那一个码**:一条别的通告即使 `detail` 长得像,也不给读(读器按码分家,才不会在
- *    上游给另一个码加同名键的那天悄悄改判)。
- * 🔴 `sessionId` / `server` / `reason` 三格缺一 => 整只缺席。core 在**铸点**对同样三格直接抛
- *    `TypeError`(「一条没有会话的 user 通告投不到任何地方」);本包在**读点**判缺席而不抛 ——
- *    读点抛只会把一条读不懂的通告升级成一次崩。
- * 🔴 `reason` **按闭集读**:它是消费端分支的键,读不懂的词不许被当成一个能拿去分支的原因。
- *    (要渲一句话时,用引擎给的 `message`,见模块顶注的单铸律。)
- */
 export declare function readMcpInjectionDrop(notice: unknown): McpInjectionDropFactsView | undefined;
-/**
- * `delegation.ask_unresolvable` 的三个成因(core `ASK_UNRESOLVABLE_CAUSES` 逐词镜像,
- * `dist/core/ask-unresolvable-notice.d.ts:31`)。
- *
- * 🔴 **0.68.0 BREAKING(core #709 ②)**:这一位**取代**了 7.16.0 及以前那条通告 `detail` 上的
- *    `settlementKind`(core `gate-exit.ts` 的一处铸点;`settlementKind` 在 7.17.x 的 core 与 sdk
- *    真字节上**零命中**,本包按 clean-cut 不留双读,登记在 `run-retired-vocabulary-census-test.mjs`)。
- *    两者不是改名:`settlementKind` 只说得出「结算是怎么落的」,而 in-fold 拒绝那一臂**根本没有
- *    结算**骑在帧上(`mandate_unreconstructible`)—— 旧位在那一形上恒缺席。
- *
- * 三词各答「为什么这只 ask 判不出来」(上游逐字):
- *  · `approver_unavailable` —— 被问到的审批席(本 run 自己的,或委派子代身上那张冻结的祖先席)
- *    对路由问题答了 `unavailable`,而其后**没有**耐久 park 接下这次调用;
- *  · `no_approver_wired` —— 这条 run 根本没接审批席(或问答面),或者席位就是拒绝姿态串
- *    (headless 自动拒);
- *  · `mandate_unreconstructible` —— 继承来的耐久审批 mandate 绑住了这只 ask,而**这条腿没有 park
- *    设施**去兑现它,于是委派子代就地拒绝(in-fold 拒,帧上不带 settlement)。
- *
- * 🔴 形制:`Object.freeze` 的数组(同 `MCP_INJECTION_DROP_REASONS` 的已定谳病形)。
- */
 export declare const ASK_UNRESOLVABLE_CAUSES: readonly string[];
-/** `delegation.ask_unresolvable` 通告 `detail` 上的事实(引擎在拒绝出口知道的那几件)。 */
 export interface AskUnresolvableFactsView {
-    /** 这条通告投给哪个会话。**必填** —— user audience 的通告没有会话就无处投递(上游在铸点抛)。 */
     sessionId: string;
-    /** 这只 ask 是为哪个工具问的(引擎的 message 里逐字引了它)。 */
     toolName: string;
-    /** 被拒的那次调用 id —— 与带着同一次拒绝的 `tool_end` 帧对得上的关联键。 */
     toolCallId: string;
-    /** 三词之一({@link ASK_UNRESOLVABLE_CAUSES})。 */
     cause: string;
-    /**
-     * 这条 run 上**有没有**武装过耐久审批 park 车道。
-     * `true` = park 有过它那一次机会而没接下(它拒了或失败了);`false` = 压根没有 park 车道(常见形)。
-     * 🔴 **读不出 ⇒ 键不铸**(不折 `false`):「没有 park 车道」与「不知道有没有」的下一步不同 ——
-     *    前者该去接一个 checkpoint 店,后者该去问引擎为什么没说。
-     */
     parkLaneExisted?: boolean;
 }
-/**
- * `delegation.ask_unresolvable` 通告 → 事实;不成形 ⇒ `undefined`,绝不抛出。
- *
- * 🔴 `cause` **按闭集读**:它是消费端分支的键(三条恢复路不同 —— 接一个耐久店 / 接一个审批席 /
- *    别在无 park 设施的腿上继承 mandate)。读不懂的词 ⇒ **整只缺席**,而不是交一个分不了支的串。
- */
 export declare function readAskUnresolvable(notice: unknown): AskUnresolvableFactsView | undefined;
-/**
- * 一条腿上的耐久审批 **mandate 从哪儿来**(core `DURABLE_MANDATE_SOURCES` 逐词镜像,
- * `dist/core/tool-policy.d.ts:1403`)。两词的**恢复动作不同**,这正是上游把它铸上通告的理由:
- *  · `force_durable_gate` —— per-principal 的控制面权利,与席位无关 ⇒ 要么给这套部署接一个
- *    checkpoint 店,要么撤掉这批 principal 的这项权利;
- *  · `durable_approval` —— 任务自己的 opt-in 且**没有**活审批席 ⇒ 给任务一个活席位,或者不要
- *    再传 `durableApproval`。
- *
- * 🔴 形制同上(冻结数组)。
- */
 export declare const DURABLE_MANDATE_SOURCES: readonly string[];
-/** `config.durable_gate_unavailable` 通告 `detail` 上的事实。 */
 export interface DurableGateUnavailableFactsView {
-    /** 这条通告投给哪个会话(user audience ⇒ 必填)。 */
     sessionId: string;
-    /** 哪一条 run。 */
     runId: string;
-    /** 这条腿服务的 principal;上游只在有值时铸 ⇒ 读不出即缺席。 */
     principal?: string;
-    /**
-     * **哪一个 mandate 没被兑现**({@link DURABLE_MANDATE_SOURCES} 之一)。
-     * 🔴 读不懂的词 ⇒ **整只缺席**(它是恢复动作的分支键;猜错会把人指去撤一项他根本没开的权利)。
-     */
     source: string;
-    /**
-     * **为什么没有 park 设施**:上游今天两词 `no_deployment_store`(这套部署一个店都没接)/
-     * `task_store_disabled`(`TaskSpec.checkpointStore: "disabled"`,这一次 run 自己关掉的)。
-     * 🔴 **开集透传**:core 今天**不导出**这两个词的闭集(它在铸点是一个三元表达式,
-     *    `prepare-wiring-manifest.js:90`)⇒ 抄一份就是本包自铸词表,加员那天还是本包先错。
-     *    非空串即原样带回,词表属主在 core;要分支的消费端自己按已知词判,别拿它当穷举。
-     */
     cause: string;
-    /** 这条腿的权限 ask **会不会**由一个活席位当场答(`false` ⇒ fail-closed 拒)。读不出 ⇒ 键不铸。 */
     liveApprover?: boolean;
-    /** `AskUserQuestion` **会不会**由一个活问答面当场答。读不出 ⇒ 键不铸。 */
     liveQuestionFace?: boolean;
 }
-/**
- * `config.durable_gate_unavailable` 通告 → 事实;不成形 ⇒ `undefined`,绝不抛出。
- *
- * 🔴 **两个布尔位缺席不折 `false`**:core 在铸点把它们写成必填,但「这一格读不出」与
- *    「这一格是 false」对用户的下一步不同(前者是「引擎没说」,后者是「没有人会答你这条 ask」)。
- */
 export declare function readDurableGateUnavailable(notice: unknown): DurableGateUnavailableFactsView | undefined;
-/** `skills.listing_truncated` 通告 `detail` 上的事实(core `skill-listing-budget.js` 铸点逐格)。 */
 export interface SkillsListingTruncatedFactsView {
-    /** 清单实际拿到的字节预算 = 在场预算(core 7.20.0 起 8 KiB 结构天花板退役,声明比例即实际;0.70.0 那版曾并列一个
-     *  `requestedBudgetBytes?` 与派生 `laneClamped?`,随该 detail 键在 7.20.0 删除而**整只退役**——不留恒 false 的位)。 */
     budgetBytes: number;
-    /** 每条描述的字符帽(含省略号)。读不出 ⇒ 键不铸。 */
     descMaxChars?: number;
-    /** 这一帧清单上的技能总数(初始清单 = 全名册;drift 帧 = 新宣告的那一批)。 */
     total: number;
-    /** 带完整描述上了清单的条数(= total − nameOnly − dropped;引擎铸点算好,本包照带不重算)。 */
     kept: number;
-    /** 只列名的技能名(按引擎顺序)。 */
     nameOnly: readonly string[];
-    /** 整条没进清单的技能名(病态形;Skill 工具仍服务它们)。 */
     dropped: readonly string[];
-    /** 投给哪个会话。读不出 ⇒ 键不铸(operator 通告不要求会话)。 */
     sessionId?: string;
 }
-/**
- * `skills.listing_truncated` 通告 → 事实;不成形 ⇒ `undefined`,绝不抛出。
- *
- * 🔴 必填 = `budgetBytes` / `total` / `kept` / `nameOnly` / `dropped`(引擎铸点恒带的五格);任一读不出 ⇒ 整只缺席。
- * 🔴 `nameOnly` / `dropped` 里混进非串 ⇒ 整只缺席(名单是渲染键,半张坏名单比没有更坏)。
- * 🔴 `kept` 照带不重算:引擎已在铸点算过;本包再算一遍 = 第二份公式,上游改口那天两边各走各的。
- */
 export declare function readSkillsListingTruncated(notice: unknown): SkillsListingTruncatedFactsView | undefined;
-/** `McpReconnectResult.outcome` 三词(core `src/core/mcp.ts` 逐字);无处置表 —— 成员资格就是全部意义。 */
 export declare const MCP_REDIAL_OUTCOMES: readonly string[];
-/** {@link readMcpServerRedialed} 的读数(core `engine-notice.d.ts` 的 `detail` 逐字同形)。 */
 export interface McpServerRedialedFactsView {
     server: string;
     outcome: string;
-    /** 重拨相对于此前挂载**多**了几个命名空间化工具(计数)。 */
     added: number;
-    /** 同上,**少**了几个。失败重拨 ⇒ 该 server 的工具全部撤走,这一格就是撤走的数目。 */
     removed: number;
-    /** 非 `reconnected` 时的因由(已中性化、封长);渲染用,不分支。 */
     reason?: string;
     sessionId: string;
     runId: string;