@prisma-next/core-control-plane 0.3.0-dev.4 → 0.3.0-dev.6

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,iBAAiB,EACjB,eAAe,EACf,gBAAgB,EAChB,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,gBAAgB,EAChB,cAAc,EACd,8BAA8B,EAC9B,gBAAgB,EAChB,cAAc,EACf,MAAM,4CAA4C,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC1F,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAGpD,YAAY,EACV,uBAAuB,EACvB,wBAAwB,EACxB,aAAa,EACb,gBAAgB,EAChB,wBAAwB,EACxB,6BAA6B,EAC7B,sBAAsB,EACtB,6BAA6B,EAC7B,sBAAsB,EACtB,eAAe,EACf,8BAA8B,EAC9B,sBAAsB,EACtB,qBAAqB,EACrB,2BAA2B,EAC3B,0BAA0B,GAC3B,MAAM,cAAc,CAAC;AAMtB;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB,CAAC,SAAS,SAAS,MAAM,EAAE,SAAS,GAAG,OAAO,CAClF,SAAQ,cAAc,CAAC,SAAS,CAAC;IACjC;;;;;;;OAOG;IACH,kBAAkB,CAAC,YAAY,EAAE,OAAO,GAAG,UAAU,CAAC;IAEtD;;;;;;;OAOG;IACH,MAAM,CAAC,OAAO,EAAE;QACd,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC1D,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;QAC7B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;QAClC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;KAC9B,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAElC;;;OAGG;IACH,YAAY,CAAC,OAAO,EAAE;QACpB,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC1D,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;QAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;QACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAC7B;;;WAGG;QACH,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,8BAA8B,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;KAChG,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAAC;IAExC;;;;OAIG;IACH,IAAI,CAAC,OAAO,EAAE;QACZ,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC1D,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;QAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;QAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;KAC9B,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAEhC;;;OAGG;IACH,UAAU,CAAC,OAAO,EAAE;QAClB,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;KAC3D,GAAG,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CAAC;IAEzC;;;;;;;;;;;;;;;OAeG;IACH,UAAU,CAAC,OAAO,EAAE;QAClB,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC1D,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;KAC/B,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IAEvB;;;;OAIG;IACH,YAAY,CAAC,CAAC,MAAM,EAAE,SAAS,GAAG,cAAc,CAAC;IAEjD;;;;OAIG;IACH,YAAY,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC,kBAAkB,CAAC,CAAC;CACnG;AAED;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB,CAAC,SAAS,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM,CACvF,SAAQ,cAAc,CAAC,SAAS,EAAE,SAAS,CAAC;CAAG;AAEjD;;;;;;;GAOG;AACH,MAAM,WAAW,sBAAsB,CAAC,SAAS,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM,CACxF,SAAQ,eAAe,CAAC,SAAS,EAAE,SAAS,CAAC;CAAG;AAElD;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB,CAAC,SAAS,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM,CACvF,SAAQ,cAAc,CAAC,SAAS,EAAE,SAAS,CAAC;IAC5C,KAAK,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACjC,GAAG,EAAE,MAAM,EACX,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,GAC1B,OAAO,CAAC;QAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,CAAA;KAAE,CAAC,CAAC;IACrC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACxB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,wBAAwB,CAAC,SAAS,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM,CAC1F,SAAQ,iBAAiB,CAAC,SAAS,EAAE,SAAS,CAAC;CAAG;AAEpD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,gBAAgB;IAC/B;;;OAGG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAE/B;;;OAGG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAE7B;;;OAGG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACnD;AAMD;;;;;;GAMG;AACH,MAAM,WAAW,uBAAuB,CACtC,SAAS,SAAS,MAAM,EACxB,eAAe,SAAS,qBAAqB,CAAC,SAAS,CAAC,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAC3F,SAAQ,gBAAgB,CAAC,SAAS,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,MAAM,CAAC,SAAS,SAAS,MAAM,EAAE,OAAO,EAAE;QACxC,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAC/D,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QACjE,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAC/D,QAAQ,CAAC,cAAc,EAAE,SAAS,0BAA0B,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC;KACtF,GAAG,eAAe,CAAC;CACrB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,uBAAuB,CACtC,SAAS,SAAS,MAAM,EACxB,SAAS,SAAS,MAAM,EACxB,eAAe,SAAS,qBAAqB,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,qBAAqB,CACzF,SAAS,EACT,SAAS,CACV,EACD,eAAe,SAAS,qBAAqB,CAAC,SAAS,CAAC,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAC3F,SAAQ,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9C;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,0BAA0B,CAAC,SAAS,EAAE,SAAS,EAAE,eAAe,CAAC,CAAC;IACxF,MAAM,IAAI,eAAe,CAAC;CAC3B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,wBAAwB,CACvC,SAAS,SAAS,MAAM,EACxB,SAAS,SAAS,MAAM,EACxB,gBAAgB,SAAS,sBAAsB,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,sBAAsB,CAC5F,SAAS,EACT,SAAS,CACV,CACD,SAAQ,iBAAiB,CAAC,SAAS,EAAE,SAAS,CAAC;IAC/C,MAAM,IAAI,gBAAgB,CAAC;CAC5B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,uBAAuB,CACtC,SAAS,SAAS,MAAM,EACxB,SAAS,SAAS,MAAM,EACxB,eAAe,SAAS,qBAAqB,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,qBAAqB,CACzF,SAAS,EACT,SAAS,CACV,CACD,SAAQ,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9C,MAAM,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;CAC/C;AAED;;;;;;GAMG;AACH,MAAM,WAAW,0BAA0B,CACzC,SAAS,SAAS,MAAM,EACxB,SAAS,SAAS,MAAM,EACxB,kBAAkB,SAAS,wBAAwB,CACjD,SAAS,EACT,SAAS,CACV,GAAG,wBAAwB,CAAC,SAAS,EAAE,SAAS,CAAC,CAClD,SAAQ,mBAAmB,CAAC,SAAS,EAAE,SAAS,CAAC;IACjD,MAAM,IAAI,kBAAkB,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;KAC/B,CAAC;IACF,QAAQ,CAAC,MAAM,CAAC,EAAE;QAChB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;KAC/B,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;KAC1B,CAAC;IACF,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,oBAAoB,CAAC,EAAE,OAAO,CAAC;IACxC,QAAQ,CAAC,IAAI,CAAC,EAAE;QACd,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;KAC/B,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EACT,eAAe,GACf,gBAAgB,GAChB,aAAa,GACb,cAAc,GACd,mBAAmB,GACnB,mBAAmB,GACnB,yBAAyB,GACzB,aAAa,GACb,eAAe,GACf,sBAAsB,GACtB,sBAAsB,GACtB,sBAAsB,GACtB,4BAA4B,GAC5B,gBAAgB,GAChB,mBAAmB,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACtD;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;KAC/B,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;KAC1B,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;QACxC,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;QACtC,QAAQ,CAAC,MAAM,EAAE;YACf,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;YACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;YACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;YACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;SAC7B,CAAC;KACH,CAAC;IACF,QAAQ,CAAC,IAAI,CAAC,EAAE;QACd,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;KAC1B,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;GAKG;AACH,MAAM,WAAW,sBAAsB,CAAC,SAAS;IAC/C,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;KACrB,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE;QACd,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;KACzB,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,CAAC;CACH;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;KAC/B,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;KAC1B,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;QAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;QAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE;YAClB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;YAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;SAC/B,CAAC;KACH,CAAC;IACF,QAAQ,CAAC,IAAI,CAAC,EAAE;QACd,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;KAC/B,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,CAAC;CACH"}

package/package.json

@@ -1,15 +1,15 @@
 {
   "name": "@prisma-next/core-control-plane",
-  "version": "0.3.0-dev.4",
+  "version": "0.3.0-dev.6",
   "type": "module",
   "sideEffects": false,
   "description": "Control plane domain actions, config types, validation, and error factories for Prisma Next",
   "dependencies": {
     "arktype": "^2.1.26",
     "prettier": "^3.3.3",
-    "@prisma-next/contract": "0.3.0-dev.4",
-    "@prisma-next/utils": "0.3.0-dev.4",
-    "@prisma-next/operations": "0.3.0-dev.4"
+    "@prisma-next/contract": "0.3.0-dev.6",
+    "@prisma-next/operations": "0.3.0-dev.6",
+    "@prisma-next/utils": "0.3.0-dev.6"
   },
   "devDependencies": {
     "@vitest/coverage-v8": "4.0.16",
@@ -19,7 +19,8 @@
     "@prisma-next/test-utils": "0.0.1"
   },
   "files": [
-    "dist"
+    "dist",
+    "src"
   ],
   "exports": {
     "./config-types": {
@@ -48,7 +49,7 @@
     }
   },
   "scripts": {
-    "build": "tsup --config tsup.config.ts",
+    "build": "tsup --config tsup.config.ts && tsc --project tsconfig.build.json",
     "test": "vitest run --passWithNoTests",
     "test:coverage": "vitest run --coverage --passWithNoTests",
     "typecheck": "tsc --project tsconfig.json --noEmit",

package/src/config-types.ts

@@ -0,0 +1,157 @@
+import { dirname, join } from 'node:path';
+import { type } from 'arktype';
+import type {
+  ControlAdapterDescriptor,
+  ControlDriverDescriptor,
+  ControlDriverInstance,
+  ControlExtensionDescriptor,
+  ControlFamilyDescriptor,
+  ControlTargetDescriptor,
+} from './types';
+
+/**
+ * Type alias for CLI driver instances.
+ * Uses string for both family and target IDs for maximum flexibility.
+ */
+export type CliDriver = ControlDriverInstance<string, string>;
+
+/**
+ * Contract configuration specifying source and artifact locations.
+ */
+export 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')
+ */
+export 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 extensionPacks?: 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;
+}
+
+/**
+ * Arktype schema for ContractConfig validation.
+ * Validates that source is present and output/types are strings when provided.
+ */
+const ContractConfigSchema = type({
+  source: 'unknown', // Can be value or function - runtime check needed
+  'output?': 'string',
+  'types?': 'string',
+});
+
+/**
+ * Arktype schema for PrismaNextConfig validation.
+ * Note: This validates structure only. Descriptor objects (family, target, adapter) are validated separately.
+ */
+const PrismaNextConfigSchema = type({
+  family: 'unknown', // ControlFamilyDescriptor - validated separately
+  target: 'unknown', // ControlTargetDescriptor - validated separately
+  adapter: 'unknown', // ControlAdapterDescriptor - validated separately
+  'extensionPacks?': 'unknown[]',
+  'driver?': 'unknown', // ControlDriverDescriptor - validated separately (optional)
+  'db?': 'unknown',
+  'contract?': ContractConfigSchema,
+});
+
+/**
+ * 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
+ */
+export function defineConfig<TFamilyId extends string = string, TTargetId extends string = string>(
+  config: PrismaNextConfig<TFamilyId, TTargetId>,
+): PrismaNextConfig<TFamilyId, TTargetId> {
+  // Validate structure using Arktype
+  const validated = PrismaNextConfigSchema(config);
+  if (validated instanceof type.errors) {
+    const messages = validated.map((p: { message: string }) => p.message).join('; ');
+    throw new Error(`Config validation failed: ${messages}`);
+  }
+
+  // Normalize contract config if present
+  if (config.contract) {
+    // Validate contract.source is a value or function (runtime check)
+    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',
+      );
+    }
+
+    // Apply defaults
+    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: ContractConfig = {
+      source: config.contract.source,
+      output,
+      types,
+    };
+
+    // Return normalized config
+    return {
+      ...config,
+      contract: normalizedContract,
+    };
+  }
+
+  // Return config as-is if no contract (preserve literal types)
+  return config;
+}

package/src/config-validation.ts

@@ -0,0 +1,270 @@
+import type { PrismaNextConfig } from './config-types';
+import { errorConfigValidation } from './errors';
+
+/**
+ * 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
+ */
+export function validateConfig(config: unknown): asserts config is PrismaNextConfig {
+  if (!config || typeof config !== 'object') {
+    throw errorConfigValidation('object', {
+      why: 'Config must be an object',
+    });
+  }
+
+  const configObj = config as Record<string, unknown>;
+
+  if (!configObj['family']) {
+    throw errorConfigValidation('family');
+  }
+
+  if (!configObj['target']) {
+    throw errorConfigValidation('target');
+  }
+
+  if (!configObj['adapter']) {
+    throw errorConfigValidation('adapter');
+  }
+
+  // Validate family descriptor
+  const family = configObj['family'] as Record<string, unknown>;
+  if (family['kind'] !== 'family') {
+    throw errorConfigValidation('family.kind', {
+      why: 'Config.family must have kind: "family"',
+    });
+  }
+  if (typeof family['familyId'] !== 'string') {
+    throw errorConfigValidation('family.familyId', {
+      why: 'Config.family must have familyId: string',
+    });
+  }
+  if (typeof family['version'] !== 'string') {
+    throw errorConfigValidation('family.version', {
+      why: 'Config.family must have version: string',
+    });
+  }
+  if (!family['hook'] || typeof family['hook'] !== 'object') {
+    throw errorConfigValidation('family.hook', {
+      why: 'Config.family must have hook: TargetFamilyHook',
+    });
+  }
+  if (typeof family['create'] !== 'function') {
+    throw errorConfigValidation('family.create', {
+      why: 'Config.family must have create: function',
+    });
+  }
+
+  const familyId = family['familyId'] as string;
+
+  // Validate target descriptor
+  const target = configObj['target'] as Record<string, unknown>;
+  if (target['kind'] !== 'target') {
+    throw errorConfigValidation('target.kind', {
+      why: 'Config.target must have kind: "target"',
+    });
+  }
+  if (typeof target['id'] !== 'string') {
+    throw errorConfigValidation('target.id', {
+      why: 'Config.target must have id: string',
+    });
+  }
+  if (typeof target['familyId'] !== 'string') {
+    throw errorConfigValidation('target.familyId', {
+      why: 'Config.target must have familyId: string',
+    });
+  }
+  if (typeof target['version'] !== 'string') {
+    throw errorConfigValidation('target.version', {
+      why: 'Config.target must have version: string',
+    });
+  }
+  if (target['familyId'] !== familyId) {
+    throw errorConfigValidation('target.familyId', {
+      why: `Config.target.familyId must match Config.family.familyId (expected: ${familyId}, got: ${target['familyId']})`,
+    });
+  }
+  if (typeof target['targetId'] !== 'string') {
+    throw errorConfigValidation('target.targetId', {
+      why: 'Config.target must have targetId: string',
+    });
+  }
+  if (typeof target['create'] !== 'function') {
+    throw errorConfigValidation('target.create', {
+      why: 'Config.target must have create: function',
+    });
+  }
+  const expectedTargetId = target['targetId'] as string;
+
+  // Validate adapter descriptor
+  const adapter = configObj['adapter'] as Record<string, unknown>;
+  if (adapter['kind'] !== 'adapter') {
+    throw errorConfigValidation('adapter.kind', {
+      why: 'Config.adapter must have kind: "adapter"',
+    });
+  }
+  if (typeof adapter['id'] !== 'string') {
+    throw errorConfigValidation('adapter.id', {
+      why: 'Config.adapter must have id: string',
+    });
+  }
+  if (typeof adapter['familyId'] !== 'string') {
+    throw errorConfigValidation('adapter.familyId', {
+      why: 'Config.adapter must have familyId: string',
+    });
+  }
+  if (typeof adapter['version'] !== 'string') {
+    throw errorConfigValidation('adapter.version', {
+      why: 'Config.adapter must have version: string',
+    });
+  }
+  if (adapter['familyId'] !== familyId) {
+    throw errorConfigValidation('adapter.familyId', {
+      why: `Config.adapter.familyId must match Config.family.familyId (expected: ${familyId}, got: ${adapter['familyId']})`,
+    });
+  }
+  if (typeof adapter['targetId'] !== 'string') {
+    throw errorConfigValidation('adapter.targetId', {
+      why: 'Config.adapter must have targetId: string',
+    });
+  }
+  if (adapter['targetId'] !== expectedTargetId) {
+    throw errorConfigValidation('adapter.targetId', {
+      why: `Config.adapter.targetId must match Config.target.targetId (expected: ${expectedTargetId}, got: ${adapter['targetId']})`,
+    });
+  }
+  if (typeof adapter['create'] !== 'function') {
+    throw errorConfigValidation('adapter.create', {
+      why: 'Config.adapter must have create: function',
+    });
+  }
+
+  // Validate extensions array if present
+  if (configObj['extensions'] !== undefined) {
+    if (!Array.isArray(configObj['extensions'])) {
+      throw errorConfigValidation('extensions', {
+        why: 'Config.extensions must be an array',
+      });
+    }
+    for (const ext of configObj['extensions']) {
+      if (!ext || typeof ext !== 'object') {
+        throw errorConfigValidation('extensions[]', {
+          why: 'Config.extensions must contain ExtensionDescriptor objects',
+        });
+      }
+      const extObj = ext as Record<string, unknown>;
+      if (extObj['kind'] !== 'extension') {
+        throw errorConfigValidation('extensions[].kind', {
+          why: 'Config.extensions items must have kind: "extension"',
+        });
+      }
+      if (typeof extObj['id'] !== 'string') {
+        throw errorConfigValidation('extensions[].id', {
+          why: 'Config.extensions items must have id: string',
+        });
+      }
+      if (typeof extObj['familyId'] !== 'string') {
+        throw errorConfigValidation('extensions[].familyId', {
+          why: 'Config.extensions items must have familyId: string',
+        });
+      }
+      if (typeof extObj['version'] !== 'string') {
+        throw errorConfigValidation('extensions[].version', {
+          why: 'Config.extensions items must have version: string',
+        });
+      }
+      if (extObj['familyId'] !== familyId) {
+        throw errorConfigValidation('extensions[].familyId', {
+          why: `Config.extensions[].familyId must match Config.family.familyId (expected: ${familyId}, got: ${extObj['familyId']})`,
+        });
+      }
+      if (typeof extObj['targetId'] !== 'string') {
+        throw errorConfigValidation('extensions[].targetId', {
+          why: 'Config.extensions items must have targetId: string',
+        });
+      }
+      if (extObj['targetId'] !== expectedTargetId) {
+        throw errorConfigValidation('extensions[].targetId', {
+          why: `Config.extensions[].targetId must match Config.target.targetId (expected: ${expectedTargetId}, got: ${extObj['targetId']})`,
+        });
+      }
+      if (typeof extObj['create'] !== 'function') {
+        throw errorConfigValidation('extensions[].create', {
+          why: 'Config.extensions items must have create: function',
+        });
+      }
+    }
+  }
+
+  // Validate driver descriptor if present
+  if (configObj['driver'] !== undefined) {
+    const driver = configObj['driver'] as Record<string, unknown>;
+    if (driver['kind'] !== 'driver') {
+      throw errorConfigValidation('driver.kind', {
+        why: 'Config.driver must have kind: "driver"',
+      });
+    }
+    if (typeof driver['id'] !== 'string') {
+      throw errorConfigValidation('driver.id', {
+        why: 'Config.driver must have id: string',
+      });
+    }
+    if (typeof driver['version'] !== 'string') {
+      throw errorConfigValidation('driver.version', {
+        why: 'Config.driver must have version: string',
+      });
+    }
+    if (typeof driver['familyId'] !== 'string') {
+      throw errorConfigValidation('driver.familyId', {
+        why: 'Config.driver must have familyId: string',
+      });
+    }
+    if (driver['familyId'] !== familyId) {
+      throw errorConfigValidation('driver.familyId', {
+        why: `Config.driver.familyId must match Config.family.familyId (expected: ${familyId}, got: ${driver['familyId']})`,
+      });
+    }
+    if (typeof driver['targetId'] !== 'string') {
+      throw errorConfigValidation('driver.targetId', {
+        why: 'Config.driver must have targetId: string',
+      });
+    }
+    if (driver['targetId'] !== expectedTargetId) {
+      throw errorConfigValidation('driver.targetId', {
+        why: `Config.driver.targetId must match Config.target.targetId (expected: ${expectedTargetId}, got: ${driver['targetId']})`,
+      });
+    }
+    if (typeof driver['create'] !== 'function') {
+      throw errorConfigValidation('driver.create', {
+        why: 'Config.driver must have create: function',
+      });
+    }
+  }
+
+  // Validate contract config if present (structure validation - defineConfig() handles normalization)
+  if (configObj['contract'] !== undefined) {
+    const contract = configObj['contract'] as Record<string, unknown>;
+    if (!contract || typeof contract !== 'object') {
+      throw errorConfigValidation('contract', {
+        why: 'Config.contract must be an object',
+      });
+    }
+    if (!('source' in contract)) {
+      throw errorConfigValidation('contract.source', {
+        why: 'Config.contract.source is required when contract is provided',
+      });
+    }
+    if (contract['output'] !== undefined && typeof contract['output'] !== 'string') {
+      throw errorConfigValidation('contract.output', {
+        why: 'Config.contract.output must be a string when provided',
+      });
+    }
+    if (contract['types'] !== undefined && typeof contract['types'] !== 'string') {
+      throw errorConfigValidation('contract.types', {
+        why: 'Config.contract.types must be a string when provided',
+      });
+    }
+  }
+}