@prisma-next/cli 0.1.0-pr.49.4 → 0.1.0-pr.49.5

package/README.md

@@ -221,20 +221,21 @@ Failure:
 
 **Family Requirements:**
 
-The family must provide a `create()` method in the family descriptor that returns a `FamilyInstance` with a `verify()` method:
+The family must provide a `create()` method in the family descriptor that returns a `ControlFamilyInstance` with a `verify()` method:
 
 ```typescript
-interface FamilyDescriptor {
+interface ControlFamilyDescriptor {
   create(options: {
-    target: TargetDescriptor;
-    adapter: AdapterDescriptor;
-    extensions: ExtensionDescriptor[];
-  }): FamilyInstance;
+    target: ControlTargetDescriptor;
+    adapter: ControlAdapterDescriptor;
+    driver: ControlDriverDescriptor;
+    extensions: ControlExtensionDescriptor[];
+  }): ControlFamilyInstance;
 }
 
-interface FamilyInstance {
+interface ControlFamilyInstance {
   verify(options: {
-    driver: ControlPlaneDriver;
+    driver: ControlDriverInstance;
     contractIR: ContractIR;
     expectedTargetId: string;
     contractPath: string;
@@ -377,11 +378,11 @@ sql schema (tables: 2)
 **Family Requirements:**
 
 The family must provide:
-1. A `create()` method in the family descriptor that returns a `FamilyInstance` with an `introspect()` method
-2. An optional `toSchemaView()` method on the `FamilyInstance` to project family-specific schema IR into `CoreSchemaView`
+1. A `create()` method in the family descriptor that returns a `ControlFamilyInstance` with an `introspect()` method
+2. An optional `toSchemaView()` method on the `ControlFamilyInstance` to project family-specific schema IR into `CoreSchemaView`
 
 ```typescript
-interface FamilyInstance {
+interface ControlFamilyInstance {
   introspect(options: {
     driver: ControlDriverInstance;
     contractIR?: ContractIR;
@@ -583,10 +584,10 @@ The `db sign` command is idempotent and safe to run multiple times:
 - Safe to run in CI/deployment pipelines
 
 **Family Requirements:**
-The family must provide a `create()` method in the family descriptor that returns a `FamilyInstance` with `schemaVerify()` and `sign()` methods:
+The family must provide a `create()` method in the family descriptor that returns a `ControlFamilyInstance` with `schemaVerify()` and `sign()` methods:
 
 ```typescript
-interface FamilyInstance {
+interface ControlFamilyInstance {
   schemaVerify(options: {
     driver: ControlDriverInstance;
     contractIR: ContractIR;

package/dist/{chunk-4W62XWA4.js → chunk-VWAVGWUP.js}

@@ -9,7 +9,7 @@ import {
   performAction,
   setCommandDescriptions,
   withSpinner
-} from "./chunk-JLA4BH74.js";
+} from "./chunk-ZKEJZ3NU.js";
 import {
   loadConfig
 } from "./chunk-HWYQOCAJ.js";
@@ -131,4 +131,4 @@ function createContractEmitCommand() {
 export {
   createContractEmitCommand
 };
-//# sourceMappingURL=chunk-4W62XWA4.js.map
+//# sourceMappingURL=chunk-VWAVGWUP.js.map

package/dist/chunk-VWAVGWUP.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 { Command } from 'commander';\nimport { loadConfig } from '../config-loader';\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 { performAction } from '../utils/result';\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        // Create family instance (assembles operation registry, type imports, extension IDs)\n        // Note: emit command doesn't need driver, but ControlFamilyDescriptor.create() requires it\n        // We'll need to provide a minimal driver descriptor or make driver optional for emit\n        // For now, we'll require driver to be present in config even for emit\n        if (!config.driver) {\n          throw errorContractConfigMissing({\n            why: 'Config.driver is required. Even though emit does not use the driver, it is required by ControlFamilyDescriptor.create()',\n          });\n        }\n        const familyInstance = config.family.create({\n          target: config.target,\n          adapter: config.adapter,\n          driver: config.driver,\n          extensions: config.extensions ?? [],\n        });\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,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;AAMA,UAAI,CAAC,OAAO,QAAQ;AAClB,cAAM,2BAA2B;AAAA,UAC/B,KAAK;AAAA,QACP,CAAC;AAAA,MACH;AACA,YAAM,iBAAiB,OAAO,OAAO,OAAO;AAAA,QAC1C,QAAQ,OAAO;AAAA,QACf,SAAS,OAAO;AAAA,QAChB,QAAQ,OAAO;AAAA,QACf,YAAY,OAAO,cAAc,CAAC;AAAA,MACpC,CAAC;AAGD,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/chunk-YDE4ILKH.js

@@ -0,0 +1,55 @@
+import {
+  errorConfigValidation
+} from "./chunk-ZKEJZ3NU.js";
+
+// src/utils/framework-components.ts
+function assertFrameworkComponentsCompatible(expectedFamilyId, expectedTargetId, frameworkComponents) {
+  for (let i = 0; i < frameworkComponents.length; i++) {
+    const component = frameworkComponents[i];
+    if (typeof component !== "object" || component === null) {
+      throw errorConfigValidation("frameworkComponents[]", {
+        why: `Framework component at index ${i} must be an object`
+      });
+    }
+    const record = component;
+    if (!Object.hasOwn(record, "kind")) {
+      throw errorConfigValidation("frameworkComponents[].kind", {
+        why: `Framework component at index ${i} must have 'kind' property`
+      });
+    }
+    const kind = record["kind"];
+    if (kind !== "target" && kind !== "adapter" && kind !== "extension" && kind !== "driver") {
+      throw errorConfigValidation("frameworkComponents[].kind", {
+        why: `Framework component at index ${i} has invalid kind '${String(kind)}' (must be 'target', 'adapter', 'extension', or 'driver')`
+      });
+    }
+    if (!Object.hasOwn(record, "familyId")) {
+      throw errorConfigValidation("frameworkComponents[].familyId", {
+        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'familyId' property`
+      });
+    }
+    const familyId = record["familyId"];
+    if (familyId !== expectedFamilyId) {
+      throw errorConfigValidation("frameworkComponents[].familyId", {
+        why: `Framework component at index ${i} (kind: ${String(kind)}) has familyId '${String(familyId)}' but expected '${expectedFamilyId}'`
+      });
+    }
+    if (!Object.hasOwn(record, "targetId")) {
+      throw errorConfigValidation("frameworkComponents[].targetId", {
+        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'targetId' property`
+      });
+    }
+    const targetId = record["targetId"];
+    if (targetId !== expectedTargetId) {
+      throw errorConfigValidation("frameworkComponents[].targetId", {
+        why: `Framework component at index ${i} (kind: ${String(kind)}) has targetId '${String(targetId)}' but expected '${expectedTargetId}'`
+      });
+    }
+  }
+  return frameworkComponents;
+}
+
+export {
+  assertFrameworkComponentsCompatible
+};
+//# sourceMappingURL=chunk-YDE4ILKH.js.map

package/dist/chunk-YDE4ILKH.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/utils/framework-components.ts"],"sourcesContent":["import type { TargetBoundComponentDescriptor } from '@prisma-next/contract/framework-components';\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"],"mappings":";;;;;AAqCO,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;","names":[]}

package/dist/{chunk-JLA4BH74.js → chunk-ZKEJZ3NU.js}

@@ -961,6 +961,7 @@ export {
   formatStyledHeader,
   formatSuccessMessage,
   formatCommandHelp,
+  errorConfigValidation,
   errorDatabaseUrlRequired,
   errorDriverRequired,
   errorFileNotFound,
@@ -972,4 +973,4 @@ export {
   handleResult,
   withSpinner
 };
-//# sourceMappingURL=chunk-JLA4BH74.js.map
+//# sourceMappingURL=chunk-ZKEJZ3NU.js.map

package/dist/cli.js

@@ -1176,6 +1176,55 @@ function createContractEmitCommand() {
 import { readFile } from "fs/promises";
 import { relative as relative3, resolve as resolve3 } from "path";
 import { Command as Command2 } from "commander";
+
+// src/utils/framework-components.ts
+function assertFrameworkComponentsCompatible(expectedFamilyId, expectedTargetId, frameworkComponents) {
+  for (let i = 0; i < frameworkComponents.length; i++) {
+    const component = frameworkComponents[i];
+    if (typeof component !== "object" || component === null) {
+      throw errorConfigValidation("frameworkComponents[]", {
+        why: `Framework component at index ${i} must be an object`
+      });
+    }
+    const record = component;
+    if (!Object.hasOwn(record, "kind")) {
+      throw errorConfigValidation("frameworkComponents[].kind", {
+        why: `Framework component at index ${i} must have 'kind' property`
+      });
+    }
+    const kind = record["kind"];
+    if (kind !== "target" && kind !== "adapter" && kind !== "extension" && kind !== "driver") {
+      throw errorConfigValidation("frameworkComponents[].kind", {
+        why: `Framework component at index ${i} has invalid kind '${String(kind)}' (must be 'target', 'adapter', 'extension', or 'driver')`
+      });
+    }
+    if (!Object.hasOwn(record, "familyId")) {
+      throw errorConfigValidation("frameworkComponents[].familyId", {
+        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'familyId' property`
+      });
+    }
+    const familyId = record["familyId"];
+    if (familyId !== expectedFamilyId) {
+      throw errorConfigValidation("frameworkComponents[].familyId", {
+        why: `Framework component at index ${i} (kind: ${String(kind)}) has familyId '${String(familyId)}' but expected '${expectedFamilyId}'`
+      });
+    }
+    if (!Object.hasOwn(record, "targetId")) {
+      throw errorConfigValidation("frameworkComponents[].targetId", {
+        why: `Framework component at index ${i} (kind: ${String(kind)}) must have 'targetId' property`
+      });
+    }
+    const targetId = record["targetId"];
+    if (targetId !== expectedTargetId) {
+      throw errorConfigValidation("frameworkComponents[].targetId", {
+        why: `Framework component at index ${i} (kind: ${String(kind)}) has targetId '${String(targetId)}' but expected '${expectedTargetId}'`
+      });
+    }
+  }
+  return frameworkComponents;
+}
+
+// src/commands/db-init.ts
 function createDbInitCommand() {
   const command = new Command2("init");
   setCommandDescriptions(
@@ -1262,11 +1311,16 @@ function createDbInitCommand() {
           driver: driverDescriptor,
           extensions: config.extensions ?? []
         });
-        const typedFamilyInstance = familyInstance;
-        const contractIR = typedFamilyInstance.validateContractIR(contractJson);
+        const rawComponents = [config.target, config.adapter, ...config.extensions ?? []];
+        const frameworkComponents = assertFrameworkComponentsCompatible(
+          config.family.familyId,
+          config.target.targetId,
+          rawComponents
+        );
+        const contractIR = familyInstance.validateContractIR(contractJson);
         const planner = migrations.createPlanner(familyInstance);
         const runner = migrations.createRunner(familyInstance);
-        const schemaIR = await withSpinner(() => typedFamilyInstance.introspect({ driver }), {
+        const schemaIR = await withSpinner(() => familyInstance.introspect({ driver }), {
           message: "Introspecting database schema...",
           flags
         });
@@ -1275,7 +1329,8 @@ function createDbInitCommand() {
           async () => planner.plan({
             contract: contractIR,
             schema: schemaIR,
-            policy
+            policy,
+            frameworkComponents
           }),
           {
             message: "Planning migration...",
@@ -1319,7 +1374,8 @@ function createDbInitCommand() {
             driver,
             destinationContract: contractIR,
             policy,
-            callbacks
+            callbacks,
+            frameworkComponents
           }),
           {
             message: "Applying migration plan...",
@@ -1409,8 +1465,7 @@ function createDbIntrospectCommand() {
         const contractPath = resolve4(config.contract.output);
         try {
           const contractJsonContent = await readFile2(contractPath, "utf-8");
-          const contractJson = JSON.parse(contractJsonContent);
-          contractIR = contractJson;
+          contractIR = JSON.parse(contractJsonContent);
         } catch (error) {
           if (error instanceof Error && error.code !== "ENOENT") {
             throw errorUnexpected3(error.message, {
@@ -1458,14 +1513,13 @@ function createDbIntrospectCommand() {
           driver: driverDescriptor,
           extensions: config.extensions ?? []
         });
-        const typedFamilyInstance = familyInstance;
         if (contractIR) {
-          contractIR = typedFamilyInstance.validateContractIR(contractIR);
+          contractIR = familyInstance.validateContractIR(contractIR);
         }
         let schemaIR;
         try {
           schemaIR = await withSpinner(
-            () => typedFamilyInstance.introspect({
+            () => familyInstance.introspect({
               driver,
               contractIR
             }),
@@ -1480,9 +1534,9 @@ function createDbIntrospectCommand() {
           });
         }
         let schemaView;
-        if (typedFamilyInstance.toSchemaView) {
+        if (familyInstance.toSchemaView) {
           try {
-            schemaView = typedFamilyInstance.toSchemaView(schemaIR);
+            schemaView = familyInstance.toSchemaView(schemaIR);
           } catch (error) {
             if (flags.verbose) {
               console.error(
@@ -1619,17 +1673,23 @@ function createDbSchemaVerifyCommand() {
           driver: driverDescriptor,
           extensions: config.extensions ?? []
         });
-        const typedFamilyInstance = familyInstance;
-        const contractIR = typedFamilyInstance.validateContractIR(contractJson);
+        const rawComponents = [config.target, config.adapter, ...config.extensions ?? []];
+        const frameworkComponents = assertFrameworkComponentsCompatible(
+          config.family.familyId,
+          config.target.targetId,
+          rawComponents
+        );
+        const contractIR = familyInstance.validateContractIR(contractJson);
         let schemaVerifyResult;
         try {
           schemaVerifyResult = await withSpinner(
-            () => typedFamilyInstance.schemaVerify({
+            () => familyInstance.schemaVerify({
               driver,
               contractIR,
               strict: options.strict ?? false,
               contractPath: contractPathAbsolute,
-              configPath
+              configPath,
+              frameworkComponents
             }),
             {
               message: "Verifying database schema...",
@@ -1745,20 +1805,24 @@ function createDbSignCommand() {
           driver: driverDescriptor,
           extensions: config.extensions ?? []
         });
-        const typedFamilyInstance = familyInstance;
-        const contractIR = typedFamilyInstance.validateContractIR(contractJson);
+        const rawComponents = [config.target, config.adapter, ...config.extensions ?? []];
+        const frameworkComponents = assertFrameworkComponentsCompatible(
+          config.family.familyId,
+          config.target.targetId,
+          rawComponents
+        );
+        const contractIR = familyInstance.validateContractIR(contractJson);
         let schemaVerifyResult;
         try {
           schemaVerifyResult = await withSpinner(
-            async () => {
-              return await typedFamilyInstance.schemaVerify({
-                driver,
-                contractIR,
-                strict: false,
-                contractPath: contractPathAbsolute,
-                configPath
-              });
-            },
+            () => familyInstance.schemaVerify({
+              driver,
+              contractIR,
+              strict: false,
+              contractPath: contractPathAbsolute,
+              configPath,
+              frameworkComponents
+            }),
             {
               message: "Verifying database satisfies contract",
               flags
@@ -1775,14 +1839,12 @@ function createDbSignCommand() {
         let signResult;
         try {
           signResult = await withSpinner(
-            async () => {
-              return await typedFamilyInstance.sign({
-                driver,
-                contractIR,
-                contractPath: contractPathAbsolute,
-                configPath
-              });
-            },
+            () => familyInstance.sign({
+              driver,
+              contractIR,
+              contractPath: contractPathAbsolute,
+              configPath
+            }),
             {
               message: "Signing database...",
               flags
@@ -1917,12 +1979,11 @@ function createDbVerifyCommand() {
           driver: driverDescriptor,
           extensions: config.extensions ?? []
         });
-        const typedFamilyInstance = familyInstance;
-        const contractIR = typedFamilyInstance.validateContractIR(contractJson);
+        const contractIR = familyInstance.validateContractIR(contractJson);
         let verifyResult;
         try {
           verifyResult = await withSpinner(
-            () => typedFamilyInstance.verify({
+            () => familyInstance.verify({
               driver,
               contractIR,
               expectedTargetId: config.target.targetId,