@prisma-next/core-control-plane 0.1.0-pr.55.2 → 0.1.0-pr.56.1

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

@@ -1,6 +1,6 @@
 import { ControlFamilyDescriptor, ControlTargetDescriptor, ControlAdapterDescriptor, ControlExtensionDescriptor, ControlDriverDescriptor } from './types.js';
+import '@prisma-next/contract/framework-components';
 import '@prisma-next/contract/ir';
-import '@prisma-next/contract/pack-manifest-types';
 import '@prisma-next/contract/types';
 import '@prisma-next/utils/result';
 import './schema-view.js';

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

@@ -1,7 +1,7 @@
 import { PrismaNextConfig } from './config-types.js';
 import './types.js';
+import '@prisma-next/contract/framework-components';
 import '@prisma-next/contract/ir';
-import '@prisma-next/contract/pack-manifest-types';
 import '@prisma-next/contract/types';
 import '@prisma-next/utils/result';
 import './schema-view.js';

package/dist/exports/types.d.ts

@@ -1,6 +1,6 @@
+import { FamilyDescriptor, TargetDescriptor, AdapterDescriptor, DriverDescriptor, ExtensionDescriptor } from '@prisma-next/contract/framework-components';
 import { ContractIR } from '@prisma-next/contract/ir';
-import { ExtensionPackManifest } from '@prisma-next/contract/pack-manifest-types';
-import { TargetFamilyHook } from '@prisma-next/contract/types';
+import { FamilyInstance, TargetFamilyHook } from '@prisma-next/contract/types';
 import { Result } from '@prisma-next/utils/result';
 import { CoreSchemaView } from './schema-view.js';
 
@@ -145,13 +145,88 @@ interface TargetMigrationsCapability<TFamilyInstance extends ControlFamilyInstan
 }
 
 /**
- * Base interface for control-plane family instances.
- * Families extend this with domain-specific methods.
+ * Control-plane family instance interface.
+ * Extends the base FamilyInstance with control-plane domain actions.
  *
  * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TSchemaIR - The schema IR type returned by introspect()
+ * @template TVerifyResult - The result type for verify()
+ * @template TSchemaVerifyResult - The result type for schemaVerify()
+ * @template TSignResult - The result type for sign()
  */
-interface ControlFamilyInstance<TFamilyId extends string = string> {
-    readonly familyId: TFamilyId;
+interface ControlFamilyInstance<TFamilyId extends string = string, TSchemaIR = unknown, TVerifyResult = unknown, TSchemaVerifyResult = unknown, TSignResult = unknown> extends FamilyInstance<TFamilyId> {
+    /**
+     * Validates a contract JSON and returns a validated ContractIR (without mappings).
+     * Mappings are runtime-only and should not be part of ContractIR.
+     */
+    validateContractIR(contractJson: unknown): unknown;
+    /**
+     * Verifies the database marker against the contract.
+     * Compares target, coreHash, and profileHash.
+     */
+    verify(options: {
+        readonly driver: ControlDriverInstance;
+        readonly contractIR: unknown;
+        readonly expectedTargetId: string;
+        readonly contractPath: string;
+        readonly configPath?: string;
+    }): Promise<TVerifyResult>;
+    /**
+     * Verifies the database schema against the contract.
+     * Compares contract requirements against live database schema.
+     */
+    schemaVerify(options: {
+        readonly driver: ControlDriverInstance;
+        readonly contractIR: unknown;
+        readonly strict: boolean;
+        readonly contractPath: string;
+        readonly configPath?: string;
+    }): Promise<TSchemaVerifyResult>;
+    /**
+     * Signs the database with the contract marker.
+     * Writes or updates the contract marker if schema verification passes.
+     * This operation is idempotent - if the marker already matches, no changes are made.
+     */
+    sign(options: {
+        readonly driver: ControlDriverInstance;
+        readonly contractIR: unknown;
+        readonly contractPath: string;
+        readonly configPath?: string;
+    }): Promise<TSignResult>;
+    /**
+     * Introspects the database schema and returns a family-specific schema IR.
+     *
+     * This is a read-only operation that returns a snapshot of the live database schema.
+     * The method is family-owned and delegates to target/adapter-specific introspectors
+     * to perform the actual schema introspection.
+     *
+     * @param options - Introspection options
+     * @param options.driver - Control plane driver for database connection
+     * @param options.contractIR - Optional contract IR for contract-guided introspection.
+     *   When provided, families may use it for filtering, optimization, or validation
+     *   during introspection. The contract IR does not change the meaning of "what exists"
+     *   in the database - it only guides how introspection is performed.
+     * @returns Promise resolving to the family-specific Schema IR (e.g., `SqlSchemaIR` for SQL).
+     *   The IR represents the complete schema snapshot at the time of introspection.
+     */
+    introspect(options: {
+        readonly driver: ControlDriverInstance;
+        readonly contractIR?: unknown;
+    }): Promise<TSchemaIR>;
+    /**
+     * Optionally projects a family-specific Schema IR into a core schema view.
+     * Families that provide this method enable rich tree output for CLI visualization.
+     * Families that do not provide it still support introspection via raw Schema IR.
+     */
+    toSchemaView?(schema: TSchemaIR): CoreSchemaView;
+    /**
+     * Emits contract JSON and DTS as strings.
+     * Uses the instance's preassembled state (operation registry, type imports, extension IDs).
+     * Handles stripping mappings and validation internally.
+     */
+    emitContract(options: {
+        readonly contractIR: ContractIR | unknown;
+    }): Promise<EmitContractResult>;
 }
 /**
  * Base interface for control-plane target instances.
@@ -239,11 +314,7 @@ interface OperationContext {
  * @template TFamilyId - The family ID (e.g., 'sql', 'document')
  * @template TFamilyInstance - The family instance type
  */
-interface ControlFamilyDescriptor<TFamilyId extends string, TFamilyInstance extends ControlFamilyInstance<TFamilyId> = ControlFamilyInstance<TFamilyId>> {
-    readonly kind: 'family';
-    readonly id: string;
-    readonly familyId: TFamilyId;
-    readonly manifest: ExtensionPackManifest;
+interface ControlFamilyDescriptor<TFamilyId extends string, TFamilyInstance extends ControlFamilyInstance<TFamilyId> = ControlFamilyInstance<TFamilyId>> extends FamilyDescriptor<TFamilyId> {
     readonly hook: TargetFamilyHook;
     create<TTargetId extends string>(options: {
         readonly target: ControlTargetDescriptor<TFamilyId, TTargetId>;
@@ -253,19 +324,14 @@ interface ControlFamilyDescriptor<TFamilyId extends string, TFamilyInstance exte
     }): TFamilyInstance;
 }
 /**
- * Descriptor for a control-plane target pack (e.g., Postgres target).
+ * Descriptor for a control-plane target component (e.g., Postgres target).
  *
  * @template TFamilyId - The family ID (e.g., 'sql', 'document')
  * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
  * @template TTargetInstance - The target instance type
  * @template TFamilyInstance - The family instance type for migrations (optional)
  */
-interface ControlTargetDescriptor<TFamilyId extends string, TTargetId extends string, TTargetInstance extends ControlTargetInstance<TFamilyId, TTargetId> = ControlTargetInstance<TFamilyId, TTargetId>, TFamilyInstance extends ControlFamilyInstance<TFamilyId> = ControlFamilyInstance<TFamilyId>> {
-    readonly kind: 'target';
-    readonly id: string;
-    readonly familyId: TFamilyId;
-    readonly targetId: TTargetId;
-    readonly manifest: ExtensionPackManifest;
+interface ControlTargetDescriptor<TFamilyId extends string, TTargetId extends string, TTargetInstance extends ControlTargetInstance<TFamilyId, TTargetId> = ControlTargetInstance<TFamilyId, TTargetId>, TFamilyInstance extends ControlFamilyInstance<TFamilyId> = ControlFamilyInstance<TFamilyId>> extends TargetDescriptor<TFamilyId, TTargetId> {
     /**
      * Optional migrations capability.
      * Targets that support migrations expose this property.
@@ -274,129 +340,35 @@ interface ControlTargetDescriptor<TFamilyId extends string, TTargetId extends st
     create(): TTargetInstance;
 }
 /**
- * Descriptor for a control-plane adapter pack (e.g., Postgres adapter).
+ * Descriptor for a control-plane adapter component (e.g., Postgres adapter).
  *
  * @template TFamilyId - The family ID (e.g., 'sql', 'document')
  * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
  * @template TAdapterInstance - The adapter instance type
  */
-interface ControlAdapterDescriptor<TFamilyId extends string, TTargetId extends string, TAdapterInstance extends ControlAdapterInstance<TFamilyId, TTargetId> = ControlAdapterInstance<TFamilyId, TTargetId>> {
-    readonly kind: 'adapter';
-    readonly id: string;
-    readonly familyId: TFamilyId;
-    readonly targetId: TTargetId;
-    readonly manifest: ExtensionPackManifest;
+interface ControlAdapterDescriptor<TFamilyId extends string, TTargetId extends string, TAdapterInstance extends ControlAdapterInstance<TFamilyId, TTargetId> = ControlAdapterInstance<TFamilyId, TTargetId>> extends AdapterDescriptor<TFamilyId, TTargetId> {
     create(): TAdapterInstance;
 }
 /**
- * Descriptor for a control-plane driver pack (e.g., Postgres driver).
+ * Descriptor for a control-plane driver component (e.g., Postgres driver).
  *
  * @template TFamilyId - The family ID (e.g., 'sql', 'document')
  * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
  * @template TDriverInstance - The driver instance type
  */
-interface ControlDriverDescriptor<TFamilyId extends string, TTargetId extends string, TDriverInstance extends ControlDriverInstance<TTargetId> = ControlDriverInstance<TTargetId>> {
-    readonly kind: 'driver';
-    readonly id: string;
-    readonly familyId: TFamilyId;
-    readonly targetId: TTargetId;
-    readonly manifest: ExtensionPackManifest;
+interface ControlDriverDescriptor<TFamilyId extends string, TTargetId extends string, TDriverInstance extends ControlDriverInstance<TTargetId> = ControlDriverInstance<TTargetId>> extends DriverDescriptor<TFamilyId, TTargetId> {
     create(url: string): Promise<TDriverInstance>;
 }
 /**
- * Descriptor for a control-plane extension pack (e.g., pgvector).
+ * Descriptor for a control-plane extension component (e.g., pgvector).
  *
  * @template TFamilyId - The family ID (e.g., 'sql', 'document')
  * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
  * @template TExtensionInstance - The extension instance type
  */
-interface ControlExtensionDescriptor<TFamilyId extends string, TTargetId extends string, TExtensionInstance extends ControlExtensionInstance<TFamilyId, TTargetId> = ControlExtensionInstance<TFamilyId, TTargetId>> {
-    readonly kind: 'extension';
-    readonly id: string;
-    readonly familyId: TFamilyId;
-    readonly targetId: TTargetId;
-    readonly manifest: ExtensionPackManifest;
+interface ControlExtensionDescriptor<TFamilyId extends string, TTargetId extends string, TExtensionInstance extends ControlExtensionInstance<TFamilyId, TTargetId> = ControlExtensionInstance<TFamilyId, TTargetId>> extends ExtensionDescriptor<TFamilyId, TTargetId> {
     create(): TExtensionInstance;
 }
-/**
- * Family instance interface for control-plane domain actions.
- * Each family implements this interface with family-specific types.
- */
-interface FamilyInstance<TFamilyId extends string, TSchemaIR = unknown, TVerifyResult = unknown, TSchemaVerifyResult = unknown, TSignResult = unknown> {
-    readonly familyId: TFamilyId;
-    /**
-     * Validates a contract JSON and returns a validated ContractIR (without mappings).
-     * Mappings are runtime-only and should not be part of ContractIR.
-     */
-    validateContractIR(contractJson: unknown): unknown;
-    /**
-     * Verifies the database marker against the contract.
-     * Compares target, coreHash, and profileHash.
-     */
-    verify(options: {
-        readonly driver: ControlDriverInstance;
-        readonly contractIR: unknown;
-        readonly expectedTargetId: string;
-        readonly contractPath: string;
-        readonly configPath?: string;
-    }): Promise<TVerifyResult>;
-    /**
-     * Verifies the database schema against the contract.
-     * Compares contract requirements against live database schema.
-     */
-    schemaVerify(options: {
-        readonly driver: ControlDriverInstance;
-        readonly contractIR: unknown;
-        readonly strict: boolean;
-        readonly contractPath: string;
-        readonly configPath?: string;
-    }): Promise<TSchemaVerifyResult>;
-    /**
-     * Signs the database with the contract marker.
-     * Writes or updates the contract marker if schema verification passes.
-     * This operation is idempotent - if the marker already matches, no changes are made.
-     */
-    sign(options: {
-        readonly driver: ControlDriverInstance;
-        readonly contractIR: unknown;
-        readonly contractPath: string;
-        readonly configPath?: string;
-    }): Promise<TSignResult>;
-    /**
-     * Introspects the database schema and returns a family-specific schema IR.
-     *
-     * This is a read-only operation that returns a snapshot of the live database schema.
-     * The method is family-owned and delegates to target/adapter-specific introspectors
-     * to perform the actual schema introspection.
-     *
-     * @param options - Introspection options
-     * @param options.driver - Control plane driver for database connection
-     * @param options.contractIR - Optional contract IR for contract-guided introspection.
-     *   When provided, families may use it for filtering, optimization, or validation
-     *   during introspection. The contract IR does not change the meaning of "what exists"
-     *   in the database - it only guides how introspection is performed.
-     * @returns Promise resolving to the family-specific Schema IR (e.g., `SqlSchemaIR` for SQL).
-     *   The IR represents the complete schema snapshot at the time of introspection.
-     */
-    introspect(options: {
-        readonly driver: ControlDriverInstance;
-        readonly contractIR?: unknown;
-    }): Promise<TSchemaIR>;
-    /**
-     * Optionally projects a family-specific Schema IR into a core schema view.
-     * Families that provide this method enable rich tree output for CLI visualization.
-     * Families that do not provide it still support introspection via raw Schema IR.
-     */
-    toSchemaView?(schema: TSchemaIR): CoreSchemaView;
-    /**
-     * Emits contract JSON and DTS as strings.
-     * Uses the instance's preassembled state (operation registry, type imports, extension IDs).
-     * Handles stripping mappings and validation internally.
-     */
-    emitContract(options: {
-        readonly contractIR: ContractIR | unknown;
-    }): Promise<EmitContractResult>;
-}
 /**
  * Result type for database marker verification operations.
  */
@@ -550,4 +522,4 @@ interface SignDatabaseResult {
     };
 }
 
-export type { ControlAdapterDescriptor, ControlAdapterInstance, ControlDriverDescriptor, ControlDriverInstance, ControlExtensionDescriptor, ControlExtensionInstance, ControlFamilyDescriptor, ControlFamilyInstance, ControlTargetDescriptor, ControlTargetInstance, EmitContractResult, FamilyInstance, IntrospectSchemaResult, MigrationOperationClass, MigrationOperationPolicy, MigrationPlan, MigrationPlanOperation, MigrationPlanner, MigrationPlannerConflict, MigrationPlannerFailureResult, MigrationPlannerResult, MigrationPlannerSuccessResult, MigrationRunner, MigrationRunnerFailure, MigrationRunnerResult, MigrationRunnerSuccessValue, OperationContext, SchemaIssue, SchemaVerificationNode, SignDatabaseResult, TargetMigrationsCapability, VerifyDatabaseResult, VerifyDatabaseSchemaResult };
+export type { ControlAdapterDescriptor, ControlAdapterInstance, ControlDriverDescriptor, ControlDriverInstance, ControlExtensionDescriptor, ControlExtensionInstance, ControlFamilyDescriptor, ControlFamilyInstance, ControlTargetDescriptor, ControlTargetInstance, EmitContractResult, IntrospectSchemaResult, MigrationOperationClass, MigrationOperationPolicy, MigrationPlan, MigrationPlanOperation, MigrationPlanner, MigrationPlannerConflict, MigrationPlannerFailureResult, MigrationPlannerResult, MigrationPlannerSuccessResult, MigrationRunner, MigrationRunnerFailure, MigrationRunnerResult, MigrationRunnerSuccessValue, OperationContext, SchemaIssue, SchemaVerificationNode, SignDatabaseResult, TargetMigrationsCapability, VerifyDatabaseResult, VerifyDatabaseSchemaResult };

package/package.json

@@ -1,15 +1,15 @@
 {
   "name": "@prisma-next/core-control-plane",
-  "version": "0.1.0-pr.55.2",
+  "version": "0.1.0-pr.56.1",
   "type": "module",
   "sideEffects": false,
   "description": "Control plane domain actions, config types, validation, and error factories for Prisma Next",
   "dependencies": {
     "arktype": "^2.1.26",
     "prettier": "^3.3.3",
-    "@prisma-next/contract": "0.1.0-pr.55.2",
-    "@prisma-next/operations": "0.1.0-pr.55.2",
-    "@prisma-next/utils": "0.1.0-pr.55.2"
+    "@prisma-next/contract": "0.1.0-pr.56.1",
+    "@prisma-next/operations": "0.1.0-pr.56.1",
+    "@prisma-next/utils": "0.1.0-pr.56.1"
   },
   "devDependencies": {
     "tsup": "^8.3.0",