@prisma-next/sql-lane-query-builder 0.13.0 → 0.14.0-dev.1

package/dist/index.d.mts

@@ -1,4 +1,4 @@
-//#region ../../../1-framework/0-foundation/contract/dist/domain-envelope-OkWsysCY.d.mts
+//#region ../../../1-framework/0-foundation/contract/dist/domain-envelope-Bj-zQbVU.d.mts
 //#region src/namespace-id.d.ts
 type NamespaceId = string & {
   readonly __brand: 'NamespaceId';
@@ -16,31 +16,141 @@ interface CrossReference {
   readonly space?: string;
 }
 //#endregion
+//#region src/types.d.ts
+/**
+ * Unique symbol used as the key for branding types.
+ */
+declare const $: unique symbol;
+/**
+ * A helper type to brand a given type with a unique identifier.
+ *
+ * @template TKey Text used as the brand key.
+ * @template TValue Optional value associated with the brand key. Defaults to `true`.
+ */
+type Brand<TKey extends string | number | symbol, TValue = true> = {
+  [$]: { [K in TKey]: TValue };
+};
+/**
+ * Base type for storage contract hashes.
+ * Emitted contract.d.ts files use this with the hash value as a type parameter:
+ * `type StorageHash = StorageHashBase<'sha256:abc123...'>`
+ */
+type StorageHashBase<THash extends string> = THash & Brand<'StorageHash'>;
+/**
+ * Base type for execution contract hashes.
+ * Emitted contract.d.ts files use this with the hash value as a type parameter:
+ * `type ExecutionHash = ExecutionHashBase<'sha256:def456...'>`
+ */
+type ExecutionHashBase<THash extends string> = THash & Brand<'ExecutionHash'>;
+/**
+ * Base type for profile contract hashes.
+ * Emitted contract.d.ts files use this with the hash value as a type parameter:
+ * `type ProfileHash = ProfileHashBase<'sha256:def456...'>`
+ */
+type ProfileHashBase<THash extends string> = THash & Brand<'ProfileHash'>;
+/**
+ * One entity-kind slot in a namespace — a map of entity name to entry.
+ * Values are opaque at the foundation layer; family and target concretions
+ * refine them to typed IR classes.
+ */
+type StorageEntitySlot = Readonly<Record<string, unknown>>;
+/**
+ * Plain-data namespace entry in a storage block. Every hydrated contract
+ * carries at least `id` plus entity-kind slot maps under `entries`
+ * (`table`, `collection`, …). Foundation declares only this shape — no IR
+ * machinery.
+ */
+interface StorageNamespace {
+  readonly id: string;
+  readonly entries: Readonly<Record<string, StorageEntitySlot>>;
+}
+/**
+ * Base type for family-specific storage blocks.
+ * Family storage types (SqlStorage, MongoStorage, etc.) extend this to carry the
+ * storage hash alongside family-specific data (tables, collections, etc.).
+ *
+ * The `namespaces` map is carried by every hydrated storage block. Serialized
+ * envelope shape is target-owned; this types the in-memory contract after
+ * `deserializeContract`.
+ */
+interface StorageBase<THash extends string = string> {
+  readonly storageHash: StorageHashBase<THash>;
+  readonly namespaces: Readonly<Record<string, StorageNamespace>>;
+}
+type GeneratedValueSpec = {
+  readonly id: string;
+  readonly params?: Record<string, unknown>;
+};
+type JsonPrimitive = string | number | boolean | null;
+type JsonValue = JsonPrimitive | {
+  readonly [key: string]: JsonValue;
+} | readonly JsonValue[];
+type ColumnDefaultLiteralValue = JsonValue;
+type ColumnDefaultLiteralInputValue = ColumnDefaultLiteralValue | Date;
+/**
+ * Runtime predicate for `ColumnDefaultLiteralInputValue`. Authoring layers
+ * resolve template values from caller-supplied args (typed `unknown` at the
+ * boundary) and need to validate before constructing a `ColumnDefault`.
+ * Accepts JSON primitives, plain arrays/objects of JSON values, and `Date`
+ * instances. Rejects functions, class instances (other than `Date`),
+ * `undefined`, `bigint`, `symbol`, and arrays/objects containing those.
+ */
+type ColumnDefault = {
+  readonly kind: 'literal';
+  readonly value: ColumnDefaultLiteralInputValue;
+} | {
+  readonly kind: 'function';
+  readonly expression: string;
+};
+type ExecutionMutationDefaultValue = {
+  readonly kind: 'generator';
+  readonly id: GeneratedValueSpec['id'];
+  readonly params?: Record<string, unknown>;
+};
+type ExecutionMutationDefault = {
+  readonly ref: {
+    readonly namespace: string;
+    readonly table: string;
+    readonly column: string;
+  };
+  readonly onCreate?: ExecutionMutationDefaultValue;
+  readonly onUpdate?: ExecutionMutationDefaultValue;
+};
+/**
+ * `ExecutionMutationDefault` minus its `ref` — the per-field phases value
+ * authoring layers attach to a column before the column ref is known.
+ */
+//#endregion
 //#region src/value-set-ref.d.ts
 /**
- * Space-aware reference coordinate for a domain enum or storage value-set.
+ * Entity coordinate for a domain enum or storage value-set reference.
  *
- * `plane` names the contract plane the referenced entity lives in:
- * - `'domain'` — the entity lives in the domain plane's `enum` slot.
- * - `'storage'` — the entity lives in the storage plane's `valueSet` slot.
+ * Field-name identity with the framework's `EntityCoordinate` type
+ * (packages/1-framework/1-core/framework-components/src/ir/storage.ts).
+ * Foundation-contract cannot import framework-components (dependency points
+ * the other way), so this is a standalone mirror of that shape plus the
+ * cross-space discriminator.
  *
- * `entityKind` names the source entity-kind:
- * - `'enum'` — the referenced entity is a domain enum.
- * - `'value-set'` — the referenced entity is a storage value-set.
+ * One-vocabulary rule (ADR 224): `entityKind` is equal to the entries slot
+ * key the referenced entity lives under — `'enum'` for domain's `enum` slot,
+ * `'valueSet'` for storage's `entries.valueSet` slot. No consumer-side
+ * translation between the kind string and the slot key.
  *
- * `namespaceId` admits the `UNBOUND_NAMESPACE_ID` (`__unbound__`) sentinel for
- * single-namespace (unbound) references.
+ * Every `valueSet` reference is intra-plane (domain field → domain enum;
+ * storage column/check → storage value-set). The directional invariant:
+ * domain may reference storage; storage may never reference domain.
  *
- * Cross-space discrimination is presence-based: when `spaceId` is absent the
- * reference is local (same contract-space); when `spaceId` is present the
- * reference is cross-space. This mirrors the `ForeignKeyReference` carrier
- * convention — no separate tag field — so local refs are JSON-minimal.
+ * `namespaceId` admits the `UNBOUND_NAMESPACE_ID` (`__unbound__`) sentinel
+ * for single-namespace (unbound) references.
+ *
+ * `spaceId` is the cross-space discriminator: absent ⇒ local (same
+ * contract-space); present ⇒ cross-space. No separate tag field.
  */
 interface ValueSetRef {
   readonly plane: 'domain' | 'storage';
   readonly namespaceId: string;
-  readonly entityKind: 'enum' | 'value-set';
-  readonly name: string;
+  readonly entityKind: 'enum' | 'valueSet';
+  readonly entityName: string;
   readonly spaceId?: string;
 } //#endregion
 //#region src/domain-types.d.ts
@@ -74,7 +184,7 @@ type ContractEnum = {
   readonly codecId: string;
   readonly members: readonly {
     readonly name: string;
-    readonly value: string;
+    readonly value: JsonValue;
   }[];
 };
 type ContractRelationOn = {
@@ -131,8 +241,8 @@ interface ContractModelBase<TModelStorage extends ModelStorageBase = ModelStorag
  * One namespace's application-domain entities — models and optional value
  * objects keyed by entity name within that namespace coordinate.
  */
-interface ApplicationDomainNamespace<TModels extends Record<string, ContractModelBase> = Record<string, ContractModelBase>> {
-  readonly models: TModels;
+interface ApplicationDomainNamespace {
+  readonly models: Record<string, ContractModelBase>;
   readonly valueObjects?: Record<string, ContractValueObject>;
   readonly enum?: Record<string, ContractEnum>;
 }
@@ -140,11 +250,11 @@ interface ApplicationDomainNamespace<TModels extends Record<string, ContractMode
  * Application-domain envelope: entity content keyed by namespace id.
  * Mirrors the storage plane's `namespaces` segment (ADR 221).
  */
-interface ApplicationDomain<TModels extends Record<string, ContractModelBase> = Record<string, ContractModelBase>> {
-  readonly namespaces: Readonly<Record<string, ApplicationDomainNamespace<TModels>>>;
+interface ApplicationDomain {
+  readonly namespaces: Readonly<Record<string, ApplicationDomainNamespace>>;
 }
 //#endregion
-//#region ../../../1-framework/0-foundation/contract/dist/contract-types-CBbD-VV1.d.mts
+//#region ../../../1-framework/0-foundation/contract/dist/contract-types-DrjCtVOs.d.mts
 //#region src/control-policy.d.ts
 /**
  * Governance posture for a storage-plane node or for the contract as a whole.
@@ -165,110 +275,6 @@ type ControlPolicy = 'managed' | 'tolerated' | 'external' | 'observed';
  * and can be called by any consumer (verifier, planner, etc.) without importing IR classes.
  */
 //#endregion
-//#region src/types.d.ts
-/**
- * Unique symbol used as the key for branding types.
- */
-declare const $: unique symbol;
-/**
- * A helper type to brand a given type with a unique identifier.
- *
- * @template TKey Text used as the brand key.
- * @template TValue Optional value associated with the brand key. Defaults to `true`.
- */
-type Brand<TKey extends string | number | symbol, TValue = true> = {
-  [$]: { [K in TKey]: TValue };
-};
-/**
- * Base type for storage contract hashes.
- * Emitted contract.d.ts files use this with the hash value as a type parameter:
- * `type StorageHash = StorageHashBase<'sha256:abc123...'>`
- */
-type StorageHashBase<THash extends string> = THash & Brand<'StorageHash'>;
-/**
- * Base type for execution contract hashes.
- * Emitted contract.d.ts files use this with the hash value as a type parameter:
- * `type ExecutionHash = ExecutionHashBase<'sha256:def456...'>`
- */
-type ExecutionHashBase<THash extends string> = THash & Brand<'ExecutionHash'>;
-/**
- * Base type for profile contract hashes.
- * Emitted contract.d.ts files use this with the hash value as a type parameter:
- * `type ProfileHash = ProfileHashBase<'sha256:def456...'>`
- */
-type ProfileHashBase<THash extends string> = THash & Brand<'ProfileHash'>;
-/**
- * One entity-kind slot in a namespace — a map of entity name to entry.
- * Values are opaque at the foundation layer; family and target concretions
- * refine them to typed IR classes.
- */
-type StorageEntitySlot = Readonly<Record<string, unknown>>;
-/**
- * Plain-data namespace entry in a storage block. Every hydrated contract
- * carries at least `id` plus entity-kind slot maps under `entries`
- * (`table`, `collection`, …). Foundation declares only this shape — no IR
- * machinery.
- */
-interface StorageNamespace {
-  readonly id: string;
-  readonly entries: Readonly<Record<string, StorageEntitySlot>>;
-}
-/**
- * Base type for family-specific storage blocks.
- * Family storage types (SqlStorage, MongoStorage, etc.) extend this to carry the
- * storage hash alongside family-specific data (tables, collections, etc.).
- *
- * The `namespaces` map is carried by every hydrated storage block. Serialized
- * envelope shape is target-owned; this types the in-memory contract after
- * `deserializeContract`.
- */
-interface StorageBase<THash extends string = string> {
-  readonly storageHash: StorageHashBase<THash>;
-  readonly namespaces: Readonly<Record<string, StorageNamespace>>;
-}
-type GeneratedValueSpec = {
-  readonly id: string;
-  readonly params?: Record<string, unknown>;
-};
-type JsonPrimitive = string | number | boolean | null;
-type JsonValue = JsonPrimitive | {
-  readonly [key: string]: JsonValue;
-} | readonly JsonValue[];
-type ColumnDefaultLiteralValue = JsonValue;
-type ColumnDefaultLiteralInputValue = ColumnDefaultLiteralValue | Date;
-/**
- * Runtime predicate for `ColumnDefaultLiteralInputValue`. Authoring layers
- * resolve template values from caller-supplied args (typed `unknown` at the
- * boundary) and need to validate before constructing a `ColumnDefault`.
- * Accepts JSON primitives, plain arrays/objects of JSON values, and `Date`
- * instances. Rejects functions, class instances (other than `Date`),
- * `undefined`, `bigint`, `symbol`, and arrays/objects containing those.
- */
-type ColumnDefault = {
-  readonly kind: 'literal';
-  readonly value: ColumnDefaultLiteralInputValue;
-} | {
-  readonly kind: 'function';
-  readonly expression: string;
-};
-type ExecutionMutationDefaultValue = {
-  readonly kind: 'generator';
-  readonly id: GeneratedValueSpec['id'];
-  readonly params?: Record<string, unknown>;
-};
-type ExecutionMutationDefault = {
-  readonly ref: {
-    readonly table: string;
-    readonly column: string;
-  };
-  readonly onCreate?: ExecutionMutationDefaultValue;
-  readonly onUpdate?: ExecutionMutationDefaultValue;
-};
-/**
- * `ExecutionMutationDefault` minus its `ref` — the per-field phases value
- * authoring layers attach to a column before the column ref is known.
- */
-//#endregion
 //#region src/contract-types.d.ts
 /**
  * Execution section for the unified contract (ADR 182).
@@ -297,18 +303,15 @@ type ContractExecutionSection<THash extends string = string> = {
  * here — they are handled at the serialization boundary.
  *
  * @template TStorage  Family-specific storage block (extends {@link StorageBase}).
- * @template TModels   Record of model name → {@link ContractModel} with
- *                     family-specific model storage.
  */
-interface Contract<TStorage extends StorageBase = StorageBase, TModels extends Record<string, ContractModelBase> = Record<string, ContractModelBase>> {
+interface Contract<TStorage extends StorageBase = StorageBase> {
   readonly target: string;
   readonly targetFamily: string;
   readonly roots: Record<string, CrossReference>;
   /**
    * Application plane (ADR 221): `domain.namespaces.<nsId>.{ models, valueObjects }`.
-   * `TModels` types the union of model entries across namespaces for family DSL inference.
    */
-  readonly domain: ApplicationDomain<TModels>;
+  readonly domain: ApplicationDomain;
   readonly storage: TStorage;
   readonly capabilities: Record<string, Record<string, boolean>>;
   readonly extensionPacks: Record<string, unknown>;
@@ -317,7 +320,6 @@ interface Contract<TStorage extends StorageBase = StorageBase, TModels extends R
   readonly meta: Record<string, unknown>;
   readonly defaultControlPolicy?: ControlPolicy;
 }
-/** Model definitions union carried on a {@link Contract}'s `TModels` type parameter. */
 //#endregion
 //#region src/type-errors.d.ts
 /**
@@ -479,7 +481,7 @@ interface Namespace extends IRNode, StorageNamespace {
  * is honest at every layer.
  *
  * Extends `IRNode` so the framework's IR-walking surfaces (verifiers,
- * serializers) can dispatch on `Storage`-typed slots through the same
+ * serializers) can dispatch on `Storage`-typed fields through the same
  * IR-node alphabet as every other node — the structural dual already
  * holds in code (every concrete storage class extends an IR-node base);
  * the interface promotion makes the typing honest.
@@ -649,7 +651,7 @@ declare class ForeignKey extends SqlNode {
   constructor(input: ForeignKeyInput);
 } //#endregion
 //#endregion
-//#region ../../1-core/contract/dist/sql-storage-CXf9xjAL.d.mts
+//#region ../../1-core/contract/dist/storage-value-set-WnYsIFM8.d.mts
 //#region src/ir/check-constraint.d.ts
 /**
  * Hydration / construction input shape for {@link CheckConstraint}.
@@ -806,6 +808,42 @@ declare class StorageTable extends SqlNode {
   readonly checks?: ReadonlyArray<CheckConstraint>;
   constructor(input: StorageTableInput);
 } //#endregion
+//#region src/ir/storage-value-set.d.ts
+/**
+ * Hydration / construction input shape for {@link StorageValueSet}.
+ * Mirrors the on-disk storage JSON envelope so the serializer hydration
+ * walker can hand a validated literal straight to `new`.
+ */
+interface StorageValueSetInput {
+  readonly kind: 'valueSet';
+  /** Ordered permitted values, codec-encoded. Declaration order is preserved. */
+  readonly values: readonly JsonValue[];
+}
+/**
+ * SQL Contract IR node for a value-set entry in a namespace's `valueSet`
+ * map (`SqlNamespace.entries.valueSet`).
+ *
+ * A value-set records the ordered set of permitted codec-encoded values for
+ * an enum-like column restriction. It does not carry a `codecId` — the
+ * column that references it already holds the codec; the value-set holds
+ * only the permitted values.
+ *
+ * The node's `kind` is enumerable (`'valueSet'`) so the JSON envelope
+ * carries the discriminator and the serializer hydration walker can
+ * dispatch on it. This follows the per-leaf enumerable-kind convention
+ * established in the SQL-node comment (future polymorphic dispatch on
+ * namespace entries needs the discriminator in JSON).
+ *
+ * The entry's name is not on the class — value-sets are keyed by name in
+ * the parent namespace's `valueSet: Record<string, StorageValueSet>` map.
+ */
+declare class StorageValueSet extends SqlNode {
+  readonly kind: "valueSet";
+  readonly values: readonly JsonValue[];
+  constructor(input: StorageValueSetInput);
+} //#endregion
+//#endregion
+//#region ../../1-core/contract/dist/sql-storage-Dga0jwP2.d.mts
 //#region src/ir/storage-type-instance.d.ts
 /**
  * Sentinel kind for the legacy codec-triple shape persisted under
@@ -820,8 +858,8 @@ declare const CODEC_INSTANCE_KIND: "codec-instance";
  * in `SqlStorage.types`. These are plain object literals — there is no
  * runtime IR class, the JSON envelope round-trips through the slot
  * unchanged. The `kind: 'codec-instance'` discriminator is the dispatch
- * key that distinguishes codec-typed entries from class-instance entries
- * (e.g. `PostgresEnumType`) sharing the polymorphic slot.
+ * key that distinguishes codec-typed entries from any class-instance
+ * kinds a target pack contributes to the polymorphic slot.
  */
 interface StorageTypeInstance extends StorageType {
   readonly kind: typeof CODEC_INSTANCE_KIND;
@@ -847,40 +885,6 @@ interface StorageTypeInstanceInput {
  * passes through unchanged. Missing `typeParams` is normalised to `{}`.
  */
 //#endregion
-//#region src/ir/storage-value-set.d.ts
-/**
- * Hydration / construction input shape for {@link StorageValueSet}.
- * Mirrors the on-disk storage JSON envelope so the serializer hydration
- * walker can hand a validated literal straight to `new`.
- */
-interface StorageValueSetInput {
-  readonly kind: 'value-set';
-  /** Ordered permitted values, codec-encoded. Declaration order is preserved. */
-  readonly values: readonly string[];
-}
-/**
- * SQL Contract IR node for a value-set entry in a namespace's `valueSet`
- * map (`SqlNamespace.entries.valueSet`).
- *
- * A value-set records the ordered set of permitted codec-encoded values for
- * an enum-like column restriction. It does not carry a `codecId` — the
- * column that references it already holds the codec; the value-set holds
- * only the permitted values.
- *
- * The node's `kind` is enumerable (`'value-set'`) so the JSON envelope
- * carries the discriminator and the serializer hydration walker can
- * dispatch on it. This follows the per-leaf enumerable-kind convention
- * established in the SQL-node comment (future polymorphic dispatch on
- * namespace entries needs the discriminator in JSON).
- *
- * The entry's name is not on the class — value-sets are keyed by name in
- * the parent namespace's `valueSet: Record<string, StorageValueSet>` map.
- */
-declare class StorageValueSet extends SqlNode {
-  readonly kind: "value-set";
-  readonly values: readonly string[];
-  constructor(input: StorageValueSetInput);
-} //#endregion
 //#region src/ir/sql-storage.d.ts
 /**
  * Polymorphic value type for document-scoped `SqlStorage.types` entries
@@ -916,11 +920,25 @@ interface SqlStorageInput<THash extends string = string> {
  * the per-target serializer's responsibility (so the family base does
  * not import target-specific subclasses).
  */
+/**
+ * The typed `entries` shape for SQL family namespaces. The open dictionary
+ * is intersected with optional known-kind maps so that `ns.entries.table`
+ * and `ns.entries.valueSet` resolve without a cast, while unknown pack-
+ * contributed kinds remain valid (the `Record` part allows any string key).
+ */
+type SqlNamespaceEntries = Readonly<Record<string, Readonly<Record<string, unknown>>>> & {
+  readonly table?: Readonly<Record<string, StorageTable>>;
+  readonly valueSet?: Readonly<Record<string, StorageValueSet>>;
+};
+/**
+ * SQL family namespace. `entries` is the open ADR 224 dictionary —
+ * `entries[entityKind][entityName]` addresses any entity. Emitted
+ * contract literals satisfy this structurally (no prototype getters
+ * needed). For typed access to specific kinds, use the class getters
+ * on the concretion or `ns.entries.table` / `ns.entries.valueSet` directly.
+ */
 type SqlNamespace = Namespace & {
-  readonly entries: Readonly<{
-    readonly table: Readonly<Record<string, StorageTable>>;
-    readonly valueSet?: Readonly<Record<string, StorageValueSet>>;
-  }>;
+  readonly entries: SqlNamespaceEntries;
   /**
    * Render a dialect-qualified table reference for runtime SQL emission.
    * Present on materialised target concretions (`PostgresSchema`,
@@ -934,9 +952,10 @@ declare class SqlStorage<THash extends string = string> extends SqlNode implemen
   readonly namespaces: Readonly<Record<string, SqlNamespace>>;
   readonly types?: Readonly<Record<string, StorageTypeInstance>>;
   constructor(input: SqlStorageInput<THash>);
-}
+} //#endregion
 //#endregion
-//#region ../../1-core/contract/dist/types-DEnWD3xB.d.mts
+//#region ../../1-core/contract/dist/types-B1N8w0I2.d.mts
+type NamespacedFieldTypeMap = Record<string, Record<string, Record<string, unknown>>>;
 type CodecTypesOf<T> = [T] extends [never] ? Record<string, never> : T extends {
   readonly codecTypes: infer C;
 } ? C extends Record<string, {
@@ -951,25 +970,37 @@ type CodecTypesOf<T> = [T] extends [never] ? Record<string, never> : T extends {
  */
 type TypeMapsPhantomKey = '__@prisma-next/sql-contract/typeMaps@__';
 type ExtractTypeMapsFromContract<T> = TypeMapsPhantomKey extends keyof T ? NonNullable<T[TypeMapsPhantomKey & keyof T]> : never;
+type FieldOutputTypesOf<T> = [T] extends [never] ? Record<string, never> : T extends {
+  readonly fieldOutputTypes: infer F;
+} ? F extends NamespacedFieldTypeMap ? F : Record<string, never> : Record<string, never>;
 type ExtractCodecTypes<T> = CodecTypesOf<ExtractTypeMapsFromContract<T>>;
+type ExtractFieldOutputTypes<T> = FieldOutputTypesOf<ExtractTypeMapsFromContract<T>>;
 //#endregion
-//#region ../sql-builder/dist/db-CeOCQldG.d.mts
+//#region ../sql-builder/dist/db-BS_UG1Si.d.mts
 //#endregion
 //#region src/types/db.d.ts
 type CapabilitiesBase = Record<string, Record<string, boolean>>;
+type NamespaceEntries = Readonly<Record<string, Readonly<Record<string, unknown>>>>;
+type NamespaceDomain = Readonly<Record<string, {
+  readonly models: Readonly<Record<string, unknown>>;
+}>>;
 type TableProxyContract = {
+  readonly domain: {
+    readonly namespaces: NamespaceDomain;
+  };
   readonly storage: {
     readonly namespaces: Readonly<Record<string, {
-      readonly entries: {
-        readonly table: Readonly<Record<string, StorageTable>>;
-      };
+      readonly entries: NamespaceEntries;
     }>>;
   };
   readonly capabilities: CapabilitiesBase;
 };
+type TablesInNamespace<NS extends {
+  readonly entries: NamespaceEntries;
+}> = NS['entries']['table'] extends Readonly<Record<string, StorageTable>> ? NS['entries']['table'] : Readonly<Record<string, StorageTable>>;
 type UnboundTables$1<C extends TableProxyContract> = { readonly [Name in TableNamesAcrossNamespaces<C>]: TableInAnyNamespace<C, Name> };
-type TableNamesAcrossNamespaces<C extends TableProxyContract> = { [NSId in keyof C['storage']['namespaces']]: keyof C['storage']['namespaces'][NSId]['entries']['table'] & string }[keyof C['storage']['namespaces']];
-type TableInAnyNamespace<C extends TableProxyContract, Name extends string> = { [NSId in keyof C['storage']['namespaces']]: Name extends keyof C['storage']['namespaces'][NSId]['entries']['table'] ? C['storage']['namespaces'][NSId]['entries']['table'][Name] : never }[keyof C['storage']['namespaces']];
+type TableNamesAcrossNamespaces<C extends TableProxyContract> = { [NSId in keyof C['storage']['namespaces']]: keyof TablesInNamespace<C['storage']['namespaces'][NSId]> & string }[keyof C['storage']['namespaces']];
+type TableInAnyNamespace<C extends TableProxyContract, Name extends string> = { [NSId in keyof C['storage']['namespaces']]: Name extends keyof TablesInNamespace<C['storage']['namespaces'][NSId]> ? TablesInNamespace<C['storage']['namespaces'][NSId]>[Name] : never }[keyof C['storage']['namespaces']];
 //#endregion
 //#region src/type-atoms.d.ts
 /**
@@ -1012,14 +1043,31 @@ type Simplify<TObject extends object> = DrainOuterGeneric<{ [K in keyof TObject]
  */
 type UnboundTables<TContract extends Contract<SqlStorage>> = UnboundTables$1<TContract & TableProxyContract>;
 /**
- * A utility type to extract the output type of a referenced column from a contract.
- * Uses the type-only codec channel (ExtractCodecTypes), not runtime mappings.
+ * The field-output override (the enum value union) for a `table.column`, or
+ * `never` when no model field maps to it. The emitted `FieldOutputTypes`
+ * TypeMap is keyed by model/field, so one pass over the models matches both the
+ * `storage.table` and the field's `storage.fields[*].column` to read the
+ * already-narrowed type back out.
+ */
+type FieldOutputOverride<TContract extends Contract, TTableName extends string, TColumnName extends string, Models = TContract['domain']['namespaces'][keyof TContract['domain']['namespaces']]['models'], FOT = ExtractFieldOutputTypes<TContract>> = { [M in keyof Models & keyof FOT & string]: Models[M] extends {
+  readonly storage: {
+    readonly table: TTableName;
+    readonly fields: infer Fields;
+  };
+} ? { [F in keyof Fields & keyof FOT[M] & string]: Fields[F] extends {
+  readonly column: TColumnName;
+} ? FOT[M][F] : never }[keyof Fields & keyof FOT[M] & string] : never }[keyof Models & keyof FOT & string];
+/**
+ * The output type of a referenced column. Returns the enum value union from the
+ * `FieldOutputTypes` TypeMap when the column is enum-typed (the override already
+ * carries the correct nullability), otherwise the codec output type with column
+ * nullability applied.
  *
  * @template TContract The contract that describes the database.
  * @template TTableName The name of the table containing the column.
  * @template TColumnName The name of the column whose output type is to be extracted.
  */
-type ExtractOutputType<TContract extends Contract<SqlStorage>, TTableName extends keyof UnboundTables<TContract> & string, TColumnName extends keyof UnboundTables<TContract>[TTableName]['columns'] & string, _TColumn = UnboundTables<TContract>[TTableName]['columns'][TColumnName]> = _TColumn extends StorageColumn ? (_TColumn['nullable'] extends true ? null : never) | ExtractCodecTypes<TContract>[_TColumn['codecId']]['output'] : never;
+type ExtractOutputType<TContract extends Contract<SqlStorage>, TTableName extends keyof UnboundTables<TContract> & string, TColumnName extends keyof UnboundTables<TContract>[TTableName]['columns'] & string, _TColumn = UnboundTables<TContract>[TTableName]['columns'][TColumnName]> = [FieldOutputOverride<TContract, TTableName, TColumnName>] extends [never] ? _TColumn extends StorageColumn ? (_TColumn['nullable'] extends true ? null : never) | ExtractCodecTypes<TContract>[_TColumn['codecId']]['output'] : never : FieldOutputOverride<TContract, TTableName, TColumnName>;
 /**
  * A type representing a selection of columns in a SQL `select` query in the
  * most generic form.

package/dist/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","names":["__brand","value","NamespaceId","namespace","model","space","ObjectType","CrossReference","plane","namespaceId","entityKind","name","spaceId","kind","codecId","typeParams","Record","members","ReadonlyArray","ScalarFieldType","ValueObjectFieldType","UnionFieldType","nullable","type","ContractFieldType","many","dict","valueSet","ValueSetRef","localFields","targetFields","table","parentColumns","childColumns","targetColumns","to","cardinality","on","ContractRelationOn","through","ContractRelationThrough","ContractManyToManyRelation","ContractNonJunctionRelation","ContractReferenceRelation","ContractEmbedRelation","field","fields","ContractField","Readonly","TModelStorage","ModelStorageBase","relations","ContractRelation","storage","discriminator","ContractDiscriminator","variants","ContractVariantEntry","base","owner","ContractModelBase","TModels","ModelName","K","models","valueObjects","ContractValueObject","enum","ContractEnum","namespaces","ApplicationDomainNamespace","domain","ApplicationDomain","ControlPolicy","nodeControl","defaultControlPolicy","TKey","TValue","$","K","THash","Brand","T","value","ExecutionHashBase","StorageHashBase","ProfileHashBase","Readonly","Record","id","entries","StorageEntitySlot","storageHash","namespaces","StorageNamespace","type","nullable","items","FieldType","properties","params","JsonPrimitive","key","JsonValue","ColumnDefaultLiteralValue","Date","ColumnDefaultLiteralInputValue","kind","expression","ColumnDefault","GeneratedValueSpec","ExecutionMutationDefaultValue","ref","table","column","onCreate","onUpdate","Omit","ExecutionMutationDefault","executionHash","mutations","defaults","ReadonlyArray","readOnly","projection","origin","capabilities","name","keys","unique","where","Expr","path","strategy","fields","indexes","DocIndex","target","targetFamily","profileHash","lane","annotations","contractJson","canonicalVersion","updatedAt","appTag","meta","invariants","space","migrationName","migrationHash","from","to","appliedAt","operationCount","TStorage","StorageBase","TModels","ContractModelBase","roots","CrossReference","domain","ApplicationDomain","storage","extensionPacks","execution","ContractExecutionSection","TContract","Contract","Only","TNamespace","valueObjects","VO","ContractValueObject","NamespaceValueObjectsOf","ExactlyOneNamespace","Projected","kind","IRNode","T","node","StorageNamespace","entries","Readonly","Record","IRNodeBase","Namespace","id","plane","namespaceId","entityKind","entityName","Pick","StorageBase","storage","Generator","EntityCoordinate","namespaces","ApplicationDomain","domain","IRNodeBase","kind","constructor","namespaceId","tableName","columns","spaceId","SqlNode","NamespaceId","ForeignKeyReferenceInput","input","source","ForeignKeyReference","target","name","onDelete","ReferentialAction","onUpdate","constraint","index","ForeignKeyInput","name","column","valueSet","ValueSetRef","SqlNode","constructor","CheckConstraintInput","input","columns","PrimaryKeyInput","type","options","Record","IndexInput","nativeType","codecId","nullable","typeParams","typeRef","default","ColumnDefault","control","ControlPolicy","StorageColumnInput","UniqueConstraintInput","StorageColumn","primaryKey","PrimaryKey","uniques","ReadonlyArray","UniqueConstraint","indexes","Index","foreignKeys","ForeignKey","ForeignKeyInput","checks","CheckConstraint","Readonly","StorageTableInput","StorageType","kind","CODEC_INSTANCE_KIND","StorageTypeInstanceInput","StorageTypeInstance","value","values","StorageValueSetInput","id","entries","table","StorageTable","StorageValueSet","THash","storageHash","StorageHashBase","types","SqlStorageTypeEntry","namespaces","SqlNamespace","Namespace","qualifyTable","tableName","Storage","SqlStorageInput","SqlStorage","storage","namespaceId","SqlNamespaceTablesInput","input","SqlNamespace","Readonly","Record","Namespace","namespaces","StorageType","kind","POSTGRES_ENUM_KIND","name","nativeType","values","codecId","control","ControlPolicy","value","PostgresEnumStorageEntry","NamespaceBase","instance","SqlUnboundNamespace","id","entries","table","StorageTable","constructor","qualifyTable","tableName","T","ControlDriverInstance","query","Row","sql","params","Promise","rows","onDelete","ReferentialAction","onUpdate","column","nullable","namespaceId","fields","SqlModelFieldStorage","constraint","index","fk","overrideDefaults","TCodecTypes","output","TQueryOperationTypes","TFieldOutputTypes","TFieldInputTypes","codecTypes","queryOperationTypes","fieldOutputTypes","fieldInputTypes","C","traits","CodecTrait","returnType","self","QueryOperationSelfSpec","impl","args","QueryOperationReturn","_CT","QueryOperationTypeEntry","Q","TContract","TTypeMaps","K","TypeMapsPhantomKey","NonNullable","F","CodecTypesOf","ExtractTypeMapsFromContract","QueryOperationTypesOf","FieldOutputTypesOf","FieldInputTypesOf","ExtractCodecTypes","Capabilities","Required","Method","T","K","Record","ScopeField","topLevel","ScopeTable","namespaces","Row","Alias","JoinOuterScope","getJoinOuterScope","Scope","buildAst","AnyFromSource","Name","Table","StorageTable$1","StorageTableToScopeTable","codecId","nullable","A","B","Expand","Omit","S","OldKey","NewKey","NullableScopeTable","TableName","RowType","SubqueryMarker","SelectAst","getRowFields","codecTypes","CodecTypesBase","capabilities","queryOperationTypes","QueryOperationTypesBase","resolvedColumnOutputTypes","Source","Field","FromScope","Columns","Pick","Expression$1","F","AvailableScope","QC","QueryContext","FieldProxy","fields","Functions","fns","BooleanCodecType","direction","OrderByDirection","nulls","OrderByNulls","OT","CT","input","eq","CodecId","CodecExpression","a","b","ne","N","gt","gte","lt","lte","and","ands","or","ors","exists","Subquery","subquery","notExists","in","expr","Array","values","notIn","raw","RawSqlTag","BuiltinFunctions","DeriveExtFunctions","count","CountField","sum","avg","min","max","AggregateOnlyFunctions","CodecTypes","output","PreResolved","ResolveField","ApplyNullable","NonNullable","sql","returning","StorageTable","annotate","As","AnnotationValue","OperationKind","annotations","ValidAnnotations","InsertQuery","GatedMethod","ReturningCapability","columns","WithFields","EmptyRow","build","SqlQueryPlan","ResolveRow","UpdateQuery","where","ExpressionBuilder","DeleteQuery","WithSelect","WithJoin","WithPagination","WithDistinct","WithAlias","WithBuild","GroupedQuery","groupBy","OrderByScope","having","AggregateFunctions","orderBy","field","OrderByOptions","options","distinctOn","postgres","SelectQuery","ParentScope","from","Other","JoinSource","other","MergeScopes","select","alias","WithField","Result","callback","ExtractScopeFields","innerJoin","on","JoinedTables","outerLeftJoin","NullableScope","outerRightJoin","outerFullJoin","lateralJoin","lateral","LateralRow","LateralBuilder","builder","outerLateralJoin","TraitExpression","limit","PaginationValue","offset","distinct","as","newAlias","C","Contract","M","ContractModelDefinitions","storage","table","ModelName","ColumnName","column","FieldTypes","FindModelForTable","TableProxyContract","UnboundTables","Tables","ColName","FindFieldForColumn","FieldName","FieldInputs","InsertValues","ResolvedInsertValues","ExtractCodecTypes","ExtractQueryOperationTypes","ResolvedColumnTypes","ExtractFieldOutputTypes","DefaultScope","ContractToQC","NewAlias","TableProxy","RebindScope","insert","ReadonlyArray","ExtractFieldInputTypes","rows","update","ResolvedUpdateValues","set","ResolvedUpdateExpressions","delete","Readonly","entries","CapabilitiesBase","TableNamesAcrossNamespaces","TableInAnyNamespace","NSId","NsId","Ns","Namespace"],"sources":["../../../../1-framework/0-foundation/contract/dist/domain-envelope-OkWsysCY.d.mts","../../../../1-framework/0-foundation/contract/dist/contract-types-CBbD-VV1.d.mts","../src/type-errors.ts","../src/column-reference.ts","../../../../1-framework/1-core/framework-components/dist/ir.d.mts","../../../1-core/contract/dist/foreign-key-BATxB95l.d.mts","../../../1-core/contract/dist/sql-storage-CXf9xjAL.d.mts","../../../1-core/contract/dist/types-DEnWD3xB.d.mts","../../sql-builder/dist/db-CeOCQldG.d.mts","../src/type-atoms.ts","../src/selection.ts","../src/table-reference.ts","../src/ref.ts","../src/select-builder.ts","../src/root.ts"],"mappings":";;KACK,WAAA;EAAA,SACMA,OAAO;AAAA;AAAA;AAAA;AAAA,UAKR,cAAA;EAAA,SACCG,SAAAA,EAAW,WAAW;EAAA,SACtBC,KAAAA;EAFa;;;;;EAAA,SAQbC,KAAAA;AAAAA;AAAAA;AAAAA;;;;;;;;;AA8BO;AAAA;;;;;;;;;AAOY;UAZpB,WAAA;EAAA,SACCG,KAAAA;EAAAA,SACAC,WAAAA;EAAAA,SACAC,UAAAA;EAAAA,SACAC,IAAAA;EAAAA,SACAC,OAAAA;AAAAA;AAAAA;AAAAA,KAIN,eAAA;EAAA,SACMC,IAAAA;EAAAA,SACAC,OAAAA;EAAAA,SACAC,UAAAA,GAAa,MAAM;AAAA;AAAA,KAEzB,oBAAA;EAAA,SACMF,IAAAA;EAAAA,SACAF,IAAI;AAAA;AAAA,KAEV,cAAA;EAAA,SACME,IAAAA;EAAAA,SACAI,OAAAA,EAAS,aAAA,CAAc,eAAA,GAAkB,oBAAA;AAAA;AAAA,KAE/C,iBAAA,GAAoB,eAAA,GAAkB,oBAAA,GAAuB,cAAA;AAAA,KAC7D,aAAA;EAAA,SACMK,QAAAA;EAAAA,SACAC,IAAAA,EAAM,iBAAA;EAAA,SACNE,IAAAA;EAAAA,SACAC,IAAAA;EAAAA,SACAC,QAAAA,GAAW,WAAW;AAAA;;;AAN+C;AAAA;;KAa3E,YAAA;EAAA,SACMb,OAAAA;EAAAA,SACAG,OAAAA;IAAAA,SACEN,IAAAA;IAAAA,SACAV,KAAAA;EAAAA;AAAAA;AAAAA,KAGR,kBAAA;EAAA,SACM4B,WAAAA;EAAAA,SACAC,YAAY;AAAA;AAAA,KAElB,uBAAA;EAAA,SACMC,KAAAA;EAAAA,SACAtB,WAAAA;EAAAA,SACAuB,aAAAA;EAAAA,SACAC,YAAAA;EAAAA,SACAC,aAAAA;AAAAA;AAAAA,KAEN,0BAAA;EAAA,SACMC,EAAAA,EAAI,cAAA;EAAA,SACJC,WAAAA;EAAAA,SACAC,EAAAA,EAAI,kBAAA;EAAA,SACJE,OAAAA,EAAS,uBAAA;AAAA;AAAA,KAEf,2BAAA;EAAA,SACMJ,EAAAA,EAAI,cAAA;EAAA,SACJC,WAAAA;EAAAA,SACAC,EAAAA,EAAI,kBAAkB;EAAA,SACtBE,OAAAA;AAAAA;AAAAA,KAEN,yBAAA,GAA4B,0BAAA,GAA6B,2BAA2B;AAAA,KACpF,qBAAA;EAAA,SACMJ,EAAAA,EAAI,cAAc;EAAA,SAClBC,WAAAA;AAAAA;AAAAA,KAEN,gBAAA,GAAmB,yBAAA,GAA4B,qBAAqB;AAAA,KACpE,qBAAA;EAAA,SACMS,KAAK;AAAA;AAAA,KAEX,oBAAA;EAAA,SACM5C,KAAK;AAAA;AAAA,KAEX,mBAAA;EAAA,SACM6C,MAAAA,EAAQ,MAAM,SAAS,aAAA;AAAA;AAAA,KAE7B,gBAAA,GAAmB,QAAQ,CAAC,MAAA;AAAA,UACvB,iBAAA,uBAAwC,gBAAA,GAAmB,gBAAA;EAAA,SAC1DA,MAAAA,EAAQ,MAAA,SAAe,aAAA;EAAA,SACvBK,SAAAA,EAAW,MAAA,SAAe,gBAAA;EAAA,SAC1BE,OAAAA,EAAS,aAAA;EAAA,SACTC,aAAAA,GAAgB,qBAAA;EAAA,SAChBE,QAAAA,GAAW,MAAA,SAAe,oBAAA;EAAA,SAC1BE,IAAAA,GAAO,cAAA;EAAA,SACPC,KAAAA;AAAAA;AAAAA;AAAAA;AAzBO;;;;AAAA,UA0CR,0BAAA,iBAA2C,MAAA,SAAe,iBAAA,IAAqB,MAAA,SAAe,iBAAA;EAAA,SAC7FK,MAAAA,EAAQ,OAAA;EAAA,SACRC,YAAAA,GAAe,MAAA,SAAe,mBAAA;EAAA,SAC9BE,IAAAA,GAAO,MAAA,SAAe,YAAA;AAAA;;;;;UAMvB,iBAAA,iBAAkC,MAAA,SAAe,iBAAA,IAAqB,MAAA,SAAe,iBAAA;EAAA,SACpFE,UAAAA,EAAY,QAAA,CAAS,MAAA,SAAe,0BAAA,CAA2B,OAAA;AAAA;;;;;;;;;AAzJxD;AAEwC;;;KCQrD,aAAA;;;;;;ADGW;AAG4E;;;;;;;cCS9E,CAAA;;ADkBI;AAAA;;;;KCXb,KAAA;EAAA,CACF,CAAA,WAAY,IAAA,GAAO,MAAA;AAAA;;;ADiBQ;AAAA;;KCVzB,eAAA,yBAAwC,KAAA,GAAQ,KAAK;;ADc3C;AAAA;;;KCRV,iBAAA,yBAA0C,KAAA,GAAQ,KAAK;;;;;;KAQvD,eAAA,yBAAwC,KAAA,GAAQ,KAAK;;ADIc;AAAA;;;KCGnE,iBAAA,GAAoB,QAAQ,CAAC,MAAA;;;;;;;UAOxB,gBAAA;EAAA,SACCoB,EAAAA;EAAAA,SACAC,OAAAA,EAAS,QAAA,CAAS,MAAA,SAAe,iBAAA;AAAA;;;;;;;;;;UAWlC,WAAA;EAAA,SACCE,WAAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7BC,UAAAA,EAAY,QAAA,CAAS,MAAA,SAAe,gBAAA;AAAA;AAAA,KAQ1C,kBAAA;EAAA,SACMJ,EAAAA;EAAAA,SACAW,MAAAA,GAAS,MAAM;AAAA;AAAA,KAErB,aAAA;AAAA,KACA,SAAA,GAAY,aAAA;EAAA,UACLE,GAAAA,WAAc,SAAA;AAAA,aACb,SAAA;AAAA,KACR,yBAAA,GAA4B,SAAS;AAAA,KACrC,8BAAA,GAAiC,yBAAA,GAA4B,IAAI;;;;;;;;;KAUjE,aAAA;EAAA,SACMK,IAAAA;EAAAA,SACAxB,KAAAA,EAAO,8BAA8B;AAAA;EAAA,SAErCwB,IAAAA;EAAAA,SACAC,UAAAA;AAAAA;AAAAA,KAGN,6BAAA;EAAA,SACMD,IAAAA;EAAAA,SACAlB,EAAAA,EAAI,kBAAA;EAAA,SACJW,MAAAA,GAAS,MAAM;AAAA;AAAA,KAGrB,wBAAA;EAAA,SACMY,GAAAA;IAAAA,SACEC,KAAAA;IAAAA,SACAC,MAAAA;EAAAA;EAAAA,SAEFC,QAAAA,GAAW,6BAAA;EAAA,SACXC,QAAAA,GAAW,6BAA6B;AAAA;;;;;;;;;;;;;;ADJnC;AAU0L;KCoFrM,wBAAA;EAAA,SACMG,aAAAA,EAAe,iBAAA,CAAkB,KAAA;EAAA,SACjCC,SAAAA;IAAAA,SACEC,QAAAA,EAAU,aAAA,CAAc,wBAAA;EAAA;AAAA;;;;;;;;;;;;;;;;UAkB3B,QAAA,kBAA0B,WAAA,GAAc,WAAA,kBAA6B,MAAA,SAAe,iBAAA,IAAqB,MAAA,SAAe,iBAAA;EAAA,SACvHgB,MAAAA;EAAAA,SACAC,YAAAA;EAAAA,SACAqB,KAAAA,EAAO,MAAA,SAAe,cAAA;EDlGA3F;;AAAY;AAAA;EAAZA,SCuGtB6F,MAAAA,EAAQ,iBAAA,CAAkB,OAAA;EAAA,SAC1BE,OAAAA,EAAS,QAAA;EAAA,SACTrC,YAAAA,EAAc,MAAA,SAAe,MAAA;EAAA,SAC7BsC,cAAAA,EAAgB,MAAA;EAAA,SAChBC,SAAAA,GAAY,wBAAA;EAAA,SACZ1B,WAAAA,EAAa,eAAA;EAAA,SACbO,IAAAA,EAAM,MAAA;EAAA,SACNvE,oBAAAA,GAAuB,aAAA;AAAA;;;;;;;;;KC3PtB,YAAA;;AFLM;AAEwC;;;;KEW9C,qCAAA,kBAAuD,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;;;;;;AFbvE;KGQN,eAAA,wFAGI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA,EAAS,WAAA;EAAA,SACT,QAAA,EAAU,UAAA;AAAA,IACjB,KAAA,8EAEC,UAAA,IAAc,KAAA;;;;;;AHJH;KGaJ,iCAAA,kBAAmD,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;KAKzE,QAAA;EAAA,SACD,OAAA;EAAA,SACA,QAAA;AAAA,IACP,KAAK;;;AHSS;AAAA;;;KGDN,aAAA,mDAEI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA;EAAA,SACA,QAAA,EAAU,UAAA;AAAA,IACjB,KAAA,oFAEC,UAAA,IAAc,KAAA;;;;;;;;;AHlDD;AAEwC;;;;;;;;;AAW1C;AAG4E;;;;;;;;;;AA2B1E;AAAA;;;;;;;;;AAOY;AAAA;;;UITpB,MAAA;EAAA,SACCsG,IAAI;AAAA;AAAA,uBAEQ,UAAA,YAAsB,MAAM;EAAA,kBAC/BA,IAAI;AAAA;;;;;;;;;;AJqBS;AAAA;;;;;;;;;AAWf;AAAA;;;;AAKK;AAAA;;;;;;;;;;AAOC;AAAA;;;;;AAvBS,UIiDvB,SAAA,SAAkB,MAAA,EAAQ,gBAAA;EAAA,SACzBA,IAAAA;EAAAA,SACAK,OAAAA,EAAS,QAAA,CAAS,MAAA,SAAe,QAAA,CAAS,MAAA;AAAA;;;AJPrC;AAAA;;;;AAGA;AAAA;;;;;;;;AAG+B;AAAA;;;;AAER;AAAA;;;;;;;;;;;;;UI6E7B,OAAA,SAAgB,MAAA;EAAA,SACfe,UAAAA,EAAY,QAAA,CAAS,MAAA,SAAe,SAAA;AAAA;AAAA;;;;;;;;;;;;;;;;;;AJtE/B;AAU0L;;;;;;;;;UI4FhM,WAAA,SAAoB,MAAM;EAAA,SACzBpB,IAAI;AAAA;;;;;;;;AJrOG;AAEwC;;;;;;;;;AAW1C;AAG4E;;;;;;;;;;AA2B1E;AAAA;;;;;;uBKTK,OAAA,SAAgB,UAAU;EAAA,SACtCwB,IAAAA;EACTC,WAAAA;AAAAA;AAAAA;;;ALkBa;AAAA;;;;;;;;UKHL,wBAAA;EAAA,SACCC,WAAAA;EAAAA,SACAC,SAAAA;EAAAA,SACAC,OAAAA;EAAAA,SACAC,OAAAA;AAAAA;ALG6D;AAAA;;;;;;;;;;;;AAEQ;AAAA;;AAFR,cKe1D,mBAAA,SAA4B,OAAA;EAAA,SAC/BH,WAAAA,EAAa,WAAA;EAAA,SACbC,SAAAA;EAAAA,SACAC,OAAAA;EAAAA,SACAC,OAAAA;EACTJ,WAAAA,CAAYQ,KAAAA,EAAO,wBAAA;AAAA;AAAA;AAAA,KAIhB,iBAAA;AAAA,UACK,eAAA;EAAA,SACCC,MAAAA,EAAQ,mBAAA,GAAsB,wBAAA;EAAA,SAC9BE,MAAAA,EAAQ,mBAAA,GAAsB,wBAAA;EAAA,SAC9BC,IAAAA;EAAAA,SACAC,QAAAA,GAAW,iBAAA;EAAA,SACXE,QAAAA,GAAW,iBAAA;ELbXxM;EAAAA,SKeAyM,UAAAA;ELbEzN;EAAAA,SKeF0N,KAAAA;AAAAA;ALfO;;;;AAKK;AAAA;;;;;;;AALL,cK6BJ,UAAA,SAAmB,OAAA;EAAA,SACtBR,MAAAA,EAAQ,mBAAA;EAAA,SACRE,MAAAA,EAAQ,mBAAA;EAAA,SACRK,UAAAA;EAAAA,SACAC,KAAAA;EAAAA,SACAL,IAAAA;EAAAA,SACAC,QAAAA,GAAW,iBAAA;EAAA,SACXE,QAAAA,GAAW,iBAAA;EACpBf,WAAAA,CAAYQ,KAAAA,EAAO,eAAA;AAAA;;;;;;;ALlHH;AAEwC;UMMhD,oBAAA;EAAA,SACCW,IAAAA;EAAAA,SACAC,MAAAA;EAAAA,SACAC,QAAAA,EAAU,WAAW;AAAA;;;;ANEhB;AAG4E;;;;;;;;;;cMW9E,eAAA,SAAwB,OAAA;EAAA,SAC3BF,IAAAA;EAAAA,SACAC,MAAAA;EAAAA,SACAC,QAAAA,EAAU,WAAA;EACnBG,WAAAA,CAAYE,KAAAA,EAAO,oBAAA;AAAA;AAAA;AAAA,UAIX,eAAA;EAAA,SACCC,OAAAA;EAAAA,SACAR,IAAI;AAAA;;;;cAKD,UAAA,SAAmB,OAAO;EAAA,SAC7BQ,OAAAA;EAAAA,SACAR,IAAAA;EACTK,WAAAA,CAAYE,KAAAA,EAAO,eAAA;AAAA;AAAA;AAAA,UAIX,UAAA;EAAA,SACCC,OAAAA;EAAAA,SACAR,IAAAA;EAAAA,SACAU,IAAAA;EAAAA,SACAC,OAAAA,GAAU,MAAM;AAAA;;;ANK6C;AAAA;;;;;cMK1D,KAAA,SAAc,OAAA;EAAA,SACjBH,OAAAA;EAAAA,SACAR,IAAAA;EAAAA,SACAU,IAAAA;EAAAA,SACAC,OAAAA,GAAU,MAAA;EACnBN,WAAAA,CAAYE,KAAAA,EAAO,UAAA;AAAA;AAAA;;;;;;;;;;;UAcX,kBAAA;EAAA,SACCO,UAAAA;EAAAA,SACAC,OAAAA;EAAAA,SACAC,QAAAA;EAAAA,SACAC,UAAAA,GAAa,MAAA;EAAA,SACbC,OAAAA;EAAAA,SACAC,OAAAA,GAAU,aAAA;EAAA,SACVE,OAAAA,GAAU,aAAA;EAAA,SACVnB,QAAAA,GAAW,WAAA;AAAA;;ANbJ;AAAA;;;;AAKK;AAAA;;;;;;cMuBT,aAAA,SAAsB,OAAA;EAAA,SACzBY,UAAAA;EAAAA,SACAC,OAAAA;EAAAA,SACAC,QAAAA;EAAAA,SACAC,UAAAA,GAAa,MAAA;EAAA,SACbC,OAAAA;EAAAA,SACAC,OAAAA,GAAU,aAAA;EAAA,SACVE,OAAAA,GAAU,aAAA;EAAA,SACVnB,QAAAA,GAAW,WAAA;EACpBG,WAAAA,CAAYE,KAAAA,EAAO,kBAAA;AAAA;AAAA;AAAA,UAIX,qBAAA;EAAA,SACCC,OAAAA;EAAAA,SACAR,IAAI;AAAA;;;;cAKD,gBAAA,SAAyB,OAAO;EAAA,SACnCQ,OAAAA;EAAAA,SACAR,IAAAA;EACTK,WAAAA,CAAYE,KAAAA,EAAO,qBAAA;AAAA;AAAA;AAAA,UAIX,iBAAA;EAAA,SACCC,OAAAA,EAAS,MAAA,SAAe,aAAA,GAAgB,kBAAA;EAAA,SACxCkB,UAAAA,GAAa,UAAA,GAAa,eAAA;EAAA,SAC1BE,OAAAA,EAAS,aAAA,CAAc,gBAAA,GAAmB,qBAAA;EAAA,SAC1CG,OAAAA,EAAS,aAAA,CAAc,KAAA,GAAQ,UAAA;EAAA,SAC/BE,WAAAA,EAAa,aAAA,CAAc,UAAA,GAAa,eAAA;EAAA,SACxCZ,OAAAA,GAAU,aAAA;EAAA,SACVe,MAAAA,GAAS,aAAA,CAAc,eAAA,GAAkB,oBAAA;AAAA;;;ANpCqC;AAAA;;;;;;;;AAGnE;cM+CR,YAAA,SAAqB,OAAA;EAAA,SACxB5B,OAAAA,EAAS,QAAA,CAAS,MAAA,SAAe,aAAA;EAAA,SACjCoB,OAAAA,EAAS,aAAA,CAAc,gBAAA;EAAA,SACvBG,OAAAA,EAAS,aAAA,CAAc,KAAA;EAAA,SACvBE,WAAAA,EAAa,aAAA,CAAc,UAAA;EAAA,SAC3BP,UAAAA,GAAa,UAAA;EAAA,SACbL,OAAAA,GAAU,aAAA;EAAA,SACVe,MAAAA,GAAS,aAAA,CAAc,eAAA;EAChC/B,WAAAA,CAAYE,KAAAA,EAAO,iBAAA;AAAA;AAAA;;;ANhDL;AAAA;;;;cM2DF,mBAAA;;;;ANxDiC;AAAA;;;;UMiErC,mBAAA,SAA4B,WAAA;EAAA,SAC3BkC,IAAAA,SAAa,mBAAA;EAAA,SACb1B,OAAAA;EAAAA,SACAD,UAAAA;EAAAA,SACAG,UAAAA,EAAY,MAAA;AAAA;;;;;;;;UASb,wBAAA;EAAA,SACCF,OAAAA;EAAAA,SACAD,UAAAA;EAAAA,SACAG,UAAAA,GAAa,MAAM;AAAA;;;;;;;;;;;;;UAqBpB,oBAAA;EAAA,SACCwB,IAAAA;EN5EyB;EAAA,SM8EzBK,MAAM;AAAA;;;;;;;;;;;;;;;;;;;cAoBH,eAAA,SAAwB,OAAO;EAAA,SAClCL,IAAAA;EAAAA,SACAK,MAAAA;EACTzC,WAAAA,CAAYE,KAAAA,EAAO,oBAAA;AAAA;AAAA;ANlGwB;;;;;;;AAAA,KM6GxC,mBAAA,GAAsB,mBAAA,GAAsB,wBAAwB;AAAA,UAQ/D,eAAA;EAAA,SACC+C,WAAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7BE,KAAAA,GAAQ,MAAA,SAAe,mBAAA;EAAA,SACvBE,UAAAA,EAAY,QAAA,CAAS,MAAA,SAAe,YAAA;AAAA;;;;;ANjHkC;;;;AC3J8D;;;;AAY7H;AAS6H;;;;AAMjH;AAAA;;;KKwQzB,YAAA,GAAe,SAAA;EAAA,SACTT,OAAAA,EAAS,QAAA;IAAA,SACPC,KAAAA,EAAO,QAAA,CAAS,MAAA,SAAe,YAAA;IAAA,SAC/BhD,QAAAA,GAAW,QAAA,CAAS,MAAA,SAAe,eAAA;EAAA;ELpQrCnJ;;;;;;EK4QT8M,YAAAA,EAAcC,SAAAA;AAAAA;AAAAA,cAEF,UAAA,wCAAkD,OAAA,YAAmB,OAAA;EAAA,SACxER,WAAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7BI,UAAAA,EAAY,QAAA,CAAS,MAAA,SAAe,YAAA;EAAA,SACpCF,KAAAA,GAAQ,QAAA,CAAS,MAAA,SAAe,mBAAA;EACzCnD,WAAAA,CAAYE,KAAAA,EAAO,eAAA,CAAgB,KAAA;AAAA;;;KClKhC,YAAA,OAAmB,CAAA,oBAAqB,MAAA,kBAAwB,CAAA;EAAA,SAC1DkH,UAAAA;AAAAA,IACPI,CAAAA,SAAU,MAAA;EACZR,MAAAA;AAAAA,KACGQ,CAAAA,GAAI,MAAA,kBAAwB,MAAA;;;;AP1CX;AAAA;;;KOmFjB,kBAAA;AAAA,KAEA,2BAAA,MAAiC,kBAAA,eAAiC,CAAA,GAAI,WAAA,CAAY,CAAA,CAAE,kBAAA,SAA2B,CAAA;AAAA,KAO/G,iBAAA,MAAuB,YAAA,CAAa,2BAAA,CAA4B,CAAA;;;;;KC0IhE,gBAAA,GAAmB,MAAM,SAAS,MAAA;AAAA,KAClC,kBAAA;EAAA,SACM6M,OAAAA;IAAAA,SACE5K,UAAAA,EAAY,QAAA,CAAS,MAAA;MAAA,SACnB+M,OAAAA;QAAAA,SACElC,KAAAA,EAAO,QAAA,CAAS,MAAA,SAAe,YAAA;MAAA;IAAA;EAAA;EAAA,SAIrChJ,YAAAA,EAAc,gBAAA;AAAA;AAAA,KAEpB,eAAA,WAAwB,kBAAA,wBAA0C,0BAAA,CAA2B,CAAA,IAAK,mBAAA,CAAoB,CAAA,EAAG,IAAA;AAAA,KACzH,0BAAA,WAAqC,kBAAA,qBAAuC,CAAA,kCAAmC,CAAA,0BAA2B,IAAA,uCAA2C,CAAA;AAAA,KACrL,mBAAA,WAA8B,kBAAA,0CAA4D,CAAA,4BAA6B,IAAA,eAAmB,CAAA,0BAA2B,IAAA,wBAA4B,CAAA,0BAA2B,IAAA,sBAA0B,IAAA,kBAAsB,CAAA;;;;;;;;KC1VrQ,iBAAA,YAA6B,MAAA,sBAA4B,MAAM;;;ATHzD;AAEwC;;KSQ9C,kBAAA,yCACE,OAAA,KAAY,OAAA,CAAQ,OAAA,OAAc,OAAA,EAAS,CAAA,WACjD,OAAA;;;;;ATCQ;AAG4E;KSIhF,YAAA,qDAAiE,iBAAA,CAC3E,OAAA,CAAQ,QAAA,iBACJ,QAAA,0BAEuB,QAAA,SAAiB,QAAA,GAAW,CAAA,eAAgB,QAAA,GAC7D,QAAA,CAAS,CAAA,IACT,CAAA,eAAgB,QAAA,GACd,QAAA,CAAS,CAAA;;;;;;KAUX,OAAA,YAAmB,MAAM;ATMnB;AAAA;;;;AAAA,KSCN,QAAA,2BAAmC,iBAAA,eAC/B,OAAA,GAAU,OAAA,CAAQ,CAAA;;;;;;;AT7ChB;KUWN,aAAA,mBAAgC,QAAA,CAAS,UAAA,KAAe,eAAA,CAClE,SAAA,GAAY,kBAAA;;;;;;;;;KAWF,iBAAA,mBACQ,QAAA,CAAS,UAAA,4BACF,aAAA,CAAc,SAAA,sCACb,aAAA,CAAc,SAAA,EAAW,UAAA,kCACxC,aAAA,CAAc,SAAA,EAAW,UAAA,aAAuB,WAAA,KACzD,QAAA,SAAiB,aAAA,IAEZ,QAAA,4CACD,iBAAA,CAAkB,SAAA,EAAW,QAAA;AVfuD;;;;AAAA,KUsBhF,SAAA,GAAY,MAAM,SAAS,cAAA;;;;;;AVKrB;UUGD,cAAA;EAAA,SACN,WAAA,EAAa,SAAA;EAAA,SACb,SAAA,EAAW,OAAO;AAAA;;;;;;AVEC;KUOlB,gBAAA,mBACQ,QAAA,CAAS,UAAA,4BACF,aAAA,CAAc,SAAA,cACrC,iBAAA,iCAC4B,aAAA,CAAc,SAAA,EAAW,UAAA,wBAC5C,cAAA,CACT,iBAAA,CAAkB,SAAA,EAAW,UAAA,EAAY,UAAA,GACzC,aAAA,CAAc,SAAA,EAAW,UAAA,aAAuB,UAAA;;;;;;;;;KCzDxC,cAAA,8CAEI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA,EAAS,KAAA;AAAA,IAChB,KAAA,yFAEF,KAAA;;;;;;;KASU,gCAAA,kBAAkD,YAAA,IAAgB,KAAA,CAAM,QAAA;AXVpE;AAG4E;;;;;AAH5E,KWkBJ,0BAAA,kBAA4C,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;;;AX/B5D;AAEwC;KYY9C,GAAA,mBAAsB,QAAA,CAAS,UAAA,oCACZ,aAAA,CAAc,SAAA,aAAsB,cAAA,CAC/D,SAAA,EACA,SAAA,wDAEwB,OAAA,OAChB,aAAA,CAAc,SAAA,EAAW,SAAA,oBACzB,cAAA,aAEG,eAAA,CAAgB,UAAA,EAAY,SAAA,EAAW,SAAA;EAAA,UAExC,GAAA,GAAM,aAAA,CAAc,SAAA,EAAW,SAAA;AAAA,IACvC,MAAA,CACA,WAAA,EACA,iCAAA,uDAAwF,SAAA;EAAA,UAGlF,GAAA,GAAM,QAAA;AAAA,IACd,MAAA,CACA,WAAA,EACA,gCAAA;AZlBwF;;;;;AAAA,iBY0B5E,SAAA,mBAA4B,QAAA,CAAS,UAAA,GACnD,SAAA,EAAW,SAAA,GACV,GAAA,CAAI,SAAA;;;;;AZ5CW;AAEwC;;;;caU7C,aAAA,mBACO,QAAA,CAAS,UAAA,mBACX,aAAA,CAAc,QAAA,CAAS,UAAA,uBACpB,SAAA;EAAA;cAMP,QAAA,EAAU,SAAA;EAItB,MAAA,CACE,QAAA,EAAU,QAAA,GACT,kBAAA,CAAmB,OAAA,iBAClB,aAAA,CACE,SAAA,EACA,OAAA,EACA,YAAA,CAAa,UAAA,EAAY,gBAAA,CAAiB,SAAA,QAAiB,OAAA,eAE7D,qCAAA;EACJ,MAAA,0BAAgC,OAAA,WAC9B,QAAA,EAAU,aAAA,CAAc,UAAA,EAAY,SAAA,8BACnC,aAAA,CACD,SAAA,EACA,OAAA,EACA,YAAA,CAAa,UAAA,EAAY,gBAAA,CAAiB,SAAA,EAAW,UAAA;EAEvD,MAAA,CACE,GAAA,UACC,qCAAA;EAQH,KAAA,IAAS,OAAA,CAAQ,UAAA,yBAGb,QAAA,CAAS,UAAA;AAAA;;;;;AbtDG;AAEwC;;ccQ7C,IAAA,mBAAuB,QAAA,CAAS,UAAA;EAAA;cAG/B,QAAA,EAAU,SAAA;EdPFtZ;;;;AAON;EcSd,IAAA,CACE,KAAA,EAAO,cAAA,UACN,qCAAA;EdcgB;;;EcVnB,IAAA,uBACE,KAAA,iBAAsB,KAAA,GAClB,0BAAA,0FACA,cAAA,CAAe,KAAA,EAAO,SAAA,8BACzB,KAAA,kBACC,aAAA,CAAc,SAAA,EAAW,IAAA,CAAK,aAAA,CAAc,SAAA,GAAY,KAAA,KACxD,qCAAA;EACJ,IAAA,CACE,KAAA,EAAO,0BAAA,0FACN,qCAAA;AAAA;;;;iBAaW,UAAA,CACd,QAAA,UACC,qCAAqC;AdTtB;;;AAAA,iBcaF,UAAA,mBAA6B,QAAA,CAAS,UAAA,GACpD,QAAA,EAAU,SAAA,GACT,IAAA,CAAK,SAAA"}
+{"version":3,"file":"index.d.mts","names":["__brand","value","NamespaceId","namespace","model","space","ObjectType","CrossReference","TKey","TValue","$","K","THash","Brand","T","ExecutionHashBase","StorageHashBase","ProfileHashBase","Readonly","Record","id","entries","StorageEntitySlot","storageHash","namespaces","StorageNamespace","type","nullable","items","FieldType","properties","params","JsonPrimitive","key","JsonValue","ColumnDefaultLiteralValue","Date","ColumnDefaultLiteralInputValue","kind","expression","ColumnDefault","GeneratedValueSpec","ExecutionMutationDefaultValue","ref","table","column","onCreate","onUpdate","Omit","ExecutionMutationDefault","executionHash","mutations","defaults","ReadonlyArray","readOnly","projection","origin","capabilities","name","keys","unique","where","Expr","path","strategy","fields","indexes","DocIndex","target","targetFamily","profileHash","lane","annotations","contractJson","canonicalVersion","updatedAt","appTag","meta","invariants","migrationName","migrationHash","from","to","appliedAt","operationCount","plane","namespaceId","entityKind","entityName","spaceId","codecId","typeParams","members","ScalarFieldType","ValueObjectFieldType","UnionFieldType","ContractFieldType","many","dict","valueSet","ValueSetRef","localFields","targetFields","parentColumns","childColumns","targetColumns","cardinality","on","ContractRelationOn","through","ContractRelationThrough","ContractManyToManyRelation","ContractNonJunctionRelation","ContractReferenceRelation","ContractEmbedRelation","field","ContractField","TModelStorage","ModelStorageBase","relations","ContractRelation","storage","discriminator","ContractDiscriminator","variants","ContractVariantEntry","base","owner","ContractModelBase","TModels","ModelName","models","valueObjects","ContractValueObject","enum","ContractEnum","ApplicationDomainNamespace","domain","ApplicationDomain","ControlPolicy","nodeControl","defaultControlPolicy","THash","executionHash","ExecutionHashBase","mutations","defaults","ReadonlyArray","ExecutionMutationDefault","TStorage","StorageBase","target","targetFamily","roots","Record","CrossReference","domain","ApplicationDomain","storage","capabilities","extensionPacks","execution","ContractExecutionSection","profileHash","ProfileHashBase","meta","T","Only","TNamespace","valueObjects","VO","ContractValueObject","TContract","Contract","NamespaceValueObjectsOf","ExactlyOneNamespace","Projected","kind","IRNode","T","node","StorageNamespace","entries","Readonly","Record","IRNodeBase","Namespace","id","plane","namespaceId","entityKind","entityName","Pick","StorageBase","storage","Generator","EntityCoordinate","coord","namespaces","ApplicationDomain","domain","Input","Node","schema","Type","construct","input","EntityKindDescriptor","ReadonlyMap","AnyEntityKindDescriptor","kinds","onUnknown","nsId","IRNodeBase","kind","constructor","namespaceId","tableName","columns","spaceId","SqlNode","NamespaceId","ForeignKeyReferenceInput","input","source","ForeignKeyReference","target","name","onDelete","ReferentialAction","onUpdate","constraint","index","ForeignKeyInput","name","column","valueSet","ValueSetRef","SqlNode","constructor","CheckConstraintInput","input","columns","PrimaryKeyInput","type","options","Record","IndexInput","nativeType","codecId","nullable","typeParams","typeRef","default","ColumnDefault","control","ControlPolicy","StorageColumnInput","UniqueConstraintInput","StorageColumn","primaryKey","PrimaryKey","uniques","ReadonlyArray","UniqueConstraint","indexes","Index","foreignKeys","ForeignKey","ForeignKeyInput","checks","CheckConstraint","Readonly","StorageTableInput","kind","values","JsonValue","StorageValueSetInput","StorageType","kind","CODEC_INSTANCE_KIND","codecId","nativeType","typeParams","Record","StorageTypeInstanceInput","input","StorageTypeInstance","value","id","entries","Readonly","THash","storageHash","StorageHashBase","types","SqlStorageTypeEntry","namespaces","SqlNamespace","table","StorageTable","valueSet","StorageValueSet","Namespace","SqlNamespaceEntries","qualifyTable","tableName","SqlNode","Storage","constructor","SqlStorageInput","SqlNamespaceTablesInput","input","SqlNamespace","Readonly","Record","Namespace","namespaces","NamespaceBase","instance","SqlUnboundNamespace","id","entries","SqlNamespaceEntries","kind","constructor","table","StorageTable","qualifyTable","tableName","T","ControlDriverInstance","query","Row","sql","params","Promise","rows","name","onDelete","ReferentialAction","onUpdate","column","codecId","nullable","namespaceId","fields","SqlModelFieldStorage","constraint","index","fk","overrideDefaults","TCodecTypes","output","TQueryOperationTypes","TFieldOutputTypes","NamespacedFieldTypeMap","TFieldInputTypes","codecTypes","queryOperationTypes","fieldOutputTypes","fieldInputTypes","C","traits","CodecTrait","returnType","self","QueryOperationSelfSpec","impl","args","QueryOperationReturn","_CT","QueryOperationTypeEntry","Q","TContract","TTypeMaps","K","TypeMapsPhantomKey","NonNullable","F","CodecTypesOf","ExtractTypeMapsFromContract","QueryOperationTypesOf","FieldOutputTypesOf","FieldInputTypesOf","ExtractCodecTypes","Capabilities","Required","Method","T","K","Record","ScopeField","topLevel","ScopeTable","namespaces","Row","Alias","JoinOuterScope","getJoinOuterScope","Scope","buildAst","AnyFromSource","Name","Table","StorageTable$1","StorageTableToScopeTable","codecId","nullable","A","B","Expand","Omit","S","OldKey","NewKey","NullableScopeTable","TableName","RowType","SubqueryMarker","SelectAst","getRowFields","codecTypes","CodecTypesBase","capabilities","queryOperationTypes","QueryOperationTypesBase","resolvedColumnOutputTypes","Source","Field","FromScope","Columns","Pick","Expression$1","F","AvailableScope","QC","QueryContext","FieldProxy","fields","Functions","fns","BooleanCodecType","direction","OrderByDirection","nulls","OrderByNulls","OT","CT","input","eq","CodecId","CodecExpression","a","b","ne","N","gt","gte","lt","lte","and","ands","or","ors","exists","Subquery","subquery","notExists","in","expr","Array","values","notIn","raw","RawSqlTag","BuiltinFunctions","DeriveExtFunctions","count","CountField","sum","avg","min","max","AggregateOnlyFunctions","CodecTypes","output","PreResolved","ResolveField","ApplyNullable","NonNullable","sql","returning","StorageTable","annotate","As","AnnotationValue","OperationKind","annotations","ValidAnnotations","InsertQuery","GatedMethod","ReturningCapability","columns","WithFields","EmptyRow","build","SqlQueryPlan","ResolveRow","UpdateQuery","where","ExpressionBuilder","DeleteQuery","WithSelect","WithJoin","WithPagination","WithDistinct","WithAlias","WithBuild","GroupedQuery","groupBy","OrderByScope","having","AggregateFunctions","orderBy","field","OrderByOptions","options","distinctOn","postgres","SelectQuery","ParentScope","from","Other","JoinSource","other","MergeScopes","select","alias","WithField","Result","callback","ExtractScopeFields","innerJoin","on","JoinedTables","outerLeftJoin","NullableScope","outerRightJoin","outerFullJoin","lateralJoin","lateral","LateralRow","LateralBuilder","builder","outerLateralJoin","TraitExpression","limit","PaginationValue","offset","distinct","as","newAlias","C","TableProxyContract","NsId","Models","M","storage","table","ModelName","ColumnName","Fields","column","NamespaceTable","ColName","ComputeColumnJsType","ExtractCodecTypes","FieldInputs","InsertValues","NsInputs","FindModelForTable","FindFieldForColumn","FieldName","ResolvedInsertValues","ExtractQueryOperationTypes","ResolvedColumnTypes","DefaultScope","ContractToQC","NewAlias","TableProxy","RebindScope","insert","ReadonlyArray","ExtractFieldInputTypes","rows","update","ResolvedUpdateValues","set","ResolvedUpdateExpressions","delete","Readonly","models","domain","NamespaceDomain","entries","NamespaceEntries","CapabilitiesBase","NS","TableNamesAcrossNamespaces","TableInAnyNamespace","NSId","TablesInNamespace","Ns","Namespace"],"sources":["../../../../1-framework/0-foundation/contract/dist/domain-envelope-Bj-zQbVU.d.mts","../../../../1-framework/0-foundation/contract/dist/contract-types-DrjCtVOs.d.mts","../src/type-errors.ts","../src/column-reference.ts","../../../../1-framework/1-core/framework-components/dist/ir.d.mts","../../../1-core/contract/dist/foreign-key-BATxB95l.d.mts","../../../1-core/contract/dist/storage-value-set-WnYsIFM8.d.mts","../../../1-core/contract/dist/sql-storage-Dga0jwP2.d.mts","../../../1-core/contract/dist/types-B1N8w0I2.d.mts","../../sql-builder/dist/db-BS_UG1Si.d.mts","../src/type-atoms.ts","../src/selection.ts","../src/table-reference.ts","../src/ref.ts","../src/select-builder.ts","../src/root.ts"],"mappings":";;KACK,WAAA;EAAA,SACMA,OAAO;AAAA;AAAA;AAAA;AAAA,UAKR,cAAA;EAAA,SACCG,SAAAA,EAAW,WAAW;EAAA,SACtBC,KAAAA;EAFa;;;;;EAAA,SAQbC,KAAAA;AAAAA;AAAAA;AAAAA;;;AASmB;cAAhB,CAAA;;;;;;;KAOT,KAAA;EAAA,CACF,CAAA,WAAY,IAAA,GAAO,MAAA;AAAA;;;;;;KAOjB,eAAA,yBAAwC,KAAA,GAAQ,KAAK;AAP9B;;;;;AAAA,KAavB,iBAAA,yBAA0C,KAAA,GAAQ,KAAK;AANF;AAAA;;;;AAAA,KAcrD,eAAA,yBAAwC,KAAA,GAAQ,KAAK;;;AARE;AAEkB;;KAazE,iBAAA,GAAoB,QAAQ,CAAC,MAAA;;;;;;AAPwB;UAchD,gBAAA;EAAA,SACCe,EAAAA;EAAAA,SACAC,OAAAA,EAAS,QAAA,CAAS,MAAA,SAAe,iBAAA;AAAA;AATJ;AAAA;;;;;;;;AAAA,UAoB9B,WAAA;EAAA,SACCE,WAAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7BC,UAAAA,EAAY,QAAA,CAAS,MAAA,SAAe,gBAAA;AAAA;AAAA,KAQ1C,kBAAA;EAAA,SACMJ,EAAAA;EAAAA,SACAW,MAAAA,GAAS,MAAM;AAAA;AAAA,KAErB,aAAA;AAAA,KACA,SAAA,GAAY,aAAA;EAAA,UACLE,GAAAA,WAAc,SAAA;AAAA,aACb,SAAA;AAAA,KACR,yBAAA,GAA4B,SAAS;AAAA,KACrC,8BAAA,GAAiC,yBAAA,GAA4B,IAAI;;;;;;;AAjBP;AAMf;KAqB3C,aAAA;EAAA,SACMK,IAAAA;EAAAA,SACArC,KAAAA,EAAO,8BAA8B;AAAA;EAAA,SAErCqC,IAAAA;EAAAA,SACAC,UAAAA;AAAAA;AAAAA,KAGN,6BAAA;EAAA,SACMD,IAAAA;EAAAA,SACAlB,EAAAA,EAAI,kBAAA;EAAA,SACJW,MAAAA,GAAS,MAAM;AAAA;AAAA,KAGrB,wBAAA;EAAA,SACMY,GAAAA;IAAAA,SACExC,SAAAA;IAAAA,SACAyC,KAAAA;IAAAA,SACAC,MAAAA;EAAAA;EAAAA,SAEFC,QAAAA,GAAW,6BAAA;EAAA,SACXC,QAAAA,GAAW,6BAA6B;AAAA;;;AAjC7B;AAAA;;;;;;;;;;;;;AA8JkD;AAAA;;;;;;;;;;;;AAEQ;UAtBtE,WAAA;EAAA,SACCsC,KAAAA;EAAAA,SACAC,WAAAA;EAAAA,SACAC,UAAAA;EAAAA,SACAC,UAAAA;EAAAA,SACAC,OAAAA;AAAAA;AAAAA;AAAAA,KAIN,eAAA;EAAA,SACMnD,IAAAA;EAAAA,SACAoD,OAAAA;EAAAA,SACAC,UAAAA,GAAa,MAAM;AAAA;AAAA,KAEzB,oBAAA;EAAA,SACMrD,IAAAA;EAAAA,SACAoB,IAAI;AAAA;AAAA,KAEV,cAAA;EAAA,SACMpB,IAAAA;EAAAA,SACAsD,OAAAA,EAAS,aAAA,CAAc,eAAA,GAAkB,oBAAA;AAAA;AAAA,KAE/C,iBAAA,GAAoB,eAAA,GAAkB,oBAAA,GAAuB,cAAA;AAAA,KAC7D,aAAA;EAAA,SACMjE,QAAAA;EAAAA,SACAD,IAAAA,EAAM,iBAAA;EAAA,SACNuE,IAAAA;EAAAA,SACAC,IAAAA;EAAAA,SACAC,QAAAA,GAAW,WAAW;AAAA;;;;;;KAO5B,YAAA;EAAA,SACMT,OAAAA;EAAAA,SACAE,OAAAA;IAAAA,SACElC,IAAAA;IAAAA,SACAzD,KAAAA,EAAO,SAAS;EAAA;AAAA;AAAA,KAGxB,kBAAA;EAAA,SACMoG,WAAAA;EAAAA,SACAC,YAAY;AAAA;AAAA,KAElB,uBAAA;EAAA,SACM1D,KAAAA;EAAAA,SACA0C,WAAAA;EAAAA,SACAiB,aAAAA;EAAAA,SACAC,YAAAA;EAAAA,SACAC,aAAAA;AAAAA;AAAAA,KAEN,0BAAA;EAAA,SACMvB,EAAAA,EAAI,cAAA;EAAA,SACJwB,WAAAA;EAAAA,SACAC,EAAAA,EAAI,kBAAA;EAAA,SACJE,OAAAA,EAAS,uBAAA;AAAA;AAAA,KAEf,2BAAA;EAAA,SACM3B,EAAAA,EAAI,cAAA;EAAA,SACJwB,WAAAA;EAAAA,SACAC,EAAAA,EAAI,kBAAkB;EAAA,SACtBE,OAAAA;AAAAA;AAAAA,KAEN,yBAAA,GAA4B,0BAAA,GAA6B,2BAA2B;AAAA,KACpF,qBAAA;EAAA,SACM3B,EAAAA,EAAI,cAAc;EAAA,SAClBwB,WAAAA;AAAAA;AAAAA,KAEN,gBAAA,GAAmB,yBAAA,GAA4B,qBAAqB;AAAA,KACpE,qBAAA;EAAA,SACMS,KAAK;AAAA;AAAA,KAEX,oBAAA;EAAA,SACMlH,KAAK;AAAA;AAAA,KAEX,mBAAA;EAAA,SACMgE,MAAAA,EAAQ,MAAM,SAAS,aAAA;AAAA;AAAA,KAE7B,gBAAA,GAAmB,QAAQ,CAAC,MAAA;AAAA,UACvB,iBAAA,uBAAwC,gBAAA,GAAmB,gBAAA;EAAA,SAC1DA,MAAAA,EAAQ,MAAA,SAAe,aAAA;EAAA,SACvBsD,SAAAA,EAAW,MAAA,SAAe,gBAAA;EAAA,SAC1BE,OAAAA,EAAS,aAAA;EAAA,SACTC,aAAAA,GAAgB,qBAAA;EAAA,SAChBE,QAAAA,GAAW,MAAA,SAAe,oBAAA;EAAA,SAC1BE,IAAAA,GAAO,cAAA;EAAA,SACPC,KAAAA;AAAAA;AAAAA;AAAAA;;;;;UAiBD,0BAAA;EAAA,SACCI,MAAAA,EAAQ,MAAA,SAAe,iBAAA;EAAA,SACvBC,YAAAA,GAAe,MAAA,SAAe,mBAAA;EAAA,SAC9BE,IAAAA,GAAO,MAAA,SAAe,YAAA;AAAA;;AA5BM;AAAA;;UAkC7B,iBAAA;EAAA,SACC9G,UAAAA,EAAY,QAAA,CAAS,MAAA,SAAe,0BAAA;AAAA;;;;;;;;;AA5V7B;AAEwC;;;KCQrD,aAAA;;;;;;ADGW;AAG4E;;;;AAM9D;;;;;;;;;AAAA,KCSzB,wBAAA;EAAA,SACMuH,aAAAA,EAAe,iBAAA,CAAkB,KAAA;EAAA,SACjCE,SAAAA;IAAAA,SACEC,QAAAA,EAAU,aAAA,CAAc,wBAAA;EAAA;AAAA;ADJT;AAAA;;;;;;;;AAO8B;AAAA;;;AAP9B,UCoBlB,QAAA,kBAA0B,WAAA,GAAc,WAAA;EAAA,SACvCK,MAAAA;EAAAA,SACAC,YAAAA;EAAAA,SACAC,KAAAA,EAAO,MAAA,SAAe,cAAA;EDV2B;AAAA;AAEkB;EAFlB,SCcjDG,MAAAA,EAAQ,iBAAA;EAAA,SACRE,OAAAA,EAAS,QAAA;EAAA,SACTC,YAAAA,EAAc,MAAA,SAAe,MAAA;EAAA,SAC7BC,cAAAA,EAAgB,MAAA;EAAA,SAChBC,SAAAA,GAAY,wBAAA;EAAA,SACZE,WAAAA,EAAa,eAAA;EAAA,SACbE,IAAAA,EAAM,MAAA;EAAA,SACNxB,oBAAAA,GAAuB,aAAA;AAAA;;;;;;;;KC3DtB,YAAA;;AFLM;AAEwC;;;;KEW9C,qCAAA,kBAAuD,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;;;;;;AFbvE;KGQN,eAAA,wFAGI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA,EAAS,WAAA;EAAA,SACT,QAAA,EAAU,UAAA;AAAA,IACjB,KAAA,8EAEC,UAAA,IAAc,KAAA;;;;;;AHJH;KGaJ,iCAAA,kBAAmD,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;KAKzE,QAAA;EAAA,SACD,OAAA;EAAA,SACA,QAAA;AAAA,IACP,KAAK;;;;;;;KAQG,aAAA,mDAEI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA;EAAA,SACA,QAAA,EAAU,UAAA;AAAA,IACjB,KAAA,oFAEC,UAAA,IAAc,KAAA;;;;;;;AHlDD;AAEwC;;;;;;;;;AAW1C;AAG4E;;;;AAM9D;AAAA;;;;;;;;;;;;;;;AAQF;AAAA;;;;;UIalB,MAAA;EAAA,SACCoC,IAAI;AAAA;AAAA,uBAEQ,UAAA,YAAsB,MAAM;EAAA,kBAC/BA,IAAI;AAAA;;;;;;;AJJoC;AAEkB;;AAsBjB;;;;;;;;;;;;;;;;;;;AAaE;AAMf;;;;;;;;AAItB;AAAA;;;AAvBmC,UIkDnD,SAAA,SAAkB,MAAA,EAAQ,gBAAA;EAAA,SACzBA,IAAAA;EAAAA,SACAK,OAAAA,EAAS,QAAA,CAAS,MAAA,SAAe,QAAA,CAAS,MAAA;AAAA;;;;;;;;;;AJSF;AA6E1B;;;;;;;;;;AAiCP;AAAA;;;;;;;;;AAOY;AAAA;;;;UIzCpB,OAAA,SAAgB,MAAA;EAAA,SACfgB,UAAAA,EAAY,QAAA,CAAS,MAAA,SAAe,SAAA;AAAA;AAAA;;;;;;;;;;;;;;;AJwDd;AAAA;;;;;;;;;;AAWJ;AAAA;UIdnB,WAAA,SAAoB,MAAM;EAAA,SACzBrB,IAAI;AAAA;;;;;;;;AJnQG;AAEwC;;;;;;;;;AAW1C;AAG4E;;;;AAM9D;AAAA;;;;;;;;;;;;uBKYP,OAAA,SAAgB,UAAU;EAAA,SACtCqC,IAAAA;EACTC,WAAAA;AAAAA;AAAAA;;;;;;;ALCwD;AAAA;;;;UKchD,wBAAA;EAAA,SACCC,WAAAA;EAAAA,SACAC,SAAAA;EAAAA,SACAC,OAAAA;EAAAA,SACAC,OAAAA;AAAAA;;;;;;;;ALJ+C;AACuB;;;;AAMzC;AAAA;;;cKe1B,mBAAA,SAA4B,OAAA;EAAA,SAC/BH,WAAAA,EAAa,WAAA;EAAA,SACbC,SAAAA;EAAAA,SACAC,OAAAA;EAAAA,SACAC,OAAAA;EACTJ,WAAAA,CAAYQ,KAAAA,EAAO,wBAAA;AAAA;AAAA;AAAA,KAIhB,iBAAA;AAAA,UACK,eAAA;EAAA,SACCC,MAAAA,EAAQ,mBAAA,GAAsB,wBAAA;EAAA,SAC9BE,MAAAA,EAAQ,mBAAA,GAAsB,wBAAA;EAAA,SAC9BC,IAAAA;EAAAA,SACAC,QAAAA,GAAW,iBAAA;EAAA,SACXE,QAAAA,GAAW,iBAAA;ELTE;EAAA,SKWbC,UAAAA;ELVqB;EAAA,SKYrBC,KAAAA;AAAAA;;;;;;;;;;;ALZoD;AAMf;cKoBlC,UAAA,SAAmB,OAAA;EAAA,SACtBR,MAAAA,EAAQ,mBAAA;EAAA,SACRE,MAAAA,EAAQ,mBAAA;EAAA,SACRK,UAAAA;EAAAA,SACAC,KAAAA;EAAAA,SACAL,IAAAA;EAAAA,SACAC,QAAAA,GAAW,iBAAA;EAAA,SACXE,QAAAA,GAAW,iBAAA;EACpBf,WAAAA,CAAYQ,KAAAA,EAAO,eAAA;AAAA;;;;;;;;ALlHH;UMOR,oBAAA;EAAA,SACCW,IAAAA;EAAAA,SACAC,MAAAA;EAAAA,SACAC,QAAAA,EAAU,WAAW;AAAA;;;;;ANGhB;AAG4E;;;;AAM9D;AAAA;;;;cMIhB,eAAA,SAAwB,OAAA;EAAA,SAC3BF,IAAAA;EAAAA,SACAC,MAAAA;EAAAA,SACAC,QAAAA,EAAU,WAAA;EACnBG,WAAAA,CAAYE,KAAAA,EAAO,oBAAA;AAAA;AAAA;AAAA,UAIX,eAAA;EAAA,SACCC,OAAAA;EAAAA,SACAR,IAAI;AAAA;ANNa;;;AAAA,cMWd,UAAA,SAAmB,OAAO;EAAA,SAC7BQ,OAAAA;EAAAA,SACAR,IAAAA;EACTK,WAAAA,CAAYE,KAAAA,EAAO,eAAA;AAAA;AAAA;AAAA,UAIX,UAAA;EAAA,SACCC,OAAAA;EAAAA,SACAR,IAAAA;EAAAA,SACAU,IAAAA;EAAAA,SACAC,OAAAA,GAAU,MAAM;AAAA;;ANTiC;AAEkB;;;;;;cMiBhE,KAAA,SAAc,OAAA;EAAA,SACjBH,OAAAA;EAAAA,SACAR,IAAAA;EAAAA,SACAU,IAAAA;EAAAA,SACAC,OAAAA,GAAU,MAAA;EACnBN,WAAAA,CAAYE,KAAAA,EAAO,UAAA;AAAA;AAAA;;;;;;;;;;;UAcX,kBAAA;EAAA,SACCO,UAAAA;EAAAA,SACAC,OAAAA;EAAAA,SACAC,QAAAA;EAAAA,SACAC,UAAAA,GAAa,MAAA;EAAA,SACbC,OAAAA;EAAAA,SACAC,OAAAA,GAAU,aAAA;EAAA,SACVE,OAAAA,GAAU,aAAA;EAAA,SACVnB,QAAAA,GAAW,WAAA;AAAA;;;;;;;;;;;;;;cAeR,aAAA,SAAsB,OAAA;EAAA,SACzBY,UAAAA;EAAAA,SACAC,OAAAA;EAAAA,SACAC,QAAAA;EAAAA,SACAC,UAAAA,GAAa,MAAA;EAAA,SACbC,OAAAA;EAAAA,SACAC,OAAAA,GAAU,aAAA;EAAA,SACVE,OAAAA,GAAU,aAAA;EAAA,SACVnB,QAAAA,GAAW,WAAA;EACpBG,WAAAA,CAAYE,KAAAA,EAAO,kBAAA;AAAA;AAAA;AAAA,UAIX,qBAAA;EAAA,SACCC,OAAAA;EAAAA,SACAR,IAAI;AAAA;;;;cAKD,gBAAA,SAAyB,OAAO;EAAA,SACnCQ,OAAAA;EAAAA,SACAR,IAAAA;EACTK,WAAAA,CAAYE,KAAAA,EAAO,qBAAA;AAAA;AAAA;AAAA,UAIX,iBAAA;EAAA,SACCC,OAAAA,EAAS,MAAA,SAAe,aAAA,GAAgB,kBAAA;EAAA,SACxCkB,UAAAA,GAAa,UAAA,GAAa,eAAA;EAAA,SAC1BE,OAAAA,EAAS,aAAA,CAAc,gBAAA,GAAmB,qBAAA;EAAA,SAC1CG,OAAAA,EAAS,aAAA,CAAc,KAAA,GAAQ,UAAA;EAAA,SAC/BE,WAAAA,EAAa,aAAA,CAAc,UAAA,GAAa,eAAA;EAAA,SACxCZ,OAAAA,GAAU,aAAA;EAAA,SACVe,MAAAA,GAAS,aAAA,CAAc,eAAA,GAAkB,oBAAA;AAAA;;;ANzCkB;AASoC;;;;;;;;;cM8C5F,YAAA,SAAqB,OAAA;EAAA,SACxB5B,OAAAA,EAAS,QAAA,CAAS,MAAA,SAAe,aAAA;EAAA,SACjCoB,OAAAA,EAAS,aAAA,CAAc,gBAAA;EAAA,SACvBG,OAAAA,EAAS,aAAA,CAAc,KAAA;EAAA,SACvBE,WAAAA,EAAa,aAAA,CAAc,UAAA;EAAA,SAC3BP,UAAAA,GAAa,UAAA;EAAA,SACbL,OAAAA,GAAU,aAAA;EAAA,SACVe,MAAAA,GAAS,aAAA,CAAc,eAAA;EAChC/B,WAAAA,CAAYE,KAAAA,EAAO,iBAAA;AAAA;AAAA;AN1CK;AAE8E;;;;AAF9E,UMmDhB,oBAAA;EAAA,SACCiC,IAAAA;EN9CEtO;EAAAA,SMgDFuO,MAAAA,WAAiB,SAAS;AAAA;;;;;AN5Cc;AA6E1B;;;;;;;;;;AAiCP;AAAA;;cM9CJ,eAAA,SAAwB,OAAA;EAAA,SAC3BD,IAAAA;EAAAA,SACAC,MAAAA,WAAiB,SAAA;EAC1BpC,WAAAA,CAAYE,KAAAA,EAAO,oBAAA;AAAA;;;;;;ANnMH;AAEwC;;;;cOS5C,mBAAA;;;;;APEE;AAG4E;;;UOIlF,mBAAA,SAA4B,WAAA;EAAA,SAC3BsC,IAAAA,SAAa,mBAAA;EAAA,SACbE,OAAAA;EAAAA,SACAC,UAAAA;EAAAA,SACAC,UAAAA,EAAY,MAAA;AAAA;;;;;;;;UASb,wBAAA;EAAA,SACCF,OAAAA;EAAAA,SACAC,UAAAA;EAAAA,SACAC,UAAAA,GAAa,MAAM;AAAA;APNF;;;;;AAAA;AAAA;;;;AAagC;AAEkB;;;KOczE,mBAAA,GAAsB,mBAAA,GAAsB,wBAAwB;AAAA,UAK/D,eAAA;EAAA,SACCU,WAAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7BE,KAAAA,GAAQ,MAAA,SAAe,mBAAA;EAAA,SACvBE,UAAAA,EAAY,QAAA,CAAS,MAAA,SAAe,YAAA;AAAA;APTP;AAAA;;;;;;;;;;;;;;AASqB;AAAA;;;;;;;;;;;KO6BxD,mBAAA,GAAsB,QAAA,CAAS,MAAA,SAAe,QAAA,CAAS,MAAA;EAAA,SACjDE,KAAAA,GAAQ,QAAA,CAAS,MAAA,SAAe,YAAA;EAAA,SAChCE,QAAAA,GAAW,QAAA,CAAS,MAAA,SAAe,eAAA;AAAA;;;;;APlBiB;AAMf;;KOqB3C,YAAA,GAAe,SAAA;EAAA,SACTX,OAAAA,EAAS,mBAAmB;EPnB5B9Q;;;;AACe;AAAA;EOyBxB6R,YAAAA,EAAcC,SAAAA;AAAAA;AAAAA,cAEF,UAAA,wCAAkD,OAAA,YAAmB,OAAA;EAAA,SACxEb,WAAAA,EAAa,eAAA,CAAgB,KAAA;EAAA,SAC7BI,UAAAA,EAAY,QAAA,CAAS,MAAA,SAAe,YAAA;EAAA,SACpCF,KAAAA,GAAQ,QAAA,CAAS,MAAA,SAAe,mBAAA;EACzCc,WAAAA,CAAYvB,KAAAA,EAAO,eAAA,CAAgB,KAAA;AAAA;;;KCrChC,sBAAA,GAAyB,MAAA,SAAe,MAAA,SAAe,MAAA;AAAA,KASvD,YAAA,OAAmB,CAAA,oBAAqB,MAAA,kBAAwB,CAAA;EAAA,SAC1DwE,UAAAA;AAAAA,IACPI,CAAAA,SAAU,MAAA;EACZT,MAAAA;AAAAA,KACGS,CAAAA,GAAI,MAAA,kBAAwB,MAAA;;;;;;;ARjB8B;KQ0D1D,kBAAA;AAAA,KAEA,2BAAA,MAAiC,kBAAA,eAAiC,CAAA,GAAI,WAAA,CAAY,CAAA,CAAE,kBAAA,SAA2B,CAAA;AAAA,KAC/G,kBAAA,OAAyB,CAAA,oBAAqB,MAAA,kBAAwB,CAAA;EAAA,SAChEF,gBAAAA;AAAAA,IACPmB,CAAAA,SAAU,sBAAA,GAAyBA,CAAAA,GAAI,MAAA,kBAAwB,MAAA;AAAA,KAI9D,iBAAA,MAAuB,YAAA,CAAa,2BAAA,CAA4B,CAAA;AAAA,KAEhE,uBAAA,MAA6B,kBAAA,CAAmB,2BAAA,CAA4B,CAAA;;;;;KC+L5E,gBAAA,GAAmB,MAAM,SAAS,MAAA;AAAA,KAClC,gBAAA,GAAmB,QAAA,CAAS,MAAA,SAAe,QAAA,CAAS,MAAA;AAAA,KACpD,eAAA,GAAkB,QAAA,CAAS,MAAA;EAAA,SACrB+N,MAAAA,EAAQ,QAAA,CAAS,MAAA;AAAA;AAAA,KAEvB,kBAAA;EAAA,SACMC,MAAAA;IAAAA,SACEhN,UAAAA,EAAY,eAAA;EAAA;EAAA,SAEd6K,OAAAA;IAAAA,SACE7K,UAAAA,EAAY,QAAA,CAAS,MAAA;MAAA,SACnBkN,OAAAA,EAAS,gBAAA;IAAA;EAAA;EAAA,SAGbrL,YAAAA,EAAc,gBAAA;AAAA;AAAA,KAEpB,iBAAA;EAAA,SACMqL,OAAAA,EAAS,gBAAA;AAAA,KACf,EAAA,6BAA+B,QAAA,CAAS,MAAA,SAAe,YAAA,KAAiB,EAAA,uBAAyB,QAAA,CAAS,MAAA,SAAe,YAAA;AAAA,KACzH,eAAA,WAAwB,kBAAA,wBAA0C,0BAAA,CAA2B,CAAA,IAAK,mBAAA,CAAoB,CAAA,EAAG,IAAA;AAAA,KACzH,0BAAA,WAAqC,kBAAA,qBAAuC,CAAA,kCAAmC,iBAAA,CAAkB,CAAA,0BAA2B,IAAA,oBAAwB,CAAA;AAAA,KACpL,mBAAA,WAA8B,kBAAA,0CAA4D,CAAA,4BAA6B,IAAA,eAAmB,iBAAA,CAAkB,CAAA,0BAA2B,IAAA,KAAS,iBAAA,CAAkB,CAAA,0BAA2B,IAAA,GAAO,IAAA,kBAAsB,CAAA;;;;;;;;KCtWnQ,iBAAA,YAA6B,MAAA,sBAA4B,MAAM;;;AVHzD;AAEwC;;KUQ9C,kBAAA,yCACE,OAAA,KAAY,OAAA,CAAQ,OAAA,OAAc,OAAA,EAAS,CAAA,WACjD,OAAA;;;;;AVCQ;AAG4E;KUIhF,YAAA,qDAAiE,iBAAA,CAC3E,OAAA,CAAQ,QAAA,iBACJ,QAAA,0BAEuB,QAAA,SAAiB,QAAA,GAAW,CAAA,eAAgB,QAAA,GAC7D,QAAA,CAAS,CAAA,IACT,CAAA,eAAgB,QAAA,GACd,QAAA,CAAS,CAAA;AVLO;AAAA;;;;AAAA,KUelB,OAAA,YAAmB,MAAM;;;;;;KAOzB,QAAA,2BAAmC,iBAAA,eAC/B,OAAA,GAAU,OAAA,CAAQ,CAAA;;;;;;;AV7ChB;KWgBN,aAAA,mBAAgC,QAAA,CAAS,UAAA,KAAe,eAAA,CAClE,SAAA,GAAY,kBAAA;;;;;;;;KAUT,mBAAA,mBACe,QAAA,kEAGT,SAAA,+BAAwC,SAAA,2CAC3C,uBAAA,CAAwB,SAAA,mBAElB,MAAA,SAAe,GAAA,YAAe,MAAA,CAAO,CAAA;EAAA,SACtC,OAAA;IAAA,SAAoB,KAAA,EAAO,UAAA;IAAA,SAAqB,MAAA;EAAA;AAAA,kBAGzC,MAAA,SAAe,GAAA,CAAI,CAAA,aAAc,MAAA,CAAO,CAAA;EAAA,SACzC,MAAA,EAAQ,WAAA;AAAA,IAEf,GAAA,CAAI,CAAA,EAAG,CAAA,kBAEL,MAAA,SAAe,GAAA,CAAI,CAAA,4BAEzB,MAAA,SAAe,GAAA;;;;;;;;;;;KAYX,iBAAA,mBACQ,QAAA,CAAS,UAAA,4BACF,aAAA,CAAc,SAAA,sCACb,aAAA,CAAc,SAAA,EAAW,UAAA,kCACxC,aAAA,CAAc,SAAA,EAAW,UAAA,aAAuB,WAAA,MACxD,mBAAA,CAAoB,SAAA,EAAW,UAAA,EAAY,WAAA,qBAC5C,QAAA,SAAiB,aAAA,IAEV,QAAA,4CACD,iBAAA,CAAkB,SAAA,EAAW,QAAA,iCAEnC,mBAAA,CAAoB,SAAA,EAAW,UAAA,EAAY,WAAA;AXtCnB;;;;AAAA,KW4ChB,SAAA,GAAY,MAAM,SAAS,cAAA;;;;AXrCmB;AAAA;;UW6CzC,cAAA;EAAA,SACN,WAAA,EAAa,SAAA;EAAA,SACb,SAAA,EAAW,OAAO;AAAA;;;AXzC+B;AAEkB;;;KWgDlE,gBAAA,mBACQ,QAAA,CAAS,UAAA,4BACF,aAAA,CAAc,SAAA,cACrC,iBAAA,iCAC4B,aAAA,CAAc,SAAA,EAAW,UAAA,wBAC5C,cAAA,CACT,iBAAA,CAAkB,SAAA,EAAW,UAAA,EAAY,UAAA,GACzC,aAAA,CAAc,SAAA,EAAW,UAAA,aAAuB,UAAA;;;;;;;;;KC7FxC,cAAA,8CAEI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA,EAAS,KAAA;AAAA,IAChB,KAAA,yFAEF,KAAA;;;;;;;KASU,gCAAA,kBAAkD,YAAA,IAAgB,KAAA,CAAM,QAAA;AZVpE;AAG4E;;;;AAM9D;AATd,KYkBJ,0BAAA,kBAA4C,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;;;AZ/B5D;AAEwC;KaY9C,GAAA,mBAAsB,QAAA,CAAS,UAAA,oCACZ,aAAA,CAAc,SAAA,aAAsB,cAAA,CAC/D,SAAA,EACA,SAAA,wDAEwB,OAAA,OAChB,aAAA,CAAc,SAAA,EAAW,SAAA,oBACzB,cAAA,aAEG,eAAA,CAAgB,UAAA,EAAY,SAAA,EAAW,SAAA;EAAA,UAExC,GAAA,GAAM,aAAA,CAAc,SAAA,EAAW,SAAA;AAAA,IACvC,MAAA,CACA,WAAA,EACA,iCAAA,uDAAwF,SAAA;EAAA,UAGlF,GAAA,GAAM,QAAA;AAAA,IACd,MAAA,CACA,WAAA,EACA,gCAAA;AblBwF;;;;AAM9D;AAN8D,iBa0B5E,SAAA,mBAA4B,QAAA,CAAS,UAAA,GACnD,SAAA,EAAW,SAAA,GACV,GAAA,CAAI,SAAA;;;;;Ab5CW;AAEwC;;;;ccU7C,aAAA,mBACO,QAAA,CAAS,UAAA,mBACX,aAAA,CAAc,QAAA,CAAS,UAAA,uBACpB,SAAA;EAAA;cAMP,QAAA,EAAU,SAAA;EAItB,MAAA,CACE,QAAA,EAAU,QAAA,GACT,kBAAA,CAAmB,OAAA,iBAClB,aAAA,CACE,SAAA,EACA,OAAA,EACA,YAAA,CAAa,UAAA,EAAY,gBAAA,CAAiB,SAAA,QAAiB,OAAA,eAE7D,qCAAA;EACJ,MAAA,0BAAgC,OAAA,WAC9B,QAAA,EAAU,aAAA,CAAc,UAAA,EAAY,SAAA,8BACnC,aAAA,CACD,SAAA,EACA,OAAA,EACA,YAAA,CAAa,UAAA,EAAY,gBAAA,CAAiB,SAAA,EAAW,UAAA;EAEvD,MAAA,CACE,GAAA,UACC,qCAAA;EAQH,KAAA,IAAS,OAAA,CAAQ,UAAA,yBAGb,QAAA,CAAS,UAAA;AAAA;;;;;AdtDG;AAEwC;;ceQ7C,IAAA,mBAAuB,QAAA,CAAS,UAAA;EAAA;cAG/B,QAAA,EAAU,SAAA;EfPF3lB;;;;AAON;EeSd,IAAA,CACE,KAAA,EAAO,cAAA,UACN,qCAAA;EfFyB;;;EeM5B,IAAA,uBACE,KAAA,iBAAsB,KAAA,GAClB,0BAAA,0FACA,cAAA,CAAe,KAAA,EAAO,SAAA,8BACzB,KAAA,kBACC,aAAA,CAAc,SAAA,EAAW,IAAA,CAAK,aAAA,CAAc,SAAA,GAAY,KAAA,KACxD,qCAAA;EACJ,IAAA,CACE,KAAA,EAAO,0BAAA,0FACN,qCAAA;AAAA;;;;iBAaW,UAAA,CACd,QAAA,UACC,qCAAqC;;;;iBAIxB,UAAA,mBAA6B,QAAA,CAAS,UAAA,GACpD,QAAA,EAAU,SAAA,GACT,IAAA,CAAK,SAAA"}

package/package.json

@@ -1,16 +1,16 @@
 {
   "name": "@prisma-next/sql-lane-query-builder",
-  "version": "0.13.0",
+  "version": "0.14.0-dev.1",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "SQL query builder lane for Prisma Next",
   "devDependencies": {
-    "@prisma-next/contract": "0.13.0",
-    "@prisma-next/sql-builder": "0.13.0",
-    "@prisma-next/sql-contract": "0.13.0",
-    "@prisma-next/tsconfig": "0.13.0",
-    "@prisma-next/tsdown": "0.13.0",
+    "@prisma-next/contract": "0.14.0-dev.1",
+    "@prisma-next/sql-builder": "0.14.0-dev.1",
+    "@prisma-next/sql-contract": "0.14.0-dev.1",
+    "@prisma-next/tsconfig": "0.14.0-dev.1",
+    "@prisma-next/tsdown": "0.14.0-dev.1",
     "tsdown": "0.22.1",
     "typescript": "5.9.3",
     "vitest": "4.1.8"

package/src/selection.ts

@@ -3,7 +3,12 @@ import type {
   UnboundTables as SqlBuilderUnboundTables,
   TableProxyContract,
 } from '@prisma-next/sql-builder/types';
-import type { ExtractCodecTypes, SqlStorage, StorageColumn } from '@prisma-next/sql-contract/types';
+import type {
+  ExtractCodecTypes,
+  ExtractFieldOutputTypes,
+  SqlStorage,
+  StorageColumn,
+} from '@prisma-next/sql-contract/types';
 import type { DrainOuterGeneric } from './type-atoms';
 
 /**
@@ -16,8 +21,37 @@ export type UnboundTables<TContract extends Contract<SqlStorage>> = SqlBuilderUn
 >;
 
 /**
- * A utility type to extract the output type of a referenced column from a contract.
- * Uses the type-only codec channel (ExtractCodecTypes), not runtime mappings.
+ * The field-output override (the enum value union) for a `table.column`, or
+ * `never` when no model field maps to it. The emitted `FieldOutputTypes`
+ * TypeMap is keyed by model/field, so one pass over the models matches both the
+ * `storage.table` and the field's `storage.fields[*].column` to read the
+ * already-narrowed type back out.
+ */
+type FieldOutputOverride<
+  TContract extends Contract,
+  TTableName extends string,
+  TColumnName extends string,
+  Models = TContract['domain']['namespaces'][keyof TContract['domain']['namespaces']]['models'],
+  FOT = ExtractFieldOutputTypes<TContract>,
+> = {
+  [M in keyof Models & keyof FOT & string]: Models[M] extends {
+    readonly storage: { readonly table: TTableName; readonly fields: infer Fields };
+  }
+    ? {
+        [F in keyof Fields & keyof FOT[M] & string]: Fields[F] extends {
+          readonly column: TColumnName;
+        }
+          ? FOT[M][F]
+          : never;
+      }[keyof Fields & keyof FOT[M] & string]
+    : never;
+}[keyof Models & keyof FOT & string];
+
+/**
+ * The output type of a referenced column. Returns the enum value union from the
+ * `FieldOutputTypes` TypeMap when the column is enum-typed (the override already
+ * carries the correct nullability), otherwise the codec output type with column
+ * nullability applied.
  *
  * @template TContract The contract that describes the database.
  * @template TTableName The name of the table containing the column.
@@ -28,11 +62,13 @@ export type ExtractOutputType<
   TTableName extends keyof UnboundTables<TContract> & string,
   TColumnName extends keyof UnboundTables<TContract>[TTableName]['columns'] & string,
   _TColumn = UnboundTables<TContract>[TTableName]['columns'][TColumnName],
-> = _TColumn extends StorageColumn
-  ?
-      | (_TColumn['nullable'] extends true ? null : never)
-      | ExtractCodecTypes<TContract>[_TColumn['codecId']]['output']
-  : never;
+> = [FieldOutputOverride<TContract, TTableName, TColumnName>] extends [never]
+  ? _TColumn extends StorageColumn
+    ?
+        | (_TColumn['nullable'] extends true ? null : never)
+        | ExtractCodecTypes<TContract>[_TColumn['codecId']]['output']
+    : never
+  : FieldOutputOverride<TContract, TTableName, TColumnName>;
 
 /**
  * A type representing a selection of columns in a SQL `select` query in the