@sema-agent/client-core 0.77.0 → 0.77.2

package/dist/coreValuePorts.d.ts

@@ -1,108 +1,52 @@
-/**
- * coreValuePorts.ts — 引擎(`@sema-agent/core`)**值级**面的端口注入口(CC-07,0.69.0;cli L-249 到期桶 core-value 清零)。
- *
- * ## 这一格要解决的问题
- * 壳(cli)有五组逻辑必须与引擎**跑同一个函数体**才不分歧:自主循环提示词的组装、权限规则「放宽」判据、
- * 工具策略的组合、工具名的协议/退役/语法判别与规则编译校验、讨论工作流的名字。它们此前在壳里**值级直连**
- * `@sema-agent/core`(cli sdk-isolation 门的 `core-value` 桶,retireBy 已过期),而 web / desktop 座位层
- * 结构上装不了引擎 —— 同一句判据在三端里只有一端有。
- *
- * ## 🔴 为什么是端口注入而不是 `export … from '@sema-agent/core'`
- * 与 `hitl/editedRuleTextPrecheck.ts` 逐字同一条硬约束:本包的可移植门是外部包**等值集**(`{diff, @sema-agent/sdk}`)
- * + `--platform=browser` 真打包,而 core 的 barrel 值级拉 `node:crypto` / `node:fs` / `node:path` ⇒ 一条值级
- * re-export 会把整台引擎焊进每一个装本包的端。⇒ **包声明端口 + 诚实缺席读口;Node 宿主在装配根把 core 的真实现
- * 原样装进来(不许包一层判断);浏览器 lane 留缺席走各自的往返/降级形**。
- *
- * ## 形(逐组,签名与 core 7.18.0 `dist/**.d.ts` 逐字同,只把 core 私有型换成**结构等价的镜像**)
- *  · `resolveAutonomousLoopPrompt(prompt, opts?)` → `string | null`(core `tools/loop-tick.d.ts`);
- *  · `loosenReasons(prior, next)` → `string[]`(core `core/session-permission-rules`;两参用 sdk 的
- *    `SessionPermissionRules`,与 core 同名同形);
- *  · `combinePolicies(...policies)` / `createAllowDenyPolicy(opts)` → 工具策略(core `core/tool-policy.d.ts`;
- *    策略对本包是**不透明句柄** {@link CoreToolPolicyHandle}:本包不调 `check`,只把它交回引擎/请求装配);
- *  · `MCP_NAMESPACE` / `RETIRED_TOOL_NAMES` / `protocolOf(name)` / `ruleToolGrammarOf(toolName)` /
- *    `validatePermissionRules(rules, opts?)`(core `core/protocol-table.d.ts` / `core/permission-rules.d.ts`);
- *  · `DISCUSSION_WORKFLOW_NAME`(core 常量 `"discussion"`)。
- *
- * ## 🔴 读口纪律(与 `precheckEditedRuleText` 同律)
- *  · 没装 ⇒ 返 `undefined`(**诚实缺席**),绝不返一个编出来的值(空数组 / 默认策略 / `"discussion"` 字面量都算编);
- *  · 装的必须是 core 的**同一只**实现,原样装 —— 包一层就把「同一函数体」这条唯一的抗漂移保证拆掉;
- *  · core 对调用方 bug 的响亮抛(如 `createAllowDenyPolicy` 的 `config.invalid_tool_name_set`)**原样上抛**,本层不吞;
- *  · 装口返回**还原函数**(还原到装之前那一只,不是无脑清空 —— 嵌套装载时无脑清空会抹掉外层)。
- *
- * ## 缺席语义(三端)
- *  · cli / desktop 主进程(Node,引擎在场):装配根一处 `installCoreValuePorts({...core 那十件...})`,缺席 = 宿主漏装 = bug;
- *  · web / desktop 渲染层:结构上装不了 ⇒ 恒缺席;消费点按 `undefined` 走各自的降级形(不判定、交引擎端裁)。
- *  本口的缺席因此**不是**「宿主忘了装」的同义词,别拿它判部署形态(`hasCoreValuePorts()` 只答「装没装」)。
- */
 import type { SessionPermissionRules } from '@sema-agent/sdk';
-/** core `AutonomousLoopPromptOptions` 的逐形镜像(三键全可选)。 */
 export interface AutonomousLoopPromptOptionsView {
     firstTick?: boolean;
     persistentVariant?: boolean;
     pushNotification?: boolean;
 }
-/**
- * core `ToolPolicy` 的**不透明句柄**:本包不调 `check`(那是引擎在 run 里做的事),只把策略原样交回。
- * 结构上只钉「有一只 `check`」—— core 的 `ToolPolicy` / `NamedToolPolicy` 都可赋给它;反向刻意不钉。
- */
 export interface CoreToolPolicyHandle {
     readonly check: (req: never, signal?: AbortSignal) => CorePermissionResultView | Promise<CorePermissionResultView>;
     readonly projection?: object;
 }
-/** core `PermissionResult` 的最小镜像(本包只钉判别位 `action`;其余位在引擎侧)。 */
 export interface CorePermissionResultView {
     readonly action: 'allow' | 'ask' | 'deny' | (string & {});
 }
-/** core `createAllowDenyPolicy` 的入参镜像。 */
 export interface AllowDenyPolicyOptionsView {
     allow?: string[];
     deny?: string[];
-    /** 非裸工具名的 entry(规则内容形)怎么办:`throw`(缺省)在构造时拒;`skip` 丢掉并经 `onInvalidNameIssue` 报。 */
     onInvalidName?: 'throw' | 'skip';
     onInvalidNameIssue?: (issue: AllowDenyInvalidNameIssueView) => void;
 }
-/** `onInvalidName: 'skip'` 时逐条报出的那一件。 */
 export interface AllowDenyInvalidNameIssueView {
     entry: string;
     list: 'allow' | 'deny';
     message: string;
 }
-/** core `ProtocolNamespace` 的镜像(`id` 按开集读:core 今天 `mcp` / `a2a` 两词)。 */
 export interface CoreProtocolNamespaceView {
     readonly id: string;
     readonly prefix: string;
     makeName(peer: string, tool: string): string;
-    /** 解不出 ⇒ `undefined`(core `ProtocolPeerTool` 对本包不透明,只钉「解出了一个对象」)。 */
     parse(name: string): object | undefined;
     displayGroupKey(name: string): string;
 }
-/** core `PermissionRule` 的逐形镜像。 */
 export interface PermissionRuleView {
     rule: string;
     behavior: 'deny' | 'ask' | 'allow';
     source?: string;
 }
-/**
- * core `PermissionRuleIssue` 的镜像。🔴 `code` 按**开集串**读:core 那张码表(`invalid.*` / `unsupported.*`)属主在引擎,
- * 镜像枚举 = 引擎加员当天把一个合法码判没(#157 词表纪律)。
- */
 export interface PermissionRuleIssueView {
     rule: string;
     code: string;
     message: string;
 }
-/** core `validatePermissionRules` 第二参的镜像(`Pick<PermissionRulePolicyOptions, …>` 四键)。 */
 export interface ValidatePermissionRulesOptionsView {
     primaryFieldGeneric?: 'reject' | 'allow-lexical';
-    /** core `Partial<PermissionRuleCaps>`;本包不钉各帽名(属主在引擎),按对象透传。 */
     caps?: object;
     ruleFaces?: (toolName: string) => object | undefined;
-    /** core `PathRuleBases`:`cwd` / `root` / `home` 三基各可选(按开集键读)。 */
     pathBases?: {
         readonly [base: string]: string | undefined;
     };
 }
-/** 十件端口的**形**(每一件的唯一合法实参 = core 导出的同名那一只,原样装)。 */
 export interface CoreValuePorts {
     resolveAutonomousLoopPrompt: (prompt: string, opts?: AutonomousLoopPromptOptionsView) => string | null;
     loosenReasons: (prior: SessionPermissionRules, next: SessionPermissionRules) => string[];
@@ -115,47 +59,19 @@ export interface CoreValuePorts {
     validatePermissionRules: (rules: PermissionRuleView[], opts?: ValidatePermissionRulesOptionsView) => PermissionRuleIssueView[];
     DISCUSSION_WORKFLOW_NAME: string;
 }
-/** 端口名的闭集(读口逐名一一对应;`hasCoreValuePort(name)` 的入参域)。 */
 export declare const CORE_VALUE_PORT_NAMES: readonly ["resolveAutonomousLoopPrompt", "loosenReasons", "combinePolicies", "createAllowDenyPolicy", "MCP_NAMESPACE", "RETIRED_TOOL_NAMES", "protocolOf", "ruleToolGrammarOf", "validatePermissionRules", "DISCUSSION_WORKFLOW_NAME"];
 export type CoreValuePortName = (typeof CORE_VALUE_PORT_NAMES)[number];
-/**
- * 装/卸端口(可以只装一部分:没装的那几件读口照旧缺席)。返回**还原函数**(还原到装之前那一袋)。
- *
- * Node 宿主的装法(**逐字**,别加工):
- * ```ts
- * import { resolveAutonomousLoopPrompt, loosenReasons, combinePolicies, createAllowDenyPolicy,
- *          MCP_NAMESPACE, RETIRED_TOOL_NAMES, protocolOf, ruleToolGrammarOf, validatePermissionRules,
- *          DISCUSSION_WORKFLOW_NAME } from '@sema-agent/core'
- * installCoreValuePorts({ resolveAutonomousLoopPrompt, loosenReasons, combinePolicies, createAllowDenyPolicy,
- *          MCP_NAMESPACE, RETIRED_TOOL_NAMES, protocolOf, ruleToolGrammarOf, validatePermissionRules,
- *          DISCUSSION_WORKFLOW_NAME })
- * ```
- * 🔴 传 `null` = 卸;传一袋 = **整袋替换**(不与上一袋合并 —— 合并会让「卸掉一件」这件事无法表达)。
- */
 export declare function installCoreValuePorts(ports: Partial<CoreValuePorts> | null): () => void;
-/** 装没装(整袋)。`false` 时所有读口缺席。 */
 export declare function hasCoreValuePorts(): boolean;
-/** 某一件装没装(存在性读口哨兵:`boolean` 形)。 */
 export declare function hasCoreValuePort(name: CoreValuePortName): boolean;
-/** 十件里还没装的那几件的名字(宿主自检 / doctor 行用;全装 ⇒ `[]`,整袋没装 ⇒ 十件全列)。 */
 export declare function coreValuePortMisses(): readonly CoreValuePortName[];
-/** 自主循环提示词组装(core `resolveAutonomousLoopPrompt`)。没装 ⇒ `undefined`;装了但 core 判「不组」⇒ `null`(两态不折)。 */
 export declare function resolveAutonomousLoopPrompt(prompt: string, opts?: AutonomousLoopPromptOptionsView): string | null | undefined;
-/** 「`next` 相对 `prior` 放宽了哪些」(core `loosenReasons`;空数组 = 没放宽)。没装 ⇒ `undefined`(不是 `[]`)。 */
 export declare function loosenReasons(prior: SessionPermissionRules, next: SessionPermissionRules): string[] | undefined;
-/** 组合工具策略(core `combinePolicies`,deny-wins)。没装 ⇒ `undefined`。 */
 export declare function combinePolicies(...policies: CoreToolPolicyHandle[]): CoreToolPolicyHandle | undefined;
-/** 白/黑名单策略(core `createAllowDenyPolicy`;`onInvalidName` 缺省 `throw`,core 响亮抛原样上抛)。没装 ⇒ `undefined`。 */
 export declare function createAllowDenyPolicy(opts: AllowDenyPolicyOptionsView): CoreToolPolicyHandle | undefined;
-/** MCP 协议命名空间(core `MCP_NAMESPACE`;`prefix` 今天 `mcp__`)。没装 ⇒ `undefined`。 */
 export declare function mcpNamespace(): CoreProtocolNamespaceView | undefined;
-/** 退役工具名 → 继任名(core `RETIRED_TOOL_NAMES`)。没装 ⇒ `undefined`(不是空 Map)。 */
 export declare function retiredToolNames(): ReadonlyMap<string, string> | undefined;
-/** 名字属于哪个协议命名空间(core `protocolOf`)。没装 ⇒ `undefined`;装了但不属任何协议 ⇒ 也是 `undefined`(两态在这一格上**不可分**,要分先问 `hasCoreValuePort('protocolOf')`)。 */
 export declare function protocolOf(name: string): CoreProtocolNamespaceView | undefined;
-/** 规则内容语法族(core `ruleToolGrammarOf`;`command` / `path`)。没装 ⇒ `undefined`(与「该工具无语法族」同形,要分先问 `hasCoreValuePort`)。 */
 export declare function ruleToolGrammarOf(toolName: string): 'command' | 'path' | undefined;
-/** 规则编译校验(core `validatePermissionRules`;空数组 = 全部编译得了)。没装 ⇒ `undefined`(不是 `[]` —— 那会把「没校」说成「全过」)。 */
 export declare function validatePermissionRules(rules: PermissionRuleView[], opts?: ValidatePermissionRulesOptionsView): PermissionRuleIssueView[] | undefined;
-/** 讨论工作流的名字(core `DISCUSSION_WORKFLOW_NAME`,今天 `"discussion"`)。没装 ⇒ `undefined`(不铸字面量)。 */
 export declare function discussionWorkflowName(): string | undefined;

package/dist/coreValuePorts.js

@@ -1,4 +1,3 @@
-/** 端口名的闭集(读口逐名一一对应;`hasCoreValuePort(name)` 的入参域)。 */
 export const CORE_VALUE_PORT_NAMES = Object.freeze([
     'resolveAutonomousLoopPrompt',
     'loosenReasons',
@@ -12,20 +11,6 @@ export const CORE_VALUE_PORT_NAMES = Object.freeze([
     'DISCUSSION_WORKFLOW_NAME',
 ]);
 let installed = null;
-/**
- * 装/卸端口(可以只装一部分:没装的那几件读口照旧缺席)。返回**还原函数**(还原到装之前那一袋)。
- *
- * Node 宿主的装法(**逐字**,别加工):
- * ```ts
- * import { resolveAutonomousLoopPrompt, loosenReasons, combinePolicies, createAllowDenyPolicy,
- *          MCP_NAMESPACE, RETIRED_TOOL_NAMES, protocolOf, ruleToolGrammarOf, validatePermissionRules,
- *          DISCUSSION_WORKFLOW_NAME } from '@sema-agent/core'
- * installCoreValuePorts({ resolveAutonomousLoopPrompt, loosenReasons, combinePolicies, createAllowDenyPolicy,
- *          MCP_NAMESPACE, RETIRED_TOOL_NAMES, protocolOf, ruleToolGrammarOf, validatePermissionRules,
- *          DISCUSSION_WORKFLOW_NAME })
- * ```
- * 🔴 传 `null` = 卸;传一袋 = **整袋替换**(不与上一袋合并 —— 合并会让「卸掉一件」这件事无法表达)。
- */
 export function installCoreValuePorts(ports) {
     const prev = installed;
     installed = ports === null ? null : { ...ports };
@@ -33,66 +18,52 @@ export function installCoreValuePorts(ports) {
         installed = prev;
     };
 }
-/** 装没装(整袋)。`false` 时所有读口缺席。 */
 export function hasCoreValuePorts() {
     return installed !== null;
 }
-/** 某一件装没装(存在性读口哨兵:`boolean` 形)。 */
 export function hasCoreValuePort(name) {
     return installed !== null && installed[name] !== undefined;
 }
-/** 十件里还没装的那几件的名字(宿主自检 / doctor 行用;全装 ⇒ `[]`,整袋没装 ⇒ 十件全列)。 */
 export function coreValuePortMisses() {
     return CORE_VALUE_PORT_NAMES.filter((n) => installed === null || installed[n] === undefined);
 }
 function port(name) {
     return installed === null ? undefined : installed[name];
 }
-// ── 读口(逐件;没装 ⇒ undefined,绝不编值;core 的响亮抛原样上抛)──────────────────────────────
-/** 自主循环提示词组装(core `resolveAutonomousLoopPrompt`)。没装 ⇒ `undefined`;装了但 core 判「不组」⇒ `null`(两态不折)。 */
 export function resolveAutonomousLoopPrompt(prompt, opts) {
     const fn = port('resolveAutonomousLoopPrompt');
     return fn === undefined ? undefined : fn(prompt, opts);
 }
-/** 「`next` 相对 `prior` 放宽了哪些」(core `loosenReasons`;空数组 = 没放宽)。没装 ⇒ `undefined`(不是 `[]`)。 */
 export function loosenReasons(prior, next) {
     const fn = port('loosenReasons');
     return fn === undefined ? undefined : fn(prior, next);
 }
-/** 组合工具策略(core `combinePolicies`,deny-wins)。没装 ⇒ `undefined`。 */
 export function combinePolicies(...policies) {
     const fn = port('combinePolicies');
     return fn === undefined ? undefined : fn(...policies);
 }
-/** 白/黑名单策略(core `createAllowDenyPolicy`;`onInvalidName` 缺省 `throw`,core 响亮抛原样上抛)。没装 ⇒ `undefined`。 */
 export function createAllowDenyPolicy(opts) {
     const fn = port('createAllowDenyPolicy');
     return fn === undefined ? undefined : fn(opts);
 }
-/** MCP 协议命名空间(core `MCP_NAMESPACE`;`prefix` 今天 `mcp__`)。没装 ⇒ `undefined`。 */
 export function mcpNamespace() {
     return port('MCP_NAMESPACE');
 }
-/** 退役工具名 → 继任名(core `RETIRED_TOOL_NAMES`)。没装 ⇒ `undefined`(不是空 Map)。 */
 export function retiredToolNames() {
     return port('RETIRED_TOOL_NAMES');
 }
-/** 名字属于哪个协议命名空间(core `protocolOf`)。没装 ⇒ `undefined`;装了但不属任何协议 ⇒ 也是 `undefined`(两态在这一格上**不可分**,要分先问 `hasCoreValuePort('protocolOf')`)。 */
 export function protocolOf(name) {
     const fn = port('protocolOf');
     return fn === undefined ? undefined : fn(name);
 }
-/** 规则内容语法族(core `ruleToolGrammarOf`;`command` / `path`)。没装 ⇒ `undefined`(与「该工具无语法族」同形,要分先问 `hasCoreValuePort`)。 */
 export function ruleToolGrammarOf(toolName) {
     const fn = port('ruleToolGrammarOf');
     return fn === undefined ? undefined : fn(toolName);
 }
-/** 规则编译校验(core `validatePermissionRules`;空数组 = 全部编译得了)。没装 ⇒ `undefined`(不是 `[]` —— 那会把「没校」说成「全过」)。 */
 export function validatePermissionRules(rules, opts) {
     const fn = port('validatePermissionRules');
     return fn === undefined ? undefined : fn(rules, opts);
 }
-/** 讨论工作流的名字(core `DISCUSSION_WORKFLOW_NAME`,今天 `"discussion"`)。没装 ⇒ `undefined`(不铸字面量)。 */
 export function discussionWorkflowName() {
     return port('DISCUSSION_WORKFLOW_NAME');
 }

package/dist/decideReceipt.d.ts

@@ -1,132 +1,22 @@
-/**
- * src/decideReceipt.ts — `/decide` **答了什么**:200 回执的读面 + 三条 workflow 车道拒绝码的
- * 人话铸点(B-070 / L-200,0.65.0;sdk README §9.0.0,server ≥7.69.0)。
- *
- * ── 🔴 这一件修的是什么:**200 ≠ 门已解决** ─────────────────────────────────────────────────
- * sdk README §9.0.0 逐字:「workflow 车道的 200 只是**投递受理** —— 子代的 checkpoint 仍 pending,
- * `/v1/approvals` 上那张卡**可能还在**。据 200 立刻把卡从 UI 抹掉,用户会看到一张『批过了却还在』
- * 的幽灵卡,或者反过来:卡消失了而决定其实在宿主被打断时丢了。」
- * core `runner/contracts.d.ts:1492` 同向:那一步 **launches the run that re-invokes** —— 它启动的是
- * 另一条 run,不是「这件事已经做完了」。
- * ⇒ 本包对 decide 成功的处置因此换了**判据锚**([anchor-on-the-deciding-quantity]):
- *   真正决定「门解没解决」的量是**流上的下一条 running 臂 / 新 run 的事件**,不是那个 200。
- *   `hitlBridge.decideRaw` 不再在 200 上清 `active`(见该处注释),`parkResolver` 的重挂腿改按
- *   {@link DecideReceiptView.handoffTaskId} 换挂。
- *
- * ── `/decide` 200 的**四种形**(sdk `ApprovalDecisionResult` 顶注逐字)─────────────────────────
- *   · **受理形**(≥7.37 durable 部署默认)`{taskId, sessionId, status:"resuming", bindingEnforced:true}`
- *   · **终局形**(无 durable run 行 / `verify:true` 的同步长调用)`{taskId?, sessionId, status, errorCode?, …}`
- *   · **parked 回执** `{taskId, status:"resuming", decision}`
- *   · **幂等回放形**(#368)`{sessionId, idempotent:true, decision, bindingEnforced:true, executionOutcome?}`
- * 🔴 **没有任何键四形都保证** —— 所以本读器对每一位都做诚实缺席,**绝不**靠某一位在不在场去推断
- *    另一件事。
- *
- * ── 🔴 `executionOutcome`:缺席 = 未知,**禁读成 allowed** ───────────────────────────────────
- * sdk `types.d.ts:3809-3813` 逐字:它**只在幂等回放形上**,说的是「那个已决动作**最后被怎么处置**」;
- * 「`decision` 说的是『人批了没有』,这一格说的是『执行时被放行还是被部署复核在 post-CAS 否掉』,
- * 两者**可以相反**」;「🔴 **缺席 = 未知**(判词还没落上 / 记录读不懂 / 命中行之间分歧),**禁读成
- * allowed**」。core `checkpoint-store.d.ts:1785` 同句:「the execution outcome is not known, never
- * 'it was allowed'」。
- * ⇒ 本读器把它读成 `GateOutcomeView | undefined`,**走的是 `gateOutcome.ts` 那一只读器**
- *   (把它包回 `{gate: …}` 的形喂进去)——不在这里另写一份门记录读法,否则两处判据必然分叉。
- *   消费端渲卡时:**在场**才说「执行时被放行/被否」,缺席一个字都不说。
- */
 import { type GateOutcomeView } from './gateOutcome.js';
 import { type ResumeReopenDetail } from './resumeRefusalCopy.js';
-/** 一次 `/decide` 200 的读数。**每一位都可能缺席**(四种形没有共同保证的键)。 */
 export interface DecideReceiptView {
-    /** 回体上的 `status`(开集透传;受理形与 parked 回执上是 `"resuming"`,回放形上**没有**这一位)。 */
     status?: string;
-    /** 回体上的 `taskId`(开集透传;回放形上没有)。 */
     taskId?: string;
-    /** 回体上的 `sessionId`(parked 回执上没有)。 */
     sessionId?: string;
-    /** `#368` 幂等回放形的判别式(在场即真)。 */
     idempotent?: true;
-    /**
-     * 🔴 **「该去盯哪条 run」的换挂句柄** —— 受理形/parked 回执上 `status === "resuming"` 时那个
-     * `taskId`。sdk README §9.0.0 逐字:workflow 车道上它是「**宿主新铸**的 run id(poll 它,
-     * **不要盯那张卡**)」。
-     *
-     * 🔴 **它与 {@link taskId} 刻意是两个位**(不是别名):`taskId` 是「回体上写着什么」的原样透传,
-     *    本位是「**本包判定**这次 decide 把续跑交到了哪条 run 上」—— 后者带着一个判据
-     *    (`status === "resuming"` ∧ 非空 `taskId`),而把判据折进透传位会让消费端分不出
-     *    「引擎报了一个 taskId」与「这次真的换挂了」。
-     * 🔴 **缺席 = 没有换挂句柄**(终局形 / 回放形 / 老 server 的终局体),消费端**照旧用原 taskId**;
-     *    绝不把缺席折成「那就是原来那条」——那是把两件事说成一件。
-     */
     handoffTaskId?: string;
-    /**
-     * 那个**已决动作最后被怎么处置**(只在幂等回放形上;sdk ≥8.6.0 / server ≥7.66.0)。
-     * 🔴 **缺席 = 未知,禁读成 allowed**(见模块顶注的两处上游逐字)。
-     */
     executionOutcome?: GateOutcomeView;
-    /**
-     * 0.74.3 CC-73:**终局形**才有的两位(契约:`verify:true` / 无 run store 的同步长调用在 200 体上回
-     * `{ status:"failed", errorCode, retriable:true }`;受理形刻意不带)。在场逐字,缺席不落键;`retriable` 严格布尔,
-     * `false` 是 server 说的照带。判「这是不是 reopen 类失败」走 {@link decideReceiptReopen},别在端上凭码猜。
-     */
     errorCode?: string;
     retriable?: boolean;
 }
-/**
- * `/decide` 的 200 体 → {@link DecideReceiptView};不是一只对象 / 一位都读不出 ⇒ `undefined`,
- * 绝不抛。
- *
- * 🔴 **按自有属性读**:一只来自 wire 的对象可以带原型(`Object.create({status:'resuming'})` 上那个
- *    值不是这次回执带来的事实)。
- * 🔴 **不补默认、不折缺席**:读不出 `status` 不等于终局,读不出 `executionOutcome` 不等于 allowed。
- */
 export declare function readDecideReceipt(result: unknown): DecideReceiptView | undefined;
-/**
- * 0.74.3 CC-73(cli L-56 ①):`/decide` 200 **终局形**是不是 reopen 类失败 —— 三件合取,与 {@link resumeReopenFromError}
- * **同一只**判官(码 ∈ `RESUME_REOPEN_CODES` ∧ `retriable === true`),外加终局形自己的 `status === 'failed'`。
- * 任一件缺 ⇒ `null`:受理形带同码不算(它不是终局)、`retriable` 缺席 / false 不算(凭码不说「卡仍 pending」)。
- * 读数在场 ⇒ 卡仍 pending、决定没被消费、可再决;文案走 `resumeReopenContent(detail)`。
- */
 export declare function decideReceiptReopen(receipt: DecideReceiptView | undefined): ResumeReopenDetail | null;
-/**
- * 🔴 **这次 decide 的 200 有没有把门解决掉** —— 唯一的诚实答案是「**说不出来**」。
- *
- * 本谓词**刻意不存在**的那个反面(`isDecideResolved`)是 B-070 的病根:不存在任何一位能从 200 体上
- * 读出「门已解决」。所以本包给的是这一个**方向相反**的谓词:它答的是「这个 200 **明说**了续跑还没
- * 做完吗」。
- *   · `true`  —— 受理形/parked 回执(`status:"resuming"`):引擎**明说**它只是受理了;
- *   · `false` —— 别的形:**不代表已解决**,只代表「这个回体没有明说自己是受理形」。
- * ⇒ 两边都不是「解决了」的证据。解决的证据只有一处:**流上的下一条 running 臂 / 新 run 的事件**。
- */
 export declare function decideAcceptedNotResolved(receipt: DecideReceiptView | undefined): boolean;
-/** {@link decideRefusalFromError} 的结构化读数。 */
 export interface DecideRefusalDetail {
-    /** 命中的那一个码({@link DECIDE_WORKFLOW_LANE_CODES} 的成员之一)。 */
     code: string;
-    /**
-     * 拒体上的 `runId`(sdk README §9.0.0:`DecideWorkflowHostError` 带 `.runId` —— **恢复句柄**)。
-     * 🔴 **它不是 `taskId`**:那一节逐字「此前 `DecideError` 的顶注写着『every decide.* body carries
-     *    `taskId`』——那句话自 7.69.0 起不再成立(workflow 车道的拒体没有 `taskId`,铸一个是假话)」。
-     *    ⇒ 读不出就缺席,**绝不**拿手上的 taskId 顶上去。
-     * 🔴 「两个句柄位**各自只在自己那条车道上在场**,按 `.errorCode` 分,不要互相回落」(同节逐字)。
-     */
     runId?: string;
-    /** 这一句人话(**唯一铸点**;三端共用,端零自拼)。 */
     detail: string;
-    /**
-     * **同一个决定再发一次有没有用**。
-     * 🔴 两个码上的取值各有出处(见 `engineErrorCodes.ts` 的逐码顶注),**不是**按严重程度排的:
-     *    `host_unknown` = `false`(无重试价值);`remember_unsupported` = `true`(去掉 `remember` 重发)。
-     *    0.71.0 CC-20:曾有第三码(宿主没停在 park 上,可重发)已随 server 7.72.0 退役,那条车道改铸新 run 不再拒。
-     * ⚠️ `true` **不带窗**:server 在这两个码上**从不**铸 `retryAfterSec`(它只在
-     *    `RESUME_RETRY_LATER_CODES` 那两码上铸)⇒ 端**不许**据此渲一个编出来的倒计时。
-     */
     resendable: boolean;
 }
-/**
- * 一个 decide 失败抛出物 → {@link DecideRefusalDetail};不是这两个码之一 ⇒ `null`。
- *
- * 🔴 **判型是闭集的,消费面是开集的**(与 `resumeRefusalFromError` 逐字同律):不认识的码一律
- *    `null` ⇒ 端一个字都不补 ⇒ 机器可读那一行(`API Error: <status> <errorCode> · <msg>`)原样上屏。
- *    **绝不按 `decide.` 前缀猜一族码的语义** —— 那个前缀下同时住着「没救」「等时序」「改参数」
- *    三种处置,还住着 `approval_binding_mismatch` 这类**安全信号**(它有自己的 fail-closed 处置,
- *    被这里顺手认领会把一条安全停说成一次可重发的时序问题)。
- */
 export declare function decideRefusalFromError(e: unknown): DecideRefusalDetail | null;

package/dist/decideReceipt.js

@@ -1,53 +1,10 @@
-/**
- * src/decideReceipt.ts — `/decide` **答了什么**:200 回执的读面 + 三条 workflow 车道拒绝码的
- * 人话铸点(B-070 / L-200,0.65.0;sdk README §9.0.0,server ≥7.69.0)。
- *
- * ── 🔴 这一件修的是什么:**200 ≠ 门已解决** ─────────────────────────────────────────────────
- * sdk README §9.0.0 逐字:「workflow 车道的 200 只是**投递受理** —— 子代的 checkpoint 仍 pending,
- * `/v1/approvals` 上那张卡**可能还在**。据 200 立刻把卡从 UI 抹掉,用户会看到一张『批过了却还在』
- * 的幽灵卡,或者反过来:卡消失了而决定其实在宿主被打断时丢了。」
- * core `runner/contracts.d.ts:1492` 同向:那一步 **launches the run that re-invokes** —— 它启动的是
- * 另一条 run,不是「这件事已经做完了」。
- * ⇒ 本包对 decide 成功的处置因此换了**判据锚**([anchor-on-the-deciding-quantity]):
- *   真正决定「门解没解决」的量是**流上的下一条 running 臂 / 新 run 的事件**,不是那个 200。
- *   `hitlBridge.decideRaw` 不再在 200 上清 `active`(见该处注释),`parkResolver` 的重挂腿改按
- *   {@link DecideReceiptView.handoffTaskId} 换挂。
- *
- * ── `/decide` 200 的**四种形**(sdk `ApprovalDecisionResult` 顶注逐字)─────────────────────────
- *   · **受理形**(≥7.37 durable 部署默认)`{taskId, sessionId, status:"resuming", bindingEnforced:true}`
- *   · **终局形**(无 durable run 行 / `verify:true` 的同步长调用)`{taskId?, sessionId, status, errorCode?, …}`
- *   · **parked 回执** `{taskId, status:"resuming", decision}`
- *   · **幂等回放形**(#368)`{sessionId, idempotent:true, decision, bindingEnforced:true, executionOutcome?}`
- * 🔴 **没有任何键四形都保证** —— 所以本读器对每一位都做诚实缺席,**绝不**靠某一位在不在场去推断
- *    另一件事。
- *
- * ── 🔴 `executionOutcome`:缺席 = 未知,**禁读成 allowed** ───────────────────────────────────
- * sdk `types.d.ts:3809-3813` 逐字:它**只在幂等回放形上**,说的是「那个已决动作**最后被怎么处置**」;
- * 「`decision` 说的是『人批了没有』,这一格说的是『执行时被放行还是被部署复核在 post-CAS 否掉』,
- * 两者**可以相反**」;「🔴 **缺席 = 未知**(判词还没落上 / 记录读不懂 / 命中行之间分歧),**禁读成
- * allowed**」。core `checkpoint-store.d.ts:1785` 同句:「the execution outcome is not known, never
- * 'it was allowed'」。
- * ⇒ 本读器把它读成 `GateOutcomeView | undefined`,**走的是 `gateOutcome.ts` 那一只读器**
- *   (把它包回 `{gate: …}` 的形喂进去)——不在这里另写一份门记录读法,否则两处判据必然分叉。
- *   消费端渲卡时:**在场**才说「执行时被放行/被否」,缺席一个字都不说。
- */
 import { gateOutcomeOf } from './gateOutcome.js';
 import { resumeReopenFromError } from './resumeRefusalCopy.js';
 import { DECIDE_WORKFLOW_HOST_UNKNOWN, DECIDE_WORKFLOW_LANE_CODES, DECIDE_WORKFLOW_REMEMBER_UNSUPPORTED, } from './engineErrorCodes.js';
-/** 受理形/parked 回执上那个**唯一**表示「受理了、还没做完」的状态词(sdk README §9.0.0 逐字)。 */
 const STATUS_RESUMING = 'resuming';
-/** 非空串窄读(与本包其余读面同一条:空串 = 没这一格)。 */
 function str(v) {
     return typeof v === 'string' && v.length > 0 ? v : undefined;
 }
-/**
- * `/decide` 的 200 体 → {@link DecideReceiptView};不是一只对象 / 一位都读不出 ⇒ `undefined`,
- * 绝不抛。
- *
- * 🔴 **按自有属性读**:一只来自 wire 的对象可以带原型(`Object.create({status:'resuming'})` 上那个
- *    值不是这次回执带来的事实)。
- * 🔴 **不补默认、不折缺席**:读不出 `status` 不等于终局,读不出 `executionOutcome` 不等于 allowed。
- */
 export function readDecideReceipt(result) {
     if (typeof result !== 'object' || result === null || Array.isArray(result))
         return undefined;
@@ -56,11 +13,7 @@ export function readDecideReceipt(result) {
     const taskId = Object.hasOwn(r, 'taskId') ? str(r.taskId) : undefined;
     const sessionId = Object.hasOwn(r, 'sessionId') ? str(r.sessionId) : undefined;
     const idempotent = Object.hasOwn(r, 'idempotent') && r.idempotent === true ? true : undefined;
-    // 🔴 换挂句柄的判据是**两件合取**:引擎说了「受理了、在续跑」**并且**给了一个非空 run id。
-    //    少了前半句,一个终局形的 `taskId`(= 原来那条 run)会被当成「换挂到新 run」;
-    //    少了后半句,`status:"resuming"` 但没给 id 时会铸一个空句柄。
     const handoffTaskId = status === STATUS_RESUMING && taskId !== undefined ? taskId : undefined;
-    // 🔴 走 `gateOutcome.ts` 的**同一只**读器(包回它认的载体名);不在这里另写一份门记录读法。
     const executionOutcome = Object.hasOwn(r, 'executionOutcome')
         ? gateOutcomeOf({ gate: r.executionOutcome })
         : undefined;
@@ -86,57 +39,23 @@ export function readDecideReceipt(result) {
         ...(retriable !== undefined ? { retriable } : {}),
     };
 }
-/** 200 终局形上「这是不是 reopen 类失败」的判据词(契约:reopen 类失败仍 `suspended` 且锁在手,200 体 `status:"failed"`)。 */
 const STATUS_FAILED = 'failed';
-/**
- * 0.74.3 CC-73(cli L-56 ①):`/decide` 200 **终局形**是不是 reopen 类失败 —— 三件合取,与 {@link resumeReopenFromError}
- * **同一只**判官(码 ∈ `RESUME_REOPEN_CODES` ∧ `retriable === true`),外加终局形自己的 `status === 'failed'`。
- * 任一件缺 ⇒ `null`:受理形带同码不算(它不是终局)、`retriable` 缺席 / false 不算(凭码不说「卡仍 pending」)。
- * 读数在场 ⇒ 卡仍 pending、决定没被消费、可再决;文案走 `resumeReopenContent(detail)`。
- */
 export function decideReceiptReopen(receipt) {
     if (receipt === undefined || receipt.status !== STATUS_FAILED)
         return null;
     return resumeReopenFromError(receipt);
 }
-/**
- * 🔴 **这次 decide 的 200 有没有把门解决掉** —— 唯一的诚实答案是「**说不出来**」。
- *
- * 本谓词**刻意不存在**的那个反面(`isDecideResolved`)是 B-070 的病根:不存在任何一位能从 200 体上
- * 读出「门已解决」。所以本包给的是这一个**方向相反**的谓词:它答的是「这个 200 **明说**了续跑还没
- * 做完吗」。
- *   · `true`  —— 受理形/parked 回执(`status:"resuming"`):引擎**明说**它只是受理了;
- *   · `false` —— 别的形:**不代表已解决**,只代表「这个回体没有明说自己是受理形」。
- * ⇒ 两边都不是「解决了」的证据。解决的证据只有一处:**流上的下一条 running 臂 / 新 run 的事件**。
- */
 export function decideAcceptedNotResolved(receipt) {
     return receipt?.status === STATUS_RESUMING;
 }
-/**
- * `/decide` workflow 车道**拒绝码 → 一句人话**的表(三句刻意逐字互异 —— 三条不同的下一步:
- * 没救 / 等宿主再 park / 去掉一个参数重发)。
- *
- * 🔴 **不复述 server 的 message**(与 `resumeRefusalCopy` 同律):那一行已经在屏上了,本表只补
- *    message 里没有的那件事 —— 「我现在该做什么」。
- */
 const DECIDE_REFUSAL_SENTENCES = Object.freeze({
     [DECIDE_WORKFLOW_HOST_UNKNOWN]: 'no session is attached to this run to receive the decision, so re-sending the same decision cannot help; the approval is still pending and can be decided again once the run is reachable',
     [DECIDE_WORKFLOW_REMEMBER_UNSUPPORTED]: 'this run cannot remember the decision for the session; re-send the same decision without the remember option — nothing was consumed by this refusal',
 });
-/** 按码给出的 `resendable`(单铸;理由逐码写在 `engineErrorCodes.ts` 的顶注里)。 */
 const DECIDE_RESENDABLE = Object.freeze({
     [DECIDE_WORKFLOW_HOST_UNKNOWN]: false,
     [DECIDE_WORKFLOW_REMEMBER_UNSUPPORTED]: true,
 });
-/**
- * 一个 decide 失败抛出物 → {@link DecideRefusalDetail};不是这两个码之一 ⇒ `null`。
- *
- * 🔴 **判型是闭集的,消费面是开集的**(与 `resumeRefusalFromError` 逐字同律):不认识的码一律
- *    `null` ⇒ 端一个字都不补 ⇒ 机器可读那一行(`API Error: <status> <errorCode> · <msg>`)原样上屏。
- *    **绝不按 `decide.` 前缀猜一族码的语义** —— 那个前缀下同时住着「没救」「等时序」「改参数」
- *    三种处置,还住着 `approval_binding_mismatch` 这类**安全信号**(它有自己的 fail-closed 处置,
- *    被这里顺手认领会把一条安全停说成一次可重发的时序问题)。
- */
 export function decideRefusalFromError(e) {
     const code = typeof e?.errorCode === 'string'
         ? (e.errorCode)
@@ -145,9 +64,6 @@ export function decideRefusalFromError(e) {
         return null;
     const rawRunId = e.runId;
     const runId = typeof rawRunId === 'string' && rawRunId.length > 0 ? rawRunId : undefined;
-    // 🔴 按自有属性查表(冻结不移除原型):一个来自 wire 的 `constructor` 会命中 `Object.prototype`
-    //    上的**函数**并被当成一句话。命中闭集之后表里必然有句子 —— 读不出仍给一句诚实兜底,
-    //    绝不返回 `undefined` 让端去拼。
     const detail = Object.hasOwn(DECIDE_REFUSAL_SENTENCES, code)
         ? DECIDE_REFUSAL_SENTENCES[code]
         : undefined;