@sema-agent/client-core 0.67.2 → 0.68.1

package/dist/engineErrorCodes.js

@@ -380,6 +380,57 @@ export const DECIDE_WORKFLOW_LANE_CODES = Object.freeze([
     DECIDE_WORKFLOW_HOST_NOT_PARKED,
     DECIDE_WORKFLOW_REMEMBER_UNSUPPORTED,
 ]);
+// ══ 0.68.0 提货批(core 7.17.0 #652;server [7084] D 段)—— workflow **park 真相**四拒码 ══════
+//
+// 背景一句话:workflow run 记录从 7.17.0 起带 `parks[]`(准入输入),而「一条 run 的 park 到底是
+// 什么状态」是 **resume 的前提**。读不出 / 对不上 / 不在 pending / 压根没有 run 店 —— 四种情形此前
+// 混在 `workflow.journal_incompatible` 的「journal entry missing」那一臂里,一个码说四件事,于是
+// 消费端只能渲一句「日志不兼容」,而四条出路完全不同。core 7.17.0 把它们拆成四个码(那条旧臂同批
+// 退役),`workflow.ts:602` 是码集的铸点。
+//
+// 🔴 **它们不是 `SCRIPT_ERROR_CODES` 的成员**(core 顶注逐字:host runtime 类)—— 别拿脚本错误那
+//    张表去判它们,也别把它们塞进那张表。
+// 🔴 **本包不抄 core 的句子**(单铸律,同 `engineNoticeCodes.ts` 顶注):只给码、闭集与每个码的
+//    `detail` 键位读法,人话用引擎给的那一句。
+/** 这条 workflow 的 park 真相**读不出来**(店抛了 / 超时 / 记录不在 / 记录还在跑)。
+ *  `detail.reason` 开集(`checkpoint_store_threw` / `store_threw` / `record_missing` /
+ *  `record_not_terminal`…;词表属主在 core)⇒ 读得出即原样带,读不懂**不折**已知词。 */
+export const WORKFLOW_PARK_TRUTH_UNREADABLE = 'workflow.park_truth_unreadable';
+/** 记录说这一序号 park 着,而 checkpoint 店说那只审批**已决 / 已过期 / 被回收**。
+ *  `detail.status` 三词(`absent` / `expired` / `resolved`)+ `detail.ordinal`;
+ *  `detail.checkpointId` **可缺席**(店里没 id)—— 缺席 ≠ 「没有 checkpoint」。 */
+export const WORKFLOW_PARK_NOT_PENDING = 'workflow.park_not_pending';
+/** 记录里的 park **绑不回**它的 checkpoint(记录自相矛盾)。`detail.ordinal` 在场。 */
+export const WORKFLOW_PARK_BINDING_BROKEN = 'workflow.park_binding_broken';
+/** 这条 workflow 的子代会 park,而部署**没有 run 店**(或没有 checkpoint 店)⇒ 没有耐久行可供
+ *  宿主按它路由那只停着的审批。`detail` 恒空对象(这是**配置**问题,不是某一条 run 的事实)。 */
+export const WORKFLOW_PARK_REQUIRES_RUN_STORE = 'workflow.park_requires_run_store';
+/**
+ * workflow **park 真相**拒绝码的闭集(四员;core 7.17.0 `workflow.ts:602` 码集)。
+ *
+ * 🔴 闭的是「**这四个码是 park 真相这一族独有的**」,不是「`workflow.*` 一共有几个码」——
+ *    后者仍是开集(`workflow.governance_key_stripped` / `workflow.agent_option_ignored` 是通告码,
+ *    `workflow.journal_incompatible` 是另一族拒绝码,各有各的既有处置)。
+ * 🔴 **绝不靠 `workflow.park_` 前缀放宽**:前缀是个命名巧合,不是契约;上游哪天加第五个码,
+ *    该在这里显形并被人处置,而不是被一条前缀判据无声吞进来。
+ * 🔴 形制:`Object.freeze` 的数组(同 {@link DECIDE_WORKFLOW_LANE_CODES})。
+ */
+export const WORKFLOW_PARK_REFUSAL_CODES = Object.freeze([
+    WORKFLOW_PARK_TRUTH_UNREADABLE,
+    WORKFLOW_PARK_NOT_PENDING,
+    WORKFLOW_PARK_BINDING_BROKEN,
+    WORKFLOW_PARK_REQUIRES_RUN_STORE,
+]);
+const WORKFLOW_PARK_REFUSAL_CODE_SET = new Set(WORKFLOW_PARK_REFUSAL_CODES);
+/**
+ * 这个码是不是 workflow park 真相族的拒绝码({@link WORKFLOW_PARK_REFUSAL_CODES} 的成员)。
+ *
+ * 🔴 表外码 ⇒ `false` = 「本端认不出它属于这一族」,**不是**「这次 resume 没问题」。
+ * 🔴 非串 / 空串 ⇒ `false`;认**原始值**(消毒只进文案,不进判据)。
+ */
+export function isWorkflowParkRefusalCode(code) {
+    return typeof code === 'string' && WORKFLOW_PARK_REFUSAL_CODE_SET.has(code);
+}
 // ── drain / 场景执法族(A-028.11/.13 单源化,#244 族E,2026-08-15)────────────────────────────
 /**
  * server 温切 drain 门的 pre-stream 拒收码(503 + `errorCode:"draining"`;server 侧
@@ -405,3 +456,69 @@ export const MODEL_FALLBACK_INHERIT_NO_TIER_BINDING = 'inherit_no_tier_binding';
 export function asModelFallbackReason(v) {
     return v === MODEL_FALLBACK_INHERIT_NO_TIER_BINDING ? MODEL_FALLBACK_INHERIT_NO_TIER_BINDING : undefined;
 }
+// ══════════════════════════════════════════════════════════════════════════════════════════════
+// 0.68.0(L-246 A13)—— 引擎的 **turn 停止原词** → CC `stop_reason`(**唯一映射铸点**)
+// ══════════════════════════════════════════════════════════════════════════════════════════════
+//
+// ── 为什么它下沉到包里 ────────────────────────────────────────────────────────────────────────
+// 这张表此前住在壳里(cli `printStreamJsonContract.ts` 的 `ENGINE_STOP_REASON_TO_CC`),而它是一张
+// **CC 皮肤词汇表** —— 本包的立意逐字是「Every CC-skin shape is collected here so the wire itself
+// stays neutral」。住在壳里的后果是三端各铸一份:web / desktop 要渲同一个 `stop_reason` 时只能
+// 自己再抄一遍五个词,而下一次 core 归一化词表变动时,漏掉的那一份会把**这一轮为什么停**渲错 ——
+// 而那恰恰是出错/被截断那一刻最需要读对的一格。
+//
+// ── 左右两列的出处 ────────────────────────────────────────────────────────────────────────────
+// 左列 = `turn_end.stopReason`(core `StopReason` 归一化后的五词;core `task-event.d.ts` 逐字:
+//   「Typed `string` (not the internal `StopReason`) to keep the engine's union private, but the
+//   value set is exactly those five tokens」)—— 本包的 `turn_usage._sema_stop_reason` 原词透传它。
+// 右列 = CC stdout 契约上的 `stop_reason`。
+/**
+ * 引擎 turn 停止原词的**识别表**(五词;core `StopReason` 归一化后的值集)。
+ *
+ * 🔴 **它是识别表不是闭集判据**:`turn_end.stopReason` 在 sdk 型面上是开放 `string`(上游刻意让
+ *    引擎的 union 保持私有)⇒ 引擎比这一端新时真的会送一个第六个词过来。本表回答的是
+ *    「我认不认得这个词」,**绝不是**「合法的词只有这五个」。
+ */
+export const ENGINE_STOP_REASONS = Object.freeze([
+    'stop',
+    'length',
+    'toolUse',
+    'error',
+    'aborted',
+]);
+/**
+ * 五词 → CC `stop_reason`。`null` **不是**「没映射」,是**映射到诚实缺席**。
+ *
+ * 🔴 两条纪律(逐字自壳侧原表搬入,一个字节没改语义):
+ *   · `error` / `aborted` 在 CC 的词表里**没有对应词**,而既有结算规则对出错的一轮本来就留 `null`
+ *     (schema 可空)⇒ 这里同样**不编一个词出来**;
+ *   · **表外词一律不映射**(见 {@link engineStopReasonToCc}):引擎长出第六个词时既不猜也不改既有
+ *     结算,让它按修前那条路走完 —— 猜一个 CC 词会让消费者据此判错这一轮的结局。
+ */
+const ENGINE_STOP_REASON_TO_CC = Object.freeze({
+    stop: 'end_turn',
+    length: 'max_tokens',
+    toolUse: 'tool_use',
+    error: null,
+    aborted: null,
+});
+/**
+ * 引擎停止原词 → CC `stop_reason` 的**唯一映射口**。**三态**,刻意不合并:
+ *  · `string`      —— 映到了一个 CC 词;
+ *  · `null`        —— 映到了**诚实缺席**(`error` / `aborted`:CC 没有对应词,不编一个);
+ *  · `undefined`   —— **这个词本端不认识**(表外词 / 非串 / 空串)⇒ 调用方按「不映射」走原路。
+ *
+ * 🔴 `null` 与 `undefined` 必须分开:前者是「我认得这个词,而它的正确渲法就是没有词」,后者是
+ *    「我不认得这个词」。合成一个值 ⇒ 引擎加第六个词那天,它会被渲成一次「这一轮没有 stop_reason」
+ *    的**肯定事实**,而真相是这一端读不懂 —— 本仓反复在修的那条「把不知道渲成事实」的病。
+ * 🔴 **按自有属性查表**(`Object.freeze` 不移除原型):一个来自 wire 的 `constructor` / `toString`
+ *    会命中 `Object.prototype` 上的**函数**并被当成一个 CC 词交出去。
+ */
+export function engineStopReasonToCc(stopReason) {
+    if (typeof stopReason !== 'string' || stopReason.length === 0)
+        return undefined;
+    if (!Object.hasOwn(ENGINE_STOP_REASON_TO_CC, stopReason))
+        return undefined;
+    const row = ENGINE_STOP_REASON_TO_CC[stopReason];
+    return typeof row === 'string' || row === null ? row : undefined;
+}

package/dist/engineNoticeCodes.d.ts

@@ -22,6 +22,10 @@
  * · **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` 真字节)。
@@ -50,7 +54,7 @@
 /** 一条通告是**说给谁听**的。两值,刻意不设第三值(见模块顶注)。 */
 export type NoticeAudience = 'user' | 'operator';
 /**
- * 引擎**成文码册**的逐字镜像(core `ENGINE_NOTICE_CODES`,**≤7.16.0 = 五十一码**;顺序同源)。
+ * 引擎**成文码册**的逐字镜像(core `ENGINE_NOTICE_CODES`,**7.17.x = 五十二码**;顺序同源)。
  * 🔴 这是一份**抄件**,不是本包的意见 —— 改它必须同 commit 附 core 坐标,且门会先红。
  * ⚠️ `EngineNotice.code` 的型面在上游**故意留 `string`**(宿主把自己的通告转发进同一个水槽是
  *    被支持的形),所以本表是**判据**不是型 —— 别拿它去窄化那个字段。
@@ -106,3 +110,93 @@ export interface McpInjectionDropFactsView {
  *    (要渲一句话时,用引擎给的 `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;

package/dist/engineNoticeCodes.js

@@ -22,6 +22,10 @@
  * · **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` 真字节)。
@@ -48,7 +52,7 @@
  * 出现在本包源码或产物里 => 当场红。
  */
 /**
- * 引擎**成文码册**的逐字镜像(core `ENGINE_NOTICE_CODES`,**≤7.16.0 = 五十一码**;顺序同源)。
+ * 引擎**成文码册**的逐字镜像(core `ENGINE_NOTICE_CODES`,**7.17.x = 五十二码**;顺序同源)。
  * 🔴 这是一份**抄件**,不是本包的意见 —— 改它必须同 commit 附 core 坐标,且门会先红。
  * ⚠️ `EngineNotice.code` 的型面在上游**故意留 `string`**(宿主把自己的通告转发进同一个水槽是
  *    被支持的形),所以本表是**判据**不是型 —— 别拿它去窄化那个字段。
@@ -66,6 +70,9 @@ export const ENGINE_NOTICE_CODES = Object.freeze([
     'config.tool_model_gate_removed',
     'config.tool_model_gate_unknown_class',
     'config.tool_model_gate_env_invalid',
+    // 0.68.0 提货批(core 7.17.0 加员;位置 = `governance-codes.js:108` 真字节,在
+    // `config.tool_model_gate_env_invalid` 与 `config.tool_card_undeclared` 之间)。
+    'config.artifact_host_invalid',
     'config.tool_card_undeclared',
     'config.tool_face_undeclared',
     'config.tool_face_invalid',
@@ -133,6 +140,8 @@ export const ENGINE_NOTICE_AUDIENCE = Object.freeze({
     'config.tool_model_gate_removed': 'operator',
     'config.tool_model_gate_unknown_class': 'operator',
     'config.tool_model_gate_env_invalid': 'operator',
+    // 0.68.0 提货批:`NOTICE_AUDIENCE_TABLE:181` 真字节 —— 一条「宿主把 artifact 席接坏了」的部署事实。
+    'config.artifact_host_invalid': 'operator',
     'config.tool_card_undeclared': 'operator',
     'config.tool_face_undeclared': 'operator',
     'config.tool_face_invalid': 'operator',
@@ -235,3 +244,117 @@ export function readMcpInjectionDrop(notice) {
     const field = typeof o.field === 'string' && o.field.length > 0 ? o.field : undefined;
     return { sessionId, server, reason, ...(field !== undefined ? { field } : {}) };
 }
+// ══════════════════════════════════════════════════════════════════════════════════════════════
+// 0.68.0 提货批(core 7.17.0 #709 ①②)—— 两条通告的**事实窄读器**
+// ══════════════════════════════════════════════════════════════════════════════════════════════
+// 与 {@link readMcpInjectionDrop} 同一套规矩(单铸律不变:本模块只给码册、闭集与**事实**,
+// 一句措辞都不抄 —— 转录用引擎给的 `message`):
+//   · **只认自己那一个码**(读器按码分家);
+//   · 必填格缺一 ⇒ **整只缺席**(读点判缺席而不抛:读点抛只会把一条读不懂的通告升级成一次崩);
+//   · **分支用的键按闭集读**(读不懂的词不许被当成一个能拿去分支的原因);**非分支键开集透传**。
+/**
+ * `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 const ASK_UNRESOLVABLE_CAUSES = Object.freeze([
+    'approver_unavailable',
+    'no_approver_wired',
+    'mandate_unreconstructible',
+]);
+const ASK_UNRESOLVABLE_CAUSE_SET = new Set(ASK_UNRESOLVABLE_CAUSES);
+/**
+ * `delegation.ask_unresolvable` 通告 → 事实;不成形 ⇒ `undefined`,绝不抛出。
+ *
+ * 🔴 `cause` **按闭集读**:它是消费端分支的键(三条恢复路不同 —— 接一个耐久店 / 接一个审批席 /
+ *    别在无 park 设施的腿上继承 mandate)。读不懂的词 ⇒ **整只缺席**,而不是交一个分不了支的串。
+ */
+export function readAskUnresolvable(notice) {
+    if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
+        return undefined;
+    const n = notice;
+    if (n.code !== 'delegation.ask_unresolvable')
+        return undefined;
+    const d = n.detail;
+    if (typeof d !== 'object' || d === null || Array.isArray(d))
+        return undefined;
+    const o = d;
+    const sessionId = typeof o.sessionId === 'string' && o.sessionId.length > 0 ? o.sessionId : undefined;
+    const toolName = typeof o.toolName === 'string' && o.toolName.length > 0 ? o.toolName : undefined;
+    const toolCallId = typeof o.toolCallId === 'string' && o.toolCallId.length > 0 ? o.toolCallId : undefined;
+    const cause = typeof o.cause === 'string' && ASK_UNRESOLVABLE_CAUSE_SET.has(o.cause) ? o.cause : undefined;
+    if (sessionId === undefined || toolName === undefined || toolCallId === undefined || cause === undefined) {
+        return undefined;
+    }
+    return {
+        sessionId,
+        toolName,
+        toolCallId,
+        cause,
+        ...(typeof o.parkLaneExisted === 'boolean' ? { parkLaneExisted: o.parkLaneExisted } : {}),
+    };
+}
+/**
+ * 一条腿上的耐久审批 **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 const DURABLE_MANDATE_SOURCES = Object.freeze([
+    'force_durable_gate',
+    'durable_approval',
+]);
+const DURABLE_MANDATE_SOURCE_SET = new Set(DURABLE_MANDATE_SOURCES);
+/**
+ * `config.durable_gate_unavailable` 通告 → 事实;不成形 ⇒ `undefined`,绝不抛出。
+ *
+ * 🔴 **两个布尔位缺席不折 `false`**:core 在铸点把它们写成必填,但「这一格读不出」与
+ *    「这一格是 false」对用户的下一步不同(前者是「引擎没说」,后者是「没有人会答你这条 ask」)。
+ */
+export function readDurableGateUnavailable(notice) {
+    if (typeof notice !== 'object' || notice === null || Array.isArray(notice))
+        return undefined;
+    const n = notice;
+    if (n.code !== 'config.durable_gate_unavailable')
+        return undefined;
+    const d = n.detail;
+    if (typeof d !== 'object' || d === null || Array.isArray(d))
+        return undefined;
+    const o = d;
+    const sessionId = typeof o.sessionId === 'string' && o.sessionId.length > 0 ? o.sessionId : undefined;
+    const runId = typeof o.runId === 'string' && o.runId.length > 0 ? o.runId : undefined;
+    const source = typeof o.source === 'string' && DURABLE_MANDATE_SOURCE_SET.has(o.source) ? o.source : undefined;
+    const cause = typeof o.cause === 'string' && o.cause.length > 0 ? o.cause : undefined;
+    if (sessionId === undefined || runId === undefined || source === undefined || cause === undefined) {
+        return undefined;
+    }
+    const principal = typeof o.principal === 'string' && o.principal.length > 0 ? o.principal : undefined;
+    return {
+        sessionId,
+        runId,
+        ...(principal !== undefined ? { principal } : {}),
+        source,
+        cause,
+        ...(typeof o.liveApprover === 'boolean' ? { liveApprover: o.liveApprover } : {}),
+        ...(typeof o.liveQuestionFace === 'boolean' ? { liveQuestionFace: o.liveQuestionFace } : {}),
+    };
+}

package/dist/gateVocabulary.d.ts

@@ -94,10 +94,13 @@ export declare function askOriginDetail(origin: unknown, message?: unknown): str
  *    结构上到不了消费端。
  * 🔴 形制:`Object.freeze` 的数组,理由同上面两张表。
  */
-export declare const RULE_STORE_UNREADABLE_KINDS: readonly string[];
+export declare const RULE_STORE_UNREADABLE_KINDS: readonly ["store", "call"];
+/** {@link RULE_STORE_UNREADABLE_KINDS} 的成员型(端的型面改派生,不再手抄两词)。 */
+export type RuleStoreUnreadableKind = (typeof RULE_STORE_UNREADABLE_KINDS)[number];
 /** 这个值是不是 {@link RULE_STORE_UNREADABLE_KINDS} 的成员(core `isRuleStoreUnreadable` 的镜像)。
- *  🔴 **唯一判据口**:窄读器与端都调它,谁都不许再抄一份字面量(B-025 的根因就是手抄)。 */
-export declare function isRuleStoreUnreadableKind(v: unknown): boolean;
+ *  🔴 **唯一判据口**:窄读器与端都调它,谁都不许再抄一份字面量(B-025 的根因就是手抄)。
+ *  🔴 0.68.0 / L-245:改成**型守卫** —— 端用它一判就拿到闭集成员型,下一步喂措辞铸点时不必 cast。 */
+export declare function isRuleStoreUnreadableKind(v: unknown): v is RuleStoreUnreadableKind;
 /**
  * 一个 `ruleStoreUnreadable` 词 → 一句人话。**唯一铸点**(三端共用;端零自拼)。
  *
@@ -105,8 +108,16 @@ export declare function isRuleStoreUnreadableKind(v: unknown): boolean;
  *    **哪一头**」。`rule_store_unavailable` 那只 ask 上两句都该在,渲一句丢一句就等于把人指去
  *    错的地方 —— 而这正是 core 把这一位单独铸出来的理由。
  * 🔴 **查表用 `Object.hasOwn`**(冻结不移除原型;理由与本文件另两个铸点逐字相同)。
- * 🔴 表外词 / 坏值 ⇒ 一句**兜底**:原样带上那个词,并明说这次仍然是在问人。
- *    ⚠️ 与 {@link isRuleStoreUnreadableKind} 的闭集判据不矛盾:那一层答「这条事实在不在」(闭集,
- *    出集 = 坏形),本层答「拿到一个词怎么渲」—— 一条从旧持久态恢复回来的视图必须渲出一句诚实的话。
+ *
+ * ── 🔴 0.68.0 / L-245:入参从 `unknown` 收窄成**闭集成员型** ─────────────────────────────────
+ * 修前这里同样留着一句「is **a word newer than this client**」的兜底,而它**结构上走不到**:
+ * 唯一到达本铸点的路是卡口的窄读器(`toolApprovalWire` 的 `readRuleStoreUnreadable`),那一层已经
+ * 按闭集把表外值判成了缺席;而这一面在上游是**真闭集**(core 在唯一 stamp 点把政策自报值剥掉之后
+ * 才盖章)⇒ 一个「比这一端新」的值根本到不了。
+ * ⚠️ 与**隔壁那一句**({@link askOriginDetail})的处置刻意相反,而两边都是对的:`AskOrigin` 在 wire
+ *    上是**开集**(server 只判非空串,core 加词当天合法的帧就带着它到达)⇒ 那一句兜底**真的会被
+ *    走到**,必须留。一套面一条规矩:闭集则收窄 + 编译期围栏,开集则保留兜底。
+ * 🔴 渲染路径不许抛,所以 never 分支照样交一句话;只是它现在说的是「这个词不在本端的闭集里」
+ *    (一句真话),而不再冒充「上游比我新」。
  */
-export declare function ruleStoreUnreadableDetail(kind: unknown): string;
+export declare function ruleStoreUnreadableDetail(kind: RuleStoreUnreadableKind): string;

package/dist/gateVocabulary.js

@@ -203,14 +203,19 @@ void _deniedByWordsPin;
  *    结构上到不了消费端。
  * 🔴 形制:`Object.freeze` 的数组,理由同上面两张表。
  */
+// 🔴 0.68.0 / L-245:形制从 `readonly string[]` 改成**字面元组**(理由同 `CLASSIFIER_DENY_CAUSES`:
+//    型面交得出成员字面量,端才能派生型而不是再抄一遍两个词)。
 export const RULE_STORE_UNREADABLE_KINDS = Object.freeze(['store', 'call']);
 const RULE_STORE_UNREADABLE_SET = new Set(RULE_STORE_UNREADABLE_KINDS);
 /** 这个值是不是 {@link RULE_STORE_UNREADABLE_KINDS} 的成员(core `isRuleStoreUnreadable` 的镜像)。
- *  🔴 **唯一判据口**:窄读器与端都调它,谁都不许再抄一份字面量(B-025 的根因就是手抄)。 */
+ *  🔴 **唯一判据口**:窄读器与端都调它,谁都不许再抄一份字面量(B-025 的根因就是手抄)。
+ *  🔴 0.68.0 / L-245:改成**型守卫** —— 端用它一判就拿到闭集成员型,下一步喂措辞铸点时不必 cast。 */
 export function isRuleStoreUnreadableKind(v) {
     return typeof v === 'string' && RULE_STORE_UNREADABLE_SET.has(v);
 }
-/** 逐词一句人话。**两句刻意逐字互异** —— 两条不同的下一步(去修部署的规则店 / 去改自己那条规则)。 */
+/** 逐词一句人话。**两句刻意逐字互异** —— 两条不同的下一步(去修部署的规则店 / 去改自己那条规则)。
+ *  🔴 0.68.0 / L-245:表型改 `Record<RuleStoreUnreadableKind, string>` —— core 加第三个机制词那天
+ *  **这张表少一个键 ⇒ 编译期当场红**,逼人同批补那一句话(修前是 `Record<string,…>`,加词一声不响)。 */
 const RULE_STORE_UNREADABLE_SENTENCES = Object.freeze({
     store: 'your standing deny/ask rules could not be read at all (the rule store did not answer), so this call asks',
     call: 'this command could not be read against your standing deny/ask rules (the engine’s own sentence is on this ask), so it asks',
@@ -222,16 +227,24 @@ const RULE_STORE_UNREADABLE_SENTENCES = Object.freeze({
  *    **哪一头**」。`rule_store_unavailable` 那只 ask 上两句都该在,渲一句丢一句就等于把人指去
  *    错的地方 —— 而这正是 core 把这一位单独铸出来的理由。
  * 🔴 **查表用 `Object.hasOwn`**(冻结不移除原型;理由与本文件另两个铸点逐字相同)。
- * 🔴 表外词 / 坏值 ⇒ 一句**兜底**:原样带上那个词,并明说这次仍然是在问人。
- *    ⚠️ 与 {@link isRuleStoreUnreadableKind} 的闭集判据不矛盾:那一层答「这条事实在不在」(闭集,
- *    出集 = 坏形),本层答「拿到一个词怎么渲」—— 一条从旧持久态恢复回来的视图必须渲出一句诚实的话。
+ *
+ * ── 🔴 0.68.0 / L-245:入参从 `unknown` 收窄成**闭集成员型** ─────────────────────────────────
+ * 修前这里同样留着一句「is **a word newer than this client**」的兜底,而它**结构上走不到**:
+ * 唯一到达本铸点的路是卡口的窄读器(`toolApprovalWire` 的 `readRuleStoreUnreadable`),那一层已经
+ * 按闭集把表外值判成了缺席;而这一面在上游是**真闭集**(core 在唯一 stamp 点把政策自报值剥掉之后
+ * 才盖章)⇒ 一个「比这一端新」的值根本到不了。
+ * ⚠️ 与**隔壁那一句**({@link askOriginDetail})的处置刻意相反,而两边都是对的:`AskOrigin` 在 wire
+ *    上是**开集**(server 只判非空串,core 加词当天合法的帧就带着它到达)⇒ 那一句兜底**真的会被
+ *    走到**,必须留。一套面一条规矩:闭集则收窄 + 编译期围栏,开集则保留兜底。
+ * 🔴 渲染路径不许抛,所以 never 分支照样交一句话;只是它现在说的是「这个词不在本端的闭集里」
+ *    (一句真话),而不再冒充「上游比我新」。
  */
 export function ruleStoreUnreadableDetail(kind) {
-    const known = typeof kind === 'string' && Object.hasOwn(RULE_STORE_UNREADABLE_SENTENCES, kind)
+    const known = Object.hasOwn(RULE_STORE_UNREADABLE_SENTENCES, kind)
         ? RULE_STORE_UNREADABLE_SENTENCES[kind]
         : undefined;
-    if (known !== undefined)
+    if (typeof known === 'string')
         return known;
     const word = typeof kind === 'string' && kind.length > 0 ? kind : '(none)';
-    return `your standing deny/ask rules could not be applied to this call; the reported reason ${word} is a word newer than this client, so answer this ask as usual`;
+    return `your standing deny/ask rules could not be applied to this call; the reported reason ${word} is not one of the mechanisms this client's closed set knows, so answer this ask as usual`;
 }

package/dist/hitl/parkResolver.d.ts

@@ -1,17 +1,3 @@
-/**
- * parkResolver — HITL gate 桥**外环**的 park 决断(REF-CC-032 / SPLIT-12 第三刀,2026-08-02)。
- *
- * 内环(`frameRouter.ts`)带出一个 `GatePark` 之后,这里回答唯一一个问题:**接着读流,还是
- * fail-soft 收场**。三条出路:
- *   · 决断成功 ⇒ `reattach`(驱动 attach `runs.events`,`lastEventId` 续传);
- *   · 「这个 gate 早就被解决了」(durable re-attach 必然重放已决断的 park)⇒ 同样 `reattach`;
- *   · 其余(overlay 缺席 / pending 蒸发 / decide 409/404 / turn 中断 / hop 预算耗尽)⇒ `failsoft`:
- *     flush HOLD 的毒化帧 + 原样吐 suspended 终帧(durable 腿无终帧则合成一条可见的 failed)。
- *
- * 🔴 本文件不碰流、不 yield:events 以数组交回驱动。`resolvePark` 的**返回值**就是它的全部对外
- *    效果(台账写入除外,且台账写入全经 `GateLedger` 的动词)—— 于是「禁掉某条真臂」这种变异
- *    在驱动的消费点上必然显形,而不是被本文件自己吞掉。
- */
 import type { AgentEvent } from '@sema-agent/sdk';
 import { type GateCurrentPending, type HitlFailureStage } from './hitlBridge.js';
 import { type QuestionAnswer } from '../liveQuestionStore.js';

package/dist/hitl/parkResolver.js

@@ -1,3 +1,18 @@
+/**
+ * parkResolver — HITL gate 桥**外环**的 park 决断(REF-CC-032 / SPLIT-12 第三刀,2026-08-02)。
+ *
+ * 内环(`frameRouter.ts`)带出一个 `GatePark` 之后,这里回答唯一一个问题:**接着读流,还是
+ * fail-soft 收场**。三条出路:
+ *   · 决断成功 ⇒ `reattach`(驱动 attach `runs.events`,`lastEventId` 续传);
+ *   · 「这个 gate 早就被解决了」(durable re-attach 必然重放已决断的 park)⇒ 同样 `reattach`;
+ *   · 其余(overlay 缺席 / pending 蒸发 / decide 409/404 / turn 中断 / hop 预算耗尽)⇒ `failsoft`:
+ *     flush HOLD 的毒化帧 + 原样吐 suspended 终帧(durable 腿无终帧则合成一条可见的 failed)。
+ *
+ * 🔴 本文件不碰流、不 yield:events 以数组交回驱动。`resolvePark` 的**返回值**就是它的全部对外
+ *    效果(台账写入除外,且台账写入全经 `GateLedger` 的动词)—— 于是「禁掉某条真臂」这种变异
+ *    在驱动的消费点上必然显形,而不是被本文件自己吞掉。
+ */
+import { putOwnKey } from '../ownKey.js';
 import { DecideTransportRetryExhaustedError, HitlBridge, HitlSafetyError, findPendingForTask, readDecideCurrentPending, readWireErrorCode, } from './hitlBridge.js';
 import { publishQuestionFrame, registerLocalQuestionResponder, hasQuestionOverlay, } from '../liveQuestionStore.js';
 import { hostLog } from '../host.js';
@@ -146,16 +161,14 @@ export function toAnsweredOutput(questions, answer) {
     for (const entry of answer.answers ?? []) {
         const q = questions.find(qq => qq.header === entry.header);
         const key = typeof q?.question === 'string' ? q.question : entry.header;
-        // 🔴 0.67.1 同形族(与 `adapter/downstream/terminalToSdkResult.ts` 的 `putOwn` 同一条):
-        //    `key` 来自 wire(问题正文 / header),字面等于 `"__proto__"` 时裸赋值走的是
-        //    `Object.prototype` 上那只 **accessor** —— `answers` 那一格(串值)整条静默丢失,
-        //    `annotations` 那一格(对象值)还顺手改了表自己的原型。落键一律 `defineProperty`。
-        const put = (t, v) => {
-            Object.defineProperty(t, key, { value: v, enumerable: true, writable: true, configurable: true });
-        };
-        put(answers, (entry.selected ?? []).join(', '));
+        // 🔴 0.68.0 / L-246 B2:落键走**单源** `putOwnKey`(`src/ownKey.ts`)。修前这里是一只内联的
+        //    同形实现,与 `adapter/downstream/terminalToSdkResult.ts` 的那一份各写各的 —— 陷阱与取舍
+        //    的完整说明现在只在那个模块的头注里一份。`key` 来自 wire(问题正文 / header),字面等于
+        //    `"__proto__"` 时裸赋值走的是 `Object.prototype` 上那只 accessor:`answers` 那一格(串值)
+        //    整条静默丢失,`annotations` 那一格(对象值)还顺手改了表自己的原型。
+        putOwnKey(answers, key, (entry.selected ?? []).join(', '));
         if (entry.note)
-            put(annotations, { notes: entry.note });
+            putOwnKey(annotations, key, { notes: entry.note });
     }
     return {
         type: 'ask-user-question',

package/dist/hitl/toolApprovalWire.d.ts

@@ -78,6 +78,7 @@
  *    🔴 方向纪律:reason/note 只做归因,绝不参与裁决;缺席 ⇒ 现状字节不变。
  */
 import { type GateCurrentPending, type HitlFailureStage, type HitlSafetyCode, type HitlClientLike } from './hitlBridge.js';
+import { type RuleStoreUnreadableKind } from '../gateVocabulary.js';
 import { type DecideReceiptView } from '../decideReceipt.js';
 import { RULE_OFFER_MATCHES, RULE_OFFER_BATCH_MEMBER_KINDS, RULE_OFFER_UNCOVERED_REASONS, RULE_OFFERS_ABSENCE_REASONS, DENIAL_LIMIT_KINDS } from '@sema-agent/sdk';
 import type { RuleSuggestion, ToolApprovalRespondAck, PersistedRuleAnchor as SdkPersistedRuleAnchor, RuleOfferMatch as SdkRuleOfferMatch, RuleOfferBatchMember as SdkRuleOfferBatchMember, RuleOfferUncoveredDetail as SdkRuleOfferUncoveredDetail, RuleOfferUncoveredReason as SdkRuleOfferUncoveredReason, AskOrigin as SdkAskOrigin, RuleOffersAbsence as SdkRuleOffersAbsence, DenialLimitKind as SdkDenialLimitKind, DenialLimitFallback as SdkDenialLimitFallback } from '@sema-agent/sdk';
@@ -708,7 +709,7 @@ export interface ApprovalCardRequest {
      *    value is removed at the stamp」)⇒ 表外值到不了消费端,真读到就是坏形,渲一句成因就是编事实。
      *    人话两句走**唯一铸点** `ruleStoreUnreadableDetail`(三端零自拼)。
      */
-    ruleStoreUnreadable?: string;
+    ruleStoreUnreadable?: RuleStoreUnreadableKind;
 }
 /**
  * 🔴 **拆缝口** —— 弹「三选卡」并等人的决断。壳 = vendored CC `PermissionRequest`;

package/dist/hitl/toolApprovalWire.js

@@ -1016,6 +1016,7 @@ export function readDenialLimitFallback(v) {
  * 入参签名(typeshape 门的 unknown-出境棘轮 +1),而它的行为由两条腿的端到端素材覆盖。
  */
 function readRuleStoreUnreadable(v) {
+    // 🔴 0.68.0 / L-245:谓词已是**型守卫** ⇒ 这里的 `as string` 退役(一处 cast 少一处)。
     return isRuleStoreUnreadableKind(v) ? v : undefined;
 }
 /**

package/dist/ownKey.d.ts

@@ -0,0 +1,34 @@
+/**
+ * src/ownKey.ts — 「拿 **wire 给的串**当对象键」时的**唯一落键姿势**(0.68.0 / L-246 B2 单源化)。
+ *
+ * ── 病形(0.67.1 在 `terminalToSdkResult.ts` 上定谳,同批在 `hitl/parkResolver.ts` 上又长了一份)──
+ * `Object.prototype.__proto__` 是一个 **accessor**:在一只普通对象上写 `o["__proto__"] = v` 走的是
+ * 那只 setter ——
+ *   · **不产生自有属性** ⇒ 那一行在 `Object.keys` / `JSON.stringify` 里**整条消失**,连行数都少一;
+ *   · `v` 是对象时还**顺手改了 `o` 的原型**。
+ * 而这几张表的键全都来自 wire(taskId / modelId / core 开集的 costBreakdown 键名 / 一条问题正文),
+ * 没有任何一条保证它们不等于这个字面。⇒ 落键一律走 `defineProperty`。
+ *
+ * ── 为什么要单源(本文件存在的理由)────────────────────────────────────────────────────────
+ * 修前同一条处置有**两份实现**(`terminalToSdkResult.ts` 的 `putOwn` 与 `parkResolver.ts` 里那只
+ * 内联 `put`),而且两份都带着各自的一段说明。两份同形实现的代价不是重复几行,是**下一次只修一处**:
+ * 这条落键姿势将来若要再收紧(例如连 `constructor` 一类也要拦),漏掉的那一份会静默地把老病留住。
+ * 本仓「同形存量」纪律的直接落点。
+ *
+ * 🔴 **不改成 null 原型对象交付**:端拿到的仍是一只正常对象(`hasOwnProperty` / `toString` 都在),
+ *    本模块只管「落键」这一步,不改交付形 —— 换原型会在宿主侧造出一类新的 `TypeError`。
+ *    描述符与普通赋值**逐位相同**(`writable` / `enumerable` / `configurable` 三真),所以除了
+ *    `__proto__` 这一个字面,其余每一个键的行为一个字节都没变。
+ *
+ * 🔴 **零 import**(纯叶):它进 runStream 内核闭包与 index 闭包两条传递闭包,自己一条 import 都没有
+ *    ⇒ 不可能把任何东西拖进去(portability 门真正守的三件 —— 零 Node 内建 / 零 react·ink /
+ *    外部包等值集 —— 一件都不动)。
+ */
+/**
+ * 把 `value` 落在 `table[key]` 上,**保证产生一个自有属性**(`key` 可以是任何 wire 串,含 `__proto__`)。
+ *
+ * @param table 目标表(交付形不变:仍是一只普通对象)
+ * @param key   来自 wire 的键串
+ * @param value 要落的值
+ */
+export declare function putOwnKey<T>(table: Record<string, T>, key: string, value: T): void;