@prisma-next/sql-lane-query-builder 0.9.0 → 0.10.0

package/dist/index.d.mts

@@ -298,11 +298,17 @@ declare abstract class IRNodeBase implements IRNode {
  * a target-native binding:
  *
  * - Postgres: a schema (`CREATE SCHEMA …`); rendered as `"<schema>"`.
- * - SQLite: the singleton `UNSPECIFIED_NAMESPACE_ID`; emitted SQL has no qualifier.
+ * - SQLite: the singleton `UNBOUND_NAMESPACE_ID`; emitted SQL has no qualifier.
  * - Mongo: the connection's `db` field; addressed as a database name.
  *
- * See `UNSPECIFIED_NAMESPACE_ID` above for the sentinel id and the
+ * See `UNBOUND_NAMESPACE_ID` above for the sentinel id and the
  * singleton-subclass pattern that materialises it.
+ *
+ * The framework promises only the coordinate (`id`) — the named storage
+ * entities a namespace contains are family-typed (SQL contributes
+ * `tables`, Mongo contributes `collections`, future families pick their
+ * own native idiom). Generic consumers walking "all named entries" go
+ * through a family-typed namespace, not the framework `Namespace`.
  */
 interface Namespace extends IRNode {
   readonly id: string;
@@ -341,7 +347,7 @@ interface Namespace extends IRNode {
  * envelope-shape assertion for each target, so the strip-vs-pass-through
  * choice is locked at test time rather than implied by the override
  * presence/absence. Earned by PR2's per-target namespace lift, when
- * `PostgresSchema` / `SqliteUnspecifiedDatabase` start carrying
+ * `PostgresSchema` / `SqliteUnboundDatabase` start carrying
  * target-specific fields.
  */
 interface Storage extends IRNode {
@@ -370,7 +376,7 @@ interface StorageType extends IRNode {
   readonly kind: string;
 } //#endregion
 //#endregion
-//#region ../../1-core/contract/dist/types-B0lbr9cb.d.mts
+//#region ../../1-core/contract/dist/types-FVBrwvCz.d.mts
 //#region src/ir/sql-node.d.ts
 /**
  * SQL family IR node base. Carries the family-level `kind` discriminator
@@ -408,28 +414,30 @@ declare abstract class SqlNode extends IRNodeBase {
   readonly kind?: string;
   constructor();
 } //#endregion
-//#region src/ir/foreign-key-references.d.ts
-interface ForeignKeyReferencesInput {
-  readonly table: string;
+//#region src/ir/foreign-key-reference.d.ts
+interface ForeignKeyReferenceInput {
+  readonly namespaceId: string;
+  readonly tableName: string;
   readonly columns: readonly string[];
 }
 /**
- * SQL Contract IR node for the referenced side of a foreign key.
+ * SQL Contract IR node for one side (source or target) of a foreign-key
+ * declaration. Carries the full coordinate: namespace, table, and columns.
  *
- * The class is shaped around single-namespace references today; a
- * future milestone introduces a cross-namespace coordinate on top of
- * `(table, columns)` when namespace-keyed storage lands.
+ * Use `UNBOUND_NAMESPACE_ID` from `@prisma-next/framework-components/ir`
+ * as the sentinel `namespaceId` for single-namespace (unbound) references.
  */
-declare class ForeignKeyReferences extends SqlNode {
-  readonly table: string;
+declare class ForeignKeyReference extends SqlNode {
+  readonly namespaceId: string;
+  readonly tableName: string;
   readonly columns: readonly string[];
-  constructor(input: ForeignKeyReferencesInput);
+  constructor(input: ForeignKeyReferenceInput);
 } //#endregion
 //#region src/ir/foreign-key.d.ts
 type ReferentialAction = 'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault';
 interface ForeignKeyInput {
-  readonly columns: readonly string[];
-  readonly references: ForeignKeyReferences | ForeignKeyReferencesInput;
+  readonly source: ForeignKeyReference | ForeignKeyReferenceInput;
+  readonly target: ForeignKeyReference | ForeignKeyReferenceInput;
   readonly name?: string;
   readonly onDelete?: ReferentialAction;
   readonly onUpdate?: ReferentialAction;
@@ -441,14 +449,18 @@ interface ForeignKeyInput {
 /**
  * SQL Contract IR node for a table-level foreign-key declaration.
  *
- * The nested `references` field is normalised to a
- * {@link ForeignKeyReferences} instance inside the constructor so
- * downstream walks see a uniform AST regardless of whether the input
- * was a JSON literal or an already-constructed class instance.
+ * Each FK carries explicit `source` and `target` {@link ForeignKeyReference}
+ * coordinates (namespace, table, columns). For single-namespace contracts the
+ * sentinel `UNBOUND_NAMESPACE_ID` appears on both sides.
+ *
+ * The nested references are normalised to {@link ForeignKeyReference}
+ * instances inside the constructor so downstream walks see a uniform AST
+ * regardless of whether the input was a JSON literal or an already-constructed
+ * class instance.
  */
 declare class ForeignKey extends SqlNode {
-  readonly columns: readonly string[];
-  readonly references: ForeignKeyReferences;
+  readonly source: ForeignKeyReference;
+  readonly target: ForeignKeyReference;
   readonly constraint: boolean;
   readonly index: boolean;
   readonly name?: string;
@@ -603,7 +615,8 @@ interface StorageTableInput {
   readonly foreignKeys: ReadonlyArray<ForeignKey | ForeignKeyInput>;
 }
 /**
- * SQL Contract IR node for a single table entry in `SqlStorage.tables`.
+ * SQL Contract IR node for a single table entry in a namespace's
+ * `tables` map.
  *
  * The constructor normalises nested IR-class fields (columns, primary
  * key, uniques, indexes, foreign keys) into the appropriate class
@@ -611,10 +624,7 @@ interface StorageTableInput {
  * the input was a JSON literal or an already-constructed class.
  *
  * The table's `name` is not on the class — tables are keyed by name in
- * the parent `SqlStorage.tables: Record<string, StorageTable>` map.
- * A future namespace-aware milestone will add a `namespaceId` field
- * when namespace-keyed storage lands; today's single-namespace shape
- * needs neither field.
+ * the parent namespace's `tables: Record<string, StorageTable>` map.
  */
 declare class StorageTable extends SqlNode {
   readonly columns: Readonly<Record<string, StorageColumn>>;
@@ -665,41 +675,42 @@ interface StorageTypeInstanceInput {
 //#endregion
 //#region src/ir/sql-storage.d.ts
 /**
- * Polymorphic value type for `SqlStorage.types` entries (Decision 18,
- * Option B). The slot's framework alphabet is `StorageType` — codec
- * triples (`StorageTypeInstance` with `kind: 'codec-instance'`) and
- * target-specific IR class instances structurally satisfying
- * `PostgresEnumStorageEntry` (with `kind: 'postgres-enum'`) are the
- * two variants the SQL family ships today. The construction side also
- * accepts {@link StorageTypeInstanceInput} so callers can pass raw
- * codec triples; the constructor stamps the discriminator.
+ * Polymorphic value type for document-scoped `SqlStorage.types` entries
+ * (codec aliases / parameterised native type registrations). Postgres
+ * native enum registrations live under
+ * `storage.namespaces[namespaceId].types` instead.
  */
-type SqlStorageTypeEntry = StorageTypeInstance | PostgresEnumStorageEntry | StorageTypeInstanceInput;
+type SqlStorageTypeEntry = StorageTypeInstance | StorageTypeInstanceInput | PostgresEnumStorageEntry;
+interface SqlNamespaceTablesInput {
+  readonly id: string;
+  readonly tables?: Record<string, StorageTable | StorageTableInput>;
+  readonly types?: Record<string, PostgresEnumStorageEntry>;
+}
 interface SqlStorageInput<THash extends string = string> {
   readonly storageHash: StorageHashBase<THash>;
-  readonly tables: Record<string, StorageTable | StorageTableInput>;
   readonly types?: Record<string, SqlStorageTypeEntry>;
-  readonly namespaces?: Readonly<Record<string, Namespace>>;
+  readonly namespaces?: Readonly<Record<string, Namespace | SqlNamespaceTablesInput>>;
 }
 /**
  * SQL Contract IR root node for the `storage` field.
  *
  * Single concrete family-shared class — both Postgres and SQLite
- * consume this same class today. Per-target storage subclasses are
+ * consume this class today. Per-target storage subclasses are
  * introduced when each target's namespace shape earns its
  * target-specific concretion (target-specific derived fields,
  * target-specific storage extensions).
  *
  * Honours the framework `Storage` interface: every SQL IR carries a
  * `namespaces` map keyed by namespace id. The default singleton
- * (`{ [UNSPECIFIED_NAMESPACE_ID]: SqlUnspecifiedNamespace.instance }`)
+ * (`{ [UNBOUND_NAMESPACE_ID]: SqlUnboundNamespace.instance }`)
  * binds every contract authored before per-target namespace concretions
- * land; per-target namespace classes (`PostgresSchema.unspecified`,
- * `SqliteUnspecifiedDatabase.instance`) earn their slots when each
+ * land; per-target namespace classes (`PostgresSchema.unbound`,
+ * `SqliteUnboundDatabase.instance`) earn their slots when each
  * target's namespace shape lands.
  *
- * The constructor normalises nested IR-class fields (`tables`, optional
- * `types`) into class instances so downstream walks see a uniform AST.
+ * The constructor normalises optional `types` into class instances and
+ * materialises plain namespace envelope objects into `Namespace` class
+ * instances so downstream walks see a uniform AST.
  * `types` is polymorphic per Decision 18 Option B: codec-triple inputs
  * are stamped with `kind: 'codec-instance'`; class-instance kinds
  * (e.g. Postgres-enum entries satisfying `PostgresEnumStorageEntry`)
@@ -708,27 +719,34 @@ interface SqlStorageInput<THash extends string = string> {
  * responsibility (so the family base does not import target-specific
  * subclasses).
  */
+type SqlNamespace = Namespace & {
+  readonly tables: Readonly<Record<string, StorageTable>>;
+  readonly types?: Readonly<Record<string, PostgresEnumStorageEntry>>;
+};
 declare class SqlStorage<THash extends string = string> extends SqlNode implements Storage {
   readonly storageHash: StorageHashBase<THash>;
-  readonly tables: Readonly<Record<string, StorageTable>>;
-  readonly namespaces: Readonly<Record<string, Namespace>>;
+  readonly namespaces: Readonly<Record<string, SqlNamespace>> & {
+    readonly __unbound__: SqlNamespace;
+  };
   readonly types?: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>;
   constructor(input: SqlStorageInput<THash>);
 } //#endregion
-//#region src/ir/sql-unspecified-namespace.d.ts
+//#region src/ir/sql-unbound-namespace.d.ts
 /**
- * Family-layer placeholder for the SQL unspecified-namespace singleton.
+ * Family-layer placeholder for the SQL unbound-namespace singleton —
+ * the late-bound slot whose binding the target resolves at connection
+ * time rather than at authoring time.
  *
  * SQL contracts honour the framework `Storage.namespaces` invariant from
  * the moment they appear in the IR. Today `SqlStorage` is family-shared
  * (Postgres + SQLite consume the same class); a per-target namespace
- * concretion (`PostgresSchema.unspecified`, `SqliteUnspecifiedDatabase.instance`)
+ * concretion (`PostgresSchema.unbound`, `SqliteUnboundDatabase.instance`)
  * earns its existence when each target's namespace shape lands. Until
  * then the family ships a single placeholder singleton so the JSON
  * envelope and runtime walk are honest at every layer.
  *
  * The `kind` discriminator is installed as a non-enumerable own property
- * so the JSON envelope reads `{ "id": "__unspecified__" }` — symmetric
+ * so the JSON envelope reads `{ "id": "__unbound__" }` — symmetric
  * with the family-level non-enumerable `kind` on `SqlNode` and bounded
  * to the minimum data the framework `Namespace` interface promises.
  *
@@ -760,49 +778,6 @@ type TypeMapsPhantomKey = '__@prisma-next/sql-contract/typeMaps@__';
 type ExtractTypeMapsFromContract<T> = TypeMapsPhantomKey extends keyof T ? NonNullable<T[TypeMapsPhantomKey & keyof T]> : never;
 type ExtractCodecTypes<T> = CodecTypesOf<ExtractTypeMapsFromContract<T>>;
 //#endregion
-//#region src/table-reference.d.ts
-/**
- * An object representing a reference to a table in the database.
- *
- * @template TName The name of the table. `string` is all tables, a union of string literals is a set of specific tables, a single string literal is a specific table.
- * @template THash The contract storage hash belonging to the database this table is in.
- */
-type TableReference<TName extends string = string, THash extends StorageHashBase<string> = StorageHashBase<string>> = {
-  readonly '~name': TName;
-} & Brand<'[info] this table reference belongs to the contract with the following storage hash:', THash>;
-/**
- * An error type indicating that the provided table reference is out of the contract's scope.
- * To be used in reference creators, e.g. `createRef()`.
- *
- * @template TMessage The error message.
- */
-type TableReferenceOutOfContractError<TMessage extends ErrorMessage> = Brand<TMessage>;
-/**
- * An error type indicating that the provided table reference is too wide.
- * To be used as a `never` alternative in conditional types.
- *
- * @template TMessage The error message.
- */
-type TableReferenceTooWideError<TMessage extends ErrorMessage> = Brand<TMessage>;
-//#endregion
-//#region src/ref.d.ts
-/**
- * A fluent API representing references to tables and columns in a SQL contract.
- *
- * @template TContract The contract that describes the database.
- */
-type Ref<TContract extends Contract<SqlStorage>> = { readonly [TableName in keyof TContract['storage']['tables'] & string]: TableReference<TableName, TContract['storage']['storageHash']> & { readonly [ColumnName in Exclude<keyof TContract['storage']['tables'][TableName]['columns'], keyof TableReference> & string]: ColumnReference<ColumnName, TableName, TContract['storage']['storageHash']> } & {
-  readonly ['*']: TableAsterisk<TableName, TContract['storage']['storageHash']>;
-} & Record<PropertyKey, ColumnReferenceOutOfContractError<`[error] reference to a non-existing column in the '${TableName}' table`>> } & {
-  readonly ['*']: Asterisk;
-} & Record<PropertyKey, TableReferenceOutOfContractError<`[error] reference to a non-existing table in the contract`>>;
-/**
- * Creates a reference object for the given SQL contract.
- *
- * @template TContract The contract that describes the database.
- */
-declare function createRef<TContract extends Contract<SqlStorage>>(_contract: TContract): Ref<TContract>;
-//#endregion
 //#region src/type-atoms.d.ts
 /**
  * A utility type to drain outer generics from a type. A compiler micro-optimization.
@@ -837,6 +812,12 @@ type IsNever<TThing> = [TThing] extends [never] ? true : false;
 type Simplify<TObject extends object> = DrainOuterGeneric<{ [K in keyof TObject]: TObject[K] } & {}>;
 //#endregion
 //#region src/selection.d.ts
+/**
+ * Resolves the tables in the late-binding (`__unbound__`) namespace of a SQL
+ * contract. Builder surfaces address tables by their unqualified name today;
+ * the unbound namespace is the slot the target resolves at connection time.
+ */
+type UnboundTables<TContract extends Contract<SqlStorage>> = TContract['storage']['namespaces']['__unbound__']['tables'];
 /**
  * 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.
@@ -845,7 +826,7 @@ type Simplify<TObject extends object> = DrainOuterGeneric<{ [K in keyof TObject]
  * @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 TContract['storage']['tables'] & string, TColumnName extends keyof TContract['storage']['tables'][TTableName]['columns'] & string, _TColumn = TContract['storage']['tables'][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]> = _TColumn extends StorageColumn ? (_TColumn['nullable'] extends true ? null : never) | ExtractCodecTypes<TContract>[_TColumn['codecId']]['output'] : never;
 /**
  * A type representing a selection of columns in a SQL `select` query in the
  * most generic form.
@@ -867,7 +848,50 @@ interface SelectionValue<TOutput, TDatatype extends string | unknown = unknown>
  * @template TContract The contract that describes the database.
  * @template TTableName The name of the table whose columns will be included in the selection.
  */
-type TableToSelection<TContract extends Contract<SqlStorage>, TTableName extends keyof TContract['storage']['tables'] & string> = DrainOuterGeneric<{ readonly [ColumnName in keyof TContract['storage']['tables'][TTableName]['columns'] & string]: SelectionValue<ExtractOutputType<TContract, TTableName, ColumnName>, TContract['storage']['tables'][TTableName]['columns'][ColumnName]['nativeType']> }>;
+type TableToSelection<TContract extends Contract<SqlStorage>, TTableName extends keyof UnboundTables<TContract> & string> = DrainOuterGeneric<{ readonly [ColumnName in keyof UnboundTables<TContract>[TTableName]['columns'] & string]: SelectionValue<ExtractOutputType<TContract, TTableName, ColumnName>, UnboundTables<TContract>[TTableName]['columns'][ColumnName]['nativeType']> }>;
+//#endregion
+//#region src/table-reference.d.ts
+/**
+ * An object representing a reference to a table in the database.
+ *
+ * @template TName The name of the table. `string` is all tables, a union of string literals is a set of specific tables, a single string literal is a specific table.
+ * @template THash The contract storage hash belonging to the database this table is in.
+ */
+type TableReference<TName extends string = string, THash extends StorageHashBase<string> = StorageHashBase<string>> = {
+  readonly '~name': TName;
+} & Brand<'[info] this table reference belongs to the contract with the following storage hash:', THash>;
+/**
+ * An error type indicating that the provided table reference is out of the contract's scope.
+ * To be used in reference creators, e.g. `createRef()`.
+ *
+ * @template TMessage The error message.
+ */
+type TableReferenceOutOfContractError<TMessage extends ErrorMessage> = Brand<TMessage>;
+/**
+ * An error type indicating that the provided table reference is too wide.
+ * To be used as a `never` alternative in conditional types.
+ *
+ * @template TMessage The error message.
+ */
+type TableReferenceTooWideError<TMessage extends ErrorMessage> = Brand<TMessage>;
+//#endregion
+//#region src/ref.d.ts
+/**
+ * A fluent API representing references to tables and columns in a SQL contract.
+ *
+ * @template TContract The contract that describes the database.
+ */
+type Ref<TContract extends Contract<SqlStorage>> = { readonly [TableName in keyof UnboundTables<TContract> & string]: TableReference<TableName, TContract['storage']['storageHash']> & { readonly [ColumnName in Exclude<keyof UnboundTables<TContract>[TableName]['columns'], keyof TableReference> & string]: ColumnReference<ColumnName, TableName, TContract['storage']['storageHash']> } & {
+  readonly ['*']: TableAsterisk<TableName, TContract['storage']['storageHash']>;
+} & Record<PropertyKey, ColumnReferenceOutOfContractError<`[error] reference to a non-existing column in the '${TableName}' table`>> } & {
+  readonly ['*']: Asterisk;
+} & Record<PropertyKey, TableReferenceOutOfContractError<`[error] reference to a non-existing table in the contract`>>;
+/**
+ * Creates a reference object for the given SQL contract.
+ *
+ * @template TContract The contract that describes the database.
+ */
+declare function createRef<TContract extends Contract<SqlStorage>>(_contract: TContract): Ref<TContract>;
 //#endregion
 //#region src/select-builder.d.ts
 /**
@@ -877,7 +901,7 @@ type TableToSelection<TContract extends Contract<SqlStorage>, TTableName extends
  * @template TTables The tables involved in the current `select` query.
  * @template TSelection The current selection of the `select` query.
  */
-declare class SelectBuilder<TContract extends Contract<SqlStorage>, TTables extends Contract<SqlStorage>['storage']['tables'], TSelection extends Selection = never> {
+declare class SelectBuilder<TContract extends Contract<SqlStorage>, TTables extends UnboundTables<Contract<SqlStorage>>, TSelection extends Selection = never> {
   #private;
   constructor(contract: TContract);
   select(asterisk: Asterisk): ExactlyOneProperty<TTables> extends true ? SelectBuilder<TContract, TTables, MergeObjects<TSelection, TableToSelection<TContract, keyof TTables & string>>> : PreviousFunctionReceivedBadInputError<'[error] selecting all columns via `*` results in ambiguity when multiple tables are involved in the query'>;
@@ -904,7 +928,7 @@ declare class Root<TContract extends Contract<SqlStorage>> {
   /**
    * @template TName The name of the table to select from.
    */
-  from<TName extends string>(table: string extends TName ? TableReferenceTooWideError<'[error] `root.from()` call received a table reference without a specific table name'> : TableReference<TName, TContract['storage']['storageHash']>): TName extends string ? SelectBuilder<TContract, Pick<TContract['storage']['tables'], TName>> : PreviousFunctionReceivedBadInputError<'[error] invalid table reference in previous `root.from()` call will probably cause runtime errors'>;
+  from<TName extends string>(table: string extends TName ? TableReferenceTooWideError<'[error] `root.from()` call received a table reference without a specific table name'> : TableReference<TName, TContract['storage']['storageHash']>): TName extends string ? SelectBuilder<TContract, Pick<UnboundTables<TContract>, TName>> : PreviousFunctionReceivedBadInputError<'[error] invalid table reference in previous `root.from()` call will probably cause runtime errors'>;
   from(table: TableReferenceTooWideError<'[error] `root.from()` call received a table reference without a specific table name'>): PreviousFunctionReceivedBadInputError<'[error] invalid table reference in previous `root.from()` call will probably cause runtime errors'>;
 }
 /**

package/dist/index.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.mts","names":["ScalarFieldType","Record","kind","codecId","typeParams","ValueObjectFieldType","name","UnionFieldType","ReadonlyArray","members","ContractFieldType","ContractField","nullable","type","many","dict","ContractRelationOn","localFields","targetFields","ContractReferenceRelation","to","cardinality","on","ContractEmbedRelation","ContractRelation","ContractDiscriminator","field","ContractVariantEntry","value","ContractValueObject","fields","ModelStorageBase","Readonly","ContractModelBase","TModelStorage","relations","storage","discriminator","variants","base","owner","ContractModel","HasModelsWithRelations","models","ReferenceRelationKeys","TContract","ModelName","K","EmbedRelationKeys","$","Brand","TKey","TValue","StorageHashBase","THash","ExecutionHashBase","executionHash","T","coreHash","ProfileHashBase","profileHash","StorageBase","storageHash","FieldType","items","properties","GeneratedValueSpec","id","params","JsonPrimitive","JsonValue","key","ColumnDefaultLiteralValue","ColumnDefaultLiteralInputValue","Date","isColumnDefaultLiteralInputValue","ColumnDefault","expression","isColumnDefault","ExecutionMutationDefaultValue","isExecutionMutationDefaultValue","ExecutionMutationDefault","ref","table","column","onCreate","onUpdate","ExecutionMutationDefaultPhases","Omit","ExecutionSection","mutations","defaults","Source","readOnly","projection","origin","capabilities","DocIndex","Expr","keys","unique","where","path","DocCollection","strategy","indexes","PlanMeta","target","targetFamily","lane","annotations","ContractMarkerRecord","contractJson","canonicalVersion","updatedAt","appTag","meta","invariants","ContractExecutionSection","Contract","TStorage","TModels","roots","valueObjects","extensionPacks","execution","A","B","C","D","E","F","G","H","I","J","L","M","N","O","P","R","S","U","V","W","_","a","b","c","d","f","g","h","i","j","k","l","m","n","o","p","q","r","s","t","u","v","w","x","y","z","IRNode","kind","IRNodeBase","freezeNode","T","node","UNSPECIFIED_NAMESPACE_ID","Namespace","id","NamespaceBase","Storage","Record","Readonly","namespaces","StorageType","IRNodeBase","Namespace","NamespaceBase","Storage","StorageType","ColumnDefault","StorageHashBase","CodecTrait","SqlNode","kind","constructor","ForeignKeyReferencesInput","table","columns","ForeignKeyReferences","input","ReferentialAction","ForeignKeyInput","references","name","onDelete","onUpdate","constraint","index","ForeignKey","POSTGRES_ENUM_KIND","PostgresEnumStorageEntry","nativeType","values","codecId","isPostgresEnumStorageEntry","value","PrimaryKeyInput","PrimaryKey","IndexInput","Record","type","options","Index","StorageColumnInput","nullable","typeParams","typeRef","default","StorageColumn","UniqueConstraintInput","UniqueConstraint","StorageTableInput","ReadonlyArray","primaryKey","uniques","indexes","foreignKeys","StorageTable","Readonly","CODEC_INSTANCE_KIND","StorageTypeInstance","StorageTypeInstanceInput","toStorageTypeInstance","isStorageTypeInstance","SqlStorageTypeEntry","SqlStorageInput","THash","storageHash","tables","types","namespaces","SqlStorage","SqlUnspecifiedNamespace","instance","id","ForeignKeyOptions","SqlModelFieldStorage","column","SqlModelStorage","fields","DEFAULT_FK_CONSTRAINT","DEFAULT_FK_INDEX","applyFkDefaults","fk","overrideDefaults","TypeMaps","TCodecTypes","TQueryOperationTypes","TFieldOutputTypes","TFieldInputTypes","output","codecTypes","queryOperationTypes","fieldOutputTypes","fieldInputTypes","CodecTypesOf","T","C","QueryOperationSelfSpec","traits","QueryOperationReturn","returnType","QueryOperationTypeEntry","self","impl","args","SqlQueryOperationTypes","_CT","QueryOperationTypesBase","QueryOperationTypesOf","Q","TypeMapsPhantomKey","ContractWithTypeMaps","TContract","TTypeMaps","K","ExtractTypeMapsFromContract","NonNullable","FieldOutputTypesOf","F","FieldInputTypesOf","ExtractCodecTypes","ExtractQueryOperationTypes","ExtractFieldOutputTypes","ExtractFieldInputTypes","ResolveCodecTypes","A","B","D","E","G","H","I","J","L","M","N","O","P","R","S","U","V","W","X","Y","Z","_","a","b","c","d","f","g","h","i","j","k","l","m","n","o","p","q","r","s","t","u","v","w","x","y","z"],"sources":["../../../../1-framework/0-foundation/contract/dist/contract-types-Kl86EaEa.d.mts","../src/type-errors.ts","../src/column-reference.ts","../../../../1-framework/1-core/framework-components/dist/ir.d.mts","../../../1-core/contract/dist/types-B0lbr9cb.d.mts","../src/table-reference.ts","../src/ref.ts","../src/type-atoms.ts","../src/selection.ts","../src/select-builder.ts","../src/root.ts"],"mappings":";;KACKA,eAAAA;EAAAA,SACME,IAAAA;EAAAA,SACAC,OAAAA;EAAAA,SACAC,UAAAA,GAAaH,MAAAA;AAAAA;AAAAA,KAEnBI,oBAAAA;EAAAA,SACMH,IAAAA;EAAAA,SACAI,IAAAA;AAAAA;AAAAA,KAENC,cAAAA;EAAAA,SACML,IAAAA;EAAAA,SACAO,OAAAA,EAASD,aAAAA,CAAcR,eAAAA,GAAkBK,oBAAAA;AAAAA;AAAAA,KAE/CK,iBAAAA,GAAoBV,eAAAA,GAAkBK,oBAAAA,GAAuBE,cAAAA;AAAAA,KAC7DI,aAAAA;EAAAA,SACMC,QAAAA;EAAAA,SACAC,IAAAA,EAAMH,iBAAAA;EAAAA,SACNI,IAAAA;EAAAA,SACAC,IAAAA;AAAAA;AAAAA,KAENC,kBAAAA;EAAAA,SACMC,WAAAA;EAAAA,SACAC,YAAAA;AAAAA;AAAAA,KAENC,yBAAAA;EAAAA,SACMC,EAAAA;EAAAA,SACAC,WAAAA;EAAAA,SACAC,EAAAA,EAAIN,kBAAAA;AAAAA;AAAAA,KAEVO,qBAAAA;EAAAA,SACMH,EAAAA;EAAAA,SACAC,WAAAA;AAAAA;AAAAA,KAENG,gBAAAA,GAAmBL,yBAAAA,GAA4BI,qBAAAA;AAAAA,KAC/CE,qBAAAA;EAAAA,SACMC,KAAAA;AAAAA;AAAAA,KAENC,oBAAAA;EAAAA,SACMC,KAAAA;AAAAA;AAAAA,KAENC,mBAAAA;EAAAA,SACMC,MAAAA,EAAQ7B,MAAAA,SAAeU,aAAAA;AAAAA;AAAAA,KAE7BoB,gBAAAA,GAAmBC,QAAAA,CAAS/B,MAAAA;AAAAA,UACvBgC,iBAAAA,uBAAwCF,gBAAAA,GAAmBA,gBAAAA;EAAAA,SAC1DD,MAAAA,EAAQ7B,MAAAA,SAAeU,aAAAA;EAAAA,SACvBwB,SAAAA,EAAWlC,MAAAA,SAAeuB,gBAAAA;EAAAA,SAC1BY,OAAAA,EAASF,aAAAA;EAAAA,SACTG,aAAAA,GAAgBZ,qBAAAA;EAAAA,SAChBa,QAAAA,GAAWrC,MAAAA,SAAe0B,oBAAAA;EAAAA,SAC1BY,IAAAA;EAAAA,SACAC,KAAAA;AAAAA;AAAAA;AAAAA;;;;cAiBGS,CAAAA;;;AAzCmB;;;;KAgD5BC,KAAAA;EAAAA,CACFD,CAAAA,WAAYE,IAAAA,GAAOC,MAAAA;AAAAA;;;;AA3CmD;;KAkDpEC,eAAAA,yBAAwCC,KAAAA,GAAQJ,KAAAA;;;AAhDrC;;;KAsDXK,iBAAAA,yBAA0CD,KAAAA,GAAQJ,KAAAA;;;;;;KAQlDS,eAAAA,yBAAwCL,KAAAA,GAAQJ,KAAAA;;AAxDN;;;;UA+DrCW,WAAAA;EAAAA,SACCC,WAAAA,EAAaT,eAAAA,CAAgBC,KAAAA;AAAAA;AAAAA,KAQnCY,kBAAAA;EAAAA,SACMC,EAAAA;EAAAA,SACAC,MAAAA,GAASnE,MAAAA;AAAAA;AAAAA,KAEfoE,aAAAA;AAAAA,KACAC,SAAAA,GAAYD,aAAAA;EAAAA,UACLE,GAAAA,WAAcD,SAAAA;AAAAA,aACbA,SAAAA;AAAAA,KACRE,yBAAAA,GAA4BF,SAAAA;AAAAA,KAC5BG,8BAAAA,GAAiCD,yBAAAA,GAA4BE,IAAAA;;;;;;;;;KAU7DE,aAAAA;EAAAA,SACM1E,IAAAA;EAAAA,SACA0B,KAAAA,EAAO6C,8BAAAA;AAAAA;EAAAA,SAEPvE,IAAAA;EAAAA,SACA2E,UAAAA;AAAAA;AAAAA,KAGNE,6BAAAA;EAAAA,SACM7E,IAAAA;EAAAA,SACAiE,EAAAA,EAAID,kBAAAA;EAAAA,SACJE,MAAAA,GAASnE,MAAAA;AAAAA;AAAAA,KAGfgF,wBAAAA;EAAAA,SACMC,GAAAA;IAAAA,SACEC,KAAAA;IAAAA,SACAC,MAAAA;EAAAA;EAAAA,SAEFC,QAAAA,GAAWN,6BAAAA;EAAAA,SACXO,QAAAA,GAAWP,6BAAAA;AAAAA;;;;;;;;;;;;;AAhCA;;;KA6GjBuC,wBAAAA;EAAAA,SACM9D,aAAAA,EAAeD,iBAAAA,CAAkBD,KAAAA;EAAAA,SACjCoC,SAAAA;IAAAA,SACEC,QAAAA,EAAUnF,aAAAA,CAAcyE,wBAAAA;EAAAA;AAAAA;;AArGqE;;;;;;;;;;;AAQlC;;;UA+G9DsC,QAAAA,kBAA0B1D,WAAAA,GAAcA,WAAAA,kBAA6B5D,MAAAA,SAAegC,iBAAAA,IAAqBhC,MAAAA,SAAegC,iBAAAA;EAAAA,SACvH0E,MAAAA;EAAAA,SACAC,YAAAA;EAAAA,SACAc,KAAAA,EAAOzH,MAAAA;EAAAA,SACP0C,MAAAA,EAAQ8E,OAAAA;EAAAA,SACRE,YAAAA,GAAe1H,MAAAA,SAAe4B,mBAAAA;EAAAA,SAC9BO,OAAAA,EAASoF,QAAAA;EAAAA,SACTxB,YAAAA,EAAc/F,MAAAA,SAAeA,MAAAA;EAAAA,SAC7B2H,cAAAA,EAAgB3H,MAAAA;EAAAA,SAChB4H,SAAAA,GAAYP,wBAAAA;EAAAA,SACZ1D,WAAAA,EAAaD,eAAAA;EAAAA,SACbyD,IAAAA,EAAMnH,MAAAA;AAAAA;;;;;;;;KC/PL,YAAA;;;;;;;KAQA,qCAAA,kBAAuD,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;;;;;;;KCL7E,eAAA,wFAGI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA,EAAS,WAAA;EAAA,SACT,QAAA,EAAU,UAAA;AAAA,IACjB,KAAA,8EAEC,UAAA,IAAc,KAAA;AFfW;;;;;AAIf;AAJe,KEwBlB,iCAAA,kBAAmD,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;KAKzE,QAAA;EAAA,SACD,OAAA;EAAA,SACA,QAAA;AAAA,IACP,KAAA;;;;;;;KAQQ,aAAA,mDAEI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA;EAAA,SACA,QAAA,EAAU,UAAA;AAAA,IACjB,KAAA,oFAEC,UAAA,IAAc,KAAA;;;;;;;;;;;;;;;;AFhDW;;;;;AAIf;;;;;;;;;;;;;;;AAIyD;;;;;;;;UG6B9D2K,MAAAA;EAAAA,SACCC,IAAAA;AAAAA;AAAAA,uBAEYC,UAAAA,YAAsBF,MAAAA;EAAAA,kBACzBC,IAAAA;AAAAA;;;;;;;;;;;AHbE;;;;;AAEmD;;;;;AAEzD;;UGqDNM,SAAAA,SAAkBP,MAAAA;EAAAA,SACjBQ,EAAAA;AAAAA;AAAAA;AAAAA;;;;;AHhDoC;;;;;AAER;;;;;;;;;;;;;;;;;;;;;;;;;;UGwF7BE,OAAAA,SAAgBV,MAAAA;EAAAA,SACfa,UAAAA,EAAYD,QAAAA,CAASD,MAAAA,SAAeJ,SAAAA;AAAAA;AAAAA;;;;;AHtEwQ;;;;;AAMzR;;;;;;;;;UGsFpBO,WAAAA,SAAoBd,MAAAA;EAAAA,SACnBC,IAAAA;AAAAA;;;;;;;;;;;;AHxJmB;;;;;AAIf;;;;;;;;;;;;;;;AAIyD;;;;uBIyBjDsB,OAAAA,SAAgBR,UAAAA;EAAAA,SAC5BS,IAAAA;EACTC,WAAAA,CAAAA;AAAAA;AAAAA;AAAAA,UAIQC,yBAAAA;EAAAA,SACCC,KAAAA;EAAAA,SACAC,OAAAA;AAAAA;;;;;;;;cASGC,oBAAAA,SAA6BN,OAAAA;EAAAA,SAChCI,KAAAA;EAAAA,SACAC,OAAAA;EACTH,WAAAA,CAAYK,KAAAA,EAAOJ,yBAAAA;AAAAA;AAAAA;AAAAA,KAIhBK,iBAAAA;AAAAA,UACKC,eAAAA;EAAAA,SACCJ,OAAAA;EAAAA,SACAK,UAAAA,EAAYJ,oBAAAA,GAAuBH,yBAAAA;EAAAA,SACnCQ,IAAAA;EAAAA,SACAC,QAAAA,GAAWJ,iBAAAA;EAAAA,SACXK,QAAAA,GAAWL,iBAAAA;EJvCXrL;EAAAA,SIyCA2L,UAAAA;EJzCsB;EAAA,SI2CtBC,KAAAA;AAAAA;;;;;AJvCW;;;;cIiDRC,UAAAA,SAAmBhB,OAAAA;EAAAA,SACtBK,OAAAA;EAAAA,SACAK,UAAAA,EAAYJ,oBAAAA;EAAAA,SACZQ,UAAAA;EAAAA,SACAC,KAAAA;EAAAA,SACAJ,IAAAA;EAAAA,SACAC,QAAAA,GAAWJ,iBAAAA;EAAAA,SACXK,QAAAA,GAAWL,iBAAAA;EACpBN,WAAAA,CAAYK,KAAAA,EAAOE,eAAAA;AAAAA;AAAAA;;;;;;;;;AJ/C0B;;;;;AAER;;cIgEzBQ,kBAAAA;;;;;;;;;;;;;UAaJC,wBAAAA,SAAiCtB,WAAAA;EAAAA,SAChCK,IAAAA,SAAagB,kBAAAA;EAAAA,SACbN,IAAAA;EAAAA,SACAQ,UAAAA;EAAAA,SACAC,MAAAA;EJ/EuB5M;;;;;;;EAAAA,SIuFvB6M,OAAAA;AAAAA;;;;;;;;UAUDG,eAAAA;EAAAA,SACCnB,OAAAA;EAAAA,SACAM,IAAAA;AAAAA;;;;cAKGc,UAAAA,SAAmBzB,OAAAA;EAAAA,SACtBK,OAAAA;EAAAA,SACAM,IAAAA;EACTT,WAAAA,CAAYK,KAAAA,EAAOiB,eAAAA;AAAAA;AAAAA;AAAAA,UAIXE,UAAAA;EAAAA,SACCrB,OAAAA;EAAAA,SACAM,IAAAA;EAAAA,SACAiB,IAAAA;EAAAA,SACAC,OAAAA,GAAUF,MAAAA;AAAAA;;;;;;;;;cAUPG,KAAAA,SAAc9B,OAAAA;EAAAA,SACjBK,OAAAA;EAAAA,SACAM,IAAAA;EAAAA,SACAiB,IAAAA;EAAAA,SACAC,OAAAA,GAAUF,MAAAA;EACnBzB,WAAAA,CAAYK,KAAAA,EAAOmB,UAAAA;AAAAA;AAAAA;AJpFyD;;;;;;;;;AAOG;AAPH,UIkGpEK,kBAAAA;EAAAA,SACCZ,UAAAA;EAAAA,SACAE,OAAAA;EAAAA,SACAW,QAAAA;EAAAA,SACAC,UAAAA,GAAaN,MAAAA;EAAAA,SACbO,OAAAA;EAAAA,SACAC,OAAAA,GAAUtC,aAAAA;AAAAA;;AJpF2B;;;;;;;;;AAItB;;;cI+FZuC,aAAAA,SAAsBpC,OAAAA;EAAAA,SACzBmB,UAAAA;EAAAA,SACAE,OAAAA;EAAAA,SACAW,QAAAA;EAAAA,SACAC,UAAAA,GAAaN,MAAAA;EAAAA,SACbO,OAAAA;EAAAA,SACAC,OAAAA,GAAUtC,aAAAA;EACnBK,WAAAA,CAAYK,KAAAA,EAAOwB,kBAAAA;AAAAA;AAAAA;AAAAA,UAIXM,qBAAAA;EAAAA,SACChC,OAAAA;EAAAA,SACAM,IAAAA;AAAAA;;AJvGW;;cI4GR2B,gBAAAA,SAAyBtC,OAAAA;EAAAA,SAC5BK,OAAAA;EAAAA,SACAM,IAAAA;EACTT,WAAAA,CAAYK,KAAAA,EAAO8B,qBAAAA;AAAAA;AAAAA;AAAAA,UAIXE,iBAAAA;EAAAA,SACClC,OAAAA,EAASsB,MAAAA,SAAeS,aAAAA,GAAgBL,kBAAAA;EAAAA,SACxCU,UAAAA,GAAahB,UAAAA,GAAaD,eAAAA;EAAAA,SAC1BkB,OAAAA,EAASF,aAAAA,CAAcF,gBAAAA,GAAmBD,qBAAAA;EAAAA,SAC1CM,OAAAA,EAASH,aAAAA,CAAcV,KAAAA,GAAQJ,UAAAA;EAAAA,SAC/BkB,WAAAA,EAAaJ,aAAAA,CAAcxB,UAAAA,GAAaP,eAAAA;AAAAA;;;;;;AJrGqB;;;;;;;;;cIqH1DoC,YAAAA,SAAqB7C,OAAAA;EAAAA,SACxBK,OAAAA,EAASyC,QAAAA,CAASnB,MAAAA,SAAeS,aAAAA;EAAAA,SACjCM,OAAAA,EAASF,aAAAA,CAAcF,gBAAAA;EAAAA,SACvBK,OAAAA,EAASH,aAAAA,CAAcV,KAAAA;EAAAA,SACvBc,WAAAA,EAAaJ,aAAAA,CAAcxB,UAAAA;EAAAA,SAC3ByB,UAAAA,GAAahB,UAAAA;EACtBvB,WAAAA,CAAYK,KAAAA,EAAOgC,iBAAAA;AAAAA;AAAAA;;;;;;AJ9CA;;cIyDPQ,mBAAAA;;;;;;;;;UASJC,mBAAAA,SAA4BpD,WAAAA;EAAAA,SAC3BK,IAAAA,SAAa8C,mBAAAA;EAAAA,SACb1B,OAAAA;EAAAA,SACAF,UAAAA;EAAAA,SACAc,UAAAA,EAAYN,MAAAA;AAAAA;;;AJtDsC;;;UI6DnDsB,wBAAAA;EAAAA,SACC5B,OAAAA;EAAAA,SACAF,UAAAA;EAAAA,SACAc,UAAAA,EAAYN,MAAAA;AAAAA;;;;;;;;;;;;;;;;;;KA0BlByB,mBAAAA,GAAsBJ,mBAAAA,GAAsB9B,wBAAAA,GAA2B+B,wBAAAA;AAAAA,UAClEI,eAAAA;EAAAA,SACCE,WAAAA,EAAazD,eAAAA,CAAgBwD,KAAAA;EAAAA,SAC7BE,MAAAA,EAAQ7B,MAAAA,SAAekB,YAAAA,GAAeN,iBAAAA;EAAAA,SACtCkB,KAAAA,GAAQ9B,MAAAA,SAAeyB,mBAAAA;EAAAA,SACvBM,UAAAA,GAAaZ,QAAAA,CAASnB,MAAAA,SAAelC,SAAAA;AAAAA;;;;;;;;;;;;;;;;;;;AHjUhD;;;;;AAQA;;;;cGsVckE,UAAAA,wCAAkD3D,OAAAA,YAAmBL,OAAAA;EAAAA,SACxE4D,WAAAA,EAAazD,eAAAA,CAAgBwD,KAAAA;EAAAA,SAC7BE,MAAAA,EAAQV,QAAAA,CAASnB,MAAAA,SAAekB,YAAAA;EAAAA,SAChCa,UAAAA,EAAYZ,QAAAA,CAASnB,MAAAA,SAAelC,SAAAA;EAAAA,SACpCgE,KAAAA,GAAQX,QAAAA,CAASnB,MAAAA,SAAeqB,mBAAAA,GAAsB9B,wBAAAA;EAC/DhB,WAAAA,CAAYK,KAAAA,EAAO8C,eAAAA,CAAgBC,KAAAA;AAAAA;AAAAA;;;;;AFhWrC;;;;;;;;;;;;;;;;;;;;;;;;KE0aK6B,YAAAA,OAAmBC,CAAAA,oBAAqBzD,MAAAA,kBAAwByD,CAAAA;EAAAA,SAC1DL,UAAAA;AAAAA,IACPM,CAAAA,SAAU1D,MAAAA;EACZmD,MAAAA;AAAAA,KACGO,CAAAA,GAAI1D,MAAAA,kBAAwBA,MAAAA;;;;;;;;KAyC5BwE,kBAAAA;AAAAA,KAEAK,2BAAAA,MAAiCL,kBAAAA,eAAiCf,CAAAA,GAAIqB,WAAAA,CAAYrB,CAAAA,CAAEe,kBAAAA,SAA2Bf,CAAAA;AAAAA,KAO/GyB,iBAAAA,MAAuB1B,YAAAA,CAAaqB,2BAAAA,CAA4BpB,CAAAA;;;;;;;;;KCjezD,cAAA,8CAEI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA,EAAS,KAAA;AAAA,IAChB,KAAA,yFAEF,KAAA;;;ALZ4B;;;;KKqBlB,gCAAA,kBAAkD,YAAA,IAAgB,KAAA,CAAM,QAAA;ALjBrE;;;;;;AAAA,KKyBH,0BAAA,kBAA4C,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;;;;;KClBlE,GAAA,mBAAsB,QAAA,CAAS,UAAA,oCACZ,SAAA,iCAA0C,cAAA,CACrE,SAAA,EACA,SAAA,wDAEwB,OAAA,OAChB,SAAA,sBAA+B,SAAA,oBAC/B,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;AN3BW;;;;;AAAA,iBMmCC,SAAA,mBAA4B,QAAA,CAAS,UAAA,EAAA,CACnD,SAAA,EAAW,SAAA,GACV,GAAA,CAAI,SAAA;;;;;;;;KCxCK,iBAAA,YAA6B,MAAA,sBAA4B,MAAA;;;;;;KAOzD,kBAAA,yCACE,OAAA,KAAY,OAAA,CAAQ,OAAA,OAAc,OAAA,EAAS,CAAA,WACjD,OAAA;;;;;APNO;;KOcH,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,MAAA;;;;;AP3ByC;KOkC5D,QAAA,2BAAmC,iBAAA,eAC/B,OAAA,GAAU,OAAA,CAAQ,CAAA;;;;;;;;;;;KCnCtB,iBAAA,mBACQ,QAAA,CAAS,UAAA,4BACF,SAAA,0DACC,SAAA,sBAA+B,UAAA,kCAC9C,SAAA,sBAA+B,UAAA,aAAuB,WAAA,KAC/D,QAAA,SAAiB,aAAA,IAEZ,QAAA,4CACD,iBAAA,CAAkB,SAAA,EAAW,QAAA;;ARhBP;;;KQuBlB,SAAA,GAAY,MAAA,SAAe,cAAA;;ARnBxB;;;;;UQ2BE,cAAA;EAAA,SACN,WAAA,EAAa,SAAA;EAAA,SACb,SAAA,EAAW,OAAA;AAAA;;;;;;;KASV,gBAAA,mBACQ,QAAA,CAAS,UAAA,4BACF,SAAA,kCACvB,iBAAA,iCAC4B,SAAA,sBAA+B,UAAA,wBAClD,cAAA,CACT,iBAAA,CAAkB,SAAA,EAAW,UAAA,EAAY,UAAA,GACzC,SAAA,sBAA+B,UAAA,aAAuB,UAAA;;;;;;;;;;cCvC7C,aAAA,mBACO,QAAA,CAAS,UAAA,mBACX,QAAA,CAAS,UAAA,2CACN,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,UAAA,CAC9B,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,CAAA,GAAS,OAAA,CAAQ,UAAA,yBAGb,QAAA,CAAS,UAAA;AAAA;;;;;;;;cC7CF,IAAA,mBAAuB,QAAA,CAAS,UAAA;EAAA;cAG/B,QAAA,EAAU,SAAA;EVRnBlR;;;;;EUiBH,IAAA,CACE,KAAA,EAAO,cAAA,UACN,qCAAA;EVfc;;;EUmBjB,IAAA,sBAAA,CACE,KAAA,iBAAsB,KAAA,GAClB,0BAAA,0FACA,cAAA,CAAe,KAAA,EAAO,SAAA,8BACzB,KAAA,kBACC,aAAA,CAAc,SAAA,EAAW,IAAA,CAAK,SAAA,uBAAgC,KAAA,KAC9D,qCAAA;EACJ,IAAA,CACE,KAAA,EAAO,0BAAA,0FACN,qCAAA;AAAA;;;;iBAaW,UAAA,CACd,QAAA,UACC,qCAAA;;;;iBAIa,UAAA,mBAA6B,QAAA,CAAS,UAAA,EAAA,CACpD,QAAA,EAAU,SAAA,GACT,IAAA,CAAK,SAAA"}
+{"version":3,"file":"index.d.mts","names":["ScalarFieldType","Record","kind","codecId","typeParams","ValueObjectFieldType","name","UnionFieldType","ReadonlyArray","members","ContractFieldType","ContractField","nullable","type","many","dict","ContractRelationOn","localFields","targetFields","ContractReferenceRelation","to","cardinality","on","ContractEmbedRelation","ContractRelation","ContractDiscriminator","field","ContractVariantEntry","value","ContractValueObject","fields","ModelStorageBase","Readonly","ContractModelBase","TModelStorage","relations","storage","discriminator","variants","base","owner","ContractModel","HasModelsWithRelations","models","ReferenceRelationKeys","TContract","ModelName","K","EmbedRelationKeys","$","Brand","TKey","TValue","StorageHashBase","THash","ExecutionHashBase","executionHash","T","coreHash","ProfileHashBase","profileHash","StorageBase","storageHash","FieldType","items","properties","GeneratedValueSpec","id","params","JsonPrimitive","JsonValue","key","ColumnDefaultLiteralValue","ColumnDefaultLiteralInputValue","Date","isColumnDefaultLiteralInputValue","ColumnDefault","expression","isColumnDefault","ExecutionMutationDefaultValue","isExecutionMutationDefaultValue","ExecutionMutationDefault","ref","table","column","onCreate","onUpdate","ExecutionMutationDefaultPhases","Omit","ExecutionSection","mutations","defaults","Source","readOnly","projection","origin","capabilities","DocIndex","Expr","keys","unique","where","path","DocCollection","strategy","indexes","PlanMeta","target","targetFamily","lane","annotations","ContractMarkerRecord","contractJson","canonicalVersion","updatedAt","appTag","meta","invariants","ContractExecutionSection","Contract","TStorage","TModels","roots","valueObjects","extensionPacks","execution","A","B","C","D","E","F","G","H","I","J","L","M","N","O","P","R","S","U","V","W","_","a","b","c","d","f","g","h","i","j","k","l","m","n","o","p","q","r","s","t","u","v","w","x","y","z","IRNode","kind","IRNodeBase","freezeNode","T","node","UNBOUND_NAMESPACE_ID","Namespace","id","NamespaceBase","Storage","Record","Readonly","namespaces","StorageType","IRNodeBase","Namespace","NamespaceBase","Storage","StorageType","ColumnDefault","StorageHashBase","CodecTrait","SqlNode","kind","constructor","ForeignKeyReferenceInput","namespaceId","tableName","columns","ForeignKeyReference","input","ReferentialAction","ForeignKeyInput","source","target","name","onDelete","onUpdate","constraint","index","ForeignKey","POSTGRES_ENUM_KIND","PostgresEnumStorageEntry","nativeType","values","codecId","isPostgresEnumStorageEntry","value","PrimaryKeyInput","PrimaryKey","IndexInput","Record","type","options","Index","StorageColumnInput","nullable","typeParams","typeRef","default","StorageColumn","UniqueConstraintInput","UniqueConstraint","StorageTableInput","ReadonlyArray","primaryKey","uniques","indexes","foreignKeys","StorageTable","Readonly","CODEC_INSTANCE_KIND","StorageTypeInstance","StorageTypeInstanceInput","toStorageTypeInstance","isStorageTypeInstance","SqlStorageTypeEntry","SqlNamespaceTablesInput","id","tables","types","SqlStorageInput","THash","storageHash","namespaces","SqlNamespace","SqlStorage","__unbound__","SqlUnboundNamespace","instance","ForeignKeyOptions","SqlModelFieldStorage","column","SqlModelStorage","table","fields","DEFAULT_FK_CONSTRAINT","DEFAULT_FK_INDEX","applyFkDefaults","fk","overrideDefaults","TypeMaps","TCodecTypes","TQueryOperationTypes","TFieldOutputTypes","TFieldInputTypes","output","codecTypes","queryOperationTypes","fieldOutputTypes","fieldInputTypes","CodecTypesOf","T","C","QueryOperationSelfSpec","traits","QueryOperationReturn","returnType","QueryOperationTypeEntry","self","impl","args","SqlQueryOperationTypes","_CT","QueryOperationTypesBase","QueryOperationTypesOf","Q","TypeMapsPhantomKey","ContractWithTypeMaps","TContract","TTypeMaps","K","ExtractTypeMapsFromContract","NonNullable","FieldOutputTypesOf","F","FieldInputTypesOf","ExtractCodecTypes","ExtractQueryOperationTypes","ExtractFieldOutputTypes","ExtractFieldInputTypes","ResolveCodecTypes","$","A","B","D","E","G","H","I","J","L","M","N","O","P","R","S","U","V","W","X","Y","Z","_","a","b","c","d","f","g","h","i","j","k","l","m","n","o","p","q","r","s","t","u","v","w","x","y","z"],"sources":["../../../../1-framework/0-foundation/contract/dist/contract-types-Kl86EaEa.d.mts","../src/type-errors.ts","../src/column-reference.ts","../../../../1-framework/1-core/framework-components/dist/ir.d.mts","../../../1-core/contract/dist/types-FVBrwvCz.d.mts","../src/type-atoms.ts","../src/selection.ts","../src/table-reference.ts","../src/ref.ts","../src/select-builder.ts","../src/root.ts"],"mappings":";;KACKA,eAAAA;EAAAA,SACME,IAAAA;EAAAA,SACAC,OAAAA;EAAAA,SACAC,UAAAA,GAAaH,MAAAA;AAAAA;AAAAA,KAEnBI,oBAAAA;EAAAA,SACMH,IAAAA;EAAAA,SACAI,IAAAA;AAAAA;AAAAA,KAENC,cAAAA;EAAAA,SACML,IAAAA;EAAAA,SACAO,OAAAA,EAASD,aAAAA,CAAcR,eAAAA,GAAkBK,oBAAAA;AAAAA;AAAAA,KAE/CK,iBAAAA,GAAoBV,eAAAA,GAAkBK,oBAAAA,GAAuBE,cAAAA;AAAAA,KAC7DI,aAAAA;EAAAA,SACMC,QAAAA;EAAAA,SACAC,IAAAA,EAAMH,iBAAAA;EAAAA,SACNI,IAAAA;EAAAA,SACAC,IAAAA;AAAAA;AAAAA,KAENC,kBAAAA;EAAAA,SACMC,WAAAA;EAAAA,SACAC,YAAAA;AAAAA;AAAAA,KAENC,yBAAAA;EAAAA,SACMC,EAAAA;EAAAA,SACAC,WAAAA;EAAAA,SACAC,EAAAA,EAAIN,kBAAAA;AAAAA;AAAAA,KAEVO,qBAAAA;EAAAA,SACMH,EAAAA;EAAAA,SACAC,WAAAA;AAAAA;AAAAA,KAENG,gBAAAA,GAAmBL,yBAAAA,GAA4BI,qBAAAA;AAAAA,KAC/CE,qBAAAA;EAAAA,SACMC,KAAAA;AAAAA;AAAAA,KAENC,oBAAAA;EAAAA,SACMC,KAAAA;AAAAA;AAAAA,KAENC,mBAAAA;EAAAA,SACMC,MAAAA,EAAQ7B,MAAAA,SAAeU,aAAAA;AAAAA;AAAAA,KAE7BoB,gBAAAA,GAAmBC,QAAAA,CAAS/B,MAAAA;AAAAA,UACvBgC,iBAAAA,uBAAwCF,gBAAAA,GAAmBA,gBAAAA;EAAAA,SAC1DD,MAAAA,EAAQ7B,MAAAA,SAAeU,aAAAA;EAAAA,SACvBwB,SAAAA,EAAWlC,MAAAA,SAAeuB,gBAAAA;EAAAA,SAC1BY,OAAAA,EAASF,aAAAA;EAAAA,SACTG,aAAAA,GAAgBZ,qBAAAA;EAAAA,SAChBa,QAAAA,GAAWrC,MAAAA,SAAe0B,oBAAAA;EAAAA,SAC1BY,IAAAA;EAAAA,SACAC,KAAAA;AAAAA;AAAAA;AAAAA;;;;cAiBGS,CAAAA;;;AAzCmB;;;;KAgD5BC,KAAAA;EAAAA,CACFD,CAAAA,WAAYE,IAAAA,GAAOC,MAAAA;AAAAA;;;;AA3CmD;;KAkDpEC,eAAAA,yBAAwCC,KAAAA,GAAQJ,KAAAA;;;AAhDrC;;;KAsDXK,iBAAAA,yBAA0CD,KAAAA,GAAQJ,KAAAA;;;;;;KAQlDS,eAAAA,yBAAwCL,KAAAA,GAAQJ,KAAAA;;AAxDN;;;;UA+DrCW,WAAAA;EAAAA,SACCC,WAAAA,EAAaT,eAAAA,CAAgBC,KAAAA;AAAAA;AAAAA,KAQnCY,kBAAAA;EAAAA,SACMC,EAAAA;EAAAA,SACAC,MAAAA,GAASnE,MAAAA;AAAAA;AAAAA,KAEfoE,aAAAA;AAAAA,KACAC,SAAAA,GAAYD,aAAAA;EAAAA,UACLE,GAAAA,WAAcD,SAAAA;AAAAA,aACbA,SAAAA;AAAAA,KACRE,yBAAAA,GAA4BF,SAAAA;AAAAA,KAC5BG,8BAAAA,GAAiCD,yBAAAA,GAA4BE,IAAAA;;;;;;;;;KAU7DE,aAAAA;EAAAA,SACM1E,IAAAA;EAAAA,SACA0B,KAAAA,EAAO6C,8BAAAA;AAAAA;EAAAA,SAEPvE,IAAAA;EAAAA,SACA2E,UAAAA;AAAAA;AAAAA,KAGNE,6BAAAA;EAAAA,SACM7E,IAAAA;EAAAA,SACAiE,EAAAA,EAAID,kBAAAA;EAAAA,SACJE,MAAAA,GAASnE,MAAAA;AAAAA;AAAAA,KAGfgF,wBAAAA;EAAAA,SACMC,GAAAA;IAAAA,SACEC,KAAAA;IAAAA,SACAC,MAAAA;EAAAA;EAAAA,SAEFC,QAAAA,GAAWN,6BAAAA;EAAAA,SACXO,QAAAA,GAAWP,6BAAAA;AAAAA;;;;;;;;;;;;;AAhCA;;;KA6GjBuC,wBAAAA;EAAAA,SACM9D,aAAAA,EAAeD,iBAAAA,CAAkBD,KAAAA;EAAAA,SACjCoC,SAAAA;IAAAA,SACEC,QAAAA,EAAUnF,aAAAA,CAAcyE,wBAAAA;EAAAA;AAAAA;;AArGqE;;;;;;;;;;;AAQlC;;;UA+G9DsC,QAAAA,kBAA0B1D,WAAAA,GAAcA,WAAAA,kBAA6B5D,MAAAA,SAAegC,iBAAAA,IAAqBhC,MAAAA,SAAegC,iBAAAA;EAAAA,SACvH0E,MAAAA;EAAAA,SACAC,YAAAA;EAAAA,SACAc,KAAAA,EAAOzH,MAAAA;EAAAA,SACP0C,MAAAA,EAAQ8E,OAAAA;EAAAA,SACRE,YAAAA,GAAe1H,MAAAA,SAAe4B,mBAAAA;EAAAA,SAC9BO,OAAAA,EAASoF,QAAAA;EAAAA,SACTxB,YAAAA,EAAc/F,MAAAA,SAAeA,MAAAA;EAAAA,SAC7B2H,cAAAA,EAAgB3H,MAAAA;EAAAA,SAChB4H,SAAAA,GAAYP,wBAAAA;EAAAA,SACZ1D,WAAAA,EAAaD,eAAAA;EAAAA,SACbyD,IAAAA,EAAMnH,MAAAA;AAAAA;;;;;;;;KC/PL,YAAA;;;;;;;KAQA,qCAAA,kBAAuD,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;;;;;;;KCL7E,eAAA,wFAGI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA,EAAS,WAAA;EAAA,SACT,QAAA,EAAU,UAAA;AAAA,IACjB,KAAA,8EAEC,UAAA,IAAc,KAAA;AFfW;;;;;AAIf;AAJe,KEwBlB,iCAAA,kBAAmD,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;KAKzE,QAAA;EAAA,SACD,OAAA;EAAA,SACA,QAAA;AAAA,IACP,KAAA;;;;;;;KAQQ,aAAA,mDAEI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA;EAAA,SACA,QAAA,EAAU,UAAA;AAAA,IACjB,KAAA,oFAEC,UAAA,IAAc,KAAA;;;;;;;;;;;;;;;;AFhDW;;;;;AAIf;;;;;;;;;;;;;;;AAIyD;;;;;;;;UG6B9D2K,MAAAA;EAAAA,SACCC,IAAAA;AAAAA;AAAAA,uBAEYC,UAAAA,YAAsBF,MAAAA;EAAAA,kBACzBC,IAAAA;AAAAA;;;;;;;;;;;;;;AHTJ;;;;;AAGA;;;;;;;;;AAG+B;UG4DrCM,SAAAA,SAAkBP,MAAAA;EAAAA,SACjBQ,EAAAA;AAAAA;AAAAA;AAAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AHxC4S;;;;UGkF7SE,OAAAA,SAAgBV,MAAAA;EAAAA,SACfa,UAAAA,EAAYD,QAAAA,CAASD,MAAAA,SAAeJ,SAAAA;AAAAA;AAAAA;;;;;;;;;;;;;AHrEnB;;;;;;UG2FlBO,WAAAA,SAAoBd,MAAAA;EAAAA,SACnBC,IAAAA;AAAAA;;;;;;;;;;;;AHrKmB;;;;;AAIf;;;;;;;;;;;;;;;AAIyD;;;;uBIyBjDsB,OAAAA,SAAgBR,UAAAA;EAAAA,SAC5BS,IAAAA;EACTC,WAAAA,CAAAA;AAAAA;AAAAA;AAAAA,UAIQC,wBAAAA;EAAAA,SACCC,WAAAA;EAAAA,SACAC,SAAAA;EAAAA,SACAC,OAAAA;AAAAA;;;;;;;;cASGC,mBAAAA,SAA4BP,OAAAA;EAAAA,SAC/BI,WAAAA;EAAAA,SACAC,SAAAA;EAAAA,SACAC,OAAAA;EACTJ,WAAAA,CAAYM,KAAAA,EAAOL,wBAAAA;AAAAA;AAAAA;AAAAA,KAIhBM,iBAAAA;AAAAA,UACKC,eAAAA;EAAAA,SACCC,MAAAA,EAAQJ,mBAAAA,GAAsBJ,wBAAAA;EAAAA,SAC9BS,MAAAA,EAAQL,mBAAAA,GAAsBJ,wBAAAA;EAAAA,SAC9BU,IAAAA;EAAAA,SACAC,QAAAA,GAAWL,iBAAAA;EAAAA,SACXM,QAAAA,GAAWN,iBAAAA;EJzCW;EAAA,SI2CtBO,UAAAA;EJ3CsB;EAAA,SI6CtBC,KAAAA;AAAAA;;;AJzCW;;;;;AAEmD;;;;;cIqD3DC,UAAAA,SAAmBlB,OAAAA;EAAAA,SACtBW,MAAAA,EAAQJ,mBAAAA;EAAAA,SACRK,MAAAA,EAAQL,mBAAAA;EAAAA,SACRS,UAAAA;EAAAA,SACAC,KAAAA;EAAAA,SACAJ,IAAAA;EAAAA,SACAC,QAAAA,GAAWL,iBAAAA;EAAAA,SACXM,QAAAA,GAAWN,iBAAAA;EACpBP,WAAAA,CAAYM,KAAAA,EAAOE,eAAAA;AAAAA;AAAAA;;;AJrD0B;;;;;AAER;;;;;;;;cIsEzBS,kBAAAA;;;;;;;;;;;;;UAaJC,wBAAAA,SAAiCxB,WAAAA;EAAAA,SAChCK,IAAAA,SAAakB,kBAAAA;EAAAA,SACbN,IAAAA;EAAAA,SACAQ,UAAAA;EAAAA,SACAC,MAAAA;EJlFApL;;;;;;;EAAAA,SI0FAqL,OAAAA;AAAAA;AJ5E4S;;;;;AAAA;AAAA;AAAA,UIsF7SG,eAAAA;EAAAA,SACCpB,OAAAA;EAAAA,SACAO,IAAAA;AAAAA;;;;cAKGc,UAAAA,SAAmB3B,OAAAA;EAAAA,SACtBM,OAAAA;EAAAA,SACAO,IAAAA;EACTX,WAAAA,CAAYM,KAAAA,EAAOkB,eAAAA;AAAAA;AAAAA;AAAAA,UAIXE,UAAAA;EAAAA,SACCtB,OAAAA;EAAAA,SACAO,IAAAA;EAAAA,SACAiB,IAAAA;EAAAA,SACAC,OAAAA,GAAUF,MAAAA;AAAAA;;;AJnFqC;;;;;;cI6F5CG,KAAAA,SAAchC,OAAAA;EAAAA,SACjBM,OAAAA;EAAAA,SACAO,IAAAA;EAAAA,SACAiB,IAAAA;EAAAA,SACAC,OAAAA,GAAUF,MAAAA;EACnB3B,WAAAA,CAAYM,KAAAA,EAAOoB,UAAAA;AAAAA;AAAAA;;;;AJnF4D;;;;;;;UIiGvEK,kBAAAA;EAAAA,SACCZ,UAAAA;EAAAA,SACAE,OAAAA;EAAAA,SACAW,QAAAA;EAAAA,SACAC,UAAAA,GAAaN,MAAAA;EAAAA,SACbO,OAAAA;EAAAA,SACAC,OAAAA,GAAUxC,aAAAA;AAAAA;;;;;AJtFK;;;;;AAER;;;;cImGJyC,aAAAA,SAAsBtC,OAAAA;EAAAA,SACzBqB,UAAAA;EAAAA,SACAE,OAAAA;EAAAA,SACAW,QAAAA;EAAAA,SACAC,UAAAA,GAAaN,MAAAA;EAAAA,SACbO,OAAAA;EAAAA,SACAC,OAAAA,GAAUxC,aAAAA;EACnBK,WAAAA,CAAYM,KAAAA,EAAOyB,kBAAAA;AAAAA;AAAAA;AAAAA,UAIXM,qBAAAA;EAAAA,SACCjC,OAAAA;EAAAA,SACAO,IAAAA;AAAAA;AJ5G+B;;;AAAA,cIiH5B2B,gBAAAA,SAAyBxC,OAAAA;EAAAA,SAC5BM,OAAAA;EAAAA,SACAO,IAAAA;EACTX,WAAAA,CAAYM,KAAAA,EAAO+B,qBAAAA;AAAAA;AAAAA;AAAAA,UAIXE,iBAAAA;EAAAA,SACCnC,OAAAA,EAASuB,MAAAA,SAAeS,aAAAA,GAAgBL,kBAAAA;EAAAA,SACxCU,UAAAA,GAAahB,UAAAA,GAAaD,eAAAA;EAAAA,SAC1BkB,OAAAA,EAASF,aAAAA,CAAcF,gBAAAA,GAAmBD,qBAAAA;EAAAA,SAC1CM,OAAAA,EAASH,aAAAA,CAAcV,KAAAA,GAAQJ,UAAAA;EAAAA,SAC/BkB,WAAAA,EAAaJ,aAAAA,CAAcxB,UAAAA,GAAaR,eAAAA;AAAAA;;;;;;;;;;;AJrGqD;;cImH1FqC,YAAAA,SAAqB/C,OAAAA;EAAAA,SACxBM,OAAAA,EAAS0C,QAAAA,CAASnB,MAAAA,SAAeS,aAAAA;EAAAA,SACjCM,OAAAA,EAASF,aAAAA,CAAcF,gBAAAA;EAAAA,SACvBK,OAAAA,EAASH,aAAAA,CAAcV,KAAAA;EAAAA,SACvBc,WAAAA,EAAaJ,aAAAA,CAAcxB,UAAAA;EAAAA,SAC3ByB,UAAAA,GAAahB,UAAAA;EACtBzB,WAAAA,CAAYM,KAAAA,EAAOiC,iBAAAA;AAAAA;AAAAA;;AJlDA;;;;;;cI6DPQ,mBAAAA;;;;;;;;;UASJC,mBAAAA,SAA4BtD,WAAAA;EAAAA,SAC3BK,IAAAA,SAAagD,mBAAAA;EAAAA,SACb1B,OAAAA;EAAAA,SACAF,UAAAA;EAAAA,SACAc,UAAAA,EAAYN,MAAAA;AAAAA;;;;;;UAObsB,wBAAAA;EAAAA,SACC5B,OAAAA;EAAAA,SACAF,UAAAA;EAAAA,SACAc,UAAAA,EAAYN,MAAAA;AAAAA;;;;;;;;;;;;;;KAsBlByB,mBAAAA,GAAsBJ,mBAAAA,GAAsBC,wBAAAA,GAA2B/B,wBAAAA;AAAAA,UAClEmC,uBAAAA;EAAAA,SACCC,EAAAA;EAAAA,SACAC,MAAAA,GAAS5B,MAAAA,SAAekB,YAAAA,GAAeN,iBAAAA;EAAAA,SACvCiB,KAAAA,GAAQ7B,MAAAA,SAAeT,wBAAAA;AAAAA;AAAAA,UAExBuC,eAAAA;EAAAA,SACCE,WAAAA,EAAa/D,eAAAA,CAAgB8D,KAAAA;EAAAA,SAC7BF,KAAAA,GAAQ7B,MAAAA,SAAeyB,mBAAAA;EAAAA,SACvBQ,UAAAA,GAAad,QAAAA,CAASnB,MAAAA,SAAepC,SAAAA,GAAY8D,uBAAAA;AAAAA;;;;;;;;;;;;;;;AHrU5D;;;;;AAQA;;;;;;;;;KG2VKQ,YAAAA,GAAetE,SAAAA;EAAAA,SACTgE,MAAAA,EAAQT,QAAAA,CAASnB,MAAAA,SAAekB,YAAAA;EAAAA,SAChCW,KAAAA,GAAQV,QAAAA,CAASnB,MAAAA,SAAeT,wBAAAA;AAAAA;AAAAA,cAE7B4C,UAAAA,wCAAkDhE,OAAAA,YAAmBL,OAAAA;EAAAA,SACxEkE,WAAAA,EAAa/D,eAAAA,CAAgB8D,KAAAA;EAAAA,SAC7BE,UAAAA,EAAYd,QAAAA,CAASnB,MAAAA,SAAekC,YAAAA;IAAAA,SAClCE,WAAAA,EAAaF,YAAAA;EAAAA;EAAAA,SAEfL,KAAAA,GAAQV,QAAAA,CAASnB,MAAAA,SAAeqB,mBAAAA,GAAsB9B,wBAAAA;EAC/DlB,WAAAA,CAAYM,KAAAA,EAAOmD,eAAAA,CAAgBC,KAAAA;AAAAA;AAAAA;;;;;;;;;;;;;;;;;;;;;AFxVrC;;;;;;;;;;KEqaK6B,YAAAA,OAAmBC,CAAAA,oBAAqB7D,MAAAA,kBAAwB6D,CAAAA;EAAAA,SAC1DL,UAAAA;AAAAA,IACPM,CAAAA,SAAU9D,MAAAA;EACZuD,MAAAA;AAAAA,KACGO,CAAAA,GAAI9D,MAAAA,kBAAwBA,MAAAA;;ADnXgB;;;;;AAwB3B;KCoYjB4E,kBAAAA;AAAAA,KAEAK,2BAAAA,MAAiCL,kBAAAA,eAAiCf,CAAAA,GAAIqB,WAAAA,CAAYrB,CAAAA,CAAEe,kBAAAA,SAA2Bf,CAAAA;AAAAA,KAO/GyB,iBAAAA,MAAuB1B,YAAAA,CAAaqB,2BAAAA,CAA4BpB,CAAAA;;;;;;;;KClfzD,iBAAA,YAA6B,MAAA,sBAA4B,MAAA;;;;;;KAOzD,kBAAA,yCACE,OAAA,KAAY,OAAA,CAAQ,OAAA,OAAc,OAAA,EAAS,CAAA,WACjD,OAAA;;;;;ALNO;;KKcH,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,MAAA;;;;;AL3ByC;KKkC5D,QAAA,2BAAmC,iBAAA,eAC/B,OAAA,GAAU,OAAA,CAAQ,CAAA;;;;;;;;KCtCtB,aAAA,mBAAgC,QAAA,CAAS,UAAA,KACnD,SAAA;;;;;ANN4B;;;;KMgBlB,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;ANpBtB;;;;AAAA,KM2BH,SAAA,GAAY,MAAA,SAAe,cAAA;;;;;;;UAQtB,cAAA;EAAA,SACN,WAAA,EAAa,SAAA;EAAA,SACb,SAAA,EAAW,OAAA;AAAA;ANjCkD;;;;;;AAAA,KM0C5D,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;;;;;;;;;KCpDxC,cAAA,8CAEI,eAAA,WAA0B,eAAA;EAAA,SAE/B,OAAA,EAAS,KAAA;AAAA,IAChB,KAAA,yFAEF,KAAA;;;APZ4B;;;;KOqBlB,gCAAA,kBAAkD,YAAA,IAAgB,KAAA,CAAM,QAAA;APjBrE;;;;;;AAAA,KOyBH,0BAAA,kBAA4C,YAAA,IAAgB,KAAA,CAAM,QAAA;;;;;;;;KCjBlE,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;;;;;;iBAQY,SAAA,mBAA4B,QAAA,CAAS,UAAA,EAAA,CACnD,SAAA,EAAW,SAAA,GACV,GAAA,CAAI,SAAA;;;;;;;;;;cChCM,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,UAAA,CAC9B,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,CAAA,GAAS,OAAA,CAAQ,UAAA,yBAGb,QAAA,CAAS,UAAA;AAAA;;;;;;;;cC5CF,IAAA,mBAAuB,QAAA,CAAS,UAAA;EAAA;cAG/B,QAAA,EAAU,SAAA;EVTC;;;;AAEV;EUgBb,IAAA,CACE,KAAA,EAAO,cAAA,UACN,qCAAA;;;;EAIH,IAAA,sBAAA,CACE,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,qCAAA;;;;iBAIa,UAAA,mBAA6B,QAAA,CAAS,UAAA,EAAA,CACpD,QAAA,EAAU,SAAA,GACT,IAAA,CAAK,SAAA"}

package/dist/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","names":["#contract","#contract"],"sources":["../src/ref.ts","../src/select-builder.ts","../src/root.ts"],"sourcesContent":["import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type {\n  Asterisk,\n  ColumnReference,\n  ColumnReferenceOutOfContractError,\n  TableAsterisk,\n} from './column-reference';\nimport type { TableReference, TableReferenceOutOfContractError } from './table-reference';\n\n/**\n * A fluent API representing references to tables and columns in a SQL contract.\n *\n * @template TContract The contract that describes the database.\n */\nexport type Ref<TContract extends Contract<SqlStorage>> = {\n  readonly [TableName in keyof TContract['storage']['tables'] & string]: TableReference<\n    TableName,\n    TContract['storage']['storageHash']\n  > & {\n    readonly [ColumnName in Exclude<\n      keyof TContract['storage']['tables'][TableName]['columns'],\n      keyof TableReference\n    > &\n      string]: ColumnReference<ColumnName, TableName, TContract['storage']['storageHash']>;\n  } & {\n    readonly ['*']: TableAsterisk<TableName, TContract['storage']['storageHash']>;\n  } & Record<\n      PropertyKey,\n      ColumnReferenceOutOfContractError<`[error] reference to a non-existing column in the '${TableName}' table`>\n    >;\n} & {\n  readonly ['*']: Asterisk;\n} & Record<\n    PropertyKey,\n    TableReferenceOutOfContractError<`[error] reference to a non-existing table in the contract`>\n  >;\n\n/**\n * Creates a reference object for the given SQL contract.\n *\n * @template TContract The contract that describes the database.\n */\nexport function createRef<TContract extends Contract<SqlStorage>>(\n  _contract: TContract,\n): Ref<TContract> {\n  return new Proxy({} as Ref<TContract>, {\n    get(_target, tableName) {\n      if (tableName === '*') {\n        return Object.freeze({\n          '~name': tableName,\n          '~table': null,\n        });\n      }\n\n      return new Proxy(\n        {},\n        {\n          get(_target, columnName) {\n            if (columnName === '~name') {\n              return tableName;\n            }\n\n            return Object.freeze({\n              '~name': columnName,\n              '~table': tableName,\n            });\n          },\n        },\n      );\n    },\n  });\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { Asterisk, TableAsterisk } from './column-reference';\nimport type { Selection, TableToSelection } from './selection';\nimport type { ExactlyOneProperty, IsNever, MergeObjects, Simplify } from './type-atoms';\nimport type { PreviousFunctionReceivedBadInputError } from './type-errors';\n\n/**\n * A builder for SQL `select` queries.\n *\n * @template TContract The contract that describes the database.\n * @template TTables The tables involved in the current `select` query.\n * @template TSelection The current selection of the `select` query.\n */\nexport class SelectBuilder<\n  TContract extends Contract<SqlStorage>,\n  TTables extends Contract<SqlStorage>['storage']['tables'],\n  TSelection extends Selection = never,\n> {\n  // @ts-expect-error\n  // biome-ignore lint/correctness/noUnusedPrivateClassMembers: will be used soon.\n  readonly #contract: TContract;\n\n  constructor(contract: TContract) {\n    this.#contract = contract;\n  }\n\n  select(\n    asterisk: Asterisk,\n  ): ExactlyOneProperty<TTables> extends true\n    ? SelectBuilder<\n        TContract,\n        TTables,\n        MergeObjects<TSelection, TableToSelection<TContract, keyof TTables & string>>\n      >\n    : PreviousFunctionReceivedBadInputError<'[error] selecting all columns via `*` results in ambiguity when multiple tables are involved in the query'>;\n  select<TTableName extends keyof TTables & string>(\n    asterisk: TableAsterisk<TTableName, TContract['storage']['storageHash']>,\n  ): SelectBuilder<\n    TContract,\n    TTables,\n    MergeObjects<TSelection, TableToSelection<TContract, TTableName>>\n  >;\n  select(\n    arg: never,\n  ): PreviousFunctionReceivedBadInputError<'[error] invalid input in previous `select()` call'>;\n  select(..._args: unknown[]): unknown {\n    // TODO: do runtime stuff.\n    return this;\n  }\n\n  // TODO: the return type here is not the real one we'll use eventually.\n  // I'm using something to test the selection stuff.\n  build(): IsNever<TSelection> extends true\n    ? // TODO: either split to two builders or provide a type-level error here.\n      never\n    : Simplify<TSelection> {\n    // TODO: do runtime stuff.\n    return {} as never;\n  }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport { SelectBuilder } from './select-builder';\nimport type { TableReference, TableReferenceTooWideError } from './table-reference';\nimport type { PreviousFunctionReceivedBadInputError } from './type-errors';\n\n/**\n * The root of all builder.\n *\n * @template TContract The contract that describes the database.\n */\nexport class Root<TContract extends Contract<SqlStorage>> {\n  readonly #contract: TContract;\n\n  constructor(contract: TContract) {\n    this.#contract = contract;\n  }\n\n  /**\n   * SQL's `from` clause, where all `select` queries actually start from.\n   *\n   * @param table The table to select from.\n   */\n  from(\n    table: TableReference<never>,\n  ): PreviousFunctionReceivedBadInputError<'[error] invalid table reference in previous `root.from()` call will probably cause runtime errors'>;\n  /**\n   * @template TName The name of the table to select from.\n   */\n  from<TName extends string>(\n    table: string extends TName\n      ? TableReferenceTooWideError<'[error] `root.from()` call received a table reference without a specific table name'>\n      : TableReference<TName, TContract['storage']['storageHash']>,\n  ): TName extends string\n    ? SelectBuilder<TContract, Pick<TContract['storage']['tables'], TName>>\n    : PreviousFunctionReceivedBadInputError<'[error] invalid table reference in previous `root.from()` call will probably cause runtime errors'>;\n  from(\n    table: TableReferenceTooWideError<'[error] `root.from()` call received a table reference without a specific table name'>,\n  ): PreviousFunctionReceivedBadInputError<'[error] invalid table reference in previous `root.from()` call will probably cause runtime errors'>;\n  /**\n   * @internal\n   */\n  from(_table: unknown): unknown {\n    // TODO: use runtime table reference value to do something \"AST\"-related.\n    return new SelectBuilder(this.#contract);\n  }\n}\n\n/**\n * Creates a new `Root` instance.\n */\nexport function createRoot(\n  contract: never,\n): PreviousFunctionReceivedBadInputError<'[error] root creation will likely fail at runtime given the passed contract is not valid or verified'>;\n/**\n * @template TContract The contract that describes the database.\n */\nexport function createRoot<TContract extends Contract<SqlStorage>>(\n  contract: TContract,\n): Root<TContract>;\n/**\n * @internal\n */\nexport function createRoot(contract: unknown): unknown {\n  // Blind cast: the public overloads above (`createRoot(TContract)`)\n  // statically constrain `contract` to `Contract<SqlStorage>` —\n  // this internal `unknown` overload exists only to give the\n  // implementation a single body. Any caller that reaches the\n  // `unknown` form has already been narrowed by the matching\n  // overload at compile time.\n  return new Root(contract as unknown as Contract<SqlStorage>);\n}\n"],"mappings":";;;;;;AA2CA,SAAgB,UACd,WACgB;CAChB,OAAO,IAAI,MAAM,EAAE,EAAoB,EACrC,IAAI,SAAS,WAAW;EACtB,IAAI,cAAc,KAChB,OAAO,OAAO,OAAO;GACnB,SAAS;GACT,UAAU;GACX,CAAC;EAGJ,OAAO,IAAI,MACT,EAAE,EACF,EACE,IAAI,SAAS,YAAY;GACvB,IAAI,eAAe,SACjB,OAAO;GAGT,OAAO,OAAO,OAAO;IACnB,SAAS;IACT,UAAU;IACX,CAAC;KAEL,CACF;IAEJ,CAAC;;;;;;;;;;;ACzDJ,IAAa,gBAAb,MAIE;CAGA;CAEA,YAAY,UAAqB;EAC/B,KAAKA,YAAY;;CAsBnB,OAAO,GAAG,OAA2B;EAEnC,OAAO;;CAKT,QAGyB;EAEvB,OAAO,EAAE;;;;;;;;;;AC/Cb,IAAa,OAAb,MAA0D;CACxD;CAEA,YAAY,UAAqB;EAC/B,KAAKC,YAAY;;;;;CA2BnB,KAAK,QAA0B;EAE7B,OAAO,IAAI,cAAc,KAAKA,UAAU;;;;;;AAmB5C,SAAgB,WAAW,UAA4B;CAOrD,OAAO,IAAI,KAAK,SAA4C"}
+{"version":3,"file":"index.mjs","names":["#contract","#contract"],"sources":["../src/ref.ts","../src/select-builder.ts","../src/root.ts"],"sourcesContent":["import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type {\n  Asterisk,\n  ColumnReference,\n  ColumnReferenceOutOfContractError,\n  TableAsterisk,\n} from './column-reference';\nimport type { UnboundTables } from './selection';\nimport type { TableReference, TableReferenceOutOfContractError } from './table-reference';\n\n/**\n * A fluent API representing references to tables and columns in a SQL contract.\n *\n * @template TContract The contract that describes the database.\n */\nexport type Ref<TContract extends Contract<SqlStorage>> = {\n  readonly [TableName in keyof UnboundTables<TContract> & string]: TableReference<\n    TableName,\n    TContract['storage']['storageHash']\n  > & {\n    readonly [ColumnName in Exclude<\n      keyof UnboundTables<TContract>[TableName]['columns'],\n      keyof TableReference\n    > &\n      string]: ColumnReference<ColumnName, TableName, TContract['storage']['storageHash']>;\n  } & {\n    readonly ['*']: TableAsterisk<TableName, TContract['storage']['storageHash']>;\n  } & Record<\n      PropertyKey,\n      ColumnReferenceOutOfContractError<`[error] reference to a non-existing column in the '${TableName}' table`>\n    >;\n} & {\n  readonly ['*']: Asterisk;\n} & Record<\n    PropertyKey,\n    TableReferenceOutOfContractError<`[error] reference to a non-existing table in the contract`>\n  >;\n\n/**\n * Creates a reference object for the given SQL contract.\n *\n * @template TContract The contract that describes the database.\n */\nexport function createRef<TContract extends Contract<SqlStorage>>(\n  _contract: TContract,\n): Ref<TContract> {\n  return new Proxy({} as Ref<TContract>, {\n    get(_target, tableName) {\n      if (tableName === '*') {\n        return Object.freeze({\n          '~name': tableName,\n          '~table': null,\n        });\n      }\n\n      return new Proxy(\n        {},\n        {\n          get(_target, columnName) {\n            if (columnName === '~name') {\n              return tableName;\n            }\n\n            return Object.freeze({\n              '~name': columnName,\n              '~table': tableName,\n            });\n          },\n        },\n      );\n    },\n  });\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { Asterisk, TableAsterisk } from './column-reference';\nimport type { Selection, TableToSelection, UnboundTables } from './selection';\nimport type { ExactlyOneProperty, IsNever, MergeObjects, Simplify } from './type-atoms';\nimport type { PreviousFunctionReceivedBadInputError } from './type-errors';\n\n/**\n * A builder for SQL `select` queries.\n *\n * @template TContract The contract that describes the database.\n * @template TTables The tables involved in the current `select` query.\n * @template TSelection The current selection of the `select` query.\n */\nexport class SelectBuilder<\n  TContract extends Contract<SqlStorage>,\n  TTables extends UnboundTables<Contract<SqlStorage>>,\n  TSelection extends Selection = never,\n> {\n  // @ts-expect-error\n  // biome-ignore lint/correctness/noUnusedPrivateClassMembers: will be used soon.\n  readonly #contract: TContract;\n\n  constructor(contract: TContract) {\n    this.#contract = contract;\n  }\n\n  select(\n    asterisk: Asterisk,\n  ): ExactlyOneProperty<TTables> extends true\n    ? SelectBuilder<\n        TContract,\n        TTables,\n        MergeObjects<TSelection, TableToSelection<TContract, keyof TTables & string>>\n      >\n    : PreviousFunctionReceivedBadInputError<'[error] selecting all columns via `*` results in ambiguity when multiple tables are involved in the query'>;\n  select<TTableName extends keyof TTables & string>(\n    asterisk: TableAsterisk<TTableName, TContract['storage']['storageHash']>,\n  ): SelectBuilder<\n    TContract,\n    TTables,\n    MergeObjects<TSelection, TableToSelection<TContract, TTableName>>\n  >;\n  select(\n    arg: never,\n  ): PreviousFunctionReceivedBadInputError<'[error] invalid input in previous `select()` call'>;\n  select(..._args: unknown[]): unknown {\n    // TODO: do runtime stuff.\n    return this;\n  }\n\n  // TODO: the return type here is not the real one we'll use eventually.\n  // I'm using something to test the selection stuff.\n  build(): IsNever<TSelection> extends true\n    ? // TODO: either split to two builders or provide a type-level error here.\n      never\n    : Simplify<TSelection> {\n    // TODO: do runtime stuff.\n    return {} as never;\n  }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport { SelectBuilder } from './select-builder';\nimport type { UnboundTables } from './selection';\nimport type { TableReference, TableReferenceTooWideError } from './table-reference';\nimport type { PreviousFunctionReceivedBadInputError } from './type-errors';\n\n/**\n * The root of all builder.\n *\n * @template TContract The contract that describes the database.\n */\nexport class Root<TContract extends Contract<SqlStorage>> {\n  readonly #contract: TContract;\n\n  constructor(contract: TContract) {\n    this.#contract = contract;\n  }\n\n  /**\n   * SQL's `from` clause, where all `select` queries actually start from.\n   *\n   * @param table The table to select from.\n   */\n  from(\n    table: TableReference<never>,\n  ): PreviousFunctionReceivedBadInputError<'[error] invalid table reference in previous `root.from()` call will probably cause runtime errors'>;\n  /**\n   * @template TName The name of the table to select from.\n   */\n  from<TName extends string>(\n    table: string extends TName\n      ? TableReferenceTooWideError<'[error] `root.from()` call received a table reference without a specific table name'>\n      : TableReference<TName, TContract['storage']['storageHash']>,\n  ): TName extends string\n    ? SelectBuilder<TContract, Pick<UnboundTables<TContract>, TName>>\n    : PreviousFunctionReceivedBadInputError<'[error] invalid table reference in previous `root.from()` call will probably cause runtime errors'>;\n  from(\n    table: TableReferenceTooWideError<'[error] `root.from()` call received a table reference without a specific table name'>,\n  ): PreviousFunctionReceivedBadInputError<'[error] invalid table reference in previous `root.from()` call will probably cause runtime errors'>;\n  /**\n   * @internal\n   */\n  from(_table: unknown): unknown {\n    // TODO: use runtime table reference value to do something \"AST\"-related.\n    return new SelectBuilder(this.#contract);\n  }\n}\n\n/**\n * Creates a new `Root` instance.\n */\nexport function createRoot(\n  contract: never,\n): PreviousFunctionReceivedBadInputError<'[error] root creation will likely fail at runtime given the passed contract is not valid or verified'>;\n/**\n * @template TContract The contract that describes the database.\n */\nexport function createRoot<TContract extends Contract<SqlStorage>>(\n  contract: TContract,\n): Root<TContract>;\n/**\n * @internal\n */\nexport function createRoot(contract: unknown): unknown {\n  // Blind cast: the public overloads above (`createRoot(TContract)`)\n  // statically constrain `contract` to `Contract<SqlStorage>` —\n  // this internal `unknown` overload exists only to give the\n  // implementation a single body. Any caller that reaches the\n  // `unknown` form has already been narrowed by the matching\n  // overload at compile time.\n  return new Root(contract as unknown as Contract<SqlStorage>);\n}\n"],"mappings":";;;;;;AA4CA,SAAgB,UACd,WACgB;CAChB,OAAO,IAAI,MAAM,EAAE,EAAoB,EACrC,IAAI,SAAS,WAAW;EACtB,IAAI,cAAc,KAChB,OAAO,OAAO,OAAO;GACnB,SAAS;GACT,UAAU;GACX,CAAC;EAGJ,OAAO,IAAI,MACT,EAAE,EACF,EACE,IAAI,SAAS,YAAY;GACvB,IAAI,eAAe,SACjB,OAAO;GAGT,OAAO,OAAO,OAAO;IACnB,SAAS;IACT,UAAU;IACX,CAAC;KAEL,CACF;IAEJ,CAAC;;;;;;;;;;;AC1DJ,IAAa,gBAAb,MAIE;CAGA;CAEA,YAAY,UAAqB;EAC/B,KAAKA,YAAY;;CAsBnB,OAAO,GAAG,OAA2B;EAEnC,OAAO;;CAKT,QAGyB;EAEvB,OAAO,EAAE;;;;;;;;;;AC9Cb,IAAa,OAAb,MAA0D;CACxD;CAEA,YAAY,UAAqB;EAC/B,KAAKC,YAAY;;;;;CA2BnB,KAAK,QAA0B;EAE7B,OAAO,IAAI,cAAc,KAAKA,UAAU;;;;;;AAmB5C,SAAgB,WAAW,UAA4B;CAOrD,OAAO,IAAI,KAAK,SAA4C"}

package/package.json

@@ -1,15 +1,15 @@
 {
   "name": "@prisma-next/sql-lane-query-builder",
-  "version": "0.9.0",
+  "version": "0.10.0",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "SQL query builder lane for Prisma Next",
   "devDependencies": {
-    "@prisma-next/contract": "0.9.0",
-    "@prisma-next/sql-contract": "0.9.0",
-    "@prisma-next/tsconfig": "0.9.0",
-    "@prisma-next/tsdown": "0.9.0",
+    "@prisma-next/contract": "0.10.0",
+    "@prisma-next/sql-contract": "0.10.0",
+    "@prisma-next/tsconfig": "0.10.0",
+    "@prisma-next/tsdown": "0.10.0",
     "tsdown": "0.22.0",
     "typescript": "5.9.3",
     "vitest": "4.1.6"

package/src/ref.ts

@@ -6,6 +6,7 @@ import type {
   ColumnReferenceOutOfContractError,
   TableAsterisk,
 } from './column-reference';
+import type { UnboundTables } from './selection';
 import type { TableReference, TableReferenceOutOfContractError } from './table-reference';
 
 /**
@@ -14,12 +15,12 @@ import type { TableReference, TableReferenceOutOfContractError } from './table-r
  * @template TContract The contract that describes the database.
  */
 export type Ref<TContract extends Contract<SqlStorage>> = {
-  readonly [TableName in keyof TContract['storage']['tables'] & string]: TableReference<
+  readonly [TableName in keyof UnboundTables<TContract> & string]: TableReference<
     TableName,
     TContract['storage']['storageHash']
   > & {
     readonly [ColumnName in Exclude<
-      keyof TContract['storage']['tables'][TableName]['columns'],
+      keyof UnboundTables<TContract>[TableName]['columns'],
       keyof TableReference
     > &
       string]: ColumnReference<ColumnName, TableName, TContract['storage']['storageHash']>;

package/src/root.ts

@@ -1,6 +1,7 @@
 import type { Contract } from '@prisma-next/contract/types';
 import type { SqlStorage } from '@prisma-next/sql-contract/types';
 import { SelectBuilder } from './select-builder';
+import type { UnboundTables } from './selection';
 import type { TableReference, TableReferenceTooWideError } from './table-reference';
 import type { PreviousFunctionReceivedBadInputError } from './type-errors';
 
@@ -32,7 +33,7 @@ export class Root<TContract extends Contract<SqlStorage>> {
       ? TableReferenceTooWideError<'[error] `root.from()` call received a table reference without a specific table name'>
       : TableReference<TName, TContract['storage']['storageHash']>,
   ): TName extends string
-    ? SelectBuilder<TContract, Pick<TContract['storage']['tables'], TName>>
+    ? SelectBuilder<TContract, Pick<UnboundTables<TContract>, TName>>
     : PreviousFunctionReceivedBadInputError<'[error] invalid table reference in previous `root.from()` call will probably cause runtime errors'>;
   from(
     table: TableReferenceTooWideError<'[error] `root.from()` call received a table reference without a specific table name'>,

package/src/select-builder.ts

@@ -1,7 +1,7 @@
 import type { Contract } from '@prisma-next/contract/types';
 import type { SqlStorage } from '@prisma-next/sql-contract/types';
 import type { Asterisk, TableAsterisk } from './column-reference';
-import type { Selection, TableToSelection } from './selection';
+import type { Selection, TableToSelection, UnboundTables } from './selection';
 import type { ExactlyOneProperty, IsNever, MergeObjects, Simplify } from './type-atoms';
 import type { PreviousFunctionReceivedBadInputError } from './type-errors';
 
@@ -14,7 +14,7 @@ import type { PreviousFunctionReceivedBadInputError } from './type-errors';
  */
 export class SelectBuilder<
   TContract extends Contract<SqlStorage>,
-  TTables extends Contract<SqlStorage>['storage']['tables'],
+  TTables extends UnboundTables<Contract<SqlStorage>>,
   TSelection extends Selection = never,
 > {
   // @ts-expect-error

package/src/selection.ts

@@ -2,6 +2,14 @@ import type { Contract } from '@prisma-next/contract/types';
 import type { ExtractCodecTypes, SqlStorage, StorageColumn } from '@prisma-next/sql-contract/types';
 import type { DrainOuterGeneric } from './type-atoms';
 
+/**
+ * Resolves the tables in the late-binding (`__unbound__`) namespace of a SQL
+ * contract. Builder surfaces address tables by their unqualified name today;
+ * the unbound namespace is the slot the target resolves at connection time.
+ */
+export type UnboundTables<TContract extends Contract<SqlStorage>> =
+  TContract['storage']['namespaces']['__unbound__']['tables'];
+
 /**
  * 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.
@@ -12,9 +20,9 @@ import type { DrainOuterGeneric } from './type-atoms';
  */
 export type ExtractOutputType<
   TContract extends Contract<SqlStorage>,
-  TTableName extends keyof TContract['storage']['tables'] & string,
-  TColumnName extends keyof TContract['storage']['tables'][TTableName]['columns'] & string,
-  _TColumn = TContract['storage']['tables'][TTableName]['columns'][TColumnName],
+  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)
@@ -46,11 +54,11 @@ export interface SelectionValue<TOutput, TDatatype extends string | unknown = un
  */
 export type TableToSelection<
   TContract extends Contract<SqlStorage>,
-  TTableName extends keyof TContract['storage']['tables'] & string,
+  TTableName extends keyof UnboundTables<TContract> & string,
 > = DrainOuterGeneric<{
-  readonly [ColumnName in keyof TContract['storage']['tables'][TTableName]['columns'] &
+  readonly [ColumnName in keyof UnboundTables<TContract>[TTableName]['columns'] &
     string]: SelectionValue<
     ExtractOutputType<TContract, TTableName, ColumnName>,
-    TContract['storage']['tables'][TTableName]['columns'][ColumnName]['nativeType']
+    UnboundTables<TContract>[TTableName]['columns'][ColumnName]['nativeType']
   >;
 }>;