@prisma-next/target-postgres 0.3.0-dev.9 → 0.3.0-pr.49.6

package/dist/core/migrations/planner.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"planner.d.ts","sourceRoot":"","sources":["../../../src/core/migrations/planner.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAEV,mBAAmB,EAIpB,MAAM,iCAAiC,CAAC;AAgBzC,KAAK,cAAc,GAAG,WAAW,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,GAAG,YAAY,CAAC;AAuBhF,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,UAAU,aAAa;IACrB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAMD,wBAAgB,8BAA8B,CAC5C,MAAM,GAAE,OAAO,CAAC,aAAa,CAAM,GAClC,mBAAmB,CAAC,yBAAyB,CAAC,CAKhD"}
+{"version":3,"file":"planner.d.ts","sourceRoot":"","sources":["../../../src/core/migrations/planner.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAEV,mBAAmB,EAIpB,MAAM,iCAAiC,CAAC;AAqBzC,KAAK,cAAc,GAAG,WAAW,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,GAAG,YAAY,CAAC;AAuBhF,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,UAAU,aAAa;IACrB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAMD,wBAAgB,8BAA8B,CAC5C,MAAM,GAAE,OAAO,CAAC,aAAa,CAAM,GAClC,mBAAmB,CAAC,yBAAyB,CAAC,CAKhD"}

package/dist/exports/control.js

@@ -8,7 +8,12 @@ import {
   plannerFailure,
   plannerSuccess
 } from "@prisma-next/family-sql/control";
-import { arraysEqual, verifySqlSchema } from "@prisma-next/family-sql/schema-verify";
+import {
+  arraysEqual,
+  isIndexSatisfied,
+  isUniqueConstraintSatisfied,
+  verifySqlSchema
+} from "@prisma-next/family-sql/schema-verify";
 var DEFAULT_PLANNER_CONFIG = {
   defaultSchema: "public"
 };
@@ -593,10 +598,10 @@ function tableHasPrimaryKeyCheck(schema, table, exists, constraintName) {
 )`;
 }
 function hasUniqueConstraint(table, columns) {
-  return table.uniques.some((unique) => arraysEqual(unique.columns, columns));
+  return isUniqueConstraintSatisfied(table.uniques, table.indexes, columns);
 }
 function hasIndex(table, columns) {
-  return table.indexes.some((index) => !index.unique && arraysEqual(index.columns, columns));
+  return isIndexSatisfied(table.indexes, table.uniques, columns);
 }
 function hasForeignKey(table, fk) {
   return table.foreignKeys.some(

package/dist/exports/control.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/core/migrations/planner.ts","../../src/core/migrations/runner.ts","../../src/core/migrations/statement-builders.ts","../../src/exports/control.ts"],"sourcesContent":["import type { SchemaIssue } from '@prisma-next/core-control-plane/types';\nimport type {\n  MigrationOperationPolicy,\n  SqlMigrationPlanner,\n  SqlMigrationPlannerPlanOptions,\n  SqlMigrationPlanOperation,\n  SqlPlannerConflict,\n} from '@prisma-next/family-sql/control';\nimport {\n  createMigrationPlan,\n  plannerFailure,\n  plannerSuccess,\n} from '@prisma-next/family-sql/control';\nimport { arraysEqual, verifySqlSchema } from '@prisma-next/family-sql/schema-verify';\nimport type {\n  ForeignKey,\n  SqlContract,\n  SqlStorage,\n  StorageColumn,\n  StorageTable,\n} from '@prisma-next/sql-contract/types';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\n\ntype OperationClass = 'extension' | 'table' | 'unique' | 'index' | 'foreignKey';\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\ntype PlannerDatabaseDependency = {\n  readonly id: string;\n  readonly label: string;\n  readonly install: readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[];\n  readonly verifyDatabaseDependencyInstalled: (schema: SqlSchemaIR) => readonly SchemaIssue[];\n};\n\nexport interface PostgresPlanTargetDetails {\n  readonly schema: string;\n  readonly objectType: OperationClass;\n  readonly name: string;\n  readonly table?: string;\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): SqlMigrationPlanner<PostgresPlanTargetDetails> {\n  return new PostgresMigrationPlanner({\n    ...DEFAULT_PLANNER_CONFIG,\n    ...config,\n  });\n}\n\nclass PostgresMigrationPlanner implements SqlMigrationPlanner<PostgresPlanTargetDetails> {\n  constructor(private readonly config: PlannerConfig) {}\n\n  plan(options: SqlMigrationPlannerPlanOptions) {\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 classification = this.classifySchema(options);\n    if (classification.kind === 'conflict') {\n      return plannerFailure(classification.conflicts);\n    }\n\n    const operations: SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] = [];\n\n    // Build extension operations from component-owned database dependencies\n    operations.push(\n      ...this.buildDatabaseDependencyOperations(options),\n      ...this.buildTableOperations(options.contract.storage.tables, options.schema, schemaName),\n      ...this.buildColumnOperations(options.contract.storage.tables, options.schema, schemaName),\n      ...this.buildPrimaryKeyOperations(\n        options.contract.storage.tables,\n        options.schema,\n        schemaName,\n      ),\n      ...this.buildUniqueOperations(options.contract.storage.tables, options.schema, schemaName),\n      ...this.buildIndexOperations(options.contract.storage.tables, options.schema, schemaName),\n      ...this.buildForeignKeyOperations(\n        options.contract.storage.tables,\n        options.schema,\n        schemaName,\n      ),\n    );\n\n    const plan = createMigrationPlan<PostgresPlanTargetDetails>({\n      targetId: 'postgres',\n      origin: null,\n      destination: {\n        coreHash: options.contract.coreHash,\n        ...(options.contract.profileHash ? { profileHash: options.contract.profileHash } : {}),\n      },\n      operations,\n    });\n\n    return plannerSuccess(plan);\n  }\n\n  private ensureAdditivePolicy(policy: MigrationOperationPolicy) {\n    if (!policy.allowedOperationClasses.includes('additive')) {\n      return plannerFailure([\n        {\n          kind: 'unsupportedOperation',\n          summary: 'Init planner requires additive operations be allowed',\n          why: 'The init planner only emits additive operations. Update the policy to include \"additive\".',\n        },\n      ]);\n    }\n    return null;\n  }\n\n  /**\n   * Builds migration operations from component-owned database dependencies.\n   * These operations install database-side persistence structures declared by components.\n   */\n  private buildDatabaseDependencyOperations(\n    options: PlannerOptionsWithComponents,\n  ): readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] {\n    const dependencies = this.collectDependencies(options);\n    const operations: SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] = [];\n    const seenDependencyIds = new Set<string>();\n    const seenOperationIds = new Set<string>();\n\n    for (const dependency of dependencies) {\n      if (seenDependencyIds.has(dependency.id)) {\n        continue;\n      }\n      seenDependencyIds.add(dependency.id);\n\n      const issues = dependency.verifyDatabaseDependencyInstalled(options.schema);\n      if (issues.length === 0) {\n        continue;\n      }\n\n      for (const installOp of dependency.install) {\n        if (seenOperationIds.has(installOp.id)) {\n          continue;\n        }\n        seenOperationIds.add(installOp.id);\n        // SQL family components are expected to provide compatible target details. This would be better if\n        // the type system could enforce it but it's not likely to occur in practice.\n        operations.push(installOp as SqlMigrationPlanOperation<PostgresPlanTargetDetails>);\n      }\n    }\n\n    return operations;\n  }\n  private collectDependencies(\n    options: PlannerOptionsWithComponents,\n  ): ReadonlyArray<PlannerDatabaseDependency> {\n    const components = options.frameworkComponents;\n    if (components.length === 0) {\n      return [];\n    }\n    const deps: PlannerDatabaseDependency[] = [];\n    for (const component of components) {\n      if (!isSqlDependencyProvider(component)) {\n        continue;\n      }\n      const initDeps = component.databaseDependencies?.init;\n      if (initDeps && initDeps.length > 0) {\n        deps.push(...initDeps);\n      }\n    }\n    return sortDependencies(deps);\n  }\n\n  private buildTableOperations(\n    tables: SqlContract<SqlStorage>['storage']['tables'],\n    schema: SqlSchemaIR,\n    schemaName: string,\n  ): readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] {\n    const operations: SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] = [];\n    for (const [tableName, table] of sortedEntries(tables)) {\n      if (schema.tables[tableName]) {\n        continue;\n      }\n      const qualified = qualifyTableName(schemaName, tableName);\n      operations.push({\n        id: `table.${tableName}`,\n        label: `Create table ${tableName}`,\n        summary: `Creates table ${tableName} with required columns`,\n        operationClass: 'additive',\n        target: {\n          id: 'postgres',\n          details: this.buildTargetDetails('table', tableName, schemaName),\n        },\n        precheck: [\n          {\n            description: `ensure table \"${tableName}\" does not exist`,\n            sql: `SELECT to_regclass(${toRegclassLiteral(schemaName, tableName)}) IS NULL`,\n          },\n        ],\n        execute: [\n          {\n            description: `create table \"${tableName}\"`,\n            sql: buildCreateTableSql(qualified, table),\n          },\n        ],\n        postcheck: [\n          {\n            description: `verify table \"${tableName}\" exists`,\n            sql: `SELECT to_regclass(${toRegclassLiteral(schemaName, tableName)}) IS NOT NULL`,\n          },\n        ],\n      });\n    }\n    return operations;\n  }\n\n  private buildColumnOperations(\n    tables: SqlContract<SqlStorage>['storage']['tables'],\n    schema: SqlSchemaIR,\n    schemaName: string,\n  ): readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] {\n    const operations: SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] = [];\n    for (const [tableName, table] of sortedEntries(tables)) {\n      const schemaTable = schema.tables[tableName];\n      if (!schemaTable) {\n        continue;\n      }\n      for (const [columnName, column] of sortedEntries(table.columns)) {\n        if (schemaTable.columns[columnName]) {\n          continue;\n        }\n        operations.push(this.buildAddColumnOperation(schemaName, tableName, columnName, column));\n      }\n    }\n    return operations;\n  }\n\n  private buildAddColumnOperation(\n    schema: string,\n    tableName: string,\n    columnName: string,\n    column: StorageColumn,\n  ): SqlMigrationPlanOperation<PostgresPlanTargetDetails> {\n    const qualified = qualifyTableName(schema, tableName);\n    const notNull = column.nullable === false;\n    const precheck = [\n      {\n        description: `ensure column \"${columnName}\" is missing`,\n        sql: columnExistsCheck({ schema, table: tableName, column: columnName, exists: false }),\n      },\n      ...(notNull\n        ? [\n            {\n              description: `ensure table \"${tableName}\" is empty before adding NOT NULL column`,\n              sql: tableIsEmptyCheck(qualified),\n            },\n          ]\n        : []),\n    ];\n    const execute = [\n      {\n        description: `add column \"${columnName}\"`,\n        sql: buildAddColumnSql(qualified, columnName, column),\n      },\n    ];\n    const postcheck = [\n      {\n        description: `verify column \"${columnName}\" exists`,\n        sql: columnExistsCheck({ schema, table: tableName, column: columnName }),\n      },\n      ...(notNull\n        ? [\n            {\n              description: `verify column \"${columnName}\" is NOT NULL`,\n              sql: columnIsNotNullCheck({ schema, table: tableName, column: columnName }),\n            },\n          ]\n        : []),\n    ];\n\n    return {\n      id: `column.${tableName}.${columnName}`,\n      label: `Add column ${columnName} to ${tableName}`,\n      summary: `Adds column ${columnName} to table ${tableName}`,\n      operationClass: 'additive',\n      target: {\n        id: 'postgres',\n        details: this.buildTargetDetails('table', tableName, schema),\n      },\n      precheck,\n      execute,\n      postcheck,\n    };\n  }\n\n  private buildPrimaryKeyOperations(\n    tables: SqlContract<SqlStorage>['storage']['tables'],\n    schema: SqlSchemaIR,\n    schemaName: string,\n  ): readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] {\n    const operations: SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] = [];\n    for (const [tableName, table] of sortedEntries(tables)) {\n      if (!table.primaryKey) {\n        continue;\n      }\n      const schemaTable = schema.tables[tableName];\n      if (!schemaTable || schemaTable.primaryKey) {\n        continue;\n      }\n      const constraintName = table.primaryKey.name ?? `${tableName}_pkey`;\n      operations.push({\n        id: `primaryKey.${tableName}.${constraintName}`,\n        label: `Add primary key ${constraintName} on ${tableName}`,\n        summary: `Adds primary key ${constraintName} on ${tableName}`,\n        operationClass: 'additive',\n        target: {\n          id: 'postgres',\n          details: this.buildTargetDetails('table', tableName, schemaName),\n        },\n        precheck: [\n          {\n            description: `ensure primary key does not exist on \"${tableName}\"`,\n            sql: tableHasPrimaryKeyCheck(schemaName, tableName, false),\n          },\n        ],\n        execute: [\n          {\n            description: `add primary key \"${constraintName}\"`,\n            sql: `ALTER TABLE ${qualifyTableName(schemaName, tableName)}\nADD CONSTRAINT ${quoteIdentifier(constraintName)}\nPRIMARY KEY (${table.primaryKey.columns.map(quoteIdentifier).join(', ')})`,\n          },\n        ],\n        postcheck: [\n          {\n            description: `verify primary key \"${constraintName}\" exists`,\n            sql: tableHasPrimaryKeyCheck(schemaName, tableName, true, constraintName),\n          },\n        ],\n      });\n    }\n    return operations;\n  }\n\n  private buildUniqueOperations(\n    tables: SqlContract<SqlStorage>['storage']['tables'],\n    schema: SqlSchemaIR,\n    schemaName: string,\n  ): readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] {\n    const operations: SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] = [];\n    for (const [tableName, table] of sortedEntries(tables)) {\n      const schemaTable = schema.tables[tableName];\n      for (const unique of table.uniques) {\n        if (schemaTable && hasUniqueConstraint(schemaTable, unique.columns)) {\n          continue;\n        }\n        const constraintName = unique.name ?? `${tableName}_${unique.columns.join('_')}_key`;\n        operations.push({\n          id: `unique.${tableName}.${constraintName}`,\n          label: `Add unique constraint ${constraintName} on ${tableName}`,\n          summary: `Adds unique constraint ${constraintName} on ${tableName}`,\n          operationClass: 'additive',\n          target: {\n            id: 'postgres',\n            details: this.buildTargetDetails('unique', constraintName, schemaName, tableName),\n          },\n          precheck: [\n            {\n              description: `ensure unique constraint \"${constraintName}\" is missing`,\n              sql: constraintExistsCheck({ constraintName, schema: schemaName, exists: false }),\n            },\n          ],\n          execute: [\n            {\n              description: `add unique constraint \"${constraintName}\"`,\n              sql: `ALTER TABLE ${qualifyTableName(schemaName, tableName)}\nADD CONSTRAINT ${quoteIdentifier(constraintName)}\nUNIQUE (${unique.columns.map(quoteIdentifier).join(', ')})`,\n            },\n          ],\n          postcheck: [\n            {\n              description: `verify unique constraint \"${constraintName}\" exists`,\n              sql: constraintExistsCheck({ constraintName, schema: schemaName }),\n            },\n          ],\n        });\n      }\n    }\n    return operations;\n  }\n\n  private buildIndexOperations(\n    tables: SqlContract<SqlStorage>['storage']['tables'],\n    schema: SqlSchemaIR,\n    schemaName: string,\n  ): readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] {\n    const operations: SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] = [];\n    for (const [tableName, table] of sortedEntries(tables)) {\n      const schemaTable = schema.tables[tableName];\n      for (const index of table.indexes) {\n        if (schemaTable && hasIndex(schemaTable, index.columns)) {\n          continue;\n        }\n        const indexName = index.name ?? `${tableName}_${index.columns.join('_')}_idx`;\n        operations.push({\n          id: `index.${tableName}.${indexName}`,\n          label: `Create index ${indexName} on ${tableName}`,\n          summary: `Creates index ${indexName} on ${tableName}`,\n          operationClass: 'additive',\n          target: {\n            id: 'postgres',\n            details: this.buildTargetDetails('index', indexName, schemaName, tableName),\n          },\n          precheck: [\n            {\n              description: `ensure index \"${indexName}\" is missing`,\n              sql: `SELECT to_regclass(${toRegclassLiteral(schemaName, indexName)}) IS NULL`,\n            },\n          ],\n          execute: [\n            {\n              description: `create index \"${indexName}\"`,\n              sql: `CREATE INDEX ${quoteIdentifier(indexName)} ON ${qualifyTableName(\n                schemaName,\n                tableName,\n              )} (${index.columns.map(quoteIdentifier).join(', ')})`,\n            },\n          ],\n          postcheck: [\n            {\n              description: `verify index \"${indexName}\" exists`,\n              sql: `SELECT to_regclass(${toRegclassLiteral(schemaName, indexName)}) IS NOT NULL`,\n            },\n          ],\n        });\n      }\n    }\n    return operations;\n  }\n\n  private buildForeignKeyOperations(\n    tables: SqlContract<SqlStorage>['storage']['tables'],\n    schema: SqlSchemaIR,\n    schemaName: string,\n  ): readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] {\n    const operations: SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] = [];\n    for (const [tableName, table] of sortedEntries(tables)) {\n      const schemaTable = schema.tables[tableName];\n      for (const foreignKey of table.foreignKeys) {\n        if (schemaTable && hasForeignKey(schemaTable, foreignKey)) {\n          continue;\n        }\n        const fkName = foreignKey.name ?? `${tableName}_${foreignKey.columns.join('_')}_fkey`;\n        operations.push({\n          id: `foreignKey.${tableName}.${fkName}`,\n          label: `Add foreign key ${fkName} on ${tableName}`,\n          summary: `Adds foreign key ${fkName} referencing ${foreignKey.references.table}`,\n          operationClass: 'additive',\n          target: {\n            id: 'postgres',\n            details: this.buildTargetDetails('foreignKey', fkName, schemaName, tableName),\n          },\n          precheck: [\n            {\n              description: `ensure foreign key \"${fkName}\" is missing`,\n              sql: constraintExistsCheck({\n                constraintName: fkName,\n                schema: schemaName,\n                exists: false,\n              }),\n            },\n          ],\n          execute: [\n            {\n              description: `add foreign key \"${fkName}\"`,\n              sql: `ALTER TABLE ${qualifyTableName(schemaName, tableName)}\nADD CONSTRAINT ${quoteIdentifier(fkName)}\nFOREIGN KEY (${foreignKey.columns.map(quoteIdentifier).join(', ')})\nREFERENCES ${qualifyTableName(schemaName, foreignKey.references.table)} (${foreignKey.references.columns\n                .map(quoteIdentifier)\n                .join(', ')})`,\n            },\n          ],\n          postcheck: [\n            {\n              description: `verify foreign key \"${fkName}\" exists`,\n              sql: constraintExistsCheck({ constraintName: fkName, schema: schemaName }),\n            },\n          ],\n        });\n      }\n    }\n    return operations;\n  }\n\n  private buildTargetDetails(\n    objectType: OperationClass,\n    name: string,\n    schema: string,\n    table?: string,\n  ): PostgresPlanTargetDetails {\n    return {\n      schema,\n      objectType,\n      name,\n      ...(table ? { table } : {}),\n    };\n  }\n\n  private classifySchema(options: PlannerOptionsWithComponents):\n    | { kind: 'ok' }\n    | {\n        kind: 'conflict';\n        conflicts: SqlPlannerConflict[];\n      } {\n    const verifyOptions: VerifySqlSchemaOptionsWithComponents = {\n      contract: options.contract,\n      schema: options.schema,\n      strict: false,\n      typeMetadataRegistry: new Map(),\n      frameworkComponents: options.frameworkComponents,\n    };\n    const verifyResult = verifySqlSchema(verifyOptions);\n\n    const conflicts = this.extractConflicts(verifyResult.schema.issues);\n    if (conflicts.length > 0) {\n      return { kind: 'conflict', conflicts };\n    }\n    return { kind: 'ok' };\n  }\n\n  private extractConflicts(issues: readonly SchemaIssue[]): SqlPlannerConflict[] {\n    const conflicts: SqlPlannerConflict[] = [];\n    for (const issue of issues) {\n      if (isAdditiveIssue(issue)) {\n        continue;\n      }\n      const conflict = this.convertIssueToConflict(issue);\n      if (conflict) {\n        conflicts.push(conflict);\n      }\n    }\n    return conflicts.sort(conflictComparator);\n  }\n\n  private convertIssueToConflict(issue: SchemaIssue): SqlPlannerConflict | null {\n    switch (issue.kind) {\n      case 'type_mismatch':\n        return this.buildConflict('typeMismatch', issue);\n      case 'nullability_mismatch':\n        return this.buildConflict('nullabilityConflict', issue);\n      case 'primary_key_mismatch':\n        return this.buildConflict('indexIncompatible', issue);\n      case 'unique_constraint_mismatch':\n        return this.buildConflict('indexIncompatible', issue);\n      case 'index_mismatch':\n        return this.buildConflict('indexIncompatible', issue);\n      case 'foreign_key_mismatch':\n        return this.buildConflict('foreignKeyConflict', issue);\n      default:\n        return null;\n    }\n  }\n\n  private buildConflict(kind: SqlPlannerConflict['kind'], issue: SchemaIssue): SqlPlannerConflict {\n    const location = buildConflictLocation(issue);\n    const meta =\n      issue.expected || issue.actual\n        ? Object.freeze({\n            ...(issue.expected ? { expected: issue.expected } : {}),\n            ...(issue.actual ? { actual: issue.actual } : {}),\n          })\n        : undefined;\n\n    return {\n      kind,\n      summary: issue.message,\n      ...(location ? { location } : {}),\n      ...(meta ? { meta } : {}),\n    };\n  }\n}\n\nfunction isSqlDependencyProvider(component: unknown): component is {\n  readonly databaseDependencies?: {\n    readonly init?: readonly PlannerDatabaseDependency[];\n  };\n} {\n  if (typeof component !== 'object' || component === null) {\n    return false;\n  }\n  const record = component as Record<string, unknown>;\n\n  // If present, enforce familyId match to avoid mixing families at runtime.\n  if (Object.hasOwn(record, 'familyId') && record['familyId'] !== 'sql') {\n    return false;\n  }\n\n  if (!Object.hasOwn(record, 'databaseDependencies')) {\n    return false;\n  }\n  const deps = record['databaseDependencies'];\n  return deps === undefined || (typeof deps === 'object' && deps !== null);\n}\n\nfunction sortDependencies(\n  dependencies: ReadonlyArray<PlannerDatabaseDependency>,\n): ReadonlyArray<PlannerDatabaseDependency> {\n  if (dependencies.length <= 1) {\n    return dependencies;\n  }\n  return [...dependencies].sort((a, b) => a.id.localeCompare(b.id));\n}\n\nfunction buildCreateTableSql(qualifiedTableName: string, table: StorageTable): string {\n  const columnDefinitions = Object.entries(table.columns).map(\n    ([columnName, column]: [string, StorageColumn]) => {\n      const parts = [\n        quoteIdentifier(columnName),\n        column.nativeType,\n        column.nullable ? '' : 'NOT NULL',\n      ].filter(Boolean);\n      return parts.join(' ');\n    },\n  );\n\n  const constraintDefinitions: string[] = [];\n  if (table.primaryKey) {\n    constraintDefinitions.push(\n      `PRIMARY KEY (${table.primaryKey.columns.map(quoteIdentifier).join(', ')})`,\n    );\n  }\n\n  const allDefinitions = [...columnDefinitions, ...constraintDefinitions];\n  return `CREATE TABLE ${qualifiedTableName} (\\n  ${allDefinitions.join(',\\n  ')}\\n)`;\n}\n\nfunction qualifyTableName(schema: string, table: string): string {\n  return `${quoteIdentifier(schema)}.${quoteIdentifier(table)}`;\n}\n\nfunction toRegclassLiteral(schema: string, name: string): string {\n  const regclass = `${quoteIdentifier(schema)}.${quoteIdentifier(name)}`;\n  return `'${escapeLiteral(regclass)}'`;\n}\n\n/** Escapes and quotes a SQL identifier (table, column, schema name). */\nfunction quoteIdentifier(identifier: string): string {\n  // TypeScript enforces string type - no runtime check needed for internal callers\n  return `\"${identifier.replace(/\"/g, '\"\"')}\"`;\n}\n\nfunction escapeLiteral(value: string): string {\n  return value.replace(/'/g, \"''\");\n}\n\nfunction sortedEntries<V>(record: Readonly<Record<string, V>>): Array<[string, V]> {\n  return Object.entries(record).sort(([a], [b]) => a.localeCompare(b)) as Array<[string, V]>;\n}\n\nfunction constraintExistsCheck({\n  constraintName,\n  schema,\n  exists = true,\n}: {\n  constraintName: string;\n  schema: string;\n  exists?: boolean;\n}): string {\n  const existsClause = exists ? 'EXISTS' : 'NOT EXISTS';\n  return `SELECT ${existsClause} (\n  SELECT 1 FROM pg_constraint c\n  JOIN pg_namespace n ON c.connamespace = n.oid\n  WHERE c.conname = '${escapeLiteral(constraintName)}'\n  AND n.nspname = '${escapeLiteral(schema)}'\n)`;\n}\n\nfunction columnExistsCheck({\n  schema,\n  table,\n  column,\n  exists = true,\n}: {\n  schema: string;\n  table: string;\n  column: string;\n  exists?: boolean;\n}): string {\n  const existsClause = exists ? '' : 'NOT ';\n  return `SELECT ${existsClause}EXISTS (\n  SELECT 1\n  FROM information_schema.columns\n  WHERE table_schema = '${escapeLiteral(schema)}'\n    AND table_name = '${escapeLiteral(table)}'\n    AND column_name = '${escapeLiteral(column)}'\n)`;\n}\n\nfunction columnIsNotNullCheck({\n  schema,\n  table,\n  column,\n}: {\n  schema: string;\n  table: string;\n  column: string;\n}): string {\n  return `SELECT EXISTS (\n  SELECT 1\n  FROM information_schema.columns\n  WHERE table_schema = '${escapeLiteral(schema)}'\n    AND table_name = '${escapeLiteral(table)}'\n    AND column_name = '${escapeLiteral(column)}'\n    AND is_nullable = 'NO'\n)`;\n}\n\nfunction tableIsEmptyCheck(qualifiedTableName: string): string {\n  return `SELECT NOT EXISTS (SELECT 1 FROM ${qualifiedTableName} LIMIT 1)`;\n}\n\nfunction buildAddColumnSql(\n  qualifiedTableName: string,\n  columnName: string,\n  column: StorageColumn,\n): string {\n  const parts = [\n    `ALTER TABLE ${qualifiedTableName}`,\n    `ADD COLUMN ${quoteIdentifier(columnName)} ${column.nativeType}`,\n    column.nullable ? '' : 'NOT NULL',\n  ].filter(Boolean);\n  return parts.join(' ');\n}\n\nfunction tableHasPrimaryKeyCheck(\n  schema: string,\n  table: string,\n  exists: boolean,\n  constraintName?: string,\n): string {\n  const comparison = exists ? '' : 'NOT ';\n  const constraintFilter = constraintName\n    ? `AND c2.relname = '${escapeLiteral(constraintName)}'`\n    : '';\n  return `SELECT ${comparison}EXISTS (\n  SELECT 1\n  FROM pg_index i\n  JOIN pg_class c ON c.oid = i.indrelid\n  JOIN pg_namespace n ON n.oid = c.relnamespace\n  LEFT JOIN pg_class c2 ON c2.oid = i.indexrelid\n  WHERE n.nspname = '${escapeLiteral(schema)}'\n    AND c.relname = '${escapeLiteral(table)}'\n    AND i.indisprimary\n    ${constraintFilter}\n)`;\n}\n\nfunction hasUniqueConstraint(\n  table: SqlSchemaIR['tables'][string],\n  columns: readonly string[],\n): boolean {\n  return table.uniques.some((unique) => arraysEqual(unique.columns, columns));\n}\n\nfunction hasIndex(table: SqlSchemaIR['tables'][string], columns: readonly string[]): boolean {\n  return table.indexes.some((index) => !index.unique && arraysEqual(index.columns, columns));\n}\n\nfunction hasForeignKey(table: SqlSchemaIR['tables'][string], fk: ForeignKey): boolean {\n  return table.foreignKeys.some(\n    (candidate) =>\n      arraysEqual(candidate.columns, fk.columns) &&\n      candidate.referencedTable === fk.references.table &&\n      arraysEqual(candidate.referencedColumns, fk.references.columns),\n  );\n}\n\nfunction isAdditiveIssue(issue: SchemaIssue): boolean {\n  switch (issue.kind) {\n    case 'missing_table':\n    case 'missing_column':\n    case 'extension_missing':\n      return true;\n    case 'primary_key_mismatch':\n      return issue.actual === undefined;\n    case 'unique_constraint_mismatch':\n    case 'index_mismatch':\n    case 'foreign_key_mismatch':\n      return issue.indexOrConstraint === undefined;\n    default:\n      return false;\n  }\n}\n\nfunction buildConflictLocation(issue: SchemaIssue) {\n  const location: {\n    table?: string;\n    column?: string;\n    constraint?: string;\n  } = {};\n  if (issue.table) {\n    location.table = issue.table;\n  }\n  if (issue.column) {\n    location.column = issue.column;\n  }\n  if (issue.indexOrConstraint) {\n    location.constraint = issue.indexOrConstraint;\n  }\n  return Object.keys(location).length > 0 ? location : undefined;\n}\n\nfunction conflictComparator(a: SqlPlannerConflict, b: SqlPlannerConflict): number {\n  if (a.kind !== b.kind) {\n    return a.kind < b.kind ? -1 : 1;\n  }\n  const aLocation = a.location ?? {};\n  const bLocation = b.location ?? {};\n  const tableCompare = compareStrings(aLocation.table, bLocation.table);\n  if (tableCompare !== 0) {\n    return tableCompare;\n  }\n  const columnCompare = compareStrings(aLocation.column, bLocation.column);\n  if (columnCompare !== 0) {\n    return columnCompare;\n  }\n  const constraintCompare = compareStrings(aLocation.constraint, bLocation.constraint);\n  if (constraintCompare !== 0) {\n    return constraintCompare;\n  }\n  return compareStrings(a.summary, b.summary);\n}\n\nfunction compareStrings(a?: string, b?: string): number {\n  if (a === b) {\n    return 0;\n  }\n  if (a === undefined) {\n    return -1;\n  }\n  if (b === undefined) {\n    return 1;\n  }\n  return a < b ? -1 : 1;\n}\n","import type { ContractMarkerRecord } from '@prisma-next/contract/types';\nimport type {\n  MigrationOperationPolicy,\n  SqlControlFamilyInstance,\n  SqlMigrationPlanContractInfo,\n  SqlMigrationPlanOperation,\n  SqlMigrationPlanOperationStep,\n  SqlMigrationRunner,\n  SqlMigrationRunnerExecuteOptions,\n  SqlMigrationRunnerFailure,\n  SqlMigrationRunnerResult,\n} from '@prisma-next/family-sql/control';\nimport { runnerFailure, runnerSuccess } from '@prisma-next/family-sql/control';\nimport { verifySqlSchema } from '@prisma-next/family-sql/schema-verify';\nimport { readMarker } from '@prisma-next/family-sql/verify';\nimport { SqlQueryError } from '@prisma-next/sql-errors';\nimport type { Result } from '@prisma-next/utils/result';\nimport { ok, okVoid } from '@prisma-next/utils/result';\nimport type { PostgresPlanTargetDetails } from './planner';\nimport {\n  buildLedgerInsertStatement,\n  buildWriteMarkerStatements,\n  ensureLedgerTableStatement,\n  ensureMarkerTableStatement,\n  ensurePrismaContractSchemaStatement,\n  type SqlStatement,\n} from './statement-builders';\n\ninterface RunnerConfig {\n  readonly defaultSchema: string;\n}\n\ninterface ApplyPlanSuccessValue {\n  readonly operationsExecuted: number;\n  readonly executedOperations: readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[];\n}\n\nconst DEFAULT_CONFIG: RunnerConfig = {\n  defaultSchema: 'public',\n};\n\nconst LOCK_DOMAIN = 'prisma_next.contract.marker';\n\n/**\n * Deep clones and freezes a record object to prevent mutation.\n * Recursively clones nested objects and arrays to ensure complete isolation.\n */\nfunction cloneAndFreezeRecord<T extends Record<string, unknown>>(value: T): T {\n  const cloned: Record<string, unknown> = {};\n  for (const [key, val] of Object.entries(value)) {\n    if (val === null || val === undefined) {\n      cloned[key] = val;\n    } else if (Array.isArray(val)) {\n      // Clone array (shallow clone of array elements)\n      cloned[key] = Object.freeze([...val]);\n    } else if (typeof val === 'object') {\n      // Recursively clone nested objects\n      cloned[key] = cloneAndFreezeRecord(val as Record<string, unknown>);\n    } else {\n      // Primitives are copied as-is\n      cloned[key] = val;\n    }\n  }\n  return Object.freeze(cloned) as T;\n}\n\nexport function createPostgresMigrationRunner(\n  family: SqlControlFamilyInstance,\n  config: Partial<RunnerConfig> = {},\n): SqlMigrationRunner<PostgresPlanTargetDetails> {\n  return new PostgresMigrationRunner(family, { ...DEFAULT_CONFIG, ...config });\n}\n\nclass PostgresMigrationRunner implements SqlMigrationRunner<PostgresPlanTargetDetails> {\n  constructor(\n    private readonly family: SqlControlFamilyInstance,\n    private readonly config: RunnerConfig,\n  ) {}\n\n  async execute(\n    options: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>,\n  ): Promise<SqlMigrationRunnerResult> {\n    const schema = options.schemaName ?? this.config.defaultSchema;\n    const driver = options.driver;\n    const lockKey = `${LOCK_DOMAIN}:${schema}`;\n\n    // Static checks - fail fast before transaction\n    const destinationCheck = this.ensurePlanMatchesDestinationContract(\n      options.plan.destination,\n      options.destinationContract,\n    );\n    if (!destinationCheck.ok) {\n      return destinationCheck;\n    }\n\n    const policyCheck = this.enforcePolicyCompatibility(options.policy, options.plan.operations);\n    if (!policyCheck.ok) {\n      return policyCheck;\n    }\n\n    // Begin transaction for DB operations\n    await this.beginTransaction(driver);\n    let committed = false;\n    try {\n      await this.acquireLock(driver, lockKey);\n      await this.ensureControlTables(driver);\n      const existingMarker = await readMarker(driver);\n\n      // Validate plan origin matches existing marker (needs marker from DB)\n      const markerCheck = this.ensureMarkerCompatibility(existingMarker, options.plan);\n      if (!markerCheck.ok) {\n        return markerCheck;\n      }\n\n      // Apply plan operations or skip if marker already at destination\n      const markerAtDestination = this.markerMatchesDestination(existingMarker, options.plan);\n      let applyValue: ApplyPlanSuccessValue;\n\n      if (markerAtDestination) {\n        applyValue = { operationsExecuted: 0, executedOperations: [] };\n      } else {\n        const applyResult = await this.applyPlan(driver, options);\n        if (!applyResult.ok) {\n          return applyResult;\n        }\n        applyValue = applyResult.value;\n      }\n\n      // Verify resulting schema matches contract\n      // Step 1: Introspect live schema (DB I/O, family-owned)\n      const schemaIR = await this.family.introspect({\n        driver,\n        contractIR: options.destinationContract,\n      });\n\n      // Step 2: Pure verification (no DB I/O)\n      const schemaVerifyResult = verifySqlSchema({\n        contract: options.destinationContract,\n        schema: schemaIR,\n        strict: options.strictVerification ?? true,\n        context: options.context ?? {},\n        typeMetadataRegistry: this.family.typeMetadataRegistry,\n        frameworkComponents: options.frameworkComponents,\n      });\n      if (!schemaVerifyResult.ok) {\n        return runnerFailure('SCHEMA_VERIFY_FAILED', schemaVerifyResult.summary, {\n          why: 'The resulting database schema does not satisfy the destination contract.',\n          meta: {\n            issues: schemaVerifyResult.schema.issues,\n          },\n        });\n      }\n\n      // Record marker and ledger entries\n      await this.upsertMarker(driver, options, existingMarker);\n      await this.recordLedgerEntry(driver, options, existingMarker, applyValue.executedOperations);\n\n      await this.commitTransaction(driver);\n      committed = true;\n      return runnerSuccess({\n        operationsPlanned: options.plan.operations.length,\n        operationsExecuted: applyValue.operationsExecuted,\n      });\n    } finally {\n      if (!committed) {\n        await this.rollbackTransaction(driver);\n      }\n    }\n  }\n\n  private async applyPlan(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    options: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>,\n  ): Promise<Result<ApplyPlanSuccessValue, SqlMigrationRunnerFailure>> {\n    const checks = options.executionChecks;\n    const runPrechecks = checks?.prechecks !== false; // Default true\n    const runPostchecks = checks?.postchecks !== false; // Default true\n    const runIdempotency = checks?.idempotencyChecks !== false; // Default true\n\n    let operationsExecuted = 0;\n    const executedOperations: Array<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> = [];\n    for (const operation of options.plan.operations) {\n      options.callbacks?.onOperationStart?.(operation);\n      try {\n        // Idempotency probe: only run if both postchecks and idempotency checks are enabled\n        if (runPostchecks && runIdempotency) {\n          const postcheckAlreadySatisfied = await this.expectationsAreSatisfied(\n            driver,\n            operation.postcheck,\n          );\n          if (postcheckAlreadySatisfied) {\n            executedOperations.push(this.createPostcheckPreSatisfiedSkipRecord(operation));\n            continue;\n          }\n        }\n\n        // Prechecks: only run if enabled\n        if (runPrechecks) {\n          const precheckResult = await this.runExpectationSteps(\n            driver,\n            operation.precheck,\n            operation,\n            'precheck',\n          );\n          if (!precheckResult.ok) {\n            return precheckResult;\n          }\n        }\n\n        const executeResult = await this.runExecuteSteps(driver, operation.execute, operation);\n        if (!executeResult.ok) {\n          return executeResult;\n        }\n\n        // Postchecks: only run if enabled\n        if (runPostchecks) {\n          const postcheckResult = await this.runExpectationSteps(\n            driver,\n            operation.postcheck,\n            operation,\n            'postcheck',\n          );\n          if (!postcheckResult.ok) {\n            return postcheckResult;\n          }\n        }\n\n        executedOperations.push(operation);\n        operationsExecuted += 1;\n      } finally {\n        options.callbacks?.onOperationComplete?.(operation);\n      }\n    }\n    return ok({ operationsExecuted, executedOperations });\n  }\n\n  private async ensureControlTables(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n  ): Promise<void> {\n    await this.executeStatement(driver, ensurePrismaContractSchemaStatement);\n    await this.executeStatement(driver, ensureMarkerTableStatement);\n    await this.executeStatement(driver, ensureLedgerTableStatement);\n  }\n\n  private async runExpectationSteps(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    steps: readonly SqlMigrationPlanOperationStep[],\n    operation: SqlMigrationPlanOperation<PostgresPlanTargetDetails>,\n    phase: 'precheck' | 'postcheck',\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    for (const step of steps) {\n      const result = await driver.query(step.sql);\n      if (!this.stepResultIsTrue(result.rows)) {\n        const code = phase === 'precheck' ? 'PRECHECK_FAILED' : 'POSTCHECK_FAILED';\n        return runnerFailure(\n          code,\n          `Operation ${operation.id} failed during ${phase}: ${step.description}`,\n          {\n            meta: {\n              operationId: operation.id,\n              phase,\n              stepDescription: step.description,\n            },\n          },\n        );\n      }\n    }\n    return okVoid();\n  }\n\n  private async runExecuteSteps(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    steps: readonly SqlMigrationPlanOperationStep[],\n    operation: SqlMigrationPlanOperation<PostgresPlanTargetDetails>,\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    for (const step of steps) {\n      try {\n        await driver.query(step.sql);\n      } catch (error: unknown) {\n        // Catch SqlQueryError and include normalized metadata\n        if (SqlQueryError.is(error)) {\n          return runnerFailure(\n            'EXECUTION_FAILED',\n            `Operation ${operation.id} failed during execution: ${step.description}`,\n            {\n              why: error.message,\n              meta: {\n                operationId: operation.id,\n                stepDescription: step.description,\n                sql: step.sql,\n                sqlState: error.sqlState,\n                constraint: error.constraint,\n                table: error.table,\n                column: error.column,\n                detail: error.detail,\n              },\n            },\n          );\n        }\n        // Let SqlConnectionError and other errors propagate (fail-fast)\n        throw error;\n      }\n    }\n    return okVoid();\n  }\n\n  private stepResultIsTrue(rows: readonly Record<string, unknown>[]): boolean {\n    if (!rows || rows.length === 0) {\n      return false;\n    }\n    const firstRow = rows[0];\n    const firstValue = firstRow ? Object.values(firstRow)[0] : undefined;\n    if (typeof firstValue === 'boolean') {\n      return firstValue;\n    }\n    if (typeof firstValue === 'number') {\n      return firstValue !== 0;\n    }\n    if (typeof firstValue === 'string') {\n      const lower = firstValue.toLowerCase();\n      // PostgreSQL boolean representations: 't'/'f', 'true'/'false', '1'/'0'\n      if (lower === 't' || lower === 'true' || lower === '1') {\n        return true;\n      }\n      if (lower === 'f' || lower === 'false' || lower === '0') {\n        return false;\n      }\n      // For other strings, non-empty is truthy (though this case shouldn't occur for boolean checks)\n      return firstValue.length > 0;\n    }\n    return Boolean(firstValue);\n  }\n\n  private async expectationsAreSatisfied(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    steps: readonly SqlMigrationPlanOperationStep[],\n  ): Promise<boolean> {\n    if (steps.length === 0) {\n      return false;\n    }\n    for (const step of steps) {\n      const result = await driver.query(step.sql);\n      if (!this.stepResultIsTrue(result.rows)) {\n        return false;\n      }\n    }\n    return true;\n  }\n\n  private createPostcheckPreSatisfiedSkipRecord(\n    operation: SqlMigrationPlanOperation<PostgresPlanTargetDetails>,\n  ): SqlMigrationPlanOperation<PostgresPlanTargetDetails> {\n    // Clone and freeze existing meta if present\n    const clonedMeta = operation.meta ? cloneAndFreezeRecord(operation.meta) : undefined;\n\n    // Create frozen runner metadata\n    const runnerMeta = Object.freeze({\n      skipped: true,\n      reason: 'postcheck_pre_satisfied',\n    });\n\n    // Merge and freeze the combined meta\n    const mergedMeta = Object.freeze({\n      ...(clonedMeta ?? {}),\n      runner: runnerMeta,\n    });\n\n    // Clone and freeze arrays to prevent mutation\n    const frozenPostcheck = Object.freeze([...operation.postcheck]);\n\n    return Object.freeze({\n      id: operation.id,\n      label: operation.label,\n      ...(operation.summary ? { summary: operation.summary } : {}),\n      operationClass: operation.operationClass,\n      target: operation.target, // Already frozen from plan creation\n      precheck: Object.freeze([]),\n      execute: Object.freeze([]),\n      postcheck: frozenPostcheck,\n      ...(operation.meta || mergedMeta ? { meta: mergedMeta } : {}),\n    });\n  }\n\n  private markerMatchesDestination(\n    marker: ContractMarkerRecord | null,\n    plan: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['plan'],\n  ): boolean {\n    if (!marker) {\n      return false;\n    }\n    if (marker.coreHash !== plan.destination.coreHash) {\n      return false;\n    }\n    if (plan.destination.profileHash && marker.profileHash !== plan.destination.profileHash) {\n      return false;\n    }\n    return true;\n  }\n\n  private enforcePolicyCompatibility(\n    policy: MigrationOperationPolicy,\n    operations: readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[],\n  ): Result<void, SqlMigrationRunnerFailure> {\n    const allowedClasses = new Set(policy.allowedOperationClasses);\n    for (const operation of operations) {\n      if (!allowedClasses.has(operation.operationClass)) {\n        return runnerFailure(\n          'POLICY_VIOLATION',\n          `Operation ${operation.id} has class \"${operation.operationClass}\" which is not allowed by policy.`,\n          {\n            why: `Policy only allows: ${policy.allowedOperationClasses.join(', ')}.`,\n            meta: {\n              operationId: operation.id,\n              operationClass: operation.operationClass,\n              allowedClasses: policy.allowedOperationClasses,\n            },\n          },\n        );\n      }\n    }\n    return okVoid();\n  }\n\n  private ensureMarkerCompatibility(\n    marker: ContractMarkerRecord | null,\n    plan: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['plan'],\n  ): Result<void, SqlMigrationRunnerFailure> {\n    const origin = plan.origin ?? null;\n    if (!origin) {\n      if (!marker) {\n        return okVoid();\n      }\n      if (this.markerMatchesDestination(marker, plan)) {\n        return okVoid();\n      }\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Existing contract marker (${marker.coreHash}) does not match plan origin (no marker expected).`,\n        {\n          meta: {\n            markerCoreHash: marker.coreHash,\n            expectedOrigin: null,\n          },\n        },\n      );\n    }\n\n    if (!marker) {\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Missing contract marker: expected origin core hash ${origin.coreHash}.`,\n        {\n          meta: {\n            expectedOriginCoreHash: origin.coreHash,\n          },\n        },\n      );\n    }\n    if (marker.coreHash !== origin.coreHash) {\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Existing contract marker (${marker.coreHash}) does not match plan origin (${origin.coreHash}).`,\n        {\n          meta: {\n            markerCoreHash: marker.coreHash,\n            expectedOriginCoreHash: origin.coreHash,\n          },\n        },\n      );\n    }\n    if (origin.profileHash && marker.profileHash !== origin.profileHash) {\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Existing contract marker profile hash (${marker.profileHash}) does not match plan origin profile hash (${origin.profileHash}).`,\n        {\n          meta: {\n            markerProfileHash: marker.profileHash,\n            expectedOriginProfileHash: origin.profileHash,\n          },\n        },\n      );\n    }\n    return okVoid();\n  }\n\n  private ensurePlanMatchesDestinationContract(\n    destination: SqlMigrationPlanContractInfo,\n    contract: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['destinationContract'],\n  ): Result<void, SqlMigrationRunnerFailure> {\n    if (destination.coreHash !== contract.coreHash) {\n      return runnerFailure(\n        'DESTINATION_CONTRACT_MISMATCH',\n        `Plan destination core hash (${destination.coreHash}) does not match provided contract core hash (${contract.coreHash}).`,\n        {\n          meta: {\n            planCoreHash: destination.coreHash,\n            contractCoreHash: contract.coreHash,\n          },\n        },\n      );\n    }\n    if (\n      destination.profileHash &&\n      contract.profileHash &&\n      destination.profileHash !== contract.profileHash\n    ) {\n      return runnerFailure(\n        'DESTINATION_CONTRACT_MISMATCH',\n        `Plan destination profile hash (${destination.profileHash}) does not match provided contract profile hash (${contract.profileHash}).`,\n        {\n          meta: {\n            planProfileHash: destination.profileHash,\n            contractProfileHash: contract.profileHash,\n          },\n        },\n      );\n    }\n    return okVoid();\n  }\n\n  private async upsertMarker(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    options: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>,\n    existingMarker: ContractMarkerRecord | null,\n  ): Promise<void> {\n    const writeStatements = buildWriteMarkerStatements({\n      coreHash: options.plan.destination.coreHash,\n      profileHash:\n        options.plan.destination.profileHash ??\n        options.destinationContract.profileHash ??\n        options.plan.destination.coreHash,\n      contractJson: options.destinationContract,\n      canonicalVersion: null,\n      meta: {},\n    });\n    const statement = existingMarker ? writeStatements.update : writeStatements.insert;\n    await this.executeStatement(driver, statement);\n  }\n\n  private async recordLedgerEntry(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    options: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>,\n    existingMarker: ContractMarkerRecord | null,\n    executedOperations: readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[],\n  ): Promise<void> {\n    const ledgerStatement = buildLedgerInsertStatement({\n      originCoreHash: existingMarker?.coreHash ?? null,\n      originProfileHash: existingMarker?.profileHash ?? null,\n      destinationCoreHash: options.plan.destination.coreHash,\n      destinationProfileHash:\n        options.plan.destination.profileHash ??\n        options.destinationContract.profileHash ??\n        options.plan.destination.coreHash,\n      contractJsonBefore: existingMarker?.contractJson ?? null,\n      contractJsonAfter: options.destinationContract,\n      operations: executedOperations,\n    });\n    await this.executeStatement(driver, ledgerStatement);\n  }\n\n  private async acquireLock(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    key: string,\n  ): Promise<void> {\n    await driver.query('select pg_advisory_xact_lock(hashtext($1))', [key]);\n  }\n\n  private async beginTransaction(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n  ): Promise<void> {\n    await driver.query('BEGIN');\n  }\n\n  private async commitTransaction(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n  ): Promise<void> {\n    await driver.query('COMMIT');\n  }\n\n  private async rollbackTransaction(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n  ): Promise<void> {\n    await driver.query('ROLLBACK');\n  }\n\n  private async executeStatement(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    statement: SqlStatement,\n  ): Promise<void> {\n    if (statement.params.length > 0) {\n      await driver.query(statement.sql, statement.params);\n      return;\n    }\n    await driver.query(statement.sql);\n  }\n}\n","export interface SqlStatement {\n  readonly sql: string;\n  readonly params: readonly unknown[];\n}\n\nexport const ensurePrismaContractSchemaStatement: SqlStatement = {\n  sql: 'create schema if not exists prisma_contract',\n  params: [],\n};\n\nexport const ensureMarkerTableStatement: SqlStatement = {\n  sql: `create table if not exists prisma_contract.marker (\n    id smallint primary key default 1,\n    core_hash text not null,\n    profile_hash text not null,\n    contract_json jsonb,\n    canonical_version int,\n    updated_at timestamptz not null default now(),\n    app_tag text,\n    meta jsonb not null default '{}'\n  )`,\n  params: [],\n};\n\nexport const ensureLedgerTableStatement: SqlStatement = {\n  sql: `create table if not exists prisma_contract.ledger (\n    id bigserial primary key,\n    created_at timestamptz not null default now(),\n    origin_core_hash text,\n    origin_profile_hash text,\n    destination_core_hash text not null,\n    destination_profile_hash text,\n    contract_json_before jsonb,\n    contract_json_after jsonb,\n    operations jsonb not null\n  )`,\n  params: [],\n};\n\nexport interface WriteMarkerInput {\n  readonly coreHash: string;\n  readonly profileHash: string;\n  readonly contractJson?: unknown;\n  readonly canonicalVersion?: number | null;\n  readonly appTag?: string | null;\n  readonly meta?: Record<string, unknown>;\n}\n\nexport function buildWriteMarkerStatements(input: WriteMarkerInput): {\n  readonly insert: SqlStatement;\n  readonly update: SqlStatement;\n} {\n  const params: readonly unknown[] = [\n    1,\n    input.coreHash,\n    input.profileHash,\n    jsonParam(input.contractJson),\n    input.canonicalVersion ?? null,\n    input.appTag ?? null,\n    jsonParam(input.meta ?? {}),\n  ];\n\n  return {\n    insert: {\n      sql: `insert into prisma_contract.marker (\n        id,\n        core_hash,\n        profile_hash,\n        contract_json,\n        canonical_version,\n        updated_at,\n        app_tag,\n        meta\n      ) values (\n        $1,\n        $2,\n        $3,\n        $4::jsonb,\n        $5,\n        now(),\n        $6,\n        $7::jsonb\n      )`,\n      params,\n    },\n    update: {\n      sql: `update prisma_contract.marker set\n        core_hash = $2,\n        profile_hash = $3,\n        contract_json = $4::jsonb,\n        canonical_version = $5,\n        updated_at = now(),\n        app_tag = $6,\n        meta = $7::jsonb\n      where id = $1`,\n      params,\n    },\n  };\n}\n\nexport interface LedgerInsertInput {\n  readonly originCoreHash?: string | null;\n  readonly originProfileHash?: string | null;\n  readonly destinationCoreHash: string;\n  readonly destinationProfileHash?: string | null;\n  readonly contractJsonBefore?: unknown;\n  readonly contractJsonAfter?: unknown;\n  readonly operations: unknown;\n}\n\nexport function buildLedgerInsertStatement(input: LedgerInsertInput): SqlStatement {\n  return {\n    sql: `insert into prisma_contract.ledger (\n      origin_core_hash,\n      origin_profile_hash,\n      destination_core_hash,\n      destination_profile_hash,\n      contract_json_before,\n      contract_json_after,\n      operations\n    ) values (\n      $1,\n      $2,\n      $3,\n      $4,\n      $5::jsonb,\n      $6::jsonb,\n      $7::jsonb\n    )`,\n    params: [\n      input.originCoreHash ?? null,\n      input.originProfileHash ?? null,\n      input.destinationCoreHash,\n      input.destinationProfileHash ?? null,\n      jsonParam(input.contractJsonBefore),\n      jsonParam(input.contractJsonAfter),\n      jsonParam(input.operations),\n    ],\n  };\n}\n\nfunction jsonParam(value: unknown): string {\n  return JSON.stringify(value ?? null);\n}\n","import type {\n  ControlTargetInstance,\n  MigrationPlanner,\n  MigrationRunner,\n} from '@prisma-next/core-control-plane/types';\nimport type {\n  SqlControlFamilyInstance,\n  SqlControlTargetDescriptor,\n} from '@prisma-next/family-sql/control';\nimport { postgresTargetDescriptorMeta } from '../core/descriptor-meta';\nimport type { PostgresPlanTargetDetails } from '../core/migrations/planner';\nimport { createPostgresMigrationPlanner } from '../core/migrations/planner';\nimport { createPostgresMigrationRunner } from '../core/migrations/runner';\n\n/**\n * Postgres target descriptor for CLI config.\n */\nconst postgresTargetDescriptor: SqlControlTargetDescriptor<'postgres', PostgresPlanTargetDetails> =\n  {\n    ...postgresTargetDescriptorMeta,\n    /**\n     * Migrations capability for CLI to access planner/runner via core types.\n     * The SQL-specific planner/runner types are compatible with the generic\n     * MigrationPlanner/MigrationRunner interfaces at runtime.\n     */\n    migrations: {\n      createPlanner(_family: SqlControlFamilyInstance) {\n        return createPostgresMigrationPlanner() as MigrationPlanner<'sql', 'postgres'>;\n      },\n      createRunner(family) {\n        return createPostgresMigrationRunner(family) as MigrationRunner<'sql', 'postgres'>;\n      },\n    },\n    create(): ControlTargetInstance<'sql', 'postgres'> {\n      return {\n        familyId: 'sql',\n        targetId: 'postgres',\n      };\n    },\n    /**\n     * Direct method for SQL-specific usage.\n     * @deprecated Use migrations.createPlanner() for CLI compatibility.\n     */\n    createPlanner(_family: SqlControlFamilyInstance) {\n      return createPostgresMigrationPlanner();\n    },\n    /**\n     * Direct method for SQL-specific usage.\n     * @deprecated Use migrations.createRunner() for CLI compatibility.\n     */\n    createRunner(family) {\n      return createPostgresMigrationRunner(family);\n    },\n  };\n\nexport default postgresTargetDescriptor;\n"],"mappings":";;;;;AAQA;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,OACK;AACP,SAAS,aAAa,uBAAuB;AA4C7C,IAAM,yBAAwC;AAAA,EAC5C,eAAe;AACjB;AAEO,SAAS,+BACd,SAAiC,CAAC,GACc;AAChD,SAAO,IAAI,yBAAyB;AAAA,IAClC,GAAG;AAAA,IACH,GAAG;AAAA,EACL,CAAC;AACH;AAEA,IAAM,2BAAN,MAAyF;AAAA,EACvF,YAA6B,QAAuB;AAAvB;AAAA,EAAwB;AAAA,EAErD,KAAK,SAAyC;AAC5C,UAAM,aAAa,QAAQ,cAAc,KAAK,OAAO;AACrD,UAAM,eAAe,KAAK,qBAAqB,QAAQ,MAAM;AAC7D,QAAI,cAAc;AAChB,aAAO;AAAA,IACT;AAEA,UAAM,iBAAiB,KAAK,eAAe,OAAO;AAClD,QAAI,eAAe,SAAS,YAAY;AACtC,aAAO,eAAe,eAAe,SAAS;AAAA,IAChD;AAEA,UAAM,aAAqE,CAAC;AAG5E,eAAW;AAAA,MACT,GAAG,KAAK,kCAAkC,OAAO;AAAA,MACjD,GAAG,KAAK,qBAAqB,QAAQ,SAAS,QAAQ,QAAQ,QAAQ,QAAQ,UAAU;AAAA,MACxF,GAAG,KAAK,sBAAsB,QAAQ,SAAS,QAAQ,QAAQ,QAAQ,QAAQ,UAAU;AAAA,MACzF,GAAG,KAAK;AAAA,QACN,QAAQ,SAAS,QAAQ;AAAA,QACzB,QAAQ;AAAA,QACR;AAAA,MACF;AAAA,MACA,GAAG,KAAK,sBAAsB,QAAQ,SAAS,QAAQ,QAAQ,QAAQ,QAAQ,UAAU;AAAA,MACzF,GAAG,KAAK,qBAAqB,QAAQ,SAAS,QAAQ,QAAQ,QAAQ,QAAQ,UAAU;AAAA,MACxF,GAAG,KAAK;AAAA,QACN,QAAQ,SAAS,QAAQ;AAAA,QACzB,QAAQ;AAAA,QACR;AAAA,MACF;AAAA,IACF;AAEA,UAAM,OAAO,oBAA+C;AAAA,MAC1D,UAAU;AAAA,MACV,QAAQ;AAAA,MACR,aAAa;AAAA,QACX,UAAU,QAAQ,SAAS;AAAA,QAC3B,GAAI,QAAQ,SAAS,cAAc,EAAE,aAAa,QAAQ,SAAS,YAAY,IAAI,CAAC;AAAA,MACtF;AAAA,MACA;AAAA,IACF,CAAC;AAED,WAAO,eAAe,IAAI;AAAA,EAC5B;AAAA,EAEQ,qBAAqB,QAAkC;AAC7D,QAAI,CAAC,OAAO,wBAAwB,SAAS,UAAU,GAAG;AACxD,aAAO,eAAe;AAAA,QACpB;AAAA,UACE,MAAM;AAAA,UACN,SAAS;AAAA,UACT,KAAK;AAAA,QACP;AAAA,MACF,CAAC;AAAA,IACH;AACA,WAAO;AAAA,EACT;AAAA;AAAA;AAAA;AAAA;AAAA,EAMQ,kCACN,SACiE;AACjE,UAAM,eAAe,KAAK,oBAAoB,OAAO;AACrD,UAAM,aAAqE,CAAC;AAC5E,UAAM,oBAAoB,oBAAI,IAAY;AAC1C,UAAM,mBAAmB,oBAAI,IAAY;AAEzC,eAAW,cAAc,cAAc;AACrC,UAAI,kBAAkB,IAAI,WAAW,EAAE,GAAG;AACxC;AAAA,MACF;AACA,wBAAkB,IAAI,WAAW,EAAE;AAEnC,YAAM,SAAS,WAAW,kCAAkC,QAAQ,MAAM;AAC1E,UAAI,OAAO,WAAW,GAAG;AACvB;AAAA,MACF;AAEA,iBAAW,aAAa,WAAW,SAAS;AAC1C,YAAI,iBAAiB,IAAI,UAAU,EAAE,GAAG;AACtC;AAAA,QACF;AACA,yBAAiB,IAAI,UAAU,EAAE;AAGjC,mBAAW,KAAK,SAAiE;AAAA,MACnF;AAAA,IACF;AAEA,WAAO;AAAA,EACT;AAAA,EACQ,oBACN,SAC0C;AAC1C,UAAM,aAAa,QAAQ;AAC3B,QAAI,WAAW,WAAW,GAAG;AAC3B,aAAO,CAAC;AAAA,IACV;AACA,UAAM,OAAoC,CAAC;AAC3C,eAAW,aAAa,YAAY;AAClC,UAAI,CAAC,wBAAwB,SAAS,GAAG;AACvC;AAAA,MACF;AACA,YAAM,WAAW,UAAU,sBAAsB;AACjD,UAAI,YAAY,SAAS,SAAS,GAAG;AACnC,aAAK,KAAK,GAAG,QAAQ;AAAA,MACvB;AAAA,IACF;AACA,WAAO,iBAAiB,IAAI;AAAA,EAC9B;AAAA,EAEQ,qBACN,QACA,QACA,YACiE;AACjE,UAAM,aAAqE,CAAC;AAC5E,eAAW,CAAC,WAAW,KAAK,KAAK,cAAc,MAAM,GAAG;AACtD,UAAI,OAAO,OAAO,SAAS,GAAG;AAC5B;AAAA,MACF;AACA,YAAM,YAAY,iBAAiB,YAAY,SAAS;AACxD,iBAAW,KAAK;AAAA,QACd,IAAI,SAAS,SAAS;AAAA,QACtB,OAAO,gBAAgB,SAAS;AAAA,QAChC,SAAS,iBAAiB,SAAS;AAAA,QACnC,gBAAgB;AAAA,QAChB,QAAQ;AAAA,UACN,IAAI;AAAA,UACJ,SAAS,KAAK,mBAAmB,SAAS,WAAW,UAAU;AAAA,QACjE;AAAA,QACA,UAAU;AAAA,UACR;AAAA,YACE,aAAa,iBAAiB,SAAS;AAAA,YACvC,KAAK,sBAAsB,kBAAkB,YAAY,SAAS,CAAC;AAAA,UACrE;AAAA,QACF;AAAA,QACA,SAAS;AAAA,UACP;AAAA,YACE,aAAa,iBAAiB,SAAS;AAAA,YACvC,KAAK,oBAAoB,WAAW,KAAK;AAAA,UAC3C;AAAA,QACF;AAAA,QACA,WAAW;AAAA,UACT;AAAA,YACE,aAAa,iBAAiB,SAAS;AAAA,YACvC,KAAK,sBAAsB,kBAAkB,YAAY,SAAS,CAAC;AAAA,UACrE;AAAA,QACF;AAAA,MACF,CAAC;AAAA,IACH;AACA,WAAO;AAAA,EACT;AAAA,EAEQ,sBACN,QACA,QACA,YACiE;AACjE,UAAM,aAAqE,CAAC;AAC5E,eAAW,CAAC,WAAW,KAAK,KAAK,cAAc,MAAM,GAAG;AACtD,YAAM,cAAc,OAAO,OAAO,SAAS;AAC3C,UAAI,CAAC,aAAa;AAChB;AAAA,MACF;AACA,iBAAW,CAAC,YAAY,MAAM,KAAK,cAAc,MAAM,OAAO,GAAG;AAC/D,YAAI,YAAY,QAAQ,UAAU,GAAG;AACnC;AAAA,QACF;AACA,mBAAW,KAAK,KAAK,wBAAwB,YAAY,WAAW,YAAY,MAAM,CAAC;AAAA,MACzF;AAAA,IACF;AACA,WAAO;AAAA,EACT;AAAA,EAEQ,wBACN,QACA,WACA,YACA,QACsD;AACtD,UAAM,YAAY,iBAAiB,QAAQ,SAAS;AACpD,UAAM,UAAU,OAAO,aAAa;AACpC,UAAM,WAAW;AAAA,MACf;AAAA,QACE,aAAa,kBAAkB,UAAU;AAAA,QACzC,KAAK,kBAAkB,EAAE,QAAQ,OAAO,WAAW,QAAQ,YAAY,QAAQ,MAAM,CAAC;AAAA,MACxF;AAAA,MACA,GAAI,UACA;AAAA,QACE;AAAA,UACE,aAAa,iBAAiB,SAAS;AAAA,UACvC,KAAK,kBAAkB,SAAS;AAAA,QAClC;AAAA,MACF,IACA,CAAC;AAAA,IACP;AACA,UAAM,UAAU;AAAA,MACd;AAAA,QACE,aAAa,eAAe,UAAU;AAAA,QACtC,KAAK,kBAAkB,WAAW,YAAY,MAAM;AAAA,MACtD;AAAA,IACF;AACA,UAAM,YAAY;AAAA,MAChB;AAAA,QACE,aAAa,kBAAkB,UAAU;AAAA,QACzC,KAAK,kBAAkB,EAAE,QAAQ,OAAO,WAAW,QAAQ,WAAW,CAAC;AAAA,MACzE;AAAA,MACA,GAAI,UACA;AAAA,QACE;AAAA,UACE,aAAa,kBAAkB,UAAU;AAAA,UACzC,KAAK,qBAAqB,EAAE,QAAQ,OAAO,WAAW,QAAQ,WAAW,CAAC;AAAA,QAC5E;AAAA,MACF,IACA,CAAC;AAAA,IACP;AAEA,WAAO;AAAA,MACL,IAAI,UAAU,SAAS,IAAI,UAAU;AAAA,MACrC,OAAO,cAAc,UAAU,OAAO,SAAS;AAAA,MAC/C,SAAS,eAAe,UAAU,aAAa,SAAS;AAAA,MACxD,gBAAgB;AAAA,MAChB,QAAQ;AAAA,QACN,IAAI;AAAA,QACJ,SAAS,KAAK,mBAAmB,SAAS,WAAW,MAAM;AAAA,MAC7D;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,0BACN,QACA,QACA,YACiE;AACjE,UAAM,aAAqE,CAAC;AAC5E,eAAW,CAAC,WAAW,KAAK,KAAK,cAAc,MAAM,GAAG;AACtD,UAAI,CAAC,MAAM,YAAY;AACrB;AAAA,MACF;AACA,YAAM,cAAc,OAAO,OAAO,SAAS;AAC3C,UAAI,CAAC,eAAe,YAAY,YAAY;AAC1C;AAAA,MACF;AACA,YAAM,iBAAiB,MAAM,WAAW,QAAQ,GAAG,SAAS;AAC5D,iBAAW,KAAK;AAAA,QACd,IAAI,cAAc,SAAS,IAAI,cAAc;AAAA,QAC7C,OAAO,mBAAmB,cAAc,OAAO,SAAS;AAAA,QACxD,SAAS,oBAAoB,cAAc,OAAO,SAAS;AAAA,QAC3D,gBAAgB;AAAA,QAChB,QAAQ;AAAA,UACN,IAAI;AAAA,UACJ,SAAS,KAAK,mBAAmB,SAAS,WAAW,UAAU;AAAA,QACjE;AAAA,QACA,UAAU;AAAA,UACR;AAAA,YACE,aAAa,yCAAyC,SAAS;AAAA,YAC/D,KAAK,wBAAwB,YAAY,WAAW,KAAK;AAAA,UAC3D;AAAA,QACF;AAAA,QACA,SAAS;AAAA,UACP;AAAA,YACE,aAAa,oBAAoB,cAAc;AAAA,YAC/C,KAAK,eAAe,iBAAiB,YAAY,SAAS,CAAC;AAAA,iBACtD,gBAAgB,cAAc,CAAC;AAAA,eACjC,MAAM,WAAW,QAAQ,IAAI,eAAe,EAAE,KAAK,IAAI,CAAC;AAAA,UAC7D;AAAA,QACF;AAAA,QACA,WAAW;AAAA,UACT;AAAA,YACE,aAAa,uBAAuB,cAAc;AAAA,YAClD,KAAK,wBAAwB,YAAY,WAAW,MAAM,cAAc;AAAA,UAC1E;AAAA,QACF;AAAA,MACF,CAAC;AAAA,IACH;AACA,WAAO;AAAA,EACT;AAAA,EAEQ,sBACN,QACA,QACA,YACiE;AACjE,UAAM,aAAqE,CAAC;AAC5E,eAAW,CAAC,WAAW,KAAK,KAAK,cAAc,MAAM,GAAG;AACtD,YAAM,cAAc,OAAO,OAAO,SAAS;AAC3C,iBAAW,UAAU,MAAM,SAAS;AAClC,YAAI,eAAe,oBAAoB,aAAa,OAAO,OAAO,GAAG;AACnE;AAAA,QACF;AACA,cAAM,iBAAiB,OAAO,QAAQ,GAAG,SAAS,IAAI,OAAO,QAAQ,KAAK,GAAG,CAAC;AAC9E,mBAAW,KAAK;AAAA,UACd,IAAI,UAAU,SAAS,IAAI,cAAc;AAAA,UACzC,OAAO,yBAAyB,cAAc,OAAO,SAAS;AAAA,UAC9D,SAAS,0BAA0B,cAAc,OAAO,SAAS;AAAA,UACjE,gBAAgB;AAAA,UAChB,QAAQ;AAAA,YACN,IAAI;AAAA,YACJ,SAAS,KAAK,mBAAmB,UAAU,gBAAgB,YAAY,SAAS;AAAA,UAClF;AAAA,UACA,UAAU;AAAA,YACR;AAAA,cACE,aAAa,6BAA6B,cAAc;AAAA,cACxD,KAAK,sBAAsB,EAAE,gBAAgB,QAAQ,YAAY,QAAQ,MAAM,CAAC;AAAA,YAClF;AAAA,UACF;AAAA,UACA,SAAS;AAAA,YACP;AAAA,cACE,aAAa,0BAA0B,cAAc;AAAA,cACrD,KAAK,eAAe,iBAAiB,YAAY,SAAS,CAAC;AAAA,iBACxD,gBAAgB,cAAc,CAAC;AAAA,UACtC,OAAO,QAAQ,IAAI,eAAe,EAAE,KAAK,IAAI,CAAC;AAAA,YAC5C;AAAA,UACF;AAAA,UACA,WAAW;AAAA,YACT;AAAA,cACE,aAAa,6BAA6B,cAAc;AAAA,cACxD,KAAK,sBAAsB,EAAE,gBAAgB,QAAQ,WAAW,CAAC;AAAA,YACnE;AAAA,UACF;AAAA,QACF,CAAC;AAAA,MACH;AAAA,IACF;AACA,WAAO;AAAA,EACT;AAAA,EAEQ,qBACN,QACA,QACA,YACiE;AACjE,UAAM,aAAqE,CAAC;AAC5E,eAAW,CAAC,WAAW,KAAK,KAAK,cAAc,MAAM,GAAG;AACtD,YAAM,cAAc,OAAO,OAAO,SAAS;AAC3C,iBAAW,SAAS,MAAM,SAAS;AACjC,YAAI,eAAe,SAAS,aAAa,MAAM,OAAO,GAAG;AACvD;AAAA,QACF;AACA,cAAM,YAAY,MAAM,QAAQ,GAAG,SAAS,IAAI,MAAM,QAAQ,KAAK,GAAG,CAAC;AACvE,mBAAW,KAAK;AAAA,UACd,IAAI,SAAS,SAAS,IAAI,SAAS;AAAA,UACnC,OAAO,gBAAgB,SAAS,OAAO,SAAS;AAAA,UAChD,SAAS,iBAAiB,SAAS,OAAO,SAAS;AAAA,UACnD,gBAAgB;AAAA,UAChB,QAAQ;AAAA,YACN,IAAI;AAAA,YACJ,SAAS,KAAK,mBAAmB,SAAS,WAAW,YAAY,SAAS;AAAA,UAC5E;AAAA,UACA,UAAU;AAAA,YACR;AAAA,cACE,aAAa,iBAAiB,SAAS;AAAA,cACvC,KAAK,sBAAsB,kBAAkB,YAAY,SAAS,CAAC;AAAA,YACrE;AAAA,UACF;AAAA,UACA,SAAS;AAAA,YACP;AAAA,cACE,aAAa,iBAAiB,SAAS;AAAA,cACvC,KAAK,gBAAgB,gBAAgB,SAAS,CAAC,OAAO;AAAA,gBACpD;AAAA,gBACA;AAAA,cACF,CAAC,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,KAAK,IAAI,CAAC;AAAA,YACrD;AAAA,UACF;AAAA,UACA,WAAW;AAAA,YACT;AAAA,cACE,aAAa,iBAAiB,SAAS;AAAA,cACvC,KAAK,sBAAsB,kBAAkB,YAAY,SAAS,CAAC;AAAA,YACrE;AAAA,UACF;AAAA,QACF,CAAC;AAAA,MACH;AAAA,IACF;AACA,WAAO;AAAA,EACT;AAAA,EAEQ,0BACN,QACA,QACA,YACiE;AACjE,UAAM,aAAqE,CAAC;AAC5E,eAAW,CAAC,WAAW,KAAK,KAAK,cAAc,MAAM,GAAG;AACtD,YAAM,cAAc,OAAO,OAAO,SAAS;AAC3C,iBAAW,cAAc,MAAM,aAAa;AAC1C,YAAI,eAAe,cAAc,aAAa,UAAU,GAAG;AACzD;AAAA,QACF;AACA,cAAM,SAAS,WAAW,QAAQ,GAAG,SAAS,IAAI,WAAW,QAAQ,KAAK,GAAG,CAAC;AAC9E,mBAAW,KAAK;AAAA,UACd,IAAI,cAAc,SAAS,IAAI,MAAM;AAAA,UACrC,OAAO,mBAAmB,MAAM,OAAO,SAAS;AAAA,UAChD,SAAS,oBAAoB,MAAM,gBAAgB,WAAW,WAAW,KAAK;AAAA,UAC9E,gBAAgB;AAAA,UAChB,QAAQ;AAAA,YACN,IAAI;AAAA,YACJ,SAAS,KAAK,mBAAmB,cAAc,QAAQ,YAAY,SAAS;AAAA,UAC9E;AAAA,UACA,UAAU;AAAA,YACR;AAAA,cACE,aAAa,uBAAuB,MAAM;AAAA,cAC1C,KAAK,sBAAsB;AAAA,gBACzB,gBAAgB;AAAA,gBAChB,QAAQ;AAAA,gBACR,QAAQ;AAAA,cACV,CAAC;AAAA,YACH;AAAA,UACF;AAAA,UACA,SAAS;AAAA,YACP;AAAA,cACE,aAAa,oBAAoB,MAAM;AAAA,cACvC,KAAK,eAAe,iBAAiB,YAAY,SAAS,CAAC;AAAA,iBACxD,gBAAgB,MAAM,CAAC;AAAA,eACzB,WAAW,QAAQ,IAAI,eAAe,EAAE,KAAK,IAAI,CAAC;AAAA,aACpD,iBAAiB,YAAY,WAAW,WAAW,KAAK,CAAC,KAAK,WAAW,WAAW,QAChF,IAAI,eAAe,EACnB,KAAK,IAAI,CAAC;AAAA,YACf;AAAA,UACF;AAAA,UACA,WAAW;AAAA,YACT;AAAA,cACE,aAAa,uBAAuB,MAAM;AAAA,cAC1C,KAAK,sBAAsB,EAAE,gBAAgB,QAAQ,QAAQ,WAAW,CAAC;AAAA,YAC3E;AAAA,UACF;AAAA,QACF,CAAC;AAAA,MACH;AAAA,IACF;AACA,WAAO;AAAA,EACT;AAAA,EAEQ,mBACN,YACA,MACA,QACA,OAC2B;AAC3B,WAAO;AAAA,MACL;AAAA,MACA;AAAA,MACA;AAAA,MACA,GAAI,QAAQ,EAAE,MAAM,IAAI,CAAC;AAAA,IAC3B;AAAA,EACF;AAAA,EAEQ,eAAe,SAKjB;AACJ,UAAM,gBAAsD;AAAA,MAC1D,UAAU,QAAQ;AAAA,MAClB,QAAQ,QAAQ;AAAA,MAChB,QAAQ;AAAA,MACR,sBAAsB,oBAAI,IAAI;AAAA,MAC9B,qBAAqB,QAAQ;AAAA,IAC/B;AACA,UAAM,eAAe,gBAAgB,aAAa;AAElD,UAAM,YAAY,KAAK,iBAAiB,aAAa,OAAO,MAAM;AAClE,QAAI,UAAU,SAAS,GAAG;AACxB,aAAO,EAAE,MAAM,YAAY,UAAU;AAAA,IACvC;AACA,WAAO,EAAE,MAAM,KAAK;AAAA,EACtB;AAAA,EAEQ,iBAAiB,QAAsD;AAC7E,UAAM,YAAkC,CAAC;AACzC,eAAW,SAAS,QAAQ;AAC1B,UAAI,gBAAgB,KAAK,GAAG;AAC1B;AAAA,MACF;AACA,YAAM,WAAW,KAAK,uBAAuB,KAAK;AAClD,UAAI,UAAU;AACZ,kBAAU,KAAK,QAAQ;AAAA,MACzB;AAAA,IACF;AACA,WAAO,UAAU,KAAK,kBAAkB;AAAA,EAC1C;AAAA,EAEQ,uBAAuB,OAA+C;AAC5E,YAAQ,MAAM,MAAM;AAAA,MAClB,KAAK;AACH,eAAO,KAAK,cAAc,gBAAgB,KAAK;AAAA,MACjD,KAAK;AACH,eAAO,KAAK,cAAc,uBAAuB,KAAK;AAAA,MACxD,KAAK;AACH,eAAO,KAAK,cAAc,qBAAqB,KAAK;AAAA,MACtD,KAAK;AACH,eAAO,KAAK,cAAc,qBAAqB,KAAK;AAAA,MACtD,KAAK;AACH,eAAO,KAAK,cAAc,qBAAqB,KAAK;AAAA,MACtD,KAAK;AACH,eAAO,KAAK,cAAc,sBAAsB,KAAK;AAAA,MACvD;AACE,eAAO;AAAA,IACX;AAAA,EACF;AAAA,EAEQ,cAAc,MAAkC,OAAwC;AAC9F,UAAM,WAAW,sBAAsB,KAAK;AAC5C,UAAM,OACJ,MAAM,YAAY,MAAM,SACpB,OAAO,OAAO;AAAA,MACZ,GAAI,MAAM,WAAW,EAAE,UAAU,MAAM,SAAS,IAAI,CAAC;AAAA,MACrD,GAAI,MAAM,SAAS,EAAE,QAAQ,MAAM,OAAO,IAAI,CAAC;AAAA,IACjD,CAAC,IACD;AAEN,WAAO;AAAA,MACL;AAAA,MACA,SAAS,MAAM;AAAA,MACf,GAAI,WAAW,EAAE,SAAS,IAAI,CAAC;AAAA,MAC/B,GAAI,OAAO,EAAE,KAAK,IAAI,CAAC;AAAA,IACzB;AAAA,EACF;AACF;AAEA,SAAS,wBAAwB,WAI/B;AACA,MAAI,OAAO,cAAc,YAAY,cAAc,MAAM;AACvD,WAAO;AAAA,EACT;AACA,QAAM,SAAS;AAGf,MAAI,OAAO,OAAO,QAAQ,UAAU,KAAK,OAAO,UAAU,MAAM,OAAO;AACrE,WAAO;AAAA,EACT;AAEA,MAAI,CAAC,OAAO,OAAO,QAAQ,sBAAsB,GAAG;AAClD,WAAO;AAAA,EACT;AACA,QAAM,OAAO,OAAO,sBAAsB;AAC1C,SAAO,SAAS,UAAc,OAAO,SAAS,YAAY,SAAS;AACrE;AAEA,SAAS,iBACP,cAC0C;AAC1C,MAAI,aAAa,UAAU,GAAG;AAC5B,WAAO;AAAA,EACT;AACA,SAAO,CAAC,GAAG,YAAY,EAAE,KAAK,CAAC,GAAG,MAAM,EAAE,GAAG,cAAc,EAAE,EAAE,CAAC;AAClE;AAEA,SAAS,oBAAoB,oBAA4B,OAA6B;AACpF,QAAM,oBAAoB,OAAO,QAAQ,MAAM,OAAO,EAAE;AAAA,IACtD,CAAC,CAAC,YAAY,MAAM,MAA+B;AACjD,YAAM,QAAQ;AAAA,QACZ,gBAAgB,UAAU;AAAA,QAC1B,OAAO;AAAA,QACP,OAAO,WAAW,KAAK;AAAA,MACzB,EAAE,OAAO,OAAO;AAChB,aAAO,MAAM,KAAK,GAAG;AAAA,IACvB;AAAA,EACF;AAEA,QAAM,wBAAkC,CAAC;AACzC,MAAI,MAAM,YAAY;AACpB,0BAAsB;AAAA,MACpB,gBAAgB,MAAM,WAAW,QAAQ,IAAI,eAAe,EAAE,KAAK,IAAI,CAAC;AAAA,IAC1E;AAAA,EACF;AAEA,QAAM,iBAAiB,CAAC,GAAG,mBAAmB,GAAG,qBAAqB;AACtE,SAAO,gBAAgB,kBAAkB;AAAA,IAAS,eAAe,KAAK,OAAO,CAAC;AAAA;AAChF;AAEA,SAAS,iBAAiB,QAAgB,OAAuB;AAC/D,SAAO,GAAG,gBAAgB,MAAM,CAAC,IAAI,gBAAgB,KAAK,CAAC;AAC7D;AAEA,SAAS,kBAAkB,QAAgB,MAAsB;AAC/D,QAAM,WAAW,GAAG,gBAAgB,MAAM,CAAC,IAAI,gBAAgB,IAAI,CAAC;AACpE,SAAO,IAAI,cAAc,QAAQ,CAAC;AACpC;AAGA,SAAS,gBAAgB,YAA4B;AAEnD,SAAO,IAAI,WAAW,QAAQ,MAAM,IAAI,CAAC;AAC3C;AAEA,SAAS,cAAc,OAAuB;AAC5C,SAAO,MAAM,QAAQ,MAAM,IAAI;AACjC;AAEA,SAAS,cAAiB,QAAyD;AACjF,SAAO,OAAO,QAAQ,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;AACrE;AAEA,SAAS,sBAAsB;AAAA,EAC7B;AAAA,EACA;AAAA,EACA,SAAS;AACX,GAIW;AACT,QAAM,eAAe,SAAS,WAAW;AACzC,SAAO,UAAU,YAAY;AAAA;AAAA;AAAA,uBAGR,cAAc,cAAc,CAAC;AAAA,qBAC/B,cAAc,MAAM,CAAC;AAAA;AAE1C;AAEA,SAAS,kBAAkB;AAAA,EACzB;AAAA,EACA;AAAA,EACA;AAAA,EACA,SAAS;AACX,GAKW;AACT,QAAM,eAAe,SAAS,KAAK;AACnC,SAAO,UAAU,YAAY;AAAA;AAAA;AAAA,0BAGL,cAAc,MAAM,CAAC;AAAA,wBACvB,cAAc,KAAK,CAAC;AAAA,yBACnB,cAAc,MAAM,CAAC;AAAA;AAE9C;AAEA,SAAS,qBAAqB;AAAA,EAC5B;AAAA,EACA;AAAA,EACA;AACF,GAIW;AACT,SAAO;AAAA;AAAA;AAAA,0BAGiB,cAAc,MAAM,CAAC;AAAA,wBACvB,cAAc,KAAK,CAAC;AAAA,yBACnB,cAAc,MAAM,CAAC;AAAA;AAAA;AAG9C;AAEA,SAAS,kBAAkB,oBAAoC;AAC7D,SAAO,oCAAoC,kBAAkB;AAC/D;AAEA,SAAS,kBACP,oBACA,YACA,QACQ;AACR,QAAM,QAAQ;AAAA,IACZ,eAAe,kBAAkB;AAAA,IACjC,cAAc,gBAAgB,UAAU,CAAC,IAAI,OAAO,UAAU;AAAA,IAC9D,OAAO,WAAW,KAAK;AAAA,EACzB,EAAE,OAAO,OAAO;AAChB,SAAO,MAAM,KAAK,GAAG;AACvB;AAEA,SAAS,wBACP,QACA,OACA,QACA,gBACQ;AACR,QAAM,aAAa,SAAS,KAAK;AACjC,QAAM,mBAAmB,iBACrB,qBAAqB,cAAc,cAAc,CAAC,MAClD;AACJ,SAAO,UAAU,UAAU;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,uBAMN,cAAc,MAAM,CAAC;AAAA,uBACrB,cAAc,KAAK,CAAC;AAAA;AAAA,MAErC,gBAAgB;AAAA;AAEtB;AAEA,SAAS,oBACP,OACA,SACS;AACT,SAAO,MAAM,QAAQ,KAAK,CAAC,WAAW,YAAY,OAAO,SAAS,OAAO,CAAC;AAC5E;AAEA,SAAS,SAAS,OAAsC,SAAqC;AAC3F,SAAO,MAAM,QAAQ,KAAK,CAAC,UAAU,CAAC,MAAM,UAAU,YAAY,MAAM,SAAS,OAAO,CAAC;AAC3F;AAEA,SAAS,cAAc,OAAsC,IAAyB;AACpF,SAAO,MAAM,YAAY;AAAA,IACvB,CAAC,cACC,YAAY,UAAU,SAAS,GAAG,OAAO,KACzC,UAAU,oBAAoB,GAAG,WAAW,SAC5C,YAAY,UAAU,mBAAmB,GAAG,WAAW,OAAO;AAAA,EAClE;AACF;AAEA,SAAS,gBAAgB,OAA6B;AACpD,UAAQ,MAAM,MAAM;AAAA,IAClB,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO,MAAM,WAAW;AAAA,IAC1B,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AACH,aAAO,MAAM,sBAAsB;AAAA,IACrC;AACE,aAAO;AAAA,EACX;AACF;AAEA,SAAS,sBAAsB,OAAoB;AACjD,QAAM,WAIF,CAAC;AACL,MAAI,MAAM,OAAO;AACf,aAAS,QAAQ,MAAM;AAAA,EACzB;AACA,MAAI,MAAM,QAAQ;AAChB,aAAS,SAAS,MAAM;AAAA,EAC1B;AACA,MAAI,MAAM,mBAAmB;AAC3B,aAAS,aAAa,MAAM;AAAA,EAC9B;AACA,SAAO,OAAO,KAAK,QAAQ,EAAE,SAAS,IAAI,WAAW;AACvD;AAEA,SAAS,mBAAmB,GAAuB,GAA+B;AAChF,MAAI,EAAE,SAAS,EAAE,MAAM;AACrB,WAAO,EAAE,OAAO,EAAE,OAAO,KAAK;AAAA,EAChC;AACA,QAAM,YAAY,EAAE,YAAY,CAAC;AACjC,QAAM,YAAY,EAAE,YAAY,CAAC;AACjC,QAAM,eAAe,eAAe,UAAU,OAAO,UAAU,KAAK;AACpE,MAAI,iBAAiB,GAAG;AACtB,WAAO;AAAA,EACT;AACA,QAAM,gBAAgB,eAAe,UAAU,QAAQ,UAAU,MAAM;AACvE,MAAI,kBAAkB,GAAG;AACvB,WAAO;AAAA,EACT;AACA,QAAM,oBAAoB,eAAe,UAAU,YAAY,UAAU,UAAU;AACnF,MAAI,sBAAsB,GAAG;AAC3B,WAAO;AAAA,EACT;AACA,SAAO,eAAe,EAAE,SAAS,EAAE,OAAO;AAC5C;AAEA,SAAS,eAAe,GAAY,GAAoB;AACtD,MAAI,MAAM,GAAG;AACX,WAAO;AAAA,EACT;AACA,MAAI,MAAM,QAAW;AACnB,WAAO;AAAA,EACT;AACA,MAAI,MAAM,QAAW;AACnB,WAAO;AAAA,EACT;AACA,SAAO,IAAI,IAAI,KAAK;AACtB;;;ACj1BA,SAAS,eAAe,qBAAqB;AAC7C,SAAS,mBAAAA,wBAAuB;AAChC,SAAS,kBAAkB;AAC3B,SAAS,qBAAqB;AAE9B,SAAS,IAAI,cAAc;;;ACZpB,IAAM,sCAAoD;AAAA,EAC/D,KAAK;AAAA,EACL,QAAQ,CAAC;AACX;AAEO,IAAM,6BAA2C;AAAA,EACtD,KAAK;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAUL,QAAQ,CAAC;AACX;AAEO,IAAM,6BAA2C;AAAA,EACtD,KAAK;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAWL,QAAQ,CAAC;AACX;AAWO,SAAS,2BAA2B,OAGzC;AACA,QAAM,SAA6B;AAAA,IACjC;AAAA,IACA,MAAM;AAAA,IACN,MAAM;AAAA,IACN,UAAU,MAAM,YAAY;AAAA,IAC5B,MAAM,oBAAoB;AAAA,IAC1B,MAAM,UAAU;AAAA,IAChB,UAAU,MAAM,QAAQ,CAAC,CAAC;AAAA,EAC5B;AAEA,SAAO;AAAA,IACL,QAAQ;AAAA,MACN,KAAK;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,MAmBL;AAAA,IACF;AAAA,IACA,QAAQ;AAAA,MACN,KAAK;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,MASL;AAAA,IACF;AAAA,EACF;AACF;AAYO,SAAS,2BAA2B,OAAwC;AACjF,SAAO;AAAA,IACL,KAAK;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,IAiBL,QAAQ;AAAA,MACN,MAAM,kBAAkB;AAAA,MACxB,MAAM,qBAAqB;AAAA,MAC3B,MAAM;AAAA,MACN,MAAM,0BAA0B;AAAA,MAChC,UAAU,MAAM,kBAAkB;AAAA,MAClC,UAAU,MAAM,iBAAiB;AAAA,MACjC,UAAU,MAAM,UAAU;AAAA,IAC5B;AAAA,EACF;AACF;AAEA,SAAS,UAAU,OAAwB;AACzC,SAAO,KAAK,UAAU,SAAS,IAAI;AACrC;;;AD1GA,IAAM,iBAA+B;AAAA,EACnC,eAAe;AACjB;AAEA,IAAM,cAAc;AAMpB,SAAS,qBAAwD,OAAa;AAC5E,QAAM,SAAkC,CAAC;AACzC,aAAW,CAAC,KAAK,GAAG,KAAK,OAAO,QAAQ,KAAK,GAAG;AAC9C,QAAI,QAAQ,QAAQ,QAAQ,QAAW;AACrC,aAAO,GAAG,IAAI;AAAA,IAChB,WAAW,MAAM,QAAQ,GAAG,GAAG;AAE7B,aAAO,GAAG,IAAI,OAAO,OAAO,CAAC,GAAG,GAAG,CAAC;AAAA,IACtC,WAAW,OAAO,QAAQ,UAAU;AAElC,aAAO,GAAG,IAAI,qBAAqB,GAA8B;AAAA,IACnE,OAAO;AAEL,aAAO,GAAG,IAAI;AAAA,IAChB;AAAA,EACF;AACA,SAAO,OAAO,OAAO,MAAM;AAC7B;AAEO,SAAS,8BACd,QACA,SAAgC,CAAC,GACc;AAC/C,SAAO,IAAI,wBAAwB,QAAQ,EAAE,GAAG,gBAAgB,GAAG,OAAO,CAAC;AAC7E;AAEA,IAAM,0BAAN,MAAuF;AAAA,EACrF,YACmB,QACA,QACjB;AAFiB;AACA;AAAA,EAChB;AAAA,EAEH,MAAM,QACJ,SACmC;AACnC,UAAM,SAAS,QAAQ,cAAc,KAAK,OAAO;AACjD,UAAM,SAAS,QAAQ;AACvB,UAAM,UAAU,GAAG,WAAW,IAAI,MAAM;AAGxC,UAAM,mBAAmB,KAAK;AAAA,MAC5B,QAAQ,KAAK;AAAA,MACb,QAAQ;AAAA,IACV;AACA,QAAI,CAAC,iBAAiB,IAAI;AACxB,aAAO;AAAA,IACT;AAEA,UAAM,cAAc,KAAK,2BAA2B,QAAQ,QAAQ,QAAQ,KAAK,UAAU;AAC3F,QAAI,CAAC,YAAY,IAAI;AACnB,aAAO;AAAA,IACT;AAGA,UAAM,KAAK,iBAAiB,MAAM;AAClC,QAAI,YAAY;AAChB,QAAI;AACF,YAAM,KAAK,YAAY,QAAQ,OAAO;AACtC,YAAM,KAAK,oBAAoB,MAAM;AACrC,YAAM,iBAAiB,MAAM,WAAW,MAAM;AAG9C,YAAM,cAAc,KAAK,0BAA0B,gBAAgB,QAAQ,IAAI;AAC/E,UAAI,CAAC,YAAY,IAAI;AACnB,eAAO;AAAA,MACT;AAGA,YAAM,sBAAsB,KAAK,yBAAyB,gBAAgB,QAAQ,IAAI;AACtF,UAAI;AAEJ,UAAI,qBAAqB;AACvB,qBAAa,EAAE,oBAAoB,GAAG,oBAAoB,CAAC,EAAE;AAAA,MAC/D,OAAO;AACL,cAAM,cAAc,MAAM,KAAK,UAAU,QAAQ,OAAO;AACxD,YAAI,CAAC,YAAY,IAAI;AACnB,iBAAO;AAAA,QACT;AACA,qBAAa,YAAY;AAAA,MAC3B;AAIA,YAAM,WAAW,MAAM,KAAK,OAAO,WAAW;AAAA,QAC5C;AAAA,QACA,YAAY,QAAQ;AAAA,MACtB,CAAC;AAGD,YAAM,qBAAqBC,iBAAgB;AAAA,QACzC,UAAU,QAAQ;AAAA,QAClB,QAAQ;AAAA,QACR,QAAQ,QAAQ,sBAAsB;AAAA,QACtC,SAAS,QAAQ,WAAW,CAAC;AAAA,QAC7B,sBAAsB,KAAK,OAAO;AAAA,QAClC,qBAAqB,QAAQ;AAAA,MAC/B,CAAC;AACD,UAAI,CAAC,mBAAmB,IAAI;AAC1B,eAAO,cAAc,wBAAwB,mBAAmB,SAAS;AAAA,UACvE,KAAK;AAAA,UACL,MAAM;AAAA,YACJ,QAAQ,mBAAmB,OAAO;AAAA,UACpC;AAAA,QACF,CAAC;AAAA,MACH;AAGA,YAAM,KAAK,aAAa,QAAQ,SAAS,cAAc;AACvD,YAAM,KAAK,kBAAkB,QAAQ,SAAS,gBAAgB,WAAW,kBAAkB;AAE3F,YAAM,KAAK,kBAAkB,MAAM;AACnC,kBAAY;AACZ,aAAO,cAAc;AAAA,QACnB,mBAAmB,QAAQ,KAAK,WAAW;AAAA,QAC3C,oBAAoB,WAAW;AAAA,MACjC,CAAC;AAAA,IACH,UAAE;AACA,UAAI,CAAC,WAAW;AACd,cAAM,KAAK,oBAAoB,MAAM;AAAA,MACvC;AAAA,IACF;AAAA,EACF;AAAA,EAEA,MAAc,UACZ,QACA,SACmE;AACnE,UAAM,SAAS,QAAQ;AACvB,UAAM,eAAe,QAAQ,cAAc;AAC3C,UAAM,gBAAgB,QAAQ,eAAe;AAC7C,UAAM,iBAAiB,QAAQ,sBAAsB;AAErD,QAAI,qBAAqB;AACzB,UAAM,qBAAkF,CAAC;AACzF,eAAW,aAAa,QAAQ,KAAK,YAAY;AAC/C,cAAQ,WAAW,mBAAmB,SAAS;AAC/C,UAAI;AAEF,YAAI,iBAAiB,gBAAgB;AACnC,gBAAM,4BAA4B,MAAM,KAAK;AAAA,YAC3C;AAAA,YACA,UAAU;AAAA,UACZ;AACA,cAAI,2BAA2B;AAC7B,+BAAmB,KAAK,KAAK,sCAAsC,SAAS,CAAC;AAC7E;AAAA,UACF;AAAA,QACF;AAGA,YAAI,cAAc;AAChB,gBAAM,iBAAiB,MAAM,KAAK;AAAA,YAChC;AAAA,YACA,UAAU;AAAA,YACV;AAAA,YACA;AAAA,UACF;AACA,cAAI,CAAC,eAAe,IAAI;AACtB,mBAAO;AAAA,UACT;AAAA,QACF;AAEA,cAAM,gBAAgB,MAAM,KAAK,gBAAgB,QAAQ,UAAU,SAAS,SAAS;AACrF,YAAI,CAAC,cAAc,IAAI;AACrB,iBAAO;AAAA,QACT;AAGA,YAAI,eAAe;AACjB,gBAAM,kBAAkB,MAAM,KAAK;AAAA,YACjC;AAAA,YACA,UAAU;AAAA,YACV;AAAA,YACA;AAAA,UACF;AACA,cAAI,CAAC,gBAAgB,IAAI;AACvB,mBAAO;AAAA,UACT;AAAA,QACF;AAEA,2BAAmB,KAAK,SAAS;AACjC,8BAAsB;AAAA,MACxB,UAAE;AACA,gBAAQ,WAAW,sBAAsB,SAAS;AAAA,MACpD;AAAA,IACF;AACA,WAAO,GAAG,EAAE,oBAAoB,mBAAmB,CAAC;AAAA,EACtD;AAAA,EAEA,MAAc,oBACZ,QACe;AACf,UAAM,KAAK,iBAAiB,QAAQ,mCAAmC;AACvE,UAAM,KAAK,iBAAiB,QAAQ,0BAA0B;AAC9D,UAAM,KAAK,iBAAiB,QAAQ,0BAA0B;AAAA,EAChE;AAAA,EAEA,MAAc,oBACZ,QACA,OACA,WACA,OACkD;AAClD,eAAW,QAAQ,OAAO;AACxB,YAAM,SAAS,MAAM,OAAO,MAAM,KAAK,GAAG;AAC1C,UAAI,CAAC,KAAK,iBAAiB,OAAO,IAAI,GAAG;AACvC,cAAM,OAAO,UAAU,aAAa,oBAAoB;AACxD,eAAO;AAAA,UACL;AAAA,UACA,aAAa,UAAU,EAAE,kBAAkB,KAAK,KAAK,KAAK,WAAW;AAAA,UACrE;AAAA,YACE,MAAM;AAAA,cACJ,aAAa,UAAU;AAAA,cACvB;AAAA,cACA,iBAAiB,KAAK;AAAA,YACxB;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,WAAO,OAAO;AAAA,EAChB;AAAA,EAEA,MAAc,gBACZ,QACA,OACA,WACkD;AAClD,eAAW,QAAQ,OAAO;AACxB,UAAI;AACF,cAAM,OAAO,MAAM,KAAK,GAAG;AAAA,MAC7B,SAAS,OAAgB;AAEvB,YAAI,cAAc,GAAG,KAAK,GAAG;AAC3B,iBAAO;AAAA,YACL;AAAA,YACA,aAAa,UAAU,EAAE,6BAA6B,KAAK,WAAW;AAAA,YACtE;AAAA,cACE,KAAK,MAAM;AAAA,cACX,MAAM;AAAA,gBACJ,aAAa,UAAU;AAAA,gBACvB,iBAAiB,KAAK;AAAA,gBACtB,KAAK,KAAK;AAAA,gBACV,UAAU,MAAM;AAAA,gBAChB,YAAY,MAAM;AAAA,gBAClB,OAAO,MAAM;AAAA,gBACb,QAAQ,MAAM;AAAA,gBACd,QAAQ,MAAM;AAAA,cAChB;AAAA,YACF;AAAA,UACF;AAAA,QACF;AAEA,cAAM;AAAA,MACR;AAAA,IACF;AACA,WAAO,OAAO;AAAA,EAChB;AAAA,EAEQ,iBAAiB,MAAmD;AAC1E,QAAI,CAAC,QAAQ,KAAK,WAAW,GAAG;AAC9B,aAAO;AAAA,IACT;AACA,UAAM,WAAW,KAAK,CAAC;AACvB,UAAM,aAAa,WAAW,OAAO,OAAO,QAAQ,EAAE,CAAC,IAAI;AAC3D,QAAI,OAAO,eAAe,WAAW;AACnC,aAAO;AAAA,IACT;AACA,QAAI,OAAO,eAAe,UAAU;AAClC,aAAO,eAAe;AAAA,IACxB;AACA,QAAI,OAAO,eAAe,UAAU;AAClC,YAAM,QAAQ,WAAW,YAAY;AAErC,UAAI,UAAU,OAAO,UAAU,UAAU,UAAU,KAAK;AACtD,eAAO;AAAA,MACT;AACA,UAAI,UAAU,OAAO,UAAU,WAAW,UAAU,KAAK;AACvD,eAAO;AAAA,MACT;AAEA,aAAO,WAAW,SAAS;AAAA,IAC7B;AACA,WAAO,QAAQ,UAAU;AAAA,EAC3B;AAAA,EAEA,MAAc,yBACZ,QACA,OACkB;AAClB,QAAI,MAAM,WAAW,GAAG;AACtB,aAAO;AAAA,IACT;AACA,eAAW,QAAQ,OAAO;AACxB,YAAM,SAAS,MAAM,OAAO,MAAM,KAAK,GAAG;AAC1C,UAAI,CAAC,KAAK,iBAAiB,OAAO,IAAI,GAAG;AACvC,eAAO;AAAA,MACT;AAAA,IACF;AACA,WAAO;AAAA,EACT;AAAA,EAEQ,sCACN,WACsD;AAEtD,UAAM,aAAa,UAAU,OAAO,qBAAqB,UAAU,IAAI,IAAI;AAG3E,UAAM,aAAa,OAAO,OAAO;AAAA,MAC/B,SAAS;AAAA,MACT,QAAQ;AAAA,IACV,CAAC;AAGD,UAAM,aAAa,OAAO,OAAO;AAAA,MAC/B,GAAI,cAAc,CAAC;AAAA,MACnB,QAAQ;AAAA,IACV,CAAC;AAGD,UAAM,kBAAkB,OAAO,OAAO,CAAC,GAAG,UAAU,SAAS,CAAC;AAE9D,WAAO,OAAO,OAAO;AAAA,MACnB,IAAI,UAAU;AAAA,MACd,OAAO,UAAU;AAAA,MACjB,GAAI,UAAU,UAAU,EAAE,SAAS,UAAU,QAAQ,IAAI,CAAC;AAAA,MAC1D,gBAAgB,UAAU;AAAA,MAC1B,QAAQ,UAAU;AAAA;AAAA,MAClB,UAAU,OAAO,OAAO,CAAC,CAAC;AAAA,MAC1B,SAAS,OAAO,OAAO,CAAC,CAAC;AAAA,MACzB,WAAW;AAAA,MACX,GAAI,UAAU,QAAQ,aAAa,EAAE,MAAM,WAAW,IAAI,CAAC;AAAA,IAC7D,CAAC;AAAA,EACH;AAAA,EAEQ,yBACN,QACA,MACS;AACT,QAAI,CAAC,QAAQ;AACX,aAAO;AAAA,IACT;AACA,QAAI,OAAO,aAAa,KAAK,YAAY,UAAU;AACjD,aAAO;AAAA,IACT;AACA,QAAI,KAAK,YAAY,eAAe,OAAO,gBAAgB,KAAK,YAAY,aAAa;AACvF,aAAO;AAAA,IACT;AACA,WAAO;AAAA,EACT;AAAA,EAEQ,2BACN,QACA,YACyC;AACzC,UAAM,iBAAiB,IAAI,IAAI,OAAO,uBAAuB;AAC7D,eAAW,aAAa,YAAY;AAClC,UAAI,CAAC,eAAe,IAAI,UAAU,cAAc,GAAG;AACjD,eAAO;AAAA,UACL;AAAA,UACA,aAAa,UAAU,EAAE,eAAe,UAAU,cAAc;AAAA,UAChE;AAAA,YACE,KAAK,uBAAuB,OAAO,wBAAwB,KAAK,IAAI,CAAC;AAAA,YACrE,MAAM;AAAA,cACJ,aAAa,UAAU;AAAA,cACvB,gBAAgB,UAAU;AAAA,cAC1B,gBAAgB,OAAO;AAAA,YACzB;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,WAAO,OAAO;AAAA,EAChB;AAAA,EAEQ,0BACN,QACA,MACyC;AACzC,UAAM,SAAS,KAAK,UAAU;AAC9B,QAAI,CAAC,QAAQ;AACX,UAAI,CAAC,QAAQ;AACX,eAAO,OAAO;AAAA,MAChB;AACA,UAAI,KAAK,yBAAyB,QAAQ,IAAI,GAAG;AAC/C,eAAO,OAAO;AAAA,MAChB;AACA,aAAO;AAAA,QACL;AAAA,QACA,6BAA6B,OAAO,QAAQ;AAAA,QAC5C;AAAA,UACE,MAAM;AAAA,YACJ,gBAAgB,OAAO;AAAA,YACvB,gBAAgB;AAAA,UAClB;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAEA,QAAI,CAAC,QAAQ;AACX,aAAO;AAAA,QACL;AAAA,QACA,sDAAsD,OAAO,QAAQ;AAAA,QACrE;AAAA,UACE,MAAM;AAAA,YACJ,wBAAwB,OAAO;AAAA,UACjC;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,QAAI,OAAO,aAAa,OAAO,UAAU;AACvC,aAAO;AAAA,QACL;AAAA,QACA,6BAA6B,OAAO,QAAQ,iCAAiC,OAAO,QAAQ;AAAA,QAC5F;AAAA,UACE,MAAM;AAAA,YACJ,gBAAgB,OAAO;AAAA,YACvB,wBAAwB,OAAO;AAAA,UACjC;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,QAAI,OAAO,eAAe,OAAO,gBAAgB,OAAO,aAAa;AACnE,aAAO;AAAA,QACL;AAAA,QACA,0CAA0C,OAAO,WAAW,8CAA8C,OAAO,WAAW;AAAA,QAC5H;AAAA,UACE,MAAM;AAAA,YACJ,mBAAmB,OAAO;AAAA,YAC1B,2BAA2B,OAAO;AAAA,UACpC;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,WAAO,OAAO;AAAA,EAChB;AAAA,EAEQ,qCACN,aACA,UACyC;AACzC,QAAI,YAAY,aAAa,SAAS,UAAU;AAC9C,aAAO;AAAA,QACL;AAAA,QACA,+BAA+B,YAAY,QAAQ,iDAAiD,SAAS,QAAQ;AAAA,QACrH;AAAA,UACE,MAAM;AAAA,YACJ,cAAc,YAAY;AAAA,YAC1B,kBAAkB,SAAS;AAAA,UAC7B;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,QACE,YAAY,eACZ,SAAS,eACT,YAAY,gBAAgB,SAAS,aACrC;AACA,aAAO;AAAA,QACL;AAAA,QACA,kCAAkC,YAAY,WAAW,oDAAoD,SAAS,WAAW;AAAA,QACjI;AAAA,UACE,MAAM;AAAA,YACJ,iBAAiB,YAAY;AAAA,YAC7B,qBAAqB,SAAS;AAAA,UAChC;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,WAAO,OAAO;AAAA,EAChB;AAAA,EAEA,MAAc,aACZ,QACA,SACA,gBACe;AACf,UAAM,kBAAkB,2BAA2B;AAAA,MACjD,UAAU,QAAQ,KAAK,YAAY;AAAA,MACnC,aACE,QAAQ,KAAK,YAAY,eACzB,QAAQ,oBAAoB,eAC5B,QAAQ,KAAK,YAAY;AAAA,MAC3B,cAAc,QAAQ;AAAA,MACtB,kBAAkB;AAAA,MAClB,MAAM,CAAC;AAAA,IACT,CAAC;AACD,UAAM,YAAY,iBAAiB,gBAAgB,SAAS,gBAAgB;AAC5E,UAAM,KAAK,iBAAiB,QAAQ,SAAS;AAAA,EAC/C;AAAA,EAEA,MAAc,kBACZ,QACA,SACA,gBACA,oBACe;AACf,UAAM,kBAAkB,2BAA2B;AAAA,MACjD,gBAAgB,gBAAgB,YAAY;AAAA,MAC5C,mBAAmB,gBAAgB,eAAe;AAAA,MAClD,qBAAqB,QAAQ,KAAK,YAAY;AAAA,MAC9C,wBACE,QAAQ,KAAK,YAAY,eACzB,QAAQ,oBAAoB,eAC5B,QAAQ,KAAK,YAAY;AAAA,MAC3B,oBAAoB,gBAAgB,gBAAgB;AAAA,MACpD,mBAAmB,QAAQ;AAAA,MAC3B,YAAY;AAAA,IACd,CAAC;AACD,UAAM,KAAK,iBAAiB,QAAQ,eAAe;AAAA,EACrD;AAAA,EAEA,MAAc,YACZ,QACA,KACe;AACf,UAAM,OAAO,MAAM,8CAA8C,CAAC,GAAG,CAAC;AAAA,EACxE;AAAA,EAEA,MAAc,iBACZ,QACe;AACf,UAAM,OAAO,MAAM,OAAO;AAAA,EAC5B;AAAA,EAEA,MAAc,kBACZ,QACe;AACf,UAAM,OAAO,MAAM,QAAQ;AAAA,EAC7B;AAAA,EAEA,MAAc,oBACZ,QACe;AACf,UAAM,OAAO,MAAM,UAAU;AAAA,EAC/B;AAAA,EAEA,MAAc,iBACZ,QACA,WACe;AACf,QAAI,UAAU,OAAO,SAAS,GAAG;AAC/B,YAAM,OAAO,MAAM,UAAU,KAAK,UAAU,MAAM;AAClD;AAAA,IACF;AACA,UAAM,OAAO,MAAM,UAAU,GAAG;AAAA,EAClC;AACF;;;AElkBA,IAAM,2BACJ;AAAA,EACE,GAAG;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAMH,YAAY;AAAA,IACV,cAAc,SAAmC;AAC/C,aAAO,+BAA+B;AAAA,IACxC;AAAA,IACA,aAAa,QAAQ;AACnB,aAAO,8BAA8B,MAAM;AAAA,IAC7C;AAAA,EACF;AAAA,EACA,SAAmD;AACjD,WAAO;AAAA,MACL,UAAU;AAAA,MACV,UAAU;AAAA,IACZ;AAAA,EACF;AAAA;AAAA;AAAA;AAAA;AAAA,EAKA,cAAc,SAAmC;AAC/C,WAAO,+BAA+B;AAAA,EACxC;AAAA;AAAA;AAAA;AAAA;AAAA,EAKA,aAAa,QAAQ;AACnB,WAAO,8BAA8B,MAAM;AAAA,EAC7C;AACF;AAEF,IAAO,kBAAQ;","names":["verifySqlSchema","verifySqlSchema"]}
+{"version":3,"sources":["../../src/core/migrations/planner.ts","../../src/core/migrations/runner.ts","../../src/core/migrations/statement-builders.ts","../../src/exports/control.ts"],"sourcesContent":["import type { SchemaIssue } from '@prisma-next/core-control-plane/types';\nimport type {\n  MigrationOperationPolicy,\n  SqlMigrationPlanner,\n  SqlMigrationPlannerPlanOptions,\n  SqlMigrationPlanOperation,\n  SqlPlannerConflict,\n} from '@prisma-next/family-sql/control';\nimport {\n  createMigrationPlan,\n  plannerFailure,\n  plannerSuccess,\n} from '@prisma-next/family-sql/control';\nimport {\n  arraysEqual,\n  isIndexSatisfied,\n  isUniqueConstraintSatisfied,\n  verifySqlSchema,\n} from '@prisma-next/family-sql/schema-verify';\nimport type {\n  ForeignKey,\n  SqlContract,\n  SqlStorage,\n  StorageColumn,\n  StorageTable,\n} from '@prisma-next/sql-contract/types';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\n\ntype OperationClass = 'extension' | 'table' | 'unique' | 'index' | 'foreignKey';\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\ntype PlannerDatabaseDependency = {\n  readonly id: string;\n  readonly label: string;\n  readonly install: readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[];\n  readonly verifyDatabaseDependencyInstalled: (schema: SqlSchemaIR) => readonly SchemaIssue[];\n};\n\nexport interface PostgresPlanTargetDetails {\n  readonly schema: string;\n  readonly objectType: OperationClass;\n  readonly name: string;\n  readonly table?: string;\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): SqlMigrationPlanner<PostgresPlanTargetDetails> {\n  return new PostgresMigrationPlanner({\n    ...DEFAULT_PLANNER_CONFIG,\n    ...config,\n  });\n}\n\nclass PostgresMigrationPlanner implements SqlMigrationPlanner<PostgresPlanTargetDetails> {\n  constructor(private readonly config: PlannerConfig) {}\n\n  plan(options: SqlMigrationPlannerPlanOptions) {\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 classification = this.classifySchema(options);\n    if (classification.kind === 'conflict') {\n      return plannerFailure(classification.conflicts);\n    }\n\n    const operations: SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] = [];\n\n    // Build extension operations from component-owned database dependencies\n    operations.push(\n      ...this.buildDatabaseDependencyOperations(options),\n      ...this.buildTableOperations(options.contract.storage.tables, options.schema, schemaName),\n      ...this.buildColumnOperations(options.contract.storage.tables, options.schema, schemaName),\n      ...this.buildPrimaryKeyOperations(\n        options.contract.storage.tables,\n        options.schema,\n        schemaName,\n      ),\n      ...this.buildUniqueOperations(options.contract.storage.tables, options.schema, schemaName),\n      ...this.buildIndexOperations(options.contract.storage.tables, options.schema, schemaName),\n      ...this.buildForeignKeyOperations(\n        options.contract.storage.tables,\n        options.schema,\n        schemaName,\n      ),\n    );\n\n    const plan = createMigrationPlan<PostgresPlanTargetDetails>({\n      targetId: 'postgres',\n      origin: null,\n      destination: {\n        coreHash: options.contract.coreHash,\n        ...(options.contract.profileHash ? { profileHash: options.contract.profileHash } : {}),\n      },\n      operations,\n    });\n\n    return plannerSuccess(plan);\n  }\n\n  private ensureAdditivePolicy(policy: MigrationOperationPolicy) {\n    if (!policy.allowedOperationClasses.includes('additive')) {\n      return plannerFailure([\n        {\n          kind: 'unsupportedOperation',\n          summary: 'Init planner requires additive operations be allowed',\n          why: 'The init planner only emits additive operations. Update the policy to include \"additive\".',\n        },\n      ]);\n    }\n    return null;\n  }\n\n  /**\n   * Builds migration operations from component-owned database dependencies.\n   * These operations install database-side persistence structures declared by components.\n   */\n  private buildDatabaseDependencyOperations(\n    options: PlannerOptionsWithComponents,\n  ): readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] {\n    const dependencies = this.collectDependencies(options);\n    const operations: SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] = [];\n    const seenDependencyIds = new Set<string>();\n    const seenOperationIds = new Set<string>();\n\n    for (const dependency of dependencies) {\n      if (seenDependencyIds.has(dependency.id)) {\n        continue;\n      }\n      seenDependencyIds.add(dependency.id);\n\n      const issues = dependency.verifyDatabaseDependencyInstalled(options.schema);\n      if (issues.length === 0) {\n        continue;\n      }\n\n      for (const installOp of dependency.install) {\n        if (seenOperationIds.has(installOp.id)) {\n          continue;\n        }\n        seenOperationIds.add(installOp.id);\n        // SQL family components are expected to provide compatible target details. This would be better if\n        // the type system could enforce it but it's not likely to occur in practice.\n        operations.push(installOp as SqlMigrationPlanOperation<PostgresPlanTargetDetails>);\n      }\n    }\n\n    return operations;\n  }\n  private collectDependencies(\n    options: PlannerOptionsWithComponents,\n  ): ReadonlyArray<PlannerDatabaseDependency> {\n    const components = options.frameworkComponents;\n    if (components.length === 0) {\n      return [];\n    }\n    const deps: PlannerDatabaseDependency[] = [];\n    for (const component of components) {\n      if (!isSqlDependencyProvider(component)) {\n        continue;\n      }\n      const initDeps = component.databaseDependencies?.init;\n      if (initDeps && initDeps.length > 0) {\n        deps.push(...initDeps);\n      }\n    }\n    return sortDependencies(deps);\n  }\n\n  private buildTableOperations(\n    tables: SqlContract<SqlStorage>['storage']['tables'],\n    schema: SqlSchemaIR,\n    schemaName: string,\n  ): readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] {\n    const operations: SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] = [];\n    for (const [tableName, table] of sortedEntries(tables)) {\n      if (schema.tables[tableName]) {\n        continue;\n      }\n      const qualified = qualifyTableName(schemaName, tableName);\n      operations.push({\n        id: `table.${tableName}`,\n        label: `Create table ${tableName}`,\n        summary: `Creates table ${tableName} with required columns`,\n        operationClass: 'additive',\n        target: {\n          id: 'postgres',\n          details: this.buildTargetDetails('table', tableName, schemaName),\n        },\n        precheck: [\n          {\n            description: `ensure table \"${tableName}\" does not exist`,\n            sql: `SELECT to_regclass(${toRegclassLiteral(schemaName, tableName)}) IS NULL`,\n          },\n        ],\n        execute: [\n          {\n            description: `create table \"${tableName}\"`,\n            sql: buildCreateTableSql(qualified, table),\n          },\n        ],\n        postcheck: [\n          {\n            description: `verify table \"${tableName}\" exists`,\n            sql: `SELECT to_regclass(${toRegclassLiteral(schemaName, tableName)}) IS NOT NULL`,\n          },\n        ],\n      });\n    }\n    return operations;\n  }\n\n  private buildColumnOperations(\n    tables: SqlContract<SqlStorage>['storage']['tables'],\n    schema: SqlSchemaIR,\n    schemaName: string,\n  ): readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] {\n    const operations: SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] = [];\n    for (const [tableName, table] of sortedEntries(tables)) {\n      const schemaTable = schema.tables[tableName];\n      if (!schemaTable) {\n        continue;\n      }\n      for (const [columnName, column] of sortedEntries(table.columns)) {\n        if (schemaTable.columns[columnName]) {\n          continue;\n        }\n        operations.push(this.buildAddColumnOperation(schemaName, tableName, columnName, column));\n      }\n    }\n    return operations;\n  }\n\n  private buildAddColumnOperation(\n    schema: string,\n    tableName: string,\n    columnName: string,\n    column: StorageColumn,\n  ): SqlMigrationPlanOperation<PostgresPlanTargetDetails> {\n    const qualified = qualifyTableName(schema, tableName);\n    const notNull = column.nullable === false;\n    const precheck = [\n      {\n        description: `ensure column \"${columnName}\" is missing`,\n        sql: columnExistsCheck({ schema, table: tableName, column: columnName, exists: false }),\n      },\n      ...(notNull\n        ? [\n            {\n              description: `ensure table \"${tableName}\" is empty before adding NOT NULL column`,\n              sql: tableIsEmptyCheck(qualified),\n            },\n          ]\n        : []),\n    ];\n    const execute = [\n      {\n        description: `add column \"${columnName}\"`,\n        sql: buildAddColumnSql(qualified, columnName, column),\n      },\n    ];\n    const postcheck = [\n      {\n        description: `verify column \"${columnName}\" exists`,\n        sql: columnExistsCheck({ schema, table: tableName, column: columnName }),\n      },\n      ...(notNull\n        ? [\n            {\n              description: `verify column \"${columnName}\" is NOT NULL`,\n              sql: columnIsNotNullCheck({ schema, table: tableName, column: columnName }),\n            },\n          ]\n        : []),\n    ];\n\n    return {\n      id: `column.${tableName}.${columnName}`,\n      label: `Add column ${columnName} to ${tableName}`,\n      summary: `Adds column ${columnName} to table ${tableName}`,\n      operationClass: 'additive',\n      target: {\n        id: 'postgres',\n        details: this.buildTargetDetails('table', tableName, schema),\n      },\n      precheck,\n      execute,\n      postcheck,\n    };\n  }\n\n  private buildPrimaryKeyOperations(\n    tables: SqlContract<SqlStorage>['storage']['tables'],\n    schema: SqlSchemaIR,\n    schemaName: string,\n  ): readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] {\n    const operations: SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] = [];\n    for (const [tableName, table] of sortedEntries(tables)) {\n      if (!table.primaryKey) {\n        continue;\n      }\n      const schemaTable = schema.tables[tableName];\n      if (!schemaTable || schemaTable.primaryKey) {\n        continue;\n      }\n      const constraintName = table.primaryKey.name ?? `${tableName}_pkey`;\n      operations.push({\n        id: `primaryKey.${tableName}.${constraintName}`,\n        label: `Add primary key ${constraintName} on ${tableName}`,\n        summary: `Adds primary key ${constraintName} on ${tableName}`,\n        operationClass: 'additive',\n        target: {\n          id: 'postgres',\n          details: this.buildTargetDetails('table', tableName, schemaName),\n        },\n        precheck: [\n          {\n            description: `ensure primary key does not exist on \"${tableName}\"`,\n            sql: tableHasPrimaryKeyCheck(schemaName, tableName, false),\n          },\n        ],\n        execute: [\n          {\n            description: `add primary key \"${constraintName}\"`,\n            sql: `ALTER TABLE ${qualifyTableName(schemaName, tableName)}\nADD CONSTRAINT ${quoteIdentifier(constraintName)}\nPRIMARY KEY (${table.primaryKey.columns.map(quoteIdentifier).join(', ')})`,\n          },\n        ],\n        postcheck: [\n          {\n            description: `verify primary key \"${constraintName}\" exists`,\n            sql: tableHasPrimaryKeyCheck(schemaName, tableName, true, constraintName),\n          },\n        ],\n      });\n    }\n    return operations;\n  }\n\n  private buildUniqueOperations(\n    tables: SqlContract<SqlStorage>['storage']['tables'],\n    schema: SqlSchemaIR,\n    schemaName: string,\n  ): readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] {\n    const operations: SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] = [];\n    for (const [tableName, table] of sortedEntries(tables)) {\n      const schemaTable = schema.tables[tableName];\n      for (const unique of table.uniques) {\n        if (schemaTable && hasUniqueConstraint(schemaTable, unique.columns)) {\n          continue;\n        }\n        const constraintName = unique.name ?? `${tableName}_${unique.columns.join('_')}_key`;\n        operations.push({\n          id: `unique.${tableName}.${constraintName}`,\n          label: `Add unique constraint ${constraintName} on ${tableName}`,\n          summary: `Adds unique constraint ${constraintName} on ${tableName}`,\n          operationClass: 'additive',\n          target: {\n            id: 'postgres',\n            details: this.buildTargetDetails('unique', constraintName, schemaName, tableName),\n          },\n          precheck: [\n            {\n              description: `ensure unique constraint \"${constraintName}\" is missing`,\n              sql: constraintExistsCheck({ constraintName, schema: schemaName, exists: false }),\n            },\n          ],\n          execute: [\n            {\n              description: `add unique constraint \"${constraintName}\"`,\n              sql: `ALTER TABLE ${qualifyTableName(schemaName, tableName)}\nADD CONSTRAINT ${quoteIdentifier(constraintName)}\nUNIQUE (${unique.columns.map(quoteIdentifier).join(', ')})`,\n            },\n          ],\n          postcheck: [\n            {\n              description: `verify unique constraint \"${constraintName}\" exists`,\n              sql: constraintExistsCheck({ constraintName, schema: schemaName }),\n            },\n          ],\n        });\n      }\n    }\n    return operations;\n  }\n\n  private buildIndexOperations(\n    tables: SqlContract<SqlStorage>['storage']['tables'],\n    schema: SqlSchemaIR,\n    schemaName: string,\n  ): readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] {\n    const operations: SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] = [];\n    for (const [tableName, table] of sortedEntries(tables)) {\n      const schemaTable = schema.tables[tableName];\n      for (const index of table.indexes) {\n        if (schemaTable && hasIndex(schemaTable, index.columns)) {\n          continue;\n        }\n        const indexName = index.name ?? `${tableName}_${index.columns.join('_')}_idx`;\n        operations.push({\n          id: `index.${tableName}.${indexName}`,\n          label: `Create index ${indexName} on ${tableName}`,\n          summary: `Creates index ${indexName} on ${tableName}`,\n          operationClass: 'additive',\n          target: {\n            id: 'postgres',\n            details: this.buildTargetDetails('index', indexName, schemaName, tableName),\n          },\n          precheck: [\n            {\n              description: `ensure index \"${indexName}\" is missing`,\n              sql: `SELECT to_regclass(${toRegclassLiteral(schemaName, indexName)}) IS NULL`,\n            },\n          ],\n          execute: [\n            {\n              description: `create index \"${indexName}\"`,\n              sql: `CREATE INDEX ${quoteIdentifier(indexName)} ON ${qualifyTableName(\n                schemaName,\n                tableName,\n              )} (${index.columns.map(quoteIdentifier).join(', ')})`,\n            },\n          ],\n          postcheck: [\n            {\n              description: `verify index \"${indexName}\" exists`,\n              sql: `SELECT to_regclass(${toRegclassLiteral(schemaName, indexName)}) IS NOT NULL`,\n            },\n          ],\n        });\n      }\n    }\n    return operations;\n  }\n\n  private buildForeignKeyOperations(\n    tables: SqlContract<SqlStorage>['storage']['tables'],\n    schema: SqlSchemaIR,\n    schemaName: string,\n  ): readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] {\n    const operations: SqlMigrationPlanOperation<PostgresPlanTargetDetails>[] = [];\n    for (const [tableName, table] of sortedEntries(tables)) {\n      const schemaTable = schema.tables[tableName];\n      for (const foreignKey of table.foreignKeys) {\n        if (schemaTable && hasForeignKey(schemaTable, foreignKey)) {\n          continue;\n        }\n        const fkName = foreignKey.name ?? `${tableName}_${foreignKey.columns.join('_')}_fkey`;\n        operations.push({\n          id: `foreignKey.${tableName}.${fkName}`,\n          label: `Add foreign key ${fkName} on ${tableName}`,\n          summary: `Adds foreign key ${fkName} referencing ${foreignKey.references.table}`,\n          operationClass: 'additive',\n          target: {\n            id: 'postgres',\n            details: this.buildTargetDetails('foreignKey', fkName, schemaName, tableName),\n          },\n          precheck: [\n            {\n              description: `ensure foreign key \"${fkName}\" is missing`,\n              sql: constraintExistsCheck({\n                constraintName: fkName,\n                schema: schemaName,\n                exists: false,\n              }),\n            },\n          ],\n          execute: [\n            {\n              description: `add foreign key \"${fkName}\"`,\n              sql: `ALTER TABLE ${qualifyTableName(schemaName, tableName)}\nADD CONSTRAINT ${quoteIdentifier(fkName)}\nFOREIGN KEY (${foreignKey.columns.map(quoteIdentifier).join(', ')})\nREFERENCES ${qualifyTableName(schemaName, foreignKey.references.table)} (${foreignKey.references.columns\n                .map(quoteIdentifier)\n                .join(', ')})`,\n            },\n          ],\n          postcheck: [\n            {\n              description: `verify foreign key \"${fkName}\" exists`,\n              sql: constraintExistsCheck({ constraintName: fkName, schema: schemaName }),\n            },\n          ],\n        });\n      }\n    }\n    return operations;\n  }\n\n  private buildTargetDetails(\n    objectType: OperationClass,\n    name: string,\n    schema: string,\n    table?: string,\n  ): PostgresPlanTargetDetails {\n    return {\n      schema,\n      objectType,\n      name,\n      ...(table ? { table } : {}),\n    };\n  }\n\n  private classifySchema(options: PlannerOptionsWithComponents):\n    | { kind: 'ok' }\n    | {\n        kind: 'conflict';\n        conflicts: SqlPlannerConflict[];\n      } {\n    const verifyOptions: VerifySqlSchemaOptionsWithComponents = {\n      contract: options.contract,\n      schema: options.schema,\n      strict: false,\n      typeMetadataRegistry: new Map(),\n      frameworkComponents: options.frameworkComponents,\n    };\n    const verifyResult = verifySqlSchema(verifyOptions);\n\n    const conflicts = this.extractConflicts(verifyResult.schema.issues);\n    if (conflicts.length > 0) {\n      return { kind: 'conflict', conflicts };\n    }\n    return { kind: 'ok' };\n  }\n\n  private extractConflicts(issues: readonly SchemaIssue[]): SqlPlannerConflict[] {\n    const conflicts: SqlPlannerConflict[] = [];\n    for (const issue of issues) {\n      if (isAdditiveIssue(issue)) {\n        continue;\n      }\n      const conflict = this.convertIssueToConflict(issue);\n      if (conflict) {\n        conflicts.push(conflict);\n      }\n    }\n    return conflicts.sort(conflictComparator);\n  }\n\n  private convertIssueToConflict(issue: SchemaIssue): SqlPlannerConflict | null {\n    switch (issue.kind) {\n      case 'type_mismatch':\n        return this.buildConflict('typeMismatch', issue);\n      case 'nullability_mismatch':\n        return this.buildConflict('nullabilityConflict', issue);\n      case 'primary_key_mismatch':\n        return this.buildConflict('indexIncompatible', issue);\n      case 'unique_constraint_mismatch':\n        return this.buildConflict('indexIncompatible', issue);\n      case 'index_mismatch':\n        return this.buildConflict('indexIncompatible', issue);\n      case 'foreign_key_mismatch':\n        return this.buildConflict('foreignKeyConflict', issue);\n      default:\n        return null;\n    }\n  }\n\n  private buildConflict(kind: SqlPlannerConflict['kind'], issue: SchemaIssue): SqlPlannerConflict {\n    const location = buildConflictLocation(issue);\n    const meta =\n      issue.expected || issue.actual\n        ? Object.freeze({\n            ...(issue.expected ? { expected: issue.expected } : {}),\n            ...(issue.actual ? { actual: issue.actual } : {}),\n          })\n        : undefined;\n\n    return {\n      kind,\n      summary: issue.message,\n      ...(location ? { location } : {}),\n      ...(meta ? { meta } : {}),\n    };\n  }\n}\n\nfunction isSqlDependencyProvider(component: unknown): component is {\n  readonly databaseDependencies?: {\n    readonly init?: readonly PlannerDatabaseDependency[];\n  };\n} {\n  if (typeof component !== 'object' || component === null) {\n    return false;\n  }\n  const record = component as Record<string, unknown>;\n\n  // If present, enforce familyId match to avoid mixing families at runtime.\n  if (Object.hasOwn(record, 'familyId') && record['familyId'] !== 'sql') {\n    return false;\n  }\n\n  if (!Object.hasOwn(record, 'databaseDependencies')) {\n    return false;\n  }\n  const deps = record['databaseDependencies'];\n  return deps === undefined || (typeof deps === 'object' && deps !== null);\n}\n\nfunction sortDependencies(\n  dependencies: ReadonlyArray<PlannerDatabaseDependency>,\n): ReadonlyArray<PlannerDatabaseDependency> {\n  if (dependencies.length <= 1) {\n    return dependencies;\n  }\n  return [...dependencies].sort((a, b) => a.id.localeCompare(b.id));\n}\n\nfunction buildCreateTableSql(qualifiedTableName: string, table: StorageTable): string {\n  const columnDefinitions = Object.entries(table.columns).map(\n    ([columnName, column]: [string, StorageColumn]) => {\n      const parts = [\n        quoteIdentifier(columnName),\n        column.nativeType,\n        column.nullable ? '' : 'NOT NULL',\n      ].filter(Boolean);\n      return parts.join(' ');\n    },\n  );\n\n  const constraintDefinitions: string[] = [];\n  if (table.primaryKey) {\n    constraintDefinitions.push(\n      `PRIMARY KEY (${table.primaryKey.columns.map(quoteIdentifier).join(', ')})`,\n    );\n  }\n\n  const allDefinitions = [...columnDefinitions, ...constraintDefinitions];\n  return `CREATE TABLE ${qualifiedTableName} (\\n  ${allDefinitions.join(',\\n  ')}\\n)`;\n}\n\nfunction qualifyTableName(schema: string, table: string): string {\n  return `${quoteIdentifier(schema)}.${quoteIdentifier(table)}`;\n}\n\nfunction toRegclassLiteral(schema: string, name: string): string {\n  const regclass = `${quoteIdentifier(schema)}.${quoteIdentifier(name)}`;\n  return `'${escapeLiteral(regclass)}'`;\n}\n\n/** Escapes and quotes a SQL identifier (table, column, schema name). */\nfunction quoteIdentifier(identifier: string): string {\n  // TypeScript enforces string type - no runtime check needed for internal callers\n  return `\"${identifier.replace(/\"/g, '\"\"')}\"`;\n}\n\nfunction escapeLiteral(value: string): string {\n  return value.replace(/'/g, \"''\");\n}\n\nfunction sortedEntries<V>(record: Readonly<Record<string, V>>): Array<[string, V]> {\n  return Object.entries(record).sort(([a], [b]) => a.localeCompare(b)) as Array<[string, V]>;\n}\n\nfunction constraintExistsCheck({\n  constraintName,\n  schema,\n  exists = true,\n}: {\n  constraintName: string;\n  schema: string;\n  exists?: boolean;\n}): string {\n  const existsClause = exists ? 'EXISTS' : 'NOT EXISTS';\n  return `SELECT ${existsClause} (\n  SELECT 1 FROM pg_constraint c\n  JOIN pg_namespace n ON c.connamespace = n.oid\n  WHERE c.conname = '${escapeLiteral(constraintName)}'\n  AND n.nspname = '${escapeLiteral(schema)}'\n)`;\n}\n\nfunction columnExistsCheck({\n  schema,\n  table,\n  column,\n  exists = true,\n}: {\n  schema: string;\n  table: string;\n  column: string;\n  exists?: boolean;\n}): string {\n  const existsClause = exists ? '' : 'NOT ';\n  return `SELECT ${existsClause}EXISTS (\n  SELECT 1\n  FROM information_schema.columns\n  WHERE table_schema = '${escapeLiteral(schema)}'\n    AND table_name = '${escapeLiteral(table)}'\n    AND column_name = '${escapeLiteral(column)}'\n)`;\n}\n\nfunction columnIsNotNullCheck({\n  schema,\n  table,\n  column,\n}: {\n  schema: string;\n  table: string;\n  column: string;\n}): string {\n  return `SELECT EXISTS (\n  SELECT 1\n  FROM information_schema.columns\n  WHERE table_schema = '${escapeLiteral(schema)}'\n    AND table_name = '${escapeLiteral(table)}'\n    AND column_name = '${escapeLiteral(column)}'\n    AND is_nullable = 'NO'\n)`;\n}\n\nfunction tableIsEmptyCheck(qualifiedTableName: string): string {\n  return `SELECT NOT EXISTS (SELECT 1 FROM ${qualifiedTableName} LIMIT 1)`;\n}\n\nfunction buildAddColumnSql(\n  qualifiedTableName: string,\n  columnName: string,\n  column: StorageColumn,\n): string {\n  const parts = [\n    `ALTER TABLE ${qualifiedTableName}`,\n    `ADD COLUMN ${quoteIdentifier(columnName)} ${column.nativeType}`,\n    column.nullable ? '' : 'NOT NULL',\n  ].filter(Boolean);\n  return parts.join(' ');\n}\n\nfunction tableHasPrimaryKeyCheck(\n  schema: string,\n  table: string,\n  exists: boolean,\n  constraintName?: string,\n): string {\n  const comparison = exists ? '' : 'NOT ';\n  const constraintFilter = constraintName\n    ? `AND c2.relname = '${escapeLiteral(constraintName)}'`\n    : '';\n  return `SELECT ${comparison}EXISTS (\n  SELECT 1\n  FROM pg_index i\n  JOIN pg_class c ON c.oid = i.indrelid\n  JOIN pg_namespace n ON n.oid = c.relnamespace\n  LEFT JOIN pg_class c2 ON c2.oid = i.indexrelid\n  WHERE n.nspname = '${escapeLiteral(schema)}'\n    AND c.relname = '${escapeLiteral(table)}'\n    AND i.indisprimary\n    ${constraintFilter}\n)`;\n}\n\n/**\n * Checks if table has a unique constraint satisfied by the given columns.\n * Uses shared semantic satisfaction predicate from verify-helpers.\n */\nfunction hasUniqueConstraint(\n  table: SqlSchemaIR['tables'][string],\n  columns: readonly string[],\n): boolean {\n  return isUniqueConstraintSatisfied(table.uniques, table.indexes, columns);\n}\n\n/**\n * Checks if table has an index satisfied by the given columns.\n * Uses shared semantic satisfaction predicate from verify-helpers.\n */\nfunction hasIndex(table: SqlSchemaIR['tables'][string], columns: readonly string[]): boolean {\n  return isIndexSatisfied(table.indexes, table.uniques, columns);\n}\n\nfunction hasForeignKey(table: SqlSchemaIR['tables'][string], fk: ForeignKey): boolean {\n  return table.foreignKeys.some(\n    (candidate) =>\n      arraysEqual(candidate.columns, fk.columns) &&\n      candidate.referencedTable === fk.references.table &&\n      arraysEqual(candidate.referencedColumns, fk.references.columns),\n  );\n}\n\nfunction isAdditiveIssue(issue: SchemaIssue): boolean {\n  switch (issue.kind) {\n    case 'missing_table':\n    case 'missing_column':\n    case 'extension_missing':\n      return true;\n    case 'primary_key_mismatch':\n      return issue.actual === undefined;\n    case 'unique_constraint_mismatch':\n    case 'index_mismatch':\n    case 'foreign_key_mismatch':\n      return issue.indexOrConstraint === undefined;\n    default:\n      return false;\n  }\n}\n\nfunction buildConflictLocation(issue: SchemaIssue) {\n  const location: {\n    table?: string;\n    column?: string;\n    constraint?: string;\n  } = {};\n  if (issue.table) {\n    location.table = issue.table;\n  }\n  if (issue.column) {\n    location.column = issue.column;\n  }\n  if (issue.indexOrConstraint) {\n    location.constraint = issue.indexOrConstraint;\n  }\n  return Object.keys(location).length > 0 ? location : undefined;\n}\n\nfunction conflictComparator(a: SqlPlannerConflict, b: SqlPlannerConflict): number {\n  if (a.kind !== b.kind) {\n    return a.kind < b.kind ? -1 : 1;\n  }\n  const aLocation = a.location ?? {};\n  const bLocation = b.location ?? {};\n  const tableCompare = compareStrings(aLocation.table, bLocation.table);\n  if (tableCompare !== 0) {\n    return tableCompare;\n  }\n  const columnCompare = compareStrings(aLocation.column, bLocation.column);\n  if (columnCompare !== 0) {\n    return columnCompare;\n  }\n  const constraintCompare = compareStrings(aLocation.constraint, bLocation.constraint);\n  if (constraintCompare !== 0) {\n    return constraintCompare;\n  }\n  return compareStrings(a.summary, b.summary);\n}\n\nfunction compareStrings(a?: string, b?: string): number {\n  if (a === b) {\n    return 0;\n  }\n  if (a === undefined) {\n    return -1;\n  }\n  if (b === undefined) {\n    return 1;\n  }\n  return a < b ? -1 : 1;\n}\n","import type { ContractMarkerRecord } from '@prisma-next/contract/types';\nimport type {\n  MigrationOperationPolicy,\n  SqlControlFamilyInstance,\n  SqlMigrationPlanContractInfo,\n  SqlMigrationPlanOperation,\n  SqlMigrationPlanOperationStep,\n  SqlMigrationRunner,\n  SqlMigrationRunnerExecuteOptions,\n  SqlMigrationRunnerFailure,\n  SqlMigrationRunnerResult,\n} from '@prisma-next/family-sql/control';\nimport { runnerFailure, runnerSuccess } from '@prisma-next/family-sql/control';\nimport { verifySqlSchema } from '@prisma-next/family-sql/schema-verify';\nimport { readMarker } from '@prisma-next/family-sql/verify';\nimport { SqlQueryError } from '@prisma-next/sql-errors';\nimport type { Result } from '@prisma-next/utils/result';\nimport { ok, okVoid } from '@prisma-next/utils/result';\nimport type { PostgresPlanTargetDetails } from './planner';\nimport {\n  buildLedgerInsertStatement,\n  buildWriteMarkerStatements,\n  ensureLedgerTableStatement,\n  ensureMarkerTableStatement,\n  ensurePrismaContractSchemaStatement,\n  type SqlStatement,\n} from './statement-builders';\n\ninterface RunnerConfig {\n  readonly defaultSchema: string;\n}\n\ninterface ApplyPlanSuccessValue {\n  readonly operationsExecuted: number;\n  readonly executedOperations: readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[];\n}\n\nconst DEFAULT_CONFIG: RunnerConfig = {\n  defaultSchema: 'public',\n};\n\nconst LOCK_DOMAIN = 'prisma_next.contract.marker';\n\n/**\n * Deep clones and freezes a record object to prevent mutation.\n * Recursively clones nested objects and arrays to ensure complete isolation.\n */\nfunction cloneAndFreezeRecord<T extends Record<string, unknown>>(value: T): T {\n  const cloned: Record<string, unknown> = {};\n  for (const [key, val] of Object.entries(value)) {\n    if (val === null || val === undefined) {\n      cloned[key] = val;\n    } else if (Array.isArray(val)) {\n      // Clone array (shallow clone of array elements)\n      cloned[key] = Object.freeze([...val]);\n    } else if (typeof val === 'object') {\n      // Recursively clone nested objects\n      cloned[key] = cloneAndFreezeRecord(val as Record<string, unknown>);\n    } else {\n      // Primitives are copied as-is\n      cloned[key] = val;\n    }\n  }\n  return Object.freeze(cloned) as T;\n}\n\nexport function createPostgresMigrationRunner(\n  family: SqlControlFamilyInstance,\n  config: Partial<RunnerConfig> = {},\n): SqlMigrationRunner<PostgresPlanTargetDetails> {\n  return new PostgresMigrationRunner(family, { ...DEFAULT_CONFIG, ...config });\n}\n\nclass PostgresMigrationRunner implements SqlMigrationRunner<PostgresPlanTargetDetails> {\n  constructor(\n    private readonly family: SqlControlFamilyInstance,\n    private readonly config: RunnerConfig,\n  ) {}\n\n  async execute(\n    options: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>,\n  ): Promise<SqlMigrationRunnerResult> {\n    const schema = options.schemaName ?? this.config.defaultSchema;\n    const driver = options.driver;\n    const lockKey = `${LOCK_DOMAIN}:${schema}`;\n\n    // Static checks - fail fast before transaction\n    const destinationCheck = this.ensurePlanMatchesDestinationContract(\n      options.plan.destination,\n      options.destinationContract,\n    );\n    if (!destinationCheck.ok) {\n      return destinationCheck;\n    }\n\n    const policyCheck = this.enforcePolicyCompatibility(options.policy, options.plan.operations);\n    if (!policyCheck.ok) {\n      return policyCheck;\n    }\n\n    // Begin transaction for DB operations\n    await this.beginTransaction(driver);\n    let committed = false;\n    try {\n      await this.acquireLock(driver, lockKey);\n      await this.ensureControlTables(driver);\n      const existingMarker = await readMarker(driver);\n\n      // Validate plan origin matches existing marker (needs marker from DB)\n      const markerCheck = this.ensureMarkerCompatibility(existingMarker, options.plan);\n      if (!markerCheck.ok) {\n        return markerCheck;\n      }\n\n      // Apply plan operations or skip if marker already at destination\n      const markerAtDestination = this.markerMatchesDestination(existingMarker, options.plan);\n      let applyValue: ApplyPlanSuccessValue;\n\n      if (markerAtDestination) {\n        applyValue = { operationsExecuted: 0, executedOperations: [] };\n      } else {\n        const applyResult = await this.applyPlan(driver, options);\n        if (!applyResult.ok) {\n          return applyResult;\n        }\n        applyValue = applyResult.value;\n      }\n\n      // Verify resulting schema matches contract\n      // Step 1: Introspect live schema (DB I/O, family-owned)\n      const schemaIR = await this.family.introspect({\n        driver,\n        contractIR: options.destinationContract,\n      });\n\n      // Step 2: Pure verification (no DB I/O)\n      const schemaVerifyResult = verifySqlSchema({\n        contract: options.destinationContract,\n        schema: schemaIR,\n        strict: options.strictVerification ?? true,\n        context: options.context ?? {},\n        typeMetadataRegistry: this.family.typeMetadataRegistry,\n        frameworkComponents: options.frameworkComponents,\n      });\n      if (!schemaVerifyResult.ok) {\n        return runnerFailure('SCHEMA_VERIFY_FAILED', schemaVerifyResult.summary, {\n          why: 'The resulting database schema does not satisfy the destination contract.',\n          meta: {\n            issues: schemaVerifyResult.schema.issues,\n          },\n        });\n      }\n\n      // Record marker and ledger entries\n      await this.upsertMarker(driver, options, existingMarker);\n      await this.recordLedgerEntry(driver, options, existingMarker, applyValue.executedOperations);\n\n      await this.commitTransaction(driver);\n      committed = true;\n      return runnerSuccess({\n        operationsPlanned: options.plan.operations.length,\n        operationsExecuted: applyValue.operationsExecuted,\n      });\n    } finally {\n      if (!committed) {\n        await this.rollbackTransaction(driver);\n      }\n    }\n  }\n\n  private async applyPlan(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    options: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>,\n  ): Promise<Result<ApplyPlanSuccessValue, SqlMigrationRunnerFailure>> {\n    const checks = options.executionChecks;\n    const runPrechecks = checks?.prechecks !== false; // Default true\n    const runPostchecks = checks?.postchecks !== false; // Default true\n    const runIdempotency = checks?.idempotencyChecks !== false; // Default true\n\n    let operationsExecuted = 0;\n    const executedOperations: Array<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> = [];\n    for (const operation of options.plan.operations) {\n      options.callbacks?.onOperationStart?.(operation);\n      try {\n        // Idempotency probe: only run if both postchecks and idempotency checks are enabled\n        if (runPostchecks && runIdempotency) {\n          const postcheckAlreadySatisfied = await this.expectationsAreSatisfied(\n            driver,\n            operation.postcheck,\n          );\n          if (postcheckAlreadySatisfied) {\n            executedOperations.push(this.createPostcheckPreSatisfiedSkipRecord(operation));\n            continue;\n          }\n        }\n\n        // Prechecks: only run if enabled\n        if (runPrechecks) {\n          const precheckResult = await this.runExpectationSteps(\n            driver,\n            operation.precheck,\n            operation,\n            'precheck',\n          );\n          if (!precheckResult.ok) {\n            return precheckResult;\n          }\n        }\n\n        const executeResult = await this.runExecuteSteps(driver, operation.execute, operation);\n        if (!executeResult.ok) {\n          return executeResult;\n        }\n\n        // Postchecks: only run if enabled\n        if (runPostchecks) {\n          const postcheckResult = await this.runExpectationSteps(\n            driver,\n            operation.postcheck,\n            operation,\n            'postcheck',\n          );\n          if (!postcheckResult.ok) {\n            return postcheckResult;\n          }\n        }\n\n        executedOperations.push(operation);\n        operationsExecuted += 1;\n      } finally {\n        options.callbacks?.onOperationComplete?.(operation);\n      }\n    }\n    return ok({ operationsExecuted, executedOperations });\n  }\n\n  private async ensureControlTables(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n  ): Promise<void> {\n    await this.executeStatement(driver, ensurePrismaContractSchemaStatement);\n    await this.executeStatement(driver, ensureMarkerTableStatement);\n    await this.executeStatement(driver, ensureLedgerTableStatement);\n  }\n\n  private async runExpectationSteps(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    steps: readonly SqlMigrationPlanOperationStep[],\n    operation: SqlMigrationPlanOperation<PostgresPlanTargetDetails>,\n    phase: 'precheck' | 'postcheck',\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    for (const step of steps) {\n      const result = await driver.query(step.sql);\n      if (!this.stepResultIsTrue(result.rows)) {\n        const code = phase === 'precheck' ? 'PRECHECK_FAILED' : 'POSTCHECK_FAILED';\n        return runnerFailure(\n          code,\n          `Operation ${operation.id} failed during ${phase}: ${step.description}`,\n          {\n            meta: {\n              operationId: operation.id,\n              phase,\n              stepDescription: step.description,\n            },\n          },\n        );\n      }\n    }\n    return okVoid();\n  }\n\n  private async runExecuteSteps(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    steps: readonly SqlMigrationPlanOperationStep[],\n    operation: SqlMigrationPlanOperation<PostgresPlanTargetDetails>,\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    for (const step of steps) {\n      try {\n        await driver.query(step.sql);\n      } catch (error: unknown) {\n        // Catch SqlQueryError and include normalized metadata\n        if (SqlQueryError.is(error)) {\n          return runnerFailure(\n            'EXECUTION_FAILED',\n            `Operation ${operation.id} failed during execution: ${step.description}`,\n            {\n              why: error.message,\n              meta: {\n                operationId: operation.id,\n                stepDescription: step.description,\n                sql: step.sql,\n                sqlState: error.sqlState,\n                constraint: error.constraint,\n                table: error.table,\n                column: error.column,\n                detail: error.detail,\n              },\n            },\n          );\n        }\n        // Let SqlConnectionError and other errors propagate (fail-fast)\n        throw error;\n      }\n    }\n    return okVoid();\n  }\n\n  private stepResultIsTrue(rows: readonly Record<string, unknown>[]): boolean {\n    if (!rows || rows.length === 0) {\n      return false;\n    }\n    const firstRow = rows[0];\n    const firstValue = firstRow ? Object.values(firstRow)[0] : undefined;\n    if (typeof firstValue === 'boolean') {\n      return firstValue;\n    }\n    if (typeof firstValue === 'number') {\n      return firstValue !== 0;\n    }\n    if (typeof firstValue === 'string') {\n      const lower = firstValue.toLowerCase();\n      // PostgreSQL boolean representations: 't'/'f', 'true'/'false', '1'/'0'\n      if (lower === 't' || lower === 'true' || lower === '1') {\n        return true;\n      }\n      if (lower === 'f' || lower === 'false' || lower === '0') {\n        return false;\n      }\n      // For other strings, non-empty is truthy (though this case shouldn't occur for boolean checks)\n      return firstValue.length > 0;\n    }\n    return Boolean(firstValue);\n  }\n\n  private async expectationsAreSatisfied(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    steps: readonly SqlMigrationPlanOperationStep[],\n  ): Promise<boolean> {\n    if (steps.length === 0) {\n      return false;\n    }\n    for (const step of steps) {\n      const result = await driver.query(step.sql);\n      if (!this.stepResultIsTrue(result.rows)) {\n        return false;\n      }\n    }\n    return true;\n  }\n\n  private createPostcheckPreSatisfiedSkipRecord(\n    operation: SqlMigrationPlanOperation<PostgresPlanTargetDetails>,\n  ): SqlMigrationPlanOperation<PostgresPlanTargetDetails> {\n    // Clone and freeze existing meta if present\n    const clonedMeta = operation.meta ? cloneAndFreezeRecord(operation.meta) : undefined;\n\n    // Create frozen runner metadata\n    const runnerMeta = Object.freeze({\n      skipped: true,\n      reason: 'postcheck_pre_satisfied',\n    });\n\n    // Merge and freeze the combined meta\n    const mergedMeta = Object.freeze({\n      ...(clonedMeta ?? {}),\n      runner: runnerMeta,\n    });\n\n    // Clone and freeze arrays to prevent mutation\n    const frozenPostcheck = Object.freeze([...operation.postcheck]);\n\n    return Object.freeze({\n      id: operation.id,\n      label: operation.label,\n      ...(operation.summary ? { summary: operation.summary } : {}),\n      operationClass: operation.operationClass,\n      target: operation.target, // Already frozen from plan creation\n      precheck: Object.freeze([]),\n      execute: Object.freeze([]),\n      postcheck: frozenPostcheck,\n      ...(operation.meta || mergedMeta ? { meta: mergedMeta } : {}),\n    });\n  }\n\n  private markerMatchesDestination(\n    marker: ContractMarkerRecord | null,\n    plan: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['plan'],\n  ): boolean {\n    if (!marker) {\n      return false;\n    }\n    if (marker.coreHash !== plan.destination.coreHash) {\n      return false;\n    }\n    if (plan.destination.profileHash && marker.profileHash !== plan.destination.profileHash) {\n      return false;\n    }\n    return true;\n  }\n\n  private enforcePolicyCompatibility(\n    policy: MigrationOperationPolicy,\n    operations: readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[],\n  ): Result<void, SqlMigrationRunnerFailure> {\n    const allowedClasses = new Set(policy.allowedOperationClasses);\n    for (const operation of operations) {\n      if (!allowedClasses.has(operation.operationClass)) {\n        return runnerFailure(\n          'POLICY_VIOLATION',\n          `Operation ${operation.id} has class \"${operation.operationClass}\" which is not allowed by policy.`,\n          {\n            why: `Policy only allows: ${policy.allowedOperationClasses.join(', ')}.`,\n            meta: {\n              operationId: operation.id,\n              operationClass: operation.operationClass,\n              allowedClasses: policy.allowedOperationClasses,\n            },\n          },\n        );\n      }\n    }\n    return okVoid();\n  }\n\n  private ensureMarkerCompatibility(\n    marker: ContractMarkerRecord | null,\n    plan: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['plan'],\n  ): Result<void, SqlMigrationRunnerFailure> {\n    const origin = plan.origin ?? null;\n    if (!origin) {\n      if (!marker) {\n        return okVoid();\n      }\n      if (this.markerMatchesDestination(marker, plan)) {\n        return okVoid();\n      }\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Existing contract marker (${marker.coreHash}) does not match plan origin (no marker expected).`,\n        {\n          meta: {\n            markerCoreHash: marker.coreHash,\n            expectedOrigin: null,\n          },\n        },\n      );\n    }\n\n    if (!marker) {\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Missing contract marker: expected origin core hash ${origin.coreHash}.`,\n        {\n          meta: {\n            expectedOriginCoreHash: origin.coreHash,\n          },\n        },\n      );\n    }\n    if (marker.coreHash !== origin.coreHash) {\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Existing contract marker (${marker.coreHash}) does not match plan origin (${origin.coreHash}).`,\n        {\n          meta: {\n            markerCoreHash: marker.coreHash,\n            expectedOriginCoreHash: origin.coreHash,\n          },\n        },\n      );\n    }\n    if (origin.profileHash && marker.profileHash !== origin.profileHash) {\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Existing contract marker profile hash (${marker.profileHash}) does not match plan origin profile hash (${origin.profileHash}).`,\n        {\n          meta: {\n            markerProfileHash: marker.profileHash,\n            expectedOriginProfileHash: origin.profileHash,\n          },\n        },\n      );\n    }\n    return okVoid();\n  }\n\n  private ensurePlanMatchesDestinationContract(\n    destination: SqlMigrationPlanContractInfo,\n    contract: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['destinationContract'],\n  ): Result<void, SqlMigrationRunnerFailure> {\n    if (destination.coreHash !== contract.coreHash) {\n      return runnerFailure(\n        'DESTINATION_CONTRACT_MISMATCH',\n        `Plan destination core hash (${destination.coreHash}) does not match provided contract core hash (${contract.coreHash}).`,\n        {\n          meta: {\n            planCoreHash: destination.coreHash,\n            contractCoreHash: contract.coreHash,\n          },\n        },\n      );\n    }\n    if (\n      destination.profileHash &&\n      contract.profileHash &&\n      destination.profileHash !== contract.profileHash\n    ) {\n      return runnerFailure(\n        'DESTINATION_CONTRACT_MISMATCH',\n        `Plan destination profile hash (${destination.profileHash}) does not match provided contract profile hash (${contract.profileHash}).`,\n        {\n          meta: {\n            planProfileHash: destination.profileHash,\n            contractProfileHash: contract.profileHash,\n          },\n        },\n      );\n    }\n    return okVoid();\n  }\n\n  private async upsertMarker(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    options: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>,\n    existingMarker: ContractMarkerRecord | null,\n  ): Promise<void> {\n    const writeStatements = buildWriteMarkerStatements({\n      coreHash: options.plan.destination.coreHash,\n      profileHash:\n        options.plan.destination.profileHash ??\n        options.destinationContract.profileHash ??\n        options.plan.destination.coreHash,\n      contractJson: options.destinationContract,\n      canonicalVersion: null,\n      meta: {},\n    });\n    const statement = existingMarker ? writeStatements.update : writeStatements.insert;\n    await this.executeStatement(driver, statement);\n  }\n\n  private async recordLedgerEntry(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    options: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>,\n    existingMarker: ContractMarkerRecord | null,\n    executedOperations: readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[],\n  ): Promise<void> {\n    const ledgerStatement = buildLedgerInsertStatement({\n      originCoreHash: existingMarker?.coreHash ?? null,\n      originProfileHash: existingMarker?.profileHash ?? null,\n      destinationCoreHash: options.plan.destination.coreHash,\n      destinationProfileHash:\n        options.plan.destination.profileHash ??\n        options.destinationContract.profileHash ??\n        options.plan.destination.coreHash,\n      contractJsonBefore: existingMarker?.contractJson ?? null,\n      contractJsonAfter: options.destinationContract,\n      operations: executedOperations,\n    });\n    await this.executeStatement(driver, ledgerStatement);\n  }\n\n  private async acquireLock(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    key: string,\n  ): Promise<void> {\n    await driver.query('select pg_advisory_xact_lock(hashtext($1))', [key]);\n  }\n\n  private async beginTransaction(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n  ): Promise<void> {\n    await driver.query('BEGIN');\n  }\n\n  private async commitTransaction(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n  ): Promise<void> {\n    await driver.query('COMMIT');\n  }\n\n  private async rollbackTransaction(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n  ): Promise<void> {\n    await driver.query('ROLLBACK');\n  }\n\n  private async executeStatement(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    statement: SqlStatement,\n  ): Promise<void> {\n    if (statement.params.length > 0) {\n      await driver.query(statement.sql, statement.params);\n      return;\n    }\n    await driver.query(statement.sql);\n  }\n}\n","export interface SqlStatement {\n  readonly sql: string;\n  readonly params: readonly unknown[];\n}\n\nexport const ensurePrismaContractSchemaStatement: SqlStatement = {\n  sql: 'create schema if not exists prisma_contract',\n  params: [],\n};\n\nexport const ensureMarkerTableStatement: SqlStatement = {\n  sql: `create table if not exists prisma_contract.marker (\n    id smallint primary key default 1,\n    core_hash text not null,\n    profile_hash text not null,\n    contract_json jsonb,\n    canonical_version int,\n    updated_at timestamptz not null default now(),\n    app_tag text,\n    meta jsonb not null default '{}'\n  )`,\n  params: [],\n};\n\nexport const ensureLedgerTableStatement: SqlStatement = {\n  sql: `create table if not exists prisma_contract.ledger (\n    id bigserial primary key,\n    created_at timestamptz not null default now(),\n    origin_core_hash text,\n    origin_profile_hash text,\n    destination_core_hash text not null,\n    destination_profile_hash text,\n    contract_json_before jsonb,\n    contract_json_after jsonb,\n    operations jsonb not null\n  )`,\n  params: [],\n};\n\nexport interface WriteMarkerInput {\n  readonly coreHash: string;\n  readonly profileHash: string;\n  readonly contractJson?: unknown;\n  readonly canonicalVersion?: number | null;\n  readonly appTag?: string | null;\n  readonly meta?: Record<string, unknown>;\n}\n\nexport function buildWriteMarkerStatements(input: WriteMarkerInput): {\n  readonly insert: SqlStatement;\n  readonly update: SqlStatement;\n} {\n  const params: readonly unknown[] = [\n    1,\n    input.coreHash,\n    input.profileHash,\n    jsonParam(input.contractJson),\n    input.canonicalVersion ?? null,\n    input.appTag ?? null,\n    jsonParam(input.meta ?? {}),\n  ];\n\n  return {\n    insert: {\n      sql: `insert into prisma_contract.marker (\n        id,\n        core_hash,\n        profile_hash,\n        contract_json,\n        canonical_version,\n        updated_at,\n        app_tag,\n        meta\n      ) values (\n        $1,\n        $2,\n        $3,\n        $4::jsonb,\n        $5,\n        now(),\n        $6,\n        $7::jsonb\n      )`,\n      params,\n    },\n    update: {\n      sql: `update prisma_contract.marker set\n        core_hash = $2,\n        profile_hash = $3,\n        contract_json = $4::jsonb,\n        canonical_version = $5,\n        updated_at = now(),\n        app_tag = $6,\n        meta = $7::jsonb\n      where id = $1`,\n      params,\n    },\n  };\n}\n\nexport interface LedgerInsertInput {\n  readonly originCoreHash?: string | null;\n  readonly originProfileHash?: string | null;\n  readonly destinationCoreHash: string;\n  readonly destinationProfileHash?: string | null;\n  readonly contractJsonBefore?: unknown;\n  readonly contractJsonAfter?: unknown;\n  readonly operations: unknown;\n}\n\nexport function buildLedgerInsertStatement(input: LedgerInsertInput): SqlStatement {\n  return {\n    sql: `insert into prisma_contract.ledger (\n      origin_core_hash,\n      origin_profile_hash,\n      destination_core_hash,\n      destination_profile_hash,\n      contract_json_before,\n      contract_json_after,\n      operations\n    ) values (\n      $1,\n      $2,\n      $3,\n      $4,\n      $5::jsonb,\n      $6::jsonb,\n      $7::jsonb\n    )`,\n    params: [\n      input.originCoreHash ?? null,\n      input.originProfileHash ?? null,\n      input.destinationCoreHash,\n      input.destinationProfileHash ?? null,\n      jsonParam(input.contractJsonBefore),\n      jsonParam(input.contractJsonAfter),\n      jsonParam(input.operations),\n    ],\n  };\n}\n\nfunction jsonParam(value: unknown): string {\n  return JSON.stringify(value ?? null);\n}\n","import type {\n  ControlTargetInstance,\n  MigrationPlanner,\n  MigrationRunner,\n} from '@prisma-next/core-control-plane/types';\nimport type {\n  SqlControlFamilyInstance,\n  SqlControlTargetDescriptor,\n} from '@prisma-next/family-sql/control';\nimport { postgresTargetDescriptorMeta } from '../core/descriptor-meta';\nimport type { PostgresPlanTargetDetails } from '../core/migrations/planner';\nimport { createPostgresMigrationPlanner } from '../core/migrations/planner';\nimport { createPostgresMigrationRunner } from '../core/migrations/runner';\n\n/**\n * Postgres target descriptor for CLI config.\n */\nconst postgresTargetDescriptor: SqlControlTargetDescriptor<'postgres', PostgresPlanTargetDetails> =\n  {\n    ...postgresTargetDescriptorMeta,\n    /**\n     * Migrations capability for CLI to access planner/runner via core types.\n     * The SQL-specific planner/runner types are compatible with the generic\n     * MigrationPlanner/MigrationRunner interfaces at runtime.\n     */\n    migrations: {\n      createPlanner(_family: SqlControlFamilyInstance) {\n        return createPostgresMigrationPlanner() as MigrationPlanner<'sql', 'postgres'>;\n      },\n      createRunner(family) {\n        return createPostgresMigrationRunner(family) as MigrationRunner<'sql', 'postgres'>;\n      },\n    },\n    create(): ControlTargetInstance<'sql', 'postgres'> {\n      return {\n        familyId: 'sql',\n        targetId: 'postgres',\n      };\n    },\n    /**\n     * Direct method for SQL-specific usage.\n     * @deprecated Use migrations.createPlanner() for CLI compatibility.\n     */\n    createPlanner(_family: SqlControlFamilyInstance) {\n      return createPostgresMigrationPlanner();\n    },\n    /**\n     * Direct method for SQL-specific usage.\n     * @deprecated Use migrations.createRunner() for CLI compatibility.\n     */\n    createRunner(family) {\n      return createPostgresMigrationRunner(family);\n    },\n  };\n\nexport default postgresTargetDescriptor;\n"],"mappings":";;;;;AAQA;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,OACK;AACP;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,OACK;AA4CP,IAAM,yBAAwC;AAAA,EAC5C,eAAe;AACjB;AAEO,SAAS,+BACd,SAAiC,CAAC,GACc;AAChD,SAAO,IAAI,yBAAyB;AAAA,IAClC,GAAG;AAAA,IACH,GAAG;AAAA,EACL,CAAC;AACH;AAEA,IAAM,2BAAN,MAAyF;AAAA,EACvF,YAA6B,QAAuB;AAAvB;AAAA,EAAwB;AAAA,EAErD,KAAK,SAAyC;AAC5C,UAAM,aAAa,QAAQ,cAAc,KAAK,OAAO;AACrD,UAAM,eAAe,KAAK,qBAAqB,QAAQ,MAAM;AAC7D,QAAI,cAAc;AAChB,aAAO;AAAA,IACT;AAEA,UAAM,iBAAiB,KAAK,eAAe,OAAO;AAClD,QAAI,eAAe,SAAS,YAAY;AACtC,aAAO,eAAe,eAAe,SAAS;AAAA,IAChD;AAEA,UAAM,aAAqE,CAAC;AAG5E,eAAW;AAAA,MACT,GAAG,KAAK,kCAAkC,OAAO;AAAA,MACjD,GAAG,KAAK,qBAAqB,QAAQ,SAAS,QAAQ,QAAQ,QAAQ,QAAQ,UAAU;AAAA,MACxF,GAAG,KAAK,sBAAsB,QAAQ,SAAS,QAAQ,QAAQ,QAAQ,QAAQ,UAAU;AAAA,MACzF,GAAG,KAAK;AAAA,QACN,QAAQ,SAAS,QAAQ;AAAA,QACzB,QAAQ;AAAA,QACR;AAAA,MACF;AAAA,MACA,GAAG,KAAK,sBAAsB,QAAQ,SAAS,QAAQ,QAAQ,QAAQ,QAAQ,UAAU;AAAA,MACzF,GAAG,KAAK,qBAAqB,QAAQ,SAAS,QAAQ,QAAQ,QAAQ,QAAQ,UAAU;AAAA,MACxF,GAAG,KAAK;AAAA,QACN,QAAQ,SAAS,QAAQ;AAAA,QACzB,QAAQ;AAAA,QACR;AAAA,MACF;AAAA,IACF;AAEA,UAAM,OAAO,oBAA+C;AAAA,MAC1D,UAAU;AAAA,MACV,QAAQ;AAAA,MACR,aAAa;AAAA,QACX,UAAU,QAAQ,SAAS;AAAA,QAC3B,GAAI,QAAQ,SAAS,cAAc,EAAE,aAAa,QAAQ,SAAS,YAAY,IAAI,CAAC;AAAA,MACtF;AAAA,MACA;AAAA,IACF,CAAC;AAED,WAAO,eAAe,IAAI;AAAA,EAC5B;AAAA,EAEQ,qBAAqB,QAAkC;AAC7D,QAAI,CAAC,OAAO,wBAAwB,SAAS,UAAU,GAAG;AACxD,aAAO,eAAe;AAAA,QACpB;AAAA,UACE,MAAM;AAAA,UACN,SAAS;AAAA,UACT,KAAK;AAAA,QACP;AAAA,MACF,CAAC;AAAA,IACH;AACA,WAAO;AAAA,EACT;AAAA;AAAA;AAAA;AAAA;AAAA,EAMQ,kCACN,SACiE;AACjE,UAAM,eAAe,KAAK,oBAAoB,OAAO;AACrD,UAAM,aAAqE,CAAC;AAC5E,UAAM,oBAAoB,oBAAI,IAAY;AAC1C,UAAM,mBAAmB,oBAAI,IAAY;AAEzC,eAAW,cAAc,cAAc;AACrC,UAAI,kBAAkB,IAAI,WAAW,EAAE,GAAG;AACxC;AAAA,MACF;AACA,wBAAkB,IAAI,WAAW,EAAE;AAEnC,YAAM,SAAS,WAAW,kCAAkC,QAAQ,MAAM;AAC1E,UAAI,OAAO,WAAW,GAAG;AACvB;AAAA,MACF;AAEA,iBAAW,aAAa,WAAW,SAAS;AAC1C,YAAI,iBAAiB,IAAI,UAAU,EAAE,GAAG;AACtC;AAAA,QACF;AACA,yBAAiB,IAAI,UAAU,EAAE;AAGjC,mBAAW,KAAK,SAAiE;AAAA,MACnF;AAAA,IACF;AAEA,WAAO;AAAA,EACT;AAAA,EACQ,oBACN,SAC0C;AAC1C,UAAM,aAAa,QAAQ;AAC3B,QAAI,WAAW,WAAW,GAAG;AAC3B,aAAO,CAAC;AAAA,IACV;AACA,UAAM,OAAoC,CAAC;AAC3C,eAAW,aAAa,YAAY;AAClC,UAAI,CAAC,wBAAwB,SAAS,GAAG;AACvC;AAAA,MACF;AACA,YAAM,WAAW,UAAU,sBAAsB;AACjD,UAAI,YAAY,SAAS,SAAS,GAAG;AACnC,aAAK,KAAK,GAAG,QAAQ;AAAA,MACvB;AAAA,IACF;AACA,WAAO,iBAAiB,IAAI;AAAA,EAC9B;AAAA,EAEQ,qBACN,QACA,QACA,YACiE;AACjE,UAAM,aAAqE,CAAC;AAC5E,eAAW,CAAC,WAAW,KAAK,KAAK,cAAc,MAAM,GAAG;AACtD,UAAI,OAAO,OAAO,SAAS,GAAG;AAC5B;AAAA,MACF;AACA,YAAM,YAAY,iBAAiB,YAAY,SAAS;AACxD,iBAAW,KAAK;AAAA,QACd,IAAI,SAAS,SAAS;AAAA,QACtB,OAAO,gBAAgB,SAAS;AAAA,QAChC,SAAS,iBAAiB,SAAS;AAAA,QACnC,gBAAgB;AAAA,QAChB,QAAQ;AAAA,UACN,IAAI;AAAA,UACJ,SAAS,KAAK,mBAAmB,SAAS,WAAW,UAAU;AAAA,QACjE;AAAA,QACA,UAAU;AAAA,UACR;AAAA,YACE,aAAa,iBAAiB,SAAS;AAAA,YACvC,KAAK,sBAAsB,kBAAkB,YAAY,SAAS,CAAC;AAAA,UACrE;AAAA,QACF;AAAA,QACA,SAAS;AAAA,UACP;AAAA,YACE,aAAa,iBAAiB,SAAS;AAAA,YACvC,KAAK,oBAAoB,WAAW,KAAK;AAAA,UAC3C;AAAA,QACF;AAAA,QACA,WAAW;AAAA,UACT;AAAA,YACE,aAAa,iBAAiB,SAAS;AAAA,YACvC,KAAK,sBAAsB,kBAAkB,YAAY,SAAS,CAAC;AAAA,UACrE;AAAA,QACF;AAAA,MACF,CAAC;AAAA,IACH;AACA,WAAO;AAAA,EACT;AAAA,EAEQ,sBACN,QACA,QACA,YACiE;AACjE,UAAM,aAAqE,CAAC;AAC5E,eAAW,CAAC,WAAW,KAAK,KAAK,cAAc,MAAM,GAAG;AACtD,YAAM,cAAc,OAAO,OAAO,SAAS;AAC3C,UAAI,CAAC,aAAa;AAChB;AAAA,MACF;AACA,iBAAW,CAAC,YAAY,MAAM,KAAK,cAAc,MAAM,OAAO,GAAG;AAC/D,YAAI,YAAY,QAAQ,UAAU,GAAG;AACnC;AAAA,QACF;AACA,mBAAW,KAAK,KAAK,wBAAwB,YAAY,WAAW,YAAY,MAAM,CAAC;AAAA,MACzF;AAAA,IACF;AACA,WAAO;AAAA,EACT;AAAA,EAEQ,wBACN,QACA,WACA,YACA,QACsD;AACtD,UAAM,YAAY,iBAAiB,QAAQ,SAAS;AACpD,UAAM,UAAU,OAAO,aAAa;AACpC,UAAM,WAAW;AAAA,MACf;AAAA,QACE,aAAa,kBAAkB,UAAU;AAAA,QACzC,KAAK,kBAAkB,EAAE,QAAQ,OAAO,WAAW,QAAQ,YAAY,QAAQ,MAAM,CAAC;AAAA,MACxF;AAAA,MACA,GAAI,UACA;AAAA,QACE;AAAA,UACE,aAAa,iBAAiB,SAAS;AAAA,UACvC,KAAK,kBAAkB,SAAS;AAAA,QAClC;AAAA,MACF,IACA,CAAC;AAAA,IACP;AACA,UAAM,UAAU;AAAA,MACd;AAAA,QACE,aAAa,eAAe,UAAU;AAAA,QACtC,KAAK,kBAAkB,WAAW,YAAY,MAAM;AAAA,MACtD;AAAA,IACF;AACA,UAAM,YAAY;AAAA,MAChB;AAAA,QACE,aAAa,kBAAkB,UAAU;AAAA,QACzC,KAAK,kBAAkB,EAAE,QAAQ,OAAO,WAAW,QAAQ,WAAW,CAAC;AAAA,MACzE;AAAA,MACA,GAAI,UACA;AAAA,QACE;AAAA,UACE,aAAa,kBAAkB,UAAU;AAAA,UACzC,KAAK,qBAAqB,EAAE,QAAQ,OAAO,WAAW,QAAQ,WAAW,CAAC;AAAA,QAC5E;AAAA,MACF,IACA,CAAC;AAAA,IACP;AAEA,WAAO;AAAA,MACL,IAAI,UAAU,SAAS,IAAI,UAAU;AAAA,MACrC,OAAO,cAAc,UAAU,OAAO,SAAS;AAAA,MAC/C,SAAS,eAAe,UAAU,aAAa,SAAS;AAAA,MACxD,gBAAgB;AAAA,MAChB,QAAQ;AAAA,QACN,IAAI;AAAA,QACJ,SAAS,KAAK,mBAAmB,SAAS,WAAW,MAAM;AAAA,MAC7D;AAAA,MACA;AAAA,MACA;AAAA,MACA;AAAA,IACF;AAAA,EACF;AAAA,EAEQ,0BACN,QACA,QACA,YACiE;AACjE,UAAM,aAAqE,CAAC;AAC5E,eAAW,CAAC,WAAW,KAAK,KAAK,cAAc,MAAM,GAAG;AACtD,UAAI,CAAC,MAAM,YAAY;AACrB;AAAA,MACF;AACA,YAAM,cAAc,OAAO,OAAO,SAAS;AAC3C,UAAI,CAAC,eAAe,YAAY,YAAY;AAC1C;AAAA,MACF;AACA,YAAM,iBAAiB,MAAM,WAAW,QAAQ,GAAG,SAAS;AAC5D,iBAAW,KAAK;AAAA,QACd,IAAI,cAAc,SAAS,IAAI,cAAc;AAAA,QAC7C,OAAO,mBAAmB,cAAc,OAAO,SAAS;AAAA,QACxD,SAAS,oBAAoB,cAAc,OAAO,SAAS;AAAA,QAC3D,gBAAgB;AAAA,QAChB,QAAQ;AAAA,UACN,IAAI;AAAA,UACJ,SAAS,KAAK,mBAAmB,SAAS,WAAW,UAAU;AAAA,QACjE;AAAA,QACA,UAAU;AAAA,UACR;AAAA,YACE,aAAa,yCAAyC,SAAS;AAAA,YAC/D,KAAK,wBAAwB,YAAY,WAAW,KAAK;AAAA,UAC3D;AAAA,QACF;AAAA,QACA,SAAS;AAAA,UACP;AAAA,YACE,aAAa,oBAAoB,cAAc;AAAA,YAC/C,KAAK,eAAe,iBAAiB,YAAY,SAAS,CAAC;AAAA,iBACtD,gBAAgB,cAAc,CAAC;AAAA,eACjC,MAAM,WAAW,QAAQ,IAAI,eAAe,EAAE,KAAK,IAAI,CAAC;AAAA,UAC7D;AAAA,QACF;AAAA,QACA,WAAW;AAAA,UACT;AAAA,YACE,aAAa,uBAAuB,cAAc;AAAA,YAClD,KAAK,wBAAwB,YAAY,WAAW,MAAM,cAAc;AAAA,UAC1E;AAAA,QACF;AAAA,MACF,CAAC;AAAA,IACH;AACA,WAAO;AAAA,EACT;AAAA,EAEQ,sBACN,QACA,QACA,YACiE;AACjE,UAAM,aAAqE,CAAC;AAC5E,eAAW,CAAC,WAAW,KAAK,KAAK,cAAc,MAAM,GAAG;AACtD,YAAM,cAAc,OAAO,OAAO,SAAS;AAC3C,iBAAW,UAAU,MAAM,SAAS;AAClC,YAAI,eAAe,oBAAoB,aAAa,OAAO,OAAO,GAAG;AACnE;AAAA,QACF;AACA,cAAM,iBAAiB,OAAO,QAAQ,GAAG,SAAS,IAAI,OAAO,QAAQ,KAAK,GAAG,CAAC;AAC9E,mBAAW,KAAK;AAAA,UACd,IAAI,UAAU,SAAS,IAAI,cAAc;AAAA,UACzC,OAAO,yBAAyB,cAAc,OAAO,SAAS;AAAA,UAC9D,SAAS,0BAA0B,cAAc,OAAO,SAAS;AAAA,UACjE,gBAAgB;AAAA,UAChB,QAAQ;AAAA,YACN,IAAI;AAAA,YACJ,SAAS,KAAK,mBAAmB,UAAU,gBAAgB,YAAY,SAAS;AAAA,UAClF;AAAA,UACA,UAAU;AAAA,YACR;AAAA,cACE,aAAa,6BAA6B,cAAc;AAAA,cACxD,KAAK,sBAAsB,EAAE,gBAAgB,QAAQ,YAAY,QAAQ,MAAM,CAAC;AAAA,YAClF;AAAA,UACF;AAAA,UACA,SAAS;AAAA,YACP;AAAA,cACE,aAAa,0BAA0B,cAAc;AAAA,cACrD,KAAK,eAAe,iBAAiB,YAAY,SAAS,CAAC;AAAA,iBACxD,gBAAgB,cAAc,CAAC;AAAA,UACtC,OAAO,QAAQ,IAAI,eAAe,EAAE,KAAK,IAAI,CAAC;AAAA,YAC5C;AAAA,UACF;AAAA,UACA,WAAW;AAAA,YACT;AAAA,cACE,aAAa,6BAA6B,cAAc;AAAA,cACxD,KAAK,sBAAsB,EAAE,gBAAgB,QAAQ,WAAW,CAAC;AAAA,YACnE;AAAA,UACF;AAAA,QACF,CAAC;AAAA,MACH;AAAA,IACF;AACA,WAAO;AAAA,EACT;AAAA,EAEQ,qBACN,QACA,QACA,YACiE;AACjE,UAAM,aAAqE,CAAC;AAC5E,eAAW,CAAC,WAAW,KAAK,KAAK,cAAc,MAAM,GAAG;AACtD,YAAM,cAAc,OAAO,OAAO,SAAS;AAC3C,iBAAW,SAAS,MAAM,SAAS;AACjC,YAAI,eAAe,SAAS,aAAa,MAAM,OAAO,GAAG;AACvD;AAAA,QACF;AACA,cAAM,YAAY,MAAM,QAAQ,GAAG,SAAS,IAAI,MAAM,QAAQ,KAAK,GAAG,CAAC;AACvE,mBAAW,KAAK;AAAA,UACd,IAAI,SAAS,SAAS,IAAI,SAAS;AAAA,UACnC,OAAO,gBAAgB,SAAS,OAAO,SAAS;AAAA,UAChD,SAAS,iBAAiB,SAAS,OAAO,SAAS;AAAA,UACnD,gBAAgB;AAAA,UAChB,QAAQ;AAAA,YACN,IAAI;AAAA,YACJ,SAAS,KAAK,mBAAmB,SAAS,WAAW,YAAY,SAAS;AAAA,UAC5E;AAAA,UACA,UAAU;AAAA,YACR;AAAA,cACE,aAAa,iBAAiB,SAAS;AAAA,cACvC,KAAK,sBAAsB,kBAAkB,YAAY,SAAS,CAAC;AAAA,YACrE;AAAA,UACF;AAAA,UACA,SAAS;AAAA,YACP;AAAA,cACE,aAAa,iBAAiB,SAAS;AAAA,cACvC,KAAK,gBAAgB,gBAAgB,SAAS,CAAC,OAAO;AAAA,gBACpD;AAAA,gBACA;AAAA,cACF,CAAC,KAAK,MAAM,QAAQ,IAAI,eAAe,EAAE,KAAK,IAAI,CAAC;AAAA,YACrD;AAAA,UACF;AAAA,UACA,WAAW;AAAA,YACT;AAAA,cACE,aAAa,iBAAiB,SAAS;AAAA,cACvC,KAAK,sBAAsB,kBAAkB,YAAY,SAAS,CAAC;AAAA,YACrE;AAAA,UACF;AAAA,QACF,CAAC;AAAA,MACH;AAAA,IACF;AACA,WAAO;AAAA,EACT;AAAA,EAEQ,0BACN,QACA,QACA,YACiE;AACjE,UAAM,aAAqE,CAAC;AAC5E,eAAW,CAAC,WAAW,KAAK,KAAK,cAAc,MAAM,GAAG;AACtD,YAAM,cAAc,OAAO,OAAO,SAAS;AAC3C,iBAAW,cAAc,MAAM,aAAa;AAC1C,YAAI,eAAe,cAAc,aAAa,UAAU,GAAG;AACzD;AAAA,QACF;AACA,cAAM,SAAS,WAAW,QAAQ,GAAG,SAAS,IAAI,WAAW,QAAQ,KAAK,GAAG,CAAC;AAC9E,mBAAW,KAAK;AAAA,UACd,IAAI,cAAc,SAAS,IAAI,MAAM;AAAA,UACrC,OAAO,mBAAmB,MAAM,OAAO,SAAS;AAAA,UAChD,SAAS,oBAAoB,MAAM,gBAAgB,WAAW,WAAW,KAAK;AAAA,UAC9E,gBAAgB;AAAA,UAChB,QAAQ;AAAA,YACN,IAAI;AAAA,YACJ,SAAS,KAAK,mBAAmB,cAAc,QAAQ,YAAY,SAAS;AAAA,UAC9E;AAAA,UACA,UAAU;AAAA,YACR;AAAA,cACE,aAAa,uBAAuB,MAAM;AAAA,cAC1C,KAAK,sBAAsB;AAAA,gBACzB,gBAAgB;AAAA,gBAChB,QAAQ;AAAA,gBACR,QAAQ;AAAA,cACV,CAAC;AAAA,YACH;AAAA,UACF;AAAA,UACA,SAAS;AAAA,YACP;AAAA,cACE,aAAa,oBAAoB,MAAM;AAAA,cACvC,KAAK,eAAe,iBAAiB,YAAY,SAAS,CAAC;AAAA,iBACxD,gBAAgB,MAAM,CAAC;AAAA,eACzB,WAAW,QAAQ,IAAI,eAAe,EAAE,KAAK,IAAI,CAAC;AAAA,aACpD,iBAAiB,YAAY,WAAW,WAAW,KAAK,CAAC,KAAK,WAAW,WAAW,QAChF,IAAI,eAAe,EACnB,KAAK,IAAI,CAAC;AAAA,YACf;AAAA,UACF;AAAA,UACA,WAAW;AAAA,YACT;AAAA,cACE,aAAa,uBAAuB,MAAM;AAAA,cAC1C,KAAK,sBAAsB,EAAE,gBAAgB,QAAQ,QAAQ,WAAW,CAAC;AAAA,YAC3E;AAAA,UACF;AAAA,QACF,CAAC;AAAA,MACH;AAAA,IACF;AACA,WAAO;AAAA,EACT;AAAA,EAEQ,mBACN,YACA,MACA,QACA,OAC2B;AAC3B,WAAO;AAAA,MACL;AAAA,MACA;AAAA,MACA;AAAA,MACA,GAAI,QAAQ,EAAE,MAAM,IAAI,CAAC;AAAA,IAC3B;AAAA,EACF;AAAA,EAEQ,eAAe,SAKjB;AACJ,UAAM,gBAAsD;AAAA,MAC1D,UAAU,QAAQ;AAAA,MAClB,QAAQ,QAAQ;AAAA,MAChB,QAAQ;AAAA,MACR,sBAAsB,oBAAI,IAAI;AAAA,MAC9B,qBAAqB,QAAQ;AAAA,IAC/B;AACA,UAAM,eAAe,gBAAgB,aAAa;AAElD,UAAM,YAAY,KAAK,iBAAiB,aAAa,OAAO,MAAM;AAClE,QAAI,UAAU,SAAS,GAAG;AACxB,aAAO,EAAE,MAAM,YAAY,UAAU;AAAA,IACvC;AACA,WAAO,EAAE,MAAM,KAAK;AAAA,EACtB;AAAA,EAEQ,iBAAiB,QAAsD;AAC7E,UAAM,YAAkC,CAAC;AACzC,eAAW,SAAS,QAAQ;AAC1B,UAAI,gBAAgB,KAAK,GAAG;AAC1B;AAAA,MACF;AACA,YAAM,WAAW,KAAK,uBAAuB,KAAK;AAClD,UAAI,UAAU;AACZ,kBAAU,KAAK,QAAQ;AAAA,MACzB;AAAA,IACF;AACA,WAAO,UAAU,KAAK,kBAAkB;AAAA,EAC1C;AAAA,EAEQ,uBAAuB,OAA+C;AAC5E,YAAQ,MAAM,MAAM;AAAA,MAClB,KAAK;AACH,eAAO,KAAK,cAAc,gBAAgB,KAAK;AAAA,MACjD,KAAK;AACH,eAAO,KAAK,cAAc,uBAAuB,KAAK;AAAA,MACxD,KAAK;AACH,eAAO,KAAK,cAAc,qBAAqB,KAAK;AAAA,MACtD,KAAK;AACH,eAAO,KAAK,cAAc,qBAAqB,KAAK;AAAA,MACtD,KAAK;AACH,eAAO,KAAK,cAAc,qBAAqB,KAAK;AAAA,MACtD,KAAK;AACH,eAAO,KAAK,cAAc,sBAAsB,KAAK;AAAA,MACvD;AACE,eAAO;AAAA,IACX;AAAA,EACF;AAAA,EAEQ,cAAc,MAAkC,OAAwC;AAC9F,UAAM,WAAW,sBAAsB,KAAK;AAC5C,UAAM,OACJ,MAAM,YAAY,MAAM,SACpB,OAAO,OAAO;AAAA,MACZ,GAAI,MAAM,WAAW,EAAE,UAAU,MAAM,SAAS,IAAI,CAAC;AAAA,MACrD,GAAI,MAAM,SAAS,EAAE,QAAQ,MAAM,OAAO,IAAI,CAAC;AAAA,IACjD,CAAC,IACD;AAEN,WAAO;AAAA,MACL;AAAA,MACA,SAAS,MAAM;AAAA,MACf,GAAI,WAAW,EAAE,SAAS,IAAI,CAAC;AAAA,MAC/B,GAAI,OAAO,EAAE,KAAK,IAAI,CAAC;AAAA,IACzB;AAAA,EACF;AACF;AAEA,SAAS,wBAAwB,WAI/B;AACA,MAAI,OAAO,cAAc,YAAY,cAAc,MAAM;AACvD,WAAO;AAAA,EACT;AACA,QAAM,SAAS;AAGf,MAAI,OAAO,OAAO,QAAQ,UAAU,KAAK,OAAO,UAAU,MAAM,OAAO;AACrE,WAAO;AAAA,EACT;AAEA,MAAI,CAAC,OAAO,OAAO,QAAQ,sBAAsB,GAAG;AAClD,WAAO;AAAA,EACT;AACA,QAAM,OAAO,OAAO,sBAAsB;AAC1C,SAAO,SAAS,UAAc,OAAO,SAAS,YAAY,SAAS;AACrE;AAEA,SAAS,iBACP,cAC0C;AAC1C,MAAI,aAAa,UAAU,GAAG;AAC5B,WAAO;AAAA,EACT;AACA,SAAO,CAAC,GAAG,YAAY,EAAE,KAAK,CAAC,GAAG,MAAM,EAAE,GAAG,cAAc,EAAE,EAAE,CAAC;AAClE;AAEA,SAAS,oBAAoB,oBAA4B,OAA6B;AACpF,QAAM,oBAAoB,OAAO,QAAQ,MAAM,OAAO,EAAE;AAAA,IACtD,CAAC,CAAC,YAAY,MAAM,MAA+B;AACjD,YAAM,QAAQ;AAAA,QACZ,gBAAgB,UAAU;AAAA,QAC1B,OAAO;AAAA,QACP,OAAO,WAAW,KAAK;AAAA,MACzB,EAAE,OAAO,OAAO;AAChB,aAAO,MAAM,KAAK,GAAG;AAAA,IACvB;AAAA,EACF;AAEA,QAAM,wBAAkC,CAAC;AACzC,MAAI,MAAM,YAAY;AACpB,0BAAsB;AAAA,MACpB,gBAAgB,MAAM,WAAW,QAAQ,IAAI,eAAe,EAAE,KAAK,IAAI,CAAC;AAAA,IAC1E;AAAA,EACF;AAEA,QAAM,iBAAiB,CAAC,GAAG,mBAAmB,GAAG,qBAAqB;AACtE,SAAO,gBAAgB,kBAAkB;AAAA,IAAS,eAAe,KAAK,OAAO,CAAC;AAAA;AAChF;AAEA,SAAS,iBAAiB,QAAgB,OAAuB;AAC/D,SAAO,GAAG,gBAAgB,MAAM,CAAC,IAAI,gBAAgB,KAAK,CAAC;AAC7D;AAEA,SAAS,kBAAkB,QAAgB,MAAsB;AAC/D,QAAM,WAAW,GAAG,gBAAgB,MAAM,CAAC,IAAI,gBAAgB,IAAI,CAAC;AACpE,SAAO,IAAI,cAAc,QAAQ,CAAC;AACpC;AAGA,SAAS,gBAAgB,YAA4B;AAEnD,SAAO,IAAI,WAAW,QAAQ,MAAM,IAAI,CAAC;AAC3C;AAEA,SAAS,cAAc,OAAuB;AAC5C,SAAO,MAAM,QAAQ,MAAM,IAAI;AACjC;AAEA,SAAS,cAAiB,QAAyD;AACjF,SAAO,OAAO,QAAQ,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;AACrE;AAEA,SAAS,sBAAsB;AAAA,EAC7B;AAAA,EACA;AAAA,EACA,SAAS;AACX,GAIW;AACT,QAAM,eAAe,SAAS,WAAW;AACzC,SAAO,UAAU,YAAY;AAAA;AAAA;AAAA,uBAGR,cAAc,cAAc,CAAC;AAAA,qBAC/B,cAAc,MAAM,CAAC;AAAA;AAE1C;AAEA,SAAS,kBAAkB;AAAA,EACzB;AAAA,EACA;AAAA,EACA;AAAA,EACA,SAAS;AACX,GAKW;AACT,QAAM,eAAe,SAAS,KAAK;AACnC,SAAO,UAAU,YAAY;AAAA;AAAA;AAAA,0BAGL,cAAc,MAAM,CAAC;AAAA,wBACvB,cAAc,KAAK,CAAC;AAAA,yBACnB,cAAc,MAAM,CAAC;AAAA;AAE9C;AAEA,SAAS,qBAAqB;AAAA,EAC5B;AAAA,EACA;AAAA,EACA;AACF,GAIW;AACT,SAAO;AAAA;AAAA;AAAA,0BAGiB,cAAc,MAAM,CAAC;AAAA,wBACvB,cAAc,KAAK,CAAC;AAAA,yBACnB,cAAc,MAAM,CAAC;AAAA;AAAA;AAG9C;AAEA,SAAS,kBAAkB,oBAAoC;AAC7D,SAAO,oCAAoC,kBAAkB;AAC/D;AAEA,SAAS,kBACP,oBACA,YACA,QACQ;AACR,QAAM,QAAQ;AAAA,IACZ,eAAe,kBAAkB;AAAA,IACjC,cAAc,gBAAgB,UAAU,CAAC,IAAI,OAAO,UAAU;AAAA,IAC9D,OAAO,WAAW,KAAK;AAAA,EACzB,EAAE,OAAO,OAAO;AAChB,SAAO,MAAM,KAAK,GAAG;AACvB;AAEA,SAAS,wBACP,QACA,OACA,QACA,gBACQ;AACR,QAAM,aAAa,SAAS,KAAK;AACjC,QAAM,mBAAmB,iBACrB,qBAAqB,cAAc,cAAc,CAAC,MAClD;AACJ,SAAO,UAAU,UAAU;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,uBAMN,cAAc,MAAM,CAAC;AAAA,uBACrB,cAAc,KAAK,CAAC;AAAA;AAAA,MAErC,gBAAgB;AAAA;AAEtB;AAMA,SAAS,oBACP,OACA,SACS;AACT,SAAO,4BAA4B,MAAM,SAAS,MAAM,SAAS,OAAO;AAC1E;AAMA,SAAS,SAAS,OAAsC,SAAqC;AAC3F,SAAO,iBAAiB,MAAM,SAAS,MAAM,SAAS,OAAO;AAC/D;AAEA,SAAS,cAAc,OAAsC,IAAyB;AACpF,SAAO,MAAM,YAAY;AAAA,IACvB,CAAC,cACC,YAAY,UAAU,SAAS,GAAG,OAAO,KACzC,UAAU,oBAAoB,GAAG,WAAW,SAC5C,YAAY,UAAU,mBAAmB,GAAG,WAAW,OAAO;AAAA,EAClE;AACF;AAEA,SAAS,gBAAgB,OAA6B;AACpD,UAAQ,MAAM,MAAM;AAAA,IAClB,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AACH,aAAO;AAAA,IACT,KAAK;AACH,aAAO,MAAM,WAAW;AAAA,IAC1B,KAAK;AAAA,IACL,KAAK;AAAA,IACL,KAAK;AACH,aAAO,MAAM,sBAAsB;AAAA,IACrC;AACE,aAAO;AAAA,EACX;AACF;AAEA,SAAS,sBAAsB,OAAoB;AACjD,QAAM,WAIF,CAAC;AACL,MAAI,MAAM,OAAO;AACf,aAAS,QAAQ,MAAM;AAAA,EACzB;AACA,MAAI,MAAM,QAAQ;AAChB,aAAS,SAAS,MAAM;AAAA,EAC1B;AACA,MAAI,MAAM,mBAAmB;AAC3B,aAAS,aAAa,MAAM;AAAA,EAC9B;AACA,SAAO,OAAO,KAAK,QAAQ,EAAE,SAAS,IAAI,WAAW;AACvD;AAEA,SAAS,mBAAmB,GAAuB,GAA+B;AAChF,MAAI,EAAE,SAAS,EAAE,MAAM;AACrB,WAAO,EAAE,OAAO,EAAE,OAAO,KAAK;AAAA,EAChC;AACA,QAAM,YAAY,EAAE,YAAY,CAAC;AACjC,QAAM,YAAY,EAAE,YAAY,CAAC;AACjC,QAAM,eAAe,eAAe,UAAU,OAAO,UAAU,KAAK;AACpE,MAAI,iBAAiB,GAAG;AACtB,WAAO;AAAA,EACT;AACA,QAAM,gBAAgB,eAAe,UAAU,QAAQ,UAAU,MAAM;AACvE,MAAI,kBAAkB,GAAG;AACvB,WAAO;AAAA,EACT;AACA,QAAM,oBAAoB,eAAe,UAAU,YAAY,UAAU,UAAU;AACnF,MAAI,sBAAsB,GAAG;AAC3B,WAAO;AAAA,EACT;AACA,SAAO,eAAe,EAAE,SAAS,EAAE,OAAO;AAC5C;AAEA,SAAS,eAAe,GAAY,GAAoB;AACtD,MAAI,MAAM,GAAG;AACX,WAAO;AAAA,EACT;AACA,MAAI,MAAM,QAAW;AACnB,WAAO;AAAA,EACT;AACA,MAAI,MAAM,QAAW;AACnB,WAAO;AAAA,EACT;AACA,SAAO,IAAI,IAAI,KAAK;AACtB;;;AC91BA,SAAS,eAAe,qBAAqB;AAC7C,SAAS,mBAAAA,wBAAuB;AAChC,SAAS,kBAAkB;AAC3B,SAAS,qBAAqB;AAE9B,SAAS,IAAI,cAAc;;;ACZpB,IAAM,sCAAoD;AAAA,EAC/D,KAAK;AAAA,EACL,QAAQ,CAAC;AACX;AAEO,IAAM,6BAA2C;AAAA,EACtD,KAAK;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAUL,QAAQ,CAAC;AACX;AAEO,IAAM,6BAA2C;AAAA,EACtD,KAAK;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAWL,QAAQ,CAAC;AACX;AAWO,SAAS,2BAA2B,OAGzC;AACA,QAAM,SAA6B;AAAA,IACjC;AAAA,IACA,MAAM;AAAA,IACN,MAAM;AAAA,IACN,UAAU,MAAM,YAAY;AAAA,IAC5B,MAAM,oBAAoB;AAAA,IAC1B,MAAM,UAAU;AAAA,IAChB,UAAU,MAAM,QAAQ,CAAC,CAAC;AAAA,EAC5B;AAEA,SAAO;AAAA,IACL,QAAQ;AAAA,MACN,KAAK;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,MAmBL;AAAA,IACF;AAAA,IACA,QAAQ;AAAA,MACN,KAAK;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,MASL;AAAA,IACF;AAAA,EACF;AACF;AAYO,SAAS,2BAA2B,OAAwC;AACjF,SAAO;AAAA,IACL,KAAK;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,IAiBL,QAAQ;AAAA,MACN,MAAM,kBAAkB;AAAA,MACxB,MAAM,qBAAqB;AAAA,MAC3B,MAAM;AAAA,MACN,MAAM,0BAA0B;AAAA,MAChC,UAAU,MAAM,kBAAkB;AAAA,MAClC,UAAU,MAAM,iBAAiB;AAAA,MACjC,UAAU,MAAM,UAAU;AAAA,IAC5B;AAAA,EACF;AACF;AAEA,SAAS,UAAU,OAAwB;AACzC,SAAO,KAAK,UAAU,SAAS,IAAI;AACrC;;;AD1GA,IAAM,iBAA+B;AAAA,EACnC,eAAe;AACjB;AAEA,IAAM,cAAc;AAMpB,SAAS,qBAAwD,OAAa;AAC5E,QAAM,SAAkC,CAAC;AACzC,aAAW,CAAC,KAAK,GAAG,KAAK,OAAO,QAAQ,KAAK,GAAG;AAC9C,QAAI,QAAQ,QAAQ,QAAQ,QAAW;AACrC,aAAO,GAAG,IAAI;AAAA,IAChB,WAAW,MAAM,QAAQ,GAAG,GAAG;AAE7B,aAAO,GAAG,IAAI,OAAO,OAAO,CAAC,GAAG,GAAG,CAAC;AAAA,IACtC,WAAW,OAAO,QAAQ,UAAU;AAElC,aAAO,GAAG,IAAI,qBAAqB,GAA8B;AAAA,IACnE,OAAO;AAEL,aAAO,GAAG,IAAI;AAAA,IAChB;AAAA,EACF;AACA,SAAO,OAAO,OAAO,MAAM;AAC7B;AAEO,SAAS,8BACd,QACA,SAAgC,CAAC,GACc;AAC/C,SAAO,IAAI,wBAAwB,QAAQ,EAAE,GAAG,gBAAgB,GAAG,OAAO,CAAC;AAC7E;AAEA,IAAM,0BAAN,MAAuF;AAAA,EACrF,YACmB,QACA,QACjB;AAFiB;AACA;AAAA,EAChB;AAAA,EAEH,MAAM,QACJ,SACmC;AACnC,UAAM,SAAS,QAAQ,cAAc,KAAK,OAAO;AACjD,UAAM,SAAS,QAAQ;AACvB,UAAM,UAAU,GAAG,WAAW,IAAI,MAAM;AAGxC,UAAM,mBAAmB,KAAK;AAAA,MAC5B,QAAQ,KAAK;AAAA,MACb,QAAQ;AAAA,IACV;AACA,QAAI,CAAC,iBAAiB,IAAI;AACxB,aAAO;AAAA,IACT;AAEA,UAAM,cAAc,KAAK,2BAA2B,QAAQ,QAAQ,QAAQ,KAAK,UAAU;AAC3F,QAAI,CAAC,YAAY,IAAI;AACnB,aAAO;AAAA,IACT;AAGA,UAAM,KAAK,iBAAiB,MAAM;AAClC,QAAI,YAAY;AAChB,QAAI;AACF,YAAM,KAAK,YAAY,QAAQ,OAAO;AACtC,YAAM,KAAK,oBAAoB,MAAM;AACrC,YAAM,iBAAiB,MAAM,WAAW,MAAM;AAG9C,YAAM,cAAc,KAAK,0BAA0B,gBAAgB,QAAQ,IAAI;AAC/E,UAAI,CAAC,YAAY,IAAI;AACnB,eAAO;AAAA,MACT;AAGA,YAAM,sBAAsB,KAAK,yBAAyB,gBAAgB,QAAQ,IAAI;AACtF,UAAI;AAEJ,UAAI,qBAAqB;AACvB,qBAAa,EAAE,oBAAoB,GAAG,oBAAoB,CAAC,EAAE;AAAA,MAC/D,OAAO;AACL,cAAM,cAAc,MAAM,KAAK,UAAU,QAAQ,OAAO;AACxD,YAAI,CAAC,YAAY,IAAI;AACnB,iBAAO;AAAA,QACT;AACA,qBAAa,YAAY;AAAA,MAC3B;AAIA,YAAM,WAAW,MAAM,KAAK,OAAO,WAAW;AAAA,QAC5C;AAAA,QACA,YAAY,QAAQ;AAAA,MACtB,CAAC;AAGD,YAAM,qBAAqBC,iBAAgB;AAAA,QACzC,UAAU,QAAQ;AAAA,QAClB,QAAQ;AAAA,QACR,QAAQ,QAAQ,sBAAsB;AAAA,QACtC,SAAS,QAAQ,WAAW,CAAC;AAAA,QAC7B,sBAAsB,KAAK,OAAO;AAAA,QAClC,qBAAqB,QAAQ;AAAA,MAC/B,CAAC;AACD,UAAI,CAAC,mBAAmB,IAAI;AAC1B,eAAO,cAAc,wBAAwB,mBAAmB,SAAS;AAAA,UACvE,KAAK;AAAA,UACL,MAAM;AAAA,YACJ,QAAQ,mBAAmB,OAAO;AAAA,UACpC;AAAA,QACF,CAAC;AAAA,MACH;AAGA,YAAM,KAAK,aAAa,QAAQ,SAAS,cAAc;AACvD,YAAM,KAAK,kBAAkB,QAAQ,SAAS,gBAAgB,WAAW,kBAAkB;AAE3F,YAAM,KAAK,kBAAkB,MAAM;AACnC,kBAAY;AACZ,aAAO,cAAc;AAAA,QACnB,mBAAmB,QAAQ,KAAK,WAAW;AAAA,QAC3C,oBAAoB,WAAW;AAAA,MACjC,CAAC;AAAA,IACH,UAAE;AACA,UAAI,CAAC,WAAW;AACd,cAAM,KAAK,oBAAoB,MAAM;AAAA,MACvC;AAAA,IACF;AAAA,EACF;AAAA,EAEA,MAAc,UACZ,QACA,SACmE;AACnE,UAAM,SAAS,QAAQ;AACvB,UAAM,eAAe,QAAQ,cAAc;AAC3C,UAAM,gBAAgB,QAAQ,eAAe;AAC7C,UAAM,iBAAiB,QAAQ,sBAAsB;AAErD,QAAI,qBAAqB;AACzB,UAAM,qBAAkF,CAAC;AACzF,eAAW,aAAa,QAAQ,KAAK,YAAY;AAC/C,cAAQ,WAAW,mBAAmB,SAAS;AAC/C,UAAI;AAEF,YAAI,iBAAiB,gBAAgB;AACnC,gBAAM,4BAA4B,MAAM,KAAK;AAAA,YAC3C;AAAA,YACA,UAAU;AAAA,UACZ;AACA,cAAI,2BAA2B;AAC7B,+BAAmB,KAAK,KAAK,sCAAsC,SAAS,CAAC;AAC7E;AAAA,UACF;AAAA,QACF;AAGA,YAAI,cAAc;AAChB,gBAAM,iBAAiB,MAAM,KAAK;AAAA,YAChC;AAAA,YACA,UAAU;AAAA,YACV;AAAA,YACA;AAAA,UACF;AACA,cAAI,CAAC,eAAe,IAAI;AACtB,mBAAO;AAAA,UACT;AAAA,QACF;AAEA,cAAM,gBAAgB,MAAM,KAAK,gBAAgB,QAAQ,UAAU,SAAS,SAAS;AACrF,YAAI,CAAC,cAAc,IAAI;AACrB,iBAAO;AAAA,QACT;AAGA,YAAI,eAAe;AACjB,gBAAM,kBAAkB,MAAM,KAAK;AAAA,YACjC;AAAA,YACA,UAAU;AAAA,YACV;AAAA,YACA;AAAA,UACF;AACA,cAAI,CAAC,gBAAgB,IAAI;AACvB,mBAAO;AAAA,UACT;AAAA,QACF;AAEA,2BAAmB,KAAK,SAAS;AACjC,8BAAsB;AAAA,MACxB,UAAE;AACA,gBAAQ,WAAW,sBAAsB,SAAS;AAAA,MACpD;AAAA,IACF;AACA,WAAO,GAAG,EAAE,oBAAoB,mBAAmB,CAAC;AAAA,EACtD;AAAA,EAEA,MAAc,oBACZ,QACe;AACf,UAAM,KAAK,iBAAiB,QAAQ,mCAAmC;AACvE,UAAM,KAAK,iBAAiB,QAAQ,0BAA0B;AAC9D,UAAM,KAAK,iBAAiB,QAAQ,0BAA0B;AAAA,EAChE;AAAA,EAEA,MAAc,oBACZ,QACA,OACA,WACA,OACkD;AAClD,eAAW,QAAQ,OAAO;AACxB,YAAM,SAAS,MAAM,OAAO,MAAM,KAAK,GAAG;AAC1C,UAAI,CAAC,KAAK,iBAAiB,OAAO,IAAI,GAAG;AACvC,cAAM,OAAO,UAAU,aAAa,oBAAoB;AACxD,eAAO;AAAA,UACL;AAAA,UACA,aAAa,UAAU,EAAE,kBAAkB,KAAK,KAAK,KAAK,WAAW;AAAA,UACrE;AAAA,YACE,MAAM;AAAA,cACJ,aAAa,UAAU;AAAA,cACvB;AAAA,cACA,iBAAiB,KAAK;AAAA,YACxB;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,WAAO,OAAO;AAAA,EAChB;AAAA,EAEA,MAAc,gBACZ,QACA,OACA,WACkD;AAClD,eAAW,QAAQ,OAAO;AACxB,UAAI;AACF,cAAM,OAAO,MAAM,KAAK,GAAG;AAAA,MAC7B,SAAS,OAAgB;AAEvB,YAAI,cAAc,GAAG,KAAK,GAAG;AAC3B,iBAAO;AAAA,YACL;AAAA,YACA,aAAa,UAAU,EAAE,6BAA6B,KAAK,WAAW;AAAA,YACtE;AAAA,cACE,KAAK,MAAM;AAAA,cACX,MAAM;AAAA,gBACJ,aAAa,UAAU;AAAA,gBACvB,iBAAiB,KAAK;AAAA,gBACtB,KAAK,KAAK;AAAA,gBACV,UAAU,MAAM;AAAA,gBAChB,YAAY,MAAM;AAAA,gBAClB,OAAO,MAAM;AAAA,gBACb,QAAQ,MAAM;AAAA,gBACd,QAAQ,MAAM;AAAA,cAChB;AAAA,YACF;AAAA,UACF;AAAA,QACF;AAEA,cAAM;AAAA,MACR;AAAA,IACF;AACA,WAAO,OAAO;AAAA,EAChB;AAAA,EAEQ,iBAAiB,MAAmD;AAC1E,QAAI,CAAC,QAAQ,KAAK,WAAW,GAAG;AAC9B,aAAO;AAAA,IACT;AACA,UAAM,WAAW,KAAK,CAAC;AACvB,UAAM,aAAa,WAAW,OAAO,OAAO,QAAQ,EAAE,CAAC,IAAI;AAC3D,QAAI,OAAO,eAAe,WAAW;AACnC,aAAO;AAAA,IACT;AACA,QAAI,OAAO,eAAe,UAAU;AAClC,aAAO,eAAe;AAAA,IACxB;AACA,QAAI,OAAO,eAAe,UAAU;AAClC,YAAM,QAAQ,WAAW,YAAY;AAErC,UAAI,UAAU,OAAO,UAAU,UAAU,UAAU,KAAK;AACtD,eAAO;AAAA,MACT;AACA,UAAI,UAAU,OAAO,UAAU,WAAW,UAAU,KAAK;AACvD,eAAO;AAAA,MACT;AAEA,aAAO,WAAW,SAAS;AAAA,IAC7B;AACA,WAAO,QAAQ,UAAU;AAAA,EAC3B;AAAA,EAEA,MAAc,yBACZ,QACA,OACkB;AAClB,QAAI,MAAM,WAAW,GAAG;AACtB,aAAO;AAAA,IACT;AACA,eAAW,QAAQ,OAAO;AACxB,YAAM,SAAS,MAAM,OAAO,MAAM,KAAK,GAAG;AAC1C,UAAI,CAAC,KAAK,iBAAiB,OAAO,IAAI,GAAG;AACvC,eAAO;AAAA,MACT;AAAA,IACF;AACA,WAAO;AAAA,EACT;AAAA,EAEQ,sCACN,WACsD;AAEtD,UAAM,aAAa,UAAU,OAAO,qBAAqB,UAAU,IAAI,IAAI;AAG3E,UAAM,aAAa,OAAO,OAAO;AAAA,MAC/B,SAAS;AAAA,MACT,QAAQ;AAAA,IACV,CAAC;AAGD,UAAM,aAAa,OAAO,OAAO;AAAA,MAC/B,GAAI,cAAc,CAAC;AAAA,MACnB,QAAQ;AAAA,IACV,CAAC;AAGD,UAAM,kBAAkB,OAAO,OAAO,CAAC,GAAG,UAAU,SAAS,CAAC;AAE9D,WAAO,OAAO,OAAO;AAAA,MACnB,IAAI,UAAU;AAAA,MACd,OAAO,UAAU;AAAA,MACjB,GAAI,UAAU,UAAU,EAAE,SAAS,UAAU,QAAQ,IAAI,CAAC;AAAA,MAC1D,gBAAgB,UAAU;AAAA,MAC1B,QAAQ,UAAU;AAAA;AAAA,MAClB,UAAU,OAAO,OAAO,CAAC,CAAC;AAAA,MAC1B,SAAS,OAAO,OAAO,CAAC,CAAC;AAAA,MACzB,WAAW;AAAA,MACX,GAAI,UAAU,QAAQ,aAAa,EAAE,MAAM,WAAW,IAAI,CAAC;AAAA,IAC7D,CAAC;AAAA,EACH;AAAA,EAEQ,yBACN,QACA,MACS;AACT,QAAI,CAAC,QAAQ;AACX,aAAO;AAAA,IACT;AACA,QAAI,OAAO,aAAa,KAAK,YAAY,UAAU;AACjD,aAAO;AAAA,IACT;AACA,QAAI,KAAK,YAAY,eAAe,OAAO,gBAAgB,KAAK,YAAY,aAAa;AACvF,aAAO;AAAA,IACT;AACA,WAAO;AAAA,EACT;AAAA,EAEQ,2BACN,QACA,YACyC;AACzC,UAAM,iBAAiB,IAAI,IAAI,OAAO,uBAAuB;AAC7D,eAAW,aAAa,YAAY;AAClC,UAAI,CAAC,eAAe,IAAI,UAAU,cAAc,GAAG;AACjD,eAAO;AAAA,UACL;AAAA,UACA,aAAa,UAAU,EAAE,eAAe,UAAU,cAAc;AAAA,UAChE;AAAA,YACE,KAAK,uBAAuB,OAAO,wBAAwB,KAAK,IAAI,CAAC;AAAA,YACrE,MAAM;AAAA,cACJ,aAAa,UAAU;AAAA,cACvB,gBAAgB,UAAU;AAAA,cAC1B,gBAAgB,OAAO;AAAA,YACzB;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,WAAO,OAAO;AAAA,EAChB;AAAA,EAEQ,0BACN,QACA,MACyC;AACzC,UAAM,SAAS,KAAK,UAAU;AAC9B,QAAI,CAAC,QAAQ;AACX,UAAI,CAAC,QAAQ;AACX,eAAO,OAAO;AAAA,MAChB;AACA,UAAI,KAAK,yBAAyB,QAAQ,IAAI,GAAG;AAC/C,eAAO,OAAO;AAAA,MAChB;AACA,aAAO;AAAA,QACL;AAAA,QACA,6BAA6B,OAAO,QAAQ;AAAA,QAC5C;AAAA,UACE,MAAM;AAAA,YACJ,gBAAgB,OAAO;AAAA,YACvB,gBAAgB;AAAA,UAClB;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAEA,QAAI,CAAC,QAAQ;AACX,aAAO;AAAA,QACL;AAAA,QACA,sDAAsD,OAAO,QAAQ;AAAA,QACrE;AAAA,UACE,MAAM;AAAA,YACJ,wBAAwB,OAAO;AAAA,UACjC;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,QAAI,OAAO,aAAa,OAAO,UAAU;AACvC,aAAO;AAAA,QACL;AAAA,QACA,6BAA6B,OAAO,QAAQ,iCAAiC,OAAO,QAAQ;AAAA,QAC5F;AAAA,UACE,MAAM;AAAA,YACJ,gBAAgB,OAAO;AAAA,YACvB,wBAAwB,OAAO;AAAA,UACjC;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,QAAI,OAAO,eAAe,OAAO,gBAAgB,OAAO,aAAa;AACnE,aAAO;AAAA,QACL;AAAA,QACA,0CAA0C,OAAO,WAAW,8CAA8C,OAAO,WAAW;AAAA,QAC5H;AAAA,UACE,MAAM;AAAA,YACJ,mBAAmB,OAAO;AAAA,YAC1B,2BAA2B,OAAO;AAAA,UACpC;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,WAAO,OAAO;AAAA,EAChB;AAAA,EAEQ,qCACN,aACA,UACyC;AACzC,QAAI,YAAY,aAAa,SAAS,UAAU;AAC9C,aAAO;AAAA,QACL;AAAA,QACA,+BAA+B,YAAY,QAAQ,iDAAiD,SAAS,QAAQ;AAAA,QACrH;AAAA,UACE,MAAM;AAAA,YACJ,cAAc,YAAY;AAAA,YAC1B,kBAAkB,SAAS;AAAA,UAC7B;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,QACE,YAAY,eACZ,SAAS,eACT,YAAY,gBAAgB,SAAS,aACrC;AACA,aAAO;AAAA,QACL;AAAA,QACA,kCAAkC,YAAY,WAAW,oDAAoD,SAAS,WAAW;AAAA,QACjI;AAAA,UACE,MAAM;AAAA,YACJ,iBAAiB,YAAY;AAAA,YAC7B,qBAAqB,SAAS;AAAA,UAChC;AAAA,QACF;AAAA,MACF;AAAA,IACF;AACA,WAAO,OAAO;AAAA,EAChB;AAAA,EAEA,MAAc,aACZ,QACA,SACA,gBACe;AACf,UAAM,kBAAkB,2BAA2B;AAAA,MACjD,UAAU,QAAQ,KAAK,YAAY;AAAA,MACnC,aACE,QAAQ,KAAK,YAAY,eACzB,QAAQ,oBAAoB,eAC5B,QAAQ,KAAK,YAAY;AAAA,MAC3B,cAAc,QAAQ;AAAA,MACtB,kBAAkB;AAAA,MAClB,MAAM,CAAC;AAAA,IACT,CAAC;AACD,UAAM,YAAY,iBAAiB,gBAAgB,SAAS,gBAAgB;AAC5E,UAAM,KAAK,iBAAiB,QAAQ,SAAS;AAAA,EAC/C;AAAA,EAEA,MAAc,kBACZ,QACA,SACA,gBACA,oBACe;AACf,UAAM,kBAAkB,2BAA2B;AAAA,MACjD,gBAAgB,gBAAgB,YAAY;AAAA,MAC5C,mBAAmB,gBAAgB,eAAe;AAAA,MAClD,qBAAqB,QAAQ,KAAK,YAAY;AAAA,MAC9C,wBACE,QAAQ,KAAK,YAAY,eACzB,QAAQ,oBAAoB,eAC5B,QAAQ,KAAK,YAAY;AAAA,MAC3B,oBAAoB,gBAAgB,gBAAgB;AAAA,MACpD,mBAAmB,QAAQ;AAAA,MAC3B,YAAY;AAAA,IACd,CAAC;AACD,UAAM,KAAK,iBAAiB,QAAQ,eAAe;AAAA,EACrD;AAAA,EAEA,MAAc,YACZ,QACA,KACe;AACf,UAAM,OAAO,MAAM,8CAA8C,CAAC,GAAG,CAAC;AAAA,EACxE;AAAA,EAEA,MAAc,iBACZ,QACe;AACf,UAAM,OAAO,MAAM,OAAO;AAAA,EAC5B;AAAA,EAEA,MAAc,kBACZ,QACe;AACf,UAAM,OAAO,MAAM,QAAQ;AAAA,EAC7B;AAAA,EAEA,MAAc,oBACZ,QACe;AACf,UAAM,OAAO,MAAM,UAAU;AAAA,EAC/B;AAAA,EAEA,MAAc,iBACZ,QACA,WACe;AACf,QAAI,UAAU,OAAO,SAAS,GAAG;AAC/B,YAAM,OAAO,MAAM,UAAU,KAAK,UAAU,MAAM;AAClD;AAAA,IACF;AACA,UAAM,OAAO,MAAM,UAAU,GAAG;AAAA,EAClC;AACF;;;AElkBA,IAAM,2BACJ;AAAA,EACE,GAAG;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAMH,YAAY;AAAA,IACV,cAAc,SAAmC;AAC/C,aAAO,+BAA+B;AAAA,IACxC;AAAA,IACA,aAAa,QAAQ;AACnB,aAAO,8BAA8B,MAAM;AAAA,IAC7C;AAAA,EACF;AAAA,EACA,SAAmD;AACjD,WAAO;AAAA,MACL,UAAU;AAAA,MACV,UAAU;AAAA,IACZ;AAAA,EACF;AAAA;AAAA;AAAA;AAAA;AAAA,EAKA,cAAc,SAAmC;AAC/C,WAAO,+BAA+B;AAAA,EACxC;AAAA;AAAA;AAAA;AAAA;AAAA,EAKA,aAAa,QAAQ;AACnB,WAAO,8BAA8B,MAAM;AAAA,EAC7C;AACF;AAEF,IAAO,kBAAQ;","names":["verifySqlSchema","verifySqlSchema"]}

package/package.json

@@ -1,29 +1,29 @@
 {
   "name": "@prisma-next/target-postgres",
-  "version": "0.3.0-dev.9",
+  "version": "0.3.0-pr.49.6",
   "type": "module",
   "sideEffects": false,
   "description": "Postgres target pack for Prisma Next",
   "dependencies": {
     "arktype": "^2.0.0",
-    "@prisma-next/cli": "0.3.0-dev.9",
-    "@prisma-next/contract": "0.3.0-dev.9",
-    "@prisma-next/core-control-plane": "0.3.0-dev.9",
-    "@prisma-next/core-execution-plane": "0.3.0-dev.9",
-    "@prisma-next/family-sql": "0.3.0-dev.9",
-    "@prisma-next/sql-contract": "0.3.0-dev.9",
-    "@prisma-next/sql-errors": "0.3.0-dev.9",
-    "@prisma-next/sql-schema-ir": "0.3.0-dev.9",
-    "@prisma-next/utils": "0.3.0-dev.9"
+    "@prisma-next/cli": "0.3.0-pr.49.6",
+    "@prisma-next/core-control-plane": "0.3.0-pr.49.6",
+    "@prisma-next/contract": "0.3.0-pr.49.6",
+    "@prisma-next/core-execution-plane": "0.3.0-pr.49.6",
+    "@prisma-next/family-sql": "0.3.0-pr.49.6",
+    "@prisma-next/sql-contract": "0.3.0-pr.49.6",
+    "@prisma-next/sql-errors": "0.3.0-pr.49.6",
+    "@prisma-next/sql-schema-ir": "0.3.0-pr.49.6",
+    "@prisma-next/utils": "0.3.0-pr.49.6"
   },
   "devDependencies": {
-    "@vitest/coverage-v8": "4.0.16",
     "tsup": "8.5.1",
     "typescript": "5.9.3",
     "vitest": "4.0.16",
-    "@prisma-next/driver-postgres": "0.3.0-dev.9",
+    "@prisma-next/adapter-postgres": "0.3.0-pr.49.6",
+    "@prisma-next/driver-postgres": "0.3.0-pr.49.6",
     "@prisma-next/test-utils": "0.0.1",
-    "@prisma-next/adapter-postgres": "0.3.0-dev.9"
+    "@prisma-next/tsconfig": "0.0.0"
   },
   "files": [
     "dist",
@@ -49,9 +49,9 @@
     "test": "vitest run --passWithNoTests",
     "test:coverage": "vitest run --coverage --passWithNoTests",
     "typecheck": "tsc --project tsconfig.json --noEmit",
-    "lint": "biome check . --config-path ../../../../biome.json --error-on-warnings",
-    "lint:fix": "biome check --write . --config-path ../../../biome.json",
-    "lint:fix:unsafe": "biome check --write --unsafe . --config-path ../../../biome.json",
-    "clean": "node ../../../../scripts/clean.mjs"
+    "lint": "biome check . --error-on-warnings",
+    "lint:fix": "biome check --write .",
+    "lint:fix:unsafe": "biome check --write --unsafe .",
+    "clean": "rm -rf dist coverage .tmp-output"
   }
 }

package/src/core/migrations/planner.ts

@@ -11,7 +11,12 @@ import {
   plannerFailure,
   plannerSuccess,
 } from '@prisma-next/family-sql/control';
-import { arraysEqual, verifySqlSchema } from '@prisma-next/family-sql/schema-verify';
+import {
+  arraysEqual,
+  isIndexSatisfied,
+  isUniqueConstraintSatisfied,
+  verifySqlSchema,
+} from '@prisma-next/family-sql/schema-verify';
 import type {
   ForeignKey,
   SqlContract,
@@ -772,15 +777,23 @@ function tableHasPrimaryKeyCheck(
 )`;
 }
 
+/**
+ * Checks if table has a unique constraint satisfied by the given columns.
+ * Uses shared semantic satisfaction predicate from verify-helpers.
+ */
 function hasUniqueConstraint(
   table: SqlSchemaIR['tables'][string],
   columns: readonly string[],
 ): boolean {
-  return table.uniques.some((unique) => arraysEqual(unique.columns, columns));
+  return isUniqueConstraintSatisfied(table.uniques, table.indexes, columns);
 }
 
+/**
+ * Checks if table has an index satisfied by the given columns.
+ * Uses shared semantic satisfaction predicate from verify-helpers.
+ */
 function hasIndex(table: SqlSchemaIR['tables'][string], columns: readonly string[]): boolean {
-  return table.indexes.some((index) => !index.unique && arraysEqual(index.columns, columns));
+  return isIndexSatisfied(table.indexes, table.uniques, columns);
 }
 
 function hasForeignKey(table: SqlSchemaIR['tables'][string], fk: ForeignKey): boolean {