@prisma-next/sql-relational-core 0.14.0-dev.34 → 0.14.0-dev.36

package/dist/{ddl-types-BVO002FS.d.mts → ddl-types-Cd4p4EbE.d.mts}

@@ -124,7 +124,25 @@ declare class UniqueConstraint {
     readonly name?: string;
   });
 }
-type DdlTableConstraint = PrimaryKeyConstraint | ForeignKeyConstraint | UniqueConstraint;
+/**
+ * A table-level CHECK constraint carrying a raw SQL predicate expression. Used
+ * for checks that are not enum value-set restrictions — e.g. the element-non-null
+ * constraint on a scalar-array column (`array_position(col, NULL) IS NULL`).
+ * The `expression` is emitted verbatim, so callers must supply safe,
+ * pre-validated SQL.
+ *
+ * Frozen on construction — immutable after creation.
+ */
+declare class CheckExpressionConstraint {
+  readonly kind: "check-expression";
+  readonly name: string;
+  readonly expression: string;
+  constructor(options: {
+    readonly name: string;
+    readonly expression: string;
+  });
+}
+type DdlTableConstraint = PrimaryKeyConstraint | ForeignKeyConstraint | UniqueConstraint | CheckExpressionConstraint;
 //#endregion
-export { DdlColumnRenderContext as a, ForeignKeyConstraint as c, PrimaryKeyConstraint as d, UniqueConstraint as f, DdlColumnDefaultVisitor as i, FunctionColumnDefault as l, DdlColumn as n, DdlNode as o, isDdlNode as p, DdlColumnDefault as r, DdlTableConstraint as s, AnyDdlColumnDefault as t, LiteralColumnDefault as u };
-//# sourceMappingURL=ddl-types-BVO002FS.d.mts.map
+export { DdlColumnDefaultVisitor as a, DdlTableConstraint as c, LiteralColumnDefault as d, PrimaryKeyConstraint as f, DdlColumnDefault as i, ForeignKeyConstraint as l, isDdlNode as m, CheckExpressionConstraint as n, DdlColumnRenderContext as o, UniqueConstraint as p, DdlColumn as r, DdlNode as s, AnyDdlColumnDefault as t, FunctionColumnDefault as u };
+//# sourceMappingURL=ddl-types-Cd4p4EbE.d.mts.map

package/dist/{ddl-types-BVO002FS.d.mts.map → ddl-types-Cd4p4EbE.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"ddl-types-BVO002FS.d.mts","names":[],"sources":["../src/ast/ddl-types.ts"],"mappings":";;;;;;;;AAeA;;;;AACqB;AAGrB;;UAJiB,sBAAA;EAAA,SACN,UAAU;AAAA;AAAA,UAGJ,uBAAA;EACf,OAAA,CAAQ,IAAA,EAAM,oBAAA,EAAsB,GAAA,EAAK,sBAAA,GAAyB,CAAA;EAClE,QAAA,CAAS,IAAA,EAAM,qBAAA,EAAuB,GAAA,EAAK,sBAAA,GAAyB,CAAA;AAAA;AAAA,uBAGhD,gBAAA;EAAA,kBACF,IAAA;EAAA,SACT,MAAA,IAAU,OAAA,EAAS,uBAAA,CAAwB,CAAA,GAAI,GAAA,EAAK,sBAAA,GAAyB,CAAA;EAAA,UAE5E,MAAA;AAAA;AAAA,cAKC,oBAAA,SAA6B,gBAAA;EAAA,SAC/B,IAAA;EAAA,SACA,KAAA,EAAO,8BAAA;cAEJ,KAAA,EAAO,8BAAA;EASV,MAAA,IAAU,OAAA,EAAS,uBAAA,CAAwB,CAAA,GAAI,GAAA,EAAK,sBAAA,GAAyB,CAAA;AAAA;AAAA,cAK3E,qBAAA,SAA8B,gBAAA;EAAA,SAChC,IAAA;EAAA,SACA,UAAA;cAEG,UAAA;EAMH,MAAA,IAAU,OAAA,EAAS,uBAAA,CAAwB,CAAA,GAAI,GAAA,EAAK,sBAAA,GAAyB,CAAA;AAAA;AAAA,KAK5E,mBAAA,GAAsB,oBAAA,GAAuB,qBAAqB;AAAA,cAEjE,SAAA;EAAA,SACF,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA;EAAA,SACA,UAAA;EAAA,SACA,OAAA,GAAU,mBAAA;EA/CoE;EAAA,SAiD9E,QAAA,GAAW,QAAA;cAER,OAAA;IAAA,SACD,IAAA;IAAA,SACA,IAAA;IAAA,SACA,OAAA;IAAA,SACA,UAAA;IAAA,SACA,OAAA,GAAU,mBAAA;IAAA,SACV,QAAA,GAAW,QAAA;EAAA;AAAA;AAAA,uBAYF,OAAA;EAAA,kBACF,IAAA;EApEF;AAKlB;;;;;EAuEE,SAAA;EAAA,UAIU,MAAA;EAIV,gBAAA,IAAoB,WAAW;AAAA;AAAA,iBAKjB,SAAA,CAAU,KAAA,YAAiB,KAAA,IAAS,OAAO;;;;;;;;cAoB9C,oBAAA;EAAA,SACF,IAAA;EAAA,SACA,OAAA,EAAS,aAAa;EAAA,SACtB,IAAA;cAEG,OAAA;IAAA,SAAoB,OAAA;IAAA,SAAqC,IAAA;EAAA;AAAA;;;AAhGkB;AAKzF;;;;cAyGa,oBAAA;EAAA,SACF,IAAA;EAAA,SACA,OAAA,EAAS,aAAA;EAAA,SACT,QAAA;EAAA,SACA,UAAA,EAAY,aAAA;EAAA,SACZ,QAAA,EAAU,iBAAA;EAAA,SACV,QAAA,EAAU,iBAAA;EAAA,SACV,IAAA;cAEG,OAAA;IAAA,SACD,OAAA;IAAA,SACA,QAAA;IAAA,SACA,UAAA;IAAA,SACA,QAAA,GAAW,iBAAA;IAAA,SACX,QAAA,GAAW,iBAAA;IAAA,SACX,IAAA;EAAA;AAAA;;;;AA9G4E;AAKzF;;;cA4Ha,gBAAA;EAAA,SACF,IAAA;EAAA,SACA,OAAA,EAAS,aAAa;EAAA,SACtB,IAAA;cAEG,OAAA;IAAA,SAAoB,OAAA;IAAA,SAAqC,IAAA;EAAA;AAAA;AAAA,KAO3D,kBAAA,GAAqB,oBAAA,GAAuB,oBAAA,GAAuB,gBAAA"}
+{"version":3,"file":"ddl-types-Cd4p4EbE.d.mts","names":[],"sources":["../src/ast/ddl-types.ts"],"mappings":";;;;;;;;AAeA;;;;AACqB;AAGrB;;UAJiB,sBAAA;EAAA,SACN,UAAU;AAAA;AAAA,UAGJ,uBAAA;EACf,OAAA,CAAQ,IAAA,EAAM,oBAAA,EAAsB,GAAA,EAAK,sBAAA,GAAyB,CAAA;EAClE,QAAA,CAAS,IAAA,EAAM,qBAAA,EAAuB,GAAA,EAAK,sBAAA,GAAyB,CAAA;AAAA;AAAA,uBAGhD,gBAAA;EAAA,kBACF,IAAA;EAAA,SACT,MAAA,IAAU,OAAA,EAAS,uBAAA,CAAwB,CAAA,GAAI,GAAA,EAAK,sBAAA,GAAyB,CAAA;EAAA,UAE5E,MAAA;AAAA;AAAA,cAKC,oBAAA,SAA6B,gBAAA;EAAA,SAC/B,IAAA;EAAA,SACA,KAAA,EAAO,8BAAA;cAEJ,KAAA,EAAO,8BAAA;EASV,MAAA,IAAU,OAAA,EAAS,uBAAA,CAAwB,CAAA,GAAI,GAAA,EAAK,sBAAA,GAAyB,CAAA;AAAA;AAAA,cAK3E,qBAAA,SAA8B,gBAAA;EAAA,SAChC,IAAA;EAAA,SACA,UAAA;cAEG,UAAA;EAMH,MAAA,IAAU,OAAA,EAAS,uBAAA,CAAwB,CAAA,GAAI,GAAA,EAAK,sBAAA,GAAyB,CAAA;AAAA;AAAA,KAK5E,mBAAA,GAAsB,oBAAA,GAAuB,qBAAqB;AAAA,cAEjE,SAAA;EAAA,SACF,IAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA;EAAA,SACA,UAAA;EAAA,SACA,OAAA,GAAU,mBAAA;EA/CoE;EAAA,SAiD9E,QAAA,GAAW,QAAA;cAER,OAAA;IAAA,SACD,IAAA;IAAA,SACA,IAAA;IAAA,SACA,OAAA;IAAA,SACA,UAAA;IAAA,SACA,OAAA,GAAU,mBAAA;IAAA,SACV,QAAA,GAAW,QAAA;EAAA;AAAA;AAAA,uBAYF,OAAA;EAAA,kBACF,IAAA;EApEF;AAKlB;;;;;EAuEE,SAAA;EAAA,UAIU,MAAA;EAIV,gBAAA,IAAoB,WAAW;AAAA;AAAA,iBAKjB,SAAA,CAAU,KAAA,YAAiB,KAAA,IAAS,OAAO;;;;;;;;cAoB9C,oBAAA;EAAA,SACF,IAAA;EAAA,SACA,OAAA,EAAS,aAAa;EAAA,SACtB,IAAA;cAEG,OAAA;IAAA,SAAoB,OAAA;IAAA,SAAqC,IAAA;EAAA;AAAA;;;AAhGkB;AAKzF;;;;cAyGa,oBAAA;EAAA,SACF,IAAA;EAAA,SACA,OAAA,EAAS,aAAA;EAAA,SACT,QAAA;EAAA,SACA,UAAA,EAAY,aAAA;EAAA,SACZ,QAAA,EAAU,iBAAA;EAAA,SACV,QAAA,EAAU,iBAAA;EAAA,SACV,IAAA;cAEG,OAAA;IAAA,SACD,OAAA;IAAA,SACA,QAAA;IAAA,SACA,UAAA;IAAA,SACA,QAAA,GAAW,iBAAA;IAAA,SACX,QAAA,GAAW,iBAAA;IAAA,SACX,IAAA;EAAA;AAAA;;;;AA9G4E;AAKzF;;;cA4Ha,gBAAA;EAAA,SACF,IAAA;EAAA,SACA,OAAA,EAAS,aAAa;EAAA,SACtB,IAAA;cAEG,OAAA;IAAA,SAAoB,OAAA;IAAA,SAAqC,IAAA;EAAA;AAAA;;;;;;;;;;cAgB1D,yBAAA;EAAA,SACF,IAAA;EAAA,SACA,IAAA;EAAA,SACA,UAAA;cAEG,OAAA;IAAA,SAAoB,IAAA;IAAA,SAAuB,UAAA;EAAA;AAAA;AAAA,KAO7C,kBAAA,GACR,oBAAA,GACA,oBAAA,GACA,gBAAA,GACA,yBAAA"}

package/dist/{ddl-types-DAox2c8w.mjs → ddl-types-DFKQr_qQ.mjs}

@@ -127,7 +127,26 @@ var UniqueConstraint = class {
 		Object.freeze(this);
 	}
 };
+/**
+* A table-level CHECK constraint carrying a raw SQL predicate expression. Used
+* for checks that are not enum value-set restrictions — e.g. the element-non-null
+* constraint on a scalar-array column (`array_position(col, NULL) IS NULL`).
+* The `expression` is emitted verbatim, so callers must supply safe,
+* pre-validated SQL.
+*
+* Frozen on construction — immutable after creation.
+*/
+var CheckExpressionConstraint = class {
+	kind = "check-expression";
+	name;
+	expression;
+	constructor(options) {
+		this.name = options.name;
+		this.expression = options.expression;
+		Object.freeze(this);
+	}
+};
 //#endregion
-export { FunctionColumnDefault as a, UniqueConstraint as c, ForeignKeyConstraint as i, isDdlNode as l, DdlColumnDefault as n, LiteralColumnDefault as o, DdlNode as r, PrimaryKeyConstraint as s, DdlColumn as t };
+export { ForeignKeyConstraint as a, PrimaryKeyConstraint as c, DdlNode as i, UniqueConstraint as l, DdlColumn as n, FunctionColumnDefault as o, DdlColumnDefault as r, LiteralColumnDefault as s, CheckExpressionConstraint as t, isDdlNode as u };
 
-//# sourceMappingURL=ddl-types-DAox2c8w.mjs.map
+//# sourceMappingURL=ddl-types-DFKQr_qQ.mjs.map

package/dist/{ddl-types-DAox2c8w.mjs.map → ddl-types-DFKQr_qQ.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"ddl-types-DAox2c8w.mjs","names":[],"sources":["../src/ast/ddl-types.ts"],"sourcesContent":["import type { ColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';\nimport { isColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';\nimport type { ReferentialAction } from '@prisma-next/sql-contract/types';\nimport type { CodecRef } from './codec-types';\nimport type { AnyParamRef } from './types';\n\n/**\n * Render-time context the column-default visitor needs to make dialect\n * decisions that depend on the parent column. Today only the parent\n * column's native type (`\"jsonb\"`, `\"text\"`, …) — the Postgres renderer\n * uses it to decide whether to emit a `::jsonb` / `::json` cast on JSON\n * literal defaults so the emitted DDL matches the column type without\n * relying on Postgres's implicit text → jsonb cast at default-evaluation\n * time. Additional fields can join without re-shaping the interface.\n */\nexport interface DdlColumnRenderContext {\n  readonly nativeType: string;\n}\n\nexport interface DdlColumnDefaultVisitor<R> {\n  literal(node: LiteralColumnDefault, ctx: DdlColumnRenderContext): R;\n  function(node: FunctionColumnDefault, ctx: DdlColumnRenderContext): R;\n}\n\nexport abstract class DdlColumnDefault {\n  abstract readonly kind: string;\n  abstract accept<R>(visitor: DdlColumnDefaultVisitor<R>, ctx: DdlColumnRenderContext): R;\n\n  protected freeze(): void {\n    Object.freeze(this);\n  }\n}\n\nexport class LiteralColumnDefault extends DdlColumnDefault {\n  readonly kind = 'literal' as const;\n  readonly value: ColumnDefaultLiteralInputValue;\n\n  constructor(value: ColumnDefaultLiteralInputValue) {\n    super();\n    if (!isColumnDefaultLiteralInputValue(value)) {\n      throw new Error('Invalid column default literal value');\n    }\n    this.value = value;\n    this.freeze();\n  }\n\n  override accept<R>(visitor: DdlColumnDefaultVisitor<R>, ctx: DdlColumnRenderContext): R {\n    return visitor.literal(this, ctx);\n  }\n}\n\nexport class FunctionColumnDefault extends DdlColumnDefault {\n  readonly kind = 'function' as const;\n  readonly expression: string;\n\n  constructor(expression: string) {\n    super();\n    this.expression = expression;\n    this.freeze();\n  }\n\n  override accept<R>(visitor: DdlColumnDefaultVisitor<R>, ctx: DdlColumnRenderContext): R {\n    return visitor.function(this, ctx);\n  }\n}\n\nexport type AnyDdlColumnDefault = LiteralColumnDefault | FunctionColumnDefault;\n\nexport class DdlColumn {\n  readonly name: string;\n  readonly type: string;\n  readonly notNull?: boolean | undefined;\n  readonly primaryKey?: boolean | undefined;\n  readonly default?: AnyDdlColumnDefault | undefined;\n  /** Codec identity for this column. When present, the DDL walker resolves the codec via `codecLookup.get(codecRef.codecId)` and calls `codec.encode(default.value, {})` to obtain the wire value before inlining the literal default into the DDL string. When absent, literal defaults follow RawSqlLiteral wire-scalar semantics (string / number / boolean / bigint / null / Uint8Array / Date inlined directly). */\n  readonly codecRef?: CodecRef | undefined;\n\n  constructor(options: {\n    readonly name: string;\n    readonly type: string;\n    readonly notNull?: boolean;\n    readonly primaryKey?: boolean;\n    readonly default?: AnyDdlColumnDefault;\n    readonly codecRef?: CodecRef;\n  }) {\n    this.name = options.name;\n    this.type = options.type;\n    this.notNull = options.notNull;\n    this.primaryKey = options.primaryKey;\n    this.default = options.default;\n    this.codecRef = options.codecRef;\n    Object.freeze(this);\n  }\n}\n\nexport abstract class DdlNode {\n  abstract readonly kind: string;\n\n  /**\n   * Structural brand: every DDL node answers `true`. Lets {@link isDdlNode}\n   * recognise any `DdlNode` subclass — including target-contributed kinds —\n   * without a central kind registry that subclasses would have to register\n   * into.\n   */\n  isDdlNode(): true {\n    return true;\n  }\n\n  protected freeze(): void {\n    Object.freeze(this);\n  }\n\n  collectParamRefs(): AnyParamRef[] {\n    return [];\n  }\n}\n\nexport function isDdlNode(value: unknown): value is DdlNode {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'isDdlNode' in value &&\n    typeof value.isDdlNode === 'function'\n  );\n}\n\n// ---------------------------------------------------------------------------\n// Table-level constraint nodes\n// ---------------------------------------------------------------------------\n\n/**\n * A composite (or single-column) PRIMARY KEY constraint on a `CreateTable`\n * node. When `name` is set, the adapter renders `CONSTRAINT <name> PRIMARY KEY\n * (…)`; otherwise it renders an anonymous `PRIMARY KEY (…)`.\n *\n * Frozen on construction — immutable after creation.\n */\nexport class PrimaryKeyConstraint {\n  readonly kind = 'primary-key' as const;\n  readonly columns: ReadonlyArray<string>;\n  readonly name: string | undefined;\n\n  constructor(options: { readonly columns: readonly string[]; readonly name?: string }) {\n    this.columns = Object.freeze([...options.columns]);\n    this.name = options.name;\n    Object.freeze(this);\n  }\n}\n\n/**\n * A FOREIGN KEY constraint on a `CreateTable` node. `onDelete` and `onUpdate`\n * use the same `ReferentialAction` vocabulary already used by the migration\n * planner and the contract IR — no parallel string enum.\n *\n * Frozen on construction — immutable after creation.\n */\nexport class ForeignKeyConstraint {\n  readonly kind = 'foreign-key' as const;\n  readonly columns: ReadonlyArray<string>;\n  readonly refTable: string;\n  readonly refColumns: ReadonlyArray<string>;\n  readonly onDelete: ReferentialAction | undefined;\n  readonly onUpdate: ReferentialAction | undefined;\n  readonly name: string | undefined;\n\n  constructor(options: {\n    readonly columns: readonly string[];\n    readonly refTable: string;\n    readonly refColumns: readonly string[];\n    readonly onDelete?: ReferentialAction;\n    readonly onUpdate?: ReferentialAction;\n    readonly name?: string;\n  }) {\n    this.columns = Object.freeze([...options.columns]);\n    this.refTable = options.refTable;\n    this.refColumns = Object.freeze([...options.refColumns]);\n    this.onDelete = options.onDelete;\n    this.onUpdate = options.onUpdate;\n    this.name = options.name;\n    Object.freeze(this);\n  }\n}\n\n/**\n * A table-level UNIQUE constraint on a `CreateTable` node. When `name` is\n * set, the adapter renders `CONSTRAINT <name> UNIQUE (…)`; otherwise it\n * renders an anonymous `UNIQUE (…)`.\n *\n * Frozen on construction — immutable after creation.\n */\nexport class UniqueConstraint {\n  readonly kind = 'unique' as const;\n  readonly columns: ReadonlyArray<string>;\n  readonly name: string | undefined;\n\n  constructor(options: { readonly columns: readonly string[]; readonly name?: string }) {\n    this.columns = Object.freeze([...options.columns]);\n    this.name = options.name;\n    Object.freeze(this);\n  }\n}\n\nexport type DdlTableConstraint = PrimaryKeyConstraint | ForeignKeyConstraint | UniqueConstraint;\n"],"mappings":";;AAwBA,IAAsB,mBAAtB,MAAuC;CAIrC,SAAyB;EACvB,OAAO,OAAO,IAAI;CACpB;AACF;AAEA,IAAa,uBAAb,cAA0C,iBAAiB;CACzD,OAAgB;CAChB;CAEA,YAAY,OAAuC;EACjD,MAAM;EACN,IAAI,CAAC,iCAAiC,KAAK,GACzC,MAAM,IAAI,MAAM,sCAAsC;EAExD,KAAK,QAAQ;EACb,KAAK,OAAO;CACd;CAEA,OAAmB,SAAqC,KAAgC;EACtF,OAAO,QAAQ,QAAQ,MAAM,GAAG;CAClC;AACF;AAEA,IAAa,wBAAb,cAA2C,iBAAiB;CAC1D,OAAgB;CAChB;CAEA,YAAY,YAAoB;EAC9B,MAAM;EACN,KAAK,aAAa;EAClB,KAAK,OAAO;CACd;CAEA,OAAmB,SAAqC,KAAgC;EACtF,OAAO,QAAQ,SAAS,MAAM,GAAG;CACnC;AACF;AAIA,IAAa,YAAb,MAAuB;CACrB;CACA;CACA;CACA;CACA;;CAEA;CAEA,YAAY,SAOT;EACD,KAAK,OAAO,QAAQ;EACpB,KAAK,OAAO,QAAQ;EACpB,KAAK,UAAU,QAAQ;EACvB,KAAK,aAAa,QAAQ;EAC1B,KAAK,UAAU,QAAQ;EACvB,KAAK,WAAW,QAAQ;EACxB,OAAO,OAAO,IAAI;CACpB;AACF;AAEA,IAAsB,UAAtB,MAA8B;;;;;;;CAS5B,YAAkB;EAChB,OAAO;CACT;CAEA,SAAyB;EACvB,OAAO,OAAO,IAAI;CACpB;CAEA,mBAAkC;EAChC,OAAO,CAAC;CACV;AACF;AAEA,SAAgB,UAAU,OAAkC;CAC1D,OACE,OAAO,UAAU,YACjB,UAAU,QACV,eAAe,SACf,OAAO,MAAM,cAAc;AAE/B;;;;;;;;AAaA,IAAa,uBAAb,MAAkC;CAChC,OAAgB;CAChB;CACA;CAEA,YAAY,SAA0E;EACpF,KAAK,UAAU,OAAO,OAAO,CAAC,GAAG,QAAQ,OAAO,CAAC;EACjD,KAAK,OAAO,QAAQ;EACpB,OAAO,OAAO,IAAI;CACpB;AACF;;;;;;;;AASA,IAAa,uBAAb,MAAkC;CAChC,OAAgB;CAChB;CACA;CACA;CACA;CACA;CACA;CAEA,YAAY,SAOT;EACD,KAAK,UAAU,OAAO,OAAO,CAAC,GAAG,QAAQ,OAAO,CAAC;EACjD,KAAK,WAAW,QAAQ;EACxB,KAAK,aAAa,OAAO,OAAO,CAAC,GAAG,QAAQ,UAAU,CAAC;EACvD,KAAK,WAAW,QAAQ;EACxB,KAAK,WAAW,QAAQ;EACxB,KAAK,OAAO,QAAQ;EACpB,OAAO,OAAO,IAAI;CACpB;AACF;;;;;;;;AASA,IAAa,mBAAb,MAA8B;CAC5B,OAAgB;CAChB;CACA;CAEA,YAAY,SAA0E;EACpF,KAAK,UAAU,OAAO,OAAO,CAAC,GAAG,QAAQ,OAAO,CAAC;EACjD,KAAK,OAAO,QAAQ;EACpB,OAAO,OAAO,IAAI;CACpB;AACF"}
+{"version":3,"file":"ddl-types-DFKQr_qQ.mjs","names":[],"sources":["../src/ast/ddl-types.ts"],"sourcesContent":["import type { ColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';\nimport { isColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';\nimport type { ReferentialAction } from '@prisma-next/sql-contract/types';\nimport type { CodecRef } from './codec-types';\nimport type { AnyParamRef } from './types';\n\n/**\n * Render-time context the column-default visitor needs to make dialect\n * decisions that depend on the parent column. Today only the parent\n * column's native type (`\"jsonb\"`, `\"text\"`, …) — the Postgres renderer\n * uses it to decide whether to emit a `::jsonb` / `::json` cast on JSON\n * literal defaults so the emitted DDL matches the column type without\n * relying on Postgres's implicit text → jsonb cast at default-evaluation\n * time. Additional fields can join without re-shaping the interface.\n */\nexport interface DdlColumnRenderContext {\n  readonly nativeType: string;\n}\n\nexport interface DdlColumnDefaultVisitor<R> {\n  literal(node: LiteralColumnDefault, ctx: DdlColumnRenderContext): R;\n  function(node: FunctionColumnDefault, ctx: DdlColumnRenderContext): R;\n}\n\nexport abstract class DdlColumnDefault {\n  abstract readonly kind: string;\n  abstract accept<R>(visitor: DdlColumnDefaultVisitor<R>, ctx: DdlColumnRenderContext): R;\n\n  protected freeze(): void {\n    Object.freeze(this);\n  }\n}\n\nexport class LiteralColumnDefault extends DdlColumnDefault {\n  readonly kind = 'literal' as const;\n  readonly value: ColumnDefaultLiteralInputValue;\n\n  constructor(value: ColumnDefaultLiteralInputValue) {\n    super();\n    if (!isColumnDefaultLiteralInputValue(value)) {\n      throw new Error('Invalid column default literal value');\n    }\n    this.value = value;\n    this.freeze();\n  }\n\n  override accept<R>(visitor: DdlColumnDefaultVisitor<R>, ctx: DdlColumnRenderContext): R {\n    return visitor.literal(this, ctx);\n  }\n}\n\nexport class FunctionColumnDefault extends DdlColumnDefault {\n  readonly kind = 'function' as const;\n  readonly expression: string;\n\n  constructor(expression: string) {\n    super();\n    this.expression = expression;\n    this.freeze();\n  }\n\n  override accept<R>(visitor: DdlColumnDefaultVisitor<R>, ctx: DdlColumnRenderContext): R {\n    return visitor.function(this, ctx);\n  }\n}\n\nexport type AnyDdlColumnDefault = LiteralColumnDefault | FunctionColumnDefault;\n\nexport class DdlColumn {\n  readonly name: string;\n  readonly type: string;\n  readonly notNull?: boolean | undefined;\n  readonly primaryKey?: boolean | undefined;\n  readonly default?: AnyDdlColumnDefault | undefined;\n  /** Codec identity for this column. When present, the DDL walker resolves the codec via `codecLookup.get(codecRef.codecId)` and calls `codec.encode(default.value, {})` to obtain the wire value before inlining the literal default into the DDL string. When absent, literal defaults follow RawSqlLiteral wire-scalar semantics (string / number / boolean / bigint / null / Uint8Array / Date inlined directly). */\n  readonly codecRef?: CodecRef | undefined;\n\n  constructor(options: {\n    readonly name: string;\n    readonly type: string;\n    readonly notNull?: boolean;\n    readonly primaryKey?: boolean;\n    readonly default?: AnyDdlColumnDefault;\n    readonly codecRef?: CodecRef;\n  }) {\n    this.name = options.name;\n    this.type = options.type;\n    this.notNull = options.notNull;\n    this.primaryKey = options.primaryKey;\n    this.default = options.default;\n    this.codecRef = options.codecRef;\n    Object.freeze(this);\n  }\n}\n\nexport abstract class DdlNode {\n  abstract readonly kind: string;\n\n  /**\n   * Structural brand: every DDL node answers `true`. Lets {@link isDdlNode}\n   * recognise any `DdlNode` subclass — including target-contributed kinds —\n   * without a central kind registry that subclasses would have to register\n   * into.\n   */\n  isDdlNode(): true {\n    return true;\n  }\n\n  protected freeze(): void {\n    Object.freeze(this);\n  }\n\n  collectParamRefs(): AnyParamRef[] {\n    return [];\n  }\n}\n\nexport function isDdlNode(value: unknown): value is DdlNode {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'isDdlNode' in value &&\n    typeof value.isDdlNode === 'function'\n  );\n}\n\n// ---------------------------------------------------------------------------\n// Table-level constraint nodes\n// ---------------------------------------------------------------------------\n\n/**\n * A composite (or single-column) PRIMARY KEY constraint on a `CreateTable`\n * node. When `name` is set, the adapter renders `CONSTRAINT <name> PRIMARY KEY\n * (…)`; otherwise it renders an anonymous `PRIMARY KEY (…)`.\n *\n * Frozen on construction — immutable after creation.\n */\nexport class PrimaryKeyConstraint {\n  readonly kind = 'primary-key' as const;\n  readonly columns: ReadonlyArray<string>;\n  readonly name: string | undefined;\n\n  constructor(options: { readonly columns: readonly string[]; readonly name?: string }) {\n    this.columns = Object.freeze([...options.columns]);\n    this.name = options.name;\n    Object.freeze(this);\n  }\n}\n\n/**\n * A FOREIGN KEY constraint on a `CreateTable` node. `onDelete` and `onUpdate`\n * use the same `ReferentialAction` vocabulary already used by the migration\n * planner and the contract IR — no parallel string enum.\n *\n * Frozen on construction — immutable after creation.\n */\nexport class ForeignKeyConstraint {\n  readonly kind = 'foreign-key' as const;\n  readonly columns: ReadonlyArray<string>;\n  readonly refTable: string;\n  readonly refColumns: ReadonlyArray<string>;\n  readonly onDelete: ReferentialAction | undefined;\n  readonly onUpdate: ReferentialAction | undefined;\n  readonly name: string | undefined;\n\n  constructor(options: {\n    readonly columns: readonly string[];\n    readonly refTable: string;\n    readonly refColumns: readonly string[];\n    readonly onDelete?: ReferentialAction;\n    readonly onUpdate?: ReferentialAction;\n    readonly name?: string;\n  }) {\n    this.columns = Object.freeze([...options.columns]);\n    this.refTable = options.refTable;\n    this.refColumns = Object.freeze([...options.refColumns]);\n    this.onDelete = options.onDelete;\n    this.onUpdate = options.onUpdate;\n    this.name = options.name;\n    Object.freeze(this);\n  }\n}\n\n/**\n * A table-level UNIQUE constraint on a `CreateTable` node. When `name` is\n * set, the adapter renders `CONSTRAINT <name> UNIQUE (…)`; otherwise it\n * renders an anonymous `UNIQUE (…)`.\n *\n * Frozen on construction — immutable after creation.\n */\nexport class UniqueConstraint {\n  readonly kind = 'unique' as const;\n  readonly columns: ReadonlyArray<string>;\n  readonly name: string | undefined;\n\n  constructor(options: { readonly columns: readonly string[]; readonly name?: string }) {\n    this.columns = Object.freeze([...options.columns]);\n    this.name = options.name;\n    Object.freeze(this);\n  }\n}\n\n/**\n * A table-level CHECK constraint carrying a raw SQL predicate expression. Used\n * for checks that are not enum value-set restrictions — e.g. the element-non-null\n * constraint on a scalar-array column (`array_position(col, NULL) IS NULL`).\n * The `expression` is emitted verbatim, so callers must supply safe,\n * pre-validated SQL.\n *\n * Frozen on construction — immutable after creation.\n */\nexport class CheckExpressionConstraint {\n  readonly kind = 'check-expression' as const;\n  readonly name: string;\n  readonly expression: string;\n\n  constructor(options: { readonly name: string; readonly expression: string }) {\n    this.name = options.name;\n    this.expression = options.expression;\n    Object.freeze(this);\n  }\n}\n\nexport type DdlTableConstraint =\n  | PrimaryKeyConstraint\n  | ForeignKeyConstraint\n  | UniqueConstraint\n  | CheckExpressionConstraint;\n"],"mappings":";;AAwBA,IAAsB,mBAAtB,MAAuC;CAIrC,SAAyB;EACvB,OAAO,OAAO,IAAI;CACpB;AACF;AAEA,IAAa,uBAAb,cAA0C,iBAAiB;CACzD,OAAgB;CAChB;CAEA,YAAY,OAAuC;EACjD,MAAM;EACN,IAAI,CAAC,iCAAiC,KAAK,GACzC,MAAM,IAAI,MAAM,sCAAsC;EAExD,KAAK,QAAQ;EACb,KAAK,OAAO;CACd;CAEA,OAAmB,SAAqC,KAAgC;EACtF,OAAO,QAAQ,QAAQ,MAAM,GAAG;CAClC;AACF;AAEA,IAAa,wBAAb,cAA2C,iBAAiB;CAC1D,OAAgB;CAChB;CAEA,YAAY,YAAoB;EAC9B,MAAM;EACN,KAAK,aAAa;EAClB,KAAK,OAAO;CACd;CAEA,OAAmB,SAAqC,KAAgC;EACtF,OAAO,QAAQ,SAAS,MAAM,GAAG;CACnC;AACF;AAIA,IAAa,YAAb,MAAuB;CACrB;CACA;CACA;CACA;CACA;;CAEA;CAEA,YAAY,SAOT;EACD,KAAK,OAAO,QAAQ;EACpB,KAAK,OAAO,QAAQ;EACpB,KAAK,UAAU,QAAQ;EACvB,KAAK,aAAa,QAAQ;EAC1B,KAAK,UAAU,QAAQ;EACvB,KAAK,WAAW,QAAQ;EACxB,OAAO,OAAO,IAAI;CACpB;AACF;AAEA,IAAsB,UAAtB,MAA8B;;;;;;;CAS5B,YAAkB;EAChB,OAAO;CACT;CAEA,SAAyB;EACvB,OAAO,OAAO,IAAI;CACpB;CAEA,mBAAkC;EAChC,OAAO,CAAC;CACV;AACF;AAEA,SAAgB,UAAU,OAAkC;CAC1D,OACE,OAAO,UAAU,YACjB,UAAU,QACV,eAAe,SACf,OAAO,MAAM,cAAc;AAE/B;;;;;;;;AAaA,IAAa,uBAAb,MAAkC;CAChC,OAAgB;CAChB;CACA;CAEA,YAAY,SAA0E;EACpF,KAAK,UAAU,OAAO,OAAO,CAAC,GAAG,QAAQ,OAAO,CAAC;EACjD,KAAK,OAAO,QAAQ;EACpB,OAAO,OAAO,IAAI;CACpB;AACF;;;;;;;;AASA,IAAa,uBAAb,MAAkC;CAChC,OAAgB;CAChB;CACA;CACA;CACA;CACA;CACA;CAEA,YAAY,SAOT;EACD,KAAK,UAAU,OAAO,OAAO,CAAC,GAAG,QAAQ,OAAO,CAAC;EACjD,KAAK,WAAW,QAAQ;EACxB,KAAK,aAAa,OAAO,OAAO,CAAC,GAAG,QAAQ,UAAU,CAAC;EACvD,KAAK,WAAW,QAAQ;EACxB,KAAK,WAAW,QAAQ;EACxB,KAAK,OAAO,QAAQ;EACpB,OAAO,OAAO,IAAI;CACpB;AACF;;;;;;;;AASA,IAAa,mBAAb,MAA8B;CAC5B,OAAgB;CAChB;CACA;CAEA,YAAY,SAA0E;EACpF,KAAK,UAAU,OAAO,OAAO,CAAC,GAAG,QAAQ,OAAO,CAAC;EACjD,KAAK,OAAO,QAAQ;EACpB,OAAO,OAAO,IAAI;CACpB;AACF;;;;;;;;;;AAWA,IAAa,4BAAb,MAAuC;CACrC,OAAgB;CAChB;CACA;CAEA,YAAY,SAAiE;EAC3E,KAAK,OAAO,QAAQ;EACpB,KAAK,aAAa,QAAQ;EAC1B,OAAO,OAAO,IAAI;CACpB;AACF"}

package/dist/exports/ast.d.mts

@@ -1,6 +1,6 @@
 import { a as CodecMeta, c as ContractCodecRegistry, d as DescriptorCodecTraits, f as ExtractCodecTypes, h as SqlColumnRef, i as CodecDescriptor, l as DescriptorCodecId, m as SqlCodecInstanceContext, n as Codec, o as CodecRef, p as SqlCodecCallContext, r as CodecCallContext, s as CodecTrait, t as AnyCodecDescriptor, u as DescriptorCodecInput } from "../codec-types-DFLA6Hmj.mjs";
 import { $ as RawExpr, A as IdentifierRef, B as ListExpression, C as EqColJoinOn, D as ExpressionRewriter, E as ExpressionFolder, F as JoinOnExpr, G as NullCheckExpr, H as LoweredParam, I as JsonArrayAggExpr, J as OrderByItem, K as OperationExpr, L as JsonObjectEntry, M as InsertOnConflict, N as InsertValue, O as ExpressionSource, P as JoinAst, Q as ProjectionItem, R as JsonObjectExpr, S as DoUpdateSetConflictAction, T as ExprVisitor, U as LoweredStatement, V as LiteralExpr, W as NotExpr, X as PreparedParamRef, Y as ParamRef, Z as ProjectionExpr, _ as DefaultValueExpr, a as AndExpr, at as TableRef, b as Direction, c as AnyInsertOnConflictAction, ct as UpdateAst, d as AnyParamRef, dt as WindowFuncExpr, et as RawSqlExpr, f as AnyQueryAst, ft as isQueryAst, g as ColumnRef, h as BinaryOp, ht as whereExprKinds, i as AggregateOpFn, it as SubqueryExpr, j as InsertAst, k as FunctionSource, l as AnyInsertValue, lt as WhereArg, m as BinaryExpr, mt as queryAstKinds, n as AggregateExpr, nt as SelectAst, o as AnyExpression, ot as TableSource, p as AstRewriter, pt as isWhereExpr, q as OrExpr, r as AggregateFn, rt as SelectAstOptions, s as AnyFromSource, st as ToWhereExpr, t as AggregateCountFn, tt as RawSqlLiteral, u as AnyOperationArg, ut as WindowFn, v as DeleteAst, w as ExistsExpr, x as DoNothingConflictAction, y as DerivedTableSource, z as LimitOffsetValue } from "../types-DQrmgP8Y.mjs";
-import { a as DdlColumnRenderContext, c as ForeignKeyConstraint, d as PrimaryKeyConstraint, f as UniqueConstraint, i as DdlColumnDefaultVisitor, l as FunctionColumnDefault, n as DdlColumn, o as DdlNode, p as isDdlNode, r as DdlColumnDefault, s as DdlTableConstraint, t as AnyDdlColumnDefault, u as LiteralColumnDefault } from "../ddl-types-BVO002FS.mjs";
+import { a as DdlColumnDefaultVisitor, c as DdlTableConstraint, d as LiteralColumnDefault, f as PrimaryKeyConstraint, i as DdlColumnDefault, l as ForeignKeyConstraint, m as isDdlNode, n as CheckExpressionConstraint, o as DdlColumnRenderContext, p as UniqueConstraint, r as DdlColumn, s as DdlNode, t as AnyDdlColumnDefault, u as FunctionColumnDefault } from "../ddl-types-Cd4p4EbE.mjs";
 import { ContractMarkerRecord, JsonValue } from "@prisma-next/contract/types";
 import { CodecCallContext as CodecCallContext$1, CodecDescriptorImpl, CodecImpl, CodecInstanceContext } from "@prisma-next/framework-components/codec";
 import { StandardSchemaV1 } from "@standard-schema/spec";
@@ -270,5 +270,5 @@ declare function compact<T extends Record<string, unknown>>(o: T): T;
  */
 declare function collectOrderedParamRefs(ast: AnyQueryAst): ReadonlyArray<AnyParamRef>;
 //#endregion
-export { Adapter, AdapterProfile, AdapterTarget, AggregateCountFn, AggregateExpr, AggregateFn, AggregateOpFn, AndExpr, AnyCodecDescriptor, AnyDdlColumnDefault, AnyExpression, AnyFromSource, AnyInsertOnConflictAction, AnyInsertValue, AnyOperationArg, AnyParamRef, AnyQueryAst, AstRewriter, BinaryExpr, BinaryOp, Codec, type CodecCallContext, type CodecDescriptor, CodecMeta, type CodecRef, type CodecTrait, ColumnRef, ContractCodecRegistry, DdlColumn, DdlColumnDefault, DdlColumnDefaultVisitor, DdlColumnRenderContext, DdlNode, DdlTableConstraint, DefaultValueExpr, DeleteAst, DerivedTableSource, DescriptorCodecId, DescriptorCodecInput, DescriptorCodecTraits, Direction, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExistsExpr, ExprVisitor, ExpressionFolder, ExpressionRewriter, ExpressionSource, ExtractCodecTypes, ForeignKeyConstraint, FunctionColumnDefault, FunctionSource, IdentifierRef, InsertAst, InsertOnConflict, InsertValue, JoinAst, JoinOnExpr, JsonArrayAggExpr, JsonObjectEntry, JsonObjectExpr, LimitOffsetValue, ListExpression, LiteralColumnDefault, LiteralExpr, LoweredParam, LoweredStatement, Lowerer, LowererContext, MarkerReadResult, NotExpr, NullCheckExpr, OperationExpr, OrExpr, OrderByItem, ParamRef, PreparedExecuteRequest, PreparedParamRef, PrimaryKeyConstraint, ProjectionExpr, ProjectionItem, RawExpr, RawSqlExpr, RawSqlLiteral, 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, SqlCharCodec, SqlCharDescriptor, SqlCodecCallContext, SqlCodecInstanceContext, SqlColumnRef, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, SqlExplainResult, SqlFloatCodec, SqlFloatDescriptor, SqlIntCodec, SqlIntDescriptor, SqlQueryResult, SqlQueryable, SqlTextCodec, SqlTextDescriptor, SqlTimestampCodec, SqlTimestampDescriptor, SqlTransaction, SqlVarcharCodec, SqlVarcharDescriptor, SubqueryExpr, TableRef, TableSource, ToWhereExpr, UniqueConstraint, UpdateAst, WhereArg, WindowFn, WindowFuncExpr, collectOrderedParamRefs, compact, isDdlNode, isQueryAst, isWhereExpr, queryAstKinds, sqlCharColumn, sqlCharDecode, sqlCharDescriptor, sqlCharEncode, sqlCharRenderOutputType, sqlFloatColumn, sqlFloatDecode, sqlFloatDescriptor, sqlFloatEncode, sqlIntColumn, sqlIntDecode, sqlIntDescriptor, sqlIntEncode, sqlTextColumn, sqlTextDecode, sqlTextDescriptor, sqlTextEncode, sqlTimestampColumn, sqlTimestampDecode, sqlTimestampDecodeJson, sqlTimestampDescriptor, sqlTimestampEncode, sqlTimestampEncodeJson, sqlTimestampRenderOutputType, sqlVarcharColumn, sqlVarcharDecode, sqlVarcharDescriptor, sqlVarcharEncode, sqlVarcharRenderOutputType, whereExprKinds };
+export { Adapter, AdapterProfile, AdapterTarget, AggregateCountFn, AggregateExpr, AggregateFn, AggregateOpFn, AndExpr, AnyCodecDescriptor, AnyDdlColumnDefault, AnyExpression, AnyFromSource, AnyInsertOnConflictAction, AnyInsertValue, AnyOperationArg, AnyParamRef, AnyQueryAst, AstRewriter, BinaryExpr, BinaryOp, CheckExpressionConstraint, Codec, type CodecCallContext, type CodecDescriptor, CodecMeta, type CodecRef, type CodecTrait, ColumnRef, ContractCodecRegistry, DdlColumn, DdlColumnDefault, DdlColumnDefaultVisitor, DdlColumnRenderContext, DdlNode, DdlTableConstraint, DefaultValueExpr, DeleteAst, DerivedTableSource, DescriptorCodecId, DescriptorCodecInput, DescriptorCodecTraits, Direction, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExistsExpr, ExprVisitor, ExpressionFolder, ExpressionRewriter, ExpressionSource, ExtractCodecTypes, ForeignKeyConstraint, FunctionColumnDefault, FunctionSource, IdentifierRef, InsertAst, InsertOnConflict, InsertValue, JoinAst, JoinOnExpr, JsonArrayAggExpr, JsonObjectEntry, JsonObjectExpr, LimitOffsetValue, ListExpression, LiteralColumnDefault, LiteralExpr, LoweredParam, LoweredStatement, Lowerer, LowererContext, MarkerReadResult, NotExpr, NullCheckExpr, OperationExpr, OrExpr, OrderByItem, ParamRef, PreparedExecuteRequest, PreparedParamRef, PrimaryKeyConstraint, ProjectionExpr, ProjectionItem, RawExpr, RawSqlExpr, RawSqlLiteral, 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, SqlCharCodec, SqlCharDescriptor, SqlCodecCallContext, SqlCodecInstanceContext, SqlColumnRef, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, SqlExplainResult, SqlFloatCodec, SqlFloatDescriptor, SqlIntCodec, SqlIntDescriptor, SqlQueryResult, SqlQueryable, SqlTextCodec, SqlTextDescriptor, SqlTimestampCodec, SqlTimestampDescriptor, SqlTransaction, SqlVarcharCodec, SqlVarcharDescriptor, SubqueryExpr, TableRef, TableSource, ToWhereExpr, UniqueConstraint, UpdateAst, WhereArg, WindowFn, WindowFuncExpr, collectOrderedParamRefs, compact, isDdlNode, isQueryAst, isWhereExpr, queryAstKinds, sqlCharColumn, sqlCharDecode, sqlCharDescriptor, sqlCharEncode, sqlCharRenderOutputType, sqlFloatColumn, sqlFloatDecode, sqlFloatDescriptor, sqlFloatEncode, sqlIntColumn, sqlIntDecode, sqlIntDescriptor, sqlIntEncode, sqlTextColumn, sqlTextDecode, sqlTextDescriptor, sqlTextEncode, sqlTimestampColumn, sqlTimestampDecode, sqlTimestampDecodeJson, sqlTimestampDescriptor, sqlTimestampEncode, sqlTimestampEncodeJson, sqlTimestampRenderOutputType, sqlVarcharColumn, sqlVarcharDecode, sqlVarcharDescriptor, sqlVarcharEncode, sqlVarcharRenderOutputType, whereExprKinds };
 //# sourceMappingURL=ast.d.mts.map

package/dist/exports/ast.mjs

@@ -1,4 +1,4 @@
-import { a as FunctionColumnDefault, c as UniqueConstraint, i as ForeignKeyConstraint, l as isDdlNode, n as DdlColumnDefault, o as LiteralColumnDefault, r as DdlNode, s as PrimaryKeyConstraint, t as DdlColumn } from "../ddl-types-DAox2c8w.mjs";
+import { a as ForeignKeyConstraint, c as PrimaryKeyConstraint, i as DdlNode, l as UniqueConstraint, n as DdlColumn, o as FunctionColumnDefault, r as DdlColumnDefault, s as LiteralColumnDefault, t as CheckExpressionConstraint, u as isDdlNode } from "../ddl-types-DFKQr_qQ.mjs";
 import { A as RawSqlExpr, C as OperationExpr, D as PreparedParamRef, E as ParamRef, F as WindowFuncExpr, I as isQueryAst, L as isWhereExpr, M as SubqueryExpr, N as TableSource, O as ProjectionItem, P as UpdateAst, R as queryAstKinds, S as NullCheckExpr, T as OrderByItem, _ as JsonArrayAggExpr, a as DefaultValueExpr, b as LiteralExpr, c as DoNothingConflictAction, d as ExistsExpr, f as FunctionSource, g as JoinAst, h as InsertOnConflict, i as ColumnRef, j as SelectAst, k as RawExpr, l as DoUpdateSetConflictAction, m as InsertAst, n as AndExpr, o as DeleteAst, p as IdentifierRef, r as BinaryExpr, s as DerivedTableSource, t as AggregateExpr, u as EqColJoinOn, v as JsonObjectExpr, w as OrExpr, x as NotExpr, y as ListExpression, z as whereExprKinds } from "../types-CaGVAsoT.mjs";
 import { n as compact, t as collectOrderedParamRefs } from "../util-DQQgv2j1.mjs";
 import { CodecDescriptorImpl, CodecImpl, column, voidParamsSchema } from "@prisma-next/framework-components/codec";
@@ -231,6 +231,6 @@ var SqlTimestampDescriptor = class extends CodecDescriptorImpl {
 const sqlTimestampDescriptor = new SqlTimestampDescriptor();
 const sqlTimestampColumn = (params = {}) => column(sqlTimestampDescriptor.factory(params), sqlTimestampDescriptor.codecId, params, "timestamp");
 //#endregion
-export { AggregateExpr, AndExpr, BinaryExpr, ColumnRef, DdlColumn, DdlColumnDefault, DdlNode, DefaultValueExpr, DeleteAst, DerivedTableSource, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExistsExpr, ForeignKeyConstraint, FunctionColumnDefault, FunctionSource, IdentifierRef, InsertAst, InsertOnConflict, JoinAst, JsonArrayAggExpr, JsonObjectExpr, ListExpression, LiteralColumnDefault, LiteralExpr, NotExpr, NullCheckExpr, OperationExpr, OrExpr, OrderByItem, ParamRef, PreparedParamRef, PrimaryKeyConstraint, ProjectionItem, RawExpr, RawSqlExpr, 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, SqlCharCodec, SqlCharDescriptor, SqlFloatCodec, SqlFloatDescriptor, SqlIntCodec, SqlIntDescriptor, SqlTextCodec, SqlTextDescriptor, SqlTimestampCodec, SqlTimestampDescriptor, SqlVarcharCodec, SqlVarcharDescriptor, SubqueryExpr, TableSource, UniqueConstraint, UpdateAst, WindowFuncExpr, collectOrderedParamRefs, compact, isDdlNode, isQueryAst, isWhereExpr, queryAstKinds, sqlCharColumn, sqlCharDecode, sqlCharDescriptor, sqlCharEncode, sqlCharRenderOutputType, sqlFloatColumn, sqlFloatDecode, sqlFloatDescriptor, sqlFloatEncode, sqlIntColumn, sqlIntDecode, sqlIntDescriptor, sqlIntEncode, sqlTextColumn, sqlTextDecode, sqlTextDescriptor, sqlTextEncode, sqlTimestampColumn, sqlTimestampDecode, sqlTimestampDecodeJson, sqlTimestampDescriptor, sqlTimestampEncode, sqlTimestampEncodeJson, sqlTimestampRenderOutputType, sqlVarcharColumn, sqlVarcharDecode, sqlVarcharDescriptor, sqlVarcharEncode, sqlVarcharRenderOutputType, whereExprKinds };
+export { AggregateExpr, AndExpr, BinaryExpr, CheckExpressionConstraint, ColumnRef, DdlColumn, DdlColumnDefault, DdlNode, DefaultValueExpr, DeleteAst, DerivedTableSource, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExistsExpr, ForeignKeyConstraint, FunctionColumnDefault, FunctionSource, IdentifierRef, InsertAst, InsertOnConflict, JoinAst, JsonArrayAggExpr, JsonObjectExpr, ListExpression, LiteralColumnDefault, LiteralExpr, NotExpr, NullCheckExpr, OperationExpr, OrExpr, OrderByItem, ParamRef, PreparedParamRef, PrimaryKeyConstraint, ProjectionItem, RawExpr, RawSqlExpr, 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, SqlCharCodec, SqlCharDescriptor, SqlFloatCodec, SqlFloatDescriptor, SqlIntCodec, SqlIntDescriptor, SqlTextCodec, SqlTextDescriptor, SqlTimestampCodec, SqlTimestampDescriptor, SqlVarcharCodec, SqlVarcharDescriptor, SubqueryExpr, TableSource, UniqueConstraint, UpdateAst, WindowFuncExpr, collectOrderedParamRefs, compact, isDdlNode, isQueryAst, isWhereExpr, queryAstKinds, sqlCharColumn, sqlCharDecode, sqlCharDescriptor, sqlCharEncode, sqlCharRenderOutputType, sqlFloatColumn, sqlFloatDecode, sqlFloatDescriptor, sqlFloatEncode, sqlIntColumn, sqlIntDecode, sqlIntDescriptor, sqlIntEncode, sqlTextColumn, sqlTextDecode, sqlTextDescriptor, sqlTextEncode, sqlTimestampColumn, sqlTimestampDecode, sqlTimestampDecodeJson, sqlTimestampDescriptor, sqlTimestampEncode, sqlTimestampEncodeJson, sqlTimestampRenderOutputType, sqlVarcharColumn, sqlVarcharDecode, sqlVarcharDescriptor, sqlVarcharEncode, sqlVarcharRenderOutputType, whereExprKinds };
 
 //# sourceMappingURL=ast.mjs.map

package/dist/exports/contract-free.d.mts

@@ -1,6 +1,6 @@
 import { o as CodecRef } from "../codec-types-DFLA6Hmj.mjs";
 import { J as OrderByItem, P as JoinAst, Q as ProjectionItem, ct as UpdateAst, g as ColumnRef, j as InsertAst, nt as SelectAst, o as AnyExpression, ot as TableSource, s as AnyFromSource } from "../types-DQrmgP8Y.mjs";
-import { c as ForeignKeyConstraint, d as PrimaryKeyConstraint, f as UniqueConstraint, l as FunctionColumnDefault, n as DdlColumn, t as AnyDdlColumnDefault, u as LiteralColumnDefault } from "../ddl-types-BVO002FS.mjs";
+import { d as LiteralColumnDefault, f as PrimaryKeyConstraint, l as ForeignKeyConstraint, n as CheckExpressionConstraint, p as UniqueConstraint, r as DdlColumn, t as AnyDdlColumnDefault, u as FunctionColumnDefault } from "../ddl-types-Cd4p4EbE.mjs";
 import { ColumnDefaultLiteralInputValue } from "@prisma-next/contract/types";
 import { ReferentialAction } from "@prisma-next/sql-contract/types";
 import { ParamSpec } from "@prisma-next/operations";
@@ -26,6 +26,7 @@ declare function foreignKey(columns: readonly string[], refTable: string, refCol
 declare function unique(columns: readonly string[], options?: {
   readonly name?: string;
 }): UniqueConstraint;
+declare function checkExpression(name: string, expression: string): CheckExpressionConstraint;
 //#endregion
 //#region src/contract-free/table.d.ts
 interface ColumnDescriptor {
@@ -214,5 +215,5 @@ declare class CfSelectQuery {
  */
 declare function table<Schema extends ColumnSchema>(source: TableSource, schema: Schema): TableHandle<Schema>;
 //#endregion
-export { CfConflictClause, CfExpr, CfExprSelectQuery, type CfFnOptions, CfInsertQuery, CfSelectQuery, CfUpdateQuery, CfUpsertBuilder, CfUpsertQuery, type ColumnDescriptor, type ColumnProxy, type ColumnSchema, type DdlColumnOptions, type ExcludedProxy, type TableHandle, type TableInsertRow, type TableSetValues, cfExpr, cfTable, col, exprSelect, fn, foreignKey, lit, primaryKey, table, unique };
+export { CfConflictClause, CfExpr, CfExprSelectQuery, type CfFnOptions, CfInsertQuery, CfSelectQuery, CfUpdateQuery, CfUpsertBuilder, CfUpsertQuery, type ColumnDescriptor, type ColumnProxy, type ColumnSchema, type DdlColumnOptions, type ExcludedProxy, type TableHandle, type TableInsertRow, type TableSetValues, cfExpr, cfTable, checkExpression, col, exprSelect, fn, foreignKey, lit, primaryKey, table, unique };
 //# sourceMappingURL=contract-free.d.mts.map

package/dist/exports/contract-free.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"contract-free.d.mts","names":[],"sources":["../../src/contract-free/column.ts","../../src/contract-free/table.ts"],"mappings":";;;;;;;;UAaiB,gBAAA;EAAA,SACN,OAAA;EAAA,SACA,UAAA;EAAA,SACA,OAAA,GAAU,mBAAA;EAAA,SACV,QAAA,GAAW,QAAQ;AAAA;AAAA,iBAGd,GAAA,CAAI,KAAA,EAAO,8BAAA,GAAiC,oBAAoB;AAAA,iBAIhE,EAAA,CAAG,UAAA,WAAqB,qBAAqB;AAAA,iBAI7C,GAAA,CAAI,IAAA,UAAc,IAAA,UAAc,OAAA,GAAU,gBAAA,GAAmB,SAAS;AAAA,iBAItE,UAAA,CACd,OAAA,qBACA,OAAA;EAAA,SAAqB,IAAA;AAAA,IACpB,oBAAoB;AAAA,iBAIP,UAAA,CACd,OAAA,qBACA,QAAA,UACA,UAAA,qBACA,OAAA;EAAA,SACW,IAAA;EAAA,SACA,QAAA,GAAW,iBAAA;EAAA,SACX,QAAA,GAAW,iBAAA;AAAA,IAErB,oBAAA;AAAA,iBAIa,MAAA,CACd,OAAA,qBACA,OAAA;EAAA,SAAqB,IAAA;AAAA,IACpB,gBAAgB;;;UC3BF,gBAAA;EAAA,SACN,OAAA;EAAA,SACA,QAAQ;AAAA;AAAA,KAGP,YAAA,GAAe,MAAM,SAAS,gBAAA;;ADpB1C;;;;cC2Ba,MAAA;EAAA,SACU,GAAA,EAAK,aAAA;cAAL,GAAA,EAAK,aAAA;EAE1B,GAAA,CAAI,KAAA,EAAO,MAAA,GAAS,MAAA;EAIpB,EAAA,CAAG,KAAA,EAAO,MAAA,GAAS,MAAA;EAInB,GAAA,IAAO,MAAA;EAIP,MAAA,IAAU,MAAA;EAIV,SAAA,IAAa,MAAA;EAIb,KAAA,CAAM,KAAA,8BAAmC,MAAA;EAIzC,KAAA,CAAM,KAAA,8BAAmC,MAAA;EAIzC,OAAA,CAAQ,KAAA,WAAgB,OAAA,WAAkB,MAAA;EAI1C,MAAA,CAAO,KAAA,EAAO,MAAA,GAAS,MAAA;AAAA;AAAA,UAKR,WAAA;EAAA,SACN,MAAA;EAAA,SACA,QAAA;EAAA,SACA,IAAA,EAAM,MAAA;EAAA,SACN,IAAA,GAAO,aAAA,CAAc,MAAA;EAAA,SACrB,OAAA,EAAS,SAAA;AAAA;AAAA,cAGP,MAAA;eACE,MAAA;yCAG0B,MAAA;+BAGV,MAAA;wBAGT,OAAA,WAAoB,MAAA;EDtE4C;;;;;;cC+ExE,WAAA,GAAc,MAAA;+BAeC,IAAA,WAAiB,MAAA;eAG/B,aAAA,CAAc,MAAA,IAAU,MAAA;ED7Fb;;;;;mBCqGT,OAAA,EAAW,SAAA,GAAY,MAAA;gBAGxB,iBAAA,GAAoB,MAAA;mBAGjB,iBAAA,GAAoB,MAAA;AAAA;ADpGvC;AAAA,iBC0GgB,OAAA,CAAQ,IAAA,UAAc,KAAA,YAAiB,WAAW;AAAA,cAIrD,iBAAA;EAAA,iBAEQ,GAAA;EAAA,iBACA,eAAA;EAAA,iBACA,SAAA;EAAA,iBACA,SAAA;EAAA,iBACA,UAAA;cAJA,GAAA,EAAK,aAAA,cACL,eAAA,EAAiB,aAAA,CAAc,cAAA,GAC/B,SAAA,EAAW,MAAA,cACX,SAAA,GAAW,aAAA,CAAc,OAAA,GACzB,UAAA;EAGnB,IAAA,CAAK,MAAA,EAAQ,aAAA,GAAgB,iBAAA;EAU7B,IAAA,CAAK,MAAA,EAAQ,aAAA,EAAe,EAAA,EAAI,MAAA,GAAS,iBAAA;EAUzC,QAAA,CAAS,MAAA,EAAQ,aAAA,EAAe,EAAA,EAAI,MAAA,GAAS,iBAAA;EAU7C,OAAA,CAAQ,KAAA,UAAe,IAAA,EAAM,MAAA,GAAS,iBAAA;EAUtC,KAAA,CAAM,IAAA,EAAM,MAAA,GAAS,iBAAA;EAUrB,KAAA,CAAM,KAAA,WAAgB,iBAAA;EAUtB,KAAA,IAAS,SAAA;AAAA;AAAA,iBAeK,UAAA,IAAc,iBAAiB;;ADzLxB;AAIvB;;;UC8LiB,WAAA;EAAA,SACN,OAAA;EAAA,SACA,QAAA;EAAA,SACA,UAAA;EAAA,SACA,SAAA;EACT,EAAA,CAAG,KAAA,YAAiB,MAAA;EACpB,GAAA,CAAI,KAAA,YAAiB,MAAA;EACrB,MAAA,IAAU,MAAA;EACV,SAAA,IAAa,MAAA;EACb,KAAA,IAAS,SAAA;EACT,gBAAA,CAAiB,KAAA,YAAiB,cAAA;AAAA;;;AA9NjB;AAGnB;;;KAoOY,aAAA,gBAA6B,YAAA,2BAClB,MAAA,GAAS,SAAA;AAAA,KAGpB,cAAA,gBAA8B,YAAA,2BACnB,MAAM;AAAA,KAGjB,cAAA,gBAA8B,YAAA,2BACnB,MAAM;;;;;;KAQjB,WAAA,gBAA2B,YAAA;EAAA,SAC5B,MAAA,EAAQ,WAAA;EACjB,MAAA,CAAO,GAAA,EAAK,cAAA,CAAe,MAAA,IAAU,aAAA,CAAc,MAAA;EACnD,MAAA,CAAO,GAAA,EAAK,cAAA,CAAe,MAAA,IAAU,eAAA,CAAgB,MAAA;EACrD,MAAA,IAAU,aAAA,CAAc,MAAA;EACxB,MAAA,IAAU,OAAA,EAAS,aAAA,CAAc,WAAA,IAAe,aAAA;AAAA,2BAE3B,MAAA,GAAS,WAAA;AAAA,cAGnB,aAAA,gBAA6B,YAAA;EAAA,iBAErB,GAAA;EAAA,iBACA,MAAA;EAAA,iBACA,SAAA;EAAA,iBACA,cAAA;cAHA,GAAA,EAAK,WAAA,EACL,MAAA,EAAQ,MAAA,EACR,SAAA,EAAW,cAAA,CAAe,MAAA,GAC1B,cAAA,GAAgB,aAAA,CAAc,cAAA;EAGjD,SAAA,IAAa,OAAA,EAAS,aAAA,CAAc,WAAA,IAAe,aAAA,CAAc,MAAA;EASjE,KAAA,IAAS,SAAA;AAAA;AAAA,cAOE,eAAA,gBAA+B,YAAA;EAAA,iBAEvB,GAAA;EAAA,iBACA,MAAA;EAAA,iBACA,SAAA;cAFA,GAAA,EAAK,WAAA,EACL,MAAA,EAAQ,MAAA,EACR,SAAA,EAAW,cAAA,CAAe,MAAA;EAG7C,UAAA,IAAc,OAAA,EAAS,aAAA,CAAc,WAAA,IAAe,gBAAA,CAAiB,MAAA;AAAA;AAAA,cAK1D,gBAAA,gBAAgC,YAAA;EAAA,iBAExB,GAAA;EAAA,iBACA,MAAA;EAAA,iBACA,SAAA;EAAA,iBACA,YAAA;cAHA,GAAA,EAAK,WAAA,EACL,MAAA,EAAQ,MAAA,EACR,SAAA,EAAW,cAAA,CAAe,MAAA,GAC1B,YAAA,EAAc,aAAA,CAAc,WAAA;EAG/C,QAAA,CACE,aAAA,EACI,cAAA,CAAe,MAAA,MACb,QAAA,EAAU,aAAA,CAAc,MAAA,MAAY,cAAA,CAAe,MAAA,KACxD,aAAA,CAAc,MAAA;EAQjB,SAAA,IAAa,aAAA,CAAc,MAAA;AAAA;AAAA,cAKhB,aAAA,gBAA6B,YAAA;EAAA,iBAErB,GAAA;EAAA,iBACA,MAAA;EAAA,iBACA,SAAA;EAAA,iBACA,YAAA;EAAA,iBACA,SAAA;cAJA,GAAA,EAAK,WAAA,EACL,MAAA,EAAQ,MAAA,EACR,SAAA,EAAW,cAAA,CAAe,MAAA,GAC1B,YAAA,EAAc,aAAA,CAAc,WAAA,GAC5B,SAAA,EAAW,cAAA,CAAe,MAAA;EAG7C,KAAA,IAAS,SAAA;AAAA;AAAA,cAWE,aAAA,gBAA6B,YAAA;EAAA,iBAErB,GAAA;EAAA,iBACA,MAAA;EAAA,iBACA,SAAA;EAAA,iBACA,SAAA;EAAA,iBACA,cAAA;cAJA,GAAA,EAAK,WAAA,EACL,MAAA,EAAQ,MAAA,EACR,SAAA,GAAW,cAAA,CAAe,MAAA,eAC1B,SAAA,GAAW,MAAA,cACX,cAAA,GAAgB,aAAA,CAAc,cAAA;EAGjD,GAAA,CAAI,MAAA,EAAQ,cAAA,CAAe,MAAA,IAAU,aAAA,CAAc,MAAA;EAInD,KAAA,CAAM,IAAA,EAAM,MAAA,GAAS,aAAA,CAAc,MAAA;EAInC,SAAA,IAAa,OAAA,EAAS,aAAA,CAAc,WAAA,IAAe,aAAA,CAAc,MAAA;EAUjE,KAAA,IAAS,SAAA;AAAA;AAAA,cAQE,aAAA;EAAA,iBAEQ,GAAA;EAAA,iBACA,eAAA;EAAA,iBACA,SAAA;EAAA,iBACA,YAAA;cAHA,GAAA,EAAK,WAAA,EACL,eAAA,EAAiB,aAAA,CAAc,cAAA,GAC/B,SAAA,GAAW,MAAA,cACX,YAAA,GAAc,aAAA,CAAc,WAAA;EAG/C,KAAA,CAAM,IAAA,EAAM,MAAA,GAAS,aAAA;EAIrB,OAAA,CAAQ,MAAA,EAAQ,WAAA,EAAa,GAAA,oBAA8B,aAAA;EAQ3D,KAAA,IAAS,SAAA;AAAA;;;;;;;;;;;;;;;;;;;;iBA0BK,KAAA,gBAAqB,YAAA,EACnC,MAAA,EAAQ,WAAA,EACR,MAAA,EAAQ,MAAA,GACP,WAAA,CAAY,MAAA"}
+{"version":3,"file":"contract-free.d.mts","names":[],"sources":["../../src/contract-free/column.ts","../../src/contract-free/table.ts"],"mappings":";;;;;;;;UAciB,gBAAA;EAAA,SACN,OAAA;EAAA,SACA,UAAA;EAAA,SACA,OAAA,GAAU,mBAAA;EAAA,SACV,QAAA,GAAW,QAAQ;AAAA;AAAA,iBAGd,GAAA,CAAI,KAAA,EAAO,8BAAA,GAAiC,oBAAoB;AAAA,iBAIhE,EAAA,CAAG,UAAA,WAAqB,qBAAqB;AAAA,iBAI7C,GAAA,CAAI,IAAA,UAAc,IAAA,UAAc,OAAA,GAAU,gBAAA,GAAmB,SAAS;AAAA,iBAItE,UAAA,CACd,OAAA,qBACA,OAAA;EAAA,SAAqB,IAAA;AAAA,IACpB,oBAAoB;AAAA,iBAIP,UAAA,CACd,OAAA,qBACA,QAAA,UACA,UAAA,qBACA,OAAA;EAAA,SACW,IAAA;EAAA,SACA,QAAA,GAAW,iBAAA;EAAA,SACX,QAAA,GAAW,iBAAA;AAAA,IAErB,oBAAA;AAAA,iBAIa,MAAA,CACd,OAAA,qBACA,OAAA;EAAA,SAAqB,IAAA;AAAA,IACpB,gBAAgB;AAAA,iBAIH,eAAA,CAAgB,IAAA,UAAc,UAAA,WAAqB,yBAAyB;;;UChC3E,gBAAA;EAAA,SACN,OAAA;EAAA,SACA,QAAQ;AAAA;AAAA,KAGP,YAAA,GAAe,MAAM,SAAS,gBAAA;;ADnB1C;;;;cC0Ba,MAAA;EAAA,SACU,GAAA,EAAK,aAAA;cAAL,GAAA,EAAK,aAAA;EAE1B,GAAA,CAAI,KAAA,EAAO,MAAA,GAAS,MAAA;EAIpB,EAAA,CAAG,KAAA,EAAO,MAAA,GAAS,MAAA;EAInB,GAAA,IAAO,MAAA;EAIP,MAAA,IAAU,MAAA;EAIV,SAAA,IAAa,MAAA;EAIb,KAAA,CAAM,KAAA,8BAAmC,MAAA;EAIzC,KAAA,CAAM,KAAA,8BAAmC,MAAA;EAIzC,OAAA,CAAQ,KAAA,WAAgB,OAAA,WAAkB,MAAA;EAI1C,MAAA,CAAO,KAAA,EAAO,MAAA,GAAS,MAAA;AAAA;AAAA,UAKR,WAAA;EAAA,SACN,MAAA;EAAA,SACA,QAAA;EAAA,SACA,IAAA,EAAM,MAAA;EAAA,SACN,IAAA,GAAO,aAAA,CAAc,MAAA;EAAA,SACrB,OAAA,EAAS,SAAA;AAAA;AAAA,cAGP,MAAA;eACE,MAAA;yCAG0B,MAAA;+BAGV,MAAA;wBAGT,OAAA,WAAoB,MAAA;EDrE4C;;;;;;cC8ExE,WAAA,GAAc,MAAA;+BAeC,IAAA,WAAiB,MAAA;eAG/B,aAAA,CAAc,MAAA,IAAU,MAAA;ED5Fb;;;;;mBCoGT,OAAA,EAAW,SAAA,GAAY,MAAA;gBAGxB,iBAAA,GAAoB,MAAA;mBAGjB,iBAAA,GAAoB,MAAA;AAAA;ADnGvC;AAAA,iBCyGgB,OAAA,CAAQ,IAAA,UAAc,KAAA,YAAiB,WAAW;AAAA,cAIrD,iBAAA;EAAA,iBAEQ,GAAA;EAAA,iBACA,eAAA;EAAA,iBACA,SAAA;EAAA,iBACA,SAAA;EAAA,iBACA,UAAA;cAJA,GAAA,EAAK,aAAA,cACL,eAAA,EAAiB,aAAA,CAAc,cAAA,GAC/B,SAAA,EAAW,MAAA,cACX,SAAA,GAAW,aAAA,CAAc,OAAA,GACzB,UAAA;EAGnB,IAAA,CAAK,MAAA,EAAQ,aAAA,GAAgB,iBAAA;EAU7B,IAAA,CAAK,MAAA,EAAQ,aAAA,EAAe,EAAA,EAAI,MAAA,GAAS,iBAAA;EAUzC,QAAA,CAAS,MAAA,EAAQ,aAAA,EAAe,EAAA,EAAI,MAAA,GAAS,iBAAA;EAU7C,OAAA,CAAQ,KAAA,UAAe,IAAA,EAAM,MAAA,GAAS,iBAAA;EAUtC,KAAA,CAAM,IAAA,EAAM,MAAA,GAAS,iBAAA;EAUrB,KAAA,CAAM,KAAA,WAAgB,iBAAA;EAUtB,KAAA,IAAS,SAAA;AAAA;AAAA,iBAeK,UAAA,IAAc,iBAAiB;;ADxLxB;AAIvB;;;UC6LiB,WAAA;EAAA,SACN,OAAA;EAAA,SACA,QAAA;EAAA,SACA,UAAA;EAAA,SACA,SAAA;EACT,EAAA,CAAG,KAAA,YAAiB,MAAA;EACpB,GAAA,CAAI,KAAA,YAAiB,MAAA;EACrB,MAAA,IAAU,MAAA;EACV,SAAA,IAAa,MAAA;EACb,KAAA,IAAS,SAAA;EACT,gBAAA,CAAiB,KAAA,YAAiB,cAAA;AAAA;;;;ADhMwD;;;KCyMhF,aAAA,gBAA6B,YAAA,2BAClB,MAAA,GAAS,SAAA;AAAA,KAGpB,cAAA,gBAA8B,YAAA,2BACnB,MAAM;AAAA,KAGjB,cAAA,gBAA8B,YAAA,2BACnB,MAAM;;AA7O6B;AAO1D;;;KA8OY,WAAA,gBAA2B,YAAA;EAAA,SAC5B,MAAA,EAAQ,WAAA;EACjB,MAAA,CAAO,GAAA,EAAK,cAAA,CAAe,MAAA,IAAU,aAAA,CAAc,MAAA;EACnD,MAAA,CAAO,GAAA,EAAK,cAAA,CAAe,MAAA,IAAU,eAAA,CAAgB,MAAA;EACrD,MAAA,IAAU,aAAA,CAAc,MAAA;EACxB,MAAA,IAAU,OAAA,EAAS,aAAA,CAAc,WAAA,IAAe,aAAA;AAAA,2BAE3B,MAAA,GAAS,WAAA;AAAA,cAGnB,aAAA,gBAA6B,YAAA;EAAA,iBAErB,GAAA;EAAA,iBACA,MAAA;EAAA,iBACA,SAAA;EAAA,iBACA,cAAA;cAHA,GAAA,EAAK,WAAA,EACL,MAAA,EAAQ,MAAA,EACR,SAAA,EAAW,cAAA,CAAe,MAAA,GAC1B,cAAA,GAAgB,aAAA,CAAc,cAAA;EAGjD,SAAA,IAAa,OAAA,EAAS,aAAA,CAAc,WAAA,IAAe,aAAA,CAAc,MAAA;EASjE,KAAA,IAAS,SAAA;AAAA;AAAA,cAOE,eAAA,gBAA+B,YAAA;EAAA,iBAEvB,GAAA;EAAA,iBACA,MAAA;EAAA,iBACA,SAAA;cAFA,GAAA,EAAK,WAAA,EACL,MAAA,EAAQ,MAAA,EACR,SAAA,EAAW,cAAA,CAAe,MAAA;EAG7C,UAAA,IAAc,OAAA,EAAS,aAAA,CAAc,WAAA,IAAe,gBAAA,CAAiB,MAAA;AAAA;AAAA,cAK1D,gBAAA,gBAAgC,YAAA;EAAA,iBAExB,GAAA;EAAA,iBACA,MAAA;EAAA,iBACA,SAAA;EAAA,iBACA,YAAA;cAHA,GAAA,EAAK,WAAA,EACL,MAAA,EAAQ,MAAA,EACR,SAAA,EAAW,cAAA,CAAe,MAAA,GAC1B,YAAA,EAAc,aAAA,CAAc,WAAA;EAG/C,QAAA,CACE,aAAA,EACI,cAAA,CAAe,MAAA,MACb,QAAA,EAAU,aAAA,CAAc,MAAA,MAAY,cAAA,CAAe,MAAA,KACxD,aAAA,CAAc,MAAA;EAQjB,SAAA,IAAa,aAAA,CAAc,MAAA;AAAA;AAAA,cAKhB,aAAA,gBAA6B,YAAA;EAAA,iBAErB,GAAA;EAAA,iBACA,MAAA;EAAA,iBACA,SAAA;EAAA,iBACA,YAAA;EAAA,iBACA,SAAA;cAJA,GAAA,EAAK,WAAA,EACL,MAAA,EAAQ,MAAA,EACR,SAAA,EAAW,cAAA,CAAe,MAAA,GAC1B,YAAA,EAAc,aAAA,CAAc,WAAA,GAC5B,SAAA,EAAW,cAAA,CAAe,MAAA;EAG7C,KAAA,IAAS,SAAA;AAAA;AAAA,cAWE,aAAA,gBAA6B,YAAA;EAAA,iBAErB,GAAA;EAAA,iBACA,MAAA;EAAA,iBACA,SAAA;EAAA,iBACA,SAAA;EAAA,iBACA,cAAA;cAJA,GAAA,EAAK,WAAA,EACL,MAAA,EAAQ,MAAA,EACR,SAAA,GAAW,cAAA,CAAe,MAAA,eAC1B,SAAA,GAAW,MAAA,cACX,cAAA,GAAgB,aAAA,CAAc,cAAA;EAGjD,GAAA,CAAI,MAAA,EAAQ,cAAA,CAAe,MAAA,IAAU,aAAA,CAAc,MAAA;EAInD,KAAA,CAAM,IAAA,EAAM,MAAA,GAAS,aAAA,CAAc,MAAA;EAInC,SAAA,IAAa,OAAA,EAAS,aAAA,CAAc,WAAA,IAAe,aAAA,CAAc,MAAA;EAUjE,KAAA,IAAS,SAAA;AAAA;AAAA,cAQE,aAAA;EAAA,iBAEQ,GAAA;EAAA,iBACA,eAAA;EAAA,iBACA,SAAA;EAAA,iBACA,YAAA;cAHA,GAAA,EAAK,WAAA,EACL,eAAA,EAAiB,aAAA,CAAc,cAAA,GAC/B,SAAA,GAAW,MAAA,cACX,YAAA,GAAc,aAAA,CAAc,WAAA;EAG/C,KAAA,CAAM,IAAA,EAAM,MAAA,GAAS,aAAA;EAIrB,OAAA,CAAQ,MAAA,EAAQ,WAAA,EAAa,GAAA,oBAA8B,aAAA;EAQ3D,KAAA,IAAS,SAAA;AAAA;;;;;;AAnVkB;AAG7B;;;;;;;;;;;;;iBA0WgB,KAAA,gBAAqB,YAAA,EACnC,MAAA,EAAQ,WAAA,EACR,MAAA,EAAQ,MAAA,GACP,WAAA,CAAY,MAAA"}

package/dist/exports/contract-free.mjs

@@ -1,4 +1,4 @@
-import { a as FunctionColumnDefault, c as UniqueConstraint, i as ForeignKeyConstraint, o as LiteralColumnDefault, s as PrimaryKeyConstraint, t as DdlColumn } from "../ddl-types-DAox2c8w.mjs";
+import { a as ForeignKeyConstraint, c as PrimaryKeyConstraint, l as UniqueConstraint, n as DdlColumn, o as FunctionColumnDefault, s as LiteralColumnDefault, t as CheckExpressionConstraint } from "../ddl-types-DFKQr_qQ.mjs";
 import { C as OperationExpr, E as ParamRef, N as TableSource, O as ProjectionItem, P as UpdateAst, S as NullCheckExpr, T as OrderByItem, b as LiteralExpr, d as ExistsExpr, g as JoinAst, h as InsertOnConflict, i as ColumnRef, j as SelectAst, k as RawExpr, m as InsertAst, n as AndExpr, p as IdentifierRef, r as BinaryExpr, t as AggregateExpr, w as OrExpr } from "../types-CaGVAsoT.mjs";
 import { blindCast } from "@prisma-next/utils/casts";
 //#region src/contract-free/column.ts
@@ -35,6 +35,12 @@ function unique(columns, options) {
 		...options
 	});
 }
+function checkExpression(name, expression) {
+	return new CheckExpressionConstraint({
+		name,
+		expression
+	});
+}
 //#endregion
 //#region src/contract-free/table.ts
 /**
@@ -383,6 +389,6 @@ function buildSetMap(schema, values) {
 	return set;
 }
 //#endregion
-export { CfConflictClause, CfExpr, CfExprSelectQuery, CfInsertQuery, CfSelectQuery, CfUpdateQuery, CfUpsertBuilder, CfUpsertQuery, cfExpr, cfTable, col, exprSelect, fn, foreignKey, lit, primaryKey, table, unique };
+export { CfConflictClause, CfExpr, CfExprSelectQuery, CfInsertQuery, CfSelectQuery, CfUpdateQuery, CfUpsertBuilder, CfUpsertQuery, cfExpr, cfTable, checkExpression, col, exprSelect, fn, foreignKey, lit, primaryKey, table, unique };
 
 //# sourceMappingURL=contract-free.mjs.map

package/dist/exports/contract-free.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"contract-free.mjs","names":[],"sources":["../../src/contract-free/column.ts","../../src/contract-free/table.ts"],"sourcesContent":["import type { ColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';\nimport type { ReferentialAction } from '@prisma-next/sql-contract/types';\nimport type { CodecRef } from '../ast/codec-types';\nimport type { AnyDdlColumnDefault } from '../ast/ddl-types';\nimport {\n  DdlColumn,\n  ForeignKeyConstraint,\n  FunctionColumnDefault,\n  LiteralColumnDefault,\n  PrimaryKeyConstraint,\n  UniqueConstraint,\n} from '../ast/ddl-types';\n\nexport interface DdlColumnOptions {\n  readonly notNull?: boolean;\n  readonly primaryKey?: boolean;\n  readonly default?: AnyDdlColumnDefault;\n  readonly codecRef?: CodecRef;\n}\n\nexport function lit(value: ColumnDefaultLiteralInputValue): LiteralColumnDefault {\n  return new LiteralColumnDefault(value);\n}\n\nexport function fn(expression: string): FunctionColumnDefault {\n  return new FunctionColumnDefault(expression);\n}\n\nexport function col(name: string, type: string, options?: DdlColumnOptions): DdlColumn {\n  return new DdlColumn({ name, type, ...options });\n}\n\nexport function primaryKey(\n  columns: readonly string[],\n  options?: { readonly name?: string },\n): PrimaryKeyConstraint {\n  return new PrimaryKeyConstraint({ columns, ...options });\n}\n\nexport function foreignKey(\n  columns: readonly string[],\n  refTable: string,\n  refColumns: readonly string[],\n  options?: {\n    readonly name?: string;\n    readonly onDelete?: ReferentialAction;\n    readonly onUpdate?: ReferentialAction;\n  },\n): ForeignKeyConstraint {\n  return new ForeignKeyConstraint({ columns, refTable, refColumns, ...options });\n}\n\nexport function unique(\n  columns: readonly string[],\n  options?: { readonly name?: string },\n): UniqueConstraint {\n  return new UniqueConstraint({ columns, ...options });\n}\n","import type { ParamSpec } from '@prisma-next/operations';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport {\n  AggregateExpr,\n  AndExpr,\n  type AnyExpression,\n  type AnyFromSource,\n  BinaryExpr,\n  ColumnRef,\n  ExistsExpr,\n  IdentifierRef,\n  InsertAst,\n  InsertOnConflict,\n  type InsertValue,\n  JoinAst,\n  LiteralExpr,\n  NullCheckExpr,\n  OperationExpr,\n  OrderByItem,\n  OrExpr,\n  ParamRef,\n  ProjectionItem,\n  RawExpr,\n  SelectAst,\n  TableSource,\n  UpdateAst,\n} from '../ast/types';\n\nexport interface ColumnDescriptor {\n  readonly codecId: string;\n  readonly nullable: boolean;\n}\n\nexport type ColumnSchema = Record<string, ColumnDescriptor>;\n\n/**\n * A composable WHERE / ON expression. Wraps an `AnyExpression` and exposes\n * fluent boolean combinators, mirroring the spirit of `sql-builder`'s\n * `Expression` interface without the contract-bound type machinery.\n */\nexport class CfExpr {\n  constructor(readonly ast: AnyExpression) {}\n\n  and(other: CfExpr): CfExpr {\n    return new CfExpr(AndExpr.of([this.ast, other.ast]));\n  }\n\n  or(other: CfExpr): CfExpr {\n    return new CfExpr(OrExpr.of([this.ast, other.ast]));\n  }\n\n  not(): CfExpr {\n    return new CfExpr(this.ast.not());\n  }\n\n  isNull(): CfExpr {\n    return new CfExpr(NullCheckExpr.isNull(this.ast));\n  }\n\n  isNotNull(): CfExpr {\n    return new CfExpr(NullCheckExpr.isNotNull(this.ast));\n  }\n\n  eqLit(value: number | string | boolean): CfExpr {\n    return new CfExpr(BinaryExpr.eq(this.ast, LiteralExpr.of(value)));\n  }\n\n  gtLit(value: number | string | boolean): CfExpr {\n    return new CfExpr(BinaryExpr.gt(this.ast, LiteralExpr.of(value)));\n  }\n\n  eqParam(value: unknown, codecId: string): CfExpr {\n    return new CfExpr(BinaryExpr.eq(this.ast, ParamRef.of(value, { codec: { codecId } })));\n  }\n\n  eqExpr(other: CfExpr): CfExpr {\n    return new CfExpr(BinaryExpr.eq(this.ast, other.ast));\n  }\n}\n\nexport interface CfFnOptions {\n  readonly method: string;\n  readonly template: string;\n  readonly self: CfExpr;\n  readonly args?: ReadonlyArray<CfExpr>;\n  readonly returns: ParamSpec;\n}\n\nexport const cfExpr = {\n  countStar(): CfExpr {\n    return new CfExpr(AggregateExpr.count());\n  },\n  lit(value: number | string | boolean): CfExpr {\n    return new CfExpr(LiteralExpr.of(value));\n  },\n  identifierRef(name: string): CfExpr {\n    return new CfExpr(IdentifierRef.of(name));\n  },\n  param(value: unknown, codecId: string): CfExpr {\n    return new CfExpr(ParamRef.of(value, { codec: { codecId } }));\n  },\n  /**\n   * Catalog function call lowered via a `'function'`-strategy template\n   * (e.g. `to_regclass({{self}})`). Owns the `OperationExpr` assembly so\n   * target packages only supply vocabulary: template, codec'd operands,\n   * and return spec.\n   */\n  fn(options: CfFnOptions): CfExpr {\n    return new CfExpr(\n      new OperationExpr({\n        method: options.method,\n        self: options.self.ast,\n        args: options.args?.map((arg) => arg.ast),\n        returns: options.returns,\n        lowering: {\n          targetFamily: 'sql',\n          strategy: 'function',\n          template: options.template,\n        },\n      }),\n    );\n  },\n  columnRef(qualifier: string, name: string): CfExpr {\n    return new CfExpr(ColumnRef.of(qualifier, name));\n  },\n  allOf(exprs: ReadonlyArray<CfExpr>): CfExpr {\n    return new CfExpr(AndExpr.of(exprs.map((expr) => expr.ast)));\n  },\n  /**\n   * Opaque DB-side SQL expression (e.g. `current_schema()`) carried as a\n   * `RawExpr`. For zero-operand catalog functions where a `'function'`\n   * lowering template has nothing to substitute.\n   */\n  raw(sql: string, returns: ParamSpec): CfExpr {\n    return new CfExpr(new RawExpr({ parts: [sql], returns }));\n  },\n  exists(query: CfExprSelectQuery): CfExpr {\n    return new CfExpr(ExistsExpr.exists(query.build()));\n  },\n  notExists(query: CfExprSelectQuery): CfExpr {\n    return new CfExpr(ExistsExpr.notExists(query.build()));\n  },\n};\n\n/** Aliased table source for catalog queries (no namespace coordinate). */\nexport function cfTable(name: string, alias?: string): TableSource {\n  return TableSource.named(name, alias);\n}\n\nexport class CfExprSelectQuery {\n  constructor(\n    private readonly src: AnyFromSource | undefined,\n    private readonly projectionItems: ReadonlyArray<ProjectionItem>,\n    private readonly whereExpr: CfExpr | undefined,\n    private readonly joinItems: ReadonlyArray<JoinAst> = [],\n    private readonly limitValue: number | undefined = undefined,\n  ) {}\n\n  from(source: AnyFromSource): CfExprSelectQuery {\n    return new CfExprSelectQuery(\n      source,\n      this.projectionItems,\n      this.whereExpr,\n      this.joinItems,\n      this.limitValue,\n    );\n  }\n\n  join(source: AnyFromSource, on: CfExpr): CfExprSelectQuery {\n    return new CfExprSelectQuery(\n      this.src,\n      this.projectionItems,\n      this.whereExpr,\n      [...this.joinItems, JoinAst.inner(source, on.ast)],\n      this.limitValue,\n    );\n  }\n\n  leftJoin(source: AnyFromSource, on: CfExpr): CfExprSelectQuery {\n    return new CfExprSelectQuery(\n      this.src,\n      this.projectionItems,\n      this.whereExpr,\n      [...this.joinItems, JoinAst.left(source, on.ast)],\n      this.limitValue,\n    );\n  }\n\n  project(alias: string, expr: CfExpr): CfExprSelectQuery {\n    return new CfExprSelectQuery(\n      this.src,\n      [...this.projectionItems, ProjectionItem.of(alias, expr.ast)],\n      this.whereExpr,\n      this.joinItems,\n      this.limitValue,\n    );\n  }\n\n  where(expr: CfExpr): CfExprSelectQuery {\n    return new CfExprSelectQuery(\n      this.src,\n      this.projectionItems,\n      expr,\n      this.joinItems,\n      this.limitValue,\n    );\n  }\n\n  limit(value: number): CfExprSelectQuery {\n    return new CfExprSelectQuery(\n      this.src,\n      this.projectionItems,\n      this.whereExpr,\n      this.joinItems,\n      value,\n    );\n  }\n\n  build(): SelectAst {\n    if (this.joinItems.length > 0 && this.src === undefined) {\n      throw new Error('CfExprSelectQuery: cannot add a JOIN without a FROM clause');\n    }\n    const base =\n      this.src !== undefined\n        ? SelectAst.from(this.src).withProjection(this.projectionItems)\n        : SelectAst.noFrom().withProjection(this.projectionItems);\n    const withJoins = this.joinItems.length > 0 ? base.withJoins(this.joinItems) : base;\n    const withWhere =\n      this.whereExpr !== undefined ? withJoins.withWhere(this.whereExpr.ast) : withJoins;\n    return this.limitValue !== undefined ? withWhere.withLimit(this.limitValue) : withWhere;\n  }\n}\n\nexport function exprSelect(): CfExprSelectQuery {\n  return new CfExprSelectQuery(undefined, [], undefined);\n}\n\n/**\n * Per-column authoring handle exposed as a keyed property on a {@link TableHandle}.\n * Carries codec metadata baked at declaration time so no codec ID, table name, or\n * column name needs to be repeated at the call site.\n */\nexport interface ColumnProxy {\n  readonly codecId: string;\n  readonly nullable: boolean;\n  readonly columnName: string;\n  readonly tableName: string;\n  eq(value: unknown): CfExpr;\n  neq(value: unknown): CfExpr;\n  isNull(): CfExpr;\n  isNotNull(): CfExpr;\n  toRef(): ColumnRef;\n  toProjectionItem(alias?: string): ProjectionItem;\n}\n\n/**\n * Object passed to the {@link CfConflictClause.doUpdate} callback. Each key\n * resolves to a `ColumnRef` for the corresponding `excluded.<column>`, so the\n * upsert conflict-update branch can copy proposed values without re-binding\n * parameters.\n */\nexport type ExcludedProxy<Schema extends ColumnSchema> = {\n  readonly [K in keyof Schema]: ColumnRef;\n};\n\nexport type TableInsertRow<Schema extends ColumnSchema> = {\n  readonly [K in keyof Schema]: unknown;\n};\n\nexport type TableSetValues<Schema extends ColumnSchema> = {\n  readonly [K in keyof Schema]?: unknown;\n};\n\n/**\n * Fluent authoring handle for a fixed control-plane table. Column proxies are\n * exposed as keyed properties so `handle.columnName.eq(value)` composes without\n * threading codec IDs, table names, or column refs at the call site.\n */\nexport type TableHandle<Schema extends ColumnSchema> = {\n  readonly source: TableSource;\n  insert(row: TableInsertRow<Schema>): CfInsertQuery<Schema>;\n  upsert(row: TableInsertRow<Schema>): CfUpsertBuilder<Schema>;\n  update(): CfUpdateQuery<Schema>;\n  select(...columns: ReadonlyArray<ColumnProxy>): CfSelectQuery;\n} & {\n  readonly [K in keyof Schema]: ColumnProxy;\n};\n\nexport class CfInsertQuery<Schema extends ColumnSchema> {\n  constructor(\n    private readonly src: TableSource,\n    private readonly schema: Schema,\n    private readonly rowValues: TableInsertRow<Schema>,\n    private readonly returningItems: ReadonlyArray<ProjectionItem> | undefined = undefined,\n  ) {}\n\n  returning(...columns: ReadonlyArray<ColumnProxy>): CfInsertQuery<Schema> {\n    return new CfInsertQuery(\n      this.src,\n      this.schema,\n      this.rowValues,\n      columns.map((col) => col.toProjectionItem()),\n    );\n  }\n\n  build(): InsertAst {\n    const row = buildInsertRow(this.schema, this.rowValues);\n    const ast = InsertAst.into(this.src).withRows([row]);\n    return this.returningItems ? ast.withReturning(this.returningItems) : ast;\n  }\n}\n\nexport class CfUpsertBuilder<Schema extends ColumnSchema> {\n  constructor(\n    private readonly src: TableSource,\n    private readonly schema: Schema,\n    private readonly rowValues: TableInsertRow<Schema>,\n  ) {}\n\n  onConflict(...columns: ReadonlyArray<ColumnProxy>): CfConflictClause<Schema> {\n    return new CfConflictClause(this.src, this.schema, this.rowValues, [...columns]);\n  }\n}\n\nexport class CfConflictClause<Schema extends ColumnSchema> {\n  constructor(\n    private readonly src: TableSource,\n    private readonly schema: Schema,\n    private readonly rowValues: TableInsertRow<Schema>,\n    private readonly conflictCols: ReadonlyArray<ColumnProxy>,\n  ) {}\n\n  doUpdate(\n    setOrCallback:\n      | TableSetValues<Schema>\n      | ((excluded: ExcludedProxy<Schema>) => TableSetValues<Schema>),\n  ): CfUpsertQuery<Schema> {\n    const set =\n      typeof setOrCallback === 'function'\n        ? setOrCallback(buildExcludedProxy(this.schema))\n        : setOrCallback;\n    return new CfUpsertQuery(this.src, this.schema, this.rowValues, this.conflictCols, set);\n  }\n\n  doNothing(): CfUpsertQuery<Schema> {\n    return new CfUpsertQuery(this.src, this.schema, this.rowValues, this.conflictCols, undefined);\n  }\n}\n\nexport class CfUpsertQuery<Schema extends ColumnSchema> {\n  constructor(\n    private readonly src: TableSource,\n    private readonly schema: Schema,\n    private readonly rowValues: TableInsertRow<Schema>,\n    private readonly conflictCols: ReadonlyArray<ColumnProxy>,\n    private readonly updateSet: TableSetValues<Schema> | undefined,\n  ) {}\n\n  build(): InsertAst {\n    const row = buildInsertRow(this.schema, this.rowValues);\n    const conflictRefs = this.conflictCols.map((col) => col.toRef());\n    const onConflict =\n      this.updateSet === undefined\n        ? InsertOnConflict.on(conflictRefs).doNothing()\n        : InsertOnConflict.on(conflictRefs).doUpdateSet(buildSetMap(this.schema, this.updateSet));\n    return InsertAst.into(this.src).withRows([row]).withOnConflict(onConflict);\n  }\n}\n\nexport class CfUpdateQuery<Schema extends ColumnSchema> {\n  constructor(\n    private readonly src: TableSource,\n    private readonly schema: Schema,\n    private readonly setValues: TableSetValues<Schema> | undefined = undefined,\n    private readonly whereExpr: CfExpr | undefined = undefined,\n    private readonly returningItems: ReadonlyArray<ProjectionItem> | undefined = undefined,\n  ) {}\n\n  set(values: TableSetValues<Schema>): CfUpdateQuery<Schema> {\n    return new CfUpdateQuery(this.src, this.schema, values, this.whereExpr, this.returningItems);\n  }\n\n  where(expr: CfExpr): CfUpdateQuery<Schema> {\n    return new CfUpdateQuery(this.src, this.schema, this.setValues, expr, this.returningItems);\n  }\n\n  returning(...columns: ReadonlyArray<ColumnProxy>): CfUpdateQuery<Schema> {\n    return new CfUpdateQuery(\n      this.src,\n      this.schema,\n      this.setValues,\n      this.whereExpr,\n      columns.map((col) => col.toProjectionItem()),\n    );\n  }\n\n  build(): UpdateAst {\n    const set = buildSetMap(this.schema, this.setValues);\n    const base = UpdateAst.table(this.src).withSet(set);\n    const withWhere = this.whereExpr ? base.withWhere(this.whereExpr.ast) : base;\n    return this.returningItems ? withWhere.withReturning(this.returningItems) : withWhere;\n  }\n}\n\nexport class CfSelectQuery {\n  constructor(\n    private readonly src: TableSource,\n    private readonly projectionItems: ReadonlyArray<ProjectionItem>,\n    private readonly whereExpr: CfExpr | undefined = undefined,\n    private readonly orderByItems: ReadonlyArray<OrderByItem> = [],\n  ) {}\n\n  where(expr: CfExpr): CfSelectQuery {\n    return new CfSelectQuery(this.src, this.projectionItems, expr, this.orderByItems);\n  }\n\n  orderBy(column: ColumnProxy, dir: 'asc' | 'desc' = 'asc'): CfSelectQuery {\n    const item = dir === 'asc' ? OrderByItem.asc(column.toRef()) : OrderByItem.desc(column.toRef());\n    return new CfSelectQuery(this.src, this.projectionItems, this.whereExpr, [\n      ...this.orderByItems,\n      item,\n    ]);\n  }\n\n  build(): SelectAst {\n    const base = SelectAst.from(this.src).withProjection(this.projectionItems);\n    const withWhere = this.whereExpr ? base.withWhere(this.whereExpr.ast) : base;\n    return this.orderByItems.length > 0 ? withWhere.withOrderBy(this.orderByItems) : withWhere;\n  }\n}\n\n/**\n * Declare a control-plane table once, binding column codecs at declaration time.\n * Returns a `TableHandle` whose column properties compose expressions directly\n * without per-call-site codec or column-name threading.\n *\n * ```ts\n * const marker = pgTable({ name: 'marker', schema: 'prisma_contract' }, {\n *   space:      text(),\n *   core_hash:  text(),\n *   updated_at: timestamptz(),\n * });\n *\n * const query = marker.update()\n *   .set({ core_hash: newHash, updated_at: NOW })\n *   .where(marker.space.eq(space).and(marker.core_hash.eq(expectedFrom)))\n *   .returning(marker.space)\n *   .build();\n * ```\n */\nexport function table<Schema extends ColumnSchema>(\n  source: TableSource,\n  schema: Schema,\n): TableHandle<Schema> {\n  const proxies: Record<string, ColumnProxy> = {};\n  for (const [col, desc] of Object.entries(schema)) {\n    proxies[col] = makeColumnProxy(source.alias ?? source.name, col, desc);\n  }\n\n  const handle = {\n    ...proxies,\n    source,\n    insert: (row: TableInsertRow<Schema>) => new CfInsertQuery(source, schema, row),\n    upsert: (row: TableInsertRow<Schema>) => new CfUpsertBuilder(source, schema, row),\n    update: () => new CfUpdateQuery(source, schema),\n    select: (...cols: ReadonlyArray<ColumnProxy>) =>\n      new CfSelectQuery(\n        source,\n        cols.map((col) => col.toProjectionItem()),\n      ),\n  };\n\n  return blindCast<\n    TableHandle<Schema>,\n    'Column proxies are dynamically built from Schema keys — TypeScript cannot verify the per-key ColumnProxy constraint at the spread call site. Construction is correct by construction: every key maps to makeColumnProxy(source.name, key, schema[key]).'\n  >(handle);\n}\n\nfunction makeColumnProxy(\n  tableName: string,\n  columnName: string,\n  desc: ColumnDescriptor,\n): ColumnProxy {\n  const ref = ColumnRef.of(tableName, columnName);\n  return {\n    codecId: desc.codecId,\n    nullable: desc.nullable,\n    columnName,\n    tableName,\n    eq: (value) =>\n      value === null\n        ? new CfExpr(NullCheckExpr.isNull(ref))\n        : new CfExpr(BinaryExpr.eq(ref, toSetExpression(value, desc))),\n    neq: (value) =>\n      value === null\n        ? new CfExpr(NullCheckExpr.isNotNull(ref))\n        : new CfExpr(BinaryExpr.neq(ref, toSetExpression(value, desc))),\n    isNull: () => new CfExpr(NullCheckExpr.isNull(ref)),\n    isNotNull: () => new CfExpr(NullCheckExpr.isNotNull(ref)),\n    toRef: () => ref,\n    toProjectionItem: (alias = columnName) =>\n      ProjectionItem.of(alias, ref, { codecId: desc.codecId }),\n  };\n}\n\nfunction buildExcludedProxy<Schema extends ColumnSchema>(schema: Schema): ExcludedProxy<Schema> {\n  return blindCast<\n    ExcludedProxy<Schema>,\n    'Object.fromEntries cannot preserve per-key ColumnRef types — correct by construction: every key maps to ColumnRef.of(\"excluded\", key).'\n  >(Object.fromEntries(Object.keys(schema).map((col) => [col, ColumnRef.of('excluded', col)])));\n}\n\nfunction isExpressionSource(value: unknown): value is { toExpr(): AnyExpression } {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'toExpr' in value &&\n    typeof value.toExpr === 'function'\n  );\n}\n\nfunction toInsertValue(value: unknown, desc: ColumnDescriptor): InsertValue {\n  if (isExpressionSource(value)) {\n    const expr = value.toExpr();\n    if (\n      expr.kind === 'column-ref' ||\n      expr.kind === 'param-ref' ||\n      expr.kind === 'prepared-param-ref' ||\n      expr.kind === 'raw-expr'\n    ) {\n      return expr;\n    }\n  }\n  return ParamRef.of(value, { codec: { codecId: desc.codecId } });\n}\n\nfunction toSetExpression(value: unknown, desc: ColumnDescriptor): AnyExpression {\n  if (isExpressionSource(value)) {\n    return value.toExpr();\n  }\n  return ParamRef.of(value, { codec: { codecId: desc.codecId } });\n}\n\nfunction buildInsertRow<Schema extends ColumnSchema>(\n  schema: Schema,\n  values: TableInsertRow<Schema>,\n): Record<string, InsertValue> {\n  const row: Record<string, InsertValue> = {};\n  const rawValues = blindCast<\n    Record<string, unknown>,\n    'TableInsertRow<Schema> maps Schema keys to unknown; indexing by the same string keys is correct by construction'\n  >(values);\n  for (const [col, desc] of Object.entries(schema)) {\n    row[col] = toInsertValue(rawValues[col], desc);\n  }\n  return row;\n}\n\nfunction buildSetMap<Schema extends ColumnSchema>(\n  schema: Schema,\n  values: TableSetValues<Schema> | undefined,\n): Record<string, AnyExpression> {\n  if (values === undefined) return {};\n  const set: Record<string, AnyExpression> = {};\n  const rawSchema = blindCast<\n    Record<string, ColumnDescriptor>,\n    'Schema extends ColumnSchema = Record<string, ColumnDescriptor>; runtime key access is correct by construction'\n  >(schema);\n  const rawValues = blindCast<\n    Record<string, unknown>,\n    'TableSetValues<Schema> maps Schema keys to unknown; iterating with Object.entries is correct by construction'\n  >(values);\n  for (const [col, value] of Object.entries(rawValues)) {\n    const desc = rawSchema[col];\n    if (desc !== undefined) {\n      set[col] = toSetExpression(value, desc);\n    }\n  }\n  return set;\n}\n"],"mappings":";;;;AAoBA,SAAgB,IAAI,OAA6D;CAC/E,OAAO,IAAI,qBAAqB,KAAK;AACvC;AAEA,SAAgB,GAAG,YAA2C;CAC5D,OAAO,IAAI,sBAAsB,UAAU;AAC7C;AAEA,SAAgB,IAAI,MAAc,MAAc,SAAuC;CACrF,OAAO,IAAI,UAAU;EAAE;EAAM;EAAM,GAAG;CAAQ,CAAC;AACjD;AAEA,SAAgB,WACd,SACA,SACsB;CACtB,OAAO,IAAI,qBAAqB;EAAE;EAAS,GAAG;CAAQ,CAAC;AACzD;AAEA,SAAgB,WACd,SACA,UACA,YACA,SAKsB;CACtB,OAAO,IAAI,qBAAqB;EAAE;EAAS;EAAU;EAAY,GAAG;CAAQ,CAAC;AAC/E;AAEA,SAAgB,OACd,SACA,SACkB;CAClB,OAAO,IAAI,iBAAiB;EAAE;EAAS,GAAG;CAAQ,CAAC;AACrD;;;;;;;;ACjBA,IAAa,SAAb,MAAa,OAAO;CACG;CAArB,YAAY,KAA6B;EAApB,KAAA,MAAA;CAAqB;CAE1C,IAAI,OAAuB;EACzB,OAAO,IAAI,OAAO,QAAQ,GAAG,CAAC,KAAK,KAAK,MAAM,GAAG,CAAC,CAAC;CACrD;CAEA,GAAG,OAAuB;EACxB,OAAO,IAAI,OAAO,OAAO,GAAG,CAAC,KAAK,KAAK,MAAM,GAAG,CAAC,CAAC;CACpD;CAEA,MAAc;EACZ,OAAO,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC;CAClC;CAEA,SAAiB;EACf,OAAO,IAAI,OAAO,cAAc,OAAO,KAAK,GAAG,CAAC;CAClD;CAEA,YAAoB;EAClB,OAAO,IAAI,OAAO,cAAc,UAAU,KAAK,GAAG,CAAC;CACrD;CAEA,MAAM,OAA0C;EAC9C,OAAO,IAAI,OAAO,WAAW,GAAG,KAAK,KAAK,YAAY,GAAG,KAAK,CAAC,CAAC;CAClE;CAEA,MAAM,OAA0C;EAC9C,OAAO,IAAI,OAAO,WAAW,GAAG,KAAK,KAAK,YAAY,GAAG,KAAK,CAAC,CAAC;CAClE;CAEA,QAAQ,OAAgB,SAAyB;EAC/C,OAAO,IAAI,OAAO,WAAW,GAAG,KAAK,KAAK,SAAS,GAAG,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;CACvF;CAEA,OAAO,OAAuB;EAC5B,OAAO,IAAI,OAAO,WAAW,GAAG,KAAK,KAAK,MAAM,GAAG,CAAC;CACtD;AACF;AAUA,MAAa,SAAS;CACpB,YAAoB;EAClB,OAAO,IAAI,OAAO,cAAc,MAAM,CAAC;CACzC;CACA,IAAI,OAA0C;EAC5C,OAAO,IAAI,OAAO,YAAY,GAAG,KAAK,CAAC;CACzC;CACA,cAAc,MAAsB;EAClC,OAAO,IAAI,OAAO,cAAc,GAAG,IAAI,CAAC;CAC1C;CACA,MAAM,OAAgB,SAAyB;EAC7C,OAAO,IAAI,OAAO,SAAS,GAAG,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;CAC9D;;;;;;;CAOA,GAAG,SAA8B;EAC/B,OAAO,IAAI,OACT,IAAI,cAAc;GAChB,QAAQ,QAAQ;GAChB,MAAM,QAAQ,KAAK;GACnB,MAAM,QAAQ,MAAM,KAAK,QAAQ,IAAI,GAAG;GACxC,SAAS,QAAQ;GACjB,UAAU;IACR,cAAc;IACd,UAAU;IACV,UAAU,QAAQ;GACpB;EACF,CAAC,CACH;CACF;CACA,UAAU,WAAmB,MAAsB;EACjD,OAAO,IAAI,OAAO,UAAU,GAAG,WAAW,IAAI,CAAC;CACjD;CACA,MAAM,OAAsC;EAC1C,OAAO,IAAI,OAAO,QAAQ,GAAG,MAAM,KAAK,SAAS,KAAK,GAAG,CAAC,CAAC;CAC7D;;;;;;CAMA,IAAI,KAAa,SAA4B;EAC3C,OAAO,IAAI,OAAO,IAAI,QAAQ;GAAE,OAAO,CAAC,GAAG;GAAG;EAAQ,CAAC,CAAC;CAC1D;CACA,OAAO,OAAkC;EACvC,OAAO,IAAI,OAAO,WAAW,OAAO,MAAM,MAAM,CAAC,CAAC;CACpD;CACA,UAAU,OAAkC;EAC1C,OAAO,IAAI,OAAO,WAAW,UAAU,MAAM,MAAM,CAAC,CAAC;CACvD;AACF;;AAGA,SAAgB,QAAQ,MAAc,OAA6B;CACjE,OAAO,YAAY,MAAM,MAAM,KAAK;AACtC;AAEA,IAAa,oBAAb,MAAa,kBAAkB;CAEV;CACA;CACA;CACA;CACA;CALnB,YACE,KACA,iBACA,WACA,YAAqD,CAAC,GACtD,aAAkD,KAAA,GAClD;EALiB,KAAA,MAAA;EACA,KAAA,kBAAA;EACA,KAAA,YAAA;EACA,KAAA,YAAA;EACA,KAAA,aAAA;CAChB;CAEH,KAAK,QAA0C;EAC7C,OAAO,IAAI,kBACT,QACA,KAAK,iBACL,KAAK,WACL,KAAK,WACL,KAAK,UACP;CACF;CAEA,KAAK,QAAuB,IAA+B;EACzD,OAAO,IAAI,kBACT,KAAK,KACL,KAAK,iBACL,KAAK,WACL,CAAC,GAAG,KAAK,WAAW,QAAQ,MAAM,QAAQ,GAAG,GAAG,CAAC,GACjD,KAAK,UACP;CACF;CAEA,SAAS,QAAuB,IAA+B;EAC7D,OAAO,IAAI,kBACT,KAAK,KACL,KAAK,iBACL,KAAK,WACL,CAAC,GAAG,KAAK,WAAW,QAAQ,KAAK,QAAQ,GAAG,GAAG,CAAC,GAChD,KAAK,UACP;CACF;CAEA,QAAQ,OAAe,MAAiC;EACtD,OAAO,IAAI,kBACT,KAAK,KACL,CAAC,GAAG,KAAK,iBAAiB,eAAe,GAAG,OAAO,KAAK,GAAG,CAAC,GAC5D,KAAK,WACL,KAAK,WACL,KAAK,UACP;CACF;CAEA,MAAM,MAAiC;EACrC,OAAO,IAAI,kBACT,KAAK,KACL,KAAK,iBACL,MACA,KAAK,WACL,KAAK,UACP;CACF;CAEA,MAAM,OAAkC;EACtC,OAAO,IAAI,kBACT,KAAK,KACL,KAAK,iBACL,KAAK,WACL,KAAK,WACL,KACF;CACF;CAEA,QAAmB;EACjB,IAAI,KAAK,UAAU,SAAS,KAAK,KAAK,QAAQ,KAAA,GAC5C,MAAM,IAAI,MAAM,4DAA4D;EAE9E,MAAM,OACJ,KAAK,QAAQ,KAAA,IACT,UAAU,KAAK,KAAK,GAAG,CAAC,CAAC,eAAe,KAAK,eAAe,IAC5D,UAAU,OAAO,CAAC,CAAC,eAAe,KAAK,eAAe;EAC5D,MAAM,YAAY,KAAK,UAAU,SAAS,IAAI,KAAK,UAAU,KAAK,SAAS,IAAI;EAC/E,MAAM,YACJ,KAAK,cAAc,KAAA,IAAY,UAAU,UAAU,KAAK,UAAU,GAAG,IAAI;EAC3E,OAAO,KAAK,eAAe,KAAA,IAAY,UAAU,UAAU,KAAK,UAAU,IAAI;CAChF;AACF;AAEA,SAAgB,aAAgC;CAC9C,OAAO,IAAI,kBAAkB,KAAA,GAAW,CAAC,GAAG,KAAA,CAAS;AACvD;AAqDA,IAAa,gBAAb,MAAa,cAA2C;CAEnC;CACA;CACA;CACA;CAJnB,YACE,KACA,QACA,WACA,iBAA6E,KAAA,GAC7E;EAJiB,KAAA,MAAA;EACA,KAAA,SAAA;EACA,KAAA,YAAA;EACA,KAAA,iBAAA;CAChB;CAEH,UAAU,GAAG,SAA4D;EACvE,OAAO,IAAI,cACT,KAAK,KACL,KAAK,QACL,KAAK,WACL,QAAQ,KAAK,QAAQ,IAAI,iBAAiB,CAAC,CAC7C;CACF;CAEA,QAAmB;EACjB,MAAM,MAAM,eAAe,KAAK,QAAQ,KAAK,SAAS;EACtD,MAAM,MAAM,UAAU,KAAK,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC;EACnD,OAAO,KAAK,iBAAiB,IAAI,cAAc,KAAK,cAAc,IAAI;CACxE;AACF;AAEA,IAAa,kBAAb,MAA0D;CAErC;CACA;CACA;CAHnB,YACE,KACA,QACA,WACA;EAHiB,KAAA,MAAA;EACA,KAAA,SAAA;EACA,KAAA,YAAA;CAChB;CAEH,WAAW,GAAG,SAA+D;EAC3E,OAAO,IAAI,iBAAiB,KAAK,KAAK,KAAK,QAAQ,KAAK,WAAW,CAAC,GAAG,OAAO,CAAC;CACjF;AACF;AAEA,IAAa,mBAAb,MAA2D;CAEtC;CACA;CACA;CACA;CAJnB,YACE,KACA,QACA,WACA,cACA;EAJiB,KAAA,MAAA;EACA,KAAA,SAAA;EACA,KAAA,YAAA;EACA,KAAA,eAAA;CAChB;CAEH,SACE,eAGuB;EACvB,MAAM,MACJ,OAAO,kBAAkB,aACrB,cAAc,mBAAmB,KAAK,MAAM,CAAC,IAC7C;EACN,OAAO,IAAI,cAAc,KAAK,KAAK,KAAK,QAAQ,KAAK,WAAW,KAAK,cAAc,GAAG;CACxF;CAEA,YAAmC;EACjC,OAAO,IAAI,cAAc,KAAK,KAAK,KAAK,QAAQ,KAAK,WAAW,KAAK,cAAc,KAAA,CAAS;CAC9F;AACF;AAEA,IAAa,gBAAb,MAAwD;CAEnC;CACA;CACA;CACA;CACA;CALnB,YACE,KACA,QACA,WACA,cACA,WACA;EALiB,KAAA,MAAA;EACA,KAAA,SAAA;EACA,KAAA,YAAA;EACA,KAAA,eAAA;EACA,KAAA,YAAA;CAChB;CAEH,QAAmB;EACjB,MAAM,MAAM,eAAe,KAAK,QAAQ,KAAK,SAAS;EACtD,MAAM,eAAe,KAAK,aAAa,KAAK,QAAQ,IAAI,MAAM,CAAC;EAC/D,MAAM,aACJ,KAAK,cAAc,KAAA,IACf,iBAAiB,GAAG,YAAY,CAAC,CAAC,UAAU,IAC5C,iBAAiB,GAAG,YAAY,CAAC,CAAC,YAAY,YAAY,KAAK,QAAQ,KAAK,SAAS,CAAC;EAC5F,OAAO,UAAU,KAAK,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe,UAAU;CAC3E;AACF;AAEA,IAAa,gBAAb,MAAa,cAA2C;CAEnC;CACA;CACA;CACA;CACA;CALnB,YACE,KACA,QACA,YAAiE,KAAA,GACjE,YAAiD,KAAA,GACjD,iBAA6E,KAAA,GAC7E;EALiB,KAAA,MAAA;EACA,KAAA,SAAA;EACA,KAAA,YAAA;EACA,KAAA,YAAA;EACA,KAAA,iBAAA;CAChB;CAEH,IAAI,QAAuD;EACzD,OAAO,IAAI,cAAc,KAAK,KAAK,KAAK,QAAQ,QAAQ,KAAK,WAAW,KAAK,cAAc;CAC7F;CAEA,MAAM,MAAqC;EACzC,OAAO,IAAI,cAAc,KAAK,KAAK,KAAK,QAAQ,KAAK,WAAW,MAAM,KAAK,cAAc;CAC3F;CAEA,UAAU,GAAG,SAA4D;EACvE,OAAO,IAAI,cACT,KAAK,KACL,KAAK,QACL,KAAK,WACL,KAAK,WACL,QAAQ,KAAK,QAAQ,IAAI,iBAAiB,CAAC,CAC7C;CACF;CAEA,QAAmB;EACjB,MAAM,MAAM,YAAY,KAAK,QAAQ,KAAK,SAAS;EACnD,MAAM,OAAO,UAAU,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,GAAG;EAClD,MAAM,YAAY,KAAK,YAAY,KAAK,UAAU,KAAK,UAAU,GAAG,IAAI;EACxE,OAAO,KAAK,iBAAiB,UAAU,cAAc,KAAK,cAAc,IAAI;CAC9E;AACF;AAEA,IAAa,gBAAb,MAAa,cAAc;CAEN;CACA;CACA;CACA;CAJnB,YACE,KACA,iBACA,YAAiD,KAAA,GACjD,eAA4D,CAAC,GAC7D;EAJiB,KAAA,MAAA;EACA,KAAA,kBAAA;EACA,KAAA,YAAA;EACA,KAAA,eAAA;CAChB;CAEH,MAAM,MAA6B;EACjC,OAAO,IAAI,cAAc,KAAK,KAAK,KAAK,iBAAiB,MAAM,KAAK,YAAY;CAClF;CAEA,QAAQ,QAAqB,MAAsB,OAAsB;EACvE,MAAM,OAAO,QAAQ,QAAQ,YAAY,IAAI,OAAO,MAAM,CAAC,IAAI,YAAY,KAAK,OAAO,MAAM,CAAC;EAC9F,OAAO,IAAI,cAAc,KAAK,KAAK,KAAK,iBAAiB,KAAK,WAAW,CACvE,GAAG,KAAK,cACR,IACF,CAAC;CACH;CAEA,QAAmB;EACjB,MAAM,OAAO,UAAU,KAAK,KAAK,GAAG,CAAC,CAAC,eAAe,KAAK,eAAe;EACzE,MAAM,YAAY,KAAK,YAAY,KAAK,UAAU,KAAK,UAAU,GAAG,IAAI;EACxE,OAAO,KAAK,aAAa,SAAS,IAAI,UAAU,YAAY,KAAK,YAAY,IAAI;CACnF;AACF;;;;;;;;;;;;;;;;;;;;AAqBA,SAAgB,MACd,QACA,QACqB;CACrB,MAAM,UAAuC,CAAC;CAC9C,KAAK,MAAM,CAAC,KAAK,SAAS,OAAO,QAAQ,MAAM,GAC7C,QAAQ,OAAO,gBAAgB,OAAO,SAAS,OAAO,MAAM,KAAK,IAAI;CAgBvE,OAAO,UAGL;EAfA,GAAG;EACH;EACA,SAAS,QAAgC,IAAI,cAAc,QAAQ,QAAQ,GAAG;EAC9E,SAAS,QAAgC,IAAI,gBAAgB,QAAQ,QAAQ,GAAG;EAChF,cAAc,IAAI,cAAc,QAAQ,MAAM;EAC9C,SAAS,GAAG,SACV,IAAI,cACF,QACA,KAAK,KAAK,QAAQ,IAAI,iBAAiB,CAAC,CAC1C;CAMG,CAAC;AACV;AAEA,SAAS,gBACP,WACA,YACA,MACa;CACb,MAAM,MAAM,UAAU,GAAG,WAAW,UAAU;CAC9C,OAAO;EACL,SAAS,KAAK;EACd,UAAU,KAAK;EACf;EACA;EACA,KAAK,UACH,UAAU,OACN,IAAI,OAAO,cAAc,OAAO,GAAG,CAAC,IACpC,IAAI,OAAO,WAAW,GAAG,KAAK,gBAAgB,OAAO,IAAI,CAAC,CAAC;EACjE,MAAM,UACJ,UAAU,OACN,IAAI,OAAO,cAAc,UAAU,GAAG,CAAC,IACvC,IAAI,OAAO,WAAW,IAAI,KAAK,gBAAgB,OAAO,IAAI,CAAC,CAAC;EAClE,cAAc,IAAI,OAAO,cAAc,OAAO,GAAG,CAAC;EAClD,iBAAiB,IAAI,OAAO,cAAc,UAAU,GAAG,CAAC;EACxD,aAAa;EACb,mBAAmB,QAAQ,eACzB,eAAe,GAAG,OAAO,KAAK,EAAE,SAAS,KAAK,QAAQ,CAAC;CAC3D;AACF;AAEA,SAAS,mBAAgD,QAAuC;CAC9F,OAAO,UAGL,OAAO,YAAY,OAAO,KAAK,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,KAAK,UAAU,GAAG,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC;AAC9F;AAEA,SAAS,mBAAmB,OAAsD;CAChF,OACE,OAAO,UAAU,YACjB,UAAU,QACV,YAAY,SACZ,OAAO,MAAM,WAAW;AAE5B;AAEA,SAAS,cAAc,OAAgB,MAAqC;CAC1E,IAAI,mBAAmB,KAAK,GAAG;EAC7B,MAAM,OAAO,MAAM,OAAO;EAC1B,IACE,KAAK,SAAS,gBACd,KAAK,SAAS,eACd,KAAK,SAAS,wBACd,KAAK,SAAS,YAEd,OAAO;CAEX;CACA,OAAO,SAAS,GAAG,OAAO,EAAE,OAAO,EAAE,SAAS,KAAK,QAAQ,EAAE,CAAC;AAChE;AAEA,SAAS,gBAAgB,OAAgB,MAAuC;CAC9E,IAAI,mBAAmB,KAAK,GAC1B,OAAO,MAAM,OAAO;CAEtB,OAAO,SAAS,GAAG,OAAO,EAAE,OAAO,EAAE,SAAS,KAAK,QAAQ,EAAE,CAAC;AAChE;AAEA,SAAS,eACP,QACA,QAC6B;CAC7B,MAAM,MAAmC,CAAC;CAC1C,MAAM,YAAY,UAGhB,MAAM;CACR,KAAK,MAAM,CAAC,KAAK,SAAS,OAAO,QAAQ,MAAM,GAC7C,IAAI,OAAO,cAAc,UAAU,MAAM,IAAI;CAE/C,OAAO;AACT;AAEA,SAAS,YACP,QACA,QAC+B;CAC/B,IAAI,WAAW,KAAA,GAAW,OAAO,CAAC;CAClC,MAAM,MAAqC,CAAC;CAC5C,MAAM,YAAY,UAGhB,MAAM;CACR,MAAM,YAAY,UAGhB,MAAM;CACR,KAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,SAAS,GAAG;EACpD,MAAM,OAAO,UAAU;EACvB,IAAI,SAAS,KAAA,GACX,IAAI,OAAO,gBAAgB,OAAO,IAAI;CAE1C;CACA,OAAO;AACT"}
+{"version":3,"file":"contract-free.mjs","names":[],"sources":["../../src/contract-free/column.ts","../../src/contract-free/table.ts"],"sourcesContent":["import type { ColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';\nimport type { ReferentialAction } from '@prisma-next/sql-contract/types';\nimport type { CodecRef } from '../ast/codec-types';\nimport type { AnyDdlColumnDefault } from '../ast/ddl-types';\nimport {\n  CheckExpressionConstraint,\n  DdlColumn,\n  ForeignKeyConstraint,\n  FunctionColumnDefault,\n  LiteralColumnDefault,\n  PrimaryKeyConstraint,\n  UniqueConstraint,\n} from '../ast/ddl-types';\n\nexport interface DdlColumnOptions {\n  readonly notNull?: boolean;\n  readonly primaryKey?: boolean;\n  readonly default?: AnyDdlColumnDefault;\n  readonly codecRef?: CodecRef;\n}\n\nexport function lit(value: ColumnDefaultLiteralInputValue): LiteralColumnDefault {\n  return new LiteralColumnDefault(value);\n}\n\nexport function fn(expression: string): FunctionColumnDefault {\n  return new FunctionColumnDefault(expression);\n}\n\nexport function col(name: string, type: string, options?: DdlColumnOptions): DdlColumn {\n  return new DdlColumn({ name, type, ...options });\n}\n\nexport function primaryKey(\n  columns: readonly string[],\n  options?: { readonly name?: string },\n): PrimaryKeyConstraint {\n  return new PrimaryKeyConstraint({ columns, ...options });\n}\n\nexport function foreignKey(\n  columns: readonly string[],\n  refTable: string,\n  refColumns: readonly string[],\n  options?: {\n    readonly name?: string;\n    readonly onDelete?: ReferentialAction;\n    readonly onUpdate?: ReferentialAction;\n  },\n): ForeignKeyConstraint {\n  return new ForeignKeyConstraint({ columns, refTable, refColumns, ...options });\n}\n\nexport function unique(\n  columns: readonly string[],\n  options?: { readonly name?: string },\n): UniqueConstraint {\n  return new UniqueConstraint({ columns, ...options });\n}\n\nexport function checkExpression(name: string, expression: string): CheckExpressionConstraint {\n  return new CheckExpressionConstraint({ name, expression });\n}\n","import type { ParamSpec } from '@prisma-next/operations';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport {\n  AggregateExpr,\n  AndExpr,\n  type AnyExpression,\n  type AnyFromSource,\n  BinaryExpr,\n  ColumnRef,\n  ExistsExpr,\n  IdentifierRef,\n  InsertAst,\n  InsertOnConflict,\n  type InsertValue,\n  JoinAst,\n  LiteralExpr,\n  NullCheckExpr,\n  OperationExpr,\n  OrderByItem,\n  OrExpr,\n  ParamRef,\n  ProjectionItem,\n  RawExpr,\n  SelectAst,\n  TableSource,\n  UpdateAst,\n} from '../ast/types';\n\nexport interface ColumnDescriptor {\n  readonly codecId: string;\n  readonly nullable: boolean;\n}\n\nexport type ColumnSchema = Record<string, ColumnDescriptor>;\n\n/**\n * A composable WHERE / ON expression. Wraps an `AnyExpression` and exposes\n * fluent boolean combinators, mirroring the spirit of `sql-builder`'s\n * `Expression` interface without the contract-bound type machinery.\n */\nexport class CfExpr {\n  constructor(readonly ast: AnyExpression) {}\n\n  and(other: CfExpr): CfExpr {\n    return new CfExpr(AndExpr.of([this.ast, other.ast]));\n  }\n\n  or(other: CfExpr): CfExpr {\n    return new CfExpr(OrExpr.of([this.ast, other.ast]));\n  }\n\n  not(): CfExpr {\n    return new CfExpr(this.ast.not());\n  }\n\n  isNull(): CfExpr {\n    return new CfExpr(NullCheckExpr.isNull(this.ast));\n  }\n\n  isNotNull(): CfExpr {\n    return new CfExpr(NullCheckExpr.isNotNull(this.ast));\n  }\n\n  eqLit(value: number | string | boolean): CfExpr {\n    return new CfExpr(BinaryExpr.eq(this.ast, LiteralExpr.of(value)));\n  }\n\n  gtLit(value: number | string | boolean): CfExpr {\n    return new CfExpr(BinaryExpr.gt(this.ast, LiteralExpr.of(value)));\n  }\n\n  eqParam(value: unknown, codecId: string): CfExpr {\n    return new CfExpr(BinaryExpr.eq(this.ast, ParamRef.of(value, { codec: { codecId } })));\n  }\n\n  eqExpr(other: CfExpr): CfExpr {\n    return new CfExpr(BinaryExpr.eq(this.ast, other.ast));\n  }\n}\n\nexport interface CfFnOptions {\n  readonly method: string;\n  readonly template: string;\n  readonly self: CfExpr;\n  readonly args?: ReadonlyArray<CfExpr>;\n  readonly returns: ParamSpec;\n}\n\nexport const cfExpr = {\n  countStar(): CfExpr {\n    return new CfExpr(AggregateExpr.count());\n  },\n  lit(value: number | string | boolean): CfExpr {\n    return new CfExpr(LiteralExpr.of(value));\n  },\n  identifierRef(name: string): CfExpr {\n    return new CfExpr(IdentifierRef.of(name));\n  },\n  param(value: unknown, codecId: string): CfExpr {\n    return new CfExpr(ParamRef.of(value, { codec: { codecId } }));\n  },\n  /**\n   * Catalog function call lowered via a `'function'`-strategy template\n   * (e.g. `to_regclass({{self}})`). Owns the `OperationExpr` assembly so\n   * target packages only supply vocabulary: template, codec'd operands,\n   * and return spec.\n   */\n  fn(options: CfFnOptions): CfExpr {\n    return new CfExpr(\n      new OperationExpr({\n        method: options.method,\n        self: options.self.ast,\n        args: options.args?.map((arg) => arg.ast),\n        returns: options.returns,\n        lowering: {\n          targetFamily: 'sql',\n          strategy: 'function',\n          template: options.template,\n        },\n      }),\n    );\n  },\n  columnRef(qualifier: string, name: string): CfExpr {\n    return new CfExpr(ColumnRef.of(qualifier, name));\n  },\n  allOf(exprs: ReadonlyArray<CfExpr>): CfExpr {\n    return new CfExpr(AndExpr.of(exprs.map((expr) => expr.ast)));\n  },\n  /**\n   * Opaque DB-side SQL expression (e.g. `current_schema()`) carried as a\n   * `RawExpr`. For zero-operand catalog functions where a `'function'`\n   * lowering template has nothing to substitute.\n   */\n  raw(sql: string, returns: ParamSpec): CfExpr {\n    return new CfExpr(new RawExpr({ parts: [sql], returns }));\n  },\n  exists(query: CfExprSelectQuery): CfExpr {\n    return new CfExpr(ExistsExpr.exists(query.build()));\n  },\n  notExists(query: CfExprSelectQuery): CfExpr {\n    return new CfExpr(ExistsExpr.notExists(query.build()));\n  },\n};\n\n/** Aliased table source for catalog queries (no namespace coordinate). */\nexport function cfTable(name: string, alias?: string): TableSource {\n  return TableSource.named(name, alias);\n}\n\nexport class CfExprSelectQuery {\n  constructor(\n    private readonly src: AnyFromSource | undefined,\n    private readonly projectionItems: ReadonlyArray<ProjectionItem>,\n    private readonly whereExpr: CfExpr | undefined,\n    private readonly joinItems: ReadonlyArray<JoinAst> = [],\n    private readonly limitValue: number | undefined = undefined,\n  ) {}\n\n  from(source: AnyFromSource): CfExprSelectQuery {\n    return new CfExprSelectQuery(\n      source,\n      this.projectionItems,\n      this.whereExpr,\n      this.joinItems,\n      this.limitValue,\n    );\n  }\n\n  join(source: AnyFromSource, on: CfExpr): CfExprSelectQuery {\n    return new CfExprSelectQuery(\n      this.src,\n      this.projectionItems,\n      this.whereExpr,\n      [...this.joinItems, JoinAst.inner(source, on.ast)],\n      this.limitValue,\n    );\n  }\n\n  leftJoin(source: AnyFromSource, on: CfExpr): CfExprSelectQuery {\n    return new CfExprSelectQuery(\n      this.src,\n      this.projectionItems,\n      this.whereExpr,\n      [...this.joinItems, JoinAst.left(source, on.ast)],\n      this.limitValue,\n    );\n  }\n\n  project(alias: string, expr: CfExpr): CfExprSelectQuery {\n    return new CfExprSelectQuery(\n      this.src,\n      [...this.projectionItems, ProjectionItem.of(alias, expr.ast)],\n      this.whereExpr,\n      this.joinItems,\n      this.limitValue,\n    );\n  }\n\n  where(expr: CfExpr): CfExprSelectQuery {\n    return new CfExprSelectQuery(\n      this.src,\n      this.projectionItems,\n      expr,\n      this.joinItems,\n      this.limitValue,\n    );\n  }\n\n  limit(value: number): CfExprSelectQuery {\n    return new CfExprSelectQuery(\n      this.src,\n      this.projectionItems,\n      this.whereExpr,\n      this.joinItems,\n      value,\n    );\n  }\n\n  build(): SelectAst {\n    if (this.joinItems.length > 0 && this.src === undefined) {\n      throw new Error('CfExprSelectQuery: cannot add a JOIN without a FROM clause');\n    }\n    const base =\n      this.src !== undefined\n        ? SelectAst.from(this.src).withProjection(this.projectionItems)\n        : SelectAst.noFrom().withProjection(this.projectionItems);\n    const withJoins = this.joinItems.length > 0 ? base.withJoins(this.joinItems) : base;\n    const withWhere =\n      this.whereExpr !== undefined ? withJoins.withWhere(this.whereExpr.ast) : withJoins;\n    return this.limitValue !== undefined ? withWhere.withLimit(this.limitValue) : withWhere;\n  }\n}\n\nexport function exprSelect(): CfExprSelectQuery {\n  return new CfExprSelectQuery(undefined, [], undefined);\n}\n\n/**\n * Per-column authoring handle exposed as a keyed property on a {@link TableHandle}.\n * Carries codec metadata baked at declaration time so no codec ID, table name, or\n * column name needs to be repeated at the call site.\n */\nexport interface ColumnProxy {\n  readonly codecId: string;\n  readonly nullable: boolean;\n  readonly columnName: string;\n  readonly tableName: string;\n  eq(value: unknown): CfExpr;\n  neq(value: unknown): CfExpr;\n  isNull(): CfExpr;\n  isNotNull(): CfExpr;\n  toRef(): ColumnRef;\n  toProjectionItem(alias?: string): ProjectionItem;\n}\n\n/**\n * Object passed to the {@link CfConflictClause.doUpdate} callback. Each key\n * resolves to a `ColumnRef` for the corresponding `excluded.<column>`, so the\n * upsert conflict-update branch can copy proposed values without re-binding\n * parameters.\n */\nexport type ExcludedProxy<Schema extends ColumnSchema> = {\n  readonly [K in keyof Schema]: ColumnRef;\n};\n\nexport type TableInsertRow<Schema extends ColumnSchema> = {\n  readonly [K in keyof Schema]: unknown;\n};\n\nexport type TableSetValues<Schema extends ColumnSchema> = {\n  readonly [K in keyof Schema]?: unknown;\n};\n\n/**\n * Fluent authoring handle for a fixed control-plane table. Column proxies are\n * exposed as keyed properties so `handle.columnName.eq(value)` composes without\n * threading codec IDs, table names, or column refs at the call site.\n */\nexport type TableHandle<Schema extends ColumnSchema> = {\n  readonly source: TableSource;\n  insert(row: TableInsertRow<Schema>): CfInsertQuery<Schema>;\n  upsert(row: TableInsertRow<Schema>): CfUpsertBuilder<Schema>;\n  update(): CfUpdateQuery<Schema>;\n  select(...columns: ReadonlyArray<ColumnProxy>): CfSelectQuery;\n} & {\n  readonly [K in keyof Schema]: ColumnProxy;\n};\n\nexport class CfInsertQuery<Schema extends ColumnSchema> {\n  constructor(\n    private readonly src: TableSource,\n    private readonly schema: Schema,\n    private readonly rowValues: TableInsertRow<Schema>,\n    private readonly returningItems: ReadonlyArray<ProjectionItem> | undefined = undefined,\n  ) {}\n\n  returning(...columns: ReadonlyArray<ColumnProxy>): CfInsertQuery<Schema> {\n    return new CfInsertQuery(\n      this.src,\n      this.schema,\n      this.rowValues,\n      columns.map((col) => col.toProjectionItem()),\n    );\n  }\n\n  build(): InsertAst {\n    const row = buildInsertRow(this.schema, this.rowValues);\n    const ast = InsertAst.into(this.src).withRows([row]);\n    return this.returningItems ? ast.withReturning(this.returningItems) : ast;\n  }\n}\n\nexport class CfUpsertBuilder<Schema extends ColumnSchema> {\n  constructor(\n    private readonly src: TableSource,\n    private readonly schema: Schema,\n    private readonly rowValues: TableInsertRow<Schema>,\n  ) {}\n\n  onConflict(...columns: ReadonlyArray<ColumnProxy>): CfConflictClause<Schema> {\n    return new CfConflictClause(this.src, this.schema, this.rowValues, [...columns]);\n  }\n}\n\nexport class CfConflictClause<Schema extends ColumnSchema> {\n  constructor(\n    private readonly src: TableSource,\n    private readonly schema: Schema,\n    private readonly rowValues: TableInsertRow<Schema>,\n    private readonly conflictCols: ReadonlyArray<ColumnProxy>,\n  ) {}\n\n  doUpdate(\n    setOrCallback:\n      | TableSetValues<Schema>\n      | ((excluded: ExcludedProxy<Schema>) => TableSetValues<Schema>),\n  ): CfUpsertQuery<Schema> {\n    const set =\n      typeof setOrCallback === 'function'\n        ? setOrCallback(buildExcludedProxy(this.schema))\n        : setOrCallback;\n    return new CfUpsertQuery(this.src, this.schema, this.rowValues, this.conflictCols, set);\n  }\n\n  doNothing(): CfUpsertQuery<Schema> {\n    return new CfUpsertQuery(this.src, this.schema, this.rowValues, this.conflictCols, undefined);\n  }\n}\n\nexport class CfUpsertQuery<Schema extends ColumnSchema> {\n  constructor(\n    private readonly src: TableSource,\n    private readonly schema: Schema,\n    private readonly rowValues: TableInsertRow<Schema>,\n    private readonly conflictCols: ReadonlyArray<ColumnProxy>,\n    private readonly updateSet: TableSetValues<Schema> | undefined,\n  ) {}\n\n  build(): InsertAst {\n    const row = buildInsertRow(this.schema, this.rowValues);\n    const conflictRefs = this.conflictCols.map((col) => col.toRef());\n    const onConflict =\n      this.updateSet === undefined\n        ? InsertOnConflict.on(conflictRefs).doNothing()\n        : InsertOnConflict.on(conflictRefs).doUpdateSet(buildSetMap(this.schema, this.updateSet));\n    return InsertAst.into(this.src).withRows([row]).withOnConflict(onConflict);\n  }\n}\n\nexport class CfUpdateQuery<Schema extends ColumnSchema> {\n  constructor(\n    private readonly src: TableSource,\n    private readonly schema: Schema,\n    private readonly setValues: TableSetValues<Schema> | undefined = undefined,\n    private readonly whereExpr: CfExpr | undefined = undefined,\n    private readonly returningItems: ReadonlyArray<ProjectionItem> | undefined = undefined,\n  ) {}\n\n  set(values: TableSetValues<Schema>): CfUpdateQuery<Schema> {\n    return new CfUpdateQuery(this.src, this.schema, values, this.whereExpr, this.returningItems);\n  }\n\n  where(expr: CfExpr): CfUpdateQuery<Schema> {\n    return new CfUpdateQuery(this.src, this.schema, this.setValues, expr, this.returningItems);\n  }\n\n  returning(...columns: ReadonlyArray<ColumnProxy>): CfUpdateQuery<Schema> {\n    return new CfUpdateQuery(\n      this.src,\n      this.schema,\n      this.setValues,\n      this.whereExpr,\n      columns.map((col) => col.toProjectionItem()),\n    );\n  }\n\n  build(): UpdateAst {\n    const set = buildSetMap(this.schema, this.setValues);\n    const base = UpdateAst.table(this.src).withSet(set);\n    const withWhere = this.whereExpr ? base.withWhere(this.whereExpr.ast) : base;\n    return this.returningItems ? withWhere.withReturning(this.returningItems) : withWhere;\n  }\n}\n\nexport class CfSelectQuery {\n  constructor(\n    private readonly src: TableSource,\n    private readonly projectionItems: ReadonlyArray<ProjectionItem>,\n    private readonly whereExpr: CfExpr | undefined = undefined,\n    private readonly orderByItems: ReadonlyArray<OrderByItem> = [],\n  ) {}\n\n  where(expr: CfExpr): CfSelectQuery {\n    return new CfSelectQuery(this.src, this.projectionItems, expr, this.orderByItems);\n  }\n\n  orderBy(column: ColumnProxy, dir: 'asc' | 'desc' = 'asc'): CfSelectQuery {\n    const item = dir === 'asc' ? OrderByItem.asc(column.toRef()) : OrderByItem.desc(column.toRef());\n    return new CfSelectQuery(this.src, this.projectionItems, this.whereExpr, [\n      ...this.orderByItems,\n      item,\n    ]);\n  }\n\n  build(): SelectAst {\n    const base = SelectAst.from(this.src).withProjection(this.projectionItems);\n    const withWhere = this.whereExpr ? base.withWhere(this.whereExpr.ast) : base;\n    return this.orderByItems.length > 0 ? withWhere.withOrderBy(this.orderByItems) : withWhere;\n  }\n}\n\n/**\n * Declare a control-plane table once, binding column codecs at declaration time.\n * Returns a `TableHandle` whose column properties compose expressions directly\n * without per-call-site codec or column-name threading.\n *\n * ```ts\n * const marker = pgTable({ name: 'marker', schema: 'prisma_contract' }, {\n *   space:      text(),\n *   core_hash:  text(),\n *   updated_at: timestamptz(),\n * });\n *\n * const query = marker.update()\n *   .set({ core_hash: newHash, updated_at: NOW })\n *   .where(marker.space.eq(space).and(marker.core_hash.eq(expectedFrom)))\n *   .returning(marker.space)\n *   .build();\n * ```\n */\nexport function table<Schema extends ColumnSchema>(\n  source: TableSource,\n  schema: Schema,\n): TableHandle<Schema> {\n  const proxies: Record<string, ColumnProxy> = {};\n  for (const [col, desc] of Object.entries(schema)) {\n    proxies[col] = makeColumnProxy(source.alias ?? source.name, col, desc);\n  }\n\n  const handle = {\n    ...proxies,\n    source,\n    insert: (row: TableInsertRow<Schema>) => new CfInsertQuery(source, schema, row),\n    upsert: (row: TableInsertRow<Schema>) => new CfUpsertBuilder(source, schema, row),\n    update: () => new CfUpdateQuery(source, schema),\n    select: (...cols: ReadonlyArray<ColumnProxy>) =>\n      new CfSelectQuery(\n        source,\n        cols.map((col) => col.toProjectionItem()),\n      ),\n  };\n\n  return blindCast<\n    TableHandle<Schema>,\n    'Column proxies are dynamically built from Schema keys — TypeScript cannot verify the per-key ColumnProxy constraint at the spread call site. Construction is correct by construction: every key maps to makeColumnProxy(source.name, key, schema[key]).'\n  >(handle);\n}\n\nfunction makeColumnProxy(\n  tableName: string,\n  columnName: string,\n  desc: ColumnDescriptor,\n): ColumnProxy {\n  const ref = ColumnRef.of(tableName, columnName);\n  return {\n    codecId: desc.codecId,\n    nullable: desc.nullable,\n    columnName,\n    tableName,\n    eq: (value) =>\n      value === null\n        ? new CfExpr(NullCheckExpr.isNull(ref))\n        : new CfExpr(BinaryExpr.eq(ref, toSetExpression(value, desc))),\n    neq: (value) =>\n      value === null\n        ? new CfExpr(NullCheckExpr.isNotNull(ref))\n        : new CfExpr(BinaryExpr.neq(ref, toSetExpression(value, desc))),\n    isNull: () => new CfExpr(NullCheckExpr.isNull(ref)),\n    isNotNull: () => new CfExpr(NullCheckExpr.isNotNull(ref)),\n    toRef: () => ref,\n    toProjectionItem: (alias = columnName) =>\n      ProjectionItem.of(alias, ref, { codecId: desc.codecId }),\n  };\n}\n\nfunction buildExcludedProxy<Schema extends ColumnSchema>(schema: Schema): ExcludedProxy<Schema> {\n  return blindCast<\n    ExcludedProxy<Schema>,\n    'Object.fromEntries cannot preserve per-key ColumnRef types — correct by construction: every key maps to ColumnRef.of(\"excluded\", key).'\n  >(Object.fromEntries(Object.keys(schema).map((col) => [col, ColumnRef.of('excluded', col)])));\n}\n\nfunction isExpressionSource(value: unknown): value is { toExpr(): AnyExpression } {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'toExpr' in value &&\n    typeof value.toExpr === 'function'\n  );\n}\n\nfunction toInsertValue(value: unknown, desc: ColumnDescriptor): InsertValue {\n  if (isExpressionSource(value)) {\n    const expr = value.toExpr();\n    if (\n      expr.kind === 'column-ref' ||\n      expr.kind === 'param-ref' ||\n      expr.kind === 'prepared-param-ref' ||\n      expr.kind === 'raw-expr'\n    ) {\n      return expr;\n    }\n  }\n  return ParamRef.of(value, { codec: { codecId: desc.codecId } });\n}\n\nfunction toSetExpression(value: unknown, desc: ColumnDescriptor): AnyExpression {\n  if (isExpressionSource(value)) {\n    return value.toExpr();\n  }\n  return ParamRef.of(value, { codec: { codecId: desc.codecId } });\n}\n\nfunction buildInsertRow<Schema extends ColumnSchema>(\n  schema: Schema,\n  values: TableInsertRow<Schema>,\n): Record<string, InsertValue> {\n  const row: Record<string, InsertValue> = {};\n  const rawValues = blindCast<\n    Record<string, unknown>,\n    'TableInsertRow<Schema> maps Schema keys to unknown; indexing by the same string keys is correct by construction'\n  >(values);\n  for (const [col, desc] of Object.entries(schema)) {\n    row[col] = toInsertValue(rawValues[col], desc);\n  }\n  return row;\n}\n\nfunction buildSetMap<Schema extends ColumnSchema>(\n  schema: Schema,\n  values: TableSetValues<Schema> | undefined,\n): Record<string, AnyExpression> {\n  if (values === undefined) return {};\n  const set: Record<string, AnyExpression> = {};\n  const rawSchema = blindCast<\n    Record<string, ColumnDescriptor>,\n    'Schema extends ColumnSchema = Record<string, ColumnDescriptor>; runtime key access is correct by construction'\n  >(schema);\n  const rawValues = blindCast<\n    Record<string, unknown>,\n    'TableSetValues<Schema> maps Schema keys to unknown; iterating with Object.entries is correct by construction'\n  >(values);\n  for (const [col, value] of Object.entries(rawValues)) {\n    const desc = rawSchema[col];\n    if (desc !== undefined) {\n      set[col] = toSetExpression(value, desc);\n    }\n  }\n  return set;\n}\n"],"mappings":";;;;AAqBA,SAAgB,IAAI,OAA6D;CAC/E,OAAO,IAAI,qBAAqB,KAAK;AACvC;AAEA,SAAgB,GAAG,YAA2C;CAC5D,OAAO,IAAI,sBAAsB,UAAU;AAC7C;AAEA,SAAgB,IAAI,MAAc,MAAc,SAAuC;CACrF,OAAO,IAAI,UAAU;EAAE;EAAM;EAAM,GAAG;CAAQ,CAAC;AACjD;AAEA,SAAgB,WACd,SACA,SACsB;CACtB,OAAO,IAAI,qBAAqB;EAAE;EAAS,GAAG;CAAQ,CAAC;AACzD;AAEA,SAAgB,WACd,SACA,UACA,YACA,SAKsB;CACtB,OAAO,IAAI,qBAAqB;EAAE;EAAS;EAAU;EAAY,GAAG;CAAQ,CAAC;AAC/E;AAEA,SAAgB,OACd,SACA,SACkB;CAClB,OAAO,IAAI,iBAAiB;EAAE;EAAS,GAAG;CAAQ,CAAC;AACrD;AAEA,SAAgB,gBAAgB,MAAc,YAA+C;CAC3F,OAAO,IAAI,0BAA0B;EAAE;EAAM;CAAW,CAAC;AAC3D;;;;;;;;ACtBA,IAAa,SAAb,MAAa,OAAO;CACG;CAArB,YAAY,KAA6B;EAApB,KAAA,MAAA;CAAqB;CAE1C,IAAI,OAAuB;EACzB,OAAO,IAAI,OAAO,QAAQ,GAAG,CAAC,KAAK,KAAK,MAAM,GAAG,CAAC,CAAC;CACrD;CAEA,GAAG,OAAuB;EACxB,OAAO,IAAI,OAAO,OAAO,GAAG,CAAC,KAAK,KAAK,MAAM,GAAG,CAAC,CAAC;CACpD;CAEA,MAAc;EACZ,OAAO,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC;CAClC;CAEA,SAAiB;EACf,OAAO,IAAI,OAAO,cAAc,OAAO,KAAK,GAAG,CAAC;CAClD;CAEA,YAAoB;EAClB,OAAO,IAAI,OAAO,cAAc,UAAU,KAAK,GAAG,CAAC;CACrD;CAEA,MAAM,OAA0C;EAC9C,OAAO,IAAI,OAAO,WAAW,GAAG,KAAK,KAAK,YAAY,GAAG,KAAK,CAAC,CAAC;CAClE;CAEA,MAAM,OAA0C;EAC9C,OAAO,IAAI,OAAO,WAAW,GAAG,KAAK,KAAK,YAAY,GAAG,KAAK,CAAC,CAAC;CAClE;CAEA,QAAQ,OAAgB,SAAyB;EAC/C,OAAO,IAAI,OAAO,WAAW,GAAG,KAAK,KAAK,SAAS,GAAG,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;CACvF;CAEA,OAAO,OAAuB;EAC5B,OAAO,IAAI,OAAO,WAAW,GAAG,KAAK,KAAK,MAAM,GAAG,CAAC;CACtD;AACF;AAUA,MAAa,SAAS;CACpB,YAAoB;EAClB,OAAO,IAAI,OAAO,cAAc,MAAM,CAAC;CACzC;CACA,IAAI,OAA0C;EAC5C,OAAO,IAAI,OAAO,YAAY,GAAG,KAAK,CAAC;CACzC;CACA,cAAc,MAAsB;EAClC,OAAO,IAAI,OAAO,cAAc,GAAG,IAAI,CAAC;CAC1C;CACA,MAAM,OAAgB,SAAyB;EAC7C,OAAO,IAAI,OAAO,SAAS,GAAG,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;CAC9D;;;;;;;CAOA,GAAG,SAA8B;EAC/B,OAAO,IAAI,OACT,IAAI,cAAc;GAChB,QAAQ,QAAQ;GAChB,MAAM,QAAQ,KAAK;GACnB,MAAM,QAAQ,MAAM,KAAK,QAAQ,IAAI,GAAG;GACxC,SAAS,QAAQ;GACjB,UAAU;IACR,cAAc;IACd,UAAU;IACV,UAAU,QAAQ;GACpB;EACF,CAAC,CACH;CACF;CACA,UAAU,WAAmB,MAAsB;EACjD,OAAO,IAAI,OAAO,UAAU,GAAG,WAAW,IAAI,CAAC;CACjD;CACA,MAAM,OAAsC;EAC1C,OAAO,IAAI,OAAO,QAAQ,GAAG,MAAM,KAAK,SAAS,KAAK,GAAG,CAAC,CAAC;CAC7D;;;;;;CAMA,IAAI,KAAa,SAA4B;EAC3C,OAAO,IAAI,OAAO,IAAI,QAAQ;GAAE,OAAO,CAAC,GAAG;GAAG;EAAQ,CAAC,CAAC;CAC1D;CACA,OAAO,OAAkC;EACvC,OAAO,IAAI,OAAO,WAAW,OAAO,MAAM,MAAM,CAAC,CAAC;CACpD;CACA,UAAU,OAAkC;EAC1C,OAAO,IAAI,OAAO,WAAW,UAAU,MAAM,MAAM,CAAC,CAAC;CACvD;AACF;;AAGA,SAAgB,QAAQ,MAAc,OAA6B;CACjE,OAAO,YAAY,MAAM,MAAM,KAAK;AACtC;AAEA,IAAa,oBAAb,MAAa,kBAAkB;CAEV;CACA;CACA;CACA;CACA;CALnB,YACE,KACA,iBACA,WACA,YAAqD,CAAC,GACtD,aAAkD,KAAA,GAClD;EALiB,KAAA,MAAA;EACA,KAAA,kBAAA;EACA,KAAA,YAAA;EACA,KAAA,YAAA;EACA,KAAA,aAAA;CAChB;CAEH,KAAK,QAA0C;EAC7C,OAAO,IAAI,kBACT,QACA,KAAK,iBACL,KAAK,WACL,KAAK,WACL,KAAK,UACP;CACF;CAEA,KAAK,QAAuB,IAA+B;EACzD,OAAO,IAAI,kBACT,KAAK,KACL,KAAK,iBACL,KAAK,WACL,CAAC,GAAG,KAAK,WAAW,QAAQ,MAAM,QAAQ,GAAG,GAAG,CAAC,GACjD,KAAK,UACP;CACF;CAEA,SAAS,QAAuB,IAA+B;EAC7D,OAAO,IAAI,kBACT,KAAK,KACL,KAAK,iBACL,KAAK,WACL,CAAC,GAAG,KAAK,WAAW,QAAQ,KAAK,QAAQ,GAAG,GAAG,CAAC,GAChD,KAAK,UACP;CACF;CAEA,QAAQ,OAAe,MAAiC;EACtD,OAAO,IAAI,kBACT,KAAK,KACL,CAAC,GAAG,KAAK,iBAAiB,eAAe,GAAG,OAAO,KAAK,GAAG,CAAC,GAC5D,KAAK,WACL,KAAK,WACL,KAAK,UACP;CACF;CAEA,MAAM,MAAiC;EACrC,OAAO,IAAI,kBACT,KAAK,KACL,KAAK,iBACL,MACA,KAAK,WACL,KAAK,UACP;CACF;CAEA,MAAM,OAAkC;EACtC,OAAO,IAAI,kBACT,KAAK,KACL,KAAK,iBACL,KAAK,WACL,KAAK,WACL,KACF;CACF;CAEA,QAAmB;EACjB,IAAI,KAAK,UAAU,SAAS,KAAK,KAAK,QAAQ,KAAA,GAC5C,MAAM,IAAI,MAAM,4DAA4D;EAE9E,MAAM,OACJ,KAAK,QAAQ,KAAA,IACT,UAAU,KAAK,KAAK,GAAG,CAAC,CAAC,eAAe,KAAK,eAAe,IAC5D,UAAU,OAAO,CAAC,CAAC,eAAe,KAAK,eAAe;EAC5D,MAAM,YAAY,KAAK,UAAU,SAAS,IAAI,KAAK,UAAU,KAAK,SAAS,IAAI;EAC/E,MAAM,YACJ,KAAK,cAAc,KAAA,IAAY,UAAU,UAAU,KAAK,UAAU,GAAG,IAAI;EAC3E,OAAO,KAAK,eAAe,KAAA,IAAY,UAAU,UAAU,KAAK,UAAU,IAAI;CAChF;AACF;AAEA,SAAgB,aAAgC;CAC9C,OAAO,IAAI,kBAAkB,KAAA,GAAW,CAAC,GAAG,KAAA,CAAS;AACvD;AAqDA,IAAa,gBAAb,MAAa,cAA2C;CAEnC;CACA;CACA;CACA;CAJnB,YACE,KACA,QACA,WACA,iBAA6E,KAAA,GAC7E;EAJiB,KAAA,MAAA;EACA,KAAA,SAAA;EACA,KAAA,YAAA;EACA,KAAA,iBAAA;CAChB;CAEH,UAAU,GAAG,SAA4D;EACvE,OAAO,IAAI,cACT,KAAK,KACL,KAAK,QACL,KAAK,WACL,QAAQ,KAAK,QAAQ,IAAI,iBAAiB,CAAC,CAC7C;CACF;CAEA,QAAmB;EACjB,MAAM,MAAM,eAAe,KAAK,QAAQ,KAAK,SAAS;EACtD,MAAM,MAAM,UAAU,KAAK,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC;EACnD,OAAO,KAAK,iBAAiB,IAAI,cAAc,KAAK,cAAc,IAAI;CACxE;AACF;AAEA,IAAa,kBAAb,MAA0D;CAErC;CACA;CACA;CAHnB,YACE,KACA,QACA,WACA;EAHiB,KAAA,MAAA;EACA,KAAA,SAAA;EACA,KAAA,YAAA;CAChB;CAEH,WAAW,GAAG,SAA+D;EAC3E,OAAO,IAAI,iBAAiB,KAAK,KAAK,KAAK,QAAQ,KAAK,WAAW,CAAC,GAAG,OAAO,CAAC;CACjF;AACF;AAEA,IAAa,mBAAb,MAA2D;CAEtC;CACA;CACA;CACA;CAJnB,YACE,KACA,QACA,WACA,cACA;EAJiB,KAAA,MAAA;EACA,KAAA,SAAA;EACA,KAAA,YAAA;EACA,KAAA,eAAA;CAChB;CAEH,SACE,eAGuB;EACvB,MAAM,MACJ,OAAO,kBAAkB,aACrB,cAAc,mBAAmB,KAAK,MAAM,CAAC,IAC7C;EACN,OAAO,IAAI,cAAc,KAAK,KAAK,KAAK,QAAQ,KAAK,WAAW,KAAK,cAAc,GAAG;CACxF;CAEA,YAAmC;EACjC,OAAO,IAAI,cAAc,KAAK,KAAK,KAAK,QAAQ,KAAK,WAAW,KAAK,cAAc,KAAA,CAAS;CAC9F;AACF;AAEA,IAAa,gBAAb,MAAwD;CAEnC;CACA;CACA;CACA;CACA;CALnB,YACE,KACA,QACA,WACA,cACA,WACA;EALiB,KAAA,MAAA;EACA,KAAA,SAAA;EACA,KAAA,YAAA;EACA,KAAA,eAAA;EACA,KAAA,YAAA;CAChB;CAEH,QAAmB;EACjB,MAAM,MAAM,eAAe,KAAK,QAAQ,KAAK,SAAS;EACtD,MAAM,eAAe,KAAK,aAAa,KAAK,QAAQ,IAAI,MAAM,CAAC;EAC/D,MAAM,aACJ,KAAK,cAAc,KAAA,IACf,iBAAiB,GAAG,YAAY,CAAC,CAAC,UAAU,IAC5C,iBAAiB,GAAG,YAAY,CAAC,CAAC,YAAY,YAAY,KAAK,QAAQ,KAAK,SAAS,CAAC;EAC5F,OAAO,UAAU,KAAK,KAAK,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe,UAAU;CAC3E;AACF;AAEA,IAAa,gBAAb,MAAa,cAA2C;CAEnC;CACA;CACA;CACA;CACA;CALnB,YACE,KACA,QACA,YAAiE,KAAA,GACjE,YAAiD,KAAA,GACjD,iBAA6E,KAAA,GAC7E;EALiB,KAAA,MAAA;EACA,KAAA,SAAA;EACA,KAAA,YAAA;EACA,KAAA,YAAA;EACA,KAAA,iBAAA;CAChB;CAEH,IAAI,QAAuD;EACzD,OAAO,IAAI,cAAc,KAAK,KAAK,KAAK,QAAQ,QAAQ,KAAK,WAAW,KAAK,cAAc;CAC7F;CAEA,MAAM,MAAqC;EACzC,OAAO,IAAI,cAAc,KAAK,KAAK,KAAK,QAAQ,KAAK,WAAW,MAAM,KAAK,cAAc;CAC3F;CAEA,UAAU,GAAG,SAA4D;EACvE,OAAO,IAAI,cACT,KAAK,KACL,KAAK,QACL,KAAK,WACL,KAAK,WACL,QAAQ,KAAK,QAAQ,IAAI,iBAAiB,CAAC,CAC7C;CACF;CAEA,QAAmB;EACjB,MAAM,MAAM,YAAY,KAAK,QAAQ,KAAK,SAAS;EACnD,MAAM,OAAO,UAAU,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,GAAG;EAClD,MAAM,YAAY,KAAK,YAAY,KAAK,UAAU,KAAK,UAAU,GAAG,IAAI;EACxE,OAAO,KAAK,iBAAiB,UAAU,cAAc,KAAK,cAAc,IAAI;CAC9E;AACF;AAEA,IAAa,gBAAb,MAAa,cAAc;CAEN;CACA;CACA;CACA;CAJnB,YACE,KACA,iBACA,YAAiD,KAAA,GACjD,eAA4D,CAAC,GAC7D;EAJiB,KAAA,MAAA;EACA,KAAA,kBAAA;EACA,KAAA,YAAA;EACA,KAAA,eAAA;CAChB;CAEH,MAAM,MAA6B;EACjC,OAAO,IAAI,cAAc,KAAK,KAAK,KAAK,iBAAiB,MAAM,KAAK,YAAY;CAClF;CAEA,QAAQ,QAAqB,MAAsB,OAAsB;EACvE,MAAM,OAAO,QAAQ,QAAQ,YAAY,IAAI,OAAO,MAAM,CAAC,IAAI,YAAY,KAAK,OAAO,MAAM,CAAC;EAC9F,OAAO,IAAI,cAAc,KAAK,KAAK,KAAK,iBAAiB,KAAK,WAAW,CACvE,GAAG,KAAK,cACR,IACF,CAAC;CACH;CAEA,QAAmB;EACjB,MAAM,OAAO,UAAU,KAAK,KAAK,GAAG,CAAC,CAAC,eAAe,KAAK,eAAe;EACzE,MAAM,YAAY,KAAK,YAAY,KAAK,UAAU,KAAK,UAAU,GAAG,IAAI;EACxE,OAAO,KAAK,aAAa,SAAS,IAAI,UAAU,YAAY,KAAK,YAAY,IAAI;CACnF;AACF;;;;;;;;;;;;;;;;;;;;AAqBA,SAAgB,MACd,QACA,QACqB;CACrB,MAAM,UAAuC,CAAC;CAC9C,KAAK,MAAM,CAAC,KAAK,SAAS,OAAO,QAAQ,MAAM,GAC7C,QAAQ,OAAO,gBAAgB,OAAO,SAAS,OAAO,MAAM,KAAK,IAAI;CAgBvE,OAAO,UAGL;EAfA,GAAG;EACH;EACA,SAAS,QAAgC,IAAI,cAAc,QAAQ,QAAQ,GAAG;EAC9E,SAAS,QAAgC,IAAI,gBAAgB,QAAQ,QAAQ,GAAG;EAChF,cAAc,IAAI,cAAc,QAAQ,MAAM;EAC9C,SAAS,GAAG,SACV,IAAI,cACF,QACA,KAAK,KAAK,QAAQ,IAAI,iBAAiB,CAAC,CAC1C;CAMG,CAAC;AACV;AAEA,SAAS,gBACP,WACA,YACA,MACa;CACb,MAAM,MAAM,UAAU,GAAG,WAAW,UAAU;CAC9C,OAAO;EACL,SAAS,KAAK;EACd,UAAU,KAAK;EACf;EACA;EACA,KAAK,UACH,UAAU,OACN,IAAI,OAAO,cAAc,OAAO,GAAG,CAAC,IACpC,IAAI,OAAO,WAAW,GAAG,KAAK,gBAAgB,OAAO,IAAI,CAAC,CAAC;EACjE,MAAM,UACJ,UAAU,OACN,IAAI,OAAO,cAAc,UAAU,GAAG,CAAC,IACvC,IAAI,OAAO,WAAW,IAAI,KAAK,gBAAgB,OAAO,IAAI,CAAC,CAAC;EAClE,cAAc,IAAI,OAAO,cAAc,OAAO,GAAG,CAAC;EAClD,iBAAiB,IAAI,OAAO,cAAc,UAAU,GAAG,CAAC;EACxD,aAAa;EACb,mBAAmB,QAAQ,eACzB,eAAe,GAAG,OAAO,KAAK,EAAE,SAAS,KAAK,QAAQ,CAAC;CAC3D;AACF;AAEA,SAAS,mBAAgD,QAAuC;CAC9F,OAAO,UAGL,OAAO,YAAY,OAAO,KAAK,MAAM,CAAC,CAAC,KAAK,QAAQ,CAAC,KAAK,UAAU,GAAG,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC;AAC9F;AAEA,SAAS,mBAAmB,OAAsD;CAChF,OACE,OAAO,UAAU,YACjB,UAAU,QACV,YAAY,SACZ,OAAO,MAAM,WAAW;AAE5B;AAEA,SAAS,cAAc,OAAgB,MAAqC;CAC1E,IAAI,mBAAmB,KAAK,GAAG;EAC7B,MAAM,OAAO,MAAM,OAAO;EAC1B,IACE,KAAK,SAAS,gBACd,KAAK,SAAS,eACd,KAAK,SAAS,wBACd,KAAK,SAAS,YAEd,OAAO;CAEX;CACA,OAAO,SAAS,GAAG,OAAO,EAAE,OAAO,EAAE,SAAS,KAAK,QAAQ,EAAE,CAAC;AAChE;AAEA,SAAS,gBAAgB,OAAgB,MAAuC;CAC9E,IAAI,mBAAmB,KAAK,GAC1B,OAAO,MAAM,OAAO;CAEtB,OAAO,SAAS,GAAG,OAAO,EAAE,OAAO,EAAE,SAAS,KAAK,QAAQ,EAAE,CAAC;AAChE;AAEA,SAAS,eACP,QACA,QAC6B;CAC7B,MAAM,MAAmC,CAAC;CAC1C,MAAM,YAAY,UAGhB,MAAM;CACR,KAAK,MAAM,CAAC,KAAK,SAAS,OAAO,QAAQ,MAAM,GAC7C,IAAI,OAAO,cAAc,UAAU,MAAM,IAAI;CAE/C,OAAO;AACT;AAEA,SAAS,YACP,QACA,QAC+B;CAC/B,IAAI,WAAW,KAAA,GAAW,OAAO,CAAC;CAClC,MAAM,MAAqC,CAAC;CAC5C,MAAM,YAAY,UAGhB,MAAM;CACR,MAAM,YAAY,UAGhB,MAAM;CACR,KAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,SAAS,GAAG;EACpD,MAAM,OAAO,UAAU;EACvB,IAAI,SAAS,KAAA,GACX,IAAI,OAAO,gBAAgB,OAAO,IAAI;CAE1C;CACA,OAAO;AACT"}

package/dist/index.d.mts

@@ -1,6 +1,6 @@
 import { a as CodecMeta, c as ContractCodecRegistry, d as DescriptorCodecTraits, f as ExtractCodecTypes, h as SqlColumnRef, i as CodecDescriptor, l as DescriptorCodecId, m as SqlCodecInstanceContext, n as Codec, o as CodecRef, p as SqlCodecCallContext, r as CodecCallContext, s as CodecTrait, t as AnyCodecDescriptor, u as DescriptorCodecInput } from "./codec-types-DFLA6Hmj.mjs";
 import { $ as RawExpr, A as IdentifierRef, B as ListExpression, C as EqColJoinOn, D as ExpressionRewriter, E as ExpressionFolder, F as JoinOnExpr, G as NullCheckExpr, H as LoweredParam, I as JsonArrayAggExpr, J as OrderByItem, K as OperationExpr, L as JsonObjectEntry, M as InsertOnConflict, N as InsertValue, O as ExpressionSource, P as JoinAst, Q as ProjectionItem, R as JsonObjectExpr, S as DoUpdateSetConflictAction, T as ExprVisitor, U as LoweredStatement, V as LiteralExpr, W as NotExpr, X as PreparedParamRef, Y as ParamRef, Z as ProjectionExpr, _ as DefaultValueExpr, a as AndExpr, at as TableRef, b as Direction, c as AnyInsertOnConflictAction, ct as UpdateAst, d as AnyParamRef, dt as WindowFuncExpr, et as RawSqlExpr, f as AnyQueryAst, ft as isQueryAst, g as ColumnRef, h as BinaryOp, ht as whereExprKinds, i as AggregateOpFn, it as SubqueryExpr, j as InsertAst, k as FunctionSource, l as AnyInsertValue, lt as WhereArg, m as BinaryExpr, mt as queryAstKinds, n as AggregateExpr, nt as SelectAst, o as AnyExpression, ot as TableSource, p as AstRewriter, pt as isWhereExpr, q as OrExpr, r as AggregateFn, rt as SelectAstOptions, s as AnyFromSource, st as ToWhereExpr, t as AggregateCountFn, tt as RawSqlLiteral, u as AnyOperationArg, ut as WindowFn, v as DeleteAst, w as ExistsExpr, x as DoNothingConflictAction, y as DerivedTableSource, z as LimitOffsetValue } from "./types-DQrmgP8Y.mjs";
-import { a as DdlColumnRenderContext, c as ForeignKeyConstraint, d as PrimaryKeyConstraint, f as UniqueConstraint, i as DdlColumnDefaultVisitor, l as FunctionColumnDefault, n as DdlColumn, o as DdlNode, p as isDdlNode, r as DdlColumnDefault, s as DdlTableConstraint, t as AnyDdlColumnDefault, u as LiteralColumnDefault } from "./ddl-types-BVO002FS.mjs";
+import { a as DdlColumnDefaultVisitor, c as DdlTableConstraint, d as LiteralColumnDefault, f as PrimaryKeyConstraint, i as DdlColumnDefault, l as ForeignKeyConstraint, m as isDdlNode, n as CheckExpressionConstraint, o as DdlColumnRenderContext, p as UniqueConstraint, r as DdlColumn, s as DdlNode, t as AnyDdlColumnDefault, u as FunctionColumnDefault } from "./ddl-types-Cd4p4EbE.mjs";
 import { Adapter, AdapterProfile, AdapterTarget, Lowerer, LowererContext, MarkerReadResult, PreparedExecuteRequest, SQL_CHAR_CODEC_ID, SQL_FLOAT_CODEC_ID, SQL_INT_CODEC_ID, SQL_TEXT_CODEC_ID, SQL_TIMESTAMP_CODEC_ID, SQL_VARCHAR_CODEC_ID, SqlCharCodec, SqlCharDescriptor, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, SqlExplainResult, SqlFloatCodec, SqlFloatDescriptor, SqlIntCodec, SqlIntDescriptor, SqlQueryResult, SqlQueryable, SqlTextCodec, SqlTextDescriptor, SqlTimestampCodec, SqlTimestampDescriptor, SqlTransaction, SqlVarcharCodec, SqlVarcharDescriptor, collectOrderedParamRefs, compact, sqlCharColumn, sqlCharDecode, sqlCharDescriptor, sqlCharEncode, sqlCharRenderOutputType, sqlFloatColumn, sqlFloatDecode, sqlFloatDescriptor, sqlFloatEncode, sqlIntColumn, sqlIntDecode, sqlIntDescriptor, sqlIntEncode, sqlTextColumn, sqlTextDecode, sqlTextDescriptor, sqlTextEncode, sqlTimestampColumn, sqlTimestampDecode, sqlTimestampDecodeJson, sqlTimestampDescriptor, sqlTimestampEncode, sqlTimestampEncodeJson, sqlTimestampRenderOutputType, sqlVarcharColumn, sqlVarcharDecode, sqlVarcharDescriptor, sqlVarcharEncode, sqlVarcharRenderOutputType } from "./exports/ast.mjs";
 import { a as MutationDefaultsOptions, i as MutationDefaultsOp, n as CodecDescriptorRegistry, o as TypeHelperRegistry, r as ExecutionContext, t as AppliedMutationDefault } from "./query-lane-context-DFnJVqUH.mjs";
 import { t as SqlExecutionPlan } from "./sql-execution-plan-DjMEAjKK.mjs";
@@ -10,4 +10,4 @@ import { BuildOperationSpec, CodecExpression, CodecTypesBase, CodecValue, Expres
 import { a as SqlParamRefMutatorInternal, i as SqlParamRefMutator, n as ParamRefEntryUnion, o as createSqlParamRefMutator, r as ParamRefHandle, t as ParamRefEntry } from "./middleware-Dyyo4IP1.mjs";
 import { n as planFromAst, t as SqlQueryPlan } from "./plan-DUjdGLY3.mjs";
 import { n as SqlOrmPlan, t as RuntimeScope } from "./types-CUHnDsdV.mjs";
-export { Adapter, AdapterProfile, AdapterTarget, AggregateCountFn, AggregateExpr, AggregateFn, AggregateOpFn, AndExpr, AnyCodecDescriptor, AnyDdlColumnDefault, AnyExpression, AnyFromSource, AnyInsertOnConflictAction, AnyInsertValue, AnyOperationArg, AnyParamRef, AnyQueryAst, AppliedMutationDefault, AstRewriter, BinaryExpr, BinaryOp, BuildOperationSpec, BuildOptions, BuildParamsMap, Codec, type CodecCallContext, type CodecDescriptor, CodecDescriptorRegistry, CodecExpression, CodecMeta, type CodecRef, type CodecTrait, CodecTypes, CodecTypesBase, CodecValue, ColumnRef, ColumnResolutionContract, ColumnsOf, ComputeColumnJsType, ContractCodecRegistry, DdlColumn, DdlColumnDefault, DdlColumnDefaultVisitor, DdlColumnRenderContext, DdlNode, DdlTableConstraint, DefaultValueExpr, DeleteAst, DerivedTableSource, DescriptorCodecId, DescriptorCodecInput, DescriptorCodecTraits, Direction, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExecutionContext, ExistsExpr, Expr, ExprVisitor, Expression, ExpressionFolder, ExpressionRewriter, ExpressionSource, ExtractCodecTypes, ForeignKeyConstraint, FunctionColumnDefault, FunctionSource, IdentifierRef, InsertAst, InsertOnConflict, InsertValue, JoinAst, JoinOnExpr, JsonArrayAggExpr, JsonObjectEntry, JsonObjectExpr, LimitOffsetValue, ListExpression, LiteralColumnDefault, LiteralExpr, LoweredParam, LoweredStatement, Lowerer, LowererContext, META, MarkerReadResult, Meta, ModelDef, ModelMetadata, MutationDefaultsOp, MutationDefaultsOptions, NotExpr, NullCheckExpr, OperationExpr, OperationTypeSignature, OperationTypes, OperationsForTypeId, OrExpr, OrderByItem, ParamRef, type ParamRefEntry, type ParamRefEntryUnion, type ParamRefHandle, PreparedExecuteRequest, PreparedParamRef, PrimaryKeyConstraint, ProjectionExpr, ProjectionItem, RawCodecInferer, RawExpr, RawFactory, RawFunctionOptions, RawSqlBuilder, RawSqlExpr, RawSqlLiteral, RawSqlTag, RawTemplateFactory, RawTemplateOptions, RuntimeError, type RuntimeScope, SQL_CHAR_CODEC_ID, SQL_FLOAT_CODEC_ID, SQL_INT_CODEC_ID, SQL_TEXT_CODEC_ID, SQL_TIMESTAMP_CODEC_ID, SQL_VARCHAR_CODEC_ID, ScalarListExpression, ScopeField, SelectAst, SelectAstOptions, SqlBuilderOptions, SqlCharCodec, SqlCharDescriptor, SqlCodecCallContext, SqlCodecInstanceContext, SqlColumnRef, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, type SqlExecutionPlan, SqlExplainResult, SqlFloatCodec, SqlFloatDescriptor, SqlIntCodec, SqlIntDescriptor, type SqlOrmPlan, type SqlParamRefMutator, type SqlParamRefMutatorInternal, SqlPlan, SqlQueryPlan, SqlQueryResult, SqlQueryable, SqlTextCodec, SqlTextDescriptor, SqlTimestampCodec, SqlTimestampDescriptor, SqlTransaction, SqlVarcharCodec, SqlVarcharDescriptor, SubqueryExpr, TableDef, TableKey, TableMetadata, TableRef, TableSource, TablesOf, ToWhereExpr, TraitExpression, TypeHelperRegistry, UniqueConstraint, UpdateAst, WhereArg, WindowFn, WindowFuncExpr, buildOperation, codecOf, collectOrderedParamRefs, compact, createRawSql, createSqlParamRefMutator, isDdlNode, isQueryAst, isWhereExpr, param, planFromAst, planInvalid, planUnsupported, queryAstKinds, sqlCharColumn, sqlCharDecode, sqlCharDescriptor, sqlCharEncode, sqlCharRenderOutputType, sqlFloatColumn, sqlFloatDecode, sqlFloatDescriptor, sqlFloatEncode, sqlIntColumn, sqlIntDecode, sqlIntDescriptor, sqlIntEncode, sqlTextColumn, sqlTextDecode, sqlTextDescriptor, sqlTextEncode, sqlTimestampColumn, sqlTimestampDecode, sqlTimestampDecodeJson, sqlTimestampDescriptor, sqlTimestampEncode, sqlTimestampEncodeJson, sqlTimestampRenderOutputType, sqlVarcharColumn, sqlVarcharDecode, sqlVarcharDescriptor, sqlVarcharEncode, sqlVarcharRenderOutputType, toExpr, whereExprKinds };
+export { Adapter, AdapterProfile, AdapterTarget, AggregateCountFn, AggregateExpr, AggregateFn, AggregateOpFn, AndExpr, AnyCodecDescriptor, AnyDdlColumnDefault, AnyExpression, AnyFromSource, AnyInsertOnConflictAction, AnyInsertValue, AnyOperationArg, AnyParamRef, AnyQueryAst, AppliedMutationDefault, AstRewriter, BinaryExpr, BinaryOp, BuildOperationSpec, BuildOptions, BuildParamsMap, CheckExpressionConstraint, Codec, type CodecCallContext, type CodecDescriptor, CodecDescriptorRegistry, CodecExpression, CodecMeta, type CodecRef, type CodecTrait, CodecTypes, CodecTypesBase, CodecValue, ColumnRef, ColumnResolutionContract, ColumnsOf, ComputeColumnJsType, ContractCodecRegistry, DdlColumn, DdlColumnDefault, DdlColumnDefaultVisitor, DdlColumnRenderContext, DdlNode, DdlTableConstraint, DefaultValueExpr, DeleteAst, DerivedTableSource, DescriptorCodecId, DescriptorCodecInput, DescriptorCodecTraits, Direction, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExecutionContext, ExistsExpr, Expr, ExprVisitor, Expression, ExpressionFolder, ExpressionRewriter, ExpressionSource, ExtractCodecTypes, ForeignKeyConstraint, FunctionColumnDefault, FunctionSource, IdentifierRef, InsertAst, InsertOnConflict, InsertValue, JoinAst, JoinOnExpr, JsonArrayAggExpr, JsonObjectEntry, JsonObjectExpr, LimitOffsetValue, ListExpression, LiteralColumnDefault, LiteralExpr, LoweredParam, LoweredStatement, Lowerer, LowererContext, META, MarkerReadResult, Meta, ModelDef, ModelMetadata, MutationDefaultsOp, MutationDefaultsOptions, NotExpr, NullCheckExpr, OperationExpr, OperationTypeSignature, OperationTypes, OperationsForTypeId, OrExpr, OrderByItem, ParamRef, type ParamRefEntry, type ParamRefEntryUnion, type ParamRefHandle, PreparedExecuteRequest, PreparedParamRef, PrimaryKeyConstraint, ProjectionExpr, ProjectionItem, RawCodecInferer, RawExpr, RawFactory, RawFunctionOptions, RawSqlBuilder, RawSqlExpr, RawSqlLiteral, RawSqlTag, RawTemplateFactory, RawTemplateOptions, RuntimeError, type RuntimeScope, SQL_CHAR_CODEC_ID, SQL_FLOAT_CODEC_ID, SQL_INT_CODEC_ID, SQL_TEXT_CODEC_ID, SQL_TIMESTAMP_CODEC_ID, SQL_VARCHAR_CODEC_ID, ScalarListExpression, ScopeField, SelectAst, SelectAstOptions, SqlBuilderOptions, SqlCharCodec, SqlCharDescriptor, SqlCodecCallContext, SqlCodecInstanceContext, SqlColumnRef, SqlConnection, SqlDriver, SqlDriverState, SqlExecuteRequest, type SqlExecutionPlan, SqlExplainResult, SqlFloatCodec, SqlFloatDescriptor, SqlIntCodec, SqlIntDescriptor, type SqlOrmPlan, type SqlParamRefMutator, type SqlParamRefMutatorInternal, SqlPlan, SqlQueryPlan, SqlQueryResult, SqlQueryable, SqlTextCodec, SqlTextDescriptor, SqlTimestampCodec, SqlTimestampDescriptor, SqlTransaction, SqlVarcharCodec, SqlVarcharDescriptor, SubqueryExpr, TableDef, TableKey, TableMetadata, TableRef, TableSource, TablesOf, ToWhereExpr, TraitExpression, TypeHelperRegistry, UniqueConstraint, UpdateAst, WhereArg, WindowFn, WindowFuncExpr, buildOperation, codecOf, collectOrderedParamRefs, compact, createRawSql, createSqlParamRefMutator, isDdlNode, isQueryAst, isWhereExpr, param, planFromAst, planInvalid, planUnsupported, queryAstKinds, sqlCharColumn, sqlCharDecode, sqlCharDescriptor, sqlCharEncode, sqlCharRenderOutputType, sqlFloatColumn, sqlFloatDecode, sqlFloatDescriptor, sqlFloatEncode, sqlIntColumn, sqlIntDecode, sqlIntDescriptor, sqlIntEncode, sqlTextColumn, sqlTextDecode, sqlTextDescriptor, sqlTextEncode, sqlTimestampColumn, sqlTimestampDecode, sqlTimestampDecodeJson, sqlTimestampDescriptor, sqlTimestampEncode, sqlTimestampEncodeJson, sqlTimestampRenderOutputType, sqlVarcharColumn, sqlVarcharDecode, sqlVarcharDescriptor, sqlVarcharEncode, sqlVarcharRenderOutputType, toExpr, whereExprKinds };

package/dist/index.mjs

@@ -1,4 +1,4 @@
-import { a as FunctionColumnDefault, c as UniqueConstraint, i as ForeignKeyConstraint, l as isDdlNode, n as DdlColumnDefault, o as LiteralColumnDefault, r as DdlNode, s as PrimaryKeyConstraint, t as DdlColumn } from "./ddl-types-DAox2c8w.mjs";
+import { a as ForeignKeyConstraint, c as PrimaryKeyConstraint, i as DdlNode, l as UniqueConstraint, n as DdlColumn, o as FunctionColumnDefault, r as DdlColumnDefault, s as LiteralColumnDefault, t as CheckExpressionConstraint, u as isDdlNode } from "./ddl-types-DFKQr_qQ.mjs";
 import { A as RawSqlExpr, C as OperationExpr, D as PreparedParamRef, E as ParamRef, F as WindowFuncExpr, I as isQueryAst, L as isWhereExpr, M as SubqueryExpr, N as TableSource, O as ProjectionItem, P as UpdateAst, R as queryAstKinds, S as NullCheckExpr, T as OrderByItem, _ as JsonArrayAggExpr, a as DefaultValueExpr, b as LiteralExpr, c as DoNothingConflictAction, d as ExistsExpr, f as FunctionSource, g as JoinAst, h as InsertOnConflict, i as ColumnRef, j as SelectAst, k as RawExpr, l as DoUpdateSetConflictAction, m as InsertAst, n as AndExpr, o as DeleteAst, p as IdentifierRef, r as BinaryExpr, s as DerivedTableSource, t as AggregateExpr, u as EqColJoinOn, v as JsonObjectExpr, w as OrExpr, x as NotExpr, y as ListExpression, z as whereExprKinds } from "./types-CaGVAsoT.mjs";
 import { n as compact, t as collectOrderedParamRefs } from "./util-DQQgv2j1.mjs";
 import { SQL_CHAR_CODEC_ID, SQL_FLOAT_CODEC_ID, SQL_INT_CODEC_ID, SQL_TEXT_CODEC_ID, SQL_TIMESTAMP_CODEC_ID, SQL_VARCHAR_CODEC_ID, SqlCharCodec, SqlCharDescriptor, SqlFloatCodec, SqlFloatDescriptor, SqlIntCodec, SqlIntDescriptor, SqlTextCodec, SqlTextDescriptor, SqlTimestampCodec, SqlTimestampDescriptor, SqlVarcharCodec, SqlVarcharDescriptor, sqlCharColumn, sqlCharDecode, sqlCharDescriptor, sqlCharEncode, sqlCharRenderOutputType, sqlFloatColumn, sqlFloatDecode, sqlFloatDescriptor, sqlFloatEncode, sqlIntColumn, sqlIntDecode, sqlIntDescriptor, sqlIntEncode, sqlTextColumn, sqlTextDecode, sqlTextDescriptor, sqlTextEncode, sqlTimestampColumn, sqlTimestampDecode, sqlTimestampDecodeJson, sqlTimestampDescriptor, sqlTimestampEncode, sqlTimestampEncodeJson, sqlTimestampRenderOutputType, sqlVarcharColumn, sqlVarcharDecode, sqlVarcharDescriptor, sqlVarcharEncode, sqlVarcharRenderOutputType } from "./exports/ast.mjs";
@@ -8,4 +8,4 @@ import { t as createSqlParamRefMutator } from "./middleware-CMr4CHNz.mjs";
 import { planFromAst } from "./exports/plan.mjs";
 import "./exports/query-lane-context.mjs";
 import "./exports/types.mjs";
-export { AggregateExpr, AndExpr, BinaryExpr, ColumnRef, DdlColumn, DdlColumnDefault, DdlNode, DefaultValueExpr, DeleteAst, DerivedTableSource, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExistsExpr, ForeignKeyConstraint, FunctionColumnDefault, FunctionSource, IdentifierRef, InsertAst, InsertOnConflict, JoinAst, JsonArrayAggExpr, JsonObjectExpr, ListExpression, LiteralColumnDefault, LiteralExpr, NotExpr, NullCheckExpr, OperationExpr, OrExpr, OrderByItem, ParamRef, PreparedParamRef, PrimaryKeyConstraint, ProjectionItem, RawExpr, RawSqlExpr, 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, SqlCharCodec, SqlCharDescriptor, SqlFloatCodec, SqlFloatDescriptor, SqlIntCodec, SqlIntDescriptor, SqlTextCodec, SqlTextDescriptor, SqlTimestampCodec, SqlTimestampDescriptor, SqlVarcharCodec, SqlVarcharDescriptor, SubqueryExpr, TableSource, UniqueConstraint, UpdateAst, WindowFuncExpr, buildOperation, codecOf, collectOrderedParamRefs, compact, createRawSql, createSqlParamRefMutator, isDdlNode, isQueryAst, isWhereExpr, param, planFromAst, planInvalid, planUnsupported, queryAstKinds, sqlCharColumn, sqlCharDecode, sqlCharDescriptor, sqlCharEncode, sqlCharRenderOutputType, sqlFloatColumn, sqlFloatDecode, sqlFloatDescriptor, sqlFloatEncode, sqlIntColumn, sqlIntDecode, sqlIntDescriptor, sqlIntEncode, sqlTextColumn, sqlTextDecode, sqlTextDescriptor, sqlTextEncode, sqlTimestampColumn, sqlTimestampDecode, sqlTimestampDecodeJson, sqlTimestampDescriptor, sqlTimestampEncode, sqlTimestampEncodeJson, sqlTimestampRenderOutputType, sqlVarcharColumn, sqlVarcharDecode, sqlVarcharDescriptor, sqlVarcharEncode, sqlVarcharRenderOutputType, toExpr, whereExprKinds };
+export { AggregateExpr, AndExpr, BinaryExpr, CheckExpressionConstraint, ColumnRef, DdlColumn, DdlColumnDefault, DdlNode, DefaultValueExpr, DeleteAst, DerivedTableSource, DoNothingConflictAction, DoUpdateSetConflictAction, EqColJoinOn, ExistsExpr, ForeignKeyConstraint, FunctionColumnDefault, FunctionSource, IdentifierRef, InsertAst, InsertOnConflict, JoinAst, JsonArrayAggExpr, JsonObjectExpr, ListExpression, LiteralColumnDefault, LiteralExpr, NotExpr, NullCheckExpr, OperationExpr, OrExpr, OrderByItem, ParamRef, PreparedParamRef, PrimaryKeyConstraint, ProjectionItem, RawExpr, RawSqlExpr, 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, SqlCharCodec, SqlCharDescriptor, SqlFloatCodec, SqlFloatDescriptor, SqlIntCodec, SqlIntDescriptor, SqlTextCodec, SqlTextDescriptor, SqlTimestampCodec, SqlTimestampDescriptor, SqlVarcharCodec, SqlVarcharDescriptor, SubqueryExpr, TableSource, UniqueConstraint, UpdateAst, WindowFuncExpr, buildOperation, codecOf, collectOrderedParamRefs, compact, createRawSql, createSqlParamRefMutator, isDdlNode, isQueryAst, isWhereExpr, param, planFromAst, planInvalid, planUnsupported, queryAstKinds, sqlCharColumn, sqlCharDecode, sqlCharDescriptor, sqlCharEncode, sqlCharRenderOutputType, sqlFloatColumn, sqlFloatDecode, sqlFloatDescriptor, sqlFloatEncode, sqlIntColumn, sqlIntDecode, sqlIntDescriptor, sqlIntEncode, sqlTextColumn, sqlTextDecode, sqlTextDescriptor, sqlTextEncode, sqlTimestampColumn, sqlTimestampDecode, sqlTimestampDecodeJson, sqlTimestampDescriptor, sqlTimestampEncode, sqlTimestampEncodeJson, sqlTimestampRenderOutputType, sqlVarcharColumn, sqlVarcharDecode, sqlVarcharDescriptor, sqlVarcharEncode, sqlVarcharRenderOutputType, toExpr, whereExprKinds };

package/package.json

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

package/src/ast/ddl-types.ts

@@ -200,4 +200,29 @@ export class UniqueConstraint {
   }
 }
 
-export type DdlTableConstraint = PrimaryKeyConstraint | ForeignKeyConstraint | UniqueConstraint;
+/**
+ * A table-level CHECK constraint carrying a raw SQL predicate expression. Used
+ * for checks that are not enum value-set restrictions — e.g. the element-non-null
+ * constraint on a scalar-array column (`array_position(col, NULL) IS NULL`).
+ * The `expression` is emitted verbatim, so callers must supply safe,
+ * pre-validated SQL.
+ *
+ * Frozen on construction — immutable after creation.
+ */
+export class CheckExpressionConstraint {
+  readonly kind = 'check-expression' as const;
+  readonly name: string;
+  readonly expression: string;
+
+  constructor(options: { readonly name: string; readonly expression: string }) {
+    this.name = options.name;
+    this.expression = options.expression;
+    Object.freeze(this);
+  }
+}
+
+export type DdlTableConstraint =
+  | PrimaryKeyConstraint
+  | ForeignKeyConstraint
+  | UniqueConstraint
+  | CheckExpressionConstraint;

package/src/contract-free/column.ts

@@ -3,6 +3,7 @@ import type { ReferentialAction } from '@prisma-next/sql-contract/types';
 import type { CodecRef } from '../ast/codec-types';
 import type { AnyDdlColumnDefault } from '../ast/ddl-types';
 import {
+  CheckExpressionConstraint,
   DdlColumn,
   ForeignKeyConstraint,
   FunctionColumnDefault,
@@ -56,3 +57,7 @@ export function unique(
 ): UniqueConstraint {
   return new UniqueConstraint({ columns, ...options });
 }
+
+export function checkExpression(name: string, expression: string): CheckExpressionConstraint {
+  return new CheckExpressionConstraint({ name, expression });
+}

package/src/exports/contract-free.ts

@@ -1,4 +1,5 @@
 export {
+  checkExpression,
   col,
   type DdlColumnOptions,
   fn,