@almadar/core 10.28.0 → 10.30.0

package/dist/{trait-DZkS625T.d.ts → trait-CwWjkU-1.d.ts}

@@ -1,5 +1,5 @@
-import { A as AnyPatternConfig, b as EntityRow, c as Entity, E as EntityField } from './pattern-types-BeQXwgpZ.js';
-import { S as SExpr, E as EventPayload, a as Expression } from './expression-C6X4A8L7.js';
+import { A as AnyPatternConfig, b as EntityRow, c as EventId, T as TraitId, O as OrbitalId, d as EntityId, P as PageId, e as Entity, E as EntityField } from './pattern-types-CLcOXOmW.js';
+import { S as SExpr, E as EventPayload, a as Expression } from './expression-CB9R3KWk.js';
 import { z } from 'zod';
 
 /**
@@ -800,12 +800,23 @@ type RenderUIEffect = ['render-ui', UISlot, AnyPatternConfig] | ['render-ui', UI
  * @example ["fn", "item", { "type": "stack", "children": [{ "type": "typography", "content": "@item.title" }] }]
  */
 type RenderItemLambda = ['fn', string, AnyPatternConfig];
+/**
+ * Dynamic-collection children entry: renders one child per item of a collection
+ * expression, authored inline in a `children:` position and kept verbatim as IR
+ * (no new node kind). The collection expression is an {@link SExpr} evaluated at
+ * render time; the {@link RenderItemLambda} body is instantiated per item with
+ * the lambda param bound as an `@item`-scope binding. Both execution paths lower
+ * onto the one lambda + `@item` + splice machinery.
+ *
+ * @example ["array/map", "@entity.tasks", ["fn", "item", { "type": "typography", "content": "@item.title" }]]
+ */
+type RenderChildrenMap = ['array/map', SExpr, RenderItemLambda];
 /**
  * Navigate effect - navigates to an internal page path or an external URL.
  * @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 +1158,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 +1237,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.
  *
@@ -1396,7 +1444,10 @@ interface ResolvedPatternProps {
 interface RenderUINode {
     type: string;
     props?: ResolvedPatternProps;
-    children?: RenderUINode[];
+    /** Static child nodes and/or dynamic-collection map entries. A
+     *  {@link RenderChildrenMap} entry expands at render time into resolved
+     *  `RenderUINode`s, so components always receive a flat, fully-resolved list. */
+    children?: Array<RenderUINode | RenderChildrenMap>;
     content?: string;
     entity?: string;
     renderItem?: RenderUINode;
@@ -1460,26 +1511,18 @@ 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
  */
 interface Event {
     /** Event key (UPPER_SNAKE_CASE) */
     key: string;
+    /** V4 dual-carry id sibling of `key` — optional until the Phase-7 flip. */
+    id?: EventId;
     /** Human-readable name */
     name: string;
     /** Description (authored `@description` on the emit/listen). */
@@ -1498,49 +1541,32 @@ interface Event {
 }
 declare const EventSchema: z.ZodObject<{
     key: z.ZodString;
+    id: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
     name: 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;
-        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, {
     name: string;
     key: string;
+    id?: EventId | undefined;
     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;
 }, {
     name: string;
     key: string;
+    id?: string | undefined;
     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;
 }>;
@@ -1597,6 +1623,8 @@ interface Transition {
     to: string;
     /** Event key that triggers this transition */
     event: string;
+    /** V4 dual-carry id sibling of `event` — optional until the Phase-7 flip. */
+    eventId?: EventId;
     /** Guard expression - S-expression array */
     guard?: Expression | null;
     /** Effects to execute - S-expression arrays */
@@ -1608,6 +1636,7 @@ declare const TransitionSchema: z.ZodObject<{
     from: z.ZodString;
     to: z.ZodString;
     event: z.ZodString;
+    eventId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
     guard: z.ZodOptional<z.ZodNullable<z.ZodType<SExpr, z.ZodTypeDef, SExpr>>>;
     effects: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodArray<z.ZodUnknown, "many">, unknown[], unknown[]>, "many">>;
     description: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -1616,6 +1645,7 @@ declare const TransitionSchema: z.ZodObject<{
     from: string;
     to: string;
     description?: string | null | undefined;
+    eventId?: EventId | undefined;
     guard?: SExpr | undefined;
     effects?: unknown[][] | undefined;
 }, {
@@ -1623,6 +1653,7 @@ declare const TransitionSchema: z.ZodObject<{
     from: string;
     to: string;
     description?: string | null | undefined;
+    eventId?: string | undefined;
     guard?: SExpr | undefined;
     effects?: unknown[][] | undefined;
 }>;
@@ -1667,49 +1698,32 @@ declare const StateMachineSchema: z.ZodObject<{
     }>, "many">;
     events: z.ZodArray<z.ZodObject<{
         key: z.ZodString;
+        id: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
         name: 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;
-            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, {
         name: string;
         key: string;
+        id?: EventId | undefined;
         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;
     }, {
         name: string;
         key: string;
+        id?: string | undefined;
         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">;
@@ -1717,6 +1731,7 @@ declare const StateMachineSchema: z.ZodObject<{
         from: z.ZodString;
         to: z.ZodString;
         event: z.ZodString;
+        eventId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
         guard: z.ZodOptional<z.ZodNullable<z.ZodType<SExpr, z.ZodTypeDef, SExpr>>>;
         effects: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodArray<z.ZodUnknown, "many">, unknown[], unknown[]>, "many">>;
         description: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -1725,6 +1740,7 @@ declare const StateMachineSchema: z.ZodObject<{
         from: string;
         to: string;
         description?: string | null | undefined;
+        eventId?: EventId | undefined;
         guard?: SExpr | undefined;
         effects?: unknown[][] | undefined;
     }, {
@@ -1732,6 +1748,7 @@ declare const StateMachineSchema: z.ZodObject<{
         from: string;
         to: string;
         description?: string | null | undefined;
+        eventId?: string | undefined;
         guard?: SExpr | undefined;
         effects?: unknown[][] | undefined;
     }>, "many">;
@@ -1752,14 +1769,11 @@ declare const StateMachineSchema: z.ZodObject<{
     events: {
         name: string;
         key: string;
+        id?: EventId | undefined;
         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;
     }[];
@@ -1777,6 +1791,7 @@ declare const StateMachineSchema: z.ZodObject<{
         from: string;
         to: string;
         description?: string | null | undefined;
+        eventId?: EventId | undefined;
         guard?: SExpr | undefined;
         effects?: unknown[][] | undefined;
     }[];
@@ -1789,14 +1804,11 @@ declare const StateMachineSchema: z.ZodObject<{
     events: {
         name: string;
         key: string;
+        id?: string | undefined;
         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;
     }[];
@@ -1814,6 +1826,7 @@ declare const StateMachineSchema: z.ZodObject<{
         from: string;
         to: string;
         description?: string | null | undefined;
+        eventId?: string | undefined;
         guard?: SExpr | undefined;
         effects?: unknown[][] | undefined;
     }[];
@@ -1890,6 +1903,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" | ...,
@@ -1904,9 +1934,31 @@ declare function isCallSiteConfigDeclaration(entry: CallSiteConfigEntry): entry
  * the enum member list through lowering — consumed by config-driven UI
  * (e.g. the playground property inspector) to render typed controls.
  */
+/**
+ * The reference config-field types (V4-W5). A config knob typed `entity`,
+ * `trait`, or `event` holds a REFERENCE (an entity/trait/event name), not a
+ * plain value — so the stamp records the referenced node's id on the field
+ * (`ConfigFieldDeclaration.refId`) and both execution paths resolve the value to
+ * the node's CURRENT name by id, exactly like `entityRefIds`/`traitEmbedIds`.
+ * This is the deterministic, source-tagged contract that lets a declaration-only
+ * rename flow through a config value without any name-scanning heuristic.
+ */
+declare const REFERENCE_CONFIG_TYPES: readonly ["entity", "trait", "event"];
+type ReferenceConfigType = (typeof REFERENCE_CONFIG_TYPES)[number];
+/** True when a config field's `type` marks its value as an entity/trait/event reference. */
+declare function isReferenceConfigType(type: string): type is ReferenceConfigType;
 interface ConfigFieldDeclaration {
     readonly type: string;
     readonly default?: TraitConfigValue;
+    /**
+     * V4-W5 dual-carry id — set by the stamp when `type` is a reference config
+     * type (`entity`/`trait`/`event`): the stable id of the entity/trait/event
+     * the field's value names. Readers resolve the value to that node's current
+     * name by id (rename-proof); absent for non-reference fields.
+     */
+    readonly refId?: string;
+    /** 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 +1969,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 +2007,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 +2029,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 +2037,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 +2046,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;
@@ -2047,6 +2066,8 @@ interface TraitTick {
     interval: string | number;
     appliesTo?: string[];
     pages?: string[];
+    /** V4 dual-carry id sibling of `pages` — optional until the Phase-7 flip. */
+    pageIds?: PageId[];
     /** Guard expression - string (legacy) or S-expression array */
     guard?: Expression;
     /** Effects to execute (S-expressions) */
@@ -2057,6 +2078,8 @@ interface TraitTick {
      * Used for validation and documentation.
      */
     emits?: string[];
+    /** V4 dual-carry id sibling of `emits` — optional until the Phase-7 flip. */
+    emitIds?: EventId[];
 }
 declare const TraitTickSchema: z.ZodObject<{
     name: z.ZodString;
@@ -2065,9 +2088,11 @@ declare const TraitTickSchema: z.ZodObject<{
     interval: z.ZodUnion<[z.ZodLiteral<"frame">, z.ZodNumber]>;
     appliesTo: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     pages: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    pageIds: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, PageId, string>, "many">>;
     guard: z.ZodOptional<z.ZodType<SExpr, z.ZodTypeDef, SExpr>>;
     effects: z.ZodArray<z.ZodEffects<z.ZodArray<z.ZodUnknown, "many">, unknown[], unknown[]>, "many">;
     emits: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    emitIds: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, EventId, string>, "many">>;
 }, "strip", z.ZodTypeAny, {
     name: string;
     effects: unknown[][];
@@ -2077,7 +2102,9 @@ declare const TraitTickSchema: z.ZodObject<{
     guard?: SExpr | undefined;
     priority?: number | undefined;
     appliesTo?: string[] | undefined;
+    pageIds?: PageId[] | undefined;
     emits?: string[] | undefined;
+    emitIds?: EventId[] | undefined;
 }, {
     name: string;
     effects: unknown[][];
@@ -2087,7 +2114,9 @@ declare const TraitTickSchema: z.ZodObject<{
     guard?: SExpr | undefined;
     priority?: number | undefined;
     appliesTo?: string[] | undefined;
+    pageIds?: string[] | undefined;
     emits?: string[] | undefined;
+    emitIds?: string[] | undefined;
 }>;
 /**
  * Event scope determines visibility:
@@ -2121,36 +2150,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.
@@ -2158,6 +2161,8 @@ declare const EventPayloadFieldSchema: z.ZodObject<{
 interface TraitEventContract {
     /** Event name (UPPER_SNAKE_CASE) */
     event: string;
+    /** V4 dual-carry id sibling of `event` — optional until the Phase-7 flip. */
+    eventId?: EventId;
     /** Human-readable description */
     description?: string;
     /** User-vocabulary synonyms (comma-separated) — the per-event analogue of a
@@ -2176,47 +2181,49 @@ 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;
+    eventId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
     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 +2231,16 @@ 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;
+    eventId?: EventId | 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;
+    eventId?: string | undefined;
 }>;
 /**
  * Event listener for trait communication.
@@ -2268,10 +2265,16 @@ type ListenSource = {
 } | {
     kind: 'trait';
     trait: string;
+    /** V4 dual-carry id sibling of `trait` — optional until the Phase-7 flip. */
+    traitId?: TraitId;
 } | {
     kind: 'orbital';
     orbital: string;
     trait: string;
+    /** V4 dual-carry id sibling of `orbital` — optional until the Phase-7 flip. */
+    orbitalId?: OrbitalId;
+    /** V4 dual-carry id sibling of `trait` — optional until the Phase-7 flip. */
+    traitId?: TraitId;
 };
 declare const ListenSourceSchema: z.ZodUnion<[z.ZodObject<{
     kind: z.ZodLiteral<"any">;
@@ -2282,30 +2285,43 @@ declare const ListenSourceSchema: z.ZodUnion<[z.ZodObject<{
 }>, z.ZodObject<{
     kind: z.ZodLiteral<"trait">;
     trait: z.ZodString;
+    traitId: z.ZodOptional<z.ZodEffects<z.ZodString, TraitId, string>>;
 }, "strip", z.ZodTypeAny, {
     trait: string;
     kind: "trait";
+    traitId?: TraitId | undefined;
 }, {
     trait: string;
     kind: "trait";
+    traitId?: string | undefined;
 }>, z.ZodObject<{
     kind: z.ZodLiteral<"orbital">;
     orbital: z.ZodString;
     trait: z.ZodString;
+    orbitalId: z.ZodOptional<z.ZodEffects<z.ZodString, OrbitalId, string>>;
+    traitId: z.ZodOptional<z.ZodEffects<z.ZodString, TraitId, string>>;
 }, "strip", z.ZodTypeAny, {
+    orbital: string;
     trait: string;
     kind: "orbital";
-    orbital: string;
+    traitId?: TraitId | undefined;
+    orbitalId?: OrbitalId | undefined;
 }, {
+    orbital: string;
     trait: string;
     kind: "orbital";
-    orbital: string;
+    traitId?: string | undefined;
+    orbitalId?: string | undefined;
 }>]>;
 interface TraitEventListener {
     /** Event key to listen for (bare event name, no source prefix in the new shape) */
     event: string;
+    /** V4 dual-carry id sibling of `event` — optional until the Phase-7 flip. */
+    eventId?: EventId;
     /** State machine event to trigger */
     triggers: string;
+    /** V4 dual-carry id sibling of `triggers` — optional until the Phase-7 flip. */
+    triggersId?: EventId;
     /** Human-readable description (authored `@description` on the listen). */
     description?: string;
     /** User-vocabulary synonyms (comma-separated). */
@@ -2330,7 +2346,9 @@ interface TraitEventListener {
 }
 declare const TraitEventListenerSchema: z.ZodObject<{
     event: z.ZodString;
+    eventId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
     triggers: z.ZodString;
+    triggersId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
     description: z.ZodOptional<z.ZodString>;
     synonyms: z.ZodOptional<z.ZodString>;
     tier: z.ZodOptional<z.ZodString>;
@@ -2346,24 +2364,33 @@ declare const TraitEventListenerSchema: z.ZodObject<{
     }>, z.ZodObject<{
         kind: z.ZodLiteral<"trait">;
         trait: z.ZodString;
+        traitId: z.ZodOptional<z.ZodEffects<z.ZodString, TraitId, string>>;
     }, "strip", z.ZodTypeAny, {
         trait: string;
         kind: "trait";
+        traitId?: TraitId | undefined;
     }, {
         trait: string;
         kind: "trait";
+        traitId?: string | undefined;
     }>, z.ZodObject<{
         kind: z.ZodLiteral<"orbital">;
         orbital: z.ZodString;
         trait: z.ZodString;
+        orbitalId: z.ZodOptional<z.ZodEffects<z.ZodString, OrbitalId, string>>;
+        traitId: z.ZodOptional<z.ZodEffects<z.ZodString, TraitId, string>>;
     }, "strip", z.ZodTypeAny, {
+        orbital: string;
         trait: string;
         kind: "orbital";
-        orbital: string;
+        traitId?: TraitId | undefined;
+        orbitalId?: OrbitalId | undefined;
     }, {
+        orbital: string;
         trait: string;
         kind: "orbital";
-        orbital: string;
+        traitId?: string | undefined;
+        orbitalId?: string | undefined;
     }>]>>;
 }, "strip", z.ZodTypeAny, {
     event: string;
@@ -2375,14 +2402,19 @@ declare const TraitEventListenerSchema: z.ZodObject<{
     } | {
         trait: string;
         kind: "trait";
+        traitId?: TraitId | undefined;
     } | {
+        orbital: string;
         trait: string;
         kind: "orbital";
-        orbital: string;
+        traitId?: TraitId | undefined;
+        orbitalId?: OrbitalId | undefined;
     } | undefined;
     scope?: "internal" | "external" | undefined;
     tier?: string | undefined;
+    eventId?: EventId | undefined;
     guard?: SExpr | undefined;
+    triggersId?: EventId | undefined;
     payloadMapping?: Record<string, string> | undefined;
 }, {
     event: string;
@@ -2394,14 +2426,19 @@ declare const TraitEventListenerSchema: z.ZodObject<{
     } | {
         trait: string;
         kind: "trait";
+        traitId?: string | undefined;
     } | {
+        orbital: string;
         trait: string;
         kind: "orbital";
-        orbital: string;
+        traitId?: string | undefined;
+        orbitalId?: string | undefined;
     } | undefined;
     scope?: "internal" | "external" | undefined;
     tier?: string | undefined;
+    eventId?: string | undefined;
     guard?: SExpr | undefined;
+    triggersId?: string | undefined;
     payloadMapping?: Record<string, string> | undefined;
 }>;
 /**
@@ -2417,11 +2454,11 @@ declare const RequiredFieldSchema: z.ZodObject<{
     type: z.ZodEnum<["string", "number", "boolean", "date", "array", "object", "timestamp", "datetime", "enum"]>;
     description: z.ZodOptional<z.ZodString>;
 }, "strip", z.ZodTypeAny, {
-    type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
+    type: "string" | "number" | "boolean" | "object" | "date" | "array" | "timestamp" | "datetime" | "enum";
     name: string;
     description?: string | undefined;
 }, {
-    type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
+    type: "string" | "number" | "boolean" | "object" | "date" | "array" | "timestamp" | "datetime" | "enum";
     name: string;
     description?: string | undefined;
 }>;
@@ -2435,6 +2472,16 @@ declare const RequiredFieldSchema: z.ZodObject<{
  */
 interface TraitReference {
     ref: string;
+    /** V4 dual-carry id sibling of `ref` — optional until the Phase-7 flip. */
+    refId?: TraitId;
+    /**
+     * V4 LOCAL DECLARATION id — the identity of this trait AS DECLARED in its
+     * orbital (`trait X = Alias.traits.Y` declares node X; `refId` carries
+     * Y's id). Minted by the stamp so page trait refs and `@trait.X` embeds
+     * resolve by id across `name:` renames (the composed-organism surface was
+     * the one declaration class without an id).
+     */
+    id?: TraitId;
     /**
      * Phase 1.2: optional registry path disambiguator. Pairs with `ref` to
      * explicitly name which `uses` entry the alias was imported from
@@ -2444,10 +2491,14 @@ interface TraitReference {
      */
     from?: string;
     linkedEntity?: string;
+    /** V4 dual-carry id sibling of `linkedEntity` — optional until the Phase-7 flip. */
+    linkedEntityId?: EntityId;
     /** Phase F: rename the inlined trait at the call site */
     name?: string;
     /** Phase F: rename atom event keys at the call site, e.g. {OPEN: "ADD_ITEM"} */
     events?: Record<string, string>;
+    /** V4 dual-carry id sibling of `events` (keys = baked event names resolved to ids) — optional until the Phase-7 flip. */
+    eventIds?: Record<string, EventId>;
     /**
      * Entity-field remap: rewrite the inlined trait's canonical `@entity.X` /
      * `@payload.row.X` field references to the consumer entity's field names,
@@ -2511,10 +2562,14 @@ interface TraitReference {
 }
 declare const TraitReferenceSchema: z.ZodEffects<z.ZodObject<{
     ref: z.ZodString;
+    refId: z.ZodOptional<z.ZodEffects<z.ZodString, TraitId, string>>;
+    id: z.ZodOptional<z.ZodEffects<z.ZodString, TraitId, string>>;
     from: z.ZodOptional<z.ZodString>;
     linkedEntity: z.ZodOptional<z.ZodString>;
+    linkedEntityId: z.ZodOptional<z.ZodEffects<z.ZodString, EntityId, string>>;
     name: z.ZodOptional<z.ZodString>;
     events: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+    eventIds: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodString, EventId, string>>>;
     fields: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
     config: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnion<[z.ZodType<ConfigFieldDeclaration, z.ZodTypeDef, ConfigFieldDeclaration>, z.ZodType<TraitConfigValue, z.ZodTypeDef, TraitConfigValue>]>>>;
     appliesTo: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
@@ -2523,50 +2578,66 @@ declare const TraitReferenceSchema: z.ZodEffects<z.ZodObject<{
     effects: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodArray<z.ZodUnknown, "many">>>;
 }, "strip", z.ZodTypeAny, {
     ref: string;
+    id?: TraitId | undefined;
+    from?: string | undefined;
     name?: string | undefined;
     fields?: Record<string, string> | undefined;
     config?: Record<string, TraitConfigValue | ConfigFieldDeclaration> | undefined;
     events?: Record<string, string> | undefined;
-    from?: string | undefined;
     effects?: Record<string, unknown[]> | undefined;
+    refId?: TraitId | undefined;
     appliesTo?: string[] | undefined;
     linkedEntity?: string | undefined;
+    linkedEntityId?: EntityId | undefined;
+    eventIds?: Record<string, EventId> | undefined;
     listens?: unknown[] | undefined;
     emitsScope?: "internal" | "external" | undefined;
 }, {
     ref: string;
+    id?: string | undefined;
+    from?: string | undefined;
     name?: string | undefined;
     fields?: Record<string, string> | undefined;
     config?: Record<string, TraitConfigValue | ConfigFieldDeclaration> | undefined;
     events?: Record<string, string> | undefined;
-    from?: string | undefined;
     effects?: Record<string, unknown[]> | undefined;
+    refId?: string | undefined;
     appliesTo?: string[] | undefined;
     linkedEntity?: string | undefined;
+    linkedEntityId?: string | undefined;
+    eventIds?: Record<string, string> | undefined;
     listens?: unknown[] | undefined;
     emitsScope?: "internal" | "external" | undefined;
 }>, {
     ref: string;
+    id?: TraitId | undefined;
+    from?: string | undefined;
     name?: string | undefined;
     fields?: Record<string, string> | undefined;
     config?: Record<string, TraitConfigValue | ConfigFieldDeclaration> | undefined;
     events?: Record<string, string> | undefined;
-    from?: string | undefined;
     effects?: Record<string, unknown[]> | undefined;
+    refId?: TraitId | undefined;
     appliesTo?: string[] | undefined;
     linkedEntity?: string | undefined;
+    linkedEntityId?: EntityId | undefined;
+    eventIds?: Record<string, EventId> | undefined;
     listens?: unknown[] | undefined;
     emitsScope?: "internal" | "external" | undefined;
 }, {
     ref: string;
+    id?: string | undefined;
+    from?: string | undefined;
     name?: string | undefined;
     fields?: Record<string, string> | undefined;
     config?: Record<string, TraitConfigValue | ConfigFieldDeclaration> | undefined;
     events?: Record<string, string> | undefined;
-    from?: string | undefined;
     effects?: Record<string, unknown[]> | undefined;
+    refId?: string | undefined;
     appliesTo?: string[] | undefined;
     linkedEntity?: string | undefined;
+    linkedEntityId?: string | undefined;
+    eventIds?: Record<string, string> | undefined;
     listens?: unknown[] | undefined;
     emitsScope?: "internal" | "external" | undefined;
 }>;
@@ -2647,6 +2718,8 @@ declare const EntityFieldContractSchema: z.ZodObject<{
     provides: string[];
 }>;
 interface Trait {
+    /** V4 dual-carry id sibling of `name` — optional until the Phase-7 flip. */
+    id?: TraitId;
     name: string;
     description?: string;
     description_visual_prompt?: string;
@@ -2695,6 +2768,23 @@ interface Trait {
      * Required for inline trait definitions within an orbital.
      */
     linkedEntity?: string;
+    /** V4 dual-carry id sibling of `linkedEntity` — optional until the Phase-7 flip. */
+    linkedEntityId?: EntityId;
+    /**
+     * V4 leverage-ids — id side-map for `@entity.<Name>` binding tokens + positional
+     * entity args (`fetch`/`ref`/`persist`/`spawn`) in this trait's guards/effects/
+     * ticks/listens. Maps the referenced entity NAME → its stable id, so readers
+     * resolve these bare-string positions by id (else name) and an entity rename never
+     * strands them — the coverage that lets the entity name-rewriter be deleted.
+     */
+    entityRefIds?: Record<string, EntityId>;
+    /**
+     * V4 leverage-ids — id side-map for `@trait.<Name>` embed tokens (render-ui embeds /
+     * effect-tree sibling refs). Maps the embed token NAME → the embedded trait's stable
+     * id, so readers splice embeds by id (else name) — the coverage that lets the
+     * `@trait.` name-rewriter be deleted.
+     */
+    traitEmbedIds?: Record<string, TraitId>;
     requiredFields?: RequiredField[];
     dataEntities?: TraitDataEntity[];
     stateMachine?: StateMachine;
@@ -2752,6 +2842,7 @@ interface SourceBehaviorMetadata {
     originalName: string;
 }
 declare const TraitSchema: z.ZodObject<{
+    id: z.ZodOptional<z.ZodEffects<z.ZodString, TraitId, string>>;
     name: z.ZodString;
     description: z.ZodOptional<z.ZodString>;
     description_visual_prompt: z.ZodOptional<z.ZodString>;
@@ -2772,41 +2863,26 @@ declare const TraitSchema: z.ZodObject<{
     capabilities: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     scope: z.ZodEnum<["instance", "collection"]>;
     linkedEntity: z.ZodOptional<z.ZodString>;
+    linkedEntityId: z.ZodOptional<z.ZodEffects<z.ZodString, EntityId, string>>;
+    entityRefIds: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodString, EntityId, string>>>;
+    traitEmbedIds: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodString, TraitId, string>>>;
     requiredFields: z.ZodOptional<z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         type: z.ZodEnum<["string", "number", "boolean", "date", "array", "object", "timestamp", "datetime", "enum"]>;
         description: z.ZodOptional<z.ZodString>;
     }, "strip", z.ZodTypeAny, {
-        type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
+        type: "string" | "number" | "boolean" | "object" | "date" | "array" | "timestamp" | "datetime" | "enum";
         name: string;
         description?: string | undefined;
     }, {
-        type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
+        type: "string" | "number" | "boolean" | "object" | "date" | "array" | "timestamp" | "datetime" | "enum";
         name: string;
         description?: string | undefined;
     }>, "many">>;
     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 +2890,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 +2899,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;
@@ -2871,49 +2935,32 @@ declare const TraitSchema: z.ZodObject<{
         }>, "many">;
         events: z.ZodArray<z.ZodObject<{
             key: z.ZodString;
+            id: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
             name: 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;
-                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, {
             name: string;
             key: string;
+            id?: EventId | undefined;
             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;
         }, {
             name: string;
             key: string;
+            id?: string | undefined;
             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">;
@@ -2921,6 +2968,7 @@ declare const TraitSchema: z.ZodObject<{
             from: z.ZodString;
             to: z.ZodString;
             event: z.ZodString;
+            eventId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
             guard: z.ZodOptional<z.ZodNullable<z.ZodType<SExpr, z.ZodTypeDef, SExpr>>>;
             effects: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodArray<z.ZodUnknown, "many">, unknown[], unknown[]>, "many">>;
             description: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -2929,6 +2977,7 @@ declare const TraitSchema: z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: EventId | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }, {
@@ -2936,6 +2985,7 @@ declare const TraitSchema: z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: string | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }>, "many">;
@@ -2956,14 +3006,11 @@ declare const TraitSchema: z.ZodObject<{
         events: {
             name: string;
             key: string;
+            id?: EventId | undefined;
             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;
         }[];
@@ -2981,6 +3028,7 @@ declare const TraitSchema: z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: EventId | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }[];
@@ -2993,14 +3041,11 @@ declare const TraitSchema: z.ZodObject<{
         events: {
             name: string;
             key: string;
+            id?: string | undefined;
             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;
         }[];
@@ -3018,6 +3063,7 @@ declare const TraitSchema: z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: string | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }[];
@@ -3035,9 +3081,11 @@ declare const TraitSchema: z.ZodObject<{
         interval: z.ZodUnion<[z.ZodLiteral<"frame">, z.ZodNumber]>;
         appliesTo: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         pages: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        pageIds: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, PageId, string>, "many">>;
         guard: z.ZodOptional<z.ZodType<SExpr, z.ZodTypeDef, SExpr>>;
         effects: z.ZodArray<z.ZodEffects<z.ZodArray<z.ZodUnknown, "many">, unknown[], unknown[]>, "many">;
         emits: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        emitIds: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, EventId, string>, "many">>;
     }, "strip", z.ZodTypeAny, {
         name: string;
         effects: unknown[][];
@@ -3047,7 +3095,9 @@ declare const TraitSchema: z.ZodObject<{
         guard?: SExpr | undefined;
         priority?: number | undefined;
         appliesTo?: string[] | undefined;
+        pageIds?: PageId[] | undefined;
         emits?: string[] | undefined;
+        emitIds?: EventId[] | undefined;
     }, {
         name: string;
         effects: unknown[][];
@@ -3057,7 +3107,9 @@ declare const TraitSchema: z.ZodObject<{
         guard?: SExpr | undefined;
         priority?: number | undefined;
         appliesTo?: string[] | undefined;
+        pageIds?: string[] | undefined;
         emits?: string[] | undefined;
+        emitIds?: string[] | undefined;
     }>, "many">>;
     emits: z.ZodOptional<z.ZodArray<z.ZodObject<{
         /**
@@ -3065,41 +3117,16 @@ 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;
+        eventId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
         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,30 +3134,22 @@ 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;
+        eventId?: EventId | 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;
+        eventId?: string | undefined;
     }>, "many">>;
     listens: z.ZodOptional<z.ZodArray<z.ZodObject<{
         event: z.ZodString;
+        eventId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
         triggers: z.ZodString;
+        triggersId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
         description: z.ZodOptional<z.ZodString>;
         synonyms: z.ZodOptional<z.ZodString>;
         tier: z.ZodOptional<z.ZodString>;
@@ -3146,24 +3165,33 @@ declare const TraitSchema: z.ZodObject<{
         }>, z.ZodObject<{
             kind: z.ZodLiteral<"trait">;
             trait: z.ZodString;
+            traitId: z.ZodOptional<z.ZodEffects<z.ZodString, TraitId, string>>;
         }, "strip", z.ZodTypeAny, {
             trait: string;
             kind: "trait";
+            traitId?: TraitId | undefined;
         }, {
             trait: string;
             kind: "trait";
+            traitId?: string | undefined;
         }>, z.ZodObject<{
             kind: z.ZodLiteral<"orbital">;
             orbital: z.ZodString;
             trait: z.ZodString;
+            orbitalId: z.ZodOptional<z.ZodEffects<z.ZodString, OrbitalId, string>>;
+            traitId: z.ZodOptional<z.ZodEffects<z.ZodString, TraitId, string>>;
         }, "strip", z.ZodTypeAny, {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: TraitId | undefined;
+            orbitalId?: OrbitalId | undefined;
         }, {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: string | undefined;
+            orbitalId?: string | undefined;
         }>]>>;
     }, "strip", z.ZodTypeAny, {
         event: string;
@@ -3175,14 +3203,19 @@ declare const TraitSchema: z.ZodObject<{
         } | {
             trait: string;
             kind: "trait";
+            traitId?: TraitId | undefined;
         } | {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: TraitId | undefined;
+            orbitalId?: OrbitalId | undefined;
         } | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
+        eventId?: EventId | undefined;
         guard?: SExpr | undefined;
+        triggersId?: EventId | undefined;
         payloadMapping?: Record<string, string> | undefined;
     }, {
         event: string;
@@ -3194,14 +3227,19 @@ declare const TraitSchema: z.ZodObject<{
         } | {
             trait: string;
             kind: "trait";
+            traitId?: string | undefined;
         } | {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: string | undefined;
+            orbitalId?: string | undefined;
         } | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
+        eventId?: string | undefined;
         guard?: SExpr | undefined;
+        triggersId?: string | undefined;
         payloadMapping?: Record<string, string> | undefined;
     }>, "many">>;
     ui: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
@@ -3299,6 +3337,7 @@ declare const TraitSchema: z.ZodObject<{
 }, "strip", z.ZodTypeAny, {
     name: string;
     scope: "collection" | "instance";
+    id?: TraitId | undefined;
     description?: string | undefined;
     ui?: Record<string, unknown> | undefined;
     category?: "validation" | "notification" | "lifecycle" | "temporal" | "integration" | "interaction" | "agent" | "game-core" | "game-character" | "game-ai" | "game-combat" | "game-items" | "game-cards" | "game-board" | "game-puzzle" | undefined;
@@ -3306,13 +3345,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;
@@ -3324,14 +3357,11 @@ declare const TraitSchema: z.ZodObject<{
         events: {
             name: string;
             key: string;
+            id?: EventId | undefined;
             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;
         }[];
@@ -3349,6 +3379,7 @@ declare const TraitSchema: z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: EventId | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }[];
@@ -3364,15 +3395,11 @@ 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;
+        eventId?: EventId | undefined;
     }[] | undefined;
     linkedEntity?: string | undefined;
+    linkedEntityId?: EntityId | undefined;
     listens?: {
         event: string;
         triggers: string;
@@ -3383,14 +3410,19 @@ declare const TraitSchema: z.ZodObject<{
         } | {
             trait: string;
             kind: "trait";
+            traitId?: TraitId | undefined;
         } | {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: TraitId | undefined;
+            orbitalId?: OrbitalId | undefined;
         } | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
+        eventId?: EventId | undefined;
         guard?: SExpr | undefined;
+        triggersId?: EventId | undefined;
         payloadMapping?: Record<string, string> | undefined;
     }[] | undefined;
     description_visual_prompt?: string | undefined;
@@ -3401,8 +3433,10 @@ declare const TraitSchema: z.ZodObject<{
     } | undefined;
     entityBindingDescription?: string | undefined;
     entityBindingSynonyms?: string | undefined;
+    entityRefIds?: Record<string, EntityId> | undefined;
+    traitEmbedIds?: Record<string, TraitId> | undefined;
     requiredFields?: {
-        type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
+        type: "string" | "number" | "boolean" | "object" | "date" | "array" | "timestamp" | "datetime" | "enum";
         name: string;
         description?: string | undefined;
     }[] | undefined;
@@ -3416,7 +3450,9 @@ declare const TraitSchema: z.ZodObject<{
         guard?: SExpr | undefined;
         priority?: number | undefined;
         appliesTo?: string[] | undefined;
+        pageIds?: PageId[] | undefined;
         emits?: string[] | undefined;
+        emitIds?: EventId[] | undefined;
     }[] | undefined;
     sourceBehavior?: {
         behavior: string;
@@ -3447,6 +3483,7 @@ declare const TraitSchema: z.ZodObject<{
 }, {
     name: string;
     scope: "collection" | "instance";
+    id?: string | undefined;
     description?: string | undefined;
     ui?: Record<string, unknown> | undefined;
     category?: "validation" | "notification" | "lifecycle" | "temporal" | "integration" | "interaction" | "agent" | "game-core" | "game-character" | "game-ai" | "game-combat" | "game-items" | "game-cards" | "game-board" | "game-puzzle" | undefined;
@@ -3454,13 +3491,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;
@@ -3472,14 +3503,11 @@ declare const TraitSchema: z.ZodObject<{
         events: {
             name: string;
             key: string;
+            id?: string | undefined;
             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;
         }[];
@@ -3497,6 +3525,7 @@ declare const TraitSchema: z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: string | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }[];
@@ -3512,15 +3541,11 @@ 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;
+        eventId?: string | undefined;
     }[] | undefined;
     linkedEntity?: string | undefined;
+    linkedEntityId?: string | undefined;
     listens?: {
         event: string;
         triggers: string;
@@ -3531,14 +3556,19 @@ declare const TraitSchema: z.ZodObject<{
         } | {
             trait: string;
             kind: "trait";
+            traitId?: string | undefined;
         } | {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: string | undefined;
+            orbitalId?: string | undefined;
         } | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
+        eventId?: string | undefined;
         guard?: SExpr | undefined;
+        triggersId?: string | undefined;
         payloadMapping?: Record<string, string> | undefined;
     }[] | undefined;
     description_visual_prompt?: string | undefined;
@@ -3549,8 +3579,10 @@ declare const TraitSchema: z.ZodObject<{
     } | undefined;
     entityBindingDescription?: string | undefined;
     entityBindingSynonyms?: string | undefined;
+    entityRefIds?: Record<string, string> | undefined;
+    traitEmbedIds?: Record<string, string> | undefined;
     requiredFields?: {
-        type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
+        type: "string" | "number" | "boolean" | "object" | "date" | "array" | "timestamp" | "datetime" | "enum";
         name: string;
         description?: string | undefined;
     }[] | undefined;
@@ -3564,7 +3596,9 @@ declare const TraitSchema: z.ZodObject<{
         guard?: SExpr | undefined;
         priority?: number | undefined;
         appliesTo?: string[] | undefined;
+        pageIds?: string[] | undefined;
         emits?: string[] | undefined;
+        emitIds?: string[] | undefined;
     }[] | undefined;
     sourceBehavior?: {
         behavior: string;
@@ -3612,6 +3646,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
     events?: Record<string, string> | undefined;
     linkedEntity?: string | undefined;
 }>, z.ZodObject<{
+    id: z.ZodOptional<z.ZodEffects<z.ZodString, TraitId, string>>;
     name: z.ZodString;
     description: z.ZodOptional<z.ZodString>;
     description_visual_prompt: z.ZodOptional<z.ZodString>;
@@ -3632,41 +3667,26 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
     capabilities: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     scope: z.ZodEnum<["instance", "collection"]>;
     linkedEntity: z.ZodOptional<z.ZodString>;
+    linkedEntityId: z.ZodOptional<z.ZodEffects<z.ZodString, EntityId, string>>;
+    entityRefIds: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodString, EntityId, string>>>;
+    traitEmbedIds: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodString, TraitId, string>>>;
     requiredFields: z.ZodOptional<z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         type: z.ZodEnum<["string", "number", "boolean", "date", "array", "object", "timestamp", "datetime", "enum"]>;
         description: z.ZodOptional<z.ZodString>;
     }, "strip", z.ZodTypeAny, {
-        type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
+        type: "string" | "number" | "boolean" | "object" | "date" | "array" | "timestamp" | "datetime" | "enum";
         name: string;
         description?: string | undefined;
     }, {
-        type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
+        type: "string" | "number" | "boolean" | "object" | "date" | "array" | "timestamp" | "datetime" | "enum";
         name: string;
         description?: string | undefined;
     }>, "many">>;
     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 +3694,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 +3703,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;
@@ -3731,49 +3739,32 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         }>, "many">;
         events: z.ZodArray<z.ZodObject<{
             key: z.ZodString;
+            id: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
             name: 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;
-                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, {
             name: string;
             key: string;
+            id?: EventId | undefined;
             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;
         }, {
             name: string;
             key: string;
+            id?: string | undefined;
             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">;
@@ -3781,6 +3772,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             from: z.ZodString;
             to: z.ZodString;
             event: z.ZodString;
+            eventId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
             guard: z.ZodOptional<z.ZodNullable<z.ZodType<SExpr, z.ZodTypeDef, SExpr>>>;
             effects: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodArray<z.ZodUnknown, "many">, unknown[], unknown[]>, "many">>;
             description: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -3789,6 +3781,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: EventId | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }, {
@@ -3796,6 +3789,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: string | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }>, "many">;
@@ -3816,14 +3810,11 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         events: {
             name: string;
             key: string;
+            id?: EventId | undefined;
             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;
         }[];
@@ -3841,6 +3832,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: EventId | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }[];
@@ -3853,14 +3845,11 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         events: {
             name: string;
             key: string;
+            id?: string | undefined;
             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;
         }[];
@@ -3878,6 +3867,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: string | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }[];
@@ -3895,9 +3885,11 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         interval: z.ZodUnion<[z.ZodLiteral<"frame">, z.ZodNumber]>;
         appliesTo: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         pages: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        pageIds: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, PageId, string>, "many">>;
         guard: z.ZodOptional<z.ZodType<SExpr, z.ZodTypeDef, SExpr>>;
         effects: z.ZodArray<z.ZodEffects<z.ZodArray<z.ZodUnknown, "many">, unknown[], unknown[]>, "many">;
         emits: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        emitIds: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, EventId, string>, "many">>;
     }, "strip", z.ZodTypeAny, {
         name: string;
         effects: unknown[][];
@@ -3907,7 +3899,9 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         guard?: SExpr | undefined;
         priority?: number | undefined;
         appliesTo?: string[] | undefined;
+        pageIds?: PageId[] | undefined;
         emits?: string[] | undefined;
+        emitIds?: EventId[] | undefined;
     }, {
         name: string;
         effects: unknown[][];
@@ -3917,7 +3911,9 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         guard?: SExpr | undefined;
         priority?: number | undefined;
         appliesTo?: string[] | undefined;
+        pageIds?: string[] | undefined;
         emits?: string[] | undefined;
+        emitIds?: string[] | undefined;
     }>, "many">>;
     emits: z.ZodOptional<z.ZodArray<z.ZodObject<{
         /**
@@ -3925,41 +3921,16 @@ 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;
+        eventId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
         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,30 +3938,22 @@ 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;
+        eventId?: EventId | 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;
+        eventId?: string | undefined;
     }>, "many">>;
     listens: z.ZodOptional<z.ZodArray<z.ZodObject<{
         event: z.ZodString;
+        eventId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
         triggers: z.ZodString;
+        triggersId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
         description: z.ZodOptional<z.ZodString>;
         synonyms: z.ZodOptional<z.ZodString>;
         tier: z.ZodOptional<z.ZodString>;
@@ -4006,24 +3969,33 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         }>, z.ZodObject<{
             kind: z.ZodLiteral<"trait">;
             trait: z.ZodString;
+            traitId: z.ZodOptional<z.ZodEffects<z.ZodString, TraitId, string>>;
         }, "strip", z.ZodTypeAny, {
             trait: string;
             kind: "trait";
+            traitId?: TraitId | undefined;
         }, {
             trait: string;
             kind: "trait";
+            traitId?: string | undefined;
         }>, z.ZodObject<{
             kind: z.ZodLiteral<"orbital">;
             orbital: z.ZodString;
             trait: z.ZodString;
+            orbitalId: z.ZodOptional<z.ZodEffects<z.ZodString, OrbitalId, string>>;
+            traitId: z.ZodOptional<z.ZodEffects<z.ZodString, TraitId, string>>;
         }, "strip", z.ZodTypeAny, {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: TraitId | undefined;
+            orbitalId?: OrbitalId | undefined;
         }, {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: string | undefined;
+            orbitalId?: string | undefined;
         }>]>>;
     }, "strip", z.ZodTypeAny, {
         event: string;
@@ -4035,14 +4007,19 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         } | {
             trait: string;
             kind: "trait";
+            traitId?: TraitId | undefined;
         } | {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: TraitId | undefined;
+            orbitalId?: OrbitalId | undefined;
         } | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
+        eventId?: EventId | undefined;
         guard?: SExpr | undefined;
+        triggersId?: EventId | undefined;
         payloadMapping?: Record<string, string> | undefined;
     }, {
         event: string;
@@ -4054,14 +4031,19 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         } | {
             trait: string;
             kind: "trait";
+            traitId?: string | undefined;
         } | {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: string | undefined;
+            orbitalId?: string | undefined;
         } | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
+        eventId?: string | undefined;
         guard?: SExpr | undefined;
+        triggersId?: string | undefined;
         payloadMapping?: Record<string, string> | undefined;
     }>, "many">>;
     ui: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
@@ -4159,6 +4141,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
 }, "strip", z.ZodTypeAny, {
     name: string;
     scope: "collection" | "instance";
+    id?: TraitId | undefined;
     description?: string | undefined;
     ui?: Record<string, unknown> | undefined;
     category?: "validation" | "notification" | "lifecycle" | "temporal" | "integration" | "interaction" | "agent" | "game-core" | "game-character" | "game-ai" | "game-combat" | "game-items" | "game-cards" | "game-board" | "game-puzzle" | undefined;
@@ -4166,13 +4149,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;
@@ -4184,14 +4161,11 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         events: {
             name: string;
             key: string;
+            id?: EventId | undefined;
             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;
         }[];
@@ -4209,6 +4183,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: EventId | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }[];
@@ -4224,15 +4199,11 @@ 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;
+        eventId?: EventId | undefined;
     }[] | undefined;
     linkedEntity?: string | undefined;
+    linkedEntityId?: EntityId | undefined;
     listens?: {
         event: string;
         triggers: string;
@@ -4243,14 +4214,19 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         } | {
             trait: string;
             kind: "trait";
+            traitId?: TraitId | undefined;
         } | {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: TraitId | undefined;
+            orbitalId?: OrbitalId | undefined;
         } | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
+        eventId?: EventId | undefined;
         guard?: SExpr | undefined;
+        triggersId?: EventId | undefined;
         payloadMapping?: Record<string, string> | undefined;
     }[] | undefined;
     description_visual_prompt?: string | undefined;
@@ -4261,8 +4237,10 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
     } | undefined;
     entityBindingDescription?: string | undefined;
     entityBindingSynonyms?: string | undefined;
+    entityRefIds?: Record<string, EntityId> | undefined;
+    traitEmbedIds?: Record<string, TraitId> | undefined;
     requiredFields?: {
-        type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
+        type: "string" | "number" | "boolean" | "object" | "date" | "array" | "timestamp" | "datetime" | "enum";
         name: string;
         description?: string | undefined;
     }[] | undefined;
@@ -4276,7 +4254,9 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         guard?: SExpr | undefined;
         priority?: number | undefined;
         appliesTo?: string[] | undefined;
+        pageIds?: PageId[] | undefined;
         emits?: string[] | undefined;
+        emitIds?: EventId[] | undefined;
     }[] | undefined;
     sourceBehavior?: {
         behavior: string;
@@ -4307,6 +4287,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
 }, {
     name: string;
     scope: "collection" | "instance";
+    id?: string | undefined;
     description?: string | undefined;
     ui?: Record<string, unknown> | undefined;
     category?: "validation" | "notification" | "lifecycle" | "temporal" | "integration" | "interaction" | "agent" | "game-core" | "game-character" | "game-ai" | "game-combat" | "game-items" | "game-cards" | "game-board" | "game-puzzle" | undefined;
@@ -4314,13 +4295,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;
@@ -4332,14 +4307,11 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         events: {
             name: string;
             key: string;
+            id?: string | undefined;
             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;
         }[];
@@ -4357,6 +4329,7 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: string | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }[];
@@ -4372,15 +4345,11 @@ 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;
+        eventId?: string | undefined;
     }[] | undefined;
     linkedEntity?: string | undefined;
+    linkedEntityId?: string | undefined;
     listens?: {
         event: string;
         triggers: string;
@@ -4391,14 +4360,19 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         } | {
             trait: string;
             kind: "trait";
+            traitId?: string | undefined;
         } | {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: string | undefined;
+            orbitalId?: string | undefined;
         } | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
+        eventId?: string | undefined;
         guard?: SExpr | undefined;
+        triggersId?: string | undefined;
         payloadMapping?: Record<string, string> | undefined;
     }[] | undefined;
     description_visual_prompt?: string | undefined;
@@ -4409,8 +4383,10 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
     } | undefined;
     entityBindingDescription?: string | undefined;
     entityBindingSynonyms?: string | undefined;
+    entityRefIds?: Record<string, string> | undefined;
+    traitEmbedIds?: Record<string, string> | undefined;
     requiredFields?: {
-        type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
+        type: "string" | "number" | "boolean" | "object" | "date" | "array" | "timestamp" | "datetime" | "enum";
         name: string;
         description?: string | undefined;
     }[] | undefined;
@@ -4424,7 +4400,9 @@ declare const TraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         guard?: SExpr | undefined;
         priority?: number | undefined;
         appliesTo?: string[] | undefined;
+        pageIds?: string[] | undefined;
         emits?: string[] | undefined;
+        emitIds?: string[] | undefined;
     }[] | undefined;
     sourceBehavior?: {
         behavior: string;
@@ -4542,6 +4520,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
     events?: Record<string, string> | undefined;
     linkedEntity?: string | undefined;
 }>, z.ZodObject<{
+    id: z.ZodOptional<z.ZodEffects<z.ZodString, TraitId, string>>;
     name: z.ZodString;
     description: z.ZodOptional<z.ZodString>;
     description_visual_prompt: z.ZodOptional<z.ZodString>;
@@ -4562,41 +4541,26 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
     capabilities: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
     scope: z.ZodEnum<["instance", "collection"]>;
     linkedEntity: z.ZodOptional<z.ZodString>;
+    linkedEntityId: z.ZodOptional<z.ZodEffects<z.ZodString, EntityId, string>>;
+    entityRefIds: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodString, EntityId, string>>>;
+    traitEmbedIds: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodEffects<z.ZodString, TraitId, string>>>;
     requiredFields: z.ZodOptional<z.ZodArray<z.ZodObject<{
         name: z.ZodString;
         type: z.ZodEnum<["string", "number", "boolean", "date", "array", "object", "timestamp", "datetime", "enum"]>;
         description: z.ZodOptional<z.ZodString>;
     }, "strip", z.ZodTypeAny, {
-        type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
+        type: "string" | "number" | "boolean" | "object" | "date" | "array" | "timestamp" | "datetime" | "enum";
         name: string;
         description?: string | undefined;
     }, {
-        type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
+        type: "string" | "number" | "boolean" | "object" | "date" | "array" | "timestamp" | "datetime" | "enum";
         name: string;
         description?: string | undefined;
     }>, "many">>;
     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 +4568,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 +4577,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;
@@ -4661,49 +4613,32 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         }>, "many">;
         events: z.ZodArray<z.ZodObject<{
             key: z.ZodString;
+            id: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
             name: 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;
-                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, {
             name: string;
             key: string;
+            id?: EventId | undefined;
             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;
         }, {
             name: string;
             key: string;
+            id?: string | undefined;
             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">;
@@ -4711,6 +4646,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             from: z.ZodString;
             to: z.ZodString;
             event: z.ZodString;
+            eventId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
             guard: z.ZodOptional<z.ZodNullable<z.ZodType<SExpr, z.ZodTypeDef, SExpr>>>;
             effects: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodArray<z.ZodUnknown, "many">, unknown[], unknown[]>, "many">>;
             description: z.ZodOptional<z.ZodNullable<z.ZodString>>;
@@ -4719,6 +4655,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: EventId | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }, {
@@ -4726,6 +4663,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: string | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }>, "many">;
@@ -4746,14 +4684,11 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         events: {
             name: string;
             key: string;
+            id?: EventId | undefined;
             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;
         }[];
@@ -4771,6 +4706,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: EventId | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }[];
@@ -4783,14 +4719,11 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         events: {
             name: string;
             key: string;
+            id?: string | undefined;
             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;
         }[];
@@ -4808,6 +4741,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: string | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }[];
@@ -4825,9 +4759,11 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         interval: z.ZodUnion<[z.ZodLiteral<"frame">, z.ZodNumber]>;
         appliesTo: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
         pages: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        pageIds: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, PageId, string>, "many">>;
         guard: z.ZodOptional<z.ZodType<SExpr, z.ZodTypeDef, SExpr>>;
         effects: z.ZodArray<z.ZodEffects<z.ZodArray<z.ZodUnknown, "many">, unknown[], unknown[]>, "many">;
         emits: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        emitIds: z.ZodOptional<z.ZodArray<z.ZodEffects<z.ZodString, EventId, string>, "many">>;
     }, "strip", z.ZodTypeAny, {
         name: string;
         effects: unknown[][];
@@ -4837,7 +4773,9 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         guard?: SExpr | undefined;
         priority?: number | undefined;
         appliesTo?: string[] | undefined;
+        pageIds?: PageId[] | undefined;
         emits?: string[] | undefined;
+        emitIds?: EventId[] | undefined;
     }, {
         name: string;
         effects: unknown[][];
@@ -4847,7 +4785,9 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         guard?: SExpr | undefined;
         priority?: number | undefined;
         appliesTo?: string[] | undefined;
+        pageIds?: string[] | undefined;
         emits?: string[] | undefined;
+        emitIds?: string[] | undefined;
     }>, "many">>;
     emits: z.ZodOptional<z.ZodArray<z.ZodObject<{
         /**
@@ -4855,41 +4795,16 @@ 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;
+        eventId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
         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,30 +4812,22 @@ 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;
+        eventId?: EventId | 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;
+        eventId?: string | undefined;
     }>, "many">>;
     listens: z.ZodOptional<z.ZodArray<z.ZodObject<{
         event: z.ZodString;
+        eventId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
         triggers: z.ZodString;
+        triggersId: z.ZodOptional<z.ZodEffects<z.ZodString, EventId, string>>;
         description: z.ZodOptional<z.ZodString>;
         synonyms: z.ZodOptional<z.ZodString>;
         tier: z.ZodOptional<z.ZodString>;
@@ -4936,24 +4843,33 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         }>, z.ZodObject<{
             kind: z.ZodLiteral<"trait">;
             trait: z.ZodString;
+            traitId: z.ZodOptional<z.ZodEffects<z.ZodString, TraitId, string>>;
         }, "strip", z.ZodTypeAny, {
             trait: string;
             kind: "trait";
+            traitId?: TraitId | undefined;
         }, {
             trait: string;
             kind: "trait";
+            traitId?: string | undefined;
         }>, z.ZodObject<{
             kind: z.ZodLiteral<"orbital">;
             orbital: z.ZodString;
             trait: z.ZodString;
+            orbitalId: z.ZodOptional<z.ZodEffects<z.ZodString, OrbitalId, string>>;
+            traitId: z.ZodOptional<z.ZodEffects<z.ZodString, TraitId, string>>;
         }, "strip", z.ZodTypeAny, {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: TraitId | undefined;
+            orbitalId?: OrbitalId | undefined;
         }, {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: string | undefined;
+            orbitalId?: string | undefined;
         }>]>>;
     }, "strip", z.ZodTypeAny, {
         event: string;
@@ -4965,14 +4881,19 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         } | {
             trait: string;
             kind: "trait";
+            traitId?: TraitId | undefined;
         } | {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: TraitId | undefined;
+            orbitalId?: OrbitalId | undefined;
         } | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
+        eventId?: EventId | undefined;
         guard?: SExpr | undefined;
+        triggersId?: EventId | undefined;
         payloadMapping?: Record<string, string> | undefined;
     }, {
         event: string;
@@ -4984,14 +4905,19 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         } | {
             trait: string;
             kind: "trait";
+            traitId?: string | undefined;
         } | {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: string | undefined;
+            orbitalId?: string | undefined;
         } | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
+        eventId?: string | undefined;
         guard?: SExpr | undefined;
+        triggersId?: string | undefined;
         payloadMapping?: Record<string, string> | undefined;
     }>, "many">>;
     ui: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
@@ -5089,6 +5015,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
 }, "strip", z.ZodTypeAny, {
     name: string;
     scope: "collection" | "instance";
+    id?: TraitId | undefined;
     description?: string | undefined;
     ui?: Record<string, unknown> | undefined;
     category?: "validation" | "notification" | "lifecycle" | "temporal" | "integration" | "interaction" | "agent" | "game-core" | "game-character" | "game-ai" | "game-combat" | "game-items" | "game-cards" | "game-board" | "game-puzzle" | undefined;
@@ -5096,13 +5023,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;
@@ -5114,14 +5035,11 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         events: {
             name: string;
             key: string;
+            id?: EventId | undefined;
             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;
         }[];
@@ -5139,6 +5057,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: EventId | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }[];
@@ -5154,15 +5073,11 @@ 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;
+        eventId?: EventId | undefined;
     }[] | undefined;
     linkedEntity?: string | undefined;
+    linkedEntityId?: EntityId | undefined;
     listens?: {
         event: string;
         triggers: string;
@@ -5173,14 +5088,19 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         } | {
             trait: string;
             kind: "trait";
+            traitId?: TraitId | undefined;
         } | {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: TraitId | undefined;
+            orbitalId?: OrbitalId | undefined;
         } | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
+        eventId?: EventId | undefined;
         guard?: SExpr | undefined;
+        triggersId?: EventId | undefined;
         payloadMapping?: Record<string, string> | undefined;
     }[] | undefined;
     description_visual_prompt?: string | undefined;
@@ -5191,8 +5111,10 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
     } | undefined;
     entityBindingDescription?: string | undefined;
     entityBindingSynonyms?: string | undefined;
+    entityRefIds?: Record<string, EntityId> | undefined;
+    traitEmbedIds?: Record<string, TraitId> | undefined;
     requiredFields?: {
-        type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
+        type: "string" | "number" | "boolean" | "object" | "date" | "array" | "timestamp" | "datetime" | "enum";
         name: string;
         description?: string | undefined;
     }[] | undefined;
@@ -5206,7 +5128,9 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         guard?: SExpr | undefined;
         priority?: number | undefined;
         appliesTo?: string[] | undefined;
+        pageIds?: PageId[] | undefined;
         emits?: string[] | undefined;
+        emitIds?: EventId[] | undefined;
     }[] | undefined;
     sourceBehavior?: {
         behavior: string;
@@ -5237,6 +5161,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
 }, {
     name: string;
     scope: "collection" | "instance";
+    id?: string | undefined;
     description?: string | undefined;
     ui?: Record<string, unknown> | undefined;
     category?: "validation" | "notification" | "lifecycle" | "temporal" | "integration" | "interaction" | "agent" | "game-core" | "game-character" | "game-ai" | "game-combat" | "game-items" | "game-cards" | "game-board" | "game-puzzle" | undefined;
@@ -5244,13 +5169,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;
@@ -5262,14 +5181,11 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         events: {
             name: string;
             key: string;
+            id?: string | undefined;
             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;
         }[];
@@ -5287,6 +5203,7 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
             from: string;
             to: string;
             description?: string | null | undefined;
+            eventId?: string | undefined;
             guard?: SExpr | undefined;
             effects?: unknown[][] | undefined;
         }[];
@@ -5302,15 +5219,11 @@ 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;
+        eventId?: string | undefined;
     }[] | undefined;
     linkedEntity?: string | undefined;
+    linkedEntityId?: string | undefined;
     listens?: {
         event: string;
         triggers: string;
@@ -5321,14 +5234,19 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         } | {
             trait: string;
             kind: "trait";
+            traitId?: string | undefined;
         } | {
+            orbital: string;
             trait: string;
             kind: "orbital";
-            orbital: string;
+            traitId?: string | undefined;
+            orbitalId?: string | undefined;
         } | undefined;
         scope?: "internal" | "external" | undefined;
         tier?: string | undefined;
+        eventId?: string | undefined;
         guard?: SExpr | undefined;
+        triggersId?: string | undefined;
         payloadMapping?: Record<string, string> | undefined;
     }[] | undefined;
     description_visual_prompt?: string | undefined;
@@ -5339,8 +5257,10 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
     } | undefined;
     entityBindingDescription?: string | undefined;
     entityBindingSynonyms?: string | undefined;
+    entityRefIds?: Record<string, string> | undefined;
+    traitEmbedIds?: Record<string, string> | undefined;
     requiredFields?: {
-        type: "string" | "number" | "boolean" | "object" | "date" | "timestamp" | "datetime" | "array" | "enum";
+        type: "string" | "number" | "boolean" | "object" | "date" | "array" | "timestamp" | "datetime" | "enum";
         name: string;
         description?: string | undefined;
     }[] | undefined;
@@ -5354,7 +5274,9 @@ declare const OrbitalTraitRefSchema: z.ZodUnion<[z.ZodString, z.ZodObject<{
         guard?: SExpr | undefined;
         priority?: number | undefined;
         appliesTo?: string[] | undefined;
+        pageIds?: string[] | undefined;
         emits?: string[] | undefined;
+        emitIds?: string[] | undefined;
     }[] | undefined;
     sourceBehavior?: {
         behavior: string;
@@ -5384,4 +5306,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, type TraitConfigValue 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, type ServiceRef as aA, type ServiceRefObject as aB, ServiceRefObjectSchema as aC, ServiceRefSchema as aD, ServiceRefStringSchema as aE, type ServiceType as aF, ServiceTypeSchema as aG, type SessionEffect as aH, type SetEffect as aI, type SocketEvents as aJ, SocketEventsSchema as aK, type SocketServiceDef as aL, SocketServiceDefSchema as aM, type SpawnEffect as aN, type StateInput as aO, type StateMachine as aP, type StateMachineInput as aQ, StateMachineSchema as aR, StateSchema as aS, type SwapEffect as aT, type TraceEffect as aU, type TrainConfig as aV, type TrainEffect as aW, type TraitCategory as aX, TraitCategorySchema as aY, type TraitConfigObject as aZ, TraitConfigSchema 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, REFERENCE_CONFIG_TYPES as ag, type RefEffect as ah, type ReferenceConfigType as ai, type RenderBinding as aj, type RenderChildrenMap as ak, type RenderItemLambda as al, type RenderUIEffect as am, type RenderUINode as an, type RequiredField as ao, RequiredFieldSchema as ap, type ResolvedPatternProps as aq, type RestAuthConfig as ar, RestAuthConfigSchema as as, type RestServiceDef as at, RestServiceDefSchema as au, SERVICE_TYPES as av, type ServiceDefinition as aw, ServiceDefinitionSchema as ax, type ServiceParams as ay, type ServiceParamsValue as az, type CallSiteConfigEntry as b, type TraitScope as b$, TraitConfigValueSchema as b0, type TraitDataEntity as b1, TraitDataEntitySchema as b2, type TraitEntityField as b3, TraitEntityFieldSchema as b4, type TraitEventContract as b5, TraitEventContractSchema as b6, TraitEventListenerSchema as b7, type TraitInput as b8, type TraitRef as b9, getTraitConfig as bA, getTraitName as bB, hasService as bC, isCallSiteConfigDeclaration as bD, isCircuitEvent as bE, isEffect as bF, isInlineTrait as bG, isMcpService as bH, isReferenceConfigType as bI, isRestService as bJ, isSExprEffect as bK, isServiceReference as bL, isServiceReferenceObject as bM, isSocketService as bN, navigate as bO, normalizeCallSiteConfigToValues as bP, normalizeTraitRef as bQ, notify as bR, parseServiceRef as bS, persist as bT, ref as bU, renderUI as bV, resolveConfigRefEventName as bW, set as bX, spawn as bY, swap as bZ, watch as b_, TraitRefSchema as ba, type TraitReferenceInput as bb, TraitReferenceSchema as bc, TraitSchema as bd, type TraitTick as be, TraitTickSchema as bf, type TraitUIBinding as bg, type Transition as bh, type TransitionInput as bi, TransitionSchema as bj, type TypedEffect as bk, type UISlot as bl, UISlotSchema as bm, UI_SLOTS as bn, type ValidateEffect as bo, type WatchEffect as bp, type WatchOptions as bq, atomic as br, callService as bs, configRefEventKnob as bt, deref as bu, despawn as bv, doEffects as bw, emit as bx, findService as by, getServiceNames 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 };