@almadar/core 10.27.0 → 10.29.0

package/dist/{trait-CSaCYNJl.d.ts → trait-B_CzfDSi.d.ts}

@@ -1,5 +1,5 @@
-import { A as AnyPatternConfig, b as EntityRow, c as Entity, E as EntityField } from './pattern-types-CEZfJqGr.js';
-import { S as SExpr, E as EventPayload, a as Expression } from './expression-C6X4A8L7.js';
+import { A as AnyPatternConfig, b as EntityRow, c as Entity, E as EntityField } from './pattern-types-JZordBZv.js';
+import { S as SExpr, E as EventPayload, a as Expression } from './expression-CB9R3KWk.js';
 import { z } from 'zod';
 
 /**
@@ -805,7 +805,7 @@ type RenderItemLambda = ['fn', string, AnyPatternConfig];
  * @example ['navigate', '/tasks'] or ['navigate', '/tasks/:id', { id: '123' }]
  * @example ['navigate', 'https://example.com']
  */
-type NavigateEffect = ['navigate', string] | ['navigate', string, Record<string, string>];
+type NavigateEffect = ['navigate', string | SExpr] | ['navigate', string | SExpr, Record<string, string>];
 /**
  * Emit effect - emits an event, optionally with payload.
  * @example ['emit', 'SAVE'] or ['emit', 'PLAYER_DIED', { playerId: '@entity.id' }]
@@ -1147,6 +1147,43 @@ type AgentEffect = [`agent/${string}`, ...SExpr[]];
  * @example ['os/read-file', '/etc/hosts']
  */
 type OsEffect = [`os/${string}`, ...SExpr[]];
+/**
+ * Browser effect - invokes a browser/* device operator (client host path).
+ * User-initiated, async, resolves via the standard trailing emit envelope.
+ * Concrete operators (browser/open-file-picker, browser/clipboard-read,
+ * browser/clipboard-write, browser/geolocation-current) and their arity /
+ * payload shapes live in @almadar/std BROWSER_OPERATORS.
+ * @example ['browser/open-file-picker', { multiple: false }, { emit: { success: 'FILES_PICKED', failure: 'PICK_CANCELLED' } }]
+ */
+type BrowserEffect = [`browser/${string}`, ...SExpr[]];
+/**
+ * LLM effect - invokes an llm/* operator (agent path).
+ * @example ['llm/generate', '@entity.request', { emit: { success: 'PLANNED', failure: 'PLAN_FAILED' } }]
+ */
+type LlmEffect = [`llm/${string}`, ...SExpr[]];
+/**
+ * Behavior effect - invokes a behavior/* operator (agent path).
+ * @example ['behavior/instantiate', '@entity.plan', { emit: { failure: 'BUILD_FAILED' } }]
+ */
+type BehaviorEffect = [`behavior/${string}`, ...SExpr[]];
+/**
+ * Validate effect - invokes a validate/* operator (agent path).
+ * @example ['validate/validate', '@entity.schema', { emit: { failure: 'INVALID' } }]
+ */
+type ValidateEffect = [`validate/${string}`, ...SExpr[]];
+/**
+ * Remaining agent-path operator effects: session/* (workspace session ops),
+ * compose/* (schema composition), trace/* (trace emission), memory/*
+ * (agent memory), application/* (app lifecycle). Expression-only namespaces
+ * (array/, math/, object/, str/, …) are deliberately NOT effect heads.
+ * @example ['session/write-spec', '@entity.spec']
+ * @example ['compose/compose-all', { emit: { failure: 'COMPOSE_FAILED' } }]
+ */
+type SessionEffect = [`session/${string}`, ...SExpr[]];
+type ComposeEffect = [`compose/${string}`, ...SExpr[]];
+type TraceEffect = [`trace/${string}`, ...SExpr[]];
+type MemoryEffect = [`memory/${string}`, ...SExpr[]];
+type ApplicationEffect = [`application/${string}`, ...SExpr[]];
 /**
  * Async delay effect - wait then execute effects.
  * @example ['async/delay', 2000, ['emit', 'TIMEOUT']]
@@ -1189,7 +1226,7 @@ type AsyncSequenceEffect = ['async/sequence', ...Effect[]];
  * Union of all typed effects.
  * Provides compile-time validation for common effect types.
  */
-type TypedEffect = RenderUIEffect | NavigateEffect | EmitEffect | SetEffect | PersistEffect | CallServiceEffect | SpawnEffect | DespawnEffect | DoEffect | NotifyEffect | FetchEffect | IfEffect | WhenEffect | LetEffect | LogEffect | WaitEffect | RefEffect | DerefEffect | SwapEffect | WatchEffect | AtomicEffect | AsyncDelayEffect | AsyncDebounceEffect | AsyncThrottleEffect | AsyncIntervalEffect | AsyncRaceEffect | AsyncAllEffect | AsyncSequenceEffect | ForwardEffect | TrainEffect | EvaluateEffect | CheckpointSaveEffect | CheckpointLoadEffect | AgentEffect | OsEffect;
+type TypedEffect = RenderUIEffect | NavigateEffect | EmitEffect | SetEffect | PersistEffect | CallServiceEffect | SpawnEffect | DespawnEffect | DoEffect | NotifyEffect | FetchEffect | IfEffect | WhenEffect | LetEffect | LogEffect | WaitEffect | RefEffect | DerefEffect | SwapEffect | WatchEffect | AtomicEffect | AsyncDelayEffect | AsyncDebounceEffect | AsyncThrottleEffect | AsyncIntervalEffect | AsyncRaceEffect | AsyncAllEffect | AsyncSequenceEffect | ForwardEffect | TrainEffect | EvaluateEffect | CheckpointSaveEffect | CheckpointLoadEffect | AgentEffect | OsEffect | BrowserEffect | LlmEffect | BehaviorEffect | ValidateEffect | SessionEffect | ComposeEffect | TraceEffect | MemoryEffect | ApplicationEffect;
 /**
  * Effect type - typed S-expression format.
  *
@@ -1460,20 +1497,10 @@ interface PayloadField {
      */
     type: string;
     required?: boolean;
+    /** Structured property schema for object-typed payload fields (recursive). */
+    properties?: ReadonlyArray<PayloadField>;
 }
-declare const PayloadFieldSchema: z.ZodObject<{
-    name: z.ZodString;
-    type: z.ZodString;
-    required: z.ZodOptional<z.ZodBoolean>;
-}, "strip", z.ZodTypeAny, {
-    type: string;
-    name: string;
-    required?: boolean | undefined;
-}, {
-    type: string;
-    name: string;
-    required?: boolean | undefined;
-}>;
+declare const PayloadFieldSchema: z.ZodType<PayloadField>;
 /**
  * Represents an event that can trigger transitions
  */
@@ -1502,19 +1529,7 @@ declare const EventSchema: z.ZodObject<{
     description: z.ZodOptional<z.ZodString>;
     synonyms: z.ZodOptional<z.ZodString>;
     tier: z.ZodOptional<z.ZodString>;
-    payloadSchema: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        name: z.ZodString;
-        type: z.ZodString;
-        required: z.ZodOptional<z.ZodBoolean>;
-    }, "strip", z.ZodTypeAny, {
-        type: string;
-        name: string;
-        required?: boolean | undefined;
-    }, {
-        type: string;
-        name: string;
-        required?: boolean | undefined;
-    }>, "many">>;
+    payloadSchema: z.ZodOptional<z.ZodArray<z.ZodType<PayloadField, z.ZodTypeDef, PayloadField>, "many">>;
     classification: z.ZodOptional<z.ZodEnum<["domain", "system"]>>;
     semanticRole: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
@@ -1523,11 +1538,7 @@ declare const EventSchema: z.ZodObject<{
     description?: string | undefined;
     synonyms?: string | undefined;
     tier?: string | undefined;
-    payloadSchema?: {
-        type: string;
-        name: string;
-        required?: boolean | undefined;
-    }[] | undefined;
+    payloadSchema?: PayloadField[] | undefined;
     classification?: "domain" | "system" | undefined;
     semanticRole?: string | undefined;
 }, {
@@ -1536,11 +1547,7 @@ declare const EventSchema: z.ZodObject<{
     description?: string | undefined;
     synonyms?: string | undefined;
     tier?: string | undefined;
-    payloadSchema?: {
-        type: string;
-        name: string;
-        required?: boolean | undefined;
-    }[] | undefined;
+    payloadSchema?: PayloadField[] | undefined;
     classification?: "domain" | "system" | undefined;
     semanticRole?: string | undefined;
 }>;
@@ -1671,19 +1678,7 @@ declare const StateMachineSchema: z.ZodObject<{
         description: z.ZodOptional<z.ZodString>;
         synonyms: z.ZodOptional<z.ZodString>;
         tier: z.ZodOptional<z.ZodString>;
-        payloadSchema: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            name: z.ZodString;
-            type: z.ZodString;
-            required: z.ZodOptional<z.ZodBoolean>;
-        }, "strip", z.ZodTypeAny, {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-        }, {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-        }>, "many">>;
+        payloadSchema: z.ZodOptional<z.ZodArray<z.ZodType<PayloadField, z.ZodTypeDef, PayloadField>, "many">>;
         classification: z.ZodOptional<z.ZodEnum<["domain", "system"]>>;
         semanticRole: z.ZodOptional<z.ZodString>;
     }, "strip", z.ZodTypeAny, {
@@ -1692,11 +1687,7 @@ declare const StateMachineSchema: z.ZodObject<{
         description?: string | undefined;
         synonyms?: string | undefined;
         tier?: string | undefined;
-        payloadSchema?: {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-        }[] | undefined;
+        payloadSchema?: PayloadField[] | undefined;
         classification?: "domain" | "system" | undefined;
         semanticRole?: string | undefined;
     }, {
@@ -1705,11 +1696,7 @@ declare const StateMachineSchema: z.ZodObject<{
         description?: string | undefined;
         synonyms?: string | undefined;
         tier?: string | undefined;
-        payloadSchema?: {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-        }[] | undefined;
+        payloadSchema?: PayloadField[] | undefined;
         classification?: "domain" | "system" | undefined;
         semanticRole?: string | undefined;
     }>, "many">;
@@ -1755,11 +1742,7 @@ declare const StateMachineSchema: z.ZodObject<{
         description?: string | undefined;
         synonyms?: string | undefined;
         tier?: string | undefined;
-        payloadSchema?: {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-        }[] | undefined;
+        payloadSchema?: PayloadField[] | undefined;
         classification?: "domain" | "system" | undefined;
         semanticRole?: string | undefined;
     }[];
@@ -1792,11 +1775,7 @@ declare const StateMachineSchema: z.ZodObject<{
         description?: string | undefined;
         synonyms?: string | undefined;
         tier?: string | undefined;
-        payloadSchema?: {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-        }[] | undefined;
+        payloadSchema?: PayloadField[] | undefined;
         classification?: "domain" | "system" | undefined;
         semanticRole?: string | undefined;
     }[];
@@ -1890,6 +1869,23 @@ type CallSiteConfig = Readonly<Record<string, CallSiteConfigEntry>>;
  * not a `FieldDefinition`).
  */
 declare function isCallSiteConfigDeclaration(entry: CallSiteConfigEntry): entry is ConfigFieldDeclaration;
+/**
+ * Convert a call-site config map into plain runtime values.
+ *
+ * A `CallSiteConfig` may contain either plain wiring values
+ * (`TraitConfigValue`) or annotated `ConfigFieldDeclaration` objects
+ * (`{ type, default, label, ... }`). Both the JS interpreter
+ * (`@almadar/runtime`) and the render substrate (`@almadar/ui`) need this
+ * extraction, so it lives here — the most-upstream package they share —
+ * rather than being duplicated in each.
+ *
+ * A declared field with no `default` yields no value (dropped) — mirroring
+ * `collectDeclaredConfigDefaults`. Leaking such a schema object through as a
+ * value made `@config.leftIcon` resolve to `{ type: "icon", … }`, which the
+ * render substrate then mounted as an element and passed to `Input`'s icon
+ * slot → "Element type is invalid: got <SlotContentRenderer />".
+ */
+declare function normalizeCallSiteConfigToValues(config: CallSiteConfig | undefined): TraitConfig | undefined;
 /**
  * Per-field entry in a trait's DECLARED `config { }` schema as it lives
  * on the `.orb` JSON: `{ type: "string" | "[string]" | "object" | ...,
@@ -1907,6 +1903,8 @@ declare function isCallSiteConfigDeclaration(entry: CallSiteConfigEntry): entry
 interface ConfigFieldDeclaration {
     readonly type: string;
     readonly default?: TraitConfigValue;
+    /** Marks the knob as mandatory at every call site (own-page binding exempt). `required` + `default` may coexist — the default only serves the trait's own demo page. */
+    readonly required?: boolean;
     /** `@label` — human-readable control label. */
     readonly label?: string;
     /** `@description` — help/tooltip text for the field. */
@@ -1917,6 +1915,17 @@ interface ConfigFieldDeclaration {
     readonly values?: ReadonlyArray<string>;
     /** `@synonyms` — comma-separated vocabulary synonyms (metadata). */
     readonly synonyms?: string;
+    /** Structured per-item schema for array-of-object fields — `edges : [{from: string!, …}]` in `.lolo` lowers to `{ type: "object", properties: {…} }`. */
+    readonly items?: ConfigFieldItemsDeclaration;
+    /** Structured property schema for object-typed config fields (no items wrapper). */
+    readonly properties?: Readonly<Record<string, TraitEntityField>>;
+}
+interface ConfigFieldItemsDeclaration {
+    readonly type?: string;
+    /** Absent for arrays of scalars (`items: { type: "string" }`). */
+    readonly properties?: Readonly<Record<string, TraitEntityField>>;
+    /** Nested per-item schema for arrays of arrays (recursive). */
+    readonly items?: ConfigFieldItemsDeclaration;
 }
 declare const ConfigFieldDeclarationSchema: z.ZodType<ConfigFieldDeclaration>;
 /**
@@ -1944,26 +1953,12 @@ interface TraitEntityField {
     required?: boolean;
     default?: unknown;
     values?: string[];
+    /** Structured per-item schema for array-of-object fields (recursive). */
+    items?: ConfigFieldItemsDeclaration;
+    /** Structured property schema for object-typed entity fields. */
+    properties?: Readonly<Record<string, TraitEntityField>>;
 }
-declare const TraitEntityFieldSchema: z.ZodObject<{
-    name: z.ZodString;
-    type: z.ZodEnum<["string", "number", "boolean", "date", "array", "object", "timestamp", "datetime", "enum"]>;
-    required: z.ZodOptional<z.ZodBoolean>;
-    default: z.ZodOptional<z.ZodUnknown>;
-    values: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-}, "strip", z.ZodTypeAny, {
-    type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-    name: string;
-    values?: string[] | undefined;
-    required?: boolean | undefined;
-    default?: unknown;
-}, {
-    type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-    name: string;
-    values?: string[] | undefined;
-    required?: boolean | undefined;
-    default?: unknown;
-}>;
+declare const TraitEntityFieldSchema: z.ZodType<TraitEntityField>;
 /**
  * Simplified data entity for traits
  */
@@ -1980,25 +1975,7 @@ interface TraitDataEntity {
 declare const TraitDataEntitySchema: z.ZodObject<{
     name: z.ZodString;
     collection: z.ZodOptional<z.ZodString>;
-    fields: z.ZodArray<z.ZodObject<{
-        name: z.ZodString;
-        type: z.ZodEnum<["string", "number", "boolean", "date", "array", "object", "timestamp", "datetime", "enum"]>;
-        required: z.ZodOptional<z.ZodBoolean>;
-        default: z.ZodOptional<z.ZodUnknown>;
-        values: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-    }, "strip", z.ZodTypeAny, {
-        type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-        name: string;
-        values?: string[] | undefined;
-        required?: boolean | undefined;
-        default?: unknown;
-    }, {
-        type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-        name: string;
-        values?: string[] | undefined;
-        required?: boolean | undefined;
-        default?: unknown;
-    }>, "many">;
+    fields: z.ZodArray<z.ZodType<TraitEntityField, z.ZodTypeDef, TraitEntityField>, "many">;
     timestamps: z.ZodOptional<z.ZodBoolean>;
     description: z.ZodOptional<z.ZodString>;
     runtime: z.ZodOptional<z.ZodBoolean>;
@@ -2006,13 +1983,7 @@ declare const TraitDataEntitySchema: z.ZodObject<{
     pages: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
 }, "strip", z.ZodTypeAny, {
     name: string;
-    fields: {
-        type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-        name: string;
-        values?: string[] | undefined;
-        required?: boolean | undefined;
-        default?: unknown;
-    }[];
+    fields: TraitEntityField[];
     description?: string | undefined;
     runtime?: boolean | undefined;
     collection?: string | undefined;
@@ -2021,13 +1992,7 @@ declare const TraitDataEntitySchema: z.ZodObject<{
     singleton?: boolean | undefined;
 }, {
     name: string;
-    fields: {
-        type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-        name: string;
-        values?: string[] | undefined;
-        required?: boolean | undefined;
-        default?: unknown;
-    }[];
+    fields: TraitEntityField[];
     description?: string | undefined;
     runtime?: boolean | undefined;
     collection?: string | undefined;
@@ -2121,36 +2086,10 @@ interface EventPayloadField {
     description?: string;
     /** For 'entity' type: the entity type name */
     entityType?: string;
+    /** Structured property schema for object-typed payload fields (recursive). */
+    properties?: ReadonlyArray<EventPayloadField>;
 }
-declare const EventPayloadFieldSchema: z.ZodObject<{
-    name: z.ZodString;
-    /**
-     * Field type. Mirrors the Rust validator's acceptance: any non-empty
-     * string. Primitives ('string' | 'number' | 'boolean' | 'object' |
-     * 'array') are the canonical values; entity-name references like
-     * 'ModalRecord' and array-of-entity references like '[ModalRecord]'
-     * are also valid because the Rust IR's PayloadField.field_type is
-     * just a String. Only enforced narrowly at the call site (e.g.
-     * emit-literal type-mismatch warnings in
-     * orbital-compiler/phases/validation/emit_payload.rs) — not here.
-     */
-    type: z.ZodString;
-    required: z.ZodOptional<z.ZodBoolean>;
-    description: z.ZodOptional<z.ZodString>;
-    entityType: z.ZodOptional<z.ZodString>;
-}, "strip", z.ZodTypeAny, {
-    type: string;
-    name: string;
-    required?: boolean | undefined;
-    description?: string | undefined;
-    entityType?: string | undefined;
-}, {
-    type: string;
-    name: string;
-    required?: boolean | undefined;
-    description?: string | undefined;
-    entityType?: string | undefined;
-}>;
+declare const EventPayloadFieldSchema: z.ZodType<EventPayloadField>;
 /**
  * Event contract for events a trait emits.
  * Declares the event name, scope, and payload schema.
@@ -2176,47 +2115,48 @@ interface TraitEventContract {
      */
     scope?: EventScope;
 }
+/**
+ * `@config.<knob>` is the only legal reference form for an emit/listen
+ * event name (Option B — the declared event name resolves to a
+ * string-typed config knob's value at inline/resolve time). Matches the
+ * Rust lexer's dotted-sigil body (`config.<ident>`, no further dots).
+ */
+declare const CONFIG_REF_EVENT_PATTERN: RegExp;
+/** Returns the knob identifier when `event` is a `@config.<knob>` reference, else `undefined`. */
+declare function configRefEventKnob(event: string): string | undefined;
+/** Why a `@config.<knob>` emit/listen event-name reference failed to resolve. */
+type ConfigRefEventError = 'unknown-knob' | 'not-string' | 'no-default';
+/**
+ * Resolve a `@config.<knob>` emit/listen event-name reference to its
+ * concrete literal, given the trait's declared config schema and the
+ * effective config value map (call-site override folded over declared
+ * default — same precedence the Rust inline phase's `effective_config`
+ * uses). The single JS-side owner of this resolution rule; mirrors
+ * `resolve_config_ref_event_name` in `orbital-core::schema` (Rust).
+ * Returns the resolved literal, or the specific contract clause that failed.
+ */
+declare function resolveConfigRefEventName(event: string, declaredConfig: DeclaredTraitConfig | undefined, effectiveConfig: Readonly<Record<string, TraitConfigValue>>): {
+    readonly ok: true;
+    readonly value: string;
+} | {
+    readonly ok: false;
+    readonly error: ConfigRefEventError;
+};
 declare const TraitEventContractSchema: z.ZodObject<{
     /**
      * Event name. Mirrors the Rust validator's `is_valid_event_identifier`:
      * starts with a letter, then any letters / digits / underscores. Both
      * UPPER_SNAKE_CASE and PascalCase shapes are valid identifiers in the
      * post-Phase 2.5 nominal-event type system (events declared via
-     * `type X = Event<T>`).
+     * `type X = Event<T>`). A pre-resolution `@config.<knob>` reference
+     * (Option B) is also legal — inline/resolve substitutes it with the
+     * knob's effective literal before codegen/runtime consume it.
      */
     event: z.ZodString;
     description: z.ZodOptional<z.ZodString>;
     synonyms: z.ZodOptional<z.ZodString>;
     tier: z.ZodOptional<z.ZodString>;
-    payloadSchema: z.ZodOptional<z.ZodArray<z.ZodObject<{
-        name: z.ZodString;
-        /**
-         * Field type. Mirrors the Rust validator's acceptance: any non-empty
-         * string. Primitives ('string' | 'number' | 'boolean' | 'object' |
-         * 'array') are the canonical values; entity-name references like
-         * 'ModalRecord' and array-of-entity references like '[ModalRecord]'
-         * are also valid because the Rust IR's PayloadField.field_type is
-         * just a String. Only enforced narrowly at the call site (e.g.
-         * emit-literal type-mismatch warnings in
-         * orbital-compiler/phases/validation/emit_payload.rs) — not here.
-         */
-        type: z.ZodString;
-        required: z.ZodOptional<z.ZodBoolean>;
-        description: z.ZodOptional<z.ZodString>;
-        entityType: z.ZodOptional<z.ZodString>;
-    }, "strip", z.ZodTypeAny, {
-        type: string;
-        name: string;
-        required?: boolean | undefined;
-        description?: string | undefined;
-        entityType?: string | undefined;
-    }, {
-        type: string;
-        name: string;
-        required?: boolean | undefined;
-        description?: string | undefined;
-        entityType?: string | undefined;
-    }>, "many">>;
+    payloadSchema: z.ZodOptional<z.ZodArray<z.ZodType<EventPayloadField, z.ZodTypeDef, EventPayloadField>, "many">>;
     scope: z.ZodOptional<z.ZodEnum<["internal", "external"]>>;
 }, "strip", z.ZodTypeAny, {
     event: string;
@@ -2224,26 +2164,14 @@ declare const TraitEventContractSchema: z.ZodObject<{
     synonyms?: string | undefined;
     scope?: "internal" | "external" | undefined;
     tier?: string | undefined;
-    payloadSchema?: {
-        type: string;
-        name: string;
-        required?: boolean | undefined;
-        description?: string | undefined;
-        entityType?: string | undefined;
-    }[] | undefined;
+    payloadSchema?: EventPayloadField[] | undefined;
 }, {
     event: string;
     description?: string | undefined;
     synonyms?: string | undefined;
     scope?: "internal" | "external" | undefined;
     tier?: string | undefined;
-    payloadSchema?: {
-        type: string;
-        name: string;
-        required?: boolean | undefined;
-        description?: string | undefined;
-        entityType?: string | undefined;
-    }[] | undefined;
+    payloadSchema?: EventPayloadField[] | undefined;
 }>;
 /**
  * Event listener for trait communication.
@@ -2788,25 +2716,7 @@ declare const TraitSchema: z.ZodObject<{
     dataEntities: z.ZodOptional<z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         collection: z.ZodOptional<z.ZodString>;
-        fields: z.ZodArray<z.ZodObject<{
-            name: z.ZodString;
-            type: z.ZodEnum<["string", "number", "boolean", "date", "array", "object", "timestamp", "datetime", "enum"]>;
-            required: z.ZodOptional<z.ZodBoolean>;
-            default: z.ZodOptional<z.ZodUnknown>;
-            values: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        }, "strip", z.ZodTypeAny, {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }, {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }>, "many">;
+        fields: z.ZodArray<z.ZodType<TraitEntityField, z.ZodTypeDef, TraitEntityField>, "many">;
         timestamps: z.ZodOptional<z.ZodBoolean>;
         description: z.ZodOptional<z.ZodString>;
         runtime: z.ZodOptional<z.ZodBoolean>;
@@ -2814,13 +2724,7 @@ declare const TraitSchema: z.ZodObject<{
         pages: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, "strip", z.ZodTypeAny, {
         name: string;
-        fields: {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }[];
+        fields: TraitEntityField[];
         description?: string | undefined;
         runtime?: boolean | undefined;
         collection?: string | undefined;
@@ -2829,13 +2733,7 @@ declare const TraitSchema: z.ZodObject<{
         singleton?: boolean | undefined;
     }, {
         name: string;
-        fields: {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }[];
+        fields: TraitEntityField[];
         description?: string | undefined;
         runtime?: boolean | undefined;
         collection?: string | undefined;
@@ -2875,19 +2773,7 @@ declare const TraitSchema: z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             synonyms: z.ZodOptional<z.ZodString>;
             tier: z.ZodOptional<z.ZodString>;
-            payloadSchema: z.ZodOptional<z.ZodArray<z.ZodObject<{
-                name: z.ZodString;
-                type: z.ZodString;
-                required: z.ZodOptional<z.ZodBoolean>;
-            }, "strip", z.ZodTypeAny, {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }, {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }>, "many">>;
+            payloadSchema: z.ZodOptional<z.ZodArray<z.ZodType<PayloadField, z.ZodTypeDef, PayloadField>, "many">>;
             classification: z.ZodOptional<z.ZodEnum<["domain", "system"]>>;
             semanticRole: z.ZodOptional<z.ZodString>;
         }, "strip", z.ZodTypeAny, {
@@ -2896,11 +2782,7 @@ declare const TraitSchema: z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }, {
@@ -2909,11 +2791,7 @@ declare const TraitSchema: z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }>, "many">;
@@ -2959,11 +2837,7 @@ declare const TraitSchema: z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }[];
@@ -2996,11 +2870,7 @@ declare const TraitSchema: z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }[];
@@ -3065,41 +2935,15 @@ declare const TraitSchema: z.ZodObject<{
          * starts with a letter, then any letters / digits / underscores. Both
          * UPPER_SNAKE_CASE and PascalCase shapes are valid identifiers in the
          * post-Phase 2.5 nominal-event type system (events declared via
-         * `type X = Event<T>`).
+         * `type X = Event<T>`). A pre-resolution `@config.<knob>` reference
+         * (Option B) is also legal — inline/resolve substitutes it with the
+         * knob's effective literal before codegen/runtime consume it.
          */
         event: z.ZodString;
         description: z.ZodOptional<z.ZodString>;
         synonyms: z.ZodOptional<z.ZodString>;
         tier: z.ZodOptional<z.ZodString>;
-        payloadSchema: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            name: z.ZodString;
-            /**
-             * Field type. Mirrors the Rust validator's acceptance: any non-empty
-             * string. Primitives ('string' | 'number' | 'boolean' | 'object' |
-             * 'array') are the canonical values; entity-name references like
-             * 'ModalRecord' and array-of-entity references like '[ModalRecord]'
-             * are also valid because the Rust IR's PayloadField.field_type is
-             * just a String. Only enforced narrowly at the call site (e.g.
-             * emit-literal type-mismatch warnings in
-             * orbital-compiler/phases/validation/emit_payload.rs) — not here.
-             */
-            type: z.ZodString;
-            required: z.ZodOptional<z.ZodBoolean>;
-            description: z.ZodOptional<z.ZodString>;
-            entityType: z.ZodOptional<z.ZodString>;
-        }, "strip", z.ZodTypeAny, {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }, {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }>, "many">>;
+        payloadSchema: z.ZodOptional<z.ZodArray<z.ZodType<EventPayloadField, z.ZodTypeDef, EventPayloadField>, "many">>;
         scope: z.ZodOptional<z.ZodEnum<["internal", "external"]>>;
     }, "strip", z.ZodTypeAny, {
         event: string;
@@ -3107,26 +2951,14 @@ declare const TraitSchema: z.ZodObject<{
         synonyms?: string | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
-        payloadSchema?: {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }[] | undefined;
+        payloadSchema?: EventPayloadField[] | undefined;
     }, {
         event: string;
         description?: string | undefined;
         synonyms?: string | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
-        payloadSchema?: {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }[] | undefined;
+        payloadSchema?: EventPayloadField[] | undefined;
     }>, "many">>;
     listens: z.ZodOptional<z.ZodArray<z.ZodObject<{
         event: z.ZodString;
@@ -3306,13 +3138,7 @@ declare const TraitSchema: z.ZodObject<{
     capabilities?: string[] | undefined;
     dataEntities?: {
         name: string;
-        fields: {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }[];
+        fields: TraitEntityField[];
         description?: string | undefined;
         runtime?: boolean | undefined;
         collection?: string | undefined;
@@ -3327,11 +3153,7 @@ declare const TraitSchema: z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }[];
@@ -3364,13 +3186,7 @@ declare const TraitSchema: z.ZodObject<{
         synonyms?: string | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
-        payloadSchema?: {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }[] | undefined;
+        payloadSchema?: EventPayloadField[] | undefined;
     }[] | undefined;
     linkedEntity?: string | undefined;
     listens?: {
@@ -3454,13 +3270,7 @@ declare const TraitSchema: z.ZodObject<{
     capabilities?: string[] | undefined;
     dataEntities?: {
         name: string;
-        fields: {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }[];
+        fields: TraitEntityField[];
         description?: string | undefined;
         runtime?: boolean | undefined;
         collection?: string | undefined;
@@ -3475,11 +3285,7 @@ declare const TraitSchema: z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }[];
@@ -3512,13 +3318,7 @@ declare const TraitSchema: z.ZodObject<{
         synonyms?: string | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
-        payloadSchema?: {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }[] | undefined;
+        payloadSchema?: EventPayloadField[] | undefined;
     }[] | undefined;
     linkedEntity?: string | undefined;
     listens?: {
@@ -3648,25 +3448,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
     dataEntities: z.ZodOptional<z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         collection: z.ZodOptional<z.ZodString>;
-        fields: z.ZodArray<z.ZodObject<{
-            name: z.ZodString;
-            type: z.ZodEnum<["string", "number", "boolean", "date", "array", "object", "timestamp", "datetime", "enum"]>;
-            required: z.ZodOptional<z.ZodBoolean>;
-            default: z.ZodOptional<z.ZodUnknown>;
-            values: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        }, "strip", z.ZodTypeAny, {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }, {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }>, "many">;
+        fields: z.ZodArray<z.ZodType<TraitEntityField, z.ZodTypeDef, TraitEntityField>, "many">;
         timestamps: z.ZodOptional<z.ZodBoolean>;
         description: z.ZodOptional<z.ZodString>;
         runtime: z.ZodOptional<z.ZodBoolean>;
@@ -3674,13 +3456,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         pages: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, "strip", z.ZodTypeAny, {
         name: string;
-        fields: {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }[];
+        fields: TraitEntityField[];
         description?: string | undefined;
         runtime?: boolean | undefined;
         collection?: string | undefined;
@@ -3689,13 +3465,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         singleton?: boolean | undefined;
     }, {
         name: string;
-        fields: {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }[];
+        fields: TraitEntityField[];
         description?: string | undefined;
         runtime?: boolean | undefined;
         collection?: string | undefined;
@@ -3735,19 +3505,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             synonyms: z.ZodOptional<z.ZodString>;
             tier: z.ZodOptional<z.ZodString>;
-            payloadSchema: z.ZodOptional<z.ZodArray<z.ZodObject<{
-                name: z.ZodString;
-                type: z.ZodString;
-                required: z.ZodOptional<z.ZodBoolean>;
-            }, "strip", z.ZodTypeAny, {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }, {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }>, "many">>;
+            payloadSchema: z.ZodOptional<z.ZodArray<z.ZodType<PayloadField, z.ZodTypeDef, PayloadField>, "many">>;
             classification: z.ZodOptional<z.ZodEnum<["domain", "system"]>>;
             semanticRole: z.ZodOptional<z.ZodString>;
         }, "strip", z.ZodTypeAny, {
@@ -3756,11 +3514,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }, {
@@ -3769,11 +3523,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }>, "many">;
@@ -3819,11 +3569,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }[];
@@ -3856,11 +3602,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }[];
@@ -3925,41 +3667,15 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
          * starts with a letter, then any letters / digits / underscores. Both
          * UPPER_SNAKE_CASE and PascalCase shapes are valid identifiers in the
          * post-Phase 2.5 nominal-event type system (events declared via
-         * `type X = Event<T>`).
+         * `type X = Event<T>`). A pre-resolution `@config.<knob>` reference
+         * (Option B) is also legal — inline/resolve substitutes it with the
+         * knob's effective literal before codegen/runtime consume it.
          */
         event: z.ZodString;
         description: z.ZodOptional<z.ZodString>;
         synonyms: z.ZodOptional<z.ZodString>;
         tier: z.ZodOptional<z.ZodString>;
-        payloadSchema: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            name: z.ZodString;
-            /**
-             * Field type. Mirrors the Rust validator's acceptance: any non-empty
-             * string. Primitives ('string' | 'number' | 'boolean' | 'object' |
-             * 'array') are the canonical values; entity-name references like
-             * 'ModalRecord' and array-of-entity references like '[ModalRecord]'
-             * are also valid because the Rust IR's PayloadField.field_type is
-             * just a String. Only enforced narrowly at the call site (e.g.
-             * emit-literal type-mismatch warnings in
-             * orbital-compiler/phases/validation/emit_payload.rs) — not here.
-             */
-            type: z.ZodString;
-            required: z.ZodOptional<z.ZodBoolean>;
-            description: z.ZodOptional<z.ZodString>;
-            entityType: z.ZodOptional<z.ZodString>;
-        }, "strip", z.ZodTypeAny, {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }, {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }>, "many">>;
+        payloadSchema: z.ZodOptional<z.ZodArray<z.ZodType<EventPayloadField, z.ZodTypeDef, EventPayloadField>, "many">>;
         scope: z.ZodOptional<z.ZodEnum<["internal", "external"]>>;
     }, "strip", z.ZodTypeAny, {
         event: string;
@@ -3967,26 +3683,14 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         synonyms?: string | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
-        payloadSchema?: {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }[] | undefined;
+        payloadSchema?: EventPayloadField[] | undefined;
     }, {
         event: string;
         description?: string | undefined;
         synonyms?: string | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
-        payloadSchema?: {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }[] | undefined;
+        payloadSchema?: EventPayloadField[] | undefined;
     }>, "many">>;
     listens: z.ZodOptional<z.ZodArray<z.ZodObject<{
         event: z.ZodString;
@@ -4166,13 +3870,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
     capabilities?: string[] | undefined;
     dataEntities?: {
         name: string;
-        fields: {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }[];
+        fields: TraitEntityField[];
         description?: string | undefined;
         runtime?: boolean | undefined;
         collection?: string | undefined;
@@ -4187,11 +3885,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }[];
@@ -4224,13 +3918,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         synonyms?: string | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
-        payloadSchema?: {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }[] | undefined;
+        payloadSchema?: EventPayloadField[] | undefined;
     }[] | undefined;
     linkedEntity?: string | undefined;
     listens?: {
@@ -4314,13 +4002,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
     capabilities?: string[] | undefined;
     dataEntities?: {
         name: string;
-        fields: {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }[];
+        fields: TraitEntityField[];
         description?: string | undefined;
         runtime?: boolean | undefined;
         collection?: string | undefined;
@@ -4335,11 +4017,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }[];
@@ -4372,13 +4050,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         synonyms?: string | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
-        payloadSchema?: {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }[] | undefined;
+        payloadSchema?: EventPayloadField[] | undefined;
     }[] | undefined;
     linkedEntity?: string | undefined;
     listens?: {
@@ -4578,25 +4250,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
     dataEntities: z.ZodOptional<z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         collection: z.ZodOptional<z.ZodString>;
-        fields: z.ZodArray<z.ZodObject<{
-            name: z.ZodString;
-            type: z.ZodEnum<["string", "number", "boolean", "date", "array", "object", "timestamp", "datetime", "enum"]>;
-            required: z.ZodOptional<z.ZodBoolean>;
-            default: z.ZodOptional<z.ZodUnknown>;
-            values: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
-        }, "strip", z.ZodTypeAny, {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }, {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }>, "many">;
+        fields: z.ZodArray<z.ZodType<TraitEntityField, z.ZodTypeDef, TraitEntityField>, "many">;
         timestamps: z.ZodOptional<z.ZodBoolean>;
         description: z.ZodOptional<z.ZodString>;
         runtime: z.ZodOptional<z.ZodBoolean>;
@@ -4604,13 +4258,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         pages: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     }, "strip", z.ZodTypeAny, {
         name: string;
-        fields: {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }[];
+        fields: TraitEntityField[];
         description?: string | undefined;
         runtime?: boolean | undefined;
         collection?: string | undefined;
@@ -4619,13 +4267,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         singleton?: boolean | undefined;
     }, {
         name: string;
-        fields: {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }[];
+        fields: TraitEntityField[];
         description?: string | undefined;
         runtime?: boolean | undefined;
         collection?: string | undefined;
@@ -4665,19 +4307,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             description: z.ZodOptional<z.ZodString>;
             synonyms: z.ZodOptional<z.ZodString>;
             tier: z.ZodOptional<z.ZodString>;
-            payloadSchema: z.ZodOptional<z.ZodArray<z.ZodObject<{
-                name: z.ZodString;
-                type: z.ZodString;
-                required: z.ZodOptional<z.ZodBoolean>;
-            }, "strip", z.ZodTypeAny, {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }, {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }>, "many">>;
+            payloadSchema: z.ZodOptional<z.ZodArray<z.ZodType<PayloadField, z.ZodTypeDef, PayloadField>, "many">>;
             classification: z.ZodOptional<z.ZodEnum<["domain", "system"]>>;
             semanticRole: z.ZodOptional<z.ZodString>;
         }, "strip", z.ZodTypeAny, {
@@ -4686,11 +4316,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }, {
@@ -4699,11 +4325,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }>, "many">;
@@ -4749,11 +4371,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }[];
@@ -4786,11 +4404,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }[];
@@ -4855,41 +4469,15 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
          * starts with a letter, then any letters / digits / underscores. Both
          * UPPER_SNAKE_CASE and PascalCase shapes are valid identifiers in the
          * post-Phase 2.5 nominal-event type system (events declared via
-         * `type X = Event<T>`).
+         * `type X = Event<T>`). A pre-resolution `@config.<knob>` reference
+         * (Option B) is also legal — inline/resolve substitutes it with the
+         * knob's effective literal before codegen/runtime consume it.
          */
         event: z.ZodString;
         description: z.ZodOptional<z.ZodString>;
         synonyms: z.ZodOptional<z.ZodString>;
         tier: z.ZodOptional<z.ZodString>;
-        payloadSchema: z.ZodOptional<z.ZodArray<z.ZodObject<{
-            name: z.ZodString;
-            /**
-             * Field type. Mirrors the Rust validator's acceptance: any non-empty
-             * string. Primitives ('string' | 'number' | 'boolean' | 'object' |
-             * 'array') are the canonical values; entity-name references like
-             * 'ModalRecord' and array-of-entity references like '[ModalRecord]'
-             * are also valid because the Rust IR's PayloadField.field_type is
-             * just a String. Only enforced narrowly at the call site (e.g.
-             * emit-literal type-mismatch warnings in
-             * orbital-compiler/phases/validation/emit_payload.rs) — not here.
-             */
-            type: z.ZodString;
-            required: z.ZodOptional<z.ZodBoolean>;
-            description: z.ZodOptional<z.ZodString>;
-            entityType: z.ZodOptional<z.ZodString>;
-        }, "strip", z.ZodTypeAny, {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }, {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }>, "many">>;
+        payloadSchema: z.ZodOptional<z.ZodArray<z.ZodType<EventPayloadField, z.ZodTypeDef, EventPayloadField>, "many">>;
         scope: z.ZodOptional<z.ZodEnum<["internal", "external"]>>;
     }, "strip", z.ZodTypeAny, {
         event: string;
@@ -4897,26 +4485,14 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         synonyms?: string | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
-        payloadSchema?: {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }[] | undefined;
+        payloadSchema?: EventPayloadField[] | undefined;
     }, {
         event: string;
         description?: string | undefined;
         synonyms?: string | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
-        payloadSchema?: {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }[] | undefined;
+        payloadSchema?: EventPayloadField[] | undefined;
     }>, "many">>;
     listens: z.ZodOptional<z.ZodArray<z.ZodObject<{
         event: z.ZodString;
@@ -5096,13 +4672,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
     capabilities?: string[] | undefined;
     dataEntities?: {
         name: string;
-        fields: {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }[];
+        fields: TraitEntityField[];
         description?: string | undefined;
         runtime?: boolean | undefined;
         collection?: string | undefined;
@@ -5117,11 +4687,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }[];
@@ -5154,13 +4720,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         synonyms?: string | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
-        payloadSchema?: {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }[] | undefined;
+        payloadSchema?: EventPayloadField[] | undefined;
     }[] | undefined;
     linkedEntity?: string | undefined;
     listens?: {
@@ -5244,13 +4804,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
     capabilities?: string[] | undefined;
     dataEntities?: {
         name: string;
-        fields: {
-            type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
-            name: string;
-            values?: string[] | undefined;
-            required?: boolean | undefined;
-            default?: unknown;
-        }[];
+        fields: TraitEntityField[];
         description?: string | undefined;
         runtime?: boolean | undefined;
         collection?: string | undefined;
@@ -5265,11 +4819,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             description?: string | undefined;
             synonyms?: string | undefined;
             tier?: string | undefined;
-            payloadSchema?: {
-                type: string;
-                name: string;
-                required?: boolean | undefined;
-            }[] | undefined;
+            payloadSchema?: PayloadField[] | undefined;
             classification?: "domain" | "system" | undefined;
             semanticRole?: string | undefined;
         }[];
@@ -5302,13 +4852,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         synonyms?: string | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
-        payloadSchema?: {
-            type: string;
-            name: string;
-            required?: boolean | undefined;
-            description?: string | undefined;
-            entityType?: string | undefined;
-        }[] | undefined;
+        payloadSchema?: EventPayloadField[] | undefined;
     }[] | undefined;
     linkedEntity?: string | undefined;
     listens?: {
@@ -5384,4 +4928,4 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
     } | undefined;
 }>]>;
 
-export { OrbitalTraitRefSchema as $, type AgentEffect as A, EventSchema as B, type CallSiteConfig as C, type DeclaredTraitConfig as D, type Effect as E, type EventScope as F, EventScopeSchema as G, type FetchEffect as H, type FetchOptions as I, type FetchResult as J, type ForwardConfig as K, type ForwardEffect as L, type Guard as M, type GuardInput as N, GuardSchema as O, type ListenSource as P, ListenSourceSchema as Q, type LogEffect as R, type State as S, type TraitEventListener as T, type McpServiceDef as U, McpServiceDefSchema as V, type NavigateEffect as W, type NnConfig as X, type NnLayer as Y, type NotifyEffect as Z, type OrbitalTraitRef as _, type TraitReference as a, TraitReferenceSchema as a$, type OsEffect as a0, type PayloadField as a1, PayloadFieldSchema as a2, type PersistData as a3, type PersistEffect as a4, type PersistEmitConfig as a5, type PresentationType as a6, type RefEffect as a7, type RenderBinding as a8, type RenderItemLambda as a9, type SpawnEffect as aA, type StateInput as aB, type StateMachine as aC, type StateMachineInput as aD, StateMachineSchema as aE, StateSchema as aF, type SwapEffect as aG, type TrainConfig as aH, type TrainEffect as aI, type TraitCategory as aJ, TraitCategorySchema as aK, type TraitConfig as aL, type TraitConfigObject as aM, TraitConfigSchema as aN, type TraitConfigValue as aO, TraitConfigValueSchema as aP, type TraitDataEntity as aQ, TraitDataEntitySchema as aR, type TraitEntityField as aS, TraitEntityFieldSchema as aT, type TraitEventContract as aU, TraitEventContractSchema as aV, TraitEventListenerSchema as aW, type TraitInput as aX, type TraitRef as aY, TraitRefSchema as aZ, type TraitReferenceInput as a_, type RenderUIEffect as aa, type RenderUINode as ab, type RequiredField as ac, RequiredFieldSchema as ad, type ResolvedPatternProps as ae, type RestAuthConfig as af, RestAuthConfigSchema as ag, type RestServiceDef as ah, RestServiceDefSchema as ai, SERVICE_TYPES as aj, type ServiceDefinition as ak, ServiceDefinitionSchema as al, type ServiceParams as am, type ServiceParamsValue as an, type ServiceRef as ao, type ServiceRefObject as ap, ServiceRefObjectSchema as aq, ServiceRefSchema as ar, ServiceRefStringSchema as as, type ServiceType as at, ServiceTypeSchema as au, type SetEffect as av, type SocketEvents as aw, SocketEventsSchema as ax, type SocketServiceDef as ay, SocketServiceDefSchema as az, type CallSiteConfigEntry as b, TraitSchema as b0, type TraitTick as b1, TraitTickSchema as b2, type TraitUIBinding as b3, type Transition as b4, type TransitionInput as b5, TransitionSchema as b6, type TypedEffect as b7, type UISlot as b8, UISlotSchema as b9, notify as bA, parseServiceRef as bB, persist as bC, ref as bD, renderUI as bE, set as bF, spawn as bG, swap as bH, watch as bI, type TraitScope as bJ, UI_SLOTS as ba, type WatchEffect as bb, type WatchOptions as bc, atomic as bd, callService as be, deref as bf, despawn as bg, doEffects as bh, emit as bi, findService as bj, getServiceNames as bk, getTraitConfig as bl, getTraitName as bm, hasService as bn, isCallSiteConfigDeclaration as bo, isCircuitEvent as bp, isEffect as bq, isInlineTrait as br, isMcpService as bs, isRestService as bt, isSExprEffect as bu, isServiceReference as bv, isServiceReferenceObject as bw, isSocketService as bx, navigate as by, normalizeTraitRef as bz, type Trait as c, type AtomicEffect as d, type CallServiceConfig as e, type CallServiceEffect as f, type CheckpointLoadEffect as g, type CheckpointSaveEffect as h, type ConfigFieldDeclaration as i, ConfigFieldDeclarationSchema as j, DeclaredTraitConfigSchema as k, type DerefEffect as l, type DespawnEffect as m, type DoEffect as n, type EffectInput as o, EffectSchema as p, type EmitConfig as q, type EmitEffect as r, type EntityFieldContract as s, EntityFieldContractSchema as t, type EvaluateConfig as u, type EvaluateEffect as v, type Event as w, type EventInput as x, type EventPayloadField as y, EventPayloadFieldSchema as z };
+export { type LogEffect as $, type AgentEffect as A, type BehaviorEffect as B, type CallSiteConfig as C, type DeclaredTraitConfig as D, type Effect as E, type EvaluateConfig as F, type EvaluateEffect as G, type Event as H, type EventInput as I, type EventPayloadField as J, EventPayloadFieldSchema as K, EventSchema as L, type EventScope as M, EventScopeSchema as N, type FetchEffect as O, type FetchOptions as P, type FetchResult as Q, type ForwardConfig as R, type State as S, type TraitEventListener as T, type ForwardEffect as U, type Guard as V, type GuardInput as W, GuardSchema as X, type ListenSource as Y, ListenSourceSchema as Z, type LlmEffect as _, type TraitReference as a, TraitDataEntitySchema as a$, type McpServiceDef as a0, McpServiceDefSchema as a1, type MemoryEffect as a2, type NavigateEffect as a3, type NnConfig as a4, type NnLayer as a5, type NotifyEffect as a6, type OrbitalTraitRef as a7, OrbitalTraitRefSchema as a8, type OsEffect as a9, ServiceRefSchema as aA, ServiceRefStringSchema as aB, type ServiceType as aC, ServiceTypeSchema as aD, type SessionEffect as aE, type SetEffect as aF, type SocketEvents as aG, SocketEventsSchema as aH, type SocketServiceDef as aI, SocketServiceDefSchema as aJ, type SpawnEffect as aK, type StateInput as aL, type StateMachine as aM, type StateMachineInput as aN, StateMachineSchema as aO, StateSchema as aP, type SwapEffect as aQ, type TraceEffect as aR, type TrainConfig as aS, type TrainEffect as aT, type TraitCategory as aU, TraitCategorySchema as aV, type TraitConfigObject as aW, TraitConfigSchema as aX, type TraitConfigValue as aY, TraitConfigValueSchema as aZ, type TraitDataEntity as a_, type PayloadField as aa, PayloadFieldSchema as ab, type PersistData as ac, type PersistEffect as ad, type PersistEmitConfig as ae, type PresentationType as af, type RefEffect as ag, type RenderBinding as ah, type RenderItemLambda as ai, type RenderUIEffect as aj, type RenderUINode as ak, type RequiredField as al, RequiredFieldSchema as am, type ResolvedPatternProps as an, type RestAuthConfig as ao, RestAuthConfigSchema as ap, type RestServiceDef as aq, RestServiceDefSchema as ar, SERVICE_TYPES as as, type ServiceDefinition as at, ServiceDefinitionSchema as au, type ServiceParams as av, type ServiceParamsValue as aw, type ServiceRef as ax, type ServiceRefObject as ay, ServiceRefObjectSchema as az, type CallSiteConfigEntry as b, type TraitEntityField as b0, TraitEntityFieldSchema as b1, type TraitEventContract as b2, TraitEventContractSchema as b3, TraitEventListenerSchema as b4, type TraitInput as b5, type TraitRef as b6, TraitRefSchema as b7, type TraitReferenceInput as b8, TraitReferenceSchema as b9, isCallSiteConfigDeclaration as bA, isCircuitEvent as bB, isEffect as bC, isInlineTrait as bD, isMcpService as bE, isRestService as bF, isSExprEffect as bG, isServiceReference as bH, isServiceReferenceObject as bI, isSocketService as bJ, navigate as bK, normalizeCallSiteConfigToValues as bL, normalizeTraitRef as bM, notify as bN, parseServiceRef as bO, persist as bP, ref as bQ, renderUI as bR, resolveConfigRefEventName as bS, set as bT, spawn as bU, swap as bV, watch as bW, type TraitScope as bX, TraitSchema as ba, type TraitTick as bb, TraitTickSchema as bc, type TraitUIBinding as bd, type Transition as be, type TransitionInput as bf, TransitionSchema as bg, type TypedEffect as bh, type UISlot as bi, UISlotSchema as bj, UI_SLOTS as bk, type ValidateEffect as bl, type WatchEffect as bm, type WatchOptions as bn, atomic as bo, callService as bp, configRefEventKnob as bq, deref as br, despawn as bs, doEffects as bt, emit as bu, findService as bv, getServiceNames as bw, getTraitConfig as bx, getTraitName as by, hasService as bz, type Trait as c, type TraitConfig as d, type ApplicationEffect as e, type AtomicEffect as f, CONFIG_REF_EVENT_PATTERN as g, type CallServiceConfig as h, type CallServiceEffect as i, type CheckpointLoadEffect as j, type CheckpointSaveEffect as k, type ComposeEffect as l, type ConfigFieldDeclaration as m, ConfigFieldDeclarationSchema as n, type ConfigFieldItemsDeclaration as o, type ConfigRefEventError as p, DeclaredTraitConfigSchema as q, type DerefEffect as r, type DespawnEffect as s, type DoEffect as t, type EffectInput as u, EffectSchema as v, type EmitConfig as w, type EmitEffect as x, type EntityFieldContract as y, EntityFieldContractSchema as z };