@prisma-next/target-sqlite 0.12.0-dev.1 → 0.12.0-dev.11

package/dist/control.mjs

@@ -2,8 +2,8 @@ import { t as sqliteTargetDescriptorMeta } from "./descriptor-meta-DIbCXU65.mjs"
 import { t as parseSqliteDefault } from "./default-normalizer-CWKVYSxS.mjs";
 import { t as normalizeSqliteNativeType } from "./native-type-normalizer-HvkimyB8.mjs";
 import { d as renderDefaultLiteral } from "./tables-gB0XiFu8.mjs";
-import { n as createSqliteMigrationPlanner } from "./planner-BBvwGy0f.mjs";
-import { a as buildLedgerInsertStatement, c as ensureMarkerTableStatement, i as MARKER_TABLE_NAME, l as readMarkerStatement, o as buildWriteMarkerStatements, s as ensureLedgerTableStatement } from "./statement-builders-BiRmeyJM.mjs";
+import { n as createSqliteMigrationPlanner } from "./planner-BDZolRbq.mjs";
+import { a as buildLedgerInsertStatement, c as ensureMarkerTableStatement, i as MARKER_TABLE_NAME, l as readMarkerStatement, o as buildWriteMarkerStatements, s as ensureLedgerTableStatement } from "./statement-builders-D1Q_i4sb.mjs";
 import { contractToSchemaIR, runnerFailure, runnerSuccess } from "@prisma-next/family-sql/control";
 import { SqlStorage } from "@prisma-next/sql-contract/types";
 import { verifySqlSchema } from "@prisma-next/family-sql/schema-verify";
@@ -80,7 +80,7 @@ var SqliteMigrationRunner = class {
 		const incomingIsSubsetOfExisting = incomingInvariants.every((id) => existingInvariants.has(id));
 		if (!(isSelfEdge && operationsExecuted === 0 && incomingIsSubsetOfExisting)) {
 			await this.upsertMarker(driver, options, existingMarker, space);
-			await this.recordLedgerEntry(driver, options, existingMarker, executedOperations);
+			await this.recordLedgerEntries(driver, options, existingMarker, executedOperations);
 		}
 		return runnerSuccess({
 			operationsPlanned: options.plan.operations.length,
@@ -340,17 +340,33 @@ var SqliteMigrationRunner = class {
 		const statement = existingMarker ? writeStatements.update : writeStatements.insert;
 		await this.executeStatement(driver, statement);
 	}
-	async recordLedgerEntry(driver, options, existingMarker, executedOperations) {
-		const ledgerStatement = buildLedgerInsertStatement({
-			originStorageHash: existingMarker?.storageHash ?? null,
-			originProfileHash: existingMarker?.profileHash ?? null,
-			destinationStorageHash: options.plan.destination.storageHash,
-			destinationProfileHash: options.plan.destination.profileHash ?? options.destinationContract.profileHash ?? options.plan.destination.storageHash,
-			contractJsonBefore: existingMarker?.contractJson ?? null,
-			contractJsonAfter: options.destinationContract,
-			operations: executedOperations
-		});
-		await this.executeStatement(driver, ledgerStatement);
+	async recordLedgerEntries(driver, options, existingMarker, executedOperations) {
+		const plan = options.plan;
+		const space = plan.spaceId;
+		const destinationProfileHash = plan.destination.profileHash ?? options.destinationContract.profileHash ?? plan.destination.storageHash;
+		const edges = options.migrationEdges;
+		const totalEdgeOps = edges.reduce((sum, edge) => sum + edge.operationCount, 0);
+		if (totalEdgeOps !== plan.operations.length) throw new Error(`Ledger write: plan.operations length (${plan.operations.length}) does not match sum of migrationEdges operationCount (${totalEdgeOps})`);
+		let offset = 0;
+		const lastIndex = edges.length - 1;
+		for (const [i, edge] of edges.entries()) {
+			const edgeOps = executedOperations.slice(offset, offset + edge.operationCount);
+			offset += edge.operationCount;
+			const isFirst = i === 0;
+			const isLast = i === lastIndex;
+			await this.executeStatement(driver, buildLedgerInsertStatement({
+				space,
+				migrationName: edge.dirName,
+				migrationHash: edge.migrationHash,
+				originStorageHash: edge.from === "" ? null : edge.from,
+				originProfileHash: isFirst && existingMarker?.storageHash === edge.from ? existingMarker.profileHash ?? null : null,
+				destinationStorageHash: edge.to,
+				destinationProfileHash: isLast && edge.to === plan.destination.storageHash ? destinationProfileHash : null,
+				contractJsonBefore: isFirst ? existingMarker?.contractJson ?? null : null,
+				contractJsonAfter: isLast ? options.destinationContract : null,
+				operations: edgeOps
+			}));
+		}
 	}
 	async beginExclusiveTransaction(driver) {
 		await driver.query("BEGIN EXCLUSIVE");

package/dist/control.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"control.mjs","names":[],"sources":["../src/core/migrations/runner.ts","../src/core/sqlite-contract-serializer.ts","../src/core/sqlite-schema-verifier.ts","../src/core/control-target.ts","../src/core/sqlite-unbound-database.ts"],"sourcesContent":["import type { ContractMarkerRecord } from '@prisma-next/contract/types';\nimport type {\n  MigrationOperationPolicy,\n  SqlControlFamilyInstance,\n  SqlMigrationPlanContractInfo,\n  SqlMigrationPlanOperation,\n  SqlMigrationPlanOperationStep,\n  SqlMigrationRunner,\n  SqlMigrationRunnerExecuteOptions,\n  SqlMigrationRunnerFailure,\n  SqlMigrationRunnerResult,\n  SqlMigrationRunnerSuccessValue,\n} from '@prisma-next/family-sql/control';\nimport { runnerFailure, runnerSuccess } from '@prisma-next/family-sql/control';\nimport { verifySqlSchema } from '@prisma-next/family-sql/schema-verify';\nimport { type ContractMarkerRow, parseContractMarkerRow } from '@prisma-next/family-sql/verify';\nimport type {\n  ControlDriverInstance,\n  MigrationRunnerResult,\n} from '@prisma-next/framework-components/control';\nimport { APP_SPACE_ID } from '@prisma-next/framework-components/control';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { Result } from '@prisma-next/utils/result';\nimport { notOk, ok, okVoid } from '@prisma-next/utils/result';\nimport { parseSqliteDefault } from '../default-normalizer';\nimport { normalizeSqliteNativeType } from '../native-type-normalizer';\nimport type { SqlitePlanTargetDetails } from './planner-target-details';\nimport {\n  buildLedgerInsertStatement,\n  buildWriteMarkerStatements,\n  ensureLedgerTableStatement,\n  ensureMarkerTableStatement,\n  MARKER_TABLE_NAME,\n  readMarkerStatement,\n  type SqlStatement,\n} from './statement-builders';\n\nexport function createSqliteMigrationRunner(\n  family: SqlControlFamilyInstance,\n): SqlMigrationRunner<SqlitePlanTargetDetails> {\n  return new SqliteMigrationRunner(family);\n}\n\nclass SqliteMigrationRunner implements SqlMigrationRunner<SqlitePlanTargetDetails> {\n  constructor(private readonly family: SqlControlFamilyInstance) {}\n\n  /**\n   * Apply the plan against an already-open connection without managing\n   * the transaction lifecycle. The caller ({@link SqliteMigrationRunner.execute})\n   * owns BEGIN/COMMIT/ROLLBACK and any connection-level setup (FK pragma\n   * toggle, FK integrity check).\n   */\n  async executeOnConnection(\n    options: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>,\n  ): Promise<SqlMigrationRunnerResult> {\n    const driver = options.driver;\n    if (options.space !== undefined && options.space !== options.plan.spaceId) {\n      throw new Error(\n        `SqlMigrationRunner: options.space (${options.space}) does not match plan.spaceId (${options.plan.spaceId})`,\n      );\n    }\n    const space = options.plan.spaceId;\n\n    const destinationCheck = this.ensurePlanMatchesDestinationContract(\n      options.plan.destination,\n      options.destinationContract,\n    );\n    if (!destinationCheck.ok) return destinationCheck;\n\n    const policyCheck = this.enforcePolicyCompatibility(options.policy, options.plan.operations);\n    if (!policyCheck.ok) return policyCheck;\n\n    const ensureResult = await this.ensureControlTables(driver);\n    if (!ensureResult.ok) return ensureResult;\n    const existingMarker = await this.readMarker(driver, space);\n\n    const markerCheck = this.ensureMarkerCompatibility(existingMarker, options.plan);\n    if (!markerCheck.ok) return markerCheck;\n\n    const markerAtDestination = this.markerMatchesDestination(existingMarker, options.plan);\n    const isSelfEdge = options.plan.origin?.storageHash === options.plan.destination.storageHash;\n    const skipOperations = markerAtDestination && options.plan.origin != null && !isSelfEdge;\n\n    let operationsExecuted: number;\n    let executedOperations: readonly SqlMigrationPlanOperation<SqlitePlanTargetDetails>[];\n\n    if (skipOperations) {\n      operationsExecuted = 0;\n      executedOperations = [];\n    } else {\n      const applyResult = await this.applyPlan(driver, options);\n      if (!applyResult.ok) return applyResult;\n      operationsExecuted = applyResult.value.operationsExecuted;\n      executedOperations = applyResult.value.executedOperations;\n    }\n\n    if (space === APP_SPACE_ID) {\n      const schemaIR = await this.family.introspect({\n        driver,\n        contract: options.destinationContract,\n      });\n\n      const schemaVerifyResult = verifySqlSchema({\n        contract: options.destinationContract,\n        schema: schemaIR,\n        strict: options.strictVerification ?? true,\n        context: options.context ?? {},\n        typeMetadataRegistry: this.family.typeMetadataRegistry,\n        frameworkComponents: options.frameworkComponents,\n        normalizeDefault: parseSqliteDefault,\n        normalizeNativeType: normalizeSqliteNativeType,\n      });\n      if (!schemaVerifyResult.ok) {\n        return runnerFailure('SCHEMA_VERIFY_FAILED', schemaVerifyResult.summary, {\n          why: 'The resulting database schema does not satisfy the destination contract.',\n          meta: { issues: schemaVerifyResult.schema.issues },\n        });\n      }\n    }\n\n    // Self-edge no-op detection: see Postgres runner for the rationale\n    // (kept symmetric across both targets).\n    const incomingInvariants = options.plan.providedInvariants;\n    const existingInvariants = new Set(existingMarker?.invariants ?? []);\n    const incomingIsSubsetOfExisting = incomingInvariants.every((id) => existingInvariants.has(id));\n    const isSelfEdgeNoOp = isSelfEdge && operationsExecuted === 0 && incomingIsSubsetOfExisting;\n\n    if (!isSelfEdgeNoOp) {\n      await this.upsertMarker(driver, options, existingMarker, space);\n      await this.recordLedgerEntry(driver, options, existingMarker, executedOperations);\n    }\n\n    return runnerSuccess({\n      operationsPlanned: options.plan.operations.length,\n      operationsExecuted,\n    });\n  }\n\n  async execute(options: {\n    readonly driver: ControlDriverInstance<'sql', string>;\n    readonly perSpaceOptions: ReadonlyArray<\n      SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>\n    >;\n  }): Promise<MigrationRunnerResult> {\n    const driver = options.driver;\n    const perSpaceOptions = options.perSpaceOptions;\n\n    if (perSpaceOptions.length === 0) {\n      return ok({ perSpaceResults: [] });\n    }\n\n    // FK pragma toggle and the FK integrity check both span the outer\n    // transaction: PRAGMA foreign_keys is a no-op inside a transaction, so the\n    // toggle has to wrap BEGIN/COMMIT.\n    const fkWasEnabled = await this.readForeignKeysEnabled(driver);\n    if (fkWasEnabled) {\n      await driver.query('PRAGMA foreign_keys = OFF');\n    }\n\n    try {\n      await this.beginExclusiveTransaction(driver);\n      let committed = false;\n      try {\n        const perSpaceResults: Array<{\n          space: string;\n          value: SqlMigrationRunnerSuccessValue;\n        }> = [];\n        let lastProcessedSpace: string | undefined;\n        for (const spaceOptions of perSpaceOptions) {\n          const space = spaceOptions.space ?? spaceOptions.plan.spaceId;\n          const result = await this.executeOnConnection({ ...spaceOptions, driver, space });\n          if (!result.ok) {\n            return notOk({ ...result.failure, failingSpace: space });\n          }\n          perSpaceResults.push({ space, value: result.value });\n          lastProcessedSpace = space;\n        }\n\n        if (fkWasEnabled) {\n          const fkIntegrityCheck = await this.verifyForeignKeyIntegrity(driver);\n          if (!fkIntegrityCheck.ok) {\n            // Post-loop integrity violations cannot be attributed to a\n            // single per-space step (the cumulative effect of all\n            // applied plans was needed to reveal the broken\n            // reference). Surface the last successfully-applied space\n            // so operators can investigate from the most recent\n            // migration first.\n            return notOk({\n              ...fkIntegrityCheck.failure,\n              failingSpace: lastProcessedSpace ?? APP_SPACE_ID,\n            });\n          }\n        }\n\n        await this.commitTransaction(driver);\n        committed = true;\n        return ok({ perSpaceResults });\n      } finally {\n        if (!committed) {\n          await this.rollbackTransaction(driver);\n        }\n      }\n    } finally {\n      if (fkWasEnabled) {\n        await driver.query('PRAGMA foreign_keys = ON');\n      }\n    }\n  }\n\n  private async readForeignKeysEnabled(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n  ): Promise<boolean> {\n    const result = await driver.query<{ foreign_keys: number }>('PRAGMA foreign_keys');\n    const row = result.rows[0];\n    return row?.foreign_keys === 1;\n  }\n\n  private async verifyForeignKeyIntegrity(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    const result = await driver.query<Record<string, unknown>>('PRAGMA foreign_key_check');\n    if (result.rows.length === 0) {\n      return okVoid();\n    }\n    return runnerFailure(\n      'FOREIGN_KEY_VIOLATION',\n      `Foreign key integrity check failed after migration: ${result.rows.length} violation(s).`,\n      {\n        why: 'PRAGMA foreign_key_check reported violations after applying recreate-table operations.',\n        meta: { violations: result.rows },\n      },\n    );\n  }\n\n  private async applyPlan(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    options: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>,\n  ): Promise<\n    Result<\n      {\n        readonly operationsExecuted: number;\n        readonly executedOperations: readonly SqlMigrationPlanOperation<SqlitePlanTargetDetails>[];\n      },\n      SqlMigrationRunnerFailure\n    >\n  > {\n    const checks = options.executionChecks;\n    const runPrechecks = checks?.prechecks !== false;\n    const runPostchecks = checks?.postchecks !== false;\n    const runIdempotency = checks?.idempotencyChecks !== false;\n\n    let operationsExecuted = 0;\n    const executedOperations: Array<SqlMigrationPlanOperation<SqlitePlanTargetDetails>> = [];\n\n    for (const operation of options.plan.operations) {\n      options.callbacks?.onOperationStart?.(operation);\n      try {\n        if (runPostchecks && runIdempotency) {\n          const postcheckAlreadySatisfied = await this.expectationsAreSatisfied(\n            driver,\n            operation.postcheck,\n          );\n          if (postcheckAlreadySatisfied) {\n            executedOperations.push(this.createSkipRecord(operation));\n            continue;\n          }\n        }\n\n        if (runPrechecks) {\n          const precheckResult = await this.runExpectationSteps(\n            driver,\n            operation.precheck,\n            operation,\n            'precheck',\n          );\n          if (!precheckResult.ok) {\n            return precheckResult;\n          }\n        }\n\n        const executeResult = await this.runExecuteSteps(driver, operation.execute, operation);\n        if (!executeResult.ok) {\n          return executeResult;\n        }\n\n        if (runPostchecks) {\n          const postcheckResult = await this.runExpectationSteps(\n            driver,\n            operation.postcheck,\n            operation,\n            'postcheck',\n          );\n          if (!postcheckResult.ok) {\n            return postcheckResult;\n          }\n        }\n\n        executedOperations.push(operation);\n        operationsExecuted += 1;\n      } finally {\n        options.callbacks?.onOperationComplete?.(operation);\n      }\n    }\n    return ok({ operationsExecuted, executedOperations });\n  }\n\n  private async ensureControlTables(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    // Pre-1.0 zero-range guardrail: detect a pre-cleanup single-row\n    // marker table (no `space` column) and surface a structured failure\n    // rather than silently rebuilding the table into the per-space\n    // shape. See `specs/framework-mechanism.spec.md § 2`.\n    const legacyDetection = await this.detectLegacyMarkerShape(driver);\n    if (!legacyDetection.ok) {\n      return legacyDetection;\n    }\n    await this.executeStatement(driver, ensureMarkerTableStatement);\n    await this.executeStatement(driver, ensureLedgerTableStatement);\n    return okVoid();\n  }\n\n  private async detectLegacyMarkerShape(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    const tableInfo = await driver.query<{ name: string }>(\n      `PRAGMA table_info(\"${MARKER_TABLE_NAME}\")`,\n    );\n    if (tableInfo.rows.length === 0) {\n      return okVoid();\n    }\n    const columns = new Set(tableInfo.rows.map((row) => row.name));\n    if (columns.has('space')) {\n      return okVoid();\n    }\n    return runnerFailure(\n      'LEGACY_MARKER_SHAPE',\n      `Legacy marker-table shape detected on ${MARKER_TABLE_NAME} (no \\`space\\` column). ` +\n        'Prisma Next is in pre-1.0; the previous transitional auto-migration to the per-space-row schema has been removed. ' +\n        `Drop \\`${MARKER_TABLE_NAME}\\` and re-run \\`dbInit\\` to reinitialise from a clean baseline.`,\n      {\n        meta: {\n          table: MARKER_TABLE_NAME,\n          columns: [...columns].sort(),\n        },\n      },\n    );\n  }\n\n  private async readMarker(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    space: string,\n  ): Promise<ContractMarkerRecord | null> {\n    const stmt = readMarkerStatement(space);\n    try {\n      const result = await driver.query<ContractMarkerRow>(stmt.sql, stmt.params);\n      const row = result.rows[0];\n      if (!row) return null;\n      // SQLite stores arrays as JSON-encoded TEXT (no native array type), so\n      // the driver returns `invariants` as a string. Decode before delegating\n      // to the shared row schema, which expects `string[]`.\n      const invariants =\n        typeof row.invariants === 'string'\n          ? (JSON.parse(row.invariants) as unknown)\n          : row.invariants;\n      return parseContractMarkerRow({ ...row, invariants });\n    } catch (error) {\n      // Table might not exist yet\n      if (error instanceof Error && error.message.includes('no such table')) {\n        return null;\n      }\n      throw error;\n    }\n  }\n\n  private async runExpectationSteps(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    steps: readonly SqlMigrationPlanOperationStep[],\n    operation: SqlMigrationPlanOperation<SqlitePlanTargetDetails>,\n    phase: 'precheck' | 'postcheck',\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    for (const step of steps) {\n      const result = await driver.query(step.sql, step.params ?? []);\n      if (!this.stepResultIsTrue(result.rows)) {\n        const code = phase === 'precheck' ? 'PRECHECK_FAILED' : 'POSTCHECK_FAILED';\n        return runnerFailure(\n          code,\n          `Operation ${operation.id} failed during ${phase}: ${step.description}`,\n          {\n            meta: {\n              operationId: operation.id,\n              phase,\n              stepDescription: step.description,\n            },\n          },\n        );\n      }\n    }\n    return okVoid();\n  }\n\n  private async runExecuteSteps(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    steps: readonly SqlMigrationPlanOperationStep[],\n    operation: SqlMigrationPlanOperation<SqlitePlanTargetDetails>,\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    for (const step of steps) {\n      try {\n        await driver.query(step.sql, step.params ?? []);\n      } catch (error: unknown) {\n        const message = error instanceof Error ? error.message : String(error);\n        return runnerFailure(\n          'EXECUTION_FAILED',\n          `Operation ${operation.id} failed during execution: ${step.description}`,\n          {\n            why: message,\n            meta: {\n              operationId: operation.id,\n              stepDescription: step.description,\n              sql: step.sql,\n            },\n          },\n        );\n      }\n    }\n    return okVoid();\n  }\n\n  private stepResultIsTrue(rows: readonly Record<string, unknown>[]): boolean {\n    if (!rows || rows.length === 0) {\n      return false;\n    }\n    const firstRow = rows[0];\n    const firstValue = firstRow ? Object.values(firstRow)[0] : undefined;\n    if (typeof firstValue === 'number') {\n      return firstValue !== 0;\n    }\n    if (typeof firstValue === 'boolean') {\n      return firstValue;\n    }\n    if (typeof firstValue === 'string') {\n      const lower = firstValue.toLowerCase();\n      if (lower === 'true' || lower === '1') return true;\n      if (lower === 'false' || lower === '0') return false;\n      return firstValue.length > 0;\n    }\n    return Boolean(firstValue);\n  }\n\n  private async expectationsAreSatisfied(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    steps: readonly SqlMigrationPlanOperationStep[],\n  ): Promise<boolean> {\n    if (steps.length === 0) {\n      return false;\n    }\n    for (const step of steps) {\n      const result = await driver.query(step.sql, step.params ?? []);\n      if (!this.stepResultIsTrue(result.rows)) {\n        return false;\n      }\n    }\n    return true;\n  }\n\n  private createSkipRecord(\n    operation: SqlMigrationPlanOperation<SqlitePlanTargetDetails>,\n  ): SqlMigrationPlanOperation<SqlitePlanTargetDetails> {\n    return Object.freeze({\n      id: operation.id,\n      label: operation.label,\n      ...ifDefined('summary', operation.summary),\n      operationClass: operation.operationClass,\n      target: operation.target,\n      precheck: Object.freeze([]),\n      execute: Object.freeze([]),\n      postcheck: Object.freeze([...operation.postcheck]),\n      meta: Object.freeze({\n        ...(operation.meta ?? {}),\n        runner: Object.freeze({ skipped: true, reason: 'postcheck_pre_satisfied' }),\n      }),\n    });\n  }\n\n  private markerMatchesDestination(\n    marker: ContractMarkerRecord | null,\n    plan: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['plan'],\n  ): boolean {\n    if (!marker) return false;\n    if (marker.storageHash !== plan.destination.storageHash) return false;\n    if (plan.destination.profileHash && marker.profileHash !== plan.destination.profileHash) {\n      return false;\n    }\n    return true;\n  }\n\n  private enforcePolicyCompatibility(\n    policy: MigrationOperationPolicy,\n    operations: readonly SqlMigrationPlanOperation<SqlitePlanTargetDetails>[],\n  ): Result<void, SqlMigrationRunnerFailure> {\n    const allowedClasses = new Set(policy.allowedOperationClasses);\n    for (const operation of operations) {\n      if (!allowedClasses.has(operation.operationClass)) {\n        return runnerFailure(\n          'POLICY_VIOLATION',\n          `Operation ${operation.id} has class \"${operation.operationClass}\" which is not allowed by policy.`,\n          {\n            why: `Policy only allows: ${policy.allowedOperationClasses.join(', ')}.`,\n            meta: {\n              operationId: operation.id,\n              operationClass: operation.operationClass,\n              allowedClasses: policy.allowedOperationClasses,\n            },\n          },\n        );\n      }\n    }\n    return okVoid();\n  }\n\n  private ensureMarkerCompatibility(\n    marker: ContractMarkerRecord | null,\n    plan: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['plan'],\n  ): Result<void, SqlMigrationRunnerFailure> {\n    const origin = plan.origin ?? null;\n    if (!origin) {\n      return okVoid();\n    }\n    if (!marker) {\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Missing contract marker: expected origin storage hash ${origin.storageHash}.`,\n        { meta: { expectedOriginStorageHash: origin.storageHash } },\n      );\n    }\n    if (marker.storageHash !== origin.storageHash) {\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Existing contract marker (${marker.storageHash}) does not match plan origin (${origin.storageHash}).`,\n        {\n          meta: {\n            markerStorageHash: marker.storageHash,\n            expectedOriginStorageHash: origin.storageHash,\n          },\n        },\n      );\n    }\n    if (origin.profileHash && marker.profileHash !== origin.profileHash) {\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Existing contract marker profile hash (${marker.profileHash}) does not match plan origin profile hash (${origin.profileHash}).`,\n        {\n          meta: {\n            markerProfileHash: marker.profileHash,\n            expectedOriginProfileHash: origin.profileHash,\n          },\n        },\n      );\n    }\n    return okVoid();\n  }\n\n  private ensurePlanMatchesDestinationContract(\n    destination: SqlMigrationPlanContractInfo,\n    contract: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['destinationContract'],\n  ): Result<void, SqlMigrationRunnerFailure> {\n    if (destination.storageHash !== contract.storage.storageHash) {\n      return runnerFailure(\n        'DESTINATION_CONTRACT_MISMATCH',\n        `Plan destination storage hash (${destination.storageHash}) does not match provided contract storage hash (${contract.storage.storageHash}).`,\n        {\n          meta: {\n            planStorageHash: destination.storageHash,\n            contractStorageHash: contract.storage.storageHash,\n          },\n        },\n      );\n    }\n    if (\n      destination.profileHash &&\n      contract.profileHash &&\n      destination.profileHash !== contract.profileHash\n    ) {\n      return runnerFailure(\n        'DESTINATION_CONTRACT_MISMATCH',\n        `Plan destination profile hash (${destination.profileHash}) does not match provided contract profile hash (${contract.profileHash}).`,\n        {\n          meta: {\n            planProfileHash: destination.profileHash,\n            contractProfileHash: contract.profileHash,\n          },\n        },\n      );\n    }\n    return okVoid();\n  }\n\n  private async upsertMarker(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    options: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>,\n    existingMarker: ContractMarkerRecord | null,\n    space: string,\n  ): Promise<void> {\n    // SQLite has no native array type, so we can't merge invariants in SQL\n    // the way Postgres does. Merge client-side under the runner's\n    // BEGIN EXCLUSIVE — sort + dedupe so the JSON-encoded value is stable.\n    const merged = new Set<string>(existingMarker?.invariants ?? []);\n    for (const inv of options.plan.providedInvariants) merged.add(inv);\n    const invariants = Array.from(merged).sort();\n    const writeStatements = buildWriteMarkerStatements({\n      space,\n      storageHash: options.plan.destination.storageHash,\n      profileHash:\n        options.plan.destination.profileHash ??\n        options.destinationContract.profileHash ??\n        options.plan.destination.storageHash,\n      contractJson: options.destinationContract,\n      canonicalVersion: null,\n      meta: {},\n      invariants,\n    });\n    const statement = existingMarker ? writeStatements.update : writeStatements.insert;\n    await this.executeStatement(driver, statement);\n  }\n\n  private async recordLedgerEntry(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    options: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>,\n    existingMarker: ContractMarkerRecord | null,\n    executedOperations: readonly SqlMigrationPlanOperation<SqlitePlanTargetDetails>[],\n  ): Promise<void> {\n    const ledgerStatement = buildLedgerInsertStatement({\n      originStorageHash: existingMarker?.storageHash ?? null,\n      originProfileHash: existingMarker?.profileHash ?? null,\n      destinationStorageHash: options.plan.destination.storageHash,\n      destinationProfileHash:\n        options.plan.destination.profileHash ??\n        options.destinationContract.profileHash ??\n        options.plan.destination.storageHash,\n      contractJsonBefore: existingMarker?.contractJson ?? null,\n      contractJsonAfter: options.destinationContract,\n      operations: executedOperations,\n    });\n    await this.executeStatement(driver, ledgerStatement);\n  }\n\n  private async beginExclusiveTransaction(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n  ): Promise<void> {\n    await driver.query('BEGIN EXCLUSIVE');\n  }\n\n  private async commitTransaction(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n  ): Promise<void> {\n    await driver.query('COMMIT');\n  }\n\n  private async rollbackTransaction(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n  ): Promise<void> {\n    await driver.query('ROLLBACK');\n  }\n\n  private async executeStatement(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    statement: SqlStatement,\n  ): Promise<void> {\n    if (statement.params.length > 0) {\n      await driver.query(statement.sql, statement.params);\n      return;\n    }\n    await driver.query(statement.sql);\n  }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport { SqlContractSerializerBase } from '@prisma-next/family-sql/ir';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\n\n/**\n * SQLite target `ContractSerializer` concretion. Mirrors the Postgres\n * shape: inherits the full SQL-family deserialization pipeline. Today's\n * SQLite contract shape is the family-shared shape; no target-specific\n * polymorphic `storage.types` factories are registered yet.\n *\n * `serializeContract` falls through to the family-base default —\n * SQLite's contract is JSON-clean today. Once target-only fields land\n * (e.g. per-target derived storage fields) this is the home for\n * stripping them from the persisted envelope.\n */\nexport class SqliteContractSerializer extends SqlContractSerializerBase<Contract<SqlStorage>> {\n  constructor() {\n    super(new Map());\n  }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport { SqlSchemaVerifierBase } from '@prisma-next/family-sql/ir';\nimport type { SchemaIssue, SchemaVerifyOptions } from '@prisma-next/framework-components/control';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\n\n/**\n * SQLite target `SchemaVerifier` concretion. Mirrors the Postgres\n * shape: hooks return the empty list pending the call-site migration\n * that routes the existing verifier behaviour through the SPI.\n */\nexport class SqliteSchemaVerifier extends SqlSchemaVerifierBase<Contract<SqlStorage>, SqlSchemaIR> {\n  protected verifyCommonSqlSchema(\n    _options: SchemaVerifyOptions<Contract<SqlStorage>, SqlSchemaIR>,\n  ): readonly SchemaIssue[] {\n    return [];\n  }\n\n  protected verifyTargetExtensions(\n    _options: SchemaVerifyOptions<Contract<SqlStorage>, SqlSchemaIR>,\n  ): readonly SchemaIssue[] {\n    return [];\n  }\n}\n","import type { ColumnDefault, Contract } from '@prisma-next/contract/types';\nimport type {\n  SqlControlFamilyInstance,\n  SqlControlTargetDescriptor,\n} from '@prisma-next/family-sql/control';\nimport { contractToSchemaIR } from '@prisma-next/family-sql/control';\nimport type {\n  ControlTargetInstance,\n  MigrationPlanner,\n  MigrationRunner,\n} from '@prisma-next/framework-components/control';\nimport { SqlStorage, type StorageColumn } from '@prisma-next/sql-contract/types';\nimport { sqliteTargetDescriptorMeta } from './descriptor-meta';\nimport { createSqliteMigrationPlanner } from './migrations/planner';\nimport { renderDefaultLiteral } from './migrations/planner-ddl-builders';\nimport type { SqlitePlanTargetDetails } from './migrations/planner-target-details';\nimport { createSqliteMigrationRunner } from './migrations/runner';\nimport { SqliteContractSerializer } from './sqlite-contract-serializer';\nimport { SqliteSchemaVerifier } from './sqlite-schema-verifier';\n\nfunction isSqlContract(contract: Contract | null): contract is Contract<SqlStorage> | null {\n  return contract === null || contract.storage instanceof SqlStorage;\n}\n\nfunction sqliteRenderDefault(def: ColumnDefault, _column: StorageColumn): string {\n  if (def.kind === 'function') {\n    if (def.expression === 'now()') {\n      return \"datetime('now')\";\n    }\n    return def.expression;\n  }\n  return renderDefaultLiteral(def.value);\n}\n\nconst sqliteControlTargetDescriptor: SqlControlTargetDescriptor<'sqlite', SqlitePlanTargetDetails> =\n  {\n    ...sqliteTargetDescriptorMeta,\n    contractSerializer: new SqliteContractSerializer(),\n    schemaVerifier: new SqliteSchemaVerifier(),\n    migrations: {\n      createPlanner(_family: SqlControlFamilyInstance): MigrationPlanner<'sql', 'sqlite'> {\n        return createSqliteMigrationPlanner();\n      },\n      createRunner(family) {\n        return createSqliteMigrationRunner(family) as MigrationRunner<'sql', 'sqlite'>;\n      },\n      contractToSchema(contract, _frameworkComponents) {\n        // The framework SPI types `contract` as the generic\n        // `Contract | null`. Any contract reaching the sqlite\n        // target descriptor is SQL-family by construction (the\n        // family contract resolver would have refused to bind a\n        // sqlite target otherwise); the `isSqlContract` predicate\n        // encodes that invariant at runtime + narrows the generic\n        // to `Contract<SqlStorage>` without a blind cast.\n        if (!isSqlContract(contract)) {\n          throw new Error(\n            'sqliteControlTargetDescriptor.contractToSchema received a non-SQL contract; expected Contract<SqlStorage>',\n          );\n        }\n        return contractToSchemaIR(contract, {\n          annotationNamespace: 'sqlite',\n          renderDefault: sqliteRenderDefault,\n        });\n      },\n    },\n    create(): ControlTargetInstance<'sql', 'sqlite'> {\n      return {\n        familyId: 'sql',\n        targetId: 'sqlite',\n      };\n    },\n    createPlanner(_family: SqlControlFamilyInstance) {\n      return createSqliteMigrationPlanner();\n    },\n    createRunner(family) {\n      return createSqliteMigrationRunner(family);\n    },\n  };\n\nexport default sqliteControlTargetDescriptor;\n","import {\n  freezeNode,\n  NamespaceBase,\n  UNBOUND_NAMESPACE_ID,\n} from '@prisma-next/framework-components/ir';\nimport type { StorageTable } from '@prisma-next/sql-contract/types';\n\n/**\n * SQLite target `Namespace` concretion. SQLite has no schema or\n * database-namespacing concept at the SQL level — there is exactly one\n * effective namespace per connection, so the target ships a single\n * singleton bound to the framework's `UNBOUND_NAMESPACE_ID` slot.\n *\n * Qualifier emission elides the prefix entirely: rendered DDL and\n * queries look unqualified (`CREATE TABLE \"users\" (...)`), matching\n * SQLite's native dialect. Call sites stay polymorphic — they ask the\n * namespace for its qualifier and consume the empty/unqualified result\n * the same way Postgres consumes a `\"schema\"` prefix.\n *\n * The SQLite PSL interpreter rejects every explicit `namespace { … }`\n * block with a diagnostic naming SQLite; only the implicit\n * `__unspecified__` AST bucket reaches the SQLite interpreter, which\n * lowers it to this singleton.\n */\nexport class SqliteUnboundDatabase extends NamespaceBase {\n  static readonly instance: SqliteUnboundDatabase = new SqliteUnboundDatabase();\n\n  readonly kind = 'database' as const;\n  readonly id = UNBOUND_NAMESPACE_ID;\n  readonly tables: Readonly<Record<string, StorageTable>>;\n\n  private constructor() {\n    super();\n    this.tables = Object.freeze({});\n    freezeNode(this);\n  }\n\n  qualifier(): string {\n    return '';\n  }\n\n  qualifyTable(tableName: string): string {\n    return `\"${tableName}\"`;\n  }\n}\n\n/**\n * Target-supplied `Namespace` factory the SQLite target plumbs through\n * `defineContract({ createNamespace })`. SQLite has only one\n * effective namespace slot — the framework `UNBOUND_NAMESPACE_ID`\n * sentinel — so the factory always returns the singleton and rejects\n * any other coordinate. The SQL family's defensive validation in\n * `defineContract` already rejects user-declared SQLite namespaces, so\n * this throw is a structural safety net rather than a user-facing\n * surface.\n */\nexport function sqliteCreateNamespace(id: string): SqliteUnboundDatabase {\n  if (id === UNBOUND_NAMESPACE_ID) {\n    return SqliteUnboundDatabase.instance;\n  }\n  throw new Error(\n    `sqliteCreateNamespace: SQLite has no schema concept; the only valid namespace id is \"${UNBOUND_NAMESPACE_ID}\" (received \"${id}\").`,\n  );\n}\n"],"mappings":";;;;;;;;;;;;;;;;AAqCA,SAAgB,4BACd,QAC6C;CAC7C,OAAO,IAAI,sBAAsB,MAAM;AACzC;AAEA,IAAM,wBAAN,MAAmF;CACpD;CAA7B,YAAY,QAAmD;EAAlC,KAAA,SAAA;CAAmC;;;;;;;CAQhE,MAAM,oBACJ,SACmC;EACnC,MAAM,SAAS,QAAQ;EACvB,IAAI,QAAQ,UAAU,KAAA,KAAa,QAAQ,UAAU,QAAQ,KAAK,SAChE,MAAM,IAAI,MACR,sCAAsC,QAAQ,MAAM,iCAAiC,QAAQ,KAAK,QAAQ,EAC5G;EAEF,MAAM,QAAQ,QAAQ,KAAK;EAE3B,MAAM,mBAAmB,KAAK,qCAC5B,QAAQ,KAAK,aACb,QAAQ,mBACV;EACA,IAAI,CAAC,iBAAiB,IAAI,OAAO;EAEjC,MAAM,cAAc,KAAK,2BAA2B,QAAQ,QAAQ,QAAQ,KAAK,UAAU;EAC3F,IAAI,CAAC,YAAY,IAAI,OAAO;EAE5B,MAAM,eAAe,MAAM,KAAK,oBAAoB,MAAM;EAC1D,IAAI,CAAC,aAAa,IAAI,OAAO;EAC7B,MAAM,iBAAiB,MAAM,KAAK,WAAW,QAAQ,KAAK;EAE1D,MAAM,cAAc,KAAK,0BAA0B,gBAAgB,QAAQ,IAAI;EAC/E,IAAI,CAAC,YAAY,IAAI,OAAO;EAE5B,MAAM,sBAAsB,KAAK,yBAAyB,gBAAgB,QAAQ,IAAI;EACtF,MAAM,aAAa,QAAQ,KAAK,QAAQ,gBAAgB,QAAQ,KAAK,YAAY;EACjF,MAAM,iBAAiB,uBAAuB,QAAQ,KAAK,UAAU,QAAQ,CAAC;EAE9E,IAAI;EACJ,IAAI;EAEJ,IAAI,gBAAgB;GAClB,qBAAqB;GACrB,qBAAqB,CAAC;EACxB,OAAO;GACL,MAAM,cAAc,MAAM,KAAK,UAAU,QAAQ,OAAO;GACxD,IAAI,CAAC,YAAY,IAAI,OAAO;GAC5B,qBAAqB,YAAY,MAAM;GACvC,qBAAqB,YAAY,MAAM;EACzC;EAEA,IAAI,UAAU,cAAc;GAC1B,MAAM,WAAW,MAAM,KAAK,OAAO,WAAW;IAC5C;IACA,UAAU,QAAQ;GACpB,CAAC;GAED,MAAM,qBAAqB,gBAAgB;IACzC,UAAU,QAAQ;IAClB,QAAQ;IACR,QAAQ,QAAQ,sBAAsB;IACtC,SAAS,QAAQ,WAAW,CAAC;IAC7B,sBAAsB,KAAK,OAAO;IAClC,qBAAqB,QAAQ;IAC7B,kBAAkB;IAClB,qBAAqB;GACvB,CAAC;GACD,IAAI,CAAC,mBAAmB,IACtB,OAAO,cAAc,wBAAwB,mBAAmB,SAAS;IACvE,KAAK;IACL,MAAM,EAAE,QAAQ,mBAAmB,OAAO,OAAO;GACnD,CAAC;EAEL;EAIA,MAAM,qBAAqB,QAAQ,KAAK;EACxC,MAAM,qBAAqB,IAAI,IAAI,gBAAgB,cAAc,CAAC,CAAC;EACnE,MAAM,6BAA6B,mBAAmB,OAAO,OAAO,mBAAmB,IAAI,EAAE,CAAC;EAG9F,IAAI,EAFmB,cAAc,uBAAuB,KAAK,6BAE5C;GACnB,MAAM,KAAK,aAAa,QAAQ,SAAS,gBAAgB,KAAK;GAC9D,MAAM,KAAK,kBAAkB,QAAQ,SAAS,gBAAgB,kBAAkB;EAClF;EAEA,OAAO,cAAc;GACnB,mBAAmB,QAAQ,KAAK,WAAW;GAC3C;EACF,CAAC;CACH;CAEA,MAAM,QAAQ,SAKqB;EACjC,MAAM,SAAS,QAAQ;EACvB,MAAM,kBAAkB,QAAQ;EAEhC,IAAI,gBAAgB,WAAW,GAC7B,OAAO,GAAG,EAAE,iBAAiB,CAAC,EAAE,CAAC;EAMnC,MAAM,eAAe,MAAM,KAAK,uBAAuB,MAAM;EAC7D,IAAI,cACF,MAAM,OAAO,MAAM,2BAA2B;EAGhD,IAAI;GACF,MAAM,KAAK,0BAA0B,MAAM;GAC3C,IAAI,YAAY;GAChB,IAAI;IACF,MAAM,kBAGD,CAAC;IACN,IAAI;IACJ,KAAK,MAAM,gBAAgB,iBAAiB;KAC1C,MAAM,QAAQ,aAAa,SAAS,aAAa,KAAK;KACtD,MAAM,SAAS,MAAM,KAAK,oBAAoB;MAAE,GAAG;MAAc;MAAQ;KAAM,CAAC;KAChF,IAAI,CAAC,OAAO,IACV,OAAO,MAAM;MAAE,GAAG,OAAO;MAAS,cAAc;KAAM,CAAC;KAEzD,gBAAgB,KAAK;MAAE;MAAO,OAAO,OAAO;KAAM,CAAC;KACnD,qBAAqB;IACvB;IAEA,IAAI,cAAc;KAChB,MAAM,mBAAmB,MAAM,KAAK,0BAA0B,MAAM;KACpE,IAAI,CAAC,iBAAiB,IAOpB,OAAO,MAAM;MACX,GAAG,iBAAiB;MACpB,cAAc,sBAAsB;KACtC,CAAC;IAEL;IAEA,MAAM,KAAK,kBAAkB,MAAM;IACnC,YAAY;IACZ,OAAO,GAAG,EAAE,gBAAgB,CAAC;GAC/B,UAAU;IACR,IAAI,CAAC,WACH,MAAM,KAAK,oBAAoB,MAAM;GAEzC;EACF,UAAU;GACR,IAAI,cACF,MAAM,OAAO,MAAM,0BAA0B;EAEjD;CACF;CAEA,MAAc,uBACZ,QACkB;EAGlB,QADY,MADS,OAAO,MAAgC,qBAAqB,GAC9D,KAAK,IACZ,iBAAiB;CAC/B;CAEA,MAAc,0BACZ,QACkD;EAClD,MAAM,SAAS,MAAM,OAAO,MAA+B,0BAA0B;EACrF,IAAI,OAAO,KAAK,WAAW,GACzB,OAAO,OAAO;EAEhB,OAAO,cACL,yBACA,uDAAuD,OAAO,KAAK,OAAO,iBAC1E;GACE,KAAK;GACL,MAAM,EAAE,YAAY,OAAO,KAAK;EAClC,CACF;CACF;CAEA,MAAc,UACZ,QACA,SASA;EACA,MAAM,SAAS,QAAQ;EACvB,MAAM,eAAe,QAAQ,cAAc;EAC3C,MAAM,gBAAgB,QAAQ,eAAe;EAC7C,MAAM,iBAAiB,QAAQ,sBAAsB;EAErD,IAAI,qBAAqB;EACzB,MAAM,qBAAgF,CAAC;EAEvF,KAAK,MAAM,aAAa,QAAQ,KAAK,YAAY;GAC/C,QAAQ,WAAW,mBAAmB,SAAS;GAC/C,IAAI;IACF,IAAI,iBAAiB;SAKf,MAJoC,KAAK,yBAC3C,QACA,UAAU,SACZ,GAC+B;MAC7B,mBAAmB,KAAK,KAAK,iBAAiB,SAAS,CAAC;MACxD;KACF;;IAGF,IAAI,cAAc;KAChB,MAAM,iBAAiB,MAAM,KAAK,oBAChC,QACA,UAAU,UACV,WACA,UACF;KACA,IAAI,CAAC,eAAe,IAClB,OAAO;IAEX;IAEA,MAAM,gBAAgB,MAAM,KAAK,gBAAgB,QAAQ,UAAU,SAAS,SAAS;IACrF,IAAI,CAAC,cAAc,IACjB,OAAO;IAGT,IAAI,eAAe;KACjB,MAAM,kBAAkB,MAAM,KAAK,oBACjC,QACA,UAAU,WACV,WACA,WACF;KACA,IAAI,CAAC,gBAAgB,IACnB,OAAO;IAEX;IAEA,mBAAmB,KAAK,SAAS;IACjC,sBAAsB;GACxB,UAAU;IACR,QAAQ,WAAW,sBAAsB,SAAS;GACpD;EACF;EACA,OAAO,GAAG;GAAE;GAAoB;EAAmB,CAAC;CACtD;CAEA,MAAc,oBACZ,QACkD;EAKlD,MAAM,kBAAkB,MAAM,KAAK,wBAAwB,MAAM;EACjE,IAAI,CAAC,gBAAgB,IACnB,OAAO;EAET,MAAM,KAAK,iBAAiB,QAAQ,0BAA0B;EAC9D,MAAM,KAAK,iBAAiB,QAAQ,0BAA0B;EAC9D,OAAO,OAAO;CAChB;CAEA,MAAc,wBACZ,QACkD;EAClD,MAAM,YAAY,MAAM,OAAO,MAC7B,sBAAsB,kBAAkB,GAC1C;EACA,IAAI,UAAU,KAAK,WAAW,GAC5B,OAAO,OAAO;EAEhB,MAAM,UAAU,IAAI,IAAI,UAAU,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC;EAC7D,IAAI,QAAQ,IAAI,OAAO,GACrB,OAAO,OAAO;EAEhB,OAAO,cACL,uBACA,yCAAyC,kBAAkB,mJAE/C,kBAAkB,kEAC9B,EACE,MAAM;GACJ,OAAO;GACP,SAAS,CAAC,GAAG,OAAO,EAAE,KAAK;EAC7B,EACF,CACF;CACF;CAEA,MAAc,WACZ,QACA,OACsC;EACtC,MAAM,OAAO,oBAAoB,KAAK;EACtC,IAAI;GAEF,MAAM,OAAM,MADS,OAAO,MAAyB,KAAK,KAAK,KAAK,MAAM,GACvD,KAAK;GACxB,IAAI,CAAC,KAAK,OAAO;GAIjB,MAAM,aACJ,OAAO,IAAI,eAAe,WACrB,KAAK,MAAM,IAAI,UAAU,IAC1B,IAAI;GACV,OAAO,uBAAuB;IAAE,GAAG;IAAK;GAAW,CAAC;EACtD,SAAS,OAAO;GAEd,IAAI,iBAAiB,SAAS,MAAM,QAAQ,SAAS,eAAe,GAClE,OAAO;GAET,MAAM;EACR;CACF;CAEA,MAAc,oBACZ,QACA,OACA,WACA,OACkD;EAClD,KAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,SAAS,MAAM,OAAO,MAAM,KAAK,KAAK,KAAK,UAAU,CAAC,CAAC;GAC7D,IAAI,CAAC,KAAK,iBAAiB,OAAO,IAAI,GAEpC,OAAO,cADM,UAAU,aAAa,oBAAoB,oBAGtD,aAAa,UAAU,GAAG,iBAAiB,MAAM,IAAI,KAAK,eAC1D,EACE,MAAM;IACJ,aAAa,UAAU;IACvB;IACA,iBAAiB,KAAK;GACxB,EACF,CACF;EAEJ;EACA,OAAO,OAAO;CAChB;CAEA,MAAc,gBACZ,QACA,OACA,WACkD;EAClD,KAAK,MAAM,QAAQ,OACjB,IAAI;GACF,MAAM,OAAO,MAAM,KAAK,KAAK,KAAK,UAAU,CAAC,CAAC;EAChD,SAAS,OAAgB;GACvB,MAAM,UAAU,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK;GACrE,OAAO,cACL,oBACA,aAAa,UAAU,GAAG,4BAA4B,KAAK,eAC3D;IACE,KAAK;IACL,MAAM;KACJ,aAAa,UAAU;KACvB,iBAAiB,KAAK;KACtB,KAAK,KAAK;IACZ;GACF,CACF;EACF;EAEF,OAAO,OAAO;CAChB;CAEA,iBAAyB,MAAmD;EAC1E,IAAI,CAAC,QAAQ,KAAK,WAAW,GAC3B,OAAO;EAET,MAAM,WAAW,KAAK;EACtB,MAAM,aAAa,WAAW,OAAO,OAAO,QAAQ,EAAE,KAAK,KAAA;EAC3D,IAAI,OAAO,eAAe,UACxB,OAAO,eAAe;EAExB,IAAI,OAAO,eAAe,WACxB,OAAO;EAET,IAAI,OAAO,eAAe,UAAU;GAClC,MAAM,QAAQ,WAAW,YAAY;GACrC,IAAI,UAAU,UAAU,UAAU,KAAK,OAAO;GAC9C,IAAI,UAAU,WAAW,UAAU,KAAK,OAAO;GAC/C,OAAO,WAAW,SAAS;EAC7B;EACA,OAAO,QAAQ,UAAU;CAC3B;CAEA,MAAc,yBACZ,QACA,OACkB;EAClB,IAAI,MAAM,WAAW,GACnB,OAAO;EAET,KAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,SAAS,MAAM,OAAO,MAAM,KAAK,KAAK,KAAK,UAAU,CAAC,CAAC;GAC7D,IAAI,CAAC,KAAK,iBAAiB,OAAO,IAAI,GACpC,OAAO;EAEX;EACA,OAAO;CACT;CAEA,iBACE,WACoD;EACpD,OAAO,OAAO,OAAO;GACnB,IAAI,UAAU;GACd,OAAO,UAAU;GACjB,GAAG,UAAU,WAAW,UAAU,OAAO;GACzC,gBAAgB,UAAU;GAC1B,QAAQ,UAAU;GAClB,UAAU,OAAO,OAAO,CAAC,CAAC;GAC1B,SAAS,OAAO,OAAO,CAAC,CAAC;GACzB,WAAW,OAAO,OAAO,CAAC,GAAG,UAAU,SAAS,CAAC;GACjD,MAAM,OAAO,OAAO;IAClB,GAAI,UAAU,QAAQ,CAAC;IACvB,QAAQ,OAAO,OAAO;KAAE,SAAS;KAAM,QAAQ;IAA0B,CAAC;GAC5E,CAAC;EACH,CAAC;CACH;CAEA,yBACE,QACA,MACS;EACT,IAAI,CAAC,QAAQ,OAAO;EACpB,IAAI,OAAO,gBAAgB,KAAK,YAAY,aAAa,OAAO;EAChE,IAAI,KAAK,YAAY,eAAe,OAAO,gBAAgB,KAAK,YAAY,aAC1E,OAAO;EAET,OAAO;CACT;CAEA,2BACE,QACA,YACyC;EACzC,MAAM,iBAAiB,IAAI,IAAI,OAAO,uBAAuB;EAC7D,KAAK,MAAM,aAAa,YACtB,IAAI,CAAC,eAAe,IAAI,UAAU,cAAc,GAC9C,OAAO,cACL,oBACA,aAAa,UAAU,GAAG,cAAc,UAAU,eAAe,oCACjE;GACE,KAAK,uBAAuB,OAAO,wBAAwB,KAAK,IAAI,EAAE;GACtE,MAAM;IACJ,aAAa,UAAU;IACvB,gBAAgB,UAAU;IAC1B,gBAAgB,OAAO;GACzB;EACF,CACF;EAGJ,OAAO,OAAO;CAChB;CAEA,0BACE,QACA,MACyC;EACzC,MAAM,SAAS,KAAK,UAAU;EAC9B,IAAI,CAAC,QACH,OAAO,OAAO;EAEhB,IAAI,CAAC,QACH,OAAO,cACL,0BACA,yDAAyD,OAAO,YAAY,IAC5E,EAAE,MAAM,EAAE,2BAA2B,OAAO,YAAY,EAAE,CAC5D;EAEF,IAAI,OAAO,gBAAgB,OAAO,aAChC,OAAO,cACL,0BACA,6BAA6B,OAAO,YAAY,gCAAgC,OAAO,YAAY,KACnG,EACE,MAAM;GACJ,mBAAmB,OAAO;GAC1B,2BAA2B,OAAO;EACpC,EACF,CACF;EAEF,IAAI,OAAO,eAAe,OAAO,gBAAgB,OAAO,aACtD,OAAO,cACL,0BACA,0CAA0C,OAAO,YAAY,6CAA6C,OAAO,YAAY,KAC7H,EACE,MAAM;GACJ,mBAAmB,OAAO;GAC1B,2BAA2B,OAAO;EACpC,EACF,CACF;EAEF,OAAO,OAAO;CAChB;CAEA,qCACE,aACA,UACyC;EACzC,IAAI,YAAY,gBAAgB,SAAS,QAAQ,aAC/C,OAAO,cACL,iCACA,kCAAkC,YAAY,YAAY,mDAAmD,SAAS,QAAQ,YAAY,KAC1I,EACE,MAAM;GACJ,iBAAiB,YAAY;GAC7B,qBAAqB,SAAS,QAAQ;EACxC,EACF,CACF;EAEF,IACE,YAAY,eACZ,SAAS,eACT,YAAY,gBAAgB,SAAS,aAErC,OAAO,cACL,iCACA,kCAAkC,YAAY,YAAY,mDAAmD,SAAS,YAAY,KAClI,EACE,MAAM;GACJ,iBAAiB,YAAY;GAC7B,qBAAqB,SAAS;EAChC,EACF,CACF;EAEF,OAAO,OAAO;CAChB;CAEA,MAAc,aACZ,QACA,SACA,gBACA,OACe;EAIf,MAAM,SAAS,IAAI,IAAY,gBAAgB,cAAc,CAAC,CAAC;EAC/D,KAAK,MAAM,OAAO,QAAQ,KAAK,oBAAoB,OAAO,IAAI,GAAG;EACjE,MAAM,aAAa,MAAM,KAAK,MAAM,EAAE,KAAK;EAC3C,MAAM,kBAAkB,2BAA2B;GACjD;GACA,aAAa,QAAQ,KAAK,YAAY;GACtC,aACE,QAAQ,KAAK,YAAY,eACzB,QAAQ,oBAAoB,eAC5B,QAAQ,KAAK,YAAY;GAC3B,cAAc,QAAQ;GACtB,kBAAkB;GAClB,MAAM,CAAC;GACP;EACF,CAAC;EACD,MAAM,YAAY,iBAAiB,gBAAgB,SAAS,gBAAgB;EAC5E,MAAM,KAAK,iBAAiB,QAAQ,SAAS;CAC/C;CAEA,MAAc,kBACZ,QACA,SACA,gBACA,oBACe;EACf,MAAM,kBAAkB,2BAA2B;GACjD,mBAAmB,gBAAgB,eAAe;GAClD,mBAAmB,gBAAgB,eAAe;GAClD,wBAAwB,QAAQ,KAAK,YAAY;GACjD,wBACE,QAAQ,KAAK,YAAY,eACzB,QAAQ,oBAAoB,eAC5B,QAAQ,KAAK,YAAY;GAC3B,oBAAoB,gBAAgB,gBAAgB;GACpD,mBAAmB,QAAQ;GAC3B,YAAY;EACd,CAAC;EACD,MAAM,KAAK,iBAAiB,QAAQ,eAAe;CACrD;CAEA,MAAc,0BACZ,QACe;EACf,MAAM,OAAO,MAAM,iBAAiB;CACtC;CAEA,MAAc,kBACZ,QACe;EACf,MAAM,OAAO,MAAM,QAAQ;CAC7B;CAEA,MAAc,oBACZ,QACe;EACf,MAAM,OAAO,MAAM,UAAU;CAC/B;CAEA,MAAc,iBACZ,QACA,WACe;EACf,IAAI,UAAU,OAAO,SAAS,GAAG;GAC/B,MAAM,OAAO,MAAM,UAAU,KAAK,UAAU,MAAM;GAClD;EACF;EACA,MAAM,OAAO,MAAM,UAAU,GAAG;CAClC;AACF;;;;;;;;;;;;;;ACnpBA,IAAa,2BAAb,cAA8C,0BAAgD;CAC5F,cAAc;EACZ,sBAAM,IAAI,IAAI,CAAC;CACjB;AACF;;;;;;;;ACRA,IAAa,uBAAb,cAA0C,sBAAyD;CACjG,sBACE,UACwB;EACxB,OAAO,CAAC;CACV;CAEA,uBACE,UACwB;EACxB,OAAO,CAAC;CACV;AACF;;;ACHA,SAAS,cAAc,UAAoE;CACzF,OAAO,aAAa,QAAQ,SAAS,mBAAmB;AAC1D;AAEA,SAAS,oBAAoB,KAAoB,SAAgC;CAC/E,IAAI,IAAI,SAAS,YAAY;EAC3B,IAAI,IAAI,eAAe,SACrB,OAAO;EAET,OAAO,IAAI;CACb;CACA,OAAO,qBAAqB,IAAI,KAAK;AACvC;AAEA,MAAM,gCACJ;CACE,GAAG;CACH,oBAAoB,IAAI,yBAAyB;CACjD,gBAAgB,IAAI,qBAAqB;CACzC,YAAY;EACV,cAAc,SAAsE;GAClF,OAAO,6BAA6B;EACtC;EACA,aAAa,QAAQ;GACnB,OAAO,4BAA4B,MAAM;EAC3C;EACA,iBAAiB,UAAU,sBAAsB;GAQ/C,IAAI,CAAC,cAAc,QAAQ,GACzB,MAAM,IAAI,MACR,2GACF;GAEF,OAAO,mBAAmB,UAAU;IAClC,qBAAqB;IACrB,eAAe;GACjB,CAAC;EACH;CACF;CACA,SAAiD;EAC/C,OAAO;GACL,UAAU;GACV,UAAU;EACZ;CACF;CACA,cAAc,SAAmC;EAC/C,OAAO,6BAA6B;CACtC;CACA,aAAa,QAAQ;EACnB,OAAO,4BAA4B,MAAM;CAC3C;AACF;;;;;;;;;;;;;;;;;;;;ACrDF,IAAa,wBAAb,MAAa,8BAA8B,cAAc;CACvD,OAAgB,WAAkC,IAAI,sBAAsB;CAE5E,OAAgB;CAChB,KAAc;CACd;CAEA,cAAsB;EACpB,MAAM;EACN,KAAK,SAAS,OAAO,OAAO,CAAC,CAAC;EAC9B,WAAW,IAAI;CACjB;CAEA,YAAoB;EAClB,OAAO;CACT;CAEA,aAAa,WAA2B;EACtC,OAAO,IAAI,UAAU;CACvB;AACF;;;;;;;;;;;AAYA,SAAgB,sBAAsB,IAAmC;CACvE,IAAI,OAAO,sBACT,OAAO,sBAAsB;CAE/B,MAAM,IAAI,MACR,wFAAwF,qBAAqB,eAAe,GAAG,IACjI;AACF"}
+{"version":3,"file":"control.mjs","names":[],"sources":["../src/core/migrations/runner.ts","../src/core/sqlite-contract-serializer.ts","../src/core/sqlite-schema-verifier.ts","../src/core/control-target.ts","../src/core/sqlite-unbound-database.ts"],"sourcesContent":["import type { ContractMarkerRecord } from '@prisma-next/contract/types';\nimport type {\n  MigrationOperationPolicy,\n  SqlControlFamilyInstance,\n  SqlMigrationPlanContractInfo,\n  SqlMigrationPlanOperation,\n  SqlMigrationPlanOperationStep,\n  SqlMigrationRunner,\n  SqlMigrationRunnerExecuteOptions,\n  SqlMigrationRunnerFailure,\n  SqlMigrationRunnerResult,\n  SqlMigrationRunnerSuccessValue,\n} from '@prisma-next/family-sql/control';\nimport { runnerFailure, runnerSuccess } from '@prisma-next/family-sql/control';\nimport { verifySqlSchema } from '@prisma-next/family-sql/schema-verify';\nimport { type ContractMarkerRow, parseContractMarkerRow } from '@prisma-next/family-sql/verify';\nimport type {\n  ControlDriverInstance,\n  MigrationRunnerResult,\n} from '@prisma-next/framework-components/control';\nimport { APP_SPACE_ID } from '@prisma-next/framework-components/control';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { Result } from '@prisma-next/utils/result';\nimport { notOk, ok, okVoid } from '@prisma-next/utils/result';\nimport { parseSqliteDefault } from '../default-normalizer';\nimport { normalizeSqliteNativeType } from '../native-type-normalizer';\nimport type { SqlitePlanTargetDetails } from './planner-target-details';\nimport {\n  buildLedgerInsertStatement,\n  buildWriteMarkerStatements,\n  ensureLedgerTableStatement,\n  ensureMarkerTableStatement,\n  MARKER_TABLE_NAME,\n  readMarkerStatement,\n  type SqlStatement,\n} from './statement-builders';\n\nexport function createSqliteMigrationRunner(\n  family: SqlControlFamilyInstance,\n): SqlMigrationRunner<SqlitePlanTargetDetails> {\n  return new SqliteMigrationRunner(family);\n}\n\nclass SqliteMigrationRunner implements SqlMigrationRunner<SqlitePlanTargetDetails> {\n  constructor(private readonly family: SqlControlFamilyInstance) {}\n\n  /**\n   * Apply the plan against an already-open connection without managing\n   * the transaction lifecycle. The caller ({@link SqliteMigrationRunner.execute})\n   * owns BEGIN/COMMIT/ROLLBACK and any connection-level setup (FK pragma\n   * toggle, FK integrity check).\n   */\n  async executeOnConnection(\n    options: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>,\n  ): Promise<SqlMigrationRunnerResult> {\n    const driver = options.driver;\n    if (options.space !== undefined && options.space !== options.plan.spaceId) {\n      throw new Error(\n        `SqlMigrationRunner: options.space (${options.space}) does not match plan.spaceId (${options.plan.spaceId})`,\n      );\n    }\n    const space = options.plan.spaceId;\n\n    const destinationCheck = this.ensurePlanMatchesDestinationContract(\n      options.plan.destination,\n      options.destinationContract,\n    );\n    if (!destinationCheck.ok) return destinationCheck;\n\n    const policyCheck = this.enforcePolicyCompatibility(options.policy, options.plan.operations);\n    if (!policyCheck.ok) return policyCheck;\n\n    const ensureResult = await this.ensureControlTables(driver);\n    if (!ensureResult.ok) return ensureResult;\n    const existingMarker = await this.readMarker(driver, space);\n\n    const markerCheck = this.ensureMarkerCompatibility(existingMarker, options.plan);\n    if (!markerCheck.ok) return markerCheck;\n\n    const markerAtDestination = this.markerMatchesDestination(existingMarker, options.plan);\n    const isSelfEdge = options.plan.origin?.storageHash === options.plan.destination.storageHash;\n    const skipOperations = markerAtDestination && options.plan.origin != null && !isSelfEdge;\n\n    let operationsExecuted: number;\n    let executedOperations: readonly SqlMigrationPlanOperation<SqlitePlanTargetDetails>[];\n\n    if (skipOperations) {\n      operationsExecuted = 0;\n      executedOperations = [];\n    } else {\n      const applyResult = await this.applyPlan(driver, options);\n      if (!applyResult.ok) return applyResult;\n      operationsExecuted = applyResult.value.operationsExecuted;\n      executedOperations = applyResult.value.executedOperations;\n    }\n\n    if (space === APP_SPACE_ID) {\n      const schemaIR = await this.family.introspect({\n        driver,\n        contract: options.destinationContract,\n      });\n\n      const schemaVerifyResult = verifySqlSchema({\n        contract: options.destinationContract,\n        schema: schemaIR,\n        strict: options.strictVerification ?? true,\n        context: options.context ?? {},\n        typeMetadataRegistry: this.family.typeMetadataRegistry,\n        frameworkComponents: options.frameworkComponents,\n        normalizeDefault: parseSqliteDefault,\n        normalizeNativeType: normalizeSqliteNativeType,\n      });\n      if (!schemaVerifyResult.ok) {\n        return runnerFailure('SCHEMA_VERIFY_FAILED', schemaVerifyResult.summary, {\n          why: 'The resulting database schema does not satisfy the destination contract.',\n          meta: { issues: schemaVerifyResult.schema.issues },\n        });\n      }\n    }\n\n    // Self-edge no-op detection: see Postgres runner for the rationale\n    // (kept symmetric across both targets).\n    const incomingInvariants = options.plan.providedInvariants;\n    const existingInvariants = new Set(existingMarker?.invariants ?? []);\n    const incomingIsSubsetOfExisting = incomingInvariants.every((id) => existingInvariants.has(id));\n    const isSelfEdgeNoOp = isSelfEdge && operationsExecuted === 0 && incomingIsSubsetOfExisting;\n\n    if (!isSelfEdgeNoOp) {\n      await this.upsertMarker(driver, options, existingMarker, space);\n      await this.recordLedgerEntries(driver, options, existingMarker, executedOperations);\n    }\n\n    return runnerSuccess({\n      operationsPlanned: options.plan.operations.length,\n      operationsExecuted,\n    });\n  }\n\n  async execute(options: {\n    readonly driver: ControlDriverInstance<'sql', string>;\n    readonly perSpaceOptions: ReadonlyArray<\n      SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>\n    >;\n  }): Promise<MigrationRunnerResult> {\n    const driver = options.driver;\n    const perSpaceOptions = options.perSpaceOptions;\n\n    if (perSpaceOptions.length === 0) {\n      return ok({ perSpaceResults: [] });\n    }\n\n    // FK pragma toggle and the FK integrity check both span the outer\n    // transaction: PRAGMA foreign_keys is a no-op inside a transaction, so the\n    // toggle has to wrap BEGIN/COMMIT.\n    const fkWasEnabled = await this.readForeignKeysEnabled(driver);\n    if (fkWasEnabled) {\n      await driver.query('PRAGMA foreign_keys = OFF');\n    }\n\n    try {\n      await this.beginExclusiveTransaction(driver);\n      let committed = false;\n      try {\n        const perSpaceResults: Array<{\n          space: string;\n          value: SqlMigrationRunnerSuccessValue;\n        }> = [];\n        let lastProcessedSpace: string | undefined;\n        for (const spaceOptions of perSpaceOptions) {\n          const space = spaceOptions.space ?? spaceOptions.plan.spaceId;\n          const result = await this.executeOnConnection({ ...spaceOptions, driver, space });\n          if (!result.ok) {\n            return notOk({ ...result.failure, failingSpace: space });\n          }\n          perSpaceResults.push({ space, value: result.value });\n          lastProcessedSpace = space;\n        }\n\n        if (fkWasEnabled) {\n          const fkIntegrityCheck = await this.verifyForeignKeyIntegrity(driver);\n          if (!fkIntegrityCheck.ok) {\n            // Post-loop integrity violations cannot be attributed to a\n            // single per-space step (the cumulative effect of all\n            // applied plans was needed to reveal the broken\n            // reference). Surface the last successfully-applied space\n            // so operators can investigate from the most recent\n            // migration first.\n            return notOk({\n              ...fkIntegrityCheck.failure,\n              failingSpace: lastProcessedSpace ?? APP_SPACE_ID,\n            });\n          }\n        }\n\n        await this.commitTransaction(driver);\n        committed = true;\n        return ok({ perSpaceResults });\n      } finally {\n        if (!committed) {\n          await this.rollbackTransaction(driver);\n        }\n      }\n    } finally {\n      if (fkWasEnabled) {\n        await driver.query('PRAGMA foreign_keys = ON');\n      }\n    }\n  }\n\n  private async readForeignKeysEnabled(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n  ): Promise<boolean> {\n    const result = await driver.query<{ foreign_keys: number }>('PRAGMA foreign_keys');\n    const row = result.rows[0];\n    return row?.foreign_keys === 1;\n  }\n\n  private async verifyForeignKeyIntegrity(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    const result = await driver.query<Record<string, unknown>>('PRAGMA foreign_key_check');\n    if (result.rows.length === 0) {\n      return okVoid();\n    }\n    return runnerFailure(\n      'FOREIGN_KEY_VIOLATION',\n      `Foreign key integrity check failed after migration: ${result.rows.length} violation(s).`,\n      {\n        why: 'PRAGMA foreign_key_check reported violations after applying recreate-table operations.',\n        meta: { violations: result.rows },\n      },\n    );\n  }\n\n  private async applyPlan(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    options: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>,\n  ): Promise<\n    Result<\n      {\n        readonly operationsExecuted: number;\n        readonly executedOperations: readonly SqlMigrationPlanOperation<SqlitePlanTargetDetails>[];\n      },\n      SqlMigrationRunnerFailure\n    >\n  > {\n    const checks = options.executionChecks;\n    const runPrechecks = checks?.prechecks !== false;\n    const runPostchecks = checks?.postchecks !== false;\n    const runIdempotency = checks?.idempotencyChecks !== false;\n\n    let operationsExecuted = 0;\n    const executedOperations: Array<SqlMigrationPlanOperation<SqlitePlanTargetDetails>> = [];\n\n    for (const operation of options.plan.operations) {\n      options.callbacks?.onOperationStart?.(operation);\n      try {\n        if (runPostchecks && runIdempotency) {\n          const postcheckAlreadySatisfied = await this.expectationsAreSatisfied(\n            driver,\n            operation.postcheck,\n          );\n          if (postcheckAlreadySatisfied) {\n            executedOperations.push(this.createSkipRecord(operation));\n            continue;\n          }\n        }\n\n        if (runPrechecks) {\n          const precheckResult = await this.runExpectationSteps(\n            driver,\n            operation.precheck,\n            operation,\n            'precheck',\n          );\n          if (!precheckResult.ok) {\n            return precheckResult;\n          }\n        }\n\n        const executeResult = await this.runExecuteSteps(driver, operation.execute, operation);\n        if (!executeResult.ok) {\n          return executeResult;\n        }\n\n        if (runPostchecks) {\n          const postcheckResult = await this.runExpectationSteps(\n            driver,\n            operation.postcheck,\n            operation,\n            'postcheck',\n          );\n          if (!postcheckResult.ok) {\n            return postcheckResult;\n          }\n        }\n\n        executedOperations.push(operation);\n        operationsExecuted += 1;\n      } finally {\n        options.callbacks?.onOperationComplete?.(operation);\n      }\n    }\n    return ok({ operationsExecuted, executedOperations });\n  }\n\n  private async ensureControlTables(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    // Pre-1.0 zero-range guardrail: detect a pre-cleanup single-row\n    // marker table (no `space` column) and surface a structured failure\n    // rather than silently rebuilding the table into the per-space\n    // shape. See `specs/framework-mechanism.spec.md § 2`.\n    const legacyDetection = await this.detectLegacyMarkerShape(driver);\n    if (!legacyDetection.ok) {\n      return legacyDetection;\n    }\n    await this.executeStatement(driver, ensureMarkerTableStatement);\n    await this.executeStatement(driver, ensureLedgerTableStatement);\n    return okVoid();\n  }\n\n  private async detectLegacyMarkerShape(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    const tableInfo = await driver.query<{ name: string }>(\n      `PRAGMA table_info(\"${MARKER_TABLE_NAME}\")`,\n    );\n    if (tableInfo.rows.length === 0) {\n      return okVoid();\n    }\n    const columns = new Set(tableInfo.rows.map((row) => row.name));\n    if (columns.has('space')) {\n      return okVoid();\n    }\n    return runnerFailure(\n      'LEGACY_MARKER_SHAPE',\n      `Legacy marker-table shape detected on ${MARKER_TABLE_NAME} (no \\`space\\` column). ` +\n        'Prisma Next is in pre-1.0; the previous transitional auto-migration to the per-space-row schema has been removed. ' +\n        `Drop \\`${MARKER_TABLE_NAME}\\` and re-run \\`dbInit\\` to reinitialise from a clean baseline.`,\n      {\n        meta: {\n          table: MARKER_TABLE_NAME,\n          columns: [...columns].sort(),\n        },\n      },\n    );\n  }\n\n  private async readMarker(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    space: string,\n  ): Promise<ContractMarkerRecord | null> {\n    const stmt = readMarkerStatement(space);\n    try {\n      const result = await driver.query<ContractMarkerRow>(stmt.sql, stmt.params);\n      const row = result.rows[0];\n      if (!row) return null;\n      // SQLite stores arrays as JSON-encoded TEXT (no native array type), so\n      // the driver returns `invariants` as a string. Decode before delegating\n      // to the shared row schema, which expects `string[]`.\n      const invariants =\n        typeof row.invariants === 'string'\n          ? (JSON.parse(row.invariants) as unknown)\n          : row.invariants;\n      return parseContractMarkerRow({ ...row, invariants });\n    } catch (error) {\n      // Table might not exist yet\n      if (error instanceof Error && error.message.includes('no such table')) {\n        return null;\n      }\n      throw error;\n    }\n  }\n\n  private async runExpectationSteps(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    steps: readonly SqlMigrationPlanOperationStep[],\n    operation: SqlMigrationPlanOperation<SqlitePlanTargetDetails>,\n    phase: 'precheck' | 'postcheck',\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    for (const step of steps) {\n      const result = await driver.query(step.sql, step.params ?? []);\n      if (!this.stepResultIsTrue(result.rows)) {\n        const code = phase === 'precheck' ? 'PRECHECK_FAILED' : 'POSTCHECK_FAILED';\n        return runnerFailure(\n          code,\n          `Operation ${operation.id} failed during ${phase}: ${step.description}`,\n          {\n            meta: {\n              operationId: operation.id,\n              phase,\n              stepDescription: step.description,\n            },\n          },\n        );\n      }\n    }\n    return okVoid();\n  }\n\n  private async runExecuteSteps(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    steps: readonly SqlMigrationPlanOperationStep[],\n    operation: SqlMigrationPlanOperation<SqlitePlanTargetDetails>,\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    for (const step of steps) {\n      try {\n        await driver.query(step.sql, step.params ?? []);\n      } catch (error: unknown) {\n        const message = error instanceof Error ? error.message : String(error);\n        return runnerFailure(\n          'EXECUTION_FAILED',\n          `Operation ${operation.id} failed during execution: ${step.description}`,\n          {\n            why: message,\n            meta: {\n              operationId: operation.id,\n              stepDescription: step.description,\n              sql: step.sql,\n            },\n          },\n        );\n      }\n    }\n    return okVoid();\n  }\n\n  private stepResultIsTrue(rows: readonly Record<string, unknown>[]): boolean {\n    if (!rows || rows.length === 0) {\n      return false;\n    }\n    const firstRow = rows[0];\n    const firstValue = firstRow ? Object.values(firstRow)[0] : undefined;\n    if (typeof firstValue === 'number') {\n      return firstValue !== 0;\n    }\n    if (typeof firstValue === 'boolean') {\n      return firstValue;\n    }\n    if (typeof firstValue === 'string') {\n      const lower = firstValue.toLowerCase();\n      if (lower === 'true' || lower === '1') return true;\n      if (lower === 'false' || lower === '0') return false;\n      return firstValue.length > 0;\n    }\n    return Boolean(firstValue);\n  }\n\n  private async expectationsAreSatisfied(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    steps: readonly SqlMigrationPlanOperationStep[],\n  ): Promise<boolean> {\n    if (steps.length === 0) {\n      return false;\n    }\n    for (const step of steps) {\n      const result = await driver.query(step.sql, step.params ?? []);\n      if (!this.stepResultIsTrue(result.rows)) {\n        return false;\n      }\n    }\n    return true;\n  }\n\n  private createSkipRecord(\n    operation: SqlMigrationPlanOperation<SqlitePlanTargetDetails>,\n  ): SqlMigrationPlanOperation<SqlitePlanTargetDetails> {\n    return Object.freeze({\n      id: operation.id,\n      label: operation.label,\n      ...ifDefined('summary', operation.summary),\n      operationClass: operation.operationClass,\n      target: operation.target,\n      precheck: Object.freeze([]),\n      execute: Object.freeze([]),\n      postcheck: Object.freeze([...operation.postcheck]),\n      meta: Object.freeze({\n        ...(operation.meta ?? {}),\n        runner: Object.freeze({ skipped: true, reason: 'postcheck_pre_satisfied' }),\n      }),\n    });\n  }\n\n  private markerMatchesDestination(\n    marker: ContractMarkerRecord | null,\n    plan: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['plan'],\n  ): boolean {\n    if (!marker) return false;\n    if (marker.storageHash !== plan.destination.storageHash) return false;\n    if (plan.destination.profileHash && marker.profileHash !== plan.destination.profileHash) {\n      return false;\n    }\n    return true;\n  }\n\n  private enforcePolicyCompatibility(\n    policy: MigrationOperationPolicy,\n    operations: readonly SqlMigrationPlanOperation<SqlitePlanTargetDetails>[],\n  ): Result<void, SqlMigrationRunnerFailure> {\n    const allowedClasses = new Set(policy.allowedOperationClasses);\n    for (const operation of operations) {\n      if (!allowedClasses.has(operation.operationClass)) {\n        return runnerFailure(\n          'POLICY_VIOLATION',\n          `Operation ${operation.id} has class \"${operation.operationClass}\" which is not allowed by policy.`,\n          {\n            why: `Policy only allows: ${policy.allowedOperationClasses.join(', ')}.`,\n            meta: {\n              operationId: operation.id,\n              operationClass: operation.operationClass,\n              allowedClasses: policy.allowedOperationClasses,\n            },\n          },\n        );\n      }\n    }\n    return okVoid();\n  }\n\n  private ensureMarkerCompatibility(\n    marker: ContractMarkerRecord | null,\n    plan: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['plan'],\n  ): Result<void, SqlMigrationRunnerFailure> {\n    const origin = plan.origin ?? null;\n    if (!origin) {\n      return okVoid();\n    }\n    if (!marker) {\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Missing contract marker: expected origin storage hash ${origin.storageHash}.`,\n        { meta: { expectedOriginStorageHash: origin.storageHash } },\n      );\n    }\n    if (marker.storageHash !== origin.storageHash) {\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Existing contract marker (${marker.storageHash}) does not match plan origin (${origin.storageHash}).`,\n        {\n          meta: {\n            markerStorageHash: marker.storageHash,\n            expectedOriginStorageHash: origin.storageHash,\n          },\n        },\n      );\n    }\n    if (origin.profileHash && marker.profileHash !== origin.profileHash) {\n      return runnerFailure(\n        'MARKER_ORIGIN_MISMATCH',\n        `Existing contract marker profile hash (${marker.profileHash}) does not match plan origin profile hash (${origin.profileHash}).`,\n        {\n          meta: {\n            markerProfileHash: marker.profileHash,\n            expectedOriginProfileHash: origin.profileHash,\n          },\n        },\n      );\n    }\n    return okVoid();\n  }\n\n  private ensurePlanMatchesDestinationContract(\n    destination: SqlMigrationPlanContractInfo,\n    contract: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['destinationContract'],\n  ): Result<void, SqlMigrationRunnerFailure> {\n    if (destination.storageHash !== contract.storage.storageHash) {\n      return runnerFailure(\n        'DESTINATION_CONTRACT_MISMATCH',\n        `Plan destination storage hash (${destination.storageHash}) does not match provided contract storage hash (${contract.storage.storageHash}).`,\n        {\n          meta: {\n            planStorageHash: destination.storageHash,\n            contractStorageHash: contract.storage.storageHash,\n          },\n        },\n      );\n    }\n    if (\n      destination.profileHash &&\n      contract.profileHash &&\n      destination.profileHash !== contract.profileHash\n    ) {\n      return runnerFailure(\n        'DESTINATION_CONTRACT_MISMATCH',\n        `Plan destination profile hash (${destination.profileHash}) does not match provided contract profile hash (${contract.profileHash}).`,\n        {\n          meta: {\n            planProfileHash: destination.profileHash,\n            contractProfileHash: contract.profileHash,\n          },\n        },\n      );\n    }\n    return okVoid();\n  }\n\n  private async upsertMarker(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    options: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>,\n    existingMarker: ContractMarkerRecord | null,\n    space: string,\n  ): Promise<void> {\n    // SQLite has no native array type, so we can't merge invariants in SQL\n    // the way Postgres does. Merge client-side under the runner's\n    // BEGIN EXCLUSIVE — sort + dedupe so the JSON-encoded value is stable.\n    const merged = new Set<string>(existingMarker?.invariants ?? []);\n    for (const inv of options.plan.providedInvariants) merged.add(inv);\n    const invariants = Array.from(merged).sort();\n    const writeStatements = buildWriteMarkerStatements({\n      space,\n      storageHash: options.plan.destination.storageHash,\n      profileHash:\n        options.plan.destination.profileHash ??\n        options.destinationContract.profileHash ??\n        options.plan.destination.storageHash,\n      contractJson: options.destinationContract,\n      canonicalVersion: null,\n      meta: {},\n      invariants,\n    });\n    const statement = existingMarker ? writeStatements.update : writeStatements.insert;\n    await this.executeStatement(driver, statement);\n  }\n\n  private async recordLedgerEntries(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    options: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>,\n    existingMarker: ContractMarkerRecord | null,\n    executedOperations: readonly SqlMigrationPlanOperation<SqlitePlanTargetDetails>[],\n  ): Promise<void> {\n    const plan = options.plan;\n    const space = plan.spaceId;\n    const destinationProfileHash =\n      plan.destination.profileHash ??\n      options.destinationContract.profileHash ??\n      plan.destination.storageHash;\n    const edges = options.migrationEdges;\n    const totalEdgeOps = edges.reduce((sum, edge) => sum + edge.operationCount, 0);\n    if (totalEdgeOps !== plan.operations.length) {\n      throw new Error(\n        `Ledger write: plan.operations length (${plan.operations.length}) does not match sum of migrationEdges operationCount (${totalEdgeOps})`,\n      );\n    }\n    // The ledger records the operations as executed — idempotency-skipped ops\n    // are substituted with skip records (empty `execute`) by `applyPlan`, so the\n    // journal reflects what actually ran rather than the raw plan.\n    let offset = 0;\n    const lastIndex = edges.length - 1;\n    for (const [i, edge] of edges.entries()) {\n      const edgeOps = executedOperations.slice(offset, offset + edge.operationCount);\n      offset += edge.operationCount;\n      const isFirst = i === 0;\n      const isLast = i === lastIndex;\n      await this.executeStatement(\n        driver,\n        buildLedgerInsertStatement({\n          space,\n          migrationName: edge.dirName,\n          migrationHash: edge.migrationHash,\n          originStorageHash: edge.from === '' ? null : edge.from,\n          originProfileHash:\n            isFirst && existingMarker?.storageHash === edge.from\n              ? (existingMarker.profileHash ?? null)\n              : null,\n          destinationStorageHash: edge.to,\n          destinationProfileHash:\n            isLast && edge.to === plan.destination.storageHash ? destinationProfileHash : null,\n          contractJsonBefore: isFirst ? (existingMarker?.contractJson ?? null) : null,\n          contractJsonAfter: isLast ? options.destinationContract : null,\n          operations: edgeOps,\n        }),\n      );\n    }\n  }\n\n  private async beginExclusiveTransaction(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n  ): Promise<void> {\n    await driver.query('BEGIN EXCLUSIVE');\n  }\n\n  private async commitTransaction(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n  ): Promise<void> {\n    await driver.query('COMMIT');\n  }\n\n  private async rollbackTransaction(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n  ): Promise<void> {\n    await driver.query('ROLLBACK');\n  }\n\n  private async executeStatement(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    statement: SqlStatement,\n  ): Promise<void> {\n    if (statement.params.length > 0) {\n      await driver.query(statement.sql, statement.params);\n      return;\n    }\n    await driver.query(statement.sql);\n  }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport { SqlContractSerializerBase } from '@prisma-next/family-sql/ir';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\n\n/**\n * SQLite target `ContractSerializer` concretion. Mirrors the Postgres\n * shape: inherits the full SQL-family deserialization pipeline. Today's\n * SQLite contract shape is the family-shared shape; no target-specific\n * polymorphic `storage.types` factories are registered yet.\n *\n * `serializeContract` falls through to the family-base default —\n * SQLite's contract is JSON-clean today. Once target-only fields land\n * (e.g. per-target derived storage fields) this is the home for\n * stripping them from the persisted envelope.\n */\nexport class SqliteContractSerializer extends SqlContractSerializerBase<Contract<SqlStorage>> {\n  constructor() {\n    super(new Map());\n  }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport { SqlSchemaVerifierBase } from '@prisma-next/family-sql/ir';\nimport type { SchemaIssue, SchemaVerifyOptions } from '@prisma-next/framework-components/control';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\n\n/**\n * SQLite target `SchemaVerifier` concretion. Mirrors the Postgres\n * shape: hooks return the empty list pending the call-site migration\n * that routes the existing verifier behaviour through the SPI.\n */\nexport class SqliteSchemaVerifier extends SqlSchemaVerifierBase<Contract<SqlStorage>, SqlSchemaIR> {\n  protected verifyCommonSqlSchema(\n    _options: SchemaVerifyOptions<Contract<SqlStorage>, SqlSchemaIR>,\n  ): readonly SchemaIssue[] {\n    return [];\n  }\n\n  protected verifyTargetExtensions(\n    _options: SchemaVerifyOptions<Contract<SqlStorage>, SqlSchemaIR>,\n  ): readonly SchemaIssue[] {\n    return [];\n  }\n}\n","import type { ColumnDefault, Contract } from '@prisma-next/contract/types';\nimport type {\n  SqlControlFamilyInstance,\n  SqlControlTargetDescriptor,\n} from '@prisma-next/family-sql/control';\nimport { contractToSchemaIR } from '@prisma-next/family-sql/control';\nimport type {\n  ControlTargetInstance,\n  MigrationPlanner,\n  MigrationRunner,\n} from '@prisma-next/framework-components/control';\nimport { SqlStorage, type StorageColumn } from '@prisma-next/sql-contract/types';\nimport { sqliteTargetDescriptorMeta } from './descriptor-meta';\nimport { createSqliteMigrationPlanner } from './migrations/planner';\nimport { renderDefaultLiteral } from './migrations/planner-ddl-builders';\nimport type { SqlitePlanTargetDetails } from './migrations/planner-target-details';\nimport { createSqliteMigrationRunner } from './migrations/runner';\nimport { SqliteContractSerializer } from './sqlite-contract-serializer';\nimport { SqliteSchemaVerifier } from './sqlite-schema-verifier';\n\nfunction isSqlContract(contract: Contract | null): contract is Contract<SqlStorage> | null {\n  return contract === null || contract.storage instanceof SqlStorage;\n}\n\nfunction sqliteRenderDefault(def: ColumnDefault, _column: StorageColumn): string {\n  if (def.kind === 'function') {\n    if (def.expression === 'now()') {\n      return \"datetime('now')\";\n    }\n    return def.expression;\n  }\n  return renderDefaultLiteral(def.value);\n}\n\nconst sqliteControlTargetDescriptor: SqlControlTargetDescriptor<'sqlite', SqlitePlanTargetDetails> =\n  {\n    ...sqliteTargetDescriptorMeta,\n    contractSerializer: new SqliteContractSerializer(),\n    schemaVerifier: new SqliteSchemaVerifier(),\n    migrations: {\n      createPlanner(_family: SqlControlFamilyInstance): MigrationPlanner<'sql', 'sqlite'> {\n        return createSqliteMigrationPlanner();\n      },\n      createRunner(family) {\n        return createSqliteMigrationRunner(family) as MigrationRunner<'sql', 'sqlite'>;\n      },\n      contractToSchema(contract, _frameworkComponents) {\n        // The framework SPI types `contract` as the generic\n        // `Contract | null`. Any contract reaching the sqlite\n        // target descriptor is SQL-family by construction (the\n        // family contract resolver would have refused to bind a\n        // sqlite target otherwise); the `isSqlContract` predicate\n        // encodes that invariant at runtime + narrows the generic\n        // to `Contract<SqlStorage>` without a blind cast.\n        if (!isSqlContract(contract)) {\n          throw new Error(\n            'sqliteControlTargetDescriptor.contractToSchema received a non-SQL contract; expected Contract<SqlStorage>',\n          );\n        }\n        return contractToSchemaIR(contract, {\n          annotationNamespace: 'sqlite',\n          renderDefault: sqliteRenderDefault,\n        });\n      },\n    },\n    create(): ControlTargetInstance<'sql', 'sqlite'> {\n      return {\n        familyId: 'sql',\n        targetId: 'sqlite',\n      };\n    },\n    createPlanner(_family: SqlControlFamilyInstance) {\n      return createSqliteMigrationPlanner();\n    },\n    createRunner(family) {\n      return createSqliteMigrationRunner(family);\n    },\n  };\n\nexport default sqliteControlTargetDescriptor;\n","import {\n  freezeNode,\n  NamespaceBase,\n  UNBOUND_NAMESPACE_ID,\n} from '@prisma-next/framework-components/ir';\nimport type { StorageTable } from '@prisma-next/sql-contract/types';\n\n/**\n * SQLite target `Namespace` concretion. SQLite has no schema or\n * database-namespacing concept at the SQL level — there is exactly one\n * effective namespace per connection, so the target ships a single\n * singleton bound to the framework's `UNBOUND_NAMESPACE_ID` slot.\n *\n * Qualifier emission elides the prefix entirely: rendered DDL and\n * queries look unqualified (`CREATE TABLE \"users\" (...)`), matching\n * SQLite's native dialect. Call sites stay polymorphic — they ask the\n * namespace for its qualifier and consume the empty/unqualified result\n * the same way Postgres consumes a `\"schema\"` prefix.\n *\n * The SQLite PSL interpreter rejects every explicit `namespace { … }`\n * block with a diagnostic naming SQLite; only the implicit\n * `__unspecified__` AST bucket reaches the SQLite interpreter, which\n * lowers it to this singleton.\n */\nexport class SqliteUnboundDatabase extends NamespaceBase {\n  static readonly instance: SqliteUnboundDatabase = new SqliteUnboundDatabase();\n\n  readonly kind = 'database' as const;\n  readonly id = UNBOUND_NAMESPACE_ID;\n  readonly tables: Readonly<Record<string, StorageTable>>;\n\n  private constructor() {\n    super();\n    this.tables = Object.freeze({});\n    freezeNode(this);\n  }\n\n  qualifier(): string {\n    return '';\n  }\n\n  qualifyTable(tableName: string): string {\n    return `\"${tableName}\"`;\n  }\n}\n\n/**\n * Target-supplied `Namespace` factory the SQLite target plumbs through\n * `defineContract({ createNamespace })`. SQLite has only one\n * effective namespace slot — the framework `UNBOUND_NAMESPACE_ID`\n * sentinel — so the factory always returns the singleton and rejects\n * any other coordinate. The SQL family's defensive validation in\n * `defineContract` already rejects user-declared SQLite namespaces, so\n * this throw is a structural safety net rather than a user-facing\n * surface.\n */\nexport function sqliteCreateNamespace(id: string): SqliteUnboundDatabase {\n  if (id === UNBOUND_NAMESPACE_ID) {\n    return SqliteUnboundDatabase.instance;\n  }\n  throw new Error(\n    `sqliteCreateNamespace: SQLite has no schema concept; the only valid namespace id is \"${UNBOUND_NAMESPACE_ID}\" (received \"${id}\").`,\n  );\n}\n"],"mappings":";;;;;;;;;;;;;;;;AAqCA,SAAgB,4BACd,QAC6C;CAC7C,OAAO,IAAI,sBAAsB,MAAM;AACzC;AAEA,IAAM,wBAAN,MAAmF;CACpD;CAA7B,YAAY,QAAmD;EAAlC,KAAA,SAAA;CAAmC;;;;;;;CAQhE,MAAM,oBACJ,SACmC;EACnC,MAAM,SAAS,QAAQ;EACvB,IAAI,QAAQ,UAAU,KAAA,KAAa,QAAQ,UAAU,QAAQ,KAAK,SAChE,MAAM,IAAI,MACR,sCAAsC,QAAQ,MAAM,iCAAiC,QAAQ,KAAK,QAAQ,EAC5G;EAEF,MAAM,QAAQ,QAAQ,KAAK;EAE3B,MAAM,mBAAmB,KAAK,qCAC5B,QAAQ,KAAK,aACb,QAAQ,mBACV;EACA,IAAI,CAAC,iBAAiB,IAAI,OAAO;EAEjC,MAAM,cAAc,KAAK,2BAA2B,QAAQ,QAAQ,QAAQ,KAAK,UAAU;EAC3F,IAAI,CAAC,YAAY,IAAI,OAAO;EAE5B,MAAM,eAAe,MAAM,KAAK,oBAAoB,MAAM;EAC1D,IAAI,CAAC,aAAa,IAAI,OAAO;EAC7B,MAAM,iBAAiB,MAAM,KAAK,WAAW,QAAQ,KAAK;EAE1D,MAAM,cAAc,KAAK,0BAA0B,gBAAgB,QAAQ,IAAI;EAC/E,IAAI,CAAC,YAAY,IAAI,OAAO;EAE5B,MAAM,sBAAsB,KAAK,yBAAyB,gBAAgB,QAAQ,IAAI;EACtF,MAAM,aAAa,QAAQ,KAAK,QAAQ,gBAAgB,QAAQ,KAAK,YAAY;EACjF,MAAM,iBAAiB,uBAAuB,QAAQ,KAAK,UAAU,QAAQ,CAAC;EAE9E,IAAI;EACJ,IAAI;EAEJ,IAAI,gBAAgB;GAClB,qBAAqB;GACrB,qBAAqB,CAAC;EACxB,OAAO;GACL,MAAM,cAAc,MAAM,KAAK,UAAU,QAAQ,OAAO;GACxD,IAAI,CAAC,YAAY,IAAI,OAAO;GAC5B,qBAAqB,YAAY,MAAM;GACvC,qBAAqB,YAAY,MAAM;EACzC;EAEA,IAAI,UAAU,cAAc;GAC1B,MAAM,WAAW,MAAM,KAAK,OAAO,WAAW;IAC5C;IACA,UAAU,QAAQ;GACpB,CAAC;GAED,MAAM,qBAAqB,gBAAgB;IACzC,UAAU,QAAQ;IAClB,QAAQ;IACR,QAAQ,QAAQ,sBAAsB;IACtC,SAAS,QAAQ,WAAW,CAAC;IAC7B,sBAAsB,KAAK,OAAO;IAClC,qBAAqB,QAAQ;IAC7B,kBAAkB;IAClB,qBAAqB;GACvB,CAAC;GACD,IAAI,CAAC,mBAAmB,IACtB,OAAO,cAAc,wBAAwB,mBAAmB,SAAS;IACvE,KAAK;IACL,MAAM,EAAE,QAAQ,mBAAmB,OAAO,OAAO;GACnD,CAAC;EAEL;EAIA,MAAM,qBAAqB,QAAQ,KAAK;EACxC,MAAM,qBAAqB,IAAI,IAAI,gBAAgB,cAAc,CAAC,CAAC;EACnE,MAAM,6BAA6B,mBAAmB,OAAO,OAAO,mBAAmB,IAAI,EAAE,CAAC;EAG9F,IAAI,EAFmB,cAAc,uBAAuB,KAAK,6BAE5C;GACnB,MAAM,KAAK,aAAa,QAAQ,SAAS,gBAAgB,KAAK;GAC9D,MAAM,KAAK,oBAAoB,QAAQ,SAAS,gBAAgB,kBAAkB;EACpF;EAEA,OAAO,cAAc;GACnB,mBAAmB,QAAQ,KAAK,WAAW;GAC3C;EACF,CAAC;CACH;CAEA,MAAM,QAAQ,SAKqB;EACjC,MAAM,SAAS,QAAQ;EACvB,MAAM,kBAAkB,QAAQ;EAEhC,IAAI,gBAAgB,WAAW,GAC7B,OAAO,GAAG,EAAE,iBAAiB,CAAC,EAAE,CAAC;EAMnC,MAAM,eAAe,MAAM,KAAK,uBAAuB,MAAM;EAC7D,IAAI,cACF,MAAM,OAAO,MAAM,2BAA2B;EAGhD,IAAI;GACF,MAAM,KAAK,0BAA0B,MAAM;GAC3C,IAAI,YAAY;GAChB,IAAI;IACF,MAAM,kBAGD,CAAC;IACN,IAAI;IACJ,KAAK,MAAM,gBAAgB,iBAAiB;KAC1C,MAAM,QAAQ,aAAa,SAAS,aAAa,KAAK;KACtD,MAAM,SAAS,MAAM,KAAK,oBAAoB;MAAE,GAAG;MAAc;MAAQ;KAAM,CAAC;KAChF,IAAI,CAAC,OAAO,IACV,OAAO,MAAM;MAAE,GAAG,OAAO;MAAS,cAAc;KAAM,CAAC;KAEzD,gBAAgB,KAAK;MAAE;MAAO,OAAO,OAAO;KAAM,CAAC;KACnD,qBAAqB;IACvB;IAEA,IAAI,cAAc;KAChB,MAAM,mBAAmB,MAAM,KAAK,0BAA0B,MAAM;KACpE,IAAI,CAAC,iBAAiB,IAOpB,OAAO,MAAM;MACX,GAAG,iBAAiB;MACpB,cAAc,sBAAsB;KACtC,CAAC;IAEL;IAEA,MAAM,KAAK,kBAAkB,MAAM;IACnC,YAAY;IACZ,OAAO,GAAG,EAAE,gBAAgB,CAAC;GAC/B,UAAU;IACR,IAAI,CAAC,WACH,MAAM,KAAK,oBAAoB,MAAM;GAEzC;EACF,UAAU;GACR,IAAI,cACF,MAAM,OAAO,MAAM,0BAA0B;EAEjD;CACF;CAEA,MAAc,uBACZ,QACkB;EAGlB,QADY,MADS,OAAO,MAAgC,qBAAqB,GAC9D,KAAK,IACZ,iBAAiB;CAC/B;CAEA,MAAc,0BACZ,QACkD;EAClD,MAAM,SAAS,MAAM,OAAO,MAA+B,0BAA0B;EACrF,IAAI,OAAO,KAAK,WAAW,GACzB,OAAO,OAAO;EAEhB,OAAO,cACL,yBACA,uDAAuD,OAAO,KAAK,OAAO,iBAC1E;GACE,KAAK;GACL,MAAM,EAAE,YAAY,OAAO,KAAK;EAClC,CACF;CACF;CAEA,MAAc,UACZ,QACA,SASA;EACA,MAAM,SAAS,QAAQ;EACvB,MAAM,eAAe,QAAQ,cAAc;EAC3C,MAAM,gBAAgB,QAAQ,eAAe;EAC7C,MAAM,iBAAiB,QAAQ,sBAAsB;EAErD,IAAI,qBAAqB;EACzB,MAAM,qBAAgF,CAAC;EAEvF,KAAK,MAAM,aAAa,QAAQ,KAAK,YAAY;GAC/C,QAAQ,WAAW,mBAAmB,SAAS;GAC/C,IAAI;IACF,IAAI,iBAAiB;SAKf,MAJoC,KAAK,yBAC3C,QACA,UAAU,SACZ,GAC+B;MAC7B,mBAAmB,KAAK,KAAK,iBAAiB,SAAS,CAAC;MACxD;KACF;;IAGF,IAAI,cAAc;KAChB,MAAM,iBAAiB,MAAM,KAAK,oBAChC,QACA,UAAU,UACV,WACA,UACF;KACA,IAAI,CAAC,eAAe,IAClB,OAAO;IAEX;IAEA,MAAM,gBAAgB,MAAM,KAAK,gBAAgB,QAAQ,UAAU,SAAS,SAAS;IACrF,IAAI,CAAC,cAAc,IACjB,OAAO;IAGT,IAAI,eAAe;KACjB,MAAM,kBAAkB,MAAM,KAAK,oBACjC,QACA,UAAU,WACV,WACA,WACF;KACA,IAAI,CAAC,gBAAgB,IACnB,OAAO;IAEX;IAEA,mBAAmB,KAAK,SAAS;IACjC,sBAAsB;GACxB,UAAU;IACR,QAAQ,WAAW,sBAAsB,SAAS;GACpD;EACF;EACA,OAAO,GAAG;GAAE;GAAoB;EAAmB,CAAC;CACtD;CAEA,MAAc,oBACZ,QACkD;EAKlD,MAAM,kBAAkB,MAAM,KAAK,wBAAwB,MAAM;EACjE,IAAI,CAAC,gBAAgB,IACnB,OAAO;EAET,MAAM,KAAK,iBAAiB,QAAQ,0BAA0B;EAC9D,MAAM,KAAK,iBAAiB,QAAQ,0BAA0B;EAC9D,OAAO,OAAO;CAChB;CAEA,MAAc,wBACZ,QACkD;EAClD,MAAM,YAAY,MAAM,OAAO,MAC7B,sBAAsB,kBAAkB,GAC1C;EACA,IAAI,UAAU,KAAK,WAAW,GAC5B,OAAO,OAAO;EAEhB,MAAM,UAAU,IAAI,IAAI,UAAU,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC;EAC7D,IAAI,QAAQ,IAAI,OAAO,GACrB,OAAO,OAAO;EAEhB,OAAO,cACL,uBACA,yCAAyC,kBAAkB,mJAE/C,kBAAkB,kEAC9B,EACE,MAAM;GACJ,OAAO;GACP,SAAS,CAAC,GAAG,OAAO,EAAE,KAAK;EAC7B,EACF,CACF;CACF;CAEA,MAAc,WACZ,QACA,OACsC;EACtC,MAAM,OAAO,oBAAoB,KAAK;EACtC,IAAI;GAEF,MAAM,OAAM,MADS,OAAO,MAAyB,KAAK,KAAK,KAAK,MAAM,GACvD,KAAK;GACxB,IAAI,CAAC,KAAK,OAAO;GAIjB,MAAM,aACJ,OAAO,IAAI,eAAe,WACrB,KAAK,MAAM,IAAI,UAAU,IAC1B,IAAI;GACV,OAAO,uBAAuB;IAAE,GAAG;IAAK;GAAW,CAAC;EACtD,SAAS,OAAO;GAEd,IAAI,iBAAiB,SAAS,MAAM,QAAQ,SAAS,eAAe,GAClE,OAAO;GAET,MAAM;EACR;CACF;CAEA,MAAc,oBACZ,QACA,OACA,WACA,OACkD;EAClD,KAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,SAAS,MAAM,OAAO,MAAM,KAAK,KAAK,KAAK,UAAU,CAAC,CAAC;GAC7D,IAAI,CAAC,KAAK,iBAAiB,OAAO,IAAI,GAEpC,OAAO,cADM,UAAU,aAAa,oBAAoB,oBAGtD,aAAa,UAAU,GAAG,iBAAiB,MAAM,IAAI,KAAK,eAC1D,EACE,MAAM;IACJ,aAAa,UAAU;IACvB;IACA,iBAAiB,KAAK;GACxB,EACF,CACF;EAEJ;EACA,OAAO,OAAO;CAChB;CAEA,MAAc,gBACZ,QACA,OACA,WACkD;EAClD,KAAK,MAAM,QAAQ,OACjB,IAAI;GACF,MAAM,OAAO,MAAM,KAAK,KAAK,KAAK,UAAU,CAAC,CAAC;EAChD,SAAS,OAAgB;GACvB,MAAM,UAAU,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK;GACrE,OAAO,cACL,oBACA,aAAa,UAAU,GAAG,4BAA4B,KAAK,eAC3D;IACE,KAAK;IACL,MAAM;KACJ,aAAa,UAAU;KACvB,iBAAiB,KAAK;KACtB,KAAK,KAAK;IACZ;GACF,CACF;EACF;EAEF,OAAO,OAAO;CAChB;CAEA,iBAAyB,MAAmD;EAC1E,IAAI,CAAC,QAAQ,KAAK,WAAW,GAC3B,OAAO;EAET,MAAM,WAAW,KAAK;EACtB,MAAM,aAAa,WAAW,OAAO,OAAO,QAAQ,EAAE,KAAK,KAAA;EAC3D,IAAI,OAAO,eAAe,UACxB,OAAO,eAAe;EAExB,IAAI,OAAO,eAAe,WACxB,OAAO;EAET,IAAI,OAAO,eAAe,UAAU;GAClC,MAAM,QAAQ,WAAW,YAAY;GACrC,IAAI,UAAU,UAAU,UAAU,KAAK,OAAO;GAC9C,IAAI,UAAU,WAAW,UAAU,KAAK,OAAO;GAC/C,OAAO,WAAW,SAAS;EAC7B;EACA,OAAO,QAAQ,UAAU;CAC3B;CAEA,MAAc,yBACZ,QACA,OACkB;EAClB,IAAI,MAAM,WAAW,GACnB,OAAO;EAET,KAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,SAAS,MAAM,OAAO,MAAM,KAAK,KAAK,KAAK,UAAU,CAAC,CAAC;GAC7D,IAAI,CAAC,KAAK,iBAAiB,OAAO,IAAI,GACpC,OAAO;EAEX;EACA,OAAO;CACT;CAEA,iBACE,WACoD;EACpD,OAAO,OAAO,OAAO;GACnB,IAAI,UAAU;GACd,OAAO,UAAU;GACjB,GAAG,UAAU,WAAW,UAAU,OAAO;GACzC,gBAAgB,UAAU;GAC1B,QAAQ,UAAU;GAClB,UAAU,OAAO,OAAO,CAAC,CAAC;GAC1B,SAAS,OAAO,OAAO,CAAC,CAAC;GACzB,WAAW,OAAO,OAAO,CAAC,GAAG,UAAU,SAAS,CAAC;GACjD,MAAM,OAAO,OAAO;IAClB,GAAI,UAAU,QAAQ,CAAC;IACvB,QAAQ,OAAO,OAAO;KAAE,SAAS;KAAM,QAAQ;IAA0B,CAAC;GAC5E,CAAC;EACH,CAAC;CACH;CAEA,yBACE,QACA,MACS;EACT,IAAI,CAAC,QAAQ,OAAO;EACpB,IAAI,OAAO,gBAAgB,KAAK,YAAY,aAAa,OAAO;EAChE,IAAI,KAAK,YAAY,eAAe,OAAO,gBAAgB,KAAK,YAAY,aAC1E,OAAO;EAET,OAAO;CACT;CAEA,2BACE,QACA,YACyC;EACzC,MAAM,iBAAiB,IAAI,IAAI,OAAO,uBAAuB;EAC7D,KAAK,MAAM,aAAa,YACtB,IAAI,CAAC,eAAe,IAAI,UAAU,cAAc,GAC9C,OAAO,cACL,oBACA,aAAa,UAAU,GAAG,cAAc,UAAU,eAAe,oCACjE;GACE,KAAK,uBAAuB,OAAO,wBAAwB,KAAK,IAAI,EAAE;GACtE,MAAM;IACJ,aAAa,UAAU;IACvB,gBAAgB,UAAU;IAC1B,gBAAgB,OAAO;GACzB;EACF,CACF;EAGJ,OAAO,OAAO;CAChB;CAEA,0BACE,QACA,MACyC;EACzC,MAAM,SAAS,KAAK,UAAU;EAC9B,IAAI,CAAC,QACH,OAAO,OAAO;EAEhB,IAAI,CAAC,QACH,OAAO,cACL,0BACA,yDAAyD,OAAO,YAAY,IAC5E,EAAE,MAAM,EAAE,2BAA2B,OAAO,YAAY,EAAE,CAC5D;EAEF,IAAI,OAAO,gBAAgB,OAAO,aAChC,OAAO,cACL,0BACA,6BAA6B,OAAO,YAAY,gCAAgC,OAAO,YAAY,KACnG,EACE,MAAM;GACJ,mBAAmB,OAAO;GAC1B,2BAA2B,OAAO;EACpC,EACF,CACF;EAEF,IAAI,OAAO,eAAe,OAAO,gBAAgB,OAAO,aACtD,OAAO,cACL,0BACA,0CAA0C,OAAO,YAAY,6CAA6C,OAAO,YAAY,KAC7H,EACE,MAAM;GACJ,mBAAmB,OAAO;GAC1B,2BAA2B,OAAO;EACpC,EACF,CACF;EAEF,OAAO,OAAO;CAChB;CAEA,qCACE,aACA,UACyC;EACzC,IAAI,YAAY,gBAAgB,SAAS,QAAQ,aAC/C,OAAO,cACL,iCACA,kCAAkC,YAAY,YAAY,mDAAmD,SAAS,QAAQ,YAAY,KAC1I,EACE,MAAM;GACJ,iBAAiB,YAAY;GAC7B,qBAAqB,SAAS,QAAQ;EACxC,EACF,CACF;EAEF,IACE,YAAY,eACZ,SAAS,eACT,YAAY,gBAAgB,SAAS,aAErC,OAAO,cACL,iCACA,kCAAkC,YAAY,YAAY,mDAAmD,SAAS,YAAY,KAClI,EACE,MAAM;GACJ,iBAAiB,YAAY;GAC7B,qBAAqB,SAAS;EAChC,EACF,CACF;EAEF,OAAO,OAAO;CAChB;CAEA,MAAc,aACZ,QACA,SACA,gBACA,OACe;EAIf,MAAM,SAAS,IAAI,IAAY,gBAAgB,cAAc,CAAC,CAAC;EAC/D,KAAK,MAAM,OAAO,QAAQ,KAAK,oBAAoB,OAAO,IAAI,GAAG;EACjE,MAAM,aAAa,MAAM,KAAK,MAAM,EAAE,KAAK;EAC3C,MAAM,kBAAkB,2BAA2B;GACjD;GACA,aAAa,QAAQ,KAAK,YAAY;GACtC,aACE,QAAQ,KAAK,YAAY,eACzB,QAAQ,oBAAoB,eAC5B,QAAQ,KAAK,YAAY;GAC3B,cAAc,QAAQ;GACtB,kBAAkB;GAClB,MAAM,CAAC;GACP;EACF,CAAC;EACD,MAAM,YAAY,iBAAiB,gBAAgB,SAAS,gBAAgB;EAC5E,MAAM,KAAK,iBAAiB,QAAQ,SAAS;CAC/C;CAEA,MAAc,oBACZ,QACA,SACA,gBACA,oBACe;EACf,MAAM,OAAO,QAAQ;EACrB,MAAM,QAAQ,KAAK;EACnB,MAAM,yBACJ,KAAK,YAAY,eACjB,QAAQ,oBAAoB,eAC5B,KAAK,YAAY;EACnB,MAAM,QAAQ,QAAQ;EACtB,MAAM,eAAe,MAAM,QAAQ,KAAK,SAAS,MAAM,KAAK,gBAAgB,CAAC;EAC7E,IAAI,iBAAiB,KAAK,WAAW,QACnC,MAAM,IAAI,MACR,yCAAyC,KAAK,WAAW,OAAO,yDAAyD,aAAa,EACxI;EAKF,IAAI,SAAS;EACb,MAAM,YAAY,MAAM,SAAS;EACjC,KAAK,MAAM,CAAC,GAAG,SAAS,MAAM,QAAQ,GAAG;GACvC,MAAM,UAAU,mBAAmB,MAAM,QAAQ,SAAS,KAAK,cAAc;GAC7E,UAAU,KAAK;GACf,MAAM,UAAU,MAAM;GACtB,MAAM,SAAS,MAAM;GACrB,MAAM,KAAK,iBACT,QACA,2BAA2B;IACzB;IACA,eAAe,KAAK;IACpB,eAAe,KAAK;IACpB,mBAAmB,KAAK,SAAS,KAAK,OAAO,KAAK;IAClD,mBACE,WAAW,gBAAgB,gBAAgB,KAAK,OAC3C,eAAe,eAAe,OAC/B;IACN,wBAAwB,KAAK;IAC7B,wBACE,UAAU,KAAK,OAAO,KAAK,YAAY,cAAc,yBAAyB;IAChF,oBAAoB,UAAW,gBAAgB,gBAAgB,OAAQ;IACvE,mBAAmB,SAAS,QAAQ,sBAAsB;IAC1D,YAAY;GACd,CAAC,CACH;EACF;CACF;CAEA,MAAc,0BACZ,QACe;EACf,MAAM,OAAO,MAAM,iBAAiB;CACtC;CAEA,MAAc,kBACZ,QACe;EACf,MAAM,OAAO,MAAM,QAAQ;CAC7B;CAEA,MAAc,oBACZ,QACe;EACf,MAAM,OAAO,MAAM,UAAU;CAC/B;CAEA,MAAc,iBACZ,QACA,WACe;EACf,IAAI,UAAU,OAAO,SAAS,GAAG;GAC/B,MAAM,OAAO,MAAM,UAAU,KAAK,UAAU,MAAM;GAClD;EACF;EACA,MAAM,OAAO,MAAM,UAAU,GAAG;CAClC;AACF;;;;;;;;;;;;;;ACjrBA,IAAa,2BAAb,cAA8C,0BAAgD;CAC5F,cAAc;EACZ,sBAAM,IAAI,IAAI,CAAC;CACjB;AACF;;;;;;;;ACRA,IAAa,uBAAb,cAA0C,sBAAyD;CACjG,sBACE,UACwB;EACxB,OAAO,CAAC;CACV;CAEA,uBACE,UACwB;EACxB,OAAO,CAAC;CACV;AACF;;;ACHA,SAAS,cAAc,UAAoE;CACzF,OAAO,aAAa,QAAQ,SAAS,mBAAmB;AAC1D;AAEA,SAAS,oBAAoB,KAAoB,SAAgC;CAC/E,IAAI,IAAI,SAAS,YAAY;EAC3B,IAAI,IAAI,eAAe,SACrB,OAAO;EAET,OAAO,IAAI;CACb;CACA,OAAO,qBAAqB,IAAI,KAAK;AACvC;AAEA,MAAM,gCACJ;CACE,GAAG;CACH,oBAAoB,IAAI,yBAAyB;CACjD,gBAAgB,IAAI,qBAAqB;CACzC,YAAY;EACV,cAAc,SAAsE;GAClF,OAAO,6BAA6B;EACtC;EACA,aAAa,QAAQ;GACnB,OAAO,4BAA4B,MAAM;EAC3C;EACA,iBAAiB,UAAU,sBAAsB;GAQ/C,IAAI,CAAC,cAAc,QAAQ,GACzB,MAAM,IAAI,MACR,2GACF;GAEF,OAAO,mBAAmB,UAAU;IAClC,qBAAqB;IACrB,eAAe;GACjB,CAAC;EACH;CACF;CACA,SAAiD;EAC/C,OAAO;GACL,UAAU;GACV,UAAU;EACZ;CACF;CACA,cAAc,SAAmC;EAC/C,OAAO,6BAA6B;CACtC;CACA,aAAa,QAAQ;EACnB,OAAO,4BAA4B,MAAM;CAC3C;AACF;;;;;;;;;;;;;;;;;;;;ACrDF,IAAa,wBAAb,MAAa,8BAA8B,cAAc;CACvD,OAAgB,WAAkC,IAAI,sBAAsB;CAE5E,OAAgB;CAChB,KAAc;CACd;CAEA,cAAsB;EACpB,MAAM;EACN,KAAK,SAAS,OAAO,OAAO,CAAC,CAAC;EAC9B,WAAW,IAAI;CACjB;CAEA,YAAoB;EAClB,OAAO;CACT;CAEA,aAAa,WAA2B;EACtC,OAAO,IAAI,UAAU;CACvB;AACF;;;;;;;;;;;AAYA,SAAgB,sBAAsB,IAAmC;CACvE,IAAI,OAAO,sBACT,OAAO,sBAAsB;CAE/B,MAAM,IAAI,MACR,wFAAwF,qBAAqB,eAAe,GAAG,IACjI;AACF"}

package/dist/{planner-BBvwGy0f.mjs → planner-BDZolRbq.mjs}

@@ -2,7 +2,7 @@ import { t as parseSqliteDefault } from "./default-normalizer-CWKVYSxS.mjs";
 import { t as normalizeSqliteNativeType } from "./native-type-normalizer-HvkimyB8.mjs";
 import { c as buildColumnDefaultSql, l as buildColumnTypeSql, n as buildRecreateSummary, t as buildRecreatePostchecks, u as isInlineAutoincrementPrimaryKey } from "./tables-gB0XiFu8.mjs";
 import { a as DropColumnCall, i as DataTransformCall, l as RecreateTableCall, n as CreateIndexCall, o as DropIndexCall, r as CreateTableCall, s as DropTableCall, t as AddColumnCall } from "./op-factory-call-VBm-wu5R.mjs";
-import { n as CONTROL_TABLE_NAMES } from "./statement-builders-BiRmeyJM.mjs";
+import { n as CONTROL_TABLE_NAMES } from "./statement-builders-D1Q_i4sb.mjs";
 import { t as TypeScriptRenderableSqliteMigration } from "./planner-produced-sqlite-migration-DF8pnKfG.mjs";
 import { extractCodecControlHooks, planFieldEventOperations, plannerFailure } from "@prisma-next/family-sql/control";
 import { verifySqlSchema } from "@prisma-next/family-sql/schema-verify";
@@ -551,4 +551,4 @@ var SqliteMigrationPlanner = class {
 //#endregion
 export { createSqliteMigrationPlanner as n, SqliteMigrationPlanner as t };
 
-//# sourceMappingURL=planner-BBvwGy0f.mjs.map
+//# sourceMappingURL=planner-BDZolRbq.mjs.map

package/dist/{planner-BBvwGy0f.mjs.map → planner-BDZolRbq.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"planner-BBvwGy0f.mjs","names":[],"sources":["../src/core/migrations/planner-strategies.ts","../src/core/migrations/issue-planner.ts","../src/core/migrations/planner.ts"],"sourcesContent":["/**\n * SQLite migration strategies.\n *\n * Each strategy examines the issue list, consumes issues it handles, and\n * returns the `SqliteOpFactoryCall[]` to address them. The issue planner\n * runs each strategy in order and routes whatever's left through\n * `mapIssueToCall`.\n *\n * SQLite has no enums, no data-safe backfill, and no component-declared\n * database dependencies. The only recipe that needs strategy-level\n * multi-issue consumption is `recreateTable` (added in a later phase), which\n * absorbs type/nullability/default/constraint mismatches for a given table\n * into a single recreate operation.\n */\n\nimport type { Contract } from '@prisma-next/contract/types';\nimport type {\n  CodecControlHooks,\n  MigrationOperationClass,\n  MigrationOperationPolicy,\n} from '@prisma-next/family-sql/control';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type { SchemaIssue } from '@prisma-next/framework-components/control';\nimport { UNBOUND_NAMESPACE_ID } from '@prisma-next/framework-components/ir';\nimport type {\n  PostgresEnumStorageEntry,\n  SqlStorage,\n  StorageTable,\n  StorageTypeInstance,\n} from '@prisma-next/sql-contract/types';\nimport { defaultIndexName } from '@prisma-next/sql-schema-ir/naming';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\nimport { toTableSpec } from './issue-planner';\nimport { DataTransformCall, RecreateTableCall, type SqliteOpFactoryCall } from './op-factory-call';\nimport type { SqliteIndexSpec } from './operations/shared';\nimport { buildRecreatePostchecks, buildRecreateSummary } from './operations/tables';\n\nexport interface StrategyContext {\n  readonly toContract: Contract<SqlStorage>;\n  readonly fromContract: Contract<SqlStorage> | null;\n  readonly codecHooks: ReadonlyMap<string, CodecControlHooks>;\n  readonly storageTypes: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>;\n  readonly schema: SqlSchemaIR;\n  readonly policy: MigrationOperationPolicy;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n}\n\n/**\n * Look up a storage table by its explicit namespace coordinate. Returns\n * `undefined` when the namespace has no table by that name (or no such\n * namespace exists). Callers that get `undefined` MUST treat it as an\n * explicit conflict rather than silently falling back to a name-only\n * walk across namespaces — the SQLite target currently has a single\n * namespace, but this helper enforces the explicit-coordinate\n * discipline so a future multi-namespace SQLite shape inherits the\n * conflict-on-stale-coordinate behaviour the Postgres planner already\n * has.\n */\nexport function tableAt(\n  storage: SqlStorage,\n  namespaceId: string,\n  tableName: string,\n): StorageTable | undefined {\n  return storage.namespaces[namespaceId]?.tables[tableName] as StorageTable | undefined;\n}\n\n/**\n * Default namespace coordinate for an issue that does not carry one\n * explicitly. Hand-crafted unit-test issues fall back to `__unbound__`,\n * the only namespace any single-namespace contract carries —\n * verifier-emitted issues for legacy single-namespace contracts already\n * stamp this id explicitly. Typed structurally so issue variants\n * without a `namespaceId` slot flow through to the same fallback.\n */\nexport function resolveNamespaceIdForIssue(issue: { readonly namespaceId?: string }): string {\n  return issue.namespaceId ?? UNBOUND_NAMESPACE_ID;\n}\n\nexport type CallMigrationStrategy = (\n  issues: readonly SchemaIssue[],\n  context: StrategyContext,\n) =>\n  | {\n      kind: 'match';\n      issues: readonly SchemaIssue[];\n      calls: readonly SqliteOpFactoryCall[];\n      recipe?: boolean;\n    }\n  | { kind: 'no_match' };\n\n// ============================================================================\n// Recreate-table strategy\n// ============================================================================\n\nconst WIDENING_ISSUE_KINDS = new Set<SchemaIssue['kind']>(['default_mismatch', 'default_missing']);\n\nconst DESTRUCTIVE_ISSUE_KINDS = new Set<SchemaIssue['kind']>([\n  'extra_default',\n  'type_mismatch',\n  'primary_key_mismatch',\n  'foreign_key_mismatch',\n  'unique_constraint_mismatch',\n  'extra_foreign_key',\n  'extra_unique_constraint',\n  'extra_primary_key',\n]);\n\nfunction classifyIssue(issue: SchemaIssue): 'widening' | 'destructive' | null {\n  if (issue.kind === 'enum_values_changed') return null;\n  if (!issue.table) return null;\n  if (issue.kind === 'nullability_mismatch') {\n    // Relaxing (NOT NULL → nullable) is widening; tightening is destructive.\n    return issue.expected === 'true' ? 'widening' : 'destructive';\n  }\n  if (WIDENING_ISSUE_KINDS.has(issue.kind)) return 'widening';\n  if (DESTRUCTIVE_ISSUE_KINDS.has(issue.kind)) return 'destructive';\n  return null;\n}\n\n/**\n * Groups recreate-eligible issues by table, decides per-table operation class\n * (destructive wins over widening), and emits one `RecreateTableCall` per\n * table. Returns unchanged-or-smaller issue list — issues the strategy\n * consumed are removed so `mapIssueToCall` doesn't double-handle them.\n */\nexport const recreateTableStrategy: CallMigrationStrategy = (issues, ctx) => {\n  const byTable = new Map<\n    string,\n    { issues: SchemaIssue[]; hasDestructive: boolean; namespaceId: string }\n  >();\n  const consumed = new Set<SchemaIssue>();\n\n  for (const issue of issues) {\n    const cls = classifyIssue(issue);\n    if (!cls) continue;\n    if (issue.kind === 'enum_values_changed') continue;\n    if (!issue.table) continue;\n    const table = issue.table;\n    const entry = byTable.get(table);\n    if (entry) {\n      entry.issues.push(issue);\n      if (cls === 'destructive') entry.hasDestructive = true;\n    } else {\n      byTable.set(table, {\n        issues: [issue],\n        hasDestructive: cls === 'destructive',\n        namespaceId: resolveNamespaceIdForIssue(issue),\n      });\n    }\n    consumed.add(issue);\n  }\n\n  if (byTable.size === 0) return { kind: 'no_match' };\n\n  const calls: SqliteOpFactoryCall[] = [];\n  for (const [tableName, entry] of byTable) {\n    const contractTable = tableAt(ctx.toContract.storage, entry.namespaceId, tableName);\n    const schemaTable = ctx.schema.tables[tableName];\n    if (!contractTable || !schemaTable) continue;\n    const operationClass: MigrationOperationClass = entry.hasDestructive\n      ? 'destructive'\n      : 'widening';\n\n    // Flatten the contract table to a self-contained spec — the Call holds\n    // pre-rendered SQL fragments only, no `StorageColumn` or `storageTypes`.\n    const tableSpec = toTableSpec(contractTable, ctx.storageTypes);\n\n    const seenIndexColumnKeys = new Set<string>();\n    const indexes: SqliteIndexSpec[] = [];\n    for (const idx of contractTable.indexes) {\n      const key = idx.columns.join(',');\n      if (seenIndexColumnKeys.has(key)) continue;\n      seenIndexColumnKeys.add(key);\n      indexes.push({\n        name: idx.name ?? defaultIndexName(tableName, idx.columns),\n        columns: idx.columns,\n      });\n    }\n    for (const fk of contractTable.foreignKeys) {\n      if (fk.index === false) continue;\n      const key = fk.source.columns.join(',');\n      if (seenIndexColumnKeys.has(key)) continue;\n      seenIndexColumnKeys.add(key);\n      indexes.push({\n        name: defaultIndexName(tableName, fk.source.columns),\n        columns: fk.source.columns,\n      });\n    }\n\n    calls.push(\n      new RecreateTableCall({\n        tableName,\n        contractTable: tableSpec,\n        schemaColumnNames: Object.keys(schemaTable.columns),\n        indexes,\n        summary: buildRecreateSummary(tableName, entry.issues),\n        postchecks: buildRecreatePostchecks(tableName, entry.issues, tableSpec),\n        operationClass,\n      }),\n    );\n  }\n\n  return {\n    kind: 'match',\n    issues: issues.filter((i) => !consumed.has(i)),\n    calls,\n    recipe: true,\n  };\n};\n\n// ============================================================================\n// Nullability-tightening backfill strategy\n// ============================================================================\n\n/**\n * When the policy allows `'data'` and the contract tightens one or more\n * columns from nullable to NOT NULL, emit a `DataTransformCall` stub per\n * tightened column. The user fills the backfill `UPDATE` in the rendered\n * `migration.ts` before the subsequent `RecreateTableCall` copies data into\n * the tightened schema (whose `INSERT INTO temp SELECT … FROM old` would\n * otherwise fail at runtime if any `NULL`s remain).\n *\n * Does NOT consume the tightening issue — `recreateTableStrategy` still\n * needs it to produce the actual recreate that enforces the NOT NULL at\n * the schema level. The backfill op and the recreate op end up in the\n * recipe slot in strategy order (backfill first, recreate second), which\n * matches the required execution order.\n *\n * Mirrors Postgres's `nullableTighteningCallStrategy` / `'data'`-class\n * gating. When `'data'` is not in the policy (the default `db update` /\n * `db init` path), the strategy short-circuits and the recreate alone\n * runs with its current destructive-class gating — preserving today's\n * behavior where a tightening blows up at runtime if NULLs are present.\n */\nexport const nullabilityTighteningBackfillStrategy: CallMigrationStrategy = (issues, ctx) => {\n  if (!ctx.policy.allowedOperationClasses.includes('data')) {\n    return { kind: 'no_match' };\n  }\n\n  const calls: SqliteOpFactoryCall[] = [];\n  for (const issue of issues) {\n    if (issue.kind !== 'nullability_mismatch') continue;\n    if (!issue.table || !issue.column) continue;\n    // Tightening only: `expected === 'true'` means the contract wants the\n    // column nullable (relaxing from NOT NULL → nullable), which is safe and\n    // needs no backfill.\n    if (issue.expected === 'true') continue;\n\n    const namespaceId = resolveNamespaceIdForIssue(issue);\n    const column = tableAt(ctx.toContract.storage, namespaceId, issue.table)?.columns[issue.column];\n    if (!column || column.nullable === true) continue;\n\n    calls.push(\n      new DataTransformCall(\n        `data_migration.backfill-${issue.table}-${issue.column}`,\n        `Backfill NULLs in \"${issue.table}\".\"${issue.column}\" before NOT NULL tightening`,\n        issue.table,\n        issue.column,\n      ),\n    );\n  }\n\n  if (calls.length === 0) return { kind: 'no_match' };\n\n  return {\n    kind: 'match',\n    issues,\n    calls,\n    recipe: true,\n  };\n};\n\nexport const sqlitePlannerStrategies: readonly CallMigrationStrategy[] = [\n  nullabilityTighteningBackfillStrategy,\n  recreateTableStrategy,\n];\n","/**\n * SQLite migration issue planner.\n *\n * Takes schema issues (from `verifySqlSchema`) and emits migration IR\n * (`SqliteOpFactoryCall[]`). Strategies consume issues they recognize and\n * produce specialized call sequences (e.g. recreateTableStrategy absorbs\n * type/nullability/default/constraint mismatches into a single recreate op);\n * remaining issues flow through `mapIssueToCall` for the default case.\n */\n\nimport type { Contract } from '@prisma-next/contract/types';\nimport type {\n  CodecControlHooks,\n  MigrationOperationPolicy,\n  SqlPlannerConflict,\n  SqlPlannerConflictLocation,\n} from '@prisma-next/family-sql/control';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type { SchemaIssue } from '@prisma-next/framework-components/control';\nimport type {\n  PostgresEnumStorageEntry,\n  SqlStorage,\n  StorageColumn,\n  StorageTable,\n  StorageTypeInstance,\n} from '@prisma-next/sql-contract/types';\nimport { defaultIndexName } from '@prisma-next/sql-schema-ir/naming';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\nimport type { Result } from '@prisma-next/utils/result';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport {\n  AddColumnCall,\n  CreateIndexCall,\n  CreateTableCall,\n  DropColumnCall,\n  DropIndexCall,\n  DropTableCall,\n  type SqliteOpFactoryCall,\n} from './op-factory-call';\nimport type {\n  SqliteColumnSpec,\n  SqliteForeignKeySpec,\n  SqliteTableSpec,\n  SqliteUniqueSpec,\n} from './operations/shared';\nimport {\n  buildColumnDefaultSql,\n  buildColumnTypeSql,\n  isInlineAutoincrementPrimaryKey,\n} from './planner-ddl-builders';\nimport {\n  type CallMigrationStrategy,\n  resolveNamespaceIdForIssue,\n  type StrategyContext,\n  sqlitePlannerStrategies,\n  tableAt,\n} from './planner-strategies';\nimport { CONTROL_TABLE_NAMES } from './statement-builders';\n\nexport type { CallMigrationStrategy, StrategyContext };\n\n// ============================================================================\n// Issue kind ordering (dependency order)\n// ============================================================================\n\nconst ISSUE_KIND_ORDER: Record<string, number> = {\n  // Drops (reconciliation — clear the way for creates)\n  extra_foreign_key: 10,\n  extra_unique_constraint: 11,\n  extra_primary_key: 12,\n  extra_index: 13,\n  extra_default: 14,\n  extra_column: 15,\n  extra_table: 16,\n\n  // Tables before columns\n  missing_table: 20,\n\n  // Columns before constraints\n  missing_column: 30,\n\n  // Reconciliation alters (on existing objects)\n  type_mismatch: 40,\n  nullability_mismatch: 41,\n  default_missing: 42,\n  default_mismatch: 43,\n\n  // Constraints after columns exist\n  primary_key_mismatch: 50,\n  unique_constraint_mismatch: 51,\n  index_mismatch: 52,\n  foreign_key_mismatch: 60,\n};\n\nfunction issueOrder(issue: SchemaIssue): number {\n  return ISSUE_KIND_ORDER[issue.kind] ?? 99;\n}\n\nfunction issueKey(issue: SchemaIssue): string {\n  const table = 'table' in issue && typeof issue.table === 'string' ? issue.table : '';\n  const column = 'column' in issue && typeof issue.column === 'string' ? issue.column : '';\n  const name =\n    'indexOrConstraint' in issue && typeof issue.indexOrConstraint === 'string'\n      ? issue.indexOrConstraint\n      : '';\n  return `${table}\\u0000${column}\\u0000${name}`;\n}\n\n// ============================================================================\n// Conflict helpers\n// ============================================================================\n\nfunction issueConflict(\n  kind: SqlPlannerConflict['kind'],\n  summary: string,\n  location?: SqlPlannerConflict['location'],\n): SqlPlannerConflict {\n  return {\n    kind,\n    summary,\n    why: 'Use `migration new` to author a custom migration for this change.',\n    ...(location ? { location } : {}),\n  };\n}\n\nfunction conflictKindForIssue(issue: SchemaIssue): SqlPlannerConflict['kind'] {\n  switch (issue.kind) {\n    case 'type_mismatch':\n      return 'typeMismatch';\n    case 'nullability_mismatch':\n      return 'nullabilityConflict';\n    case 'primary_key_mismatch':\n    case 'unique_constraint_mismatch':\n    case 'index_mismatch':\n    case 'extra_primary_key':\n    case 'extra_unique_constraint':\n      return 'indexIncompatible';\n    case 'foreign_key_mismatch':\n    case 'extra_foreign_key':\n      return 'foreignKeyConflict';\n    default:\n      return 'missingButNonAdditive';\n  }\n}\n\nfunction issueLocation(issue: SchemaIssue): SqlPlannerConflictLocation | undefined {\n  if (issue.kind === 'enum_values_changed') return undefined;\n  const location: {\n    table?: string;\n    column?: string;\n    constraint?: string;\n  } = {};\n  if (issue.table) location.table = issue.table;\n  if (issue.column) location.column = issue.column;\n  if (issue.indexOrConstraint) location.constraint = issue.indexOrConstraint;\n  return Object.keys(location).length > 0 ? (location as SqlPlannerConflictLocation) : undefined;\n}\n\nfunction conflictForDisallowedCall(\n  call: SqliteOpFactoryCall,\n  allowed: readonly string[],\n): SqlPlannerConflict {\n  const summary = `Operation \"${call.label}\" requires class \"${call.operationClass}\", but policy allows only: ${allowed.join(', ')}`;\n  const location = locationForCall(call);\n  return {\n    kind: conflictKindForCall(call),\n    summary,\n    why: 'Use `migration new` to author a custom migration for this change.',\n    ...(location ? { location } : {}),\n  };\n}\n\nfunction conflictKindForCall(call: SqliteOpFactoryCall): SqlPlannerConflict['kind'] {\n  switch (call.factoryName) {\n    case 'createIndex':\n    case 'dropIndex':\n      return 'indexIncompatible';\n    default:\n      return 'missingButNonAdditive';\n  }\n}\n\nfunction locationForCall(call: SqliteOpFactoryCall): SqlPlannerConflictLocation | undefined {\n  const location: { table?: string; column?: string; index?: string } = {};\n  if ('tableName' in call) location.table = call.tableName;\n  if ('columnName' in call) location.column = call.columnName;\n  if ('indexName' in call) location.index = call.indexName;\n  return Object.keys(location).length > 0 ? (location as SqlPlannerConflictLocation) : undefined;\n}\n\nfunction isMissing(issue: SchemaIssue): boolean {\n  if (issue.kind === 'enum_values_changed') return false;\n  return issue.actual === undefined;\n}\n\n// ============================================================================\n// StorageTable / StorageColumn → flat SqliteTableSpec\n// ============================================================================\n\n/**\n * Resolves codec / `typeRef` / default rendering into a flat\n * `SqliteColumnSpec`. Mirrors Postgres's `toColumnSpec`. Once a column is\n * flattened, downstream Calls and operation factories never see\n * `StorageColumn` again — they deal in pre-rendered SQL fragments.\n */\nexport function toColumnSpec(\n  name: string,\n  column: StorageColumn,\n  storageTypes: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>,\n  inlineAutoincrementPrimaryKey = false,\n): SqliteColumnSpec {\n  const typeSql = buildColumnTypeSql(\n    column,\n    storageTypes as Record<string, StorageTypeInstance | PostgresEnumStorageEntry>,\n  );\n  const defaultSql = buildColumnDefaultSql(column.default);\n  return {\n    name,\n    typeSql,\n    defaultSql,\n    nullable: column.nullable,\n    ...(inlineAutoincrementPrimaryKey ? { inlineAutoincrementPrimaryKey: true } : {}),\n  };\n}\n\n/**\n * Flattens a `StorageTable` into a `SqliteTableSpec` ready for\n * `CreateTableCall` / `RecreateTableCall`. Sole-column AUTOINCREMENT\n * primary keys are detected here and marked on the column spec so the\n * renderer emits `INTEGER PRIMARY KEY AUTOINCREMENT` inline.\n */\nexport function toTableSpec(\n  table: StorageTable,\n  storageTypes: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>,\n): SqliteTableSpec {\n  const columns: SqliteColumnSpec[] = Object.entries(table.columns).map(([name, column]) =>\n    toColumnSpec(name, column, storageTypes, isInlineAutoincrementPrimaryKey(table, name)),\n  );\n  const uniques: SqliteUniqueSpec[] = table.uniques.map((u) => ({\n    columns: u.columns,\n    ...(u.name !== undefined ? { name: u.name } : {}),\n  }));\n  const foreignKeys: SqliteForeignKeySpec[] = table.foreignKeys.map((fk) => ({\n    columns: fk.source.columns,\n    references: { table: fk.target.tableName, columns: fk.target.columns },\n    constraint: fk.constraint !== false,\n    ...(fk.name !== undefined ? { name: fk.name } : {}),\n    ...(fk.onDelete !== undefined ? { onDelete: fk.onDelete } : {}),\n    ...(fk.onUpdate !== undefined ? { onUpdate: fk.onUpdate } : {}),\n  }));\n  return {\n    columns,\n    ...(table.primaryKey ? { primaryKey: { columns: table.primaryKey.columns } } : {}),\n    uniques,\n    foreignKeys,\n  };\n}\n\n// ============================================================================\n// Issue planner\n// ============================================================================\n\nexport interface IssuePlannerOptions {\n  readonly issues: readonly SchemaIssue[];\n  readonly toContract: Contract<SqlStorage>;\n  readonly fromContract: Contract<SqlStorage> | null;\n  readonly codecHooks: ReadonlyMap<string, CodecControlHooks>;\n  readonly storageTypes: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>;\n  readonly schema?: SqlSchemaIR;\n  readonly policy?: MigrationOperationPolicy;\n  readonly frameworkComponents?: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n  readonly strategies?: readonly CallMigrationStrategy[];\n}\n\nexport interface IssuePlannerValue {\n  readonly calls: readonly SqliteOpFactoryCall[];\n}\n\nconst DEFAULT_POLICY: MigrationOperationPolicy = {\n  allowedOperationClasses: ['additive', 'widening', 'destructive', 'data'],\n};\n\nfunction emptySchemaIR(): SqlSchemaIR {\n  return { tables: {} };\n}\n\n// ============================================================================\n// Issue → Call mapping (per-issue default path)\n// ============================================================================\n\nfunction mapIssueToCall(\n  issue: SchemaIssue,\n  ctx: StrategyContext,\n): Result<readonly SqliteOpFactoryCall[], SqlPlannerConflict> {\n  switch (issue.kind) {\n    case 'missing_table': {\n      if (!issue.table) {\n        return notOk(\n          issueConflict('unsupportedOperation', 'Missing table issue has no table name'),\n        );\n      }\n      const namespaceId = resolveNamespaceIdForIssue(issue);\n      const contractTable = tableAt(ctx.toContract.storage, namespaceId, issue.table);\n      if (!contractTable) {\n        return notOk(\n          issueConflict(\n            'unsupportedOperation',\n            `Table \"${issue.table}\" in namespace \"${namespaceId}\" reported missing but not found in destination contract`,\n          ),\n        );\n      }\n      const tableSpec = toTableSpec(contractTable, ctx.storageTypes);\n      const calls: SqliteOpFactoryCall[] = [new CreateTableCall(issue.table, tableSpec)];\n      const declaredIndexColumnKeys = new Set<string>();\n      for (const index of contractTable.indexes) {\n        const indexName = index.name ?? defaultIndexName(issue.table, index.columns);\n        declaredIndexColumnKeys.add(index.columns.join(','));\n        calls.push(new CreateIndexCall(issue.table, indexName, index.columns));\n      }\n      for (const fk of contractTable.foreignKeys) {\n        if (fk.index === false) continue;\n        if (declaredIndexColumnKeys.has(fk.source.columns.join(','))) continue;\n        const indexName = defaultIndexName(issue.table, fk.source.columns);\n        calls.push(new CreateIndexCall(issue.table, indexName, fk.source.columns));\n      }\n      return ok(calls);\n    }\n\n    case 'missing_column': {\n      if (!issue.table || !issue.column) {\n        return notOk(\n          issueConflict('unsupportedOperation', 'Missing column issue has no table/column name'),\n        );\n      }\n      const namespaceId = resolveNamespaceIdForIssue(issue);\n      const contractTable2 = tableAt(ctx.toContract.storage, namespaceId, issue.table);\n      const column = contractTable2?.columns[issue.column];\n      if (!column) {\n        return notOk(\n          issueConflict(\n            'unsupportedOperation',\n            `Column \"${issue.table}\".\"${issue.column}\" not in destination contract`,\n          ),\n        );\n      }\n      const contractTable = contractTable2;\n      const columnSpec = toColumnSpec(\n        issue.column,\n        column,\n        ctx.storageTypes,\n        contractTable ? isInlineAutoincrementPrimaryKey(contractTable, issue.column) : false,\n      );\n      return ok([new AddColumnCall(issue.table, columnSpec)]);\n    }\n\n    case 'index_mismatch': {\n      if (!issue.table) {\n        return notOk(issueConflict('indexIncompatible', 'Index issue has no table name'));\n      }\n      if (!isMissing(issue) || !issue.expected) {\n        return notOk(\n          issueConflict(\n            'indexIncompatible',\n            `Index on \"${issue.table}\" differs (expected: ${issue.expected}, actual: ${issue.actual})`,\n            { table: issue.table },\n          ),\n        );\n      }\n      const namespaceId = resolveNamespaceIdForIssue(issue);\n      const columns = issue.expected.split(', ');\n      const contractTable = tableAt(ctx.toContract.storage, namespaceId, issue.table);\n      if (!contractTable) {\n        return notOk(\n          issueConflict(\n            'unsupportedOperation',\n            `Table \"${issue.table}\" not found in destination contract`,\n          ),\n        );\n      }\n      const explicitIndex = contractTable.indexes.find(\n        (idx) => idx.columns.join(',') === columns.join(','),\n      );\n      const indexName = explicitIndex?.name ?? defaultIndexName(issue.table, columns);\n      return ok([new CreateIndexCall(issue.table, indexName, columns)]);\n    }\n\n    case 'extra_table': {\n      if (!issue.table) {\n        return notOk(issueConflict('unsupportedOperation', 'Extra table issue has no table name'));\n      }\n      // Runner-owned control tables must never be dropped.\n      if (CONTROL_TABLE_NAMES.has(issue.table)) return ok([]);\n      return ok([new DropTableCall(issue.table)]);\n    }\n\n    case 'extra_column': {\n      if (!issue.table || !issue.column) {\n        return notOk(\n          issueConflict('unsupportedOperation', 'Extra column issue has no table/column name'),\n        );\n      }\n      return ok([new DropColumnCall(issue.table, issue.column)]);\n    }\n\n    case 'extra_index': {\n      if (!issue.table || !issue.indexOrConstraint) {\n        return notOk(\n          issueConflict('unsupportedOperation', 'Extra index issue has no table/index name'),\n        );\n      }\n      return ok([new DropIndexCall(issue.table, issue.indexOrConstraint)]);\n    }\n\n    // SQLite has no enum types (capability `sql.enums: false`). The verifier\n    // should never emit `enum_values_changed` against a SQLite schema, so if\n    // we receive one it is a verifier bug — surface it as an explicit\n    // conflict rather than silently dropping it.\n    case 'enum_values_changed':\n      return notOk(\n        issueConflict(\n          'unsupportedOperation',\n          'Received enum_values_changed against a SQLite schema (sql.enums: false) — verifier bug',\n        ),\n      );\n\n    // Everything below is absorbed by recreateTableStrategy. If it falls\n    // through here, policy or context didn't allow the recreate — surface as\n    // a conflict.\n    case 'type_mismatch':\n    case 'nullability_mismatch':\n    case 'default_mismatch':\n    case 'default_missing':\n    case 'extra_default':\n    case 'primary_key_mismatch':\n    case 'unique_constraint_mismatch':\n    case 'foreign_key_mismatch':\n    case 'extra_foreign_key':\n    case 'extra_unique_constraint':\n    case 'extra_primary_key':\n      return notOk(issueConflict(conflictKindForIssue(issue), issue.message, issueLocation(issue)));\n\n    default:\n      return notOk(\n        issueConflict(\n          'unsupportedOperation',\n          `Unhandled issue kind: ${(issue as SchemaIssue).kind}`,\n        ),\n      );\n  }\n}\n\n// ============================================================================\n// Call categorization for final emission order\n// ============================================================================\n\ntype CallCategory =\n  | 'drop-column'\n  | 'drop-index'\n  | 'drop-table'\n  | 'create-table'\n  | 'add-column'\n  | 'create-index';\n\nfunction classifyCall(call: SqliteOpFactoryCall): CallCategory | null {\n  switch (call.factoryName) {\n    case 'createTable':\n      return 'create-table';\n    case 'addColumn':\n      return 'add-column';\n    case 'createIndex':\n      return 'create-index';\n    case 'dropColumn':\n      return 'drop-column';\n    case 'dropIndex':\n      return 'drop-index';\n    case 'dropTable':\n      return 'drop-table';\n    // recreateTable goes into the recipe slot; return null for bucketable.\n    case 'recreateTable':\n      return null;\n    default:\n      return null;\n  }\n}\n\n// ============================================================================\n// Top-level planIssues\n// ============================================================================\n\nexport function planIssues(\n  options: IssuePlannerOptions,\n): Result<IssuePlannerValue, readonly SqlPlannerConflict[]> {\n  const policyProvided = options.policy !== undefined;\n  const policy = options.policy ?? DEFAULT_POLICY;\n  const schema = options.schema ?? emptySchemaIR();\n  const frameworkComponents = options.frameworkComponents ?? [];\n\n  const context: StrategyContext = {\n    toContract: options.toContract,\n    fromContract: options.fromContract,\n    codecHooks: options.codecHooks,\n    storageTypes: options.storageTypes,\n    schema,\n    policy,\n    frameworkComponents,\n  };\n\n  const strategies = options.strategies ?? sqlitePlannerStrategies;\n\n  let remaining = options.issues;\n  const recipeCalls: SqliteOpFactoryCall[] = [];\n  const bucketableCalls: SqliteOpFactoryCall[] = [];\n\n  for (const strategy of strategies) {\n    const result = strategy(remaining, context);\n    if (result.kind === 'match') {\n      remaining = result.issues;\n      if (result.recipe) {\n        recipeCalls.push(...result.calls);\n      } else {\n        bucketableCalls.push(...result.calls);\n      }\n    }\n  }\n\n  const sorted = [...remaining].sort((a, b) => {\n    const kindDelta = issueOrder(a) - issueOrder(b);\n    if (kindDelta !== 0) return kindDelta;\n    const keyA = issueKey(a);\n    const keyB = issueKey(b);\n    return keyA < keyB ? -1 : keyA > keyB ? 1 : 0;\n  });\n\n  const defaultCalls: SqliteOpFactoryCall[] = [];\n  const conflicts: SqlPlannerConflict[] = [];\n\n  for (const issue of sorted) {\n    const result = mapIssueToCall(issue, context);\n    if (result.ok) {\n      defaultCalls.push(...result.value);\n    } else {\n      conflicts.push(result.failure);\n    }\n  }\n\n  // Policy gating for recipe + bucketable. Default-mapped calls for disallowed\n  // classes never get here (they're surfaced as per-issue conflicts above).\n  const allowed = policy.allowedOperationClasses;\n  let gatedRecipe = recipeCalls;\n  let gatedBucketable = bucketableCalls;\n  let gatedDefault = defaultCalls;\n  if (policyProvided) {\n    const sink = (acc: SqliteOpFactoryCall[]) => (call: SqliteOpFactoryCall) => {\n      if (allowed.includes(call.operationClass)) {\n        acc.push(call);\n        return;\n      }\n      conflicts.push(conflictForDisallowedCall(call, allowed));\n    };\n    const gatedRecipeBucket: SqliteOpFactoryCall[] = [];\n    const gatedBucketableBucket: SqliteOpFactoryCall[] = [];\n    const gatedDefaultBucket: SqliteOpFactoryCall[] = [];\n    recipeCalls.forEach(sink(gatedRecipeBucket));\n    bucketableCalls.forEach(sink(gatedBucketableBucket));\n    defaultCalls.forEach(sink(gatedDefaultBucket));\n    gatedRecipe = gatedRecipeBucket;\n    gatedBucketable = gatedBucketableBucket;\n    gatedDefault = gatedDefaultBucket;\n  }\n\n  if (conflicts.length > 0) {\n    return notOk(conflicts);\n  }\n\n  // Final emission order matches the current monolithic planner:\n  //   create-table → add-column → create-index → recreate → drop-column → drop-index → drop-table\n  const combined = [...gatedDefault, ...gatedBucketable];\n  const byCategory = (cat: CallCategory) => combined.filter((c) => classifyCall(c) === cat);\n\n  const calls: SqliteOpFactoryCall[] = [\n    ...byCategory('create-table'),\n    ...byCategory('add-column'),\n    ...byCategory('create-index'),\n    ...gatedRecipe,\n    ...byCategory('drop-column'),\n    ...byCategory('drop-index'),\n    ...byCategory('drop-table'),\n  ];\n\n  return ok({ calls });\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type {\n  MigrationOperationPolicy,\n  SqlMigrationPlanner,\n  SqlMigrationPlannerPlanOptions,\n  SqlPlannerFailureResult,\n} from '@prisma-next/family-sql/control';\nimport {\n  extractCodecControlHooks,\n  planFieldEventOperations,\n  plannerFailure,\n} from '@prisma-next/family-sql/control';\nimport { verifySqlSchema } from '@prisma-next/family-sql/schema-verify';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  MigrationPlanner,\n  MigrationScaffoldContext,\n  SchemaIssue,\n} from '@prisma-next/framework-components/control';\nimport { parseSqliteDefault } from '../default-normalizer';\nimport { normalizeSqliteNativeType } from '../native-type-normalizer';\nimport { planIssues } from './issue-planner';\nimport {\n  type SqliteMigrationDestinationInfo,\n  TypeScriptRenderableSqliteMigration,\n} from './planner-produced-sqlite-migration';\nimport { sqlitePlannerStrategies } from './planner-strategies';\nimport type { SqlitePlanTargetDetails } from './planner-target-details';\n\nexport function createSqliteMigrationPlanner(): SqliteMigrationPlanner {\n  return new SqliteMigrationPlanner();\n}\n\nexport type SqlitePlanResult =\n  | { readonly kind: 'success'; readonly plan: TypeScriptRenderableSqliteMigration }\n  | SqlPlannerFailureResult;\n\n/**\n * SQLite migration planner — a thin wrapper over `planIssues`.\n *\n * `plan()` verifies the live schema against the target contract (producing\n * `SchemaIssue[]`) and delegates to `planIssues` with the registered\n * strategies. Strategies absorb groups of related issues into composite\n * recipes (e.g. recreating a table to apply type/nullability/default/\n * constraint changes at once); anything not absorbed by a strategy flows\n * through `mapIssueToCall` in the issue planner as a one-off call.\n *\n * FK-backing indexes are surfaced by `verifySqlSchema`'s index expansion\n * (see `verify-sql-schema.ts:459-469`), so `mapIssueToCall` handles them\n * uniformly alongside user-declared indexes.\n */\nexport class SqliteMigrationPlanner\n  implements SqlMigrationPlanner<SqlitePlanTargetDetails>, MigrationPlanner<'sql', 'sqlite'>\n{\n  plan(options: {\n    readonly contract: unknown;\n    readonly schema: unknown;\n    readonly policy: MigrationOperationPolicy;\n    /**\n     * The \"from\" contract (state the planner assumes the database starts at),\n     * or `null` for reconciliation flows.\n     *\n     * Typed as the framework `Contract | null` to satisfy the\n     * `MigrationPlanner` interface contract; `planSql` narrows to the SQL\n     * shape via `SqlMigrationPlannerPlanOptions`. Used to populate\n     * `describe().from` on the produced plan as\n     * `fromContract?.storage.storageHash ?? null`.\n     */\n    readonly fromContract: Contract | null;\n    readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n    /**\n     * Contract space this plan applies to. Stamped onto the produced\n     * {@link TypeScriptRenderableSqliteMigration.spaceId} so the runner keys\n     * the marker row by the right space.\n     */\n    readonly spaceId: string;\n  }): SqlitePlanResult {\n    return this.planSql(options as SqlMigrationPlannerPlanOptions);\n  }\n\n  emptyMigration(\n    context: MigrationScaffoldContext,\n    spaceId: string,\n  ): TypeScriptRenderableSqliteMigration {\n    return new TypeScriptRenderableSqliteMigration(\n      [],\n      {\n        from: context.fromHash,\n        to: context.toHash,\n      },\n      spaceId,\n    );\n  }\n\n  private planSql(options: SqlMigrationPlannerPlanOptions): SqlitePlanResult {\n    const policyResult = this.ensureAdditivePolicy(options.policy);\n    if (policyResult) return policyResult;\n\n    const schemaIssues = this.collectSchemaIssues(options);\n    const codecHooks = extractCodecControlHooks(options.frameworkComponents);\n    const storageTypes = options.contract.storage.types ?? {};\n\n    const result = planIssues({\n      issues: schemaIssues,\n      toContract: options.contract,\n      fromContract: options.fromContract,\n      codecHooks,\n      storageTypes,\n      schema: options.schema,\n      policy: options.policy,\n      frameworkComponents: options.frameworkComponents,\n      strategies: sqlitePlannerStrategies,\n    });\n\n    if (!result.ok) {\n      return plannerFailure(result.failure);\n    }\n\n    // Codec lifecycle hook (T2.2): inline `onFieldEvent`-emitted ops after\n    // structural DDL. Sub-spec § 5 fixes the ordering as\n    // `structural → added → dropped → altered`, with within-group sorting by\n    // `(tableName, fieldName)` deterministic for byte-stable re-emits.\n    // Hook fires only at the application emitter — extension-space planning\n    // (M2 R2) never reaches this helper.\n    const fieldEventOps = planFieldEventOperations({\n      priorContract: options.fromContract,\n      newContract: options.contract,\n      codecHooks,\n    });\n    // Codec-emitted calls already conform to `OpFactoryCall` — render +\n    // toOp + importRequirements ride directly through the same emit path\n    // as structural ops, no `RawSqlCall` wrap.\n    const calls = [...result.value.calls, ...fieldEventOps];\n\n    const destination: SqliteMigrationDestinationInfo = {\n      storageHash: options.contract.storage.storageHash,\n      ...(options.contract.profileHash !== undefined\n        ? { profileHash: options.contract.profileHash }\n        : {}),\n    };\n\n    return {\n      kind: 'success' as const,\n      plan: new TypeScriptRenderableSqliteMigration(\n        calls,\n        {\n          from: options.fromContract?.storage.storageHash ?? null,\n          to: options.contract.storage.storageHash,\n        },\n        options.spaceId,\n        destination,\n      ),\n    };\n  }\n\n  private ensureAdditivePolicy(policy: MigrationOperationPolicy): SqlPlannerFailureResult | null {\n    if (!policy.allowedOperationClasses.includes('additive')) {\n      return plannerFailure([\n        {\n          kind: 'unsupportedOperation',\n          summary: 'Migration planner requires additive operations be allowed',\n          why: 'The planner requires the \"additive\" operation class to be allowed in the policy.',\n        },\n      ]);\n    }\n    return null;\n  }\n\n  private collectSchemaIssues(options: SqlMigrationPlannerPlanOptions): readonly SchemaIssue[] {\n    const allowed = options.policy.allowedOperationClasses;\n    const strict = allowed.includes('widening') || allowed.includes('destructive');\n    const verifyResult = verifySqlSchema({\n      contract: options.contract,\n      schema: options.schema,\n      strict,\n      typeMetadataRegistry: new Map(),\n      frameworkComponents: options.frameworkComponents,\n      normalizeDefault: parseSqliteDefault,\n      normalizeNativeType: normalizeSqliteNativeType,\n    });\n    return verifyResult.schema.issues;\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;AA0DA,SAAgB,QACd,SACA,aACA,WAC0B;CAC1B,OAAO,QAAQ,WAAW,cAAc,OAAO;AACjD;;;;;;;;;AAUA,SAAgB,2BAA2B,OAAkD;CAC3F,OAAO,MAAM,eAAe;AAC9B;AAkBA,MAAM,uBAAuB,IAAI,IAAyB,CAAC,oBAAoB,iBAAiB,CAAC;AAEjG,MAAM,0BAA0B,IAAI,IAAyB;CAC3D;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;AAED,SAAS,cAAc,OAAuD;CAC5E,IAAI,MAAM,SAAS,uBAAuB,OAAO;CACjD,IAAI,CAAC,MAAM,OAAO,OAAO;CACzB,IAAI,MAAM,SAAS,wBAEjB,OAAO,MAAM,aAAa,SAAS,aAAa;CAElD,IAAI,qBAAqB,IAAI,MAAM,IAAI,GAAG,OAAO;CACjD,IAAI,wBAAwB,IAAI,MAAM,IAAI,GAAG,OAAO;CACpD,OAAO;AACT;;;;;;;AAQA,MAAa,yBAAgD,QAAQ,QAAQ;CAC3E,MAAM,0BAAU,IAAI,IAGlB;CACF,MAAM,2BAAW,IAAI,IAAiB;CAEtC,KAAK,MAAM,SAAS,QAAQ;EAC1B,MAAM,MAAM,cAAc,KAAK;EAC/B,IAAI,CAAC,KAAK;EACV,IAAI,MAAM,SAAS,uBAAuB;EAC1C,IAAI,CAAC,MAAM,OAAO;EAClB,MAAM,QAAQ,MAAM;EACpB,MAAM,QAAQ,QAAQ,IAAI,KAAK;EAC/B,IAAI,OAAO;GACT,MAAM,OAAO,KAAK,KAAK;GACvB,IAAI,QAAQ,eAAe,MAAM,iBAAiB;EACpD,OACE,QAAQ,IAAI,OAAO;GACjB,QAAQ,CAAC,KAAK;GACd,gBAAgB,QAAQ;GACxB,aAAa,2BAA2B,KAAK;EAC/C,CAAC;EAEH,SAAS,IAAI,KAAK;CACpB;CAEA,IAAI,QAAQ,SAAS,GAAG,OAAO,EAAE,MAAM,WAAW;CAElD,MAAM,QAA+B,CAAC;CACtC,KAAK,MAAM,CAAC,WAAW,UAAU,SAAS;EACxC,MAAM,gBAAgB,QAAQ,IAAI,WAAW,SAAS,MAAM,aAAa,SAAS;EAClF,MAAM,cAAc,IAAI,OAAO,OAAO;EACtC,IAAI,CAAC,iBAAiB,CAAC,aAAa;EACpC,MAAM,iBAA0C,MAAM,iBAClD,gBACA;EAIJ,MAAM,YAAY,YAAY,eAAe,IAAI,YAAY;EAE7D,MAAM,sCAAsB,IAAI,IAAY;EAC5C,MAAM,UAA6B,CAAC;EACpC,KAAK,MAAM,OAAO,cAAc,SAAS;GACvC,MAAM,MAAM,IAAI,QAAQ,KAAK,GAAG;GAChC,IAAI,oBAAoB,IAAI,GAAG,GAAG;GAClC,oBAAoB,IAAI,GAAG;GAC3B,QAAQ,KAAK;IACX,MAAM,IAAI,QAAQ,iBAAiB,WAAW,IAAI,OAAO;IACzD,SAAS,IAAI;GACf,CAAC;EACH;EACA,KAAK,MAAM,MAAM,cAAc,aAAa;GAC1C,IAAI,GAAG,UAAU,OAAO;GACxB,MAAM,MAAM,GAAG,OAAO,QAAQ,KAAK,GAAG;GACtC,IAAI,oBAAoB,IAAI,GAAG,GAAG;GAClC,oBAAoB,IAAI,GAAG;GAC3B,QAAQ,KAAK;IACX,MAAM,iBAAiB,WAAW,GAAG,OAAO,OAAO;IACnD,SAAS,GAAG,OAAO;GACrB,CAAC;EACH;EAEA,MAAM,KACJ,IAAI,kBAAkB;GACpB;GACA,eAAe;GACf,mBAAmB,OAAO,KAAK,YAAY,OAAO;GAClD;GACA,SAAS,qBAAqB,WAAW,MAAM,MAAM;GACrD,YAAY,wBAAwB,WAAW,MAAM,QAAQ,SAAS;GACtE;EACF,CAAC,CACH;CACF;CAEA,OAAO;EACL,MAAM;EACN,QAAQ,OAAO,QAAQ,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC;EAC7C;EACA,QAAQ;CACV;AACF;;;;;;;;;;;;;;;;;;;;;AA0BA,MAAa,yCAAgE,QAAQ,QAAQ;CAC3F,IAAI,CAAC,IAAI,OAAO,wBAAwB,SAAS,MAAM,GACrD,OAAO,EAAE,MAAM,WAAW;CAG5B,MAAM,QAA+B,CAAC;CACtC,KAAK,MAAM,SAAS,QAAQ;EAC1B,IAAI,MAAM,SAAS,wBAAwB;EAC3C,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QAAQ;EAInC,IAAI,MAAM,aAAa,QAAQ;EAE/B,MAAM,cAAc,2BAA2B,KAAK;EACpD,MAAM,SAAS,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,KAAK,GAAG,QAAQ,MAAM;EACxF,IAAI,CAAC,UAAU,OAAO,aAAa,MAAM;EAEzC,MAAM,KACJ,IAAI,kBACF,2BAA2B,MAAM,MAAM,GAAG,MAAM,UAChD,sBAAsB,MAAM,MAAM,KAAK,MAAM,OAAO,+BACpD,MAAM,OACN,MAAM,MACR,CACF;CACF;CAEA,IAAI,MAAM,WAAW,GAAG,OAAO,EAAE,MAAM,WAAW;CAElD,OAAO;EACL,MAAM;EACN;EACA;EACA,QAAQ;CACV;AACF;AAEA,MAAa,0BAA4D,CACvE,uCACA,qBACF;;;AClNA,MAAM,mBAA2C;CAE/C,mBAAmB;CACnB,yBAAyB;CACzB,mBAAmB;CACnB,aAAa;CACb,eAAe;CACf,cAAc;CACd,aAAa;CAGb,eAAe;CAGf,gBAAgB;CAGhB,eAAe;CACf,sBAAsB;CACtB,iBAAiB;CACjB,kBAAkB;CAGlB,sBAAsB;CACtB,4BAA4B;CAC5B,gBAAgB;CAChB,sBAAsB;AACxB;AAEA,SAAS,WAAW,OAA4B;CAC9C,OAAO,iBAAiB,MAAM,SAAS;AACzC;AAEA,SAAS,SAAS,OAA4B;CAO5C,OAAO,GANO,WAAW,SAAS,OAAO,MAAM,UAAU,WAAW,MAAM,QAAQ,GAMlE,QALD,YAAY,SAAS,OAAO,MAAM,WAAW,WAAW,MAAM,SAAS,GAKvD,QAH7B,uBAAuB,SAAS,OAAO,MAAM,sBAAsB,WAC/D,MAAM,oBACN;AAER;AAMA,SAAS,cACP,MACA,SACA,UACoB;CACpB,OAAO;EACL;EACA;EACA,KAAK;EACL,GAAI,WAAW,EAAE,SAAS,IAAI,CAAC;CACjC;AACF;AAEA,SAAS,qBAAqB,OAAgD;CAC5E,QAAQ,MAAM,MAAd;EACE,KAAK,iBACH,OAAO;EACT,KAAK,wBACH,OAAO;EACT,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,2BACH,OAAO;EACT,KAAK;EACL,KAAK,qBACH,OAAO;EACT,SACE,OAAO;CACX;AACF;AAEA,SAAS,cAAc,OAA4D;CACjF,IAAI,MAAM,SAAS,uBAAuB,OAAO,KAAA;CACjD,MAAM,WAIF,CAAC;CACL,IAAI,MAAM,OAAO,SAAS,QAAQ,MAAM;CACxC,IAAI,MAAM,QAAQ,SAAS,SAAS,MAAM;CAC1C,IAAI,MAAM,mBAAmB,SAAS,aAAa,MAAM;CACzD,OAAO,OAAO,KAAK,QAAQ,EAAE,SAAS,IAAK,WAA0C,KAAA;AACvF;AAEA,SAAS,0BACP,MACA,SACoB;CACpB,MAAM,UAAU,cAAc,KAAK,MAAM,oBAAoB,KAAK,eAAe,6BAA6B,QAAQ,KAAK,IAAI;CAC/H,MAAM,WAAW,gBAAgB,IAAI;CACrC,OAAO;EACL,MAAM,oBAAoB,IAAI;EAC9B;EACA,KAAK;EACL,GAAI,WAAW,EAAE,SAAS,IAAI,CAAC;CACjC;AACF;AAEA,SAAS,oBAAoB,MAAuD;CAClF,QAAQ,KAAK,aAAb;EACE,KAAK;EACL,KAAK,aACH,OAAO;EACT,SACE,OAAO;CACX;AACF;AAEA,SAAS,gBAAgB,MAAmE;CAC1F,MAAM,WAAgE,CAAC;CACvE,IAAI,eAAe,MAAM,SAAS,QAAQ,KAAK;CAC/C,IAAI,gBAAgB,MAAM,SAAS,SAAS,KAAK;CACjD,IAAI,eAAe,MAAM,SAAS,QAAQ,KAAK;CAC/C,OAAO,OAAO,KAAK,QAAQ,EAAE,SAAS,IAAK,WAA0C,KAAA;AACvF;AAEA,SAAS,UAAU,OAA6B;CAC9C,IAAI,MAAM,SAAS,uBAAuB,OAAO;CACjD,OAAO,MAAM,WAAW,KAAA;AAC1B;;;;;;;AAYA,SAAgB,aACd,MACA,QACA,cACA,gCAAgC,OACd;CAMlB,OAAO;EACL;EACA,SAPc,mBACd,QACA,YAKM;EACN,YAJiB,sBAAsB,OAAO,OAIrC;EACT,UAAU,OAAO;EACjB,GAAI,gCAAgC,EAAE,+BAA+B,KAAK,IAAI,CAAC;CACjF;AACF;;;;;;;AAQA,SAAgB,YACd,OACA,cACiB;CACjB,MAAM,UAA8B,OAAO,QAAQ,MAAM,OAAO,EAAE,KAAK,CAAC,MAAM,YAC5E,aAAa,MAAM,QAAQ,cAAc,gCAAgC,OAAO,IAAI,CAAC,CACvF;CACA,MAAM,UAA8B,MAAM,QAAQ,KAAK,OAAO;EAC5D,SAAS,EAAE;EACX,GAAI,EAAE,SAAS,KAAA,IAAY,EAAE,MAAM,EAAE,KAAK,IAAI,CAAC;CACjD,EAAE;CACF,MAAM,cAAsC,MAAM,YAAY,KAAK,QAAQ;EACzE,SAAS,GAAG,OAAO;EACnB,YAAY;GAAE,OAAO,GAAG,OAAO;GAAW,SAAS,GAAG,OAAO;EAAQ;EACrE,YAAY,GAAG,eAAe;EAC9B,GAAI,GAAG,SAAS,KAAA,IAAY,EAAE,MAAM,GAAG,KAAK,IAAI,CAAC;EACjD,GAAI,GAAG,aAAa,KAAA,IAAY,EAAE,UAAU,GAAG,SAAS,IAAI,CAAC;EAC7D,GAAI,GAAG,aAAa,KAAA,IAAY,EAAE,UAAU,GAAG,SAAS,IAAI,CAAC;CAC/D,EAAE;CACF,OAAO;EACL;EACA,GAAI,MAAM,aAAa,EAAE,YAAY,EAAE,SAAS,MAAM,WAAW,QAAQ,EAAE,IAAI,CAAC;EAChF;EACA;CACF;AACF;AAsBA,MAAM,iBAA2C,EAC/C,yBAAyB;CAAC;CAAY;CAAY;CAAe;AAAM,EACzE;AAEA,SAAS,gBAA6B;CACpC,OAAO,EAAE,QAAQ,CAAC,EAAE;AACtB;AAMA,SAAS,eACP,OACA,KAC4D;CAC5D,QAAQ,MAAM,MAAd;EACE,KAAK,iBAAiB;GACpB,IAAI,CAAC,MAAM,OACT,OAAO,MACL,cAAc,wBAAwB,uCAAuC,CAC/E;GAEF,MAAM,cAAc,2BAA2B,KAAK;GACpD,MAAM,gBAAgB,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,KAAK;GAC9E,IAAI,CAAC,eACH,OAAO,MACL,cACE,wBACA,UAAU,MAAM,MAAM,kBAAkB,YAAY,yDACtD,CACF;GAEF,MAAM,YAAY,YAAY,eAAe,IAAI,YAAY;GAC7D,MAAM,QAA+B,CAAC,IAAI,gBAAgB,MAAM,OAAO,SAAS,CAAC;GACjF,MAAM,0CAA0B,IAAI,IAAY;GAChD,KAAK,MAAM,SAAS,cAAc,SAAS;IACzC,MAAM,YAAY,MAAM,QAAQ,iBAAiB,MAAM,OAAO,MAAM,OAAO;IAC3E,wBAAwB,IAAI,MAAM,QAAQ,KAAK,GAAG,CAAC;IACnD,MAAM,KAAK,IAAI,gBAAgB,MAAM,OAAO,WAAW,MAAM,OAAO,CAAC;GACvE;GACA,KAAK,MAAM,MAAM,cAAc,aAAa;IAC1C,IAAI,GAAG,UAAU,OAAO;IACxB,IAAI,wBAAwB,IAAI,GAAG,OAAO,QAAQ,KAAK,GAAG,CAAC,GAAG;IAC9D,MAAM,YAAY,iBAAiB,MAAM,OAAO,GAAG,OAAO,OAAO;IACjE,MAAM,KAAK,IAAI,gBAAgB,MAAM,OAAO,WAAW,GAAG,OAAO,OAAO,CAAC;GAC3E;GACA,OAAO,GAAG,KAAK;EACjB;EAEA,KAAK,kBAAkB;GACrB,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QACzB,OAAO,MACL,cAAc,wBAAwB,+CAA+C,CACvF;GAEF,MAAM,cAAc,2BAA2B,KAAK;GACpD,MAAM,iBAAiB,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,KAAK;GAC/E,MAAM,SAAS,gBAAgB,QAAQ,MAAM;GAC7C,IAAI,CAAC,QACH,OAAO,MACL,cACE,wBACA,WAAW,MAAM,MAAM,KAAK,MAAM,OAAO,8BAC3C,CACF;GAEF,MAAM,gBAAgB;GACtB,MAAM,aAAa,aACjB,MAAM,QACN,QACA,IAAI,cACJ,gBAAgB,gCAAgC,eAAe,MAAM,MAAM,IAAI,KACjF;GACA,OAAO,GAAG,CAAC,IAAI,cAAc,MAAM,OAAO,UAAU,CAAC,CAAC;EACxD;EAEA,KAAK,kBAAkB;GACrB,IAAI,CAAC,MAAM,OACT,OAAO,MAAM,cAAc,qBAAqB,+BAA+B,CAAC;GAElF,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,MAAM,UAC9B,OAAO,MACL,cACE,qBACA,aAAa,MAAM,MAAM,uBAAuB,MAAM,SAAS,YAAY,MAAM,OAAO,IACxF,EAAE,OAAO,MAAM,MAAM,CACvB,CACF;GAEF,MAAM,cAAc,2BAA2B,KAAK;GACpD,MAAM,UAAU,MAAM,SAAS,MAAM,IAAI;GACzC,MAAM,gBAAgB,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,KAAK;GAC9E,IAAI,CAAC,eACH,OAAO,MACL,cACE,wBACA,UAAU,MAAM,MAAM,oCACxB,CACF;GAKF,MAAM,YAHgB,cAAc,QAAQ,MACzC,QAAQ,IAAI,QAAQ,KAAK,GAAG,MAAM,QAAQ,KAAK,GAAG,CAEvB,GAAG,QAAQ,iBAAiB,MAAM,OAAO,OAAO;GAC9E,OAAO,GAAG,CAAC,IAAI,gBAAgB,MAAM,OAAO,WAAW,OAAO,CAAC,CAAC;EAClE;EAEA,KAAK;GACH,IAAI,CAAC,MAAM,OACT,OAAO,MAAM,cAAc,wBAAwB,qCAAqC,CAAC;GAG3F,IAAI,oBAAoB,IAAI,MAAM,KAAK,GAAG,OAAO,GAAG,CAAC,CAAC;GACtD,OAAO,GAAG,CAAC,IAAI,cAAc,MAAM,KAAK,CAAC,CAAC;EAG5C,KAAK;GACH,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QACzB,OAAO,MACL,cAAc,wBAAwB,6CAA6C,CACrF;GAEF,OAAO,GAAG,CAAC,IAAI,eAAe,MAAM,OAAO,MAAM,MAAM,CAAC,CAAC;EAG3D,KAAK;GACH,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,mBACzB,OAAO,MACL,cAAc,wBAAwB,2CAA2C,CACnF;GAEF,OAAO,GAAG,CAAC,IAAI,cAAc,MAAM,OAAO,MAAM,iBAAiB,CAAC,CAAC;EAOrE,KAAK,uBACH,OAAO,MACL,cACE,wBACA,wFACF,CACF;EAKF,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,qBACH,OAAO,MAAM,cAAc,qBAAqB,KAAK,GAAG,MAAM,SAAS,cAAc,KAAK,CAAC,CAAC;EAE9F,SACE,OAAO,MACL,cACE,wBACA,yBAA0B,MAAsB,MAClD,CACF;CACJ;AACF;AAcA,SAAS,aAAa,MAAgD;CACpE,QAAQ,KAAK,aAAb;EACE,KAAK,eACH,OAAO;EACT,KAAK,aACH,OAAO;EACT,KAAK,eACH,OAAO;EACT,KAAK,cACH,OAAO;EACT,KAAK,aACH,OAAO;EACT,KAAK,aACH,OAAO;EAET,KAAK,iBACH,OAAO;EACT,SACE,OAAO;CACX;AACF;AAMA,SAAgB,WACd,SAC0D;CAC1D,MAAM,iBAAiB,QAAQ,WAAW,KAAA;CAC1C,MAAM,SAAS,QAAQ,UAAU;CACjC,MAAM,SAAS,QAAQ,UAAU,cAAc;CAC/C,MAAM,sBAAsB,QAAQ,uBAAuB,CAAC;CAE5D,MAAM,UAA2B;EAC/B,YAAY,QAAQ;EACpB,cAAc,QAAQ;EACtB,YAAY,QAAQ;EACpB,cAAc,QAAQ;EACtB;EACA;EACA;CACF;CAEA,MAAM,aAAa,QAAQ,cAAc;CAEzC,IAAI,YAAY,QAAQ;CACxB,MAAM,cAAqC,CAAC;CAC5C,MAAM,kBAAyC,CAAC;CAEhD,KAAK,MAAM,YAAY,YAAY;EACjC,MAAM,SAAS,SAAS,WAAW,OAAO;EAC1C,IAAI,OAAO,SAAS,SAAS;GAC3B,YAAY,OAAO;GACnB,IAAI,OAAO,QACT,YAAY,KAAK,GAAG,OAAO,KAAK;QAEhC,gBAAgB,KAAK,GAAG,OAAO,KAAK;EAExC;CACF;CAEA,MAAM,SAAS,CAAC,GAAG,SAAS,EAAE,MAAM,GAAG,MAAM;EAC3C,MAAM,YAAY,WAAW,CAAC,IAAI,WAAW,CAAC;EAC9C,IAAI,cAAc,GAAG,OAAO;EAC5B,MAAM,OAAO,SAAS,CAAC;EACvB,MAAM,OAAO,SAAS,CAAC;EACvB,OAAO,OAAO,OAAO,KAAK,OAAO,OAAO,IAAI;CAC9C,CAAC;CAED,MAAM,eAAsC,CAAC;CAC7C,MAAM,YAAkC,CAAC;CAEzC,KAAK,MAAM,SAAS,QAAQ;EAC1B,MAAM,SAAS,eAAe,OAAO,OAAO;EAC5C,IAAI,OAAO,IACT,aAAa,KAAK,GAAG,OAAO,KAAK;OAEjC,UAAU,KAAK,OAAO,OAAO;CAEjC;CAIA,MAAM,UAAU,OAAO;CACvB,IAAI,cAAc;CAClB,IAAI,kBAAkB;CACtB,IAAI,eAAe;CACnB,IAAI,gBAAgB;EAClB,MAAM,QAAQ,SAAgC,SAA8B;GAC1E,IAAI,QAAQ,SAAS,KAAK,cAAc,GAAG;IACzC,IAAI,KAAK,IAAI;IACb;GACF;GACA,UAAU,KAAK,0BAA0B,MAAM,OAAO,CAAC;EACzD;EACA,MAAM,oBAA2C,CAAC;EAClD,MAAM,wBAA+C,CAAC;EACtD,MAAM,qBAA4C,CAAC;EACnD,YAAY,QAAQ,KAAK,iBAAiB,CAAC;EAC3C,gBAAgB,QAAQ,KAAK,qBAAqB,CAAC;EACnD,aAAa,QAAQ,KAAK,kBAAkB,CAAC;EAC7C,cAAc;EACd,kBAAkB;EAClB,eAAe;CACjB;CAEA,IAAI,UAAU,SAAS,GACrB,OAAO,MAAM,SAAS;CAKxB,MAAM,WAAW,CAAC,GAAG,cAAc,GAAG,eAAe;CACrD,MAAM,cAAc,QAAsB,SAAS,QAAQ,MAAM,aAAa,CAAC,MAAM,GAAG;CAYxF,OAAO,GAAG,EAAE,OAAA;EATV,GAAG,WAAW,cAAc;EAC5B,GAAG,WAAW,YAAY;EAC1B,GAAG,WAAW,cAAc;EAC5B,GAAG;EACH,GAAG,WAAW,aAAa;EAC3B,GAAG,WAAW,YAAY;EAC1B,GAAG,WAAW,YAAY;CAGZ,EAAE,CAAC;AACrB;;;ACjjBA,SAAgB,+BAAuD;CACrE,OAAO,IAAI,uBAAuB;AACpC;;;;;;;;;;;;;;;AAoBA,IAAa,yBAAb,MAEA;CACE,KAAK,SAsBgB;EACnB,OAAO,KAAK,QAAQ,OAAyC;CAC/D;CAEA,eACE,SACA,SACqC;EACrC,OAAO,IAAI,oCACT,CAAC,GACD;GACE,MAAM,QAAQ;GACd,IAAI,QAAQ;EACd,GACA,OACF;CACF;CAEA,QAAgB,SAA2D;EACzE,MAAM,eAAe,KAAK,qBAAqB,QAAQ,MAAM;EAC7D,IAAI,cAAc,OAAO;EAEzB,MAAM,eAAe,KAAK,oBAAoB,OAAO;EACrD,MAAM,aAAa,yBAAyB,QAAQ,mBAAmB;EACvE,MAAM,eAAe,QAAQ,SAAS,QAAQ,SAAS,CAAC;EAExD,MAAM,SAAS,WAAW;GACxB,QAAQ;GACR,YAAY,QAAQ;GACpB,cAAc,QAAQ;GACtB;GACA;GACA,QAAQ,QAAQ;GAChB,QAAQ,QAAQ;GAChB,qBAAqB,QAAQ;GAC7B,YAAY;EACd,CAAC;EAED,IAAI,CAAC,OAAO,IACV,OAAO,eAAe,OAAO,OAAO;EAStC,MAAM,gBAAgB,yBAAyB;GAC7C,eAAe,QAAQ;GACvB,aAAa,QAAQ;GACrB;EACF,CAAC;EAID,MAAM,QAAQ,CAAC,GAAG,OAAO,MAAM,OAAO,GAAG,aAAa;EAEtD,MAAM,cAA8C;GAClD,aAAa,QAAQ,SAAS,QAAQ;GACtC,GAAI,QAAQ,SAAS,gBAAgB,KAAA,IACjC,EAAE,aAAa,QAAQ,SAAS,YAAY,IAC5C,CAAC;EACP;EAEA,OAAO;GACL,MAAM;GACN,MAAM,IAAI,oCACR,OACA;IACE,MAAM,QAAQ,cAAc,QAAQ,eAAe;IACnD,IAAI,QAAQ,SAAS,QAAQ;GAC/B,GACA,QAAQ,SACR,WACF;EACF;CACF;CAEA,qBAA6B,QAAkE;EAC7F,IAAI,CAAC,OAAO,wBAAwB,SAAS,UAAU,GACrD,OAAO,eAAe,CACpB;GACE,MAAM;GACN,SAAS;GACT,KAAK;EACP,CACF,CAAC;EAEH,OAAO;CACT;CAEA,oBAA4B,SAAiE;EAC3F,MAAM,UAAU,QAAQ,OAAO;EAC/B,MAAM,SAAS,QAAQ,SAAS,UAAU,KAAK,QAAQ,SAAS,aAAa;EAU7E,OATqB,gBAAgB;GACnC,UAAU,QAAQ;GAClB,QAAQ,QAAQ;GAChB;GACA,sCAAsB,IAAI,IAAI;GAC9B,qBAAqB,QAAQ;GAC7B,kBAAkB;GAClB,qBAAqB;EACvB,CACkB,EAAE,OAAO;CAC7B;AACF"}
+{"version":3,"file":"planner-BDZolRbq.mjs","names":[],"sources":["../src/core/migrations/planner-strategies.ts","../src/core/migrations/issue-planner.ts","../src/core/migrations/planner.ts"],"sourcesContent":["/**\n * SQLite migration strategies.\n *\n * Each strategy examines the issue list, consumes issues it handles, and\n * returns the `SqliteOpFactoryCall[]` to address them. The issue planner\n * runs each strategy in order and routes whatever's left through\n * `mapIssueToCall`.\n *\n * SQLite has no enums, no data-safe backfill, and no component-declared\n * database dependencies. The only recipe that needs strategy-level\n * multi-issue consumption is `recreateTable` (added in a later phase), which\n * absorbs type/nullability/default/constraint mismatches for a given table\n * into a single recreate operation.\n */\n\nimport type { Contract } from '@prisma-next/contract/types';\nimport type {\n  CodecControlHooks,\n  MigrationOperationClass,\n  MigrationOperationPolicy,\n} from '@prisma-next/family-sql/control';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type { SchemaIssue } from '@prisma-next/framework-components/control';\nimport { UNBOUND_NAMESPACE_ID } from '@prisma-next/framework-components/ir';\nimport type {\n  PostgresEnumStorageEntry,\n  SqlStorage,\n  StorageTable,\n  StorageTypeInstance,\n} from '@prisma-next/sql-contract/types';\nimport { defaultIndexName } from '@prisma-next/sql-schema-ir/naming';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\nimport { toTableSpec } from './issue-planner';\nimport { DataTransformCall, RecreateTableCall, type SqliteOpFactoryCall } from './op-factory-call';\nimport type { SqliteIndexSpec } from './operations/shared';\nimport { buildRecreatePostchecks, buildRecreateSummary } from './operations/tables';\n\nexport interface StrategyContext {\n  readonly toContract: Contract<SqlStorage>;\n  readonly fromContract: Contract<SqlStorage> | null;\n  readonly codecHooks: ReadonlyMap<string, CodecControlHooks>;\n  readonly storageTypes: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>;\n  readonly schema: SqlSchemaIR;\n  readonly policy: MigrationOperationPolicy;\n  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n}\n\n/**\n * Look up a storage table by its explicit namespace coordinate. Returns\n * `undefined` when the namespace has no table by that name (or no such\n * namespace exists). Callers that get `undefined` MUST treat it as an\n * explicit conflict rather than silently falling back to a name-only\n * walk across namespaces — the SQLite target currently has a single\n * namespace, but this helper enforces the explicit-coordinate\n * discipline so a future multi-namespace SQLite shape inherits the\n * conflict-on-stale-coordinate behaviour the Postgres planner already\n * has.\n */\nexport function tableAt(\n  storage: SqlStorage,\n  namespaceId: string,\n  tableName: string,\n): StorageTable | undefined {\n  return storage.namespaces[namespaceId]?.tables[tableName] as StorageTable | undefined;\n}\n\n/**\n * Default namespace coordinate for an issue that does not carry one\n * explicitly. Hand-crafted unit-test issues fall back to `__unbound__`,\n * the only namespace any single-namespace contract carries —\n * verifier-emitted issues for legacy single-namespace contracts already\n * stamp this id explicitly. Typed structurally so issue variants\n * without a `namespaceId` slot flow through to the same fallback.\n */\nexport function resolveNamespaceIdForIssue(issue: { readonly namespaceId?: string }): string {\n  return issue.namespaceId ?? UNBOUND_NAMESPACE_ID;\n}\n\nexport type CallMigrationStrategy = (\n  issues: readonly SchemaIssue[],\n  context: StrategyContext,\n) =>\n  | {\n      kind: 'match';\n      issues: readonly SchemaIssue[];\n      calls: readonly SqliteOpFactoryCall[];\n      recipe?: boolean;\n    }\n  | { kind: 'no_match' };\n\n// ============================================================================\n// Recreate-table strategy\n// ============================================================================\n\nconst WIDENING_ISSUE_KINDS = new Set<SchemaIssue['kind']>(['default_mismatch', 'default_missing']);\n\nconst DESTRUCTIVE_ISSUE_KINDS = new Set<SchemaIssue['kind']>([\n  'extra_default',\n  'type_mismatch',\n  'primary_key_mismatch',\n  'foreign_key_mismatch',\n  'unique_constraint_mismatch',\n  'extra_foreign_key',\n  'extra_unique_constraint',\n  'extra_primary_key',\n]);\n\nfunction classifyIssue(issue: SchemaIssue): 'widening' | 'destructive' | null {\n  if (issue.kind === 'enum_values_changed') return null;\n  if (!issue.table) return null;\n  if (issue.kind === 'nullability_mismatch') {\n    // Relaxing (NOT NULL → nullable) is widening; tightening is destructive.\n    return issue.expected === 'true' ? 'widening' : 'destructive';\n  }\n  if (WIDENING_ISSUE_KINDS.has(issue.kind)) return 'widening';\n  if (DESTRUCTIVE_ISSUE_KINDS.has(issue.kind)) return 'destructive';\n  return null;\n}\n\n/**\n * Groups recreate-eligible issues by table, decides per-table operation class\n * (destructive wins over widening), and emits one `RecreateTableCall` per\n * table. Returns unchanged-or-smaller issue list — issues the strategy\n * consumed are removed so `mapIssueToCall` doesn't double-handle them.\n */\nexport const recreateTableStrategy: CallMigrationStrategy = (issues, ctx) => {\n  const byTable = new Map<\n    string,\n    { issues: SchemaIssue[]; hasDestructive: boolean; namespaceId: string }\n  >();\n  const consumed = new Set<SchemaIssue>();\n\n  for (const issue of issues) {\n    const cls = classifyIssue(issue);\n    if (!cls) continue;\n    if (issue.kind === 'enum_values_changed') continue;\n    if (!issue.table) continue;\n    const table = issue.table;\n    const entry = byTable.get(table);\n    if (entry) {\n      entry.issues.push(issue);\n      if (cls === 'destructive') entry.hasDestructive = true;\n    } else {\n      byTable.set(table, {\n        issues: [issue],\n        hasDestructive: cls === 'destructive',\n        namespaceId: resolveNamespaceIdForIssue(issue),\n      });\n    }\n    consumed.add(issue);\n  }\n\n  if (byTable.size === 0) return { kind: 'no_match' };\n\n  const calls: SqliteOpFactoryCall[] = [];\n  for (const [tableName, entry] of byTable) {\n    const contractTable = tableAt(ctx.toContract.storage, entry.namespaceId, tableName);\n    const schemaTable = ctx.schema.tables[tableName];\n    if (!contractTable || !schemaTable) continue;\n    const operationClass: MigrationOperationClass = entry.hasDestructive\n      ? 'destructive'\n      : 'widening';\n\n    // Flatten the contract table to a self-contained spec — the Call holds\n    // pre-rendered SQL fragments only, no `StorageColumn` or `storageTypes`.\n    const tableSpec = toTableSpec(contractTable, ctx.storageTypes);\n\n    const seenIndexColumnKeys = new Set<string>();\n    const indexes: SqliteIndexSpec[] = [];\n    for (const idx of contractTable.indexes) {\n      const key = idx.columns.join(',');\n      if (seenIndexColumnKeys.has(key)) continue;\n      seenIndexColumnKeys.add(key);\n      indexes.push({\n        name: idx.name ?? defaultIndexName(tableName, idx.columns),\n        columns: idx.columns,\n      });\n    }\n    for (const fk of contractTable.foreignKeys) {\n      if (fk.index === false) continue;\n      const key = fk.source.columns.join(',');\n      if (seenIndexColumnKeys.has(key)) continue;\n      seenIndexColumnKeys.add(key);\n      indexes.push({\n        name: defaultIndexName(tableName, fk.source.columns),\n        columns: fk.source.columns,\n      });\n    }\n\n    calls.push(\n      new RecreateTableCall({\n        tableName,\n        contractTable: tableSpec,\n        schemaColumnNames: Object.keys(schemaTable.columns),\n        indexes,\n        summary: buildRecreateSummary(tableName, entry.issues),\n        postchecks: buildRecreatePostchecks(tableName, entry.issues, tableSpec),\n        operationClass,\n      }),\n    );\n  }\n\n  return {\n    kind: 'match',\n    issues: issues.filter((i) => !consumed.has(i)),\n    calls,\n    recipe: true,\n  };\n};\n\n// ============================================================================\n// Nullability-tightening backfill strategy\n// ============================================================================\n\n/**\n * When the policy allows `'data'` and the contract tightens one or more\n * columns from nullable to NOT NULL, emit a `DataTransformCall` stub per\n * tightened column. The user fills the backfill `UPDATE` in the rendered\n * `migration.ts` before the subsequent `RecreateTableCall` copies data into\n * the tightened schema (whose `INSERT INTO temp SELECT … FROM old` would\n * otherwise fail at runtime if any `NULL`s remain).\n *\n * Does NOT consume the tightening issue — `recreateTableStrategy` still\n * needs it to produce the actual recreate that enforces the NOT NULL at\n * the schema level. The backfill op and the recreate op end up in the\n * recipe slot in strategy order (backfill first, recreate second), which\n * matches the required execution order.\n *\n * Mirrors Postgres's `nullableTighteningCallStrategy` / `'data'`-class\n * gating. When `'data'` is not in the policy (the default `db update` /\n * `db init` path), the strategy short-circuits and the recreate alone\n * runs with its current destructive-class gating — preserving today's\n * behavior where a tightening blows up at runtime if NULLs are present.\n */\nexport const nullabilityTighteningBackfillStrategy: CallMigrationStrategy = (issues, ctx) => {\n  if (!ctx.policy.allowedOperationClasses.includes('data')) {\n    return { kind: 'no_match' };\n  }\n\n  const calls: SqliteOpFactoryCall[] = [];\n  for (const issue of issues) {\n    if (issue.kind !== 'nullability_mismatch') continue;\n    if (!issue.table || !issue.column) continue;\n    // Tightening only: `expected === 'true'` means the contract wants the\n    // column nullable (relaxing from NOT NULL → nullable), which is safe and\n    // needs no backfill.\n    if (issue.expected === 'true') continue;\n\n    const namespaceId = resolveNamespaceIdForIssue(issue);\n    const column = tableAt(ctx.toContract.storage, namespaceId, issue.table)?.columns[issue.column];\n    if (!column || column.nullable === true) continue;\n\n    calls.push(\n      new DataTransformCall(\n        `data_migration.backfill-${issue.table}-${issue.column}`,\n        `Backfill NULLs in \"${issue.table}\".\"${issue.column}\" before NOT NULL tightening`,\n        issue.table,\n        issue.column,\n      ),\n    );\n  }\n\n  if (calls.length === 0) return { kind: 'no_match' };\n\n  return {\n    kind: 'match',\n    issues,\n    calls,\n    recipe: true,\n  };\n};\n\nexport const sqlitePlannerStrategies: readonly CallMigrationStrategy[] = [\n  nullabilityTighteningBackfillStrategy,\n  recreateTableStrategy,\n];\n","/**\n * SQLite migration issue planner.\n *\n * Takes schema issues (from `verifySqlSchema`) and emits migration IR\n * (`SqliteOpFactoryCall[]`). Strategies consume issues they recognize and\n * produce specialized call sequences (e.g. recreateTableStrategy absorbs\n * type/nullability/default/constraint mismatches into a single recreate op);\n * remaining issues flow through `mapIssueToCall` for the default case.\n */\n\nimport type { Contract } from '@prisma-next/contract/types';\nimport type {\n  CodecControlHooks,\n  MigrationOperationPolicy,\n  SqlPlannerConflict,\n  SqlPlannerConflictLocation,\n} from '@prisma-next/family-sql/control';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type { SchemaIssue } from '@prisma-next/framework-components/control';\nimport type {\n  PostgresEnumStorageEntry,\n  SqlStorage,\n  StorageColumn,\n  StorageTable,\n  StorageTypeInstance,\n} from '@prisma-next/sql-contract/types';\nimport { defaultIndexName } from '@prisma-next/sql-schema-ir/naming';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\nimport type { Result } from '@prisma-next/utils/result';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport {\n  AddColumnCall,\n  CreateIndexCall,\n  CreateTableCall,\n  DropColumnCall,\n  DropIndexCall,\n  DropTableCall,\n  type SqliteOpFactoryCall,\n} from './op-factory-call';\nimport type {\n  SqliteColumnSpec,\n  SqliteForeignKeySpec,\n  SqliteTableSpec,\n  SqliteUniqueSpec,\n} from './operations/shared';\nimport {\n  buildColumnDefaultSql,\n  buildColumnTypeSql,\n  isInlineAutoincrementPrimaryKey,\n} from './planner-ddl-builders';\nimport {\n  type CallMigrationStrategy,\n  resolveNamespaceIdForIssue,\n  type StrategyContext,\n  sqlitePlannerStrategies,\n  tableAt,\n} from './planner-strategies';\nimport { CONTROL_TABLE_NAMES } from './statement-builders';\n\nexport type { CallMigrationStrategy, StrategyContext };\n\n// ============================================================================\n// Issue kind ordering (dependency order)\n// ============================================================================\n\nconst ISSUE_KIND_ORDER: Record<string, number> = {\n  // Drops (reconciliation — clear the way for creates)\n  extra_foreign_key: 10,\n  extra_unique_constraint: 11,\n  extra_primary_key: 12,\n  extra_index: 13,\n  extra_default: 14,\n  extra_column: 15,\n  extra_table: 16,\n\n  // Tables before columns\n  missing_table: 20,\n\n  // Columns before constraints\n  missing_column: 30,\n\n  // Reconciliation alters (on existing objects)\n  type_mismatch: 40,\n  nullability_mismatch: 41,\n  default_missing: 42,\n  default_mismatch: 43,\n\n  // Constraints after columns exist\n  primary_key_mismatch: 50,\n  unique_constraint_mismatch: 51,\n  index_mismatch: 52,\n  foreign_key_mismatch: 60,\n};\n\nfunction issueOrder(issue: SchemaIssue): number {\n  return ISSUE_KIND_ORDER[issue.kind] ?? 99;\n}\n\nfunction issueKey(issue: SchemaIssue): string {\n  const table = 'table' in issue && typeof issue.table === 'string' ? issue.table : '';\n  const column = 'column' in issue && typeof issue.column === 'string' ? issue.column : '';\n  const name =\n    'indexOrConstraint' in issue && typeof issue.indexOrConstraint === 'string'\n      ? issue.indexOrConstraint\n      : '';\n  return `${table}\\u0000${column}\\u0000${name}`;\n}\n\n// ============================================================================\n// Conflict helpers\n// ============================================================================\n\nfunction issueConflict(\n  kind: SqlPlannerConflict['kind'],\n  summary: string,\n  location?: SqlPlannerConflict['location'],\n): SqlPlannerConflict {\n  return {\n    kind,\n    summary,\n    why: 'Use `migration new` to author a custom migration for this change.',\n    ...(location ? { location } : {}),\n  };\n}\n\nfunction conflictKindForIssue(issue: SchemaIssue): SqlPlannerConflict['kind'] {\n  switch (issue.kind) {\n    case 'type_mismatch':\n      return 'typeMismatch';\n    case 'nullability_mismatch':\n      return 'nullabilityConflict';\n    case 'primary_key_mismatch':\n    case 'unique_constraint_mismatch':\n    case 'index_mismatch':\n    case 'extra_primary_key':\n    case 'extra_unique_constraint':\n      return 'indexIncompatible';\n    case 'foreign_key_mismatch':\n    case 'extra_foreign_key':\n      return 'foreignKeyConflict';\n    default:\n      return 'missingButNonAdditive';\n  }\n}\n\nfunction issueLocation(issue: SchemaIssue): SqlPlannerConflictLocation | undefined {\n  if (issue.kind === 'enum_values_changed') return undefined;\n  const location: {\n    table?: string;\n    column?: string;\n    constraint?: string;\n  } = {};\n  if (issue.table) location.table = issue.table;\n  if (issue.column) location.column = issue.column;\n  if (issue.indexOrConstraint) location.constraint = issue.indexOrConstraint;\n  return Object.keys(location).length > 0 ? (location as SqlPlannerConflictLocation) : undefined;\n}\n\nfunction conflictForDisallowedCall(\n  call: SqliteOpFactoryCall,\n  allowed: readonly string[],\n): SqlPlannerConflict {\n  const summary = `Operation \"${call.label}\" requires class \"${call.operationClass}\", but policy allows only: ${allowed.join(', ')}`;\n  const location = locationForCall(call);\n  return {\n    kind: conflictKindForCall(call),\n    summary,\n    why: 'Use `migration new` to author a custom migration for this change.',\n    ...(location ? { location } : {}),\n  };\n}\n\nfunction conflictKindForCall(call: SqliteOpFactoryCall): SqlPlannerConflict['kind'] {\n  switch (call.factoryName) {\n    case 'createIndex':\n    case 'dropIndex':\n      return 'indexIncompatible';\n    default:\n      return 'missingButNonAdditive';\n  }\n}\n\nfunction locationForCall(call: SqliteOpFactoryCall): SqlPlannerConflictLocation | undefined {\n  const location: { table?: string; column?: string; index?: string } = {};\n  if ('tableName' in call) location.table = call.tableName;\n  if ('columnName' in call) location.column = call.columnName;\n  if ('indexName' in call) location.index = call.indexName;\n  return Object.keys(location).length > 0 ? (location as SqlPlannerConflictLocation) : undefined;\n}\n\nfunction isMissing(issue: SchemaIssue): boolean {\n  if (issue.kind === 'enum_values_changed') return false;\n  return issue.actual === undefined;\n}\n\n// ============================================================================\n// StorageTable / StorageColumn → flat SqliteTableSpec\n// ============================================================================\n\n/**\n * Resolves codec / `typeRef` / default rendering into a flat\n * `SqliteColumnSpec`. Mirrors Postgres's `toColumnSpec`. Once a column is\n * flattened, downstream Calls and operation factories never see\n * `StorageColumn` again — they deal in pre-rendered SQL fragments.\n */\nexport function toColumnSpec(\n  name: string,\n  column: StorageColumn,\n  storageTypes: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>,\n  inlineAutoincrementPrimaryKey = false,\n): SqliteColumnSpec {\n  const typeSql = buildColumnTypeSql(\n    column,\n    storageTypes as Record<string, StorageTypeInstance | PostgresEnumStorageEntry>,\n  );\n  const defaultSql = buildColumnDefaultSql(column.default);\n  return {\n    name,\n    typeSql,\n    defaultSql,\n    nullable: column.nullable,\n    ...(inlineAutoincrementPrimaryKey ? { inlineAutoincrementPrimaryKey: true } : {}),\n  };\n}\n\n/**\n * Flattens a `StorageTable` into a `SqliteTableSpec` ready for\n * `CreateTableCall` / `RecreateTableCall`. Sole-column AUTOINCREMENT\n * primary keys are detected here and marked on the column spec so the\n * renderer emits `INTEGER PRIMARY KEY AUTOINCREMENT` inline.\n */\nexport function toTableSpec(\n  table: StorageTable,\n  storageTypes: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>,\n): SqliteTableSpec {\n  const columns: SqliteColumnSpec[] = Object.entries(table.columns).map(([name, column]) =>\n    toColumnSpec(name, column, storageTypes, isInlineAutoincrementPrimaryKey(table, name)),\n  );\n  const uniques: SqliteUniqueSpec[] = table.uniques.map((u) => ({\n    columns: u.columns,\n    ...(u.name !== undefined ? { name: u.name } : {}),\n  }));\n  const foreignKeys: SqliteForeignKeySpec[] = table.foreignKeys.map((fk) => ({\n    columns: fk.source.columns,\n    references: { table: fk.target.tableName, columns: fk.target.columns },\n    constraint: fk.constraint !== false,\n    ...(fk.name !== undefined ? { name: fk.name } : {}),\n    ...(fk.onDelete !== undefined ? { onDelete: fk.onDelete } : {}),\n    ...(fk.onUpdate !== undefined ? { onUpdate: fk.onUpdate } : {}),\n  }));\n  return {\n    columns,\n    ...(table.primaryKey ? { primaryKey: { columns: table.primaryKey.columns } } : {}),\n    uniques,\n    foreignKeys,\n  };\n}\n\n// ============================================================================\n// Issue planner\n// ============================================================================\n\nexport interface IssuePlannerOptions {\n  readonly issues: readonly SchemaIssue[];\n  readonly toContract: Contract<SqlStorage>;\n  readonly fromContract: Contract<SqlStorage> | null;\n  readonly codecHooks: ReadonlyMap<string, CodecControlHooks>;\n  readonly storageTypes: Readonly<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>>;\n  readonly schema?: SqlSchemaIR;\n  readonly policy?: MigrationOperationPolicy;\n  readonly frameworkComponents?: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n  readonly strategies?: readonly CallMigrationStrategy[];\n}\n\nexport interface IssuePlannerValue {\n  readonly calls: readonly SqliteOpFactoryCall[];\n}\n\nconst DEFAULT_POLICY: MigrationOperationPolicy = {\n  allowedOperationClasses: ['additive', 'widening', 'destructive', 'data'],\n};\n\nfunction emptySchemaIR(): SqlSchemaIR {\n  return { tables: {} };\n}\n\n// ============================================================================\n// Issue → Call mapping (per-issue default path)\n// ============================================================================\n\nfunction mapIssueToCall(\n  issue: SchemaIssue,\n  ctx: StrategyContext,\n): Result<readonly SqliteOpFactoryCall[], SqlPlannerConflict> {\n  switch (issue.kind) {\n    case 'missing_table': {\n      if (!issue.table) {\n        return notOk(\n          issueConflict('unsupportedOperation', 'Missing table issue has no table name'),\n        );\n      }\n      const namespaceId = resolveNamespaceIdForIssue(issue);\n      const contractTable = tableAt(ctx.toContract.storage, namespaceId, issue.table);\n      if (!contractTable) {\n        return notOk(\n          issueConflict(\n            'unsupportedOperation',\n            `Table \"${issue.table}\" in namespace \"${namespaceId}\" reported missing but not found in destination contract`,\n          ),\n        );\n      }\n      const tableSpec = toTableSpec(contractTable, ctx.storageTypes);\n      const calls: SqliteOpFactoryCall[] = [new CreateTableCall(issue.table, tableSpec)];\n      const declaredIndexColumnKeys = new Set<string>();\n      for (const index of contractTable.indexes) {\n        const indexName = index.name ?? defaultIndexName(issue.table, index.columns);\n        declaredIndexColumnKeys.add(index.columns.join(','));\n        calls.push(new CreateIndexCall(issue.table, indexName, index.columns));\n      }\n      for (const fk of contractTable.foreignKeys) {\n        if (fk.index === false) continue;\n        if (declaredIndexColumnKeys.has(fk.source.columns.join(','))) continue;\n        const indexName = defaultIndexName(issue.table, fk.source.columns);\n        calls.push(new CreateIndexCall(issue.table, indexName, fk.source.columns));\n      }\n      return ok(calls);\n    }\n\n    case 'missing_column': {\n      if (!issue.table || !issue.column) {\n        return notOk(\n          issueConflict('unsupportedOperation', 'Missing column issue has no table/column name'),\n        );\n      }\n      const namespaceId = resolveNamespaceIdForIssue(issue);\n      const contractTable2 = tableAt(ctx.toContract.storage, namespaceId, issue.table);\n      const column = contractTable2?.columns[issue.column];\n      if (!column) {\n        return notOk(\n          issueConflict(\n            'unsupportedOperation',\n            `Column \"${issue.table}\".\"${issue.column}\" not in destination contract`,\n          ),\n        );\n      }\n      const contractTable = contractTable2;\n      const columnSpec = toColumnSpec(\n        issue.column,\n        column,\n        ctx.storageTypes,\n        contractTable ? isInlineAutoincrementPrimaryKey(contractTable, issue.column) : false,\n      );\n      return ok([new AddColumnCall(issue.table, columnSpec)]);\n    }\n\n    case 'index_mismatch': {\n      if (!issue.table) {\n        return notOk(issueConflict('indexIncompatible', 'Index issue has no table name'));\n      }\n      if (!isMissing(issue) || !issue.expected) {\n        return notOk(\n          issueConflict(\n            'indexIncompatible',\n            `Index on \"${issue.table}\" differs (expected: ${issue.expected}, actual: ${issue.actual})`,\n            { table: issue.table },\n          ),\n        );\n      }\n      const namespaceId = resolveNamespaceIdForIssue(issue);\n      const columns = issue.expected.split(', ');\n      const contractTable = tableAt(ctx.toContract.storage, namespaceId, issue.table);\n      if (!contractTable) {\n        return notOk(\n          issueConflict(\n            'unsupportedOperation',\n            `Table \"${issue.table}\" not found in destination contract`,\n          ),\n        );\n      }\n      const explicitIndex = contractTable.indexes.find(\n        (idx) => idx.columns.join(',') === columns.join(','),\n      );\n      const indexName = explicitIndex?.name ?? defaultIndexName(issue.table, columns);\n      return ok([new CreateIndexCall(issue.table, indexName, columns)]);\n    }\n\n    case 'extra_table': {\n      if (!issue.table) {\n        return notOk(issueConflict('unsupportedOperation', 'Extra table issue has no table name'));\n      }\n      // Runner-owned control tables must never be dropped.\n      if (CONTROL_TABLE_NAMES.has(issue.table)) return ok([]);\n      return ok([new DropTableCall(issue.table)]);\n    }\n\n    case 'extra_column': {\n      if (!issue.table || !issue.column) {\n        return notOk(\n          issueConflict('unsupportedOperation', 'Extra column issue has no table/column name'),\n        );\n      }\n      return ok([new DropColumnCall(issue.table, issue.column)]);\n    }\n\n    case 'extra_index': {\n      if (!issue.table || !issue.indexOrConstraint) {\n        return notOk(\n          issueConflict('unsupportedOperation', 'Extra index issue has no table/index name'),\n        );\n      }\n      return ok([new DropIndexCall(issue.table, issue.indexOrConstraint)]);\n    }\n\n    // SQLite has no enum types (capability `sql.enums: false`). The verifier\n    // should never emit `enum_values_changed` against a SQLite schema, so if\n    // we receive one it is a verifier bug — surface it as an explicit\n    // conflict rather than silently dropping it.\n    case 'enum_values_changed':\n      return notOk(\n        issueConflict(\n          'unsupportedOperation',\n          'Received enum_values_changed against a SQLite schema (sql.enums: false) — verifier bug',\n        ),\n      );\n\n    // Everything below is absorbed by recreateTableStrategy. If it falls\n    // through here, policy or context didn't allow the recreate — surface as\n    // a conflict.\n    case 'type_mismatch':\n    case 'nullability_mismatch':\n    case 'default_mismatch':\n    case 'default_missing':\n    case 'extra_default':\n    case 'primary_key_mismatch':\n    case 'unique_constraint_mismatch':\n    case 'foreign_key_mismatch':\n    case 'extra_foreign_key':\n    case 'extra_unique_constraint':\n    case 'extra_primary_key':\n      return notOk(issueConflict(conflictKindForIssue(issue), issue.message, issueLocation(issue)));\n\n    default:\n      return notOk(\n        issueConflict(\n          'unsupportedOperation',\n          `Unhandled issue kind: ${(issue as SchemaIssue).kind}`,\n        ),\n      );\n  }\n}\n\n// ============================================================================\n// Call categorization for final emission order\n// ============================================================================\n\ntype CallCategory =\n  | 'drop-column'\n  | 'drop-index'\n  | 'drop-table'\n  | 'create-table'\n  | 'add-column'\n  | 'create-index';\n\nfunction classifyCall(call: SqliteOpFactoryCall): CallCategory | null {\n  switch (call.factoryName) {\n    case 'createTable':\n      return 'create-table';\n    case 'addColumn':\n      return 'add-column';\n    case 'createIndex':\n      return 'create-index';\n    case 'dropColumn':\n      return 'drop-column';\n    case 'dropIndex':\n      return 'drop-index';\n    case 'dropTable':\n      return 'drop-table';\n    // recreateTable goes into the recipe slot; return null for bucketable.\n    case 'recreateTable':\n      return null;\n    default:\n      return null;\n  }\n}\n\n// ============================================================================\n// Top-level planIssues\n// ============================================================================\n\nexport function planIssues(\n  options: IssuePlannerOptions,\n): Result<IssuePlannerValue, readonly SqlPlannerConflict[]> {\n  const policyProvided = options.policy !== undefined;\n  const policy = options.policy ?? DEFAULT_POLICY;\n  const schema = options.schema ?? emptySchemaIR();\n  const frameworkComponents = options.frameworkComponents ?? [];\n\n  const context: StrategyContext = {\n    toContract: options.toContract,\n    fromContract: options.fromContract,\n    codecHooks: options.codecHooks,\n    storageTypes: options.storageTypes,\n    schema,\n    policy,\n    frameworkComponents,\n  };\n\n  const strategies = options.strategies ?? sqlitePlannerStrategies;\n\n  let remaining = options.issues;\n  const recipeCalls: SqliteOpFactoryCall[] = [];\n  const bucketableCalls: SqliteOpFactoryCall[] = [];\n\n  for (const strategy of strategies) {\n    const result = strategy(remaining, context);\n    if (result.kind === 'match') {\n      remaining = result.issues;\n      if (result.recipe) {\n        recipeCalls.push(...result.calls);\n      } else {\n        bucketableCalls.push(...result.calls);\n      }\n    }\n  }\n\n  const sorted = [...remaining].sort((a, b) => {\n    const kindDelta = issueOrder(a) - issueOrder(b);\n    if (kindDelta !== 0) return kindDelta;\n    const keyA = issueKey(a);\n    const keyB = issueKey(b);\n    return keyA < keyB ? -1 : keyA > keyB ? 1 : 0;\n  });\n\n  const defaultCalls: SqliteOpFactoryCall[] = [];\n  const conflicts: SqlPlannerConflict[] = [];\n\n  for (const issue of sorted) {\n    const result = mapIssueToCall(issue, context);\n    if (result.ok) {\n      defaultCalls.push(...result.value);\n    } else {\n      conflicts.push(result.failure);\n    }\n  }\n\n  // Policy gating for recipe + bucketable. Default-mapped calls for disallowed\n  // classes never get here (they're surfaced as per-issue conflicts above).\n  const allowed = policy.allowedOperationClasses;\n  let gatedRecipe = recipeCalls;\n  let gatedBucketable = bucketableCalls;\n  let gatedDefault = defaultCalls;\n  if (policyProvided) {\n    const sink = (acc: SqliteOpFactoryCall[]) => (call: SqliteOpFactoryCall) => {\n      if (allowed.includes(call.operationClass)) {\n        acc.push(call);\n        return;\n      }\n      conflicts.push(conflictForDisallowedCall(call, allowed));\n    };\n    const gatedRecipeBucket: SqliteOpFactoryCall[] = [];\n    const gatedBucketableBucket: SqliteOpFactoryCall[] = [];\n    const gatedDefaultBucket: SqliteOpFactoryCall[] = [];\n    recipeCalls.forEach(sink(gatedRecipeBucket));\n    bucketableCalls.forEach(sink(gatedBucketableBucket));\n    defaultCalls.forEach(sink(gatedDefaultBucket));\n    gatedRecipe = gatedRecipeBucket;\n    gatedBucketable = gatedBucketableBucket;\n    gatedDefault = gatedDefaultBucket;\n  }\n\n  if (conflicts.length > 0) {\n    return notOk(conflicts);\n  }\n\n  // Final emission order matches the current monolithic planner:\n  //   create-table → add-column → create-index → recreate → drop-column → drop-index → drop-table\n  const combined = [...gatedDefault, ...gatedBucketable];\n  const byCategory = (cat: CallCategory) => combined.filter((c) => classifyCall(c) === cat);\n\n  const calls: SqliteOpFactoryCall[] = [\n    ...byCategory('create-table'),\n    ...byCategory('add-column'),\n    ...byCategory('create-index'),\n    ...gatedRecipe,\n    ...byCategory('drop-column'),\n    ...byCategory('drop-index'),\n    ...byCategory('drop-table'),\n  ];\n\n  return ok({ calls });\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type {\n  MigrationOperationPolicy,\n  SqlMigrationPlanner,\n  SqlMigrationPlannerPlanOptions,\n  SqlPlannerFailureResult,\n} from '@prisma-next/family-sql/control';\nimport {\n  extractCodecControlHooks,\n  planFieldEventOperations,\n  plannerFailure,\n} from '@prisma-next/family-sql/control';\nimport { verifySqlSchema } from '@prisma-next/family-sql/schema-verify';\nimport type { TargetBoundComponentDescriptor } from '@prisma-next/framework-components/components';\nimport type {\n  MigrationPlanner,\n  MigrationScaffoldContext,\n  SchemaIssue,\n} from '@prisma-next/framework-components/control';\nimport { parseSqliteDefault } from '../default-normalizer';\nimport { normalizeSqliteNativeType } from '../native-type-normalizer';\nimport { planIssues } from './issue-planner';\nimport {\n  type SqliteMigrationDestinationInfo,\n  TypeScriptRenderableSqliteMigration,\n} from './planner-produced-sqlite-migration';\nimport { sqlitePlannerStrategies } from './planner-strategies';\nimport type { SqlitePlanTargetDetails } from './planner-target-details';\n\nexport function createSqliteMigrationPlanner(): SqliteMigrationPlanner {\n  return new SqliteMigrationPlanner();\n}\n\nexport type SqlitePlanResult =\n  | { readonly kind: 'success'; readonly plan: TypeScriptRenderableSqliteMigration }\n  | SqlPlannerFailureResult;\n\n/**\n * SQLite migration planner — a thin wrapper over `planIssues`.\n *\n * `plan()` verifies the live schema against the target contract (producing\n * `SchemaIssue[]`) and delegates to `planIssues` with the registered\n * strategies. Strategies absorb groups of related issues into composite\n * recipes (e.g. recreating a table to apply type/nullability/default/\n * constraint changes at once); anything not absorbed by a strategy flows\n * through `mapIssueToCall` in the issue planner as a one-off call.\n *\n * FK-backing indexes are surfaced by `verifySqlSchema`'s index expansion\n * (see `verify-sql-schema.ts:459-469`), so `mapIssueToCall` handles them\n * uniformly alongside user-declared indexes.\n */\nexport class SqliteMigrationPlanner\n  implements SqlMigrationPlanner<SqlitePlanTargetDetails>, MigrationPlanner<'sql', 'sqlite'>\n{\n  plan(options: {\n    readonly contract: unknown;\n    readonly schema: unknown;\n    readonly policy: MigrationOperationPolicy;\n    /**\n     * The \"from\" contract (state the planner assumes the database starts at),\n     * or `null` for reconciliation flows.\n     *\n     * Typed as the framework `Contract | null` to satisfy the\n     * `MigrationPlanner` interface contract; `planSql` narrows to the SQL\n     * shape via `SqlMigrationPlannerPlanOptions`. Used to populate\n     * `describe().from` on the produced plan as\n     * `fromContract?.storage.storageHash ?? null`.\n     */\n    readonly fromContract: Contract | null;\n    readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;\n    /**\n     * Contract space this plan applies to. Stamped onto the produced\n     * {@link TypeScriptRenderableSqliteMigration.spaceId} so the runner keys\n     * the marker row by the right space.\n     */\n    readonly spaceId: string;\n  }): SqlitePlanResult {\n    return this.planSql(options as SqlMigrationPlannerPlanOptions);\n  }\n\n  emptyMigration(\n    context: MigrationScaffoldContext,\n    spaceId: string,\n  ): TypeScriptRenderableSqliteMigration {\n    return new TypeScriptRenderableSqliteMigration(\n      [],\n      {\n        from: context.fromHash,\n        to: context.toHash,\n      },\n      spaceId,\n    );\n  }\n\n  private planSql(options: SqlMigrationPlannerPlanOptions): SqlitePlanResult {\n    const policyResult = this.ensureAdditivePolicy(options.policy);\n    if (policyResult) return policyResult;\n\n    const schemaIssues = this.collectSchemaIssues(options);\n    const codecHooks = extractCodecControlHooks(options.frameworkComponents);\n    const storageTypes = options.contract.storage.types ?? {};\n\n    const result = planIssues({\n      issues: schemaIssues,\n      toContract: options.contract,\n      fromContract: options.fromContract,\n      codecHooks,\n      storageTypes,\n      schema: options.schema,\n      policy: options.policy,\n      frameworkComponents: options.frameworkComponents,\n      strategies: sqlitePlannerStrategies,\n    });\n\n    if (!result.ok) {\n      return plannerFailure(result.failure);\n    }\n\n    // Codec lifecycle hook (T2.2): inline `onFieldEvent`-emitted ops after\n    // structural DDL. Sub-spec § 5 fixes the ordering as\n    // `structural → added → dropped → altered`, with within-group sorting by\n    // `(tableName, fieldName)` deterministic for byte-stable re-emits.\n    // Hook fires only at the application emitter — extension-space planning\n    // (M2 R2) never reaches this helper.\n    const fieldEventOps = planFieldEventOperations({\n      priorContract: options.fromContract,\n      newContract: options.contract,\n      codecHooks,\n    });\n    // Codec-emitted calls already conform to `OpFactoryCall` — render +\n    // toOp + importRequirements ride directly through the same emit path\n    // as structural ops, no `RawSqlCall` wrap.\n    const calls = [...result.value.calls, ...fieldEventOps];\n\n    const destination: SqliteMigrationDestinationInfo = {\n      storageHash: options.contract.storage.storageHash,\n      ...(options.contract.profileHash !== undefined\n        ? { profileHash: options.contract.profileHash }\n        : {}),\n    };\n\n    return {\n      kind: 'success' as const,\n      plan: new TypeScriptRenderableSqliteMigration(\n        calls,\n        {\n          from: options.fromContract?.storage.storageHash ?? null,\n          to: options.contract.storage.storageHash,\n        },\n        options.spaceId,\n        destination,\n      ),\n    };\n  }\n\n  private ensureAdditivePolicy(policy: MigrationOperationPolicy): SqlPlannerFailureResult | null {\n    if (!policy.allowedOperationClasses.includes('additive')) {\n      return plannerFailure([\n        {\n          kind: 'unsupportedOperation',\n          summary: 'Migration planner requires additive operations be allowed',\n          why: 'The planner requires the \"additive\" operation class to be allowed in the policy.',\n        },\n      ]);\n    }\n    return null;\n  }\n\n  private collectSchemaIssues(options: SqlMigrationPlannerPlanOptions): readonly SchemaIssue[] {\n    const allowed = options.policy.allowedOperationClasses;\n    const strict = allowed.includes('widening') || allowed.includes('destructive');\n    const verifyResult = verifySqlSchema({\n      contract: options.contract,\n      schema: options.schema,\n      strict,\n      typeMetadataRegistry: new Map(),\n      frameworkComponents: options.frameworkComponents,\n      normalizeDefault: parseSqliteDefault,\n      normalizeNativeType: normalizeSqliteNativeType,\n    });\n    return verifyResult.schema.issues;\n  }\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;AA0DA,SAAgB,QACd,SACA,aACA,WAC0B;CAC1B,OAAO,QAAQ,WAAW,cAAc,OAAO;AACjD;;;;;;;;;AAUA,SAAgB,2BAA2B,OAAkD;CAC3F,OAAO,MAAM,eAAe;AAC9B;AAkBA,MAAM,uBAAuB,IAAI,IAAyB,CAAC,oBAAoB,iBAAiB,CAAC;AAEjG,MAAM,0BAA0B,IAAI,IAAyB;CAC3D;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;AAED,SAAS,cAAc,OAAuD;CAC5E,IAAI,MAAM,SAAS,uBAAuB,OAAO;CACjD,IAAI,CAAC,MAAM,OAAO,OAAO;CACzB,IAAI,MAAM,SAAS,wBAEjB,OAAO,MAAM,aAAa,SAAS,aAAa;CAElD,IAAI,qBAAqB,IAAI,MAAM,IAAI,GAAG,OAAO;CACjD,IAAI,wBAAwB,IAAI,MAAM,IAAI,GAAG,OAAO;CACpD,OAAO;AACT;;;;;;;AAQA,MAAa,yBAAgD,QAAQ,QAAQ;CAC3E,MAAM,0BAAU,IAAI,IAGlB;CACF,MAAM,2BAAW,IAAI,IAAiB;CAEtC,KAAK,MAAM,SAAS,QAAQ;EAC1B,MAAM,MAAM,cAAc,KAAK;EAC/B,IAAI,CAAC,KAAK;EACV,IAAI,MAAM,SAAS,uBAAuB;EAC1C,IAAI,CAAC,MAAM,OAAO;EAClB,MAAM,QAAQ,MAAM;EACpB,MAAM,QAAQ,QAAQ,IAAI,KAAK;EAC/B,IAAI,OAAO;GACT,MAAM,OAAO,KAAK,KAAK;GACvB,IAAI,QAAQ,eAAe,MAAM,iBAAiB;EACpD,OACE,QAAQ,IAAI,OAAO;GACjB,QAAQ,CAAC,KAAK;GACd,gBAAgB,QAAQ;GACxB,aAAa,2BAA2B,KAAK;EAC/C,CAAC;EAEH,SAAS,IAAI,KAAK;CACpB;CAEA,IAAI,QAAQ,SAAS,GAAG,OAAO,EAAE,MAAM,WAAW;CAElD,MAAM,QAA+B,CAAC;CACtC,KAAK,MAAM,CAAC,WAAW,UAAU,SAAS;EACxC,MAAM,gBAAgB,QAAQ,IAAI,WAAW,SAAS,MAAM,aAAa,SAAS;EAClF,MAAM,cAAc,IAAI,OAAO,OAAO;EACtC,IAAI,CAAC,iBAAiB,CAAC,aAAa;EACpC,MAAM,iBAA0C,MAAM,iBAClD,gBACA;EAIJ,MAAM,YAAY,YAAY,eAAe,IAAI,YAAY;EAE7D,MAAM,sCAAsB,IAAI,IAAY;EAC5C,MAAM,UAA6B,CAAC;EACpC,KAAK,MAAM,OAAO,cAAc,SAAS;GACvC,MAAM,MAAM,IAAI,QAAQ,KAAK,GAAG;GAChC,IAAI,oBAAoB,IAAI,GAAG,GAAG;GAClC,oBAAoB,IAAI,GAAG;GAC3B,QAAQ,KAAK;IACX,MAAM,IAAI,QAAQ,iBAAiB,WAAW,IAAI,OAAO;IACzD,SAAS,IAAI;GACf,CAAC;EACH;EACA,KAAK,MAAM,MAAM,cAAc,aAAa;GAC1C,IAAI,GAAG,UAAU,OAAO;GACxB,MAAM,MAAM,GAAG,OAAO,QAAQ,KAAK,GAAG;GACtC,IAAI,oBAAoB,IAAI,GAAG,GAAG;GAClC,oBAAoB,IAAI,GAAG;GAC3B,QAAQ,KAAK;IACX,MAAM,iBAAiB,WAAW,GAAG,OAAO,OAAO;IACnD,SAAS,GAAG,OAAO;GACrB,CAAC;EACH;EAEA,MAAM,KACJ,IAAI,kBAAkB;GACpB;GACA,eAAe;GACf,mBAAmB,OAAO,KAAK,YAAY,OAAO;GAClD;GACA,SAAS,qBAAqB,WAAW,MAAM,MAAM;GACrD,YAAY,wBAAwB,WAAW,MAAM,QAAQ,SAAS;GACtE;EACF,CAAC,CACH;CACF;CAEA,OAAO;EACL,MAAM;EACN,QAAQ,OAAO,QAAQ,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC;EAC7C;EACA,QAAQ;CACV;AACF;;;;;;;;;;;;;;;;;;;;;AA0BA,MAAa,yCAAgE,QAAQ,QAAQ;CAC3F,IAAI,CAAC,IAAI,OAAO,wBAAwB,SAAS,MAAM,GACrD,OAAO,EAAE,MAAM,WAAW;CAG5B,MAAM,QAA+B,CAAC;CACtC,KAAK,MAAM,SAAS,QAAQ;EAC1B,IAAI,MAAM,SAAS,wBAAwB;EAC3C,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QAAQ;EAInC,IAAI,MAAM,aAAa,QAAQ;EAE/B,MAAM,cAAc,2BAA2B,KAAK;EACpD,MAAM,SAAS,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,KAAK,GAAG,QAAQ,MAAM;EACxF,IAAI,CAAC,UAAU,OAAO,aAAa,MAAM;EAEzC,MAAM,KACJ,IAAI,kBACF,2BAA2B,MAAM,MAAM,GAAG,MAAM,UAChD,sBAAsB,MAAM,MAAM,KAAK,MAAM,OAAO,+BACpD,MAAM,OACN,MAAM,MACR,CACF;CACF;CAEA,IAAI,MAAM,WAAW,GAAG,OAAO,EAAE,MAAM,WAAW;CAElD,OAAO;EACL,MAAM;EACN;EACA;EACA,QAAQ;CACV;AACF;AAEA,MAAa,0BAA4D,CACvE,uCACA,qBACF;;;AClNA,MAAM,mBAA2C;CAE/C,mBAAmB;CACnB,yBAAyB;CACzB,mBAAmB;CACnB,aAAa;CACb,eAAe;CACf,cAAc;CACd,aAAa;CAGb,eAAe;CAGf,gBAAgB;CAGhB,eAAe;CACf,sBAAsB;CACtB,iBAAiB;CACjB,kBAAkB;CAGlB,sBAAsB;CACtB,4BAA4B;CAC5B,gBAAgB;CAChB,sBAAsB;AACxB;AAEA,SAAS,WAAW,OAA4B;CAC9C,OAAO,iBAAiB,MAAM,SAAS;AACzC;AAEA,SAAS,SAAS,OAA4B;CAO5C,OAAO,GANO,WAAW,SAAS,OAAO,MAAM,UAAU,WAAW,MAAM,QAAQ,GAMlE,QALD,YAAY,SAAS,OAAO,MAAM,WAAW,WAAW,MAAM,SAAS,GAKvD,QAH7B,uBAAuB,SAAS,OAAO,MAAM,sBAAsB,WAC/D,MAAM,oBACN;AAER;AAMA,SAAS,cACP,MACA,SACA,UACoB;CACpB,OAAO;EACL;EACA;EACA,KAAK;EACL,GAAI,WAAW,EAAE,SAAS,IAAI,CAAC;CACjC;AACF;AAEA,SAAS,qBAAqB,OAAgD;CAC5E,QAAQ,MAAM,MAAd;EACE,KAAK,iBACH,OAAO;EACT,KAAK,wBACH,OAAO;EACT,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,2BACH,OAAO;EACT,KAAK;EACL,KAAK,qBACH,OAAO;EACT,SACE,OAAO;CACX;AACF;AAEA,SAAS,cAAc,OAA4D;CACjF,IAAI,MAAM,SAAS,uBAAuB,OAAO,KAAA;CACjD,MAAM,WAIF,CAAC;CACL,IAAI,MAAM,OAAO,SAAS,QAAQ,MAAM;CACxC,IAAI,MAAM,QAAQ,SAAS,SAAS,MAAM;CAC1C,IAAI,MAAM,mBAAmB,SAAS,aAAa,MAAM;CACzD,OAAO,OAAO,KAAK,QAAQ,EAAE,SAAS,IAAK,WAA0C,KAAA;AACvF;AAEA,SAAS,0BACP,MACA,SACoB;CACpB,MAAM,UAAU,cAAc,KAAK,MAAM,oBAAoB,KAAK,eAAe,6BAA6B,QAAQ,KAAK,IAAI;CAC/H,MAAM,WAAW,gBAAgB,IAAI;CACrC,OAAO;EACL,MAAM,oBAAoB,IAAI;EAC9B;EACA,KAAK;EACL,GAAI,WAAW,EAAE,SAAS,IAAI,CAAC;CACjC;AACF;AAEA,SAAS,oBAAoB,MAAuD;CAClF,QAAQ,KAAK,aAAb;EACE,KAAK;EACL,KAAK,aACH,OAAO;EACT,SACE,OAAO;CACX;AACF;AAEA,SAAS,gBAAgB,MAAmE;CAC1F,MAAM,WAAgE,CAAC;CACvE,IAAI,eAAe,MAAM,SAAS,QAAQ,KAAK;CAC/C,IAAI,gBAAgB,MAAM,SAAS,SAAS,KAAK;CACjD,IAAI,eAAe,MAAM,SAAS,QAAQ,KAAK;CAC/C,OAAO,OAAO,KAAK,QAAQ,EAAE,SAAS,IAAK,WAA0C,KAAA;AACvF;AAEA,SAAS,UAAU,OAA6B;CAC9C,IAAI,MAAM,SAAS,uBAAuB,OAAO;CACjD,OAAO,MAAM,WAAW,KAAA;AAC1B;;;;;;;AAYA,SAAgB,aACd,MACA,QACA,cACA,gCAAgC,OACd;CAMlB,OAAO;EACL;EACA,SAPc,mBACd,QACA,YAKM;EACN,YAJiB,sBAAsB,OAAO,OAIrC;EACT,UAAU,OAAO;EACjB,GAAI,gCAAgC,EAAE,+BAA+B,KAAK,IAAI,CAAC;CACjF;AACF;;;;;;;AAQA,SAAgB,YACd,OACA,cACiB;CACjB,MAAM,UAA8B,OAAO,QAAQ,MAAM,OAAO,EAAE,KAAK,CAAC,MAAM,YAC5E,aAAa,MAAM,QAAQ,cAAc,gCAAgC,OAAO,IAAI,CAAC,CACvF;CACA,MAAM,UAA8B,MAAM,QAAQ,KAAK,OAAO;EAC5D,SAAS,EAAE;EACX,GAAI,EAAE,SAAS,KAAA,IAAY,EAAE,MAAM,EAAE,KAAK,IAAI,CAAC;CACjD,EAAE;CACF,MAAM,cAAsC,MAAM,YAAY,KAAK,QAAQ;EACzE,SAAS,GAAG,OAAO;EACnB,YAAY;GAAE,OAAO,GAAG,OAAO;GAAW,SAAS,GAAG,OAAO;EAAQ;EACrE,YAAY,GAAG,eAAe;EAC9B,GAAI,GAAG,SAAS,KAAA,IAAY,EAAE,MAAM,GAAG,KAAK,IAAI,CAAC;EACjD,GAAI,GAAG,aAAa,KAAA,IAAY,EAAE,UAAU,GAAG,SAAS,IAAI,CAAC;EAC7D,GAAI,GAAG,aAAa,KAAA,IAAY,EAAE,UAAU,GAAG,SAAS,IAAI,CAAC;CAC/D,EAAE;CACF,OAAO;EACL;EACA,GAAI,MAAM,aAAa,EAAE,YAAY,EAAE,SAAS,MAAM,WAAW,QAAQ,EAAE,IAAI,CAAC;EAChF;EACA;CACF;AACF;AAsBA,MAAM,iBAA2C,EAC/C,yBAAyB;CAAC;CAAY;CAAY;CAAe;AAAM,EACzE;AAEA,SAAS,gBAA6B;CACpC,OAAO,EAAE,QAAQ,CAAC,EAAE;AACtB;AAMA,SAAS,eACP,OACA,KAC4D;CAC5D,QAAQ,MAAM,MAAd;EACE,KAAK,iBAAiB;GACpB,IAAI,CAAC,MAAM,OACT,OAAO,MACL,cAAc,wBAAwB,uCAAuC,CAC/E;GAEF,MAAM,cAAc,2BAA2B,KAAK;GACpD,MAAM,gBAAgB,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,KAAK;GAC9E,IAAI,CAAC,eACH,OAAO,MACL,cACE,wBACA,UAAU,MAAM,MAAM,kBAAkB,YAAY,yDACtD,CACF;GAEF,MAAM,YAAY,YAAY,eAAe,IAAI,YAAY;GAC7D,MAAM,QAA+B,CAAC,IAAI,gBAAgB,MAAM,OAAO,SAAS,CAAC;GACjF,MAAM,0CAA0B,IAAI,IAAY;GAChD,KAAK,MAAM,SAAS,cAAc,SAAS;IACzC,MAAM,YAAY,MAAM,QAAQ,iBAAiB,MAAM,OAAO,MAAM,OAAO;IAC3E,wBAAwB,IAAI,MAAM,QAAQ,KAAK,GAAG,CAAC;IACnD,MAAM,KAAK,IAAI,gBAAgB,MAAM,OAAO,WAAW,MAAM,OAAO,CAAC;GACvE;GACA,KAAK,MAAM,MAAM,cAAc,aAAa;IAC1C,IAAI,GAAG,UAAU,OAAO;IACxB,IAAI,wBAAwB,IAAI,GAAG,OAAO,QAAQ,KAAK,GAAG,CAAC,GAAG;IAC9D,MAAM,YAAY,iBAAiB,MAAM,OAAO,GAAG,OAAO,OAAO;IACjE,MAAM,KAAK,IAAI,gBAAgB,MAAM,OAAO,WAAW,GAAG,OAAO,OAAO,CAAC;GAC3E;GACA,OAAO,GAAG,KAAK;EACjB;EAEA,KAAK,kBAAkB;GACrB,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QACzB,OAAO,MACL,cAAc,wBAAwB,+CAA+C,CACvF;GAEF,MAAM,cAAc,2BAA2B,KAAK;GACpD,MAAM,iBAAiB,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,KAAK;GAC/E,MAAM,SAAS,gBAAgB,QAAQ,MAAM;GAC7C,IAAI,CAAC,QACH,OAAO,MACL,cACE,wBACA,WAAW,MAAM,MAAM,KAAK,MAAM,OAAO,8BAC3C,CACF;GAEF,MAAM,gBAAgB;GACtB,MAAM,aAAa,aACjB,MAAM,QACN,QACA,IAAI,cACJ,gBAAgB,gCAAgC,eAAe,MAAM,MAAM,IAAI,KACjF;GACA,OAAO,GAAG,CAAC,IAAI,cAAc,MAAM,OAAO,UAAU,CAAC,CAAC;EACxD;EAEA,KAAK,kBAAkB;GACrB,IAAI,CAAC,MAAM,OACT,OAAO,MAAM,cAAc,qBAAqB,+BAA+B,CAAC;GAElF,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,MAAM,UAC9B,OAAO,MACL,cACE,qBACA,aAAa,MAAM,MAAM,uBAAuB,MAAM,SAAS,YAAY,MAAM,OAAO,IACxF,EAAE,OAAO,MAAM,MAAM,CACvB,CACF;GAEF,MAAM,cAAc,2BAA2B,KAAK;GACpD,MAAM,UAAU,MAAM,SAAS,MAAM,IAAI;GACzC,MAAM,gBAAgB,QAAQ,IAAI,WAAW,SAAS,aAAa,MAAM,KAAK;GAC9E,IAAI,CAAC,eACH,OAAO,MACL,cACE,wBACA,UAAU,MAAM,MAAM,oCACxB,CACF;GAKF,MAAM,YAHgB,cAAc,QAAQ,MACzC,QAAQ,IAAI,QAAQ,KAAK,GAAG,MAAM,QAAQ,KAAK,GAAG,CAEvB,GAAG,QAAQ,iBAAiB,MAAM,OAAO,OAAO;GAC9E,OAAO,GAAG,CAAC,IAAI,gBAAgB,MAAM,OAAO,WAAW,OAAO,CAAC,CAAC;EAClE;EAEA,KAAK;GACH,IAAI,CAAC,MAAM,OACT,OAAO,MAAM,cAAc,wBAAwB,qCAAqC,CAAC;GAG3F,IAAI,oBAAoB,IAAI,MAAM,KAAK,GAAG,OAAO,GAAG,CAAC,CAAC;GACtD,OAAO,GAAG,CAAC,IAAI,cAAc,MAAM,KAAK,CAAC,CAAC;EAG5C,KAAK;GACH,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,QACzB,OAAO,MACL,cAAc,wBAAwB,6CAA6C,CACrF;GAEF,OAAO,GAAG,CAAC,IAAI,eAAe,MAAM,OAAO,MAAM,MAAM,CAAC,CAAC;EAG3D,KAAK;GACH,IAAI,CAAC,MAAM,SAAS,CAAC,MAAM,mBACzB,OAAO,MACL,cAAc,wBAAwB,2CAA2C,CACnF;GAEF,OAAO,GAAG,CAAC,IAAI,cAAc,MAAM,OAAO,MAAM,iBAAiB,CAAC,CAAC;EAOrE,KAAK,uBACH,OAAO,MACL,cACE,wBACA,wFACF,CACF;EAKF,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK;EACL,KAAK,qBACH,OAAO,MAAM,cAAc,qBAAqB,KAAK,GAAG,MAAM,SAAS,cAAc,KAAK,CAAC,CAAC;EAE9F,SACE,OAAO,MACL,cACE,wBACA,yBAA0B,MAAsB,MAClD,CACF;CACJ;AACF;AAcA,SAAS,aAAa,MAAgD;CACpE,QAAQ,KAAK,aAAb;EACE,KAAK,eACH,OAAO;EACT,KAAK,aACH,OAAO;EACT,KAAK,eACH,OAAO;EACT,KAAK,cACH,OAAO;EACT,KAAK,aACH,OAAO;EACT,KAAK,aACH,OAAO;EAET,KAAK,iBACH,OAAO;EACT,SACE,OAAO;CACX;AACF;AAMA,SAAgB,WACd,SAC0D;CAC1D,MAAM,iBAAiB,QAAQ,WAAW,KAAA;CAC1C,MAAM,SAAS,QAAQ,UAAU;CACjC,MAAM,SAAS,QAAQ,UAAU,cAAc;CAC/C,MAAM,sBAAsB,QAAQ,uBAAuB,CAAC;CAE5D,MAAM,UAA2B;EAC/B,YAAY,QAAQ;EACpB,cAAc,QAAQ;EACtB,YAAY,QAAQ;EACpB,cAAc,QAAQ;EACtB;EACA;EACA;CACF;CAEA,MAAM,aAAa,QAAQ,cAAc;CAEzC,IAAI,YAAY,QAAQ;CACxB,MAAM,cAAqC,CAAC;CAC5C,MAAM,kBAAyC,CAAC;CAEhD,KAAK,MAAM,YAAY,YAAY;EACjC,MAAM,SAAS,SAAS,WAAW,OAAO;EAC1C,IAAI,OAAO,SAAS,SAAS;GAC3B,YAAY,OAAO;GACnB,IAAI,OAAO,QACT,YAAY,KAAK,GAAG,OAAO,KAAK;QAEhC,gBAAgB,KAAK,GAAG,OAAO,KAAK;EAExC;CACF;CAEA,MAAM,SAAS,CAAC,GAAG,SAAS,EAAE,MAAM,GAAG,MAAM;EAC3C,MAAM,YAAY,WAAW,CAAC,IAAI,WAAW,CAAC;EAC9C,IAAI,cAAc,GAAG,OAAO;EAC5B,MAAM,OAAO,SAAS,CAAC;EACvB,MAAM,OAAO,SAAS,CAAC;EACvB,OAAO,OAAO,OAAO,KAAK,OAAO,OAAO,IAAI;CAC9C,CAAC;CAED,MAAM,eAAsC,CAAC;CAC7C,MAAM,YAAkC,CAAC;CAEzC,KAAK,MAAM,SAAS,QAAQ;EAC1B,MAAM,SAAS,eAAe,OAAO,OAAO;EAC5C,IAAI,OAAO,IACT,aAAa,KAAK,GAAG,OAAO,KAAK;OAEjC,UAAU,KAAK,OAAO,OAAO;CAEjC;CAIA,MAAM,UAAU,OAAO;CACvB,IAAI,cAAc;CAClB,IAAI,kBAAkB;CACtB,IAAI,eAAe;CACnB,IAAI,gBAAgB;EAClB,MAAM,QAAQ,SAAgC,SAA8B;GAC1E,IAAI,QAAQ,SAAS,KAAK,cAAc,GAAG;IACzC,IAAI,KAAK,IAAI;IACb;GACF;GACA,UAAU,KAAK,0BAA0B,MAAM,OAAO,CAAC;EACzD;EACA,MAAM,oBAA2C,CAAC;EAClD,MAAM,wBAA+C,CAAC;EACtD,MAAM,qBAA4C,CAAC;EACnD,YAAY,QAAQ,KAAK,iBAAiB,CAAC;EAC3C,gBAAgB,QAAQ,KAAK,qBAAqB,CAAC;EACnD,aAAa,QAAQ,KAAK,kBAAkB,CAAC;EAC7C,cAAc;EACd,kBAAkB;EAClB,eAAe;CACjB;CAEA,IAAI,UAAU,SAAS,GACrB,OAAO,MAAM,SAAS;CAKxB,MAAM,WAAW,CAAC,GAAG,cAAc,GAAG,eAAe;CACrD,MAAM,cAAc,QAAsB,SAAS,QAAQ,MAAM,aAAa,CAAC,MAAM,GAAG;CAYxF,OAAO,GAAG,EAAE,OAAA;EATV,GAAG,WAAW,cAAc;EAC5B,GAAG,WAAW,YAAY;EAC1B,GAAG,WAAW,cAAc;EAC5B,GAAG;EACH,GAAG,WAAW,aAAa;EAC3B,GAAG,WAAW,YAAY;EAC1B,GAAG,WAAW,YAAY;CAGZ,EAAE,CAAC;AACrB;;;ACjjBA,SAAgB,+BAAuD;CACrE,OAAO,IAAI,uBAAuB;AACpC;;;;;;;;;;;;;;;AAoBA,IAAa,yBAAb,MAEA;CACE,KAAK,SAsBgB;EACnB,OAAO,KAAK,QAAQ,OAAyC;CAC/D;CAEA,eACE,SACA,SACqC;EACrC,OAAO,IAAI,oCACT,CAAC,GACD;GACE,MAAM,QAAQ;GACd,IAAI,QAAQ;EACd,GACA,OACF;CACF;CAEA,QAAgB,SAA2D;EACzE,MAAM,eAAe,KAAK,qBAAqB,QAAQ,MAAM;EAC7D,IAAI,cAAc,OAAO;EAEzB,MAAM,eAAe,KAAK,oBAAoB,OAAO;EACrD,MAAM,aAAa,yBAAyB,QAAQ,mBAAmB;EACvE,MAAM,eAAe,QAAQ,SAAS,QAAQ,SAAS,CAAC;EAExD,MAAM,SAAS,WAAW;GACxB,QAAQ;GACR,YAAY,QAAQ;GACpB,cAAc,QAAQ;GACtB;GACA;GACA,QAAQ,QAAQ;GAChB,QAAQ,QAAQ;GAChB,qBAAqB,QAAQ;GAC7B,YAAY;EACd,CAAC;EAED,IAAI,CAAC,OAAO,IACV,OAAO,eAAe,OAAO,OAAO;EAStC,MAAM,gBAAgB,yBAAyB;GAC7C,eAAe,QAAQ;GACvB,aAAa,QAAQ;GACrB;EACF,CAAC;EAID,MAAM,QAAQ,CAAC,GAAG,OAAO,MAAM,OAAO,GAAG,aAAa;EAEtD,MAAM,cAA8C;GAClD,aAAa,QAAQ,SAAS,QAAQ;GACtC,GAAI,QAAQ,SAAS,gBAAgB,KAAA,IACjC,EAAE,aAAa,QAAQ,SAAS,YAAY,IAC5C,CAAC;EACP;EAEA,OAAO;GACL,MAAM;GACN,MAAM,IAAI,oCACR,OACA;IACE,MAAM,QAAQ,cAAc,QAAQ,eAAe;IACnD,IAAI,QAAQ,SAAS,QAAQ;GAC/B,GACA,QAAQ,SACR,WACF;EACF;CACF;CAEA,qBAA6B,QAAkE;EAC7F,IAAI,CAAC,OAAO,wBAAwB,SAAS,UAAU,GACrD,OAAO,eAAe,CACpB;GACE,MAAM;GACN,SAAS;GACT,KAAK;EACP,CACF,CAAC;EAEH,OAAO;CACT;CAEA,oBAA4B,SAAiE;EAC3F,MAAM,UAAU,QAAQ,OAAO;EAC/B,MAAM,SAAS,QAAQ,SAAS,UAAU,KAAK,QAAQ,SAAS,aAAa;EAU7E,OATqB,gBAAgB;GACnC,UAAU,QAAQ;GAClB,QAAQ,QAAQ;GAChB;GACA,sCAAsB,IAAI,IAAI;GAC9B,qBAAqB,QAAQ;GAC7B,kBAAkB;GAClB,qBAAqB;EACvB,CACkB,EAAE,OAAO;CAC7B;AACF"}

package/dist/planner.mjs

@@ -1,2 +1,2 @@
-import { n as createSqliteMigrationPlanner, t as SqliteMigrationPlanner } from "./planner-BBvwGy0f.mjs";
+import { n as createSqliteMigrationPlanner, t as SqliteMigrationPlanner } from "./planner-BDZolRbq.mjs";
 export { SqliteMigrationPlanner, createSqliteMigrationPlanner };

package/dist/{statement-builders-BiRmeyJM.mjs → statement-builders-D1Q_i4sb.mjs}

@@ -33,7 +33,10 @@ const ensureMarkerTableStatement = {
 const ensureLedgerTableStatement = {
 	sql: `CREATE TABLE IF NOT EXISTS _prisma_ledger (
     id INTEGER PRIMARY KEY AUTOINCREMENT,
-    created_at TEXT NOT NULL DEFAULT (datetime('now')),
+    created_at TEXT NOT NULL DEFAULT (strftime('%Y-%m-%dT%H:%M:%fZ','now')),
+    space TEXT NOT NULL,
+    migration_name TEXT NOT NULL,
+    migration_hash TEXT NOT NULL,
     origin_core_hash TEXT,
     origin_profile_hash TEXT,
     destination_core_hash TEXT NOT NULL,
@@ -122,6 +125,9 @@ function buildWriteMarkerStatements(input) {
 function buildLedgerInsertStatement(input) {
 	return {
 		sql: `INSERT INTO _prisma_ledger (
+      space,
+      migration_name,
+      migration_hash,
       origin_core_hash,
       origin_profile_hash,
       destination_core_hash,
@@ -136,9 +142,15 @@ function buildLedgerInsertStatement(input) {
       ?,
       ?,
       ?,
+      ?,
+      ?,
+      ?,
       ?
     )`,
 		params: [
+			input.space,
+			input.migrationName,
+			input.migrationHash,
 			input.originStorageHash ?? null,
 			input.originProfileHash ?? null,
 			input.destinationStorageHash,
@@ -155,4 +167,4 @@ function jsonParam(value) {
 //#endregion
 export { buildLedgerInsertStatement as a, ensureMarkerTableStatement as c, MARKER_TABLE_NAME as i, readMarkerStatement as l, CONTROL_TABLE_NAMES as n, buildWriteMarkerStatements as o, LEDGER_TABLE_NAME as r, ensureLedgerTableStatement as s, APP_SPACE_ID$1 as t };
 
-//# sourceMappingURL=statement-builders-BiRmeyJM.mjs.map
+//# sourceMappingURL=statement-builders-D1Q_i4sb.mjs.map

package/dist/statement-builders-D1Q_i4sb.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"statement-builders-D1Q_i4sb.mjs","names":["APP_SPACE_ID"],"sources":["../src/core/migrations/statement-builders.ts"],"sourcesContent":["import { APP_SPACE_ID } from '@prisma-next/framework-components/control';\n\nexport { APP_SPACE_ID };\n\nexport interface SqlStatement {\n  readonly sql: string;\n  readonly params: readonly unknown[];\n}\n\nexport const MARKER_TABLE_NAME = '_prisma_marker';\nexport const LEDGER_TABLE_NAME = '_prisma_ledger';\n\n/**\n * Control tables the runner creates/manages. The planner must not drop these\n * when reconciling \"extra\" tables against the contract.\n */\nexport const CONTROL_TABLE_NAMES: ReadonlySet<string> = new Set([\n  MARKER_TABLE_NAME,\n  LEDGER_TABLE_NAME,\n]);\n\n/**\n * Schema for `_prisma_marker`. The `space TEXT PRIMARY KEY` shape\n * supports one row per loaded contract space (`'app'`,\n * `'<extension-id>'`, …); brand-new databases create this shape\n * directly. The migration runner detects pre-1.0 single-row markers\n * (no `space` column) at boot and fails with a structured\n * `LEGACY_MARKER_SHAPE` error rather than auto-rebuilding the table —\n * see `specs/framework-mechanism.spec.md § 2`.\n */\nexport const ensureMarkerTableStatement: SqlStatement = {\n  sql: `CREATE TABLE IF NOT EXISTS _prisma_marker (\n    space TEXT NOT NULL PRIMARY KEY DEFAULT '${APP_SPACE_ID}',\n    core_hash TEXT NOT NULL,\n    profile_hash TEXT NOT NULL,\n    contract_json TEXT,\n    canonical_version INTEGER,\n    updated_at TEXT NOT NULL DEFAULT (datetime('now')),\n    app_tag TEXT,\n    meta TEXT NOT NULL DEFAULT '{}',\n    invariants TEXT NOT NULL DEFAULT '[]'\n  )`,\n  params: [],\n};\n\nexport const ensureLedgerTableStatement: SqlStatement = {\n  sql: `CREATE TABLE IF NOT EXISTS _prisma_ledger (\n    id INTEGER PRIMARY KEY AUTOINCREMENT,\n    created_at TEXT NOT NULL DEFAULT (strftime('%Y-%m-%dT%H:%M:%fZ','now')),\n    space TEXT NOT NULL,\n    migration_name TEXT NOT NULL,\n    migration_hash TEXT NOT NULL,\n    origin_core_hash TEXT,\n    origin_profile_hash TEXT,\n    destination_core_hash TEXT NOT NULL,\n    destination_profile_hash TEXT,\n    contract_json_before TEXT,\n    contract_json_after TEXT,\n    operations TEXT NOT NULL\n  )`,\n  params: [],\n};\n\nexport function readMarkerStatement(space: string): SqlStatement {\n  return {\n    sql: `SELECT\n      core_hash,\n      profile_hash,\n      contract_json,\n      canonical_version,\n      updated_at,\n      app_tag,\n      meta,\n      invariants\n    FROM _prisma_marker\n    WHERE space = ?`,\n    params: [space],\n  };\n}\n\nexport interface WriteMarkerInput {\n  /**\n   * Logical space identifier for this marker row. Required at every\n   * call site so the type system surfaces every place that needs to\n   * thread the value (rather than letting an `?? APP_SPACE_ID`\n   * fall-through silently collapse per-space markers onto the\n   * `'app'` row). App-plan callers pass {@link APP_SPACE_ID}\n   * (`'app'`); per-extension callers pass the extension's space id.\n   */\n  readonly space: string;\n  readonly storageHash: string;\n  readonly profileHash: string;\n  readonly contractJson?: unknown;\n  readonly canonicalVersion?: number | null;\n  readonly appTag?: string | null;\n  readonly meta?: Record<string, unknown>;\n  /**\n   * Invariants to write into `marker.invariants`. Stored as a JSON-encoded\n   * TEXT array — SQLite has no native array type. The runner is responsible\n   * for merging with the existing column (no SQL-side merge here, unlike\n   * Postgres) before passing them in: BEGIN EXCLUSIVE on the migration\n   * transaction makes the read-then-merge-then-write sequence safe.\n   */\n  readonly invariants: readonly string[];\n}\n\nexport function buildWriteMarkerStatements(input: WriteMarkerInput): {\n  readonly insert: SqlStatement;\n  readonly update: SqlStatement;\n} {\n  const params: readonly unknown[] = [\n    input.space,\n    input.storageHash,\n    input.profileHash,\n    jsonParam(input.contractJson),\n    input.canonicalVersion ?? null,\n    input.appTag ?? null,\n    jsonParam(input.meta ?? {}),\n    jsonParam(input.invariants),\n  ];\n\n  return {\n    insert: {\n      sql: `INSERT INTO _prisma_marker (\n        space,\n        core_hash,\n        profile_hash,\n        contract_json,\n        canonical_version,\n        updated_at,\n        app_tag,\n        meta,\n        invariants\n      ) VALUES (\n        ?,\n        ?,\n        ?,\n        ?,\n        ?,\n        datetime('now'),\n        ?,\n        ?,\n        ?\n      )`,\n      params,\n    },\n    update: {\n      sql: `UPDATE _prisma_marker SET\n        core_hash = ?,\n        profile_hash = ?,\n        contract_json = ?,\n        canonical_version = ?,\n        updated_at = datetime('now'),\n        app_tag = ?,\n        meta = ?,\n        invariants = ?\n      WHERE space = ?`,\n      params: [\n        input.storageHash,\n        input.profileHash,\n        jsonParam(input.contractJson),\n        input.canonicalVersion ?? null,\n        input.appTag ?? null,\n        jsonParam(input.meta ?? {}),\n        jsonParam(input.invariants),\n        input.space,\n      ],\n    },\n  };\n}\n\nexport interface LedgerInsertInput {\n  readonly space: string;\n  readonly migrationName: string;\n  readonly migrationHash: string;\n  readonly originStorageHash?: string | null;\n  readonly originProfileHash?: string | null;\n  readonly destinationStorageHash: string;\n  readonly destinationProfileHash?: string | null;\n  readonly contractJsonBefore?: unknown;\n  readonly contractJsonAfter?: unknown;\n  readonly operations: unknown;\n}\n\nexport function buildLedgerInsertStatement(input: LedgerInsertInput): SqlStatement {\n  return {\n    sql: `INSERT INTO _prisma_ledger (\n      space,\n      migration_name,\n      migration_hash,\n      origin_core_hash,\n      origin_profile_hash,\n      destination_core_hash,\n      destination_profile_hash,\n      contract_json_before,\n      contract_json_after,\n      operations\n    ) VALUES (\n      ?,\n      ?,\n      ?,\n      ?,\n      ?,\n      ?,\n      ?,\n      ?,\n      ?,\n      ?\n    )`,\n    params: [\n      input.space,\n      input.migrationName,\n      input.migrationHash,\n      input.originStorageHash ?? null,\n      input.originProfileHash ?? null,\n      input.destinationStorageHash,\n      input.destinationProfileHash ?? null,\n      jsonParam(input.contractJsonBefore),\n      jsonParam(input.contractJsonAfter),\n      jsonParam(input.operations),\n    ],\n  };\n}\n\nfunction jsonParam(value: unknown): string {\n  return JSON.stringify(value ?? null);\n}\n"],"mappings":";;AASA,MAAa,oBAAoB;AACjC,MAAa,oBAAoB;;;;;AAMjC,MAAa,sBAA2C,IAAI,IAAI,CAC9D,mBACA,iBACF,CAAC;;;;;;;;;;AAWD,MAAa,6BAA2C;CACtD,KAAK;+CACwCA,eAAa;;;;;;;;;;CAU1D,QAAQ,CAAC;AACX;AAEA,MAAa,6BAA2C;CACtD,KAAK;;;;;;;;;;;;;;CAcL,QAAQ,CAAC;AACX;AAEA,SAAgB,oBAAoB,OAA6B;CAC/D,OAAO;EACL,KAAK;;;;;;;;;;;EAWL,QAAQ,CAAC,KAAK;CAChB;AACF;AA4BA,SAAgB,2BAA2B,OAGzC;CAYA,OAAO;EACL,QAAQ;GACN,KAAK;;;;;;;;;;;;;;;;;;;;;GAqBL,QAAA;IAjCF,MAAM;IACN,MAAM;IACN,MAAM;IACN,UAAU,MAAM,YAAY;IAC5B,MAAM,oBAAoB;IAC1B,MAAM,UAAU;IAChB,UAAU,MAAM,QAAQ,CAAC,CAAC;IAC1B,UAAU,MAAM,UAAU;GA0BnB;EACP;EACA,QAAQ;GACN,KAAK;;;;;;;;;;GAUL,QAAQ;IACN,MAAM;IACN,MAAM;IACN,UAAU,MAAM,YAAY;IAC5B,MAAM,oBAAoB;IAC1B,MAAM,UAAU;IAChB,UAAU,MAAM,QAAQ,CAAC,CAAC;IAC1B,UAAU,MAAM,UAAU;IAC1B,MAAM;GACR;EACF;CACF;AACF;AAeA,SAAgB,2BAA2B,OAAwC;CACjF,OAAO;EACL,KAAK;;;;;;;;;;;;;;;;;;;;;;;EAuBL,QAAQ;GACN,MAAM;GACN,MAAM;GACN,MAAM;GACN,MAAM,qBAAqB;GAC3B,MAAM,qBAAqB;GAC3B,MAAM;GACN,MAAM,0BAA0B;GAChC,UAAU,MAAM,kBAAkB;GAClC,UAAU,MAAM,iBAAiB;GACjC,UAAU,MAAM,UAAU;EAC5B;CACF;AACF;AAEA,SAAS,UAAU,OAAwB;CACzC,OAAO,KAAK,UAAU,SAAS,IAAI;AACrC"}

package/dist/statement-builders.d.mts

@@ -54,6 +54,9 @@ declare function buildWriteMarkerStatements(input: WriteMarkerInput): {
   readonly update: SqlStatement;
 };
 interface LedgerInsertInput {
+  readonly space: string;
+  readonly migrationName: string;
+  readonly migrationHash: string;
   readonly originStorageHash?: string | null;
   readonly originProfileHash?: string | null;
   readonly destinationStorageHash: string;

package/dist/statement-builders.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"statement-builders.d.mts","names":[],"sources":["../src/core/migrations/statement-builders.ts"],"mappings":";;;UAIiB,YAAA;EAAA,SACN,GAAA;EAAA,SACA,MAAM;AAAA;AAAA,cAGJ,iBAAA;AAAA,cACA,iBAAA;AADb;;;;AAAA,cAOa,mBAAA,EAAqB,WAAW;AAN7C;;;;AAA8B;AAM9B;;;;AANA,cAoBa,0BAAA,EAA4B,YAaxC;AAAA,cAEY,0BAAA,EAA4B,YAaxC;AAAA,iBAEe,mBAAA,CAAoB,KAAA,WAAgB,YAAY;AAAA,UAiB/C,gBAAA;EAlChB;AAAA;AAED;;;;AAaC;AAED;EAjBC,SA2CU,KAAA;EAAA,SACA,WAAA;EAAA,SACA,WAAA;EAAA,SACA,YAAA;EAAA,SACA,gBAAA;EAAA,SACA,MAAA;EAAA,SACA,IAAA,GAAO,MAAM;EAAA;;;;;;;EAAA,SAQb,UAAA;AAAA;AAAA,iBAGK,0BAAA,CAA2B,KAAA,EAAO,gBAAA;EAAA,SACvC,MAAA,EAAQ,YAAA;EAAA,SACR,MAAA,EAAQ,YAAA;AAAA;AAAA,UA+DF,iBAAA;EAAA,SACN,iBAAA;EAAA,SACA,iBAAA;EAAA,SACA,sBAAA;EAAA,SACA,sBAAA;EAAA,SACA,kBAAA;EAAA,SACA,iBAAA;EAAA,SACA,UAAA;AAAA;AAAA,iBAGK,0BAAA,CAA2B,KAAA,EAAO,iBAAA,GAAoB,YAAY"}
+{"version":3,"file":"statement-builders.d.mts","names":[],"sources":["../src/core/migrations/statement-builders.ts"],"mappings":";;;UAIiB,YAAA;EAAA,SACN,GAAA;EAAA,SACA,MAAM;AAAA;AAAA,cAGJ,iBAAA;AAAA,cACA,iBAAA;AADb;;;;AAAA,cAOa,mBAAA,EAAqB,WAAW;AAN7C;;;;AAA8B;AAM9B;;;;AANA,cAoBa,0BAAA,EAA4B,YAaxC;AAAA,cAEY,0BAAA,EAA4B,YAgBxC;AAAA,iBAEe,mBAAA,CAAoB,KAAA,WAAgB,YAAY;AAAA,UAiB/C,gBAAA;EArChB;AAAA;AAED;;;;AAgBC;AAED;EApBC,SA8CU,KAAA;EAAA,SACA,WAAA;EAAA,SACA,WAAA;EAAA,SACA,YAAA;EAAA,SACA,gBAAA;EAAA,SACA,MAAA;EAAA,SACA,IAAA,GAAO,MAAM;EAAA;;;;;;;EAAA,SAQb,UAAA;AAAA;AAAA,iBAGK,0BAAA,CAA2B,KAAA,EAAO,gBAAA;EAAA,SACvC,MAAA,EAAQ,YAAA;EAAA,SACR,MAAA,EAAQ,YAAA;AAAA;AAAA,UA+DF,iBAAA;EAAA,SACN,KAAA;EAAA,SACA,aAAA;EAAA,SACA,aAAA;EAAA,SACA,iBAAA;EAAA,SACA,iBAAA;EAAA,SACA,sBAAA;EAAA,SACA,sBAAA;EAAA,SACA,kBAAA;EAAA,SACA,iBAAA;EAAA,SACA,UAAA;AAAA;AAAA,iBAGK,0BAAA,CAA2B,KAAA,EAAO,iBAAA,GAAoB,YAAY"}

package/dist/statement-builders.mjs

@@ -1,2 +1,2 @@
-import { a as buildLedgerInsertStatement, c as ensureMarkerTableStatement, i as MARKER_TABLE_NAME, l as readMarkerStatement, n as CONTROL_TABLE_NAMES, o as buildWriteMarkerStatements, r as LEDGER_TABLE_NAME, s as ensureLedgerTableStatement, t as APP_SPACE_ID } from "./statement-builders-BiRmeyJM.mjs";
+import { a as buildLedgerInsertStatement, c as ensureMarkerTableStatement, i as MARKER_TABLE_NAME, l as readMarkerStatement, n as CONTROL_TABLE_NAMES, o as buildWriteMarkerStatements, r as LEDGER_TABLE_NAME, s as ensureLedgerTableStatement, t as APP_SPACE_ID } from "./statement-builders-D1Q_i4sb.mjs";
 export { APP_SPACE_ID, CONTROL_TABLE_NAMES, LEDGER_TABLE_NAME, MARKER_TABLE_NAME, buildLedgerInsertStatement, buildWriteMarkerStatements, ensureLedgerTableStatement, ensureMarkerTableStatement, readMarkerStatement };

package/package.json

@@ -1,30 +1,30 @@
 {
   "name": "@prisma-next/target-sqlite",
-  "version": "0.12.0-dev.1",
+  "version": "0.12.0-dev.11",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "dependencies": {
-    "@prisma-next/cli": "0.12.0-dev.1",
-    "@prisma-next/contract": "0.12.0-dev.1",
-    "@prisma-next/errors": "0.12.0-dev.1",
-    "@prisma-next/family-sql": "0.12.0-dev.1",
-    "@prisma-next/framework-components": "0.12.0-dev.1",
-    "@prisma-next/migration-tools": "0.12.0-dev.1",
-    "@prisma-next/sql-contract": "0.12.0-dev.1",
-    "@prisma-next/sql-errors": "0.12.0-dev.1",
-    "@prisma-next/sql-relational-core": "0.12.0-dev.1",
-    "@prisma-next/sql-runtime": "0.12.0-dev.1",
-    "@prisma-next/sql-schema-ir": "0.12.0-dev.1",
-    "@prisma-next/ts-render": "0.12.0-dev.1",
-    "@prisma-next/utils": "0.12.0-dev.1",
+    "@prisma-next/cli": "0.12.0-dev.11",
+    "@prisma-next/contract": "0.12.0-dev.11",
+    "@prisma-next/errors": "0.12.0-dev.11",
+    "@prisma-next/family-sql": "0.12.0-dev.11",
+    "@prisma-next/framework-components": "0.12.0-dev.11",
+    "@prisma-next/migration-tools": "0.12.0-dev.11",
+    "@prisma-next/sql-contract": "0.12.0-dev.11",
+    "@prisma-next/sql-errors": "0.12.0-dev.11",
+    "@prisma-next/sql-relational-core": "0.12.0-dev.11",
+    "@prisma-next/sql-runtime": "0.12.0-dev.11",
+    "@prisma-next/sql-schema-ir": "0.12.0-dev.11",
+    "@prisma-next/ts-render": "0.12.0-dev.11",
+    "@prisma-next/utils": "0.12.0-dev.11",
     "@standard-schema/spec": "1.1.0"
   },
   "devDependencies": {
-    "@prisma-next/driver-sqlite": "0.12.0-dev.1",
-    "@prisma-next/test-utils": "0.12.0-dev.1",
-    "@prisma-next/tsconfig": "0.12.0-dev.1",
-    "@prisma-next/tsdown": "0.12.0-dev.1",
+    "@prisma-next/driver-sqlite": "0.12.0-dev.11",
+    "@prisma-next/test-utils": "0.12.0-dev.11",
+    "@prisma-next/tsconfig": "0.12.0-dev.11",
+    "@prisma-next/tsdown": "0.12.0-dev.11",
     "tsdown": "0.22.0",
     "typescript": "5.9.3",
     "vitest": "4.1.6"

package/src/core/migrations/runner.ts

@@ -127,7 +127,7 @@ class SqliteMigrationRunner implements SqlMigrationRunner<SqlitePlanTargetDetail
 
     if (!isSelfEdgeNoOp) {
       await this.upsertMarker(driver, options, existingMarker, space);
-      await this.recordLedgerEntry(driver, options, existingMarker, executedOperations);
+      await this.recordLedgerEntries(driver, options, existingMarker, executedOperations);
     }
 
     return runnerSuccess({
@@ -623,25 +623,55 @@ class SqliteMigrationRunner implements SqlMigrationRunner<SqlitePlanTargetDetail
     await this.executeStatement(driver, statement);
   }
 
-  private async recordLedgerEntry(
+  private async recordLedgerEntries(
     driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],
     options: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>,
     existingMarker: ContractMarkerRecord | null,
     executedOperations: readonly SqlMigrationPlanOperation<SqlitePlanTargetDetails>[],
   ): Promise<void> {
-    const ledgerStatement = buildLedgerInsertStatement({
-      originStorageHash: existingMarker?.storageHash ?? null,
-      originProfileHash: existingMarker?.profileHash ?? null,
-      destinationStorageHash: options.plan.destination.storageHash,
-      destinationProfileHash:
-        options.plan.destination.profileHash ??
-        options.destinationContract.profileHash ??
-        options.plan.destination.storageHash,
-      contractJsonBefore: existingMarker?.contractJson ?? null,
-      contractJsonAfter: options.destinationContract,
-      operations: executedOperations,
-    });
-    await this.executeStatement(driver, ledgerStatement);
+    const plan = options.plan;
+    const space = plan.spaceId;
+    const destinationProfileHash =
+      plan.destination.profileHash ??
+      options.destinationContract.profileHash ??
+      plan.destination.storageHash;
+    const edges = options.migrationEdges;
+    const totalEdgeOps = edges.reduce((sum, edge) => sum + edge.operationCount, 0);
+    if (totalEdgeOps !== plan.operations.length) {
+      throw new Error(
+        `Ledger write: plan.operations length (${plan.operations.length}) does not match sum of migrationEdges operationCount (${totalEdgeOps})`,
+      );
+    }
+    // The ledger records the operations as executed — idempotency-skipped ops
+    // are substituted with skip records (empty `execute`) by `applyPlan`, so the
+    // journal reflects what actually ran rather than the raw plan.
+    let offset = 0;
+    const lastIndex = edges.length - 1;
+    for (const [i, edge] of edges.entries()) {
+      const edgeOps = executedOperations.slice(offset, offset + edge.operationCount);
+      offset += edge.operationCount;
+      const isFirst = i === 0;
+      const isLast = i === lastIndex;
+      await this.executeStatement(
+        driver,
+        buildLedgerInsertStatement({
+          space,
+          migrationName: edge.dirName,
+          migrationHash: edge.migrationHash,
+          originStorageHash: edge.from === '' ? null : edge.from,
+          originProfileHash:
+            isFirst && existingMarker?.storageHash === edge.from
+              ? (existingMarker.profileHash ?? null)
+              : null,
+          destinationStorageHash: edge.to,
+          destinationProfileHash:
+            isLast && edge.to === plan.destination.storageHash ? destinationProfileHash : null,
+          contractJsonBefore: isFirst ? (existingMarker?.contractJson ?? null) : null,
+          contractJsonAfter: isLast ? options.destinationContract : null,
+          operations: edgeOps,
+        }),
+      );
+    }
   }
 
   private async beginExclusiveTransaction(

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

@@ -46,7 +46,10 @@ export const ensureMarkerTableStatement: SqlStatement = {
 export const ensureLedgerTableStatement: SqlStatement = {
   sql: `CREATE TABLE IF NOT EXISTS _prisma_ledger (
     id INTEGER PRIMARY KEY AUTOINCREMENT,
-    created_at TEXT NOT NULL DEFAULT (datetime('now')),
+    created_at TEXT NOT NULL DEFAULT (strftime('%Y-%m-%dT%H:%M:%fZ','now')),
+    space TEXT NOT NULL,
+    migration_name TEXT NOT NULL,
+    migration_hash TEXT NOT NULL,
     origin_core_hash TEXT,
     origin_profile_hash TEXT,
     destination_core_hash TEXT NOT NULL,
@@ -167,6 +170,9 @@ export function buildWriteMarkerStatements(input: WriteMarkerInput): {
 }
 
 export interface LedgerInsertInput {
+  readonly space: string;
+  readonly migrationName: string;
+  readonly migrationHash: string;
   readonly originStorageHash?: string | null;
   readonly originProfileHash?: string | null;
   readonly destinationStorageHash: string;
@@ -179,6 +185,9 @@ export interface LedgerInsertInput {
 export function buildLedgerInsertStatement(input: LedgerInsertInput): SqlStatement {
   return {
     sql: `INSERT INTO _prisma_ledger (
+      space,
+      migration_name,
+      migration_hash,
       origin_core_hash,
       origin_profile_hash,
       destination_core_hash,
@@ -193,9 +202,15 @@ export function buildLedgerInsertStatement(input: LedgerInsertInput): SqlStateme
       ?,
       ?,
       ?,
+      ?,
+      ?,
+      ?,
       ?
     )`,
     params: [
+      input.space,
+      input.migrationName,
+      input.migrationHash,
       input.originStorageHash ?? null,
       input.originProfileHash ?? null,
       input.destinationStorageHash,

package/dist/statement-builders-BiRmeyJM.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"statement-builders-BiRmeyJM.mjs","names":["APP_SPACE_ID"],"sources":["../src/core/migrations/statement-builders.ts"],"sourcesContent":["import { APP_SPACE_ID } from '@prisma-next/framework-components/control';\n\nexport { APP_SPACE_ID };\n\nexport interface SqlStatement {\n  readonly sql: string;\n  readonly params: readonly unknown[];\n}\n\nexport const MARKER_TABLE_NAME = '_prisma_marker';\nexport const LEDGER_TABLE_NAME = '_prisma_ledger';\n\n/**\n * Control tables the runner creates/manages. The planner must not drop these\n * when reconciling \"extra\" tables against the contract.\n */\nexport const CONTROL_TABLE_NAMES: ReadonlySet<string> = new Set([\n  MARKER_TABLE_NAME,\n  LEDGER_TABLE_NAME,\n]);\n\n/**\n * Schema for `_prisma_marker`. The `space TEXT PRIMARY KEY` shape\n * supports one row per loaded contract space (`'app'`,\n * `'<extension-id>'`, …); brand-new databases create this shape\n * directly. The migration runner detects pre-1.0 single-row markers\n * (no `space` column) at boot and fails with a structured\n * `LEGACY_MARKER_SHAPE` error rather than auto-rebuilding the table —\n * see `specs/framework-mechanism.spec.md § 2`.\n */\nexport const ensureMarkerTableStatement: SqlStatement = {\n  sql: `CREATE TABLE IF NOT EXISTS _prisma_marker (\n    space TEXT NOT NULL PRIMARY KEY DEFAULT '${APP_SPACE_ID}',\n    core_hash TEXT NOT NULL,\n    profile_hash TEXT NOT NULL,\n    contract_json TEXT,\n    canonical_version INTEGER,\n    updated_at TEXT NOT NULL DEFAULT (datetime('now')),\n    app_tag TEXT,\n    meta TEXT NOT NULL DEFAULT '{}',\n    invariants TEXT NOT NULL DEFAULT '[]'\n  )`,\n  params: [],\n};\n\nexport const ensureLedgerTableStatement: SqlStatement = {\n  sql: `CREATE TABLE IF NOT EXISTS _prisma_ledger (\n    id INTEGER PRIMARY KEY AUTOINCREMENT,\n    created_at TEXT NOT NULL DEFAULT (datetime('now')),\n    origin_core_hash TEXT,\n    origin_profile_hash TEXT,\n    destination_core_hash TEXT NOT NULL,\n    destination_profile_hash TEXT,\n    contract_json_before TEXT,\n    contract_json_after TEXT,\n    operations TEXT NOT NULL\n  )`,\n  params: [],\n};\n\nexport function readMarkerStatement(space: string): SqlStatement {\n  return {\n    sql: `SELECT\n      core_hash,\n      profile_hash,\n      contract_json,\n      canonical_version,\n      updated_at,\n      app_tag,\n      meta,\n      invariants\n    FROM _prisma_marker\n    WHERE space = ?`,\n    params: [space],\n  };\n}\n\nexport interface WriteMarkerInput {\n  /**\n   * Logical space identifier for this marker row. Required at every\n   * call site so the type system surfaces every place that needs to\n   * thread the value (rather than letting an `?? APP_SPACE_ID`\n   * fall-through silently collapse per-space markers onto the\n   * `'app'` row). App-plan callers pass {@link APP_SPACE_ID}\n   * (`'app'`); per-extension callers pass the extension's space id.\n   */\n  readonly space: string;\n  readonly storageHash: string;\n  readonly profileHash: string;\n  readonly contractJson?: unknown;\n  readonly canonicalVersion?: number | null;\n  readonly appTag?: string | null;\n  readonly meta?: Record<string, unknown>;\n  /**\n   * Invariants to write into `marker.invariants`. Stored as a JSON-encoded\n   * TEXT array — SQLite has no native array type. The runner is responsible\n   * for merging with the existing column (no SQL-side merge here, unlike\n   * Postgres) before passing them in: BEGIN EXCLUSIVE on the migration\n   * transaction makes the read-then-merge-then-write sequence safe.\n   */\n  readonly invariants: readonly string[];\n}\n\nexport function buildWriteMarkerStatements(input: WriteMarkerInput): {\n  readonly insert: SqlStatement;\n  readonly update: SqlStatement;\n} {\n  const params: readonly unknown[] = [\n    input.space,\n    input.storageHash,\n    input.profileHash,\n    jsonParam(input.contractJson),\n    input.canonicalVersion ?? null,\n    input.appTag ?? null,\n    jsonParam(input.meta ?? {}),\n    jsonParam(input.invariants),\n  ];\n\n  return {\n    insert: {\n      sql: `INSERT INTO _prisma_marker (\n        space,\n        core_hash,\n        profile_hash,\n        contract_json,\n        canonical_version,\n        updated_at,\n        app_tag,\n        meta,\n        invariants\n      ) VALUES (\n        ?,\n        ?,\n        ?,\n        ?,\n        ?,\n        datetime('now'),\n        ?,\n        ?,\n        ?\n      )`,\n      params,\n    },\n    update: {\n      sql: `UPDATE _prisma_marker SET\n        core_hash = ?,\n        profile_hash = ?,\n        contract_json = ?,\n        canonical_version = ?,\n        updated_at = datetime('now'),\n        app_tag = ?,\n        meta = ?,\n        invariants = ?\n      WHERE space = ?`,\n      params: [\n        input.storageHash,\n        input.profileHash,\n        jsonParam(input.contractJson),\n        input.canonicalVersion ?? null,\n        input.appTag ?? null,\n        jsonParam(input.meta ?? {}),\n        jsonParam(input.invariants),\n        input.space,\n      ],\n    },\n  };\n}\n\nexport interface LedgerInsertInput {\n  readonly originStorageHash?: string | null;\n  readonly originProfileHash?: string | null;\n  readonly destinationStorageHash: string;\n  readonly destinationProfileHash?: string | null;\n  readonly contractJsonBefore?: unknown;\n  readonly contractJsonAfter?: unknown;\n  readonly operations: unknown;\n}\n\nexport function buildLedgerInsertStatement(input: LedgerInsertInput): SqlStatement {\n  return {\n    sql: `INSERT INTO _prisma_ledger (\n      origin_core_hash,\n      origin_profile_hash,\n      destination_core_hash,\n      destination_profile_hash,\n      contract_json_before,\n      contract_json_after,\n      operations\n    ) VALUES (\n      ?,\n      ?,\n      ?,\n      ?,\n      ?,\n      ?,\n      ?\n    )`,\n    params: [\n      input.originStorageHash ?? null,\n      input.originProfileHash ?? null,\n      input.destinationStorageHash,\n      input.destinationProfileHash ?? null,\n      jsonParam(input.contractJsonBefore),\n      jsonParam(input.contractJsonAfter),\n      jsonParam(input.operations),\n    ],\n  };\n}\n\nfunction jsonParam(value: unknown): string {\n  return JSON.stringify(value ?? null);\n}\n"],"mappings":";;AASA,MAAa,oBAAoB;AACjC,MAAa,oBAAoB;;;;;AAMjC,MAAa,sBAA2C,IAAI,IAAI,CAC9D,mBACA,iBACF,CAAC;;;;;;;;;;AAWD,MAAa,6BAA2C;CACtD,KAAK;+CACwCA,eAAa;;;;;;;;;;CAU1D,QAAQ,CAAC;AACX;AAEA,MAAa,6BAA2C;CACtD,KAAK;;;;;;;;;;;CAWL,QAAQ,CAAC;AACX;AAEA,SAAgB,oBAAoB,OAA6B;CAC/D,OAAO;EACL,KAAK;;;;;;;;;;;EAWL,QAAQ,CAAC,KAAK;CAChB;AACF;AA4BA,SAAgB,2BAA2B,OAGzC;CAYA,OAAO;EACL,QAAQ;GACN,KAAK;;;;;;;;;;;;;;;;;;;;;GAqBL,QAAA;IAjCF,MAAM;IACN,MAAM;IACN,MAAM;IACN,UAAU,MAAM,YAAY;IAC5B,MAAM,oBAAoB;IAC1B,MAAM,UAAU;IAChB,UAAU,MAAM,QAAQ,CAAC,CAAC;IAC1B,UAAU,MAAM,UAAU;GA0BnB;EACP;EACA,QAAQ;GACN,KAAK;;;;;;;;;;GAUL,QAAQ;IACN,MAAM;IACN,MAAM;IACN,UAAU,MAAM,YAAY;IAC5B,MAAM,oBAAoB;IAC1B,MAAM,UAAU;IAChB,UAAU,MAAM,QAAQ,CAAC,CAAC;IAC1B,UAAU,MAAM,UAAU;IAC1B,MAAM;GACR;EACF;CACF;AACF;AAYA,SAAgB,2BAA2B,OAAwC;CACjF,OAAO;EACL,KAAK;;;;;;;;;;;;;;;;;EAiBL,QAAQ;GACN,MAAM,qBAAqB;GAC3B,MAAM,qBAAqB;GAC3B,MAAM;GACN,MAAM,0BAA0B;GAChC,UAAU,MAAM,kBAAkB;GAClC,UAAU,MAAM,iBAAiB;GACjC,UAAU,MAAM,UAAU;EAC5B;CACF;AACF;AAEA,SAAS,UAAU,OAAwB;CACzC,OAAO,KAAK,UAAU,SAAS,IAAI;AACrC"}