@prisma-next/target-postgres 0.16.0-dev.25 → 0.16.0-dev.26

package/dist/postgres-migration--BzvpA92.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"postgres-migration--BzvpA92.mjs","names":["SqlMigration","#endView","#startView"],"sources":["../src/core/migrations/postgres-migration.ts"],"sourcesContent":["import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlMigrationPlanOperation } from '@prisma-next/family-sql/control';\nimport type { SqlControlAdapter } from '@prisma-next/family-sql/control-adapter';\nimport { Migration as SqlMigration } from '@prisma-next/family-sql/migration';\nimport type { ControlStack } from '@prisma-next/framework-components/control';\nimport { MigrationContractViews } from '@prisma-next/migration-tools/migration';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { DdlColumn, DdlTableConstraint } from '@prisma-next/sql-relational-core/ast';\nimport { errorPostgresMigrationStackMissing } from '../errors';\nimport { PostgresContractView } from '../postgres-contract-view';\nimport { PostgresRlsPolicy, type PostgresRlsPolicyInput } from '../postgres-rls-policy';\nimport {\n  AddCheckConstraintCall,\n  AddColumnCall,\n  AddForeignKeyCall,\n  AddNativeEnumValueCall,\n  AddPrimaryKeyCall,\n  AddUniqueCall,\n  AlterColumnTypeCall,\n  type AlterColumnTypeOptions,\n  CreateIndexCall,\n  CreateNativeEnumTypeCall,\n  CreatePostgresRlsPolicyCall,\n  CreateSchemaCall,\n  CreateTableCall,\n  DisableRowLevelSecurityCall,\n  DropCheckConstraintCall,\n  DropColumnCall,\n  DropConstraintCall,\n  DropDefaultCall,\n  DropIndexCall,\n  DropNativeEnumTypeCall,\n  DropNotNullCall,\n  DropPostgresRlsPolicyCall,\n  DropTableCall,\n  EnableRowLevelSecurityCall,\n  RenameIndexCall,\n  RenamePostgresRlsPolicyCall,\n  SetDefaultCall,\n  SetNotNullCall,\n} from './op-factory-call';\nimport { type DataTransformOptions, dataTransform } from './operations/data-transform';\nimport { installExtension } from './operations/dependencies';\nimport type { CreateIndexExtras } from './operations/indexes';\nimport type { ForeignKeySpec } from './operations/shared';\nimport type { PostgresPlanTargetDetails } from './planner-target-details';\n\n/**\n * Target-owned base class for Postgres migrations.\n *\n * Fixes the `SqlMigration` generic to `PostgresPlanTargetDetails` and the\n * abstract `targetId` to the Postgres target-id string literal, so both\n * user-authored migrations and renderer-generated scaffolds (the output of\n * `renderCallsToTypeScript`) can extend `PostgresMigration` directly without\n * redeclaring target-local identity.\n *\n * Mirrors `MongoMigration` in `@prisma-next/family-mongo`: the renderer\n * emits `extends Migration` against a facade re-export of this class\n * from `@prisma-next/postgres/migration`, keeping the authoring surface\n * target-scoped rather than family-scoped.\n *\n * The constructor materializes a single Postgres `SqlControlAdapter` from\n * `stack.adapter.create(stack)` and stores it; the protected `dataTransform`\n * instance method forwards to the free `dataTransform` factory with that\n * stored adapter, so user migrations can write `this.dataTransform(...)`\n * without threading the adapter through every call.\n *\n * Every method requires an explicit `schema`. Postgres migrations name their\n * schema deliberately — there is no default and no `search_path`-relative\n * option. A migration that left the schema unspecified would resolve against\n * whatever `search_path` the connection happened to carry, and that ambiguity\n * is an antipattern in a migration. (The unbound/unspecified namespace concept\n * remains for SQLite, which has no schemas, and for Mongo's connection `db`.)\n */\nexport abstract class PostgresMigration<\n  Start extends Contract<SqlStorage> = Contract<SqlStorage>,\n  End extends Contract<SqlStorage> = Contract<SqlStorage>,\n> extends SqlMigration<PostgresPlanTargetDetails, 'postgres', Start, End> {\n  readonly targetId = 'postgres' as const;\n\n  /**\n   * Materialized Postgres control adapter, created once per migration\n   * instance from the injected stack. `undefined` only when the migration\n   * was instantiated without a stack (test fixtures); `controlAdapterFor`\n   * throws a MIGRATION.POSTGRES_CONTROL_STACK_MISSING in that case to surface the misuse.\n   */\n  protected readonly controlAdapter: SqlControlAdapter<'postgres'> | undefined;\n\n  #endView = new MigrationContractViews<PostgresContractView<End>>(\n    this,\n    'PostgresMigration',\n    (json) => PostgresContractView.fromJson<End>(json),\n  );\n  #startView = new MigrationContractViews<PostgresContractView<Start>>(\n    this,\n    'PostgresMigration',\n    (json) => PostgresContractView.fromJson<Start>(json),\n  );\n\n  constructor(stack?: ControlStack<'sql', 'postgres'>) {\n    super(stack);\n    // The descriptor `create()` is typed as the wider `ControlAdapterInstance`;\n    // the Postgres descriptor concretely returns a `SqlControlAdapter<'postgres'>`,\n    // so the cast holds for any Postgres-target stack assembled at runtime.\n    this.controlAdapter = stack?.adapter\n      ? (stack.adapter.create(stack) as SqlControlAdapter<'postgres'>)\n      : undefined;\n  }\n\n  /**\n   * Returns the materialized control adapter, or throws a MIGRATION.POSTGRES_CONTROL_STACK_MISSING naming\n   * `operation` when the migration was constructed without a `ControlStack`.\n   * Single home for the null-check that every DDL/DML method shares.\n   */\n  private controlAdapterFor(operation: string): SqlControlAdapter<'postgres'> {\n    if (!this.controlAdapter) {\n      throw errorPostgresMigrationStackMissing(operation);\n    }\n    return this.controlAdapter;\n  }\n\n  /**\n   * The typed, schema-qualified Postgres view over this migration's end-state\n   * contract — `this.endContract.namespace.<schema>.table.<name>`, etc. Throws\n   * if no `endContractJson` was provided.\n   */\n  get endContract(): PostgresContractView<End> {\n    return this.#endView.endContract;\n  }\n\n  /**\n   * The typed Postgres view over this migration's start-state contract, or\n   * `null` for a baseline migration (no `startContractJson`).\n   */\n  get startContract(): PostgresContractView<Start> | null {\n    return this.#startView.startContract;\n  }\n\n  /**\n   * Instance-method wrapper around the free `dataTransform` factory that\n   * supplies the stored control adapter. Authors call this from inside\n   * `get operations()`; the adapter argument is hidden from the call site.\n   */\n  protected dataTransform<TContract extends Contract<SqlStorage>>(\n    contract: TContract,\n    name: string,\n    options: DataTransformOptions,\n  ): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return dataTransform(contract, name, options, this.controlAdapterFor('dataTransform'));\n  }\n\n  /**\n   * Emit a `CREATE TABLE` migration operation. Builds a typed DDL node from\n   * the supplied options and lowers it through the stored control adapter.\n   * Throws if no adapter is present (i.e. migration instantiated without a stack).\n   */\n  protected createTable(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly ifNotExists?: boolean;\n    readonly columns: readonly DdlColumn[];\n    readonly constraints?: readonly DdlTableConstraint[];\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new CreateTableCall(\n      options.schema,\n      options.table,\n      options.columns,\n      options.constraints,\n    ).toOp(this.controlAdapterFor('createTable'));\n  }\n\n  /**\n   * Emit a `CREATE SCHEMA` migration operation. Builds a typed DDL node from\n   * the supplied options and lowers it through the stored control adapter.\n   * Throws if no adapter is present (i.e. migration instantiated without a stack).\n   */\n  protected createSchema(options: {\n    readonly schema: string;\n    readonly ifNotExists?: boolean;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new CreateSchemaCall(options.schema).toOp(this.controlAdapterFor('createSchema'));\n  }\n\n  /**\n   * Emit a `CREATE TYPE ... AS ENUM (...)` migration operation for a managed\n   * native enum. Builds a typed DDL node and lowers it through the stored\n   * control adapter (members render in declaration order). Throws if no adapter\n   * is present.\n   */\n  protected createNativeEnumType(options: {\n    readonly schema: string;\n    readonly typeName: string;\n    readonly members: readonly string[];\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new CreateNativeEnumTypeCall(options.schema, options.typeName, options.members).toOp(\n      this.controlAdapterFor('createNativeEnumType'),\n    );\n  }\n\n  /**\n   * Emit a `DROP TYPE` migration operation for a managed native enum, lowered\n   * through the stored control adapter. Throws if no adapter is present.\n   */\n  protected dropNativeEnumType(options: {\n    readonly schema: string;\n    readonly typeName: string;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new DropNativeEnumTypeCall(options.schema, options.typeName).toOp(\n      this.controlAdapterFor('dropNativeEnumType'),\n    );\n  }\n\n  /**\n   * Emit an `ALTER TYPE ... ADD VALUE` migration operation appending one\n   * member to a managed native enum, lowered through the stored control\n   * adapter. Throws if no adapter is present. Every appended value is its\n   * own operation — call this once per value to append more than one.\n   */\n  protected addNativeEnumValue(options: {\n    readonly schema: string;\n    readonly typeName: string;\n    readonly value: string;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new AddNativeEnumValueCall(options.schema, options.typeName, options.value).toOp(\n      this.controlAdapterFor('addNativeEnumValue'),\n    );\n  }\n\n  protected addColumn(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly column: DdlColumn;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new AddColumnCall(options.schema, options.table, options.column).toOp(\n      this.controlAdapterFor('addColumn'),\n    );\n  }\n\n  protected addPrimaryKey(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly constraint: string;\n    readonly columns: readonly string[];\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new AddPrimaryKeyCall(\n      options.schema,\n      options.table,\n      options.constraint,\n      options.columns,\n    ).toOp(this.controlAdapterFor('addPrimaryKey'));\n  }\n\n  protected addUnique(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly constraint: string;\n    readonly columns: readonly string[];\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new AddUniqueCall(\n      options.schema,\n      options.table,\n      options.constraint,\n      options.columns,\n    ).toOp(this.controlAdapterFor('addUnique'));\n  }\n\n  protected addForeignKey(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly foreignKey: ForeignKeySpec;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new AddForeignKeyCall(options.schema, options.table, options.foreignKey).toOp(\n      this.controlAdapterFor('addForeignKey'),\n    );\n  }\n\n  protected addCheckConstraint(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly constraint: string;\n    readonly column: string;\n    readonly values: readonly string[];\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new AddCheckConstraintCall(\n      options.schema,\n      options.table,\n      options.constraint,\n      options.column,\n      options.values,\n    ).toOp(this.controlAdapterFor('addCheckConstraint'));\n  }\n\n  protected dropCheckConstraint(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly constraint: string;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new DropCheckConstraintCall(options.schema, options.table, options.constraint).toOp(\n      this.controlAdapterFor('dropCheckConstraint'),\n    );\n  }\n\n  protected dropConstraint(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly constraint: string;\n    readonly kind?: 'foreignKey' | 'unique' | 'primaryKey';\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new DropConstraintCall(\n      options.schema,\n      options.table,\n      options.constraint,\n      options.kind ?? 'unique',\n    ).toOp(this.controlAdapterFor('dropConstraint'));\n  }\n\n  protected dropTable(options: {\n    readonly schema: string;\n    readonly table: string;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new DropTableCall(options.schema, options.table).toOp(\n      this.controlAdapterFor('dropTable'),\n    );\n  }\n\n  protected dropColumn(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly column: string;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new DropColumnCall(options.schema, options.table, options.column).toOp(\n      this.controlAdapterFor('dropColumn'),\n    );\n  }\n\n  protected alterColumnType(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly column: string;\n    readonly options: AlterColumnTypeOptions;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new AlterColumnTypeCall(\n      options.schema,\n      options.table,\n      options.column,\n      options.options,\n    ).toOp(this.controlAdapterFor('alterColumnType'));\n  }\n\n  protected setNotNull(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly column: string;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new SetNotNullCall(options.schema, options.table, options.column).toOp(\n      this.controlAdapterFor('setNotNull'),\n    );\n  }\n\n  protected dropNotNull(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly column: string;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new DropNotNullCall(options.schema, options.table, options.column).toOp(\n      this.controlAdapterFor('dropNotNull'),\n    );\n  }\n\n  protected setDefault(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly column: string;\n    readonly defaultSql: string;\n    readonly operationClass?: 'additive' | 'widening';\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new SetDefaultCall(\n      options.schema,\n      options.table,\n      options.column,\n      options.defaultSql,\n      options.operationClass,\n    ).toOp(this.controlAdapterFor('setDefault'));\n  }\n\n  protected dropDefault(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly column: string;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new DropDefaultCall(options.schema, options.table, options.column).toOp(\n      this.controlAdapterFor('dropDefault'),\n    );\n  }\n\n  protected createIndex(\n    options: {\n      readonly schema: string;\n      readonly table: string;\n      readonly index: string;\n      readonly extras?: CreateIndexExtras;\n    } & (\n      | { readonly columns: readonly string[]; readonly expression?: never }\n      | { readonly expression: string; readonly columns?: never }\n    ),\n  ): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new CreateIndexCall(\n      options.schema,\n      options.table,\n      options.index,\n      options.columns !== undefined\n        ? { columns: options.columns }\n        : { expression: options.expression },\n      options.extras,\n    ).toOp(this.controlAdapterFor('createIndex'));\n  }\n\n  protected renameIndex(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly from: string;\n    readonly to: string;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new RenameIndexCall(options.schema, options.table, options.from, options.to).toOp(\n      this.controlAdapterFor('renameIndex'),\n    );\n  }\n\n  protected dropIndex(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly index: string;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new DropIndexCall(options.schema, options.table, options.index).toOp(\n      this.controlAdapterFor('dropIndex'),\n    );\n  }\n\n  protected installExtension(options: {\n    readonly extensionName: string;\n    readonly invariantId: string;\n    readonly id: string;\n    readonly label?: string;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return installExtension(options, this.controlAdapterFor('installExtension'));\n  }\n\n  protected enableRowLevelSecurity(options: {\n    readonly schema: string;\n    readonly table: string;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new EnableRowLevelSecurityCall(options.schema, options.table).toOp(\n      this.controlAdapterFor('enableRowLevelSecurity'),\n    );\n  }\n\n  protected disableRowLevelSecurity(options: {\n    readonly schema: string;\n    readonly table: string;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new DisableRowLevelSecurityCall(options.schema, options.table).toOp(\n      this.controlAdapterFor('disableRowLevelSecurity'),\n    );\n  }\n\n  protected createRlsPolicy(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly policy: PostgresRlsPolicyInput;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new CreatePostgresRlsPolicyCall(\n      options.schema,\n      options.table,\n      new PostgresRlsPolicy(options.policy),\n    ).toOp(this.controlAdapterFor('createRlsPolicy'));\n  }\n\n  protected dropRlsPolicy(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly policy: string;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new DropPostgresRlsPolicyCall(options.schema, options.table, options.policy).toOp(\n      this.controlAdapterFor('dropRlsPolicy'),\n    );\n  }\n\n  protected renameRlsPolicy(options: {\n    readonly schema: string;\n    readonly table: string;\n    readonly from: string;\n    readonly to: string;\n  }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n    return new RenamePostgresRlsPolicyCall(\n      options.schema,\n      options.table,\n      options.from,\n      options.to,\n    ).toOp(this.controlAdapterFor('renameRlsPolicy'));\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0EA,IAAsB,oBAAtB,cAGUA,UAAgE;CACxE,WAAoB;;;;;;;CAQpB;CAEA,WAAW,IAAI,uBACb,MACA,sBACC,SAAS,qBAAqB,SAAc,IAAI,CACnD;CACA,aAAa,IAAI,uBACf,MACA,sBACC,SAAS,qBAAqB,SAAgB,IAAI,CACrD;CAEA,YAAY,OAAyC;EACnD,MAAM,KAAK;EAIX,KAAK,iBAAiB,OAAO,UACxB,MAAM,QAAQ,OAAO,KAAK,IAC3B,KAAA;CACN;;;;;;CAOA,kBAA0B,WAAkD;EAC1E,IAAI,CAAC,KAAK,gBACR,MAAM,mCAAmC,SAAS;EAEpD,OAAO,KAAK;CACd;;;;;;CAOA,IAAI,cAAyC;EAC3C,OAAO,KAAKC,SAAS;CACvB;;;;;CAMA,IAAI,gBAAoD;EACtD,OAAO,KAAKC,WAAW;CACzB;;;;;;CAOA,cACE,UACA,MACA,SAC+D;EAC/D,OAAO,cAAc,UAAU,MAAM,SAAS,KAAK,kBAAkB,eAAe,CAAC;CACvF;;;;;;CAOA,YAAsB,SAM4C;EAChE,OAAO,IAAI,gBACT,QAAQ,QACR,QAAQ,OACR,QAAQ,SACR,QAAQ,WACV,CAAC,CAAC,KAAK,KAAK,kBAAkB,aAAa,CAAC;CAC9C;;;;;;CAOA,aAAuB,SAG2C;EAChE,OAAO,IAAI,iBAAiB,QAAQ,MAAM,CAAC,CAAC,KAAK,KAAK,kBAAkB,cAAc,CAAC;CACzF;;;;;;;CAQA,qBAA+B,SAImC;EAChE,OAAO,IAAI,yBAAyB,QAAQ,QAAQ,QAAQ,UAAU,QAAQ,OAAO,CAAC,CAAC,KACrF,KAAK,kBAAkB,sBAAsB,CAC/C;CACF;;;;;CAMA,mBAA6B,SAGqC;EAChE,OAAO,IAAI,uBAAuB,QAAQ,QAAQ,QAAQ,QAAQ,CAAC,CAAC,KAClE,KAAK,kBAAkB,oBAAoB,CAC7C;CACF;;;;;;;CAQA,mBAA6B,SAIqC;EAChE,OAAO,IAAI,uBAAuB,QAAQ,QAAQ,QAAQ,UAAU,QAAQ,KAAK,CAAC,CAAC,KACjF,KAAK,kBAAkB,oBAAoB,CAC7C;CACF;CAEA,UAAoB,SAI8C;EAChE,OAAO,IAAI,cAAc,QAAQ,QAAQ,QAAQ,OAAO,QAAQ,MAAM,CAAC,CAAC,KACtE,KAAK,kBAAkB,WAAW,CACpC;CACF;CAEA,cAAwB,SAK0C;EAChE,OAAO,IAAI,kBACT,QAAQ,QACR,QAAQ,OACR,QAAQ,YACR,QAAQ,OACV,CAAC,CAAC,KAAK,KAAK,kBAAkB,eAAe,CAAC;CAChD;CAEA,UAAoB,SAK8C;EAChE,OAAO,IAAI,cACT,QAAQ,QACR,QAAQ,OACR,QAAQ,YACR,QAAQ,OACV,CAAC,CAAC,KAAK,KAAK,kBAAkB,WAAW,CAAC;CAC5C;CAEA,cAAwB,SAI0C;EAChE,OAAO,IAAI,kBAAkB,QAAQ,QAAQ,QAAQ,OAAO,QAAQ,UAAU,CAAC,CAAC,KAC9E,KAAK,kBAAkB,eAAe,CACxC;CACF;CAEA,mBAA6B,SAMqC;EAChE,OAAO,IAAI,uBACT,QAAQ,QACR,QAAQ,OACR,QAAQ,YACR,QAAQ,QACR,QAAQ,MACV,CAAC,CAAC,KAAK,KAAK,kBAAkB,oBAAoB,CAAC;CACrD;CAEA,oBAA8B,SAIoC;EAChE,OAAO,IAAI,wBAAwB,QAAQ,QAAQ,QAAQ,OAAO,QAAQ,UAAU,CAAC,CAAC,KACpF,KAAK,kBAAkB,qBAAqB,CAC9C;CACF;CAEA,eAAyB,SAKyC;EAChE,OAAO,IAAI,mBACT,QAAQ,QACR,QAAQ,OACR,QAAQ,YACR,QAAQ,QAAQ,QAClB,CAAC,CAAC,KAAK,KAAK,kBAAkB,gBAAgB,CAAC;CACjD;CAEA,UAAoB,SAG8C;EAChE,OAAO,IAAI,cAAc,QAAQ,QAAQ,QAAQ,KAAK,CAAC,CAAC,KACtD,KAAK,kBAAkB,WAAW,CACpC;CACF;CAEA,WAAqB,SAI6C;EAChE,OAAO,IAAI,eAAe,QAAQ,QAAQ,QAAQ,OAAO,QAAQ,MAAM,CAAC,CAAC,KACvE,KAAK,kBAAkB,YAAY,CACrC;CACF;CAEA,gBAA0B,SAKwC;EAChE,OAAO,IAAI,oBACT,QAAQ,QACR,QAAQ,OACR,QAAQ,QACR,QAAQ,OACV,CAAC,CAAC,KAAK,KAAK,kBAAkB,iBAAiB,CAAC;CAClD;CAEA,WAAqB,SAI6C;EAChE,OAAO,IAAI,eAAe,QAAQ,QAAQ,QAAQ,OAAO,QAAQ,MAAM,CAAC,CAAC,KACvE,KAAK,kBAAkB,YAAY,CACrC;CACF;CAEA,YAAsB,SAI4C;EAChE,OAAO,IAAI,gBAAgB,QAAQ,QAAQ,QAAQ,OAAO,QAAQ,MAAM,CAAC,CAAC,KACxE,KAAK,kBAAkB,aAAa,CACtC;CACF;CAEA,WAAqB,SAM6C;EAChE,OAAO,IAAI,eACT,QAAQ,QACR,QAAQ,OACR,QAAQ,QACR,QAAQ,YACR,QAAQ,cACV,CAAC,CAAC,KAAK,KAAK,kBAAkB,YAAY,CAAC;CAC7C;CAEA,YAAsB,SAI4C;EAChE,OAAO,IAAI,gBAAgB,QAAQ,QAAQ,QAAQ,OAAO,QAAQ,MAAM,CAAC,CAAC,KACxE,KAAK,kBAAkB,aAAa,CACtC;CACF;CAEA,YACE,SAS+D;EAC/D,OAAO,IAAI,gBACT,QAAQ,QACR,QAAQ,OACR,QAAQ,OACR,QAAQ,YAAY,KAAA,IAChB,EAAE,SAAS,QAAQ,QAAQ,IAC3B,EAAE,YAAY,QAAQ,WAAW,GACrC,QAAQ,MACV,CAAC,CAAC,KAAK,KAAK,kBAAkB,aAAa,CAAC;CAC9C;CAEA,YAAsB,SAK4C;EAChE,OAAO,IAAI,gBAAgB,QAAQ,QAAQ,QAAQ,OAAO,QAAQ,MAAM,QAAQ,EAAE,CAAC,CAAC,KAClF,KAAK,kBAAkB,aAAa,CACtC;CACF;CAEA,UAAoB,SAI8C;EAChE,OAAO,IAAI,cAAc,QAAQ,QAAQ,QAAQ,OAAO,QAAQ,KAAK,CAAC,CAAC,KACrE,KAAK,kBAAkB,WAAW,CACpC;CACF;CAEA,iBAA2B,SAKuC;EAChE,OAAO,iBAAiB,SAAS,KAAK,kBAAkB,kBAAkB,CAAC;CAC7E;CAEA,uBAAiC,SAGiC;EAChE,OAAO,IAAI,2BAA2B,QAAQ,QAAQ,QAAQ,KAAK,CAAC,CAAC,KACnE,KAAK,kBAAkB,wBAAwB,CACjD;CACF;CAEA,wBAAkC,SAGgC;EAChE,OAAO,IAAI,4BAA4B,QAAQ,QAAQ,QAAQ,KAAK,CAAC,CAAC,KACpE,KAAK,kBAAkB,yBAAyB,CAClD;CACF;CAEA,gBAA0B,SAIwC;EAChE,OAAO,IAAI,4BACT,QAAQ,QACR,QAAQ,OACR,IAAI,kBAAkB,QAAQ,MAAM,CACtC,CAAC,CAAC,KAAK,KAAK,kBAAkB,iBAAiB,CAAC;CAClD;CAEA,cAAwB,SAI0C;EAChE,OAAO,IAAI,0BAA0B,QAAQ,QAAQ,QAAQ,OAAO,QAAQ,MAAM,CAAC,CAAC,KAClF,KAAK,kBAAkB,eAAe,CACxC;CACF;CAEA,gBAA0B,SAKwC;EAChE,OAAO,IAAI,4BACT,QAAQ,QACR,QAAQ,OACR,QAAQ,MACR,QAAQ,EACV,CAAC,CAAC,KAAK,KAAK,kBAAkB,iBAAiB,CAAC;CAClD;AACF"}

package/dist/{postgres-migration-DLIvzHjX.d.mts → postgres-migration-BXelnqHO.d.mts}

@@ -1,7 +1,7 @@
 import { t as PostgresPlanTargetDetails } from "./planner-target-details-HkP4RrRO.mjs";
 import { n as DataTransformOptions } from "./data-transform-CGvE8yGx.mjs";
 import { n as PostgresRlsPolicyInput } from "./postgres-rls-policy-CYXdqG9B.mjs";
-import { N as ForeignKeySpec, l as AlterColumnTypeOptions } from "./op-factory-call-DT7kdjVP.mjs";
+import { F as ForeignKeySpec, P as CreateIndexExtras, l as AlterColumnTypeOptions } from "./op-factory-call-0TB5XNij.mjs";
 import { t as PostgresContractView } from "./postgres-contract-view-CeU7FJjW.mjs";
 import { DdlColumn, DdlTableConstraint } from "@prisma-next/sql-relational-core/ast";
 import { SqlStorage } from "@prisma-next/sql-contract/types";
@@ -9,13 +9,7 @@ import { SqlMigrationPlanOperation } from "@prisma-next/family-sql/control";
 import { ControlStack } from "@prisma-next/framework-components/control";
 import { Migration } from "@prisma-next/family-sql/migration";
 import { Contract } from "@prisma-next/contract/types";
-import { ExecuteRequestLowerer, SqlControlAdapter } from "@prisma-next/family-sql/control-adapter";
-//#region src/core/migrations/operations/indexes.d.ts
-interface CreateIndexExtras {
-  readonly type?: string;
-  readonly options?: Record<string, unknown>;
-}
-//#endregion
+import { SqlControlAdapter } from "@prisma-next/family-sql/control-adapter";
 //#region src/core/migrations/postgres-migration.d.ts
 /**
  * Target-owned base class for Postgres migrations.
@@ -210,8 +204,19 @@ declare abstract class PostgresMigration<Start extends Contract<SqlStorage> = Co
     readonly schema: string;
     readonly table: string;
     readonly index: string;
-    readonly columns: readonly string[];
     readonly extras?: CreateIndexExtras;
+  } & ({
+    readonly columns: readonly string[];
+    readonly expression?: never;
+  } | {
+    readonly expression: string;
+    readonly columns?: never;
+  })): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>>;
+  protected renameIndex(options: {
+    readonly schema: string;
+    readonly table: string;
+    readonly from: string;
+    readonly to: string;
   }): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>>;
   protected dropIndex(options: {
     readonly schema: string;
@@ -251,4 +256,4 @@ declare abstract class PostgresMigration<Start extends Contract<SqlStorage> = Co
 }
 //#endregion
 export { PostgresMigration as t };
-//# sourceMappingURL=postgres-migration-DLIvzHjX.d.mts.map
+//# sourceMappingURL=postgres-migration-BXelnqHO.d.mts.map

package/dist/postgres-migration-BXelnqHO.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"postgres-migration-BXelnqHO.d.mts","names":[],"sources":["../src/core/migrations/postgres-migration.ts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;uBA0EsB,kBACpB,cAAc,SAAS,cAAc,SAAS,aAC9C,YAAY,SAAS,cAAc,SAAS,qBACpC,UAAa,uCAAuC,OAAO;;WAC1D;;;;;;;qBAQU,gBAAgB;cAavB,QAAQ;;;;;;UAeZ;;;;;;MAYJ,eAAe,qBAAqB;;;;;MAQpC,iBAAiB,qBAAqB;;;;;;YAShC,cAAc,kBAAkB,SAAS,aACjD,UAAU,WACV,cACA,SAAS,uBACR,QAAQ,0BAA0B;;;;;;YAS3B,YAAY;aACX;aACA;aACA;aACA,kBAAkB;aAClB,uBAAuB;MAC9B,QAAQ,0BAA0B;;;;;;YAc5B,aAAa;aACZ;aACA;MACP,QAAQ,0BAA0B;;;;;;;YAU5B,qBAAqB;aACpB;aACA;aACA;MACP,QAAQ,0BAA0B;;;;;YAU5B,mBAAmB;aAClB;aACA;MACP,QAAQ,0BAA0B;;;;;;;YAY5B,mBAAmB;aAClB;aACA;aACA;MACP,QAAQ,0BAA0B;YAM5B,UAAU;aACT;aACA;aACA,QAAQ;MACf,QAAQ,0BAA0B;YAM5B,cAAc;aACb;aACA;aACA;aACA;MACP,QAAQ,0BAA0B;YAS5B,UAAU;aACT;aACA;aACA;aACA;MACP,QAAQ,0BAA0B;YAS5B,cAAc;aACb;aACA;aACA,YAAY;MACnB,QAAQ,0BAA0B;YAM5B,mBAAmB;aAClB;aACA;aACA;aACA;aACA;MACP,QAAQ,0BAA0B;YAU5B,oBAAoB;aACnB;aACA;aACA;MACP,QAAQ,0BAA0B;YAM5B,eAAe;aACd;aACA;aACA;aACA;MACP,QAAQ,0BAA0B;YAS5B,UAAU;aACT;aACA;MACP,QAAQ,0BAA0B;YAM5B,WAAW;aACV;aACA;aACA;MACP,QAAQ,0BAA0B;YAM5B,gBAAgB;aACf;aACA;aACA;aACA,SAAS;MAChB,QAAQ,0BAA0B;YAS5B,WAAW;aACV;aACA;aACA;MACP,QAAQ,0BAA0B;YAM5B,YAAY;aACX;aACA;aACA;MACP,QAAQ,0BAA0B;YAM5B,WAAW;aACV;aACA;aACA;aACA;aACA;MACP,QAAQ,0BAA0B;YAU5B,YAAY;aACX;aACA;aACA;MACP,QAAQ,0BAA0B;YAM5B,YACR;aACW;aACA;aACA;aACA,SAAS;;aAEL;aAAqC;;aACrC;aAA6B;OAE3C,QAAQ,0BAA0B;YAY3B,YAAY;aACX;aACA;aACA;aACA;MACP,QAAQ,0BAA0B;YAM5B,UAAU;aACT;aACA;aACA;MACP,QAAQ,0BAA0B;YAM5B,iBAAiB;aAChB;aACA;aACA;aACA;MACP,QAAQ,0BAA0B;YAI5B,uBAAuB;aACtB;aACA;MACP,QAAQ,0BAA0B;YAM5B,wBAAwB;aACvB;aACA;MACP,QAAQ,0BAA0B;YAM5B,gBAAgB;aACf;aACA;aACA,QAAQ;MACf,QAAQ,0BAA0B;YAQ5B,cAAc;aACb;aACA;aACA;MACP,QAAQ,0BAA0B;YAM5B,gBAAgB;aACf;aACA;aACA;aACA;MACP,QAAQ,0BAA0B"}

package/dist/rls-canonicalize.d.mts

@@ -1,26 +1,2 @@
-import { a as normalizePredicate, i as computeContentHash, n as POLICY_OPERATION_PREDICATES, r as RlsPolicyOperation, t as ContentHashParts } from "./canonicalize-D1F4vUnP.mjs";
-//#region src/core/rls/wire-name.d.ts
-interface RlsPolicyWireName {
-  /** The user-supplied part before the `_<8hex>` suffix. */
-  readonly prefix: string;
-  /** The 8-lowercase-hex content-hash suffix. */
-  readonly hash: string;
-}
-/**
- * Assembles an RLS policy wire name from its user-supplied prefix and its
- * 8-hex content-hash suffix. This module owns the `<prefix>_<hash>` format
- * on both sides — construction here and parsing in
- * {@link parseRlsPolicyWireName} — so the two never drift.
- */
-declare function formatRlsPolicyWireName(prefix: string, hash: string): string;
-/**
- * Splits an RLS policy wire name (`<prefix>_<8hex>`) into its prefix and
- * content-hash suffix. Returns `undefined` when the name does not follow the
- * wire-name shape (e.g. a policy created outside the toolchain) — callers
- * treat such names as all-prefix. Consumed by introspection (prefix
- * extraction) and by rename pairing (same hash, different prefix).
- */
-declare function parseRlsPolicyWireName(name: string): RlsPolicyWireName | undefined;
-//#endregion
-export { type ContentHashParts, POLICY_OPERATION_PREDICATES, type RlsPolicyOperation, type RlsPolicyWireName, computeContentHash, formatRlsPolicyWireName, normalizePredicate, parseRlsPolicyWireName };
-//# sourceMappingURL=rls-canonicalize.d.mts.map
+import { i as computeContentHash, n as POLICY_OPERATION_PREDICATES, r as RlsPolicyOperation, t as ContentHashParts } from "./canonicalize-CQlxSR4D.mjs";
+export { type ContentHashParts, POLICY_OPERATION_PREDICATES, type RlsPolicyOperation, computeContentHash };

package/dist/rls-canonicalize.mjs

@@ -1,2 +1,2 @@
-import { a as normalizePredicate, i as computeContentHash, n as parseRlsPolicyWireName, r as POLICY_OPERATION_PREDICATES, t as formatRlsPolicyWireName } from "./wire-name-DbQ9-2RC.mjs";
-export { POLICY_OPERATION_PREDICATES, computeContentHash, formatRlsPolicyWireName, normalizePredicate, parseRlsPolicyWireName };
+import { n as computeContentHash, t as POLICY_OPERATION_PREDICATES } from "./canonicalize-C7zKHw8m.mjs";
+export { POLICY_OPERATION_PREDICATES, computeContentHash };

package/dist/runtime.mjs

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

package/package.json

@@ -1,35 +1,35 @@
 {
   "name": "@prisma-next/target-postgres",
-  "version": "0.16.0-dev.25",
+  "version": "0.16.0-dev.26",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "Postgres target pack for Prisma Next",
   "dependencies": {
-    "@prisma-next/cli": "0.16.0-dev.25",
-    "@prisma-next/contract": "0.16.0-dev.25",
-    "@prisma-next/errors": "0.16.0-dev.25",
-    "@prisma-next/family-sql": "0.16.0-dev.25",
-    "@prisma-next/framework-components": "0.16.0-dev.25",
-    "@prisma-next/migration-tools": "0.16.0-dev.25",
-    "@prisma-next/psl-parser": "0.16.0-dev.25",
-    "@prisma-next/sql-contract": "0.16.0-dev.25",
-    "@prisma-next/sql-errors": "0.16.0-dev.25",
-    "@prisma-next/sql-operations": "0.16.0-dev.25",
-    "@prisma-next/sql-relational-core": "0.16.0-dev.25",
-    "@prisma-next/sql-schema-ir": "0.16.0-dev.25",
-    "@prisma-next/ts-render": "0.16.0-dev.25",
-    "@prisma-next/utils": "0.16.0-dev.25",
+    "@prisma-next/cli": "0.16.0-dev.26",
+    "@prisma-next/contract": "0.16.0-dev.26",
+    "@prisma-next/errors": "0.16.0-dev.26",
+    "@prisma-next/family-sql": "0.16.0-dev.26",
+    "@prisma-next/framework-components": "0.16.0-dev.26",
+    "@prisma-next/migration-tools": "0.16.0-dev.26",
+    "@prisma-next/psl-parser": "0.16.0-dev.26",
+    "@prisma-next/sql-contract": "0.16.0-dev.26",
+    "@prisma-next/sql-errors": "0.16.0-dev.26",
+    "@prisma-next/sql-operations": "0.16.0-dev.26",
+    "@prisma-next/sql-relational-core": "0.16.0-dev.26",
+    "@prisma-next/sql-schema-ir": "0.16.0-dev.26",
+    "@prisma-next/ts-render": "0.16.0-dev.26",
+    "@prisma-next/utils": "0.16.0-dev.26",
     "@standard-schema/spec": "^1.1.0",
     "arktype": "^2.2.2",
     "pathe": "^2.0.3"
   },
   "devDependencies": {
-    "@prisma-next/psl-printer": "0.16.0-dev.25",
-    "@prisma-next/sql-contract-psl": "0.16.0-dev.25",
-    "@prisma-next/test-utils": "0.16.0-dev.25",
-    "@prisma-next/tsconfig": "0.16.0-dev.25",
-    "@prisma-next/tsdown": "0.16.0-dev.25",
+    "@prisma-next/psl-printer": "0.16.0-dev.26",
+    "@prisma-next/sql-contract-psl": "0.16.0-dev.26",
+    "@prisma-next/test-utils": "0.16.0-dev.26",
+    "@prisma-next/tsconfig": "0.16.0-dev.26",
+    "@prisma-next/tsdown": "0.16.0-dev.26",
     "tsdown": "0.22.8",
     "typescript": "5.9.3",
     "vitest": "4.1.10"

package/src/contract-free/ddl.ts

@@ -2,14 +2,18 @@ import type { DdlColumn, DdlTableConstraint } from '@prisma-next/sql-relational-
 import {
   AddColumnAction,
   type AnyAlterTableAction,
+  type DdlIndexElements,
   DropDefaultAction,
+  PostgresAlterIndexRename,
   PostgresAlterPolicyRename,
   PostgresAlterTable,
+  PostgresCreateIndex,
   PostgresCreatePolicy,
   PostgresCreateSchema,
   PostgresCreateTable,
   PostgresCreateType,
   PostgresDisableRowLevelSecurity,
+  PostgresDropIndex,
   PostgresDropPolicy,
   PostgresDropType,
   type RlsPolicyOperation,
@@ -149,6 +153,49 @@ export function alterPolicyRename(options: {
   return new PostgresAlterPolicyRename(options);
 }
 
+/**
+ * Build a Postgres `CREATE [UNIQUE] INDEX` DDL node. Identifiers (`schema`,
+ * `table`, `name`, column elements, `type`, option keys) are quoted by the
+ * renderer; the `expression` element list and the `where` predicate are
+ * inserted verbatim (opaque SQL). An absent `schema` renders the object
+ * names unqualified (the unbound namespace).
+ */
+export function createIndex(options: {
+  readonly schema: string | undefined;
+  readonly table: string;
+  readonly name: string;
+  readonly unique: boolean;
+  readonly elements: DdlIndexElements;
+  readonly type: string | undefined;
+  readonly options: Record<string, unknown> | undefined;
+  readonly where: string | undefined;
+}): PostgresCreateIndex {
+  return new PostgresCreateIndex(options);
+}
+
+/**
+ * Build a Postgres `DROP INDEX` DDL node. The index name (and optional
+ * schema) are quoted by the renderer.
+ */
+export function dropIndex(options: {
+  readonly schema: string | undefined;
+  readonly name: string;
+}): PostgresDropIndex {
+  return new PostgresDropIndex(options);
+}
+
+/**
+ * Build a Postgres `ALTER INDEX … RENAME TO` DDL node. Identifiers are
+ * quoted by the renderer.
+ */
+export function alterIndexRename(options: {
+  readonly schema: string | undefined;
+  readonly from: string;
+  readonly to: string;
+}): PostgresAlterIndexRename {
+  return new PostgresAlterIndexRename(options);
+}
+
 /**
  * Build a Postgres `ALTER TABLE … DISABLE ROW LEVEL SECURITY` DDL node.
  * Identifiers (`schema`, `table`) are quoted by the renderer.

package/src/core/authoring.ts

@@ -22,6 +22,11 @@ import type {
   ResolvedPslModelRefs,
 } from '@prisma-next/sql-contract/entity-handle-lowering-hook';
 import type { SqlValueSetDerivingEntityTypeOutput } from '@prisma-next/sql-contract/value-set-derivation-hook';
+import {
+  assertWireNamePrefixLength,
+  formatWireName,
+  normalizeSqlBody,
+} from '@prisma-next/sql-schema-ir/naming';
 import { assertDefined } from '@prisma-next/utils/assertions';
 import { blindCast } from '@prisma-next/utils/casts';
 import { ifDefined } from '@prisma-next/utils/defined';
@@ -37,12 +42,7 @@ import {
   PostgresRlsPolicySchema,
   PostgresRoleSchema,
 } from './postgres-validators';
-import {
-  computeContentHash,
-  normalizePredicate,
-  POLICY_OPERATION_PREDICATES,
-} from './rls/canonicalize';
-import { formatRlsPolicyWireName } from './rls/wire-name';
+import { computeContentHash, POLICY_OPERATION_PREDICATES } from './rls/canonicalize';
 
 /**
  * `pg.enum(<ref>)` registers as an ordinary type constructor whose sole
@@ -154,10 +154,10 @@ function buildRlsPolicyEntity(input: {
   readonly withCheck?: string;
 }): PostgresRlsPolicy {
   const wireHash = computeContentHash({
-    ...ifDefined('using', input.using !== undefined ? normalizePredicate(input.using) : undefined),
+    ...ifDefined('using', input.using !== undefined ? normalizeSqlBody(input.using) : undefined),
     ...ifDefined(
       'withCheck',
-      input.withCheck !== undefined ? normalizePredicate(input.withCheck) : undefined,
+      input.withCheck !== undefined ? normalizeSqlBody(input.withCheck) : undefined,
     ),
     roles: input.roles,
     operation: input.operation,
@@ -165,7 +165,7 @@ function buildRlsPolicyEntity(input: {
   });
 
   return new PostgresRlsPolicy({
-    name: formatRlsPolicyWireName(input.prefix, wireHash),
+    name: formatWireName(input.prefix, wireHash),
     prefix: input.prefix,
     tableName: input.tableName,
     namespaceId: input.namespaceId,
@@ -684,12 +684,6 @@ export const postgresAuthoringFieldPresets = {
   },
 } as const satisfies AuthoringFieldNamespace;
 
-/**
- * Postgres identifiers cap at 63 characters and the wire name appends a
- * 9-character `_<8hex>` suffix, so the authored prefix is bounded at 54.
- */
-const RLS_POLICY_PREFIX_MAX_LENGTH = 54;
-
 interface RlsRoleHandleShape {
   readonly entityKind: 'role';
   readonly name: string;
@@ -824,13 +818,7 @@ export function postgresLowerEntityHandles(
 
   for (const { handle: policy, refs } of policies) {
     const prefix = policy.name;
-    if (prefix.length > RLS_POLICY_PREFIX_MAX_LENGTH) {
-      throw postgresError(
-        'CONTRACT.POLICY_INVALID',
-        `defineContract: policy prefix "${prefix}" exceeds the ${RLS_POLICY_PREFIX_MAX_LENGTH}-character maximum (Postgres identifiers cap at 63 characters and the wire name appends a 9-character hash suffix).`,
-        { meta: { prefix, reason: 'prefix-too-long' } },
-      );
-    }
+    assertWireNamePrefixLength(prefix, 'defineContract: policy prefix');
     const coordinate = requireLocalTarget(refs, `policy "${prefix}"`);
     if (!enablements.has(coordinateKey(coordinate))) {
       const target = refs['target'];

package/src/core/ddl/nodes.ts

@@ -73,6 +73,9 @@ export interface PostgresDdlVisitor<R> {
   createPolicy(node: PostgresCreatePolicy): R;
   dropPolicy(node: PostgresDropPolicy): R;
   alterPolicyRename(node: PostgresAlterPolicyRename): R;
+  createIndex(node: PostgresCreateIndex): R;
+  dropIndex(node: PostgresDropIndex): R;
+  alterIndexRename(node: PostgresAlterIndexRename): R;
   disableRowLevelSecurity(node: PostgresDisableRowLevelSecurity): R;
 }
 
@@ -284,6 +287,104 @@ export class PostgresAlterPolicyRename extends PostgresDdlNode {
   }
 }
 
+/**
+ * The element list between the parens of CREATE INDEX: either a column
+ * tuple (each identifier quoted by the renderer) or one opaque expression
+ * string covering the entire list, inserted verbatim — the same opaque-SQL
+ * stance as RLS policy predicates (ADR 234).
+ */
+export type DdlIndexElements =
+  | { readonly columns: readonly string[] }
+  | { readonly expression: string };
+
+export class PostgresCreateIndex extends PostgresDdlNode {
+  readonly kind = 'create-index' as const;
+  /** Absent ⇔ unqualified (the unbound namespace — `search_path` decides). */
+  readonly schema: string | undefined;
+  readonly table: string;
+  readonly name: string;
+  readonly unique: boolean;
+  readonly elements: DdlIndexElements;
+  readonly type: string | undefined;
+  readonly options: Record<string, unknown> | undefined;
+  /**
+   * Partial-index predicate (WHERE body, without the keyword). Inserted
+   * verbatim, never quoted or escaped.
+   */
+  readonly where: string | undefined;
+
+  constructor(options: {
+    readonly schema: string | undefined;
+    readonly table: string;
+    readonly name: string;
+    readonly unique: boolean;
+    readonly elements: DdlIndexElements;
+    readonly type: string | undefined;
+    readonly options: Record<string, unknown> | undefined;
+    readonly where: string | undefined;
+  }) {
+    super();
+    this.schema = options.schema;
+    this.table = options.table;
+    this.name = options.name;
+    this.unique = options.unique;
+    this.elements =
+      'columns' in options.elements
+        ? { columns: Object.freeze([...options.elements.columns]) }
+        : { expression: options.elements.expression };
+    this.type = options.type;
+    this.options = options.options;
+    this.where = options.where;
+    this.freeze();
+  }
+
+  override accept<R>(visitor: PostgresDdlVisitor<R>): R {
+    return visitor.createIndex(this);
+  }
+}
+
+export class PostgresDropIndex extends PostgresDdlNode {
+  readonly kind = 'drop-index' as const;
+  /** Absent ⇔ unqualified (the unbound namespace). */
+  readonly schema: string | undefined;
+  readonly name: string;
+
+  constructor(options: { readonly schema: string | undefined; readonly name: string }) {
+    super();
+    this.schema = options.schema;
+    this.name = options.name;
+    this.freeze();
+  }
+
+  override accept<R>(visitor: PostgresDdlVisitor<R>): R {
+    return visitor.dropIndex(this);
+  }
+}
+
+export class PostgresAlterIndexRename extends PostgresDdlNode {
+  readonly kind = 'alter-index-rename' as const;
+  /** Absent ⇔ unqualified (the unbound namespace). */
+  readonly schema: string | undefined;
+  readonly from: string;
+  readonly to: string;
+
+  constructor(options: {
+    readonly schema: string | undefined;
+    readonly from: string;
+    readonly to: string;
+  }) {
+    super();
+    this.schema = options.schema;
+    this.from = options.from;
+    this.to = options.to;
+    this.freeze();
+  }
+
+  override accept<R>(visitor: PostgresDdlVisitor<R>): R {
+    return visitor.alterIndexRename(this);
+  }
+}
+
 export class PostgresDisableRowLevelSecurity extends PostgresDdlNode {
   readonly kind = 'disable-row-level-security' as const;
   readonly schema: string;
@@ -310,4 +411,7 @@ export type AnyPostgresDdlNode =
   | PostgresCreatePolicy
   | PostgresDropPolicy
   | PostgresAlterPolicyRename
+  | PostgresCreateIndex
+  | PostgresDropIndex
+  | PostgresAlterIndexRename
   | PostgresDisableRowLevelSecurity;

package/src/core/migrations/contract-to-postgres-database-schema-node.ts

@@ -193,19 +193,30 @@ export function contractToPostgresDatabaseSchemaNode(
             dependsOn: columnDependsOn(ddlSchema, tableName, u.columns),
           }),
       );
-      const indexes = sqlTable.indexes.map(
-        (i) =>
-          new SqlIndexIR({
-            columns: i.columns,
-            unique: i.unique,
-            partial: i.partial,
-            name: i.name,
-            type: i.type,
-            options: i.options,
-            annotations: i.annotations,
-            dependsOn: columnDependsOn(ddlSchema, tableName, i.columns),
-          }),
-      );
+      const indexes = sqlTable.indexes.map((i) => {
+        const base = {
+          name: i.name,
+          prefix: i.prefix,
+          where: i.where,
+          unique: i.unique,
+          partial: i.partial,
+          type: i.type,
+          options: i.options,
+          annotations: i.annotations,
+          // Expression indexes stamp chains to every column of the table —
+          // the same over-approximation the family derivation uses.
+          dependsOn: columnDependsOn(
+            ddlSchema,
+            tableName,
+            i.columns ?? Object.keys(sqlTable.columns),
+          ),
+        };
+        return new SqlIndexIR(
+          i.expression !== undefined
+            ? { ...base, expression: i.expression }
+            : { ...base, columns: i.columns ?? [] },
+        );
+      });
       const primaryKey =
         sqlTable.primaryKey !== undefined
           ? new PrimaryKey({

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

@@ -30,7 +30,6 @@ import { UNBOUND_NAMESPACE_ID } from '@prisma-next/framework-components/ir';
 import type { SqlStorage, StorageTypeInstance } from '@prisma-next/sql-contract/types';
 import type { DdlTableConstraint } from '@prisma-next/sql-relational-core/ast';
 import * as contractFree from '@prisma-next/sql-relational-core/contract-free';
-import { defaultIndexName } from '@prisma-next/sql-schema-ir/naming';
 import {
   RelationalSchemaNodeKind,
   type SqlColumnDefaultIR,
@@ -200,6 +199,7 @@ function classifyCall(call: PostgresOpFactoryCall): CallCategory {
     case 'addUnique':
       return 'unique';
     case 'createIndex':
+    case 'renameIndex':
       return 'index';
     case 'addForeignKey':
       return 'foreignKey';
@@ -248,6 +248,7 @@ function conflictKindForCall(call: PostgresOpFactoryCall): SqlPlannerConflict['k
     case 'dropConstraint':
       return 'foreignKeyConflict';
     case 'createIndex':
+    case 'renameIndex':
     case 'dropIndex':
       return 'indexIncompatible';
     default:
@@ -263,6 +264,7 @@ function locationForCall(call: PostgresOpFactoryCall): SqlPlannerConflict['locat
     tableName?: string;
     columnName?: string;
     indexName?: string;
+    newIndexName?: string;
     constraintName?: string;
     typeName?: string;
   };
@@ -281,7 +283,10 @@ function locationForCall(call: PostgresOpFactoryCall): SqlPlannerConflict['locat
     location.entityName = anyCall.typeName;
   }
   if (anyCall.columnName) location.column = anyCall.columnName;
+  // A rename call carries old/new index names; the new name is the index's
+  // contract-side identity, so it is the conflict location.
   if (anyCall.indexName) location.index = anyCall.indexName;
+  else if (anyCall.newIndexName) location.index = anyCall.newIndexName;
   if (anyCall.constraintName) location.constraint = anyCall.constraintName;
   return Object.keys(location).length > 0 ? (location as SqlPlannerConflictLocation) : undefined;
 }
@@ -476,11 +481,7 @@ function buildCreateTableCallsFromNode(
     ),
   ];
   for (const index of table.indexes) {
-    const indexName = index.name ?? defaultIndexName(table.name, 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, table.name, indexName, [...index.columns], extras));
+    calls.push(createIndexCallFromNode(index, schemaName, table.name));
   }
   for (const fk of table.foreignKeys) {
     calls.push(new AddForeignKeyCall(schemaName, table.name, fkSpecFromNode(fk, table.name)));
@@ -808,6 +809,37 @@ function mapUniqueNodeIssue(
   return notOk(nodeConflict('indexIncompatible', issue.path.join('/')));
 }
 
+/**
+ * The CreateIndexCall for a name-identified index node: the node's own name
+ * verbatim, its element list (column tuple or opaque expression), and the
+ * unique/type/options/where attributes carried through.
+ */
+export function createIndexCallFromNode(
+  index: SqlIndexIR,
+  schemaName: string,
+  tableName: string,
+): CreateIndexCall {
+  const extras: {
+    type?: string;
+    options?: Record<string, unknown>;
+    where?: string;
+    unique?: boolean;
+  } = {};
+  if (index.type !== undefined) extras.type = index.type;
+  if (index.options !== undefined) extras.options = index.options;
+  if (index.where !== undefined) extras.where = index.where;
+  if (index.unique) extras.unique = true;
+  return new CreateIndexCall(
+    schemaName,
+    tableName,
+    index.name,
+    index.columns !== undefined
+      ? { columns: [...index.columns] }
+      : { expression: index.expression ?? '' },
+    extras,
+  );
+}
+
 function mapIndexNodeIssue(
   issue: SchemaDiffIssue,
   schemaName: string,
@@ -818,19 +850,14 @@ function mapIndexNodeIssue(
       SqlIndexIR,
       'a not-found index issue always carries the expected index node'
     >(issue.expected);
-    const indexName = index.name ?? defaultIndexName(tableName, 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;
-    return ok([new CreateIndexCall(schemaName, tableName, indexName, [...index.columns], extras)]);
+    return ok([createIndexCallFromNode(index, schemaName, tableName)]);
   }
   if (issueOutcome(issue) === 'not-expected') {
     const index = blindCast<
       SqlIndexIR,
       'a not-expected index issue always carries the actual index node'
     >(issue.actual);
-    const indexName = index.name ?? defaultIndexName(tableName, index.columns);
-    return ok([new DropIndexCall(schemaName, tableName, indexName)]);
+    return ok([new DropIndexCall(schemaName, tableName, index.name)]);
   }
   return notOk(nodeConflict('indexIncompatible', issue.path.join('/')));
 }