@prisma-next/target-postgres 0.5.0-dev.81 → 0.5.0-dev.82

package/dist/{planner-BvKUuqG-.mjs.map → planner-Lhacw3uU.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"planner-BvKUuqG-.mjs","names":[],"sources":["../src/core/migrations/planner.ts"],"sourcesContent":["import type { Contract } from '@prisma-next/contract/types';\nimport type {\n  MigrationOperationPolicy,\n  SqlMigrationPlannerPlanOptions,\n  SqlPlannerFailureResult,\n} from '@prisma-next/family-sql/control';\nimport {\n  extractCodecControlHooks,\n  planFieldEventOperations,\n  plannerFailure,\n} from '@prisma-next/family-sql/control';\nimport { verifySqlSchema } from '@prisma-next/family-sql/schema-verify';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  MigrationPlanner,\n  MigrationPlanWithAuthoringSurface,\n  MigrationScaffoldContext,\n  SchemaIssue,\n} from '@prisma-next/framework-components/control';\nimport { parsePostgresDefault } from '../default-normalizer';\nimport { normalizeSchemaNativeType } from '../native-type-normalizer';\nimport { planIssues } from './issue-planner';\nimport { TypeScriptRenderablePostgresMigration } from './planner-produced-postgres-migration';\nimport { postgresPlannerStrategies } from './planner-strategies';\n\ntype PlannerFrameworkComponents = SqlMigrationPlannerPlanOptions extends {\n  readonly frameworkComponents: infer T;\n}\n  ? T\n  : ReadonlyArray<unknown>;\n\ntype PlannerOptionsWithComponents = SqlMigrationPlannerPlanOptions & {\n  readonly frameworkComponents: PlannerFrameworkComponents;\n};\n\ntype VerifySqlSchemaOptionsWithComponents = Parameters<typeof verifySqlSchema>[0] & {\n  readonly frameworkComponents: PlannerFrameworkComponents;\n};\n\ninterface PlannerConfig {\n  readonly defaultSchema: string;\n}\n\nconst DEFAULT_PLANNER_CONFIG: PlannerConfig = {\n  defaultSchema: 'public',\n};\n\nexport function createPostgresMigrationPlanner(\n  config: Partial<PlannerConfig> = {},\n): PostgresMigrationPlanner {\n  return new PostgresMigrationPlanner({\n    ...DEFAULT_PLANNER_CONFIG,\n    ...config,\n  });\n}\n\n/**\n * Result of `PostgresMigrationPlanner.plan()`. A discriminated union whose\n * success variant carries a `TypeScriptRenderablePostgresMigration` — a\n * migration object that both the CLI (via `renderTypeScript()`) and the\n * SQL-typed callers (via `operations`, `describe()`, etc.) consume\n * uniformly.\n */\nexport type PostgresPlanResult =\n  | { readonly kind: 'success'; readonly plan: TypeScriptRenderablePostgresMigration }\n  | SqlPlannerFailureResult;\n\n/**\n * Postgres migration planner — a thin wrapper over `planIssues`.\n *\n * `plan()` verifies the live schema against the target contract (producing\n * `SchemaIssue[]`) and delegates to `planIssues` with the unified\n * `postgresPlannerStrategies` list: enum-change, NOT-NULL backfill,\n * type-change, nullable-tightening, codec-hook storage types,\n * component-declared dependency installs, and shared-temp-default /\n * empty-table-guarded NOT-NULL add-column. The same strategy list runs for\n * `migration plan`, `db update`, and `db init`; behavior diverges purely on\n * `policy.allowedOperationClasses` (the data-safe strategies short-circuit\n * when `'data'` is excluded). The issue planner applies operation-class\n * policy gates and emits a single `PostgresOpFactoryCall[]` that drives both\n * the runtime-ops view (via `renderOps`) and the `renderTypeScript()`\n * authoring surface.\n */\nexport class PostgresMigrationPlanner implements MigrationPlanner<'sql', 'postgres'> {\n  constructor(private readonly config: PlannerConfig) {}\n\n  plan(options: {\n    readonly contract: unknown;\n    readonly schema: unknown;\n    readonly policy: MigrationOperationPolicy;\n    /**\n     * The \"from\" contract (state the planner assumes the database starts\n     * at), or `null` for reconciliation flows. Only `migration plan` ever\n     * supplies a non-null value; `db update` / `db init` reconcile against\n     * the live schema and pass `null`. When present alongside the\n     * `'data'` operation class, strategies that need from/to column-shape\n     * comparisons (unsafe type change, nullability tightening) activate.\n     *\n     * Typed as the framework `Contract | null` to satisfy the\n     * `MigrationPlanner` interface contract; `planSql` narrows to the SQL\n     * shape via `SqlMigrationPlannerPlanOptions`. Used to populate\n     * `describe().from` on the produced plan as\n     * `fromContract?.storage.storageHash ?? null`.\n     */\n    readonly fromContract: Contract | null;\n    readonly schemaName?: string;\n    readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n    /**\n     * Contract space this plan applies to. Stamped onto the produced\n     * {@link TypeScriptRenderablePostgresMigration.spaceId} so the runner keys\n     * the marker row by the right space.\n     */\n    readonly spaceId: string;\n  }): PostgresPlanResult {\n    return this.planSql(options as SqlMigrationPlannerPlanOptions);\n  }\n\n  emptyMigration(\n    context: MigrationScaffoldContext,\n    spaceId: string,\n  ): MigrationPlanWithAuthoringSurface {\n    return new TypeScriptRenderablePostgresMigration(\n      [],\n      {\n        from: context.fromHash,\n        to: context.toHash,\n      },\n      spaceId,\n    );\n  }\n\n  private planSql(options: SqlMigrationPlannerPlanOptions): PostgresPlanResult {\n    const schemaName = options.schemaName ?? this.config.defaultSchema;\n    const policyResult = this.ensureAdditivePolicy(options.policy);\n    if (policyResult) {\n      return policyResult;\n    }\n\n    const schemaIssues = this.collectSchemaIssues(options);\n    const codecHooks = extractCodecControlHooks(options.frameworkComponents);\n    const storageTypes = options.contract.storage.types ?? {};\n\n    const result = planIssues({\n      issues: schemaIssues,\n      toContract: options.contract,\n      // `fromContract` is only supplied by `migration plan`. It is `null` for\n      // `db update` / `db init`, which means data-safety strategies needing\n      // from/to comparisons (unsafe type change, nullable tightening) are\n      // inapplicable there — reconciliation falls through to\n      // `mapIssueToCall`'s direct destructive handlers.\n      fromContract: options.fromContract,\n      schemaName,\n      codecHooks,\n      storageTypes,\n      schema: options.schema,\n      policy: options.policy,\n      frameworkComponents: options.frameworkComponents,\n      strategies: postgresPlannerStrategies,\n    });\n\n    if (!result.ok) {\n      return plannerFailure(result.failure);\n    }\n\n    // Inline `onFieldEvent`-emitted ops after structural DDL. The fixed\n    // ordering is `structural → added → dropped → altered`, with\n    // within-group sorting by `(tableName, fieldName)` so re-emits are\n    // byte-stable. The hook fires only at the application emitter —\n    // extension-space planning never reaches this helper.\n    const fieldEventOps = planFieldEventOperations({\n      priorContract: options.fromContract,\n      newContract: options.contract,\n      codecHooks,\n    });\n    // Codec-emitted calls already conform to `OpFactoryCall` — render +\n    // toOp + importRequirements ride directly through the same emit path\n    // as structural ops, no `RawSqlCall` wrap.\n    const calls = [...result.value.calls, ...fieldEventOps];\n\n    return Object.freeze({\n      kind: 'success' as const,\n      plan: new TypeScriptRenderablePostgresMigration(\n        calls,\n        {\n          from: options.fromContract?.storage.storageHash ?? null,\n          to: options.contract.storage.storageHash,\n        },\n        options.spaceId,\n      ),\n    });\n  }\n\n  private ensureAdditivePolicy(policy: MigrationOperationPolicy) {\n    if (!policy.allowedOperationClasses.includes('additive')) {\n      return plannerFailure([\n        {\n          kind: 'unsupportedOperation',\n          summary: 'Migration planner requires additive operations be allowed',\n          why: 'The planner requires the \"additive\" operation class to be allowed in the policy.',\n        },\n      ]);\n    }\n    return null;\n  }\n\n  private collectSchemaIssues(options: PlannerOptionsWithComponents): readonly SchemaIssue[] {\n    // `db init` uses additive-only policy and intentionally ignores extra\n    // schema objects. Any reconciliation-capable policy (widening or\n    // destructive) must inspect extras to reconcile strict equality.\n    const allowed = options.policy.allowedOperationClasses;\n    const strict = allowed.includes('widening') || allowed.includes('destructive');\n    const verifyOptions: VerifySqlSchemaOptionsWithComponents = {\n      contract: options.contract,\n      schema: options.schema,\n      strict,\n      typeMetadataRegistry: new Map(),\n      frameworkComponents: options.frameworkComponents,\n      normalizeDefault: parsePostgresDefault,\n      normalizeNativeType: normalizeSchemaNativeType,\n    };\n    const verifyResult = verifySqlSchema(verifyOptions);\n    return verifyResult.schema.issues;\n  }\n}\n"],"mappings":";;;;;;;AA2CA,MAAM,yBAAwC,EAC5C,eAAe,UAChB;AAED,SAAgB,+BACd,SAAiC,EAAE,EACT;CAC1B,OAAO,IAAI,yBAAyB;EAClC,GAAG;EACH,GAAG;EACJ,CAAC;;;;;;;;;;;;;;;;;;AA8BJ,IAAa,2BAAb,MAAqF;CACtD;CAA7B,YAAY,QAAwC;EAAvB,KAAA,SAAA;;CAE7B,KAAK,SA2BkB;EACrB,OAAO,KAAK,QAAQ,QAA0C;;CAGhE,eACE,SACA,SACmC;EACnC,OAAO,IAAI,sCACT,EAAE,EACF;GACE,MAAM,QAAQ;GACd,IAAI,QAAQ;GACb,EACD,QACD;;CAGH,QAAgB,SAA6D;EAC3E,MAAM,aAAa,QAAQ,cAAc,KAAK,OAAO;EACrD,MAAM,eAAe,KAAK,qBAAqB,QAAQ,OAAO;EAC9D,IAAI,cACF,OAAO;EAGT,MAAM,eAAe,KAAK,oBAAoB,QAAQ;EACtD,MAAM,aAAa,yBAAyB,QAAQ,oBAAoB;EACxE,MAAM,eAAe,QAAQ,SAAS,QAAQ,SAAS,EAAE;EAEzD,MAAM,SAAS,WAAW;GACxB,QAAQ;GACR,YAAY,QAAQ;GAMpB,cAAc,QAAQ;GACtB;GACA;GACA;GACA,QAAQ,QAAQ;GAChB,QAAQ,QAAQ;GAChB,qBAAqB,QAAQ;GAC7B,YAAY;GACb,CAAC;EAEF,IAAI,CAAC,OAAO,IACV,OAAO,eAAe,OAAO,QAAQ;EAQvC,MAAM,gBAAgB,yBAAyB;GAC7C,eAAe,QAAQ;GACvB,aAAa,QAAQ;GACrB;GACD,CAAC;EAIF,MAAM,QAAQ,CAAC,GAAG,OAAO,MAAM,OAAO,GAAG,cAAc;EAEvD,OAAO,OAAO,OAAO;GACnB,MAAM;GACN,MAAM,IAAI,sCACR,OACA;IACE,MAAM,QAAQ,cAAc,QAAQ,eAAe;IACnD,IAAI,QAAQ,SAAS,QAAQ;IAC9B,EACD,QAAQ,QACT;GACF,CAAC;;CAGJ,qBAA6B,QAAkC;EAC7D,IAAI,CAAC,OAAO,wBAAwB,SAAS,WAAW,EACtD,OAAO,eAAe,CACpB;GACE,MAAM;GACN,SAAS;GACT,KAAK;GACN,CACF,CAAC;EAEJ,OAAO;;CAGT,oBAA4B,SAA+D;EAIzF,MAAM,UAAU,QAAQ,OAAO;EAC/B,MAAM,SAAS,QAAQ,SAAS,WAAW,IAAI,QAAQ,SAAS,cAAc;EAW9E,OADqB,gBAAgB;GARnC,UAAU,QAAQ;GAClB,QAAQ,QAAQ;GAChB;GACA,sCAAsB,IAAI,KAAK;GAC/B,qBAAqB,QAAQ;GAC7B,kBAAkB;GAClB,qBAAqB;GAE2B,CAC/B,CAAC,OAAO"}
+{"version":3,"file":"planner-Lhacw3uU.mjs","names":[],"sources":["../src/core/migrations/planner.ts"],"sourcesContent":["import type { Contract } from '@prisma-next/contract/types';\nimport type {\n  MigrationOperationPolicy,\n  SqlMigrationPlannerPlanOptions,\n  SqlPlannerFailureResult,\n} from '@prisma-next/family-sql/control';\nimport {\n  extractCodecControlHooks,\n  planFieldEventOperations,\n  plannerFailure,\n} from '@prisma-next/family-sql/control';\nimport { verifySqlSchema } from '@prisma-next/family-sql/schema-verify';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  MigrationPlanner,\n  MigrationPlanWithAuthoringSurface,\n  MigrationScaffoldContext,\n  SchemaIssue,\n} from '@prisma-next/framework-components/control';\nimport { parsePostgresDefault } from '../default-normalizer';\nimport { normalizeSchemaNativeType } from '../native-type-normalizer';\nimport { planIssues } from './issue-planner';\nimport { TypeScriptRenderablePostgresMigration } from './planner-produced-postgres-migration';\nimport { postgresPlannerStrategies } from './planner-strategies';\n\ntype PlannerFrameworkComponents = SqlMigrationPlannerPlanOptions extends {\n  readonly frameworkComponents: infer T;\n}\n  ? T\n  : ReadonlyArray<unknown>;\n\ntype PlannerOptionsWithComponents = SqlMigrationPlannerPlanOptions & {\n  readonly frameworkComponents: PlannerFrameworkComponents;\n};\n\ntype VerifySqlSchemaOptionsWithComponents = Parameters<typeof verifySqlSchema>[0] & {\n  readonly frameworkComponents: PlannerFrameworkComponents;\n};\n\ninterface PlannerConfig {\n  readonly defaultSchema: string;\n}\n\nconst DEFAULT_PLANNER_CONFIG: PlannerConfig = {\n  defaultSchema: 'public',\n};\n\nexport function createPostgresMigrationPlanner(\n  config: Partial<PlannerConfig> = {},\n): PostgresMigrationPlanner {\n  return new PostgresMigrationPlanner({\n    ...DEFAULT_PLANNER_CONFIG,\n    ...config,\n  });\n}\n\n/**\n * Result of `PostgresMigrationPlanner.plan()`. A discriminated union whose\n * success variant carries a `TypeScriptRenderablePostgresMigration` — a\n * migration object that both the CLI (via `renderTypeScript()`) and the\n * SQL-typed callers (via `operations`, `describe()`, etc.) consume\n * uniformly.\n */\nexport type PostgresPlanResult =\n  | { readonly kind: 'success'; readonly plan: TypeScriptRenderablePostgresMigration }\n  | SqlPlannerFailureResult;\n\n/**\n * Postgres migration planner — a thin wrapper over `planIssues`.\n *\n * `plan()` verifies the live schema against the target contract (producing\n * `SchemaIssue[]`) and delegates to `planIssues` with the unified\n * `postgresPlannerStrategies` list: enum-change, NOT-NULL backfill,\n * type-change, nullable-tightening, codec-hook storage types,\n * component-declared dependency installs, and shared-temp-default /\n * empty-table-guarded NOT-NULL add-column. The same strategy list runs for\n * `migration plan`, `db update`, and `db init`; behavior diverges purely on\n * `policy.allowedOperationClasses` (the data-safe strategies short-circuit\n * when `'data'` is excluded). The issue planner applies operation-class\n * policy gates and emits a single `PostgresOpFactoryCall[]` that drives both\n * the runtime-ops view (via `renderOps`) and the `renderTypeScript()`\n * authoring surface.\n */\nexport class PostgresMigrationPlanner implements MigrationPlanner<'sql', 'postgres'> {\n  constructor(private readonly config: PlannerConfig) {}\n\n  plan(options: {\n    readonly contract: unknown;\n    readonly schema: unknown;\n    readonly policy: MigrationOperationPolicy;\n    /**\n     * The \"from\" contract (state the planner assumes the database starts\n     * at), or `null` for reconciliation flows. Only `migration plan` ever\n     * supplies a non-null value; `db update` / `db init` reconcile against\n     * the live schema and pass `null`. When present alongside the\n     * `'data'` operation class, strategies that need from/to column-shape\n     * comparisons (unsafe type change, nullability tightening) activate.\n     *\n     * Typed as the framework `Contract | null` to satisfy the\n     * `MigrationPlanner` interface contract; `planSql` narrows to the SQL\n     * shape via `SqlMigrationPlannerPlanOptions`. Used to populate\n     * `describe().from` on the produced plan as\n     * `fromContract?.storage.storageHash ?? null`.\n     */\n    readonly fromContract: Contract | null;\n    readonly schemaName?: string;\n    readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n    /**\n     * Contract space this plan applies to. Stamped onto the produced\n     * {@link TypeScriptRenderablePostgresMigration.spaceId} so the runner keys\n     * the marker row by the right space.\n     */\n    readonly spaceId: string;\n  }): PostgresPlanResult {\n    return this.planSql(options as SqlMigrationPlannerPlanOptions);\n  }\n\n  emptyMigration(\n    context: MigrationScaffoldContext,\n    spaceId: string,\n  ): MigrationPlanWithAuthoringSurface {\n    return new TypeScriptRenderablePostgresMigration(\n      [],\n      {\n        from: context.fromHash,\n        to: context.toHash,\n      },\n      spaceId,\n    );\n  }\n\n  private planSql(options: SqlMigrationPlannerPlanOptions): PostgresPlanResult {\n    const schemaName = options.schemaName ?? this.config.defaultSchema;\n    const policyResult = this.ensureAdditivePolicy(options.policy);\n    if (policyResult) {\n      return policyResult;\n    }\n\n    const schemaIssues = this.collectSchemaIssues(options);\n    const codecHooks = extractCodecControlHooks(options.frameworkComponents);\n    const storageTypes = options.contract.storage.types ?? {};\n\n    const result = planIssues({\n      issues: schemaIssues,\n      toContract: options.contract,\n      // `fromContract` is only supplied by `migration plan`. It is `null` for\n      // `db update` / `db init`, which means data-safety strategies needing\n      // from/to comparisons (unsafe type change, nullable tightening) are\n      // inapplicable there — reconciliation falls through to\n      // `mapIssueToCall`'s direct destructive handlers.\n      fromContract: options.fromContract,\n      schemaName,\n      codecHooks,\n      storageTypes,\n      schema: options.schema,\n      policy: options.policy,\n      frameworkComponents: options.frameworkComponents,\n      strategies: postgresPlannerStrategies,\n    });\n\n    if (!result.ok) {\n      return plannerFailure(result.failure);\n    }\n\n    // Inline `onFieldEvent`-emitted ops after structural DDL. The fixed\n    // ordering is `structural → added → dropped → altered`, with\n    // within-group sorting by `(tableName, fieldName)` so re-emits are\n    // byte-stable. The hook fires only at the application emitter —\n    // extension-space planning never reaches this helper.\n    const fieldEventOps = planFieldEventOperations({\n      priorContract: options.fromContract,\n      newContract: options.contract,\n      codecHooks,\n    });\n    // Codec-emitted calls already conform to `OpFactoryCall` — render +\n    // toOp + importRequirements ride directly through the same emit path\n    // as structural ops, no `RawSqlCall` wrap.\n    const calls = [...result.value.calls, ...fieldEventOps];\n\n    return Object.freeze({\n      kind: 'success' as const,\n      plan: new TypeScriptRenderablePostgresMigration(\n        calls,\n        {\n          from: options.fromContract?.storage.storageHash ?? null,\n          to: options.contract.storage.storageHash,\n        },\n        options.spaceId,\n      ),\n    });\n  }\n\n  private ensureAdditivePolicy(policy: MigrationOperationPolicy) {\n    if (!policy.allowedOperationClasses.includes('additive')) {\n      return plannerFailure([\n        {\n          kind: 'unsupportedOperation',\n          summary: 'Migration planner requires additive operations be allowed',\n          why: 'The planner requires the \"additive\" operation class to be allowed in the policy.',\n        },\n      ]);\n    }\n    return null;\n  }\n\n  private collectSchemaIssues(options: PlannerOptionsWithComponents): readonly SchemaIssue[] {\n    // `db init` uses additive-only policy and intentionally ignores extra\n    // schema objects. Any reconciliation-capable policy (widening or\n    // destructive) must inspect extras to reconcile strict equality.\n    const allowed = options.policy.allowedOperationClasses;\n    const strict = allowed.includes('widening') || allowed.includes('destructive');\n    const verifyOptions: VerifySqlSchemaOptionsWithComponents = {\n      contract: options.contract,\n      schema: options.schema,\n      strict,\n      typeMetadataRegistry: new Map(),\n      frameworkComponents: options.frameworkComponents,\n      normalizeDefault: parsePostgresDefault,\n      normalizeNativeType: normalizeSchemaNativeType,\n    };\n    const verifyResult = verifySqlSchema(verifyOptions);\n    return verifyResult.schema.issues;\n  }\n}\n"],"mappings":";;;;;;;AA2CA,MAAM,yBAAwC,EAC5C,eAAe,UAChB;AAED,SAAgB,+BACd,SAAiC,EAAE,EACT;CAC1B,OAAO,IAAI,yBAAyB;EAClC,GAAG;EACH,GAAG;EACJ,CAAC;;;;;;;;;;;;;;;;;;AA8BJ,IAAa,2BAAb,MAAqF;CACtD;CAA7B,YAAY,QAAwC;EAAvB,KAAA,SAAA;;CAE7B,KAAK,SA2BkB;EACrB,OAAO,KAAK,QAAQ,QAA0C;;CAGhE,eACE,SACA,SACmC;EACnC,OAAO,IAAI,sCACT,EAAE,EACF;GACE,MAAM,QAAQ;GACd,IAAI,QAAQ;GACb,EACD,QACD;;CAGH,QAAgB,SAA6D;EAC3E,MAAM,aAAa,QAAQ,cAAc,KAAK,OAAO;EACrD,MAAM,eAAe,KAAK,qBAAqB,QAAQ,OAAO;EAC9D,IAAI,cACF,OAAO;EAGT,MAAM,eAAe,KAAK,oBAAoB,QAAQ;EACtD,MAAM,aAAa,yBAAyB,QAAQ,oBAAoB;EACxE,MAAM,eAAe,QAAQ,SAAS,QAAQ,SAAS,EAAE;EAEzD,MAAM,SAAS,WAAW;GACxB,QAAQ;GACR,YAAY,QAAQ;GAMpB,cAAc,QAAQ;GACtB;GACA;GACA;GACA,QAAQ,QAAQ;GAChB,QAAQ,QAAQ;GAChB,qBAAqB,QAAQ;GAC7B,YAAY;GACb,CAAC;EAEF,IAAI,CAAC,OAAO,IACV,OAAO,eAAe,OAAO,QAAQ;EAQvC,MAAM,gBAAgB,yBAAyB;GAC7C,eAAe,QAAQ;GACvB,aAAa,QAAQ;GACrB;GACD,CAAC;EAIF,MAAM,QAAQ,CAAC,GAAG,OAAO,MAAM,OAAO,GAAG,cAAc;EAEvD,OAAO,OAAO,OAAO;GACnB,MAAM;GACN,MAAM,IAAI,sCACR,OACA;IACE,MAAM,QAAQ,cAAc,QAAQ,eAAe;IACnD,IAAI,QAAQ,SAAS,QAAQ;IAC9B,EACD,QAAQ,QACT;GACF,CAAC;;CAGJ,qBAA6B,QAAkC;EAC7D,IAAI,CAAC,OAAO,wBAAwB,SAAS,WAAW,EACtD,OAAO,eAAe,CACpB;GACE,MAAM;GACN,SAAS;GACT,KAAK;GACN,CACF,CAAC;EAEJ,OAAO;;CAGT,oBAA4B,SAA+D;EAIzF,MAAM,UAAU,QAAQ,OAAO;EAC/B,MAAM,SAAS,QAAQ,SAAS,WAAW,IAAI,QAAQ,SAAS,cAAc;EAW9E,OADqB,gBAAgB;GARnC,UAAU,QAAQ;GAClB,QAAQ,QAAQ;GAChB;GACA,sCAAsB,IAAI,KAAK;GAC/B,qBAAqB,QAAQ;GAC7B,kBAAkB;GAClB,qBAAqB;GAE2B,CAC/B,CAAC,OAAO"}

package/dist/planner.mjs

@@ -1,2 +1,2 @@
-import { t as createPostgresMigrationPlanner } from "./planner-BvKUuqG-.mjs";
+import { t as createPostgresMigrationPlanner } from "./planner-Lhacw3uU.mjs";
 export { createPostgresMigrationPlanner };

package/dist/{tables-Ej122-iI.mjs → tables-r9Zk1y-Y.mjs}

@@ -409,16 +409,28 @@ function renameType(schemaName, fromName, toName) {
 }
 //#endregion
 //#region src/core/migrations/operations/indexes.ts
-function createIndex(schemaName, tableName, indexName, columns) {
+function renderIndexOptionValue(key, value) {
+	if (typeof value === "string") return `'${escapeLiteral(value)}'`;
+	if (typeof value === "number" && Number.isFinite(value)) return String(value);
+	if (typeof value === "boolean") return value ? "true" : "false";
+	throw new Error(`Index option "${key}" must be a string, finite number, or boolean; got ${typeof value}`);
+}
+function renderIndexOptions(options) {
+	return Object.entries(options).map(([key, value]) => `${quoteIdentifier(key)} = ${renderIndexOptionValue(key, value)}`).join(", ");
+}
+function createIndex(schemaName, tableName, indexName, columns, extras) {
 	const qualified = qualifyTableName(schemaName, tableName);
 	const columnList = columns.map(quoteIdentifier).join(", ");
+	const using = extras?.type ? ` USING ${quoteIdentifier(extras.type)}` : "";
+	const options = extras?.options;
+	const withClause = options && Object.keys(options).length > 0 ? ` WITH (${renderIndexOptions(options)})` : "";
 	return {
 		id: `index.${tableName}.${indexName}`,
 		label: `Create index "${indexName}" on "${tableName}"`,
 		operationClass: "additive",
 		target: targetDetails("index", indexName, schemaName, tableName),
 		precheck: [step(`ensure index "${indexName}" does not exist`, `SELECT to_regclass(${toRegclassLiteral(schemaName, indexName)}) IS NULL`)],
-		execute: [step(`create index "${indexName}"`, `CREATE INDEX ${quoteIdentifier(indexName)} ON ${qualified} (${columnList})`)],
+		execute: [step(`create index "${indexName}"`, `CREATE INDEX ${quoteIdentifier(indexName)} ON ${qualified}${using} (${columnList})${withClause}`)],
 		postcheck: [step(`verify index "${indexName}" exists`, `SELECT to_regclass(${toRegclassLiteral(schemaName, indexName)}) IS NOT NULL`)]
 	};
 }
@@ -467,4 +479,4 @@ function dropTable(schemaName, tableName) {
 //#endregion
 export { dropColumn as _, addEnumValues as a, setDefault as b, renameType as c, addForeignKey as d, addPrimaryKey as f, alterColumnType as g, addColumn as h, dropIndex as i, createExtension as l, dropConstraint as m, dropTable as n, createEnumType as o, addUnique as p, createIndex as r, dropEnumType as s, createTable as t, createSchema as u, dropDefault as v, setNotNull as x, dropNotNull as y };
 
-//# sourceMappingURL=tables-Ej122-iI.mjs.map
+//# sourceMappingURL=tables-r9Zk1y-Y.mjs.map

package/dist/{tables-Ej122-iI.mjs.map → tables-r9Zk1y-Y.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"tables-Ej122-iI.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. The referenced table is\n * assumed to live in the same schema as the constrained table.\n */\nexport interface ForeignKeySpec {\n  readonly name: string;\n  readonly columns: readonly string[];\n  readonly references: {\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(schemaName, 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\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): Op {\n  const qualifiedType = qualifyName(schemaName, typeName);\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 \"${typeName}\" does not exist`,\n        enumTypeExistsCheck(schemaName, typeName, 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 \"${typeName}\" exists`, enumTypeExistsCheck(schemaName, typeName)),\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 { quoteIdentifier } from '../../sql-utils';\nimport { qualifyTableName, toRegclassLiteral } from '../planner-sql-checks';\nimport { type Op, step, targetDetails } from './shared';\n\nexport function createIndex(\n  schemaName: string,\n  tableName: string,\n  indexName: string,\n  columns: readonly string[],\n): Op {\n  const qualified = qualifyTableName(schemaName, tableName);\n  const columnList = columns.map(quoteIdentifier).join(', ');\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} (${columnList})`,\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":";;;;AA0CA,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;;;;ACvDxB,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,YAAY,GAAG,WAAW,MAAM,CAAC,IAAI,GAAG,WAAW,QAC5E,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;;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;;;;AC/BH,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,QACI;CACJ,MAAM,gBAAgB,YAAY,YAAY,SAAS;CACvD,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,SAAS,mBACzB,oBAAoB,YAAY,UAAU,MAAM,CACjD,CACF;EACD,SAAS,CACP,KACE,qBAAqB,SAAS,IAC9B,eAAe,cAAc,YAAY,cAAc,GACxD,CACF;EACD,WAAW,CACT,KAAK,gBAAgB,SAAS,WAAW,oBAAoB,YAAY,SAAS,CAAC,CACpF;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;;;;AC3GH,SAAgB,YACd,YACA,WACA,WACA,SACI;CACJ,MAAM,YAAY,iBAAiB,YAAY,UAAU;CACzD,MAAM,aAAa,QAAQ,IAAI,gBAAgB,CAAC,KAAK,KAAK;CAC1D,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,UAAU,IAAI,WAAW,GAC3E,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;;;;ACvDH,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-r9Zk1y-Y.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. The referenced table is\n * assumed to live in the same schema as the constrained table.\n */\nexport interface ForeignKeySpec {\n  readonly name: string;\n  readonly columns: readonly string[];\n  readonly references: {\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(schemaName, 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\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): Op {\n  const qualifiedType = qualifyName(schemaName, typeName);\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 \"${typeName}\" does not exist`,\n        enumTypeExistsCheck(schemaName, typeName, 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 \"${typeName}\" exists`, enumTypeExistsCheck(schemaName, typeName)),\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":";;;;AA0CA,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;;;;ACvDxB,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,YAAY,GAAG,WAAW,MAAM,CAAC,IAAI,GAAG,WAAW,QAC5E,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;;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;;;;AC/BH,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,QACI;CACJ,MAAM,gBAAgB,YAAY,YAAY,SAAS;CACvD,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,SAAS,mBACzB,oBAAoB,YAAY,UAAU,MAAM,CACjD,CACF;EACD,SAAS,CACP,KACE,qBAAqB,SAAS,IAC9B,eAAe,cAAc,YAAY,cAAc,GACxD,CACF;EACD,WAAW,CACT,KAAK,gBAAgB,SAAS,WAAW,oBAAoB,YAAY,SAAS,CAAC,CACpF;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;;;;ACtGH,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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@prisma-next/target-postgres",
-  "version": "0.5.0-dev.81",
+  "version": "0.5.0-dev.82",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
@@ -9,27 +9,27 @@
     "@standard-schema/spec": "^1.1.0",
     "arktype": "^2.1.29",
     "pathe": "^2.0.3",
-    "@prisma-next/cli": "0.5.0-dev.81",
-    "@prisma-next/contract": "0.5.0-dev.81",
-    "@prisma-next/family-sql": "0.5.0-dev.81",
-    "@prisma-next/errors": "0.5.0-dev.81",
-    "@prisma-next/migration-tools": "0.5.0-dev.81",
-    "@prisma-next/framework-components": "0.5.0-dev.81",
-    "@prisma-next/sql-contract": "0.5.0-dev.81",
-    "@prisma-next/ts-render": "0.5.0-dev.81",
-    "@prisma-next/sql-errors": "0.5.0-dev.81",
-    "@prisma-next/sql-operations": "0.5.0-dev.81",
-    "@prisma-next/sql-relational-core": "0.5.0-dev.81",
-    "@prisma-next/sql-schema-ir": "0.5.0-dev.81",
-    "@prisma-next/utils": "0.5.0-dev.81"
+    "@prisma-next/cli": "0.5.0-dev.82",
+    "@prisma-next/contract": "0.5.0-dev.82",
+    "@prisma-next/errors": "0.5.0-dev.82",
+    "@prisma-next/family-sql": "0.5.0-dev.82",
+    "@prisma-next/framework-components": "0.5.0-dev.82",
+    "@prisma-next/ts-render": "0.5.0-dev.82",
+    "@prisma-next/sql-contract": "0.5.0-dev.82",
+    "@prisma-next/sql-errors": "0.5.0-dev.82",
+    "@prisma-next/sql-operations": "0.5.0-dev.82",
+    "@prisma-next/migration-tools": "0.5.0-dev.82",
+    "@prisma-next/sql-relational-core": "0.5.0-dev.82",
+    "@prisma-next/utils": "0.5.0-dev.82",
+    "@prisma-next/sql-schema-ir": "0.5.0-dev.82"
   },
   "devDependencies": {
     "tsdown": "0.22.0",
     "typescript": "5.9.3",
     "vitest": "4.1.5",
+    "@prisma-next/tsconfig": "0.0.0",
     "@prisma-next/test-utils": "0.0.1",
-    "@prisma-next/tsdown": "0.0.0",
-    "@prisma-next/tsconfig": "0.0.0"
+    "@prisma-next/tsdown": "0.0.0"
   },
   "files": [
     "dist",

package/src/core/migrations/issue-planner.ts

@@ -15,6 +15,7 @@ import type {
   SqlPlannerConflict,
   SqlPlannerConflictLocation,
 } from '@prisma-next/family-sql/control';
+import { arraysEqual } from '@prisma-next/family-sql/schema-verify';
 import type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';
 import type { SchemaIssue } from '@prisma-next/framework-components/control';
 import type {
@@ -211,7 +212,12 @@ function mapIssueToCall(
       ];
       for (const index of contractTable.indexes) {
         const indexName = index.name ?? `${issue.table}_${index.columns.join('_')}_idx`;
-        calls.push(new CreateIndexCall(schemaName, issue.table, indexName, [...index.columns]));
+        const extras: { type?: string; options?: Record<string, unknown> } = {};
+        if (index.type !== undefined) extras.type = index.type;
+        if (index.options !== undefined) extras.options = index.options;
+        calls.push(
+          new CreateIndexCall(schemaName, issue.table, indexName, [...index.columns], extras),
+        );
       }
       const explicitIndexColumnSets = new Set(
         contractTable.indexes.map((idx) => idx.columns.join(',')),
@@ -446,8 +452,14 @@ function mapIssueToCall(
         return notOk(issueConflict('indexIncompatible', 'Index issue has no table name'));
       if (isMissing(issue) && issue.expected) {
         const columns = issue.expected.split(', ');
-        const indexName = `${issue.table}_${columns.join('_')}_idx`;
-        return ok([new CreateIndexCall(schemaName, issue.table, indexName, columns)]);
+        const contractIndex = ctx.toContract.storage.tables[issue.table]?.indexes.find((idx) =>
+          arraysEqual(idx.columns, columns),
+        );
+        const indexName = contractIndex?.name ?? `${issue.table}_${columns.join('_')}_idx`;
+        const extras: { type?: string; options?: Record<string, unknown> } = {};
+        if (contractIndex?.type !== undefined) extras.type = contractIndex.type;
+        if (contractIndex?.options !== undefined) extras.options = contractIndex.options;
+        return ok([new CreateIndexCall(schemaName, issue.table, indexName, columns, extras)]);
       }
       return notOk(
         issueConflict(

package/src/core/migrations/op-factory-call.ts

@@ -506,6 +506,10 @@ export class CreateIndexCall extends PostgresOpFactoryCallNode {
   readonly tableName: string;
   readonly indexName: string;
   readonly columns: readonly string[];
+  // Named indexType (not typeName) to avoid collision with CreateEnumTypeCall.typeName,
+  // which identifies a CREATE TYPE target and is read by `locationForCall` in issue-planner.ts.
+  readonly indexType: string | undefined;
+  readonly options: Record<string, unknown> | undefined;
   readonly label: string;
 
   constructor(
@@ -513,22 +517,40 @@ export class CreateIndexCall extends PostgresOpFactoryCallNode {
     tableName: string,
     indexName: string,
     columns: readonly string[],
+    extras?: { readonly type?: string; readonly options?: Record<string, unknown> },
   ) {
     super();
     this.schemaName = schemaName;
     this.tableName = tableName;
     this.indexName = indexName;
     this.columns = columns;
+    this.indexType = extras?.type;
+    this.options = extras?.options;
     this.label = `Create index "${indexName}" on "${tableName}"`;
     this.freeze();
   }
 
   toOp(): Op {
-    return createIndex(this.schemaName, this.tableName, this.indexName, this.columns);
+    const extras: { type?: string; options?: Record<string, unknown> } = {};
+    if (this.indexType !== undefined) extras.type = this.indexType;
+    if (this.options !== undefined) extras.options = this.options;
+    return createIndex(this.schemaName, this.tableName, this.indexName, this.columns, extras);
   }
 
   renderTypeScript(): string {
-    return `createIndex(${jsonToTsSource(this.schemaName)}, ${jsonToTsSource(this.tableName)}, ${jsonToTsSource(this.indexName)}, ${jsonToTsSource(this.columns)})`;
+    const args = [
+      jsonToTsSource(this.schemaName),
+      jsonToTsSource(this.tableName),
+      jsonToTsSource(this.indexName),
+      jsonToTsSource(this.columns),
+    ];
+    if (this.indexType !== undefined || this.options !== undefined) {
+      const extrasParts: string[] = [];
+      if (this.indexType !== undefined) extrasParts.push(`type: ${jsonToTsSource(this.indexType)}`);
+      if (this.options !== undefined) extrasParts.push(`options: ${jsonToTsSource(this.options)}`);
+      args.push(`{ ${extrasParts.join(', ')} }`);
+    }
+    return `createIndex(${args.join(', ')})`;
   }
 }
 

package/src/core/migrations/operations/indexes.ts

@@ -1,15 +1,40 @@
-import { quoteIdentifier } from '../../sql-utils';
+import { escapeLiteral, quoteIdentifier } from '../../sql-utils';
 import { qualifyTableName, toRegclassLiteral } from '../planner-sql-checks';
 import { type Op, step, targetDetails } from './shared';
 
+export interface CreateIndexExtras {
+  readonly type?: string;
+  readonly options?: Record<string, unknown>;
+}
+
+function renderIndexOptionValue(key: string, value: unknown): string {
+  if (typeof value === 'string') return `'${escapeLiteral(value)}'`;
+  if (typeof value === 'number' && Number.isFinite(value)) return String(value);
+  if (typeof value === 'boolean') return value ? 'true' : 'false';
+  throw new Error(
+    `Index option "${key}" must be a string, finite number, or boolean; got ${typeof value}`,
+  );
+}
+
+function renderIndexOptions(options: Record<string, unknown>): string {
+  return Object.entries(options)
+    .map(([key, value]) => `${quoteIdentifier(key)} = ${renderIndexOptionValue(key, value)}`)
+    .join(', ');
+}
+
 export function createIndex(
   schemaName: string,
   tableName: string,
   indexName: string,
   columns: readonly string[],
+  extras?: CreateIndexExtras,
 ): Op {
   const qualified = qualifyTableName(schemaName, tableName);
   const columnList = columns.map(quoteIdentifier).join(', ');
+  const using = extras?.type ? ` USING ${quoteIdentifier(extras.type)}` : '';
+  const options = extras?.options;
+  const withClause =
+    options && Object.keys(options).length > 0 ? ` WITH (${renderIndexOptions(options)})` : '';
   return {
     id: `index.${tableName}.${indexName}`,
     label: `Create index "${indexName}" on "${tableName}"`,
@@ -24,7 +49,7 @@ export function createIndex(
     execute: [
       step(
         `create index "${indexName}"`,
-        `CREATE INDEX ${quoteIdentifier(indexName)} ON ${qualified} (${columnList})`,
+        `CREATE INDEX ${quoteIdentifier(indexName)} ON ${qualified}${using} (${columnList})${withClause}`,
       ),
     ],
     postcheck: [