@prisma-next/cli 0.1.0-dev.17 → 0.1.0-dev.19

package/dist/commands/contract-emit.js

@@ -1,6 +1,6 @@
 import {
   createContractEmitCommand
-} from "../chunk-4W62XWA4.js";
+} from "../chunk-XS2KZ6CJ.js";
 import "../chunk-JLA4BH74.js";
 import "../chunk-HWYQOCAJ.js";
 export {

package/dist/commands/db-init.js

@@ -111,11 +111,10 @@ function createDbInitCommand() {
           driver: driverDescriptor,
           extensions: config.extensions ?? []
         });
-        const typedFamilyInstance = familyInstance;
-        const contractIR = typedFamilyInstance.validateContractIR(contractJson);
+        const contractIR = familyInstance.validateContractIR(contractJson);
         const planner = migrations.createPlanner(familyInstance);
         const runner = migrations.createRunner(familyInstance);
-        const schemaIR = await withSpinner(() => typedFamilyInstance.introspect({ driver }), {
+        const schemaIR = await withSpinner(() => familyInstance.introspect({ driver }), {
           message: "Introspecting database schema...",
           flags
         });

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

@@ -1 +1 @@
-{"version":3,"sources":["../../src/commands/db-init.ts"],"sourcesContent":["import { readFile } from 'node:fs/promises';\nimport { relative, resolve } from 'node:path';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport type {\n  FamilyInstance,\n  MigrationPlan,\n  MigrationPlannerResult,\n  MigrationPlanOperation,\n  MigrationRunnerResult,\n} from '@prisma-next/core-control-plane/types';\nimport { Command } from 'commander';\nimport { loadConfig } from '../config-loader';\nimport {\n  errorDatabaseUrlRequired,\n  errorDriverRequired,\n  errorFileNotFound,\n  errorMigrationPlanningFailed,\n  errorRuntime,\n  errorTargetMigrationNotSupported,\n  errorUnexpected,\n} from '../utils/cli-errors';\nimport { setCommandDescriptions } from '../utils/command-helpers';\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 { performAction } from '../utils/result';\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 tables, columns, indexes, and constraints defined in your contract.\\n' +\n      'Writes a contract marker to track the database state. This operation is idempotent.\\n' +\n      '\\n' +\n      'Currently supports empty databases only. Use --plan to 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 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: DbInitOptions) => {\n      const flags = parseGlobalFlags(options);\n      const startTime = Date.now();\n\n      const result = await performAction(async () => {\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            });\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 errorUnexpected(error instanceof Error ? error.message : String(error), {\n            why: `Failed to parse contract JSON at ${contractPathAbsolute}: ${error instanceof Error ? error.message : String(error)}`,\n          });\n        }\n\n        // Resolve database URL\n        const dbUrl = options.db ?? config.db?.url;\n        if (!dbUrl) {\n          throw errorDatabaseUrlRequired({ why: 'Database URL is required for db init' });\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        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\n          const contractIR = typedFamilyInstance.validateContractIR(contractJson) as ContractIR;\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(() => typedFamilyInstance.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              }),\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          // 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          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 withSpinner(\n            () =>\n              runner.execute({\n                plan: migrationPlan,\n                driver,\n                destinationContract: contractIR,\n                policy,\n                callbacks,\n              }),\n            {\n              message: 'Applying migration plan...',\n              flags,\n            },\n          );\n\n          if (!runnerResult.ok) {\n            throw errorRuntime(runnerResult.failure.summary, {\n              why:\n                runnerResult.failure.why ?? `Migration runner failed: ${runnerResult.failure.code}`,\n              meta: { code: runnerResult.failure.code },\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;AASlC,SAAS,eAAe;AAyCjB,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,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,YAA2B;AACxC,UAAM,QAAQ,iBAAiB,OAAO;AACtC,UAAM,YAAY,KAAK,IAAI;AAE3B,UAAM,SAAS,MAAM,cAAc,YAAY;AAE7C,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,UACzD,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,gBAAgB,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,GAAG;AAAA,UAC5E,KAAK,oCAAoC,oBAAoB,KAAK,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,QAC1H,CAAC;AAAA,MACH;AAGA,YAAM,QAAQ,QAAQ,MAAM,OAAO,IAAI;AACvC,UAAI,CAAC,OAAO;AACV,cAAM,yBAAyB,EAAE,KAAK,uCAAuC,CAAC;AAAA,MAChF;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,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,cAAM,aAAa,oBAAoB,mBAAmB,YAAY;AAGtE,cAAM,UAAU,WAAW,cAAc,cAAc;AACvD,cAAM,SAAS,WAAW,aAAa,cAAc;AAGrD,cAAM,WAAW,MAAM,YAAY,MAAM,oBAAoB,WAAW,EAAE,OAAO,CAAC,GAAG;AAAA,UACnF,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,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,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;AAGA,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;AAAA,UAChD,MACE,OAAO,QAAQ;AAAA,YACb,MAAM;AAAA,YACN;AAAA,YACA,qBAAqB;AAAA,YACrB;AAAA,YACA;AAAA,UACF,CAAC;AAAA,UACH;AAAA,YACE,SAAS;AAAA,YACT;AAAA,UACF;AAAA,QACF;AAEA,YAAI,CAAC,aAAa,IAAI;AACpB,gBAAM,aAAa,aAAa,QAAQ,SAAS;AAAA,YAC/C,KACE,aAAa,QAAQ,OAAO,4BAA4B,aAAa,QAAQ,IAAI;AAAA,YACnF,MAAM,EAAE,MAAM,aAAa,QAAQ,KAAK;AAAA,UAC1C,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"]}
+{"version":3,"sources":["../../src/commands/db-init.ts"],"sourcesContent":["import { readFile } from 'node:fs/promises';\nimport { relative, resolve } from 'node:path';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport type {\n  MigrationPlan,\n  MigrationPlannerResult,\n  MigrationPlanOperation,\n  MigrationRunnerResult,\n} from '@prisma-next/core-control-plane/types';\nimport { Command } from 'commander';\nimport { loadConfig } from '../config-loader';\nimport {\n  errorDatabaseUrlRequired,\n  errorDriverRequired,\n  errorFileNotFound,\n  errorMigrationPlanningFailed,\n  errorRuntime,\n  errorTargetMigrationNotSupported,\n  errorUnexpected,\n} from '../utils/cli-errors';\nimport { setCommandDescriptions } from '../utils/command-helpers';\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 { performAction } from '../utils/result';\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 tables, columns, indexes, and constraints defined in your contract.\\n' +\n      'Writes a contract marker to track the database state. This operation is idempotent.\\n' +\n      '\\n' +\n      'Currently supports empty databases only. Use --plan to 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 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: DbInitOptions) => {\n      const flags = parseGlobalFlags(options);\n      const startTime = Date.now();\n\n      const result = await performAction(async () => {\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            });\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 errorUnexpected(error instanceof Error ? error.message : String(error), {\n            why: `Failed to parse contract JSON at ${contractPathAbsolute}: ${error instanceof Error ? error.message : String(error)}`,\n          });\n        }\n\n        // Resolve database URL\n        const dbUrl = options.db ?? config.db?.url;\n        if (!dbUrl) {\n          throw errorDatabaseUrlRequired({ why: 'Database URL is required for db init' });\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        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\n          // Validate contract\n          const contractIR = familyInstance.validateContractIR(contractJson) as ContractIR;\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              }),\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          // 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          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 withSpinner(\n            () =>\n              runner.execute({\n                plan: migrationPlan,\n                driver,\n                destinationContract: contractIR,\n                policy,\n                callbacks,\n              }),\n            {\n              message: 'Applying migration plan...',\n              flags,\n            },\n          );\n\n          if (!runnerResult.ok) {\n            throw errorRuntime(runnerResult.failure.summary, {\n              why:\n                runnerResult.failure.why ?? `Migration runner failed: ${runnerResult.failure.code}`,\n              meta: { code: runnerResult.failure.code },\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;AAQlC,SAAS,eAAe;AAyCjB,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,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,YAA2B;AACxC,UAAM,QAAQ,iBAAiB,OAAO;AACtC,UAAM,YAAY,KAAK,IAAI;AAE3B,UAAM,SAAS,MAAM,cAAc,YAAY;AAE7C,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,UACzD,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,gBAAgB,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,GAAG;AAAA,UAC5E,KAAK,oCAAoC,oBAAoB,KAAK,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,QAC1H,CAAC;AAAA,MACH;AAGA,YAAM,QAAQ,QAAQ,MAAM,OAAO,IAAI;AACvC,UAAI,CAAC,OAAO;AACV,cAAM,yBAAyB,EAAE,KAAK,uCAAuC,CAAC;AAAA,MAChF;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,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;AAGD,cAAM,aAAa,eAAe,mBAAmB,YAAY;AAGjE,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,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,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;AAGA,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;AAAA,UAChD,MACE,OAAO,QAAQ;AAAA,YACb,MAAM;AAAA,YACN;AAAA,YACA,qBAAqB;AAAA,YACrB;AAAA,YACA;AAAA,UACF,CAAC;AAAA,UACH;AAAA,YACE,SAAS;AAAA,YACT;AAAA,UACF;AAAA,QACF;AAEA,YAAI,CAAC,aAAa,IAAI;AACpB,gBAAM,aAAa,aAAa,QAAQ,SAAS;AAAA,YAC/C,KACE,aAAa,QAAQ,OAAO,4BAA4B,aAAa,QAAQ,IAAI;AAAA,YACnF,MAAM,EAAE,MAAM,aAAa,QAAQ,KAAK;AAAA,UAC1C,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

@@ -46,8 +46,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, {
@@ -95,14 +94,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
             }),
@@ -117,9 +115,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 { 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            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            extensions: config.extensions ?? [],\n          });\n\n          // Validate contract IR if we loaded it\n          if (contractIR) {\n            contractIR = familyInstance.validateContractIR(contractIR);\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;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,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,YAAY,OAAO,cAAc,CAAC;AAAA,QACpC,CAAC;AAGD,YAAI,YAAY;AACd,uBAAa,eAAe,mBAAmB,UAAU;AAAA,QAC3D;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

@@ -93,12 +93,11 @@ function createDbSchemaVerifyCommand() {
           driver: driverDescriptor,
           extensions: config.extensions ?? []
         });
-        const typedFamilyInstance = familyInstance;
-        const contractIR = typedFamilyInstance.validateContractIR(contractJson);
+        const contractIR = familyInstance.validateContractIR(contractJson);
         let schemaVerifyResult;
         try {
           schemaVerifyResult = await withSpinner(
-            () => typedFamilyInstance.schemaVerify({
+            () => familyInstance.schemaVerify({
               driver,
               contractIR,
               strict: options.strict ?? false,

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

@@ -1 +1 @@
-{"version":3,"sources":["../../src/commands/db-schema-verify.ts"],"sourcesContent":["import { readFile } from 'node:fs/promises';\nimport { relative, resolve } from 'node:path';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport {\n  errorDatabaseUrlRequired,\n  errorDriverRequired,\n  errorFileNotFound,\n  errorRuntime,\n  errorUnexpected,\n} from '@prisma-next/core-control-plane/errors';\nimport type {\n  FamilyInstance,\n  VerifyDatabaseSchemaResult,\n} 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  formatSchemaVerifyJson,\n  formatSchemaVerifyOutput,\n  formatStyledHeader,\n} from '../utils/output';\nimport { performAction } from '../utils/result';\nimport { handleResult } from '../utils/result-handler';\nimport { withSpinner } from '../utils/spinner';\n\ninterface DbSchemaVerifyOptions {\n  readonly db?: string;\n  readonly config?: string;\n  readonly json?: string | boolean;\n  readonly strict?: 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 createDbSchemaVerifyCommand(): Command {\n  const command = new Command('schema-verify');\n  setCommandDescriptions(\n    command,\n    'Check whether the database schema satisfies your contract',\n    'Verifies that your database schema satisfies the emitted contract. Compares table structures,\\n' +\n      'column types, constraints, and extensions. Reports any mismatches via a contract-shaped\\n' +\n      'verification tree. This is a read-only operation that does not modify the database.',\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('--strict', 'Strict mode: extra schema elements cause failures', 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: DbSchemaVerifyOptions) => {\n      const flags = parseGlobalFlags(options);\n\n      const result = await performAction(async () => {\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        const contractPathAbsolute = config.contract?.output\n          ? resolve(config.contract.output)\n          : resolve('src/prisma/contract.json');\n        // Convert to relative path for display\n        const contractPath = relative(process.cwd(), contractPathAbsolute);\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            { label: 'contract', value: contractPath },\n          ];\n          if (options.db) {\n            details.push({ label: 'database', value: options.db });\n          }\n          const header = formatStyledHeader({\n            command: 'db schema-verify',\n            description: 'Check whether the database schema satisfies your contract',\n            url: 'https://pris.ly/db-schema-verify',\n            details,\n            flags,\n          });\n          console.log(header);\n        }\n\n        // Load contract file (file I/O)\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            });\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        const contractJson = JSON.parse(contractJsonContent) as Record<string, unknown>;\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 using instance validator\n          const contractIR = typedFamilyInstance.validateContractIR(contractJson) as ContractIR;\n\n          // Call family instance schemaVerify method\n          let schemaVerifyResult: VerifyDatabaseSchemaResult;\n          try {\n            schemaVerifyResult = (await withSpinner(\n              () =>\n                typedFamilyInstance.schemaVerify({\n                  driver,\n                  contractIR,\n                  strict: options.strict ?? false,\n                  contractPath: contractPathAbsolute,\n                  configPath,\n                }),\n              {\n                message: 'Verifying database schema...',\n                flags,\n              },\n            )) as VerifyDatabaseSchemaResult;\n          } catch (error) {\n            // Wrap errors from schemaVerify() in structured error\n            throw errorRuntime(error instanceof Error ? error.message : String(error), {\n              why: `Failed to verify database schema: ${error instanceof Error ? error.message : String(error)}`,\n            });\n          }\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          // Return result (don't throw for logical mismatches - handle exit code separately)\n          return schemaVerifyResult;\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, (schemaVerifyResult) => {\n        // Output based on flags\n        if (flags.json === 'object') {\n          // JSON output to stdout\n          console.log(formatSchemaVerifyJson(schemaVerifyResult));\n        } else {\n          // Human-readable output to stdout\n          const output = formatSchemaVerifyOutput(schemaVerifyResult, flags);\n          if (output) {\n            console.log(output);\n          }\n        }\n      });\n\n      // For logical schema mismatches, check if verification passed\n      // Infra errors already handled by handleResult (returns non-zero exit code)\n      if (result.ok && !result.value.ok) {\n        // Schema verification failed - exit with code 1\n        process.exit(1);\n      } else {\n        // Success or infra error - use exit code from handleResult\n        process.exit(exitCode);\n      }\n    });\n\n  return command;\n}\n"],"mappings":";;;;;;;;;;;;;;;;AAAA,SAAS,gBAAgB;AACzB,SAAS,UAAU,eAAe;AAElC;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,OACK;AAKP,SAAS,eAAe;AA8BjB,SAAS,8BAAuC;AACrD,QAAM,UAAU,IAAI,QAAQ,eAAe;AAC3C;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,YAAY,qDAAqD,KAAK,EAC7E,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,YAAmC;AAChD,UAAM,QAAQ,iBAAiB,OAAO;AAEtC,UAAM,SAAS,MAAM,cAAc,YAAY;AAE7C,YAAM,SAAS,MAAM,WAAW,QAAQ,MAAM;AAE9C,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;AAEtC,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,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,UACzD,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;AACA,YAAM,eAAe,KAAK,MAAM,mBAAmB;AAGnD,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,cAAM,aAAa,oBAAoB,mBAAmB,YAAY;AAGtE,YAAI;AACJ,YAAI;AACF,+BAAsB,MAAM;AAAA,YAC1B,MACE,oBAAoB,aAAa;AAAA,cAC/B;AAAA,cACA;AAAA,cACA,QAAQ,QAAQ,UAAU;AAAA,cAC1B,cAAc;AAAA,cACd;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,qCAAqC,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,UAClG,CAAC;AAAA,QACH;AAGA,YAAI,CAAC,MAAM,SAAS,MAAM,SAAS,YAAY,QAAQ,OAAO,OAAO;AACnE,kBAAQ,IAAI,EAAE;AAAA,QAChB;AAGA,eAAO;AAAA,MACT,UAAE;AAEA,cAAM,OAAO,MAAM;AAAA,MACrB;AAAA,IACF,CAAC;AAGD,UAAM,WAAW,aAAa,QAAQ,OAAO,CAAC,uBAAuB;AAEnE,UAAI,MAAM,SAAS,UAAU;AAE3B,gBAAQ,IAAI,uBAAuB,kBAAkB,CAAC;AAAA,MACxD,OAAO;AAEL,cAAM,SAAS,yBAAyB,oBAAoB,KAAK;AACjE,YAAI,QAAQ;AACV,kBAAQ,IAAI,MAAM;AAAA,QACpB;AAAA,MACF;AAAA,IACF,CAAC;AAID,QAAI,OAAO,MAAM,CAAC,OAAO,MAAM,IAAI;AAEjC,cAAQ,KAAK,CAAC;AAAA,IAChB,OAAO;AAEL,cAAQ,KAAK,QAAQ;AAAA,IACvB;AAAA,EACF,CAAC;AAEH,SAAO;AACT;","names":[]}
+{"version":3,"sources":["../../src/commands/db-schema-verify.ts"],"sourcesContent":["import { readFile } from 'node:fs/promises';\nimport { relative, resolve } from 'node:path';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport {\n  errorDatabaseUrlRequired,\n  errorDriverRequired,\n  errorFileNotFound,\n  errorRuntime,\n  errorUnexpected,\n} from '@prisma-next/core-control-plane/errors';\nimport type { VerifyDatabaseSchemaResult } 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  formatSchemaVerifyJson,\n  formatSchemaVerifyOutput,\n  formatStyledHeader,\n} from '../utils/output';\nimport { performAction } from '../utils/result';\nimport { handleResult } from '../utils/result-handler';\nimport { withSpinner } from '../utils/spinner';\n\ninterface DbSchemaVerifyOptions {\n  readonly db?: string;\n  readonly config?: string;\n  readonly json?: string | boolean;\n  readonly strict?: 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 createDbSchemaVerifyCommand(): Command {\n  const command = new Command('schema-verify');\n  setCommandDescriptions(\n    command,\n    'Check whether the database schema satisfies your contract',\n    'Verifies that your database schema satisfies the emitted contract. Compares table structures,\\n' +\n      'column types, constraints, and extensions. Reports any mismatches via a contract-shaped\\n' +\n      'verification tree. This is a read-only operation that does not modify the database.',\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('--strict', 'Strict mode: extra schema elements cause failures', 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: DbSchemaVerifyOptions) => {\n      const flags = parseGlobalFlags(options);\n\n      const result = await performAction(async () => {\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        const contractPathAbsolute = config.contract?.output\n          ? resolve(config.contract.output)\n          : resolve('src/prisma/contract.json');\n        // Convert to relative path for display\n        const contractPath = relative(process.cwd(), contractPathAbsolute);\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            { label: 'contract', value: contractPath },\n          ];\n          if (options.db) {\n            details.push({ label: 'database', value: options.db });\n          }\n          const header = formatStyledHeader({\n            command: 'db schema-verify',\n            description: 'Check whether the database schema satisfies your contract',\n            url: 'https://pris.ly/db-schema-verify',\n            details,\n            flags,\n          });\n          console.log(header);\n        }\n\n        // Load contract file (file I/O)\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            });\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        const contractJson = JSON.parse(contractJsonContent) as Record<string, unknown>;\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\n          // Validate contract using instance validator\n          const contractIR = familyInstance.validateContractIR(contractJson) as ContractIR;\n\n          // Call family instance schemaVerify method\n          let schemaVerifyResult: VerifyDatabaseSchemaResult;\n          try {\n            schemaVerifyResult = await withSpinner(\n              () =>\n                familyInstance.schemaVerify({\n                  driver,\n                  contractIR,\n                  strict: options.strict ?? false,\n                  contractPath: contractPathAbsolute,\n                  configPath,\n                }),\n              {\n                message: 'Verifying database schema...',\n                flags,\n              },\n            );\n          } catch (error) {\n            // Wrap errors from schemaVerify() in structured error\n            throw errorRuntime(error instanceof Error ? error.message : String(error), {\n              why: `Failed to verify database schema: ${error instanceof Error ? error.message : String(error)}`,\n            });\n          }\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          // Return result (don't throw for logical mismatches - handle exit code separately)\n          return schemaVerifyResult;\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, (schemaVerifyResult) => {\n        // Output based on flags\n        if (flags.json === 'object') {\n          // JSON output to stdout\n          console.log(formatSchemaVerifyJson(schemaVerifyResult));\n        } else {\n          // Human-readable output to stdout\n          const output = formatSchemaVerifyOutput(schemaVerifyResult, flags);\n          if (output) {\n            console.log(output);\n          }\n        }\n      });\n\n      // For logical schema mismatches, check if verification passed\n      // Infra errors already handled by handleResult (returns non-zero exit code)\n      if (result.ok && !result.value.ok) {\n        // Schema verification failed - exit with code 1\n        process.exit(1);\n      } else {\n        // Success or infra error - use exit code from handleResult\n        process.exit(exitCode);\n      }\n    });\n\n  return command;\n}\n"],"mappings":";;;;;;;;;;;;;;;;AAAA,SAAS,gBAAgB;AACzB,SAAS,UAAU,eAAe;AAElC;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,OACK;AAEP,SAAS,eAAe;AA8BjB,SAAS,8BAAuC;AACrD,QAAM,UAAU,IAAI,QAAQ,eAAe;AAC3C;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,YAAY,qDAAqD,KAAK,EAC7E,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,YAAmC;AAChD,UAAM,QAAQ,iBAAiB,OAAO;AAEtC,UAAM,SAAS,MAAM,cAAc,YAAY;AAE7C,YAAM,SAAS,MAAM,WAAW,QAAQ,MAAM;AAE9C,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;AAEtC,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,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,UACzD,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;AACA,YAAM,eAAe,KAAK,MAAM,mBAAmB;AAGnD,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;AAGD,cAAM,aAAa,eAAe,mBAAmB,YAAY;AAGjE,YAAI;AACJ,YAAI;AACF,+BAAqB,MAAM;AAAA,YACzB,MACE,eAAe,aAAa;AAAA,cAC1B;AAAA,cACA;AAAA,cACA,QAAQ,QAAQ,UAAU;AAAA,cAC1B,cAAc;AAAA,cACd;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,qCAAqC,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,UAClG,CAAC;AAAA,QACH;AAGA,YAAI,CAAC,MAAM,SAAS,MAAM,SAAS,YAAY,QAAQ,OAAO,OAAO;AACnE,kBAAQ,IAAI,EAAE;AAAA,QAChB;AAGA,eAAO;AAAA,MACT,UAAE;AAEA,cAAM,OAAO,MAAM;AAAA,MACrB;AAAA,IACF,CAAC;AAGD,UAAM,WAAW,aAAa,QAAQ,OAAO,CAAC,uBAAuB;AAEnE,UAAI,MAAM,SAAS,UAAU;AAE3B,gBAAQ,IAAI,uBAAuB,kBAAkB,CAAC;AAAA,MACxD,OAAO;AAEL,cAAM,SAAS,yBAAyB,oBAAoB,KAAK;AACjE,YAAI,QAAQ;AACV,kBAAQ,IAAI,MAAM;AAAA,QACpB;AAAA,MACF;AAAA,IACF,CAAC;AAID,QAAI,OAAO,MAAM,CAAC,OAAO,MAAM,IAAI;AAEjC,cAAQ,KAAK,CAAC;AAAA,IAChB,OAAO;AAEL,cAAQ,KAAK,QAAQ;AAAA,IACvB;AAAA,EACF,CAAC;AAEH,SAAO;AACT;","names":[]}

package/dist/commands/db-sign.js

@@ -92,20 +92,17 @@ function createDbSignCommand() {
           driver: driverDescriptor,
           extensions: config.extensions ?? []
         });
-        const typedFamilyInstance = familyInstance;
-        const contractIR = typedFamilyInstance.validateContractIR(contractJson);
+        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
+            }),
             {
               message: "Verifying database satisfies contract",
               flags
@@ -122,14 +119,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

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

@@ -1 +1 @@
-{"version":3,"sources":["../../src/commands/db-sign.ts"],"sourcesContent":["import { readFile } from 'node:fs/promises';\nimport { relative, resolve } from 'node:path';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport {\n  errorDatabaseUrlRequired,\n  errorDriverRequired,\n  errorFileNotFound,\n  errorRuntime,\n  errorUnexpected,\n} from '@prisma-next/core-control-plane/errors';\nimport type {\n  FamilyInstance,\n  SignDatabaseResult,\n  VerifyDatabaseSchemaResult,\n} 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  formatSchemaVerifyJson,\n  formatSchemaVerifyOutput,\n  formatSignJson,\n  formatSignOutput,\n  formatStyledHeader,\n} from '../utils/output';\nimport { performAction } from '../utils/result';\nimport { handleResult } from '../utils/result-handler';\nimport { withSpinner } from '../utils/spinner';\n\ninterface DbSignOptions {\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 createDbSignCommand(): Command {\n  const command = new Command('sign');\n  setCommandDescriptions(\n    command,\n    'Sign the database with your contract so you can safely run queries',\n    'Verifies that your database schema satisfies the emitted contract, and if so, writes or\\n' +\n      'updates the contract marker in the database. This command is idempotent and safe to run\\n' +\n      'in CI/deployment pipelines. The marker records that this database instance is aligned\\n' +\n      'with a specific contract version.',\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: DbSignOptions) => {\n      const flags = parseGlobalFlags(options);\n\n      const result = await performAction(async () => {\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        const contractPathAbsolute = config.contract?.output\n          ? resolve(config.contract.output)\n          : resolve('src/prisma/contract.json');\n        // Convert to relative path for display\n        const contractPath = relative(process.cwd(), contractPathAbsolute);\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            { label: 'contract', value: contractPath },\n          ];\n          if (options.db) {\n            details.push({ label: 'database', value: options.db });\n          }\n          const header = formatStyledHeader({\n            command: 'db sign',\n            description: 'Sign the database with your contract so you can safely run queries',\n            url: 'https://pris.ly/db-sign',\n            details,\n            flags,\n          });\n          console.log(header);\n        }\n\n        // Load contract file (file I/O)\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            });\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        const contractJson = JSON.parse(contractJsonContent) as Record<string, unknown>;\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 driverDescriptor.create(dbUrl);\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 using instance validator\n          const contractIR = typedFamilyInstance.validateContractIR(contractJson) as ContractIR;\n\n          // Schema verification precondition with spinner\n          let schemaVerifyResult: VerifyDatabaseSchemaResult;\n          try {\n            schemaVerifyResult = await withSpinner(\n              async () => {\n                return (await typedFamilyInstance.schemaVerify({\n                  driver,\n                  contractIR,\n                  strict: false,\n                  contractPath: contractPathAbsolute,\n                  configPath,\n                })) as VerifyDatabaseSchemaResult;\n              },\n              {\n                message: 'Verifying database satisfies contract',\n                flags,\n              },\n            );\n          } catch (error) {\n            // Wrap errors from schemaVerify() in structured error\n            throw errorRuntime(error instanceof Error ? error.message : String(error), {\n              why: `Failed to verify database schema: ${error instanceof Error ? error.message : String(error)}`,\n            });\n          }\n\n          // If schema verification failed, return both results for handling outside performAction\n          if (!schemaVerifyResult.ok) {\n            return { schemaVerifyResult, signResult: undefined };\n          }\n\n          // Schema verification passed - proceed with signing\n          let signResult: SignDatabaseResult;\n          try {\n            signResult = await withSpinner(\n              async () => {\n                return (await typedFamilyInstance.sign({\n                  driver,\n                  contractIR,\n                  contractPath: contractPathAbsolute,\n                  configPath,\n                })) as SignDatabaseResult;\n              },\n              {\n                message: 'Signing database...',\n                flags,\n              },\n            );\n          } catch (error) {\n            // Wrap errors from sign() in structured error\n            throw errorRuntime(error instanceof Error ? error.message : String(error), {\n              why: `Failed to sign database: ${error instanceof Error ? error.message : String(error)}`,\n            });\n          }\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          return { schemaVerifyResult: undefined, signResult };\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 { schemaVerifyResult, signResult } = value;\n\n        // If schema verification failed, format and print schema verification output\n        if (schemaVerifyResult && !schemaVerifyResult.ok) {\n          if (flags.json === 'object') {\n            console.log(formatSchemaVerifyJson(schemaVerifyResult));\n          } else {\n            const output = formatSchemaVerifyOutput(schemaVerifyResult, flags);\n            if (output) {\n              console.log(output);\n            }\n          }\n          // Don't proceed to sign output formatting\n          return;\n        }\n\n        // Schema verification passed - format sign output\n        if (signResult) {\n          if (flags.json === 'object') {\n            console.log(formatSignJson(signResult));\n          } else {\n            const output = formatSignOutput(signResult, flags);\n            if (output) {\n              console.log(output);\n            }\n          }\n        }\n      });\n\n      // For logical schema mismatches, check if schema verification passed\n      // Infra errors already handled by handleResult (returns non-zero exit code)\n      if (result.ok && result.value.schemaVerifyResult && !result.value.schemaVerifyResult.ok) {\n        // Schema verification failed - exit with code 1\n        process.exit(1);\n      } else {\n        // Success or infra error - use exit code from handleResult\n        process.exit(exitCode);\n      }\n    });\n\n  return command;\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;AAAA,SAAS,gBAAgB;AACzB,SAAS,UAAU,eAAe;AAElC;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,OACK;AAMP,SAAS,eAAe;AA+BjB,SAAS,sBAA+B;AAC7C,QAAM,UAAU,IAAI,QAAQ,MAAM;AAClC;AAAA,IACE;AAAA,IACA;AAAA,IACA;AAAA,EAIF;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,YAA2B;AACxC,UAAM,QAAQ,iBAAiB,OAAO;AAEtC,UAAM,SAAS,MAAM,cAAc,YAAY;AAE7C,YAAM,SAAS,MAAM,WAAW,QAAQ,MAAM;AAE9C,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;AAEtC,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,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,UACzD,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;AACA,YAAM,eAAe,KAAK,MAAM,mBAAmB;AAGnD,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,iBAAiB,OAAO,KAAK;AAElD,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,cAAM,aAAa,oBAAoB,mBAAmB,YAAY;AAGtE,YAAI;AACJ,YAAI;AACF,+BAAqB,MAAM;AAAA,YACzB,YAAY;AACV,qBAAQ,MAAM,oBAAoB,aAAa;AAAA,gBAC7C;AAAA,gBACA;AAAA,gBACA,QAAQ;AAAA,gBACR,cAAc;AAAA,gBACd;AAAA,cACF,CAAC;AAAA,YACH;AAAA,YACA;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,qCAAqC,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,UAClG,CAAC;AAAA,QACH;AAGA,YAAI,CAAC,mBAAmB,IAAI;AAC1B,iBAAO,EAAE,oBAAoB,YAAY,OAAU;AAAA,QACrD;AAGA,YAAI;AACJ,YAAI;AACF,uBAAa,MAAM;AAAA,YACjB,YAAY;AACV,qBAAQ,MAAM,oBAAoB,KAAK;AAAA,gBACrC;AAAA,gBACA;AAAA,gBACA,cAAc;AAAA,gBACd;AAAA,cACF,CAAC;AAAA,YACH;AAAA,YACA;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,4BAA4B,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,UACzF,CAAC;AAAA,QACH;AAGA,YAAI,CAAC,MAAM,SAAS,MAAM,SAAS,YAAY,QAAQ,OAAO,OAAO;AACnE,kBAAQ,IAAI,EAAE;AAAA,QAChB;AAEA,eAAO,EAAE,oBAAoB,QAAW,WAAW;AAAA,MACrD,UAAE;AAEA,cAAM,OAAO,MAAM;AAAA,MACrB;AAAA,IACF,CAAC;AAGD,UAAM,WAAW,aAAa,QAAQ,OAAO,CAAC,UAAU;AACtD,YAAM,EAAE,oBAAoB,WAAW,IAAI;AAG3C,UAAI,sBAAsB,CAAC,mBAAmB,IAAI;AAChD,YAAI,MAAM,SAAS,UAAU;AAC3B,kBAAQ,IAAI,uBAAuB,kBAAkB,CAAC;AAAA,QACxD,OAAO;AACL,gBAAM,SAAS,yBAAyB,oBAAoB,KAAK;AACjE,cAAI,QAAQ;AACV,oBAAQ,IAAI,MAAM;AAAA,UACpB;AAAA,QACF;AAEA;AAAA,MACF;AAGA,UAAI,YAAY;AACd,YAAI,MAAM,SAAS,UAAU;AAC3B,kBAAQ,IAAI,eAAe,UAAU,CAAC;AAAA,QACxC,OAAO;AACL,gBAAM,SAAS,iBAAiB,YAAY,KAAK;AACjD,cAAI,QAAQ;AACV,oBAAQ,IAAI,MAAM;AAAA,UACpB;AAAA,QACF;AAAA,MACF;AAAA,IACF,CAAC;AAID,QAAI,OAAO,MAAM,OAAO,MAAM,sBAAsB,CAAC,OAAO,MAAM,mBAAmB,IAAI;AAEvF,cAAQ,KAAK,CAAC;AAAA,IAChB,OAAO;AAEL,cAAQ,KAAK,QAAQ;AAAA,IACvB;AAAA,EACF,CAAC;AAEH,SAAO;AACT;","names":[]}
+{"version":3,"sources":["../../src/commands/db-sign.ts"],"sourcesContent":["import { readFile } from 'node:fs/promises';\nimport { relative, resolve } from 'node:path';\nimport {\n  errorDatabaseUrlRequired,\n  errorDriverRequired,\n  errorFileNotFound,\n  errorRuntime,\n  errorUnexpected,\n} from '@prisma-next/core-control-plane/errors';\nimport type {\n  SignDatabaseResult,\n  VerifyDatabaseSchemaResult,\n} 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  formatSchemaVerifyJson,\n  formatSchemaVerifyOutput,\n  formatSignJson,\n  formatSignOutput,\n  formatStyledHeader,\n} from '../utils/output';\nimport { performAction } from '../utils/result';\nimport { handleResult } from '../utils/result-handler';\nimport { withSpinner } from '../utils/spinner';\n\ninterface DbSignOptions {\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 createDbSignCommand(): Command {\n  const command = new Command('sign');\n  setCommandDescriptions(\n    command,\n    'Sign the database with your contract so you can safely run queries',\n    'Verifies that your database schema satisfies the emitted contract, and if so, writes or\\n' +\n      'updates the contract marker in the database. This command is idempotent and safe to run\\n' +\n      'in CI/deployment pipelines. The marker records that this database instance is aligned\\n' +\n      'with a specific contract version.',\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: DbSignOptions) => {\n      const flags = parseGlobalFlags(options);\n\n      const result = await performAction(async () => {\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        const contractPathAbsolute = config.contract?.output\n          ? resolve(config.contract.output)\n          : resolve('src/prisma/contract.json');\n        // Convert to relative path for display\n        const contractPath = relative(process.cwd(), contractPathAbsolute);\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            { label: 'contract', value: contractPath },\n          ];\n          if (options.db) {\n            details.push({ label: 'database', value: options.db });\n          }\n          const header = formatStyledHeader({\n            command: 'db sign',\n            description: 'Sign the database with your contract so you can safely run queries',\n            url: 'https://pris.ly/db-sign',\n            details,\n            flags,\n          });\n          console.log(header);\n        }\n\n        // Load contract file (file I/O)\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            });\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        const contractJson = JSON.parse(contractJsonContent) as Record<string, unknown>;\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 driverDescriptor.create(dbUrl);\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\n          // Validate contract using instance validator\n          const contractIR = familyInstance.validateContractIR(contractJson);\n\n          // Schema verification precondition with spinner\n          let schemaVerifyResult: VerifyDatabaseSchemaResult;\n          try {\n            schemaVerifyResult = await withSpinner(\n              () =>\n                familyInstance.schemaVerify({\n                  driver,\n                  contractIR,\n                  strict: false,\n                  contractPath: contractPathAbsolute,\n                  configPath,\n                }),\n              {\n                message: 'Verifying database satisfies contract',\n                flags,\n              },\n            );\n          } catch (error) {\n            // Wrap errors from schemaVerify() in structured error\n            throw errorRuntime(error instanceof Error ? error.message : String(error), {\n              why: `Failed to verify database schema: ${error instanceof Error ? error.message : String(error)}`,\n            });\n          }\n\n          // If schema verification failed, return both results for handling outside performAction\n          if (!schemaVerifyResult.ok) {\n            return { schemaVerifyResult, signResult: undefined };\n          }\n\n          // Schema verification passed - proceed with signing\n          let signResult: SignDatabaseResult;\n          try {\n            signResult = await withSpinner(\n              () =>\n                familyInstance.sign({\n                  driver,\n                  contractIR,\n                  contractPath: contractPathAbsolute,\n                  configPath,\n                }),\n              {\n                message: 'Signing database...',\n                flags,\n              },\n            );\n          } catch (error) {\n            // Wrap errors from sign() in structured error\n            throw errorRuntime(error instanceof Error ? error.message : String(error), {\n              why: `Failed to sign database: ${error instanceof Error ? error.message : String(error)}`,\n            });\n          }\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          return { schemaVerifyResult: undefined, signResult };\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 { schemaVerifyResult, signResult } = value;\n\n        // If schema verification failed, format and print schema verification output\n        if (schemaVerifyResult && !schemaVerifyResult.ok) {\n          if (flags.json === 'object') {\n            console.log(formatSchemaVerifyJson(schemaVerifyResult));\n          } else {\n            const output = formatSchemaVerifyOutput(schemaVerifyResult, flags);\n            if (output) {\n              console.log(output);\n            }\n          }\n          // Don't proceed to sign output formatting\n          return;\n        }\n\n        // Schema verification passed - format sign output\n        if (signResult) {\n          if (flags.json === 'object') {\n            console.log(formatSignJson(signResult));\n          } else {\n            const output = formatSignOutput(signResult, flags);\n            if (output) {\n              console.log(output);\n            }\n          }\n        }\n      });\n\n      // For logical schema mismatches, check if schema verification passed\n      // Infra errors already handled by handleResult (returns non-zero exit code)\n      if (result.ok && result.value.schemaVerifyResult && !result.value.schemaVerifyResult.ok) {\n        // Schema verification failed - exit with code 1\n        process.exit(1);\n      } else {\n        // Success or infra error - use exit code from handleResult\n        process.exit(exitCode);\n      }\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,EACA;AAAA,OACK;AAKP,SAAS,eAAe;AA+BjB,SAAS,sBAA+B;AAC7C,QAAM,UAAU,IAAI,QAAQ,MAAM;AAClC;AAAA,IACE;AAAA,IACA;AAAA,IACA;AAAA,EAIF;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,YAA2B;AACxC,UAAM,QAAQ,iBAAiB,OAAO;AAEtC,UAAM,SAAS,MAAM,cAAc,YAAY;AAE7C,YAAM,SAAS,MAAM,WAAW,QAAQ,MAAM;AAE9C,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;AAEtC,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,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,UACzD,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;AACA,YAAM,eAAe,KAAK,MAAM,mBAAmB;AAGnD,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,iBAAiB,OAAO,KAAK;AAElD,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;AAGD,cAAM,aAAa,eAAe,mBAAmB,YAAY;AAGjE,YAAI;AACJ,YAAI;AACF,+BAAqB,MAAM;AAAA,YACzB,MACE,eAAe,aAAa;AAAA,cAC1B;AAAA,cACA;AAAA,cACA,QAAQ;AAAA,cACR,cAAc;AAAA,cACd;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,qCAAqC,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,UAClG,CAAC;AAAA,QACH;AAGA,YAAI,CAAC,mBAAmB,IAAI;AAC1B,iBAAO,EAAE,oBAAoB,YAAY,OAAU;AAAA,QACrD;AAGA,YAAI;AACJ,YAAI;AACF,uBAAa,MAAM;AAAA,YACjB,MACE,eAAe,KAAK;AAAA,cAClB;AAAA,cACA;AAAA,cACA,cAAc;AAAA,cACd;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,4BAA4B,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,UACzF,CAAC;AAAA,QACH;AAGA,YAAI,CAAC,MAAM,SAAS,MAAM,SAAS,YAAY,QAAQ,OAAO,OAAO;AACnE,kBAAQ,IAAI,EAAE;AAAA,QAChB;AAEA,eAAO,EAAE,oBAAoB,QAAW,WAAW;AAAA,MACrD,UAAE;AAEA,cAAM,OAAO,MAAM;AAAA,MACrB;AAAA,IACF,CAAC;AAGD,UAAM,WAAW,aAAa,QAAQ,OAAO,CAAC,UAAU;AACtD,YAAM,EAAE,oBAAoB,WAAW,IAAI;AAG3C,UAAI,sBAAsB,CAAC,mBAAmB,IAAI;AAChD,YAAI,MAAM,SAAS,UAAU;AAC3B,kBAAQ,IAAI,uBAAuB,kBAAkB,CAAC;AAAA,QACxD,OAAO;AACL,gBAAM,SAAS,yBAAyB,oBAAoB,KAAK;AACjE,cAAI,QAAQ;AACV,oBAAQ,IAAI,MAAM;AAAA,UACpB;AAAA,QACF;AAEA;AAAA,MACF;AAGA,UAAI,YAAY;AACd,YAAI,MAAM,SAAS,UAAU;AAC3B,kBAAQ,IAAI,eAAe,UAAU,CAAC;AAAA,QACxC,OAAO;AACL,gBAAM,SAAS,iBAAiB,YAAY,KAAK;AACjD,cAAI,QAAQ;AACV,oBAAQ,IAAI,MAAM;AAAA,UACpB;AAAA,QACF;AAAA,MACF;AAAA,IACF,CAAC;AAID,QAAI,OAAO,MAAM,OAAO,MAAM,sBAAsB,CAAC,OAAO,MAAM,mBAAmB,IAAI;AAEvF,cAAQ,KAAK,CAAC;AAAA,IAChB,OAAO;AAEL,cAAQ,KAAK,QAAQ;AAAA,IACvB;AAAA,EACF,CAAC;AAEH,SAAO;AACT;","names":[]}

package/dist/commands/db-verify.js

@@ -96,12 +96,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,

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

@@ -1 +1 @@
-{"version":3,"sources":["../../src/commands/db-verify.ts"],"sourcesContent":["import { readFile } from 'node:fs/promises';\nimport { relative, resolve } from 'node:path';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport {\n  errorDatabaseUrlRequired,\n  errorDriverRequired,\n  errorFileNotFound,\n  errorHashMismatch,\n  errorMarkerMissing,\n  errorRuntime,\n  errorTargetMismatch,\n  errorUnexpected,\n} from '@prisma-next/core-control-plane/errors';\nimport type { FamilyInstance, VerifyDatabaseResult } 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  formatStyledHeader,\n  formatVerifyJson,\n  formatVerifyOutput,\n} from '../utils/output';\nimport { performAction } from '../utils/result';\nimport { handleResult } from '../utils/result-handler';\nimport { withSpinner } from '../utils/spinner';\n\ninterface DbVerifyOptions {\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 createDbVerifyCommand(): Command {\n  const command = new Command('verify');\n  setCommandDescriptions(\n    command,\n    'Check whether the database has been signed with your contract',\n    'Verifies that your database schema matches the emitted contract. Checks table structures,\\n' +\n      'column types, constraints, and codec coverage. Reports any mismatches or missing codecs.',\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: DbVerifyOptions) => {\n      const flags = parseGlobalFlags(options);\n\n      const result = await performAction(async () => {\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        const contractPathAbsolute = config.contract?.output\n          ? resolve(config.contract.output)\n          : resolve('src/prisma/contract.json');\n        // Convert to relative path for display\n        const contractPath = relative(process.cwd(), contractPathAbsolute);\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            { label: 'contract', value: contractPath },\n          ];\n          if (options.db) {\n            details.push({ label: 'database', value: options.db });\n          }\n          const header = formatStyledHeader({\n            command: 'db verify',\n            description: 'Check whether the database has been signed with your contract',\n            url: 'https://pris.ly/db-verify',\n            details,\n            flags,\n          });\n          console.log(header);\n        }\n\n        // Load contract file (file I/O)\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            });\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        const contractJson = JSON.parse(contractJsonContent) as Record<string, unknown>;\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 using instance validator\n          const contractIR = typedFamilyInstance.validateContractIR(contractJson) as ContractIR;\n\n          // Call family instance verify method\n          let verifyResult: VerifyDatabaseResult;\n          try {\n            verifyResult = (await withSpinner(\n              () =>\n                typedFamilyInstance.verify({\n                  driver,\n                  contractIR,\n                  expectedTargetId: config.target.targetId,\n                  contractPath: contractPathAbsolute,\n                  configPath,\n                }),\n              {\n                message: 'Verifying database schema...',\n                flags,\n              },\n            )) as VerifyDatabaseResult;\n          } catch (error) {\n            // Wrap errors from verify() in structured error\n            throw errorUnexpected(error instanceof Error ? error.message : String(error), {\n              why: `Failed to verify database: ${error instanceof Error ? error.message : String(error)}`,\n            });\n          }\n\n          // If verification failed, throw structured error\n          if (!verifyResult.ok && verifyResult.code) {\n            if (verifyResult.code === 'PN-RTM-3001') {\n              throw errorMarkerMissing();\n            }\n            if (verifyResult.code === 'PN-RTM-3002') {\n              throw errorHashMismatch({\n                expected: verifyResult.contract.coreHash,\n                ...(verifyResult.marker?.coreHash ? { actual: verifyResult.marker.coreHash } : {}),\n              });\n            }\n            if (verifyResult.code === 'PN-RTM-3003') {\n              throw errorTargetMismatch(\n                verifyResult.target.expected,\n                verifyResult.target.actual ?? 'unknown',\n              );\n            }\n            throw errorRuntime(verifyResult.summary);\n          }\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          return verifyResult;\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, (verifyResult) => {\n        // Output based on flags\n        if (flags.json === 'object') {\n          // JSON output to stdout\n          console.log(formatVerifyJson(verifyResult));\n        } else {\n          // Human-readable output to stdout\n          const output = formatVerifyOutput(verifyResult, 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;AAElC;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,OACK;AAEP,SAAS,eAAe;AA6BjB,SAAS,wBAAiC;AAC/C,QAAM,UAAU,IAAI,QAAQ,QAAQ;AACpC;AAAA,IACE;AAAA,IACA;AAAA,IACA;AAAA,EAEF;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,YAA6B;AAC1C,UAAM,QAAQ,iBAAiB,OAAO;AAEtC,UAAM,SAAS,MAAM,cAAc,YAAY;AAE7C,YAAM,SAAS,MAAM,WAAW,QAAQ,MAAM;AAE9C,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;AAEtC,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,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,UACzD,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;AACA,YAAM,eAAe,KAAK,MAAM,mBAAmB;AAGnD,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,cAAM,aAAa,oBAAoB,mBAAmB,YAAY;AAGtE,YAAI;AACJ,YAAI;AACF,yBAAgB,MAAM;AAAA,YACpB,MACE,oBAAoB,OAAO;AAAA,cACzB;AAAA,cACA;AAAA,cACA,kBAAkB,OAAO,OAAO;AAAA,cAChC,cAAc;AAAA,cACd;AAAA,YACF,CAAC;AAAA,YACH;AAAA,cACE,SAAS;AAAA,cACT;AAAA,YACF;AAAA,UACF;AAAA,QACF,SAAS,OAAO;AAEd,gBAAM,gBAAgB,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,GAAG;AAAA,YAC5E,KAAK,8BAA8B,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,UAC3F,CAAC;AAAA,QACH;AAGA,YAAI,CAAC,aAAa,MAAM,aAAa,MAAM;AACzC,cAAI,aAAa,SAAS,eAAe;AACvC,kBAAM,mBAAmB;AAAA,UAC3B;AACA,cAAI,aAAa,SAAS,eAAe;AACvC,kBAAM,kBAAkB;AAAA,cACtB,UAAU,aAAa,SAAS;AAAA,cAChC,GAAI,aAAa,QAAQ,WAAW,EAAE,QAAQ,aAAa,OAAO,SAAS,IAAI,CAAC;AAAA,YAClF,CAAC;AAAA,UACH;AACA,cAAI,aAAa,SAAS,eAAe;AACvC,kBAAM;AAAA,cACJ,aAAa,OAAO;AAAA,cACpB,aAAa,OAAO,UAAU;AAAA,YAChC;AAAA,UACF;AACA,gBAAM,aAAa,aAAa,OAAO;AAAA,QACzC;AAGA,YAAI,CAAC,MAAM,SAAS,MAAM,SAAS,YAAY,QAAQ,OAAO,OAAO;AACnE,kBAAQ,IAAI,EAAE;AAAA,QAChB;AAEA,eAAO;AAAA,MACT,UAAE;AAEA,cAAM,OAAO,MAAM;AAAA,MACrB;AAAA,IACF,CAAC;AAGD,UAAM,WAAW,aAAa,QAAQ,OAAO,CAAC,iBAAiB;AAE7D,UAAI,MAAM,SAAS,UAAU;AAE3B,gBAAQ,IAAI,iBAAiB,YAAY,CAAC;AAAA,MAC5C,OAAO;AAEL,cAAM,SAAS,mBAAmB,cAAc,KAAK;AACrD,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-verify.ts"],"sourcesContent":["import { readFile } from 'node:fs/promises';\nimport { relative, resolve } from 'node:path';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport {\n  errorDatabaseUrlRequired,\n  errorDriverRequired,\n  errorFileNotFound,\n  errorHashMismatch,\n  errorMarkerMissing,\n  errorRuntime,\n  errorTargetMismatch,\n  errorUnexpected,\n} from '@prisma-next/core-control-plane/errors';\nimport type { VerifyDatabaseResult } 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  formatStyledHeader,\n  formatVerifyJson,\n  formatVerifyOutput,\n} from '../utils/output';\nimport { performAction } from '../utils/result';\nimport { handleResult } from '../utils/result-handler';\nimport { withSpinner } from '../utils/spinner';\n\ninterface DbVerifyOptions {\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 createDbVerifyCommand(): Command {\n  const command = new Command('verify');\n  setCommandDescriptions(\n    command,\n    'Check whether the database has been signed with your contract',\n    'Verifies that your database schema matches the emitted contract. Checks table structures,\\n' +\n      'column types, constraints, and codec coverage. Reports any mismatches or missing codecs.',\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: DbVerifyOptions) => {\n      const flags = parseGlobalFlags(options);\n\n      const result = await performAction(async () => {\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        const contractPathAbsolute = config.contract?.output\n          ? resolve(config.contract.output)\n          : resolve('src/prisma/contract.json');\n        // Convert to relative path for display\n        const contractPath = relative(process.cwd(), contractPathAbsolute);\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            { label: 'contract', value: contractPath },\n          ];\n          if (options.db) {\n            details.push({ label: 'database', value: options.db });\n          }\n          const header = formatStyledHeader({\n            command: 'db verify',\n            description: 'Check whether the database has been signed with your contract',\n            url: 'https://pris.ly/db-verify',\n            details,\n            flags,\n          });\n          console.log(header);\n        }\n\n        // Load contract file (file I/O)\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            });\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        const contractJson = JSON.parse(contractJsonContent) as Record<string, unknown>;\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\n          // Validate contract using instance validator\n          const contractIR = familyInstance.validateContractIR(contractJson) as ContractIR;\n\n          // Call family instance verify method\n          let verifyResult: VerifyDatabaseResult;\n          try {\n            verifyResult = await withSpinner(\n              () =>\n                familyInstance.verify({\n                  driver,\n                  contractIR,\n                  expectedTargetId: config.target.targetId,\n                  contractPath: contractPathAbsolute,\n                  configPath,\n                }),\n              {\n                message: 'Verifying database schema...',\n                flags,\n              },\n            );\n          } catch (error) {\n            // Wrap errors from verify() in structured error\n            throw errorUnexpected(error instanceof Error ? error.message : String(error), {\n              why: `Failed to verify database: ${error instanceof Error ? error.message : String(error)}`,\n            });\n          }\n\n          // If verification failed, throw structured error\n          if (!verifyResult.ok && verifyResult.code) {\n            if (verifyResult.code === 'PN-RTM-3001') {\n              throw errorMarkerMissing();\n            }\n            if (verifyResult.code === 'PN-RTM-3002') {\n              throw errorHashMismatch({\n                expected: verifyResult.contract.coreHash,\n                ...(verifyResult.marker?.coreHash ? { actual: verifyResult.marker.coreHash } : {}),\n              });\n            }\n            if (verifyResult.code === 'PN-RTM-3003') {\n              throw errorTargetMismatch(\n                verifyResult.target.expected,\n                verifyResult.target.actual ?? 'unknown',\n              );\n            }\n            throw errorRuntime(verifyResult.summary);\n          }\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          return verifyResult;\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, (verifyResult) => {\n        // Output based on flags\n        if (flags.json === 'object') {\n          // JSON output to stdout\n          console.log(formatVerifyJson(verifyResult));\n        } else {\n          // Human-readable output to stdout\n          const output = formatVerifyOutput(verifyResult, 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;AAElC;AAAA,EACE;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,OACK;AAEP,SAAS,eAAe;AA6BjB,SAAS,wBAAiC;AAC/C,QAAM,UAAU,IAAI,QAAQ,QAAQ;AACpC;AAAA,IACE;AAAA,IACA;AAAA,IACA;AAAA,EAEF;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,YAA6B;AAC1C,UAAM,QAAQ,iBAAiB,OAAO;AAEtC,UAAM,SAAS,MAAM,cAAc,YAAY;AAE7C,YAAM,SAAS,MAAM,WAAW,QAAQ,MAAM;AAE9C,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;AAEtC,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,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,UACzD,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;AACA,YAAM,eAAe,KAAK,MAAM,mBAAmB;AAGnD,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;AAGD,cAAM,aAAa,eAAe,mBAAmB,YAAY;AAGjE,YAAI;AACJ,YAAI;AACF,yBAAe,MAAM;AAAA,YACnB,MACE,eAAe,OAAO;AAAA,cACpB;AAAA,cACA;AAAA,cACA,kBAAkB,OAAO,OAAO;AAAA,cAChC,cAAc;AAAA,cACd;AAAA,YACF,CAAC;AAAA,YACH;AAAA,cACE,SAAS;AAAA,cACT;AAAA,YACF;AAAA,UACF;AAAA,QACF,SAAS,OAAO;AAEd,gBAAM,gBAAgB,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,GAAG;AAAA,YAC5E,KAAK,8BAA8B,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,UAC3F,CAAC;AAAA,QACH;AAGA,YAAI,CAAC,aAAa,MAAM,aAAa,MAAM;AACzC,cAAI,aAAa,SAAS,eAAe;AACvC,kBAAM,mBAAmB;AAAA,UAC3B;AACA,cAAI,aAAa,SAAS,eAAe;AACvC,kBAAM,kBAAkB;AAAA,cACtB,UAAU,aAAa,SAAS;AAAA,cAChC,GAAI,aAAa,QAAQ,WAAW,EAAE,QAAQ,aAAa,OAAO,SAAS,IAAI,CAAC;AAAA,YAClF,CAAC;AAAA,UACH;AACA,cAAI,aAAa,SAAS,eAAe;AACvC,kBAAM;AAAA,cACJ,aAAa,OAAO;AAAA,cACpB,aAAa,OAAO,UAAU;AAAA,YAChC;AAAA,UACF;AACA,gBAAM,aAAa,aAAa,OAAO;AAAA,QACzC;AAGA,YAAI,CAAC,MAAM,SAAS,MAAM,SAAS,YAAY,QAAQ,OAAO,OAAO;AACnE,kBAAQ,IAAI,EAAE;AAAA,QAChB;AAEA,eAAO;AAAA,MACT,UAAE;AAEA,cAAM,OAAO,MAAM;AAAA,MACrB;AAAA,IACF,CAAC;AAGD,UAAM,WAAW,aAAa,QAAQ,OAAO,CAAC,iBAAiB;AAE7D,UAAI,MAAM,SAAS,UAAU;AAE3B,gBAAQ,IAAI,iBAAiB,YAAY,CAAC;AAAA,MAC5C,OAAO;AAEL,cAAM,SAAS,mBAAmB,cAAc,KAAK;AACrD,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/index.js

@@ -1,6 +1,6 @@
 import {
   createContractEmitCommand
-} from "./chunk-4W62XWA4.js";
+} from "./chunk-XS2KZ6CJ.js";
 import {
   loadExtensionPackManifest,
   loadExtensionPacks

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@prisma-next/cli",
-  "version": "0.1.0-dev.17",
+  "version": "0.1.0-dev.19",
   "type": "module",
   "sideEffects": false,
   "files": [
@@ -19,23 +19,23 @@
     "string-width": "^7.2.0",
     "strip-ansi": "^7.1.2",
     "wrap-ansi": "^9.0.2",
-    "@prisma-next/contract": "0.1.0-dev.17",
-    "@prisma-next/core-control-plane": "0.1.0-dev.17",
-    "@prisma-next/emitter": "0.1.0-dev.17",
-    "@prisma-next/utils": "0.1.0-dev.17"
+    "@prisma-next/contract": "0.1.0-dev.19",
+    "@prisma-next/core-control-plane": "0.1.0-dev.19",
+    "@prisma-next/emitter": "0.1.0-dev.19",
+    "@prisma-next/utils": "0.1.0-dev.19"
   },
   "devDependencies": {
     "@types/node": "^20.0.0",
     "tsup": "^8.3.0",
     "typescript": "^5.9.3",
     "vite-tsconfig-paths": "^5.1.4",
-    "vitest": "^2.1.1",
-    "@prisma-next/sql-contract": "0.1.0-dev.17",
-    "@prisma-next/sql-contract-emitter": "0.1.0-dev.17",
-    "@prisma-next/sql-contract-ts": "0.1.0-dev.17",
-    "@prisma-next/test-utils": "0.0.1",
-    "@prisma-next/sql-runtime": "0.1.0-dev.17",
-    "@prisma-next/sql-operations": "0.1.0-dev.17"
+    "vitest": "^4.0.16",
+    "@prisma-next/sql-contract": "0.1.0-dev.19",
+    "@prisma-next/sql-contract-emitter": "0.1.0-dev.19",
+    "@prisma-next/sql-contract-ts": "0.1.0-dev.19",
+    "@prisma-next/sql-operations": "0.1.0-dev.19",
+    "@prisma-next/sql-runtime": "0.1.0-dev.19",
+    "@prisma-next/test-utils": "0.0.1"
   },
   "exports": {
     ".": {

package/dist/chunk-4W62XWA4.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../src/commands/contract-emit.ts"],"sourcesContent":["import { mkdirSync, writeFileSync } from 'node:fs';\nimport { dirname, relative, resolve } from 'node:path';\nimport { errorContractConfigMissing } from '@prisma-next/core-control-plane/errors';\nimport type { FamilyInstance } 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  formatEmitJson,\n  formatEmitOutput,\n  formatStyledHeader,\n  formatSuccessMessage,\n} from '../utils/output';\nimport { performAction } from '../utils/result';\nimport { handleResult } from '../utils/result-handler';\nimport { withSpinner } from '../utils/spinner';\n\ninterface ContractEmitOptions {\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 createContractEmitCommand(): Command {\n  const command = new Command('emit');\n  setCommandDescriptions(\n    command,\n    'Write your contract to JSON and sign it',\n    'Reads your contract source (TypeScript or Prisma schema) and emits contract.json and\\n' +\n      'contract.d.ts. The contract.json contains the canonical contract structure, and\\n' +\n      'contract.d.ts provides TypeScript types for type-safe query building.',\n  );\n  command\n    .configureHelp({\n      formatHelp: (cmd) => {\n        const flags = parseGlobalFlags({});\n        return formatCommandHelp({ command: cmd, flags });\n      },\n    })\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: ContractEmitOptions) => {\n      const flags = parseGlobalFlags(options);\n\n      const result = await performAction(async () => {\n        // Load config\n        const config = await loadConfig(options.config);\n\n        // Resolve contract from config\n        if (!config.contract) {\n          throw errorContractConfigMissing({\n            why: 'Config.contract is required for emit. Define it in your config: contract: { source: ..., output: ..., types: ... }',\n          });\n        }\n\n        // Contract config is already normalized by defineConfig() with defaults applied\n        const contractConfig = config.contract;\n\n        // Resolve artifact paths from config (already normalized by defineConfig() with defaults)\n        if (!contractConfig.output || !contractConfig.types) {\n          throw errorContractConfigMissing({\n            why: 'Contract config must have output and types paths. This should not happen if defineConfig() was used.',\n          });\n        }\n        const outputJsonPath = resolve(contractConfig.output);\n        const outputDtsPath = resolve(contractConfig.types);\n\n        // Output header (only for human-readable output)\n        if (flags.json !== 'object' && !flags.quiet) {\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          // Convert absolute paths to relative paths for display\n          const contractPath = relative(process.cwd(), outputJsonPath);\n          const typesPath = relative(process.cwd(), outputDtsPath);\n          const header = formatStyledHeader({\n            command: 'contract emit',\n            description: 'Write your contract to JSON and sign it',\n            url: 'https://pris.ly/contract-emit',\n            details: [\n              { label: 'config', value: configPath },\n              { label: 'contract', value: contractPath },\n              { label: 'types', value: typesPath },\n            ],\n            flags,\n          });\n          console.log(header);\n        }\n\n        // Create family instance (assembles operation registry, type imports, extension IDs)\n        // Note: emit command doesn't need driver, but ControlFamilyDescriptor.create() requires it\n        // We'll need to provide a minimal driver descriptor or make driver optional for emit\n        // For now, we'll require driver to be present in config even for emit\n        if (!config.driver) {\n          throw errorContractConfigMissing({\n            why: 'Config.driver is required. Even though emit does not use the driver, it is required by ControlFamilyDescriptor.create()',\n          });\n        }\n        const familyInstance = config.family.create({\n          target: config.target,\n          adapter: config.adapter,\n          driver: config.driver,\n          extensions: config.extensions ?? [],\n        }) as FamilyInstance<string>;\n\n        // Resolve contract source from config (user's config handles loading)\n        let contractRaw: unknown;\n        if (typeof contractConfig.source === 'function') {\n          contractRaw = await contractConfig.source();\n        } else {\n          contractRaw = contractConfig.source;\n        }\n\n        // Call emitContract on family instance (handles stripping mappings and validation internally)\n        const emitResult = await withSpinner(\n          () => familyInstance.emitContract({ contractIR: contractRaw }),\n          {\n            message: 'Emitting contract...',\n            flags,\n          },\n        );\n\n        // Create directories if needed\n        mkdirSync(dirname(outputJsonPath), { recursive: true });\n        mkdirSync(dirname(outputDtsPath), { recursive: true });\n\n        // Write the results to files\n        writeFileSync(outputJsonPath, emitResult.contractJson, 'utf-8');\n        writeFileSync(outputDtsPath, emitResult.contractDts, 'utf-8');\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        // Return result with file paths for output formatting\n        return {\n          coreHash: emitResult.coreHash,\n          profileHash: emitResult.profileHash,\n          outDir: dirname(outputJsonPath),\n          files: {\n            json: outputJsonPath,\n            dts: outputDtsPath,\n          },\n          timings: {\n            total: 0, // Timing is handled by emitContract internally if needed\n          },\n        };\n      });\n\n      // Handle result - formats output and returns exit code\n      const exitCode = handleResult(result, flags, (emitResult) => {\n        // Output based on flags\n        if (flags.json === 'object') {\n          // JSON output to stdout\n          console.log(formatEmitJson(emitResult));\n        } else {\n          // Human-readable output to stdout\n          const output = formatEmitOutput(emitResult, flags);\n          if (output) {\n            console.log(output);\n          }\n          // Output success message\n          if (!flags.quiet) {\n            console.log(formatSuccessMessage(flags));\n          }\n        }\n      });\n      process.exit(exitCode);\n    });\n\n  return command;\n}\n"],"mappings":";;;;;;;;;;;;;;;;;AAAA,SAAS,WAAW,qBAAqB;AACzC,SAAS,SAAS,UAAU,eAAe;AAC3C,SAAS,kCAAkC;AAE3C,SAAS,eAAe;AA6BjB,SAAS,4BAAqC;AACnD,QAAM,UAAU,IAAI,QAAQ,MAAM;AAClC;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,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;AAE7C,YAAM,SAAS,MAAM,WAAW,QAAQ,MAAM;AAG9C,UAAI,CAAC,OAAO,UAAU;AACpB,cAAM,2BAA2B;AAAA,UAC/B,KAAK;AAAA,QACP,CAAC;AAAA,MACH;AAGA,YAAM,iBAAiB,OAAO;AAG9B,UAAI,CAAC,eAAe,UAAU,CAAC,eAAe,OAAO;AACnD,cAAM,2BAA2B;AAAA,UAC/B,KAAK;AAAA,QACP,CAAC;AAAA,MACH;AACA,YAAM,iBAAiB,QAAQ,eAAe,MAAM;AACpD,YAAM,gBAAgB,QAAQ,eAAe,KAAK;AAGlD,UAAI,MAAM,SAAS,YAAY,CAAC,MAAM,OAAO;AAE3C,cAAM,aAAa,QAAQ,SACvB,SAAS,QAAQ,IAAI,GAAG,QAAQ,QAAQ,MAAM,CAAC,IAC/C;AAEJ,cAAM,eAAe,SAAS,QAAQ,IAAI,GAAG,cAAc;AAC3D,cAAM,YAAY,SAAS,QAAQ,IAAI,GAAG,aAAa;AACvD,cAAM,SAAS,mBAAmB;AAAA,UAChC,SAAS;AAAA,UACT,aAAa;AAAA,UACb,KAAK;AAAA,UACL,SAAS;AAAA,YACP,EAAE,OAAO,UAAU,OAAO,WAAW;AAAA,YACrC,EAAE,OAAO,YAAY,OAAO,aAAa;AAAA,YACzC,EAAE,OAAO,SAAS,OAAO,UAAU;AAAA,UACrC;AAAA,UACA;AAAA,QACF,CAAC;AACD,gBAAQ,IAAI,MAAM;AAAA,MACpB;AAMA,UAAI,CAAC,OAAO,QAAQ;AAClB,cAAM,2BAA2B;AAAA,UAC/B,KAAK;AAAA,QACP,CAAC;AAAA,MACH;AACA,YAAM,iBAAiB,OAAO,OAAO,OAAO;AAAA,QAC1C,QAAQ,OAAO;AAAA,QACf,SAAS,OAAO;AAAA,QAChB,QAAQ,OAAO;AAAA,QACf,YAAY,OAAO,cAAc,CAAC;AAAA,MACpC,CAAC;AAGD,UAAI;AACJ,UAAI,OAAO,eAAe,WAAW,YAAY;AAC/C,sBAAc,MAAM,eAAe,OAAO;AAAA,MAC5C,OAAO;AACL,sBAAc,eAAe;AAAA,MAC/B;AAGA,YAAM,aAAa,MAAM;AAAA,QACvB,MAAM,eAAe,aAAa,EAAE,YAAY,YAAY,CAAC;AAAA,QAC7D;AAAA,UACE,SAAS;AAAA,UACT;AAAA,QACF;AAAA,MACF;AAGA,gBAAU,QAAQ,cAAc,GAAG,EAAE,WAAW,KAAK,CAAC;AACtD,gBAAU,QAAQ,aAAa,GAAG,EAAE,WAAW,KAAK,CAAC;AAGrD,oBAAc,gBAAgB,WAAW,cAAc,OAAO;AAC9D,oBAAc,eAAe,WAAW,aAAa,OAAO;AAG5D,UAAI,CAAC,MAAM,SAAS,MAAM,SAAS,YAAY,QAAQ,OAAO,OAAO;AACnE,gBAAQ,IAAI,EAAE;AAAA,MAChB;AAGA,aAAO;AAAA,QACL,UAAU,WAAW;AAAA,QACrB,aAAa,WAAW;AAAA,QACxB,QAAQ,QAAQ,cAAc;AAAA,QAC9B,OAAO;AAAA,UACL,MAAM;AAAA,UACN,KAAK;AAAA,QACP;AAAA,QACA,SAAS;AAAA,UACP,OAAO;AAAA;AAAA,QACT;AAAA,MACF;AAAA,IACF,CAAC;AAGD,UAAM,WAAW,aAAa,QAAQ,OAAO,CAAC,eAAe;AAE3D,UAAI,MAAM,SAAS,UAAU;AAE3B,gBAAQ,IAAI,eAAe,UAAU,CAAC;AAAA,MACxC,OAAO;AAEL,cAAM,SAAS,iBAAiB,YAAY,KAAK;AACjD,YAAI,QAAQ;AACV,kBAAQ,IAAI,MAAM;AAAA,QACpB;AAEA,YAAI,CAAC,MAAM,OAAO;AAChB,kBAAQ,IAAI,qBAAqB,KAAK,CAAC;AAAA,QACzC;AAAA,MACF;AAAA,IACF,CAAC;AACD,YAAQ,KAAK,QAAQ;AAAA,EACvB,CAAC;AAEH,SAAO;AACT;","names":[]}