@prisma-next/core-control-plane 0.3.0-pr.94.3 → 0.3.0-pr.95.2

package/dist/migrations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrations.d.ts","sourceRoot":"","sources":["../src/migrations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,4CAA4C,CAAC;AACjG,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,KAAK,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,MAAM,SAAS,CAAC;AAM5E;;;;;GAKG;AACH,MAAM,MAAM,uBAAuB,GAAG,UAAU,GAAG,UAAU,GAAG,aAAa,CAAC;AAE9E;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,uBAAuB,EAAE,SAAS,uBAAuB,EAAE,CAAC;CACtE;AAMD;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC,yEAAyE;IACzE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,gEAAgE;IAChE,QAAQ,CAAC,cAAc,EAAE,uBAAuB,CAAC;CAClD;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,yDAAyD;IACzD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,oEAAoE;IACpE,QAAQ,CAAC,WAAW,EAAE;QACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;KAC/B,CAAC;IACF,6CAA6C;IAC7C,QAAQ,CAAC,UAAU,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACxD;AAMD;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,sEAAsE;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,0DAA0D;IAC1D,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,wBAAwB,EAAE,CAAC;CACzD;AAED;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAAG,6BAA6B,GAAG,6BAA6B,CAAC;AAMnG;;GAEG;AACH,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACrC;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,kCAAkC;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6CAA6C;IAC7C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,wDAAwD;IACxD,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,+EAA+E;IAC/E,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACzC;AAED;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,2BAA2B,EAAE,sBAAsB,CAAC,CAAC;AAMhG;;;GAGG;AACH,MAAM,WAAW,8BAA8B;IAC7C;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B;;;OAGG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;IAC9B;;;OAGG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;CACtC;AAMD;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB,CAC/B,SAAS,SAAS,MAAM,GAAG,MAAM,EACjC,SAAS,SAAS,MAAM,GAAG,MAAM;IAEjC,IAAI,CAAC,OAAO,EAAE;QACZ,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;QAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;QACzB,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC;QAC1C;;;;WAIG;QACH,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CACzC,8BAA8B,CAAC,SAAS,EAAE,SAAS,CAAC,CACrD,CAAC;KACH,GAAG,sBAAsB,CAAC;CAC5B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,eAAe,CAC9B,SAAS,SAAS,MAAM,GAAG,MAAM,EACjC,SAAS,SAAS,MAAM,GAAG,MAAM;IAEjC,OAAO,CAAC,OAAO,EAAE;QACf,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;QAC7B,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAC7D,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;QACtC,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC;QAC1C,QAAQ,CAAC,SAAS,CAAC,EAAE;YACnB,gBAAgB,CAAC,CAAC,EAAE,EAAE,sBAAsB,GAAG,IAAI,CAAC;YACpD,mBAAmB,CAAC,CAAC,EAAE,EAAE,sBAAsB,GAAG,IAAI,CAAC;SACxD,CAAC;QACF;;;WAGG;QACH,QAAQ,CAAC,eAAe,CAAC,EAAE,8BAA8B,CAAC;QAC1D;;;;WAIG;QACH,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CACzC,8BAA8B,CAAC,SAAS,EAAE,SAAS,CAAC,CACrD,CAAC;KACH,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;CACpC;AAMD;;;;;;;GAOG;AACH,MAAM,WAAW,0BAA0B,CACzC,SAAS,SAAS,MAAM,GAAG,MAAM,EACjC,SAAS,SAAS,MAAM,GAAG,MAAM,EACjC,eAAe,SAAS,qBAAqB,CAAC,SAAS,CAAC,GAAG,qBAAqB,CAAC,SAAS,CAAC;IAE3F,aAAa,CAAC,MAAM,EAAE,eAAe,GAAG,gBAAgB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAC/E,YAAY,CAAC,MAAM,EAAE,eAAe,GAAG,eAAe,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;CAC9E"}

package/dist/{schema-view-BG_ebqoV.d.mts → schema-view.d.ts}

@@ -1,4 +1,3 @@
-//#region src/schema-view.d.ts
 /**
  * Core schema view types for family-agnostic schema visualization.
  *
@@ -65,25 +64,23 @@
  * Node kinds for schema tree nodes.
  * Designed to be generic enough for SQL, document, KV, and future families.
  */
-type SchemaNodeKind = 'root' | 'namespace' | 'collection' | 'entity' | 'field' | 'index' | 'extension';
+export type SchemaNodeKind = 'root' | 'namespace' | 'collection' | 'entity' | 'field' | 'index' | 'extension';
 /**
  * A node in the schema tree.
  * Tree-shaped structure good for Command Tree-style CLI output.
  */
-interface SchemaTreeNode {
-  readonly kind: SchemaNodeKind;
-  readonly id: string;
-  readonly label: string;
-  readonly meta?: Record<string, unknown>;
-  readonly children?: readonly SchemaTreeNode[];
+export interface SchemaTreeNode {
+    readonly kind: SchemaNodeKind;
+    readonly id: string;
+    readonly label: string;
+    readonly meta?: Record<string, unknown>;
+    readonly children?: readonly SchemaTreeNode[];
 }
 /**
  * Core schema view providing a family-agnostic tree representation of a schema.
  * Used by CLI and cross-family tooling for visualization.
  */
-interface CoreSchemaView {
-  readonly root: SchemaTreeNode;
+export interface CoreSchemaView {
+    readonly root: SchemaTreeNode;
 }
-//#endregion
-export { SchemaNodeKind as n, SchemaTreeNode as r, CoreSchemaView as t };
-//# sourceMappingURL=schema-view-BG_ebqoV.d.mts.map
+//# sourceMappingURL=schema-view.d.ts.map

package/dist/schema-view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-view.d.ts","sourceRoot":"","sources":["../src/schema-view.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6DG;AAEH;;;GAGG;AACH,MAAM,MAAM,cAAc,GACtB,MAAM,GACN,WAAW,GACX,YAAY,GACZ,QAAQ,GACR,OAAO,GACP,OAAO,GACP,WAAW,CAAC;AAEhB;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;CAC/C;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;CAC/B"}

package/dist/stack.d.ts

@@ -0,0 +1,25 @@
+import type { ControlAdapterDescriptor, ControlDriverDescriptor, ControlExtensionDescriptor, ControlPlaneStack, ControlTargetDescriptor } from './types';
+/**
+ * Creates a ControlPlaneStack from component descriptors.
+ *
+ * Provides sensible defaults:
+ * - `driver` defaults to `undefined` (optional for commands that don't need DB connection)
+ * - `extensionPacks` defaults to `[]` (empty array)
+ *
+ * @example
+ * ```ts
+ * const stack = createControlPlaneStack({
+ *   target: postgresTarget,
+ *   adapter: postgresAdapter,
+ *   driver: postgresDriver, // optional
+ *   extensionPacks: [pgvector], // optional
+ * });
+ * ```
+ */
+export declare function createControlPlaneStack<TFamilyId extends string, TTargetId extends string>(input: {
+    readonly target: ControlTargetDescriptor<TFamilyId, TTargetId>;
+    readonly adapter: ControlAdapterDescriptor<TFamilyId, TTargetId>;
+    readonly driver?: ControlDriverDescriptor<TFamilyId, TTargetId> | undefined;
+    readonly extensionPacks?: readonly ControlExtensionDescriptor<TFamilyId, TTargetId>[] | undefined;
+}): ControlPlaneStack<TFamilyId, TTargetId>;
+//# sourceMappingURL=stack.d.ts.map

package/dist/stack.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stack.d.ts","sourceRoot":"","sources":["../src/stack.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,wBAAwB,EACxB,uBAAuB,EACvB,0BAA0B,EAC1B,iBAAiB,EACjB,uBAAuB,EACxB,MAAM,SAAS,CAAC;AAEjB;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,uBAAuB,CAAC,SAAS,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM,EAAE,KAAK,EAAE;IACjG,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IAC/D,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACjE,QAAQ,CAAC,MAAM,CAAC,EAAE,uBAAuB,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,SAAS,CAAC;IAC5E,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,0BAA0B,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,GAAG,SAAS,CAAC;CACnG,GAAG,iBAAiB,CAAC,SAAS,EAAE,SAAS,CAAC,CAO1C"}

package/dist/types.d.ts

@@ -0,0 +1,416 @@
+import type { AdapterDescriptor, AdapterInstance, DriverDescriptor, DriverInstance, ExtensionDescriptor, ExtensionInstance, FamilyDescriptor, FamilyInstance, TargetBoundComponentDescriptor, TargetDescriptor, TargetInstance } from '@prisma-next/contract/framework-components';
+import type { ContractIR } from '@prisma-next/contract/ir';
+import type { ContractMarkerRecord, TargetFamilyHook } from '@prisma-next/contract/types';
+import type { TargetMigrationsCapability } from './migrations';
+import type { CoreSchemaView } from './schema-view';
+export type { MigrationOperationClass, MigrationOperationPolicy, MigrationPlan, MigrationPlanner, MigrationPlannerConflict, MigrationPlannerFailureResult, MigrationPlannerResult, MigrationPlannerSuccessResult, MigrationPlanOperation, MigrationRunner, MigrationRunnerExecutionChecks, MigrationRunnerFailure, MigrationRunnerResult, MigrationRunnerSuccessValue, TargetMigrationsCapability, } from './migrations';
+/**
+ * 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() (family-specific)
+ */
+export interface ControlFamilyInstance<TFamilyId extends string, TSchemaIR = 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.
+     *
+     * Note: The returned ContractIR may include additional fields from the emitted contract
+     * (like coreHash, profileHash) that are not part of the ContractIR type but are preserved
+     * for use by verify/sign operations.
+     */
+    validateContractIR(contractJson: unknown): ContractIR;
+    /**
+     * Verifies the database marker against the contract.
+     * Compares target, coreHash, and profileHash.
+     *
+     * @param options.contractIR - The validated contract (from validateContractIR). Must have
+     *   coreHash and target fields for verification. These fields are present in emitted
+     *   contracts but not in the ContractIR type definition.
+     */
+    verify(options: {
+        readonly driver: ControlDriverInstance<TFamilyId, string>;
+        readonly contractIR: unknown;
+        readonly expectedTargetId: string;
+        readonly contractPath: string;
+        readonly configPath?: string;
+    }): Promise<VerifyDatabaseResult>;
+    /**
+     * Verifies the database schema against the contract.
+     * Compares contract requirements against live database schema.
+     */
+    schemaVerify(options: {
+        readonly driver: ControlDriverInstance<TFamilyId, string>;
+        readonly contractIR: unknown;
+        readonly strict: boolean;
+        readonly contractPath: string;
+        readonly configPath?: string;
+        /**
+         * Active framework components participating in this composition.
+         * All components must have matching familyId and targetId.
+         */
+        readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, string>>;
+    }): Promise<VerifyDatabaseSchemaResult>;
+    /**
+     * 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<TFamilyId, string>;
+        readonly contractIR: unknown;
+        readonly contractPath: string;
+        readonly configPath?: string;
+    }): Promise<SignDatabaseResult>;
+    /**
+     * Reads the contract marker from the database.
+     * Returns null if no marker exists.
+     */
+    readMarker(options: {
+        readonly driver: ControlDriverInstance<TFamilyId, string>;
+    }): Promise<ContractMarkerRecord | null>;
+    /**
+     * 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 for contract-guided introspection.
+     *   When provided, families may use it for filtering, optimization, or validation
+     *   during introspection. The contract 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<TFamilyId, string>;
+        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>;
+}
+/**
+ * Control-plane target instance interface.
+ * Extends the base TargetInstance with control-plane specific behavior.
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ */
+export interface ControlTargetInstance<TFamilyId extends string, TTargetId extends string> extends TargetInstance<TFamilyId, TTargetId> {
+}
+/**
+ * Control-plane adapter instance interface.
+ * Extends the base AdapterInstance with control-plane specific behavior.
+ * Families extend this with family-specific adapter interfaces.
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ */
+export interface ControlAdapterInstance<TFamilyId extends string, TTargetId extends string> extends AdapterInstance<TFamilyId, TTargetId> {
+}
+/**
+ * Control-plane driver instance interface.
+ * Extends the base DriverInstance with control-plane specific behavior.
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ */
+export interface ControlDriverInstance<TFamilyId extends string, TTargetId extends string> extends DriverInstance<TFamilyId, TTargetId> {
+    query<Row = Record<string, unknown>>(sql: string, params?: readonly unknown[]): Promise<{
+        readonly rows: Row[];
+    }>;
+    close(): Promise<void>;
+}
+/**
+ * Control-plane extension instance interface.
+ * Extends the base ExtensionInstance with control-plane specific behavior.
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ */
+export interface ControlExtensionInstance<TFamilyId extends string, TTargetId extends string> extends ExtensionInstance<TFamilyId, TTargetId> {
+}
+/**
+ * Operation context for propagating metadata through control-plane operation call chains.
+ * Inspired by OpenTelemetry's Context and Sentry's Scope patterns.
+ *
+ * This context carries informational metadata (like file paths) that can be used for
+ * error reporting, logging, and debugging, but is not required for structural correctness.
+ * It allows subsystems to propagate context without coupling to file I/O concerns.
+ *
+ * @example
+ * ```typescript
+ * const context: OperationContext = {
+ *   contractPath: './contract.json',
+ *   configPath: './prisma-next.config.ts',
+ * };
+ *
+ * await runner.execute({ plan, driver, destinationContract: contract, context });
+ * ```
+ */
+export interface OperationContext {
+    /**
+     * Path to the contract file (if applicable).
+     * Used for error reporting and metadata, not for file I/O.
+     */
+    readonly contractPath?: string;
+    /**
+     * Path to the configuration file (if applicable).
+     * Used for error reporting and metadata, not for file I/O.
+     */
+    readonly configPath?: string;
+    /**
+     * Additional metadata that can be propagated through the call chain.
+     * Extensible for future needs without breaking changes.
+     */
+    readonly meta?: Readonly<Record<string, unknown>>;
+}
+/**
+ * A bundle of control-plane component descriptors for a specific family and target.
+ *
+ * This struct groups the target, adapter, driver (optional), and extension packs
+ * needed to create a family instance and run CLI commands. Use `createControlPlaneStack()`
+ * to construct with sensible defaults.
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ */
+export interface ControlPlaneStack<TFamilyId extends string, TTargetId extends string> {
+    readonly target: ControlTargetDescriptor<TFamilyId, TTargetId>;
+    readonly adapter: ControlAdapterDescriptor<TFamilyId, TTargetId>;
+    readonly driver: ControlDriverDescriptor<TFamilyId, TTargetId> | undefined;
+    readonly extensionPacks: readonly ControlExtensionDescriptor<TFamilyId, TTargetId>[];
+}
+/**
+ * Descriptor for a control-plane family (e.g., SQL).
+ * Provides the family hook and factory method.
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TFamilyInstance - The family instance type
+ */
+export interface ControlFamilyDescriptor<TFamilyId extends string, TFamilyInstance extends ControlFamilyInstance<TFamilyId> = ControlFamilyInstance<TFamilyId>> extends FamilyDescriptor<TFamilyId> {
+    readonly hook: TargetFamilyHook;
+    create<TTargetId extends string>(stack: ControlPlaneStack<TFamilyId, TTargetId>): TFamilyInstance;
+}
+/**
+ * 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)
+ */
+export 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.
+     * The capability is parameterized by family and target IDs to ensure type-level
+     * compatibility of framework components.
+     */
+    readonly migrations?: TargetMigrationsCapability<TFamilyId, TTargetId, TFamilyInstance>;
+    create(): TTargetInstance;
+}
+/**
+ * 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
+ */
+export 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 component (e.g., Postgres driver).
+ *
+ * The connection input type is driver-specific. For example:
+ * - Postgres uses a connection string (URL)
+ * - Other drivers may accept structured objects (e.g., file paths, credentials)
+ *
+ * @template TFamilyId - The family ID (e.g., 'sql', 'document')
+ * @template TTargetId - The target ID (e.g., 'postgres', 'mysql')
+ * @template TDriverInstance - The driver instance type
+ * @template TConnection - The connection input type (defaults to `string` for URL-based drivers)
+ */
+export interface ControlDriverDescriptor<TFamilyId extends string, TTargetId extends string, TDriverInstance extends ControlDriverInstance<TFamilyId, TTargetId> = ControlDriverInstance<TFamilyId, TTargetId>, TConnection = string> extends DriverDescriptor<TFamilyId, TTargetId> {
+    create(connection: TConnection): Promise<TDriverInstance>;
+}
+/**
+ * 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
+ */
+export interface ControlExtensionDescriptor<TFamilyId extends string, TTargetId extends string, TExtensionInstance extends ControlExtensionInstance<TFamilyId, TTargetId> = ControlExtensionInstance<TFamilyId, TTargetId>> extends ExtensionDescriptor<TFamilyId, TTargetId> {
+    create(): TExtensionInstance;
+}
+/**
+ * Result type for database marker verification operations.
+ */
+export interface VerifyDatabaseResult {
+    readonly ok: boolean;
+    readonly code?: string;
+    readonly summary: string;
+    readonly contract: {
+        readonly coreHash: string;
+        readonly profileHash?: string;
+    };
+    readonly marker?: {
+        readonly coreHash?: string;
+        readonly profileHash?: string;
+    };
+    readonly target: {
+        readonly expected: string;
+        readonly actual?: string;
+    };
+    readonly missingCodecs?: readonly string[];
+    readonly codecCoverageSkipped?: boolean;
+    readonly meta?: {
+        readonly configPath?: string;
+        readonly contractPath: string;
+    };
+    readonly timings: {
+        readonly total: number;
+    };
+}
+/**
+ * Schema issue type for schema verification results.
+ */
+export interface SchemaIssue {
+    readonly kind: 'missing_table' | 'missing_column' | 'extra_table' | 'extra_column' | 'extra_primary_key' | 'extra_foreign_key' | 'extra_unique_constraint' | 'extra_index' | 'type_mismatch' | 'nullability_mismatch' | 'primary_key_mismatch' | 'foreign_key_mismatch' | 'unique_constraint_mismatch' | 'index_mismatch' | 'extension_missing';
+    readonly table: string;
+    readonly column?: string;
+    readonly indexOrConstraint?: string;
+    readonly expected?: string;
+    readonly actual?: string;
+    readonly message: string;
+}
+/**
+ * Contract-shaped verification tree node for schema verification results.
+ * Family-agnostic structure that follows the contract structure.
+ */
+export interface SchemaVerificationNode {
+    readonly status: 'pass' | 'warn' | 'fail';
+    readonly kind: string;
+    readonly name: string;
+    readonly contractPath: string;
+    readonly code: string;
+    readonly message: string;
+    readonly expected: unknown;
+    readonly actual: unknown;
+    readonly children: readonly SchemaVerificationNode[];
+}
+/**
+ * Result type for database schema verification operations.
+ */
+export interface VerifyDatabaseSchemaResult {
+    readonly ok: boolean;
+    readonly code?: string;
+    readonly summary: string;
+    readonly contract: {
+        readonly coreHash: string;
+        readonly profileHash?: string;
+    };
+    readonly target: {
+        readonly expected: string;
+        readonly actual?: string;
+    };
+    readonly schema: {
+        readonly issues: readonly SchemaIssue[];
+        readonly root: SchemaVerificationNode;
+        readonly counts: {
+            readonly pass: number;
+            readonly warn: number;
+            readonly fail: number;
+            readonly totalNodes: number;
+        };
+    };
+    readonly meta?: {
+        readonly configPath?: string;
+        readonly contractPath?: string;
+        readonly strict: boolean;
+    };
+    readonly timings: {
+        readonly total: number;
+    };
+}
+/**
+ * Result type for contract emission operations.
+ */
+export interface EmitContractResult {
+    readonly contractJson: string;
+    readonly contractDts: string;
+    readonly coreHash: string;
+    readonly profileHash: string;
+}
+/**
+ * Result envelope for schema introspection operations.
+ * Used by CLI for JSON output when introspecting database schemas.
+ *
+ * @template TSchemaIR - The family-specific Schema IR type (e.g., `SqlSchemaIR` for SQL)
+ */
+export interface IntrospectSchemaResult<TSchemaIR> {
+    readonly ok: true;
+    readonly summary: string;
+    readonly target: {
+        readonly familyId: string;
+        readonly id: string;
+    };
+    readonly schema: TSchemaIR;
+    readonly meta?: {
+        readonly configPath?: string;
+        readonly dbUrl?: string;
+    };
+    readonly timings: {
+        readonly total: number;
+    };
+}
+/**
+ * Result type for database signing operations.
+ * Returned when writing or updating the contract marker in the database.
+ */
+export interface SignDatabaseResult {
+    readonly ok: boolean;
+    readonly summary: string;
+    readonly contract: {
+        readonly coreHash: string;
+        readonly profileHash?: string;
+    };
+    readonly target: {
+        readonly expected: string;
+        readonly actual?: string;
+    };
+    readonly marker: {
+        readonly created: boolean;
+        readonly updated: boolean;
+        readonly previous?: {
+            readonly coreHash?: string;
+            readonly profileHash?: string;
+        };
+    };
+    readonly meta?: {
+        readonly configPath?: string;
+        readonly contractPath: string;
+    };
+    readonly timings: {
+        readonly total: number;
+    };
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

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

package/package.json

@@ -1,46 +1,62 @@
 {
   "name": "@prisma-next/core-control-plane",
-  "version": "0.3.0-pr.94.3",
+  "version": "0.3.0-pr.95.2",
   "type": "module",
   "sideEffects": false,
-  "engines": {
-    "node": ">=20"
-  },
   "description": "Control plane domain actions, config types, validation, and error factories for Prisma Next",
   "dependencies": {
     "arktype": "^2.1.26",
     "prettier": "^3.3.3",
-    "@prisma-next/contract": "0.3.0-pr.94.3",
-    "@prisma-next/operations": "0.3.0-pr.94.3",
-    "@prisma-next/utils": "0.3.0-pr.94.3"
+    "@prisma-next/contract": "0.3.0-pr.95.2",
+    "@prisma-next/operations": "0.3.0-pr.95.2",
+    "@prisma-next/utils": "0.3.0-pr.95.2"
   },
   "devDependencies": {
-    "tsdown": "0.18.4",
+    "tsup": "8.5.1",
     "typescript": "5.9.3",
     "vitest": "4.0.16",
     "@prisma-next/test-utils": "0.0.1",
-    "@prisma-next/tsconfig": "0.0.0",
-    "@prisma-next/tsdown": "0.0.0"
+    "@prisma-next/tsconfig": "0.0.0"
   },
   "files": [
     "dist",
     "src"
   ],
   "exports": {
-    "./config-types": "./dist/config-types.mjs",
-    "./config-validation": "./dist/config-validation.mjs",
-    "./emission": "./dist/emission.mjs",
-    "./errors": "./dist/errors.mjs",
-    "./schema-view": "./dist/schema-view.mjs",
-    "./stack": "./dist/stack.mjs",
-    "./types": "./dist/types.mjs",
-    "./package.json": "./package.json"
+    "./config-types": {
+      "types": "./dist/exports/config-types.d.ts",
+      "import": "./dist/exports/config-types.js"
+    },
+    "./config-validation": {
+      "types": "./dist/exports/config-validation.d.ts",
+      "import": "./dist/exports/config-validation.js"
+    },
+    "./errors": {
+      "types": "./dist/exports/errors.d.ts",
+      "import": "./dist/exports/errors.js"
+    },
+    "./types": {
+      "types": "./dist/exports/types.d.ts",
+      "import": "./dist/exports/types.js"
+    },
+    "./stack": {
+      "types": "./dist/exports/stack.d.ts",
+      "import": "./dist/exports/stack.js"
+    },
+    "./emission": {
+      "types": "./dist/exports/emission.d.ts",
+      "import": "./dist/exports/emission.js"
+    },
+    "./schema-view": {
+      "types": "./dist/exports/schema-view.d.ts",
+      "import": "./dist/exports/schema-view.js"
+    }
   },
   "scripts": {
-    "build": "tsdown",
+    "build": "tsup --config tsup.config.ts && tsc --project tsconfig.build.json",
     "test": "vitest run --passWithNoTests",
     "test:coverage": "vitest run --coverage --passWithNoTests",
-    "typecheck": "tsc --noEmit",
+    "typecheck": "tsc --project tsconfig.json --noEmit",
     "lint": "biome check . --error-on-warnings",
     "lint:fix": "biome check --write .",
     "lint:fix:unsafe": "biome check --write --unsafe .",

package/src/emission/emit.ts

@@ -43,7 +43,13 @@ export async function emit(
   options: EmitOptions,
   targetFamily: TargetFamilyHook,
 ): Promise<EmitResult> {
-  const { operationRegistry, codecTypeImports, operationTypeImports, extensionIds } = options;
+  const {
+    operationRegistry,
+    codecTypeImports,
+    operationTypeImports,
+    extensionIds,
+    parameterizedRenderers,
+  } = options;
 
   validateCoreStructure(ir);
 
@@ -101,6 +107,7 @@ export async function emit(
     ir,
     codecTypeImports ?? [],
     operationTypeImports ?? [],
+    parameterizedRenderers ? { parameterizedRenderers } : undefined,
   );
   const contractDts = await format(contractDtsRaw, {
     parser: 'typescript',

package/src/emission/types.ts

@@ -1,4 +1,4 @@
-import type { TypesImportSpec } from '@prisma-next/contract/types';
+import type { TypeRenderEntry, TypesImportSpec } from '@prisma-next/contract/types';
 import type { OperationRegistry } from '@prisma-next/operations';
 
 export interface EmitOptions {
@@ -7,6 +7,11 @@ export interface EmitOptions {
   readonly codecTypeImports?: ReadonlyArray<TypesImportSpec>;
   readonly operationTypeImports?: ReadonlyArray<TypesImportSpec>;
   readonly extensionIds?: ReadonlyArray<string>;
+  /**
+   * Normalized parameterized type renderers, keyed by codecId.
+   * These are extracted from descriptors and normalized during assembly.
+   */
+  readonly parameterizedRenderers?: Map<string, TypeRenderEntry>;
 }
 
 export interface EmitResult {