@sema-agent/settings-schema 13.0.1 → 14.0.0

package/dist/types.d.ts

@@ -1978,315 +1978,363 @@ export declare const PluginsConfig: z.ZodObject<{
     }, z.core.$strip>>>;
 }, z.core.$strip>;
 export type PluginsConfig = z.infer<typeof PluginsConfig>;
-/** 提示声明的槽位闭集(core `PromptTextDeclaration.slot` 同形):identity = 角色卡、scenario = 场景说明、behavior = 行为守则。
- *  declaration 轴与 catalog 轴({@link PromptArtifactSection})共用这一只。 */
-export declare const PROMPT_SLOTS: readonly ["identity", "scenario", "behavior"];
-export type PromptSlot = (typeof PROMPT_SLOTS)[number];
-/** The slot enum, DERIVED from {@link PROMPT_SLOTS} (the runtime member table —— same form as `REF_CHECKED_DOMAINS`). */
-export declare const PromptSlot: z.ZodEnum<{
-    scenario: "scenario";
-    identity: "identity";
-    behavior: "behavior";
-}>;
-/** core `PromptTextDeclaration` 的契约层同形(core prompts/default.d.ts 逐字:id/slot 闭集/text)。
- *  slot ↔ 三卡:identity=角色卡、scenario=场景说明、behavior=行为守则([1051]①)。 */
-export declare const PromptTextDeclaration: z.ZodObject<{
-    id: z.ZodString;
-    slot: z.ZodEnum<{
-        scenario: "scenario";
-        identity: "identity";
-        behavior: "behavior";
-    }>;
-    text: z.ZodString;
-    contentHash: z.ZodOptional<z.ZodString>;
-}, z.core.$strip>;
-export type PromptTextDeclaration = z.infer<typeof PromptTextDeclaration>;
-/** 三维 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 declare const PromptBinding: z.ZodObject<{
-    level: z.ZodEnum<{
-        worker: "worker";
-        scenario: "scenario";
-        global: "global";
-    }>;
-    worker: z.ZodOptional<z.ZodString>;
-    scenario: z.ZodOptional<z.ZodString>;
-    declarations: z.ZodArray<z.ZodObject<{
-        id: z.ZodString;
-        slot: z.ZodEnum<{
-            scenario: "scenario";
-            identity: "identity";
-            behavior: "behavior";
-        }>;
-        text: z.ZodString;
-        contentHash: z.ZodOptional<z.ZodString>;
-    }, z.core.$strip>>;
-    enabled: z.ZodDefault<z.ZodBoolean>;
-    notes: z.ZodOptional<z.ZodString>;
-}, z.core.$strip>;
-export type PromptBinding = z.infer<typeof PromptBinding>;
-/** core `ARTIFACT_LIMITS` 的镜像常量(本包不加 core 运行期依赖轴 ⇒ 镜像)。对表钉住在**镜像的属主**这里:上游漂移门 ⑤ 逐键
- *  === devDependency 钉住的那只 core 的导出 —— 改上限必须同版动两处、过钉。 */
+/** 引擎 `ARTIFACT_LIMITS` 的镜像常量(本包不带引擎运行期依赖 ⇒ 镜像)。对表钉在**镜像的属主**这里:上游漂移门 ⑤ 逐键 === devDependency 钉住的那只引擎的导出。
+ *  `maxOverlayTextBytes` / `maxTotalTextBytes` 引擎按 UTF-8 字节量;本包的 zod 按字符(UTF-16 码元)量 —— 码元数恒 ≤ UTF-8 字节数,所以本包的门恒宽于引擎、方向对。
+ *  `maxIntentChars` / `maxRefChars` / `maxSourceRevisionChars` 引擎按 Unicode 码点量;本包用 `withinCodePoints` 同一把尺(不用 zod 的 `.max()`,它的单位随 zod 版本变)。 */
 export declare const PROMPT_ARTIFACT_LIMITS: {
-    readonly maxSections: 64;
-    readonly maxSectionBytes: 32000;
-    readonly maxTotalBytes: 131072;
-    readonly maxIdLength: 128;
-    readonly maxPackIdLength: 200;
+    readonly maxOverlays: 64;
+    readonly maxOverlayTextBytes: 32000;
+    readonly maxTotalTextBytes: 131072;
+    readonly maxIntentChars: 2000;
+    readonly maxRefs: 32;
+    readonly maxRefChars: 500;
+    readonly maxSourceRevisionChars: 500;
 };
-/** catalog 轴 section(core `CenterOverlaySection` 同形):center lane 的 contentHash **必备**
- *  (对账锚,[1050]② tiering;与 declaration 轴的 optional 不同)。text 上限按镜像常量(zod length
- *  为 UTF-16 码元数,core verify 按 UTF-8 字节复核——传输门宽、语义门准)。 */
-export declare const PromptArtifactSection: z.ZodObject<{
+/** 一个 binding 名(= 一次运行的场景名,`TaskSpec.promptBinding`)的长界 —— 引擎包根同名常量的镜像(对拍 = 上游漂移门 ⑤,逐值)。 */
+export declare const PROMPT_BINDING_MAX_CHARS = 128;
+/** 一张 `when.binding` 表至多点名几个 binding —— 引擎包根同名常量的镜像(同上)。 */
+export declare const PROMPT_BINDING_LIST_MAX = 64;
+/** `when.binding`:**恰一张表** —— `{anyOf}`(运行的 binding 在表里才成立;没有 binding 的运行在每张 anyOf 之外)或 `{noneOf}`(没有 binding、或不在表里才成立)。
+ *  两张都给 / 都不给 / 别的键 ⇒ 拒。场景覆写写成一对互斥条件:通用的 `noneOf: [x]` 旁边是场景的 `anyOf: [x]`。 */
+export declare const PromptBindingCondition: z.ZodUnion<readonly [z.ZodObject<{
+    anyOf: z.ZodArray<z.ZodString>;
+}, z.core.$strict>, z.ZodObject<{
+    noneOf: z.ZodArray<z.ZodString>;
+}, z.core.$strict>]>;
+export type PromptBindingCondition = z.infer<typeof PromptBindingCondition>;
+/** overlay 的适用条件(引擎选择器的同一套词):traits / host / facts / binding 的合取;键闭合,词开放(词归引擎)。 */
+export declare const PromptOverlayWhen: z.ZodObject<{
+    traits: z.ZodOptional<z.ZodObject<{
+        allOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        noneOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strict>>;
+    host: z.ZodOptional<z.ZodObject<{
+        role: z.ZodOptional<z.ZodString>;
+        form: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>;
+    facts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodBoolean>>;
+    binding: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+        anyOf: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>, z.ZodObject<{
+        noneOf: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>]>>;
+}, z.core.$strict>;
+export type PromptOverlayWhen = z.infer<typeof PromptOverlayWhen>;
+/** 一条中心 overlay:对一个目标的一个操作(`replace` / `append` 一条目录消息、`add` 进一个档、`drop` 一段),带文本或引一条目录消息。
+ *  键闭合(v3 没有 `scope`:binding 只在 `when.binding`);op / target / message 的词与存在性、id 文法、text ⊕ message 的互斥都归引擎。 */
+export declare const PromptOverlay: z.ZodObject<{
     id: z.ZodString;
-    slot: z.ZodEnum<{
-        scenario: "scenario";
-        identity: "identity";
-        behavior: "behavior";
-    }>;
-    text: z.ZodString;
-    contentHash: z.ZodString;
-}, z.core.$strip>;
-export type PromptArtifactSection = z.infer<typeof PromptArtifactSection>;
-/** core `PromptCatalogSnapshot` 同形。packId=逻辑名(如 `center:acme@3`),历史身份恒在 digest。 */
-export declare const PromptCatalogSnapshot: z.ZodObject<{
-    packId: z.ZodString;
-    sections: z.ZodArray<z.ZodObject<{
+    op: z.ZodString;
+    target: z.ZodString;
+    text: z.ZodOptional<z.ZodString>;
+    message: z.ZodOptional<z.ZodString>;
+    when: z.ZodOptional<z.ZodObject<{
+        traits: z.ZodOptional<z.ZodObject<{
+            allOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            noneOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+        }, z.core.$strict>>;
+        host: z.ZodOptional<z.ZodObject<{
+            role: z.ZodOptional<z.ZodString>;
+            form: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>;
+        facts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodBoolean>>;
+        binding: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+            anyOf: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>, z.ZodObject<{
+            noneOf: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>]>>;
+    }, z.core.$strict>>;
+}, z.core.$strict>;
+export type PromptOverlay = z.infer<typeof PromptOverlay>;
+/** artifact 向引擎要的东西:它点名的目标(带种类)、用到的操作、条件读到的 trait、点名的 binding。引擎从 overlay 复算并比对,本包只判形。 */
+export declare const PromptArtifactRequires: z.ZodObject<{
+    targets: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
-        slot: z.ZodEnum<{
-            scenario: "scenario";
-            identity: "identity";
-            behavior: "behavior";
-        }>;
-        text: z.ZodString;
-        contentHash: z.ZodString;
-    }, z.core.$strip>>;
-}, z.core.$strip>;
-export type PromptCatalogSnapshot = z.infer<typeof PromptCatalogSnapshot>;
-/** core `PromptEpochArtifactPayload` 同形(schemaVersion/assemblyApi 常量 1;catalogDigest=
- *  sha256(canonical(closure.promptCatalog)),server 候选门经 core verify 逐位复算;compatibleCore=
- *  无依赖 dotted-triple range,schema 层只判形不解释)。 */
-export declare const PromptEpochArtifactPayload: z.ZodObject<{
-    schemaVersion: z.ZodLiteral<1>;
-    assemblyApi: z.ZodLiteral<1>;
-    catalogDigest: z.ZodString;
-    compatibleCore: z.ZodOptional<z.ZodObject<{
-        minCore: z.ZodOptional<z.ZodString>;
-        maxCoreExclusive: z.ZodOptional<z.ZodString>;
-    }, z.core.$strip>>;
-    closure: z.ZodObject<{
-        basePackId: z.ZodString;
-        promptCatalog: z.ZodObject<{
-            packId: z.ZodString;
-            sections: z.ZodArray<z.ZodObject<{
+        kind: z.ZodString;
+    }, z.core.$strict>>;
+    ops: z.ZodArray<z.ZodString>;
+    traits: z.ZodArray<z.ZodString>;
+    bindings: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export type PromptArtifactRequires = z.infer<typeof PromptArtifactRequires>;
+/** artifact 为什么存在:一句意图(必填)与它背后的评测 / 金样引用。 */
+export declare const PromptArtifactEvidence: z.ZodObject<{
+    intent: z.ZodString;
+    refs: z.ZodArray<z.ZodString>;
+}, z.core.$strict>;
+export type PromptArtifactEvidence = z.infer<typeof PromptArtifactEvidence>;
+/** artifact 被摘要的那一半(引擎的 `artifactDigest` = sha256(canonical(payload)))。`schemaVersion` 只收 3。 */
+export declare const PromptArtifactPayload: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<3>;
+    requires: z.ZodObject<{
+        targets: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            kind: z.ZodString;
+        }, z.core.$strict>>;
+        ops: z.ZodArray<z.ZodString>;
+        traits: z.ZodArray<z.ZodString>;
+        bindings: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>;
+    overlays: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        op: z.ZodString;
+        target: z.ZodString;
+        text: z.ZodOptional<z.ZodString>;
+        message: z.ZodOptional<z.ZodString>;
+        when: z.ZodOptional<z.ZodObject<{
+            traits: z.ZodOptional<z.ZodObject<{
+                allOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                noneOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+            }, z.core.$strict>>;
+            host: z.ZodOptional<z.ZodObject<{
+                role: z.ZodOptional<z.ZodString>;
+                form: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>;
+            facts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodBoolean>>;
+            binding: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+                anyOf: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>, z.ZodObject<{
+                noneOf: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>]>>;
+        }, z.core.$strict>>;
+    }, z.core.$strict>>;
+    evidence: z.ZodObject<{
+        intent: z.ZodString;
+        refs: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export type PromptArtifactPayload = z.infer<typeof PromptArtifactPayload>;
+/** 存储形:一份 artifact 的**身份**(payload + 引擎铸的 digest),不带发布出处。键闭合 —— 带 `sourceRevision` 的不收(出处是「哪一次发布」,由服务席在下发时盖)。 */
+export declare const PromptArtifact: z.ZodObject<{
+    payload: z.ZodObject<{
+        schemaVersion: z.ZodLiteral<3>;
+        requires: z.ZodObject<{
+            targets: z.ZodArray<z.ZodObject<{
                 id: z.ZodString;
-                slot: z.ZodEnum<{
-                    scenario: "scenario";
-                    identity: "identity";
-                    behavior: "behavior";
-                }>;
-                text: z.ZodString;
-                contentHash: z.ZodString;
-            }, z.core.$strip>>;
-        }, z.core.$strip>;
-    }, z.core.$strip>;
-}, z.core.$strip>;
-export type PromptEpochArtifactPayload = z.infer<typeof PromptEpochArtifactPayload>;
-/** core `PublishedPromptArtifactEnvelope` 同形:发布信封=artifact(payload+artifactDigest)+ opaque
- *  sourceRevision(只比较相等、绝不排序;不进任何 digest——协议 §9.2 内容身份/发布事件分离)。 */
-export declare const PublishedPromptArtifactEnvelope: z.ZodObject<{
-    artifact: z.ZodObject<{
-        payload: z.ZodObject<{
-            schemaVersion: z.ZodLiteral<1>;
-            assemblyApi: z.ZodLiteral<1>;
-            catalogDigest: z.ZodString;
-            compatibleCore: z.ZodOptional<z.ZodObject<{
-                minCore: z.ZodOptional<z.ZodString>;
-                maxCoreExclusive: z.ZodOptional<z.ZodString>;
-            }, z.core.$strip>>;
-            closure: z.ZodObject<{
-                basePackId: z.ZodString;
-                promptCatalog: z.ZodObject<{
-                    packId: z.ZodString;
-                    sections: z.ZodArray<z.ZodObject<{
-                        id: z.ZodString;
-                        slot: z.ZodEnum<{
-                            scenario: "scenario";
-                            identity: "identity";
-                            behavior: "behavior";
-                        }>;
-                        text: z.ZodString;
-                        contentHash: z.ZodString;
-                    }, z.core.$strip>>;
-                }, z.core.$strip>;
-            }, z.core.$strip>;
-        }, z.core.$strip>;
-        artifactDigest: z.ZodString;
-    }, z.core.$strip>;
+                kind: z.ZodString;
+            }, z.core.$strict>>;
+            ops: z.ZodArray<z.ZodString>;
+            traits: z.ZodArray<z.ZodString>;
+            bindings: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>;
+        overlays: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            op: z.ZodString;
+            target: z.ZodString;
+            text: z.ZodOptional<z.ZodString>;
+            message: z.ZodOptional<z.ZodString>;
+            when: z.ZodOptional<z.ZodObject<{
+                traits: z.ZodOptional<z.ZodObject<{
+                    allOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    noneOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                }, z.core.$strict>>;
+                host: z.ZodOptional<z.ZodObject<{
+                    role: z.ZodOptional<z.ZodString>;
+                    form: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+                facts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodBoolean>>;
+                binding: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+                    anyOf: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>, z.ZodObject<{
+                    noneOf: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>]>>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        evidence: z.ZodObject<{
+            intent: z.ZodString;
+            refs: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    artifactDigest: z.ZodString;
+}, z.core.$strict>;
+export type PromptArtifact = z.infer<typeof PromptArtifact>;
+/** 下发形:身份 + 发布出处 `sourceRevision`(只比相等、绝不排序;不进 digest)。键闭合。 */
+export declare const PublishedPromptArtifact: z.ZodObject<{
     sourceRevision: z.ZodString;
-}, z.core.$strip>;
-export type PublishedPromptArtifactEnvelope = z.infer<typeof PublishedPromptArtifactEnvelope>;
-/** prompts 域存储形 v1(web-admin 存储真形;[1043] PromptCatalogPayload 的 v1 最小面)。
- *  overlays/profiles/modelPolicies = 协议 §5.1 的后续 additive 面,留位不预设形(等 core S6
- *  catalog schema 班车,additive 补键零迁移)。 */
-export declare const PromptsConfig: z.ZodObject<{
-    bindings: z.ZodPrefault<z.ZodArray<z.ZodObject<{
-        level: z.ZodEnum<{
-            worker: "worker";
-            scenario: "scenario";
-            global: "global";
-        }>;
-        worker: z.ZodOptional<z.ZodString>;
-        scenario: z.ZodOptional<z.ZodString>;
-        declarations: z.ZodArray<z.ZodObject<{
+    payload: z.ZodObject<{
+        schemaVersion: z.ZodLiteral<3>;
+        requires: z.ZodObject<{
+            targets: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                kind: z.ZodString;
+            }, z.core.$strict>>;
+            ops: z.ZodArray<z.ZodString>;
+            traits: z.ZodArray<z.ZodString>;
+            bindings: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>;
+        overlays: z.ZodArray<z.ZodObject<{
             id: z.ZodString;
-            slot: z.ZodEnum<{
-                scenario: "scenario";
-                identity: "identity";
-                behavior: "behavior";
-            }>;
-            text: z.ZodString;
-            contentHash: z.ZodOptional<z.ZodString>;
-        }, z.core.$strip>>;
-        enabled: z.ZodDefault<z.ZodBoolean>;
-        notes: z.ZodOptional<z.ZodString>;
-    }, z.core.$strip>>>;
-    catalog: z.ZodOptional<z.ZodObject<{
-        artifact: z.ZodObject<{
-            payload: z.ZodObject<{
-                schemaVersion: z.ZodLiteral<1>;
-                assemblyApi: z.ZodLiteral<1>;
-                catalogDigest: z.ZodString;
-                compatibleCore: z.ZodOptional<z.ZodObject<{
-                    minCore: z.ZodOptional<z.ZodString>;
-                    maxCoreExclusive: z.ZodOptional<z.ZodString>;
-                }, z.core.$strip>>;
-                closure: z.ZodObject<{
-                    basePackId: z.ZodString;
-                    promptCatalog: z.ZodObject<{
-                        packId: z.ZodString;
-                        sections: z.ZodArray<z.ZodObject<{
-                            id: z.ZodString;
-                            slot: z.ZodEnum<{
-                                scenario: "scenario";
-                                identity: "identity";
-                                behavior: "behavior";
-                            }>;
-                            text: z.ZodString;
-                            contentHash: z.ZodString;
-                        }, z.core.$strip>>;
-                    }, z.core.$strip>;
-                }, z.core.$strip>;
-            }, z.core.$strip>;
-            artifactDigest: z.ZodString;
-        }, z.core.$strip>;
-        sourceRevision: z.ZodString;
-    }, z.core.$strip>>;
+            op: z.ZodString;
+            target: z.ZodString;
+            text: z.ZodOptional<z.ZodString>;
+            message: z.ZodOptional<z.ZodString>;
+            when: z.ZodOptional<z.ZodObject<{
+                traits: z.ZodOptional<z.ZodObject<{
+                    allOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    noneOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                }, z.core.$strict>>;
+                host: z.ZodOptional<z.ZodObject<{
+                    role: z.ZodOptional<z.ZodString>;
+                    form: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>;
+                facts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodBoolean>>;
+                binding: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+                    anyOf: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>, z.ZodObject<{
+                    noneOf: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>]>>;
+            }, z.core.$strict>>;
+        }, z.core.$strict>>;
+        evidence: z.ZodObject<{
+            intent: z.ZodString;
+            refs: z.ZodArray<z.ZodString>;
+        }, z.core.$strict>;
+    }, z.core.$strict>;
+    artifactDigest: z.ZodString;
+}, z.core.$strict>;
+export type PublishedPromptArtifact = z.infer<typeof PublishedPromptArtifact>;
+/** prompts 域存储形 v2:中心层的身份。web-admin 店(草稿 / 发布快照 / 回滚史)与本地 `config.d/prompts.json` 同形。 */
+export declare const PromptsConfig: z.ZodObject<{
+    artifact: z.ZodOptional<z.ZodObject<{
+        payload: z.ZodObject<{
+            schemaVersion: z.ZodLiteral<3>;
+            requires: z.ZodObject<{
+                targets: z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    kind: z.ZodString;
+                }, z.core.$strict>>;
+                ops: z.ZodArray<z.ZodString>;
+                traits: z.ZodArray<z.ZodString>;
+                bindings: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>;
+            overlays: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                op: z.ZodString;
+                target: z.ZodString;
+                text: z.ZodOptional<z.ZodString>;
+                message: z.ZodOptional<z.ZodString>;
+                when: z.ZodOptional<z.ZodObject<{
+                    traits: z.ZodOptional<z.ZodObject<{
+                        allOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                        noneOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    }, z.core.$strict>>;
+                    host: z.ZodOptional<z.ZodObject<{
+                        role: z.ZodOptional<z.ZodString>;
+                        form: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strict>>;
+                    facts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodBoolean>>;
+                    binding: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+                        anyOf: z.ZodArray<z.ZodString>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        noneOf: z.ZodArray<z.ZodString>;
+                    }, z.core.$strict>]>>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+            evidence: z.ZodObject<{
+                intent: z.ZodString;
+                refs: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        artifactDigest: z.ZodString;
+    }, z.core.$strict>>;
+    workers: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        payload: z.ZodObject<{
+            schemaVersion: z.ZodLiteral<3>;
+            requires: z.ZodObject<{
+                targets: z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    kind: z.ZodString;
+                }, z.core.$strict>>;
+                ops: z.ZodArray<z.ZodString>;
+                traits: z.ZodArray<z.ZodString>;
+                bindings: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>;
+            overlays: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                op: z.ZodString;
+                target: z.ZodString;
+                text: z.ZodOptional<z.ZodString>;
+                message: z.ZodOptional<z.ZodString>;
+                when: z.ZodOptional<z.ZodObject<{
+                    traits: z.ZodOptional<z.ZodObject<{
+                        allOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                        noneOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    }, z.core.$strict>>;
+                    host: z.ZodOptional<z.ZodObject<{
+                        role: z.ZodOptional<z.ZodString>;
+                        form: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strict>>;
+                    facts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodBoolean>>;
+                    binding: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+                        anyOf: z.ZodArray<z.ZodString>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        noneOf: z.ZodArray<z.ZodString>;
+                    }, z.core.$strict>]>>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+            evidence: z.ZodObject<{
+                intent: z.ZodString;
+                refs: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        artifactDigest: z.ZodString;
+    }, z.core.$strict>>>;
+    bindings: z.ZodOptional<z.ZodNever>;
+    catalog: z.ZodOptional<z.ZodNever>;
 }, z.core.$strip>;
 export type PromptsConfig = z.infer<typeof PromptsConfig>;
-/** 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 declare const PROMPT_PACK_ID_PREFIX = "center:";
-/** prompts 包身份的形:前缀 + 内容摘要的前 12 位小写 hex(纯内容寻址:同内容重发布 = 同 packId)。判它的每一处都引这一只。 */
-export declare const PromptPackId: z.ZodString;
-export declare const EffectivePrompts: z.ZodObject<{
-    packId: z.ZodString;
-    contentDigest: z.ZodString;
-    sections: z.ZodArray<z.ZodObject<{
-        id: z.ZodString;
-        slot: z.ZodEnum<{
-            scenario: "scenario";
-            identity: "identity";
-            behavior: "behavior";
-        }>;
-        text: z.ZodString;
-        contentHash: z.ZodOptional<z.ZodString>;
-    }, z.core.$strip>>;
-    scenarioOverrides: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodObject<{
-        id: z.ZodString;
-        slot: z.ZodEnum<{
-            scenario: "scenario";
-            identity: "identity";
-            behavior: "behavior";
-        }>;
-        text: z.ZodString;
-        contentHash: z.ZodOptional<z.ZodString>;
-    }, z.core.$strip>>>>;
-}, z.core.$strip>;
-export type EffectivePrompts = z.infer<typeof EffectivePrompts>;
-/** 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 组装哪一份中心层 —— 它有自己的那份 ⇒ 它;否则 scope 的那份;都没有 ⇒ `undefined`(不下发)。
+ *  `worker = null` = 没有 worker 身份的读者(本地腿、不带 worker 的全局拉取、个人面),恒读 scope 那份。只读自有键(名字恰是原型链上的名字时不会读出别的东西)。 */
+export declare function promptArtifactFor(prompts: PromptsConfig, worker: string | null): PromptArtifact | undefined;
+/** effective 下发形 v2:`{ schemaVersion: 2, artifact }`(键闭合)。每条腿(按 worker 的 / 不带 worker 的 / 个人面)只发这一形;
+ *  发布闸关 / 没有发布 / 选不出 artifact ⇒ 整个 `prompts` 键不出现(fail-closed)。外壳的 `schemaVersion` 只在外壳形变时抬(artifact 自带 payload 版本)。
+ *  消费方的判官:先过本形,再交引擎 verify。13.x 的 `{schemaVersion: 1, declarations?, catalog?}` 被响亮拒(拒句点名升级路径)。 */
 export declare const EffectivePromptsWire: z.ZodObject<{
-    schemaVersion: z.ZodLiteral<1>;
-    declarations: z.ZodOptional<z.ZodObject<{
-        packId: z.ZodString;
-        contentDigest: z.ZodString;
-        sections: z.ZodArray<z.ZodObject<{
-            id: z.ZodString;
-            slot: z.ZodEnum<{
-                scenario: "scenario";
-                identity: "identity";
-                behavior: "behavior";
-            }>;
-            text: z.ZodString;
-            contentHash: z.ZodOptional<z.ZodString>;
-        }, z.core.$strip>>;
-        scenarioOverrides: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodObject<{
-            id: z.ZodString;
-            slot: z.ZodEnum<{
-                scenario: "scenario";
-                identity: "identity";
-                behavior: "behavior";
-            }>;
-            text: z.ZodString;
-            contentHash: z.ZodOptional<z.ZodString>;
-        }, z.core.$strip>>>>;
-    }, z.core.$strip>>;
-    catalog: z.ZodOptional<z.ZodObject<{
-        artifact: z.ZodObject<{
-            payload: z.ZodObject<{
-                schemaVersion: z.ZodLiteral<1>;
-                assemblyApi: z.ZodLiteral<1>;
-                catalogDigest: z.ZodString;
-                compatibleCore: z.ZodOptional<z.ZodObject<{
-                    minCore: z.ZodOptional<z.ZodString>;
-                    maxCoreExclusive: z.ZodOptional<z.ZodString>;
-                }, z.core.$strip>>;
-                closure: z.ZodObject<{
-                    basePackId: z.ZodString;
-                    promptCatalog: z.ZodObject<{
-                        packId: z.ZodString;
-                        sections: z.ZodArray<z.ZodObject<{
-                            id: z.ZodString;
-                            slot: z.ZodEnum<{
-                                scenario: "scenario";
-                                identity: "identity";
-                                behavior: "behavior";
-                            }>;
-                            text: z.ZodString;
-                            contentHash: z.ZodString;
-                        }, z.core.$strip>>;
-                    }, z.core.$strip>;
-                }, z.core.$strip>;
-            }, z.core.$strip>;
-            artifactDigest: z.ZodString;
-        }, z.core.$strip>;
+    schemaVersion: z.ZodLiteral<2>;
+    artifact: z.ZodObject<{
         sourceRevision: z.ZodString;
-    }, z.core.$strip>>;
-}, z.core.$strip>;
+        payload: z.ZodObject<{
+            schemaVersion: z.ZodLiteral<3>;
+            requires: z.ZodObject<{
+                targets: z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    kind: z.ZodString;
+                }, z.core.$strict>>;
+                ops: z.ZodArray<z.ZodString>;
+                traits: z.ZodArray<z.ZodString>;
+                bindings: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>;
+            overlays: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                op: z.ZodString;
+                target: z.ZodString;
+                text: z.ZodOptional<z.ZodString>;
+                message: z.ZodOptional<z.ZodString>;
+                when: z.ZodOptional<z.ZodObject<{
+                    traits: z.ZodOptional<z.ZodObject<{
+                        allOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                        noneOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                    }, z.core.$strict>>;
+                    host: z.ZodOptional<z.ZodObject<{
+                        role: z.ZodOptional<z.ZodString>;
+                        form: z.ZodOptional<z.ZodString>;
+                    }, z.core.$strict>>;
+                    facts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodBoolean>>;
+                    binding: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+                        anyOf: z.ZodArray<z.ZodString>;
+                    }, z.core.$strict>, z.ZodObject<{
+                        noneOf: z.ZodArray<z.ZodString>;
+                    }, z.core.$strict>]>>;
+                }, z.core.$strict>>;
+            }, z.core.$strict>>;
+            evidence: z.ZodObject<{
+                intent: z.ZodString;
+                refs: z.ZodArray<z.ZodString>;
+            }, z.core.$strict>;
+        }, z.core.$strict>;
+        artifactDigest: z.ZodString;
+    }, z.core.$strict>;
+}, z.core.$strict>;
 export type EffectivePromptsWire = z.infer<typeof EffectivePromptsWire>;
 export declare const DOMAIN_SCHEMAS: {
     readonly models: z.ZodObject<{
@@ -2906,58 +2954,92 @@ export declare const DOMAIN_SCHEMAS: {
         }, z.core.$strip>>>;
     }, z.core.$strip>;
     readonly prompts: z.ZodObject<{
-        bindings: z.ZodPrefault<z.ZodArray<z.ZodObject<{
-            level: z.ZodEnum<{
-                worker: "worker";
-                scenario: "scenario";
-                global: "global";
-            }>;
-            worker: z.ZodOptional<z.ZodString>;
-            scenario: z.ZodOptional<z.ZodString>;
-            declarations: z.ZodArray<z.ZodObject<{
-                id: z.ZodString;
-                slot: z.ZodEnum<{
-                    scenario: "scenario";
-                    identity: "identity";
-                    behavior: "behavior";
-                }>;
-                text: z.ZodString;
-                contentHash: z.ZodOptional<z.ZodString>;
-            }, z.core.$strip>>;
-            enabled: z.ZodDefault<z.ZodBoolean>;
-            notes: z.ZodOptional<z.ZodString>;
-        }, z.core.$strip>>>;
-        catalog: z.ZodOptional<z.ZodObject<{
-            artifact: z.ZodObject<{
-                payload: z.ZodObject<{
-                    schemaVersion: z.ZodLiteral<1>;
-                    assemblyApi: z.ZodLiteral<1>;
-                    catalogDigest: z.ZodString;
-                    compatibleCore: z.ZodOptional<z.ZodObject<{
-                        minCore: z.ZodOptional<z.ZodString>;
-                        maxCoreExclusive: z.ZodOptional<z.ZodString>;
-                    }, z.core.$strip>>;
-                    closure: z.ZodObject<{
-                        basePackId: z.ZodString;
-                        promptCatalog: z.ZodObject<{
-                            packId: z.ZodString;
-                            sections: z.ZodArray<z.ZodObject<{
-                                id: z.ZodString;
-                                slot: z.ZodEnum<{
-                                    scenario: "scenario";
-                                    identity: "identity";
-                                    behavior: "behavior";
-                                }>;
-                                text: z.ZodString;
-                                contentHash: z.ZodString;
-                            }, z.core.$strip>>;
-                        }, z.core.$strip>;
-                    }, z.core.$strip>;
-                }, z.core.$strip>;
-                artifactDigest: z.ZodString;
-            }, z.core.$strip>;
-            sourceRevision: z.ZodString;
-        }, z.core.$strip>>;
+        artifact: z.ZodOptional<z.ZodObject<{
+            payload: z.ZodObject<{
+                schemaVersion: z.ZodLiteral<3>;
+                requires: z.ZodObject<{
+                    targets: z.ZodArray<z.ZodObject<{
+                        id: z.ZodString;
+                        kind: z.ZodString;
+                    }, z.core.$strict>>;
+                    ops: z.ZodArray<z.ZodString>;
+                    traits: z.ZodArray<z.ZodString>;
+                    bindings: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>;
+                overlays: z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    op: z.ZodString;
+                    target: z.ZodString;
+                    text: z.ZodOptional<z.ZodString>;
+                    message: z.ZodOptional<z.ZodString>;
+                    when: z.ZodOptional<z.ZodObject<{
+                        traits: z.ZodOptional<z.ZodObject<{
+                            allOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                            noneOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                        }, z.core.$strict>>;
+                        host: z.ZodOptional<z.ZodObject<{
+                            role: z.ZodOptional<z.ZodString>;
+                            form: z.ZodOptional<z.ZodString>;
+                        }, z.core.$strict>>;
+                        facts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodBoolean>>;
+                        binding: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+                            anyOf: z.ZodArray<z.ZodString>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            noneOf: z.ZodArray<z.ZodString>;
+                        }, z.core.$strict>]>>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>;
+                evidence: z.ZodObject<{
+                    intent: z.ZodString;
+                    refs: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>;
+            }, z.core.$strict>;
+            artifactDigest: z.ZodString;
+        }, z.core.$strict>>;
+        workers: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+            payload: z.ZodObject<{
+                schemaVersion: z.ZodLiteral<3>;
+                requires: z.ZodObject<{
+                    targets: z.ZodArray<z.ZodObject<{
+                        id: z.ZodString;
+                        kind: z.ZodString;
+                    }, z.core.$strict>>;
+                    ops: z.ZodArray<z.ZodString>;
+                    traits: z.ZodArray<z.ZodString>;
+                    bindings: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>;
+                overlays: z.ZodArray<z.ZodObject<{
+                    id: z.ZodString;
+                    op: z.ZodString;
+                    target: z.ZodString;
+                    text: z.ZodOptional<z.ZodString>;
+                    message: z.ZodOptional<z.ZodString>;
+                    when: z.ZodOptional<z.ZodObject<{
+                        traits: z.ZodOptional<z.ZodObject<{
+                            allOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                            noneOf: z.ZodOptional<z.ZodArray<z.ZodString>>;
+                        }, z.core.$strict>>;
+                        host: z.ZodOptional<z.ZodObject<{
+                            role: z.ZodOptional<z.ZodString>;
+                            form: z.ZodOptional<z.ZodString>;
+                        }, z.core.$strict>>;
+                        facts: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodBoolean>>;
+                        binding: z.ZodOptional<z.ZodUnion<readonly [z.ZodObject<{
+                            anyOf: z.ZodArray<z.ZodString>;
+                        }, z.core.$strict>, z.ZodObject<{
+                            noneOf: z.ZodArray<z.ZodString>;
+                        }, z.core.$strict>]>>;
+                    }, z.core.$strict>>;
+                }, z.core.$strict>>;
+                evidence: z.ZodObject<{
+                    intent: z.ZodString;
+                    refs: z.ZodArray<z.ZodString>;
+                }, z.core.$strict>;
+            }, z.core.$strict>;
+            artifactDigest: z.ZodString;
+        }, z.core.$strict>>>;
+        bindings: z.ZodOptional<z.ZodNever>;
+        catalog: z.ZodOptional<z.ZodNever>;
     }, z.core.$strip>;
     readonly limits: z.ZodObject<{
         rateLimitPerMin: z.ZodOptional<z.ZodNumber>;
@@ -3020,8 +3102,8 @@ export interface EffectiveConfig {
      *  `proj:*` 可读 scope 前查本表(本地 effective 副本,分钟级陈旧容忍——陈旧只把「刚注册」误判为
      *  「未注册」= fail-closed,永不反向放行)。caps 窄投影不带(壳侧无执法消费;需要时 additive 加)。 */
     projects: ProjectsConfig;
-    /** web-admin prompts 战役 v1(0.10.18,[1064]②):存储真形(bindings);effective 下发的解析终形
-     *  (EffectivePrompts key)由 web-admin 另行组装,worker lane 剥 bindings 全表([1057]⑤ lane 纪律)。 */
+    /** 中心层的身份(14.0.0 单轴:`{ artifact?, workers? }`;域缺席 ⇒ `{}`)。下发不是这一形:每条腿经 {@link promptArtifactFor} 选出一份、
+     *  盖上发布出处,发 {@link EffectivePromptsWire}(见 {@link EffectiveWire})。 */
     prompts: PromptsConfig;
     /** cost/限流族的热更新发布位(0.19.0,消费方 #322 批1)。域缺席 ⇒ `{}`(每一键都 ABSENT =
      *  web-admin 不管 ⇒ 消费方回 env 底);11.0.0 起五个限额键的唯一位。 */
@@ -3122,9 +3204,10 @@ export type EffectiveKey = z.infer<typeof EffectiveKey>;
 /** What the service actually receives from GET /effective: identical to {@link EffectiveConfig} EXCEPT the
  *  `skills` domain is shipped as a MANIFEST (each skill's `content` → a `contentHash`; bodies pulled lazily
  *  via the content endpoint). The `rosters` domain is also emptied at resolution. See the mcp/skills design note §3.1.
- *  `prompts` is the second wire divergence (#100): on the wire it is web-admin-assembled RESOLVED form
- *  (worker lane strips the bindings storage table — {@link PromptsConfig} 注 [1057]⑤), consumer-validated
- *  additive JSON — optional (absent = web-admin published nothing), never the storage shape. */
+ *  `prompts` is the second wire divergence: on the wire it is {@link EffectivePromptsWire} (`{schemaVersion: 2, artifact}` — the one
+ *  artifact {@link promptArtifactFor} selected for the pulling worker, stamped with its publish provenance), carried verbatim by the
+ *  read leg and judged by the consumer (that shape, then the engine's verify) — optional (absent = nothing published, or the publish
+ *  gate is closed), never the storage shape. */
 export type EffectiveWire = Omit<EffectiveConfig, "skills" | "prompts"> & {
     skills: SkillsManifest;
     prompts?: unknown;