@prisma-next/core-control-plane 0.0.1

package/README.md

@@ -0,0 +1,118 @@
+# @prisma-next/core-control-plane
+
+Control plane domain actions, config types, validation, and error factories for Prisma Next.
+
+## Overview
+
+This package provides the core domain logic for control plane operations (contract emission, database verification) without any file I/O or CLI awareness. It's part of the core layer and can be used programmatically or by the CLI layer.
+
+## Responsibilities
+
+- **Config Types**: Type definitions for Prisma Next configuration (`PrismaNextConfig`, `ControlFamilyDescriptor`, `ControlTargetDescriptor`, `ControlAdapterDescriptor`, `ControlDriverDescriptor`, `ControlExtensionDescriptor`)
+- **Config Validation**: Pure validation logic for config structure (no file I/O)
+- **Config Normalization**: `defineConfig()` function for normalizing config with defaults
+- **Domain Actions**:
+  - `verifyDatabase()`: Verifies database contract markers (accepts config object and ContractIR)
+
+Note: Contract emission is implemented on family instances (e.g., `familyInstance.emitContract()`), not as a core domain action.
+- **Error Factories**: Domain error factories (`CliStructuredError`, config errors, runtime errors)
+- **Pack Manifest Types**: Type definitions for extension pack manifests
+
+## Dependencies
+
+- **Depends on**:
+  - `@prisma-next/contract` - ContractIR types
+  - `@prisma-next/emitter` - TargetFamilyHook, emit function
+  - `@prisma-next/operations` - OperationRegistry
+  - `arktype` - Validation
+
+- **Depended on by**:
+  - `@prisma-next/cli` - CLI layer uses domain actions
+
+## Architecture
+
+```mermaid
+flowchart TD
+    subgraph "Core Layer"
+        CCP[@prisma-next/core-control-plane]
+    end
+
+    subgraph "Tooling Layer"
+        CLI[@prisma-next/cli]
+    end
+
+    CLI -->|uses| CCP
+```
+
+## Usage
+
+### Config Types and Validation
+
+```typescript
+import { defineConfig, validateConfig, type PrismaNextConfig } from '@prisma-next/core-control-plane/config-types';
+import { validateConfig } from '@prisma-next/core-control-plane/config-validation';
+
+// Define and normalize config
+const config = defineConfig({
+  family: sqlFamilyDescriptor,
+  target: postgresTargetDescriptor,
+  adapter: postgresAdapterDescriptor,
+  contract: {
+    source: contractBuilder,
+    output: 'src/prisma/contract.json',
+  },
+});
+
+// Validate config structure (pure validation, no file I/O)
+validateConfig(config);
+```
+
+### Verify Database
+
+```typescript
+import { verifyDatabase } from '@prisma-next/core-control-plane/verify-database';
+
+// Verify database - accepts config object and ContractIR (no file loading)
+const result = await verifyDatabase({
+  config: loadedConfig,
+  contractIR: parsedContract,
+  dbUrl: connectionString,
+  contractPath: 'src/prisma/contract.json',
+  configPath: 'prisma-next.config.ts',
+});
+
+if (result.ok) {
+  console.log('Database matches contract');
+} else {
+  console.error(`Verification failed: ${result.summary}`);
+}
+```
+
+### Error Factories
+
+```typescript
+import {
+  errorConfigFileNotFound,
+  errorMarkerMissing,
+  errorHashMismatch,
+} from '@prisma-next/core-control-plane/errors';
+
+throw errorConfigFileNotFound('prisma-next.config.ts', {
+  why: 'Config file not found in current directory',
+});
+```
+
+## Package Location
+
+This package is part of the **framework domain**, **core layer**, **migration plane**:
+- **Domain**: framework (target-agnostic)
+- **Layer**: core
+- **Plane**: migration (control plane operations)
+- **Path**: `packages/framework/core-control-plane`
+
+## Related Documentation
+
+- [Package Layering](../../../../docs/architecture docs/Package-Layering.md)
+- [ADR 140 - Package Layering & Target-Family Namespacing](../../../../docs/architecture docs/adrs/ADR 140 - Package Layering & Target-Family Namespacing.md)
+
+

package/dist/chunk-DZPZSLCM.js

@@ -0,0 +1,178 @@
+// src/errors.ts
+var CliStructuredError = class extends Error {
+  code;
+  domain;
+  severity;
+  why;
+  fix;
+  where;
+  meta;
+  docsUrl;
+  constructor(code, summary, options) {
+    super(summary);
+    this.name = "CliStructuredError";
+    this.code = code;
+    this.domain = options?.domain ?? "CLI";
+    this.severity = options?.severity ?? "error";
+    this.why = options?.why;
+    this.fix = options?.fix;
+    this.where = options?.where ? {
+      path: options.where.path,
+      line: options.where.line
+    } : void 0;
+    this.meta = options?.meta;
+    this.docsUrl = options?.docsUrl;
+  }
+  /**
+   * Converts this error to a CLI error envelope for output formatting.
+   */
+  toEnvelope() {
+    const codePrefix = this.domain === "CLI" ? "PN-CLI-" : "PN-RTM-";
+    return {
+      code: `${codePrefix}${this.code}`,
+      domain: this.domain,
+      severity: this.severity,
+      summary: this.message,
+      why: this.why,
+      fix: this.fix,
+      where: this.where,
+      meta: this.meta,
+      docsUrl: this.docsUrl
+    };
+  }
+};
+function errorConfigFileNotFound(configPath, options) {
+  return new CliStructuredError("4001", "Config file not found", {
+    domain: "CLI",
+    ...options?.why ? { why: options.why } : { why: "Config file not found" },
+    fix: "Run 'prisma-next init' to create a config file",
+    docsUrl: "https://prisma-next.dev/docs/cli/config",
+    ...configPath ? { where: { path: configPath } } : {}
+  });
+}
+function errorContractConfigMissing(options) {
+  return new CliStructuredError("4002", "Contract configuration missing", {
+    domain: "CLI",
+    why: options?.why ?? "The contract configuration is required for emit",
+    fix: "Add contract configuration to your prisma-next.config.ts",
+    docsUrl: "https://prisma-next.dev/docs/cli/contract-emit"
+  });
+}
+function errorContractValidationFailed(reason, options) {
+  return new CliStructuredError("4003", "Contract validation failed", {
+    domain: "CLI",
+    why: reason,
+    fix: "Check your contract file for errors",
+    docsUrl: "https://prisma-next.dev/docs/contracts",
+    ...options?.where ? { where: options.where } : {}
+  });
+}
+function errorFileNotFound(filePath, options) {
+  return new CliStructuredError("4004", "File not found", {
+    domain: "CLI",
+    why: options?.why ?? `File not found: ${filePath}`,
+    fix: "Check that the file path is correct",
+    where: { path: filePath }
+  });
+}
+function errorDatabaseUrlRequired(options) {
+  return new CliStructuredError("4005", "Database URL is required", {
+    domain: "CLI",
+    why: options?.why ?? "Database URL is required for db verify",
+    fix: "Provide --db flag or config.db.url in prisma-next.config.ts"
+  });
+}
+function errorQueryRunnerFactoryRequired(options) {
+  return new CliStructuredError("4006", "Query runner factory is required", {
+    domain: "CLI",
+    why: options?.why ?? "Config.db.queryRunnerFactory is required for db verify",
+    fix: "Add db.queryRunnerFactory to prisma-next.config.ts",
+    docsUrl: "https://prisma-next.dev/docs/cli/db-verify"
+  });
+}
+function errorFamilyReadMarkerSqlRequired(options) {
+  return new CliStructuredError("4007", "Family readMarker() is required", {
+    domain: "CLI",
+    why: options?.why ?? "Family verify.readMarker is required for db verify",
+    fix: "Ensure family.verify.readMarker() is exported by your family package",
+    docsUrl: "https://prisma-next.dev/docs/cli/db-verify"
+  });
+}
+function errorDriverRequired(options) {
+  return new CliStructuredError("4010", "Driver is required for DB-connected commands", {
+    domain: "CLI",
+    why: options?.why ?? "Config.driver is required for db verify",
+    fix: "Add driver to prisma-next.config.ts",
+    docsUrl: "https://prisma-next.dev/docs/cli/db-verify"
+  });
+}
+function errorConfigValidation(field, options) {
+  return new CliStructuredError("4001", "Config file not found", {
+    domain: "CLI",
+    why: options?.why ?? `Config must have a "${field}" field`,
+    fix: "Run 'prisma-next init' to create a config file",
+    docsUrl: "https://prisma-next.dev/docs/cli/config"
+  });
+}
+function errorMarkerMissing(options) {
+  return new CliStructuredError("3001", "Marker missing", {
+    domain: "RTM",
+    why: options?.why ?? "Contract marker not found in database",
+    fix: "Run `prisma-next db sign --db <url>` to create marker"
+  });
+}
+function errorHashMismatch(options) {
+  return new CliStructuredError("3002", "Hash mismatch", {
+    domain: "RTM",
+    why: options?.why ?? "Contract hash does not match database marker",
+    fix: "Migrate database or re-sign if intentional",
+    ...options?.expected || options?.actual ? {
+      meta: {
+        ...options.expected ? { expected: options.expected } : {},
+        ...options.actual ? { actual: options.actual } : {}
+      }
+    } : {}
+  });
+}
+function errorTargetMismatch(expected, actual, options) {
+  return new CliStructuredError("3003", "Target mismatch", {
+    domain: "RTM",
+    why: options?.why ?? `Contract target does not match config target (expected: ${expected}, actual: ${actual})`,
+    fix: "Align contract target and config target",
+    meta: { expected, actual }
+  });
+}
+function errorRuntime(summary, options) {
+  return new CliStructuredError("3000", summary, {
+    domain: "RTM",
+    ...options?.why ? { why: options.why } : { why: "Verification failed" },
+    ...options?.fix ? { fix: options.fix } : { fix: "Check contract and database state" },
+    ...options?.meta ? { meta: options.meta } : {}
+  });
+}
+function errorUnexpected(message, options) {
+  return new CliStructuredError("4999", "Unexpected error", {
+    domain: "CLI",
+    why: options?.why ?? message,
+    fix: options?.fix ?? "Check the error message and try again"
+  });
+}
+
+export {
+  CliStructuredError,
+  errorConfigFileNotFound,
+  errorContractConfigMissing,
+  errorContractValidationFailed,
+  errorFileNotFound,
+  errorDatabaseUrlRequired,
+  errorQueryRunnerFactoryRequired,
+  errorFamilyReadMarkerSqlRequired,
+  errorDriverRequired,
+  errorConfigValidation,
+  errorMarkerMissing,
+  errorHashMismatch,
+  errorTargetMismatch,
+  errorRuntime,
+  errorUnexpected
+};
+//# sourceMappingURL=chunk-DZPZSLCM.js.map

package/dist/chunk-DZPZSLCM.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/errors.ts"],"sourcesContent":["/**\n * CLI error envelope for output formatting.\n * This is the serialized form of a CliStructuredError.\n */\nexport interface CliErrorEnvelope {\n  readonly code: string;\n  readonly domain: string;\n  readonly severity: 'error' | 'warn' | 'info';\n  readonly summary: string;\n  readonly why: string | undefined;\n  readonly fix: string | undefined;\n  readonly where:\n    | {\n        readonly path: string | undefined;\n        readonly line: number | undefined;\n      }\n    | undefined;\n  readonly meta: Record<string, unknown> | undefined;\n  readonly docsUrl: string | undefined;\n}\n\n/**\n * Structured CLI error that contains all information needed for error envelopes.\n * Call sites throw these errors with full context.\n */\nexport class CliStructuredError extends Error {\n  readonly code: string;\n  readonly domain: 'CLI' | 'RTM';\n  readonly severity: 'error' | 'warn' | 'info';\n  readonly why: string | undefined;\n  readonly fix: string | undefined;\n  readonly where:\n    | {\n        readonly path: string | undefined;\n        readonly line: number | undefined;\n      }\n    | undefined;\n  readonly meta: Record<string, unknown> | undefined;\n  readonly docsUrl: string | undefined;\n\n  constructor(\n    code: string,\n    summary: string,\n    options?: {\n      readonly domain?: 'CLI' | 'RTM';\n      readonly severity?: 'error' | 'warn' | 'info';\n      readonly why?: string;\n      readonly fix?: string;\n      readonly where?: { readonly path?: string; readonly line?: number };\n      readonly meta?: Record<string, unknown>;\n      readonly docsUrl?: string;\n    },\n  ) {\n    super(summary);\n    this.name = 'CliStructuredError';\n    this.code = code;\n    this.domain = options?.domain ?? 'CLI';\n    this.severity = options?.severity ?? 'error';\n    this.why = options?.why;\n    this.fix = options?.fix;\n    this.where = options?.where\n      ? {\n          path: options.where.path,\n          line: options.where.line,\n        }\n      : undefined;\n    this.meta = options?.meta;\n    this.docsUrl = options?.docsUrl;\n  }\n\n  /**\n   * Converts this error to a CLI error envelope for output formatting.\n   */\n  toEnvelope(): CliErrorEnvelope {\n    const codePrefix = this.domain === 'CLI' ? 'PN-CLI-' : 'PN-RTM-';\n    return {\n      code: `${codePrefix}${this.code}`,\n      domain: this.domain,\n      severity: this.severity,\n      summary: this.message,\n      why: this.why,\n      fix: this.fix,\n      where: this.where,\n      meta: this.meta,\n      docsUrl: this.docsUrl,\n    };\n  }\n}\n\n// ============================================================================\n// Config Errors (PN-CLI-4001-4007)\n// ============================================================================\n\n/**\n * Config file not found or missing.\n */\nexport function errorConfigFileNotFound(\n  configPath?: string,\n  options?: {\n    readonly why?: string;\n  },\n): CliStructuredError {\n  return new CliStructuredError('4001', 'Config file not found', {\n    domain: 'CLI',\n    ...(options?.why ? { why: options.why } : { why: 'Config file not found' }),\n    fix: \"Run 'prisma-next init' to create a config file\",\n    docsUrl: 'https://prisma-next.dev/docs/cli/config',\n    ...(configPath ? { where: { path: configPath } } : {}),\n  });\n}\n\n/**\n * Contract configuration missing from config.\n */\nexport function errorContractConfigMissing(options?: {\n  readonly why?: string;\n}): CliStructuredError {\n  return new CliStructuredError('4002', 'Contract configuration missing', {\n    domain: 'CLI',\n    why: options?.why ?? 'The contract configuration is required for emit',\n    fix: 'Add contract configuration to your prisma-next.config.ts',\n    docsUrl: 'https://prisma-next.dev/docs/cli/contract-emit',\n  });\n}\n\n/**\n * Contract validation failed.\n */\nexport function errorContractValidationFailed(\n  reason: string,\n  options?: {\n    readonly where?: { readonly path?: string; readonly line?: number };\n  },\n): CliStructuredError {\n  return new CliStructuredError('4003', 'Contract validation failed', {\n    domain: 'CLI',\n    why: reason,\n    fix: 'Check your contract file for errors',\n    docsUrl: 'https://prisma-next.dev/docs/contracts',\n    ...(options?.where ? { where: options.where } : {}),\n  });\n}\n\n/**\n * File not found.\n */\nexport function errorFileNotFound(\n  filePath: string,\n  options?: {\n    readonly why?: string;\n  },\n): CliStructuredError {\n  return new CliStructuredError('4004', 'File not found', {\n    domain: 'CLI',\n    why: options?.why ?? `File not found: ${filePath}`,\n    fix: 'Check that the file path is correct',\n    where: { path: filePath },\n  });\n}\n\n/**\n * Database URL is required but not provided.\n */\nexport function errorDatabaseUrlRequired(options?: { readonly why?: string }): CliStructuredError {\n  return new CliStructuredError('4005', 'Database URL is required', {\n    domain: 'CLI',\n    why: options?.why ?? 'Database URL is required for db verify',\n    fix: 'Provide --db flag or config.db.url in prisma-next.config.ts',\n  });\n}\n\n/**\n * Query runner factory is required but not provided in config.\n */\nexport function errorQueryRunnerFactoryRequired(options?: {\n  readonly why?: string;\n}): CliStructuredError {\n  return new CliStructuredError('4006', 'Query runner factory is required', {\n    domain: 'CLI',\n    why: options?.why ?? 'Config.db.queryRunnerFactory is required for db verify',\n    fix: 'Add db.queryRunnerFactory to prisma-next.config.ts',\n    docsUrl: 'https://prisma-next.dev/docs/cli/db-verify',\n  });\n}\n\n/**\n * Family verify.readMarker is required but not provided.\n */\nexport function errorFamilyReadMarkerSqlRequired(options?: {\n  readonly why?: string;\n}): CliStructuredError {\n  return new CliStructuredError('4007', 'Family readMarker() is required', {\n    domain: 'CLI',\n    why: options?.why ?? 'Family verify.readMarker is required for db verify',\n    fix: 'Ensure family.verify.readMarker() is exported by your family package',\n    docsUrl: 'https://prisma-next.dev/docs/cli/db-verify',\n  });\n}\n\n/**\n * Driver is required for DB-connected commands but not provided.\n */\nexport function errorDriverRequired(options?: { readonly why?: string }): CliStructuredError {\n  return new CliStructuredError('4010', 'Driver is required for DB-connected commands', {\n    domain: 'CLI',\n    why: options?.why ?? 'Config.driver is required for db verify',\n    fix: 'Add driver to prisma-next.config.ts',\n    docsUrl: 'https://prisma-next.dev/docs/cli/db-verify',\n  });\n}\n\n/**\n * Config validation error (missing required fields).\n */\nexport function errorConfigValidation(\n  field: string,\n  options?: {\n    readonly why?: string;\n  },\n): CliStructuredError {\n  return new CliStructuredError('4001', 'Config file not found', {\n    domain: 'CLI',\n    why: options?.why ?? `Config must have a \"${field}\" field`,\n    fix: \"Run 'prisma-next init' to create a config file\",\n    docsUrl: 'https://prisma-next.dev/docs/cli/config',\n  });\n}\n\n// ============================================================================\n// Runtime Errors (PN-RTM-3000-3003)\n// ============================================================================\n\n/**\n * Contract marker not found in database.\n */\nexport function errorMarkerMissing(options?: {\n  readonly why?: string;\n  readonly dbUrl?: string;\n}): CliStructuredError {\n  return new CliStructuredError('3001', 'Marker missing', {\n    domain: 'RTM',\n    why: options?.why ?? 'Contract marker not found in database',\n    fix: 'Run `prisma-next db sign --db <url>` to create marker',\n  });\n}\n\n/**\n * Contract hash does not match database marker.\n */\nexport function errorHashMismatch(options?: {\n  readonly why?: string;\n  readonly expected?: string;\n  readonly actual?: string;\n}): CliStructuredError {\n  return new CliStructuredError('3002', 'Hash mismatch', {\n    domain: 'RTM',\n    why: options?.why ?? 'Contract hash does not match database marker',\n    fix: 'Migrate database or re-sign if intentional',\n    ...(options?.expected || options?.actual\n      ? {\n          meta: {\n            ...(options.expected ? { expected: options.expected } : {}),\n            ...(options.actual ? { actual: options.actual } : {}),\n          },\n        }\n      : {}),\n  });\n}\n\n/**\n * Contract target does not match config target.\n */\nexport function errorTargetMismatch(\n  expected: string,\n  actual: string,\n  options?: {\n    readonly why?: string;\n  },\n): CliStructuredError {\n  return new CliStructuredError('3003', 'Target mismatch', {\n    domain: 'RTM',\n    why:\n      options?.why ??\n      `Contract target does not match config target (expected: ${expected}, actual: ${actual})`,\n    fix: 'Align contract target and config target',\n    meta: { expected, actual },\n  });\n}\n\n/**\n * Generic runtime error.\n */\nexport function errorRuntime(\n  summary: string,\n  options?: {\n    readonly why?: string;\n    readonly fix?: string;\n    readonly meta?: Record<string, unknown>;\n  },\n): CliStructuredError {\n  return new CliStructuredError('3000', summary, {\n    domain: 'RTM',\n    ...(options?.why ? { why: options.why } : { why: 'Verification failed' }),\n    ...(options?.fix ? { fix: options.fix } : { fix: 'Check contract and database state' }),\n    ...(options?.meta ? { meta: options.meta } : {}),\n  });\n}\n\n// ============================================================================\n// Generic Error\n// ============================================================================\n\n/**\n * Generic unexpected error.\n */\nexport function errorUnexpected(\n  message: string,\n  options?: {\n    readonly why?: string;\n    readonly fix?: string;\n  },\n): CliStructuredError {\n  return new CliStructuredError('4999', 'Unexpected error', {\n    domain: 'CLI',\n    why: options?.why ?? message,\n    fix: options?.fix ?? 'Check the error message and try again',\n  });\n}\n"],"mappings":";AAyBO,IAAM,qBAAN,cAAiC,MAAM;AAAA,EACnC;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EAMA;AAAA,EACA;AAAA,EAET,YACE,MACA,SACA,SASA;AACA,UAAM,OAAO;AACb,SAAK,OAAO;AACZ,SAAK,OAAO;AACZ,SAAK,SAAS,SAAS,UAAU;AACjC,SAAK,WAAW,SAAS,YAAY;AACrC,SAAK,MAAM,SAAS;AACpB,SAAK,MAAM,SAAS;AACpB,SAAK,QAAQ,SAAS,QAClB;AAAA,MACE,MAAM,QAAQ,MAAM;AAAA,MACpB,MAAM,QAAQ,MAAM;AAAA,IACtB,IACA;AACJ,SAAK,OAAO,SAAS;AACrB,SAAK,UAAU,SAAS;AAAA,EAC1B;AAAA;AAAA;AAAA;AAAA,EAKA,aAA+B;AAC7B,UAAM,aAAa,KAAK,WAAW,QAAQ,YAAY;AACvD,WAAO;AAAA,MACL,MAAM,GAAG,UAAU,GAAG,KAAK,IAAI;AAAA,MAC/B,QAAQ,KAAK;AAAA,MACb,UAAU,KAAK;AAAA,MACf,SAAS,KAAK;AAAA,MACd,KAAK,KAAK;AAAA,MACV,KAAK,KAAK;AAAA,MACV,OAAO,KAAK;AAAA,MACZ,MAAM,KAAK;AAAA,MACX,SAAS,KAAK;AAAA,IAChB;AAAA,EACF;AACF;AASO,SAAS,wBACd,YACA,SAGoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,yBAAyB;AAAA,IAC7D,QAAQ;AAAA,IACR,GAAI,SAAS,MAAM,EAAE,KAAK,QAAQ,IAAI,IAAI,EAAE,KAAK,wBAAwB;AAAA,IACzE,KAAK;AAAA,IACL,SAAS;AAAA,IACT,GAAI,aAAa,EAAE,OAAO,EAAE,MAAM,WAAW,EAAE,IAAI,CAAC;AAAA,EACtD,CAAC;AACH;AAKO,SAAS,2BAA2B,SAEpB;AACrB,SAAO,IAAI,mBAAmB,QAAQ,kCAAkC;AAAA,IACtE,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,IACL,SAAS;AAAA,EACX,CAAC;AACH;AAKO,SAAS,8BACd,QACA,SAGoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,8BAA8B;AAAA,IAClE,QAAQ;AAAA,IACR,KAAK;AAAA,IACL,KAAK;AAAA,IACL,SAAS;AAAA,IACT,GAAI,SAAS,QAAQ,EAAE,OAAO,QAAQ,MAAM,IAAI,CAAC;AAAA,EACnD,CAAC;AACH;AAKO,SAAS,kBACd,UACA,SAGoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,kBAAkB;AAAA,IACtD,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO,mBAAmB,QAAQ;AAAA,IAChD,KAAK;AAAA,IACL,OAAO,EAAE,MAAM,SAAS;AAAA,EAC1B,CAAC;AACH;AAKO,SAAS,yBAAyB,SAAyD;AAChG,SAAO,IAAI,mBAAmB,QAAQ,4BAA4B;AAAA,IAChE,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,EACP,CAAC;AACH;AAKO,SAAS,gCAAgC,SAEzB;AACrB,SAAO,IAAI,mBAAmB,QAAQ,oCAAoC;AAAA,IACxE,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,IACL,SAAS;AAAA,EACX,CAAC;AACH;AAKO,SAAS,iCAAiC,SAE1B;AACrB,SAAO,IAAI,mBAAmB,QAAQ,mCAAmC;AAAA,IACvE,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,IACL,SAAS;AAAA,EACX,CAAC;AACH;AAKO,SAAS,oBAAoB,SAAyD;AAC3F,SAAO,IAAI,mBAAmB,QAAQ,gDAAgD;AAAA,IACpF,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,IACL,SAAS;AAAA,EACX,CAAC;AACH;AAKO,SAAS,sBACd,OACA,SAGoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,yBAAyB;AAAA,IAC7D,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO,uBAAuB,KAAK;AAAA,IACjD,KAAK;AAAA,IACL,SAAS;AAAA,EACX,CAAC;AACH;AASO,SAAS,mBAAmB,SAGZ;AACrB,SAAO,IAAI,mBAAmB,QAAQ,kBAAkB;AAAA,IACtD,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,EACP,CAAC;AACH;AAKO,SAAS,kBAAkB,SAIX;AACrB,SAAO,IAAI,mBAAmB,QAAQ,iBAAiB;AAAA,IACrD,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK;AAAA,IACL,GAAI,SAAS,YAAY,SAAS,SAC9B;AAAA,MACE,MAAM;AAAA,QACJ,GAAI,QAAQ,WAAW,EAAE,UAAU,QAAQ,SAAS,IAAI,CAAC;AAAA,QACzD,GAAI,QAAQ,SAAS,EAAE,QAAQ,QAAQ,OAAO,IAAI,CAAC;AAAA,MACrD;AAAA,IACF,IACA,CAAC;AAAA,EACP,CAAC;AACH;AAKO,SAAS,oBACd,UACA,QACA,SAGoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,mBAAmB;AAAA,IACvD,QAAQ;AAAA,IACR,KACE,SAAS,OACT,2DAA2D,QAAQ,aAAa,MAAM;AAAA,IACxF,KAAK;AAAA,IACL,MAAM,EAAE,UAAU,OAAO;AAAA,EAC3B,CAAC;AACH;AAKO,SAAS,aACd,SACA,SAKoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,SAAS;AAAA,IAC7C,QAAQ;AAAA,IACR,GAAI,SAAS,MAAM,EAAE,KAAK,QAAQ,IAAI,IAAI,EAAE,KAAK,sBAAsB;AAAA,IACvE,GAAI,SAAS,MAAM,EAAE,KAAK,QAAQ,IAAI,IAAI,EAAE,KAAK,oCAAoC;AAAA,IACrF,GAAI,SAAS,OAAO,EAAE,MAAM,QAAQ,KAAK,IAAI,CAAC;AAAA,EAChD,CAAC;AACH;AASO,SAAS,gBACd,SACA,SAIoB;AACpB,SAAO,IAAI,mBAAmB,QAAQ,oBAAoB;AAAA,IACxD,QAAQ;AAAA,IACR,KAAK,SAAS,OAAO;AAAA,IACrB,KAAK,SAAS,OAAO;AAAA,EACvB,CAAC;AACH;","names":[]}

package/dist/exports/config-types.d.ts

@@ -0,0 +1,69 @@
+import { ControlFamilyDescriptor, ControlTargetDescriptor, ControlAdapterDescriptor, ControlExtensionDescriptor, ControlDriverDescriptor } from './types.js';
+import '@prisma-next/contract/ir';
+import '@prisma-next/contract/pack-manifest-types';
+import '@prisma-next/contract/types';
+import './schema-view.js';
+
+/**
+ * Contract configuration specifying source and artifact locations.
+ */
+interface ContractConfig {
+    /**
+     * Contract source. Can be a value or a function that returns a value (sync or async).
+     * If a function, it will be called to resolve the contract.
+     */
+    readonly source: unknown | (() => unknown | Promise<unknown>);
+    /**
+     * Path to contract.json artifact. Defaults to 'src/prisma/contract.json'.
+     * This is the canonical location where other CLI commands can find the contract JSON.
+     */
+    readonly output?: string;
+    /**
+     * Path to contract.d.ts artifact. Defaults to output with .d.ts extension.
+     * If output ends with .json, replaces .json with .d.ts.
+     * Otherwise, appends .d.ts to the directory containing output.
+     */
+    readonly types?: string;
+}
+/**
+ * Configuration for Prisma Next CLI.
+ * Uses Control*Descriptor types for type-safe wiring with compile-time compatibility checks.
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ */
+interface PrismaNextConfig<TFamilyId extends string = string, TTargetId extends string = string> {
+    readonly family: ControlFamilyDescriptor<TFamilyId>;
+    readonly target: ControlTargetDescriptor<TFamilyId, TTargetId>;
+    readonly adapter: ControlAdapterDescriptor<TFamilyId, TTargetId>;
+    readonly extensions?: readonly ControlExtensionDescriptor<TFamilyId, TTargetId>[];
+    /**
+     * Driver descriptor for DB-connected CLI commands.
+     * Required for DB-connected commands (e.g., db verify).
+     * Optional for commands that don't need database access (e.g., emit).
+     */
+    readonly driver?: ControlDriverDescriptor<TFamilyId, TTargetId>;
+    readonly db?: {
+        readonly url?: string;
+    };
+    /**
+     * Contract configuration. Specifies source and artifact locations.
+     * Required for emit command; optional for other commands that only read artifacts.
+     */
+    readonly contract?: ContractConfig;
+}
+/**
+ * Helper function to define a Prisma Next config.
+ * Validates and normalizes the config using Arktype, then returns the normalized IR.
+ *
+ * Normalization:
+ * - contract.output defaults to 'src/prisma/contract.json' if missing
+ * - contract.types defaults to output with .d.ts extension if missing
+ *
+ * @param config - Raw config input from user
+ * @returns Normalized config IR with defaults applied
+ * @throws Error if config structure is invalid
+ */
+declare function defineConfig<TFamilyId extends string = string, TTargetId extends string = string>(config: PrismaNextConfig<TFamilyId, TTargetId>): PrismaNextConfig<TFamilyId, TTargetId>;
+
+export { type ContractConfig, type PrismaNextConfig, defineConfig };

package/dist/exports/config-types.js

@@ -0,0 +1,53 @@
+// src/config-types.ts
+import { dirname, join } from "path";
+import { type } from "arktype";
+var ContractConfigSchema = type({
+  source: "unknown",
+  // Can be value or function - runtime check needed
+  "output?": "string",
+  "types?": "string"
+});
+var PrismaNextConfigSchema = type({
+  family: "unknown",
+  // ControlFamilyDescriptor - validated separately
+  target: "unknown",
+  // ControlTargetDescriptor - validated separately
+  adapter: "unknown",
+  // ControlAdapterDescriptor - validated separately
+  "extensions?": "unknown[]",
+  "driver?": "unknown",
+  // ControlDriverDescriptor - validated separately (optional)
+  "db?": "unknown",
+  "contract?": ContractConfigSchema
+});
+function defineConfig(config) {
+  const validated = PrismaNextConfigSchema(config);
+  if (validated instanceof type.errors) {
+    const messages = validated.map((p) => p.message).join("; ");
+    throw new Error(`Config validation failed: ${messages}`);
+  }
+  if (config.contract) {
+    const source = config.contract.source;
+    if (source !== null && typeof source !== "object" && typeof source !== "function" && typeof source !== "string" && typeof source !== "number" && typeof source !== "boolean") {
+      throw new Error(
+        "Config.contract.source must be a value (object, string, number, boolean, null) or a function"
+      );
+    }
+    const output = config.contract.output ?? "src/prisma/contract.json";
+    const types = config.contract.types ?? (output.endsWith(".json") ? `${output.slice(0, -5)}.d.ts` : join(dirname(output), "contract.d.ts"));
+    const normalizedContract = {
+      source: config.contract.source,
+      output,
+      types
+    };
+    return {
+      ...config,
+      contract: normalizedContract
+    };
+  }
+  return config;
+}
+export {
+  defineConfig
+};
+//# sourceMappingURL=config-types.js.map

package/dist/exports/config-types.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../src/config-types.ts"],"sourcesContent":["import { dirname, join } from 'node:path';\nimport { type } from 'arktype';\nimport type {\n  ControlAdapterDescriptor,\n  ControlDriverDescriptor,\n  ControlDriverInstance,\n  ControlExtensionDescriptor,\n  ControlFamilyDescriptor,\n  ControlTargetDescriptor,\n} from './types';\n\n/**\n * Type alias for CLI driver instances.\n */\nexport type CliDriver = ControlDriverInstance;\n\n/**\n * Contract configuration specifying source and artifact locations.\n */\nexport interface ContractConfig {\n  /**\n   * Contract source. Can be a value or a function that returns a value (sync or async).\n   * If a function, it will be called to resolve the contract.\n   */\n  readonly source: unknown | (() => unknown | Promise<unknown>);\n  /**\n   * Path to contract.json artifact. Defaults to 'src/prisma/contract.json'.\n   * This is the canonical location where other CLI commands can find the contract JSON.\n   */\n  readonly output?: string;\n  /**\n   * Path to contract.d.ts artifact. Defaults to output with .d.ts extension.\n   * If output ends with .json, replaces .json with .d.ts.\n   * Otherwise, appends .d.ts to the directory containing output.\n   */\n  readonly types?: string;\n}\n\n/**\n * Configuration for Prisma Next CLI.\n * Uses Control*Descriptor types for type-safe wiring with compile-time compatibility checks.\n *\n * @template TFamilyId - The family ID (e.g., 'sql', 'document')\n * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')\n */\nexport interface PrismaNextConfig<\n  TFamilyId extends string = string,\n  TTargetId extends string = string,\n> {\n  readonly family: ControlFamilyDescriptor<TFamilyId>;\n  readonly target: ControlTargetDescriptor<TFamilyId, TTargetId>;\n  readonly adapter: ControlAdapterDescriptor<TFamilyId, TTargetId>;\n  readonly extensions?: readonly ControlExtensionDescriptor<TFamilyId, TTargetId>[];\n  /**\n   * Driver descriptor for DB-connected CLI commands.\n   * Required for DB-connected commands (e.g., db verify).\n   * Optional for commands that don't need database access (e.g., emit).\n   */\n  readonly driver?: ControlDriverDescriptor<TFamilyId, TTargetId>;\n  readonly db?: {\n    readonly url?: string;\n  };\n  /**\n   * Contract configuration. Specifies source and artifact locations.\n   * Required for emit command; optional for other commands that only read artifacts.\n   */\n  readonly contract?: ContractConfig;\n}\n\n/**\n * Arktype schema for ContractConfig validation.\n * Validates that source is present and output/types are strings when provided.\n */\nconst ContractConfigSchema = type({\n  source: 'unknown', // Can be value or function - runtime check needed\n  'output?': 'string',\n  'types?': 'string',\n});\n\n/**\n * Arktype schema for PrismaNextConfig validation.\n * Note: This validates structure only. Descriptor objects (family, target, adapter) are validated separately.\n */\nconst PrismaNextConfigSchema = type({\n  family: 'unknown', // ControlFamilyDescriptor - validated separately\n  target: 'unknown', // ControlTargetDescriptor - validated separately\n  adapter: 'unknown', // ControlAdapterDescriptor - validated separately\n  'extensions?': 'unknown[]',\n  'driver?': 'unknown', // ControlDriverDescriptor - validated separately (optional)\n  'db?': 'unknown',\n  'contract?': ContractConfigSchema,\n});\n\n/**\n * Helper function to define a Prisma Next config.\n * Validates and normalizes the config using Arktype, then returns the normalized IR.\n *\n * Normalization:\n * - contract.output defaults to 'src/prisma/contract.json' if missing\n * - contract.types defaults to output with .d.ts extension if missing\n *\n * @param config - Raw config input from user\n * @returns Normalized config IR with defaults applied\n * @throws Error if config structure is invalid\n */\nexport function defineConfig<TFamilyId extends string = string, TTargetId extends string = string>(\n  config: PrismaNextConfig<TFamilyId, TTargetId>,\n): PrismaNextConfig<TFamilyId, TTargetId> {\n  // Validate structure using Arktype\n  const validated = PrismaNextConfigSchema(config);\n  if (validated instanceof type.errors) {\n    const messages = validated.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Config validation failed: ${messages}`);\n  }\n\n  // Normalize contract config if present\n  if (config.contract) {\n    // Validate contract.source is a value or function (runtime check)\n    const source = config.contract.source;\n    if (\n      source !== null &&\n      typeof source !== 'object' &&\n      typeof source !== 'function' &&\n      typeof source !== 'string' &&\n      typeof source !== 'number' &&\n      typeof source !== 'boolean'\n    ) {\n      throw new Error(\n        'Config.contract.source must be a value (object, string, number, boolean, null) or a function',\n      );\n    }\n\n    // Apply defaults\n    const output = config.contract.output ?? 'src/prisma/contract.json';\n    const types =\n      config.contract.types ??\n      (output.endsWith('.json')\n        ? `${output.slice(0, -5)}.d.ts`\n        : join(dirname(output), 'contract.d.ts'));\n\n    const normalizedContract: ContractConfig = {\n      source: config.contract.source,\n      output,\n      types,\n    };\n\n    // Return normalized config\n    return {\n      ...config,\n      contract: normalizedContract,\n    };\n  }\n\n  // Return config as-is if no contract (preserve literal types)\n  return config;\n}\n"],"mappings":";AAAA,SAAS,SAAS,YAAY;AAC9B,SAAS,YAAY;AAwErB,IAAM,uBAAuB,KAAK;AAAA,EAChC,QAAQ;AAAA;AAAA,EACR,WAAW;AAAA,EACX,UAAU;AACZ,CAAC;AAMD,IAAM,yBAAyB,KAAK;AAAA,EAClC,QAAQ;AAAA;AAAA,EACR,QAAQ;AAAA;AAAA,EACR,SAAS;AAAA;AAAA,EACT,eAAe;AAAA,EACf,WAAW;AAAA;AAAA,EACX,OAAO;AAAA,EACP,aAAa;AACf,CAAC;AAcM,SAAS,aACd,QACwC;AAExC,QAAM,YAAY,uBAAuB,MAAM;AAC/C,MAAI,qBAAqB,KAAK,QAAQ;AACpC,UAAM,WAAW,UAAU,IAAI,CAAC,MAA2B,EAAE,OAAO,EAAE,KAAK,IAAI;AAC/E,UAAM,IAAI,MAAM,6BAA6B,QAAQ,EAAE;AAAA,EACzD;AAGA,MAAI,OAAO,UAAU;AAEnB,UAAM,SAAS,OAAO,SAAS;AAC/B,QACE,WAAW,QACX,OAAO,WAAW,YAClB,OAAO,WAAW,cAClB,OAAO,WAAW,YAClB,OAAO,WAAW,YAClB,OAAO,WAAW,WAClB;AACA,YAAM,IAAI;AAAA,QACR;AAAA,MACF;AAAA,IACF;AAGA,UAAM,SAAS,OAAO,SAAS,UAAU;AACzC,UAAM,QACJ,OAAO,SAAS,UACf,OAAO,SAAS,OAAO,IACpB,GAAG,OAAO,MAAM,GAAG,EAAE,CAAC,UACtB,KAAK,QAAQ,MAAM,GAAG,eAAe;AAE3C,UAAM,qBAAqC;AAAA,MACzC,QAAQ,OAAO,SAAS;AAAA,MACxB;AAAA,MACA;AAAA,IACF;AAGA,WAAO;AAAA,MACL,GAAG;AAAA,MACH,UAAU;AAAA,IACZ;AAAA,EACF;AAGA,SAAO;AACT;","names":[]}

package/dist/exports/config-validation.d.ts

@@ -0,0 +1,17 @@
+import { PrismaNextConfig } from './config-types.js';
+import './types.js';
+import '@prisma-next/contract/ir';
+import '@prisma-next/contract/pack-manifest-types';
+import '@prisma-next/contract/types';
+import './schema-view.js';
+
+/**
+ * Validates that the config has the required structure.
+ * This is pure validation logic with no file I/O or CLI awareness.
+ *
+ * @param config - Config object to validate
+ * @throws CliStructuredError if config structure is invalid
+ */
+declare function validateConfig(config: unknown): asserts config is PrismaNextConfig;
+
+export { validateConfig };