@sema-agent/settings-schema 14.7.0 → 14.8.0

package/dist/mcp-request-entry.d.ts

@@ -31,6 +31,16 @@ export declare function isUsableWireName(v: unknown): v is string;
  * (制表 / 换行这类控制空白在回显里被剥掉,所以看得出是空白靠这个种类词,不靠引号里的样子);两件事并存 ⇒ 一句说全(`N chars > 128, leading or trailing whitespace`)。
  */
 export declare function describeBadWireName(v: unknown): string;
+/**
+ * 这个 MCP 服务器名能用吗:{@link isUsableWireName} 再加一臂 —— 不在保留给设备执行端远程 MCP 服务器的 `remote-` 命名空间里(`./mcp-server-name`,字面前缀比较)。
+ * 只多这一臂:线上名的判据(非空、长界、首尾空白)一字不改,别的输入两只判官逐项同答。A2A 对端名只用 {@link isUsableWireName}(它的工具名前缀是 `a2a__`,不在这个命名空间里)。
+ */
+export declare function isUsableMcpServerName(v: unknown): v is string;
+/**
+ * 坏 MCP 服务器名的**可打印**摘要:线上名本身就坏 ⇒ 与 {@link describeBadWireName} 逐字同(长界这类线上名的事实先说,不被保留臂盖掉);
+ * 线上名好而落在保留命名空间里 ⇒ 引号形的回显加那一句原因。
+ */
+export declare function describeBadMcpServerName(v: unknown): string;
 /**
  * 在内容出处词表({@link MCP_CONTENT_ORIGINS})内吗。严判:非串与大小写不符(`"LOCAL"`)一律不在 —— 引擎的词是字面量联合、不做规范化;
  * 替它「宽容一下」等于自造第二份值域语义,而这条轴上宽容的方向恰好是**放宽信任**(把一个写坏的声明读成 `"local"`)。
@@ -46,7 +56,14 @@ export declare function readMcpIdentityHeaders(transport: Record<string, unknown
     principalHeader?: string;
     assertionHeader?: string;
 };
-/** 请求面一条 MCP 条目的传输形:引擎的传输形,http 形多一个承载的 `assertionHeader`(引擎的 http 传输没有这个座;交给引擎之前由消费方剥掉)。 */
+/**
+ * 请求面一条 MCP 条目的传输形。与引擎传输形的关系逐键一句(处置表,对拍 = 上游漂移门 ⑧):
+ *  · `kind` / `command` / `args` / `url` / `principalHeader` —— 与引擎同键同型;
+ *  · `env` / `headers` —— 请求带来的**字面件**:引擎的声明不带值(一台服务器的凭据头 / 子进程环境由部署的对端座每次发送时答),
+ *    所以这两把键交给引擎之前由消费方从声明里拿走、按它自己的对端座答;
+ *  · `assertionHeader` —— 本包承载,引擎的 http 传输没有这个座(交给引擎之前由消费方剥掉);
+ *  · 引擎的 `credentials`(不透明的凭据引用)—— 请求面不收:读器不读它。
+ */
 export type RequestMcpTransport = {
     kind: "stdio";
     command: string;
@@ -62,18 +79,18 @@ export type RequestMcpTransport = {
 /**
  * 条目内一处坏形:`path` = 条目内的键路径(`transport.url`),`reason` = 判官的原因句(只说形与词表,不回显值)。
  *
- * `env` / `headers` 这两张「名 → 串」记录上的坏形另带两格机读位,调用方分流不必解析句子:`fault` = 闭集词 ——
- *  · `not_plain_record`:这个键的值不是纯数据记录(不是对象 / 数组 / `null`,或不是朴素 JSON 对象 —— 原型链比座位的判据长:`Map`、`Set`、类实例);整张记录不交;
- *  · `member_not_string`:有一个成员的值不是串(或访问器抛了);整张记录不交,`member` 点名它;
+ * `env` / `headers` 这两张「名 → 串」记录上的坏形另带两格机读位,调用方分流不必解析句子:`fault` = 闭集词({@link PLAIN_STRING_RECORD_FAULTS},与公开的记录读器 {@link readPlainStringRecord} 同一张表)——
+ *  · `not_plain_record`:这个键的值不是纯数据记录(不是对象 / 数组 / `null`,或不是朴素 JSON 对象 —— 原型链比座位的判据长:`Map`、`Set`、类实例;读形状就抛的对象同);整张记录不交;
+ *  · `member_not_string`:有一个成员的值不是串,或它读不出(它的访问器抛了,或读它的描述符时代理陷阱抛了);整张记录不交,`member` 点名它,两种情形句子分说;
  *  · `member_name_reserved`:有一个成员叫 `__proto__`(引擎的声明收据拒这个名)。成员的值是串 ⇒ 只剔这个成员、其余照交,`path` 是成员级(`transport.env.__proto__`);
- *    成员的值也不是串 ⇒ 整张记录不交,`path` 是键级,句子一次说全两件事 —— 名坏优先、值坏并列,所以词仍是 `member_name_reserved`。
+ *    成员的值也不是串(或读不出)⇒ 整张记录不交,`path` 是键级,句子一次说全两件事 —— 名坏优先、值坏并列,所以词仍是 `member_name_reserved`。
  * `member` 是成员名的**回显形**(剥控制与双向字符、截 64 字加 `…`),可直接进日志与句子,不是回查原对象的键。其余的坏形(`args` / `url` / `principalHeader` / ……)两格都不带。
  */
 export interface McpEntryKeyIssue {
     readonly path: string;
     readonly reason: string;
     readonly member?: string;
-    readonly fault?: "not_plain_record" | "member_not_string" | "member_name_reserved";
+    readonly fault?: PlainStringRecordFault;
 }
 /** {@link readRequestMcpTransport} 的结果:`ok:false` = 硬坏形(这条 server 无从挂载);`ok:true` 的 `lost` = 读器**丢掉**的可选子键(server 照挂、少一个声明)。 */
 export type RequestMcpTransportRead = {
@@ -95,3 +112,38 @@ export type RequestMcpTransportRead = {
  * url 的拒句不回显值:它常规地带凭据(userinfo)。
  */
 export declare function readRequestMcpTransport(t: unknown): RequestMcpTransportRead;
+/**
+ * 引擎的声明收据不收的成员名(core `mcp-server-spec`:按赋值拷贝它会变成原型):JSON 文本铸得出这个**自有**键,对象字面量写不出。
+ * 公开,因为读器交出 `reservedMember: true` 时消费方要点名它 —— 名字只在这里定一次。
+ */
+export declare const PLAIN_STRING_RECORD_RESERVED_MEMBER = "__proto__";
+/**
+ * 「名 → 串」记录读不交(或交时点名保留名)的**原因词**,闭集,三个词、一张表:
+ * 整张一词(`not_plain_record`)· 成员级一词(`member_not_string`:值读成了别的种类,或读成员时抛了 —— 句子分说)· 名字级一词(`member_name_reserved`)。
+ * 词的意义逐词写在 {@link McpEntryKeyIssue}。消费方按词分派,不读句子;读器的读数 {@link PlainStringRecordRead} 与传输条目的机读位 {@link McpEntryKeyIssue} 的 `fault` 都由这一张表推出。
+ * 多一个词而消费方的穷尽 `switch` 不补 ⇒ 编译红(提货成本,不是静默)。
+ */
+export declare const PLAIN_STRING_RECORD_FAULTS: readonly ["not_plain_record", "member_not_string", "member_name_reserved"];
+export type PlainStringRecordFault = (typeof PLAIN_STRING_RECORD_FAULTS)[number];
+/**
+ * {@link readPlainStringRecord} 的读数:`ok:false` = 记录不交(`fault` = 原因词;`detail` 是接在 `must be a plain object of string values — ` 后面的句子;坏在某个成员时 `member` 点名它的回显形);
+ * `ok:true` = 交出去的纯数据副本,`reservedMember` = 记录里有一个名叫 {@link PLAIN_STRING_RECORD_RESERVED_MEMBER} 的成员(它没进副本)。
+ */
+export type PlainStringRecordRead = {
+    readonly ok: true;
+    readonly record: Record<string, string>;
+    readonly reservedMember: boolean;
+} | {
+    readonly ok: false;
+    readonly detail: string;
+    readonly fault: PlainStringRecordFault;
+    readonly member?: string;
+};
+/**
+ * 读一份「名 → 串」记录 —— **公开读口**:传输读器读 `env` / `headers` 用的就是它,消费方读自己的「名 → 串」记录(中心名册的引用表)调同一只,不抄镜像。从不抛。记录交不交:是朴素 JSON 对象(座位的判据,见 `./plain-json-object`:原型是 `null`,或原型自己的原型是 `null`;纯数据 —— `Map`、`Set`、类实例、建在原型上的记录都不是),
+ * 且每个成员的值都是串。成员 = `Object.getOwnPropertyNames` 的每一个名字(不可枚举的也算 —— 引擎的收据按全部自有属性名读),值经内核 `readKey` 读(一份描述符:数据属性取值,访问器调一次,不问 `get` 陷阱;访问器或描述符 trap 抛了同判为坏 —— 词与「值不是串」同是 `member_not_string`,句子说读不出)。
+ * 读原型与成员名时代理 trap 抛了 ⇒ 整张不交(读器对调用方递来的任何对象都不抛;`JSON` 存体里不会有代理,这条只落在直接调读器的嵌入方身上)。
+ * 交出去的是副本(原型 `Object.prototype`、成员全可枚举),调用方的对象不被交出去、也不被改;名叫 `__proto__` 的成员不进副本,`reservedMember` 记下它。
+ * 名叫 `__proto__` 而值也坏的成员,句子一次说全两件事(名坏在前、值坏并列):调用方照值改完再撞第二条是两步才改对。
+ */
+export declare function readPlainStringRecord(v: unknown): PlainStringRecordRead;

package/dist/mcp-request-entry.js

@@ -14,19 +14,22 @@
  *
  * ## 依赖的引擎事实(镜像 + 漂移门)
  *  · 申报名的线长界 {@link TOOL_WIRE_NAME_MAX_CHARS} = 引擎同名常量(值级对拍:上游漂移门 ⑧);
- *  · 请求面传输形 {@link RequestMcpTransport} = 引擎 MCP 条目的传输形,http 形多一个本包承载的 `assertionHeader`(编译期双向对拍:门 ⑧);
+ *  · 请求面传输形 {@link RequestMcpTransport} 对引擎 MCP 条目的传输形是一张处置表,两边每个键恰好一行(编译期两向对拍:门 ⑧)——
+ *    `kind` / `command` / `args` / `url` / `principalHeader` 与引擎同键同型;`env` / `headers` 是请求带来的字面件(引擎的声明不带值);
+ *    `assertionHeader` 本包承载(引擎没有这个座);引擎的 `credentials`(不透明的凭据引用)请求面不收;
  *  · 内容出处词表 = {@link MCP_CONTENT_ORIGINS}(已有的镜像,门 ⑥);
  *  · url 前缀守卫 = `./url-shape` 的 `startsWithHttpScheme`(本包判 URL 的正则只在那一个模块)。它只看前缀,不是形判官 —— 同一个串两口可以答得不同,两张分歧表与收口形(S-2106)写在 `./url-shape` 头注「第二个答案」。
  *
  * ## 与配置面的关系(如实)
  * 配置面的 MCP 条目(`McpServerSpec`,部署声明:凭据只许 env-NAME 引用)与请求面(提交体:可带字面凭据 `env` / `headers`)是两份契约,本模块只管后者。
  * 两份契约对「名」与「url」今天给的判据不同(配置面:名按字符集、url 按 `NON_SECRET_URL`;请求面:名按长度界、url 按 http(s) 前缀),本版刻意不动
- * (语义逐字搬),是一项已知待收的分歧。
+ * (语义逐字搬),是一项已知待收的分歧。`remote-` 保留前缀这一臂也只在请求面(`isUsableMcpServerName`):配置面 `McpServerSpec.name` 不拒它(此前合法的名被拒是校验收紧,归 major,不在 minor 里落),是又一处两面不齐的已知分歧。
  */
 import { echoCallerText } from "./caller-text-echo.js";
 import { UNINSPECTABLE, captureStringArray, dataDescriptor, inspect, ownEntriesOf, ownFieldsOf, ownValueOf, readKey } from "./own-key-read.js";
 import { isJsonArray, isPlainJsonObject, jsonShapeOf } from "./plain-json-object.js";
 import { MCP_CONTENT_ORIGINS } from "./types.js";
+import { RESERVED_MCP_SERVER_NAME_REASON, isReservedMcpServerName } from "./mcp-server-name.js";
 import { startsWithHttpScheme } from "./url-shape.js";
 // ── 值的种类描述(拒句只说「你写的是什么形」,不回显值:值可能带凭据、可能任意长)──────────────────────────────────────
 /** 值的**种类词**(不回显值本身):`null` / `array` / `typeof` 词(`object` / `function` / `string` …);读不出的对象 ⇒ 全包唯一的那一句。形状只问座位(总,不抛):两只坏值描述器共用这一只。 */
@@ -97,7 +100,7 @@ export function isStringRecord(v) {
     if (!isPlainJsonObject(v))
         return false;
     const entries = ownEntriesOf(v);
-    return entries.ok && entries.value.every(([name, value]) => name !== RESERVED_MEMBER_NAME && typeof value === "string");
+    return entries.ok && entries.value.every(([name, value]) => name !== PLAIN_STRING_RECORD_RESERVED_MEMBER && typeof value === "string");
 }
 // ── 调用方写的串的回显口径 ──────────────────────────────────────────────────────────────────────────
 /** 句子里点名一个值的写法:{@link echoCallerText} 外加一对双引号;内部的引号与反斜杠逐字(不转义)。 */
@@ -136,6 +139,23 @@ export function describeBadWireName(v) {
         return `${head} (${tooLong})`;
     return `${head} (${v.length > TOOL_WIRE_NAME_MAX_CHARS ? `${tooLong}, ` : ""}leading or trailing whitespace)`;
 }
+// ── MCP 服务器名(线上名 + 保留命名空间)──────────────────────────────────────────────────────────────────
+/**
+ * 这个 MCP 服务器名能用吗:{@link isUsableWireName} 再加一臂 —— 不在保留给设备执行端远程 MCP 服务器的 `remote-` 命名空间里(`./mcp-server-name`,字面前缀比较)。
+ * 只多这一臂:线上名的判据(非空、长界、首尾空白)一字不改,别的输入两只判官逐项同答。A2A 对端名只用 {@link isUsableWireName}(它的工具名前缀是 `a2a__`,不在这个命名空间里)。
+ */
+export function isUsableMcpServerName(v) {
+    return isUsableWireName(v) && !isReservedMcpServerName(v);
+}
+/**
+ * 坏 MCP 服务器名的**可打印**摘要:线上名本身就坏 ⇒ 与 {@link describeBadWireName} 逐字同(长界这类线上名的事实先说,不被保留臂盖掉);
+ * 线上名好而落在保留命名空间里 ⇒ 引号形的回显加那一句原因。
+ */
+export function describeBadMcpServerName(v) {
+    if (!isUsableWireName(v))
+        return describeBadWireName(v);
+    return `${quotedCallerText(v)} (${RESERVED_MCP_SERVER_NAME_REASON})`;
+}
 // ── 内容出处词 ──────────────────────────────────────────────────────────────────────────────────────
 const CONTENT_ORIGIN_WORDS = new Set(MCP_CONTENT_ORIGINS);
 /**
@@ -303,9 +323,19 @@ function snapshotTransport(tr) {
     return { ok: true, value: { kind: "other", value: kind.value } };
 }
 // ── 「名 → 串」记录的读法(`env` / `headers`)────────────────────────────────────────────────────────
-/** 引擎的声明收据不收的成员名(core `mcp-server-spec`:按赋值拷贝它会变成原型):JSON 文本铸得出这个**自有**键,对象字面量写不出。 */
-const RESERVED_MEMBER_NAME = "__proto__";
-const RESERVED_MEMBER_FAULT = `no member of a declaration may be named "${RESERVED_MEMBER_NAME}"`;
+/**
+ * 引擎的声明收据不收的成员名(core `mcp-server-spec`:按赋值拷贝它会变成原型):JSON 文本铸得出这个**自有**键,对象字面量写不出。
+ * 公开,因为读器交出 `reservedMember: true` 时消费方要点名它 —— 名字只在这里定一次。
+ */
+export const PLAIN_STRING_RECORD_RESERVED_MEMBER = "__proto__";
+const RESERVED_MEMBER_FAULT = `no member of a declaration may be named "${PLAIN_STRING_RECORD_RESERVED_MEMBER}"`;
+/**
+ * 「名 → 串」记录读不交(或交时点名保留名)的**原因词**,闭集,三个词、一张表:
+ * 整张一词(`not_plain_record`)· 成员级一词(`member_not_string`:值读成了别的种类,或读成员时抛了 —— 句子分说)· 名字级一词(`member_name_reserved`)。
+ * 词的意义逐词写在 {@link McpEntryKeyIssue}。消费方按词分派,不读句子;读器的读数 {@link PlainStringRecordRead} 与传输条目的机读位 {@link McpEntryKeyIssue} 的 `fault` 都由这一张表推出。
+ * 多一个词而消费方的穷尽 `switch` 不补 ⇒ 编译红(提货成本,不是静默)。
+ */
+export const PLAIN_STRING_RECORD_FAULTS = ["not_plain_record", "member_not_string", "member_name_reserved"];
 /** 记录不交时 `detail` 的前半句:它是哪一种不朴素(null / 数组 / 原始值各一句,对象里的非朴素一句)。`shape` 穷举 —— 新词不补 = 编译红。 */
 function notPlainDetail(shape, v) {
     switch (shape) {
@@ -328,13 +358,13 @@ function notPlainDetail(shape, v) {
     }
 }
 /**
- * 读一份「名 → 串」记录。记录交不交:是朴素 JSON 对象(座位的判据,见 `./plain-json-object`:原型是 `null`,或原型自己的原型是 `null`;纯数据 —— `Map`、`Set`、类实例、建在原型上的记录都不是),
- * 且每个成员的值都是串。成员 = `Object.getOwnPropertyNames` 的每一个名字(不可枚举的也算 —— 引擎的收据按全部自有属性名读),值经内核 `readKey` 读(一份描述符:数据属性取值,访问器调一次,不问 `get` 陷阱;访问器或描述 trap 抛了同判为坏)。
+ * 读一份「名 → 串」记录 —— **公开读口**:传输读器读 `env` / `headers` 用的就是它,消费方读自己的「名 → 串」记录(中心名册的引用表)调同一只,不抄镜像。从不抛。记录交不交:是朴素 JSON 对象(座位的判据,见 `./plain-json-object`:原型是 `null`,或原型自己的原型是 `null`;纯数据 —— `Map`、`Set`、类实例、建在原型上的记录都不是),
+ * 且每个成员的值都是串。成员 = `Object.getOwnPropertyNames` 的每一个名字(不可枚举的也算 —— 引擎的收据按全部自有属性名读),值经内核 `readKey` 读(一份描述符:数据属性取值,访问器调一次,不问 `get` 陷阱;访问器或描述符 trap 抛了同判为坏 —— 词与「值不是串」同是 `member_not_string`,句子说读不出)。
  * 读原型与成员名时代理 trap 抛了 ⇒ 整张不交(读器对调用方递来的任何对象都不抛;`JSON` 存体里不会有代理,这条只落在直接调读器的嵌入方身上)。
  * 交出去的是副本(原型 `Object.prototype`、成员全可枚举),调用方的对象不被交出去、也不被改;名叫 `__proto__` 的成员不进副本,`reservedMember` 记下它。
  * 名叫 `__proto__` 而值也坏的成员,句子一次说全两件事(名坏在前、值坏并列):调用方照值改完再撞第二条是两步才改对。
  */
-function readPlainStringRecord(v) {
+export function readPlainStringRecord(v) {
     // 形状归座位旁的分类(不在这里再推一遍;座位总 —— 读形状就抛的对象答 `uninspectable`)。成员名的读取(`ownKeys` 陷阱抛)读不出的对象也不是纯数据。
     // 读器不抛出去 —— 重放存量提交体的腿被一次抛错砖死比整键不交糟,而「整键不交」是响亮的(进 `lost`)。检视律与句都在 `inspect`。
     const shape = jsonShapeOf(v);
@@ -355,15 +385,17 @@ function readPlainStringRecord(v) {
         const value = read.presence === "own" ? read.value : undefined;
         if (unreadable || typeof value !== "string") {
             const valueFault = unreadable ? "could not be read (its getter threw)" : `must be a string — got ${describeValueShape(value)}`;
-            const reserved = name === RESERVED_MEMBER_NAME;
+            const reserved = name === PLAIN_STRING_RECORD_RESERVED_MEMBER;
+            // 词:名坏优先(句子里值坏并列说全);名没问题时,读不出与值不是串同词,句子分说
+            const fault = reserved ? "member_name_reserved" : "member_not_string";
             return {
                 ok: false,
-                fault: reserved ? "member_name_reserved" : "member_not_string",
+                fault,
                 member: echoCallerText(name),
                 detail: `its member "${echoCallerText(name)}" ${reserved ? `is not allowed (${RESERVED_MEMBER_FAULT}) and its value ${valueFault}` : valueFault}`,
             };
         }
-        if (name === RESERVED_MEMBER_NAME)
+        if (name === PLAIN_STRING_RECORD_RESERVED_MEMBER)
             reservedMember = true;
         else
             Object.defineProperty(members, name, dataDescriptor(value));
@@ -388,6 +420,6 @@ function readTransportRecord(path, raw) {
     }
     return {
         record: read.record,
-        issues: read.reservedMember ? [{ path: `${path}.${RESERVED_MEMBER_NAME}`, reason: RESERVED_MEMBER_FAULT, member: RESERVED_MEMBER_NAME, fault: "member_name_reserved" }] : [],
+        issues: read.reservedMember ? [{ path: `${path}.${PLAIN_STRING_RECORD_RESERVED_MEMBER}`, reason: RESERVED_MEMBER_FAULT, member: PLAIN_STRING_RECORD_RESERVED_MEMBER, fault: "member_name_reserved" }] : [],
     };
 }

package/dist/mcp-server-name.d.ts

@@ -0,0 +1,17 @@
+/**
+ * MCP 服务器名的保留命名空间 —— 一处定义,请求面的 MCP 名判官(`isUsableMcpServerName` / `describeBadMcpServerName`)读同一个谓词、说同一句原因。
+ * 配置面 `McpServerSpec.name` **不读**它(受理以这个前缀起头的名):此前合法的名被拒是校验收紧,按发版纪律归 major。
+ * 纯数据 + 纯函数,浏览器安全(叶模块:不 import 本包别的模块)。
+ *
+ * 设备执行端(device executor)提供的远程 MCP 服务器以 `remote-<名>` 挂载,工具名 `mcp__remote-<名>__<工具>`。部署声明的、请求带来的 MCP 条目若也用这个前缀,
+ * 一台它们声明的服务器就与一台设备上的服务器同名、落进同一个工具名命名空间 —— 所以这个前缀只归设备挂载。
+ *
+ * 比较按**字面**(区分大小写、不规范化):引擎铸工具名前缀时保留大小写、只把 `[A-Za-z0-9_-]` 之外的字符换成 `_`,`remote-` 这七个字符原样保留 ——
+ * 所以「名字以 `remote-` 起头」恰好等于「铸出的命名空间段以 `remote-` 起头」;`Remote-x` 铸成 `mcp__Remote-x__`,不在这个命名空间里。
+ */
+/** 保留给设备执行端远程 MCP 服务器的名字前缀(挂载名 = 这个前缀 + 设备声明的服务器名)。 */
+export declare const REMOTE_MCP_SERVER_NAME_PREFIX = "remote-";
+/** 这个 MCP 服务器名落在保留命名空间里吗(字面前缀比较)。 */
+export declare function isReservedMcpServerName(name: string): boolean;
+/** 保留前缀的原因句(不回显名字 —— 回显由读它的那一面按自己的口径加)。 */
+export declare const RESERVED_MCP_SERVER_NAME_REASON = "the \"remote-\" prefix is reserved for the remote MCP servers a device executor offers";

package/dist/mcp-server-name.js

@@ -0,0 +1,19 @@
+/**
+ * MCP 服务器名的保留命名空间 —— 一处定义,请求面的 MCP 名判官(`isUsableMcpServerName` / `describeBadMcpServerName`)读同一个谓词、说同一句原因。
+ * 配置面 `McpServerSpec.name` **不读**它(受理以这个前缀起头的名):此前合法的名被拒是校验收紧,按发版纪律归 major。
+ * 纯数据 + 纯函数,浏览器安全(叶模块:不 import 本包别的模块)。
+ *
+ * 设备执行端(device executor)提供的远程 MCP 服务器以 `remote-<名>` 挂载,工具名 `mcp__remote-<名>__<工具>`。部署声明的、请求带来的 MCP 条目若也用这个前缀,
+ * 一台它们声明的服务器就与一台设备上的服务器同名、落进同一个工具名命名空间 —— 所以这个前缀只归设备挂载。
+ *
+ * 比较按**字面**(区分大小写、不规范化):引擎铸工具名前缀时保留大小写、只把 `[A-Za-z0-9_-]` 之外的字符换成 `_`,`remote-` 这七个字符原样保留 ——
+ * 所以「名字以 `remote-` 起头」恰好等于「铸出的命名空间段以 `remote-` 起头」;`Remote-x` 铸成 `mcp__Remote-x__`,不在这个命名空间里。
+ */
+/** 保留给设备执行端远程 MCP 服务器的名字前缀(挂载名 = 这个前缀 + 设备声明的服务器名)。 */
+export const REMOTE_MCP_SERVER_NAME_PREFIX = "remote-";
+/** 这个 MCP 服务器名落在保留命名空间里吗(字面前缀比较)。 */
+export function isReservedMcpServerName(name) {
+    return name.startsWith(REMOTE_MCP_SERVER_NAME_PREFIX);
+}
+/** 保留前缀的原因句(不回显名字 —— 回显由读它的那一面按自己的口径加)。 */
+export const RESERVED_MCP_SERVER_NAME_REASON = `the "${REMOTE_MCP_SERVER_NAME_PREFIX}" prefix is reserved for the remote MCP servers a device executor offers`;

package/dist/migration-receipt.d.ts

@@ -2,11 +2,12 @@
  * 一次性迁移的**收据形**与两张闭集(11.0.0)—— 叶子模块(运行期零依赖;只有型导入),由 `./one-time-migrations` 再导出(不进主桶)。
  * 单拆出来只为一件事:调度店的读口(`./scheduler-store`,轻、浏览器安全)要在告警里带收据,不该为一个型把整套域 schema 拉进来。
  */
+import type { ENV_MODELS_DOCUMENT } from "./config-root-documents.js";
 import type { REMOTE_EXEC_DOCUMENT } from "./remote-exec.js";
 import type { DomainName, RetiredDomainName } from "./types.js";
 /** 本版登记的一次性**数据**迁移 id(闭集;每个 id 在 `ONE_TIME_MIGRATIONS` 登记表里恰一行)。收据只许这些 id —— 同表登记的 wire 删码位
  *  (`WIRE_RETIREMENT_IDS`,`./one-time-migrations`)不改任何存储形,铸不出收据,不在本集。 */
-export declare const ONE_TIME_MIGRATION_IDS: readonly ["SS-M1", "SS-M2", "SS-M3", "SS-M4", "SS-M5", "SS-M6", "SS-M7", "SS-M8", "SS-M9", "SS-M10"];
+export declare const ONE_TIME_MIGRATION_IDS: readonly ["SS-M1", "SS-M2", "SS-M3", "SS-M4", "SS-M5", "SS-M6", "SS-M7", "SS-M8", "SS-M9", "SS-M10", "SS-M11"];
 export type OneTimeMigrationId = (typeof ONE_TIME_MIGRATION_IDS)[number];
 /**
  * 一条收据说迁移**对一个坐标做了什么**(闭集,每词一义):
@@ -14,12 +15,15 @@ export type OneTimeMigrationId = (typeof ONE_TIME_MIGRATION_IDS)[number];
  *  - `rewritten`        — 同一坐标上的值换成今天的生效读法(例:URL 剥掉从不上线的 fragment、调度行的 durable 键重铸、6.x 的 worker 行换新形);
  *  - `dropped-shadowed` — 删掉;它从来没生效过,因为另一个位赢了(例:`governance` 已设时 `runtime` 上的治理旧键、`sealedApiKey` 在场时的 `apiKeyEnv`);
  *  - `dropped-inert`    — 删掉;今天的读法本就不让它生效(例:超界的主机条目、引擎从不读的旧字段、空的retired 域文档);
- *  - `refused`          — 不改:要改就得替运维猜(或旧文档今天本就读不进);原样留着,读侧照旧响亮拒,`reason` 说为什么。
+ *  - `refused`          — 不改:要改就得替运维猜(或旧文档今天本就读不进);原样留着,读侧照旧响亮拒,`reason` 说为什么;
+ *  - `minted`           — 在**缺席处**写下一份新事实(一份部署决定),不改任何已有的值 —— 只有 SS-M11 铸(配置根的 `config.env-models.json`:
+ *                         升级前「管模型面的目录整表顶替 env 模型」的读法,写成 `replaced`;不存在才建)。
  */
-export declare const MIGRATION_APPLIED_AS: readonly ["moved", "rewritten", "dropped-shadowed", "dropped-inert", "refused"];
+export declare const MIGRATION_APPLIED_AS: readonly ["moved", "rewritten", "dropped-shadowed", "dropped-inert", "refused", "minted"];
 export type MigrationAppliedAs = (typeof MIGRATION_APPLIED_AS)[number];
-/** 收据指向的那份文档:配置域名、retired 域名(`runtime`)、`config.d/remote-exec.json`(`remote-exec`),或调度店(`scheduler-store`)。 */
-export type MigrationDocument = DomainName | RetiredDomainName | typeof REMOTE_EXEC_DOCUMENT | "scheduler-store";
+/** 收据指向的那份文档:配置域名、retired 域名(`runtime`)、`config.d/remote-exec.json`(`remote-exec`)、调度店(`scheduler-store`),
+ *  或配置根上的 env 模型表决定(`config.env-models`,SS-M11 铸)。 */
+export type MigrationDocument = DomainName | RetiredDomainName | typeof REMOTE_EXEC_DOCUMENT | "scheduler-store" | typeof ENV_MODELS_DOCUMENT;
 /** 文档里的段坐标(字符串段 = 对象键,数字段 = 数组下标;与告警坐标同一形)。 */
 export type MigrationPath = readonly (string | number)[];
 interface ReceiptBase {
@@ -35,7 +39,7 @@ export type MigrationReceipt = (ReceiptBase & {
         readonly path: MigrationPath;
     };
 }) | (ReceiptBase & {
-    readonly appliedAs: "rewritten" | "dropped-shadowed" | "dropped-inert";
+    readonly appliedAs: "rewritten" | "dropped-shadowed" | "dropped-inert" | "minted";
 }) | (ReceiptBase & {
     readonly appliedAs: "refused";
     readonly reason: string;

package/dist/migration-receipt.js

@@ -1,12 +1,14 @@
 /** 本版登记的一次性**数据**迁移 id(闭集;每个 id 在 `ONE_TIME_MIGRATIONS` 登记表里恰一行)。收据只许这些 id —— 同表登记的 wire 删码位
  *  (`WIRE_RETIREMENT_IDS`,`./one-time-migrations`)不改任何存储形,铸不出收据,不在本集。 */
-export const ONE_TIME_MIGRATION_IDS = ["SS-M1", "SS-M2", "SS-M3", "SS-M4", "SS-M5", "SS-M6", "SS-M7", "SS-M8", "SS-M9", "SS-M10"];
+export const ONE_TIME_MIGRATION_IDS = ["SS-M1", "SS-M2", "SS-M3", "SS-M4", "SS-M5", "SS-M6", "SS-M7", "SS-M8", "SS-M9", "SS-M10", "SS-M11"];
 /**
  * 一条收据说迁移**对一个坐标做了什么**(闭集,每词一义):
  *  - `moved`            — 值搬到新位(`to`),义不变;
  *  - `rewritten`        — 同一坐标上的值换成今天的生效读法(例:URL 剥掉从不上线的 fragment、调度行的 durable 键重铸、6.x 的 worker 行换新形);
  *  - `dropped-shadowed` — 删掉;它从来没生效过,因为另一个位赢了(例:`governance` 已设时 `runtime` 上的治理旧键、`sealedApiKey` 在场时的 `apiKeyEnv`);
  *  - `dropped-inert`    — 删掉;今天的读法本就不让它生效(例:超界的主机条目、引擎从不读的旧字段、空的retired 域文档);
- *  - `refused`          — 不改:要改就得替运维猜(或旧文档今天本就读不进);原样留着,读侧照旧响亮拒,`reason` 说为什么。
+ *  - `refused`          — 不改:要改就得替运维猜(或旧文档今天本就读不进);原样留着,读侧照旧响亮拒,`reason` 说为什么;
+ *  - `minted`           — 在**缺席处**写下一份新事实(一份部署决定),不改任何已有的值 —— 只有 SS-M11 铸(配置根的 `config.env-models.json`:
+ *                         升级前「管模型面的目录整表顶替 env 模型」的读法,写成 `replaced`;不存在才建)。
  */
-export const MIGRATION_APPLIED_AS = ["moved", "rewritten", "dropped-shadowed", "dropped-inert", "refused"];
+export const MIGRATION_APPLIED_AS = ["moved", "rewritten", "dropped-shadowed", "dropped-inert", "refused", "minted"];

package/dist/node.d.ts

@@ -12,3 +12,4 @@ export * from "./scheduler-store-node.js";
 export { migrateConfigDirectory, migrateConfigDocuments, // 14.5.0:同一段「迁 → 整域终判」的同步口(入参是已有的存量文档,无 io)—— 目录形调的就是它的内核
 type ConfigDirectoryDocument, type ConfigDirectoryIo, type ConfigDirectoryMigration, type ConfigDirectoryRefusal, type ConfigDocumentsMigration, type MigrateConfigDirectoryOptions, type MigrateConfigDocumentsOptions, } from "./config-dir-migration.js";
 export { nodeConfigDirectoryIo } from "./config-dir-io.js";
+export { migrateEnvModelsDecision, nodeConfigRootIo, readEnvModelsDecision, readMigrationMarker, writeEnvModelsDecision, type ConfigRootIo, type EnvModelsDecisionWrite, type EnvModelsMigration, type EnvModelsMint, } from "./config-root-node.js";

package/dist/node.js

@@ -13,3 +13,5 @@ export * from "./scheduler-store-node.js"; // R7 self-wake scheduler store — f
 export { migrateConfigDirectory, migrateConfigDocuments, // 14.5.0:同一段「迁 → 整域终判」的同步口(入参是已有的存量文档,无 io)—— 目录形调的就是它的内核
  } from "./config-dir-migration.js";
 export { nodeConfigDirectoryIo } from "./config-dir-io.js"; // 上面那只函数的真 I/O 绑定:node:fs + 本包唯一的原子写器(config-document 模式规则)
+// 配置根上的决定文档(config.env-models.json)与按 id 的运行记录(config.migration.<id>.json)的两只读者、决定文档的唯一写函数(运行记录由迁移独占创建),与一次性迁移 SS-M11 的迁移体(名字与闭集答案表在包根)。显式列名。
+export { migrateEnvModelsDecision, nodeConfigRootIo, readEnvModelsDecision, readMigrationMarker, writeEnvModelsDecision, } from "./config-root-node.js";

package/dist/one-time-migrations.d.ts

@@ -14,8 +14,10 @@ export interface OneTimeMigrationWindow {
      *   · `refused`           — 读写两面拒,拒句点名本行 id(经 `migrationSignpost` 铸;钉:每个 `refused` 行的 id 在 `src/` 至少一处铸点,
      *                           且非 `refused` 行零铸点);
      *   · `rewritten-on-read` — 读时改写、不拒(SS-M3:调度店的下一个写者落盘),没有拒句可点名;
-     *   · `not-stored`        — 没有存储形(wire 删码位),谈不上拒。 */
-    readonly oldForm: "refused" | "rewritten-on-read" | "not-stored";
+     *   · `not-stored`        — 没有存储形(wire 删码位),谈不上拒;
+     *   · `read-as-default`   — 旧形是一份文档的**缺席**(SS-M11:配置根上没有 `config.env-models.json`),读者按它的缺省读(`kept`),不拒、没有拒句可点名 ——
+     *                           缺省读出来的后果由读者自己的响亮臂说(引擎的模型面组拒句点名出路)。 */
+    readonly oldForm: "refused" | "rewritten-on-read" | "not-stored" | "read-as-default";
     /** 引入这条迁移的版本。 */
     readonly introducedIn: string;
     /** 该版本在 npm 上的发布日(UTC 日历日 YYYY-MM-DD)。`null` = 未发布形,由抬 `package.json` 到 `introducedIn` 的发布准备提交回填。 */

package/dist/one-time-migrations.js

@@ -11,7 +11,13 @@
  * **迁移只认形、不认义**:每一步的输入形在新契约下非法、输出形合法 ⇒ 重跑恒等,新写入的数据永远不会被当成旧数据再改一次,不需要版本围栏;
  * 同一串字节换意思的改动一律**换表示**(SS-M6 因此是「`atModelAllowlist` → `atMention`」换字段,而不是翻 `[]` 的义)。
  *
- * ## 入口(纯函数:不读环境、不读墙钟、不改入参、**不抬任何版本号**)
+ * ## 第二种机制:在配置根上铸一次事实(只有 SS-M11)
+ * 上面的「只认形」律管的是**改写存储文档**的迁移。SS-M11 不改写任何存储形:它在一份文档**缺席**处铸一份部署决定(配置根的 `config.env-models.json`,收据词 `minted`),
+ * 而「缺席」本身没有形可认 —— 所以它不归上面的律,另有三条:① 它读 env、碰文件系统,住 `./node`(`migrateEnvModelsDecision`),不在下面的纯函数入口里;
+ * ② 它靠**按 id 一份的运行记录**(`config.migration.SS-M11.json`,「不存在才建」)跑恰一次,建成运行记录的进程是本根唯一的执行者;
+ * ③ 它的旧形待遇是 `read-as-default`(缺席按读者的缺省 `kept` 读,没有拒句可点名)。窗、删法与删后由谁接住照样只写在登记表那一行。
+ *
+ * ## 入口(纯函数:不读环境、不读墙钟、不改入参、**不抬任何版本号**;SS-M11 除外,见上一节)
  *  · {@link migrateStoredDocuments} —— 一组**存储文档**(域名 → 文档;还有本机的 `remote-exec` —— `config.d/remote-exec.json`,
  *    只有 SS-M7 的座位走查读它)。一个 scope 的全部草稿、一个 principal 层(个人 models / mcp / skills / plugins)、回滚史里的一条单域行,各调一次;`coverage` 说这组文档是不是一个 scope 的全集(只有 SS-M1 要知道:缺席的
  *    `governance` 是「从未设过」还是「没给」)。缺的域 = 不动。
@@ -176,6 +182,28 @@ export const ONE_TIME_MIGRATIONS = [
         afterRemoval: "the prompts `bindings` / `catalog` tombstone fields (permanent): a residual key is refused on read and write (the prompts domain degrades " +
             "to its default — no center layer is served)",
     },
+    {
+        id: "SS-M11",
+        oldForm: "read-as-default",
+        introducedIn: "14.8.0",
+        releasedOn: "2026-10-27",
+        removableAfter: "2026-11-26",
+        rewrites: "nothing stored is rewritten — the config root's env-model-table decision is minted once (migrateEnvModelsDecision, ./node): when the run " +
+            "marker config.migration.SS-M11.json is absent (a marker that does not read counts as run), the decision and whether config.d/models.json " +
+            "manages the model plane (catalogManagesModelPlane) are read first; then the marker is created exclusively — the one process that creates " +
+            "it is the only one that may mint on this root, any other stops for good — and that minter creates {\"envModels\":\"replaced\"} " +
+            "exclusively only when the decision it read before the election is absent and the catalog manages the model plane (whether an env model " +
+            "table is declared does not matter: the env only names the replaced env models) — the reading before the decision existed (a managing " +
+            "catalog replaced the env model table). Outcomes: minted / exists (only EEXIST) / failed (errno + a manual way out); an interruption after the marker is " +
+            "never retried. An absent root is created owner-only, holding only the marker; config.d is never created",
+        removal: "the next major after the window: delete migrateEnvModelsDecision (the SS-M11 body), this row, SS-M11 from ONE_TIME_MIGRATION_IDS, the " +
+            "`minted` receipt word and the `read-as-default` oldForm word; the marker then has no reader — readMigrationMarker and the marker's " +
+            "entry in CONFIG_ROOT_DOCUMENTS go with it (a marker left on disk is inert)",
+        afterRemoval: "an absent decision reads as kept — the reading the group-refusal code config.catalog_replaces_env_models is for: this package exports " +
+            "that code constant and the decision document for the engine to read, enforcing it is the engine's side, and the engine does not " +
+            "refuse on it today. Where the engine refuses, the way out is to write config.env-models.json = {\"envModels\":\"replaced\"} in the " +
+            "config root; no signpost in this package",
+    },
     {
         // 一条 wire 位的删码登记,不是数据迁移(id 在 WIRE_RETIREMENT_IDS,不在收据闭集)。
         id: "SS-W1",

package/dist/own-key-read.d.ts

@@ -24,7 +24,7 @@
  *    以及交回原引用 / 作类型守卫 / 对原值下判决的读口:`isStringArray` / `isStringRecord` / `isSchedulerRecord`、`readSettingsUnit` 的列表单元与环境变量表、比较器的串集合(`tightenVerdict` 的集合规则)。
  *  内核覆盖声明键读与整容器读;**仍自带读法的读者按名登记**(各自写明契约;普查钉按「文件 → 函数 → 读法 API」逐处数,登记外出现即红):
  *    既有、未经内核的数据读者:`tightenVerdict` 的 `none` 规则(`strictJsonCopy`:对象的不可枚举键跳过、访问器 ⇒ 整份 `unreadable`;数组按 `length` 逐位读描述符 —— `length` 走一次 `[[Get]]`、不可枚举的下标照读)·
- *    被丢条目的身份(`readEntryIdentity`:访问器 ⇒ 当缺席,从不调)· 传输记录读法(`readPlainStringRecord`:自己枚举成员名 `getOwnPropertyNames`,值经 {@link readKey});
+ *    被丢条目的身份(`readEntryIdentity` 读 `name` / `id`,它调的 `ownEnabledFlag`(`./catalog-manages`,与原文判官共用)读 `enabled` —— 同一读法:访问器 ⇒ 当缺席,从不调)· 传输记录读法(`readPlainStringRecord`:自己枚举成员名 `getOwnPropertyNames`,值经 {@link readKey});
  *    不是数据读的:安全判官 `extraBodyUnsafe` 的审计读(`./types`:问「任何自有键上有没有可疑」,含符号键与会抛的描述符,访问器 ⇒ 判不安全,从不调)。
  *  直接用 `[[Get]]` 的几处(不经内核,按名登记):hooks 分类器(`Object.keys` + 成员读;闭包可抄的内建写法,随闭包契约变更收)· `collectDropped` / `collectionSlots`(`./config-fns`:
  *  未知键扫描与条目集合的位置表,自己枚举容器再 `[[Get]]`;既有)· http hook 名单读器与判官的**普通读对拍**(安全轴的名单、判官的 `layers` / `hookVars` 要描述符视图

package/dist/retired-form.d.ts

@@ -7,6 +7,9 @@
  *
  * 墓碑是**拒**,不是第二种读法:它不把旧形读成任何值,只说「这里有一份没迁的旧形」以及去哪儿迁。迁移族按登记表的窗整族删,
  * 墓碑留下 —— 到那时拒句里的迁移 id 由删码那一车改写(登记表那一行的 `removal` 点名了这件事)。
+ *
+ * **墓碑表**:每个 {@link retiredKey} 铸出的墓碑在铸造时登记一行({@link RetiredKeyRow}:键名、形、整句)。表的读者两个 —— 读面的终判
+ * ({@link retiredKeyOfSentence}:一条 zod issue 的 message 恰是某个墓碑的整句 ⇒ 这是一条墓碑 issue)与测试({@link retiredKeyTable}:从表读名单,不手抄)。
  */
 import { z } from "zod";
 /** 迁移命令行的唯一拼写:`npx` 全名形 —— 没装本包的运维粘贴即可跑(裸 bin 名在没装本包的机器上是 `command not found`)。参数是一个 `config.d` 目录。
@@ -29,8 +32,24 @@ export interface RetiredForm {
     readonly migration: string;
 }
 export declare function retiredFormSentence(form: string, t: RetiredForm): string;
+/** 墓碑表的一行:`key` 是墓碑字段在它所在对象里的点路径(例:`runtime.sessionBackend`),`sentence` 是它的拒句整句(= 那条 zod issue 的 message)。 */
+export interface RetiredKeyRow {
+    readonly key: string;
+    readonly form: RetiredForm;
+    readonly sentence: string;
+}
 /**
  * retired**键**的墓碑字段:放在该键原来所在的对象形里,键缺席 = 合法,键在场(任何值)= 一条 issue(路径就是那个键、句子点名迁移)。
  * 输出形里它恒缺席(型上是 `?: undefined`),JSON Schema 上是 `not: {}`(「不许出现」)—— 墓碑写在旧键原来的位置上,schema 自己说明它retired了。
  */
 export declare function retiredKey(key: string, t: RetiredForm): z.ZodOptional<z.ZodNever>;
+/** 墓碑表(一份副本,按铸造次序)。 */
+export declare function retiredKeyTable(): readonly RetiredKeyRow[];
+/** 一条 zod issue 的 message 恰是某个墓碑的整句 ⇒ 那一行;否则 `undefined`。 */
+export declare function retiredKeyOfSentence(message: string): RetiredKeyRow | undefined;
+/**
+ * 墓碑在**读面**(终判扣下一行时的拒句)的说法:不点名那个旧字段的名字 —— 它就在盘上那一行里,结构化的坐标(`field`)已经指到它;
+ * 文字说现行位、迁移是一条出路,以及「迁移拒过这一行」的出路。读面是纯函数、无 I/O,不知道这一行跑没跑过迁移,所以两种情形都要成立:
+ * 没跑过 ⇒ 跑迁移;跑过且拒了(迁移不写回半成品,原行留在盘上)⇒ 手写现行形、删掉旧字段。
+ */
+export declare function retiredKeyHeldSentence(t: RetiredForm): string;

package/dist/retired-form.js

@@ -7,6 +7,9 @@
  *
  * 墓碑是**拒**,不是第二种读法:它不把旧形读成任何值,只说「这里有一份没迁的旧形」以及去哪儿迁。迁移族按登记表的窗整族删,
  * 墓碑留下 —— 到那时拒句里的迁移 id 由删码那一车改写(登记表那一行的 `removal` 点名了这件事)。
+ *
+ * **墓碑表**:每个 {@link retiredKey} 铸出的墓碑在铸造时登记一行({@link RetiredKeyRow}:键名、形、整句)。表的读者两个 —— 读面的终判
+ * ({@link retiredKeyOfSentence}:一条 zod issue 的 message 恰是某个墓碑的整句 ⇒ 这是一条墓碑 issue)与测试({@link retiredKeyTable}:从表读名单,不手抄)。
  */
 import { z } from "zod";
 import { shellQuote } from "./shell-quote.js";
@@ -27,10 +30,30 @@ export function migrationSignpost(migration, before) {
 export function retiredFormSentence(form, t) {
     return `${form} was retired in ${t.retiredIn} — now ${t.now}; ${migrationSignpost(t.migration, t.retiredIn)}`;
 }
+/** 整句 → 行。同一个键在两处 schema 里以同一个形退役(整句逐字同)只占一行。 */
+const TOMBSTONES = new Map();
 /**
  * retired**键**的墓碑字段:放在该键原来所在的对象形里,键缺席 = 合法,键在场(任何值)= 一条 issue(路径就是那个键、句子点名迁移)。
  * 输出形里它恒缺席(型上是 `?: undefined`),JSON Schema 上是 `not: {}`(「不许出现」)—— 墓碑写在旧键原来的位置上,schema 自己说明它retired了。
  */
 export function retiredKey(key, t) {
-    return z.never({ error: retiredFormSentence(key, t) }).optional();
+    const sentence = retiredFormSentence(key, t);
+    TOMBSTONES.set(sentence, Object.freeze({ key, form: t, sentence }));
+    return z.never({ error: sentence }).optional();
+}
+/** 墓碑表(一份副本,按铸造次序)。 */
+export function retiredKeyTable() {
+    return [...TOMBSTONES.values()];
+}
+/** 一条 zod issue 的 message 恰是某个墓碑的整句 ⇒ 那一行;否则 `undefined`。 */
+export function retiredKeyOfSentence(message) {
+    return TOMBSTONES.get(message);
+}
+/**
+ * 墓碑在**读面**(终判扣下一行时的拒句)的说法:不点名那个旧字段的名字 —— 它就在盘上那一行里,结构化的坐标(`field`)已经指到它;
+ * 文字说现行位、迁移是一条出路,以及「迁移拒过这一行」的出路。读面是纯函数、无 I/O,不知道这一行跑没跑过迁移,所以两种情形都要成立:
+ * 没跑过 ⇒ 跑迁移;跑过且拒了(迁移不写回半成品,原行留在盘上)⇒ 手写现行形、删掉旧字段。
+ */
+export function retiredKeyHeldSentence(t) {
+    return `a field retired in ${t.retiredIn} is still in the row — now ${t.now}; ${migrationSignpost(t.migration, t.retiredIn)}; if that migration already refused this row, write the current form by hand and delete the old field`;
 }

package/dist/safety-merge-spec.d.ts

@@ -92,8 +92,8 @@ export declare const MIN_TRUST_WORDS: readonly ["local", "session", "project", "
 export declare const MinTrust: z.ZodEnum<{
     local: "local";
     session: "session";
-    project: "project";
     global: "global";
+    project: "project";
     managed: "managed";
     task: "task";
 }>;
@@ -151,8 +151,8 @@ export declare const MemberAdmission: z.ZodObject<{
     minTrust: z.ZodOptional<z.ZodEnum<{
         local: "local";
         session: "session";
-        project: "project";
         global: "global";
+        project: "project";
         managed: "managed";
         task: "task";
     }>>;
@@ -161,8 +161,8 @@ export declare const MemberAdmission: z.ZodObject<{
         minTrust: z.ZodEnum<{
             local: "local";
             session: "session";
-            project: "project";
             global: "global";
+            project: "project";
             managed: "managed";
             task: "task";
         }>;
@@ -264,8 +264,8 @@ export declare const MergeCategorySpec: z.ZodObject<{
     minTrust: z.ZodEnum<{
         local: "local";
         session: "session";
-        project: "project";
         global: "global";
+        project: "project";
         managed: "managed";
         task: "task";
     }>;
@@ -314,8 +314,8 @@ export declare const MergeCategorySpec: z.ZodObject<{
         minTrust: z.ZodOptional<z.ZodEnum<{
             local: "local";
             session: "session";
-            project: "project";
             global: "global";
+            project: "project";
             managed: "managed";
             task: "task";
         }>>;
@@ -324,8 +324,8 @@ export declare const MergeCategorySpec: z.ZodObject<{
             minTrust: z.ZodEnum<{
                 local: "local";
                 session: "session";
-                project: "project";
                 global: "global";
+                project: "project";
                 managed: "managed";
                 task: "task";
             }>;

package/dist/tier-words.d.ts

@@ -0,0 +1,33 @@
+/**
+ * 档位词(纯、零 I/O、浏览器安全;**包内叶子模块,不出包**):引擎的档序与 CC 档位别名、从某档起向低档的梯,与「一个目录词在档位展开之后落到哪条条目」。
+ * 本包里档位词的唯一一处:default 角色的档梯(`./default-model`)与写者计划助手的落点(`./env-model-table`)都从这里取。
+ * 镜像 core(`DEFAULT_TIER_ORDER` / `CC_MODEL_TIER_ALIASES` / `expandTiers`):`test/tier-words-parity-14.8.0` 对 devDependency 里精确钉住的那一版 core 对拍。
+ */
+/** 引擎的档序(高 → 低)。 */
+export declare const TIER_ORDER: readonly ["ultra", "max", "pro", "flash", "lite"];
+/** 一个档位词。 */
+export type TierWord = (typeof TIER_ORDER)[number];
+/** CC 档位词 → 引擎档位。 */
+export declare const CC_TIER_ALIASES: {
+    readonly fable: "max";
+    readonly mythos: "max";
+    readonly opus: "pro";
+    readonly sonnet: "flash";
+    readonly haiku: "lite";
+};
+/** 档序里从 `S` 起(含)向低档的那一段,字面元组型。 */
+type LadderFrom<S extends TierWord, T extends readonly TierWord[] = typeof TIER_ORDER> = T extends readonly [infer H, ...infer R extends readonly TierWord[]] ? H extends S ? Readonly<T> : LadderFrom<S, R> : readonly [];
+/** 一档的梯:档序里从它起(含)向低档的那一段(没绑的档沿它往下落)。 */
+export declare function tierLadderFrom<S extends TierWord>(tier: S): LadderFrom<S>;
+/**
+ * 一个目录词(条目名 / 档位词 / CC 档位别名 / `best`)在**档位展开之后**落到哪条目录条目名 —— 与引擎装配档位表的两步同答:
+ * 先摘掉活跃组里绑定目标不可服务的档(引擎的生效装配在交给 core 之前做这一步,并 warn 点名),再按 core `expandTiers` 展开
+ * (对拍 devDependency 那一版 core 的「摘后表」)。所以这里只有一条绑定规则:**一档的绑定只在它点名一条可服务条目时算数**,否则当作没绑。展开规则:
+ *  · 目录自己的键先赢(`has(word)`;一条就叫 `flash` 的条目遮住档位词);
+ *  · 档位词 ⇒ 它的梯({@link tierLadderFrom})上第一个有绑定的档;摘完没有任何绑定 ⇒ 只认目录键;
+ *  · CC 档位别名 ⇒ 经它对应的档位;`best` ⇒ 档序里第一个有绑定的档;别的词 ⇒ 落不到。
+ * `has` = 调用方的「这个名是目录里一条可服务(启用)的条目」;`tiers` = `resolveActiveTiers` 的读数(原表,未摘)—— 它的键只有五个档位词
+ * (档位组的绑定表在 schema 里只收这五个键,别的键被剥掉),所以只按档位词读表。
+ */
+export declare function landCatalogWord(word: string, has: (name: string) => boolean, tiers: Readonly<Partial<Record<TierWord, string>>> | undefined): string | undefined;
+export {};