@sema-agent/client-core 0.77.0 → 0.77.2

package/dist/fleetTaskDesc.js

@@ -1,62 +1,7 @@
-/**
- * ⇄ B1 批搬迁(2026-07-27,多端改造设计稿 §2.4.1-B):cli src/sema/fleetTaskDesc.ts 逐字搬入(零依赖;壳侧改 re-export)。
- */
-/**
- * src/sema/fleetTaskDesc.ts — footer fleet 行「label/描述列」纯投影助手(零依赖,从 fleetClient.ts 提出
- * 供单测直取——fleetClient 拖 SDK/appState/notification 重图,无法轻量 bundle;行为与提出前逐字同源)。
- */
-/**
- * 单行呈现载体的**危险字符可见化**(#307 呈现面规整族,2026-08-19)。
- *
- * 🔴 本段注释与正则里的不可见/双向字符一律 `\uXXXX` 转义,绝不字面嵌入(字面形无法目测核实)。
- *
- * 为什么 `\s+` 折叠不够:JS 的 `\s` 只覆盖 `\t\n\r\f\v` + 空格 + `\u00a0` +
- * `\u1680` + `\u2000-\u200a` + `\u2028\u2029` + `\u202f\u205f\u3000\ufeff`。
- * **没被它覆盖、却会被终端执行**的还有四族:
- *  · C0 全段 + DEL(`\u0000-\u001f`、`\u007f`):裸 ESC/CSI 能改色、清行、移光标;
- *  · C1(`\u0080-\u009f`):NEL(`\u0085`)在终端上就是换行,却**不在** `\s` 里 ——
- *    「fleet 行就一行」这个结构账被它一个字符绕过;
- *  · 双向控制符 + 行/段分隔符(`\u061c`、`\u200e\u200f`、`\u2028\u2029`、
- *    `\u202a-\u202e`、`\u2066-\u2069`):不是控制字符,却会被终端的双向重排/断行**执行**,
- *    把 wire 给的行描述在屏上排成另一个样子;
- *  · 孤代理项:上游可能本来就送半只,或被列宽截断劈开。
- *
- * 形状选型=**可见转义**(`\uXXXX`)而非 `.` 占位:本函数的载体是 footer fleet 行的
- * label/描述**单行列**,可见形既不引入伪行,也不让两个不同的 wire 值在屏上同形。
- *
- * 🔴 射程只到呈现:不改「读不读得出」,也不参与任何放行判定。
- * 🔴 顺序只在 collapseLabel 那侧有要求:`\s+` 折叠必须先跑(把 `\t\n\r` 等空白归一成
- *    空格),反了会把换行渲成 `\u000A` 字面,「多行 name 塌一行」的既有行为就没了。
- *    没经折叠的载体(fleetProjection.projectDescription)直接过本函数 —— `\t\n` 就渲成
- *    可见转义,单行列里那才是对的(单行载体不许保 `\n`)。
- *
- * ⇄ 同族单源:壳仓 `src/sema/untrustedDisplayText.ts` 的 `cleanUntrustedScalar` 是同一判据的
- *    cli 侧实现(那份还带 `.` 占位与保排版两个变体),字符集与本函数**同集**。该单源日后上收到
- *    本包时,本函数是它的座位;在那之前改一处必须改另一处(两侧各有逐码位同集断言看守)。
- */
-// eslint-disable-next-line no-control-regex
 const DISPLAY_UNSAFE = /[\u0000-\u001f\u007f-\u009f\u061c\u200e\u200f\u2028\u2029\u202a-\u202e\u2066-\u2069]|[\ud800-\udbff](?![\udc00-\udfff])|(?<![\ud800-\udbff])[\udc00-\udfff]/g;
 export function escapeDisplayControlChars(s) {
     return s.replace(DISPLAY_UNSAFE, ch => `\\u${(ch.codePointAt(0) ?? 0).toString(16).toUpperCase().padStart(4, '0')}`);
 }
-/**
- * UNTRUSTED-for-display 呈前处理的**共用铸点**:**先转义、后按转义结果封长**。
- *
- * 🔴 顺序反过来会让承诺的显示预算失守 —— {@link escapeDisplayControlChars} 把每个不可见字符
- *    改写成 6 字符的 `\uXXXX`,先按原文截长再转义,会把一段纯控制字符的 `max` 个原始字符送成
- *    `6 × max` 个显示字符。屏上的列宽预算是按**显示字符**给的,所以封长必须量转义后的那一份。
- * 🔴 相反方向的顾虑(「先转义后截会把一枚转义序列拦腰截断」)由下面两条避让解掉,不构成
- *    改回先截后转义的理由:
- *      · 截点落在一枚 `\uXXXX` token 中间 ⇒ 回退到该 token 之前(留半截 `\u00` 比整枚不渲更坏,
- *        它看起来像一个完整答案的开头);
- *      · 截点落在一对合法代理对(如 emoji)中间 ⇒ 回退一位。`DISPLAY_UNSAFE` 只转义**孤**代理项,
- *        合法对被放行原样透传,在这里截断等于人为造一枚裸高位代理项留在末尾。
- *
- * 语义:返回值恒是**已消毒**的串,长度 ≤ `max`(可能因避让短于 `max`)。`max <= 0` ⇒ 空串。
- *
- * ⇄ 本函数是本包该族的**唯一**实现(0.62.0 起):operator 面的 READ 档位读器、写保护姿态行、
- *   SQL 姿态行四处此前各写一份,其中三份是先截后转义 —— 同形存量清剿后一律接这一只。
- */
 export function capForDisplay(raw, max) {
     const escaped = escapeDisplayControlChars(raw);
     if (escaped.length <= max)
@@ -73,23 +18,9 @@ export function capForDisplay(raw, max) {
     }
     return cut > 0 ? escaped.slice(0, cut) : '';
 }
-/** collapse a wire label to a single trimmed line (drops embedded newlines/runs). 187 row labels are always
- *  one short line; the <FleetTree/> column (Math.min(28,…) + wrap="truncate") does the visible ellipsis, so we
- *  only normalize here — no double-ellipsis, faithful to the 187 render.
- *  #307:折叠之后再过 {@link escapeDisplayControlChars} —— `\s+` 折叠管不到 C0 非空白段/C1(NEL)/
- *  双向控制符/孤代理项,那四族原样透到终端就是「一行」这个结构账被绕过。空/非空判定不变
- *  (可见转义不产生空白,`|| fallback` 那些调用点的真假面照旧)。 */
 export function collapseLabel(s) {
     return escapeDisplayControlChars(s.replace(/\s+/g, ' ').trim());
 }
-/** CC row-body fallback(CC 真身锚 2026-07-20 人类剧本帧:`◯ general-purpose  t1calc`——row body 从第一帧
- *  起就是 Agent 工具的 description)。引擎子行帧不带 `description` 字段,任务描述只在 `name` 里,且有两形
- *  (07-24 D2 wire 实证,engine 1.271.0 帧 dump):
- *    ① 出生帧:name = `${agentType}: ${description}` 合成形(如 "fork: t1calc")→ 剥前缀复原;
- *    ② 后续帧:引擎把 name 重写为【裸任务描述】(如 "t1calc",无前缀)→ 直接按描述投影——
- *      修前只认①,②一到描述列即塌空(footer 只剩 `◯ fork`,D2 症状)。
- *  防重复列 belt:裸 name 恰为 identity 回声(=agentType 或 =agentName)时不当描述(label 列已渲它)。
- *  纯投影非双源;真进度(last tool name)到帧后仍然优先(调用侧 projectDescription 先行)。 */
 export function taskDescFromName(name, agentType, agentName) {
     if (!name || !agentType)
         return '';

package/dist/forkWireCaps.d.ts

@@ -1,26 +1,3 @@
-/**
- * ⇄ B2 批搬迁(2026-07-27,多端改造设计稿 §3 B2):cli src/sema/forkWireCaps.ts 逐字搬入(零依赖)。
- */
-/**
- * src/sema/forkWireCaps.ts — Fork wire projection: the top-level `TaskRequest.enableFork` boolean →
- * core fork governance → the model's Agent(subagent_type:"fork") availability (core 1.257 撤除独立
- * Fork 工具,能力收编进 Agent;CC `subagent_type:fork`: the model forks ITSELF into a subagent that
- * INHERITS the parent context + shares the prompt cache, vs Task's clean-context subagent).
- *
- * DEFAULT = CC parity(clay 2026-07-08 拍板,订正:此前壳里引用的「默认对 LLM 不开」是过时拍板):
- * core ≥1.257 的 fork 治理是 opt-OUT——enableFork 缺省 = GRANTED(与 CC 一致)。壳默认 **不 stamp**,
- * 让引擎默认生效(模型默认可用 Agent-fork)。`SEMA_ENABLE_FORK` 保留为显式开关:truthy ⇒ stamp true
- * (对老引擎 <1.257 也点亮),显式 falsy('0'/'false'/'no'/'off')⇒ stamp false(用户关闭的口子,
- * service [503]② 的 fail-OPEN 教训:关必须显式 false,缺省不再是"关")。
- *
- * PURE — no env/file IO of its OWN (callers pass `env`), so it bundles + unit-tests without the
- * settings graph. The CALLER (seamQuery / the -p ask) gates the env read to LIVE mode so the mock
- * request shape never changes.
- */
 import { type EnvLike } from './hostEnv.js';
-/** The env key the shell reads. SEMA_-namespaced so it never collides with a worker's own deploy env. */
 export declare const ENABLE_FORK_ENV: "SEMA_ENABLE_FORK";
-/** ENV source → explicit `true`/`false` when the user set SEMA_ENABLE_FORK either way, else
- *  `undefined` (⇒ no stamp ⇒ the engine default applies — GRANTED on core ≥1.257, CC parity).
- *  Spelling set = {@link envFlagOn}/{@link envFlagOff}(REF-CC-141 dup-02 单源)。 */
 export declare function enableForkFromEnv(env?: EnvLike): boolean | undefined;

package/dist/forkWireCaps.js

@@ -1,29 +1,6 @@
-/**
- * ⇄ B2 批搬迁(2026-07-27,多端改造设计稿 §3 B2):cli src/sema/forkWireCaps.ts 逐字搬入(零依赖)。
- */
-/**
- * src/sema/forkWireCaps.ts — Fork wire projection: the top-level `TaskRequest.enableFork` boolean →
- * core fork governance → the model's Agent(subagent_type:"fork") availability (core 1.257 撤除独立
- * Fork 工具,能力收编进 Agent;CC `subagent_type:fork`: the model forks ITSELF into a subagent that
- * INHERITS the parent context + shares the prompt cache, vs Task's clean-context subagent).
- *
- * DEFAULT = CC parity(clay 2026-07-08 拍板,订正:此前壳里引用的「默认对 LLM 不开」是过时拍板):
- * core ≥1.257 的 fork 治理是 opt-OUT——enableFork 缺省 = GRANTED(与 CC 一致)。壳默认 **不 stamp**,
- * 让引擎默认生效(模型默认可用 Agent-fork)。`SEMA_ENABLE_FORK` 保留为显式开关:truthy ⇒ stamp true
- * (对老引擎 <1.257 也点亮),显式 falsy('0'/'false'/'no'/'off')⇒ stamp false(用户关闭的口子,
- * service [503]② 的 fail-OPEN 教训:关必须显式 false,缺省不再是"关")。
- *
- * PURE — no env/file IO of its OWN (callers pass `env`), so it bundles + unit-tests without the
- * settings graph. The CALLER (seamQuery / the -p ask) gates the env read to LIVE mode so the mock
- * request shape never changes.
- */
 import { hostEnv } from './hostEnv.js';
 import { envFlagOff, envFlagOn } from './envFlag.js';
-/** The env key the shell reads. SEMA_-namespaced so it never collides with a worker's own deploy env. */
 export const ENABLE_FORK_ENV = 'SEMA_ENABLE_FORK';
-/** ENV source → explicit `true`/`false` when the user set SEMA_ENABLE_FORK either way, else
- *  `undefined` (⇒ no stamp ⇒ the engine default applies — GRANTED on core ≥1.257, CC parity).
- *  Spelling set = {@link envFlagOn}/{@link envFlagOff}(REF-CC-141 dup-02 单源)。 */
 export function enableForkFromEnv(env = hostEnv()) {
     const raw = env[ENABLE_FORK_ENV];
     if (typeof raw !== 'string' || raw.trim() === '')
@@ -32,5 +9,5 @@ export function enableForkFromEnv(env = hostEnv()) {
         return true;
     if (envFlagOff(raw))
         return false;
-    return undefined; // unrecognized spelling — don't guess, let the engine default apply
+    return undefined;
 }

package/dist/gateOutcome.d.ts

@@ -1,185 +1,45 @@
-/**
- * src/gateOutcome.ts — 一次工具门通过的**整条记录**:`tool_end.gate` 的三端共用窄读器(0.60.0)。
- *
- * ── 上游形变(engine ≥7.64.0 / sdk 8.4.0;wire BREAKING)────────────────────────────────────
- * 7.63.0 及以前,一次调用怎么过门要从**四个正交可选词**里拼:`settledBy` / `resolution` /
- * `autoDenied` / `approver`。那四个词的配对规则只活在注释里,消费端要靠**缺席**推语义(「有
- * `timeout` 没有 `resolution` ⇒ 耐久 park 过期」)。7.64.0 起它是一条记录 {@link GateOutcomeView}:
- *   · `disposition` —— 放行,或被**哪一层**拒(`deniedBy` 八词);
- *   · `settlement?` —— 这次消费掉的等待**怎么结束的**(十二词 `kind`、形由词决定的 `who`、`when`,
- *     人的拒绝另带 `note?`);
- *   · `origin?`     —— 谁**问**的。
- * `settlement` 与 `origin` **同在同缺**(它们说的是同一只 ask)。四个旧词**全删,无 alias**。
- *
- * ── 本模块存在的理由:判定归包,端不许自拼 ───────────────────────────────────────────────────
- * 旧形上,「这一次是不是**审批窗自己走完**的拒绝」这个判定是端各自拼的一个两键合取
- * (`settledBy === 'timeout' && resolution === 'window_expired'`),而拼错的方式有好几种、错法
- * 静默(单锚 `settledBy` 会把「审批方违约」误收进来;写成不等式会把「不知道怎么拒的」折成
- * 「窗自然结束」)。形变把这些配对规则搬进了**形状**,正是把判定收进包里的时机 ——
- * 端从此调 {@link isApprovalWindowExpiredGate} / {@link isDenialLimitAutoDeniedGate},不再自拼。
- *
- * ── 判据纪律 ────────────────────────────────────────────────────────────────────────────────
- * 🔴 **缺席不是关于这次调用的事实**,禁读出任何语义。上游逐字列了**四种**在 wire 上不可分辨的
- *    成因:①门根本没看见这次调用(未武装的门)/ ②延后重发 / ③reconcile 捡回的孤儿 / ④那条记录
- *    过不了引擎的不变量筛、server **整条不上帧**。⇒ 一律退回 `isError` + 文案。
- *    ⚠️ **真机黑盒补的第五种成因**(engine 7.64.0 三路独立构造直证,与上面四种不同 —— 它有一个
- *    **可读的正面标记**):审批窗走完未决而走 **park** 路径时,`tool_end` 帧上没有 `gate`,只有
- *    `errorCode: "gate.parked"`。那一形不是「记录坏了」,是「这次调用根本没结算过什么」——
- *    它由 {@link isGateParkedToolEnd} 单独回答,见那一处。
- * 🔴 **开集读**:`settlement.kind` / `origin` / `deniedBy` 的词表属主都是 core。`deniedBy` 在
- *    wire 上确实是闭集(出集的记录 server 整条不投),但**本包不据此收窄**:窄读成枚举会在 core
- *    加员当天把一个合法值判没,而端拿到的是「一个陌生的词」远好过「这一位不见了」。三处一律
- *    「非空串即原样透传」,端的 `switch` **必须带 `default`**。
- * 🔴 **`who` 的形由 `kind` 决定,本读器不重铸那张配对表**:它按结构原样窄读(`party` 非空串、
- *    `approver` / `window` 各自可选),把配对规则留在**引擎**那一侧。抄一份配对表 = 给自己立
- *    第二个判官,而上游明说这张表是它的不变量。
- * 🔴 `approver` 是 **UNTRUSTED-for-display**:转录不是认证(引擎只筛形,不鉴别、不比对、不回读),
- *    可信度 = 那条审批通道的可信度;只渲染,绝不回喂模型/工具入参,更不许当鉴权判据。
- *    `note`(拒批人自己写的自由文本)同待遇。
- *
- * ── 🔴 同名不同义警告([same-name-different-meaning-crosses-layers])──────────────────────────
- * 本包 `hitl/parkResolver.ts` 另有一个导出型也叫 `GateOutcome`,说的是**本包决断腿的结局**
- * (`decided` / `aborted` / `failed`),与 sdk 的 `GateOutcome`(**引擎的门记录**)是两个语义面。
- * 本模块的公面型因此一律带 `View` 后缀,两者在任何一处都不许互相赋值 —— 合并它们会让「这次门怎么
- * 过的」与「这条决断链怎么收的」同形。
- */
 import type { DeniedBy, Settlement } from '@sema-agent/sdk';
-/**
- * 这次门通过的**最终处置**。`deniedBy` 按**开集**读(型面用 sdk 的闭八词并 `string` 放宽,理由见
- * 模块顶注)——`policy` / `hook` / `org` / `classifier` / `plan_mode` / `compliance` /
- * `write_protection` / `ask_resolution`。
- */
 export type GateDispositionView = {
     kind: 'allowed';
-    /** 0.68.3(core 7.18.0 #742):分类器轮记录;缺席 = 未知(见 {@link GateClassifierRoundView})。 */
     classifier?: GateClassifierRoundView;
 } | {
     kind: 'denied';
-    /** 同上 —— 两臂都可带(core `GateDisposition` 两臂各自声明,本层逐臂逐键挑)。 */
     classifier?: GateClassifierRoundView;
     deniedBy: DeniedBy | (string & {});
-    /**
-     * 0.67.0(core 7.14.0 #688)—— 这次 deny 是**分类器那一轮没能裁决**的哪一形
-     * (`unavailable` = 跑不了 / `parse_error` = 跑了但答在契约之外;core `CLASSIFIER_DENY_CAUSES`)。
-     *
-     * 🔴 **本层按开集透传**(非空串即收),与同文件 `deniedBy` / `settlement.kind` / `origin` 三处
-     *    逐字同规:窄读域只许等于或宽于铸点域(B-025 定谳)。**判成员**那一步在公面读器
-     *    `classifierDenyCauseOf` 上(闭集,理由见该函数)—— 两层分工与退役前的
-     *    `classifierUnavailable`「过境 / 显示」两层逐字同形。
-     * 🔴 **缺席不是断言**:缺席同时覆盖「分类器自己裁决 block 了」「这不是分类器轮」「本部署没接
-     *    分类器」三形(core `gate-outcome.d.ts:162-166` 逐字),端**禁**读成「分类器好着呢」。
-     * 🔴 它站在 `deniedBy ∈ {classifier, policy}` 旁(core `DENIED_BY_MAY_CARRY_CAUSE`);那条配对
-     *    是**引擎的段内不变量**,本层不校(同 I1–I4 的处置,见 {@link gateOutcomeOf} 顶注)。
-     */
     cause?: string;
 };
-/**
- * 0.68.3(core 7.18.0 #742)—— **分类器那一轮到底问了谁**(`AutoModeClassifierRound` 的防御读视图)。
- *
- * 🔴 **缺席 = 未知 ≠ 席自答**(core 提货单 [7281] 逐字):缺席同时覆盖「这不是分类器轮」「老引擎」
- *    「分类器席没配」三形,端**禁**读成「主模型自己判的」。
- * · `modelRequested` / `modelUsed`:请求的席与实际答题的模型(两者不同 ⇒ 走了候选梯子)。
- * · `fallback`:从哪一级退到哪一级、为什么(`cause` = core `AUTO_MODE_FALLBACK_CAUSES` 三词
- *   `error` / `timeout` / `parse_error`,**按开集读**;本包不持该表)。缺席 = 没退。
- *   ⚠️ core 顶注:prompt 都没能组出来的那一形也记成 `{from: seat, to: main, cause: "error"}`——
- *   「没问过任何模型」与「问了但坏了」在这一位上**分不开**,端别据它渲「分类器席坏了」。
- * 🔴 两个必在位缺一 ⇒ 整只 `classifier` 缺席(半只视图比没有更坏);`fallback` 三键缺一 ⇒ 只丢 `fallback`。
- */
 export interface GateClassifierRoundView {
     modelRequested: string;
     modelUsed: string;
     fallback?: GateClassifierFallbackView;
 }
-/** 分类器候选梯子的一次退级:从哪一级到哪一级、为什么(`cause` 按开集读)。 */
 export interface GateClassifierFallbackView {
     from: string;
     to: string;
     cause: string;
 }
-/** 结算方的身份座(形由 {@link SettlementView.kind} 决定,本读器不重铸那张配对表)。 */
 export interface SettlementWhoView {
-    /** `person` / `engine` / `host` / `none`(开集读)。 */
     party: string;
-    /** 审批通道**自报**的身份串;UNTRUSTED-for-display,缺席 = 通道没报名字。 */
     approver?: string;
-    /** 引擎侧是**哪一只窗**(`approval_factory` / `denial_limit`);非引擎方恒缺席。 */
     window?: string;
 }
-/** 一只 ask 在等的那次等待**怎么结束的**。 */
 export interface SettlementView {
-    /** 闭十二词(core `SETTLEMENT_KINDS`),**按开集读**。 */
     kind: Settlement['kind'] | (string & {});
     who: SettlementWhoView;
-    /** epoch ms,写在结算发生的那一处。非有限数 ⇒ 缺席(绝不铸一个 0 时刻)。 */
     when?: number;
-    /** 拒批人附的那句话。**没有 note 的拒 = 一句干脆的「不」**,不是「没说理由」。UNTRUSTED。 */
     note?: string;
 }
-/** 一次工具门通过的整条记录(sdk `GateOutcome` 的**防御读**视图)。 */
 export interface GateOutcomeView {
     disposition: GateDispositionView;
-    /** 只在**这次通过真的结算了一只 ask** 时在场。与 {@link origin} 同在同缺。 */
     settlement?: SettlementView;
-    /** 谁**问**的(core `ASK_ORIGINS`,7.6.0 起十词;**按开集读**)。与 {@link settlement} 同在同缺。 */
     origin?: string;
 }
 export declare function gateOutcomeOf(frame: unknown): GateOutcomeView | undefined;
-/**
- * 这次调用是**被门 park 了**吗 —— 「没在这里结算」的**第二形**(engine 7.64.0 真机黑盒直证)。
- *
- * 🔴 **为什么非有它不可**:审批窗走完(默认 300s)未决而走 park 路径时,`tool_end` 帧上
- *    **没有 `gate` 字段** —— 只有 `errorCode: "gate.parked"`。⇒ 单锚 {@link gateOutcomeOf} 的
- *    消费点在这一形上什么都读不到,而这一形**恰恰是端最想说一句话的那一格**(「已转后台候批」)。
- * 🔴 **两形合起来才是「这次调用没在这里结算」的完整判据**,端要判这件事写:
- *    `isApprovalWindowExpiredGate(gateOutcomeOf(f)) || isGateParkedToolEnd(f)`。
- *    两形语义**不同**、不许互相顶替:前者是「窗走完了,拒了」,后者是「park 了,还没人决」。
- * 🔴 **入参是整只帧**(与 {@link gateOutcomeOf} 同姿势):端不必知道这一位挂在哪个键上。
- * 🔴 缺席不带语义:大多数 `tool_end` 都不带这个码,缺席 ≠「已经结算过了」。
- */
 export declare function isGateParkedToolEnd(frame: unknown): boolean;
-/** 这次门是不是**拒**(缺席 ⇒ `false` —— 缺席不带语义,见模块顶注)。 */
 export declare function isDeniedGate(g: GateOutcomeView | undefined): boolean;
-/** 拒这次的是**哪一层**(`policy` / `hook` / `org` / …;开集)。非拒 / 缺席 ⇒ `undefined`。 */
 export declare function gateDeniedBy(g: GateOutcomeView | undefined): string | undefined;
-/**
- * 这次结算是**谁**的(审批通道自报的身份串)。UNTRUSTED-for-display。
- * 🔴 缺席 = 通道没报名字 —— 永不意味「没人批」,也永不意味「有人批」。
- */
 export declare function gateApprover(g: GateOutcomeView | undefined): string | undefined;
-/**
- * 这次拒是**审批窗自己走完**的吗 —— 端此前自拼的那个两键合取(`settledBy === 'timeout' &&
- * resolution === 'window_expired'`)的**继任单源**。
- *
- * 判据 = `settlement.kind === 'approval_window_expired'`(引擎自己的审批工厂窗,或同步宿主
- * approver 报「我的窗到了」)。
- * 🔴 **刻意不含另外两条窗词**:`denial_limit_window_expired` 是**分类器限额回落**的自动拒窗
- * (端要渲的是另一句话,见 {@link isDenialLimitAutoDeniedGate}),`park_sla_expired` 是**耐久 park**
- * 的 SLA 到期(结束它的是宿主的扫,不是这次调用在等的那只审批窗)。旧形上这三件事共用一个
- * `settledBy:"timeout"`,分不出来正是要靠 `resolution` 补第二个键的原因;形变把它们分成了三个词,
- * 合并读回去等于把刚修好的判别力扔掉。
- * 🔴 **正面匹配,绝不写不等式**:不等式对缺席与任何未来新词都为真。
- */
 export declare function isApprovalWindowExpiredGate(g: GateOutcomeView | undefined): boolean;
-/**
- * 这次拒是**引擎的限额回落窗自己拒的**吗(不是人拒的)—— 端此前读的 `tool_end.autoDenied === true`
- * 的**继任单源**。
- *
- * 判据 = `settlement.kind === 'denial_limit_window_expired'`(auto 模式分类器的拒绝上限回落窗:
- * 那张必须真人批的卡在 `autoDenyAfterMs` 走完之后由**引擎**判 deny)。
- * 🔴 它答的正是 {@link isApprovalWindowExpiredGate} 答不了的那一问:「这一次到期是**自动拒**收的场,
- *    还是 park 了等人」。端要渲的两句话(「自动拒(限额回落)」vs「已转后台候批」)卡在这一格上。
- * 🔴 **不据它自铸第二只定时器/第二张资格表**:窗的执行全在引擎,本位是**事后**的判别位。
- */
 export declare function isDenialLimitAutoDeniedGate(g: GateOutcomeView | undefined): boolean;
-/**
- * 这次结算是**耐久 park 的 SLA 到期**被宿主的扫判成拒的吗。
- * 🔴 与上面两条并列而不合并:它说的是「那一行在队列里坐过了 deadline」,与「这次调用在等的审批窗
- *    走完了」是两件不同的事,出路也不同(前者要重新提这一步,后者可以再决一次)。
- */
 export declare function isParkSlaExpiredGate(g: GateOutcomeView | undefined): boolean;
-/**
- * 这次门记录是**人**做的决定吗(`human_allowed` / `human_refused`)。
- * 🔴 「人批了之后被复查否决」(上游不变量 I3)在这里读作:本谓词为 `true` **且** {@link isDeniedGate}
- *    也为 `true` —— 那时 `deniedBy` 指的是复查那一层,approver 留在结算上,**不是** approver 的拒。
- */
 export declare function isHumanSettledGate(g: GateOutcomeView | undefined): boolean;

package/dist/gateOutcome.js

@@ -1,11 +1,7 @@
-// 「这次调用没在这里结算」的**第二形**判据(见 {@link isGateParkedToolEnd});与 `frameRouter` 的
-// 连坐/中断判据读同一个常量(单源见该常量顶注)。
 import { GATE_PARKED_ERROR_CODE } from './engineErrorCodes.js';
-/** 非空串窄化(空串按缺席归一)。 */
 function str(v) {
     return typeof v === 'string' && v.length > 0 ? v : undefined;
 }
-/** `who` 的结构窄读;`party` 读不出 ⇒ 整只结算不成形(见 {@link readSettlement})。 */
 function readWho(v) {
     if (typeof v !== 'object' || v === null || Array.isArray(v))
         return undefined;
@@ -21,11 +17,6 @@ function readWho(v) {
         ...(window !== undefined ? { window } : {}),
     };
 }
-/**
- * `settlement` 的结构窄读。`kind` 或 `who` 读不出 ⇒ **整只缺席**(不铸半只):一只没有
- * 「怎么结束的」或「谁结束的」的结算,消费端拿它渲不出任何一句可信的话,而半只会被读成
- * 「结算过了,只是没说是谁」——那是一句本读面证明不了的断言。
- */
 function readSettlement(v) {
     if (typeof v !== 'object' || v === null || Array.isArray(v))
         return undefined;
@@ -43,19 +34,6 @@ function readSettlement(v) {
         ...(note !== undefined ? { note } : {}),
     };
 }
-/**
- * `tool_end` 帧(或本包投影出的 `tool_end_result` 内部臂、耐久行的 resolved outcome)→ 门记录。
- *
- * 入参是**帧**而不是 `frame.gate`,刻意如此:端不必知道这条记录挂在哪个键上(那正是下一次形变
- * 会动的东西),也不必自己判「这一帧带不带门」。
- *
- * 🔴 `disposition` 是**唯一的承重座**:它读不出来 ⇒ 整只 `undefined`。一条只有 `settlement` 而
- *    说不出「放行还是拒了」的记录,消费端能从它得到的只有误导。
- * 🔴 **不校 I1–I4 那四条不变量**(`settlement` ⇔ `origin` 同在、`ask_resolution` ⇒ 有拒绝类结算……):
- *    筛子的属主是引擎,server 对过不了筛的记录**整条不投**。包再校一遍,只会在上游合法演进的当天
- *    把一条真记录判没,而本层给不出比「原样交给端」更好的降级动作(`wiring_manifest.autoMode`
- *    那一段的反向先例是**同一条帧上的段内自洽**,不是跨系统的不变量,两者刻意不同处置)。
- */
 function readClassifierRound(raw) {
     if (typeof raw !== 'object' || raw === null || Array.isArray(raw))
         return undefined;
@@ -89,17 +67,14 @@ export function gateOutcomeOf(frame) {
     const dr = d;
     const dk = str(dr.kind);
     let disposition;
-    // 0.68.3(core 7.18.0 #742):两臂都可带 `classifier`;逐键挑、缺席不铸键。
     const classifier = readClassifierRound(dr.classifier);
     if (dk === 'allowed') {
         disposition = { kind: 'allowed', ...(classifier !== undefined ? { classifier } : {}) };
     }
     else if (dk === 'denied') {
         const deniedBy = str(dr.deniedBy);
-        // 「拒了但说不出谁拒的」在上游**写不出来**(两臂在类型上就分了家)⇒ 到得了这里的这一形是坏记录。
         if (deniedBy === undefined)
             return undefined;
-        // 0.67.0:分类器 deny 的成因位(开集透传、缺席不铸键;判成员在 `classifierDenyCauseOf`)。
         const cause = str(dr.cause);
         disposition = {
             kind: 'denied',
@@ -109,7 +84,6 @@ export function gateOutcomeOf(frame) {
         };
     }
     else {
-        // 处置词本身不认识 ⇒ 整只不成形:`allowed` / `denied` 是这条记录的**判别位**,猜不得。
         return undefined;
     }
     const settlement = readSettlement(raw.settlement);
@@ -120,91 +94,32 @@ export function gateOutcomeOf(frame) {
         ...(origin !== undefined ? { origin } : {}),
     };
 }
-/**
- * 这次调用是**被门 park 了**吗 —— 「没在这里结算」的**第二形**(engine 7.64.0 真机黑盒直证)。
- *
- * 🔴 **为什么非有它不可**:审批窗走完(默认 300s)未决而走 park 路径时,`tool_end` 帧上
- *    **没有 `gate` 字段** —— 只有 `errorCode: "gate.parked"`。⇒ 单锚 {@link gateOutcomeOf} 的
- *    消费点在这一形上什么都读不到,而这一形**恰恰是端最想说一句话的那一格**(「已转后台候批」)。
- * 🔴 **两形合起来才是「这次调用没在这里结算」的完整判据**,端要判这件事写:
- *    `isApprovalWindowExpiredGate(gateOutcomeOf(f)) || isGateParkedToolEnd(f)`。
- *    两形语义**不同**、不许互相顶替:前者是「窗走完了,拒了」,后者是「park 了,还没人决」。
- * 🔴 **入参是整只帧**(与 {@link gateOutcomeOf} 同姿势):端不必知道这一位挂在哪个键上。
- * 🔴 缺席不带语义:大多数 `tool_end` 都不带这个码,缺席 ≠「已经结算过了」。
- */
 export function isGateParkedToolEnd(frame) {
     if (typeof frame !== 'object' || frame === null || Array.isArray(frame))
         return false;
     return frame.errorCode === GATE_PARKED_ERROR_CODE;
 }
-/** 这次门是不是**拒**(缺席 ⇒ `false` —— 缺席不带语义,见模块顶注)。 */
 export function isDeniedGate(g) {
     return g?.disposition.kind === 'denied';
 }
-/** 拒这次的是**哪一层**(`policy` / `hook` / `org` / …;开集)。非拒 / 缺席 ⇒ `undefined`。 */
 export function gateDeniedBy(g) {
     return g?.disposition.kind === 'denied' ? g.disposition.deniedBy : undefined;
 }
-/**
- * 这次结算是**谁**的(审批通道自报的身份串)。UNTRUSTED-for-display。
- * 🔴 缺席 = 通道没报名字 —— 永不意味「没人批」,也永不意味「有人批」。
- */
 export function gateApprover(g) {
     return g?.settlement?.who.approver;
 }
-/**
- * 这次拒是**审批窗自己走完**的吗 —— 端此前自拼的那个两键合取(`settledBy === 'timeout' &&
- * resolution === 'window_expired'`)的**继任单源**。
- *
- * 判据 = `settlement.kind === 'approval_window_expired'`(引擎自己的审批工厂窗,或同步宿主
- * approver 报「我的窗到了」)。
- * 🔴 **刻意不含另外两条窗词**:`denial_limit_window_expired` 是**分类器限额回落**的自动拒窗
- * (端要渲的是另一句话,见 {@link isDenialLimitAutoDeniedGate}),`park_sla_expired` 是**耐久 park**
- * 的 SLA 到期(结束它的是宿主的扫,不是这次调用在等的那只审批窗)。旧形上这三件事共用一个
- * `settledBy:"timeout"`,分不出来正是要靠 `resolution` 补第二个键的原因;形变把它们分成了三个词,
- * 合并读回去等于把刚修好的判别力扔掉。
- * 🔴 **正面匹配,绝不写不等式**:不等式对缺席与任何未来新词都为真。
- */
 export function isApprovalWindowExpiredGate(g) {
     return g?.settlement?.kind === 'approval_window_expired';
 }
-/**
- * 这次拒是**引擎的限额回落窗自己拒的**吗(不是人拒的)—— 端此前读的 `tool_end.autoDenied === true`
- * 的**继任单源**。
- *
- * 判据 = `settlement.kind === 'denial_limit_window_expired'`(auto 模式分类器的拒绝上限回落窗:
- * 那张必须真人批的卡在 `autoDenyAfterMs` 走完之后由**引擎**判 deny)。
- * 🔴 它答的正是 {@link isApprovalWindowExpiredGate} 答不了的那一问:「这一次到期是**自动拒**收的场,
- *    还是 park 了等人」。端要渲的两句话(「自动拒(限额回落)」vs「已转后台候批」)卡在这一格上。
- * 🔴 **不据它自铸第二只定时器/第二张资格表**:窗的执行全在引擎,本位是**事后**的判别位。
- */
 export function isDenialLimitAutoDeniedGate(g) {
     return g?.settlement?.kind === 'denial_limit_window_expired';
 }
-/**
- * 这次结算是**耐久 park 的 SLA 到期**被宿主的扫判成拒的吗。
- * 🔴 与上面两条并列而不合并:它说的是「那一行在队列里坐过了 deadline」,与「这次调用在等的审批窗
- *    走完了」是两件不同的事,出路也不同(前者要重新提这一步,后者可以再决一次)。
- */
 export function isParkSlaExpiredGate(g) {
     return g?.settlement?.kind === 'park_sla_expired';
 }
-/**
- * 这次门记录是**人**做的决定吗(`human_allowed` / `human_refused`)。
- * 🔴 「人批了之后被复查否决」(上游不变量 I3)在这里读作:本谓词为 `true` **且** {@link isDeniedGate}
- *    也为 `true` —— 那时 `deniedBy` 指的是复查那一层,approver 留在结算上,**不是** approver 的拒。
- */
 export function isHumanSettledGate(g) {
     const k = g?.settlement?.kind;
     return k === 'human_allowed' || k === 'human_refused';
 }
-/**
- * **编译期对账钉**(不出公面):sdk 的 `GateOutcome` 必须能赋给本视图 —— 上游给记录加位/改形时,
- * 这一行是本包第一个红的地方。
- *
- * 🔴 反向**刻意不钉**(本视图不必能赋给 sdk 形):本视图按开集放宽了三处词表
- * (`deniedBy` / `settlement.kind` / `origin`),那是**故意比铸点宽**(窄读域只许等于或宽于铸点域,
- * B-025 的定谳);钉反向会把这条纪律反过来判成错。
- */
 const _gateOutcomeShapePin = (w) => w;
 void _gateOutcomeShapePin;

package/dist/gateVocabulary.d.ts

@@ -1,123 +1,9 @@
-/**
- * src/gateVocabulary.ts — 门词汇两张表的**唯一措辞铸点**:`DeniedBy`(谁拒的,九词)与
- * `AskOrigin`(谁问的,十一词)(0.63.0;sdk 8.8.0 / core 7.9.0 / L-162 ③)。
- *
- * ── 为什么措辞归包 ─────────────────────────────────────────────────────────────────────────
- * 这两个词到用户面前时都要变成一句人话。让三端各写一份,同一次拒在 TUI / web / desktop 上会
- * 是三句不同的话,而其中至少两句迟早会落后于上游加词。表与句子收在这里,加词只有一处要改,
- * 而门会在上游加词的当天先红。
- *
- * ── 🔴 两张表的**开闭各按其出处**,兜底句因此必须分家 ──────────────────────────────────────
- * 这不是风格问题,是两条不同的事实:
- *   · **`DeniedBy` 在这条 wire 上是真闭集**。引擎的 `screenGateOutcome` 把「`deniedBy` 出闭集」
- *     列为记录**缺陷**,而 server 对有缺陷的门记录是**整条不上帧**(report + withhold)⇒ 一个
- *     词表外的 `deniedBy` **结构上到不了消费端**,它到达的形式是 `gate` **整键缺席**。所以本包
- *     真读到一个表外词时,唯一诚实的话是「这条门记录本不该长这样」——那是记录缺陷的信号,
- *     不是「有个新词」。sdk 的型面因此也没有 `(string & {})` 逃生口。
- *   · **`AskOrigin` 是真开集**。`tool_approval` 帧上的 `origin` 在 server 侧**只判非空串、不判
- *     成员** ⇒ core 加一个新词的当天,一个**合法**的帧就会带着表外值到达消费端。所以表外词的
- *     那一句必须说「这个词比这一端新」,把它渲成坏记录会让用户去查一个根本不存在的故障。
- * ⇒ 两句兜底逐字不同,门里有一条钉守着它们不被合并成一句。
- *
- * ── 词表是**抄件**不是意见 ────────────────────────────────────────────────────────────────
- * 两张表逐词逐序抄自 sdk 的联合声明,门 `run-gate-vocabulary-test.mjs` 从实装 `.d.ts` 里解出成员
- * 与本表**双向等值**对账(缺一词红、多一词红、顺序不同也红)。改它必须同 commit 附上游坐标。
- */
 import type { DeniedBy } from '@sema-agent/sdk';
-/**
- * **谁拒的** —— 判决是这次 deny 的那一**层**(sdk `DeniedBy` / core `DENIED_BY_VALUES`,
- * 7.6.0 起八词、**7.9.0 起九词**)。顺序逐字同源。
- * 🔴 真闭集(见模块顶注):表外词到不了消费端,所以这张表**没有**逃生口。
-
- * 🔴 形制:`Object.freeze` 的数组,**不是**只在类型面只读的 `readonly T[]` —— 后者一行 `.splice()`
- *    就能改,而公面消费者拿到的正是这个实例(本仓已定谳的病形,同 `RESUME_RETRY_LATER_CODES`)。
- */
 export declare const GATE_DENIED_BY_WORDS: readonly DeniedBy[];
-/**
- * 一个 `deniedBy` 词 → 一句人话。**唯一铸点**(三端共用;端零自拼)。
- *
- * 🔴 表外词的那一句说的是「**这条门记录本不该长这样**」,不是「有个新词」——理由见模块顶注
- *    (出集的记录在 server 侧整条不上帧,所以真读到一个表外词意味着记录有缺陷)。原样带上那个
- *    词:运维要拿它去问上游。
- * 🔴 非串 / 空串同样走兜底 —— 一个读不出的层名不是「没有层」(deny 臂在类型上就必须点名一层)。
- * 🔴 **查表用 `Object.hasOwn`,不用 `in` / 裸下标**(异源对抗复审 [medium]):`Object.freeze` 冻的是
- *    **自有属性**,原型链原样还在 ⇒ 一个来自 wire 的 `constructor` / `toString` / `__proto__` 会命中
- *    `Object.prototype` 上的成员,措辞口于是返回一个**函数**而不是一句话:呈现调用当场坏掉,而且
- *    它绕过了上下两条精心分家的兜底。这是本仓已定谳的病形(wire 键控的表一律用 Map 或自有属性判据)。
- */
 export declare function gateDeniedByDetail(deniedBy: unknown): string;
-/**
- * 一只 ask 的**出身** —— 谁问的(sdk `AskOrigin` / core `ASK_ORIGINS`;7.5.x 及以前八词、
- * 7.6.0 十词、**7.9.0 起十一词**)。顺序逐字同源。
- * 🔴 真开集(见模块顶注):server 只判非空串,新词会带着合法的帧到达。
-
- * 🔴 形制:`Object.freeze` 的数组,**不是**只在类型面只读的 `readonly T[]` —— 后者一行 `.splice()`
- *    就能改,而公面消费者拿到的正是这个实例(本仓已定谳的病形,同 `RESUME_RETRY_LATER_CODES`)。
- */
 export declare const ASK_ORIGIN_WORDS: readonly string[];
-/**
- * 一个 `origin` 词 → 一句人话。**唯一铸点**(三端共用;端零自拼)。
- *
- * @param origin  帧/行上的 `origin` 词(开集;非串/空串走兜底)
- * @param message 🆕 **0.65.0 additive 第二参**(B-080③):引擎在这只调用上给的散文
- *   (`PermissionResult.message` / 卡上的同名位)。**只在 {@link ORIGIN_PREFERS_ENGINE_MESSAGE}
- *   的词上优先**,其余词一字不读 —— 理由写在那张表的头注。缺席 / 非串 / 空白串 ⇒ 行为与本参
- *   出现之前**逐字节相同**(表里那一句中性定义句)。
- *
- * 🔴 表外词的那一句说的是「**这个词比这一端新**」,不是「坏记录」——理由见模块顶注(server 只判
- *    非空串,core 加词当天合法的帧就带着它到达)。原样带上那个词,并明说这次仍然是在问人:
- *    读不懂出身**不改变**这只 ask 要人回答这件事。
- * 🔴 非串 / 空串:同走兜底但词位渲 `(none)` —— 「没报出身」与「报了一个读不懂的出身」在这一句里
- *    不必分家(两者对用户的下一步相同:照常回答这只 ask),但都**不许**被折成十一词里的任何一个。
- * 🔴 `message` 是引擎/工具产文,**只渲不回喂模型**(与卡上其余散文位同一条纪律);本铸点
- *    **不截断不改写**它 —— 显示封顶归端(它才知道自己的行宽)。
- */
 export declare function askOriginDetail(origin: unknown, message?: unknown): string;
-/**
- * 🔴 **`AskOrigin` 那条型面钉 0.67.0 退役,理由要写清**(如实登记,不是偷偷删):
- * 它此前写作 `const _askOriginWordsPin: readonly AskOrigin[] = ASK_ORIGIN_WORDS`,而
- * `AskOrigin = SdkAskOrigin` 的型面带 `(string & {})` 逃生口 ⇒ **任何字符串都满足它**,这条钉
- * 在 core 7.14.0 把 `unresolvable` 换成 `ancestor_marked` 的当天**一声不响**(亲验:换词后
- * `npx tsc --noEmit` 0 红)。一条恒真的钉不是钉,是[gates-fail-in-their-own-ways] 的「无契约表」那一档。
- * ⇒ 判据整只移交给 `run-gate-vocabulary-test.mjs` 的 **B 段**:本表对 **core `ask-origin.js` 的
- * `ASK_ORIGINS` 真字节**双向等值(词表属主是 core,sdk 只是它的镜像且**今天滞后一代**)。
- * 那条对账拿的是运行期真字节,逃生口影响不到它。
- */
-/**
- * **规则店读不出来是哪一头**(core `RULE_STORE_UNREADABLE_KINDS`;逐词逐序镜像,7.14.0 起两词)。
- *   · `store` —— 接上的那个店**读不出来**(读失败 / 超时 / 适配器抛了);
- *   · `call`  —— 店读到了,但**这一次调用**读不出来(收紧 lexer 的 `unreadable`:展开里有读不懂的词 /
- *     引号未闭合 / 语法错 —— 引擎自己那句话在 ask 的 `message` 上)。
- *
- * 🔴 **真闭集**(与 `AskOrigin` 的开集刻意不同):core 在**唯一 stamp 点**把政策自报的值剥掉之后
- *    才盖章(7.14.0 合同逐字「A policy's self-declared value is removed at the stamp」)⇒ 表外值
- *    结构上到不了消费端。
- * 🔴 形制:`Object.freeze` 的数组,理由同上面两张表。
- */
 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 的根因就是手抄)。
- *  🔴 0.68.0 / L-245:改成**型守卫** —— 端用它一判就拿到闭集成员型,下一步喂措辞铸点时不必 cast。 */
 export declare function isRuleStoreUnreadableKind(v: unknown): v is RuleStoreUnreadableKind;
-/**
- * 一个 `ruleStoreUnreadable` 词 → 一句人话。**唯一铸点**(三端共用;端零自拼)。
- *
- * 🔴 **与 {@link askOriginDetail} 并列不互替**:那一句答「谁问的」(出身),本句答「读不出来的是
- *    **哪一头**」。`rule_store_unavailable` 那只 ask 上两句都该在,渲一句丢一句就等于把人指去
- *    错的地方 —— 而这正是 core 把这一位单独铸出来的理由。
- * 🔴 **查表用 `Object.hasOwn`**(冻结不移除原型;理由与本文件另两个铸点逐字相同)。
- *
- * ── 🔴 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: RuleStoreUnreadableKind): string;