@prisma-next/sql-relational-core 0.5.0-dev.30 → 0.5.0-dev.32

package/dist/{codec-types-DAQNecFs.d.mts → codec-types-DJEaWT36.d.mts}

@@ -1,6 +1,6 @@
 import { Type } from "arktype";
 import { JsonValue } from "@prisma-next/contract/types";
-import { Codec, CodecCallContext, CodecCallContext as CodecCallContext$1, CodecTrait, CodecTrait as CodecTrait$1 } from "@prisma-next/framework-components/codec";
+import { Codec, CodecCallContext, CodecCallContext as CodecCallContext$1, CodecInstanceContext, CodecTrait, CodecTrait as CodecTrait$1 } from "@prisma-next/framework-components/codec";
 import { O } from "ts-toolbelt";
 
 //#region src/ast/codec-types.d.ts
@@ -37,8 +37,46 @@ interface SqlCodecCallContext extends CodecCallContext {
   readonly column?: SqlColumnRef;
 }
 /**
- * Descriptor for parameterized codecs that require type parameter validation.
- * Shared between adapter (compile-time) and runtime layers to avoid duplication.
+ * SQL-family per-instance context. Extends the framework
+ * {@link CodecInstanceContext} (`name` only) with `usedAt`, the set of
+ * `(table, column)` pairs the resolved codec serves.
+ *
+ * - For `typeRef` columns sharing one named `storage.types` instance, the
+ *   array lists every referencing column — a column-scoped stateful codec
+ *   (e.g. encryption) can derive aggregated per-instance state across all
+ *   the columns sharing the named instance.
+ * - For inline-`typeParams` columns, the array has exactly one entry —
+ *   the column that owns the inline params.
+ * - For shared non-parameterized codecs, the array carries one
+ *   representative entry (the column that triggered materialization);
+ *   the codec is shared across every column with that codec id, so the
+ *   `usedAt` is informational only.
+ *
+ * SQL extensions consuming `usedAt` (e.g. column-scoped state derivation)
+ * type their factory parameter as `SqlCodecInstanceContext`. Extensions
+ * that don't read `usedAt` type their factory parameter as the
+ * family-agnostic {@link CodecInstanceContext} — a `SqlCodecInstanceContext`
+ * is structurally assignable to the base.
+ */
+interface SqlCodecInstanceContext extends CodecInstanceContext {
+  readonly usedAt: ReadonlyArray<{
+    readonly table: string;
+    readonly column: string;
+  }>;
+}
+/**
+ * Legacy adapter-level descriptor for parameterized codecs that require
+ * type-parameter validation at compile time. The runtime descriptor
+ * (`RuntimeParameterizedCodecDescriptor` in `@prisma-next/sql-runtime`)
+ * has migrated to the unified `CodecDescriptor<P>` shape with
+ * `factory: (P) => (CodecInstanceContext) => Codec`; this descriptor stays only because
+ * the SQL `Adapter.parameterizedCodecs()` surface still returns
+ * `CodecParamsDescriptor[]` (compile-time typeParams validation only,
+ * not runtime materialization).
+ *
+ * Retirement is tracked under TML-2357 T3.5.4 (single registration slot)
+ * — the adapter-level `parameterizedCodecs()` collapses into the unified
+ * runtime descriptor map once contributors migrate fully.
  *
  * @template TParams - The shape of the type parameters (e.g., `{ length: number }`)
  * @template THelper - The type returned by the optional `init` hook
@@ -55,6 +93,14 @@ interface CodecParamsDescriptor<TParams = Record<string, unknown>, THelper = unk
    * Optional init hook called during runtime context creation.
    * Receives validated params and returns a helper object to be stored in context.types.
    * If not provided, the validated params are stored directly.
+   *
+   * Predecessor pattern. The runtime descriptor's curried
+   * `factory: (P) => (CodecInstanceContext) => Codec` subsumes this hook — per-instance
+   * state lives on the resolved codec rather than in a parallel
+   * `TypeHelperRegistry` entry. Retirement tracked under TML-2357 T3.5.2
+   * (narrow runtime `Codec` interface) and T3.5.4 (single registration
+   * slot). Adapter-level callers reading codec-self-carried `init` should
+   * migrate to the runtime descriptor map's factory instead.
    */
   readonly init?: (params: TParams) => THelper;
 }
@@ -83,6 +129,14 @@ interface CodecMeta {
  * bivariantly, so the SQL narrowing is structurally compatible with the
  * framework {@link BaseCodec} super-interface.
  *
+ * Note: `paramsSchema` and `init` here are the legacy adapter-level slots
+ * mirrored from {@link CodecParamsDescriptor}. The runtime materialization
+ * path uses `RuntimeParameterizedCodecDescriptor` (in
+ * `@prisma-next/sql-runtime`) via the unified `CodecDescriptor<P>` shape;
+ * codec-self-carried `paramsSchema`/`init` retire under TML-2357 (T3.5.2
+ * narrows the runtime `Codec` interface; T3.5.4 collapses the parallel
+ * registration slots).
+ *
  * See `Codec` in `@prisma-next/framework-components/codec` for the codec
  * contract that this interface extends.
  */
@@ -91,8 +145,60 @@ interface Codec$1<Id$1 extends string = string, TTraits$1 extends readonly Codec
   decode(wire: TWire, ctx: SqlCodecCallContext): Promise<TInput>;
   readonly meta?: CodecMeta;
   readonly paramsSchema?: Type<TParams>;
+  /**
+   * Predecessor init hook. Retirement tracked under TML-2357 (T3.5.2 /
+   * T3.5.4); the unified runtime descriptor's
+   * `factory: (P) => (CodecInstanceContext) => Codec` is the replacement.
+   */
   readonly init?: (params: TParams) => THelper;
 }
+/**
+ * Contract-bound codec registry.
+ *
+ * The dispatch interface for encode/decode at runtime: built once at
+ * `ExecutionContext` construction time by walking the contract's
+ * `storage.tables[].columns[]` and resolving each column to either a per-
+ * instance parameterized codec (via `descriptor.factory(typeParams)(ctx)`)
+ * or the shared codec instance from the legacy `CodecRegistry` (for non-
+ * parameterized codecs). The dispatch path calls
+ * `forColumn(table, column).encode/decode(...)` and doesn't know whether
+ * the codec is parameterized.
+ *
+ * `forCodecId(codecId)` is a fallback for sites that don't carry the
+ * `(table, column)` ref through to the encode/decode call site —
+ * primarily the param-encoding path, where `ParamRef.refs` is not
+ * populated by the SQL builder today (every `ParamRef` carries `codecId`
+ * but not the column it relates to). For the parameterized codecs shipped
+ * at Phase B, encode is per-instance-stateless (pgvector formats
+ * `[v1,v2,v3]` regardless of length; JSON's `encode` is `JSON.stringify`
+ * regardless of schema), so a codec-id-keyed lookup yields a structurally
+ * equivalent encoder; the fallback is the bridge that lets the legacy
+ * `codecs:` registration retire from the dispatch path while staying as
+ * the codec-id-only source for now.
+ *
+ * The encode-side fallback is the AC-5-deferred carve-out documented in
+ * the codec-registry-unification spec § Non-functional constraints.
+ * TML-2357 retires the fallback by threading `ParamRef.refs` through
+ * column-bound construction sites.
+ */
+interface ContractCodecRegistry {
+  /**
+   * Resolve the codec for `(table, column)`. Returns the per-instance
+   * parameterized codec for parameterized columns, the shared codec for
+   * non-parameterized columns, or `undefined` if the column is unknown
+   * or the codec isn't registered.
+   */
+  forColumn(table: string, column: string): Codec$1 | undefined;
+  /**
+   * Resolve a codec by id. Returns the same codec instance the legacy
+   * `CodecRegistry.get(codecId)` would return — for non-parameterized
+   * codecs that's the shared instance; for parameterized codecs that's
+   * a representative resolved instance. Used by sites that don't carry
+   * `(table, column)` through to the encode/decode call site (the AC-5
+   * carve-out path).
+   */
+  forCodecId(codecId: string): Codec$1 | undefined;
+}
 /**
  * Registry interface for codecs organized by ID and by contract scalar type.
  *
@@ -203,5 +309,5 @@ declare function createCodecRegistry(): CodecRegistry;
  */
 declare function defineCodecs(): CodecDefBuilder<Record<never, never>>;
 //#endregion
-export { defineCodecs as _, CodecInput as a, CodecRegistry as c, ExtractCodecTypes as d, ExtractDataTypes as f, createCodecRegistry as g, codec as h, CodecId as i, CodecTrait$1 as l, SqlColumnRef as m, CodecCallContext$1 as n, CodecMeta as o, SqlCodecCallContext as p, CodecDefBuilder as r, CodecParamsDescriptor as s, Codec$1 as t, CodecTraits as u };
-//# sourceMappingURL=codec-types-DAQNecFs.d.mts.map
+export { codec as _, CodecInput as a, CodecRegistry as c, ContractCodecRegistry as d, ExtractCodecTypes as f, SqlColumnRef as g, SqlCodecInstanceContext as h, CodecId as i, CodecTrait$1 as l, SqlCodecCallContext as m, CodecCallContext$1 as n, CodecMeta as o, ExtractDataTypes as p, CodecDefBuilder as r, CodecParamsDescriptor as s, Codec$1 as t, CodecTraits as u, createCodecRegistry as v, defineCodecs as y };
+//# sourceMappingURL=codec-types-DJEaWT36.d.mts.map

package/dist/codec-types-DJEaWT36.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codec-types-DJEaWT36.d.mts","names":[],"sources":["../src/ast/codec-types.ts"],"sourcesContent":[],"mappings":";;;;;;;;AA0BA;AAgBA;AA0BA;AAqBA;;;;;;;AA8BA;AAiCA;AAE2B,UAhIV,YAAA,CAgIU;EAAwB,SAAA,KAAA,EAAA,MAAA;EAGvC,SAAA,IAAA,EAAA,MAAA;;;;;;;;;;;;;AAKM,UAxHD,mBAAA,SAA4B,gBAwH3B,CAAA;EACa,SAAA,MAAA,CAAA,EAxHX,YAwHW;;;;;;AAsC/B;AA4BA;;;;;;;;;;;;AAYC;;;;;AAwGyB,UArRT,uBAAA,SAAgC,oBAqRvB,CAAA;EAAc,SAAA,MAAA,EApRrB,aAoRqB,CAAA;IAGd,SAAA,KAAA,EAAA,MAAA;IAAW,SAAA,MAAA,EAAA,MAAA;EACZ,CAAA,CAAA;;;AAkBzB;;;;;;;;;;;;;;;;AAcmB,UApSF,qBAoSE,CAAA,UApS8B,MAoS9B,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,UAAA,OAAA,CAAA,CAAA;EACC;EAAY,SAAA,OAAA,EAAA,MAAA;EACnB;;;;EAGJ,SAAA,YAAA,EAjSgB,IAiShB,CAjSqB,OAiSrB,CAAA;EAAI;;;;;;;AAiDb;;;;;AAEA;EACE,SAAA,IAAA,CAAA,EAAA,CAAA,MAAA,EAtUyB,OAsUzB,EAAA,GAtUqC,OAsUrC;;;;AACF;;AACY,UAjUK,SAAA,CAiUL;EAA+B,SAAA,EAAA,CAAA,EAAA;IAAkB,SAAA,GAAA,CAAA,EAAA;MAAU,SAAA,QAAA,CAAA,EAAA;QAK3D,SAAiB,UAAA,EAAA,MAAA;MACgB,CAAA;IAAc,CAAA;EAAkB,CAAA;;;;;;;;;;;;;;;AAgB7E;;;;;;;;;;AAKmC,UA3TlB,OA2TkB,CAAA,aAAA,MAAA,GAAA,MAAA,EAAA,kBAAA,SAzTR,UAyTQ,EAAA,GAAA,SAzTgB,UAyThB,EAAA,EAAA,QAAA,OAAA,EAAA,SAAA,OAAA,EAAA,UAtTvB,MAsTuB,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,UAAA,OAAA,CAAA,SApTzB,KAoTyB,CApTf,IAoTe,EApTX,SAoTW,EApTF,KAoTE,EApTK,MAoTL,CAAA,CAAA;EAAG,MAAA,CAAA,KAAA,EAnTtB,MAmTsB,EAAA,GAAA,EAnTT,mBAmTS,CAAA,EAnTa,OAmTb,CAnTqB,KAmTrB,CAAA;EAAY,MAAA,CAAA,IAAA,EAlTnC,KAkTmC,EAAA,GAAA,EAlTvB,mBAkTuB,CAAA,EAlTD,OAkTC,CAlTO,MAkTP,CAAA;EAAtB,SAAA,IAAA,CAAA,EAjTV,SAiTU;EAAlB,SAAA,YAAA,CAAA,EAhTgB,IAgThB,CAhTqB,OAgTrB,CAAA;EAAiB;AAM3B;;;;EAGyC,SAAA,IAAA,CAAA,EAAA,CAAA,MAAA,EAnTd,OAmTc,EAAA,GAnTF,OAmTE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAsBY,UAzSpC,qBAAA,CAySoC;EAAG;;;;;;EAChB,SAAA,CAAA,KAAA,EAAA,MAAA,EAAA,MAAA,EAAA,MAAA,CAAA,EAnSI,OAmSJ,GAAA,SAAA;EAAY;;;;AAyHpD;AAOA;;;+BAzZ+B;;;;;;;;;;UAWd,aAAA;mBACE;;wCAEqB;mCACL;kBACjB;;mCAEiB;;sCAEG;uBACf,SAAS;YACpB,iBAAiB;;;;;;;;;KAsGxB,+BAA+B,iBAAiB;uBAE1B,WAAW;sBACZ,cAAc;;sBAGd,WAAW;qBACZ,cAAc;;;;;;;;;;;;;;;;;iBAkBvB,4DAEiB,yEAGrB;UAIA;;kBAEQ,aAAa,wBAAwB,QAAQ,QAAQ;iBACtD,YAAY,wBAAwB,SAAS,QAAQ;SAC7D;iBACQ,KAAK;kBACJ,YAAY;WACnB;kCACuB;IAC9B,oBAAoB,UACvB,QAAM,MAAI,WAAS,OAAO,QAAQ,SAAS;;;;KAiDlC,aACV,UAAU,yBAAuB;;;KACvB,gBACV,UAAU,yBAAuB;KACvB,iBACV,UAAU,iCAA+B,kBAAkB;;;;KAKjD,6DACiC,cAAc,oBAAkB,+CAEtD,eAAe,YAAY,WAAW;kBACzC,WAAW,YAAY;mBACtB,WAAW,YAAY;mBACvB,YAAY,YAAY;;;;;;;;;KAWjC,4DACiC,cAAc,4CAEpC,sCACG,kBAAkB,OAAO,GAAG,YAAY,OAAO,WAC/D,kBAAkB,OAAO,GAAG,YAAY;;;;UAMjC,2DAC4B,cAAc,oBAAkB;uBAEtD,kBAAkB;mDAEU,6BACnC,uBACD,YACV,gBACD,CAAA,CAAE,UAAU,aAAa,OAAO,YAAY,cAAc,OAAO,YAAY;oDAIxD;qBACF,YAAY,WAAW;qBACvB;oBACD,YAAY;oBACZ,WAAW,YAAY;qBACtB,WAAW,YAAY;qBACvB,WAAW,YAAY;;6CAKrB,sCACG,kBAAkB,OAAO,GAAG,YAAY,OAAO,WAC/D,kBAAkB,OAAO,GAAG,YAAY;;;;;iBAyHpC,mBAAA,CAAA,GAAuB;;;;iBAOvB,YAAA,CAAA,GAAgB,gBAAgB"}

package/dist/{errors-CJKxtKSt.d.mts → errors-BRt5yHo9.d.mts}

@@ -1,8 +1,8 @@
-import { y as RuntimeError } from "./types-TPM2rhCa.mjs";
+import { y as RuntimeError } from "./types-BWOCTYd8.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-CJKxtKSt.d.mts.map
+//# sourceMappingURL=errors-BRt5yHo9.d.mts.map

package/dist/errors-BRt5yHo9.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors-BRt5yHo9.d.mts","names":[],"sources":["../src/errors.ts"],"sourcesContent":[],"mappings":";;;iBAEgB,WAAA,4BAEJ,+EAGT;iBAkBa,eAAA,4BAEJ,+EAGT"}

package/dist/exports/ast.d.mts

@@ -1,4 +1,4 @@
-import { _ as defineCodecs, a as CodecInput, c as CodecRegistry, d as ExtractCodecTypes, f as ExtractDataTypes, g as createCodecRegistry, h as codec, i as CodecId, l as CodecTrait, m as SqlColumnRef, n as CodecCallContext, o as CodecMeta, p as SqlCodecCallContext, r as CodecDefBuilder, s as CodecParamsDescriptor, t as Codec, u as CodecTraits } from "../codec-types-DAQNecFs.mjs";
+import { _ as codec, a as CodecInput, c as CodecRegistry, d as ContractCodecRegistry, f as ExtractCodecTypes, g as SqlColumnRef, h as SqlCodecInstanceContext, i as CodecId, l as CodecTrait, m as SqlCodecCallContext, n as CodecCallContext, o as CodecMeta, p as ExtractDataTypes, r as CodecDefBuilder, s as CodecParamsDescriptor, t as Codec, u as CodecTraits, v as createCodecRegistry, y as defineCodecs } from "../codec-types-DJEaWT36.mjs";
 import { $ as ToWhereExpr, A as InsertOnConflict, B as NotExpr, C as ExistsExpr, D as ExpressionSource, E as ExpressionRewriter, F as JsonObjectEntry, G as ParamRef, H as OperationExpr, I as JsonObjectExpr, J as SelectAst, K as ProjectionExpr, L as ListExpression, M as JoinAst, N as JoinOnExpr, O as IdentifierRef, P as JsonArrayAggExpr, Q as TableSource, R as LiteralExpr, S as EqColJoinOn, T as ExpressionFolder, U as OrExpr, V as NullCheckExpr, W as OrderByItem, X as SubqueryExpr, Y as SelectAstOptions, Z as TableRef, _ as DeleteAst, a as AndExpr, at as whereExprKinds, b as DoNothingConflictAction, c as AnyInsertOnConflictAction, d as AnyQueryAst, et as UpdateAst, f as AstRewriter, g as DefaultValueExpr, h as ColumnRef, i as AggregateOpFn, it as queryAstKinds, j as InsertValue, k as InsertAst, l as AnyInsertValue, m as BinaryOp, n as AggregateExpr, nt as isQueryAst, o as AnyExpression, p as BinaryExpr, q as ProjectionItem, r as AggregateFn, rt as isWhereExpr, s as AnyFromSource, t as AggregateCountFn, tt as WhereArg, u as AnyOperationArg, v as DerivedTableSource, w as ExprVisitor, x as DoUpdateSetConflictAction, y as Direction, z as LoweredStatement } from "../types-B4dL4lc3.mjs";
 import { ContractMarkerRecord } from "@prisma-next/contract/types";
 
@@ -201,5 +201,5 @@ declare function compact<T extends Record<string, unknown>>(o: T): T;
  */
 declare function collectOrderedParamRefs(ast: AnyQueryAst): ReadonlyArray<ParamRef>;
 //#endregion
-export { Adapter, AdapterProfile, AdapterTarget, AggregateCountFn, AggregateExpr, AggregateFn, AggregateOpFn, AndExpr, AnyExpression, AnyFromSource, AnyInsertOnConflictAction, AnyInsertValue, AnyOperationArg, AnyQueryAst, AstRewriter, BinaryExpr, BinaryOp, Codec, CodecCallContext, CodecDefBuilder, CodecId, CodecInput, CodecMeta, CodecParamsDescriptor, CodecRegistry, CodecTrait, CodecTraits, ColumnRef, DefaultValueExpr, DeleteAst, DerivedTableSource, Direction, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExistsExpr, ExprVisitor, ExpressionFolder, ExpressionRewriter, ExpressionSource, ExtractCodecTypes, ExtractDataTypes, IdentifierRef, InsertAst, InsertOnConflict, InsertValue, JoinAst, JoinOnExpr, JsonArrayAggExpr, JsonObjectEntry, JsonObjectExpr, ListExpression, LiteralExpr, LoweredStatement, Lowerer, LowererContext, MarkerStatement, NotExpr, NullCheckExpr, OperationExpr, OrExpr, OrderByItem, ParamRef, ProjectionExpr, ProjectionItem, SQL_CHAR_CODEC_ID, SQL_FLOAT_CODEC_ID, SQL_INT_CODEC_ID, SQL_TEXT_CODEC_ID, SQL_TIMESTAMP_CODEC_ID, SQL_VARCHAR_CODEC_ID, SelectAst, SelectAstOptions, SqlCodecCallContext, SqlCodecTypes, SqlColumnRef, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, SqlExplainResult, SqlQueryResult, SqlQueryable, SqlTransaction, SubqueryExpr, TableRef, TableSource, ToWhereExpr, UpdateAst, WhereArg, codec, collectOrderedParamRefs, compact, createCodecRegistry, defineCodecs, isQueryAst, isWhereExpr, queryAstKinds, sqlCodecDefinitions, sqlDataTypes, whereExprKinds };
+export { Adapter, AdapterProfile, AdapterTarget, AggregateCountFn, AggregateExpr, AggregateFn, AggregateOpFn, AndExpr, AnyExpression, AnyFromSource, AnyInsertOnConflictAction, AnyInsertValue, AnyOperationArg, AnyQueryAst, AstRewriter, BinaryExpr, BinaryOp, Codec, CodecCallContext, CodecDefBuilder, CodecId, CodecInput, CodecMeta, CodecParamsDescriptor, CodecRegistry, CodecTrait, CodecTraits, ColumnRef, ContractCodecRegistry, DefaultValueExpr, DeleteAst, DerivedTableSource, Direction, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExistsExpr, ExprVisitor, ExpressionFolder, ExpressionRewriter, ExpressionSource, ExtractCodecTypes, ExtractDataTypes, IdentifierRef, InsertAst, InsertOnConflict, InsertValue, JoinAst, JoinOnExpr, JsonArrayAggExpr, JsonObjectEntry, JsonObjectExpr, ListExpression, LiteralExpr, LoweredStatement, Lowerer, LowererContext, MarkerStatement, NotExpr, NullCheckExpr, OperationExpr, OrExpr, OrderByItem, ParamRef, ProjectionExpr, ProjectionItem, SQL_CHAR_CODEC_ID, SQL_FLOAT_CODEC_ID, SQL_INT_CODEC_ID, SQL_TEXT_CODEC_ID, SQL_TIMESTAMP_CODEC_ID, SQL_VARCHAR_CODEC_ID, SelectAst, SelectAstOptions, SqlCodecCallContext, SqlCodecInstanceContext, SqlCodecTypes, SqlColumnRef, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, SqlExplainResult, SqlQueryResult, SqlQueryable, SqlTransaction, SubqueryExpr, TableRef, TableSource, ToWhereExpr, UpdateAst, WhereArg, codec, collectOrderedParamRefs, compact, createCodecRegistry, defineCodecs, isQueryAst, isWhereExpr, queryAstKinds, sqlCodecDefinitions, sqlDataTypes, whereExprKinds };
 //# sourceMappingURL=ast.d.mts.map

package/dist/exports/ast.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"ast.mjs","names":["codec","codecs","codecTypes: Record<\n      string,\n      { readonly input: unknown; readonly output: unknown; readonly traits: unknown }\n    >","result: Record<\n      string,\n      {\n        typeId: string;\n        scalar: string;\n        codec: Codec;\n        input: unknown;\n        output: unknown;\n        jsType: unknown;\n      }\n    >","arktype","out: Record<string, unknown>","ordered: ParamRef[]"],"sources":["../../src/ast/codec-types.ts","../../src/ast/sql-codecs.ts","../../src/ast/util.ts"],"sourcesContent":["import type { JsonValue } from '@prisma-next/contract/types';\nimport type {\n  Codec as BaseCodec,\n  CodecCallContext,\n  CodecTrait,\n} from '@prisma-next/framework-components/codec';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { Type } from 'arktype';\nimport type { O } from 'ts-toolbelt';\n\nexport type { CodecCallContext, CodecTrait } from '@prisma-next/framework-components/codec';\n\n/**\n * SQL-family addressing of a single column. The decode site populates a\n * `SqlColumnRef` whenever it can resolve the cell to a single underlying\n * `(table, column)` (the typical case for projected columns from a\n * single-table source); cells the runtime cannot resolve (aggregate\n * aliases, include aggregate fields, computed projections without a\n * simple ref) get `column = undefined`.\n *\n * The shape is a structural projection of the runtime's `ColumnRef` so\n * the SQL decode site can reuse the resolution it already performs for\n * `RUNTIME.DECODE_FAILED` envelope construction without allocating\n * twice per cell.\n */\nexport interface SqlColumnRef {\n  readonly table: string;\n  readonly name: string;\n}\n\n/**\n * SQL-family per-call context. Extends the framework {@link CodecCallContext}\n * (which carries `signal` only) with `column?: SqlColumnRef`, populated\n * on **decode** call sites that can resolve a single underlying column\n * ref. Encode call sites currently leave `column` undefined (encode-time\n * column context is the middleware's domain).\n *\n * SQL codec authors writing a `(value, ctx)` author function for the SQL\n * `codec()` factory observe this type. The framework codec dispatch\n * surface (and Mongo) sees only the base `CodecCallContext`.\n */\nexport interface SqlCodecCallContext extends CodecCallContext {\n  readonly column?: SqlColumnRef;\n}\n\n/**\n * Descriptor for parameterized codecs that require type parameter validation.\n * Shared between adapter (compile-time) and runtime layers to avoid duplication.\n *\n * @template TParams - The shape of the type parameters (e.g., `{ length: number }`)\n * @template THelper - The type returned by the optional `init` hook\n */\nexport interface CodecParamsDescriptor<TParams = Record<string, unknown>, THelper = unknown> {\n  /** The codec ID this descriptor applies to (e.g., 'pg/vector@1') */\n  readonly codecId: string;\n\n  /**\n   * Arktype schema for validating typeParams.\n   * Used to validate both storage.types entries and inline column typeParams.\n   */\n  readonly paramsSchema: Type<TParams>;\n\n  /**\n   * Optional init hook called during runtime context creation.\n   * Receives validated params and returns a helper object to be stored in context.types.\n   * If not provided, the validated params are stored directly.\n   */\n  readonly init?: (params: TParams) => THelper;\n}\n\n/**\n * Codec metadata for database-specific type information.\n * Used for schema introspection and verification.\n */\nexport interface CodecMeta {\n  readonly db?: {\n    readonly sql?: {\n      readonly postgres?: {\n        readonly nativeType: string; // e.g. 'integer', 'text', 'vector', 'timestamp with time zone'\n      };\n    };\n  };\n}\n\n/**\n * SQL codec — extends the framework codec base with SQL-specific metadata:\n * driver-native type info (`meta.db.sql.<dialect>.nativeType`) and an\n * optional parameterized-codec descriptor (`paramsSchema` + `init`) for\n * codecs that require type-parameter validation (e.g. `pg/vector@1`).\n *\n * `encode` and `decode` are redeclared here to narrow the per-call\n * context to the SQL-family {@link SqlCodecCallContext} (adds\n * `column?: SqlColumnRef`). TypeScript treats method-syntax declarations\n * bivariantly, so the SQL narrowing is structurally compatible with the\n * framework {@link BaseCodec} super-interface.\n *\n * See `Codec` in `@prisma-next/framework-components/codec` for the codec\n * contract that this interface extends.\n */\nexport interface Codec<\n  Id extends string = string,\n  TTraits extends readonly CodecTrait[] = readonly CodecTrait[],\n  TWire = unknown,\n  TInput = unknown,\n  TParams = Record<string, unknown>,\n  THelper = unknown,\n> extends BaseCodec<Id, TTraits, TWire, TInput> {\n  encode(value: TInput, ctx: SqlCodecCallContext): Promise<TWire>;\n  decode(wire: TWire, ctx: SqlCodecCallContext): Promise<TInput>;\n  readonly meta?: CodecMeta;\n  readonly paramsSchema?: Type<TParams>;\n  readonly init?: (params: TParams) => THelper;\n}\n\n/**\n * Registry interface for codecs organized by ID and by contract scalar type.\n *\n * The registry allows looking up codecs by their namespaced ID or by the\n * contract scalar types they handle. Multiple codecs may handle the same\n * scalar type; ordering in byScalar reflects preference (adapter first,\n * then packs, then app overrides).\n */\nexport interface CodecRegistry {\n  get(id: string): Codec<string> | undefined;\n  has(id: string): boolean;\n  getByScalar(scalar: string): readonly Codec<string>[];\n  getDefaultCodec(scalar: string): Codec<string> | undefined;\n  register(codec: Codec<string>): void;\n  /** Returns true if the codec with this ID has the given trait. */\n  hasTrait(codecId: string, trait: CodecTrait): boolean;\n  /** Returns all traits for a codec, or an empty array if not found. */\n  traitsOf(codecId: string): readonly CodecTrait[];\n  [Symbol.iterator](): Iterator<Codec<string>>;\n  values(): IterableIterator<Codec<string>>;\n}\n\n/**\n * Implementation of CodecRegistry.\n */\nclass CodecRegistryImpl implements CodecRegistry {\n  private readonly _byId = new Map<string, Codec<string>>();\n  private readonly _byScalar = new Map<string, Codec<string>[]>();\n\n  /**\n   * Map-like interface for codec lookup by ID.\n   * Example: registry.get('pg/text@1')\n   */\n  get(id: string): Codec<string> | undefined {\n    return this._byId.get(id);\n  }\n\n  /**\n   * Check if a codec with the given ID is registered.\n   */\n  has(id: string): boolean {\n    return this._byId.has(id);\n  }\n\n  /**\n   * Get all codecs that handle a given scalar type.\n   * Returns an empty frozen array if no codecs are found.\n   * Example: registry.getByScalar('text') → [codec1, codec2, ...]\n   */\n  getByScalar(scalar: string): readonly Codec<string>[] {\n    return this._byScalar.get(scalar) ?? Object.freeze([]);\n  }\n\n  /**\n   * Get the default codec for a scalar type (first registered codec).\n   * Returns undefined if no codec handles this scalar type.\n   */\n  getDefaultCodec(scalar: string): Codec<string> | undefined {\n    const _codecs = this._byScalar.get(scalar);\n    return _codecs?.[0];\n  }\n\n  /**\n   * Register a codec in the registry.\n   * Throws an error if a codec with the same ID is already registered.\n   *\n   * @param codec - The codec to register\n   * @throws Error if a codec with the same ID already exists\n   */\n  register(codec: Codec<string>): void {\n    if (this._byId.has(codec.id)) {\n      throw new Error(`Codec with ID '${codec.id}' is already registered`);\n    }\n\n    this._byId.set(codec.id, codec);\n\n    // Update byScalar mapping\n    for (const scalarType of codec.targetTypes) {\n      const existing = this._byScalar.get(scalarType);\n      if (existing) {\n        existing.push(codec);\n      } else {\n        this._byScalar.set(scalarType, [codec]);\n      }\n    }\n  }\n\n  hasTrait(codecId: string, trait: CodecTrait): boolean {\n    const codec = this._byId.get(codecId);\n    return codec?.traits?.includes(trait) ?? false;\n  }\n\n  traitsOf(codecId: string): readonly CodecTrait[] {\n    return this._byId.get(codecId)?.traits ?? [];\n  }\n\n  /**\n   * Returns an iterator over all registered codecs.\n   * Useful for iterating through codecs from another registry.\n   */\n  *[Symbol.iterator](): Iterator<Codec<string>> {\n    for (const codec of this._byId.values()) {\n      yield codec;\n    }\n  }\n\n  /**\n   * Returns an iterable of all registered codecs.\n   */\n  values(): IterableIterator<Codec<string>> {\n    return this._byId.values();\n  }\n}\n\n/**\n * Conditional bundle for `encodeJson`/`decodeJson`: when `TInput` is\n * structurally assignable to `JsonValue` the identity defaults are\n * sound and both fields are optional; otherwise both fields are\n * required so an author cannot silently produce a non-JSON-safe\n * contract artifact.\n */\ntype JsonRoundTripConfig<TInput> = [TInput] extends [JsonValue]\n  ? {\n      encodeJson?: (value: TInput) => JsonValue;\n      decodeJson?: (json: JsonValue) => TInput;\n    }\n  : {\n      encodeJson: (value: TInput) => JsonValue;\n      decodeJson: (json: JsonValue) => TInput;\n    };\n\n/**\n * Construct a SQL codec from author functions and optional metadata.\n *\n * Author `encode` and `decode` as sync or async functions; the factory\n * produces a {@link Codec} whose query-time methods follow the boundary\n * contract documented on `Codec`. Authors receive a second `ctx` options\n * argument carrying the SQL-family per-call context; ignore it if you\n * don't need it.\n *\n * Both `encode` and `decode` are required so `TInput` and `TWire` are\n * always covered by an explicit author function — the factory installs\n * no identity fallback. `encodeJson` and `decodeJson` default to identity\n * **only when `TInput` is assignable to `JsonValue`**; otherwise both are\n * required so the contract artifact stays JSON-safe.\n */\nexport function codec<\n  Id extends string,\n  const TTraits extends readonly CodecTrait[] = readonly [],\n  TWire = unknown,\n  TInput = unknown,\n  TParams = Record<string, unknown>,\n  THelper = unknown,\n>(\n  config: {\n    typeId: Id;\n    targetTypes: readonly string[];\n    encode: (value: TInput, ctx: SqlCodecCallContext) => TWire | Promise<TWire>;\n    decode: (wire: TWire, ctx: SqlCodecCallContext) => TInput | Promise<TInput>;\n    meta?: CodecMeta;\n    paramsSchema?: Type<TParams>;\n    init?: (params: TParams) => THelper;\n    traits?: TTraits;\n    renderOutputType?: (typeParams: Record<string, unknown>) => string | undefined;\n  } & JsonRoundTripConfig<TInput>,\n): Codec<Id, TTraits, TWire, TInput, TParams, THelper> {\n  const identity = (v: unknown) => v;\n  // The runtime allocates one `SqlCodecCallContext` per `runtime.execute()`\n  // call (no caller-supplied `signal` produces `{}` instead of `undefined`)\n  // and threads it as a non-optional reference to every codec call. The\n  // author surface keeps the second parameter optional so single-arg\n  // `(value) => …` authors continue to satisfy the signature via\n  // TypeScript's bivariance for trailing parameters.\n  const userEncode = config.encode;\n  const userDecode = config.decode;\n  // The conditional JsonRoundTripConfig narrows TInput|JsonValue at the\n  // boundary; widen back to the generic shape inside the factory body.\n  const widenedConfig = config as {\n    encodeJson?: (value: TInput) => JsonValue;\n    decodeJson?: (json: JsonValue) => TInput;\n  };\n  return {\n    id: config.typeId,\n    targetTypes: config.targetTypes,\n    ...ifDefined('meta', config.meta),\n    ...ifDefined('paramsSchema', config.paramsSchema),\n    ...ifDefined('init', config.init),\n    ...ifDefined(\n      'traits',\n      config.traits ? (Object.freeze([...config.traits]) as TTraits) : undefined,\n    ),\n    ...ifDefined('renderOutputType', config.renderOutputType),\n    encode: (value, ctx) => {\n      try {\n        return Promise.resolve(userEncode(value, ctx));\n      } catch (error) {\n        return Promise.reject(error);\n      }\n    },\n    decode: (wire, ctx) => {\n      try {\n        return Promise.resolve(userDecode(wire, ctx));\n      } catch (error) {\n        return Promise.reject(error);\n      }\n    },\n    encodeJson: (widenedConfig.encodeJson ?? identity) as (value: TInput) => JsonValue,\n    decodeJson: (widenedConfig.decodeJson ?? identity) as (json: JsonValue) => TInput,\n  };\n}\n\n/**\n * Type helpers to extract codec types.\n */\nexport type CodecId<T> =\n  T extends Codec<infer Id> ? Id : T extends { readonly id: infer Id } ? Id : never;\nexport type CodecInput<T> =\n  T extends Codec<string, readonly CodecTrait[], unknown, infer In> ? In : never;\nexport type CodecTraits<T> =\n  T extends Codec<string, infer TTraits> ? TTraits[number] & CodecTrait : never;\n\n/**\n * Type helper to extract codec types from builder instance.\n */\nexport type ExtractCodecTypes<\n  ScalarNames extends { readonly [K in keyof ScalarNames]: Codec<string> } = Record<never, never>,\n> = {\n  readonly [K in keyof ScalarNames as ScalarNames[K] extends Codec<infer Id> ? Id : never]: {\n    readonly input: CodecInput<ScalarNames[K]>;\n    readonly output: CodecInput<ScalarNames[K]>;\n    readonly traits: CodecTraits<ScalarNames[K]>;\n  };\n};\n\n/**\n * Type helper to extract data type IDs from builder instance.\n * Uses ExtractCodecTypes which preserves literal types as keys.\n * Since ExtractCodecTypes<Record<K, ScalarNames[K]>> has exactly one key (the Id),\n * we extract it by creating a mapped type that uses the Id as both key and value,\n * then extract the value type. This preserves literal types.\n */\nexport type ExtractDataTypes<\n  ScalarNames extends { readonly [K in keyof ScalarNames]: Codec<string> },\n> = {\n  readonly [K in keyof ScalarNames]: {\n    readonly [Id in keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>]: Id;\n  }[keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>];\n};\n\n/**\n * Builder interface for declaring codecs.\n */\nexport interface CodecDefBuilder<\n  ScalarNames extends { readonly [K in keyof ScalarNames]: Codec<string> } = Record<never, never>,\n> {\n  readonly CodecTypes: ExtractCodecTypes<ScalarNames>;\n\n  add<ScalarName extends string, CodecImpl extends Codec<string>>(\n    scalarName: ScalarName,\n    codecImpl: CodecImpl,\n  ): CodecDefBuilder<\n    O.Overwrite<ScalarNames, Record<ScalarName, CodecImpl>> & Record<ScalarName, CodecImpl>\n  >;\n\n  readonly codecDefinitions: {\n    readonly [K in keyof ScalarNames]: {\n      readonly typeId: ScalarNames[K] extends Codec<infer Id extends string> ? Id : never;\n      readonly scalar: K;\n      readonly codec: ScalarNames[K];\n      readonly input: CodecInput<ScalarNames[K]>;\n      readonly output: CodecInput<ScalarNames[K]>;\n      readonly jsType: CodecInput<ScalarNames[K]>;\n    };\n  };\n\n  readonly dataTypes: {\n    readonly [K in keyof ScalarNames]: {\n      readonly [Id in keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>]: Id;\n    }[keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>];\n  };\n}\n\n/**\n * Implementation of CodecDefBuilder.\n */\nclass CodecDefBuilderImpl<\n  ScalarNames extends { readonly [K in keyof ScalarNames]: Codec<string> } = Record<never, never>,\n> implements CodecDefBuilder<ScalarNames>\n{\n  private readonly _codecs: ScalarNames;\n\n  public readonly CodecTypes: ExtractCodecTypes<ScalarNames>;\n  public readonly dataTypes: {\n    readonly [K in keyof ScalarNames]: {\n      readonly [Id in keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>]: Id;\n    }[keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>];\n  };\n\n  constructor(codecs: ScalarNames) {\n    this._codecs = codecs;\n\n    // Populate CodecTypes from codecs\n    const codecTypes: Record<\n      string,\n      { readonly input: unknown; readonly output: unknown; readonly traits: unknown }\n    > = {};\n    for (const [, codecImpl] of Object.entries(this._codecs)) {\n      const codecImplTyped = codecImpl as Codec<string>;\n      codecTypes[codecImplTyped.id] = {\n        input: undefined as unknown as CodecInput<typeof codecImplTyped>,\n        output: undefined as unknown as CodecInput<typeof codecImplTyped>,\n        traits: undefined as unknown as CodecTraits<typeof codecImplTyped>,\n      };\n    }\n    this.CodecTypes = codecTypes as ExtractCodecTypes<ScalarNames>;\n\n    // Populate dataTypes from codecs - extract id property from each codec\n    // Build object preserving keys from ScalarNames\n    // Type assertion is safe because we know ScalarNames structure matches the return type\n    // biome-ignore lint/suspicious/noExplicitAny: dynamic codec mapping requires any\n    const dataTypes = {} as any;\n    for (const key in this._codecs) {\n      if (Object.hasOwn(this._codecs, key)) {\n        const codec = this._codecs[key] as Codec<string>;\n        dataTypes[key] = codec.id;\n      }\n    }\n    this.dataTypes = dataTypes as {\n      readonly [K in keyof ScalarNames]: {\n        readonly [Id in keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>]: Id;\n      }[keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>];\n    };\n  }\n\n  add<ScalarName extends string, CodecImpl extends Codec<string>>(\n    scalarName: ScalarName,\n    codecImpl: CodecImpl,\n  ): CodecDefBuilder<\n    O.Overwrite<ScalarNames, Record<ScalarName, CodecImpl>> & Record<ScalarName, CodecImpl>\n  > {\n    return new CodecDefBuilderImpl({\n      ...this._codecs,\n      [scalarName]: codecImpl,\n    } as O.Overwrite<ScalarNames, Record<ScalarName, CodecImpl>> & Record<ScalarName, CodecImpl>);\n  }\n\n  /**\n   * Derive codecDefinitions structure.\n   */\n  get codecDefinitions(): {\n    readonly [K in keyof ScalarNames]: {\n      readonly typeId: ScalarNames[K] extends Codec<infer Id> ? Id : never;\n      readonly scalar: K;\n      readonly codec: ScalarNames[K];\n      readonly input: CodecInput<ScalarNames[K]>;\n      readonly output: CodecInput<ScalarNames[K]>;\n      readonly jsType: CodecInput<ScalarNames[K]>;\n    };\n  } {\n    const result: Record<\n      string,\n      {\n        typeId: string;\n        scalar: string;\n        codec: Codec;\n        input: unknown;\n        output: unknown;\n        jsType: unknown;\n      }\n    > = {};\n\n    for (const [scalarName, codecImpl] of Object.entries(this._codecs)) {\n      const codec = codecImpl as Codec<string>;\n      result[scalarName] = {\n        typeId: codec.id,\n        scalar: scalarName,\n        codec: codec,\n        input: undefined as unknown as CodecInput<typeof codec>,\n        output: undefined as unknown as CodecInput<typeof codec>,\n        jsType: undefined as unknown as CodecInput<typeof codec>,\n      };\n    }\n\n    return result as {\n      readonly [K in keyof ScalarNames]: {\n        readonly typeId: ScalarNames[K] extends Codec<infer Id extends string> ? Id : never;\n        readonly scalar: K;\n        readonly codec: ScalarNames[K];\n        readonly input: CodecInput<ScalarNames[K]>;\n        readonly output: CodecInput<ScalarNames[K]>;\n        readonly jsType: CodecInput<ScalarNames[K]>;\n      };\n    };\n  }\n}\n\n/**\n * Create a new codec registry.\n */\nexport function createCodecRegistry(): CodecRegistry {\n  return new CodecRegistryImpl();\n}\n\n/**\n * Create a new codec definition builder.\n */\nexport function defineCodecs(): CodecDefBuilder<Record<never, never>> {\n  return new CodecDefBuilderImpl({});\n}\n","import type { JsonValue } from '@prisma-next/contract/types';\nimport { type as arktype } from 'arktype';\nimport { codec, defineCodecs } from './codec-types';\n\nexport const SQL_CHAR_CODEC_ID = 'sql/char@1' as const;\nexport const SQL_VARCHAR_CODEC_ID = 'sql/varchar@1' as const;\nexport const SQL_INT_CODEC_ID = 'sql/int@1' as const;\nexport const SQL_FLOAT_CODEC_ID = 'sql/float@1' as const;\nexport const SQL_TEXT_CODEC_ID = 'sql/text@1' as const;\nexport const SQL_TIMESTAMP_CODEC_ID = 'sql/timestamp@1' as const;\n\nconst lengthParamsSchema = arktype({\n  length: 'number.integer > 0',\n});\n\nconst precisionParamsSchema = arktype({\n  'precision?': 'number.integer >= 0 & number.integer <= 6',\n});\n\ntype LengthTypeHelper = {\n  readonly kind: 'fixed' | 'variable';\n  readonly maxLength: number;\n};\n\nfunction createLengthTypeHelper(\n  kind: LengthTypeHelper['kind'],\n): (params: Record<string, unknown>) => LengthTypeHelper {\n  return (params) => ({\n    kind,\n    maxLength: params['length'] as number,\n  });\n}\n\nconst sqlCharCodec = codec<\n  typeof SQL_CHAR_CODEC_ID,\n  readonly ['equality', 'order', 'textual'],\n  string,\n  string\n>({\n  typeId: SQL_CHAR_CODEC_ID,\n  targetTypes: ['char'],\n  traits: ['equality', 'order', 'textual'],\n  encode: (value: string): string => value,\n  decode: (wire: string): string => wire.trimEnd(),\n  paramsSchema: lengthParamsSchema,\n  init: createLengthTypeHelper('fixed'),\n  renderOutputType: (typeParams) => {\n    const length = typeParams['length'];\n    if (length === undefined) return undefined;\n    if (typeof length !== 'number' || !Number.isFinite(length) || !Number.isInteger(length)) {\n      throw new Error(\n        `renderOutputType: expected integer \"length\" in typeParams for Char, got ${String(length)}`,\n      );\n    }\n    return `Char<${length}>`;\n  },\n});\n\nconst sqlVarcharCodec = codec<\n  typeof SQL_VARCHAR_CODEC_ID,\n  readonly ['equality', 'order', 'textual'],\n  string,\n  string\n>({\n  typeId: SQL_VARCHAR_CODEC_ID,\n  targetTypes: ['varchar'],\n  traits: ['equality', 'order', 'textual'],\n  encode: (value: string): string => value,\n  decode: (wire: string): string => wire,\n  paramsSchema: lengthParamsSchema,\n  init: createLengthTypeHelper('variable'),\n  renderOutputType: (typeParams) => {\n    const length = typeParams['length'];\n    if (length === undefined) return undefined;\n    if (typeof length !== 'number' || !Number.isFinite(length) || !Number.isInteger(length)) {\n      throw new Error(\n        `renderOutputType: expected integer \"length\" in typeParams for Varchar, got ${String(length)}`,\n      );\n    }\n    return `Varchar<${length}>`;\n  },\n});\n\nconst sqlIntCodec = codec({\n  typeId: SQL_INT_CODEC_ID,\n  targetTypes: ['int'],\n  traits: ['equality', 'order', 'numeric'],\n  encode: (value: number): number => value,\n  decode: (wire: number): number => wire,\n});\n\nconst sqlFloatCodec = codec({\n  typeId: SQL_FLOAT_CODEC_ID,\n  targetTypes: ['float'],\n  traits: ['equality', 'order', 'numeric'],\n  encode: (value: number): number => value,\n  decode: (wire: number): number => wire,\n});\n\nconst sqlTextCodec = codec({\n  typeId: SQL_TEXT_CODEC_ID,\n  targetTypes: ['text'],\n  traits: ['equality', 'order', 'textual'],\n  encode: (value: string): string => value,\n  decode: (wire: string): string => wire,\n});\n\nconst sqlTimestampCodec = codec<\n  typeof SQL_TIMESTAMP_CODEC_ID,\n  readonly ['equality', 'order'],\n  Date,\n  Date\n>({\n  typeId: SQL_TIMESTAMP_CODEC_ID,\n  targetTypes: ['timestamp'],\n  traits: ['equality', 'order'],\n  encode: (value: Date): Date => value,\n  decode: (wire: Date): Date => wire,\n  encodeJson: (value: Date): JsonValue => value.toISOString(),\n  decodeJson: (json: JsonValue): Date => {\n    if (typeof json !== 'string') {\n      throw new Error(`Expected ISO date string for sql/timestamp@1, got ${typeof json}`);\n    }\n    const date = new Date(json);\n    if (Number.isNaN(date.getTime())) {\n      throw new Error(`Invalid ISO date string for sql/timestamp@1: ${json}`);\n    }\n    return date;\n  },\n  paramsSchema: precisionParamsSchema,\n  renderOutputType: (typeParams) => {\n    const precision = typeParams['precision'];\n    if (precision === undefined) {\n      return 'Timestamp';\n    }\n    if (\n      typeof precision !== 'number' ||\n      !Number.isFinite(precision) ||\n      !Number.isInteger(precision)\n    ) {\n      throw new Error(\n        `renderOutputType: expected integer \"precision\" in typeParams for Timestamp, got ${String(precision)}`,\n      );\n    }\n    return `Timestamp<${precision}>`;\n  },\n});\n\nconst codecs = defineCodecs()\n  .add('char', sqlCharCodec)\n  .add('varchar', sqlVarcharCodec)\n  .add('int', sqlIntCodec)\n  .add('float', sqlFloatCodec)\n  .add('text', sqlTextCodec)\n  .add('timestamp', sqlTimestampCodec);\n\nexport const sqlCodecDefinitions = codecs.codecDefinitions;\nexport const sqlDataTypes = codecs.dataTypes;\nexport type SqlCodecTypes = typeof codecs.CodecTypes;\n","import type { AnyQueryAst, ParamRef } from './types';\n\nexport function compact<T extends Record<string, unknown>>(o: T): T {\n  const out: Record<string, unknown> = {};\n  for (const [k, v] of Object.entries(o)) {\n    if (v === undefined || v === null) continue;\n    if (Array.isArray(v) && v.length === 0) continue;\n    out[k] = v;\n  }\n  return out as T;\n}\n\n/**\n * Walks an AST's parameter references in first-encounter order and dedupes\n * by ParamRef identity. The single canonical helper used by every consumer\n * that aligns `plan.params` with metadata-by-index — the SQL builder lane,\n * the SQL ORM client, the SQL runtime encoder, and the Postgres renderer's\n * `$N` index map — so the four walks cannot drift in dedupe semantics.\n *\n * SQLite's `?`-placeholder renderer intentionally does NOT use this helper\n * because it needs one params entry per occurrence in the SQL.\n */\nexport function collectOrderedParamRefs(ast: AnyQueryAst): ReadonlyArray<ParamRef> {\n  const seen = new Set<ParamRef>();\n  const ordered: ParamRef[] = [];\n  for (const ref of ast.collectParamRefs()) {\n    if (seen.has(ref)) continue;\n    seen.add(ref);\n    ordered.push(ref);\n  }\n  return Object.freeze(ordered);\n}\n"],"mappings":";;;;;;;;AA2IA,IAAM,oBAAN,MAAiD;CAC/C,AAAiB,wBAAQ,IAAI,KAA4B;CACzD,AAAiB,4BAAY,IAAI,KAA8B;;;;;CAM/D,IAAI,IAAuC;AACzC,SAAO,KAAK,MAAM,IAAI,GAAG;;;;;CAM3B,IAAI,IAAqB;AACvB,SAAO,KAAK,MAAM,IAAI,GAAG;;;;;;;CAQ3B,YAAY,QAA0C;AACpD,SAAO,KAAK,UAAU,IAAI,OAAO,IAAI,OAAO,OAAO,EAAE,CAAC;;;;;;CAOxD,gBAAgB,QAA2C;AAEzD,SADgB,KAAK,UAAU,IAAI,OAAO,GACzB;;;;;;;;;CAUnB,SAAS,SAA4B;AACnC,MAAI,KAAK,MAAM,IAAIA,QAAM,GAAG,CAC1B,OAAM,IAAI,MAAM,kBAAkBA,QAAM,GAAG,yBAAyB;AAGtE,OAAK,MAAM,IAAIA,QAAM,IAAIA,QAAM;AAG/B,OAAK,MAAM,cAAcA,QAAM,aAAa;GAC1C,MAAM,WAAW,KAAK,UAAU,IAAI,WAAW;AAC/C,OAAI,SACF,UAAS,KAAKA,QAAM;OAEpB,MAAK,UAAU,IAAI,YAAY,CAACA,QAAM,CAAC;;;CAK7C,SAAS,SAAiB,OAA4B;AAEpD,SADc,KAAK,MAAM,IAAI,QAAQ,EACvB,QAAQ,SAAS,MAAM,IAAI;;CAG3C,SAAS,SAAwC;AAC/C,SAAO,KAAK,MAAM,IAAI,QAAQ,EAAE,UAAU,EAAE;;;;;;CAO9C,EAAE,OAAO,YAAqC;AAC5C,OAAK,MAAMA,WAAS,KAAK,MAAM,QAAQ,CACrC,OAAMA;;;;;CAOV,SAA0C;AACxC,SAAO,KAAK,MAAM,QAAQ;;;;;;;;;;;;;;;;;;AAoC9B,SAAgB,MAQd,QAWqD;CACrD,MAAM,YAAY,MAAe;CAOjC,MAAM,aAAa,OAAO;CAC1B,MAAM,aAAa,OAAO;CAG1B,MAAM,gBAAgB;AAItB,QAAO;EACL,IAAI,OAAO;EACX,aAAa,OAAO;EACpB,GAAG,UAAU,QAAQ,OAAO,KAAK;EACjC,GAAG,UAAU,gBAAgB,OAAO,aAAa;EACjD,GAAG,UAAU,QAAQ,OAAO,KAAK;EACjC,GAAG,UACD,UACA,OAAO,SAAU,OAAO,OAAO,CAAC,GAAG,OAAO,OAAO,CAAC,GAAe,OAClE;EACD,GAAG,UAAU,oBAAoB,OAAO,iBAAiB;EACzD,SAAS,OAAO,QAAQ;AACtB,OAAI;AACF,WAAO,QAAQ,QAAQ,WAAW,OAAO,IAAI,CAAC;YACvC,OAAO;AACd,WAAO,QAAQ,OAAO,MAAM;;;EAGhC,SAAS,MAAM,QAAQ;AACrB,OAAI;AACF,WAAO,QAAQ,QAAQ,WAAW,MAAM,IAAI,CAAC;YACtC,OAAO;AACd,WAAO,QAAQ,OAAO,MAAM;;;EAGhC,YAAa,cAAc,cAAc;EACzC,YAAa,cAAc,cAAc;EAC1C;;;;;AA6EH,IAAM,sBAAN,MAAM,oBAGN;CACE,AAAiB;CAEjB,AAAgB;CAChB,AAAgB;CAMhB,YAAY,UAAqB;AAC/B,OAAK,UAAUC;EAGf,MAAMC,aAGF,EAAE;AACN,OAAK,MAAM,GAAG,cAAc,OAAO,QAAQ,KAAK,QAAQ,EAAE;GACxD,MAAM,iBAAiB;AACvB,cAAW,eAAe,MAAM;IAC9B,OAAO;IACP,QAAQ;IACR,QAAQ;IACT;;AAEH,OAAK,aAAa;EAMlB,MAAM,YAAY,EAAE;AACpB,OAAK,MAAM,OAAO,KAAK,QACrB,KAAI,OAAO,OAAO,KAAK,SAAS,IAAI,CAElC,WAAU,OADI,KAAK,QAAQ,KACJ;AAG3B,OAAK,YAAY;;CAOnB,IACE,YACA,WAGA;AACA,SAAO,IAAI,oBAAoB;GAC7B,GAAG,KAAK;IACP,aAAa;GACf,CAA4F;;;;;CAM/F,IAAI,mBASF;EACA,MAAMC,SAUF,EAAE;AAEN,OAAK,MAAM,CAAC,YAAY,cAAc,OAAO,QAAQ,KAAK,QAAQ,EAAE;GAClE,MAAMH,UAAQ;AACd,UAAO,cAAc;IACnB,QAAQA,QAAM;IACd,QAAQ;IACR,OAAOA;IACP,OAAO;IACP,QAAQ;IACR,QAAQ;IACT;;AAGH,SAAO;;;;;;AAgBX,SAAgB,sBAAqC;AACnD,QAAO,IAAI,mBAAmB;;;;;AAMhC,SAAgB,eAAsD;AACpE,QAAO,IAAI,oBAAoB,EAAE,CAAC;;;;;ACrgBpC,MAAa,oBAAoB;AACjC,MAAa,uBAAuB;AACpC,MAAa,mBAAmB;AAChC,MAAa,qBAAqB;AAClC,MAAa,oBAAoB;AACjC,MAAa,yBAAyB;AAEtC,MAAM,qBAAqBI,KAAQ,EACjC,QAAQ,sBACT,CAAC;AAEF,MAAM,wBAAwBA,KAAQ,EACpC,cAAc,6CACf,CAAC;AAOF,SAAS,uBACP,MACuD;AACvD,SAAQ,YAAY;EAClB;EACA,WAAW,OAAO;EACnB;;AAGH,MAAM,eAAe,MAKnB;CACA,QAAQ;CACR,aAAa,CAAC,OAAO;CACrB,QAAQ;EAAC;EAAY;EAAS;EAAU;CACxC,SAAS,UAA0B;CACnC,SAAS,SAAyB,KAAK,SAAS;CAChD,cAAc;CACd,MAAM,uBAAuB,QAAQ;CACrC,mBAAmB,eAAe;EAChC,MAAM,SAAS,WAAW;AAC1B,MAAI,WAAW,OAAW,QAAO;AACjC,MAAI,OAAO,WAAW,YAAY,CAAC,OAAO,SAAS,OAAO,IAAI,CAAC,OAAO,UAAU,OAAO,CACrF,OAAM,IAAI,MACR,2EAA2E,OAAO,OAAO,GAC1F;AAEH,SAAO,QAAQ,OAAO;;CAEzB,CAAC;AAEF,MAAM,kBAAkB,MAKtB;CACA,QAAQ;CACR,aAAa,CAAC,UAAU;CACxB,QAAQ;EAAC;EAAY;EAAS;EAAU;CACxC,SAAS,UAA0B;CACnC,SAAS,SAAyB;CAClC,cAAc;CACd,MAAM,uBAAuB,WAAW;CACxC,mBAAmB,eAAe;EAChC,MAAM,SAAS,WAAW;AAC1B,MAAI,WAAW,OAAW,QAAO;AACjC,MAAI,OAAO,WAAW,YAAY,CAAC,OAAO,SAAS,OAAO,IAAI,CAAC,OAAO,UAAU,OAAO,CACrF,OAAM,IAAI,MACR,8EAA8E,OAAO,OAAO,GAC7F;AAEH,SAAO,WAAW,OAAO;;CAE5B,CAAC;AAEF,MAAM,cAAc,MAAM;CACxB,QAAQ;CACR,aAAa,CAAC,MAAM;CACpB,QAAQ;EAAC;EAAY;EAAS;EAAU;CACxC,SAAS,UAA0B;CACnC,SAAS,SAAyB;CACnC,CAAC;AAEF,MAAM,gBAAgB,MAAM;CAC1B,QAAQ;CACR,aAAa,CAAC,QAAQ;CACtB,QAAQ;EAAC;EAAY;EAAS;EAAU;CACxC,SAAS,UAA0B;CACnC,SAAS,SAAyB;CACnC,CAAC;AAEF,MAAM,eAAe,MAAM;CACzB,QAAQ;CACR,aAAa,CAAC,OAAO;CACrB,QAAQ;EAAC;EAAY;EAAS;EAAU;CACxC,SAAS,UAA0B;CACnC,SAAS,SAAyB;CACnC,CAAC;AAEF,MAAM,oBAAoB,MAKxB;CACA,QAAQ;CACR,aAAa,CAAC,YAAY;CAC1B,QAAQ,CAAC,YAAY,QAAQ;CAC7B,SAAS,UAAsB;CAC/B,SAAS,SAAqB;CAC9B,aAAa,UAA2B,MAAM,aAAa;CAC3D,aAAa,SAA0B;AACrC,MAAI,OAAO,SAAS,SAClB,OAAM,IAAI,MAAM,qDAAqD,OAAO,OAAO;EAErF,MAAM,OAAO,IAAI,KAAK,KAAK;AAC3B,MAAI,OAAO,MAAM,KAAK,SAAS,CAAC,CAC9B,OAAM,IAAI,MAAM,gDAAgD,OAAO;AAEzE,SAAO;;CAET,cAAc;CACd,mBAAmB,eAAe;EAChC,MAAM,YAAY,WAAW;AAC7B,MAAI,cAAc,OAChB,QAAO;AAET,MACE,OAAO,cAAc,YACrB,CAAC,OAAO,SAAS,UAAU,IAC3B,CAAC,OAAO,UAAU,UAAU,CAE5B,OAAM,IAAI,MACR,mFAAmF,OAAO,UAAU,GACrG;AAEH,SAAO,aAAa,UAAU;;CAEjC,CAAC;AAEF,MAAM,SAAS,cAAc,CAC1B,IAAI,QAAQ,aAAa,CACzB,IAAI,WAAW,gBAAgB,CAC/B,IAAI,OAAO,YAAY,CACvB,IAAI,SAAS,cAAc,CAC3B,IAAI,QAAQ,aAAa,CACzB,IAAI,aAAa,kBAAkB;AAEtC,MAAa,sBAAsB,OAAO;AAC1C,MAAa,eAAe,OAAO;;;;AC3JnC,SAAgB,QAA2C,GAAS;CAClE,MAAMC,MAA+B,EAAE;AACvC,MAAK,MAAM,CAAC,GAAG,MAAM,OAAO,QAAQ,EAAE,EAAE;AACtC,MAAI,MAAM,UAAa,MAAM,KAAM;AACnC,MAAI,MAAM,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAG;AACxC,MAAI,KAAK;;AAEX,QAAO;;;;;;;;;;;;AAaT,SAAgB,wBAAwB,KAA2C;CACjF,MAAM,uBAAO,IAAI,KAAe;CAChC,MAAMC,UAAsB,EAAE;AAC9B,MAAK,MAAM,OAAO,IAAI,kBAAkB,EAAE;AACxC,MAAI,KAAK,IAAI,IAAI,CAAE;AACnB,OAAK,IAAI,IAAI;AACb,UAAQ,KAAK,IAAI;;AAEnB,QAAO,OAAO,OAAO,QAAQ"}
+{"version":3,"file":"ast.mjs","names":["codec","codecs","codecTypes: Record<\n      string,\n      { readonly input: unknown; readonly output: unknown; readonly traits: unknown }\n    >","result: Record<\n      string,\n      {\n        typeId: string;\n        scalar: string;\n        codec: Codec;\n        input: unknown;\n        output: unknown;\n        jsType: unknown;\n      }\n    >","arktype","out: Record<string, unknown>","ordered: ParamRef[]"],"sources":["../../src/ast/codec-types.ts","../../src/ast/sql-codecs.ts","../../src/ast/util.ts"],"sourcesContent":["import type { JsonValue } from '@prisma-next/contract/types';\nimport type {\n  Codec as BaseCodec,\n  CodecCallContext,\n  CodecInstanceContext,\n  CodecTrait,\n} from '@prisma-next/framework-components/codec';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { Type } from 'arktype';\nimport type { O } from 'ts-toolbelt';\n\nexport type { CodecCallContext, CodecTrait } from '@prisma-next/framework-components/codec';\n\n/**\n * SQL-family addressing of a single column. The decode site populates a\n * `SqlColumnRef` whenever it can resolve the cell to a single underlying\n * `(table, column)` (the typical case for projected columns from a\n * single-table source); cells the runtime cannot resolve (aggregate\n * aliases, include aggregate fields, computed projections without a\n * simple ref) get `column = undefined`.\n *\n * The shape is a structural projection of the runtime's `ColumnRef` so\n * the SQL decode site can reuse the resolution it already performs for\n * `RUNTIME.DECODE_FAILED` envelope construction without allocating\n * twice per cell.\n */\nexport interface SqlColumnRef {\n  readonly table: string;\n  readonly name: string;\n}\n\n/**\n * SQL-family per-call context. Extends the framework {@link CodecCallContext}\n * (which carries `signal` only) with `column?: SqlColumnRef`, populated\n * on **decode** call sites that can resolve a single underlying column\n * ref. Encode call sites currently leave `column` undefined (encode-time\n * column context is the middleware's domain).\n *\n * SQL codec authors writing a `(value, ctx)` author function for the SQL\n * `codec()` factory observe this type. The framework codec dispatch\n * surface (and Mongo) sees only the base `CodecCallContext`.\n */\nexport interface SqlCodecCallContext extends CodecCallContext {\n  readonly column?: SqlColumnRef;\n}\n\n/**\n * SQL-family per-instance context. Extends the framework\n * {@link CodecInstanceContext} (`name` only) with `usedAt`, the set of\n * `(table, column)` pairs the resolved codec serves.\n *\n * - For `typeRef` columns sharing one named `storage.types` instance, the\n *   array lists every referencing column — a column-scoped stateful codec\n *   (e.g. encryption) can derive aggregated per-instance state across all\n *   the columns sharing the named instance.\n * - For inline-`typeParams` columns, the array has exactly one entry —\n *   the column that owns the inline params.\n * - For shared non-parameterized codecs, the array carries one\n *   representative entry (the column that triggered materialization);\n *   the codec is shared across every column with that codec id, so the\n *   `usedAt` is informational only.\n *\n * SQL extensions consuming `usedAt` (e.g. column-scoped state derivation)\n * type their factory parameter as `SqlCodecInstanceContext`. Extensions\n * that don't read `usedAt` type their factory parameter as the\n * family-agnostic {@link CodecInstanceContext} — a `SqlCodecInstanceContext`\n * is structurally assignable to the base.\n */\nexport interface SqlCodecInstanceContext extends CodecInstanceContext {\n  readonly usedAt: ReadonlyArray<{ readonly table: string; readonly column: string }>;\n}\n\n/**\n * Legacy adapter-level descriptor for parameterized codecs that require\n * type-parameter validation at compile time. The runtime descriptor\n * (`RuntimeParameterizedCodecDescriptor` in `@prisma-next/sql-runtime`)\n * has migrated to the unified `CodecDescriptor<P>` shape with\n * `factory: (P) => (CodecInstanceContext) => Codec`; this descriptor stays only because\n * the SQL `Adapter.parameterizedCodecs()` surface still returns\n * `CodecParamsDescriptor[]` (compile-time typeParams validation only,\n * not runtime materialization).\n *\n * Retirement is tracked under TML-2357 T3.5.4 (single registration slot)\n * — the adapter-level `parameterizedCodecs()` collapses into the unified\n * runtime descriptor map once contributors migrate fully.\n *\n * @template TParams - The shape of the type parameters (e.g., `{ length: number }`)\n * @template THelper - The type returned by the optional `init` hook\n */\nexport interface CodecParamsDescriptor<TParams = Record<string, unknown>, THelper = unknown> {\n  /** The codec ID this descriptor applies to (e.g., 'pg/vector@1') */\n  readonly codecId: string;\n\n  /**\n   * Arktype schema for validating typeParams.\n   * Used to validate both storage.types entries and inline column typeParams.\n   */\n  readonly paramsSchema: Type<TParams>;\n\n  /**\n   * Optional init hook called during runtime context creation.\n   * Receives validated params and returns a helper object to be stored in context.types.\n   * If not provided, the validated params are stored directly.\n   *\n   * Predecessor pattern. The runtime descriptor's curried\n   * `factory: (P) => (CodecInstanceContext) => Codec` subsumes this hook — per-instance\n   * state lives on the resolved codec rather than in a parallel\n   * `TypeHelperRegistry` entry. Retirement tracked under TML-2357 T3.5.2\n   * (narrow runtime `Codec` interface) and T3.5.4 (single registration\n   * slot). Adapter-level callers reading codec-self-carried `init` should\n   * migrate to the runtime descriptor map's factory instead.\n   */\n  readonly init?: (params: TParams) => THelper;\n}\n\n/**\n * Codec metadata for database-specific type information.\n * Used for schema introspection and verification.\n */\nexport interface CodecMeta {\n  readonly db?: {\n    readonly sql?: {\n      readonly postgres?: {\n        readonly nativeType: string; // e.g. 'integer', 'text', 'vector', 'timestamp with time zone'\n      };\n    };\n  };\n}\n\n/**\n * SQL codec — extends the framework codec base with SQL-specific metadata:\n * driver-native type info (`meta.db.sql.<dialect>.nativeType`) and an\n * optional parameterized-codec descriptor (`paramsSchema` + `init`) for\n * codecs that require type-parameter validation (e.g. `pg/vector@1`).\n *\n * `encode` and `decode` are redeclared here to narrow the per-call\n * context to the SQL-family {@link SqlCodecCallContext} (adds\n * `column?: SqlColumnRef`). TypeScript treats method-syntax declarations\n * bivariantly, so the SQL narrowing is structurally compatible with the\n * framework {@link BaseCodec} super-interface.\n *\n * Note: `paramsSchema` and `init` here are the legacy adapter-level slots\n * mirrored from {@link CodecParamsDescriptor}. The runtime materialization\n * path uses `RuntimeParameterizedCodecDescriptor` (in\n * `@prisma-next/sql-runtime`) via the unified `CodecDescriptor<P>` shape;\n * codec-self-carried `paramsSchema`/`init` retire under TML-2357 (T3.5.2\n * narrows the runtime `Codec` interface; T3.5.4 collapses the parallel\n * registration slots).\n *\n * See `Codec` in `@prisma-next/framework-components/codec` for the codec\n * contract that this interface extends.\n */\nexport interface Codec<\n  Id extends string = string,\n  TTraits extends readonly CodecTrait[] = readonly CodecTrait[],\n  TWire = unknown,\n  TInput = unknown,\n  TParams = Record<string, unknown>,\n  THelper = unknown,\n> extends BaseCodec<Id, TTraits, TWire, TInput> {\n  encode(value: TInput, ctx: SqlCodecCallContext): Promise<TWire>;\n  decode(wire: TWire, ctx: SqlCodecCallContext): Promise<TInput>;\n  readonly meta?: CodecMeta;\n  readonly paramsSchema?: Type<TParams>;\n  /**\n   * Predecessor init hook. Retirement tracked under TML-2357 (T3.5.2 /\n   * T3.5.4); the unified runtime descriptor's\n   * `factory: (P) => (CodecInstanceContext) => Codec` is the replacement.\n   */\n  readonly init?: (params: TParams) => THelper;\n}\n\n/**\n * Contract-bound codec registry.\n *\n * The dispatch interface for encode/decode at runtime: built once at\n * `ExecutionContext` construction time by walking the contract's\n * `storage.tables[].columns[]` and resolving each column to either a per-\n * instance parameterized codec (via `descriptor.factory(typeParams)(ctx)`)\n * or the shared codec instance from the legacy `CodecRegistry` (for non-\n * parameterized codecs). The dispatch path calls\n * `forColumn(table, column).encode/decode(...)` and doesn't know whether\n * the codec is parameterized.\n *\n * `forCodecId(codecId)` is a fallback for sites that don't carry the\n * `(table, column)` ref through to the encode/decode call site —\n * primarily the param-encoding path, where `ParamRef.refs` is not\n * populated by the SQL builder today (every `ParamRef` carries `codecId`\n * but not the column it relates to). For the parameterized codecs shipped\n * at Phase B, encode is per-instance-stateless (pgvector formats\n * `[v1,v2,v3]` regardless of length; JSON's `encode` is `JSON.stringify`\n * regardless of schema), so a codec-id-keyed lookup yields a structurally\n * equivalent encoder; the fallback is the bridge that lets the legacy\n * `codecs:` registration retire from the dispatch path while staying as\n * the codec-id-only source for now.\n *\n * The encode-side fallback is the AC-5-deferred carve-out documented in\n * the codec-registry-unification spec § Non-functional constraints.\n * TML-2357 retires the fallback by threading `ParamRef.refs` through\n * column-bound construction sites.\n */\nexport interface ContractCodecRegistry {\n  /**\n   * Resolve the codec for `(table, column)`. Returns the per-instance\n   * parameterized codec for parameterized columns, the shared codec for\n   * non-parameterized columns, or `undefined` if the column is unknown\n   * or the codec isn't registered.\n   */\n  forColumn(table: string, column: string): Codec | undefined;\n\n  /**\n   * Resolve a codec by id. Returns the same codec instance the legacy\n   * `CodecRegistry.get(codecId)` would return — for non-parameterized\n   * codecs that's the shared instance; for parameterized codecs that's\n   * a representative resolved instance. Used by sites that don't carry\n   * `(table, column)` through to the encode/decode call site (the AC-5\n   * carve-out path).\n   */\n  forCodecId(codecId: string): Codec | undefined;\n}\n\n/**\n * Registry interface for codecs organized by ID and by contract scalar type.\n *\n * The registry allows looking up codecs by their namespaced ID or by the\n * contract scalar types they handle. Multiple codecs may handle the same\n * scalar type; ordering in byScalar reflects preference (adapter first,\n * then packs, then app overrides).\n */\nexport interface CodecRegistry {\n  get(id: string): Codec<string> | undefined;\n  has(id: string): boolean;\n  getByScalar(scalar: string): readonly Codec<string>[];\n  getDefaultCodec(scalar: string): Codec<string> | undefined;\n  register(codec: Codec<string>): void;\n  /** Returns true if the codec with this ID has the given trait. */\n  hasTrait(codecId: string, trait: CodecTrait): boolean;\n  /** Returns all traits for a codec, or an empty array if not found. */\n  traitsOf(codecId: string): readonly CodecTrait[];\n  [Symbol.iterator](): Iterator<Codec<string>>;\n  values(): IterableIterator<Codec<string>>;\n}\n\n/**\n * Implementation of CodecRegistry.\n */\nclass CodecRegistryImpl implements CodecRegistry {\n  private readonly _byId = new Map<string, Codec<string>>();\n  private readonly _byScalar = new Map<string, Codec<string>[]>();\n\n  /**\n   * Map-like interface for codec lookup by ID.\n   * Example: registry.get('pg/text@1')\n   */\n  get(id: string): Codec<string> | undefined {\n    return this._byId.get(id);\n  }\n\n  /**\n   * Check if a codec with the given ID is registered.\n   */\n  has(id: string): boolean {\n    return this._byId.has(id);\n  }\n\n  /**\n   * Get all codecs that handle a given scalar type.\n   * Returns an empty frozen array if no codecs are found.\n   * Example: registry.getByScalar('text') → [codec1, codec2, ...]\n   */\n  getByScalar(scalar: string): readonly Codec<string>[] {\n    return this._byScalar.get(scalar) ?? Object.freeze([]);\n  }\n\n  /**\n   * Get the default codec for a scalar type (first registered codec).\n   * Returns undefined if no codec handles this scalar type.\n   */\n  getDefaultCodec(scalar: string): Codec<string> | undefined {\n    const _codecs = this._byScalar.get(scalar);\n    return _codecs?.[0];\n  }\n\n  /**\n   * Register a codec in the registry.\n   * Throws an error if a codec with the same ID is already registered.\n   *\n   * @param codec - The codec to register\n   * @throws Error if a codec with the same ID already exists\n   */\n  register(codec: Codec<string>): void {\n    if (this._byId.has(codec.id)) {\n      throw new Error(`Codec with ID '${codec.id}' is already registered`);\n    }\n\n    this._byId.set(codec.id, codec);\n\n    // Update byScalar mapping\n    for (const scalarType of codec.targetTypes) {\n      const existing = this._byScalar.get(scalarType);\n      if (existing) {\n        existing.push(codec);\n      } else {\n        this._byScalar.set(scalarType, [codec]);\n      }\n    }\n  }\n\n  hasTrait(codecId: string, trait: CodecTrait): boolean {\n    const codec = this._byId.get(codecId);\n    return codec?.traits?.includes(trait) ?? false;\n  }\n\n  traitsOf(codecId: string): readonly CodecTrait[] {\n    return this._byId.get(codecId)?.traits ?? [];\n  }\n\n  /**\n   * Returns an iterator over all registered codecs.\n   * Useful for iterating through codecs from another registry.\n   */\n  *[Symbol.iterator](): Iterator<Codec<string>> {\n    for (const codec of this._byId.values()) {\n      yield codec;\n    }\n  }\n\n  /**\n   * Returns an iterable of all registered codecs.\n   */\n  values(): IterableIterator<Codec<string>> {\n    return this._byId.values();\n  }\n}\n\n/**\n * Conditional bundle for `encodeJson`/`decodeJson`: when `TInput` is\n * structurally assignable to `JsonValue` the identity defaults are\n * sound and both fields are optional; otherwise both fields are\n * required so an author cannot silently produce a non-JSON-safe\n * contract artifact.\n */\ntype JsonRoundTripConfig<TInput> = [TInput] extends [JsonValue]\n  ? {\n      encodeJson?: (value: TInput) => JsonValue;\n      decodeJson?: (json: JsonValue) => TInput;\n    }\n  : {\n      encodeJson: (value: TInput) => JsonValue;\n      decodeJson: (json: JsonValue) => TInput;\n    };\n\n/**\n * Construct a SQL codec from author functions and optional metadata.\n *\n * Author `encode` and `decode` as sync or async functions; the factory\n * produces a {@link Codec} whose query-time methods follow the boundary\n * contract documented on `Codec`. Authors receive a second `ctx` options\n * argument carrying the SQL-family per-call context; ignore it if you\n * don't need it.\n *\n * Both `encode` and `decode` are required so `TInput` and `TWire` are\n * always covered by an explicit author function — the factory installs\n * no identity fallback. `encodeJson` and `decodeJson` default to identity\n * **only when `TInput` is assignable to `JsonValue`**; otherwise both are\n * required so the contract artifact stays JSON-safe.\n */\nexport function codec<\n  Id extends string,\n  const TTraits extends readonly CodecTrait[] = readonly [],\n  TWire = unknown,\n  TInput = unknown,\n  TParams = Record<string, unknown>,\n  THelper = unknown,\n>(\n  config: {\n    typeId: Id;\n    targetTypes: readonly string[];\n    encode: (value: TInput, ctx: SqlCodecCallContext) => TWire | Promise<TWire>;\n    decode: (wire: TWire, ctx: SqlCodecCallContext) => TInput | Promise<TInput>;\n    meta?: CodecMeta;\n    paramsSchema?: Type<TParams>;\n    init?: (params: TParams) => THelper;\n    traits?: TTraits;\n    renderOutputType?: (typeParams: Record<string, unknown>) => string | undefined;\n  } & JsonRoundTripConfig<TInput>,\n): Codec<Id, TTraits, TWire, TInput, TParams, THelper> {\n  const identity = (v: unknown) => v;\n  // The runtime allocates one `SqlCodecCallContext` per `runtime.execute()`\n  // call (no caller-supplied `signal` produces `{}` instead of `undefined`)\n  // and threads it as a non-optional reference to every codec call. The\n  // author surface keeps the second parameter optional so single-arg\n  // `(value) => …` authors continue to satisfy the signature via\n  // TypeScript's bivariance for trailing parameters.\n  const userEncode = config.encode;\n  const userDecode = config.decode;\n  // The conditional JsonRoundTripConfig narrows TInput|JsonValue at the\n  // boundary; widen back to the generic shape inside the factory body.\n  const widenedConfig = config as {\n    encodeJson?: (value: TInput) => JsonValue;\n    decodeJson?: (json: JsonValue) => TInput;\n  };\n  return {\n    id: config.typeId,\n    targetTypes: config.targetTypes,\n    ...ifDefined('meta', config.meta),\n    ...ifDefined('paramsSchema', config.paramsSchema),\n    ...ifDefined('init', config.init),\n    ...ifDefined(\n      'traits',\n      config.traits ? (Object.freeze([...config.traits]) as TTraits) : undefined,\n    ),\n    ...ifDefined('renderOutputType', config.renderOutputType),\n    encode: (value, ctx) => {\n      try {\n        return Promise.resolve(userEncode(value, ctx));\n      } catch (error) {\n        return Promise.reject(error);\n      }\n    },\n    decode: (wire, ctx) => {\n      try {\n        return Promise.resolve(userDecode(wire, ctx));\n      } catch (error) {\n        return Promise.reject(error);\n      }\n    },\n    encodeJson: (widenedConfig.encodeJson ?? identity) as (value: TInput) => JsonValue,\n    decodeJson: (widenedConfig.decodeJson ?? identity) as (json: JsonValue) => TInput,\n  };\n}\n\n/**\n * Type helpers to extract codec types.\n */\nexport type CodecId<T> =\n  T extends Codec<infer Id> ? Id : T extends { readonly id: infer Id } ? Id : never;\nexport type CodecInput<T> =\n  T extends Codec<string, readonly CodecTrait[], unknown, infer In> ? In : never;\nexport type CodecTraits<T> =\n  T extends Codec<string, infer TTraits> ? TTraits[number] & CodecTrait : never;\n\n/**\n * Type helper to extract codec types from builder instance.\n */\nexport type ExtractCodecTypes<\n  ScalarNames extends { readonly [K in keyof ScalarNames]: Codec<string> } = Record<never, never>,\n> = {\n  readonly [K in keyof ScalarNames as ScalarNames[K] extends Codec<infer Id> ? Id : never]: {\n    readonly input: CodecInput<ScalarNames[K]>;\n    readonly output: CodecInput<ScalarNames[K]>;\n    readonly traits: CodecTraits<ScalarNames[K]>;\n  };\n};\n\n/**\n * Type helper to extract data type IDs from builder instance.\n * Uses ExtractCodecTypes which preserves literal types as keys.\n * Since ExtractCodecTypes<Record<K, ScalarNames[K]>> has exactly one key (the Id),\n * we extract it by creating a mapped type that uses the Id as both key and value,\n * then extract the value type. This preserves literal types.\n */\nexport type ExtractDataTypes<\n  ScalarNames extends { readonly [K in keyof ScalarNames]: Codec<string> },\n> = {\n  readonly [K in keyof ScalarNames]: {\n    readonly [Id in keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>]: Id;\n  }[keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>];\n};\n\n/**\n * Builder interface for declaring codecs.\n */\nexport interface CodecDefBuilder<\n  ScalarNames extends { readonly [K in keyof ScalarNames]: Codec<string> } = Record<never, never>,\n> {\n  readonly CodecTypes: ExtractCodecTypes<ScalarNames>;\n\n  add<ScalarName extends string, CodecImpl extends Codec<string>>(\n    scalarName: ScalarName,\n    codecImpl: CodecImpl,\n  ): CodecDefBuilder<\n    O.Overwrite<ScalarNames, Record<ScalarName, CodecImpl>> & Record<ScalarName, CodecImpl>\n  >;\n\n  readonly codecDefinitions: {\n    readonly [K in keyof ScalarNames]: {\n      readonly typeId: ScalarNames[K] extends Codec<infer Id extends string> ? Id : never;\n      readonly scalar: K;\n      readonly codec: ScalarNames[K];\n      readonly input: CodecInput<ScalarNames[K]>;\n      readonly output: CodecInput<ScalarNames[K]>;\n      readonly jsType: CodecInput<ScalarNames[K]>;\n    };\n  };\n\n  readonly dataTypes: {\n    readonly [K in keyof ScalarNames]: {\n      readonly [Id in keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>]: Id;\n    }[keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>];\n  };\n}\n\n/**\n * Implementation of CodecDefBuilder.\n */\nclass CodecDefBuilderImpl<\n  ScalarNames extends { readonly [K in keyof ScalarNames]: Codec<string> } = Record<never, never>,\n> implements CodecDefBuilder<ScalarNames>\n{\n  private readonly _codecs: ScalarNames;\n\n  public readonly CodecTypes: ExtractCodecTypes<ScalarNames>;\n  public readonly dataTypes: {\n    readonly [K in keyof ScalarNames]: {\n      readonly [Id in keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>]: Id;\n    }[keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>];\n  };\n\n  constructor(codecs: ScalarNames) {\n    this._codecs = codecs;\n\n    // Populate CodecTypes from codecs\n    const codecTypes: Record<\n      string,\n      { readonly input: unknown; readonly output: unknown; readonly traits: unknown }\n    > = {};\n    for (const [, codecImpl] of Object.entries(this._codecs)) {\n      const codecImplTyped = codecImpl as Codec<string>;\n      codecTypes[codecImplTyped.id] = {\n        input: undefined as unknown as CodecInput<typeof codecImplTyped>,\n        output: undefined as unknown as CodecInput<typeof codecImplTyped>,\n        traits: undefined as unknown as CodecTraits<typeof codecImplTyped>,\n      };\n    }\n    this.CodecTypes = codecTypes as ExtractCodecTypes<ScalarNames>;\n\n    // Populate dataTypes from codecs - extract id property from each codec\n    // Build object preserving keys from ScalarNames\n    // Type assertion is safe because we know ScalarNames structure matches the return type\n    // biome-ignore lint/suspicious/noExplicitAny: dynamic codec mapping requires any\n    const dataTypes = {} as any;\n    for (const key in this._codecs) {\n      if (Object.hasOwn(this._codecs, key)) {\n        const codec = this._codecs[key] as Codec<string>;\n        dataTypes[key] = codec.id;\n      }\n    }\n    this.dataTypes = dataTypes as {\n      readonly [K in keyof ScalarNames]: {\n        readonly [Id in keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>]: Id;\n      }[keyof ExtractCodecTypes<Record<K, ScalarNames[K]>>];\n    };\n  }\n\n  add<ScalarName extends string, CodecImpl extends Codec<string>>(\n    scalarName: ScalarName,\n    codecImpl: CodecImpl,\n  ): CodecDefBuilder<\n    O.Overwrite<ScalarNames, Record<ScalarName, CodecImpl>> & Record<ScalarName, CodecImpl>\n  > {\n    return new CodecDefBuilderImpl({\n      ...this._codecs,\n      [scalarName]: codecImpl,\n    } as O.Overwrite<ScalarNames, Record<ScalarName, CodecImpl>> & Record<ScalarName, CodecImpl>);\n  }\n\n  /**\n   * Derive codecDefinitions structure.\n   */\n  get codecDefinitions(): {\n    readonly [K in keyof ScalarNames]: {\n      readonly typeId: ScalarNames[K] extends Codec<infer Id> ? Id : never;\n      readonly scalar: K;\n      readonly codec: ScalarNames[K];\n      readonly input: CodecInput<ScalarNames[K]>;\n      readonly output: CodecInput<ScalarNames[K]>;\n      readonly jsType: CodecInput<ScalarNames[K]>;\n    };\n  } {\n    const result: Record<\n      string,\n      {\n        typeId: string;\n        scalar: string;\n        codec: Codec;\n        input: unknown;\n        output: unknown;\n        jsType: unknown;\n      }\n    > = {};\n\n    for (const [scalarName, codecImpl] of Object.entries(this._codecs)) {\n      const codec = codecImpl as Codec<string>;\n      result[scalarName] = {\n        typeId: codec.id,\n        scalar: scalarName,\n        codec: codec,\n        input: undefined as unknown as CodecInput<typeof codec>,\n        output: undefined as unknown as CodecInput<typeof codec>,\n        jsType: undefined as unknown as CodecInput<typeof codec>,\n      };\n    }\n\n    return result as {\n      readonly [K in keyof ScalarNames]: {\n        readonly typeId: ScalarNames[K] extends Codec<infer Id extends string> ? Id : never;\n        readonly scalar: K;\n        readonly codec: ScalarNames[K];\n        readonly input: CodecInput<ScalarNames[K]>;\n        readonly output: CodecInput<ScalarNames[K]>;\n        readonly jsType: CodecInput<ScalarNames[K]>;\n      };\n    };\n  }\n}\n\n/**\n * Create a new codec registry.\n */\nexport function createCodecRegistry(): CodecRegistry {\n  return new CodecRegistryImpl();\n}\n\n/**\n * Create a new codec definition builder.\n */\nexport function defineCodecs(): CodecDefBuilder<Record<never, never>> {\n  return new CodecDefBuilderImpl({});\n}\n","import type { JsonValue } from '@prisma-next/contract/types';\nimport { type as arktype } from 'arktype';\nimport { codec, defineCodecs } from './codec-types';\n\nexport const SQL_CHAR_CODEC_ID = 'sql/char@1' as const;\nexport const SQL_VARCHAR_CODEC_ID = 'sql/varchar@1' as const;\nexport const SQL_INT_CODEC_ID = 'sql/int@1' as const;\nexport const SQL_FLOAT_CODEC_ID = 'sql/float@1' as const;\nexport const SQL_TEXT_CODEC_ID = 'sql/text@1' as const;\nexport const SQL_TIMESTAMP_CODEC_ID = 'sql/timestamp@1' as const;\n\nconst lengthParamsSchema = arktype({\n  length: 'number.integer > 0',\n});\n\nconst precisionParamsSchema = arktype({\n  'precision?': 'number.integer >= 0 & number.integer <= 6',\n});\n\ntype LengthTypeHelper = {\n  readonly kind: 'fixed' | 'variable';\n  readonly maxLength: number;\n};\n\nfunction createLengthTypeHelper(\n  kind: LengthTypeHelper['kind'],\n): (params: Record<string, unknown>) => LengthTypeHelper {\n  return (params) => ({\n    kind,\n    maxLength: params['length'] as number,\n  });\n}\n\nconst sqlCharCodec = codec<\n  typeof SQL_CHAR_CODEC_ID,\n  readonly ['equality', 'order', 'textual'],\n  string,\n  string\n>({\n  typeId: SQL_CHAR_CODEC_ID,\n  targetTypes: ['char'],\n  traits: ['equality', 'order', 'textual'],\n  encode: (value: string): string => value,\n  decode: (wire: string): string => wire.trimEnd(),\n  paramsSchema: lengthParamsSchema,\n  init: createLengthTypeHelper('fixed'),\n  renderOutputType: (typeParams) => {\n    const length = typeParams['length'];\n    if (length === undefined) return undefined;\n    if (typeof length !== 'number' || !Number.isFinite(length) || !Number.isInteger(length)) {\n      throw new Error(\n        `renderOutputType: expected integer \"length\" in typeParams for Char, got ${String(length)}`,\n      );\n    }\n    return `Char<${length}>`;\n  },\n});\n\nconst sqlVarcharCodec = codec<\n  typeof SQL_VARCHAR_CODEC_ID,\n  readonly ['equality', 'order', 'textual'],\n  string,\n  string\n>({\n  typeId: SQL_VARCHAR_CODEC_ID,\n  targetTypes: ['varchar'],\n  traits: ['equality', 'order', 'textual'],\n  encode: (value: string): string => value,\n  decode: (wire: string): string => wire,\n  paramsSchema: lengthParamsSchema,\n  init: createLengthTypeHelper('variable'),\n  renderOutputType: (typeParams) => {\n    const length = typeParams['length'];\n    if (length === undefined) return undefined;\n    if (typeof length !== 'number' || !Number.isFinite(length) || !Number.isInteger(length)) {\n      throw new Error(\n        `renderOutputType: expected integer \"length\" in typeParams for Varchar, got ${String(length)}`,\n      );\n    }\n    return `Varchar<${length}>`;\n  },\n});\n\nconst sqlIntCodec = codec({\n  typeId: SQL_INT_CODEC_ID,\n  targetTypes: ['int'],\n  traits: ['equality', 'order', 'numeric'],\n  encode: (value: number): number => value,\n  decode: (wire: number): number => wire,\n});\n\nconst sqlFloatCodec = codec({\n  typeId: SQL_FLOAT_CODEC_ID,\n  targetTypes: ['float'],\n  traits: ['equality', 'order', 'numeric'],\n  encode: (value: number): number => value,\n  decode: (wire: number): number => wire,\n});\n\nconst sqlTextCodec = codec({\n  typeId: SQL_TEXT_CODEC_ID,\n  targetTypes: ['text'],\n  traits: ['equality', 'order', 'textual'],\n  encode: (value: string): string => value,\n  decode: (wire: string): string => wire,\n});\n\nconst sqlTimestampCodec = codec<\n  typeof SQL_TIMESTAMP_CODEC_ID,\n  readonly ['equality', 'order'],\n  Date,\n  Date\n>({\n  typeId: SQL_TIMESTAMP_CODEC_ID,\n  targetTypes: ['timestamp'],\n  traits: ['equality', 'order'],\n  encode: (value: Date): Date => value,\n  decode: (wire: Date): Date => wire,\n  encodeJson: (value: Date): JsonValue => value.toISOString(),\n  decodeJson: (json: JsonValue): Date => {\n    if (typeof json !== 'string') {\n      throw new Error(`Expected ISO date string for sql/timestamp@1, got ${typeof json}`);\n    }\n    const date = new Date(json);\n    if (Number.isNaN(date.getTime())) {\n      throw new Error(`Invalid ISO date string for sql/timestamp@1: ${json}`);\n    }\n    return date;\n  },\n  paramsSchema: precisionParamsSchema,\n  renderOutputType: (typeParams) => {\n    const precision = typeParams['precision'];\n    if (precision === undefined) {\n      return 'Timestamp';\n    }\n    if (\n      typeof precision !== 'number' ||\n      !Number.isFinite(precision) ||\n      !Number.isInteger(precision)\n    ) {\n      throw new Error(\n        `renderOutputType: expected integer \"precision\" in typeParams for Timestamp, got ${String(precision)}`,\n      );\n    }\n    return `Timestamp<${precision}>`;\n  },\n});\n\nconst codecs = defineCodecs()\n  .add('char', sqlCharCodec)\n  .add('varchar', sqlVarcharCodec)\n  .add('int', sqlIntCodec)\n  .add('float', sqlFloatCodec)\n  .add('text', sqlTextCodec)\n  .add('timestamp', sqlTimestampCodec);\n\nexport const sqlCodecDefinitions = codecs.codecDefinitions;\nexport const sqlDataTypes = codecs.dataTypes;\nexport type SqlCodecTypes = typeof codecs.CodecTypes;\n","import type { AnyQueryAst, ParamRef } from './types';\n\nexport function compact<T extends Record<string, unknown>>(o: T): T {\n  const out: Record<string, unknown> = {};\n  for (const [k, v] of Object.entries(o)) {\n    if (v === undefined || v === null) continue;\n    if (Array.isArray(v) && v.length === 0) continue;\n    out[k] = v;\n  }\n  return out as T;\n}\n\n/**\n * Walks an AST's parameter references in first-encounter order and dedupes\n * by ParamRef identity. The single canonical helper used by every consumer\n * that aligns `plan.params` with metadata-by-index — the SQL builder lane,\n * the SQL ORM client, the SQL runtime encoder, and the Postgres renderer's\n * `$N` index map — so the four walks cannot drift in dedupe semantics.\n *\n * SQLite's `?`-placeholder renderer intentionally does NOT use this helper\n * because it needs one params entry per occurrence in the SQL.\n */\nexport function collectOrderedParamRefs(ast: AnyQueryAst): ReadonlyArray<ParamRef> {\n  const seen = new Set<ParamRef>();\n  const ordered: ParamRef[] = [];\n  for (const ref of ast.collectParamRefs()) {\n    if (seen.has(ref)) continue;\n    seen.add(ref);\n    ordered.push(ref);\n  }\n  return Object.freeze(ordered);\n}\n"],"mappings":";;;;;;;;AAsPA,IAAM,oBAAN,MAAiD;CAC/C,AAAiB,wBAAQ,IAAI,KAA4B;CACzD,AAAiB,4BAAY,IAAI,KAA8B;;;;;CAM/D,IAAI,IAAuC;AACzC,SAAO,KAAK,MAAM,IAAI,GAAG;;;;;CAM3B,IAAI,IAAqB;AACvB,SAAO,KAAK,MAAM,IAAI,GAAG;;;;;;;CAQ3B,YAAY,QAA0C;AACpD,SAAO,KAAK,UAAU,IAAI,OAAO,IAAI,OAAO,OAAO,EAAE,CAAC;;;;;;CAOxD,gBAAgB,QAA2C;AAEzD,SADgB,KAAK,UAAU,IAAI,OAAO,GACzB;;;;;;;;;CAUnB,SAAS,SAA4B;AACnC,MAAI,KAAK,MAAM,IAAIA,QAAM,GAAG,CAC1B,OAAM,IAAI,MAAM,kBAAkBA,QAAM,GAAG,yBAAyB;AAGtE,OAAK,MAAM,IAAIA,QAAM,IAAIA,QAAM;AAG/B,OAAK,MAAM,cAAcA,QAAM,aAAa;GAC1C,MAAM,WAAW,KAAK,UAAU,IAAI,WAAW;AAC/C,OAAI,SACF,UAAS,KAAKA,QAAM;OAEpB,MAAK,UAAU,IAAI,YAAY,CAACA,QAAM,CAAC;;;CAK7C,SAAS,SAAiB,OAA4B;AAEpD,SADc,KAAK,MAAM,IAAI,QAAQ,EACvB,QAAQ,SAAS,MAAM,IAAI;;CAG3C,SAAS,SAAwC;AAC/C,SAAO,KAAK,MAAM,IAAI,QAAQ,EAAE,UAAU,EAAE;;;;;;CAO9C,EAAE,OAAO,YAAqC;AAC5C,OAAK,MAAMA,WAAS,KAAK,MAAM,QAAQ,CACrC,OAAMA;;;;;CAOV,SAA0C;AACxC,SAAO,KAAK,MAAM,QAAQ;;;;;;;;;;;;;;;;;;AAoC9B,SAAgB,MAQd,QAWqD;CACrD,MAAM,YAAY,MAAe;CAOjC,MAAM,aAAa,OAAO;CAC1B,MAAM,aAAa,OAAO;CAG1B,MAAM,gBAAgB;AAItB,QAAO;EACL,IAAI,OAAO;EACX,aAAa,OAAO;EACpB,GAAG,UAAU,QAAQ,OAAO,KAAK;EACjC,GAAG,UAAU,gBAAgB,OAAO,aAAa;EACjD,GAAG,UAAU,QAAQ,OAAO,KAAK;EACjC,GAAG,UACD,UACA,OAAO,SAAU,OAAO,OAAO,CAAC,GAAG,OAAO,OAAO,CAAC,GAAe,OAClE;EACD,GAAG,UAAU,oBAAoB,OAAO,iBAAiB;EACzD,SAAS,OAAO,QAAQ;AACtB,OAAI;AACF,WAAO,QAAQ,QAAQ,WAAW,OAAO,IAAI,CAAC;YACvC,OAAO;AACd,WAAO,QAAQ,OAAO,MAAM;;;EAGhC,SAAS,MAAM,QAAQ;AACrB,OAAI;AACF,WAAO,QAAQ,QAAQ,WAAW,MAAM,IAAI,CAAC;YACtC,OAAO;AACd,WAAO,QAAQ,OAAO,MAAM;;;EAGhC,YAAa,cAAc,cAAc;EACzC,YAAa,cAAc,cAAc;EAC1C;;;;;AA6EH,IAAM,sBAAN,MAAM,oBAGN;CACE,AAAiB;CAEjB,AAAgB;CAChB,AAAgB;CAMhB,YAAY,UAAqB;AAC/B,OAAK,UAAUC;EAGf,MAAMC,aAGF,EAAE;AACN,OAAK,MAAM,GAAG,cAAc,OAAO,QAAQ,KAAK,QAAQ,EAAE;GACxD,MAAM,iBAAiB;AACvB,cAAW,eAAe,MAAM;IAC9B,OAAO;IACP,QAAQ;IACR,QAAQ;IACT;;AAEH,OAAK,aAAa;EAMlB,MAAM,YAAY,EAAE;AACpB,OAAK,MAAM,OAAO,KAAK,QACrB,KAAI,OAAO,OAAO,KAAK,SAAS,IAAI,CAElC,WAAU,OADI,KAAK,QAAQ,KACJ;AAG3B,OAAK,YAAY;;CAOnB,IACE,YACA,WAGA;AACA,SAAO,IAAI,oBAAoB;GAC7B,GAAG,KAAK;IACP,aAAa;GACf,CAA4F;;;;;CAM/F,IAAI,mBASF;EACA,MAAMC,SAUF,EAAE;AAEN,OAAK,MAAM,CAAC,YAAY,cAAc,OAAO,QAAQ,KAAK,QAAQ,EAAE;GAClE,MAAMH,UAAQ;AACd,UAAO,cAAc;IACnB,QAAQA,QAAM;IACd,QAAQ;IACR,OAAOA;IACP,OAAO;IACP,QAAQ;IACR,QAAQ;IACT;;AAGH,SAAO;;;;;;AAgBX,SAAgB,sBAAqC;AACnD,QAAO,IAAI,mBAAmB;;;;;AAMhC,SAAgB,eAAsD;AACpE,QAAO,IAAI,oBAAoB,EAAE,CAAC;;;;;AChnBpC,MAAa,oBAAoB;AACjC,MAAa,uBAAuB;AACpC,MAAa,mBAAmB;AAChC,MAAa,qBAAqB;AAClC,MAAa,oBAAoB;AACjC,MAAa,yBAAyB;AAEtC,MAAM,qBAAqBI,KAAQ,EACjC,QAAQ,sBACT,CAAC;AAEF,MAAM,wBAAwBA,KAAQ,EACpC,cAAc,6CACf,CAAC;AAOF,SAAS,uBACP,MACuD;AACvD,SAAQ,YAAY;EAClB;EACA,WAAW,OAAO;EACnB;;AAGH,MAAM,eAAe,MAKnB;CACA,QAAQ;CACR,aAAa,CAAC,OAAO;CACrB,QAAQ;EAAC;EAAY;EAAS;EAAU;CACxC,SAAS,UAA0B;CACnC,SAAS,SAAyB,KAAK,SAAS;CAChD,cAAc;CACd,MAAM,uBAAuB,QAAQ;CACrC,mBAAmB,eAAe;EAChC,MAAM,SAAS,WAAW;AAC1B,MAAI,WAAW,OAAW,QAAO;AACjC,MAAI,OAAO,WAAW,YAAY,CAAC,OAAO,SAAS,OAAO,IAAI,CAAC,OAAO,UAAU,OAAO,CACrF,OAAM,IAAI,MACR,2EAA2E,OAAO,OAAO,GAC1F;AAEH,SAAO,QAAQ,OAAO;;CAEzB,CAAC;AAEF,MAAM,kBAAkB,MAKtB;CACA,QAAQ;CACR,aAAa,CAAC,UAAU;CACxB,QAAQ;EAAC;EAAY;EAAS;EAAU;CACxC,SAAS,UAA0B;CACnC,SAAS,SAAyB;CAClC,cAAc;CACd,MAAM,uBAAuB,WAAW;CACxC,mBAAmB,eAAe;EAChC,MAAM,SAAS,WAAW;AAC1B,MAAI,WAAW,OAAW,QAAO;AACjC,MAAI,OAAO,WAAW,YAAY,CAAC,OAAO,SAAS,OAAO,IAAI,CAAC,OAAO,UAAU,OAAO,CACrF,OAAM,IAAI,MACR,8EAA8E,OAAO,OAAO,GAC7F;AAEH,SAAO,WAAW,OAAO;;CAE5B,CAAC;AAEF,MAAM,cAAc,MAAM;CACxB,QAAQ;CACR,aAAa,CAAC,MAAM;CACpB,QAAQ;EAAC;EAAY;EAAS;EAAU;CACxC,SAAS,UAA0B;CACnC,SAAS,SAAyB;CACnC,CAAC;AAEF,MAAM,gBAAgB,MAAM;CAC1B,QAAQ;CACR,aAAa,CAAC,QAAQ;CACtB,QAAQ;EAAC;EAAY;EAAS;EAAU;CACxC,SAAS,UAA0B;CACnC,SAAS,SAAyB;CACnC,CAAC;AAEF,MAAM,eAAe,MAAM;CACzB,QAAQ;CACR,aAAa,CAAC,OAAO;CACrB,QAAQ;EAAC;EAAY;EAAS;EAAU;CACxC,SAAS,UAA0B;CACnC,SAAS,SAAyB;CACnC,CAAC;AAEF,MAAM,oBAAoB,MAKxB;CACA,QAAQ;CACR,aAAa,CAAC,YAAY;CAC1B,QAAQ,CAAC,YAAY,QAAQ;CAC7B,SAAS,UAAsB;CAC/B,SAAS,SAAqB;CAC9B,aAAa,UAA2B,MAAM,aAAa;CAC3D,aAAa,SAA0B;AACrC,MAAI,OAAO,SAAS,SAClB,OAAM,IAAI,MAAM,qDAAqD,OAAO,OAAO;EAErF,MAAM,OAAO,IAAI,KAAK,KAAK;AAC3B,MAAI,OAAO,MAAM,KAAK,SAAS,CAAC,CAC9B,OAAM,IAAI,MAAM,gDAAgD,OAAO;AAEzE,SAAO;;CAET,cAAc;CACd,mBAAmB,eAAe;EAChC,MAAM,YAAY,WAAW;AAC7B,MAAI,cAAc,OAChB,QAAO;AAET,MACE,OAAO,cAAc,YACrB,CAAC,OAAO,SAAS,UAAU,IAC3B,CAAC,OAAO,UAAU,UAAU,CAE5B,OAAM,IAAI,MACR,mFAAmF,OAAO,UAAU,GACrG;AAEH,SAAO,aAAa,UAAU;;CAEjC,CAAC;AAEF,MAAM,SAAS,cAAc,CAC1B,IAAI,QAAQ,aAAa,CACzB,IAAI,WAAW,gBAAgB,CAC/B,IAAI,OAAO,YAAY,CACvB,IAAI,SAAS,cAAc,CAC3B,IAAI,QAAQ,aAAa,CACzB,IAAI,aAAa,kBAAkB;AAEtC,MAAa,sBAAsB,OAAO;AAC1C,MAAa,eAAe,OAAO;;;;AC3JnC,SAAgB,QAA2C,GAAS;CAClE,MAAMC,MAA+B,EAAE;AACvC,MAAK,MAAM,CAAC,GAAG,MAAM,OAAO,QAAQ,EAAE,EAAE;AACtC,MAAI,MAAM,UAAa,MAAM,KAAM;AACnC,MAAI,MAAM,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAG;AACxC,MAAI,KAAK;;AAEX,QAAO;;;;;;;;;;;;AAaT,SAAgB,wBAAwB,KAA2C;CACjF,MAAM,uBAAO,IAAI,KAAe;CAChC,MAAMC,UAAsB,EAAE;AAC9B,MAAK,MAAM,OAAO,IAAI,kBAAkB,EAAE;AACxC,MAAI,KAAK,IAAI,IAAI,CAAE;AACnB,OAAK,IAAI,IAAI;AACb,UAAQ,KAAK,IAAI;;AAEnB,QAAO,OAAO,OAAO,QAAQ"}

package/dist/exports/errors.d.mts

@@ -1,5 +1,5 @@
-import "../codec-types-DAQNecFs.mjs";
-import "../query-lane-context-Cch9CN9H.mjs";
-import "../types-TPM2rhCa.mjs";
-import { n as planUnsupported, t as planInvalid } from "../errors-CJKxtKSt.mjs";
+import "../codec-types-DJEaWT36.mjs";
+import "../query-lane-context-BF-wuc0r.mjs";
+import "../types-BWOCTYd8.mjs";
+import { n as planUnsupported, t as planInvalid } from "../errors-BRt5yHo9.mjs";
 export { planInvalid, planUnsupported };

package/dist/exports/expression.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"expression.d.mts","names":[],"sources":["../../src/expression.ts"],"sourcesContent":[],"mappings":";;;;;;KAMY,UAAA;;EAAA,QAAA,EAAA,OAAU;AAQtB,CAAA;;;;;;AAGE;AAGW,KAND,UAMC,CAAA,YANoB,UAMpB,CAAA,GANkC,oBAMlC,GAAA;EAGC,SAAA,UAAA,EARS,GAQT;EAAc,QAAA,EAAA,EAPd,aAOc;CAAG;KAJ1B,iBAKE,CAAA,WAJM,MAIN,CAAA,MAAA,EAAA;EAAiC,SAAA,KAAA,EAAA,OAAA;CAChC,CAAA,EAAA,uBAAA,SAAA,MAAA,EAAA,CAAA,GAAA,QAGA,MALM,EAKN,GAAA,MAAA,GALoB,EAKpB,CALuB,CAKvB,CAAA,SAAA;EAAE,SAAA,MAAA,EAAA,KAAA,EAAA;AAEL,CAAA,GAAA,CANE,cAMQ,CAAA,MAAM,CAAA,CAAC,SAAA,CANkB,CAMlB,CAAA,GALd,CAKc,GAAA,KAAA,GAAA,KAAA,EAUtB,CAAA,MAZQ,EAYI,GAAA,MAAA,CAAA;KAVP,UAaQ,CAAA,CAAA,CAAA,GAbQ,CAaR,SAAA,IAAA,GAAA,IAAA,GAAA,KAAA;;;;;;;;;AAIT,KAPQ,eAOR,CAAA,gBAAA,MAAA,EAAA,iBAAA,OAAA,EAAA,WAJS,MAIT,CAAA,MAAA,EAAA;EAAU,SAAA,KAAA,EAAA,OAAA;AASd,CAAA,CAAA,CAAA,GAXI,UAWQ,CAAA;EAGC,OAAA,EAda,OAcb;EACyB,QAAA,EAfO,QAeP;CAAI,CAAA,GAAA,CAdrC,OAcqC,SAAA,MAdf,EAce,GAdV,EAcU,CAdP,OAcO,CAAA,CAAA,OAAA,CAAA,GAAA,KAAA,CAAA,GAbtC,UAasC,CAb3B,QAa2B,CAAA;;;;;;AAU1C;AAgBA;AAA8C,KA9BlC,eA8BkC,CAAA,eAAA,SAAA,MAAA,EAAA,EAAA,iBAAA,OAAA,EAAA,WA3BjC,MA2BiC,CAAA,MAAA,EAAA;EAOnB,SAAA,KAAA,EAAA,OAAA;CAAkB,CAAA,CAAA,GAjCzC,eAiCyC,CAjCzB,iBAiCyB,CAjCP,EAiCO,EAjCH,MAiCG,CAAA,EAjCM,QAiCN,EAjCgB,EAiChB,CAAA;;;;;AAU7C;;;;AAA8F,iBAjC9E,MAAA,CAiC8E,KAAA,EAAA,OAAA,EAAA,OAAA,CAAA,EAAA,MAAA,CAAA,EAjCpC,aAiCoC;AAAX,UAjBlE,kBAiBkE,CAAA,UAjBrC,UAiBqC,CAAA,CAAA;EAAU,SAAA,MAAA,EAAA,MAAA;;;;;;2BAVlE,kBAAkB;oBACzB,IAAI;qBACH;;;;;;;iBAQL,yBAAyB,kBAAkB,mBAAmB,KAAK,WAAW"}
+{"version":3,"file":"expression.d.mts","names":[],"sources":["../../src/expression.ts"],"sourcesContent":[],"mappings":";;;;;;KAMY,UAAA;;EAAA,QAAA,EAAA,OAAU;AAQtB,CAAA;;;;;;AAGE;AAGW,KAND,UAMC,CAAA,YANoB,UAMpB,CAAA,GANkC,oBAMlC,GAAA;EAGC,SAAA,UAAA,EARS,GAQT;EAAc,QAAA,EAAA,EAPd,aAOc;CAAG;KAJ1B,iBAKE,CAAA,WAJM,MAIN,CAAA,MAAA,EAAA;EAAiC,SAAA,KAAA,EAAA,OAAA;CAChC,CAAA,EAAA,uBAAA,SAAA,MAAA,EAAA,CAAA,GAAA,QAGA,MALM,EAKN,GAAA,MAAA,GALoB,EAKpB,CALuB,CAKvB,CAAA,SAAA;EAAE,SAAA,MAAA,EAAA,KAAA,EAAA;AAEL,CAAA,GAAA,CANE,cAMQ,CAAA,MAAA,CAAM,CAAA,SAAC,CANkB,CAMlB,CAAA,GALd,CAKc,GAAA,KAAA,GAAA,KAAA,EAUtB,CAAA,MAZQ,EAYI,GAAA,MAAA,CAAA;KAVP,UAaQ,CAAA,CAAA,CAAA,GAbQ,CAaR,SAAA,IAAA,GAAA,IAAA,GAAA,KAAA;;;;;;;;;AAIT,KAPQ,eAOR,CAAA,gBAAA,MAAA,EAAA,iBAAA,OAAA,EAAA,WAJS,MAIT,CAAA,MAAA,EAAA;EAAU,SAAA,KAAA,EAAA,OAAA;AASd,CAAA,CAAA,CAAA,GAXI,UAWQ,CAAA;EAGC,OAAA,EAda,OAcb;EACyB,QAAA,EAfO,QAeP;CAAI,CAAA,GAAA,CAdrC,OAcqC,SAAA,MAdf,EAce,GAdV,EAcU,CAdP,OAcO,CAAA,CAAA,OAAA,CAAA,GAAA,KAAA,CAAA,GAbtC,UAasC,CAb3B,QAa2B,CAAA;;;;;;AAU1C;AAgBA;AAA8C,KA9BlC,eA8BkC,CAAA,eAAA,SAAA,MAAA,EAAA,EAAA,iBAAA,OAAA,EAAA,WA3BjC,MA2BiC,CAAA,MAAA,EAAA;EAOnB,SAAA,KAAA,EAAA,OAAA;CAAkB,CAAA,CAAA,GAjCzC,eAiCyC,CAjCzB,iBAiCyB,CAjCP,EAiCO,EAjCH,MAiCG,CAAA,EAjCM,QAiCN,EAjCgB,EAiChB,CAAA;;;;;AAU7C;;;;AAA8F,iBAjC9E,MAAA,CAiC8E,KAAA,EAAA,OAAA,EAAA,OAAA,CAAA,EAAA,MAAA,CAAA,EAjCpC,aAiCoC;AAAX,UAjBlE,kBAiBkE,CAAA,UAjBrC,UAiBqC,CAAA,CAAA;EAAU,SAAA,MAAA,EAAA,MAAA;;;;;;2BAVlE,kBAAkB;oBACzB,IAAI;qBACH;;;;;;;iBAQL,yBAAyB,kBAAkB,mBAAmB,KAAK,WAAW"}

package/dist/exports/query-lane-context.d.mts

@@ -1,3 +1,3 @@
-import "../codec-types-DAQNecFs.mjs";
-import { a as JsonSchemaValidationResult, c as MutationDefaultsOptions, i as JsonSchemaValidationError, l as TypeHelperRegistry, n as ExecutionContext, o as JsonSchemaValidatorRegistry, r as JsonSchemaValidateFn, s as MutationDefaultsOp, t as AppliedMutationDefault } from "../query-lane-context-Cch9CN9H.mjs";
-export { AppliedMutationDefault, ExecutionContext, JsonSchemaValidateFn, JsonSchemaValidationError, JsonSchemaValidationResult, JsonSchemaValidatorRegistry, MutationDefaultsOp, MutationDefaultsOptions, TypeHelperRegistry };
+import "../codec-types-DJEaWT36.mjs";
+import { a as JsonSchemaValidationError, c as MutationDefaultsOp, i as JsonSchemaValidateFn, l as MutationDefaultsOptions, n as CodecDescriptorRegistry, o as JsonSchemaValidationResult, r as ExecutionContext, s as JsonSchemaValidatorRegistry, t as AppliedMutationDefault, u as TypeHelperRegistry } from "../query-lane-context-BF-wuc0r.mjs";
+export { AppliedMutationDefault, CodecDescriptorRegistry, ExecutionContext, JsonSchemaValidateFn, JsonSchemaValidationError, JsonSchemaValidationResult, JsonSchemaValidatorRegistry, MutationDefaultsOp, MutationDefaultsOptions, TypeHelperRegistry };

package/dist/exports/types.d.mts

@@ -1,5 +1,5 @@
-import "../codec-types-DAQNecFs.mjs";
-import "../query-lane-context-Cch9CN9H.mjs";
-import { C as TableKey, S as TableDef, T as TablesOf, _ as RawTemplateFactory, a as ComputeColumnJsType, b as SqlBuilderOptions, c as META, d as ModelMetadata, f as OperationTypeSignature, g as RawFunctionOptions, h as RawFactory, i as ColumnsOf, l as Meta, m as OperationsForTypeId, n as BuildParamsMap, o as Expr, p as OperationTypes, r as CodecTypes, s as HasIncludeManyCapabilities, t as BuildOptions, u as ModelDef, v as RawTemplateOptions, w as TableMetadata, x as SqlPlan, y as RuntimeError } from "../types-TPM2rhCa.mjs";
+import "../codec-types-DJEaWT36.mjs";
+import "../query-lane-context-BF-wuc0r.mjs";
+import { C as TableKey, S as TableDef, T as TablesOf, _ as RawTemplateFactory, a as ComputeColumnJsType, b as SqlBuilderOptions, c as META, d as ModelMetadata, f as OperationTypeSignature, g as RawFunctionOptions, h as RawFactory, i as ColumnsOf, l as Meta, m as OperationsForTypeId, n as BuildParamsMap, o as Expr, p as OperationTypes, r as CodecTypes, s as HasIncludeManyCapabilities, t as BuildOptions, u as ModelDef, v as RawTemplateOptions, w as TableMetadata, x as SqlPlan, y as RuntimeError } from "../types-BWOCTYd8.mjs";
 import { n as SqlOrmPlan, t as RuntimeScope } from "../types-BUlUvdIU.mjs";
 export { BuildOptions, BuildParamsMap, CodecTypes, ColumnsOf, ComputeColumnJsType, Expr, HasIncludeManyCapabilities, META, Meta, ModelDef, ModelMetadata, OperationTypeSignature, OperationTypes, OperationsForTypeId, RawFactory, RawFunctionOptions, RawTemplateFactory, RawTemplateOptions, RuntimeError, RuntimeScope, SqlBuilderOptions, SqlOrmPlan, SqlPlan, TableDef, TableKey, TableMetadata, TablesOf };

package/dist/index.d.mts

@@ -1,13 +1,13 @@
-import { _ as defineCodecs, a as CodecInput, c as CodecRegistry, d as ExtractCodecTypes, f as ExtractDataTypes, g as createCodecRegistry, h as codec, i as CodecId, l as CodecTrait, m as SqlColumnRef, n as CodecCallContext, o as CodecMeta, p as SqlCodecCallContext, r as CodecDefBuilder, s as CodecParamsDescriptor, t as Codec, u as CodecTraits } from "./codec-types-DAQNecFs.mjs";
+import { _ as codec, a as CodecInput, c as CodecRegistry, d as ContractCodecRegistry, f as ExtractCodecTypes, g as SqlColumnRef, h as SqlCodecInstanceContext, i as CodecId, l as CodecTrait, m as SqlCodecCallContext, n as CodecCallContext, o as CodecMeta, p as ExtractDataTypes, r as CodecDefBuilder, s as CodecParamsDescriptor, t as Codec, u as CodecTraits, v as createCodecRegistry, y as defineCodecs } from "./codec-types-DJEaWT36.mjs";
 import { $ as ToWhereExpr, A as InsertOnConflict, B as NotExpr, C as ExistsExpr, D as ExpressionSource, E as ExpressionRewriter, F as JsonObjectEntry, G as ParamRef, H as OperationExpr, I as JsonObjectExpr, J as SelectAst, K as ProjectionExpr, L as ListExpression, M as JoinAst, N as JoinOnExpr, O as IdentifierRef, P as JsonArrayAggExpr, Q as TableSource, R as LiteralExpr, S as EqColJoinOn, T as ExpressionFolder, U as OrExpr, V as NullCheckExpr, W as OrderByItem, X as SubqueryExpr, Y as SelectAstOptions, Z as TableRef, _ as DeleteAst, a as AndExpr, at as whereExprKinds, b as DoNothingConflictAction, c as AnyInsertOnConflictAction, d as AnyQueryAst, et as UpdateAst, f as AstRewriter, g as DefaultValueExpr, h as ColumnRef, i as AggregateOpFn, it as queryAstKinds, j as InsertValue, k as InsertAst, l as AnyInsertValue, m as BinaryOp, n as AggregateExpr, nt as isQueryAst, o as AnyExpression, p as BinaryExpr, q as ProjectionItem, r as AggregateFn, rt as isWhereExpr, s as AnyFromSource, t as AggregateCountFn, tt as WhereArg, u as AnyOperationArg, v as DerivedTableSource, w as ExprVisitor, x as DoUpdateSetConflictAction, y as Direction, z as LoweredStatement } from "./types-B4dL4lc3.mjs";
 import { Adapter, AdapterProfile, AdapterTarget, Lowerer, LowererContext, MarkerStatement, SQL_CHAR_CODEC_ID, SQL_FLOAT_CODEC_ID, SQL_INT_CODEC_ID, SQL_TEXT_CODEC_ID, SQL_TIMESTAMP_CODEC_ID, SQL_VARCHAR_CODEC_ID, SqlCodecTypes, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, SqlExplainResult, SqlQueryResult, SqlQueryable, SqlTransaction, collectOrderedParamRefs, compact, sqlCodecDefinitions, sqlDataTypes } from "./exports/ast.mjs";
-import { a as JsonSchemaValidationResult, c as MutationDefaultsOptions, i as JsonSchemaValidationError, l as TypeHelperRegistry, n as ExecutionContext, o as JsonSchemaValidatorRegistry, r as JsonSchemaValidateFn, s as MutationDefaultsOp, t as AppliedMutationDefault } from "./query-lane-context-Cch9CN9H.mjs";
+import { a as JsonSchemaValidationError, c as MutationDefaultsOp, i as JsonSchemaValidateFn, l as MutationDefaultsOptions, n as CodecDescriptorRegistry, o as JsonSchemaValidationResult, r as ExecutionContext, s as JsonSchemaValidatorRegistry, t as AppliedMutationDefault, u as TypeHelperRegistry } from "./query-lane-context-BF-wuc0r.mjs";
 import { t as SqlExecutionPlan } from "./sql-execution-plan-Dgx7BGin.mjs";
-import { C as TableKey, S as TableDef, T as TablesOf, _ as RawTemplateFactory, a as ComputeColumnJsType, b as SqlBuilderOptions, c as META, d as ModelMetadata, f as OperationTypeSignature, g as RawFunctionOptions, h as RawFactory, i as ColumnsOf, l as Meta, m as OperationsForTypeId, n as BuildParamsMap, o as Expr, p as OperationTypes, r as CodecTypes, s as HasIncludeManyCapabilities, t as BuildOptions, u as ModelDef, v as RawTemplateOptions, w as TableMetadata, x as SqlPlan, y as RuntimeError } from "./types-TPM2rhCa.mjs";
-import { n as planUnsupported, t as planInvalid } from "./errors-CJKxtKSt.mjs";
+import { C as TableKey, S as TableDef, T as TablesOf, _ as RawTemplateFactory, a as ComputeColumnJsType, b as SqlBuilderOptions, c as META, d as ModelMetadata, f as OperationTypeSignature, g as RawFunctionOptions, h as RawFactory, i as ColumnsOf, l as Meta, m as OperationsForTypeId, n as BuildParamsMap, o as Expr, p as OperationTypes, r as CodecTypes, s as HasIncludeManyCapabilities, t as BuildOptions, u as ModelDef, v as RawTemplateOptions, w as TableMetadata, x as SqlPlan, y as RuntimeError } from "./types-BWOCTYd8.mjs";
+import { n as planUnsupported, t as planInvalid } from "./errors-BRt5yHo9.mjs";
 import { BuildOperationSpec, CodecExpression, Expression, ScopeField, TraitExpression, buildOperation, toExpr } from "./exports/expression.mjs";
 import { t as SqlQueryPlan } from "./plan-C7SiEWkN.mjs";
 import "./exports/plan.mjs";
 import "./exports/query-lane-context.mjs";
 import { n as SqlOrmPlan, t as RuntimeScope } from "./types-BUlUvdIU.mjs";
-export { Adapter, AdapterProfile, AdapterTarget, AggregateCountFn, AggregateExpr, AggregateFn, AggregateOpFn, AndExpr, AnyExpression, AnyFromSource, AnyInsertOnConflictAction, AnyInsertValue, AnyOperationArg, AnyQueryAst, AppliedMutationDefault, AstRewriter, BinaryExpr, BinaryOp, BuildOperationSpec, BuildOptions, BuildParamsMap, Codec, CodecCallContext, CodecDefBuilder, CodecExpression, CodecId, CodecInput, CodecMeta, CodecParamsDescriptor, CodecRegistry, CodecTrait, CodecTraits, CodecTypes, ColumnRef, ColumnsOf, ComputeColumnJsType, DefaultValueExpr, DeleteAst, DerivedTableSource, Direction, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExecutionContext, ExistsExpr, Expr, ExprVisitor, Expression, ExpressionFolder, ExpressionRewriter, ExpressionSource, ExtractCodecTypes, ExtractDataTypes, HasIncludeManyCapabilities, IdentifierRef, InsertAst, InsertOnConflict, InsertValue, JoinAst, JoinOnExpr, JsonArrayAggExpr, JsonObjectEntry, JsonObjectExpr, JsonSchemaValidateFn, JsonSchemaValidationError, JsonSchemaValidationResult, JsonSchemaValidatorRegistry, ListExpression, LiteralExpr, LoweredStatement, Lowerer, LowererContext, META, MarkerStatement, Meta, ModelDef, ModelMetadata, MutationDefaultsOp, MutationDefaultsOptions, NotExpr, NullCheckExpr, OperationExpr, OperationTypeSignature, OperationTypes, OperationsForTypeId, OrExpr, OrderByItem, ParamRef, ProjectionExpr, ProjectionItem, RawFactory, RawFunctionOptions, RawTemplateFactory, RawTemplateOptions, RuntimeError, 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, SqlCodecCallContext, SqlCodecTypes, SqlColumnRef, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, SqlExecutionPlan, SqlExplainResult, SqlOrmPlan, SqlPlan, SqlQueryPlan, SqlQueryResult, SqlQueryable, SqlTransaction, SubqueryExpr, TableDef, TableKey, TableMetadata, TableRef, TableSource, TablesOf, ToWhereExpr, TraitExpression, TypeHelperRegistry, UpdateAst, WhereArg, buildOperation, codec, collectOrderedParamRefs, compact, createCodecRegistry, defineCodecs, isQueryAst, isWhereExpr, planInvalid, planUnsupported, queryAstKinds, sqlCodecDefinitions, sqlDataTypes, toExpr, whereExprKinds };
+export { Adapter, AdapterProfile, AdapterTarget, AggregateCountFn, AggregateExpr, AggregateFn, AggregateOpFn, AndExpr, AnyExpression, AnyFromSource, AnyInsertOnConflictAction, AnyInsertValue, AnyOperationArg, AnyQueryAst, AppliedMutationDefault, AstRewriter, BinaryExpr, BinaryOp, BuildOperationSpec, BuildOptions, BuildParamsMap, Codec, CodecCallContext, CodecDefBuilder, CodecDescriptorRegistry, CodecExpression, CodecId, CodecInput, CodecMeta, CodecParamsDescriptor, CodecRegistry, CodecTrait, CodecTraits, CodecTypes, ColumnRef, ColumnsOf, ComputeColumnJsType, ContractCodecRegistry, DefaultValueExpr, DeleteAst, DerivedTableSource, Direction, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExecutionContext, ExistsExpr, Expr, ExprVisitor, Expression, ExpressionFolder, ExpressionRewriter, ExpressionSource, ExtractCodecTypes, ExtractDataTypes, HasIncludeManyCapabilities, IdentifierRef, InsertAst, InsertOnConflict, InsertValue, JoinAst, JoinOnExpr, JsonArrayAggExpr, JsonObjectEntry, JsonObjectExpr, JsonSchemaValidateFn, JsonSchemaValidationError, JsonSchemaValidationResult, JsonSchemaValidatorRegistry, ListExpression, LiteralExpr, LoweredStatement, Lowerer, LowererContext, META, MarkerStatement, Meta, ModelDef, ModelMetadata, MutationDefaultsOp, MutationDefaultsOptions, NotExpr, NullCheckExpr, OperationExpr, OperationTypeSignature, OperationTypes, OperationsForTypeId, OrExpr, OrderByItem, ParamRef, ProjectionExpr, ProjectionItem, RawFactory, RawFunctionOptions, RawTemplateFactory, RawTemplateOptions, RuntimeError, 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, SqlCodecCallContext, SqlCodecInstanceContext, SqlCodecTypes, SqlColumnRef, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, SqlExecutionPlan, SqlExplainResult, SqlOrmPlan, SqlPlan, SqlQueryPlan, SqlQueryResult, SqlQueryable, SqlTransaction, SubqueryExpr, TableDef, TableKey, TableMetadata, TableRef, TableSource, TablesOf, ToWhereExpr, TraitExpression, TypeHelperRegistry, UpdateAst, WhereArg, buildOperation, codec, collectOrderedParamRefs, compact, createCodecRegistry, defineCodecs, isQueryAst, isWhereExpr, planInvalid, planUnsupported, queryAstKinds, sqlCodecDefinitions, sqlDataTypes, toExpr, whereExprKinds };

package/dist/{query-lane-context-Cch9CN9H.d.mts → query-lane-context-BF-wuc0r.d.mts}

@@ -1,10 +1,37 @@
-import { c as CodecRegistry } from "./codec-types-DAQNecFs.mjs";
+import { c as CodecRegistry, d as ContractCodecRegistry } from "./codec-types-DJEaWT36.mjs";
 import { Contract } from "@prisma-next/contract/types";
+import { CodecDescriptor } from "@prisma-next/framework-components/codec";
 import { SqlOperationRegistry } from "@prisma-next/sql-operations";
 import { SqlStorage } from "@prisma-next/sql-contract/types";
 
 //#region src/query-lane-context.d.ts
 
+/**
+ * Codec-id-keyed accessor for descriptor metadata. The unified read API
+ * for codec-id-keyed metadata (`traits`, `targetTypes`, `meta`) — non-
+ * branching for parameterized vs. non-parameterized codecs since every
+ * codec ships as (or is synthesized into) a `CodecDescriptor`.
+ *
+ * See codec-registry-unification spec § Decision and AC-3.
+ */
+interface CodecDescriptorRegistry {
+  /**
+   * Descriptors carry distinct param shapes per codec id; the registry is
+   * heterogeneous and the consumer narrows per codec.
+   */
+  descriptorFor(codecId: string): CodecDescriptor<unknown> | undefined;
+  /**
+   * All registered descriptors. Used by `validateCodecRegistryCompleteness`
+   * and other startup-time consumers that enumerate descriptors.
+   */
+  values(): IterableIterator<CodecDescriptor<unknown>>;
+  /**
+   * Descriptors indexed by `targetTypes[i]` (each scalar type the codec
+   * advertises). Multiple descriptors may map to the same scalar type;
+   * ordering reflects registration order.
+   */
+  byTargetType(targetType: string): readonly CodecDescriptor<unknown>[];
+}
 /**
  * Registry of initialized type helpers from storage.types.
  * Each key is a type name from storage.types, and the value is:
@@ -66,7 +93,30 @@ type MutationDefaultsOptions = {
  */
 interface ExecutionContext<TContract extends Contract<SqlStorage> = Contract<SqlStorage>> {
   readonly contract: TContract;
+  /**
+   * Codec registry indexed by codec id. Source of shared, non-parameterized
+   * codec instances; also used as the codec-id-only fallback at the
+   * `forCodecId` boundary while AC-5's `ParamRef.refs` plumbing remains
+   * deferred (TML-2357).
+   */
   readonly codecs: CodecRegistry;
+  /**
+   * Contract-bound codec registry built once at context-construction time
+   * by walking the contract's columns and resolving each to its per-
+   * instance codec (parameterized columns) or the shared codec from the
+   * legacy registry (non-parameterized columns). The dispatch path
+   * (`encodeParam` / `decodeRow`) consults `forColumn(table, column)`
+   * when the call site has the ref, falling back to `forCodecId(codecId)`
+   * otherwise. Codec-registry-unification spec § AC-4.
+   */
+  readonly contractCodecs: ContractCodecRegistry;
+  /**
+   * Codec-id-keyed descriptor map. Single source of truth for codec-id-
+   * keyed metadata (`traits`, `targetTypes`, `meta`) — every codec,
+   * parameterized or not, resolves through this map without branching.
+   * Codec-registry-unification spec § AC-3.
+   */
+  readonly codecDescriptors: CodecDescriptorRegistry;
   readonly queryOperations: SqlOperationRegistry;
   /**
    * Type helper registry for parameterized types.
@@ -85,5 +135,5 @@ interface ExecutionContext<TContract extends Contract<SqlStorage> = Contract<Sql
   applyMutationDefaults(options: MutationDefaultsOptions): ReadonlyArray<AppliedMutationDefault>;
 }
 //#endregion
-export { JsonSchemaValidationResult as a, MutationDefaultsOptions as c, JsonSchemaValidationError as i, TypeHelperRegistry as l, ExecutionContext as n, JsonSchemaValidatorRegistry as o, JsonSchemaValidateFn as r, MutationDefaultsOp as s, AppliedMutationDefault as t };
-//# sourceMappingURL=query-lane-context-Cch9CN9H.d.mts.map
+export { JsonSchemaValidationError as a, MutationDefaultsOp as c, JsonSchemaValidateFn as i, MutationDefaultsOptions as l, CodecDescriptorRegistry as n, JsonSchemaValidationResult as o, ExecutionContext as r, JsonSchemaValidatorRegistry as s, AppliedMutationDefault as t, TypeHelperRegistry as u };
+//# sourceMappingURL=query-lane-context-BF-wuc0r.d.mts.map

package/dist/query-lane-context-BF-wuc0r.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-lane-context-BF-wuc0r.d.mts","names":[],"sources":["../src/query-lane-context.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;AAcA;;;;;;AAyBY,UAzBK,uBAAA,CAyBgB;EAShB;AASjB;AAQA;AASA;EAOY,aAAA,CAAA,OAAkB,EAAA,MAAA,CAAA,EA9DI,eA8DJ,CAAA,OAAA,CAAA,GAAA,SAAA;EAElB;AAKZ;AAaA;;EAAoD,MAAA,EAAA,EA7ExC,gBA6EwC,CA7EvB,eA6EuB,CAAA,OAAA,CAAA,CAAA;EAAgC;;;;;EAyBvD,YAAA,CAAA,UAAA,EAAA,MAAA,CAAA,EAAA,SAhGgB,eAgGhB,CAAA,OAAA,CAAA,EAAA;;;;;;;;KAvFjB,kBAAA,GAAqB;;;;UAShB,yBAAA;;;;;;;;KASL,0BAAA;;;;mBAEkC,cAAc;;;;;;KAMhD,oBAAA,uBAA2C;;;;;;;;UAStC,2BAAA;;oBAEG;;;;KAKR,kBAAA;KAEA,sBAAA;;;;KAKA,uBAAA;eACG;;mBAEI;;;;;;;;;UAUF,mCAAmC,SAAS,cAAc,SAAS;qBAC/D;;;;;;;mBAOF;;;;;;;;;;2BAUQ;;;;;;;6BAOE;4BACD;;;;;kBAKV;;;;;kCAKgB;;;;;iCAKD,0BAA0B,cAAc"}

package/dist/{types-TPM2rhCa.d.mts → types-BWOCTYd8.d.mts}

@@ -1,5 +1,5 @@
 import { G as ParamRef, h as ColumnRef } from "./types-B4dL4lc3.mjs";
-import { n as ExecutionContext } from "./query-lane-context-Cch9CN9H.mjs";
+import { r as ExecutionContext } from "./query-lane-context-BF-wuc0r.mjs";
 import { t as SqlExecutionPlan } from "./sql-execution-plan-Dgx7BGin.mjs";
 import { Contract } from "@prisma-next/contract/types";
 import { ParamSpec } from "@prisma-next/operations";
@@ -190,4 +190,4 @@ interface SqlBuilderOptions<TContract extends Contract<SqlStorage> = Contract<Sq
 }
 //#endregion
 export { TableKey as C, TableDef as S, TablesOf as T, RawTemplateFactory as _, ComputeColumnJsType as a, SqlBuilderOptions as b, META as c, ModelMetadata as d, OperationTypeSignature as f, RawFunctionOptions as g, RawFactory as h, ColumnsOf as i, Meta as l, OperationsForTypeId as m, BuildParamsMap as n, Expr as o, OperationTypes as p, CodecTypes as r, HasIncludeManyCapabilities as s, BuildOptions as t, ModelDef as u, RawTemplateOptions as v, TableMetadata as w, SqlPlan as x, RuntimeError as y };
-//# sourceMappingURL=types-TPM2rhCa.d.mts.map
+//# sourceMappingURL=types-BWOCTYd8.d.mts.map

package/dist/{types-TPM2rhCa.d.mts.map → types-BWOCTYd8.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"types-TPM2rhCa.d.mts","names":[],"sources":["../src/types.ts"],"sourcesContent":[],"mappings":";;;;;;;;;KAYY,IAAA,GAAO,YAAY;;AAA/B;AAAwC;;KAMnC,mBACe,CAAA,kBAAA,QAAA,CAAS,UAAT,CAAA,EAAA,kBAAA,MAAA,CAAA,GAEhB,SAFgB,CAAA,QAAA,CAAA,SAAA,KAAA,gBAEiC,MAFjC,CAAA,MAAA,EAAA,OAAA,CAAA,GAAA,QAEhB,MAEc,MAFd,GAAA,MAAA,GAEgC,MAFhC,CAEuC,CAFvC,CAAA,SAAA;EAAiD,SAAA,OAAA,EAAA;IAEnC,SAAA,KAAA,EAC0B,SAD1B;EAAkB,CAAA;AAAO,CAAA,GAGjC,CAHiC,GAAA,KAAA,EACC,CAAA,MAIhC,MAJgC,GAAA,MAAA,CAAA,GAAA,KAAA;;;;AAI1B;KAOb,oBACwB,CAAA,kBAAT,QAAS,CAAA,UAAA,CAAA,EAAA,kBAAA,MAAA,EAAA,mBAAA,MAAA,CAAA,GAGzB,mBAHyB,CAGL,SAHK,EAGM,SAHN,CAAA,SAAA,KAAA,mBAAA,MAAA,GAIzB,SAJyB,CAAA,QAAA,CAAA,SAAA,KAAA,gBAIwB,MAJxB,CAAA,MAAA,EAAA,OAAA,CAAA,GAKvB,SALuB,GAAA,MAKL,MALK,SAAA,KAAA,cAAA,MAAA,GAMrB,MANqB,CAMd,IANc,CAAA,SAAA;EAAT,SAAA,OAAA,EAAA;IAGI,SAAA,MAAA,EAAA,KAAA,gBAI4C,MAJ5C,CAAA,MAAA,EAAA,OAAA,CAAA;EAAW,CAAA;CAA/B,GAAA,QACA,MAMoB,MANpB,GAAA,MAAA,GAMsC,MANtC,CAM6C,CAN7C,CAAA,SAAA;EAAiD,SAAA,MAAA,EAM0B,UAN1B;AAC/C,CAAA,GAMU,CANV,GAAA,KAAA,EAAkB,CAAA,MAQN,MARM,GAAA,MAAA,CAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA;KAcnB,mBAbG,CAAA,mBAca,aAdb,EAAA,qBAea,MAfb,CAAA,MAAA,EAAA;EAAO,SAAA,MAAA,EAAA,OAAA;CACqD,CAAA,CAAA,GAehE,UAfgE,SAAA;EAG5C,OAAA,EAAA,KAAA,iBAAA,MAAA;CAAkB,GAAA,OAAA,SAAA,MAahB,YAbgB,GAcpC,YAdoC,CAczB,OAdyB,CAAA,SAAA;EAAO,SAAA,MAAA,EAAA,KAAA,EAAA;CAA8B,GAevE,UAfuE,SAAA;EAC/D,QAAA,EAAA,IAAA;CAEE,GAaR,CAbQ,GAAA,IAAA,GAAA,CAAA,GAAA,OAAA,GAAA,OAAA,GAAA,OAAA;;AAAM;;;AASpB,KAcQ,sBAAA,GAdR;EACsB,SAAA,IAAA,EAcT,aAdS,CAcK,SAdL,CAAA;EACpB,SAAA,OAAA,EAcc,SAdd;EAAW,SAAA,QAAA,EAeI,eAfJ;EACT,SAAA,YAAA,CAAA,EAekB,aAflB,CAAA,MAAA,CAAA;CACE;;AAUV;;;;;;;AAwBA;;;;;AAcA;AAYA;;;AAGuB,KA7BX,cAAA,GAAiB,MA6BN,CAAA,MAAA,EA7BqB,MA6BrB,CAAA,MAAA,EA7BoC,sBA6BpC,CAAA,CAAA;;;;;;;;AAMvB;;;;;AAMwB,KA3BZ,UAAA,GAAa,MA2BD,CAAA,MAAA,EAAA;EAAW,SAAA,MAAA,EAAA,OAAA;CAA/B,CAAA;;;;;;;;;;;AAMwC,KArBhC,mBAqBgC,CAAA,eAAA,MAAA,EAAA,mBAnBvB,cAmBuB,CAAA,GAlBxC,UAkBwC,SAlBrB,MAkBqB,CAAA,MAAA,EAAA,KAAA,CAAA,GAjBxC,MAiBwC,CAAA,MAAA,EAAA,KAAA,CAAA,GAhBxC,MAgBwC,SAAA,MAhBnB,UAgBmB,GAftC,UAesC,CAf3B,MAe2B,CAAA,GAdtC,MAcsC,CAAA,MAAA,EAAA,KAAA,CAAA;AAAhC,KAZA,mBAYA,CAAA,kBAXQ,QAWR,CAXiB,UAWjB,CAAA,EAAA,kBAAA,MAAA,EAAA,mBAAA,MAAA,EAAA,mBARS,aAQT,EAAA,qBAPS,MAOT,CAAA,MAAA,EAAA;EAEkD,SAAA,MAAA,EAAA,OAAA;CAAxB,CAAA,CAAA,GARlC,mBAQkC,CARd,SAQc,EARH,SAQG,CAAA,SAAA,KAAA,UAAA,GAAA,CAPjC,SAOiC,CAAA,SAAA,CAAA,KAAA,CAAA,GANhC,mBAMgC,CANZ,UAMY,EANA,YAMA,CAAA,GAAA,SAAA,SAAA,MAAA,GAJ9B,oBAI8B,CAJT,SAIS,EAJE,SAIF,EAJa,UAIb,CAAA,SAAA,KAAA,UAAA,GAAA,CAH3B,SAG2B,CAAA,SAAA,CAAA,KAAA,CAAA,GAF1B,mBAE0B,CAFN,UAEM,EAFM,YAEN,CAAA,GAAA,SAAA,SAAA,MAAA,GAAA,SAAA,SAAA,MAAA,uBAAA,CAAwB,SAAxB,CAAA,GAAA,SAAA,SAAA,MACE,uBADF,CAC0B,SAD1B,CAAA,CACqC,SADrC,CAAA,GAEpB,uBAFoB,CAEI,SAFJ,CAAA,CAEe,SAFf,CAAA,CAE0B,SAF1B,CAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA;;;;;;AAEe,KAazC,0BAbyC,CAAA,kBAaI,QAbJ,CAaa,UAbb,CAAA,CAAA,GAa4B,SAb5B,SAAA;EAAW,YAAA,EAAA,KAAA,EAAA;EAAS,MAAA,EAAA,KAAA,EAAA;AAazE,CAAA,GAAY,CAAA,SAAA,MAAA,GAAA,CAAA,SAKI,MALsB,CAAA,MAAA,EAKP,MALO,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAAA,CAAA,SAAA,QAMZ,CANwC,GAAA,KAAA,WAAA,EAAT,GAAA,UAAA,SAAA;EAAwB,OAAA,EAAA,IAAA;EAKlD,OAAA,EAAA,IAAA;CAAf,GAAA,IAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA;;;AAehB;AAKA;AAMA;AAAyD,KAX7C,OAW6C,CAAA,MAAA,OAAA,CAAA,GAXpB,gBAWoB,CAXH,GAWG,CAAA;;;;AAQpC,KAdT,QAc4B,CAAA,SAAA,CAAA,GAdN,SAcM,SAAA;EAK5B,OAAI,EAAA;IAAc,MAAA,EAAA,KAAA,EAAA;EAAoB,CAAA;CAAS,GAAA,CAAA,GAAA,KAAA;AAAI,KAbnD,QAamD,CAAA,SAAA,CAAA,GAb7B,OAa6B,CAAA,MAbf,QAae,CAbN,SAaM,CAAA,EAAA,MAAA,CAAA;AAK/D;AAOA;AAQA;AACiC,cA1BZ,IA0BY,EAAA,OAAA,MAAA;;;;AAOhB,KA5BL,IA4Ba,CAAA,YAAA;EACQ,CA7BH,IAAA,CA6BG,EAAA,OAAA;CAAd,CAAA,GA7B+B,GA6B/B,CAAA,OA7BwC,IA6BxC,CAAA;;;AAGnB;AAEqB,UA7BJ,aA6BI,CAAA,aAAA,MAAA,CAAA,CAAA;EAAT,IAAA,EA5BJ,IA4BI;;;;;AAER,UAxBa,aAwBb,CAAA,aAAA,MAAA,CAAA,CAAA;EAAoB,IAAA,EAvBhB,IAuBgB;;AAKxB;AAIA;AAIA;AAKA;AAC0B,UAnCT,QAmCS,CAAA,aAAA,MAAA,CAAA,CAAA;EAAqB,UAlCnC,IAAA,CAkCmC,EAlC5B,aAkC4B,CAlCd,IAkCc,CAAA;;;;;AAI/C;AASiB,UAxCA,QAwCc,CAAA,aAAA,MAAA,CAAA,CAAA;EAId,UA3CL,IAAA,CA2CiB,EA3CV,aA4CC,CA5Ca,IA4Cb,CAAA;AAGpB;AAA8D,KA5ClD,SA4CkD,CAAA,SAAA,EAAA,UA1ClD,QA0CkD,CA1CzC,SA0CyC,CAAA,CAAA,GAzC1D,CAyC0D,SAAA,MAzC1C,QAyC0C,CAzCjC,SAyCiC,CAAA,GAxC1D,QAwC0D,CAxCjD,SAwCiD,CAAA,CAxCtC,CAwCsC,CAAA,SAAA;EAAT,OAAA,EAAA,KAAA,EAAA;CAAgC,GAAA,CAAA,GAAA,KAAA,GAAA,KAAA;AAAT,UAnC3D,kBAAA,CAmC2D;EACvC,SAAA,WAAA,CAAA,EAnCZ,MAmCY,CAAA,MAAA,EAAA,OAAA,CAAA;;AAAD,UAhCnB,kBAAA,SAA2B,kBAgCR,CAAA;mBA/BjB;;KAGP,kBAAA,aACD,wDAEN;UAEY,UAAA,SAAmB;0BACV,qBAAqB;gBAC/B,qBAAqB;;UAGpB,YAAA,SAAqB;;;;qBAIjB;;;;UAKJ,cAAA;;;UAIA,YAAA;oBACG;;UAGH,oCAAoC,SAAS,cAAc,SAAS;oBACjE,iBAAiB"}
+{"version":3,"file":"types-BWOCTYd8.d.mts","names":[],"sources":["../src/types.ts"],"sourcesContent":[],"mappings":";;;;;;;;;KAYY,IAAA,GAAO,YAAY;;AAA/B;AAAwC;;KAMnC,mBACe,CAAA,kBAAA,QAAA,CAAS,UAAT,CAAA,EAAA,kBAAA,MAAA,CAAA,GAEhB,SAFgB,CAAA,QAAA,CAAA,SAAA,KAAA,gBAEiC,MAFjC,CAAA,MAAA,EAAA,OAAA,CAAA,GAAA,QAEhB,MAEc,MAFd,GAAA,MAAA,GAEgC,MAFhC,CAEuC,CAFvC,CAAA,SAAA;EAAiD,SAAA,OAAA,EAAA;IAEnC,SAAA,KAAA,EAC0B,SAD1B;EAAkB,CAAA;AAAO,CAAA,GAGjC,CAHiC,GAAA,KAAA,EACC,CAAA,MAIhC,MAJgC,GAAA,MAAA,CAAA,GAAA,KAAA;;;;AAI1B;KAOb,oBACwB,CAAA,kBAAT,QAAS,CAAA,UAAA,CAAA,EAAA,kBAAA,MAAA,EAAA,mBAAA,MAAA,CAAA,GAGzB,mBAHyB,CAGL,SAHK,EAGM,SAHN,CAAA,SAAA,KAAA,mBAAA,MAAA,GAIzB,SAJyB,CAAA,QAAA,CAAA,SAAA,KAAA,gBAIwB,MAJxB,CAAA,MAAA,EAAA,OAAA,CAAA,GAKvB,SALuB,GAAA,MAKL,MALK,SAAA,KAAA,cAAA,MAAA,GAMrB,MANqB,CAMd,IANc,CAAA,SAAA;EAAT,SAAA,OAAA,EAAA;IAGI,SAAA,MAAA,EAAA,KAAA,gBAI4C,MAJ5C,CAAA,MAAA,EAAA,OAAA,CAAA;EAAW,CAAA;CAA/B,GAAA,QACA,MAMoB,MANpB,GAAA,MAAA,GAMsC,MANtC,CAM6C,CAN7C,CAAA,SAAA;EAAiD,SAAA,MAAA,EAM0B,UAN1B;AAC/C,CAAA,GAMU,CANV,GAAA,KAAA,EAAkB,CAAA,MAQN,MARM,GAAA,MAAA,CAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA;KAcnB,mBAbG,CAAA,mBAca,aAdb,EAAA,qBAea,MAfb,CAAA,MAAA,EAAA;EAAO,SAAA,MAAA,EAAA,OAAA;CACqD,CAAA,CAAA,GAehE,UAfgE,SAAA;EAG5C,OAAA,EAAA,KAAA,iBAAA,MAAA;CAAkB,GAAA,OAAA,SAAA,MAahB,YAbgB,GAcpC,YAdoC,CAczB,OAdyB,CAAA,SAAA;EAAO,SAAA,MAAA,EAAA,KAAA,EAAA;CAA8B,GAevE,UAfuE,SAAA;EAC/D,QAAA,EAAA,IAAA;CAEE,GAaR,CAbQ,GAAA,IAAA,GAAA,CAAA,GAAA,OAAA,GAAA,OAAA,GAAA,OAAA;;AAAM;;;AASpB,KAcQ,sBAAA,GAdR;EACsB,SAAA,IAAA,EAcT,aAdS,CAcK,SAdL,CAAA;EACpB,SAAA,OAAA,EAcc,SAdd;EAAW,SAAA,QAAA,EAeI,eAfJ;EACT,SAAA,YAAA,CAAA,EAekB,aAflB,CAAA,MAAA,CAAA;CACE;;AAUV;;;;;;;AAwBA;;;;;AAcA;AAYA;;;AAGuB,KA7BX,cAAA,GAAiB,MA6BN,CAAA,MAAA,EA7BqB,MA6BrB,CAAA,MAAA,EA7BoC,sBA6BpC,CAAA,CAAA;;;;;;;;AAMvB;;;;;AAMwB,KA3BZ,UAAA,GAAa,MA2BD,CAAA,MAAA,EAAA;EAAW,SAAA,MAAA,EAAA,OAAA;CAA/B,CAAA;;;;;;;;;;;AAMwC,KArBhC,mBAqBgC,CAAA,eAAA,MAAA,EAAA,mBAnBvB,cAmBuB,CAAA,GAlBxC,UAkBwC,SAlBrB,MAkBqB,CAAA,MAAA,EAAA,KAAA,CAAA,GAjBxC,MAiBwC,CAAA,MAAA,EAAA,KAAA,CAAA,GAhBxC,MAgBwC,SAAA,MAhBnB,UAgBmB,GAftC,UAesC,CAf3B,MAe2B,CAAA,GAdtC,MAcsC,CAAA,MAAA,EAAA,KAAA,CAAA;AAAhC,KAZA,mBAYA,CAAA,kBAXQ,QAWR,CAXiB,UAWjB,CAAA,EAAA,kBAAA,MAAA,EAAA,mBAAA,MAAA,EAAA,mBARS,aAQT,EAAA,qBAPS,MAOT,CAAA,MAAA,EAAA;EAEkD,SAAA,MAAA,EAAA,OAAA;CAAxB,CAAA,CAAA,GARlC,mBAQkC,CARd,SAQc,EARH,SAQG,CAAA,SAAA,KAAA,UAAA,GAAA,CAPjC,SAOiC,CAAA,SAAA,CAAA,KAAA,CAAA,GANhC,mBAMgC,CANZ,UAMY,EANA,YAMA,CAAA,GAAA,SAAA,SAAA,MAAA,GAJ9B,oBAI8B,CAJT,SAIS,EAJE,SAIF,EAJa,UAIb,CAAA,SAAA,KAAA,UAAA,GAAA,CAH3B,SAG2B,CAAA,SAAA,CAAA,KAAA,CAAA,GAF1B,mBAE0B,CAFN,UAEM,EAFM,YAEN,CAAA,GAAA,SAAA,SAAA,MAAA,GAAA,SAAA,SAAA,MAAA,uBAAA,CAAwB,SAAxB,CAAA,GAAA,SAAA,SAAA,MACE,uBADF,CAC0B,SAD1B,CAAA,CACqC,SADrC,CAAA,GAEpB,uBAFoB,CAEI,SAFJ,CAAA,CAEe,SAFf,CAAA,CAE0B,SAF1B,CAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA;;;;;;AAEe,KAazC,0BAbyC,CAAA,kBAaI,QAbJ,CAaa,UAbb,CAAA,CAAA,GAa4B,SAb5B,SAAA;EAAW,YAAA,EAAA,KAAA,EAAA;EAAS,MAAA,EAAA,KAAA,EAAA;AAazE,CAAA,GAAY,CAAA,SAAA,MAAA,GAAA,CAAA,SAKI,MALsB,CAAA,MAAA,EAKP,MALO,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAAA,CAAA,SAAA,QAMZ,CANwC,GAAA,KAAA,WAAA,EAAT,GAAA,UAAA,SAAA;EAAwB,OAAA,EAAA,IAAA;EAKlD,OAAA,EAAA,IAAA;CAAf,GAAA,IAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA,GAAA,KAAA;;;AAehB;AAKA;AAMA;AAAyD,KAX7C,OAW6C,CAAA,MAAA,OAAA,CAAA,GAXpB,gBAWoB,CAXH,GAWG,CAAA;;;;AAQpC,KAdT,QAc4B,CAAA,SAAA,CAAA,GAdN,SAcM,SAAA;EAK5B,OAAI,EAAA;IAAc,MAAA,EAAA,KAAA,EAAA;EAAoB,CAAA;CAAS,GAAA,CAAA,GAAA,KAAA;AAAI,KAbnD,QAamD,CAAA,SAAA,CAAA,GAb7B,OAa6B,CAAA,MAbf,QAae,CAbN,SAaM,CAAA,EAAA,MAAA,CAAA;AAK/D;AAOA;AAQA;AACiC,cA1BZ,IA0BY,EAAA,OAAA,MAAA;;;;AAOhB,KA5BL,IA4Ba,CAAA,YAAA;EACQ,CA7BH,IAAA,CA6BG,EAAA,OAAA;CAAd,CAAA,GA7B+B,GA6B/B,CAAA,OA7BwC,IA6BxC,CAAA;;;AAGnB;AAEqB,UA7BJ,aA6BI,CAAA,aAAA,MAAA,CAAA,CAAA;EAAT,IAAA,EA5BJ,IA4BI;;;;;AAER,UAxBa,aAwBb,CAAA,aAAA,MAAA,CAAA,CAAA;EAAoB,IAAA,EAvBhB,IAuBgB;;AAKxB;AAIA;AAIA;AAKA;AAC0B,UAnCT,QAmCS,CAAA,aAAA,MAAA,CAAA,CAAA;EAAqB,UAlCnC,IAAA,CAkCmC,EAlC5B,aAkC4B,CAlCd,IAkCc,CAAA;;;;;AAI/C;AASiB,UAxCA,QAwCc,CAAA,aAAA,MAAA,CAAA,CAAA;EAId,UA3CL,IAAA,CA2CiB,EA3CV,aA4CC,CA5Ca,IA4Cb,CAAA;AAGpB;AAA8D,KA5ClD,SA4CkD,CAAA,SAAA,EAAA,UA1ClD,QA0CkD,CA1CzC,SA0CyC,CAAA,CAAA,GAzC1D,CAyC0D,SAAA,MAzC1C,QAyC0C,CAzCjC,SAyCiC,CAAA,GAxC1D,QAwC0D,CAxCjD,SAwCiD,CAAA,CAxCtC,CAwCsC,CAAA,SAAA;EAAT,OAAA,EAAA,KAAA,EAAA;CAAgC,GAAA,CAAA,GAAA,KAAA,GAAA,KAAA;AAAT,UAnC3D,kBAAA,CAmC2D;EACvC,SAAA,WAAA,CAAA,EAnCZ,MAmCY,CAAA,MAAA,EAAA,OAAA,CAAA;;AAAD,UAhCnB,kBAAA,SAA2B,kBAgCR,CAAA;mBA/BjB;;KAGP,kBAAA,aACD,wDAEN;UAEY,UAAA,SAAmB;0BACV,qBAAqB;gBAC/B,qBAAqB;;UAGpB,YAAA,SAAqB;;;;qBAIjB;;;;UAKJ,cAAA;;;UAIA,YAAA;oBACG;;UAGH,oCAAoC,SAAS,cAAc,SAAS;oBACjE,iBAAiB"}

package/package.json

@@ -1,25 +1,25 @@
 {
   "name": "@prisma-next/sql-relational-core",
-  "version": "0.5.0-dev.30",
+  "version": "0.5.0-dev.32",
   "type": "module",
   "sideEffects": false,
   "description": "AST types, query lane context, and type utilities for Prisma Next SQL lanes",
   "dependencies": {
     "arktype": "^2.1.29",
     "ts-toolbelt": "^9.6.0",
-    "@prisma-next/framework-components": "0.5.0-dev.30",
-    "@prisma-next/contract": "0.5.0-dev.30",
-    "@prisma-next/sql-contract": "0.5.0-dev.30",
-    "@prisma-next/operations": "0.5.0-dev.30",
-    "@prisma-next/sql-operations": "0.5.0-dev.30",
-    "@prisma-next/utils": "0.5.0-dev.30"
+    "@prisma-next/contract": "0.5.0-dev.32",
+    "@prisma-next/framework-components": "0.5.0-dev.32",
+    "@prisma-next/operations": "0.5.0-dev.32",
+    "@prisma-next/sql-contract": "0.5.0-dev.32",
+    "@prisma-next/utils": "0.5.0-dev.32",
+    "@prisma-next/sql-operations": "0.5.0-dev.32"
   },
   "devDependencies": {
     "tsdown": "0.18.4",
     "typescript": "5.9.3",
     "vitest": "4.0.17",
-    "@prisma-next/sql-contract-ts": "0.5.0-dev.30",
     "@prisma-next/test-utils": "0.0.1",
+    "@prisma-next/sql-contract-ts": "0.5.0-dev.32",
     "@prisma-next/tsconfig": "0.0.0",
     "@prisma-next/tsdown": "0.0.0"
   },

package/src/ast/codec-types.ts

@@ -2,6 +2,7 @@ import type { JsonValue } from '@prisma-next/contract/types';
 import type {
   Codec as BaseCodec,
   CodecCallContext,
+  CodecInstanceContext,
   CodecTrait,
 } from '@prisma-next/framework-components/codec';
 import { ifDefined } from '@prisma-next/utils/defined';
@@ -44,8 +45,44 @@ export interface SqlCodecCallContext extends CodecCallContext {
 }
 
 /**
- * Descriptor for parameterized codecs that require type parameter validation.
- * Shared between adapter (compile-time) and runtime layers to avoid duplication.
+ * SQL-family per-instance context. Extends the framework
+ * {@link CodecInstanceContext} (`name` only) with `usedAt`, the set of
+ * `(table, column)` pairs the resolved codec serves.
+ *
+ * - For `typeRef` columns sharing one named `storage.types` instance, the
+ *   array lists every referencing column — a column-scoped stateful codec
+ *   (e.g. encryption) can derive aggregated per-instance state across all
+ *   the columns sharing the named instance.
+ * - For inline-`typeParams` columns, the array has exactly one entry —
+ *   the column that owns the inline params.
+ * - For shared non-parameterized codecs, the array carries one
+ *   representative entry (the column that triggered materialization);
+ *   the codec is shared across every column with that codec id, so the
+ *   `usedAt` is informational only.
+ *
+ * SQL extensions consuming `usedAt` (e.g. column-scoped state derivation)
+ * type their factory parameter as `SqlCodecInstanceContext`. Extensions
+ * that don't read `usedAt` type their factory parameter as the
+ * family-agnostic {@link CodecInstanceContext} — a `SqlCodecInstanceContext`
+ * is structurally assignable to the base.
+ */
+export interface SqlCodecInstanceContext extends CodecInstanceContext {
+  readonly usedAt: ReadonlyArray<{ readonly table: string; readonly column: string }>;
+}
+
+/**
+ * Legacy adapter-level descriptor for parameterized codecs that require
+ * type-parameter validation at compile time. The runtime descriptor
+ * (`RuntimeParameterizedCodecDescriptor` in `@prisma-next/sql-runtime`)
+ * has migrated to the unified `CodecDescriptor<P>` shape with
+ * `factory: (P) => (CodecInstanceContext) => Codec`; this descriptor stays only because
+ * the SQL `Adapter.parameterizedCodecs()` surface still returns
+ * `CodecParamsDescriptor[]` (compile-time typeParams validation only,
+ * not runtime materialization).
+ *
+ * Retirement is tracked under TML-2357 T3.5.4 (single registration slot)
+ * — the adapter-level `parameterizedCodecs()` collapses into the unified
+ * runtime descriptor map once contributors migrate fully.
  *
  * @template TParams - The shape of the type parameters (e.g., `{ length: number }`)
  * @template THelper - The type returned by the optional `init` hook
@@ -64,6 +101,14 @@ export interface CodecParamsDescriptor<TParams = Record<string, unknown>, THelpe
    * Optional init hook called during runtime context creation.
    * Receives validated params and returns a helper object to be stored in context.types.
    * If not provided, the validated params are stored directly.
+   *
+   * Predecessor pattern. The runtime descriptor's curried
+   * `factory: (P) => (CodecInstanceContext) => Codec` subsumes this hook — per-instance
+   * state lives on the resolved codec rather than in a parallel
+   * `TypeHelperRegistry` entry. Retirement tracked under TML-2357 T3.5.2
+   * (narrow runtime `Codec` interface) and T3.5.4 (single registration
+   * slot). Adapter-level callers reading codec-self-carried `init` should
+   * migrate to the runtime descriptor map's factory instead.
    */
   readonly init?: (params: TParams) => THelper;
 }
@@ -94,6 +139,14 @@ export interface CodecMeta {
  * bivariantly, so the SQL narrowing is structurally compatible with the
  * framework {@link BaseCodec} super-interface.
  *
+ * Note: `paramsSchema` and `init` here are the legacy adapter-level slots
+ * mirrored from {@link CodecParamsDescriptor}. The runtime materialization
+ * path uses `RuntimeParameterizedCodecDescriptor` (in
+ * `@prisma-next/sql-runtime`) via the unified `CodecDescriptor<P>` shape;
+ * codec-self-carried `paramsSchema`/`init` retire under TML-2357 (T3.5.2
+ * narrows the runtime `Codec` interface; T3.5.4 collapses the parallel
+ * registration slots).
+ *
  * See `Codec` in `@prisma-next/framework-components/codec` for the codec
  * contract that this interface extends.
  */
@@ -109,9 +162,63 @@ export interface Codec<
   decode(wire: TWire, ctx: SqlCodecCallContext): Promise<TInput>;
   readonly meta?: CodecMeta;
   readonly paramsSchema?: Type<TParams>;
+  /**
+   * Predecessor init hook. Retirement tracked under TML-2357 (T3.5.2 /
+   * T3.5.4); the unified runtime descriptor's
+   * `factory: (P) => (CodecInstanceContext) => Codec` is the replacement.
+   */
   readonly init?: (params: TParams) => THelper;
 }
 
+/**
+ * Contract-bound codec registry.
+ *
+ * The dispatch interface for encode/decode at runtime: built once at
+ * `ExecutionContext` construction time by walking the contract's
+ * `storage.tables[].columns[]` and resolving each column to either a per-
+ * instance parameterized codec (via `descriptor.factory(typeParams)(ctx)`)
+ * or the shared codec instance from the legacy `CodecRegistry` (for non-
+ * parameterized codecs). The dispatch path calls
+ * `forColumn(table, column).encode/decode(...)` and doesn't know whether
+ * the codec is parameterized.
+ *
+ * `forCodecId(codecId)` is a fallback for sites that don't carry the
+ * `(table, column)` ref through to the encode/decode call site —
+ * primarily the param-encoding path, where `ParamRef.refs` is not
+ * populated by the SQL builder today (every `ParamRef` carries `codecId`
+ * but not the column it relates to). For the parameterized codecs shipped
+ * at Phase B, encode is per-instance-stateless (pgvector formats
+ * `[v1,v2,v3]` regardless of length; JSON's `encode` is `JSON.stringify`
+ * regardless of schema), so a codec-id-keyed lookup yields a structurally
+ * equivalent encoder; the fallback is the bridge that lets the legacy
+ * `codecs:` registration retire from the dispatch path while staying as
+ * the codec-id-only source for now.
+ *
+ * The encode-side fallback is the AC-5-deferred carve-out documented in
+ * the codec-registry-unification spec § Non-functional constraints.
+ * TML-2357 retires the fallback by threading `ParamRef.refs` through
+ * column-bound construction sites.
+ */
+export interface ContractCodecRegistry {
+  /**
+   * Resolve the codec for `(table, column)`. Returns the per-instance
+   * parameterized codec for parameterized columns, the shared codec for
+   * non-parameterized columns, or `undefined` if the column is unknown
+   * or the codec isn't registered.
+   */
+  forColumn(table: string, column: string): Codec | undefined;
+
+  /**
+   * Resolve a codec by id. Returns the same codec instance the legacy
+   * `CodecRegistry.get(codecId)` would return — for non-parameterized
+   * codecs that's the shared instance; for parameterized codecs that's
+   * a representative resolved instance. Used by sites that don't carry
+   * `(table, column)` through to the encode/decode call site (the AC-5
+   * carve-out path).
+   */
+  forCodecId(codecId: string): Codec | undefined;
+}
+
 /**
  * Registry interface for codecs organized by ID and by contract scalar type.
  *

package/src/query-lane-context.ts

@@ -1,7 +1,35 @@
 import type { Contract } from '@prisma-next/contract/types';
+import type { CodecDescriptor } from '@prisma-next/framework-components/codec';
 import type { SqlStorage } from '@prisma-next/sql-contract/types';
 import type { SqlOperationRegistry } from '@prisma-next/sql-operations';
-import type { CodecRegistry } from './ast/codec-types';
+import type { CodecRegistry, ContractCodecRegistry } from './ast/codec-types';
+
+/**
+ * Codec-id-keyed accessor for descriptor metadata. The unified read API
+ * for codec-id-keyed metadata (`traits`, `targetTypes`, `meta`) — non-
+ * branching for parameterized vs. non-parameterized codecs since every
+ * codec ships as (or is synthesized into) a `CodecDescriptor`.
+ *
+ * See codec-registry-unification spec § Decision and AC-3.
+ */
+export interface CodecDescriptorRegistry {
+  /**
+   * Descriptors carry distinct param shapes per codec id; the registry is
+   * heterogeneous and the consumer narrows per codec.
+   */
+  descriptorFor(codecId: string): CodecDescriptor<unknown> | undefined;
+  /**
+   * All registered descriptors. Used by `validateCodecRegistryCompleteness`
+   * and other startup-time consumers that enumerate descriptors.
+   */
+  values(): IterableIterator<CodecDescriptor<unknown>>;
+  /**
+   * Descriptors indexed by `targetTypes[i]` (each scalar type the codec
+   * advertises). Multiple descriptors may map to the same scalar type;
+   * ordering reflects registration order.
+   */
+  byTargetType(targetType: string): readonly CodecDescriptor<unknown>[];
+}
 
 /**
  * Registry of initialized type helpers from storage.types.
@@ -73,7 +101,30 @@ export type MutationDefaultsOptions = {
  */
 export interface ExecutionContext<TContract extends Contract<SqlStorage> = Contract<SqlStorage>> {
   readonly contract: TContract;
+  /**
+   * Codec registry indexed by codec id. Source of shared, non-parameterized
+   * codec instances; also used as the codec-id-only fallback at the
+   * `forCodecId` boundary while AC-5's `ParamRef.refs` plumbing remains
+   * deferred (TML-2357).
+   */
   readonly codecs: CodecRegistry;
+  /**
+   * Contract-bound codec registry built once at context-construction time
+   * by walking the contract's columns and resolving each to its per-
+   * instance codec (parameterized columns) or the shared codec from the
+   * legacy registry (non-parameterized columns). The dispatch path
+   * (`encodeParam` / `decodeRow`) consults `forColumn(table, column)`
+   * when the call site has the ref, falling back to `forCodecId(codecId)`
+   * otherwise. Codec-registry-unification spec § AC-4.
+   */
+  readonly contractCodecs: ContractCodecRegistry;
+  /**
+   * Codec-id-keyed descriptor map. Single source of truth for codec-id-
+   * keyed metadata (`traits`, `targetTypes`, `meta`) — every codec,
+   * parameterized or not, resolves through this map without branching.
+   * Codec-registry-unification spec § AC-3.
+   */
+  readonly codecDescriptors: CodecDescriptorRegistry;
   readonly queryOperations: SqlOperationRegistry;
   /**
    * Type helper registry for parameterized types.

package/dist/codec-types-DAQNecFs.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"codec-types-DAQNecFs.d.mts","names":[],"sources":["../src/ast/codec-types.ts"],"sourcesContent":[],"mappings":";;;;;;;;AAyBA;AAgBA;AAWA;;;;;;;AAsBA;AAyBA;;AAEmD,UA5ElC,YAAA,CA4EkC;EAGvC,SAAA,KAAA,EAAA,MAAA;EAEQ,SAAA,IAAA,EAAA,MAAA;;;;;;;;;;;;;AAIW,UArEd,mBAAA,SAA4B,gBAqEd,CAAA;EAAL,SAAA,MAAA,CAAA,EApEN,YAoEM;;;;;AAY1B;;;;AAKkB,UA3ED,qBA2EC,CAAA,UA3E+B,MA2E/B,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,UAAA,OAAA,CAAA,CAAA;EAEiB;EAEG,SAAA,OAAA,EAAA,MAAA;EACN;;;;EACJ,SAAA,YAAA,EAzEH,IAyEG,CAzEE,OAyEF,CAAA;EAsGvB;;;;;EAGqB,SAAA,IAAA,CAAA,EAAA,CAAA,MAAA,EA3KC,OA2KD,EAAA,GA3Ka,OA2Kb;;;;;;AAImB,UAxK5B,SAAA,CAwK4B;EAkB7B,SAAK,EAAA,CAAA,EAAA;IAEY,SAAA,GAAA,CAAA,EAAA;MAGrB,SAAA,QAAA,CAAA,EAAA;QAIA,SAAA,UAAA,EAAA,MAAA;MAEQ,CAAA;IAAa,CAAA;EAAwB,CAAA;;;;;;;;;;;;;;;;;AAQhD,UApLQ,OAoLR,CAAA,aAAA,MAAA,GAAA,MAAA,EAAA,kBAAA,SAlLkB,UAkLlB,EAAA,GAAA,SAlL0C,UAkL1C,EAAA,EAAA,QAAA,OAAA,EAAA,SAAA,OAAA,EAAA,UA/KG,MA+KH,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,UAAA,OAAA,CAAA,SA7KC,KA6KD,CA7KW,IA6KX,EA7Ke,SA6Kf,EA7KwB,KA6KxB,EA7K+B,MA6K/B,CAAA,CAAA;EAAI,MAAA,CAAA,KAAA,EA5KG,MA4KH,EAAA,GAAA,EA5KgB,mBA4KhB,CAAA,EA5KsC,OA4KtC,CA5K8C,KA4K9C,CAAA;EAAS,MAAA,CAAA,IAAA,EA3KP,KA2KO,EAAA,GAAA,EA3KK,mBA2KL,CAAA,EA3K2B,OA2K3B,CA3KmC,MA2KnC,CAAA;EAAO,SAAA,IAAA,CAAA,EA1KX,SA0KW;EAAQ,SAAA,YAAA,CAAA,EAzKX,IAyKW,CAzKN,OAyKM,CAAA;EAAS,SAAA,IAAA,CAAA,EAAA,CAAA,MAAA,EAxKnB,OAwKmB,EAAA,GAxKP,OAwKO;;;AAiD9C;;;;;AAEA;;AACmC,UAjNlB,aAAA,CAiNkB;EAAvB,GAAA,CAAA,EAAA,EAAA,MAAA,CAAA,EAhNO,OAgNP,CAAA,MAAA,CAAA,GAAA,SAAA;EAAK,GAAA,CAAA,EAAA,EAAA,MAAA,CAAA,EAAA,OAAA;EACL,WAAA,CAAA,MAAW,EAAA,MAAA,CAAA,EAAA,SA/MiB,OA+MjB,CAAA,MAAA,CAAA,EAAA;EACrB,eAAA,CAAA,MAAA,EAAA,MAAA,CAAA,EA/MiC,OA+MjC,CAAA,MAAA,CAAA,GAAA,SAAA;EAAU,QAAA,CAAA,KAAA,EA9MM,OA8MN,CAAA,MAAA,CAAA,CAAA,EAAA,IAAA;EAA+B;EAAkB,QAAA,CAAA,OAAA,EAAA,MAAA,EAAA,KAAA,EA5M1B,UA4M0B,CAAA,EAAA,OAAA;EAAU;EAK3D,QAAA,CAAA,OAAA,EAAA,MAAiB,CAAA,EAAA,SA/MS,UA+MT,EAAA;EACgB,CAAA,MAAA,CAAA,QAAA,GAAA,EA/MtB,QA+MsB,CA/Mb,OA+Ma,CAAA,MAAA,CAAA,CAAA;EAAc,MAAA,EAAA,EA9M/C,gBA8M+C,CA9M9B,OA8M8B,CAAA,MAAA,CAAA,CAAA;;;;;;;;;KAxGtD,mBA4G2B,CAAA,MAAA,CAAA,GAAA,CA5GI,MA4GJ,CAAA,SAAA,CA5GqB,SA4GrB,CAAA,GAAA;EAAY,UAAA,CAAA,EAAA,CAAA,KAAA,EA1GjB,MA0GiB,EAAA,GA1GN,SA0GM;EAAvB,UAAA,CAAA,EAAA,CAAA,IAAA,EAzGK,SAyGL,EAAA,GAzGmB,MAyGnB;CACY,GAAA;EAAY,UAAA,EAAA,CAAA,KAAA,EAvGnB,MAuGmB,EAAA,GAvGR,SAuGQ;EAAxB,UAAA,EAAA,CAAA,IAAA,EAtGI,SAsGJ,EAAA,GAtGkB,MAsGlB;CAAW;AAWhC;;;;;;;;;;;;;;;AAK2B,iBApGX,KAoGW,CAAA,aAAA,MAAA,EAAA,wBAAA,SAlGM,UAkGN,EAAA,GAAA,SAAA,EAAA,EAAA,QAAA,OAAA,EAAA,SAAA,OAAA,EAAA,UA/Ff,MA+Fe,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,UAAA,OAAA,CAAA,CAAA,MAAA,EAAA;EAMV,MAAA,EAjGL,IAiGK;EAC4B,WAAA,EAAA,SAAA,MAAA,EAAA;EAAc,MAAA,EAAA,CAAA,KAAA,EAhGvC,MAgGuC,EAAA,GAAA,EAhG1B,mBAgG0B,EAAA,GAhGF,KAgGE,GAhGM,OAgGN,CAhGc,KAgGd,CAAA;EAAkB,MAAA,EAAA,CAAA,IAAA,EA/F1D,KA+F0D,EAAA,GAAA,EA/F9C,mBA+F8C,EAAA,GA/FtB,MA+FsB,GA/Fb,OA+Fa,CA/FL,MA+FK,CAAA;EAEpC,IAAA,CAAA,EAhG9B,SAgG8B;EAAlB,YAAA,CAAA,EA/FJ,IA+FI,CA/FC,OA+FD,CAAA;EAE4B,IAAA,CAAA,EAAA,CAAA,MAAA,EAhG/B,OAgG+B,EAAA,GAhGnB,OAgGmB;EACnC,MAAA,CAAA,EAhGH,SAgGG;EACD,gBAAA,CAAA,EAAA,CAAA,UAAA,EAhGqB,MAgGrB,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,GAAA,MAAA,GAAA,SAAA;CAEC,GAjGV,mBAiGU,CAjGU,MAiGV,CAAA,CAAA,EAhGb,OAgGa,CAhGP,IAgGO,EAhGH,SAgGG,EAhGM,KAgGN,EAhGa,MAgGb,EAhGqB,OAgGrB,EAhG8B,OAgG9B,CAAA;;;;AAAV,KA/CM,OA+CN,CAAA,CAAA,CAAA,GA9CJ,CA8CI,SA9CM,OA8CN,CAAA,KAAA,GAAA,CAAA,GAAA,EAAA,GA9C6B,CA8C7B,SAAA;EAA+D,SAAA,EAAA,EAAA,KAAA,GAAA;CAAY,GAAA,EAAA,GAAA,KAAA;AAAnB,KA7ClD,UA6CkD,CAAA,CAAA,CAAA,GA5C5D,CA4C4D,SA5ClD,OA4CkD,CAAA,MAAA,EAAA,SA5C3B,UA4C2B,EAAA,EAAA,OAAA,EAAA,KAAA,GAAA,CAAA,GAAA,EAAA,GAAA,KAAA;AADzD,KA1CO,WA0CP,CAAA,CAAA,CAAA,GAzCH,CAyCG,SAzCO,OAyCP,CAAA,MAAA,EAAA,KAAA,QAAA,CAAA,GAzCsC,OAyCtC,CAAA,MAAA,CAAA,GAzCwD,UAyCxD,GAAA,KAAA;;;;AAMyC,KA1ClC,iBA0CkC,CAAA,oBAAA,iBACvB,MA1CsB,WA0CtB,GA1CoC,OA0CpC,CAAA,MAAA,CAAA,EACD,GA3CuD,MA2CvD,CAAA,KAAA,EAAA,KAAA,CAAA,CAAA,GAAA,iBAAY,MAzCX,WAyCW,IAzCI,WAyCJ,CAzCgB,CAyChB,CAAA,SAzC2B,OAyC3B,CAAA,KAAA,GAAA,CAAA,GAAA,EAAA,GAAA,KAAA,GAAA;EACD,SAAA,KAAA,EAzCb,UAyCa,CAzCF,WAyCE,CAzCU,CAyCV,CAAA,CAAA;EAAY,SAAA,MAAA,EAxCxB,UAwCwB,CAxCb,WAwCa,CAxCD,CAwCC,CAAA,CAAA;EAAvB,SAAA,MAAA,EAvCD,WAuCC,CAvCW,WAuCX,CAvCuB,CAuCvB,CAAA,CAAA;AACY,CAAA,EAAY;;;;;;;;AAOsB,KApCxD,gBAoCwD,CAAA,oBAAA,iBAAtB,MAnCD,WAmCC,GAnCa,OAmCb,CAAA,MAAA,CAAA,EAAlB,CAAA,GAAA,iBAA+C,MAjCpD,WAiCoD,GAAA,kBACtC,MAjCX,iBAiCW,CAjCO,MAiCP,CAjCc,CAiCd,EAjCiB,WAiCjB,CAjC6B,CAiC7B,CAAA,CAAA,CAAA,GAjCoC,EAiCpC,EAAG,CAAA,MAhC9B,iBAgC8B,CAhCZ,MAgCY,CAhCL,CAgCK,EAhCF,WAgCE,CAhCU,CAgCV,CAAA,CAAA,CAAA,CAAA,EAAY;;;;AAyHpC,UAnJC,eAmJkB,CAAA,oBAAiB,iBAOxB,MAzJiB,WAyJG,GAzJW,OAyJ3B,CAAA,MAAA,CAAA,KAzJ6C;uBAEtD,kBAAkB;mDAEU,6BACnC,uBACD,YACV,gBACD,CAAA,CAAE,UAAU,aAAa,OAAO,YAAY,cAAc,OAAO,YAAY;oDAIxD;qBACF,YAAY,WAAW;qBACvB;oBACD,YAAY;oBACZ,WAAW,YAAY;qBACtB,WAAW,YAAY;qBACvB,WAAW,YAAY;;6CAKrB,sCACG,kBAAkB,OAAO,GAAG,YAAY,OAAO,WAC/D,kBAAkB,OAAO,GAAG,YAAY;;;;;iBAyHpC,mBAAA,CAAA,GAAuB;;;;iBAOvB,YAAA,CAAA,GAAgB,gBAAgB"}

package/dist/errors-CJKxtKSt.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"errors-CJKxtKSt.d.mts","names":[],"sources":["../src/errors.ts"],"sourcesContent":[],"mappings":";;;iBAEgB,WAAA,4BAEJ,+EAGT;iBAkBa,eAAA,4BAEJ,+EAGT"}

package/dist/query-lane-context-Cch9CN9H.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"query-lane-context-Cch9CN9H.d.mts","names":[],"sources":["../src/query-lane-context.ts"],"sourcesContent":[],"mappings":";;;;;;;;;AAWA;AASA;AASA;AAQA;AASiB,KAnCL,kBAAA,GAAqB,MAmCW,CAAA,MAExB,EAAA,OAAA,CAAA;AAKpB;AAEA;AAKA;AAaiB,UArDA,yBAAA,CAqDgB;EAA4B,SAAA,IAAA,EAAA,MAAA;EAAT,SAAA,OAAA,EAAA,MAAA;EAAgC,SAAA,OAAA,EAAA,MAAA;;;;;AAQlE,KApDN,0BAAA,GAoDM;EAKgB,SAAA,KAAA,EAAA,IAAA;CAKD,GAAA;EAAwC,SAAA,KAAA,EAAA,KAAA;EAAd,SAAA,MAAA,EA5Db,aA4Da,CA5DC,yBA4DD,CAAA;CAAa;;;;;KAtD5D,oBAAA,uBAA2C;;;;;;;;UAStC,2BAAA;;oBAEG;;;;KAKR,kBAAA;KAEA,sBAAA;;;;KAKA,uBAAA;eACG;;mBAEI;;;;;;;;;UAUF,mCAAmC,SAAS,cAAc,SAAS;qBAC/D;mBACF;4BACS;;;;;kBAKV;;;;;kCAKgB;;;;;iCAKD,0BAA0B,cAAc"}