@prisma-next/target-postgres 0.13.0-dev.35 → 0.13.0-dev.37

package/dist/contract-free.d.mts

@@ -1,7 +1,151 @@
 import { a as PostgresAlterTable, o as PostgresCreateSchema, r as AnyAlterTableAction, s as PostgresCreateTable, t as AddColumnAction } from "./nodes-pLeLgdis.mjs";
-import { AnyFromSource, AstRewriter, DdlColumn, DdlNode, DdlTableConstraint, TableSource } from "@prisma-next/sql-relational-core/ast";
-import { ColumnDescriptor, ColumnSchema, TableHandle } from "@prisma-next/sql-relational-core/contract-free";
+import { t as PostgresTableSource } from "./table-source-BvFo7gVs.mjs";
+import { DdlColumn, DdlNode, DdlTableConstraint, SelectAst } from "@prisma-next/sql-relational-core/ast";
+import { CfExpr, ColumnDescriptor, ColumnSchema, TableHandle } from "@prisma-next/sql-relational-core/contract-free";
 
+//#region src/contract-free/checks.d.ts
+/**
+ * `to_regclass($1)` with the qualified table name bound as a text parameter.
+ * Thin vocabulary wrapper over the core `cfExpr.fn` helper — the target
+ * supplies only the template and the codec'd operand.
+ */
+declare function toRegclass(qualifiedName: string): CfExpr;
+interface TableExistsCheckBuilder {
+  tableAbsent(): SelectAst;
+  tablePresent(): SelectAst;
+}
+/**
+ * Typed builder for the migration planner's table-existence checks. Produces
+ * FROM-less `SELECT to_regclass($1) IS [NOT] NULL AS "result"` ASTs with the
+ * qualified table name bound as a text parameter — never inlined into the SQL.
+ *
+ * `schema` is a namespace coordinate: the framework `__unbound__` sentinel
+ * elides the qualifier (search_path decides at runtime); any other id
+ * qualifies as `"schema"."table"`.
+ */
+declare function tableExistsAst(schema: string, table: string): TableExistsCheckBuilder;
+interface ConstraintExistsCheckBuilder {
+  constraintPresent(): SelectAst;
+  constraintAbsent(): SelectAst;
+}
+/**
+ * Typed builder for the migration planner's constraint-existence checks.
+ * Produces `SELECT [NOT ]EXISTS (SELECT 1 FROM pg_constraint c JOIN
+ * pg_namespace n ON n.oid = c.connamespace WHERE c.conname = $1 AND
+ * n.nspname = $2 [AND c.conrelid = to_regclass($3)]) AS "result"` with the
+ * constraint name, schema name, and qualified table name bound as text
+ * parameters.
+ *
+ * When `table` is omitted the check matches by name + schema across all
+ * tables. Pass `table` to scope the check to a single table (prevents false
+ * matches on identically-named constraints in different tables). `schema`
+ * is a namespace coordinate: the `__unbound__` sentinel compares `nspname`
+ * against `current_schema()` instead of a bound parameter.
+ */
+declare function constraintExistsAst(options: {
+  readonly constraintName: string;
+  readonly schema: string;
+  readonly table?: string;
+}): ConstraintExistsCheckBuilder;
+interface ColumnExistsCheckBuilder {
+  columnPresent(): SelectAst;
+  columnAbsent(): SelectAst;
+}
+/**
+ * Typed builder for column-existence checks over
+ * `information_schema.columns`, with schema, table, and column names bound
+ * as text parameters.
+ */
+declare function columnExistsAst(options: {
+  readonly schema: string;
+  readonly table: string;
+  readonly column: string;
+}): ColumnExistsCheckBuilder;
+/**
+ * Typed nullability check: EXISTS over `information_schema.columns` with
+ * `is_nullable` compared against the bound `'YES'` / `'NO'` marker.
+ */
+declare function columnNullabilityAst(options: {
+  readonly schema: string;
+  readonly table: string;
+  readonly column: string;
+  readonly nullable: boolean;
+}): SelectAst;
+interface ColumnDefaultCheckBuilder {
+  defaultPresent(): SelectAst;
+  defaultAbsent(): SelectAst;
+  noDefault(): SelectAst;
+}
+/**
+ * Typed default-presence checks over `information_schema.columns`.
+ * `defaultPresent` / `defaultAbsent` assert the column row exists with a
+ * non-null / null `column_default`; `noDefault` is the NOT EXISTS variant
+ * (also true when the column row is missing entirely).
+ */
+declare function columnDefaultAst(options: {
+  readonly schema: string;
+  readonly table: string;
+  readonly column: string;
+}): ColumnDefaultCheckBuilder;
+/**
+ * Typed column-type check: EXISTS over `pg_attribute` joined to `pg_class`
+ * and `pg_namespace`, comparing `format_type(a.atttypid, a.atttypmod)`
+ * against the bound expected display type and excluding dropped columns.
+ */
+declare function columnTypeAst(options: {
+  readonly schema: string;
+  readonly table: string;
+  readonly column: string;
+  readonly expectedType: string;
+}): SelectAst;
+interface TablePrimaryKeyCheckBuilder {
+  pkPresent(): SelectAst;
+  pkAbsent(): SelectAst;
+}
+/**
+ * Typed primary-key existence check over `pg_index` joined to `pg_class`
+ * and `pg_namespace`, with a LEFT JOIN on the index relation so an
+ * optional `constraintName` can scope the match to a named constraint.
+ */
+declare function tablePrimaryKeyAst(options: {
+  readonly schema: string;
+  readonly table: string;
+  readonly constraintName?: string;
+}): TablePrimaryKeyCheckBuilder;
+/**
+ * Typed emptiness check: NOT EXISTS over the user table itself with
+ * `LIMIT 1`. The table is addressed through the namespace's polymorphic
+ * `tableSource` (qualified for named schemas, bare for the unbound slot).
+ */
+declare function tableIsEmptyAst(schema: string, table: string): SelectAst;
+/**
+ * Typed no-NULL-values data check used by `SET NOT NULL` prechecks:
+ * NOT EXISTS over the user table where the column IS NULL.
+ */
+declare function noNullValuesAst(options: {
+  readonly schema: string;
+  readonly table: string;
+  readonly column: string;
+}): SelectAst;
+interface ExtensionExistsCheckBuilder {
+  extensionPresent(): SelectAst;
+  extensionAbsent(): SelectAst;
+}
+/**
+ * Typed extension existence check over `pg_extension`, with the extension
+ * name bound as a text parameter.
+ */
+declare function extensionExistsAst(extensionName: string): ExtensionExistsCheckBuilder;
+interface IndexExistsCheckBuilder {
+  indexPresent(): SelectAst;
+  indexAbsent(): SelectAst;
+}
+/**
+ * Typed index existence check riding the same `to_regclass` vocabulary as
+ * `tableExistsAst`, with the qualified index name bound as a text parameter.
+ */
+declare function indexExistsAst(schema: string, indexName: string): IndexExistsCheckBuilder;
+//#endregion
 //#region src/contract-free/columns.d.ts
 type ColOpts = {
   readonly nullable?: boolean;
@@ -80,16 +224,5 @@ declare function alterTable(options: {
   readonly actions: readonly AnyAlterTableAction[];
 }): PostgresAlterTable;
 //#endregion
-//#region src/core/ast/table-source.d.ts
-declare class PostgresTableSource extends TableSource {
-  readonly schema: string | undefined;
-  constructor(options: {
-    readonly name: string;
-    readonly schema?: string;
-    readonly alias?: string;
-  });
-  rewrite(rewriter: AstRewriter): AnyFromSource;
-}
-//#endregion
-export { PostgresTableSource, addColumnAction, alterTable, buildControlTableBootstrapQueries, buildSignMarkerBootstrapQueries, createSchema, createTable, int4, int8, jsonb, pgTable, text, textArray, timestamptz };
+export { type ColumnDefaultCheckBuilder, type ColumnExistsCheckBuilder, type ConstraintExistsCheckBuilder, type ExtensionExistsCheckBuilder, type IndexExistsCheckBuilder, PostgresTableSource, type TableExistsCheckBuilder, type TablePrimaryKeyCheckBuilder, addColumnAction, alterTable, buildControlTableBootstrapQueries, buildSignMarkerBootstrapQueries, columnDefaultAst, columnExistsAst, columnNullabilityAst, columnTypeAst, constraintExistsAst, createSchema, createTable, extensionExistsAst, indexExistsAst, int4, int8, jsonb, noNullValuesAst, pgTable, tableExistsAst, tableIsEmptyAst, tablePrimaryKeyAst, text, textArray, timestamptz, toRegclass };
 //# sourceMappingURL=contract-free.d.mts.map

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

@@ -1 +1 @@
-{"version":3,"file":"contract-free.d.mts","names":[],"sources":["../src/contract-free/columns.ts","../src/contract-free/control-bootstrap.ts","../src/contract-free/ddl.ts","../src/core/ast/table-source.ts"],"mappings":";;;;;KAgBK,OAAA;EAAA,SAAqB,QAAQ;AAAA;AAAA,cAOrB,IAAA,GAAQ,IAAA,GAAO,OAAA,KAAU,gBAAgD;AAAA,cACzE,IAAA,GAAQ,IAAA,GAAO,OAAA,KAAU,gBAAgD;AAAA,cACzE,IAAA,GAAQ,IAAA,GAAO,OAAA,KAAU,gBAAgD;AAAA,cACzE,KAAA,GAAS,IAAA,GAAO,OAAA,KAAU,gBAAiD;AAAA,cAC3E,SAAA,GAAa,IAAA,GAAO,OAAA,KAAU,gBAAsD;AAAA,cACpF,WAAA,GAAe,IAAA,GAAO,OAAA,KAAU,gBACR;AANrC;;;;;;;;AAAsF;AACtF;;;AADA,iBAoBgB,OAAA,gBAAuB,YAAA,EACrC,MAAA;EAAA,SAAmB,IAAA;EAAA,SAAuB,MAAA;EAAA,SAA0B,KAAA;AAAA,GACpE,OAAA,EAAS,MAAA,GACR,WAAA,CAAY,MAAA;;;iBCEC,+BAAA,aAA4C,OAAO;AAAA,iBAInD,iCAAA,aAA8C,OAAO;;;;;;AD/Cb;;;;AAWtB;AAOlC;;;;;;iBEAgB,WAAA,CAAY,OAAA;EAAA,SACjB,KAAA;EAAA,SACA,MAAA;EAAA,SACA,WAAA;EAAA,SACA,OAAA,WAAkB,SAAA;EAAA,SAClB,WAAA,YAAuB,kBAAA;AAAA,IAC9B,mBAAA;;;;;iBAQY,YAAA,CAAa,OAAA;EAAA,SAClB,MAAA;EAAA,SACA,WAAA;AAAA,IACP,oBAAoB;;;;;;iBASR,eAAA,CAAgB,MAAA,EAAQ,SAAA,GAAY,eAAe;AFvBnE;;;;AAAA,iBE+BgB,UAAA,CAAW,OAAA;EAAA,SAChB,KAAA;EAAA,SACA,MAAA;EAAA,SACA,OAAA,WAAkB,mBAAA;AAAA,IACzB,kBAAkB;;;cCvDT,mBAAA,SAA4B,WAAA;EAAA,SAC9B,MAAA;cAEG,OAAA;IAAA,SACD,IAAA;IAAA,SACA,MAAA;IAAA,SACA,KAAA;EAAA;EAOF,OAAA,CAAQ,QAAA,EAAU,WAAA,GAAc,aAAA;AAAA"}
+{"version":3,"file":"contract-free.d.mts","names":[],"sources":["../src/contract-free/checks.ts","../src/contract-free/columns.ts","../src/contract-free/control-bootstrap.ts","../src/contract-free/ddl.ts"],"mappings":";;;;;;;;;;AAiBA;iBAAgB,UAAA,CAAW,aAAA,WAAwB,MAAM;AAAA,UASxC,uBAAA;EACf,WAAA,IAAe,SAAA;EACf,YAAA,IAAgB,SAAS;AAAA;;;;;;;;;AAAA;iBAYX,cAAA,CAAe,MAAA,UAAgB,KAAA,WAAgB,uBAAuB;AAAA,UAWrE,4BAAA;EACf,iBAAA,IAAqB,SAAA;EACrB,gBAAA,IAAoB,SAAS;AAAA;;;;AAbuD;AAWtF;;;;;;;;;AAE+B;iBAiBf,mBAAA,CAAoB,OAAA;EAAA,SACzB,cAAA;EAAA,SACA,MAAA;EAAA,SACA,KAAA;AAAA,IACP,4BAA4B;AAAA,UAuDf,wBAAA;EACf,aAAA,IAAiB,SAAA;EACjB,YAAA,IAAgB,SAAS;AAAA;;AAzDK;AAuDhC;;;iBAUgB,eAAA,CAAgB,OAAA;EAAA,SACrB,MAAA;EAAA,SACA,KAAA;EAAA,SACA,MAAA;AAAA,IACP,wBAAwB;;AAZD;AAQ3B;;iBAgBgB,oBAAA,CAAqB,OAAA;EAAA,SAC1B,MAAA;EAAA,SACA,KAAA;EAAA,SACA,MAAA;EAAA,SACA,QAAA;AAAA,IACP,SAAS;AAAA,UAUI,yBAAA;EACf,cAAA,IAAkB,SAAA;EAClB,aAAA,IAAiB,SAAA;EACjB,SAAA,IAAa,SAAA;AAAA;;;;;;;iBASC,gBAAA,CAAiB,OAAA;EAAA,SACtB,MAAA;EAAA,SACA,KAAA;EAAA,SACA,MAAA;AAAA,IACP,yBAAyB;;;;;;iBAuBb,aAAA,CAAc,OAAA;EAAA,SACnB,MAAA;EAAA,SACA,KAAA;EAAA,SACA,MAAA;EAAA,SACA,YAAA;AAAA,IACP,SAAS;AAAA,UAiCI,2BAAA;EACf,SAAA,IAAa,SAAA;EACb,QAAA,IAAY,SAAS;AAAA;AAnEvB;;;;;AAAA,iBA2EgB,kBAAA,CAAmB,OAAA;EAAA,SACxB,MAAA;EAAA,SACA,KAAA;EAAA,SACA,cAAA;AAAA,IACP,2BAA2B;AA3EF;AAuB7B;;;;AAvB6B,iBAoHb,eAAA,CAAgB,MAAA,UAAgB,KAAA,WAAgB,SAAS;;;;;iBAYzD,eAAA,CAAgB,OAAA;EAAA,SACrB,MAAA;EAAA,SACA,KAAA;EAAA,SACA,MAAA;AAAA,IACP,SAAS;AAAA,UAQI,2BAAA;EACf,gBAAA,IAAoB,SAAA;EACpB,eAAA,IAAmB,SAAS;AAAA;;;;AA/EP;iBAsFP,kBAAA,CAAmB,aAAA,WAAwB,2BAA2B;AAAA,UAYrE,uBAAA;EACf,YAAA,IAAgB,SAAA;EAChB,WAAA,IAAe,SAAS;AAAA;;;;;iBAOV,cAAA,CAAe,MAAA,UAAgB,SAAA,WAAoB,uBAAuB;;;KCpVrF,OAAA;EAAA,SAAqB,QAAQ;AAAA;AAAA,cAOrB,IAAA,GAAQ,IAAA,GAAO,OAAA,KAAU,gBAAgD;AAAA,cACzE,IAAA,GAAQ,IAAA,GAAO,OAAA,KAAU,gBAAgD;AAAA,cACzE,IAAA,GAAQ,IAAA,GAAO,OAAA,KAAU,gBAAgD;AAAA,cACzE,KAAA,GAAS,IAAA,GAAO,OAAA,KAAU,gBAAiD;AAAA,cAC3E,SAAA,GAAa,IAAA,GAAO,OAAA,KAAU,gBAAsD;AAAA,cACpF,WAAA,GAAe,IAAA,GAAO,OAAA,KAAU,gBACR;ADZoB;AASzD;;;;;;;;;AAE2B;AAY3B;AAvByD,iBC0BzC,OAAA,gBAAuB,YAAA,EACrC,MAAA;EAAA,SAAmB,IAAA;EAAA,SAAuB,MAAA;EAAA,SAA0B,KAAA;AAAA,GACpE,OAAA,EAAS,MAAA,GACR,WAAA,CAAY,MAAA;;;iBCEC,+BAAA,aAA4C,OAAO;AAAA,iBAInD,iCAAA,aAA8C,OAAO;;;;;;;AFnCrE;;;;AAAyD;AASzD;;;;;iBGHgB,WAAA,CAAY,OAAA;EAAA,SACjB,KAAA;EAAA,SACA,MAAA;EAAA,SACA,WAAA;EAAA,SACA,OAAA,WAAkB,SAAA;EAAA,SAClB,WAAA,YAAuB,kBAAA;AAAA,IAC9B,mBAAA;;;;;iBAQY,YAAA,CAAa,OAAA;EAAA,SAClB,MAAA;EAAA,SACA,WAAA;AAAA,IACP,oBAAoB;;;;;;iBASR,eAAA,CAAgB,MAAA,EAAQ,SAAA,GAAY,eAAe;;;AHIpC;AAiB/B;iBGbgB,UAAA,CAAW,OAAA;EAAA,SAChB,KAAA;EAAA,SACA,MAAA;EAAA,SACA,OAAA,WAAkB,mBAAA;AAAA,IACzB,kBAAkB"}

package/dist/contract-free.mjs

@@ -1,21 +1,8 @@
 import { _ as PG_TEXT_CODEC_ID, g as PG_TEXT_ARRAY_CODEC_ID, l as PG_INT4_CODEC_ID, p as PG_JSONB_CODEC_ID, u as PG_INT8_CODEC_ID, v as PG_TIMESTAMPTZ_CODEC_ID } from "./codec-ids-BvytN2P8.mjs";
-import { i as createTable, n as alterTable, r as createSchema, t as addColumnAction } from "./ddl-DY2R_Yqz.mjs";
-import { TableSource } from "@prisma-next/sql-relational-core/ast";
+import { a as PostgresTableSource } from "./postgres-schema-COGZ1ark.mjs";
+import { a as columnDefaultAst, c as columnTypeAst, d as indexExistsAst, f as noNullValuesAst, g as toRegclass, h as tablePrimaryKeyAst, i as createTable, l as constraintExistsAst, m as tableIsEmptyAst, n as alterTable, o as columnExistsAst, p as tableExistsAst, r as createSchema, s as columnNullabilityAst, t as addColumnAction, u as extensionExistsAst } from "./ddl-QDyOSeLc.mjs";
 import { col, fn, lit, table } from "@prisma-next/sql-relational-core/contract-free";
 import { APP_SPACE_ID } from "@prisma-next/framework-components/control";
-//#region src/core/ast/table-source.ts
-var PostgresTableSource = class extends TableSource {
-	schema;
-	constructor(options) {
-		super(options.name, options.alias);
-		this.schema = options.schema;
-		this.freeze();
-	}
-	rewrite(rewriter) {
-		return rewriter.tableSource ? rewriter.tableSource(this) : this;
-	}
-};
-//#endregion
 //#region src/contract-free/columns.ts
 const desc = (codecId, opts) => ({
 	codecId,
@@ -112,6 +99,6 @@ function buildControlTableBootstrapQueries() {
 	];
 }
 //#endregion
-export { PostgresTableSource, addColumnAction, alterTable, buildControlTableBootstrapQueries, buildSignMarkerBootstrapQueries, createSchema, createTable, int4, int8, jsonb, pgTable, text, textArray, timestamptz };
+export { PostgresTableSource, addColumnAction, alterTable, buildControlTableBootstrapQueries, buildSignMarkerBootstrapQueries, columnDefaultAst, columnExistsAst, columnNullabilityAst, columnTypeAst, constraintExistsAst, createSchema, createTable, extensionExistsAst, indexExistsAst, int4, int8, jsonb, noNullValuesAst, pgTable, tableExistsAst, tableIsEmptyAst, tablePrimaryKeyAst, text, textArray, timestamptz, toRegclass };
 
 //# sourceMappingURL=contract-free.mjs.map

package/dist/contract-free.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"contract-free.mjs","names":[],"sources":["../src/core/ast/table-source.ts","../src/contract-free/columns.ts","../src/contract-free/control-bootstrap.ts"],"sourcesContent":["import {\n  type AnyFromSource,\n  type AstRewriter,\n  TableSource,\n} from '@prisma-next/sql-relational-core/ast';\n\nexport class PostgresTableSource extends TableSource {\n  readonly schema: string | undefined;\n\n  constructor(options: {\n    readonly name: string;\n    readonly schema?: string;\n    readonly alias?: string;\n  }) {\n    super(options.name, options.alias);\n    this.schema = options.schema;\n    this.freeze();\n  }\n\n  override rewrite(rewriter: AstRewriter): AnyFromSource {\n    return rewriter.tableSource ? rewriter.tableSource(this) : this;\n  }\n}\n","import {\n  type ColumnDescriptor,\n  type ColumnSchema,\n  type TableHandle,\n  table,\n} from '@prisma-next/sql-relational-core/contract-free';\nimport { PostgresTableSource } from '../core/ast/table-source';\nimport {\n  PG_INT4_CODEC_ID,\n  PG_INT8_CODEC_ID,\n  PG_JSONB_CODEC_ID,\n  PG_TEXT_ARRAY_CODEC_ID,\n  PG_TEXT_CODEC_ID,\n  PG_TIMESTAMPTZ_CODEC_ID,\n} from '../core/codec-ids';\n\ntype ColOpts = { readonly nullable?: boolean };\n\nconst desc = (codecId: string, opts?: ColOpts): ColumnDescriptor => ({\n  codecId,\n  nullable: opts?.nullable ?? false,\n});\n\nexport const text = (opts?: ColOpts): ColumnDescriptor => desc(PG_TEXT_CODEC_ID, opts);\nexport const int4 = (opts?: ColOpts): ColumnDescriptor => desc(PG_INT4_CODEC_ID, opts);\nexport const int8 = (opts?: ColOpts): ColumnDescriptor => desc(PG_INT8_CODEC_ID, opts);\nexport const jsonb = (opts?: ColOpts): ColumnDescriptor => desc(PG_JSONB_CODEC_ID, opts);\nexport const textArray = (opts?: ColOpts): ColumnDescriptor => desc(PG_TEXT_ARRAY_CODEC_ID, opts);\nexport const timestamptz = (opts?: ColOpts): ColumnDescriptor =>\n  desc(PG_TIMESTAMPTZ_CODEC_ID, opts);\n\n/**\n * Declare a PostgreSQL control-plane table with a typed column schema. Wraps\n * the generic `table()` factory with a `PostgresTableSource` so the renderer\n * qualifies the table name with the optional schema prefix.\n *\n * ```ts\n * const marker = pgTable(\n *   { name: 'marker', schema: 'prisma_contract' },\n *   { space: text(), core_hash: text(), updated_at: timestamptz() },\n * );\n * ```\n */\nexport function pgTable<Schema extends ColumnSchema>(\n  source: { readonly name: string; readonly schema?: string; readonly alias?: string },\n  columns: Schema,\n): TableHandle<Schema> {\n  return table(new PostgresTableSource(source), columns);\n}\n","import { APP_SPACE_ID } from '@prisma-next/framework-components/control';\nimport type { DdlNode } from '@prisma-next/sql-relational-core/ast';\nimport { col, fn, lit } from '@prisma-next/sql-relational-core/contract-free';\nimport { createSchema, createTable } from './ddl';\n\nconst markerColumns = [\n  col('space', 'text', { notNull: true, primaryKey: true, default: lit(APP_SPACE_ID) }),\n  col('core_hash', 'text', { notNull: true }),\n  col('profile_hash', 'text', { notNull: true }),\n  col('contract_json', 'jsonb'),\n  col('canonical_version', 'int'),\n  col('updated_at', 'timestamptz', { notNull: true, default: fn('now()') }),\n  col('app_tag', 'text'),\n  col('meta', 'jsonb', { notNull: true, default: lit('{}') }),\n  col('invariants', 'text[]', { notNull: true, default: lit('{}') }),\n] as const;\n\nconst ledgerColumns = [\n  col('id', 'bigserial', { primaryKey: true }),\n  col('created_at', 'timestamptz', { notNull: true, default: fn('now()') }),\n  col('space', 'text', { notNull: true }),\n  col('migration_name', 'text', { notNull: true }),\n  col('migration_hash', 'text', { notNull: true }),\n  col('origin_core_hash', 'text'),\n  col('origin_profile_hash', 'text'),\n  col('destination_core_hash', 'text', { notNull: true }),\n  col('destination_profile_hash', 'text'),\n  col('contract_json_before', 'jsonb'),\n  col('contract_json_after', 'jsonb'),\n  col('operations', 'jsonb', { notNull: true }),\n] as const;\n\nconst markerTable = createTable({\n  schema: 'prisma_contract',\n  table: 'marker',\n  ifNotExists: true,\n  columns: markerColumns,\n});\n\nconst ledgerTable = createTable({\n  schema: 'prisma_contract',\n  table: 'ledger',\n  ifNotExists: true,\n  columns: ledgerColumns,\n});\n\nconst controlSchema = createSchema({ schema: 'prisma_contract', ifNotExists: true });\n\nexport function buildSignMarkerBootstrapQueries(): readonly DdlNode[] {\n  return [controlSchema, markerTable];\n}\n\nexport function buildControlTableBootstrapQueries(): readonly DdlNode[] {\n  return [controlSchema, markerTable, ledgerTable];\n}\n"],"mappings":";;;;;;AAMA,IAAa,sBAAb,cAAyC,YAAY;CACnD;CAEA,YAAY,SAIT;EACD,MAAM,QAAQ,MAAM,QAAQ,KAAK;EACjC,KAAK,SAAS,QAAQ;EACtB,KAAK,OAAO;CACd;CAEA,QAAiB,UAAsC;EACrD,OAAO,SAAS,cAAc,SAAS,YAAY,IAAI,IAAI;CAC7D;AACF;;;ACJA,MAAM,QAAQ,SAAiB,UAAsC;CACnE;CACA,UAAU,MAAM,YAAY;AAC9B;AAEA,MAAa,QAAQ,SAAqC,KAAK,kBAAkB,IAAI;AACrF,MAAa,QAAQ,SAAqC,KAAK,kBAAkB,IAAI;AACrF,MAAa,QAAQ,SAAqC,KAAK,kBAAkB,IAAI;AACrF,MAAa,SAAS,SAAqC,KAAK,mBAAmB,IAAI;AACvF,MAAa,aAAa,SAAqC,KAAK,wBAAwB,IAAI;AAChG,MAAa,eAAe,SAC1B,KAAK,yBAAyB,IAAI;;;;;;;;;;;;;AAcpC,SAAgB,QACd,QACA,SACqB;CACrB,OAAO,MAAM,IAAI,oBAAoB,MAAM,GAAG,OAAO;AACvD;;;AC3CA,MAAM,gBAAgB;CACpB,IAAI,SAAS,QAAQ;EAAE,SAAS;EAAM,YAAY;EAAM,SAAS,IAAI,YAAY;CAAE,CAAC;CACpF,IAAI,aAAa,QAAQ,EAAE,SAAS,KAAK,CAAC;CAC1C,IAAI,gBAAgB,QAAQ,EAAE,SAAS,KAAK,CAAC;CAC7C,IAAI,iBAAiB,OAAO;CAC5B,IAAI,qBAAqB,KAAK;CAC9B,IAAI,cAAc,eAAe;EAAE,SAAS;EAAM,SAAS,GAAG,OAAO;CAAE,CAAC;CACxE,IAAI,WAAW,MAAM;CACrB,IAAI,QAAQ,SAAS;EAAE,SAAS;EAAM,SAAS,IAAI,IAAI;CAAE,CAAC;CAC1D,IAAI,cAAc,UAAU;EAAE,SAAS;EAAM,SAAS,IAAI,IAAI;CAAE,CAAC;AACnE;AAEA,MAAM,gBAAgB;CACpB,IAAI,MAAM,aAAa,EAAE,YAAY,KAAK,CAAC;CAC3C,IAAI,cAAc,eAAe;EAAE,SAAS;EAAM,SAAS,GAAG,OAAO;CAAE,CAAC;CACxE,IAAI,SAAS,QAAQ,EAAE,SAAS,KAAK,CAAC;CACtC,IAAI,kBAAkB,QAAQ,EAAE,SAAS,KAAK,CAAC;CAC/C,IAAI,kBAAkB,QAAQ,EAAE,SAAS,KAAK,CAAC;CAC/C,IAAI,oBAAoB,MAAM;CAC9B,IAAI,uBAAuB,MAAM;CACjC,IAAI,yBAAyB,QAAQ,EAAE,SAAS,KAAK,CAAC;CACtD,IAAI,4BAA4B,MAAM;CACtC,IAAI,wBAAwB,OAAO;CACnC,IAAI,uBAAuB,OAAO;CAClC,IAAI,cAAc,SAAS,EAAE,SAAS,KAAK,CAAC;AAC9C;AAEA,MAAM,cAAc,YAAY;CAC9B,QAAQ;CACR,OAAO;CACP,aAAa;CACb,SAAS;AACX,CAAC;AAED,MAAM,cAAc,YAAY;CAC9B,QAAQ;CACR,OAAO;CACP,aAAa;CACb,SAAS;AACX,CAAC;AAED,MAAM,gBAAgB,aAAa;CAAE,QAAQ;CAAmB,aAAa;AAAK,CAAC;AAEnF,SAAgB,kCAAsD;CACpE,OAAO,CAAC,eAAe,WAAW;AACpC;AAEA,SAAgB,oCAAwD;CACtE,OAAO;EAAC;EAAe;EAAa;CAAW;AACjD"}
+{"version":3,"file":"contract-free.mjs","names":[],"sources":["../src/contract-free/columns.ts","../src/contract-free/control-bootstrap.ts"],"sourcesContent":["import {\n  type ColumnDescriptor,\n  type ColumnSchema,\n  type TableHandle,\n  table,\n} from '@prisma-next/sql-relational-core/contract-free';\nimport { PostgresTableSource } from '../core/ast/table-source';\nimport {\n  PG_INT4_CODEC_ID,\n  PG_INT8_CODEC_ID,\n  PG_JSONB_CODEC_ID,\n  PG_TEXT_ARRAY_CODEC_ID,\n  PG_TEXT_CODEC_ID,\n  PG_TIMESTAMPTZ_CODEC_ID,\n} from '../core/codec-ids';\n\ntype ColOpts = { readonly nullable?: boolean };\n\nconst desc = (codecId: string, opts?: ColOpts): ColumnDescriptor => ({\n  codecId,\n  nullable: opts?.nullable ?? false,\n});\n\nexport const text = (opts?: ColOpts): ColumnDescriptor => desc(PG_TEXT_CODEC_ID, opts);\nexport const int4 = (opts?: ColOpts): ColumnDescriptor => desc(PG_INT4_CODEC_ID, opts);\nexport const int8 = (opts?: ColOpts): ColumnDescriptor => desc(PG_INT8_CODEC_ID, opts);\nexport const jsonb = (opts?: ColOpts): ColumnDescriptor => desc(PG_JSONB_CODEC_ID, opts);\nexport const textArray = (opts?: ColOpts): ColumnDescriptor => desc(PG_TEXT_ARRAY_CODEC_ID, opts);\nexport const timestamptz = (opts?: ColOpts): ColumnDescriptor =>\n  desc(PG_TIMESTAMPTZ_CODEC_ID, opts);\n\n/**\n * Declare a PostgreSQL control-plane table with a typed column schema. Wraps\n * the generic `table()` factory with a `PostgresTableSource` so the renderer\n * qualifies the table name with the optional schema prefix.\n *\n * ```ts\n * const marker = pgTable(\n *   { name: 'marker', schema: 'prisma_contract' },\n *   { space: text(), core_hash: text(), updated_at: timestamptz() },\n * );\n * ```\n */\nexport function pgTable<Schema extends ColumnSchema>(\n  source: { readonly name: string; readonly schema?: string; readonly alias?: string },\n  columns: Schema,\n): TableHandle<Schema> {\n  return table(new PostgresTableSource(source), columns);\n}\n","import { APP_SPACE_ID } from '@prisma-next/framework-components/control';\nimport type { DdlNode } from '@prisma-next/sql-relational-core/ast';\nimport { col, fn, lit } from '@prisma-next/sql-relational-core/contract-free';\nimport { createSchema, createTable } from './ddl';\n\nconst markerColumns = [\n  col('space', 'text', { notNull: true, primaryKey: true, default: lit(APP_SPACE_ID) }),\n  col('core_hash', 'text', { notNull: true }),\n  col('profile_hash', 'text', { notNull: true }),\n  col('contract_json', 'jsonb'),\n  col('canonical_version', 'int'),\n  col('updated_at', 'timestamptz', { notNull: true, default: fn('now()') }),\n  col('app_tag', 'text'),\n  col('meta', 'jsonb', { notNull: true, default: lit('{}') }),\n  col('invariants', 'text[]', { notNull: true, default: lit('{}') }),\n] as const;\n\nconst ledgerColumns = [\n  col('id', 'bigserial', { primaryKey: true }),\n  col('created_at', 'timestamptz', { notNull: true, default: fn('now()') }),\n  col('space', 'text', { notNull: true }),\n  col('migration_name', 'text', { notNull: true }),\n  col('migration_hash', 'text', { notNull: true }),\n  col('origin_core_hash', 'text'),\n  col('origin_profile_hash', 'text'),\n  col('destination_core_hash', 'text', { notNull: true }),\n  col('destination_profile_hash', 'text'),\n  col('contract_json_before', 'jsonb'),\n  col('contract_json_after', 'jsonb'),\n  col('operations', 'jsonb', { notNull: true }),\n] as const;\n\nconst markerTable = createTable({\n  schema: 'prisma_contract',\n  table: 'marker',\n  ifNotExists: true,\n  columns: markerColumns,\n});\n\nconst ledgerTable = createTable({\n  schema: 'prisma_contract',\n  table: 'ledger',\n  ifNotExists: true,\n  columns: ledgerColumns,\n});\n\nconst controlSchema = createSchema({ schema: 'prisma_contract', ifNotExists: true });\n\nexport function buildSignMarkerBootstrapQueries(): readonly DdlNode[] {\n  return [controlSchema, markerTable];\n}\n\nexport function buildControlTableBootstrapQueries(): readonly DdlNode[] {\n  return [controlSchema, markerTable, ledgerTable];\n}\n"],"mappings":";;;;;;AAkBA,MAAM,QAAQ,SAAiB,UAAsC;CACnE;CACA,UAAU,MAAM,YAAY;AAC9B;AAEA,MAAa,QAAQ,SAAqC,KAAK,kBAAkB,IAAI;AACrF,MAAa,QAAQ,SAAqC,KAAK,kBAAkB,IAAI;AACrF,MAAa,QAAQ,SAAqC,KAAK,kBAAkB,IAAI;AACrF,MAAa,SAAS,SAAqC,KAAK,mBAAmB,IAAI;AACvF,MAAa,aAAa,SAAqC,KAAK,wBAAwB,IAAI;AAChG,MAAa,eAAe,SAC1B,KAAK,yBAAyB,IAAI;;;;;;;;;;;;;AAcpC,SAAgB,QACd,QACA,SACqB;CACrB,OAAO,MAAM,IAAI,oBAAoB,MAAM,GAAG,OAAO;AACvD;;;AC3CA,MAAM,gBAAgB;CACpB,IAAI,SAAS,QAAQ;EAAE,SAAS;EAAM,YAAY;EAAM,SAAS,IAAI,YAAY;CAAE,CAAC;CACpF,IAAI,aAAa,QAAQ,EAAE,SAAS,KAAK,CAAC;CAC1C,IAAI,gBAAgB,QAAQ,EAAE,SAAS,KAAK,CAAC;CAC7C,IAAI,iBAAiB,OAAO;CAC5B,IAAI,qBAAqB,KAAK;CAC9B,IAAI,cAAc,eAAe;EAAE,SAAS;EAAM,SAAS,GAAG,OAAO;CAAE,CAAC;CACxE,IAAI,WAAW,MAAM;CACrB,IAAI,QAAQ,SAAS;EAAE,SAAS;EAAM,SAAS,IAAI,IAAI;CAAE,CAAC;CAC1D,IAAI,cAAc,UAAU;EAAE,SAAS;EAAM,SAAS,IAAI,IAAI;CAAE,CAAC;AACnE;AAEA,MAAM,gBAAgB;CACpB,IAAI,MAAM,aAAa,EAAE,YAAY,KAAK,CAAC;CAC3C,IAAI,cAAc,eAAe;EAAE,SAAS;EAAM,SAAS,GAAG,OAAO;CAAE,CAAC;CACxE,IAAI,SAAS,QAAQ,EAAE,SAAS,KAAK,CAAC;CACtC,IAAI,kBAAkB,QAAQ,EAAE,SAAS,KAAK,CAAC;CAC/C,IAAI,kBAAkB,QAAQ,EAAE,SAAS,KAAK,CAAC;CAC/C,IAAI,oBAAoB,MAAM;CAC9B,IAAI,uBAAuB,MAAM;CACjC,IAAI,yBAAyB,QAAQ,EAAE,SAAS,KAAK,CAAC;CACtD,IAAI,4BAA4B,MAAM;CACtC,IAAI,wBAAwB,OAAO;CACnC,IAAI,uBAAuB,OAAO;CAClC,IAAI,cAAc,SAAS,EAAE,SAAS,KAAK,CAAC;AAC9C;AAEA,MAAM,cAAc,YAAY;CAC9B,QAAQ;CACR,OAAO;CACP,aAAa;CACb,SAAS;AACX,CAAC;AAED,MAAM,cAAc,YAAY;CAC9B,QAAQ;CACR,OAAO;CACP,aAAa;CACb,SAAS;AACX,CAAC;AAED,MAAM,gBAAgB,aAAa;CAAE,QAAQ;CAAmB,aAAa;AAAK,CAAC;AAEnF,SAAgB,kCAAsD;CACpE,OAAO,CAAC,eAAe,WAAW;AACpC;AAEA,SAAgB,oCAAwD;CACtE,OAAO;EAAC;EAAe;EAAa;CAAW;AACjD"}

package/dist/control.mjs

@@ -1,9 +1,9 @@
 import { t as postgresTargetDescriptorMeta } from "./descriptor-meta-BKma_hQ5.mjs";
 import { t as parsePostgresDefault } from "./default-normalizer-DyyCHQWs.mjs";
 import { t as normalizeSchemaNativeType } from "./native-type-normalizer-Bc9XJzWC.mjs";
-import { t as createPostgresMigrationPlanner } from "./planner-BZxjjT8T.mjs";
+import { t as createPostgresMigrationPlanner } from "./planner-DS5XBhmi.mjs";
 import { a as renderDefaultLiteral } from "./planner-ddl-builders-B2wOwLqI.mjs";
-import { t as PostgresContractSerializer } from "./postgres-contract-serializer-sdg1B6Og.mjs";
+import { t as PostgresContractSerializer } from "./postgres-contract-serializer-E92REOFk.mjs";
 import { blindCast } from "@prisma-next/utils/casts";
 import { contractToSchemaIR, extractCodecControlHooks, runnerFailure, runnerSuccess } from "@prisma-next/family-sql/control";
 import { ifDefined } from "@prisma-next/utils/defined";

package/dist/ddl-QDyOSeLc.mjs

@@ -0,0 +1,251 @@
+import { _ as PG_TEXT_CODEC_ID } from "./codec-ids-BvytN2P8.mjs";
+import { a as PostgresTableSource, i as postgresCreateNamespace } from "./postgres-schema-COGZ1ark.mjs";
+import { i as PostgresCreateTable, n as PostgresAlterTable, r as PostgresCreateSchema, t as AddColumnAction } from "./nodes-Bbhs2rwj.mjs";
+import { cfExpr, cfTable, exprSelect } from "@prisma-next/sql-relational-core/contract-free";
+//#region src/contract-free/checks.ts
+/**
+* `to_regclass($1)` with the qualified table name bound as a text parameter.
+* Thin vocabulary wrapper over the core `cfExpr.fn` helper — the target
+* supplies only the template and the codec'd operand.
+*/
+function toRegclass(qualifiedName) {
+	return cfExpr.fn({
+		method: "to_regclass",
+		template: "to_regclass({{self}})",
+		self: cfExpr.param(qualifiedName, PG_TEXT_CODEC_ID),
+		returns: {
+			codecId: PG_TEXT_CODEC_ID,
+			nullable: true
+		}
+	});
+}
+/**
+* Typed builder for the migration planner's table-existence checks. Produces
+* FROM-less `SELECT to_regclass($1) IS [NOT] NULL AS "result"` ASTs with the
+* qualified table name bound as a text parameter — never inlined into the SQL.
+*
+* `schema` is a namespace coordinate: the framework `__unbound__` sentinel
+* elides the qualifier (search_path decides at runtime); any other id
+* qualifies as `"schema"."table"`.
+*/
+function tableExistsAst(schema, table) {
+	const regclass = toRegclass(postgresCreateNamespace({
+		id: schema,
+		entries: { table: {} }
+	}).qualifyTable(table));
+	return {
+		tableAbsent: () => exprSelect().project("result", regclass.isNull()).build(),
+		tablePresent: () => exprSelect().project("result", regclass.isNotNull()).build()
+	};
+}
+/**
+* Typed builder for the migration planner's constraint-existence checks.
+* Produces `SELECT [NOT ]EXISTS (SELECT 1 FROM pg_constraint c JOIN
+* pg_namespace n ON n.oid = c.connamespace WHERE c.conname = $1 AND
+* n.nspname = $2 [AND c.conrelid = to_regclass($3)]) AS "result"` with the
+* constraint name, schema name, and qualified table name bound as text
+* parameters.
+*
+* When `table` is omitted the check matches by name + schema across all
+* tables. Pass `table` to scope the check to a single table (prevents false
+* matches on identically-named constraints in different tables). `schema`
+* is a namespace coordinate: the `__unbound__` sentinel compares `nspname`
+* against `current_schema()` instead of a bound parameter.
+*/
+function constraintExistsAst(options) {
+	const namespace = postgresCreateNamespace({
+		id: options.schema,
+		entries: { table: {} }
+	});
+	const conditions = [cfExpr.columnRef("c", "conname").eqParam(options.constraintName, PG_TEXT_CODEC_ID), cfExpr.columnRef("n", "nspname").eqExpr(namespace.schemaFilterExpression())];
+	if (options.table !== void 0) conditions.push(cfExpr.columnRef("c", "conrelid").eqExpr(toRegclass(namespace.qualifyTable(options.table))));
+	const inner = () => exprSelect().from(cfTable("pg_constraint", "c")).join(cfTable("pg_namespace", "n"), cfExpr.columnRef("n", "oid").eqExpr(cfExpr.columnRef("c", "connamespace"))).project("one", cfExpr.lit(1)).where(cfExpr.allOf(conditions));
+	return {
+		constraintPresent: () => exprSelect().project("result", cfExpr.exists(inner())).build(),
+		constraintAbsent: () => exprSelect().project("result", cfExpr.notExists(inner())).build()
+	};
+}
+function checkNamespace(schema) {
+	return postgresCreateNamespace({
+		id: schema,
+		entries: { table: {} }
+	});
+}
+function informationSchemaColumns() {
+	return new PostgresTableSource({
+		schema: "information_schema",
+		name: "columns"
+	});
+}
+function infoSchemaColumnConditions(options) {
+	return [
+		cfExpr.identifierRef("table_schema").eqExpr(checkNamespace(options.schema).schemaFilterExpression()),
+		cfExpr.identifierRef("table_name").eqParam(options.table, PG_TEXT_CODEC_ID),
+		cfExpr.identifierRef("column_name").eqParam(options.column, PG_TEXT_CODEC_ID)
+	];
+}
+function infoSchemaColumnQuery(conditions) {
+	return exprSelect().from(informationSchemaColumns()).project("one", cfExpr.lit(1)).where(cfExpr.allOf(conditions));
+}
+/**
+* Typed builder for column-existence checks over
+* `information_schema.columns`, with schema, table, and column names bound
+* as text parameters.
+*/
+function columnExistsAst(options) {
+	const inner = () => infoSchemaColumnQuery(infoSchemaColumnConditions(options));
+	return {
+		columnPresent: () => exprSelect().project("result", cfExpr.exists(inner())).build(),
+		columnAbsent: () => exprSelect().project("result", cfExpr.notExists(inner())).build()
+	};
+}
+/**
+* Typed nullability check: EXISTS over `information_schema.columns` with
+* `is_nullable` compared against the bound `'YES'` / `'NO'` marker.
+*/
+function columnNullabilityAst(options) {
+	const conditions = [...infoSchemaColumnConditions(options), cfExpr.identifierRef("is_nullable").eqParam(options.nullable ? "YES" : "NO", PG_TEXT_CODEC_ID)];
+	return exprSelect().project("result", cfExpr.exists(infoSchemaColumnQuery(conditions))).build();
+}
+/**
+* Typed default-presence checks over `information_schema.columns`.
+* `defaultPresent` / `defaultAbsent` assert the column row exists with a
+* non-null / null `column_default`; `noDefault` is the NOT EXISTS variant
+* (also true when the column row is missing entirely).
+*/
+function columnDefaultAst(options) {
+	const withDefault = () => infoSchemaColumnQuery([...infoSchemaColumnConditions(options), cfExpr.identifierRef("column_default").isNotNull()]);
+	const withoutDefault = () => infoSchemaColumnQuery([...infoSchemaColumnConditions(options), cfExpr.identifierRef("column_default").isNull()]);
+	return {
+		defaultPresent: () => exprSelect().project("result", cfExpr.exists(withDefault())).build(),
+		defaultAbsent: () => exprSelect().project("result", cfExpr.exists(withoutDefault())).build(),
+		noDefault: () => exprSelect().project("result", cfExpr.notExists(withDefault())).build()
+	};
+}
+/**
+* Typed column-type check: EXISTS over `pg_attribute` joined to `pg_class`
+* and `pg_namespace`, comparing `format_type(a.atttypid, a.atttypmod)`
+* against the bound expected display type and excluding dropped columns.
+*/
+function columnTypeAst(options) {
+	const formatType = cfExpr.fn({
+		method: "format_type",
+		template: "format_type({{self}}, {{arg0}})",
+		self: cfExpr.columnRef("a", "atttypid"),
+		args: [cfExpr.columnRef("a", "atttypmod")],
+		returns: {
+			codecId: PG_TEXT_CODEC_ID,
+			nullable: false
+		}
+	});
+	const inner = exprSelect().from(cfTable("pg_attribute", "a")).join(cfTable("pg_class", "c"), cfExpr.columnRef("c", "oid").eqExpr(cfExpr.columnRef("a", "attrelid"))).join(cfTable("pg_namespace", "n"), cfExpr.columnRef("n", "oid").eqExpr(cfExpr.columnRef("c", "relnamespace"))).project("one", cfExpr.lit(1)).where(cfExpr.allOf([
+		cfExpr.columnRef("n", "nspname").eqExpr(checkNamespace(options.schema).schemaFilterExpression()),
+		cfExpr.columnRef("c", "relname").eqParam(options.table, PG_TEXT_CODEC_ID),
+		cfExpr.columnRef("a", "attname").eqParam(options.column, PG_TEXT_CODEC_ID),
+		formatType.eqParam(options.expectedType, PG_TEXT_CODEC_ID),
+		cfExpr.columnRef("a", "attisdropped").not()
+	]));
+	return exprSelect().project("result", cfExpr.exists(inner)).build();
+}
+/**
+* Typed primary-key existence check over `pg_index` joined to `pg_class`
+* and `pg_namespace`, with a LEFT JOIN on the index relation so an
+* optional `constraintName` can scope the match to a named constraint.
+*/
+function tablePrimaryKeyAst(options) {
+	const conditions = [
+		cfExpr.columnRef("n", "nspname").eqExpr(checkNamespace(options.schema).schemaFilterExpression()),
+		cfExpr.columnRef("c", "relname").eqParam(options.table, PG_TEXT_CODEC_ID),
+		cfExpr.columnRef("i", "indisprimary")
+	];
+	if (options.constraintName !== void 0) conditions.push(cfExpr.columnRef("c2", "relname").eqParam(options.constraintName, PG_TEXT_CODEC_ID));
+	const inner = () => exprSelect().from(cfTable("pg_index", "i")).join(cfTable("pg_class", "c"), cfExpr.columnRef("c", "oid").eqExpr(cfExpr.columnRef("i", "indrelid"))).join(cfTable("pg_namespace", "n"), cfExpr.columnRef("n", "oid").eqExpr(cfExpr.columnRef("c", "relnamespace"))).leftJoin(cfTable("pg_class", "c2"), cfExpr.columnRef("c2", "oid").eqExpr(cfExpr.columnRef("i", "indexrelid"))).project("one", cfExpr.lit(1)).where(cfExpr.allOf(conditions));
+	return {
+		pkPresent: () => exprSelect().project("result", cfExpr.exists(inner())).build(),
+		pkAbsent: () => exprSelect().project("result", cfExpr.notExists(inner())).build()
+	};
+}
+/**
+* Typed emptiness check: NOT EXISTS over the user table itself with
+* `LIMIT 1`. The table is addressed through the namespace's polymorphic
+* `tableSource` (qualified for named schemas, bare for the unbound slot).
+*/
+function tableIsEmptyAst(schema, table) {
+	const inner = exprSelect().from(checkNamespace(schema).tableSource(table)).project("one", cfExpr.lit(1)).limit(1);
+	return exprSelect().project("result", cfExpr.notExists(inner)).build();
+}
+/**
+* Typed no-NULL-values data check used by `SET NOT NULL` prechecks:
+* NOT EXISTS over the user table where the column IS NULL.
+*/
+function noNullValuesAst(options) {
+	const inner = exprSelect().from(checkNamespace(options.schema).tableSource(options.table)).project("one", cfExpr.lit(1)).where(cfExpr.identifierRef(options.column).isNull());
+	return exprSelect().project("result", cfExpr.notExists(inner)).build();
+}
+/**
+* Typed extension existence check over `pg_extension`, with the extension
+* name bound as a text parameter.
+*/
+function extensionExistsAst(extensionName) {
+	const inner = () => exprSelect().from(cfTable("pg_extension")).project("one", cfExpr.lit(1)).where(cfExpr.identifierRef("extname").eqParam(extensionName, PG_TEXT_CODEC_ID));
+	return {
+		extensionPresent: () => exprSelect().project("result", cfExpr.exists(inner())).build(),
+		extensionAbsent: () => exprSelect().project("result", cfExpr.notExists(inner())).build()
+	};
+}
+/**
+* Typed index existence check riding the same `to_regclass` vocabulary as
+* `tableExistsAst`, with the qualified index name bound as a text parameter.
+*/
+function indexExistsAst(schema, indexName) {
+	const regclass = toRegclass(checkNamespace(schema).qualifyTable(indexName));
+	return {
+		indexPresent: () => exprSelect().project("result", regclass.isNotNull()).build(),
+		indexAbsent: () => exprSelect().project("result", regclass.isNull()).build()
+	};
+}
+//#endregion
+//#region src/contract-free/ddl.ts
+/**
+* Build a Postgres `CREATE TABLE` query node.
+*
+* Pass `constraints` for table-level composite primary keys, foreign keys, and
+* unique constraints — use the {@link PrimaryKeyConstraint}, {@link ForeignKeyConstraint},
+* and {@link UniqueConstraint} classes from `@prisma-next/sql-relational-core/ast`.
+*
+* Precondition: identifiers (`table`, `schema`, column names/types) are
+* emitted to SQL verbatim — they are not quoted or escaped, so callers must
+* pass pre-trusted values (e.g. fixed control-plane identifiers). String-literal
+* default values, by contrast, are single-quote-escaped (embedded `'` doubled)
+* by the renderer. Identifier quoting for untrusted identifiers is added when
+* the migration planner adopts this lowering path.
+*/
+function createTable(options) {
+	return new PostgresCreateTable(options);
+}
+/**
+* Build a Postgres `CREATE SCHEMA` query node. See {@link createTable} for the
+* pre-trusted-identifier precondition.
+*/
+function createSchema(options) {
+	return new PostgresCreateSchema(options);
+}
+/**
+* Build an `ADD COLUMN` action for use inside {@link alterTable}.
+* The column is a structured `DdlColumn` so codec-encoded defaults flow
+* through the adapter's `pgRenderDdlColumn` → `pgRenderDdlColumnDefault` path.
+*/
+function addColumnAction(column) {
+	return new AddColumnAction(column);
+}
+/**
+* Build a Postgres `ALTER TABLE` query node carrying one or more actions.
+* See {@link addColumnAction} for building actions.
+*/
+function alterTable(options) {
+	return new PostgresAlterTable(options);
+}
+//#endregion
+export { columnDefaultAst as a, columnTypeAst as c, indexExistsAst as d, noNullValuesAst as f, toRegclass as g, tablePrimaryKeyAst as h, createTable as i, constraintExistsAst as l, tableIsEmptyAst as m, alterTable as n, columnExistsAst as o, tableExistsAst as p, createSchema as r, columnNullabilityAst as s, addColumnAction as t, extensionExistsAst as u };
+
+//# sourceMappingURL=ddl-QDyOSeLc.mjs.map

package/dist/ddl-QDyOSeLc.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ddl-QDyOSeLc.mjs","names":[],"sources":["../src/contract-free/checks.ts","../src/contract-free/ddl.ts"],"sourcesContent":["import type { SelectAst } from '@prisma-next/sql-relational-core/ast';\nimport {\n  type CfExpr,\n  type CfExprSelectQuery,\n  cfExpr,\n  cfTable,\n  exprSelect,\n} from '@prisma-next/sql-relational-core/contract-free';\nimport { PostgresTableSource } from '../core/ast/table-source';\nimport { PG_TEXT_CODEC_ID } from '../core/codec-ids';\nimport { postgresCreateNamespace } from '../core/postgres-schema';\n\n/**\n * `to_regclass($1)` with the qualified table name bound as a text parameter.\n * Thin vocabulary wrapper over the core `cfExpr.fn` helper — the target\n * supplies only the template and the codec'd operand.\n */\nexport function toRegclass(qualifiedName: string): CfExpr {\n  return cfExpr.fn({\n    method: 'to_regclass',\n    template: 'to_regclass({{self}})',\n    self: cfExpr.param(qualifiedName, PG_TEXT_CODEC_ID),\n    returns: { codecId: PG_TEXT_CODEC_ID, nullable: true },\n  });\n}\n\nexport interface TableExistsCheckBuilder {\n  tableAbsent(): SelectAst;\n  tablePresent(): SelectAst;\n}\n\n/**\n * Typed builder for the migration planner's table-existence checks. Produces\n * FROM-less `SELECT to_regclass($1) IS [NOT] NULL AS \"result\"` ASTs with the\n * qualified table name bound as a text parameter — never inlined into the SQL.\n *\n * `schema` is a namespace coordinate: the framework `__unbound__` sentinel\n * elides the qualifier (search_path decides at runtime); any other id\n * qualifies as `\"schema\".\"table\"`.\n */\nexport function tableExistsAst(schema: string, table: string): TableExistsCheckBuilder {\n  const qualified = postgresCreateNamespace({ id: schema, entries: { table: {} } }).qualifyTable(\n    table,\n  );\n  const regclass = toRegclass(qualified);\n  return {\n    tableAbsent: () => exprSelect().project('result', regclass.isNull()).build(),\n    tablePresent: () => exprSelect().project('result', regclass.isNotNull()).build(),\n  };\n}\n\nexport interface ConstraintExistsCheckBuilder {\n  constraintPresent(): SelectAst;\n  constraintAbsent(): SelectAst;\n}\n\n/**\n * Typed builder for the migration planner's constraint-existence checks.\n * Produces `SELECT [NOT ]EXISTS (SELECT 1 FROM pg_constraint c JOIN\n * pg_namespace n ON n.oid = c.connamespace WHERE c.conname = $1 AND\n * n.nspname = $2 [AND c.conrelid = to_regclass($3)]) AS \"result\"` with the\n * constraint name, schema name, and qualified table name bound as text\n * parameters.\n *\n * When `table` is omitted the check matches by name + schema across all\n * tables. Pass `table` to scope the check to a single table (prevents false\n * matches on identically-named constraints in different tables). `schema`\n * is a namespace coordinate: the `__unbound__` sentinel compares `nspname`\n * against `current_schema()` instead of a bound parameter.\n */\nexport function constraintExistsAst(options: {\n  readonly constraintName: string;\n  readonly schema: string;\n  readonly table?: string;\n}): ConstraintExistsCheckBuilder {\n  const namespace = postgresCreateNamespace({ id: options.schema, entries: { table: {} } });\n  const conditions = [\n    cfExpr.columnRef('c', 'conname').eqParam(options.constraintName, PG_TEXT_CODEC_ID),\n    cfExpr.columnRef('n', 'nspname').eqExpr(namespace.schemaFilterExpression()),\n  ];\n  if (options.table !== undefined) {\n    conditions.push(\n      cfExpr.columnRef('c', 'conrelid').eqExpr(toRegclass(namespace.qualifyTable(options.table))),\n    );\n  }\n  const inner = (): CfExprSelectQuery =>\n    exprSelect()\n      .from(cfTable('pg_constraint', 'c'))\n      .join(\n        cfTable('pg_namespace', 'n'),\n        cfExpr.columnRef('n', 'oid').eqExpr(cfExpr.columnRef('c', 'connamespace')),\n      )\n      .project('one', cfExpr.lit(1))\n      .where(cfExpr.allOf(conditions));\n  return {\n    constraintPresent: () => exprSelect().project('result', cfExpr.exists(inner())).build(),\n    constraintAbsent: () => exprSelect().project('result', cfExpr.notExists(inner())).build(),\n  };\n}\n\nfunction checkNamespace(schema: string) {\n  return postgresCreateNamespace({ id: schema, entries: { table: {} } });\n}\n\nfunction informationSchemaColumns(): PostgresTableSource {\n  return new PostgresTableSource({ schema: 'information_schema', name: 'columns' });\n}\n\nfunction infoSchemaColumnConditions(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly column: string;\n}): CfExpr[] {\n  return [\n    cfExpr\n      .identifierRef('table_schema')\n      .eqExpr(checkNamespace(options.schema).schemaFilterExpression()),\n    cfExpr.identifierRef('table_name').eqParam(options.table, PG_TEXT_CODEC_ID),\n    cfExpr.identifierRef('column_name').eqParam(options.column, PG_TEXT_CODEC_ID),\n  ];\n}\n\nfunction infoSchemaColumnQuery(conditions: ReadonlyArray<CfExpr>): CfExprSelectQuery {\n  return exprSelect()\n    .from(informationSchemaColumns())\n    .project('one', cfExpr.lit(1))\n    .where(cfExpr.allOf(conditions));\n}\n\nexport interface ColumnExistsCheckBuilder {\n  columnPresent(): SelectAst;\n  columnAbsent(): SelectAst;\n}\n\n/**\n * Typed builder for column-existence checks over\n * `information_schema.columns`, with schema, table, and column names bound\n * as text parameters.\n */\nexport function columnExistsAst(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly column: string;\n}): ColumnExistsCheckBuilder {\n  const inner = () => infoSchemaColumnQuery(infoSchemaColumnConditions(options));\n  return {\n    columnPresent: () => exprSelect().project('result', cfExpr.exists(inner())).build(),\n    columnAbsent: () => exprSelect().project('result', cfExpr.notExists(inner())).build(),\n  };\n}\n\n/**\n * Typed nullability check: EXISTS over `information_schema.columns` with\n * `is_nullable` compared against the bound `'YES'` / `'NO'` marker.\n */\nexport function columnNullabilityAst(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly column: string;\n  readonly nullable: boolean;\n}): SelectAst {\n  const conditions = [\n    ...infoSchemaColumnConditions(options),\n    cfExpr.identifierRef('is_nullable').eqParam(options.nullable ? 'YES' : 'NO', PG_TEXT_CODEC_ID),\n  ];\n  return exprSelect()\n    .project('result', cfExpr.exists(infoSchemaColumnQuery(conditions)))\n    .build();\n}\n\nexport interface ColumnDefaultCheckBuilder {\n  defaultPresent(): SelectAst;\n  defaultAbsent(): SelectAst;\n  noDefault(): SelectAst;\n}\n\n/**\n * Typed default-presence checks over `information_schema.columns`.\n * `defaultPresent` / `defaultAbsent` assert the column row exists with a\n * non-null / null `column_default`; `noDefault` is the NOT EXISTS variant\n * (also true when the column row is missing entirely).\n */\nexport function columnDefaultAst(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly column: string;\n}): ColumnDefaultCheckBuilder {\n  const withDefault = () =>\n    infoSchemaColumnQuery([\n      ...infoSchemaColumnConditions(options),\n      cfExpr.identifierRef('column_default').isNotNull(),\n    ]);\n  const withoutDefault = () =>\n    infoSchemaColumnQuery([\n      ...infoSchemaColumnConditions(options),\n      cfExpr.identifierRef('column_default').isNull(),\n    ]);\n  return {\n    defaultPresent: () => exprSelect().project('result', cfExpr.exists(withDefault())).build(),\n    defaultAbsent: () => exprSelect().project('result', cfExpr.exists(withoutDefault())).build(),\n    noDefault: () => exprSelect().project('result', cfExpr.notExists(withDefault())).build(),\n  };\n}\n\n/**\n * Typed column-type check: EXISTS over `pg_attribute` joined to `pg_class`\n * and `pg_namespace`, comparing `format_type(a.atttypid, a.atttypmod)`\n * against the bound expected display type and excluding dropped columns.\n */\nexport function columnTypeAst(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly column: string;\n  readonly expectedType: string;\n}): SelectAst {\n  const formatType = cfExpr.fn({\n    method: 'format_type',\n    template: 'format_type({{self}}, {{arg0}})',\n    self: cfExpr.columnRef('a', 'atttypid'),\n    args: [cfExpr.columnRef('a', 'atttypmod')],\n    returns: { codecId: PG_TEXT_CODEC_ID, nullable: false },\n  });\n  const inner = exprSelect()\n    .from(cfTable('pg_attribute', 'a'))\n    .join(\n      cfTable('pg_class', 'c'),\n      cfExpr.columnRef('c', 'oid').eqExpr(cfExpr.columnRef('a', 'attrelid')),\n    )\n    .join(\n      cfTable('pg_namespace', 'n'),\n      cfExpr.columnRef('n', 'oid').eqExpr(cfExpr.columnRef('c', 'relnamespace')),\n    )\n    .project('one', cfExpr.lit(1))\n    .where(\n      cfExpr.allOf([\n        cfExpr\n          .columnRef('n', 'nspname')\n          .eqExpr(checkNamespace(options.schema).schemaFilterExpression()),\n        cfExpr.columnRef('c', 'relname').eqParam(options.table, PG_TEXT_CODEC_ID),\n        cfExpr.columnRef('a', 'attname').eqParam(options.column, PG_TEXT_CODEC_ID),\n        formatType.eqParam(options.expectedType, PG_TEXT_CODEC_ID),\n        cfExpr.columnRef('a', 'attisdropped').not(),\n      ]),\n    );\n  return exprSelect().project('result', cfExpr.exists(inner)).build();\n}\n\nexport interface TablePrimaryKeyCheckBuilder {\n  pkPresent(): SelectAst;\n  pkAbsent(): SelectAst;\n}\n\n/**\n * Typed primary-key existence check over `pg_index` joined to `pg_class`\n * and `pg_namespace`, with a LEFT JOIN on the index relation so an\n * optional `constraintName` can scope the match to a named constraint.\n */\nexport function tablePrimaryKeyAst(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly constraintName?: string;\n}): TablePrimaryKeyCheckBuilder {\n  const conditions = [\n    cfExpr\n      .columnRef('n', 'nspname')\n      .eqExpr(checkNamespace(options.schema).schemaFilterExpression()),\n    cfExpr.columnRef('c', 'relname').eqParam(options.table, PG_TEXT_CODEC_ID),\n    cfExpr.columnRef('i', 'indisprimary'),\n  ];\n  if (options.constraintName !== undefined) {\n    conditions.push(\n      cfExpr.columnRef('c2', 'relname').eqParam(options.constraintName, PG_TEXT_CODEC_ID),\n    );\n  }\n  const inner = () =>\n    exprSelect()\n      .from(cfTable('pg_index', 'i'))\n      .join(\n        cfTable('pg_class', 'c'),\n        cfExpr.columnRef('c', 'oid').eqExpr(cfExpr.columnRef('i', 'indrelid')),\n      )\n      .join(\n        cfTable('pg_namespace', 'n'),\n        cfExpr.columnRef('n', 'oid').eqExpr(cfExpr.columnRef('c', 'relnamespace')),\n      )\n      .leftJoin(\n        cfTable('pg_class', 'c2'),\n        cfExpr.columnRef('c2', 'oid').eqExpr(cfExpr.columnRef('i', 'indexrelid')),\n      )\n      .project('one', cfExpr.lit(1))\n      .where(cfExpr.allOf(conditions));\n  return {\n    pkPresent: () => exprSelect().project('result', cfExpr.exists(inner())).build(),\n    pkAbsent: () => exprSelect().project('result', cfExpr.notExists(inner())).build(),\n  };\n}\n\n/**\n * Typed emptiness check: NOT EXISTS over the user table itself with\n * `LIMIT 1`. The table is addressed through the namespace's polymorphic\n * `tableSource` (qualified for named schemas, bare for the unbound slot).\n */\nexport function tableIsEmptyAst(schema: string, table: string): SelectAst {\n  const inner = exprSelect()\n    .from(checkNamespace(schema).tableSource(table))\n    .project('one', cfExpr.lit(1))\n    .limit(1);\n  return exprSelect().project('result', cfExpr.notExists(inner)).build();\n}\n\n/**\n * Typed no-NULL-values data check used by `SET NOT NULL` prechecks:\n * NOT EXISTS over the user table where the column IS NULL.\n */\nexport function noNullValuesAst(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly column: string;\n}): SelectAst {\n  const inner = exprSelect()\n    .from(checkNamespace(options.schema).tableSource(options.table))\n    .project('one', cfExpr.lit(1))\n    .where(cfExpr.identifierRef(options.column).isNull());\n  return exprSelect().project('result', cfExpr.notExists(inner)).build();\n}\n\nexport interface ExtensionExistsCheckBuilder {\n  extensionPresent(): SelectAst;\n  extensionAbsent(): SelectAst;\n}\n\n/**\n * Typed extension existence check over `pg_extension`, with the extension\n * name bound as a text parameter.\n */\nexport function extensionExistsAst(extensionName: string): ExtensionExistsCheckBuilder {\n  const inner = () =>\n    exprSelect()\n      .from(cfTable('pg_extension'))\n      .project('one', cfExpr.lit(1))\n      .where(cfExpr.identifierRef('extname').eqParam(extensionName, PG_TEXT_CODEC_ID));\n  return {\n    extensionPresent: () => exprSelect().project('result', cfExpr.exists(inner())).build(),\n    extensionAbsent: () => exprSelect().project('result', cfExpr.notExists(inner())).build(),\n  };\n}\n\nexport interface IndexExistsCheckBuilder {\n  indexPresent(): SelectAst;\n  indexAbsent(): SelectAst;\n}\n\n/**\n * Typed index existence check riding the same `to_regclass` vocabulary as\n * `tableExistsAst`, with the qualified index name bound as a text parameter.\n */\nexport function indexExistsAst(schema: string, indexName: string): IndexExistsCheckBuilder {\n  const regclass = toRegclass(checkNamespace(schema).qualifyTable(indexName));\n  return {\n    indexPresent: () => exprSelect().project('result', regclass.isNotNull()).build(),\n    indexAbsent: () => exprSelect().project('result', regclass.isNull()).build(),\n  };\n}\n","import type { DdlColumn, DdlTableConstraint } from '@prisma-next/sql-relational-core/ast';\nimport {\n  AddColumnAction,\n  type AnyAlterTableAction,\n  PostgresAlterTable,\n  PostgresCreateSchema,\n  PostgresCreateTable,\n} from '../core/ddl/nodes';\n\n/**\n * Build a Postgres `CREATE TABLE` query node.\n *\n * Pass `constraints` for table-level composite primary keys, foreign keys, and\n * unique constraints — use the {@link PrimaryKeyConstraint}, {@link ForeignKeyConstraint},\n * and {@link UniqueConstraint} classes from `@prisma-next/sql-relational-core/ast`.\n *\n * Precondition: identifiers (`table`, `schema`, column names/types) are\n * emitted to SQL verbatim — they are not quoted or escaped, so callers must\n * pass pre-trusted values (e.g. fixed control-plane identifiers). String-literal\n * default values, by contrast, are single-quote-escaped (embedded `'` doubled)\n * by the renderer. Identifier quoting for untrusted identifiers is added when\n * the migration planner adopts this lowering path.\n */\nexport function createTable(options: {\n  readonly table: string;\n  readonly schema?: string;\n  readonly ifNotExists?: boolean;\n  readonly columns: readonly DdlColumn[];\n  readonly constraints?: readonly DdlTableConstraint[];\n}): PostgresCreateTable {\n  return new PostgresCreateTable(options);\n}\n\n/**\n * Build a Postgres `CREATE SCHEMA` query node. See {@link createTable} for the\n * pre-trusted-identifier precondition.\n */\nexport function createSchema(options: {\n  readonly schema: string;\n  readonly ifNotExists?: boolean;\n}): PostgresCreateSchema {\n  return new PostgresCreateSchema(options);\n}\n\n/**\n * Build an `ADD COLUMN` action for use inside {@link alterTable}.\n * The column is a structured `DdlColumn` so codec-encoded defaults flow\n * through the adapter's `pgRenderDdlColumn` → `pgRenderDdlColumnDefault` path.\n */\nexport function addColumnAction(column: DdlColumn): AddColumnAction {\n  return new AddColumnAction(column);\n}\n\n/**\n * Build a Postgres `ALTER TABLE` query node carrying one or more actions.\n * See {@link addColumnAction} for building actions.\n */\nexport function alterTable(options: {\n  readonly table: string;\n  readonly schema?: string;\n  readonly actions: readonly AnyAlterTableAction[];\n}): PostgresAlterTable {\n  return new PostgresAlterTable(options);\n}\n"],"mappings":";;;;;;;;;;AAiBA,SAAgB,WAAW,eAA+B;CACxD,OAAO,OAAO,GAAG;EACf,QAAQ;EACR,UAAU;EACV,MAAM,OAAO,MAAM,eAAe,gBAAgB;EAClD,SAAS;GAAE,SAAS;GAAkB,UAAU;EAAK;CACvD,CAAC;AACH;;;;;;;;;;AAgBA,SAAgB,eAAe,QAAgB,OAAwC;CAIrF,MAAM,WAAW,WAHC,wBAAwB;EAAE,IAAI;EAAQ,SAAS,EAAE,OAAO,CAAC,EAAE;CAAE,CAAC,CAAC,CAAC,aAChF,KAEkC,CAAC;CACrC,OAAO;EACL,mBAAmB,WAAW,CAAC,CAAC,QAAQ,UAAU,SAAS,OAAO,CAAC,CAAC,CAAC,MAAM;EAC3E,oBAAoB,WAAW,CAAC,CAAC,QAAQ,UAAU,SAAS,UAAU,CAAC,CAAC,CAAC,MAAM;CACjF;AACF;;;;;;;;;;;;;;;AAqBA,SAAgB,oBAAoB,SAIH;CAC/B,MAAM,YAAY,wBAAwB;EAAE,IAAI,QAAQ;EAAQ,SAAS,EAAE,OAAO,CAAC,EAAE;CAAE,CAAC;CACxF,MAAM,aAAa,CACjB,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,QAAQ,QAAQ,gBAAgB,gBAAgB,GACjF,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,OAAO,UAAU,uBAAuB,CAAC,CAC5E;CACA,IAAI,QAAQ,UAAU,KAAA,GACpB,WAAW,KACT,OAAO,UAAU,KAAK,UAAU,CAAC,CAAC,OAAO,WAAW,UAAU,aAAa,QAAQ,KAAK,CAAC,CAAC,CAC5F;CAEF,MAAM,cACJ,WAAW,CAAC,CACT,KAAK,QAAQ,iBAAiB,GAAG,CAAC,CAAC,CACnC,KACC,QAAQ,gBAAgB,GAAG,GAC3B,OAAO,UAAU,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,UAAU,KAAK,cAAc,CAAC,CAC3E,CAAC,CACA,QAAQ,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAC7B,MAAM,OAAO,MAAM,UAAU,CAAC;CACnC,OAAO;EACL,yBAAyB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;EACtF,wBAAwB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,UAAU,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;CAC1F;AACF;AAEA,SAAS,eAAe,QAAgB;CACtC,OAAO,wBAAwB;EAAE,IAAI;EAAQ,SAAS,EAAE,OAAO,CAAC,EAAE;CAAE,CAAC;AACvE;AAEA,SAAS,2BAAgD;CACvD,OAAO,IAAI,oBAAoB;EAAE,QAAQ;EAAsB,MAAM;CAAU,CAAC;AAClF;AAEA,SAAS,2BAA2B,SAIvB;CACX,OAAO;EACL,OACG,cAAc,cAAc,CAAC,CAC7B,OAAO,eAAe,QAAQ,MAAM,CAAC,CAAC,uBAAuB,CAAC;EACjE,OAAO,cAAc,YAAY,CAAC,CAAC,QAAQ,QAAQ,OAAO,gBAAgB;EAC1E,OAAO,cAAc,aAAa,CAAC,CAAC,QAAQ,QAAQ,QAAQ,gBAAgB;CAC9E;AACF;AAEA,SAAS,sBAAsB,YAAsD;CACnF,OAAO,WAAW,CAAC,CAChB,KAAK,yBAAyB,CAAC,CAAC,CAChC,QAAQ,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAC7B,MAAM,OAAO,MAAM,UAAU,CAAC;AACnC;;;;;;AAYA,SAAgB,gBAAgB,SAIH;CAC3B,MAAM,cAAc,sBAAsB,2BAA2B,OAAO,CAAC;CAC7E,OAAO;EACL,qBAAqB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;EAClF,oBAAoB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,UAAU,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;CACtF;AACF;;;;;AAMA,SAAgB,qBAAqB,SAKvB;CACZ,MAAM,aAAa,CACjB,GAAG,2BAA2B,OAAO,GACrC,OAAO,cAAc,aAAa,CAAC,CAAC,QAAQ,QAAQ,WAAW,QAAQ,MAAM,gBAAgB,CAC/F;CACA,OAAO,WAAW,CAAC,CAChB,QAAQ,UAAU,OAAO,OAAO,sBAAsB,UAAU,CAAC,CAAC,CAAC,CACnE,MAAM;AACX;;;;;;;AAcA,SAAgB,iBAAiB,SAIH;CAC5B,MAAM,oBACJ,sBAAsB,CACpB,GAAG,2BAA2B,OAAO,GACrC,OAAO,cAAc,gBAAgB,CAAC,CAAC,UAAU,CACnD,CAAC;CACH,MAAM,uBACJ,sBAAsB,CACpB,GAAG,2BAA2B,OAAO,GACrC,OAAO,cAAc,gBAAgB,CAAC,CAAC,OAAO,CAChD,CAAC;CACH,OAAO;EACL,sBAAsB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM;EACzF,qBAAqB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,OAAO,eAAe,CAAC,CAAC,CAAC,CAAC,MAAM;EAC3F,iBAAiB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,UAAU,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM;CACzF;AACF;;;;;;AAOA,SAAgB,cAAc,SAKhB;CACZ,MAAM,aAAa,OAAO,GAAG;EAC3B,QAAQ;EACR,UAAU;EACV,MAAM,OAAO,UAAU,KAAK,UAAU;EACtC,MAAM,CAAC,OAAO,UAAU,KAAK,WAAW,CAAC;EACzC,SAAS;GAAE,SAAS;GAAkB,UAAU;EAAM;CACxD,CAAC;CACD,MAAM,QAAQ,WAAW,CAAC,CACvB,KAAK,QAAQ,gBAAgB,GAAG,CAAC,CAAC,CAClC,KACC,QAAQ,YAAY,GAAG,GACvB,OAAO,UAAU,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,UAAU,KAAK,UAAU,CAAC,CACvE,CAAC,CACA,KACC,QAAQ,gBAAgB,GAAG,GAC3B,OAAO,UAAU,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,UAAU,KAAK,cAAc,CAAC,CAC3E,CAAC,CACA,QAAQ,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAC7B,MACC,OAAO,MAAM;EACX,OACG,UAAU,KAAK,SAAS,CAAC,CACzB,OAAO,eAAe,QAAQ,MAAM,CAAC,CAAC,uBAAuB,CAAC;EACjE,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,QAAQ,QAAQ,OAAO,gBAAgB;EACxE,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,QAAQ,QAAQ,QAAQ,gBAAgB;EACzE,WAAW,QAAQ,QAAQ,cAAc,gBAAgB;EACzD,OAAO,UAAU,KAAK,cAAc,CAAC,CAAC,IAAI;CAC5C,CAAC,CACH;CACF,OAAO,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM;AACpE;;;;;;AAYA,SAAgB,mBAAmB,SAIH;CAC9B,MAAM,aAAa;EACjB,OACG,UAAU,KAAK,SAAS,CAAC,CACzB,OAAO,eAAe,QAAQ,MAAM,CAAC,CAAC,uBAAuB,CAAC;EACjE,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,QAAQ,QAAQ,OAAO,gBAAgB;EACxE,OAAO,UAAU,KAAK,cAAc;CACtC;CACA,IAAI,QAAQ,mBAAmB,KAAA,GAC7B,WAAW,KACT,OAAO,UAAU,MAAM,SAAS,CAAC,CAAC,QAAQ,QAAQ,gBAAgB,gBAAgB,CACpF;CAEF,MAAM,cACJ,WAAW,CAAC,CACT,KAAK,QAAQ,YAAY,GAAG,CAAC,CAAC,CAC9B,KACC,QAAQ,YAAY,GAAG,GACvB,OAAO,UAAU,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,UAAU,KAAK,UAAU,CAAC,CACvE,CAAC,CACA,KACC,QAAQ,gBAAgB,GAAG,GAC3B,OAAO,UAAU,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,UAAU,KAAK,cAAc,CAAC,CAC3E,CAAC,CACA,SACC,QAAQ,YAAY,IAAI,GACxB,OAAO,UAAU,MAAM,KAAK,CAAC,CAAC,OAAO,OAAO,UAAU,KAAK,YAAY,CAAC,CAC1E,CAAC,CACA,QAAQ,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAC7B,MAAM,OAAO,MAAM,UAAU,CAAC;CACnC,OAAO;EACL,iBAAiB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;EAC9E,gBAAgB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,UAAU,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;CAClF;AACF;;;;;;AAOA,SAAgB,gBAAgB,QAAgB,OAA0B;CACxE,MAAM,QAAQ,WAAW,CAAC,CACvB,KAAK,eAAe,MAAM,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAC/C,QAAQ,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAC7B,MAAM,CAAC;CACV,OAAO,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,UAAU,KAAK,CAAC,CAAC,CAAC,MAAM;AACvE;;;;;AAMA,SAAgB,gBAAgB,SAIlB;CACZ,MAAM,QAAQ,WAAW,CAAC,CACvB,KAAK,eAAe,QAAQ,MAAM,CAAC,CAAC,YAAY,QAAQ,KAAK,CAAC,CAAC,CAC/D,QAAQ,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAC7B,MAAM,OAAO,cAAc,QAAQ,MAAM,CAAC,CAAC,OAAO,CAAC;CACtD,OAAO,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,UAAU,KAAK,CAAC,CAAC,CAAC,MAAM;AACvE;;;;;AAWA,SAAgB,mBAAmB,eAAoD;CACrF,MAAM,cACJ,WAAW,CAAC,CACT,KAAK,QAAQ,cAAc,CAAC,CAAC,CAC7B,QAAQ,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAC7B,MAAM,OAAO,cAAc,SAAS,CAAC,CAAC,QAAQ,eAAe,gBAAgB,CAAC;CACnF,OAAO;EACL,wBAAwB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;EACrF,uBAAuB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,UAAU,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;CACzF;AACF;;;;;AAWA,SAAgB,eAAe,QAAgB,WAA4C;CACzF,MAAM,WAAW,WAAW,eAAe,MAAM,CAAC,CAAC,aAAa,SAAS,CAAC;CAC1E,OAAO;EACL,oBAAoB,WAAW,CAAC,CAAC,QAAQ,UAAU,SAAS,UAAU,CAAC,CAAC,CAAC,MAAM;EAC/E,mBAAmB,WAAW,CAAC,CAAC,QAAQ,UAAU,SAAS,OAAO,CAAC,CAAC,CAAC,MAAM;CAC7E;AACF;;;;;;;;;;;;;;;;;ACnVA,SAAgB,YAAY,SAMJ;CACtB,OAAO,IAAI,oBAAoB,OAAO;AACxC;;;;;AAMA,SAAgB,aAAa,SAGJ;CACvB,OAAO,IAAI,qBAAqB,OAAO;AACzC;;;;;;AAOA,SAAgB,gBAAgB,QAAoC;CAClE,OAAO,IAAI,gBAAgB,MAAM;AACnC;;;;;AAMA,SAAgB,WAAW,SAIJ;CACrB,OAAO,IAAI,mBAAmB,OAAO;AACvC"}