@prisma-next/target-sqlite 0.14.0-dev.49 → 0.14.0-dev.50

package/dist/control.mjs

@@ -1,8 +1,9 @@
 import { t as sqliteTargetDescriptorMeta } from "./descriptor-meta-D1fap-5t.mjs";
-import { a as verifySqliteDatabaseSchema, i as sqliteContractToSchema, n as createSqliteMigrationPlanner, r as diffSqliteDatabaseSchema } from "./planner-EoQcJGzv.mjs";
+import { a as verifySqliteDatabaseSchema, i as sqliteContractToSchema, n as createSqliteMigrationPlanner, r as diffSqliteSchema } from "./planner-DhvFrgPT.mjs";
 import { r as MARKER_TABLE_NAME } from "./control-tables-7KwMyJ6i.mjs";
 import { i as sqliteCreateNamespace, n as SqliteContractSerializer, r as SqliteUnboundDatabase } from "./sqlite-contract-view-BEwi0mUC.mjs";
 import { SqlStorage } from "@prisma-next/sql-contract/types";
+import { relationalNodeEntityKind, relationalNodeGranularity } from "@prisma-next/sql-schema-ir/types";
 import { runnerFailure, runnerSuccess } from "@prisma-next/family-sql/control";
 import { APP_SPACE_ID } from "@prisma-next/framework-components/control";
 import { blindCast } from "@prisma-next/utils/casts";
@@ -394,24 +395,11 @@ const sqliteControlTargetDescriptor = {
 	...sqliteTargetDescriptorMeta,
 	contractSerializer: new SqliteContractSerializer(),
 	schemaVerifier: new SqliteSchemaVerifier(),
-	diffDatabaseSchema(input) {
-		return diffSqliteDatabaseSchema({
-			contract: input.contract,
-			actualSchema: input.schema,
-			strict: input.strict,
-			typeMetadataRegistry: input.typeMetadataRegistry,
-			frameworkComponents: input.frameworkComponents
-		});
-	},
-	verifyDatabaseSchema(input) {
-		return verifySqliteDatabaseSchema({
-			contract: input.contract,
-			actualSchema: input.schema,
-			strict: input.strict,
-			typeMetadataRegistry: input.typeMetadataRegistry,
-			frameworkComponents: input.frameworkComponents
-		});
+	diffSchema(input) {
+		return diffSqliteSchema(input);
 	},
+	classifySubjectGranularity: relationalNodeGranularity,
+	classifyEntityKind: relationalNodeEntityKind,
 	migrations: {
 		createPlanner(adapter) {
 			return createSqliteMigrationPlanner(adapter);

package/dist/control.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"control.mjs","names":[],"sources":["../src/core/migrations/runner.ts","../src/core/sqlite-schema-verifier.ts","../src/core/control-target.ts"],"sourcesContent":["import type { Contract, ContractMarkerRecord } from '@prisma-next/contract/types';\nimport type {\n  MigrationOperationPolicy,\n  SqlControlFamilyInstance,\n  SqlMigrationPlanContractInfo,\n  SqlMigrationPlanOperation,\n  SqlMigrationPlanOperationStep,\n  SqlMigrationRunner,\n  SqlMigrationRunnerExecuteOptions,\n  SqlMigrationRunnerFailure,\n  SqlMigrationRunnerResult,\n  SqlMigrationRunnerSuccessValue,\n} from '@prisma-next/family-sql/control';\nimport { runnerFailure, runnerSuccess } from '@prisma-next/family-sql/control';\nimport type { MigrationRunnerResult } from '@prisma-next/framework-components/control';\nimport { APP_SPACE_ID } from '@prisma-next/framework-components/control';\nimport type { SqlControlDriverInstance, SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { SqlExecuteRequest } from '@prisma-next/sql-relational-core/ast';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { Result } from '@prisma-next/utils/result';\nimport { notOk, ok, okVoid } from '@prisma-next/utils/result';\nimport { MARKER_TABLE_NAME } from '../control-tables';\nimport { verifySqliteDatabaseSchema } from './diff-database-schema';\nimport type { SqlitePlanTargetDetails } from './planner-target-details';\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    // Materialize any async ops before running checks or executing.\n    const planOps = blindCast<\n      readonly SqlMigrationPlanOperation<SqlitePlanTargetDetails>[],\n      'ops were produced by the SQLite planner and are SqlMigrationPlanOperation<SqlitePlanTargetDetails>; MigrationPlan.operations uses the wider framework type to accommodate Promise covariance'\n    >(await Promise.all(options.plan.operations));\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, planOps);\n    if (!policyCheck.ok) return policyCheck;\n\n    const ensureResult = await this.ensureControlTables(driver, options.destinationContract);\n    if (!ensureResult.ok) return ensureResult;\n    const existingMarker = await this.family.readMarker({ driver, space });\n\n    const markerCheck = this.ensureMarkerCompatibility(existingMarker, options.plan);\n    if (!markerCheck.ok) return markerCheck;\n\n    const markerAtDestination = this.markerMatchesDestination(existingMarker, options.plan);\n    const isSelfEdge = options.plan.origin?.storageHash === options.plan.destination.storageHash;\n    const skipOperations = markerAtDestination && options.plan.origin != null && !isSelfEdge;\n\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, planOps);\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 schemaNode = await this.family.introspect({\n        driver,\n        contract: options.destinationContract,\n      });\n      const schemaVerifyResult = verifySqliteDatabaseSchema({\n        contract: options.destinationContract,\n        actualSchema: schemaNode,\n        strict: options.strictVerification ?? true,\n        typeMetadataRegistry: this.family.typeMetadataRegistry,\n        frameworkComponents: options.frameworkComponents,\n      });\n      if (!schemaVerifyResult.ok) {\n        return runnerFailure('SCHEMA_VERIFY_FAILED', schemaVerifyResult.summary, {\n          why: 'The resulting database schema does not satisfy the destination contract.',\n          meta: { 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      const markerResult = await this.upsertMarker(driver, options, existingMarker, space);\n      if (!markerResult.ok) return markerResult;\n      await this.recordLedgerEntries(driver, options, executedOperations);\n    }\n\n    return runnerSuccess({\n      operationsPlanned: planOps.length,\n      operationsExecuted,\n    });\n  }\n\n  async execute(options: {\n    readonly driver: SqlControlDriverInstance<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    ops: readonly SqlMigrationPlanOperation<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 ops) {\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    contract: Contract<SqlStorage>,\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    const legacyDetection = await this.detectLegacyMarkerShape(driver);\n    if (!legacyDetection.ok) {\n      return legacyDetection;\n    }\n    const lowererContext = { contract };\n    for (const query of this.family.bootstrapControlTableQueries()) {\n      await this.executeStatement(driver, await this.family.lowerAst(query, lowererContext));\n    }\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 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<Result<void, SqlMigrationRunnerFailure>> {\n    // Pass the plan's incoming invariants verbatim; `updateMarker` unions them\n    // with the stored set (TS-side, dialect-uniform) under the runner's\n    // BEGIN EXCLUSIVE — no client-side pre-merge here, so there is no\n    // double-merge with the SPI's internal accumulate-dedupe.\n    const destination = {\n      storageHash: options.plan.destination.storageHash,\n      profileHash:\n        options.plan.destination.profileHash ??\n        options.destinationContract.profileHash ??\n        options.plan.destination.storageHash,\n      invariants: options.plan.providedInvariants ?? [],\n    };\n    if (!existingMarker) {\n      await this.family.initMarker({ driver, space, destination });\n      return okVoid();\n    }\n    const updated = await this.family.updateMarker({\n      driver,\n      space,\n      expectedFrom: existingMarker.storageHash,\n      destination,\n    });\n    if (!updated) {\n      return runnerFailure(\n        'MARKER_CAS_FAILURE',\n        'Marker was modified by another process during migration execution.',\n        {\n          meta: {\n            space,\n            expectedStorageHash: existingMarker.storageHash,\n            destinationStorageHash: options.plan.destination.storageHash,\n          },\n        },\n      );\n    }\n    return okVoid();\n  }\n\n  private async recordLedgerEntries(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    options: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>,\n    executedOperations: readonly SqlMigrationPlanOperation<SqlitePlanTargetDetails>[],\n  ): Promise<void> {\n    const plan = options.plan;\n    const space = plan.spaceId;\n    const edges = options.migrationEdges;\n    const totalEdgeOps = edges.reduce((sum, edge) => sum + edge.operationCount, 0);\n    if (totalEdgeOps !== 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    for (const edge of edges) {\n      const edgeOps = executedOperations.slice(offset, offset + edge.operationCount);\n      offset += edge.operationCount;\n      await this.family.writeLedgerEntry({\n        driver,\n        space,\n        entry: {\n          edgeId: `${edge.from}->${edge.to}`,\n          from: edge.from,\n          to: edge.to,\n          migrationName: edge.dirName,\n          migrationHash: edge.migrationHash,\n          operations: edgeOps,\n        },\n      });\n    }\n  }\n\n  private async 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: SqlExecuteRequest,\n  ): Promise<void> {\n    await driver.query(statement.sql, statement.params);\n  }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport { SqlSchemaVerifierBase } from '@prisma-next/family-sql/ir';\nimport type { SchemaIssue, SchemaVerifyOptions } from '@prisma-next/framework-components/control';\nimport type { SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';\n\n/**\n * 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 { Contract } from '@prisma-next/contract/types';\nimport type { SqlControlTargetDescriptor } from '@prisma-next/family-sql/control';\nimport type { SqlControlAdapter } from '@prisma-next/family-sql/control-adapter';\nimport type {\n  ControlTargetInstance,\n  MigrationPlanner,\n  MigrationRunner,\n} from '@prisma-next/framework-components/control';\nimport { SqlStorage } from '@prisma-next/sql-contract/types';\nimport { sqliteTargetDescriptorMeta } from './descriptor-meta';\nimport {\n  diffSqliteDatabaseSchema,\n  sqliteContractToSchema,\n  verifySqliteDatabaseSchema,\n} from './migrations/diff-database-schema';\nimport { createSqliteMigrationPlanner } from './migrations/planner';\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\nconst sqliteControlTargetDescriptor: SqlControlTargetDescriptor<'sqlite', SqlitePlanTargetDetails> =\n  {\n    ...sqliteTargetDescriptorMeta,\n    contractSerializer: new SqliteContractSerializer(),\n    schemaVerifier: new SqliteSchemaVerifier(),\n    diffDatabaseSchema(input) {\n      return diffSqliteDatabaseSchema({\n        contract: input.contract,\n        actualSchema: input.schema,\n        strict: input.strict,\n        typeMetadataRegistry: input.typeMetadataRegistry,\n        frameworkComponents: input.frameworkComponents,\n      });\n    },\n    verifyDatabaseSchema(input) {\n      return verifySqliteDatabaseSchema({\n        contract: input.contract,\n        actualSchema: input.schema,\n        strict: input.strict,\n        typeMetadataRegistry: input.typeMetadataRegistry,\n        frameworkComponents: input.frameworkComponents,\n      });\n    },\n    migrations: {\n      createPlanner(adapter: SqlControlAdapter<'sqlite'>): MigrationPlanner<'sql', 'sqlite'> {\n        return createSqliteMigrationPlanner(adapter);\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 sqliteContractToSchema(contract);\n      },\n    },\n    create(): ControlTargetInstance<'sql', 'sqlite'> {\n      return {\n        familyId: 'sql',\n        targetId: 'sqlite',\n      };\n    },\n    createPlanner(adapter: SqlControlAdapter<'sqlite'>) {\n      return createSqliteMigrationPlanner(adapter);\n    },\n    createRunner(family) {\n      return createSqliteMigrationRunner(family);\n    },\n  };\n\nexport default sqliteControlTargetDescriptor;\n"],"mappings":";;;;;;;;;;;;AA0BA,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;EAG3B,MAAM,UAAU,UAGd,MAAM,QAAQ,IAAI,QAAQ,KAAK,UAAU,CAAC;EAE5C,MAAM,mBAAmB,KAAK,qCAC5B,QAAQ,KAAK,aACb,QAAQ,mBACV;EACA,IAAI,CAAC,iBAAiB,IAAI,OAAO;EAEjC,MAAM,cAAc,KAAK,2BAA2B,QAAQ,QAAQ,OAAO;EAC3E,IAAI,CAAC,YAAY,IAAI,OAAO;EAE5B,MAAM,eAAe,MAAM,KAAK,oBAAoB,QAAQ,QAAQ,mBAAmB;EACvF,IAAI,CAAC,aAAa,IAAI,OAAO;EAC7B,MAAM,iBAAiB,MAAM,KAAK,OAAO,WAAW;GAAE;GAAQ;EAAM,CAAC;EAErE,MAAM,cAAc,KAAK,0BAA0B,gBAAgB,QAAQ,IAAI;EAC/E,IAAI,CAAC,YAAY,IAAI,OAAO;EAE5B,MAAM,sBAAsB,KAAK,yBAAyB,gBAAgB,QAAQ,IAAI;EACtF,MAAM,aAAa,QAAQ,KAAK,QAAQ,gBAAgB,QAAQ,KAAK,YAAY;EACjF,MAAM,iBAAiB,uBAAuB,QAAQ,KAAK,UAAU,QAAQ,CAAC;EAE9E,IAAI;EACJ,IAAI;EAEJ,IAAI,gBAAgB;GAClB,qBAAqB;GACrB,qBAAqB,CAAC;EACxB,OAAO;GACL,MAAM,cAAc,MAAM,KAAK,UAAU,QAAQ,SAAS,OAAO;GACjE,IAAI,CAAC,YAAY,IAAI,OAAO;GAC5B,qBAAqB,YAAY,MAAM;GACvC,qBAAqB,YAAY,MAAM;EACzC;EAEA,IAAI,UAAU,cAAc;GAC1B,MAAM,aAAa,MAAM,KAAK,OAAO,WAAW;IAC9C;IACA,UAAU,QAAQ;GACpB,CAAC;GACD,MAAM,qBAAqB,2BAA2B;IACpD,UAAU,QAAQ;IAClB,cAAc;IACd,QAAQ,QAAQ,sBAAsB;IACtC,sBAAsB,KAAK,OAAO;IAClC,qBAAqB,QAAQ;GAC/B,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,eAAe,MAAM,KAAK,aAAa,QAAQ,SAAS,gBAAgB,KAAK;GACnF,IAAI,CAAC,aAAa,IAAI,OAAO;GAC7B,MAAM,KAAK,oBAAoB,QAAQ,SAAS,kBAAkB;EACpE;EAEA,OAAO,cAAc;GACnB,mBAAmB,QAAQ;GAC3B;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,EAAA,CAC9D,KAAK,EACd,EAAE,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,SACA,KASA;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,KAAK;GAC3B,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,QACA,UACkD;EAClD,MAAM,kBAAkB,MAAM,KAAK,wBAAwB,MAAM;EACjE,IAAI,CAAC,gBAAgB,IACnB,OAAO;EAET,MAAM,iBAAiB,EAAE,SAAS;EAClC,KAAK,MAAM,SAAS,KAAK,OAAO,6BAA6B,GAC3D,MAAM,KAAK,iBAAiB,QAAQ,MAAM,KAAK,OAAO,SAAS,OAAO,cAAc,CAAC;EAEvF,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,CAAC,CAAC,KAAK;EAC7B,EACF,CACF;CACF;CAEA,MAAc,oBACZ,QACA,OACA,WACA,OACkD;EAClD,KAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,SAAS,MAAM,OAAO,MAAM,KAAK,KAAK,KAAK,UAAU,CAAC,CAAC;GAC7D,IAAI,CAAC,KAAK,iBAAiB,OAAO,IAAI,GAEpC,OAAO,cADM,UAAU,aAAa,oBAAoB,oBAGtD,aAAa,UAAU,GAAG,iBAAiB,MAAM,IAAI,KAAK,eAC1D,EACE,MAAM;IACJ,aAAa,UAAU;IACvB;IACA,iBAAiB,KAAK;GACxB,EACF,CACF;EAEJ;EACA,OAAO,OAAO;CAChB;CAEA,MAAc,gBACZ,QACA,OACA,WACkD;EAClD,KAAK,MAAM,QAAQ,OACjB,IAAI;GACF,MAAM,OAAO,MAAM,KAAK,KAAK,KAAK,UAAU,CAAC,CAAC;EAChD,SAAS,OAAgB;GACvB,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,CAAC,CAAC,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,OACkD;EAKlD,MAAM,cAAc;GAClB,aAAa,QAAQ,KAAK,YAAY;GACtC,aACE,QAAQ,KAAK,YAAY,eACzB,QAAQ,oBAAoB,eAC5B,QAAQ,KAAK,YAAY;GAC3B,YAAY,QAAQ,KAAK,sBAAsB,CAAC;EAClD;EACA,IAAI,CAAC,gBAAgB;GACnB,MAAM,KAAK,OAAO,WAAW;IAAE;IAAQ;IAAO;GAAY,CAAC;GAC3D,OAAO,OAAO;EAChB;EAOA,IAAI,CAAC,MANiB,KAAK,OAAO,aAAa;GAC7C;GACA;GACA,cAAc,eAAe;GAC7B;EACF,CAAC,GAEC,OAAO,cACL,sBACA,sEACA,EACE,MAAM;GACJ;GACA,qBAAqB,eAAe;GACpC,wBAAwB,QAAQ,KAAK,YAAY;EACnD,EACF,CACF;EAEF,OAAO,OAAO;CAChB;CAEA,MAAc,oBACZ,QACA,SACA,oBACe;EACf,MAAM,OAAO,QAAQ;EACrB,MAAM,QAAQ,KAAK;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,KAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,UAAU,mBAAmB,MAAM,QAAQ,SAAS,KAAK,cAAc;GAC7E,UAAU,KAAK;GACf,MAAM,KAAK,OAAO,iBAAiB;IACjC;IACA;IACA,OAAO;KACL,QAAQ,GAAG,KAAK,KAAK,IAAI,KAAK;KAC9B,MAAM,KAAK;KACX,IAAI,KAAK;KACT,eAAe,KAAK;KACpB,eAAe,KAAK;KACpB,YAAY;IACd;GACF,CAAC;EACH;CACF;CAEA,MAAc,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,MAAM,OAAO,MAAM,UAAU,KAAK,UAAU,MAAM;CACpD;AACF;;;;;;;;AChpBA,IAAa,uBAAb,cAA0C,sBAAyD;CACjG,sBACE,UACwB;EACxB,OAAO,CAAC;CACV;CAEA,uBACE,UACwB;EACxB,OAAO,CAAC;CACV;AACF;;;ACFA,SAAS,cAAc,UAAoE;CACzF,OAAO,aAAa,QAAQ,SAAS,mBAAmB;AAC1D;AAEA,MAAM,gCACJ;CACE,GAAG;CACH,oBAAoB,IAAI,yBAAyB;CACjD,gBAAgB,IAAI,qBAAqB;CACzC,mBAAmB,OAAO;EACxB,OAAO,yBAAyB;GAC9B,UAAU,MAAM;GAChB,cAAc,MAAM;GACpB,QAAQ,MAAM;GACd,sBAAsB,MAAM;GAC5B,qBAAqB,MAAM;EAC7B,CAAC;CACH;CACA,qBAAqB,OAAO;EAC1B,OAAO,2BAA2B;GAChC,UAAU,MAAM;GAChB,cAAc,MAAM;GACpB,QAAQ,MAAM;GACd,sBAAsB,MAAM;GAC5B,qBAAqB,MAAM;EAC7B,CAAC;CACH;CACA,YAAY;EACV,cAAc,SAAyE;GACrF,OAAO,6BAA6B,OAAO;EAC7C;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,uBAAuB,QAAQ;EACxC;CACF;CACA,SAAiD;EAC/C,OAAO;GACL,UAAU;GACV,UAAU;EACZ;CACF;CACA,cAAc,SAAsC;EAClD,OAAO,6BAA6B,OAAO;CAC7C;CACA,aAAa,QAAQ;EACnB,OAAO,4BAA4B,MAAM;CAC3C;AACF"}
+{"version":3,"file":"control.mjs","names":[],"sources":["../src/core/migrations/runner.ts","../src/core/sqlite-schema-verifier.ts","../src/core/control-target.ts"],"sourcesContent":["import type { Contract, ContractMarkerRecord } from '@prisma-next/contract/types';\nimport type {\n  MigrationOperationPolicy,\n  SqlControlFamilyInstance,\n  SqlMigrationPlanContractInfo,\n  SqlMigrationPlanOperation,\n  SqlMigrationPlanOperationStep,\n  SqlMigrationRunner,\n  SqlMigrationRunnerExecuteOptions,\n  SqlMigrationRunnerFailure,\n  SqlMigrationRunnerResult,\n  SqlMigrationRunnerSuccessValue,\n} from '@prisma-next/family-sql/control';\nimport { runnerFailure, runnerSuccess } from '@prisma-next/family-sql/control';\nimport type { MigrationRunnerResult } from '@prisma-next/framework-components/control';\nimport { APP_SPACE_ID } from '@prisma-next/framework-components/control';\nimport type { SqlControlDriverInstance, SqlStorage } from '@prisma-next/sql-contract/types';\nimport type { SqlExecuteRequest } from '@prisma-next/sql-relational-core/ast';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type { Result } from '@prisma-next/utils/result';\nimport { notOk, ok, okVoid } from '@prisma-next/utils/result';\nimport { MARKER_TABLE_NAME } from '../control-tables';\nimport { verifySqliteDatabaseSchema } from './diff-database-schema';\nimport type { SqlitePlanTargetDetails } from './planner-target-details';\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    // Materialize any async ops before running checks or executing.\n    const planOps = blindCast<\n      readonly SqlMigrationPlanOperation<SqlitePlanTargetDetails>[],\n      'ops were produced by the SQLite planner and are SqlMigrationPlanOperation<SqlitePlanTargetDetails>; MigrationPlan.operations uses the wider framework type to accommodate Promise covariance'\n    >(await Promise.all(options.plan.operations));\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, planOps);\n    if (!policyCheck.ok) return policyCheck;\n\n    const ensureResult = await this.ensureControlTables(driver, options.destinationContract);\n    if (!ensureResult.ok) return ensureResult;\n    const existingMarker = await this.family.readMarker({ driver, space });\n\n    const markerCheck = this.ensureMarkerCompatibility(existingMarker, options.plan);\n    if (!markerCheck.ok) return markerCheck;\n\n    const markerAtDestination = this.markerMatchesDestination(existingMarker, options.plan);\n    const isSelfEdge = options.plan.origin?.storageHash === options.plan.destination.storageHash;\n    const skipOperations = markerAtDestination && options.plan.origin != null && !isSelfEdge;\n\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, planOps);\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 schemaNode = await this.family.introspect({\n        driver,\n        contract: options.destinationContract,\n      });\n      const schemaVerifyResult = verifySqliteDatabaseSchema({\n        contract: options.destinationContract,\n        actualSchema: schemaNode,\n        strict: options.strictVerification ?? true,\n        typeMetadataRegistry: this.family.typeMetadataRegistry,\n        frameworkComponents: options.frameworkComponents,\n      });\n      if (!schemaVerifyResult.ok) {\n        return runnerFailure('SCHEMA_VERIFY_FAILED', schemaVerifyResult.summary, {\n          why: 'The resulting database schema does not satisfy the destination contract.',\n          meta: { 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      const markerResult = await this.upsertMarker(driver, options, existingMarker, space);\n      if (!markerResult.ok) return markerResult;\n      await this.recordLedgerEntries(driver, options, executedOperations);\n    }\n\n    return runnerSuccess({\n      operationsPlanned: planOps.length,\n      operationsExecuted,\n    });\n  }\n\n  async execute(options: {\n    readonly driver: SqlControlDriverInstance<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    ops: readonly SqlMigrationPlanOperation<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 ops) {\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    contract: Contract<SqlStorage>,\n  ): Promise<Result<void, SqlMigrationRunnerFailure>> {\n    const legacyDetection = await this.detectLegacyMarkerShape(driver);\n    if (!legacyDetection.ok) {\n      return legacyDetection;\n    }\n    const lowererContext = { contract };\n    for (const query of this.family.bootstrapControlTableQueries()) {\n      await this.executeStatement(driver, await this.family.lowerAst(query, lowererContext));\n    }\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 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<Result<void, SqlMigrationRunnerFailure>> {\n    // Pass the plan's incoming invariants verbatim; `updateMarker` unions them\n    // with the stored set (TS-side, dialect-uniform) under the runner's\n    // BEGIN EXCLUSIVE — no client-side pre-merge here, so there is no\n    // double-merge with the SPI's internal accumulate-dedupe.\n    const destination = {\n      storageHash: options.plan.destination.storageHash,\n      profileHash:\n        options.plan.destination.profileHash ??\n        options.destinationContract.profileHash ??\n        options.plan.destination.storageHash,\n      invariants: options.plan.providedInvariants ?? [],\n    };\n    if (!existingMarker) {\n      await this.family.initMarker({ driver, space, destination });\n      return okVoid();\n    }\n    const updated = await this.family.updateMarker({\n      driver,\n      space,\n      expectedFrom: existingMarker.storageHash,\n      destination,\n    });\n    if (!updated) {\n      return runnerFailure(\n        'MARKER_CAS_FAILURE',\n        'Marker was modified by another process during migration execution.',\n        {\n          meta: {\n            space,\n            expectedStorageHash: existingMarker.storageHash,\n            destinationStorageHash: options.plan.destination.storageHash,\n          },\n        },\n      );\n    }\n    return okVoid();\n  }\n\n  private async recordLedgerEntries(\n    driver: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>['driver'],\n    options: SqlMigrationRunnerExecuteOptions<SqlitePlanTargetDetails>,\n    executedOperations: readonly SqlMigrationPlanOperation<SqlitePlanTargetDetails>[],\n  ): Promise<void> {\n    const plan = options.plan;\n    const space = plan.spaceId;\n    const edges = options.migrationEdges;\n    const totalEdgeOps = edges.reduce((sum, edge) => sum + edge.operationCount, 0);\n    if (totalEdgeOps !== 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    for (const edge of edges) {\n      const edgeOps = executedOperations.slice(offset, offset + edge.operationCount);\n      offset += edge.operationCount;\n      await this.family.writeLedgerEntry({\n        driver,\n        space,\n        entry: {\n          edgeId: `${edge.from}->${edge.to}`,\n          from: edge.from,\n          to: edge.to,\n          migrationName: edge.dirName,\n          migrationHash: edge.migrationHash,\n          operations: edgeOps,\n        },\n      });\n    }\n  }\n\n  private async 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: SqlExecuteRequest,\n  ): Promise<void> {\n    await driver.query(statement.sql, statement.params);\n  }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport { SqlSchemaVerifierBase } from '@prisma-next/family-sql/ir';\nimport type {\n  SchemaDiffIssue,\n  SchemaVerifyOptions,\n} 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 SchemaDiffIssue[] {\n    return [];\n  }\n\n  protected verifyTargetExtensions(\n    _options: SchemaVerifyOptions<Contract<SqlStorage>, SqlSchemaIR>,\n  ): readonly SchemaDiffIssue[] {\n    return [];\n  }\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { SqlControlTargetDescriptor } from '@prisma-next/family-sql/control';\nimport type { SqlControlAdapter } from '@prisma-next/family-sql/control-adapter';\nimport type {\n  ControlTargetInstance,\n  MigrationPlanner,\n  MigrationRunner,\n} from '@prisma-next/framework-components/control';\nimport { SqlStorage } from '@prisma-next/sql-contract/types';\nimport {\n  relationalNodeEntityKind,\n  relationalNodeGranularity,\n} from '@prisma-next/sql-schema-ir/types';\nimport { sqliteTargetDescriptorMeta } from './descriptor-meta';\nimport { diffSqliteSchema, sqliteContractToSchema } from './migrations/diff-database-schema';\nimport { createSqliteMigrationPlanner } from './migrations/planner';\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\nconst sqliteControlTargetDescriptor: SqlControlTargetDescriptor<'sqlite', SqlitePlanTargetDetails> =\n  {\n    ...sqliteTargetDescriptorMeta,\n    contractSerializer: new SqliteContractSerializer(),\n    schemaVerifier: new SqliteSchemaVerifier(),\n    diffSchema(input) {\n      return diffSqliteSchema(input);\n    },\n    classifySubjectGranularity: relationalNodeGranularity,\n    classifyEntityKind: relationalNodeEntityKind,\n    migrations: {\n      createPlanner(adapter: SqlControlAdapter<'sqlite'>): MigrationPlanner<'sql', 'sqlite'> {\n        return createSqliteMigrationPlanner(adapter);\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 sqliteContractToSchema(contract);\n      },\n    },\n    create(): ControlTargetInstance<'sql', 'sqlite'> {\n      return {\n        familyId: 'sql',\n        targetId: 'sqlite',\n      };\n    },\n    createPlanner(adapter: SqlControlAdapter<'sqlite'>) {\n      return createSqliteMigrationPlanner(adapter);\n    },\n    createRunner(family) {\n      return createSqliteMigrationRunner(family);\n    },\n  };\n\nexport default sqliteControlTargetDescriptor;\n"],"mappings":";;;;;;;;;;;;;AA0BA,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;EAG3B,MAAM,UAAU,UAGd,MAAM,QAAQ,IAAI,QAAQ,KAAK,UAAU,CAAC;EAE5C,MAAM,mBAAmB,KAAK,qCAC5B,QAAQ,KAAK,aACb,QAAQ,mBACV;EACA,IAAI,CAAC,iBAAiB,IAAI,OAAO;EAEjC,MAAM,cAAc,KAAK,2BAA2B,QAAQ,QAAQ,OAAO;EAC3E,IAAI,CAAC,YAAY,IAAI,OAAO;EAE5B,MAAM,eAAe,MAAM,KAAK,oBAAoB,QAAQ,QAAQ,mBAAmB;EACvF,IAAI,CAAC,aAAa,IAAI,OAAO;EAC7B,MAAM,iBAAiB,MAAM,KAAK,OAAO,WAAW;GAAE;GAAQ;EAAM,CAAC;EAErE,MAAM,cAAc,KAAK,0BAA0B,gBAAgB,QAAQ,IAAI;EAC/E,IAAI,CAAC,YAAY,IAAI,OAAO;EAE5B,MAAM,sBAAsB,KAAK,yBAAyB,gBAAgB,QAAQ,IAAI;EACtF,MAAM,aAAa,QAAQ,KAAK,QAAQ,gBAAgB,QAAQ,KAAK,YAAY;EACjF,MAAM,iBAAiB,uBAAuB,QAAQ,KAAK,UAAU,QAAQ,CAAC;EAE9E,IAAI;EACJ,IAAI;EAEJ,IAAI,gBAAgB;GAClB,qBAAqB;GACrB,qBAAqB,CAAC;EACxB,OAAO;GACL,MAAM,cAAc,MAAM,KAAK,UAAU,QAAQ,SAAS,OAAO;GACjE,IAAI,CAAC,YAAY,IAAI,OAAO;GAC5B,qBAAqB,YAAY,MAAM;GACvC,qBAAqB,YAAY,MAAM;EACzC;EAEA,IAAI,UAAU,cAAc;GAC1B,MAAM,aAAa,MAAM,KAAK,OAAO,WAAW;IAC9C;IACA,UAAU,QAAQ;GACpB,CAAC;GACD,MAAM,qBAAqB,2BAA2B;IACpD,UAAU,QAAQ;IAClB,cAAc;IACd,QAAQ,QAAQ,sBAAsB;IACtC,sBAAsB,KAAK,OAAO;IAClC,qBAAqB,QAAQ;GAC/B,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,eAAe,MAAM,KAAK,aAAa,QAAQ,SAAS,gBAAgB,KAAK;GACnF,IAAI,CAAC,aAAa,IAAI,OAAO;GAC7B,MAAM,KAAK,oBAAoB,QAAQ,SAAS,kBAAkB;EACpE;EAEA,OAAO,cAAc;GACnB,mBAAmB,QAAQ;GAC3B;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,EAAA,CAC9D,KAAK,EACd,EAAE,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,SACA,KASA;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,KAAK;GAC3B,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,QACA,UACkD;EAClD,MAAM,kBAAkB,MAAM,KAAK,wBAAwB,MAAM;EACjE,IAAI,CAAC,gBAAgB,IACnB,OAAO;EAET,MAAM,iBAAiB,EAAE,SAAS;EAClC,KAAK,MAAM,SAAS,KAAK,OAAO,6BAA6B,GAC3D,MAAM,KAAK,iBAAiB,QAAQ,MAAM,KAAK,OAAO,SAAS,OAAO,cAAc,CAAC;EAEvF,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,CAAC,CAAC,KAAK;EAC7B,EACF,CACF;CACF;CAEA,MAAc,oBACZ,QACA,OACA,WACA,OACkD;EAClD,KAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,SAAS,MAAM,OAAO,MAAM,KAAK,KAAK,KAAK,UAAU,CAAC,CAAC;GAC7D,IAAI,CAAC,KAAK,iBAAiB,OAAO,IAAI,GAEpC,OAAO,cADM,UAAU,aAAa,oBAAoB,oBAGtD,aAAa,UAAU,GAAG,iBAAiB,MAAM,IAAI,KAAK,eAC1D,EACE,MAAM;IACJ,aAAa,UAAU;IACvB;IACA,iBAAiB,KAAK;GACxB,EACF,CACF;EAEJ;EACA,OAAO,OAAO;CAChB;CAEA,MAAc,gBACZ,QACA,OACA,WACkD;EAClD,KAAK,MAAM,QAAQ,OACjB,IAAI;GACF,MAAM,OAAO,MAAM,KAAK,KAAK,KAAK,UAAU,CAAC,CAAC;EAChD,SAAS,OAAgB;GACvB,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,CAAC,CAAC,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,OACkD;EAKlD,MAAM,cAAc;GAClB,aAAa,QAAQ,KAAK,YAAY;GACtC,aACE,QAAQ,KAAK,YAAY,eACzB,QAAQ,oBAAoB,eAC5B,QAAQ,KAAK,YAAY;GAC3B,YAAY,QAAQ,KAAK,sBAAsB,CAAC;EAClD;EACA,IAAI,CAAC,gBAAgB;GACnB,MAAM,KAAK,OAAO,WAAW;IAAE;IAAQ;IAAO;GAAY,CAAC;GAC3D,OAAO,OAAO;EAChB;EAOA,IAAI,CAAC,MANiB,KAAK,OAAO,aAAa;GAC7C;GACA;GACA,cAAc,eAAe;GAC7B;EACF,CAAC,GAEC,OAAO,cACL,sBACA,sEACA,EACE,MAAM;GACJ;GACA,qBAAqB,eAAe;GACpC,wBAAwB,QAAQ,KAAK,YAAY;EACnD,EACF,CACF;EAEF,OAAO,OAAO;CAChB;CAEA,MAAc,oBACZ,QACA,SACA,oBACe;EACf,MAAM,OAAO,QAAQ;EACrB,MAAM,QAAQ,KAAK;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,KAAK,MAAM,QAAQ,OAAO;GACxB,MAAM,UAAU,mBAAmB,MAAM,QAAQ,SAAS,KAAK,cAAc;GAC7E,UAAU,KAAK;GACf,MAAM,KAAK,OAAO,iBAAiB;IACjC;IACA;IACA,OAAO;KACL,QAAQ,GAAG,KAAK,KAAK,IAAI,KAAK;KAC9B,MAAM,KAAK;KACX,IAAI,KAAK;KACT,eAAe,KAAK;KACpB,eAAe,KAAK;KACpB,YAAY;IACd;GACF,CAAC;EACH;CACF;CAEA,MAAc,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,MAAM,OAAO,MAAM,UAAU,KAAK,UAAU,MAAM;CACpD;AACF;;;;;;;;AC7oBA,IAAa,uBAAb,cAA0C,sBAAyD;CACjG,sBACE,UAC4B;EAC5B,OAAO,CAAC;CACV;CAEA,uBACE,UAC4B;EAC5B,OAAO,CAAC;CACV;AACF;;;ACLA,SAAS,cAAc,UAAoE;CACzF,OAAO,aAAa,QAAQ,SAAS,mBAAmB;AAC1D;AAEA,MAAM,gCACJ;CACE,GAAG;CACH,oBAAoB,IAAI,yBAAyB;CACjD,gBAAgB,IAAI,qBAAqB;CACzC,WAAW,OAAO;EAChB,OAAO,iBAAiB,KAAK;CAC/B;CACA,4BAA4B;CAC5B,oBAAoB;CACpB,YAAY;EACV,cAAc,SAAyE;GACrF,OAAO,6BAA6B,OAAO;EAC7C;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,uBAAuB,QAAQ;EACxC;CACF;CACA,SAAiD;EAC/C,OAAO;GACL,UAAU;GACV,UAAU;EACZ;CACF;CACA,cAAc,SAAsC;EAClD,OAAO,6BAA6B,OAAO;CAC7C;CACA,aAAa,QAAQ;EACnB,OAAO,4BAA4B,MAAM;CAC3C;AACF"}

package/dist/migration.mjs

@@ -1,6 +1,6 @@
-import { f as step } from "./op-factory-call-CMBTpb4M.mjs";
+import { f as step } from "./op-factory-call-D_eYsHTp.mjs";
 import { t as buildTargetDetails } from "./planner-target-details-H8z9TFDg.mjs";
-import { t as SqliteMigration } from "./sqlite-migration-BdT_3SlM.mjs";
+import { t as SqliteMigration } from "./sqlite-migration-D93wCdSD.mjs";
 import { placeholder } from "@prisma-next/errors/migration";
 import { col, fn, foreignKey, lit, primaryKey, unique } from "@prisma-next/sql-relational-core/contract-free";
 import { MigrationCLI } from "@prisma-next/cli/migration-cli";

package/dist/native-type-normalizer.mjs

@@ -1,2 +1,14 @@
-import { t as normalizeSqliteNativeType } from "./native-type-normalizer-CiSyVmMP.mjs";
+//#region src/core/native-type-normalizer.ts
+/**
+* Canonicalizes SQLite native-type tokens for verifier comparison.
+* Lives target-side so the planner / runner / adapter all share the same
+* normalization without crossing the `target-sqlite` ↔ `adapter-sqlite`
+* boundary.
+*/
+function normalizeSqliteNativeType(nativeType) {
+	return nativeType.trim().toLowerCase();
+}
+//#endregion
 export { normalizeSqliteNativeType };
+
+//# sourceMappingURL=native-type-normalizer.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"native-type-normalizer.mjs","names":[],"sources":["../src/core/native-type-normalizer.ts"],"sourcesContent":["/**\n * Canonicalizes SQLite native-type tokens for verifier comparison.\n * Lives target-side so the planner / runner / adapter all share the same\n * normalization without crossing the `target-sqlite` ↔ `adapter-sqlite`\n * boundary.\n */\nexport function normalizeSqliteNativeType(nativeType: string): string {\n  return nativeType.trim().toLowerCase();\n}\n"],"mappings":";;;;;;;AAMA,SAAgB,0BAA0B,YAA4B;CACpE,OAAO,WAAW,KAAK,CAAC,CAAC,YAAY;AACvC"}

package/dist/{op-factory-call-CMBTpb4M.mjs → op-factory-call-D_eYsHTp.mjs}

@@ -1,7 +1,9 @@
-import { n as stripOuterParens } from "./default-normalizer-DuoHj9-O.mjs";
 import { n as escapeLiteral, r as quoteIdentifier } from "./sql-utils-CV8Bdgtc.mjs";
 import { i as tableExistsAst, n as columnExistsAst, r as indexExistsAst, t as createTable } from "./ddl-DrtjQMFK.mjs";
 import { t as buildTargetDetails } from "./planner-target-details-H8z9TFDg.mjs";
+import { n as stripOuterParens } from "./default-normalizer-DuoHj9-O.mjs";
+import { RelationalSchemaNodeKind } from "@prisma-next/sql-schema-ir/types";
+import { blindCast } from "@prisma-next/utils/casts";
 import { ifDefined } from "@prisma-next/utils/defined";
 import { errorUnfilledPlaceholder } from "@prisma-next/errors/migration";
 import { TsExpression, jsonToTsSource } from "@prisma-next/ts-render";
@@ -55,19 +57,6 @@ function buildCreateIndexSql(tableName, indexName, columns, unique = false) {
 function buildDropIndexSql(indexName) {
 	return `DROP INDEX IF EXISTS ${quoteIdentifier(indexName)}`;
 }
-/**
-* True when the column is rendered inline as `INTEGER PRIMARY KEY
-* AUTOINCREMENT`. Requires the column's default to be `autoincrement()` and
-* the column to be the sole member of the table's primary key — anything
-* else falls back to a separate PRIMARY KEY constraint with a default
-* AUTOINCREMENT semantics expressed elsewhere.
-*/
-function isInlineAutoincrementPrimaryKey(table, columnName) {
-	if (table.primaryKey?.columns.length !== 1) return false;
-	if (table.primaryKey.columns[0] !== columnName) return false;
-	const column = table.columns[columnName];
-	return column?.default?.kind === "function" && column.default.expression === "autoincrement()";
-}
 function resolveColumnTypeMetadata(column, storageTypes) {
 	if (!column.typeRef) return column;
 	const referencedType = storageTypes[column.typeRef];
@@ -197,25 +186,27 @@ async function recreateTable(args, lowerer) {
 	};
 }
 /**
-* Build a one-line summary of a recreate-table operation from the schema
+* Build a one-line summary of a recreate-table operation from the schema-diff
 * issues that triggered it. Lives next to `recreateTable` so the planner
 * (which has the issues) can produce the same description the factory
 * used to build inline. Keeping the formatting target-side keeps
-* `RecreateTableCall` issue-free at the IR layer.
+* `RecreateTableCall` issue-free at the IR layer. Each `SchemaDiffIssue`
+* already carries a differ-generated `message`, so this is a plain join
+* rather than a per-kind message builder.
 */
 function buildRecreateSummary(tableName, issues) {
 	return `Recreates table ${tableName} to apply schema changes: ${issues.map((i) => i.message).join("; ")}`;
 }
-const COLUMN_LEVEL_ISSUE_KINDS = new Set([
-	"nullability_mismatch",
-	"default_mismatch",
-	"default_missing",
-	"extra_default",
-	"type_mismatch"
-]);
-const PK_ISSUE_KINDS = new Set(["primary_key_mismatch", "extra_primary_key"]);
-const UNIQUE_ISSUE_KINDS = new Set(["unique_constraint_mismatch", "extra_unique_constraint"]);
-const FK_ISSUE_KINDS = new Set(["foreign_key_mismatch", "extra_foreign_key"]);
+function nodeKindOf(issue) {
+	const node = issue.expected ?? issue.actual;
+	if (node === void 0) return void 0;
+	return blindCast(node).nodeKind;
+}
+/** Mirrors `SqlColumnIR.isEqualTo`'s type comparison, isolated so a `not-equal` column issue's postcheck can target type drift and nullability drift independently. */
+function columnTypeChanged(expected, actual) {
+	if (expected.resolvedNativeType !== void 0 && actual.resolvedNativeType !== void 0) return expected.resolvedNativeType !== actual.resolvedNativeType;
+	return expected.nativeType !== actual.nativeType || Boolean(expected.many) !== Boolean(actual.many);
+}
 /**
 * Returns the columns the contract expects as the table's primary key. Picks
 * up SQLite's inline `INTEGER PRIMARY KEY AUTOINCREMENT` form when no
@@ -229,60 +220,86 @@ function expectedPrimaryKeyColumns(spec) {
 function quoteSqlList(values) {
 	return values.map((v) => `'${escapeLiteral(v)}'`).join(", ");
 }
+function columnNameFromNode(issue) {
+	const node = issue.expected ?? issue.actual;
+	if (node === void 0) return void 0;
+	return blindCast(node).name;
+}
+/**
+* A column-default issue's own node has no back-reference to its owning
+* column — it's a transient child built by `SqlColumnIR.children()`. The
+* column's id (`column:<name>`) is always the diff path's second-to-last
+* segment for a default issue (`[..., tableId, columnId, 'default']`), so
+* the name is recovered from the path rather than the node.
+*/
+function columnNameFromDefaultIssuePath(issue) {
+	const columnId = issue.path[issue.path.length - 2];
+	if (columnId === void 0) return void 0;
+	return columnId.startsWith("column:") ? columnId.slice(7) : columnId;
+}
 /**
 * Per-issue postchecks verifying the recreated table's shape against the
-* contract spec. Column-level issues (`nullability_mismatch`,
-* `default_mismatch`, …) emit one targeted check each; constraint-level
-* issues (`primary_key_mismatch`, `unique_constraint_mismatch`,
-* `foreign_key_mismatch`, plus their `extra_*` siblings) emit one
-* `pragma_*`-driven check per declared constraint in the contract spec, so
-* a recreated table with the right columns but the wrong PK / unique / FK
-* shape fails the postcheck instead of passing silently. Exported so the
-* planner can pre-build the list at construction time and
-* `RecreateTableCall` doesn't have to carry `SchemaIssue` objects through
+* expected spec. Column-level issues (`sql-column` `not-equal`,
+* `sql-column-default` any reason) emit one targeted check each;
+* constraint-level issues (`sql-primary-key`, `sql-unique`, `sql-foreign-key`,
+* any reason) emit one `pragma_*`-driven check per declared constraint in the
+* expected spec, so a recreated table with the right columns but the wrong
+* PK / unique / FK shape fails the postcheck instead of passing silently.
+* Exported so the planner can pre-build the list at construction time and
+* `RecreateTableCall` doesn't have to carry `SchemaDiffIssue` objects through
 * to render time.
 */
 function buildRecreatePostchecks(tableName, issues, spec) {
 	const checks = [];
 	const t = escapeLiteral(tableName);
 	const byName = new Map(spec.columns.map((c) => [c.name, c]));
+	let hasPkIssue = false;
+	let hasUniqueIssue = false;
+	let hasFkIssue = false;
 	for (const issue of issues) {
-		if (issue.kind === "enum_values_changed") continue;
-		if (!COLUMN_LEVEL_ISSUE_KINDS.has(issue.kind)) continue;
-		if (!issue.column) continue;
-		const c = escapeLiteral(issue.column);
-		if (issue.kind === "nullability_mismatch") {
-			let wantNotNull;
-			if (issue.expected === "false") wantNotNull = true;
-			else if (issue.expected === "true") wantNotNull = false;
-			if (wantNotNull !== void 0) checks.push({
-				description: `verify "${issue.column}" nullability on "${tableName}"`,
-				sql: `SELECT COUNT(*) > 0 FROM pragma_table_info('${t}') WHERE name = '${c}' AND "notnull" = ${wantNotNull ? 1 : 0}`
+		const nodeKind = nodeKindOf(issue);
+		if (nodeKind === RelationalSchemaNodeKind.column && issue.reason === "not-equal") {
+			const columnName = columnNameFromNode(issue);
+			if (columnName === void 0) continue;
+			const c = escapeLiteral(columnName);
+			const expected = blindCast(issue.expected);
+			const actual = blindCast(issue.actual);
+			if (expected.nullable !== actual.nullable) checks.push({
+				description: `verify "${columnName}" nullability on "${tableName}"`,
+				sql: `SELECT COUNT(*) > 0 FROM pragma_table_info('${t}') WHERE name = '${c}' AND "notnull" = ${expected.nullable ? 0 : 1}`
 			});
+			if (columnTypeChanged(expected, actual)) {
+				const colSpec = byName.get(columnName);
+				if (colSpec) checks.push({
+					description: `verify "${columnName}" type on "${tableName}"`,
+					sql: `SELECT COUNT(*) > 0 FROM pragma_table_info('${t}') WHERE name = '${c}' AND LOWER(type) = '${escapeLiteral(colSpec.typeSql.toLowerCase())}'`
+				});
+			}
+			continue;
 		}
-		if (issue.kind === "default_mismatch" || issue.kind === "default_missing") {
-			const colSpec = byName.get(issue.column);
+		if (nodeKind === RelationalSchemaNodeKind.columnDefault) {
+			const columnName = columnNameFromDefaultIssuePath(issue);
+			if (columnName === void 0) continue;
+			const c = escapeLiteral(columnName);
+			if (issue.reason === "not-expected") {
+				checks.push({
+					description: `verify "${columnName}" has no default on "${tableName}"`,
+					sql: `SELECT COUNT(*) > 0 FROM pragma_table_info('${t}') WHERE name = '${c}' AND dflt_value IS NULL`
+				});
+				continue;
+			}
+			const colSpec = byName.get(columnName);
 			const expectedRaw = colSpec?.defaultSql.startsWith("DEFAULT ") ? stripOuterParens(colSpec.defaultSql.slice(8)) : null;
 			if (expectedRaw) checks.push({
-				description: `verify "${issue.column}" default on "${tableName}"`,
+				description: `verify "${columnName}" default on "${tableName}"`,
 				sql: `SELECT COUNT(*) > 0 FROM pragma_table_info('${t}') WHERE name = '${c}' AND dflt_value = '${escapeLiteral(expectedRaw)}'`
 			});
+			continue;
 		}
-		if (issue.kind === "type_mismatch") {
-			const colSpec = byName.get(issue.column);
-			if (colSpec) checks.push({
-				description: `verify "${issue.column}" type on "${tableName}"`,
-				sql: `SELECT COUNT(*) > 0 FROM pragma_table_info('${t}') WHERE name = '${c}' AND LOWER(type) = '${escapeLiteral(colSpec.typeSql.toLowerCase())}'`
-			});
-		}
-		if (issue.kind === "extra_default") checks.push({
-			description: `verify "${issue.column}" has no default on "${tableName}"`,
-			sql: `SELECT COUNT(*) > 0 FROM pragma_table_info('${t}') WHERE name = '${c}' AND dflt_value IS NULL`
-		});
+		if (nodeKind === RelationalSchemaNodeKind.primaryKey) hasPkIssue = true;
+		if (nodeKind === RelationalSchemaNodeKind.unique) hasUniqueIssue = true;
+		if (nodeKind === RelationalSchemaNodeKind.foreignKey) hasFkIssue = true;
 	}
-	const hasPkIssue = issues.some((i) => PK_ISSUE_KINDS.has(i.kind));
-	const hasUniqueIssue = issues.some((i) => UNIQUE_ISSUE_KINDS.has(i.kind));
-	const hasFkIssue = issues.some((i) => FK_ISSUE_KINDS.has(i.kind));
 	if (hasPkIssue) {
 		const pkColumns = expectedPrimaryKeyColumns(spec);
 		const colCount = pkColumns.length;
@@ -790,6 +807,6 @@ var RawSqlCall = class extends SqliteOpFactoryCallNode {
 	}
 };
 //#endregion
-export { resolveColumnTypeMetadata as _, DropColumnCall as a, RawSqlCall as c, buildRecreateSummary as d, step as f, renderDefaultLiteral as g, isInlineAutoincrementPrimaryKey as h, DataTransformCall as i, RecreateTableCall as l, buildColumnTypeSql as m, CreateIndexCall as n, DropIndexCall as o, buildColumnDefaultSql as p, CreateTableCall as r, DropTableCall as s, AddColumnCall as t, buildRecreatePostchecks as u };
+export { DropColumnCall as a, RawSqlCall as c, buildRecreateSummary as d, step as f, renderDefaultLiteral as h, DataTransformCall as i, RecreateTableCall as l, buildColumnTypeSql as m, CreateIndexCall as n, DropIndexCall as o, buildColumnDefaultSql as p, CreateTableCall as r, DropTableCall as s, AddColumnCall as t, buildRecreatePostchecks as u };
 
-//# sourceMappingURL=op-factory-call-CMBTpb4M.mjs.map
+//# sourceMappingURL=op-factory-call-D_eYsHTp.mjs.map