@sema-agent/client-core 0.72.13 → 0.73.0

package/dist/hitl/hitlHostSurface.js

@@ -163,6 +163,14 @@ export function surfaceRememberNotApplied() {
 export function surfaceEditNotForwarded() {
     surfaceSelfClearingWarn(EDIT_NOT_FORWARDED_KEY, EDIT_NOT_FORWARDED_WARN_TEXT, EDIT_NOT_FORWARDED_TIMEOUT_MS);
 }
+/** 0.72.14:入参不可得的卡上收到了「编辑后批准」——什么都没发,ask 仍挂着(文案测试锁字面)。 */
+export const EDIT_REFUSED_ON_BLIND_ASK_WARN_TEXT = 'That approval was NOT sent: this request does not expose its tool arguments here, so an edited approval cannot be applied. ' +
+    'The request is still waiting — approve or deny it as it is.';
+const EDIT_REFUSED_ON_BLIND_ASK_KEY = 'hitl-edit-refused-blind-ask';
+/** 见 {@link EDIT_REFUSED_ON_BLIND_ASK_WARN_TEXT};无宿主口 ⇒ 静默(与同族通知同语义)。 */
+export function surfaceEditRefusedOnBlindAsk() {
+    surfaceSelfClearingWarn(EDIT_REFUSED_ON_BLIND_ASK_KEY, EDIT_REFUSED_ON_BLIND_ASK_WARN_TEXT, EDIT_NOT_FORWARDED_TIMEOUT_MS);
+}
 /**
  * 文案(测试锁字面)。措辞刻意描述**后果**,并且**只说证得出的话**(异源对抗复审四轮 [medium] 修):
  *  · 不写「这台引擎不支持」——能力位缺席有三种同形成因(宿主没接这个字段 / 探测还没回来 / 探测失败),

package/dist/hitl/livePendingAsk.d.ts

@@ -0,0 +1,107 @@
+/**
+ * livePendingAsk — 「悬挂的流内 ask」的三端共用读面与决断口(0.72.14)。
+ *
+ * ── 这个模块补的是哪一个缺口 ────────────────────────────────────────────────────────────────
+ * 流内 ask 在铸造那一刻若没有活着的宿主流可投,引擎把它转成**悬挂**(窗约一小时,不补发、不重算),此后只在
+ * `GET /v1/approvals` 回体的第二顶层键 `livePending` 里可发现。后台 workflow 的子代恒落这一形:宿主 turn 先结束,
+ * 子代稍后才撞上审批门 ⇒ 用户面零帧零卡,代理静默卡到窗尽。本模块让端从 {@link startApprovalsFeed} 的快照里
+ * 读到这些行、出带子代身份的卡、并经**与流内帧腿同一条链**决断。
+ *
+ * ── 🔴 四条读法 ────────────────────────────────────────────────────────────────────────────
+ *  ① **键缺席 ≠ 没有悬挂 ask**:老引擎不发这个键 ⇒ `not_reported`;快照上键缺席,计数读 `null`(不知道),绝不铸 `[]` / `0`。
+ *  ② **数组名即路由判据**:`livePending` 行的决议口是 `POST /v1/tool-approvals/{approvalId}/respond`(流内审批那个口),
+ *     **不是** durable 行的 decide 口;两数组不混编。幂等键 = `approvalId`(与流内帧同一个 id)。
+ *  ③ **可选旗标 only-if-true**:`fromSubagent` / `governanceForced` / `requiresRealApproval` 缺席绝不编码成 `false`。
+ *  ④ **行上没有工具入参**(引擎刻意不在这个读面开第二道脱敏面)⇒ 卡必须明说「看不到入参」,不许渲一个空命令冒充全貌。
+ *
+ * sdk 的 barrel 没有导出这一行的类型 ⇒ 按**结构**窄读(与 `capabilities.executionLane` 同一姿势),多余成员不过境。
+ */
+import type { ApprovalsFeedSnapshot } from './approvalsFeed.js';
+import { type RespondToolApprovalFn, type ToolApprovalFrame, type ToolApprovalFrameLaneOpts, type ToolApprovalFrameOutcome } from './toolApprovalWire.js';
+/** 一条悬挂的流内 ask(窄读后的形;键集即全部)。 */
+export interface LivePendingAskView {
+    /** 与 respond 口收的同一个 id。 */
+    approvalId: string;
+    toolName: string;
+    /** 登记时刻(epoch ms)。 */
+    ts: number;
+    /** 窗死线(绝对 epoch ms;引擎铸定,本包不重算)。 */
+    expiresAtMs: number;
+    sessionId?: string;
+    requiresRealApproval?: true;
+    governanceForced?: true;
+    /** 出自委派子代。 */
+    fromSubagent?: true;
+    /** 子代 taskId(与 `fromSubagent` 同生同缺)。 */
+    originTaskId?: string;
+}
+/** `livePending` 段的三态读数。`malformed` = 键在场但读不懂(**不**折成 `not_reported`,也不折成空)。 */
+export type LivePendingReading = {
+    kind: 'not_reported';
+} | {
+    kind: 'malformed';
+} | {
+    kind: 'present';
+    rows: LivePendingAskView[];
+    dropped: number;
+};
+/** `GET /v1/approvals` 回体 → `livePending` 段读数。四必填位坏形的行丢弃并计数;同 `approvalId` 重复行留第一条。 */
+export declare function readLivePendingRows(body: unknown): LivePendingReading;
+/** 视图过滤:给了 `sessionId` ⇒ 只留该会话的行;行上没有 `sessionId` = 归不了属 ⇒ 不留(不替别的会话出卡)。 */
+export interface SuspendedAskFilter {
+    sessionId?: string;
+}
+/** 快照里**出自子代**的悬挂 ask(宿主自己的流内 ask 走流内帧腿,不在这里出卡)。未报 / 没有快照 ⇒ `[]`。 */
+export declare function suspendedSubagentAsks(snapshot: ApprovalsFeedSnapshot | null | undefined, filter?: SuspendedAskFilter): LivePendingAskView[];
+/** 「在等人决定」的计数。`null` = 不知道(没有快照 / 引擎没报这一段),**不是** 0。 */
+export interface ApprovalsAwaitingDecisionCount {
+    /** durable 停驻行数。 */
+    durable: number | null;
+    /** 流内 ask 行数(含宿主自己的与子代的)。 */
+    live: number | null;
+    /** 其中出自子代的行数。 */
+    suspendedSubagent: number | null;
+}
+export declare function countApprovalsAwaitingDecision(snapshot: ApprovalsFeedSnapshot | null | undefined, filter?: SuspendedAskFilter): ApprovalsAwaitingDecisionCount;
+/**
+ * 悬挂行 → 流内帧腿的输入。只带行上**真有**的位:窗三键不带(行上只有绝对死线,没有出帧时刻,凑不出可校偏的窗),
+ * `args` 不带(行上没有)。`sourceTaskId` = `originTaskId`(卡头子代身份徽章的来源)。
+ */
+export declare function livePendingRowToApprovalFrame(row: LivePendingAskView): ToolApprovalFrame;
+/**
+ * 出卡并决断一条悬挂 ask —— **与流内帧腿同一条链**({@link surfaceToolApprovalFrameAndRespond}):同一个卡口、
+ * 同一个身份键铸口(`approvalId`)、同一套回执 / 拒绝读法。差别只有一处:行上没有入参 ⇒ 卡上明说
+ * (`argsUnavailable`),且这张卡上收到「编辑后批准」时**整次不发**(结局 `editRefused`;没有原文可编,丢掉改写再批准 =
+ * 批准了人没看到的原始入参)。
+ */
+export declare function surfaceSuspendedAskAndRespond(row: LivePendingAskView, respond: RespondToolApprovalFn, signal?: AbortSignal, lane?: ToolApprovalFrameLaneOpts): Promise<ToolApprovalFrameOutcome>;
+/** {@link createSuspendedAskTracker} 每次吞一张快照的产出。 */
+export interface SuspendedAskDelta {
+    /** 首次见到、该出卡的行。 */
+    appeared: LivePendingAskView[];
+    /** 此前 appeared 过、现在不在列表里的 approvalId(已被别处决断 / 过期 / 引擎换代)⇒ 撤卡。 */
+    gone: string[];
+}
+export interface SuspendedAskTracker {
+    ingest(snapshot: ApprovalsFeedSnapshot | null | undefined): SuspendedAskDelta;
+    /**
+     * 流内帧腿出卡**之前**调:认领这只 ask。返回 `true` = 帧腿可以出卡(此后快照不再为它出第二张);
+     * 返回 `false` = 它已经从快照出过卡 / 已被认领 / 已决断 ⇒ 帧腿**跳过出卡**(两条通道同一只 ask 只有一张卡、一次决断)。
+     */
+    noteSurfacedByStream(approvalId: string): boolean;
+    /** 让一只已出过卡的 ask 在下一张快照里重新 `appeared`(卡被关掉 / 改写被拒 `editRefused` 之后)。 */
+    requeue(approvalId: string): void;
+    /** 这只 ask 已在本端决断 ⇒ 引擎结算前它还会在列表里待一会儿,不重新出卡;之后消失也不再报 gone。 */
+    noteDecided(approvalId: string): void;
+}
+/**
+ * 快照 → 出卡 / 撤卡的去重账(每个宿主会话一只;不是模块级单例)。同一 `approvalId` 只 `appeared` 一次;
+ * `livePending` 键缺席按「现在一条都看不到」处理已出的卡(引擎换代后旧卡没有决断口可用)。
+ *
+ * 两本账,**都不按条数淘汰活跃条目**(异源对抗复审:无差别的「满了删最旧」会让仍挂着的卡重出、漏撤):
+ *   · `shown` = 从快照出过卡、且仍在列表里的 ask。条目随「从列表消失」离账 ⇒ 大小恒 ≤ 列表长度,不设上界。
+ *   · `claimed` = 被流内帧腿认领 / 已在本端决断的 ask,值 = 是否已在某张快照里见过。见过之后从列表消失 ⇒ 这只 ask
+ *     的一生结束,离账(同 id 日后再出现是新的一只)。**从未见过**的认领才受上界管(帧先到、快照一直没列到它的那一小段),
+ *     满了只淘汰这一类里最旧的。
+ */
+export declare function createSuspendedAskTracker(filter?: SuspendedAskFilter): SuspendedAskTracker;

package/dist/hitl/livePendingAsk.js

@@ -0,0 +1,198 @@
+/**
+ * livePendingAsk — 「悬挂的流内 ask」的三端共用读面与决断口(0.72.14)。
+ *
+ * ── 这个模块补的是哪一个缺口 ────────────────────────────────────────────────────────────────
+ * 流内 ask 在铸造那一刻若没有活着的宿主流可投,引擎把它转成**悬挂**(窗约一小时,不补发、不重算),此后只在
+ * `GET /v1/approvals` 回体的第二顶层键 `livePending` 里可发现。后台 workflow 的子代恒落这一形:宿主 turn 先结束,
+ * 子代稍后才撞上审批门 ⇒ 用户面零帧零卡,代理静默卡到窗尽。本模块让端从 {@link startApprovalsFeed} 的快照里
+ * 读到这些行、出带子代身份的卡、并经**与流内帧腿同一条链**决断。
+ *
+ * ── 🔴 四条读法 ────────────────────────────────────────────────────────────────────────────
+ *  ① **键缺席 ≠ 没有悬挂 ask**:老引擎不发这个键 ⇒ `not_reported`;快照上键缺席,计数读 `null`(不知道),绝不铸 `[]` / `0`。
+ *  ② **数组名即路由判据**:`livePending` 行的决议口是 `POST /v1/tool-approvals/{approvalId}/respond`(流内审批那个口),
+ *     **不是** durable 行的 decide 口;两数组不混编。幂等键 = `approvalId`(与流内帧同一个 id)。
+ *  ③ **可选旗标 only-if-true**:`fromSubagent` / `governanceForced` / `requiresRealApproval` 缺席绝不编码成 `false`。
+ *  ④ **行上没有工具入参**(引擎刻意不在这个读面开第二道脱敏面)⇒ 卡必须明说「看不到入参」,不许渲一个空命令冒充全貌。
+ *
+ * sdk 的 barrel 没有导出这一行的类型 ⇒ 按**结构**窄读(与 `capabilities.executionLane` 同一姿势),多余成员不过境。
+ */
+import { surfaceToolApprovalFrameAndRespond, } from './toolApprovalWire.js';
+function nonEmptyString(v) {
+    return typeof v === 'string' && v !== '';
+}
+function nonNegativeFinite(v) {
+    return typeof v === 'number' && Number.isFinite(v) && v >= 0;
+}
+/** `GET /v1/approvals` 回体 → `livePending` 段读数。四必填位坏形的行丢弃并计数;同 `approvalId` 重复行留第一条。 */
+export function readLivePendingRows(body) {
+    if (body === null || typeof body !== 'object' || Array.isArray(body))
+        return { kind: 'malformed' };
+    if (!('livePending' in body))
+        return { kind: 'not_reported' };
+    const raw = body.livePending;
+    if (raw === undefined)
+        return { kind: 'not_reported' };
+    if (!Array.isArray(raw))
+        return { kind: 'malformed' };
+    const rows = [];
+    const seen = new Set();
+    let dropped = 0;
+    for (const item of raw) {
+        if (item === null || typeof item !== 'object' || Array.isArray(item)) {
+            dropped++;
+            continue;
+        }
+        const o = item;
+        if (!nonEmptyString(o.approvalId) || !nonEmptyString(o.toolName) || !nonNegativeFinite(o.ts) || !nonNegativeFinite(o.expiresAtMs)) {
+            dropped++;
+            continue;
+        }
+        if (seen.has(o.approvalId)) {
+            dropped++;
+            continue;
+        }
+        seen.add(o.approvalId);
+        rows.push({
+            approvalId: o.approvalId,
+            toolName: o.toolName,
+            ts: o.ts,
+            expiresAtMs: o.expiresAtMs,
+            ...(nonEmptyString(o.sessionId) ? { sessionId: o.sessionId } : {}),
+            ...(o.requiresRealApproval === true ? { requiresRealApproval: true } : {}),
+            ...(o.governanceForced === true ? { governanceForced: true } : {}),
+            ...(o.fromSubagent === true ? { fromSubagent: true } : {}),
+            ...(nonEmptyString(o.originTaskId) ? { originTaskId: o.originTaskId } : {}),
+        });
+    }
+    return { kind: 'present', rows, dropped };
+}
+/** 快照里**出自子代**的悬挂 ask(宿主自己的流内 ask 走流内帧腿,不在这里出卡)。未报 / 没有快照 ⇒ `[]`。 */
+export function suspendedSubagentAsks(snapshot, filter) {
+    const rows = snapshot?.livePending;
+    if (!Array.isArray(rows))
+        return [];
+    return rows.filter(r => r.fromSubagent === true && (filter?.sessionId === undefined || r.sessionId === filter.sessionId));
+}
+export function countApprovalsAwaitingDecision(snapshot, filter) {
+    if (snapshot === null || snapshot === undefined)
+        return { durable: null, live: null, suspendedSubagent: null };
+    const bySession = (rows) => filter?.sessionId === undefined ? [...rows] : rows.filter(r => r.sessionId === filter.sessionId);
+    const durable = Array.isArray(snapshot.pending) ? bySession(snapshot.pending).length : null;
+    if (!Array.isArray(snapshot.livePending))
+        return { durable, live: null, suspendedSubagent: null };
+    const live = bySession(snapshot.livePending);
+    return { durable, live: live.length, suspendedSubagent: live.filter(r => r.fromSubagent === true).length };
+}
+/**
+ * 悬挂行 → 流内帧腿的输入。只带行上**真有**的位:窗三键不带(行上只有绝对死线,没有出帧时刻,凑不出可校偏的窗),
+ * `args` 不带(行上没有)。`sourceTaskId` = `originTaskId`(卡头子代身份徽章的来源)。
+ */
+export function livePendingRowToApprovalFrame(row) {
+    return {
+        type: 'tool_approval',
+        approvalId: row.approvalId,
+        toolName: row.toolName,
+        ...(row.fromSubagent === true ? { fromSubagent: true } : {}),
+        ...(row.originTaskId !== undefined ? { sourceTaskId: row.originTaskId } : {}),
+        ...(row.governanceForced === true ? { governanceForced: true } : {}),
+        ...(row.requiresRealApproval === true ? { requiresRealApproval: true } : {}),
+    };
+}
+/**
+ * 出卡并决断一条悬挂 ask —— **与流内帧腿同一条链**({@link surfaceToolApprovalFrameAndRespond}):同一个卡口、
+ * 同一个身份键铸口(`approvalId`)、同一套回执 / 拒绝读法。差别只有一处:行上没有入参 ⇒ 卡上明说
+ * (`argsUnavailable`),且这张卡上收到「编辑后批准」时**整次不发**(结局 `editRefused`;没有原文可编,丢掉改写再批准 =
+ * 批准了人没看到的原始入参)。
+ */
+export function surfaceSuspendedAskAndRespond(row, respond, signal, lane) {
+    return surfaceToolApprovalFrameAndRespond(livePendingRowToApprovalFrame(row), respond, undefined, signal, {
+        ...lane,
+        argsUnavailable: true,
+    });
+}
+/** 「认领了但还没在任何一张快照里见过」的条目上界(见 {@link createSuspendedAskTracker} 的账目说明)。 */
+const TRACKER_UNSEEN_CLAIMS_MAX = 512;
+/**
+ * 快照 → 出卡 / 撤卡的去重账(每个宿主会话一只;不是模块级单例)。同一 `approvalId` 只 `appeared` 一次;
+ * `livePending` 键缺席按「现在一条都看不到」处理已出的卡(引擎换代后旧卡没有决断口可用)。
+ *
+ * 两本账,**都不按条数淘汰活跃条目**(异源对抗复审:无差别的「满了删最旧」会让仍挂着的卡重出、漏撤):
+ *   · `shown` = 从快照出过卡、且仍在列表里的 ask。条目随「从列表消失」离账 ⇒ 大小恒 ≤ 列表长度,不设上界。
+ *   · `claimed` = 被流内帧腿认领 / 已在本端决断的 ask,值 = 是否已在某张快照里见过。见过之后从列表消失 ⇒ 这只 ask
+ *     的一生结束,离账(同 id 日后再出现是新的一只)。**从未见过**的认领才受上界管(帧先到、快照一直没列到它的那一小段),
+ *     满了只淘汰这一类里最旧的。
+ */
+export function createSuspendedAskTracker(filter) {
+    const shown = new Set();
+    const claimed = new Map();
+    const claim = (id) => {
+        if (claimed.has(id))
+            return;
+        claimed.set(id, false);
+        let unseen = 0;
+        for (const seen of claimed.values())
+            if (!seen)
+                unseen++;
+        if (unseen <= TRACKER_UNSEEN_CLAIMS_MAX)
+            return;
+        for (const [oldId, seen] of claimed) {
+            if (seen)
+                continue;
+            claimed.delete(oldId);
+            break;
+        }
+    };
+    return {
+        ingest(snapshot) {
+            const rows = suspendedSubagentAsks(snapshot, filter);
+            const present = new Set(rows.map(r => r.approvalId));
+            const appeared = [];
+            for (const r of rows) {
+                if (claimed.has(r.approvalId)) {
+                    claimed.set(r.approvalId, true);
+                    continue;
+                }
+                if (shown.has(r.approvalId))
+                    continue;
+                shown.add(r.approvalId);
+                appeared.push(r);
+            }
+            const gone = [];
+            for (const id of [...shown]) {
+                if (present.has(id))
+                    continue;
+                shown.delete(id);
+                gone.push(id);
+            }
+            // 见过、现在不在列表里的认领 = 这只 ask 已结算 ⇒ 离账
+            for (const [id, seen] of [...claimed])
+                if (seen && !present.has(id))
+                    claimed.delete(id);
+            return { appeared, gone };
+        },
+        noteSurfacedByStream(approvalId) {
+            if (typeof approvalId !== 'string' || approvalId === '')
+                return false;
+            if (shown.has(approvalId) || claimed.has(approvalId))
+                return false;
+            claim(approvalId);
+            return true;
+        },
+        noteDecided(approvalId) {
+            if (typeof approvalId !== 'string' || approvalId === '')
+                return;
+            // 从快照出过卡的 ask 已在列表里见过 ⇒ 认领直接记「见过」,结算后随列表消失离账
+            const wasShown = shown.delete(approvalId);
+            if (wasShown)
+                claimed.set(approvalId, true);
+            else
+                claim(approvalId);
+        },
+        requeue(approvalId) {
+            if (typeof approvalId !== 'string' || approvalId === '')
+                return;
+            shown.delete(approvalId);
+            claimed.delete(approvalId);
+        },
+    };
+}

package/dist/hitl/toolApprovalWire.d.ts

@@ -486,6 +486,11 @@ export interface ApprovalCardRequest {
     /** wire 层降级说明(卡 content 上方 dim 行,ToolUseConfirm.wireNote 超集位)——argsOmitted 等
      *  不可注入 args 的提示走这里([1543]③ 记账的 note 位,2026-07-23 落位)。 */
     wireNote?: string;
+    /**
+     * 0.72.14:这只 ask 的工具入参在本读面上**不可得**(悬挂的流内 ask)。为真 ⇒ 卡上渲的 `args` 不是工具的真实入参,
+     * 端**不要**给「编辑后批准」;包侧收到带改写的批准会拒发(见 `ToolApprovalFrameOutcome.editRefused`)。缺席 ≠ false。
+     */
+    argsUnavailable?: true;
     /**
      * 治理强制位(server ≥7.5.0,2026-08-08 补透传)。**缺席 ≠ false**:只在为真时在场,缺席 = 无治理
      * 来源的证据。壳应据此把门呈成**表态掀不掉**(而不是引导用户去改 `permissionMode`);呈现形是壳
@@ -1284,6 +1289,11 @@ export interface ToolApprovalFrameOutcome {
      *    (传输层失败)都是真实形。
      */
     respondRefusal?: ToolApprovalRespondRefusal;
+    /**
+     * 0.72.14:入参不可得的卡(悬挂的流内 ask)上收到了「编辑后批准」⇒ 包侧**一个字节都没发**,`decision` 为 `'unresolved'`,
+     * 这只 ask 在引擎上仍然挂着。端应重新出卡(跟踪器 `requeue`)。缺席 = 没发生这件事。
+     */
+    editRefused?: true;
 }
 /**
  * #225 件5:respond 抛错的**结构化原文**(不是新的决断态,见
@@ -1484,5 +1494,11 @@ export interface ToolApprovalFrameLaneOpts {
      * 老宿主不传本位时行为 = 0.38.1,零回归)。live 腿的宿主接线随各端提货批补 `true`。
      */
     windowIsCurrent?: boolean;
+    /**
+     * 0.72.14:这只 ask 的**工具入参在本读面上不可得**(悬挂的流内 ask 从 `GET /v1/approvals` 的 `livePending` 段读出,
+     * 该段刻意不带入参)。为真 ⇒ 卡上明说「看不到入参」,且「编辑后批准」的改写不转发(没有原文可编,转发一个空对象
+     * 会把工具的真实入参换掉)—— 收到带改写的批准时**整次不发**,结局标 `editRefused`。只由 `surfaceSuspendedAskAndRespond` 置;流内帧腿不传。
+     */
+    argsUnavailable?: true;
 }
 export declare function surfaceToolApprovalFrameAndRespond(frame: ToolApprovalFrame, respond: RespondToolApprovalFn, streamArgs: unknown | undefined, signal?: AbortSignal, lane?: ToolApprovalFrameLaneOpts): Promise<ToolApprovalFrameOutcome>;

package/dist/hitl/toolApprovalWire.js

@@ -87,7 +87,7 @@ import { askParkRowArm } from './askParkRowRouting.js';
 import { hostLog } from '../host.js';
 import { createSessionSlot, DEFAULT_SESSION_KEY } from '../sessionSlot.js';
 import { readEngineActiveBgTasks } from '../fleet/fleetLedger.js';
-import { observeCancelByDeny, surfaceRememberNotApplied, surfaceEditNotForwarded, surfaceRuleArmNotSent, surfaceRuleArmRejected } from './hitlHostSurface.js';
+import { observeCancelByDeny, surfaceRememberNotApplied, surfaceEditNotForwarded, surfaceEditRefusedOnBlindAsk, surfaceRuleArmNotSent, surfaceRuleArmRejected } from './hitlHostSurface.js';
 import { approvalCallKey, liveFrameCallKey } from './gateIdentity.js';
 // 0.67.0(core 7.14.0 #688 C3):`ruleStoreUnreadable` 的**闭二词判据**。词表属主 = core
 // (`RULE_STORE_UNREADABLE_KINDS`),镜像与措辞都在 `gateVocabulary.ts` 那个唯一铸点上 ——
@@ -1353,6 +1353,12 @@ export async function surfaceToolApprovalFrameAndRespond(frame, respond, streamA
             wireNote = 'tool arguments exceeded the wire cap and were omitted — the diff below is reconstructed from the gate message, not the full payload';
             hostLog('debug', `liveToolApprovalWire: frame ${frame.approvalId} args omitted (>16KiB wire cap) — card falls back to message-derived path`);
         }
+        if (lane?.argsUnavailable === true) {
+            wireNote =
+                "this request's tool arguments are not available on this surface — it was raised while no client was connected, " +
+                    'so you are deciding without seeing them; deny it if you are not sure what it will do. ' +
+                    'Edits are not accepted on this card: there is no original input to edit';
+        }
         const p = pathFromGateMessage(frame.message);
         args = p !== undefined ? { file_path: p } : {};
     }
@@ -1382,6 +1388,7 @@ export async function surfaceToolApprovalFrameAndRespond(frame, respond, streamA
         ...(signal ? { signal } : {}),
         ...(isFromSubagent(frame) ? { workerBadge: subagentBadgeFor(frame) } : {}),
         ...(wireNote !== undefined ? { wireNote } : {}),
+        ...(lane?.argsUnavailable === true ? { argsUnavailable: true } : {}),
         ...(frame.governanceForced === true ? { governanceForced: true } : {}),
         // [4851]:窗三键透传,三闸合取(异源对抗复审 P1/P2 收编):
         //   ① `lane.windowIsCurrent === true` —— durable 账本重放的历史帧带的是铸帧时刻的旧余量,
@@ -1468,6 +1475,14 @@ export async function surfaceToolApprovalFrameAndRespond(frame, respond, streamA
         // `"policy"`**:那是一个正面事实(出自部署 ToolPolicy),把「老引擎没报」折进去 = 替引擎编话。
         ...(typeof frame.origin === 'string' && frame.origin !== '' ? { origin: frame.origin } : {}),
     });
+    // 0.72.14:入参不可得的卡上收到「编辑后批准」⇒ **什么都不发**。丢掉改写再发 allow = 批准了人没看到、也不是他改成的那份
+    // 原始入参;把改写转发出去 = 拿卡上那个空对象替换工具的真实入参。两条都不是人按下的那个决定 ⇒ 这只 ask 保持悬挂,
+    // 结局如实标 `editRefused`,由端重新出卡(异源对抗复审 [high])。
+    if (lane?.argsUnavailable === true && card.kind === 'allow' && card.updatedInput !== undefined) {
+        hostLog('error', `liveToolApprovalWire: ${frame.approvalId} card returned an edited approval on an args-unavailable ask — nothing sent (the ask stays pending)`);
+        surfaceEditRefusedOnBlindAsk();
+        return { decision: 'unresolved', editRefused: true };
+    }
     const decision = card.kind === 'allow' ? (card.allowSession ? 'allow_session' : 'allow') : 'deny';
     if (card.kind === 'failed') {
         hostLog('debug', `liveToolApprovalWire: approval card unavailable (${card.reason}) — fail-closed deny for ${frame.approvalId}`);

package/dist/index.d.ts

@@ -267,6 +267,7 @@ export * from './hitl/resumeRunningCard.js';
 export * from './hitl/persistedRulesWire.js';
 export * from './hitl/localAllowRule.js';
 export * from './hitl/approvalsFeed.js';
+export * from './hitl/livePendingAsk.js';
 export * from './hitl/crashConverged.js';
 export * from './interactiveHalt.js';
 export * from './compensations.js';

package/dist/index.js

@@ -492,6 +492,8 @@ export * from './hitl/localAllowRule.js';
 // B7 ③(census G20,**行为改动**不是搬迁):pending-approvals 推送 feed(stream 优先 / 断流回落
 // 轮询 / 定期再试)。🔴 它**不替换** D-1 的取件 —— 那三处必须继续走权威 `list()`(见文件头)。
 export * from './hitl/approvalsFeed.js';
+// 0.72.14:悬挂的流内 ask(`GET /v1/approvals` 的 `livePending` 段)的读面、视图、去重账与决断口。
+export * from './hitl/livePendingAsk.js';
 // ── L-38:`/v1/approvals` additive 键 `crashConverged` 的读面 + 纯投影 ─────────────────────────
 // local 引擎崩在审批门上时,那些孤儿 ask 被 server 重启后收敛成 DENIED 同码;这一键把「上一条命
 // 留下了什么」交到端手上。收在库里的理由是**两处判定**三端各写一遍必然各错一遍:① **缺席 vs

package/dist/workflowClient.js

@@ -385,11 +385,28 @@ export function projectWorkflowRun(run) {
     const parks = readWorkflowParks(run);
     const agents = (run.agents ?? []).map((r, i) => projectAgent(r, i));
     const phases = projectPhases(run, agents);
-    const ownTokens = run.stats?.tokens ?? 0;
-    const nestedTokens = run.stats?.nested?.tokens ?? 0;
-    const totalTokens = run.stats?.tokens != null || run.stats?.nested?.tokens != null
-        ? ownTokens + nestedTokens
-        : agents.reduce((s, a) => s + (a.tokens ?? 0), 0); // no stats on the wire → sum the agent rows
+    // 0.73.0:总用量三态 —— 有键 ⇒ 一个**完整**的总数(含真 0);缺键 ⇒ 没有完整总数。判据(每个分量都先验非负整数):
+    //   ① 引擎聚合 `stats.tokens` 在场且合法:无 nested 载体 ⇒ 就是它;nested 载体在场 ⇒ 其 tokens 也得合法才相加,否则缺席
+    //      (残缺的聚合不按 0 补齐 —— 那会发布一个偏小的「总数」);
+    //   ② `stats.tokens` 缺席但 nested 载体在场 ⇒ 聚合残缺 ⇒ 缺席(不退到腿上求和:腿只覆盖本 run,会把嵌套的那部分漏掉);
+    //   ③ 两者都没有 ⇒ 退到腿上求和,但只在**每条腿都报过合法用量**且至少一条腿时成立;有腿未报 / 非法 / 零条腿 ⇒ 缺席。
+    const validTokens = (v) => typeof v === 'number' && Number.isInteger(v) && v >= 0 ? v : undefined;
+    const ownTokens = validTokens(run.stats?.tokens);
+    const nestedCarrier = run.stats?.nested;
+    const hasNestedCarrier = nestedCarrier !== undefined && nestedCarrier !== null;
+    const nestedTokens = hasNestedCarrier ? validTokens(nestedCarrier.tokens) : undefined;
+    const legTokens = agents.map(a => validTokens(a.tokens));
+    const totalTokens = ownTokens !== undefined
+        ? !hasNestedCarrier
+            ? ownTokens
+            : nestedTokens !== undefined
+                ? ownTokens + nestedTokens
+                : undefined
+        : hasNestedCarrier
+            ? undefined
+            : legTokens.length > 0 && legTokens.every(t => t !== undefined)
+                ? legTokens.reduce((s, t) => s + t, 0)
+                : undefined;
     const state = {
         workflowRunId: run.id,
         // 0.72.12 CC-51(异源对抗复审 R2 [medium]):run 状态词认不出 / 缺席时先看腿上的**活跃证据** —— 有腿在跑 / 排队 ⇒ running
@@ -404,7 +421,7 @@ export function projectWorkflowRun(run) {
         // a script we do not have. scriptPath is likewise absent until the service projects it.
         script: '',
         agentCount: agents.length,
-        totalTokens,
+        ...(totalTokens !== undefined ? { totalTokens } : {}),
         phases,
     };
     if (run.name)

package/dist/workflowMonitor.d.ts

@@ -90,7 +90,8 @@ export interface WorkflowRunState {
     status: 'running' | 'done' | 'failed' | 'stopped' | 'paused' | 'parked' | 'unknown';
     cloud?: boolean;
     agentCount: number;
-    totalTokens: number;
+    /** 🔴 0.73.0(BREAKING):可选。有键 ⇒ 总用量(含真 0);缺键 ⇒ 没有权威总数且有腿未报(或零条腿)—— 渲「—」,不渲 0。 */
+    totalTokens?: number;
     /** phases as authored; the component derives the active/clamped windows itself. */
     phases: WorkflowPhase[];
     /**