@prisma-next/target-postgres 0.14.0-dev.4 → 0.14.0-dev.41

package/dist/control.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"control.mjs","names":[],"sources":["../src/core/migrations/runner.ts","../src/core/postgres-schema-verifier.ts","../src/exports/control.ts"],"sourcesContent":["import type { Contract, 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  SqlMigrationRunnerSuccessValue,\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 type { MigrationRunnerResult } from '@prisma-next/framework-components/control';\nimport { APP_SPACE_ID } from '@prisma-next/framework-components/control';\nimport { UNBOUND_NAMESPACE_ID } from '@prisma-next/framework-components/ir';\nimport type { SqlControlDriverInstance, SqlStorage } from '@prisma-next/sql-contract/types';\nimport { SqlQueryError } from '@prisma-next/sql-errors';\nimport type { SqlExecuteRequest } from '@prisma-next/sql-relational-core/ast';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { Result } from '@prisma-next/utils/result';\nimport { notOk, ok, okVoid } from '@prisma-next/utils/result';\nimport { parsePostgresDefault } from '../default-normalizer';\nimport { normalizeSchemaNativeType } from '../native-type-normalizer';\nimport type { PostgresPlanTargetDetails } from './planner-target-details';\n\ninterface ApplyPlanSuccessValue {\n  readonly operationsExecuted: number;\n  readonly executedOperations: readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[];\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      cloned[key] = Object.freeze([...val]);\n    } else if (typeof val === 'object') {\n      cloned[key] = cloneAndFreezeRecord(val as Record<string, unknown>);\n    } else {\n      cloned[key] = val;\n    }\n  }\n  return Object.freeze(cloned) as T;\n}\n\nexport function createPostgresMigrationRunner(\n  family: SqlControlFamilyInstance,\n): SqlMigrationRunner<PostgresPlanTargetDetails> {\n  return new PostgresMigrationRunner(family);\n}\n\nclass PostgresMigrationRunner implements SqlMigrationRunner<PostgresPlanTargetDetails> {\n  constructor(private readonly family: SqlControlFamilyInstance) {}\n\n  /**\n   * Body of the migration runner without transaction management. The\n   * caller ({@link PostgresMigrationRunner.execute}) owns the\n   * `BEGIN`/`COMMIT`/`ROLLBACK` lifecycle.\n   */\n  async executeOnConnection(\n    options: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>,\n  ): Promise<SqlMigrationRunnerResult> {\n    const schema =\n      options.schemaName ??\n      Object.keys(options.destinationContract.storage.namespaces).find(\n        (id) => id !== UNBOUND_NAMESPACE_ID,\n      ) ??\n      UNBOUND_NAMESPACE_ID;\n    const driver = options.driver;\n    if (options.space !== undefined && options.space !== options.plan.spaceId) {\n      throw new Error(\n        `SqlMigrationRunner: options.space (${options.space}) does not match plan.spaceId (${options.plan.spaceId})`,\n      );\n    }\n    const space = options.plan.spaceId;\n    const lockKey = `${LOCK_DOMAIN}:${schema}:${space}`;\n\n    // Materialize any async ops before running checks or executing.\n    const planOps = blindCast<\n      readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[],\n      'ops were produced by the PG planner and are SqlMigrationPlanOperation<PostgresPlanTargetDetails>; MigrationPlan.operations uses the wider framework type to accommodate Promise covariance'\n    >(await Promise.all(options.plan.operations));\n\n    // Static checks (idempotent — safe to run again when the caller is\n    // `execute(...)` because the cost is a single object comparison).\n    const destinationCheck = this.ensurePlanMatchesDestinationContract(\n      options.plan.destination,\n      options.destinationContract,\n    );\n    if (!destinationCheck.ok) return destinationCheck;\n\n    const policyCheck = this.enforcePolicyCompatibility(options.policy, planOps);\n    if (!policyCheck.ok) return policyCheck;\n\n    await this.acquireLock(driver, lockKey);\n    const ensureResult = await this.ensureControlTables(driver, options.destinationContract);\n    if (!ensureResult.ok) return ensureResult;\n    const existingMarker = await this.family.readMarker({ driver, space });\n\n    const markerCheck = this.ensureMarkerCompatibility(existingMarker, options.plan);\n    if (!markerCheck.ok) return markerCheck;\n\n    const markerAtDestination = this.markerMatchesDestination(existingMarker, options.plan);\n    const isSelfEdge = options.plan.origin?.storageHash === options.plan.destination.storageHash;\n    const skipOperations = markerAtDestination && options.plan.origin != null && !isSelfEdge;\n    let applyValue: ApplyPlanSuccessValue;\n\n    if (skipOperations) {\n      applyValue = { operationsExecuted: 0, executedOperations: [] };\n    } else {\n      const applyResult = await this.applyPlan(driver, options, planOps);\n      if (!applyResult.ok) return applyResult;\n      applyValue = applyResult.value;\n    }\n\n    // Schema verification on app-space only — extension spaces don't\n    // own user-facing tables in the live schema, and `verifySqlSchema`\n    // matches the destination contract against the database, which\n    // would flag every app-space table as \"extra\" when called against\n    // an extension contract.\n    if (space === APP_SPACE_ID) {\n      const schemaIR = await this.family.introspect({\n        driver,\n        contract: options.destinationContract,\n      });\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        normalizeDefault: parsePostgresDefault,\n        normalizeNativeType: normalizeSchemaNativeType,\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: { issues: schemaVerifyResult.schema.issues },\n        });\n      }\n    }\n\n    const incomingInvariants = options.plan.providedInvariants ?? [];\n    const existingInvariants = new Set(existingMarker?.invariants ?? []);\n    const incomingIsSubsetOfExisting = incomingInvariants.every((id) => existingInvariants.has(id));\n    const isSelfEdgeNoOp =\n      isSelfEdge && applyValue.operationsExecuted === 0 && incomingIsSubsetOfExisting;\n\n    if (!isSelfEdgeNoOp) {\n      const markerResult = await this.upsertMarker(driver, options, existingMarker, space);\n      if (!markerResult.ok) return markerResult;\n      await this.recordLedgerEntries(\n        driver,\n        options,\n        applyValue.executedOperations,\n        planOps.length,\n      );\n    }\n\n    return runnerSuccess({\n      operationsPlanned: planOps.length,\n      operationsExecuted: applyValue.operationsExecuted,\n    });\n  }\n\n  async execute(options: {\n    readonly driver: SqlControlDriverInstance<string>;\n    readonly perSpaceOptions: ReadonlyArray<\n      SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>\n    >;\n  }): Promise<MigrationRunnerResult> {\n    const driver = options.driver;\n    const perSpaceOptions = options.perSpaceOptions;\n\n    if (perSpaceOptions.length === 0) {\n      return ok({ perSpaceResults: [] });\n    }\n\n    await this.beginTransaction(driver);\n    let committed = false;\n    try {\n      const perSpaceResults: Array<{\n        space: string;\n        value: SqlMigrationRunnerSuccessValue;\n      }> = [];\n      for (const spaceOptions of perSpaceOptions) {\n        const space = spaceOptions.space ?? spaceOptions.plan.spaceId;\n        const result = await this.executeOnConnection({ ...spaceOptions, driver, space });\n        if (!result.ok) {\n          return notOk({ ...result.failure, failingSpace: space });\n        }\n        perSpaceResults.push({ space, value: result.value });\n      }\n\n      await this.commitTransaction(driver);\n      committed = true;\n      return ok({ perSpaceResults });\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    ops: readonly SqlMigrationPlanOperation<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 ops) {\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    contract: Contract<SqlStorage>,\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    const lowererContext = { contract };\n    const bootstrapQueries = this.family.bootstrapControlTableQueries();\n    const [schemaQuery, ...tableQueries] = bootstrapQueries;\n    if (schemaQuery === undefined) {\n      throw new Error('Postgres control-table bootstrap must include CREATE SCHEMA');\n    }\n    await this.executeStatement(driver, await this.family.lowerAst(schemaQuery, lowererContext));\n    const legacyDetection = await this.detectLegacyMarkerShape(driver);\n    if (!legacyDetection.ok) {\n      return legacyDetection;\n    }\n    for (const query of tableQueries) {\n      await this.executeStatement(driver, await this.family.lowerAst(query, lowererContext));\n    }\n    return okVoid();\n  }\n\n  private async detectLegacyMarkerShape(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    const result = await driver.query<{ column_name: string }>(\n      `select column_name\n         from information_schema.columns\n        where table_schema = 'prisma_contract'\n          and table_name = 'marker'`,\n    );\n    if (result.rows.length === 0) {\n      return okVoid();\n    }\n    const columns = new Set(result.rows.map((row) => row.column_name));\n    if (columns.has('space')) {\n      return okVoid();\n    }\n    return runnerFailure(\n      'LEGACY_MARKER_SHAPE',\n      'Legacy marker-table shape detected on prisma_contract.marker (no `space` column). ' +\n        'Prisma Next is in pre-1.0; the previous transitional auto-migration to the per-space-row schema has been removed. ' +\n        'Drop `prisma_contract.marker` and re-run `dbInit` to reinitialise from a clean baseline.',\n      {\n        meta: {\n          table: 'prisma_contract.marker',\n          columns: [...columns].sort(),\n        },\n      },\n    );\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, step.params ?? []);\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, step.params ?? []);\n      } catch (error: unknown) {\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        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, step.params ?? []);\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      ...ifDefined('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      ...ifDefined('meta', operation.meta || mergedMeta ? mergedMeta : undefined),\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.storageHash !== plan.destination.storageHash) {\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      // No origin assertion on the plan — the caller does not want origin validation.\n      // This is the case for `db update`, which introspects the live schema and does not\n      // rely on marker continuity. `db init` handles its own marker checks before the runner.\n      return okVoid();\n    }\n\n    if (!marker) {\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Missing contract marker: expected origin storage hash ${origin.storageHash}.`,\n        {\n          meta: {\n            expectedOriginStorageHash: origin.storageHash,\n          },\n        },\n      );\n    }\n    if (marker.storageHash !== origin.storageHash) {\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Existing contract marker (${marker.storageHash}) does not match plan origin (${origin.storageHash}).`,\n        {\n          meta: {\n            markerStorageHash: marker.storageHash,\n            expectedOriginStorageHash: origin.storageHash,\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.storageHash !== contract.storage.storageHash) {\n      return runnerFailure(\n        'DESTINATION_CONTRACT_MISMATCH',\n        `Plan destination storage hash (${destination.storageHash}) does not match provided contract storage hash (${contract.storage.storageHash}).`,\n        {\n          meta: {\n            planStorageHash: destination.storageHash,\n            contractStorageHash: contract.storage.storageHash,\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    space: string,\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    const destination = {\n      storageHash: options.plan.destination.storageHash,\n      profileHash:\n        options.plan.destination.profileHash ??\n        options.destinationContract.profileHash ??\n        options.plan.destination.storageHash,\n      invariants: options.plan.providedInvariants ?? [],\n    };\n    if (!existingMarker) {\n      await this.family.initMarker({ driver, space, destination });\n      return okVoid();\n    }\n    const updated = await this.family.updateMarker({\n      driver,\n      space,\n      expectedFrom: existingMarker.storageHash,\n      destination,\n    });\n    if (!updated) {\n      return runnerFailure(\n        'MARKER_CAS_FAILURE',\n        'Marker was modified by another process during migration execution.',\n        {\n          meta: {\n            space,\n            expectedStorageHash: existingMarker.storageHash,\n            destinationStorageHash: options.plan.destination.storageHash,\n          },\n        },\n      );\n    }\n    return okVoid();\n  }\n\n  private async recordLedgerEntries(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    options: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>,\n    executedOperations: readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[],\n    planOpsLength: number,\n  ): Promise<void> {\n    const plan = options.plan;\n    const space = plan.spaceId;\n    const edges = options.migrationEdges;\n    const totalEdgeOps = edges.reduce((sum, edge) => sum + edge.operationCount, 0);\n    if (totalEdgeOps !== planOpsLength) {\n      throw new Error(\n        `Ledger write: plan.operations length (${planOpsLength}) does not match sum of migrationEdges operationCount (${totalEdgeOps})`,\n      );\n    }\n    // The ledger records the operations as executed — idempotency-skipped ops\n    // are substituted with skip records (empty `execute`) by `applyPlan`, so the\n    // journal reflects what actually ran rather than the raw plan.\n    let offset = 0;\n    for (const edge of edges) {\n      const edgeOps = executedOperations.slice(offset, offset + edge.operationCount);\n      offset += edge.operationCount;\n      await this.family.writeLedgerEntry({\n        driver,\n        space,\n        entry: {\n          edgeId: `${edge.from}->${edge.to}`,\n          from: edge.from,\n          to: edge.to,\n          migrationName: edge.dirName,\n          migrationHash: edge.migrationHash,\n          operations: edgeOps,\n        },\n      });\n    }\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: SqlExecuteRequest,\n  ): Promise<void> {\n    await driver.query(statement.sql, statement.params);\n  }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport { SqlSchemaVerifierBase } from '@prisma-next/family-sql/ir';\nimport type { SchemaIssue, SchemaVerifyOptions } from '@prisma-next/framework-components/control';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\n\n/**\n * Postgres target `SchemaVerifier` concretion. Plugs into the\n * SQL-shared verification surface; production verification today still\n * routes through the legacy `verifySqlSchema` entry point, which\n * carries options (codec hooks, normalizers, framework components)\n * that the framework-level `SchemaVerifyOptions` shape does not yet\n * surface.\n *\n * The hooks return the empty list pending the call-site migration that\n * routes the existing verifier behaviour through the SPI — at that\n * point `verifyCommonSqlSchema` will likely lift onto the family base\n * (mirroring `verifyCommonMongoSchema`) and `verifyTargetExtensions`\n * will house Postgres-only kinds (functions, RLS policies in a future\n * project).\n */\nexport class PostgresSchemaVerifier extends SqlSchemaVerifierBase<\n  Contract<SqlStorage>,\n  SqlSchemaIR\n> {\n  protected verifyCommonSqlSchema(\n    _options: SchemaVerifyOptions<Contract<SqlStorage>, SqlSchemaIR>,\n  ): readonly SchemaIssue[] {\n    return [];\n  }\n\n  protected verifyTargetExtensions(\n    _options: SchemaVerifyOptions<Contract<SqlStorage>, SqlSchemaIR>,\n  ): readonly SchemaIssue[] {\n    return [];\n  }\n}\n","import type { ColumnDefault, Contract } from '@prisma-next/contract/types';\nimport type { SqlControlTargetDescriptor } from '@prisma-next/family-sql/control';\nimport { contractToSchemaIR, extractCodecControlHooks } from '@prisma-next/family-sql/control';\nimport type { SqlControlAdapter } from '@prisma-next/family-sql/control-adapter';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlTargetInstance,\n  MigrationRunner,\n} from '@prisma-next/framework-components/control';\nimport type { SqlStorage, StorageColumn } from '@prisma-next/sql-contract/types';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { postgresTargetDescriptorMeta } from '../core/descriptor-meta';\nimport { createPostgresMigrationPlanner } from '../core/migrations/planner';\nimport { renderDefaultLiteral } from '../core/migrations/planner-ddl-builders';\nimport type { PostgresPlanTargetDetails } from '../core/migrations/planner-target-details';\nimport { createPostgresMigrationRunner } from '../core/migrations/runner';\nimport { PostgresContractSerializer } from '../core/postgres-contract-serializer';\nimport { PostgresSchemaVerifier } from '../core/postgres-schema-verifier';\n\nfunction buildNativeTypeExpander(\n  frameworkComponents?: ReadonlyArray<TargetBoundComponentDescriptor<'sql', 'postgres'>>,\n) {\n  if (!frameworkComponents) {\n    return undefined;\n  }\n  const codecHooks = extractCodecControlHooks(frameworkComponents);\n  return (input: {\n    readonly nativeType: string;\n    readonly codecId?: string;\n    readonly typeParams?: Record<string, unknown>;\n  }) => {\n    if (!input.typeParams) return input.nativeType;\n    if (!input.codecId) return input.nativeType;\n    const hooks = codecHooks.get(input.codecId);\n    if (!hooks?.expandNativeType) return input.nativeType;\n    return hooks.expandNativeType(input);\n  };\n}\n\nexport function postgresRenderDefault(def: ColumnDefault, column: StorageColumn): string {\n  if (def.kind === 'function') {\n    return def.expression;\n  }\n  return renderDefaultLiteral(def.value, column);\n}\n\nconst postgresTargetDescriptor: SqlControlTargetDescriptor<'postgres', PostgresPlanTargetDetails> =\n  {\n    ...postgresTargetDescriptorMeta,\n    contractSerializer: new PostgresContractSerializer(),\n    schemaVerifier: new PostgresSchemaVerifier(),\n    migrations: {\n      createPlanner(adapter: SqlControlAdapter<'postgres'>) {\n        return createPostgresMigrationPlanner(adapter);\n      },\n      createRunner(family) {\n        return createPostgresMigrationRunner(family) as MigrationRunner<'sql', 'postgres'>;\n      },\n      contractToSchema(contract, frameworkComponents) {\n        const expander = buildNativeTypeExpander(frameworkComponents);\n        // Blind cast: the framework SPI signature\n        // (`control-migration-types.ts § contractToSchema`) types\n        // `contract` as the generic `Contract | null`. Inside the\n        // postgres target descriptor we know any contract reaching\n        // this method is SQL-family — the family contract resolver\n        // would have refused to construct a postgres target binding\n        // otherwise — so we narrow the generic to\n        // `Contract<SqlStorage>` for the lowering call.\n        return contractToSchemaIR(contract as unknown as Contract<SqlStorage> | null, {\n          annotationNamespace: 'pg',\n          ...ifDefined('expandNativeType', expander),\n          renderDefault: postgresRenderDefault,\n        });\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(adapter: SqlControlAdapter<'postgres'>) {\n      return createPostgresMigrationPlanner(adapter);\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":";;;;;;;;;;;;;;;;AAkCA,MAAM,cAAc;;;;;AAMpB,SAAS,qBAAwD,OAAa;CAC5E,MAAM,SAAkC,CAAC;CACzC,KAAK,MAAM,CAAC,KAAK,QAAQ,OAAO,QAAQ,KAAK,GAC3C,IAAI,QAAQ,QAAQ,QAAQ,KAAA,GAC1B,OAAO,OAAO;MACT,IAAI,MAAM,QAAQ,GAAG,GAC1B,OAAO,OAAO,OAAO,OAAO,CAAC,GAAG,GAAG,CAAC;MAC/B,IAAI,OAAO,QAAQ,UACxB,OAAO,OAAO,qBAAqB,GAA8B;MAEjE,OAAO,OAAO;CAGlB,OAAO,OAAO,OAAO,MAAM;AAC7B;AAEA,SAAgB,8BACd,QAC+C;CAC/C,OAAO,IAAI,wBAAwB,MAAM;AAC3C;AAEA,IAAM,0BAAN,MAAuF;CACxD;CAA7B,YAAY,QAAmD;EAAlC,KAAA,SAAA;CAAmC;;;;;;CAOhE,MAAM,oBACJ,SACmC;EACnC,MAAM,SACJ,QAAQ,cACR,OAAO,KAAK,QAAQ,oBAAoB,QAAQ,UAAU,CAAC,CAAC,MACzD,OAAO,OAAO,oBACjB,KACA;EACF,MAAM,SAAS,QAAQ;EACvB,IAAI,QAAQ,UAAU,KAAA,KAAa,QAAQ,UAAU,QAAQ,KAAK,SAChE,MAAM,IAAI,MACR,sCAAsC,QAAQ,MAAM,iCAAiC,QAAQ,KAAK,QAAQ,EAC5G;EAEF,MAAM,QAAQ,QAAQ,KAAK;EAC3B,MAAM,UAAU,GAAG,YAAY,GAAG,OAAO,GAAG;EAG5C,MAAM,UAAU,UAGd,MAAM,QAAQ,IAAI,QAAQ,KAAK,UAAU,CAAC;EAI5C,MAAM,mBAAmB,KAAK,qCAC5B,QAAQ,KAAK,aACb,QAAQ,mBACV;EACA,IAAI,CAAC,iBAAiB,IAAI,OAAO;EAEjC,MAAM,cAAc,KAAK,2BAA2B,QAAQ,QAAQ,OAAO;EAC3E,IAAI,CAAC,YAAY,IAAI,OAAO;EAE5B,MAAM,KAAK,YAAY,QAAQ,OAAO;EACtC,MAAM,eAAe,MAAM,KAAK,oBAAoB,QAAQ,QAAQ,mBAAmB;EACvF,IAAI,CAAC,aAAa,IAAI,OAAO;EAC7B,MAAM,iBAAiB,MAAM,KAAK,OAAO,WAAW;GAAE;GAAQ;EAAM,CAAC;EAErE,MAAM,cAAc,KAAK,0BAA0B,gBAAgB,QAAQ,IAAI;EAC/E,IAAI,CAAC,YAAY,IAAI,OAAO;EAE5B,MAAM,sBAAsB,KAAK,yBAAyB,gBAAgB,QAAQ,IAAI;EACtF,MAAM,aAAa,QAAQ,KAAK,QAAQ,gBAAgB,QAAQ,KAAK,YAAY;EACjF,MAAM,iBAAiB,uBAAuB,QAAQ,KAAK,UAAU,QAAQ,CAAC;EAC9E,IAAI;EAEJ,IAAI,gBACF,aAAa;GAAE,oBAAoB;GAAG,oBAAoB,CAAC;EAAE;OACxD;GACL,MAAM,cAAc,MAAM,KAAK,UAAU,QAAQ,SAAS,OAAO;GACjE,IAAI,CAAC,YAAY,IAAI,OAAO;GAC5B,aAAa,YAAY;EAC3B;EAOA,IAAI,UAAU,cAAc;GAC1B,MAAM,WAAW,MAAM,KAAK,OAAO,WAAW;IAC5C;IACA,UAAU,QAAQ;GACpB,CAAC;GACD,MAAM,qBAAqB,gBAAgB;IACzC,UAAU,QAAQ;IAClB,QAAQ;IACR,QAAQ,QAAQ,sBAAsB;IACtC,SAAS,QAAQ,WAAW,CAAC;IAC7B,sBAAsB,KAAK,OAAO;IAClC,qBAAqB,QAAQ;IAC7B,kBAAkB;IAClB,qBAAqB;GACvB,CAAC;GACD,IAAI,CAAC,mBAAmB,IACtB,OAAO,cAAc,wBAAwB,mBAAmB,SAAS;IACvE,KAAK;IACL,MAAM,EAAE,QAAQ,mBAAmB,OAAO,OAAO;GACnD,CAAC;EAEL;EAEA,MAAM,qBAAqB,QAAQ,KAAK,sBAAsB,CAAC;EAC/D,MAAM,qBAAqB,IAAI,IAAI,gBAAgB,cAAc,CAAC,CAAC;EACnE,MAAM,6BAA6B,mBAAmB,OAAO,OAAO,mBAAmB,IAAI,EAAE,CAAC;EAI9F,IAAI,EAFF,cAAc,WAAW,uBAAuB,KAAK,6BAElC;GACnB,MAAM,eAAe,MAAM,KAAK,aAAa,QAAQ,SAAS,gBAAgB,KAAK;GACnF,IAAI,CAAC,aAAa,IAAI,OAAO;GAC7B,MAAM,KAAK,oBACT,QACA,SACA,WAAW,oBACX,QAAQ,MACV;EACF;EAEA,OAAO,cAAc;GACnB,mBAAmB,QAAQ;GAC3B,oBAAoB,WAAW;EACjC,CAAC;CACH;CAEA,MAAM,QAAQ,SAKqB;EACjC,MAAM,SAAS,QAAQ;EACvB,MAAM,kBAAkB,QAAQ;EAEhC,IAAI,gBAAgB,WAAW,GAC7B,OAAO,GAAG,EAAE,iBAAiB,CAAC,EAAE,CAAC;EAGnC,MAAM,KAAK,iBAAiB,MAAM;EAClC,IAAI,YAAY;EAChB,IAAI;GACF,MAAM,kBAGD,CAAC;GACN,KAAK,MAAM,gBAAgB,iBAAiB;IAC1C,MAAM,QAAQ,aAAa,SAAS,aAAa,KAAK;IACtD,MAAM,SAAS,MAAM,KAAK,oBAAoB;KAAE,GAAG;KAAc;KAAQ;IAAM,CAAC;IAChF,IAAI,CAAC,OAAO,IACV,OAAO,MAAM;KAAE,GAAG,OAAO;KAAS,cAAc;IAAM,CAAC;IAEzD,gBAAgB,KAAK;KAAE;KAAO,OAAO,OAAO;IAAM,CAAC;GACrD;GAEA,MAAM,KAAK,kBAAkB,MAAM;GACnC,YAAY;GACZ,OAAO,GAAG,EAAE,gBAAgB,CAAC;EAC/B,UAAU;GACR,IAAI,CAAC,WACH,MAAM,KAAK,oBAAoB,MAAM;EAEzC;CACF;CAEA,MAAc,UACZ,QACA,SACA,KACmE;EACnE,MAAM,SAAS,QAAQ;EACvB,MAAM,eAAe,QAAQ,cAAc;EAC3C,MAAM,gBAAgB,QAAQ,eAAe;EAC7C,MAAM,iBAAiB,QAAQ,sBAAsB;EAErD,IAAI,qBAAqB;EACzB,MAAM,qBAAkF,CAAC;EACzF,KAAK,MAAM,aAAa,KAAK;GAC3B,QAAQ,WAAW,mBAAmB,SAAS;GAC/C,IAAI;IAEF,IAAI,iBAAiB;SAKf,MAJoC,KAAK,yBAC3C,QACA,UAAU,SACZ,GAC+B;MAC7B,mBAAmB,KAAK,KAAK,sCAAsC,SAAS,CAAC;MAC7E;KACF;;IAIF,IAAI,cAAc;KAChB,MAAM,iBAAiB,MAAM,KAAK,oBAChC,QACA,UAAU,UACV,WACA,UACF;KACA,IAAI,CAAC,eAAe,IAClB,OAAO;IAEX;IAEA,MAAM,gBAAgB,MAAM,KAAK,gBAAgB,QAAQ,UAAU,SAAS,SAAS;IACrF,IAAI,CAAC,cAAc,IACjB,OAAO;IAIT,IAAI,eAAe;KACjB,MAAM,kBAAkB,MAAM,KAAK,oBACjC,QACA,UAAU,WACV,WACA,WACF;KACA,IAAI,CAAC,gBAAgB,IACnB,OAAO;IAEX;IAEA,mBAAmB,KAAK,SAAS;IACjC,sBAAsB;GACxB,UAAU;IACR,QAAQ,WAAW,sBAAsB,SAAS;GACpD;EACF;EACA,OAAO,GAAG;GAAE;GAAoB;EAAmB,CAAC;CACtD;CAEA,MAAc,oBACZ,QACA,UACkD;EAClD,MAAM,iBAAiB,EAAE,SAAS;EAElC,MAAM,CAAC,aAAa,GAAG,gBADE,KAAK,OAAO,6BACiB;EACtD,IAAI,gBAAgB,KAAA,GAClB,MAAM,IAAI,MAAM,6DAA6D;EAE/E,MAAM,KAAK,iBAAiB,QAAQ,MAAM,KAAK,OAAO,SAAS,aAAa,cAAc,CAAC;EAC3F,MAAM,kBAAkB,MAAM,KAAK,wBAAwB,MAAM;EACjE,IAAI,CAAC,gBAAgB,IACnB,OAAO;EAET,KAAK,MAAM,SAAS,cAClB,MAAM,KAAK,iBAAiB,QAAQ,MAAM,KAAK,OAAO,SAAS,OAAO,cAAc,CAAC;EAEvF,OAAO,OAAO;CAChB;CAEA,MAAc,wBACZ,QACkD;EAClD,MAAM,SAAS,MAAM,OAAO,MAC1B;;;oCAIF;EACA,IAAI,OAAO,KAAK,WAAW,GACzB,OAAO,OAAO;EAEhB,MAAM,UAAU,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,WAAW,CAAC;EACjE,IAAI,QAAQ,IAAI,OAAO,GACrB,OAAO,OAAO;EAEhB,OAAO,cACL,uBACA,gSAGA,EACE,MAAM;GACJ,OAAO;GACP,SAAS,CAAC,GAAG,OAAO,CAAC,CAAC,KAAK;EAC7B,EACF,CACF;CACF;CAEA,MAAc,oBACZ,QACA,OACA,WACA,OACkD;EAClD,KAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,SAAS,MAAM,OAAO,MAAM,KAAK,KAAK,KAAK,UAAU,CAAC,CAAC;GAC7D,IAAI,CAAC,KAAK,iBAAiB,OAAO,IAAI,GAEpC,OAAO,cADM,UAAU,aAAa,oBAAoB,oBAGtD,aAAa,UAAU,GAAG,iBAAiB,MAAM,IAAI,KAAK,eAC1D,EACE,MAAM;IACJ,aAAa,UAAU;IACvB;IACA,iBAAiB,KAAK;GACxB,EACF,CACF;EAEJ;EACA,OAAO,OAAO;CAChB;CAEA,MAAc,gBACZ,QACA,OACA,WACkD;EAClD,KAAK,MAAM,QAAQ,OACjB,IAAI;GACF,MAAM,OAAO,MAAM,KAAK,KAAK,KAAK,UAAU,CAAC,CAAC;EAChD,SAAS,OAAgB;GACvB,IAAI,cAAc,GAAG,KAAK,GACxB,OAAO,cACL,oBACA,aAAa,UAAU,GAAG,4BAA4B,KAAK,eAC3D;IACE,KAAK,MAAM;IACX,MAAM;KACJ,aAAa,UAAU;KACvB,iBAAiB,KAAK;KACtB,KAAK,KAAK;KACV,UAAU,MAAM;KAChB,YAAY,MAAM;KAClB,OAAO,MAAM;KACb,QAAQ,MAAM;KACd,QAAQ,MAAM;IAChB;GACF,CACF;GAEF,MAAM;EACR;EAEF,OAAO,OAAO;CAChB;CAEA,iBAAyB,MAAmD;EAC1E,IAAI,CAAC,QAAQ,KAAK,WAAW,GAC3B,OAAO;EAET,MAAM,WAAW,KAAK;EACtB,MAAM,aAAa,WAAW,OAAO,OAAO,QAAQ,CAAC,CAAC,KAAK,KAAA;EAC3D,IAAI,OAAO,eAAe,WACxB,OAAO;EAET,IAAI,OAAO,eAAe,UACxB,OAAO,eAAe;EAExB,IAAI,OAAO,eAAe,UAAU;GAClC,MAAM,QAAQ,WAAW,YAAY;GAErC,IAAI,UAAU,OAAO,UAAU,UAAU,UAAU,KACjD,OAAO;GAET,IAAI,UAAU,OAAO,UAAU,WAAW,UAAU,KAClD,OAAO;GAGT,OAAO,WAAW,SAAS;EAC7B;EACA,OAAO,QAAQ,UAAU;CAC3B;CAEA,MAAc,yBACZ,QACA,OACkB;EAClB,IAAI,MAAM,WAAW,GACnB,OAAO;EAET,KAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,SAAS,MAAM,OAAO,MAAM,KAAK,KAAK,KAAK,UAAU,CAAC,CAAC;GAC7D,IAAI,CAAC,KAAK,iBAAiB,OAAO,IAAI,GACpC,OAAO;EAEX;EACA,OAAO;CACT;CAEA,sCACE,WACsD;EAEtD,MAAM,aAAa,UAAU,OAAO,qBAAqB,UAAU,IAAI,IAAI,KAAA;EAG3E,MAAM,aAAa,OAAO,OAAO;GAC/B,SAAS;GACT,QAAQ;EACV,CAAC;EAGD,MAAM,aAAa,OAAO,OAAO;GAC/B,GAAI,cAAc,CAAC;GACnB,QAAQ;EACV,CAAC;EAGD,MAAM,kBAAkB,OAAO,OAAO,CAAC,GAAG,UAAU,SAAS,CAAC;EAE9D,OAAO,OAAO,OAAO;GACnB,IAAI,UAAU;GACd,OAAO,UAAU;GACjB,GAAG,UAAU,WAAW,UAAU,OAAO;GACzC,gBAAgB,UAAU;GAC1B,QAAQ,UAAU;GAClB,UAAU,OAAO,OAAO,CAAC,CAAC;GAC1B,SAAS,OAAO,OAAO,CAAC,CAAC;GACzB,WAAW;GACX,GAAG,UAAU,QAAQ,UAAU,QAAQ,aAAa,aAAa,KAAA,CAAS;EAC5E,CAAC;CACH;CAEA,yBACE,QACA,MACS;EACT,IAAI,CAAC,QACH,OAAO;EAET,IAAI,OAAO,gBAAgB,KAAK,YAAY,aAC1C,OAAO;EAET,IAAI,KAAK,YAAY,eAAe,OAAO,gBAAgB,KAAK,YAAY,aAC1E,OAAO;EAET,OAAO;CACT;CAEA,2BACE,QACA,YACyC;EACzC,MAAM,iBAAiB,IAAI,IAAI,OAAO,uBAAuB;EAC7D,KAAK,MAAM,aAAa,YACtB,IAAI,CAAC,eAAe,IAAI,UAAU,cAAc,GAC9C,OAAO,cACL,oBACA,aAAa,UAAU,GAAG,cAAc,UAAU,eAAe,oCACjE;GACE,KAAK,uBAAuB,OAAO,wBAAwB,KAAK,IAAI,EAAE;GACtE,MAAM;IACJ,aAAa,UAAU;IACvB,gBAAgB,UAAU;IAC1B,gBAAgB,OAAO;GACzB;EACF,CACF;EAGJ,OAAO,OAAO;CAChB;CAEA,0BACE,QACA,MACyC;EACzC,MAAM,SAAS,KAAK,UAAU;EAC9B,IAAI,CAAC,QAIH,OAAO,OAAO;EAGhB,IAAI,CAAC,QACH,OAAO,cACL,0BACA,yDAAyD,OAAO,YAAY,IAC5E,EACE,MAAM,EACJ,2BAA2B,OAAO,YACpC,EACF,CACF;EAEF,IAAI,OAAO,gBAAgB,OAAO,aAChC,OAAO,cACL,0BACA,6BAA6B,OAAO,YAAY,gCAAgC,OAAO,YAAY,KACnG,EACE,MAAM;GACJ,mBAAmB,OAAO;GAC1B,2BAA2B,OAAO;EACpC,EACF,CACF;EAEF,IAAI,OAAO,eAAe,OAAO,gBAAgB,OAAO,aACtD,OAAO,cACL,0BACA,0CAA0C,OAAO,YAAY,6CAA6C,OAAO,YAAY,KAC7H,EACE,MAAM;GACJ,mBAAmB,OAAO;GAC1B,2BAA2B,OAAO;EACpC,EACF,CACF;EAEF,OAAO,OAAO;CAChB;CAEA,qCACE,aACA,UACyC;EACzC,IAAI,YAAY,gBAAgB,SAAS,QAAQ,aAC/C,OAAO,cACL,iCACA,kCAAkC,YAAY,YAAY,mDAAmD,SAAS,QAAQ,YAAY,KAC1I,EACE,MAAM;GACJ,iBAAiB,YAAY;GAC7B,qBAAqB,SAAS,QAAQ;EACxC,EACF,CACF;EAEF,IACE,YAAY,eACZ,SAAS,eACT,YAAY,gBAAgB,SAAS,aAErC,OAAO,cACL,iCACA,kCAAkC,YAAY,YAAY,mDAAmD,SAAS,YAAY,KAClI,EACE,MAAM;GACJ,iBAAiB,YAAY;GAC7B,qBAAqB,SAAS;EAChC,EACF,CACF;EAEF,OAAO,OAAO;CAChB;CAEA,MAAc,aACZ,QACA,SACA,gBACA,OACkD;EAClD,MAAM,cAAc;GAClB,aAAa,QAAQ,KAAK,YAAY;GACtC,aACE,QAAQ,KAAK,YAAY,eACzB,QAAQ,oBAAoB,eAC5B,QAAQ,KAAK,YAAY;GAC3B,YAAY,QAAQ,KAAK,sBAAsB,CAAC;EAClD;EACA,IAAI,CAAC,gBAAgB;GACnB,MAAM,KAAK,OAAO,WAAW;IAAE;IAAQ;IAAO;GAAY,CAAC;GAC3D,OAAO,OAAO;EAChB;EAOA,IAAI,CAAC,MANiB,KAAK,OAAO,aAAa;GAC7C;GACA;GACA,cAAc,eAAe;GAC7B;EACF,CAAC,GAEC,OAAO,cACL,sBACA,sEACA,EACE,MAAM;GACJ;GACA,qBAAqB,eAAe;GACpC,wBAAwB,QAAQ,KAAK,YAAY;EACnD,EACF,CACF;EAEF,OAAO,OAAO;CAChB;CAEA,MAAc,oBACZ,QACA,SACA,oBACA,eACe;EAEf,MAAM,QADO,QAAQ,KACF;EACnB,MAAM,QAAQ,QAAQ;EACtB,MAAM,eAAe,MAAM,QAAQ,KAAK,SAAS,MAAM,KAAK,gBAAgB,CAAC;EAC7E,IAAI,iBAAiB,eACnB,MAAM,IAAI,MACR,yCAAyC,cAAc,yDAAyD,aAAa,EAC/H;EAKF,IAAI,SAAS;EACb,KAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,UAAU,mBAAmB,MAAM,QAAQ,SAAS,KAAK,cAAc;GAC7E,UAAU,KAAK;GACf,MAAM,KAAK,OAAO,iBAAiB;IACjC;IACA;IACA,OAAO;KACL,QAAQ,GAAG,KAAK,KAAK,IAAI,KAAK;KAC9B,MAAM,KAAK;KACX,IAAI,KAAK;KACT,eAAe,KAAK;KACpB,eAAe,KAAK;KACpB,YAAY;IACd;GACF,CAAC;EACH;CACF;CAEA,MAAc,YACZ,QACA,KACe;EACf,MAAM,OAAO,MAAM,8CAA8C,CAAC,GAAG,CAAC;CACxE;CAEA,MAAc,iBACZ,QACe;EACf,MAAM,OAAO,MAAM,OAAO;CAC5B;CAEA,MAAc,kBACZ,QACe;EACf,MAAM,OAAO,MAAM,QAAQ;CAC7B;CAEA,MAAc,oBACZ,QACe;EACf,MAAM,OAAO,MAAM,UAAU;CAC/B;CAEA,MAAc,iBACZ,QACA,WACe;EACf,MAAM,OAAO,MAAM,UAAU,KAAK,UAAU,MAAM;CACpD;AACF;;;;;;;;;;;;;;;;;;AC3qBA,IAAa,yBAAb,cAA4C,sBAG1C;CACA,sBACE,UACwB;EACxB,OAAO,CAAC;CACV;CAEA,uBACE,UACwB;EACxB,OAAO,CAAC;CACV;AACF;;;ACjBA,SAAS,wBACP,qBACA;CACA,IAAI,CAAC,qBACH;CAEF,MAAM,aAAa,yBAAyB,mBAAmB;CAC/D,QAAQ,UAIF;EACJ,IAAI,CAAC,MAAM,YAAY,OAAO,MAAM;EACpC,IAAI,CAAC,MAAM,SAAS,OAAO,MAAM;EACjC,MAAM,QAAQ,WAAW,IAAI,MAAM,OAAO;EAC1C,IAAI,CAAC,OAAO,kBAAkB,OAAO,MAAM;EAC3C,OAAO,MAAM,iBAAiB,KAAK;CACrC;AACF;AAEA,SAAgB,sBAAsB,KAAoB,QAA+B;CACvF,IAAI,IAAI,SAAS,YACf,OAAO,IAAI;CAEb,OAAO,qBAAqB,IAAI,OAAO,MAAM;AAC/C;AAEA,MAAM,2BACJ;CACE,GAAG;CACH,oBAAoB,IAAI,2BAA2B;CACnD,gBAAgB,IAAI,uBAAuB;CAC3C,YAAY;EACV,cAAc,SAAwC;GACpD,OAAO,+BAA+B,OAAO;EAC/C;EACA,aAAa,QAAQ;GACnB,OAAO,8BAA8B,MAAM;EAC7C;EACA,iBAAiB,UAAU,qBAAqB;GAU9C,OAAO,mBAAmB,UAAoD;IAC5E,qBAAqB;IACrB,GAAG,UAAU,oBAXE,wBAAwB,mBAWC,CAAC;IACzC,eAAe;GACjB,CAAC;EACH;CACF;CACA,SAAmD;EACjD,OAAO;GACL,UAAU;GACV,UAAU;EACZ;CACF;;;;;CAKA,cAAc,SAAwC;EACpD,OAAO,+BAA+B,OAAO;CAC/C;;;;;CAKA,aAAa,QAAQ;EACnB,OAAO,8BAA8B,MAAM;CAC7C;AACF"}
+{"version":3,"file":"control.mjs","names":[],"sources":["../src/core/migrations/runner.ts","../src/core/postgres-schema-verifier.ts","../src/core/psl-infer/postgres-default-mapping.ts","../src/core/psl-infer/postgres-type-map.ts","../src/core/psl-infer/infer-psl-contract.ts","../src/exports/control.ts"],"sourcesContent":["import type { Contract, 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  SqlMigrationRunnerSuccessValue,\n} from '@prisma-next/family-sql/control';\nimport { runnerFailure, runnerSuccess } from '@prisma-next/family-sql/control';\nimport type { MigrationRunnerResult } from '@prisma-next/framework-components/control';\nimport { APP_SPACE_ID } from '@prisma-next/framework-components/control';\nimport { UNBOUND_NAMESPACE_ID } from '@prisma-next/framework-components/ir';\nimport type { SqlControlDriverInstance, SqlStorage } from '@prisma-next/sql-contract/types';\nimport { SqlQueryError } from '@prisma-next/sql-errors';\nimport type { SqlExecuteRequest } from '@prisma-next/sql-relational-core/ast';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { Result } from '@prisma-next/utils/result';\nimport { notOk, ok, okVoid } from '@prisma-next/utils/result';\nimport type { PostgresPlanTargetDetails } from './planner-target-details';\n\ninterface ApplyPlanSuccessValue {\n  readonly operationsExecuted: number;\n  readonly executedOperations: readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[];\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      cloned[key] = Object.freeze([...val]);\n    } else if (typeof val === 'object') {\n      cloned[key] = cloneAndFreezeRecord(val as Record<string, unknown>);\n    } else {\n      cloned[key] = val;\n    }\n  }\n  return Object.freeze(cloned) as T;\n}\n\nexport function createPostgresMigrationRunner(\n  family: SqlControlFamilyInstance,\n): SqlMigrationRunner<PostgresPlanTargetDetails> {\n  return new PostgresMigrationRunner(family);\n}\n\nclass PostgresMigrationRunner implements SqlMigrationRunner<PostgresPlanTargetDetails> {\n  constructor(private readonly family: SqlControlFamilyInstance) {}\n\n  /**\n   * Body of the migration runner without transaction management. The\n   * caller ({@link PostgresMigrationRunner.execute}) owns the\n   * `BEGIN`/`COMMIT`/`ROLLBACK` lifecycle.\n   */\n  async executeOnConnection(\n    options: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>,\n  ): Promise<SqlMigrationRunnerResult> {\n    const schema =\n      options.schemaName ??\n      Object.keys(options.destinationContract.storage.namespaces).find(\n        (id) => id !== UNBOUND_NAMESPACE_ID,\n      ) ??\n      UNBOUND_NAMESPACE_ID;\n    const driver = options.driver;\n    if (options.space !== undefined && options.space !== options.plan.spaceId) {\n      throw new Error(\n        `SqlMigrationRunner: options.space (${options.space}) does not match plan.spaceId (${options.plan.spaceId})`,\n      );\n    }\n    const space = options.plan.spaceId;\n    const lockKey = `${LOCK_DOMAIN}:${schema}:${space}`;\n\n    // Materialize any async ops before running checks or executing.\n    const planOps = blindCast<\n      readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[],\n      'ops were produced by the PG planner and are SqlMigrationPlanOperation<PostgresPlanTargetDetails>; MigrationPlan.operations uses the wider framework type to accommodate Promise covariance'\n    >(await Promise.all(options.plan.operations));\n\n    // Static checks (idempotent — safe to run again when the caller is\n    // `execute(...)` because the cost is a single object comparison).\n    const destinationCheck = this.ensurePlanMatchesDestinationContract(\n      options.plan.destination,\n      options.destinationContract,\n    );\n    if (!destinationCheck.ok) return destinationCheck;\n\n    const policyCheck = this.enforcePolicyCompatibility(options.policy, planOps);\n    if (!policyCheck.ok) return policyCheck;\n\n    await this.acquireLock(driver, lockKey);\n    const ensureResult = await this.ensureControlTables(driver, options.destinationContract);\n    if (!ensureResult.ok) return ensureResult;\n    const existingMarker = await this.family.readMarker({ driver, space });\n\n    const markerCheck = this.ensureMarkerCompatibility(existingMarker, options.plan);\n    if (!markerCheck.ok) return markerCheck;\n\n    const markerAtDestination = this.markerMatchesDestination(existingMarker, options.plan);\n    const isSelfEdge = options.plan.origin?.storageHash === options.plan.destination.storageHash;\n    const skipOperations = markerAtDestination && options.plan.origin != null && !isSelfEdge;\n    let applyValue: ApplyPlanSuccessValue;\n\n    if (skipOperations) {\n      applyValue = { operationsExecuted: 0, executedOperations: [] };\n    } else {\n      const applyResult = await this.applyPlan(driver, options, planOps);\n      if (!applyResult.ok) return applyResult;\n      applyValue = applyResult.value;\n    }\n\n    // Verify the schema on app-space only: extension spaces don't own\n    // user-facing tables, so verifying the destination contract against the\n    // database would flag every app-space table as \"extra\". Delegates to the\n    // family `verifySchema` — the same comparison the CLI verify runs.\n    if (space === APP_SPACE_ID) {\n      const schemaNode = await this.family.introspect({\n        driver,\n        contract: options.destinationContract,\n      });\n      const schemaVerifyResult = this.family.verifySchema({\n        contract: options.destinationContract,\n        schema: schemaNode,\n        strict: options.strictVerification ?? true,\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: [\n              ...schemaVerifyResult.schema.issues,\n              ...schemaVerifyResult.schema.schemaDiffIssues,\n            ],\n          },\n        });\n      }\n    }\n\n    const incomingInvariants = options.plan.providedInvariants ?? [];\n    const existingInvariants = new Set(existingMarker?.invariants ?? []);\n    const incomingIsSubsetOfExisting = incomingInvariants.every((id) => existingInvariants.has(id));\n    const isSelfEdgeNoOp =\n      isSelfEdge && applyValue.operationsExecuted === 0 && incomingIsSubsetOfExisting;\n\n    if (!isSelfEdgeNoOp) {\n      const markerResult = await this.upsertMarker(driver, options, existingMarker, space);\n      if (!markerResult.ok) return markerResult;\n      await this.recordLedgerEntries(\n        driver,\n        options,\n        applyValue.executedOperations,\n        planOps.length,\n      );\n    }\n\n    return runnerSuccess({\n      operationsPlanned: planOps.length,\n      operationsExecuted: applyValue.operationsExecuted,\n    });\n  }\n\n  async execute(options: {\n    readonly driver: SqlControlDriverInstance<string>;\n    readonly perSpaceOptions: ReadonlyArray<\n      SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>\n    >;\n  }): Promise<MigrationRunnerResult> {\n    const driver = options.driver;\n    const perSpaceOptions = options.perSpaceOptions;\n\n    if (perSpaceOptions.length === 0) {\n      return ok({ perSpaceResults: [] });\n    }\n\n    await this.beginTransaction(driver);\n    let committed = false;\n    try {\n      const perSpaceResults: Array<{\n        space: string;\n        value: SqlMigrationRunnerSuccessValue;\n      }> = [];\n      for (const spaceOptions of perSpaceOptions) {\n        const space = spaceOptions.space ?? spaceOptions.plan.spaceId;\n        const result = await this.executeOnConnection({ ...spaceOptions, driver, space });\n        if (!result.ok) {\n          return notOk({ ...result.failure, failingSpace: space });\n        }\n        perSpaceResults.push({ space, value: result.value });\n      }\n\n      await this.commitTransaction(driver);\n      committed = true;\n      return ok({ perSpaceResults });\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    ops: readonly SqlMigrationPlanOperation<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 ops) {\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    contract: Contract<SqlStorage>,\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    const lowererContext = { contract };\n    const bootstrapQueries = this.family.bootstrapControlTableQueries();\n    const [schemaQuery, ...tableQueries] = bootstrapQueries;\n    if (schemaQuery === undefined) {\n      throw new Error('Postgres control-table bootstrap must include CREATE SCHEMA');\n    }\n    await this.executeStatement(driver, await this.family.lowerAst(schemaQuery, lowererContext));\n    const legacyDetection = await this.detectLegacyMarkerShape(driver);\n    if (!legacyDetection.ok) {\n      return legacyDetection;\n    }\n    for (const query of tableQueries) {\n      await this.executeStatement(driver, await this.family.lowerAst(query, lowererContext));\n    }\n    return okVoid();\n  }\n\n  private async detectLegacyMarkerShape(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    const result = await driver.query<{ column_name: string }>(\n      `select column_name\n         from information_schema.columns\n        where table_schema = 'prisma_contract'\n          and table_name = 'marker'`,\n    );\n    if (result.rows.length === 0) {\n      return okVoid();\n    }\n    const columns = new Set(result.rows.map((row) => row.column_name));\n    if (columns.has('space')) {\n      return okVoid();\n    }\n    return runnerFailure(\n      'LEGACY_MARKER_SHAPE',\n      'Legacy marker-table shape detected on prisma_contract.marker (no `space` column). ' +\n        'Prisma Next is in pre-1.0; the previous transitional auto-migration to the per-space-row schema has been removed. ' +\n        'Drop `prisma_contract.marker` and re-run `dbInit` to reinitialise from a clean baseline.',\n      {\n        meta: {\n          table: 'prisma_contract.marker',\n          columns: [...columns].sort(),\n        },\n      },\n    );\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, step.params ?? []);\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, step.params ?? []);\n      } catch (error: unknown) {\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        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, step.params ?? []);\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      ...ifDefined('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      ...ifDefined('meta', operation.meta || mergedMeta ? mergedMeta : undefined),\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.storageHash !== plan.destination.storageHash) {\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      // No origin assertion on the plan — the caller does not want origin validation.\n      // This is the case for `db update`, which introspects the live schema and does not\n      // rely on marker continuity. `db init` handles its own marker checks before the runner.\n      return okVoid();\n    }\n\n    if (!marker) {\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Missing contract marker: expected origin storage hash ${origin.storageHash}.`,\n        {\n          meta: {\n            expectedOriginStorageHash: origin.storageHash,\n          },\n        },\n      );\n    }\n    if (marker.storageHash !== origin.storageHash) {\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Existing contract marker (${marker.storageHash}) does not match plan origin (${origin.storageHash}).`,\n        {\n          meta: {\n            markerStorageHash: marker.storageHash,\n            expectedOriginStorageHash: origin.storageHash,\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.storageHash !== contract.storage.storageHash) {\n      return runnerFailure(\n        'DESTINATION_CONTRACT_MISMATCH',\n        `Plan destination storage hash (${destination.storageHash}) does not match provided contract storage hash (${contract.storage.storageHash}).`,\n        {\n          meta: {\n            planStorageHash: destination.storageHash,\n            contractStorageHash: contract.storage.storageHash,\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    space: string,\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    const destination = {\n      storageHash: options.plan.destination.storageHash,\n      profileHash:\n        options.plan.destination.profileHash ??\n        options.destinationContract.profileHash ??\n        options.plan.destination.storageHash,\n      invariants: options.plan.providedInvariants ?? [],\n    };\n    if (!existingMarker) {\n      await this.family.initMarker({ driver, space, destination });\n      return okVoid();\n    }\n    const updated = await this.family.updateMarker({\n      driver,\n      space,\n      expectedFrom: existingMarker.storageHash,\n      destination,\n    });\n    if (!updated) {\n      return runnerFailure(\n        'MARKER_CAS_FAILURE',\n        'Marker was modified by another process during migration execution.',\n        {\n          meta: {\n            space,\n            expectedStorageHash: existingMarker.storageHash,\n            destinationStorageHash: options.plan.destination.storageHash,\n          },\n        },\n      );\n    }\n    return okVoid();\n  }\n\n  private async recordLedgerEntries(\n    driver: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>['driver'],\n    options: SqlMigrationRunnerExecuteOptions<PostgresPlanTargetDetails>,\n    executedOperations: readonly SqlMigrationPlanOperation<PostgresPlanTargetDetails>[],\n    planOpsLength: number,\n  ): Promise<void> {\n    const plan = options.plan;\n    const space = plan.spaceId;\n    const edges = options.migrationEdges;\n    const totalEdgeOps = edges.reduce((sum, edge) => sum + edge.operationCount, 0);\n    if (totalEdgeOps !== planOpsLength) {\n      throw new Error(\n        `Ledger write: plan.operations length (${planOpsLength}) does not match sum of migrationEdges operationCount (${totalEdgeOps})`,\n      );\n    }\n    // The ledger records the operations as executed — idempotency-skipped ops\n    // are substituted with skip records (empty `execute`) by `applyPlan`, so the\n    // journal reflects what actually ran rather than the raw plan.\n    let offset = 0;\n    for (const edge of edges) {\n      const edgeOps = executedOperations.slice(offset, offset + edge.operationCount);\n      offset += edge.operationCount;\n      await this.family.writeLedgerEntry({\n        driver,\n        space,\n        entry: {\n          edgeId: `${edge.from}->${edge.to}`,\n          from: edge.from,\n          to: edge.to,\n          migrationName: edge.dirName,\n          migrationHash: edge.migrationHash,\n          operations: edgeOps,\n        },\n      });\n    }\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: SqlExecuteRequest,\n  ): Promise<void> {\n    await driver.query(statement.sql, statement.params);\n  }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport { SqlSchemaVerifierBase } from '@prisma-next/family-sql/ir';\nimport type { SchemaIssue, SchemaVerifyOptions } from '@prisma-next/framework-components/control';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\n\n/**\n * Postgres target `SchemaVerifier` concretion. Plugs into the\n * SQL-shared verification surface; production verification today still\n * routes through the legacy `verifySqlSchema` entry point, which\n * carries options (codec hooks, normalizers, framework components)\n * that the framework-level `SchemaVerifyOptions` shape does not yet\n * surface.\n *\n * The hooks return the empty list pending the call-site migration that\n * routes the existing verifier behaviour through the SPI — at that\n * point `verifyCommonSqlSchema` will likely lift onto the family base\n * (mirroring `verifyCommonMongoSchema`) and `verifyTargetExtensions`\n * will house Postgres-only kinds (functions, RLS policies in a future\n * project).\n */\nexport class PostgresSchemaVerifier extends SqlSchemaVerifierBase<\n  Contract<SqlStorage>,\n  SqlSchemaIR\n> {\n  protected verifyCommonSqlSchema(\n    _options: SchemaVerifyOptions<Contract<SqlStorage>, SqlSchemaIR>,\n  ): readonly SchemaIssue[] {\n    return [];\n  }\n\n  protected verifyTargetExtensions(\n    _options: SchemaVerifyOptions<Contract<SqlStorage>, SqlSchemaIR>,\n  ): readonly SchemaIssue[] {\n    return [];\n  }\n}\n","import type { DefaultMappingOptions } from '@prisma-next/family-sql/psl-infer';\n\nconst POSTGRES_FUNCTION_ATTRIBUTES: Readonly<Record<string, string>> = {\n  'gen_random_uuid()': '@default(dbgenerated(\"gen_random_uuid()\"))',\n};\n\nfunction formatDbGeneratedAttribute(expression: string): string {\n  return `@default(dbgenerated(${JSON.stringify(expression)}))`;\n}\n\nexport function createPostgresDefaultMapping(): DefaultMappingOptions {\n  return {\n    functionAttributes: POSTGRES_FUNCTION_ATTRIBUTES,\n    fallbackFunctionAttribute: formatDbGeneratedAttribute,\n  };\n}\n","import type {\n  EnumInfo,\n  PslNativeTypeAttribute,\n  PslTypeMap,\n  PslTypeResolution,\n} from '@prisma-next/family-sql/psl-infer';\n\nconst POSTGRES_TO_PSL: Record<string, string> = {\n  text: 'String',\n  bool: 'Boolean',\n  boolean: 'Boolean',\n  int4: 'Int',\n  integer: 'Int',\n  int8: 'BigInt',\n  bigint: 'BigInt',\n  float8: 'Float',\n  'double precision': 'Float',\n  numeric: 'Decimal',\n  decimal: 'Decimal',\n  timestamptz: 'DateTime',\n  'timestamp with time zone': 'DateTime',\n  jsonb: 'Json',\n  bytea: 'Bytes',\n};\n\nconst PRESERVED_NATIVE_TYPES: Record<\n  string,\n  { readonly pslType: string; readonly attributeName: string }\n> = {\n  'character varying': { pslType: 'String', attributeName: 'db.VarChar' },\n  character: { pslType: 'String', attributeName: 'db.Char' },\n  char: { pslType: 'String', attributeName: 'db.Char' },\n  varchar: { pslType: 'String', attributeName: 'db.VarChar' },\n  uuid: { pslType: 'String', attributeName: 'db.Uuid' },\n  int2: { pslType: 'Int', attributeName: 'db.SmallInt' },\n  smallint: { pslType: 'Int', attributeName: 'db.SmallInt' },\n  float4: { pslType: 'Float', attributeName: 'db.Real' },\n  real: { pslType: 'Float', attributeName: 'db.Real' },\n  timestamp: { pslType: 'DateTime', attributeName: 'db.Timestamp' },\n  'timestamp without time zone': { pslType: 'DateTime', attributeName: 'db.Timestamp' },\n  date: { pslType: 'DateTime', attributeName: 'db.Date' },\n  time: { pslType: 'DateTime', attributeName: 'db.Time' },\n  'time without time zone': { pslType: 'DateTime', attributeName: 'db.Time' },\n  timetz: { pslType: 'DateTime', attributeName: 'db.Timetz' },\n  'time with time zone': { pslType: 'DateTime', attributeName: 'db.Timetz' },\n  json: { pslType: 'Json', attributeName: 'db.Json' },\n};\n\nconst PARAMETERIZED_NATIVE_TYPES: Record<\n  string,\n  { readonly pslType: string; readonly attributeName: string }\n> = {\n  'character varying': { pslType: 'String', attributeName: 'db.VarChar' },\n  character: { pslType: 'String', attributeName: 'db.Char' },\n  char: { pslType: 'String', attributeName: 'db.Char' },\n  varchar: { pslType: 'String', attributeName: 'db.VarChar' },\n  numeric: { pslType: 'Decimal', attributeName: 'db.Numeric' },\n  timestamp: { pslType: 'DateTime', attributeName: 'db.Timestamp' },\n  timestamptz: { pslType: 'DateTime', attributeName: 'db.Timestamptz' },\n  time: { pslType: 'DateTime', attributeName: 'db.Time' },\n  timetz: { pslType: 'DateTime', attributeName: 'db.Timetz' },\n};\n\nconst PARAMETERIZED_TYPE_PATTERN = /^(.+?)\\((.+)\\)$/;\n\nfunction getOwnMappingValue(map: Record<string, string>, key: string): string | undefined {\n  return Object.hasOwn(map, key) ? map[key] : undefined;\n}\n\nfunction getOwnRecordValue<T>(map: Record<string, T>, key: string): T | undefined {\n  return Object.hasOwn(map, key) ? map[key] : undefined;\n}\n\nfunction createNativeTypeAttribute(name: string, args?: readonly string[]): PslNativeTypeAttribute {\n  return args && args.length > 0 ? { name, args } : { name };\n}\n\nfunction splitTypeParameterList(params: string): readonly string[] {\n  return params\n    .split(',')\n    .map((part) => part.trim())\n    .filter((part) => part.length > 0);\n}\n\nexport function createPostgresTypeMap(enumTypeNames?: ReadonlySet<string>): PslTypeMap {\n  return {\n    resolve(nativeType: string): PslTypeResolution {\n      if (enumTypeNames?.has(nativeType)) {\n        return { pslType: nativeType, nativeType };\n      }\n\n      const paramMatch = nativeType.match(PARAMETERIZED_TYPE_PATTERN);\n      if (paramMatch) {\n        const [, baseType = nativeType, params = ''] = paramMatch;\n        const template = getOwnRecordValue(PARAMETERIZED_NATIVE_TYPES, baseType);\n        if (template) {\n          return {\n            pslType: template.pslType,\n            nativeType,\n            typeParams: { baseType, params },\n            nativeTypeAttribute: createNativeTypeAttribute(\n              template.attributeName,\n              splitTypeParameterList(params),\n            ),\n          };\n        }\n      }\n\n      const preservedType = getOwnRecordValue(PRESERVED_NATIVE_TYPES, nativeType);\n      if (preservedType) {\n        return {\n          pslType: preservedType.pslType,\n          nativeType,\n          nativeTypeAttribute: createNativeTypeAttribute(preservedType.attributeName),\n        };\n      }\n\n      const pslType = getOwnMappingValue(POSTGRES_TO_PSL, nativeType);\n      if (pslType) {\n        return {\n          pslType,\n          nativeType,\n        };\n      }\n\n      return { unsupported: true, nativeType };\n    },\n  };\n}\n\nexport function extractEnumInfo(annotations?: Record<string, unknown>): EnumInfo {\n  const pgAnnotations = annotations?.['pg'] as Record<string, unknown> | undefined;\n  const nativeEnumTypeNames = pgAnnotations?.['nativeEnumTypeNames'];\n\n  const typeNames = new Set<string>();\n  const definitions = new Map<string, readonly string[]>();\n\n  if (Array.isArray(nativeEnumTypeNames)) {\n    for (const name of nativeEnumTypeNames) {\n      if (typeof name === 'string') {\n        typeNames.add(name);\n      }\n    }\n  }\n\n  return { typeNames, definitions };\n}\n\nexport function extractEnumTypeNames(annotations?: Record<string, unknown>): ReadonlySet<string> {\n  return extractEnumInfo(annotations).typeNames;\n}\n\nexport function extractEnumDefinitions(\n  annotations?: Record<string, unknown>,\n): ReadonlyMap<string, readonly string[]> {\n  return extractEnumInfo(annotations).definitions;\n}\n","import type { ColumnDefault } from '@prisma-next/contract/types';\nimport type {\n  DefaultMappingOptions,\n  PslNativeTypeAttribute,\n  PslPrinterOptions,\n  PslTypeMap,\n  RelationField,\n} from '@prisma-next/family-sql/psl-infer';\nimport {\n  inferRelations,\n  mapDefault,\n  parseRawDefault,\n  toFieldName,\n  toModelName,\n  toNamedTypeName,\n} from '@prisma-next/family-sql/psl-infer';\nimport type {\n  PslAttribute,\n  PslAttributeArgument,\n  PslDocumentAst,\n  PslField,\n  PslFieldAttribute,\n  PslModel,\n  PslModelAttribute,\n  PslNamedTypeDeclaration,\n  PslSpan,\n  PslTypesBlock,\n} from '@prisma-next/framework-components/psl-ast';\nimport {\n  makePslNamespace,\n  makePslNamespaceEntries,\n  UNSPECIFIED_PSL_NAMESPACE_ID,\n} from '@prisma-next/framework-components/psl-ast';\nimport type { SqlColumnIR, SqlSchemaIR, SqlTableIR } from '@prisma-next/sql-schema-ir/types';\nimport type { PostgresDatabaseSchemaNode } from '../schema-ir/postgres-database-schema-node';\nimport { createPostgresDefaultMapping } from './postgres-default-mapping';\nimport { createPostgresTypeMap } from './postgres-type-map';\n\nconst SYNTHETIC_SPAN: PslSpan = {\n  start: { offset: 0, line: 1, column: 1 },\n  end: { offset: 0, line: 1, column: 1 },\n};\n\nconst PSL_SCALAR_TYPE_NAMES = new Set([\n  'String',\n  'Boolean',\n  'Int',\n  'BigInt',\n  'Float',\n  'Decimal',\n  'DateTime',\n  'Json',\n  'Bytes',\n]);\n\ntype ResolvedColumnFieldName = {\n  readonly fieldName: string;\n  readonly fieldMap?: string | undefined;\n};\n\ntype TableColumnFieldNameMap = ReadonlyMap<string, ResolvedColumnFieldName>;\n\ntype NamedTypeRegistryEntry = {\n  readonly name: string;\n  readonly baseType: string;\n  readonly nativeTypeAttribute: PslNativeTypeAttribute;\n};\n\ntype NamedTypeRegistry = {\n  readonly entriesByKey: Map<string, NamedTypeRegistryEntry>;\n  readonly usedNames: Set<string>;\n};\n\ntype TopLevelNameResult = {\n  readonly name: string;\n  readonly map?: string | undefined;\n};\n\n/**\n * Infers a PSL AST (for `printPsl`) from an introspected Postgres schema tree.\n *\n * Target-owned inference: it walks the `PostgresDatabaseSchemaNode` tree and\n * owns the Postgres dialect knowledge — the native type map and default map.\n * Relation inference, name transforms, generic default mapping, and raw-default\n * parsing are shape-neutral utilities imported from the SQL family.\n *\n * This slice emits relational-only PSL, byte-identical to the prior flat\n * inference: the tree's tables (across its namespaces — `contract infer`\n * introspects a single live namespace) are gathered into the model set and\n * emitted as one `UNSPECIFIED_PSL_NAMESPACE_ID` bucket. Top-level entities\n * (policies/roles → PSL extension blocks) are a later slice.\n */\nexport function inferPostgresPslContract(tree: PostgresDatabaseSchemaNode): PslDocumentAst {\n  const namespaces = Object.values(tree.namespaces);\n\n  // Native Postgres enums (CREATE TYPE … AS ENUM) are not adoptable by\n  // `contract infer`; throw an actionable diagnostic naming the type(s). Enum\n  // names live on each namespace node's `nativeEnumTypeNames`.\n  const enumTypeNames = [...new Set(namespaces.flatMap((ns) => ns.nativeEnumTypeNames))];\n  if (enumTypeNames.length > 0) {\n    const names = enumTypeNames.join(', ');\n    throw new Error(\n      `contract infer: the database contains native Postgres enum type(s): ${names}. ` +\n        'Native Postgres enums (CREATE TYPE … AS ENUM) are not adoptable by contract infer. ' +\n        'Drop the native type and replace each column with a text column carrying a CHECK constraint, ' +\n        `then re-run contract infer. The domain enum (enum Name { @@type(\"pg/text@1\") … }) authoring ` +\n        'surface generates the required check automatically.',\n    );\n  }\n\n  // Stopgap (TML-2958): flatten the schema-IR *tree* into the single `{ tables }`\n  // map the PSL writer expects. The writer still walks a flat table map, so this\n  // is a read-only projection — it does not reintroduce a stored flat schema.\n  // The real fix is to extend the PSL writer to walk the namespace tree and emit\n  // per-namespace `namespace { … }` blocks; until then `contract infer` handles a\n  // single introspected namespace, and a same-named table in two schemas has no\n  // unambiguous single-bucket model, so we throw rather than silently drop one.\n  const tables: Record<string, SqlTableIR> = {};\n  for (const namespace of namespaces) {\n    for (const [tableName, table] of Object.entries(namespace.tables)) {\n      if (tables[tableName] !== undefined) {\n        throw new Error(\n          `contract infer: duplicate table name \"${tableName}\" across schemas is not yet supported ` +\n            '(single-namespace PSL inference emits one flat bucket; multi-namespace `namespace { … }` ' +\n            'output is a later slice).',\n        );\n      }\n      tables[tableName] = table;\n    }\n  }\n  const schemaIR: SqlSchemaIR = { tables };\n\n  const options: PslPrinterOptions = {\n    typeMap: createPostgresTypeMap(new Set()),\n    defaultMapping: createPostgresDefaultMapping(),\n    parseRawDefault,\n  };\n\n  return buildPslDocumentAst(schemaIR, options);\n}\n\nfunction buildPslDocumentAst(schemaIR: SqlSchemaIR, options: PslPrinterOptions): PslDocumentAst {\n  const { typeMap, defaultMapping, parseRawDefault: rawDefaultParser } = options;\n\n  const modelNames = buildTopLevelNameMap(\n    Object.keys(schemaIR.tables),\n    toModelName,\n    'model',\n    'table',\n  );\n\n  const modelNameMap = new Map(\n    [...modelNames].map(([tableName, result]) => [tableName, result.name]),\n  );\n  const reservedNamedTypeNames = createReservedNamedTypeNames(modelNames);\n\n  const fieldNamesByTable = buildFieldNamesByTable(schemaIR.tables);\n  const { relationsByTable } = inferRelations(schemaIR.tables, modelNameMap);\n  const namedTypes = seedNamedTypeRegistry(schemaIR, typeMap, new Map(), reservedNamedTypeNames);\n\n  const models: PslModel[] = [];\n  for (const table of Object.values(schemaIR.tables)) {\n    models.push(\n      buildModel(\n        table,\n        typeMap,\n        new Map(),\n        fieldNamesByTable,\n        namedTypes,\n        defaultMapping,\n        rawDefaultParser,\n        relationsByTable.get(table.name) ?? [],\n      ),\n    );\n  }\n\n  const sortedModels = topologicalSort(models, schemaIR.tables, modelNameMap);\n\n  const namedTypeEntries = [...namedTypes.entriesByKey.values()].sort((a, b) =>\n    a.name.localeCompare(b.name),\n  );\n  const types: PslTypesBlock | undefined =\n    namedTypeEntries.length > 0\n      ? {\n          kind: 'types',\n          declarations: namedTypeEntries.map(buildNamedTypeDeclaration),\n          span: SYNTHETIC_SPAN,\n        }\n      : undefined;\n\n  // Inferred PSL nodes will eventually be routed into per-namespace buckets\n  // matching the source storage; for now we synthesise a single\n  // `__unspecified__` bucket so round-tripping the AST through the framework\n  // printer (which emits the synthesised bucket at top level with no\n  // `namespace { … }` wrapper) preserves the existing introspection output\n  // verbatim.\n  const ast: PslDocumentAst = {\n    kind: 'document',\n    sourceId: '<sql-schema-ir>',\n    namespaces: [\n      makePslNamespace({\n        kind: 'namespace',\n        name: UNSPECIFIED_PSL_NAMESPACE_ID,\n        entries: makePslNamespaceEntries(sortedModels, [], []),\n        span: SYNTHETIC_SPAN,\n      }),\n    ],\n    ...(types ? { types } : {}),\n    span: SYNTHETIC_SPAN,\n  };\n\n  return ast;\n}\n\nfunction buildModel(\n  table: SqlTableIR,\n  typeMap: PslTypeMap,\n  enumNameMap: ReadonlyMap<string, string>,\n  fieldNamesByTable: ReadonlyMap<string, TableColumnFieldNameMap>,\n  namedTypes: NamedTypeRegistry,\n  defaultMapping: DefaultMappingOptions | undefined,\n  rawDefaultParser: PslPrinterOptions['parseRawDefault'],\n  relationFields: readonly RelationField[],\n): PslModel {\n  const { name: modelName, map: mapName } = toModelName(table.name);\n  const fieldNameMap = fieldNamesByTable.get(table.name);\n\n  const pkColumns = new Set(table.primaryKey?.columns ?? []);\n  const isSinglePk = pkColumns.size === 1;\n  const singlePkConstraintName = isSinglePk ? table.primaryKey?.name : undefined;\n\n  const uniqueColumns = new Map<string, string | undefined>();\n  for (const unique of table.uniques) {\n    if (unique.columns.length === 1) {\n      const [columnName = ''] = unique.columns;\n      const existingConstraintName = uniqueColumns.get(columnName);\n      if (!uniqueColumns.has(columnName) || (existingConstraintName === undefined && unique.name)) {\n        uniqueColumns.set(columnName, unique.name);\n      }\n    }\n  }\n\n  const fields: PslField[] = [];\n  for (const column of Object.values(table.columns)) {\n    fields.push(\n      buildScalarField(\n        column,\n        table,\n        typeMap,\n        enumNameMap,\n        fieldNameMap,\n        namedTypes,\n        defaultMapping,\n        rawDefaultParser,\n        pkColumns,\n        isSinglePk,\n        singlePkConstraintName,\n        uniqueColumns,\n      ),\n    );\n  }\n\n  const usedFieldNames = new Set(fields.map((field) => field.name));\n  for (const rel of relationFields) {\n    fields.push(buildRelationField(rel, table.name, fieldNamesByTable, usedFieldNames));\n  }\n\n  const modelAttributes: PslModelAttribute[] = [];\n\n  if (table.primaryKey && table.primaryKey.columns.length > 1) {\n    const pkFieldNames = table.primaryKey.columns.map((columnName) =>\n      resolveColumnFieldName(fieldNamesByTable, table.name, columnName),\n    );\n    modelAttributes.push(buildModelConstraintAttribute('id', pkFieldNames, table.primaryKey.name));\n  }\n\n  for (const unique of table.uniques) {\n    if (unique.columns.length > 1) {\n      const uniqueFieldNames = unique.columns.map((columnName) =>\n        resolveColumnFieldName(fieldNamesByTable, table.name, columnName),\n      );\n      modelAttributes.push(buildModelConstraintAttribute('unique', uniqueFieldNames, unique.name));\n    }\n  }\n\n  for (const index of table.indexes) {\n    if (!index.unique) {\n      const indexFieldNames = index.columns.map((columnName) =>\n        resolveColumnFieldName(fieldNamesByTable, table.name, columnName),\n      );\n      modelAttributes.push(buildModelConstraintAttribute('index', indexFieldNames, index.name));\n    }\n  }\n\n  if (mapName) {\n    modelAttributes.push(buildMapAttribute('model', mapName));\n  }\n\n  // Surface introspection advisory: tables without a primary key cannot serve\n  // as the right-hand side of a `findUnique`-style query downstream, so the\n  // user should add an `@id`. This warning is part of the emitted SQL output\n  // and is asserted byte-for-byte, so keep the exact wording.\n  const comment = table.primaryKey\n    ? undefined\n    : '// WARNING: This table has no primary key in the database';\n\n  return {\n    kind: 'model',\n    name: modelName,\n    fields,\n    attributes: modelAttributes,\n    span: SYNTHETIC_SPAN,\n    ...(comment !== undefined ? { comment } : {}),\n  };\n}\n\nfunction buildScalarField(\n  column: SqlColumnIR,\n  table: SqlTableIR,\n  typeMap: PslTypeMap,\n  enumNameMap: ReadonlyMap<string, string>,\n  fieldNameMap: TableColumnFieldNameMap | undefined,\n  namedTypes: NamedTypeRegistry,\n  defaultMapping: DefaultMappingOptions | undefined,\n  rawDefaultParser: PslPrinterOptions['parseRawDefault'],\n  pkColumns: ReadonlySet<string>,\n  isSinglePk: boolean,\n  singlePkConstraintName: string | undefined,\n  uniqueColumns: ReadonlyMap<string, string | undefined>,\n): PslField {\n  const resolvedField = fieldNameMap?.get(column.name);\n  const fieldName = resolvedField?.fieldName ?? toFieldName(column.name).name;\n  const fieldMap = resolvedField?.fieldMap;\n\n  const resolution = typeMap.resolve(column.nativeType, table.annotations);\n\n  if ('unsupported' in resolution) {\n    const attrs: PslFieldAttribute[] = [];\n    if (fieldMap !== undefined) {\n      attrs.push(buildMapAttribute('field', fieldMap));\n    }\n    return {\n      kind: 'field',\n      name: fieldName,\n      typeName: `Unsupported(\"${escapePslString(resolution.nativeType)}\")`,\n      optional: column.nullable,\n      list: column.many === true,\n      attributes: attrs,\n      span: SYNTHETIC_SPAN,\n    };\n  }\n\n  let typeName = resolution.pslType;\n  const enumPslName = enumNameMap.get(column.nativeType);\n  if (enumPslName) {\n    typeName = enumPslName;\n  }\n  if (resolution.nativeTypeAttribute && !enumPslName) {\n    typeName = resolveNamedTypeName(namedTypes, resolution);\n  }\n\n  const attributes: PslFieldAttribute[] = [];\n  const isId = isSinglePk && pkColumns.has(column.name);\n  if (isId) {\n    attributes.push(buildSimpleConstraintFieldAttribute('id', singlePkConstraintName));\n  }\n\n  if (column.default !== undefined) {\n    const parsed = parseColumnDefault(column.default, column.nativeType, rawDefaultParser);\n    if (parsed) {\n      const result = mapDefault(parsed, defaultMapping);\n      if ('attribute' in result) {\n        attributes.push(parseDefaultAttributeString(result.attribute));\n      }\n      // 'comment' fallback (unrecognized raw default) is dropped — the\n      // M1 legacy path emitted a `// Raw default: ...` line above the field via\n      // `PrinterField.comment`. M2 drops this since it would require comment\n      // nodes in the AST.\n    }\n  }\n\n  if (uniqueColumns.has(column.name) && !isId) {\n    const uniqueConstraintName = uniqueColumns.get(column.name);\n    attributes.push(buildSimpleConstraintFieldAttribute('unique', uniqueConstraintName));\n  }\n\n  if (fieldMap !== undefined) {\n    attributes.push(buildMapAttribute('field', fieldMap));\n  }\n\n  return {\n    kind: 'field',\n    name: fieldName,\n    typeName,\n    optional: column.nullable,\n    list: column.many === true,\n    attributes,\n    span: SYNTHETIC_SPAN,\n  };\n}\n\nfunction buildRelationField(\n  rel: RelationField,\n  hostTableName: string,\n  fieldNamesByTable: ReadonlyMap<string, TableColumnFieldNameMap>,\n  usedFieldNames: Set<string>,\n): PslField {\n  const fieldName = createUniqueFieldName(rel.fieldName, usedFieldNames);\n  usedFieldNames.add(fieldName);\n\n  const args: PslAttributeArgument[] = [];\n\n  if (rel.fields && rel.references) {\n    if (rel.relationName) {\n      args.push(namedArg('name', `\"${escapePslString(rel.relationName)}\"`));\n    }\n    args.push(\n      namedArg(\n        'fields',\n        `[${rel.fields\n          .map((columnName) => resolveColumnFieldName(fieldNamesByTable, hostTableName, columnName))\n          .join(', ')}]`,\n      ),\n    );\n    args.push(\n      namedArg(\n        'references',\n        `[${rel.references\n          .map((columnName) =>\n            resolveColumnFieldName(fieldNamesByTable, rel.referencedTableName ?? '', columnName),\n          )\n          .join(', ')}]`,\n      ),\n    );\n    if (rel.onDelete) {\n      args.push(namedArg('onDelete', rel.onDelete));\n    }\n    if (rel.onUpdate) {\n      args.push(namedArg('onUpdate', rel.onUpdate));\n    }\n    if (rel.fkName) {\n      args.push(namedArg('map', `\"${escapePslString(rel.fkName)}\"`));\n    }\n  } else if (rel.relationName) {\n    args.push(namedArg('name', `\"${escapePslString(rel.relationName)}\"`));\n  }\n\n  const attrs: PslFieldAttribute[] =\n    args.length > 0 ? [buildAttribute('field', 'relation', args)] : [];\n\n  return {\n    kind: 'field',\n    name: fieldName,\n    typeName: rel.typeName,\n    optional: rel.optional,\n    list: rel.list,\n    attributes: attrs,\n    span: SYNTHETIC_SPAN,\n  };\n}\n\nfunction buildModelConstraintAttribute(\n  name: 'id' | 'unique' | 'index',\n  fields: readonly string[],\n  constraintName?: string,\n): PslModelAttribute {\n  const args: PslAttributeArgument[] = [positionalArg(`[${fields.join(', ')}]`)];\n  if (constraintName !== undefined) {\n    args.push(namedArg('map', `\"${escapePslString(constraintName)}\"`));\n  }\n  return buildAttribute('model', name, args);\n}\n\nfunction buildSimpleConstraintFieldAttribute(\n  name: 'id' | 'unique',\n  constraintName: string | undefined,\n): PslFieldAttribute {\n  if (constraintName === undefined) {\n    return buildAttribute('field', name, []);\n  }\n  return buildAttribute('field', name, [namedArg('map', `\"${escapePslString(constraintName)}\"`)]);\n}\n\nfunction parseDefaultAttributeString(attributeText: string): PslFieldAttribute {\n  // Strip leading \"@default(\" and trailing \")\" — `mapDefault` always returns one\n  // top-level positional expression.\n  const inner = attributeText.replace(/^@default\\(/, '').replace(/\\)$/, '');\n  return buildAttribute('field', 'default', [positionalArg(inner)]);\n}\n\nfunction buildMapAttribute(target: 'model' | 'field' | 'enum', mapName: string): PslAttribute {\n  return buildAttribute(target, 'map', [positionalArg(`\"${escapePslString(mapName)}\"`)]);\n}\n\nfunction buildAttribute(\n  target: PslAttribute['target'],\n  name: string,\n  args: readonly PslAttributeArgument[],\n): PslAttribute {\n  return {\n    kind: 'attribute',\n    target,\n    name,\n    args,\n    span: SYNTHETIC_SPAN,\n  };\n}\n\nfunction positionalArg(value: string): PslAttributeArgument {\n  return { kind: 'positional', value, span: SYNTHETIC_SPAN };\n}\n\nfunction namedArg(name: string, value: string): PslAttributeArgument {\n  return { kind: 'named', name, value, span: SYNTHETIC_SPAN };\n}\n\nfunction buildNamedTypeDeclaration(entry: NamedTypeRegistryEntry): PslNamedTypeDeclaration {\n  const attribute = buildAttribute(\n    'namedType',\n    entry.nativeTypeAttribute.name,\n    (entry.nativeTypeAttribute.args ?? []).map(positionalArg),\n  );\n  return {\n    kind: 'namedType',\n    name: entry.name,\n    baseType: entry.baseType,\n    attributes: [attribute],\n    span: SYNTHETIC_SPAN,\n  };\n}\n\nfunction escapePslString(value: string): string {\n  return value\n    .replace(/\\\\/g, '\\\\\\\\')\n    .replace(/\"/g, '\\\\\"')\n    .replace(/\\n/g, '\\\\n')\n    .replace(/\\r/g, '\\\\r');\n}\n\n/**\n * Resolves a `SqlColumnIR.default` value into a normalized {@link ColumnDefault}.\n *\n * `SqlSchemaIR` types the column default as `string` (a raw database default\n * expression). Some legacy fixtures and tests still pass already-normalized\n * `ColumnDefault` objects in the same slot, so we accept either shape\n * defensively at runtime.\n */\nfunction parseColumnDefault(\n  value: unknown,\n  nativeType: string | undefined,\n  rawDefaultParser: PslPrinterOptions['parseRawDefault'],\n): ColumnDefault | undefined {\n  if (typeof value === 'string') {\n    return rawDefaultParser ? rawDefaultParser(value, nativeType) : undefined;\n  }\n  if (value !== null && typeof value === 'object' && 'kind' in (value as Record<string, unknown>)) {\n    return value as ColumnDefault;\n  }\n  return undefined;\n}\n\nfunction buildFieldNamesByTable(\n  tables: Record<string, SqlTableIR>,\n): ReadonlyMap<string, TableColumnFieldNameMap> {\n  const fieldNamesByTable = new Map<string, TableColumnFieldNameMap>();\n\n  for (const table of Object.values(tables)) {\n    const columns = Object.values(table.columns).map((column, index) => {\n      const { name, map } = toFieldName(column.name);\n      return {\n        columnName: column.name,\n        desiredFieldName: name,\n        fieldMap: map,\n        index,\n      };\n    });\n\n    const assignmentOrder = [...columns].sort((left, right) => {\n      const mapComparison =\n        Number(left.fieldMap !== undefined) - Number(right.fieldMap !== undefined);\n      if (mapComparison !== 0) {\n        return mapComparison;\n      }\n      return left.index - right.index;\n    });\n\n    const usedFieldNames = new Set<string>();\n    const tableFieldNames = new Map<string, ResolvedColumnFieldName>();\n\n    for (const column of assignmentOrder) {\n      const fieldName = createUniqueFieldName(column.desiredFieldName, usedFieldNames);\n      usedFieldNames.add(fieldName);\n      tableFieldNames.set(column.columnName, {\n        fieldName,\n        fieldMap: column.fieldMap,\n      });\n    }\n\n    fieldNamesByTable.set(table.name, tableFieldNames);\n  }\n\n  return fieldNamesByTable;\n}\n\nfunction resolveColumnFieldName(\n  fieldNamesByTable: ReadonlyMap<string, TableColumnFieldNameMap>,\n  tableName: string,\n  columnName: string,\n): string {\n  return (\n    fieldNamesByTable.get(tableName)?.get(columnName)?.fieldName ?? toFieldName(columnName).name\n  );\n}\n\nfunction createUniqueFieldName(desiredName: string, usedFieldNames: ReadonlySet<string>): string {\n  if (!usedFieldNames.has(desiredName)) {\n    return desiredName;\n  }\n\n  let counter = 2;\n  while (usedFieldNames.has(`${desiredName}${counter}`)) {\n    counter++;\n  }\n  return `${desiredName}${counter}`;\n}\n\nfunction buildTopLevelNameMap(\n  sources: Iterable<string>,\n  normalize: (source: string) => TopLevelNameResult,\n  kind: 'model' | 'enum',\n  sourceKind: 'table' | 'enum type',\n): Map<string, TopLevelNameResult> {\n  const results = new Map<string, TopLevelNameResult>();\n  const normalizedToSources = new Map<string, string[]>();\n\n  for (const source of sources) {\n    const normalized = normalize(source);\n    results.set(source, normalized);\n    normalizedToSources.set(normalized.name, [\n      ...(normalizedToSources.get(normalized.name) ?? []),\n      source,\n    ]);\n  }\n\n  const duplicates = [...normalizedToSources.entries()].filter(\n    ([, conflictingSources]) => conflictingSources.length > 1,\n  );\n  if (duplicates.length > 0) {\n    const details = duplicates.map(\n      ([normalizedName, conflictingSources]) =>\n        `- ${kind} \"${normalizedName}\" from ${sourceKind}s ${conflictingSources\n          .map((source) => `\"${source}\"`)\n          .join(', ')}`,\n    );\n    throw new Error(`PSL ${kind} name collisions detected:\\n${details.join('\\n')}`);\n  }\n\n  return results;\n}\n\nfunction createReservedNamedTypeNames(\n  modelNames: ReadonlyMap<string, TopLevelNameResult>,\n): Set<string> {\n  const reservedNames = new Set<string>(PSL_SCALAR_TYPE_NAMES);\n\n  for (const result of modelNames.values()) {\n    reservedNames.add(result.name);\n  }\n\n  return reservedNames;\n}\n\nfunction seedNamedTypeRegistry(\n  schemaIR: SqlSchemaIR,\n  typeMap: PslTypeMap,\n  enumNameMap: ReadonlyMap<string, string>,\n  reservedNames: ReadonlySet<string>,\n): NamedTypeRegistry {\n  type Seed = {\n    readonly baseType: string;\n    readonly desiredName: string;\n    readonly nativeTypeAttribute: PslNativeTypeAttribute;\n  };\n\n  const seeds = new Map<string, Seed>();\n\n  for (const tableName of Object.keys(schemaIR.tables).sort()) {\n    const table = schemaIR.tables[tableName];\n    if (!table) {\n      continue;\n    }\n\n    for (const columnName of Object.keys(table.columns).sort()) {\n      const column = table.columns[columnName];\n      if (!column) {\n        continue;\n      }\n\n      const resolution = typeMap.resolve(column.nativeType, table.annotations);\n      if (\n        'unsupported' in resolution ||\n        enumNameMap.has(column.nativeType) ||\n        !resolution.nativeTypeAttribute\n      ) {\n        continue;\n      }\n\n      const signatureKey = createNamedTypeSignatureKey(resolution);\n      if (!seeds.has(signatureKey)) {\n        seeds.set(signatureKey, {\n          baseType: resolution.pslType,\n          desiredName: toNamedTypeName(column.name),\n          nativeTypeAttribute: resolution.nativeTypeAttribute,\n        });\n      }\n    }\n  }\n\n  const registry: NamedTypeRegistry = {\n    entriesByKey: new Map<string, NamedTypeRegistryEntry>(),\n    usedNames: new Set<string>(reservedNames),\n  };\n\n  const sortedSeeds = [...seeds.entries()].sort((left, right) => {\n    const desiredNameComparison = left[1].desiredName.localeCompare(right[1].desiredName);\n    if (desiredNameComparison !== 0) {\n      return desiredNameComparison;\n    }\n    return left[0].localeCompare(right[0]);\n  });\n\n  for (const [signatureKey, seed] of sortedSeeds) {\n    const name = createUniqueFieldName(seed.desiredName, registry.usedNames);\n    registry.entriesByKey.set(signatureKey, {\n      name,\n      baseType: seed.baseType,\n      nativeTypeAttribute: seed.nativeTypeAttribute,\n    });\n    registry.usedNames.add(name);\n  }\n\n  return registry;\n}\n\nfunction resolveNamedTypeName(\n  registry: NamedTypeRegistry,\n  resolution: {\n    readonly pslType: string;\n    readonly nativeType: string;\n    readonly typeParams?: Record<string, unknown>;\n    readonly nativeTypeAttribute?: PslNativeTypeAttribute;\n  },\n): string {\n  const key = createNamedTypeSignatureKey(resolution);\n  const existing = registry.entriesByKey.get(key);\n  if (existing) {\n    return existing.name;\n  }\n\n  throw new Error(`Named type registry was not seeded for native type \"${resolution.nativeType}\"`);\n}\n\nfunction createNamedTypeSignatureKey(resolution: {\n  readonly pslType: string;\n  readonly nativeType: string;\n  readonly typeParams?: Record<string, unknown>;\n  readonly nativeTypeAttribute?: PslNativeTypeAttribute;\n}): string {\n  return JSON.stringify({\n    baseType: resolution.pslType,\n    nativeTypeAttribute: resolution.nativeTypeAttribute\n      ? {\n          name: resolution.nativeTypeAttribute.name,\n          args: resolution.nativeTypeAttribute.args ?? null,\n        }\n      : null,\n  });\n}\n\nfunction topologicalSort(\n  models: PslModel[],\n  tables: Record<string, SqlTableIR>,\n  modelNameMap: ReadonlyMap<string, string>,\n): PslModel[] {\n  const modelByName = new Map<string, PslModel>();\n  for (const model of models) {\n    modelByName.set(model.name, model);\n  }\n\n  const deps = new Map<string, Set<string>>();\n  const tableToModel = new Map<string, string>();\n  for (const tableName of Object.keys(tables)) {\n    const modelName = modelNameMap.get(tableName) as string;\n    tableToModel.set(tableName, modelName);\n    deps.set(modelName, new Set());\n  }\n\n  for (const [tableName, table] of Object.entries(tables)) {\n    const modelName = tableToModel.get(tableName) as string;\n    for (const fk of table.foreignKeys) {\n      const refModelName = tableToModel.get(fk.referencedTable);\n      if (refModelName && refModelName !== modelName) {\n        (deps.get(modelName) as Set<string>).add(refModelName);\n      }\n    }\n  }\n\n  const result: PslModel[] = [];\n  const visited = new Set<string>();\n  const visiting = new Set<string>();\n\n  const sortedNames = [...deps.keys()].sort();\n\n  function visit(name: string): void {\n    if (visited.has(name)) return;\n    if (visiting.has(name)) return;\n    visiting.add(name);\n\n    const sortedDeps = [...(deps.get(name) as Set<string>)].sort();\n    for (const dep of sortedDeps) {\n      visit(dep);\n    }\n\n    visiting.delete(name);\n    visited.add(name);\n    result.push(modelByName.get(name) as PslModel);\n  }\n\n  for (const name of sortedNames) {\n    visit(name);\n  }\n\n  return result;\n}\n","import type { ColumnDefault } from '@prisma-next/contract/types';\nimport type { SqlControlTargetDescriptor } from '@prisma-next/family-sql/control';\nimport { extractCodecControlHooks } from '@prisma-next/family-sql/control';\nimport type { SqlControlAdapter } from '@prisma-next/family-sql/control-adapter';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  ControlTargetInstance,\n  MigrationRunner,\n} from '@prisma-next/framework-components/control';\nimport type { StorageColumn } from '@prisma-next/sql-contract/types';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { postgresTargetDescriptorMeta } from '../core/descriptor-meta';\nimport { contractToPostgresDatabaseSchemaNode } from '../core/migrations/contract-to-postgres-database-schema-node';\nimport {\n  diffPostgresDatabaseSchema,\n  verifyPostgresDatabaseSchema,\n} from '../core/migrations/diff-database-schema';\nimport { createPostgresMigrationPlanner } from '../core/migrations/planner';\nimport { renderDefaultLiteral } from '../core/migrations/planner-ddl-builders';\nimport type { PostgresPlanTargetDetails } from '../core/migrations/planner-target-details';\nimport { createPostgresMigrationRunner } from '../core/migrations/runner';\nimport { PostgresContractSerializer } from '../core/postgres-contract-serializer';\nimport type { PostgresContract } from '../core/postgres-schema';\nimport { PostgresSchemaVerifier } from '../core/postgres-schema-verifier';\nimport { inferPostgresPslContract } from '../core/psl-infer/infer-psl-contract';\nimport { PostgresDatabaseSchemaNode } from '../core/schema-ir/postgres-database-schema-node';\n\nfunction buildNativeTypeExpander(\n  frameworkComponents?: ReadonlyArray<TargetBoundComponentDescriptor<'sql', 'postgres'>>,\n) {\n  if (!frameworkComponents) {\n    return undefined;\n  }\n  const codecHooks = extractCodecControlHooks(frameworkComponents);\n  return (input: {\n    readonly nativeType: string;\n    readonly codecId?: string;\n    readonly typeParams?: Record<string, unknown>;\n  }) => {\n    if (!input.typeParams) return input.nativeType;\n    if (!input.codecId) return input.nativeType;\n    const hooks = codecHooks.get(input.codecId);\n    if (!hooks?.expandNativeType) return input.nativeType;\n    return hooks.expandNativeType(input);\n  };\n}\n\nexport function postgresRenderDefault(def: ColumnDefault, column: StorageColumn): string {\n  if (def.kind === 'function') {\n    return def.expression;\n  }\n  return renderDefaultLiteral(def.value, column);\n}\n\nconst postgresTargetDescriptor: SqlControlTargetDescriptor<'postgres', PostgresPlanTargetDetails> =\n  {\n    ...postgresTargetDescriptorMeta,\n    contractSerializer: new PostgresContractSerializer(),\n    schemaVerifier: new PostgresSchemaVerifier(),\n    inferPslContract(schema) {\n      PostgresDatabaseSchemaNode.assert(schema);\n      return inferPostgresPslContract(schema);\n    },\n    diffDatabaseSchema(input) {\n      return diffPostgresDatabaseSchema({\n        contract: input.contract,\n        actualSchema: input.schema,\n        strict: input.strict,\n        typeMetadataRegistry: input.typeMetadataRegistry,\n        frameworkComponents: input.frameworkComponents,\n      });\n    },\n    verifyDatabaseSchema(input) {\n      return verifyPostgresDatabaseSchema({\n        contract: input.contract,\n        actualSchema: input.schema,\n        strict: input.strict,\n        typeMetadataRegistry: input.typeMetadataRegistry,\n        frameworkComponents: input.frameworkComponents,\n      });\n    },\n    migrations: {\n      createPlanner(adapter: SqlControlAdapter<'postgres'>) {\n        return createPostgresMigrationPlanner(adapter);\n      },\n      createRunner(family) {\n        return createPostgresMigrationRunner(family) as MigrationRunner<'sql', 'postgres'>;\n      },\n      contractToSchema(contract, frameworkComponents) {\n        const expander = buildNativeTypeExpander(frameworkComponents);\n        const postgresContract = blindCast<\n          PostgresContract | null,\n          'the family resolver only binds this hook for a Postgres-target contract'\n        >(contract);\n        return contractToPostgresDatabaseSchemaNode(postgresContract, {\n          annotationNamespace: 'pg',\n          ...ifDefined('expandNativeType', expander),\n          renderDefault: postgresRenderDefault,\n        });\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(adapter: SqlControlAdapter<'postgres'>) {\n      return createPostgresMigrationPlanner(adapter);\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":";;;;;;;;;;;;;;;;AA+BA,MAAM,cAAc;;;;;AAMpB,SAAS,qBAAwD,OAAa;CAC5E,MAAM,SAAkC,CAAC;CACzC,KAAK,MAAM,CAAC,KAAK,QAAQ,OAAO,QAAQ,KAAK,GAC3C,IAAI,QAAQ,QAAQ,QAAQ,KAAA,GAC1B,OAAO,OAAO;MACT,IAAI,MAAM,QAAQ,GAAG,GAC1B,OAAO,OAAO,OAAO,OAAO,CAAC,GAAG,GAAG,CAAC;MAC/B,IAAI,OAAO,QAAQ,UACxB,OAAO,OAAO,qBAAqB,GAA8B;MAEjE,OAAO,OAAO;CAGlB,OAAO,OAAO,OAAO,MAAM;AAC7B;AAEA,SAAgB,8BACd,QAC+C;CAC/C,OAAO,IAAI,wBAAwB,MAAM;AAC3C;AAEA,IAAM,0BAAN,MAAuF;CACxD;CAA7B,YAAY,QAAmD;EAAlC,KAAA,SAAA;CAAmC;;;;;;CAOhE,MAAM,oBACJ,SACmC;EACnC,MAAM,SACJ,QAAQ,cACR,OAAO,KAAK,QAAQ,oBAAoB,QAAQ,UAAU,CAAC,CAAC,MACzD,OAAO,OAAO,oBACjB,KACA;EACF,MAAM,SAAS,QAAQ;EACvB,IAAI,QAAQ,UAAU,KAAA,KAAa,QAAQ,UAAU,QAAQ,KAAK,SAChE,MAAM,IAAI,MACR,sCAAsC,QAAQ,MAAM,iCAAiC,QAAQ,KAAK,QAAQ,EAC5G;EAEF,MAAM,QAAQ,QAAQ,KAAK;EAC3B,MAAM,UAAU,GAAG,YAAY,GAAG,OAAO,GAAG;EAG5C,MAAM,UAAU,UAGd,MAAM,QAAQ,IAAI,QAAQ,KAAK,UAAU,CAAC;EAI5C,MAAM,mBAAmB,KAAK,qCAC5B,QAAQ,KAAK,aACb,QAAQ,mBACV;EACA,IAAI,CAAC,iBAAiB,IAAI,OAAO;EAEjC,MAAM,cAAc,KAAK,2BAA2B,QAAQ,QAAQ,OAAO;EAC3E,IAAI,CAAC,YAAY,IAAI,OAAO;EAE5B,MAAM,KAAK,YAAY,QAAQ,OAAO;EACtC,MAAM,eAAe,MAAM,KAAK,oBAAoB,QAAQ,QAAQ,mBAAmB;EACvF,IAAI,CAAC,aAAa,IAAI,OAAO;EAC7B,MAAM,iBAAiB,MAAM,KAAK,OAAO,WAAW;GAAE;GAAQ;EAAM,CAAC;EAErE,MAAM,cAAc,KAAK,0BAA0B,gBAAgB,QAAQ,IAAI;EAC/E,IAAI,CAAC,YAAY,IAAI,OAAO;EAE5B,MAAM,sBAAsB,KAAK,yBAAyB,gBAAgB,QAAQ,IAAI;EACtF,MAAM,aAAa,QAAQ,KAAK,QAAQ,gBAAgB,QAAQ,KAAK,YAAY;EACjF,MAAM,iBAAiB,uBAAuB,QAAQ,KAAK,UAAU,QAAQ,CAAC;EAC9E,IAAI;EAEJ,IAAI,gBACF,aAAa;GAAE,oBAAoB;GAAG,oBAAoB,CAAC;EAAE;OACxD;GACL,MAAM,cAAc,MAAM,KAAK,UAAU,QAAQ,SAAS,OAAO;GACjE,IAAI,CAAC,YAAY,IAAI,OAAO;GAC5B,aAAa,YAAY;EAC3B;EAMA,IAAI,UAAU,cAAc;GAC1B,MAAM,aAAa,MAAM,KAAK,OAAO,WAAW;IAC9C;IACA,UAAU,QAAQ;GACpB,CAAC;GACD,MAAM,qBAAqB,KAAK,OAAO,aAAa;IAClD,UAAU,QAAQ;IAClB,QAAQ;IACR,QAAQ,QAAQ,sBAAsB;IACtC,qBAAqB,QAAQ;GAC/B,CAAC;GACD,IAAI,CAAC,mBAAmB,IACtB,OAAO,cAAc,wBAAwB,mBAAmB,SAAS;IACvE,KAAK;IACL,MAAM,EACJ,QAAQ,CACN,GAAG,mBAAmB,OAAO,QAC7B,GAAG,mBAAmB,OAAO,gBAC/B,EACF;GACF,CAAC;EAEL;EAEA,MAAM,qBAAqB,QAAQ,KAAK,sBAAsB,CAAC;EAC/D,MAAM,qBAAqB,IAAI,IAAI,gBAAgB,cAAc,CAAC,CAAC;EACnE,MAAM,6BAA6B,mBAAmB,OAAO,OAAO,mBAAmB,IAAI,EAAE,CAAC;EAI9F,IAAI,EAFF,cAAc,WAAW,uBAAuB,KAAK,6BAElC;GACnB,MAAM,eAAe,MAAM,KAAK,aAAa,QAAQ,SAAS,gBAAgB,KAAK;GACnF,IAAI,CAAC,aAAa,IAAI,OAAO;GAC7B,MAAM,KAAK,oBACT,QACA,SACA,WAAW,oBACX,QAAQ,MACV;EACF;EAEA,OAAO,cAAc;GACnB,mBAAmB,QAAQ;GAC3B,oBAAoB,WAAW;EACjC,CAAC;CACH;CAEA,MAAM,QAAQ,SAKqB;EACjC,MAAM,SAAS,QAAQ;EACvB,MAAM,kBAAkB,QAAQ;EAEhC,IAAI,gBAAgB,WAAW,GAC7B,OAAO,GAAG,EAAE,iBAAiB,CAAC,EAAE,CAAC;EAGnC,MAAM,KAAK,iBAAiB,MAAM;EAClC,IAAI,YAAY;EAChB,IAAI;GACF,MAAM,kBAGD,CAAC;GACN,KAAK,MAAM,gBAAgB,iBAAiB;IAC1C,MAAM,QAAQ,aAAa,SAAS,aAAa,KAAK;IACtD,MAAM,SAAS,MAAM,KAAK,oBAAoB;KAAE,GAAG;KAAc;KAAQ;IAAM,CAAC;IAChF,IAAI,CAAC,OAAO,IACV,OAAO,MAAM;KAAE,GAAG,OAAO;KAAS,cAAc;IAAM,CAAC;IAEzD,gBAAgB,KAAK;KAAE;KAAO,OAAO,OAAO;IAAM,CAAC;GACrD;GAEA,MAAM,KAAK,kBAAkB,MAAM;GACnC,YAAY;GACZ,OAAO,GAAG,EAAE,gBAAgB,CAAC;EAC/B,UAAU;GACR,IAAI,CAAC,WACH,MAAM,KAAK,oBAAoB,MAAM;EAEzC;CACF;CAEA,MAAc,UACZ,QACA,SACA,KACmE;EACnE,MAAM,SAAS,QAAQ;EACvB,MAAM,eAAe,QAAQ,cAAc;EAC3C,MAAM,gBAAgB,QAAQ,eAAe;EAC7C,MAAM,iBAAiB,QAAQ,sBAAsB;EAErD,IAAI,qBAAqB;EACzB,MAAM,qBAAkF,CAAC;EACzF,KAAK,MAAM,aAAa,KAAK;GAC3B,QAAQ,WAAW,mBAAmB,SAAS;GAC/C,IAAI;IAEF,IAAI,iBAAiB;SAKf,MAJoC,KAAK,yBAC3C,QACA,UAAU,SACZ,GAC+B;MAC7B,mBAAmB,KAAK,KAAK,sCAAsC,SAAS,CAAC;MAC7E;KACF;;IAIF,IAAI,cAAc;KAChB,MAAM,iBAAiB,MAAM,KAAK,oBAChC,QACA,UAAU,UACV,WACA,UACF;KACA,IAAI,CAAC,eAAe,IAClB,OAAO;IAEX;IAEA,MAAM,gBAAgB,MAAM,KAAK,gBAAgB,QAAQ,UAAU,SAAS,SAAS;IACrF,IAAI,CAAC,cAAc,IACjB,OAAO;IAIT,IAAI,eAAe;KACjB,MAAM,kBAAkB,MAAM,KAAK,oBACjC,QACA,UAAU,WACV,WACA,WACF;KACA,IAAI,CAAC,gBAAgB,IACnB,OAAO;IAEX;IAEA,mBAAmB,KAAK,SAAS;IACjC,sBAAsB;GACxB,UAAU;IACR,QAAQ,WAAW,sBAAsB,SAAS;GACpD;EACF;EACA,OAAO,GAAG;GAAE;GAAoB;EAAmB,CAAC;CACtD;CAEA,MAAc,oBACZ,QACA,UACkD;EAClD,MAAM,iBAAiB,EAAE,SAAS;EAElC,MAAM,CAAC,aAAa,GAAG,gBADE,KAAK,OAAO,6BACiB;EACtD,IAAI,gBAAgB,KAAA,GAClB,MAAM,IAAI,MAAM,6DAA6D;EAE/E,MAAM,KAAK,iBAAiB,QAAQ,MAAM,KAAK,OAAO,SAAS,aAAa,cAAc,CAAC;EAC3F,MAAM,kBAAkB,MAAM,KAAK,wBAAwB,MAAM;EACjE,IAAI,CAAC,gBAAgB,IACnB,OAAO;EAET,KAAK,MAAM,SAAS,cAClB,MAAM,KAAK,iBAAiB,QAAQ,MAAM,KAAK,OAAO,SAAS,OAAO,cAAc,CAAC;EAEvF,OAAO,OAAO;CAChB;CAEA,MAAc,wBACZ,QACkD;EAClD,MAAM,SAAS,MAAM,OAAO,MAC1B;;;oCAIF;EACA,IAAI,OAAO,KAAK,WAAW,GACzB,OAAO,OAAO;EAEhB,MAAM,UAAU,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,WAAW,CAAC;EACjE,IAAI,QAAQ,IAAI,OAAO,GACrB,OAAO,OAAO;EAEhB,OAAO,cACL,uBACA,gSAGA,EACE,MAAM;GACJ,OAAO;GACP,SAAS,CAAC,GAAG,OAAO,CAAC,CAAC,KAAK;EAC7B,EACF,CACF;CACF;CAEA,MAAc,oBACZ,QACA,OACA,WACA,OACkD;EAClD,KAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,SAAS,MAAM,OAAO,MAAM,KAAK,KAAK,KAAK,UAAU,CAAC,CAAC;GAC7D,IAAI,CAAC,KAAK,iBAAiB,OAAO,IAAI,GAEpC,OAAO,cADM,UAAU,aAAa,oBAAoB,oBAGtD,aAAa,UAAU,GAAG,iBAAiB,MAAM,IAAI,KAAK,eAC1D,EACE,MAAM;IACJ,aAAa,UAAU;IACvB;IACA,iBAAiB,KAAK;GACxB,EACF,CACF;EAEJ;EACA,OAAO,OAAO;CAChB;CAEA,MAAc,gBACZ,QACA,OACA,WACkD;EAClD,KAAK,MAAM,QAAQ,OACjB,IAAI;GACF,MAAM,OAAO,MAAM,KAAK,KAAK,KAAK,UAAU,CAAC,CAAC;EAChD,SAAS,OAAgB;GACvB,IAAI,cAAc,GAAG,KAAK,GACxB,OAAO,cACL,oBACA,aAAa,UAAU,GAAG,4BAA4B,KAAK,eAC3D;IACE,KAAK,MAAM;IACX,MAAM;KACJ,aAAa,UAAU;KACvB,iBAAiB,KAAK;KACtB,KAAK,KAAK;KACV,UAAU,MAAM;KAChB,YAAY,MAAM;KAClB,OAAO,MAAM;KACb,QAAQ,MAAM;KACd,QAAQ,MAAM;IAChB;GACF,CACF;GAEF,MAAM;EACR;EAEF,OAAO,OAAO;CAChB;CAEA,iBAAyB,MAAmD;EAC1E,IAAI,CAAC,QAAQ,KAAK,WAAW,GAC3B,OAAO;EAET,MAAM,WAAW,KAAK;EACtB,MAAM,aAAa,WAAW,OAAO,OAAO,QAAQ,CAAC,CAAC,KAAK,KAAA;EAC3D,IAAI,OAAO,eAAe,WACxB,OAAO;EAET,IAAI,OAAO,eAAe,UACxB,OAAO,eAAe;EAExB,IAAI,OAAO,eAAe,UAAU;GAClC,MAAM,QAAQ,WAAW,YAAY;GAErC,IAAI,UAAU,OAAO,UAAU,UAAU,UAAU,KACjD,OAAO;GAET,IAAI,UAAU,OAAO,UAAU,WAAW,UAAU,KAClD,OAAO;GAGT,OAAO,WAAW,SAAS;EAC7B;EACA,OAAO,QAAQ,UAAU;CAC3B;CAEA,MAAc,yBACZ,QACA,OACkB;EAClB,IAAI,MAAM,WAAW,GACnB,OAAO;EAET,KAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,SAAS,MAAM,OAAO,MAAM,KAAK,KAAK,KAAK,UAAU,CAAC,CAAC;GAC7D,IAAI,CAAC,KAAK,iBAAiB,OAAO,IAAI,GACpC,OAAO;EAEX;EACA,OAAO;CACT;CAEA,sCACE,WACsD;EAEtD,MAAM,aAAa,UAAU,OAAO,qBAAqB,UAAU,IAAI,IAAI,KAAA;EAG3E,MAAM,aAAa,OAAO,OAAO;GAC/B,SAAS;GACT,QAAQ;EACV,CAAC;EAGD,MAAM,aAAa,OAAO,OAAO;GAC/B,GAAI,cAAc,CAAC;GACnB,QAAQ;EACV,CAAC;EAGD,MAAM,kBAAkB,OAAO,OAAO,CAAC,GAAG,UAAU,SAAS,CAAC;EAE9D,OAAO,OAAO,OAAO;GACnB,IAAI,UAAU;GACd,OAAO,UAAU;GACjB,GAAG,UAAU,WAAW,UAAU,OAAO;GACzC,gBAAgB,UAAU;GAC1B,QAAQ,UAAU;GAClB,UAAU,OAAO,OAAO,CAAC,CAAC;GAC1B,SAAS,OAAO,OAAO,CAAC,CAAC;GACzB,WAAW;GACX,GAAG,UAAU,QAAQ,UAAU,QAAQ,aAAa,aAAa,KAAA,CAAS;EAC5E,CAAC;CACH;CAEA,yBACE,QACA,MACS;EACT,IAAI,CAAC,QACH,OAAO;EAET,IAAI,OAAO,gBAAgB,KAAK,YAAY,aAC1C,OAAO;EAET,IAAI,KAAK,YAAY,eAAe,OAAO,gBAAgB,KAAK,YAAY,aAC1E,OAAO;EAET,OAAO;CACT;CAEA,2BACE,QACA,YACyC;EACzC,MAAM,iBAAiB,IAAI,IAAI,OAAO,uBAAuB;EAC7D,KAAK,MAAM,aAAa,YACtB,IAAI,CAAC,eAAe,IAAI,UAAU,cAAc,GAC9C,OAAO,cACL,oBACA,aAAa,UAAU,GAAG,cAAc,UAAU,eAAe,oCACjE;GACE,KAAK,uBAAuB,OAAO,wBAAwB,KAAK,IAAI,EAAE;GACtE,MAAM;IACJ,aAAa,UAAU;IACvB,gBAAgB,UAAU;IAC1B,gBAAgB,OAAO;GACzB;EACF,CACF;EAGJ,OAAO,OAAO;CAChB;CAEA,0BACE,QACA,MACyC;EACzC,MAAM,SAAS,KAAK,UAAU;EAC9B,IAAI,CAAC,QAIH,OAAO,OAAO;EAGhB,IAAI,CAAC,QACH,OAAO,cACL,0BACA,yDAAyD,OAAO,YAAY,IAC5E,EACE,MAAM,EACJ,2BAA2B,OAAO,YACpC,EACF,CACF;EAEF,IAAI,OAAO,gBAAgB,OAAO,aAChC,OAAO,cACL,0BACA,6BAA6B,OAAO,YAAY,gCAAgC,OAAO,YAAY,KACnG,EACE,MAAM;GACJ,mBAAmB,OAAO;GAC1B,2BAA2B,OAAO;EACpC,EACF,CACF;EAEF,IAAI,OAAO,eAAe,OAAO,gBAAgB,OAAO,aACtD,OAAO,cACL,0BACA,0CAA0C,OAAO,YAAY,6CAA6C,OAAO,YAAY,KAC7H,EACE,MAAM;GACJ,mBAAmB,OAAO;GAC1B,2BAA2B,OAAO;EACpC,EACF,CACF;EAEF,OAAO,OAAO;CAChB;CAEA,qCACE,aACA,UACyC;EACzC,IAAI,YAAY,gBAAgB,SAAS,QAAQ,aAC/C,OAAO,cACL,iCACA,kCAAkC,YAAY,YAAY,mDAAmD,SAAS,QAAQ,YAAY,KAC1I,EACE,MAAM;GACJ,iBAAiB,YAAY;GAC7B,qBAAqB,SAAS,QAAQ;EACxC,EACF,CACF;EAEF,IACE,YAAY,eACZ,SAAS,eACT,YAAY,gBAAgB,SAAS,aAErC,OAAO,cACL,iCACA,kCAAkC,YAAY,YAAY,mDAAmD,SAAS,YAAY,KAClI,EACE,MAAM;GACJ,iBAAiB,YAAY;GAC7B,qBAAqB,SAAS;EAChC,EACF,CACF;EAEF,OAAO,OAAO;CAChB;CAEA,MAAc,aACZ,QACA,SACA,gBACA,OACkD;EAClD,MAAM,cAAc;GAClB,aAAa,QAAQ,KAAK,YAAY;GACtC,aACE,QAAQ,KAAK,YAAY,eACzB,QAAQ,oBAAoB,eAC5B,QAAQ,KAAK,YAAY;GAC3B,YAAY,QAAQ,KAAK,sBAAsB,CAAC;EAClD;EACA,IAAI,CAAC,gBAAgB;GACnB,MAAM,KAAK,OAAO,WAAW;IAAE;IAAQ;IAAO;GAAY,CAAC;GAC3D,OAAO,OAAO;EAChB;EAOA,IAAI,CAAC,MANiB,KAAK,OAAO,aAAa;GAC7C;GACA;GACA,cAAc,eAAe;GAC7B;EACF,CAAC,GAEC,OAAO,cACL,sBACA,sEACA,EACE,MAAM;GACJ;GACA,qBAAqB,eAAe;GACpC,wBAAwB,QAAQ,KAAK,YAAY;EACnD,EACF,CACF;EAEF,OAAO,OAAO;CAChB;CAEA,MAAc,oBACZ,QACA,SACA,oBACA,eACe;EAEf,MAAM,QADO,QAAQ,KACF;EACnB,MAAM,QAAQ,QAAQ;EACtB,MAAM,eAAe,MAAM,QAAQ,KAAK,SAAS,MAAM,KAAK,gBAAgB,CAAC;EAC7E,IAAI,iBAAiB,eACnB,MAAM,IAAI,MACR,yCAAyC,cAAc,yDAAyD,aAAa,EAC/H;EAKF,IAAI,SAAS;EACb,KAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,UAAU,mBAAmB,MAAM,QAAQ,SAAS,KAAK,cAAc;GAC7E,UAAU,KAAK;GACf,MAAM,KAAK,OAAO,iBAAiB;IACjC;IACA;IACA,OAAO;KACL,QAAQ,GAAG,KAAK,KAAK,IAAI,KAAK;KAC9B,MAAM,KAAK;KACX,IAAI,KAAK;KACT,eAAe,KAAK;KACpB,eAAe,KAAK;KACpB,YAAY;IACd;GACF,CAAC;EACH;CACF;CAEA,MAAc,YACZ,QACA,KACe;EACf,MAAM,OAAO,MAAM,8CAA8C,CAAC,GAAG,CAAC;CACxE;CAEA,MAAc,iBACZ,QACe;EACf,MAAM,OAAO,MAAM,OAAO;CAC5B;CAEA,MAAc,kBACZ,QACe;EACf,MAAM,OAAO,MAAM,QAAQ;CAC7B;CAEA,MAAc,oBACZ,QACe;EACf,MAAM,OAAO,MAAM,UAAU;CAC/B;CAEA,MAAc,iBACZ,QACA,WACe;EACf,MAAM,OAAO,MAAM,UAAU,KAAK,UAAU,MAAM;CACpD;AACF;;;;;;;;;;;;;;;;;;ACxqBA,IAAa,yBAAb,cAA4C,sBAG1C;CACA,sBACE,UACwB;EACxB,OAAO,CAAC;CACV;CAEA,uBACE,UACwB;EACxB,OAAO,CAAC;CACV;AACF;;;AClCA,MAAM,+BAAiE,EACrE,qBAAqB,+CACvB;AAEA,SAAS,2BAA2B,YAA4B;CAC9D,OAAO,wBAAwB,KAAK,UAAU,UAAU,EAAE;AAC5D;AAEA,SAAgB,+BAAsD;CACpE,OAAO;EACL,oBAAoB;EACpB,2BAA2B;CAC7B;AACF;;;ACRA,MAAM,kBAA0C;CAC9C,MAAM;CACN,MAAM;CACN,SAAS;CACT,MAAM;CACN,SAAS;CACT,MAAM;CACN,QAAQ;CACR,QAAQ;CACR,oBAAoB;CACpB,SAAS;CACT,SAAS;CACT,aAAa;CACb,4BAA4B;CAC5B,OAAO;CACP,OAAO;AACT;AAEA,MAAM,yBAGF;CACF,qBAAqB;EAAE,SAAS;EAAU,eAAe;CAAa;CACtE,WAAW;EAAE,SAAS;EAAU,eAAe;CAAU;CACzD,MAAM;EAAE,SAAS;EAAU,eAAe;CAAU;CACpD,SAAS;EAAE,SAAS;EAAU,eAAe;CAAa;CAC1D,MAAM;EAAE,SAAS;EAAU,eAAe;CAAU;CACpD,MAAM;EAAE,SAAS;EAAO,eAAe;CAAc;CACrD,UAAU;EAAE,SAAS;EAAO,eAAe;CAAc;CACzD,QAAQ;EAAE,SAAS;EAAS,eAAe;CAAU;CACrD,MAAM;EAAE,SAAS;EAAS,eAAe;CAAU;CACnD,WAAW;EAAE,SAAS;EAAY,eAAe;CAAe;CAChE,+BAA+B;EAAE,SAAS;EAAY,eAAe;CAAe;CACpF,MAAM;EAAE,SAAS;EAAY,eAAe;CAAU;CACtD,MAAM;EAAE,SAAS;EAAY,eAAe;CAAU;CACtD,0BAA0B;EAAE,SAAS;EAAY,eAAe;CAAU;CAC1E,QAAQ;EAAE,SAAS;EAAY,eAAe;CAAY;CAC1D,uBAAuB;EAAE,SAAS;EAAY,eAAe;CAAY;CACzE,MAAM;EAAE,SAAS;EAAQ,eAAe;CAAU;AACpD;AAEA,MAAM,6BAGF;CACF,qBAAqB;EAAE,SAAS;EAAU,eAAe;CAAa;CACtE,WAAW;EAAE,SAAS;EAAU,eAAe;CAAU;CACzD,MAAM;EAAE,SAAS;EAAU,eAAe;CAAU;CACpD,SAAS;EAAE,SAAS;EAAU,eAAe;CAAa;CAC1D,SAAS;EAAE,SAAS;EAAW,eAAe;CAAa;CAC3D,WAAW;EAAE,SAAS;EAAY,eAAe;CAAe;CAChE,aAAa;EAAE,SAAS;EAAY,eAAe;CAAiB;CACpE,MAAM;EAAE,SAAS;EAAY,eAAe;CAAU;CACtD,QAAQ;EAAE,SAAS;EAAY,eAAe;CAAY;AAC5D;AAEA,MAAM,6BAA6B;AAEnC,SAAS,mBAAmB,KAA6B,KAAiC;CACxF,OAAO,OAAO,OAAO,KAAK,GAAG,IAAI,IAAI,OAAO,KAAA;AAC9C;AAEA,SAAS,kBAAqB,KAAwB,KAA4B;CAChF,OAAO,OAAO,OAAO,KAAK,GAAG,IAAI,IAAI,OAAO,KAAA;AAC9C;AAEA,SAAS,0BAA0B,MAAc,MAAkD;CACjG,OAAO,QAAQ,KAAK,SAAS,IAAI;EAAE;EAAM;CAAK,IAAI,EAAE,KAAK;AAC3D;AAEA,SAAS,uBAAuB,QAAmC;CACjE,OAAO,OACJ,MAAM,GAAG,CAAC,CACV,KAAK,SAAS,KAAK,KAAK,CAAC,CAAC,CAC1B,QAAQ,SAAS,KAAK,SAAS,CAAC;AACrC;AAEA,SAAgB,sBAAsB,eAAiD;CACrF,OAAO,EACL,QAAQ,YAAuC;EAC7C,IAAI,eAAe,IAAI,UAAU,GAC/B,OAAO;GAAE,SAAS;GAAY;EAAW;EAG3C,MAAM,aAAa,WAAW,MAAM,0BAA0B;EAC9D,IAAI,YAAY;GACd,MAAM,GAAG,WAAW,YAAY,SAAS,MAAM;GAC/C,MAAM,WAAW,kBAAkB,4BAA4B,QAAQ;GACvE,IAAI,UACF,OAAO;IACL,SAAS,SAAS;IAClB;IACA,YAAY;KAAE;KAAU;IAAO;IAC/B,qBAAqB,0BACnB,SAAS,eACT,uBAAuB,MAAM,CAC/B;GACF;EAEJ;EAEA,MAAM,gBAAgB,kBAAkB,wBAAwB,UAAU;EAC1E,IAAI,eACF,OAAO;GACL,SAAS,cAAc;GACvB;GACA,qBAAqB,0BAA0B,cAAc,aAAa;EAC5E;EAGF,MAAM,UAAU,mBAAmB,iBAAiB,UAAU;EAC9D,IAAI,SACF,OAAO;GACL;GACA;EACF;EAGF,OAAO;GAAE,aAAa;GAAM;EAAW;CACzC,EACF;AACF;;;AC1FA,MAAM,iBAA0B;CAC9B,OAAO;EAAE,QAAQ;EAAG,MAAM;EAAG,QAAQ;CAAE;CACvC,KAAK;EAAE,QAAQ;EAAG,MAAM;EAAG,QAAQ;CAAE;AACvC;AAEA,MAAM,wBAAwB,IAAI,IAAI;CACpC;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;;;;;;;;;;;;;;;AAuCD,SAAgB,yBAAyB,MAAkD;CACzF,MAAM,aAAa,OAAO,OAAO,KAAK,UAAU;CAKhD,MAAM,gBAAgB,CAAC,GAAG,IAAI,IAAI,WAAW,SAAS,OAAO,GAAG,mBAAmB,CAAC,CAAC;CACrF,IAAI,cAAc,SAAS,GAAG;EAC5B,MAAM,QAAQ,cAAc,KAAK,IAAI;EACrC,MAAM,IAAI,MACR,uEAAuE,MAAM,kUAK/E;CACF;CASA,MAAM,SAAqC,CAAC;CAC5C,KAAK,MAAM,aAAa,YACtB,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,UAAU,MAAM,GAAG;EACjE,IAAI,OAAO,eAAe,KAAA,GACxB,MAAM,IAAI,MACR,yCAAyC,UAAU,2JAGrD;EAEF,OAAO,aAAa;CACtB;CAUF,OAAO,oBAAoB,EARK,OAQE,GAAG;EALnC,SAAS,sCAAsB,IAAI,IAAI,CAAC;EACxC,gBAAgB,6BAA6B;EAC7C;CAGyC,CAAC;AAC9C;AAEA,SAAS,oBAAoB,UAAuB,SAA4C;CAC9F,MAAM,EAAE,SAAS,gBAAgB,iBAAiB,qBAAqB;CAEvE,MAAM,aAAa,qBACjB,OAAO,KAAK,SAAS,MAAM,GAC3B,aACA,SACA,OACF;CAEA,MAAM,eAAe,IAAI,IACvB,CAAC,GAAG,UAAU,CAAC,CAAC,KAAK,CAAC,WAAW,YAAY,CAAC,WAAW,OAAO,IAAI,CAAC,CACvE;CACA,MAAM,yBAAyB,6BAA6B,UAAU;CAEtE,MAAM,oBAAoB,uBAAuB,SAAS,MAAM;CAChE,MAAM,EAAE,qBAAqB,eAAe,SAAS,QAAQ,YAAY;CACzE,MAAM,aAAa,sBAAsB,UAAU,yBAAS,IAAI,IAAI,GAAG,sBAAsB;CAE7F,MAAM,SAAqB,CAAC;CAC5B,KAAK,MAAM,SAAS,OAAO,OAAO,SAAS,MAAM,GAC/C,OAAO,KACL,WACE,OACA,yBACA,IAAI,IAAI,GACR,mBACA,YACA,gBACA,kBACA,iBAAiB,IAAI,MAAM,IAAI,KAAK,CAAC,CACvC,CACF;CAGF,MAAM,eAAe,gBAAgB,QAAQ,SAAS,QAAQ,YAAY;CAE1E,MAAM,mBAAmB,CAAC,GAAG,WAAW,aAAa,OAAO,CAAC,CAAC,CAAC,MAAM,GAAG,MACtE,EAAE,KAAK,cAAc,EAAE,IAAI,CAC7B;CACA,MAAM,QACJ,iBAAiB,SAAS,IACtB;EACE,MAAM;EACN,cAAc,iBAAiB,IAAI,yBAAyB;EAC5D,MAAM;CACR,IACA,KAAA;CAuBN,OAAO;EAdL,MAAM;EACN,UAAU;EACV,YAAY,CACV,iBAAiB;GACf,MAAM;GACN,MAAM;GACN,SAAS,wBAAwB,cAAc,CAAC,GAAG,CAAC,CAAC;GACrD,MAAM;EACR,CAAC,CACH;EACA,GAAI,QAAQ,EAAE,MAAM,IAAI,CAAC;EACzB,MAAM;CAGC;AACX;AAEA,SAAS,WACP,OACA,SACA,aACA,mBACA,YACA,gBACA,kBACA,gBACU;CACV,MAAM,EAAE,MAAM,WAAW,KAAK,YAAY,YAAY,MAAM,IAAI;CAChE,MAAM,eAAe,kBAAkB,IAAI,MAAM,IAAI;CAErD,MAAM,YAAY,IAAI,IAAI,MAAM,YAAY,WAAW,CAAC,CAAC;CACzD,MAAM,aAAa,UAAU,SAAS;CACtC,MAAM,yBAAyB,aAAa,MAAM,YAAY,OAAO,KAAA;CAErE,MAAM,gCAAgB,IAAI,IAAgC;CAC1D,KAAK,MAAM,UAAU,MAAM,SACzB,IAAI,OAAO,QAAQ,WAAW,GAAG;EAC/B,MAAM,CAAC,aAAa,MAAM,OAAO;EACjC,MAAM,yBAAyB,cAAc,IAAI,UAAU;EAC3D,IAAI,CAAC,cAAc,IAAI,UAAU,KAAM,2BAA2B,KAAA,KAAa,OAAO,MACpF,cAAc,IAAI,YAAY,OAAO,IAAI;CAE7C;CAGF,MAAM,SAAqB,CAAC;CAC5B,KAAK,MAAM,UAAU,OAAO,OAAO,MAAM,OAAO,GAC9C,OAAO,KACL,iBACE,QACA,OACA,SACA,aACA,cACA,YACA,gBACA,kBACA,WACA,YACA,wBACA,aACF,CACF;CAGF,MAAM,iBAAiB,IAAI,IAAI,OAAO,KAAK,UAAU,MAAM,IAAI,CAAC;CAChE,KAAK,MAAM,OAAO,gBAChB,OAAO,KAAK,mBAAmB,KAAK,MAAM,MAAM,mBAAmB,cAAc,CAAC;CAGpF,MAAM,kBAAuC,CAAC;CAE9C,IAAI,MAAM,cAAc,MAAM,WAAW,QAAQ,SAAS,GAAG;EAC3D,MAAM,eAAe,MAAM,WAAW,QAAQ,KAAK,eACjD,uBAAuB,mBAAmB,MAAM,MAAM,UAAU,CAClE;EACA,gBAAgB,KAAK,8BAA8B,MAAM,cAAc,MAAM,WAAW,IAAI,CAAC;CAC/F;CAEA,KAAK,MAAM,UAAU,MAAM,SACzB,IAAI,OAAO,QAAQ,SAAS,GAAG;EAC7B,MAAM,mBAAmB,OAAO,QAAQ,KAAK,eAC3C,uBAAuB,mBAAmB,MAAM,MAAM,UAAU,CAClE;EACA,gBAAgB,KAAK,8BAA8B,UAAU,kBAAkB,OAAO,IAAI,CAAC;CAC7F;CAGF,KAAK,MAAM,SAAS,MAAM,SACxB,IAAI,CAAC,MAAM,QAAQ;EACjB,MAAM,kBAAkB,MAAM,QAAQ,KAAK,eACzC,uBAAuB,mBAAmB,MAAM,MAAM,UAAU,CAClE;EACA,gBAAgB,KAAK,8BAA8B,SAAS,iBAAiB,MAAM,IAAI,CAAC;CAC1F;CAGF,IAAI,SACF,gBAAgB,KAAK,kBAAkB,SAAS,OAAO,CAAC;CAO1D,MAAM,UAAU,MAAM,aAClB,KAAA,IACA;CAEJ,OAAO;EACL,MAAM;EACN,MAAM;EACN;EACA,YAAY;EACZ,MAAM;EACN,GAAI,YAAY,KAAA,IAAY,EAAE,QAAQ,IAAI,CAAC;CAC7C;AACF;AAEA,SAAS,iBACP,QACA,OACA,SACA,aACA,cACA,YACA,gBACA,kBACA,WACA,YACA,wBACA,eACU;CACV,MAAM,gBAAgB,cAAc,IAAI,OAAO,IAAI;CACnD,MAAM,YAAY,eAAe,aAAa,YAAY,OAAO,IAAI,CAAC,CAAC;CACvE,MAAM,WAAW,eAAe;CAEhC,MAAM,aAAa,QAAQ,QAAQ,OAAO,YAAY,MAAM,WAAW;CAEvE,IAAI,iBAAiB,YAAY;EAC/B,MAAM,QAA6B,CAAC;EACpC,IAAI,aAAa,KAAA,GACf,MAAM,KAAK,kBAAkB,SAAS,QAAQ,CAAC;EAEjD,OAAO;GACL,MAAM;GACN,MAAM;GACN,UAAU,gBAAgB,gBAAgB,WAAW,UAAU,EAAE;GACjE,UAAU,OAAO;GACjB,MAAM,OAAO,SAAS;GACtB,YAAY;GACZ,MAAM;EACR;CACF;CAEA,IAAI,WAAW,WAAW;CAC1B,MAAM,cAAc,YAAY,IAAI,OAAO,UAAU;CACrD,IAAI,aACF,WAAW;CAEb,IAAI,WAAW,uBAAuB,CAAC,aACrC,WAAW,qBAAqB,YAAY,UAAU;CAGxD,MAAM,aAAkC,CAAC;CACzC,MAAM,OAAO,cAAc,UAAU,IAAI,OAAO,IAAI;CACpD,IAAI,MACF,WAAW,KAAK,oCAAoC,MAAM,sBAAsB,CAAC;CAGnF,IAAI,OAAO,YAAY,KAAA,GAAW;EAChC,MAAM,SAAS,mBAAmB,OAAO,SAAS,OAAO,YAAY,gBAAgB;EACrF,IAAI,QAAQ;GACV,MAAM,SAAS,WAAW,QAAQ,cAAc;GAChD,IAAI,eAAe,QACjB,WAAW,KAAK,4BAA4B,OAAO,SAAS,CAAC;EAMjE;CACF;CAEA,IAAI,cAAc,IAAI,OAAO,IAAI,KAAK,CAAC,MAAM;EAC3C,MAAM,uBAAuB,cAAc,IAAI,OAAO,IAAI;EAC1D,WAAW,KAAK,oCAAoC,UAAU,oBAAoB,CAAC;CACrF;CAEA,IAAI,aAAa,KAAA,GACf,WAAW,KAAK,kBAAkB,SAAS,QAAQ,CAAC;CAGtD,OAAO;EACL,MAAM;EACN,MAAM;EACN;EACA,UAAU,OAAO;EACjB,MAAM,OAAO,SAAS;EACtB;EACA,MAAM;CACR;AACF;AAEA,SAAS,mBACP,KACA,eACA,mBACA,gBACU;CACV,MAAM,YAAY,sBAAsB,IAAI,WAAW,cAAc;CACrE,eAAe,IAAI,SAAS;CAE5B,MAAM,OAA+B,CAAC;CAEtC,IAAI,IAAI,UAAU,IAAI,YAAY;EAChC,IAAI,IAAI,cACN,KAAK,KAAK,SAAS,QAAQ,IAAI,gBAAgB,IAAI,YAAY,EAAE,EAAE,CAAC;EAEtE,KAAK,KACH,SACE,UACA,IAAI,IAAI,OACL,KAAK,eAAe,uBAAuB,mBAAmB,eAAe,UAAU,CAAC,CAAC,CACzF,KAAK,IAAI,EAAE,EAChB,CACF;EACA,KAAK,KACH,SACE,cACA,IAAI,IAAI,WACL,KAAK,eACJ,uBAAuB,mBAAmB,IAAI,uBAAuB,IAAI,UAAU,CACrF,CAAC,CACA,KAAK,IAAI,EAAE,EAChB,CACF;EACA,IAAI,IAAI,UACN,KAAK,KAAK,SAAS,YAAY,IAAI,QAAQ,CAAC;EAE9C,IAAI,IAAI,UACN,KAAK,KAAK,SAAS,YAAY,IAAI,QAAQ,CAAC;EAE9C,IAAI,IAAI,QACN,KAAK,KAAK,SAAS,OAAO,IAAI,gBAAgB,IAAI,MAAM,EAAE,EAAE,CAAC;CAEjE,OAAO,IAAI,IAAI,cACb,KAAK,KAAK,SAAS,QAAQ,IAAI,gBAAgB,IAAI,YAAY,EAAE,EAAE,CAAC;CAGtE,MAAM,QACJ,KAAK,SAAS,IAAI,CAAC,eAAe,SAAS,YAAY,IAAI,CAAC,IAAI,CAAC;CAEnE,OAAO;EACL,MAAM;EACN,MAAM;EACN,UAAU,IAAI;EACd,UAAU,IAAI;EACd,MAAM,IAAI;EACV,YAAY;EACZ,MAAM;CACR;AACF;AAEA,SAAS,8BACP,MACA,QACA,gBACmB;CACnB,MAAM,OAA+B,CAAC,cAAc,IAAI,OAAO,KAAK,IAAI,EAAE,EAAE,CAAC;CAC7E,IAAI,mBAAmB,KAAA,GACrB,KAAK,KAAK,SAAS,OAAO,IAAI,gBAAgB,cAAc,EAAE,EAAE,CAAC;CAEnE,OAAO,eAAe,SAAS,MAAM,IAAI;AAC3C;AAEA,SAAS,oCACP,MACA,gBACmB;CACnB,IAAI,mBAAmB,KAAA,GACrB,OAAO,eAAe,SAAS,MAAM,CAAC,CAAC;CAEzC,OAAO,eAAe,SAAS,MAAM,CAAC,SAAS,OAAO,IAAI,gBAAgB,cAAc,EAAE,EAAE,CAAC,CAAC;AAChG;AAEA,SAAS,4BAA4B,eAA0C;CAI7E,OAAO,eAAe,SAAS,WAAW,CAAC,cAD7B,cAAc,QAAQ,eAAe,EAAE,CAAC,CAAC,QAAQ,OAAO,EACT,CAAC,CAAC,CAAC;AAClE;AAEA,SAAS,kBAAkB,QAAoC,SAA+B;CAC5F,OAAO,eAAe,QAAQ,OAAO,CAAC,cAAc,IAAI,gBAAgB,OAAO,EAAE,EAAE,CAAC,CAAC;AACvF;AAEA,SAAS,eACP,QACA,MACA,MACc;CACd,OAAO;EACL,MAAM;EACN;EACA;EACA;EACA,MAAM;CACR;AACF;AAEA,SAAS,cAAc,OAAqC;CAC1D,OAAO;EAAE,MAAM;EAAc;EAAO,MAAM;CAAe;AAC3D;AAEA,SAAS,SAAS,MAAc,OAAqC;CACnE,OAAO;EAAE,MAAM;EAAS;EAAM;EAAO,MAAM;CAAe;AAC5D;AAEA,SAAS,0BAA0B,OAAwD;CACzF,MAAM,YAAY,eAChB,aACA,MAAM,oBAAoB,OACzB,MAAM,oBAAoB,QAAQ,CAAC,EAAA,CAAG,IAAI,aAAa,CAC1D;CACA,OAAO;EACL,MAAM;EACN,MAAM,MAAM;EACZ,UAAU,MAAM;EAChB,YAAY,CAAC,SAAS;EACtB,MAAM;CACR;AACF;AAEA,SAAS,gBAAgB,OAAuB;CAC9C,OAAO,MACJ,QAAQ,OAAO,MAAM,CAAC,CACtB,QAAQ,MAAM,MAAK,CAAC,CACpB,QAAQ,OAAO,KAAK,CAAC,CACrB,QAAQ,OAAO,KAAK;AACzB;;;;;;;;;AAUA,SAAS,mBACP,OACA,YACA,kBAC2B;CAC3B,IAAI,OAAO,UAAU,UACnB,OAAO,mBAAmB,iBAAiB,OAAO,UAAU,IAAI,KAAA;CAElE,IAAI,UAAU,QAAQ,OAAO,UAAU,YAAY,UAAW,OAC5D,OAAO;AAGX;AAEA,SAAS,uBACP,QAC8C;CAC9C,MAAM,oCAAoB,IAAI,IAAqC;CAEnE,KAAK,MAAM,SAAS,OAAO,OAAO,MAAM,GAAG;EAWzC,MAAM,kBAAkB,CAAC,GAVT,OAAO,OAAO,MAAM,OAAO,CAAC,CAAC,KAAK,QAAQ,UAAU;GAClE,MAAM,EAAE,MAAM,QAAQ,YAAY,OAAO,IAAI;GAC7C,OAAO;IACL,YAAY,OAAO;IACnB,kBAAkB;IAClB,UAAU;IACV;GACF;EACF,CAEkC,CAAC,CAAC,CAAC,MAAM,MAAM,UAAU;GACzD,MAAM,gBACJ,OAAO,KAAK,aAAa,KAAA,CAAS,IAAI,OAAO,MAAM,aAAa,KAAA,CAAS;GAC3E,IAAI,kBAAkB,GACpB,OAAO;GAET,OAAO,KAAK,QAAQ,MAAM;EAC5B,CAAC;EAED,MAAM,iCAAiB,IAAI,IAAY;EACvC,MAAM,kCAAkB,IAAI,IAAqC;EAEjE,KAAK,MAAM,UAAU,iBAAiB;GACpC,MAAM,YAAY,sBAAsB,OAAO,kBAAkB,cAAc;GAC/E,eAAe,IAAI,SAAS;GAC5B,gBAAgB,IAAI,OAAO,YAAY;IACrC;IACA,UAAU,OAAO;GACnB,CAAC;EACH;EAEA,kBAAkB,IAAI,MAAM,MAAM,eAAe;CACnD;CAEA,OAAO;AACT;AAEA,SAAS,uBACP,mBACA,WACA,YACQ;CACR,OACE,kBAAkB,IAAI,SAAS,CAAC,EAAE,IAAI,UAAU,CAAC,EAAE,aAAa,YAAY,UAAU,CAAC,CAAC;AAE5F;AAEA,SAAS,sBAAsB,aAAqB,gBAA6C;CAC/F,IAAI,CAAC,eAAe,IAAI,WAAW,GACjC,OAAO;CAGT,IAAI,UAAU;CACd,OAAO,eAAe,IAAI,GAAG,cAAc,SAAS,GAClD;CAEF,OAAO,GAAG,cAAc;AAC1B;AAEA,SAAS,qBACP,SACA,WACA,MACA,YACiC;CACjC,MAAM,0BAAU,IAAI,IAAgC;CACpD,MAAM,sCAAsB,IAAI,IAAsB;CAEtD,KAAK,MAAM,UAAU,SAAS;EAC5B,MAAM,aAAa,UAAU,MAAM;EACnC,QAAQ,IAAI,QAAQ,UAAU;EAC9B,oBAAoB,IAAI,WAAW,MAAM,CACvC,GAAI,oBAAoB,IAAI,WAAW,IAAI,KAAK,CAAC,GACjD,MACF,CAAC;CACH;CAEA,MAAM,aAAa,CAAC,GAAG,oBAAoB,QAAQ,CAAC,CAAC,CAAC,QACnD,GAAG,wBAAwB,mBAAmB,SAAS,CAC1D;CACA,IAAI,WAAW,SAAS,GAAG;EACzB,MAAM,UAAU,WAAW,KACxB,CAAC,gBAAgB,wBAChB,KAAK,KAAK,IAAI,eAAe,SAAS,WAAW,IAAI,mBAClD,KAAK,WAAW,IAAI,OAAO,EAAE,CAAC,CAC9B,KAAK,IAAI,GAChB;EACA,MAAM,IAAI,MAAM,OAAO,KAAK,8BAA8B,QAAQ,KAAK,IAAI,GAAG;CAChF;CAEA,OAAO;AACT;AAEA,SAAS,6BACP,YACa;CACb,MAAM,gBAAgB,IAAI,IAAY,qBAAqB;CAE3D,KAAK,MAAM,UAAU,WAAW,OAAO,GACrC,cAAc,IAAI,OAAO,IAAI;CAG/B,OAAO;AACT;AAEA,SAAS,sBACP,UACA,SACA,aACA,eACmB;CAOnB,MAAM,wBAAQ,IAAI,IAAkB;CAEpC,KAAK,MAAM,aAAa,OAAO,KAAK,SAAS,MAAM,CAAC,CAAC,KAAK,GAAG;EAC3D,MAAM,QAAQ,SAAS,OAAO;EAC9B,IAAI,CAAC,OACH;EAGF,KAAK,MAAM,cAAc,OAAO,KAAK,MAAM,OAAO,CAAC,CAAC,KAAK,GAAG;GAC1D,MAAM,SAAS,MAAM,QAAQ;GAC7B,IAAI,CAAC,QACH;GAGF,MAAM,aAAa,QAAQ,QAAQ,OAAO,YAAY,MAAM,WAAW;GACvE,IACE,iBAAiB,cACjB,YAAY,IAAI,OAAO,UAAU,KACjC,CAAC,WAAW,qBAEZ;GAGF,MAAM,eAAe,4BAA4B,UAAU;GAC3D,IAAI,CAAC,MAAM,IAAI,YAAY,GACzB,MAAM,IAAI,cAAc;IACtB,UAAU,WAAW;IACrB,aAAa,gBAAgB,OAAO,IAAI;IACxC,qBAAqB,WAAW;GAClC,CAAC;EAEL;CACF;CAEA,MAAM,WAA8B;EAClC,8BAAc,IAAI,IAAoC;EACtD,WAAW,IAAI,IAAY,aAAa;CAC1C;CAEA,MAAM,cAAc,CAAC,GAAG,MAAM,QAAQ,CAAC,CAAC,CAAC,MAAM,MAAM,UAAU;EAC7D,MAAM,wBAAwB,KAAK,EAAE,CAAC,YAAY,cAAc,MAAM,EAAE,CAAC,WAAW;EACpF,IAAI,0BAA0B,GAC5B,OAAO;EAET,OAAO,KAAK,EAAE,CAAC,cAAc,MAAM,EAAE;CACvC,CAAC;CAED,KAAK,MAAM,CAAC,cAAc,SAAS,aAAa;EAC9C,MAAM,OAAO,sBAAsB,KAAK,aAAa,SAAS,SAAS;EACvE,SAAS,aAAa,IAAI,cAAc;GACtC;GACA,UAAU,KAAK;GACf,qBAAqB,KAAK;EAC5B,CAAC;EACD,SAAS,UAAU,IAAI,IAAI;CAC7B;CAEA,OAAO;AACT;AAEA,SAAS,qBACP,UACA,YAMQ;CACR,MAAM,MAAM,4BAA4B,UAAU;CAClD,MAAM,WAAW,SAAS,aAAa,IAAI,GAAG;CAC9C,IAAI,UACF,OAAO,SAAS;CAGlB,MAAM,IAAI,MAAM,uDAAuD,WAAW,WAAW,EAAE;AACjG;AAEA,SAAS,4BAA4B,YAK1B;CACT,OAAO,KAAK,UAAU;EACpB,UAAU,WAAW;EACrB,qBAAqB,WAAW,sBAC5B;GACE,MAAM,WAAW,oBAAoB;GACrC,MAAM,WAAW,oBAAoB,QAAQ;EAC/C,IACA;CACN,CAAC;AACH;AAEA,SAAS,gBACP,QACA,QACA,cACY;CACZ,MAAM,8BAAc,IAAI,IAAsB;CAC9C,KAAK,MAAM,SAAS,QAClB,YAAY,IAAI,MAAM,MAAM,KAAK;CAGnC,MAAM,uBAAO,IAAI,IAAyB;CAC1C,MAAM,+BAAe,IAAI,IAAoB;CAC7C,KAAK,MAAM,aAAa,OAAO,KAAK,MAAM,GAAG;EAC3C,MAAM,YAAY,aAAa,IAAI,SAAS;EAC5C,aAAa,IAAI,WAAW,SAAS;EACrC,KAAK,IAAI,2BAAW,IAAI,IAAI,CAAC;CAC/B;CAEA,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,MAAM,GAAG;EACvD,MAAM,YAAY,aAAa,IAAI,SAAS;EAC5C,KAAK,MAAM,MAAM,MAAM,aAAa;GAClC,MAAM,eAAe,aAAa,IAAI,GAAG,eAAe;GACxD,IAAI,gBAAgB,iBAAiB,WACnC,KAAM,IAAI,SAAS,CAAC,CAAiB,IAAI,YAAY;EAEzD;CACF;CAEA,MAAM,SAAqB,CAAC;CAC5B,MAAM,0BAAU,IAAI,IAAY;CAChC,MAAM,2BAAW,IAAI,IAAY;CAEjC,MAAM,cAAc,CAAC,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK;CAE1C,SAAS,MAAM,MAAoB;EACjC,IAAI,QAAQ,IAAI,IAAI,GAAG;EACvB,IAAI,SAAS,IAAI,IAAI,GAAG;EACxB,SAAS,IAAI,IAAI;EAEjB,MAAM,aAAa,CAAC,GAAI,KAAK,IAAI,IAAI,CAAiB,CAAC,CAAC,KAAK;EAC7D,KAAK,MAAM,OAAO,YAChB,MAAM,GAAG;EAGX,SAAS,OAAO,IAAI;EACpB,QAAQ,IAAI,IAAI;EAChB,OAAO,KAAK,YAAY,IAAI,IAAI,CAAa;CAC/C;CAEA,KAAK,MAAM,QAAQ,aACjB,MAAM,IAAI;CAGZ,OAAO;AACT;;;ACryBA,SAAS,wBACP,qBACA;CACA,IAAI,CAAC,qBACH;CAEF,MAAM,aAAa,yBAAyB,mBAAmB;CAC/D,QAAQ,UAIF;EACJ,IAAI,CAAC,MAAM,YAAY,OAAO,MAAM;EACpC,IAAI,CAAC,MAAM,SAAS,OAAO,MAAM;EACjC,MAAM,QAAQ,WAAW,IAAI,MAAM,OAAO;EAC1C,IAAI,CAAC,OAAO,kBAAkB,OAAO,MAAM;EAC3C,OAAO,MAAM,iBAAiB,KAAK;CACrC;AACF;AAEA,SAAgB,sBAAsB,KAAoB,QAA+B;CACvF,IAAI,IAAI,SAAS,YACf,OAAO,IAAI;CAEb,OAAO,qBAAqB,IAAI,OAAO,MAAM;AAC/C;AAEA,MAAM,2BACJ;CACE,GAAG;CACH,oBAAoB,IAAI,2BAA2B;CACnD,gBAAgB,IAAI,uBAAuB;CAC3C,iBAAiB,QAAQ;EACvB,2BAA2B,OAAO,MAAM;EACxC,OAAO,yBAAyB,MAAM;CACxC;CACA,mBAAmB,OAAO;EACxB,OAAO,2BAA2B;GAChC,UAAU,MAAM;GAChB,cAAc,MAAM;GACpB,QAAQ,MAAM;GACd,sBAAsB,MAAM;GAC5B,qBAAqB,MAAM;EAC7B,CAAC;CACH;CACA,qBAAqB,OAAO;EAC1B,OAAO,6BAA6B;GAClC,UAAU,MAAM;GAChB,cAAc,MAAM;GACpB,QAAQ,MAAM;GACd,sBAAsB,MAAM;GAC5B,qBAAqB,MAAM;EAC7B,CAAC;CACH;CACA,YAAY;EACV,cAAc,SAAwC;GACpD,OAAO,+BAA+B,OAAO;EAC/C;EACA,aAAa,QAAQ;GACnB,OAAO,8BAA8B,MAAM;EAC7C;EACA,iBAAiB,UAAU,qBAAqB;GAC9C,MAAM,WAAW,wBAAwB,mBAAmB;GAK5D,OAAO,qCAJkB,UAGvB,QACyD,GAAG;IAC5D,qBAAqB;IACrB,GAAG,UAAU,oBAAoB,QAAQ;IACzC,eAAe;GACjB,CAAC;EACH;CACF;CACA,SAAmD;EACjD,OAAO;GACL,UAAU;GACV,UAAU;EACZ;CACF;;;;;CAKA,cAAc,SAAwC;EACpD,OAAO,+BAA+B,OAAO;CAC/C;;;;;CAKA,aAAa,QAAQ;EACnB,OAAO,8BAA8B,MAAM;CAC7C;AACF"}

package/dist/data-transform-BOWpliq8.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"data-transform-BOWpliq8.mjs","names":[],"sources":["../src/core/migrations/operations/data-transform.ts"],"sourcesContent":["/**\n * User-facing `dataTransform` factory for the Postgres migration authoring\n * surface. Invoked directly inside a `migration.ts` file via the\n * `PostgresMigration` instance method (`this.dataTransform(...)`), which\n * supplies the control adapter from the migration's injected stack:\n *\n * ```ts\n * import endContract from './end-contract.json' with { type: 'json' };\n *\n * class M extends Migration {\n *   override get operations() {\n *     return [\n *       this.dataTransform(endContract, 'backfill emails', {\n *         check: () => db.users.select('id').where(({ email }) => email.isNull()).limit(1),\n *         run:   () => db.users.update({ email: '' }).where(({ email }) => email.isNull()),\n *       }),\n *     ];\n *   }\n * }\n * ```\n *\n * The factory accepts lazy closures (`() => SqlQueryPlan | Buildable`),\n * invokes each one, asserts that its `meta.storageHash` matches the\n * `contract` it was handed (→ `PN-MIG-2005` on mismatch), and lowers the\n * plan via the supplied control adapter to a serialized `{sql, params}`\n * payload.\n *\n * The factory then lowers the data transform to the unified migration-op\n * shape `{ precheck, execute, postcheck }`. The user's `check` plan is\n * wrapped twice with opposite truth values:\n *\n * - precheck `SELECT EXISTS (<check>) AS ok` asserts there is work to do\n *   (precheck is short-circuited by the runner's pre-satisfied-skip path\n *   when nothing remains to backfill).\n * - postcheck `SELECT NOT EXISTS (<check>) AS ok` asserts the work is\n *   complete after the run steps execute.\n *\n * The `check` plan is therefore expected to be a **rowset query whose\n * presence of any row signals \"work remains\"** — typically `select('id')\n * .where(<violation predicate>).limit(1)`. Scalar/aggregate shapes\n * (`count(*)`, `bool_and(...)`) do not work under this contract: they\n * always return exactly one row, so `EXISTS` is always true and\n * `NOT EXISTS` is always false. (This is the same row-presence contract\n * the pre-unification runner relied on; the wrapping is just lifting it\n * into SQL.)\n *\n * Each `run` plan becomes an execute step. Because the `Step.params`\n * field threads through `driver.query(sql, params)`, the user's bound\n * values flow through the driver's parameter binder rather than being\n * inlined into the SQL text.\n *\n * The free factory remains usable standalone (tests, ad-hoc tooling,\n * non-class contexts) by passing the adapter explicitly as the fourth\n * argument.\n */\n\nimport type { Contract } from '@prisma-next/contract/types';\nimport { errorDataTransformContractMismatch } from '@prisma-next/errors/migration';\nimport type {\n  SqlMigrationPlanOperation,\n  SqlMigrationPlanOperationStep,\n} from '@prisma-next/family-sql/control';\nimport type { SqlControlAdapter } from '@prisma-next/family-sql/control-adapter';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { SqlExecuteRequest } from '@prisma-next/sql-relational-core/ast';\nimport type { SqlQueryPlan } from '@prisma-next/sql-relational-core/plan';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { PostgresPlanTargetDetails } from '../planner-target-details';\n\ninterface Buildable<R = unknown> {\n  build(): SqlQueryPlan<R>;\n}\n\n/**\n * A single-closure producer of a SQL query plan. Shared between\n * `check` and each `run` entry.\n */\nexport type DataTransformClosure = () => SqlQueryPlan | Buildable;\n\nexport interface DataTransformOptions {\n  /**\n   * Optional opt-in routing identity. Presence opts the transform into\n   * invariant-aware routing; absence means it is path-dependent and\n   * not referenceable from refs.\n   */\n  readonly invariantId?: string;\n  /**\n   * Optional pre-flight query. `undefined` means \"no check\". When\n   * supplied, the closure must return a **rowset query** whose\n   * presence of any row signals \"violations remain\". Conventional\n   * shape: `db.<table>.select('id').where(<violation>).limit(1)`.\n   * Scalar/aggregate shapes do not satisfy this contract.\n   */\n  readonly check?: DataTransformClosure;\n  /** One or more mutation queries to execute. */\n  readonly run: DataTransformClosure | readonly DataTransformClosure[];\n}\n\nexport async function dataTransform<TContract extends Contract<SqlStorage>>(\n  contract: TContract,\n  name: string,\n  options: DataTransformOptions,\n  adapter: SqlControlAdapter<'postgres'>,\n): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n  const runClosures: readonly DataTransformClosure[] = Array.isArray(options.run)\n    ? options.run\n    : [options.run as DataTransformClosure];\n\n  const checkPlan = options.check\n    ? await invokeAndLower(options.check, contract, adapter, name)\n    : null;\n  const runPlans = await Promise.all(\n    runClosures.map((closure) => invokeAndLower(closure, contract, adapter, name)),\n  );\n\n  const precheck: readonly SqlMigrationPlanOperationStep[] = checkPlan\n    ? [\n        {\n          description: `Check ${name} has work to do`,\n          sql: `SELECT EXISTS (${checkPlan.sql}) AS ok`,\n          params: checkPlan.params ?? [],\n        },\n      ]\n    : [];\n\n  const execute: readonly SqlMigrationPlanOperationStep[] = runPlans.map((plan) => ({\n    description: `Run ${name}`,\n    sql: plan.sql,\n    params: plan.params ?? [],\n  }));\n\n  const postcheck: readonly SqlMigrationPlanOperationStep[] = checkPlan\n    ? [\n        {\n          description: `Verify ${name} resolved all violations`,\n          sql: `SELECT NOT EXISTS (${checkPlan.sql}) AS ok`,\n          params: checkPlan.params ?? [],\n        },\n      ]\n    : [];\n\n  return {\n    id: `data_migration.${name}`,\n    label: `Data transform: ${name}`,\n    operationClass: 'data',\n    ...ifDefined('invariantId', options.invariantId),\n    target: { id: 'postgres' },\n    precheck,\n    execute,\n    postcheck,\n  };\n}\n\nasync function invokeAndLower(\n  closure: DataTransformClosure,\n  contract: Contract<SqlStorage>,\n  adapter: SqlControlAdapter<'postgres'>,\n  name: string,\n): Promise<SqlExecuteRequest> {\n  const result = closure();\n  const plan = isBuildable(result) ? result.build() : result;\n  assertContractMatches(plan, contract, name);\n  return adapter.lowerToExecuteRequest(plan.ast, { contract });\n}\n\nfunction isBuildable(value: unknown): value is Buildable {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'build' in value &&\n    typeof (value as { build: unknown }).build === 'function'\n  );\n}\n\nfunction assertContractMatches(\n  plan: SqlQueryPlan,\n  contract: Contract<SqlStorage>,\n  name: string,\n): void {\n  if (plan.meta.storageHash !== contract.storage.storageHash) {\n    throw errorDataTransformContractMismatch({\n      dataTransformName: name,\n      expected: contract.storage.storageHash,\n      actual: plan.meta.storageHash,\n    });\n  }\n}\n"],"mappings":";;;AAkGA,eAAsB,cACpB,UACA,MACA,SACA,SAC+D;CAC/D,MAAM,cAA+C,MAAM,QAAQ,QAAQ,GAAG,IAC1E,QAAQ,MACR,CAAC,QAAQ,GAA2B;CAExC,MAAM,YAAY,QAAQ,QACtB,MAAM,eAAe,QAAQ,OAAO,UAAU,SAAS,IAAI,IAC3D;CACJ,MAAM,WAAW,MAAM,QAAQ,IAC7B,YAAY,KAAK,YAAY,eAAe,SAAS,UAAU,SAAS,IAAI,CAAC,CAC/E;CAEA,MAAM,WAAqD,YACvD,CACE;EACE,aAAa,SAAS,KAAK;EAC3B,KAAK,kBAAkB,UAAU,IAAI;EACrC,QAAQ,UAAU,UAAU,CAAC;CAC/B,CACF,IACA,CAAC;CAEL,MAAM,UAAoD,SAAS,KAAK,UAAU;EAChF,aAAa,OAAO;EACpB,KAAK,KAAK;EACV,QAAQ,KAAK,UAAU,CAAC;CAC1B,EAAE;CAEF,MAAM,YAAsD,YACxD,CACE;EACE,aAAa,UAAU,KAAK;EAC5B,KAAK,sBAAsB,UAAU,IAAI;EACzC,QAAQ,UAAU,UAAU,CAAC;CAC/B,CACF,IACA,CAAC;CAEL,OAAO;EACL,IAAI,kBAAkB;EACtB,OAAO,mBAAmB;EAC1B,gBAAgB;EAChB,GAAG,UAAU,eAAe,QAAQ,WAAW;EAC/C,QAAQ,EAAE,IAAI,WAAW;EACzB;EACA;EACA;CACF;AACF;AAEA,eAAe,eACb,SACA,UACA,SACA,MAC4B;CAC5B,MAAM,SAAS,QAAQ;CACvB,MAAM,OAAO,YAAY,MAAM,IAAI,OAAO,MAAM,IAAI;CACpD,sBAAsB,MAAM,UAAU,IAAI;CAC1C,OAAO,QAAQ,sBAAsB,KAAK,KAAK,EAAE,SAAS,CAAC;AAC7D;AAEA,SAAS,YAAY,OAAoC;CACvD,OACE,OAAO,UAAU,YACjB,UAAU,QACV,WAAW,SACX,OAAQ,MAA6B,UAAU;AAEnD;AAEA,SAAS,sBACP,MACA,UACA,MACM;CACN,IAAI,KAAK,KAAK,gBAAgB,SAAS,QAAQ,aAC7C,MAAM,mCAAmC;EACvC,mBAAmB;EACnB,UAAU,SAAS,QAAQ;EAC3B,QAAQ,KAAK,KAAK;CACpB,CAAC;AAEL"}
+{"version":3,"file":"data-transform-BOWpliq8.mjs","names":[],"sources":["../src/core/migrations/operations/data-transform.ts"],"sourcesContent":["/**\n * User-facing `dataTransform` factory for the Postgres migration authoring\n * surface. Invoked directly inside a `migration.ts` file via the\n * `PostgresMigration` instance method (`this.dataTransform(...)`), which\n * supplies the control adapter from the migration's injected stack:\n *\n * ```ts\n * import endContract from './end-contract.json' with { type: 'json' };\n *\n * class M extends Migration {\n *   override get operations() {\n *     return [\n *       this.dataTransform(endContract, 'backfill emails', {\n *         check: () => db.users.select('id').where(({ email }) => email.isNull()).limit(1),\n *         run:   () => db.users.update({ email: '' }).where(({ email }) => email.isNull()),\n *       }),\n *     ];\n *   }\n * }\n * ```\n *\n * The factory accepts lazy closures (`() => SqlQueryPlan | Buildable`),\n * invokes each one, asserts that its `meta.storageHash` matches the\n * `contract` it was handed (→ `PN-MIG-2005` on mismatch), and lowers the\n * plan via the supplied control adapter to a serialized `{sql, params}`\n * payload.\n *\n * The factory then lowers the data transform to the unified migration-op\n * shape `{ precheck, execute, postcheck }`. The user's `check` plan is\n * wrapped twice with opposite truth values:\n *\n * - precheck `SELECT EXISTS (<check>) AS ok` asserts there is work to do\n *   (precheck is short-circuited by the runner's pre-satisfied-skip path\n *   when nothing remains to backfill).\n * - postcheck `SELECT NOT EXISTS (<check>) AS ok` asserts the work is\n *   complete after the run steps execute.\n *\n * The `check` plan is therefore expected to be a **rowset query whose\n * presence of any row signals \"work remains\"** — typically `select('id')\n * .where(<violation predicate>).limit(1)`. Scalar/aggregate shapes\n * (`count(*)`, `bool_and(...)`) do not work under this contract: they\n * always return exactly one row, so `EXISTS` is always true and\n * `NOT EXISTS` is always false. (This is the same row-presence contract\n * the pre-unification runner relied on; the wrapping is just lifting it\n * into SQL.)\n *\n * Each `run` plan becomes an execute step. Because the `Step.params`\n * field threads through `driver.query(sql, params)`, the user's bound\n * values flow through the driver's parameter binder rather than being\n * inlined into the SQL text.\n *\n * The free factory remains usable standalone (tests, ad-hoc tooling,\n * non-class contexts) by passing the adapter explicitly as the fourth\n * argument.\n */\n\nimport type { Contract } from '@prisma-next/contract/types';\nimport { errorDataTransformContractMismatch } from '@prisma-next/errors/migration';\nimport type {\n  SqlMigrationPlanOperation,\n  SqlMigrationPlanOperationStep,\n} from '@prisma-next/family-sql/control';\nimport type { SqlControlAdapter } from '@prisma-next/family-sql/control-adapter';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { SqlExecuteRequest } from '@prisma-next/sql-relational-core/ast';\nimport type { SqlQueryPlan } from '@prisma-next/sql-relational-core/plan';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { PostgresPlanTargetDetails } from '../planner-target-details';\n\ninterface Buildable<R = unknown> {\n  build(): SqlQueryPlan<R>;\n}\n\n/**\n * A single-closure producer of a SQL query plan. Shared between\n * `check` and each `run` entry.\n */\nexport type DataTransformClosure = () => SqlQueryPlan | Buildable;\n\nexport interface DataTransformOptions {\n  /**\n   * Optional opt-in routing identity. Presence opts the transform into\n   * invariant-aware routing; absence means it is path-dependent and\n   * not referenceable from refs.\n   */\n  readonly invariantId?: string;\n  /**\n   * Optional pre-flight query. `undefined` means \"no check\". When\n   * supplied, the closure must return a **rowset query** whose\n   * presence of any row signals \"violations remain\". Conventional\n   * shape: `db.<table>.select('id').where(<violation>).limit(1)`.\n   * Scalar/aggregate shapes do not satisfy this contract.\n   */\n  readonly check?: DataTransformClosure;\n  /** One or more mutation queries to execute. */\n  readonly run: DataTransformClosure | readonly DataTransformClosure[];\n}\n\nexport async function dataTransform<TContract extends Contract<SqlStorage>>(\n  contract: TContract,\n  name: string,\n  options: DataTransformOptions,\n  adapter: SqlControlAdapter<'postgres'>,\n): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>> {\n  const runClosures: readonly DataTransformClosure[] = Array.isArray(options.run)\n    ? options.run\n    : [options.run as DataTransformClosure];\n\n  const checkPlan = options.check\n    ? await invokeAndLower(options.check, contract, adapter, name)\n    : null;\n  const runPlans = await Promise.all(\n    runClosures.map((closure) => invokeAndLower(closure, contract, adapter, name)),\n  );\n\n  // Raw remnant: the factory lowered the user's `check` plan above before\n  // we get a chance to wrap it, so the EXISTS lifting only has text by the\n  // time it runs. The fix is to rewrite the factory to defer lowering until\n  // after wrapping — so `cfExpr.exists(checkPlan.ast)` can produce the\n  // EXISTS query, then lower once at the boundary — not to grow new AST\n  // substrate. Out of scope for the slice that introduced this comment.\n  const precheck: readonly SqlMigrationPlanOperationStep[] = checkPlan\n    ? [\n        {\n          description: `Check ${name} has work to do`,\n          sql: `SELECT EXISTS (${checkPlan.sql}) AS ok`,\n          params: checkPlan.params ?? [],\n        },\n      ]\n    : [];\n\n  const execute: readonly SqlMigrationPlanOperationStep[] = runPlans.map((plan) => ({\n    description: `Run ${name}`,\n    sql: plan.sql,\n    params: plan.params ?? [],\n  }));\n\n  const postcheck: readonly SqlMigrationPlanOperationStep[] = checkPlan\n    ? [\n        {\n          description: `Verify ${name} resolved all violations`,\n          sql: `SELECT NOT EXISTS (${checkPlan.sql}) AS ok`,\n          params: checkPlan.params ?? [],\n        },\n      ]\n    : [];\n\n  return {\n    id: `data_migration.${name}`,\n    label: `Data transform: ${name}`,\n    operationClass: 'data',\n    ...ifDefined('invariantId', options.invariantId),\n    target: { id: 'postgres' },\n    precheck,\n    execute,\n    postcheck,\n  };\n}\n\nasync function invokeAndLower(\n  closure: DataTransformClosure,\n  contract: Contract<SqlStorage>,\n  adapter: SqlControlAdapter<'postgres'>,\n  name: string,\n): Promise<SqlExecuteRequest> {\n  const result = closure();\n  const plan = isBuildable(result) ? result.build() : result;\n  assertContractMatches(plan, contract, name);\n  return adapter.lowerToExecuteRequest(plan.ast, { contract });\n}\n\nfunction isBuildable(value: unknown): value is Buildable {\n  return (\n    typeof value === 'object' &&\n    value !== null &&\n    'build' in value &&\n    typeof (value as { build: unknown }).build === 'function'\n  );\n}\n\nfunction assertContractMatches(\n  plan: SqlQueryPlan,\n  contract: Contract<SqlStorage>,\n  name: string,\n): void {\n  if (plan.meta.storageHash !== contract.storage.storageHash) {\n    throw errorDataTransformContractMismatch({\n      dataTransformName: name,\n      expected: contract.storage.storageHash,\n      actual: plan.meta.storageHash,\n    });\n  }\n}\n"],"mappings":";;;AAkGA,eAAsB,cACpB,UACA,MACA,SACA,SAC+D;CAC/D,MAAM,cAA+C,MAAM,QAAQ,QAAQ,GAAG,IAC1E,QAAQ,MACR,CAAC,QAAQ,GAA2B;CAExC,MAAM,YAAY,QAAQ,QACtB,MAAM,eAAe,QAAQ,OAAO,UAAU,SAAS,IAAI,IAC3D;CACJ,MAAM,WAAW,MAAM,QAAQ,IAC7B,YAAY,KAAK,YAAY,eAAe,SAAS,UAAU,SAAS,IAAI,CAAC,CAC/E;CAQA,MAAM,WAAqD,YACvD,CACE;EACE,aAAa,SAAS,KAAK;EAC3B,KAAK,kBAAkB,UAAU,IAAI;EACrC,QAAQ,UAAU,UAAU,CAAC;CAC/B,CACF,IACA,CAAC;CAEL,MAAM,UAAoD,SAAS,KAAK,UAAU;EAChF,aAAa,OAAO;EACpB,KAAK,KAAK;EACV,QAAQ,KAAK,UAAU,CAAC;CAC1B,EAAE;CAEF,MAAM,YAAsD,YACxD,CACE;EACE,aAAa,UAAU,KAAK;EAC5B,KAAK,sBAAsB,UAAU,IAAI;EACzC,QAAQ,UAAU,UAAU,CAAC;CAC/B,CACF,IACA,CAAC;CAEL,OAAO;EACL,IAAI,kBAAkB;EACtB,OAAO,mBAAmB;EAC1B,gBAAgB;EAChB,GAAG,UAAU,eAAe,QAAQ,WAAW;EAC/C,QAAQ,EAAE,IAAI,WAAW;EACzB;EACA;EACA;CACF;AACF;AAEA,eAAe,eACb,SACA,UACA,SACA,MAC4B;CAC5B,MAAM,SAAS,QAAQ;CACvB,MAAM,OAAO,YAAY,MAAM,IAAI,OAAO,MAAM,IAAI;CACpD,sBAAsB,MAAM,UAAU,IAAI;CAC1C,OAAO,QAAQ,sBAAsB,KAAK,KAAK,EAAE,SAAS,CAAC;AAC7D;AAEA,SAAS,YAAY,OAAoC;CACvD,OACE,OAAO,UAAU,YACjB,UAAU,QACV,WAAW,SACX,OAAQ,MAA6B,UAAU;AAEnD;AAEA,SAAS,sBACP,MACA,UACA,MACM;CACN,IAAI,KAAK,KAAK,gBAAgB,SAAS,QAAQ,aAC7C,MAAM,mCAAmC;EACvC,mBAAmB;EACnB,UAAU,SAAS,QAAQ;EAC3B,QAAQ,KAAK,KAAK;CACpB,CAAC;AAEL"}

package/dist/{data-transform-DDgWdB5o.d.mts → data-transform-qKy1U5V9.d.mts}

@@ -1,4 +1,4 @@
-import { t as PostgresPlanTargetDetails } from "./planner-target-details-CIY6tLeo.mjs";
+import { t as PostgresPlanTargetDetails } from "./planner-target-details-HkP4RrRO.mjs";
 import { SqlMigrationPlanOperation } from "@prisma-next/family-sql/control";
 import { SqlStorage } from "@prisma-next/sql-contract/types";
 import { Contract } from "@prisma-next/contract/types";
@@ -35,4 +35,4 @@ interface DataTransformOptions {
 declare function dataTransform<TContract extends Contract<SqlStorage>>(contract: TContract, name: string, options: DataTransformOptions, adapter: SqlControlAdapter<'postgres'>): Promise<SqlMigrationPlanOperation<PostgresPlanTargetDetails>>;
 //#endregion
 export { DataTransformOptions as n, dataTransform as r, DataTransformClosure as t };
-//# sourceMappingURL=data-transform-DDgWdB5o.d.mts.map
+//# sourceMappingURL=data-transform-qKy1U5V9.d.mts.map

package/dist/{data-transform-DDgWdB5o.d.mts.map → data-transform-qKy1U5V9.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"data-transform-DDgWdB5o.d.mts","names":[],"sources":["../src/core/migrations/operations/data-transform.ts"],"mappings":";;;;;;;;UAqEU,SAAA;EACR,KAAA,IAAS,YAAY,CAAC,CAAA;AAAA;;;AAiCsC;;KA1BlD,oBAAA,SAA6B,YAAA,GAAe,SAAS;AAAA,UAEhD,oBAAA;;;;;;WAMN,WAAA;;;;;;;;WAQA,KAAA,GAAQ,oBAAA;;WAER,GAAA,EAAK,oBAAA,YAAgC,oBAAA;AAAA;AAAA,iBAG1B,aAAA,mBAAgC,QAAA,CAAS,UAAA,GAC7D,QAAA,EAAU,SAAA,EACV,IAAA,UACA,OAAA,EAAS,oBAAA,EACT,OAAA,EAAS,iBAAA,eACR,OAAA,CAAQ,yBAAA,CAA0B,yBAAA"}
+{"version":3,"file":"data-transform-qKy1U5V9.d.mts","names":[],"sources":["../src/core/migrations/operations/data-transform.ts"],"mappings":";;;;;;;;UAqEU,SAAA;EACR,KAAA,IAAS,YAAY,CAAC,CAAA;AAAA;;;AAiCsC;;KA1BlD,oBAAA,SAA6B,YAAA,GAAe,SAAS;AAAA,UAEhD,oBAAA;;;;;;WAMN,WAAA;;;;;;;;WAQA,KAAA,GAAQ,oBAAA;;WAER,GAAA,EAAK,oBAAA,YAAgC,oBAAA;AAAA;AAAA,iBAG1B,aAAA,mBAAgC,QAAA,CAAS,UAAA,GAC7D,QAAA,EAAU,SAAA,EACV,IAAA,UACA,OAAA,EAAS,oBAAA,EACT,OAAA,EAAS,iBAAA,eACR,OAAA,CAAQ,yBAAA,CAA0B,yBAAA"}

package/dist/data-transform.d.mts

@@ -1,2 +1,2 @@
-import { r as dataTransform } from "./data-transform-DDgWdB5o.mjs";
+import { r as dataTransform } from "./data-transform-qKy1U5V9.mjs";
 export { dataTransform };

package/dist/{ddl-QDyOSeLc.mjs → ddl-BmLIe1z_.mjs}

@@ -1,6 +1,6 @@
 import { _ as PG_TEXT_CODEC_ID } from "./codec-ids-BvytN2P8.mjs";
-import { a as PostgresTableSource, i as postgresCreateNamespace } from "./postgres-schema-COGZ1ark.mjs";
-import { i as PostgresCreateTable, n as PostgresAlterTable, r as PostgresCreateSchema, t as AddColumnAction } from "./nodes-Bbhs2rwj.mjs";
+import { i as postgresCreateNamespace, s as PostgresTableSource } from "./postgres-schema-BLIHBEfX.mjs";
+import { a as PostgresCreateSchema, c as PostgresDropPolicy, i as PostgresCreatePolicy, n as DropDefaultAction, o as PostgresCreateTable, r as PostgresAlterTable, t as AddColumnAction } from "./nodes-Dh__NS58.mjs";
 import { cfExpr, cfTable, exprSelect } from "@prisma-next/sql-relational-core/contract-free";
 //#region src/contract-free/checks.ts
 /**
@@ -194,6 +194,39 @@ function extensionExistsAst(extensionName) {
 	};
 }
 /**
+* Typed RLS-policy existence check over `pg_policies`, with schema, table,
+* and policy names bound as text parameters (never inlined). The `schema`
+* coordinate is the resolved live-database schema name (e.g. `'public'`),
+* compared against `pg_policies.schemaname` as a bound parameter.
+*/
+function rlsPolicyExistsAst(options) {
+	const inner = () => exprSelect().from(cfTable("pg_policies")).project("one", cfExpr.lit(1)).where(cfExpr.allOf([
+		cfExpr.identifierRef("schemaname").eqParam(options.schema, PG_TEXT_CODEC_ID),
+		cfExpr.identifierRef("tablename").eqParam(options.table, PG_TEXT_CODEC_ID),
+		cfExpr.identifierRef("policyname").eqParam(options.policyName, PG_TEXT_CODEC_ID)
+	]));
+	return {
+		policyPresent: () => exprSelect().project("result", cfExpr.exists(inner())).build(),
+		policyAbsent: () => exprSelect().project("result", cfExpr.notExists(inner())).build()
+	};
+}
+/**
+* Typed row-level-security enabled check over `pg_class` joined to
+* `pg_namespace`, comparing `pg_class.relrowsecurity` against the expected
+* boolean. Schema and table names are bound as text parameters.
+*/
+function rlsEnabledAst(schema, table) {
+	const inner = (enabled) => exprSelect().from(cfTable("pg_class", "c")).join(cfTable("pg_namespace", "n"), cfExpr.columnRef("n", "oid").eqExpr(cfExpr.columnRef("c", "relnamespace"))).project("one", cfExpr.lit(1)).where(cfExpr.allOf([
+		cfExpr.columnRef("n", "nspname").eqParam(schema, PG_TEXT_CODEC_ID),
+		cfExpr.columnRef("c", "relname").eqParam(table, PG_TEXT_CODEC_ID),
+		enabled ? cfExpr.columnRef("c", "relrowsecurity") : cfExpr.columnRef("c", "relrowsecurity").not()
+	]));
+	return {
+		rlsEnabled: () => exprSelect().project("result", cfExpr.exists(inner(true))).build(),
+		rlsDisabled: () => exprSelect().project("result", cfExpr.exists(inner(false))).build()
+	};
+}
+/**
 * Typed index existence check riding the same `to_regclass` vocabulary as
 * `tableExistsAst`, with the qualified index name bound as a text parameter.
 */
@@ -239,13 +272,37 @@ function addColumnAction(column) {
 	return new AddColumnAction(column);
 }
 /**
+* Build a `DROP DEFAULT` action (`ALTER COLUMN "<name>" DROP DEFAULT`) for
+* use inside {@link alterTable}. The renderer quotes the column name.
+*/
+function dropDefaultAction(columnName) {
+	return new DropDefaultAction(columnName);
+}
+/**
 * Build a Postgres `ALTER TABLE` query node carrying one or more actions.
-* See {@link addColumnAction} for building actions.
+* See {@link addColumnAction} / {@link dropDefaultAction} for building actions.
 */
 function alterTable(options) {
 	return new PostgresAlterTable(options);
 }
+/**
+* Build a Postgres `CREATE POLICY` DDL node.
+*
+* Identifiers (`schema`, `table`, `name`) are quoted by the renderer.
+* `using` and `withCheck` are emitted verbatim as predicate SQL — callers
+* must supply safe, pre-validated SQL expressions.
+*/
+function createPolicy(options) {
+	return new PostgresCreatePolicy(options);
+}
+/**
+* Build a Postgres `DROP POLICY` DDL node.
+* Identifiers (`schema`, `table`, `name`) are quoted by the renderer.
+*/
+function dropPolicy(options) {
+	return new PostgresDropPolicy(options);
+}
 //#endregion
-export { columnDefaultAst as a, columnTypeAst as c, indexExistsAst as d, noNullValuesAst as f, toRegclass as g, tablePrimaryKeyAst as h, createTable as i, constraintExistsAst as l, tableIsEmptyAst as m, alterTable as n, columnExistsAst as o, tableExistsAst as p, createSchema as r, columnNullabilityAst as s, addColumnAction as t, extensionExistsAst as u };
+export { rlsPolicyExistsAst as _, createTable as a, tablePrimaryKeyAst as b, columnDefaultAst as c, columnTypeAst as d, constraintExistsAst as f, rlsEnabledAst as g, noNullValuesAst as h, createSchema as i, columnExistsAst as l, indexExistsAst as m, alterTable as n, dropDefaultAction as o, extensionExistsAst as p, createPolicy as r, dropPolicy as s, addColumnAction as t, columnNullabilityAst as u, tableExistsAst as v, toRegclass as x, tableIsEmptyAst as y };
 
-//# sourceMappingURL=ddl-QDyOSeLc.mjs.map
+//# sourceMappingURL=ddl-BmLIe1z_.mjs.map

package/dist/ddl-BmLIe1z_.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"ddl-BmLIe1z_.mjs","names":[],"sources":["../src/contract-free/checks.ts","../src/contract-free/ddl.ts"],"sourcesContent":["import type { SelectAst } from '@prisma-next/sql-relational-core/ast';\nimport {\n  type CfExpr,\n  type CfExprSelectQuery,\n  cfExpr,\n  cfTable,\n  exprSelect,\n} from '@prisma-next/sql-relational-core/contract-free';\nimport { PostgresTableSource } from '../core/ast/table-source';\nimport { PG_TEXT_CODEC_ID } from '../core/codec-ids';\nimport { postgresCreateNamespace } from '../core/postgres-schema';\n\n/**\n * `to_regclass($1)` with the qualified table name bound as a text parameter.\n * Thin vocabulary wrapper over the core `cfExpr.fn` helper — the target\n * supplies only the template and the codec'd operand.\n */\nexport function toRegclass(qualifiedName: string): CfExpr {\n  return cfExpr.fn({\n    method: 'to_regclass',\n    template: 'to_regclass({{self}})',\n    self: cfExpr.param(qualifiedName, PG_TEXT_CODEC_ID),\n    returns: { codecId: PG_TEXT_CODEC_ID, nullable: true },\n  });\n}\n\nexport interface TableExistsCheckBuilder {\n  tableAbsent(): SelectAst;\n  tablePresent(): SelectAst;\n}\n\n/**\n * Typed builder for the migration planner's table-existence checks. Produces\n * FROM-less `SELECT to_regclass($1) IS [NOT] NULL AS \"result\"` ASTs with the\n * qualified table name bound as a text parameter — never inlined into the SQL.\n *\n * `schema` is a namespace coordinate: the framework `__unbound__` sentinel\n * elides the qualifier (search_path decides at runtime); any other id\n * qualifies as `\"schema\".\"table\"`.\n */\nexport function tableExistsAst(schema: string, table: string): TableExistsCheckBuilder {\n  const qualified = postgresCreateNamespace({ id: schema, entries: { table: {} } }).qualifyTable(\n    table,\n  );\n  const regclass = toRegclass(qualified);\n  return {\n    tableAbsent: () => exprSelect().project('result', regclass.isNull()).build(),\n    tablePresent: () => exprSelect().project('result', regclass.isNotNull()).build(),\n  };\n}\n\nexport interface ConstraintExistsCheckBuilder {\n  constraintPresent(): SelectAst;\n  constraintAbsent(): SelectAst;\n}\n\n/**\n * Typed builder for the migration planner's constraint-existence checks.\n * Produces `SELECT [NOT ]EXISTS (SELECT 1 FROM pg_constraint c JOIN\n * pg_namespace n ON n.oid = c.connamespace WHERE c.conname = $1 AND\n * n.nspname = $2 [AND c.conrelid = to_regclass($3)]) AS \"result\"` with the\n * constraint name, schema name, and qualified table name bound as text\n * parameters.\n *\n * When `table` is omitted the check matches by name + schema across all\n * tables. Pass `table` to scope the check to a single table (prevents false\n * matches on identically-named constraints in different tables). `schema`\n * is a namespace coordinate: the `__unbound__` sentinel compares `nspname`\n * against `current_schema()` instead of a bound parameter.\n */\nexport function constraintExistsAst(options: {\n  readonly constraintName: string;\n  readonly schema: string;\n  readonly table?: string;\n}): ConstraintExistsCheckBuilder {\n  const namespace = postgresCreateNamespace({ id: options.schema, entries: { table: {} } });\n  const conditions = [\n    cfExpr.columnRef('c', 'conname').eqParam(options.constraintName, PG_TEXT_CODEC_ID),\n    cfExpr.columnRef('n', 'nspname').eqExpr(namespace.schemaFilterExpression()),\n  ];\n  if (options.table !== undefined) {\n    conditions.push(\n      cfExpr.columnRef('c', 'conrelid').eqExpr(toRegclass(namespace.qualifyTable(options.table))),\n    );\n  }\n  const inner = (): CfExprSelectQuery =>\n    exprSelect()\n      .from(cfTable('pg_constraint', 'c'))\n      .join(\n        cfTable('pg_namespace', 'n'),\n        cfExpr.columnRef('n', 'oid').eqExpr(cfExpr.columnRef('c', 'connamespace')),\n      )\n      .project('one', cfExpr.lit(1))\n      .where(cfExpr.allOf(conditions));\n  return {\n    constraintPresent: () => exprSelect().project('result', cfExpr.exists(inner())).build(),\n    constraintAbsent: () => exprSelect().project('result', cfExpr.notExists(inner())).build(),\n  };\n}\n\nfunction checkNamespace(schema: string) {\n  return postgresCreateNamespace({ id: schema, entries: { table: {} } });\n}\n\nfunction informationSchemaColumns(): PostgresTableSource {\n  return new PostgresTableSource({ schema: 'information_schema', name: 'columns' });\n}\n\nfunction infoSchemaColumnConditions(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly column: string;\n}): CfExpr[] {\n  return [\n    cfExpr\n      .identifierRef('table_schema')\n      .eqExpr(checkNamespace(options.schema).schemaFilterExpression()),\n    cfExpr.identifierRef('table_name').eqParam(options.table, PG_TEXT_CODEC_ID),\n    cfExpr.identifierRef('column_name').eqParam(options.column, PG_TEXT_CODEC_ID),\n  ];\n}\n\nfunction infoSchemaColumnQuery(conditions: ReadonlyArray<CfExpr>): CfExprSelectQuery {\n  return exprSelect()\n    .from(informationSchemaColumns())\n    .project('one', cfExpr.lit(1))\n    .where(cfExpr.allOf(conditions));\n}\n\nexport interface ColumnExistsCheckBuilder {\n  columnPresent(): SelectAst;\n  columnAbsent(): SelectAst;\n}\n\n/**\n * Typed builder for column-existence checks over\n * `information_schema.columns`, with schema, table, and column names bound\n * as text parameters.\n */\nexport function columnExistsAst(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly column: string;\n}): ColumnExistsCheckBuilder {\n  const inner = () => infoSchemaColumnQuery(infoSchemaColumnConditions(options));\n  return {\n    columnPresent: () => exprSelect().project('result', cfExpr.exists(inner())).build(),\n    columnAbsent: () => exprSelect().project('result', cfExpr.notExists(inner())).build(),\n  };\n}\n\n/**\n * Typed nullability check: EXISTS over `information_schema.columns` with\n * `is_nullable` compared against the bound `'YES'` / `'NO'` marker.\n */\nexport function columnNullabilityAst(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly column: string;\n  readonly nullable: boolean;\n}): SelectAst {\n  const conditions = [\n    ...infoSchemaColumnConditions(options),\n    cfExpr.identifierRef('is_nullable').eqParam(options.nullable ? 'YES' : 'NO', PG_TEXT_CODEC_ID),\n  ];\n  return exprSelect()\n    .project('result', cfExpr.exists(infoSchemaColumnQuery(conditions)))\n    .build();\n}\n\nexport interface ColumnDefaultCheckBuilder {\n  defaultPresent(): SelectAst;\n  defaultAbsent(): SelectAst;\n  noDefault(): SelectAst;\n}\n\n/**\n * Typed default-presence checks over `information_schema.columns`.\n * `defaultPresent` / `defaultAbsent` assert the column row exists with a\n * non-null / null `column_default`; `noDefault` is the NOT EXISTS variant\n * (also true when the column row is missing entirely).\n */\nexport function columnDefaultAst(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly column: string;\n}): ColumnDefaultCheckBuilder {\n  const withDefault = () =>\n    infoSchemaColumnQuery([\n      ...infoSchemaColumnConditions(options),\n      cfExpr.identifierRef('column_default').isNotNull(),\n    ]);\n  const withoutDefault = () =>\n    infoSchemaColumnQuery([\n      ...infoSchemaColumnConditions(options),\n      cfExpr.identifierRef('column_default').isNull(),\n    ]);\n  return {\n    defaultPresent: () => exprSelect().project('result', cfExpr.exists(withDefault())).build(),\n    defaultAbsent: () => exprSelect().project('result', cfExpr.exists(withoutDefault())).build(),\n    noDefault: () => exprSelect().project('result', cfExpr.notExists(withDefault())).build(),\n  };\n}\n\n/**\n * Typed column-type check: EXISTS over `pg_attribute` joined to `pg_class`\n * and `pg_namespace`, comparing `format_type(a.atttypid, a.atttypmod)`\n * against the bound expected display type and excluding dropped columns.\n */\nexport function columnTypeAst(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly column: string;\n  readonly expectedType: string;\n}): SelectAst {\n  const formatType = cfExpr.fn({\n    method: 'format_type',\n    template: 'format_type({{self}}, {{arg0}})',\n    self: cfExpr.columnRef('a', 'atttypid'),\n    args: [cfExpr.columnRef('a', 'atttypmod')],\n    returns: { codecId: PG_TEXT_CODEC_ID, nullable: false },\n  });\n  const inner = exprSelect()\n    .from(cfTable('pg_attribute', 'a'))\n    .join(\n      cfTable('pg_class', 'c'),\n      cfExpr.columnRef('c', 'oid').eqExpr(cfExpr.columnRef('a', 'attrelid')),\n    )\n    .join(\n      cfTable('pg_namespace', 'n'),\n      cfExpr.columnRef('n', 'oid').eqExpr(cfExpr.columnRef('c', 'relnamespace')),\n    )\n    .project('one', cfExpr.lit(1))\n    .where(\n      cfExpr.allOf([\n        cfExpr\n          .columnRef('n', 'nspname')\n          .eqExpr(checkNamespace(options.schema).schemaFilterExpression()),\n        cfExpr.columnRef('c', 'relname').eqParam(options.table, PG_TEXT_CODEC_ID),\n        cfExpr.columnRef('a', 'attname').eqParam(options.column, PG_TEXT_CODEC_ID),\n        formatType.eqParam(options.expectedType, PG_TEXT_CODEC_ID),\n        cfExpr.columnRef('a', 'attisdropped').not(),\n      ]),\n    );\n  return exprSelect().project('result', cfExpr.exists(inner)).build();\n}\n\nexport interface TablePrimaryKeyCheckBuilder {\n  pkPresent(): SelectAst;\n  pkAbsent(): SelectAst;\n}\n\n/**\n * Typed primary-key existence check over `pg_index` joined to `pg_class`\n * and `pg_namespace`, with a LEFT JOIN on the index relation so an\n * optional `constraintName` can scope the match to a named constraint.\n */\nexport function tablePrimaryKeyAst(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly constraintName?: string;\n}): TablePrimaryKeyCheckBuilder {\n  const conditions = [\n    cfExpr\n      .columnRef('n', 'nspname')\n      .eqExpr(checkNamespace(options.schema).schemaFilterExpression()),\n    cfExpr.columnRef('c', 'relname').eqParam(options.table, PG_TEXT_CODEC_ID),\n    cfExpr.columnRef('i', 'indisprimary'),\n  ];\n  if (options.constraintName !== undefined) {\n    conditions.push(\n      cfExpr.columnRef('c2', 'relname').eqParam(options.constraintName, PG_TEXT_CODEC_ID),\n    );\n  }\n  const inner = () =>\n    exprSelect()\n      .from(cfTable('pg_index', 'i'))\n      .join(\n        cfTable('pg_class', 'c'),\n        cfExpr.columnRef('c', 'oid').eqExpr(cfExpr.columnRef('i', 'indrelid')),\n      )\n      .join(\n        cfTable('pg_namespace', 'n'),\n        cfExpr.columnRef('n', 'oid').eqExpr(cfExpr.columnRef('c', 'relnamespace')),\n      )\n      .leftJoin(\n        cfTable('pg_class', 'c2'),\n        cfExpr.columnRef('c2', 'oid').eqExpr(cfExpr.columnRef('i', 'indexrelid')),\n      )\n      .project('one', cfExpr.lit(1))\n      .where(cfExpr.allOf(conditions));\n  return {\n    pkPresent: () => exprSelect().project('result', cfExpr.exists(inner())).build(),\n    pkAbsent: () => exprSelect().project('result', cfExpr.notExists(inner())).build(),\n  };\n}\n\n/**\n * Typed emptiness check: NOT EXISTS over the user table itself with\n * `LIMIT 1`. The table is addressed through the namespace's polymorphic\n * `tableSource` (qualified for named schemas, bare for the unbound slot).\n */\nexport function tableIsEmptyAst(schema: string, table: string): SelectAst {\n  const inner = exprSelect()\n    .from(checkNamespace(schema).tableSource(table))\n    .project('one', cfExpr.lit(1))\n    .limit(1);\n  return exprSelect().project('result', cfExpr.notExists(inner)).build();\n}\n\n/**\n * Typed no-NULL-values data check used by `SET NOT NULL` prechecks:\n * NOT EXISTS over the user table where the column IS NULL.\n */\nexport function noNullValuesAst(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly column: string;\n}): SelectAst {\n  const inner = exprSelect()\n    .from(checkNamespace(options.schema).tableSource(options.table))\n    .project('one', cfExpr.lit(1))\n    .where(cfExpr.identifierRef(options.column).isNull());\n  return exprSelect().project('result', cfExpr.notExists(inner)).build();\n}\n\nexport interface ExtensionExistsCheckBuilder {\n  extensionPresent(): SelectAst;\n  extensionAbsent(): SelectAst;\n}\n\n/**\n * Typed extension existence check over `pg_extension`, with the extension\n * name bound as a text parameter.\n */\nexport function extensionExistsAst(extensionName: string): ExtensionExistsCheckBuilder {\n  const inner = () =>\n    exprSelect()\n      .from(cfTable('pg_extension'))\n      .project('one', cfExpr.lit(1))\n      .where(cfExpr.identifierRef('extname').eqParam(extensionName, PG_TEXT_CODEC_ID));\n  return {\n    extensionPresent: () => exprSelect().project('result', cfExpr.exists(inner())).build(),\n    extensionAbsent: () => exprSelect().project('result', cfExpr.notExists(inner())).build(),\n  };\n}\n\nexport interface RlsPolicyExistsCheckBuilder {\n  policyPresent(): SelectAst;\n  policyAbsent(): SelectAst;\n}\n\n/**\n * Typed RLS-policy existence check over `pg_policies`, with schema, table,\n * and policy names bound as text parameters (never inlined). The `schema`\n * coordinate is the resolved live-database schema name (e.g. `'public'`),\n * compared against `pg_policies.schemaname` as a bound parameter.\n */\nexport function rlsPolicyExistsAst(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly policyName: string;\n}): RlsPolicyExistsCheckBuilder {\n  const inner = () =>\n    exprSelect()\n      .from(cfTable('pg_policies'))\n      .project('one', cfExpr.lit(1))\n      .where(\n        cfExpr.allOf([\n          cfExpr.identifierRef('schemaname').eqParam(options.schema, PG_TEXT_CODEC_ID),\n          cfExpr.identifierRef('tablename').eqParam(options.table, PG_TEXT_CODEC_ID),\n          cfExpr.identifierRef('policyname').eqParam(options.policyName, PG_TEXT_CODEC_ID),\n        ]),\n      );\n  return {\n    policyPresent: () => exprSelect().project('result', cfExpr.exists(inner())).build(),\n    policyAbsent: () => exprSelect().project('result', cfExpr.notExists(inner())).build(),\n  };\n}\n\nexport interface RlsEnabledCheckBuilder {\n  rlsEnabled(): SelectAst;\n  rlsDisabled(): SelectAst;\n}\n\n/**\n * Typed row-level-security enabled check over `pg_class` joined to\n * `pg_namespace`, comparing `pg_class.relrowsecurity` against the expected\n * boolean. Schema and table names are bound as text parameters.\n */\nexport function rlsEnabledAst(schema: string, table: string): RlsEnabledCheckBuilder {\n  const inner = (enabled: boolean) =>\n    exprSelect()\n      .from(cfTable('pg_class', 'c'))\n      .join(\n        cfTable('pg_namespace', 'n'),\n        cfExpr.columnRef('n', 'oid').eqExpr(cfExpr.columnRef('c', 'relnamespace')),\n      )\n      .project('one', cfExpr.lit(1))\n      .where(\n        cfExpr.allOf([\n          cfExpr.columnRef('n', 'nspname').eqParam(schema, PG_TEXT_CODEC_ID),\n          cfExpr.columnRef('c', 'relname').eqParam(table, PG_TEXT_CODEC_ID),\n          enabled\n            ? cfExpr.columnRef('c', 'relrowsecurity')\n            : cfExpr.columnRef('c', 'relrowsecurity').not(),\n        ]),\n      );\n  return {\n    rlsEnabled: () =>\n      exprSelect()\n        .project('result', cfExpr.exists(inner(true)))\n        .build(),\n    rlsDisabled: () =>\n      exprSelect()\n        .project('result', cfExpr.exists(inner(false)))\n        .build(),\n  };\n}\n\nexport interface IndexExistsCheckBuilder {\n  indexPresent(): SelectAst;\n  indexAbsent(): SelectAst;\n}\n\n/**\n * Typed index existence check riding the same `to_regclass` vocabulary as\n * `tableExistsAst`, with the qualified index name bound as a text parameter.\n */\nexport function indexExistsAst(schema: string, indexName: string): IndexExistsCheckBuilder {\n  const regclass = toRegclass(checkNamespace(schema).qualifyTable(indexName));\n  return {\n    indexPresent: () => exprSelect().project('result', regclass.isNotNull()).build(),\n    indexAbsent: () => exprSelect().project('result', regclass.isNull()).build(),\n  };\n}\n","import type { DdlColumn, DdlTableConstraint } from '@prisma-next/sql-relational-core/ast';\nimport {\n  AddColumnAction,\n  type AnyAlterTableAction,\n  DropDefaultAction,\n  PostgresAlterTable,\n  PostgresCreatePolicy,\n  PostgresCreateSchema,\n  PostgresCreateTable,\n  PostgresDropPolicy,\n  type RlsPolicyOperation,\n} from '../core/ddl/nodes';\n\n/**\n * Build a Postgres `CREATE TABLE` query node.\n *\n * Pass `constraints` for table-level composite primary keys, foreign keys, and\n * unique constraints — use the {@link PrimaryKeyConstraint}, {@link ForeignKeyConstraint},\n * and {@link UniqueConstraint} classes from `@prisma-next/sql-relational-core/ast`.\n *\n * Precondition: identifiers (`table`, `schema`, column names/types) are\n * emitted to SQL verbatim — they are not quoted or escaped, so callers must\n * pass pre-trusted values (e.g. fixed control-plane identifiers). String-literal\n * default values, by contrast, are single-quote-escaped (embedded `'` doubled)\n * by the renderer. Identifier quoting for untrusted identifiers is added when\n * the migration planner adopts this lowering path.\n */\nexport function createTable(options: {\n  readonly table: string;\n  readonly schema?: string;\n  readonly ifNotExists?: boolean;\n  readonly columns: readonly DdlColumn[];\n  readonly constraints?: readonly DdlTableConstraint[];\n}): PostgresCreateTable {\n  return new PostgresCreateTable(options);\n}\n\n/**\n * Build a Postgres `CREATE SCHEMA` query node. See {@link createTable} for the\n * pre-trusted-identifier precondition.\n */\nexport function createSchema(options: {\n  readonly schema: string;\n  readonly ifNotExists?: boolean;\n}): PostgresCreateSchema {\n  return new PostgresCreateSchema(options);\n}\n\n/**\n * Build an `ADD COLUMN` action for use inside {@link alterTable}.\n * The column is a structured `DdlColumn` so codec-encoded defaults flow\n * through the adapter's `pgRenderDdlColumn` → `pgRenderDdlColumnDefault` path.\n */\nexport function addColumnAction(column: DdlColumn): AddColumnAction {\n  return new AddColumnAction(column);\n}\n\n/**\n * Build a `DROP DEFAULT` action (`ALTER COLUMN \"<name>\" DROP DEFAULT`) for\n * use inside {@link alterTable}. The renderer quotes the column name.\n */\nexport function dropDefaultAction(columnName: string): DropDefaultAction {\n  return new DropDefaultAction(columnName);\n}\n\n/**\n * Build a Postgres `ALTER TABLE` query node carrying one or more actions.\n * See {@link addColumnAction} / {@link dropDefaultAction} for building actions.\n */\nexport function alterTable(options: {\n  readonly table: string;\n  readonly schema?: string;\n  readonly actions: readonly AnyAlterTableAction[];\n}): PostgresAlterTable {\n  return new PostgresAlterTable(options);\n}\n\n/**\n * Build a Postgres `CREATE POLICY` DDL node.\n *\n * Identifiers (`schema`, `table`, `name`) are quoted by the renderer.\n * `using` and `withCheck` are emitted verbatim as predicate SQL — callers\n * must supply safe, pre-validated SQL expressions.\n */\nexport function createPolicy(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly name: string;\n  readonly permissive: boolean;\n  readonly operation: RlsPolicyOperation;\n  readonly roles: readonly string[];\n  readonly using?: string;\n  readonly withCheck?: string;\n}): PostgresCreatePolicy {\n  return new PostgresCreatePolicy(options);\n}\n\n/**\n * Build a Postgres `DROP POLICY` DDL node.\n * Identifiers (`schema`, `table`, `name`) are quoted by the renderer.\n */\nexport function dropPolicy(options: {\n  readonly schema: string;\n  readonly table: string;\n  readonly name: string;\n}): PostgresDropPolicy {\n  return new PostgresDropPolicy(options);\n}\n"],"mappings":";;;;;;;;;;AAiBA,SAAgB,WAAW,eAA+B;CACxD,OAAO,OAAO,GAAG;EACf,QAAQ;EACR,UAAU;EACV,MAAM,OAAO,MAAM,eAAe,gBAAgB;EAClD,SAAS;GAAE,SAAS;GAAkB,UAAU;EAAK;CACvD,CAAC;AACH;;;;;;;;;;AAgBA,SAAgB,eAAe,QAAgB,OAAwC;CAIrF,MAAM,WAAW,WAHC,wBAAwB;EAAE,IAAI;EAAQ,SAAS,EAAE,OAAO,CAAC,EAAE;CAAE,CAAC,CAAC,CAAC,aAChF,KAEkC,CAAC;CACrC,OAAO;EACL,mBAAmB,WAAW,CAAC,CAAC,QAAQ,UAAU,SAAS,OAAO,CAAC,CAAC,CAAC,MAAM;EAC3E,oBAAoB,WAAW,CAAC,CAAC,QAAQ,UAAU,SAAS,UAAU,CAAC,CAAC,CAAC,MAAM;CACjF;AACF;;;;;;;;;;;;;;;AAqBA,SAAgB,oBAAoB,SAIH;CAC/B,MAAM,YAAY,wBAAwB;EAAE,IAAI,QAAQ;EAAQ,SAAS,EAAE,OAAO,CAAC,EAAE;CAAE,CAAC;CACxF,MAAM,aAAa,CACjB,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,QAAQ,QAAQ,gBAAgB,gBAAgB,GACjF,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,OAAO,UAAU,uBAAuB,CAAC,CAC5E;CACA,IAAI,QAAQ,UAAU,KAAA,GACpB,WAAW,KACT,OAAO,UAAU,KAAK,UAAU,CAAC,CAAC,OAAO,WAAW,UAAU,aAAa,QAAQ,KAAK,CAAC,CAAC,CAC5F;CAEF,MAAM,cACJ,WAAW,CAAC,CACT,KAAK,QAAQ,iBAAiB,GAAG,CAAC,CAAC,CACnC,KACC,QAAQ,gBAAgB,GAAG,GAC3B,OAAO,UAAU,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,UAAU,KAAK,cAAc,CAAC,CAC3E,CAAC,CACA,QAAQ,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAC7B,MAAM,OAAO,MAAM,UAAU,CAAC;CACnC,OAAO;EACL,yBAAyB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;EACtF,wBAAwB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,UAAU,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;CAC1F;AACF;AAEA,SAAS,eAAe,QAAgB;CACtC,OAAO,wBAAwB;EAAE,IAAI;EAAQ,SAAS,EAAE,OAAO,CAAC,EAAE;CAAE,CAAC;AACvE;AAEA,SAAS,2BAAgD;CACvD,OAAO,IAAI,oBAAoB;EAAE,QAAQ;EAAsB,MAAM;CAAU,CAAC;AAClF;AAEA,SAAS,2BAA2B,SAIvB;CACX,OAAO;EACL,OACG,cAAc,cAAc,CAAC,CAC7B,OAAO,eAAe,QAAQ,MAAM,CAAC,CAAC,uBAAuB,CAAC;EACjE,OAAO,cAAc,YAAY,CAAC,CAAC,QAAQ,QAAQ,OAAO,gBAAgB;EAC1E,OAAO,cAAc,aAAa,CAAC,CAAC,QAAQ,QAAQ,QAAQ,gBAAgB;CAC9E;AACF;AAEA,SAAS,sBAAsB,YAAsD;CACnF,OAAO,WAAW,CAAC,CAChB,KAAK,yBAAyB,CAAC,CAAC,CAChC,QAAQ,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAC7B,MAAM,OAAO,MAAM,UAAU,CAAC;AACnC;;;;;;AAYA,SAAgB,gBAAgB,SAIH;CAC3B,MAAM,cAAc,sBAAsB,2BAA2B,OAAO,CAAC;CAC7E,OAAO;EACL,qBAAqB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;EAClF,oBAAoB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,UAAU,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;CACtF;AACF;;;;;AAMA,SAAgB,qBAAqB,SAKvB;CACZ,MAAM,aAAa,CACjB,GAAG,2BAA2B,OAAO,GACrC,OAAO,cAAc,aAAa,CAAC,CAAC,QAAQ,QAAQ,WAAW,QAAQ,MAAM,gBAAgB,CAC/F;CACA,OAAO,WAAW,CAAC,CAChB,QAAQ,UAAU,OAAO,OAAO,sBAAsB,UAAU,CAAC,CAAC,CAAC,CACnE,MAAM;AACX;;;;;;;AAcA,SAAgB,iBAAiB,SAIH;CAC5B,MAAM,oBACJ,sBAAsB,CACpB,GAAG,2BAA2B,OAAO,GACrC,OAAO,cAAc,gBAAgB,CAAC,CAAC,UAAU,CACnD,CAAC;CACH,MAAM,uBACJ,sBAAsB,CACpB,GAAG,2BAA2B,OAAO,GACrC,OAAO,cAAc,gBAAgB,CAAC,CAAC,OAAO,CAChD,CAAC;CACH,OAAO;EACL,sBAAsB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM;EACzF,qBAAqB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,OAAO,eAAe,CAAC,CAAC,CAAC,CAAC,MAAM;EAC3F,iBAAiB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,UAAU,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM;CACzF;AACF;;;;;;AAOA,SAAgB,cAAc,SAKhB;CACZ,MAAM,aAAa,OAAO,GAAG;EAC3B,QAAQ;EACR,UAAU;EACV,MAAM,OAAO,UAAU,KAAK,UAAU;EACtC,MAAM,CAAC,OAAO,UAAU,KAAK,WAAW,CAAC;EACzC,SAAS;GAAE,SAAS;GAAkB,UAAU;EAAM;CACxD,CAAC;CACD,MAAM,QAAQ,WAAW,CAAC,CACvB,KAAK,QAAQ,gBAAgB,GAAG,CAAC,CAAC,CAClC,KACC,QAAQ,YAAY,GAAG,GACvB,OAAO,UAAU,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,UAAU,KAAK,UAAU,CAAC,CACvE,CAAC,CACA,KACC,QAAQ,gBAAgB,GAAG,GAC3B,OAAO,UAAU,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,UAAU,KAAK,cAAc,CAAC,CAC3E,CAAC,CACA,QAAQ,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAC7B,MACC,OAAO,MAAM;EACX,OACG,UAAU,KAAK,SAAS,CAAC,CACzB,OAAO,eAAe,QAAQ,MAAM,CAAC,CAAC,uBAAuB,CAAC;EACjE,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,QAAQ,QAAQ,OAAO,gBAAgB;EACxE,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,QAAQ,QAAQ,QAAQ,gBAAgB;EACzE,WAAW,QAAQ,QAAQ,cAAc,gBAAgB;EACzD,OAAO,UAAU,KAAK,cAAc,CAAC,CAAC,IAAI;CAC5C,CAAC,CACH;CACF,OAAO,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM;AACpE;;;;;;AAYA,SAAgB,mBAAmB,SAIH;CAC9B,MAAM,aAAa;EACjB,OACG,UAAU,KAAK,SAAS,CAAC,CACzB,OAAO,eAAe,QAAQ,MAAM,CAAC,CAAC,uBAAuB,CAAC;EACjE,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,QAAQ,QAAQ,OAAO,gBAAgB;EACxE,OAAO,UAAU,KAAK,cAAc;CACtC;CACA,IAAI,QAAQ,mBAAmB,KAAA,GAC7B,WAAW,KACT,OAAO,UAAU,MAAM,SAAS,CAAC,CAAC,QAAQ,QAAQ,gBAAgB,gBAAgB,CACpF;CAEF,MAAM,cACJ,WAAW,CAAC,CACT,KAAK,QAAQ,YAAY,GAAG,CAAC,CAAC,CAC9B,KACC,QAAQ,YAAY,GAAG,GACvB,OAAO,UAAU,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,UAAU,KAAK,UAAU,CAAC,CACvE,CAAC,CACA,KACC,QAAQ,gBAAgB,GAAG,GAC3B,OAAO,UAAU,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,UAAU,KAAK,cAAc,CAAC,CAC3E,CAAC,CACA,SACC,QAAQ,YAAY,IAAI,GACxB,OAAO,UAAU,MAAM,KAAK,CAAC,CAAC,OAAO,OAAO,UAAU,KAAK,YAAY,CAAC,CAC1E,CAAC,CACA,QAAQ,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAC7B,MAAM,OAAO,MAAM,UAAU,CAAC;CACnC,OAAO;EACL,iBAAiB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;EAC9E,gBAAgB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,UAAU,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;CAClF;AACF;;;;;;AAOA,SAAgB,gBAAgB,QAAgB,OAA0B;CACxE,MAAM,QAAQ,WAAW,CAAC,CACvB,KAAK,eAAe,MAAM,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAC/C,QAAQ,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAC7B,MAAM,CAAC;CACV,OAAO,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,UAAU,KAAK,CAAC,CAAC,CAAC,MAAM;AACvE;;;;;AAMA,SAAgB,gBAAgB,SAIlB;CACZ,MAAM,QAAQ,WAAW,CAAC,CACvB,KAAK,eAAe,QAAQ,MAAM,CAAC,CAAC,YAAY,QAAQ,KAAK,CAAC,CAAC,CAC/D,QAAQ,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAC7B,MAAM,OAAO,cAAc,QAAQ,MAAM,CAAC,CAAC,OAAO,CAAC;CACtD,OAAO,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,UAAU,KAAK,CAAC,CAAC,CAAC,MAAM;AACvE;;;;;AAWA,SAAgB,mBAAmB,eAAoD;CACrF,MAAM,cACJ,WAAW,CAAC,CACT,KAAK,QAAQ,cAAc,CAAC,CAAC,CAC7B,QAAQ,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAC7B,MAAM,OAAO,cAAc,SAAS,CAAC,CAAC,QAAQ,eAAe,gBAAgB,CAAC;CACnF,OAAO;EACL,wBAAwB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;EACrF,uBAAuB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,UAAU,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;CACzF;AACF;;;;;;;AAaA,SAAgB,mBAAmB,SAIH;CAC9B,MAAM,cACJ,WAAW,CAAC,CACT,KAAK,QAAQ,aAAa,CAAC,CAAC,CAC5B,QAAQ,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAC7B,MACC,OAAO,MAAM;EACX,OAAO,cAAc,YAAY,CAAC,CAAC,QAAQ,QAAQ,QAAQ,gBAAgB;EAC3E,OAAO,cAAc,WAAW,CAAC,CAAC,QAAQ,QAAQ,OAAO,gBAAgB;EACzE,OAAO,cAAc,YAAY,CAAC,CAAC,QAAQ,QAAQ,YAAY,gBAAgB;CACjF,CAAC,CACH;CACJ,OAAO;EACL,qBAAqB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;EAClF,oBAAoB,WAAW,CAAC,CAAC,QAAQ,UAAU,OAAO,UAAU,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;CACtF;AACF;;;;;;AAYA,SAAgB,cAAc,QAAgB,OAAuC;CACnF,MAAM,SAAS,YACb,WAAW,CAAC,CACT,KAAK,QAAQ,YAAY,GAAG,CAAC,CAAC,CAC9B,KACC,QAAQ,gBAAgB,GAAG,GAC3B,OAAO,UAAU,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,UAAU,KAAK,cAAc,CAAC,CAC3E,CAAC,CACA,QAAQ,OAAO,OAAO,IAAI,CAAC,CAAC,CAAC,CAC7B,MACC,OAAO,MAAM;EACX,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,QAAQ,QAAQ,gBAAgB;EACjE,OAAO,UAAU,KAAK,SAAS,CAAC,CAAC,QAAQ,OAAO,gBAAgB;EAChE,UACI,OAAO,UAAU,KAAK,gBAAgB,IACtC,OAAO,UAAU,KAAK,gBAAgB,CAAC,CAAC,IAAI;CAClD,CAAC,CACH;CACJ,OAAO;EACL,kBACE,WAAW,CAAC,CACT,QAAQ,UAAU,OAAO,OAAO,MAAM,IAAI,CAAC,CAAC,CAAC,CAC7C,MAAM;EACX,mBACE,WAAW,CAAC,CACT,QAAQ,UAAU,OAAO,OAAO,MAAM,KAAK,CAAC,CAAC,CAAC,CAC9C,MAAM;CACb;AACF;;;;;AAWA,SAAgB,eAAe,QAAgB,WAA4C;CACzF,MAAM,WAAW,WAAW,eAAe,MAAM,CAAC,CAAC,aAAa,SAAS,CAAC;CAC1E,OAAO;EACL,oBAAoB,WAAW,CAAC,CAAC,QAAQ,UAAU,SAAS,UAAU,CAAC,CAAC,CAAC,MAAM;EAC/E,mBAAmB,WAAW,CAAC,CAAC,QAAQ,UAAU,SAAS,OAAO,CAAC,CAAC,CAAC,MAAM;CAC7E;AACF;;;;;;;;;;;;;;;;;ACxZA,SAAgB,YAAY,SAMJ;CACtB,OAAO,IAAI,oBAAoB,OAAO;AACxC;;;;;AAMA,SAAgB,aAAa,SAGJ;CACvB,OAAO,IAAI,qBAAqB,OAAO;AACzC;;;;;;AAOA,SAAgB,gBAAgB,QAAoC;CAClE,OAAO,IAAI,gBAAgB,MAAM;AACnC;;;;;AAMA,SAAgB,kBAAkB,YAAuC;CACvE,OAAO,IAAI,kBAAkB,UAAU;AACzC;;;;;AAMA,SAAgB,WAAW,SAIJ;CACrB,OAAO,IAAI,mBAAmB,OAAO;AACvC;;;;;;;;AASA,SAAgB,aAAa,SASJ;CACvB,OAAO,IAAI,qBAAqB,OAAO;AACzC;;;;;AAMA,SAAgB,WAAW,SAIJ;CACrB,OAAO,IAAI,mBAAmB,OAAO;AACvC"}

package/dist/ddl.d.mts

@@ -1,2 +1,3 @@
-import { a as PostgresAlterTable, c as PostgresDdlNode, i as AnyPostgresDdlNode, l as PostgresDdlVisitor, n as AlterTableActionVisitor, o as PostgresCreateSchema, r as AnyAlterTableAction, s as PostgresCreateTable, t as AddColumnAction } from "./nodes-pLeLgdis.mjs";
-export { AddColumnAction, type AlterTableActionVisitor, type AnyAlterTableAction, type AnyPostgresDdlNode, PostgresAlterTable, PostgresCreateSchema, PostgresCreateTable, PostgresDdlNode, type PostgresDdlVisitor };
+import { n as RlsPolicyOperation } from "./canonicalize-CAbXtVtB.mjs";
+import { a as DropDefaultAction, c as PostgresCreateSchema, d as PostgresDdlVisitor, f as PostgresDropPolicy, i as AnyPostgresDdlNode, l as PostgresCreateTable, n as AlterTableActionVisitor, o as PostgresAlterTable, r as AnyAlterTableAction, s as PostgresCreatePolicy, t as AddColumnAction, u as PostgresDdlNode } from "./nodes-CSkPX3rI.mjs";
+export { AddColumnAction, type AlterTableActionVisitor, type AnyAlterTableAction, type AnyPostgresDdlNode, DropDefaultAction, PostgresAlterTable, PostgresCreatePolicy, PostgresCreateSchema, PostgresCreateTable, PostgresDdlNode, type PostgresDdlVisitor, PostgresDropPolicy, type RlsPolicyOperation };

package/dist/ddl.mjs

@@ -1,2 +1,2 @@
-import { a as PostgresDdlNode, i as PostgresCreateTable, n as PostgresAlterTable, r as PostgresCreateSchema, t as AddColumnAction } from "./nodes-Bbhs2rwj.mjs";
-export { AddColumnAction, PostgresAlterTable, PostgresCreateSchema, PostgresCreateTable, PostgresDdlNode };
+import { a as PostgresCreateSchema, c as PostgresDropPolicy, i as PostgresCreatePolicy, n as DropDefaultAction, o as PostgresCreateTable, r as PostgresAlterTable, s as PostgresDdlNode, t as AddColumnAction } from "./nodes-Dh__NS58.mjs";
+export { AddColumnAction, DropDefaultAction, PostgresAlterTable, PostgresCreatePolicy, PostgresCreateSchema, PostgresCreateTable, PostgresDdlNode, PostgresDropPolicy };