@prisma-next/target-postgres 0.11.0-dev.2 → 0.11.0-dev.20

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (81) hide show
  1. package/dist/codec-types-CRlHq7Cz.d.mts.map +1 -1
  2. package/dist/codecs-Dud5KDNk.d.mts.map +1 -1
  3. package/dist/codecs.d.mts.map +1 -1
  4. package/dist/codecs.mjs.map +1 -1
  5. package/dist/control.d.mts.map +1 -1
  6. package/dist/control.mjs +3 -3
  7. package/dist/control.mjs.map +1 -1
  8. package/dist/data-transform-CdtGUWp2.mjs.map +1 -1
  9. package/dist/data-transform-bmOKkygi.d.mts.map +1 -1
  10. package/dist/default-normalizer-DHCsbfjc.mjs.map +1 -1
  11. package/dist/default-normalizer.d.mts.map +1 -1
  12. package/dist/descriptor-meta-DLA2xV6B.mjs.map +1 -1
  13. package/dist/enum-planning-Bqp96iIw.mjs.map +1 -1
  14. package/dist/enum-planning.d.mts.map +1 -1
  15. package/dist/errors--zafB5_n.mjs.map +1 -1
  16. package/dist/errors.d.mts.map +1 -1
  17. package/dist/{issue-planner-OthDciOe.mjs → issue-planner-Ct9xNqbr.mjs} +13 -13
  18. package/dist/issue-planner-Ct9xNqbr.mjs.map +1 -0
  19. package/dist/issue-planner.d.mts.map +1 -1
  20. package/dist/issue-planner.mjs +1 -1
  21. package/dist/migration.d.mts.map +1 -1
  22. package/dist/migration.mjs +1 -1
  23. package/dist/migration.mjs.map +1 -1
  24. package/dist/native-type-normalizer-DMikJJ1V.mjs.map +1 -1
  25. package/dist/native-type-normalizer.d.mts.map +1 -1
  26. package/dist/{op-factory-call-Bgb_ghPb.mjs → op-factory-call-CB6tPJ3f.mjs} +2 -2
  27. package/dist/{op-factory-call-Bgb_ghPb.mjs.map → op-factory-call-CB6tPJ3f.mjs.map} +1 -1
  28. package/dist/op-factory-call-Drccm_JD.d.mts.map +1 -1
  29. package/dist/op-factory-call.mjs +1 -1
  30. package/dist/pack.d.mts.map +1 -1
  31. package/dist/{planner-DZG1dsSW.mjs → planner-DlhK35aV.mjs} +3 -3
  32. package/dist/{planner-DZG1dsSW.mjs.map → planner-DlhK35aV.mjs.map} +1 -1
  33. package/dist/{planner-ddl-builders-DYMuN0w1.mjs → planner-ddl-builders--0TmW6Ey.mjs} +2 -2
  34. package/dist/{planner-ddl-builders-DYMuN0w1.mjs.map → planner-ddl-builders--0TmW6Ey.mjs.map} +1 -1
  35. package/dist/planner-ddl-builders.d.mts.map +1 -1
  36. package/dist/planner-ddl-builders.mjs +1 -1
  37. package/dist/planner-identity-values-ojX-6cPV.mjs.map +1 -1
  38. package/dist/planner-identity-values.d.mts.map +1 -1
  39. package/dist/planner-produced-postgres-migration-TJWH2m_x.mjs.map +1 -1
  40. package/dist/planner-produced-postgres-migration-p-VKkCia.d.mts.map +1 -1
  41. package/dist/planner-schema-lookup-BGyukuzG.mjs.map +1 -1
  42. package/dist/planner-schema-lookup.d.mts.map +1 -1
  43. package/dist/{planner-sql-checks-K-mTBJDi.mjs → planner-sql-checks-BDtJQ9WD.mjs} +2 -2
  44. package/dist/{planner-sql-checks-K-mTBJDi.mjs.map → planner-sql-checks-BDtJQ9WD.mjs.map} +1 -1
  45. package/dist/planner-sql-checks.d.mts.map +1 -1
  46. package/dist/planner-sql-checks.mjs +1 -1
  47. package/dist/planner-target-details-CIj61DUj.d.mts.map +1 -1
  48. package/dist/planner.d.mts.map +1 -1
  49. package/dist/planner.mjs +1 -1
  50. package/dist/{postgres-contract-serializer-CrET5Ov0.mjs → postgres-contract-serializer-CYct4Y7O.mjs} +11 -11
  51. package/dist/postgres-contract-serializer-CYct4Y7O.mjs.map +1 -0
  52. package/dist/postgres-enum-type-CNhPTDhy.d.mts.map +1 -1
  53. package/dist/postgres-enum-type-DS-KLVRH.mjs.map +1 -1
  54. package/dist/postgres-migration-uADmx0dW.mjs.map +1 -1
  55. package/dist/{postgres-schema-CK82EuWq.mjs → postgres-schema-BL0RAvew.mjs} +3 -3
  56. package/dist/postgres-schema-BL0RAvew.mjs.map +1 -0
  57. package/dist/render-ops-BC2PtCkj.mjs.map +1 -1
  58. package/dist/render-ops.d.mts.map +1 -1
  59. package/dist/render-typescript-CI1wbgUc.mjs.map +1 -1
  60. package/dist/runtime.d.mts.map +1 -1
  61. package/dist/runtime.mjs +1 -1
  62. package/dist/runtime.mjs.map +1 -1
  63. package/dist/shared-ByhSooBS.d.mts.map +1 -1
  64. package/dist/sql-utils-BewXAnsG.mjs.map +1 -1
  65. package/dist/sql-utils.d.mts.map +1 -1
  66. package/dist/statement-builders-vImtdfmM.mjs.map +1 -1
  67. package/dist/statement-builders.d.mts.map +1 -1
  68. package/dist/{tables-CWxZgD0H.mjs → tables-Vhh4k5yz.mjs} +2 -2
  69. package/dist/{tables-CWxZgD0H.mjs.map → tables-Vhh4k5yz.mjs.map} +1 -1
  70. package/dist/types-D-XIpzHA.d.mts.map +1 -1
  71. package/dist/types.d.mts +2 -2
  72. package/dist/types.d.mts.map +1 -1
  73. package/dist/types.mjs +1 -1
  74. package/package.json +17 -17
  75. package/src/core/migrations/issue-planner.ts +3 -3
  76. package/src/core/migrations/planner-strategies.ts +6 -6
  77. package/src/core/postgres-contract-serializer.ts +12 -12
  78. package/src/core/postgres-schema.ts +4 -4
  79. package/dist/issue-planner-OthDciOe.mjs.map +0 -1
  80. package/dist/postgres-contract-serializer-CrET5Ov0.mjs.map +0 -1
  81. package/dist/postgres-schema-CK82EuWq.mjs.map +0 -1
@@ -94,19 +94,19 @@ export class PostgresContractSerializer extends SqlContractSerializerBase<Contra
94
94
  const hydrated = super.hydrateSqlNamespaceEntry(nsId, raw) as {
95
95
  id: string;
96
96
  tables: Readonly<Record<string, StorageTable>>;
97
- types?: Readonly<Record<string, PostgresEnumType>>;
97
+ enum?: Readonly<Record<string, PostgresEnumType>>;
98
98
  };
99
- const { id, tables, types: hydratedNsTypes } = hydrated;
99
+ const { id, tables, enum: hydratedNsEnums } = hydrated;
100
100
 
101
101
  const emptyTables = Object.keys(tables).length === 0;
102
- const emptyTypes = !hydratedNsTypes || Object.keys(hydratedNsTypes).length === 0;
103
- if (id === UNBOUND_NAMESPACE_ID && emptyTables && emptyTypes) {
102
+ const emptyEnums = !hydratedNsEnums || Object.keys(hydratedNsEnums).length === 0;
103
+ if (id === UNBOUND_NAMESPACE_ID && emptyTables && emptyEnums) {
104
104
  return PostgresSchema.unbound;
105
105
  }
106
106
  return new PostgresSchema({
107
107
  id,
108
108
  tables,
109
- ...(hydratedNsTypes !== undefined ? { types: hydratedNsTypes } : {}),
109
+ ...(hydratedNsEnums !== undefined ? { enum: hydratedNsEnums } : {}),
110
110
  });
111
111
  }
112
112
 
@@ -125,7 +125,7 @@ export class PostgresContractSerializer extends SqlContractSerializerBase<Contra
125
125
  // deserializeContract hydrates them back into PostgresSchema
126
126
  // instances.
127
127
  const isUnboundSlot = nsId === UNBOUND_NAMESPACE_ID;
128
- const nsTypes = (ns as { readonly types?: Readonly<Record<string, unknown>> }).types ?? {};
128
+ const nsEnums = (ns as { readonly enum?: Readonly<Record<string, unknown>> }).enum ?? {};
129
129
  namespacesJson[nsId] = {
130
130
  id: nsId,
131
131
  kind: isUnboundSlot ? 'postgres-unbound-schema' : 'postgres-schema',
@@ -135,8 +135,8 @@ export class PostgresContractSerializer extends SqlContractSerializerBase<Contra
135
135
  this.serializeJsonValue(table) as JsonObject,
136
136
  ]),
137
137
  ),
138
- types: Object.fromEntries(
139
- Object.entries(nsTypes).map(([typeName, entry]) => [
138
+ enum: Object.fromEntries(
139
+ Object.entries(nsEnums).map(([typeName, entry]) => [
140
140
  typeName,
141
141
  this.serializeJsonValue(entry) as JsonObject,
142
142
  ]),
@@ -166,15 +166,15 @@ export class PostgresContractSerializer extends SqlContractSerializerBase<Contra
166
166
  for (const [tableName, table] of Object.entries(ns.tables)) {
167
167
  tablesOut[tableName] = this.serializeJsonValue(table) as JsonObject;
168
168
  }
169
- const typesOut: Record<string, JsonObject> = {};
170
- for (const [typeName, ty] of Object.entries(ns.types)) {
171
- typesOut[typeName] = this.serializeJsonValue(ty) as JsonObject;
169
+ const enumOut: Record<string, JsonObject> = {};
170
+ for (const [typeName, ty] of Object.entries(ns.enum)) {
171
+ enumOut[typeName] = this.serializeJsonValue(ty) as JsonObject;
172
172
  }
173
173
  return {
174
174
  id: ns.id,
175
175
  kind: isUnboundSlot ? 'postgres-unbound-schema' : 'postgres-schema',
176
176
  tables: tablesOut,
177
- types: typesOut,
177
+ enum: enumOut,
178
178
  };
179
179
  }
180
180
 
@@ -15,7 +15,7 @@ import { escapeLiteral } from './sql-utils';
15
15
  export interface PostgresSchemaInput {
16
16
  readonly id: string;
17
17
  readonly tables?: Record<string, StorageTable | StorageTableInput>;
18
- readonly types?: Record<string, PostgresEnumType | PostgresEnumTypeInput>;
18
+ readonly enum?: Record<string, PostgresEnumType | PostgresEnumTypeInput>;
19
19
  }
20
20
 
21
21
  /**
@@ -44,7 +44,7 @@ export class PostgresSchema extends NamespaceBase {
44
44
  declare readonly kind: 'schema';
45
45
  readonly id: string;
46
46
  readonly tables: Readonly<Record<string, StorageTable>>;
47
- readonly types: Readonly<Record<string, PostgresEnumType>>;
47
+ readonly enum: Readonly<Record<string, PostgresEnumType>>;
48
48
 
49
49
  constructor(input: PostgresSchemaInput) {
50
50
  super();
@@ -57,9 +57,9 @@ export class PostgresSchema extends NamespaceBase {
57
57
  ]),
58
58
  ),
59
59
  );
60
- this.types = Object.freeze(
60
+ this.enum = Object.freeze(
61
61
  Object.fromEntries(
62
- Object.entries(input.types ?? {}).map(([name, ty]) => [
62
+ Object.entries(input.enum ?? {}).map(([name, ty]) => [
63
63
  name,
64
64
  ty instanceof PostgresEnumType ? ty : new PostgresEnumType(ty),
65
65
  ]),
@@ -1 +0,0 @@
1
- {"version":3,"file":"issue-planner-OthDciOe.mjs","names":[],"sources":["../src/core/migrations/planner-target-details.ts","../src/core/migrations/planner-recipes.ts","../src/core/migrations/planner-strategies.ts","../src/core/migrations/issue-planner.ts"],"sourcesContent":["import { ifDefined } from '@prisma-next/utils/defined';\n\nexport type OperationClass =\n | 'dependency'\n | 'type'\n | 'table'\n | 'column'\n | 'primaryKey'\n | 'unique'\n | 'index'\n | 'foreignKey';\n\nexport interface PostgresPlanTargetDetails {\n readonly schema: string;\n readonly objectType: OperationClass;\n readonly name: string;\n readonly table?: string;\n}\n\nexport function buildTargetDetails(\n objectType: OperationClass,\n name: string,\n schema: string,\n table?: string,\n): PostgresPlanTargetDetails {\n return {\n schema,\n objectType,\n name,\n ...ifDefined('table', table),\n };\n}\n","import type { CodecControlHooks, SqlMigrationPlanOperation } from '@prisma-next/family-sql/control';\nimport type {\n PostgresEnumStorageEntry,\n StorageColumn,\n StorageTypeInstance,\n} from '@prisma-next/sql-contract/types';\nimport { quoteIdentifier } from '../sql-utils';\nimport { buildAddColumnSql } from './planner-ddl-builders';\nimport {\n columnExistsCheck,\n columnHasNoDefaultCheck,\n columnNullabilityCheck,\n qualifyTableName,\n} from './planner-sql-checks';\nimport { buildTargetDetails, type PostgresPlanTargetDetails } from './planner-target-details';\n\nexport function buildAddColumnOperationIdentity(\n schema: string,\n tableName: string,\n columnName: string,\n): Pick<\n SqlMigrationPlanOperation<PostgresPlanTargetDetails>,\n 'id' | 'label' | 'summary' | 'target'\n> {\n return {\n id: `column.${tableName}.${columnName}`,\n label: `Add column ${columnName} to ${tableName}`,\n summary: `Adds column ${columnName} to table ${tableName}`,\n target: {\n id: 'postgres',\n details: buildTargetDetails('table', tableName, schema),\n },\n };\n}\n\nexport function buildAddNotNullColumnWithTemporaryDefaultOperation(options: {\n readonly schema: string;\n readonly tableName: string;\n readonly columnName: string;\n readonly column: StorageColumn;\n readonly codecHooks: Map<string, CodecControlHooks>;\n readonly storageTypes: Record<string, StorageTypeInstance | PostgresEnumStorageEntry>;\n readonly temporaryDefault: string;\n}): SqlMigrationPlanOperation<PostgresPlanTargetDetails> {\n const { schema, tableName, columnName, column, codecHooks, storageTypes, temporaryDefault } =\n options;\n const qualified = qualifyTableName(schema, tableName);\n\n return {\n ...buildAddColumnOperationIdentity(schema, tableName, columnName),\n operationClass: 'additive',\n precheck: [\n {\n description: `ensure column \"${columnName}\" is missing`,\n sql: columnExistsCheck({ schema, table: tableName, column: columnName, exists: false }),\n },\n ],\n execute: [\n {\n description: `add column \"${columnName}\"`,\n sql: buildAddColumnSql(\n qualified,\n columnName,\n column,\n codecHooks,\n temporaryDefault,\n storageTypes,\n ),\n },\n {\n description: `drop temporary default from column \"${columnName}\"`,\n sql: `ALTER TABLE ${qualified} ALTER COLUMN ${quoteIdentifier(columnName)} DROP DEFAULT`,\n },\n ],\n postcheck: [\n {\n description: `verify column \"${columnName}\" exists`,\n sql: columnExistsCheck({ schema, table: tableName, column: columnName }),\n },\n {\n description: `verify column \"${columnName}\" is NOT NULL`,\n sql: columnNullabilityCheck({\n schema,\n table: tableName,\n column: columnName,\n nullable: false,\n }),\n },\n {\n description: `verify column \"${columnName}\" has no default after temporary default removal`,\n sql: columnHasNoDefaultCheck({ schema, table: tableName, column: columnName }),\n },\n ],\n };\n}\n","/**\n * Migration strategies.\n *\n * Each strategy examines the issue list, consumes issues it handles, and\n * returns the `PostgresOpFactoryCall[]` to address them. The issue planner\n * runs each strategy in order and routes whatever's left through\n * `mapIssueToCall`.\n *\n * The full ordered list is exported as `postgresPlannerStrategies` and is\n * used unchanged by both `migration plan` and `db update` / `db init`. The\n * two journeys differ only in `policy.allowedOperationClasses`:\n *\n * - When `'data'` is in the policy, data-safe strategies (NOT NULL backfill,\n * nullability tightening, unsafe type changes, enum shrink/rebuild) emit\n * `DataTransformCall` placeholders that the user fills in.\n * - When `'data'` is excluded, those strategies short-circuit so the\n * downstream walk-schema strategies (codec-hook type ops and temp-default\n * backfill) and `mapIssueToCall` defaults emit direct DDL instead.\n */\n\nimport type { Contract } from '@prisma-next/contract/types';\nimport type {\n CodecControlHooks,\n MigrationOperationPolicy,\n SqlMigrationPlanOperation,\n} from '@prisma-next/family-sql/control';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type { SchemaIssue } from '@prisma-next/framework-components/control';\nimport { UNBOUND_NAMESPACE_ID } from '@prisma-next/framework-components/ir';\nimport {\n isPostgresEnumStorageEntry,\n type PostgresEnumStorageEntry,\n type SqlStorage,\n type StorageTable,\n type StorageTypeInstance,\n} from '@prisma-next/sql-contract/types';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\nimport { PostgresEnumType } from '../postgres-enum-type';\nimport { isPostgresSchema } from '../postgres-schema';\nimport { determineEnumDiff, readExistingEnumValues } from './enum-planning';\nimport {\n AddColumnCall,\n AddEnumValuesCall,\n AlterColumnTypeCall,\n CreateEnumTypeCall,\n DataTransformCall,\n DropEnumTypeCall,\n type PostgresOpFactoryCall,\n RawSqlCall,\n RenameTypeCall,\n SetNotNullCall,\n} from './op-factory-call';\nimport {\n buildAddColumnSql,\n buildColumnDefaultSql,\n buildColumnTypeSql,\n} from './planner-ddl-builders';\nimport { resolveIdentityValue } from './planner-identity-values';\nimport {\n buildAddColumnOperationIdentity,\n buildAddNotNullColumnWithTemporaryDefaultOperation,\n} from './planner-recipes';\nimport { buildSchemaLookupMap, hasForeignKey, hasUniqueConstraint } from './planner-schema-lookup';\nimport {\n buildExpectedFormatType,\n columnExistsCheck,\n columnNullabilityCheck,\n qualifyTableName,\n tableIsEmptyCheck,\n} from './planner-sql-checks';\nimport { buildTargetDetails, type PostgresPlanTargetDetails } from './planner-target-details';\n\nconst REBUILD_SUFFIX = '__prisma_next_new';\n\n/**\n * Look up a storage table by its explicit namespace coordinate. Returns\n * `undefined` when the namespace has no table by that name (or no such\n * namespace exists). Callers that get `undefined` MUST treat it as an\n * explicit conflict — never silently fall back to a global default\n * schema or a name-only walk, because that footgun would resolve a\n * stale or duplicate table name to whichever namespace the iteration\n * order surfaced first (a real data-loss hazard in multi-namespace\n * contracts where two namespaces can carry the same table name).\n */\nexport function tableAt(\n storage: SqlStorage,\n namespaceId: string,\n tableName: string,\n): StorageTable | undefined {\n // Namespace.tables is typed as Record<string, IRNode> at the interface level;\n // SQL family namespaces always hold StorageTable instances.\n return storage.namespaces[namespaceId]?.tables[tableName] as StorageTable | undefined;\n}\n\n/**\n * Default namespace coordinate for an issue that does not carry one\n * explicitly. Hand-crafted unit-test issues and `extra_table` issues\n * fall back to `__unbound__`, the only namespace any single-namespace\n * contract carries — verifier-emitted issues for legacy\n * single-namespace contracts already stamp this id explicitly. Typed\n * structurally so issue variants without a `namespaceId` slot\n * (e.g. `EnumValuesChangedIssue`) flow through to the same fallback.\n */\nexport function resolveNamespaceIdForIssue(issue: { readonly namespaceId?: string }): string {\n return issue.namespaceId ?? UNBOUND_NAMESPACE_ID;\n}\n\n/**\n * Resolve the DDL schema name for a namespace coordinate. Postgres-aware\n * namespaces dispatch to their polymorphic `ddlSchemaName` override —\n * named schemas return their own id and the unbound singleton projects\n * to `'public'` (sibling-present) or the framework sentinel\n * (sibling-absent). Legacy single-namespace contracts whose `__unbound__`\n * slot is the framework-default `SqlUnboundNamespace` (rather than the\n * Postgres-aware `PostgresUnboundSchema`) flow the coordinate through\n * unchanged so downstream `qualifyTableName` resolves polymorphically.\n */\nexport function resolveDdlSchemaForNamespace(ctx: StrategyContext, namespaceId: string): string {\n const namespace = ctx.toContract.storage.namespaces[namespaceId];\n if (isPostgresSchema(namespace)) {\n return namespace.ddlSchemaName(ctx.toContract.storage);\n }\n return namespaceId;\n}\n\n/**\n * Finds a type entry by name across all namespace type registries.\n * Namespace types (e.g. Postgres enums) live under\n * `storage.namespaces[nsId].types`, not under `storage.types`.\n */\nfunction locateNamespaceType(\n storage: SqlStorage,\n typeName: string,\n): PostgresEnumStorageEntry | undefined {\n for (const ns of Object.values(storage.namespaces)) {\n if (!('types' in ns) || ns.types == null) continue;\n const entry = (ns.types as Record<string, PostgresEnumStorageEntry>)[typeName];\n if (entry !== undefined) return entry;\n }\n return undefined;\n}\n\n// ============================================================================\n// Strategy types\n// ============================================================================\n\n/**\n * Context passed to each migration strategy.\n *\n * Strategies read the source (`fromContract`), target (`toContract`), current\n * database state (`schema`), operation policy (`policy`), and component list\n * (`frameworkComponents`) to make planning decisions. `fromContract` is null\n * when no prior contract is available (e.g. `db update`, where the current\n * DB state is approximated via `schema`).\n */\nexport interface StrategyContext {\n readonly toContract: Contract<SqlStorage>;\n readonly fromContract: Contract<SqlStorage> | null;\n readonly schemaName: string;\n readonly codecHooks: ReadonlyMap<string, CodecControlHooks>;\n readonly storageTypes: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>;\n readonly schema: SqlSchemaIR;\n readonly policy: MigrationOperationPolicy;\n readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n}\n\n// ============================================================================\n// Call strategies (for issue planner)\n// ============================================================================\n\nexport type CallMigrationStrategy = (\n issues: readonly SchemaIssue[],\n context: StrategyContext,\n) =>\n | {\n kind: 'match';\n issues: readonly SchemaIssue[];\n calls: readonly PostgresOpFactoryCall[];\n /**\n * `true` for strategies that emit cohesive sequential recipes whose\n * calls must stay contiguous and in the returned order — e.g.\n * `nativeEnumPlanCallStrategy` (createEnumType → alterColumnType →\n * dropEnumType → renameType, optionally prefixed by a\n * `DataTransformCall` placeholder), `notNullBackfillCallStrategy`\n * (addColumn → dataTransform → setNotNull). Defaults to `false`,\n * which lets `planIssues` hoist individual calls into their DDL\n * sequencing bucket.\n */\n recipe?: boolean;\n }\n | { kind: 'no_match' };\n\nfunction buildColumnSpec(\n namespaceId: string,\n table: string,\n column: string,\n ctx: StrategyContext,\n overrides?: { nullable?: boolean },\n) {\n const col = tableAt(ctx.toContract.storage, namespaceId, table)?.columns[column];\n if (!col) throw new Error(`Column \"${table}\".\"${column}\" not found in destination contract`);\n const mutableHooks = ctx.codecHooks as Map<string, CodecControlHooks>;\n const mutableTypes = ctx.storageTypes as Record<\n string,\n StorageTypeInstance | PostgresEnumStorageEntry\n >;\n return {\n name: column,\n typeSql: buildColumnTypeSql(col, mutableHooks, mutableTypes),\n defaultSql: buildColumnDefaultSql(col.default, col),\n nullable: overrides?.nullable ?? col.nullable,\n };\n}\n\nfunction buildAlterTypeOptions(\n namespaceId: string,\n table: string,\n column: string,\n ctx: StrategyContext,\n using?: string,\n) {\n const col = tableAt(ctx.toContract.storage, namespaceId, table)?.columns[column];\n if (!col) throw new Error(`Column \"${table}\".\"${column}\" not found in destination contract`);\n const mutableHooks = ctx.codecHooks as Map<string, CodecControlHooks>;\n const mutableTypes = ctx.storageTypes as Record<\n string,\n StorageTypeInstance | PostgresEnumStorageEntry\n >;\n const qualifiedTargetType = buildColumnTypeSql(col, mutableHooks, mutableTypes, false);\n const formatTypeExpected = buildExpectedFormatType(col, mutableHooks, mutableTypes);\n return {\n qualifiedTargetType,\n formatTypeExpected,\n rawTargetTypeForLabel: qualifiedTargetType,\n ...(using !== undefined ? { using } : {}),\n };\n}\n\nexport const notNullBackfillCallStrategy: CallMigrationStrategy = (issues, ctx) => {\n // `DataTransformCall` is operation class `'data'`. When the policy excludes\n // it (`db update` / `db init`), skip so `notNullAddColumnCallStrategy`\n // (temp-default backfill) or `mapIssueToCall` can take the issue.\n if (!ctx.policy.allowedOperationClasses.includes('data')) return { kind: 'no_match' };\n\n const matched: SchemaIssue[] = [];\n const calls: PostgresOpFactoryCall[] = [];\n\n for (const issue of issues) {\n if (issue.kind !== 'missing_column' || !issue.table || !issue.column) continue;\n\n const namespaceId = resolveNamespaceIdForIssue(issue);\n const column = tableAt(ctx.toContract.storage, namespaceId, issue.table)?.columns[issue.column];\n if (!column) continue;\n if (column.nullable === true || column.default !== undefined) continue;\n\n matched.push(issue);\n const spec = buildColumnSpec(namespaceId, issue.table, issue.column, ctx, { nullable: true });\n const schemaForTable = resolveDdlSchemaForNamespace(ctx, namespaceId);\n calls.push(\n new AddColumnCall(schemaForTable, issue.table, spec),\n new DataTransformCall(\n `backfill-${issue.table}-${issue.column}`,\n `backfill-${issue.table}-${issue.column}:check`,\n `backfill-${issue.table}-${issue.column}:run`,\n ),\n new SetNotNullCall(schemaForTable, issue.table, issue.column),\n );\n }\n\n if (matched.length === 0) return { kind: 'no_match' };\n return {\n kind: 'match',\n issues: issues.filter((i) => !matched.includes(i)),\n calls,\n recipe: true,\n };\n};\n\nconst SAFE_WIDENINGS = new Set(['int2→int4', 'int2→int8', 'int4→int8', 'float4→float8']);\n\nexport const typeChangeCallStrategy: CallMigrationStrategy = (issues, ctx) => {\n // For unsafe widenings this strategy emits a `DataTransformCall` placeholder\n // (operation class `'data'`); when the policy excludes `'data'`\n // (`db update` / `db init`), skip those issues so `mapIssueToCall` can\n // emit a direct `ALTER COLUMN TYPE`. Safe widenings still flow through\n // here because the resulting `AlterColumnTypeCall` is `widening`-class.\n const dataAllowed = ctx.policy.allowedOperationClasses.includes('data');\n\n const matched: SchemaIssue[] = [];\n const calls: PostgresOpFactoryCall[] = [];\n\n for (const issue of issues) {\n if (issue.kind !== 'type_mismatch') continue;\n if (!issue.table || !issue.column) continue;\n const namespaceId = resolveNamespaceIdForIssue(issue);\n const fromColumn = ctx.fromContract\n ? tableAt(ctx.fromContract.storage, namespaceId, issue.table)?.columns[issue.column]\n : undefined;\n const toColumn = tableAt(ctx.toContract.storage, namespaceId, issue.table)?.columns[\n issue.column\n ];\n if (!fromColumn || !toColumn) continue;\n const fromType = fromColumn.nativeType;\n const toType = toColumn.nativeType;\n if (fromType === toType) continue;\n const isSafeWidening = SAFE_WIDENINGS.has(`${fromType}→${toType}`);\n if (!isSafeWidening && !dataAllowed) continue;\n matched.push(issue);\n const alterOpts = buildAlterTypeOptions(namespaceId, issue.table, issue.column, ctx);\n const schemaForTable = resolveDdlSchemaForNamespace(ctx, namespaceId);\n if (isSafeWidening) {\n calls.push(new AlterColumnTypeCall(schemaForTable, issue.table, issue.column, alterOpts));\n } else {\n calls.push(\n new DataTransformCall(\n `typechange-${issue.table}-${issue.column}`,\n `typechange-${issue.table}-${issue.column}:check`,\n `typechange-${issue.table}-${issue.column}:run`,\n ),\n new AlterColumnTypeCall(schemaForTable, issue.table, issue.column, alterOpts),\n );\n }\n }\n if (matched.length === 0) return { kind: 'no_match' };\n return {\n kind: 'match',\n issues: issues.filter((i) => !matched.includes(i)),\n calls,\n recipe: true,\n };\n};\n\nexport const nullableTighteningCallStrategy: CallMigrationStrategy = (issues, ctx) => {\n // `DataTransformCall` is operation class `'data'`. When the policy excludes\n // it (`db update` / `db init`), skip so `mapIssueToCall` emits a direct\n // `SET NOT NULL` instead.\n if (!ctx.policy.allowedOperationClasses.includes('data')) return { kind: 'no_match' };\n\n const matched: SchemaIssue[] = [];\n const calls: PostgresOpFactoryCall[] = [];\n\n for (const issue of issues) {\n if (issue.kind !== 'nullability_mismatch' || !issue.table || !issue.column) continue;\n\n const namespaceId = resolveNamespaceIdForIssue(issue);\n const column = tableAt(ctx.toContract.storage, namespaceId, issue.table)?.columns[issue.column];\n if (!column) continue;\n if (column.nullable === true) continue;\n\n matched.push(issue);\n const schemaForTable = resolveDdlSchemaForNamespace(ctx, namespaceId);\n calls.push(\n new DataTransformCall(\n `handle-nulls-${issue.table}-${issue.column}`,\n `handle-nulls-${issue.table}-${issue.column}:check`,\n `handle-nulls-${issue.table}-${issue.column}:run`,\n ),\n new SetNotNullCall(schemaForTable, issue.table, issue.column),\n );\n }\n\n if (matched.length === 0) return { kind: 'no_match' };\n return {\n kind: 'match',\n issues: issues.filter((i) => !matched.includes(i)),\n calls,\n recipe: true,\n };\n};\n\nfunction enumRebuildCallRecipe(\n typeName: string,\n ctx: StrategyContext,\n): readonly PostgresOpFactoryCall[] {\n const toType = locateNamespaceType(ctx.toContract.storage, typeName);\n if (!toType) return [];\n const isEnum = isPostgresEnumStorageEntry(toType);\n const nativeType = toType.nativeType;\n const desiredValues: readonly string[] = isEnum\n ? toType.values\n : (((toType as StorageTypeInstance).typeParams['values'] ?? []) as readonly string[]);\n const tempName = `${nativeType}${REBUILD_SUFFIX}`;\n\n const columnRefs: { namespaceId: string; table: string; column: string }[] = [];\n for (const [nsId, ns] of Object.entries(ctx.toContract.storage.namespaces)) {\n for (const [tableName, tableNode] of Object.entries(ns.tables)) {\n const table = tableNode as StorageTable;\n for (const [columnName, column] of Object.entries(table.columns)) {\n if (column.typeRef === typeName) {\n columnRefs.push({ namespaceId: nsId, table: tableName, column: columnName });\n }\n }\n }\n }\n\n return [\n new CreateEnumTypeCall(ctx.schemaName, tempName, desiredValues),\n ...columnRefs.map((ref) => {\n const using = `${ref.column}::text::${tempName}`;\n return new AlterColumnTypeCall(\n resolveDdlSchemaForNamespace(ctx, ref.namespaceId),\n ref.table,\n ref.column,\n {\n qualifiedTargetType: tempName,\n formatTypeExpected: tempName,\n rawTargetTypeForLabel: tempName,\n using,\n },\n );\n }),\n new DropEnumTypeCall(ctx.schemaName, nativeType),\n new RenameTypeCall(ctx.schemaName, tempName, nativeType),\n ];\n}\n\n// ============================================================================\n// Native enum planner strategy\n// ============================================================================\n\n/**\n * Single planner strategy for `PostgresEnumType` instances. Walks\n * `toContract.storage.types` directly (no codec-hook dispatch) and\n * resolves existing values via `readExistingEnumValues`, the same\n * Postgres bridging adapter the verifier uses.\n *\n * Per-enum dispatch:\n *\n * - No existing type → `CreateEnumTypeCall` with the contract's desired\n * values.\n * - Diff is `unchanged` → no calls emitted (consumes the matching\n * `enum_values_changed` issue if present).\n * - Diff is `add_values` → `AddEnumValuesCall` with the new labels.\n * - Diff is `rebuild` → the create-temp / migrate-columns /\n * drop-original / rename rebuild recipe. When\n * `policy.allowedOperationClasses` includes `'data'` and the rebuild\n * removes labels (`removedValues.length > 0`), prepend a\n * `DataTransformCall` placeholder so the user can author the value\n * remap before the destructive recipe runs. Without `'data'` in the\n * policy (`db update` / `db init`), the rebuild's PG `USING ::text`\n * cast surfaces any value-removal data loss as a runtime error rather\n * than silent loss.\n *\n * Returns `recipe: true` only when a rebuild recipe was emitted (its\n * `createEnumType(temp) → alterColumnType → dropEnumType(orig) →\n * renameType` sequence mixes `dep`-class and `alter`-class calls that\n * would mis-order if the planner hoisted them into its DDL sequencing\n * buckets). For the create-only and add-values paths the strategy\n * returns `recipe: false` so the planner hoists `CreateEnumTypeCall`\n * into the `dep` bucket — i.e. `CREATE TYPE` runs before any\n * `CreateTableCall` that references the new enum.\n */\nexport const nativeEnumPlanCallStrategy: CallMigrationStrategy = (issues, ctx) => {\n const enumTypes = collectPostgresEnumTypes(ctx.toContract.storage);\n if (enumTypes.size === 0) return { kind: 'no_match' };\n\n const dataAllowed = ctx.policy.allowedOperationClasses.includes('data');\n\n const calls: PostgresOpFactoryCall[] = [];\n const handledTypeNames = new Set<string>();\n const introducedTypeNames = new Set<string>();\n const rebuiltTypeNames = new Set<string>();\n let emittedRebuildRecipe = false;\n\n for (const [typeName, enumType] of enumTypes) {\n const desired = enumType.values;\n const existing = readExistingEnumValues(ctx.schema, enumType.nativeType);\n if (!existing) {\n calls.push(new CreateEnumTypeCall(ctx.schemaName, typeName, desired, enumType.nativeType));\n handledTypeNames.add(typeName);\n introducedTypeNames.add(typeName);\n continue;\n }\n const diff = determineEnumDiff(existing, desired);\n if (diff.kind === 'unchanged') {\n handledTypeNames.add(typeName);\n continue;\n }\n if (diff.kind === 'add_values') {\n calls.push(new AddEnumValuesCall(ctx.schemaName, typeName, enumType.nativeType, diff.values));\n handledTypeNames.add(typeName);\n continue;\n }\n if (dataAllowed && diff.removedValues.length > 0) {\n calls.push(\n new DataTransformCall(\n `migrate-${typeName}-values`,\n `migrate-${typeName}-values:check`,\n `migrate-${typeName}-values:run`,\n ),\n );\n }\n calls.push(...enumRebuildCallRecipe(typeName, ctx));\n emittedRebuildRecipe = true;\n handledTypeNames.add(typeName);\n rebuiltTypeNames.add(typeName);\n }\n\n // The strategy emits a single `recipe` flag for the entire pass,\n // which routes every emitted call to either the contiguous recipe\n // slot (rebuild path) or the `dep` bucket (introduce / add-values\n // path). A plan that needs both shapes simultaneously cannot be\n // expressed today — the introduced `CreateEnumTypeCall` would land\n // in the recipe slot and any `CreateTableCall` referencing the new\n // enum would fail at runtime with a confusing `type \"X\" does not\n // exist` error. Surface the unrepresentable case here as a\n // planner-time error so the failure mode is loud, not silent.\n if (introducedTypeNames.size > 0 && rebuiltTypeNames.size > 0) {\n throw new Error(\n `nativeEnumPlanCallStrategy: cannot emit both a brand-new enum and a rebuild on a different enum in the same plan; the single recipe flag cannot route them to different buckets. Introduced: [${[...introducedTypeNames].sort().join(', ')}]; rebuilt: [${[...rebuiltTypeNames].sort().join(', ')}]. Split the strategy or grow the \\`match\\` return type before this case lands.`,\n );\n }\n\n const remaining = issues.filter(\n (issue) =>\n !(\n (issue.kind === 'type_missing' || issue.kind === 'enum_values_changed') &&\n issue.typeName &&\n handledTypeNames.has(issue.typeName)\n ),\n );\n\n if (calls.length === 0 && remaining.length === issues.length) {\n return { kind: 'no_match' };\n }\n // `recipe: true` is required for the rebuild path — its\n // `createEnumType(temp) → alterColumnType → dropEnumType(orig) →\n // renameType` mixes `dep`-class and `alter`-class calls that would\n // mis-order if the planner hoisted them into its DDL sequencing\n // buckets. For the type_missing / add_values paths we want the\n // opposite: hoisted into the `dep` bucket so a brand-new\n // `CreateEnumTypeCall` runs *before* the `CreateTableCall` that\n // references it. The two cases never co-occur in the same plan\n // (introducing a new enum type and rebuilding an existing one in\n // one shot would require both buckets — a shape today's interface\n // does not surface; if that combination ever needs to land we'd\n // split this strategy or grow the `match` return type).\n return { kind: 'match', issues: remaining, calls, recipe: emittedRebuildRecipe };\n};\n\nfunction collectPostgresEnumTypes(storage: SqlStorage): ReadonlyMap<string, PostgresEnumType> {\n const result = new Map<string, PostgresEnumType>();\n for (const ns of Object.values(storage.namespaces)) {\n if (!('types' in ns) || ns.types == null) continue;\n const nsTypes = ns.types as Record<string, unknown>;\n for (const [name, instance] of Object.entries(nsTypes).sort(([a], [b]) => a.localeCompare(b))) {\n if (instance instanceof PostgresEnumType) {\n result.set(name, instance);\n }\n }\n }\n return result;\n}\n\n/**\n * Dispatches non-enum codec-typed storage types through their codec's\n * `planTypeOperations` hook (the authoritative source for codec-driven DDL\n * such as custom type creation). Enum dispatch lives in\n * `nativeEnumPlanCallStrategy` and no longer relies on codec hooks.\n */\nexport const storageTypePlanCallStrategy: CallMigrationStrategy = (issues, ctx) => {\n const storageTypes = ctx.toContract.storage.types ?? {};\n if (Object.keys(storageTypes).length === 0) return { kind: 'no_match' };\n\n const calls: PostgresOpFactoryCall[] = [];\n const handledTypeNames = new Set<string>();\n\n for (const [typeName, typeInstance] of Object.entries(storageTypes).sort(([a], [b]) =>\n a.localeCompare(b),\n )) {\n // Enums walk natively in `nativeEnumPlanCallStrategy`; codec-hook\n // dispatch here is reserved for genuinely codec-typed entries\n // (decimal, varchar, pgvector, …).\n if (isPostgresEnumStorageEntry(typeInstance)) continue;\n const codecInstance = typeInstance as StorageTypeInstance;\n const hook = ctx.codecHooks.get(codecInstance.codecId);\n if (!hook?.planTypeOperations) continue;\n const planResult = hook.planTypeOperations({\n typeName,\n typeInstance: codecInstance,\n contract: ctx.toContract,\n schema: ctx.schema,\n schemaName: ctx.schemaName,\n policy: ctx.policy,\n });\n if (!planResult) continue;\n if (planResult.operations.length === 0) {\n handledTypeNames.add(typeName);\n continue;\n }\n handledTypeNames.add(typeName);\n for (const op of planResult.operations) {\n calls.push(\n new RawSqlCall({\n ...op,\n target: {\n id: op.target.id,\n details: buildTargetDetails('type', typeName, ctx.schemaName),\n },\n } as SqlMigrationPlanOperation<PostgresPlanTargetDetails>),\n );\n }\n }\n\n const remaining = issues.filter(\n (issue) =>\n !(\n (issue.kind === 'type_missing' || issue.kind === 'enum_values_changed') &&\n issue.typeName &&\n handledTypeNames.has(issue.typeName)\n ),\n );\n\n if (calls.length === 0 && remaining.length === issues.length) {\n return { kind: 'no_match' };\n }\n\n return { kind: 'match', issues: remaining, calls };\n};\n\n/**\n * Handles `missing_column` issues for NOT NULL columns without a contract\n * default. Replaces the walk-schema `buildAddColumnItem` non-default branches.\n *\n * Two shapes:\n * - Shared-temp-default safe: emit a single atomic composite op (add\n * nullable → backfill identity value → `SET NOT NULL` → `DROP DEFAULT`).\n * - Empty-table guarded: emit a hand-built op with a `tableIsEmptyCheck`\n * precheck so the failure message is \"table is not empty\" rather than the\n * raw PG NOT NULL violation.\n *\n * \"Normal\" missing_column cases (nullable or has a contract default) are left\n * for `mapIssueToCall`'s default `AddColumnCall` emission.\n */\nexport const notNullAddColumnCallStrategy: CallMigrationStrategy = (issues, ctx) => {\n const matched: SchemaIssue[] = [];\n const calls: PostgresOpFactoryCall[] = [];\n\n const schemaLookups = buildSchemaLookupMap(ctx.schema);\n\n const mutableCodecHooks = ctx.codecHooks as Map<string, CodecControlHooks>;\n const mutableStorageTypes = ctx.storageTypes as Record<\n string,\n StorageTypeInstance | PostgresEnumType\n >;\n\n for (const issue of issues) {\n if (issue.kind !== 'missing_column' || !issue.table || !issue.column) continue;\n const namespaceId = resolveNamespaceIdForIssue(issue);\n const contractTable = tableAt(ctx.toContract.storage, namespaceId, issue.table);\n const column = contractTable?.columns[issue.column];\n if (!column) continue;\n\n const notNull = column.nullable !== true;\n const hasDefault = column.default !== undefined;\n if (!notNull || hasDefault) continue;\n\n const schemaTable = ctx.schema.tables[issue.table];\n if (!schemaTable) continue;\n\n const temporaryDefault = resolveIdentityValue(column, mutableCodecHooks, mutableStorageTypes);\n const schemaLookup = schemaLookups.get(issue.table);\n const canUseSharedTempDefault =\n temporaryDefault !== null &&\n canUseSharedTemporaryDefaultStrategy({\n table: contractTable,\n schemaTable,\n schemaLookup,\n columnName: issue.column,\n });\n\n matched.push(issue);\n\n const schemaForTable = resolveDdlSchemaForNamespace(ctx, namespaceId);\n\n if (canUseSharedTempDefault && temporaryDefault !== null) {\n calls.push(\n new RawSqlCall(\n buildAddNotNullColumnWithTemporaryDefaultOperation({\n schema: schemaForTable,\n tableName: issue.table,\n columnName: issue.column,\n column,\n codecHooks: mutableCodecHooks,\n storageTypes: mutableStorageTypes,\n temporaryDefault,\n }),\n ),\n );\n continue;\n }\n\n const qualified = qualifyTableName(schemaForTable, issue.table);\n calls.push(\n new RawSqlCall({\n ...buildAddColumnOperationIdentity(schemaForTable, issue.table, issue.column),\n operationClass: 'additive',\n precheck: [\n {\n description: `ensure column \"${issue.column}\" is missing`,\n sql: columnExistsCheck({\n schema: schemaForTable,\n table: issue.table,\n column: issue.column,\n exists: false,\n }),\n },\n {\n description: `ensure table \"${issue.table}\" is empty before adding NOT NULL column without default`,\n sql: tableIsEmptyCheck(qualified),\n },\n ],\n execute: [\n {\n description: `add column \"${issue.column}\"`,\n sql: buildAddColumnSql(\n qualified,\n issue.column,\n column,\n mutableCodecHooks,\n undefined,\n mutableStorageTypes,\n ),\n },\n ],\n postcheck: [\n {\n description: `verify column \"${issue.column}\" exists`,\n sql: columnExistsCheck({\n schema: schemaForTable,\n table: issue.table,\n column: issue.column,\n }),\n },\n {\n description: `verify column \"${issue.column}\" is NOT NULL`,\n sql: columnNullabilityCheck({\n schema: schemaForTable,\n table: issue.table,\n column: issue.column,\n nullable: false,\n }),\n },\n ],\n }),\n );\n }\n\n if (matched.length === 0) return { kind: 'no_match' };\n return {\n kind: 'match',\n issues: issues.filter((i) => !matched.includes(i)),\n calls,\n };\n};\n\n// ============================================================================\n// Strategy helpers\n// ============================================================================\n\nfunction canUseSharedTemporaryDefaultStrategy(options: {\n readonly table: StorageTable;\n readonly schemaTable: SqlSchemaIR['tables'][string];\n readonly schemaLookup: ReturnType<typeof buildSchemaLookupMap> extends ReadonlyMap<\n string,\n infer V\n >\n ? V | undefined\n : never;\n readonly columnName: string;\n}): boolean {\n const { table, schemaTable, schemaLookup, columnName } = options;\n\n if (table.primaryKey?.columns.includes(columnName) && !schemaTable.primaryKey) {\n return false;\n }\n\n for (const unique of table.uniques) {\n if (!unique.columns.includes(columnName)) continue;\n if (!schemaLookup || !hasUniqueConstraint(schemaLookup, unique.columns)) return false;\n }\n\n for (const foreignKey of table.foreignKeys) {\n if (foreignKey.constraint === false || !foreignKey.source.columns.includes(columnName))\n continue;\n if (!schemaLookup || !hasForeignKey(schemaLookup, foreignKey)) return false;\n }\n\n return true;\n}\n\n/**\n * Ordered list of Postgres planner strategies, shared by `migration plan`\n * and `db update` / `db init`. The issue planner runs each strategy in\n * order, letting it consume any issues it handles, and routes whatever's\n * left through `mapIssueToCall`. Behavior diverges purely on\n * `policy.allowedOperationClasses`:\n *\n * - When `'data'` is allowed (`migration plan`), the data-safe strategies\n * (`notNullBackfillCallStrategy`, `typeChangeCallStrategy`,\n * `nullableTighteningCallStrategy`) and the enum walk\n * (`nativeEnumPlanCallStrategy`) consume their matching issues and emit\n * `DataTransformCall` placeholders or recipe ops.\n *\n * - When `'data'` is not allowed (`db update` / `db init`), the\n * placeholder-emitting strategies short-circuit to `no_match`, leaving\n * the issue for the downstream walk-schema strategies\n * (`storageTypePlanCallStrategy`, `notNullAddColumnCallStrategy`) or the\n * `mapIssueToCall` default to handle with direct DDL.\n * `nativeEnumPlanCallStrategy` runs in both modes; under `db update` /\n * `db init` it emits the rebuild recipe without the data-transform\n * placeholder so value-removal data loss surfaces as a runtime cast\n * error rather than silent loss.\n *\n * Enum dispatch is unified into a single strategy: the\n * `nativeEnumPlanCallStrategy` decides per-emission whether to emit a\n * rebuild recipe (`recipe: true`, contiguous slot) or hoist the call\n * into the `dep` bucket (`recipe: false`, so a brand-new\n * `CreateEnumTypeCall` runs before any `CreateTableCall` referencing\n * it). Codec-typed entries continue through `storageTypePlanCallStrategy`.\n */\nexport const postgresPlannerStrategies: readonly CallMigrationStrategy[] = [\n notNullBackfillCallStrategy,\n typeChangeCallStrategy,\n nullableTighteningCallStrategy,\n nativeEnumPlanCallStrategy,\n storageTypePlanCallStrategy,\n notNullAddColumnCallStrategy,\n];\n","/**\n * Postgres migration planner.\n *\n * Takes schema issues (from verifySqlSchema) and emits migration IR\n * (`PostgresOpFactoryCall[]`). Strategies consume issues they recognize and\n * produce specialized call sequences (e.g. NOT NULL backfill →\n * addColumn(nullable) + dataTransform + setNotNull); remaining issues flow\n * through `mapIssueToCall` for the default case.\n */\n\nimport type { Contract } from '@prisma-next/contract/types';\nimport type {\n CodecControlHooks,\n MigrationOperationPolicy,\n SqlPlannerConflict,\n SqlPlannerConflictLocation,\n} from '@prisma-next/family-sql/control';\nimport { arraysEqual } from '@prisma-next/family-sql/schema-verify';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type { SchemaIssue } from '@prisma-next/framework-components/control';\nimport type {\n PostgresEnumStorageEntry,\n SqlStorage,\n StorageColumn,\n StorageTable,\n StorageTypeInstance,\n} from '@prisma-next/sql-contract/types';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\nimport type { Result } from '@prisma-next/utils/result';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport { PostgresEnumType } from '../postgres-enum-type';\nimport {\n AddColumnCall,\n AddForeignKeyCall,\n AddPrimaryKeyCall,\n AddUniqueCall,\n AlterColumnTypeCall,\n CreateEnumTypeCall,\n CreateIndexCall,\n CreateSchemaCall,\n CreateTableCall,\n DropColumnCall,\n DropConstraintCall,\n DropDefaultCall,\n DropIndexCall,\n DropNotNullCall,\n DropTableCall,\n type PostgresOpFactoryCall,\n SetDefaultCall,\n SetNotNullCall,\n} from './op-factory-call';\nimport type { ColumnSpec, ForeignKeySpec } from './operations/shared';\nimport { buildColumnDefaultSql, buildColumnTypeSql } from './planner-ddl-builders';\nimport { buildExpectedFormatType } from './planner-sql-checks';\nimport {\n type CallMigrationStrategy,\n postgresPlannerStrategies,\n resolveDdlSchemaForNamespace,\n resolveNamespaceIdForIssue,\n type StrategyContext,\n tableAt,\n} from './planner-strategies';\n\nexport type { CallMigrationStrategy, StrategyContext };\n\nfunction locateNamespaceTypeInStorage(storage: SqlStorage, typeName: string): unknown {\n for (const ns of Object.values(storage.namespaces)) {\n if (!('types' in ns) || ns.types == null) continue;\n const entry = (ns.types as Record<string, unknown>)[typeName];\n if (entry !== undefined) return entry;\n }\n return undefined;\n}\n\n// ============================================================================\n// Issue kind ordering (dependency order)\n// ============================================================================\n\nconst ISSUE_KIND_ORDER: Record<string, number> = {\n // Schemas first — the database container must exist before any DDL\n // that targets it can run.\n missing_schema: 1,\n\n // Types next\n type_missing: 2,\n type_values_mismatch: 3,\n enum_values_changed: 3,\n\n // Drops (reconciliation — clear the way for creates)\n // FKs dropped first (they depend on other constraints)\n extra_foreign_key: 10,\n extra_unique_constraint: 11,\n extra_primary_key: 12,\n extra_index: 13,\n extra_default: 14,\n extra_column: 15,\n extra_table: 16,\n\n // Tables before columns\n missing_table: 20,\n\n // Columns before constraints\n missing_column: 30,\n\n // Reconciliation alters (on existing objects)\n type_mismatch: 40,\n nullability_mismatch: 41,\n default_missing: 42,\n default_mismatch: 43,\n\n // Constraints after columns exist\n primary_key_mismatch: 50,\n unique_constraint_mismatch: 51,\n index_mismatch: 52,\n foreign_key_mismatch: 60,\n};\n\nfunction issueOrder(issue: SchemaIssue): number {\n return ISSUE_KIND_ORDER[issue.kind] ?? 99;\n}\n\n// ============================================================================\n// Conflict helpers\n// ============================================================================\n\nfunction issueConflict(\n kind: SqlPlannerConflict['kind'],\n summary: string,\n location?: SqlPlannerConflict['location'],\n): SqlPlannerConflict {\n return {\n kind,\n summary,\n why: 'Use `migration new` to author a custom migration for this change.',\n ...(location ? { location } : {}),\n };\n}\n\nfunction isMissing(issue: SchemaIssue): boolean {\n if (issue.kind === 'enum_values_changed') return false;\n return issue.actual === undefined;\n}\n\n// ============================================================================\n// Issue planner\n// ============================================================================\n\nexport interface IssuePlannerOptions {\n readonly issues: readonly SchemaIssue[];\n readonly toContract: Contract<SqlStorage>;\n readonly fromContract: Contract<SqlStorage> | null;\n readonly schemaName: string;\n readonly codecHooks: ReadonlyMap<string, CodecControlHooks>;\n readonly storageTypes: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>;\n /**\n * Current database schema IR. Strategies read this to detect whether a\n * structure already exists (e.g. `buildSchemaLookupMap` for shared-temp-\n * default safety, extension dependency checks). Defaults to an empty schema\n * when omitted so the planner can still run over \"fresh DB\" contract\n * snapshots.\n */\n readonly schema?: SqlSchemaIR;\n /**\n * Operation-class policy. `planIssues` filters calls whose `operationClass`\n * is not in `policy.allowedOperationClasses` and surfaces them as conflicts\n * instead of emitting disallowed DDL. Defaults to additive-only.\n */\n readonly policy?: MigrationOperationPolicy;\n /**\n * Framework components participating in this composition. Available to\n * future strategies that may consult component metadata at plan time.\n */\n readonly frameworkComponents?: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n readonly strategies?: readonly CallMigrationStrategy[];\n}\n\nexport interface IssuePlannerValue {\n readonly calls: readonly PostgresOpFactoryCall[];\n}\n\nfunction toColumnSpec(\n name: string,\n column: StorageColumn,\n codecHooks: ReadonlyMap<string, CodecControlHooks>,\n storageTypes: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>,\n): ColumnSpec {\n return {\n name,\n typeSql: buildColumnTypeSql(\n column,\n codecHooks as Map<string, CodecControlHooks>,\n storageTypes as Record<string, StorageTypeInstance | PostgresEnumStorageEntry>,\n ),\n defaultSql: buildColumnDefaultSql(column.default, column),\n nullable: column.nullable,\n };\n}\n\nfunction mapIssueToCall(\n issue: SchemaIssue,\n ctx: StrategyContext,\n): Result<readonly PostgresOpFactoryCall[], SqlPlannerConflict> {\n const { schemaName, codecHooks, storageTypes } = ctx;\n // Per-table effective schema. `extra_table` issues intentionally\n // omit `namespaceId` — the live DB carries a table that\n // is not claimed by any contract namespace, so there is no contract\n // coordinate to project from. Those issues fall back to the planner's\n // global `ctx.schemaName`; every other issue dispatches through the\n // resolved namespace's polymorphic `ddlSchemaName`.\n const tableSchema = (issue: SchemaIssue): string => {\n if (issue.kind === 'extra_table') return schemaName;\n if (!('table' in issue) || !issue.table) return schemaName;\n return resolveDdlSchemaForNamespace(ctx, resolveNamespaceIdForIssue(issue));\n };\n\n switch (issue.kind) {\n case 'missing_schema': {\n const namespaceId = issue.namespaceId;\n if (!namespaceId)\n return notOk(\n issueConflict('unsupportedOperation', 'Missing schema issue has no namespaceId'),\n );\n const ddlSchemaName = resolveDdlSchemaForNamespace(ctx, namespaceId);\n return ok([new CreateSchemaCall(ddlSchemaName)]);\n }\n\n case 'missing_table': {\n if (!issue.table)\n return notOk(\n issueConflict('unsupportedOperation', 'Missing table issue has no table name'),\n );\n const namespaceId = resolveNamespaceIdForIssue(issue);\n const contractTable = tableAt(ctx.toContract.storage, namespaceId, issue.table);\n if (!contractTable) {\n return notOk(\n issueConflict(\n 'unsupportedOperation',\n `Table \"${issue.table}\" in namespace \"${namespaceId}\" reported missing but not found in destination contract`,\n ),\n );\n }\n const schemaForTable = tableSchema(issue);\n const columns: ColumnSpec[] = Object.entries(contractTable.columns).map(([name, column]) =>\n toColumnSpec(name, column, codecHooks, storageTypes),\n );\n const primaryKey = contractTable.primaryKey\n ? { columns: contractTable.primaryKey.columns }\n : undefined;\n const calls: PostgresOpFactoryCall[] = [\n new CreateTableCall(schemaForTable, issue.table, columns, primaryKey),\n ];\n for (const index of contractTable.indexes) {\n const indexName = index.name ?? `${issue.table}_${index.columns.join('_')}_idx`;\n const extras: { type?: string; options?: Record<string, unknown> } = {};\n if (index.type !== undefined) extras.type = index.type;\n if (index.options !== undefined) extras.options = index.options;\n calls.push(\n new CreateIndexCall(schemaForTable, issue.table, indexName, [...index.columns], extras),\n );\n }\n const explicitIndexColumnSets = new Set(\n contractTable.indexes.map((idx) => idx.columns.join(',')),\n );\n for (const fk of contractTable.foreignKeys) {\n if (fk.constraint) {\n const fkName = fk.name ?? `${issue.table}_${fk.source.columns.join('_')}_fkey`;\n const fkSpec: ForeignKeySpec = {\n name: fkName,\n columns: fk.source.columns,\n references: {\n schema: fk.target.namespaceId,\n table: fk.target.tableName,\n columns: fk.target.columns,\n },\n ...(fk.onDelete !== undefined && { onDelete: fk.onDelete }),\n ...(fk.onUpdate !== undefined && { onUpdate: fk.onUpdate }),\n };\n calls.push(new AddForeignKeyCall(schemaForTable, issue.table, fkSpec));\n }\n if (fk.index && !explicitIndexColumnSets.has(fk.source.columns.join(','))) {\n const indexName = `${issue.table}_${fk.source.columns.join('_')}_idx`;\n calls.push(\n new CreateIndexCall(schemaForTable, issue.table, indexName, [...fk.source.columns]),\n );\n }\n }\n for (const unique of contractTable.uniques) {\n const constraintName = unique.name ?? `${issue.table}_${unique.columns.join('_')}_key`;\n calls.push(\n new AddUniqueCall(schemaForTable, issue.table, constraintName, [...unique.columns]),\n );\n }\n return ok(calls);\n }\n\n case 'missing_column':\n if (!issue.table || !issue.column)\n return notOk(\n issueConflict('unsupportedOperation', 'Missing column issue has no table/column name'),\n );\n {\n const namespaceId = resolveNamespaceIdForIssue(issue);\n const column = tableAt(ctx.toContract.storage, namespaceId, issue.table)?.columns[\n issue.column\n ];\n if (!column)\n return notOk(\n issueConflict(\n 'unsupportedOperation',\n `Column \"${issue.table}\".\"${issue.column}\" not in destination contract`,\n ),\n );\n return ok([\n new AddColumnCall(\n tableSchema(issue),\n issue.table,\n toColumnSpec(issue.column, column, codecHooks, storageTypes),\n ),\n ]);\n }\n\n case 'default_missing':\n if (!issue.table || !issue.column)\n return notOk(\n issueConflict('unsupportedOperation', 'Default missing issue has no table/column name'),\n );\n {\n const namespaceId = resolveNamespaceIdForIssue(issue);\n const column = tableAt(ctx.toContract.storage, namespaceId, issue.table)?.columns[\n issue.column\n ];\n if (!column?.default) {\n return notOk(\n issueConflict(\n 'unsupportedOperation',\n `Column \"${issue.table}\".\"${issue.column}\" has no default in contract`,\n ),\n );\n }\n const defaultSql = buildColumnDefaultSql(column.default, column);\n if (!defaultSql) return ok([]);\n return ok([new SetDefaultCall(tableSchema(issue), issue.table, issue.column, defaultSql)]);\n }\n\n case 'extra_table':\n if (!issue.table)\n return notOk(issueConflict('unsupportedOperation', 'Extra table issue has no table name'));\n return ok([new DropTableCall(tableSchema(issue), issue.table)]);\n\n case 'extra_column':\n if (!issue.table || !issue.column)\n return notOk(\n issueConflict('unsupportedOperation', 'Extra column issue has no table/column name'),\n );\n return ok([new DropColumnCall(tableSchema(issue), issue.table, issue.column)]);\n\n case 'extra_index':\n if (!issue.table || !issue.indexOrConstraint)\n return notOk(\n issueConflict('unsupportedOperation', 'Extra index issue has no table/index name'),\n );\n return ok([new DropIndexCall(tableSchema(issue), issue.table, issue.indexOrConstraint)]);\n\n case 'extra_unique_constraint':\n case 'extra_foreign_key':\n case 'extra_primary_key': {\n if (!issue.table)\n return notOk(\n issueConflict(\n 'unsupportedOperation',\n 'Extra constraint issue has no table/constraint name',\n ),\n );\n // `extra_primary_key` issues don't carry a constraint name — the\n // verifier only has the table. Fall back to `<table>_pkey`, matching\n // Postgres' default PK constraint naming and the old reconciliation\n // planner's behavior.\n const constraintName =\n issue.indexOrConstraint ??\n (issue.kind === 'extra_primary_key' ? `${issue.table}_pkey` : undefined);\n if (!constraintName)\n return notOk(\n issueConflict(\n 'unsupportedOperation',\n 'Extra constraint issue has no table/constraint name',\n ),\n );\n const kindMap = {\n extra_unique_constraint: 'unique' as const,\n extra_foreign_key: 'foreignKey' as const,\n extra_primary_key: 'primaryKey' as const,\n };\n return ok([\n new DropConstraintCall(\n tableSchema(issue),\n issue.table,\n constraintName,\n kindMap[issue.kind],\n ),\n ]);\n }\n\n case 'extra_default':\n if (!issue.table || !issue.column)\n return notOk(\n issueConflict('unsupportedOperation', 'Extra default issue has no table/column name'),\n );\n return ok([new DropDefaultCall(tableSchema(issue), issue.table, issue.column)]);\n\n case 'nullability_mismatch': {\n if (!issue.table || !issue.column)\n return notOk(\n issueConflict('nullabilityConflict', 'Nullability mismatch has no table/column name'),\n );\n const namespaceId = resolveNamespaceIdForIssue(issue);\n const column = tableAt(ctx.toContract.storage, namespaceId, issue.table)?.columns[\n issue.column\n ];\n if (!column)\n return notOk(\n issueConflict(\n 'nullabilityConflict',\n `Column \"${issue.table}\".\"${issue.column}\" not found in destination contract`,\n ),\n );\n const schemaForTable = tableSchema(issue);\n return ok(\n column.nullable\n ? [new DropNotNullCall(schemaForTable, issue.table, issue.column)]\n : [new SetNotNullCall(schemaForTable, issue.table, issue.column)],\n );\n }\n\n case 'type_mismatch':\n if (!issue.table || !issue.column)\n return notOk(issueConflict('typeMismatch', 'Type mismatch has no table/column name'));\n {\n const namespaceId = resolveNamespaceIdForIssue(issue);\n const column = tableAt(ctx.toContract.storage, namespaceId, issue.table)?.columns[\n issue.column\n ];\n if (!column)\n return notOk(\n issueConflict(\n 'typeMismatch',\n `Column \"${issue.table}\".\"${issue.column}\" not in destination contract`,\n ),\n );\n const hooksMap = codecHooks as Map<string, CodecControlHooks>;\n const typesMap = storageTypes as Record<\n string,\n StorageTypeInstance | PostgresEnumStorageEntry\n >;\n const qualifiedTargetType = buildColumnTypeSql(column, hooksMap, typesMap, false);\n const formatTypeExpected = buildExpectedFormatType(column, hooksMap, typesMap);\n return ok([\n new AlterColumnTypeCall(tableSchema(issue), issue.table, issue.column, {\n qualifiedTargetType,\n formatTypeExpected,\n rawTargetTypeForLabel: qualifiedTargetType,\n }),\n ]);\n }\n\n case 'default_mismatch':\n if (!issue.table || !issue.column)\n return notOk(\n issueConflict('unsupportedOperation', 'Default mismatch has no table/column name'),\n );\n {\n const namespaceId = resolveNamespaceIdForIssue(issue);\n const column = tableAt(ctx.toContract.storage, namespaceId, issue.table)?.columns[\n issue.column\n ];\n if (!column?.default) return ok([]);\n const defaultSql = buildColumnDefaultSql(column.default, column);\n if (!defaultSql) return ok([]);\n return ok([\n new SetDefaultCall(tableSchema(issue), issue.table, issue.column, defaultSql, 'widening'),\n ]);\n }\n\n case 'primary_key_mismatch':\n if (!issue.table)\n return notOk(issueConflict('indexIncompatible', 'Primary key issue has no table name'));\n if (isMissing(issue)) {\n const namespaceId = resolveNamespaceIdForIssue(issue);\n const pk = tableAt(ctx.toContract.storage, namespaceId, issue.table)?.primaryKey;\n if (!pk)\n return notOk(\n issueConflict('indexIncompatible', `No primary key in contract for \"${issue.table}\"`),\n );\n const constraintName = pk.name ?? `${issue.table}_pkey`;\n return ok([\n new AddPrimaryKeyCall(tableSchema(issue), issue.table, constraintName, pk.columns),\n ]);\n }\n return notOk(\n issueConflict(\n 'indexIncompatible',\n `Primary key on \"${issue.table}\" has different columns (expected: ${issue.expected}, actual: ${issue.actual})`,\n { table: issue.table },\n ),\n );\n\n case 'unique_constraint_mismatch':\n if (!issue.table)\n return notOk(\n issueConflict('indexIncompatible', 'Unique constraint issue has no table name'),\n );\n if (isMissing(issue) && issue.expected) {\n const columns = issue.expected.split(', ');\n const constraintName = `${issue.table}_${columns.join('_')}_key`;\n return ok([new AddUniqueCall(tableSchema(issue), issue.table, constraintName, columns)]);\n }\n return notOk(\n issueConflict(\n 'indexIncompatible',\n `Unique constraint on \"${issue.table}\" differs (expected: ${issue.expected}, actual: ${issue.actual})`,\n { table: issue.table },\n ),\n );\n\n case 'index_mismatch':\n if (!issue.table)\n return notOk(issueConflict('indexIncompatible', 'Index issue has no table name'));\n if (isMissing(issue) && issue.expected) {\n const namespaceId = resolveNamespaceIdForIssue(issue);\n const columns = issue.expected.split(', ');\n const contractIndex = tableAt(\n ctx.toContract.storage,\n namespaceId,\n issue.table,\n )?.indexes.find((idx: StorageTable['indexes'][number]) =>\n arraysEqual(idx.columns, columns),\n );\n const indexName = contractIndex?.name ?? `${issue.table}_${columns.join('_')}_idx`;\n const extras: { type?: string; options?: Record<string, unknown> } = {};\n if (contractIndex?.type !== undefined) extras.type = contractIndex.type;\n if (contractIndex?.options !== undefined) extras.options = contractIndex.options;\n return ok([\n new CreateIndexCall(tableSchema(issue), issue.table, indexName, columns, extras),\n ]);\n }\n return notOk(\n issueConflict(\n 'indexIncompatible',\n `Index on \"${issue.table}\" differs (expected: ${issue.expected}, actual: ${issue.actual})`,\n { table: issue.table },\n ),\n );\n\n case 'foreign_key_mismatch':\n if (!issue.table)\n return notOk(issueConflict('foreignKeyConflict', 'Foreign key issue has no table name'));\n if (isMissing(issue) && issue.expected) {\n const arrowIdx = issue.expected.indexOf(' -> ');\n if (arrowIdx >= 0) {\n const namespaceId = resolveNamespaceIdForIssue(issue);\n const columns = issue.expected.slice(0, arrowIdx).split(', ');\n const fkName = `${issue.table}_${columns.join('_')}_fkey`;\n const fk = tableAt(ctx.toContract.storage, namespaceId, issue.table)?.foreignKeys.find(\n (k) => k.source.columns.join(', ') === columns.join(', '),\n );\n if (fk) {\n const fkSpec: ForeignKeySpec = {\n name: fkName,\n columns: fk.source.columns,\n references: {\n schema: fk.target.namespaceId,\n table: fk.target.tableName,\n columns: fk.target.columns,\n },\n ...(fk.onDelete !== undefined && { onDelete: fk.onDelete }),\n ...(fk.onUpdate !== undefined && { onUpdate: fk.onUpdate }),\n };\n return ok([new AddForeignKeyCall(tableSchema(issue), issue.table, fkSpec)]);\n }\n return notOk(\n issueConflict(\n 'foreignKeyConflict',\n `Foreign key on \"${issue.table}\" (${columns.join(', ')}) not found in destination contract`,\n { table: issue.table },\n ),\n );\n }\n }\n return notOk(\n issueConflict(\n 'foreignKeyConflict',\n `Foreign key on \"${issue.table}\" differs (expected: ${issue.expected}, actual: ${issue.actual})`,\n { table: issue.table },\n ),\n );\n\n case 'type_missing': {\n if (!issue.typeName)\n return notOk(issueConflict('unsupportedOperation', 'Type missing issue has no typeName'));\n // Enum types live in namespace.types; codec aliases live in storage.types.\n // Check both so the planner handles whichever slot the type is in.\n const typeInstance: unknown =\n ctx.toContract.storage.types?.[issue.typeName] ??\n locateNamespaceTypeInStorage(ctx.toContract.storage, issue.typeName);\n if (!typeInstance) {\n return notOk(\n issueConflict(\n 'unsupportedOperation',\n `Type \"${issue.typeName}\" reported missing but not found in destination contract`,\n ),\n );\n }\n if (typeInstance instanceof PostgresEnumType) {\n return ok([\n new CreateEnumTypeCall(\n schemaName,\n issue.typeName,\n typeInstance.values,\n typeInstance.nativeType,\n ),\n ]);\n }\n const codecInstance = typeInstance as StorageTypeInstance;\n return notOk(\n issueConflict(\n 'unsupportedOperation',\n `Type \"${issue.typeName}\" uses codec \"${codecInstance.codecId}\" — only enum types are supported`,\n ),\n );\n }\n\n case 'type_values_mismatch':\n return notOk(\n issueConflict(\n 'unsupportedOperation',\n `Type \"${issue.typeName ?? 'unknown'}\" values differ — type alteration not yet supported`,\n ),\n );\n\n default:\n return notOk(\n issueConflict(\n 'unsupportedOperation',\n `Unhandled issue kind: ${(issue as SchemaIssue).kind}`,\n ),\n );\n }\n}\n\n/**\n * Classifies calls into dependency order categories for correct DDL sequencing.\n */\ntype CallCategory =\n | 'dep'\n | 'drop'\n | 'table'\n | 'column'\n | 'alter'\n | 'primaryKey'\n | 'unique'\n | 'index'\n | 'foreignKey';\n\n/**\n * Classifies calls into DDL sequencing buckets. The order matches the\n * legacy walk-schema planner's emission order so `db init` and `db update`\n * produce byte-identical plans for the shared shape (deps → drops → tables\n * → columns → alters → PKs → uniques → indexes → FKs).\n */\nfunction classifyCall(call: PostgresOpFactoryCall): CallCategory {\n switch (call.factoryName) {\n case 'createExtension':\n case 'createSchema':\n case 'createEnumType':\n case 'addEnumValues':\n case 'dropEnumType':\n case 'renameType':\n return 'dep';\n case 'dropTable':\n case 'dropColumn':\n case 'dropConstraint':\n case 'dropIndex':\n case 'dropDefault':\n return 'drop';\n case 'createTable':\n return 'table';\n case 'addColumn':\n return 'column';\n case 'alterColumnType':\n case 'setNotNull':\n case 'dropNotNull':\n case 'setDefault':\n return 'alter';\n case 'addPrimaryKey':\n return 'primaryKey';\n case 'addUnique':\n return 'unique';\n case 'createIndex':\n return 'index';\n case 'addForeignKey':\n return 'foreignKey';\n case 'rawSql': {\n // Type ops lifted through `RawSqlCall` by `storageTypePlanCallStrategy`\n // to preserve the codec-emitted label and precheck/postcheck.\n // Classification falls back to inspecting the underlying op's target\n // details (`objectType: 'type'`).\n const op = (\n call as {\n op?: {\n target?: { details?: { objectType?: string } };\n };\n }\n ).op;\n const objectType = op?.target?.details?.objectType;\n if (objectType === 'type') return 'dep';\n return 'alter';\n }\n default:\n return 'alter';\n }\n}\n\n/** Stable lexical key used to order issues within the same kind bucket. */\nfunction issueKey(issue: SchemaIssue): string {\n const table = 'table' in issue && typeof issue.table === 'string' ? issue.table : '';\n const column = 'column' in issue && typeof issue.column === 'string' ? issue.column : '';\n const name =\n 'indexOrConstraint' in issue && typeof issue.indexOrConstraint === 'string'\n ? issue.indexOrConstraint\n : '';\n return `${table}\\u0000${column}\\u0000${name}`;\n}\n\n// When no policy is explicitly supplied (test-only path; production callers\n// always pass one), allow every class so strategies that gate on\n// `'data'` (data-safe placeholders) still fire — the test is treated as\n// trusted. Filtering of actual emitted calls only runs when a policy was\n// explicitly provided (see `policyProvided` below).\nconst DEFAULT_POLICY: MigrationOperationPolicy = {\n allowedOperationClasses: ['additive', 'widening', 'destructive', 'data'],\n};\n\nfunction emptySchemaIR(): SqlSchemaIR {\n return { tables: {} };\n}\n\nfunction conflictKindForCall(call: PostgresOpFactoryCall): SqlPlannerConflict['kind'] {\n switch (call.factoryName) {\n case 'alterColumnType':\n return 'typeMismatch';\n case 'setNotNull':\n case 'dropNotNull':\n return 'nullabilityConflict';\n case 'addForeignKey':\n case 'dropConstraint':\n return 'foreignKeyConflict';\n case 'createIndex':\n case 'dropIndex':\n return 'indexIncompatible';\n default:\n return 'missingButNonAdditive';\n }\n}\n\nfunction locationForCall(call: PostgresOpFactoryCall): SqlPlannerConflict['location'] | undefined {\n // Most Postgres call classes expose `tableName`/`columnName`/`indexName`/\n // `constraintName` as readonly fields. We avoid `toOp()` here because a\n // `DataTransformCall` intentionally throws from `toOp`.\n const anyCall = call as unknown as {\n tableName?: string;\n columnName?: string;\n indexName?: string;\n constraintName?: string;\n typeName?: string;\n };\n const location: {\n table?: string;\n column?: string;\n index?: string;\n constraint?: string;\n type?: string;\n } = {};\n if (anyCall.tableName) location.table = anyCall.tableName;\n if (anyCall.columnName) location.column = anyCall.columnName;\n if (anyCall.indexName) location.index = anyCall.indexName;\n if (anyCall.constraintName) location.constraint = anyCall.constraintName;\n if (anyCall.typeName) location.type = anyCall.typeName;\n return Object.keys(location).length > 0 ? (location as SqlPlannerConflictLocation) : undefined;\n}\n\nfunction conflictForDisallowedCall(\n call: PostgresOpFactoryCall,\n allowed: readonly string[],\n): SqlPlannerConflict {\n const summary = `Operation \"${call.label}\" requires class \"${call.operationClass}\", but policy allows only: ${allowed.join(', ')}`;\n const location = locationForCall(call);\n return {\n kind: conflictKindForCall(call),\n summary,\n why: 'Use `migration new` to author a custom migration for this change.',\n ...(location ? { location } : {}),\n };\n}\n\nexport function planIssues(\n options: IssuePlannerOptions,\n): Result<IssuePlannerValue, readonly SqlPlannerConflict[]> {\n // When no policy is supplied, `planIssues` treats the call as trusted (the\n // caller — typically a test — has already vetted the issues). Only explicit\n // policies gate operation classes into conflicts.\n // `PostgresMigrationPlanner` always passes an explicit policy.\n const policyProvided = options.policy !== undefined;\n const policy = options.policy ?? DEFAULT_POLICY;\n const schema = options.schema ?? emptySchemaIR();\n const frameworkComponents = options.frameworkComponents ?? [];\n\n const context: StrategyContext = {\n toContract: options.toContract,\n fromContract: options.fromContract,\n schemaName: options.schemaName,\n codecHooks: options.codecHooks,\n storageTypes: options.storageTypes,\n schema,\n policy,\n frameworkComponents,\n };\n\n const strategies = options.strategies ?? postgresPlannerStrategies;\n\n let remaining = options.issues;\n const recipeCalls: PostgresOpFactoryCall[] = [];\n const bucketablePatternCalls: PostgresOpFactoryCall[] = [];\n\n for (const strategy of strategies) {\n const result = strategy(remaining, context);\n if (result.kind === 'match') {\n remaining = result.issues;\n if (result.recipe) {\n recipeCalls.push(...result.calls);\n } else {\n bucketablePatternCalls.push(...result.calls);\n }\n }\n }\n\n const sorted = [...remaining].sort((a, b) => {\n const kindDelta = issueOrder(a) - issueOrder(b);\n if (kindDelta !== 0) return kindDelta;\n const keyA = issueKey(a);\n const keyB = issueKey(b);\n return keyA < keyB ? -1 : keyA > keyB ? 1 : 0;\n });\n\n const defaultCalls: PostgresOpFactoryCall[] = [];\n const conflicts: SqlPlannerConflict[] = [];\n\n for (const issue of sorted) {\n const result = mapIssueToCall(issue, context);\n if (result.ok) {\n defaultCalls.push(...result.value);\n } else {\n conflicts.push(result.failure);\n }\n }\n\n // Policy gating: drop calls whose operation class is not allowed and\n // surface a conflict describing the disallowed op. Applies to both strategy\n // output and default-mapped output. Only active when the caller explicitly\n // supplied a policy — direct unit-test invocations (which pass no policy)\n // stay as pass-through and keep destructive recipe steps intact.\n const allowed = policy.allowedOperationClasses;\n let gatedDefault = defaultCalls;\n let gatedRecipe = recipeCalls;\n let gatedBucketable = bucketablePatternCalls;\n if (policyProvided) {\n const keepIfAllowed = (bucket: PostgresOpFactoryCall[]) => (call: PostgresOpFactoryCall) => {\n if (allowed.includes(call.operationClass)) {\n bucket.push(call);\n return;\n }\n conflicts.push(conflictForDisallowedCall(call, allowed));\n };\n const gatedDefaultBucket: PostgresOpFactoryCall[] = [];\n const gatedRecipeBucket: PostgresOpFactoryCall[] = [];\n const gatedBucketableBucket: PostgresOpFactoryCall[] = [];\n defaultCalls.forEach(keepIfAllowed(gatedDefaultBucket));\n recipeCalls.forEach(keepIfAllowed(gatedRecipeBucket));\n bucketablePatternCalls.forEach(keepIfAllowed(gatedBucketableBucket));\n gatedDefault = gatedDefaultBucket;\n gatedRecipe = gatedRecipeBucket;\n gatedBucketable = gatedBucketableBucket;\n }\n\n if (conflicts.length > 0) {\n return notOk(conflicts);\n }\n\n // Recipe strategies (`nativeEnumPlanCallStrategy`,\n // `notNullBackfillCallStrategy`, etc.) emit a cohesive sequence that must\n // stay contiguous. They are inserted at a single pattern slot. Non-recipe\n // pattern strategies (`dependencyInstallCallStrategy`,\n // `storageTypePlanCallStrategy`, `notNullAddColumnCallStrategy`) produce\n // individually classifiable calls that slot into DDL buckets alongside\n // default-mapped calls.\n const combinedBucketable = [...gatedDefault, ...gatedBucketable];\n const byCategory = (cat: CallCategory) =>\n combinedBucketable.filter((c) => classifyCall(c) === cat);\n\n const calls: PostgresOpFactoryCall[] = [\n ...byCategory('dep'),\n ...byCategory('drop'),\n ...byCategory('table'),\n ...byCategory('column'),\n ...gatedRecipe,\n ...byCategory('alter'),\n ...byCategory('primaryKey'),\n ...byCategory('unique'),\n ...byCategory('index'),\n ...byCategory('foreignKey'),\n ];\n\n return ok({ calls });\n}\n"],"mappings":";;;;;;;;;;;;;;;AAmBA,SAAgB,mBACd,YACA,MACA,QACA,OAC2B;CAC3B,OAAO;EACL;EACA;EACA;EACA,GAAG,UAAU,SAAS,MAAM;EAC7B;;;;ACdH,SAAgB,gCACd,QACA,WACA,YAIA;CACA,OAAO;EACL,IAAI,UAAU,UAAU,GAAG;EAC3B,OAAO,cAAc,WAAW,MAAM;EACtC,SAAS,eAAe,WAAW,YAAY;EAC/C,QAAQ;GACN,IAAI;GACJ,SAAS,mBAAmB,SAAS,WAAW,OAAO;GACxD;EACF;;AAGH,SAAgB,mDAAmD,SAQV;CACvD,MAAM,EAAE,QAAQ,WAAW,YAAY,QAAQ,YAAY,cAAc,qBACvE;CACF,MAAM,YAAY,iBAAiB,QAAQ,UAAU;CAErD,OAAO;EACL,GAAG,gCAAgC,QAAQ,WAAW,WAAW;EACjE,gBAAgB;EAChB,UAAU,CACR;GACE,aAAa,kBAAkB,WAAW;GAC1C,KAAK,kBAAkB;IAAE;IAAQ,OAAO;IAAW,QAAQ;IAAY,QAAQ;IAAO,CAAC;GACxF,CACF;EACD,SAAS,CACP;GACE,aAAa,eAAe,WAAW;GACvC,KAAK,kBACH,WACA,YACA,QACA,YACA,kBACA,aACD;GACF,EACD;GACE,aAAa,uCAAuC,WAAW;GAC/D,KAAK,eAAe,UAAU,gBAAgB,gBAAgB,WAAW,CAAC;GAC3E,CACF;EACD,WAAW;GACT;IACE,aAAa,kBAAkB,WAAW;IAC1C,KAAK,kBAAkB;KAAE;KAAQ,OAAO;KAAW,QAAQ;KAAY,CAAC;IACzE;GACD;IACE,aAAa,kBAAkB,WAAW;IAC1C,KAAK,uBAAuB;KAC1B;KACA,OAAO;KACP,QAAQ;KACR,UAAU;KACX,CAAC;IACH;GACD;IACE,aAAa,kBAAkB,WAAW;IAC1C,KAAK,wBAAwB;KAAE;KAAQ,OAAO;KAAW,QAAQ;KAAY,CAAC;IAC/E;GACF;EACF;;;;ACrBH,MAAM,iBAAiB;;;;;;;;;;;AAYvB,SAAgB,QACd,SACA,aACA,WAC0B;CAG1B,OAAO,QAAQ,WAAW,cAAc,OAAO;;;;;;;;;;;AAYjD,SAAgB,2BAA2B,OAAkD;CAC3F,OAAO,MAAM,eAAe;;;;;;;;;;;;AAa9B,SAAgB,6BAA6B,KAAsB,aAA6B;CAC9F,MAAM,YAAY,IAAI,WAAW,QAAQ,WAAW;CACpD,IAAI,iBAAiB,UAAU,EAC7B,OAAO,UAAU,cAAc,IAAI,WAAW,QAAQ;CAExD,OAAO;;;;;;;AAQT,SAAS,oBACP,SACA,UACsC;CACtC,KAAK,MAAM,MAAM,OAAO,OAAO,QAAQ,WAAW,EAAE;EAClD,IAAI,EAAE,WAAW,OAAO,GAAG,SAAS,MAAM;EAC1C,MAAM,QAAS,GAAG,MAAmD;EACrE,IAAI,UAAU,KAAA,GAAW,OAAO;;;AAuDpC,SAAS,gBACP,aACA,OACA,QACA,KACA,WACA;CACA,MAAM,MAAM,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,EAAE,QAAQ;CACzE,IAAI,CAAC,KAAK,MAAM,IAAI,MAAM,WAAW,MAAM,KAAK,OAAO,qCAAqC;CAC5F,MAAM,eAAe,IAAI;CACzB,MAAM,eAAe,IAAI;CAIzB,OAAO;EACL,MAAM;EACN,SAAS,mBAAmB,KAAK,cAAc,aAAa;EAC5D,YAAY,sBAAsB,IAAI,SAAS,IAAI;EACnD,UAAU,WAAW,YAAY,IAAI;EACtC;;AAGH,SAAS,sBACP,aACA,OACA,QACA,KACA,OACA;CACA,MAAM,MAAM,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,EAAE,QAAQ;CACzE,IAAI,CAAC,KAAK,MAAM,IAAI,MAAM,WAAW,MAAM,KAAK,OAAO,qCAAqC;CAC5F,MAAM,eAAe,IAAI;CACzB,MAAM,eAAe,IAAI;CAIzB,MAAM,sBAAsB,mBAAmB,KAAK,cAAc,cAAc,MAAM;CAEtF,OAAO;EACL;EACA,oBAHyB,wBAAwB,KAAK,cAAc,aAGlD;EAClB,uBAAuB;EACvB,GAAI,UAAU,KAAA,IAAY,EAAE,OAAO,GAAG,EAAE;EACzC;;AAGH,MAAa,+BAAsD,QAAQ,QAAQ;CAIjF,IAAI,CAAC,IAAI,OAAO,wBAAwB,SAAS,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY;CAErF,MAAM,UAAyB,EAAE;CACjC,MAAM,QAAiC,EAAE;CAEzC,KAAK,MAAM,SAAS,QAAQ;EAC1B,IAAI,MAAM,SAAS,oBAAoB,CAAC,MAAM,SAAS,CAAC,MAAM,QAAQ;EAEtE,MAAM,cAAc,2BAA2B,MAAM;EACrD,MAAM,SAAS,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,MAAM,EAAE,QAAQ,MAAM;EACxF,IAAI,CAAC,QAAQ;EACb,IAAI,OAAO,aAAa,QAAQ,OAAO,YAAY,KAAA,GAAW;EAE9D,QAAQ,KAAK,MAAM;EACnB,MAAM,OAAO,gBAAgB,aAAa,MAAM,OAAO,MAAM,QAAQ,KAAK,EAAE,UAAU,MAAM,CAAC;EAC7F,MAAM,iBAAiB,6BAA6B,KAAK,YAAY;EACrE,MAAM,KACJ,IAAI,cAAc,gBAAgB,MAAM,OAAO,KAAK,EACpD,IAAI,kBACF,YAAY,MAAM,MAAM,GAAG,MAAM,UACjC,YAAY,MAAM,MAAM,GAAG,MAAM,OAAO,SACxC,YAAY,MAAM,MAAM,GAAG,MAAM,OAAO,MACzC,EACD,IAAI,eAAe,gBAAgB,MAAM,OAAO,MAAM,OAAO,CAC9D;;CAGH,IAAI,QAAQ,WAAW,GAAG,OAAO,EAAE,MAAM,YAAY;CACrD,OAAO;EACL,MAAM;EACN,QAAQ,OAAO,QAAQ,MAAM,CAAC,QAAQ,SAAS,EAAE,CAAC;EAClD;EACA,QAAQ;EACT;;AAGH,MAAM,iBAAiB,IAAI,IAAI;CAAC;CAAa;CAAa;CAAa;CAAgB,CAAC;AAExF,MAAa,0BAAiD,QAAQ,QAAQ;CAM5E,MAAM,cAAc,IAAI,OAAO,wBAAwB,SAAS,OAAO;CAEvE,MAAM,UAAyB,EAAE;CACjC,MAAM,QAAiC,EAAE;CAEzC,KAAK,MAAM,SAAS,QAAQ;EAC1B,IAAI,MAAM,SAAS,iBAAiB;EACpC,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QAAQ;EACnC,MAAM,cAAc,2BAA2B,MAAM;EACrD,MAAM,aAAa,IAAI,eACnB,QAAQ,IAAI,aAAa,SAAS,aAAa,MAAM,MAAM,EAAE,QAAQ,MAAM,UAC3E,KAAA;EACJ,MAAM,WAAW,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,MAAM,EAAE,QAC1E,MAAM;EAER,IAAI,CAAC,cAAc,CAAC,UAAU;EAC9B,MAAM,WAAW,WAAW;EAC5B,MAAM,SAAS,SAAS;EACxB,IAAI,aAAa,QAAQ;EACzB,MAAM,iBAAiB,eAAe,IAAI,GAAG,SAAS,GAAG,SAAS;EAClE,IAAI,CAAC,kBAAkB,CAAC,aAAa;EACrC,QAAQ,KAAK,MAAM;EACnB,MAAM,YAAY,sBAAsB,aAAa,MAAM,OAAO,MAAM,QAAQ,IAAI;EACpF,MAAM,iBAAiB,6BAA6B,KAAK,YAAY;EACrE,IAAI,gBACF,MAAM,KAAK,IAAI,oBAAoB,gBAAgB,MAAM,OAAO,MAAM,QAAQ,UAAU,CAAC;OAEzF,MAAM,KACJ,IAAI,kBACF,cAAc,MAAM,MAAM,GAAG,MAAM,UACnC,cAAc,MAAM,MAAM,GAAG,MAAM,OAAO,SAC1C,cAAc,MAAM,MAAM,GAAG,MAAM,OAAO,MAC3C,EACD,IAAI,oBAAoB,gBAAgB,MAAM,OAAO,MAAM,QAAQ,UAAU,CAC9E;;CAGL,IAAI,QAAQ,WAAW,GAAG,OAAO,EAAE,MAAM,YAAY;CACrD,OAAO;EACL,MAAM;EACN,QAAQ,OAAO,QAAQ,MAAM,CAAC,QAAQ,SAAS,EAAE,CAAC;EAClD;EACA,QAAQ;EACT;;AAGH,MAAa,kCAAyD,QAAQ,QAAQ;CAIpF,IAAI,CAAC,IAAI,OAAO,wBAAwB,SAAS,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY;CAErF,MAAM,UAAyB,EAAE;CACjC,MAAM,QAAiC,EAAE;CAEzC,KAAK,MAAM,SAAS,QAAQ;EAC1B,IAAI,MAAM,SAAS,0BAA0B,CAAC,MAAM,SAAS,CAAC,MAAM,QAAQ;EAE5E,MAAM,cAAc,2BAA2B,MAAM;EACrD,MAAM,SAAS,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,MAAM,EAAE,QAAQ,MAAM;EACxF,IAAI,CAAC,QAAQ;EACb,IAAI,OAAO,aAAa,MAAM;EAE9B,QAAQ,KAAK,MAAM;EACnB,MAAM,iBAAiB,6BAA6B,KAAK,YAAY;EACrE,MAAM,KACJ,IAAI,kBACF,gBAAgB,MAAM,MAAM,GAAG,MAAM,UACrC,gBAAgB,MAAM,MAAM,GAAG,MAAM,OAAO,SAC5C,gBAAgB,MAAM,MAAM,GAAG,MAAM,OAAO,MAC7C,EACD,IAAI,eAAe,gBAAgB,MAAM,OAAO,MAAM,OAAO,CAC9D;;CAGH,IAAI,QAAQ,WAAW,GAAG,OAAO,EAAE,MAAM,YAAY;CACrD,OAAO;EACL,MAAM;EACN,QAAQ,OAAO,QAAQ,MAAM,CAAC,QAAQ,SAAS,EAAE,CAAC;EAClD;EACA,QAAQ;EACT;;AAGH,SAAS,sBACP,UACA,KACkC;CAClC,MAAM,SAAS,oBAAoB,IAAI,WAAW,SAAS,SAAS;CACpE,IAAI,CAAC,QAAQ,OAAO,EAAE;CACtB,MAAM,SAAS,2BAA2B,OAAO;CACjD,MAAM,aAAa,OAAO;CAC1B,MAAM,gBAAmC,SACrC,OAAO,SACJ,OAA+B,WAAW,aAAa,EAAE;CAChE,MAAM,WAAW,GAAG,aAAa;CAEjC,MAAM,aAAuE,EAAE;CAC/E,KAAK,MAAM,CAAC,MAAM,OAAO,OAAO,QAAQ,IAAI,WAAW,QAAQ,WAAW,EACxE,KAAK,MAAM,CAAC,WAAW,cAAc,OAAO,QAAQ,GAAG,OAAO,EAAE;EAC9D,MAAM,QAAQ;EACd,KAAK,MAAM,CAAC,YAAY,WAAW,OAAO,QAAQ,MAAM,QAAQ,EAC9D,IAAI,OAAO,YAAY,UACrB,WAAW,KAAK;GAAE,aAAa;GAAM,OAAO;GAAW,QAAQ;GAAY,CAAC;;CAMpF,OAAO;EACL,IAAI,mBAAmB,IAAI,YAAY,UAAU,cAAc;EAC/D,GAAG,WAAW,KAAK,QAAQ;GACzB,MAAM,QAAQ,GAAG,IAAI,OAAO,UAAU;GACtC,OAAO,IAAI,oBACT,6BAA6B,KAAK,IAAI,YAAY,EAClD,IAAI,OACJ,IAAI,QACJ;IACE,qBAAqB;IACrB,oBAAoB;IACpB,uBAAuB;IACvB;IACD,CACF;IACD;EACF,IAAI,iBAAiB,IAAI,YAAY,WAAW;EAChD,IAAI,eAAe,IAAI,YAAY,UAAU,WAAW;EACzD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAuCH,MAAa,8BAAqD,QAAQ,QAAQ;CAChF,MAAM,YAAY,yBAAyB,IAAI,WAAW,QAAQ;CAClE,IAAI,UAAU,SAAS,GAAG,OAAO,EAAE,MAAM,YAAY;CAErD,MAAM,cAAc,IAAI,OAAO,wBAAwB,SAAS,OAAO;CAEvE,MAAM,QAAiC,EAAE;CACzC,MAAM,mCAAmB,IAAI,KAAa;CAC1C,MAAM,sCAAsB,IAAI,KAAa;CAC7C,MAAM,mCAAmB,IAAI,KAAa;CAC1C,IAAI,uBAAuB;CAE3B,KAAK,MAAM,CAAC,UAAU,aAAa,WAAW;EAC5C,MAAM,UAAU,SAAS;EACzB,MAAM,WAAW,uBAAuB,IAAI,QAAQ,SAAS,WAAW;EACxE,IAAI,CAAC,UAAU;GACb,MAAM,KAAK,IAAI,mBAAmB,IAAI,YAAY,UAAU,SAAS,SAAS,WAAW,CAAC;GAC1F,iBAAiB,IAAI,SAAS;GAC9B,oBAAoB,IAAI,SAAS;GACjC;;EAEF,MAAM,OAAO,kBAAkB,UAAU,QAAQ;EACjD,IAAI,KAAK,SAAS,aAAa;GAC7B,iBAAiB,IAAI,SAAS;GAC9B;;EAEF,IAAI,KAAK,SAAS,cAAc;GAC9B,MAAM,KAAK,IAAI,kBAAkB,IAAI,YAAY,UAAU,SAAS,YAAY,KAAK,OAAO,CAAC;GAC7F,iBAAiB,IAAI,SAAS;GAC9B;;EAEF,IAAI,eAAe,KAAK,cAAc,SAAS,GAC7C,MAAM,KACJ,IAAI,kBACF,WAAW,SAAS,UACpB,WAAW,SAAS,gBACpB,WAAW,SAAS,aACrB,CACF;EAEH,MAAM,KAAK,GAAG,sBAAsB,UAAU,IAAI,CAAC;EACnD,uBAAuB;EACvB,iBAAiB,IAAI,SAAS;EAC9B,iBAAiB,IAAI,SAAS;;CAYhC,IAAI,oBAAoB,OAAO,KAAK,iBAAiB,OAAO,GAC1D,MAAM,IAAI,MACR,iMAAiM,CAAC,GAAG,oBAAoB,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,eAAe,CAAC,GAAG,iBAAiB,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,iFACpS;CAGH,MAAM,YAAY,OAAO,QACtB,UACC,GACG,MAAM,SAAS,kBAAkB,MAAM,SAAS,0BACjD,MAAM,YACN,iBAAiB,IAAI,MAAM,SAAS,EAEzC;CAED,IAAI,MAAM,WAAW,KAAK,UAAU,WAAW,OAAO,QACpD,OAAO,EAAE,MAAM,YAAY;CAc7B,OAAO;EAAE,MAAM;EAAS,QAAQ;EAAW;EAAO,QAAQ;EAAsB;;AAGlF,SAAS,yBAAyB,SAA4D;CAC5F,MAAM,yBAAS,IAAI,KAA+B;CAClD,KAAK,MAAM,MAAM,OAAO,OAAO,QAAQ,WAAW,EAAE;EAClD,IAAI,EAAE,WAAW,OAAO,GAAG,SAAS,MAAM;EAC1C,MAAM,UAAU,GAAG;EACnB,KAAK,MAAM,CAAC,MAAM,aAAa,OAAO,QAAQ,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC,EAC3F,IAAI,oBAAoB,kBACtB,OAAO,IAAI,MAAM,SAAS;;CAIhC,OAAO;;;;;;;;AAST,MAAa,+BAAsD,QAAQ,QAAQ;CACjF,MAAM,eAAe,IAAI,WAAW,QAAQ,SAAS,EAAE;CACvD,IAAI,OAAO,KAAK,aAAa,CAAC,WAAW,GAAG,OAAO,EAAE,MAAM,YAAY;CAEvE,MAAM,QAAiC,EAAE;CACzC,MAAM,mCAAmB,IAAI,KAAa;CAE1C,KAAK,MAAM,CAAC,UAAU,iBAAiB,OAAO,QAAQ,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,OAC9E,EAAE,cAAc,EAAE,CACnB,EAAE;EAID,IAAI,2BAA2B,aAAa,EAAE;EAC9C,MAAM,gBAAgB;EACtB,MAAM,OAAO,IAAI,WAAW,IAAI,cAAc,QAAQ;EACtD,IAAI,CAAC,MAAM,oBAAoB;EAC/B,MAAM,aAAa,KAAK,mBAAmB;GACzC;GACA,cAAc;GACd,UAAU,IAAI;GACd,QAAQ,IAAI;GACZ,YAAY,IAAI;GAChB,QAAQ,IAAI;GACb,CAAC;EACF,IAAI,CAAC,YAAY;EACjB,IAAI,WAAW,WAAW,WAAW,GAAG;GACtC,iBAAiB,IAAI,SAAS;GAC9B;;EAEF,iBAAiB,IAAI,SAAS;EAC9B,KAAK,MAAM,MAAM,WAAW,YAC1B,MAAM,KACJ,IAAI,WAAW;GACb,GAAG;GACH,QAAQ;IACN,IAAI,GAAG,OAAO;IACd,SAAS,mBAAmB,QAAQ,UAAU,IAAI,WAAW;IAC9D;GACF,CAAyD,CAC3D;;CAIL,MAAM,YAAY,OAAO,QACtB,UACC,GACG,MAAM,SAAS,kBAAkB,MAAM,SAAS,0BACjD,MAAM,YACN,iBAAiB,IAAI,MAAM,SAAS,EAEzC;CAED,IAAI,MAAM,WAAW,KAAK,UAAU,WAAW,OAAO,QACpD,OAAO,EAAE,MAAM,YAAY;CAG7B,OAAO;EAAE,MAAM;EAAS,QAAQ;EAAW;EAAO;;;;;;;;;;;;;;;;AAiBpD,MAAa,gCAAuD,QAAQ,QAAQ;CAClF,MAAM,UAAyB,EAAE;CACjC,MAAM,QAAiC,EAAE;CAEzC,MAAM,gBAAgB,qBAAqB,IAAI,OAAO;CAEtD,MAAM,oBAAoB,IAAI;CAC9B,MAAM,sBAAsB,IAAI;CAKhC,KAAK,MAAM,SAAS,QAAQ;EAC1B,IAAI,MAAM,SAAS,oBAAoB,CAAC,MAAM,SAAS,CAAC,MAAM,QAAQ;EACtE,MAAM,cAAc,2BAA2B,MAAM;EACrD,MAAM,gBAAgB,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,MAAM;EAC/E,MAAM,SAAS,eAAe,QAAQ,MAAM;EAC5C,IAAI,CAAC,QAAQ;EAEb,MAAM,UAAU,OAAO,aAAa;EACpC,MAAM,aAAa,OAAO,YAAY,KAAA;EACtC,IAAI,CAAC,WAAW,YAAY;EAE5B,MAAM,cAAc,IAAI,OAAO,OAAO,MAAM;EAC5C,IAAI,CAAC,aAAa;EAElB,MAAM,mBAAmB,qBAAqB,QAAQ,mBAAmB,oBAAoB;EAC7F,MAAM,eAAe,cAAc,IAAI,MAAM,MAAM;EACnD,MAAM,0BACJ,qBAAqB,QACrB,qCAAqC;GACnC,OAAO;GACP;GACA;GACA,YAAY,MAAM;GACnB,CAAC;EAEJ,QAAQ,KAAK,MAAM;EAEnB,MAAM,iBAAiB,6BAA6B,KAAK,YAAY;EAErE,IAAI,2BAA2B,qBAAqB,MAAM;GACxD,MAAM,KACJ,IAAI,WACF,mDAAmD;IACjD,QAAQ;IACR,WAAW,MAAM;IACjB,YAAY,MAAM;IAClB;IACA,YAAY;IACZ,cAAc;IACd;IACD,CAAC,CACH,CACF;GACD;;EAGF,MAAM,YAAY,iBAAiB,gBAAgB,MAAM,MAAM;EAC/D,MAAM,KACJ,IAAI,WAAW;GACb,GAAG,gCAAgC,gBAAgB,MAAM,OAAO,MAAM,OAAO;GAC7E,gBAAgB;GAChB,UAAU,CACR;IACE,aAAa,kBAAkB,MAAM,OAAO;IAC5C,KAAK,kBAAkB;KACrB,QAAQ;KACR,OAAO,MAAM;KACb,QAAQ,MAAM;KACd,QAAQ;KACT,CAAC;IACH,EACD;IACE,aAAa,iBAAiB,MAAM,MAAM;IAC1C,KAAK,kBAAkB,UAAU;IAClC,CACF;GACD,SAAS,CACP;IACE,aAAa,eAAe,MAAM,OAAO;IACzC,KAAK,kBACH,WACA,MAAM,QACN,QACA,mBACA,KAAA,GACA,oBACD;IACF,CACF;GACD,WAAW,CACT;IACE,aAAa,kBAAkB,MAAM,OAAO;IAC5C,KAAK,kBAAkB;KACrB,QAAQ;KACR,OAAO,MAAM;KACb,QAAQ,MAAM;KACf,CAAC;IACH,EACD;IACE,aAAa,kBAAkB,MAAM,OAAO;IAC5C,KAAK,uBAAuB;KAC1B,QAAQ;KACR,OAAO,MAAM;KACb,QAAQ,MAAM;KACd,UAAU;KACX,CAAC;IACH,CACF;GACF,CAAC,CACH;;CAGH,IAAI,QAAQ,WAAW,GAAG,OAAO,EAAE,MAAM,YAAY;CACrD,OAAO;EACL,MAAM;EACN,QAAQ,OAAO,QAAQ,MAAM,CAAC,QAAQ,SAAS,EAAE,CAAC;EAClD;EACD;;AAOH,SAAS,qCAAqC,SAUlC;CACV,MAAM,EAAE,OAAO,aAAa,cAAc,eAAe;CAEzD,IAAI,MAAM,YAAY,QAAQ,SAAS,WAAW,IAAI,CAAC,YAAY,YACjE,OAAO;CAGT,KAAK,MAAM,UAAU,MAAM,SAAS;EAClC,IAAI,CAAC,OAAO,QAAQ,SAAS,WAAW,EAAE;EAC1C,IAAI,CAAC,gBAAgB,CAAC,oBAAoB,cAAc,OAAO,QAAQ,EAAE,OAAO;;CAGlF,KAAK,MAAM,cAAc,MAAM,aAAa;EAC1C,IAAI,WAAW,eAAe,SAAS,CAAC,WAAW,OAAO,QAAQ,SAAS,WAAW,EACpF;EACF,IAAI,CAAC,gBAAgB,CAAC,cAAc,cAAc,WAAW,EAAE,OAAO;;CAGxE,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAiCT,MAAa,4BAA8D;CACzE;CACA;CACA;CACA;CACA;CACA;CACD;;;AC3vBD,SAAS,6BAA6B,SAAqB,UAA2B;CACpF,KAAK,MAAM,MAAM,OAAO,OAAO,QAAQ,WAAW,EAAE;EAClD,IAAI,EAAE,WAAW,OAAO,GAAG,SAAS,MAAM;EAC1C,MAAM,QAAS,GAAG,MAAkC;EACpD,IAAI,UAAU,KAAA,GAAW,OAAO;;;AASpC,MAAM,mBAA2C;CAG/C,gBAAgB;CAGhB,cAAc;CACd,sBAAsB;CACtB,qBAAqB;CAIrB,mBAAmB;CACnB,yBAAyB;CACzB,mBAAmB;CACnB,aAAa;CACb,eAAe;CACf,cAAc;CACd,aAAa;CAGb,eAAe;CAGf,gBAAgB;CAGhB,eAAe;CACf,sBAAsB;CACtB,iBAAiB;CACjB,kBAAkB;CAGlB,sBAAsB;CACtB,4BAA4B;CAC5B,gBAAgB;CAChB,sBAAsB;CACvB;AAED,SAAS,WAAW,OAA4B;CAC9C,OAAO,iBAAiB,MAAM,SAAS;;AAOzC,SAAS,cACP,MACA,SACA,UACoB;CACpB,OAAO;EACL;EACA;EACA,KAAK;EACL,GAAI,WAAW,EAAE,UAAU,GAAG,EAAE;EACjC;;AAGH,SAAS,UAAU,OAA6B;CAC9C,IAAI,MAAM,SAAS,uBAAuB,OAAO;CACjD,OAAO,MAAM,WAAW,KAAA;;AAwC1B,SAAS,aACP,MACA,QACA,YACA,cACY;CACZ,OAAO;EACL;EACA,SAAS,mBACP,QACA,YACA,aACD;EACD,YAAY,sBAAsB,OAAO,SAAS,OAAO;EACzD,UAAU,OAAO;EAClB;;AAGH,SAAS,eACP,OACA,KAC8D;CAC9D,MAAM,EAAE,YAAY,YAAY,iBAAiB;CAOjD,MAAM,eAAe,UAA+B;EAClD,IAAI,MAAM,SAAS,eAAe,OAAO;EACzC,IAAI,EAAE,WAAW,UAAU,CAAC,MAAM,OAAO,OAAO;EAChD,OAAO,6BAA6B,KAAK,2BAA2B,MAAM,CAAC;;CAG7E,QAAQ,MAAM,MAAd;EACE,KAAK,kBAAkB;GACrB,MAAM,cAAc,MAAM;GAC1B,IAAI,CAAC,aACH,OAAO,MACL,cAAc,wBAAwB,0CAA0C,CACjF;GAEH,OAAO,GAAG,CAAC,IAAI,iBADO,6BAA6B,KAAK,YACX,CAAC,CAAC,CAAC;;EAGlD,KAAK,iBAAiB;GACpB,IAAI,CAAC,MAAM,OACT,OAAO,MACL,cAAc,wBAAwB,wCAAwC,CAC/E;GACH,MAAM,cAAc,2BAA2B,MAAM;GACrD,MAAM,gBAAgB,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,MAAM;GAC/E,IAAI,CAAC,eACH,OAAO,MACL,cACE,wBACA,UAAU,MAAM,MAAM,kBAAkB,YAAY,0DACrD,CACF;GAEH,MAAM,iBAAiB,YAAY,MAAM;GACzC,MAAM,UAAwB,OAAO,QAAQ,cAAc,QAAQ,CAAC,KAAK,CAAC,MAAM,YAC9E,aAAa,MAAM,QAAQ,YAAY,aAAa,CACrD;GACD,MAAM,aAAa,cAAc,aAC7B,EAAE,SAAS,cAAc,WAAW,SAAS,GAC7C,KAAA;GACJ,MAAM,QAAiC,CACrC,IAAI,gBAAgB,gBAAgB,MAAM,OAAO,SAAS,WAAW,CACtE;GACD,KAAK,MAAM,SAAS,cAAc,SAAS;IACzC,MAAM,YAAY,MAAM,QAAQ,GAAG,MAAM,MAAM,GAAG,MAAM,QAAQ,KAAK,IAAI,CAAC;IAC1E,MAAM,SAA+D,EAAE;IACvE,IAAI,MAAM,SAAS,KAAA,GAAW,OAAO,OAAO,MAAM;IAClD,IAAI,MAAM,YAAY,KAAA,GAAW,OAAO,UAAU,MAAM;IACxD,MAAM,KACJ,IAAI,gBAAgB,gBAAgB,MAAM,OAAO,WAAW,CAAC,GAAG,MAAM,QAAQ,EAAE,OAAO,CACxF;;GAEH,MAAM,0BAA0B,IAAI,IAClC,cAAc,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,CAAC,CAC1D;GACD,KAAK,MAAM,MAAM,cAAc,aAAa;IAC1C,IAAI,GAAG,YAAY;KAEjB,MAAM,SAAyB;MAC7B,MAFa,GAAG,QAAQ,GAAG,MAAM,MAAM,GAAG,GAAG,OAAO,QAAQ,KAAK,IAAI,CAAC;MAGtE,SAAS,GAAG,OAAO;MACnB,YAAY;OACV,QAAQ,GAAG,OAAO;OAClB,OAAO,GAAG,OAAO;OACjB,SAAS,GAAG,OAAO;OACpB;MACD,GAAI,GAAG,aAAa,KAAA,KAAa,EAAE,UAAU,GAAG,UAAU;MAC1D,GAAI,GAAG,aAAa,KAAA,KAAa,EAAE,UAAU,GAAG,UAAU;MAC3D;KACD,MAAM,KAAK,IAAI,kBAAkB,gBAAgB,MAAM,OAAO,OAAO,CAAC;;IAExE,IAAI,GAAG,SAAS,CAAC,wBAAwB,IAAI,GAAG,OAAO,QAAQ,KAAK,IAAI,CAAC,EAAE;KACzE,MAAM,YAAY,GAAG,MAAM,MAAM,GAAG,GAAG,OAAO,QAAQ,KAAK,IAAI,CAAC;KAChE,MAAM,KACJ,IAAI,gBAAgB,gBAAgB,MAAM,OAAO,WAAW,CAAC,GAAG,GAAG,OAAO,QAAQ,CAAC,CACpF;;;GAGL,KAAK,MAAM,UAAU,cAAc,SAAS;IAC1C,MAAM,iBAAiB,OAAO,QAAQ,GAAG,MAAM,MAAM,GAAG,OAAO,QAAQ,KAAK,IAAI,CAAC;IACjF,MAAM,KACJ,IAAI,cAAc,gBAAgB,MAAM,OAAO,gBAAgB,CAAC,GAAG,OAAO,QAAQ,CAAC,CACpF;;GAEH,OAAO,GAAG,MAAM;;EAGlB,KAAK;GACH,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QACzB,OAAO,MACL,cAAc,wBAAwB,gDAAgD,CACvF;GACH;IACE,MAAM,cAAc,2BAA2B,MAAM;IACrD,MAAM,SAAS,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,MAAM,EAAE,QACxE,MAAM;IAER,IAAI,CAAC,QACH,OAAO,MACL,cACE,wBACA,WAAW,MAAM,MAAM,KAAK,MAAM,OAAO,+BAC1C,CACF;IACH,OAAO,GAAG,CACR,IAAI,cACF,YAAY,MAAM,EAClB,MAAM,OACN,aAAa,MAAM,QAAQ,QAAQ,YAAY,aAAa,CAC7D,CACF,CAAC;;EAGN,KAAK;GACH,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QACzB,OAAO,MACL,cAAc,wBAAwB,iDAAiD,CACxF;GACH;IACE,MAAM,cAAc,2BAA2B,MAAM;IACrD,MAAM,SAAS,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,MAAM,EAAE,QACxE,MAAM;IAER,IAAI,CAAC,QAAQ,SACX,OAAO,MACL,cACE,wBACA,WAAW,MAAM,MAAM,KAAK,MAAM,OAAO,8BAC1C,CACF;IAEH,MAAM,aAAa,sBAAsB,OAAO,SAAS,OAAO;IAChE,IAAI,CAAC,YAAY,OAAO,GAAG,EAAE,CAAC;IAC9B,OAAO,GAAG,CAAC,IAAI,eAAe,YAAY,MAAM,EAAE,MAAM,OAAO,MAAM,QAAQ,WAAW,CAAC,CAAC;;EAG9F,KAAK;GACH,IAAI,CAAC,MAAM,OACT,OAAO,MAAM,cAAc,wBAAwB,sCAAsC,CAAC;GAC5F,OAAO,GAAG,CAAC,IAAI,cAAc,YAAY,MAAM,EAAE,MAAM,MAAM,CAAC,CAAC;EAEjE,KAAK;GACH,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QACzB,OAAO,MACL,cAAc,wBAAwB,8CAA8C,CACrF;GACH,OAAO,GAAG,CAAC,IAAI,eAAe,YAAY,MAAM,EAAE,MAAM,OAAO,MAAM,OAAO,CAAC,CAAC;EAEhF,KAAK;GACH,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,mBACzB,OAAO,MACL,cAAc,wBAAwB,4CAA4C,CACnF;GACH,OAAO,GAAG,CAAC,IAAI,cAAc,YAAY,MAAM,EAAE,MAAM,OAAO,MAAM,kBAAkB,CAAC,CAAC;EAE1F,KAAK;EACL,KAAK;EACL,KAAK,qBAAqB;GACxB,IAAI,CAAC,MAAM,OACT,OAAO,MACL,cACE,wBACA,sDACD,CACF;GAKH,MAAM,iBACJ,MAAM,sBACL,MAAM,SAAS,sBAAsB,GAAG,MAAM,MAAM,SAAS,KAAA;GAChE,IAAI,CAAC,gBACH,OAAO,MACL,cACE,wBACA,sDACD,CACF;GAMH,OAAO,GAAG,CACR,IAAI,mBACF,YAAY,MAAM,EAClB,MAAM,OACN,gBACA;IATF,yBAAyB;IACzB,mBAAmB;IACnB,mBAAmB;IAOV,CAAC,MAAM,MACf,CACF,CAAC;;EAGJ,KAAK;GACH,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QACzB,OAAO,MACL,cAAc,wBAAwB,+CAA+C,CACtF;GACH,OAAO,GAAG,CAAC,IAAI,gBAAgB,YAAY,MAAM,EAAE,MAAM,OAAO,MAAM,OAAO,CAAC,CAAC;EAEjF,KAAK,wBAAwB;GAC3B,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QACzB,OAAO,MACL,cAAc,uBAAuB,gDAAgD,CACtF;GACH,MAAM,cAAc,2BAA2B,MAAM;GACrD,MAAM,SAAS,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,MAAM,EAAE,QACxE,MAAM;GAER,IAAI,CAAC,QACH,OAAO,MACL,cACE,uBACA,WAAW,MAAM,MAAM,KAAK,MAAM,OAAO,qCAC1C,CACF;GACH,MAAM,iBAAiB,YAAY,MAAM;GACzC,OAAO,GACL,OAAO,WACH,CAAC,IAAI,gBAAgB,gBAAgB,MAAM,OAAO,MAAM,OAAO,CAAC,GAChE,CAAC,IAAI,eAAe,gBAAgB,MAAM,OAAO,MAAM,OAAO,CAAC,CACpE;;EAGH,KAAK;GACH,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QACzB,OAAO,MAAM,cAAc,gBAAgB,yCAAyC,CAAC;GACvF;IACE,MAAM,cAAc,2BAA2B,MAAM;IACrD,MAAM,SAAS,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,MAAM,EAAE,QACxE,MAAM;IAER,IAAI,CAAC,QACH,OAAO,MACL,cACE,gBACA,WAAW,MAAM,MAAM,KAAK,MAAM,OAAO,+BAC1C,CACF;IACH,MAAM,WAAW;IACjB,MAAM,WAAW;IAIjB,MAAM,sBAAsB,mBAAmB,QAAQ,UAAU,UAAU,MAAM;IACjF,MAAM,qBAAqB,wBAAwB,QAAQ,UAAU,SAAS;IAC9E,OAAO,GAAG,CACR,IAAI,oBAAoB,YAAY,MAAM,EAAE,MAAM,OAAO,MAAM,QAAQ;KACrE;KACA;KACA,uBAAuB;KACxB,CAAC,CACH,CAAC;;EAGN,KAAK;GACH,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QACzB,OAAO,MACL,cAAc,wBAAwB,4CAA4C,CACnF;GACH;IACE,MAAM,cAAc,2BAA2B,MAAM;IACrD,MAAM,SAAS,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,MAAM,EAAE,QACxE,MAAM;IAER,IAAI,CAAC,QAAQ,SAAS,OAAO,GAAG,EAAE,CAAC;IACnC,MAAM,aAAa,sBAAsB,OAAO,SAAS,OAAO;IAChE,IAAI,CAAC,YAAY,OAAO,GAAG,EAAE,CAAC;IAC9B,OAAO,GAAG,CACR,IAAI,eAAe,YAAY,MAAM,EAAE,MAAM,OAAO,MAAM,QAAQ,YAAY,WAAW,CAC1F,CAAC;;EAGN,KAAK;GACH,IAAI,CAAC,MAAM,OACT,OAAO,MAAM,cAAc,qBAAqB,sCAAsC,CAAC;GACzF,IAAI,UAAU,MAAM,EAAE;IACpB,MAAM,cAAc,2BAA2B,MAAM;IACrD,MAAM,KAAK,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,MAAM,EAAE;IACtE,IAAI,CAAC,IACH,OAAO,MACL,cAAc,qBAAqB,mCAAmC,MAAM,MAAM,GAAG,CACtF;IACH,MAAM,iBAAiB,GAAG,QAAQ,GAAG,MAAM,MAAM;IACjD,OAAO,GAAG,CACR,IAAI,kBAAkB,YAAY,MAAM,EAAE,MAAM,OAAO,gBAAgB,GAAG,QAAQ,CACnF,CAAC;;GAEJ,OAAO,MACL,cACE,qBACA,mBAAmB,MAAM,MAAM,qCAAqC,MAAM,SAAS,YAAY,MAAM,OAAO,IAC5G,EAAE,OAAO,MAAM,OAAO,CACvB,CACF;EAEH,KAAK;GACH,IAAI,CAAC,MAAM,OACT,OAAO,MACL,cAAc,qBAAqB,4CAA4C,CAChF;GACH,IAAI,UAAU,MAAM,IAAI,MAAM,UAAU;IACtC,MAAM,UAAU,MAAM,SAAS,MAAM,KAAK;IAC1C,MAAM,iBAAiB,GAAG,MAAM,MAAM,GAAG,QAAQ,KAAK,IAAI,CAAC;IAC3D,OAAO,GAAG,CAAC,IAAI,cAAc,YAAY,MAAM,EAAE,MAAM,OAAO,gBAAgB,QAAQ,CAAC,CAAC;;GAE1F,OAAO,MACL,cACE,qBACA,yBAAyB,MAAM,MAAM,uBAAuB,MAAM,SAAS,YAAY,MAAM,OAAO,IACpG,EAAE,OAAO,MAAM,OAAO,CACvB,CACF;EAEH,KAAK;GACH,IAAI,CAAC,MAAM,OACT,OAAO,MAAM,cAAc,qBAAqB,gCAAgC,CAAC;GACnF,IAAI,UAAU,MAAM,IAAI,MAAM,UAAU;IACtC,MAAM,cAAc,2BAA2B,MAAM;IACrD,MAAM,UAAU,MAAM,SAAS,MAAM,KAAK;IAC1C,MAAM,gBAAgB,QACpB,IAAI,WAAW,SACf,aACA,MAAM,MACP,EAAE,QAAQ,MAAM,QACf,YAAY,IAAI,SAAS,QAAQ,CAClC;IACD,MAAM,YAAY,eAAe,QAAQ,GAAG,MAAM,MAAM,GAAG,QAAQ,KAAK,IAAI,CAAC;IAC7E,MAAM,SAA+D,EAAE;IACvE,IAAI,eAAe,SAAS,KAAA,GAAW,OAAO,OAAO,cAAc;IACnE,IAAI,eAAe,YAAY,KAAA,GAAW,OAAO,UAAU,cAAc;IACzE,OAAO,GAAG,CACR,IAAI,gBAAgB,YAAY,MAAM,EAAE,MAAM,OAAO,WAAW,SAAS,OAAO,CACjF,CAAC;;GAEJ,OAAO,MACL,cACE,qBACA,aAAa,MAAM,MAAM,uBAAuB,MAAM,SAAS,YAAY,MAAM,OAAO,IACxF,EAAE,OAAO,MAAM,OAAO,CACvB,CACF;EAEH,KAAK;GACH,IAAI,CAAC,MAAM,OACT,OAAO,MAAM,cAAc,sBAAsB,sCAAsC,CAAC;GAC1F,IAAI,UAAU,MAAM,IAAI,MAAM,UAAU;IACtC,MAAM,WAAW,MAAM,SAAS,QAAQ,OAAO;IAC/C,IAAI,YAAY,GAAG;KACjB,MAAM,cAAc,2BAA2B,MAAM;KACrD,MAAM,UAAU,MAAM,SAAS,MAAM,GAAG,SAAS,CAAC,MAAM,KAAK;KAC7D,MAAM,SAAS,GAAG,MAAM,MAAM,GAAG,QAAQ,KAAK,IAAI,CAAC;KACnD,MAAM,KAAK,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,MAAM,EAAE,YAAY,MAC/E,MAAM,EAAE,OAAO,QAAQ,KAAK,KAAK,KAAK,QAAQ,KAAK,KAAK,CAC1D;KACD,IAAI,IAAI;MACN,MAAM,SAAyB;OAC7B,MAAM;OACN,SAAS,GAAG,OAAO;OACnB,YAAY;QACV,QAAQ,GAAG,OAAO;QAClB,OAAO,GAAG,OAAO;QACjB,SAAS,GAAG,OAAO;QACpB;OACD,GAAI,GAAG,aAAa,KAAA,KAAa,EAAE,UAAU,GAAG,UAAU;OAC1D,GAAI,GAAG,aAAa,KAAA,KAAa,EAAE,UAAU,GAAG,UAAU;OAC3D;MACD,OAAO,GAAG,CAAC,IAAI,kBAAkB,YAAY,MAAM,EAAE,MAAM,OAAO,OAAO,CAAC,CAAC;;KAE7E,OAAO,MACL,cACE,sBACA,mBAAmB,MAAM,MAAM,KAAK,QAAQ,KAAK,KAAK,CAAC,sCACvD,EAAE,OAAO,MAAM,OAAO,CACvB,CACF;;;GAGL,OAAO,MACL,cACE,sBACA,mBAAmB,MAAM,MAAM,uBAAuB,MAAM,SAAS,YAAY,MAAM,OAAO,IAC9F,EAAE,OAAO,MAAM,OAAO,CACvB,CACF;EAEH,KAAK,gBAAgB;GACnB,IAAI,CAAC,MAAM,UACT,OAAO,MAAM,cAAc,wBAAwB,qCAAqC,CAAC;GAG3F,MAAM,eACJ,IAAI,WAAW,QAAQ,QAAQ,MAAM,aACrC,6BAA6B,IAAI,WAAW,SAAS,MAAM,SAAS;GACtE,IAAI,CAAC,cACH,OAAO,MACL,cACE,wBACA,SAAS,MAAM,SAAS,0DACzB,CACF;GAEH,IAAI,wBAAwB,kBAC1B,OAAO,GAAG,CACR,IAAI,mBACF,YACA,MAAM,UACN,aAAa,QACb,aAAa,WACd,CACF,CAAC;GAEJ,MAAM,gBAAgB;GACtB,OAAO,MACL,cACE,wBACA,SAAS,MAAM,SAAS,gBAAgB,cAAc,QAAQ,mCAC/D,CACF;;EAGH,KAAK,wBACH,OAAO,MACL,cACE,wBACA,SAAS,MAAM,YAAY,UAAU,qDACtC,CACF;EAEH,SACE,OAAO,MACL,cACE,wBACA,yBAA0B,MAAsB,OACjD,CACF;;;;;;;;;AAwBP,SAAS,aAAa,MAA2C;CAC/D,QAAQ,KAAK,aAAb;EACE,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,cACH,OAAO;EACT,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,eACH,OAAO;EACT,KAAK,eACH,OAAO;EACT,KAAK,aACH,OAAO;EACT,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,cACH,OAAO;EACT,KAAK,iBACH,OAAO;EACT,KAAK,aACH,OAAO;EACT,KAAK,eACH,OAAO;EACT,KAAK,iBACH,OAAO;EACT,KAAK;GAaH,IAPE,KAKA,IACqB,QAAQ,SAAS,eACrB,QAAQ,OAAO;GAClC,OAAO;EAET,SACE,OAAO;;;;AAKb,SAAS,SAAS,OAA4B;CAO5C,OAAO,GANO,WAAW,SAAS,OAAO,MAAM,UAAU,WAAW,MAAM,QAAQ,GAMlE,QALD,YAAY,SAAS,OAAO,MAAM,WAAW,WAAW,MAAM,SAAS,GAKvD,QAH7B,uBAAuB,SAAS,OAAO,MAAM,sBAAsB,WAC/D,MAAM,oBACN;;AASR,MAAM,iBAA2C,EAC/C,yBAAyB;CAAC;CAAY;CAAY;CAAe;CAAO,EACzE;AAED,SAAS,gBAA6B;CACpC,OAAO,EAAE,QAAQ,EAAE,EAAE;;AAGvB,SAAS,oBAAoB,MAAyD;CACpF,QAAQ,KAAK,aAAb;EACE,KAAK,mBACH,OAAO;EACT,KAAK;EACL,KAAK,eACH,OAAO;EACT,KAAK;EACL,KAAK,kBACH,OAAO;EACT,KAAK;EACL,KAAK,aACH,OAAO;EACT,SACE,OAAO;;;AAIb,SAAS,gBAAgB,MAAyE;CAIhG,MAAM,UAAU;CAOhB,MAAM,WAMF,EAAE;CACN,IAAI,QAAQ,WAAW,SAAS,QAAQ,QAAQ;CAChD,IAAI,QAAQ,YAAY,SAAS,SAAS,QAAQ;CAClD,IAAI,QAAQ,WAAW,SAAS,QAAQ,QAAQ;CAChD,IAAI,QAAQ,gBAAgB,SAAS,aAAa,QAAQ;CAC1D,IAAI,QAAQ,UAAU,SAAS,OAAO,QAAQ;CAC9C,OAAO,OAAO,KAAK,SAAS,CAAC,SAAS,IAAK,WAA0C,KAAA;;AAGvF,SAAS,0BACP,MACA,SACoB;CACpB,MAAM,UAAU,cAAc,KAAK,MAAM,oBAAoB,KAAK,eAAe,6BAA6B,QAAQ,KAAK,KAAK;CAChI,MAAM,WAAW,gBAAgB,KAAK;CACtC,OAAO;EACL,MAAM,oBAAoB,KAAK;EAC/B;EACA,KAAK;EACL,GAAI,WAAW,EAAE,UAAU,GAAG,EAAE;EACjC;;AAGH,SAAgB,WACd,SAC0D;CAK1D,MAAM,iBAAiB,QAAQ,WAAW,KAAA;CAC1C,MAAM,SAAS,QAAQ,UAAU;CACjC,MAAM,SAAS,QAAQ,UAAU,eAAe;CAChD,MAAM,sBAAsB,QAAQ,uBAAuB,EAAE;CAE7D,MAAM,UAA2B;EAC/B,YAAY,QAAQ;EACpB,cAAc,QAAQ;EACtB,YAAY,QAAQ;EACpB,YAAY,QAAQ;EACpB,cAAc,QAAQ;EACtB;EACA;EACA;EACD;CAED,MAAM,aAAa,QAAQ,cAAc;CAEzC,IAAI,YAAY,QAAQ;CACxB,MAAM,cAAuC,EAAE;CAC/C,MAAM,yBAAkD,EAAE;CAE1D,KAAK,MAAM,YAAY,YAAY;EACjC,MAAM,SAAS,SAAS,WAAW,QAAQ;EAC3C,IAAI,OAAO,SAAS,SAAS;GAC3B,YAAY,OAAO;GACnB,IAAI,OAAO,QACT,YAAY,KAAK,GAAG,OAAO,MAAM;QAEjC,uBAAuB,KAAK,GAAG,OAAO,MAAM;;;CAKlD,MAAM,SAAS,CAAC,GAAG,UAAU,CAAC,MAAM,GAAG,MAAM;EAC3C,MAAM,YAAY,WAAW,EAAE,GAAG,WAAW,EAAE;EAC/C,IAAI,cAAc,GAAG,OAAO;EAC5B,MAAM,OAAO,SAAS,EAAE;EACxB,MAAM,OAAO,SAAS,EAAE;EACxB,OAAO,OAAO,OAAO,KAAK,OAAO,OAAO,IAAI;GAC5C;CAEF,MAAM,eAAwC,EAAE;CAChD,MAAM,YAAkC,EAAE;CAE1C,KAAK,MAAM,SAAS,QAAQ;EAC1B,MAAM,SAAS,eAAe,OAAO,QAAQ;EAC7C,IAAI,OAAO,IACT,aAAa,KAAK,GAAG,OAAO,MAAM;OAElC,UAAU,KAAK,OAAO,QAAQ;;CASlC,MAAM,UAAU,OAAO;CACvB,IAAI,eAAe;CACnB,IAAI,cAAc;CAClB,IAAI,kBAAkB;CACtB,IAAI,gBAAgB;EAClB,MAAM,iBAAiB,YAAqC,SAAgC;GAC1F,IAAI,QAAQ,SAAS,KAAK,eAAe,EAAE;IACzC,OAAO,KAAK,KAAK;IACjB;;GAEF,UAAU,KAAK,0BAA0B,MAAM,QAAQ,CAAC;;EAE1D,MAAM,qBAA8C,EAAE;EACtD,MAAM,oBAA6C,EAAE;EACrD,MAAM,wBAAiD,EAAE;EACzD,aAAa,QAAQ,cAAc,mBAAmB,CAAC;EACvD,YAAY,QAAQ,cAAc,kBAAkB,CAAC;EACrD,uBAAuB,QAAQ,cAAc,sBAAsB,CAAC;EACpE,eAAe;EACf,cAAc;EACd,kBAAkB;;CAGpB,IAAI,UAAU,SAAS,GACrB,OAAO,MAAM,UAAU;CAUzB,MAAM,qBAAqB,CAAC,GAAG,cAAc,GAAG,gBAAgB;CAChE,MAAM,cAAc,QAClB,mBAAmB,QAAQ,MAAM,aAAa,EAAE,KAAK,IAAI;CAe3D,OAAO,GAAG,EAAE,OAAA;EAZV,GAAG,WAAW,MAAM;EACpB,GAAG,WAAW,OAAO;EACrB,GAAG,WAAW,QAAQ;EACtB,GAAG,WAAW,SAAS;EACvB,GAAG;EACH,GAAG,WAAW,QAAQ;EACtB,GAAG,WAAW,aAAa;EAC3B,GAAG,WAAW,SAAS;EACvB,GAAG,WAAW,QAAQ;EACtB,GAAG,WAAW,aAAa;EAGZ,EAAE,CAAC"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"postgres-contract-serializer-CrET5Ov0.mjs","names":[],"sources":["../src/core/postgres-contract-serializer.ts"],"sourcesContent":["import type { Contract } from '@prisma-next/contract/types';\nimport {\n SqlContractSerializerBase,\n type SqlEntityHydrationFactory,\n} from '@prisma-next/family-sql/ir';\nimport {\n type AuthoringEntityContext,\n type AuthoringEntityTypeFactoryOutput,\n type AuthoringEntityTypeNamespace,\n isAuthoringEntityTypeDescriptor,\n} from '@prisma-next/framework-components/authoring';\nimport {\n type Namespace,\n NamespaceBase,\n UNBOUND_NAMESPACE_ID,\n} from '@prisma-next/framework-components/ir';\nimport type {\n SqlNamespaceTablesInput,\n SqlStorage,\n SqlStorageTypeEntry,\n StorageTable,\n} from '@prisma-next/sql-contract/types';\nimport type { JsonObject } from '@prisma-next/utils/json';\nimport type { Type } from 'arktype';\nimport { postgresAuthoringEntityTypes } from './authoring';\nimport type { PostgresEnumType } from './postgres-enum-type';\nimport { isPostgresSchema, PostgresSchema } from './postgres-schema';\n\nconst POSTGRES_AUTHORING_CTX: AuthoringEntityContext = {\n family: 'sql',\n target: 'postgres',\n};\n\nfunction isAuthoringEntityTypeFactoryOutput(\n output: unknown,\n): output is AuthoringEntityTypeFactoryOutput<unknown, unknown> {\n return (\n typeof output === 'object' &&\n output !== null &&\n typeof (output as AuthoringEntityTypeFactoryOutput).factory === 'function'\n );\n}\n\n/**\n * Walks a pack's entity-type namespace tree and emits the maps the\n * family base consumes — hydrators and validator-schema fragments, both\n * keyed by the descriptor's `discriminator`.\n */\nfunction collectEntityRegistryContributions(namespace: AuthoringEntityTypeNamespace): {\n readonly entityTypeRegistry: ReadonlyMap<string, SqlEntityHydrationFactory>;\n readonly validatorFragments: ReadonlyMap<string, Type<unknown>>;\n} {\n const entityTypeRegistry = new Map<string, SqlEntityHydrationFactory>();\n const validatorFragments = new Map<string, Type<unknown>>();\n const walk = (node: AuthoringEntityTypeNamespace): void => {\n for (const value of Object.values(node)) {\n if (isAuthoringEntityTypeDescriptor(value)) {\n if (isAuthoringEntityTypeFactoryOutput(value.output)) {\n const { factory } = value.output;\n entityTypeRegistry.set(\n value.discriminator,\n (raw) => factory(raw, POSTGRES_AUTHORING_CTX) as SqlStorageTypeEntry,\n );\n }\n if (value.validatorSchema !== undefined) {\n validatorFragments.set(value.discriminator, value.validatorSchema);\n }\n continue;\n }\n if (typeof value === 'object' && value !== null) {\n walk(value);\n }\n }\n };\n walk(namespace);\n return { entityTypeRegistry, validatorFragments };\n}\n\nexport class PostgresContractSerializer extends SqlContractSerializerBase<Contract<SqlStorage>> {\n constructor() {\n const { entityTypeRegistry, validatorFragments } = collectEntityRegistryContributions(\n postgresAuthoringEntityTypes,\n );\n super(entityTypeRegistry, validatorFragments);\n }\n\n protected override hydrateSqlNamespaceEntry(\n nsId: string,\n raw: Namespace | Record<string, unknown>,\n ): Namespace | SqlNamespaceTablesInput {\n if (raw instanceof NamespaceBase) {\n return raw;\n }\n const hydrated = super.hydrateSqlNamespaceEntry(nsId, raw) as {\n id: string;\n tables: Readonly<Record<string, StorageTable>>;\n types?: Readonly<Record<string, PostgresEnumType>>;\n };\n const { id, tables, types: hydratedNsTypes } = hydrated;\n\n const emptyTables = Object.keys(tables).length === 0;\n const emptyTypes = !hydratedNsTypes || Object.keys(hydratedNsTypes).length === 0;\n if (id === UNBOUND_NAMESPACE_ID && emptyTables && emptyTypes) {\n return PostgresSchema.unbound;\n }\n return new PostgresSchema({\n id,\n tables,\n ...(hydratedNsTypes !== undefined ? { types: hydratedNsTypes } : {}),\n });\n }\n\n override serializeContract(contract: Contract<SqlStorage>): JsonObject {\n const { storage, ...rest } = contract;\n const namespacesJson: Record<string, JsonObject> = {};\n for (const [nsId, ns] of Object.entries(storage.namespaces)) {\n if (isPostgresSchema(ns)) {\n namespacesJson[nsId] = this.serializePostgresNamespace(ns, ns.id === UNBOUND_NAMESPACE_ID);\n } else {\n // Family-level SqlNamespacePayload / SqlUnboundNamespace haven't\n // been promoted to a PostgresSchema instance yet (e.g. they came\n // straight from the TS builder, which uses the family-shared\n // SqlStorage constructor). Serialise them as postgres-schema /\n // postgres-unbound-schema so the round-trip through\n // deserializeContract hydrates them back into PostgresSchema\n // instances.\n const isUnboundSlot = nsId === UNBOUND_NAMESPACE_ID;\n const nsTypes = (ns as { readonly types?: Readonly<Record<string, unknown>> }).types ?? {};\n namespacesJson[nsId] = {\n id: nsId,\n kind: isUnboundSlot ? 'postgres-unbound-schema' : 'postgres-schema',\n tables: Object.fromEntries(\n Object.entries(ns.tables).map(([tableName, table]) => [\n tableName,\n this.serializeJsonValue(table) as JsonObject,\n ]),\n ),\n types: Object.fromEntries(\n Object.entries(nsTypes).map(([typeName, entry]) => [\n typeName,\n this.serializeJsonValue(entry) as JsonObject,\n ]),\n ),\n };\n }\n }\n const storageOut: Record<string, unknown> = {\n storageHash: String(storage.storageHash),\n namespaces: namespacesJson,\n };\n if (storage.types !== undefined) {\n const typesOut: Record<string, JsonObject> = {};\n for (const [name, entry] of Object.entries(storage.types)) {\n typesOut[name] = this.serializeJsonValue(entry) as JsonObject;\n }\n storageOut['types'] = typesOut;\n }\n return {\n ...rest,\n storage: storageOut,\n } as unknown as JsonObject;\n }\n\n private serializePostgresNamespace(ns: PostgresSchema, isUnboundSlot: boolean): JsonObject {\n const tablesOut: Record<string, JsonObject> = {};\n for (const [tableName, table] of Object.entries(ns.tables)) {\n tablesOut[tableName] = this.serializeJsonValue(table) as JsonObject;\n }\n const typesOut: Record<string, JsonObject> = {};\n for (const [typeName, ty] of Object.entries(ns.types)) {\n typesOut[typeName] = this.serializeJsonValue(ty) as JsonObject;\n }\n return {\n id: ns.id,\n kind: isUnboundSlot ? 'postgres-unbound-schema' : 'postgres-schema',\n tables: tablesOut,\n types: typesOut,\n };\n }\n\n private serializeJsonValue(value: unknown): unknown {\n return JSON.parse(JSON.stringify(value)) as unknown;\n }\n}\n"],"mappings":";;;;;;AA4BA,MAAM,yBAAiD;CACrD,QAAQ;CACR,QAAQ;CACT;AAED,SAAS,mCACP,QAC8D;CAC9D,OACE,OAAO,WAAW,YAClB,WAAW,QACX,OAAQ,OAA4C,YAAY;;;;;;;AASpE,SAAS,mCAAmC,WAG1C;CACA,MAAM,qCAAqB,IAAI,KAAwC;CACvE,MAAM,qCAAqB,IAAI,KAA4B;CAC3D,MAAM,QAAQ,SAA6C;EACzD,KAAK,MAAM,SAAS,OAAO,OAAO,KAAK,EAAE;GACvC,IAAI,gCAAgC,MAAM,EAAE;IAC1C,IAAI,mCAAmC,MAAM,OAAO,EAAE;KACpD,MAAM,EAAE,YAAY,MAAM;KAC1B,mBAAmB,IACjB,MAAM,gBACL,QAAQ,QAAQ,KAAK,uBAAuB,CAC9C;;IAEH,IAAI,MAAM,oBAAoB,KAAA,GAC5B,mBAAmB,IAAI,MAAM,eAAe,MAAM,gBAAgB;IAEpE;;GAEF,IAAI,OAAO,UAAU,YAAY,UAAU,MACzC,KAAK,MAAM;;;CAIjB,KAAK,UAAU;CACf,OAAO;EAAE;EAAoB;EAAoB;;AAGnD,IAAa,6BAAb,cAAgD,0BAAgD;CAC9F,cAAc;EACZ,MAAM,EAAE,oBAAoB,uBAAuB,mCACjD,6BACD;EACD,MAAM,oBAAoB,mBAAmB;;CAG/C,yBACE,MACA,KACqC;EACrC,IAAI,eAAe,eACjB,OAAO;EAOT,MAAM,EAAE,IAAI,QAAQ,OAAO,oBALV,MAAM,yBAAyB,MAAM,IAKC;EAEvD,MAAM,cAAc,OAAO,KAAK,OAAO,CAAC,WAAW;EACnD,MAAM,aAAa,CAAC,mBAAmB,OAAO,KAAK,gBAAgB,CAAC,WAAW;EAC/E,IAAI,OAAO,wBAAwB,eAAe,YAChD,OAAO,eAAe;EAExB,OAAO,IAAI,eAAe;GACxB;GACA;GACA,GAAI,oBAAoB,KAAA,IAAY,EAAE,OAAO,iBAAiB,GAAG,EAAE;GACpE,CAAC;;CAGJ,kBAA2B,UAA4C;EACrE,MAAM,EAAE,SAAS,GAAG,SAAS;EAC7B,MAAM,iBAA6C,EAAE;EACrD,KAAK,MAAM,CAAC,MAAM,OAAO,OAAO,QAAQ,QAAQ,WAAW,EACzD,IAAI,iBAAiB,GAAG,EACtB,eAAe,QAAQ,KAAK,2BAA2B,IAAI,GAAG,OAAO,qBAAqB;OACrF;GAQL,MAAM,gBAAgB,SAAS;GAC/B,MAAM,UAAW,GAA8D,SAAS,EAAE;GAC1F,eAAe,QAAQ;IACrB,IAAI;IACJ,MAAM,gBAAgB,4BAA4B;IAClD,QAAQ,OAAO,YACb,OAAO,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,WAAW,WAAW,CACpD,WACA,KAAK,mBAAmB,MAAM,CAC/B,CAAC,CACH;IACD,OAAO,OAAO,YACZ,OAAO,QAAQ,QAAQ,CAAC,KAAK,CAAC,UAAU,WAAW,CACjD,UACA,KAAK,mBAAmB,MAAM,CAC/B,CAAC,CACH;IACF;;EAGL,MAAM,aAAsC;GAC1C,aAAa,OAAO,QAAQ,YAAY;GACxC,YAAY;GACb;EACD,IAAI,QAAQ,UAAU,KAAA,GAAW;GAC/B,MAAM,WAAuC,EAAE;GAC/C,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,QAAQ,QAAQ,MAAM,EACvD,SAAS,QAAQ,KAAK,mBAAmB,MAAM;GAEjD,WAAW,WAAW;;EAExB,OAAO;GACL,GAAG;GACH,SAAS;GACV;;CAGH,2BAAmC,IAAoB,eAAoC;EACzF,MAAM,YAAwC,EAAE;EAChD,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,GAAG,OAAO,EACxD,UAAU,aAAa,KAAK,mBAAmB,MAAM;EAEvD,MAAM,WAAuC,EAAE;EAC/C,KAAK,MAAM,CAAC,UAAU,OAAO,OAAO,QAAQ,GAAG,MAAM,EACnD,SAAS,YAAY,KAAK,mBAAmB,GAAG;EAElD,OAAO;GACL,IAAI,GAAG;GACP,MAAM,gBAAgB,4BAA4B;GAClD,QAAQ;GACR,OAAO;GACR;;CAGH,mBAA2B,OAAyB;EAClD,OAAO,KAAK,MAAM,KAAK,UAAU,MAAM,CAAC"}
@@ -1 +0,0 @@
1
- {"version":3,"file":"postgres-schema-CK82EuWq.mjs","names":[],"sources":["../src/core/postgres-schema.ts"],"sourcesContent":["import {\n freezeNode,\n NamespaceBase,\n UNBOUND_NAMESPACE_ID,\n} from '@prisma-next/framework-components/ir';\nimport {\n type SqlNamespaceTablesInput,\n type SqlStorage,\n StorageTable,\n type StorageTableInput,\n} from '@prisma-next/sql-contract/types';\nimport { PostgresEnumType, type PostgresEnumTypeInput } from './postgres-enum-type';\nimport { escapeLiteral } from './sql-utils';\n\nexport interface PostgresSchemaInput {\n readonly id: string;\n readonly tables?: Record<string, StorageTable | StorageTableInput>;\n readonly types?: Record<string, PostgresEnumType | PostgresEnumTypeInput>;\n}\n\n/**\n * Postgres target `Namespace` concretion — a Postgres schema (`CREATE\n * SCHEMA …`). Each Postgres `SqlStorage` carries a\n * `namespaces: Record<NamespaceId, PostgresSchema>` map populated by\n * the Postgres PSL interpreter from `namespace { … }` AST buckets.\n *\n * Qualifier emission is the rendering seam: DDL / SQL emission asks the\n * namespace for its qualifier (`\"<schema>\"`) or for a qualified table\n * name (`\"<schema>\".\"<table>\"`) and consumes the result polymorphically.\n * The unbound singleton below overrides these methods to elide the\n * prefix entirely — call sites stay polymorphic and never branch on\n * `id === UNBOUND_NAMESPACE_ID`.\n */\nexport class PostgresSchema extends NamespaceBase {\n /**\n * Stable singleton reference for the late-bound slot. Materialised\n * lazily below the singleton subclass declaration so the static\n * initialiser sees the subclass before assigning. Consumers always\n * reach for `PostgresSchema.unbound` (or `PostgresUnboundSchema.instance`\n * — same identity).\n */\n static unbound: PostgresUnboundSchema;\n\n declare readonly kind: 'schema';\n readonly id: string;\n readonly tables: Readonly<Record<string, StorageTable>>;\n readonly types: Readonly<Record<string, PostgresEnumType>>;\n\n constructor(input: PostgresSchemaInput) {\n super();\n this.id = input.id;\n this.tables = Object.freeze(\n Object.fromEntries(\n Object.entries(input.tables ?? {}).map(([name, t]) => [\n name,\n t instanceof StorageTable ? t : new StorageTable(t),\n ]),\n ),\n );\n this.types = Object.freeze(\n Object.fromEntries(\n Object.entries(input.types ?? {}).map(([name, ty]) => [\n name,\n ty instanceof PostgresEnumType ? ty : new PostgresEnumType(ty),\n ]),\n ),\n );\n Object.defineProperty(this, 'kind', {\n value: 'schema',\n writable: false,\n enumerable: false,\n configurable: true,\n });\n freezeNode(this);\n }\n\n /**\n * The bare schema qualifier as it would appear in a rendered SQL\n * fragment (already quoted). The unbound-schema singleton overrides\n * this to return `''`.\n */\n qualifier(): string {\n return `\"${this.id}\"`;\n }\n\n /**\n * Qualify a table name with the schema prefix\n * (`\"<schema>\".\"<table>\"`). The unbound-schema singleton overrides\n * this to emit just `\"<table>\"` so the resolved DDL is unqualified\n * and `search_path` decides where the object lands at runtime.\n */\n qualifyTable(tableName: string): string {\n return `\"${this.id}\".\"${tableName}\"`;\n }\n\n /**\n * Render a SQL string-literal containing the qualified-name form\n * suitable for `to_regclass(...)` arguments (e.g. `'\"public\".\"user\"'`).\n * The unbound singleton overrides this to elide the schema prefix\n * (`'\"user\"'`) so `search_path` resolves the object at runtime.\n */\n regclassLiteral(name: string): string {\n return `'${escapeLiteral(this.qualifyTable(name))}'`;\n }\n\n /**\n * Render a SQL expression that evaluates to this namespace's schema\n * name at runtime, ready to drop into a `WHERE table_schema = …` /\n * `WHERE n.nspname = …` clause. Named schemas emit a quoted SQL\n * literal (`'public'`); the unbound singleton overrides this to emit\n * `current_schema()` so catalog queries match whichever schema the\n * connection's `search_path` resolved at runtime.\n */\n schemaSqlExpression(): string {\n return `'${escapeLiteral(this.id)}'`;\n }\n\n /**\n * The bare schema name a DDL planner should target when emitting\n * statements that need to identify this namespace in the live\n * database (e.g. `CREATE TABLE \"<ddlSchemaName>\".\"<table>\" …`,\n * catalog filters, planner conflict lookups). Named schemas resolve\n * to their own id; the unbound singleton overrides this to project\n * to `'public'` when a sibling public namespace exists in the same\n * contract — and falls back to the framework sentinel otherwise so\n * the planner can detect the missing-projection case explicitly.\n */\n ddlSchemaName(_storage: SqlStorage): string {\n return this.id;\n }\n}\n\n/**\n * Singleton subclass for the reserved sentinel namespace id\n * (`UNBOUND_NAMESPACE_ID`) — the late-bound Postgres slot whose binding\n * the connection's `search_path` resolves at runtime. Overrides\n * qualifier emission to elide the schema prefix; call sites that consume\n * `qualifier()` / `qualifyTable()` get unqualified output without\n * branching on the namespace id.\n *\n * This is the target-side materialization of \"the framework provides\n * affordances; targets implement specifics\": the framework names the\n * sentinel; Postgres decides what late-bound means here (the table\n * name, naked — the schema is supplied by the live connection's\n * `search_path`).\n */\nexport class PostgresUnboundSchema extends PostgresSchema {\n static readonly instance: PostgresUnboundSchema = new PostgresUnboundSchema();\n\n constructor(input?: PostgresSchemaInput) {\n super(input ?? { id: UNBOUND_NAMESPACE_ID });\n }\n\n override qualifier(): string {\n return '';\n }\n\n override qualifyTable(tableName: string): string {\n return `\"${tableName}\"`;\n }\n\n override schemaSqlExpression(): string {\n return 'current_schema()';\n }\n\n /**\n * The unbound slot has no schema name of its own, so DDL emission\n * projects it onto a sibling when one is available: if the contract\n * carries a `public` namespace, the late-bound slot resolves to\n * `'public'` (the default Postgres landing schema); otherwise it\n * resolves to the framework sentinel `UNBOUND_NAMESPACE_ID` so the\n * planner can recognise the unprojected case and route accordingly\n * (e.g. emit a conflict instead of silently picking a schema).\n */\n override ddlSchemaName(storage: SqlStorage): string {\n if (storage.namespaces['public'] !== undefined) {\n return 'public';\n }\n return UNBOUND_NAMESPACE_ID;\n }\n}\n\nPostgresSchema.unbound = PostgresUnboundSchema.instance;\n\n/**\n * Narrow an arbitrary namespace (or `undefined`) to `PostgresSchema`\n * so callers can dispatch to the polymorphic emission methods without\n * branching at the call site. Uses the structural `kind` discriminator\n * (`'schema'`) rather than `instanceof` so the check survives realm /\n * bundle / hot-reload boundaries — matching the rest of the IR's\n * narrowing convention. `PostgresUnboundSchema` passes through because\n * it inherits the same `kind: 'schema'` from `PostgresSchema`.\n */\nexport function isPostgresSchema(ns: unknown): ns is PostgresSchema {\n return (ns as { kind?: unknown } | null | undefined)?.kind === 'schema';\n}\n\n/**\n * Target-supplied `Namespace` factory the Postgres target plumbs\n * through `defineContract({ createNamespace })` and the SQL PSL\n * interpreter. Returns the unbound singleton for the framework\n * sentinel and a fresh `PostgresSchema` for any other coordinate.\n *\n * The factory has no per-call state — every named id deterministically\n * maps to a distinct schema instance — so callers can pass it through\n * by reference and trust the resulting `SqlStorage.namespaces` map to\n * be value-stable for a given input set.\n */\nexport function postgresCreateNamespace(input: SqlNamespaceTablesInput): PostgresSchema {\n if (input.id === UNBOUND_NAMESPACE_ID) {\n return new PostgresUnboundSchema(input);\n }\n return new PostgresSchema(input);\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;AAiCA,IAAa,iBAAb,cAAoC,cAAc;;;;;;;;CAQhD,OAAO;CAGP;CACA;CACA;CAEA,YAAY,OAA4B;EACtC,OAAO;EACP,KAAK,KAAK,MAAM;EAChB,KAAK,SAAS,OAAO,OACnB,OAAO,YACL,OAAO,QAAQ,MAAM,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,OAAO,CACpD,MACA,aAAa,eAAe,IAAI,IAAI,aAAa,EAAE,CACpD,CAAC,CACH,CACF;EACD,KAAK,QAAQ,OAAO,OAClB,OAAO,YACL,OAAO,QAAQ,MAAM,SAAS,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,QAAQ,CACpD,MACA,cAAc,mBAAmB,KAAK,IAAI,iBAAiB,GAAG,CAC/D,CAAC,CACH,CACF;EACD,OAAO,eAAe,MAAM,QAAQ;GAClC,OAAO;GACP,UAAU;GACV,YAAY;GACZ,cAAc;GACf,CAAC;EACF,WAAW,KAAK;;;;;;;CAQlB,YAAoB;EAClB,OAAO,IAAI,KAAK,GAAG;;;;;;;;CASrB,aAAa,WAA2B;EACtC,OAAO,IAAI,KAAK,GAAG,KAAK,UAAU;;;;;;;;CASpC,gBAAgB,MAAsB;EACpC,OAAO,IAAI,cAAc,KAAK,aAAa,KAAK,CAAC,CAAC;;;;;;;;;;CAWpD,sBAA8B;EAC5B,OAAO,IAAI,cAAc,KAAK,GAAG,CAAC;;;;;;;;;;;;CAapC,cAAc,UAA8B;EAC1C,OAAO,KAAK;;;;;;;;;;;;;;;;;AAkBhB,IAAa,wBAAb,MAAa,8BAA8B,eAAe;CACxD,OAAgB,WAAkC,IAAI,uBAAuB;CAE7E,YAAY,OAA6B;EACvC,MAAM,SAAS,EAAE,IAAI,sBAAsB,CAAC;;CAG9C,YAA6B;EAC3B,OAAO;;CAGT,aAAsB,WAA2B;EAC/C,OAAO,IAAI,UAAU;;CAGvB,sBAAuC;EACrC,OAAO;;;;;;;;;;;CAYT,cAAuB,SAA6B;EAClD,IAAI,QAAQ,WAAW,cAAc,KAAA,GACnC,OAAO;EAET,OAAO;;;AAIX,eAAe,UAAU,sBAAsB;;;;;;;;;;AAW/C,SAAgB,iBAAiB,IAAmC;CAClE,OAAQ,IAA8C,SAAS;;;;;;;;;;;;;AAcjE,SAAgB,wBAAwB,OAAgD;CACtF,IAAI,MAAM,OAAO,sBACf,OAAO,IAAI,sBAAsB,MAAM;CAEzC,OAAO,IAAI,eAAe,MAAM"}