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

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 { performAction } from '../utils/action';\nimport { setCommandDescriptions } from '../utils/command-helpers';\nimport {\n  assertContractRequirementsSatisfied,\n  assertFrameworkComponentsCompatible,\n} from '../utils/framework-components';\nimport { parseGlobalFlags } from '../utils/global-flags';\nimport {\n  formatCommandHelp,\n  formatSchemaVerifyJson,\n  formatSchemaVerifyOutput,\n  formatStyledHeader,\n} from '../utils/output';\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        // Check for driver (needed for family instance creation)\n        if (!config.driver) {\n          throw errorDriverRequired();\n        }\n\n        // Store driver descriptor after null check\n        const driverDescriptor = config.driver;\n\n        // Create family instance (needed for contract validation)\n        const familyInstance = config.family.create({\n          target: config.target,\n          adapter: config.adapter,\n          driver: driverDescriptor,\n          extensionPacks: config.extensionPacks ?? [],\n        });\n\n        // Validate contract using instance validator\n        const contractIR = familyInstance.validateContractIR(contractJson) as ContractIR;\n\n        // Validate contract requirements fail-fast before connecting to database\n        assertContractRequirementsSatisfied({\n          contract: contractIR,\n          family: config.family,\n          target: config.target,\n          adapter: config.adapter,\n          extensionPacks: config.extensionPacks,\n        });\n\n        // Resolve database URL\n        const dbUrl = options.db ?? config.db?.url;\n        if (!dbUrl) {\n          throw errorDatabaseUrlRequired();\n        }\n\n        // Create driver\n        const driver = await withSpinner(() => driverDescriptor.create(dbUrl), {\n          message: 'Connecting to database...',\n          flags,\n        });\n\n        try {\n          const rawComponents = [config.target, config.adapter, ...(config.extensionPacks ?? [])];\n          const frameworkComponents = assertFrameworkComponentsCompatible(\n            config.family.familyId,\n            config.target.targetId,\n            rawComponents,\n          );\n\n          // 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                  frameworkComponents,\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;AAkCjB,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,UAAI,CAAC,OAAO,QAAQ;AAClB,cAAM,oBAAoB;AAAA,MAC5B;AAGA,YAAM,mBAAmB,OAAO;AAGhC,YAAM,iBAAiB,OAAO,OAAO,OAAO;AAAA,QAC1C,QAAQ,OAAO;AAAA,QACf,SAAS,OAAO;AAAA,QAChB,QAAQ;AAAA,QACR,gBAAgB,OAAO,kBAAkB,CAAC;AAAA,MAC5C,CAAC;AAGD,YAAM,aAAa,eAAe,mBAAmB,YAAY;AAGjE,0CAAoC;AAAA,QAClC,UAAU;AAAA,QACV,QAAQ,OAAO;AAAA,QACf,QAAQ,OAAO;AAAA,QACf,SAAS,OAAO;AAAA,QAChB,gBAAgB,OAAO;AAAA,MACzB,CAAC;AAGD,YAAM,QAAQ,QAAQ,MAAM,OAAO,IAAI;AACvC,UAAI,CAAC,OAAO;AACV,cAAM,yBAAyB;AAAA,MACjC;AAGA,YAAM,SAAS,MAAM,YAAY,MAAM,iBAAiB,OAAO,KAAK,GAAG;AAAA,QACrE,SAAS;AAAA,QACT;AAAA,MACF,CAAC;AAED,UAAI;AACF,cAAM,gBAAgB,CAAC,OAAO,QAAQ,OAAO,SAAS,GAAI,OAAO,kBAAkB,CAAC,CAAE;AACtF,cAAM,sBAAsB;AAAA,UAC1B,OAAO,OAAO;AAAA,UACd,OAAO,OAAO;AAAA,UACd;AAAA,QACF;AAGA,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,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,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

@@ -1,3 +1,7 @@
+import {
+  assertContractRequirementsSatisfied,
+  assertFrameworkComponentsCompatible
+} from "../chunk-C7QQMZ3I.js";
 import {
   formatCommandHelp,
   formatSchemaVerifyJson,
@@ -10,7 +14,7 @@ import {
   performAction,
   setCommandDescriptions,
   withSpinner
-} from "../chunk-3EODSNGS.js";
+} from "../chunk-BZMBKEEQ.js";
 import {
   loadConfig
 } from "../chunk-HWYQOCAJ.js";
@@ -84,28 +88,39 @@ function createDbSignCommand() {
         throw errorDriverRequired();
       }
       const driverDescriptor = config.driver;
+      const familyInstance = config.family.create({
+        target: config.target,
+        adapter: config.adapter,
+        driver: driverDescriptor,
+        extensionPacks: config.extensionPacks ?? []
+      });
+      const contractIR = familyInstance.validateContractIR(contractJson);
+      assertContractRequirementsSatisfied({
+        contract: contractIR,
+        family: config.family,
+        target: config.target,
+        adapter: config.adapter,
+        extensionPacks: config.extensionPacks
+      });
+      const rawComponents = [config.target, config.adapter, ...config.extensionPacks ?? []];
+      const frameworkComponents = assertFrameworkComponentsCompatible(
+        config.family.familyId,
+        config.target.targetId,
+        rawComponents
+      );
       const driver = await driverDescriptor.create(dbUrl);
       try {
-        const familyInstance = config.family.create({
-          target: config.target,
-          adapter: config.adapter,
-          driver: driverDescriptor,
-          extensions: config.extensions ?? []
-        });
-        const typedFamilyInstance = familyInstance;
-        const contractIR = typedFamilyInstance.validateContractIR(contractJson);
         let schemaVerifyResult;
         try {
           schemaVerifyResult = await withSpinner(
-            async () => {
-              return await typedFamilyInstance.schemaVerify({
-                driver,
-                contractIR,
-                strict: false,
-                contractPath: contractPathAbsolute,
-                configPath
-              });
-            },
+            () => familyInstance.schemaVerify({
+              driver,
+              contractIR,
+              strict: false,
+              contractPath: contractPathAbsolute,
+              configPath,
+              frameworkComponents
+            }),
             {
               message: "Verifying database satisfies contract",
               flags
@@ -122,14 +137,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 { performAction } from '../utils/action';\nimport { setCommandDescriptions } from '../utils/command-helpers';\nimport {\n  assertContractRequirementsSatisfied,\n  assertFrameworkComponentsCompatible,\n} from '../utils/framework-components';\nimport { parseGlobalFlags } from '../utils/global-flags';\nimport {\n  formatCommandHelp,\n  formatSchemaVerifyJson,\n  formatSchemaVerifyOutput,\n  formatSignJson,\n  formatSignOutput,\n  formatStyledHeader,\n} from '../utils/output';\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 family instance (needed for contract validation - no DB connection required)\n        const familyInstance = config.family.create({\n          target: config.target,\n          adapter: config.adapter,\n          driver: driverDescriptor,\n          extensionPacks: config.extensionPacks ?? [],\n        });\n\n        // Validate contract using instance validator (fail-fast before DB connection)\n        const contractIR = familyInstance.validateContractIR(contractJson);\n        assertContractRequirementsSatisfied({\n          contract: contractIR,\n          family: config.family,\n          target: config.target,\n          adapter: config.adapter,\n          extensionPacks: config.extensionPacks,\n        });\n\n        const rawComponents = [config.target, config.adapter, ...(config.extensionPacks ?? [])];\n        const frameworkComponents = assertFrameworkComponentsCompatible(\n          config.family.familyId,\n          config.target.targetId,\n          rawComponents,\n        );\n\n        // Create driver (expensive operation - done after validation)\n        const driver = await driverDescriptor.create(dbUrl);\n\n        try {\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                  frameworkComponents,\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;AAmCjB,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,iBAAiB,OAAO,OAAO,OAAO;AAAA,QAC1C,QAAQ,OAAO;AAAA,QACf,SAAS,OAAO;AAAA,QAChB,QAAQ;AAAA,QACR,gBAAgB,OAAO,kBAAkB,CAAC;AAAA,MAC5C,CAAC;AAGD,YAAM,aAAa,eAAe,mBAAmB,YAAY;AACjE,0CAAoC;AAAA,QAClC,UAAU;AAAA,QACV,QAAQ,OAAO;AAAA,QACf,QAAQ,OAAO;AAAA,QACf,SAAS,OAAO;AAAA,QAChB,gBAAgB,OAAO;AAAA,MACzB,CAAC;AAED,YAAM,gBAAgB,CAAC,OAAO,QAAQ,OAAO,SAAS,GAAI,OAAO,kBAAkB,CAAC,CAAE;AACtF,YAAM,sBAAsB;AAAA,QAC1B,OAAO,OAAO;AAAA,QACd,OAAO,OAAO;AAAA,QACd;AAAA,MACF;AAGA,YAAM,SAAS,MAAM,iBAAiB,OAAO,KAAK;AAElD,UAAI;AAEF,YAAI;AACJ,YAAI;AACF,+BAAqB,MAAM;AAAA,YACzB,MACE,eAAe,aAAa;AAAA,cAC1B;AAAA,cACA;AAAA,cACA,QAAQ;AAAA,cACR,cAAc;AAAA,cACd;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,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

@@ -1,3 +1,6 @@
+import {
+  assertContractRequirementsSatisfied
+} from "../chunk-C7QQMZ3I.js";
 import {
   formatCommandHelp,
   formatStyledHeader,
@@ -8,7 +11,7 @@ import {
   performAction,
   setCommandDescriptions,
   withSpinner
-} from "../chunk-3EODSNGS.js";
+} from "../chunk-BZMBKEEQ.js";
 import {
   loadConfig
 } from "../chunk-HWYQOCAJ.js";
@@ -94,14 +97,20 @@ function createDbVerifyCommand() {
           target: config.target,
           adapter: config.adapter,
           driver: driverDescriptor,
-          extensions: config.extensions ?? []
+          extensionPacks: config.extensionPacks ?? []
+        });
+        const contractIR = familyInstance.validateContractIR(contractJson);
+        assertContractRequirementsSatisfied({
+          contract: contractIR,
+          family: config.family,
+          target: config.target,
+          adapter: config.adapter,
+          extensionPacks: config.extensionPacks
         });
-        const typedFamilyInstance = familyInstance;
-        const contractIR = typedFamilyInstance.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 { performAction } from '../utils/action';\nimport { setCommandDescriptions } from '../utils/command-helpers';\nimport { assertContractRequirementsSatisfied } from '../utils/framework-components';\nimport { parseGlobalFlags } from '../utils/global-flags';\nimport {\n  formatCommandHelp,\n  formatStyledHeader,\n  formatVerifyJson,\n  formatVerifyOutput,\n} from '../utils/output';\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            extensionPacks: config.extensionPacks ?? [],\n          });\n\n          // Validate contract using instance validator\n          const contractIR = familyInstance.validateContractIR(contractJson) as ContractIR;\n          assertContractRequirementsSatisfied({\n            contract: contractIR,\n            family: config.family,\n            target: config.target,\n            adapter: config.adapter,\n            extensionPacks: config.extensionPacks,\n          });\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;AA8BjB,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,gBAAgB,OAAO,kBAAkB,CAAC;AAAA,QAC5C,CAAC;AAGD,cAAM,aAAa,eAAe,mBAAmB,YAAY;AACjE,4CAAoC;AAAA,UAClC,UAAU;AAAA,UACV,QAAQ,OAAO;AAAA,UACf,QAAQ,OAAO;AAAA,UACf,SAAS,OAAO;AAAA,UAChB,gBAAgB,OAAO;AAAA,QACzB,CAAC;AAGD,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.d.ts

@@ -1,8 +1,6 @@
 export { createContractEmitCommand } from './commands/contract-emit.js';
 import { ContractIR } from '@prisma-next/contract/ir';
-export { loadExtensionPackManifest, loadExtensionPacks } from './pack-loading.js';
 import 'commander';
-import '@prisma-next/contract/pack-manifest-types';
 
 interface LoadTsContractOptions {
     readonly allowlist?: ReadonlyArray<string>;

package/dist/index.js

@@ -1,11 +1,7 @@
-import {
-  loadExtensionPackManifest,
-  loadExtensionPacks
-} from "./chunk-W5YXBFPY.js";
 import {
   createContractEmitCommand
-} from "./chunk-4Q3MO4TK.js";
-import "./chunk-3EODSNGS.js";
+} from "./chunk-464LNZCE.js";
+import "./chunk-BZMBKEEQ.js";
 import "./chunk-HWYQOCAJ.js";
 
 // src/load-ts-contract.ts
@@ -174,8 +170,6 @@ Only @prisma-next/* packages are allowed in contract files.`
 }
 export {
   createContractEmitCommand,
-  loadContractFromTs,
-  loadExtensionPackManifest,
-  loadExtensionPacks
+  loadContractFromTs
 };
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/load-ts-contract.ts"],"sourcesContent":["import { existsSync, unlinkSync, writeFileSync } from 'node:fs';\nimport { tmpdir } from 'node:os';\nimport { join } from 'node:path';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport type { Plugin } from 'esbuild';\nimport { build } from 'esbuild';\n\nexport interface LoadTsContractOptions {\n  readonly allowlist?: ReadonlyArray<string>;\n}\n\nconst DEFAULT_ALLOWLIST = ['@prisma-next/*'];\n\nfunction isAllowedImport(importPath: string, allowlist: ReadonlyArray<string>): boolean {\n  for (const pattern of allowlist) {\n    if (pattern.endsWith('/*')) {\n      const prefix = pattern.slice(0, -2);\n      if (importPath === prefix || importPath.startsWith(`${prefix}/`)) {\n        return true;\n      }\n    } else if (importPath === pattern) {\n      return true;\n    }\n  }\n  return false;\n}\n\nfunction validatePurity(value: unknown): void {\n  if (typeof value !== 'object' || value === null) {\n    return;\n  }\n\n  const seen = new WeakSet();\n  function check(value: unknown): void {\n    if (value === null || typeof value !== 'object') {\n      return;\n    }\n\n    if (seen.has(value)) {\n      throw new Error('Contract export contains circular references');\n    }\n    seen.add(value);\n\n    for (const key in value) {\n      const descriptor = Object.getOwnPropertyDescriptor(value, key);\n      if (descriptor && (descriptor.get || descriptor.set)) {\n        throw new Error(`Contract export contains getter/setter at key \"${key}\"`);\n      }\n      if (descriptor && typeof descriptor.value === 'function') {\n        throw new Error(`Contract export contains function at key \"${key}\"`);\n      }\n      check((value as Record<string, unknown>)[key]);\n    }\n  }\n\n  try {\n    check(value);\n    JSON.stringify(value);\n  } catch (error) {\n    if (error instanceof Error) {\n      if (error.message.includes('getter') || error.message.includes('circular')) {\n        throw error;\n      }\n      throw new Error(`Contract export is not JSON-serializable: ${error.message}`);\n    }\n    throw new Error('Contract export is not JSON-serializable');\n  }\n}\n\nfunction createImportAllowlistPlugin(allowlist: ReadonlyArray<string>, entryPath: string): Plugin {\n  return {\n    name: 'import-allowlist',\n    setup(build) {\n      build.onResolve({ filter: /.*/ }, (args) => {\n        if (args.kind === 'entry-point') {\n          return undefined;\n        }\n        if (args.path.startsWith('.') || args.path.startsWith('/')) {\n          return undefined;\n        }\n        const isFromEntryPoint = args.importer === entryPath || args.importer === '<stdin>';\n        if (isFromEntryPoint && !isAllowedImport(args.path, allowlist)) {\n          return {\n            path: args.path,\n            external: true,\n          };\n        }\n        return undefined;\n      });\n    },\n  };\n}\n\n/**\n * Loads a contract from a TypeScript file and returns it as ContractIR.\n *\n * **Responsibility: Parsing Only**\n * This function loads and parses a TypeScript contract file. It does NOT normalize the contract.\n * The contract should already be normalized if it was built using the contract builder.\n *\n * Normalization must happen in the contract builder when the contract is created.\n * This function only validates that the contract is JSON-serializable and returns it as-is.\n *\n * @param entryPath - Path to the TypeScript contract file\n * @param options - Optional configuration (import allowlist)\n * @returns The contract as ContractIR (should already be normalized)\n * @throws Error if the contract cannot be loaded or is not JSON-serializable\n */\nexport async function loadContractFromTs(\n  entryPath: string,\n  options?: LoadTsContractOptions,\n): Promise<ContractIR> {\n  const allowlist = options?.allowlist ?? DEFAULT_ALLOWLIST;\n\n  if (!existsSync(entryPath)) {\n    throw new Error(`Contract file not found: ${entryPath}`);\n  }\n\n  const tempFile = join(\n    tmpdir(),\n    `prisma-next-contract-${Date.now()}-${Math.random().toString(36).slice(2)}.mjs`,\n  );\n\n  try {\n    const result = await build({\n      entryPoints: [entryPath],\n      bundle: true,\n      format: 'esm',\n      platform: 'node',\n      target: 'es2022',\n      outfile: tempFile,\n      write: false,\n      metafile: true,\n      plugins: [createImportAllowlistPlugin(allowlist, entryPath)],\n      logLevel: 'error',\n    });\n\n    if (result.errors.length > 0) {\n      const errorMessages = result.errors.map((e: { text: string }) => e.text).join('\\n');\n      throw new Error(`Failed to bundle contract file: ${errorMessages}`);\n    }\n\n    if (!result.outputFiles || result.outputFiles.length === 0) {\n      throw new Error('No output files generated from bundling');\n    }\n\n    const disallowedImports: string[] = [];\n    if (result.metafile) {\n      const inputs = result.metafile.inputs;\n      for (const [, inputData] of Object.entries(inputs)) {\n        const imports =\n          (inputData as { imports?: Array<{ path: string; external?: boolean }> }).imports || [];\n        for (const imp of imports) {\n          if (\n            imp.external &&\n            !imp.path.startsWith('.') &&\n            !imp.path.startsWith('/') &&\n            !isAllowedImport(imp.path, allowlist)\n          ) {\n            disallowedImports.push(imp.path);\n          }\n        }\n      }\n    }\n\n    if (disallowedImports.length > 0) {\n      throw new Error(\n        `Disallowed imports detected. Only imports matching the allowlist are permitted:\\n  Allowlist: ${allowlist.join(', ')}\\n  Disallowed imports: ${disallowedImports.join(', ')}\\n\\nOnly @prisma-next/* packages are allowed in contract files.`,\n      );\n    }\n\n    const bundleContent = result.outputFiles[0]?.text;\n    if (bundleContent === undefined) {\n      throw new Error('Bundle content is undefined');\n    }\n    writeFileSync(tempFile, bundleContent, 'utf-8');\n\n    const module = (await import(`file://${tempFile}`)) as {\n      default?: unknown;\n      contract?: unknown;\n    };\n    unlinkSync(tempFile);\n\n    let contract: unknown;\n\n    if (module.default !== undefined) {\n      contract = module.default;\n    } else if (module.contract !== undefined) {\n      contract = module.contract;\n    } else {\n      throw new Error(\n        `Contract file must export a contract as default export or named export 'contract'. Found exports: ${Object.keys(module as Record<string, unknown>).join(', ') || 'none'}`,\n      );\n    }\n\n    if (typeof contract !== 'object' || contract === null) {\n      throw new Error(`Contract export must be an object, got ${typeof contract}`);\n    }\n\n    validatePurity(contract);\n\n    return contract as ContractIR;\n  } catch (error) {\n    try {\n      if (tempFile) {\n        unlinkSync(tempFile);\n      }\n    } catch {\n      // Ignore cleanup errors\n    }\n\n    if (error instanceof Error) {\n      throw error;\n    }\n    throw new Error(`Failed to load contract from ${entryPath}: ${String(error)}`);\n  }\n}\n"],"mappings":";;;;;;;;;;;AAAA,SAAS,YAAY,YAAY,qBAAqB;AACtD,SAAS,cAAc;AACvB,SAAS,YAAY;AAGrB,SAAS,aAAa;AAMtB,IAAM,oBAAoB,CAAC,gBAAgB;AAE3C,SAAS,gBAAgB,YAAoB,WAA2C;AACtF,aAAW,WAAW,WAAW;AAC/B,QAAI,QAAQ,SAAS,IAAI,GAAG;AAC1B,YAAM,SAAS,QAAQ,MAAM,GAAG,EAAE;AAClC,UAAI,eAAe,UAAU,WAAW,WAAW,GAAG,MAAM,GAAG,GAAG;AAChE,eAAO;AAAA,MACT;AAAA,IACF,WAAW,eAAe,SAAS;AACjC,aAAO;AAAA,IACT;AAAA,EACF;AACA,SAAO;AACT;AAEA,SAAS,eAAe,OAAsB;AAC5C,MAAI,OAAO,UAAU,YAAY,UAAU,MAAM;AAC/C;AAAA,EACF;AAEA,QAAM,OAAO,oBAAI,QAAQ;AACzB,WAAS,MAAMA,QAAsB;AACnC,QAAIA,WAAU,QAAQ,OAAOA,WAAU,UAAU;AAC/C;AAAA,IACF;AAEA,QAAI,KAAK,IAAIA,MAAK,GAAG;AACnB,YAAM,IAAI,MAAM,8CAA8C;AAAA,IAChE;AACA,SAAK,IAAIA,MAAK;AAEd,eAAW,OAAOA,QAAO;AACvB,YAAM,aAAa,OAAO,yBAAyBA,QAAO,GAAG;AAC7D,UAAI,eAAe,WAAW,OAAO,WAAW,MAAM;AACpD,cAAM,IAAI,MAAM,kDAAkD,GAAG,GAAG;AAAA,MAC1E;AACA,UAAI,cAAc,OAAO,WAAW,UAAU,YAAY;AACxD,cAAM,IAAI,MAAM,6CAA6C,GAAG,GAAG;AAAA,MACrE;AACA,YAAOA,OAAkC,GAAG,CAAC;AAAA,IAC/C;AAAA,EACF;AAEA,MAAI;AACF,UAAM,KAAK;AACX,SAAK,UAAU,KAAK;AAAA,EACtB,SAAS,OAAO;AACd,QAAI,iBAAiB,OAAO;AAC1B,UAAI,MAAM,QAAQ,SAAS,QAAQ,KAAK,MAAM,QAAQ,SAAS,UAAU,GAAG;AAC1E,cAAM;AAAA,MACR;AACA,YAAM,IAAI,MAAM,6CAA6C,MAAM,OAAO,EAAE;AAAA,IAC9E;AACA,UAAM,IAAI,MAAM,0CAA0C;AAAA,EAC5D;AACF;AAEA,SAAS,4BAA4B,WAAkC,WAA2B;AAChG,SAAO;AAAA,IACL,MAAM;AAAA,IACN,MAAMC,QAAO;AACX,MAAAA,OAAM,UAAU,EAAE,QAAQ,KAAK,GAAG,CAAC,SAAS;AAC1C,YAAI,KAAK,SAAS,eAAe;AAC/B,iBAAO;AAAA,QACT;AACA,YAAI,KAAK,KAAK,WAAW,GAAG,KAAK,KAAK,KAAK,WAAW,GAAG,GAAG;AAC1D,iBAAO;AAAA,QACT;AACA,cAAM,mBAAmB,KAAK,aAAa,aAAa,KAAK,aAAa;AAC1E,YAAI,oBAAoB,CAAC,gBAAgB,KAAK,MAAM,SAAS,GAAG;AAC9D,iBAAO;AAAA,YACL,MAAM,KAAK;AAAA,YACX,UAAU;AAAA,UACZ;AAAA,QACF;AACA,eAAO;AAAA,MACT,CAAC;AAAA,IACH;AAAA,EACF;AACF;AAiBA,eAAsB,mBACpB,WACA,SACqB;AACrB,QAAM,YAAY,SAAS,aAAa;AAExC,MAAI,CAAC,WAAW,SAAS,GAAG;AAC1B,UAAM,IAAI,MAAM,4BAA4B,SAAS,EAAE;AAAA,EACzD;AAEA,QAAM,WAAW;AAAA,IACf,OAAO;AAAA,IACP,wBAAwB,KAAK,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,CAAC,CAAC;AAAA,EAC3E;AAEA,MAAI;AACF,UAAM,SAAS,MAAM,MAAM;AAAA,MACzB,aAAa,CAAC,SAAS;AAAA,MACvB,QAAQ;AAAA,MACR,QAAQ;AAAA,MACR,UAAU;AAAA,MACV,QAAQ;AAAA,MACR,SAAS;AAAA,MACT,OAAO;AAAA,MACP,UAAU;AAAA,MACV,SAAS,CAAC,4BAA4B,WAAW,SAAS,CAAC;AAAA,MAC3D,UAAU;AAAA,IACZ,CAAC;AAED,QAAI,OAAO,OAAO,SAAS,GAAG;AAC5B,YAAM,gBAAgB,OAAO,OAAO,IAAI,CAAC,MAAwB,EAAE,IAAI,EAAE,KAAK,IAAI;AAClF,YAAM,IAAI,MAAM,mCAAmC,aAAa,EAAE;AAAA,IACpE;AAEA,QAAI,CAAC,OAAO,eAAe,OAAO,YAAY,WAAW,GAAG;AAC1D,YAAM,IAAI,MAAM,yCAAyC;AAAA,IAC3D;AAEA,UAAM,oBAA8B,CAAC;AACrC,QAAI,OAAO,UAAU;AACnB,YAAM,SAAS,OAAO,SAAS;AAC/B,iBAAW,CAAC,EAAE,SAAS,KAAK,OAAO,QAAQ,MAAM,GAAG;AAClD,cAAM,UACH,UAAwE,WAAW,CAAC;AACvF,mBAAW,OAAO,SAAS;AACzB,cACE,IAAI,YACJ,CAAC,IAAI,KAAK,WAAW,GAAG,KACxB,CAAC,IAAI,KAAK,WAAW,GAAG,KACxB,CAAC,gBAAgB,IAAI,MAAM,SAAS,GACpC;AACA,8BAAkB,KAAK,IAAI,IAAI;AAAA,UACjC;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAEA,QAAI,kBAAkB,SAAS,GAAG;AAChC,YAAM,IAAI;AAAA,QACR;AAAA,eAAiG,UAAU,KAAK,IAAI,CAAC;AAAA,wBAA2B,kBAAkB,KAAK,IAAI,CAAC;AAAA;AAAA;AAAA,MAC9K;AAAA,IACF;AAEA,UAAM,gBAAgB,OAAO,YAAY,CAAC,GAAG;AAC7C,QAAI,kBAAkB,QAAW;AAC/B,YAAM,IAAI,MAAM,6BAA6B;AAAA,IAC/C;AACA,kBAAc,UAAU,eAAe,OAAO;AAE9C,UAAM,SAAU,MAAM,OAAO,UAAU,QAAQ;AAI/C,eAAW,QAAQ;AAEnB,QAAI;AAEJ,QAAI,OAAO,YAAY,QAAW;AAChC,iBAAW,OAAO;AAAA,IACpB,WAAW,OAAO,aAAa,QAAW;AACxC,iBAAW,OAAO;AAAA,IACpB,OAAO;AACL,YAAM,IAAI;AAAA,QACR,qGAAqG,OAAO,KAAK,MAAiC,EAAE,KAAK,IAAI,KAAK,MAAM;AAAA,MAC1K;AAAA,IACF;AAEA,QAAI,OAAO,aAAa,YAAY,aAAa,MAAM;AACrD,YAAM,IAAI,MAAM,0CAA0C,OAAO,QAAQ,EAAE;AAAA,IAC7E;AAEA,mBAAe,QAAQ;AAEvB,WAAO;AAAA,EACT,SAAS,OAAO;AACd,QAAI;AACF,UAAI,UAAU;AACZ,mBAAW,QAAQ;AAAA,MACrB;AAAA,IACF,QAAQ;AAAA,IAER;AAEA,QAAI,iBAAiB,OAAO;AAC1B,YAAM;AAAA,IACR;AACA,UAAM,IAAI,MAAM,gCAAgC,SAAS,KAAK,OAAO,KAAK,CAAC,EAAE;AAAA,EAC/E;AACF;","names":["value","build"]}
+{"version":3,"sources":["../src/load-ts-contract.ts"],"sourcesContent":["import { existsSync, unlinkSync, writeFileSync } from 'node:fs';\nimport { tmpdir } from 'node:os';\nimport { join } from 'node:path';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport type { Plugin } from 'esbuild';\nimport { build } from 'esbuild';\n\nexport interface LoadTsContractOptions {\n  readonly allowlist?: ReadonlyArray<string>;\n}\n\nconst DEFAULT_ALLOWLIST = ['@prisma-next/*'];\n\nfunction isAllowedImport(importPath: string, allowlist: ReadonlyArray<string>): boolean {\n  for (const pattern of allowlist) {\n    if (pattern.endsWith('/*')) {\n      const prefix = pattern.slice(0, -2);\n      if (importPath === prefix || importPath.startsWith(`${prefix}/`)) {\n        return true;\n      }\n    } else if (importPath === pattern) {\n      return true;\n    }\n  }\n  return false;\n}\n\nfunction validatePurity(value: unknown): void {\n  if (typeof value !== 'object' || value === null) {\n    return;\n  }\n\n  const seen = new WeakSet();\n  function check(value: unknown): void {\n    if (value === null || typeof value !== 'object') {\n      return;\n    }\n\n    if (seen.has(value)) {\n      throw new Error('Contract export contains circular references');\n    }\n    seen.add(value);\n\n    for (const key in value) {\n      const descriptor = Object.getOwnPropertyDescriptor(value, key);\n      if (descriptor && (descriptor.get || descriptor.set)) {\n        throw new Error(`Contract export contains getter/setter at key \"${key}\"`);\n      }\n      if (descriptor && typeof descriptor.value === 'function') {\n        throw new Error(`Contract export contains function at key \"${key}\"`);\n      }\n      check((value as Record<string, unknown>)[key]);\n    }\n  }\n\n  try {\n    check(value);\n    JSON.stringify(value);\n  } catch (error) {\n    if (error instanceof Error) {\n      if (error.message.includes('getter') || error.message.includes('circular')) {\n        throw error;\n      }\n      throw new Error(`Contract export is not JSON-serializable: ${error.message}`);\n    }\n    throw new Error('Contract export is not JSON-serializable');\n  }\n}\n\nfunction createImportAllowlistPlugin(allowlist: ReadonlyArray<string>, entryPath: string): Plugin {\n  return {\n    name: 'import-allowlist',\n    setup(build) {\n      build.onResolve({ filter: /.*/ }, (args) => {\n        if (args.kind === 'entry-point') {\n          return undefined;\n        }\n        if (args.path.startsWith('.') || args.path.startsWith('/')) {\n          return undefined;\n        }\n        const isFromEntryPoint = args.importer === entryPath || args.importer === '<stdin>';\n        if (isFromEntryPoint && !isAllowedImport(args.path, allowlist)) {\n          return {\n            path: args.path,\n            external: true,\n          };\n        }\n        return undefined;\n      });\n    },\n  };\n}\n\n/**\n * Loads a contract from a TypeScript file and returns it as ContractIR.\n *\n * **Responsibility: Parsing Only**\n * This function loads and parses a TypeScript contract file. It does NOT normalize the contract.\n * The contract should already be normalized if it was built using the contract builder.\n *\n * Normalization must happen in the contract builder when the contract is created.\n * This function only validates that the contract is JSON-serializable and returns it as-is.\n *\n * @param entryPath - Path to the TypeScript contract file\n * @param options - Optional configuration (import allowlist)\n * @returns The contract as ContractIR (should already be normalized)\n * @throws Error if the contract cannot be loaded or is not JSON-serializable\n */\nexport async function loadContractFromTs(\n  entryPath: string,\n  options?: LoadTsContractOptions,\n): Promise<ContractIR> {\n  const allowlist = options?.allowlist ?? DEFAULT_ALLOWLIST;\n\n  if (!existsSync(entryPath)) {\n    throw new Error(`Contract file not found: ${entryPath}`);\n  }\n\n  const tempFile = join(\n    tmpdir(),\n    `prisma-next-contract-${Date.now()}-${Math.random().toString(36).slice(2)}.mjs`,\n  );\n\n  try {\n    const result = await build({\n      entryPoints: [entryPath],\n      bundle: true,\n      format: 'esm',\n      platform: 'node',\n      target: 'es2022',\n      outfile: tempFile,\n      write: false,\n      metafile: true,\n      plugins: [createImportAllowlistPlugin(allowlist, entryPath)],\n      logLevel: 'error',\n    });\n\n    if (result.errors.length > 0) {\n      const errorMessages = result.errors.map((e: { text: string }) => e.text).join('\\n');\n      throw new Error(`Failed to bundle contract file: ${errorMessages}`);\n    }\n\n    if (!result.outputFiles || result.outputFiles.length === 0) {\n      throw new Error('No output files generated from bundling');\n    }\n\n    const disallowedImports: string[] = [];\n    if (result.metafile) {\n      const inputs = result.metafile.inputs;\n      for (const [, inputData] of Object.entries(inputs)) {\n        const imports =\n          (inputData as { imports?: Array<{ path: string; external?: boolean }> }).imports || [];\n        for (const imp of imports) {\n          if (\n            imp.external &&\n            !imp.path.startsWith('.') &&\n            !imp.path.startsWith('/') &&\n            !isAllowedImport(imp.path, allowlist)\n          ) {\n            disallowedImports.push(imp.path);\n          }\n        }\n      }\n    }\n\n    if (disallowedImports.length > 0) {\n      throw new Error(\n        `Disallowed imports detected. Only imports matching the allowlist are permitted:\\n  Allowlist: ${allowlist.join(', ')}\\n  Disallowed imports: ${disallowedImports.join(', ')}\\n\\nOnly @prisma-next/* packages are allowed in contract files.`,\n      );\n    }\n\n    const bundleContent = result.outputFiles[0]?.text;\n    if (bundleContent === undefined) {\n      throw new Error('Bundle content is undefined');\n    }\n    writeFileSync(tempFile, bundleContent, 'utf-8');\n\n    const module = (await import(`file://${tempFile}`)) as {\n      default?: unknown;\n      contract?: unknown;\n    };\n    unlinkSync(tempFile);\n\n    let contract: unknown;\n\n    if (module.default !== undefined) {\n      contract = module.default;\n    } else if (module.contract !== undefined) {\n      contract = module.contract;\n    } else {\n      throw new Error(\n        `Contract file must export a contract as default export or named export 'contract'. Found exports: ${Object.keys(module as Record<string, unknown>).join(', ') || 'none'}`,\n      );\n    }\n\n    if (typeof contract !== 'object' || contract === null) {\n      throw new Error(`Contract export must be an object, got ${typeof contract}`);\n    }\n\n    validatePurity(contract);\n\n    return contract as ContractIR;\n  } catch (error) {\n    try {\n      if (tempFile) {\n        unlinkSync(tempFile);\n      }\n    } catch {\n      // Ignore cleanup errors\n    }\n\n    if (error instanceof Error) {\n      throw error;\n    }\n    throw new Error(`Failed to load contract from ${entryPath}: ${String(error)}`);\n  }\n}\n"],"mappings":";;;;;;;AAAA,SAAS,YAAY,YAAY,qBAAqB;AACtD,SAAS,cAAc;AACvB,SAAS,YAAY;AAGrB,SAAS,aAAa;AAMtB,IAAM,oBAAoB,CAAC,gBAAgB;AAE3C,SAAS,gBAAgB,YAAoB,WAA2C;AACtF,aAAW,WAAW,WAAW;AAC/B,QAAI,QAAQ,SAAS,IAAI,GAAG;AAC1B,YAAM,SAAS,QAAQ,MAAM,GAAG,EAAE;AAClC,UAAI,eAAe,UAAU,WAAW,WAAW,GAAG,MAAM,GAAG,GAAG;AAChE,eAAO;AAAA,MACT;AAAA,IACF,WAAW,eAAe,SAAS;AACjC,aAAO;AAAA,IACT;AAAA,EACF;AACA,SAAO;AACT;AAEA,SAAS,eAAe,OAAsB;AAC5C,MAAI,OAAO,UAAU,YAAY,UAAU,MAAM;AAC/C;AAAA,EACF;AAEA,QAAM,OAAO,oBAAI,QAAQ;AACzB,WAAS,MAAMA,QAAsB;AACnC,QAAIA,WAAU,QAAQ,OAAOA,WAAU,UAAU;AAC/C;AAAA,IACF;AAEA,QAAI,KAAK,IAAIA,MAAK,GAAG;AACnB,YAAM,IAAI,MAAM,8CAA8C;AAAA,IAChE;AACA,SAAK,IAAIA,MAAK;AAEd,eAAW,OAAOA,QAAO;AACvB,YAAM,aAAa,OAAO,yBAAyBA,QAAO,GAAG;AAC7D,UAAI,eAAe,WAAW,OAAO,WAAW,MAAM;AACpD,cAAM,IAAI,MAAM,kDAAkD,GAAG,GAAG;AAAA,MAC1E;AACA,UAAI,cAAc,OAAO,WAAW,UAAU,YAAY;AACxD,cAAM,IAAI,MAAM,6CAA6C,GAAG,GAAG;AAAA,MACrE;AACA,YAAOA,OAAkC,GAAG,CAAC;AAAA,IAC/C;AAAA,EACF;AAEA,MAAI;AACF,UAAM,KAAK;AACX,SAAK,UAAU,KAAK;AAAA,EACtB,SAAS,OAAO;AACd,QAAI,iBAAiB,OAAO;AAC1B,UAAI,MAAM,QAAQ,SAAS,QAAQ,KAAK,MAAM,QAAQ,SAAS,UAAU,GAAG;AAC1E,cAAM;AAAA,MACR;AACA,YAAM,IAAI,MAAM,6CAA6C,MAAM,OAAO,EAAE;AAAA,IAC9E;AACA,UAAM,IAAI,MAAM,0CAA0C;AAAA,EAC5D;AACF;AAEA,SAAS,4BAA4B,WAAkC,WAA2B;AAChG,SAAO;AAAA,IACL,MAAM;AAAA,IACN,MAAMC,QAAO;AACX,MAAAA,OAAM,UAAU,EAAE,QAAQ,KAAK,GAAG,CAAC,SAAS;AAC1C,YAAI,KAAK,SAAS,eAAe;AAC/B,iBAAO;AAAA,QACT;AACA,YAAI,KAAK,KAAK,WAAW,GAAG,KAAK,KAAK,KAAK,WAAW,GAAG,GAAG;AAC1D,iBAAO;AAAA,QACT;AACA,cAAM,mBAAmB,KAAK,aAAa,aAAa,KAAK,aAAa;AAC1E,YAAI,oBAAoB,CAAC,gBAAgB,KAAK,MAAM,SAAS,GAAG;AAC9D,iBAAO;AAAA,YACL,MAAM,KAAK;AAAA,YACX,UAAU;AAAA,UACZ;AAAA,QACF;AACA,eAAO;AAAA,MACT,CAAC;AAAA,IACH;AAAA,EACF;AACF;AAiBA,eAAsB,mBACpB,WACA,SACqB;AACrB,QAAM,YAAY,SAAS,aAAa;AAExC,MAAI,CAAC,WAAW,SAAS,GAAG;AAC1B,UAAM,IAAI,MAAM,4BAA4B,SAAS,EAAE;AAAA,EACzD;AAEA,QAAM,WAAW;AAAA,IACf,OAAO;AAAA,IACP,wBAAwB,KAAK,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,CAAC,CAAC;AAAA,EAC3E;AAEA,MAAI;AACF,UAAM,SAAS,MAAM,MAAM;AAAA,MACzB,aAAa,CAAC,SAAS;AAAA,MACvB,QAAQ;AAAA,MACR,QAAQ;AAAA,MACR,UAAU;AAAA,MACV,QAAQ;AAAA,MACR,SAAS;AAAA,MACT,OAAO;AAAA,MACP,UAAU;AAAA,MACV,SAAS,CAAC,4BAA4B,WAAW,SAAS,CAAC;AAAA,MAC3D,UAAU;AAAA,IACZ,CAAC;AAED,QAAI,OAAO,OAAO,SAAS,GAAG;AAC5B,YAAM,gBAAgB,OAAO,OAAO,IAAI,CAAC,MAAwB,EAAE,IAAI,EAAE,KAAK,IAAI;AAClF,YAAM,IAAI,MAAM,mCAAmC,aAAa,EAAE;AAAA,IACpE;AAEA,QAAI,CAAC,OAAO,eAAe,OAAO,YAAY,WAAW,GAAG;AAC1D,YAAM,IAAI,MAAM,yCAAyC;AAAA,IAC3D;AAEA,UAAM,oBAA8B,CAAC;AACrC,QAAI,OAAO,UAAU;AACnB,YAAM,SAAS,OAAO,SAAS;AAC/B,iBAAW,CAAC,EAAE,SAAS,KAAK,OAAO,QAAQ,MAAM,GAAG;AAClD,cAAM,UACH,UAAwE,WAAW,CAAC;AACvF,mBAAW,OAAO,SAAS;AACzB,cACE,IAAI,YACJ,CAAC,IAAI,KAAK,WAAW,GAAG,KACxB,CAAC,IAAI,KAAK,WAAW,GAAG,KACxB,CAAC,gBAAgB,IAAI,MAAM,SAAS,GACpC;AACA,8BAAkB,KAAK,IAAI,IAAI;AAAA,UACjC;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAEA,QAAI,kBAAkB,SAAS,GAAG;AAChC,YAAM,IAAI;AAAA,QACR;AAAA,eAAiG,UAAU,KAAK,IAAI,CAAC;AAAA,wBAA2B,kBAAkB,KAAK,IAAI,CAAC;AAAA;AAAA;AAAA,MAC9K;AAAA,IACF;AAEA,UAAM,gBAAgB,OAAO,YAAY,CAAC,GAAG;AAC7C,QAAI,kBAAkB,QAAW;AAC/B,YAAM,IAAI,MAAM,6BAA6B;AAAA,IAC/C;AACA,kBAAc,UAAU,eAAe,OAAO;AAE9C,UAAM,SAAU,MAAM,OAAO,UAAU,QAAQ;AAI/C,eAAW,QAAQ;AAEnB,QAAI;AAEJ,QAAI,OAAO,YAAY,QAAW;AAChC,iBAAW,OAAO;AAAA,IACpB,WAAW,OAAO,aAAa,QAAW;AACxC,iBAAW,OAAO;AAAA,IACpB,OAAO;AACL,YAAM,IAAI;AAAA,QACR,qGAAqG,OAAO,KAAK,MAAiC,EAAE,KAAK,IAAI,KAAK,MAAM;AAAA,MAC1K;AAAA,IACF;AAEA,QAAI,OAAO,aAAa,YAAY,aAAa,MAAM;AACrD,YAAM,IAAI,MAAM,0CAA0C,OAAO,QAAQ,EAAE;AAAA,IAC7E;AAEA,mBAAe,QAAQ;AAEvB,WAAO;AAAA,EACT,SAAS,OAAO;AACd,QAAI;AACF,UAAI,UAAU;AACZ,mBAAW,QAAQ;AAAA,MACrB;AAAA,IACF,QAAQ;AAAA,IAER;AAEA,QAAI,iBAAiB,OAAO;AAC1B,YAAM;AAAA,IACR;AACA,UAAM,IAAI,MAAM,gCAAgC,SAAS,KAAK,OAAO,KAAK,CAAC,EAAE;AAAA,EAC/E;AACF;","names":["value","build"]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@prisma-next/cli",
-  "version": "0.1.0-dev.3",
+  "version": "0.1.0-dev.30",
   "type": "module",
   "sideEffects": false,
   "files": [
@@ -19,21 +19,23 @@
     "string-width": "^7.2.0",
     "strip-ansi": "^7.1.2",
     "wrap-ansi": "^9.0.2",
-    "@prisma-next/emitter": "0.1.0-dev.3",
-    "@prisma-next/core-control-plane": "0.1.0-dev.3",
-    "@prisma-next/contract": "0.1.0-dev.3"
+    "@prisma-next/contract": "0.1.0-dev.30",
+    "@prisma-next/core-control-plane": "0.1.0-dev.30",
+    "@prisma-next/emitter": "0.1.0-dev.30",
+    "@prisma-next/utils": "0.1.0-dev.30"
   },
   "devDependencies": {
-    "@types/node": "^20.0.0",
+    "@types/node": "24.10.4",
+    "@vitest/coverage-v8": "^4.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.3",
-    "@prisma-next/sql-contract-emitter": "0.1.0-dev.3",
-    "@prisma-next/sql-operations": "0.1.0-dev.3",
-    "@prisma-next/sql-runtime": "0.1.0-dev.3",
-    "@prisma-next/sql-contract-ts": "0.1.0-dev.3",
+    "vitest": "^4.0.16",
+    "@prisma-next/sql-contract-ts": "0.1.0-dev.30",
+    "@prisma-next/sql-contract": "0.1.0-dev.30",
+    "@prisma-next/sql-contract-emitter": "0.1.0-dev.30",
+    "@prisma-next/sql-operations": "0.1.0-dev.30",
+    "@prisma-next/sql-runtime": "0.1.0-dev.30",
     "@prisma-next/test-utils": "0.0.1"
   },
   "exports": {
@@ -45,9 +47,9 @@
       "types": "./dist/config-types.d.ts",
       "import": "./dist/config-types.js"
     },
-    "./pack-loading": {
-      "types": "./dist/pack-loading.d.ts",
-      "import": "./dist/pack-loading.js"
+    "./commands/db-init": {
+      "types": "./dist/commands/db-init.d.ts",
+      "import": "./dist/commands/db-init.js"
     },
     "./commands/db-introspect": {
       "types": "./dist/commands/db-introspect.d.ts",
@@ -80,6 +82,8 @@
     "test:coverage": "vitest run --coverage",
     "typecheck": "tsc --project tsconfig.json --noEmit",
     "lint": "biome check . --config-path ../../../../biome.json --error-on-warnings",
+    "lint:fix": "biome check --write . --config-path ../../../../biome.json",
+    "lint:fix:unsafe": "biome check --write --unsafe . --config-path ../../../../biome.json",
     "clean": "node ../../../../scripts/clean.mjs"
   }
 }