@sema-agent/client-core 0.77.1 → 0.77.2

package/dist/hitl/persistedRulesWire.d.ts

@@ -1,49 +1,4 @@
-/**
- * hitl/persistedRulesWire.ts — 持久权限规则(design/179 / design/203)车道的**通用判定半场**
- * (A-028.14 上收件,#244 F2,2026-08-14;源形 = cli `src/sema/persistedRulesWire.ts` 的
- * 纯判定/wire 面;CC settings 三层 fs 读、facade 装配(SDK 短命 client)、通知呈现全部留宿主)。
- *
- * ── 病(census top-08 #1 分脑实证)───────────────────────────────────────────────────────────
- * 包 `hitl/toolApprovalWire.ts` 的 `readToolApprovalRespondAck` 已把 `rulePersisted` /
- * `ruleRefusal` 归一进 `ToolApprovalRespondAck`(delivery/decision 闭集门之后),而 cli 对同两键
- * **另持一份裸读**(入参 `unknown`,无上述两道门)—— 同两键两处读法在跑 = 双份台账,server 增键
- * /改形时两处各漂各的。web 消费同一帧族([3536] 记账)时还会长出第三份。
- * 收口:persist-ack 读口({@link readRulePersistOutcome})与 `readToolApprovalRespondAck`
- * **合成一处** —— 三态判决只从**已过包内结构窄化**的 ack 上导出,不再对 wire 原料二次开读。
- *
- * ── 🔴 能力位 gate,不 trial-by-501 ──────────────────────────────────────────────────────────
- * SDK `resources/rules.d.ts` 头注逐字:`capabilities.permissionRules` 与这台 server **所有**规则口
- * 的 501 是同一条谓词(`PERMISSION_RULES_ENABLED ∧ 规则店 wired`),**按它 gate**,别按版本号猜、
- * 也别拿 501 当探针。撤销面两口(GET/DELETE /v1/rules)自 server 7.12.0 才有路由,而
- * `permissionRules` 比撤销面**早出生** ⇒ 一台 7.11.0 worker 会报 `permissionRules:true` 而这两口
- * 404 `not_found.route`。所以撤销面**另按 `capabilities.permissionRulesRevoke`**:
- *   · 在场 ⇒ 路由已铸(答不答仍看 `permissionRules`);
- *   · 缺席 ⇒ 这台 worker 比撤销面老 ⇒ **藏起治理入口**(不渲死按钮)。
- * 读法用包内同步口 `engineCapTrue`(engineCapsCache;未判/缺键 = false = 藏,version-safe)。
- * baseUrl 由宿主显式传入(cli 的 `SEMA_LIVE_BASEURL` 缺省读法留壳 —— env 是宿主资产)。
- *
- * ── 🔴 404 禁按成因分支 ──────────────────────────────────────────────────────────────────────
- * redeem 的 404 `not_found.rule_ticket` 是同形信封(伪造/别人的/过期/已用过 + 记录/载荷/确认失败
- * 七类共用一格,wire 上分不出来是设计)。唯一可分的是 503 `state.rule_import_retry`:那一支意味着
- * **票还在**,原样重试即可(与「这张票没了」是相反的处置)。
- *
- * ── 🔴 三态规则身份:`behavior` 必填且不给默认(server ≥7.67.0 / sdk 8.8.0 BREAKING)──────────
- * 规则车道此前只有 allow,撤销体按 `(rule, scope)` 两元组寻址就够了。7.67.0 起 deny/ask 也进同一个
- * 店 —— **同一段文本的 `deny` 与 `allow` 是两条不同的行**。一次瞄准 `allow` 的撤销若被默认成同文本
- * 的 `deny`,删掉的是一条本该留着的**拒绝**规则,而调用方收到的是一个 200(引擎侧
- * `sameRuleIdentity` 顶注逐字写着这一形)。⇒ 本模块两条纪律:
- *   · 读:{@link persistedRuleBehaviorOf} 读不出这一格就答 `undefined`,**绝不补 allow 默认**;
- *     列举半场**照样把那一行交出去**(丢行 = 把一条活规则从治理清单里藏起来,正是
- *     {@link listAllPersistedRules} 拒绝做的事),呈现走 {@link persistedRuleBehaviorLabel}；
- *   · 写:{@link revokeTargetFromPersistedRule} 读不出这一格就**拒铸撤销体** —— 猜一态的代价是
- *     不可逆地删掉另一态的行,而拒铸的代价只是治理面上少一个按钮。
- *
- * ── UNTRUSTED ───────────────────────────────────────────────────────────────────────────────
- * 规则文本与 `skipped[].reason` 都是引擎/用户 settings 侧的内容,只渲染绝不当代码用;`reason` 是
- * **给人看的散文不是机读码**(SDK 头注),分类只许按第一个 `:` 前缀,并且要容得下**没有前缀**的形。
- */
 import type { CcImportLayer, CcImportPrepareResult, CcImportRedeemResult, PersistedRule, RuleBehavior, RuleListParams, RuleListResult, RuleRevokeRequest, RuleRevokeResult } from '@sema-agent/sdk';
-/** 规则车道消费的 `client.rules` 切片(注入缝:宿主给真 SDK facade,测试给假件)。 */
 export interface RulesFacade {
     list(params?: RuleListParams, opts?: {
         signal?: AbortSignal;
@@ -51,18 +6,6 @@ export interface RulesFacade {
     revoke(input: RuleRevokeRequest, opts?: {
         signal?: AbortSignal;
     }): Promise<RuleRevokeResult>;
-    /**
-     * 收紧方向的**单步写**口(`POST /v1/rules`,engine ≥7.91.0)——**可选口**。
-     *
-     * 🔴 **为什么是可选的,而不是必填**:本包今天装的 SDK 型面上**还没有**这个动词(它的 `rules` 资源
-     * 只有导入两口 + 列举 + 撤销),所以宿主从真 client 装配 facade 时**拼不出**这一格。做成必填 =
-     * 三端当天全部编译不过,而它们一行新代码都没写错。⇒ 口可缺席,而**缺席是一句有内容的话**:
-     * {@link writePersistedRule} 据此答 `refused` / `client_too_old`(这次调用连发都没发出去,
-     * 所以「什么都没写」是**确知**的,不是「不知道」)。
-     * ⚠️ 这一格的型也因此**由本包按上游的结构声明**({@link PersistedRuleWriteRequest} /
-     * {@link PersistedRuleWriteWireResult}),而不是从 SDK 取型 —— SDK 地板抬到带这个动词的那一版时,
-     * 这两只型改为取自 SDK、本口转必填、`client_too_old` 一格退役(见接入文档的包侧缺口段)。
-     */
     write?(input: PersistedRuleWriteRequest, opts?: {
         signal?: AbortSignal;
     }): Promise<PersistedRuleWriteWireResult>;
@@ -73,154 +16,52 @@ export interface RulesFacade {
         signal?: AbortSignal;
     }): Promise<CcImportRedeemResult>;
 }
-/** 规则车道在不在(四口 501 同源谓词)。未判/缺键/base 缺席 = false = 整面藏。 */
 export declare function persistedRulesLaneAvailable(baseUrl: string | undefined): boolean;
-/**
- * 治理面(list + revoke)在不在。**两段合取**:
- *  · `permissionRulesRevoke` 在场 = 撤销面路由已铸(缺席 = worker 比撤销面老 ⇒ 藏);
- *  · `permissionRules` 为真 = 车道真答话(店 + 旋钮)。
- * 只查前者会在「7.11.0 且规则店在」的 worker 上渲出一个恒 404 的治理入口。
- */
 export declare function persistedRulesGovernanceAvailable(baseUrl: string | undefined): boolean;
-/**
- * 收紧方向的单步写入口(把某条规则改成 deny/ask)对**这次调用**在不在。
- *
- * 🔴 只派生自 `capabilities.permissionRulesWrite` 自己的四态读数(`permissionRulesWriteAvailable`),
- * **不合取** `permissionRules`、也**不**再读一遍 `engineCapTrue`——那是撤销面(`persistedRulesGovernanceAvailable`)
- * 的读法,上游明说两位的读法别混:撤销面那一位是与调用方身份无关的部署级存在性信号,必须合取车道位
- * 才是完整判据;写口这一位的值本身**已经**编码了「车道在不在 ∧ 这次调用带不带得到身份」两件事,
- * 再合取一次等于给同一件事立第二个判官——车道开着但写口所在的引擎还没起播,或反过来,合取会把
- * 其中一种真实的过渡态错判。
- * 读的也是**同一份**能力位状态(该四态读器自己的 per-baseUrl 表),不是另开一张表。
- *
- * 🔴 **显式 `undefined` 不许回落装好的默认读锚**(异源对抗复审 [medium] 采纳,真病):
- * `observedPermissionRulesWrite(baseUrl = engineWireTarget()?.baseUrl)` 的默认参数只在参数
- * **省略**时生效,而调用方显式传 `undefined` 与省略在 JS 里同判——原样转发会让「这次没有 baseUrl」
- * 被悄悄换成**装好的默认引擎**那一份读数,与上面两口(`engineCapTrue` 对 `undefined` 恒 `unprobed`
- * ⇒ false,零默认读锚回落)不同律;多引擎宿主上会把「这个会话没配 baseUrl」误读成「随便一个已装
- * 引擎的答案」。传空串绕开默认参数(reader 对空串的处置是 `unobserved`,与 `undefined` 的意图一致
- * 但不触发默认值语义)。
- */
 export declare function persistedRulesWriteAvailable(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 也不该是承重判据。
- */
-export type RulesFailure = 
-/** 501 `capability.rule_store_required` —— 这台部署没接规则店/旋钮关着 ⇒ 整面藏起来。 */
-{
+export type RulesFailure = {
     kind: 'lane-unavailable';
     message: string;
-}
-/** 404 `not_found.route` —— worker 比撤销面老(≤7.11.0)⇒ 治理入口藏起来。 */
- | {
+} | {
     kind: 'route-missing';
     message: string;
-}
-/** 404 `not_found.rule_ticket` —— 这张票在这里不可用,**禁按成因分支**:丢票,重来一遍。 */
- | {
+} | {
     kind: 'ticket-dead';
     message: string;
-}
-/** 503 `state.rule_import_retry` —— **票还在**,原样重试(与 ticket-dead 相反的处置)。 */
- | {
+} | {
     kind: 'retry-same-ticket';
     message: string;
     retryAfterSec?: number;
-}
-/** 503 `state.rule_remove_failed` —— 什么都没写,或结局不定;自己重试后用 list 对账。 */
- | {
+} | {
     kind: 'retryable';
     message: string;
-}
-/** 400 `request.query_invalid` —— 游标铸在别的 rev/principal/scope 上 ⇒ 丢游标从头列。 */
- | {
+} | {
     kind: 'cursor-stale';
     message: string;
-}
-/** 413 —— 候选总数超上限(200):缩短后重发,重试同一份没有意义。 */
- | {
+} | {
     kind: 'too-many-candidates';
     message: string;
-}
-/** 403 `auth.operator_only` —— 越权读/撤销/写(替别人)被拒。 */
- | {
+} | {
     kind: 'forbidden';
     message: string;
-}
-/**
- * 400 `request.body_shape` —— **体读不出形**(身份三键缺/坏,或 `scope` 不是 `global` /
- * `project:<非空 root>`)。🆕 0.77.0 从通用 `error` 里分出来:同一份体重发永远同一个结果 ⇒ 处置是
- * **改请求**,不是重试、也不是「服务端出问题了」。引擎对这一码在写与撤两条腿上同句同码,所以它
- * 在本表里也只占一格。
- * ⚠️ **成文改口**:0.76.x 及以前这一码落 `error`;按 `kind === 'error'` 认「一般错误」的消费端要把
- * 这一格挪到自己的「请求有问题」分支(渲染面可不变——本臂同样带 `message`)。
- */
- | {
+} | {
     kind: 'body-shape';
     message: string;
-}
-/**
- * 400 `request.field_invalid` —— **某个字段的值被拒**(单步写口专有)。两类成因共用这一码:
- * 方向(写口只收 deny/ask)与车道的逐行判据(规则文本非规范拼写 / scope 的字节 / 行不自洽)。
- * 🔴 **两类在这条面上分不出来**:引擎把机读的 `reason` 与人读的 `detail` 放在响应体里,而本包消费的
- * 错误型面只保留 `status` / `errorCode` / `message` 三格 ⇒ 那两格**停在 wire 上**。所以本臂只说
- * 「这条写没落地,是字段值被拒」,**不猜**是哪一格、更不猜该改成什么(猜一个规范拼法再试,等于
- * 替引擎的解析器发明一份第二真源)。
- */
- | {
+} | {
     kind: 'field-refused';
     message: string;
-}
-/**
- * 405 **且码是引擎自己的裸 `method_not_allowed`** —— **这条路径在,这个动词不在**:这台 worker 比这条
- * 动词老(路径上只路由了它认得的那几个)。
- * ⚠️ 别读成「这台不支持规则面」(那看车道能力位),也别读成「路径不存在」(那是 404 `not_found.route`)。
- * 🔴 **要码在场才给这个结论**(异源复审 R2 [medium],真病):引擎那一支发的是没有前缀族的裸码,
- *    而「裸码」与「**没有**码」在这条面上长得很像 —— 一个中间层/网关拦下 POST 时回的常是 HTML 或空体
- *    (读不出任何码)。把无码 405 也判成这一格,等于凭一个谁都能发的状态码断言**对端的版本**,
- *    而它导出的动作(藏起入口 / 要求升级 worker)恰恰是错的。无码那一支走 {@link RulesFailure}
- *    的 `method-refused`。
- */
- | {
+} | {
     kind: 'method-unsupported';
     message: string;
-}
-/**
- * 405 **而码给不出出处**(缺席 / 空串 / 不是引擎那个裸码)—— 看见的是「这个动词被拒了」,而**谁拒的、
- * 拒在哪一段不知道**:引擎那一侧的 405 发在路由分派期,但一个中间层 / 网关也能发同一个状态码,而它
- * **可能已经把请求转给引擎**、事后才按自己的策略回 405。
- * 处置两条:① 在有副作用的动词上当作「**结局说不清**」,去对账,别宣布「没做」(异源复审 R3 [medium]);
- * ② **别**据此要求升级 worker、也别据此藏掉入口 —— 那两个动作要的是能力位或版本证据,不是一个谁都能发
- * 的状态码。要说「这台 worker 比这个动词老」,只有 `method-unsupported`(引擎自己的裸码)才有资格。
- */
- | {
+} | {
     kind: 'method-refused';
     message: string;
-}
-/**
- * 503 `state.rule_write_failed` —— 单步写的**结局不定**:店抖动 / 兑付面没交回可判的终局 / 写确实
- * 落了而回读它时一条并发撤销已先到,三者在这条口上**不可分辨**。
- * 🔴 与 {@link RulesFailure} 里其余任何一臂的分别是承重的:它**既不是**「没写」也**不是**「写了」。
- * 宣布没写会让人以为可以重来,宣布写了会谎报一次可能已被撤掉的收紧。处置 = 重试,然后用
- * {@link listAllPersistedRules} 对账。
- */
- | {
+} | {
     kind: 'write-indeterminate';
     message: string;
 } | {
@@ -228,58 +69,13 @@ export type RulesFailure =
     message: string;
 };
 export declare function classifyRulesFailure(e: unknown): RulesFailure;
-/**
- * 一条持久规则是哪一态 —— sdk `RuleBehavior` 的**运行期镜像**(引擎侧同一张闭三词表)。
- * `allow` = 一次人工批准的常驻形(卡上点的「不再询问」);`deny` / `ask` = 「永不运行」与
- * 「每次都问我」的常驻形。**一套文法、一种规范拼法、一族匹配器**服务三态,态是**文本旁边的
- * 一格**,永远不是文本的一部分。
- * 🔴 门 `run-rules-side-test.mjs` G9a 对 sdk 的联合成员**逐词等值**对账(缺一词红、多一词红)。
-
- * 🔴 形制:`Object.freeze` 的数组,**不是**只在类型面只读的 `readonly T[]` —— 后者一行 `.splice()`
- *    就能改,而公面消费者拿到的正是这个实例(本仓已定谳的病形,同 `RESUME_RETRY_LATER_CODES`)。
- */
 export declare const PERSISTED_RULE_BEHAVIORS: readonly RuleBehavior[];
-/**
- * 这一行是哪一态。**闭三词**之外(含整键缺席的老 worker 行)一律 `undefined`。
- *
- * 🔴 **绝不补默认**:缺席是「这台 worker 说不出来」,不是 `allow`。补一个默认会让呈现面
- *    对一条 deny 行说 allow,而撤销面据此瞄准另一态。
- * 🔴 这里**按闭集读**(与本包其余开集读口刻意不同):这一格是**身份**的一格,不是一个展示词——
- *    读不懂的身份必须判「读不出」,而不是原样当成一个能拿去撤销的态。呈现层要原样渲那个词,
- *    走 {@link persistedRuleBehaviorLabel}(它是开集的)。
- */
 export declare function persistedRuleBehaviorOf(rule: unknown): RuleBehavior | undefined;
-/** 读不出态时呈现面渲的那个词。**逐字锚**(三端共用一句;端零自拼)。 */
 export declare const PERSISTED_RULE_BEHAVIOR_UNKNOWN = "(unknown)";
-/**
- * 治理行上「态」那一列的**唯一措辞铸点**。
- * 🔴 三态渲词本身;**表外词原样渲**(开集 —— 引擎加词那天治理面照样看得见那个词,不至于把一条
- *    真实的行渲成「读不出」);**整键缺席/坏形**才渲 {@link PERSISTED_RULE_BEHAVIOR_UNKNOWN} ——
- *    它不冒充三态里的任何一个,读到它的人知道下一步是升级那台 worker。
- */
 export declare function persistedRuleBehaviorLabel(rule: unknown): string;
-/**
- * 一条列举行 → 撤销体(`rules.revoke()` 的入参)。**按内容寻址**,这条面上下没有任何 id。
- *
- * 🔴 **身份三元组逐字回传**(`behavior` / `rule` / `scope`):拼法等价但不逐字相同的 scope 什么都
- *    匹配不上,而且会得到一个笑呵呵的 `no-op`;所以原样送回引擎给的那串字节,别拿解析后的形重铸。
- * 🔴 **只带身份三键 + 可选 `principal`**:`source` / `status` 是**派生键**,回传它们会被拒。
- * 🔴 **`behavior` 读不出 ⇒ 拒铸(返回 `undefined`)**,这正是本次 BREAKING 的全部理由:猜一态的
- *    代价是不可逆地删掉另一态的行且调用方收到 200;拒铸的代价只是治理面少一个按钮。调用方据此
- *    藏掉撤销入口(并可用 {@link persistedRuleBehaviorLabel} 告诉用户为什么)。
- * 🔴 `rule` / `scope` 任一读不出也拒铸:按 `undefined` 撤销什么都对不上。
- * 🔴 **显式给了一个无效 `principal` ≠ 没给**(异源对抗复审 [high]):`principal` **缺席**明确表示
- *    「撤**我自己的**」。若把一个显式传进来的空串/非串静默降级成缺席,一次瞄准**别人**的 operator
- *    撤销就会转向**调用者自己**的规则桶,并且拿到一个 200 —— 而目标值算空在治理面上是常见形
- *    (表单空字段、一次没查到的用户名)。⇒ 键**在场但值不合法**时**拒铸整只**,与 `behavior`
- *    读不出同一条处置。`opts` 整只不给、或给了但不含这个键,才是「缺席 = 撤我自己的」那个合法意图。
- * ⚠️ 合法值**原样送出不 trim**:principal 的规范形归引擎,壳替它 trim 会让两端对「同一个人」的
- *    拼法各有一份判据。
- */
 export declare function revokeTargetFromPersistedRule(rule: unknown, opts?: {
     principal?: string;
 }): RuleRevokeRequest | undefined;
-/** 一次「列全」的结果。`rules` 恒是**完整**清单(翻不完 ⇒ 走 failure,绝不交半份清单)。 */
 export type ListAllPersistedRulesOutcome = {
     ok: true;
     rules: PersistedRule[];
@@ -288,123 +84,27 @@ export type ListAllPersistedRulesOutcome = {
     ok: false;
     failure: RulesFailure;
 };
-/**
- * 列全一位 principal 名下活着的规则。
- *
- * 🔴 **翻页要翻完**:`nextCursor` 缺席才是终点 —— 半途停下拿到的是一份不全的清单,而治理视图
- * 恰恰最不能拿不全的清单当全量。所以这里 drain 到底,任何一页失败都不交部分结果。
- * 🔴 **游标绑 `(rev, principal, scope)`**:两页之间有人加/删了规则 ⇒ 第二页 400
- * `request.query_invalid`。处置 = **丢游标从头列一次**(静默重置成「接着上一页」会得到一份既漏行
- * 又重行的清单);从头再撞一次 ⇒ 如实报 cursor-stale,由调用方(人按 r 刷新)决定。
- * 🔴 **调用方 cursor 不收**(复审 F2 对抗复审 [medium]):类型上剔掉 `cursor` 还不够 —— JS
- * 调用方仍能塞进来,而首页的 `...params` 会把它原样送出 ⇒ 「列全」从**中途**开始却报 `ok:true`
- * 完整清单(治理面据此藏掉仍然生效的规则)。运行期显式剥除 + 留痕:drain 恒从第一页起,
- * 「接着别人的 keyset」证明不了完整性,与本函数的契约(rules 恒完整)结构性冲突。
- */
 export declare function listAllPersistedRules(facade: RulesFacade, params?: Omit<RuleListParams, 'cursor'>, opts?: {
     signal?: AbortSignal;
 }): Promise<ListAllPersistedRulesOutcome>;
-/**
- * 单步写口**不收**的那一态 —— 放宽方向的单一铸点。
- *
- * 🔴 `satisfies RuleBehavior` 不是装饰:它把这个字面量钉在**引擎的态词表**上。哪天词表里没有这个词了,
- *    本行当场编译不过 —— 而一个手写的排除词在那天会安静地排除一个不存在的东西。
- */
 declare const DIRECT_WRITE_EXCLUDED_BEHAVIOR = "allow";
-/**
- * 单步写口收得下的**态**,运行期表。**由 {@link PERSISTED_RULE_BEHAVIORS} 减去放宽那一词派生**,
- * 源码里**没有第二个 behavior 字面量数组**(门对这一条有边界钉)。
- *
- * 🔴 **为什么必须是派生而不是一张两词表**:态的词表属主只有一个(引擎)。一张手抄的两词表会在词表
- *    加员的那天变成一句没人复核过的旧话 —— 新词既进不来,也没有任何一道门会响。派生式让这句话跟着
- *    词表走:这里表达的不是「有哪两个词」,而是**「三态里哪些进得了这条口」**。
- * 🔴 **放宽方向在类型上就拼不出来**:常驻放行只有两条路(审批卡上的人点头 / 一次显式的 settings 导入),
- *    这条口**不是**第三条。一个能拼出来的放宽入参会让调用方以为它是。
- * 🔴 形制同兄弟表:`Object.freeze` 的数组,不是只在类型面只读的 `readonly T[]` —— 后者一行 `.splice()`
- *    就能改,而公面消费者拿到的正是这个实例。
- */
 export declare const PERSISTED_RULE_WRITE_BEHAVIORS: readonly Exclude<RuleBehavior, typeof DIRECT_WRITE_EXCLUDED_BEHAVIOR>[];
-/** 单步写口收得下的态(型,**由上面那张表派生**——表与型不会各走各的)。 */
 export type PersistedRuleWriteBehavior = (typeof PERSISTED_RULE_WRITE_BEHAVIORS)[number];
-/**
- * 单步写口的请求体 —— 与撤销体**同一份身份三元组**,差别只有方向那一格收窄成
- * {@link PersistedRuleWriteBehavior}。
- *
- * ⚠️ **型由本包按上游的结构声明**(本包今天装的 SDK 型面上还没有这个动词),所以它是一份**对位形**
- * 而不是取来的型;地板抬到带这个动词的那一版时改为取型、本形退役(见接入文档的包侧缺口段)。
- */
 export interface PersistedRuleWriteRequest {
-    /** 要写的是哪一态。**只收收紧方向**;放宽那一词在类型上拼不出来。 */
     behavior: PersistedRuleWriteBehavior;
-    /**
-     * 规则文本。🔴 **必须已经是引擎的规范拼写**:解析器会归一化多余空白,而店里落的是规范形 ——
-     * 若这条口照收,调用方将**叫不出自己刚写的那条规则的名字**(拿同一份字节去撤,撤不掉一条正在
-     * 生效的规则)。非规范拼写由引擎当场拒(见 {@link PersistedRuleWriteOutcome} 的 `field_refused`)。
-     * 规范形是不动点:列举面的行与本口回包里的 `rule.rule` 都已经是规范形,**原样回传**即可。
-     */
     rule: string;
-    /** 作用域判别式串:`global` 或 `project:<非空 root>`,与撤销体**同一份表示**。 */
     scope: string;
-    /** 越权域:替**别人**写。缺席(或自己的名字)= 写自己的。判据与撤销体逐字相同。 */
     principal?: string;
 }
-/**
- * 单步写口 200 体的**对位形**(同上:本包声明,不是取来的型)。
- *
- * 🔴 `status` 的判别位是**「这次调用有没有往店里写」**,不是「这条规则现在在不在」。
- * 🔴 `rule` 是**从店里读回的那一行**,与列举面的行**逐格相同**(含派生的 `source` / `status`)——
- *    所以「写完把它插进我本地那份清单」不需要任何翻译,撤销体想要的三串也逐字都在这一行里。
- */
 export interface PersistedRuleWriteWireResult {
     status: 'persisted' | 'no-op';
     rev: number;
     rule: PersistedRule;
 }
-/**
- * 写**没落地**的成因闭集。每一词都对着一条真码 / 一条本地判据,**核不到的不铸**。
- *
- * 前四词是**发出去之前**就定局的(本地拒铸,连一次往返都没有);后六词是引擎的答话。
- * 🔴 十词共同的、也是唯一的承诺:**这次调用一个字都没写进店**。所以一个拿不出这句话的证据的成因
- *    **不许**进这张表 —— 哪怕它看上去像一次拒绝(例:一个来源不明的 405,见
- *    {@link PERSISTED_RULE_WRITE_UNKNOWN_REASONS} 的 `unattributed_method_refusal`)。「说不清」不在这张表里,它是
- *    {@link PersistedRuleWriteOutcome} 的另一臂({@link PERSISTED_RULE_WRITE_UNKNOWN_REASONS})。
- */
 export declare const PERSISTED_RULE_WRITE_REFUSAL_CAUSES: readonly ["unwritable_behavior", "unreadable_identity", "unusable_principal", "client_too_old", "field_refused", "body_shape", "operator_only", "store_absent", "lane_too_old", "route_absent"];
-/** {@link PERSISTED_RULE_WRITE_REFUSAL_CAUSES} 的成员型(**由表派生**,不留第二份手抄)。 */
 export type PersistedRuleWriteRefusalCause = (typeof PERSISTED_RULE_WRITE_REFUSAL_CAUSES)[number];
-/**
- * 「**不知道落没落**」的成因闭集。
- *
- * 🔴 这五词与上面那十词**不可互折**:那些说的是「确知没写」,这五词说的是「**读不出结局**」。
- *    把后者渲成前者会让人以为可以干净地重来一遍;渲成 `persisted` 则是谎报一次可能根本没发生的
- *    收紧。四词的处置一律是:重试,然后用 {@link listAllPersistedRules} 对账。
- *
- * 🔴 **「重试」在批准台账上是安全的,而这条安全性在引擎里、不在这里**(异源复审 R2 [high] 提出的
- *    「重放会让台账无界增长」,亲读引擎的写腿验真后**改成文、不改代码**):引擎在落任何东西之前**先问
- *    「这条身份已经站着吗」**,站着就**一个字都不写**并答 `no-op`。所以一次「说不清」之后**顺序**重发
- *    同一份身份三元组,最坏情况是收到 `no_op` —— 批准台账不增长、桶的修订号不推进。
- *    ⚠️ 真正会让同一条逻辑规则带上两枚因果点的是**并发**:两个写者同时看见「不在」而各落一枚,
- *    那是 add-wins 的正解(两枚点、一条规则),两边都会如实收到 `persisted`,没有人被告知「没写」。
- *    ⚠️ 也正因为这道前问在**引擎**那一侧,本包**不**在重试前自己先列举一遍 —— 那会把引擎已经做了的
- *    读再做一次,并且给同一个问题立第二个说话人。「先对账再决定要不要重发」是调用方的策略自由,
- *    不是本口的前置条件。
- */
 export declare const PERSISTED_RULE_WRITE_UNKNOWN_REASONS: readonly ["indeterminate", "malformed_result", "identity_mismatch", "unattributed_method_refusal", "unclassified"];
-/** {@link PERSISTED_RULE_WRITE_UNKNOWN_REASONS} 的成员型(**由表派生**,不留第二份手抄)。 */
 export type PersistedRuleWriteUnknownReason = (typeof PERSISTED_RULE_WRITE_UNKNOWN_REASONS)[number];
-/**
- * 单步写一条收紧规则的**结局**(判别联合)。
- *
- * 🔴 **`persisted` 说的是「这次调用往店里写了」,不是「一条新规则诞生了」**(上游头注逐字):等价
- *    规则已在店的那一支**仍然铸一枚新 dot** ⇒ 车道如实报 `persisted`。要判**逻辑规则**是不是新的,
- *    看回包那一行的 `adds`(批准台账)—— 别看这一格。本包**不**替调用方做那个判断:它需要「写之前
- *    它在不在」这个本函数手上没有的事实,而编一个出来正是诚实缺席要挡的东西。
- * 🔴 **`no_op` 是一句关于「这次调用」的话**:这条身份此前就站着,本次**一个字都没写** —— `adds`
- *    不增长、桶的 `rev` 不推进(它是列举游标的锚)。所以重试安全,但它**不是**第二次批准。
- *    ⇒ 一次「说不清」之后顺序重发同一份身份,最坏结局就是这一臂:批准台账不会因为重试而增长。
- * 🔴 **`unknown` 与 `persisted` 不共形**:两臂的键集刻意不相交(`why` vs `rev` / `rule`),一个把
- *    「读不出」当成「写上了」的消费端**连拼都拼不出来**。
- */
 export type PersistedRuleWriteOutcome = {
     status: 'persisted';
     rev: number;
@@ -422,42 +122,13 @@ export type PersistedRuleWriteOutcome = {
     why: PersistedRuleWriteUnknownReason;
     message: string;
 };
-/**
- * 单步写一条**收紧**规则(deny/ask)进持久店 —— 撤销面的对偶,无同意仪式往返。
- *
- * 判据次序照引擎那一侧逐条对位,**只多一道在最前面**:
- *  ⓪ **口在不在**(注入的 facade 有没有这个动词)—— 与「按能力位 gate、别 trial-by-501」同一条纪律:
- *     一次连动词都拼不出来的调用不该先去撞引擎的限流桶;
- *  ① 体形(身份三键读得出);② 方向(只收收紧);③ scope 读得出形;④ 越权域那一格。
- * ②③④ 的**本地**判据刻意比引擎宽:本地只判「这串是不是一个 X」,「这个 X 写得进去吗」永远由引擎答
- * (规范拼写、scope 的字节、行自洽都是引擎的判据)—— 壳替它判一遍就是同一件事的第二份真源。
- *
- * 🔴 **本函数不重试**:一次「说不清」被自动重放,重试预算与节奏就成了本包替调用方做的决定;而对账
- *    那一步(用 {@link listAllPersistedRules} 读回来看)只有调用方做得了。
- *    ⚠️ 手工重试**在批准台账上是安全的**(引擎落地前先问「已经站着吗」,站着就一个字都不写)——
- *    逐条理由见 {@link PERSISTED_RULE_WRITE_UNKNOWN_REASONS} 的头注。
- * 🔴 **回包那一行走列举面同一只窄化器**,不给同一份判据立第二个法官;读不出 ⇒ `unknown` /
- *    `malformed_result`,**绝不**当成「写上了」。
- * 🔴 **窄化之后还有一道身份对账**(`identity_mismatch`):回包那一行的身份三元组必须与发出去的那份逐字
- *    相同。这不是同一份判据的第二个法官 —— 窄化器答「读得出来吗」,对账答「是不是我要的那条」,而后者的
- *    材料只有写腿手上有。列举面「态读不出的行照样交出去」的纪律在这里不适用:看得见 ≠ 证明得了。
- * ⚠️ 回包行的 `adds[].origin` **不是**「谁写的这条规则」的判据(引擎今天从审批记录的种类派生出处词,
- *    而本口落店走的是同一条兑付腿)—— 原样透传,不进本包任何一条判据。
- */
 export declare function writePersistedRule(facade: RulesFacade, input: PersistedRuleWriteRequest, opts?: {
     signal?: AbortSignal;
 }): Promise<PersistedRuleWriteOutcome>;
-/**
- * `skipped[].reason` 的分类。**只按第一个 `:` 前缀**,且必须容得下**没有前缀**的两种真值形
- * (整层 JSON 解不开 / 条目不是串)——SDK 头注逐字:reason 是给人看的散文,不是机读码,
- * 全串等值匹配与「裸码」两种读法都会漂。
- * 前缀形判据刻意保守(`RuleRejectCode` 形:小写 + 点/下划线),防把散文里的第一个冒号误读成码。
- */
 export declare function classifySkippedReason(reason: string): {
     code?: string;
     text: string;
 };
-/** 「不再询问到底存上了没」的三态判决(呈现半场按它渲一行,绝不据它翻转裁决)。 */
 export type RulePersistOutcome = {
     state: 'unknown';
 } | {
@@ -466,21 +137,5 @@ export type RulePersistOutcome = {
     state: 'refused';
     reason?: string;
 };
-/**
- * respond 回执上「不再询问到底存上了没」的**结构化读口**。
- *
- * 🔴 **单一台账**(A-028.14 收口本体):`rulePersisted` / `ruleRefusal` 的结构窄化只有
- * {@link readToolApprovalRespondAck} 这一份 —— 本函数不对 wire 原料二次开读,ack 过不了包内
- * 结构门(缺 `delivery:'applied'` / `approvalId` / 三词闭集 `decision`)⇒ **`unknown`**:
- * 一张连回执身份都不成形的 ack,不配驱动一行「已保存」的用户告知(诚实缺席优先)。
- * 收口前 cli 的裸读会把 `{rulePersisted:true}` 这类半形对象读成 `persisted` —— 那正是双份台账
- * 各漂各的形,常驻套对这一格有反向钉。
- *
- * 🔴 `rulePersisted` 缺席 ≠ `false`(未带 persistRule 的回决 / 旧 server ⇒ 字段省略);
- * 🔴 规则没存上**从不翻转裁决** —— 200 + `rulePersisted:false` + `ruleRefusal` 是诚实形,
- * 宿主只说「这次放行了,但『不再询问』没存上」,绝不渲成整次审批失败。
- * 🔴 `rule_lane_unavailable` **四种成因共用一格、两种是本卡局限** ⇒ 禁据一帧判断整台部署的车道
- * 在不在(那要看能力位)。
- */
 export declare function readRulePersistOutcome(ack: unknown): RulePersistOutcome;
 export {};