@prisma-next/cli 0.1.0-dev.2 → 0.1.0-dev.21

package/dist/cli.js

@@ -1,7 +1,7 @@
 #!/usr/bin/env node
 
 // src/cli.ts
-import { Command as Command6 } from "commander";
+import { Command as Command7 } from "commander";
 
 // src/commands/contract-emit.ts
 import { mkdirSync, writeFileSync } from "fs";
@@ -165,6 +165,15 @@ function formatErrorOutput(error, flags) {
     const whereLine = error.where.line ? `${error.where.path}:${error.where.line}` : error.where.path;
     lines.push(`${prefix}${formatDimText(`  Where: ${whereLine}`)}`);
   }
+  if (isVerbose(flags, 1) && error.meta?.["conflicts"]) {
+    const conflicts = error.meta["conflicts"];
+    if (conflicts.length > 0) {
+      lines.push(`${prefix}${formatDimText("  Conflicts:")}`);
+      for (const conflict of conflicts) {
+        lines.push(`${prefix}${formatDimText(`    - [${conflict.kind}] ${conflict.summary}`)}`);
+      }
+    }
+  }
   if (error.docsUrl && isVerbose(flags, 1)) {
     lines.push(formatDimText(error.docsUrl));
   }
@@ -598,6 +607,69 @@ function formatSignOutput(result, flags) {
 function formatSignJson(result) {
   return JSON.stringify(result, null, 2);
 }
+function formatDbInitPlanOutput(result, flags) {
+  if (flags.quiet) {
+    return "";
+  }
+  const lines = [];
+  const prefix = createPrefix(flags);
+  const useColor = flags.color !== false;
+  const formatGreen = createColorFormatter(useColor, green);
+  const formatDimText = (text) => formatDim(useColor, text);
+  const operationCount = result.plan?.operations.length ?? 0;
+  lines.push(`${prefix}${formatGreen("\u2714")} Planned ${operationCount} operation(s)`);
+  if (result.plan?.operations && result.plan.operations.length > 0) {
+    lines.push(`${prefix}${formatDimText("\u2502")}`);
+    for (let i = 0; i < result.plan.operations.length; i++) {
+      const op = result.plan.operations[i];
+      if (!op) continue;
+      const isLast = i === result.plan.operations.length - 1;
+      const treeChar = isLast ? "\u2514" : "\u251C";
+      const opClass = formatDimText(`[${op.operationClass}]`);
+      lines.push(`${prefix}${formatDimText(treeChar)}\u2500 ${op.label} ${opClass}`);
+    }
+  }
+  if (result.plan?.destination) {
+    lines.push(`${prefix}`);
+    lines.push(
+      `${prefix}${formatDimText(`Destination hash: ${result.plan.destination.coreHash}`)}`
+    );
+  }
+  if (isVerbose(flags, 1)) {
+    lines.push(`${prefix}${formatDimText(`Total time: ${result.timings.total}ms`)}`);
+  }
+  lines.push(`${prefix}`);
+  lines.push(`${prefix}${formatDimText("This is a dry run. No changes were applied.")}`);
+  lines.push(`${prefix}${formatDimText("Run without --plan to apply changes.")}`);
+  return lines.join("\n");
+}
+function formatDbInitApplyOutput(result, flags) {
+  if (flags.quiet) {
+    return "";
+  }
+  const lines = [];
+  const prefix = createPrefix(flags);
+  const useColor = flags.color !== false;
+  const formatGreen = createColorFormatter(useColor, green);
+  const formatDimText = (text) => formatDim(useColor, text);
+  if (result.ok) {
+    const executed = result.execution?.operationsExecuted ?? 0;
+    lines.push(`${prefix}${formatGreen("\u2714")} Applied ${executed} operation(s)`);
+    if (result.marker) {
+      lines.push(`${prefix}${formatDimText(`  Marker written: ${result.marker.coreHash}`)}`);
+      if (result.marker.profileHash) {
+        lines.push(`${prefix}${formatDimText(`  Profile hash: ${result.marker.profileHash}`)}`);
+      }
+    }
+    if (isVerbose(flags, 1)) {
+      lines.push(`${prefix}${formatDimText(`  Total time: ${result.timings.total}ms`)}`);
+    }
+  }
+  return lines.join("\n");
+}
+function formatDbInitJson(result) {
+  return JSON.stringify(result, null, 2);
+}
 var LEFT_COLUMN_WIDTH = 20;
 var RIGHT_COLUMN_MIN_WIDTH = 40;
 var RIGHT_COLUMN_MAX_WIDTH = 90;
@@ -921,8 +993,10 @@ import {
   errorFileNotFound,
   errorHashMismatch,
   errorMarkerMissing,
+  errorMigrationPlanningFailed,
   errorQueryRunnerFactoryRequired,
   errorRuntime,
+  errorTargetMigrationNotSupported,
   errorTargetMismatch,
   errorUnexpected as errorUnexpected2
 } from "@prisma-next/core-control-plane/errors";
@@ -967,46 +1041,23 @@ function handleResult(result, flags, onSuccess) {
 // src/utils/spinner.ts
 import ora from "ora";
 async function withSpinner(operation, options) {
-  const { message, flags, delayThreshold = 100 } = options;
+  const { message, flags } = options;
   const shouldShowSpinner = !flags.quiet && flags.json !== "object" && process.stdout.isTTY;
   if (!shouldShowSpinner) {
     return operation();
   }
   const startTime = Date.now();
-  let spinner = null;
-  let timeoutId = null;
-  let operationCompleted = false;
-  timeoutId = setTimeout(() => {
-    if (!operationCompleted) {
-      spinner = ora({
-        text: message,
-        color: flags.color !== false ? "cyan" : false
-      }).start();
-    }
-  }, delayThreshold);
+  const spinner = ora({
+    text: message,
+    color: flags.color !== false ? "cyan" : false
+  }).start();
   try {
     const result = await operation();
-    operationCompleted = true;
-    if (timeoutId) {
-      clearTimeout(timeoutId);
-      timeoutId = null;
-    }
-    if (spinner !== null) {
-      const elapsed = Date.now() - startTime;
-      spinner.succeed(`${message} (${elapsed}ms)`);
-    }
+    const elapsed = Date.now() - startTime;
+    spinner.succeed(`${message} (${elapsed}ms)`);
     return result;
   } catch (error) {
-    operationCompleted = true;
-    if (timeoutId) {
-      clearTimeout(timeoutId);
-      timeoutId = null;
-    }
-    if (spinner !== null) {
-      spinner.fail(
-        `${message} failed: ${error instanceof Error ? error.message : String(error)}`
-      );
-    }
+    spinner.fail(`${message} failed: ${error instanceof Error ? error.message : String(error)}`);
     throw error;
   }
 }
@@ -1121,18 +1172,330 @@ function createContractEmitCommand() {
   return command;
 }
 
-// src/commands/db-introspect.ts
+// src/commands/db-init.ts
 import { readFile } from "fs/promises";
 import { relative as relative3, resolve as resolve3 } from "path";
+import { Command as Command2 } from "commander";
+
+// src/utils/framework-components.ts
+function assertFrameworkComponentsCompatible(expectedFamilyId, expectedTargetId, frameworkComponents) {
+  for (let i = 0; i < frameworkComponents.length; i++) {
+    const component = frameworkComponents[i];
+    if (typeof component !== "object" || component === null) {
+      throw errorConfigValidation("frameworkComponents[]", {
+        why: `Framework component at index ${i} must be an object`
+      });
+    }
+    const record = component;
+    if (!Object.hasOwn(record, "kind")) {
+      throw errorConfigValidation("frameworkComponents[].kind", {
+        why: `Framework component at index ${i} must have 'kind' property`
+      });
+    }
+    const kind = record["kind"];
+    if (kind !== "target" && kind !== "adapter" && kind !== "extension" && kind !== "driver") {
+      throw errorConfigValidation("frameworkComponents[].kind", {
+        why: `Framework component at index ${i} has invalid kind '${String(kind)}' (must be 'target', 'adapter', 'extension', or 'driver')`
+      });
+    }
+    if (!Object.hasOwn(record, "familyId")) {
+      throw errorConfigValidation("frameworkComponents[].familyId", {
+        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'familyId' property`
+      });
+    }
+    const familyId = record["familyId"];
+    if (familyId !== expectedFamilyId) {
+      throw errorConfigValidation("frameworkComponents[].familyId", {
+        why: `Framework component at index ${i} (kind: ${String(kind)}) has familyId '${String(familyId)}' but expected '${expectedFamilyId}'`
+      });
+    }
+    if (!Object.hasOwn(record, "targetId")) {
+      throw errorConfigValidation("frameworkComponents[].targetId", {
+        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'targetId' property`
+      });
+    }
+    const targetId = record["targetId"];
+    if (targetId !== expectedTargetId) {
+      throw errorConfigValidation("frameworkComponents[].targetId", {
+        why: `Framework component at index ${i} (kind: ${String(kind)}) has targetId '${String(targetId)}' but expected '${expectedTargetId}'`
+      });
+    }
+  }
+  return frameworkComponents;
+}
+
+// src/commands/db-init.ts
+function createDbInitCommand() {
+  const command = new Command2("init");
+  setCommandDescriptions(
+    command,
+    "Bootstrap a database to match the current contract and write the contract marker",
+    "Initializes a database to match your emitted contract using additive-only operations.\nCreates any missing tables, columns, indexes, and constraints defined in your contract.\nLeaves existing compatible structures in place, surfaces conflicts when destructive changes\nwould be required, and writes a contract marker to track the database state. Use --plan to\npreview changes without applying."
+  );
+  command.configureHelp({
+    formatHelp: (cmd) => {
+      const flags = parseGlobalFlags({});
+      return formatCommandHelp({ command: cmd, flags });
+    }
+  }).option("--db <url>", "Database connection string").option("--config <path>", "Path to prisma-next.config.ts").option("--plan", "Preview planned operations without applying", false).option("--json [format]", "Output as JSON (object or ndjson)", false).option("-q, --quiet", "Quiet mode: errors only").option("-v, --verbose", "Verbose output: debug info, timings").option("-vv, --trace", "Trace output: deep internals, stack traces").option("--timestamps", "Add timestamps to output").option("--color", "Force color output").option("--no-color", "Disable color output").action(async (options) => {
+    const flags = parseGlobalFlags(options);
+    const startTime = Date.now();
+    const result = await performAction(async () => {
+      const config = await loadConfig(options.config);
+      const configPath = options.config ? relative3(process.cwd(), resolve3(options.config)) : "prisma-next.config.ts";
+      const contractPathAbsolute = config.contract?.output ? resolve3(config.contract.output) : resolve3("src/prisma/contract.json");
+      const contractPath = relative3(process.cwd(), contractPathAbsolute);
+      if (flags.json !== "object" && !flags.quiet) {
+        const details = [
+          { label: "config", value: configPath },
+          { label: "contract", value: contractPath }
+        ];
+        if (options.db) {
+          details.push({ label: "database", value: options.db });
+        }
+        if (options.plan) {
+          details.push({ label: "mode", value: "plan (dry run)" });
+        }
+        const header = formatStyledHeader({
+          command: "db init",
+          description: "Bootstrap a database to match the current contract",
+          url: "https://pris.ly/db-init",
+          details,
+          flags
+        });
+        console.log(header);
+      }
+      let contractJsonContent;
+      try {
+        contractJsonContent = await readFile(contractPathAbsolute, "utf-8");
+      } catch (error) {
+        if (error instanceof Error && error.code === "ENOENT") {
+          throw errorFileNotFound(contractPathAbsolute, {
+            why: `Contract file not found at ${contractPathAbsolute}`
+          });
+        }
+        throw errorUnexpected2(error instanceof Error ? error.message : String(error), {
+          why: `Failed to read contract file: ${error instanceof Error ? error.message : String(error)}`
+        });
+      }
+      let contractJson;
+      try {
+        contractJson = JSON.parse(contractJsonContent);
+      } catch (error) {
+        throw errorUnexpected2(error instanceof Error ? error.message : String(error), {
+          why: `Failed to parse contract JSON at ${contractPathAbsolute}: ${error instanceof Error ? error.message : String(error)}`
+        });
+      }
+      const dbUrl = options.db ?? config.db?.url;
+      if (!dbUrl) {
+        throw errorDatabaseUrlRequired({ why: "Database URL is required for db init" });
+      }
+      if (!config.driver) {
+        throw errorDriverRequired({ why: "Config.driver is required for db init" });
+      }
+      const driverDescriptor = config.driver;
+      if (!config.target.migrations) {
+        throw errorTargetMigrationNotSupported({
+          why: `Target "${config.target.id}" does not support migrations`
+        });
+      }
+      const migrations = config.target.migrations;
+      const driver = await withSpinner(() => driverDescriptor.create(dbUrl), {
+        message: "Connecting to database...",
+        flags
+      });
+      try {
+        const familyInstance = config.family.create({
+          target: config.target,
+          adapter: config.adapter,
+          driver: driverDescriptor,
+          extensions: config.extensions ?? []
+        });
+        const rawComponents = [config.target, config.adapter, ...config.extensions ?? []];
+        const frameworkComponents = assertFrameworkComponentsCompatible(
+          config.family.familyId,
+          config.target.targetId,
+          rawComponents
+        );
+        const contractIR = familyInstance.validateContractIR(contractJson);
+        const planner = migrations.createPlanner(familyInstance);
+        const runner = migrations.createRunner(familyInstance);
+        const schemaIR = await withSpinner(() => familyInstance.introspect({ driver }), {
+          message: "Introspecting database schema...",
+          flags
+        });
+        const policy = { allowedOperationClasses: ["additive"] };
+        const plannerResult = await withSpinner(
+          async () => planner.plan({
+            contract: contractIR,
+            schema: schemaIR,
+            policy,
+            frameworkComponents
+          }),
+          {
+            message: "Planning migration...",
+            flags
+          }
+        );
+        if (plannerResult.kind === "failure") {
+          throw errorMigrationPlanningFailed({ conflicts: plannerResult.conflicts });
+        }
+        const migrationPlan = plannerResult.plan;
+        const existingMarker = await familyInstance.readMarker({ driver });
+        if (existingMarker) {
+          const markerMatchesDestination = existingMarker.coreHash === migrationPlan.destination.coreHash && (!migrationPlan.destination.profileHash || existingMarker.profileHash === migrationPlan.destination.profileHash);
+          if (markerMatchesDestination) {
+            const dbInitResult2 = {
+              ok: true,
+              mode: options.plan ? "plan" : "apply",
+              plan: {
+                targetId: migrationPlan.targetId,
+                destination: migrationPlan.destination,
+                operations: []
+              },
+              ...options.plan ? {} : {
+                execution: { operationsPlanned: 0, operationsExecuted: 0 },
+                marker: {
+                  coreHash: existingMarker.coreHash,
+                  profileHash: existingMarker.profileHash
+                }
+              },
+              summary: "Database already at target contract state",
+              timings: { total: Date.now() - startTime }
+            };
+            return dbInitResult2;
+          }
+          const coreHashMismatch = existingMarker.coreHash !== migrationPlan.destination.coreHash;
+          const profileHashMismatch = migrationPlan.destination.profileHash && existingMarker.profileHash !== migrationPlan.destination.profileHash;
+          const mismatchParts = [];
+          if (coreHashMismatch) {
+            mismatchParts.push(
+              `coreHash (marker: ${existingMarker.coreHash}, destination: ${migrationPlan.destination.coreHash})`
+            );
+          }
+          if (profileHashMismatch) {
+            mismatchParts.push(
+              `profileHash (marker: ${existingMarker.profileHash}, destination: ${migrationPlan.destination.profileHash})`
+            );
+          }
+          throw errorRuntime(
+            `Existing contract marker does not match plan destination. Mismatch in ${mismatchParts.join(" and ")}.`,
+            {
+              why: "Database has an existing contract marker that does not match the target contract",
+              fix: "Use `prisma-next db migrate` to migrate from the existing contract, or drop the database and re-run `db init`",
+              meta: {
+                code: "MARKER_ORIGIN_MISMATCH",
+                markerCoreHash: existingMarker.coreHash,
+                destinationCoreHash: migrationPlan.destination.coreHash,
+                ...existingMarker.profileHash ? { markerProfileHash: existingMarker.profileHash } : {},
+                ...migrationPlan.destination.profileHash ? { destinationProfileHash: migrationPlan.destination.profileHash } : {}
+              }
+            }
+          );
+        }
+        if (options.plan) {
+          const dbInitResult2 = {
+            ok: true,
+            mode: "plan",
+            plan: {
+              targetId: migrationPlan.targetId,
+              destination: migrationPlan.destination,
+              operations: migrationPlan.operations.map((op) => ({
+                id: op.id,
+                label: op.label,
+                operationClass: op.operationClass
+              }))
+            },
+            summary: `Planned ${migrationPlan.operations.length} operation(s)`,
+            timings: { total: Date.now() - startTime }
+          };
+          return dbInitResult2;
+        }
+        const callbacks = {
+          onOperationStart: (op) => {
+            if (!flags.quiet && flags.json !== "object") {
+              console.log(`  \u2192 ${op.label}...`);
+            }
+          },
+          onOperationComplete: (_op) => {
+          }
+        };
+        const runnerResult = await withSpinner(
+          () => runner.execute({
+            plan: migrationPlan,
+            driver,
+            destinationContract: contractIR,
+            policy,
+            callbacks,
+            frameworkComponents
+          }),
+          {
+            message: "Applying migration plan...",
+            flags
+          }
+        );
+        if (!runnerResult.ok) {
+          throw errorRuntime(runnerResult.failure.summary, {
+            why: runnerResult.failure.why ?? `Migration runner failed: ${runnerResult.failure.code}`,
+            meta: { code: runnerResult.failure.code }
+          });
+        }
+        const execution = runnerResult.value;
+        const dbInitResult = {
+          ok: true,
+          mode: "apply",
+          plan: {
+            targetId: migrationPlan.targetId,
+            destination: migrationPlan.destination,
+            operations: migrationPlan.operations.map((op) => ({
+              id: op.id,
+              label: op.label,
+              operationClass: op.operationClass
+            }))
+          },
+          execution: {
+            operationsPlanned: execution.operationsPlanned,
+            operationsExecuted: execution.operationsExecuted
+          },
+          marker: migrationPlan.destination.profileHash ? {
+            coreHash: migrationPlan.destination.coreHash,
+            profileHash: migrationPlan.destination.profileHash
+          } : { coreHash: migrationPlan.destination.coreHash },
+          summary: `Applied ${execution.operationsExecuted} operation(s), marker written`,
+          timings: { total: Date.now() - startTime }
+        };
+        return dbInitResult;
+      } finally {
+        await driver.close();
+      }
+    });
+    const exitCode = handleResult(result, flags, (dbInitResult) => {
+      if (flags.json === "object") {
+        console.log(formatDbInitJson(dbInitResult));
+      } else {
+        const output = dbInitResult.mode === "plan" ? formatDbInitPlanOutput(dbInitResult, flags) : formatDbInitApplyOutput(dbInitResult, flags);
+        if (output) {
+          console.log(output);
+        }
+      }
+    });
+    process.exit(exitCode);
+  });
+  return command;
+}
+
+// src/commands/db-introspect.ts
+import { readFile as readFile2 } from "fs/promises";
+import { relative as relative4, resolve as resolve4 } from "path";
 import {
   errorDatabaseUrlRequired as errorDatabaseUrlRequired2,
   errorDriverRequired as errorDriverRequired2,
   errorRuntime as errorRuntime2,
   errorUnexpected as errorUnexpected3
 } from "@prisma-next/core-control-plane/errors";
-import { Command as Command2 } from "commander";
+import { Command as Command3 } from "commander";
 function createDbIntrospectCommand() {
-  const command = new Command2("introspect");
+  const command = new Command3("introspect");
   setCommandDescriptions(
     command,
     "Inspect the database schema",
@@ -1148,14 +1511,13 @@ function createDbIntrospectCommand() {
     const result = await performAction(async () => {
       const startTime = Date.now();
       const config = await loadConfig(options.config);
-      const configPath = options.config ? relative3(process.cwd(), resolve3(options.config)) : "prisma-next.config.ts";
+      const configPath = options.config ? relative4(process.cwd(), resolve4(options.config)) : "prisma-next.config.ts";
       let contractIR;
       if (config.contract?.output) {
-        const contractPath = resolve3(config.contract.output);
+        const contractPath = resolve4(config.contract.output);
         try {
-          const contractJsonContent = await readFile(contractPath, "utf-8");
-          const contractJson = JSON.parse(contractJsonContent);
-          contractIR = contractJson;
+          const contractJsonContent = await readFile2(contractPath, "utf-8");
+          contractIR = JSON.parse(contractJsonContent);
         } catch (error) {
           if (error instanceof Error && error.code !== "ENOENT") {
             throw errorUnexpected3(error.message, {
@@ -1203,14 +1565,13 @@ function createDbIntrospectCommand() {
           driver: driverDescriptor,
           extensions: config.extensions ?? []
         });
-        const typedFamilyInstance = familyInstance;
         if (contractIR) {
-          contractIR = typedFamilyInstance.validateContractIR(contractIR);
+          contractIR = familyInstance.validateContractIR(contractIR);
         }
         let schemaIR;
         try {
           schemaIR = await withSpinner(
-            () => typedFamilyInstance.introspect({
+            () => familyInstance.introspect({
               driver,
               contractIR
             }),
@@ -1225,9 +1586,9 @@ function createDbIntrospectCommand() {
           });
         }
         let schemaView;
-        if (typedFamilyInstance.toSchemaView) {
+        if (familyInstance.toSchemaView) {
           try {
-            schemaView = typedFamilyInstance.toSchemaView(schemaIR);
+            schemaView = familyInstance.toSchemaView(schemaIR);
           } catch (error) {
             if (flags.verbose) {
               console.error(
@@ -1285,8 +1646,8 @@ function createDbIntrospectCommand() {
 }
 
 // src/commands/db-schema-verify.ts
-import { readFile as readFile2 } from "fs/promises";
-import { relative as relative4, resolve as resolve4 } from "path";
+import { readFile as readFile3 } from "fs/promises";
+import { relative as relative5, resolve as resolve5 } from "path";
 import {
   errorDatabaseUrlRequired as errorDatabaseUrlRequired3,
   errorDriverRequired as errorDriverRequired3,
@@ -1294,9 +1655,9 @@ import {
   errorRuntime as errorRuntime3,
   errorUnexpected as errorUnexpected4
 } from "@prisma-next/core-control-plane/errors";
-import { Command as Command3 } from "commander";
+import { Command as Command4 } from "commander";
 function createDbSchemaVerifyCommand() {
-  const command = new Command3("schema-verify");
+  const command = new Command4("schema-verify");
   setCommandDescriptions(
     command,
     "Check whether the database schema satisfies your contract",
@@ -1311,9 +1672,9 @@ function createDbSchemaVerifyCommand() {
     const flags = parseGlobalFlags(options);
     const result = await performAction(async () => {
       const config = await loadConfig(options.config);
-      const configPath = options.config ? relative4(process.cwd(), resolve4(options.config)) : "prisma-next.config.ts";
-      const contractPathAbsolute = config.contract?.output ? resolve4(config.contract.output) : resolve4("src/prisma/contract.json");
-      const contractPath = relative4(process.cwd(), contractPathAbsolute);
+      const configPath = options.config ? relative5(process.cwd(), resolve5(options.config)) : "prisma-next.config.ts";
+      const contractPathAbsolute = config.contract?.output ? resolve5(config.contract.output) : resolve5("src/prisma/contract.json");
+      const contractPath = relative5(process.cwd(), contractPathAbsolute);
       if (flags.json !== "object" && !flags.quiet) {
         const details = [
           { label: "config", value: configPath },
@@ -1333,7 +1694,7 @@ function createDbSchemaVerifyCommand() {
       }
       let contractJsonContent;
       try {
-        contractJsonContent = await readFile2(contractPathAbsolute, "utf-8");
+        contractJsonContent = await readFile3(contractPathAbsolute, "utf-8");
       } catch (error) {
         if (error instanceof Error && error.code === "ENOENT") {
           throw errorFileNotFound2(contractPathAbsolute, {
@@ -1364,17 +1725,23 @@ function createDbSchemaVerifyCommand() {
           driver: driverDescriptor,
           extensions: config.extensions ?? []
         });
-        const typedFamilyInstance = familyInstance;
-        const contractIR = typedFamilyInstance.validateContractIR(contractJson);
+        const rawComponents = [config.target, config.adapter, ...config.extensions ?? []];
+        const frameworkComponents = assertFrameworkComponentsCompatible(
+          config.family.familyId,
+          config.target.targetId,
+          rawComponents
+        );
+        const contractIR = familyInstance.validateContractIR(contractJson);
         let schemaVerifyResult;
         try {
           schemaVerifyResult = await withSpinner(
-            () => typedFamilyInstance.schemaVerify({
+            () => familyInstance.schemaVerify({
               driver,
               contractIR,
               strict: options.strict ?? false,
               contractPath: contractPathAbsolute,
-              configPath
+              configPath,
+              frameworkComponents
             }),
             {
               message: "Verifying database schema...",
@@ -1414,8 +1781,8 @@ function createDbSchemaVerifyCommand() {
 }
 
 // src/commands/db-sign.ts
-import { readFile as readFile3 } from "fs/promises";
-import { relative as relative5, resolve as resolve5 } from "path";
+import { readFile as readFile4 } from "fs/promises";
+import { relative as relative6, resolve as resolve6 } from "path";
 import {
   errorDatabaseUrlRequired as errorDatabaseUrlRequired4,
   errorDriverRequired as errorDriverRequired4,
@@ -1423,9 +1790,9 @@ import {
   errorRuntime as errorRuntime4,
   errorUnexpected as errorUnexpected5
 } from "@prisma-next/core-control-plane/errors";
-import { Command as Command4 } from "commander";
+import { Command as Command5 } from "commander";
 function createDbSignCommand() {
-  const command = new Command4("sign");
+  const command = new Command5("sign");
   setCommandDescriptions(
     command,
     "Sign the database with your contract so you can safely run queries",
@@ -1440,9 +1807,9 @@ function createDbSignCommand() {
     const flags = parseGlobalFlags(options);
     const result = await performAction(async () => {
       const config = await loadConfig(options.config);
-      const configPath = options.config ? relative5(process.cwd(), resolve5(options.config)) : "prisma-next.config.ts";
-      const contractPathAbsolute = config.contract?.output ? resolve5(config.contract.output) : resolve5("src/prisma/contract.json");
-      const contractPath = relative5(process.cwd(), contractPathAbsolute);
+      const configPath = options.config ? relative6(process.cwd(), resolve6(options.config)) : "prisma-next.config.ts";
+      const contractPathAbsolute = config.contract?.output ? resolve6(config.contract.output) : resolve6("src/prisma/contract.json");
+      const contractPath = relative6(process.cwd(), contractPathAbsolute);
       if (flags.json !== "object" && !flags.quiet) {
         const details = [
           { label: "config", value: configPath },
@@ -1462,7 +1829,7 @@ function createDbSignCommand() {
       }
       let contractJsonContent;
       try {
-        contractJsonContent = await readFile3(contractPathAbsolute, "utf-8");
+        contractJsonContent = await readFile4(contractPathAbsolute, "utf-8");
       } catch (error) {
         if (error instanceof Error && error.code === "ENOENT") {
           throw errorFileNotFound3(contractPathAbsolute, {
@@ -1490,20 +1857,24 @@ function createDbSignCommand() {
           driver: driverDescriptor,
           extensions: config.extensions ?? []
         });
-        const typedFamilyInstance = familyInstance;
-        const contractIR = typedFamilyInstance.validateContractIR(contractJson);
+        const rawComponents = [config.target, config.adapter, ...config.extensions ?? []];
+        const frameworkComponents = assertFrameworkComponentsCompatible(
+          config.family.familyId,
+          config.target.targetId,
+          rawComponents
+        );
+        const contractIR = familyInstance.validateContractIR(contractJson);
         let schemaVerifyResult;
         try {
           schemaVerifyResult = await withSpinner(
-            async () => {
-              return await typedFamilyInstance.schemaVerify({
-                driver,
-                contractIR,
-                strict: false,
-                contractPath: contractPathAbsolute,
-                configPath
-              });
-            },
+            () => familyInstance.schemaVerify({
+              driver,
+              contractIR,
+              strict: false,
+              contractPath: contractPathAbsolute,
+              configPath,
+              frameworkComponents
+            }),
             {
               message: "Verifying database satisfies contract",
               flags
@@ -1520,14 +1891,12 @@ function createDbSignCommand() {
         let signResult;
         try {
           signResult = await withSpinner(
-            async () => {
-              return await typedFamilyInstance.sign({
-                driver,
-                contractIR,
-                contractPath: contractPathAbsolute,
-                configPath
-              });
-            },
+            () => familyInstance.sign({
+              driver,
+              contractIR,
+              contractPath: contractPathAbsolute,
+              configPath
+            }),
             {
               message: "Signing database...",
               flags
@@ -1580,8 +1949,8 @@ function createDbSignCommand() {
 }
 
 // src/commands/db-verify.ts
-import { readFile as readFile4 } from "fs/promises";
-import { relative as relative6, resolve as resolve6 } from "path";
+import { readFile as readFile5 } from "fs/promises";
+import { relative as relative7, resolve as resolve7 } from "path";
 import {
   errorDatabaseUrlRequired as errorDatabaseUrlRequired5,
   errorDriverRequired as errorDriverRequired5,
@@ -1592,9 +1961,9 @@ import {
   errorTargetMismatch as errorTargetMismatch2,
   errorUnexpected as errorUnexpected6
 } from "@prisma-next/core-control-plane/errors";
-import { Command as Command5 } from "commander";
+import { Command as Command6 } from "commander";
 function createDbVerifyCommand() {
-  const command = new Command5("verify");
+  const command = new Command6("verify");
   setCommandDescriptions(
     command,
     "Check whether the database has been signed with your contract",
@@ -1609,9 +1978,9 @@ function createDbVerifyCommand() {
     const flags = parseGlobalFlags(options);
     const result = await performAction(async () => {
       const config = await loadConfig(options.config);
-      const configPath = options.config ? relative6(process.cwd(), resolve6(options.config)) : "prisma-next.config.ts";
-      const contractPathAbsolute = config.contract?.output ? resolve6(config.contract.output) : resolve6("src/prisma/contract.json");
-      const contractPath = relative6(process.cwd(), contractPathAbsolute);
+      const configPath = options.config ? relative7(process.cwd(), resolve7(options.config)) : "prisma-next.config.ts";
+      const contractPathAbsolute = config.contract?.output ? resolve7(config.contract.output) : resolve7("src/prisma/contract.json");
+      const contractPath = relative7(process.cwd(), contractPathAbsolute);
       if (flags.json !== "object" && !flags.quiet) {
         const details = [
           { label: "config", value: configPath },
@@ -1631,7 +2000,7 @@ function createDbVerifyCommand() {
       }
       let contractJsonContent;
       try {
-        contractJsonContent = await readFile4(contractPathAbsolute, "utf-8");
+        contractJsonContent = await readFile5(contractPathAbsolute, "utf-8");
       } catch (error) {
         if (error instanceof Error && error.code === "ENOENT") {
           throw errorFileNotFound4(contractPathAbsolute, {
@@ -1662,12 +2031,11 @@ function createDbVerifyCommand() {
           driver: driverDescriptor,
           extensions: config.extensions ?? []
         });
-        const typedFamilyInstance = familyInstance;
-        const contractIR = typedFamilyInstance.validateContractIR(contractJson);
+        const contractIR = familyInstance.validateContractIR(contractJson);
         let verifyResult;
         try {
           verifyResult = await withSpinner(
-            () => typedFamilyInstance.verify({
+            () => familyInstance.verify({
               driver,
               contractIR,
               expectedTargetId: config.target.targetId,
@@ -1726,7 +2094,7 @@ function createDbVerifyCommand() {
 }
 
 // src/cli.ts
-var program = new Command6();
+var program = new Command7();
 program.name("prisma-next").description("Prisma Next CLI").version("0.0.1");
 var versionOption = program.options.find((opt) => opt.flags.includes("--version"));
 if (versionOption) {
@@ -1790,7 +2158,7 @@ program.exitOverride((err2) => {
   }
   process.exit(0);
 });
-var contractCommand = new Command6("contract");
+var contractCommand = new Command7("contract");
 setCommandDescriptions(
   contractCommand,
   "Contract management commands",
@@ -1806,7 +2174,7 @@ contractCommand.configureHelp({
 var contractEmitCommand = createContractEmitCommand();
 contractCommand.addCommand(contractEmitCommand);
 program.addCommand(contractCommand);
-var dbCommand = new Command6("db");
+var dbCommand = new Command7("db");
 setCommandDescriptions(
   dbCommand,
   "Database management commands",
@@ -1821,6 +2189,8 @@ dbCommand.configureHelp({
 });
 var dbVerifyCommand = createDbVerifyCommand();
 dbCommand.addCommand(dbVerifyCommand);
+var dbInitCommand = createDbInitCommand();
+dbCommand.addCommand(dbInitCommand);
 var dbIntrospectCommand = createDbIntrospectCommand();
 dbCommand.addCommand(dbIntrospectCommand);
 var dbSchemaVerifyCommand = createDbSchemaVerifyCommand();
@@ -1828,7 +2198,7 @@ dbCommand.addCommand(dbSchemaVerifyCommand);
 var dbSignCommand = createDbSignCommand();
 dbCommand.addCommand(dbSignCommand);
 program.addCommand(dbCommand);
-var helpCommand = new Command6("help").description("Show usage instructions").configureHelp({
+var helpCommand = new Command7("help").description("Show usage instructions").configureHelp({
   formatHelp: (cmd) => {
     const flags = parseGlobalFlags({});
     return formatCommandHelp({ command: cmd, flags });