@prisma-next/cli 0.1.0-pr.65.1 → 0.1.0-pr.65.2

package/README.md

@@ -19,7 +19,7 @@ Provide a command-line interface that:
 - **TS Contract Loading**: Bundle and load TypeScript contract files with import allowlist enforcement
 - **CLI Command Interface**: Parse arguments and route to command handlers using commander
 - **File I/O**: Read TS contracts, write emitted artifacts (`contract.json`, `contract.d.ts`)
-- **Extension Pack Loading**: Load adapter and extension pack manifests for emission
+  - **Extension Pack Descriptor Assembly**: Collect adapter and extension descriptors for emission
 - **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
 
@@ -909,8 +909,8 @@ See `.cursor/rules/config-validation-and-normalization.mdc` for detailed pattern
   - `schemaVerify(options)` - Verifies database schema against contract
   - `introspect(options)` - Introspects database schema
 
-### Pack Manifest Types (IR)
-- Families define their manifest IR and related types under their own tooling packages. CLI treats manifests as opaque data.
+### Descriptor Declarative Fields
+- Families expose component descriptors (target, adapter, driver, extensions) with declarative metadata (`version`, `capabilities`, `types`, `operations`). CLI consumers import descriptors directly—there is no JSON manifest parsing step.
 
 ## Dependencies
 
@@ -982,7 +982,6 @@ The CLI package exports several subpaths for different use cases:
 
 - **`@prisma-next/cli`** (main export): Exports `loadContractFromTs` and `createContractEmitCommand`
 - **`@prisma-next/cli/config-types`**: Exports `defineConfig` and config types
-- **`@prisma-next/cli/pack-loading`**: Exports `loadExtensionPacks` and `loadExtensionPackManifest`
 - **`@prisma-next/cli/commands/db-init`**: Exports `createDbInitCommand`
 - **`@prisma-next/cli/commands/db-introspect`**: Exports `createDbIntrospectCommand`
 - **`@prisma-next/cli/commands/db-schema-verify`**: Exports `createDbSchemaVerifyCommand`
@@ -991,7 +990,7 @@ The CLI package exports several subpaths for different use cases:
 - **`@prisma-next/cli/commands/contract-emit`**: Exports `createContractEmitCommand`
 - **`@prisma-next/cli/config-loader`**: Exports `loadConfig` function
 
-**Important**: `loadContractFromTs` is exported from the main package (`@prisma-next/cli`), not from `@prisma-next/cli/pack-loading`. See `.cursor/rules/cli-package-exports.mdc` for import patterns.
+**Important**: `loadContractFromTs` is exported from the main package (`@prisma-next/cli`). See `.cursor/rules/cli-package-exports.mdc` for import patterns.
 
 ## Package Location
 

package/dist/{chunk-YDE4ILKH.js → chunk-TPVEV7KB.js}

@@ -48,8 +48,39 @@ function assertFrameworkComponentsCompatible(expectedFamilyId, expectedTargetId,
   }
   return frameworkComponents;
 }
+function assertContractRequirementsSatisfied({
+  contract,
+  family,
+  target,
+  adapter,
+  extensions
+}) {
+  if (contract.targetFamily !== family.familyId) {
+    throw errorConfigValidation("contract.targetFamily", {
+      why: `Contract was emitted for family '${contract.targetFamily}' but CLI config is wired to '${family.familyId}'.`
+    });
+  }
+  if (contract.target !== target.targetId) {
+    throw errorConfigValidation("contract.target", {
+      why: `Contract target '${contract.target}' does not match CLI target '${target.targetId}'.`
+    });
+  }
+  const providedComponentIds = /* @__PURE__ */ new Set([target.id, adapter.id]);
+  for (const extension of extensions ?? []) {
+    providedComponentIds.add(extension.id);
+  }
+  const requiredPacks = contract.extensionPacks ? Object.keys(contract.extensionPacks) : [];
+  for (const packId of requiredPacks) {
+    if (!providedComponentIds.has(packId)) {
+      throw errorConfigValidation("contract.extensionPacks", {
+        why: `Contract requires extension pack '${packId}', but CLI config does not provide a matching descriptor.`
+      });
+    }
+  }
+}
 
 export {
-  assertFrameworkComponentsCompatible
+  assertFrameworkComponentsCompatible,
+  assertContractRequirementsSatisfied
 };
-//# sourceMappingURL=chunk-YDE4ILKH.js.map
+//# sourceMappingURL=chunk-TPVEV7KB.js.map

package/dist/chunk-TPVEV7KB.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/utils/framework-components.ts"],"sourcesContent":["import type { TargetBoundComponentDescriptor } from '@prisma-next/contract/framework-components';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport type {\n  ControlAdapterDescriptor,\n  ControlExtensionDescriptor,\n  ControlFamilyDescriptor,\n  ControlTargetDescriptor,\n} from '@prisma-next/core-control-plane/types';\nimport { errorConfigValidation } 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.extensions ?? [])];\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\nexport function assertContractRequirementsSatisfied<\n  TFamilyId extends string,\n  TTargetId extends string,\n>({\n  contract,\n  family,\n  target,\n  adapter,\n  extensions,\n}: {\n  readonly contract: Pick<ContractIR, 'targetFamily' | 'target' | 'extensionPacks'>;\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}): void {\n  if (contract.targetFamily !== family.familyId) {\n    throw errorConfigValidation('contract.targetFamily', {\n      why: `Contract was emitted for family '${contract.targetFamily}' but CLI config is wired to '${family.familyId}'.`,\n    });\n  }\n\n  if (contract.target !== target.targetId) {\n    throw errorConfigValidation('contract.target', {\n      why: `Contract target '${contract.target}' does not match CLI target '${target.targetId}'.`,\n    });\n  }\n\n  const providedComponentIds = new Set<string>([target.id, adapter.id]);\n  for (const extension of extensions ?? []) {\n    providedComponentIds.add(extension.id);\n  }\n\n  const requiredPacks = contract.extensionPacks ? Object.keys(contract.extensionPacks) : [];\n  for (const packId of requiredPacks) {\n    if (!providedComponentIds.has(packId)) {\n      throw errorConfigValidation('contract.extensionPacks', {\n        why: `Contract requires extension pack '${packId}', but CLI config does not provide a matching descriptor.`,\n      });\n    }\n  }\n}\n"],"mappings":";;;;;AA4CO,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;AAEO,SAAS,oCAGd;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF,GAMS;AACP,MAAI,SAAS,iBAAiB,OAAO,UAAU;AAC7C,UAAM,sBAAsB,yBAAyB;AAAA,MACnD,KAAK,oCAAoC,SAAS,YAAY,iCAAiC,OAAO,QAAQ;AAAA,IAChH,CAAC;AAAA,EACH;AAEA,MAAI,SAAS,WAAW,OAAO,UAAU;AACvC,UAAM,sBAAsB,mBAAmB;AAAA,MAC7C,KAAK,oBAAoB,SAAS,MAAM,gCAAgC,OAAO,QAAQ;AAAA,IACzF,CAAC;AAAA,EACH;AAEA,QAAM,uBAAuB,oBAAI,IAAY,CAAC,OAAO,IAAI,QAAQ,EAAE,CAAC;AACpE,aAAW,aAAa,cAAc,CAAC,GAAG;AACxC,yBAAqB,IAAI,UAAU,EAAE;AAAA,EACvC;AAEA,QAAM,gBAAgB,SAAS,iBAAiB,OAAO,KAAK,SAAS,cAAc,IAAI,CAAC;AACxF,aAAW,UAAU,eAAe;AAClC,QAAI,CAAC,qBAAqB,IAAI,MAAM,GAAG;AACrC,YAAM,sBAAsB,2BAA2B;AAAA,QACrD,KAAK,qCAAqC,MAAM;AAAA,MAClD,CAAC;AAAA,IACH;AAAA,EACF;AACF;","names":[]}

package/dist/cli.js

@@ -1223,6 +1223,36 @@ function assertFrameworkComponentsCompatible(expectedFamilyId, expectedTargetId,
   }
   return frameworkComponents;
 }
+function assertContractRequirementsSatisfied({
+  contract,
+  family,
+  target,
+  adapter,
+  extensions
+}) {
+  if (contract.targetFamily !== family.familyId) {
+    throw errorConfigValidation("contract.targetFamily", {
+      why: `Contract was emitted for family '${contract.targetFamily}' but CLI config is wired to '${family.familyId}'.`
+    });
+  }
+  if (contract.target !== target.targetId) {
+    throw errorConfigValidation("contract.target", {
+      why: `Contract target '${contract.target}' does not match CLI target '${target.targetId}'.`
+    });
+  }
+  const providedComponentIds = /* @__PURE__ */ new Set([target.id, adapter.id]);
+  for (const extension of extensions ?? []) {
+    providedComponentIds.add(extension.id);
+  }
+  const requiredPacks = contract.extensionPacks ? Object.keys(contract.extensionPacks) : [];
+  for (const packId of requiredPacks) {
+    if (!providedComponentIds.has(packId)) {
+      throw errorConfigValidation("contract.extensionPacks", {
+        why: `Contract requires extension pack '${packId}', but CLI config does not provide a matching descriptor.`
+      });
+    }
+  }
+}
 
 // src/commands/db-init.ts
 function createDbInitCommand() {
@@ -1318,6 +1348,13 @@ function createDbInitCommand() {
           rawComponents
         );
         const contractIR = familyInstance.validateContractIR(contractJson);
+        assertContractRequirementsSatisfied({
+          contract: contractIR,
+          family: config.family,
+          target: config.target,
+          adapter: config.adapter,
+          extensions: config.extensions ?? []
+        });
         const planner = migrations.createPlanner(familyInstance);
         const runner = migrations.createRunner(familyInstance);
         const schemaIR = await withSpinner(() => familyInstance.introspect({ driver }), {
@@ -1571,7 +1608,15 @@ function createDbIntrospectCommand() {
           extensions: config.extensions ?? []
         });
         if (contractIR) {
-          contractIR = familyInstance.validateContractIR(contractIR);
+          const validatedContract = familyInstance.validateContractIR(contractIR);
+          assertContractRequirementsSatisfied({
+            contract: validatedContract,
+            family: config.family,
+            target: config.target,
+            adapter: config.adapter,
+            extensions: config.extensions ?? []
+          });
+          contractIR = validatedContract;
         }
         let schemaIR;
         try {
@@ -1737,6 +1782,13 @@ function createDbSchemaVerifyCommand() {
           rawComponents
         );
         const contractIR = familyInstance.validateContractIR(contractJson);
+        assertContractRequirementsSatisfied({
+          contract: contractIR,
+          family: config.family,
+          target: config.target,
+          adapter: config.adapter,
+          extensions: config.extensions ?? []
+        });
         let schemaVerifyResult;
         try {
           schemaVerifyResult = await withSpinner(
@@ -1869,6 +1921,13 @@ function createDbSignCommand() {
           rawComponents
         );
         const contractIR = familyInstance.validateContractIR(contractJson);
+        assertContractRequirementsSatisfied({
+          contract: contractIR,
+          family: config.family,
+          target: config.target,
+          adapter: config.adapter,
+          extensions: config.extensions ?? []
+        });
         let schemaVerifyResult;
         try {
           schemaVerifyResult = await withSpinner(
@@ -2037,6 +2096,13 @@ function createDbVerifyCommand() {
           extensions: config.extensions ?? []
         });
         const contractIR = familyInstance.validateContractIR(contractJson);
+        assertContractRequirementsSatisfied({
+          contract: contractIR,
+          family: config.family,
+          target: config.target,
+          adapter: config.adapter,
+          extensions: config.extensions ?? []
+        });
         let verifyResult;
         try {
           verifyResult = await withSpinner(