@sema-agent/client-core 0.42.0 → 0.43.1

package/dist/hitl/hitlHostSurface.d.ts

@@ -87,6 +87,56 @@ export declare function surfaceRememberNotApplied(): void;
  * 已记进 docs/refactor/README.md 的宿主/上游工单表,本层不做旁路补偿(只做如实告知)。
  */
 export declare function surfaceEditNotForwarded(): void;
+/**
+ * 文案(测试锁字面)。措辞刻意描述**后果**,并且**只说证得出的话**(异源对抗复审四轮 [medium] 修):
+ *  · 不写「这台引擎不支持」——能力位缺席有三种同形成因(宿主没接这个字段 / 探测还没回来 / 探测失败),
+ *    其中只有明确的 `false` 才勉强算「引擎说了不」。写成断言就是替引擎宣布一件没证据的事
+ *    ([honest-absence-not-fabricated-zero]);改成 `could not be confirmed` 的未知口径。
+ *  · 「审批本身过了」这句**只在 respond 真成功之后**才成立 —— 所以本通知的**发出时机**被移到
+ *    `await respond(...)` 成功之后(见 `toolApprovalWire` 的调用点顶注),而不是丢键那一刻。
+ */
+export declare const RULE_NOT_SENT_WARN_TEXT = "your \"don't ask again\" choice was NOT sent to this engine \u2014 support for that rule form could not be confirmed. The approval itself went through, but you will be asked again";
+/**
+ * 卡上选中了「不再询问」(编辑臂的自由文本 / 批臂的合取批),而**这台引擎的能力位没有确认**
+ * 那条兑付通道 ⇒ 编排层把持久臂整条丢掉、只送决断。
+ *
+ * 🔴 为什么这必须上屏而不是只记 debug(异源对抗复审三轮 [high] 采纳,0.43.0):它与
+ * {@link surfaceRememberNotApplied} 是**同一个病**——用户按下了一个明确的意图,系统把它静默
+ * 丢掉,然后下一次照旧弹卡。用户能得出的唯一结论是「这个功能坏了」或「我按错了」。卡上那一格
+ * 是**真 affordance**(offer 确实在场、确实可以走本地落规则那条路),被丢的只是**这条 wire
+ * 兑付通道** —— 所以正解不是把选项藏起来,是**如实说出来**。
+ * 🔴 **一条通知服务两条臂**(同形清剿):编辑臂(`respondFreeFormRules` 位缺席)与批臂
+ * (`respondBatchRuleOffers` 位缺席)此前都只写 debug —— 同一个病形两处存量,同批一起改。
+ * 🔴 决断本身**不受影响**(照常送达),所以文案第二句说清「审批过了,只是规则没存」——
+ * ⚠️ 正因为文案里有那句话,**调用时机必须在 `respond` 真成功之后**(异源对抗复审四轮 [medium]:
+ * 丢键那一刻就发,而随后 respond 抛错 ⇒ 决断其实**没有**落定,用户却已经读到「审批过了」,
+ * 可能按「工具已经在跑」继续操作)。调用点的时序契约见 `toolApprovalWire` 那一处。
+ * 🔴 文案**不说「引擎不支持」**:能力位缺席三种同形成因(宿主没接字段 / 探测未回 / 探测失败),
+ * 断言引擎的能力是没有证据的话 —— 用 `could not be confirmed` 的未知口径。
+ * 无宿主口(print/headless 没屏)⇒ 静默,与本文件其余 surface 同语义。
+ */
+export declare function surfaceRuleArmNotSent(): void;
+/**
+ * 文案(测试锁字面)。与 {@link RULE_NOT_SENT_WARN_TEXT} **刻意分两条**:两者对用户的下一步建议不同 ——
+ * 那条说「这台引擎能不能收还不知道」(换台引擎/等探测就好了),本条说「你这次的选择**本身**没过
+ * 客户端那道核对」(卡口实现有问题或同时给了两个互斥选择,换台引擎也不会变)。折成一条会让任一方
+ * 谎报原因。措辞同样只说证得出的话:不猜是哪一种坏法,把两种都摆出来。
+ */
+export declare const RULE_NOT_SENT_REJECTED_WARN_TEXT = "your \"don't ask again\" choice was NOT sent \u2014 it did not pass the client-side check (the card returned a rule the engine never offered, an index that is not a batch offer, or two conflicting choices at once). The approval itself went through, but you will be asked again";
+/**
+ * 卡上选中了「不再询问」,而那次选择**没过包内那道表核 / 互斥核**(报了引擎没 offer 过的文本、
+ * 下标不指向 batch offer、或文本臂与批臂同场)⇒ 编排层把持久臂整条丢掉、只送决断。
+ *
+ * 🔴 为什么这也必须上屏(异源对抗复审十轮 [medium] 采纳,0.43.0):它与
+ * {@link surfaceRuleArmNotSent} 是**同一个诚实性问题**,只是原因换了一个 —— 用户按下的明确意图
+ * 被系统丢掉,审批照常成功,下次照旧弹卡。此前这三条丢键路径**只写 `hostLog('error')`**:
+ * 那是给开发者看的诊断,**不是**给按下按钮的那个人的答复。
+ * 🔴 **时序契约与那条一致**:文案里有「审批本身过了」⇒ 只在 `await respond(...)` 真成功之后发。
+ * 🔴 **成因通常是卡口实现的 bug**(表外文本/坏下标/两臂同场都是宿主侧构造出来的),所以 `hostLog`
+ * 的那条 `error` 留痕**照旧保留** —— 两个受众,两条通道,谁都不顶替谁。
+ * 无宿主口(print/headless 没屏)⇒ 静默,与本文件其余 surface 同语义。
+ */
+export declare function surfaceRuleArmRejected(): void;
 /**
  * 中断 deny 的有界观察(壳侧单测 `hitlCancelDeny.test.ts` 的被测面;REF-CC-023 起两条决断腿共用)。
  *

package/dist/hitl/hitlHostSurface.js

@@ -163,6 +163,65 @@ export function surfaceRememberNotApplied() {
 export function surfaceEditNotForwarded() {
     surfaceSelfClearingWarn(EDIT_NOT_FORWARDED_KEY, EDIT_NOT_FORWARDED_WARN_TEXT, EDIT_NOT_FORWARDED_TIMEOUT_MS);
 }
+/**
+ * 文案(测试锁字面)。措辞刻意描述**后果**,并且**只说证得出的话**(异源对抗复审四轮 [medium] 修):
+ *  · 不写「这台引擎不支持」——能力位缺席有三种同形成因(宿主没接这个字段 / 探测还没回来 / 探测失败),
+ *    其中只有明确的 `false` 才勉强算「引擎说了不」。写成断言就是替引擎宣布一件没证据的事
+ *    ([honest-absence-not-fabricated-zero]);改成 `could not be confirmed` 的未知口径。
+ *  · 「审批本身过了」这句**只在 respond 真成功之后**才成立 —— 所以本通知的**发出时机**被移到
+ *    `await respond(...)` 成功之后(见 `toolApprovalWire` 的调用点顶注),而不是丢键那一刻。
+ */
+export const RULE_NOT_SENT_WARN_TEXT = 'your "don\'t ask again" choice was NOT sent to this engine — support for that rule form could not be confirmed. The approval itself went through, but you will be asked again';
+const RULE_NOT_SENT_KEY = 'hitl-rule-arm-not-sent';
+/** 与 remember 那条同量级(都是「你以为记住了、其实没有」),取同一个时长。 */
+const RULE_NOT_SENT_TIMEOUT_MS = 10_000;
+/**
+ * 卡上选中了「不再询问」(编辑臂的自由文本 / 批臂的合取批),而**这台引擎的能力位没有确认**
+ * 那条兑付通道 ⇒ 编排层把持久臂整条丢掉、只送决断。
+ *
+ * 🔴 为什么这必须上屏而不是只记 debug(异源对抗复审三轮 [high] 采纳,0.43.0):它与
+ * {@link surfaceRememberNotApplied} 是**同一个病**——用户按下了一个明确的意图,系统把它静默
+ * 丢掉,然后下一次照旧弹卡。用户能得出的唯一结论是「这个功能坏了」或「我按错了」。卡上那一格
+ * 是**真 affordance**(offer 确实在场、确实可以走本地落规则那条路),被丢的只是**这条 wire
+ * 兑付通道** —— 所以正解不是把选项藏起来,是**如实说出来**。
+ * 🔴 **一条通知服务两条臂**(同形清剿):编辑臂(`respondFreeFormRules` 位缺席)与批臂
+ * (`respondBatchRuleOffers` 位缺席)此前都只写 debug —— 同一个病形两处存量,同批一起改。
+ * 🔴 决断本身**不受影响**(照常送达),所以文案第二句说清「审批过了,只是规则没存」——
+ * ⚠️ 正因为文案里有那句话,**调用时机必须在 `respond` 真成功之后**(异源对抗复审四轮 [medium]:
+ * 丢键那一刻就发,而随后 respond 抛错 ⇒ 决断其实**没有**落定,用户却已经读到「审批过了」,
+ * 可能按「工具已经在跑」继续操作)。调用点的时序契约见 `toolApprovalWire` 那一处。
+ * 🔴 文案**不说「引擎不支持」**:能力位缺席三种同形成因(宿主没接字段 / 探测未回 / 探测失败),
+ * 断言引擎的能力是没有证据的话 —— 用 `could not be confirmed` 的未知口径。
+ * 无宿主口(print/headless 没屏)⇒ 静默,与本文件其余 surface 同语义。
+ */
+export function surfaceRuleArmNotSent() {
+    surfaceSelfClearingWarn(RULE_NOT_SENT_KEY, RULE_NOT_SENT_WARN_TEXT, RULE_NOT_SENT_TIMEOUT_MS);
+}
+/**
+ * 文案(测试锁字面)。与 {@link RULE_NOT_SENT_WARN_TEXT} **刻意分两条**:两者对用户的下一步建议不同 ——
+ * 那条说「这台引擎能不能收还不知道」(换台引擎/等探测就好了),本条说「你这次的选择**本身**没过
+ * 客户端那道核对」(卡口实现有问题或同时给了两个互斥选择,换台引擎也不会变)。折成一条会让任一方
+ * 谎报原因。措辞同样只说证得出的话:不猜是哪一种坏法,把两种都摆出来。
+ */
+export const RULE_NOT_SENT_REJECTED_WARN_TEXT = 'your "don\'t ask again" choice was NOT sent — it did not pass the client-side check (the card returned a rule the engine never offered, an index that is not a batch offer, or two conflicting choices at once). The approval itself went through, but you will be asked again';
+const RULE_NOT_SENT_REJECTED_KEY = 'hitl-rule-arm-rejected';
+const RULE_NOT_SENT_REJECTED_TIMEOUT_MS = 10_000;
+/**
+ * 卡上选中了「不再询问」,而那次选择**没过包内那道表核 / 互斥核**(报了引擎没 offer 过的文本、
+ * 下标不指向 batch offer、或文本臂与批臂同场)⇒ 编排层把持久臂整条丢掉、只送决断。
+ *
+ * 🔴 为什么这也必须上屏(异源对抗复审十轮 [medium] 采纳,0.43.0):它与
+ * {@link surfaceRuleArmNotSent} 是**同一个诚实性问题**,只是原因换了一个 —— 用户按下的明确意图
+ * 被系统丢掉,审批照常成功,下次照旧弹卡。此前这三条丢键路径**只写 `hostLog('error')`**:
+ * 那是给开发者看的诊断,**不是**给按下按钮的那个人的答复。
+ * 🔴 **时序契约与那条一致**:文案里有「审批本身过了」⇒ 只在 `await respond(...)` 真成功之后发。
+ * 🔴 **成因通常是卡口实现的 bug**(表外文本/坏下标/两臂同场都是宿主侧构造出来的),所以 `hostLog`
+ * 的那条 `error` 留痕**照旧保留** —— 两个受众,两条通道,谁都不顶替谁。
+ * 无宿主口(print/headless 没屏)⇒ 静默,与本文件其余 surface 同语义。
+ */
+export function surfaceRuleArmRejected() {
+    surfaceSelfClearingWarn(RULE_NOT_SENT_REJECTED_KEY, RULE_NOT_SENT_REJECTED_WARN_TEXT, RULE_NOT_SENT_REJECTED_TIMEOUT_MS);
+}
 /**
  * cancel-by-deny 的「良性 no_pending」判据。**结构化 `.code` 为主,`instanceof` 只作加强,绝不替代**:
  *  - `.code` 是 client-core 自家 `HitlSafetyError` 的契约属性(hitlBridge.ts,REF-CC-036 起是闭集

package/dist/hitl/parkResolver.js

@@ -3,7 +3,7 @@ import { publishQuestionFrame, registerLocalQuestionResponder, hasQuestionOverla
 import { hostLog } from '../host.js';
 import { surfaceFsApprovalAndDecide } from './toolApprovalWire.js';
 import { observeCancelByDeny } from './hitlHostSurface.js';
-import { isAskTool } from './frameRouter.js';
+import { flushHeldWithInterruptRewrite, isAskTool } from './frameRouter.js';
 import { approvalCallKey, askGateQuestionId } from './gateIdentity.js';
 /** 一 turn 内最多循环这么多次 park(防御:引擎/模型病态连环提问时不无限 attach)。 */
 const MAX_GATE_HOPS = 24;
@@ -286,7 +286,19 @@ export async function resolvePark(park, ctx) {
     }
     if (outcome.kind !== 'decided') {
         hostLog('debug', `liveHitlAskWire: gate not decided (${outcome.kind}${'reason' in outcome ? `: ${outcome.reason}` : ''}) — fail-soft to suspended terminal`);
-        const events = [...led.flushHeld()]; // 回退:毒化帧照旧渲染(= 修复前的诚实红)
+        // 回退:毒化帧照旧渲染(= 修复前的诚实红)。
+        // 件 B(异源复审 finding 采纳):**五个排水出口一律走同一个中断感知出口** —— 本出口今天恒是
+        // park 批(走到这里的前提就是有一张 park),零-park 硬门必挡,所以是**语义等价的 no-op**;
+        // 写成统一形是为了「新开一个出口就绕过改写」这条病形从此在结构上不成立(常驻门:hitl F13-h
+        // 钉住 src 下 `flushHeld()` 的调用点恰好一处)。
+        const events = [
+            ...flushHeldWithInterruptRewrite(led, {
+                terminal: park.pendingDone,
+                signal: ctx.signal,
+                // 模 B:`aborted` = 用户在门卡上按了 Esc(该 outcome 在包内的语义就是逐字这一条)。
+                gateAbortedByUser: outcome.kind === 'aborted',
+            }),
+        ];
         if (park.pendingDone) {
             events.push(park.pendingDone);
         }

package/dist/hitl/persistedRulesWire.d.ts

@@ -56,6 +56,21 @@ export declare function persistedRulesLaneAvailable(baseUrl: string | undefined)
  * 只查前者会在「7.11.0 且规则店在」的 worker 上渲出一个恒 404 的治理入口。
  */
 export declare function persistedRulesGovernanceAvailable(baseUrl: string | undefined): boolean;
+/** {@link readCcImportRedeemCounts} 的判决体:200 体上真读出来的落库/去重计数。 */
+export interface CcImportRedeemCounts {
+    persisted: number;
+    deduped: number;
+}
+/**
+ * cc-import redeem 200 体的兑付计数**双代归一读口**(server 7.46 未声明 BREAKING 的消费半场):
+ *  · **新形**(server 7.46+):`result.members[]` 判别联合,member.status ∈ {'persisted','deduped'}
+ *    (refused 不上 200 体 —— server 侧折进 404/503,见头注「404 禁按成因分支」);
+ *  · **旧形**(≤7.45;SDK 7.2.0 `rules.d.ts` 仍此形):`result.persisted[]` / `result.deduped[]` 桶。
+ *  · 纪律与 0.43.0 ruleOffers 窄读器同款:**新键(members)在场就按新键读** —— 即使全 0 也绝不
+ *    回落旧键;两形都缺 ⇒ `null`(诚实缺席,调用方渲 unknown,绝不渲 0/成功)。
+ * 入参吃 200 体的 `result` 字段(`unknown`:SDK 声明形已与真 wire 脱节,边界必须结构窄化)。
+ */
+export declare function readCcImportRedeemCounts(result: unknown): CcImportRedeemCounts | null;
 /**
  * 规则口失败的**处置分类**(不是成因分类)。SDK 的 typed 错误族按 `status` + `errorCode` 读,
  * 结构读法(不 instanceof)—— 注入面可能是假件,bundling 下 instanceof 也不该是承重判据。

package/dist/hitl/persistedRulesWire.js

@@ -15,6 +15,37 @@ export function persistedRulesLaneAvailable(baseUrl) {
 export function persistedRulesGovernanceAvailable(baseUrl) {
     return engineCapTrue(baseUrl, 'permissionRulesRevoke') && engineCapTrue(baseUrl, 'permissionRules');
 }
+/**
+ * cc-import redeem 200 体的兑付计数**双代归一读口**(server 7.46 未声明 BREAKING 的消费半场):
+ *  · **新形**(server 7.46+):`result.members[]` 判别联合,member.status ∈ {'persisted','deduped'}
+ *    (refused 不上 200 体 —— server 侧折进 404/503,见头注「404 禁按成因分支」);
+ *  · **旧形**(≤7.45;SDK 7.2.0 `rules.d.ts` 仍此形):`result.persisted[]` / `result.deduped[]` 桶。
+ *  · 纪律与 0.43.0 ruleOffers 窄读器同款:**新键(members)在场就按新键读** —— 即使全 0 也绝不
+ *    回落旧键;两形都缺 ⇒ `null`(诚实缺席,调用方渲 unknown,绝不渲 0/成功)。
+ * 入参吃 200 体的 `result` 字段(`unknown`:SDK 声明形已与真 wire 脱节,边界必须结构窄化)。
+ */
+export function readCcImportRedeemCounts(result) {
+    const o = (result ?? {});
+    if (Array.isArray(o.members)) {
+        let persisted = 0;
+        let deduped = 0;
+        for (const m of o.members) {
+            const status = m?.status;
+            if (status === 'persisted')
+                persisted += 1;
+            else if (status === 'deduped')
+                deduped += 1;
+        }
+        return { persisted, deduped };
+    }
+    if (Array.isArray(o.persisted) || Array.isArray(o.deduped)) {
+        return {
+            persisted: Array.isArray(o.persisted) ? o.persisted.length : 0,
+            deduped: Array.isArray(o.deduped) ? o.deduped.length : 0,
+        };
+    }
+    return null;
+}
 function errShape(e) {
     const o = (e ?? {});
     return {