@prisma-next/cli 0.2.0 → 0.3.0-dev.10

package/README.md

@@ -23,6 +23,20 @@ Provide a command-line interface that:
 - **Help Output Formatting**: Custom styled help output with command trees and formatted descriptions
 - **Config Management**: Load and validate `prisma-next.config.ts` files using Arktype validation
 
+### Wiring validation
+
+The CLI performs **wiring validation** at the composition boundary: it ensures the emitted contract artifacts are compatible with the descriptors wired in `prisma-next.config.ts`.
+
+This prevents runtime mismatches (for example: a contract that declares extension packs, but a config that doesn’t provide the matching descriptors).
+
+Commands that enforce wiring validation:
+- **`db verify`**
+- **`db introspect`** (when a contract is provided)
+- **`db sign`**
+- **`db init`**
+
+If you hit a wiring validation error: add the required descriptors to `config.extensionPacks` (matched by descriptor `id`) and re-run the command.
+
 **Note**: Control plane domain actions (database verification, contract emission) are implemented in `@prisma-next/core-control-plane`. The CLI uses the control plane domain actions programmatically but does not define control plane types itself.
 
 ## Command Descriptions
@@ -32,7 +46,7 @@ Commands use separate short and long descriptions via `setCommandDescriptions()`
 - **Short description**: One-liner used in command trees and headers (e.g., "Emit signed contract artifacts")
 - **Long description**: Multiline text shown at the bottom of help output with detailed context
 
-See `.cursor/rules/cli-command-descriptions.mdc` for details.
+See `src/utils/command-helpers.ts` for `setCommandDescriptions()` and `getLongDescription()`.
 
 ## Commands
 
@@ -102,7 +116,7 @@ prisma-next db verify [--db <url>] [--config <path>] [--json] [-v] [-q] [--times
 ```
 
 Options:
-- `--db <url>`: Database connection string (optional, falls back to `config.db.url` or `DATABASE_URL` environment variable)
+- `--db <url>`: Database connection string (optional; defaults to `config.db.url` if set)
 - `--config <path>`: Optional. Path to `prisma-next.config.ts` (defaults to `./prisma-next.config.ts` if present)
 - `--json`: Output as JSON object
 - `-q, --quiet`: Quiet mode (errors only)
@@ -159,7 +173,7 @@ export default defineConfig({
 
 1. **Load Contract**: Reads the emitted `contract.json` from `config.contract.output`
 2. **Connect to Database**: Uses `config.driver.create(url)` to create a driver
-3. **Create Family Instance**: Calls `config.family.create()` with target, adapter, driver, and extensions to create a family instance
+3. **Create Family Instance**: Calls `config.family.create()` with target, adapter, driver, and `extensionPacks` (passed as `extensions`) to create a family instance
 4. **Verify**: Calls `familyInstance.verify()` which:
    - Reads the contract marker from the database
    - Compares marker presence: Returns `PN-RTM-3001` if marker is missing
@@ -256,7 +270,7 @@ prisma-next db introspect [--db <url>] [--config <path>] [--json] [-v] [-q] [--t
 ```
 
 Options:
-- `--db <url>`: Database connection string (optional, falls back to `config.db.url` or `DATABASE_URL` environment variable)
+- `--db <url>`: Database connection string (optional; defaults to `config.db.url` if set)
 - `--config <path>`: Optional. Path to `prisma-next.config.ts` (defaults to `./prisma-next.config.ts` if present)
 - `--json`: Output as JSON object
 - `-q, --quiet`: Quiet mode (errors only)
@@ -306,7 +320,7 @@ export default defineConfig({
 **Introspection Process:**
 
 1. **Connect to Database**: Uses `config.driver.create(url)` to create a driver
-2. **Create Family Instance**: Calls `config.family.create()` with target, adapter, driver, and extensions to create a family instance
+2. **Create Family Instance**: Calls `config.family.create()` with target, adapter, driver, and `extensionPacks` (passed as `extensions`) to create a family instance
 3. **Introspect**: Calls `familyInstance.introspect()` which:
    - Queries the database catalog to discover schema structure
    - Returns a family-specific schema IR (e.g., `SqlSchemaIR` for SQL family)
@@ -373,7 +387,7 @@ sql schema (tables: 2)
 
 **Error Codes:**
 - `PN-CLI-4010`: Missing driver in config — provide a driver descriptor
-- `PN-CLI-4011`: Missing database URL — provide `--db` flag or `config.db.url` or `DATABASE_URL` environment variable
+- `PN-CLI-4005`: Missing database URL — provide `--db <url>` or set `db.url` in config
 
 **Family Requirements:**
 
@@ -407,7 +421,7 @@ prisma-next db sign [--db <url>] [--config <path>] [--json] [-v] [-q] [--timesta
 ```
 
 Options:
-- `--db <url>`: Database connection string (optional, falls back to `config.db.url` or `DATABASE_URL` environment variable)
+- `--db <url>`: Database connection string (optional; defaults to `config.db.url` if set)
 - `--config <path>`: Optional. Path to `prisma-next.config.ts` (defaults to `./prisma-next.config.ts` if present)
 - `--json`: Output as JSON object
 - `-q, --quiet`: Quiet mode (errors only)
@@ -464,7 +478,7 @@ export default defineConfig({
 
 1. **Load Contract**: Reads the emitted `contract.json` from `config.contract.output`
 2. **Connect to Database**: Uses `config.driver.create(url)` to create a driver
-3. **Create Family Instance**: Calls `config.family.create()` with target, adapter, driver, and extensions to create a family instance
+3. **Create Family Instance**: Calls `config.family.create()` with target, adapter, driver, and `extensionPacks` (passed as `extensions`) to create a family instance
 4. **Schema Verification (Precondition)**: Calls `familyInstance.schemaVerify()` to verify the database schema matches the contract:
    - If verification fails: Prints schema verification output and exits with code 1 (marker is not written)
    - If verification passes: Proceeds to marker signing
@@ -570,7 +584,7 @@ For updated markers:
 
 **Error Codes:**
 - `PN-CLI-4010`: Missing driver in config — provide a driver descriptor
-- `PN-CLI-4011`: Missing database URL — provide `--db` flag or `config.db.url` or `DATABASE_URL` environment variable
+- `PN-CLI-4005`: Missing database URL — provide `--db <url>` or set `db.url` in config
 - Exit code 1: Schema verification failed — database schema does not match contract (marker is not written)
 
 **Relationship to Other Commands:**
@@ -609,7 +623,7 @@ The SQL family provides this via `@prisma-next/family-sql/control`. The `sign()`
 
 ### `prisma-next db init`
 
-Initialize a database schema from the contract. This command generates a migration plan to bring an empty database in sync with the contract and executes it.
+Initialize a database schema from the contract. This command plans and applies **additive-only** operations (create missing tables/columns/constraints/indexes) until the database satisfies the contract, then writes the contract marker.
 
 **Command:**
 ```bash
@@ -617,10 +631,10 @@ prisma-next db init [--db <url>] [--config <path>] [--plan] [--json] [-v] [-q] [
 ```
 
 Options:
-- `--db <url>`: Database connection string (optional, falls back to `config.db.url` or `DATABASE_URL` environment variable)
+- `--db <url>`: Database connection string (optional; defaults to `config.db.url` if set)
 - `--config <path>`: Optional. Path to `prisma-next.config.ts` (defaults to `./prisma-next.config.ts` if present)
 - `--plan`: Only show the migration plan, do not apply it
-- `--json`: Output as JSON object
+- `--json [format]`: Output as JSON (`object` only; `ndjson` is not supported for this command)
 - `-q, --quiet`: Quiet mode (errors only)
 - `-v, --verbose`: Verbose output (debug info, timings)
 - `-vv, --trace`: Trace output (deep internals, stack traces)
@@ -675,51 +689,56 @@ export default defineConfig({
 
 1. **Load Contract**: Reads the emitted `contract.json` from `config.contract.output`
 2. **Connect to Database**: Uses `config.driver.create(url)` to create a driver
-3. **Create Family Instance**: Calls `config.family.create()` with target, adapter, driver, and extensions
+3. **Create Family Instance**: Calls `config.family.create()` with target, adapter, driver, and `extensionPacks` (passed as `extensions`)
 4. **Introspect Schema**: Calls `familyInstance.introspect()` to get the current database schema IR
-5. **Create Planner/Runner**: Asks the target to construct a `MigrationPlanner` and `MigrationRunner`
-6. **Plan Migration**: Calls `planner.plan()` with the contract IR, schema IR, and additive-only policy
+5. **Validate wiring**: Ensures the contract is compatible with the CLI config:
+   - `contract.targetFamily` matches `config.family.familyId`
+   - `contract.target` matches `config.target.targetId`
+   - `contract.extensionPacks` (if present) are provided by `config.extensionPacks` (matched by descriptor `id`)
+6. **Create Planner/Runner**: Uses `config.target.migrations.createPlanner()` and `config.target.migrations.createRunner()`
+7. **Plan Migration**: Calls `planner.plan()` with the contract IR, schema IR, additive-only policy, and `frameworkComponents` (the active target/adapter/extension descriptors)
    - On conflict: Returns a structured failure with conflict list
    - On success: Returns a migration plan with operations
-7. **Apply Migration** (if not `--plan`):
+8. **Apply Migration** (if not `--plan`):
    - Calls `runner.execute()` to apply the plan
-   - Runner executes pre/post checks for each operation
    - After execution, verifies schema matches contract
-   - Writes contract marker and ledger entry
+   - Writes contract marker (and records a ledger entry via the target runner)
 
 **Output Format (TTY - Plan Mode):**
 
 ```
-prisma-next db init ➜ Initialize database schema from contract
+prisma-next db init ➜ Bootstrap a database to match the current contract
   config:          prisma-next.config.ts
   contract:        src/prisma/contract.json
-  database:        localhost:5432/mydb
+  mode:            plan (dry run)
 
-Migration Plan (4 operations)
-├─ Create extension "plpgsql"
-├─ Create table "user"
-│   ├─ id: int4 (not null, primary key)
-│   └─ email: text (not null)
-└─ Create unique index "user_email_key"
+✔ Planned 4 operation(s)
+│
+├─ Create table user [additive]
+├─ Add unique constraint user_email_key on user [additive]
+├─ Create index user_email_idx on user [additive]
+└─ Add foreign key post_userId_fkey on post [additive]
 
-Run without --plan to apply this migration.
+Destination hash: sha256:abc123...
+
+This is a dry run. No changes were applied.
+Run without --plan to apply changes.
 ```
 
 **Output Format (TTY - Apply Mode):**
 
 ```
-prisma-next db init ➜ Initialize database schema from contract
+prisma-next db init ➜ Bootstrap a database to match the current contract
   config:          prisma-next.config.ts
   contract:        src/prisma/contract.json
-  database:        localhost:5432/mydb
 
-✔ Applied 4 migration operations
-  ├─ Created extension "plpgsql"
-  ├─ Created table "user"
-  └─ Created unique index "user_email_key"
-✔ Contract marker written
-  coreHash: sha256:abc123...
-✔ Ledger entry recorded
+Applying migration plan and verifying schema...
+  → Create table user...
+  → Add unique constraint user_email_key on user...
+  → Create index user_email_idx on user...
+  → Add foreign key post_userId_fkey on post...
+✔ Applied 4 operation(s)
+  Marker written: sha256:abc123...
 ```
 
 **Output Format (JSON):**
@@ -729,33 +748,41 @@ prisma-next db init ➜ Initialize database schema from contract
   "ok": true,
   "mode": "apply",
   "plan": {
-    "operations": [...],
-    "conflicts": []
+    "targetId": "postgres",
+    "destination": {
+      "coreHash": "sha256:abc123..."
+    },
+    "operations": [
+      {
+        "id": "table.user",
+        "label": "Create table user",
+        "operationClass": "additive"
+      }
+    ]
   },
   "execution": {
-    "operations": [...],
-    "marker": {
-      "coreHash": "sha256:abc123...",
-      "profileHash": "sha256:def456..."
-    },
-    "ledger": {
-      "id": "ledger-entry-uuid",
-      "createdAt": "2025-01-01T00:00:00Z"
-    }
+    "operationsPlanned": 4,
+    "operationsExecuted": 4
+  },
+  "marker": {
+    "coreHash": "sha256:abc123..."
   }
 }
 ```
 
 **Error Codes:**
-- `PN-CLI-4010`: Missing driver in config — provide a driver descriptor
-- `PN-CLI-4011`: Missing database URL — provide `--db` flag or `config.db.url` or `DATABASE_URL` environment variable
-- `PN-CLI-4011`: Migration planning failed due to conflicts (exit code 1)
-- `PN-CLI-4012`: Target does not support migrations
+- `PN-CLI-4004`: Contract file not found
+- `PN-CLI-4005`: Missing database URL
+- `PN-CLI-4008`: Unsupported JSON format (`--json ndjson` is rejected for `db init`)
+- `PN-CLI-4010`: Missing driver in config
+- `PN-CLI-4020`: Migration planning failed (conflicts)
+- `PN-CLI-4021`: Target does not support migrations
+- `PN-RTM-3000`: Runtime error (includes marker mismatch failures)
+
+**Behavior Notes:**
 
-**Current Limitations (v1):**
-- Only supports empty databases (no existing tables)
-- Non-empty databases result in a planning failure with conflict details
-- Future `db update` command will support additive changes to existing schemas
+- If the database already has a marker that matches the destination contract, `db init` succeeds as a noop (0 operations planned/executed).
+- If the database has a marker that does **not** match the destination contract, `db init` fails (including in `--plan` mode). Use `db init` for bootstrapping; use your migration workflow to reconcile existing databases.
 
 **Config File (`prisma-next.config.ts`):**
 
@@ -838,7 +865,7 @@ See `.cursor/rules/config-validation-and-normalization.mdc` for detailed pattern
 - **Error Handling**: Uses `exitOverride()` to catch unhandled errors (non-structured errors that fail fast) and print stack traces. Commands handle structured errors themselves via `process.exit()`.
 - **Command Taxonomy**: Groups commands by domain/plane (e.g., `contract emit`)
 - **Help Formatting**: Uses `configureHelp()` to customize help output with styled format matching normal command output. Root help shows "prisma-next" title with command tree; command help shows "prisma-next <command> ➜ <description>" with options and docs URLs. See `utils/output.ts` for help formatters.
-- **Command Descriptions**: Commands use `setCommandDescriptions()` to set separate short and long descriptions. See `utils/command-helpers.ts` and `.cursor/rules/cli-command-descriptions.mdc`.
+- **Command Descriptions**: See the “Command Descriptions” section above for `setCommandDescriptions()` usage.
 
 ### Contract Emit Command (`commands/contract-emit.ts`)
 - Canonical command implementation using commander

package/dist/{chunk-C7QQMZ3I.js → chunk-CVNWLFXO.js}

@@ -54,19 +54,16 @@ function assertFrameworkComponentsCompatible(expectedFamilyId, expectedTargetId,
 }
 function assertContractRequirementsSatisfied({
   contract,
-  family,
-  target,
-  adapter,
-  extensionPacks
+  stack
 }) {
-  const providedComponentIds = /* @__PURE__ */ new Set([target.id, adapter.id]);
-  for (const extension of extensionPacks ?? []) {
+  const providedComponentIds = /* @__PURE__ */ new Set([stack.target.id, stack.adapter.id]);
+  for (const extension of stack.extensionPacks) {
     providedComponentIds.add(extension.id);
   }
   const result = checkContractComponentRequirements({
     contract,
-    expectedTargetFamily: family.familyId,
-    expectedTargetId: target.targetId,
+    expectedTargetFamily: stack.target.familyId,
+    expectedTargetId: stack.target.targetId,
     providedComponentIds
   });
   if (result.familyMismatch) {
@@ -91,4 +88,4 @@ export {
   assertFrameworkComponentsCompatible,
   assertContractRequirementsSatisfied
 };
-//# sourceMappingURL=chunk-C7QQMZ3I.js.map
+//# sourceMappingURL=chunk-CVNWLFXO.js.map

package/dist/chunk-CVNWLFXO.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/utils/framework-components.ts"],"sourcesContent":["import {\n  checkContractComponentRequirements,\n  type TargetBoundComponentDescriptor,\n} from '@prisma-next/contract/framework-components';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport type { ControlPlaneStack } from '@prisma-next/core-control-plane/types';\nimport { errorConfigValidation, errorContractMissingExtensionPacks } from './cli-errors';\n\n/**\n * Asserts that all framework components are compatible with the expected family and target.\n *\n * This function validates that each component in the framework components array:\n * - Has kind 'target', 'adapter', 'extension', or 'driver'\n * - Has familyId matching expectedFamilyId\n * - Has targetId matching expectedTargetId\n *\n * This validation happens at the CLI composition boundary, before passing components\n * to typed planner/runner instances. It fills the gap between runtime validation\n * (via `validateConfig()`) and compile-time type enforcement.\n *\n * @param expectedFamilyId - The expected family ID (e.g., 'sql')\n * @param expectedTargetId - The expected target ID (e.g., 'postgres')\n * @param frameworkComponents - Array of framework components to validate\n * @returns The same array typed as TargetBoundComponentDescriptor\n * @throws CliStructuredError if any component is incompatible\n *\n * @example\n * ```ts\n * const config = await loadConfig();\n * const frameworkComponents = [config.target, config.adapter, ...(config.extensionPacks ?? [])];\n *\n * // Validate and type-narrow components before passing to planner\n * const typedComponents = assertFrameworkComponentsCompatible(\n *   config.family.familyId,\n *   config.target.targetId,\n *   frameworkComponents\n * );\n *\n * const planner = target.migrations.createPlanner(familyInstance);\n * planner.plan({ contract, schema, policy, frameworkComponents: typedComponents });\n * ```\n */\nexport function assertFrameworkComponentsCompatible<\n  TFamilyId extends string,\n  TTargetId extends string,\n>(\n  expectedFamilyId: TFamilyId,\n  expectedTargetId: TTargetId,\n  frameworkComponents: ReadonlyArray<unknown>,\n): ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>> {\n  for (let i = 0; i < frameworkComponents.length; i++) {\n    const component = frameworkComponents[i];\n\n    // Check that component is an object\n    if (typeof component !== 'object' || component === null) {\n      throw errorConfigValidation('frameworkComponents[]', {\n        why: `Framework component at index ${i} must be an object`,\n      });\n    }\n\n    const record = component as Record<string, unknown>;\n\n    // Check kind\n    if (!Object.hasOwn(record, 'kind')) {\n      throw errorConfigValidation('frameworkComponents[].kind', {\n        why: `Framework component at index ${i} must have 'kind' property`,\n      });\n    }\n\n    const kind = record['kind'];\n    if (kind !== 'target' && kind !== 'adapter' && kind !== 'extension' && kind !== 'driver') {\n      throw errorConfigValidation('frameworkComponents[].kind', {\n        why: `Framework component at index ${i} has invalid kind '${String(kind)}' (must be 'target', 'adapter', 'extension', or 'driver')`,\n      });\n    }\n\n    // Check familyId\n    if (!Object.hasOwn(record, 'familyId')) {\n      throw errorConfigValidation('frameworkComponents[].familyId', {\n        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'familyId' property`,\n      });\n    }\n\n    const familyId = record['familyId'];\n    if (familyId !== expectedFamilyId) {\n      throw errorConfigValidation('frameworkComponents[].familyId', {\n        why: `Framework component at index ${i} (kind: ${String(kind)}) has familyId '${String(familyId)}' but expected '${expectedFamilyId}'`,\n      });\n    }\n\n    // Check targetId\n    if (!Object.hasOwn(record, 'targetId')) {\n      throw errorConfigValidation('frameworkComponents[].targetId', {\n        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'targetId' property`,\n      });\n    }\n\n    const targetId = record['targetId'];\n    if (targetId !== expectedTargetId) {\n      throw errorConfigValidation('frameworkComponents[].targetId', {\n        why: `Framework component at index ${i} (kind: ${String(kind)}) has targetId '${String(targetId)}' but expected '${expectedTargetId}'`,\n      });\n    }\n  }\n\n  // Type assertion is safe because we've validated all components above\n  return frameworkComponents as ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, TTargetId>>;\n}\n\n/**\n * Validates that a contract is compatible with the configured target, adapter,\n * and extension packs. Throws on family/target mismatches or missing extension packs.\n *\n * This check ensures the emitted contract matches the CLI config before running\n * commands that depend on the contract (e.g., db verify, db sign).\n *\n * @param contract - The contract IR to validate (must include targetFamily, target, extensionPacks).\n * @param stack - The control plane stack (target, adapter, driver, extensionPacks).\n *\n * @throws {CliStructuredError} errorConfigValidation when contract.targetFamily or contract.target\n *   doesn't match the configured family/target.\n * @throws {CliStructuredError} errorContractMissingExtensionPacks when the contract requires\n *   extension packs that are not provided in the config (includes all missing packs in error.meta).\n *\n * @example\n * ```ts\n * import { assertContractRequirementsSatisfied } from './framework-components';\n *\n * const config = await loadConfig();\n * const contractIR = await loadContractJson(config.contract.output);\n * const stack = createControlPlaneStack({ target: config.target, adapter: config.adapter, ... });\n *\n * // Throws if contract is incompatible with config\n * assertContractRequirementsSatisfied({ contract: contractIR, stack });\n * ```\n */\nexport function assertContractRequirementsSatisfied<\n  TFamilyId extends string,\n  TTargetId extends string,\n>({\n  contract,\n  stack,\n}: {\n  readonly contract: Pick<ContractIR, 'targetFamily' | 'target' | 'extensionPacks'>;\n  readonly stack: ControlPlaneStack<TFamilyId, TTargetId>;\n}): void {\n  const providedComponentIds = new Set<string>([stack.target.id, stack.adapter.id]);\n  for (const extension of stack.extensionPacks) {\n    providedComponentIds.add(extension.id);\n  }\n\n  const result = checkContractComponentRequirements({\n    contract,\n    expectedTargetFamily: stack.target.familyId,\n    expectedTargetId: stack.target.targetId,\n    providedComponentIds,\n  });\n\n  if (result.familyMismatch) {\n    throw errorConfigValidation('contract.targetFamily', {\n      why: `Contract was emitted for family '${result.familyMismatch.actual}' but CLI config is wired to '${result.familyMismatch.expected}'.`,\n    });\n  }\n\n  if (result.targetMismatch) {\n    throw errorConfigValidation('contract.target', {\n      why: `Contract target '${result.targetMismatch.actual}' does not match CLI target '${result.targetMismatch.expected}'.`,\n    });\n  }\n\n  if (result.missingExtensionPackIds.length > 0) {\n    throw errorContractMissingExtensionPacks({\n      missingExtensionPacks: result.missingExtensionPackIds,\n      providedComponentIds: [...providedComponentIds],\n    });\n  }\n}\n"],"mappings":";;;;;;AAAA;AAAA,EACE;AAAA,OAEK;AAuCA,SAAS,oCAId,kBACA,kBACA,qBACqE;AACrE,WAAS,IAAI,GAAG,IAAI,oBAAoB,QAAQ,KAAK;AACnD,UAAM,YAAY,oBAAoB,CAAC;AAGvC,QAAI,OAAO,cAAc,YAAY,cAAc,MAAM;AACvD,YAAM,sBAAsB,yBAAyB;AAAA,QACnD,KAAK,gCAAgC,CAAC;AAAA,MACxC,CAAC;AAAA,IACH;AAEA,UAAM,SAAS;AAGf,QAAI,CAAC,OAAO,OAAO,QAAQ,MAAM,GAAG;AAClC,YAAM,sBAAsB,8BAA8B;AAAA,QACxD,KAAK,gCAAgC,CAAC;AAAA,MACxC,CAAC;AAAA,IACH;AAEA,UAAM,OAAO,OAAO,MAAM;AAC1B,QAAI,SAAS,YAAY,SAAS,aAAa,SAAS,eAAe,SAAS,UAAU;AACxF,YAAM,sBAAsB,8BAA8B;AAAA,QACxD,KAAK,gCAAgC,CAAC,sBAAsB,OAAO,IAAI,CAAC;AAAA,MAC1E,CAAC;AAAA,IACH;AAGA,QAAI,CAAC,OAAO,OAAO,QAAQ,UAAU,GAAG;AACtC,YAAM,sBAAsB,kCAAkC;AAAA,QAC5D,KAAK,gCAAgC,CAAC,WAAW,OAAO,IAAI,CAAC;AAAA,MAC/D,CAAC;AAAA,IACH;AAEA,UAAM,WAAW,OAAO,UAAU;AAClC,QAAI,aAAa,kBAAkB;AACjC,YAAM,sBAAsB,kCAAkC;AAAA,QAC5D,KAAK,gCAAgC,CAAC,WAAW,OAAO,IAAI,CAAC,mBAAmB,OAAO,QAAQ,CAAC,mBAAmB,gBAAgB;AAAA,MACrI,CAAC;AAAA,IACH;AAGA,QAAI,CAAC,OAAO,OAAO,QAAQ,UAAU,GAAG;AACtC,YAAM,sBAAsB,kCAAkC;AAAA,QAC5D,KAAK,gCAAgC,CAAC,WAAW,OAAO,IAAI,CAAC;AAAA,MAC/D,CAAC;AAAA,IACH;AAEA,UAAM,WAAW,OAAO,UAAU;AAClC,QAAI,aAAa,kBAAkB;AACjC,YAAM,sBAAsB,kCAAkC;AAAA,QAC5D,KAAK,gCAAgC,CAAC,WAAW,OAAO,IAAI,CAAC,mBAAmB,OAAO,QAAQ,CAAC,mBAAmB,gBAAgB;AAAA,MACrI,CAAC;AAAA,IACH;AAAA,EACF;AAGA,SAAO;AACT;AA6BO,SAAS,oCAGd;AAAA,EACA;AAAA,EACA;AACF,GAGS;AACP,QAAM,uBAAuB,oBAAI,IAAY,CAAC,MAAM,OAAO,IAAI,MAAM,QAAQ,EAAE,CAAC;AAChF,aAAW,aAAa,MAAM,gBAAgB;AAC5C,yBAAqB,IAAI,UAAU,EAAE;AAAA,EACvC;AAEA,QAAM,SAAS,mCAAmC;AAAA,IAChD;AAAA,IACA,sBAAsB,MAAM,OAAO;AAAA,IACnC,kBAAkB,MAAM,OAAO;AAAA,IAC/B;AAAA,EACF,CAAC;AAED,MAAI,OAAO,gBAAgB;AACzB,UAAM,sBAAsB,yBAAyB;AAAA,MACnD,KAAK,oCAAoC,OAAO,eAAe,MAAM,iCAAiC,OAAO,eAAe,QAAQ;AAAA,IACtI,CAAC;AAAA,EACH;AAEA,MAAI,OAAO,gBAAgB;AACzB,UAAM,sBAAsB,mBAAmB;AAAA,MAC7C,KAAK,oBAAoB,OAAO,eAAe,MAAM,gCAAgC,OAAO,eAAe,QAAQ;AAAA,IACrH,CAAC;AAAA,EACH;AAEA,MAAI,OAAO,wBAAwB,SAAS,GAAG;AAC7C,UAAM,mCAAmC;AAAA,MACvC,uBAAuB,OAAO;AAAA,MAC9B,sBAAsB,CAAC,GAAG,oBAAoB;AAAA,IAChD,CAAC;AAAA,EACH;AACF;","names":[]}

package/dist/{chunk-464LNZCE.js → chunk-QUPBU4KV.js}

@@ -18,6 +18,7 @@ import {
 import { mkdirSync, writeFileSync } from "fs";
 import { dirname, relative, resolve } from "path";
 import { errorContractConfigMissing } from "@prisma-next/core-control-plane/errors";
+import { createControlPlaneStack } from "@prisma-next/core-control-plane/types";
 import { Command } from "commander";
 function createContractEmitCommand() {
   const command = new Command("emit");
@@ -65,17 +66,13 @@ function createContractEmitCommand() {
         });
         console.log(header);
       }
-      if (!config.driver) {
-        throw errorContractConfigMissing({
-          why: "Config.driver is required. Even though emit does not use the driver, it is required by ControlFamilyDescriptor.create()"
-        });
-      }
-      const familyInstance = config.family.create({
+      const stack = createControlPlaneStack({
         target: config.target,
         adapter: config.adapter,
         driver: config.driver,
-        extensionPacks: config.extensionPacks ?? []
+        extensionPacks: config.extensionPacks
       });
+      const familyInstance = config.family.create(stack);
       let contractRaw;
       if (typeof contractConfig.source === "function") {
         contractRaw = await contractConfig.source();
@@ -131,4 +128,4 @@ function createContractEmitCommand() {
 export {
   createContractEmitCommand
 };
-//# sourceMappingURL=chunk-464LNZCE.js.map
+//# sourceMappingURL=chunk-QUPBU4KV.js.map

package/dist/chunk-QUPBU4KV.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/commands/contract-emit.ts"],"sourcesContent":["import { mkdirSync, writeFileSync } from 'node:fs';\nimport { dirname, relative, resolve } from 'node:path';\nimport { errorContractConfigMissing } from '@prisma-next/core-control-plane/errors';\nimport { createControlPlaneStack } 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 { parseGlobalFlags } from '../utils/global-flags';\nimport {\n  formatCommandHelp,\n  formatEmitJson,\n  formatEmitOutput,\n  formatStyledHeader,\n  formatSuccessMessage,\n} from '../utils/output';\nimport { handleResult } from '../utils/result-handler';\nimport { withSpinner } from '../utils/spinner';\n\ninterface ContractEmitOptions {\n  readonly config?: string;\n  readonly json?: string | boolean;\n  readonly quiet?: boolean;\n  readonly q?: boolean;\n  readonly verbose?: boolean;\n  readonly v?: boolean;\n  readonly vv?: boolean;\n  readonly trace?: boolean;\n  readonly timestamps?: boolean;\n  readonly color?: boolean;\n  readonly 'no-color'?: boolean;\n}\n\nexport function createContractEmitCommand(): Command {\n  const command = new Command('emit');\n  setCommandDescriptions(\n    command,\n    'Write your contract to JSON and sign it',\n    'Reads your contract source (TypeScript or Prisma schema) and emits contract.json and\\n' +\n      'contract.d.ts. The contract.json contains the canonical contract structure, and\\n' +\n      'contract.d.ts provides TypeScript types for type-safe query building.',\n  );\n  command\n    .configureHelp({\n      formatHelp: (cmd) => {\n        const flags = parseGlobalFlags({});\n        return formatCommandHelp({ command: cmd, flags });\n      },\n    })\n    .option('--config <path>', 'Path to prisma-next.config.ts')\n    .option('--json [format]', 'Output as JSON (object or ndjson)', false)\n    .option('-q, --quiet', 'Quiet mode: errors only')\n    .option('-v, --verbose', 'Verbose output: debug info, timings')\n    .option('-vv, --trace', 'Trace output: deep internals, stack traces')\n    .option('--timestamps', 'Add timestamps to output')\n    .option('--color', 'Force color output')\n    .option('--no-color', 'Disable color output')\n    .action(async (options: ContractEmitOptions) => {\n      const flags = parseGlobalFlags(options);\n\n      const result = await performAction(async () => {\n        // Load config\n        const config = await loadConfig(options.config);\n\n        // Resolve contract from config\n        if (!config.contract) {\n          throw errorContractConfigMissing({\n            why: 'Config.contract is required for emit. Define it in your config: contract: { source: ..., output: ..., types: ... }',\n          });\n        }\n\n        // Contract config is already normalized by defineConfig() with defaults applied\n        const contractConfig = config.contract;\n\n        // Resolve artifact paths from config (already normalized by defineConfig() with defaults)\n        if (!contractConfig.output || !contractConfig.types) {\n          throw errorContractConfigMissing({\n            why: 'Contract config must have output and types paths. This should not happen if defineConfig() was used.',\n          });\n        }\n        const outputJsonPath = resolve(contractConfig.output);\n        const outputDtsPath = resolve(contractConfig.types);\n\n        // Output header (only for human-readable output)\n        if (flags.json !== 'object' && !flags.quiet) {\n          // Normalize config path for display (match contract path format - no ./ prefix)\n          const configPath = options.config\n            ? relative(process.cwd(), resolve(options.config))\n            : 'prisma-next.config.ts';\n          // Convert absolute paths to relative paths for display\n          const contractPath = relative(process.cwd(), outputJsonPath);\n          const typesPath = relative(process.cwd(), outputDtsPath);\n          const header = formatStyledHeader({\n            command: 'contract emit',\n            description: 'Write your contract to JSON and sign it',\n            url: 'https://pris.ly/contract-emit',\n            details: [\n              { label: 'config', value: configPath },\n              { label: 'contract', value: contractPath },\n              { label: 'types', value: typesPath },\n            ],\n            flags,\n          });\n          console.log(header);\n        }\n\n        const stack = createControlPlaneStack({\n          target: config.target,\n          adapter: config.adapter,\n          driver: config.driver,\n          extensionPacks: config.extensionPacks,\n        });\n        const familyInstance = config.family.create(stack);\n\n        // Resolve contract source from config (user's config handles loading)\n        let contractRaw: unknown;\n        if (typeof contractConfig.source === 'function') {\n          contractRaw = await contractConfig.source();\n        } else {\n          contractRaw = contractConfig.source;\n        }\n\n        // Call emitContract on family instance (handles stripping mappings and validation internally)\n        const emitResult = await withSpinner(\n          () => familyInstance.emitContract({ contractIR: contractRaw }),\n          {\n            message: 'Emitting contract...',\n            flags,\n          },\n        );\n\n        // Create directories if needed\n        mkdirSync(dirname(outputJsonPath), { recursive: true });\n        mkdirSync(dirname(outputDtsPath), { recursive: true });\n\n        // Write the results to files\n        writeFileSync(outputJsonPath, emitResult.contractJson, 'utf-8');\n        writeFileSync(outputDtsPath, emitResult.contractDts, 'utf-8');\n\n        // Add blank line after all async operations if spinners were shown\n        if (!flags.quiet && flags.json !== 'object' && process.stdout.isTTY) {\n          console.log('');\n        }\n\n        // Return result with file paths for output formatting\n        return {\n          coreHash: emitResult.coreHash,\n          profileHash: emitResult.profileHash,\n          outDir: dirname(outputJsonPath),\n          files: {\n            json: outputJsonPath,\n            dts: outputDtsPath,\n          },\n          timings: {\n            total: 0, // Timing is handled by emitContract internally if needed\n          },\n        };\n      });\n\n      // Handle result - formats output and returns exit code\n      const exitCode = handleResult(result, flags, (emitResult) => {\n        // Output based on flags\n        if (flags.json === 'object') {\n          // JSON output to stdout\n          console.log(formatEmitJson(emitResult));\n        } else {\n          // Human-readable output to stdout\n          const output = formatEmitOutput(emitResult, flags);\n          if (output) {\n            console.log(output);\n          }\n          // Output success message\n          if (!flags.quiet) {\n            console.log(formatSuccessMessage(flags));\n          }\n        }\n      });\n      process.exit(exitCode);\n    });\n\n  return command;\n}\n"],"mappings":";;;;;;;;;;;;;;;;;AAAA,SAAS,WAAW,qBAAqB;AACzC,SAAS,SAAS,UAAU,eAAe;AAC3C,SAAS,kCAAkC;AAC3C,SAAS,+BAA+B;AACxC,SAAS,eAAe;AA6BjB,SAAS,4BAAqC;AACnD,QAAM,UAAU,IAAI,QAAQ,MAAM;AAClC;AAAA,IACE;AAAA,IACA;AAAA,IACA;AAAA,EAGF;AACA,UACG,cAAc;AAAA,IACb,YAAY,CAAC,QAAQ;AACnB,YAAM,QAAQ,iBAAiB,CAAC,CAAC;AACjC,aAAO,kBAAkB,EAAE,SAAS,KAAK,MAAM,CAAC;AAAA,IAClD;AAAA,EACF,CAAC,EACA,OAAO,mBAAmB,+BAA+B,EACzD,OAAO,mBAAmB,qCAAqC,KAAK,EACpE,OAAO,eAAe,yBAAyB,EAC/C,OAAO,iBAAiB,qCAAqC,EAC7D,OAAO,gBAAgB,4CAA4C,EACnE,OAAO,gBAAgB,0BAA0B,EACjD,OAAO,WAAW,oBAAoB,EACtC,OAAO,cAAc,sBAAsB,EAC3C,OAAO,OAAO,YAAiC;AAC9C,UAAM,QAAQ,iBAAiB,OAAO;AAEtC,UAAM,SAAS,MAAM,cAAc,YAAY;AAE7C,YAAM,SAAS,MAAM,WAAW,QAAQ,MAAM;AAG9C,UAAI,CAAC,OAAO,UAAU;AACpB,cAAM,2BAA2B;AAAA,UAC/B,KAAK;AAAA,QACP,CAAC;AAAA,MACH;AAGA,YAAM,iBAAiB,OAAO;AAG9B,UAAI,CAAC,eAAe,UAAU,CAAC,eAAe,OAAO;AACnD,cAAM,2BAA2B;AAAA,UAC/B,KAAK;AAAA,QACP,CAAC;AAAA,MACH;AACA,YAAM,iBAAiB,QAAQ,eAAe,MAAM;AACpD,YAAM,gBAAgB,QAAQ,eAAe,KAAK;AAGlD,UAAI,MAAM,SAAS,YAAY,CAAC,MAAM,OAAO;AAE3C,cAAM,aAAa,QAAQ,SACvB,SAAS,QAAQ,IAAI,GAAG,QAAQ,QAAQ,MAAM,CAAC,IAC/C;AAEJ,cAAM,eAAe,SAAS,QAAQ,IAAI,GAAG,cAAc;AAC3D,cAAM,YAAY,SAAS,QAAQ,IAAI,GAAG,aAAa;AACvD,cAAM,SAAS,mBAAmB;AAAA,UAChC,SAAS;AAAA,UACT,aAAa;AAAA,UACb,KAAK;AAAA,UACL,SAAS;AAAA,YACP,EAAE,OAAO,UAAU,OAAO,WAAW;AAAA,YACrC,EAAE,OAAO,YAAY,OAAO,aAAa;AAAA,YACzC,EAAE,OAAO,SAAS,OAAO,UAAU;AAAA,UACrC;AAAA,UACA;AAAA,QACF,CAAC;AACD,gBAAQ,IAAI,MAAM;AAAA,MACpB;AAEA,YAAM,QAAQ,wBAAwB;AAAA,QACpC,QAAQ,OAAO;AAAA,QACf,SAAS,OAAO;AAAA,QAChB,QAAQ,OAAO;AAAA,QACf,gBAAgB,OAAO;AAAA,MACzB,CAAC;AACD,YAAM,iBAAiB,OAAO,OAAO,OAAO,KAAK;AAGjD,UAAI;AACJ,UAAI,OAAO,eAAe,WAAW,YAAY;AAC/C,sBAAc,MAAM,eAAe,OAAO;AAAA,MAC5C,OAAO;AACL,sBAAc,eAAe;AAAA,MAC/B;AAGA,YAAM,aAAa,MAAM;AAAA,QACvB,MAAM,eAAe,aAAa,EAAE,YAAY,YAAY,CAAC;AAAA,QAC7D;AAAA,UACE,SAAS;AAAA,UACT;AAAA,QACF;AAAA,MACF;AAGA,gBAAU,QAAQ,cAAc,GAAG,EAAE,WAAW,KAAK,CAAC;AACtD,gBAAU,QAAQ,aAAa,GAAG,EAAE,WAAW,KAAK,CAAC;AAGrD,oBAAc,gBAAgB,WAAW,cAAc,OAAO;AAC9D,oBAAc,eAAe,WAAW,aAAa,OAAO;AAG5D,UAAI,CAAC,MAAM,SAAS,MAAM,SAAS,YAAY,QAAQ,OAAO,OAAO;AACnE,gBAAQ,IAAI,EAAE;AAAA,MAChB;AAGA,aAAO;AAAA,QACL,UAAU,WAAW;AAAA,QACrB,aAAa,WAAW;AAAA,QACxB,QAAQ,QAAQ,cAAc;AAAA,QAC9B,OAAO;AAAA,UACL,MAAM;AAAA,UACN,KAAK;AAAA,QACP;AAAA,QACA,SAAS;AAAA,UACP,OAAO;AAAA;AAAA,QACT;AAAA,MACF;AAAA,IACF,CAAC;AAGD,UAAM,WAAW,aAAa,QAAQ,OAAO,CAAC,eAAe;AAE3D,UAAI,MAAM,SAAS,UAAU;AAE3B,gBAAQ,IAAI,eAAe,UAAU,CAAC;AAAA,MACxC,OAAO;AAEL,cAAM,SAAS,iBAAiB,YAAY,KAAK;AACjD,YAAI,QAAQ;AACV,kBAAQ,IAAI,MAAM;AAAA,QACpB;AAEA,YAAI,CAAC,MAAM,OAAO;AAChB,kBAAQ,IAAI,qBAAqB,KAAK,CAAC;AAAA,QACzC;AAAA,MACF;AAAA,IACF,CAAC;AACD,YAAQ,KAAK,QAAQ;AAAA,EACvB,CAAC;AAEH,SAAO;AACT;","names":[]}

package/dist/cli.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=cli.d.ts.map

package/dist/cli.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":""}

package/dist/cli.js

@@ -7,6 +7,7 @@ import { Command as Command7 } from "commander";
 import { mkdirSync, writeFileSync } from "fs";
 import { dirname as dirname2, relative as relative2, resolve as resolve2 } from "path";
 import { errorContractConfigMissing as errorContractConfigMissing2 } from "@prisma-next/core-control-plane/errors";
+import { createControlPlaneStack } from "@prisma-next/core-control-plane/types";
 import { Command } from "commander";
 
 // src/config-loader.ts
@@ -1129,17 +1130,13 @@ function createContractEmitCommand() {
         });
         console.log(header);
       }
-      if (!config.driver) {
-        throw errorContractConfigMissing2({
-          why: "Config.driver is required. Even though emit does not use the driver, it is required by ControlFamilyDescriptor.create()"
-        });
-      }
-      const familyInstance = config.family.create({
+      const stack = createControlPlaneStack({
         target: config.target,
         adapter: config.adapter,
         driver: config.driver,
-        extensionPacks: config.extensionPacks ?? []
+        extensionPacks: config.extensionPacks
       });
+      const familyInstance = config.family.create(stack);
       let contractRaw;
       if (typeof contractConfig.source === "function") {
         contractRaw = await contractConfig.source();
@@ -1195,6 +1192,7 @@ function createContractEmitCommand() {
 // src/commands/db-init.ts
 import { readFile } from "fs/promises";
 import { relative as relative3, resolve as resolve3 } from "path";
+import { createControlPlaneStack as createControlPlaneStack2 } from "@prisma-next/core-control-plane/types";
 import { redactDatabaseUrl } from "@prisma-next/utils/redact-db-url";
 import { Command as Command2 } from "commander";
 
@@ -1249,19 +1247,16 @@ function assertFrameworkComponentsCompatible(expectedFamilyId, expectedTargetId,
 }
 function assertContractRequirementsSatisfied({
   contract,
-  family,
-  target,
-  adapter,
-  extensionPacks
+  stack
 }) {
-  const providedComponentIds = /* @__PURE__ */ new Set([target.id, adapter.id]);
-  for (const extension of extensionPacks ?? []) {
+  const providedComponentIds = /* @__PURE__ */ new Set([stack.target.id, stack.adapter.id]);
+  for (const extension of stack.extensionPacks) {
     providedComponentIds.add(extension.id);
   }
   const result = checkContractComponentRequirements({
     contract,
-    expectedTargetFamily: family.familyId,
-    expectedTargetId: target.targetId,
+    expectedTargetFamily: stack.target.familyId,
+    expectedTargetId: stack.target.targetId,
     providedComponentIds
   });
   if (result.familyMismatch) {
@@ -1389,12 +1384,13 @@ function createDbInitCommand() {
         });
       }
       try {
-        const familyInstance = config.family.create({
+        const stack = createControlPlaneStack2({
           target: config.target,
           adapter: config.adapter,
           driver: driverDescriptor,
-          extensionPacks: config.extensionPacks ?? []
+          extensionPacks: config.extensionPacks
         });
+        const familyInstance = config.family.create(stack);
         const rawComponents = [config.target, config.adapter, ...config.extensionPacks ?? []];
         const frameworkComponents = assertFrameworkComponentsCompatible(
           config.family.familyId,
@@ -1402,13 +1398,7 @@ function createDbInitCommand() {
           rawComponents
         );
         const contractIR = familyInstance.validateContractIR(contractJson);
-        assertContractRequirementsSatisfied({
-          contract: contractIR,
-          family: config.family,
-          target: config.target,
-          adapter: config.adapter,
-          extensionPacks: config.extensionPacks
-        });
+        assertContractRequirementsSatisfied({ contract: contractIR, stack });
         const planner = migrations.createPlanner(familyInstance);
         const runner = migrations.createRunner(familyInstance);
         const schemaIR = await withSpinner(() => familyInstance.introspect({ driver }), {
@@ -1596,6 +1586,7 @@ import {
   errorRuntime as errorRuntime2,
   errorUnexpected as errorUnexpected3
 } from "@prisma-next/core-control-plane/errors";
+import { createControlPlaneStack as createControlPlaneStack3 } from "@prisma-next/core-control-plane/types";
 import { Command as Command3 } from "commander";
 function createDbIntrospectCommand() {
   const command = new Command3("introspect");
@@ -1662,21 +1653,16 @@ function createDbIntrospectCommand() {
         flags
       });
       try {
-        const familyInstance = config.family.create({
+        const stack = createControlPlaneStack3({
           target: config.target,
           adapter: config.adapter,
           driver: driverDescriptor,
-          extensionPacks: config.extensionPacks ?? []
+          extensionPacks: config.extensionPacks
         });
+        const familyInstance = config.family.create(stack);
         if (contractIR) {
           const validatedContract = familyInstance.validateContractIR(contractIR);
-          assertContractRequirementsSatisfied({
-            contract: validatedContract,
-            family: config.family,
-            target: config.target,
-            adapter: config.adapter,
-            extensionPacks: config.extensionPacks
-          });
+          assertContractRequirementsSatisfied({ contract: validatedContract, stack });
           contractIR = validatedContract;
         }
         let schemaIR;
@@ -1766,6 +1752,7 @@ import {
   errorRuntime as errorRuntime3,
   errorUnexpected as errorUnexpected4
 } from "@prisma-next/core-control-plane/errors";
+import { createControlPlaneStack as createControlPlaneStack4 } from "@prisma-next/core-control-plane/types";
 import { Command as Command4 } from "commander";
 function createDbSchemaVerifyCommand() {
   const command = new Command4("schema-verify");
@@ -1821,20 +1808,15 @@ function createDbSchemaVerifyCommand() {
         throw errorDriverRequired3();
       }
       const driverDescriptor = config.driver;
-      const familyInstance = config.family.create({
+      const stack = createControlPlaneStack4({
         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 familyInstance = config.family.create(stack);
+      const contractIR = familyInstance.validateContractIR(contractJson);
+      assertContractRequirementsSatisfied({ contract: contractIR, stack });
       const dbUrl = options.db ?? config.db?.url;
       if (!dbUrl) {
         throw errorDatabaseUrlRequired3();
@@ -1908,6 +1890,7 @@ import {
   errorRuntime as errorRuntime4,
   errorUnexpected as errorUnexpected5
 } from "@prisma-next/core-control-plane/errors";
+import { createControlPlaneStack as createControlPlaneStack5 } from "@prisma-next/core-control-plane/types";
 import { Command as Command5 } from "commander";
 function createDbSignCommand() {
   const command = new Command5("sign");
@@ -1967,20 +1950,15 @@ function createDbSignCommand() {
         throw errorDriverRequired4();
       }
       const driverDescriptor = config.driver;
-      const familyInstance = config.family.create({
+      const stack = createControlPlaneStack5({
         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 familyInstance = config.family.create(stack);
+      const contractIR = familyInstance.validateContractIR(contractJson);
+      assertContractRequirementsSatisfied({ contract: contractIR, stack });
       const rawComponents = [config.target, config.adapter, ...config.extensionPacks ?? []];
       const frameworkComponents = assertFrameworkComponentsCompatible(
         config.family.familyId,
@@ -2086,6 +2064,7 @@ import {
   errorTargetMismatch as errorTargetMismatch2,
   errorUnexpected as errorUnexpected6
 } from "@prisma-next/core-control-plane/errors";
+import { createControlPlaneStack as createControlPlaneStack6 } from "@prisma-next/core-control-plane/types";
 import { Command as Command6 } from "commander";
 function createDbVerifyCommand() {
   const command = new Command6("verify");
@@ -2150,20 +2129,15 @@ function createDbVerifyCommand() {
         flags
       });
       try {
-        const familyInstance = config.family.create({
+        const stack = createControlPlaneStack6({
           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 familyInstance = config.family.create(stack);
+        const contractIR = familyInstance.validateContractIR(contractJson);
+        assertContractRequirementsSatisfied({ contract: contractIR, stack });
         let verifyResult;
         try {
           verifyResult = await withSpinner(