@prisma-next/target-sqlite 0.11.0-dev.65 → 0.11.0-dev.66

package/dist/control.mjs

@@ -22,40 +22,11 @@ var SqliteMigrationRunner = class {
 	constructor(family) {
 		this.family = family;
 	}
-	async execute(options) {
-		const driver = options.driver;
-		const destinationCheck = this.ensurePlanMatchesDestinationContract(options.plan.destination, options.destinationContract);
-		if (!destinationCheck.ok) return destinationCheck;
-		const policyCheck = this.enforcePolicyCompatibility(options.policy, options.plan.operations);
-		if (!policyCheck.ok) return policyCheck;
-		const fkWasEnabled = await this.readForeignKeysEnabled(driver);
-		if (fkWasEnabled) await driver.query("PRAGMA foreign_keys = OFF");
-		try {
-			await this.beginExclusiveTransaction(driver);
-			let committed = false;
-			try {
-				const result = await this.executeOnConnection(options);
-				if (!result.ok) return result;
-				if (fkWasEnabled) {
-					const fkIntegrityCheck = await this.verifyForeignKeyIntegrity(driver);
-					if (!fkIntegrityCheck.ok) return fkIntegrityCheck;
-				}
-				await this.commitTransaction(driver);
-				committed = true;
-				return result;
-			} finally {
-				if (!committed) await this.rollbackTransaction(driver);
-			}
-		} finally {
-			if (fkWasEnabled) await driver.query("PRAGMA foreign_keys = ON");
-		}
-	}
 	/**
 	* Apply the plan against an already-open connection without managing
-	* the transaction lifecycle. The caller owns BEGIN/COMMIT/ROLLBACK
-	* and any connection-level setup (FK pragma toggle, FK integrity
-	* check). Used by the per-space runner orchestration to fan out
-	* across contract spaces inside one outer transaction.
+	* the transaction lifecycle. The caller ({@link SqliteMigrationRunner.execute})
+	* owns BEGIN/COMMIT/ROLLBACK and any connection-level setup (FK pragma
+	* toggle, FK integrity check).
 	*/
 	async executeOnConnection(options) {
 		const driver = options.driver;
@@ -116,7 +87,7 @@ var SqliteMigrationRunner = class {
 			operationsExecuted
 		});
 	}
-	async executeAcrossSpaces(options) {
+	async execute(options) {
 		const driver = options.driver;
 		const perSpaceOptions = options.perSpaceOptions;
 		if (perSpaceOptions.length === 0) return ok({ perSpaceResults: [] });

package/dist/control.mjs.map

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

package/dist/statement-builders-Dne-LkAV.mjs.map

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

package/dist/statement-builders.d.mts

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

package/package.json

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

package/src/core/migrations/runner.ts

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

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

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