@sema-agent/settings-schema 17.2.0 → 18.0.0

package/docs/API-SURFACE.md

@@ -4,13 +4,16 @@
 > 每次全量重算并逐名比对 —— 加 / 删 / 改形一个导出而不重生成本档 ⇒ 红。导出面的每次变动因此以本档的 diff 出现在评审里。
 > 形:`value` = 运行期拿得到的值;`type` = 只在类型层;`value+type` = 同名的值与类型(zod schema 与它推出的类型)。
 
-子路径 24 条(资产出口 `./package.json` / `./fleet-paths.json` 不是模块,不列),导出名合计 1480 个(同名在多条子路径上各计一次)。
+子路径 24 条(资产出口 `./package.json` / `./fleet-paths.json` 不是模块,不列),导出名合计 1497 个(同名在多条子路径上各计一次)。
 
-## `.`(773)
+## `.`(783)
 
+- `A2aConfig` — value+type
+- `A2aPeerSpec` — value+type
 - `ABSOLUTE_HOST_PATH_MAX` — value
 - `ACCESS_TOKEN_TTL_SECONDS` — value
 - `ANY_INDEX` — value
+- `ATOMIC_SALVAGE` — value
 - `AT_MENTION_MODES` — value
 - `AUTH_BRIDGE_ALGS` — value
 - `AUTH_BRIDGE_ERROR_CODES` — value
@@ -261,9 +264,11 @@
 - `InstructionsLoadedHookInput` — value
 - `JwksCacheSnapshot` — type
 - `K8S_QUANTITY` — value
+- `LANE_SET_RULE` — value
 - `LAYER_ADMISSION_VERDICTS` — value
 - `LAYER_PARTS_UNREAD_CODE` — value
 - `LEASE_STATES` — value
+- `LaneSetFlaw` — type
 - `LaneTenancy` — type
 - `LayerAdmissionVerdict` — type
 - `LayerPartsUnreadNotice` — type
@@ -324,7 +329,6 @@
 - `PARSE_TRANSPARENT_KEYS` — value
 - `PATH_BASE_URL_FORBIDDEN_PARTS` — value
 - `PLAIN_STRING_RECORD_FAULTS` — value
-- `PLAIN_STRING_RECORD_RESERVED_MEMBER` — value
 - `PLUGIN_ORIGIN` — value
 - `PRINCIPAL_INC_CLAIM` — value
 - `PRINCIPAL_MAX_LENGTH` — value
@@ -393,6 +397,7 @@
 - `REF_REFERRER_DOMAINS` — value
 - `REMOTE_EXEC_DOCUMENT` — value
 - `REMOTE_MCP_SERVER_NAME_PREFIX` — value
+- `RESERVED_MEMBER_NAMES` — value
 - `RESERVED_SCOPE_IDS` — value
 - `RESERVED_WORKER_ENV` — value
 - `RETIRED_DOMAINS` — value
@@ -413,6 +418,7 @@
 - `RemoteExecSpec` — value+type
 - `RequestMcpTransport` — type
 - `RequestMcpTransportRead` — type
+- `ReservedMemberName` — type
 - `ResolvedEffective` — type
 - `ResolvedMemberAdmission` — type
 - `ResolvedTokenScope` — type
@@ -525,6 +531,7 @@
 - `SkillsManifest` — type
 - `SkillsManifestSchema` — value
 - `SpecEnforcement` — value+type
+- `StandaloneLane` — type
 - `StopFailureHookInput` — value
 - `StopHookInput` — value
 - `StoppedBy` — value+type
@@ -621,6 +628,7 @@
 - `compareGeneration` — value
 - `containsSecretToken` — value
 - `createSiblingResolver` — value
+- `credentialParamWordOf` — value
 - `danglingRefs` — value
 - `describeBadContentOrigin` — value
 - `describeBadMcpServerName` — value
@@ -669,6 +677,7 @@
 - `isRefCheckedDomain` — value
 - `isReportableRefusalName` — value
 - `isReservedExtensionKey` — value
+- `isReservedMemberName` — value
 - `isReservedScopeId` — value
 - `isRetiredDomainName` — value
 - `isRole` — value
@@ -683,6 +692,7 @@
 - `judgeRoutability` — value
 - `judgeWebAdminCredentialDeclaration` — value
 - `jwksWithinOfflineGrace` — value
+- `laneSetFlaws` — value
 - `layerAdmission` — value
 - `layerReadsTightenOnly` — value
 - `leaseExhausted` — value
@@ -782,9 +792,12 @@
 - `workersReferencingSecret` — value
 - `wsUrlFlaws` — value
 
-## `./types`(147)
+## `./types`(150)
 
+- `A2aConfig` — value+type
+- `A2aPeerSpec` — value+type
 - `ABSOLUTE_HOST_PATH_MAX` — value
+- `ATOMIC_SALVAGE` — value
 - `AT_MENTION_MODES` — value
 - `AUTONOMY_MODES` — value
 - `AbsoluteHostPath` — value
@@ -961,12 +974,14 @@
 - `collectEnvRefs` — value
 - `workersReferencingSecret` — value
 
-## `./execution-lanes`(19)
+## `./execution-lanes`(23)
 
 - `EXECUTION_LANES` — value
 - `EXECUTION_LANE_WORDS` — value
 - `ExecutionLane` — type
 - `ExecutionLaneRow` — type
+- `LANE_SET_RULE` — value
+- `LaneSetFlaw` — type
 - `LaneTenancy` — type
 - `MEMORY_ENGINE_BACKENDS` — value
 - `MemoryEngineBackend` — type
@@ -975,12 +990,14 @@
 - `SESSION_BACKENDS` — value
 - `STORE_BACKENDS` — value
 - `SessionBackend` — type
+- `StandaloneLane` — type
 - `StoreBackend` — type
 - `TENANT_SEPARATION_BASES` — value
 - `TENANT_SEPARATION_WORDS` — value
 - `TenantSeparation` — type
 - `TenantSeparationBasis` — type
 - `isBlankCoordinate` — value
+- `laneSetFlaws` — value
 - `retiredLaneWordRefusal` — value
 
 ## `./resolve-roster`(6)

package/docs/CONSUMER-INTEGRATION.md

@@ -11,6 +11,7 @@
 > **14.7.0** 的路径基址判官(`PATH_BASE_URL_FORBIDDEN_PARTS` / `pathBaseUrlFlaws`)与公告地址 env 名(`FLEET_ADVERTISE_ADDRESS_ENV`)在 §13。
 > 中心引用解析口 `resolveCenterRefs` 与记录读器 `readPlainStringRecord`(原因词表 `PLAIN_STRING_RECORD_FAULTS`)在 §14。
 > **17.2.0** 的 settings 单元读不进处置律在 §15,`./node` 的同步读写口(`config.d` 文档读数、决定文档读 / 写)与根桶的「显式停用」谓词在 §16。
+> **18.0.0** 的车道词 `none`、`REQUIRE_EXECUTION_LANE` 墓碑、车道集单一判官 `laneSetFlaws` 与便携新域 `a2a` 在 §17。
 
 ---
 
@@ -54,16 +55,16 @@
     7.0.1 起未写盘时它**不再出现**(读到 undefined,而不是一份没落盘的「已迁」名单);要判「写没写」读 `written` 或结论行,不要靠退出码之外的猜测。
   - **拒因里的迁移指路(7.0.1)**:一句话一个常量(`MIGRATION_SIGNPOST`,命令恒为 `npx @sema-agent/settings-schema migrate-workers <file>`)。
     凡「旧形 ⇒ 迁移能搬」的拒因带它 —— 七个被删旧键,以及 `env` / `secretEnv` 里迁移会搬 / 丢的键(车道键含 `REMOTE_EXEC` /
-    `REQUIRE_EXECUTION_LANE`、店键 `DB_BACKEND` / `MEMORY_ENGINE` / `MEMORY_ENGINE_BACKEND`);迁移搬不了的保留名(`PORT` / `MODEL_*` /
+    `REQUIRE_EXECUTION_LANE`〔18.0.0 起它进墓碑表,拒句是墓碑句、不带迁移指路,见 §17〕、店键 `DB_BACKEND` / `MEMORY_ENGINE` / `MEMORY_ENGINE_BACKEND`);迁移搬不了的保留名(`PORT` / `MODEL_*` /
     `MYSQL_*` …)不带。拒因句尾的「set it via <归属字段>」不变,读它抽归属字段的下游不受影响。
 - **三方各自要做的**:
-  - **web-admin / 编排器(sema-web-admin)**:渲染器按两块改真 —— `REMOTE_EXEC=<lane>` + `REQUIRE_EXECUTION_LANE=true` + `coords` 逐键
+  - **web-admin / 编排器(sema-web-admin)**:渲染器按两块改真 —— `REMOTE_EXEC=<lane>` + `REQUIRE_EXECUTION_LANE=true`〔18.0.0 起不再渲:它进了墓碑表,见 §17〕+ `coords` 逐键
     + `secretRefs` 逐键(服务变量名 → 宿主 env-NAME);`DB_BACKEND` / `SESSION_BACKEND` / `MEMORY_ENGINE` / `MEMORY_ENGINE_BACKEND` 恒渲;
     按 `store.backend` 选 `MYSQL_*` 或 `PG_*` 名族(`HOST/PORT/USER/DATABASE` ← `store.db`,`*_PASSWORD` ← `secretRefs.dbPasswordEnv`);
     `MEMORY_BACKEND` 不再产出。workers 读口接迁移;批量轮换已在本包 `workersReferencingSecret` 里看得见 `runtime.execution.secretRefs`。
     `WorkerSpec` 不再是 `ZodObject`:读 `WorkerSpec.shape.name` 的地方改 `WORKER_NAME`(同一只名字判据);编排器读 `runtime.db` 的
     改 `runtime.store.db.database`;新建向导要建出两块(`runtime: {}` 过不了写闸)。执行域 `allowedLanes`(开放词)的标签表:可声明车道取
-    `EXECUTION_LANE_WORDS`;`in-process` 是引擎「没有 remoteExec」的状态名,不在可声明表里,要留就单独写明来源。
+    `EXECUTION_LANE_WORDS`;`in-process` 是引擎「没有 remoteExec」的状态名,不在可声明表里,要留就单独写明来源〔18.0.0 起可声明的词是 `none`,`in-process` 只在切换期的策略数据里并列,见 §17〕。
   - **server(引擎)**:车道词 / 必需键 / `tenantSeparation` 从 `EXECUTION_LANES` 派生(运行期事实留在按导入联合穷举的 switch);
     `DB_BACKEND` / `SESSION_BACKEND` / `MEMORY_ENGINE_BACKEND` 的闭集读 `STORE_BACKENDS` / `SESSION_BACKENDS` / `MEMORY_ENGINE_BACKENDS`。
     引擎不 import `WorkerSpec`,tsc 不会替它红 —— 派生是提货车的显式动作。
@@ -479,12 +480,13 @@ fleet 成员对中心公告的可达地址(`FLEET_ADVERTISE_ADDRESS`,中心往
 | `CENTER_REFS_VERDICTS` / `CenterRefsVerdict` | 整台结论的词,闭集:`resolved` · `unresolved` · `refs_unreadable`;包根 |
 | `CenterRefMember` / `CenterRefMemberVerdict` / `CenterRefLookup` / `CenterRefsResolution` | 型:成员行 `{ key, ref, verdict }`(`verdict` = `resolved` 或上面三词之一)· 判定词 · 查找函数型 · 读数;包根 |
 | `readPlainStringRecord(v)` | 「名 → 串」记录的读器(传输读器读 `env` / `headers` 用的就是它,同一个函数);包根 |
-| `PLAIN_STRING_RECORD_FAULTS` / `PlainStringRecordFault` / `PlainStringRecordRead` / `PLAIN_STRING_RECORD_RESERVED_MEMBER` | 读器的原因词表(三词)· 词的型 · 读数型 · 保留成员名 `"__proto__"`;包根 |
+| `PLAIN_STRING_RECORD_FAULTS` / `PlainStringRecordFault` / `PlainStringRecordRead` | 读器的原因词表(三词)· 词的型 · 读数型;包根 |
+| `RESERVED_MEMBER_NAMES` / `isReservedMemberName` / `ReservedMemberName` | 保留成员名(18.0.0 起一张表:`__proto__` / `constructor` / `prototype`)· 谓词 · 型 —— 读器、解析口与域 schema 的凭据引用集合问同一个谓词;包根与 `./mcp-request-entry` |
 
 ### 14.2 解析口的读法(一条律:每成员一句判定,整台一个结论)
 
-1. 引用表经 `readPlainStringRecord` 读。读不出(整张不是纯数据、有成员的变量名不是串、读成员就抛、叫 `__proto__` 的成员)⇒ **整台 `refs_unreadable`**,`fault` 是读器的词、坏在某个成员时 `member` 点名它的回显形;**一个变量都没问**。
-   读器会把叫 `__proto__` 的串值成员剔出副本;解析口不许这样悄悄丢一条引用再挂,所以同样答 `refs_unreadable` / `member_name_reserved`。
+1. 引用表经 `readPlainStringRecord` 读。读不出(整张不是纯数据、有成员的变量名不是串、读成员就抛、叫保留名 `__proto__` / `constructor` / `prototype` 的成员)⇒ **整台 `refs_unreadable`**,`fault` 是读器的词、坏在某个成员时 `member` 点名它的回显形;**一个变量都没问**。
+   读器会把叫保留名的串值成员剔出副本;解析口不许这样悄悄丢一条引用再挂,所以同样答 `refs_unreadable` / `member_name_reserved`(点名第一个)。
 2. 每个成员恰问一次 `lookup(变量名)`(按引用表副本的自有键序:整数形的键在前、其余按记录列出的次序;实参只有变量名),判成**一个词**。一个成员坏了不早停 —— 每个成员都有自己的判定,调用方一次点名所有缺的变量:
 
    | `lookup` 的答案 | 成员词 |
@@ -507,7 +509,7 @@ fleet 成员对中心公告的可达地址(`FLEET_ADVERTISE_ADDRESS`,中心往
 |---|---|---|
 | `not_plain_record` | 整张不是纯数据(`null` / 数组 / 原始值 / `Map` / 类实例 / 函数,或读形状就抛的对象) | 不交 |
 | `member_not_string` | 某个成员的值不是串(读成了别的种类),或它读不出(它的访问器抛了,或读它的描述符时代理陷阱抛了)—— 两种情形 `detail` 句子分说 | 不交,`member` 点名它 |
-| `member_name_reserved` | 某个成员叫 `__proto__`(引擎的声明收据拒这个名);名坏优先 —— 值也坏或读不出时句子并列说全,词仍是这一个 | 值是串:交其余、`reservedMember: true`;否则不交 |
+| `member_name_reserved` | 某个成员叫保留名(`RESERVED_MEMBER_NAMES`:`__proto__` / `constructor` / `prototype`);名坏优先 —— 值也坏或读不出时句子并列说全,词仍是这一个 | 值是串:交其余、`reservedMembers` 按自有键序点名;否则不交 |
 
 按词分派;读器从不抛。传输读器的 `lost[].fault` 就是这张表(读成员就抛的那一形,词是 `member_not_string`,句子 `could not be read (its getter threw)`)。
 
@@ -603,3 +605,49 @@ fleet 成员对中心公告的可达地址(`FLEET_ADVERTISE_ADDRESS`,中心往
 
 - 不出裸纯判 `judgeConfigDTextReading` 与异步的 `readConfigDFileReading`(壳自读文本 = 第四只缺席读法;前者依赖 `node:path` 与原子写器,不是浏览器安全叶)。
 - 不替壳决定「读不进」之后挂不挂:读数是判决,不是处置(settings 单元的处置律见 §15)。
+
+---
+
+## 17. 车道词 `none` · `REQUIRE_EXECUTION_LANE` 墓碑 · 车道集单一判官 · 便携新域 `a2a`(18.0.0 起)—— server、web-admin、cli、client-core、sdk 各自的读法
+
+### 17.1 `none`:不给智能体的工具提供执行环境
+
+- 词:`EXECUTION_LANE_WORDS` 的第八个词(尾插)。表行:分租户(依据 `no-execution-target`:没有执行目标,就没有跨租户共享的目标)、不挂副本、四栏 env 全空。
+- 只能独成一集:worker 写 `runtime.execution.lanes: ["none"]`,部署写 `REMOTE_EXEC=none`(`CONFIG_PROVIDER=local` 时 `config.d/remote-exec.json` 也可写 `{ "provider": "none" }`,零字段)。
+  这条规则按表行的依据列判,不点名车道词:依据列为 `no-execution-target` 的车道(型 `StandaloneLane`)不与别的项同集。
+- `in-process` 仍**不是**可声明的车道词(它是引擎旧的内部状态名)。执行域策略 `allowedLanes` 是开放词表:切换期数据并列 `"in-process"` 与 `"none"`,所有读它的引擎都答 `none` 之后从数据里删掉 `"in-process"` —— 这是数据,不要在代码里写第二种读法。
+
+### 17.2 车道集的合法性只问一只判官
+
+`laneSetFlaws(lanes: readonly string[])`(根桶与 `./execution-lanes`,零依赖叶)→ 拒因闭集 `LaneSetFlaw`:`empty_set` · `blank_entry{at}` · `unknown{at, word}` · `retired{at, word}` · `duplicate{at, lane}` · `not_alone{lane}`;规则句 `LANE_SET_RULE`。
+写闸(`WorkerSpec` 的 `runtime.execution.lanes`)只调它;读车道表的一侧(引擎把 `REMOTE_EXEC` 按逗号切段、表单校验)调同一只,**不抄**非空 / 去重 / 认词 / 独占任何一条。
+入参是任意值的表:不是字符串的项也是 `unknown`(`word` 是原值,判官不读它的属性;给人看时自己描述它的形,不回显);判官交回**全部**拒因(坏词与重复同在 ⇒ 两条)。一条车道缺不缺必需坐标、本引擎版本服务不服务这条车道,是调用方各自的门,不在判官里。
+
+### 17.3 `REQUIRE_EXECUTION_LANE` 进墓碑表
+
+`RETIRED_ENVS` 一行 `replaced` → `REMOTE_EXEC`:旧名在场即拒(替代名在不在都一样),空串按未设。它不再是保留名(`RESERVED_WORKER_ENV`):worker 逃生口里写它 ⇒ 墓碑句(`retiredEnvRefusal`)。
+🔴 **硬顺序**:web-admin 渲染器先停渲这个键,中心起的 worker 才能上 server 7.147.0 —— 否则读墓碑表的引擎见之拒启。`none` 只对已经升级的部署产出。
+
+### 17.4 便携新域 `a2a`:常驻出站 A2A 对端名册
+
+- 形:`A2aConfig = { peers: A2aPeerSpec[] }`(缺席 ≡ 空表 = 不拨任何对端;对端名唯一);`A2aPeerSpec = { name, url, cardUrl?, headerRefs?, principalHeader?, allowSkills?, scenarios(缺省 []), enabled(缺省 true) }`。
+  判官全复用:`name` = `isUsableWireName`(对端名是线上工具名 `a2a__<名>__…` 的身份片,不 trim、不截断)· `url` / `cardUrl` = `NON_SECRET_URL`(不带凭据与 fragment)· `headerRefs` = 头名 → env-NAME(值在读方自己的环境里,中心不存值)· `principalHeader` = 头名判官。
+- 读法:本地 `config.d/a2a.json` 与中心 `/effective.a2a` 是同一个声明座(两腿恒物化 `{ peers: [] }`);整域读不进 ⇒ 空名册;坏对端逐条丢;写权限 `domainWriteRole("a2a")` = `publisher`。
+- **凭据引用集合不部分抢救**(`ATOMIC_SALVAGE`,按 schema 身份:mcp 的 `envRefs` / `headerRefs`、a2a 的 `headerRefs`、车道块的 `secretRefs`、worker 的 `secretEnv`):集合里坏一项 ⇒ 整个条目 `entry-dropped`,兄弟保留;别的集合字段照旧逐条丢。
+  对已记录语料零变化;两处例外:引用名为 `__proto__` / `constructor` / `prototype` 的条目整条丢(旧版:`__proto__` 被剥并告警、`constructor` / `prototype` 照收,条目都留着);
+  直接对 `WorkersConfig` 调 `salvageEntries` 时,`secretEnv` 带坏引用的 worker 整条丢(此前只丢那一条引用)。保留名只有一张表(`RESERVED_MEMBER_NAMES`),记录读器与解析口(§14)同答。
+  成员读键按自有属性名判(名集 = `Object.getOwnPropertyNames` 的串键;访问器 / 隐藏键 ⇒ 读不出 ⇒ 同样判坏):`__proto__` / `constructor` / `prototype` 作引用名 ⇒ 集合坏 ⇒ 整条丢(zod 的 record 读键前跳过 `__proto__`、不判它的值,只靠它判会让条目带着其余引用活下来);读方自己按名查引用表时同样不认这三个名字。
+- 密钥引用清单 `collectEnvRefs` / 本地面板 `listRequiredEnvNames` 列出对端的头引用(域 `a2a`)—— 读方「对端要的 env 在不在」用同一份清单。
+
+### 17.5 各消费方的读点
+
+| 消费方 | 读点 | 动作 |
+|---|---|---|
+| server 7.147.0 | `EXECUTION_LANE_WORDS` / `EXECUTION_LANES` · `RETIRED_ENVS`(起服)· `RemoteExecSpec` · `laneSetFlaws` · `A2aConfig` / `EffectiveConfig.a2a` / `PORTABLE_DOMAINS` | 提货同版:`none` 车道、总开关见之拒启、文件声明的 `none`、读声明车道表调判官、`a2a` 改读契约域(本地与中心同座) |
+| web-admin | `RETIRED_ENVS` · `runtime.execution.lanes` · 策略 `allowedLanes` 数据 · `A2aPeerSpec` · `domainWriteRole("a2a")` | 先停渲 `REQUIRE_EXECUTION_LANE`(硬顺序);`["none"]` ⇒ `REMOTE_EXEC=none`;策略数据切换期并列两词;`a2a` 编辑面与 publisher 写权限 |
+| cli | `EXECUTION_LANES`(车道 → 必需键)· 车道词闭集 · `RETIRED_ENVS` | 随表:`none` 行无必需键、不再是表外词;起本机引擎前墓碑表拒 `REQUIRE_EXECUTION_LANE` |
+| client-core | `ExecutionLane` · `EffectiveConfig` | 穷举处补 `none`;`EffectiveConfig.a2a` 必填;本地读腿多读 `config.d/a2a.json` |
+| sdk | `ExecutionLane` · `EffectiveConfig`(类型面) | 穷举或自造 `EffectiveConfig` 的地方编译红,按上两行补 |
+
+凭据参数名(同版):「这个已解码的参数名是不是凭据名」只问包根 `credentialParamWordOf`(返回表词或 `undefined`:整名在 `CREDENTIAL_PARAM_NAMES` 上,或末段 / 尾串收在 `password` `passwd` `pwd` `secret` `apikey` 与 `secret key` / `secret access key` / `api key` / `access token` 上(后两条答各自的整名词 `api_key` / `access_token`);`password_hash` / `secretName` / `passwordless` 一类不是),`isCredentialParamName` / `findUrlCredential` 读同一只 —— 带 `?db_password=` 这类参数的 URL,受理口由受理变拒。
+读点:server 7.147.0 的日志脱敏器(URL 参数 · JSON 秘密字段 · 自由文本强锚三个名字读者与诊断值位)改读它、拿返回的词去查自己的锚强度列,受理口判官与脱敏器同一版同一天翻;cli 无读点(壳零直调这组判官);client-core 无读点(只有一格探针扫本包 d.ts 的导出名,新名字不命中它的『同类键名判官』扫描式);web-admin、sdk 不读名字判定(sdk 合同测里的固定样例 `?token=` / `?api_key=` 照旧命中)。

package/llms-full.txt

@@ -1,6 +1,6 @@
 <!--
 llms-full.txt — 自包含全文 · 消费方(使用者)视角 · @sema-agent/settings-schema
-重写日期: 2026-11-02 | 包版本: 17.2.0
+重写日期: 2026-11-03 | 包版本: 18.0.0
 生成方式: 无生成脚本——按当前树 src/*.ts 导出面 + package.json + README/CHANGELOG 手写事实版。
 证据约定: 每条"它怎么工作"的断言附 (文件: 符号) 坐标,刻意不用行号(行号逐版腐烂;符号名由
 typecheck 与 test/package-surface.test.ts、test/docs-hygiene.test.ts 等常驻门钉住)。无证据推断显式标【推断】。
@@ -89,8 +89,8 @@ registry:公网 npmjs,无需私有 registry 配置。
 以下均为真实导出(主 barrel `.`、`./node` 或细分 subpath;见 §6)。签名/字段名核实自源码导出面。
 
 --- 4.1 域 schema 与类型(src/types.ts,主 barrel / `./types`) ---
-- `DOMAIN_SCHEMAS`:16 个配置域 → zod 对象:`{ models, rosters, skills, mcp, plugins, scenarios, systems,
-  collab, workers, hosts, governance, entitlement, execution, projects, prompts, limits }`。`runtime` 域 11.0.0 起 retired:
+- `DOMAIN_SCHEMAS`:17 个配置域 → zod 对象:`{ models, rosters, skills, mcp, plugins, scenarios, systems,
+  collab, workers, hosts, governance, entitlement, execution, projects, prompts, limits, a2a }`。`runtime` 域 11.0.0 起 retired:
   墓碑 `RETIRED_DOMAINS` —— `parseDomain` / `buildEffective` / `readEffectiveWire` / `FileConfigStore` 遇带事实的 runtime 文档一律抛
   `RetiredDomainError`(拒句点名一次性迁移 SS-M1),缺席或 `{}` 不理会。
   `DOMAINS`(声明顺序)、`isDomainName(x)`;`"remote-exec"` **不是**域(独立契约,§4.6)。
@@ -147,6 +147,9 @@ registry:公网 npmjs,无需私有 registry 配置。
     引擎词表不镜像(语义只有引擎 verify);逐条抢救 none(digest 约束)。
   · limits:cost/限流族 14 键的热更新发布位;**open-world `.passthrough()`**(未知键原样承运 +
     `"unknown-keys-carried"` 点名;1.x 论证见源头注,行为钉在 test/limits-domain-0.19.test.ts)。
+  · a2a(18.0.0):常驻出站 A2A 对端名册 `A2aConfig = { peers: A2aPeerSpec[] }`(对端名唯一);`A2aPeerSpec = { name, url, cardUrl?, headerRefs?,
+    principalHeader?, allowSkills?, scenarios(缺省 []), enabled(缺省 true) }`。判官全复用:`name` = `isUsableWireName`,`url` / `cardUrl` = `NON_SECRET_URL`,
+    `headerRefs` = mcp 的头名 → env-NAME 引用集合,`principalHeader` = 头名判官。便携(本地 `config.d/a2a.json`);读不进 ⇒ 空名册;逐条抢救;写权限 publisher。
 - 边界 schema(可直接复用):`ENV_NAME`(/^[A-Z_][A-Z0-9_]*$/ 且拒 AKIA 形)、`NON_SECRET_URL`(存量文档里的 URL 座位 —— 域文档与 `config.d/remote-exec.json`
   的两个端点;fragment 拒句带迁移指路)、`NON_SECRET_URL_NO_MIGRATION`(不是存量的座位 —— 凭据信封 `issuer`:同一判官、同样的规则句,fragment 拒句不带指路)、
   `K8S_QUANTITY`、`TCP_PORT`、`HOST_NAME_MAX`/`HOSTS_ARRAY_MAX`。
@@ -165,7 +168,7 @@ registry:公网 npmjs,无需私有 registry 配置。
 - `buildEffective(version, getRaw, updatedAt, onWarning?)`;`parseDomain(domain, raw)`(**`undefined` 才填默认,
   `null` = 损坏 → 抛 sanitized ZodError**);`parseDomainLoud`(**文档面**:同 + 剥键/承运告警,永不抢救 —— 写入席、导出、`getDomain` 读它);
   `parseDomainSalvaged`(12.3.0,**视图面**:与 `parseDomainLoud` 同一只内部体,整域读不进时按 `DOMAIN_ENTRY_SALVAGE` 逐条抢救、递归到嵌套集合,
-  救不活抛整域 parse 的原错;`buildEffective` 十六域一处调它;好文档上两函数逐字同值同告警);`emptyEffective()`;
+  救不活抛整域 parse 的原错;`buildEffective` 十七域一处调它;好文档上两函数逐字同值同告警);`emptyEffective()`;
   `readEffectiveWire(raw, onWarning?)`。
 - 告警类型 `EffectiveReadWarning`(union,消费方 switch 需穷举):`hosts-grandfathered`(`droppedNames` 6.3.0 起有界 64,超界带
   `droppedTotal`)| `domain-defaulted` |
@@ -207,6 +210,11 @@ registry:公网 npmjs,无需私有 registry 配置。
   各回写一次。位移表的键 = 被压缩数组的原文档全路径(`formatConfigPath` 出门形,`"projects.<id>.contextItems"`;顶层数组就是字段名,旧表形与义不变)。
 - 读降级表 `DOMAIN_READ_FALLBACK`(整域读不进时 default 或 throw,逐域档位)与逐条抢救表 `DOMAIN_ENTRY_SALVAGE`(12.3.0:读时能否逐条丢,
   `salvage` / `none`,逐域档位)—— 两张表各答一个问题,谁也不读谁;`grandfatherHostsRead`。
+- `ATOMIC_SALVAGE`(18.0.0,`ReadonlySet<ZodType>`,按 schema 身份):凭据引用集合(mcp 的 `envRefs` / `headerRefs`、a2a 的 `headerRefs`、车道块的 `secretRefs`、worker 的 `secretEnv`)
+  不部分抢救 —— 抢救走到成员不下钻,集合里任一键 / 值坏形 ⇒ 它所属的条目整条 `entry-dropped`、兄弟保留;别的集合字段照旧逐条丢(只会更窄)。
+  对已记录语料零变化;例外:引用名为 `__proto__` / `constructor` / `prototype` 的条目整条丢(旧版剥键告警或照收、条目留着),直接对 `WorkersConfig` 调 `salvageEntries` 时 `secretEnv` 带坏引用的 worker 整条丢。
+  保留成员名一张表 `RESERVED_MEMBER_NAMES` / `isReservedMemberName`:域 schema、`readPlainStringRecord` / `isStringRecord`、`resolveCenterRefs` 同答(`PLAIN_STRING_RECORD_RESERVED_MEMBER` 删除,读数 `reservedMember` 改名 `reservedMembers`)。
+  成员读键按自有属性名判:`__proto__` / `constructor` / `prototype` 作引用名 ⇒ 集合坏 ⇒ 整条丢(zod 的 record 读键前跳过 `__proto__`、不判它的值)。
 --- 2.0.0 行为面 BREAKING:**逐条容错**。此前一条坏条目让**整域**退回 schema 默认(13 个模型坏一条 ⇒ 一条
 都不剩);现在 `buildEffective` 在整域降级之前先经 `salvageEntries(schema, raw)` 只丢掉真正坏掉的那几条条目
 (条目集合从域 schema 自身派生:数组字段与 Record 字段),同域其余条目照常生效,并逐条发 `entry-dropped`。
@@ -221,7 +229,7 @@ entitlement/execution/limits = `none`;`projects` = `salvage`,整域档位仍 `"t
 整域读不进一臂);文档面(`parseDomain` / `parseDomainLoud`:写入席、导出、`getDomain`)永不抢救,视图面(`parseDomainSalvaged` / `buildEffective`)
 按表抢救;抢救按 schema 递归到幸存条目体内的集合,子级坐标以父路径为前缀,零幸存者律每层成立 ---
 - 角色助手:`UserRole`(viewer<editor<publisher<admin)、`ROLE_RANK`/`USER_ROLES`、`roleAtLeast`、`isRole`、
-  `domainWriteRole(domain)`(默认 editor;skills/mcp/plugins/scenarios/systems/entitlement = publisher,
+  `domainWriteRole(domain)`(默认 editor;skills/mcp/plugins/scenarios/systems/entitlement/prompts/a2a = publisher,
   表在 `DOMAIN_WRITE_ROLE`)。
 - 纯数据类型:`User`、`UserAuth`、`PublishedSnapshot`、`PendingPublish`、`ApprovePublishResult`、
   `CasWriteResult`、`WorkerLifecycleRecord`;错误脱敏 `redactSecrets` / `sanitizeZodError`;
@@ -246,7 +254,7 @@ entitlement/execution/limits = `none`;`projects` = `salvage`,整域档位仍 `"t
 - `ConfigReader` 接口(3 方法:getDomain/getEffective/getVersion)——本地源/测试桩实现它即可。(src/reader.ts)
 
 --- 4.5 remoteExec 契约(src/remote-exec.ts,主 barrel / `./remote-exec`) ---
-- `RemoteExecSpec`(discriminatedUnion on `provider`),6 个 provider(每个 ⊆ `EXECUTION_LANE_WORDS`;7.0.0 删
+- `RemoteExecSpec`(discriminatedUnion on `provider`),7 个 provider(每个 ⊆ `EXECUTION_LANE_WORDS`;7.0.0 删
   `remote-docker` —— 引擎零读点,远端 docker 守护进程 = `local-docker` + `DOCKER_HOST`):
   - `host`:{ workdir?, allowedPaths?, shell?, commandTimeoutMs? } —— 无 secret。
   - `local-docker`:{ image!, memory?, cpus?, network?("none"|"bridge"|"host"), workdir?, mountPath? }。
@@ -255,17 +263,21 @@ entitlement/execution/limits = `none`;`projects` = `salvage`,整域档位仍 `"t
     timeoutMs?, memory?, cpu?, s3Snapshot?{ endpoint, bucket?, accessKeyEnv, secretKeyEnv, … } }。
   - `ssh`:{ host!, port?, username!, privateKeyEnv!, mountPath? }。
   - `adb`:{ serial!, adbPath?, mountPath? }。
+  - `none`(18.0.0):{}(零字段)—— 不给智能体的工具提供执行环境,`REMOTE_EXEC=none` 的文件形;无可配、无 secret。
   (secret 全 env-NAME ref;exec-bound 串拒 NUL 与纯空白〔16.0.0:空串同拒,判官 = 车道坐标的 `isBlankCoordinate`,接受的值不 trim〕。通过校验 ≠ 目标服务版本已从文件驱动该 provider。)
 
 --- 4.5b 执行车道 + 存储词表正本(src/execution-lanes.ts,主 barrel + `./execution-lanes`,7.0.0,纯数据) ---
-- `EXECUTION_LANE_WORDS` / `ExecutionLane`:host · e2b · k8s · ssh · adb · local-docker · device(= 引擎 `REMOTE_EXEC` 收的词,
-  逐字同序;无 `in-process`、无 `remote-docker`)。
+- `EXECUTION_LANE_WORDS` / `ExecutionLane`:host · e2b · k8s · ssh · adb · local-docker · device · none(= 引擎 `REMOTE_EXEC` 收的词,
+  逐字同序;无 `in-process`、无 `remote-docker`)。`none`(18.0.0)= 不给智能体的工具提供执行环境:分租户(依据 `no-execution-target`)、不挂副本、四栏 env 全空,
+  只能独成一集(依据列为 `no-execution-target` 的车道 = 型 `StandaloneLane`;判官按列判,不点名车道词)。
+- `laneSetFlaws(lanes: readonly unknown[]): readonly LaneSetFlaw[]` + `LANE_SET_RULE`(18.0.0):车道集合法性的唯一判官(空表 `empty_set` / 空白项 `blank_entry` /
+  不认识 `unknown`〔含不是字符串的项,`word` = 原值〕/ 墓碑词 `retired` / 重复 `duplicate` / 独占车道不独 `not_alone`;闭集,交回全部拒因,写闸穷举 switch 每条一 issue)。读车道集的消费方调同一只。
 - `RETIRED_LANE_WORDS`(11.0.0):退役车道**值**的墓碑(`[旧词, 去向车道, 怎么配]`;永久、一跳;今一行 remote-docker → local-docker + DOCKER_HOST);
   worker 规格 `runtime.execution.lanes` 的一格与车道文件 `provider` 读到退役词即拒,拒句 = `retiredLaneWordRefusal(word)`
   (带出路;issue 码不变)。
 - `EXECUTION_LANES: readonly ExecutionLaneRow[]`:每行 `{ lane, tenantSeparation: "supported"|"single-user-only", singleReplica, requiredEnv,
   requiredSecretEnv, optionalEnv, optionalSecretEnv }`(深冻结;四栏 env 名两两不交、跨车道不交;行内容逐格抄自引擎,
-  坐标在每行 JSDoc)。`TENANT_SEPARATION_WORDS`。`singleReplica`(16.0.0):执行目标挂在一个副本上(host:副本自己的文件系统;device:设备连上的那一个副本)——
+  坐标在每行 JSDoc)。`TENANT_SEPARATION_WORDS`;依据词 `TENANT_SEPARATION_BASES`(isolation / principal-binding / no-execution-target〔18.0.0〕)。`singleReplica`(16.0.0):执行目标挂在一个副本上(host:副本自己的文件系统;device:设备连上的那一个副本)——
   声明了这种车道的 worker 只能一个副本。device 行的非密必需栏 = `DEVICE_RELAY_URL`(16.0.0;设备拨哪里:ws(s) 绝对 URL 或字面 `none`,值判官 `deviceRelayFlaws`,包根);非密可选栏含 `DEVICE_TRUSTED_PROXY_CIDRS`(17.1.0;设备 WS 未鉴权握手 per-remote 帽键的可信代理名单,CIDR 逗号分隔,缺省空 = 引擎不读任何代理头;值文法由引擎起服判,写闸只判归属)。
   k8s 行的非密必需栏 = `K8S_SANDBOX_IMAGE` + `K8S_NAMESPACE`(沙箱 pod 所在的命名空间,部署自己声明;服务端的必需 env 门按本行 `requiredEnv ∪ requiredSecretEnv` 拒启)——
   写 worker 的 k8s 行时 `runtime.execution.coords` 两键都要给,缺一键 ⇒ 写闸 issue、存下来的 workers 文档整域读不出。
@@ -273,7 +285,7 @@ entitlement/execution/limits = `none`;`projects` = `salvage`,整域档位仍 `"t
   不 trim 值、不管值的格式(`" sandboxes "` 不是空白)。写闸对所有车道、所有必需坐标读的就是这一只,消费方在自己一侧问同一个问题调它、不抄第二份。
   它只看已经有的字符串值:「这一键根本没设」由调用方先判(写闸对没设的键另有一句 `requires coords.<键>`),据它拒不拒由调用方按键是必需还是可选决定:写闸只对必需坐标据它拒,可选坐标的空串照收(`K8S_RUNTIME_CLASS` 的空串 = 不用 Kata)。(src/execution-lanes.ts)
 - `STORE_BACKENDS`(mysql/pg/local/memory)、`SESSION_BACKENDS`(memory/mysql/auto)、`MEMORY_ENGINE_BACKENDS`(file/pg/mysql;16.0.0 起 `tidb` → `mysql`,旧词拒并指路 SS-M12)。
-- 判据(都在 `WorkerSpec` schema 里,zod issue 的 `path` 指字段、message 带出路):enabled ⇒ 两块必填;`runtime.execution.lanes`(16.0.0)有序、去重、非空,首项缺省;
+- 判据(都在 `WorkerSpec` schema 里,zod issue 的 `path` 指字段、message 带出路):enabled ⇒ 两块必填;`runtime.execution.lanes`(16.0.0)有序、去重、非空,首项缺省,合法性只问 `laneSetFlaws`(18.0.0:`["none"]` 独成一集);
   coords / secretRefs 的每个键归表里某条声明的车道、每条声明车道的必需键在场且非空白(空串或只含空白按缺),有文法的键(`DEVICE_RELAY_URL`)值合文法;归表外车道的键点名车道;
   `requirePrincipal` ∧ 每条 single-user-only 车道各拒一条(出路按表现算);表里有 `singleReplica` 车道 ∧ 副本 > 1 拒(一条,点名这些车道);旧单值 `runtime.execution.lane` 是墓碑(指路 SS-M12);
   device ∈ lanes ⇒ SQL 店且 session ≠ memory;memory 店 ∧ session mysql 拒;记忆引擎 pg/mysql ∧ session memory 拒;SQL 坐标 ⇔ SQL 店;
@@ -524,8 +536,8 @@ entitlement/execution/limits = `none`;`projects` = `salvage`,整域档位仍 `"t
 - `loadRemoteExec(root)`(三态,§8 T3)、`writeRemoteExec`(校验+原子写)、`remoteExecPath`、`loadEnvFile`
   (`.env` merge over process.env,file 赢,支持 `KEY=file:<path>`)。
 - `FileConfigStore`(实现 `ConfigReader`;`getEffective({tolerant:true})` → `TolerantEffective
-  { effective, domainErrors }`:catalog 域坏文件单列降级,gate 域 fail-loud);`PORTABLE_DOMAINS`(11 域:
-  models/rosters/skills/mcp/plugins/scenarios/collab/governance/execution/prompts/limits;`config.d/runtime.json` 只为墓碑读,带事实即拒)、
+  { effective, domainErrors }`:catalog 域坏文件单列降级,gate 域 fail-loud);`PORTABLE_DOMAINS`(12 域:
+  models/rosters/skills/mcp/plugins/scenarios/collab/governance/execution/prompts/limits/a2a;`config.d/runtime.json` 只为墓碑读,带事实即拒)、
   `NON_PORTABLE_DOMAIN_REASONS`(workers/hosts/systems/projects/entitlement 的排除理由,编译期双向咬死)。
 - `validateDomain`/`validateRemoteExec` → `ValidateResult`(不 throw 用户数据)、`writeDomainFile`/
   `domainFilePath`、`listRequiredEnvNames` → `RequiredEnvName[]`。
@@ -550,10 +562,16 @@ entitlement/execution/limits = `none`;`projects` = `salvage`,整域档位仍 `"t
   与目录形同一个内核(读目录之后的「迁 → 整域终判」只此一处),`documents` 的律(覆盖面外不读不判不进结果、拼错的名字抛 `TypeError`、`runtime` 要把 `governance` / `limits` 放进覆盖面)逐字同;入参不被改,重跑 `docs` ⇒ `noop`;一层一次调用(层序 / 覆盖 / 托管锁的合并读法不在这里)。
 
 --- 4.11b URL 内嵌凭据判官(主 barrel,14.5.0;src/url-credential.ts) ---
-- `findUrlCredential(raw)`:URL 里的凭据 = 日志脱敏器已经在用的定义 —— userinfo(只有用户名也算;判由 `httpUrlFlaws(raw, ["userinfo"])`),或 query / fragment 里名字整名在 `CREDENTIAL_PARAM_NAMES`(23 词,小写 ASCII)上的参数
-  (名字按收方的读法读:`URLSearchParams` 解一次码,ASCII 大小写不敏感,不做 Unicode 折叠;复合名如 `db_password` 今天不是凭据名)。答首个命中(userinfo → query → fragment):`{ reason: "url_userinfo" }` 或
+- `findUrlCredential(raw)`:URL 里的凭据 = 日志脱敏器已经在用的定义 —— userinfo(只有用户名也算;判由 `httpUrlFlaws(raw, ["userinfo"])`),或 query / fragment 里名字是凭据名的参数
+  (名字按收方的读法读:`URLSearchParams` 解一次码,ASCII 大小写不敏感,不做 Unicode 折叠;是不是凭据名只问 `credentialParamWordOf`,见下)。答首个命中(userinfo → query → fragment):`{ reason: "url_userinfo" }` 或
   `{ reason: "url_credential_param", at: "query" | "fragment", name }`(`name` = 表里的词,小写);值从不进答案;不透明形 / 解析不了 / 非层级式 ⇒ `undefined`(这一形收不收是座位自己的律)。`findUrlUserinfo` = 判官的第一问;
-  `isCredentialParamName(decodedName)` = 名字判定;`urlCredentialRule(hit)` = 规则句(userinfo 与 `httpUrlRule("userinfo")` 同一句;参数句点名段与表词);`URL_CREDENTIAL_REASONS` = 拒因词闭集 `url_userinfo` / `url_credential_param`。
+  `isCredentialParamName(decodedName)` = `credentialParamWordOf` 有词;`urlCredentialRule(hit)` = 规则句(userinfo 与 `httpUrlRule("userinfo")` 同一句;参数句点名段与表词);`URL_CREDENTIAL_REASONS` = 拒因词闭集 `url_userinfo` / `url_credential_param`。
+- `credentialParamWordOf(decodedName): CredentialParamName | undefined`(18.0.0,包根):「这个已解码的参数名是不是凭据名」的**唯一答者**(`isCredentialParamName` 与 `findUrlCredential` 的 query / fragment 臂读的都是它)。
+  ① 整名(ASCII 大小写不敏感)在 `CREDENTIAL_PARAM_NAMES` 上 ⇒ 那个词(照旧,整名优先:`client_secret` 答 `client_secret`);② 否则按 `_` / `-` / `.` 与驼峰边界切段(空段不存在),**末段**的尾部是强档词
+  (`password` / `passwd` / `pwd` / `secret` / `apikey`)⇒ 那个词 —— `db_password` · `DB_PASSWORD` · `dbPassword` · `x-db-secret` · `user_pwd` 与前缀粘连的 `PGPASSWORD` 都算,词不跨分隔符(`app_wd` 不是 `pwd`);
+  ③ 尾串闭集(逐词对齐,分隔符与大小写不论):`secret key` / `secret access key` ⇒ `secret`(`SECRET_KEY` · `AWS_SECRET_ACCESS_KEY`),`api key` ⇒ `api_key`(`x-api-key` · `X_API_KEY` · `xApiKey`),`access token` ⇒ `access_token`(`github_access_token` · `oauth-access-token`);答词的律只有一条:尾串用 `_` 连起来本身在整名表里 ⇒ 答整名词,否则答强段词。只看末尾:`password_hash` · `password_policy` · `password_hint` · `secretName` · `secret_name` ·
+  `pwd_dir` · `passwordless` 不是凭据名,数字尾巴不剥(`password2` 不是),裸 `access_key` 与名表里别的词(`token` / `key` / `refresh_token` …)作末尾时只认整名(`api_key_count` · `token_count` 不命中)。返回的是**表词**(复合名回显它收尾的那个词,调用方的名字字节不进答案):
+  消费方拿它去查自己挂在名表上的那一列(例:日志脱敏器的自由文本锚强度),不再对整名查表。误报面:以强档词收尾但值不是凭据的名字(`show_password=1` · `is_secret=true`)也被判成凭据名 —— 多拒多遮。
 - 与 `NON_SECRET_URL` 是两个问题、互补(不是一个包含另一个):本判官按参数**名**判,`NON_SECRET_URL` 按**值形**判密钥(`?key=abc` 它放行、本判官命中;`?x=sk-live-…` 反之);存量域文档位读后者。
 - 判官只判有没有,载体律留在座位:同一个键在新提交门拒、在续跑重放存量体的腿不拒、部署 env 只因 userinfo 拒 —— 所以它没有接进任何读已落盘 / 重放字节的 schema 或读器;拒体的形(HTTP 码、字段坐标、出路句)是座位自己的铸点。
   凭据名表另有一份在服务端日志脱敏器里(带自由文本锚强度一列):消费方把它的表键钉在 `CREDENTIAL_PARAM_NAMES` 上(`Record<CredentialParamName, …>` 穷尽映射),加 / 删词不同步即编译红。
@@ -653,8 +671,9 @@ T7. **`.optional()` 无默认是有意的**:governance/limits 多数键 ABSENT =
 T8. **roster 解析容错**(dangling → global fallback),PUT 时才用 `refIntegrityIssues` 严判。
 T9. **`atMention` 的义由 `mode` 说**(11.0.0 取代 `atModelAllowlist`):`only` 收窄到一个都不剩 ⇒ `{mode:"none"}`(`narrowAtMention`,一只读法)。
 T10. **worker.env 保留键**:`RESERVED_WORKER_ENV` 在 env/secretEnv 里被拒(用结构化字段)。7.0.0 起执行车道键
-     (REMOTE_EXEC / REQUIRE_EXECUTION_LANE / 车道表全部名)与店键(DB_BACKEND / MEMORY_ENGINE*)也在保留集 —— 写到
-     `runtime.execution` / `runtime.store`;别的域也读的名(MINIO_* / LOG_LEVEL)仍可透传。
+     (REMOTE_EXEC / 车道表全部名)与店键(DB_BACKEND / MEMORY_ENGINE*)也在保留集 —— 写到
+     `runtime.execution` / `runtime.store`;别的域也读的名(MINIO_* / LOG_LEVEL)仍可透传。`REQUIRE_EXECUTION_LANE`(18.0.0)不再是保留名:
+     它进了墓碑表 `RETIRED_ENVS`(`replaced` → `REMOTE_EXEC`),逃生口里写它 ⇒ 墓碑句;渲染器不再产出它。
 T11. **`remote-exec` 不是域**:用 `writeRemoteExec`/`loadRemoteExec`,喂给 `writeDomainFile` 会 fail-loud。
 T12. **provider↔api 配对强制**(ModelEntry)。
 T13. **三态 cap(entitlement.runtimeCaps 全族)**:ABSENT ≠ false;缺席**不下发键**(引擎是唯一默认源,

package/llms.txt

@@ -1,6 +1,6 @@
 <!--
 llms.txt — 消费方(使用者)视角索引 · @sema-agent/settings-schema
-重写日期: 2026-11-02 | 包版本: 17.2.0
+重写日期: 2026-11-03 | 包版本: 18.0.0
 生成方式: 无生成脚本——按当前树的 src/*.ts 导出面 + package.json + README/CHANGELOG 手写事实版;
 每条断言附证据坐标(文件:符号),刻意不用行号(行号随每版腐烂,符号名由 typecheck/test 钉住)。
 刷新触发: package.json 版号变更(test/docs-hygiene.test.ts D 组钉「包版本:」与 package.json 相等、
@@ -10,7 +10,7 @@ llms.txt — 消费方(使用者)视角索引 · @sema-agent/settings-schema
 # @sema-agent/settings-schema
 
 > 一个**纯配置契约 + resolver + 本地 loader** 的 npm 包(公网 npmjs,ESM only,Node >=20.3.0,唯一运行时
-> 依赖 zod ^4.4.0)。它是 sema 栈配置域的**单一真值**:16 个配置域的 zod schema、`EffectiveConfig` 确定性合并、
+> 依赖 zod ^4.4.0)。它是 sema 栈配置域的**单一真值**:17 个配置域的 zod schema、`EffectiveConfig` 确定性合并、
 > per-worker roster 解析、跨域引用完整性、`remoteExec` 执行层契约、本地 `config.d/*.json` 读写,外加 hooks /
 > fleet / scheduler-store / safety-merge-spec / auth·scopes wire 五族纯契约。被 web-admin 产品(舰队管理台)、
 > worker 服务、TOC 桌面/CLI 共同消费。**纯被消费**——无服务、永不携带 secret 值;唯一的 bin 是一次性迁移族的目录形
@@ -22,9 +22,9 @@ llms.txt — 消费方(使用者)视角索引 · @sema-agent/settings-schema
 
 ## 核心能力(它能为我做什么)
 
-- **16 个配置域**的 zod schema 与类型(`DOMAIN_SCHEMAS` / `DOMAINS` / `isDomainName`):models · rosters · skills ·
+- **17 个配置域**的 zod schema 与类型(`DOMAIN_SCHEMAS` / `DOMAINS` / `isDomainName`):models · rosters · skills ·
   mcp · plugins · scenarios · systems · collab · workers · hosts · governance · entitlement · execution ·
-  projects · prompts · limits。`runtime` 域 11.0.0 起 retired(墓碑 `RETIRED_DOMAINS`:读写遇带事实的 runtime 文档响亮拒,
+  projects · prompts · limits · a2a(18.0.0:常驻出站 A2A 对端名册,便携;`A2aConfig` / `A2aPeerSpec`)。`runtime` 域 11.0.0 起 retired(墓碑 `RETIRED_DOMAINS`:读写遇带事实的 runtime 文档响亮拒,
   存量由一次性迁移 SS-M1 搬进 governance / limits —— `./one-time-migrations`)。(src/types.ts: `DOMAIN_SCHEMAS`)
 - **域内坏条目逐条丢**(2.0.0):一条写坏的目录条目只丢它自己,同域其余条目照常生效,并逐条发
   `entry-dropped` 点名(坐标形见下条;S-712 起可带 `identity?: { name?, id?, enabled? }` = 被丢条目原文里
@@ -84,11 +84,11 @@ llms.txt — 消费方(使用者)视角索引 · @sema-agent/settings-schema
   worker env / 车道坐标 / 覆盖值)经同一只 `containsSecretToken` 拒 secret 形状;10.0.0 起私钥 PEM 头在串中**任意位置**都拒(此前只认串首;读原文 + 前三层百分号解码),
   头的位置与展示侧 `redactSecrets` 同判,读法宽度仍窄于展示侧(四层及更深的编码、`+` 代空格的头写侧仍放行)。(src/types.ts: `ENV_NAME` / `containsSecretToken` / `PRIVATE_KEY_PEM_HEADER` /
   `SealedApiKey`;src/secret-refs.ts)
-- `remoteExec` 执行层契约:6 个 provider(host / local-docker / e2b / k8s / ssh / adb),判别字段 `provider`;
+- `remoteExec` 执行层契约:7 个 provider(host / local-docker / e2b / k8s / ssh / adb / none〔18.0.0,零字段:不给智能体的工具提供执行环境〕),判别字段 `provider`;
   每个 provider 词 ⊆ 车道词表(7.0.0 删 `remote-docker`:引擎零读点)。(src/remote-exec.ts: `RemoteExecSpec`)
-- **执行车道 + 存储的词表正本**(7.0.0,纯数据):`EXECUTION_LANE_WORDS`(host / e2b / k8s / ssh / adb / local-docker / device)、
-  `EXECUTION_LANES`(每车道 `tenantSeparation`〔supported 行另带依据 `tenantSeparationBasis`:isolation / principal-binding,11.0.0 判别联合〕+ `singleReplica`〔16.0.0〕+ 它读的 env 名四栏;device 行必需 `DEVICE_RELAY_URL`〔16.0.0,值判官 `deviceRelayFlaws`〕、可选栏含 `DEVICE_TRUSTED_PROXY_CIDRS`〔17.1.0,设备握手帽键的可信代理名单,值文法由引擎判〕)、退役车道值墓碑 `RETIRED_LANE_WORDS` + 拒句 `retiredLaneWordRefusal(word)`(11.0.0)、`STORE_BACKENDS` / `SESSION_BACKENDS` / `MEMORY_ENGINE_BACKENDS`(file / pg / mysql)。
-  worker 声明有序车道集 `runtime.execution.lanes`(16.0.0,首项缺省;旧单值 `lane` 是墓碑)。
+- **执行车道 + 存储的词表正本**(7.0.0,纯数据):`EXECUTION_LANE_WORDS`(host / e2b / k8s / ssh / adb / local-docker / device / none〔18.0.0:不给智能体的工具提供执行环境,只能独成一集〕)、
+  `EXECUTION_LANES`(每车道 `tenantSeparation`〔supported 行另带依据 `tenantSeparationBasis`:isolation / principal-binding / no-execution-target〔18.0.0〕,11.0.0 判别联合〕+ `singleReplica`〔16.0.0〕+ 它读的 env 名四栏;device 行必需 `DEVICE_RELAY_URL`〔16.0.0,值判官 `deviceRelayFlaws`〕、可选栏含 `DEVICE_TRUSTED_PROXY_CIDRS`〔17.1.0,设备握手帽键的可信代理名单,值文法由引擎判〕)、退役车道值墓碑 `RETIRED_LANE_WORDS` + 拒句 `retiredLaneWordRefusal(word)`(11.0.0)、`STORE_BACKENDS` / `SESSION_BACKENDS` / `MEMORY_ENGINE_BACKENDS`(file / pg / mysql)。
+  worker 声明有序车道集 `runtime.execution.lanes`(16.0.0,首项缺省;旧单值 `lane` 是墓碑);车道集合不合法只问一只判官 `laneSetFlaws(lanes)` + 规则句 `LANE_SET_RULE`(18.0.0,包根与 `./execution-lanes`:非空 / 认词〔不是字符串的项也是不认识〕/ 墓碑词 / 去重 / 独占车道独成一集,拒因闭集 `LaneSetFlaw`)。
   必需坐标的值算不算「缺」的唯一判官 `isBlankCoordinate(value)`(包根与 `./execution-lanes` 子路径同一个函数对象〔包根 15.1.0、子路径 15.2.0〕:空串或只含空白 ⇒ true;写闸读的同一只,消费方在自己一侧问同一个问题调它;「键没设」由调用方先判,据它拒不拒由调用方按键的必需 / 可选决定〔写闸只对必需坐标据它拒〕;src/execution-lanes.ts)。
   WorkerSpec 的 `runtime.execution` / `runtime.store` 两块按这张表判(写闸 = `WorkerSpec.safeParse`,拒因在 zod issue 里);
   存量 workers 行由一次性迁移改写(6.x 行 SS-M4、15.x 行 SS-M12;`migrateStoredDocuments` / bin `npx @sema-agent/settings-schema migrate <config.d directory>`),逐行终判是读侧的 `readWorkersRows`。
@@ -163,7 +163,7 @@ llms.txt — 消费方(使用者)视角索引 · @sema-agent/settings-schema
 - **目录形一次性迁移**(`./node`):`migrateConfigDirectory(dir, { documents, io, check? })` —— 命令行 `migrate` 背后的唯一实现(读目录 → 迁 → 整域终判 → 原子写 → 删退役域文件);`documents` = 调用方读的域名集(覆盖面外的文件不读不判不写不删),
   `io` 注入四个口,真绑定 `nodeConfigDirectoryIo`(node:fs + 唯一的原子写器);返回闭集 `unreadable` / `no-documents` / `refused` / `noop` / `pending` / `applied`。(src/config-dir-migration.ts · src/config-dir-io.ts)
 - **同步单口**(`./node`,14.5.0):`migrateConfigDocuments(docs, { documents })` —— 手里已有存量文档原文(文档名 → 文档)时,「迁 → 整域终判」一次调用、无 io,与目录形同一个内核同一个闭集的无 io 形:`unreadable`(覆盖面内某份不是 JSON 对象 ⇒ 不抛,点名 `document`)/ `no-documents` / `refused`(`docs` 仍交回迁移后的那一份)/ `noop`(同一引用)/ `migrated`(`docs` + `applied` + `changed` + `removed`)。一层一次调用,层的合并不在这里。(src/config-dir-migration.ts)
-- **URL 内嵌凭据判官**(包根,14.5.0):`findUrlCredential(raw)` —— userinfo,或 query / fragment 里名字整名在凭据名表 `CREDENTIAL_PARAM_NAMES`(23 词)上的参数 ⇒ `{ reason: "url_userinfo" }` / `{ reason: "url_credential_param", at, name }`,首个命中、值不进答案,不透明 / 解析不了 ⇒ `undefined`;`findUrlUserinfo`(第一问)· `isCredentialParamName` · `urlCredentialRule`(规则句)· `URL_CREDENTIAL_REASONS`(`url_userinfo` / `url_credential_param`)。判官只判有没有,载体律(新提交门拒 / 重放腿不拒 / 部署 env 只因 userinfo 拒)留在座位。(src/url-credential.ts)
+- **URL 内嵌凭据判官**(包根,14.5.0):`findUrlCredential(raw)` —— userinfo,或 query / fragment 里名字是凭据名的参数(整名在凭据名表 `CREDENTIAL_PARAM_NAMES`〔23 词〕上,或 18.0.0 起末段 / 尾串收在强档词上:`db_password` · `PGPASSWORD` · `SECRET_KEY`;答者只有 `credentialParamWordOf`)⇒ `{ reason: "url_userinfo" }` / `{ reason: "url_credential_param", at, name }`,首个命中、值不进答案,不透明 / 解析不了 ⇒ `undefined`;`findUrlUserinfo`(第一问)· `credentialParamWordOf(decodedName)`(18.0.0:凭据名判定的唯一答者,返回表词或 `undefined`)· `isCredentialParamName`(= 它有词)· `urlCredentialRule`(规则句)· `URL_CREDENTIAL_REASONS`(`url_userinfo` / `url_credential_param`)。判官只判有没有,载体律(新提交门拒 / 重放腿不拒 / 部署 env 只因 userinfo 拒)留在座位。(src/url-credential.ts)
 - **会话网页链接**:`webAdminSessionUrl(webBaseUrl, { worker, sessionId })` 铸 `<webBaseUrl>/chat?agent=<worker>&session=<sessionId>`(两位必填、逐位 `encodeURIComponent`、基址须是干净的绝对 http(s) URL 且尾斜杠折掉,
   坏输入抛、不铸半截链接)+ 配对解析 `parseWebAdminSessionUrl(link)`(绝对 / 相对串、`URL`、`URLSearchParams`;缺的那一位缺席)—— 路由与参数名只此一处,谁都别手拼。(src/web-admin-session-url.ts)
 - **按 scope 绑定的令牌**(`./api/pull-token`):形与铸法一条规则、令牌族是数据(`WORKER_PULL_TOKEN` = `wpt_` / `wpt2_` / `worker-pull`);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema-agent/settings-schema",
-  "version": "17.2.0",
+  "version": "18.0.0",
   "description": "Sema settings schema — pure config contract (zod domains + effective-config + roster resolution + ref-integrity + remoteExec) shared by sema-web-admin, sema-server, and the TOC desktop/CLI. One source of truth. (Renamed at 1.0.0 from @sema-agent/registry-core — name and docs only, no behavior change; note the range moves 0.19.0 -> 1.0.0, so a dependency must become ^1.0.0. The old names @sema-agent/registry-core <=0.19.0 and @sema-ai/registry-core remain published, frozen, for migration.)",
   "type": "module",
   "license": "BUSL-1.1",