@prisma-next/target-postgres 0.12.0-dev.7 → 0.12.0-dev.70

package/src/core/migrations/render-ops.ts

@@ -1,5 +1,7 @@
 import type { SqlMigrationPlanOperation } from '@prisma-next/family-sql/control';
+import type { Lowerer } from '@prisma-next/family-sql/control-adapter';
 import type { OpFactoryCall } from '@prisma-next/framework-components/control';
+import { blindCast } from '@prisma-next/utils/casts';
 import type { PostgresPlanTargetDetails } from './planner-target-details';
 
 type Op = SqlMigrationPlanOperation<PostgresPlanTargetDetails>;
@@ -23,9 +25,12 @@ function assertPostgresOp(
   }
 }
 
-export function renderOps(calls: readonly OpFactoryCall[]): Op[] {
+export function renderOps(calls: readonly OpFactoryCall[], lowerer?: Lowerer): Op[] {
   return calls.map((c) => {
-    const op = c.toOp();
+    const op = blindCast<
+      { toOp(lowerer?: Lowerer): ReturnType<OpFactoryCall['toOp']> },
+      'PG OpFactoryCall.toOp accepts an optional Lowerer; the framework interface omits it because not all targets need a lowerer — the PG target overrides with this extended signature'
+    >(c).toOp(lowerer);
     assertPostgresOp(op, c.factoryName);
     return op;
   });

package/src/core/migrations/render-typescript.ts

@@ -46,7 +46,7 @@ export function renderCallsToTypeScript(
   meta: RenderMigrationMeta,
 ): string {
   const imports = buildImports(calls);
-  const operationsBody = calls.map((c) => c.renderTypeScript()).join(',\n');
+  const operationsBody = calls.map((c) => renderCall(c)).join(',\n');
 
   return [
     shebangLineFor(detectScaffoldRuntime()),
@@ -66,6 +66,10 @@ export function renderCallsToTypeScript(
   ].join('\n');
 }
 
+function renderCall(call: OpFactoryCall): string {
+  return call.renderTypeScript();
+}
+
 function buildImports(calls: ReadonlyArray<OpFactoryCall>): string {
   const requirements: ImportRequirement[] = [...BASE_IMPORTS];
   for (const call of calls) {

package/src/core/migrations/runner.ts

@@ -1,4 +1,4 @@
-import type { ContractMarkerRecord } from '@prisma-next/contract/types';
+import type { Contract, ContractMarkerRecord } from '@prisma-next/contract/types';
 import type {
   MigrationOperationPolicy,
   SqlControlFamilyInstance,
@@ -13,13 +13,12 @@ import type {
 } from '@prisma-next/family-sql/control';
 import { runnerFailure, runnerSuccess } from '@prisma-next/family-sql/control';
 import { verifySqlSchema } from '@prisma-next/family-sql/schema-verify';
-import type {
-  ControlDriverInstance,
-  MigrationRunnerResult,
-} from '@prisma-next/framework-components/control';
+import type { MigrationRunnerResult } from '@prisma-next/framework-components/control';
 import { APP_SPACE_ID } from '@prisma-next/framework-components/control';
 import { UNBOUND_NAMESPACE_ID } from '@prisma-next/framework-components/ir';
+import type { SqlControlDriverInstance, SqlStorage } from '@prisma-next/sql-contract/types';
 import { SqlQueryError } from '@prisma-next/sql-errors';
+import type { LoweredStatement } from '@prisma-next/sql-relational-core/ast';
 import { ifDefined } from '@prisma-next/utils/defined';
 import type { Result } from '@prisma-next/utils/result';
 import { notOk, ok, okVoid } from '@prisma-next/utils/result';
@@ -27,14 +26,6 @@ import { parsePostgresDefault } from '../default-normalizer';
 import { normalizeSchemaNativeType } from '../native-type-normalizer';
 import { createResolveExistingEnumValues } from './enum-planning';
 import type { PostgresPlanTargetDetails } from './planner-target-details';
-import {
-  buildLedgerInsertStatement,
-  buildMergeMarkerStatements,
-  ensureLedgerTableStatement,
-  ensureMarkerTableStatement,
-  ensurePrismaContractSchemaStatement,
-  type SqlStatement,
-} from './statement-builders';
 
 interface ApplyPlanSuccessValue {
   readonly operationsExecuted: number;
@@ -107,7 +98,7 @@ class PostgresMigrationRunner implements SqlMigrationRunner<PostgresPlanTargetDe
     if (!policyCheck.ok) return policyCheck;
 
     await this.acquireLock(driver, lockKey);
-    const ensureResult = await this.ensureControlTables(driver);
+    const ensureResult = await this.ensureControlTables(driver, options.destinationContract);
     if (!ensureResult.ok) return ensureResult;
     const existingMarker = await this.family.readMarker({ driver, space });
 
@@ -165,8 +156,9 @@ class PostgresMigrationRunner implements SqlMigrationRunner<PostgresPlanTargetDe
       isSelfEdge && applyValue.operationsExecuted === 0 && incomingIsSubsetOfExisting;
 
     if (!isSelfEdgeNoOp) {
-      await this.upsertMarker(driver, options, existingMarker, space);
-      await this.recordLedgerEntry(driver, options, existingMarker, applyValue.executedOperations);
+      const markerResult = await this.upsertMarker(driver, options, existingMarker, space);
+      if (!markerResult.ok) return markerResult;
+      await this.recordLedgerEntries(driver, options, applyValue.executedOperations);
     }
 
     return runnerSuccess({
@@ -176,7 +168,7 @@ class PostgresMigrationRunner implements SqlMigrationRunner<PostgresPlanTargetDe
   }
 
   async execute(options: {
-    readonly driver: ControlDriverInstance<'sql', string>;
+    readonly driver: SqlControlDriverInstance<string>;
     readonly perSpaceOptions: ReadonlyArray<
       SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>
     >;
@@ -282,18 +274,22 @@ class PostgresMigrationRunner implements SqlMigrationRunner<PostgresPlanTargetDe
 
   private async ensureControlTables(
     driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],
+    contract: Contract<SqlStorage>,
   ): Promise<Result<void, SqlMigrationRunnerFailure>> {
-    await this.executeStatement(driver, ensurePrismaContractSchemaStatement);
-    // Pre-1.0 zero-range guardrail: detect a pre-cleanup single-row
-    // marker table (no `space` column) and surface a structured failure
-    // rather than silently auto-migrating it to the per-space shape.
-    // See `specs/framework-mechanism.spec.md § 2`.
+    const lowererContext = { contract };
+    const bootstrapQueries = this.family.bootstrapControlTableQueries();
+    const [schemaQuery, ...tableQueries] = bootstrapQueries;
+    if (schemaQuery === undefined) {
+      throw new Error('Postgres control-table bootstrap must include CREATE SCHEMA');
+    }
+    await this.executeStatement(driver, this.family.lowerAst(schemaQuery, lowererContext));
     const legacyDetection = await this.detectLegacyMarkerShape(driver);
     if (!legacyDetection.ok) {
       return legacyDetection;
     }
-    await this.executeStatement(driver, ensureMarkerTableStatement);
-    await this.executeStatement(driver, ensureLedgerTableStatement);
+    for (const query of tableQueries) {
+      await this.executeStatement(driver, this.family.lowerAst(query, lowererContext));
+    }
     return okVoid();
   }
 
@@ -594,43 +590,75 @@ class PostgresMigrationRunner implements SqlMigrationRunner<PostgresPlanTargetDe
     options: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>,
     existingMarker: ContractMarkerRecord | null,
     space: string,
-  ): Promise<void> {
-    const incomingInvariants = options.plan.providedInvariants ?? [];
-    const writeStatements = buildMergeMarkerStatements({
-      space,
+  ): Promise<Result<void, SqlMigrationRunnerFailure>> {
+    const destination = {
       storageHash: options.plan.destination.storageHash,
       profileHash:
         options.plan.destination.profileHash ??
         options.destinationContract.profileHash ??
         options.plan.destination.storageHash,
-      contractJson: options.destinationContract,
-      canonicalVersion: null,
-      meta: {},
-      invariants: incomingInvariants,
+      invariants: options.plan.providedInvariants ?? [],
+    };
+    if (!existingMarker) {
+      await this.family.initMarker({ driver, space, destination });
+      return okVoid();
+    }
+    const updated = await this.family.updateMarker({
+      driver,
+      space,
+      expectedFrom: existingMarker.storageHash,
+      destination,
     });
-    const statement = existingMarker ? writeStatements.update : writeStatements.insert;
-    await this.executeStatement(driver, statement);
+    if (!updated) {
+      return runnerFailure(
+        'MARKER_CAS_FAILURE',
+        'Marker was modified by another process during migration execution.',
+        {
+          meta: {
+            space,
+            expectedStorageHash: existingMarker.storageHash,
+            destinationStorageHash: options.plan.destination.storageHash,
+          },
+        },
+      );
+    }
+    return okVoid();
   }
 
-  private async recordLedgerEntry(
+  private async recordLedgerEntries(
     driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],
     options: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>,
-    existingMarker: ContractMarkerRecord | null,
     executedOperations: readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[],
   ): Promise<void> {
-    const ledgerStatement = buildLedgerInsertStatement({
-      originStorageHash: existingMarker?.storageHash ?? null,
-      originProfileHash: existingMarker?.profileHash ?? null,
-      destinationStorageHash: options.plan.destination.storageHash,
-      destinationProfileHash:
-        options.plan.destination.profileHash ??
-        options.destinationContract.profileHash ??
-        options.plan.destination.storageHash,
-      contractJsonBefore: existingMarker?.contractJson ?? null,
-      contractJsonAfter: options.destinationContract,
-      operations: executedOperations,
-    });
-    await this.executeStatement(driver, ledgerStatement);
+    const plan = options.plan;
+    const space = plan.spaceId;
+    const edges = options.migrationEdges;
+    const totalEdgeOps = edges.reduce((sum, edge) => sum + edge.operationCount, 0);
+    if (totalEdgeOps !== plan.operations.length) {
+      throw new Error(
+        `Ledger write: plan.operations length (${plan.operations.length}) does not match sum of migrationEdges operationCount (${totalEdgeOps})`,
+      );
+    }
+    // The ledger records the operations as executed — idempotency-skipped ops
+    // are substituted with skip records (empty `execute`) by `applyPlan`, so the
+    // journal reflects what actually ran rather than the raw plan.
+    let offset = 0;
+    for (const edge of edges) {
+      const edgeOps = executedOperations.slice(offset, offset + edge.operationCount);
+      offset += edge.operationCount;
+      await this.family.writeLedgerEntry({
+        driver,
+        space,
+        entry: {
+          edgeId: `${edge.from}->${edge.to}`,
+          from: edge.from,
+          to: edge.to,
+          migrationName: edge.dirName,
+          migrationHash: edge.migrationHash,
+          operations: edgeOps,
+        },
+      });
+    }
   }
 
   private async acquireLock(
@@ -660,7 +688,7 @@ class PostgresMigrationRunner implements SqlMigrationRunner<PostgresPlanTargetDe
 
   private async executeStatement(
     driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],
-    statement: SqlStatement,
+    statement: LoweredStatement,
   ): Promise<void> {
     if (statement.params.length > 0) {
       await driver.query(statement.sql, statement.params);

package/src/core/postgres-contract-serializer.ts

@@ -14,12 +14,8 @@ import {
   NamespaceBase,
   UNBOUND_NAMESPACE_ID,
 } from '@prisma-next/framework-components/ir';
-import type {
-  SqlNamespaceTablesInput,
-  SqlStorage,
-  SqlStorageTypeEntry,
-  StorageTable,
-} from '@prisma-next/sql-contract/types';
+import type { SqlNamespaceTablesInput, SqlStorage } from '@prisma-next/sql-contract/types';
+import { blindCast } from '@prisma-next/utils/casts';
 import type { JsonObject } from '@prisma-next/utils/json';
 import type { Type } from 'arktype';
 import { postgresAuthoringEntityTypes } from './authoring';
@@ -57,9 +53,8 @@ function collectEntityRegistryContributions(namespace: AuthoringEntityTypeNamesp
       if (isAuthoringEntityTypeDescriptor(value)) {
         if (isAuthoringEntityTypeFactoryOutput(value.output)) {
           const { factory } = value.output;
-          entityTypeRegistry.set(
-            value.discriminator,
-            (raw) => factory(raw, POSTGRES_AUTHORING_CTX) as SqlStorageTypeEntry,
+          entityTypeRegistry.set(value.discriminator, (raw) =>
+            factory(raw, POSTGRES_AUTHORING_CTX),
           );
         }
         if (value.validatorSchema !== undefined) {
@@ -91,22 +86,43 @@ export class PostgresContractSerializer extends SqlContractSerializerBase<Contra
     if (raw instanceof NamespaceBase) {
       return raw;
     }
-    const hydrated = super.hydrateSqlNamespaceEntry(nsId, raw) as {
-      id: string;
-      tables: Readonly<Record<string, StorageTable>>;
-      enum?: Readonly<Record<string, PostgresEnumType>>;
-    };
-    const { id, tables, enum: hydratedNsEnums } = hydrated;
+    const hydrated = blindCast<
+      SqlNamespaceTablesInput,
+      'super.hydrateSqlNamespaceEntry returns the tables form when raw is not a NamespaceBase'
+    >(super.hydrateSqlNamespaceEntry(nsId, raw));
+    const { id, entries } = hydrated;
+
+    // Extract the postgres-specific `type` slot directly from raw input.
+    // The family base handles the `table` slot; the postgres target owns `type`.
+    const rawRecord = raw as Record<string, unknown>;
+    const rawEntries = rawRecord['entries'];
+    let typeSlot: Record<string, PostgresEnumType> | undefined;
+    if (rawEntries !== null && typeof rawEntries === 'object' && !Array.isArray(rawEntries)) {
+      const rawTypeSlot = (rawEntries as Record<string, unknown>)['type'];
+      if (rawTypeSlot !== null && typeof rawTypeSlot === 'object' && !Array.isArray(rawTypeSlot)) {
+        const enumFactory = this.entityTypeRegistry.get('postgres-enum');
+        typeSlot = Object.fromEntries(
+          Object.entries(rawTypeSlot as Record<string, unknown>).map(([name, entry]) => [
+            name,
+            blindCast<PostgresEnumType, 'postgres-enum factory returns PostgresEnumType'>(
+              enumFactory !== undefined ? enumFactory(entry) : entry,
+            ),
+          ]),
+        );
+      }
+    }
 
-    const emptyTables = Object.keys(tables).length === 0;
-    const emptyEnums = !hydratedNsEnums || Object.keys(hydratedNsEnums).length === 0;
-    if (id === UNBOUND_NAMESPACE_ID && emptyTables && emptyEnums) {
+    const emptyTables = Object.keys(entries.table).length === 0;
+    const emptyTypes = !typeSlot || Object.keys(typeSlot).length === 0;
+    if (id === UNBOUND_NAMESPACE_ID && emptyTables && emptyTypes) {
       return PostgresSchema.unbound;
     }
     return new PostgresSchema({
       id,
-      tables,
-      ...(hydratedNsEnums !== undefined ? { enum: hydratedNsEnums } : {}),
+      entries: {
+        table: entries.table,
+        type: typeSlot ?? {},
+      },
     });
   }
 
@@ -117,30 +133,18 @@ export class PostgresContractSerializer extends SqlContractSerializerBase<Contra
       if (isPostgresSchema(ns)) {
         namespacesJson[nsId] = this.serializePostgresNamespace(ns, ns.id === UNBOUND_NAMESPACE_ID);
       } else {
-        // Family-level SqlUnboundNamespace or other family-built SQL
-        // namespaces haven't been promoted to a PostgresSchema instance
-        // yet (e.g. they came straight from the TS builder before a target
-        // `createNamespace` factory ran). Serialise them as postgres-schema /
-        // postgres-unbound-schema so the round-trip through
-        // deserializeContract hydrates them back into PostgresSchema
-        // instances.
         const isUnboundSlot = nsId === UNBOUND_NAMESPACE_ID;
-        const nsEnums = (ns as { readonly enum?: Readonly<Record<string, unknown>> }).enum ?? {};
         namespacesJson[nsId] = {
           id: nsId,
           kind: isUnboundSlot ? 'postgres-unbound-schema' : 'postgres-schema',
-          tables: Object.fromEntries(
-            Object.entries(ns.tables).map(([tableName, table]) => [
-              tableName,
-              this.serializeJsonValue(table) as JsonObject,
-            ]),
-          ),
-          enum: Object.fromEntries(
-            Object.entries(nsEnums).map(([typeName, entry]) => [
-              typeName,
-              this.serializeJsonValue(entry) as JsonObject,
-            ]),
-          ),
+          entries: {
+            table: Object.fromEntries(
+              Object.entries(ns.entries.table).map(([tableName, table]) => [
+                tableName,
+                this.serializeJsonValue(table) as JsonObject,
+              ]),
+            ),
+          },
         };
       }
     }
@@ -163,18 +167,20 @@ export class PostgresContractSerializer extends SqlContractSerializerBase<Contra
 
   private serializePostgresNamespace(ns: PostgresSchema, isUnboundSlot: boolean): JsonObject {
     const tablesOut: Record<string, JsonObject> = {};
-    for (const [tableName, table] of Object.entries(ns.tables)) {
+    for (const [tableName, table] of Object.entries(ns.entries.table)) {
       tablesOut[tableName] = this.serializeJsonValue(table) as JsonObject;
     }
-    const enumOut: Record<string, JsonObject> = {};
-    for (const [typeName, ty] of Object.entries(ns.enum)) {
-      enumOut[typeName] = this.serializeJsonValue(ty) as JsonObject;
+    const typeOut: Record<string, JsonObject> = {};
+    for (const [typeName, ty] of Object.entries(ns.entries.type)) {
+      typeOut[typeName] = this.serializeJsonValue(ty) as JsonObject;
     }
     return {
       id: ns.id,
       kind: isUnboundSlot ? 'postgres-unbound-schema' : 'postgres-schema',
-      tables: tablesOut,
-      enum: enumOut,
+      entries: {
+        table: tablesOut,
+        type: typeOut,
+      },
     };
   }
 

package/src/core/postgres-schema.ts

@@ -4,6 +4,7 @@ import {
   UNBOUND_NAMESPACE_ID,
 } from '@prisma-next/framework-components/ir';
 import {
+  type PostgresEnumStorageEntry,
   type SqlNamespaceTablesInput,
   type SqlStorage,
   StorageTable,
@@ -14,8 +15,10 @@ import { escapeLiteral } from './sql-utils';
 
 export interface PostgresSchemaInput {
   readonly id: string;
-  readonly tables?: Record<string, StorageTable | StorageTableInput>;
-  readonly enum?: Record<string, PostgresEnumType | PostgresEnumTypeInput>;
+  readonly entries: {
+    readonly table: Record<string, StorageTable | StorageTableInput>;
+    readonly type: Record<string, PostgresEnumType | PostgresEnumTypeInput>;
+  };
 }
 
 /**
@@ -24,9 +27,10 @@ export interface PostgresSchemaInput {
  * `namespaces: Record<NamespaceId, PostgresSchema>` map populated by
  * the Postgres PSL interpreter from `namespace { … }` AST buckets.
  *
- * Qualifier emission is the rendering seam: DDL / SQL emission asks the
- * namespace for its qualifier (`"<schema>"`) or for a qualified table
- * name (`"<schema>"."<table>"`) and consumes the result polymorphically.
+ * `entries` holds entity-kind slot maps (`table`, `type`). Qualifier
+ * emission is the rendering seam: DDL / SQL emission asks the namespace
+ * for its qualifier (`"<schema>"`) or for a qualified table name
+ * (`"<schema>"."<table>"`) and consumes the result polymorphically.
  * The unbound singleton below overrides these methods to elide the
  * prefix entirely — call sites stay polymorphic and never branch on
  * `id === UNBOUND_NAMESPACE_ID`.
@@ -43,28 +47,32 @@ export class PostgresSchema extends NamespaceBase {
 
   declare readonly kind: 'schema';
   readonly id: string;
-  readonly tables: Readonly<Record<string, StorageTable>>;
-  readonly enum: Readonly<Record<string, PostgresEnumType>>;
+  readonly entries: Readonly<{
+    readonly table: Readonly<Record<string, StorageTable>>;
+    readonly type: Readonly<Record<string, PostgresEnumType>>;
+  }>;
 
   constructor(input: PostgresSchemaInput) {
     super();
     this.id = input.id;
-    this.tables = Object.freeze(
-      Object.fromEntries(
-        Object.entries(input.tables ?? {}).map(([name, t]) => [
-          name,
-          t instanceof StorageTable ? t : new StorageTable(t),
-        ]),
+    this.entries = Object.freeze({
+      table: Object.freeze(
+        Object.fromEntries(
+          Object.entries(input.entries.table).map(([k, v]) => [
+            k,
+            v instanceof StorageTable ? v : new StorageTable(v as StorageTableInput),
+          ]),
+        ),
       ),
-    );
-    this.enum = Object.freeze(
-      Object.fromEntries(
-        Object.entries(input.enum ?? {}).map(([name, ty]) => [
-          name,
-          ty instanceof PostgresEnumType ? ty : new PostgresEnumType(ty),
-        ]),
+      type: Object.freeze(
+        Object.fromEntries(
+          Object.entries(input.entries.type).map(([k, v]) => [
+            k,
+            v instanceof PostgresEnumType ? v : new PostgresEnumType(v as PostgresEnumTypeInput),
+          ]),
+        ),
       ),
-    );
+    });
     Object.defineProperty(this, 'kind', {
       value: 'schema',
       writable: false,
@@ -154,7 +162,7 @@ export class PostgresUnboundSchema extends PostgresSchema {
   static readonly instance: PostgresUnboundSchema = new PostgresUnboundSchema();
 
   constructor(input?: PostgresSchemaInput) {
-    super(input ?? { id: UNBOUND_NAMESPACE_ID });
+    super(input ?? { id: UNBOUND_NAMESPACE_ID, entries: { table: {}, type: {} } });
   }
 
   override qualifier(): string {
@@ -196,9 +204,19 @@ export function isPostgresSchema(ns: unknown): ns is PostgresSchema {
  * by reference and trust the resulting `SqlStorage.namespaces` map to
  * be value-stable for a given input set.
  */
-export function postgresCreateNamespace(input: SqlNamespaceTablesInput): PostgresSchema {
+export function postgresCreateNamespace(
+  input: SqlNamespaceTablesInput,
+  enumTypes?: Readonly<Record<string, PostgresEnumStorageEntry>>,
+): PostgresSchema {
+  const schemaInput: PostgresSchemaInput = {
+    id: input.id,
+    entries: {
+      table: input.entries.table,
+      type: (enumTypes ?? {}) as Record<string, PostgresEnumTypeInput>,
+    },
+  };
   if (input.id === UNBOUND_NAMESPACE_ID) {
-    return new PostgresUnboundSchema(input);
+    return new PostgresUnboundSchema(schemaInput);
   }
-  return new PostgresSchema(input);
+  return new PostgresSchema(schemaInput);
 }

package/src/exports/contract-free.ts

@@ -0,0 +1,7 @@
+export { int4, int8, jsonb, pgTable, text, textArray, timestamptz } from '../contract-free/columns';
+export {
+  buildControlTableBootstrapQueries,
+  buildSignMarkerBootstrapQueries,
+} from '../contract-free/control-bootstrap';
+export { createSchema, createTable } from '../contract-free/ddl';
+export { PostgresTableSource } from '../core/ast/table-source';

package/src/exports/control.ts

@@ -1,9 +1,7 @@
 import type { ColumnDefault, Contract } from '@prisma-next/contract/types';
-import type {
-  SqlControlFamilyInstance,
-  SqlControlTargetDescriptor,
-} from '@prisma-next/family-sql/control';
+import type { SqlControlTargetDescriptor } from '@prisma-next/family-sql/control';
 import { contractToSchemaIR, extractCodecControlHooks } from '@prisma-next/family-sql/control';
+import type { SqlControlAdapter } from '@prisma-next/family-sql/control-adapter';
 import type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';
 import type {
   ControlTargetInstance,
@@ -62,8 +60,8 @@ const postgresTargetDescriptor: SqlControlTargetDescriptor<'postgres', PostgresP
     contractSerializer: new PostgresContractSerializer(),
     schemaVerifier: new PostgresSchemaVerifier(),
     migrations: {
-      createPlanner(_family: SqlControlFamilyInstance) {
-        return createPostgresMigrationPlanner();
+      createPlanner(adapter: SqlControlAdapter<'postgres'>) {
+        return createPostgresMigrationPlanner(adapter);
       },
       createRunner(family) {
         return createPostgresMigrationRunner(family) as MigrationRunner<'sql', 'postgres'>;
@@ -107,8 +105,8 @@ const postgresTargetDescriptor: SqlControlTargetDescriptor<'postgres', PostgresP
      * Direct method for SQL-specific usage.
      * @deprecated Use migrations.createPlanner() for CLI compatibility.
      */
-    createPlanner(_family: SqlControlFamilyInstance) {
-      return createPostgresMigrationPlanner();
+    createPlanner(adapter: SqlControlAdapter<'postgres'>) {
+      return createPostgresMigrationPlanner(adapter);
     },
     /**
      * Direct method for SQL-specific usage.

package/src/exports/ddl.ts

@@ -0,0 +1,7 @@
+export {
+  type AnyPostgresDdlNode,
+  PostgresCreateSchema,
+  PostgresCreateTable,
+  PostgresDdlNode,
+  type PostgresDdlVisitor,
+} from '../core/ddl/nodes';

package/src/exports/migration.ts

@@ -9,6 +9,14 @@ export { MigrationCLI } from '@prisma-next/cli/migration-cli';
 // `placeholder("…")` slots, instead of pulling in `@prisma-next/errors`
 // directly. The planner emits an import from this same module.
 export { placeholder } from '@prisma-next/errors/migration';
+export {
+  col,
+  fn,
+  foreignKey,
+  lit,
+  primaryKey,
+  unique,
+} from '@prisma-next/sql-relational-core/contract-free';
 export {
   addColumn,
   alterColumnType,
@@ -19,9 +27,11 @@ export {
   setNotNull,
 } from '../core/migrations/operations/columns';
 export {
+  addCheckConstraint,
   addForeignKey,
   addPrimaryKey,
   addUnique,
+  dropCheckConstraint,
   dropConstraint,
 } from '../core/migrations/operations/constraints';
 export {
@@ -31,7 +41,6 @@ export {
 } from '../core/migrations/operations/data-transform';
 export {
   createExtension,
-  createSchema,
   installExtension,
 } from '../core/migrations/operations/dependencies';
 export {
@@ -42,7 +51,7 @@ export {
 } from '../core/migrations/operations/enums';
 export { createIndex, dropIndex } from '../core/migrations/operations/indexes';
 export { rawSql } from '../core/migrations/operations/raw';
-export { createTable, dropTable } from '../core/migrations/operations/tables';
+export { dropTable } from '../core/migrations/operations/tables';
 // Target-owned base class for migrations. Aliased to `Migration` so
 // user-edited migration.ts files (and the renderer's scaffold) read as
 // `class M extends Migration { … }` without having to thread the

package/src/exports/op-factory-call.ts

@@ -1,4 +1,5 @@
 export {
+  AddCheckConstraintCall,
   AddColumnCall,
   AddEnumValuesCall,
   AddForeignKeyCall,
@@ -11,6 +12,7 @@ export {
   CreateSchemaCall,
   CreateTableCall,
   DataTransformCall,
+  DropCheckConstraintCall,
   DropColumnCall,
   DropConstraintCall,
   DropDefaultCall,

package/src/exports/planner-ddl-builders.ts

@@ -3,6 +3,5 @@ export {
   buildColumnDefaultSql,
   buildColumnTypeSql,
   buildCreateTableSql,
-  buildForeignKeySql,
   renderDefaultLiteral,
 } from '../core/migrations/planner-ddl-builders';

package/dist/codec-ids-C5qzBqus.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"codec-ids-C5qzBqus.mjs","names":[],"sources":["../src/core/codec-ids.ts"],"sourcesContent":["export {\n  SQL_CHAR_CODEC_ID,\n  SQL_FLOAT_CODEC_ID,\n  SQL_INT_CODEC_ID,\n  SQL_TEXT_CODEC_ID,\n  SQL_TIMESTAMP_CODEC_ID,\n  SQL_VARCHAR_CODEC_ID,\n} from '@prisma-next/sql-relational-core/ast';\nexport const PG_TEXT_CODEC_ID = 'pg/text@1' as const;\nexport const PG_ENUM_CODEC_ID = 'pg/enum@1' as const;\nexport const PG_CHAR_CODEC_ID = 'pg/char@1' as const;\nexport const PG_VARCHAR_CODEC_ID = 'pg/varchar@1' as const;\nexport const PG_INT_CODEC_ID = 'pg/int@1' as const;\nexport const PG_INT2_CODEC_ID = 'pg/int2@1' as const;\nexport const PG_INT4_CODEC_ID = 'pg/int4@1' as const;\nexport const PG_INT8_CODEC_ID = 'pg/int8@1' as const;\nexport const PG_FLOAT_CODEC_ID = 'pg/float@1' as const;\nexport const PG_FLOAT4_CODEC_ID = 'pg/float4@1' as const;\nexport const PG_FLOAT8_CODEC_ID = 'pg/float8@1' as const;\nexport const PG_NUMERIC_CODEC_ID = 'pg/numeric@1' as const;\nexport const PG_BOOL_CODEC_ID = 'pg/bool@1' as const;\nexport const PG_BIT_CODEC_ID = 'pg/bit@1' as const;\nexport const PG_VARBIT_CODEC_ID = 'pg/varbit@1' as const;\nexport const PG_TIMESTAMP_CODEC_ID = 'pg/timestamp@1' as const;\nexport const PG_TIMESTAMPTZ_CODEC_ID = 'pg/timestamptz@1' as const;\nexport const PG_TIME_CODEC_ID = 'pg/time@1' as const;\nexport const PG_TIMETZ_CODEC_ID = 'pg/timetz@1' as const;\nexport const PG_INTERVAL_CODEC_ID = 'pg/interval@1' as const;\nexport const PG_JSON_CODEC_ID = 'pg/json@1' as const;\nexport const PG_JSONB_CODEC_ID = 'pg/jsonb@1' as const;\nexport const PG_BYTEA_CODEC_ID = 'pg/bytea@1' as const;\n"],"mappings":";;AAQA,MAAa,mBAAmB;AAChC,MAAa,mBAAmB;AAChC,MAAa,mBAAmB;AAChC,MAAa,sBAAsB;AACnC,MAAa,kBAAkB;AAC/B,MAAa,mBAAmB;AAChC,MAAa,mBAAmB;AAChC,MAAa,mBAAmB;AAChC,MAAa,oBAAoB;AACjC,MAAa,qBAAqB;AAClC,MAAa,qBAAqB;AAClC,MAAa,sBAAsB;AACnC,MAAa,mBAAmB;AAChC,MAAa,kBAAkB;AAC/B,MAAa,qBAAqB;AAClC,MAAa,wBAAwB;AACrC,MAAa,0BAA0B;AACvC,MAAa,mBAAmB;AAChC,MAAa,qBAAqB;AAClC,MAAa,uBAAuB;AACpC,MAAa,mBAAmB;AAChC,MAAa,oBAAoB;AACjC,MAAa,oBAAoB"}

package/dist/codec-ids-DliyCWPY.d.mts.map

@@ -1 +0,0 @@
-{"version":3,"file":"codec-ids-DliyCWPY.d.mts","names":[],"sources":["../src/core/codec-ids.ts"],"mappings":";;;cAQa,gBAAA;AAAA,cACA,gBAAA;AAAA,cACA,gBAAA;AAAA,cACA,mBAAA;AAAA,cACA,eAAA;AAAA,cACA,gBAAA;AAAA,cACA,gBAAA;AAAA,cACA,gBAAA;AAAA,cACA,iBAAA;AAAA,cACA,kBAAA;AAAA,cACA,kBAAA;AAAA,cACA,mBAAA;AAAA,cACA,gBAAA;AAAA,cACA,eAAA;AAAA,cACA,kBAAA;AAAA,cACA,qBAAA;AAAA,cACA,uBAAA;AAAA,cACA,gBAAA;AAAA,cACA,kBAAA;AAAA,cACA,oBAAA;AAAA,cACA,gBAAA;AAAA,cACA,iBAAA;AAAA,cACA,iBAAA"}

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

@@ -1 +0,0 @@
-{"version":3,"file":"codec-types-BF1DXTPs.d.mts","names":[],"sources":["../src/core/codec-type-map.ts","../src/exports/codec-types.ts"],"mappings":";;;;;;cA4Ca,kBAAA;EAAA,eA8BH,uCAAA,CAAA,iBAAA;EAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAEE,OAAA,6BAAoC,CAAA,0BAA2B,CAAA,CAAE,CAAA,IAAK,CAAA,CAAE,CAAA,EAAG,CAAA;AAAA,KAE3E,kBAAA,UAA4B,kBAAkB;AAAA,KAE9C,mBAAA,GAAsB,iBAAiB,CAAC,kBAAA;;;KCrExC,UAAA,GAAa,OAAO,CAAC,mBAAA;AAAA,KAI5B,OAAA,kBAAyB,MAAA,qBAA2B,CAAA,0BAClC,KAAA,GAAQ,KAAA,CAAM,CAAA;AAAA,KAGhC,aAAA,eAA4B,MAAA,qBAA2B,OAAA,SAAgB,KAAA;AAAA,KAEhE,IAAA,qBAAyB,aAAa;EAAG,YAAA,EAAc,CAAA;AAAA;AAAA,KACvD,OAAA,qBAA4B,aAAa;EAAG,eAAA,EAAiB,CAAA;AAAA;AAAA,KAC7D,OAAA,+DAAsE,aAAA;EAChF,kBAAA,EAAoB,CAAA;EACpB,cAAA,EAAgB,CAAA;AAAA;AAAA,KAEN,GAAA,qBAAwB,aAAa;EAAG,WAAA,EAAa,CAAA;AAAA;AAAA,KACrD,MAAA,qBAA2B,aAAa;EAAG,cAAA,EAAgB,CAAA;AAAA;AAAA,KAC3D,SAAA,6CAAsD,aAAa;EAC7E,oBAAA,EAAsB,CAAA;AAAA;AAAA,KAEZ,WAAA,6CAAwD,aAAa;EAC/E,sBAAA,EAAwB,CAAA;AAAA;AAAA,KAEd,IAAA,6CAAiD,aAAa;EAAG,eAAA,EAAiB,CAAA;AAAA;AAAA,KAClF,MAAA,6CAAmD,aAAa;EAC1E,iBAAA,EAAmB,CAAA;AAAA;AAAA,KAET,QAAA,6CAAqD,aAAa;EAC5E,mBAAA,EAAqB,CAAA;AAAA"}