@prisma-next/target-sqlite 0.11.0-dev.9 → 0.12.0

package/dist/tables-DGRRJasz.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"tables-DGRRJasz.mjs","names":[],"sources":["../src/core/migrations/operations/shared.ts","../src/core/migrations/operations/columns.ts","../src/core/migrations/planner-ddl-builders.ts","../src/core/migrations/operations/indexes.ts","../src/core/migrations/operations/tables.ts"],"sourcesContent":["import type { SqlMigrationPlanOperation } from '@prisma-next/family-sql/control';\nimport type { ReferentialAction } from '@prisma-next/sql-contract/types';\nimport { quoteIdentifier } from '../../sql-utils';\nimport type { SqlitePlanTargetDetails } from '../planner-target-details';\n\nexport type Op = SqlMigrationPlanOperation<SqlitePlanTargetDetails>;\n\nexport function step(description: string, sql: string): { description: string; sql: string } {\n  return { description, sql };\n}\n\n/**\n * Flat, fully-resolved column shape consumed by `createTable`, `addColumn`,\n * and `recreateTable`. Codec / `typeRef` / default expansion happens at the\n * call-construction site (in the issue-planner / strategies) so the\n * operation factories deal only in pre-rendered SQL fragments — mirrors the\n * Postgres `ColumnSpec` pattern.\n *\n * - `typeSql` is the column's DDL type token (e.g. `\"INTEGER\"`, `\"TEXT\"`).\n * - `defaultSql` is the full `DEFAULT …` clause (or empty when there is no\n *   default and when the column is rendered as `INTEGER PRIMARY KEY\n *   AUTOINCREMENT`, since SQLite forbids a default on an autoincrement PK).\n * - `inlineAutoincrementPrimaryKey` directs the renderer to emit\n *   `INTEGER PRIMARY KEY AUTOINCREMENT` inline and to skip the table-level\n *   primary-key constraint for this column. SQLite-specific: the column\n *   becomes an alias for `rowid` only when this exact form is used.\n */\nexport interface SqliteColumnSpec {\n  readonly name: string;\n  readonly typeSql: string;\n  readonly defaultSql: string;\n  readonly nullable: boolean;\n  readonly inlineAutoincrementPrimaryKey?: boolean;\n}\n\nexport interface SqlitePrimaryKeySpec {\n  readonly columns: readonly string[];\n}\n\nexport interface SqliteUniqueSpec {\n  readonly columns: readonly string[];\n  readonly name?: string;\n}\n\nexport interface SqliteForeignKeySpec {\n  readonly columns: readonly string[];\n  readonly references: {\n    readonly table: string;\n    readonly columns: readonly string[];\n  };\n  readonly name?: string;\n  readonly onDelete?: ReferentialAction;\n  readonly onUpdate?: ReferentialAction;\n  readonly constraint: boolean;\n}\n\n/**\n * Flat shape of a contract table for DDL emission. Used by both\n * `createTable` (additive) and `recreateTable` (widening/destructive).\n */\nexport interface SqliteTableSpec {\n  readonly columns: readonly SqliteColumnSpec[];\n  readonly primaryKey?: SqlitePrimaryKeySpec;\n  readonly uniques?: readonly SqliteUniqueSpec[];\n  readonly foreignKeys?: readonly SqliteForeignKeySpec[];\n}\n\n/**\n * Index recreation spec for `recreateTable`. Both declared indexes and\n * FK-backing indexes flatten to the same shape; the planner dedupes by\n * column-set before constructing the call.\n */\nexport interface SqliteIndexSpec {\n  readonly name: string;\n  readonly columns: readonly string[];\n}\n\nconst REFERENTIAL_ACTION_SQL: Record<ReferentialAction, string> = {\n  noAction: 'NO ACTION',\n  restrict: 'RESTRICT',\n  cascade: 'CASCADE',\n  setNull: 'SET NULL',\n  setDefault: 'SET DEFAULT',\n};\n\n/**\n * Renders a single column's inline DDL fragment within a `CREATE TABLE`\n * statement. Honours the `inlineAutoincrementPrimaryKey` flag — SQLite\n * treats `INTEGER PRIMARY KEY AUTOINCREMENT` as a special form that aliases\n * `rowid`, and the column must not carry a `DEFAULT` or repeat `NOT NULL`.\n */\nexport function renderColumnDefinition(column: SqliteColumnSpec): string {\n  const parts: string[] = [quoteIdentifier(column.name), column.typeSql];\n  if (column.inlineAutoincrementPrimaryKey) {\n    parts.push('PRIMARY KEY AUTOINCREMENT');\n  } else {\n    if (column.defaultSql) parts.push(column.defaultSql);\n    if (!column.nullable) parts.push('NOT NULL');\n  }\n  return parts.join(' ');\n}\n\n/**\n * Renders an inline FOREIGN KEY constraint clause for a `CREATE TABLE`\n * body. Returns the empty string when `constraint` is false (the FK is\n * tracked at the contract level for index-creation purposes only and must\n * not produce DDL).\n */\nexport function renderForeignKeyClause(fk: SqliteForeignKeySpec): string {\n  if (!fk.constraint) return '';\n  const name = fk.name ? `CONSTRAINT ${quoteIdentifier(fk.name)} ` : '';\n  let sql = `${name}FOREIGN KEY (${fk.columns.map(quoteIdentifier).join(', ')}) REFERENCES ${quoteIdentifier(fk.references.table)} (${fk.references.columns.map(quoteIdentifier).join(', ')})`;\n  if (fk.onDelete !== undefined) {\n    sql += ` ON DELETE ${REFERENTIAL_ACTION_SQL[fk.onDelete]}`;\n  }\n  if (fk.onUpdate !== undefined) {\n    sql += ` ON UPDATE ${REFERENTIAL_ACTION_SQL[fk.onUpdate]}`;\n  }\n  return sql;\n}\n","import { escapeLiteral, quoteIdentifier } from '../../sql-utils';\nimport { buildTargetDetails } from '../planner-target-details';\nimport { type Op, type SqliteColumnSpec, step } from './shared';\n\nexport function addColumn(tableName: string, column: SqliteColumnSpec): Op {\n  const parts = [\n    `ALTER TABLE ${quoteIdentifier(tableName)}`,\n    `ADD COLUMN ${quoteIdentifier(column.name)} ${column.typeSql}`,\n    column.defaultSql,\n    column.nullable ? '' : 'NOT NULL',\n  ].filter(Boolean);\n  const addSql = parts.join(' ');\n\n  return {\n    id: `column.${tableName}.${column.name}`,\n    label: `Add column ${column.name} on ${tableName}`,\n    summary: `Adds column ${column.name} on ${tableName}`,\n    operationClass: 'additive',\n    target: { id: 'sqlite', details: buildTargetDetails('column', column.name, tableName) },\n    precheck: [\n      step(\n        `ensure column \"${column.name}\" is missing`,\n        `SELECT COUNT(*) = 0 FROM pragma_table_info('${escapeLiteral(tableName)}') WHERE name = '${escapeLiteral(column.name)}'`,\n      ),\n    ],\n    execute: [step(`add column \"${column.name}\"`, addSql)],\n    postcheck: [\n      step(\n        `verify column \"${column.name}\" exists`,\n        `SELECT COUNT(*) > 0 FROM pragma_table_info('${escapeLiteral(tableName)}') WHERE name = '${escapeLiteral(column.name)}'`,\n      ),\n    ],\n  };\n}\n\nexport function dropColumn(tableName: string, columnName: string): Op {\n  return {\n    id: `dropColumn.${tableName}.${columnName}`,\n    label: `Drop column ${columnName} on ${tableName}`,\n    summary: `Drops column ${columnName} on ${tableName} which is not in the contract`,\n    operationClass: 'destructive',\n    target: { id: 'sqlite', details: buildTargetDetails('column', columnName, tableName) },\n    precheck: [\n      step(\n        `ensure column \"${columnName}\" exists on \"${tableName}\"`,\n        `SELECT COUNT(*) > 0 FROM pragma_table_info('${escapeLiteral(tableName)}') WHERE name = '${escapeLiteral(columnName)}'`,\n      ),\n    ],\n    execute: [\n      step(\n        `drop column \"${columnName}\" from \"${tableName}\"`,\n        `ALTER TABLE ${quoteIdentifier(tableName)} DROP COLUMN ${quoteIdentifier(columnName)}`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify column \"${columnName}\" is gone from \"${tableName}\"`,\n        `SELECT COUNT(*) = 0 FROM pragma_table_info('${escapeLiteral(tableName)}') WHERE name = '${escapeLiteral(columnName)}'`,\n      ),\n    ],\n  };\n}\n","/**\n * Low-level DDL fragment builders for SQLite migrations.\n *\n * These helpers consume `StorageColumn` (the contract shape, possibly with\n * `typeRef`) and produce string fragments. They are called once per column\n * at the call-construction boundary in `issue-planner.ts` / strategies to\n * build flat `SqliteColumnSpec`s; the operation factories themselves never\n * see `StorageColumn` or `storageTypes`.\n */\n\nimport {\n  isPostgresEnumStorageEntry,\n  type PostgresEnumStorageEntry,\n  type StorageColumn,\n  type StorageTable,\n  type StorageTypeInstance,\n} from '@prisma-next/sql-contract/types';\nimport { escapeLiteral, quoteIdentifier } from '../sql-utils';\n\ntype SqliteColumnDefault = StorageColumn['default'];\n\nconst SAFE_NATIVE_TYPE_PATTERN = /^[a-zA-Z][a-zA-Z0-9_ ]*$/;\n\nfunction assertSafeNativeType(nativeType: string): void {\n  if (!SAFE_NATIVE_TYPE_PATTERN.test(nativeType)) {\n    throw new Error(\n      `Unsafe native type name in contract: \"${nativeType}\". ` +\n        'Native type names must match /^[a-zA-Z][a-zA-Z0-9_ ]*$/',\n    );\n  }\n}\n\nfunction assertSafeDefaultExpression(expression: string): void {\n  if (expression.includes(';') || /--|\\/\\*|\\bSELECT\\b/i.test(expression)) {\n    throw new Error(\n      `Unsafe default expression in contract: \"${expression}\". ` +\n        'Default expressions must not contain semicolons, SQL comment tokens, or subqueries.',\n    );\n  }\n}\n\n/**\n * Renders the column's DDL type token (e.g. `\"INTEGER\"`, `\"TEXT\"`).\n * Resolves `typeRef` against `storageTypes` and validates the resulting\n * native type against a safe-identifier pattern.\n */\nexport function buildColumnTypeSql(\n  column: StorageColumn,\n  storageTypes: Record<string, StorageTypeInstance | PostgresEnumStorageEntry> = {},\n): string {\n  const resolved = resolveColumnTypeMetadata(column, storageTypes);\n  assertSafeNativeType(resolved.nativeType);\n  return resolved.nativeType.toUpperCase();\n}\n\n/**\n * Renders the column's `DEFAULT …` clause. Returns the empty string when\n * there is no default, and also when the default is `autoincrement()` —\n * SQLite encodes that as `INTEGER PRIMARY KEY AUTOINCREMENT` inline on the\n * column definition, not as a separate DEFAULT.\n */\nexport function buildColumnDefaultSql(columnDefault: SqliteColumnDefault | undefined): string {\n  if (!columnDefault) return '';\n\n  switch (columnDefault.kind) {\n    case 'literal':\n      return `DEFAULT ${renderDefaultLiteral(columnDefault.value)}`;\n    case 'function': {\n      if (columnDefault.expression === 'autoincrement()') return '';\n      if (columnDefault.expression === 'now()') return \"DEFAULT (datetime('now'))\";\n      assertSafeDefaultExpression(columnDefault.expression);\n      return `DEFAULT (${columnDefault.expression})`;\n    }\n  }\n}\n\nexport function renderDefaultLiteral(value: unknown): string {\n  if (value instanceof Date) {\n    return `'${escapeLiteral(value.toISOString())}'`;\n  }\n  if (typeof value === 'string') {\n    return `'${escapeLiteral(value)}'`;\n  }\n  if (typeof value === 'number' || typeof value === 'bigint') {\n    return String(value);\n  }\n  if (typeof value === 'boolean') {\n    return value ? '1' : '0';\n  }\n  if (value === null) {\n    return 'NULL';\n  }\n  return `'${escapeLiteral(JSON.stringify(value))}'`;\n}\n\nexport function buildCreateIndexSql(\n  tableName: string,\n  indexName: string,\n  columns: readonly string[],\n  unique = false,\n): string {\n  const uniqueKeyword = unique ? 'UNIQUE ' : '';\n  return `CREATE ${uniqueKeyword}INDEX ${quoteIdentifier(indexName)} ON ${quoteIdentifier(tableName)} (${columns.map(quoteIdentifier).join(', ')})`;\n}\n\nexport function buildDropIndexSql(indexName: string): string {\n  return `DROP INDEX IF EXISTS ${quoteIdentifier(indexName)}`;\n}\n\n/**\n * True when the column is rendered inline as `INTEGER PRIMARY KEY\n * AUTOINCREMENT`. Requires the column's default to be `autoincrement()` and\n * the column to be the sole member of the table's primary key — anything\n * else falls back to a separate PRIMARY KEY constraint with a default\n * AUTOINCREMENT semantics expressed elsewhere.\n */\nexport function isInlineAutoincrementPrimaryKey(table: StorageTable, columnName: string): boolean {\n  if (table.primaryKey?.columns.length !== 1) return false;\n  if (table.primaryKey.columns[0] !== columnName) return false;\n  const column = table.columns[columnName];\n  return column?.default?.kind === 'function' && column.default.expression === 'autoincrement()';\n}\n\ntype ResolvedColumnTypeMetadata = Pick<StorageColumn, 'nativeType' | 'codecId' | 'typeParams'>;\n\nfunction resolveColumnTypeMetadata(\n  column: StorageColumn,\n  storageTypes: Record<string, StorageTypeInstance | PostgresEnumStorageEntry>,\n): ResolvedColumnTypeMetadata {\n  if (!column.typeRef) {\n    return column;\n  }\n  const referencedType = storageTypes[column.typeRef];\n  if (!referencedType) {\n    throw new Error(\n      `Storage type \"${column.typeRef}\" referenced by column is not defined in storage.types.`,\n    );\n  }\n  if (isPostgresEnumStorageEntry(referencedType)) {\n    return {\n      codecId: referencedType.codecId,\n      nativeType: referencedType.nativeType,\n      typeParams: { values: referencedType.values } as Record<string, unknown>,\n    };\n  }\n  return {\n    codecId: referencedType.codecId,\n    nativeType: referencedType.nativeType,\n    typeParams: referencedType.typeParams,\n  };\n}\n","import { escapeLiteral } from '../../sql-utils';\nimport { buildCreateIndexSql, buildDropIndexSql } from '../planner-ddl-builders';\nimport { buildTargetDetails } from '../planner-target-details';\nimport { type Op, step } from './shared';\n\nexport function createIndex(tableName: string, indexName: string, columns: readonly string[]): Op {\n  return {\n    id: `index.${tableName}.${indexName}`,\n    label: `Create index ${indexName} on ${tableName}`,\n    summary: `Creates index ${indexName} on ${tableName}`,\n    operationClass: 'additive',\n    target: { id: 'sqlite', details: buildTargetDetails('index', indexName, tableName) },\n    precheck: [\n      step(\n        `ensure index \"${indexName}\" is missing`,\n        `SELECT COUNT(*) = 0 FROM sqlite_master WHERE type = 'index' AND name = '${escapeLiteral(indexName)}'`,\n      ),\n    ],\n    execute: [\n      step(`create index \"${indexName}\"`, buildCreateIndexSql(tableName, indexName, columns)),\n    ],\n    postcheck: [\n      step(\n        `verify index \"${indexName}\" exists`,\n        `SELECT COUNT(*) > 0 FROM sqlite_master WHERE type = 'index' AND name = '${escapeLiteral(indexName)}'`,\n      ),\n    ],\n  };\n}\n\nexport function dropIndex(tableName: string, indexName: string): Op {\n  return {\n    id: `dropIndex.${tableName}.${indexName}`,\n    label: `Drop index ${indexName} on ${tableName}`,\n    summary: `Drops index ${indexName} on ${tableName} which is not in the contract`,\n    operationClass: 'destructive',\n    target: { id: 'sqlite', details: buildTargetDetails('index', indexName, tableName) },\n    precheck: [\n      step(\n        `ensure index \"${indexName}\" exists`,\n        `SELECT COUNT(*) > 0 FROM sqlite_master WHERE type = 'index' AND name = '${escapeLiteral(indexName)}'`,\n      ),\n    ],\n    execute: [step(`drop index \"${indexName}\"`, buildDropIndexSql(indexName))],\n    postcheck: [\n      step(\n        `verify index \"${indexName}\" is gone`,\n        `SELECT COUNT(*) = 0 FROM sqlite_master WHERE type = 'index' AND name = '${escapeLiteral(indexName)}'`,\n      ),\n    ],\n  };\n}\n","import type { MigrationOperationClass } from '@prisma-next/family-sql/control';\nimport type { SchemaIssue } from '@prisma-next/framework-components/control';\nimport { stripOuterParens } from '../../default-normalizer';\nimport { escapeLiteral, quoteIdentifier } from '../../sql-utils';\nimport { buildCreateIndexSql } from '../planner-ddl-builders';\nimport { buildTargetDetails } from '../planner-target-details';\nimport {\n  type Op,\n  renderColumnDefinition,\n  renderForeignKeyClause,\n  type SqliteIndexSpec,\n  type SqliteTableSpec,\n  step,\n} from './shared';\n\n/**\n * Renders the body of a `CREATE TABLE <name> ( … )` statement from a flat\n * `SqliteTableSpec`. SQLite's `INTEGER PRIMARY KEY AUTOINCREMENT` form is\n * inline on the column; the table-level PRIMARY KEY clause is emitted only\n * when no column carries `inlineAutoincrementPrimaryKey`.\n */\nfunction renderCreateTableSql(tableName: string, spec: SqliteTableSpec): string {\n  const columnDefs = spec.columns.map(renderColumnDefinition);\n\n  const constraintDefs: string[] = [];\n  const hasInlinePk = spec.columns.some((c) => c.inlineAutoincrementPrimaryKey);\n  if (spec.primaryKey && !hasInlinePk) {\n    constraintDefs.push(`PRIMARY KEY (${spec.primaryKey.columns.map(quoteIdentifier).join(', ')})`);\n  }\n\n  for (const u of spec.uniques ?? []) {\n    const name = u.name ? `CONSTRAINT ${quoteIdentifier(u.name)} ` : '';\n    constraintDefs.push(`${name}UNIQUE (${u.columns.map(quoteIdentifier).join(', ')})`);\n  }\n\n  for (const fk of spec.foreignKeys ?? []) {\n    const clause = renderForeignKeyClause(fk);\n    if (clause) constraintDefs.push(clause);\n  }\n\n  const allDefs = [...columnDefs, ...constraintDefs];\n  return `CREATE TABLE ${quoteIdentifier(tableName)} (\\n  ${allDefs.join(',\\n  ')}\\n)`;\n}\n\nexport function createTable(tableName: string, spec: SqliteTableSpec): Op {\n  return {\n    id: `table.${tableName}`,\n    label: `Create table ${tableName}`,\n    summary: `Creates table ${tableName} with required columns`,\n    operationClass: 'additive',\n    target: { id: 'sqlite', details: buildTargetDetails('table', tableName) },\n    precheck: [\n      step(\n        `ensure table \"${tableName}\" does not exist`,\n        `SELECT COUNT(*) = 0 FROM sqlite_master WHERE type = 'table' AND name = '${escapeLiteral(tableName)}'`,\n      ),\n    ],\n    execute: [step(`create table \"${tableName}\"`, renderCreateTableSql(tableName, spec))],\n    postcheck: [\n      step(\n        `verify table \"${tableName}\" exists`,\n        `SELECT COUNT(*) > 0 FROM sqlite_master WHERE type = 'table' AND name = '${escapeLiteral(tableName)}'`,\n      ),\n    ],\n  };\n}\n\nexport function dropTable(tableName: string): Op {\n  return {\n    id: `dropTable.${tableName}`,\n    label: `Drop table ${tableName}`,\n    summary: `Drops table ${tableName} which is not in the contract`,\n    operationClass: 'destructive',\n    target: { id: 'sqlite', details: buildTargetDetails('table', tableName) },\n    precheck: [\n      step(\n        `ensure table \"${tableName}\" exists`,\n        `SELECT COUNT(*) > 0 FROM sqlite_master WHERE type = 'table' AND name = '${escapeLiteral(tableName)}'`,\n      ),\n    ],\n    execute: [step(`drop table \"${tableName}\"`, `DROP TABLE ${quoteIdentifier(tableName)}`)],\n    postcheck: [\n      step(\n        `verify table \"${tableName}\" is gone`,\n        `SELECT COUNT(*) = 0 FROM sqlite_master WHERE type = 'table' AND name = '${escapeLiteral(tableName)}'`,\n      ),\n    ],\n  };\n}\n\nexport interface RecreateTableArgs {\n  readonly tableName: string;\n  /** New (post-recreate) shape of the table. Same flat spec as `createTable`. */\n  readonly contractTable: SqliteTableSpec;\n  /**\n   * Names of columns that exist in the live (pre-recreate) schema. Used to\n   * compute the `INSERT INTO temp ... SELECT ... FROM old` column list — only\n   * shared columns are copied, so dropped columns are left behind and added\n   * columns come from defaults.\n   */\n  readonly schemaColumnNames: readonly string[];\n  /**\n   * Indexes (declared + FK-backing, deduped by column-set) to recreate after\n   * the table has been replaced. The planner pre-merges these.\n   */\n  readonly indexes: readonly SqliteIndexSpec[];\n  /** Human-readable summary of the change, built by the planner from issues. */\n  readonly summary: string;\n  /**\n   * Per-issue postcheck steps appended after the structural postchecks. The\n   * planner pre-builds these via `buildRecreatePostchecks` so the call IR\n   * carries flat, serializable data only — no `SchemaIssue` references.\n   */\n  readonly postchecks: readonly { readonly description: string; readonly sql: string }[];\n  readonly operationClass: MigrationOperationClass;\n}\n\nexport function recreateTable(args: RecreateTableArgs): Op {\n  const {\n    tableName,\n    contractTable,\n    schemaColumnNames,\n    indexes,\n    summary,\n    postchecks,\n    operationClass,\n  } = args;\n  const tempName = `_prisma_new_${tableName}`;\n  const liveSet = new Set(schemaColumnNames);\n  const sharedColumns = contractTable.columns.filter((c) => liveSet.has(c.name)).map((c) => c.name);\n  const columnList = sharedColumns.map(quoteIdentifier).join(', ');\n\n  const indexStatements = indexes.map((idx) => ({\n    description: `recreate index \"${idx.name}\" on \"${tableName}\"`,\n    sql: buildCreateIndexSql(tableName, idx.name, idx.columns),\n  }));\n\n  // If the contract retains no columns from the live table, an `INSERT INTO\n  // tmp () SELECT FROM old` is invalid SQL — and would also be a no-op since\n  // there's nothing to copy. Skip the copy step in that case; the new\n  // (empty) table replaces the old one directly.\n  const copyStep =\n    sharedColumns.length > 0\n      ? [\n          step(\n            `copy data from \"${tableName}\" to \"${tempName}\"`,\n            `INSERT INTO ${quoteIdentifier(tempName)} (${columnList}) SELECT ${columnList} FROM ${quoteIdentifier(tableName)}`,\n          ),\n        ]\n      : [];\n\n  return {\n    id: `recreateTable.${tableName}`,\n    label: `Recreate table ${tableName}`,\n    summary,\n    operationClass,\n    target: { id: 'sqlite', details: buildTargetDetails('table', tableName) },\n    precheck: [\n      step(\n        `ensure table \"${tableName}\" exists`,\n        `SELECT COUNT(*) > 0 FROM sqlite_master WHERE type = 'table' AND name = '${escapeLiteral(tableName)}'`,\n      ),\n      step(\n        `ensure temp table \"${tempName}\" does not exist`,\n        `SELECT COUNT(*) = 0 FROM sqlite_master WHERE type = 'table' AND name = '${escapeLiteral(tempName)}'`,\n      ),\n    ],\n    execute: [\n      step(\n        `create new table \"${tempName}\" with desired schema`,\n        renderCreateTableSql(tempName, contractTable),\n      ),\n      ...copyStep,\n      step(`drop old table \"${tableName}\"`, `DROP TABLE ${quoteIdentifier(tableName)}`),\n      step(\n        `rename \"${tempName}\" to \"${tableName}\"`,\n        `ALTER TABLE ${quoteIdentifier(tempName)} RENAME TO ${quoteIdentifier(tableName)}`,\n      ),\n      ...indexStatements,\n    ],\n    postcheck: [\n      step(\n        `verify table \"${tableName}\" exists`,\n        `SELECT COUNT(*) > 0 FROM sqlite_master WHERE type = 'table' AND name = '${escapeLiteral(tableName)}'`,\n      ),\n      step(\n        `verify temp table \"${tempName}\" is gone`,\n        `SELECT COUNT(*) = 0 FROM sqlite_master WHERE type = 'table' AND name = '${escapeLiteral(tempName)}'`,\n      ),\n      ...postchecks,\n    ],\n  };\n}\n\n/**\n * Build a one-line summary of a recreate-table operation from the schema\n * issues that triggered it. Lives next to `recreateTable` so the planner\n * (which has the issues) can produce the same description the factory\n * used to build inline. Keeping the formatting target-side keeps\n * `RecreateTableCall` issue-free at the IR layer.\n */\nexport function buildRecreateSummary(tableName: string, issues: readonly SchemaIssue[]): string {\n  const messages = issues.map((i) => i.message).join('; ');\n  return `Recreates table ${tableName} to apply schema changes: ${messages}`;\n}\n\nconst COLUMN_LEVEL_ISSUE_KINDS = new Set<SchemaIssue['kind']>([\n  'nullability_mismatch',\n  'default_mismatch',\n  'default_missing',\n  'extra_default',\n  'type_mismatch',\n]);\n\nconst PK_ISSUE_KINDS = new Set<SchemaIssue['kind']>(['primary_key_mismatch', 'extra_primary_key']);\n\nconst UNIQUE_ISSUE_KINDS = new Set<SchemaIssue['kind']>([\n  'unique_constraint_mismatch',\n  'extra_unique_constraint',\n]);\n\nconst FK_ISSUE_KINDS = new Set<SchemaIssue['kind']>(['foreign_key_mismatch', 'extra_foreign_key']);\n\n/**\n * Returns the columns the contract expects as the table's primary key. Picks\n * up SQLite's inline `INTEGER PRIMARY KEY AUTOINCREMENT` form when no\n * explicit `primaryKey` clause is set on the spec.\n */\nfunction expectedPrimaryKeyColumns(spec: SqliteTableSpec): readonly string[] {\n  if (spec.primaryKey) return spec.primaryKey.columns;\n  const inlinePk = spec.columns.find((c) => c.inlineAutoincrementPrimaryKey);\n  return inlinePk ? [inlinePk.name] : [];\n}\n\nfunction quoteSqlList(values: readonly string[]): string {\n  return values.map((v) => `'${escapeLiteral(v)}'`).join(', ');\n}\n\n/**\n * Per-issue postchecks verifying the recreated table's shape against the\n * contract spec. Column-level issues (`nullability_mismatch`,\n * `default_mismatch`, …) emit one targeted check each; constraint-level\n * issues (`primary_key_mismatch`, `unique_constraint_mismatch`,\n * `foreign_key_mismatch`, plus their `extra_*` siblings) emit one\n * `pragma_*`-driven check per declared constraint in the contract spec, so\n * a recreated table with the right columns but the wrong PK / unique / FK\n * shape fails the postcheck instead of passing silently. Exported so the\n * planner can pre-build the list at construction time and\n * `RecreateTableCall` doesn't have to carry `SchemaIssue` objects through\n * to render time.\n */\nexport function buildRecreatePostchecks(\n  tableName: string,\n  issues: readonly SchemaIssue[],\n  spec: SqliteTableSpec,\n): Array<{ description: string; sql: string }> {\n  const checks: Array<{ description: string; sql: string }> = [];\n  const t = escapeLiteral(tableName);\n  const byName = new Map(spec.columns.map((c) => [c.name, c]));\n\n  for (const issue of issues) {\n    if (issue.kind === 'enum_values_changed') continue;\n    if (!COLUMN_LEVEL_ISSUE_KINDS.has(issue.kind)) continue;\n    if (!issue.column) continue;\n    const c = escapeLiteral(issue.column);\n    if (issue.kind === 'nullability_mismatch') {\n      // `expected` carries the contract's nullable flag as a string. We only\n      // emit a postcheck when the value is recognized — anything else\n      // (case-folded, numeric coding, etc.) is left to the structural\n      // verifier so a typo here can't silently invert the meaning.\n      let wantNotNull: boolean | undefined;\n      if (issue.expected === 'false') wantNotNull = true;\n      else if (issue.expected === 'true') wantNotNull = false;\n      if (wantNotNull !== undefined) {\n        checks.push({\n          description: `verify \"${issue.column}\" nullability on \"${tableName}\"`,\n          sql: `SELECT COUNT(*) > 0 FROM pragma_table_info('${t}') WHERE name = '${c}' AND \"notnull\" = ${wantNotNull ? 1 : 0}`,\n        });\n      }\n    }\n    if (issue.kind === 'default_mismatch' || issue.kind === 'default_missing') {\n      const colSpec = byName.get(issue.column);\n      const expectedRaw = colSpec?.defaultSql.startsWith('DEFAULT ')\n        ? // SQLite's pragma_table_info.dflt_value strips outer parens for\n          // expression defaults (per the SQLite docs), so `(datetime('now'))`\n          // is stored as `datetime('now')`. Strip them here so the postcheck\n          // matches.\n          stripOuterParens(colSpec.defaultSql.slice('DEFAULT '.length))\n        : null;\n      if (expectedRaw) {\n        checks.push({\n          description: `verify \"${issue.column}\" default on \"${tableName}\"`,\n          sql: `SELECT COUNT(*) > 0 FROM pragma_table_info('${t}') WHERE name = '${c}' AND dflt_value = '${escapeLiteral(expectedRaw)}'`,\n        });\n      }\n    }\n    if (issue.kind === 'type_mismatch') {\n      const colSpec = byName.get(issue.column);\n      if (colSpec) {\n        checks.push({\n          description: `verify \"${issue.column}\" type on \"${tableName}\"`,\n          sql: `SELECT COUNT(*) > 0 FROM pragma_table_info('${t}') WHERE name = '${c}' AND LOWER(type) = '${escapeLiteral(colSpec.typeSql.toLowerCase())}'`,\n        });\n      }\n    }\n    if (issue.kind === 'extra_default') {\n      checks.push({\n        description: `verify \"${issue.column}\" has no default on \"${tableName}\"`,\n        sql: `SELECT COUNT(*) > 0 FROM pragma_table_info('${t}') WHERE name = '${c}' AND dflt_value IS NULL`,\n      });\n    }\n  }\n\n  // Constraint-level issues — emit one postcheck per declared constraint in\n  // the contract spec when *any* issue of that kind fires, since recreate\n  // rebuilds the entire table at once.\n  const hasPkIssue = issues.some((i) => PK_ISSUE_KINDS.has(i.kind));\n  const hasUniqueIssue = issues.some((i) => UNIQUE_ISSUE_KINDS.has(i.kind));\n  const hasFkIssue = issues.some((i) => FK_ISSUE_KINDS.has(i.kind));\n\n  if (hasPkIssue) {\n    const pkColumns = expectedPrimaryKeyColumns(spec);\n    // Verify pragma_table_info reports exactly these columns as PK members\n    // (count + named membership); zero columns expected ⇒ no PK at all.\n    const colCount = pkColumns.length;\n    if (colCount === 0) {\n      checks.push({\n        description: `verify \"${tableName}\" has no primary key`,\n        sql: `SELECT (SELECT COUNT(*) FROM pragma_table_info('${t}') WHERE pk > 0) = 0`,\n      });\n    } else {\n      checks.push({\n        description: `verify primary key on \"${tableName}\"`,\n        sql:\n          `SELECT (SELECT COUNT(*) FROM pragma_table_info('${t}') WHERE pk > 0) = ${colCount}` +\n          ` AND (SELECT COUNT(*) FROM pragma_table_info('${t}') WHERE pk > 0 AND name IN (${quoteSqlList(pkColumns)})) = ${colCount}`,\n      });\n    }\n  }\n\n  if (hasUniqueIssue) {\n    for (const u of spec.uniques ?? []) {\n      const colCount = u.columns.length;\n      const description = u.name\n        ? `verify unique constraint \"${u.name}\" on \"${tableName}\"`\n        : `verify unique constraint (${u.columns.join(', ')}) on \"${tableName}\"`;\n      // Match any unique index whose covered columns are exactly the expected\n      // set. Order is intentionally not checked — SQLite's unique-index\n      // identity is column-set, not column-sequence.\n      checks.push({\n        description,\n        sql:\n          `SELECT EXISTS (SELECT 1 FROM pragma_index_list('${t}') l` +\n          ` WHERE l.\"unique\" = 1` +\n          ` AND (SELECT COUNT(*) FROM pragma_index_info(l.name)) = ${colCount}` +\n          ` AND (SELECT COUNT(*) FROM pragma_index_info(l.name) WHERE name IN (${quoteSqlList(u.columns)})) = ${colCount})`,\n      });\n    }\n  }\n\n  if (hasFkIssue) {\n    for (const fk of spec.foreignKeys ?? []) {\n      const refTable = escapeLiteral(fk.references.table);\n      const colCount = fk.columns.length;\n      // Build a `SUM(CASE WHEN (\"from\",\"to\") IN ((…)) …)` so the check works\n      // for both single- and multi-column FKs without depending on FK row\n      // ordering inside `pragma_foreign_key_list`.\n      const tuples = fk.columns\n        .map((from, i) => {\n          const to = fk.references.columns[i] ?? from;\n          return `('${escapeLiteral(from)}', '${escapeLiteral(to)}')`;\n        })\n        .join(', ');\n      const description = `verify foreign key (${fk.columns.join(', ')}) → ${fk.references.table}(${fk.references.columns.join(', ')}) on \"${tableName}\"`;\n      checks.push({\n        description,\n        sql:\n          `SELECT EXISTS (SELECT 1 FROM pragma_foreign_key_list('${t}') f` +\n          ` WHERE f.\"table\" = '${refTable}'` +\n          ' GROUP BY f.id' +\n          ` HAVING COUNT(*) = ${colCount}` +\n          ` AND SUM(CASE WHEN (f.\"from\", f.\"to\") IN (${tuples}) THEN 1 ELSE 0 END) = ${colCount})`,\n      });\n    }\n  }\n\n  return checks;\n}\n"],"mappings":";;;;;AAOA,SAAgB,KAAK,aAAqB,KAAmD;CAC3F,OAAO;EAAE;EAAa;EAAK;;AAqE7B,MAAM,yBAA4D;CAChE,UAAU;CACV,UAAU;CACV,SAAS;CACT,SAAS;CACT,YAAY;CACb;;;;;;;AAQD,SAAgB,uBAAuB,QAAkC;CACvE,MAAM,QAAkB,CAAC,gBAAgB,OAAO,KAAK,EAAE,OAAO,QAAQ;CACtE,IAAI,OAAO,+BACT,MAAM,KAAK,4BAA4B;MAClC;EACL,IAAI,OAAO,YAAY,MAAM,KAAK,OAAO,WAAW;EACpD,IAAI,CAAC,OAAO,UAAU,MAAM,KAAK,WAAW;;CAE9C,OAAO,MAAM,KAAK,IAAI;;;;;;;;AASxB,SAAgB,uBAAuB,IAAkC;CACvE,IAAI,CAAC,GAAG,YAAY,OAAO;CAE3B,IAAI,MAAM,GADG,GAAG,OAAO,cAAc,gBAAgB,GAAG,KAAK,CAAC,KAAK,GACjD,eAAe,GAAG,QAAQ,IAAI,gBAAgB,CAAC,KAAK,KAAK,CAAC,eAAe,gBAAgB,GAAG,WAAW,MAAM,CAAC,IAAI,GAAG,WAAW,QAAQ,IAAI,gBAAgB,CAAC,KAAK,KAAK,CAAC;CAC1L,IAAI,GAAG,aAAa,KAAA,GAClB,OAAO,cAAc,uBAAuB,GAAG;CAEjD,IAAI,GAAG,aAAa,KAAA,GAClB,OAAO,cAAc,uBAAuB,GAAG;CAEjD,OAAO;;;;AClHT,SAAgB,UAAU,WAAmB,QAA8B;CAOzE,MAAM,SANQ;EACZ,eAAe,gBAAgB,UAAU;EACzC,cAAc,gBAAgB,OAAO,KAAK,CAAC,GAAG,OAAO;EACrD,OAAO;EACP,OAAO,WAAW,KAAK;EACxB,CAAC,OAAO,QACW,CAAC,KAAK,IAAI;CAE9B,OAAO;EACL,IAAI,UAAU,UAAU,GAAG,OAAO;EAClC,OAAO,cAAc,OAAO,KAAK,MAAM;EACvC,SAAS,eAAe,OAAO,KAAK,MAAM;EAC1C,gBAAgB;EAChB,QAAQ;GAAE,IAAI;GAAU,SAAS,mBAAmB,UAAU,OAAO,MAAM,UAAU;GAAE;EACvF,UAAU,CACR,KACE,kBAAkB,OAAO,KAAK,eAC9B,+CAA+C,cAAc,UAAU,CAAC,mBAAmB,cAAc,OAAO,KAAK,CAAC,GACvH,CACF;EACD,SAAS,CAAC,KAAK,eAAe,OAAO,KAAK,IAAI,OAAO,CAAC;EACtD,WAAW,CACT,KACE,kBAAkB,OAAO,KAAK,WAC9B,+CAA+C,cAAc,UAAU,CAAC,mBAAmB,cAAc,OAAO,KAAK,CAAC,GACvH,CACF;EACF;;AAGH,SAAgB,WAAW,WAAmB,YAAwB;CACpE,OAAO;EACL,IAAI,cAAc,UAAU,GAAG;EAC/B,OAAO,eAAe,WAAW,MAAM;EACvC,SAAS,gBAAgB,WAAW,MAAM,UAAU;EACpD,gBAAgB;EAChB,QAAQ;GAAE,IAAI;GAAU,SAAS,mBAAmB,UAAU,YAAY,UAAU;GAAE;EACtF,UAAU,CACR,KACE,kBAAkB,WAAW,eAAe,UAAU,IACtD,+CAA+C,cAAc,UAAU,CAAC,mBAAmB,cAAc,WAAW,CAAC,GACtH,CACF;EACD,SAAS,CACP,KACE,gBAAgB,WAAW,UAAU,UAAU,IAC/C,eAAe,gBAAgB,UAAU,CAAC,eAAe,gBAAgB,WAAW,GACrF,CACF;EACD,WAAW,CACT,KACE,kBAAkB,WAAW,kBAAkB,UAAU,IACzD,+CAA+C,cAAc,UAAU,CAAC,mBAAmB,cAAc,WAAW,CAAC,GACtH,CACF;EACF;;;;;;;;;;;;;ACvCH,MAAM,2BAA2B;AAEjC,SAAS,qBAAqB,YAA0B;CACtD,IAAI,CAAC,yBAAyB,KAAK,WAAW,EAC5C,MAAM,IAAI,MACR,yCAAyC,WAAW,6DAErD;;AAIL,SAAS,4BAA4B,YAA0B;CAC7D,IAAI,WAAW,SAAS,IAAI,IAAI,sBAAsB,KAAK,WAAW,EACpE,MAAM,IAAI,MACR,2CAA2C,WAAW,wFAEvD;;;;;;;AASL,SAAgB,mBACd,QACA,eAA+E,EAAE,EACzE;CACR,MAAM,WAAW,0BAA0B,QAAQ,aAAa;CAChE,qBAAqB,SAAS,WAAW;CACzC,OAAO,SAAS,WAAW,aAAa;;;;;;;;AAS1C,SAAgB,sBAAsB,eAAwD;CAC5F,IAAI,CAAC,eAAe,OAAO;CAE3B,QAAQ,cAAc,MAAtB;EACE,KAAK,WACH,OAAO,WAAW,qBAAqB,cAAc,MAAM;EAC7D,KAAK;GACH,IAAI,cAAc,eAAe,mBAAmB,OAAO;GAC3D,IAAI,cAAc,eAAe,SAAS,OAAO;GACjD,4BAA4B,cAAc,WAAW;GACrD,OAAO,YAAY,cAAc,WAAW;;;AAKlD,SAAgB,qBAAqB,OAAwB;CAC3D,IAAI,iBAAiB,MACnB,OAAO,IAAI,cAAc,MAAM,aAAa,CAAC,CAAC;CAEhD,IAAI,OAAO,UAAU,UACnB,OAAO,IAAI,cAAc,MAAM,CAAC;CAElC,IAAI,OAAO,UAAU,YAAY,OAAO,UAAU,UAChD,OAAO,OAAO,MAAM;CAEtB,IAAI,OAAO,UAAU,WACnB,OAAO,QAAQ,MAAM;CAEvB,IAAI,UAAU,MACZ,OAAO;CAET,OAAO,IAAI,cAAc,KAAK,UAAU,MAAM,CAAC,CAAC;;AAGlD,SAAgB,oBACd,WACA,WACA,SACA,SAAS,OACD;CAER,OAAO,UADe,SAAS,YAAY,GACZ,QAAQ,gBAAgB,UAAU,CAAC,MAAM,gBAAgB,UAAU,CAAC,IAAI,QAAQ,IAAI,gBAAgB,CAAC,KAAK,KAAK,CAAC;;AAGjJ,SAAgB,kBAAkB,WAA2B;CAC3D,OAAO,wBAAwB,gBAAgB,UAAU;;;;;;;;;AAU3D,SAAgB,gCAAgC,OAAqB,YAA6B;CAChG,IAAI,MAAM,YAAY,QAAQ,WAAW,GAAG,OAAO;CACnD,IAAI,MAAM,WAAW,QAAQ,OAAO,YAAY,OAAO;CACvD,MAAM,SAAS,MAAM,QAAQ;CAC7B,OAAO,QAAQ,SAAS,SAAS,cAAc,OAAO,QAAQ,eAAe;;AAK/E,SAAS,0BACP,QACA,cAC4B;CAC5B,IAAI,CAAC,OAAO,SACV,OAAO;CAET,MAAM,iBAAiB,aAAa,OAAO;CAC3C,IAAI,CAAC,gBACH,MAAM,IAAI,MACR,iBAAiB,OAAO,QAAQ,yDACjC;CAEH,IAAI,2BAA2B,eAAe,EAC5C,OAAO;EACL,SAAS,eAAe;EACxB,YAAY,eAAe;EAC3B,YAAY,EAAE,QAAQ,eAAe,QAAQ;EAC9C;CAEH,OAAO;EACL,SAAS,eAAe;EACxB,YAAY,eAAe;EAC3B,YAAY,eAAe;EAC5B;;;;AChJH,SAAgB,YAAY,WAAmB,WAAmB,SAAgC;CAChG,OAAO;EACL,IAAI,SAAS,UAAU,GAAG;EAC1B,OAAO,gBAAgB,UAAU,MAAM;EACvC,SAAS,iBAAiB,UAAU,MAAM;EAC1C,gBAAgB;EAChB,QAAQ;GAAE,IAAI;GAAU,SAAS,mBAAmB,SAAS,WAAW,UAAU;GAAE;EACpF,UAAU,CACR,KACE,iBAAiB,UAAU,eAC3B,2EAA2E,cAAc,UAAU,CAAC,GACrG,CACF;EACD,SAAS,CACP,KAAK,iBAAiB,UAAU,IAAI,oBAAoB,WAAW,WAAW,QAAQ,CAAC,CACxF;EACD,WAAW,CACT,KACE,iBAAiB,UAAU,WAC3B,2EAA2E,cAAc,UAAU,CAAC,GACrG,CACF;EACF;;AAGH,SAAgB,UAAU,WAAmB,WAAuB;CAClE,OAAO;EACL,IAAI,aAAa,UAAU,GAAG;EAC9B,OAAO,cAAc,UAAU,MAAM;EACrC,SAAS,eAAe,UAAU,MAAM,UAAU;EAClD,gBAAgB;EAChB,QAAQ;GAAE,IAAI;GAAU,SAAS,mBAAmB,SAAS,WAAW,UAAU;GAAE;EACpF,UAAU,CACR,KACE,iBAAiB,UAAU,WAC3B,2EAA2E,cAAc,UAAU,CAAC,GACrG,CACF;EACD,SAAS,CAAC,KAAK,eAAe,UAAU,IAAI,kBAAkB,UAAU,CAAC,CAAC;EAC1E,WAAW,CACT,KACE,iBAAiB,UAAU,YAC3B,2EAA2E,cAAc,UAAU,CAAC,GACrG,CACF;EACF;;;;;;;;;;AC7BH,SAAS,qBAAqB,WAAmB,MAA+B;CAC9E,MAAM,aAAa,KAAK,QAAQ,IAAI,uBAAuB;CAE3D,MAAM,iBAA2B,EAAE;CACnC,MAAM,cAAc,KAAK,QAAQ,MAAM,MAAM,EAAE,8BAA8B;CAC7E,IAAI,KAAK,cAAc,CAAC,aACtB,eAAe,KAAK,gBAAgB,KAAK,WAAW,QAAQ,IAAI,gBAAgB,CAAC,KAAK,KAAK,CAAC,GAAG;CAGjG,KAAK,MAAM,KAAK,KAAK,WAAW,EAAE,EAAE;EAClC,MAAM,OAAO,EAAE,OAAO,cAAc,gBAAgB,EAAE,KAAK,CAAC,KAAK;EACjE,eAAe,KAAK,GAAG,KAAK,UAAU,EAAE,QAAQ,IAAI,gBAAgB,CAAC,KAAK,KAAK,CAAC,GAAG;;CAGrF,KAAK,MAAM,MAAM,KAAK,eAAe,EAAE,EAAE;EACvC,MAAM,SAAS,uBAAuB,GAAG;EACzC,IAAI,QAAQ,eAAe,KAAK,OAAO;;CAGzC,MAAM,UAAU,CAAC,GAAG,YAAY,GAAG,eAAe;CAClD,OAAO,gBAAgB,gBAAgB,UAAU,CAAC,QAAQ,QAAQ,KAAK,QAAQ,CAAC;;AAGlF,SAAgB,YAAY,WAAmB,MAA2B;CACxE,OAAO;EACL,IAAI,SAAS;EACb,OAAO,gBAAgB;EACvB,SAAS,iBAAiB,UAAU;EACpC,gBAAgB;EAChB,QAAQ;GAAE,IAAI;GAAU,SAAS,mBAAmB,SAAS,UAAU;GAAE;EACzE,UAAU,CACR,KACE,iBAAiB,UAAU,mBAC3B,2EAA2E,cAAc,UAAU,CAAC,GACrG,CACF;EACD,SAAS,CAAC,KAAK,iBAAiB,UAAU,IAAI,qBAAqB,WAAW,KAAK,CAAC,CAAC;EACrF,WAAW,CACT,KACE,iBAAiB,UAAU,WAC3B,2EAA2E,cAAc,UAAU,CAAC,GACrG,CACF;EACF;;AAGH,SAAgB,UAAU,WAAuB;CAC/C,OAAO;EACL,IAAI,aAAa;EACjB,OAAO,cAAc;EACrB,SAAS,eAAe,UAAU;EAClC,gBAAgB;EAChB,QAAQ;GAAE,IAAI;GAAU,SAAS,mBAAmB,SAAS,UAAU;GAAE;EACzE,UAAU,CACR,KACE,iBAAiB,UAAU,WAC3B,2EAA2E,cAAc,UAAU,CAAC,GACrG,CACF;EACD,SAAS,CAAC,KAAK,eAAe,UAAU,IAAI,cAAc,gBAAgB,UAAU,GAAG,CAAC;EACxF,WAAW,CACT,KACE,iBAAiB,UAAU,YAC3B,2EAA2E,cAAc,UAAU,CAAC,GACrG,CACF;EACF;;AA8BH,SAAgB,cAAc,MAA6B;CACzD,MAAM,EACJ,WACA,eACA,mBACA,SACA,SACA,YACA,mBACE;CACJ,MAAM,WAAW,eAAe;CAChC,MAAM,UAAU,IAAI,IAAI,kBAAkB;CAC1C,MAAM,gBAAgB,cAAc,QAAQ,QAAQ,MAAM,QAAQ,IAAI,EAAE,KAAK,CAAC,CAAC,KAAK,MAAM,EAAE,KAAK;CACjG,MAAM,aAAa,cAAc,IAAI,gBAAgB,CAAC,KAAK,KAAK;CAEhE,MAAM,kBAAkB,QAAQ,KAAK,SAAS;EAC5C,aAAa,mBAAmB,IAAI,KAAK,QAAQ,UAAU;EAC3D,KAAK,oBAAoB,WAAW,IAAI,MAAM,IAAI,QAAQ;EAC3D,EAAE;CAMH,MAAM,WACJ,cAAc,SAAS,IACnB,CACE,KACE,mBAAmB,UAAU,QAAQ,SAAS,IAC9C,eAAe,gBAAgB,SAAS,CAAC,IAAI,WAAW,WAAW,WAAW,QAAQ,gBAAgB,UAAU,GACjH,CACF,GACD,EAAE;CAER,OAAO;EACL,IAAI,iBAAiB;EACrB,OAAO,kBAAkB;EACzB;EACA;EACA,QAAQ;GAAE,IAAI;GAAU,SAAS,mBAAmB,SAAS,UAAU;GAAE;EACzE,UAAU,CACR,KACE,iBAAiB,UAAU,WAC3B,2EAA2E,cAAc,UAAU,CAAC,GACrG,EACD,KACE,sBAAsB,SAAS,mBAC/B,2EAA2E,cAAc,SAAS,CAAC,GACpG,CACF;EACD,SAAS;GACP,KACE,qBAAqB,SAAS,wBAC9B,qBAAqB,UAAU,cAAc,CAC9C;GACD,GAAG;GACH,KAAK,mBAAmB,UAAU,IAAI,cAAc,gBAAgB,UAAU,GAAG;GACjF,KACE,WAAW,SAAS,QAAQ,UAAU,IACtC,eAAe,gBAAgB,SAAS,CAAC,aAAa,gBAAgB,UAAU,GACjF;GACD,GAAG;GACJ;EACD,WAAW;GACT,KACE,iBAAiB,UAAU,WAC3B,2EAA2E,cAAc,UAAU,CAAC,GACrG;GACD,KACE,sBAAsB,SAAS,YAC/B,2EAA2E,cAAc,SAAS,CAAC,GACpG;GACD,GAAG;GACJ;EACF;;;;;;;;;AAUH,SAAgB,qBAAqB,WAAmB,QAAwC;CAE9F,OAAO,mBAAmB,UAAU,4BADnB,OAAO,KAAK,MAAM,EAAE,QAAQ,CAAC,KAAK,KACqB;;AAG1E,MAAM,2BAA2B,IAAI,IAAyB;CAC5D;CACA;CACA;CACA;CACA;CACD,CAAC;AAEF,MAAM,iBAAiB,IAAI,IAAyB,CAAC,wBAAwB,oBAAoB,CAAC;AAElG,MAAM,qBAAqB,IAAI,IAAyB,CACtD,8BACA,0BACD,CAAC;AAEF,MAAM,iBAAiB,IAAI,IAAyB,CAAC,wBAAwB,oBAAoB,CAAC;;;;;;AAOlG,SAAS,0BAA0B,MAA0C;CAC3E,IAAI,KAAK,YAAY,OAAO,KAAK,WAAW;CAC5C,MAAM,WAAW,KAAK,QAAQ,MAAM,MAAM,EAAE,8BAA8B;CAC1E,OAAO,WAAW,CAAC,SAAS,KAAK,GAAG,EAAE;;AAGxC,SAAS,aAAa,QAAmC;CACvD,OAAO,OAAO,KAAK,MAAM,IAAI,cAAc,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK;;;;;;;;;;;;;;;AAgB9D,SAAgB,wBACd,WACA,QACA,MAC6C;CAC7C,MAAM,SAAsD,EAAE;CAC9D,MAAM,IAAI,cAAc,UAAU;CAClC,MAAM,SAAS,IAAI,IAAI,KAAK,QAAQ,KAAK,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC;CAE5D,KAAK,MAAM,SAAS,QAAQ;EAC1B,IAAI,MAAM,SAAS,uBAAuB;EAC1C,IAAI,CAAC,yBAAyB,IAAI,MAAM,KAAK,EAAE;EAC/C,IAAI,CAAC,MAAM,QAAQ;EACnB,MAAM,IAAI,cAAc,MAAM,OAAO;EACrC,IAAI,MAAM,SAAS,wBAAwB;GAKzC,IAAI;GACJ,IAAI,MAAM,aAAa,SAAS,cAAc;QACzC,IAAI,MAAM,aAAa,QAAQ,cAAc;GAClD,IAAI,gBAAgB,KAAA,GAClB,OAAO,KAAK;IACV,aAAa,WAAW,MAAM,OAAO,oBAAoB,UAAU;IACnE,KAAK,+CAA+C,EAAE,mBAAmB,EAAE,oBAAoB,cAAc,IAAI;IAClH,CAAC;;EAGN,IAAI,MAAM,SAAS,sBAAsB,MAAM,SAAS,mBAAmB;GACzE,MAAM,UAAU,OAAO,IAAI,MAAM,OAAO;GACxC,MAAM,cAAc,SAAS,WAAW,WAAW,WAAW,GAK1D,iBAAiB,QAAQ,WAAW,MAAM,EAAkB,CAAC,GAC7D;GACJ,IAAI,aACF,OAAO,KAAK;IACV,aAAa,WAAW,MAAM,OAAO,gBAAgB,UAAU;IAC/D,KAAK,+CAA+C,EAAE,mBAAmB,EAAE,sBAAsB,cAAc,YAAY,CAAC;IAC7H,CAAC;;EAGN,IAAI,MAAM,SAAS,iBAAiB;GAClC,MAAM,UAAU,OAAO,IAAI,MAAM,OAAO;GACxC,IAAI,SACF,OAAO,KAAK;IACV,aAAa,WAAW,MAAM,OAAO,aAAa,UAAU;IAC5D,KAAK,+CAA+C,EAAE,mBAAmB,EAAE,uBAAuB,cAAc,QAAQ,QAAQ,aAAa,CAAC,CAAC;IAChJ,CAAC;;EAGN,IAAI,MAAM,SAAS,iBACjB,OAAO,KAAK;GACV,aAAa,WAAW,MAAM,OAAO,uBAAuB,UAAU;GACtE,KAAK,+CAA+C,EAAE,mBAAmB,EAAE;GAC5E,CAAC;;CAON,MAAM,aAAa,OAAO,MAAM,MAAM,eAAe,IAAI,EAAE,KAAK,CAAC;CACjE,MAAM,iBAAiB,OAAO,MAAM,MAAM,mBAAmB,IAAI,EAAE,KAAK,CAAC;CACzE,MAAM,aAAa,OAAO,MAAM,MAAM,eAAe,IAAI,EAAE,KAAK,CAAC;CAEjE,IAAI,YAAY;EACd,MAAM,YAAY,0BAA0B,KAAK;EAGjD,MAAM,WAAW,UAAU;EAC3B,IAAI,aAAa,GACf,OAAO,KAAK;GACV,aAAa,WAAW,UAAU;GAClC,KAAK,mDAAmD,EAAE;GAC3D,CAAC;OAEF,OAAO,KAAK;GACV,aAAa,0BAA0B,UAAU;GACjD,KACE,mDAAmD,EAAE,qBAAqB,SAAA,gDACzB,EAAE,+BAA+B,aAAa,UAAU,CAAC,OAAO;GACpH,CAAC;;CAIN,IAAI,gBACF,KAAK,MAAM,KAAK,KAAK,WAAW,EAAE,EAAE;EAClC,MAAM,WAAW,EAAE,QAAQ;EAC3B,MAAM,cAAc,EAAE,OAClB,6BAA6B,EAAE,KAAK,QAAQ,UAAU,KACtD,6BAA6B,EAAE,QAAQ,KAAK,KAAK,CAAC,QAAQ,UAAU;EAIxE,OAAO,KAAK;GACV;GACA,KACE,mDAAmD,EAAE,mFAEM,SAAA,sEACY,aAAa,EAAE,QAAQ,CAAC,OAAO,SAAS;GAClH,CAAC;;CAIN,IAAI,YACF,KAAK,MAAM,MAAM,KAAK,eAAe,EAAE,EAAE;EACvC,MAAM,WAAW,cAAc,GAAG,WAAW,MAAM;EACnD,MAAM,WAAW,GAAG,QAAQ;EAI5B,MAAM,SAAS,GAAG,QACf,KAAK,MAAM,MAAM;GAChB,MAAM,KAAK,GAAG,WAAW,QAAQ,MAAM;GACvC,OAAO,KAAK,cAAc,KAAK,CAAC,MAAM,cAAc,GAAG,CAAC;IACxD,CACD,KAAK,KAAK;EACb,MAAM,cAAc,uBAAuB,GAAG,QAAQ,KAAK,KAAK,CAAC,MAAM,GAAG,WAAW,MAAM,GAAG,GAAG,WAAW,QAAQ,KAAK,KAAK,CAAC,QAAQ,UAAU;EACjJ,OAAO,KAAK;GACV;GACA,KACE,yDAAyD,EAAE,0BACpC,SAAS,oCAEV,SAAA,4CACuB,OAAO,yBAAyB,SAAS;GACzF,CAAC;;CAIN,OAAO"}
+{"version":3,"file":"tables-DGRRJasz.mjs","names":[],"sources":["../src/core/migrations/operations/shared.ts","../src/core/migrations/operations/columns.ts","../src/core/migrations/planner-ddl-builders.ts","../src/core/migrations/operations/indexes.ts","../src/core/migrations/operations/tables.ts"],"sourcesContent":["import type { SqlMigrationPlanOperation } from '@prisma-next/family-sql/control';\nimport type { ReferentialAction } from '@prisma-next/sql-contract/types';\nimport { quoteIdentifier } from '../../sql-utils';\nimport type { SqlitePlanTargetDetails } from '../planner-target-details';\n\nexport type Op = SqlMigrationPlanOperation<SqlitePlanTargetDetails>;\n\nexport function step(description: string, sql: string): { description: string; sql: string } {\n  return { description, sql };\n}\n\n/**\n * Flat, fully-resolved column shape consumed by `createTable`, `addColumn`,\n * and `recreateTable`. Codec / `typeRef` / default expansion happens at the\n * call-construction site (in the issue-planner / strategies) so the\n * operation factories deal only in pre-rendered SQL fragments — mirrors the\n * Postgres `ColumnSpec` pattern.\n *\n * - `typeSql` is the column's DDL type token (e.g. `\"INTEGER\"`, `\"TEXT\"`).\n * - `defaultSql` is the full `DEFAULT …` clause (or empty when there is no\n *   default and when the column is rendered as `INTEGER PRIMARY KEY\n *   AUTOINCREMENT`, since SQLite forbids a default on an autoincrement PK).\n * - `inlineAutoincrementPrimaryKey` directs the renderer to emit\n *   `INTEGER PRIMARY KEY AUTOINCREMENT` inline and to skip the table-level\n *   primary-key constraint for this column. SQLite-specific: the column\n *   becomes an alias for `rowid` only when this exact form is used.\n */\nexport interface SqliteColumnSpec {\n  readonly name: string;\n  readonly typeSql: string;\n  readonly defaultSql: string;\n  readonly nullable: boolean;\n  readonly inlineAutoincrementPrimaryKey?: boolean;\n}\n\nexport interface SqlitePrimaryKeySpec {\n  readonly columns: readonly string[];\n}\n\nexport interface SqliteUniqueSpec {\n  readonly columns: readonly string[];\n  readonly name?: string;\n}\n\nexport interface SqliteForeignKeySpec {\n  readonly columns: readonly string[];\n  readonly references: {\n    readonly table: string;\n    readonly columns: readonly string[];\n  };\n  readonly name?: string;\n  readonly onDelete?: ReferentialAction;\n  readonly onUpdate?: ReferentialAction;\n  readonly constraint: boolean;\n}\n\n/**\n * Flat shape of a contract table for DDL emission. Used by both\n * `createTable` (additive) and `recreateTable` (widening/destructive).\n */\nexport interface SqliteTableSpec {\n  readonly columns: readonly SqliteColumnSpec[];\n  readonly primaryKey?: SqlitePrimaryKeySpec;\n  readonly uniques?: readonly SqliteUniqueSpec[];\n  readonly foreignKeys?: readonly SqliteForeignKeySpec[];\n}\n\n/**\n * Index recreation spec for `recreateTable`. Both declared indexes and\n * FK-backing indexes flatten to the same shape; the planner dedupes by\n * column-set before constructing the call.\n */\nexport interface SqliteIndexSpec {\n  readonly name: string;\n  readonly columns: readonly string[];\n}\n\nconst REFERENTIAL_ACTION_SQL: Record<ReferentialAction, string> = {\n  noAction: 'NO ACTION',\n  restrict: 'RESTRICT',\n  cascade: 'CASCADE',\n  setNull: 'SET NULL',\n  setDefault: 'SET DEFAULT',\n};\n\n/**\n * Renders a single column's inline DDL fragment within a `CREATE TABLE`\n * statement. Honours the `inlineAutoincrementPrimaryKey` flag — SQLite\n * treats `INTEGER PRIMARY KEY AUTOINCREMENT` as a special form that aliases\n * `rowid`, and the column must not carry a `DEFAULT` or repeat `NOT NULL`.\n */\nexport function renderColumnDefinition(column: SqliteColumnSpec): string {\n  const parts: string[] = [quoteIdentifier(column.name), column.typeSql];\n  if (column.inlineAutoincrementPrimaryKey) {\n    parts.push('PRIMARY KEY AUTOINCREMENT');\n  } else {\n    if (column.defaultSql) parts.push(column.defaultSql);\n    if (!column.nullable) parts.push('NOT NULL');\n  }\n  return parts.join(' ');\n}\n\n/**\n * Renders an inline FOREIGN KEY constraint clause for a `CREATE TABLE`\n * body. Returns the empty string when `constraint` is false (the FK is\n * tracked at the contract level for index-creation purposes only and must\n * not produce DDL).\n */\nexport function renderForeignKeyClause(fk: SqliteForeignKeySpec): string {\n  if (!fk.constraint) return '';\n  const name = fk.name ? `CONSTRAINT ${quoteIdentifier(fk.name)} ` : '';\n  let sql = `${name}FOREIGN KEY (${fk.columns.map(quoteIdentifier).join(', ')}) REFERENCES ${quoteIdentifier(fk.references.table)} (${fk.references.columns.map(quoteIdentifier).join(', ')})`;\n  if (fk.onDelete !== undefined) {\n    sql += ` ON DELETE ${REFERENTIAL_ACTION_SQL[fk.onDelete]}`;\n  }\n  if (fk.onUpdate !== undefined) {\n    sql += ` ON UPDATE ${REFERENTIAL_ACTION_SQL[fk.onUpdate]}`;\n  }\n  return sql;\n}\n","import { escapeLiteral, quoteIdentifier } from '../../sql-utils';\nimport { buildTargetDetails } from '../planner-target-details';\nimport { type Op, type SqliteColumnSpec, step } from './shared';\n\nexport function addColumn(tableName: string, column: SqliteColumnSpec): Op {\n  const parts = [\n    `ALTER TABLE ${quoteIdentifier(tableName)}`,\n    `ADD COLUMN ${quoteIdentifier(column.name)} ${column.typeSql}`,\n    column.defaultSql,\n    column.nullable ? '' : 'NOT NULL',\n  ].filter(Boolean);\n  const addSql = parts.join(' ');\n\n  return {\n    id: `column.${tableName}.${column.name}`,\n    label: `Add column ${column.name} on ${tableName}`,\n    summary: `Adds column ${column.name} on ${tableName}`,\n    operationClass: 'additive',\n    target: { id: 'sqlite', details: buildTargetDetails('column', column.name, tableName) },\n    precheck: [\n      step(\n        `ensure column \"${column.name}\" is missing`,\n        `SELECT COUNT(*) = 0 FROM pragma_table_info('${escapeLiteral(tableName)}') WHERE name = '${escapeLiteral(column.name)}'`,\n      ),\n    ],\n    execute: [step(`add column \"${column.name}\"`, addSql)],\n    postcheck: [\n      step(\n        `verify column \"${column.name}\" exists`,\n        `SELECT COUNT(*) > 0 FROM pragma_table_info('${escapeLiteral(tableName)}') WHERE name = '${escapeLiteral(column.name)}'`,\n      ),\n    ],\n  };\n}\n\nexport function dropColumn(tableName: string, columnName: string): Op {\n  return {\n    id: `dropColumn.${tableName}.${columnName}`,\n    label: `Drop column ${columnName} on ${tableName}`,\n    summary: `Drops column ${columnName} on ${tableName} which is not in the contract`,\n    operationClass: 'destructive',\n    target: { id: 'sqlite', details: buildTargetDetails('column', columnName, tableName) },\n    precheck: [\n      step(\n        `ensure column \"${columnName}\" exists on \"${tableName}\"`,\n        `SELECT COUNT(*) > 0 FROM pragma_table_info('${escapeLiteral(tableName)}') WHERE name = '${escapeLiteral(columnName)}'`,\n      ),\n    ],\n    execute: [\n      step(\n        `drop column \"${columnName}\" from \"${tableName}\"`,\n        `ALTER TABLE ${quoteIdentifier(tableName)} DROP COLUMN ${quoteIdentifier(columnName)}`,\n      ),\n    ],\n    postcheck: [\n      step(\n        `verify column \"${columnName}\" is gone from \"${tableName}\"`,\n        `SELECT COUNT(*) = 0 FROM pragma_table_info('${escapeLiteral(tableName)}') WHERE name = '${escapeLiteral(columnName)}'`,\n      ),\n    ],\n  };\n}\n","/**\n * Low-level DDL fragment builders for SQLite migrations.\n *\n * These helpers consume `StorageColumn` (the contract shape, possibly with\n * `typeRef`) and produce string fragments. They are called once per column\n * at the call-construction boundary in `issue-planner.ts` / strategies to\n * build flat `SqliteColumnSpec`s; the operation factories themselves never\n * see `StorageColumn` or `storageTypes`.\n */\n\nimport {\n  isPostgresEnumStorageEntry,\n  type PostgresEnumStorageEntry,\n  type StorageColumn,\n  type StorageTable,\n  type StorageTypeInstance,\n} from '@prisma-next/sql-contract/types';\nimport { escapeLiteral, quoteIdentifier } from '../sql-utils';\n\ntype SqliteColumnDefault = StorageColumn['default'];\n\nconst SAFE_NATIVE_TYPE_PATTERN = /^[a-zA-Z][a-zA-Z0-9_ ]*$/;\n\nfunction assertSafeNativeType(nativeType: string): void {\n  if (!SAFE_NATIVE_TYPE_PATTERN.test(nativeType)) {\n    throw new Error(\n      `Unsafe native type name in contract: \"${nativeType}\". ` +\n        'Native type names must match /^[a-zA-Z][a-zA-Z0-9_ ]*$/',\n    );\n  }\n}\n\nfunction assertSafeDefaultExpression(expression: string): void {\n  if (expression.includes(';') || /--|\\/\\*|\\bSELECT\\b/i.test(expression)) {\n    throw new Error(\n      `Unsafe default expression in contract: \"${expression}\". ` +\n        'Default expressions must not contain semicolons, SQL comment tokens, or subqueries.',\n    );\n  }\n}\n\n/**\n * Renders the column's DDL type token (e.g. `\"INTEGER\"`, `\"TEXT\"`).\n * Resolves `typeRef` against `storageTypes` and validates the resulting\n * native type against a safe-identifier pattern.\n */\nexport function buildColumnTypeSql(\n  column: StorageColumn,\n  storageTypes: Record<string, StorageTypeInstance | PostgresEnumStorageEntry> = {},\n): string {\n  const resolved = resolveColumnTypeMetadata(column, storageTypes);\n  assertSafeNativeType(resolved.nativeType);\n  return resolved.nativeType.toUpperCase();\n}\n\n/**\n * Renders the column's `DEFAULT …` clause. Returns the empty string when\n * there is no default, and also when the default is `autoincrement()` —\n * SQLite encodes that as `INTEGER PRIMARY KEY AUTOINCREMENT` inline on the\n * column definition, not as a separate DEFAULT.\n */\nexport function buildColumnDefaultSql(columnDefault: SqliteColumnDefault | undefined): string {\n  if (!columnDefault) return '';\n\n  switch (columnDefault.kind) {\n    case 'literal':\n      return `DEFAULT ${renderDefaultLiteral(columnDefault.value)}`;\n    case 'function': {\n      if (columnDefault.expression === 'autoincrement()') return '';\n      if (columnDefault.expression === 'now()') return \"DEFAULT (datetime('now'))\";\n      assertSafeDefaultExpression(columnDefault.expression);\n      return `DEFAULT (${columnDefault.expression})`;\n    }\n  }\n}\n\nexport function renderDefaultLiteral(value: unknown): string {\n  if (value instanceof Date) {\n    return `'${escapeLiteral(value.toISOString())}'`;\n  }\n  if (typeof value === 'string') {\n    return `'${escapeLiteral(value)}'`;\n  }\n  if (typeof value === 'number' || typeof value === 'bigint') {\n    return String(value);\n  }\n  if (typeof value === 'boolean') {\n    return value ? '1' : '0';\n  }\n  if (value === null) {\n    return 'NULL';\n  }\n  return `'${escapeLiteral(JSON.stringify(value))}'`;\n}\n\nexport function buildCreateIndexSql(\n  tableName: string,\n  indexName: string,\n  columns: readonly string[],\n  unique = false,\n): string {\n  const uniqueKeyword = unique ? 'UNIQUE ' : '';\n  return `CREATE ${uniqueKeyword}INDEX ${quoteIdentifier(indexName)} ON ${quoteIdentifier(tableName)} (${columns.map(quoteIdentifier).join(', ')})`;\n}\n\nexport function buildDropIndexSql(indexName: string): string {\n  return `DROP INDEX IF EXISTS ${quoteIdentifier(indexName)}`;\n}\n\n/**\n * True when the column is rendered inline as `INTEGER PRIMARY KEY\n * AUTOINCREMENT`. Requires the column's default to be `autoincrement()` and\n * the column to be the sole member of the table's primary key — anything\n * else falls back to a separate PRIMARY KEY constraint with a default\n * AUTOINCREMENT semantics expressed elsewhere.\n */\nexport function isInlineAutoincrementPrimaryKey(table: StorageTable, columnName: string): boolean {\n  if (table.primaryKey?.columns.length !== 1) return false;\n  if (table.primaryKey.columns[0] !== columnName) return false;\n  const column = table.columns[columnName];\n  return column?.default?.kind === 'function' && column.default.expression === 'autoincrement()';\n}\n\ntype ResolvedColumnTypeMetadata = Pick<StorageColumn, 'nativeType' | 'codecId' | 'typeParams'>;\n\nfunction resolveColumnTypeMetadata(\n  column: StorageColumn,\n  storageTypes: Record<string, StorageTypeInstance | PostgresEnumStorageEntry>,\n): ResolvedColumnTypeMetadata {\n  if (!column.typeRef) {\n    return column;\n  }\n  const referencedType = storageTypes[column.typeRef];\n  if (!referencedType) {\n    throw new Error(\n      `Storage type \"${column.typeRef}\" referenced by column is not defined in storage.types.`,\n    );\n  }\n  if (isPostgresEnumStorageEntry(referencedType)) {\n    return {\n      codecId: referencedType.codecId,\n      nativeType: referencedType.nativeType,\n      typeParams: { values: referencedType.values } as Record<string, unknown>,\n    };\n  }\n  return {\n    codecId: referencedType.codecId,\n    nativeType: referencedType.nativeType,\n    typeParams: referencedType.typeParams,\n  };\n}\n","import { escapeLiteral } from '../../sql-utils';\nimport { buildCreateIndexSql, buildDropIndexSql } from '../planner-ddl-builders';\nimport { buildTargetDetails } from '../planner-target-details';\nimport { type Op, step } from './shared';\n\nexport function createIndex(tableName: string, indexName: string, columns: readonly string[]): Op {\n  return {\n    id: `index.${tableName}.${indexName}`,\n    label: `Create index ${indexName} on ${tableName}`,\n    summary: `Creates index ${indexName} on ${tableName}`,\n    operationClass: 'additive',\n    target: { id: 'sqlite', details: buildTargetDetails('index', indexName, tableName) },\n    precheck: [\n      step(\n        `ensure index \"${indexName}\" is missing`,\n        `SELECT COUNT(*) = 0 FROM sqlite_master WHERE type = 'index' AND name = '${escapeLiteral(indexName)}'`,\n      ),\n    ],\n    execute: [\n      step(`create index \"${indexName}\"`, buildCreateIndexSql(tableName, indexName, columns)),\n    ],\n    postcheck: [\n      step(\n        `verify index \"${indexName}\" exists`,\n        `SELECT COUNT(*) > 0 FROM sqlite_master WHERE type = 'index' AND name = '${escapeLiteral(indexName)}'`,\n      ),\n    ],\n  };\n}\n\nexport function dropIndex(tableName: string, indexName: string): Op {\n  return {\n    id: `dropIndex.${tableName}.${indexName}`,\n    label: `Drop index ${indexName} on ${tableName}`,\n    summary: `Drops index ${indexName} on ${tableName} which is not in the contract`,\n    operationClass: 'destructive',\n    target: { id: 'sqlite', details: buildTargetDetails('index', indexName, tableName) },\n    precheck: [\n      step(\n        `ensure index \"${indexName}\" exists`,\n        `SELECT COUNT(*) > 0 FROM sqlite_master WHERE type = 'index' AND name = '${escapeLiteral(indexName)}'`,\n      ),\n    ],\n    execute: [step(`drop index \"${indexName}\"`, buildDropIndexSql(indexName))],\n    postcheck: [\n      step(\n        `verify index \"${indexName}\" is gone`,\n        `SELECT COUNT(*) = 0 FROM sqlite_master WHERE type = 'index' AND name = '${escapeLiteral(indexName)}'`,\n      ),\n    ],\n  };\n}\n","import type { MigrationOperationClass } from '@prisma-next/family-sql/control';\nimport type { SchemaIssue } from '@prisma-next/framework-components/control';\nimport { stripOuterParens } from '../../default-normalizer';\nimport { escapeLiteral, quoteIdentifier } from '../../sql-utils';\nimport { buildCreateIndexSql } from '../planner-ddl-builders';\nimport { buildTargetDetails } from '../planner-target-details';\nimport {\n  type Op,\n  renderColumnDefinition,\n  renderForeignKeyClause,\n  type SqliteIndexSpec,\n  type SqliteTableSpec,\n  step,\n} from './shared';\n\n/**\n * Renders the body of a `CREATE TABLE <name> ( … )` statement from a flat\n * `SqliteTableSpec`. SQLite's `INTEGER PRIMARY KEY AUTOINCREMENT` form is\n * inline on the column; the table-level PRIMARY KEY clause is emitted only\n * when no column carries `inlineAutoincrementPrimaryKey`.\n */\nfunction renderCreateTableSql(tableName: string, spec: SqliteTableSpec): string {\n  const columnDefs = spec.columns.map(renderColumnDefinition);\n\n  const constraintDefs: string[] = [];\n  const hasInlinePk = spec.columns.some((c) => c.inlineAutoincrementPrimaryKey);\n  if (spec.primaryKey && !hasInlinePk) {\n    constraintDefs.push(`PRIMARY KEY (${spec.primaryKey.columns.map(quoteIdentifier).join(', ')})`);\n  }\n\n  for (const u of spec.uniques ?? []) {\n    const name = u.name ? `CONSTRAINT ${quoteIdentifier(u.name)} ` : '';\n    constraintDefs.push(`${name}UNIQUE (${u.columns.map(quoteIdentifier).join(', ')})`);\n  }\n\n  for (const fk of spec.foreignKeys ?? []) {\n    const clause = renderForeignKeyClause(fk);\n    if (clause) constraintDefs.push(clause);\n  }\n\n  const allDefs = [...columnDefs, ...constraintDefs];\n  return `CREATE TABLE ${quoteIdentifier(tableName)} (\\n  ${allDefs.join(',\\n  ')}\\n)`;\n}\n\nexport function createTable(tableName: string, spec: SqliteTableSpec): Op {\n  return {\n    id: `table.${tableName}`,\n    label: `Create table ${tableName}`,\n    summary: `Creates table ${tableName} with required columns`,\n    operationClass: 'additive',\n    target: { id: 'sqlite', details: buildTargetDetails('table', tableName) },\n    precheck: [\n      step(\n        `ensure table \"${tableName}\" does not exist`,\n        `SELECT COUNT(*) = 0 FROM sqlite_master WHERE type = 'table' AND name = '${escapeLiteral(tableName)}'`,\n      ),\n    ],\n    execute: [step(`create table \"${tableName}\"`, renderCreateTableSql(tableName, spec))],\n    postcheck: [\n      step(\n        `verify table \"${tableName}\" exists`,\n        `SELECT COUNT(*) > 0 FROM sqlite_master WHERE type = 'table' AND name = '${escapeLiteral(tableName)}'`,\n      ),\n    ],\n  };\n}\n\nexport function dropTable(tableName: string): Op {\n  return {\n    id: `dropTable.${tableName}`,\n    label: `Drop table ${tableName}`,\n    summary: `Drops table ${tableName} which is not in the contract`,\n    operationClass: 'destructive',\n    target: { id: 'sqlite', details: buildTargetDetails('table', tableName) },\n    precheck: [\n      step(\n        `ensure table \"${tableName}\" exists`,\n        `SELECT COUNT(*) > 0 FROM sqlite_master WHERE type = 'table' AND name = '${escapeLiteral(tableName)}'`,\n      ),\n    ],\n    execute: [step(`drop table \"${tableName}\"`, `DROP TABLE ${quoteIdentifier(tableName)}`)],\n    postcheck: [\n      step(\n        `verify table \"${tableName}\" is gone`,\n        `SELECT COUNT(*) = 0 FROM sqlite_master WHERE type = 'table' AND name = '${escapeLiteral(tableName)}'`,\n      ),\n    ],\n  };\n}\n\nexport interface RecreateTableArgs {\n  readonly tableName: string;\n  /** New (post-recreate) shape of the table. Same flat spec as `createTable`. */\n  readonly contractTable: SqliteTableSpec;\n  /**\n   * Names of columns that exist in the live (pre-recreate) schema. Used to\n   * compute the `INSERT INTO temp ... SELECT ... FROM old` column list — only\n   * shared columns are copied, so dropped columns are left behind and added\n   * columns come from defaults.\n   */\n  readonly schemaColumnNames: readonly string[];\n  /**\n   * Indexes (declared + FK-backing, deduped by column-set) to recreate after\n   * the table has been replaced. The planner pre-merges these.\n   */\n  readonly indexes: readonly SqliteIndexSpec[];\n  /** Human-readable summary of the change, built by the planner from issues. */\n  readonly summary: string;\n  /**\n   * Per-issue postcheck steps appended after the structural postchecks. The\n   * planner pre-builds these via `buildRecreatePostchecks` so the call IR\n   * carries flat, serializable data only — no `SchemaIssue` references.\n   */\n  readonly postchecks: readonly { readonly description: string; readonly sql: string }[];\n  readonly operationClass: MigrationOperationClass;\n}\n\nexport function recreateTable(args: RecreateTableArgs): Op {\n  const {\n    tableName,\n    contractTable,\n    schemaColumnNames,\n    indexes,\n    summary,\n    postchecks,\n    operationClass,\n  } = args;\n  const tempName = `_prisma_new_${tableName}`;\n  const liveSet = new Set(schemaColumnNames);\n  const sharedColumns = contractTable.columns.filter((c) => liveSet.has(c.name)).map((c) => c.name);\n  const columnList = sharedColumns.map(quoteIdentifier).join(', ');\n\n  const indexStatements = indexes.map((idx) => ({\n    description: `recreate index \"${idx.name}\" on \"${tableName}\"`,\n    sql: buildCreateIndexSql(tableName, idx.name, idx.columns),\n  }));\n\n  // If the contract retains no columns from the live table, an `INSERT INTO\n  // tmp () SELECT FROM old` is invalid SQL — and would also be a no-op since\n  // there's nothing to copy. Skip the copy step in that case; the new\n  // (empty) table replaces the old one directly.\n  const copyStep =\n    sharedColumns.length > 0\n      ? [\n          step(\n            `copy data from \"${tableName}\" to \"${tempName}\"`,\n            `INSERT INTO ${quoteIdentifier(tempName)} (${columnList}) SELECT ${columnList} FROM ${quoteIdentifier(tableName)}`,\n          ),\n        ]\n      : [];\n\n  return {\n    id: `recreateTable.${tableName}`,\n    label: `Recreate table ${tableName}`,\n    summary,\n    operationClass,\n    target: { id: 'sqlite', details: buildTargetDetails('table', tableName) },\n    precheck: [\n      step(\n        `ensure table \"${tableName}\" exists`,\n        `SELECT COUNT(*) > 0 FROM sqlite_master WHERE type = 'table' AND name = '${escapeLiteral(tableName)}'`,\n      ),\n      step(\n        `ensure temp table \"${tempName}\" does not exist`,\n        `SELECT COUNT(*) = 0 FROM sqlite_master WHERE type = 'table' AND name = '${escapeLiteral(tempName)}'`,\n      ),\n    ],\n    execute: [\n      step(\n        `create new table \"${tempName}\" with desired schema`,\n        renderCreateTableSql(tempName, contractTable),\n      ),\n      ...copyStep,\n      step(`drop old table \"${tableName}\"`, `DROP TABLE ${quoteIdentifier(tableName)}`),\n      step(\n        `rename \"${tempName}\" to \"${tableName}\"`,\n        `ALTER TABLE ${quoteIdentifier(tempName)} RENAME TO ${quoteIdentifier(tableName)}`,\n      ),\n      ...indexStatements,\n    ],\n    postcheck: [\n      step(\n        `verify table \"${tableName}\" exists`,\n        `SELECT COUNT(*) > 0 FROM sqlite_master WHERE type = 'table' AND name = '${escapeLiteral(tableName)}'`,\n      ),\n      step(\n        `verify temp table \"${tempName}\" is gone`,\n        `SELECT COUNT(*) = 0 FROM sqlite_master WHERE type = 'table' AND name = '${escapeLiteral(tempName)}'`,\n      ),\n      ...postchecks,\n    ],\n  };\n}\n\n/**\n * Build a one-line summary of a recreate-table operation from the schema\n * issues that triggered it. Lives next to `recreateTable` so the planner\n * (which has the issues) can produce the same description the factory\n * used to build inline. Keeping the formatting target-side keeps\n * `RecreateTableCall` issue-free at the IR layer.\n */\nexport function buildRecreateSummary(tableName: string, issues: readonly SchemaIssue[]): string {\n  const messages = issues.map((i) => i.message).join('; ');\n  return `Recreates table ${tableName} to apply schema changes: ${messages}`;\n}\n\nconst COLUMN_LEVEL_ISSUE_KINDS = new Set<SchemaIssue['kind']>([\n  'nullability_mismatch',\n  'default_mismatch',\n  'default_missing',\n  'extra_default',\n  'type_mismatch',\n]);\n\nconst PK_ISSUE_KINDS = new Set<SchemaIssue['kind']>(['primary_key_mismatch', 'extra_primary_key']);\n\nconst UNIQUE_ISSUE_KINDS = new Set<SchemaIssue['kind']>([\n  'unique_constraint_mismatch',\n  'extra_unique_constraint',\n]);\n\nconst FK_ISSUE_KINDS = new Set<SchemaIssue['kind']>(['foreign_key_mismatch', 'extra_foreign_key']);\n\n/**\n * Returns the columns the contract expects as the table's primary key. Picks\n * up SQLite's inline `INTEGER PRIMARY KEY AUTOINCREMENT` form when no\n * explicit `primaryKey` clause is set on the spec.\n */\nfunction expectedPrimaryKeyColumns(spec: SqliteTableSpec): readonly string[] {\n  if (spec.primaryKey) return spec.primaryKey.columns;\n  const inlinePk = spec.columns.find((c) => c.inlineAutoincrementPrimaryKey);\n  return inlinePk ? [inlinePk.name] : [];\n}\n\nfunction quoteSqlList(values: readonly string[]): string {\n  return values.map((v) => `'${escapeLiteral(v)}'`).join(', ');\n}\n\n/**\n * Per-issue postchecks verifying the recreated table's shape against the\n * contract spec. Column-level issues (`nullability_mismatch`,\n * `default_mismatch`, …) emit one targeted check each; constraint-level\n * issues (`primary_key_mismatch`, `unique_constraint_mismatch`,\n * `foreign_key_mismatch`, plus their `extra_*` siblings) emit one\n * `pragma_*`-driven check per declared constraint in the contract spec, so\n * a recreated table with the right columns but the wrong PK / unique / FK\n * shape fails the postcheck instead of passing silently. Exported so the\n * planner can pre-build the list at construction time and\n * `RecreateTableCall` doesn't have to carry `SchemaIssue` objects through\n * to render time.\n */\nexport function buildRecreatePostchecks(\n  tableName: string,\n  issues: readonly SchemaIssue[],\n  spec: SqliteTableSpec,\n): Array<{ description: string; sql: string }> {\n  const checks: Array<{ description: string; sql: string }> = [];\n  const t = escapeLiteral(tableName);\n  const byName = new Map(spec.columns.map((c) => [c.name, c]));\n\n  for (const issue of issues) {\n    if (issue.kind === 'enum_values_changed') continue;\n    if (!COLUMN_LEVEL_ISSUE_KINDS.has(issue.kind)) continue;\n    if (!issue.column) continue;\n    const c = escapeLiteral(issue.column);\n    if (issue.kind === 'nullability_mismatch') {\n      // `expected` carries the contract's nullable flag as a string. We only\n      // emit a postcheck when the value is recognized — anything else\n      // (case-folded, numeric coding, etc.) is left to the structural\n      // verifier so a typo here can't silently invert the meaning.\n      let wantNotNull: boolean | undefined;\n      if (issue.expected === 'false') wantNotNull = true;\n      else if (issue.expected === 'true') wantNotNull = false;\n      if (wantNotNull !== undefined) {\n        checks.push({\n          description: `verify \"${issue.column}\" nullability on \"${tableName}\"`,\n          sql: `SELECT COUNT(*) > 0 FROM pragma_table_info('${t}') WHERE name = '${c}' AND \"notnull\" = ${wantNotNull ? 1 : 0}`,\n        });\n      }\n    }\n    if (issue.kind === 'default_mismatch' || issue.kind === 'default_missing') {\n      const colSpec = byName.get(issue.column);\n      const expectedRaw = colSpec?.defaultSql.startsWith('DEFAULT ')\n        ? // SQLite's pragma_table_info.dflt_value strips outer parens for\n          // expression defaults (per the SQLite docs), so `(datetime('now'))`\n          // is stored as `datetime('now')`. Strip them here so the postcheck\n          // matches.\n          stripOuterParens(colSpec.defaultSql.slice('DEFAULT '.length))\n        : null;\n      if (expectedRaw) {\n        checks.push({\n          description: `verify \"${issue.column}\" default on \"${tableName}\"`,\n          sql: `SELECT COUNT(*) > 0 FROM pragma_table_info('${t}') WHERE name = '${c}' AND dflt_value = '${escapeLiteral(expectedRaw)}'`,\n        });\n      }\n    }\n    if (issue.kind === 'type_mismatch') {\n      const colSpec = byName.get(issue.column);\n      if (colSpec) {\n        checks.push({\n          description: `verify \"${issue.column}\" type on \"${tableName}\"`,\n          sql: `SELECT COUNT(*) > 0 FROM pragma_table_info('${t}') WHERE name = '${c}' AND LOWER(type) = '${escapeLiteral(colSpec.typeSql.toLowerCase())}'`,\n        });\n      }\n    }\n    if (issue.kind === 'extra_default') {\n      checks.push({\n        description: `verify \"${issue.column}\" has no default on \"${tableName}\"`,\n        sql: `SELECT COUNT(*) > 0 FROM pragma_table_info('${t}') WHERE name = '${c}' AND dflt_value IS NULL`,\n      });\n    }\n  }\n\n  // Constraint-level issues — emit one postcheck per declared constraint in\n  // the contract spec when *any* issue of that kind fires, since recreate\n  // rebuilds the entire table at once.\n  const hasPkIssue = issues.some((i) => PK_ISSUE_KINDS.has(i.kind));\n  const hasUniqueIssue = issues.some((i) => UNIQUE_ISSUE_KINDS.has(i.kind));\n  const hasFkIssue = issues.some((i) => FK_ISSUE_KINDS.has(i.kind));\n\n  if (hasPkIssue) {\n    const pkColumns = expectedPrimaryKeyColumns(spec);\n    // Verify pragma_table_info reports exactly these columns as PK members\n    // (count + named membership); zero columns expected ⇒ no PK at all.\n    const colCount = pkColumns.length;\n    if (colCount === 0) {\n      checks.push({\n        description: `verify \"${tableName}\" has no primary key`,\n        sql: `SELECT (SELECT COUNT(*) FROM pragma_table_info('${t}') WHERE pk > 0) = 0`,\n      });\n    } else {\n      checks.push({\n        description: `verify primary key on \"${tableName}\"`,\n        sql:\n          `SELECT (SELECT COUNT(*) FROM pragma_table_info('${t}') WHERE pk > 0) = ${colCount}` +\n          ` AND (SELECT COUNT(*) FROM pragma_table_info('${t}') WHERE pk > 0 AND name IN (${quoteSqlList(pkColumns)})) = ${colCount}`,\n      });\n    }\n  }\n\n  if (hasUniqueIssue) {\n    for (const u of spec.uniques ?? []) {\n      const colCount = u.columns.length;\n      const description = u.name\n        ? `verify unique constraint \"${u.name}\" on \"${tableName}\"`\n        : `verify unique constraint (${u.columns.join(', ')}) on \"${tableName}\"`;\n      // Match any unique index whose covered columns are exactly the expected\n      // set. Order is intentionally not checked — SQLite's unique-index\n      // identity is column-set, not column-sequence.\n      checks.push({\n        description,\n        sql:\n          `SELECT EXISTS (SELECT 1 FROM pragma_index_list('${t}') l` +\n          ` WHERE l.\"unique\" = 1` +\n          ` AND (SELECT COUNT(*) FROM pragma_index_info(l.name)) = ${colCount}` +\n          ` AND (SELECT COUNT(*) FROM pragma_index_info(l.name) WHERE name IN (${quoteSqlList(u.columns)})) = ${colCount})`,\n      });\n    }\n  }\n\n  if (hasFkIssue) {\n    for (const fk of spec.foreignKeys ?? []) {\n      const refTable = escapeLiteral(fk.references.table);\n      const colCount = fk.columns.length;\n      // Build a `SUM(CASE WHEN (\"from\",\"to\") IN ((…)) …)` so the check works\n      // for both single- and multi-column FKs without depending on FK row\n      // ordering inside `pragma_foreign_key_list`.\n      const tuples = fk.columns\n        .map((from, i) => {\n          const to = fk.references.columns[i] ?? from;\n          return `('${escapeLiteral(from)}', '${escapeLiteral(to)}')`;\n        })\n        .join(', ');\n      const description = `verify foreign key (${fk.columns.join(', ')}) → ${fk.references.table}(${fk.references.columns.join(', ')}) on \"${tableName}\"`;\n      checks.push({\n        description,\n        sql:\n          `SELECT EXISTS (SELECT 1 FROM pragma_foreign_key_list('${t}') f` +\n          ` WHERE f.\"table\" = '${refTable}'` +\n          ' GROUP BY f.id' +\n          ` HAVING COUNT(*) = ${colCount}` +\n          ` AND SUM(CASE WHEN (f.\"from\", f.\"to\") IN (${tuples}) THEN 1 ELSE 0 END) = ${colCount})`,\n      });\n    }\n  }\n\n  return checks;\n}\n"],"mappings":";;;;;AAOA,SAAgB,KAAK,aAAqB,KAAmD;CAC3F,OAAO;EAAE;EAAa;CAAI;AAC5B;AAoEA,MAAM,yBAA4D;CAChE,UAAU;CACV,UAAU;CACV,SAAS;CACT,SAAS;CACT,YAAY;AACd;;;;;;;AAQA,SAAgB,uBAAuB,QAAkC;CACvE,MAAM,QAAkB,CAAC,gBAAgB,OAAO,IAAI,GAAG,OAAO,OAAO;CACrE,IAAI,OAAO,+BACT,MAAM,KAAK,2BAA2B;MACjC;EACL,IAAI,OAAO,YAAY,MAAM,KAAK,OAAO,UAAU;EACnD,IAAI,CAAC,OAAO,UAAU,MAAM,KAAK,UAAU;CAC7C;CACA,OAAO,MAAM,KAAK,GAAG;AACvB;;;;;;;AAQA,SAAgB,uBAAuB,IAAkC;CACvE,IAAI,CAAC,GAAG,YAAY,OAAO;CAE3B,IAAI,MAAM,GADG,GAAG,OAAO,cAAc,gBAAgB,GAAG,IAAI,EAAE,KAAK,GACjD,eAAe,GAAG,QAAQ,IAAI,eAAe,EAAE,KAAK,IAAI,EAAE,eAAe,gBAAgB,GAAG,WAAW,KAAK,EAAE,IAAI,GAAG,WAAW,QAAQ,IAAI,eAAe,EAAE,KAAK,IAAI,EAAE;CAC1L,IAAI,GAAG,aAAa,KAAA,GAClB,OAAO,cAAc,uBAAuB,GAAG;CAEjD,IAAI,GAAG,aAAa,KAAA,GAClB,OAAO,cAAc,uBAAuB,GAAG;CAEjD,OAAO;AACT;;;ACnHA,SAAgB,UAAU,WAAmB,QAA8B;CAOzE,MAAM,SANQ;EACZ,eAAe,gBAAgB,SAAS;EACxC,cAAc,gBAAgB,OAAO,IAAI,EAAE,GAAG,OAAO;EACrD,OAAO;EACP,OAAO,WAAW,KAAK;CACzB,EAAE,OAAO,OACU,EAAE,KAAK,GAAG;CAE7B,OAAO;EACL,IAAI,UAAU,UAAU,GAAG,OAAO;EAClC,OAAO,cAAc,OAAO,KAAK,MAAM;EACvC,SAAS,eAAe,OAAO,KAAK,MAAM;EAC1C,gBAAgB;EAChB,QAAQ;GAAE,IAAI;GAAU,SAAS,mBAAmB,UAAU,OAAO,MAAM,SAAS;EAAE;EACtF,UAAU,CACR,KACE,kBAAkB,OAAO,KAAK,eAC9B,+CAA+C,cAAc,SAAS,EAAE,mBAAmB,cAAc,OAAO,IAAI,EAAE,EACxH,CACF;EACA,SAAS,CAAC,KAAK,eAAe,OAAO,KAAK,IAAI,MAAM,CAAC;EACrD,WAAW,CACT,KACE,kBAAkB,OAAO,KAAK,WAC9B,+CAA+C,cAAc,SAAS,EAAE,mBAAmB,cAAc,OAAO,IAAI,EAAE,EACxH,CACF;CACF;AACF;AAEA,SAAgB,WAAW,WAAmB,YAAwB;CACpE,OAAO;EACL,IAAI,cAAc,UAAU,GAAG;EAC/B,OAAO,eAAe,WAAW,MAAM;EACvC,SAAS,gBAAgB,WAAW,MAAM,UAAU;EACpD,gBAAgB;EAChB,QAAQ;GAAE,IAAI;GAAU,SAAS,mBAAmB,UAAU,YAAY,SAAS;EAAE;EACrF,UAAU,CACR,KACE,kBAAkB,WAAW,eAAe,UAAU,IACtD,+CAA+C,cAAc,SAAS,EAAE,mBAAmB,cAAc,UAAU,EAAE,EACvH,CACF;EACA,SAAS,CACP,KACE,gBAAgB,WAAW,UAAU,UAAU,IAC/C,eAAe,gBAAgB,SAAS,EAAE,eAAe,gBAAgB,UAAU,GACrF,CACF;EACA,WAAW,CACT,KACE,kBAAkB,WAAW,kBAAkB,UAAU,IACzD,+CAA+C,cAAc,SAAS,EAAE,mBAAmB,cAAc,UAAU,EAAE,EACvH,CACF;CACF;AACF;;;;;;;;;;;;ACxCA,MAAM,2BAA2B;AAEjC,SAAS,qBAAqB,YAA0B;CACtD,IAAI,CAAC,yBAAyB,KAAK,UAAU,GAC3C,MAAM,IAAI,MACR,yCAAyC,WAAW,4DAEtD;AAEJ;AAEA,SAAS,4BAA4B,YAA0B;CAC7D,IAAI,WAAW,SAAS,GAAG,KAAK,sBAAsB,KAAK,UAAU,GACnE,MAAM,IAAI,MACR,2CAA2C,WAAW,uFAExD;AAEJ;;;;;;AAOA,SAAgB,mBACd,QACA,eAA+E,CAAC,GACxE;CACR,MAAM,WAAW,0BAA0B,QAAQ,YAAY;CAC/D,qBAAqB,SAAS,UAAU;CACxC,OAAO,SAAS,WAAW,YAAY;AACzC;;;;;;;AAQA,SAAgB,sBAAsB,eAAwD;CAC5F,IAAI,CAAC,eAAe,OAAO;CAE3B,QAAQ,cAAc,MAAtB;EACE,KAAK,WACH,OAAO,WAAW,qBAAqB,cAAc,KAAK;EAC5D,KAAK;GACH,IAAI,cAAc,eAAe,mBAAmB,OAAO;GAC3D,IAAI,cAAc,eAAe,SAAS,OAAO;GACjD,4BAA4B,cAAc,UAAU;GACpD,OAAO,YAAY,cAAc,WAAW;CAEhD;AACF;AAEA,SAAgB,qBAAqB,OAAwB;CAC3D,IAAI,iBAAiB,MACnB,OAAO,IAAI,cAAc,MAAM,YAAY,CAAC,EAAE;CAEhD,IAAI,OAAO,UAAU,UACnB,OAAO,IAAI,cAAc,KAAK,EAAE;CAElC,IAAI,OAAO,UAAU,YAAY,OAAO,UAAU,UAChD,OAAO,OAAO,KAAK;CAErB,IAAI,OAAO,UAAU,WACnB,OAAO,QAAQ,MAAM;CAEvB,IAAI,UAAU,MACZ,OAAO;CAET,OAAO,IAAI,cAAc,KAAK,UAAU,KAAK,CAAC,EAAE;AAClD;AAEA,SAAgB,oBACd,WACA,WACA,SACA,SAAS,OACD;CAER,OAAO,UADe,SAAS,YAAY,GACZ,QAAQ,gBAAgB,SAAS,EAAE,MAAM,gBAAgB,SAAS,EAAE,IAAI,QAAQ,IAAI,eAAe,EAAE,KAAK,IAAI,EAAE;AACjJ;AAEA,SAAgB,kBAAkB,WAA2B;CAC3D,OAAO,wBAAwB,gBAAgB,SAAS;AAC1D;;;;;;;;AASA,SAAgB,gCAAgC,OAAqB,YAA6B;CAChG,IAAI,MAAM,YAAY,QAAQ,WAAW,GAAG,OAAO;CACnD,IAAI,MAAM,WAAW,QAAQ,OAAO,YAAY,OAAO;CACvD,MAAM,SAAS,MAAM,QAAQ;CAC7B,OAAO,QAAQ,SAAS,SAAS,cAAc,OAAO,QAAQ,eAAe;AAC/E;AAIA,SAAS,0BACP,QACA,cAC4B;CAC5B,IAAI,CAAC,OAAO,SACV,OAAO;CAET,MAAM,iBAAiB,aAAa,OAAO;CAC3C,IAAI,CAAC,gBACH,MAAM,IAAI,MACR,iBAAiB,OAAO,QAAQ,wDAClC;CAEF,IAAI,2BAA2B,cAAc,GAC3C,OAAO;EACL,SAAS,eAAe;EACxB,YAAY,eAAe;EAC3B,YAAY,EAAE,QAAQ,eAAe,OAAO;CAC9C;CAEF,OAAO;EACL,SAAS,eAAe;EACxB,YAAY,eAAe;EAC3B,YAAY,eAAe;CAC7B;AACF;;;ACjJA,SAAgB,YAAY,WAAmB,WAAmB,SAAgC;CAChG,OAAO;EACL,IAAI,SAAS,UAAU,GAAG;EAC1B,OAAO,gBAAgB,UAAU,MAAM;EACvC,SAAS,iBAAiB,UAAU,MAAM;EAC1C,gBAAgB;EAChB,QAAQ;GAAE,IAAI;GAAU,SAAS,mBAAmB,SAAS,WAAW,SAAS;EAAE;EACnF,UAAU,CACR,KACE,iBAAiB,UAAU,eAC3B,2EAA2E,cAAc,SAAS,EAAE,EACtG,CACF;EACA,SAAS,CACP,KAAK,iBAAiB,UAAU,IAAI,oBAAoB,WAAW,WAAW,OAAO,CAAC,CACxF;EACA,WAAW,CACT,KACE,iBAAiB,UAAU,WAC3B,2EAA2E,cAAc,SAAS,EAAE,EACtG,CACF;CACF;AACF;AAEA,SAAgB,UAAU,WAAmB,WAAuB;CAClE,OAAO;EACL,IAAI,aAAa,UAAU,GAAG;EAC9B,OAAO,cAAc,UAAU,MAAM;EACrC,SAAS,eAAe,UAAU,MAAM,UAAU;EAClD,gBAAgB;EAChB,QAAQ;GAAE,IAAI;GAAU,SAAS,mBAAmB,SAAS,WAAW,SAAS;EAAE;EACnF,UAAU,CACR,KACE,iBAAiB,UAAU,WAC3B,2EAA2E,cAAc,SAAS,EAAE,EACtG,CACF;EACA,SAAS,CAAC,KAAK,eAAe,UAAU,IAAI,kBAAkB,SAAS,CAAC,CAAC;EACzE,WAAW,CACT,KACE,iBAAiB,UAAU,YAC3B,2EAA2E,cAAc,SAAS,EAAE,EACtG,CACF;CACF;AACF;;;;;;;;;AC9BA,SAAS,qBAAqB,WAAmB,MAA+B;CAC9E,MAAM,aAAa,KAAK,QAAQ,IAAI,sBAAsB;CAE1D,MAAM,iBAA2B,CAAC;CAClC,MAAM,cAAc,KAAK,QAAQ,MAAM,MAAM,EAAE,6BAA6B;CAC5E,IAAI,KAAK,cAAc,CAAC,aACtB,eAAe,KAAK,gBAAgB,KAAK,WAAW,QAAQ,IAAI,eAAe,EAAE,KAAK,IAAI,EAAE,EAAE;CAGhG,KAAK,MAAM,KAAK,KAAK,WAAW,CAAC,GAAG;EAClC,MAAM,OAAO,EAAE,OAAO,cAAc,gBAAgB,EAAE,IAAI,EAAE,KAAK;EACjE,eAAe,KAAK,GAAG,KAAK,UAAU,EAAE,QAAQ,IAAI,eAAe,EAAE,KAAK,IAAI,EAAE,EAAE;CACpF;CAEA,KAAK,MAAM,MAAM,KAAK,eAAe,CAAC,GAAG;EACvC,MAAM,SAAS,uBAAuB,EAAE;EACxC,IAAI,QAAQ,eAAe,KAAK,MAAM;CACxC;CAEA,MAAM,UAAU,CAAC,GAAG,YAAY,GAAG,cAAc;CACjD,OAAO,gBAAgB,gBAAgB,SAAS,EAAE,QAAQ,QAAQ,KAAK,OAAO,EAAE;AAClF;AAEA,SAAgB,YAAY,WAAmB,MAA2B;CACxE,OAAO;EACL,IAAI,SAAS;EACb,OAAO,gBAAgB;EACvB,SAAS,iBAAiB,UAAU;EACpC,gBAAgB;EAChB,QAAQ;GAAE,IAAI;GAAU,SAAS,mBAAmB,SAAS,SAAS;EAAE;EACxE,UAAU,CACR,KACE,iBAAiB,UAAU,mBAC3B,2EAA2E,cAAc,SAAS,EAAE,EACtG,CACF;EACA,SAAS,CAAC,KAAK,iBAAiB,UAAU,IAAI,qBAAqB,WAAW,IAAI,CAAC,CAAC;EACpF,WAAW,CACT,KACE,iBAAiB,UAAU,WAC3B,2EAA2E,cAAc,SAAS,EAAE,EACtG,CACF;CACF;AACF;AAEA,SAAgB,UAAU,WAAuB;CAC/C,OAAO;EACL,IAAI,aAAa;EACjB,OAAO,cAAc;EACrB,SAAS,eAAe,UAAU;EAClC,gBAAgB;EAChB,QAAQ;GAAE,IAAI;GAAU,SAAS,mBAAmB,SAAS,SAAS;EAAE;EACxE,UAAU,CACR,KACE,iBAAiB,UAAU,WAC3B,2EAA2E,cAAc,SAAS,EAAE,EACtG,CACF;EACA,SAAS,CAAC,KAAK,eAAe,UAAU,IAAI,cAAc,gBAAgB,SAAS,GAAG,CAAC;EACvF,WAAW,CACT,KACE,iBAAiB,UAAU,YAC3B,2EAA2E,cAAc,SAAS,EAAE,EACtG,CACF;CACF;AACF;AA6BA,SAAgB,cAAc,MAA6B;CACzD,MAAM,EACJ,WACA,eACA,mBACA,SACA,SACA,YACA,mBACE;CACJ,MAAM,WAAW,eAAe;CAChC,MAAM,UAAU,IAAI,IAAI,iBAAiB;CACzC,MAAM,gBAAgB,cAAc,QAAQ,QAAQ,MAAM,QAAQ,IAAI,EAAE,IAAI,CAAC,EAAE,KAAK,MAAM,EAAE,IAAI;CAChG,MAAM,aAAa,cAAc,IAAI,eAAe,EAAE,KAAK,IAAI;CAE/D,MAAM,kBAAkB,QAAQ,KAAK,SAAS;EAC5C,aAAa,mBAAmB,IAAI,KAAK,QAAQ,UAAU;EAC3D,KAAK,oBAAoB,WAAW,IAAI,MAAM,IAAI,OAAO;CAC3D,EAAE;CAMF,MAAM,WACJ,cAAc,SAAS,IACnB,CACE,KACE,mBAAmB,UAAU,QAAQ,SAAS,IAC9C,eAAe,gBAAgB,QAAQ,EAAE,IAAI,WAAW,WAAW,WAAW,QAAQ,gBAAgB,SAAS,GACjH,CACF,IACA,CAAC;CAEP,OAAO;EACL,IAAI,iBAAiB;EACrB,OAAO,kBAAkB;EACzB;EACA;EACA,QAAQ;GAAE,IAAI;GAAU,SAAS,mBAAmB,SAAS,SAAS;EAAE;EACxE,UAAU,CACR,KACE,iBAAiB,UAAU,WAC3B,2EAA2E,cAAc,SAAS,EAAE,EACtG,GACA,KACE,sBAAsB,SAAS,mBAC/B,2EAA2E,cAAc,QAAQ,EAAE,EACrG,CACF;EACA,SAAS;GACP,KACE,qBAAqB,SAAS,wBAC9B,qBAAqB,UAAU,aAAa,CAC9C;GACA,GAAG;GACH,KAAK,mBAAmB,UAAU,IAAI,cAAc,gBAAgB,SAAS,GAAG;GAChF,KACE,WAAW,SAAS,QAAQ,UAAU,IACtC,eAAe,gBAAgB,QAAQ,EAAE,aAAa,gBAAgB,SAAS,GACjF;GACA,GAAG;EACL;EACA,WAAW;GACT,KACE,iBAAiB,UAAU,WAC3B,2EAA2E,cAAc,SAAS,EAAE,EACtG;GACA,KACE,sBAAsB,SAAS,YAC/B,2EAA2E,cAAc,QAAQ,EAAE,EACrG;GACA,GAAG;EACL;CACF;AACF;;;;;;;;AASA,SAAgB,qBAAqB,WAAmB,QAAwC;CAE9F,OAAO,mBAAmB,UAAU,4BADnB,OAAO,KAAK,MAAM,EAAE,OAAO,EAAE,KAAK,IACoB;AACzE;AAEA,MAAM,2BAA2B,IAAI,IAAyB;CAC5D;CACA;CACA;CACA;CACA;AACF,CAAC;AAED,MAAM,iBAAiB,IAAI,IAAyB,CAAC,wBAAwB,mBAAmB,CAAC;AAEjG,MAAM,qBAAqB,IAAI,IAAyB,CACtD,8BACA,yBACF,CAAC;AAED,MAAM,iBAAiB,IAAI,IAAyB,CAAC,wBAAwB,mBAAmB,CAAC;;;;;;AAOjG,SAAS,0BAA0B,MAA0C;CAC3E,IAAI,KAAK,YAAY,OAAO,KAAK,WAAW;CAC5C,MAAM,WAAW,KAAK,QAAQ,MAAM,MAAM,EAAE,6BAA6B;CACzE,OAAO,WAAW,CAAC,SAAS,IAAI,IAAI,CAAC;AACvC;AAEA,SAAS,aAAa,QAAmC;CACvD,OAAO,OAAO,KAAK,MAAM,IAAI,cAAc,CAAC,EAAE,EAAE,EAAE,KAAK,IAAI;AAC7D;;;;;;;;;;;;;;AAeA,SAAgB,wBACd,WACA,QACA,MAC6C;CAC7C,MAAM,SAAsD,CAAC;CAC7D,MAAM,IAAI,cAAc,SAAS;CACjC,MAAM,SAAS,IAAI,IAAI,KAAK,QAAQ,KAAK,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;CAE3D,KAAK,MAAM,SAAS,QAAQ;EAC1B,IAAI,MAAM,SAAS,uBAAuB;EAC1C,IAAI,CAAC,yBAAyB,IAAI,MAAM,IAAI,GAAG;EAC/C,IAAI,CAAC,MAAM,QAAQ;EACnB,MAAM,IAAI,cAAc,MAAM,MAAM;EACpC,IAAI,MAAM,SAAS,wBAAwB;GAKzC,IAAI;GACJ,IAAI,MAAM,aAAa,SAAS,cAAc;QACzC,IAAI,MAAM,aAAa,QAAQ,cAAc;GAClD,IAAI,gBAAgB,KAAA,GAClB,OAAO,KAAK;IACV,aAAa,WAAW,MAAM,OAAO,oBAAoB,UAAU;IACnE,KAAK,+CAA+C,EAAE,mBAAmB,EAAE,oBAAoB,cAAc,IAAI;GACnH,CAAC;EAEL;EACA,IAAI,MAAM,SAAS,sBAAsB,MAAM,SAAS,mBAAmB;GACzE,MAAM,UAAU,OAAO,IAAI,MAAM,MAAM;GACvC,MAAM,cAAc,SAAS,WAAW,WAAW,UAAU,IAKzD,iBAAiB,QAAQ,WAAW,MAAM,CAAiB,CAAC,IAC5D;GACJ,IAAI,aACF,OAAO,KAAK;IACV,aAAa,WAAW,MAAM,OAAO,gBAAgB,UAAU;IAC/D,KAAK,+CAA+C,EAAE,mBAAmB,EAAE,sBAAsB,cAAc,WAAW,EAAE;GAC9H,CAAC;EAEL;EACA,IAAI,MAAM,SAAS,iBAAiB;GAClC,MAAM,UAAU,OAAO,IAAI,MAAM,MAAM;GACvC,IAAI,SACF,OAAO,KAAK;IACV,aAAa,WAAW,MAAM,OAAO,aAAa,UAAU;IAC5D,KAAK,+CAA+C,EAAE,mBAAmB,EAAE,uBAAuB,cAAc,QAAQ,QAAQ,YAAY,CAAC,EAAE;GACjJ,CAAC;EAEL;EACA,IAAI,MAAM,SAAS,iBACjB,OAAO,KAAK;GACV,aAAa,WAAW,MAAM,OAAO,uBAAuB,UAAU;GACtE,KAAK,+CAA+C,EAAE,mBAAmB,EAAE;EAC7E,CAAC;CAEL;CAKA,MAAM,aAAa,OAAO,MAAM,MAAM,eAAe,IAAI,EAAE,IAAI,CAAC;CAChE,MAAM,iBAAiB,OAAO,MAAM,MAAM,mBAAmB,IAAI,EAAE,IAAI,CAAC;CACxE,MAAM,aAAa,OAAO,MAAM,MAAM,eAAe,IAAI,EAAE,IAAI,CAAC;CAEhE,IAAI,YAAY;EACd,MAAM,YAAY,0BAA0B,IAAI;EAGhD,MAAM,WAAW,UAAU;EAC3B,IAAI,aAAa,GACf,OAAO,KAAK;GACV,aAAa,WAAW,UAAU;GAClC,KAAK,mDAAmD,EAAE;EAC5D,CAAC;OAED,OAAO,KAAK;GACV,aAAa,0BAA0B,UAAU;GACjD,KACE,mDAAmD,EAAE,qBAAqB,SAAA,gDACzB,EAAE,+BAA+B,aAAa,SAAS,EAAE,OAAO;EACrH,CAAC;CAEL;CAEA,IAAI,gBACF,KAAK,MAAM,KAAK,KAAK,WAAW,CAAC,GAAG;EAClC,MAAM,WAAW,EAAE,QAAQ;EAC3B,MAAM,cAAc,EAAE,OAClB,6BAA6B,EAAE,KAAK,QAAQ,UAAU,KACtD,6BAA6B,EAAE,QAAQ,KAAK,IAAI,EAAE,QAAQ,UAAU;EAIxE,OAAO,KAAK;GACV;GACA,KACE,mDAAmD,EAAE,mFAEM,SAAA,sEACY,aAAa,EAAE,OAAO,EAAE,OAAO,SAAS;EACnH,CAAC;CACH;CAGF,IAAI,YACF,KAAK,MAAM,MAAM,KAAK,eAAe,CAAC,GAAG;EACvC,MAAM,WAAW,cAAc,GAAG,WAAW,KAAK;EAClD,MAAM,WAAW,GAAG,QAAQ;EAI5B,MAAM,SAAS,GAAG,QACf,KAAK,MAAM,MAAM;GAChB,MAAM,KAAK,GAAG,WAAW,QAAQ,MAAM;GACvC,OAAO,KAAK,cAAc,IAAI,EAAE,MAAM,cAAc,EAAE,EAAE;EAC1D,CAAC,EACA,KAAK,IAAI;EACZ,MAAM,cAAc,uBAAuB,GAAG,QAAQ,KAAK,IAAI,EAAE,MAAM,GAAG,WAAW,MAAM,GAAG,GAAG,WAAW,QAAQ,KAAK,IAAI,EAAE,QAAQ,UAAU;EACjJ,OAAO,KAAK;GACV;GACA,KACE,yDAAyD,EAAE,0BACpC,SAAS,oCAEV,SAAA,4CACuB,OAAO,yBAAyB,SAAS;EAC1F,CAAC;CACH;CAGF,OAAO;AACT"}

package/package.json

@@ -1,34 +1,42 @@
 {
   "name": "@prisma-next/target-sqlite",
-  "version": "0.11.0-dev.9",
+  "version": "0.12.0",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "dependencies": {
-    "@prisma-next/cli": "0.11.0-dev.9",
-    "@prisma-next/contract": "0.11.0-dev.9",
-    "@prisma-next/errors": "0.11.0-dev.9",
-    "@prisma-next/family-sql": "0.11.0-dev.9",
-    "@prisma-next/framework-components": "0.11.0-dev.9",
-    "@prisma-next/migration-tools": "0.11.0-dev.9",
-    "@prisma-next/sql-contract": "0.11.0-dev.9",
-    "@prisma-next/sql-errors": "0.11.0-dev.9",
-    "@prisma-next/sql-relational-core": "0.11.0-dev.9",
-    "@prisma-next/sql-runtime": "0.11.0-dev.9",
-    "@prisma-next/sql-schema-ir": "0.11.0-dev.9",
-    "@prisma-next/ts-render": "0.11.0-dev.9",
-    "@prisma-next/utils": "0.11.0-dev.9",
+    "@prisma-next/cli": "0.12.0",
+    "@prisma-next/contract": "0.12.0",
+    "@prisma-next/errors": "0.12.0",
+    "@prisma-next/family-sql": "0.12.0",
+    "@prisma-next/framework-components": "0.12.0",
+    "@prisma-next/migration-tools": "0.12.0",
+    "@prisma-next/sql-contract": "0.12.0",
+    "@prisma-next/sql-errors": "0.12.0",
+    "@prisma-next/sql-relational-core": "0.12.0",
+    "@prisma-next/sql-runtime": "0.12.0",
+    "@prisma-next/sql-schema-ir": "0.12.0",
+    "@prisma-next/ts-render": "0.12.0",
+    "@prisma-next/utils": "0.12.0",
     "@standard-schema/spec": "1.1.0"
   },
   "devDependencies": {
-    "@prisma-next/driver-sqlite": "0.11.0-dev.9",
-    "@prisma-next/test-utils": "0.11.0-dev.9",
-    "@prisma-next/tsconfig": "0.11.0-dev.9",
-    "@prisma-next/tsdown": "0.11.0-dev.9",
+    "@prisma-next/driver-sqlite": "0.12.0",
+    "@prisma-next/test-utils": "0.12.0",
+    "@prisma-next/tsconfig": "0.12.0",
+    "@prisma-next/tsdown": "0.12.0",
     "tsdown": "0.22.0",
     "typescript": "5.9.3",
     "vitest": "4.1.6"
   },
+  "peerDependencies": {
+    "typescript": ">=5.9"
+  },
+  "peerDependenciesMeta": {
+    "typescript": {
+      "optional": true
+    }
+  },
   "files": [
     "dist",
     "src"
@@ -52,6 +60,9 @@
     "./statement-builders": "./dist/statement-builders.mjs",
     "./package.json": "./package.json"
   },
+  "engines": {
+    "node": ">=24"
+  },
   "repository": {
     "type": "git",
     "url": "https://github.com/prisma/prisma-next.git",

package/src/core/migrations/planner-produced-sqlite-migration.ts

@@ -4,7 +4,6 @@ import type {
   OpFactoryCall,
 } from '@prisma-next/framework-components/control';
 import type { MigrationMeta } from '@prisma-next/migration-tools/migration';
-import { ifDefined } from '@prisma-next/utils/defined';
 import type { SqlitePlanTargetDetails } from './planner-target-details';
 import { renderOps } from './render-ops';
 import { renderCallsToTypeScript } from './render-typescript';
@@ -64,7 +63,6 @@ export class TypeScriptRenderableSqliteMigration
     return renderCallsToTypeScript(this.#calls, {
       from: this.#meta.from,
       to: this.#meta.to,
-      ...ifDefined('labels', this.#meta.labels),
     });
   }
 }

package/src/core/migrations/render-typescript.ts

@@ -6,12 +6,11 @@
 
 import type { OpFactoryCall } from '@prisma-next/framework-components/control';
 import { detectScaffoldRuntime, shebangLineFor } from '@prisma-next/migration-tools/migration-ts';
-import { type ImportRequirement, jsonToTsSource, renderImports } from '@prisma-next/ts-render';
+import { type ImportRequirement, renderImports } from '@prisma-next/ts-render';
 
 export interface RenderMigrationMeta {
   readonly from: string | null;
   readonly to: string;
-  readonly labels?: readonly string[];
 }
 
 /**
@@ -73,9 +72,6 @@ function buildDescribeMethod(meta: RenderMigrationMeta): string {
   lines.push('    return {');
   lines.push(`      from: ${JSON.stringify(meta.from)},`);
   lines.push(`      to: ${JSON.stringify(meta.to)},`);
-  if (meta.labels && meta.labels.length > 0) {
-    lines.push(`      labels: ${jsonToTsSource(meta.labels)},`);
-  }
   lines.push('    };');
   lines.push('  }');
   lines.push('');

package/src/core/migrations/runner.ts

@@ -1,7 +1,6 @@
 import type { ContractMarkerRecord } from '@prisma-next/contract/types';
 import type {
   MigrationOperationPolicy,
-  MultiSpaceRunnerResult,
   SqlControlFamilyInstance,
   SqlMigrationPlanContractInfo,
   SqlMigrationPlanOperation,
@@ -15,7 +14,10 @@ import type {
 import { runnerFailure, runnerSuccess } from '@prisma-next/family-sql/control';
 import { verifySqlSchema } from '@prisma-next/family-sql/schema-verify';
 import { type ContractMarkerRow, parseContractMarkerRow } from '@prisma-next/family-sql/verify';
-import type { ControlDriverInstance } from '@prisma-next/framework-components/control';
+import type {
+  ControlDriverInstance,
+  MigrationRunnerResult,
+} from '@prisma-next/framework-components/control';
 import { APP_SPACE_ID } from '@prisma-next/framework-components/control';
 import { ifDefined } from '@prisma-next/utils/defined';
 import type { Result } from '@prisma-next/utils/result';
@@ -42,63 +44,11 @@ export function createSqliteMigrationRunner(
 class SqliteMigrationRunner implements SqlMigrationRunner<SqlitePlanTargetDetails> {
   constructor(private readonly family: SqlControlFamilyInstance) {}
 
-  async execute(
-    options: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>,
-  ): Promise<SqlMigrationRunnerResult> {
-    const driver = options.driver;
-
-    const destinationCheck = this.ensurePlanMatchesDestinationContract(
-      options.plan.destination,
-      options.destinationContract,
-    );
-    if (!destinationCheck.ok) return destinationCheck;
-
-    const policyCheck = this.enforcePolicyCompatibility(options.policy, options.plan.operations);
-    if (!policyCheck.ok) return policyCheck;
-
-    // SQLite recreate-table drops and rebuilds the table. If foreign_keys is ON,
-    // dropping a referenced parent cascade-deletes child rows; we must disable FK
-    // enforcement for the duration of the migration and validate integrity before
-    // committing. PRAGMA foreign_keys is a no-op inside a transaction, so toggle
-    // around BEGIN/COMMIT.
-    const fkWasEnabled = await this.readForeignKeysEnabled(driver);
-    if (fkWasEnabled) {
-      await driver.query('PRAGMA foreign_keys = OFF');
-    }
-
-    try {
-      await this.beginExclusiveTransaction(driver);
-      let committed = false;
-      try {
-        const result = await this.executeOnConnection(options);
-        if (!result.ok) return result;
-
-        if (fkWasEnabled) {
-          const fkIntegrityCheck = await this.verifyForeignKeyIntegrity(driver);
-          if (!fkIntegrityCheck.ok) return fkIntegrityCheck;
-        }
-
-        await this.commitTransaction(driver);
-        committed = true;
-        return result;
-      } finally {
-        if (!committed) {
-          await this.rollbackTransaction(driver);
-        }
-      }
-    } finally {
-      if (fkWasEnabled) {
-        await driver.query('PRAGMA foreign_keys = ON');
-      }
-    }
-  }
-
   /**
    * Apply the plan against an already-open connection without managing
-   * the transaction lifecycle. The caller owns BEGIN/COMMIT/ROLLBACK
-   * and any connection-level setup (FK pragma toggle, FK integrity
-   * check). Used by the per-space runner orchestration to fan out
-   * across contract spaces inside one outer transaction.
+   * the transaction lifecycle. The caller ({@link SqliteMigrationRunner.execute})
+   * owns BEGIN/COMMIT/ROLLBACK and any connection-level setup (FK pragma
+   * toggle, FK integrity check).
    */
   async executeOnConnection(
     options: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>,
@@ -186,12 +136,12 @@ class SqliteMigrationRunner implements SqlMigrationRunner<SqlitePlanTargetDetail
     });
   }
 
-  async executeAcrossSpaces(options: {
+  async execute(options: {
     readonly driver: ControlDriverInstance<'sql', string>;
     readonly perSpaceOptions: ReadonlyArray<
       SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>
     >;
-  }): Promise<MultiSpaceRunnerResult> {
+  }): Promise<MigrationRunnerResult> {
     const driver = options.driver;
     const perSpaceOptions = options.perSpaceOptions;
 
@@ -200,7 +150,8 @@ class SqliteMigrationRunner implements SqlMigrationRunner<SqlitePlanTargetDetail
     }
 
     // FK pragma toggle and the FK integrity check both span the outer
-    // transaction — see `execute(...)` for the full rationale.
+    // transaction: PRAGMA foreign_keys is a no-op inside a transaction, so the
+    // toggle has to wrap BEGIN/COMMIT.
     const fkWasEnabled = await this.readForeignKeysEnabled(driver);
     if (fkWasEnabled) {
       await driver.query('PRAGMA foreign_keys = OFF');

package/src/core/migrations/statement-builders.ts

@@ -80,7 +80,7 @@ export interface WriteMarkerInput {
    * Logical space identifier for this marker row. Required at every
    * call site so the type system surfaces every place that needs to
    * thread the value (rather than letting an `?? APP_SPACE_ID`
-   * fall-through silently collapse multi-space markers onto the
+   * fall-through silently collapse per-space markers onto the
    * `'app'` row). App-plan callers pass {@link APP_SPACE_ID}
    * (`'app'`); per-extension callers pass the extension's space id.
    */

package/dist/planner-produced-sqlite-migration-BqzfeOFu.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"planner-produced-sqlite-migration-BqzfeOFu.mjs","names":["#calls","#meta","#destination","#spaceId"],"sources":["../src/core/migrations/render-typescript.ts","../src/core/migrations/planner-produced-sqlite-migration.ts"],"sourcesContent":["/**\n * Polymorphic TypeScript emitter for the SQLite migration IR. Mirrors the\n * Postgres `render-typescript.ts` — different base-class + factory module\n * specifier, same overall shape.\n */\n\nimport type { OpFactoryCall } from '@prisma-next/framework-components/control';\nimport { detectScaffoldRuntime, shebangLineFor } from '@prisma-next/migration-tools/migration-ts';\nimport { type ImportRequirement, jsonToTsSource, renderImports } from '@prisma-next/ts-render';\n\nexport interface RenderMigrationMeta {\n  readonly from: string | null;\n  readonly to: string;\n  readonly labels?: readonly string[];\n}\n\n/**\n * Always-present base imports for the rendered scaffold. Both come from\n * `@prisma-next/sqlite/migration` so an authored SQLite\n * `migration.ts` only needs a single dependency for its base class and\n * its CLI entrypoint. Mirrors Postgres's `BASE_IMPORTS`.\n *\n * - `Migration` — the facade re-export fixes the `SqlMigration`\n *   generic to `SqlitePlanTargetDetails` and the abstract `targetId` to\n *   `'sqlite'`.\n * - `MigrationCLI` — the migration-file CLI entrypoint, re-exported from\n *   `@prisma-next/cli/migration-cli`. Loads `prisma-next.config.ts`,\n *   assembles a `ControlStack`, and instantiates the migration class.\n */\nconst BASE_IMPORTS: readonly ImportRequirement[] = [\n  { moduleSpecifier: '@prisma-next/sqlite/migration', symbol: 'Migration' },\n  { moduleSpecifier: '@prisma-next/sqlite/migration', symbol: 'MigrationCLI' },\n];\n\nexport function renderCallsToTypeScript(\n  calls: ReadonlyArray<OpFactoryCall>,\n  meta: RenderMigrationMeta,\n): string {\n  const imports = buildImports(calls);\n  const operationsBody = calls.map((c) => c.renderTypeScript()).join(',\\n');\n\n  return [\n    shebangLineFor(detectScaffoldRuntime()),\n    imports,\n    '',\n    'export default class M extends Migration {',\n    buildDescribeMethod(meta),\n    '  override get operations() {',\n    '    return [',\n    indent(operationsBody, 6),\n    '    ];',\n    '  }',\n    '}',\n    '',\n    'MigrationCLI.run(import.meta.url, M);',\n    '',\n  ].join('\\n');\n}\n\nfunction buildImports(calls: ReadonlyArray<OpFactoryCall>): string {\n  const requirements: ImportRequirement[] = [...BASE_IMPORTS];\n  for (const call of calls) {\n    for (const req of call.importRequirements()) {\n      requirements.push(req);\n    }\n  }\n  return renderImports(requirements);\n}\n\nfunction buildDescribeMethod(meta: RenderMigrationMeta): string {\n  const lines: string[] = [];\n  lines.push('  override describe() {');\n  lines.push('    return {');\n  lines.push(`      from: ${JSON.stringify(meta.from)},`);\n  lines.push(`      to: ${JSON.stringify(meta.to)},`);\n  if (meta.labels && meta.labels.length > 0) {\n    lines.push(`      labels: ${jsonToTsSource(meta.labels)},`);\n  }\n  lines.push('    };');\n  lines.push('  }');\n  lines.push('');\n  return lines.join('\\n');\n}\n\nfunction indent(text: string, spaces: number): string {\n  const pad = ' '.repeat(spaces);\n  return text\n    .split('\\n')\n    .map((line) => (line.trim() ? `${pad}${line}` : line))\n    .join('\\n');\n}\n","import type { SqlMigrationPlanOperation } from '@prisma-next/family-sql/control';\nimport type {\n  MigrationPlanWithAuthoringSurface,\n  OpFactoryCall,\n} from '@prisma-next/framework-components/control';\nimport type { MigrationMeta } from '@prisma-next/migration-tools/migration';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { SqlitePlanTargetDetails } from './planner-target-details';\nimport { renderOps } from './render-ops';\nimport { renderCallsToTypeScript } from './render-typescript';\nimport { SqliteMigration } from './sqlite-migration';\n\ntype Op = SqlMigrationPlanOperation<SqlitePlanTargetDetails>;\n\nexport interface SqliteMigrationDestinationInfo {\n  readonly storageHash: string;\n  readonly profileHash?: string;\n}\n\nexport class TypeScriptRenderableSqliteMigration\n  extends SqliteMigration\n  implements MigrationPlanWithAuthoringSurface\n{\n  readonly #calls: readonly OpFactoryCall[];\n  readonly #meta: MigrationMeta;\n  readonly #destination: SqliteMigrationDestinationInfo;\n  readonly #spaceId: string;\n\n  constructor(\n    calls: readonly OpFactoryCall[],\n    meta: MigrationMeta,\n    spaceId: string,\n    destination?: SqliteMigrationDestinationInfo,\n  ) {\n    super();\n    this.#calls = calls;\n    this.#meta = meta;\n    this.#spaceId = spaceId;\n    this.#destination = destination ?? { storageHash: meta.to };\n  }\n\n  override get operations(): readonly Op[] {\n    return renderOps(this.#calls);\n  }\n\n  override describe(): MigrationMeta {\n    return this.#meta;\n  }\n\n  override get destination(): SqliteMigrationDestinationInfo {\n    return this.#destination;\n  }\n\n  /**\n   * Contract space this planner-produced plan applies to. Threaded\n   * from {@link SqlMigrationPlannerPlanOptions.spaceId} so the runner\n   * keys the marker row by the right space when executing the plan.\n   */\n  get spaceId(): string {\n    return this.#spaceId;\n  }\n\n  renderTypeScript(): string {\n    return renderCallsToTypeScript(this.#calls, {\n      from: this.#meta.from,\n      to: this.#meta.to,\n      ...ifDefined('labels', this.#meta.labels),\n    });\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;AA6BA,MAAM,eAA6C,CACjD;CAAE,iBAAiB;CAAiC,QAAQ;CAAa,EACzE;CAAE,iBAAiB;CAAiC,QAAQ;CAAgB,CAC7E;AAED,SAAgB,wBACd,OACA,MACQ;CACR,MAAM,UAAU,aAAa,MAAM;CACnC,MAAM,iBAAiB,MAAM,KAAK,MAAM,EAAE,kBAAkB,CAAC,CAAC,KAAK,MAAM;CAEzE,OAAO;EACL,eAAe,uBAAuB,CAAC;EACvC;EACA;EACA;EACA,oBAAoB,KAAK;EACzB;EACA;EACA,OAAO,gBAAgB,EAAE;EACzB;EACA;EACA;EACA;EACA;EACA;EACD,CAAC,KAAK,KAAK;;AAGd,SAAS,aAAa,OAA6C;CACjE,MAAM,eAAoC,CAAC,GAAG,aAAa;CAC3D,KAAK,MAAM,QAAQ,OACjB,KAAK,MAAM,OAAO,KAAK,oBAAoB,EACzC,aAAa,KAAK,IAAI;CAG1B,OAAO,cAAc,aAAa;;AAGpC,SAAS,oBAAoB,MAAmC;CAC9D,MAAM,QAAkB,EAAE;CAC1B,MAAM,KAAK,0BAA0B;CACrC,MAAM,KAAK,eAAe;CAC1B,MAAM,KAAK,eAAe,KAAK,UAAU,KAAK,KAAK,CAAC,GAAG;CACvD,MAAM,KAAK,aAAa,KAAK,UAAU,KAAK,GAAG,CAAC,GAAG;CACnD,IAAI,KAAK,UAAU,KAAK,OAAO,SAAS,GACtC,MAAM,KAAK,iBAAiB,eAAe,KAAK,OAAO,CAAC,GAAG;CAE7D,MAAM,KAAK,SAAS;CACpB,MAAM,KAAK,MAAM;CACjB,MAAM,KAAK,GAAG;CACd,OAAO,MAAM,KAAK,KAAK;;AAGzB,SAAS,OAAO,MAAc,QAAwB;CACpD,MAAM,MAAM,IAAI,OAAO,OAAO;CAC9B,OAAO,KACJ,MAAM,KAAK,CACX,KAAK,SAAU,KAAK,MAAM,GAAG,GAAG,MAAM,SAAS,KAAM,CACrD,KAAK,KAAK;;;;ACtEf,IAAa,sCAAb,cACU,gBAEV;CACE;CACA;CACA;CACA;CAEA,YACE,OACA,MACA,SACA,aACA;EACA,OAAO;EACP,KAAKA,SAAS;EACd,KAAKC,QAAQ;EACb,KAAKE,WAAW;EAChB,KAAKD,eAAe,eAAe,EAAE,aAAa,KAAK,IAAI;;CAG7D,IAAa,aAA4B;EACvC,OAAO,UAAU,KAAKF,OAAO;;CAG/B,WAAmC;EACjC,OAAO,KAAKC;;CAGd,IAAa,cAA8C;EACzD,OAAO,KAAKC;;;;;;;CAQd,IAAI,UAAkB;EACpB,OAAO,KAAKC;;CAGd,mBAA2B;EACzB,OAAO,wBAAwB,KAAKH,QAAQ;GAC1C,MAAM,KAAKC,MAAM;GACjB,IAAI,KAAKA,MAAM;GACf,GAAG,UAAU,UAAU,KAAKA,MAAM,OAAO;GAC1C,CAAC"}