@sema-agent/server 7.123.0 → 7.124.0

package/dist/{config-center → web-admin-client}/types.d.ts

@@ -1,5 +1,5 @@
 /**
- * config-center wire types — the config-center `/api/config/effective` payload shapes (`CenterModel`,
+ * web-admin wire types — the web-admin `/api/config/effective` payload shapes (`CenterModel`,
  * `CenterSkillManifest`, `CenterMcpServer`, `CenterA2aPeer`, `EffectiveConfig`) plus the per-principal
  * execution/session-mirror ruling shapes riding the caps view (`ExecutionRuling`/`SessionMirrorRuling`).
  * Pure type/interface declarations — no runtime logic. Split out of `facade.ts` ([ref] A13,
@@ -134,7 +134,7 @@ export interface CenterMcpServer {
      * 的 `McpServerSpec` 是默认 strip 的 zod object 且没有 `contentOrigin` 可选键,本地腿在 FileConfigStore 的
      * `parseDomainLoud(DOMAIN_SCHEMAS.mcp)`、远端腿在消费端边界 `readEffectiveWire`([ref] 裁B)**各被剥一次**。
      * 修在 sema-settings-schema(补同名可选枚举键 + 发包),本仓提货后 `config-provider.ts` 的映射加一行即通;
-     * 两条 `it.fails` 绊线(test/config-center-wire-read.test.ts + test/config-provider.test.ts)在上游到货时
+     * 两条 `it.fails` 绊线(test/web-admin-wire-read.test.ts + test/config-provider.test.ts)在上游到货时
      * 自动翻红逼销账。
      */
     contentOrigin?: ToolContentOrigin;
@@ -195,7 +195,7 @@ export interface CenterA2aPeer {
  * #A4([ref] 窗三件批 件1;[ref]/[ref] 承诺件)—— READ 容纳面的 center 下发形(`CenterA2aPeer` 的
  * 同族:一个 additive 顶层域,server 声明它才不会被静默丢弃)。四个成员逐一对应部署 env 的四键
  * (`READ_FACE` / `READ_DENY_PATTERNS` / `READ_DENY_BUILTIN_TIERS` / `READ_DENY_BUILTIN_EXCLUDE`),
- * 消费半场 = `config-center/read-face.ts` `applyCenterReadFace`。
+ * 消费半场 = `web-admin-client/read-face.ts` `applyCenterReadFace`。
  *
  * 🔴 **env 显式恒赢**(operator-knob 律,消费侧执法):env 是这台机器的部署主权,center 是组织下发;
  * 冲突时本机 env 原样保留 + 一条点名 warn。所以本类型描述的是「组织想要什么」,不是「这台机器最终是什么」。
@@ -267,8 +267,10 @@ export interface EffectiveConfig {
     models: {
         models: CenterModel[];
         roles: Record<string, CenterRoleTarget>;
-        atModelAllowlist?: string[];
-        default?: string;
+        /** `models.atMention`(settings-schema 11)的**承载位**:类型是 `unknown` 而不是那个三态,理由与 {@link CenterModel.compat} 同 ——
+         *  本类型描述到货 JSON,形与缺省读法的单一属主是契约座位 schema(`model-select.ts` `readAtMention`,stage 在那一刻调它)。
+         *  两条读腿恒物化它;只有一份 11.0.0 之前写下、迁移后仍没有这一键的 LKG 载荷缺席它(缺席 = 契约缺省)。 */
+        atMention?: unknown;
         tierGroups?: unknown;
         activeTierGroup?: string;
         /** 🔴 S-712 / S-1295 —— **本仓读腿铸的**载体(不是 wire 键:中心在模型域里写同名键会被 schema 当未知键剥掉并进候选门):这次读
@@ -307,42 +309,13 @@ export interface EffectiveConfig {
             enabled?: boolean;
         }>;
     };
-    /** `runtime` 域 = **限额残余五键**,与 settings-schema `RuntimeConfig` 的键集逐字相等([ref] 件3 对账门
-     *  test/settings-schema-consumption-gates.test.ts 读 dist `RuntimeConfig.shape` 钉集合等式)。全部 center
-     *  `.optional()`(center `f95438a`):缺席 = 不管 → 保 env;在场(含显式 0 = "publish OFF")= 覆盖。
-     *  [ref] 批1 起五键全是**热**键(属主 stage-limits,boot+refresh 双腿);`limits` 域是它们的继任发布位
-     *  (两处同现 ⇒ limits 赢,见 {@link EffectiveConfig.limits})。
-     *
-     *  🔴 治理三件(autonomy / commandPolicy / approvalRequire)**不在这里**([ref] 件3 退役键清除):它们自
-     *  settings-schema 0.6 起住 `governance` 域,0.7.1 撤了 runtime 位的双写镜像;此后 `RuntimeConfig` 是 strip
-     *  的 zod object,两条腿(远端 `readEffectiveWire` / 本地 FileConfigStore→`buildEffective`)都把旧位 strip
-     *  掉、由 `legacyGovernanceFromRuntime` 抬进 governance ⇒ 本仓在 runtime 位上读它们的每一行都是死码。
-     *  旧类型面上留着这三键,让(已于 S-668 波 2 退役的)`runtime-gates` 重启片一直读着一个生产上恒缺席的位(审批闸收紧静默不生效)。 */
-    runtime?: {
-        rateLimitPerMin?: number;
-        maxTaskCostUsd?: number;
-        maxTaskTokens?: number;
-        maxPrincipalCostUsd?: number;
-        costQuotaWindowSec?: number;
-    };
     /**
      * [ref] 批1 —— **limitsHttp 组的热更新发布域**([ref] §6 批1)。
      *
-     * 🔴 为什么是**新顶层域**而不是往 `runtime` 里加键(亲验,不是推测):registry-core 的 `RuntimeConfig`
-     * 是 zod `"strip"` 对象,`runtime` 里的未知键在**两条腿上都会被静默剥掉**(local 腿实测
-     * `{rateLimitPerMin:7, toolResultTtlSec:999}` → `{rateLimitPerMin:7}`,零 domainError;remote 腿的
-     * `readEffectiveWire` 同一 schema)。而**未知顶层域**是 open-world verbatim 透传的(同一实测:顶层
-     * `limits` 原样到手)——所以这是今天唯一能真的把这些键送到消费端的形,也与 governance 域当初从
-     * runtime 里拆出去的先例同族。
-     *
-     * 车道现状(如实):remote 腿即刻可用(center 发什么就到什么);**local 腿(config.d/)暂不可用** ——
-     * `FileConfigStore` 的域表是闭集,`config.d/limits.json` 根本不会被读进 effective。补法在 registry-core
-     * (加 `limits` 域 + PORTABLE_DOMAINS),与 `a2a`/`readFace` 当初的缺口同族;server 侧的消费半场(本键 +
-     * stage + commit)先落地,不在下游自建第二个读盘腿(源头修复纪律)。
-     *
-     * 与 `runtime` 的**优先级**:五个既有闸键(rateLimitPerMin/maxTaskCostUsd/maxTaskTokens/
-     * maxPrincipalCostUsd/costQuotaWindowSec)两处都可能出现 ⇒ `limits` 赢(新位是真值,旧位是过渡),
-     * 与 governance/runtime 的读取优先级契约同形。
+     * 限额五闸(rateLimitPerMin / maxTaskCostUsd / maxTaskTokens / maxPrincipalCostUsd / costQuotaWindowSec)与其余限额键的**唯一**发布位:
+     * settings-schema 11 退役了 `runtime` 域(它曾承载前五键;存量由一次性迁移 SS-M1 搬进本域,读腿对带事实的 `runtime` 整份拒),
+     * 本仓的旧位读法随之删 —— 一个键一个发布位,没有「两处同现谁赢」的优先级规则。两条腿都读它(本地腿:`config.d/limits.json`,
+     * `limits` 在 PORTABLE_DOMAINS 里)。
      */
     limits?: EffectiveLimits;
     /** 142-S4(registry-core 0.10.0 第 15 域):center 项目登记簿。wire 面 verbatim JSON —
@@ -387,7 +360,7 @@ export interface EffectiveConfig {
  *  `host` lane on purpose). ⚠️ Admins writing `required=true` policies must include `in-process` when such
  *  workers should stay admittable — center UI/doc 词表待补齐。
  *
- *  🔴 **`device` 是 per-principal 执行面上最需要写清的一条**(device-executor-lane-v2 §4.1 的 config-center
+ *  🔴 **`device` 是 per-principal 执行面上最需要写清的一条**(device-executor-lane-v2 §4.1 的 web-admin
  *  行,车A-4 补):它是「在**员工自己的机器**上执行」的那条车道 —— 允许它 ≠ 允许一台云沙箱,而是允许
  *  这个 principal 把裁决过的指令投到一台**受管设备**上。⚠️ 但**别把它当设备准入门用**:本 ruling 的
  *  粒度是 lane 名,它表达不了 principal×device 绑定,而且 no-ruling 是 **fail-open** 的

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sema-agent/server",
-  "version": "7.123.0",
+  "version": "7.124.0",
   "description": "Sema Server — the server/API implementation layer for Sema, wiring core, registry, model providers, and cloud agent execution. Built on @sema-agent/core.",
   "type": "module",
   "license": "BUSL-1.1",
@@ -65,7 +65,7 @@
   },
   "dependencies": {
     "@sema-agent/core": "7.48.0",
-    "@sema-agent/settings-schema": "10.1.1",
+    "@sema-agent/settings-schema": "11.2.0",
     "e2b": "^2.28.0",
     "libsodium-wrappers": "^0.8.4",
     "mysql2": "^3.22.4",

package/skills/find-skills.md

@@ -142,7 +142,7 @@ npx skills init my-xyz-skill
 
 <!--
 TODO (clay): add our own first-party skill sources here -
-sema-registry / config-center - as a discovery+install lane alongside the open
-skills.sh ecosystem. Not every deployment ships a config-center, so the section
+web-admin / web-admin - as a discovery+install lane alongside the open
+skills.sh ecosystem. Not every deployment ships a web-admin, so the section
 must probe availability first and fall back to the public ecosystem cleanly.
 -->

package/dist/url-shape.d.ts

@@ -1,31 +0,0 @@
-/** 座位可以禁掉的部件(闭集;判序 = 本数组序)。 */
-export declare const HTTP_URL_PARTS: readonly ["userinfo", "query", "fragment"];
-export type HttpUrlPart = (typeof HTTP_URL_PARTS)[number];
-/** 判官的拒因词(闭集):形不对,或一件被禁的部件在场。 */
-export type HttpUrlFlaw = "not-http-url" | HttpUrlPart;
-/** 「不是一个 http(s) URL」的规则词 —— 不透明形、不可解析、层级式非 http(s) 同一句;只点名规则,不回显 scheme。钉读这一只,不手抄。 */
-export declare const HTTP_URL_SHAPE_RULE = "is not a parseable http(s) URL (scheme must be http or https; it must look like http(s)://host[:port][/path])";
-/**
- * 判:合格 ⇒ `[]`;否则按判序交回规则词。形不对且不透明 ⇒ 只有 `not-http-url`(部件在不透明形上无从判,
- * 也不需要判 —— 那一形整只不收);层级式非 http(s) ⇒ `not-http-url` 之后照判部件。
- * 返回类型按 `forbid` 收窄:座位没禁的部件不会出现在答案里(调用方的穷举 switch 因此不需要一条「不可达」臂)。
- */
-export declare function httpUrlFlaws<P extends HttpUrlPart>(raw: string, forbid: readonly P[]): ReadonlyArray<"not-http-url" | P>;
-/** 一个拒因词的规则句(穷举;新词不补 = 编译红)。句子只说规则,不含值。 */
-export declare function httpUrlRule(flaw: HttpUrlFlaw): string;
-/**
- * 拒句里值的样子(纯函数):合格的 http(s) 形 ⇒ 只到 origin(`scheme://host[:port]`,过展示铸点),origin 之后还有东西(userinfo /
- * 路径 / query / fragment)⇒ 接一枚 `/…`;其余(不透明 / 不可解析 / 层级式非 http(s))⇒ 展示铸点的占位 `«redacted:url»` ——
- * 拒句里不出现非 http(s) 的 scheme 词(主会话增补裁:写成 scheme 的令牌 `<48hex>://host` 曾原样进 fatal 行)。
- *
- * 🔴 为什么只到 origin(车内 codex 对抗复审 r1 [high],亲跑复现):展示铸点的路径段**逐字**保留、只靠形状律认令牌形 ——
- * 形状律认不出的令牌(48 位十六进制拉取令牌就是一例)放在路径上会原样进拒句。拒句落在 fatal 行、stderr、每一轮的请求失败日志,
- * 这几处不赌形状律的覆盖面:座位名 + 规则词已经说清了哪一席错在哪,值只需要认得出是哪一台主机。
- */
-export declare function buildRefusalShownUrl(raw: string): string;
-/**
- * 拒句的**唯一**铸点:`<subject> <规则句>[; <规则句>…]; got "<值的样子>"`(`build*` = 纯数据)。
- * 值只经 {@link buildRefusalShownUrl} 出现;`flaws` 来自 {@link httpUrlFlaws}(调用方按首个拒因选自己的码与出路句)。
- */
-export declare function buildHttpUrlRefusal(subject: string, raw: string, flaws: readonly HttpUrlFlaw[]): string;
-//# sourceMappingURL=url-shape.d.ts.map

package/dist/url-shape.js

@@ -1,41 +0,0 @@
-import { DISPLAY_SAFE_URL_TOKEN, buildDisplaySafeUrl, isHierarchicalUrl } from "./trace/redact.js";
-export const HTTP_URL_PARTS = ["userinfo", "query", "fragment"];
-export const HTTP_URL_SHAPE_RULE = "is not a parseable http(s) URL (scheme must be http or https; it must look like http(s)://host[:port][/path])";
-export function httpUrlFlaws(raw, forbid) {
-    if (!isHierarchicalUrl(raw))
-        return ["not-http-url"];
-    const u = new URL(raw);
-    const hashAt = u.href.indexOf("#");
-    const present = {
-        userinfo: u.username !== "" || u.password !== "",
-        query: (hashAt < 0 ? u.href : u.href.slice(0, hashAt)).includes("?"),
-        fragment: hashAt >= 0,
-    };
-    const shape = u.protocol === "http:" || u.protocol === "https:" ? [] : ["not-http-url"];
-    return [...shape, ...HTTP_URL_PARTS.filter((p) => forbid.includes(p) && present[p])];
-}
-export function httpUrlRule(flaw) {
-    switch (flaw) {
-        case "not-http-url":
-            return HTTP_URL_SHAPE_RULE;
-        case "userinfo":
-            return "must not carry userinfo (credentials in the URL are logged, reported and handed to fetch; they belong in a credential setting)";
-        case "query":
-            return "must not carry a query (request paths are appended to this base)";
-        case "fragment":
-            return "must not carry a fragment (it is never sent, and anything appended after it is dropped with it)";
-    }
-}
-export function buildRefusalShownUrl(raw) {
-    if (!isHierarchicalUrl(raw))
-        return DISPLAY_SAFE_URL_TOKEN;
-    const u = new URL(raw);
-    if (u.protocol !== "http:" && u.protocol !== "https:")
-        return DISPLAY_SAFE_URL_TOKEN;
-    const origin = `${u.protocol}//${u.host}`;
-    return `${buildDisplaySafeUrl(origin)}${u.href === `${origin}/` ? "" : "/…"}`;
-}
-export function buildHttpUrlRefusal(subject, raw, flaws) {
-    return `${subject} ${flaws.map(httpUrlRule).join("; ")}; got ${JSON.stringify(buildRefusalShownUrl(raw))}`;
-}
-//# sourceMappingURL=url-shape.js.map