@prisma-next/cli 0.0.1 → 0.1.0-dev.1

package/dist/commands/db-verify.js

@@ -0,0 +1,164 @@
+import {
+  formatCommandHelp,
+  formatStyledHeader,
+  formatVerifyJson,
+  formatVerifyOutput,
+  handleResult,
+  parseGlobalFlags,
+  performAction,
+  setCommandDescriptions,
+  withSpinner
+} from "../chunk-3EODSNGS.js";
+import {
+  loadConfig
+} from "../chunk-HWYQOCAJ.js";
+
+// src/commands/db-verify.ts
+import { readFile } from "fs/promises";
+import { relative, resolve } from "path";
+import {
+  errorDatabaseUrlRequired,
+  errorDriverRequired,
+  errorFileNotFound,
+  errorHashMismatch,
+  errorMarkerMissing,
+  errorRuntime,
+  errorTargetMismatch,
+  errorUnexpected
+} from "@prisma-next/core-control-plane/errors";
+import { Command } from "commander";
+function createDbVerifyCommand() {
+  const command = new Command("verify");
+  setCommandDescriptions(
+    command,
+    "Check whether the database has been signed with your contract",
+    "Verifies that your database schema matches the emitted contract. Checks table structures,\ncolumn types, constraints, and codec coverage. Reports any mismatches or missing codecs."
+  );
+  command.configureHelp({
+    formatHelp: (cmd) => {
+      const flags = parseGlobalFlags({});
+      return formatCommandHelp({ command: cmd, flags });
+    }
+  }).option("--db <url>", "Database connection string").option("--config <path>", "Path to prisma-next.config.ts").option("--json [format]", "Output as JSON (object or ndjson)", false).option("-q, --quiet", "Quiet mode: errors only").option("-v, --verbose", "Verbose output: debug info, timings").option("-vv, --trace", "Trace output: deep internals, stack traces").option("--timestamps", "Add timestamps to output").option("--color", "Force color output").option("--no-color", "Disable color output").action(async (options) => {
+    const flags = parseGlobalFlags(options);
+    const result = await performAction(async () => {
+      const config = await loadConfig(options.config);
+      const configPath = options.config ? relative(process.cwd(), resolve(options.config)) : "prisma-next.config.ts";
+      const contractPathAbsolute = config.contract?.output ? resolve(config.contract.output) : resolve("src/prisma/contract.json");
+      const contractPath = relative(process.cwd(), contractPathAbsolute);
+      if (flags.json !== "object" && !flags.quiet) {
+        const details = [
+          { label: "config", value: configPath },
+          { label: "contract", value: contractPath }
+        ];
+        if (options.db) {
+          details.push({ label: "database", value: options.db });
+        }
+        const header = formatStyledHeader({
+          command: "db verify",
+          description: "Check whether the database has been signed with your contract",
+          url: "https://pris.ly/db-verify",
+          details,
+          flags
+        });
+        console.log(header);
+      }
+      let contractJsonContent;
+      try {
+        contractJsonContent = await readFile(contractPathAbsolute, "utf-8");
+      } catch (error) {
+        if (error instanceof Error && error.code === "ENOENT") {
+          throw errorFileNotFound(contractPathAbsolute, {
+            why: `Contract file not found at ${contractPathAbsolute}`
+          });
+        }
+        throw errorUnexpected(error instanceof Error ? error.message : String(error), {
+          why: `Failed to read contract file: ${error instanceof Error ? error.message : String(error)}`
+        });
+      }
+      const contractJson = JSON.parse(contractJsonContent);
+      const dbUrl = options.db ?? config.db?.url;
+      if (!dbUrl) {
+        throw errorDatabaseUrlRequired();
+      }
+      if (!config.driver) {
+        throw errorDriverRequired();
+      }
+      const driverDescriptor = config.driver;
+      const driver = await withSpinner(() => driverDescriptor.create(dbUrl), {
+        message: "Connecting to database...",
+        flags
+      });
+      try {
+        const familyInstance = config.family.create({
+          target: config.target,
+          adapter: config.adapter,
+          driver: driverDescriptor,
+          extensions: config.extensions ?? []
+        });
+        const typedFamilyInstance = familyInstance;
+        const contractIR = typedFamilyInstance.validateContractIR(contractJson);
+        let verifyResult;
+        try {
+          verifyResult = await withSpinner(
+            () => typedFamilyInstance.verify({
+              driver,
+              contractIR,
+              expectedTargetId: config.target.targetId,
+              contractPath: contractPathAbsolute,
+              configPath
+            }),
+            {
+              message: "Verifying database schema...",
+              flags
+            }
+          );
+        } catch (error) {
+          throw errorUnexpected(error instanceof Error ? error.message : String(error), {
+            why: `Failed to verify database: ${error instanceof Error ? error.message : String(error)}`
+          });
+        }
+        if (!verifyResult.ok && verifyResult.code) {
+          if (verifyResult.code === "PN-RTM-3001") {
+            throw errorMarkerMissing();
+          }
+          if (verifyResult.code === "PN-RTM-3002") {
+            throw errorHashMismatch({
+              expected: verifyResult.contract.coreHash,
+              ...verifyResult.marker?.coreHash ? { actual: verifyResult.marker.coreHash } : {}
+            });
+          }
+          if (verifyResult.code === "PN-RTM-3003") {
+            throw errorTargetMismatch(
+              verifyResult.target.expected,
+              verifyResult.target.actual ?? "unknown"
+            );
+          }
+          throw errorRuntime(verifyResult.summary);
+        }
+        if (!flags.quiet && flags.json !== "object" && process.stdout.isTTY) {
+          console.log("");
+        }
+        return verifyResult;
+      } finally {
+        await driver.close();
+      }
+    });
+    const exitCode = handleResult(result, flags, (verifyResult) => {
+      if (flags.json === "object") {
+        console.log(formatVerifyJson(verifyResult));
+      } else {
+        const output = formatVerifyOutput(verifyResult, flags);
+        if (output) {
+          console.log(output);
+        }
+      }
+    });
+    process.exit(exitCode);
+  });
+  return command;
+}
+export {
+  createDbVerifyCommand
+};
+//# sourceMappingURL=db-verify.js.map

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

@@ -0,0 +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":[]}

package/dist/config-loader.d.ts

@@ -0,0 +1,14 @@
+import { PrismaNextConfig } from '@prisma-next/core-control-plane/config-types';
+
+/**
+ * Loads the Prisma Next config from a TypeScript file.
+ * Supports both default export and named export.
+ * Uses c12 to automatically handle TypeScript compilation and config file discovery.
+ *
+ * @param configPath - Optional path to config file. Defaults to `./prisma-next.config.ts` in current directory.
+ * @returns The loaded config object.
+ * @throws Error if config file doesn't exist or is invalid.
+ */
+declare function loadConfig(configPath?: string): Promise<PrismaNextConfig>;
+
+export { loadConfig };

package/dist/config-loader.js

@@ -0,0 +1,7 @@
+import {
+  loadConfig
+} from "./chunk-HWYQOCAJ.js";
+export {
+  loadConfig
+};
+//# sourceMappingURL=config-loader.js.map

package/dist/config-loader.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"sourcesContent":[],"mappings":"","names":[]}

package/dist/index.d.ts

@@ -1,10 +1,9 @@
-import { Command } from 'commander';
+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';
 
-declare function createContractEmitCommand(): Command;
-
 interface LoadTsContractOptions {
     readonly allowlist?: ReadonlyArray<string>;
 }
@@ -25,4 +24,4 @@ interface LoadTsContractOptions {
  */
 declare function loadContractFromTs(entryPath: string, options?: LoadTsContractOptions): Promise<ContractIR>;
 
-export { type LoadTsContractOptions, createContractEmitCommand, loadContractFromTs };
+export { type LoadTsContractOptions, loadContractFromTs };