@prisma-next/cli 0.1.0-dev.3 → 0.1.0-dev.30

package/dist/commands/contract-emit.js

@@ -1,7 +1,7 @@
 import {
   createContractEmitCommand
-} from "../chunk-4Q3MO4TK.js";
-import "../chunk-3EODSNGS.js";
+} from "../chunk-464LNZCE.js";
+import "../chunk-BZMBKEEQ.js";
 import "../chunk-HWYQOCAJ.js";
 export {
   createContractEmitCommand

package/dist/commands/db-init.d.ts

@@ -0,0 +1,5 @@
+import { Command } from 'commander';
+
+declare function createDbInitCommand(): Command;
+
+export { createDbInitCommand };

package/dist/commands/db-init.js

@@ -0,0 +1,341 @@
+import {
+  assertContractRequirementsSatisfied,
+  assertFrameworkComponentsCompatible
+} from "../chunk-C7QQMZ3I.js";
+import {
+  errorContractValidationFailed,
+  errorDatabaseUrlRequired,
+  errorDriverRequired,
+  errorFileNotFound,
+  errorJsonFormatNotSupported,
+  errorMigrationPlanningFailed,
+  errorRuntime,
+  errorTargetMigrationNotSupported,
+  errorUnexpected,
+  formatCommandHelp,
+  formatDbInitApplyOutput,
+  formatDbInitJson,
+  formatDbInitPlanOutput,
+  formatStyledHeader,
+  handleResult,
+  parseGlobalFlags,
+  performAction,
+  setCommandDescriptions,
+  withSpinner
+} from "../chunk-BZMBKEEQ.js";
+import {
+  loadConfig
+} from "../chunk-HWYQOCAJ.js";
+
+// src/commands/db-init.ts
+import { readFile } from "fs/promises";
+import { relative, resolve } from "path";
+import { redactDatabaseUrl } from "@prisma-next/utils/redact-db-url";
+import { Command } from "commander";
+function createDbInitCommand() {
+  const command = new Command("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)", 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 () => {
+      if (flags.json === "ndjson") {
+        throw errorJsonFormatNotSupported({
+          command: "db init",
+          format: "ndjson",
+          supportedFormats: ["object"]
+        });
+      }
+      const config = await loadConfig(options.config);
+      const configPath = options.config ? relative(process.cwd(), resolve(options.config)) : "prisma-next.config.ts";
+      const contractPathAbsolute = config.contract?.output ? resolve(config.contract.output) : resolve("src/prisma/contract.json");
+      const contractPath = relative(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}`,
+            fix: `Run \`prisma-next contract emit\` to generate ${contractPath}, or update \`config.contract.output\` in ${configPath}`
+          });
+        }
+        throw errorUnexpected(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 errorContractValidationFailed(
+          `Contract JSON is invalid: ${error instanceof Error ? error.message : String(error)}`,
+          { where: { path: contractPathAbsolute } }
+        );
+      }
+      const dbUrl = options.db ?? config.db?.url;
+      if (!dbUrl) {
+        throw errorDatabaseUrlRequired({
+          why: `Database URL is required for db init (set db.url in ${configPath}, or pass --db <url>)`
+        });
+      }
+      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;
+      let driver;
+      try {
+        driver = await withSpinner(() => driverDescriptor.create(dbUrl), {
+          message: "Connecting to database...",
+          flags
+        });
+      } catch (error) {
+        const message = error instanceof Error ? error.message : String(error);
+        const code = error.code;
+        const redacted = redactDatabaseUrl(dbUrl);
+        throw errorRuntime("Database connection failed", {
+          why: message,
+          fix: "Verify the database URL, ensure the database is reachable, and confirm credentials/permissions",
+          meta: {
+            ...typeof code !== "undefined" ? { code } : {},
+            ...redacted
+          }
+        });
+      }
+      try {
+        const familyInstance = config.family.create({
+          target: config.target,
+          adapter: config.adapter,
+          driver: driverDescriptor,
+          extensionPacks: config.extensionPacks ?? []
+        });
+        const rawComponents = [config.target, config.adapter, ...config.extensionPacks ?? []];
+        const frameworkComponents = assertFrameworkComponentsCompatible(
+          config.family.familyId,
+          config.target.targetId,
+          rawComponents
+        );
+        const contractIR = familyInstance.validateContractIR(contractJson);
+        assertContractRequirementsSatisfied({
+          contract: contractIR,
+          family: config.family,
+          target: config.target,
+          adapter: config.adapter,
+          extensionPacks: config.extensionPacks
+        });
+        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: "If bootstrapping, drop/reset the database then re-run `prisma-next db init`; otherwise reconcile schema/marker using your migration workflow",
+              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;
+        }
+        if (!flags.quiet && flags.json !== "object") {
+          console.log("Applying migration plan and verifying schema...");
+        }
+        const callbacks = {
+          onOperationStart: (op) => {
+            if (!flags.quiet && flags.json !== "object") {
+              console.log(`  \u2192 ${op.label}...`);
+            }
+          },
+          onOperationComplete: (_op) => {
+          }
+        };
+        const runnerResult = await runner.execute({
+          plan: migrationPlan,
+          driver,
+          destinationContract: contractIR,
+          policy,
+          callbacks,
+          // db init plans and applies back-to-back from a fresh introspection, so per-operation
+          // pre/postchecks and the idempotency probe are usually redundant overhead. We still
+          // enforce marker/origin compatibility and a full schema verification after apply.
+          executionChecks: {
+            prechecks: false,
+            postchecks: false,
+            idempotencyChecks: false
+          },
+          frameworkComponents
+        });
+        if (!runnerResult.ok) {
+          const meta = {
+            code: runnerResult.failure.code,
+            ...runnerResult.failure.meta ?? {}
+          };
+          const sqlState = typeof meta["sqlState"] === "string" ? meta["sqlState"] : void 0;
+          const fix = sqlState === "42501" ? "Grant the database user sufficient privileges (insufficient_privilege), or run db init as a more privileged role" : runnerResult.failure.code === "SCHEMA_VERIFY_FAILED" ? "Fix the schema mismatch (db init is additive-only), or drop/reset the database and re-run `prisma-next db init`" : void 0;
+          throw errorRuntime(runnerResult.failure.summary, {
+            why: runnerResult.failure.why ?? `Migration runner failed: ${runnerResult.failure.code}`,
+            ...fix ? { fix } : {},
+            meta
+          });
+        }
+        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;
+}
+export {
+  createDbInitCommand
+};
+//# sourceMappingURL=db-init.js.map

package/dist/commands/db-init.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/commands/db-init.ts"],"sourcesContent":["import { readFile } from 'node:fs/promises';\nimport { relative, resolve } from 'node:path';\nimport type {\n  MigrationPlan,\n  MigrationPlannerResult,\n  MigrationPlanOperation,\n  MigrationRunnerResult,\n} from '@prisma-next/core-control-plane/types';\nimport { redactDatabaseUrl } from '@prisma-next/utils/redact-db-url';\nimport { Command } from 'commander';\nimport { loadConfig } from '../config-loader';\nimport { performAction } from '../utils/action';\nimport {\n  errorContractValidationFailed,\n  errorDatabaseUrlRequired,\n  errorDriverRequired,\n  errorFileNotFound,\n  errorJsonFormatNotSupported,\n  errorMigrationPlanningFailed,\n  errorRuntime,\n  errorTargetMigrationNotSupported,\n  errorUnexpected,\n} from '../utils/cli-errors';\nimport { setCommandDescriptions } from '../utils/command-helpers';\nimport {\n  assertContractRequirementsSatisfied,\n  assertFrameworkComponentsCompatible,\n} from '../utils/framework-components';\nimport { parseGlobalFlags } from '../utils/global-flags';\nimport {\n  type DbInitResult,\n  formatCommandHelp,\n  formatDbInitApplyOutput,\n  formatDbInitJson,\n  formatDbInitPlanOutput,\n  formatStyledHeader,\n} from '../utils/output';\nimport { handleResult } from '../utils/result-handler';\nimport { withSpinner } from '../utils/spinner';\n\ninterface DbInitOptions {\n  readonly db?: string;\n  readonly config?: string;\n  readonly plan?: boolean;\n  readonly json?: string | boolean;\n  readonly quiet?: boolean;\n  readonly q?: boolean;\n  readonly verbose?: boolean;\n  readonly v?: boolean;\n  readonly vv?: boolean;\n  readonly trace?: boolean;\n  readonly timestamps?: boolean;\n  readonly color?: boolean;\n  readonly 'no-color'?: boolean;\n}\n\nexport function createDbInitCommand(): Command {\n  const command = new Command('init');\n  setCommandDescriptions(\n    command,\n    'Bootstrap a database to match the current contract and write the contract marker',\n    'Initializes a database to match your emitted contract using additive-only operations.\\n' +\n      'Creates any missing tables, columns, indexes, and constraints defined in your contract.\\n' +\n      'Leaves existing compatible structures in place, surfaces conflicts when destructive changes\\n' +\n      'would be required, and writes a contract marker to track the database state. Use --plan to\\n' +\n      'preview changes without applying.',\n  );\n  command\n    .configureHelp({\n      formatHelp: (cmd) => {\n        const flags = parseGlobalFlags({});\n        return formatCommandHelp({ command: cmd, flags });\n      },\n    })\n    .option('--db <url>', 'Database connection string')\n    .option('--config <path>', 'Path to prisma-next.config.ts')\n    .option('--plan', 'Preview planned operations without applying', false)\n    .option('--json [format]', 'Output as JSON (object)', false)\n    .option('-q, --quiet', 'Quiet mode: errors only')\n    .option('-v, --verbose', 'Verbose output: debug info, timings')\n    .option('-vv, --trace', 'Trace output: deep internals, stack traces')\n    .option('--timestamps', 'Add timestamps to output')\n    .option('--color', 'Force color output')\n    .option('--no-color', 'Disable color output')\n    .action(async (options: DbInitOptions) => {\n      const flags = parseGlobalFlags(options);\n      const startTime = Date.now();\n\n      const result = await performAction(async () => {\n        if (flags.json === 'ndjson') {\n          throw errorJsonFormatNotSupported({\n            command: 'db init',\n            format: 'ndjson',\n            supportedFormats: ['object'],\n          });\n        }\n\n        // Load config\n        const config = await loadConfig(options.config);\n        const configPath = options.config\n          ? relative(process.cwd(), resolve(options.config))\n          : 'prisma-next.config.ts';\n        const contractPathAbsolute = config.contract?.output\n          ? resolve(config.contract.output)\n          : resolve('src/prisma/contract.json');\n        const contractPath = relative(process.cwd(), contractPathAbsolute);\n\n        // Output header\n        if (flags.json !== 'object' && !flags.quiet) {\n          const details: Array<{ label: string; value: string }> = [\n            { label: 'config', value: configPath },\n            { label: 'contract', value: contractPath },\n          ];\n          if (options.db) {\n            details.push({ label: 'database', value: options.db });\n          }\n          if (options.plan) {\n            details.push({ label: 'mode', value: 'plan (dry run)' });\n          }\n          const header = formatStyledHeader({\n            command: 'db init',\n            description: 'Bootstrap a database to match the current contract',\n            url: 'https://pris.ly/db-init',\n            details,\n            flags,\n          });\n          console.log(header);\n        }\n\n        // Load contract file\n        let contractJsonContent: string;\n        try {\n          contractJsonContent = await readFile(contractPathAbsolute, 'utf-8');\n        } catch (error) {\n          if (error instanceof Error && (error as { code?: string }).code === 'ENOENT') {\n            throw errorFileNotFound(contractPathAbsolute, {\n              why: `Contract file not found at ${contractPathAbsolute}`,\n              fix: `Run \\`prisma-next contract emit\\` to generate ${contractPath}, or update \\`config.contract.output\\` in ${configPath}`,\n            });\n          }\n          throw errorUnexpected(error instanceof Error ? error.message : String(error), {\n            why: `Failed to read contract file: ${error instanceof Error ? error.message : String(error)}`,\n          });\n        }\n\n        let contractJson: Record<string, unknown>;\n        try {\n          contractJson = JSON.parse(contractJsonContent) as Record<string, unknown>;\n        } catch (error) {\n          throw errorContractValidationFailed(\n            `Contract JSON is invalid: ${error instanceof Error ? error.message : String(error)}`,\n            { where: { path: contractPathAbsolute } },\n          );\n        }\n\n        // Resolve database URL\n        const dbUrl = options.db ?? config.db?.url;\n        if (!dbUrl) {\n          throw errorDatabaseUrlRequired({\n            why: `Database URL is required for db init (set db.url in ${configPath}, or pass --db <url>)`,\n          });\n        }\n\n        // Check for driver\n        if (!config.driver) {\n          throw errorDriverRequired({ why: 'Config.driver is required for db init' });\n        }\n        const driverDescriptor = config.driver;\n\n        // Check target supports migrations via the migrations capability\n        if (!config.target.migrations) {\n          throw errorTargetMigrationNotSupported({\n            why: `Target \"${config.target.id}\" does not support migrations`,\n          });\n        }\n        const migrations = config.target.migrations;\n\n        // Create driver\n        let driver: Awaited<ReturnType<(typeof driverDescriptor)['create']>>;\n        try {\n          driver = await withSpinner(() => driverDescriptor.create(dbUrl), {\n            message: 'Connecting to database...',\n            flags,\n          });\n        } catch (error) {\n          const message = error instanceof Error ? error.message : String(error);\n          const code = (error as { code?: unknown }).code;\n          const redacted = redactDatabaseUrl(dbUrl);\n          throw errorRuntime('Database connection failed', {\n            why: message,\n            fix: 'Verify the database URL, ensure the database is reachable, and confirm credentials/permissions',\n            meta: {\n              ...(typeof code !== 'undefined' ? { code } : {}),\n              ...redacted,\n            },\n          });\n        }\n\n        try {\n          // Create family instance\n          const familyInstance = config.family.create({\n            target: config.target,\n            adapter: config.adapter,\n            driver: driverDescriptor,\n            extensionPacks: config.extensionPacks ?? [],\n          });\n          const rawComponents = [config.target, config.adapter, ...(config.extensionPacks ?? [])];\n          const frameworkComponents = assertFrameworkComponentsCompatible(\n            config.family.familyId,\n            config.target.targetId,\n            rawComponents,\n          );\n\n          // Validate contract\n          const contractIR = familyInstance.validateContractIR(contractJson);\n          assertContractRequirementsSatisfied({\n            contract: contractIR,\n            family: config.family,\n            target: config.target,\n            adapter: config.adapter,\n            extensionPacks: config.extensionPacks,\n          });\n\n          // Create planner and runner from target migrations capability\n          const planner = migrations.createPlanner(familyInstance);\n          const runner = migrations.createRunner(familyInstance);\n\n          // Introspect live schema\n          const schemaIR = await withSpinner(() => familyInstance.introspect({ driver }), {\n            message: 'Introspecting database schema...',\n            flags,\n          });\n\n          // Policy for init mode (additive only)\n          const policy = { allowedOperationClasses: ['additive'] as const };\n\n          // Plan migration\n          const plannerResult: MigrationPlannerResult = await withSpinner(\n            async () =>\n              planner.plan({\n                contract: contractIR,\n                schema: schemaIR,\n                policy,\n                frameworkComponents,\n              }),\n            {\n              message: 'Planning migration...',\n              flags,\n            },\n          );\n\n          if (plannerResult.kind === 'failure') {\n            throw errorMigrationPlanningFailed({ conflicts: plannerResult.conflicts });\n          }\n\n          const migrationPlan: MigrationPlan = plannerResult.plan;\n\n          // Check for existing marker - handle idempotency and mismatch errors\n          const existingMarker = await familyInstance.readMarker({ driver });\n          if (existingMarker) {\n            const markerMatchesDestination =\n              existingMarker.coreHash === migrationPlan.destination.coreHash &&\n              (!migrationPlan.destination.profileHash ||\n                existingMarker.profileHash === migrationPlan.destination.profileHash);\n\n            if (markerMatchesDestination) {\n              // Already at destination - return success with no operations\n              const dbInitResult: DbInitResult = {\n                ok: true,\n                mode: options.plan ? 'plan' : 'apply',\n                plan: {\n                  targetId: migrationPlan.targetId,\n                  destination: migrationPlan.destination,\n                  operations: [],\n                },\n                ...(options.plan\n                  ? {}\n                  : {\n                      execution: { operationsPlanned: 0, operationsExecuted: 0 },\n                      marker: {\n                        coreHash: existingMarker.coreHash,\n                        profileHash: existingMarker.profileHash,\n                      },\n                    }),\n                summary: 'Database already at target contract state',\n                timings: { total: Date.now() - startTime },\n              };\n              return dbInitResult;\n            }\n\n            // Marker exists but doesn't match destination - fail\n            const coreHashMismatch = existingMarker.coreHash !== migrationPlan.destination.coreHash;\n            const profileHashMismatch =\n              migrationPlan.destination.profileHash &&\n              existingMarker.profileHash !== migrationPlan.destination.profileHash;\n\n            const mismatchParts: string[] = [];\n            if (coreHashMismatch) {\n              mismatchParts.push(\n                `coreHash (marker: ${existingMarker.coreHash}, destination: ${migrationPlan.destination.coreHash})`,\n              );\n            }\n            if (profileHashMismatch) {\n              mismatchParts.push(\n                `profileHash (marker: ${existingMarker.profileHash}, destination: ${migrationPlan.destination.profileHash})`,\n              );\n            }\n\n            throw errorRuntime(\n              `Existing contract marker does not match plan destination. Mismatch in ${mismatchParts.join(' and ')}.`,\n              {\n                why: 'Database has an existing contract marker that does not match the target contract',\n                fix: 'If bootstrapping, drop/reset the database then re-run `prisma-next db init`; otherwise reconcile schema/marker using your migration workflow',\n                meta: {\n                  code: 'MARKER_ORIGIN_MISMATCH',\n                  markerCoreHash: existingMarker.coreHash,\n                  destinationCoreHash: migrationPlan.destination.coreHash,\n                  ...(existingMarker.profileHash\n                    ? { markerProfileHash: existingMarker.profileHash }\n                    : {}),\n                  ...(migrationPlan.destination.profileHash\n                    ? { destinationProfileHash: migrationPlan.destination.profileHash }\n                    : {}),\n                },\n              },\n            );\n          }\n\n          // Plan mode - don't execute\n          if (options.plan) {\n            const dbInitResult: DbInitResult = {\n              ok: true,\n              mode: 'plan',\n              plan: {\n                targetId: migrationPlan.targetId,\n                destination: migrationPlan.destination,\n                operations: migrationPlan.operations.map((op) => ({\n                  id: op.id,\n                  label: op.label,\n                  operationClass: op.operationClass,\n                })),\n              },\n              summary: `Planned ${migrationPlan.operations.length} operation(s)`,\n              timings: { total: Date.now() - startTime },\n            };\n            return dbInitResult;\n          }\n\n          // Apply mode - execute runner\n          // Log main message once, then show individual operations via callbacks\n          if (!flags.quiet && flags.json !== 'object') {\n            console.log('Applying migration plan and verifying schema...');\n          }\n\n          const callbacks = {\n            onOperationStart: (op: MigrationPlanOperation) => {\n              if (!flags.quiet && flags.json !== 'object') {\n                console.log(`  → ${op.label}...`);\n              }\n            },\n            onOperationComplete: (_op: MigrationPlanOperation) => {\n              // Could log completion if needed\n            },\n          };\n\n          const runnerResult: MigrationRunnerResult = await runner.execute({\n            plan: migrationPlan,\n            driver,\n            destinationContract: contractIR,\n            policy,\n            callbacks,\n            // db init plans and applies back-to-back from a fresh introspection, so per-operation\n            // pre/postchecks and the idempotency probe are usually redundant overhead. We still\n            // enforce marker/origin compatibility and a full schema verification after apply.\n            executionChecks: {\n              prechecks: false,\n              postchecks: false,\n              idempotencyChecks: false,\n            },\n            frameworkComponents,\n          });\n\n          if (!runnerResult.ok) {\n            const meta: Record<string, unknown> = {\n              code: runnerResult.failure.code,\n              ...(runnerResult.failure.meta ?? {}),\n            };\n            const sqlState = typeof meta['sqlState'] === 'string' ? meta['sqlState'] : undefined;\n            const fix =\n              sqlState === '42501'\n                ? 'Grant the database user sufficient privileges (insufficient_privilege), or run db init as a more privileged role'\n                : runnerResult.failure.code === 'SCHEMA_VERIFY_FAILED'\n                  ? 'Fix the schema mismatch (db init is additive-only), or drop/reset the database and re-run `prisma-next db init`'\n                  : undefined;\n\n            throw errorRuntime(runnerResult.failure.summary, {\n              why:\n                runnerResult.failure.why ?? `Migration runner failed: ${runnerResult.failure.code}`,\n              ...(fix ? { fix } : {}),\n              meta,\n            });\n          }\n\n          const execution = runnerResult.value;\n\n          const dbInitResult: DbInitResult = {\n            ok: true,\n            mode: 'apply',\n            plan: {\n              targetId: migrationPlan.targetId,\n              destination: migrationPlan.destination,\n              operations: migrationPlan.operations.map((op) => ({\n                id: op.id,\n                label: op.label,\n                operationClass: op.operationClass,\n              })),\n            },\n            execution: {\n              operationsPlanned: execution.operationsPlanned,\n              operationsExecuted: execution.operationsExecuted,\n            },\n            marker: migrationPlan.destination.profileHash\n              ? {\n                  coreHash: migrationPlan.destination.coreHash,\n                  profileHash: migrationPlan.destination.profileHash,\n                }\n              : { coreHash: migrationPlan.destination.coreHash },\n            summary: `Applied ${execution.operationsExecuted} operation(s), marker written`,\n            timings: { total: Date.now() - startTime },\n          };\n          return dbInitResult;\n        } finally {\n          await driver.close();\n        }\n      });\n\n      // Handle result\n      const exitCode = handleResult(result, flags, (dbInitResult) => {\n        if (flags.json === 'object') {\n          console.log(formatDbInitJson(dbInitResult));\n        } else {\n          const output =\n            dbInitResult.mode === 'plan'\n              ? formatDbInitPlanOutput(dbInitResult, flags)\n              : formatDbInitApplyOutput(dbInitResult, flags);\n          if (output) {\n            console.log(output);\n          }\n        }\n      });\n\n      process.exit(exitCode);\n    });\n\n  return command;\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,SAAS,gBAAgB;AACzB,SAAS,UAAU,eAAe;AAOlC,SAAS,yBAAyB;AAClC,SAAS,eAAe;AA+CjB,SAAS,sBAA+B;AAC7C,QAAM,UAAU,IAAI,QAAQ,MAAM;AAClC;AAAA,IACE;AAAA,IACA;AAAA,IACA;AAAA,EAKF;AACA,UACG,cAAc;AAAA,IACb,YAAY,CAAC,QAAQ;AACnB,YAAM,QAAQ,iBAAiB,CAAC,CAAC;AACjC,aAAO,kBAAkB,EAAE,SAAS,KAAK,MAAM,CAAC;AAAA,IAClD;AAAA,EACF,CAAC,EACA,OAAO,cAAc,4BAA4B,EACjD,OAAO,mBAAmB,+BAA+B,EACzD,OAAO,UAAU,+CAA+C,KAAK,EACrE,OAAO,mBAAmB,2BAA2B,KAAK,EAC1D,OAAO,eAAe,yBAAyB,EAC/C,OAAO,iBAAiB,qCAAqC,EAC7D,OAAO,gBAAgB,4CAA4C,EACnE,OAAO,gBAAgB,0BAA0B,EACjD,OAAO,WAAW,oBAAoB,EACtC,OAAO,cAAc,sBAAsB,EAC3C,OAAO,OAAO,YAA2B;AACxC,UAAM,QAAQ,iBAAiB,OAAO;AACtC,UAAM,YAAY,KAAK,IAAI;AAE3B,UAAM,SAAS,MAAM,cAAc,YAAY;AAC7C,UAAI,MAAM,SAAS,UAAU;AAC3B,cAAM,4BAA4B;AAAA,UAChC,SAAS;AAAA,UACT,QAAQ;AAAA,UACR,kBAAkB,CAAC,QAAQ;AAAA,QAC7B,CAAC;AAAA,MACH;AAGA,YAAM,SAAS,MAAM,WAAW,QAAQ,MAAM;AAC9C,YAAM,aAAa,QAAQ,SACvB,SAAS,QAAQ,IAAI,GAAG,QAAQ,QAAQ,MAAM,CAAC,IAC/C;AACJ,YAAM,uBAAuB,OAAO,UAAU,SAC1C,QAAQ,OAAO,SAAS,MAAM,IAC9B,QAAQ,0BAA0B;AACtC,YAAM,eAAe,SAAS,QAAQ,IAAI,GAAG,oBAAoB;AAGjE,UAAI,MAAM,SAAS,YAAY,CAAC,MAAM,OAAO;AAC3C,cAAM,UAAmD;AAAA,UACvD,EAAE,OAAO,UAAU,OAAO,WAAW;AAAA,UACrC,EAAE,OAAO,YAAY,OAAO,aAAa;AAAA,QAC3C;AACA,YAAI,QAAQ,IAAI;AACd,kBAAQ,KAAK,EAAE,OAAO,YAAY,OAAO,QAAQ,GAAG,CAAC;AAAA,QACvD;AACA,YAAI,QAAQ,MAAM;AAChB,kBAAQ,KAAK,EAAE,OAAO,QAAQ,OAAO,iBAAiB,CAAC;AAAA,QACzD;AACA,cAAM,SAAS,mBAAmB;AAAA,UAChC,SAAS;AAAA,UACT,aAAa;AAAA,UACb,KAAK;AAAA,UACL;AAAA,UACA;AAAA,QACF,CAAC;AACD,gBAAQ,IAAI,MAAM;AAAA,MACpB;AAGA,UAAI;AACJ,UAAI;AACF,8BAAsB,MAAM,SAAS,sBAAsB,OAAO;AAAA,MACpE,SAAS,OAAO;AACd,YAAI,iBAAiB,SAAU,MAA4B,SAAS,UAAU;AAC5E,gBAAM,kBAAkB,sBAAsB;AAAA,YAC5C,KAAK,8BAA8B,oBAAoB;AAAA,YACvD,KAAK,iDAAiD,YAAY,6CAA6C,UAAU;AAAA,UAC3H,CAAC;AAAA,QACH;AACA,cAAM,gBAAgB,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,GAAG;AAAA,UAC5E,KAAK,iCAAiC,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,QAC9F,CAAC;AAAA,MACH;AAEA,UAAI;AACJ,UAAI;AACF,uBAAe,KAAK,MAAM,mBAAmB;AAAA,MAC/C,SAAS,OAAO;AACd,cAAM;AAAA,UACJ,6BAA6B,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,UACnF,EAAE,OAAO,EAAE,MAAM,qBAAqB,EAAE;AAAA,QAC1C;AAAA,MACF;AAGA,YAAM,QAAQ,QAAQ,MAAM,OAAO,IAAI;AACvC,UAAI,CAAC,OAAO;AACV,cAAM,yBAAyB;AAAA,UAC7B,KAAK,uDAAuD,UAAU;AAAA,QACxE,CAAC;AAAA,MACH;AAGA,UAAI,CAAC,OAAO,QAAQ;AAClB,cAAM,oBAAoB,EAAE,KAAK,wCAAwC,CAAC;AAAA,MAC5E;AACA,YAAM,mBAAmB,OAAO;AAGhC,UAAI,CAAC,OAAO,OAAO,YAAY;AAC7B,cAAM,iCAAiC;AAAA,UACrC,KAAK,WAAW,OAAO,OAAO,EAAE;AAAA,QAClC,CAAC;AAAA,MACH;AACA,YAAM,aAAa,OAAO,OAAO;AAGjC,UAAI;AACJ,UAAI;AACF,iBAAS,MAAM,YAAY,MAAM,iBAAiB,OAAO,KAAK,GAAG;AAAA,UAC/D,SAAS;AAAA,UACT;AAAA,QACF,CAAC;AAAA,MACH,SAAS,OAAO;AACd,cAAM,UAAU,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK;AACrE,cAAM,OAAQ,MAA6B;AAC3C,cAAM,WAAW,kBAAkB,KAAK;AACxC,cAAM,aAAa,8BAA8B;AAAA,UAC/C,KAAK;AAAA,UACL,KAAK;AAAA,UACL,MAAM;AAAA,YACJ,GAAI,OAAO,SAAS,cAAc,EAAE,KAAK,IAAI,CAAC;AAAA,YAC9C,GAAG;AAAA,UACL;AAAA,QACF,CAAC;AAAA,MACH;AAEA,UAAI;AAEF,cAAM,iBAAiB,OAAO,OAAO,OAAO;AAAA,UAC1C,QAAQ,OAAO;AAAA,UACf,SAAS,OAAO;AAAA,UAChB,QAAQ;AAAA,UACR,gBAAgB,OAAO,kBAAkB,CAAC;AAAA,QAC5C,CAAC;AACD,cAAM,gBAAgB,CAAC,OAAO,QAAQ,OAAO,SAAS,GAAI,OAAO,kBAAkB,CAAC,CAAE;AACtF,cAAM,sBAAsB;AAAA,UAC1B,OAAO,OAAO;AAAA,UACd,OAAO,OAAO;AAAA,UACd;AAAA,QACF;AAGA,cAAM,aAAa,eAAe,mBAAmB,YAAY;AACjE,4CAAoC;AAAA,UAClC,UAAU;AAAA,UACV,QAAQ,OAAO;AAAA,UACf,QAAQ,OAAO;AAAA,UACf,SAAS,OAAO;AAAA,UAChB,gBAAgB,OAAO;AAAA,QACzB,CAAC;AAGD,cAAM,UAAU,WAAW,cAAc,cAAc;AACvD,cAAM,SAAS,WAAW,aAAa,cAAc;AAGrD,cAAM,WAAW,MAAM,YAAY,MAAM,eAAe,WAAW,EAAE,OAAO,CAAC,GAAG;AAAA,UAC9E,SAAS;AAAA,UACT;AAAA,QACF,CAAC;AAGD,cAAM,SAAS,EAAE,yBAAyB,CAAC,UAAU,EAAW;AAGhE,cAAM,gBAAwC,MAAM;AAAA,UAClD,YACE,QAAQ,KAAK;AAAA,YACX,UAAU;AAAA,YACV,QAAQ;AAAA,YACR;AAAA,YACA;AAAA,UACF,CAAC;AAAA,UACH;AAAA,YACE,SAAS;AAAA,YACT;AAAA,UACF;AAAA,QACF;AAEA,YAAI,cAAc,SAAS,WAAW;AACpC,gBAAM,6BAA6B,EAAE,WAAW,cAAc,UAAU,CAAC;AAAA,QAC3E;AAEA,cAAM,gBAA+B,cAAc;AAGnD,cAAM,iBAAiB,MAAM,eAAe,WAAW,EAAE,OAAO,CAAC;AACjE,YAAI,gBAAgB;AAClB,gBAAM,2BACJ,eAAe,aAAa,cAAc,YAAY,aACrD,CAAC,cAAc,YAAY,eAC1B,eAAe,gBAAgB,cAAc,YAAY;AAE7D,cAAI,0BAA0B;AAE5B,kBAAMA,gBAA6B;AAAA,cACjC,IAAI;AAAA,cACJ,MAAM,QAAQ,OAAO,SAAS;AAAA,cAC9B,MAAM;AAAA,gBACJ,UAAU,cAAc;AAAA,gBACxB,aAAa,cAAc;AAAA,gBAC3B,YAAY,CAAC;AAAA,cACf;AAAA,cACA,GAAI,QAAQ,OACR,CAAC,IACD;AAAA,gBACE,WAAW,EAAE,mBAAmB,GAAG,oBAAoB,EAAE;AAAA,gBACzD,QAAQ;AAAA,kBACN,UAAU,eAAe;AAAA,kBACzB,aAAa,eAAe;AAAA,gBAC9B;AAAA,cACF;AAAA,cACJ,SAAS;AAAA,cACT,SAAS,EAAE,OAAO,KAAK,IAAI,IAAI,UAAU;AAAA,YAC3C;AACA,mBAAOA;AAAA,UACT;AAGA,gBAAM,mBAAmB,eAAe,aAAa,cAAc,YAAY;AAC/E,gBAAM,sBACJ,cAAc,YAAY,eAC1B,eAAe,gBAAgB,cAAc,YAAY;AAE3D,gBAAM,gBAA0B,CAAC;AACjC,cAAI,kBAAkB;AACpB,0BAAc;AAAA,cACZ,qBAAqB,eAAe,QAAQ,kBAAkB,cAAc,YAAY,QAAQ;AAAA,YAClG;AAAA,UACF;AACA,cAAI,qBAAqB;AACvB,0BAAc;AAAA,cACZ,wBAAwB,eAAe,WAAW,kBAAkB,cAAc,YAAY,WAAW;AAAA,YAC3G;AAAA,UACF;AAEA,gBAAM;AAAA,YACJ,yEAAyE,cAAc,KAAK,OAAO,CAAC;AAAA,YACpG;AAAA,cACE,KAAK;AAAA,cACL,KAAK;AAAA,cACL,MAAM;AAAA,gBACJ,MAAM;AAAA,gBACN,gBAAgB,eAAe;AAAA,gBAC/B,qBAAqB,cAAc,YAAY;AAAA,gBAC/C,GAAI,eAAe,cACf,EAAE,mBAAmB,eAAe,YAAY,IAChD,CAAC;AAAA,gBACL,GAAI,cAAc,YAAY,cAC1B,EAAE,wBAAwB,cAAc,YAAY,YAAY,IAChE,CAAC;AAAA,cACP;AAAA,YACF;AAAA,UACF;AAAA,QACF;AAGA,YAAI,QAAQ,MAAM;AAChB,gBAAMA,gBAA6B;AAAA,YACjC,IAAI;AAAA,YACJ,MAAM;AAAA,YACN,MAAM;AAAA,cACJ,UAAU,cAAc;AAAA,cACxB,aAAa,cAAc;AAAA,cAC3B,YAAY,cAAc,WAAW,IAAI,CAAC,QAAQ;AAAA,gBAChD,IAAI,GAAG;AAAA,gBACP,OAAO,GAAG;AAAA,gBACV,gBAAgB,GAAG;AAAA,cACrB,EAAE;AAAA,YACJ;AAAA,YACA,SAAS,WAAW,cAAc,WAAW,MAAM;AAAA,YACnD,SAAS,EAAE,OAAO,KAAK,IAAI,IAAI,UAAU;AAAA,UAC3C;AACA,iBAAOA;AAAA,QACT;AAIA,YAAI,CAAC,MAAM,SAAS,MAAM,SAAS,UAAU;AAC3C,kBAAQ,IAAI,iDAAiD;AAAA,QAC/D;AAEA,cAAM,YAAY;AAAA,UAChB,kBAAkB,CAAC,OAA+B;AAChD,gBAAI,CAAC,MAAM,SAAS,MAAM,SAAS,UAAU;AAC3C,sBAAQ,IAAI,YAAO,GAAG,KAAK,KAAK;AAAA,YAClC;AAAA,UACF;AAAA,UACA,qBAAqB,CAAC,QAAgC;AAAA,UAEtD;AAAA,QACF;AAEA,cAAM,eAAsC,MAAM,OAAO,QAAQ;AAAA,UAC/D,MAAM;AAAA,UACN;AAAA,UACA,qBAAqB;AAAA,UACrB;AAAA,UACA;AAAA;AAAA;AAAA;AAAA,UAIA,iBAAiB;AAAA,YACf,WAAW;AAAA,YACX,YAAY;AAAA,YACZ,mBAAmB;AAAA,UACrB;AAAA,UACA;AAAA,QACF,CAAC;AAED,YAAI,CAAC,aAAa,IAAI;AACpB,gBAAM,OAAgC;AAAA,YACpC,MAAM,aAAa,QAAQ;AAAA,YAC3B,GAAI,aAAa,QAAQ,QAAQ,CAAC;AAAA,UACpC;AACA,gBAAM,WAAW,OAAO,KAAK,UAAU,MAAM,WAAW,KAAK,UAAU,IAAI;AAC3E,gBAAM,MACJ,aAAa,UACT,qHACA,aAAa,QAAQ,SAAS,yBAC5B,oHACA;AAER,gBAAM,aAAa,aAAa,QAAQ,SAAS;AAAA,YAC/C,KACE,aAAa,QAAQ,OAAO,4BAA4B,aAAa,QAAQ,IAAI;AAAA,YACnF,GAAI,MAAM,EAAE,IAAI,IAAI,CAAC;AAAA,YACrB;AAAA,UACF,CAAC;AAAA,QACH;AAEA,cAAM,YAAY,aAAa;AAE/B,cAAM,eAA6B;AAAA,UACjC,IAAI;AAAA,UACJ,MAAM;AAAA,UACN,MAAM;AAAA,YACJ,UAAU,cAAc;AAAA,YACxB,aAAa,cAAc;AAAA,YAC3B,YAAY,cAAc,WAAW,IAAI,CAAC,QAAQ;AAAA,cAChD,IAAI,GAAG;AAAA,cACP,OAAO,GAAG;AAAA,cACV,gBAAgB,GAAG;AAAA,YACrB,EAAE;AAAA,UACJ;AAAA,UACA,WAAW;AAAA,YACT,mBAAmB,UAAU;AAAA,YAC7B,oBAAoB,UAAU;AAAA,UAChC;AAAA,UACA,QAAQ,cAAc,YAAY,cAC9B;AAAA,YACE,UAAU,cAAc,YAAY;AAAA,YACpC,aAAa,cAAc,YAAY;AAAA,UACzC,IACA,EAAE,UAAU,cAAc,YAAY,SAAS;AAAA,UACnD,SAAS,WAAW,UAAU,kBAAkB;AAAA,UAChD,SAAS,EAAE,OAAO,KAAK,IAAI,IAAI,UAAU;AAAA,QAC3C;AACA,eAAO;AAAA,MACT,UAAE;AACA,cAAM,OAAO,MAAM;AAAA,MACrB;AAAA,IACF,CAAC;AAGD,UAAM,WAAW,aAAa,QAAQ,OAAO,CAAC,iBAAiB;AAC7D,UAAI,MAAM,SAAS,UAAU;AAC3B,gBAAQ,IAAI,iBAAiB,YAAY,CAAC;AAAA,MAC5C,OAAO;AACL,cAAM,SACJ,aAAa,SAAS,SAClB,uBAAuB,cAAc,KAAK,IAC1C,wBAAwB,cAAc,KAAK;AACjD,YAAI,QAAQ;AACV,kBAAQ,IAAI,MAAM;AAAA,QACpB;AAAA,MACF;AAAA,IACF,CAAC;AAED,YAAQ,KAAK,QAAQ;AAAA,EACvB,CAAC;AAEH,SAAO;AACT;","names":["dbInitResult"]}

package/dist/commands/db-introspect.js

@@ -1,3 +1,6 @@
+import {
+  assertContractRequirementsSatisfied
+} from "../chunk-C7QQMZ3I.js";
 import {
   formatCommandHelp,
   formatIntrospectJson,
@@ -8,7 +11,7 @@ import {
   performAction,
   setCommandDescriptions,
   withSpinner
-} from "../chunk-3EODSNGS.js";
+} from "../chunk-BZMBKEEQ.js";
 import {
   loadConfig
 } from "../chunk-HWYQOCAJ.js";
@@ -46,8 +49,7 @@ function createDbIntrospectCommand() {
         const contractPath = resolve(config.contract.output);
         try {
           const contractJsonContent = await readFile(contractPath, "utf-8");
-          const contractJson = JSON.parse(contractJsonContent);
-          contractIR = contractJson;
+          contractIR = JSON.parse(contractJsonContent);
         } catch (error) {
           if (error instanceof Error && error.code !== "ENOENT") {
             throw errorUnexpected(error.message, {
@@ -93,16 +95,23 @@ function createDbIntrospectCommand() {
           target: config.target,
           adapter: config.adapter,
           driver: driverDescriptor,
-          extensions: config.extensions ?? []
+          extensionPacks: config.extensionPacks ?? []
         });
-        const typedFamilyInstance = familyInstance;
         if (contractIR) {
-          contractIR = typedFamilyInstance.validateContractIR(contractIR);
+          const validatedContract = familyInstance.validateContractIR(contractIR);
+          assertContractRequirementsSatisfied({
+            contract: validatedContract,
+            family: config.family,
+            target: config.target,
+            adapter: config.adapter,
+            extensionPacks: config.extensionPacks
+          });
+          contractIR = validatedContract;
         }
         let schemaIR;
         try {
           schemaIR = await withSpinner(
-            () => typedFamilyInstance.introspect({
+            () => familyInstance.introspect({
               driver,
               contractIR
             }),
@@ -117,9 +126,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(

package/dist/commands/db-introspect.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/commands/db-introspect.ts"],"sourcesContent":["import { readFile } from 'node:fs/promises';\nimport { relative, resolve } from 'node:path';\nimport {\n  errorDatabaseUrlRequired,\n  errorDriverRequired,\n  errorRuntime,\n  errorUnexpected,\n} from '@prisma-next/core-control-plane/errors';\nimport type { CoreSchemaView } from '@prisma-next/core-control-plane/schema-view';\nimport type { FamilyInstance, IntrospectSchemaResult } from '@prisma-next/core-control-plane/types';\nimport { Command } from 'commander';\nimport { loadConfig } from '../config-loader';\nimport { setCommandDescriptions } from '../utils/command-helpers';\nimport { parseGlobalFlags } from '../utils/global-flags';\nimport {\n  formatCommandHelp,\n  formatIntrospectJson,\n  formatIntrospectOutput,\n  formatStyledHeader,\n} from '../utils/output';\nimport { performAction } from '../utils/result';\nimport { handleResult } from '../utils/result-handler';\nimport { withSpinner } from '../utils/spinner';\n\ninterface DbIntrospectOptions {\n  readonly db?: string;\n  readonly config?: string;\n  readonly json?: string | boolean;\n  readonly quiet?: boolean;\n  readonly q?: boolean;\n  readonly verbose?: boolean;\n  readonly v?: boolean;\n  readonly vv?: boolean;\n  readonly trace?: boolean;\n  readonly timestamps?: boolean;\n  readonly color?: boolean;\n  readonly 'no-color'?: boolean;\n}\n\nexport function createDbIntrospectCommand(): Command {\n  const command = new Command('introspect');\n  setCommandDescriptions(\n    command,\n    'Inspect the database schema',\n    'Reads the live database schema and displays it as a tree structure. This command\\n' +\n      'does not check the schema against your contract - it only shows what exists in\\n' +\n      'the database. Use `db verify` or `db schema-verify` to compare against your contract.',\n  );\n  command\n    .configureHelp({\n      formatHelp: (cmd) => {\n        const flags = parseGlobalFlags({});\n        return formatCommandHelp({ command: cmd, flags });\n      },\n    })\n    .option('--db <url>', 'Database connection string')\n    .option('--config <path>', 'Path to prisma-next.config.ts')\n    .option('--json [format]', 'Output as JSON (object or ndjson)', false)\n    .option('-q, --quiet', 'Quiet mode: errors only')\n    .option('-v, --verbose', 'Verbose output: debug info, timings')\n    .option('-vv, --trace', 'Trace output: deep internals, stack traces')\n    .option('--timestamps', 'Add timestamps to output')\n    .option('--color', 'Force color output')\n    .option('--no-color', 'Disable color output')\n    .action(async (options: DbIntrospectOptions) => {\n      const flags = parseGlobalFlags(options);\n\n      const result = await performAction(async () => {\n        const startTime = Date.now();\n\n        // Load config (file I/O)\n        const config = await loadConfig(options.config);\n        // Normalize config path for display (match contract path format - no ./ prefix)\n        const configPath = options.config\n          ? relative(process.cwd(), resolve(options.config))\n          : 'prisma-next.config.ts';\n\n        // Optionally load contract if contract config exists\n        let contractIR: unknown | undefined;\n        if (config.contract?.output) {\n          const contractPath = resolve(config.contract.output);\n          try {\n            const contractJsonContent = await readFile(contractPath, 'utf-8');\n            const contractJson = JSON.parse(contractJsonContent) as Record<string, unknown>;\n            // Validate contract using family instance (will be created later)\n            // For now, we'll pass the raw JSON and let the family instance validate it\n            contractIR = contractJson;\n          } catch (error) {\n            // Contract file is optional for introspection - don't fail if it doesn't exist\n            if (error instanceof Error && (error as { code?: string }).code !== 'ENOENT') {\n              throw errorUnexpected(error.message, {\n                why: `Failed to read contract file: ${error.message}`,\n              });\n            }\n          }\n        }\n\n        // Output header (only for human-readable output)\n        if (flags.json !== 'object' && !flags.quiet) {\n          const details: Array<{ label: string; value: string }> = [\n            { label: 'config', value: configPath },\n          ];\n          if (options.db) {\n            // Mask password in URL for security\n            const maskedUrl = options.db.replace(/:([^:@]+)@/, ':****@');\n            details.push({ label: 'database', value: maskedUrl });\n          } else if (config.db?.url) {\n            // Mask password in URL for security\n            const maskedUrl = config.db.url.replace(/:([^:@]+)@/, ':****@');\n            details.push({ label: 'database', value: maskedUrl });\n          }\n          const header = formatStyledHeader({\n            command: 'db introspect',\n            description: 'Inspect the database schema',\n            url: 'https://pris.ly/db-introspect',\n            details,\n            flags,\n          });\n          console.log(header);\n        }\n\n        // Resolve database URL\n        const dbUrl = options.db ?? config.db?.url;\n        if (!dbUrl) {\n          throw errorDatabaseUrlRequired();\n        }\n\n        // Check for driver\n        if (!config.driver) {\n          throw errorDriverRequired();\n        }\n\n        // Store driver descriptor after null check\n        const driverDescriptor = config.driver;\n\n        // Create driver\n        const driver = await withSpinner(() => driverDescriptor.create(dbUrl), {\n          message: 'Connecting to database...',\n          flags,\n        });\n\n        try {\n          // Create family instance\n          const familyInstance = config.family.create({\n            target: config.target,\n            adapter: config.adapter,\n            driver: driverDescriptor,\n            extensions: config.extensions ?? [],\n          });\n          const typedFamilyInstance = familyInstance as FamilyInstance<string>;\n\n          // Validate contract IR if we loaded it\n          if (contractIR) {\n            contractIR = typedFamilyInstance.validateContractIR(contractIR);\n          }\n\n          // Call family instance introspect method\n          let schemaIR: unknown;\n          try {\n            schemaIR = await withSpinner(\n              () =>\n                typedFamilyInstance.introspect({\n                  driver,\n                  contractIR,\n                }),\n              {\n                message: 'Introspecting database schema...',\n                flags,\n              },\n            );\n          } catch (error) {\n            // Wrap errors from introspect() in structured error\n            throw errorRuntime(error instanceof Error ? error.message : String(error), {\n              why: `Failed to introspect database: ${error instanceof Error ? error.message : String(error)}`,\n            });\n          }\n\n          // Optionally call toSchemaView if available\n          let schemaView: CoreSchemaView | undefined;\n          if (typedFamilyInstance.toSchemaView) {\n            try {\n              schemaView = typedFamilyInstance.toSchemaView(schemaIR);\n            } catch (error) {\n              // Schema view projection is optional - log but don't fail\n              if (flags.verbose) {\n                console.error(\n                  `Warning: Failed to project schema to view: ${error instanceof Error ? error.message : String(error)}`,\n                );\n              }\n            }\n          }\n\n          const totalTime = Date.now() - startTime;\n\n          // Add blank line after all async operations if spinners were shown\n          if (!flags.quiet && flags.json !== 'object' && process.stdout.isTTY) {\n            console.log('');\n          }\n\n          // Build result envelope\n          const introspectResult: IntrospectSchemaResult<unknown> = {\n            ok: true,\n            summary: 'Schema introspected successfully',\n            target: {\n              familyId: config.family.familyId,\n              id: config.target.targetId,\n            },\n            schema: schemaIR,\n            ...(configPath || options.db || config.db?.url\n              ? {\n                  meta: {\n                    ...(configPath ? { configPath } : {}),\n                    ...(options.db || config.db?.url\n                      ? {\n                          dbUrl: (options.db ?? config.db?.url ?? '').replace(\n                            /:([^:@]+)@/,\n                            ':****@',\n                          ),\n                        }\n                      : {}),\n                  },\n                }\n              : {}),\n            timings: {\n              total: totalTime,\n            },\n          };\n\n          return { introspectResult, schemaView };\n        } finally {\n          // Ensure driver connection is closed\n          await driver.close();\n        }\n      });\n\n      // Handle result - formats output and returns exit code\n      const exitCode = handleResult(result, flags, (value) => {\n        const { introspectResult, schemaView } = value;\n        // Output based on flags\n        if (flags.json === 'object') {\n          // JSON output to stdout\n          console.log(formatIntrospectJson(introspectResult));\n        } else {\n          // Human-readable output to stdout\n          const output = formatIntrospectOutput(introspectResult, schemaView, flags);\n          if (output) {\n            console.log(output);\n          }\n        }\n      });\n      process.exit(exitCode);\n    });\n\n  return command;\n}\n"],"mappings":";;;;;;;;;;;;;;;;AAAA,SAAS,gBAAgB;AACzB,SAAS,UAAU,eAAe;AAClC;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,OACK;AAGP,SAAS,eAAe;AA6BjB,SAAS,4BAAqC;AACnD,QAAM,UAAU,IAAI,QAAQ,YAAY;AACxC;AAAA,IACE;AAAA,IACA;AAAA,IACA;AAAA,EAGF;AACA,UACG,cAAc;AAAA,IACb,YAAY,CAAC,QAAQ;AACnB,YAAM,QAAQ,iBAAiB,CAAC,CAAC;AACjC,aAAO,kBAAkB,EAAE,SAAS,KAAK,MAAM,CAAC;AAAA,IAClD;AAAA,EACF,CAAC,EACA,OAAO,cAAc,4BAA4B,EACjD,OAAO,mBAAmB,+BAA+B,EACzD,OAAO,mBAAmB,qCAAqC,KAAK,EACpE,OAAO,eAAe,yBAAyB,EAC/C,OAAO,iBAAiB,qCAAqC,EAC7D,OAAO,gBAAgB,4CAA4C,EACnE,OAAO,gBAAgB,0BAA0B,EACjD,OAAO,WAAW,oBAAoB,EACtC,OAAO,cAAc,sBAAsB,EAC3C,OAAO,OAAO,YAAiC;AAC9C,UAAM,QAAQ,iBAAiB,OAAO;AAEtC,UAAM,SAAS,MAAM,cAAc,YAAY;AAC7C,YAAM,YAAY,KAAK,IAAI;AAG3B,YAAM,SAAS,MAAM,WAAW,QAAQ,MAAM;AAE9C,YAAM,aAAa,QAAQ,SACvB,SAAS,QAAQ,IAAI,GAAG,QAAQ,QAAQ,MAAM,CAAC,IAC/C;AAGJ,UAAI;AACJ,UAAI,OAAO,UAAU,QAAQ;AAC3B,cAAM,eAAe,QAAQ,OAAO,SAAS,MAAM;AACnD,YAAI;AACF,gBAAM,sBAAsB,MAAM,SAAS,cAAc,OAAO;AAChE,gBAAM,eAAe,KAAK,MAAM,mBAAmB;AAGnD,uBAAa;AAAA,QACf,SAAS,OAAO;AAEd,cAAI,iBAAiB,SAAU,MAA4B,SAAS,UAAU;AAC5E,kBAAM,gBAAgB,MAAM,SAAS;AAAA,cACnC,KAAK,iCAAiC,MAAM,OAAO;AAAA,YACrD,CAAC;AAAA,UACH;AAAA,QACF;AAAA,MACF;AAGA,UAAI,MAAM,SAAS,YAAY,CAAC,MAAM,OAAO;AAC3C,cAAM,UAAmD;AAAA,UACvD,EAAE,OAAO,UAAU,OAAO,WAAW;AAAA,QACvC;AACA,YAAI,QAAQ,IAAI;AAEd,gBAAM,YAAY,QAAQ,GAAG,QAAQ,cAAc,QAAQ;AAC3D,kBAAQ,KAAK,EAAE,OAAO,YAAY,OAAO,UAAU,CAAC;AAAA,QACtD,WAAW,OAAO,IAAI,KAAK;AAEzB,gBAAM,YAAY,OAAO,GAAG,IAAI,QAAQ,cAAc,QAAQ;AAC9D,kBAAQ,KAAK,EAAE,OAAO,YAAY,OAAO,UAAU,CAAC;AAAA,QACtD;AACA,cAAM,SAAS,mBAAmB;AAAA,UAChC,SAAS;AAAA,UACT,aAAa;AAAA,UACb,KAAK;AAAA,UACL;AAAA,UACA;AAAA,QACF,CAAC;AACD,gBAAQ,IAAI,MAAM;AAAA,MACpB;AAGA,YAAM,QAAQ,QAAQ,MAAM,OAAO,IAAI;AACvC,UAAI,CAAC,OAAO;AACV,cAAM,yBAAyB;AAAA,MACjC;AAGA,UAAI,CAAC,OAAO,QAAQ;AAClB,cAAM,oBAAoB;AAAA,MAC5B;AAGA,YAAM,mBAAmB,OAAO;AAGhC,YAAM,SAAS,MAAM,YAAY,MAAM,iBAAiB,OAAO,KAAK,GAAG;AAAA,QACrE,SAAS;AAAA,QACT;AAAA,MACF,CAAC;AAED,UAAI;AAEF,cAAM,iBAAiB,OAAO,OAAO,OAAO;AAAA,UAC1C,QAAQ,OAAO;AAAA,UACf,SAAS,OAAO;AAAA,UAChB,QAAQ;AAAA,UACR,YAAY,OAAO,cAAc,CAAC;AAAA,QACpC,CAAC;AACD,cAAM,sBAAsB;AAG5B,YAAI,YAAY;AACd,uBAAa,oBAAoB,mBAAmB,UAAU;AAAA,QAChE;AAGA,YAAI;AACJ,YAAI;AACF,qBAAW,MAAM;AAAA,YACf,MACE,oBAAoB,WAAW;AAAA,cAC7B;AAAA,cACA;AAAA,YACF,CAAC;AAAA,YACH;AAAA,cACE,SAAS;AAAA,cACT;AAAA,YACF;AAAA,UACF;AAAA,QACF,SAAS,OAAO;AAEd,gBAAM,aAAa,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,GAAG;AAAA,YACzE,KAAK,kCAAkC,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,UAC/F,CAAC;AAAA,QACH;AAGA,YAAI;AACJ,YAAI,oBAAoB,cAAc;AACpC,cAAI;AACF,yBAAa,oBAAoB,aAAa,QAAQ;AAAA,UACxD,SAAS,OAAO;AAEd,gBAAI,MAAM,SAAS;AACjB,sBAAQ;AAAA,gBACN,8CAA8C,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,cACtG;AAAA,YACF;AAAA,UACF;AAAA,QACF;AAEA,cAAM,YAAY,KAAK,IAAI,IAAI;AAG/B,YAAI,CAAC,MAAM,SAAS,MAAM,SAAS,YAAY,QAAQ,OAAO,OAAO;AACnE,kBAAQ,IAAI,EAAE;AAAA,QAChB;AAGA,cAAM,mBAAoD;AAAA,UACxD,IAAI;AAAA,UACJ,SAAS;AAAA,UACT,QAAQ;AAAA,YACN,UAAU,OAAO,OAAO;AAAA,YACxB,IAAI,OAAO,OAAO;AAAA,UACpB;AAAA,UACA,QAAQ;AAAA,UACR,GAAI,cAAc,QAAQ,MAAM,OAAO,IAAI,MACvC;AAAA,YACE,MAAM;AAAA,cACJ,GAAI,aAAa,EAAE,WAAW,IAAI,CAAC;AAAA,cACnC,GAAI,QAAQ,MAAM,OAAO,IAAI,MACzB;AAAA,gBACE,QAAQ,QAAQ,MAAM,OAAO,IAAI,OAAO,IAAI;AAAA,kBAC1C;AAAA,kBACA;AAAA,gBACF;AAAA,cACF,IACA,CAAC;AAAA,YACP;AAAA,UACF,IACA,CAAC;AAAA,UACL,SAAS;AAAA,YACP,OAAO;AAAA,UACT;AAAA,QACF;AAEA,eAAO,EAAE,kBAAkB,WAAW;AAAA,MACxC,UAAE;AAEA,cAAM,OAAO,MAAM;AAAA,MACrB;AAAA,IACF,CAAC;AAGD,UAAM,WAAW,aAAa,QAAQ,OAAO,CAAC,UAAU;AACtD,YAAM,EAAE,kBAAkB,WAAW,IAAI;AAEzC,UAAI,MAAM,SAAS,UAAU;AAE3B,gBAAQ,IAAI,qBAAqB,gBAAgB,CAAC;AAAA,MACpD,OAAO;AAEL,cAAM,SAAS,uBAAuB,kBAAkB,YAAY,KAAK;AACzE,YAAI,QAAQ;AACV,kBAAQ,IAAI,MAAM;AAAA,QACpB;AAAA,MACF;AAAA,IACF,CAAC;AACD,YAAQ,KAAK,QAAQ;AAAA,EACvB,CAAC;AAEH,SAAO;AACT;","names":[]}
+{"version":3,"sources":["../../src/commands/db-introspect.ts"],"sourcesContent":["import { readFile } from 'node:fs/promises';\nimport { relative, resolve } from 'node:path';\nimport {\n  errorDatabaseUrlRequired,\n  errorDriverRequired,\n  errorRuntime,\n  errorUnexpected,\n} from '@prisma-next/core-control-plane/errors';\nimport type { CoreSchemaView } from '@prisma-next/core-control-plane/schema-view';\nimport type { IntrospectSchemaResult } from '@prisma-next/core-control-plane/types';\nimport { Command } from 'commander';\nimport { loadConfig } from '../config-loader';\nimport { performAction } from '../utils/action';\nimport { setCommandDescriptions } from '../utils/command-helpers';\nimport { assertContractRequirementsSatisfied } from '../utils/framework-components';\nimport { parseGlobalFlags } from '../utils/global-flags';\nimport {\n  formatCommandHelp,\n  formatIntrospectJson,\n  formatIntrospectOutput,\n  formatStyledHeader,\n} from '../utils/output';\nimport { handleResult } from '../utils/result-handler';\nimport { withSpinner } from '../utils/spinner';\n\ninterface DbIntrospectOptions {\n  readonly db?: string;\n  readonly config?: string;\n  readonly json?: string | boolean;\n  readonly quiet?: boolean;\n  readonly q?: boolean;\n  readonly verbose?: boolean;\n  readonly v?: boolean;\n  readonly vv?: boolean;\n  readonly trace?: boolean;\n  readonly timestamps?: boolean;\n  readonly color?: boolean;\n  readonly 'no-color'?: boolean;\n}\n\nexport function createDbIntrospectCommand(): Command {\n  const command = new Command('introspect');\n  setCommandDescriptions(\n    command,\n    'Inspect the database schema',\n    'Reads the live database schema and displays it as a tree structure. This command\\n' +\n      'does not check the schema against your contract - it only shows what exists in\\n' +\n      'the database. Use `db verify` or `db schema-verify` to compare against your contract.',\n  );\n  command\n    .configureHelp({\n      formatHelp: (cmd) => {\n        const flags = parseGlobalFlags({});\n        return formatCommandHelp({ command: cmd, flags });\n      },\n    })\n    .option('--db <url>', 'Database connection string')\n    .option('--config <path>', 'Path to prisma-next.config.ts')\n    .option('--json [format]', 'Output as JSON (object or ndjson)', false)\n    .option('-q, --quiet', 'Quiet mode: errors only')\n    .option('-v, --verbose', 'Verbose output: debug info, timings')\n    .option('-vv, --trace', 'Trace output: deep internals, stack traces')\n    .option('--timestamps', 'Add timestamps to output')\n    .option('--color', 'Force color output')\n    .option('--no-color', 'Disable color output')\n    .action(async (options: DbIntrospectOptions) => {\n      const flags = parseGlobalFlags(options);\n\n      const result = await performAction(async () => {\n        const startTime = Date.now();\n\n        // Load config (file I/O)\n        const config = await loadConfig(options.config);\n        // Normalize config path for display (match contract path format - no ./ prefix)\n        const configPath = options.config\n          ? relative(process.cwd(), resolve(options.config))\n          : 'prisma-next.config.ts';\n\n        // Optionally load contract if contract config exists\n        let contractIR: unknown | undefined;\n        if (config.contract?.output) {\n          const contractPath = resolve(config.contract.output);\n          try {\n            const contractJsonContent = await readFile(contractPath, 'utf-8');\n            contractIR = JSON.parse(contractJsonContent);\n          } catch (error) {\n            // Contract file is optional for introspection - don't fail if it doesn't exist\n            if (error instanceof Error && (error as { code?: string }).code !== 'ENOENT') {\n              throw errorUnexpected(error.message, {\n                why: `Failed to read contract file: ${error.message}`,\n              });\n            }\n          }\n        }\n\n        // Output header (only for human-readable output)\n        if (flags.json !== 'object' && !flags.quiet) {\n          const details: Array<{ label: string; value: string }> = [\n            { label: 'config', value: configPath },\n          ];\n          if (options.db) {\n            // Mask password in URL for security\n            const maskedUrl = options.db.replace(/:([^:@]+)@/, ':****@');\n            details.push({ label: 'database', value: maskedUrl });\n          } else if (config.db?.url) {\n            // Mask password in URL for security\n            const maskedUrl = config.db.url.replace(/:([^:@]+)@/, ':****@');\n            details.push({ label: 'database', value: maskedUrl });\n          }\n          const header = formatStyledHeader({\n            command: 'db introspect',\n            description: 'Inspect the database schema',\n            url: 'https://pris.ly/db-introspect',\n            details,\n            flags,\n          });\n          console.log(header);\n        }\n\n        // Resolve database URL\n        const dbUrl = options.db ?? config.db?.url;\n        if (!dbUrl) {\n          throw errorDatabaseUrlRequired();\n        }\n\n        // Check for driver\n        if (!config.driver) {\n          throw errorDriverRequired();\n        }\n\n        // Store driver descriptor after null check\n        const driverDescriptor = config.driver;\n\n        // Create driver\n        const driver = await withSpinner(() => driverDescriptor.create(dbUrl), {\n          message: 'Connecting to database...',\n          flags,\n        });\n\n        try {\n          // Create family instance\n          const familyInstance = config.family.create({\n            target: config.target,\n            adapter: config.adapter,\n            driver: driverDescriptor,\n            extensionPacks: config.extensionPacks ?? [],\n          });\n\n          // Validate contract IR if we loaded it\n          if (contractIR) {\n            const validatedContract = familyInstance.validateContractIR(contractIR);\n            assertContractRequirementsSatisfied({\n              contract: validatedContract,\n              family: config.family,\n              target: config.target,\n              adapter: config.adapter,\n              extensionPacks: config.extensionPacks,\n            });\n            contractIR = validatedContract;\n          }\n\n          // Call family instance introspect method\n          let schemaIR: unknown;\n          try {\n            schemaIR = await withSpinner(\n              () =>\n                familyInstance.introspect({\n                  driver,\n                  contractIR,\n                }),\n              {\n                message: 'Introspecting database schema...',\n                flags,\n              },\n            );\n          } catch (error) {\n            // Wrap errors from introspect() in structured error\n            throw errorRuntime(error instanceof Error ? error.message : String(error), {\n              why: `Failed to introspect database: ${error instanceof Error ? error.message : String(error)}`,\n            });\n          }\n\n          // Optionally call toSchemaView if available\n          let schemaView: CoreSchemaView | undefined;\n          if (familyInstance.toSchemaView) {\n            try {\n              schemaView = familyInstance.toSchemaView(schemaIR);\n            } catch (error) {\n              // Schema view projection is optional - log but don't fail\n              if (flags.verbose) {\n                console.error(\n                  `Warning: Failed to project schema to view: ${error instanceof Error ? error.message : String(error)}`,\n                );\n              }\n            }\n          }\n\n          const totalTime = Date.now() - startTime;\n\n          // Add blank line after all async operations if spinners were shown\n          if (!flags.quiet && flags.json !== 'object' && process.stdout.isTTY) {\n            console.log('');\n          }\n\n          // Build result envelope\n          const introspectResult: IntrospectSchemaResult<unknown> = {\n            ok: true,\n            summary: 'Schema introspected successfully',\n            target: {\n              familyId: config.family.familyId,\n              id: config.target.targetId,\n            },\n            schema: schemaIR,\n            ...(configPath || options.db || config.db?.url\n              ? {\n                  meta: {\n                    ...(configPath ? { configPath } : {}),\n                    ...(options.db || config.db?.url\n                      ? {\n                          dbUrl: (options.db ?? config.db?.url ?? '').replace(\n                            /:([^:@]+)@/,\n                            ':****@',\n                          ),\n                        }\n                      : {}),\n                  },\n                }\n              : {}),\n            timings: {\n              total: totalTime,\n            },\n          };\n\n          return { introspectResult, schemaView };\n        } finally {\n          // Ensure driver connection is closed\n          await driver.close();\n        }\n      });\n\n      // Handle result - formats output and returns exit code\n      const exitCode = handleResult(result, flags, (value) => {\n        const { introspectResult, schemaView } = value;\n        // Output based on flags\n        if (flags.json === 'object') {\n          // JSON output to stdout\n          console.log(formatIntrospectJson(introspectResult));\n        } else {\n          // Human-readable output to stdout\n          const output = formatIntrospectOutput(introspectResult, schemaView, flags);\n          if (output) {\n            console.log(output);\n          }\n        }\n      });\n      process.exit(exitCode);\n    });\n\n  return command;\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;AAAA,SAAS,gBAAgB;AACzB,SAAS,UAAU,eAAe;AAClC;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,OACK;AAGP,SAAS,eAAe;AA8BjB,SAAS,4BAAqC;AACnD,QAAM,UAAU,IAAI,QAAQ,YAAY;AACxC;AAAA,IACE;AAAA,IACA;AAAA,IACA;AAAA,EAGF;AACA,UACG,cAAc;AAAA,IACb,YAAY,CAAC,QAAQ;AACnB,YAAM,QAAQ,iBAAiB,CAAC,CAAC;AACjC,aAAO,kBAAkB,EAAE,SAAS,KAAK,MAAM,CAAC;AAAA,IAClD;AAAA,EACF,CAAC,EACA,OAAO,cAAc,4BAA4B,EACjD,OAAO,mBAAmB,+BAA+B,EACzD,OAAO,mBAAmB,qCAAqC,KAAK,EACpE,OAAO,eAAe,yBAAyB,EAC/C,OAAO,iBAAiB,qCAAqC,EAC7D,OAAO,gBAAgB,4CAA4C,EACnE,OAAO,gBAAgB,0BAA0B,EACjD,OAAO,WAAW,oBAAoB,EACtC,OAAO,cAAc,sBAAsB,EAC3C,OAAO,OAAO,YAAiC;AAC9C,UAAM,QAAQ,iBAAiB,OAAO;AAEtC,UAAM,SAAS,MAAM,cAAc,YAAY;AAC7C,YAAM,YAAY,KAAK,IAAI;AAG3B,YAAM,SAAS,MAAM,WAAW,QAAQ,MAAM;AAE9C,YAAM,aAAa,QAAQ,SACvB,SAAS,QAAQ,IAAI,GAAG,QAAQ,QAAQ,MAAM,CAAC,IAC/C;AAGJ,UAAI;AACJ,UAAI,OAAO,UAAU,QAAQ;AAC3B,cAAM,eAAe,QAAQ,OAAO,SAAS,MAAM;AACnD,YAAI;AACF,gBAAM,sBAAsB,MAAM,SAAS,cAAc,OAAO;AAChE,uBAAa,KAAK,MAAM,mBAAmB;AAAA,QAC7C,SAAS,OAAO;AAEd,cAAI,iBAAiB,SAAU,MAA4B,SAAS,UAAU;AAC5E,kBAAM,gBAAgB,MAAM,SAAS;AAAA,cACnC,KAAK,iCAAiC,MAAM,OAAO;AAAA,YACrD,CAAC;AAAA,UACH;AAAA,QACF;AAAA,MACF;AAGA,UAAI,MAAM,SAAS,YAAY,CAAC,MAAM,OAAO;AAC3C,cAAM,UAAmD;AAAA,UACvD,EAAE,OAAO,UAAU,OAAO,WAAW;AAAA,QACvC;AACA,YAAI,QAAQ,IAAI;AAEd,gBAAM,YAAY,QAAQ,GAAG,QAAQ,cAAc,QAAQ;AAC3D,kBAAQ,KAAK,EAAE,OAAO,YAAY,OAAO,UAAU,CAAC;AAAA,QACtD,WAAW,OAAO,IAAI,KAAK;AAEzB,gBAAM,YAAY,OAAO,GAAG,IAAI,QAAQ,cAAc,QAAQ;AAC9D,kBAAQ,KAAK,EAAE,OAAO,YAAY,OAAO,UAAU,CAAC;AAAA,QACtD;AACA,cAAM,SAAS,mBAAmB;AAAA,UAChC,SAAS;AAAA,UACT,aAAa;AAAA,UACb,KAAK;AAAA,UACL;AAAA,UACA;AAAA,QACF,CAAC;AACD,gBAAQ,IAAI,MAAM;AAAA,MACpB;AAGA,YAAM,QAAQ,QAAQ,MAAM,OAAO,IAAI;AACvC,UAAI,CAAC,OAAO;AACV,cAAM,yBAAyB;AAAA,MACjC;AAGA,UAAI,CAAC,OAAO,QAAQ;AAClB,cAAM,oBAAoB;AAAA,MAC5B;AAGA,YAAM,mBAAmB,OAAO;AAGhC,YAAM,SAAS,MAAM,YAAY,MAAM,iBAAiB,OAAO,KAAK,GAAG;AAAA,QACrE,SAAS;AAAA,QACT;AAAA,MACF,CAAC;AAED,UAAI;AAEF,cAAM,iBAAiB,OAAO,OAAO,OAAO;AAAA,UAC1C,QAAQ,OAAO;AAAA,UACf,SAAS,OAAO;AAAA,UAChB,QAAQ;AAAA,UACR,gBAAgB,OAAO,kBAAkB,CAAC;AAAA,QAC5C,CAAC;AAGD,YAAI,YAAY;AACd,gBAAM,oBAAoB,eAAe,mBAAmB,UAAU;AACtE,8CAAoC;AAAA,YAClC,UAAU;AAAA,YACV,QAAQ,OAAO;AAAA,YACf,QAAQ,OAAO;AAAA,YACf,SAAS,OAAO;AAAA,YAChB,gBAAgB,OAAO;AAAA,UACzB,CAAC;AACD,uBAAa;AAAA,QACf;AAGA,YAAI;AACJ,YAAI;AACF,qBAAW,MAAM;AAAA,YACf,MACE,eAAe,WAAW;AAAA,cACxB;AAAA,cACA;AAAA,YACF,CAAC;AAAA,YACH;AAAA,cACE,SAAS;AAAA,cACT;AAAA,YACF;AAAA,UACF;AAAA,QACF,SAAS,OAAO;AAEd,gBAAM,aAAa,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,GAAG;AAAA,YACzE,KAAK,kCAAkC,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,UAC/F,CAAC;AAAA,QACH;AAGA,YAAI;AACJ,YAAI,eAAe,cAAc;AAC/B,cAAI;AACF,yBAAa,eAAe,aAAa,QAAQ;AAAA,UACnD,SAAS,OAAO;AAEd,gBAAI,MAAM,SAAS;AACjB,sBAAQ;AAAA,gBACN,8CAA8C,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,cACtG;AAAA,YACF;AAAA,UACF;AAAA,QACF;AAEA,cAAM,YAAY,KAAK,IAAI,IAAI;AAG/B,YAAI,CAAC,MAAM,SAAS,MAAM,SAAS,YAAY,QAAQ,OAAO,OAAO;AACnE,kBAAQ,IAAI,EAAE;AAAA,QAChB;AAGA,cAAM,mBAAoD;AAAA,UACxD,IAAI;AAAA,UACJ,SAAS;AAAA,UACT,QAAQ;AAAA,YACN,UAAU,OAAO,OAAO;AAAA,YACxB,IAAI,OAAO,OAAO;AAAA,UACpB;AAAA,UACA,QAAQ;AAAA,UACR,GAAI,cAAc,QAAQ,MAAM,OAAO,IAAI,MACvC;AAAA,YACE,MAAM;AAAA,cACJ,GAAI,aAAa,EAAE,WAAW,IAAI,CAAC;AAAA,cACnC,GAAI,QAAQ,MAAM,OAAO,IAAI,MACzB;AAAA,gBACE,QAAQ,QAAQ,MAAM,OAAO,IAAI,OAAO,IAAI;AAAA,kBAC1C;AAAA,kBACA;AAAA,gBACF;AAAA,cACF,IACA,CAAC;AAAA,YACP;AAAA,UACF,IACA,CAAC;AAAA,UACL,SAAS;AAAA,YACP,OAAO;AAAA,UACT;AAAA,QACF;AAEA,eAAO,EAAE,kBAAkB,WAAW;AAAA,MACxC,UAAE;AAEA,cAAM,OAAO,MAAM;AAAA,MACrB;AAAA,IACF,CAAC;AAGD,UAAM,WAAW,aAAa,QAAQ,OAAO,CAAC,UAAU;AACtD,YAAM,EAAE,kBAAkB,WAAW,IAAI;AAEzC,UAAI,MAAM,SAAS,UAAU;AAE3B,gBAAQ,IAAI,qBAAqB,gBAAgB,CAAC;AAAA,MACpD,OAAO;AAEL,cAAM,SAAS,uBAAuB,kBAAkB,YAAY,KAAK;AACzE,YAAI,QAAQ;AACV,kBAAQ,IAAI,MAAM;AAAA,QACpB;AAAA,MACF;AAAA,IACF,CAAC;AACD,YAAQ,KAAK,QAAQ;AAAA,EACvB,CAAC;AAEH,SAAO;AACT;","names":[]}

package/dist/commands/db-schema-verify.js

@@ -1,3 +1,7 @@
+import {
+  assertContractRequirementsSatisfied,
+  assertFrameworkComponentsCompatible
+} from "../chunk-C7QQMZ3I.js";
 import {
   formatCommandHelp,
   formatSchemaVerifyJson,
@@ -8,7 +12,7 @@ import {
   performAction,
   setCommandDescriptions,
   withSpinner
-} from "../chunk-3EODSNGS.js";
+} from "../chunk-BZMBKEEQ.js";
 import {
   loadConfig
 } from "../chunk-HWYQOCAJ.js";
@@ -74,36 +78,49 @@ function createDbSchemaVerifyCommand() {
         });
       }
       const contractJson = JSON.parse(contractJsonContent);
-      const dbUrl = options.db ?? config.db?.url;
-      if (!dbUrl) {
-        throw errorDatabaseUrlRequired();
-      }
       if (!config.driver) {
         throw errorDriverRequired();
       }
       const driverDescriptor = config.driver;
+      const familyInstance = config.family.create({
+        target: config.target,
+        adapter: config.adapter,
+        driver: driverDescriptor,
+        extensionPacks: config.extensionPacks ?? []
+      });
+      const contractIR = familyInstance.validateContractIR(contractJson);
+      assertContractRequirementsSatisfied({
+        contract: contractIR,
+        family: config.family,
+        target: config.target,
+        adapter: config.adapter,
+        extensionPacks: config.extensionPacks
+      });
+      const dbUrl = options.db ?? config.db?.url;
+      if (!dbUrl) {
+        throw errorDatabaseUrlRequired();
+      }
       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 typedFamilyInstance = familyInstance;
-        const contractIR = typedFamilyInstance.validateContractIR(contractJson);
+        const rawComponents = [config.target, config.adapter, ...config.extensionPacks ?? []];
+        const frameworkComponents = assertFrameworkComponentsCompatible(
+          config.family.familyId,
+          config.target.targetId,
+          rawComponents
+        );
         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...",