@prisma-next/sql-relational-core 0.13.0-dev.32 → 0.13.0-dev.34

package/dist/{errors-CPLfzKkw.d.mts → errors-iy9khc8z.d.mts}

@@ -1,8 +1,8 @@
-import { v as RuntimeError } from "./types-CQVke4QO.mjs";
+import { y as RuntimeError } from "./types-QlhwIh5w.mjs";
 
 //#region src/errors.d.ts
 declare function planInvalid(message: string, details?: Record<string, unknown>, hints?: readonly string[], docs?: readonly string[]): RuntimeError;
 declare function planUnsupported(message: string, details?: Record<string, unknown>, hints?: readonly string[], docs?: readonly string[]): RuntimeError;
 //#endregion
 export { planUnsupported as n, planInvalid as t };
-//# sourceMappingURL=errors-CPLfzKkw.d.mts.map
+//# sourceMappingURL=errors-iy9khc8z.d.mts.map

package/dist/{errors-CPLfzKkw.d.mts.map → errors-iy9khc8z.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"errors-CPLfzKkw.d.mts","names":[],"sources":["../src/errors.ts"],"mappings":";;;iBAEgB,WAAA,CACd,OAAA,UACA,OAAA,GAAU,MAAA,mBACV,KAAA,sBACA,IAAA,uBACC,YAAY;AAAA,iBAkBC,eAAA,CACd,OAAA,UACA,OAAA,GAAU,MAAA,mBACV,KAAA,sBACA,IAAA,uBACC,YAAY"}
+{"version":3,"file":"errors-iy9khc8z.d.mts","names":[],"sources":["../src/errors.ts"],"mappings":";;;iBAEgB,WAAA,CACd,OAAA,UACA,OAAA,GAAU,MAAA,mBACV,KAAA,sBACA,IAAA,uBACC,YAAY;AAAA,iBAkBC,eAAA,CACd,OAAA,UACA,OAAA,GAAU,MAAA,mBACV,KAAA,sBACA,IAAA,uBACC,YAAY"}

package/dist/exports/errors.d.mts

@@ -1,2 +1,2 @@
-import { n as planUnsupported, t as planInvalid } from "../errors-CPLfzKkw.mjs";
+import { n as planUnsupported, t as planInvalid } from "../errors-iy9khc8z.mjs";
 export { planInvalid, planUnsupported };

package/dist/exports/types.d.mts

@@ -1,3 +1,3 @@
-import { C as TableMetadata, S as TableKey, _ as RawTemplateOptions, a as ComputeColumnJsType, b as SqlPlan, c as Meta, d as OperationTypeSignature, f as OperationTypes, g as RawTemplateFactory, h as RawFunctionOptions, i as ColumnsOf, l as ModelDef, m as RawFactory, n as BuildParamsMap, o as Expr, p as OperationsForTypeId, r as CodecTypes, s as META, t as BuildOptions, u as ModelMetadata, v as RuntimeError, w as TablesOf, x as TableDef, y as SqlBuilderOptions } from "../types-CQVke4QO.mjs";
+import { C as TableKey, S as TableDef, T as TablesOf, _ as RawTemplateFactory, a as ColumnsOf, b as SqlBuilderOptions, c as META, d as ModelMetadata, f as OperationTypeSignature, g as RawFunctionOptions, h as RawFactory, i as ColumnResolutionContract, l as Meta, m as OperationsForTypeId, n as BuildParamsMap, o as ComputeColumnJsType, p as OperationTypes, r as CodecTypes, s as Expr, t as BuildOptions, u as ModelDef, v as RawTemplateOptions, w as TableMetadata, x as SqlPlan, y as RuntimeError } from "../types-QlhwIh5w.mjs";
 import { n as SqlOrmPlan, t as RuntimeScope } from "../types-LGikJRYV.mjs";
-export { BuildOptions, BuildParamsMap, CodecTypes, ColumnsOf, ComputeColumnJsType, Expr, META, Meta, ModelDef, ModelMetadata, OperationTypeSignature, OperationTypes, OperationsForTypeId, RawFactory, RawFunctionOptions, RawTemplateFactory, RawTemplateOptions, RuntimeError, type RuntimeScope, SqlBuilderOptions, type SqlOrmPlan, SqlPlan, TableDef, TableKey, TableMetadata, TablesOf };
+export { BuildOptions, BuildParamsMap, CodecTypes, ColumnResolutionContract, ColumnsOf, ComputeColumnJsType, Expr, META, Meta, ModelDef, ModelMetadata, OperationTypeSignature, OperationTypes, OperationsForTypeId, RawFactory, RawFunctionOptions, RawTemplateFactory, RawTemplateOptions, RuntimeError, type RuntimeScope, SqlBuilderOptions, type SqlOrmPlan, SqlPlan, TableDef, TableKey, TableMetadata, TablesOf };

package/dist/index.d.mts

@@ -4,10 +4,10 @@ import { a as DdlColumnRenderContext, c as ForeignKeyConstraint, d as PrimaryKey
 import { Adapter, AdapterProfile, AdapterTarget, Lowerer, LowererContext, MarkerReadResult, PreparedExecuteRequest, SQL_CHAR_CODEC_ID, SQL_FLOAT_CODEC_ID, SQL_INT_CODEC_ID, SQL_TEXT_CODEC_ID, SQL_TIMESTAMP_CODEC_ID, SQL_VARCHAR_CODEC_ID, SqlCharCodec, SqlCharDescriptor, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, SqlExplainResult, SqlFloatCodec, SqlFloatDescriptor, SqlIntCodec, SqlIntDescriptor, SqlQueryResult, SqlQueryable, SqlTextCodec, SqlTextDescriptor, SqlTimestampCodec, SqlTimestampDescriptor, SqlTransaction, SqlVarcharCodec, SqlVarcharDescriptor, collectOrderedParamRefs, compact, sqlCharColumn, sqlCharDecode, sqlCharDescriptor, sqlCharEncode, sqlCharRenderOutputType, sqlFloatColumn, sqlFloatDecode, sqlFloatDescriptor, sqlFloatEncode, sqlIntColumn, sqlIntDecode, sqlIntDescriptor, sqlIntEncode, sqlTextColumn, sqlTextDecode, sqlTextDescriptor, sqlTextEncode, sqlTimestampColumn, sqlTimestampDecode, sqlTimestampDecodeJson, sqlTimestampDescriptor, sqlTimestampEncode, sqlTimestampEncodeJson, sqlTimestampRenderOutputType, sqlVarcharColumn, sqlVarcharDecode, sqlVarcharDescriptor, sqlVarcharEncode, sqlVarcharRenderOutputType } from "./exports/ast.mjs";
 import { a as MutationDefaultsOptions, i as MutationDefaultsOp, n as CodecDescriptorRegistry, o as TypeHelperRegistry, r as ExecutionContext, t as AppliedMutationDefault } from "./query-lane-context-CY0-e8Qo.mjs";
 import { t as SqlExecutionPlan } from "./sql-execution-plan-JwVeAzXt.mjs";
-import { C as TableMetadata, S as TableKey, _ as RawTemplateOptions, a as ComputeColumnJsType, b as SqlPlan, c as Meta, d as OperationTypeSignature, f as OperationTypes, g as RawTemplateFactory, h as RawFunctionOptions, i as ColumnsOf, l as ModelDef, m as RawFactory, n as BuildParamsMap, o as Expr, p as OperationsForTypeId, r as CodecTypes, s as META, t as BuildOptions, u as ModelMetadata, v as RuntimeError, w as TablesOf, x as TableDef, y as SqlBuilderOptions } from "./types-CQVke4QO.mjs";
-import { n as planUnsupported, t as planInvalid } from "./errors-CPLfzKkw.mjs";
+import { C as TableKey, S as TableDef, T as TablesOf, _ as RawTemplateFactory, a as ColumnsOf, b as SqlBuilderOptions, c as META, d as ModelMetadata, f as OperationTypeSignature, g as RawFunctionOptions, h as RawFactory, i as ColumnResolutionContract, l as Meta, m as OperationsForTypeId, n as BuildParamsMap, o as ComputeColumnJsType, p as OperationTypes, r as CodecTypes, s as Expr, t as BuildOptions, u as ModelDef, v as RawTemplateOptions, w as TableMetadata, x as SqlPlan, y as RuntimeError } from "./types-QlhwIh5w.mjs";
+import { n as planUnsupported, t as planInvalid } from "./errors-iy9khc8z.mjs";
 import { BuildOperationSpec, CodecExpression, CodecTypesBase, CodecValue, Expression, RawCodecInferer, RawSqlBuilder, RawSqlTag, ScopeField, TraitExpression, buildOperation, codecOf, createRawSql, param, toExpr } from "./exports/expression.mjs";
 import { a as SqlParamRefMutatorInternal, i as SqlParamRefMutator, n as ParamRefEntryUnion, o as createSqlParamRefMutator, r as ParamRefHandle, t as ParamRefEntry } from "./middleware-BXSFukKU.mjs";
 import { n as planFromAst, t as SqlQueryPlan } from "./plan-DObuWSWi.mjs";
 import { n as SqlOrmPlan, t as RuntimeScope } from "./types-LGikJRYV.mjs";
-export { Adapter, AdapterProfile, AdapterTarget, AggregateCountFn, AggregateExpr, AggregateFn, AggregateOpFn, AndExpr, AnyCodecDescriptor, AnyDdlColumnDefault, AnyExpression, AnyFromSource, AnyInsertOnConflictAction, AnyInsertValue, AnyOperationArg, AnyParamRef, AnyQueryAst, AppliedMutationDefault, AstRewriter, BinaryExpr, BinaryOp, BuildOperationSpec, BuildOptions, BuildParamsMap, Codec, type CodecCallContext, type CodecDescriptor, CodecDescriptorRegistry, CodecExpression, CodecMeta, type CodecRef, type CodecTrait, CodecTypes, CodecTypesBase, CodecValue, ColumnRef, ColumnsOf, ComputeColumnJsType, ContractCodecRegistry, DdlColumn, DdlColumnDefault, DdlColumnDefaultVisitor, DdlColumnRenderContext, DdlNode, DdlTableConstraint, DefaultValueExpr, DeleteAst, DerivedTableSource, DescriptorCodecId, DescriptorCodecInput, DescriptorCodecTraits, Direction, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExecutionContext, ExistsExpr, Expr, ExprVisitor, Expression, ExpressionFolder, ExpressionRewriter, ExpressionSource, ExtractCodecTypes, ForeignKeyConstraint, FunctionColumnDefault, IdentifierRef, InsertAst, InsertOnConflict, InsertValue, JoinAst, JoinOnExpr, JsonArrayAggExpr, JsonObjectEntry, JsonObjectExpr, LimitOffsetValue, ListExpression, LiteralColumnDefault, LiteralExpr, LoweredParam, LoweredStatement, Lowerer, LowererContext, META, MarkerReadResult, Meta, ModelDef, ModelMetadata, MutationDefaultsOp, MutationDefaultsOptions, NotExpr, NullCheckExpr, OperationExpr, OperationTypeSignature, OperationTypes, OperationsForTypeId, OrExpr, OrderByItem, ParamRef, type ParamRefEntry, type ParamRefEntryUnion, type ParamRefHandle, PreparedExecuteRequest, PreparedParamRef, PrimaryKeyConstraint, ProjectionExpr, ProjectionItem, RawCodecInferer, RawExpr, RawFactory, RawFunctionOptions, RawSqlBuilder, RawSqlExpr, RawSqlLiteral, RawSqlTag, RawTemplateFactory, RawTemplateOptions, RuntimeError, type RuntimeScope, SQL_CHAR_CODEC_ID, SQL_FLOAT_CODEC_ID, SQL_INT_CODEC_ID, SQL_TEXT_CODEC_ID, SQL_TIMESTAMP_CODEC_ID, SQL_VARCHAR_CODEC_ID, ScopeField, SelectAst, SelectAstOptions, SqlBuilderOptions, SqlCharCodec, SqlCharDescriptor, SqlCodecCallContext, SqlCodecInstanceContext, SqlColumnRef, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, type SqlExecutionPlan, SqlExplainResult, SqlFloatCodec, SqlFloatDescriptor, SqlIntCodec, SqlIntDescriptor, type SqlOrmPlan, type SqlParamRefMutator, type SqlParamRefMutatorInternal, SqlPlan, SqlQueryPlan, SqlQueryResult, SqlQueryable, SqlTextCodec, SqlTextDescriptor, SqlTimestampCodec, SqlTimestampDescriptor, SqlTransaction, SqlVarcharCodec, SqlVarcharDescriptor, SubqueryExpr, TableDef, TableKey, TableMetadata, TableRef, TableSource, TablesOf, ToWhereExpr, TraitExpression, TypeHelperRegistry, UniqueConstraint, UpdateAst, WhereArg, WindowFn, WindowFuncExpr, buildOperation, codecOf, collectOrderedParamRefs, compact, createRawSql, createSqlParamRefMutator, isDdlNode, isQueryAst, isWhereExpr, param, planFromAst, planInvalid, planUnsupported, queryAstKinds, sqlCharColumn, sqlCharDecode, sqlCharDescriptor, sqlCharEncode, sqlCharRenderOutputType, sqlFloatColumn, sqlFloatDecode, sqlFloatDescriptor, sqlFloatEncode, sqlIntColumn, sqlIntDecode, sqlIntDescriptor, sqlIntEncode, sqlTextColumn, sqlTextDecode, sqlTextDescriptor, sqlTextEncode, sqlTimestampColumn, sqlTimestampDecode, sqlTimestampDecodeJson, sqlTimestampDescriptor, sqlTimestampEncode, sqlTimestampEncodeJson, sqlTimestampRenderOutputType, sqlVarcharColumn, sqlVarcharDecode, sqlVarcharDescriptor, sqlVarcharEncode, sqlVarcharRenderOutputType, toExpr, whereExprKinds };
+export { Adapter, AdapterProfile, AdapterTarget, AggregateCountFn, AggregateExpr, AggregateFn, AggregateOpFn, AndExpr, AnyCodecDescriptor, AnyDdlColumnDefault, AnyExpression, AnyFromSource, AnyInsertOnConflictAction, AnyInsertValue, AnyOperationArg, AnyParamRef, AnyQueryAst, AppliedMutationDefault, AstRewriter, BinaryExpr, BinaryOp, BuildOperationSpec, BuildOptions, BuildParamsMap, Codec, type CodecCallContext, type CodecDescriptor, CodecDescriptorRegistry, CodecExpression, CodecMeta, type CodecRef, type CodecTrait, CodecTypes, CodecTypesBase, CodecValue, ColumnRef, ColumnResolutionContract, ColumnsOf, ComputeColumnJsType, ContractCodecRegistry, DdlColumn, DdlColumnDefault, DdlColumnDefaultVisitor, DdlColumnRenderContext, DdlNode, DdlTableConstraint, DefaultValueExpr, DeleteAst, DerivedTableSource, DescriptorCodecId, DescriptorCodecInput, DescriptorCodecTraits, Direction, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExecutionContext, ExistsExpr, Expr, ExprVisitor, Expression, ExpressionFolder, ExpressionRewriter, ExpressionSource, ExtractCodecTypes, ForeignKeyConstraint, FunctionColumnDefault, IdentifierRef, InsertAst, InsertOnConflict, InsertValue, JoinAst, JoinOnExpr, JsonArrayAggExpr, JsonObjectEntry, JsonObjectExpr, LimitOffsetValue, ListExpression, LiteralColumnDefault, LiteralExpr, LoweredParam, LoweredStatement, Lowerer, LowererContext, META, MarkerReadResult, Meta, ModelDef, ModelMetadata, MutationDefaultsOp, MutationDefaultsOptions, NotExpr, NullCheckExpr, OperationExpr, OperationTypeSignature, OperationTypes, OperationsForTypeId, OrExpr, OrderByItem, ParamRef, type ParamRefEntry, type ParamRefEntryUnion, type ParamRefHandle, PreparedExecuteRequest, PreparedParamRef, PrimaryKeyConstraint, ProjectionExpr, ProjectionItem, RawCodecInferer, RawExpr, RawFactory, RawFunctionOptions, RawSqlBuilder, RawSqlExpr, RawSqlLiteral, RawSqlTag, RawTemplateFactory, RawTemplateOptions, RuntimeError, type RuntimeScope, SQL_CHAR_CODEC_ID, SQL_FLOAT_CODEC_ID, SQL_INT_CODEC_ID, SQL_TEXT_CODEC_ID, SQL_TIMESTAMP_CODEC_ID, SQL_VARCHAR_CODEC_ID, ScopeField, SelectAst, SelectAstOptions, SqlBuilderOptions, SqlCharCodec, SqlCharDescriptor, SqlCodecCallContext, SqlCodecInstanceContext, SqlColumnRef, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, type SqlExecutionPlan, SqlExplainResult, SqlFloatCodec, SqlFloatDescriptor, SqlIntCodec, SqlIntDescriptor, type SqlOrmPlan, type SqlParamRefMutator, type SqlParamRefMutatorInternal, SqlPlan, SqlQueryPlan, SqlQueryResult, SqlQueryable, SqlTextCodec, SqlTextDescriptor, SqlTimestampCodec, SqlTimestampDescriptor, SqlTransaction, SqlVarcharCodec, SqlVarcharDescriptor, SubqueryExpr, TableDef, TableKey, TableMetadata, TableRef, TableSource, TablesOf, ToWhereExpr, TraitExpression, TypeHelperRegistry, UniqueConstraint, UpdateAst, WhereArg, WindowFn, WindowFuncExpr, buildOperation, codecOf, collectOrderedParamRefs, compact, createRawSql, createSqlParamRefMutator, isDdlNode, isQueryAst, isWhereExpr, param, planFromAst, planInvalid, planUnsupported, queryAstKinds, sqlCharColumn, sqlCharDecode, sqlCharDescriptor, sqlCharEncode, sqlCharRenderOutputType, sqlFloatColumn, sqlFloatDecode, sqlFloatDescriptor, sqlFloatEncode, sqlIntColumn, sqlIntDecode, sqlIntDescriptor, sqlIntEncode, sqlTextColumn, sqlTextDecode, sqlTextDescriptor, sqlTextEncode, sqlTimestampColumn, sqlTimestampDecode, sqlTimestampDecodeJson, sqlTimestampDescriptor, sqlTimestampEncode, sqlTimestampEncodeJson, sqlTimestampRenderOutputType, sqlVarcharColumn, sqlVarcharDecode, sqlVarcharDescriptor, sqlVarcharEncode, sqlVarcharRenderOutputType, toExpr, whereExprKinds };

package/dist/types-QlhwIh5w.d.mts

@@ -0,0 +1,233 @@
+import { J as ParamRef, g as ColumnRef } from "./types-BbGUx5Bi.mjs";
+import { r as ExecutionContext } from "./query-lane-context-CY0-e8Qo.mjs";
+import { t as SqlExecutionPlan } from "./sql-execution-plan-JwVeAzXt.mjs";
+import { Contract } from "@prisma-next/contract/types";
+import { ExtractFieldOutputTypes, SqlStorage, StorageColumn } from "@prisma-next/sql-contract/types";
+import { ParamSpec } from "@prisma-next/operations";
+import { SqlLoweringSpec } from "@prisma-next/sql-operations";
+
+//#region src/types.d.ts
+type Expr = ColumnRef | ParamRef;
+/**
+ * The minimal contract shape the per-namespace column resolver needs: the
+ * application-domain models and the storage tables, both keyed by namespace
+ * coordinate, plus (via the optional TypeMaps phantom key, read structurally by
+ * {@link ExtractFieldOutputTypes}) the refined field-output map. Every emitted
+ * `Contract<SqlStorage>` satisfies it, as does `sql-builder`'s `TableProxyContract`
+ * — so the resolver indexes the coordinate directly without forcing callers to
+ * carry the full `Contract`.
+ */
+type ColumnResolutionContract = {
+  readonly domain: {
+    readonly namespaces: Readonly<Record<string, {
+      readonly models: Readonly<Record<string, unknown>>;
+    }>>;
+  };
+  readonly storage: {
+    readonly namespaces: Readonly<Record<string, {
+      readonly entries: Readonly<Record<string, Readonly<Record<string, unknown>>>>;
+    }>>;
+  };
+};
+type NamespaceModels<TContract extends ColumnResolutionContract, NsId extends string> = TContract['domain']['namespaces'][NsId] extends {
+  readonly models: infer Models extends Record<string, unknown>;
+} ? Models : never;
+type ExtractTableToModel<TContract extends ColumnResolutionContract, NsId extends string, TableName extends string> = NamespaceModels<TContract, NsId> extends infer Models extends Record<string, unknown> ? { [M in keyof Models & string]: Models[M] extends {
+  readonly storage: {
+    readonly table: TableName;
+  };
+} ? M : never }[keyof Models & string] : never;
+type ExtractColumnToField<TContract extends ColumnResolutionContract, NsId extends string, TableName extends string, ColumnName extends string> = ExtractTableToModel<TContract, NsId, TableName> extends infer ModelName extends string ? NamespaceModels<TContract, NsId> extends infer Models extends Record<string, unknown> ? ModelName & keyof Models extends infer MKey extends string ? Models[MKey] extends {
+  readonly storage: {
+    readonly fields: infer Fields extends Record<string, unknown>;
+  };
+} ? { [F in keyof Fields & string]: Fields[F] extends {
+  readonly column: ColumnName;
+} ? F : never }[keyof Fields & string] : never : never : never : never;
+/** Resolves to `never` when the table or column is absent in the namespace. */
+type NamespaceStorageColumn<TContract extends ColumnResolutionContract, NsId extends string, TableName extends string, ColumnName extends string> = TContract['storage']['namespaces'][NsId] extends {
+  readonly entries: {
+    readonly table: infer Tables extends Record<string, unknown>;
+  };
+} ? TableName extends keyof Tables ? Tables[TableName] extends {
+  readonly columns: infer Columns extends Record<string, unknown>;
+} ? ColumnName extends keyof Columns ? Columns[ColumnName] extends StorageColumn ? Columns[ColumnName] : never : never : never : never : never;
+type FallbackCodecLookup<ColumnMeta extends StorageColumn, CodecTypes extends Record<string, {
+  readonly output: unknown;
+}>> = ColumnMeta extends {
+  codecId: infer CodecId extends string;
+} ? CodecId extends keyof CodecTypes ? CodecTypes[CodecId] extends {
+  readonly output: infer O;
+} ? ColumnMeta extends {
+  nullable: true;
+} ? O | null : O : unknown : unknown : unknown;
+/**
+ * The refined (typeParam-applied) JS output type for a field within a namespace
+ * coordinate, read from the emitter's namespace-nested `FieldOutputTypes` map at
+ * `FieldOutputTypes[NsId][Model][Field]`. This preserves parameterized codec
+ * refinements (e.g. `Vector<N>`, `Char<N>`) that a bare codec-output lookup
+ * would drop. Resolves to `never` when the coordinate is absent from the map.
+ */
+type NamespaceFieldOutput<TContract extends ColumnResolutionContract, NsId extends string, ModelName extends string, FieldName extends string> = ExtractFieldOutputTypes<TContract> extends infer Outputs ? NsId extends keyof Outputs ? Outputs[NsId] extends infer NamespaceOutputs ? ModelName extends keyof NamespaceOutputs ? NamespaceOutputs[ModelName] extends infer ModelOutputs ? FieldName extends keyof ModelOutputs ? ModelOutputs[FieldName] : never : never : never : never : never : never;
+/**
+ * The secondary resolution path, taken for a storage column not backed by a
+ * domain model field in the namespace (e.g. a column with no corresponding
+ * field); refined model fields resolve via {@link NamespaceFieldOutput}.
+ */
+type ColumnCodecFallback<TContract extends ColumnResolutionContract, NsId extends string, TableName extends string, ColumnName extends string, CodecTypes extends Record<string, {
+  readonly output: unknown;
+}>> = NamespaceStorageColumn<TContract, NsId, TableName, ColumnName> extends infer ColumnMeta ? [ColumnMeta] extends [never] ? never : ColumnMeta extends StorageColumn ? FallbackCodecLookup<ColumnMeta, CodecTypes> : never : never;
+/**
+ * Type-level operation signature.
+ * Represents an operation at the type level for use in contract type maps.
+ */
+type OperationTypeSignature = {
+  readonly args: ReadonlyArray<ParamSpec>;
+  readonly returns: ParamSpec;
+  readonly lowering: SqlLoweringSpec;
+  readonly capabilities?: ReadonlyArray<string>;
+};
+/**
+ * Type-level operation registry.
+ * Maps typeId → operations, where operations is a record of method name → operation signature.
+ *
+ * Example:
+ * ```typescript
+ * type MyOperations: OperationTypes = {
+ *   'pg/vector@1': {
+ *     cosineDistance: {
+ *       args: [{ codecId: 'pg/vector@1'; nullable: false }];
+ *       returns: { codecId: 'core/float8'; nullable: false };
+ *       lowering: { targetFamily: 'sql'; strategy: 'function'; template: '...' };
+ *     };
+ *   };
+ * };
+ * ```
+ */
+type OperationTypes = Record<string, Record<string, OperationTypeSignature>>;
+/**
+ * CodecTypes represents a map of typeId to codec definitions.
+ * Each codec definition must have an `output` property indicating the JavaScript type.
+ *
+ * Example:
+ * ```typescript
+ * type MyCodecTypes: CodecTypes = {
+ *   'pg/int4@1': { output: number };
+ *   'pg/text@1': { output: string };
+ * };
+ * ```
+ */
+type CodecTypes = Record<string, {
+  readonly output: unknown;
+}>;
+/**
+ * Extracts operations for a given typeId from the operation registry.
+ * Returns an empty record if the typeId is not found.
+ *
+ * @example
+ * ```typescript
+ * type Ops = OperationsForTypeId<'pg/vector@1', MyOperations>;
+ * // Ops = { cosineDistance: { ... }, l2Distance: { ... } }
+ * ```
+ */
+type OperationsForTypeId<TypeId extends string, Operations extends OperationTypes> = Operations extends Record<string, never> ? Record<string, never> : TypeId extends keyof Operations ? Operations[TypeId] : Record<string, never>;
+/**
+ * Resolves the JavaScript output type of a column addressed by an explicit
+ * namespace coordinate.
+ *
+ * The table→model and column→field mapping is resolved per-namespace from
+ * `domain.namespaces[NsId]['models']`, and the refined output type from the
+ * emitter's namespace-nested `FieldOutputTypes[NsId][Model][Field]` — so a bare
+ * table name shared across namespaces resolves to each namespace's own field,
+ * and parameterized codec refinements (e.g. `Vector<N>`) are preserved. A
+ * storage column not backed by a model field in the namespace falls back to a
+ * codec-output lookup; a column absent in the namespace resolves to `never`.
+ */
+type ComputeColumnJsType<TContract extends ColumnResolutionContract, NsId extends string, TableName extends string, ColumnName extends string, CodecTypes extends Record<string, {
+  readonly output: unknown;
+}>> = ExtractTableToModel<TContract, NsId, TableName> extends infer ModelName ? [ModelName] extends [never] ? ColumnCodecFallback<TContract, NsId, TableName, ColumnName, CodecTypes> : ModelName extends string ? ExtractColumnToField<TContract, NsId, TableName, ColumnName> extends infer FieldName ? [FieldName] extends [never] ? ColumnCodecFallback<TContract, NsId, TableName, ColumnName, CodecTypes> : FieldName extends string ? NamespaceFieldOutput<TContract, NsId, ModelName, FieldName> extends infer Out ? [Out] extends [never] ? ColumnCodecFallback<TContract, NsId, TableName, ColumnName, CodecTypes> : Out : never : never : never : never : never;
+/**
+ * Alias for the SQL-domain executable plan, exposed under the legacy
+ * `SqlPlan` name for compatibility with SQL builder/utility call sites.
+ * The canonical name is `SqlExecutionPlan` (`./sql-execution-plan`).
+ */
+type SqlPlan<Row = unknown> = SqlExecutionPlan<Row>;
+/**
+ * Helper types for extracting contract structure.
+ */
+type TablesOf<TContract> = TContract extends {
+  storage: {
+    tables: infer U;
+  };
+} ? U : never;
+type TableKey<TContract> = Extract<keyof TablesOf<TContract>, string>;
+/**
+ * Unique symbol for metadata property to avoid collisions with user-defined properties
+ */
+declare const META: unique symbol;
+/**
+ * Extracts metadata from a type that has a META property
+ */
+type Meta<T extends {
+  [META]: unknown;
+}> = T[typeof META];
+/**
+ * Metadata interface for table definitions
+ */
+interface TableMetadata<Name extends string> {
+  name: Name;
+}
+/**
+ * Metadata interface for model definitions
+ */
+interface ModelMetadata<Name extends string> {
+  name: Name;
+}
+/**
+ * Base interface for table definitions with metadata
+ * Used in contract.d.ts to define storage-level table types
+ */
+interface TableDef<Name extends string> {
+  readonly [META]: TableMetadata<Name>;
+}
+/**
+ * Base interface for model definitions with metadata
+ * Used in contract.d.ts to define application-level model types
+ */
+interface ModelDef<Name extends string> {
+  readonly [META]: ModelMetadata<Name>;
+}
+type ColumnsOf<TContract, K extends TableKey<TContract>> = K extends keyof TablesOf<TContract> ? TablesOf<TContract>[K] extends {
+  columns: infer C;
+} ? C : never : never;
+interface RawTemplateOptions {
+  readonly annotations?: Record<string, unknown>;
+}
+interface RawFunctionOptions extends RawTemplateOptions {
+  readonly params: ReadonlyArray<unknown>;
+}
+type RawTemplateFactory = (strings: TemplateStringsArray, ...values: readonly unknown[]) => SqlExecutionPlan;
+interface RawFactory extends RawTemplateFactory {
+  (text: string, options: RawFunctionOptions): SqlExecutionPlan;
+  with(options: RawTemplateOptions): RawTemplateFactory;
+}
+interface RuntimeError extends Error {
+  readonly code: string;
+  readonly category: 'PLAN';
+  readonly severity: 'error';
+  readonly details?: Record<string, unknown>;
+  readonly hints?: readonly string[];
+  readonly docs?: readonly string[];
+}
+interface BuildParamsMap {
+  readonly [name: string]: unknown;
+}
+interface BuildOptions {
+  readonly params?: BuildParamsMap;
+}
+interface SqlBuilderOptions<TContract extends Contract<SqlStorage> = Contract<SqlStorage>> {
+  readonly context: ExecutionContext<TContract>;
+}
+//#endregion
+export { TableKey as C, TableDef as S, TablesOf as T, RawTemplateFactory as _, ColumnsOf as a, SqlBuilderOptions as b, META as c, ModelMetadata as d, OperationTypeSignature as f, RawFunctionOptions as g, RawFactory as h, ColumnResolutionContract as i, Meta as l, OperationsForTypeId as m, BuildParamsMap as n, ComputeColumnJsType as o, OperationTypes as p, CodecTypes as r, Expr as s, BuildOptions as t, ModelDef as u, RawTemplateOptions as v, TableMetadata as w, SqlPlan as x, RuntimeError as y };
+//# sourceMappingURL=types-QlhwIh5w.d.mts.map

package/dist/types-QlhwIh5w.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-QlhwIh5w.d.mts","names":[],"sources":["../src/types.ts"],"mappings":";;;;;;;;;KAYY,IAAA,GAAO,SAAA,GAAY,QAAQ;;AAAvC;;;;AAAuC;AAWvC;;;KAAY,wBAAA;EAAA,SACD,MAAA;IAAA,SACE,UAAA,EAAY,QAAA,CACnB,MAAA;MAAA,SAA0B,MAAA,EAAQ,QAAA,CAAS,MAAA;IAAA;EAAA;EAAA,SAGtC,OAAA;IAAA,SACE,UAAA,EAAY,QAAA,CACnB,MAAA;MAAA,SAEa,OAAA,EAAS,QAAA,CAAS,MAAA,SAAe,QAAA,CAAS,MAAA;IAAA;EAAA;AAAA;AAAA,KAMxD,eAAA,mBACe,wBAAA,yBAEhB,SAAA,yBAAkC,IAAA;EAAA,SAC3B,MAAA,uBAA6B,MAAA;AAAA,IAEpC,MAAA;AAAA,KAGC,mBAAA,mBACe,wBAAA,mDAIlB,eAAA,CAAgB,SAAA,EAAW,IAAA,+BAAmC,MAAA,kCAE5C,MAAA,YAAkB,MAAA,CAAO,CAAA;EAAA,SAC1B,OAAA;IAAA,SAAoB,KAAA,EAAO,SAAA;EAAA;AAAA,IAElC,CAAA,iBAEE,MAAA;AAAA,KAGT,oBAAA,mBACe,wBAAA,8EAKlB,mBAAA,CAAoB,SAAA,EAAW,IAAA,EAAM,SAAA,2CACjC,eAAA,CAAgB,SAAA,EAAW,IAAA,+BAAmC,MAAA,oBAC5D,SAAA,SAAkB,MAAA,qCAChB,MAAA,CAAO,IAAA;EAAA,SACI,OAAA;IAAA,SAAoB,MAAA,uBAA6B,MAAA;EAAA;AAAA,kBAG5C,MAAA,YAAkB,MAAA,CAAO,CAAA;EAAA,SAAsB,MAAA,EAAQ,UAAA;AAAA,IAC/D,CAAA,iBAEE,MAAA;;KAOf,sBAAA,mBACe,wBAAA,8EAIhB,SAAA,0BAAmC,IAAA;EAAA,SAC5B,OAAA;IAAA,SAAoB,KAAA,uBAA4B,MAAA;EAAA;AAAA,IAEvD,SAAA,eAAwB,MAAA,GACtB,MAAA,CAAO,SAAA;EAAA,SACI,OAAA,wBAA+B,MAAA;AAAA,IAExC,UAAA,eAAyB,OAAA,GACvB,OAAA,CAAQ,UAAA,UAAoB,aAAA,GAC1B,OAAA,CAAQ,UAAA;AAAA,KAOf,mBAAA,oBACgB,aAAA,qBACA,MAAA;EAAA,SAA0B,MAAA;AAAA,MAC3C,UAAA;EAAqB,OAAA;AAAA,IACrB,OAAA,eAAsB,UAAA,GACpB,UAAA,CAAW,OAAA;EAAA,SAA4B,MAAA;AAAA,IACrC,UAAA;EAAqB,QAAA;AAAA,IACnB,CAAA,UACA,CAAA;;AAtEA;AAAA;;;;;KAkFL,oBAAA,mBACe,wBAAA,6EAKlB,uBAAA,CAAwB,SAAA,0BACpB,IAAA,eAAmB,OAAA,GACjB,OAAA,CAAQ,IAAA,mCACN,SAAA,eAAwB,gBAAA,GACtB,gBAAA,CAAiB,SAAA,+BACf,SAAA,eAAwB,YAAA,GACtB,YAAA,CAAa,SAAA;;;;;;KAaxB,mBAAA,mBACe,wBAAA,+FAIC,MAAA;EAAA,SAA0B,MAAA;AAAA,MAE7C,sBAAA,CAAuB,SAAA,EAAW,IAAA,EAAM,SAAA,EAAW,UAAA,8BAC9C,UAAA,4BAEC,UAAA,SAAmB,aAAA,GACjB,mBAAA,CAAoB,UAAA,EAAY,UAAA;;;;;KAQ9B,sBAAA;EAAA,SACD,IAAA,EAAM,aAAA,CAAc,SAAA;EAAA,SACpB,OAAA,EAAS,SAAA;EAAA,SACT,QAAA,EAAU,eAAA;EAAA,SACV,YAAA,GAAe,aAAA;AAAA;;;;;;;;;;;;AAnHN;AAAA;;;;;KAuIR,cAAA,GAAiB,MAAA,SAAe,MAAA,SAAe,sBAAA;;;;;;;;;;;;;KAc/C,UAAA,GAAa,MAAM;EAAA,SAAoB,MAAM;AAAA;;;;;;;;;;;KAY7C,mBAAA,2CAA8D,cAAA,IACxE,UAAA,SAAmB,MAAA,kBACf,MAAA,kBACA,MAAA,eAAqB,UAAA,GACnB,UAAA,CAAW,MAAA,IACX,MAAA;;;;;;;;;;;;;KAcI,mBAAA,mBACQ,wBAAA,+FAIC,MAAA;EAAA,SAA0B,MAAA;AAAA,MAE7C,mBAAA,CAAoB,SAAA,EAAW,IAAA,EAAM,SAAA,6BAChC,SAAA,oBACC,mBAAA,CAAoB,SAAA,EAAW,IAAA,EAAM,SAAA,EAAW,UAAA,EAAY,UAAA,IAC5D,SAAA,kBACE,oBAAA,CAAqB,SAAA,EAAW,IAAA,EAAM,SAAA,EAAW,UAAA,6BAC9C,SAAA,oBACC,mBAAA,CAAoB,SAAA,EAAW,IAAA,EAAM,SAAA,EAAW,UAAA,EAAY,UAAA,IAC5D,SAAA,kBACE,oBAAA,CAAqB,SAAA,EAAW,IAAA,EAAM,SAAA,EAAW,SAAA,uBAC9C,GAAA,oBACC,mBAAA,CAAoB,SAAA,EAAW,IAAA,EAAM,SAAA,EAAW,UAAA,EAAY,UAAA,IAC5D,GAAA;;;;;;KAYR,OAAA,kBAAyB,gBAAgB,CAAC,GAAA;;;;KAK1C,QAAA,cAAsB,SAAS;EACzC,OAAA;IAAW,MAAA;EAAA;AAAA,IAET,CAAA;AAAA,KAGQ,QAAA,cAAsB,OAAA,OAAc,QAAA,CAAS,SAAA;;;;cAQpC,IAAA;;;;KAKT,IAAA;EAAA,CAAkB,IAAA;AAAA,KAAoB,CAAA,QAAS,IAAA;;;;UAK1C,aAAA;EACf,IAAA,EAAM,IAAI;AAAA;;;;UAMK,aAAA;EACf,IAAA,EAAM,IAAI;AAAA;;;;;UAOK,QAAA;EAAA,UACL,IAAA,GAAO,aAAA,CAAc,IAAA;AAAA;;;;;UAOhB,QAAA;EAAA,UACL,IAAA,GAAO,aAAA,CAAc,IAAA;AAAA;AAAA,KAGrB,SAAA,sBAEA,QAAA,CAAS,SAAA,KACjB,CAAA,eAAgB,QAAA,CAAS,SAAA,IACzB,QAAA,CAAS,SAAA,EAAW,CAAA;EAAa,OAAA;AAAA,IAC/B,CAAA;AAAA,UAIW,kBAAA;EAAA,SACN,WAAA,GAAc,MAAM;AAAA;AAAA,UAGd,kBAAA,SAA2B,kBAAkB;EAAA,SACnD,MAAA,EAAQ,aAAA;AAAA;AAAA,KAGP,kBAAA,IACV,OAAA,EAAS,oBAAA,KACN,MAAA,yBACA,gBAAgB;AAAA,UAEJ,UAAA,SAAmB,kBAAA;EAAA,CACjC,IAAA,UAAc,OAAA,EAAS,kBAAA,GAAqB,gBAAA;EAC7C,IAAA,CAAK,OAAA,EAAS,kBAAA,GAAqB,kBAAA;AAAA;AAAA,UAGpB,YAAA,SAAqB,KAAK;EAAA,SAChC,IAAA;EAAA,SACA,QAAA;EAAA,SACA,QAAA;EAAA,SACA,OAAA,GAAU,MAAA;EAAA,SACV,KAAA;EAAA,SACA,IAAA;AAAA;AAAA,UAGM,cAAA;EAAA,UACL,IAAY;AAAA;AAAA,UAGP,YAAA;EAAA,SACN,MAAA,GAAS,cAAc;AAAA;AAAA,UAGjB,iBAAA,mBAAoC,QAAA,CAAS,UAAA,IAAc,QAAA,CAAS,UAAA;EAAA,SAC1E,OAAA,EAAS,gBAAA,CAAiB,SAAA;AAAA"}

package/package.json

@@ -1,26 +1,26 @@
 {
   "name": "@prisma-next/sql-relational-core",
-  "version": "0.13.0-dev.32",
+  "version": "0.13.0-dev.34",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "AST types, query lane context, and type utilities for Prisma Next SQL lanes",
   "dependencies": {
-    "@prisma-next/contract": "0.13.0-dev.32",
-    "@prisma-next/framework-components": "0.13.0-dev.32",
-    "@prisma-next/operations": "0.13.0-dev.32",
-    "@prisma-next/sql-contract": "0.13.0-dev.32",
-    "@prisma-next/sql-operations": "0.13.0-dev.32",
-    "@prisma-next/utils": "0.13.0-dev.32",
+    "@prisma-next/contract": "0.13.0-dev.34",
+    "@prisma-next/framework-components": "0.13.0-dev.34",
+    "@prisma-next/operations": "0.13.0-dev.34",
+    "@prisma-next/sql-contract": "0.13.0-dev.34",
+    "@prisma-next/sql-operations": "0.13.0-dev.34",
+    "@prisma-next/utils": "0.13.0-dev.34",
     "@standard-schema/spec": "^1.1.0",
     "arktype": "^2.2.0",
     "ts-toolbelt": "^9.6.0"
   },
   "devDependencies": {
-    "@prisma-next/sql-contract-ts": "0.13.0-dev.32",
-    "@prisma-next/test-utils": "0.13.0-dev.32",
-    "@prisma-next/tsconfig": "0.13.0-dev.32",
-    "@prisma-next/tsdown": "0.13.0-dev.32",
+    "@prisma-next/sql-contract-ts": "0.13.0-dev.34",
+    "@prisma-next/test-utils": "0.13.0-dev.34",
+    "@prisma-next/tsconfig": "0.13.0-dev.34",
+    "@prisma-next/tsdown": "0.13.0-dev.34",
     "tsdown": "0.22.1",
     "typescript": "5.9.3",
     "vitest": "4.1.8"

package/src/types.ts

@@ -1,4 +1,4 @@
-import type { Contract, ContractModelDefinitions } from '@prisma-next/contract/types';
+import type { Contract } from '@prisma-next/contract/types';
 import type { ParamSpec } from '@prisma-next/operations';
 import type {
   ExtractFieldOutputTypes,
@@ -13,11 +13,45 @@ import type { SqlExecutionPlan } from './sql-execution-plan';
 export type Expr = ColumnRef | ParamRef;
 
 /**
- * Extracts the model name for a given table by iterating models to find the one
- * whose `storage.table` matches.
+ * The minimal contract shape the per-namespace column resolver needs: the
+ * application-domain models and the storage tables, both keyed by namespace
+ * coordinate, plus (via the optional TypeMaps phantom key, read structurally by
+ * {@link ExtractFieldOutputTypes}) the refined field-output map. Every emitted
+ * `Contract<SqlStorage>` satisfies it, as does `sql-builder`'s `TableProxyContract`
+ * — so the resolver indexes the coordinate directly without forcing callers to
+ * carry the full `Contract`.
  */
-type ExtractTableToModel<TContract extends Contract<SqlStorage>, TableName extends string> =
-  ContractModelDefinitions<TContract> extends infer Models extends Record<string, unknown>
+export type ColumnResolutionContract = {
+  readonly domain: {
+    readonly namespaces: Readonly<
+      Record<string, { readonly models: Readonly<Record<string, unknown>> }>
+    >;
+  };
+  readonly storage: {
+    readonly namespaces: Readonly<
+      Record<
+        string,
+        { readonly entries: Readonly<Record<string, Readonly<Record<string, unknown>>>> }
+      >
+    >;
+  };
+};
+
+type NamespaceModels<
+  TContract extends ColumnResolutionContract,
+  NsId extends string,
+> = TContract['domain']['namespaces'][NsId] extends {
+  readonly models: infer Models extends Record<string, unknown>;
+}
+  ? Models
+  : never;
+
+type ExtractTableToModel<
+  TContract extends ColumnResolutionContract,
+  NsId extends string,
+  TableName extends string,
+> =
+  NamespaceModels<TContract, NsId> extends infer Models extends Record<string, unknown>
     ? {
         [M in keyof Models & string]: Models[M] extends {
           readonly storage: { readonly table: TableName };
@@ -27,17 +61,14 @@ type ExtractTableToModel<TContract extends Contract<SqlStorage>, TableName exten
       }[keyof Models & string]
     : never;
 
-/**
- * Extracts the field name for a given column by finding the field in
- * `model.storage.fields` whose `column` matches.
- */
 type ExtractColumnToField<
-  TContract extends Contract<SqlStorage>,
+  TContract extends ColumnResolutionContract,
+  NsId extends string,
   TableName extends string,
   ColumnName extends string,
 > =
-  ExtractTableToModel<TContract, TableName> extends infer ModelName extends string
-    ? ContractModelDefinitions<TContract> extends infer Models extends Record<string, unknown>
+  ExtractTableToModel<TContract, NsId, TableName> extends infer ModelName extends string
+    ? NamespaceModels<TContract, NsId> extends infer Models extends Record<string, unknown>
       ? ModelName & keyof Models extends infer MKey extends string
         ? Models[MKey] extends {
             readonly storage: { readonly fields: infer Fields extends Record<string, unknown> };
@@ -52,6 +83,28 @@ type ExtractColumnToField<
       : never
     : never;
 
+/** Resolves to `never` when the table or column is absent in the namespace. */
+type NamespaceStorageColumn<
+  TContract extends ColumnResolutionContract,
+  NsId extends string,
+  TableName extends string,
+  ColumnName extends string,
+> = TContract['storage']['namespaces'][NsId] extends {
+  readonly entries: { readonly table: infer Tables extends Record<string, unknown> };
+}
+  ? TableName extends keyof Tables
+    ? Tables[TableName] extends {
+        readonly columns: infer Columns extends Record<string, unknown>;
+      }
+      ? ColumnName extends keyof Columns
+        ? Columns[ColumnName] extends StorageColumn
+          ? Columns[ColumnName]
+          : never
+        : never
+      : never
+    : never
+  : never;
+
 type FallbackCodecLookup<
   ColumnMeta extends StorageColumn,
   CodecTypes extends Record<string, { readonly output: unknown }>,
@@ -65,6 +118,53 @@ type FallbackCodecLookup<
     : unknown
   : unknown;
 
+/**
+ * The refined (typeParam-applied) JS output type for a field within a namespace
+ * coordinate, read from the emitter's namespace-nested `FieldOutputTypes` map at
+ * `FieldOutputTypes[NsId][Model][Field]`. This preserves parameterized codec
+ * refinements (e.g. `Vector<N>`, `Char<N>`) that a bare codec-output lookup
+ * would drop. Resolves to `never` when the coordinate is absent from the map.
+ */
+type NamespaceFieldOutput<
+  TContract extends ColumnResolutionContract,
+  NsId extends string,
+  ModelName extends string,
+  FieldName extends string,
+> =
+  ExtractFieldOutputTypes<TContract> extends infer Outputs
+    ? NsId extends keyof Outputs
+      ? Outputs[NsId] extends infer NamespaceOutputs
+        ? ModelName extends keyof NamespaceOutputs
+          ? NamespaceOutputs[ModelName] extends infer ModelOutputs
+            ? FieldName extends keyof ModelOutputs
+              ? ModelOutputs[FieldName]
+              : never
+            : never
+          : never
+        : never
+      : never
+    : never;
+
+/**
+ * The secondary resolution path, taken for a storage column not backed by a
+ * domain model field in the namespace (e.g. a column with no corresponding
+ * field); refined model fields resolve via {@link NamespaceFieldOutput}.
+ */
+type ColumnCodecFallback<
+  TContract extends ColumnResolutionContract,
+  NsId extends string,
+  TableName extends string,
+  ColumnName extends string,
+  CodecTypes extends Record<string, { readonly output: unknown }>,
+> =
+  NamespaceStorageColumn<TContract, NsId, TableName, ColumnName> extends infer ColumnMeta
+    ? [ColumnMeta] extends [never]
+      ? never
+      : ColumnMeta extends StorageColumn
+        ? FallbackCodecLookup<ColumnMeta, CodecTypes>
+        : never
+    : never;
+
 /**
  * Type-level operation signature.
  * Represents an operation at the type level for use in contract type maps.
@@ -126,25 +226,37 @@ export type OperationsForTypeId<TypeId extends string, Operations extends Operat
       ? Operations[TypeId]
       : Record<string, never>;
 
+/**
+ * Resolves the JavaScript output type of a column addressed by an explicit
+ * namespace coordinate.
+ *
+ * The table→model and column→field mapping is resolved per-namespace from
+ * `domain.namespaces[NsId]['models']`, and the refined output type from the
+ * emitter's namespace-nested `FieldOutputTypes[NsId][Model][Field]` — so a bare
+ * table name shared across namespaces resolves to each namespace's own field,
+ * and parameterized codec refinements (e.g. `Vector<N>`) are preserved. A
+ * storage column not backed by a model field in the namespace falls back to a
+ * codec-output lookup; a column absent in the namespace resolves to `never`.
+ */
 export type ComputeColumnJsType<
-  TContract extends Contract<SqlStorage>,
+  TContract extends ColumnResolutionContract,
+  NsId extends string,
   TableName extends string,
   ColumnName extends string,
-  ColumnMeta extends StorageColumn,
   CodecTypes extends Record<string, { readonly output: unknown }>,
 > =
-  ExtractTableToModel<TContract, TableName> extends infer ModelName
+  ExtractTableToModel<TContract, NsId, TableName> extends infer ModelName
     ? [ModelName] extends [never]
-      ? FallbackCodecLookup<ColumnMeta, CodecTypes>
+      ? ColumnCodecFallback<TContract, NsId, TableName, ColumnName, CodecTypes>
       : ModelName extends string
-        ? ExtractColumnToField<TContract, TableName, ColumnName> extends infer FieldName
+        ? ExtractColumnToField<TContract, NsId, TableName, ColumnName> extends infer FieldName
           ? [FieldName] extends [never]
-            ? FallbackCodecLookup<ColumnMeta, CodecTypes>
+            ? ColumnCodecFallback<TContract, NsId, TableName, ColumnName, CodecTypes>
             : FieldName extends string
-              ? ModelName extends keyof ExtractFieldOutputTypes<TContract>
-                ? FieldName extends keyof ExtractFieldOutputTypes<TContract>[ModelName]
-                  ? ExtractFieldOutputTypes<TContract>[ModelName][FieldName]
-                  : never
+              ? NamespaceFieldOutput<TContract, NsId, ModelName, FieldName> extends infer Out
+                ? [Out] extends [never]
+                  ? ColumnCodecFallback<TContract, NsId, TableName, ColumnName, CodecTypes>
+                  : Out
                 : never
               : never
           : never

package/dist/types-CQVke4QO.d.mts

@@ -1,181 +0,0 @@
-import { J as ParamRef, g as ColumnRef } from "./types-BbGUx5Bi.mjs";
-import { r as ExecutionContext } from "./query-lane-context-CY0-e8Qo.mjs";
-import { t as SqlExecutionPlan } from "./sql-execution-plan-JwVeAzXt.mjs";
-import { Contract, ContractModelDefinitions } from "@prisma-next/contract/types";
-import { ExtractFieldOutputTypes, SqlStorage, StorageColumn } from "@prisma-next/sql-contract/types";
-import { ParamSpec } from "@prisma-next/operations";
-import { SqlLoweringSpec } from "@prisma-next/sql-operations";
-
-//#region src/types.d.ts
-type Expr = ColumnRef | ParamRef;
-/**
- * Extracts the model name for a given table by iterating models to find the one
- * whose `storage.table` matches.
- */
-type ExtractTableToModel<TContract extends Contract<SqlStorage>, TableName extends string> = ContractModelDefinitions<TContract> extends infer Models extends Record<string, unknown> ? { [M in keyof Models & string]: Models[M] extends {
-  readonly storage: {
-    readonly table: TableName;
-  };
-} ? M : never }[keyof Models & string] : never;
-/**
- * Extracts the field name for a given column by finding the field in
- * `model.storage.fields` whose `column` matches.
- */
-type ExtractColumnToField<TContract extends Contract<SqlStorage>, TableName extends string, ColumnName extends string> = ExtractTableToModel<TContract, TableName> extends infer ModelName extends string ? ContractModelDefinitions<TContract> extends infer Models extends Record<string, unknown> ? ModelName & keyof Models extends infer MKey extends string ? Models[MKey] extends {
-  readonly storage: {
-    readonly fields: infer Fields extends Record<string, unknown>;
-  };
-} ? { [F in keyof Fields & string]: Fields[F] extends {
-  readonly column: ColumnName;
-} ? F : never }[keyof Fields & string] : never : never : never : never;
-type FallbackCodecLookup<ColumnMeta extends StorageColumn, CodecTypes extends Record<string, {
-  readonly output: unknown;
-}>> = ColumnMeta extends {
-  codecId: infer CodecId extends string;
-} ? CodecId extends keyof CodecTypes ? CodecTypes[CodecId] extends {
-  readonly output: infer O;
-} ? ColumnMeta extends {
-  nullable: true;
-} ? O | null : O : unknown : unknown : unknown;
-/**
- * Type-level operation signature.
- * Represents an operation at the type level for use in contract type maps.
- */
-type OperationTypeSignature = {
-  readonly args: ReadonlyArray<ParamSpec>;
-  readonly returns: ParamSpec;
-  readonly lowering: SqlLoweringSpec;
-  readonly capabilities?: ReadonlyArray<string>;
-};
-/**
- * Type-level operation registry.
- * Maps typeId → operations, where operations is a record of method name → operation signature.
- *
- * Example:
- * ```typescript
- * type MyOperations: OperationTypes = {
- *   'pg/vector@1': {
- *     cosineDistance: {
- *       args: [{ codecId: 'pg/vector@1'; nullable: false }];
- *       returns: { codecId: 'core/float8'; nullable: false };
- *       lowering: { targetFamily: 'sql'; strategy: 'function'; template: '...' };
- *     };
- *   };
- * };
- * ```
- */
-type OperationTypes = Record<string, Record<string, OperationTypeSignature>>;
-/**
- * CodecTypes represents a map of typeId to codec definitions.
- * Each codec definition must have an `output` property indicating the JavaScript type.
- *
- * Example:
- * ```typescript
- * type MyCodecTypes: CodecTypes = {
- *   'pg/int4@1': { output: number };
- *   'pg/text@1': { output: string };
- * };
- * ```
- */
-type CodecTypes = Record<string, {
-  readonly output: unknown;
-}>;
-/**
- * Extracts operations for a given typeId from the operation registry.
- * Returns an empty record if the typeId is not found.
- *
- * @example
- * ```typescript
- * type Ops = OperationsForTypeId<'pg/vector@1', MyOperations>;
- * // Ops = { cosineDistance: { ... }, l2Distance: { ... } }
- * ```
- */
-type OperationsForTypeId<TypeId extends string, Operations extends OperationTypes> = Operations extends Record<string, never> ? Record<string, never> : TypeId extends keyof Operations ? Operations[TypeId] : Record<string, never>;
-type ComputeColumnJsType<TContract extends Contract<SqlStorage>, TableName extends string, ColumnName extends string, ColumnMeta extends StorageColumn, CodecTypes extends Record<string, {
-  readonly output: unknown;
-}>> = ExtractTableToModel<TContract, TableName> extends infer ModelName ? [ModelName] extends [never] ? FallbackCodecLookup<ColumnMeta, CodecTypes> : ModelName extends string ? ExtractColumnToField<TContract, TableName, ColumnName> extends infer FieldName ? [FieldName] extends [never] ? FallbackCodecLookup<ColumnMeta, CodecTypes> : FieldName extends string ? ModelName extends keyof ExtractFieldOutputTypes<TContract> ? FieldName extends keyof ExtractFieldOutputTypes<TContract>[ModelName] ? ExtractFieldOutputTypes<TContract>[ModelName][FieldName] : never : never : never : never : never : never;
-/**
- * Alias for the SQL-domain executable plan, exposed under the legacy
- * `SqlPlan` name for compatibility with SQL builder/utility call sites.
- * The canonical name is `SqlExecutionPlan` (`./sql-execution-plan`).
- */
-type SqlPlan<Row = unknown> = SqlExecutionPlan<Row>;
-/**
- * Helper types for extracting contract structure.
- */
-type TablesOf<TContract> = TContract extends {
-  storage: {
-    tables: infer U;
-  };
-} ? U : never;
-type TableKey<TContract> = Extract<keyof TablesOf<TContract>, string>;
-/**
- * Unique symbol for metadata property to avoid collisions with user-defined properties
- */
-declare const META: unique symbol;
-/**
- * Extracts metadata from a type that has a META property
- */
-type Meta<T extends {
-  [META]: unknown;
-}> = T[typeof META];
-/**
- * Metadata interface for table definitions
- */
-interface TableMetadata<Name extends string> {
-  name: Name;
-}
-/**
- * Metadata interface for model definitions
- */
-interface ModelMetadata<Name extends string> {
-  name: Name;
-}
-/**
- * Base interface for table definitions with metadata
- * Used in contract.d.ts to define storage-level table types
- */
-interface TableDef<Name extends string> {
-  readonly [META]: TableMetadata<Name>;
-}
-/**
- * Base interface for model definitions with metadata
- * Used in contract.d.ts to define application-level model types
- */
-interface ModelDef<Name extends string> {
-  readonly [META]: ModelMetadata<Name>;
-}
-type ColumnsOf<TContract, K extends TableKey<TContract>> = K extends keyof TablesOf<TContract> ? TablesOf<TContract>[K] extends {
-  columns: infer C;
-} ? C : never : never;
-interface RawTemplateOptions {
-  readonly annotations?: Record<string, unknown>;
-}
-interface RawFunctionOptions extends RawTemplateOptions {
-  readonly params: ReadonlyArray<unknown>;
-}
-type RawTemplateFactory = (strings: TemplateStringsArray, ...values: readonly unknown[]) => SqlExecutionPlan;
-interface RawFactory extends RawTemplateFactory {
-  (text: string, options: RawFunctionOptions): SqlExecutionPlan;
-  with(options: RawTemplateOptions): RawTemplateFactory;
-}
-interface RuntimeError extends Error {
-  readonly code: string;
-  readonly category: 'PLAN';
-  readonly severity: 'error';
-  readonly details?: Record<string, unknown>;
-  readonly hints?: readonly string[];
-  readonly docs?: readonly string[];
-}
-interface BuildParamsMap {
-  readonly [name: string]: unknown;
-}
-interface BuildOptions {
-  readonly params?: BuildParamsMap;
-}
-interface SqlBuilderOptions<TContract extends Contract<SqlStorage> = Contract<SqlStorage>> {
-  readonly context: ExecutionContext<TContract>;
-}
-//#endregion
-export { TableMetadata as C, TableKey as S, RawTemplateOptions as _, ComputeColumnJsType as a, SqlPlan as b, Meta as c, OperationTypeSignature as d, OperationTypes as f, RawTemplateFactory as g, RawFunctionOptions as h, ColumnsOf as i, ModelDef as l, RawFactory as m, BuildParamsMap as n, Expr as o, OperationsForTypeId as p, CodecTypes as r, META as s, BuildOptions as t, ModelMetadata as u, RuntimeError as v, TablesOf as w, TableDef as x, SqlBuilderOptions as y };
-//# sourceMappingURL=types-CQVke4QO.d.mts.map

package/dist/types-CQVke4QO.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types-CQVke4QO.d.mts","names":[],"sources":["../src/types.ts"],"mappings":";;;;;;;;;KAYY,IAAA,GAAO,SAAA,GAAY,QAAQ;;AAAvC;;;KAMK,mBAAA,mBAAsC,QAAA,CAAS,UAAA,+BAClD,wBAAA,CAAyB,SAAA,+BAAwC,MAAA,kCAE/C,MAAA,YAAkB,MAAA,CAAO,CAAA;EAAA,SAC1B,OAAA;IAAA,SAAoB,KAAA,EAAO,SAAA;EAAA;AAAA,IAElC,CAAA,iBAEE,MAAA;;;;;KAOT,oBAAA,mBACe,QAAA,CAAS,UAAA,0DAI3B,mBAAA,CAAoB,SAAA,EAAW,SAAA,2CAC3B,wBAAA,CAAyB,SAAA,+BAAwC,MAAA,oBAC/D,SAAA,SAAkB,MAAA,qCAChB,MAAA,CAAO,IAAA;EAAA,SACI,OAAA;IAAA,SAAoB,MAAA,uBAA6B,MAAA;EAAA;AAAA,kBAG5C,MAAA,YAAkB,MAAA,CAAO,CAAA;EAAA,SAAsB,MAAA,EAAQ,UAAA;AAAA,IAC/D,CAAA,iBAEE,MAAA;AAAA,KAMf,mBAAA,oBACgB,aAAA,qBACA,MAAA;EAAA,SAA0B,MAAA;AAAA,MAC3C,UAAA;EAAqB,OAAA;AAAA,IACrB,OAAA,eAAsB,UAAA,GACpB,UAAA,CAAW,OAAA;EAAA,SAA4B,MAAA;AAAA,IACrC,UAAA;EAAqB,QAAA;AAAA,IACnB,CAAA,UACA,CAAA;;;;;KASE,sBAAA;EAAA,SACD,IAAA,EAAM,aAAA,CAAc,SAAA;EAAA,SACpB,OAAA,EAAS,SAAA;EAAA,SACT,QAAA,EAAU,eAAA;EAAA,SACV,YAAA,GAAe,aAAA;AAAA;;;;;;;;;;;;;;;;;;KAoBd,cAAA,GAAiB,MAAA,SAAe,MAAA,SAAe,sBAAA;;;;;;;;;;;;;KAc/C,UAAA,GAAa,MAAM;EAAA,SAAoB,MAAM;AAAA;;;;;;;;;;;KAY7C,mBAAA,2CAA8D,cAAA,IACxE,UAAA,SAAmB,MAAA,kBACf,MAAA,kBACA,MAAA,eAAqB,UAAA,GACnB,UAAA,CAAW,MAAA,IACX,MAAA;AAAA,KAEI,mBAAA,mBACQ,QAAA,CAAS,UAAA,2EAGR,aAAA,qBACA,MAAA;EAAA,SAA0B,MAAA;AAAA,MAE7C,mBAAA,CAAoB,SAAA,EAAW,SAAA,6BAC1B,SAAA,oBACC,mBAAA,CAAoB,UAAA,EAAY,UAAA,IAChC,SAAA,kBACE,oBAAA,CAAqB,SAAA,EAAW,SAAA,EAAW,UAAA,6BACxC,SAAA,oBACC,mBAAA,CAAoB,UAAA,EAAY,UAAA,IAChC,SAAA,kBACE,SAAA,eAAwB,uBAAA,CAAwB,SAAA,IAC9C,SAAA,eAAwB,uBAAA,CAAwB,SAAA,EAAW,SAAA,IACzD,uBAAA,CAAwB,SAAA,EAAW,SAAA,EAAW,SAAA;;;;;;KAatD,OAAA,kBAAyB,gBAAgB,CAAC,GAAA;AA9G5B;AAAA;;AAAA,KAmHd,QAAA,cAAsB,SAAS;EACzC,OAAA;IAAW,MAAA;EAAA;AAAA,IAET,CAAA;AAAA,KAGQ,QAAA,cAAsB,OAAA,OAAc,QAAA,CAAS,SAAA;;;;cAQpC,IAAA;;;;KAKT,IAAA;EAAA,CAAkB,IAAA;AAAA,KAAoB,CAAA,QAAS,IAAA;;;;UAK1C,aAAA;EACf,IAAA,EAAM,IAAI;AAAA;;;;UAMK,aAAA;EACf,IAAA,EAAM,IAAI;AAAA;;;AArID;AASX;UAmIiB,QAAA;EAAA,UACL,IAAA,GAAO,aAAA,CAAc,IAAA;AAAA;;;;;UAOhB,QAAA;EAAA,UACL,IAAA,GAAO,aAAA,CAAc,IAAA;AAAA;AAAA,KAGrB,SAAA,sBAEA,QAAA,CAAS,SAAA,KACjB,CAAA,eAAgB,QAAA,CAAS,SAAA,IACzB,QAAA,CAAS,SAAA,EAAW,CAAA;EAAa,OAAA;AAAA,IAC/B,CAAA;AAAA,UAIW,kBAAA;EAAA,SACN,WAAA,GAAc,MAAM;AAAA;AAAA,UAGd,kBAAA,SAA2B,kBAAkB;EAAA,SACnD,MAAA,EAAQ,aAAA;AAAA;AAAA,KAGP,kBAAA,IACV,OAAA,EAAS,oBAAA,KACN,MAAA,yBACA,gBAAgB;AAAA,UAEJ,UAAA,SAAmB,kBAAA;EAAA,CACjC,IAAA,UAAc,OAAA,EAAS,kBAAA,GAAqB,gBAAA;EAC7C,IAAA,CAAK,OAAA,EAAS,kBAAA,GAAqB,kBAAA;AAAA;AAAA,UAGpB,YAAA,SAAqB,KAAK;EAAA,SAChC,IAAA;EAAA,SACA,QAAA;EAAA,SACA,QAAA;EAAA,SACA,OAAA,GAAU,MAAA;EAAA,SACV,KAAA;EAAA,SACA,IAAA;AAAA;AAAA,UAGM,cAAA;EAAA,UACL,IAAY;AAAA;AAAA,UAGP,YAAA;EAAA,SACN,MAAA,GAAS,cAAc;AAAA;AAAA,UAGjB,iBAAA,mBAAoC,QAAA,CAAS,UAAA,IAAc,QAAA,CAAS,UAAA;EAAA,SAC1E,OAAA,EAAS,gBAAA,CAAiB,SAAA;AAAA"}