@sema-agent/server 7.134.0 → 7.135.0

package/dist/center-credential.d.ts

@@ -69,7 +69,7 @@ export interface CenterCredentialSource {
     read(): CenterCredentialRead;
     health(): CenterCredentialHealth;
     /**
-     * S-698:每次取值之后**同步**回调一次(入参 = 这次的结果,已记进健康态)。续签器的唯一触发口(设计 §2「每次取值后,
+     * [ref]:每次取值之后**同步**回调一次(入参 = 这次的结果,已记进健康态)。续签器的唯一触发口(设计 §2「每次取值后,
      * 读到 user-session 信封且在提前量内 ⇒ 排队一次续签」)。返回退订。回调不许抛(抛 = 这次取值跟着抛,响亮)。
      */
     onRead(listener: (read: CenterCredentialRead) => void): () => void;
@@ -92,7 +92,7 @@ export type CenterCredentialSourceSpec = Exclude<WebAdminCredentialDeclaration,
     readonly multiTenant: boolean;
 };
 /**
- * 读两个声明键 —— 判定全交 settings-schema 的判官 `judgeWebAdminCredentialDeclaration`(S-742:二选一规则的**唯一**实现;空串 = 未设、
+ * 读两个声明键 —— 判定全交 settings-schema 的判官 `judgeWebAdminCredentialDeclaration`([ref]:二选一规则的**唯一**实现;空串 = 未设、
  * 不 trim;两个都设 ⇒ throw,boot 拒启,拒句点名两个键、不回显值)。本仓只多读方自己的那一步:文件路径按本进程 cwd 解析成绝对
  * 路径(之后 cwd 变了也读同一个文件 —— 纯契约不碰 `node:path`,这一步归读方)。
  */
@@ -128,7 +128,7 @@ export declare const CENTER_CREDENTIAL_REFUSAL_CODES: {
 };
 export type CenterCredentialRefusalCode = (typeof CENTER_CREDENTIAL_REFUSAL_CODES)[keyof typeof CENTER_CREDENTIAL_REFUSAL_CODES];
 /**
- * S-698 —— boot 读到的凭证怎么处置(`boot/web-admin.ts` 执行,规则只在这里):
+ * [ref] —— boot 读到的凭证怎么处置(`boot/web-admin.ts` 执行,规则只在这里):
  *  · `missing` / `expired` ⇒ 响亮(error 级一行),照常起服 —— 前者是「此刻没有凭证」(登出形,文件出现即恢复),
  *    后者续签器立刻续签;
  *  · `malformed` / `multi_tenant_session` ⇒ **拒启**,拒句带码、点名文件键,不回显内容(`reason` 由本模块铸,本来就不含内容)。
@@ -144,7 +144,7 @@ export declare function scopedTokenNeedsWorker(read: CenterCredentialRead, worke
  */
 export declare function centerStateBin(worker: string | undefined, identity: string): string;
 /** 此刻凭证的身份(每次现读);取不到凭证 ⇒ `undefined`(身份未知)—— 唯一例外是 `expired`:令牌不许出站,但信封还读得出
- *  是谁(S-698:过期不等于换了人,盘上 LKG / prompt 分箱照常对得上)。「我现在是谁」只有这一只读法。 */
+ *  是谁([ref]:过期不等于换了人,盘上 LKG / prompt 分箱照常对得上)。「我现在是谁」只有这一只读法。 */
 export declare function credentialIdentityNow(source: CenterCredentialSource): string | undefined;
 /**
  * [ref] E-15 ② —— 一次中心往返的答复**仍属于此刻的凭证**:发出它所用的身份 = 此刻的身份。

package/dist/checkpoint-identity.d.ts

@@ -1,5 +1,10 @@
 /** `checkpointId` 的长度上界(见本文件头注第 2 条)。 */
 export declare const MAX_CHECKPOINT_ID_CHARS = 128;
+/**
+ * 一句要出店的话(日志 / 探针行)里**不许**含这一行的 token:大小写不敏感地把每一处换成记号 —— 与 {@link trustedCheckpointId} 同一条「包含关系 + 大小写不敏感」判据,
+ * 用在交不了值、只交得了一句话的出口(引擎铸的披露句按 checkpoint id 点名,而 id 可能被写成了 token)。token 为空 ⇒ 原句。
+ */
+export declare function withoutCheckpointToken(text: string, token: unknown): string;
 /** 持久层读出的 `checkpointId` 过信任边界:是串、非空、不超长、不含 token(大小写不敏感)⇒ 原值;否则 `undefined`。判据全文见本文件头注。 */
 export declare function trustedCheckpointId(raw: unknown, token: unknown): string | undefined;
 /** 带 `checkpointId` 当 join 键的两类 durable 读面(计数 detail 的 `face`)。 */

package/dist/checkpoint-identity.js

@@ -1,5 +1,19 @@
 import { recordFailOpen } from "./observability/fail-open.js";
 export const MAX_CHECKPOINT_ID_CHARS = 128;
+export function withoutCheckpointToken(text, token) {
+    const secret = token === undefined || token === null ? "" : String(token);
+    if (secret === "")
+        return text;
+    const lower = text.toLowerCase();
+    const needle = secret.toLowerCase();
+    let out = "";
+    let from = 0;
+    for (let at = lower.indexOf(needle); at !== -1; at = lower.indexOf(needle, from)) {
+        out += `${text.slice(from, at)}«checkpoint token»`;
+        from = at + needle.length;
+    }
+    return out + text.slice(from);
+}
 export function trustedCheckpointId(raw, token) {
     if (typeof raw !== "string" || raw === "" || raw.length > MAX_CHECKPOINT_ID_CHARS)
         return undefined;

package/dist/config-catalog.d.ts

@@ -36,12 +36,12 @@ export interface ConfigCatalogSpec {
     readonly danger?: readonly CatalogDangerAxis[];
     readonly enumValues?: readonly string[];
     /**
-     * S-201① —— 本行**回显**得出的词集(`enumValues` 的子集;缺席 ⇒ 与 `enumValues` 同集)。
+     * [ref]① —— 本行**回显**得出的词集(`enumValues` 的子集;缺席 ⇒ 与 `enumValues` 同集)。
      *
      * 🔴 `enumValues` 一直是**两义**的:它既是行对外宣告的「你可以写哪些词」([ref] 件⑤/⑧ 两条钉逐字锚
      * 这一义:窄了=少宣告一档、宽了=宣告一个 boot 会拒的词),又被回显校验当成「实算值合不合法」的闭集。
      * 两义在**多数**行上碰巧同集,于是差别只活在散文里 —— `MANUAL_MODE_SHELL_GATE` 的
-     * `derivedDefaultNote` 写着「真姿态只有 always 一个」(S-877 前是 always/classify 两个),`MODEL_DEFAULT_THINKING` 写着
+     * `derivedDefaultNote` 写着「真姿态只有 always 一个」([ref] 前是 always/classify 两个),`MODEL_DEFAULT_THINKING` 写着
      * 「缺席/off ⇒ 不铸」,而**没有任何一条腿读那两句话**:`off` 照样留在回显闭集里,回显校验对它放行。
      *
      * ⇒ 把那半句散文变成一处**校验腿真读的声明**:`sanitizeEnumValue` 问 `echoWords ?? enumValues`,
@@ -53,7 +53,7 @@ export interface ConfigCatalogSpec {
      */
     readonly echoWords?: readonly string[];
     /**
-     * S-100 —— **底层布尔 ↔ 闭集词**的行内映射,只给「实算腿回布尔、而行对外说词」的 enum 行。
+     * [ref] —— **底层布尔 ↔ 闭集词**的行内映射,只给「实算腿回布尔、而行对外说词」的 enum 行。
      *
      * 为什么写在行上而不是建第二张全局极性表:`config.ts` 的极性表(`ConfigKnobRecord`)记的是
      * **布尔旋钮**的来源与默认方向,它压根不带词 —— 拿它当 `true→enumValues[0]` 的位置约定用,等于
@@ -73,7 +73,7 @@ export interface ConfigCatalogSpec {
      *
      * 🔴 第二参是**部署 env**,不是第五条供值腿:有几根旋钮的属主不在 `ServiceConfig` 上(它在装配点按
      * env 现算,如 WebSearch 后端),而目录的纪律是「回显属主算出来的值」—— 只能把同一条实算腿的入参放宽,
-     * 不能在目录里再抄一遍属主的读法(S-100 / codex r1 F3 的成案:抄一遍就是第二个写者,当场分歧)。
+     * 不能在目录里再抄一遍属主的读法([ref] / codex r1 F3 的成案:抄一遍就是第二个写者,当场分歧)。
      */
     readonly resolve?: (config: ServiceConfig, env: NodeJS.ProcessEnv, boot: CatalogBootFacts) => CatalogValue | undefined;
     readonly center?: CatalogCenterSeatSpec;
@@ -94,12 +94,12 @@ export interface ConfigCatalogRowCenter {
     readonly effectiveNow: boolean;
 }
 /**
- * 行上**对 `effectiveValue` 的判词位**(闭集;S-527 收成一族)—— 每一位**只在为真时铸 `true`、恒不铸 `false`**,缺席 = 这一格没有这件事
+ * 行上**对 `effectiveValue` 的判词位**(闭集;[ref] 收成一族)—— 每一位**只在为真时铸 `true`、恒不铸 `false`**,缺席 = 这一格没有这件事
  * (不是「不知道」)。净化器({@link sanitizeValue})一次读出值与判词,行投影原样铺平 —— 判词位只有这一种形,第三个判词位加进本闭集即受同一条约束。
- *  · `effectiveValueInvalid`(S-100,additive)—— 本行的实算值**落在它自己宣告的回显闭集之外**(`echoWords ?? enumValues`,S-201①),
+ *  · `effectiveValueInvalid`([ref],additive)—— 本行的实算值**落在它自己宣告的回显闭集之外**(`echoWords ?? enumValues`,[ref]①),
  *    或它的实算腿回了一个本行没有声明映射的布尔。在场时 `effectiveValue` 恒 `null`:回显一个集外值等于目录在教消费方写一个写回去就非法的词,
  *    而**静默丢**会让「配错了」与「真的没设」在 wire 上同形([ref] 响亮臂)。只服务闭集族(`type:"enum"`)。
- *  · `effectiveValueWithheld`(S-527,additive)—— `type:"url"` 行:展示铸点对这一格(单值)或其中任一项(列表)判了扣下(`failedClosed`:
+ *  · `effectiveValueWithheld`([ref],additive)—— `type:"url"` 行:展示铸点对这一格(单值)或其中任一项(列表)判了扣下(`failedClosed`:
  *    位置律本会显示的一段 —— 整段 query / 一个路径段 —— 因为里面有一条凭据形而不出门)。判决的属主是铸点,目录不另判;
  *    标准位置律(userinfo 落地、query 每个值成记号)对每一行同样成立,不是扣下;值整只成占位 = 这一行的展示律显示不了这个值
  *    (通用 url 行:不是层级式 URL;两只出网代理行的展示律更窄 —— 只显示 `scheme://host[:port]`,形不干净整只占位,`outbound-dispatcher.ts` `displayProxyUrl`),也不是本位。
@@ -135,7 +135,7 @@ export interface ConfigCatalogRow extends CatalogValueVerdicts {
  * 而不是回表态原词、未设回 `null`。入参对象本身**必填**(每个调用点都得表态这次有哪些装配事实)。
  */
 export interface CatalogBootFacts {
-    /** 记忆整理阀门的生效值(boot 第 4 段 `createConsolidationValve` 的判决:显式词,或 S-824 / [ref] 的出厂缺省派生)。
+    /** 记忆整理阀门的生效值(boot 第 4 段 `createConsolidationValve` 的判决:显式词,或 [ref] / [ref] 的出厂缺省派生)。
      *  缺席 = 这次装配没有这件事实(只有不经真装配的桩服务:`ServiceDeps` 平铺视图里组字段是可选的;真装配的分组形里它必填)
      *  ⇒ 实算腿答「不知道」(落 env 原文 / null),不猜。 */
     readonly memoryConsolidationValve?: {
@@ -149,7 +149,7 @@ export interface ConfigCatalogInputs {
     readonly boot: CatalogBootFacts;
     readonly knobs: readonly ConfigKnobRecord[];
     /** settings-schema 现行 DOMAINS(调用方传入,原样上 wire 的 `centerDomains` 列表)。🔴 7.106.0 起本注改真:本模块**不是**零包依赖 ——
-     *  它值级 import 了 core 与契约包(词表 / 中心凭证键名 / S-866 ⑤a 的 `DOMAIN_SCHEMAS` 座位门);这一格照旧由调用方传,
+     *  它值级 import 了 core 与契约包(词表 / 中心凭证键名 / [ref] ⑤a 的 `DOMAIN_SCHEMAS` 座位门);这一格照旧由调用方传,
      *  只因为它是 wire 上的一段列表、由路由决定取哪一份。 */
     readonly centerDomains: readonly string[];
     /** web-admin 当前在管的 ServiceConfig 键集(缺席 = 没有配置管道)。 */
@@ -168,7 +168,7 @@ export interface ConfigCatalogWire {
         readonly centerManaged: number;
     };
     readonly rows: readonly ConfigCatalogRow[];
-    /** S-885(7.106.0)—— 退役 env 墓碑表(settings-schema `RETIRED_ENVS`,本进程起服按它拒启)的投影 `buildRetiredEnvWire()`,**恒在场**
+    /** [ref](7.106.0)—— 退役 env 墓碑表(settings-schema `RETIRED_ENVS`,本进程起服按它拒启)的投影 `buildRetiredEnvWire()`,**恒在场**
      *  (可为空数组)。与 `rows` 分开:rows 是「本进程会读的 env」,这里是「本进程会拒的旧名」—— 一个名字不会同时在两处(墓碑名没有读取点)。 */
     readonly retired: readonly RetiredEnvWire[];
 }
@@ -178,7 +178,7 @@ export interface ConfigCatalogWire {
  */
 export declare const CONFIG_CATALOG: readonly ConfigCatalogSpec[];
 /**
- * S-866 ⑤a —— **目录座位加载期门**(类修:一次把「目录声称了契约里没有的中心写位」整类关掉)。
+ * [ref] ⑤a —— **目录座位加载期门**(类修:一次把「目录声称了契约里没有的中心写位」整类关掉)。
  *
  * 行上的 `center` 座位说的是「中心能发布这个键」。它必须对得上契约包 `@sema-agent/settings-schema` 的 `DOMAIN_SCHEMAS`:
  * ① 域在场;② `path` 在该域的 zod 形里解析得出(`a.b` 逐段进对象;`xs[].c` = 进数组元素)。任一不成立 ⇒ **抛**(模块加载即抛:
@@ -188,7 +188,7 @@ export declare const CONFIG_CATALOG: readonly ConfigCatalogSpec[];
  * 解析只认 zod 的结构外衣(optional / nullable / default / catch / readonly / effects·管道 / lazy)与对象 / 数组两种容器;认不出的节点 = 解析不出
  * (fail-closed:宁可多拒一个座位,也不放过一个假座位)。
  *
- * 🔴 S-909(7.106.0 合并复审 opus 腿 L-1):**只走 zod 公开面**。契约包今天是 zod 3.25、本仓是 zod 4 —— 读 zod 私有定义字段(类型判别名 /
+ * 🔴 [ref](7.106.0 合并复审 opus 腿 L-1):**只走 zod 公开面**。契约包今天是 zod 3.25、本仓是 zod 4 —— 读 zod 私有定义字段(类型判别名 /
  * 内层 schema / lazy getter)的旧写法在契约包升 zod 4 那天会让 `models[].…` 整族座位解析不出,模块 import 期整只抛。两大版没有一个能同时
  * 公开读到的「这是什么节点」判别位(v4 的 `.def.type` 在 v3 上不存在),`instanceof` 也跨不了两份 zod 的类身份 ⇒ 按两大版**同名的公开访问器**
  * 认形,规则三条(见 {@link zodObjectShapeOf} / {@link isZodArrayFace} / {@link ZOD_WRAPPER_FACES})。钉:`test/config-catalog-zod-public-face.test.ts`。

package/dist/config-invariants.d.ts

@@ -58,7 +58,7 @@ export interface CrossInvariant {
     check(input: CrossInvariantInput): string | undefined;
 }
 /**
- * ── S-1008 ① 推广(车 UZ 推广轮):**拒因句单铸点**是一类 —— 下面五只是 `config.ts` 区里五条跨域拒启的**判据 + 句子的唯一属主**
+ * ── [ref] ① 推广(车 UZ 推广轮):**拒因句单铸点**是一类 —— 下面五只是 `config.ts` 区里五条跨域拒启的**判据 + 句子的唯一属主**
  * (`executionLaneRequiredRefusal` / `modelProviderRefusal` 同形):boot 的 throw(`config.ts`,锚在那儿)与注册表条目的 `check` **都调它**,
  * 没有第二份文本可漂。修前这五条逐条两份不同的句子(boot 手写一份、表里另写一份),boot 那份是运维在 stderr 读到的(`config-validation.test.ts`
  * 钉着它的指纹),表那份只在热路径上被调 —— 而热键集带不上这些键 ⇒ 实际无读者。句子**取 boot 那份**(逐字不变);类钉 =
@@ -69,12 +69,12 @@ export interface CrossInvariant {
 export declare function halfOpenDirectDoorRefusal(v: Pick<CrossInvariantView, "directApprovalDoor" | "durableApproval" | "approvalHmacKeys" | "principalJwtPubkeys" | "principalJwtIss" | "principalJwtAud" | "requirePrincipal" | "operatorPrincipals">): string | undefined;
 /**
  * `operator-principals-required`([ref]-① 普查候选 1/2):BFF 多租户 durable 形(DURABLE_APPROVAL ∧ REQUIRE_PRINCIPAL,直连门关)的空 operator 名单。
- * 这条不变量生于审批四读面读「空名单 = 人人是」那条读法的年代(那时它防的是跨租户读待批队列);S-1050 删了那条读法 —— 空名单在每一面都是「没人是」,
+ * 这条不变量生于审批四读面读「空名单 = 人人是」那条读法的年代(那时它防的是跨租户读待批队列);[ref] 删了那条读法 —— 空名单在每一面都是「没人是」,
  * 不再外泄任何东西 —— 剩下的事实是「这台多租 worker 的审批队列没有人能当运维」。本版只把句子改真、不改拒启集;删不删这一条是另一次表态。
  */
 export declare function operatorPrincipalsRequiredRefusal(v: Pick<CrossInvariantView, "durableApproval" | "requirePrincipal" | "operatorPrincipals">): string | undefined;
 /**
- * `operator-single-user`(S-1050,[ref] ① 裁 A):「谁是 operator」一个事实一个来源。`OPERATOR_SINGLE_USER=true`(单用户形的每个调用方都是运维)
+ * `operator-single-user`([ref],[ref] ① 裁 A):「谁是 operator」一个事实一个来源。`OPERATOR_SINGLE_USER=true`(单用户形的每个调用方都是运维)
  * 只在单用户形、名单为空时成立:多租形没有「单一用户」(声明会把每个租户都变成运维);名单非空时两个来源答同一个问题。两形都拒,句子点名两根旋钮与出路。
  */
 export declare function operatorSingleUserRefusal(v: Pick<CrossInvariantView, "operatorSingleUser" | "requirePrincipal" | "operatorPrincipals">): string | undefined;
@@ -109,7 +109,7 @@ export declare function workflowParkDecisionDomainRefusal(v: Pick<CrossInvariant
 export declare function centerIdentityRefusal(v: Pick<CrossInvariantView, "authBridgeIssuer" | "webAdmin">): string | undefined;
 export declare const CONFIG_CROSS_INVARIANTS: readonly CrossInvariant[];
 /**
- * 按 id 取**一条**(S-157②:boot 面的单源化出口)。
+ * 按 id 取**一条**([ref]②:boot 面的单源化出口)。
  *
  * 为什么不是在 boot 期跑 `checkCrossInvariants` 全表:全表里有若干条的 boot 拒启点在 `config.ts` 的装配尾
  * (各自有自己的锚),在这里再跑一遍全表等于给 boot 加上今天不存在的拒启臂 —— 那是行为改动,不是单源化。

package/dist/config-invariants.js

@@ -6,14 +6,15 @@ import { defaultModelRefusal, refusedNameMintedRefusal } from "./model-entry-ref
 import { WEB_ADMIN_ENV, httpUrlFlaws } from "@sema-agent/settings-schema";
 import { authBridgeIssuerOf } from "./auth-bridge.js";
 import { buildDisplaySafeUrl } from "./trace/redact.js";
-import { executionLaneCaps, executionLaneOf, executionLaneRequiredRefusal, laneCapabilityHolds, REMOTE_EXEC_PROVIDER_WORDS } from "./execution-lane-caps.js";
+import { executionLaneCaps, executionLaneOf, executionLaneRequiredRefusal, REMOTE_EXEC_PROVIDER_WORDS } from "./execution-lane-caps.js";
+import { DEPLOYMENT_SHAPE_PREDICATES } from "./deployment-shape.js";
 export const LIVENESS_HEARTBEAT_MS = 30_000;
 const anyServiceAuth = (v) => Boolean(v.authToken) || Object.keys(v.authTokens ?? {}).length > 0;
 const mustNarrowBind = (v) => Boolean(v.allowUnauthedWrites) && !anyServiceAuth(v);
 const directDoorConjuncts = (v) => Boolean(v.directApprovalDoor) && Boolean(v.durableApproval) && v.approvalHmacKeys.length > 0 && v.principalJwtPubkeys.length > 0 && Boolean(v.principalJwtIss) && Boolean(v.principalJwtAud);
 function multiTenantSharedLaneRefusal(v) {
     const lane = executionLaneOf(v.remoteExec?.provider);
-    if (laneCapabilityHolds(executionLaneCaps(lane).tenantSeparation, v))
+    if (DEPLOYMENT_SHAPE_PREDICATES.laneSeparatesTenants.holds(v))
         return undefined;
     const outlets = REMOTE_EXEC_PROVIDER_WORDS.filter((w) => executionLaneCaps(w).tenantSeparation === "supported");
     return (`REQUIRE_PRINCIPAL=true (multi-tenant posture) with the "${lane}" execution lane runs every tenant's Bash on one shared target — ` +

package/dist/config-lkg.d.ts

@@ -34,7 +34,7 @@ export declare function lkgPathOverrideOf(raw: string | undefined): string | und
  *    根经链接时引擎连目标一起守)两处守它 ⇒ 不另加行(加了就是同一个文件两只判据,`READ_DENY_BUILTIN_EXCLUDE` 删那一行也删不掉它);
  *  · 覆写 ⇒ LKG 在配置根外,引擎那一行够不着 ⇒ 这里派生**一行** = 覆写的绝对路径(`/` 开头;`lkgPathOverrideOf` 已把相对值解成绝对)。大小写不敏感
  *    (与内建行同读法)。拒句与内建行同一句(`sensitive-path read deny list (pattern …)`)。
- *    **行的射程**(引擎读拒表的读法,core 7.48.0 #1442):`/` 开头的行**根锚定** —— 只守那一个绝对位置,用户仓里同尾的路径
+ *    **行的射程**(引擎读拒表的读法,core 7.48.0 [ref]):`/` 开头的行**根锚定** —— 只守那一个绝对位置,用户仓里同尾的路径
  *    (`/app/config-lkg.json` 之于 `…/repo/app/config-lkg.json`)读得到、Grep 结果里也在;路径经符号链接的目录时,引擎在每次准备时把这一行
  *    **沿链放置**到它的字面头真正通向的地方(写进去的文件落在链接目标下,目标路径同样被拒)。
  *    7.120.0–7.122.x 的两处旧读法随之退役:行是尾段任意深度匹配(挡掉用户仓里同尾的路径);本仓另派生一条 realpath 落点行(座席铸一次、

package/dist/config-provider.d.ts

@@ -18,14 +18,14 @@ import type { ConfigProviderWord } from "./config-types.js";
  *  ——缺席/空两形并存就是又一处二义。
  *  🔐 原流的 `error` 未经 {@link redactConfigError}(那道脱敏挂在真正进日志流的 `domainErrors` 产出边界上),
  *  路由进日志/审计流的消费者必须自己先脱敏。 */
-/** `credentialIdentity`(S-651 / [ref] E-15):远程腿恒在场 = 这次拉取所用凭证的身份(分箱键来源);本地腿
+/** `credentialIdentity`([ref] / [ref] E-15):远程腿恒在场 = 这次拉取所用凭证的身份(分箱键来源);本地腿
  *  缺席(没有凭证 —— config.d 就在本机盘上)。 */
-/** `droppedEntries`(S-704 ②):schema 逐条丢掉的条目(坐标 + 字段诊断,已脱敏;S-1295 起每行带闭集词 `reasonCode`)—— **不**进候选门,
+/** `droppedEntries`([ref] ②):schema 逐条丢掉的条目(坐标 + 字段诊断,已脱敏;[ref] 起每行带闭集词 `reasonCode`)—— **不**进候选门,
  *  调用方逐条响亮点名、其余照用;缺席 = 这次读零逐条丢弃(与 `domainErrors` 同一种缺席即无的形)。其中的目录条目同一次折叠另记进
  *  `effective.models.droppedCatalogEntries`(`GET /v1/models.droppedEntries` 的源,与 `models` 同世代)。 */
 /** `unreadFiles`:`config.d` 里读腿根本不读的文件(不是域 / 不是便携域)—— **不**进候选门(不是读的域判形失败),调用方一份一行
  *  `config_unread_file` 点名、其余照用;缺席 = 没有(本地读腿才会有)。 */
-/** `retiredDomains`(S-1456):带事实的退役域文档(契约包的墓碑)—— 读腿不抛,交成发现,候选判官以成因 `retired_domain` 整拒这份候选(与域判形失败
+/** `retiredDomains`([ref]):带事实的退役域文档(契约包的墓碑)—— 读腿不抛,交成发现,候选判官以成因 `retired_domain` 整拒这份候选(与域判形失败
  *  同一条回落链、同一行拒判);缺席 = 没有。远端腿:那一键不进 effective、其余域照读;本地腿:契约读腿在读便携域之前就拒,交出的候选只有版本
  *  (这棵树的内容版本,哈希含退役文件 ⇒ 改 / 删它版本即变),内容是空的 effective(被整拒,不会被应用)。 */
 /** `unreadKeys`:本地读腿读了那份文件、却结构上不读其中一键(`prompts.json` 的 `workers`)—— 同 `unreadFiles`,不进候选门,调用方一键一行 `config_unread_key`。 */
@@ -96,13 +96,13 @@ export interface ConfigProvider {
     /**
      * Fetch one skill body by content hash (`sha256:<hex>`). Remote: GET the content endpoint + verify the
      * hash. Local: content-addressed lookup over the skills of the candidate this provider last served (the
-     * same read that produced the manifest — S-1556). Returns `undefined` when the hash
+     * same read that produced the manifest — [ref]). Returns `undefined` when the hash
      * is unknown (remote 404 / local miss) so the caller keeps its baseline; throws only on a hard error
      * (remote non-404 HTTP / hash mismatch).
      */
     fetchSkillContent(contentHash: string): Promise<string | undefined>;
     /**
-     * S-1556:这只配置源给技能正文留的**盘缓存目录**(content-addressed;`applySkillsManifest` 的读序 内存 → 盘 → 本配置源,读到即回写)。
+     * [ref]:这只配置源给技能正文留的**盘缓存目录**(content-addressed;`applySkillsManifest` 的读序 内存 → 盘 → 本配置源,读到即回写)。
      * 远程:开着 LKG(`CONFIG_LKG_ENABLED`)时 = 配置根下的 `skill-cache` —— 中心不可达时的 LKG 起服不卡在正文拉取上,LKG 落盘的正文完整性门
      * 也验这同一个目录;关着 = 缺席(不落盘)。本地:恒缺席 —— 正文就内联在本机盘上的 config.d 里,再拷一份是第二份真源。
      */
@@ -118,24 +118,24 @@ export interface ConfigProviderInput {
         worker?: string;
         dryRun?: boolean;
     };
-    /** `CONFIG_PROVIDER` —— 闭集 `local` | `remote` | 缺席(S-841:词表属主 `CONFIG_PROVIDER_WORDS`,认不出的词在
+    /** `CONFIG_PROVIDER` —— 闭集 `local` | `remote` | 缺席([ref]:词表属主 `CONFIG_PROVIDER_WORDS`,认不出的词在
      *  `loadConfig` 就拒启,本层**不可能**再收到第三个词 —— 修前那条「认不出 ⇒ 当 local + warn」的臂随之删除)。
      *  `local` forces the local backend; `remote` selects the center (falls through to local if no URL). */
     provider?: ConfigProviderWord;
-    /** 本地配置源的根(持有 `config.d/<domain>.json`;FileConfigStore 吃根、读 `<root>/config.d`)。🔴 S-841:**必填**,
+    /** 本地配置源的根(持有 `config.d/<domain>.json`;FileConfigStore 吃根、读 `<root>/config.d`)。🔴 [ref]:**必填**,
      *  值恒来自 {@link configLocalRoot}(入口算一次,工厂与执行车道合成步读同一个)—— 修前是可选、缺席回落
      *  `process.cwd()`,而工厂只在 `CONFIG_PROVIDER === "local"` 字面上递它 ⇒ 另一条走到 local 的路上配置源读 cwd、
      *  合成步读 localRoot,两个根分家。一个远程源也收它:`remote` 而无中心 URL 的形照样落回 local。 */
     localDir: string;
-    /** S-163:本地配置源的属主声明(`CONFIG_LOCAL_OWNER_UID`,配置席 `configLocalOwnerUid`)—— 每拍读 `config.d` 之前的目录信任判官与起服那一次判同一个值。
+    /** [ref]:本地配置源的属主声明(`CONFIG_LOCAL_OWNER_UID`,配置席 `configLocalOwnerUid`)—— 每拍读 `config.d` 之前的目录信任判官与起服那一次判同一个值。
      *  **必填**(值可以是 `undefined` = 没声明):两个生产构造点都必须递,漏递 = 起服判过、每拍却按「没声明」判 ⇒ 每一拍都拒(tsc 在这里挡)。 */
     localOwnerUid: number | undefined;
-    /** S-1556:远程配置源的技能正文盘缓存目录(见 {@link ConfigProvider.skillBodyCacheDir});本地配置源不认它(正文本就在盘上)。缺席 = 不落盘。 */
+    /** [ref]:远程配置源的技能正文盘缓存目录(见 {@link ConfigProvider.skillBodyCacheDir});本地配置源不认它(正文本就在盘上)。缺席 = 不落盘。 */
     skillBodyCacheDir?: string;
 }
 /**
  * RemoteConfigProvider — DELEGATES to the exported web-admin HTTP functions. No HTTP is reimplemented;
- * the center endpoint (baseUrl + credential SOURCE — S-651: read per request, never a bound token) and worker
+ * the center endpoint (baseUrl + credential SOURCE — [ref]: read per request, never a bound token) and worker
  * are passed through. The two delegate fns are injectable (defaulting
  * to the real web-admin exports) so a unit test can assert delegation without module-mocking.
  */
@@ -192,13 +192,13 @@ export declare function mapToServiceEffective(eff: AgentConfigEffective, version
  * `CONFIG_PROVIDER=remote` with no URL is a misconfiguration — we fall through to local rather than
  * constructing a remote provider with no endpoint (the caller would have skipped the remote pull entirely
  * under the old code path; local-with-empty-config.d degrades to env the same way). An UNRECOGNIZED value
- * never reaches this function: `loadConfig` refuses to boot on it (S-841), so a fat-fingered knob can
+ * never reaches this function: `loadConfig` refuses to boot on it ([ref]), so a fat-fingered knob can
  * neither source config from an unintended network endpoint nor be read as "local" here while the
  * execution-lane default reads it as "not local".
  */
 export declare function createConfigProvider(input: ConfigProviderInput): ConfigProvider;
 /**
- * S-841 —— **本地配置根的唯一来源**:`CONFIG_LOCAL_DIR` → `AGENT_DATA_DIR` → `~/.ai-agent`。两个入口(HTTP 服务的第 1 段、
+ * [ref] —— **本地配置根的唯一来源**:`CONFIG_LOCAL_DIR` → `AGENT_DATA_DIR` → `~/.ai-agent`。两个入口(HTTP 服务的第 1 段、
  * run-local)各调一次,算出来的那一个值同时交给 web-admin 工厂(`createConfigProvider` 的 `localDir`)与执行车道合成步
  * (`composeExecutionLane` 的 `localRoot`)—— 修前两个入口各写一份这条链(run-local 还多一个与之等价的三元),工厂又在
  * 字面 `"local"` 之外回落 `process.cwd()`。
@@ -212,7 +212,7 @@ export declare function configLocalRoot(config: {
 /**
  * {@link createConfigProvider} 会造出**哪一种**配置源 —— 判据的唯一属主(构造器与执行车道合成步读同一只:
  * local 形 `config.d/remote-exec.json` 的 file-wins 覆写只在配置源是 local 时生效,车PI 修复轮 ①)。
- * `local` 或没配中心 ⇒ local;其余 ⇒ remote。(S-841 起入参是闭集:「认不出的词 ⇒ local」那一臂随拒启删除。)
+ * `local` 或没配中心 ⇒ local;其余 ⇒ remote。([ref] 起入参是闭集:「认不出的词 ⇒ local」那一臂随拒启删除。)
  */
 export declare function configProviderKind(input: {
     readonly provider?: ConfigProviderWord | undefined;

package/dist/config-provider.js

@@ -5,7 +5,7 @@ import { FileConfigStore } from "@sema-agent/settings-schema/node";
 import { assertLocalConfigDirTrusted } from "./config-dir-trust.js";
 import { danglingRefs, emptyEffective, findSkillContent, promptArtifactFor, renderRefIssue, skillContentHash, } from "@sema-agent/settings-schema";
 import { redactSecrets } from "./trace/redact.js";
-import { fetchEffective as remoteFetchEffective, fetchSkillContent as remoteFetchSkillContent, WebAdminHttpError, } from "./web-admin-client/facade.js";
+import { fetchEffective as remoteFetchEffective, fetchSkillContent as remoteFetchSkillContent, skillToolListsOf, WebAdminHttpError, } from "./web-admin-client/facade.js";
 import { homedir } from "node:os";
 import { join } from "node:path";
 const OPERAND_FINGERPRINT_KEY = randomBytes(16);
@@ -190,6 +190,7 @@ export function mapToServiceEffective(eff, version) {
                 scenarios: s.scenarios ?? [],
                 contentHash: skillContentHash(s.content),
                 enabled: s.enabled,
+                ...skillToolListsOf(s),
             })),
         },
         mcp: {