@prisma-next/target-postgres 0.14.0-dev.5 → 0.14.0-dev.50

package/dist/diff-database-schema-BmSmWcaY.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff-database-schema-BmSmWcaY.mjs","names":[],"sources":["../src/core/migrations/contract-to-postgres-database-schema-node.ts","../src/core/migrations/diff-database-schema.ts"],"sourcesContent":["import type { ContractToSchemaIROptions } from '@prisma-next/family-sql/control';\nimport { contractNamespaceToSchemaIR } from '@prisma-next/family-sql/control';\nimport { UNBOUND_NAMESPACE_ID } from '@prisma-next/framework-components/ir';\nimport { SqlForeignKeyIR } from '@prisma-next/sql-schema-ir/types';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { PostgresRlsPolicy } from '../postgres-rls-policy';\nimport type { PostgresContract } from '../postgres-schema';\nimport { isPostgresSchema } from '../postgres-schema';\nimport { PostgresDatabaseSchemaNode } from '../schema-ir/postgres-database-schema-node';\nimport { PostgresNamespaceSchemaNode } from '../schema-ir/postgres-namespace-schema-node';\nimport { PostgresPolicySchemaNode } from '../schema-ir/postgres-policy-schema-node';\nimport { PostgresRoleSchemaNode } from '../schema-ir/postgres-role-schema-node';\nimport { PostgresTableSchemaNode } from '../schema-ir/postgres-table-schema-node';\nimport { resolveDdlSchemaForNamespaceStorage } from './resolve-ddl-schema';\n\nfunction toPolicyNode(policy: PostgresRlsPolicy, namespaceId: string): PostgresPolicySchemaNode {\n  return new PostgresPolicySchemaNode({\n    name: policy.name,\n    prefix: policy.prefix,\n    tableName: policy.tableName,\n    namespaceId,\n    operation: policy.operation,\n    roles: [...policy.roles],\n    ...ifDefined('using', policy.using),\n    ...ifDefined('withCheck', policy.withCheck),\n    permissive: policy.permissive,\n  });\n}\n\n/**\n * Projects a Postgres contract into the expected schema-diff tree: a\n * `PostgresDatabaseSchemaNode` root holding one `PostgresNamespaceSchemaNode`\n * per Postgres namespace, each holding its `PostgresTableSchemaNode`s with\n * their `PostgresPolicySchemaNode`s, plus the database roles on the root.\n *\n * Not a duplicate of the family's `contractToSchemaIR`: that builds a flat,\n * single `{ tables }` map (and throws on cross-namespace name collisions, with\n * no RLS/role concept) for SQLite's single-schema world. This is the\n * Postgres-specific *tree* shape — multi-schema, RLS-policy-aware, role-aware.\n * It reuses the family's per-namespace table conversion (`contractNamespaceToSchemaIR`)\n * for column/FK/index building and only adds the Postgres tree/policy/role shape.\n *\n * Tables are grouped by their owning namespace (resolved DDL schema name) so\n * the tree mirrors Postgres's object hierarchy. The DDL schema name is\n * resolved once per namespace.\n *\n * A policy that references a table absent from its namespace is a malformed\n * contract — the loop throws rather than fabricating a stub table.\n */\nexport function contractToPostgresDatabaseSchemaNode(\n  contract: PostgresContract | null,\n  options: ContractToSchemaIROptions,\n): PostgresDatabaseSchemaNode {\n  if (contract === null) {\n    return new PostgresDatabaseSchemaNode({\n      namespaces: {},\n      roles: [],\n      existingSchemas: [],\n      pgVersion: '',\n    });\n  }\n\n  const namespaces: Record<string, PostgresNamespaceSchemaNode> = {};\n  const roles: PostgresRoleSchemaNode[] = [];\n  const ownedSchemas: string[] = [];\n\n  for (const ns of Object.values(contract.storage.namespaces)) {\n    if (!isPostgresSchema(ns)) continue;\n    const ddlSchema = resolveDdlSchemaForNamespaceStorage(contract.storage, ns.id);\n    ownedSchemas.push(ddlSchema);\n\n    // Convert only THIS namespace's tables (passing the full storage for\n    // type/value-set/enum resolution that spans namespaces), so the same table\n    // name can exist in two schemas without colliding in a bare-keyed record.\n    const sqlTables = contractNamespaceToSchemaIR(contract.storage, ns.id, options).tables;\n\n    const policiesByTable = new Map<string, PostgresPolicySchemaNode[]>();\n    for (const policy of Object.values(ns.policy)) {\n      const list = policiesByTable.get(policy.tableName) ?? [];\n      list.push(toPolicyNode(policy, ddlSchema));\n      policiesByTable.set(policy.tableName, list);\n    }\n\n    const tables: Record<string, PostgresTableSchemaNode> = {};\n    for (const tableName of Object.keys(ns.table)) {\n      const sqlTable = sqlTables[tableName];\n      if (sqlTable === undefined) continue;\n      // The family conversion stamps `referencedSchema` with the FK target's\n      // namespace id verbatim, which can be the unbound sentinel. Resolve it\n      // to the real live DDL schema here — introspected FKs already carry the\n      // live schema, so this is what lets an expected FK pair (by diff-node\n      // id) with its introspected counterpart.\n      const foreignKeys = sqlTable.foreignKeys.map(\n        (fk) =>\n          new SqlForeignKeyIR({\n            columns: fk.columns,\n            referencedTable: fk.referencedTable,\n            referencedColumns: fk.referencedColumns,\n            ...ifDefined('referencedSchema', fk.referencedSchema),\n            ...ifDefined('name', fk.name),\n            ...ifDefined('onDelete', fk.onDelete),\n            ...ifDefined('onUpdate', fk.onUpdate),\n            ...ifDefined('annotations', fk.annotations),\n            resolvedReferencedNamespace: resolveDdlSchemaForNamespaceStorage(\n              contract.storage,\n              fk.referencedSchema ?? UNBOUND_NAMESPACE_ID,\n            ),\n          }),\n      );\n      tables[tableName] = new PostgresTableSchemaNode({\n        name: sqlTable.name,\n        columns: sqlTable.columns,\n        foreignKeys,\n        uniques: sqlTable.uniques,\n        indexes: sqlTable.indexes,\n        ...ifDefined('primaryKey', sqlTable.primaryKey),\n        ...ifDefined('annotations', sqlTable.annotations),\n        ...ifDefined('checks', sqlTable.checks),\n        policies: policiesByTable.get(tableName) ?? [],\n      });\n    }\n\n    for (const [tableName, tablePolicies] of policiesByTable) {\n      if (!(tableName in tables)) {\n        const policyName = tablePolicies[0]?.name ?? '(unknown)';\n        throw new Error(\n          `contract-to-postgres-database-schema-node: policy \"${policyName}\" references table \"${tableName}\" not present in namespace \"${ddlSchema}\"`,\n        );\n      }\n    }\n\n    namespaces[ddlSchema] = new PostgresNamespaceSchemaNode({\n      schemaName: ddlSchema,\n      tables,\n      nativeEnumTypeNames: [],\n    });\n\n    for (const role of Object.values(ns.role)) {\n      roles.push(new PostgresRoleSchemaNode({ name: role.name, namespaceId: role.namespaceId }));\n    }\n  }\n\n  return new PostgresDatabaseSchemaNode({\n    namespaces,\n    roles,\n    existingSchemas: ownedSchemas,\n    pgVersion: '',\n  });\n}\n","import type { Contract, ControlPolicy } from '@prisma-next/contract/types';\nimport type { SqlSchemaDiffResult } from '@prisma-next/family-sql/control';\nimport { buildNativeTypeExpander } from '@prisma-next/family-sql/control';\nimport {\n  classifyDiffSubjectGranularity,\n  resolveSemanticSatisfaction,\n} from '@prisma-next/family-sql/diff';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type { SchemaDiffIssue } from '@prisma-next/framework-components/control';\nimport { diffSchemas } from '@prisma-next/framework-components/control';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { SqlSchemaIRNode } from '@prisma-next/sql-schema-ir/types';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { PostgresContract } from '../postgres-schema';\nimport { PostgresDatabaseSchemaNode } from '../schema-ir/postgres-database-schema-node';\nimport { PostgresNamespaceSchemaNode } from '../schema-ir/postgres-namespace-schema-node';\nimport { PostgresTableSchemaNode } from '../schema-ir/postgres-table-schema-node';\nimport {\n  postgresDiffSubjectGranularity,\n  type SqlSchemaDiffNode,\n} from '../schema-ir/schema-node-kinds';\nimport { contractToPostgresDatabaseSchemaNode } from './contract-to-postgres-database-schema-node';\nimport { resolvePostgresNodeIssueControlPolicySubject } from './control-policy';\n\nfunction ownedSchemaNames(expected: PostgresDatabaseSchemaNode): ReadonlySet<string> {\n  const policyNamespaces = Object.values(expected.namespaces).flatMap((ns) =>\n    Object.values(ns.tables).flatMap((t) => t.policies.map((p) => p.namespaceId)),\n  );\n  return new Set([...policyNamespaces, ...expected.existingSchemas]);\n}\n\n/**\n * Applies the family's semantic-satisfaction normalization across a Postgres\n * tree pair: every actual table with an expected counterpart (paired by\n * namespace id, then table id) gets its unique/index child lists adjusted;\n * everything else passes through untouched.\n */\nexport function normalizePostgresActualForDiff(\n  expected: PostgresDatabaseSchemaNode,\n  actual: PostgresDatabaseSchemaNode,\n): PostgresDatabaseSchemaNode {\n  const namespaces: Record<string, PostgresNamespaceSchemaNode> = {};\n  for (const [nsId, actualNs] of Object.entries(actual.namespaces)) {\n    const expectedNs = expected.namespaces[nsId];\n    if (expectedNs === undefined) {\n      namespaces[nsId] = actualNs;\n      continue;\n    }\n    const tables: Record<string, PostgresTableSchemaNode> = {};\n    for (const [tableName, actualTable] of Object.entries(actualNs.tables)) {\n      const expectedTable = expectedNs.tables[tableName];\n      if (expectedTable === undefined) {\n        tables[tableName] = actualTable;\n        continue;\n      }\n      const adjusted = resolveSemanticSatisfaction({\n        expectedUniques: expectedTable.uniques,\n        expectedIndexes: expectedTable.indexes,\n        actualUniques: actualTable.uniques,\n        actualIndexes: actualTable.indexes,\n      });\n      tables[tableName] = new PostgresTableSchemaNode({\n        name: actualTable.name,\n        columns: actualTable.columns,\n        foreignKeys: actualTable.foreignKeys,\n        uniques: adjusted.actualUniques,\n        indexes: adjusted.actualIndexes,\n        ...ifDefined('primaryKey', actualTable.primaryKey),\n        ...ifDefined('annotations', actualTable.annotations),\n        ...ifDefined('checks', actualTable.checks),\n        policies: [...actualTable.policies],\n      });\n    }\n    namespaces[nsId] = new PostgresNamespaceSchemaNode({\n      schemaName: actualNs.schemaName,\n      tables,\n      nativeEnumTypeNames: actualNs.nativeEnumTypeNames,\n    });\n  }\n  return new PostgresDatabaseSchemaNode({\n    namespaces,\n    roles: [...actual.roles],\n    existingSchemas: [...actual.existingSchemas],\n    pgVersion: actual.pgVersion,\n  });\n}\n\n/**\n * Drops contract namespaces that declare no tables from the verdict-diff\n * expected tree and the relational owned-schema set. The legacy relational\n * walk skipped a table-less namespace (e.g. an enums-only schema) before\n * pairing, so neither its DDL schema's absence nor that schema's live\n * relational contents ever reached the verdict — the pruned tree\n * reproduces that. The prune loses no expected policies: policies attach\n * to tables, so a table-less namespace carries none (the projection\n * throws on a policy referencing an absent table). Live policies in a\n * pruned schema remain governed via the full owned set (see\n * {@link diffPostgresSchema}).\n */\nfunction pruneTableLessNamespaces(\n  expected: PostgresDatabaseSchemaNode,\n): PostgresDatabaseSchemaNode {\n  const namespaces = Object.fromEntries(\n    Object.entries(expected.namespaces).filter(([, ns]) => Object.keys(ns.tables).length > 0),\n  );\n  return new PostgresDatabaseSchemaNode({\n    namespaces,\n    roles: [...expected.roles],\n    existingSchemas: expected.existingSchemas.filter((s) => namespaces[s] !== undefined),\n    pgVersion: expected.pgVersion,\n  });\n}\n\n/**\n * Resolves a verdict-diff issue's subject table's declared control policy\n * directly from the contract, by delegating to the same node-typed resolver\n * ({@link resolvePostgresNodeIssueControlPolicySubject}) the planner uses to\n * gate DDL calls. `undefined` when the issue resolves to no contract table.\n */\nfunction resolveControlPolicy(\n  issue: SchemaDiffIssue,\n  contract: Contract<SqlStorage>,\n): ControlPolicy | undefined {\n  const nodeIssue = blindCast<\n    SchemaDiffIssue<SqlSchemaDiffNode>,\n    'every node in a Postgres schema diff tree is a SqlSchemaDiffNode'\n  >(issue);\n  return resolvePostgresNodeIssueControlPolicySubject(nodeIssue, contract)\n    ?.explicitNodeControlPolicy;\n}\n\n/**\n * The Postgres full-tree node diff for the family verify verdict: derive\n * the expected tree (resolved leaf values, expander threaded, FK schemas\n * resolved, table-less namespaces pruned), normalize the actual tree for\n * semantic satisfaction, run the generic\n * differ, and scope out `not-expected` findings under namespaces the\n * contract does not own. Ownership is role-aware, mirroring the legacy\n * decomposition: relational extras check the PRUNED owned set (the legacy\n * per-namespace walk never visited a table-less namespace, so its live\n * relational contents are invisible), while `structural` extras (RLS\n * policies) check the FULL owned set (the legacy policy diff governed\n * every contract schema regardless of tables — RLS governance does not\n * shrink because a namespace declares no tables). The codec `verifyType`\n * hooks run once per contract namespace with tables against that\n * namespace's paired actual node (the hooks read namespace-scoped state\n * such as `nativeEnumTypeNames`).\n */\nexport function diffPostgresSchema(input: {\n  readonly contract: Contract<SqlStorage>;\n  readonly schema: SqlSchemaIRNode;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n}): SqlSchemaDiffResult {\n  const postgresContract = blindCast<\n    PostgresContract,\n    'diffPostgresSchema is only called with a postgres contract'\n  >(input.contract);\n  PostgresDatabaseSchemaNode.assert(input.schema);\n  const actual = input.schema;\n  const expandNativeType = buildNativeTypeExpander(input.frameworkComponents);\n  const fullExpected = contractToPostgresDatabaseSchemaNode(postgresContract, {\n    annotationNamespace: 'pg',\n    ...ifDefined('expandNativeType', expandNativeType),\n  });\n  const expected = pruneTableLessNamespaces(fullExpected);\n  const normalizedActual = normalizePostgresActualForDiff(expected, actual);\n  const relationalOwned = ownedSchemaNames(expected);\n  const structuralOwned = ownedSchemaNames(fullExpected);\n  const issues = diffSchemas(expected, normalizedActual).filter((issue) => {\n    if (issue.reason !== 'not-expected') return true;\n    const namespaceSegment = issue.path[1];\n    if (namespaceSegment === undefined) return true;\n    const granularity = classifyDiffSubjectGranularity(issue, postgresDiffSubjectGranularity);\n    const owned = granularity === 'structural' ? structuralOwned : relationalOwned;\n    return owned.has(namespaceSegment);\n  });\n  const namespacePairs = Object.values(expected.namespaces).map((ns) => ({\n    actual: actual.namespaces[ns.schemaName],\n  }));\n  return {\n    issues,\n    resolveControlPolicy: (issue) => resolveControlPolicy(issue, postgresContract),\n    namespacePairs,\n  };\n}\n\n/**\n * Adds an empty namespace node to the actual tree for every expected namespace\n * absent from it. The relational plan diff pairs on namespace: a contract\n * namespace whose live schema does not exist yet must surface each of its\n * tables as `not-found` (→ `CREATE TABLE`), NOT as a single namespace\n * `not-found` that subtree-coalescing would collapse (leaving `CREATE SCHEMA`\n * with no tables). Padding makes the namespaces pair, so only table/column/\n * policy drift surfaces; `CREATE SCHEMA` comes separately from the synthesized\n * namespace-presence stitch (`verifyPostgresNamespacePresence`), never from the\n * tree diff — matching the retired per-namespace-paired relational walk, which\n * paired a missing schema against an empty namespace node.\n */\nfunction padActualNamespaces(\n  expected: PostgresDatabaseSchemaNode,\n  actual: PostgresDatabaseSchemaNode,\n): PostgresDatabaseSchemaNode {\n  const namespaces: Record<string, PostgresNamespaceSchemaNode> = { ...actual.namespaces };\n  let padded = false;\n  for (const schemaName of Object.keys(expected.namespaces)) {\n    if (namespaces[schemaName] === undefined) {\n      namespaces[schemaName] = new PostgresNamespaceSchemaNode({\n        schemaName,\n        tables: {},\n        nativeEnumTypeNames: [],\n      });\n      padded = true;\n    }\n  }\n  if (!padded) return actual;\n  return new PostgresDatabaseSchemaNode({\n    namespaces,\n    roles: [...actual.roles],\n    existingSchemas: [...actual.existingSchemas],\n    pgVersion: actual.pgVersion,\n  });\n}\n\nexport interface PostgresPlanDiff {\n  /** The desired (\"end\") tree — resolved leaf values (incl. `codecRef`) on every column, table-less namespaces pruned. */\n  readonly expected: PostgresDatabaseSchemaNode;\n  /** The live (\"start\") tree, padded with empty namespaces and normalized for semantic satisfaction against `expected`. */\n  readonly actual: PostgresDatabaseSchemaNode;\n  /** The one node diff over the two trees: relational + policy drift, role-aware ownership filtered. */\n  readonly issues: readonly SchemaDiffIssue<SqlSchemaDiffNode>[];\n}\n\n/**\n * The Postgres planner's diff input: the SAME tree-building\n * `diffPostgresSchema` uses (expander threaded, FK schemas resolved,\n * table-less namespaces pruned, actual normalized for semantic satisfaction,\n * role-aware ownership filter) plus actual namespace padding (so a missing\n * schema's tables surface as `not-found` instead of a swallowed namespace\n * `not-found`). One differ drives both verify and plan; this is the\n * plan-side derivation. The single issue list covers tables / columns /\n * constraints / indexes / defaults AND policies — the caller splits it\n * (relational → `mapNodeIssueToCall`; policy → RLS ops) and stitches in\n * `CREATE SCHEMA` separately.\n */\nexport function buildPostgresPlanDiff(input: {\n  readonly contract: Contract<SqlStorage>;\n  readonly actualSchema: SqlSchemaIRNode;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n}): PostgresPlanDiff {\n  const postgresContract = blindCast<\n    PostgresContract,\n    'buildPostgresPlanDiff is only called with a postgres contract'\n  >(input.contract);\n  PostgresDatabaseSchemaNode.assert(input.actualSchema);\n  const actual = input.actualSchema;\n  const expandNativeType = buildNativeTypeExpander(input.frameworkComponents);\n  const projectionOptions = {\n    annotationNamespace: 'pg',\n    ...ifDefined('expandNativeType', expandNativeType),\n  };\n  const fullExpected = contractToPostgresDatabaseSchemaNode(postgresContract, projectionOptions);\n  const expected = pruneTableLessNamespaces(fullExpected);\n  const paddedActual = padActualNamespaces(expected, actual);\n  const normalizedActual = normalizePostgresActualForDiff(expected, paddedActual);\n  const relationalOwned = ownedSchemaNames(expected);\n  const structuralOwned = ownedSchemaNames(fullExpected);\n  const issues = blindCast<\n    readonly SchemaDiffIssue<SqlSchemaDiffNode>[],\n    'both trees are PostgresDatabaseSchemaNodes, so every diff-issue node is a SqlSchemaDiffNode'\n  >(diffSchemas(expected, normalizedActual)).filter((issue) => {\n    if (issue.reason !== 'not-expected') return true;\n    const namespaceSegment = issue.path[1];\n    if (namespaceSegment === undefined) return true;\n    const granularity = classifyDiffSubjectGranularity(issue, postgresDiffSubjectGranularity);\n    const owned = granularity === 'structural' ? structuralOwned : relationalOwned;\n    return owned.has(namespaceSegment);\n  });\n  return { expected, actual: normalizedActual, issues };\n}\n"],"mappings":";;;;;;;;;;;;;AAeA,SAAS,aAAa,QAA2B,aAA+C;CAC9F,OAAO,IAAI,yBAAyB;EAClC,MAAM,OAAO;EACb,QAAQ,OAAO;EACf,WAAW,OAAO;EAClB;EACA,WAAW,OAAO;EAClB,OAAO,CAAC,GAAG,OAAO,KAAK;EACvB,GAAG,UAAU,SAAS,OAAO,KAAK;EAClC,GAAG,UAAU,aAAa,OAAO,SAAS;EAC1C,YAAY,OAAO;CACrB,CAAC;AACH;;;;;;;;;;;;;;;;;;;;;AAsBA,SAAgB,qCACd,UACA,SAC4B;CAC5B,IAAI,aAAa,MACf,OAAO,IAAI,2BAA2B;EACpC,YAAY,CAAC;EACb,OAAO,CAAC;EACR,iBAAiB,CAAC;EAClB,WAAW;CACb,CAAC;CAGH,MAAM,aAA0D,CAAC;CACjE,MAAM,QAAkC,CAAC;CACzC,MAAM,eAAyB,CAAC;CAEhC,KAAK,MAAM,MAAM,OAAO,OAAO,SAAS,QAAQ,UAAU,GAAG;EAC3D,IAAI,CAAC,iBAAiB,EAAE,GAAG;EAC3B,MAAM,YAAY,oCAAoC,SAAS,SAAS,GAAG,EAAE;EAC7E,aAAa,KAAK,SAAS;EAK3B,MAAM,YAAY,4BAA4B,SAAS,SAAS,GAAG,IAAI,OAAO,CAAC,CAAC;EAEhF,MAAM,kCAAkB,IAAI,IAAwC;EACpE,KAAK,MAAM,UAAU,OAAO,OAAO,GAAG,MAAM,GAAG;GAC7C,MAAM,OAAO,gBAAgB,IAAI,OAAO,SAAS,KAAK,CAAC;GACvD,KAAK,KAAK,aAAa,QAAQ,SAAS,CAAC;GACzC,gBAAgB,IAAI,OAAO,WAAW,IAAI;EAC5C;EAEA,MAAM,SAAkD,CAAC;EACzD,KAAK,MAAM,aAAa,OAAO,KAAK,GAAG,KAAK,GAAG;GAC7C,MAAM,WAAW,UAAU;GAC3B,IAAI,aAAa,KAAA,GAAW;GAM5B,MAAM,cAAc,SAAS,YAAY,KACtC,OACC,IAAI,gBAAgB;IAClB,SAAS,GAAG;IACZ,iBAAiB,GAAG;IACpB,mBAAmB,GAAG;IACtB,GAAG,UAAU,oBAAoB,GAAG,gBAAgB;IACpD,GAAG,UAAU,QAAQ,GAAG,IAAI;IAC5B,GAAG,UAAU,YAAY,GAAG,QAAQ;IACpC,GAAG,UAAU,YAAY,GAAG,QAAQ;IACpC,GAAG,UAAU,eAAe,GAAG,WAAW;IAC1C,6BAA6B,oCAC3B,SAAS,SACT,GAAG,oBAAoB,oBACzB;GACF,CAAC,CACL;GACA,OAAO,aAAa,IAAI,wBAAwB;IAC9C,MAAM,SAAS;IACf,SAAS,SAAS;IAClB;IACA,SAAS,SAAS;IAClB,SAAS,SAAS;IAClB,GAAG,UAAU,cAAc,SAAS,UAAU;IAC9C,GAAG,UAAU,eAAe,SAAS,WAAW;IAChD,GAAG,UAAU,UAAU,SAAS,MAAM;IACtC,UAAU,gBAAgB,IAAI,SAAS,KAAK,CAAC;GAC/C,CAAC;EACH;EAEA,KAAK,MAAM,CAAC,WAAW,kBAAkB,iBACvC,IAAI,EAAE,aAAa,SAAS;GAC1B,MAAM,aAAa,cAAc,EAAE,EAAE,QAAQ;GAC7C,MAAM,IAAI,MACR,sDAAsD,WAAW,sBAAsB,UAAU,8BAA8B,UAAU,EAC3I;EACF;EAGF,WAAW,aAAa,IAAI,4BAA4B;GACtD,YAAY;GACZ;GACA,qBAAqB,CAAC;EACxB,CAAC;EAED,KAAK,MAAM,QAAQ,OAAO,OAAO,GAAG,IAAI,GACtC,MAAM,KAAK,IAAI,uBAAuB;GAAE,MAAM,KAAK;GAAM,aAAa,KAAK;EAAY,CAAC,CAAC;CAE7F;CAEA,OAAO,IAAI,2BAA2B;EACpC;EACA;EACA,iBAAiB;EACjB,WAAW;CACb,CAAC;AACH;;;AC3HA,SAAS,iBAAiB,UAA2D;CACnF,MAAM,mBAAmB,OAAO,OAAO,SAAS,UAAU,CAAC,CAAC,SAAS,OACnE,OAAO,OAAO,GAAG,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,SAAS,KAAK,MAAM,EAAE,WAAW,CAAC,CAC9E;CACA,OAAO,IAAI,IAAI,CAAC,GAAG,kBAAkB,GAAG,SAAS,eAAe,CAAC;AACnE;;;;;;;AAQA,SAAgB,+BACd,UACA,QAC4B;CAC5B,MAAM,aAA0D,CAAC;CACjE,KAAK,MAAM,CAAC,MAAM,aAAa,OAAO,QAAQ,OAAO,UAAU,GAAG;EAChE,MAAM,aAAa,SAAS,WAAW;EACvC,IAAI,eAAe,KAAA,GAAW;GAC5B,WAAW,QAAQ;GACnB;EACF;EACA,MAAM,SAAkD,CAAC;EACzD,KAAK,MAAM,CAAC,WAAW,gBAAgB,OAAO,QAAQ,SAAS,MAAM,GAAG;GACtE,MAAM,gBAAgB,WAAW,OAAO;GACxC,IAAI,kBAAkB,KAAA,GAAW;IAC/B,OAAO,aAAa;IACpB;GACF;GACA,MAAM,WAAW,4BAA4B;IAC3C,iBAAiB,cAAc;IAC/B,iBAAiB,cAAc;IAC/B,eAAe,YAAY;IAC3B,eAAe,YAAY;GAC7B,CAAC;GACD,OAAO,aAAa,IAAI,wBAAwB;IAC9C,MAAM,YAAY;IAClB,SAAS,YAAY;IACrB,aAAa,YAAY;IACzB,SAAS,SAAS;IAClB,SAAS,SAAS;IAClB,GAAG,UAAU,cAAc,YAAY,UAAU;IACjD,GAAG,UAAU,eAAe,YAAY,WAAW;IACnD,GAAG,UAAU,UAAU,YAAY,MAAM;IACzC,UAAU,CAAC,GAAG,YAAY,QAAQ;GACpC,CAAC;EACH;EACA,WAAW,QAAQ,IAAI,4BAA4B;GACjD,YAAY,SAAS;GACrB;GACA,qBAAqB,SAAS;EAChC,CAAC;CACH;CACA,OAAO,IAAI,2BAA2B;EACpC;EACA,OAAO,CAAC,GAAG,OAAO,KAAK;EACvB,iBAAiB,CAAC,GAAG,OAAO,eAAe;EAC3C,WAAW,OAAO;CACpB,CAAC;AACH;;;;;;;;;;;;;AAcA,SAAS,yBACP,UAC4B;CAC5B,MAAM,aAAa,OAAO,YACxB,OAAO,QAAQ,SAAS,UAAU,CAAC,CAAC,QAAQ,GAAG,QAAQ,OAAO,KAAK,GAAG,MAAM,CAAC,CAAC,SAAS,CAAC,CAC1F;CACA,OAAO,IAAI,2BAA2B;EACpC;EACA,OAAO,CAAC,GAAG,SAAS,KAAK;EACzB,iBAAiB,SAAS,gBAAgB,QAAQ,MAAM,WAAW,OAAO,KAAA,CAAS;EACnF,WAAW,SAAS;CACtB,CAAC;AACH;;;;;;;AAQA,SAAS,qBACP,OACA,UAC2B;CAK3B,OAAO,6CAJW,UAGhB,KAC0D,GAAG,QAAQ,CAAC,EACpE;AACN;;;;;;;;;;;;;;;;;;AAmBA,SAAgB,mBAAmB,OAIX;CACtB,MAAM,mBAAmB,UAGvB,MAAM,QAAQ;CAChB,2BAA2B,OAAO,MAAM,MAAM;CAC9C,MAAM,SAAS,MAAM;CAErB,MAAM,eAAe,qCAAqC,kBAAkB;EAC1E,qBAAqB;EACrB,GAAG,UAAU,oBAHU,wBAAwB,MAAM,mBAGL,CAAC;CACnD,CAAC;CACD,MAAM,WAAW,yBAAyB,YAAY;CACtD,MAAM,mBAAmB,+BAA+B,UAAU,MAAM;CACxE,MAAM,kBAAkB,iBAAiB,QAAQ;CACjD,MAAM,kBAAkB,iBAAiB,YAAY;CAYrD,OAAO;EACL,QAZa,YAAY,UAAU,gBAAgB,CAAC,CAAC,QAAQ,UAAU;GACvE,IAAI,MAAM,WAAW,gBAAgB,OAAO;GAC5C,MAAM,mBAAmB,MAAM,KAAK;GACpC,IAAI,qBAAqB,KAAA,GAAW,OAAO;GAG3C,QAFoB,+BAA+B,OAAO,8BAClC,MAAM,eAAe,kBAAkB,gBAAA,CAClD,IAAI,gBAAgB;EACnC,CAKO;EACL,uBAAuB,UAAU,qBAAqB,OAAO,gBAAgB;EAC7E,gBANqB,OAAO,OAAO,SAAS,UAAU,CAAC,CAAC,KAAK,QAAQ,EACrE,QAAQ,OAAO,WAAW,GAAG,YAC/B,EAIe;CACf;AACF;;;;;;;;;;;;;AAcA,SAAS,oBACP,UACA,QAC4B;CAC5B,MAAM,aAA0D,EAAE,GAAG,OAAO,WAAW;CACvF,IAAI,SAAS;CACb,KAAK,MAAM,cAAc,OAAO,KAAK,SAAS,UAAU,GACtD,IAAI,WAAW,gBAAgB,KAAA,GAAW;EACxC,WAAW,cAAc,IAAI,4BAA4B;GACvD;GACA,QAAQ,CAAC;GACT,qBAAqB,CAAC;EACxB,CAAC;EACD,SAAS;CACX;CAEF,IAAI,CAAC,QAAQ,OAAO;CACpB,OAAO,IAAI,2BAA2B;EACpC;EACA,OAAO,CAAC,GAAG,OAAO,KAAK;EACvB,iBAAiB,CAAC,GAAG,OAAO,eAAe;EAC3C,WAAW,OAAO;CACpB,CAAC;AACH;;;;;;;;;;;;;AAuBA,SAAgB,sBAAsB,OAIjB;CACnB,MAAM,mBAAmB,UAGvB,MAAM,QAAQ;CAChB,2BAA2B,OAAO,MAAM,YAAY;CACpD,MAAM,SAAS,MAAM;CAMrB,MAAM,eAAe,qCAAqC,kBAAkB;EAH1E,qBAAqB;EACrB,GAAG,UAAU,oBAHU,wBAAwB,MAAM,mBAGL,CAAC;CAEyC,CAAC;CAC7F,MAAM,WAAW,yBAAyB,YAAY;CAEtD,MAAM,mBAAmB,+BAA+B,UADnC,oBAAoB,UAAU,MAC0B,CAAC;CAC9E,MAAM,kBAAkB,iBAAiB,QAAQ;CACjD,MAAM,kBAAkB,iBAAiB,YAAY;CAYrD,OAAO;EAAE;EAAU,QAAQ;EAAkB,QAX9B,UAGb,YAAY,UAAU,gBAAgB,CAAC,CAAC,CAAC,QAAQ,UAAU;GAC3D,IAAI,MAAM,WAAW,gBAAgB,OAAO;GAC5C,MAAM,mBAAmB,MAAM,KAAK;GACpC,IAAI,qBAAqB,KAAA,GAAW,OAAO;GAG3C,QAFoB,+BAA+B,OAAO,8BAClC,MAAM,eAAe,kBAAkB,gBAAA,CAClD,IAAI,gBAAgB;EACnC,CACkD;CAAE;AACtD"}

package/dist/diff-database-schema.d.mts

@@ -0,0 +1,46 @@
+import { t as PostgresDatabaseSchemaNode } from "./postgres-database-schema-node-C9bTuMrd.mjs";
+import { SqlStorage } from "@prisma-next/sql-contract/types";
+import { SqlSchemaIRNode } from "@prisma-next/sql-schema-ir/types";
+import { DiffableNode, SchemaDiffIssue } from "@prisma-next/framework-components/control";
+import { Contract } from "@prisma-next/contract/types";
+import { TargetBoundComponentDescriptor } from "@prisma-next/framework-components/components";
+
+//#region src/core/schema-ir/schema-node-kinds.d.ts
+/**
+ * A Postgres schema-diff-tree node: a `SqlSchemaIRNode` that also implements
+ * `DiffableNode` (the five `Postgres*SchemaNode` classes). `SqlSchemaIRNode`
+ * alone is not a `DiffableNode` — its relational subclasses (`SqlColumnIR`, …)
+ * carry no `id`/`isEqualTo`/`children` — so this intersection is the honest node
+ * type the differ produces and the planner consumes (`SchemaDiff<SqlSchemaDiffNode>`).
+ */
+type SqlSchemaDiffNode = SqlSchemaIRNode & DiffableNode;
+//#endregion
+//#region src/core/migrations/diff-database-schema.d.ts
+interface PostgresPlanDiff {
+  /** The desired ("end") tree — resolved leaf values (incl. `codecRef`) on every column, table-less namespaces pruned. */
+  readonly expected: PostgresDatabaseSchemaNode;
+  /** The live ("start") tree, padded with empty namespaces and normalized for semantic satisfaction against `expected`. */
+  readonly actual: PostgresDatabaseSchemaNode;
+  /** The one node diff over the two trees: relational + policy drift, role-aware ownership filtered. */
+  readonly issues: readonly SchemaDiffIssue<SqlSchemaDiffNode>[];
+}
+/**
+ * The Postgres planner's diff input: the SAME tree-building
+ * `diffPostgresSchema` uses (expander threaded, FK schemas resolved,
+ * table-less namespaces pruned, actual normalized for semantic satisfaction,
+ * role-aware ownership filter) plus actual namespace padding (so a missing
+ * schema's tables surface as `not-found` instead of a swallowed namespace
+ * `not-found`). One differ drives both verify and plan; this is the
+ * plan-side derivation. The single issue list covers tables / columns /
+ * constraints / indexes / defaults AND policies — the caller splits it
+ * (relational → `mapNodeIssueToCall`; policy → RLS ops) and stitches in
+ * `CREATE SCHEMA` separately.
+ */
+declare function buildPostgresPlanDiff(input: {
+  readonly contract: Contract<SqlStorage>;
+  readonly actualSchema: SqlSchemaIRNode;
+  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
+}): PostgresPlanDiff;
+//#endregion
+export { buildPostgresPlanDiff };
+//# sourceMappingURL=diff-database-schema.d.mts.map

package/dist/diff-database-schema.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff-database-schema.d.mts","names":[],"sources":["../src/core/schema-ir/schema-node-kinds.ts","../src/core/migrations/diff-database-schema.ts"],"mappings":";;;;;;;;;;;;;;;KAiBY,iBAAA,GAAoB,eAAA,GAAkB,YAAY;;;UC+M7C,gBAAA;EAsBa;EAAA,SApBnB,QAAA,EAAU,0BAAA;EAqBI;EAAA,SAnBd,MAAA,EAAQ,0BAAA;EAoBa;EAAA,SAlBrB,MAAA,WAAiB,eAAA,CAAgB,iBAAA;AAAA;;;;;;;;;;;;;iBAe5B,qBAAA,CAAsB,KAAA;EAAA,SAC3B,QAAA,EAAU,QAAA,CAAS,UAAA;EAAA,SACnB,YAAA,EAAc,eAAA;EAAA,SACd,mBAAA,EAAqB,aAAA,CAAc,8BAAA;AAAA,IAC1C,gBAAA"}

package/dist/diff-database-schema.mjs

@@ -0,0 +1,2 @@
+import { t as buildPostgresPlanDiff } from "./diff-database-schema-BmSmWcaY.mjs";
+export { buildPostgresPlanDiff };

package/dist/issue-planner.d.mts

@@ -1,11 +1,11 @@
-import { b as PostgresOpFactoryCall } from "./op-factory-call-DmQEc3XV.mjs";
+import { x as PostgresOpFactoryCall } from "./op-factory-call-Dt-Jx5JS.mjs";
+import { SqlStorage, StorageTable, StorageTypeInstance } from "@prisma-next/sql-contract/types";
 import { CodecControlHooks, MigrationOperationPolicy, SqlPlannerConflict } from "@prisma-next/family-sql/control";
+import { SqlColumnIR, SqlSchemaIR, SqlSchemaIRNode } from "@prisma-next/sql-schema-ir/types";
+import { DiffableNode, SchemaDiffIssue } from "@prisma-next/framework-components/control";
 import { Result } from "@prisma-next/utils/result";
-import { SqlStorage, StorageTable, StorageTypeInstance } from "@prisma-next/sql-contract/types";
-import { SchemaIssue } from "@prisma-next/framework-components/control";
 import { Contract } from "@prisma-next/contract/types";
 import { TargetBoundComponentDescriptor } from "@prisma-next/framework-components/components";
-import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
 
 //#region src/core/migrations/planner-strategies.d.ts
 /**
@@ -27,9 +27,16 @@ interface StrategyContext {
   readonly policy: MigrationOperationPolicy;
   readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
 }
-type CallMigrationStrategy = (issues: readonly SchemaIssue[], context: StrategyContext) => {
+/**
+ * Consumes node-typed diff issues (`SchemaDiffIssue`, from the one differ —
+ * `buildPostgresPlanDiff`), reading the issue's node pair for structural
+ * decisions and resolving column DDL from the node's `codecRef`. The
+ * retained subsystems (codec type-operations, the NOT-NULL temp-default
+ * backfill) keep reading the contract via `StrategyContext`.
+ */
+type CallMigrationStrategy = (issues: readonly SchemaDiffIssue[], context: StrategyContext) => {
   kind: 'match';
-  issues: readonly SchemaIssue[];
+  issues: readonly SchemaDiffIssue[];
   calls: readonly PostgresOpFactoryCall[];
   /**
    * `true` for strategies that emit cohesive sequential recipes whose
@@ -44,8 +51,21 @@ type CallMigrationStrategy = (issues: readonly SchemaIssue[], context: StrategyC
 };
 //#endregion
 //#region src/core/migrations/issue-planner.d.ts
+interface IssuePlannerValue {
+  readonly calls: readonly PostgresOpFactoryCall[];
+}
+/**
+ * The generic differ is total: a missing/extra table (or column) emits an
+ * issue for itself AND for every node in its subtree. `CreateTable`/`DropTable`
+ * and `AddColumn`/`DropColumn` already account for the whole subtree, so the
+ * nested issues are redundant — coalescing drops any issue whose path is a
+ * strict descendant of a `not-found`/`not-expected` issue's path. Run over the
+ * relational subset ONLY (policy issues and synthesized namespace issues are
+ * handled on their own paths, never coalesced against tables).
+ */
+declare function coalesceSubtreeIssues<TNode extends DiffableNode = DiffableNode>(issues: readonly SchemaDiffIssue<TNode>[]): readonly SchemaDiffIssue<TNode>[];
 interface IssuePlannerOptions {
-  readonly issues: readonly SchemaIssue[];
+  readonly issues: readonly SchemaDiffIssue[];
   readonly toContract: Contract<SqlStorage>;
   readonly fromContract: Contract<SqlStorage> | null;
   readonly schemaName: string;
@@ -72,10 +92,14 @@ interface IssuePlannerOptions {
   readonly frameworkComponents?: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
   readonly strategies?: readonly CallMigrationStrategy[];
 }
-interface IssuePlannerValue {
-  readonly calls: readonly PostgresOpFactoryCall[];
-}
+/**
+ * Runs the ordered strategy list over the node-typed diff issues, maps
+ * leftover issues via {@link mapNodeIssueToCall}, applies operation-class
+ * policy gating, and buckets calls into the fixed DDL emission order (dep →
+ * drop → table → column → recipe → alter → primaryKey → unique → index →
+ * foreignKey).
+ */
 declare function planIssues(options: IssuePlannerOptions): Result<IssuePlannerValue, readonly SqlPlannerConflict[]>;
 //#endregion
-export { planIssues };
+export { coalesceSubtreeIssues, planIssues };
 //# sourceMappingURL=issue-planner.d.mts.map

package/dist/issue-planner.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"issue-planner.d.mts","names":[],"sources":["../src/core/migrations/planner-strategies.ts","../src/core/migrations/issue-planner.ts"],"mappings":";;;;;;;;;;;;;;;;;;;UA8HiB,eAAA;EAAA,SACN,UAAA,EAAY,QAAA,CAAS,UAAA;EAAA,SACrB,YAAA,EAAc,QAAA,CAAS,UAAA;EAAA,SACvB,UAAA;EAAA,SACA,UAAA,EAAY,WAAA,SAAoB,iBAAA;EAAA,SAChC,YAAA,EAAc,QAAA,CAAS,MAAA,SAAe,mBAAA;EAAA,SACtC,MAAA,EAAQ,WAAA;EAAA,SACR,MAAA,EAAQ,wBAAA;EAAA,SACR,mBAAA,EAAqB,aAAA,CAAc,8BAAA;AAAA;AAAA,KAOlC,qBAAA,IACV,MAAA,WAAiB,WAAA,IACjB,OAAA,EAAS,eAAA;EAGL,IAAA;EACA,MAAA,WAAiB,WAAA;EACjB,KAAA,WAAgB,qBAAA;ECEG;;;;;;;EDMnB,MAAA;AAAA;EAEA,IAAA;AAAA;;;UCXW,mBAAA;EAAA,SACN,MAAA,WAAiB,WAAA;EAAA,SACjB,UAAA,EAAY,QAAA,CAAS,UAAA;EAAA,SACrB,YAAA,EAAc,QAAA,CAAS,UAAA;EAAA,SACvB,UAAA;EAAA,SACA,UAAA,EAAY,WAAA,SAAoB,iBAAA;EAAA,SAChC,YAAA,EAAc,QAAA,CAAS,MAAA,SAAe,mBAAA;EDnBJ;;;;;;;EAAA,SC2BlC,MAAA,GAAS,WAAA;EDhCT;;;;;EAAA,SCsCA,MAAA,GAAS,wBAAA;EDpCc;;;;EAAA,SCyCvB,mBAAA,GAAsB,aAAA,CAAc,8BAAA;EAAA,SACpC,UAAA,YAAsB,qBAAA;AAAA;AAAA,UAGhB,iBAAA;EAAA,SACN,KAAA,WAAgB,qBAAqB;AAAA;AAAA,iBA2pBhC,UAAA,CACd,OAAA,EAAS,mBAAA,GACR,MAAA,CAAO,iBAAA,WAA4B,kBAAA"}
+{"version":3,"file":"issue-planner.d.mts","names":[],"sources":["../src/core/migrations/planner-strategies.ts","../src/core/migrations/issue-planner.ts"],"mappings":";;;;;;;;;;;;;;;;;;;UAwIiB,eAAA;EAAA,SACN,UAAA,EAAY,QAAA,CAAS,UAAA;EAAA,SACrB,YAAA,EAAc,QAAA,CAAS,UAAA;EAAA,SACvB,UAAA;EAAA,SACA,UAAA,EAAY,WAAA,SAAoB,iBAAA;EAAA,SAChC,YAAA,EAAc,QAAA,CAAS,MAAA,SAAe,mBAAA;EAAA,SACtC,MAAA,EAAQ,WAAA;EAAA,SACR,MAAA,EAAQ,wBAAA;EAAA,SACR,mBAAA,EAAqB,aAAA,CAAc,8BAAA;AAAA;;ACtB9C;;;;AACgD;AAoShD;KDjQY,qBAAA,IACV,MAAA,WAAiB,eAAA,IACjB,OAAA,EAAS,eAAA;EAGL,IAAA;EACA,MAAA,WAAiB,eAAA;EACjB,KAAA,WAAgB,qBAAA;EC2Pa;;;;;;;EDnP7B,MAAA;AAAA;EAEA,IAAA;AAAA;;;UCrDW,iBAAA;EAAA,SACN,KAAA,WAAgB,qBAAqB;AAAA;;;;;;;;;;iBAoShC,qBAAA,eAAoC,YAAA,GAAe,YAAA,EACjE,MAAA,WAAiB,eAAA,CAAgB,KAAA,eACvB,eAAA,CAAgB,KAAA;AAAA,UAkZX,mBAAA;EAAA,SACN,MAAA,WAAiB,eAAA;EAAA,SACjB,UAAA,EAAY,QAAA,CAAS,UAAA;EAAA,SACrB,YAAA,EAAc,QAAA,CAAS,UAAA;EAAA,SACvB,UAAA;EAAA,SACA,UAAA,EAAY,WAAA,SAAoB,iBAAA;EAAA,SAChC,YAAA,EAAc,QAAA,CAAS,MAAA,SAAe,mBAAA;EAzZd;;;;;;;EAAA,SAiaxB,MAAA,GAAS,WAAA;EAla+C;;;;;EAAA,SAwaxD,MAAA,GAAS,wBAAA;EAtaa;AAAA;AAkZjC;;EAlZiC,SA2atB,mBAAA,GAAsB,aAAA,CAAc,8BAAA;EAAA,SACpC,UAAA,YAAsB,qBAAA;AAAA;;;;;;;;iBAUjB,UAAA,CACd,OAAA,EAAS,mBAAA,GACR,MAAA,CAAO,iBAAA,WAA4B,kBAAA"}

package/dist/issue-planner.mjs

@@ -1,2 +1,2 @@
-import { t as planIssues } from "./issue-planner-DL6g3CmE.mjs";
-export { planIssues };
+import { o as coalesceSubtreeIssues, u as planIssues } from "./control-policy-DUFgy9jO.mjs";
+export { coalesceSubtreeIssues, planIssues };

package/dist/migration.d.mts

@@ -1,7 +1,7 @@
-import { n as DataTransformOptions, r as dataTransform, t as DataTransformClosure } from "./data-transform-DDgWdB5o.mjs";
-import { T as Op } from "./op-factory-call-DmQEc3XV.mjs";
-import { t as PostgresMigration } from "./postgres-migration-Y4YBJqkS.mjs";
-import { col, fn, foreignKey, lit, primaryKey, unique } from "@prisma-next/sql-relational-core/contract-free";
+import { n as DataTransformOptions, r as dataTransform, t as DataTransformClosure } from "./data-transform-DPzwBMhW.mjs";
+import { E as Op } from "./op-factory-call-Dt-Jx5JS.mjs";
+import { t as PostgresMigration } from "./postgres-migration-DFaxuRyI.mjs";
+import { checkExpression, col, fn, foreignKey, lit, primaryKey, unique } from "@prisma-next/sql-relational-core/contract-free";
 import { placeholder } from "@prisma-next/errors/migration";
 import { MigrationCLI } from "@prisma-next/cli/migration-cli";
 import { ExecuteRequestLowerer } from "@prisma-next/family-sql/control-adapter";
@@ -22,5 +22,5 @@ declare function createExtension(extensionName: string): Op;
  */
 declare function rawSql(op: Op): Op;
 //#endregion
-export { type DataTransformClosure, type DataTransformOptions, PostgresMigration as Migration, MigrationCLI, col, createExtension, dataTransform, fn, foreignKey, lit, placeholder, primaryKey, rawSql, unique };
+export { type DataTransformClosure, type DataTransformOptions, PostgresMigration as Migration, MigrationCLI, checkExpression, col, createExtension, dataTransform, fn, foreignKey, lit, placeholder, primaryKey, rawSql, unique };
 //# sourceMappingURL=migration.d.mts.map

package/dist/migration.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"migration.d.mts","names":[],"sources":["../src/core/migrations/operations/dependencies.ts","../src/core/migrations/operations/raw.ts"],"mappings":";;;;;;;;;iBAKgB,eAAA,CAAgB,aAAA,WAAwB,EAAE;;;;;;;;;;;AAA1D;;iBCOgB,MAAA,CAAO,EAAA,EAAI,EAAA,GAAK,EAAE"}
+{"version":3,"file":"migration.d.mts","names":[],"sources":["../src/core/migrations/operations/dependencies.ts","../src/core/migrations/operations/raw.ts"],"mappings":";;;;;;;;;iBAMgB,eAAA,CAAgB,aAAA,WAAwB,EAAE;;;;;;;;;;;AAA1D;;iBCMgB,MAAA,CAAO,EAAA,EAAI,EAAA,GAAK,EAAE"}

package/dist/migration.mjs

@@ -1,7 +1,7 @@
-import { E as createExtension } from "./op-factory-call-D_p5vxwt.mjs";
+import { k as createExtension } from "./op-factory-call-BKRnMgrB.mjs";
 import { t as dataTransform } from "./data-transform-BOWpliq8.mjs";
-import { t as PostgresMigration } from "./postgres-migration-B5jKrXv3.mjs";
-import { col, fn, foreignKey, lit, primaryKey, unique } from "@prisma-next/sql-relational-core/contract-free";
+import { t as PostgresMigration } from "./postgres-migration-D0jwzYDT.mjs";
+import { checkExpression, col, fn, foreignKey, lit, primaryKey, unique } from "@prisma-next/sql-relational-core/contract-free";
 import { placeholder } from "@prisma-next/errors/migration";
 import { MigrationCLI } from "@prisma-next/cli/migration-cli";
 //#region src/core/migrations/operations/raw.ts
@@ -19,6 +19,6 @@ function rawSql(op) {
 	return op;
 }
 //#endregion
-export { PostgresMigration as Migration, MigrationCLI, col, createExtension, dataTransform, fn, foreignKey, lit, placeholder, primaryKey, rawSql, unique };
+export { PostgresMigration as Migration, MigrationCLI, checkExpression, col, createExtension, dataTransform, fn, foreignKey, lit, placeholder, primaryKey, rawSql, unique };
 
 //# sourceMappingURL=migration.mjs.map

package/dist/namespace-ids-xtp_ZY86.mjs

@@ -0,0 +1,7 @@
+//#region src/core/namespace-ids.ts
+/** Postgres's default schema; `postgresTargetDescriptorMeta.defaultNamespaceId` is this value. */
+const DEFAULT_NAMESPACE_ID = "public";
+//#endregion
+export { DEFAULT_NAMESPACE_ID as t };
+
+//# sourceMappingURL=namespace-ids-xtp_ZY86.mjs.map

package/dist/namespace-ids-xtp_ZY86.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"namespace-ids-xtp_ZY86.mjs","names":[],"sources":["../src/core/namespace-ids.ts"],"sourcesContent":["// Leaf module: authoring.ts and descriptor-meta.ts both need this and import each other.\n/** Postgres's default schema; `postgresTargetDescriptorMeta.defaultNamespaceId` is this value. */\nexport const DEFAULT_NAMESPACE_ID = 'public' as const;\n"],"mappings":";;AAEA,MAAa,uBAAuB"}

package/dist/native-type-normalizer.mjs

@@ -1,2 +1,38 @@
-import { t as normalizeSchemaNativeType } from "./native-type-normalizer-Bc9XJzWC.mjs";
+//#region src/core/native-type-normalizer.ts
+/**
+* Postgres native-type normalization.
+*
+* Lives in `target-postgres` because both the migration planner/runner (control
+* plane) and the introspection adapter (control plane) need to normalize raw
+* native-type strings to the same canonical form for comparison.
+*/
+/**
+* Lookup map for simple prefix-based type normalization.
+*
+* Using a Map for O(1) lookup instead of multiple startsWith checks.
+*/
+const TYPE_PREFIX_MAP = new Map([
+	["varchar", "character varying"],
+	["bpchar", "character"],
+	["varbit", "bit varying"]
+]);
+/**
+* Normalizes a Postgres schema native type to its canonical form for comparison.
+*
+* Uses a pre-computed lookup map for simple prefix replacements (O(1))
+* and handles complex temporal type normalization separately.
+*/
+function normalizeSchemaNativeType(nativeType) {
+	const trimmed = nativeType.trim();
+	for (const [prefix, replacement] of TYPE_PREFIX_MAP) if (trimmed.startsWith(prefix)) return replacement + trimmed.slice(prefix.length);
+	if (trimmed.includes(" with time zone")) {
+		if (trimmed.startsWith("timestamp")) return `timestamptz${trimmed.slice(9).replace(" with time zone", "")}`;
+		if (trimmed.startsWith("time")) return `timetz${trimmed.slice(4).replace(" with time zone", "")}`;
+	}
+	if (trimmed.includes(" without time zone")) return trimmed.replace(" without time zone", "");
+	return trimmed;
+}
+//#endregion
 export { normalizeSchemaNativeType };
+
+//# sourceMappingURL=native-type-normalizer.mjs.map

package/dist/native-type-normalizer.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"native-type-normalizer.mjs","names":[],"sources":["../src/core/native-type-normalizer.ts"],"sourcesContent":["/**\n * Postgres native-type normalization.\n *\n * Lives in `target-postgres` because both the migration planner/runner (control\n * plane) and the introspection adapter (control plane) need to normalize raw\n * native-type strings to the same canonical form for comparison.\n */\n\n/**\n * Lookup map for simple prefix-based type normalization.\n *\n * Using a Map for O(1) lookup instead of multiple startsWith checks.\n */\nconst TYPE_PREFIX_MAP: ReadonlyMap<string, string> = new Map([\n  ['varchar', 'character varying'],\n  ['bpchar', 'character'],\n  ['varbit', 'bit varying'],\n]);\n\n/**\n * Normalizes a Postgres schema native type to its canonical form for comparison.\n *\n * Uses a pre-computed lookup map for simple prefix replacements (O(1))\n * and handles complex temporal type normalization separately.\n */\nexport function normalizeSchemaNativeType(nativeType: string): string {\n  const trimmed = nativeType.trim();\n\n  for (const [prefix, replacement] of TYPE_PREFIX_MAP) {\n    if (trimmed.startsWith(prefix)) {\n      return replacement + trimmed.slice(prefix.length);\n    }\n  }\n\n  if (trimmed.includes(' with time zone')) {\n    if (trimmed.startsWith('timestamp')) {\n      return `timestamptz${trimmed.slice(9).replace(' with time zone', '')}`;\n    }\n    if (trimmed.startsWith('time')) {\n      return `timetz${trimmed.slice(4).replace(' with time zone', '')}`;\n    }\n  }\n\n  if (trimmed.includes(' without time zone')) {\n    return trimmed.replace(' without time zone', '');\n  }\n\n  return trimmed;\n}\n"],"mappings":";;;;;;;;;;;;;AAaA,MAAM,kBAA+C,IAAI,IAAI;CAC3D,CAAC,WAAW,mBAAmB;CAC/B,CAAC,UAAU,WAAW;CACtB,CAAC,UAAU,aAAa;AAC1B,CAAC;;;;;;;AAQD,SAAgB,0BAA0B,YAA4B;CACpE,MAAM,UAAU,WAAW,KAAK;CAEhC,KAAK,MAAM,CAAC,QAAQ,gBAAgB,iBAClC,IAAI,QAAQ,WAAW,MAAM,GAC3B,OAAO,cAAc,QAAQ,MAAM,OAAO,MAAM;CAIpD,IAAI,QAAQ,SAAS,iBAAiB,GAAG;EACvC,IAAI,QAAQ,WAAW,WAAW,GAChC,OAAO,cAAc,QAAQ,MAAM,CAAC,CAAC,CAAC,QAAQ,mBAAmB,EAAE;EAErE,IAAI,QAAQ,WAAW,MAAM,GAC3B,OAAO,SAAS,QAAQ,MAAM,CAAC,CAAC,CAAC,QAAQ,mBAAmB,EAAE;CAElE;CAEA,IAAI,QAAQ,SAAS,oBAAoB,GACvC,OAAO,QAAQ,QAAQ,sBAAsB,EAAE;CAGjD,OAAO;AACT"}

package/dist/nodes-CSkPX3rI.d.mts

@@ -0,0 +1,120 @@
+import { n as RlsPolicyOperation } from "./canonicalize-CAbXtVtB.mjs";
+import { DdlColumn, DdlNode, DdlTableConstraint } from "@prisma-next/sql-relational-core/ast";
+
+//#region src/core/ddl/nodes.d.ts
+interface AlterTableActionVisitor<R> {
+  addColumn(action: AddColumnAction): R;
+  dropDefault(action: DropDefaultAction): R;
+}
+declare abstract class AlterTableAction {
+  abstract readonly kind: string;
+  abstract accept<R>(visitor: AlterTableActionVisitor<R>): R;
+}
+declare class AddColumnAction extends AlterTableAction {
+  readonly kind: "add-column";
+  readonly column: DdlColumn;
+  constructor(column: DdlColumn);
+  accept<R>(visitor: AlterTableActionVisitor<R>): R;
+}
+declare class DropDefaultAction extends AlterTableAction {
+  readonly kind: "drop-default";
+  readonly columnName: string;
+  constructor(columnName: string);
+  accept<R>(visitor: AlterTableActionVisitor<R>): R;
+}
+/**
+ * The set of ALTER TABLE subactions currently expressible as typed DDL.
+ *
+ * The remaining actions — SetDefault, SetNotNull, DropNotNull,
+ * AlterColumnType — are still emitted as raw SQL by `operations/columns.ts`
+ * and join this union as they are converted to typed DDL. Until then it is
+ * intentionally partial: only the ALTER subactions used by the
+ * already-converted ops (AddColumn, DropDefault) appear here.
+ */
+type AnyAlterTableAction = AddColumnAction | DropDefaultAction;
+interface PostgresDdlVisitor<R> {
+  createTable(node: PostgresCreateTable): R;
+  createSchema(node: PostgresCreateSchema): R;
+  alterTable(node: PostgresAlterTable): R;
+  createPolicy(node: PostgresCreatePolicy): R;
+  dropPolicy(node: PostgresDropPolicy): R;
+}
+declare abstract class PostgresDdlNode extends DdlNode {
+  abstract accept<R>(visitor: PostgresDdlVisitor<R>): R;
+}
+declare class PostgresCreateTable extends PostgresDdlNode {
+  readonly kind: "create-table";
+  readonly table: string;
+  readonly schema: string | undefined;
+  readonly ifNotExists: boolean | undefined;
+  readonly columns: ReadonlyArray<DdlColumn>;
+  readonly constraints: ReadonlyArray<DdlTableConstraint> | undefined;
+  constructor(options: {
+    readonly table: string;
+    readonly schema?: string;
+    readonly ifNotExists?: boolean;
+    readonly columns: readonly DdlColumn[];
+    readonly constraints?: readonly DdlTableConstraint[];
+  });
+  accept<R>(visitor: PostgresDdlVisitor<R>): R;
+}
+declare class PostgresCreateSchema extends PostgresDdlNode {
+  readonly kind: "create-schema";
+  readonly schema: string;
+  readonly ifNotExists: boolean | undefined;
+  constructor(options: {
+    readonly schema: string;
+    readonly ifNotExists?: boolean;
+  });
+  accept<R>(visitor: PostgresDdlVisitor<R>): R;
+}
+declare class PostgresAlterTable extends PostgresDdlNode {
+  readonly kind: "alter-table";
+  readonly table: string;
+  readonly schema: string | undefined;
+  readonly actions: ReadonlyArray<AnyAlterTableAction>;
+  constructor(options: {
+    readonly table: string;
+    readonly schema?: string;
+    readonly actions: readonly AnyAlterTableAction[];
+  });
+  accept<R>(visitor: PostgresDdlVisitor<R>): R;
+}
+declare class PostgresCreatePolicy extends PostgresDdlNode {
+  readonly kind: "create-policy";
+  readonly schema: string;
+  readonly table: string;
+  readonly name: string;
+  readonly permissive: boolean;
+  readonly operation: RlsPolicyOperation;
+  readonly roles: ReadonlyArray<string>;
+  readonly using: string | undefined;
+  readonly withCheck: string | undefined;
+  constructor(options: {
+    readonly schema: string;
+    readonly table: string;
+    readonly name: string;
+    readonly permissive: boolean;
+    readonly operation: RlsPolicyOperation;
+    readonly roles: readonly string[];
+    readonly using?: string;
+    readonly withCheck?: string;
+  });
+  accept<R>(visitor: PostgresDdlVisitor<R>): R;
+}
+declare class PostgresDropPolicy extends PostgresDdlNode {
+  readonly kind: "drop-policy";
+  readonly schema: string;
+  readonly table: string;
+  readonly name: string;
+  constructor(options: {
+    readonly schema: string;
+    readonly table: string;
+    readonly name: string;
+  });
+  accept<R>(visitor: PostgresDdlVisitor<R>): R;
+}
+type AnyPostgresDdlNode = PostgresCreateTable | PostgresCreateSchema | PostgresAlterTable | PostgresCreatePolicy | PostgresDropPolicy;
+//#endregion
+export { DropDefaultAction as a, PostgresCreateSchema as c, PostgresDdlVisitor as d, PostgresDropPolicy as f, AnyPostgresDdlNode as i, PostgresCreateTable as l, AlterTableActionVisitor as n, PostgresAlterTable as o, AnyAlterTableAction as r, PostgresCreatePolicy as s, AddColumnAction as t, PostgresDdlNode as u };
+//# sourceMappingURL=nodes-CSkPX3rI.d.mts.map

package/dist/nodes-CSkPX3rI.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodes-CSkPX3rI.d.mts","names":[],"sources":["../src/core/ddl/nodes.ts"],"mappings":";;;;UAWiB,uBAAA;EACf,SAAA,CAAU,MAAA,EAAQ,eAAA,GAAkB,CAAA;EACpC,WAAA,CAAY,MAAA,EAAQ,iBAAA,GAAoB,CAAA;AAAA;AAAA,uBAGpB,gBAAA;EAAA,kBACF,IAAA;EAAA,SACT,MAAA,IAAU,OAAA,EAAS,uBAAA,CAAwB,CAAA,IAAK,CAAA;AAAA;AAAA,cAG9C,eAAA,SAAwB,gBAAA;EAAA,SAC1B,IAAA;EAAA,SACA,MAAA,EAAQ,SAAA;cAEL,MAAA,EAAQ,SAAA;EAMX,MAAA,IAAU,OAAA,EAAS,uBAAA,CAAwB,CAAA,IAAK,CAAA;AAAA;AAAA,cAK9C,iBAAA,SAA0B,gBAAA;EAAA,SAC5B,IAAA;EAAA,SACA,UAAA;cAEG,UAAA;EAMH,MAAA,IAAU,OAAA,EAAS,uBAAA,CAAwB,CAAA,IAAK,CAAA;AAAA;;AAjChB;AAG3C;;;;;;;KA4CY,mBAAA,GAAsB,eAAA,GAAkB,iBAAiB;AAAA,UAMpD,kBAAA;EACf,WAAA,CAAY,IAAA,EAAM,mBAAA,GAAsB,CAAA;EACxC,YAAA,CAAa,IAAA,EAAM,oBAAA,GAAuB,CAAA;EAC1C,UAAA,CAAW,IAAA,EAAM,kBAAA,GAAqB,CAAA;EACtC,YAAA,CAAa,IAAA,EAAM,oBAAA,GAAuB,CAAA;EAC1C,UAAA,CAAW,IAAA,EAAM,kBAAA,GAAqB,CAAA;AAAA;AAAA,uBAGlB,eAAA,SAAwB,OAAA;EAAA,SACnC,MAAA,IAAU,OAAA,EAAS,kBAAA,CAAmB,CAAA,IAAK,CAAA;AAAA;AAAA,cAazC,mBAAA,SAA4B,eAAA;EAAA,SAC9B,IAAA;EAAA,SACA,KAAA;EAAA,SACA,MAAA;EAAA,SACA,WAAA;EAAA,SACA,OAAA,EAAS,aAAA,CAAc,SAAA;EAAA,SACvB,WAAA,EAAa,aAAA,CAAc,kBAAA;cAExB,OAAA;IAAA,SACD,KAAA;IAAA,SACA,MAAA;IAAA,SACA,WAAA;IAAA,SACA,OAAA,WAAkB,SAAA;IAAA,SAClB,WAAA,YAAuB,kBAAA;EAAA;EAWzB,MAAA,IAAU,OAAA,EAAS,kBAAA,CAAmB,CAAA,IAAK,CAAA;AAAA;AAAA,cAKzC,oBAAA,SAA6B,eAAA;EAAA,SAC/B,IAAA;EAAA,SACA,MAAA;EAAA,SACA,WAAA;cAEG,OAAA;IAAA,SAAoB,MAAA;IAAA,SAAyB,WAAA;EAAA;EAOhD,MAAA,IAAU,OAAA,EAAS,kBAAA,CAAmB,CAAA,IAAK,CAAA;AAAA;AAAA,cAKzC,kBAAA,SAA2B,eAAA;EAAA,SAC7B,IAAA;EAAA,SACA,KAAA;EAAA,SACA,MAAA;EAAA,SACA,OAAA,EAAS,aAAA,CAAc,mBAAA;cAEpB,OAAA;IAAA,SACD,KAAA;IAAA,SACA,MAAA;IAAA,SACA,OAAA,WAAkB,mBAAA;EAAA;EASpB,MAAA,IAAU,OAAA,EAAS,kBAAA,CAAmB,CAAA,IAAK,CAAA;AAAA;AAAA,cAOzC,oBAAA,SAA6B,eAAA;EAAA,SAC/B,IAAA;EAAA,SACA,MAAA;EAAA,SACA,KAAA;EAAA,SACA,IAAA;EAAA,SACA,UAAA;EAAA,SACA,SAAA,EAAW,kBAAA;EAAA,SACX,KAAA,EAAO,aAAA;EAAA,SACP,KAAA;EAAA,SACA,SAAA;cAEG,OAAA;IAAA,SACD,MAAA;IAAA,SACA,KAAA;IAAA,SACA,IAAA;IAAA,SACA,UAAA;IAAA,SACA,SAAA,EAAW,kBAAA;IAAA,SACX,KAAA;IAAA,SACA,KAAA;IAAA,SACA,SAAA;EAAA;EAcF,MAAA,IAAU,OAAA,EAAS,kBAAA,CAAmB,CAAA,IAAK,CAAA;AAAA;AAAA,cAKzC,kBAAA,SAA2B,eAAA;EAAA,SAC7B,IAAA;EAAA,SACA,MAAA;EAAA,SACA,KAAA;EAAA,SACA,IAAA;cAEG,OAAA;IAAA,SAAoB,MAAA;IAAA,SAAyB,KAAA;IAAA,SAAwB,IAAA;EAAA;EAQxE,MAAA,IAAU,OAAA,EAAS,kBAAA,CAAmB,CAAA,IAAK,CAAA;AAAA;AAAA,KAK1C,kBAAA,GACR,mBAAA,GACA,oBAAA,GACA,kBAAA,GACA,oBAAA,GACA,kBAAA"}

package/dist/{nodes-Bbhs2rwj.mjs → nodes-Dh__NS58.mjs}

@@ -13,6 +13,18 @@ var AddColumnAction = class extends AlterTableAction {
 		return visitor.addColumn(this);
 	}
 };
+var DropDefaultAction = class extends AlterTableAction {
+	kind = "drop-default";
+	columnName;
+	constructor(columnName) {
+		super();
+		this.columnName = columnName;
+		Object.freeze(this);
+	}
+	accept(visitor) {
+		return visitor.dropDefault(this);
+	}
+};
 var PostgresDdlNode = class extends DdlNode {};
 function freezeDdlColumns(columns) {
 	return Object.freeze([...columns]);
@@ -70,7 +82,49 @@ var PostgresAlterTable = class extends PostgresDdlNode {
 		return visitor.alterTable(this);
 	}
 };
+var PostgresCreatePolicy = class extends PostgresDdlNode {
+	kind = "create-policy";
+	schema;
+	table;
+	name;
+	permissive;
+	operation;
+	roles;
+	using;
+	withCheck;
+	constructor(options) {
+		super();
+		this.schema = options.schema;
+		this.table = options.table;
+		this.name = options.name;
+		this.permissive = options.permissive;
+		this.operation = options.operation;
+		this.roles = Object.freeze([...options.roles]);
+		this.using = options.using;
+		this.withCheck = options.withCheck;
+		this.freeze();
+	}
+	accept(visitor) {
+		return visitor.createPolicy(this);
+	}
+};
+var PostgresDropPolicy = class extends PostgresDdlNode {
+	kind = "drop-policy";
+	schema;
+	table;
+	name;
+	constructor(options) {
+		super();
+		this.schema = options.schema;
+		this.table = options.table;
+		this.name = options.name;
+		this.freeze();
+	}
+	accept(visitor) {
+		return visitor.dropPolicy(this);
+	}
+};
 //#endregion
-export { PostgresDdlNode as a, PostgresCreateTable as i, PostgresAlterTable as n, PostgresCreateSchema as r, AddColumnAction as t };
+export { PostgresCreateSchema as a, PostgresDropPolicy as c, PostgresCreatePolicy as i, DropDefaultAction as n, PostgresCreateTable as o, PostgresAlterTable as r, PostgresDdlNode as s, AddColumnAction as t };
 
-//# sourceMappingURL=nodes-Bbhs2rwj.mjs.map
+//# sourceMappingURL=nodes-Dh__NS58.mjs.map

package/dist/nodes-Dh__NS58.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodes-Dh__NS58.mjs","names":[],"sources":["../src/core/ddl/nodes.ts"],"sourcesContent":["import {\n  type DdlColumn,\n  DdlNode,\n  type DdlTableConstraint,\n} from '@prisma-next/sql-relational-core/ast';\nimport type { RlsPolicyOperation } from '../rls/canonicalize';\n\n// ---------------------------------------------------------------------------\n// AlterTableAction — nested polymorphic hierarchy\n// ---------------------------------------------------------------------------\n\nexport interface AlterTableActionVisitor<R> {\n  addColumn(action: AddColumnAction): R;\n  dropDefault(action: DropDefaultAction): R;\n}\n\nexport abstract class AlterTableAction {\n  abstract readonly kind: string;\n  abstract accept<R>(visitor: AlterTableActionVisitor<R>): R;\n}\n\nexport class AddColumnAction extends AlterTableAction {\n  readonly kind = 'add-column' as const;\n  readonly column: DdlColumn;\n\n  constructor(column: DdlColumn) {\n    super();\n    this.column = column;\n    Object.freeze(this);\n  }\n\n  override accept<R>(visitor: AlterTableActionVisitor<R>): R {\n    return visitor.addColumn(this);\n  }\n}\n\nexport class DropDefaultAction extends AlterTableAction {\n  readonly kind = 'drop-default' as const;\n  readonly columnName: string;\n\n  constructor(columnName: string) {\n    super();\n    this.columnName = columnName;\n    Object.freeze(this);\n  }\n\n  override accept<R>(visitor: AlterTableActionVisitor<R>): R {\n    return visitor.dropDefault(this);\n  }\n}\n\n/**\n * The set of ALTER TABLE subactions currently expressible as typed DDL.\n *\n * The remaining actions — SetDefault, SetNotNull, DropNotNull,\n * AlterColumnType — are still emitted as raw SQL by `operations/columns.ts`\n * and join this union as they are converted to typed DDL. Until then it is\n * intentionally partial: only the ALTER subactions used by the\n * already-converted ops (AddColumn, DropDefault) appear here.\n */\nexport type AnyAlterTableAction = AddColumnAction | DropDefaultAction;\n\n// ---------------------------------------------------------------------------\n// Top-level DDL visitor\n// ---------------------------------------------------------------------------\n\nexport interface PostgresDdlVisitor<R> {\n  createTable(node: PostgresCreateTable): R;\n  createSchema(node: PostgresCreateSchema): R;\n  alterTable(node: PostgresAlterTable): R;\n  createPolicy(node: PostgresCreatePolicy): R;\n  dropPolicy(node: PostgresDropPolicy): R;\n}\n\nexport abstract class PostgresDdlNode extends DdlNode {\n  abstract accept<R>(visitor: PostgresDdlVisitor<R>): R;\n}\n\nfunction freezeDdlColumns(columns: readonly DdlColumn[]): ReadonlyArray<DdlColumn> {\n  return Object.freeze([...columns]);\n}\n\nfunction freezeConstraints(\n  constraints: readonly DdlTableConstraint[] | undefined,\n): ReadonlyArray<DdlTableConstraint> | undefined {\n  return constraints ? Object.freeze([...constraints]) : undefined;\n}\n\nexport class PostgresCreateTable extends PostgresDdlNode {\n  readonly kind = 'create-table' as const;\n  readonly table: string;\n  readonly schema: string | undefined;\n  readonly ifNotExists: boolean | undefined;\n  readonly columns: ReadonlyArray<DdlColumn>;\n  readonly constraints: ReadonlyArray<DdlTableConstraint> | undefined;\n\n  constructor(options: {\n    readonly table: string;\n    readonly schema?: string;\n    readonly ifNotExists?: boolean;\n    readonly columns: readonly DdlColumn[];\n    readonly constraints?: readonly DdlTableConstraint[];\n  }) {\n    super();\n    this.table = options.table;\n    this.schema = options.schema;\n    this.ifNotExists = options.ifNotExists;\n    this.columns = freezeDdlColumns(options.columns);\n    this.constraints = freezeConstraints(options.constraints);\n    this.freeze();\n  }\n\n  override accept<R>(visitor: PostgresDdlVisitor<R>): R {\n    return visitor.createTable(this);\n  }\n}\n\nexport class PostgresCreateSchema extends PostgresDdlNode {\n  readonly kind = 'create-schema' as const;\n  readonly schema: string;\n  readonly ifNotExists: boolean | undefined;\n\n  constructor(options: { readonly schema: string; readonly ifNotExists?: boolean }) {\n    super();\n    this.schema = options.schema;\n    this.ifNotExists = options.ifNotExists;\n    this.freeze();\n  }\n\n  override accept<R>(visitor: PostgresDdlVisitor<R>): R {\n    return visitor.createSchema(this);\n  }\n}\n\nexport class PostgresAlterTable extends PostgresDdlNode {\n  readonly kind = 'alter-table' as const;\n  readonly table: string;\n  readonly schema: string | undefined;\n  readonly actions: ReadonlyArray<AnyAlterTableAction>;\n\n  constructor(options: {\n    readonly table: string;\n    readonly schema?: string;\n    readonly actions: readonly AnyAlterTableAction[];\n  }) {\n    super();\n    this.table = options.table;\n    this.schema = options.schema;\n    this.actions = Object.freeze([...options.actions]);\n    this.freeze();\n  }\n\n  override accept<R>(visitor: PostgresDdlVisitor<R>): R {\n    return visitor.alterTable(this);\n  }\n}\n\nexport type { RlsPolicyOperation };\n\nexport class PostgresCreatePolicy extends PostgresDdlNode {\n  readonly kind = 'create-policy' as const;\n  readonly schema: string;\n  readonly table: string;\n  readonly name: string;\n  readonly permissive: boolean;\n  readonly operation: RlsPolicyOperation;\n  readonly roles: ReadonlyArray<string>;\n  readonly using: string | undefined;\n  readonly withCheck: string | undefined;\n\n  constructor(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  }) {\n    super();\n    this.schema = options.schema;\n    this.table = options.table;\n    this.name = options.name;\n    this.permissive = options.permissive;\n    this.operation = options.operation;\n    this.roles = Object.freeze([...options.roles]);\n    this.using = options.using;\n    this.withCheck = options.withCheck;\n    this.freeze();\n  }\n\n  override accept<R>(visitor: PostgresDdlVisitor<R>): R {\n    return visitor.createPolicy(this);\n  }\n}\n\nexport class PostgresDropPolicy extends PostgresDdlNode {\n  readonly kind = 'drop-policy' as const;\n  readonly schema: string;\n  readonly table: string;\n  readonly name: string;\n\n  constructor(options: { readonly schema: string; readonly table: string; readonly name: string }) {\n    super();\n    this.schema = options.schema;\n    this.table = options.table;\n    this.name = options.name;\n    this.freeze();\n  }\n\n  override accept<R>(visitor: PostgresDdlVisitor<R>): R {\n    return visitor.dropPolicy(this);\n  }\n}\n\nexport type AnyPostgresDdlNode =\n  | PostgresCreateTable\n  | PostgresCreateSchema\n  | PostgresAlterTable\n  | PostgresCreatePolicy\n  | PostgresDropPolicy;\n"],"mappings":";;AAgBA,IAAsB,mBAAtB,MAAuC,CAGvC;AAEA,IAAa,kBAAb,cAAqC,iBAAiB;CACpD,OAAgB;CAChB;CAEA,YAAY,QAAmB;EAC7B,MAAM;EACN,KAAK,SAAS;EACd,OAAO,OAAO,IAAI;CACpB;CAEA,OAAmB,SAAwC;EACzD,OAAO,QAAQ,UAAU,IAAI;CAC/B;AACF;AAEA,IAAa,oBAAb,cAAuC,iBAAiB;CACtD,OAAgB;CAChB;CAEA,YAAY,YAAoB;EAC9B,MAAM;EACN,KAAK,aAAa;EAClB,OAAO,OAAO,IAAI;CACpB;CAEA,OAAmB,SAAwC;EACzD,OAAO,QAAQ,YAAY,IAAI;CACjC;AACF;AAyBA,IAAsB,kBAAtB,cAA8C,QAAQ,CAEtD;AAEA,SAAS,iBAAiB,SAAyD;CACjF,OAAO,OAAO,OAAO,CAAC,GAAG,OAAO,CAAC;AACnC;AAEA,SAAS,kBACP,aAC+C;CAC/C,OAAO,cAAc,OAAO,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,KAAA;AACzD;AAEA,IAAa,sBAAb,cAAyC,gBAAgB;CACvD,OAAgB;CAChB;CACA;CACA;CACA;CACA;CAEA,YAAY,SAMT;EACD,MAAM;EACN,KAAK,QAAQ,QAAQ;EACrB,KAAK,SAAS,QAAQ;EACtB,KAAK,cAAc,QAAQ;EAC3B,KAAK,UAAU,iBAAiB,QAAQ,OAAO;EAC/C,KAAK,cAAc,kBAAkB,QAAQ,WAAW;EACxD,KAAK,OAAO;CACd;CAEA,OAAmB,SAAmC;EACpD,OAAO,QAAQ,YAAY,IAAI;CACjC;AACF;AAEA,IAAa,uBAAb,cAA0C,gBAAgB;CACxD,OAAgB;CAChB;CACA;CAEA,YAAY,SAAsE;EAChF,MAAM;EACN,KAAK,SAAS,QAAQ;EACtB,KAAK,cAAc,QAAQ;EAC3B,KAAK,OAAO;CACd;CAEA,OAAmB,SAAmC;EACpD,OAAO,QAAQ,aAAa,IAAI;CAClC;AACF;AAEA,IAAa,qBAAb,cAAwC,gBAAgB;CACtD,OAAgB;CAChB;CACA;CACA;CAEA,YAAY,SAIT;EACD,MAAM;EACN,KAAK,QAAQ,QAAQ;EACrB,KAAK,SAAS,QAAQ;EACtB,KAAK,UAAU,OAAO,OAAO,CAAC,GAAG,QAAQ,OAAO,CAAC;EACjD,KAAK,OAAO;CACd;CAEA,OAAmB,SAAmC;EACpD,OAAO,QAAQ,WAAW,IAAI;CAChC;AACF;AAIA,IAAa,uBAAb,cAA0C,gBAAgB;CACxD,OAAgB;CAChB;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CAEA,YAAY,SAST;EACD,MAAM;EACN,KAAK,SAAS,QAAQ;EACtB,KAAK,QAAQ,QAAQ;EACrB,KAAK,OAAO,QAAQ;EACpB,KAAK,aAAa,QAAQ;EAC1B,KAAK,YAAY,QAAQ;EACzB,KAAK,QAAQ,OAAO,OAAO,CAAC,GAAG,QAAQ,KAAK,CAAC;EAC7C,KAAK,QAAQ,QAAQ;EACrB,KAAK,YAAY,QAAQ;EACzB,KAAK,OAAO;CACd;CAEA,OAAmB,SAAmC;EACpD,OAAO,QAAQ,aAAa,IAAI;CAClC;AACF;AAEA,IAAa,qBAAb,cAAwC,gBAAgB;CACtD,OAAgB;CAChB;CACA;CACA;CAEA,YAAY,SAAqF;EAC/F,MAAM;EACN,KAAK,SAAS,QAAQ;EACtB,KAAK,QAAQ,QAAQ;EACrB,KAAK,OAAO,QAAQ;EACpB,KAAK,OAAO;CACd;CAEA,OAAmB,SAAmC;EACpD,OAAO,QAAQ,WAAW,IAAI;CAChC;AACF"}