@sema-agent/server 7.135.0 → 7.137.0

package/dist/identity-source.d.ts

@@ -0,0 +1,65 @@
+/**
+ * **身份来源闭集 + run 行身份元组** —— 叶子模块(零依赖):凭据门(`http/principal-gate.ts`)、run 店契约(`plugins/store-contracts.ts`)、
+ * 三只 run 店、中央建表语句(`plugins/tidb-pool.ts` / `plugins/pg-pool.ts`)与 `/health` 自报位读同一份。
+ *
+ * ## 律(三句;全仓只在这里写一次)
+ * 1. **一张表、一个次序**:{@link IDENTITY_SOURCES} 的序 = 凭据门的判定次序(`verifiedIdentitySource` 答表里第一个验得过的词)= `/health.auth.kinds` 的出现序。
+ *    出示了部署的 service 凭据就是 `service_token` —— 哪怕同一枚 Bearer 也被鉴权桥验成登录令牌、哪怕运维给这枚凭据起的系统名叫 `sso`;
+ *    验不过 service 凭据而鉴权桥挂了身份 ⇒ `sso`;都没有而直连门 principal 令牌验过 ⇒ `direct_door_jwt`。
+ * 2. **一只元组、受理时铸一次**:run 行的身份元组 {@link RunIdentity}(三列 `identity_source` / `identity_scope` / `identity_principal_inc`)在凭据门上随来源
+ *    一起定下(`principal-gate.ts` 的 `admitRunIdentity`,唯一调用点是凭据门),建行处原样写入,之后只读 —— 续跑认领、挂起、终局、重启都不改它,
+ *    没有任何读者按当前状态重推它。`RunRecord.source`(系统名 / `"sso"` / null)只作归因,不是认证来源。
+ * 3. **缺席一种读法**:`null` = 这一行**没有「属主在受理时验过的凭据」的记录** —— 三列存在之前写下的行、没有任何验过凭据的受理(无鉴权写面
+ *    `ALLOW_UNAUTHED_WRITES`)、以及别人替属主按下的那一跑(受理请求验过的主体不是这一行的属主:唤醒 / 决定投递铸的新一跑)。读者一律按「不合格」处置
+ *    (fail-closed),不分辨三种成因;存量行不回填(没有事实可回填)。
+ *
+ * 化身号 `principalInc`:令牌 `sub_inc` 声明原样,经契约包 `VerifiedIdentity.principalInc` 读(settings-schema 14.7.0 加的可选字段);本版契约包还没有这一位 ⇒ 恒 `null`,
+ * 接线点在 `admitRunIdentity` 的 `sso` 臂(不在本仓另定一份读法)。
+ */
+/** 验过的身份来源的**闭集**(序 = 判定次序 = `/health.auth.kinds` 的出现序;加一个来源 = 加一个词,读它的各只穷举 `switch` 不接就编译红)。 */
+export declare const IDENTITY_SOURCES: readonly ["service_token", "sso", "direct_door_jwt"];
+export type IdentitySource = (typeof IDENTITY_SOURCES)[number];
+/**
+ * run 行身份元组(受理时铸、持久、之后只读;律见文件头)。三键恒在、与三列一一对应:`scope` / `principalInc` 只随 `sso` 有值 ——
+ * service 凭据与直连门令牌不带登录令牌的 scope / 化身号,判别联合让「`service_token` 带 scope」这种形写不出来。
+ */
+export type RunIdentity = {
+    readonly source: "sso";
+    readonly scope: string;
+    readonly principalInc: string | null;
+} | {
+    readonly source: "service_token" | "direct_door_jwt";
+    readonly scope: null;
+    readonly principalInc: null;
+};
+/** `identity_scope` 的列宽(字符;两方言 VARCHAR 同口径数码点)。与主体列同宽:scope 来自验过签名的令牌,契约的 scope id 形最长 64,读口不判形 ⇒ 留余量。 */
+export declare const RUN_IDENTITY_SCOPE_MAX_CHARS = 190;
+/** `identity_principal_inc` 的列宽(字符):化身号是签发方插入时铸的不透明随机串(与会话化身同宽)。 */
+export declare const RUN_IDENTITY_PRINCIPAL_INC_MAX_CHARS = 64;
+/**
+ * `task_run` 三列的列定义 —— 两方言各一段,**唯一属主**:中央建表语句(`tidb-pool.ts` / `pg-pool.ts` 的 `CREATE TABLE task_run`)内插这同一段;
+ * 存量库缺列时起服列册对账(`schema-consistency.ts`)拒启,拒句里的 `ALTER TABLE task_run ADD COLUMN …` 由同一份建表语句解析生成 ⇒
+ * 「新库建出来的列」与「运维按拒句 / MIGRATION 补上的列」逐字同形。三列都可空(存量行与律 3 的三种成因都是 NULL);PG 钉 `COLLATE "C"`
+ * (身份键按字节判等,与 MySQL 协议表级 `utf8mb4_bin` 同形)。
+ */
+export declare const RUN_IDENTITY_COLUMNS: {
+    readonly tidb: string;
+    readonly pg: string;
+};
+/** 元组落盘的三格(SQL 三列 / File 车道 run.json 的三键,同名同义)。 */
+export interface RunIdentityCells {
+    readonly identitySource: IdentitySource | null;
+    readonly identityScope: string | null;
+    readonly identityPrincipalInc: string | null;
+}
+/** 元组 → 三格(写口;三只 run 店同一只)。 */
+export declare function runIdentityCells(identity: RunIdentity | null): RunIdentityCells;
+/**
+ * 三格 → 元组(读口;SQL 两方言的行映射与 File 车道的 run.json 读回同一只)。读不出一只**合形**元组的三格一律读成 `null`(律 3:不合格,fail-closed),
+ * 这是运行期无法避免的缺省臂,明写在这里:
+ *  · 来源格缺席 ⇒ 没有记录(三列之前的行 / 律 3 的另两种成因);
+ *  · 来源格不是闭集里的词(更新的版本写下、回滚到本版读到的词,或手改的行)⇒ 本版认不得的来源不合格;
+ *  · `sso` 却没有 scope、化身号不是非空串,或别的来源带着 scope / 化身号 ⇒ 不是本仓写口写得出的形(手改 / 半截写),不合格。
+ */
+export declare function readRunIdentityCells(source: unknown, scope: unknown, principalInc: unknown): RunIdentity | null;
+//# sourceMappingURL=identity-source.d.ts.map

package/dist/identity-source.js

@@ -0,0 +1,45 @@
+export const IDENTITY_SOURCES = ["service_token", "sso", "direct_door_jwt"];
+export const RUN_IDENTITY_SCOPE_MAX_CHARS = 190;
+export const RUN_IDENTITY_PRINCIPAL_INC_MAX_CHARS = 64;
+export const RUN_IDENTITY_COLUMNS = {
+    tidb: [
+        "identity_source VARCHAR(32) NULL",
+        `identity_scope VARCHAR(${RUN_IDENTITY_SCOPE_MAX_CHARS}) NULL`,
+        `identity_principal_inc VARCHAR(${RUN_IDENTITY_PRINCIPAL_INC_MAX_CHARS}) NULL`,
+    ].join(",\n     "),
+    pg: [
+        `identity_source VARCHAR(32) COLLATE "C"`,
+        `identity_scope VARCHAR(${RUN_IDENTITY_SCOPE_MAX_CHARS}) COLLATE "C"`,
+        `identity_principal_inc VARCHAR(${RUN_IDENTITY_PRINCIPAL_INC_MAX_CHARS}) COLLATE "C"`,
+    ].join(",\n     "),
+};
+export function runIdentityCells(identity) {
+    return identity === null
+        ? { identitySource: null, identityScope: null, identityPrincipalInc: null }
+        : { identitySource: identity.source, identityScope: identity.scope, identityPrincipalInc: identity.principalInc };
+}
+const isNonEmptyString = (v) => typeof v === "string" && v !== "";
+const isAbsent = (v) => v === null || v === undefined;
+export function readRunIdentityCells(source, scope, principalInc) {
+    if (isAbsent(source) || typeof source !== "string")
+        return null;
+    const word = IDENTITY_SOURCES.find((w) => w === source);
+    if (word === undefined)
+        return null;
+    switch (word) {
+        case "sso":
+            if (!isNonEmptyString(scope))
+                return null;
+            if (isAbsent(principalInc))
+                return { source: word, scope, principalInc: null };
+            return isNonEmptyString(principalInc) ? { source: word, scope, principalInc } : null;
+        case "service_token":
+        case "direct_door_jwt":
+            return isAbsent(scope) && isAbsent(principalInc) ? { source: word, scope: null, principalInc: null } : null;
+        default: {
+            const unknownWord = word;
+            throw new Error(`readRunIdentityCells: identity source ${String(unknownWord)} has no reading`);
+        }
+    }
+}
+//# sourceMappingURL=identity-source.js.map

package/dist/index.d.ts

@@ -34,4 +34,5 @@ export type { ModelRouteGap } from "./model-route-endpoint.js";
 export { judgeServedModelRoute, type ServedModelRouteView, type ServedModelRouteOptions, type ModelRouteEndpointVerdict } from "./model-route-endpoint.js";
 export type { UserInputLedgerStore, UserInputAcceptance, NewUserInputAcceptance, OpenScanCursor, OpenScanPage, SettleHow, WriterGoneEvidence } from "./user-input-ledger.js";
 export type { OrgDeliveryQuotaStore, OrgDeliveryQuotaPolicy } from "./plugins/org-delivery-quota-store.js";
+export { APPROVAL_GATE_KINDS, type ApprovalGateKind } from "./approval-content-kind.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.js

@@ -27,4 +27,5 @@ export { createKeyResolver, resolveModelApiKey } from "./key-resolver.js";
 export { isModelKeyPoison, ModelKeyPoisonedError } from "./key-resolver.js";
 export { CATALOG_ENTRY_HEADER_LANES, CATALOG_ENTRY_HEADER_NAMES } from "./model-entry-headers.js";
 export { judgeServedModelRoute } from "./model-route-endpoint.js";
+export { APPROVAL_GATE_KINDS } from "./approval-content-kind.js";
 //# sourceMappingURL=index.js.map

package/dist/memory-store-refusal.d.ts

@@ -23,11 +23,11 @@
  *     那几行的前缀是**条目路径**(模型可写)—— 本仓今天不读 warnings 车道(既有面,不是本批回归),也不在模型可写的文本上
  *     找码;这一半候 core 的结构化码位(登记在案,codex 一审 C3)。
  *
- * ## 不是这一族的三形(core 同表「different surface」,本仓**不**自拼码,如实走各自既有臂)
+ * ## 不是这一族的形(core 同表「different surface」,本仓**不**自拼码,如实走各自既有臂;今两形 + 一只已退的形)
  *  · journal 重放目标目录成链 ⇒ `ControlPlaneCorruptError`(无 `.code`,KL-1094-b)⇒ 路由 typed 500 `internal.memory_control_plane_corrupt`
  *    (core 7.44.0 起 scope home 非目录**不再**走这一类 —— 它有了自己的码,见上;`ControlPlaneCorruptError` 只剩真控制面损坏);
- *  · 引擎原地写撞硬链(nlink>1)⇒ 文本 `has N names (a hard link)`、无码(KL-1094-g / [ref])⇒ 走该写点既有的失败车道(harvest
- *    warnings / 挂载失败),抛出面够不着;
+ *  · (已不存在的一形)引擎原地写撞硬链(nlink>1):≤ 引擎 7.55.x 是无码文本 `has N names (a hard link) … not written`、走该写点既有的失败车道;
+ *    引擎 7.56.0 起那只写给**这个名字**另建一个新文件(原子改名落位,其余名字保留原文件),拒绝与那句文本一并消失 —— 本仓从未读过那句文本,零码;
  *  · 解析故障(`EACCES` / `ELOOP` / `ENOTDIR`)⇒ 以 errno 本身抛 ⇒ 路由未分类 500 + 运维 warn(`String(err)` 带 core 补救句)。
  *
  * ## 运维行也在这里铸(两受众同一只,{@link logStoreFormRefusal})

package/dist/model-entry-refusal.d.ts

@@ -49,6 +49,8 @@ export interface CatalogEntryLike {
     readonly api?: unknown;
     /** [ref]:供应商附加头的承载形(`unknown`:判据在 `model-entry-headers.ts`,不信这张型)。 */
     readonly headers?: unknown;
+    /** 引擎已退役的每模型引导句(core 7.56.0 [ref];settings-schema 的 `ModelEntry` 仍收它)—— 只读在场与否,见 {@link judgeCatalogEntry}。 */
+    readonly promptGuidance?: unknown;
 }
 /**
  * **逐条判据**:`undefined` = 本部署能完整服务它。判序即语义:先形(不合形的条目谈不上走哪条腿),再腿。

package/dist/model-entry-refusal.js

@@ -31,6 +31,17 @@ export function judgeCatalogEntry(m, ctx) {
     const headers = readCatalogEntryHeaders(m.headers, m.api);
     if (!headers.ok)
         return entryInvalidRefusal(m.id, m.provider, headers.fields, headers.issue);
+    if (Array.isArray(m.promptGuidance) && m.promptGuidance.length > 0) {
+        return {
+            ...refusalCause("config.model_entry_invalid"),
+            id: m.id,
+            provider: m.provider,
+            fields: ["promptGuidance"],
+            detail: "the catalog entry carries per-model guidance sentences (promptGuidance), which the engine no longer delivers — the entry is not served here " +
+                "rather than served with its sentences silently dropped; move each sentence into a center or deployment prompt overlay on the behavior band " +
+                "and remove promptGuidance from the entry to bring it back",
+        };
+    }
     const lane = catalogBrainLane(m.provider);
     const mount = laneMount(lane, ctx);
     if (!mount.mounted) {

package/dist/model-route-gap.d.ts

@@ -64,11 +64,14 @@ export interface ModelRouteEnvReading {
      * 它只与网关端点配对(没有 {@link gatewayBaseUrl} 就不装载),配对由消费方判。
      */
     readonly gatewayApiKey: string | undefined;
-    /** `ANTHROPIC_API_KEY` / `ANTHROPIC_AUTH_TOKEN` / `ANTHROPIC_BASE_URL`:空串 = 未设,别名各自独立(一个空别名不遮蔽另一个)。 */
+    /**
+     * `ANTHROPIC_API_KEY` / `ANTHROPIC_AUTH_TOKEN` / `ANTHROPIC_BASE_URL`:空串 = 未设,各自独立(一个空的不遮蔽另一个)。
+     * 两把凭据**各是各的头**(`x-api-key` / `Authorization: Bearer`),同设是起服拒启的形 —— 读数原样交出两把,取哪种头只问 {@link judgeAnthropicCredential}。
+     */
     readonly anthropicApiKey: string | undefined;
     readonly anthropicAuthToken: string | undefined;
     readonly anthropicBaseUrl: string | undefined;
-    /** anthropic 路由装不装 = 两把凭据任一在场(`createBrain` 同判);只读在场性。 */
+    /** anthropic 路由装不装 = 两把凭据任一在场(`createBrain` 同判);只读在场性(同设由起服拒启,不在读数里判)。 */
     readonly anthropicRouteMounted: boolean;
     /**
      * env 腿模型的 provider 词:显式 `MODEL_PROVIDER` 胜(原样,**不在此过闭集** —— 域外拒启是 `model-provider-word` 那条不变量的事);
@@ -90,6 +93,47 @@ export declare const csvOf: (raw: string | undefined) => string[];
  * `parseModelDomain`(起服铸 `ServiceConfig`)吃它的读数。
  */
 export declare function readModelRouteEnv(env: ModelRouteEnv): ModelRouteEnvReading;
+/**
+ * **anthropic 车道凭据的唯一判官**(一名一义):两个名字各走各的头、互斥 ——
+ *  · `ANTHROPIC_API_KEY`    ⇒ `x-api-key`(只发它);
+ *  · `ANTHROPIC_AUTH_TOKEN` ⇒ `Authorization: Bearer`(只发它);
+ *  · 两个都设 ⇒ `conflict`:两个名字说的是两种头,哪个赢都是替运维猜(7.135.0 及以前是「AUTH_TOKEN 优先」,x-api-key 被静默丢弃)⇒ 起服拒启,拒句 {@link anthropicCredentialRefusal}。
+ * 空串 = 未设(与 {@link readModelRouteEnv} 同尺)。入参是两个名字各自的值 —— env 读数的两位或 `config.anthropic` 的 `apiKey` / `authToken` —— 不读 `process.env`。
+ * 读者:起服(`config.ts` 的拒启锚与跨键不变量表 `anthropic-credential-exclusive` 同一句)· brain 装配(交引擎哪种头)· hook 直连腿(哪种头、交引擎配对判官的那份值)·
+ * 车道端口 {@link laneAndEndpointFor}(哪把键)· 起服的 Bearer 部署诊断(`boot/web-admin.ts`)。
+ */
+export type AnthropicCredentialVerdict = {
+    readonly kind: "absent";
+} | {
+    readonly kind: "x-api-key";
+    readonly envName: typeof MODEL_ROUTE_ENV_KEYS.anthropicApiKey;
+    readonly value: string;
+} | {
+    readonly kind: "bearer";
+    readonly envName: typeof MODEL_ROUTE_ENV_KEYS.anthropicAuthToken;
+    readonly value: string;
+} | {
+    readonly kind: "conflict";
+};
+/** 判官的入参:两个名字各自的值(`config.anthropic` 的两位与 env 读数的两位都映射成这一形)。 */
+export interface AnthropicCredentialNames {
+    readonly apiKey?: string | undefined;
+    readonly authToken?: string | undefined;
+}
+export declare function judgeAnthropicCredential(names: AnthropicCredentialNames): AnthropicCredentialVerdict;
+/** 同设拒启的机读码(拒句方括号里)。 */
+export declare const ANTHROPIC_CREDENTIAL_CONFLICT_CODE = "config.anthropic_credential_conflict";
+/** {@link judgeAnthropicCredential} 的拒句投影:`conflict` ⇒ 一句点名两键与出路(不回显任何值);其余 ⇒ `undefined`。 */
+export declare function anthropicCredentialRefusal(names: AnthropicCredentialNames): string | undefined;
+/** 一份会上线的 anthropic 车道凭据(判官的两种头形)。 */
+export type AnthropicLaneCredential = Extract<AnthropicCredentialVerdict, {
+    kind: "x-api-key" | "bearer";
+}>;
+/**
+ * 判官的**取值面**:这条车道会带上的那一份(头形 + 值);缺席 ⇒ `undefined`;同设 ⇒ **抛**拒句 ——
+ * 起服已在 `loadConfig` 拒启这一形,到得了这里的只有绕过起服装配、自拼配置的嵌入方(响亮,不替它挑一个)。
+ */
+export declare function anthropicLaneCredentialOf(names: AnthropicCredentialNames): AnthropicLaneCredential | undefined;
 /**
  * **env 腿的条目表** —— 主槽别名 `default` + 主槽 id(+ 铸出的 cheap 槽);没有 `MODEL_ID` ⇒ 空表(不铸占位条目:一个不存在的模型名
  * 进可选目录 / 当缺省,正是 3.0.0 删掉的那种病)。`parseModelDomain` 铸真 `Model` 表与判官铸路由切面都经这一只,条目名与键序不会各写一份。
@@ -116,7 +160,7 @@ export interface LaneAndEndpoint {
     readonly endpointDeclared: boolean;
     /**
      * 这条腿此刻真会带上的凭据那把 env 键;没有会装载的凭据 ⇒ `undefined`。
-     *  · anthropic 腿:`ANTHROPIC_AUTH_TOKEN` 压过 `ANTHROPIC_API_KEY`(引擎装配同序),空串别名不遮蔽另一把;
+     *  · anthropic 腿:设了哪一把就是哪一把(一名一义,{@link judgeAnthropicCredential} —— 引擎装配同一只判官),空串不遮蔽另一把;两把同设 ⇒ 抛起服那一句拒句;
      *  · 网关腿:`MODEL_API_KEY`,**只在端点声明时**(凭据只与网关自己的根配对;没有网关就不装载),空串 = 没有凭据(keyless 部署)。
      */
     readonly apiKeyEnvName: ModelRouteEnvName | undefined;
@@ -128,7 +172,8 @@ export interface LaneAndEndpoint {
  * 键名 = {@link MODEL_ROUTE_ENV_KEYS}。`routes` 是 core 路由表的原型(`Object.hasOwn(routes, 词)` 的表;`anthropic` 键在场 ⇔ anthropic 路由装上)。
  * **只交键名不交值**:凭据与端点的值调用方自己从 env 取,本函数的答案里没有任何 env 值。
  *
- * 纯:不读 `process.env`,只按键表点名取值、不枚举入参。路由表里有本部署从不装的键(表在 `mountRoutes` 之外铸)⇒ 抛(`brainLaneFor` 的响亮臂),不折网关。
+ * 纯:不读 `process.env`,只按键表点名取值、不枚举入参。路由表里有本部署从不装的键(表在 `mountRoutes` 之外铸)⇒ 抛(`brainLaneFor` 的响亮臂),不折网关;
+ * anthropic 腿两把凭据同设 ⇒ 抛起服的同一句拒句({@link anthropicLaneCredentialOf}:引擎在这一形上拒启,端口不替它答一把)。
  */
 export declare function laneAndEndpointFor(env: ModelRouteEnv, model: ModelRouteSubject, routes: Readonly<Record<string, unknown>>): LaneAndEndpoint;
 //# sourceMappingURL=model-route-gap.d.ts.map

package/dist/model-route-gap.js

@@ -56,6 +56,39 @@ export function readModelRouteEnv(env) {
                     : { kind: "minted", id: rawCheapId },
     };
 }
+export function judgeAnthropicCredential(names) {
+    const K = MODEL_ROUTE_ENV_KEYS;
+    const apiKey = declaredValue(names.apiKey);
+    const authToken = declaredValue(names.authToken);
+    if (apiKey !== undefined && authToken !== undefined)
+        return { kind: "conflict" };
+    if (apiKey !== undefined)
+        return { kind: "x-api-key", envName: K.anthropicApiKey, value: apiKey };
+    if (authToken !== undefined)
+        return { kind: "bearer", envName: K.anthropicAuthToken, value: authToken };
+    return { kind: "absent" };
+}
+export const ANTHROPIC_CREDENTIAL_CONFLICT_CODE = "config.anthropic_credential_conflict";
+export function anthropicCredentialRefusal(names) {
+    if (judgeAnthropicCredential(names).kind !== "conflict")
+        return undefined;
+    const K = MODEL_ROUTE_ENV_KEYS;
+    return (`[${ANTHROPIC_CREDENTIAL_CONFLICT_CODE}] both ${K.anthropicApiKey} and ${K.anthropicAuthToken} are set — they are two different credentials ` +
+        `(${K.anthropicApiKey} is sent as the x-api-key header, ${K.anthropicAuthToken} as Authorization: Bearer) and the Anthropic route carries exactly one; ` +
+        `keep the one your endpoint expects and unset the other`);
+}
+export function anthropicLaneCredentialOf(names) {
+    const verdict = judgeAnthropicCredential(names);
+    switch (verdict.kind) {
+        case "absent":
+            return undefined;
+        case "x-api-key":
+        case "bearer":
+            return verdict;
+        case "conflict":
+            throw new Error(anthropicCredentialRefusal(names));
+    }
+}
 export function envLaneTable(mainId, main, cheap) {
     if (mainId === "")
         return {};
@@ -74,7 +107,7 @@ export function laneAndEndpointFor(env, model, routes) {
                 lane,
                 endpointEnvName: K.anthropicBaseUrl,
                 endpointDeclared: declaredRootUrl(reading.anthropicBaseUrl) !== undefined,
-                apiKeyEnvName: reading.anthropicAuthToken !== undefined ? K.anthropicAuthToken : reading.anthropicApiKey !== undefined ? K.anthropicApiKey : undefined,
+                apiKeyEnvName: anthropicLaneCredentialOf({ apiKey: reading.anthropicApiKey, authToken: reading.anthropicAuthToken })?.envName,
             };
         case "gateway": {
             const endpointDeclared = declaredRootUrl(reading.gatewayBaseUrl) !== undefined;

package/dist/model-select.d.ts

@@ -187,11 +187,10 @@ export declare function matchCatalogModel(ref: string, catalog: Record<string, u
 export declare const MODEL_IMAGE_INPUTS: readonly ["yes", "no", "undeclared"];
 export type ModelImageInput = (typeof MODEL_IMAGE_INPUTS)[number];
 /**
- * 「这个目录条目收不收图」的**唯一读法**。两个读者都投影它,不各写各的:
+ * 「这个目录条目收不收图」的**唯一读法**。读者都投影它,不各写各的:
  *  · 目录行 `GET /v1/models` 的 `vision`:`yes` ⇒ `true`,`no` ⇒ `false`,`undeclared` ⇒ **键缺席**(不替没声明的模型答「收」也不答「不收」);
- *  · 运行期的带图预检 {@link modelSupportsImages}:只有明说 `no` 才出信号。
- * 此前两处各判各的,且对「没声明」答法相反(目录行报 false、预检放行)——客户端只读得到目录那一位,于是在手写、没声明 `input` 的
- * 条目上把用户的图拦在了本地,而引擎其实会把图交给模型。env 车道与 web-admin 车道恒写 `input`,分叉只落在手写目录条目上。
+ *  · 配置目录 `GET /v1/config/catalog` 的 `MODEL_VISION` 行。
+ * 「图被换成占位句」这件事实不在本仓判:引擎 7.56.0([ref])在真替换的那一刻铸给人(`model.capability_downgraded`,会话流),本仓提交面的带图预检随之退役。
  * `input` 不是数组(手写错形)与条目不在,同归 `undeclared`:没有可信的声明。
  */
 export declare function modelImageInput(model: {
@@ -212,19 +211,9 @@ export interface ModelCapabilityDecl {
 /**
  * 能力位声明 ⇒ `Model` 上的两个键,**缺席不铸键**:`reasoning` 原样;`vision` 翻成 `input`(`true` ⇒ `["text","image"]`,`false` ⇒ `["text"]`)。
  * env 腿(`MODEL_REASONING` / `MODEL_VISION`)、cheap 槽(`MODEL_CHEAP_*`)与中心腿(`models[].reasoning` / `vision`)都经它铸 —— 三条腿一个铸法、一个「缺席」的意思。
- * 读回的唯一读法是 {@link modelReasoningDecl} 与 {@link modelImageInput}(带图预检与 `GET /v1/models` 同读后者)。
- *
- * 🔴 **本仓唯一的类型接缝**:引擎 7.51.2 的 `Model` 型面把 `reasoning` / `input` 写成必填,而它自己的读法对缺席有定义 ——
- * `input` 缺席 ⇒ 支持图(`modelSupportsVision`:`model?.input === undefined ? true : …`),`reasoning` 缺席 ⇒ 真值判假(`!!model.reasoning`)。所以交给引擎的目录里缺席的键是安全的,
- * 只是型面还没跟上;返回型因此对 `Pick<Model, …>` 说了一句「可能为空」的谎,把断言收在这一处 —— 调用点的 `Model` 字面量照旧带 `Model` 注解(其余每个键仍被 tsc 逐个核,
- * 读表门按注解收字面量的 core 键)。型面归引擎:引擎把这两位放成可选之日,本接缝(返回型 + 这一处断言)整件删除。
+ * 读回的唯一读法是 {@link modelReasoningDecl} 与 {@link modelImageInput}(`GET /v1/models` 与配置目录同读)。
+ * 引擎 7.56.0([ref])起 `Model.reasoning` / `Model.input` 在型面上就是可选(缺席 = 未声明,引擎一只读法 `capabilityOf`:图的未声明照常交给模型、
+ * 推理的未声明不发思考档),所以本函数的返回型就是引擎的型,无断言。
  */
 export declare function mintCapabilityKeys(decl: ModelCapabilityDecl): Pick<Model, "reasoning" | "input">;
-/**
- * 带图预检:只有目录条目**明说**不收图({@link modelImageInput} 为 `"no"`)才为假 —— 提交时据此计数并告警(引擎会把这些图换成给模型的
- * 占位句);没声明的条目为真(不出信号,图原样交给模型)。
- */
-export declare function modelSupportsImages(model: {
-    input?: unknown;
-} | undefined): boolean;
 //# sourceMappingURL=model-select.d.ts.map

package/dist/model-select.js

@@ -137,7 +137,4 @@ export function mintCapabilityKeys(decl) {
         keys[CAPABILITY_MODEL_KEYS.input] = decl.vision ? ["text", "image"] : ["text"];
     return keys;
 }
-export function modelSupportsImages(model) {
-    return modelImageInput(model) !== "no";
-}
 //# sourceMappingURL=model-select.js.map

package/dist/namespaced-rule-name.d.ts

@@ -42,7 +42,7 @@ export type UnmatchableRuleName = Exclude<RuleToolNameVerdict, {
 /**
  * **运维名表的态度** —— 一个常量,判官与匹配器同读(core 7.55.0 [ref])。本仓的名表消费者(env `APPROVAL_REQUIRE` / `APPROVAL_DENY` / `APPROVAL_NEVER_AUTO`、
  * 中心下发的 `approvalRequire`、请求 `settings.permissions` 的 neverAuto 座)全是**限制表**(要求审批 / 硬拦 / 禁自动答):引擎对一个名字在限制表里的读法
- * (`judgeRuleToolName(name, 名册, behavior)` 收不收、`isNamespacedCoveringRuleName(name, behavior)` 够着哪些工具)只分「限制 / 放行」两侧 —— 整个协议的名字
+ * (`judgeRuleToolName(name, 名册, behavior)` 收不收、`isCoveringRuleName(name, behavior)` 够着哪些工具)只分「限制 / 放行」两侧 —— 整个协议的名字
  * `mcp__*` / `mcp__*__*` 在 deny 与 ask 里同读成这一协议的每一只工具。受理口的判(`config.ts`)与运行期的匹配(`approval.ts`)读同一个态度,一张表不会一边收、一边什么也不拦。
  */
 export declare const NAME_TABLE_BEHAVIOR: "deny";

package/dist/object-store-buckets.d.ts

@@ -0,0 +1,13 @@
+/**
+ * The two object-store buckets this server reads from and never creates (`docs/DEPLOY-PREREQS.md` "对象存储桶"), and the name each takes when its
+ * knob is unset — ONE spelling of each default. The config loader (`config.ts`), the config catalog's default notes, the boot presence check's role
+ * table (`plugins/snapshot-bucket-presence.ts`) and the k8s adapter's refusal sentence all read these constants; a literal copied into any of them is
+ * a second source that drifts the day a default changes (the refusal would then name a bucket the loader no longer defaults to).
+ *
+ * Pure leaf: no imports.
+ */
+/** `SESSION_SNAPSHOT_BUCKET` unset ⇒ this bucket: snapshot-BLOB offload, and the SendUserFile private presigned track / sandbox staging. */
+export declare const SESSION_SNAPSHOT_BUCKET_DEFAULT = "session-snapshots";
+/** `WORKSPACE_SNAPSHOT_BUCKET` unset ⇒ this bucket: the k8s lane's workspace snapshots (cross-run space snapshots and parked-run archives). */
+export declare const WORKSPACE_SNAPSHOT_BUCKET_DEFAULT = "workspaces";
+//# sourceMappingURL=object-store-buckets.d.ts.map

package/dist/object-store-buckets.js

@@ -0,0 +1,3 @@
+export const SESSION_SNAPSHOT_BUCKET_DEFAULT = "session-snapshots";
+export const WORKSPACE_SNAPSHOT_BUCKET_DEFAULT = "workspaces";
+//# sourceMappingURL=object-store-buckets.js.map

package/dist/observability/fail-open.d.ts

@@ -109,7 +109,7 @@ export declare const FAIL_OPEN_TAGS: {
     };
     readonly "server.elicitation.open-frame-undelivered": {
         readonly cls: "F";
-        readonly note: "MCP elicitation 的 open 帧投递失败 ⇒ 结算 decline。方向本身是 fail-closed(问不到人就是拒),缺的只是留痕。";
+        readonly note: "MCP elicitation 的 open 帧投递失败 ⇒ 按没人应答放掉(cancel)。方向本身是 fail-closed(问不到人就是没授予),缺的只是留痕。";
     };
     readonly "server.question.complete-breadcrumb-dropped": {
         readonly cls: "F";
@@ -189,11 +189,11 @@ export declare const FAIL_OPEN_TAGS: {
     };
     readonly "server.approvals.park-row-blob-unreadable": {
         readonly cls: "F";
-        readonly note: "S-700(`plugins/checkpoint-store-sql.ts` 的 `readParkRowFactsCell`):运维待批队列(`GET /v1/approvals` / `/stream`)的某一行,`checkpoint` 列里寄存行的 **`pendingAction` 子树**(NP-3 / 7.100.0 起引擎内只取这一棵、整只快照不出库;只为 park 行事实 `requiresRealApproval` / `ruleOffersAbsence` / `mandated`(S-663 二段,core #1079)/ `mandate`(S-721)/ `origin`(S-755)而读 —— 事实位的真源是 `approval-card.ts` 的 `ParkRowFacts`)**在场却不是一只对象**(JSON `null` 字面 / 串 / 数 —— 手改 / 迁移脚本改过)。子树**缺席**(SQL NULL:成员不在,或整只文档不是对象 —— 后者 `get()` 照旧拒;MariaDB 文本承载上的非 JSON 字节同样答 SQL NULL)⇒ 事实缺席、不计数。放行的最坏后果 = **这一行**的 park 行事实(`ParkRowFacts` 各位)缺席(展示/分诊材料;core 定性 display metadata,resume 的带子读 gate 自己的位),队列其余部分照常 —— 而这一行本来就 resume 不了(`get()` 对同一格拒)。不放行的代价是整只 `rows.map` 抛出 ⇒ 一行坏 blob 打掉整个租户的队列(列表 500、SSE 心跳照常而队列永远空),与同一 `rows.map` 里 `rule_suggestions` / `risk_descriptor` 两格同族同判。故 F 类;tag 与那两格**分开计**(哪一格在坏要读得出来)。计数非零 = 这一行的 decide 同样读不动(`get()` 对同一格拒),去按 session 查那一行。 (`member=gate` 那第二座随 core 7.55.0 #1468 P1 阶段二退役:队列行的卡与到期分法改读 `approval_card` / `gate_kind` 两列 —— 写口与 M29 回填同一只派生落下的格 —— 本读面不再读 blob 的 `gate` 子树。)";
+        readonly note: "S-700(`plugins/checkpoint-store-sql.ts` 的 `readParkRowActionCell`):运维待批队列(`GET /v1/approvals` / `/stream`)的某一行,`checkpoint` 列里寄存行的 **`pendingAction` 子树**(NP-3 / 7.100.0 起引擎内只取这一棵、整只快照不出库;只为 park 行事实 `requiresRealApproval` / `ruleOffersAbsence` / `mandated`(S-663 二段,core #1079)/ `mandate`(S-721)/ `origin`(S-755)而读 —— 事实位的真源是 `approval-card.ts` 的 `ParkRowFacts`)**在场却不是一只对象**(JSON `null` 字面 / 串 / 数 —— 手改 / 迁移脚本改过)。子树**缺席**(SQL NULL:成员不在,或整只文档不是对象 —— 后者 `get()` 照旧拒;MariaDB 文本承载上的非 JSON 字节同样答 SQL NULL)⇒ 事实缺席、不计数。放行的最坏后果 = **这一行**的 park 行事实(`ParkRowFacts` 各位)缺席(展示/分诊材料;core 定性 display metadata,resume 的带子读 gate 自己的位),队列其余部分照常 —— 而这一行本来就 resume 不了(`get()` 对同一格拒)。不放行的代价是整只 `rows.map` 抛出 ⇒ 一行坏 blob 打掉整个租户的队列(列表 500、SSE 心跳照常而队列永远空),与同一 `rows.map` 里 `rule_suggestions` / `risk_descriptor` 两格同族同判。故 F 类;tag 与那两格**分开计**(哪一格在坏要读得出来)。计数非零 = 这一行的 decide 同样读不动(`get()` 对同一格拒),去按 session 查那一行。 (`member=gate` 那第二座随 core 7.55.0 #1468 P1 阶段二退役:队列行的卡与到期分法改读 `approval_card` / `gate_kind` 两列 —— 写口与 M29 回填同一只派生落下的格 —— 本读面不再读 blob 的 `gate` 子树。)S-2076 起同 tag 另有两座同判据的臂(`SqlCheckpointStore.readParkedSkillCardFacts`:对行上真带技能卡三位之一的行,整只快照读回的体坏、或体是对象但 core 的摘要读不动它 ⇒ 只丢**这一行**的三位〔`boundGrantDigest` / `boundGrants` / `classifierNoRuling`〕,队列照常;`not-text` 同样原样抛)—— 计数非零的处置同上:去按 session 查那一行。";
     };
     readonly "server.approvals.durable-row-checkpoint-id-missing": {
         readonly cls: "F";
-        readonly note: "7.133.0(`checkpoint-identity.ts` 的 `durableRowIdentity`;两只店的 `listPending` + `/v1/assistant/inbox` handler):三处 durable 读面(运维队列行 `GET /v1/approvals` 与 `/v1/approvals/stream` 的 `pending` 帧;停驻收件 `GET /v1/assistant/inbox` 的行)读到一行停驻门**没有可用的 `checkpointId`** ⇒ 这一行**照列、`checkpointId` 键缺席**(消费方按「这一行没有可 join 的身份」处理)。detail = `face=<approvals-queue|assistant-inbox> why=<absent|untrusted>`:`absent` = 行上没有这一格(core 5.42.0 之前停驻的老行 —— core 明写不回填);`untrusted` = 在场却没过信任边界(非串 / 空串 / 超长 / 含 resume token —— 数据污染;没过边界的值不上 wire)。放行(列、键缺席)的最坏后果 = 消费方对这一行做不了跨面 join(三面对账少一行)—— 行本身、决断口(`/v1/approvals/:sessionId/decide`,按会话)、到期收割都照常。不放行有两种形:整只拒的代价是一行老 / 坏行打掉整个租户的队列(列表 500、SSE 心跳照常而队列永远停在旧帧);把这一行藏起来的代价更糟 —— 人看不到要批的东西(审批面上的 fail-open,方向反了)。故 F 类;必须留痕(两种成因从此可分)。计数非零 = 有老 / 坏行在飞(列着、没身份);`/stream` 每 3s 一拍重读,同一行每拍计一次(量值 = 行 × 拍数,在场才是信号)。";
+        readonly note: "7.133.0(`checkpoint-identity.ts` 的 `durableRowIdentity`;两只店的 `listPending` + `/v1/assistant/inbox` handler):三处 durable 读面(运维队列行 `GET /v1/approvals` 与 `/v1/approvals/stream` 的 `pending` 帧;停驻收件 `GET /v1/assistant/inbox` 的行)读到一行停驻门**没有可用的 `checkpointId`** ⇒ 这一行**照列、`checkpointId` 键缺席**(消费方按「这一行没有可 join 的身份」处理)。detail = `face=<approvals-queue|assistant-inbox> why=<absent|untrusted>`:`absent` = 行上没有这一格(core 5.42.0 之前停驻的老行 —— core 明写不回填);`untrusted` = 在场却没过信任边界(非串 / 空串 / 超长 / 含 resume token —— 数据污染;没过边界的值不上 wire)。放行(列、键缺席)的最坏后果 = 消费方对这一行做不了跨面 join(三面对账少一行)—— 行本身、决断口(`/v1/approvals/:sessionId/decide`,按会话)、到期收割都照常。不放行有两种形:整只拒的代价是一行老 / 坏行打掉整个租户的队列(列表 500、SSE 心跳照常而队列永远停在旧帧);把这一行藏起来的代价更糟 —— 人看不到要批的东西(审批面上的 fail-open,方向反了)。故 F 类;必须留痕(两种成因从此可分)。计数非零 = 有老 / 坏行在飞(列着、没身份);`/stream` 每 3s 一拍重读,同一行每拍计一次(量值 = 行 × 拍数,在场才是信号)。 7.137.0 起第四面:park 账本行(`GET /v1/runs/:id/events` 的 `suspended` / `needs_review`;唯一构造器 `trace/project.ts` 的 `parkEventData`,写时判一次,detail `face=run-events-park`)—— 暂停因由上的门身份没过信任边界 ⇒ 行照写、`checkpointId` 键缺席(决断方回显不了这道门,退回不带键的决断或从 run 结果取原值;行本身、门、待批调用身份照常)。";
     };
     readonly "server.approvals.queue-row-gate-kind-missing": {
         readonly cls: "F";
@@ -373,7 +373,7 @@ export declare const FAIL_OPEN_TAGS: {
     };
     readonly "server.redact.ppk-eat-to-end": {
         readonly cls: "F";
-        readonly note: "S-107 第三十二轮重扫:PuTTY .ppk 容器扫描器(redact.ts redactPpkContainers)在「无合格终止 / 收口后同容器范围再见私钥字段 / 收口后到下一版本头之间夹非空白」三形下从头**吃到输入末尾**(fail-closed 取证丢弃)——终态 errorMessage 座上=整条错误文案变成 «redacted:private-key»,与 redactions_applied_total{private-key} 的诚实替换同形不可分,故要有自己的计数/探针;影子扫不计;计数=多少次整段吃尾。";
+        readonly note: "S-107 第三十二轮重扫:PuTTY .ppk 容器扫描器(redact.ts redactPpkContainers)在「无合格终止 / 收口后同容器范围再见私钥字段 / 收口后到下一版本头之间夹非空白」三形下从头**吃到输入末尾**(fail-closed 取证丢弃)——终态 errorMessage 座上=整条错误文案变成 «redacted:private-key»,与 redactions_applied_total{private-key} 的诚实替换同形不可分,故要有自己的计数/探针;影子扫不计;出口座有界行的 head 读法(只扫一段头)上「窗内无合格终止」是终止可能在窗外的未决 —— 照样遮到窗尾,但不是兜底,不计;计数=多少次整段吃尾。";
     };
     readonly "server.approval-card.closed-word-out-of-set": {
         readonly cls: "F";
@@ -391,9 +391,9 @@ export declare const FAIL_OPEN_TAGS: {
         readonly cls: "F";
         readonly note: "S-287(`plugins/ensure-index.ts` 的 PG 臂):这口 PG **协议**面不认 `CREATE INDEX CONCURRENTLY`。今天唯一的真消费者是**仓内离线镜像的手搓 `PgQueryFn` 假件**(`pg-mem` 不是本仓依赖,`test/memory-embedder-fingerprint.test.ts` 头注已为此记过一次档,这里不重复那个错)。判据是**能力面**不是名字,且**只认阳性信号**:SQLSTATE ∈ {`0A000` feature_not_supported、`42601` syntax_error},或错误**完全不带 `code`**(= 不是驱动也不是服务端给的错误)⇒ 判「不认」,回退成普通 `CREATE INDEX IF NOT EXISTS`;**带任何其它 `code` 的一律原样抛** —— SQLSTATE 的 `55P03`/`57014`/`23505`/`42501`/`25001` 与 libuv 的 `ECONNRESET`/`EPIPE`/`ETIMEDOUT` 都在这一侧(⚠️ 不要按「5 位大写」的形状去分这两族:`EPIPE` 恰好也是 5 位大写)。放行的最坏后果 = 这一次建索引持表级 `SHARE` 锁阻塞该表的写(纯**性能/可用性**面,索引本身照样建成、语义零差别),而能走到这条臂的面**按定义**不是生产 PG。计数非零 = 有一口本以为是真 PG 的部署其实不认 CONCURRENTLY,运维要去看它到底是什么。detail = `<表>.<索引名>`。";
     };
-    readonly "server.assistant-inbox.objective-ctx-corrupt": {
+    readonly "server.assistant-inbox.objective-preview-unreadable": {
         readonly cls: "F";
-        readonly note: "S-609(`routes/approvals-assistant.ts` 的 `GET /v1/assistant/inbox`):某一行的续跑上下文(checkpoint_ctx)读出来是**坏体**(店的拒绝契约 `StoreCorruptError`;local = 档不是 JSON / 信封不合形,SQL = 列是合法 JSON 但不是一只对象)⇒ **这一行**的 `objective` 落 `null`,列表其余照常。放行的最坏后果 = inbox 上这一张卡不显示它属于哪个任务(纯展示位;这一格不参与任何决裁、续跑或门判 —— 续跑腿与 plan_review 门对同一行各自走读口、坏体一律响亮 500)。不放行的代价是整只 `summaries.map` 抛出 ⇒ 一行坏体打掉整个用户的 inbox。故 F 类;必须留痕,因为修前那句 `.catch(() => null)` 让「坏体」与「本来就没有」同形无痕(detail = 读口转述的 `where`,人拿它去修那一行)。缺席(行不在 / 店抖动)**不**记本 tag:那是读口的刻意保守,不是失败开放。";
+        readonly note: "S-1874 / S-2137(`routes/approvals-assistant.ts` 的 `GET /v1/assistant/inbox`):每行的 `objective` = 这道门所属 run 的目标预览 —— 按 run id 直读那一行的 `objectivePreview` 列(写入时已脱敏 + 截断;`GET /v1/assistant/tasks` 读同一列)。门 → run 是按键直读:门所在会话的认领持有者 / 最近一条腿,委派子代的门读派它的那条 run(停驻子代行上的 `parentTaskId`,行经判别器 `findParkedAgentForCheckpoint` 取)。某一行这几次直读失败(店抖动 / 那一行 run 的 `result` 格读不出 —— SQL `getRun` 对坏格刻意抛)⇒ **这一行**的 `objective` 落 `null`,列表其余照常。放行的最坏后果 = inbox 上这一张卡这一次不显示它属于哪个任务(纯展示位;不参与任何决裁、续跑或门判)。不放行的代价是一行 run 读不出就打掉整个用户的待批列表(人看不到要批的卡)。故 F 类;必须留痕,否则「这一次没读成」与「这道门本来就没有 run」同形。detail = 那一行的会话 id 与错误句。前身(7.97.0–7.135.x):同一格读停驻上下文、坏体落 null 的那一只 tag(objective-ctx-corrupt),随 S-1874 退役(inbox 不再读续跑上下文)。";
     };
     readonly "server.run-store.corrupt-record-skipped": {
         readonly cls: "F";
@@ -473,7 +473,7 @@ export declare const FAIL_OPEN_TAGS: {
     };
     readonly "server.snapshot-bucket.presence-unproven": {
         readonly cls: "F";
-        readonly note: "S-1195(7.119.0;`plugins/snapshot-bucket-presence.ts` 的 `ensureSnapshotBucket`,boot 期核一次快照桶 `SESSION_SNAPSHOT_BUCKET`;detail = `bucket=… endpoint=<buildDisplaySafeUrl 的显示形> <HTTP 状态 | request failed: 错类>`):presigned 列举对 `MINIO_ENDPOINT` **连不上 / 403 / 5xx / 没有 NoSuchBucket 的 404**,或探针到窗尾一次都没答过(detail 写 `probe still pending when the window ended`)⇒ **证明不了桶缺**,不拒启、照常起服(只有 404 + `NoSuchBucket` 才是「缺」,那一形窗内重试、到窗拒启,不走本 tag)。三问:①错误落到哪 —— 本 tag 的计数 / 探针行 / 记录器的一次性 warn,detail 带端点显示形与状态或错类;②谁受害 —— 桶其实不存在、或凭据不能列举的部署:之后每一次快照 offload 写与 SendUserFile 私有 presigned 请求会答 404 / 403,孤儿 sweep 每分钟一条失败,运维读到的是一串失败请求而不是「桶没建」(与 7.118.x 的既有形状同形,不是新损失);③缺席倒向哪边 —— 倒向**放行起服**:没有证据既不拒启、也不伪造「桶在场」或「桶缺」,不是门 / 权限 / 凭证。最坏后果 = 缺桶的部署晚一步才暴露;不放行的代价是对象存储一次抖动 / 一次 403 就让整只服务起不来。计数非零 = 这台部署启动时没能确认快照桶,按 detail 的端点与状态去核对网络 / 凭据 / 桶。";
+        readonly note: "S-1195(7.119.0;`plugins/snapshot-bucket-presence.ts` 的 `ensureSnapshotBucket`,boot 期核一次快照桶 `SESSION_SNAPSHOT_BUCKET`;S-2021〔7.136.0〕起同一只探针、同一条规则、同一个 tag 也核 k8s 车道的工作区快照桶 `WORKSPACE_SNAPSHOT_BUCKET`——detail 里的 `bucket=` 就是被核的那只桶名;detail = `bucket=… endpoint=<buildDisplaySafeUrl 的显示形> <HTTP 状态 | request failed: 错类>`):presigned 列举对 `MINIO_ENDPOINT` **连不上 / 403 / 5xx / 没有 NoSuchBucket 的 404**,或探针到窗尾一次都没答过(detail 写 `probe still pending when the window ended`)⇒ **证明不了桶缺**,不拒启、照常起服(只有 404 + `NoSuchBucket` 才是「缺」,那一形窗内重试、到窗拒启,不走本 tag)。三问:①错误落到哪 —— 本 tag 的计数 / 探针行 / 记录器的一次性 warn,detail 带端点显示形与状态或错类;②谁受害 —— 桶其实不存在、或凭据不能列举的部署:之后每一次快照 offload 写与 SendUserFile 私有 presigned 请求会答 404 / 403,孤儿 sweep 每分钟一条失败,运维读到的是一串失败请求而不是「桶没建」(与 7.118.x 的既有形状同形,不是新损失);工作区快照桶则是每条 run 读 `latest` 得 404/403——404 + NoSuchBucket 在运行期由 `workspace_snapshot_bucket_missing` 响亮拒绝,403/5xx 走既有的非 404 读失败臂(同样响亮);③缺席倒向哪边 —— 倒向**放行起服**:没有证据既不拒启、也不伪造「桶在场」或「桶缺」,不是门 / 权限 / 凭证。最坏后果 = 缺桶的部署晚一步才暴露;不放行的代价是对象存储一次抖动 / 一次 403 就让整只服务起不来。计数非零 = 这台部署启动时没能确认快照桶,按 detail 的端点与状态去核对网络 / 凭据 / 桶。";
     };
     readonly "server.fleet.serving-lease-unconfirmed": {
         readonly cls: "R";
@@ -499,6 +499,18 @@ export declare const FAIL_OPEN_TAGS: {
         readonly cls: "F";
         readonly note: "k8s 车道工作区空间结束时对**快照对象**的回收(`plugins/remote-env-k8s.ts` `createSpaceReclaimer` 的对象部分;与上一条同一只回收座、两条腿:会话删除协调器与托管留存 sweep):按空间的 `<前缀>/<化身>/space/` 分区(快照 + `latest`)和该会话停驻车道里名字带被结束住客归属记号的 `<前缀>/<会话 id>/*.tar.gz` 分别 LIST、逐个预签 DELETE;LIST 失败、DELETE 失败(HTTP 非 2xx / 非 404、网络)LIST 超过 1000 个对象被截断,或回收座一次调用的绝对截止(= 快照时限;卷回收也在内)到点〔切断在途请求、停掉余下的;这次调用里还没轮到的空间零请求、各记一次;没删的归生命周期规则〕,各记一次(detail `lane=space|park stage=list|delete|budget`;会话删除口把回收座脱离应答路径,座若抛了——契约禁止——记 `stage=seat_threw`)⇒ 这些对象留在桶里,会话照删(不挡删除)。放行的最坏后果 = 一份已无人能读的工作区快照留在桶里(会话已删,经 API 不可达;内容是用户工作区,所以不是「只占盘」—— 留到桶的生命周期规则把它过期掉为止);不碰任何别的空间、不是门不是凭据;反方向(清不掉对象就拒删会话)会让一个对象存储抖动挡住用户的删除权。故 F 类,但必须留痕:静默吞掉之后「这个会话删了、它的工作区内容还在不在桶里」在遥测里没有任何痕迹。同拍一行 `workspace_space_reclaim_failed`(`space` 前缀 / `sessionId` / `lane` / `stage` / `count` / `error`;一次调用里同类〔分区 × 阶段〕的失败合成一行,`count` = 撞上它的空间数,其余键点名调用里排第一的那个,计数仍逐空间;回收座同一时刻最多 4 个空间在收,sweep 与会话删除共用这一只门)。计数非零 = 有对象没回收掉,运维按行里的空间前缀 / 会话 id 去桶里手清,并核对象存储的可达性与 DELETE 权限。回收与同一空间的尚在途的 run 末提交不是互斥的:会话删除时没有活 run(409 挡),但上一条 run 的提交若恰在删除之后才落对象,这批对象不在本次回收射程内(同样归桶的生命周期规则)。停驻分区按会话 id 分区,所以只删名字带被结束住客归属记号的对象(不读任何钟)—— 会话 id 删后被别人重新登记,新住客停驻出的快照带它自己的记号、不碰;不带记号的旧形与 `none` 留给桶的生命周期规则。";
     };
+    readonly "server.sandbox-secret.seat-unverified": {
+        readonly cls: "F";
+        readonly note: "k8s 车道沙箱秘密座的起服核(`boot/execution-env.ts` `ensureSandboxSecretSeat`,第 5 段 await;只在 `K8S_SANDBOX_ENV` 点到了本进程环境里有的键时问):对沙箱命名空间 secrets 的 env 座那一行动词(create —— 适配器为 env Secret 真发的调用)各发一次 SelfSubjectAccessReview,**问不到**(请求失败 / 审查本身被拒 / 答复没有布尔 `status.allowed`)而没有一个动词答「不许」⇒ 照常起服(答了「不许」⇒ 拒启,不走本 tag)。放行的最坏后果 = RBAC 真缺时第一个要建 Secret 的 run 在连接时被拒(`auth_failed`)、它的 pod 被删 —— 名单值仍然只经该 pod 自己的 Secret,不回落成 pod spec 里的明文;不是门不是凭据的放宽,只是把「缺 RBAC」从起服挪到了第一次连接。detail = `namespace=<ns>` + 每个没问到的动词与原因(不带值)。同拍一行 `sandbox_secret_seat_unverified`。计数非零 = 这台部署起服时没能确认 Secret 动词,按 detail 核 API 可达性与该服务账号能不能建 SelfSubjectAccessReview。";
+    };
+    readonly "server.sandbox-pod-reaper.list-failed": {
+        readonly cls: "F";
+        readonly note: "k8s 车道沙箱 Pod 回收器(`plugins/k8s-pod-reaper.ts` `reapOnce`,维护 tick 每副本每 5 分钟一轮)按身份标签列沙箱命名空间的 Pod **失败**(API 不可达 / 403 / 非 2xx)⇒ 这一轮一只都不删、不抛,下一轮一个周期后照常再列。最坏后果 = 已结束的沙箱 Pod 与已终 run 的 Pod(连同它们以 `ownerReferences` 挂着的 Secret —— 部署名单值 / 成员凭据租约)在 etcd 里多留至少一个周期:是**静态数据**多留,不是凭据被用 —— 成员凭据的使用界是代理的租约(到点 destroy,不随回收器);run 收尾的正常删除路不经本腿。不是门 / 凭据的放宽 ⇒ F。计数逐轮一次 + 探针行(`namespace=` + 原因)+ 同拍一行 warn `sandbox_pod_reap_list_failed`;修前只一行 info 轮次行(`listed:false`),不计数、不响。计数持续非零 = 回收器连续列不到 Pod,按原因核 API 可达性与 Role 的 pods `list`。";
+    };
+    readonly "server.sandbox-pod.delete-failed": {
+        readonly cls: "F";
+        readonly note: "k8s 车道**删一只沙箱 pod 却没删成**,两个座一只上报口(`plugins/k8s-pod-delete-failure.ts` `reportPodDeleteFailed`;detail = `namespace=<ns> pod=<名> why=<原因词> cause=<http_<状态>|request_failed>`):①连接清理座(`plugins/remote-env-k8s.ts` `discardRefusedPod`,`why` = `env_secret_unsealed|lease_secret_unsealed|broker_image_pull_failed`):env Secret / 租约 Secret 建不成、或代理镜像拉不下 ⇒ 连接被拒、该 pod 要删,而这一删本身失败(请求抛 / API 回 403、5xx 等非 2xx 非 404)⇒ 拒答不变(仍是原来那一条),pod 与挂在它名下的 Secret(部署名单值 / 租约占位)留在命名空间里,由回收器兜(`plugins/k8s-pod-reaper.ts`:带 run 标签的按 run 终态删,不带的等容器全部结束后删);②回收器座(`plugins/k8s-pod-reaper.ts` `reapOnce` 的删一步,`why` = `reaper_containers_ended|reaper_run_ended_past_hold`):兜底本身删失败 ⇒ 这一只留到下一轮(一个周期后)再判再删,一只失败不挡同轮其余。最坏后果 = **静态数据**多留至少一个回收周期(与 `server.sandbox-pod-reaper.list-failed` 同一件事的另一半):没有值进 pod spec、没有连接被放过、成员凭据的使用界是代理的租约 ⇒ 不是门 / 凭据的放宽 ⇒ F。计数逐次 + 探针行 + 同拍一行 error `sandbox_pod_delete_failed`(pod / 命名空间 / 原因词 / 原因码,不带值、不带 API 文本;运维行座缺席或只有 warn 的座上行不发、计数照记);修前连接清理三处 `.catch(() => {})` 吞,零日志零计数,回收器的删失败只落一行 warn(不计数)。计数持续非零 = 删 pod 的 Role 动词(pods `delete`)或 API 可达性有问题,按 `cause` 核;`why` 以 `reaper_` 起头的计数持续非零 = 兜底本身删不动,残留会随轮次累积。";
+    };
     readonly "server.sandbox-egress.policy-gap": {
         readonly cls: "P-DEBT";
         readonly note: "k8s 车道沙箱出网的起服自检(`plugins/remote-env-k8s.ts` `checkSandboxEgressPolicy` 读节点表与沙箱 ns 的 NetworkPolicy,判法 `sandbox-egress-policy.ts` `sandboxEgressGaps`;起服一次、不挡起服)读出一个缺口 —— 某节点的 InternalIP / ExternalIP 落在一条放行 ipBlock 内(`kind=node_address_open`)、没有策略以 Egress 选中沙箱 pod(`kind=policy_absent`)、pod 保留 IPv6 而策略层担保不了 v6(`kind=ipv6_enabled`)、节点表或策略表读不到(`kind=unreadable what=nodes|networkpolicies`)⇒ 车道**照常起**,每个缺口一行 `sandbox_egress_policy_gap`(带后果句与去哪改)。归 P 类:出网策略是保护面,缺口意味着沙箱里的代码可能够到节点上的服务;归 DEBT 的理由:修法都在集群配置里(节点地址点名、kubelet 放行 v6 sysctl、CNI 的 v6 执行、RBAC),本服务改不了,而拒起车道会让缺省单节点装法(恒有 `ipv6_enabled`)升级即停摆沙箱执行 —— 车道自己的隔离(VM 边界、零 SA token)仍在。放行的最坏后果 = 读出缺口的那一面照旧可达,直到运维按行里的后果句改配置。计数非零 = 这台部署的沙箱出网面有读得出的缺口。读不出的面(宿主 DNAT 发布端口、「pod 所在节点恒放行」的实现差异、CNI 根本不执行策略)不在本 tag 的射程里。";