@sema-agent/settings-schema 13.0.1 → 14.1.0

package/dist/types.js

@@ -777,8 +777,8 @@ export const ScenarioEntry = z.object({
      *  a release just to NAME a toolset a newer service ships. */
     toolset: z.string().regex(/^[a-z][a-z0-9-]{0,63}$/, "toolset key (lowercase slug)"),
     // ScenarioEntry.prompt 已废弃(产品裁定 2026-07-17,[ref]③a;第二评审独立同判「second
-    // registry field would become an ambiguous precedence channel」):配置域 prompt 单入口=web-admin
-    // prompts binding(scenario 维度);引擎 API 层 TaskSpec.systemPrompt 保留(不同层,勿混)。
+    // registry field would become an ambiguous precedence channel」):配置域 prompt 单入口=prompts 域的中心 artifact
+    // (场景维度 = overlay 的 `when.binding`,14.0.0);引擎 API 层 TaskSpec.systemPrompt 保留(不同层,勿混)。
     // 现网无用户直删;z.object 非 strict ⇒ 存量数据带 prompt 被 strip,parse 不炸。
     // 落日(2.0.0):本条是**纯墓碑**(零代码,靠 strip 生效),没有要删的兼容码;它留在这里的唯一作用
     // 是让下一个读到这段 schema 的人知道 `prompt` 这个名字曾经在这里、别再铸回来。0.19.0 起存量文档带
@@ -2577,147 +2577,172 @@ export const PluginsConfig = z
         seen.add(p.name);
     });
 });
-// ── The domain registry ───────────────────────────────────────────────────────
-// ═══ prompts 域(web-admin prompts 战役 v1;[ref] 五定夺/[1051] 产品终稿/[1057] M2 下发形)═══
-// schema=编译目标非用户界面([1051]⓪):三卡(角色卡/场景说明/行为守则)是 web UI 编译层心智,
-// 本契约只承载编译产物(typed 声明)与 binding。单真源纪律:存储/解析在 web-admin(sema-web),
-// 消费投影在 server(声明数组逐字喂 core typed stableBlocks 钩子),schema 恒在本仓(零第二份)。
-/** 提示声明的槽位闭集(core `PromptTextDeclaration.slot` 同形):identity = 角色卡、scenario = 场景说明、behavior = 行为守则。
- *  declaration 轴与 catalog 轴({@link PromptArtifactSection})共用这一只。 */
-export const PROMPT_SLOTS = ["identity", "scenario", "behavior"];
-/** The slot enum, DERIVED from {@link PROMPT_SLOTS} (the runtime member table —— same form as `REF_CHECKED_DOMAINS`). */
-export const PromptSlot = z.enum(PROMPT_SLOTS);
-/** core `PromptTextDeclaration` 的契约层同形(core prompts/default.d.ts 逐字:id/slot 闭集/text)。
- *  slot ↔ 三卡:identity=角色卡、scenario=场景说明、behavior=行为守则([1051]①)。 */
-export const PromptTextDeclaration = z.object({
-    id: z.string().min(1).max(128),
-    slot: PromptSlot,
-    text: z.string().max(65536),
-    /** core 1.315 opt-in 逐 section 对账锚([1062]①):声明方对 `text` 铸 sha256,core 校验后逐字
-     *  透传进 manifest `contentHash`(错值丢弃+warn,core 永不自算非盐化 digest)。缺省=退化为
-     *  整包 contentDigest 对账。契约层显式声明防非 strict parse strip 断锚([1062]③)。 */
-    contentHash: Sha256Digest.optional(),
-});
-/** 三维 binding([ref]①a:v1=global/worker/scenario,砍 model 维——per-model 微调走
- *  ModelEntry.promptGuidance 专用通道)。covering 语义([1050]①b,解析只在 web-admin 一处):
- *  同 slot **层间整体替换**(胜出层该 slot 声明数组整体替换低层同 slot 全部条目;层内数组保序,
- *  与 core assemble「declaration order preserved」无缝);层序 scenario > worker > global。
- *  发布即物化([1051]②a):declarations 是 publish 时物化的不可变声明(意图层/编译器版本归
- *  web-admin 编辑面存储,非跨仓契约面)。 */
-export const PromptBinding = z.object({
-    /** 绑定层。 */
-    level: z.enum(["global", "worker", "scenario"]),
-    /** level=worker 时必填:worker 名。 */
-    worker: z.string().min(1).max(190).optional(),
-    /** level=scenario 时必填:scenario slug(ScenarioEntry.name 同形)。 */
-    scenario: z.string().regex(/^[a-z][a-z0-9-]{1,31}$/).optional(),
-    /** 该层声明(可含多 slot;覆盖粒度=slot,见上)。 */
-    declarations: z.array(PromptTextDeclaration).max(64),
-    enabled: z.boolean().default(true),
-    notes: z.string().optional(),
-}).superRefine((b, ctx) => {
-    if (b.level === "worker" && !b.worker)
-        ctx.addIssue({ code: "custom", ...buildQuotedIssue `level=worker requires \`worker\`` });
-    if (b.level === "scenario" && !b.scenario)
-        ctx.addIssue({ code: "custom", ...buildQuotedIssue `level=scenario requires \`scenario\`` });
-    if (b.level === "global" && (b.worker || b.scenario))
-        ctx.addIssue({ code: "custom", ...buildQuotedIssue `level=global must not carry a selector` });
-});
-// ═══ prompts 域 catalog 轴(0.10.20;[ref]a/[1242]/[1248] 过轮定稿;core design/148 S1 seam)═══
-// 形 = core 1.336+ 的 `PublishedPromptArtifactEnvelope`(sema-core src/prompt-assembly/artifact.ts,
-// [1236]① seam 形即终形):v1 骑 declaration 轴的 immutable by-digest artifact——协议 §5.1 全 catalog
-// (overlays/profiles/modelPolicies/bindings)是后续 additive 切片,本轴到时 additive 扩,零迁移。
-// 单真源纪律:server 候选门用 core 导出的 `verifyPromptArtifact`(digest 复算+上限+range 全管线),
-// 本 zod 只是**传输门**(防 DoS/坏形早拒);上限=[[镜像常量]],见 PROMPT_ARTIFACT_LIMITS。
-/** core `ARTIFACT_LIMITS` 的镜像常量(本包不加 core 运行期依赖轴 ⇒ 镜像)。对表钉住在**镜像的属主**这里:上游漂移门 ⑤ 逐键
- *  === devDependency 钉住的那只 core 的导出 —— 改上限必须同版动两处、过钉。 */
+// ═══ prompts 域(14.0.0:只装一种东西 —— 引擎当期 schema 的中心 artifact)═══════════════════════════════════════════
+// 律:存储存 artifact 的**身份**(`{payload, artifactDigest}`,按 worker 分区);每条下发腿只发 `{schemaVersion: 2, artifact}`(发布出处 `sourceRevision`
+// 由服务席盖);「哪个场景用哪段」只在 artifact 里 `when.binding` 一处表达;哪一份给哪台 worker 只有 {@link promptArtifactFor} 一只读法。
+// 本包对 artifact 只镜像**结构与上界**(键闭集、类型、上界、`when.binding` 文法),不镜像任何引擎词表(op / band / target / trait / fact / host 词 /
+// target kind)—— 语义只有引擎的 verify 一个判官(传输门宽、语义门准:引擎收的,本包必收;对拍门 = 上游漂移门 ⑤ ⑦)。
+// 13.x 的两轴(声明轴 `bindings` 与 catalog 轴 v1 信封)在 14.0.0 硬退役:型面删除,存量键是墓碑,一次性迁移 SS-M10 只删空的 `bindings: []`。
+/** 引擎 `ARTIFACT_LIMITS` 的镜像常量(本包不带引擎运行期依赖 ⇒ 镜像)。对表钉在**镜像的属主**这里:上游漂移门 ⑤ 逐键 === devDependency 钉住的那只引擎的导出。
+ *  `maxOverlayTextBytes` / `maxTotalTextBytes` 引擎按 UTF-8 字节量;本包的 zod 按字符(UTF-16 码元)量 —— 码元数恒 ≤ UTF-8 字节数,所以本包的门恒宽于引擎、方向对。
+ *  `maxIntentChars` / `maxRefChars` / `maxSourceRevisionChars` 引擎按 Unicode 码点量;本包用 `withinCodePoints` 同一把尺(不用 zod 的 `.max()`,它的单位随 zod 版本变)。 */
 export const PROMPT_ARTIFACT_LIMITS = {
-    maxSections: 64,
-    maxSectionBytes: 32_000,
-    maxTotalBytes: 131_072,
-    maxIdLength: 128,
-    maxPackIdLength: 200,
+    maxOverlays: 64,
+    maxOverlayTextBytes: 32_000,
+    maxTotalTextBytes: 131_072,
+    maxIntentChars: 2_000,
+    maxRefs: 32,
+    maxRefChars: 500,
+    maxSourceRevisionChars: 500,
 };
-/** catalog 轴 section(core `CenterOverlaySection` 同形):center lane 的 contentHash **必备**
- *  (对账锚,[1050]② tiering;与 declaration 轴的 optional 不同)。text 上限按镜像常量(zod length
- *  为 UTF-16 码元数,core verify 按 UTF-8 字节复核——传输门宽、语义门准)。 */
-export const PromptArtifactSection = z.object({
-    id: z.string().min(1).max(PROMPT_ARTIFACT_LIMITS.maxIdLength).regex(/^[a-z0-9][a-z0-9/._-]*$/),
-    slot: PromptSlot,
-    text: z.string().min(1).max(PROMPT_ARTIFACT_LIMITS.maxSectionBytes),
-    contentHash: Sha256Digest,
-});
-/** core `PromptCatalogSnapshot` 同形。packId=逻辑名(如 `center:acme@3`),历史身份恒在 digest。 */
-export const PromptCatalogSnapshot = z.object({
-    packId: z.string().min(1).max(PROMPT_ARTIFACT_LIMITS.maxPackIdLength),
-    sections: z.array(PromptArtifactSection).min(1).max(PROMPT_ARTIFACT_LIMITS.maxSections),
-});
-/** core `PromptEpochArtifactPayload` 同形(schemaVersion/assemblyApi 常量 1;catalogDigest=
- *  sha256(canonical(closure.promptCatalog)),server 候选门经 core verify 逐位复算;compatibleCore=
- *  无依赖 dotted-triple range,schema 层只判形不解释)。 */
-export const PromptEpochArtifactPayload = z.object({
-    schemaVersion: z.literal(1),
-    assemblyApi: z.literal(1),
-    catalogDigest: Sha256Digest,
-    compatibleCore: z
-        .object({
-        minCore: z.string().regex(/^\d+\.\d+\.\d+$/).optional(),
-        maxCoreExclusive: z.string().regex(/^\d+\.\d+\.\d+$/).optional(),
-    })
-        .optional(),
-    closure: z.object({
-        basePackId: z.string().min(1).max(PROMPT_ARTIFACT_LIMITS.maxPackIdLength),
-        promptCatalog: PromptCatalogSnapshot,
+/** 一个 binding 名(= 一次运行的场景名,`TaskSpec.promptBinding`)的长界 —— 引擎包根同名常量的镜像(对拍 = 上游漂移门 ⑤,逐值)。 */
+export const PROMPT_BINDING_MAX_CHARS = 128;
+/** 一张 `when.binding` 表至多点名几个 binding —— 引擎包根同名常量的镜像(同上)。 */
+export const PROMPT_BINDING_LIST_MAX = 64;
+/** overlay id 的长界(引擎同值、未从包根导出;对拍 = 上游漂移门 ⑦ 的行为探针)。 */
+const PROMPT_OVERLAY_ID_MAX_CHARS = 128;
+const isNonBlank = (s) => s.trim() !== "";
+/** 引擎字符界的同一把尺:按 Unicode 码点量(一个非 BMP 字符算一个),与引擎 `codePointsOver` 同答 —— binding 名 / `evidence.intent` / 每条 ref / `sourceRevision` 四处共用。
+ *  不用 zod 的 `.max()`:它的单位随 zod 版本变(低端量 UTF-16 码元、高端量码点;版本界与实测见 CHANGELOG 14.0.0 B4),而本包声明的 zod 区间两端都在 —— 那样宿主解析到哪一版 zod,
+ *  镜像对非 BMP 字符的答案就跟着变,比引擎窄一步就破「引擎收的,本包必收」。镜像自带这把尺,答案不随 zod 版本动。
+ *  码元数 ≤ max ⇒ 码点数 ≤ max;码元数 > 2·max ⇒ 码点数 > max;只有夹在中间的才逐点数(不整串拷贝)。 */
+const withinCodePoints = (max) => (s) => {
+    if (s.length <= max)
+        return true;
+    if (s.length > 2 * max)
+        return false;
+    let n = 0;
+    for (const _ of s)
+        if (++n > max)
+            return false;
+    return true;
+};
+/** 一个 binding 名:非空白、≤ {@link PROMPT_BINDING_MAX_CHARS} 个码点(引擎同尺,见 `withinCodePoints`)。 */
+const PromptBindingName = z
+    .string()
+    .refine(withinCodePoints(PROMPT_BINDING_MAX_CHARS), buildQuotedIssue `a binding is at most ${fixed(String(PROMPT_BINDING_MAX_CHARS))} characters (code points)`)
+    .refine(isNonBlank, buildQuotedIssue `a binding is a non-blank string`);
+/** 一张 binding 表:1–{@link PROMPT_BINDING_LIST_MAX} 个、互不重名。 */
+const PromptBindingList = z
+    .array(PromptBindingName)
+    .min(1)
+    .max(PROMPT_BINDING_LIST_MAX)
+    .refine((l) => new Set(l).size === l.length, buildQuotedIssue `a binding list names a binding twice`);
+/** `when.binding`:**恰一张表** —— `{anyOf}`(运行的 binding 在表里才成立;没有 binding 的运行在每张 anyOf 之外)或 `{noneOf}`(没有 binding、或不在表里才成立)。
+ *  两张都给 / 都不给 / 别的键 ⇒ 拒。场景覆写写成一对互斥条件:通用的 `noneOf: [x]` 旁边是场景的 `anyOf: [x]`。 */
+export const PromptBindingCondition = z.union([z.object({ anyOf: PromptBindingList }).strict(), z.object({ noneOf: PromptBindingList }).strict()], {
+    error: '"when.binding" is exactly one list: {"anyOf": [...]} or {"noneOf": [...]}',
+});
+/** overlay 的适用条件(引擎选择器的同一套词):traits / host / facts / binding 的合取;键闭合,词开放(词归引擎)。 */
+export const PromptOverlayWhen = z
+    .object({
+    traits: z.object({ allOf: z.array(z.string()).optional(), noneOf: z.array(z.string()).optional() }).strict().optional(),
+    host: z.object({ role: z.string().optional(), form: z.string().optional() }).strict().optional(),
+    facts: z.record(z.string(), z.boolean()).optional(),
+    binding: PromptBindingCondition.optional(),
+})
+    .strict();
+/** 一条中心 overlay:对一个目标的一个操作(`replace` / `append` 一条目录消息、`add` 进一个档、`drop` 一段),带文本或引一条目录消息。
+ *  键闭合(v3 没有 `scope`:binding 只在 `when.binding`);op / target / message 的词与存在性、id 文法、text ⊕ message 的互斥都归引擎。 */
+export const PromptOverlay = z
+    .object({
+    id: z.string().min(1).max(PROMPT_OVERLAY_ID_MAX_CHARS),
+    op: z.string(),
+    target: z.string().min(1),
+    text: z.string().max(PROMPT_ARTIFACT_LIMITS.maxOverlayTextBytes).optional(),
+    message: z.string().optional(),
+    when: PromptOverlayWhen.optional(),
+})
+    .strict();
+/** artifact 向引擎要的东西:它点名的目标(带种类)、用到的操作、条件读到的 trait、点名的 binding。引擎从 overlay 复算并比对,本包只判形。 */
+export const PromptArtifactRequires = z
+    .object({
+    targets: z.array(z.object({ id: z.string(), kind: z.string() }).strict()),
+    ops: z.array(z.string()),
+    traits: z.array(z.string()),
+    bindings: z.array(z.string()),
+})
+    .strict();
+/** artifact 为什么存在:一句意图(必填)与它背后的评测 / 金样引用。 */
+export const PromptArtifactEvidence = z
+    .object({
+    intent: z
+        .string()
+        .refine(withinCodePoints(PROMPT_ARTIFACT_LIMITS.maxIntentChars), buildQuotedIssue `evidence.intent is at most ${fixed(String(PROMPT_ARTIFACT_LIMITS.maxIntentChars))} characters (code points)`)
+        .refine(isNonBlank, buildQuotedIssue `evidence.intent is a non-blank sentence`),
+    refs: z
+        .array(z
+        .string()
+        .refine(withinCodePoints(PROMPT_ARTIFACT_LIMITS.maxRefChars), buildQuotedIssue `an evidence reference is at most ${fixed(String(PROMPT_ARTIFACT_LIMITS.maxRefChars))} characters (code points)`)
+        .refine(isNonBlank, buildQuotedIssue `an evidence reference is a non-blank string`))
+        .max(PROMPT_ARTIFACT_LIMITS.maxRefs),
+})
+    .strict();
+/** artifact 被摘要的那一半(引擎的 `artifactDigest` = sha256(canonical(payload)))。`schemaVersion` 只收 3。 */
+export const PromptArtifactPayload = z
+    .object({
+    schemaVersion: z.literal(3, {
+        error: 'artifact payload schemaVersion: this contract carries schemaVersion 3 only — rebuild the artifact with the engine\'s buildPromptArtifact (an overlay\'s "scope": {"binding": b} becomes "when": {"binding": {"anyOf": [b]}})',
     }),
-});
-/** core `PublishedPromptArtifactEnvelope` 同形:发布信封=artifact(payload+artifactDigest)+ opaque
- *  sourceRevision(只比较相等、绝不排序;不进任何 digest——协议 §9.2 内容身份/发布事件分离)。 */
-export const PublishedPromptArtifactEnvelope = z.object({
-    artifact: z.object({
-        payload: PromptEpochArtifactPayload,
-        artifactDigest: Sha256Digest,
+    requires: PromptArtifactRequires,
+    overlays: z
+        .array(PromptOverlay)
+        .min(1)
+        .max(PROMPT_ARTIFACT_LIMITS.maxOverlays)
+        .superRefine((overlays, ctx) => {
+        const total = overlays.reduce((n, o) => n + (o.text?.length ?? 0), 0);
+        if (total > PROMPT_ARTIFACT_LIMITS.maxTotalTextBytes)
+            ctx.addIssue({ code: "custom", ...buildQuotedIssue `overlay texts total ${total} characters (at most ${fixed(String(PROMPT_ARTIFACT_LIMITS.maxTotalTextBytes))})` });
     }),
-    sourceRevision: z.string().min(1).max(256),
-});
-/** prompts 域存储形 v1(web-admin 存储真形;[1043] PromptCatalogPayload 的 v1 最小面)。
- *  overlays/profiles/modelPolicies = 协议 §5.1 的后续 additive 面,留位不预设形(等 core S6
- *  catalog schema 班车,additive 补键零迁移)。 */
+    evidence: PromptArtifactEvidence,
+})
+    .strict();
+const ARTIFACT_IDENTITY = { payload: PromptArtifactPayload, artifactDigest: Sha256Digest };
+/** 存储形:一份 artifact 的**身份**(payload + 引擎铸的 digest),不带发布出处。键闭合 —— 带 `sourceRevision` 的不收(出处是「哪一次发布」,由服务席在下发时盖)。 */
+export const PromptArtifact = z.object(ARTIFACT_IDENTITY).strict();
+/** 下发形:身份 + 发布出处 `sourceRevision`(只比相等、绝不排序;不进 digest)。键闭合。 */
+export const PublishedPromptArtifact = z
+    .object({
+    ...ARTIFACT_IDENTITY,
+    sourceRevision: z
+        .string()
+        .min(1)
+        .refine(withinCodePoints(PROMPT_ARTIFACT_LIMITS.maxSourceRevisionChars), buildQuotedIssue `sourceRevision is at most ${fixed(String(PROMPT_ARTIFACT_LIMITS.maxSourceRevisionChars))} characters (code points)`),
+})
+    .strict();
+/** 13.x 两轴的墓碑(14.0.0):`bindings` / `catalog` 同一行。 */
+const PROMPTS_AXES_RETIRED = {
+    retiredIn: "14.0.0",
+    now: "the center artifact (prompts.artifact for every worker, prompts.workers.<name> for one worker)",
+    migration: "SS-M10",
+};
+/** prompts 域存储形 v2:中心层的身份。web-admin 店(草稿 / 发布快照 / 回滚史)与本地 `config.d/prompts.json` 同形。 */
 export const PromptsConfig = z.object({
-    bindings: z.array(PromptBinding).max(256).prefault([]),
-    /** catalog 轴存储位(0.10.20,[985]a):web-admin 发布门铸好的 immutable envelope 原样存(发布即
-     *  物化,店内零解析);local FileConfigStore lane 的 config.d/prompts.json 也可直接携带——catalog
-     *  免 covering 解析,两 lane 自此同形(结束 local lane prompts 不透传的过渡态,[1234]① 位)。 */
-    catalog: PublishedPromptArtifactEnvelope.optional(),
-});
-/** effective 下发形([ref] 逐字;`GET /api/config/effective?worker=` 的 additive `prompts`
- *  key)。语义定死([1057]①):packId=`center:`+contentDigest 前 12(纯内容寻址,无 rev);
- *  contentDigest=canonical JSON 全量 sha256 非盐化(operator 对账位,digest 函数在 /node 绑定
- *  `promptsContentDigest`);sections=covering 已走完的基线终形(worker/core 零解析义务);
- *  scenarioOverrides[s]=该场景完整重算终形(整包替换非增量),无键=用基线;fail-closed=
- *  publish 闸关时整个 key 不出现。 */
-/** prompts 包身份 `packId` 的前缀(铸点 `promptsContentDigest` 与判官 {@link PromptPackId} 都引它)。值落在引擎的会话记录里、是
- *  epoch 不误重 pin 的依据,所以值本身不随叫法归一改(换前缀 = 每条活会话的提示包身份翻一次,要引擎先读 epoch 判据)。 */
-export const PROMPT_PACK_ID_PREFIX = "center:";
-/** prompts 包身份的形:前缀 + 内容摘要的前 12 位小写 hex(纯内容寻址:同内容重发布 = 同 packId)。判它的每一处都引这一只。 */
-export const PromptPackId = z.string().regex(new RegExp(`^${PROMPT_PACK_ID_PREFIX}[0-9a-f]{12}$`));
-export const EffectivePrompts = z.object({
-    packId: PromptPackId,
-    contentDigest: Sha256Digest,
-    sections: z.array(PromptTextDeclaration),
-    scenarioOverrides: z.record(z.string(), z.array(PromptTextDeclaration)).optional(),
-});
-/** effective 下发形 v2(双轴,[985]a §1/[1242] Q1 裁:单 domain 单键、两轴是过渡窗内的两种表达)。
- *  declarations=现行 A 形(centerPromptProvider 继续消费);catalog=B 形(core S1 verify 管线的输入,
- *  server 原样交 core 不解释)。至少一轴必须在场(空对象=坏形);催收面语义照旧=publish 闸关时整个
- *  `prompts` key 消失(fail-closed)。引擎的候选门**只认本形**:没有 `schemaVersion` 的平铺 {@link EffectivePrompts} 体被响亮拒
- *  (整个 prompts 面不采用,落最后一份好配置 / 内置)。 */
+    /** 每台 worker 都组装的中心层(`workers` 点名的那台除外)。缺席 = 不管提示词(引擎内置)。 */
+    artifact: PromptArtifact.optional(),
+    /** 按 worker 的中心层:点名的 worker 组装这一份,**整份取代** `artifact`(不叠加;覆盖语义只在编出它的那一处)。键 = worker 名(唯一的 worker 名判据)。 */
+    workers: z.record(WORKER_NAME, PromptArtifact).optional(),
+    bindings: retiredKey("prompts.bindings", PROMPTS_AXES_RETIRED),
+    catalog: retiredKey("prompts.catalog", PROMPTS_AXES_RETIRED),
+});
+/** **唯一的选择读法**:这台 worker 组装哪一份中心层 —— 它有自己的那份 ⇒ 它;否则 scope 的那份;都没有 ⇒ `undefined`(不下发)。
+ *  `worker = null` = 没有 worker 身份的读者(本地腿、不带 worker 的全局拉取、个人面),恒读 scope 那份。只读自有键(名字恰是原型链上的名字时不会读出别的东西)。 */
+export function promptArtifactFor(prompts, worker) {
+    const own = worker !== null && prompts.workers !== undefined && Object.prototype.hasOwnProperty.call(prompts.workers, worker) ? prompts.workers[worker] : undefined;
+    return own ?? prompts.artifact;
+}
+/** effective 下发形 v2:`{ schemaVersion: 2, artifact }`(键闭合)。每条腿(按 worker 的 / 不带 worker 的 / 个人面)只发这一形;
+ *  发布闸关 / 没有发布 / 选不出 artifact ⇒ 整个 `prompts` 键不出现(fail-closed)。外壳的 `schemaVersion` 只在外壳形变时抬(artifact 自带 payload 版本)。
+ *  消费方的判官:先过本形,再交引擎 verify。13.x 的 `{schemaVersion: 1, declarations?, catalog?}` 被响亮拒(拒句点名升级路径)。 */
 export const EffectivePromptsWire = z
     .object({
-    schemaVersion: z.literal(1),
-    declarations: EffectivePrompts.optional(),
-    catalog: PublishedPromptArtifactEnvelope.optional(),
+    schemaVersion: z.literal(2, {
+        error: "prompts wire schemaVersion: this contract carries {schemaVersion: 2, artifact} only — the declarations / catalog axes were retired in settings-schema 14.0.0; the center serves its center artifact (upgrade the center)",
+    }),
+    artifact: PublishedPromptArtifact,
 })
-    .refine((w) => w.declarations !== undefined || w.catalog !== undefined, buildQuotedIssue `at least one axis (declarations|catalog) required`);
+    .strict();
+// ── The domain registry ───────────────────────────────────────────────────────
 export const DOMAIN_SCHEMAS = {
     models: ModelsConfig,
     rosters: RostersConfig,
@@ -2733,7 +2758,7 @@ export const DOMAIN_SCHEMAS = {
     entitlement: EntitlementConfig,
     execution: ExecutionPolicy, // 0.8.0: S3 execution-lane policy (scope 级; client-advisory until service gate)
     projects: ProjectsConfig, // 0.10.0: 142-S3 project identity ledger + 无仓铸造权威 (scope=tenant 轴; NOT portable — 租户身份数据)
-    prompts: PromptsConfig, // 0.10.18: web-admin prompts 战役 v1([ref] 五定夺/产品终稿/M2 下发形;写门/store 携带解锁=[1064]②)
+    prompts: PromptsConfig, // 0.10.18 起;14.0.0 单轴:中心 artifact 的身份(`{ artifact?, workers? }`);13.x 两轴的键是墓碑(SS-M10)
     limits: LimitsConfig, // 0.19.0: cost/限流族热更新发布位(消费方 #322 批1;本地腿闭集缺口的源头修复)
     // integrations + access: DELETED in 0.6.0 (EXPERT-REDESIGN §9) — parseDomain/effective/路由随之 404。
 };

package/dist/url-shape.d.ts

@@ -12,6 +12,11 @@
  * 只看后者会把它们放过去(改前本包 `NON_SECRET_URL` 正是这样收下了 `https://gw/v1#`)。
  *
  * 拒句里值的样子(展示铸点)不在本模块:那是各宿主自己的展示律(server `buildRefusalShownUrl`)。本模块零 import,纯函数,浏览器安全。
+ *
+ * ## 本模块里的第二个答案(如实,14.0.0)
+ * 请求面 MCP 传输的 url(任务提交体 `mcpServers[i].transport.url`,`./mcp-request-entry`)今天不走上面的形判官,而是只看前缀
+ * ({@link startsWithHttpScheme}):那是消费方请求腿既有的读法,入包时语义逐字冻结。两者对同一个值可以答得不同(空 host、带 userinfo 的
+ * url 前缀判收、形判官拒)—— 一项已知待收的分歧;放在这里,是为了让「本包里判 URL 的正则」只有这一个模块。
  */
 /** 座位可以禁掉的部件(闭集;判序 = 本数组序)。 */
 export declare const HTTP_URL_PARTS: readonly ["userinfo", "query", "fragment"];
@@ -30,5 +35,8 @@ export declare function isHierarchicalUrl(raw: string): boolean;
  * 层级式非 http(s) ⇒ `not-http-url` 之后照判部件。返回类型按 `forbid` 收窄:座位没禁的部件不会出现在答案里。
  */
 export declare function httpUrlFlaws<P extends HttpUrlPart>(raw: string, forbid: readonly P[]): ReadonlyArray<"not-http-url" | P>;
+/** 以 `http://` / `https://` 起头(大小写不敏感)—— 一道**语法前缀**守卫,不是形判官:不解析、不看 host / 部件(见头注「第二个答案」)。
+ *  唯一读者是请求面 MCP 传输读器(`readRequestMcpTransport`)。 */
+export declare function startsWithHttpScheme(raw: string): boolean;
 /** 一个拒因词的规则句(穷举;新词不补 = 编译红)。句子只说规则,不含值。 */
 export declare function httpUrlRule(flaw: HttpUrlFlaw): string;

package/dist/url-shape.js

@@ -12,6 +12,11 @@
  * 只看后者会把它们放过去(改前本包 `NON_SECRET_URL` 正是这样收下了 `https://gw/v1#`)。
  *
  * 拒句里值的样子(展示铸点)不在本模块:那是各宿主自己的展示律(server `buildRefusalShownUrl`)。本模块零 import,纯函数,浏览器安全。
+ *
+ * ## 本模块里的第二个答案(如实,14.0.0)
+ * 请求面 MCP 传输的 url(任务提交体 `mcpServers[i].transport.url`,`./mcp-request-entry`)今天不走上面的形判官,而是只看前缀
+ * ({@link startsWithHttpScheme}):那是消费方请求腿既有的读法,入包时语义逐字冻结。两者对同一个值可以答得不同(空 host、带 userinfo 的
+ * url 前缀判收、形判官拒)—— 一项已知待收的分歧;放在这里,是为了让「本包里判 URL 的正则」只有这一个模块。
  */
 /** 座位可以禁掉的部件(闭集;判序 = 本数组序)。 */
 export const HTTP_URL_PARTS = ["userinfo", "query", "fragment"];
@@ -46,6 +51,11 @@ export function httpUrlFlaws(raw, forbid) {
     const shape = u.protocol === "http:" || u.protocol === "https:" ? [] : ["not-http-url"];
     return [...shape, ...HTTP_URL_PARTS.filter((p) => forbid.includes(p) && present[p])];
 }
+/** 以 `http://` / `https://` 起头(大小写不敏感)—— 一道**语法前缀**守卫,不是形判官:不解析、不看 host / 部件(见头注「第二个答案」)。
+ *  唯一读者是请求面 MCP 传输读器(`readRequestMcpTransport`)。 */
+export function startsWithHttpScheme(raw) {
+    return /^https?:\/\//i.test(raw);
+}
 /** 一个拒因词的规则句(穷举;新词不补 = 编译红)。句子只说规则,不含值。 */
 export function httpUrlRule(flaw) {
     switch (flaw) {

package/docs/API-SURFACE.md

@@ -4,9 +4,9 @@
 > 每次全量重算并逐名比对 —— 加 / 删 / 改形一个导出而不重生成本档 ⇒ 红。导出面的每次变动因此以本档的 diff 出现在评审里。
 > 形:`value` = 运行期拿得到的值;`type` = 只在类型层;`value+type` = 同名的值与类型(zod schema 与它推出的类型)。
 
-子路径 24 条(资产出口 `./package.json` / `./fleet-paths.json` 不是模块,不列),导出名合计 1316 个(同名在多条子路径上各计一次)。
+子路径 24 条(资产出口 `./package.json` / `./fleet-paths.json` 不是模块,不列),导出名合计 1330 个(同名在多条子路径上各计一次)。
 
-## `.`(638)
+## `.`(654)
 
 - `ABSOLUTE_HOST_PATH_MAX` — value
 - `ACCESS_TOKEN_TTL_SECONDS` — value
@@ -122,7 +122,6 @@
 - `EXTENSION_NAMESPACES` — value
 - `EffectiveConfig` — type
 - `EffectiveKey` — value+type
-- `EffectivePrompts` — value+type
 - `EffectivePromptsWire` — value+type
 - `EffectiveReadWarning` — type
 - `EffectiveWire` — type
@@ -239,6 +238,7 @@
 - `MODEL_SWITCH_SOURCES` — value
 - `McpConfig` — value+type
 - `McpContentOrigin` — type
+- `McpEntryKeyIssue` — type
 - `McpPolicyBlock` — type
 - `McpPolicyLayer` — type
 - `McpPolicyRule` — type
@@ -285,8 +285,8 @@
 - `PROJECT_ID_REGEX` — value
 - `PROJECT_LIMITS` — value
 - `PROMPT_ARTIFACT_LIMITS` — value
-- `PROMPT_PACK_ID_PREFIX` — value
-- `PROMPT_SLOTS` — value
+- `PROMPT_BINDING_LIST_MAX` — value
+- `PROMPT_BINDING_MAX_CHARS` — value
 - `ParseTransparentKey` — type
 - `ParseTransparentValidator` — type
 - `PendingPublish` — type
@@ -316,16 +316,16 @@
 - `ProjectRegistration` — value+type
 - `ProjectRegistrationPatch` — value+type
 - `ProjectsConfig` — value+type
-- `PromptArtifactSection` — value+type
-- `PromptBinding` — value+type
-- `PromptCatalogSnapshot` — value+type
-- `PromptEpochArtifactPayload` — value+type
+- `PromptArtifact` — value+type
+- `PromptArtifactEvidence` — value+type
+- `PromptArtifactPayload` — value+type
+- `PromptArtifactRequires` — value+type
+- `PromptBindingCondition` — value+type
 - `PromptHookEntry` — value+type
-- `PromptPackId` — value
-- `PromptSlot` — value+type
-- `PromptTextDeclaration` — value+type
+- `PromptOverlay` — value+type
+- `PromptOverlayWhen` — value+type
 - `PromptsConfig` — value+type
-- `PublishedPromptArtifactEnvelope` — value+type
+- `PublishedPromptArtifact` — value+type
 - `PublishedSnapshot` — type
 - `QuotaLease` — value+type
 - `QuotaResetEvent` — value+type
@@ -354,6 +354,8 @@
 - `RefReferrer` — type
 - `RefReferrerDomain` — type
 - `RemoteExecSpec` — value+type
+- `RequestMcpTransport` — type
+- `RequestMcpTransportRead` — type
 - `ResolvedEffective` — type
 - `ResolvedMemberAdmission` — type
 - `ResolvedTokenScope` — type
@@ -458,6 +460,7 @@
 - `TENANT_SEPARATION_BASES` — value
 - `TENANT_SEPARATION_WORDS` — value
 - `TOKEN_SCOPE_REFUSALS` — value
+- `TOOL_WIRE_NAME_MAX_CHARS` — value
 - `TaskCompletedHookInput` — value
 - `TaskCreatedHookInput` — value
 - `TeammateIdleHookInput` — value
@@ -529,6 +532,11 @@
 - `containsSecretToken` — value
 - `createSiblingResolver` — value
 - `danglingRefs` — value
+- `describeBadContentOrigin` — value
+- `describeBadWireName` — value
+- `describeNotStringArray` — value
+- `describeNotStringRecord` — value
+- `describeValueShape` — value
 - `domainWriteRole` — value
 - `drainVerdict` — value
 - `effectiveScopeRole` — value
@@ -548,6 +556,7 @@
 - `isAbsoluteHostPath` — value
 - `isAtLeast` — value
 - `isCanonicalGeneration` — value
+- `isContentOriginWord` — value
 - `isDisclosableIdentity` — value
 - `isDomainName` — value
 - `isHierarchicalUrl` — value
@@ -563,6 +572,9 @@
 - `isRole` — value
 - `isRoutable` — value
 - `isSchedulerRecord` — value
+- `isStringArray` — value
+- `isStringRecord` — value
+- `isUsableWireName` — value
 - `judgeReadiness` — value
 - `judgeRoutability` — value
 - `judgeWebAdminCredentialDeclaration` — value
@@ -589,6 +601,7 @@
 - `parseWebAdminSessionUrl` — value
 - `pickInstance` — value
 - `projectWarning` — value
+- `promptArtifactFor` — value
 - `readCapabilityReading` — value
 - `readCrossSessionInbound` — value
 - `readDialogExpiry` — value
@@ -597,7 +610,9 @@
 - `readEffectiveWire` — value
 - `readEngineSignal` — value
 - `readHttpHookAllowlistLayer` — value
+- `readMcpIdentityHeaders` — value
 - `readModelRefusals` — value
+- `readRequestMcpTransport` — value
 - `readScopedTokenBinding` — value
 - `readServingLeaseRequest` — value
 - `readServingLeaseResponse` — value
@@ -633,6 +648,7 @@
 - `skillContentHash` — value
 - `stableHash` — value
 - `stableStringify` — value
+- `startsWithHttpScheme` — value
 - `statusRowsToPrune` — value
 - `stopAttributionText` — value
 - `toSkillsManifest` — value
@@ -677,7 +693,6 @@
 - `ENV_NAME` — value
 - `EffectiveConfig` — type
 - `EffectiveKey` — value+type
-- `EffectivePrompts` — value+type
 - `EffectivePromptsWire` — value+type
 - `EffectiveWire` — type
 - `EntitlementBudget` — value+type
@@ -723,8 +738,8 @@
 - `PROJECT_ID_REGEX` — value
 - `PROJECT_LIMITS` — value
 - `PROMPT_ARTIFACT_LIMITS` — value
-- `PROMPT_PACK_ID_PREFIX` — value
-- `PROMPT_SLOTS` — value
+- `PROMPT_BINDING_LIST_MAX` — value
+- `PROMPT_BINDING_MAX_CHARS` — value
 - `ParseTransparentKey` — type
 - `ParseTransparentValidator` — type
 - `PluginSource` — value+type
@@ -737,15 +752,15 @@
 - `ProjectRegistration` — value+type
 - `ProjectRegistrationPatch` — value+type
 - `ProjectsConfig` — value+type
-- `PromptArtifactSection` — value+type
-- `PromptBinding` — value+type
-- `PromptCatalogSnapshot` — value+type
-- `PromptEpochArtifactPayload` — value+type
-- `PromptPackId` — value
-- `PromptSlot` — value+type
-- `PromptTextDeclaration` — value+type
+- `PromptArtifact` — value+type
+- `PromptArtifactEvidence` — value+type
+- `PromptArtifactPayload` — value+type
+- `PromptArtifactRequires` — value+type
+- `PromptBindingCondition` — value+type
+- `PromptOverlay` — value+type
+- `PromptOverlayWhen` — value+type
 - `PromptsConfig` — value+type
-- `PublishedPromptArtifactEnvelope` — value+type
+- `PublishedPromptArtifact` — value+type
 - `QuotedIssueParams` — type
 - `RBAC_AUDIT` — value
 - `RESERVED_WORKER_ENV` — value
@@ -792,6 +807,7 @@
 - `isAbsoluteHostPath` — value
 - `isDomainName` — value
 - `isRetiredDomainName` — value
+- `promptArtifactFor` — value
 - `renderQuotedSentence` — value
 - `retiredDomainSentence` — value
 - `urlQueryFragmentHasSecret` — value
@@ -1035,7 +1051,7 @@
 - `resolveMemberAdmission` — value
 - `trustRank` — value
 
-## `./node`(38)
+## `./node`(36)
 
 - `ConfigBundle` — type
 - `ConfigDirectoryDocument` — type
@@ -1065,11 +1081,9 @@
 - `migrateConfigDirectory` — value
 - `mutateSchedulerStore` — value
 - `nodeConfigDirectoryIo` — value
-- `promptsContentDigest` — value
 - `readBundle` — value
 - `remoteExecPath` — value
 - `saveSchedulerStore` — value
-- `sectionContentHash` — value
 - `validateDomain` — value
 - `validateRemoteExec` — value
 - `writeBundle` — value

package/docs/CONFORMANCE.md

@@ -221,7 +221,7 @@ sema-test 的读数,是本仓自己重跑 `node scripts/conformance-historical.m
 
 | id | 影响的腿 | 动了什么 |
 |---|---|---|
-| `T1-prompts-materialisation` | wire | `buildEffective` 恒物化 `prompts:{bindings:[]}`;wire 按**在场性** verbatim 挂回(缺席进缺席出,且在场时是**未解析的原文档**) |
+| `T1-prompts-materialisation` | wire | `buildEffective` 恒物化 `prompts`(缺席 ⇒ `{}`;14.0.0 前是 `{bindings:[]}`);wire 按**在场性** verbatim 挂回(缺席进缺席出,且在场时是**未解析的原文档**) |
 | `T2-skills-representation` | wire | 域形带 `content`,wire 形带 `contentHash`(manifest);判据 schema 随表示走,于是 wire 腿**没有** skills 的剥键告警 |
 | `T3-non-portable-domains` | local-root | `config.d/` 只读 `PORTABLE_DOMAINS`;其余域取 schema 默认 + `unread-config-file{non-portable-domain}`。**由常量派生,不手抄域名** |
 | `T4-unknown-top-level-key` | wire + local-root | wire 是 open-world,不认识的顶层键**逐字承运**;`domains` 腿按域名取文档故无声;local-root 报 `unread-config-file{not-a-domain}` |

package/docs/CONSUMER-INTEGRATION.md

@@ -108,10 +108,11 @@
   - 目录形:`npx @sema-agent/settings-schema migrate <config.d directory> [--check]`(同一只函数,目录当一个 scope;有 refused 一字不写、退出 1;
     `--check` 有改动退出 3;目录里有条目却没有一份域文档 —— 填成了上一层 / 只有非域文件 —— 退出 2、stdout 空、stderr 点名目录;目录真空(零条目或只有 `.` 开头的条目)= noop 退出 0;
     stdout 两行:结论行 `outcome=… written=…` + JSON 报告 `event: "stored_documents_migrated"`)。
-- **九条迁移**(登记表 `ONE_TIME_MIGRATIONS` 是窗的唯一属主,各条的 `rewrites` / `removal` / `afterRemoval` 写在那里):SS-M1 退役 runtime 域 ·
+- **十条迁移**(登记表 `ONE_TIME_MIGRATIONS` 是窗的唯一属主,各条的 `rewrites` / `removal` / `afterRemoval` 写在那里):SS-M1 退役 runtime 域 ·
   SS-M2 hosts 超界(名 > 63 删条目、数组 > 1024 截断)· SS-M3 调度店 durable 键(读时)· SS-M4 workers 6.x 行 · SS-M5 钥匙双设(删
   `apiKeyEnv`,sealed 赢)· SS-M6 `atModelAllowlist` → `atMention` · SS-M7 URL fragment(`#` 及其后剥掉)· SS-M8 退役角色词(删 `roles.team` /
-  `roles.synthesize`,12.0.0 随引擎 core 7.49.0)· SS-M9 `models.default` → `roles.default`(缺省模型只有一位)。
+  `roles.synthesize`,12.0.0 随引擎 core 7.49.0)· SS-M9 `models.default` → `roles.default`(缺省模型只有一位)· SS-M10 prompts 两轴(删空的 `bindings: []`;非空
+  `bindings` 与 `catalog` 拒、原样留,经中心编辑器重新发布)。
 - **读侧的新形**:`ModelEntry` 钥匙二选一(`sealedApiKey` 与 `apiKeyEnv` 同设 ⇒ 拒);`atMention`(`{mode:"all"}` 缺省 /
   `{mode:"none"}` / `{mode:"only",models}`,roster 位缺席 = 继承,收窄读法一只 `narrowAtMention` —— 收窄到一个都不剩就是 `none`);
   workers 6.x 字段与 `atModelAllowlist` 是 schema 里原位的**墓碑字段**(在场即拒,句子点名迁移);`readWorkersRows(raw) → { doc, held }`