@prisma-next/target-postgres 0.10.0-dev.13 → 0.10.0-dev.14

package/dist/postgres-contract-serializer-CrET5Ov0.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"postgres-contract-serializer-CrET5Ov0.mjs","names":[],"sources":["../src/core/postgres-contract-serializer.ts"],"sourcesContent":["import type { Contract } from '@prisma-next/contract/types';\nimport {\n  SqlContractSerializerBase,\n  type SqlEntityHydrationFactory,\n} from '@prisma-next/family-sql/ir';\nimport {\n  type AuthoringEntityContext,\n  type AuthoringEntityTypeFactoryOutput,\n  type AuthoringEntityTypeNamespace,\n  isAuthoringEntityTypeDescriptor,\n} from '@prisma-next/framework-components/authoring';\nimport {\n  type Namespace,\n  NamespaceBase,\n  UNBOUND_NAMESPACE_ID,\n} from '@prisma-next/framework-components/ir';\nimport type {\n  SqlNamespaceTablesInput,\n  SqlStorage,\n  SqlStorageTypeEntry,\n  StorageTable,\n} from '@prisma-next/sql-contract/types';\nimport type { JsonObject } from '@prisma-next/utils/json';\nimport type { Type } from 'arktype';\nimport { postgresAuthoringEntityTypes } from './authoring';\nimport type { PostgresEnumType } from './postgres-enum-type';\nimport { isPostgresSchema, PostgresSchema } from './postgres-schema';\n\nconst POSTGRES_AUTHORING_CTX: AuthoringEntityContext = {\n  family: 'sql',\n  target: 'postgres',\n};\n\nfunction isAuthoringEntityTypeFactoryOutput(\n  output: unknown,\n): output is AuthoringEntityTypeFactoryOutput<unknown, unknown> {\n  return (\n    typeof output === 'object' &&\n    output !== null &&\n    typeof (output as AuthoringEntityTypeFactoryOutput).factory === 'function'\n  );\n}\n\n/**\n * Walks a pack's entity-type namespace tree and emits the maps the\n * family base consumes — hydrators and validator-schema fragments, both\n * keyed by the descriptor's `discriminator`.\n */\nfunction collectEntityRegistryContributions(namespace: AuthoringEntityTypeNamespace): {\n  readonly entityTypeRegistry: ReadonlyMap<string, SqlEntityHydrationFactory>;\n  readonly validatorFragments: ReadonlyMap<string, Type<unknown>>;\n} {\n  const entityTypeRegistry = new Map<string, SqlEntityHydrationFactory>();\n  const validatorFragments = new Map<string, Type<unknown>>();\n  const walk = (node: AuthoringEntityTypeNamespace): void => {\n    for (const value of Object.values(node)) {\n      if (isAuthoringEntityTypeDescriptor(value)) {\n        if (isAuthoringEntityTypeFactoryOutput(value.output)) {\n          const { factory } = value.output;\n          entityTypeRegistry.set(\n            value.discriminator,\n            (raw) => factory(raw, POSTGRES_AUTHORING_CTX) as SqlStorageTypeEntry,\n          );\n        }\n        if (value.validatorSchema !== undefined) {\n          validatorFragments.set(value.discriminator, value.validatorSchema);\n        }\n        continue;\n      }\n      if (typeof value === 'object' && value !== null) {\n        walk(value);\n      }\n    }\n  };\n  walk(namespace);\n  return { entityTypeRegistry, validatorFragments };\n}\n\nexport class PostgresContractSerializer extends SqlContractSerializerBase<Contract<SqlStorage>> {\n  constructor() {\n    const { entityTypeRegistry, validatorFragments } = collectEntityRegistryContributions(\n      postgresAuthoringEntityTypes,\n    );\n    super(entityTypeRegistry, validatorFragments);\n  }\n\n  protected override hydrateSqlNamespaceEntry(\n    nsId: string,\n    raw: Namespace | Record<string, unknown>,\n  ): Namespace | SqlNamespaceTablesInput {\n    if (raw instanceof NamespaceBase) {\n      return raw;\n    }\n    const hydrated = super.hydrateSqlNamespaceEntry(nsId, raw) as {\n      id: string;\n      tables: Readonly<Record<string, StorageTable>>;\n      types?: Readonly<Record<string, PostgresEnumType>>;\n    };\n    const { id, tables, types: hydratedNsTypes } = hydrated;\n\n    const emptyTables = Object.keys(tables).length === 0;\n    const emptyTypes = !hydratedNsTypes || Object.keys(hydratedNsTypes).length === 0;\n    if (id === UNBOUND_NAMESPACE_ID && emptyTables && emptyTypes) {\n      return PostgresSchema.unbound;\n    }\n    return new PostgresSchema({\n      id,\n      tables,\n      ...(hydratedNsTypes !== undefined ? { types: hydratedNsTypes } : {}),\n    });\n  }\n\n  override serializeContract(contract: Contract<SqlStorage>): JsonObject {\n    const { storage, ...rest } = contract;\n    const namespacesJson: Record<string, JsonObject> = {};\n    for (const [nsId, ns] of Object.entries(storage.namespaces)) {\n      if (isPostgresSchema(ns)) {\n        namespacesJson[nsId] = this.serializePostgresNamespace(ns, ns.id === UNBOUND_NAMESPACE_ID);\n      } else {\n        // Family-level SqlNamespacePayload / SqlUnboundNamespace haven't\n        // been promoted to a PostgresSchema instance yet (e.g. they came\n        // straight from the TS builder, which uses the family-shared\n        // SqlStorage constructor). Serialise them as postgres-schema /\n        // postgres-unbound-schema so the round-trip through\n        // deserializeContract hydrates them back into PostgresSchema\n        // instances.\n        const isUnboundSlot = nsId === UNBOUND_NAMESPACE_ID;\n        const nsTypes = (ns as { readonly types?: Readonly<Record<string, unknown>> }).types ?? {};\n        namespacesJson[nsId] = {\n          id: nsId,\n          kind: isUnboundSlot ? 'postgres-unbound-schema' : 'postgres-schema',\n          tables: Object.fromEntries(\n            Object.entries(ns.tables).map(([tableName, table]) => [\n              tableName,\n              this.serializeJsonValue(table) as JsonObject,\n            ]),\n          ),\n          types: Object.fromEntries(\n            Object.entries(nsTypes).map(([typeName, entry]) => [\n              typeName,\n              this.serializeJsonValue(entry) as JsonObject,\n            ]),\n          ),\n        };\n      }\n    }\n    const storageOut: Record<string, unknown> = {\n      storageHash: String(storage.storageHash),\n      namespaces: namespacesJson,\n    };\n    if (storage.types !== undefined) {\n      const typesOut: Record<string, JsonObject> = {};\n      for (const [name, entry] of Object.entries(storage.types)) {\n        typesOut[name] = this.serializeJsonValue(entry) as JsonObject;\n      }\n      storageOut['types'] = typesOut;\n    }\n    return {\n      ...rest,\n      storage: storageOut,\n    } as unknown as JsonObject;\n  }\n\n  private serializePostgresNamespace(ns: PostgresSchema, isUnboundSlot: boolean): JsonObject {\n    const tablesOut: Record<string, JsonObject> = {};\n    for (const [tableName, table] of Object.entries(ns.tables)) {\n      tablesOut[tableName] = this.serializeJsonValue(table) as JsonObject;\n    }\n    const typesOut: Record<string, JsonObject> = {};\n    for (const [typeName, ty] of Object.entries(ns.types)) {\n      typesOut[typeName] = this.serializeJsonValue(ty) as JsonObject;\n    }\n    return {\n      id: ns.id,\n      kind: isUnboundSlot ? 'postgres-unbound-schema' : 'postgres-schema',\n      tables: tablesOut,\n      types: typesOut,\n    };\n  }\n\n  private serializeJsonValue(value: unknown): unknown {\n    return JSON.parse(JSON.stringify(value)) as unknown;\n  }\n}\n"],"mappings":";;;;;;AA4BA,MAAM,yBAAiD;CACrD,QAAQ;CACR,QAAQ;CACT;AAED,SAAS,mCACP,QAC8D;CAC9D,OACE,OAAO,WAAW,YAClB,WAAW,QACX,OAAQ,OAA4C,YAAY;;;;;;;AASpE,SAAS,mCAAmC,WAG1C;CACA,MAAM,qCAAqB,IAAI,KAAwC;CACvE,MAAM,qCAAqB,IAAI,KAA4B;CAC3D,MAAM,QAAQ,SAA6C;EACzD,KAAK,MAAM,SAAS,OAAO,OAAO,KAAK,EAAE;GACvC,IAAI,gCAAgC,MAAM,EAAE;IAC1C,IAAI,mCAAmC,MAAM,OAAO,EAAE;KACpD,MAAM,EAAE,YAAY,MAAM;KAC1B,mBAAmB,IACjB,MAAM,gBACL,QAAQ,QAAQ,KAAK,uBAAuB,CAC9C;;IAEH,IAAI,MAAM,oBAAoB,KAAA,GAC5B,mBAAmB,IAAI,MAAM,eAAe,MAAM,gBAAgB;IAEpE;;GAEF,IAAI,OAAO,UAAU,YAAY,UAAU,MACzC,KAAK,MAAM;;;CAIjB,KAAK,UAAU;CACf,OAAO;EAAE;EAAoB;EAAoB;;AAGnD,IAAa,6BAAb,cAAgD,0BAAgD;CAC9F,cAAc;EACZ,MAAM,EAAE,oBAAoB,uBAAuB,mCACjD,6BACD;EACD,MAAM,oBAAoB,mBAAmB;;CAG/C,yBACE,MACA,KACqC;EACrC,IAAI,eAAe,eACjB,OAAO;EAOT,MAAM,EAAE,IAAI,QAAQ,OAAO,oBALV,MAAM,yBAAyB,MAAM,IAKC;EAEvD,MAAM,cAAc,OAAO,KAAK,OAAO,CAAC,WAAW;EACnD,MAAM,aAAa,CAAC,mBAAmB,OAAO,KAAK,gBAAgB,CAAC,WAAW;EAC/E,IAAI,OAAO,wBAAwB,eAAe,YAChD,OAAO,eAAe;EAExB,OAAO,IAAI,eAAe;GACxB;GACA;GACA,GAAI,oBAAoB,KAAA,IAAY,EAAE,OAAO,iBAAiB,GAAG,EAAE;GACpE,CAAC;;CAGJ,kBAA2B,UAA4C;EACrE,MAAM,EAAE,SAAS,GAAG,SAAS;EAC7B,MAAM,iBAA6C,EAAE;EACrD,KAAK,MAAM,CAAC,MAAM,OAAO,OAAO,QAAQ,QAAQ,WAAW,EACzD,IAAI,iBAAiB,GAAG,EACtB,eAAe,QAAQ,KAAK,2BAA2B,IAAI,GAAG,OAAO,qBAAqB;OACrF;GAQL,MAAM,gBAAgB,SAAS;GAC/B,MAAM,UAAW,GAA8D,SAAS,EAAE;GAC1F,eAAe,QAAQ;IACrB,IAAI;IACJ,MAAM,gBAAgB,4BAA4B;IAClD,QAAQ,OAAO,YACb,OAAO,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,WAAW,CACpD,WACA,KAAK,mBAAmB,MAAM,CAC/B,CAAC,CACH;IACD,OAAO,OAAO,YACZ,OAAO,QAAQ,QAAQ,CAAC,KAAK,CAAC,UAAU,WAAW,CACjD,UACA,KAAK,mBAAmB,MAAM,CAC/B,CAAC,CACH;IACF;;EAGL,MAAM,aAAsC;GAC1C,aAAa,OAAO,QAAQ,YAAY;GACxC,YAAY;GACb;EACD,IAAI,QAAQ,UAAU,KAAA,GAAW;GAC/B,MAAM,WAAuC,EAAE;GAC/C,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,QAAQ,QAAQ,MAAM,EACvD,SAAS,QAAQ,KAAK,mBAAmB,MAAM;GAEjD,WAAW,WAAW;;EAExB,OAAO;GACL,GAAG;GACH,SAAS;GACV;;CAGH,2BAAmC,IAAoB,eAAoC;EACzF,MAAM,YAAwC,EAAE;EAChD,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,GAAG,OAAO,EACxD,UAAU,aAAa,KAAK,mBAAmB,MAAM;EAEvD,MAAM,WAAuC,EAAE;EAC/C,KAAK,MAAM,CAAC,UAAU,OAAO,OAAO,QAAQ,GAAG,MAAM,EACnD,SAAS,YAAY,KAAK,mBAAmB,GAAG;EAElD,OAAO;GACL,IAAI,GAAG;GACP,MAAM,gBAAgB,4BAA4B;GAClD,QAAQ;GACR,OAAO;GACR;;CAGH,mBAA2B,OAAyB;EAClD,OAAO,KAAK,MAAM,KAAK,UAAU,MAAM,CAAC"}

package/dist/{postgres-schema-BosNxhWq.mjs → postgres-schema-CK82EuWq.mjs}

@@ -25,7 +25,6 @@ var PostgresSchema = class extends NamespaceBase {
 	* — same identity).
 	*/
 	static unbound;
-	kind = "schema";
 	id;
 	tables;
 	types;
@@ -34,6 +33,12 @@ var PostgresSchema = class extends NamespaceBase {
 		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.types = Object.freeze(Object.fromEntries(Object.entries(input.types ?? {}).map(([name, ty]) => [name, ty instanceof PostgresEnumType ? ty : new PostgresEnumType(ty)])));
+		Object.defineProperty(this, "kind", {
+			value: "schema",
+			writable: false,
+			enumerable: false,
+			configurable: true
+		});
 		freezeNode(this);
 	}
 	/**
@@ -160,4 +165,4 @@ function postgresCreateNamespace(input) {
 //#endregion
 export { postgresCreateNamespace as i, PostgresUnboundSchema as n, isPostgresSchema as r, PostgresSchema as t };
 
-//# sourceMappingURL=postgres-schema-BosNxhWq.mjs.map
+//# sourceMappingURL=postgres-schema-CK82EuWq.mjs.map

package/dist/postgres-schema-CK82EuWq.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"postgres-schema-CK82EuWq.mjs","names":[],"sources":["../src/core/postgres-schema.ts"],"sourcesContent":["import {\n  freezeNode,\n  NamespaceBase,\n  UNBOUND_NAMESPACE_ID,\n} from '@prisma-next/framework-components/ir';\nimport {\n  type SqlNamespaceTablesInput,\n  type SqlStorage,\n  StorageTable,\n  type StorageTableInput,\n} from '@prisma-next/sql-contract/types';\nimport { PostgresEnumType, type PostgresEnumTypeInput } from './postgres-enum-type';\nimport { escapeLiteral } from './sql-utils';\n\nexport interface PostgresSchemaInput {\n  readonly id: string;\n  readonly tables?: Record<string, StorageTable | StorageTableInput>;\n  readonly types?: Record<string, PostgresEnumType | PostgresEnumTypeInput>;\n}\n\n/**\n * Postgres target `Namespace` concretion — a Postgres schema (`CREATE\n * SCHEMA …`). Each Postgres `SqlStorage` carries a\n * `namespaces: Record<NamespaceId, PostgresSchema>` map populated by\n * the Postgres PSL interpreter from `namespace { … }` AST buckets.\n *\n * Qualifier emission is the rendering seam: DDL / SQL emission asks the\n * namespace for its qualifier (`\"<schema>\"`) or for a qualified table\n * name (`\"<schema>\".\"<table>\"`) and consumes the result polymorphically.\n * The unbound singleton below overrides these methods to elide the\n * prefix entirely — call sites stay polymorphic and never branch on\n * `id === UNBOUND_NAMESPACE_ID`.\n */\nexport class PostgresSchema extends NamespaceBase {\n  /**\n   * Stable singleton reference for the late-bound slot. Materialised\n   * lazily below the singleton subclass declaration so the static\n   * initialiser sees the subclass before assigning. Consumers always\n   * reach for `PostgresSchema.unbound` (or `PostgresUnboundSchema.instance`\n   * — same identity).\n   */\n  static unbound: PostgresUnboundSchema;\n\n  declare readonly kind: 'schema';\n  readonly id: string;\n  readonly tables: Readonly<Record<string, StorageTable>>;\n  readonly types: Readonly<Record<string, PostgresEnumType>>;\n\n  constructor(input: PostgresSchemaInput) {\n    super();\n    this.id = input.id;\n    this.tables = Object.freeze(\n      Object.fromEntries(\n        Object.entries(input.tables ?? {}).map(([name, t]) => [\n          name,\n          t instanceof StorageTable ? t : new StorageTable(t),\n        ]),\n      ),\n    );\n    this.types = Object.freeze(\n      Object.fromEntries(\n        Object.entries(input.types ?? {}).map(([name, ty]) => [\n          name,\n          ty instanceof PostgresEnumType ? ty : new PostgresEnumType(ty),\n        ]),\n      ),\n    );\n    Object.defineProperty(this, 'kind', {\n      value: 'schema',\n      writable: false,\n      enumerable: false,\n      configurable: true,\n    });\n    freezeNode(this);\n  }\n\n  /**\n   * The bare schema qualifier as it would appear in a rendered SQL\n   * fragment (already quoted). The unbound-schema singleton overrides\n   * this to return `''`.\n   */\n  qualifier(): string {\n    return `\"${this.id}\"`;\n  }\n\n  /**\n   * Qualify a table name with the schema prefix\n   * (`\"<schema>\".\"<table>\"`). The unbound-schema singleton overrides\n   * this to emit just `\"<table>\"` so the resolved DDL is unqualified\n   * and `search_path` decides where the object lands at runtime.\n   */\n  qualifyTable(tableName: string): string {\n    return `\"${this.id}\".\"${tableName}\"`;\n  }\n\n  /**\n   * Render a SQL string-literal containing the qualified-name form\n   * suitable for `to_regclass(...)` arguments (e.g. `'\"public\".\"user\"'`).\n   * The unbound singleton overrides this to elide the schema prefix\n   * (`'\"user\"'`) so `search_path` resolves the object at runtime.\n   */\n  regclassLiteral(name: string): string {\n    return `'${escapeLiteral(this.qualifyTable(name))}'`;\n  }\n\n  /**\n   * Render a SQL expression that evaluates to this namespace's schema\n   * name at runtime, ready to drop into a `WHERE table_schema = …` /\n   * `WHERE n.nspname = …` clause. Named schemas emit a quoted SQL\n   * literal (`'public'`); the unbound singleton overrides this to emit\n   * `current_schema()` so catalog queries match whichever schema the\n   * connection's `search_path` resolved at runtime.\n   */\n  schemaSqlExpression(): string {\n    return `'${escapeLiteral(this.id)}'`;\n  }\n\n  /**\n   * The bare schema name a DDL planner should target when emitting\n   * statements that need to identify this namespace in the live\n   * database (e.g. `CREATE TABLE \"<ddlSchemaName>\".\"<table>\" …`,\n   * catalog filters, planner conflict lookups). Named schemas resolve\n   * to their own id; the unbound singleton overrides this to project\n   * to `'public'` when a sibling public namespace exists in the same\n   * contract — and falls back to the framework sentinel otherwise so\n   * the planner can detect the missing-projection case explicitly.\n   */\n  ddlSchemaName(_storage: SqlStorage): string {\n    return this.id;\n  }\n}\n\n/**\n * Singleton subclass for the reserved sentinel namespace id\n * (`UNBOUND_NAMESPACE_ID`) — the late-bound Postgres slot whose binding\n * the connection's `search_path` resolves at runtime. Overrides\n * qualifier emission to elide the schema prefix; call sites that consume\n * `qualifier()` / `qualifyTable()` get unqualified output without\n * branching on the namespace id.\n *\n * This is the target-side materialization of \"the framework provides\n * affordances; targets implement specifics\": the framework names the\n * sentinel; Postgres decides what late-bound means here (the table\n * name, naked — the schema is supplied by the live connection's\n * `search_path`).\n */\nexport class PostgresUnboundSchema extends PostgresSchema {\n  static readonly instance: PostgresUnboundSchema = new PostgresUnboundSchema();\n\n  constructor(input?: PostgresSchemaInput) {\n    super(input ?? { id: UNBOUND_NAMESPACE_ID });\n  }\n\n  override qualifier(): string {\n    return '';\n  }\n\n  override qualifyTable(tableName: string): string {\n    return `\"${tableName}\"`;\n  }\n\n  override schemaSqlExpression(): string {\n    return 'current_schema()';\n  }\n\n  /**\n   * The unbound slot has no schema name of its own, so DDL emission\n   * projects it onto a sibling when one is available: if the contract\n   * carries a `public` namespace, the late-bound slot resolves to\n   * `'public'` (the default Postgres landing schema); otherwise it\n   * resolves to the framework sentinel `UNBOUND_NAMESPACE_ID` so the\n   * planner can recognise the unprojected case and route accordingly\n   * (e.g. emit a conflict instead of silently picking a schema).\n   */\n  override ddlSchemaName(storage: SqlStorage): string {\n    if (storage.namespaces['public'] !== undefined) {\n      return 'public';\n    }\n    return UNBOUND_NAMESPACE_ID;\n  }\n}\n\nPostgresSchema.unbound = PostgresUnboundSchema.instance;\n\n/**\n * Narrow an arbitrary namespace (or `undefined`) to `PostgresSchema`\n * so callers can dispatch to the polymorphic emission methods without\n * branching at the call site. Uses the structural `kind` discriminator\n * (`'schema'`) rather than `instanceof` so the check survives realm /\n * bundle / hot-reload boundaries — matching the rest of the IR's\n * narrowing convention. `PostgresUnboundSchema` passes through because\n * it inherits the same `kind: 'schema'` from `PostgresSchema`.\n */\nexport function isPostgresSchema(ns: unknown): ns is PostgresSchema {\n  return (ns as { kind?: unknown } | null | undefined)?.kind === 'schema';\n}\n\n/**\n * Target-supplied `Namespace` factory the Postgres target plumbs\n * through `defineContract({ createNamespace })` and the SQL PSL\n * interpreter. Returns the unbound singleton for the framework\n * sentinel and a fresh `PostgresSchema` for any other coordinate.\n *\n * The factory has no per-call state — every named id deterministically\n * maps to a distinct schema instance — so callers can pass it through\n * by reference and trust the resulting `SqlStorage.namespaces` map to\n * be value-stable for a given input set.\n */\nexport function postgresCreateNamespace(input: SqlNamespaceTablesInput): PostgresSchema {\n  if (input.id === UNBOUND_NAMESPACE_ID) {\n    return new PostgresUnboundSchema(input);\n  }\n  return new PostgresSchema(input);\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;AAiCA,IAAa,iBAAb,cAAoC,cAAc;;;;;;;;CAQhD,OAAO;CAGP;CACA;CACA;CAEA,YAAY,OAA4B;EACtC,OAAO;EACP,KAAK,KAAK,MAAM;EAChB,KAAK,SAAS,OAAO,OACnB,OAAO,YACL,OAAO,QAAQ,MAAM,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,OAAO,CACpD,MACA,aAAa,eAAe,IAAI,IAAI,aAAa,EAAE,CACpD,CAAC,CACH,CACF;EACD,KAAK,QAAQ,OAAO,OAClB,OAAO,YACL,OAAO,QAAQ,MAAM,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,QAAQ,CACpD,MACA,cAAc,mBAAmB,KAAK,IAAI,iBAAiB,GAAG,CAC/D,CAAC,CACH,CACF;EACD,OAAO,eAAe,MAAM,QAAQ;GAClC,OAAO;GACP,UAAU;GACV,YAAY;GACZ,cAAc;GACf,CAAC;EACF,WAAW,KAAK;;;;;;;CAQlB,YAAoB;EAClB,OAAO,IAAI,KAAK,GAAG;;;;;;;;CASrB,aAAa,WAA2B;EACtC,OAAO,IAAI,KAAK,GAAG,KAAK,UAAU;;;;;;;;CASpC,gBAAgB,MAAsB;EACpC,OAAO,IAAI,cAAc,KAAK,aAAa,KAAK,CAAC,CAAC;;;;;;;;;;CAWpD,sBAA8B;EAC5B,OAAO,IAAI,cAAc,KAAK,GAAG,CAAC;;;;;;;;;;;;CAapC,cAAc,UAA8B;EAC1C,OAAO,KAAK;;;;;;;;;;;;;;;;;AAkBhB,IAAa,wBAAb,MAAa,8BAA8B,eAAe;CACxD,OAAgB,WAAkC,IAAI,uBAAuB;CAE7E,YAAY,OAA6B;EACvC,MAAM,SAAS,EAAE,IAAI,sBAAsB,CAAC;;CAG9C,YAA6B;EAC3B,OAAO;;CAGT,aAAsB,WAA2B;EAC/C,OAAO,IAAI,UAAU;;CAGvB,sBAAuC;EACrC,OAAO;;;;;;;;;;;CAYT,cAAuB,SAA6B;EAClD,IAAI,QAAQ,WAAW,cAAc,KAAA,GACnC,OAAO;EAET,OAAO;;;AAIX,eAAe,UAAU,sBAAsB;;;;;;;;;;AAW/C,SAAgB,iBAAiB,IAAmC;CAClE,OAAQ,IAA8C,SAAS;;;;;;;;;;;;;AAcjE,SAAgB,wBAAwB,OAAgD;CACtF,IAAI,MAAM,OAAO,sBACf,OAAO,IAAI,sBAAsB,MAAM;CAEzC,OAAO,IAAI,eAAe,MAAM"}

package/dist/runtime.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"runtime.d.mts","names":[],"sources":["../src/core/postgres-contract-serializer.ts","../src/exports/runtime.ts"],"mappings":";;;;;;;;;cAiBa,0BAAA,SAAmC,yBAAA,CAA0B,QAAA,CAAS,UAAA;;YAQ9D,wBAAA,CACjB,IAAA,UACA,GAAA,EAAK,SAAA,GAAY,MAAA,oBAChB,SAAA,GAAY,uBAAA;EAiDN,iBAAA,CAAkB,QAAA,EAAU,QAAA,CAAS,UAAA,IAAc,UAAA;EAAA,QAmDpD,0BAAA;EAAA,QAiBA,kBAAA;AAAA;;;UCxIO,6BAAA,SAAsC,qBAAA;;;;;ADQvD;;cCAM,+BAAA,EAAiC,uBAAA,oBAGrC,6BAAA;EAAA,SAES,MAAA,iBAAuB,kBAAA;AAAA"}
+{"version":3,"file":"runtime.d.mts","names":[],"sources":["../src/core/postgres-contract-serializer.ts","../src/exports/runtime.ts"],"mappings":";;;;;;;;;cA8Ea,0BAAA,SAAmC,yBAAA,CAA0B,QAAA,CAAS,UAAA;;YAQ9D,wBAAA,CACjB,IAAA,UACA,GAAA,EAAK,SAAA,GAAY,MAAA,oBAChB,SAAA,GAAY,uBAAA;EAuBN,iBAAA,CAAkB,QAAA,EAAU,QAAA,CAAS,UAAA,IAAc,UAAA;EAAA,QAmDpD,0BAAA;EAAA,QAiBA,kBAAA;AAAA;;;UC3KO,6BAAA,SAAsC,qBAAA;;;;;ADqEvD;;cC7DM,+BAAA,EAAiC,uBAAA,oBAGrC,6BAAA;EAAA,SAES,MAAA,iBAAuB,kBAAA;AAAA"}

package/dist/runtime.mjs

@@ -1,5 +1,5 @@
-import { t as postgresTargetDescriptorMeta } from "./descriptor-meta-zrZzWmJF.mjs";
-import { t as PostgresContractSerializer } from "./postgres-contract-serializer-CcZO9ukP.mjs";
+import { t as postgresTargetDescriptorMeta } from "./descriptor-meta-DLA2xV6B.mjs";
+import { t as PostgresContractSerializer } from "./postgres-contract-serializer-CrET5Ov0.mjs";
 //#region src/exports/runtime.ts
 /**
 * Target-postgres deliberately does NOT import `SqlRuntimeTargetDescriptor` from `@prisma-next/sql-runtime`. The target package is a control-plane residence and must not pull the SQL execution-plane package into its dependency closure. The runtime descriptor here is shaped to satisfy the framework's `RuntimeTargetDescriptor` plus the structural `SqlStaticContributions` (`codecs:` returning a descriptor list) that

package/dist/{tables-DZ-5Yxi0.mjs → tables-CWxZgD0H.mjs}

@@ -1,5 +1,5 @@
 import { i as quoteIdentifier, n as escapeLiteral, r as qualifyName } from "./sql-utils-BewXAnsG.mjs";
-import { a as columnNullabilityCheck, c as qualifyTableName, d as toRegclassLiteral, n as columnDefaultExistsCheck, o as columnTypeCheck, r as columnExistsCheck, s as constraintExistsCheck } from "./planner-sql-checks-BM4sD6Xc.mjs";
+import { a as columnNullabilityCheck, c as qualifyTableName, d as toRegclassLiteral, n as columnDefaultExistsCheck, o as columnTypeCheck, r as columnExistsCheck, s as constraintExistsCheck } from "./planner-sql-checks-K-mTBJDi.mjs";
 import { ifDefined } from "@prisma-next/utils/defined";
 //#region src/core/migrations/operations/shared.ts
 function step(description, sql) {
@@ -513,4 +513,4 @@ function dropTable(schemaName, tableName) {
 //#endregion
 export { setNotNull as S, alterColumnType as _, addEnumValues as a, dropNotNull as b, renameType as c, installExtension as d, addForeignKey as f, addColumn as g, dropConstraint as h, dropIndex as i, createExtension as l, addUnique as m, dropTable as n, createEnumType as o, addPrimaryKey as p, createIndex as r, dropEnumType as s, createTable as t, createSchema as u, dropColumn as v, setDefault as x, dropDefault as y };
 
-//# sourceMappingURL=tables-DZ-5Yxi0.mjs.map
+//# sourceMappingURL=tables-CWxZgD0H.mjs.map

package/dist/{tables-DZ-5Yxi0.mjs.map → tables-CWxZgD0H.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"tables-DZ-5Yxi0.mjs","names":[],"sources":["../src/core/migrations/operations/shared.ts","../src/core/migrations/operations/columns.ts","../src/core/migrations/operations/constraints.ts","../src/core/migrations/operations/dependencies.ts","../src/core/migrations/operations/enums.ts","../src/core/migrations/operations/indexes.ts","../src/core/migrations/operations/tables.ts"],"sourcesContent":["import type { SqlMigrationPlanOperation } from '@prisma-next/family-sql/control';\nimport type { ReferentialAction } from '@prisma-next/sql-contract/types';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { quoteIdentifier } from '../../sql-utils';\nimport type { OperationClass, PostgresPlanTargetDetails } from '../planner-target-details';\n\nexport type Op = SqlMigrationPlanOperation<PostgresPlanTargetDetails>;\n\n/**\n * Literal-args shape for a column definition consumed by `createTable` and\n * `addColumn`. Fully materialized: codec expansion and default rendering have\n * already happened in the wrapper.\n *\n * - `typeSql` is the column's DDL type string (e.g. `\"integer\"`, `\"SERIAL\"`,\n *   `\"varchar(100)\"`), already produced by `buildColumnTypeSql` in the\n *   call-factory wrapper.\n * - `defaultSql` is the full `DEFAULT …` clause (e.g. `\"DEFAULT 42\"`) or an\n *   empty string when the column has no default, matching\n *   `buildColumnDefaultSql`'s output.\n */\nexport interface ColumnSpec {\n  readonly name: string;\n  readonly typeSql: string;\n  readonly defaultSql: string;\n  readonly nullable: boolean;\n}\n\n/**\n * Literal-args shape for a foreign key definition. `references.schema`\n * carries the target table's namespace (schema) coordinate so the rendered\n * DDL qualifies the REFERENCES clause correctly for cross-schema FKs.\n */\nexport interface ForeignKeySpec {\n  readonly name: string;\n  readonly columns: readonly string[];\n  readonly references: {\n    readonly schema: string;\n    readonly table: string;\n    readonly columns: readonly string[];\n  };\n  readonly onDelete?: ReferentialAction;\n  readonly onUpdate?: ReferentialAction;\n}\n\nexport function step(description: string, sql: string) {\n  return { description, sql };\n}\n\nexport function targetDetails(\n  objectType: OperationClass,\n  name: string,\n  schema: string,\n  table?: string,\n): { readonly id: 'postgres'; readonly details: PostgresPlanTargetDetails } {\n  return {\n    id: 'postgres',\n    details: { schema, objectType, name, ...ifDefined('table', table) },\n  };\n}\n\nexport function renderColumnDefinition(column: ColumnSpec): string {\n  const parts = [\n    quoteIdentifier(column.name),\n    column.typeSql,\n    column.defaultSql,\n    column.nullable ? '' : 'NOT NULL',\n  ].filter(Boolean);\n  return parts.join(' ');\n}\n","import { quoteIdentifier } from '../../sql-utils';\nimport {\n  columnDefaultExistsCheck,\n  columnExistsCheck,\n  columnNullabilityCheck,\n  columnTypeCheck,\n  qualifyTableName,\n} from '../planner-sql-checks';\nimport { type ColumnSpec, type Op, step, targetDetails } from './shared';\n\nexport function addColumn(schemaName: string, tableName: string, column: ColumnSpec): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  const parts = [\n    `ALTER TABLE ${qualified}`,\n    `ADD COLUMN ${quoteIdentifier(column.name)} ${column.typeSql}`,\n    column.defaultSql,\n    column.nullable ? '' : 'NOT NULL',\n  ].filter(Boolean);\n  const addSql = parts.join(' ');\n\n  return {\n    id: `column.${tableName}.${column.name}`,\n    label: `Add column \"${column.name}\" to \"${tableName}\"`,\n    operationClass: 'additive',\n    target: targetDetails('column', column.name, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure column \"${column.name}\" is missing`,\n        columnExistsCheck({\n          schema: schemaName,\n          table: tableName,\n          column: column.name,\n          exists: false,\n        }),\n      ),\n    ],\n    execute: [step(`add column \"${column.name}\"`, addSql)],\n    postcheck: [\n      step(\n        `verify column \"${column.name}\" exists`,\n        columnExistsCheck({ schema: schemaName, table: tableName, column: column.name }),\n      ),\n    ],\n  };\n}\n\nexport function dropColumn(schemaName: string, tableName: string, columnName: string): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  return {\n    id: `dropColumn.${tableName}.${columnName}`,\n    label: `Drop column \"${columnName}\" from \"${tableName}\"`,\n    operationClass: 'destructive',\n    target: targetDetails('column', columnName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure column \"${columnName}\" exists`,\n        columnExistsCheck({ schema: schemaName, table: tableName, column: columnName }),\n      ),\n    ],\n    execute: [\n      step(\n        `drop column \"${columnName}\"`,\n        `ALTER TABLE ${qualified} DROP COLUMN ${quoteIdentifier(columnName)}`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify column \"${columnName}\" does not exist`,\n        columnExistsCheck({\n          schema: schemaName,\n          table: tableName,\n          column: columnName,\n          exists: false,\n        }),\n      ),\n    ],\n  };\n}\n\n/**\n * `qualifiedTargetType` is the new column type as it appears in the\n * `ALTER COLUMN TYPE` clause (schema-qualified for user-defined types, raw\n * native name for built-ins). `formatTypeExpected` is the unqualified\n * `format_type` form used in the postcheck. `rawTargetTypeForLabel` is the\n * string appearing in the human-readable label (typically `toType` when\n * explicit, else the column's native type).\n */\nexport function alterColumnType(\n  schemaName: string,\n  tableName: string,\n  columnName: string,\n  options: {\n    readonly qualifiedTargetType: string;\n    readonly formatTypeExpected: string;\n    readonly rawTargetTypeForLabel: string;\n    readonly using?: string;\n  },\n): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  const usingClause = options.using\n    ? ` USING ${options.using}`\n    : ` USING ${quoteIdentifier(columnName)}::${options.qualifiedTargetType}`;\n  return {\n    id: `alterType.${tableName}.${columnName}`,\n    label: `Alter type of \"${tableName}\".\"${columnName}\" to ${options.rawTargetTypeForLabel}`,\n    operationClass: 'destructive',\n    target: targetDetails('column', columnName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure column \"${columnName}\" exists`,\n        columnExistsCheck({ schema: schemaName, table: tableName, column: columnName }),\n      ),\n    ],\n    execute: [\n      step(\n        `alter type of \"${columnName}\"`,\n        `ALTER TABLE ${qualified} ALTER COLUMN ${quoteIdentifier(columnName)} TYPE ${options.qualifiedTargetType}${usingClause}`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify column \"${columnName}\" has type \"${options.formatTypeExpected}\"`,\n        columnTypeCheck({\n          schema: schemaName,\n          table: tableName,\n          column: columnName,\n          expectedType: options.formatTypeExpected,\n        }),\n      ),\n    ],\n    meta: { warning: 'TABLE_REWRITE' },\n  };\n}\n\nexport function setNotNull(schemaName: string, tableName: string, columnName: string): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  return {\n    id: `alterNullability.setNotNull.${tableName}.${columnName}`,\n    label: `Set NOT NULL on \"${tableName}\".\"${columnName}\"`,\n    operationClass: 'destructive',\n    target: targetDetails('column', columnName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure column \"${columnName}\" exists`,\n        columnExistsCheck({ schema: schemaName, table: tableName, column: columnName }),\n      ),\n      step(\n        `ensure no NULL values in \"${columnName}\"`,\n        `SELECT NOT EXISTS (SELECT 1 FROM ${qualified} WHERE ${quoteIdentifier(columnName)} IS NULL)`,\n      ),\n    ],\n    execute: [\n      step(\n        `set NOT NULL on \"${columnName}\"`,\n        `ALTER TABLE ${qualified} ALTER COLUMN ${quoteIdentifier(columnName)} SET NOT NULL`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify column \"${columnName}\" is NOT NULL`,\n        columnNullabilityCheck({\n          schema: schemaName,\n          table: tableName,\n          column: columnName,\n          nullable: false,\n        }),\n      ),\n    ],\n  };\n}\n\nexport function dropNotNull(schemaName: string, tableName: string, columnName: string): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  return {\n    id: `alterNullability.dropNotNull.${tableName}.${columnName}`,\n    label: `Drop NOT NULL on \"${tableName}\".\"${columnName}\"`,\n    operationClass: 'widening',\n    target: targetDetails('column', columnName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure column \"${columnName}\" exists`,\n        columnExistsCheck({ schema: schemaName, table: tableName, column: columnName }),\n      ),\n    ],\n    execute: [\n      step(\n        `drop NOT NULL on \"${columnName}\"`,\n        `ALTER TABLE ${qualified} ALTER COLUMN ${quoteIdentifier(columnName)} DROP NOT NULL`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify column \"${columnName}\" is nullable`,\n        columnNullabilityCheck({\n          schema: schemaName,\n          table: tableName,\n          column: columnName,\n          nullable: true,\n        }),\n      ),\n    ],\n  };\n}\n\n/**\n * `defaultSql` is the full `DEFAULT …` clause as produced by\n * `buildColumnDefaultSql` — e.g. `\"DEFAULT 42\"`,\n * `\"DEFAULT (CURRENT_TIMESTAMP)\"`, or `\"DEFAULT nextval('seq'::regclass)\"`.\n *\n * `operationClass` defaults to `'additive'` (setting a default on a column\n * that currently has none). The reconciliation planner passes `'widening'`\n * when the column already has a different default — policy enforcement\n * treats that as a widening change rather than an additive one.\n */\nexport function setDefault(\n  schemaName: string,\n  tableName: string,\n  columnName: string,\n  defaultSql: string,\n  operationClass: 'additive' | 'widening' = 'additive',\n): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  return {\n    id: `setDefault.${tableName}.${columnName}`,\n    label: `Set default on \"${tableName}\".\"${columnName}\"`,\n    operationClass,\n    target: targetDetails('column', columnName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure column \"${columnName}\" exists`,\n        columnExistsCheck({ schema: schemaName, table: tableName, column: columnName }),\n      ),\n    ],\n    execute: [\n      step(\n        `set default on \"${columnName}\"`,\n        `ALTER TABLE ${qualified} ALTER COLUMN ${quoteIdentifier(columnName)} SET ${defaultSql}`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify column \"${columnName}\" has a default`,\n        columnDefaultExistsCheck({\n          schema: schemaName,\n          table: tableName,\n          column: columnName,\n          exists: true,\n        }),\n      ),\n    ],\n  };\n}\n\nexport function dropDefault(schemaName: string, tableName: string, columnName: string): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  return {\n    id: `dropDefault.${tableName}.${columnName}`,\n    label: `Drop default on \"${tableName}\".\"${columnName}\"`,\n    operationClass: 'destructive',\n    target: targetDetails('column', columnName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure column \"${columnName}\" exists`,\n        columnExistsCheck({ schema: schemaName, table: tableName, column: columnName }),\n      ),\n    ],\n    execute: [\n      step(\n        `drop default on \"${columnName}\"`,\n        `ALTER TABLE ${qualified} ALTER COLUMN ${quoteIdentifier(columnName)} DROP DEFAULT`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify column \"${columnName}\" has no default`,\n        columnDefaultExistsCheck({\n          schema: schemaName,\n          table: tableName,\n          column: columnName,\n          exists: false,\n        }),\n      ),\n    ],\n  };\n}\n","import type { ReferentialAction } from '@prisma-next/sql-contract/types';\nimport { quoteIdentifier } from '../../sql-utils';\nimport { constraintExistsCheck, qualifyTableName } from '../planner-sql-checks';\nimport { type ForeignKeySpec, type Op, step, targetDetails } from './shared';\n\nconst REFERENTIAL_ACTION_SQL: Record<ReferentialAction, string> = {\n  noAction: 'NO ACTION',\n  restrict: 'RESTRICT',\n  cascade: 'CASCADE',\n  setNull: 'SET NULL',\n  setDefault: 'SET DEFAULT',\n};\n\nfunction renderForeignKeySql(schemaName: string, tableName: string, fk: ForeignKeySpec): string {\n  let sql = `ALTER TABLE ${qualifyTableName(schemaName, tableName)}\nADD CONSTRAINT ${quoteIdentifier(fk.name)}\nFOREIGN KEY (${fk.columns.map(quoteIdentifier).join(', ')})\nREFERENCES ${qualifyTableName(fk.references.schema, fk.references.table)} (${fk.references.columns\n    .map(quoteIdentifier)\n    .join(', ')})`;\n\n  if (fk.onDelete !== undefined) {\n    const action = REFERENTIAL_ACTION_SQL[fk.onDelete];\n    if (!action) {\n      throw new Error(`Unknown referential action for onDelete: ${String(fk.onDelete)}`);\n    }\n    sql += `\\nON DELETE ${action}`;\n  }\n  if (fk.onUpdate !== undefined) {\n    const action = REFERENTIAL_ACTION_SQL[fk.onUpdate];\n    if (!action) {\n      throw new Error(`Unknown referential action for onUpdate: ${String(fk.onUpdate)}`);\n    }\n    sql += `\\nON UPDATE ${action}`;\n  }\n  return sql;\n}\n\nexport function addPrimaryKey(\n  schemaName: string,\n  tableName: string,\n  constraintName: string,\n  columns: readonly string[],\n): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  const columnList = columns.map(quoteIdentifier).join(', ');\n  return {\n    id: `primaryKey.${tableName}.${constraintName}`,\n    label: `Add primary key on \"${tableName}\"`,\n    operationClass: 'additive',\n    target: targetDetails('primaryKey', constraintName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure primary key \"${constraintName}\" does not exist`,\n        constraintExistsCheck({\n          constraintName,\n          schema: schemaName,\n          table: tableName,\n          exists: false,\n        }),\n      ),\n    ],\n    execute: [\n      step(\n        `add primary key \"${constraintName}\"`,\n        `ALTER TABLE ${qualified} ADD CONSTRAINT ${quoteIdentifier(constraintName)} PRIMARY KEY (${columnList})`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify primary key \"${constraintName}\" exists`,\n        constraintExistsCheck({ constraintName, schema: schemaName, table: tableName }),\n      ),\n    ],\n  };\n}\n\nexport function addUnique(\n  schemaName: string,\n  tableName: string,\n  constraintName: string,\n  columns: readonly string[],\n): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  const columnList = columns.map(quoteIdentifier).join(', ');\n  return {\n    id: `unique.${tableName}.${constraintName}`,\n    label: `Add unique constraint on \"${tableName}\" (${columns.join(', ')})`,\n    operationClass: 'additive',\n    target: targetDetails('unique', constraintName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure constraint \"${constraintName}\" does not exist`,\n        constraintExistsCheck({\n          constraintName,\n          schema: schemaName,\n          table: tableName,\n          exists: false,\n        }),\n      ),\n    ],\n    execute: [\n      step(\n        `add unique constraint \"${constraintName}\"`,\n        `ALTER TABLE ${qualified} ADD CONSTRAINT ${quoteIdentifier(constraintName)} UNIQUE (${columnList})`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify constraint \"${constraintName}\" exists`,\n        constraintExistsCheck({ constraintName, schema: schemaName, table: tableName }),\n      ),\n    ],\n  };\n}\n\nexport function addForeignKey(schemaName: string, tableName: string, fk: ForeignKeySpec): Op {\n  return {\n    id: `foreignKey.${tableName}.${fk.name}`,\n    label: `Add foreign key \"${fk.name}\" on \"${tableName}\"`,\n    operationClass: 'additive',\n    target: targetDetails('foreignKey', fk.name, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure FK \"${fk.name}\" does not exist`,\n        constraintExistsCheck({\n          constraintName: fk.name,\n          schema: schemaName,\n          table: tableName,\n          exists: false,\n        }),\n      ),\n    ],\n    execute: [step(`add FK \"${fk.name}\"`, renderForeignKeySql(schemaName, tableName, fk))],\n    postcheck: [\n      step(\n        `verify FK \"${fk.name}\" exists`,\n        constraintExistsCheck({\n          constraintName: fk.name,\n          schema: schemaName,\n          table: tableName,\n        }),\n      ),\n    ],\n  };\n}\n\n/**\n * `kind` feeds the operation's `target.details.objectType`. Descriptor-flow\n * does not carry kind information in its drop-constraint descriptor, so the\n * default is `'unique'`. The reconciliation planner passes the correct kind\n * (`'foreignKey'`, `'primaryKey'`, or `'unique'`) based on the `SchemaIssue`\n * that produced the drop.\n */\nexport function dropConstraint(\n  schemaName: string,\n  tableName: string,\n  constraintName: string,\n  kind: 'foreignKey' | 'unique' | 'primaryKey' = 'unique',\n): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  return {\n    id: `dropConstraint.${tableName}.${constraintName}`,\n    label: `Drop constraint \"${constraintName}\" on \"${tableName}\"`,\n    operationClass: 'destructive',\n    target: targetDetails(kind, constraintName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure constraint \"${constraintName}\" exists`,\n        constraintExistsCheck({ constraintName, schema: schemaName, table: tableName }),\n      ),\n    ],\n    execute: [\n      step(\n        `drop constraint \"${constraintName}\"`,\n        `ALTER TABLE ${qualified} DROP CONSTRAINT ${quoteIdentifier(constraintName)}`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify constraint \"${constraintName}\" does not exist`,\n        constraintExistsCheck({\n          constraintName,\n          schema: schemaName,\n          table: tableName,\n          exists: false,\n        }),\n      ),\n    ],\n  };\n}\n","import { quoteIdentifier } from '../../sql-utils';\nimport { type Op, step } from './shared';\n\nexport function createExtension(extensionName: string): Op {\n  return {\n    id: `extension.${extensionName}`,\n    label: `Create extension \"${extensionName}\"`,\n    operationClass: 'additive',\n    target: { id: 'postgres' },\n    precheck: [],\n    execute: [\n      step(\n        `Create extension \"${extensionName}\"`,\n        `CREATE EXTENSION IF NOT EXISTS ${quoteIdentifier(extensionName)}`,\n      ),\n    ],\n    postcheck: [],\n  };\n}\n\n/**\n * Install a Postgres extension as the baseline op for an extension-pack\n * contract space. Layered on top of {@link createExtension}: stamps an\n * `invariantId` (required so the per-space marker records the install),\n * scopes the op `id` under a caller-chosen namespace (e.g. `pgvector.`),\n * and emits pre- and postcheck SQL probing `pg_extension`. The richer\n * shape lets the runner's idempotency probe skip the install on re-run\n * (postcheck-pre-satisfied) without firing the precheck.\n *\n * Use this for hand-rolled baseline migrations in contract-space\n * extension packages (e.g. `extension-pgvector`, `extension-paradedb`);\n * use the bare {@link createExtension} for planner-emitted ops where the\n * caller already controls idempotency through the surrounding plan.\n */\nexport function installExtension(options: {\n  readonly extensionName: string;\n  readonly invariantId: string;\n  readonly id: string;\n  readonly label?: string;\n}): Op {\n  const { extensionName, invariantId, id } = options;\n  const label = options.label ?? `Enable extension \"${extensionName}\"`;\n  return {\n    id,\n    label,\n    operationClass: 'additive',\n    invariantId,\n    target: {\n      id: 'postgres',\n      details: { schema: 'public', objectType: 'dependency', name: extensionName },\n    },\n    precheck: [\n      step(\n        `verify extension \"${extensionName}\" is not already enabled`,\n        `SELECT NOT EXISTS (SELECT 1 FROM pg_extension WHERE extname = '${extensionName}')`,\n      ),\n    ],\n    execute: [\n      step(\n        `create extension \"${extensionName}\"`,\n        `CREATE EXTENSION IF NOT EXISTS ${extensionName}`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `confirm extension \"${extensionName}\" is enabled`,\n        `SELECT EXISTS (SELECT 1 FROM pg_extension WHERE extname = '${extensionName}')`,\n      ),\n    ],\n  };\n}\n\nexport function createSchema(schemaName: string): Op {\n  return {\n    id: `schema.${schemaName}`,\n    label: `Create schema \"${schemaName}\"`,\n    operationClass: 'additive',\n    target: { id: 'postgres' },\n    precheck: [],\n    execute: [\n      step(\n        `Create schema \"${schemaName}\"`,\n        `CREATE SCHEMA IF NOT EXISTS ${quoteIdentifier(schemaName)}`,\n      ),\n    ],\n    postcheck: [],\n  };\n}\n","import { escapeLiteral, qualifyName, quoteIdentifier } from '../../sql-utils';\nimport { type Op, step, targetDetails } from './shared';\n\nfunction enumTypeExistsCheck(schemaName: string, nativeType: string, exists = true): string {\n  const clause = exists ? 'EXISTS' : 'NOT EXISTS';\n  return `SELECT ${clause} (\n  SELECT 1\n  FROM pg_type t\n  JOIN pg_namespace n ON t.typnamespace = n.oid\n  WHERE n.nspname = '${escapeLiteral(schemaName)}'\n    AND t.typname = '${escapeLiteral(nativeType)}'\n)`;\n}\n\nexport function createEnumType(\n  schemaName: string,\n  typeName: string,\n  values: readonly string[],\n  nativeType: string = typeName,\n): Op {\n  const qualifiedType = qualifyName(schemaName, nativeType);\n  const literalValues = values.map((v) => `'${escapeLiteral(v)}'`).join(', ');\n  return {\n    id: `type.${typeName}`,\n    label: `Create enum type \"${typeName}\"`,\n    operationClass: 'additive',\n    target: targetDetails('type', typeName, schemaName),\n    precheck: [\n      step(\n        `ensure type \"${nativeType}\" does not exist`,\n        enumTypeExistsCheck(schemaName, nativeType, false),\n      ),\n    ],\n    execute: [\n      step(\n        `create enum type \"${typeName}\"`,\n        `CREATE TYPE ${qualifiedType} AS ENUM (${literalValues})`,\n      ),\n    ],\n    postcheck: [\n      step(`verify type \"${nativeType}\" exists`, enumTypeExistsCheck(schemaName, nativeType)),\n    ],\n  };\n}\n\n/**\n * `typeName` is the contract-facing type name (used for id/label).\n * `nativeType` is the Postgres type name to mutate (may differ for external types).\n */\nexport function addEnumValues(\n  schemaName: string,\n  typeName: string,\n  nativeType: string,\n  values: readonly string[],\n): Op {\n  const qualifiedType = qualifyName(schemaName, nativeType);\n  return {\n    id: `type.${typeName}.addValues`,\n    label: `Add values to enum type \"${typeName}\": ${values.join(', ')}`,\n    operationClass: 'additive',\n    target: targetDetails('type', typeName, schemaName),\n    precheck: [\n      step(`ensure type \"${nativeType}\" exists`, enumTypeExistsCheck(schemaName, nativeType)),\n    ],\n    execute: values.map((value) =>\n      step(\n        `add value '${value}' to enum \"${nativeType}\"`,\n        `ALTER TYPE ${qualifiedType} ADD VALUE '${escapeLiteral(value)}'`,\n      ),\n    ),\n    postcheck: [\n      step(`verify type \"${nativeType}\" exists`, enumTypeExistsCheck(schemaName, nativeType)),\n    ],\n  };\n}\n\nexport function dropEnumType(schemaName: string, typeName: string): Op {\n  const qualified = qualifyName(schemaName, typeName);\n  return {\n    id: `type.${typeName}.drop`,\n    label: `Drop enum type \"${typeName}\"`,\n    operationClass: 'destructive',\n    target: targetDetails('type', typeName, schemaName),\n    precheck: [step(`ensure type \"${typeName}\" exists`, enumTypeExistsCheck(schemaName, typeName))],\n    execute: [step(`drop enum type \"${typeName}\"`, `DROP TYPE ${qualified}`)],\n    postcheck: [\n      step(`verify type \"${typeName}\" removed`, enumTypeExistsCheck(schemaName, typeName, false)),\n    ],\n  };\n}\n\nexport function renameType(schemaName: string, fromName: string, toName: string): Op {\n  const qualifiedFrom = qualifyName(schemaName, fromName);\n  return {\n    id: `type.${fromName}.rename`,\n    label: `Rename type \"${fromName}\" to \"${toName}\"`,\n    operationClass: 'destructive',\n    target: targetDetails('type', fromName, schemaName),\n    precheck: [\n      step(`ensure type \"${fromName}\" exists`, enumTypeExistsCheck(schemaName, fromName)),\n      step(\n        `ensure type \"${toName}\" does not already exist`,\n        enumTypeExistsCheck(schemaName, toName, false),\n      ),\n    ],\n    execute: [\n      step(\n        `rename type \"${fromName}\" to \"${toName}\"`,\n        `ALTER TYPE ${qualifiedFrom} RENAME TO ${quoteIdentifier(toName)}`,\n      ),\n    ],\n    postcheck: [step(`verify type \"${toName}\" exists`, enumTypeExistsCheck(schemaName, toName))],\n  };\n}\n","import { escapeLiteral, quoteIdentifier } from '../../sql-utils';\nimport { qualifyTableName, toRegclassLiteral } from '../planner-sql-checks';\nimport { type Op, step, targetDetails } from './shared';\n\nexport interface CreateIndexExtras {\n  readonly type?: string;\n  readonly options?: Record<string, unknown>;\n}\n\nfunction renderIndexOptionValue(key: string, value: unknown): string {\n  if (typeof value === 'string') return `'${escapeLiteral(value)}'`;\n  if (typeof value === 'number' && Number.isFinite(value)) return String(value);\n  if (typeof value === 'boolean') return value ? 'true' : 'false';\n  throw new Error(\n    `Index option \"${key}\" must be a string, finite number, or boolean; got ${typeof value}`,\n  );\n}\n\nfunction renderIndexOptions(options: Record<string, unknown>): string {\n  return Object.entries(options)\n    .map(([key, value]) => `${quoteIdentifier(key)} = ${renderIndexOptionValue(key, value)}`)\n    .join(', ');\n}\n\nexport function createIndex(\n  schemaName: string,\n  tableName: string,\n  indexName: string,\n  columns: readonly string[],\n  extras?: CreateIndexExtras,\n): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  const columnList = columns.map(quoteIdentifier).join(', ');\n  const using = extras?.type ? ` USING ${quoteIdentifier(extras.type)}` : '';\n  const options = extras?.options;\n  const withClause =\n    options && Object.keys(options).length > 0 ? ` WITH (${renderIndexOptions(options)})` : '';\n  return {\n    id: `index.${tableName}.${indexName}`,\n    label: `Create index \"${indexName}\" on \"${tableName}\"`,\n    operationClass: 'additive',\n    target: targetDetails('index', indexName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure index \"${indexName}\" does not exist`,\n        `SELECT to_regclass(${toRegclassLiteral(schemaName, indexName)}) IS NULL`,\n      ),\n    ],\n    execute: [\n      step(\n        `create index \"${indexName}\"`,\n        `CREATE INDEX ${quoteIdentifier(indexName)} ON ${qualified}${using} (${columnList})${withClause}`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify index \"${indexName}\" exists`,\n        `SELECT to_regclass(${toRegclassLiteral(schemaName, indexName)}) IS NOT NULL`,\n      ),\n    ],\n  };\n}\n\nexport function dropIndex(schemaName: string, tableName: string, indexName: string): Op {\n  return {\n    id: `dropIndex.${tableName}.${indexName}`,\n    label: `Drop index \"${indexName}\"`,\n    operationClass: 'destructive',\n    target: targetDetails('index', indexName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure index \"${indexName}\" exists`,\n        `SELECT to_regclass(${toRegclassLiteral(schemaName, indexName)}) IS NOT NULL`,\n      ),\n    ],\n    execute: [\n      step(`drop index \"${indexName}\"`, `DROP INDEX ${qualifyTableName(schemaName, indexName)}`),\n    ],\n    postcheck: [\n      step(\n        `verify index \"${indexName}\" does not exist`,\n        `SELECT to_regclass(${toRegclassLiteral(schemaName, indexName)}) IS NULL`,\n      ),\n    ],\n  };\n}\n","import { quoteIdentifier } from '../../sql-utils';\nimport { qualifyTableName, toRegclassLiteral } from '../planner-sql-checks';\nimport { type ColumnSpec, type Op, renderColumnDefinition, step, targetDetails } from './shared';\n\nexport function createTable(\n  schemaName: string,\n  tableName: string,\n  columns: ReadonlyArray<ColumnSpec>,\n  primaryKey?: { readonly columns: readonly string[] },\n): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  const columnDefs = columns.map(renderColumnDefinition);\n  const constraintDefs: string[] = [];\n  if (primaryKey) {\n    constraintDefs.push(`PRIMARY KEY (${primaryKey.columns.map(quoteIdentifier).join(', ')})`);\n  }\n  const allDefs = [...columnDefs, ...constraintDefs];\n  const createSql = `CREATE TABLE ${qualified} (\\n  ${allDefs.join(',\\n  ')}\\n)`;\n\n  return {\n    id: `table.${tableName}`,\n    label: `Create table \"${tableName}\"`,\n    summary: `Creates table \"${tableName}\"`,\n    operationClass: 'additive',\n    target: targetDetails('table', tableName, schemaName),\n    precheck: [\n      step(\n        `ensure table \"${tableName}\" does not exist`,\n        `SELECT to_regclass(${toRegclassLiteral(schemaName, tableName)}) IS NULL`,\n      ),\n    ],\n    execute: [step(`create table \"${tableName}\"`, createSql)],\n    postcheck: [\n      step(\n        `verify table \"${tableName}\" exists`,\n        `SELECT to_regclass(${toRegclassLiteral(schemaName, tableName)}) IS NOT NULL`,\n      ),\n    ],\n  };\n}\n\nexport function dropTable(schemaName: string, tableName: string): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  return {\n    id: `dropTable.${tableName}`,\n    label: `Drop table \"${tableName}\"`,\n    operationClass: 'destructive',\n    target: targetDetails('table', tableName, schemaName),\n    precheck: [\n      step(\n        `ensure table \"${tableName}\" exists`,\n        `SELECT to_regclass(${toRegclassLiteral(schemaName, tableName)}) IS NOT NULL`,\n      ),\n    ],\n    execute: [step(`drop table \"${tableName}\"`, `DROP TABLE ${qualified}`)],\n    postcheck: [\n      step(\n        `verify table \"${tableName}\" does not exist`,\n        `SELECT to_regclass(${toRegclassLiteral(schemaName, tableName)}) IS NULL`,\n      ),\n    ],\n  };\n}\n"],"mappings":";;;;AA4CA,SAAgB,KAAK,aAAqB,KAAa;CACrD,OAAO;EAAE;EAAa;EAAK;;AAG7B,SAAgB,cACd,YACA,MACA,QACA,OAC0E;CAC1E,OAAO;EACL,IAAI;EACJ,SAAS;GAAE;GAAQ;GAAY;GAAM,GAAG,UAAU,SAAS,MAAM;GAAE;EACpE;;AAGH,SAAgB,uBAAuB,QAA4B;CAOjE,OANc;EACZ,gBAAgB,OAAO,KAAK;EAC5B,OAAO;EACP,OAAO;EACP,OAAO,WAAW,KAAK;EACxB,CAAC,OAAO,QACG,CAAC,KAAK,IAAI;;;;ACzDxB,SAAgB,UAAU,YAAoB,WAAmB,QAAwB;CAQvF,MAAM,SANQ;EACZ,eAFgB,iBAAiB,YAAY,UAErB;EACxB,cAAc,gBAAgB,OAAO,KAAK,CAAC,GAAG,OAAO;EACrD,OAAO;EACP,OAAO,WAAW,KAAK;EACxB,CAAC,OAAO,QACW,CAAC,KAAK,IAAI;CAE9B,OAAO;EACL,IAAI,UAAU,UAAU,GAAG,OAAO;EAClC,OAAO,eAAe,OAAO,KAAK,QAAQ,UAAU;EACpD,gBAAgB;EAChB,QAAQ,cAAc,UAAU,OAAO,MAAM,YAAY,UAAU;EACnE,UAAU,CACR,KACE,kBAAkB,OAAO,KAAK,eAC9B,kBAAkB;GAChB,QAAQ;GACR,OAAO;GACP,QAAQ,OAAO;GACf,QAAQ;GACT,CAAC,CACH,CACF;EACD,SAAS,CAAC,KAAK,eAAe,OAAO,KAAK,IAAI,OAAO,CAAC;EACtD,WAAW,CACT,KACE,kBAAkB,OAAO,KAAK,WAC9B,kBAAkB;GAAE,QAAQ;GAAY,OAAO;GAAW,QAAQ,OAAO;GAAM,CAAC,CACjF,CACF;EACF;;AAGH,SAAgB,WAAW,YAAoB,WAAmB,YAAwB;CACxF,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,OAAO;EACL,IAAI,cAAc,UAAU,GAAG;EAC/B,OAAO,gBAAgB,WAAW,UAAU,UAAU;EACtD,gBAAgB;EAChB,QAAQ,cAAc,UAAU,YAAY,YAAY,UAAU;EAClE,UAAU,CACR,KACE,kBAAkB,WAAW,WAC7B,kBAAkB;GAAE,QAAQ;GAAY,OAAO;GAAW,QAAQ;GAAY,CAAC,CAChF,CACF;EACD,SAAS,CACP,KACE,gBAAgB,WAAW,IAC3B,eAAe,UAAU,eAAe,gBAAgB,WAAW,GACpE,CACF;EACD,WAAW,CACT,KACE,kBAAkB,WAAW,mBAC7B,kBAAkB;GAChB,QAAQ;GACR,OAAO;GACP,QAAQ;GACR,QAAQ;GACT,CAAC,CACH,CACF;EACF;;;;;;;;;;AAWH,SAAgB,gBACd,YACA,WACA,YACA,SAMI;CACJ,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,MAAM,cAAc,QAAQ,QACxB,UAAU,QAAQ,UAClB,UAAU,gBAAgB,WAAW,CAAC,IAAI,QAAQ;CACtD,OAAO;EACL,IAAI,aAAa,UAAU,GAAG;EAC9B,OAAO,kBAAkB,UAAU,KAAK,WAAW,OAAO,QAAQ;EAClE,gBAAgB;EAChB,QAAQ,cAAc,UAAU,YAAY,YAAY,UAAU;EAClE,UAAU,CACR,KACE,kBAAkB,WAAW,WAC7B,kBAAkB;GAAE,QAAQ;GAAY,OAAO;GAAW,QAAQ;GAAY,CAAC,CAChF,CACF;EACD,SAAS,CACP,KACE,kBAAkB,WAAW,IAC7B,eAAe,UAAU,gBAAgB,gBAAgB,WAAW,CAAC,QAAQ,QAAQ,sBAAsB,cAC5G,CACF;EACD,WAAW,CACT,KACE,kBAAkB,WAAW,cAAc,QAAQ,mBAAmB,IACtE,gBAAgB;GACd,QAAQ;GACR,OAAO;GACP,QAAQ;GACR,cAAc,QAAQ;GACvB,CAAC,CACH,CACF;EACD,MAAM,EAAE,SAAS,iBAAiB;EACnC;;AAGH,SAAgB,WAAW,YAAoB,WAAmB,YAAwB;CACxF,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,OAAO;EACL,IAAI,+BAA+B,UAAU,GAAG;EAChD,OAAO,oBAAoB,UAAU,KAAK,WAAW;EACrD,gBAAgB;EAChB,QAAQ,cAAc,UAAU,YAAY,YAAY,UAAU;EAClE,UAAU,CACR,KACE,kBAAkB,WAAW,WAC7B,kBAAkB;GAAE,QAAQ;GAAY,OAAO;GAAW,QAAQ;GAAY,CAAC,CAChF,EACD,KACE,6BAA6B,WAAW,IACxC,oCAAoC,UAAU,SAAS,gBAAgB,WAAW,CAAC,WACpF,CACF;EACD,SAAS,CACP,KACE,oBAAoB,WAAW,IAC/B,eAAe,UAAU,gBAAgB,gBAAgB,WAAW,CAAC,eACtE,CACF;EACD,WAAW,CACT,KACE,kBAAkB,WAAW,gBAC7B,uBAAuB;GACrB,QAAQ;GACR,OAAO;GACP,QAAQ;GACR,UAAU;GACX,CAAC,CACH,CACF;EACF;;AAGH,SAAgB,YAAY,YAAoB,WAAmB,YAAwB;CACzF,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,OAAO;EACL,IAAI,gCAAgC,UAAU,GAAG;EACjD,OAAO,qBAAqB,UAAU,KAAK,WAAW;EACtD,gBAAgB;EAChB,QAAQ,cAAc,UAAU,YAAY,YAAY,UAAU;EAClE,UAAU,CACR,KACE,kBAAkB,WAAW,WAC7B,kBAAkB;GAAE,QAAQ;GAAY,OAAO;GAAW,QAAQ;GAAY,CAAC,CAChF,CACF;EACD,SAAS,CACP,KACE,qBAAqB,WAAW,IAChC,eAAe,UAAU,gBAAgB,gBAAgB,WAAW,CAAC,gBACtE,CACF;EACD,WAAW,CACT,KACE,kBAAkB,WAAW,gBAC7B,uBAAuB;GACrB,QAAQ;GACR,OAAO;GACP,QAAQ;GACR,UAAU;GACX,CAAC,CACH,CACF;EACF;;;;;;;;;;;;AAaH,SAAgB,WACd,YACA,WACA,YACA,YACA,iBAA0C,YACtC;CACJ,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,OAAO;EACL,IAAI,cAAc,UAAU,GAAG;EAC/B,OAAO,mBAAmB,UAAU,KAAK,WAAW;EACpD;EACA,QAAQ,cAAc,UAAU,YAAY,YAAY,UAAU;EAClE,UAAU,CACR,KACE,kBAAkB,WAAW,WAC7B,kBAAkB;GAAE,QAAQ;GAAY,OAAO;GAAW,QAAQ;GAAY,CAAC,CAChF,CACF;EACD,SAAS,CACP,KACE,mBAAmB,WAAW,IAC9B,eAAe,UAAU,gBAAgB,gBAAgB,WAAW,CAAC,OAAO,aAC7E,CACF;EACD,WAAW,CACT,KACE,kBAAkB,WAAW,kBAC7B,yBAAyB;GACvB,QAAQ;GACR,OAAO;GACP,QAAQ;GACR,QAAQ;GACT,CAAC,CACH,CACF;EACF;;AAGH,SAAgB,YAAY,YAAoB,WAAmB,YAAwB;CACzF,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,OAAO;EACL,IAAI,eAAe,UAAU,GAAG;EAChC,OAAO,oBAAoB,UAAU,KAAK,WAAW;EACrD,gBAAgB;EAChB,QAAQ,cAAc,UAAU,YAAY,YAAY,UAAU;EAClE,UAAU,CACR,KACE,kBAAkB,WAAW,WAC7B,kBAAkB;GAAE,QAAQ;GAAY,OAAO;GAAW,QAAQ;GAAY,CAAC,CAChF,CACF;EACD,SAAS,CACP,KACE,oBAAoB,WAAW,IAC/B,eAAe,UAAU,gBAAgB,gBAAgB,WAAW,CAAC,eACtE,CACF;EACD,WAAW,CACT,KACE,kBAAkB,WAAW,mBAC7B,yBAAyB;GACvB,QAAQ;GACR,OAAO;GACP,QAAQ;GACR,QAAQ;GACT,CAAC,CACH,CACF;EACF;;;;ACtRH,MAAM,yBAA4D;CAChE,UAAU;CACV,UAAU;CACV,SAAS;CACT,SAAS;CACT,YAAY;CACb;AAED,SAAS,oBAAoB,YAAoB,WAAmB,IAA4B;CAC9F,IAAI,MAAM,eAAe,iBAAiB,YAAY,UAAU,CAAC;iBAClD,gBAAgB,GAAG,KAAK,CAAC;eAC3B,GAAG,QAAQ,IAAI,gBAAgB,CAAC,KAAK,KAAK,CAAC;aAC7C,iBAAiB,GAAG,WAAW,QAAQ,GAAG,WAAW,MAAM,CAAC,IAAI,GAAG,WAAW,QACtF,IAAI,gBAAgB,CACpB,KAAK,KAAK,CAAC;CAEd,IAAI,GAAG,aAAa,KAAA,GAAW;EAC7B,MAAM,SAAS,uBAAuB,GAAG;EACzC,IAAI,CAAC,QACH,MAAM,IAAI,MAAM,4CAA4C,OAAO,GAAG,SAAS,GAAG;EAEpF,OAAO,eAAe;;CAExB,IAAI,GAAG,aAAa,KAAA,GAAW;EAC7B,MAAM,SAAS,uBAAuB,GAAG;EACzC,IAAI,CAAC,QACH,MAAM,IAAI,MAAM,4CAA4C,OAAO,GAAG,SAAS,GAAG;EAEpF,OAAO,eAAe;;CAExB,OAAO;;AAGT,SAAgB,cACd,YACA,WACA,gBACA,SACI;CACJ,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,MAAM,aAAa,QAAQ,IAAI,gBAAgB,CAAC,KAAK,KAAK;CAC1D,OAAO;EACL,IAAI,cAAc,UAAU,GAAG;EAC/B,OAAO,uBAAuB,UAAU;EACxC,gBAAgB;EAChB,QAAQ,cAAc,cAAc,gBAAgB,YAAY,UAAU;EAC1E,UAAU,CACR,KACE,uBAAuB,eAAe,mBACtC,sBAAsB;GACpB;GACA,QAAQ;GACR,OAAO;GACP,QAAQ;GACT,CAAC,CACH,CACF;EACD,SAAS,CACP,KACE,oBAAoB,eAAe,IACnC,eAAe,UAAU,kBAAkB,gBAAgB,eAAe,CAAC,gBAAgB,WAAW,GACvG,CACF;EACD,WAAW,CACT,KACE,uBAAuB,eAAe,WACtC,sBAAsB;GAAE;GAAgB,QAAQ;GAAY,OAAO;GAAW,CAAC,CAChF,CACF;EACF;;AAGH,SAAgB,UACd,YACA,WACA,gBACA,SACI;CACJ,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,MAAM,aAAa,QAAQ,IAAI,gBAAgB,CAAC,KAAK,KAAK;CAC1D,OAAO;EACL,IAAI,UAAU,UAAU,GAAG;EAC3B,OAAO,6BAA6B,UAAU,KAAK,QAAQ,KAAK,KAAK,CAAC;EACtE,gBAAgB;EAChB,QAAQ,cAAc,UAAU,gBAAgB,YAAY,UAAU;EACtE,UAAU,CACR,KACE,sBAAsB,eAAe,mBACrC,sBAAsB;GACpB;GACA,QAAQ;GACR,OAAO;GACP,QAAQ;GACT,CAAC,CACH,CACF;EACD,SAAS,CACP,KACE,0BAA0B,eAAe,IACzC,eAAe,UAAU,kBAAkB,gBAAgB,eAAe,CAAC,WAAW,WAAW,GAClG,CACF;EACD,WAAW,CACT,KACE,sBAAsB,eAAe,WACrC,sBAAsB;GAAE;GAAgB,QAAQ;GAAY,OAAO;GAAW,CAAC,CAChF,CACF;EACF;;AAGH,SAAgB,cAAc,YAAoB,WAAmB,IAAwB;CAC3F,OAAO;EACL,IAAI,cAAc,UAAU,GAAG,GAAG;EAClC,OAAO,oBAAoB,GAAG,KAAK,QAAQ,UAAU;EACrD,gBAAgB;EAChB,QAAQ,cAAc,cAAc,GAAG,MAAM,YAAY,UAAU;EACnE,UAAU,CACR,KACE,cAAc,GAAG,KAAK,mBACtB,sBAAsB;GACpB,gBAAgB,GAAG;GACnB,QAAQ;GACR,OAAO;GACP,QAAQ;GACT,CAAC,CACH,CACF;EACD,SAAS,CAAC,KAAK,WAAW,GAAG,KAAK,IAAI,oBAAoB,YAAY,WAAW,GAAG,CAAC,CAAC;EACtF,WAAW,CACT,KACE,cAAc,GAAG,KAAK,WACtB,sBAAsB;GACpB,gBAAgB,GAAG;GACnB,QAAQ;GACR,OAAO;GACR,CAAC,CACH,CACF;EACF;;;;;;;;;AAUH,SAAgB,eACd,YACA,WACA,gBACA,OAA+C,UAC3C;CACJ,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,OAAO;EACL,IAAI,kBAAkB,UAAU,GAAG;EACnC,OAAO,oBAAoB,eAAe,QAAQ,UAAU;EAC5D,gBAAgB;EAChB,QAAQ,cAAc,MAAM,gBAAgB,YAAY,UAAU;EAClE,UAAU,CACR,KACE,sBAAsB,eAAe,WACrC,sBAAsB;GAAE;GAAgB,QAAQ;GAAY,OAAO;GAAW,CAAC,CAChF,CACF;EACD,SAAS,CACP,KACE,oBAAoB,eAAe,IACnC,eAAe,UAAU,mBAAmB,gBAAgB,eAAe,GAC5E,CACF;EACD,WAAW,CACT,KACE,sBAAsB,eAAe,mBACrC,sBAAsB;GACpB;GACA,QAAQ;GACR,OAAO;GACP,QAAQ;GACT,CAAC,CACH,CACF;EACF;;;;AC1LH,SAAgB,gBAAgB,eAA2B;CACzD,OAAO;EACL,IAAI,aAAa;EACjB,OAAO,qBAAqB,cAAc;EAC1C,gBAAgB;EAChB,QAAQ,EAAE,IAAI,YAAY;EAC1B,UAAU,EAAE;EACZ,SAAS,CACP,KACE,qBAAqB,cAAc,IACnC,kCAAkC,gBAAgB,cAAc,GACjE,CACF;EACD,WAAW,EAAE;EACd;;;;;;;;;;;;;;;;AAiBH,SAAgB,iBAAiB,SAK1B;CACL,MAAM,EAAE,eAAe,aAAa,OAAO;CAE3C,OAAO;EACL;EACA,OAHY,QAAQ,SAAS,qBAAqB,cAAc;EAIhE,gBAAgB;EAChB;EACA,QAAQ;GACN,IAAI;GACJ,SAAS;IAAE,QAAQ;IAAU,YAAY;IAAc,MAAM;IAAe;GAC7E;EACD,UAAU,CACR,KACE,qBAAqB,cAAc,2BACnC,kEAAkE,cAAc,IACjF,CACF;EACD,SAAS,CACP,KACE,qBAAqB,cAAc,IACnC,kCAAkC,gBACnC,CACF;EACD,WAAW,CACT,KACE,sBAAsB,cAAc,eACpC,8DAA8D,cAAc,IAC7E,CACF;EACF;;AAGH,SAAgB,aAAa,YAAwB;CACnD,OAAO;EACL,IAAI,UAAU;EACd,OAAO,kBAAkB,WAAW;EACpC,gBAAgB;EAChB,QAAQ,EAAE,IAAI,YAAY;EAC1B,UAAU,EAAE;EACZ,SAAS,CACP,KACE,kBAAkB,WAAW,IAC7B,+BAA+B,gBAAgB,WAAW,GAC3D,CACF;EACD,WAAW,EAAE;EACd;;;;ACnFH,SAAS,oBAAoB,YAAoB,YAAoB,SAAS,MAAc;CAE1F,OAAO,UADQ,SAAS,WAAW,aACX;;;;uBAIH,cAAc,WAAW,CAAC;uBAC1B,cAAc,WAAW,CAAC;;;AAIjD,SAAgB,eACd,YACA,UACA,QACA,aAAqB,UACjB;CACJ,MAAM,gBAAgB,YAAY,YAAY,WAAW;CACzD,MAAM,gBAAgB,OAAO,KAAK,MAAM,IAAI,cAAc,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK;CAC3E,OAAO;EACL,IAAI,QAAQ;EACZ,OAAO,qBAAqB,SAAS;EACrC,gBAAgB;EAChB,QAAQ,cAAc,QAAQ,UAAU,WAAW;EACnD,UAAU,CACR,KACE,gBAAgB,WAAW,mBAC3B,oBAAoB,YAAY,YAAY,MAAM,CACnD,CACF;EACD,SAAS,CACP,KACE,qBAAqB,SAAS,IAC9B,eAAe,cAAc,YAAY,cAAc,GACxD,CACF;EACD,WAAW,CACT,KAAK,gBAAgB,WAAW,WAAW,oBAAoB,YAAY,WAAW,CAAC,CACxF;EACF;;;;;;AAOH,SAAgB,cACd,YACA,UACA,YACA,QACI;CACJ,MAAM,gBAAgB,YAAY,YAAY,WAAW;CACzD,OAAO;EACL,IAAI,QAAQ,SAAS;EACrB,OAAO,4BAA4B,SAAS,KAAK,OAAO,KAAK,KAAK;EAClE,gBAAgB;EAChB,QAAQ,cAAc,QAAQ,UAAU,WAAW;EACnD,UAAU,CACR,KAAK,gBAAgB,WAAW,WAAW,oBAAoB,YAAY,WAAW,CAAC,CACxF;EACD,SAAS,OAAO,KAAK,UACnB,KACE,cAAc,MAAM,aAAa,WAAW,IAC5C,cAAc,cAAc,cAAc,cAAc,MAAM,CAAC,GAChE,CACF;EACD,WAAW,CACT,KAAK,gBAAgB,WAAW,WAAW,oBAAoB,YAAY,WAAW,CAAC,CACxF;EACF;;AAGH,SAAgB,aAAa,YAAoB,UAAsB;CACrE,MAAM,YAAY,YAAY,YAAY,SAAS;CACnD,OAAO;EACL,IAAI,QAAQ,SAAS;EACrB,OAAO,mBAAmB,SAAS;EACnC,gBAAgB;EAChB,QAAQ,cAAc,QAAQ,UAAU,WAAW;EACnD,UAAU,CAAC,KAAK,gBAAgB,SAAS,WAAW,oBAAoB,YAAY,SAAS,CAAC,CAAC;EAC/F,SAAS,CAAC,KAAK,mBAAmB,SAAS,IAAI,aAAa,YAAY,CAAC;EACzE,WAAW,CACT,KAAK,gBAAgB,SAAS,YAAY,oBAAoB,YAAY,UAAU,MAAM,CAAC,CAC5F;EACF;;AAGH,SAAgB,WAAW,YAAoB,UAAkB,QAAoB;CACnF,MAAM,gBAAgB,YAAY,YAAY,SAAS;CACvD,OAAO;EACL,IAAI,QAAQ,SAAS;EACrB,OAAO,gBAAgB,SAAS,QAAQ,OAAO;EAC/C,gBAAgB;EAChB,QAAQ,cAAc,QAAQ,UAAU,WAAW;EACnD,UAAU,CACR,KAAK,gBAAgB,SAAS,WAAW,oBAAoB,YAAY,SAAS,CAAC,EACnF,KACE,gBAAgB,OAAO,2BACvB,oBAAoB,YAAY,QAAQ,MAAM,CAC/C,CACF;EACD,SAAS,CACP,KACE,gBAAgB,SAAS,QAAQ,OAAO,IACxC,cAAc,cAAc,aAAa,gBAAgB,OAAO,GACjE,CACF;EACD,WAAW,CAAC,KAAK,gBAAgB,OAAO,WAAW,oBAAoB,YAAY,OAAO,CAAC,CAAC;EAC7F;;;;ACvGH,SAAS,uBAAuB,KAAa,OAAwB;CACnE,IAAI,OAAO,UAAU,UAAU,OAAO,IAAI,cAAc,MAAM,CAAC;CAC/D,IAAI,OAAO,UAAU,YAAY,OAAO,SAAS,MAAM,EAAE,OAAO,OAAO,MAAM;CAC7E,IAAI,OAAO,UAAU,WAAW,OAAO,QAAQ,SAAS;CACxD,MAAM,IAAI,MACR,iBAAiB,IAAI,qDAAqD,OAAO,QAClF;;AAGH,SAAS,mBAAmB,SAA0C;CACpE,OAAO,OAAO,QAAQ,QAAQ,CAC3B,KAAK,CAAC,KAAK,WAAW,GAAG,gBAAgB,IAAI,CAAC,KAAK,uBAAuB,KAAK,MAAM,GAAG,CACxF,KAAK,KAAK;;AAGf,SAAgB,YACd,YACA,WACA,WACA,SACA,QACI;CACJ,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,MAAM,aAAa,QAAQ,IAAI,gBAAgB,CAAC,KAAK,KAAK;CAC1D,MAAM,QAAQ,QAAQ,OAAO,UAAU,gBAAgB,OAAO,KAAK,KAAK;CACxE,MAAM,UAAU,QAAQ;CACxB,MAAM,aACJ,WAAW,OAAO,KAAK,QAAQ,CAAC,SAAS,IAAI,UAAU,mBAAmB,QAAQ,CAAC,KAAK;CAC1F,OAAO;EACL,IAAI,SAAS,UAAU,GAAG;EAC1B,OAAO,iBAAiB,UAAU,QAAQ,UAAU;EACpD,gBAAgB;EAChB,QAAQ,cAAc,SAAS,WAAW,YAAY,UAAU;EAChE,UAAU,CACR,KACE,iBAAiB,UAAU,mBAC3B,sBAAsB,kBAAkB,YAAY,UAAU,CAAC,WAChE,CACF;EACD,SAAS,CACP,KACE,iBAAiB,UAAU,IAC3B,gBAAgB,gBAAgB,UAAU,CAAC,MAAM,YAAY,MAAM,IAAI,WAAW,GAAG,aACtF,CACF;EACD,WAAW,CACT,KACE,iBAAiB,UAAU,WAC3B,sBAAsB,kBAAkB,YAAY,UAAU,CAAC,eAChE,CACF;EACF;;AAGH,SAAgB,UAAU,YAAoB,WAAmB,WAAuB;CACtF,OAAO;EACL,IAAI,aAAa,UAAU,GAAG;EAC9B,OAAO,eAAe,UAAU;EAChC,gBAAgB;EAChB,QAAQ,cAAc,SAAS,WAAW,YAAY,UAAU;EAChE,UAAU,CACR,KACE,iBAAiB,UAAU,WAC3B,sBAAsB,kBAAkB,YAAY,UAAU,CAAC,eAChE,CACF;EACD,SAAS,CACP,KAAK,eAAe,UAAU,IAAI,cAAc,iBAAiB,YAAY,UAAU,GAAG,CAC3F;EACD,WAAW,CACT,KACE,iBAAiB,UAAU,mBAC3B,sBAAsB,kBAAkB,YAAY,UAAU,CAAC,WAChE,CACF;EACF;;;;AChFH,SAAgB,YACd,YACA,WACA,SACA,YACI;CACJ,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,MAAM,aAAa,QAAQ,IAAI,uBAAuB;CACtD,MAAM,iBAA2B,EAAE;CACnC,IAAI,YACF,eAAe,KAAK,gBAAgB,WAAW,QAAQ,IAAI,gBAAgB,CAAC,KAAK,KAAK,CAAC,GAAG;CAG5F,MAAM,YAAY,gBAAgB,UAAU,QAAQ,CADnC,GAAG,YAAY,GAAG,eACwB,CAAC,KAAK,QAAQ,CAAC;CAE1E,OAAO;EACL,IAAI,SAAS;EACb,OAAO,iBAAiB,UAAU;EAClC,SAAS,kBAAkB,UAAU;EACrC,gBAAgB;EAChB,QAAQ,cAAc,SAAS,WAAW,WAAW;EACrD,UAAU,CACR,KACE,iBAAiB,UAAU,mBAC3B,sBAAsB,kBAAkB,YAAY,UAAU,CAAC,WAChE,CACF;EACD,SAAS,CAAC,KAAK,iBAAiB,UAAU,IAAI,UAAU,CAAC;EACzD,WAAW,CACT,KACE,iBAAiB,UAAU,WAC3B,sBAAsB,kBAAkB,YAAY,UAAU,CAAC,eAChE,CACF;EACF;;AAGH,SAAgB,UAAU,YAAoB,WAAuB;CACnE,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,OAAO;EACL,IAAI,aAAa;EACjB,OAAO,eAAe,UAAU;EAChC,gBAAgB;EAChB,QAAQ,cAAc,SAAS,WAAW,WAAW;EACrD,UAAU,CACR,KACE,iBAAiB,UAAU,WAC3B,sBAAsB,kBAAkB,YAAY,UAAU,CAAC,eAChE,CACF;EACD,SAAS,CAAC,KAAK,eAAe,UAAU,IAAI,cAAc,YAAY,CAAC;EACvE,WAAW,CACT,KACE,iBAAiB,UAAU,mBAC3B,sBAAsB,kBAAkB,YAAY,UAAU,CAAC,WAChE,CACF;EACF"}
+{"version":3,"file":"tables-CWxZgD0H.mjs","names":[],"sources":["../src/core/migrations/operations/shared.ts","../src/core/migrations/operations/columns.ts","../src/core/migrations/operations/constraints.ts","../src/core/migrations/operations/dependencies.ts","../src/core/migrations/operations/enums.ts","../src/core/migrations/operations/indexes.ts","../src/core/migrations/operations/tables.ts"],"sourcesContent":["import type { SqlMigrationPlanOperation } from '@prisma-next/family-sql/control';\nimport type { ReferentialAction } from '@prisma-next/sql-contract/types';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { quoteIdentifier } from '../../sql-utils';\nimport type { OperationClass, PostgresPlanTargetDetails } from '../planner-target-details';\n\nexport type Op = SqlMigrationPlanOperation<PostgresPlanTargetDetails>;\n\n/**\n * Literal-args shape for a column definition consumed by `createTable` and\n * `addColumn`. Fully materialized: codec expansion and default rendering have\n * already happened in the wrapper.\n *\n * - `typeSql` is the column's DDL type string (e.g. `\"integer\"`, `\"SERIAL\"`,\n *   `\"varchar(100)\"`), already produced by `buildColumnTypeSql` in the\n *   call-factory wrapper.\n * - `defaultSql` is the full `DEFAULT …` clause (e.g. `\"DEFAULT 42\"`) or an\n *   empty string when the column has no default, matching\n *   `buildColumnDefaultSql`'s output.\n */\nexport interface ColumnSpec {\n  readonly name: string;\n  readonly typeSql: string;\n  readonly defaultSql: string;\n  readonly nullable: boolean;\n}\n\n/**\n * Literal-args shape for a foreign key definition. `references.schema`\n * carries the target table's namespace (schema) coordinate so the rendered\n * DDL qualifies the REFERENCES clause correctly for cross-schema FKs.\n */\nexport interface ForeignKeySpec {\n  readonly name: string;\n  readonly columns: readonly string[];\n  readonly references: {\n    readonly schema: string;\n    readonly table: string;\n    readonly columns: readonly string[];\n  };\n  readonly onDelete?: ReferentialAction;\n  readonly onUpdate?: ReferentialAction;\n}\n\nexport function step(description: string, sql: string) {\n  return { description, sql };\n}\n\nexport function targetDetails(\n  objectType: OperationClass,\n  name: string,\n  schema: string,\n  table?: string,\n): { readonly id: 'postgres'; readonly details: PostgresPlanTargetDetails } {\n  return {\n    id: 'postgres',\n    details: { schema, objectType, name, ...ifDefined('table', table) },\n  };\n}\n\nexport function renderColumnDefinition(column: ColumnSpec): string {\n  const parts = [\n    quoteIdentifier(column.name),\n    column.typeSql,\n    column.defaultSql,\n    column.nullable ? '' : 'NOT NULL',\n  ].filter(Boolean);\n  return parts.join(' ');\n}\n","import { quoteIdentifier } from '../../sql-utils';\nimport {\n  columnDefaultExistsCheck,\n  columnExistsCheck,\n  columnNullabilityCheck,\n  columnTypeCheck,\n  qualifyTableName,\n} from '../planner-sql-checks';\nimport { type ColumnSpec, type Op, step, targetDetails } from './shared';\n\nexport function addColumn(schemaName: string, tableName: string, column: ColumnSpec): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  const parts = [\n    `ALTER TABLE ${qualified}`,\n    `ADD COLUMN ${quoteIdentifier(column.name)} ${column.typeSql}`,\n    column.defaultSql,\n    column.nullable ? '' : 'NOT NULL',\n  ].filter(Boolean);\n  const addSql = parts.join(' ');\n\n  return {\n    id: `column.${tableName}.${column.name}`,\n    label: `Add column \"${column.name}\" to \"${tableName}\"`,\n    operationClass: 'additive',\n    target: targetDetails('column', column.name, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure column \"${column.name}\" is missing`,\n        columnExistsCheck({\n          schema: schemaName,\n          table: tableName,\n          column: column.name,\n          exists: false,\n        }),\n      ),\n    ],\n    execute: [step(`add column \"${column.name}\"`, addSql)],\n    postcheck: [\n      step(\n        `verify column \"${column.name}\" exists`,\n        columnExistsCheck({ schema: schemaName, table: tableName, column: column.name }),\n      ),\n    ],\n  };\n}\n\nexport function dropColumn(schemaName: string, tableName: string, columnName: string): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  return {\n    id: `dropColumn.${tableName}.${columnName}`,\n    label: `Drop column \"${columnName}\" from \"${tableName}\"`,\n    operationClass: 'destructive',\n    target: targetDetails('column', columnName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure column \"${columnName}\" exists`,\n        columnExistsCheck({ schema: schemaName, table: tableName, column: columnName }),\n      ),\n    ],\n    execute: [\n      step(\n        `drop column \"${columnName}\"`,\n        `ALTER TABLE ${qualified} DROP COLUMN ${quoteIdentifier(columnName)}`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify column \"${columnName}\" does not exist`,\n        columnExistsCheck({\n          schema: schemaName,\n          table: tableName,\n          column: columnName,\n          exists: false,\n        }),\n      ),\n    ],\n  };\n}\n\n/**\n * `qualifiedTargetType` is the new column type as it appears in the\n * `ALTER COLUMN TYPE` clause (schema-qualified for user-defined types, raw\n * native name for built-ins). `formatTypeExpected` is the unqualified\n * `format_type` form used in the postcheck. `rawTargetTypeForLabel` is the\n * string appearing in the human-readable label (typically `toType` when\n * explicit, else the column's native type).\n */\nexport function alterColumnType(\n  schemaName: string,\n  tableName: string,\n  columnName: string,\n  options: {\n    readonly qualifiedTargetType: string;\n    readonly formatTypeExpected: string;\n    readonly rawTargetTypeForLabel: string;\n    readonly using?: string;\n  },\n): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  const usingClause = options.using\n    ? ` USING ${options.using}`\n    : ` USING ${quoteIdentifier(columnName)}::${options.qualifiedTargetType}`;\n  return {\n    id: `alterType.${tableName}.${columnName}`,\n    label: `Alter type of \"${tableName}\".\"${columnName}\" to ${options.rawTargetTypeForLabel}`,\n    operationClass: 'destructive',\n    target: targetDetails('column', columnName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure column \"${columnName}\" exists`,\n        columnExistsCheck({ schema: schemaName, table: tableName, column: columnName }),\n      ),\n    ],\n    execute: [\n      step(\n        `alter type of \"${columnName}\"`,\n        `ALTER TABLE ${qualified} ALTER COLUMN ${quoteIdentifier(columnName)} TYPE ${options.qualifiedTargetType}${usingClause}`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify column \"${columnName}\" has type \"${options.formatTypeExpected}\"`,\n        columnTypeCheck({\n          schema: schemaName,\n          table: tableName,\n          column: columnName,\n          expectedType: options.formatTypeExpected,\n        }),\n      ),\n    ],\n    meta: { warning: 'TABLE_REWRITE' },\n  };\n}\n\nexport function setNotNull(schemaName: string, tableName: string, columnName: string): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  return {\n    id: `alterNullability.setNotNull.${tableName}.${columnName}`,\n    label: `Set NOT NULL on \"${tableName}\".\"${columnName}\"`,\n    operationClass: 'destructive',\n    target: targetDetails('column', columnName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure column \"${columnName}\" exists`,\n        columnExistsCheck({ schema: schemaName, table: tableName, column: columnName }),\n      ),\n      step(\n        `ensure no NULL values in \"${columnName}\"`,\n        `SELECT NOT EXISTS (SELECT 1 FROM ${qualified} WHERE ${quoteIdentifier(columnName)} IS NULL)`,\n      ),\n    ],\n    execute: [\n      step(\n        `set NOT NULL on \"${columnName}\"`,\n        `ALTER TABLE ${qualified} ALTER COLUMN ${quoteIdentifier(columnName)} SET NOT NULL`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify column \"${columnName}\" is NOT NULL`,\n        columnNullabilityCheck({\n          schema: schemaName,\n          table: tableName,\n          column: columnName,\n          nullable: false,\n        }),\n      ),\n    ],\n  };\n}\n\nexport function dropNotNull(schemaName: string, tableName: string, columnName: string): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  return {\n    id: `alterNullability.dropNotNull.${tableName}.${columnName}`,\n    label: `Drop NOT NULL on \"${tableName}\".\"${columnName}\"`,\n    operationClass: 'widening',\n    target: targetDetails('column', columnName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure column \"${columnName}\" exists`,\n        columnExistsCheck({ schema: schemaName, table: tableName, column: columnName }),\n      ),\n    ],\n    execute: [\n      step(\n        `drop NOT NULL on \"${columnName}\"`,\n        `ALTER TABLE ${qualified} ALTER COLUMN ${quoteIdentifier(columnName)} DROP NOT NULL`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify column \"${columnName}\" is nullable`,\n        columnNullabilityCheck({\n          schema: schemaName,\n          table: tableName,\n          column: columnName,\n          nullable: true,\n        }),\n      ),\n    ],\n  };\n}\n\n/**\n * `defaultSql` is the full `DEFAULT …` clause as produced by\n * `buildColumnDefaultSql` — e.g. `\"DEFAULT 42\"`,\n * `\"DEFAULT (CURRENT_TIMESTAMP)\"`, or `\"DEFAULT nextval('seq'::regclass)\"`.\n *\n * `operationClass` defaults to `'additive'` (setting a default on a column\n * that currently has none). The reconciliation planner passes `'widening'`\n * when the column already has a different default — policy enforcement\n * treats that as a widening change rather than an additive one.\n */\nexport function setDefault(\n  schemaName: string,\n  tableName: string,\n  columnName: string,\n  defaultSql: string,\n  operationClass: 'additive' | 'widening' = 'additive',\n): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  return {\n    id: `setDefault.${tableName}.${columnName}`,\n    label: `Set default on \"${tableName}\".\"${columnName}\"`,\n    operationClass,\n    target: targetDetails('column', columnName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure column \"${columnName}\" exists`,\n        columnExistsCheck({ schema: schemaName, table: tableName, column: columnName }),\n      ),\n    ],\n    execute: [\n      step(\n        `set default on \"${columnName}\"`,\n        `ALTER TABLE ${qualified} ALTER COLUMN ${quoteIdentifier(columnName)} SET ${defaultSql}`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify column \"${columnName}\" has a default`,\n        columnDefaultExistsCheck({\n          schema: schemaName,\n          table: tableName,\n          column: columnName,\n          exists: true,\n        }),\n      ),\n    ],\n  };\n}\n\nexport function dropDefault(schemaName: string, tableName: string, columnName: string): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  return {\n    id: `dropDefault.${tableName}.${columnName}`,\n    label: `Drop default on \"${tableName}\".\"${columnName}\"`,\n    operationClass: 'destructive',\n    target: targetDetails('column', columnName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure column \"${columnName}\" exists`,\n        columnExistsCheck({ schema: schemaName, table: tableName, column: columnName }),\n      ),\n    ],\n    execute: [\n      step(\n        `drop default on \"${columnName}\"`,\n        `ALTER TABLE ${qualified} ALTER COLUMN ${quoteIdentifier(columnName)} DROP DEFAULT`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify column \"${columnName}\" has no default`,\n        columnDefaultExistsCheck({\n          schema: schemaName,\n          table: tableName,\n          column: columnName,\n          exists: false,\n        }),\n      ),\n    ],\n  };\n}\n","import type { ReferentialAction } from '@prisma-next/sql-contract/types';\nimport { quoteIdentifier } from '../../sql-utils';\nimport { constraintExistsCheck, qualifyTableName } from '../planner-sql-checks';\nimport { type ForeignKeySpec, type Op, step, targetDetails } from './shared';\n\nconst REFERENTIAL_ACTION_SQL: Record<ReferentialAction, string> = {\n  noAction: 'NO ACTION',\n  restrict: 'RESTRICT',\n  cascade: 'CASCADE',\n  setNull: 'SET NULL',\n  setDefault: 'SET DEFAULT',\n};\n\nfunction renderForeignKeySql(schemaName: string, tableName: string, fk: ForeignKeySpec): string {\n  let sql = `ALTER TABLE ${qualifyTableName(schemaName, tableName)}\nADD CONSTRAINT ${quoteIdentifier(fk.name)}\nFOREIGN KEY (${fk.columns.map(quoteIdentifier).join(', ')})\nREFERENCES ${qualifyTableName(fk.references.schema, fk.references.table)} (${fk.references.columns\n    .map(quoteIdentifier)\n    .join(', ')})`;\n\n  if (fk.onDelete !== undefined) {\n    const action = REFERENTIAL_ACTION_SQL[fk.onDelete];\n    if (!action) {\n      throw new Error(`Unknown referential action for onDelete: ${String(fk.onDelete)}`);\n    }\n    sql += `\\nON DELETE ${action}`;\n  }\n  if (fk.onUpdate !== undefined) {\n    const action = REFERENTIAL_ACTION_SQL[fk.onUpdate];\n    if (!action) {\n      throw new Error(`Unknown referential action for onUpdate: ${String(fk.onUpdate)}`);\n    }\n    sql += `\\nON UPDATE ${action}`;\n  }\n  return sql;\n}\n\nexport function addPrimaryKey(\n  schemaName: string,\n  tableName: string,\n  constraintName: string,\n  columns: readonly string[],\n): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  const columnList = columns.map(quoteIdentifier).join(', ');\n  return {\n    id: `primaryKey.${tableName}.${constraintName}`,\n    label: `Add primary key on \"${tableName}\"`,\n    operationClass: 'additive',\n    target: targetDetails('primaryKey', constraintName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure primary key \"${constraintName}\" does not exist`,\n        constraintExistsCheck({\n          constraintName,\n          schema: schemaName,\n          table: tableName,\n          exists: false,\n        }),\n      ),\n    ],\n    execute: [\n      step(\n        `add primary key \"${constraintName}\"`,\n        `ALTER TABLE ${qualified} ADD CONSTRAINT ${quoteIdentifier(constraintName)} PRIMARY KEY (${columnList})`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify primary key \"${constraintName}\" exists`,\n        constraintExistsCheck({ constraintName, schema: schemaName, table: tableName }),\n      ),\n    ],\n  };\n}\n\nexport function addUnique(\n  schemaName: string,\n  tableName: string,\n  constraintName: string,\n  columns: readonly string[],\n): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  const columnList = columns.map(quoteIdentifier).join(', ');\n  return {\n    id: `unique.${tableName}.${constraintName}`,\n    label: `Add unique constraint on \"${tableName}\" (${columns.join(', ')})`,\n    operationClass: 'additive',\n    target: targetDetails('unique', constraintName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure constraint \"${constraintName}\" does not exist`,\n        constraintExistsCheck({\n          constraintName,\n          schema: schemaName,\n          table: tableName,\n          exists: false,\n        }),\n      ),\n    ],\n    execute: [\n      step(\n        `add unique constraint \"${constraintName}\"`,\n        `ALTER TABLE ${qualified} ADD CONSTRAINT ${quoteIdentifier(constraintName)} UNIQUE (${columnList})`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify constraint \"${constraintName}\" exists`,\n        constraintExistsCheck({ constraintName, schema: schemaName, table: tableName }),\n      ),\n    ],\n  };\n}\n\nexport function addForeignKey(schemaName: string, tableName: string, fk: ForeignKeySpec): Op {\n  return {\n    id: `foreignKey.${tableName}.${fk.name}`,\n    label: `Add foreign key \"${fk.name}\" on \"${tableName}\"`,\n    operationClass: 'additive',\n    target: targetDetails('foreignKey', fk.name, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure FK \"${fk.name}\" does not exist`,\n        constraintExistsCheck({\n          constraintName: fk.name,\n          schema: schemaName,\n          table: tableName,\n          exists: false,\n        }),\n      ),\n    ],\n    execute: [step(`add FK \"${fk.name}\"`, renderForeignKeySql(schemaName, tableName, fk))],\n    postcheck: [\n      step(\n        `verify FK \"${fk.name}\" exists`,\n        constraintExistsCheck({\n          constraintName: fk.name,\n          schema: schemaName,\n          table: tableName,\n        }),\n      ),\n    ],\n  };\n}\n\n/**\n * `kind` feeds the operation's `target.details.objectType`. Descriptor-flow\n * does not carry kind information in its drop-constraint descriptor, so the\n * default is `'unique'`. The reconciliation planner passes the correct kind\n * (`'foreignKey'`, `'primaryKey'`, or `'unique'`) based on the `SchemaIssue`\n * that produced the drop.\n */\nexport function dropConstraint(\n  schemaName: string,\n  tableName: string,\n  constraintName: string,\n  kind: 'foreignKey' | 'unique' | 'primaryKey' = 'unique',\n): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  return {\n    id: `dropConstraint.${tableName}.${constraintName}`,\n    label: `Drop constraint \"${constraintName}\" on \"${tableName}\"`,\n    operationClass: 'destructive',\n    target: targetDetails(kind, constraintName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure constraint \"${constraintName}\" exists`,\n        constraintExistsCheck({ constraintName, schema: schemaName, table: tableName }),\n      ),\n    ],\n    execute: [\n      step(\n        `drop constraint \"${constraintName}\"`,\n        `ALTER TABLE ${qualified} DROP CONSTRAINT ${quoteIdentifier(constraintName)}`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify constraint \"${constraintName}\" does not exist`,\n        constraintExistsCheck({\n          constraintName,\n          schema: schemaName,\n          table: tableName,\n          exists: false,\n        }),\n      ),\n    ],\n  };\n}\n","import { quoteIdentifier } from '../../sql-utils';\nimport { type Op, step } from './shared';\n\nexport function createExtension(extensionName: string): Op {\n  return {\n    id: `extension.${extensionName}`,\n    label: `Create extension \"${extensionName}\"`,\n    operationClass: 'additive',\n    target: { id: 'postgres' },\n    precheck: [],\n    execute: [\n      step(\n        `Create extension \"${extensionName}\"`,\n        `CREATE EXTENSION IF NOT EXISTS ${quoteIdentifier(extensionName)}`,\n      ),\n    ],\n    postcheck: [],\n  };\n}\n\n/**\n * Install a Postgres extension as the baseline op for an extension-pack\n * contract space. Layered on top of {@link createExtension}: stamps an\n * `invariantId` (required so the per-space marker records the install),\n * scopes the op `id` under a caller-chosen namespace (e.g. `pgvector.`),\n * and emits pre- and postcheck SQL probing `pg_extension`. The richer\n * shape lets the runner's idempotency probe skip the install on re-run\n * (postcheck-pre-satisfied) without firing the precheck.\n *\n * Use this for hand-rolled baseline migrations in contract-space\n * extension packages (e.g. `extension-pgvector`, `extension-paradedb`);\n * use the bare {@link createExtension} for planner-emitted ops where the\n * caller already controls idempotency through the surrounding plan.\n */\nexport function installExtension(options: {\n  readonly extensionName: string;\n  readonly invariantId: string;\n  readonly id: string;\n  readonly label?: string;\n}): Op {\n  const { extensionName, invariantId, id } = options;\n  const label = options.label ?? `Enable extension \"${extensionName}\"`;\n  return {\n    id,\n    label,\n    operationClass: 'additive',\n    invariantId,\n    target: {\n      id: 'postgres',\n      details: { schema: 'public', objectType: 'dependency', name: extensionName },\n    },\n    precheck: [\n      step(\n        `verify extension \"${extensionName}\" is not already enabled`,\n        `SELECT NOT EXISTS (SELECT 1 FROM pg_extension WHERE extname = '${extensionName}')`,\n      ),\n    ],\n    execute: [\n      step(\n        `create extension \"${extensionName}\"`,\n        `CREATE EXTENSION IF NOT EXISTS ${extensionName}`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `confirm extension \"${extensionName}\" is enabled`,\n        `SELECT EXISTS (SELECT 1 FROM pg_extension WHERE extname = '${extensionName}')`,\n      ),\n    ],\n  };\n}\n\nexport function createSchema(schemaName: string): Op {\n  return {\n    id: `schema.${schemaName}`,\n    label: `Create schema \"${schemaName}\"`,\n    operationClass: 'additive',\n    target: { id: 'postgres' },\n    precheck: [],\n    execute: [\n      step(\n        `Create schema \"${schemaName}\"`,\n        `CREATE SCHEMA IF NOT EXISTS ${quoteIdentifier(schemaName)}`,\n      ),\n    ],\n    postcheck: [],\n  };\n}\n","import { escapeLiteral, qualifyName, quoteIdentifier } from '../../sql-utils';\nimport { type Op, step, targetDetails } from './shared';\n\nfunction enumTypeExistsCheck(schemaName: string, nativeType: string, exists = true): string {\n  const clause = exists ? 'EXISTS' : 'NOT EXISTS';\n  return `SELECT ${clause} (\n  SELECT 1\n  FROM pg_type t\n  JOIN pg_namespace n ON t.typnamespace = n.oid\n  WHERE n.nspname = '${escapeLiteral(schemaName)}'\n    AND t.typname = '${escapeLiteral(nativeType)}'\n)`;\n}\n\nexport function createEnumType(\n  schemaName: string,\n  typeName: string,\n  values: readonly string[],\n  nativeType: string = typeName,\n): Op {\n  const qualifiedType = qualifyName(schemaName, nativeType);\n  const literalValues = values.map((v) => `'${escapeLiteral(v)}'`).join(', ');\n  return {\n    id: `type.${typeName}`,\n    label: `Create enum type \"${typeName}\"`,\n    operationClass: 'additive',\n    target: targetDetails('type', typeName, schemaName),\n    precheck: [\n      step(\n        `ensure type \"${nativeType}\" does not exist`,\n        enumTypeExistsCheck(schemaName, nativeType, false),\n      ),\n    ],\n    execute: [\n      step(\n        `create enum type \"${typeName}\"`,\n        `CREATE TYPE ${qualifiedType} AS ENUM (${literalValues})`,\n      ),\n    ],\n    postcheck: [\n      step(`verify type \"${nativeType}\" exists`, enumTypeExistsCheck(schemaName, nativeType)),\n    ],\n  };\n}\n\n/**\n * `typeName` is the contract-facing type name (used for id/label).\n * `nativeType` is the Postgres type name to mutate (may differ for external types).\n */\nexport function addEnumValues(\n  schemaName: string,\n  typeName: string,\n  nativeType: string,\n  values: readonly string[],\n): Op {\n  const qualifiedType = qualifyName(schemaName, nativeType);\n  return {\n    id: `type.${typeName}.addValues`,\n    label: `Add values to enum type \"${typeName}\": ${values.join(', ')}`,\n    operationClass: 'additive',\n    target: targetDetails('type', typeName, schemaName),\n    precheck: [\n      step(`ensure type \"${nativeType}\" exists`, enumTypeExistsCheck(schemaName, nativeType)),\n    ],\n    execute: values.map((value) =>\n      step(\n        `add value '${value}' to enum \"${nativeType}\"`,\n        `ALTER TYPE ${qualifiedType} ADD VALUE '${escapeLiteral(value)}'`,\n      ),\n    ),\n    postcheck: [\n      step(`verify type \"${nativeType}\" exists`, enumTypeExistsCheck(schemaName, nativeType)),\n    ],\n  };\n}\n\nexport function dropEnumType(schemaName: string, typeName: string): Op {\n  const qualified = qualifyName(schemaName, typeName);\n  return {\n    id: `type.${typeName}.drop`,\n    label: `Drop enum type \"${typeName}\"`,\n    operationClass: 'destructive',\n    target: targetDetails('type', typeName, schemaName),\n    precheck: [step(`ensure type \"${typeName}\" exists`, enumTypeExistsCheck(schemaName, typeName))],\n    execute: [step(`drop enum type \"${typeName}\"`, `DROP TYPE ${qualified}`)],\n    postcheck: [\n      step(`verify type \"${typeName}\" removed`, enumTypeExistsCheck(schemaName, typeName, false)),\n    ],\n  };\n}\n\nexport function renameType(schemaName: string, fromName: string, toName: string): Op {\n  const qualifiedFrom = qualifyName(schemaName, fromName);\n  return {\n    id: `type.${fromName}.rename`,\n    label: `Rename type \"${fromName}\" to \"${toName}\"`,\n    operationClass: 'destructive',\n    target: targetDetails('type', fromName, schemaName),\n    precheck: [\n      step(`ensure type \"${fromName}\" exists`, enumTypeExistsCheck(schemaName, fromName)),\n      step(\n        `ensure type \"${toName}\" does not already exist`,\n        enumTypeExistsCheck(schemaName, toName, false),\n      ),\n    ],\n    execute: [\n      step(\n        `rename type \"${fromName}\" to \"${toName}\"`,\n        `ALTER TYPE ${qualifiedFrom} RENAME TO ${quoteIdentifier(toName)}`,\n      ),\n    ],\n    postcheck: [step(`verify type \"${toName}\" exists`, enumTypeExistsCheck(schemaName, toName))],\n  };\n}\n","import { escapeLiteral, quoteIdentifier } from '../../sql-utils';\nimport { qualifyTableName, toRegclassLiteral } from '../planner-sql-checks';\nimport { type Op, step, targetDetails } from './shared';\n\nexport interface CreateIndexExtras {\n  readonly type?: string;\n  readonly options?: Record<string, unknown>;\n}\n\nfunction renderIndexOptionValue(key: string, value: unknown): string {\n  if (typeof value === 'string') return `'${escapeLiteral(value)}'`;\n  if (typeof value === 'number' && Number.isFinite(value)) return String(value);\n  if (typeof value === 'boolean') return value ? 'true' : 'false';\n  throw new Error(\n    `Index option \"${key}\" must be a string, finite number, or boolean; got ${typeof value}`,\n  );\n}\n\nfunction renderIndexOptions(options: Record<string, unknown>): string {\n  return Object.entries(options)\n    .map(([key, value]) => `${quoteIdentifier(key)} = ${renderIndexOptionValue(key, value)}`)\n    .join(', ');\n}\n\nexport function createIndex(\n  schemaName: string,\n  tableName: string,\n  indexName: string,\n  columns: readonly string[],\n  extras?: CreateIndexExtras,\n): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  const columnList = columns.map(quoteIdentifier).join(', ');\n  const using = extras?.type ? ` USING ${quoteIdentifier(extras.type)}` : '';\n  const options = extras?.options;\n  const withClause =\n    options && Object.keys(options).length > 0 ? ` WITH (${renderIndexOptions(options)})` : '';\n  return {\n    id: `index.${tableName}.${indexName}`,\n    label: `Create index \"${indexName}\" on \"${tableName}\"`,\n    operationClass: 'additive',\n    target: targetDetails('index', indexName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure index \"${indexName}\" does not exist`,\n        `SELECT to_regclass(${toRegclassLiteral(schemaName, indexName)}) IS NULL`,\n      ),\n    ],\n    execute: [\n      step(\n        `create index \"${indexName}\"`,\n        `CREATE INDEX ${quoteIdentifier(indexName)} ON ${qualified}${using} (${columnList})${withClause}`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify index \"${indexName}\" exists`,\n        `SELECT to_regclass(${toRegclassLiteral(schemaName, indexName)}) IS NOT NULL`,\n      ),\n    ],\n  };\n}\n\nexport function dropIndex(schemaName: string, tableName: string, indexName: string): Op {\n  return {\n    id: `dropIndex.${tableName}.${indexName}`,\n    label: `Drop index \"${indexName}\"`,\n    operationClass: 'destructive',\n    target: targetDetails('index', indexName, schemaName, tableName),\n    precheck: [\n      step(\n        `ensure index \"${indexName}\" exists`,\n        `SELECT to_regclass(${toRegclassLiteral(schemaName, indexName)}) IS NOT NULL`,\n      ),\n    ],\n    execute: [\n      step(`drop index \"${indexName}\"`, `DROP INDEX ${qualifyTableName(schemaName, indexName)}`),\n    ],\n    postcheck: [\n      step(\n        `verify index \"${indexName}\" does not exist`,\n        `SELECT to_regclass(${toRegclassLiteral(schemaName, indexName)}) IS NULL`,\n      ),\n    ],\n  };\n}\n","import { quoteIdentifier } from '../../sql-utils';\nimport { qualifyTableName, toRegclassLiteral } from '../planner-sql-checks';\nimport { type ColumnSpec, type Op, renderColumnDefinition, step, targetDetails } from './shared';\n\nexport function createTable(\n  schemaName: string,\n  tableName: string,\n  columns: ReadonlyArray<ColumnSpec>,\n  primaryKey?: { readonly columns: readonly string[] },\n): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  const columnDefs = columns.map(renderColumnDefinition);\n  const constraintDefs: string[] = [];\n  if (primaryKey) {\n    constraintDefs.push(`PRIMARY KEY (${primaryKey.columns.map(quoteIdentifier).join(', ')})`);\n  }\n  const allDefs = [...columnDefs, ...constraintDefs];\n  const createSql = `CREATE TABLE ${qualified} (\\n  ${allDefs.join(',\\n  ')}\\n)`;\n\n  return {\n    id: `table.${tableName}`,\n    label: `Create table \"${tableName}\"`,\n    summary: `Creates table \"${tableName}\"`,\n    operationClass: 'additive',\n    target: targetDetails('table', tableName, schemaName),\n    precheck: [\n      step(\n        `ensure table \"${tableName}\" does not exist`,\n        `SELECT to_regclass(${toRegclassLiteral(schemaName, tableName)}) IS NULL`,\n      ),\n    ],\n    execute: [step(`create table \"${tableName}\"`, createSql)],\n    postcheck: [\n      step(\n        `verify table \"${tableName}\" exists`,\n        `SELECT to_regclass(${toRegclassLiteral(schemaName, tableName)}) IS NOT NULL`,\n      ),\n    ],\n  };\n}\n\nexport function dropTable(schemaName: string, tableName: string): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  return {\n    id: `dropTable.${tableName}`,\n    label: `Drop table \"${tableName}\"`,\n    operationClass: 'destructive',\n    target: targetDetails('table', tableName, schemaName),\n    precheck: [\n      step(\n        `ensure table \"${tableName}\" exists`,\n        `SELECT to_regclass(${toRegclassLiteral(schemaName, tableName)}) IS NOT NULL`,\n      ),\n    ],\n    execute: [step(`drop table \"${tableName}\"`, `DROP TABLE ${qualified}`)],\n    postcheck: [\n      step(\n        `verify table \"${tableName}\" does not exist`,\n        `SELECT to_regclass(${toRegclassLiteral(schemaName, tableName)}) IS NULL`,\n      ),\n    ],\n  };\n}\n"],"mappings":";;;;AA4CA,SAAgB,KAAK,aAAqB,KAAa;CACrD,OAAO;EAAE;EAAa;EAAK;;AAG7B,SAAgB,cACd,YACA,MACA,QACA,OAC0E;CAC1E,OAAO;EACL,IAAI;EACJ,SAAS;GAAE;GAAQ;GAAY;GAAM,GAAG,UAAU,SAAS,MAAM;GAAE;EACpE;;AAGH,SAAgB,uBAAuB,QAA4B;CAOjE,OANc;EACZ,gBAAgB,OAAO,KAAK;EAC5B,OAAO;EACP,OAAO;EACP,OAAO,WAAW,KAAK;EACxB,CAAC,OAAO,QACG,CAAC,KAAK,IAAI;;;;ACzDxB,SAAgB,UAAU,YAAoB,WAAmB,QAAwB;CAQvF,MAAM,SANQ;EACZ,eAFgB,iBAAiB,YAAY,UAErB;EACxB,cAAc,gBAAgB,OAAO,KAAK,CAAC,GAAG,OAAO;EACrD,OAAO;EACP,OAAO,WAAW,KAAK;EACxB,CAAC,OAAO,QACW,CAAC,KAAK,IAAI;CAE9B,OAAO;EACL,IAAI,UAAU,UAAU,GAAG,OAAO;EAClC,OAAO,eAAe,OAAO,KAAK,QAAQ,UAAU;EACpD,gBAAgB;EAChB,QAAQ,cAAc,UAAU,OAAO,MAAM,YAAY,UAAU;EACnE,UAAU,CACR,KACE,kBAAkB,OAAO,KAAK,eAC9B,kBAAkB;GAChB,QAAQ;GACR,OAAO;GACP,QAAQ,OAAO;GACf,QAAQ;GACT,CAAC,CACH,CACF;EACD,SAAS,CAAC,KAAK,eAAe,OAAO,KAAK,IAAI,OAAO,CAAC;EACtD,WAAW,CACT,KACE,kBAAkB,OAAO,KAAK,WAC9B,kBAAkB;GAAE,QAAQ;GAAY,OAAO;GAAW,QAAQ,OAAO;GAAM,CAAC,CACjF,CACF;EACF;;AAGH,SAAgB,WAAW,YAAoB,WAAmB,YAAwB;CACxF,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,OAAO;EACL,IAAI,cAAc,UAAU,GAAG;EAC/B,OAAO,gBAAgB,WAAW,UAAU,UAAU;EACtD,gBAAgB;EAChB,QAAQ,cAAc,UAAU,YAAY,YAAY,UAAU;EAClE,UAAU,CACR,KACE,kBAAkB,WAAW,WAC7B,kBAAkB;GAAE,QAAQ;GAAY,OAAO;GAAW,QAAQ;GAAY,CAAC,CAChF,CACF;EACD,SAAS,CACP,KACE,gBAAgB,WAAW,IAC3B,eAAe,UAAU,eAAe,gBAAgB,WAAW,GACpE,CACF;EACD,WAAW,CACT,KACE,kBAAkB,WAAW,mBAC7B,kBAAkB;GAChB,QAAQ;GACR,OAAO;GACP,QAAQ;GACR,QAAQ;GACT,CAAC,CACH,CACF;EACF;;;;;;;;;;AAWH,SAAgB,gBACd,YACA,WACA,YACA,SAMI;CACJ,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,MAAM,cAAc,QAAQ,QACxB,UAAU,QAAQ,UAClB,UAAU,gBAAgB,WAAW,CAAC,IAAI,QAAQ;CACtD,OAAO;EACL,IAAI,aAAa,UAAU,GAAG;EAC9B,OAAO,kBAAkB,UAAU,KAAK,WAAW,OAAO,QAAQ;EAClE,gBAAgB;EAChB,QAAQ,cAAc,UAAU,YAAY,YAAY,UAAU;EAClE,UAAU,CACR,KACE,kBAAkB,WAAW,WAC7B,kBAAkB;GAAE,QAAQ;GAAY,OAAO;GAAW,QAAQ;GAAY,CAAC,CAChF,CACF;EACD,SAAS,CACP,KACE,kBAAkB,WAAW,IAC7B,eAAe,UAAU,gBAAgB,gBAAgB,WAAW,CAAC,QAAQ,QAAQ,sBAAsB,cAC5G,CACF;EACD,WAAW,CACT,KACE,kBAAkB,WAAW,cAAc,QAAQ,mBAAmB,IACtE,gBAAgB;GACd,QAAQ;GACR,OAAO;GACP,QAAQ;GACR,cAAc,QAAQ;GACvB,CAAC,CACH,CACF;EACD,MAAM,EAAE,SAAS,iBAAiB;EACnC;;AAGH,SAAgB,WAAW,YAAoB,WAAmB,YAAwB;CACxF,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,OAAO;EACL,IAAI,+BAA+B,UAAU,GAAG;EAChD,OAAO,oBAAoB,UAAU,KAAK,WAAW;EACrD,gBAAgB;EAChB,QAAQ,cAAc,UAAU,YAAY,YAAY,UAAU;EAClE,UAAU,CACR,KACE,kBAAkB,WAAW,WAC7B,kBAAkB;GAAE,QAAQ;GAAY,OAAO;GAAW,QAAQ;GAAY,CAAC,CAChF,EACD,KACE,6BAA6B,WAAW,IACxC,oCAAoC,UAAU,SAAS,gBAAgB,WAAW,CAAC,WACpF,CACF;EACD,SAAS,CACP,KACE,oBAAoB,WAAW,IAC/B,eAAe,UAAU,gBAAgB,gBAAgB,WAAW,CAAC,eACtE,CACF;EACD,WAAW,CACT,KACE,kBAAkB,WAAW,gBAC7B,uBAAuB;GACrB,QAAQ;GACR,OAAO;GACP,QAAQ;GACR,UAAU;GACX,CAAC,CACH,CACF;EACF;;AAGH,SAAgB,YAAY,YAAoB,WAAmB,YAAwB;CACzF,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,OAAO;EACL,IAAI,gCAAgC,UAAU,GAAG;EACjD,OAAO,qBAAqB,UAAU,KAAK,WAAW;EACtD,gBAAgB;EAChB,QAAQ,cAAc,UAAU,YAAY,YAAY,UAAU;EAClE,UAAU,CACR,KACE,kBAAkB,WAAW,WAC7B,kBAAkB;GAAE,QAAQ;GAAY,OAAO;GAAW,QAAQ;GAAY,CAAC,CAChF,CACF;EACD,SAAS,CACP,KACE,qBAAqB,WAAW,IAChC,eAAe,UAAU,gBAAgB,gBAAgB,WAAW,CAAC,gBACtE,CACF;EACD,WAAW,CACT,KACE,kBAAkB,WAAW,gBAC7B,uBAAuB;GACrB,QAAQ;GACR,OAAO;GACP,QAAQ;GACR,UAAU;GACX,CAAC,CACH,CACF;EACF;;;;;;;;;;;;AAaH,SAAgB,WACd,YACA,WACA,YACA,YACA,iBAA0C,YACtC;CACJ,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,OAAO;EACL,IAAI,cAAc,UAAU,GAAG;EAC/B,OAAO,mBAAmB,UAAU,KAAK,WAAW;EACpD;EACA,QAAQ,cAAc,UAAU,YAAY,YAAY,UAAU;EAClE,UAAU,CACR,KACE,kBAAkB,WAAW,WAC7B,kBAAkB;GAAE,QAAQ;GAAY,OAAO;GAAW,QAAQ;GAAY,CAAC,CAChF,CACF;EACD,SAAS,CACP,KACE,mBAAmB,WAAW,IAC9B,eAAe,UAAU,gBAAgB,gBAAgB,WAAW,CAAC,OAAO,aAC7E,CACF;EACD,WAAW,CACT,KACE,kBAAkB,WAAW,kBAC7B,yBAAyB;GACvB,QAAQ;GACR,OAAO;GACP,QAAQ;GACR,QAAQ;GACT,CAAC,CACH,CACF;EACF;;AAGH,SAAgB,YAAY,YAAoB,WAAmB,YAAwB;CACzF,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,OAAO;EACL,IAAI,eAAe,UAAU,GAAG;EAChC,OAAO,oBAAoB,UAAU,KAAK,WAAW;EACrD,gBAAgB;EAChB,QAAQ,cAAc,UAAU,YAAY,YAAY,UAAU;EAClE,UAAU,CACR,KACE,kBAAkB,WAAW,WAC7B,kBAAkB;GAAE,QAAQ;GAAY,OAAO;GAAW,QAAQ;GAAY,CAAC,CAChF,CACF;EACD,SAAS,CACP,KACE,oBAAoB,WAAW,IAC/B,eAAe,UAAU,gBAAgB,gBAAgB,WAAW,CAAC,eACtE,CACF;EACD,WAAW,CACT,KACE,kBAAkB,WAAW,mBAC7B,yBAAyB;GACvB,QAAQ;GACR,OAAO;GACP,QAAQ;GACR,QAAQ;GACT,CAAC,CACH,CACF;EACF;;;;ACtRH,MAAM,yBAA4D;CAChE,UAAU;CACV,UAAU;CACV,SAAS;CACT,SAAS;CACT,YAAY;CACb;AAED,SAAS,oBAAoB,YAAoB,WAAmB,IAA4B;CAC9F,IAAI,MAAM,eAAe,iBAAiB,YAAY,UAAU,CAAC;iBAClD,gBAAgB,GAAG,KAAK,CAAC;eAC3B,GAAG,QAAQ,IAAI,gBAAgB,CAAC,KAAK,KAAK,CAAC;aAC7C,iBAAiB,GAAG,WAAW,QAAQ,GAAG,WAAW,MAAM,CAAC,IAAI,GAAG,WAAW,QACtF,IAAI,gBAAgB,CACpB,KAAK,KAAK,CAAC;CAEd,IAAI,GAAG,aAAa,KAAA,GAAW;EAC7B,MAAM,SAAS,uBAAuB,GAAG;EACzC,IAAI,CAAC,QACH,MAAM,IAAI,MAAM,4CAA4C,OAAO,GAAG,SAAS,GAAG;EAEpF,OAAO,eAAe;;CAExB,IAAI,GAAG,aAAa,KAAA,GAAW;EAC7B,MAAM,SAAS,uBAAuB,GAAG;EACzC,IAAI,CAAC,QACH,MAAM,IAAI,MAAM,4CAA4C,OAAO,GAAG,SAAS,GAAG;EAEpF,OAAO,eAAe;;CAExB,OAAO;;AAGT,SAAgB,cACd,YACA,WACA,gBACA,SACI;CACJ,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,MAAM,aAAa,QAAQ,IAAI,gBAAgB,CAAC,KAAK,KAAK;CAC1D,OAAO;EACL,IAAI,cAAc,UAAU,GAAG;EAC/B,OAAO,uBAAuB,UAAU;EACxC,gBAAgB;EAChB,QAAQ,cAAc,cAAc,gBAAgB,YAAY,UAAU;EAC1E,UAAU,CACR,KACE,uBAAuB,eAAe,mBACtC,sBAAsB;GACpB;GACA,QAAQ;GACR,OAAO;GACP,QAAQ;GACT,CAAC,CACH,CACF;EACD,SAAS,CACP,KACE,oBAAoB,eAAe,IACnC,eAAe,UAAU,kBAAkB,gBAAgB,eAAe,CAAC,gBAAgB,WAAW,GACvG,CACF;EACD,WAAW,CACT,KACE,uBAAuB,eAAe,WACtC,sBAAsB;GAAE;GAAgB,QAAQ;GAAY,OAAO;GAAW,CAAC,CAChF,CACF;EACF;;AAGH,SAAgB,UACd,YACA,WACA,gBACA,SACI;CACJ,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,MAAM,aAAa,QAAQ,IAAI,gBAAgB,CAAC,KAAK,KAAK;CAC1D,OAAO;EACL,IAAI,UAAU,UAAU,GAAG;EAC3B,OAAO,6BAA6B,UAAU,KAAK,QAAQ,KAAK,KAAK,CAAC;EACtE,gBAAgB;EAChB,QAAQ,cAAc,UAAU,gBAAgB,YAAY,UAAU;EACtE,UAAU,CACR,KACE,sBAAsB,eAAe,mBACrC,sBAAsB;GACpB;GACA,QAAQ;GACR,OAAO;GACP,QAAQ;GACT,CAAC,CACH,CACF;EACD,SAAS,CACP,KACE,0BAA0B,eAAe,IACzC,eAAe,UAAU,kBAAkB,gBAAgB,eAAe,CAAC,WAAW,WAAW,GAClG,CACF;EACD,WAAW,CACT,KACE,sBAAsB,eAAe,WACrC,sBAAsB;GAAE;GAAgB,QAAQ;GAAY,OAAO;GAAW,CAAC,CAChF,CACF;EACF;;AAGH,SAAgB,cAAc,YAAoB,WAAmB,IAAwB;CAC3F,OAAO;EACL,IAAI,cAAc,UAAU,GAAG,GAAG;EAClC,OAAO,oBAAoB,GAAG,KAAK,QAAQ,UAAU;EACrD,gBAAgB;EAChB,QAAQ,cAAc,cAAc,GAAG,MAAM,YAAY,UAAU;EACnE,UAAU,CACR,KACE,cAAc,GAAG,KAAK,mBACtB,sBAAsB;GACpB,gBAAgB,GAAG;GACnB,QAAQ;GACR,OAAO;GACP,QAAQ;GACT,CAAC,CACH,CACF;EACD,SAAS,CAAC,KAAK,WAAW,GAAG,KAAK,IAAI,oBAAoB,YAAY,WAAW,GAAG,CAAC,CAAC;EACtF,WAAW,CACT,KACE,cAAc,GAAG,KAAK,WACtB,sBAAsB;GACpB,gBAAgB,GAAG;GACnB,QAAQ;GACR,OAAO;GACR,CAAC,CACH,CACF;EACF;;;;;;;;;AAUH,SAAgB,eACd,YACA,WACA,gBACA,OAA+C,UAC3C;CACJ,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,OAAO;EACL,IAAI,kBAAkB,UAAU,GAAG;EACnC,OAAO,oBAAoB,eAAe,QAAQ,UAAU;EAC5D,gBAAgB;EAChB,QAAQ,cAAc,MAAM,gBAAgB,YAAY,UAAU;EAClE,UAAU,CACR,KACE,sBAAsB,eAAe,WACrC,sBAAsB;GAAE;GAAgB,QAAQ;GAAY,OAAO;GAAW,CAAC,CAChF,CACF;EACD,SAAS,CACP,KACE,oBAAoB,eAAe,IACnC,eAAe,UAAU,mBAAmB,gBAAgB,eAAe,GAC5E,CACF;EACD,WAAW,CACT,KACE,sBAAsB,eAAe,mBACrC,sBAAsB;GACpB;GACA,QAAQ;GACR,OAAO;GACP,QAAQ;GACT,CAAC,CACH,CACF;EACF;;;;AC1LH,SAAgB,gBAAgB,eAA2B;CACzD,OAAO;EACL,IAAI,aAAa;EACjB,OAAO,qBAAqB,cAAc;EAC1C,gBAAgB;EAChB,QAAQ,EAAE,IAAI,YAAY;EAC1B,UAAU,EAAE;EACZ,SAAS,CACP,KACE,qBAAqB,cAAc,IACnC,kCAAkC,gBAAgB,cAAc,GACjE,CACF;EACD,WAAW,EAAE;EACd;;;;;;;;;;;;;;;;AAiBH,SAAgB,iBAAiB,SAK1B;CACL,MAAM,EAAE,eAAe,aAAa,OAAO;CAE3C,OAAO;EACL;EACA,OAHY,QAAQ,SAAS,qBAAqB,cAAc;EAIhE,gBAAgB;EAChB;EACA,QAAQ;GACN,IAAI;GACJ,SAAS;IAAE,QAAQ;IAAU,YAAY;IAAc,MAAM;IAAe;GAC7E;EACD,UAAU,CACR,KACE,qBAAqB,cAAc,2BACnC,kEAAkE,cAAc,IACjF,CACF;EACD,SAAS,CACP,KACE,qBAAqB,cAAc,IACnC,kCAAkC,gBACnC,CACF;EACD,WAAW,CACT,KACE,sBAAsB,cAAc,eACpC,8DAA8D,cAAc,IAC7E,CACF;EACF;;AAGH,SAAgB,aAAa,YAAwB;CACnD,OAAO;EACL,IAAI,UAAU;EACd,OAAO,kBAAkB,WAAW;EACpC,gBAAgB;EAChB,QAAQ,EAAE,IAAI,YAAY;EAC1B,UAAU,EAAE;EACZ,SAAS,CACP,KACE,kBAAkB,WAAW,IAC7B,+BAA+B,gBAAgB,WAAW,GAC3D,CACF;EACD,WAAW,EAAE;EACd;;;;ACnFH,SAAS,oBAAoB,YAAoB,YAAoB,SAAS,MAAc;CAE1F,OAAO,UADQ,SAAS,WAAW,aACX;;;;uBAIH,cAAc,WAAW,CAAC;uBAC1B,cAAc,WAAW,CAAC;;;AAIjD,SAAgB,eACd,YACA,UACA,QACA,aAAqB,UACjB;CACJ,MAAM,gBAAgB,YAAY,YAAY,WAAW;CACzD,MAAM,gBAAgB,OAAO,KAAK,MAAM,IAAI,cAAc,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK;CAC3E,OAAO;EACL,IAAI,QAAQ;EACZ,OAAO,qBAAqB,SAAS;EACrC,gBAAgB;EAChB,QAAQ,cAAc,QAAQ,UAAU,WAAW;EACnD,UAAU,CACR,KACE,gBAAgB,WAAW,mBAC3B,oBAAoB,YAAY,YAAY,MAAM,CACnD,CACF;EACD,SAAS,CACP,KACE,qBAAqB,SAAS,IAC9B,eAAe,cAAc,YAAY,cAAc,GACxD,CACF;EACD,WAAW,CACT,KAAK,gBAAgB,WAAW,WAAW,oBAAoB,YAAY,WAAW,CAAC,CACxF;EACF;;;;;;AAOH,SAAgB,cACd,YACA,UACA,YACA,QACI;CACJ,MAAM,gBAAgB,YAAY,YAAY,WAAW;CACzD,OAAO;EACL,IAAI,QAAQ,SAAS;EACrB,OAAO,4BAA4B,SAAS,KAAK,OAAO,KAAK,KAAK;EAClE,gBAAgB;EAChB,QAAQ,cAAc,QAAQ,UAAU,WAAW;EACnD,UAAU,CACR,KAAK,gBAAgB,WAAW,WAAW,oBAAoB,YAAY,WAAW,CAAC,CACxF;EACD,SAAS,OAAO,KAAK,UACnB,KACE,cAAc,MAAM,aAAa,WAAW,IAC5C,cAAc,cAAc,cAAc,cAAc,MAAM,CAAC,GAChE,CACF;EACD,WAAW,CACT,KAAK,gBAAgB,WAAW,WAAW,oBAAoB,YAAY,WAAW,CAAC,CACxF;EACF;;AAGH,SAAgB,aAAa,YAAoB,UAAsB;CACrE,MAAM,YAAY,YAAY,YAAY,SAAS;CACnD,OAAO;EACL,IAAI,QAAQ,SAAS;EACrB,OAAO,mBAAmB,SAAS;EACnC,gBAAgB;EAChB,QAAQ,cAAc,QAAQ,UAAU,WAAW;EACnD,UAAU,CAAC,KAAK,gBAAgB,SAAS,WAAW,oBAAoB,YAAY,SAAS,CAAC,CAAC;EAC/F,SAAS,CAAC,KAAK,mBAAmB,SAAS,IAAI,aAAa,YAAY,CAAC;EACzE,WAAW,CACT,KAAK,gBAAgB,SAAS,YAAY,oBAAoB,YAAY,UAAU,MAAM,CAAC,CAC5F;EACF;;AAGH,SAAgB,WAAW,YAAoB,UAAkB,QAAoB;CACnF,MAAM,gBAAgB,YAAY,YAAY,SAAS;CACvD,OAAO;EACL,IAAI,QAAQ,SAAS;EACrB,OAAO,gBAAgB,SAAS,QAAQ,OAAO;EAC/C,gBAAgB;EAChB,QAAQ,cAAc,QAAQ,UAAU,WAAW;EACnD,UAAU,CACR,KAAK,gBAAgB,SAAS,WAAW,oBAAoB,YAAY,SAAS,CAAC,EACnF,KACE,gBAAgB,OAAO,2BACvB,oBAAoB,YAAY,QAAQ,MAAM,CAC/C,CACF;EACD,SAAS,CACP,KACE,gBAAgB,SAAS,QAAQ,OAAO,IACxC,cAAc,cAAc,aAAa,gBAAgB,OAAO,GACjE,CACF;EACD,WAAW,CAAC,KAAK,gBAAgB,OAAO,WAAW,oBAAoB,YAAY,OAAO,CAAC,CAAC;EAC7F;;;;ACvGH,SAAS,uBAAuB,KAAa,OAAwB;CACnE,IAAI,OAAO,UAAU,UAAU,OAAO,IAAI,cAAc,MAAM,CAAC;CAC/D,IAAI,OAAO,UAAU,YAAY,OAAO,SAAS,MAAM,EAAE,OAAO,OAAO,MAAM;CAC7E,IAAI,OAAO,UAAU,WAAW,OAAO,QAAQ,SAAS;CACxD,MAAM,IAAI,MACR,iBAAiB,IAAI,qDAAqD,OAAO,QAClF;;AAGH,SAAS,mBAAmB,SAA0C;CACpE,OAAO,OAAO,QAAQ,QAAQ,CAC3B,KAAK,CAAC,KAAK,WAAW,GAAG,gBAAgB,IAAI,CAAC,KAAK,uBAAuB,KAAK,MAAM,GAAG,CACxF,KAAK,KAAK;;AAGf,SAAgB,YACd,YACA,WACA,WACA,SACA,QACI;CACJ,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,MAAM,aAAa,QAAQ,IAAI,gBAAgB,CAAC,KAAK,KAAK;CAC1D,MAAM,QAAQ,QAAQ,OAAO,UAAU,gBAAgB,OAAO,KAAK,KAAK;CACxE,MAAM,UAAU,QAAQ;CACxB,MAAM,aACJ,WAAW,OAAO,KAAK,QAAQ,CAAC,SAAS,IAAI,UAAU,mBAAmB,QAAQ,CAAC,KAAK;CAC1F,OAAO;EACL,IAAI,SAAS,UAAU,GAAG;EAC1B,OAAO,iBAAiB,UAAU,QAAQ,UAAU;EACpD,gBAAgB;EAChB,QAAQ,cAAc,SAAS,WAAW,YAAY,UAAU;EAChE,UAAU,CACR,KACE,iBAAiB,UAAU,mBAC3B,sBAAsB,kBAAkB,YAAY,UAAU,CAAC,WAChE,CACF;EACD,SAAS,CACP,KACE,iBAAiB,UAAU,IAC3B,gBAAgB,gBAAgB,UAAU,CAAC,MAAM,YAAY,MAAM,IAAI,WAAW,GAAG,aACtF,CACF;EACD,WAAW,CACT,KACE,iBAAiB,UAAU,WAC3B,sBAAsB,kBAAkB,YAAY,UAAU,CAAC,eAChE,CACF;EACF;;AAGH,SAAgB,UAAU,YAAoB,WAAmB,WAAuB;CACtF,OAAO;EACL,IAAI,aAAa,UAAU,GAAG;EAC9B,OAAO,eAAe,UAAU;EAChC,gBAAgB;EAChB,QAAQ,cAAc,SAAS,WAAW,YAAY,UAAU;EAChE,UAAU,CACR,KACE,iBAAiB,UAAU,WAC3B,sBAAsB,kBAAkB,YAAY,UAAU,CAAC,eAChE,CACF;EACD,SAAS,CACP,KAAK,eAAe,UAAU,IAAI,cAAc,iBAAiB,YAAY,UAAU,GAAG,CAC3F;EACD,WAAW,CACT,KACE,iBAAiB,UAAU,mBAC3B,sBAAsB,kBAAkB,YAAY,UAAU,CAAC,WAChE,CACF;EACF;;;;AChFH,SAAgB,YACd,YACA,WACA,SACA,YACI;CACJ,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,MAAM,aAAa,QAAQ,IAAI,uBAAuB;CACtD,MAAM,iBAA2B,EAAE;CACnC,IAAI,YACF,eAAe,KAAK,gBAAgB,WAAW,QAAQ,IAAI,gBAAgB,CAAC,KAAK,KAAK,CAAC,GAAG;CAG5F,MAAM,YAAY,gBAAgB,UAAU,QAAQ,CADnC,GAAG,YAAY,GAAG,eACwB,CAAC,KAAK,QAAQ,CAAC;CAE1E,OAAO;EACL,IAAI,SAAS;EACb,OAAO,iBAAiB,UAAU;EAClC,SAAS,kBAAkB,UAAU;EACrC,gBAAgB;EAChB,QAAQ,cAAc,SAAS,WAAW,WAAW;EACrD,UAAU,CACR,KACE,iBAAiB,UAAU,mBAC3B,sBAAsB,kBAAkB,YAAY,UAAU,CAAC,WAChE,CACF;EACD,SAAS,CAAC,KAAK,iBAAiB,UAAU,IAAI,UAAU,CAAC;EACzD,WAAW,CACT,KACE,iBAAiB,UAAU,WAC3B,sBAAsB,kBAAkB,YAAY,UAAU,CAAC,eAChE,CACF;EACF;;AAGH,SAAgB,UAAU,YAAoB,WAAuB;CACnE,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,OAAO;EACL,IAAI,aAAa;EACjB,OAAO,eAAe,UAAU;EAChC,gBAAgB;EAChB,QAAQ,cAAc,SAAS,WAAW,WAAW;EACrD,UAAU,CACR,KACE,iBAAiB,UAAU,WAC3B,sBAAsB,kBAAkB,YAAY,UAAU,CAAC,eAChE,CACF;EACD,SAAS,CAAC,KAAK,eAAe,UAAU,IAAI,cAAc,YAAY,CAAC;EACvE,WAAW,CACT,KACE,iBAAiB,UAAU,mBAC3B,sBAAsB,kBAAkB,YAAY,UAAU,CAAC,WAChE,CACF;EACF"}

package/dist/types.d.mts

@@ -31,7 +31,7 @@ declare class PostgresSchema extends NamespaceBase {
    * — same identity).
    */
   static unbound: PostgresUnboundSchema;
-  readonly kind: "schema";
+  readonly kind: 'schema';
   readonly id: string;
   readonly tables: Readonly<Record<string, StorageTable>>;
   readonly types: Readonly<Record<string, PostgresEnumType>>;

package/dist/types.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.mts","names":[],"sources":["../src/core/postgres-schema.ts"],"mappings":";;;;;;UAciB,mBAAA;EAAA,SACN,EAAA;EAAA,SACA,MAAA,GAAS,MAAA,SAAe,YAAA,GAAe,iBAAA;EAAA,SACvC,KAAA,GAAQ,MAAA,SAAe,gBAAA,GAAmB,qBAAA;AAAA;;;;;;;;;;;;;;cAgBxC,cAAA,SAAuB,aAAA;EAhBzB;;;;;;AAgBX;EAhBW,OAwBF,OAAA,EAAS,qBAAA;EAAA,SAEP,IAAA;EAAA,SACA,EAAA;EAAA,SACA,MAAA,EAAQ,QAAA,CAAS,MAAA,SAAe,YAAA;EAAA,SAChC,KAAA,EAAO,QAAA,CAAS,MAAA,SAAe,gBAAA;cAE5B,KAAA,EAAO,mBAAA;EAFqB;;;;;EA6BxC,SAAA,CAAA;EA1C+C;;;;;;EAoD/C,YAAA,CAAa,SAAA;EAxCJ;;;;;;EAkDT,eAAA,CAAgB,IAAA;EAjDwB;;;;;;;;EA6DxC,mBAAA,CAAA;EAAA;;;;;;AAiCF;;;;EAnBE,aAAA,CAAc,QAAA,EAAU,UAAA;AAAA;;;;;;;;;;;;;;;cAmBb,qBAAA,SAA8B,cAAA;EAAA,gBACzB,QAAA,EAAU,qBAAA;cAEd,KAAA,GAAQ,mBAAA;EAIX,SAAA,CAAA;EAIA,YAAA,CAAa,SAAA;EAIb,mBAAA,CAAA;;;;;;;;;;EAaA,aAAA,CAAc,OAAA,EAAS,UAAA;AAAA;;;;;;;;;;;;iBAkClB,uBAAA,CAAwB,KAAA,EAAO,uBAAA,GAA0B,cAAA"}
+{"version":3,"file":"types.d.mts","names":[],"sources":["../src/core/postgres-schema.ts"],"mappings":";;;;;;UAciB,mBAAA;EAAA,SACN,EAAA;EAAA,SACA,MAAA,GAAS,MAAA,SAAe,YAAA,GAAe,iBAAA;EAAA,SACvC,KAAA,GAAQ,MAAA,SAAe,gBAAA,GAAmB,qBAAA;AAAA;;;;;;;;;;;;;;cAgBxC,cAAA,SAAuB,aAAA;EAhBzB;;;;;;AAgBX;EAhBW,OAwBF,OAAA,EAAS,qBAAA;EAAA,SAEC,IAAA;EAAA,SACR,EAAA;EAAA,SACA,MAAA,EAAQ,QAAA,CAAS,MAAA,SAAe,YAAA;EAAA,SAChC,KAAA,EAAO,QAAA,CAAS,MAAA,SAAe,gBAAA;cAE5B,KAAA,EAAO,mBAAA;EAFqB;;;;;EAmCxC,SAAA,CAAA;EAhD+C;;;;;;EA0D/C,YAAA,CAAa,SAAA;EA9CJ;;;;;;EAwDT,eAAA,CAAgB,IAAA;EAvDwB;;;;;;;;EAmExC,mBAAA,CAAA;EAAA;;;;;;AAiCF;;;;EAnBE,aAAA,CAAc,QAAA,EAAU,UAAA;AAAA;;;;;;;;;;;;;;;cAmBb,qBAAA,SAA8B,cAAA;EAAA,gBACzB,QAAA,EAAU,qBAAA;cAEd,KAAA,GAAQ,mBAAA;EAIX,SAAA,CAAA;EAIA,YAAA,CAAa,SAAA;EAIb,mBAAA,CAAA;;;;;;;;;;EAaA,aAAA,CAAc,OAAA,EAAS,UAAA;AAAA;;;;;;;;;;;;iBAkClB,uBAAA,CAAwB,KAAA,EAAO,uBAAA,GAA0B,cAAA"}

package/dist/types.mjs

@@ -1,3 +1,3 @@
 import { t as PostgresEnumType } from "./postgres-enum-type-DS-KLVRH.mjs";
-import { i as postgresCreateNamespace, n as PostgresUnboundSchema, t as PostgresSchema } from "./postgres-schema-BosNxhWq.mjs";
+import { i as postgresCreateNamespace, n as PostgresUnboundSchema, t as PostgresSchema } from "./postgres-schema-CK82EuWq.mjs";
 export { PostgresEnumType, PostgresSchema, PostgresUnboundSchema, postgresCreateNamespace };

package/package.json

@@ -1,32 +1,32 @@
 {
   "name": "@prisma-next/target-postgres",
-  "version": "0.10.0-dev.13",
+  "version": "0.10.0-dev.14",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "Postgres target pack for Prisma Next",
   "dependencies": {
-    "@prisma-next/cli": "0.10.0-dev.13",
-    "@prisma-next/contract": "0.10.0-dev.13",
-    "@prisma-next/errors": "0.10.0-dev.13",
-    "@prisma-next/family-sql": "0.10.0-dev.13",
-    "@prisma-next/framework-components": "0.10.0-dev.13",
-    "@prisma-next/migration-tools": "0.10.0-dev.13",
-    "@prisma-next/ts-render": "0.10.0-dev.13",
-    "@prisma-next/sql-contract": "0.10.0-dev.13",
-    "@prisma-next/sql-errors": "0.10.0-dev.13",
-    "@prisma-next/sql-operations": "0.10.0-dev.13",
-    "@prisma-next/sql-relational-core": "0.10.0-dev.13",
-    "@prisma-next/sql-schema-ir": "0.10.0-dev.13",
-    "@prisma-next/utils": "0.10.0-dev.13",
+    "@prisma-next/cli": "0.10.0-dev.14",
+    "@prisma-next/contract": "0.10.0-dev.14",
+    "@prisma-next/errors": "0.10.0-dev.14",
+    "@prisma-next/family-sql": "0.10.0-dev.14",
+    "@prisma-next/framework-components": "0.10.0-dev.14",
+    "@prisma-next/migration-tools": "0.10.0-dev.14",
+    "@prisma-next/ts-render": "0.10.0-dev.14",
+    "@prisma-next/sql-contract": "0.10.0-dev.14",
+    "@prisma-next/sql-errors": "0.10.0-dev.14",
+    "@prisma-next/sql-operations": "0.10.0-dev.14",
+    "@prisma-next/sql-relational-core": "0.10.0-dev.14",
+    "@prisma-next/sql-schema-ir": "0.10.0-dev.14",
+    "@prisma-next/utils": "0.10.0-dev.14",
     "@standard-schema/spec": "^1.1.0",
     "arktype": "^2.2.0",
     "pathe": "^2.0.3"
   },
   "devDependencies": {
-    "@prisma-next/test-utils": "0.10.0-dev.13",
-    "@prisma-next/tsconfig": "0.10.0-dev.13",
-    "@prisma-next/tsdown": "0.10.0-dev.13",
+    "@prisma-next/test-utils": "0.10.0-dev.14",
+    "@prisma-next/tsconfig": "0.10.0-dev.14",
+    "@prisma-next/tsdown": "0.10.0-dev.14",
     "tsdown": "0.22.0",
     "typescript": "5.9.3",
     "vitest": "4.1.6"

package/src/core/authoring.ts

@@ -5,6 +5,7 @@ import type {
   AuthoringTypeNamespace,
 } from '@prisma-next/framework-components/authoring';
 import type { PostgresEnumStorageEntry } from '@prisma-next/sql-contract/types';
+import { PostgresEnumTypeSchema } from '@prisma-next/sql-contract/validators';
 import { PostgresEnumType, type PostgresEnumTypeInput } from './postgres-enum-type';
 
 export const postgresAuthoringTypes = {} as const satisfies AuthoringTypeNamespace;
@@ -43,6 +44,7 @@ export const postgresAuthoringEntityTypes = {
   enum: {
     kind: 'entity',
     discriminator: 'postgres-enum',
+    validatorSchema: PostgresEnumTypeSchema,
     output: {
       factory: (input: PostgresEnumTypeInput): PostgresEnumStorageEntry =>
         new PostgresEnumType(input),

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

@@ -1,26 +1,87 @@
 import type { Contract } from '@prisma-next/contract/types';
-import { SqlContractSerializerBase } from '@prisma-next/family-sql/ir';
+import {
+  SqlContractSerializerBase,
+  type SqlEntityHydrationFactory,
+} from '@prisma-next/family-sql/ir';
+import {
+  type AuthoringEntityContext,
+  type AuthoringEntityTypeFactoryOutput,
+  type AuthoringEntityTypeNamespace,
+  isAuthoringEntityTypeDescriptor,
+} from '@prisma-next/framework-components/authoring';
 import {
   type Namespace,
   NamespaceBase,
   UNBOUND_NAMESPACE_ID,
 } from '@prisma-next/framework-components/ir';
-import {
-  type SqlNamespaceTablesInput,
-  type SqlStorage,
+import type {
+  SqlNamespaceTablesInput,
+  SqlStorage,
+  SqlStorageTypeEntry,
   StorageTable,
-  type StorageTableInput,
 } from '@prisma-next/sql-contract/types';
 import type { JsonObject } from '@prisma-next/utils/json';
-import { PostgresEnumType, type PostgresEnumTypeInput } from './postgres-enum-type';
+import type { Type } from 'arktype';
+import { postgresAuthoringEntityTypes } from './authoring';
+import type { PostgresEnumType } from './postgres-enum-type';
 import { isPostgresSchema, PostgresSchema } from './postgres-schema';
 
+const POSTGRES_AUTHORING_CTX: AuthoringEntityContext = {
+  family: 'sql',
+  target: 'postgres',
+};
+
+function isAuthoringEntityTypeFactoryOutput(
+  output: unknown,
+): output is AuthoringEntityTypeFactoryOutput<unknown, unknown> {
+  return (
+    typeof output === 'object' &&
+    output !== null &&
+    typeof (output as AuthoringEntityTypeFactoryOutput).factory === 'function'
+  );
+}
+
+/**
+ * Walks a pack's entity-type namespace tree and emits the maps the
+ * family base consumes — hydrators and validator-schema fragments, both
+ * keyed by the descriptor's `discriminator`.
+ */
+function collectEntityRegistryContributions(namespace: AuthoringEntityTypeNamespace): {
+  readonly entityTypeRegistry: ReadonlyMap<string, SqlEntityHydrationFactory>;
+  readonly validatorFragments: ReadonlyMap<string, Type<unknown>>;
+} {
+  const entityTypeRegistry = new Map<string, SqlEntityHydrationFactory>();
+  const validatorFragments = new Map<string, Type<unknown>>();
+  const walk = (node: AuthoringEntityTypeNamespace): void => {
+    for (const value of Object.values(node)) {
+      if (isAuthoringEntityTypeDescriptor(value)) {
+        if (isAuthoringEntityTypeFactoryOutput(value.output)) {
+          const { factory } = value.output;
+          entityTypeRegistry.set(
+            value.discriminator,
+            (raw) => factory(raw, POSTGRES_AUTHORING_CTX) as SqlStorageTypeEntry,
+          );
+        }
+        if (value.validatorSchema !== undefined) {
+          validatorFragments.set(value.discriminator, value.validatorSchema);
+        }
+        continue;
+      }
+      if (typeof value === 'object' && value !== null) {
+        walk(value);
+      }
+    }
+  };
+  walk(namespace);
+  return { entityTypeRegistry, validatorFragments };
+}
+
 export class PostgresContractSerializer extends SqlContractSerializerBase<Contract<SqlStorage>> {
   constructor() {
-    // Postgres entity types (enums) are namespace-level and hydrated in
-    // hydrateSqlNamespaceEntry; there are no storage-level codec alias entities
-    // specific to Postgres, so the registry is empty.
-    super(new Map());
+    const { entityTypeRegistry, validatorFragments } = collectEntityRegistryContributions(
+      postgresAuthoringEntityTypes,
+    );
+    super(entityTypeRegistry, validatorFragments);
   }
 
   protected override hydrateSqlNamespaceEntry(
@@ -30,38 +91,12 @@ export class PostgresContractSerializer extends SqlContractSerializerBase<Contra
     if (raw instanceof NamespaceBase) {
       return raw;
     }
-    const obj = raw as {
-      id?: string;
-      tables?: Record<string, unknown>;
-      types?: Record<string, unknown>;
+    const hydrated = super.hydrateSqlNamespaceEntry(nsId, raw) as {
+      id: string;
+      tables: Readonly<Record<string, StorageTable>>;
+      types?: Readonly<Record<string, PostgresEnumType>>;
     };
-    const id = obj.id ?? nsId;
-    const tables = Object.fromEntries(
-      Object.entries(obj.tables ?? {}).map(([tableName, table]) => [
-        tableName,
-        table instanceof StorageTable ? table : new StorageTable(table as StorageTableInput),
-      ]),
-    );
-    const typeEntries = obj.types;
-    const hydratedNsTypes =
-      typeEntries !== undefined && Object.keys(typeEntries).length > 0
-        ? Object.fromEntries(
-            Object.entries(typeEntries).map(([typeName, entry]) => {
-              if (entry instanceof PostgresEnumType) {
-                return [typeName, entry];
-              }
-              const plain = entry as Record<string, unknown>;
-              const name = typeof plain['name'] === 'string' ? plain['name'] : typeName;
-              const nativeType =
-                typeof plain['nativeType'] === 'string' ? plain['nativeType'] : name;
-              const values = Array.isArray(plain['values']) ? (plain['values'] as string[]) : [];
-              return [
-                typeName,
-                new PostgresEnumType({ name, nativeType, values } as PostgresEnumTypeInput),
-              ];
-            }),
-          )
-        : undefined;
+    const { id, tables, types: hydratedNsTypes } = hydrated;
 
     const emptyTables = Object.keys(tables).length === 0;
     const emptyTypes = !hydratedNsTypes || Object.keys(hydratedNsTypes).length === 0;

package/src/core/postgres-schema.ts

@@ -41,7 +41,7 @@ export class PostgresSchema extends NamespaceBase {
    */
   static unbound: PostgresUnboundSchema;
 
-  readonly kind = 'schema' as const;
+  declare readonly kind: 'schema';
   readonly id: string;
   readonly tables: Readonly<Record<string, StorageTable>>;
   readonly types: Readonly<Record<string, PostgresEnumType>>;
@@ -65,6 +65,12 @@ export class PostgresSchema extends NamespaceBase {
         ]),
       ),
     );
+    Object.defineProperty(this, 'kind', {
+      value: 'schema',
+      writable: false,
+      enumerable: false,
+      configurable: true,
+    });
     freezeNode(this);
   }