@prisma-next/sql-relational-core 0.3.0-dev.7 → 0.3.0-dev.71

package/dist/plan-BhSWuTfw.d.mts

@@ -0,0 +1,194 @@
+import { ReturnSpec } from "@prisma-next/operations";
+import { ExecutionPlan, ParamDescriptor } from "@prisma-next/contract/types";
+import { SqlLoweringSpec } from "@prisma-next/sql-operations";
+import { StorageColumn } from "@prisma-next/sql-contract/types";
+
+//#region src/ast/types.d.ts
+type Direction = 'asc' | 'desc';
+interface TableRef {
+  readonly kind: 'table';
+  readonly name: string;
+}
+interface ColumnRef {
+  readonly kind: 'col';
+  readonly table: string;
+  readonly column: string;
+}
+interface ParamRef {
+  readonly kind: 'param';
+  readonly index: number;
+  readonly name?: string;
+}
+interface LiteralExpr {
+  readonly kind: 'literal';
+  readonly value: unknown;
+}
+interface OperationExpr {
+  readonly kind: 'operation';
+  readonly method: string;
+  readonly forTypeId: string;
+  readonly self: Expression;
+  readonly args: ReadonlyArray<Expression | ParamRef | LiteralExpr>;
+  readonly returns: ReturnSpec;
+  readonly lowering: SqlLoweringSpec;
+}
+/**
+ * Unified expression type - the canonical AST representation for column references
+ * and operation expressions. This is what all builders convert to via toExpr().
+ */
+type Expression = ColumnRef | OperationExpr;
+/**
+ * Interface for any builder that can produce an Expression.
+ * Implemented by ColumnBuilder and ExpressionBuilder.
+ */
+interface ExpressionSource {
+  toExpr(): Expression;
+}
+declare function isOperationExpr(expr: Expression): expr is OperationExpr;
+type BinaryOp = 'eq' | 'neq' | 'gt' | 'lt' | 'gte' | 'lte' | 'like' | 'ilike' | 'in' | 'notIn';
+interface BinaryExpr {
+  readonly kind: 'bin';
+  readonly op: BinaryOp;
+  readonly left: Expression;
+  readonly right: Expression | ParamRef | LiteralExpr | ListLiteralExpr;
+}
+interface ListLiteralExpr {
+  readonly kind: 'listLiteral';
+  readonly values: ReadonlyArray<ParamRef | LiteralExpr>;
+}
+interface AndExpr {
+  readonly kind: 'and';
+  readonly exprs: ReadonlyArray<WhereExpr>;
+}
+interface OrExpr {
+  readonly kind: 'or';
+  readonly exprs: ReadonlyArray<WhereExpr>;
+}
+interface ExistsExpr {
+  readonly kind: 'exists';
+  readonly not: boolean;
+  readonly subquery: SelectAst;
+}
+/**
+ * Unary expression for IS NULL / IS NOT NULL checks.
+ * Used in WHERE clauses to check for null values.
+ */
+interface NullCheckExpr {
+  readonly kind: 'nullCheck';
+  readonly expr: Expression;
+  readonly isNull: boolean;
+}
+/**
+ * Union type for WHERE clause expressions.
+ */
+type WhereExpr = BinaryExpr | ExistsExpr | NullCheckExpr | AndExpr | OrExpr;
+interface BoundWhereExpr {
+  readonly expr: WhereExpr;
+  readonly params: readonly unknown[];
+  readonly paramDescriptors: ReadonlyArray<ParamDescriptor>;
+}
+interface ToWhereExpr {
+  toWhereExpr(): BoundWhereExpr;
+}
+type WhereArg = WhereExpr | ToWhereExpr;
+type JoinOnExpr = {
+  readonly kind: 'eqCol';
+  readonly left: ColumnRef;
+  readonly right: ColumnRef;
+} | WhereExpr;
+interface JoinAst {
+  readonly kind: 'join';
+  readonly joinType: 'inner' | 'left' | 'right' | 'full';
+  readonly table: TableRef;
+  readonly on: JoinOnExpr;
+}
+interface IncludeRef {
+  readonly kind: 'includeRef';
+  readonly alias: string;
+}
+interface IncludeAst {
+  readonly kind: 'includeMany';
+  readonly alias: string;
+  readonly child: {
+    readonly table: TableRef;
+    readonly on: JoinOnExpr;
+    readonly where?: WhereExpr;
+    readonly orderBy?: ReadonlyArray<{
+      expr: Expression;
+      dir: Direction;
+    }>;
+    readonly limit?: number;
+    readonly project: ReadonlyArray<{
+      alias: string;
+      expr: Expression;
+    }>;
+  };
+}
+interface SelectAst {
+  readonly kind: 'select';
+  readonly from: TableRef;
+  readonly joins?: ReadonlyArray<JoinAst>;
+  readonly includes?: ReadonlyArray<IncludeAst>;
+  readonly project: ReadonlyArray<{
+    alias: string;
+    expr: Expression | IncludeRef | LiteralExpr;
+  }>;
+  readonly where?: WhereExpr;
+  readonly orderBy?: ReadonlyArray<{
+    expr: Expression;
+    dir: Direction;
+  }>;
+  readonly limit?: number;
+  readonly selectAllIntent?: {
+    table?: string;
+  };
+}
+interface InsertAst {
+  readonly kind: 'insert';
+  readonly table: TableRef;
+  readonly values: Record<string, ColumnRef | ParamRef>;
+  readonly returning?: ReadonlyArray<ColumnRef>;
+}
+interface UpdateAst {
+  readonly kind: 'update';
+  readonly table: TableRef;
+  readonly set: Record<string, ColumnRef | ParamRef>;
+  readonly where?: WhereExpr;
+  readonly returning?: ReadonlyArray<ColumnRef>;
+}
+interface DeleteAst {
+  readonly kind: 'delete';
+  readonly table: TableRef;
+  readonly where?: WhereExpr;
+  readonly returning?: ReadonlyArray<ColumnRef>;
+}
+type QueryAst = SelectAst | InsertAst | UpdateAst | DeleteAst;
+interface LoweredStatement {
+  readonly sql: string;
+  readonly params: readonly unknown[];
+  readonly annotations?: Record<string, unknown>;
+}
+//#endregion
+//#region src/plan.d.ts
+/**
+ * SQL query plan produced by lanes before lowering.
+ *
+ * Lanes build ASTs and metadata but do not perform SQL lowering.
+ * The `sql` field is absent - lowering happens in the runtime executor.
+ *
+ * Structurally aligns with ExecutionPlan<Row, QueryAst> (without sql field) to maintain
+ * compatibility with ExecutionPlan/Plan-based utilities.
+ * The generic parameter `_Row` is preserved for type extraction via ResultType.
+ */
+interface SqlQueryPlan<_Row = unknown> extends Pick<ExecutionPlan<_Row, QueryAst>, 'params' | 'meta'> {
+  readonly ast: QueryAst;
+  readonly _Row?: _Row;
+}
+/**
+ * Augments the last ParamDescriptor in the array with codecId and nativeType from columnMeta.
+ * This is used when building WHERE expressions to ensure param descriptors have type information.
+ */
+declare function augmentDescriptorWithColumnMeta(descriptors: ParamDescriptor[], columnMeta: StorageColumn | undefined): void;
+//#endregion
+export { WhereArg as A, OrExpr as C, TableRef as D, SelectAst as E, isOperationExpr as M, ToWhereExpr as O, OperationExpr as S, QueryAst as T, JoinOnExpr as _, BinaryOp as a, LoweredStatement as b, DeleteAst as c, Expression as d, ExpressionSource as f, JoinAst as g, InsertAst as h, BinaryExpr as i, WhereExpr as j, UpdateAst as k, Direction as l, IncludeRef as m, augmentDescriptorWithColumnMeta as n, BoundWhereExpr as o, IncludeAst as p, AndExpr as r, ColumnRef as s, SqlQueryPlan as t, ExistsExpr as u, ListLiteralExpr as v, ParamRef as w, NullCheckExpr as x, LiteralExpr as y };
+//# sourceMappingURL=plan-BhSWuTfw.d.mts.map

package/dist/plan-BhSWuTfw.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan-BhSWuTfw.d.mts","names":[],"sources":["../src/ast/types.ts","../src/plan.ts"],"sourcesContent":[],"mappings":";;;;;;KAOY,SAAA;UAEK,QAAA;;EAFL,SAAA,IAAS,EAAA,MAAA;AAErB;AAKiB,UAAA,SAAA,CAAS;EAMT,SAAA,IAAQ,EAAA,KAAA;EAMR,SAAA,KAAW,EAAA,MAAA;EAKX,SAAA,MAAA,EAAa,MAAA;;AAKC,UAhBd,QAAA,CAgBc;EAAa,SAAA,IAAA,EAAA,OAAA;EAAW,SAAA,KAAA,EAAA,MAAA;EAAtC,SAAA,IAAA,CAAA,EAAA,MAAA;;AAEI,UAZJ,WAAA,CAYI;EAAe,SAAA,IAAA,EAAA,SAAA;EAOxB,SAAA,KAAU,EAAA,OAAA;AAMtB;AAIgB,UAxBC,aAAA,CAwBc;EAInB,SAAA,IAAQ,EAAA,WAAA;EAYH,SAAA,MAAU,EAAA,MAAA;EAEZ,SAAA,SAAA,EAAA,MAAA;EACE,SAAA,IAAA,EAvCA,UAuCA;EACC,SAAA,IAAA,EAvCD,aAuCC,CAvCa,UAuCb,GAvC0B,QAuC1B,GAvCqC,WAuCrC,CAAA;EAAa,SAAA,OAAA,EAtCX,UAsCW;EAAW,SAAA,QAAA,EArCrB,eAqCqB;;;AAG1C;;;AAEmB,KAnCP,UAAA,GAAa,SAmCN,GAnCkB,aAmClB;;AAGnB;AAKA;AAKA;AAUiB,UApDA,gBAAA,CAsDA;EAOL,MAAA,EAAA,EA5DA,UA4DS;;AAAgB,iBAzDrB,eAAA,CAyDqB,IAAA,EAzDC,UAyDD,CAAA,EAAA,IAAA,IAzDsB,aAyDtB;AAAa,KArDtC,QAAA,GAqDsC,IAAA,GAAA,KAAA,GAAA,IAAA,GAAA,IAAA,GAAA,KAAA,GAAA,KAAA,GAAA,MAAA,GAAA,OAAA,GAAA,IAAA,GAAA,OAAA;AAAgB,UAzCjD,UAAA,CAyCiD;EAAU,SAAA,IAAA,EAAA,KAAA;EAAM,SAAA,EAAA,EAvCnE,QAuCmE;EAEjE,SAAA,IAAA,EAxCA,UAwCc;EACd,SAAA,KAAA,EAxCC,UAwCD,GAxCc,QAwCd,GAxCyB,WAwCzB,GAxCuC,eAwCvC;;AAEY,UAvCZ,eAAA,CAuCY;EAAa,SAAA,IAAA,EAAA,aAAA;EAGzB,SAAA,MAAW,EAxCT,aAyCF,CAzCgB,QAyChB,GAzC2B,WAyCb,CAAA;AAG/B;AAEY,UA3CK,OAAA,CA2CK;EAGD,SAAA,IAAA,EAAA,KAAA;EACC,SAAA,KAAA,EA7CJ,aA6CI,CA7CU,SA6CV,CAAA;;AAET,UA5CI,MAAA,CA4CJ;EAEI,SAAA,IAAO,EAAA,IAAA;EAOP,SAAA,KAAU,EAnDT,aAmDS,CAnDK,SAmDL,CAAA;AAK3B;AAIoB,UAzDH,UAAA,CAyDG;EACH,SAAA,IAAA,EAAA,QAAA;EACI,SAAA,GAAA,EAAA,OAAA;EACwB,SAAA,QAAA,EAzDxB,SAyDwB;;;;;;AAM5B,UAxDA,aAAA,CAwDS;EAET,SAAA,IAAA,EAAA,WAAA;EACgB,SAAA,IAAA,EAzDhB,UAyDgB;EAAd,SAAA,MAAA,EAAA,OAAA;;;;;AAIiB,KAtDxB,SAAA,GAAY,UAsDY,GAtDC,UAsDD,GAtDc,aAsDd,GAtD8B,OAsD9B,GAtDwC,MAsDxC;AAFhB,UAlDH,cAAA,CAkDG;EAID,SAAA,IAAA,EArDF,SAqDE;EACwB,SAAA,MAAA,EAAA,SAAA,OAAA,EAAA;EAAiB,SAAA,gBAAA,EApD/B,aAoD+B,CApDjB,eAoDiB,CAAA;;AAA1B,UAjDjB,WAAA,CAiDiB;EAKjB,WAAA,EAAS,EArDT,cAqDS;;AAGQ,KArDtB,QAAA,GAAW,SAqDW,GArDC,WAqDD;AAAY,KAnDlC,UAAA,GAmDkC;EAA3B,SAAA,IAAA,EAAA,OAAA;EACkB,SAAA,IAAA,EAjDhB,SAiDgB;EAAd,SAAA,KAAA,EAhDD,SAgDC;CAAa,GA9ChC,SA8CgC;AAGnB,UA/CA,OAAA,CA+CS;EAER,SAAA,IAAA,EAAA,MAAA;EACa,SAAA,QAAA,EAAA,OAAA,GAAA,MAAA,GAAA,OAAA,GAAA,MAAA;EAAY,SAAA,KAAA,EA/CzB,QA+CyB;EAA3B,SAAA,EAAA,EA9CD,UA8CC;;AAEqB,UA7CpB,UAAA,CA6CoB;EAAd,SAAA,IAAA,EAAA,YAAA;EAAa,SAAA,KAAA,EAAA,MAAA;AAGpC;AAEkB,UA7CD,UAAA,CA6CC;EACC,SAAA,IAAA,EAAA,aAAA;EACkB,SAAA,KAAA,EAAA,MAAA;EAAd,SAAA,KAAA,EAAA;IAAa,SAAA,KAAA,EA3ChB,QA2CgB;IAGxB,SAAQ,EAAA,EA7CH,UA6CG;IAAG,SAAA,KAAA,CAAA,EA5CF,SA4CE;IAAY,SAAA,OAAA,CAAA,EA3CZ,aA2CY,CAAA;MAAY,IAAA,EA3CF,UA2CE;MAAY,GAAA,EA3CG,SA2CH;IAAS,CAAA,CAAA;IAEnD,SAAA,KAAA,CAAgB,EAAA,MAAA;sBA3CX;;YAAqC;IC7I1C,CAAA,CAAA;EACY,CAAA;;AAAd,UDgJE,SAAA,CChJF;EACC,SAAA,IAAA,EAAA,QAAA;EAGE,SAAA,IAAA,ED8ID,QC9IC;EAJR,SAAA,KAAA,CAAA,EDmJS,aCnJT,CDmJuB,OCnJvB,CAAA;EAAI,SAAA,QAAA,CAAA,EDoJQ,aCpJR,CDoJsB,UCpJtB,CAAA;EAWE,SAAA,OAAA,ED0II,aC1IJ,CAAA;;UD4IN,aAAa,aAAa;;mBAEjB;qBACE;UAAsB;SAAiB;;;;;;;UAK3C,SAAA;;kBAEC;mBACC,eAAe,YAAY;uBACvB,cAAc;;UAGpB,SAAA;;kBAEC;gBACF,eAAe,YAAY;mBACxB;uBACI,cAAc;;UAGpB,SAAA;;kBAEC;mBACC;uBACI,cAAc;;KAGzB,QAAA,GAAW,YAAY,YAAY,YAAY;UAE1C,gBAAA;;;yBAGQ;;;;;;;AAlMzB;AAEA;AAKA;AAMA;AAMA;AAKA;;AAK+B,UCtBd,YDsBc,CAAA,OAAA,OAAA,CAAA,SCrBrB,IDqBqB,CCrBhB,aDqBgB,CCrBF,IDqBE,ECrBI,QDqBJ,CAAA,EAAA,QAAA,GAAA,MAAA,CAAA,CAAA;EAAa,SAAA,GAAA,ECpB5B,QDoB4B;EAAW,SAAA,IAAA,CAAA,ECjBrC,IDiBqC;;;;;AASvD;AAMiB,iBCzBD,+BAAA,CD0BM,WAAA,ECzBP,eDyBO,EAAA,EAAA,UAAA,ECxBR,aDwBQ,GAAA,SAAA,CAAA,EAAA,IAAA"}

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

@@ -0,0 +1,259 @@
+import { Type } from "arktype";
+import { OperationRegistry } from "@prisma-next/operations";
+import { O } from "ts-toolbelt";
+import { SqlContract, SqlStorage } from "@prisma-next/sql-contract/types";
+
+//#region src/ast/codec-types.d.ts
+
+/**
+ * Descriptor for parameterized codecs that require type parameter validation.
+ * Shared between adapter (compile-time) and runtime layers to avoid duplication.
+ *
+ * @template TParams - The shape of the type parameters (e.g., `{ length: number }`)
+ * @template THelper - The type returned by the optional `init` hook
+ */
+interface CodecParamsDescriptor<TParams = Record<string, unknown>, THelper = unknown> {
+  /** The codec ID this descriptor applies to (e.g., 'pg/vector@1') */
+  readonly codecId: string;
+  /**
+   * Arktype schema for validating typeParams.
+   * Used to validate both storage.types entries and inline column typeParams.
+   */
+  readonly paramsSchema: Type<TParams>;
+  /**
+   * 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.
+   */
+  readonly init?: (params: TParams) => THelper;
+}
+/**
+ * Codec metadata for database-specific type information.
+ * Used for schema introspection and verification.
+ */
+interface CodecMeta {
+  readonly db?: {
+    readonly sql?: {
+      readonly postgres?: {
+        readonly nativeType: string;
+      };
+    };
+  };
+}
+/**
+ * Codec interface for encoding/decoding values between wire format and JavaScript types.
+ *
+ * Codecs are pure, synchronous functions with no side effects or IO.
+ * They provide deterministic conversion between database wire types and JS values.
+ */
+interface Codec<Id$1 extends string = string, TWire = unknown, TJs = unknown, TParams = Record<string, unknown>, THelper = unknown> {
+  /**
+   * Namespaced codec identifier in format 'namespace/name@version'
+   * Examples: 'pg/text@1', 'pg/uuid@1', 'pg/timestamptz@1'
+   */
+  readonly id: Id$1;
+  /**
+   * Contract scalar type IDs that this codec can handle.
+   * Examples: ['text'], ['int4', 'float8'], ['timestamp', 'timestamptz']
+   */
+  readonly targetTypes: readonly string[];
+  /**
+   * Optional metadata for database-specific type information.
+   * Used for schema introspection and verification.
+   */
+  readonly meta?: CodecMeta;
+  /**
+   * Optional params schema for parameterized codecs.
+   * If provided, typeParams are validated against this schema.
+   */
+  readonly paramsSchema?: Type<TParams>;
+  /**
+   * Optional init hook for building runtime helper state from validated params.
+   *
+   * Useful when parameterized types need derived data at runtime, for example:
+   * - normalize typeParams into a stable helper shape consumed by lanes/adapters
+   * - precompute reusable values once during context creation
+   * - avoid repeating typeParams parsing logic during query execution
+   *
+   * Example:
+   *   { length: 255 } -> { kind: 'variable', maxLength: 255 }
+   *
+   * **Convention for JSON/JSONB codecs**: When the helper includes a `validate`
+   * property of type `JsonSchemaValidateFn`, the runtime will use it to enforce
+   * JSON Schema conformance during encoding and decoding. The property is
+   * discovered via duck typing (`helper?.validate`) for flexibility across
+   * different codec types.
+   */
+  readonly init?: (params: TParams) => THelper;
+  /**
+   * Decode a wire value (from database) to JavaScript type.
+   * Must be synchronous and pure (no side effects).
+   */
+  decode(wire: TWire): TJs;
+  /**
+   * Encode a JavaScript value to wire format (for database).
+   * Optional - if not provided, values pass through unchanged.
+   * Must be synchronous and pure (no side effects).
+   */
+  encode?(value: TJs): TWire;
+}
+/**
+ * Registry interface for codecs organized by ID and by contract scalar type.
+ *
+ * The registry allows looking up codecs by their namespaced ID or by the
+ * contract scalar types they handle. Multiple codecs may handle the same
+ * scalar type; ordering in byScalar reflects preference (adapter first,
+ * then packs, then app overrides).
+ */
+interface CodecRegistry {
+  get(id: string): Codec<string> | undefined;
+  has(id: string): boolean;
+  getByScalar(scalar: string): readonly Codec<string>[];
+  getDefaultCodec(scalar: string): Codec<string> | undefined;
+  register(codec: Codec<string>): void;
+  [Symbol.iterator](): Iterator<Codec<string>>;
+  values(): IterableIterator<Codec<string>>;
+}
+/**
+ * Codec factory - creates a codec with typeId and encode/decode functions.
+ */
+declare function codec<Id$1 extends string, TWire, TJs, TParams = Record<string, unknown>, THelper = unknown>(config: {
+  typeId: Id$1;
+  targetTypes: readonly string[];
+  encode: (value: TJs) => TWire;
+  decode: (wire: TWire) => TJs;
+  meta?: CodecMeta;
+  paramsSchema?: Type<TParams>;
+  init?: (params: TParams) => THelper;
+}): Codec<Id$1, TWire, TJs, TParams, THelper>;
+/**
+ * Type helpers to extract codec types.
+ */
+type CodecId<T> = T extends Codec<infer Id, unknown, unknown> ? Id : T extends {
+  readonly id: infer Id;
+} ? Id : never;
+type CodecInput<T> = T extends Codec<string, unknown, infer JsT> ? JsT : never;
+type CodecOutput<T> = T extends Codec<string, unknown, infer JsT> ? JsT : never;
+/**
+ * Type helper to extract codec types from builder instance.
+ */
+type ExtractCodecTypes$1<ScalarNames extends { readonly [K in keyof ScalarNames]: Codec<string> } = Record<never, never>> = { readonly [K in keyof ScalarNames as ScalarNames[K] extends Codec<infer Id, unknown, unknown> ? Id : never]: {
+  readonly input: CodecInput<ScalarNames[K]>;
+  readonly output: CodecOutput<ScalarNames[K]>;
+} };
+/**
+ * Type helper to extract data type IDs from builder instance.
+ * Uses ExtractCodecTypes which preserves literal types as keys.
+ * Since ExtractCodecTypes<Record<K, ScalarNames[K]>> has exactly one key (the Id),
+ * we extract it by creating a mapped type that uses the Id as both key and value,
+ * then extract the value type. This preserves literal types.
+ */
+type ExtractDataTypes<ScalarNames extends { readonly [K in keyof ScalarNames]: Codec<string> }> = { readonly [K in keyof ScalarNames]: { readonly [Id in keyof ExtractCodecTypes$1<Record<K, ScalarNames[K]>>]: Id }[keyof ExtractCodecTypes$1<Record<K, ScalarNames[K]>>] };
+/**
+ * Builder interface for declaring codecs.
+ */
+interface CodecDefBuilder<ScalarNames extends { readonly [K in keyof ScalarNames]: Codec<string> } = Record<never, never>> {
+  readonly CodecTypes: ExtractCodecTypes$1<ScalarNames>;
+  add<ScalarName extends string, CodecImpl extends Codec<string>>(scalarName: ScalarName, codecImpl: CodecImpl): CodecDefBuilder<O.Overwrite<ScalarNames, Record<ScalarName, CodecImpl>> & Record<ScalarName, CodecImpl>>;
+  readonly codecDefinitions: { readonly [K in keyof ScalarNames]: {
+    readonly typeId: ScalarNames[K] extends Codec<infer Id extends string, unknown, unknown> ? Id : never;
+    readonly scalar: K;
+    readonly codec: ScalarNames[K];
+    readonly input: CodecInput<ScalarNames[K]>;
+    readonly output: CodecOutput<ScalarNames[K]>;
+    readonly jsType: CodecOutput<ScalarNames[K]>;
+  } };
+  readonly dataTypes: { readonly [K in keyof ScalarNames]: { readonly [Id in keyof ExtractCodecTypes$1<Record<K, ScalarNames[K]>>]: Id }[keyof ExtractCodecTypes$1<Record<K, ScalarNames[K]>>] };
+}
+/**
+ * Create a new codec registry.
+ */
+declare function createCodecRegistry(): CodecRegistry;
+/**
+ * Create a new codec definition builder.
+ */
+declare function defineCodecs(): CodecDefBuilder<Record<never, never>>;
+//#endregion
+//#region src/query-lane-context.d.ts
+/**
+ * Registry of initialized type helpers from storage.types.
+ * Each key is a type name from storage.types, and the value is:
+ * - The result of the codec's init hook (if provided), or
+ * - The full StorageTypeInstance metadata (codecId, nativeType, typeParams) if no init hook
+ */
+type TypeHelperRegistry = Record<string, unknown>;
+/**
+ * A single validation error from JSON Schema validation.
+ */
+interface JsonSchemaValidationError {
+  readonly path: string;
+  readonly message: string;
+  readonly keyword: string;
+}
+/**
+ * Result of a JSON Schema validation.
+ */
+type JsonSchemaValidationResult = {
+  readonly valid: true;
+} | {
+  readonly valid: false;
+  readonly errors: ReadonlyArray<JsonSchemaValidationError>;
+};
+/**
+ * A compiled JSON Schema validate function.
+ * Returns a structured result indicating whether the value conforms to the schema.
+ */
+type JsonSchemaValidateFn = (value: unknown) => JsonSchemaValidationResult;
+/**
+ * Registry of compiled JSON Schema validators for columns with typed JSON/JSONB.
+ *
+ * Built during context creation by scanning the contract for columns whose codec
+ * descriptor provides an `init` hook that returns a `{ validate }` helper.
+ * Keys are `"table.column"` (e.g., `"user.metadata"`).
+ */
+interface JsonSchemaValidatorRegistry {
+  /** Get the compiled validator for a column. Key format: "table.column". */
+  get(key: string): JsonSchemaValidateFn | undefined;
+  /** Number of registered validators. */
+  readonly size: number;
+}
+type MutationDefaultsOp = 'create' | 'update';
+type AppliedMutationDefault = {
+  readonly column: string;
+  readonly value: unknown;
+};
+type MutationDefaultsOptions = {
+  readonly op: MutationDefaultsOp;
+  readonly table: string;
+  readonly values: Record<string, unknown>;
+};
+/**
+ * Minimal context interface for SQL query lanes.
+ *
+ * Lanes only need contract, operations, and codecs to build typed ASTs and attach
+ * operation builders. This interface explicitly excludes runtime concerns like
+ * adapters, connection management, and transaction state.
+ */
+interface ExecutionContext<TContract extends SqlContract<SqlStorage> = SqlContract<SqlStorage>> {
+  readonly contract: TContract;
+  readonly operations: OperationRegistry;
+  readonly codecs: CodecRegistry;
+  /**
+   * Type helper registry for parameterized types.
+   * Schema builders expose these helpers via schema.types.
+   */
+  readonly types: TypeHelperRegistry;
+  /**
+   * Compiled JSON Schema validators for typed JSON/JSONB columns.
+   * Present only when the contract declares columns with JSON Schema typeParams.
+   */
+  readonly jsonSchemaValidators?: JsonSchemaValidatorRegistry;
+  /**
+   * Applies execution-time mutation defaults for the given table.
+   * Returns the applied defaults (caller-provided values always win).
+   */
+  applyMutationDefaults(options: MutationDefaultsOptions): ReadonlyArray<AppliedMutationDefault>;
+}
+//#endregion
+export { defineCodecs as S, CodecRegistry as _, JsonSchemaValidationResult as a, codec as b, MutationDefaultsOptions as c, CodecDefBuilder as d, CodecId as f, CodecParamsDescriptor as g, CodecOutput as h, JsonSchemaValidationError as i, TypeHelperRegistry as l, CodecMeta as m, ExecutionContext as n, JsonSchemaValidatorRegistry as o, CodecInput as p, JsonSchemaValidateFn as r, MutationDefaultsOp as s, AppliedMutationDefault as t, Codec as u, ExtractCodecTypes$1 as v, createCodecRegistry as x, ExtractDataTypes as y };
+//# sourceMappingURL=query-lane-context-CgkPuKaR.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"query-lane-context-CgkPuKaR.d.mts","names":[],"sources":["../src/ast/codec-types.ts","../src/query-lane-context.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;AAWA;;;AAQyB,UARR,qBAQQ,CAAA,UARwB,MAQxB,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,UAAA,OAAA,CAAA,CAAA;EAOE;EAAY,SAAA,OAAA,EAAA,MAAA;EAAO;AAO9C;AAgBA;;EAWe,SAAA,YAAA,EAzCU,IAyCV,CAzCe,OAyCf,CAAA;EAYG;;;;;EA+BH,SAAA,IAAA,CAAA,EAAA,CAAA,MAAA,EA7EY,OA6EZ,EAAA,GA7EwB,OA6ExB;;;;;AAkBf;AACmB,UAzFF,SAAA,CAyFE;EAEqB,SAAA,EAAA,CAAA,EAAA;IACL,SAAA,GAAA,CAAA,EAAA;MACjB,SAAA,QAAA,CAAA,EAAA;QACc,SAAA,UAAA,EAAA,MAAA;MAAT,CAAA;IACM,CAAA;EAAjB,CAAA;;AAyFZ;;;;;;AAU2B,UAlLV,KAkLU,CAAA,aAAA,MAAA,GAAA,MAAA,EAAA,QAAA,OAAA,EAAA,MAAA,OAAA,EAAA,UA9Kf,MA8Ke,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,UAAA,OAAA,CAAA,CAAA;EAClB;;;;EAEqB,SAAA,EAAA,EA1Kf,IA0Ke;EACpB;;;;EAAyB,SAAA,WAAA,EAAA,SAAA,MAAA,EAAA;EAA/B;;AAeJ;;EACY,SAAA,IAAA,CAAA,EA/KM,SA+KN;EAEN;;AAGN;AACA;EAKY,SAAA,YAAA,CAAiB,EApLH,IAoLG,CApLE,OAoLF,CAAA;EACgB;;;;;;;;;;;;;;AAiB7C;;;EAGuB,SAAA,IAAA,CAAA,EAAA,CAAA,MAAA,EAtLI,OAsLJ,EAAA,GAtLgB,OAsLhB;EAC4B;;;;EAAzB,MAAA,CAAA,IAAA,EAjLX,KAiLW,CAAA,EAjLH,GAiLG;EAA+C;;;;;EAC/D,MAAA,EAAA,KAAA,EA3KO,GA2KP,CAAA,EA3Ka,KA2Kb;;AAMV;;;;;;;;AAOe,UA7KE,aAAA,CA6KF;EAEC,GAAA,CAAA,EAAA,EAAA,MAAA,CAAA,EA9KG,KA8KH,CAAA,MAAA,CAAA,GAAA,SAAA;EAAoB,GAAA,CAAA,EAAA,EAAA,MAAA,CAAA,EAAA,OAAA;EAAY,WAAA,CAAA,MAAA,EAAA,MAAA,CAAA,EAAA,SA5KR,KA4KQ,CAAA,MAAA,CAAA,EAAA;EAAnB,eAAA,CAAA,MAAA,EAAA,MAAA,CAAA,EA3KM,KA2KN,CAAA,MAAA,CAAA,GAAA,SAAA;EAAvB,QAAA,CAAA,KAAA,EA1KY,KA0KZ,CAAA,MAAA,CAAA,CAAA,EAAA,IAAA;EAA+D,CAAA,MAAA,CAAA,QAAA,GAAA,EAzK9C,QAyK8C,CAzKrC,KAyKqC,CAAA,MAAA,CAAA,CAAA;EAAY,MAAA,EAAA,EAxKrE,gBAwKqE,CAxKpD,KAwKoD,CAAA,MAAA,CAAA,CAAA;;;;;AAK9C,iBApFnB,KAoFmB,CAAA,aAAA,MAAA,EAAA,KAAA,EAAA,GAAA,EAAA,UAhFvB,MAgFuB,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,UAAA,OAAA,CAAA,CAAA,MAAA,EAAA;EAAW,MAAA,EA7EpC,IA6EoC;EAGvB,WAAA,EAAA,SAAA,MAAA,EAAA;EACD,MAAA,EAAA,CAAA,KAAA,EA/EJ,GA+EI,EAAA,GA/EI,KA+EJ;EAAY,MAAA,EAAA,CAAA,IAAA,EA9EjB,KA8EiB,EAAA,GA9EP,GA8EO;EACD,IAAA,CAAA,EA9ExB,SA8EwB;EAAY,YAAA,CAAA,EA7E5B,IA6E4B,CA7EvB,OA6EuB,CAAA;EAAvB,IAAA,CAAA,EAAA,CAAA,MAAA,EA5EJ,OA4EI,EAAA,GA5EQ,OA4ER;CACa,CAAA,EA5E/B,KA4E+B,CA5EzB,IA4EyB,EA5ErB,KA4EqB,EA5Ed,GA4Ec,EA5ET,OA4ES,EA5EA,OA4EA,CAAA;;;;AACY,KA9DnC,OA8DmC,CAAA,CAAA,CAAA,GA7D7C,CA6D6C,SA7DnC,KA6DmC,CAAA,KAAA,GAAA,EAAA,OAAA,EAAA,OAAA,CAAA,GAAA,EAAA,GA3DzC,CA2DyC,SAAA;EAAxB,SAAA,EAAA,EAAA,KAAA,GAAA;CAKE,GAAA,EAAA,GAAA,KAAA;AAC4B,KA9DzC,UA8DyC,CAAA,CAAA,CAAA,GA9DzB,CA8DyB,SA9Df,KA8De,CAAA,MAAA,EAAA,OAAA,EAAA,KAAA,IAAA,CAAA,GAAA,GAAA,GAAA,KAAA;AAAG,KA7D5C,WA6D4C,CAAA,CAAA,CAAA,GA7D3B,CA6D2B,SA7DjB,KA6DiB,CAAA,MAAA,EAAA,OAAA,EAAA,KAAA,IAAA,CAAA,GAAA,GAAA,GAAA,KAAA;;;;AAAmB,KAxD/D,mBAwD+D,CAAA,oBAAA,iBACtC,MAxDQ,WAwDR,GAxDsB,KAwDtB,CAAA,MAAA,CAAA,EAAG,GAxDqC,MAwDrC,CAAA,KAAA,EAAA,KAAA,CAAA,CAAA,GAAA,iBAAY,MAtD7B,WAsD6B,IAtDd,WAsDc,CAtDF,CAsDE,CAAA,SAtDS,KAsDT,CAAA,KAAA,GAAA,EAAA,OAAA,EAAA,OAAA,CAAA,GAAA,EAAA,GAAA,KAAA,GAAA;EAAtB,SAAA,KAAA,EAnDV,UAmDU,CAnDC,WAmDD,CAnDa,CAmDb,CAAA,CAAA;EAAlB,SAAA,MAAA,EAlDS,WAkDT,CAlDqB,WAkDrB,CAlDiC,CAkDjC,CAAA,CAAA;AAAiB,CAAA,EAuH7B;AAOA;;;;AC/aA;AASA;AASA;AAQY,KDgPA,gBChPoB,CAAA,oBAAuB,iBAStC,MDwO4B,WCxOD,GDwOe,KCxOf,CAExB,MAAA,CAAA,EAKpB,CAAA,GAAY,iBAEA,MDiOW,WCjOW,GAAA,kBAKtB,MD6Nc,mBC5NX,CD4N6B,MC5N7B,CD4NoC,CC5NpC,ED4NuC,WC1N7B,CD0NyC,CC1NzC,CAAA,CAAA,CAAA,GD0NgD,EC1NhD,EAUR,CAAA,MDiNP,mBCjNuB,CDiNL,MCjNK,CDiNE,CCjNF,EDiNK,WCjNL,CDiNiB,CCjNjB,CAAA,CAAA,CAAA,CAAA,EACD;;;;AAEX,UDoNJ,eCpNI,CAAA,oBAAA,iBACE,MDoNsB,WCpNtB,GDoNoC,KCpNpC,CAAA,MAAA,CAAA,EACJ,GDmN0D,MCnN1D,CAAA,KAAA,EAAA,KAAA,CAAA,CAAA,CAAA;EAKD,SAAA,UAAA,EDgNK,mBChNL,CDgNuB,WChNvB,CAAA;EAKgB,GAAA,CAAA,mBAAA,MAAA,EAAA,kBD6MiB,KC7MjB,CAAA,MAAA,CAAA,CAAA,CAAA,UAAA,ED8MlB,UC9MkB,EAAA,SAAA,ED+MnB,SC/MmB,CAAA,EDgN7B,eChN6B,CDiN9B,CAAA,CAAE,SCjN4B,CDiNlB,WCjNkB,EDiNL,MCjNK,CDiNE,UCjNF,EDiNc,SCjNd,CAAA,CAAA,GDiN4B,MCjN5B,CDiNmC,UCjNnC,EDiN+C,SCjN/C,CAAA,CAAA;EAKD,SAAA,gBAAA,EAAA,iBAAwC,MDgNhD,WChNgD,GAAA;IAAd,SAAA,MAAA,EDiNpC,WCjNoC,CDiNxB,CCjNwB,CAAA,SDiNb,KCjNa,CAAA,KAAA,YAAA,MAAA,EAAA,OAAA,EAAA,OAAA,CAAA,GAAA,EAAA,GAAA,KAAA;IAAa,SAAA,MAAA,EDoNjD,CCpNiD;oBDqNlD,YAAY;oBACZ,WAAW,YAAY;qBACtB,YAAY,YAAY;qBACxB,YAAY,YAAY;;6CAKtB,sCACG,oBAAkB,OAAO,GAAG,YAAY,OAAO,WAC/D,oBAAkB,OAAO,GAAG,YAAY;;;;;iBAuHpC,mBAAA,CAAA,GAAuB;;;;iBAOvB,YAAA,CAAA,GAAgB,gBAAgB;;;;;;AA9ahD;;;AAQyB,KCTb,kBAAA,GAAqB,MDSR,CAAA,MAAA,EAAA,OAAA,CAAA;;;;AAcR,UCdA,yBAAA,CDcS;EAgBT,SAAK,IAAA,EAAA,MAAA;EAIV,SAAA,OAAA,EAAA,MAAA;EAOG,SAAA,OAAA,EAAA,MAAA;;;;;AAqCwB,KCrE3B,0BAAA,GDqE2B;EAMxB,SAAA,KAAA,EAAA,IAAA;CAAQ,GAAA;EAON,SAAA,KAAA,EAAA,KAAA;EAAM,SAAA,MAAA,EChFuB,aDgFvB,CChFqC,yBDgFrC,CAAA;CAAK;AAW5B;;;;AAKkB,KC1FN,oBAAA,GD0FM,CAAA,KAAA,EAAA,OAAA,EAAA,GC1FqC,0BD0FrC;;;;;;AA2FlB;;AAOU,UCnLO,2BAAA,CDmLP;EAEQ;EAAQ,GAAA,CAAA,GAAA,EAAA,MAAA,CAAA,ECnLN,oBDmLM,GAAA,SAAA;EACT;EAAU,SAAA,IAAA,EAAA,MAAA;;AAEL,KCjLV,kBAAA,GDiLU,QAAA,GAAA,QAAA;AAAL,KC/KL,sBAAA,GD+KK;EACC,SAAA,MAAA,EAAA,MAAA;EAAY,SAAA,KAAA,EAAA,OAAA;CACpB;AAAI,KC5KF,uBAAA,GD4KE;EAAO,SAAA,EAAA,EC3KN,kBD2KM;EAAK,SAAA,KAAA,EAAA,MAAA;EAAS,SAAA,MAAA,ECzKhB,MDyKgB,CAAA,MAAA,EAAA,OAAA,CAAA;CAA/B;;AAeJ;;;;;AAMA;AACY,UCrLK,gBDqLY,CAAU,kBCpLnB,WDoLwB,CCpLZ,UDoLY,CAAA,GCpLE,WDoLF,CCpLc,UDoLd,CAAA,CAAA,CAAA;EAKhC,SAAA,QAAA,ECvLS,SDuLQ;EACgB,SAAA,UAAA,ECvLtB,iBDuLsB;EAAc,SAAA,MAAA,ECtLxC,aDsLwC;EAAkB;;;;EAEhB,SAAA,KAAA,ECnL3C,kBDmL2C;EAG9B;;;;EACc,SAAA,oBAAA,CAAA,EClLX,2BDkLW;EAAxB;;AAWrB;;EAC2D,qBAAA,CAAA,OAAA,ECzL1B,uBDyL0B,CAAA,ECzLA,aDyLA,CCzLc,sBDyLd,CAAA"}

package/dist/schema-Bi5p4aAc.mjs

@@ -0,0 +1,175 @@
+import { t as attachOperationsToColumnBuilder } from "./operations-registry-DPZ5aElH.mjs";
+import { planInvalid } from "@prisma-next/plan";
+
+//#region src/schema.ts
+var ColumnBuilderImpl = class {
+	kind = "column";
+	constructor(table, column, storageColumn) {
+		this.table = table;
+		this.column = column;
+		this.storageColumn = storageColumn;
+	}
+	get columnMeta() {
+		return this.storageColumn;
+	}
+	get __jsType() {}
+	/**
+	* Converts this column builder to a ColumnRef expression.
+	* This is the canonical way to get an AST node from a builder.
+	*/
+	toExpr() {
+		return Object.freeze({
+			kind: "col",
+			table: this.table,
+			column: this.column
+		});
+	}
+	createBinaryBuilder(op, value) {
+		if (value == null) throw planInvalid("Parameter placeholder or expression source required for column comparison");
+		if ("toExpr" in value && typeof value.toExpr === "function") return Object.freeze({
+			kind: "binary",
+			op,
+			left: this.toExpr(),
+			right: value
+		});
+		if ("kind" in value && value.kind === "param-placeholder") return Object.freeze({
+			kind: "binary",
+			op,
+			left: this.toExpr(),
+			right: value
+		});
+		throw planInvalid("Parameter placeholder or expression source required for column comparison");
+	}
+	eq(value) {
+		return this.createBinaryBuilder("eq", value);
+	}
+	neq(value) {
+		return this.createBinaryBuilder("neq", value);
+	}
+	gt(value) {
+		return this.createBinaryBuilder("gt", value);
+	}
+	lt(value) {
+		return this.createBinaryBuilder("lt", value);
+	}
+	gte(value) {
+		return this.createBinaryBuilder("gte", value);
+	}
+	lte(value) {
+		return this.createBinaryBuilder("lte", value);
+	}
+	asc() {
+		return Object.freeze({
+			kind: "order",
+			expr: this.toExpr(),
+			dir: "asc"
+		});
+	}
+	desc() {
+		return Object.freeze({
+			kind: "order",
+			expr: this.toExpr(),
+			dir: "desc"
+		});
+	}
+	/**
+	* Creates an IS NULL check for this column.
+	* Available on all columns at runtime, but typed to only be visible on nullable columns.
+	*/
+	isNull() {
+		return Object.freeze({
+			kind: "nullCheck",
+			expr: this.toExpr(),
+			isNull: true
+		});
+	}
+	/**
+	* Creates an IS NOT NULL check for this column.
+	* Available on all columns at runtime, but typed to only be visible on nullable columns.
+	*/
+	isNotNull() {
+		return Object.freeze({
+			kind: "nullCheck",
+			expr: this.toExpr(),
+			isNull: false
+		});
+	}
+};
+var TableBuilderImpl = class {
+	kind = "table";
+	columns;
+	_name;
+	constructor(name, columns) {
+		this._name = name;
+		this.columns = columns;
+	}
+	get name() {
+		return this._name;
+	}
+};
+function buildColumns(tableName, storage, _contract, operationRegistry, contractCapabilities) {
+	const table = storage.tables[tableName];
+	if (!table) throw planInvalid(`Unknown table ${tableName}`);
+	const tableColumns = table.columns;
+	const result = {};
+	const assignColumn = (columnName, columnDef) => {
+		result[columnName] = attachOperationsToColumnBuilder(new ColumnBuilderImpl(tableName, columnName, columnDef), columnDef, operationRegistry, contractCapabilities);
+	};
+	for (const columnName of Object.keys(tableColumns)) {
+		const columnDef = tableColumns[columnName];
+		if (!columnDef) continue;
+		assignColumn(columnName, columnDef);
+	}
+	return result;
+}
+/**
+* Creates a Proxy that enables accessing table columns directly on the table object,
+* in addition to the standard `table.columns.columnName` syntax.
+*
+* This allows both access patterns:
+* - `tables.user.columns.id` (standard access)
+* - `tables.user.id` (convenience access via proxy)
+*
+* The proxy intercepts property access and routes column name lookups to
+* `table.columns[prop]`, while preserving direct access to table properties
+* like `name`, `kind`, and `columns`.
+*/
+function createTableProxy(table) {
+	return new Proxy(table, { get(target, prop) {
+		if (prop === "name" || prop === "kind" || prop === "columns") return Reflect.get(target, prop);
+		if (typeof prop === "string" && prop in target.columns) return target.columns[prop];
+	} });
+}
+/**
+* Creates a schema handle for building SQL queries.
+*
+* @param context - Query lane context containing contract, codec and operation registries
+* @returns A schema handle with typed table builders and type helpers
+*
+* @example
+* ```typescript
+* const schemaHandle = schema<Contract>(context);
+* const userTable = schemaHandle.tables.user;
+* const vectorType = schemaHandle.types.Vector1536;
+* ```
+*/
+function schema(context) {
+	const contract = context.contract;
+	const storage = contract.storage;
+	const tables = {};
+	const contractCapabilities = contract.capabilities;
+	const operationRegistry = context.operations;
+	for (const tableName of Object.keys(storage.tables)) {
+		const proxiedTable = createTableProxy(new TableBuilderImpl(tableName, buildColumns(tableName, storage, contract, operationRegistry, contractCapabilities)));
+		tables[tableName] = Object.freeze(proxiedTable);
+	}
+	const types = context.types;
+	return Object.freeze({
+		tables,
+		types
+	});
+}
+
+//#endregion
+export { TableBuilderImpl as n, schema as r, ColumnBuilderImpl as t };
+//# sourceMappingURL=schema-Bi5p4aAc.mjs.map