@prisma-next/family-sql 0.3.0-dev.2 → 0.3.0-dev.21

package/dist/core/schema-verify/verify-helpers.d.ts

@@ -0,0 +1,96 @@
+/**
+ * Pure verification helper functions for SQL schema verification.
+ * These functions verify schema IR against contract requirements.
+ */
+import type { SchemaIssue, SchemaVerificationNode } from '@prisma-next/core-control-plane/types';
+import type { ForeignKey, Index, PrimaryKey, UniqueConstraint } from '@prisma-next/sql-contract/types';
+import type { SqlForeignKeyIR, SqlIndexIR, SqlSchemaIR, SqlUniqueIR } from '@prisma-next/sql-schema-ir/types';
+import type { ComponentDatabaseDependency } from '../migrations/types';
+/**
+ * Compares two arrays of strings for equality (order-sensitive).
+ */
+export declare function arraysEqual(a: readonly string[], b: readonly string[]): boolean;
+/**
+ * Checks if a unique constraint requirement is satisfied by the given columns.
+ *
+ * Semantic satisfaction: a unique constraint requirement can be satisfied by:
+ * - A unique constraint with the same columns, OR
+ * - A unique index with the same columns
+ *
+ * @param uniques - The unique constraints in the schema table
+ * @param indexes - The indexes in the schema table
+ * @param columns - The columns required by the unique constraint
+ * @returns true if the requirement is satisfied
+ */
+export declare function isUniqueConstraintSatisfied(uniques: readonly SqlUniqueIR[], indexes: readonly SqlIndexIR[], columns: readonly string[]): boolean;
+/**
+ * Checks if an index requirement is satisfied by the given columns.
+ *
+ * Semantic satisfaction: a non-unique index requirement can be satisfied by:
+ * - Any index (unique or non-unique) with the same columns, OR
+ * - A unique constraint with the same columns (stronger satisfies weaker)
+ *
+ * @param indexes - The indexes in the schema table
+ * @param uniques - The unique constraints in the schema table
+ * @param columns - The columns required by the index
+ * @returns true if the requirement is satisfied
+ */
+export declare function isIndexSatisfied(indexes: readonly SqlIndexIR[], uniques: readonly SqlUniqueIR[], columns: readonly string[]): boolean;
+/**
+ * Verifies primary key matches between contract and schema.
+ * Returns 'pass' or 'fail'.
+ *
+ * Uses semantic satisfaction: identity is based on (table + kind + columns).
+ * Name differences are ignored by default (names are for DDL/diagnostics, not identity).
+ */
+export declare function verifyPrimaryKey(contractPK: PrimaryKey, schemaPK: PrimaryKey | undefined, tableName: string, issues: SchemaIssue[]): 'pass' | 'fail';
+/**
+ * Verifies foreign keys match between contract and schema.
+ * Returns verification nodes for the tree.
+ *
+ * Uses semantic satisfaction: identity is based on (table + columns + referenced table + referenced columns).
+ * Name differences are ignored by default (names are for DDL/diagnostics, not identity).
+ */
+export declare function verifyForeignKeys(contractFKs: readonly ForeignKey[], schemaFKs: readonly SqlForeignKeyIR[], tableName: string, tablePath: string, issues: SchemaIssue[], strict: boolean): SchemaVerificationNode[];
+/**
+ * Verifies unique constraints match between contract and schema.
+ * Returns verification nodes for the tree.
+ *
+ * Uses semantic satisfaction: identity is based on (table + kind + columns).
+ * A unique constraint requirement can be satisfied by either:
+ * - A unique constraint with the same columns, or
+ * - A unique index with the same columns
+ *
+ * Name differences are ignored by default (names are for DDL/diagnostics, not identity).
+ */
+export declare function verifyUniqueConstraints(contractUniques: readonly UniqueConstraint[], schemaUniques: readonly SqlUniqueIR[], schemaIndexes: readonly SqlIndexIR[], tableName: string, tablePath: string, issues: SchemaIssue[], strict: boolean): SchemaVerificationNode[];
+/**
+ * Verifies indexes match between contract and schema.
+ * Returns verification nodes for the tree.
+ *
+ * Uses semantic satisfaction: identity is based on (table + kind + columns).
+ * A non-unique index requirement can be satisfied by either:
+ * - A non-unique index with the same columns, or
+ * - A unique index with the same columns (stronger satisfies weaker)
+ *
+ * Name differences are ignored by default (names are for DDL/diagnostics, not identity).
+ */
+export declare function verifyIndexes(contractIndexes: readonly Index[], schemaIndexes: readonly SqlIndexIR[], schemaUniques: readonly SqlUniqueIR[], tableName: string, tablePath: string, issues: SchemaIssue[], strict: boolean): SchemaVerificationNode[];
+/**
+ * Verifies database dependencies are installed using component-owned verification hooks.
+ * Each dependency provides a pure verifyDatabaseDependencyInstalled function that checks
+ * whether the dependency is satisfied based on the in-memory schema IR (no DB I/O).
+ *
+ * Returns verification nodes for the tree.
+ */
+export declare function verifyDatabaseDependencies(dependencies: ReadonlyArray<ComponentDatabaseDependency<unknown>>, schema: SqlSchemaIR, issues: SchemaIssue[]): SchemaVerificationNode[];
+/**
+ * Computes counts of pass/warn/fail nodes by traversing the tree.
+ */
+export declare function computeCounts(node: SchemaVerificationNode): {
+    pass: number;
+    warn: number;
+    fail: number;
+    totalNodes: number;
+};
+//# sourceMappingURL=verify-helpers.d.ts.map

package/dist/core/schema-verify/verify-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-helpers.d.ts","sourceRoot":"","sources":["../../../src/core/schema-verify/verify-helpers.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AACjG,OAAO,KAAK,EACV,UAAU,EACV,KAAK,EACL,UAAU,EACV,gBAAgB,EACjB,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EACV,eAAe,EACf,UAAU,EACV,WAAW,EACX,WAAW,EACZ,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,qBAAqB,CAAC;AAEvE;;GAEG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,SAAS,MAAM,EAAE,EAAE,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAU/E;AASD;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CACzC,OAAO,EAAE,SAAS,WAAW,EAAE,EAC/B,OAAO,EAAE,SAAS,UAAU,EAAE,EAC9B,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,OAAO,CAQT;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,SAAS,UAAU,EAAE,EAC9B,OAAO,EAAE,SAAS,WAAW,EAAE,EAC/B,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,OAAO,CAQT;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,UAAU,EACtB,QAAQ,EAAE,UAAU,GAAG,SAAS,EAChC,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,WAAW,EAAE,GACpB,MAAM,GAAG,MAAM,CA0BjB;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,WAAW,EAAE,SAAS,UAAU,EAAE,EAClC,SAAS,EAAE,SAAS,eAAe,EAAE,EACrC,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,WAAW,EAAE,EACrB,MAAM,EAAE,OAAO,GACd,sBAAsB,EAAE,CAkF1B;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,uBAAuB,CACrC,eAAe,EAAE,SAAS,gBAAgB,EAAE,EAC5C,aAAa,EAAE,SAAS,WAAW,EAAE,EACrC,aAAa,EAAE,SAAS,UAAU,EAAE,EACpC,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,WAAW,EAAE,EACrB,MAAM,EAAE,OAAO,GACd,sBAAsB,EAAE,CAiF1B;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,aAAa,CAC3B,eAAe,EAAE,SAAS,KAAK,EAAE,EACjC,aAAa,EAAE,SAAS,UAAU,EAAE,EACpC,aAAa,EAAE,SAAS,WAAW,EAAE,EACrC,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,WAAW,EAAE,EACrB,MAAM,EAAE,OAAO,GACd,sBAAsB,EAAE,CAsF1B;AAED;;;;;;GAMG;AACH,wBAAgB,0BAA0B,CACxC,YAAY,EAAE,aAAa,CAAC,2BAA2B,CAAC,OAAO,CAAC,CAAC,EACjE,MAAM,EAAE,WAAW,EACnB,MAAM,EAAE,WAAW,EAAE,GACpB,sBAAsB,EAAE,CAwC1B;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,sBAAsB,GAAG;IAC3D,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;CACpB,CA6BA"}

package/dist/core/schema-verify/verify-sql-schema.d.ts

@@ -0,0 +1,45 @@
+/**
+ * Pure SQL schema verification function.
+ *
+ * This module provides a pure function that verifies a SqlSchemaIR against
+ * a SqlContract without requiring a database connection. It can be reused
+ * by migration planners and other tools that need to compare schema states.
+ */
+import type { TargetBoundComponentDescriptor } from '@prisma-next/contract/framework-components';
+import type { OperationContext, VerifyDatabaseSchemaResult } from '@prisma-next/core-control-plane/types';
+import type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';
+import type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';
+/**
+ * Options for the pure schema verification function.
+ */
+export interface VerifySqlSchemaOptions {
+    /** The validated SQL contract to verify against */
+    readonly contract: SqlContract<SqlStorage>;
+    /** The schema IR from introspection (or another source) */
+    readonly schema: SqlSchemaIR;
+    /** Whether to run in strict mode (detects extra tables/columns) */
+    readonly strict: boolean;
+    /** Optional operation context for metadata */
+    readonly context?: OperationContext;
+    /** Type metadata registry for codec consistency warnings */
+    readonly typeMetadataRegistry: ReadonlyMap<string, {
+        nativeType?: string;
+    }>;
+    /**
+     * Active framework components participating in this composition.
+     * All components must have matching familyId ('sql') and targetId.
+     */
+    readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
+}
+/**
+ * Verifies that a SqlSchemaIR matches a SqlContract.
+ *
+ * This is a pure function that does NOT perform any database I/O.
+ * It takes an already-introspected schema IR and compares it against
+ * the contract requirements.
+ *
+ * @param options - Verification options
+ * @returns VerifyDatabaseSchemaResult with verification tree and issues
+ */
+export declare function verifySqlSchema(options: VerifySqlSchemaOptions): VerifyDatabaseSchemaResult;
+//# sourceMappingURL=verify-sql-schema.d.ts.map

package/dist/core/schema-verify/verify-sql-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify-sql-schema.d.ts","sourceRoot":"","sources":["../../../src/core/schema-verify/verify-sql-schema.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,4CAA4C,CAAC;AACjG,OAAO,KAAK,EACV,gBAAgB,EAGhB,0BAA0B,EAC3B,MAAM,uCAAuC,CAAC;AAC/C,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kCAAkC,CAAC;AAYpE;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,mDAAmD;IACnD,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;IAC3C,2DAA2D;IAC3D,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,8CAA8C;IAC9C,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;IACpC,4DAA4D;IAC5D,QAAQ,CAAC,oBAAoB,EAAE,WAAW,CAAC,MAAM,EAAE;QAAE,UAAU,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC5E;;;OAGG;IACH,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,8BAA8B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;CAC5F;AAED;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,sBAAsB,GAAG,0BAA0B,CAye3F"}

package/dist/core/verify.d.ts

@@ -0,0 +1,39 @@
+import type { ContractMarkerRecord } from '@prisma-next/contract/types';
+import type { ControlAdapterDescriptor, ControlDriverInstance, ControlExtensionDescriptor, ControlTargetDescriptor } from '@prisma-next/core-control-plane/types';
+/**
+ * Parses a contract marker row from database query result.
+ * This is SQL-specific parsing logic (handles SQL row structure with snake_case columns).
+ */
+export declare function parseContractMarkerRow(row: unknown): ContractMarkerRecord;
+/**
+ * Returns the SQL statement to read the contract marker.
+ * This is a migration-plane helper (no runtime imports).
+ * @internal - Used internally by readMarker(). Prefer readMarker() for Control Plane usage.
+ */
+export declare function readMarkerSql(): {
+    readonly sql: string;
+    readonly params: readonly unknown[];
+};
+/**
+ * Reads the contract marker from the database using the provided driver.
+ * Returns the parsed marker record or null if no marker is found.
+ * This abstracts SQL-specific details from the Control Plane.
+ *
+ * @param driver - ControlDriverInstance instance for executing queries
+ * @returns Promise resolving to ContractMarkerRecord or null if marker not found
+ */
+export declare function readMarker(driver: ControlDriverInstance<'sql', string>): Promise<ContractMarkerRecord | null>;
+/**
+ * Collects supported codec type IDs from adapter and extension manifests.
+ * Returns a sorted, unique array of type IDs that are declared in the manifests.
+ * This enables coverage checks by comparing contract column types against supported types.
+ *
+ * Note: This extracts type IDs from manifest type imports, not from runtime codec registries.
+ * The manifests declare which codec types are available, but the actual type IDs
+ * are defined in the codec-types TypeScript modules that are imported.
+ *
+ * For MVP, we return an empty array since extracting type IDs from TypeScript modules
+ * would require runtime evaluation or static analysis. This can be enhanced later.
+ */
+export declare function collectSupportedCodecTypeIds<TFamilyId extends string, TTargetId extends string>(descriptors: ReadonlyArray<ControlTargetDescriptor<TFamilyId, TTargetId> | ControlAdapterDescriptor<TFamilyId, TTargetId> | ControlExtensionDescriptor<TFamilyId, TTargetId>>): readonly string[];
+//# sourceMappingURL=verify.d.ts.map

package/dist/core/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","sourceRoot":"","sources":["../../src/core/verify.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACxE,OAAO,KAAK,EACV,wBAAwB,EACxB,qBAAqB,EACrB,0BAA0B,EAC1B,uBAAuB,EACxB,MAAM,uCAAuC,CAAC;AAuC/C;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,OAAO,GAAG,oBAAoB,CAgCzE;AAED;;;;GAIG;AACH,wBAAgB,aAAa,IAAI;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAA;CAAE,CAc7F;AAED;;;;;;;GAOG;AACH,wBAAsB,UAAU,CAC9B,MAAM,EAAE,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,GAC3C,OAAO,CAAC,oBAAoB,GAAG,IAAI,CAAC,CAoCtC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,4BAA4B,CAAC,SAAS,SAAS,MAAM,EAAE,SAAS,SAAS,MAAM,EAC7F,WAAW,EAAE,aAAa,CACtB,uBAAuB,CAAC,SAAS,EAAE,SAAS,CAAC,GAC7C,wBAAwB,CAAC,SAAS,EAAE,SAAS,CAAC,GAC9C,0BAA0B,CAAC,SAAS,EAAE,SAAS,CAAC,CACnD,GACA,SAAS,MAAM,EAAE,CAMnB"}

package/dist/exports/control-adapter.d.ts

@@ -1,44 +1,2 @@
-import { ControlAdapterInstance, ControlDriverInstance } from '@prisma-next/core-control-plane/types';
-import { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';
-
-/**
- * SQL control adapter interface for control-plane operations.
- * Implemented by target-specific adapters (e.g., Postgres, MySQL).
- *
- * @template TTarget - The target ID (e.g., 'postgres', 'mysql')
- */
-interface SqlControlAdapter<TTarget extends string = string> extends ControlAdapterInstance<'sql', TTarget> {
-    /**
-     * The target ID this adapter implements.
-     * Used for type tracking and runtime validation.
-     * @deprecated Use targetId from ControlAdapterInstance instead
-     */
-    readonly target: TTarget;
-    /**
-     * Introspects a database schema and returns a raw SqlSchemaIR.
-     *
-     * This is a pure schema discovery operation that queries the database catalog
-     * and returns the schema structure without type mapping or contract enrichment.
-     * Type mapping and enrichment are handled separately by enrichment helpers.
-     *
-     * @param driver - ControlDriverInstance instance for executing queries (target-specific)
-     * @param contractIR - Optional contract IR for contract-guided introspection (filtering, optimization)
-     * @param schema - Schema name to introspect (defaults to 'public')
-     * @returns Promise resolving to SqlSchemaIR representing the live database schema
-     */
-    introspect(driver: ControlDriverInstance<'sql', TTarget>, contractIR?: unknown, schema?: string): Promise<SqlSchemaIR>;
-}
-/**
- * SQL control adapter descriptor interface.
- * Provides a factory method to create control adapter instances.
- *
- * @template TTarget - The target ID (e.g., 'postgres', 'mysql')
- */
-interface SqlControlAdapterDescriptor<TTarget extends string = string> {
-    /**
-     * Creates a SQL control adapter instance for control-plane operations.
-     */
-    create(): SqlControlAdapter<TTarget>;
-}
-
-export type { SqlControlAdapter, SqlControlAdapterDescriptor };
+export type { SqlControlAdapter, SqlControlAdapterDescriptor } from '../core/control-adapter';
+//# sourceMappingURL=control-adapter.d.ts.map

package/dist/exports/control-adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-adapter.d.ts","sourceRoot":"","sources":["../../src/exports/control-adapter.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,iBAAiB,EAAE,2BAA2B,EAAE,MAAM,yBAAyB,CAAC"}

package/dist/exports/control.d.ts

@@ -1,165 +1,13 @@
-import { OperationRegistry } from '@prisma-next/operations';
-import { ControlFamilyDescriptor, ControlAdapterDescriptor, ControlDriverDescriptor, ControlExtensionDescriptor, MigrationOperationPolicy } from '@prisma-next/core-control-plane/types';
-export { MigrationOperationClass, MigrationOperationPolicy, MigrationPlan, MigrationPlanOperation, MigrationPlanner, MigrationPlannerConflict, MigrationPlannerResult, TargetMigrationsCapability } from '@prisma-next/core-control-plane/types';
-import { SqlControlAdapter } from './control-adapter.js';
-import { S as SqlControlFamilyInstance } from './instance-DiZi2k_2.js';
-export { a as SchemaVerifyOptions } from './instance-DiZi2k_2.js';
-import { S as SqlControlTargetDescriptor, C as CreateSqlMigrationPlanOptions, a as SqlMigrationPlan, b as SqlPlannerConflict, c as SqlPlannerFailureResult, d as SqlPlannerSuccessResult, e as SqlMigrationRunnerErrorCode, A as AnyRecord, f as SqlMigrationRunnerFailure, g as SqlMigrationRunnerSuccessValue } from './types-Bh7ftf0Q.js';
-export { h as ComponentDatabaseDependencies, i as ComponentDatabaseDependency, j as SqlControlExtensionDescriptor, k as SqlMigrationPlanContractInfo, n as SqlMigrationPlanOperation, o as SqlMigrationPlanOperationStep, p as SqlMigrationPlanOperationTarget, l as SqlMigrationPlanner, m as SqlMigrationPlannerPlanOptions, q as SqlMigrationRunner, r as SqlMigrationRunnerExecuteCallbacks, s as SqlMigrationRunnerExecuteOptions, t as SqlMigrationRunnerResult, u as SqlPlannerConflictKind, v as SqlPlannerConflictLocation, w as SqlPlannerResult } from './types-Bh7ftf0Q.js';
-import { NotOk, Ok } from '@prisma-next/utils/result';
-import '@prisma-next/sql-schema-ir/types';
-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/core-control-plane/schema-view';
-import '@prisma-next/sql-operations';
-import '@prisma-next/sql-contract/types';
-
-type StorageColumn = {
-    readonly nativeType: string;
-    readonly codecId: string;
-    readonly nullable: boolean;
-};
-type PrimaryKey = {
-    readonly columns: readonly string[];
-    readonly name?: string;
-};
-type UniqueConstraint = {
-    readonly columns: readonly string[];
-    readonly name?: string;
-};
-type Index = {
-    readonly columns: readonly string[];
-    readonly name?: string;
-};
-type ForeignKeyReferences = {
-    readonly table: string;
-    readonly columns: readonly string[];
-};
-type ForeignKey = {
-    readonly columns: readonly string[];
-    readonly references: ForeignKeyReferences;
-    readonly name?: string;
-};
-type StorageTable = {
-    readonly columns: Record<string, StorageColumn>;
-    readonly primaryKey?: PrimaryKey;
-    readonly uniques: ReadonlyArray<UniqueConstraint>;
-    readonly indexes: ReadonlyArray<Index>;
-    readonly foreignKeys: ReadonlyArray<ForeignKey>;
-};
-type SqlStorage = {
-    readonly tables: Record<string, StorageTable>;
-};
-type ModelField = {
-    readonly column: string;
-};
-type ModelStorage = {
-    readonly table: string;
-};
-type ModelDefinition = {
-    readonly storage: ModelStorage;
-    readonly fields: Record<string, ModelField>;
-    readonly relations: Record<string, unknown>;
-};
-
-/**
- * ContractIR types and factories for building contract intermediate representation.
- * ContractIR is family-agnostic and used by authoring, emitter, and no-emit runtime.
- */
-/**
- * ContractIR represents the intermediate representation of a contract.
- * It is family-agnostic and contains generic storage, models, and relations.
- * Note: coreHash and profileHash are computed by the emitter, not part of the IR.
- */
-interface ContractIR<TStorage extends Record<string, unknown> = Record<string, unknown>, TModels extends Record<string, unknown> = Record<string, unknown>, TRelations extends Record<string, unknown> = Record<string, unknown>> {
-    readonly schemaVersion: string;
-    readonly targetFamily: string;
-    readonly target: string;
-    readonly models: TModels;
-    readonly relations: TRelations;
-    readonly storage: TStorage;
-    readonly extensionPacks: Record<string, unknown>;
-    readonly capabilities: Record<string, Record<string, boolean>>;
-    readonly meta: Record<string, unknown>;
-    readonly sources: Record<string, unknown>;
-}
-
-/**
- * Specifies how to import TypeScript types from a package.
- * Used in extension pack manifests to declare codec and operation type imports.
- */
-interface TypesImportSpec {
-    readonly package: string;
-    readonly named: string;
-    readonly alias: string;
-}
-/**
- * Validation context passed to TargetFamilyHook.validateTypes().
- * Contains pre-assembled operation registry, type imports, and extension IDs.
- */
-interface ValidationContext {
-    readonly operationRegistry?: OperationRegistry;
-    readonly codecTypeImports?: ReadonlyArray<TypesImportSpec>;
-    readonly operationTypeImports?: ReadonlyArray<TypesImportSpec>;
-    readonly extensionIds?: ReadonlyArray<string>;
-}
-
-/**
- * SQL family descriptor implementation.
- * Provides the SQL family hook and factory method.
- */
-declare class SqlFamilyDescriptor implements ControlFamilyDescriptor<'sql', SqlControlFamilyInstance> {
-    readonly kind: "family";
-    readonly id = "sql";
-    readonly familyId: "sql";
-    readonly version = "0.0.1";
-    readonly hook: {
-        readonly id: "sql";
-        readonly validateTypes: (ir: ContractIR, _ctx: ValidationContext) => void;
-        readonly validateStructure: (ir: ContractIR) => void;
-        readonly generateContractTypes: (ir: ContractIR, codecTypeImports: ReadonlyArray<TypesImportSpec>, operationTypeImports: ReadonlyArray<TypesImportSpec>) => string;
-        readonly generateStorageType: (storage: SqlStorage) => string;
-        readonly generateModelsType: (models: Record<string, ModelDefinition> | undefined, storage: SqlStorage) => string;
-        readonly generateRelationsType: (relations: Record<string, unknown> | undefined) => string;
-        readonly generateMappingsType: (models: Record<string, ModelDefinition> | undefined, storage: SqlStorage, codecTypes: string, operationTypes: string) => string;
-    };
-    create<TTargetId extends string, TTargetDetails>(options: {
-        readonly target: SqlControlTargetDescriptor<TTargetId, TTargetDetails>;
-        readonly adapter: ControlAdapterDescriptor<'sql', TTargetId, SqlControlAdapter<TTargetId>>;
-        readonly driver: ControlDriverDescriptor<'sql', TTargetId>;
-        readonly extensionPacks: readonly ControlExtensionDescriptor<'sql', TTargetId>[];
-    }): SqlControlFamilyInstance;
-}
-
-declare function createMigrationPlan<TTargetDetails>(options: CreateSqlMigrationPlanOptions<TTargetDetails>): SqlMigrationPlan<TTargetDetails>;
-declare function plannerSuccess<TTargetDetails>(plan: SqlMigrationPlan<TTargetDetails>): SqlPlannerSuccessResult<TTargetDetails>;
-declare function plannerFailure(conflicts: readonly SqlPlannerConflict[]): SqlPlannerFailureResult;
-/**
- * Creates a successful migration runner result.
- */
-declare function runnerSuccess(value: {
-    operationsPlanned: number;
-    operationsExecuted: number;
-}): Ok<SqlMigrationRunnerSuccessValue>;
-/**
- * Creates a failed migration runner result.
- */
-declare function runnerFailure(code: SqlMigrationRunnerErrorCode, summary: string, options?: {
-    why?: string;
-    meta?: AnyRecord;
-}): NotOk<SqlMigrationRunnerFailure>;
-
-/**
- * Policy used by `db init`: additive-only operations, no widening/destructive steps.
- */
-declare const INIT_ADDITIVE_POLICY: MigrationOperationPolicy;
-
+import { SqlFamilyDescriptor } from '../core/descriptor';
+export type { MigrationOperationClass, MigrationOperationPolicy, MigrationPlan, MigrationPlanner, MigrationPlannerConflict, MigrationPlannerResult, MigrationPlanOperation, TargetMigrationsCapability, } from '@prisma-next/core-control-plane/types';
+export type { SchemaVerifyOptions, SqlControlFamilyInstance } from '../core/instance';
+export { createMigrationPlan, plannerFailure, plannerSuccess, runnerFailure, runnerSuccess, } from '../core/migrations/plan-helpers';
+export { INIT_ADDITIVE_POLICY } from '../core/migrations/policies';
+export type { ComponentDatabaseDependencies, ComponentDatabaseDependency, CreateSqlMigrationPlanOptions, SqlControlExtensionDescriptor, SqlControlTargetDescriptor, SqlMigrationPlan, SqlMigrationPlanContractInfo, SqlMigrationPlanner, SqlMigrationPlannerPlanOptions, SqlMigrationPlanOperation, SqlMigrationPlanOperationStep, SqlMigrationPlanOperationTarget, SqlMigrationRunner, SqlMigrationRunnerErrorCode, SqlMigrationRunnerExecuteCallbacks, SqlMigrationRunnerExecuteOptions, SqlMigrationRunnerFailure, SqlMigrationRunnerResult, SqlMigrationRunnerSuccessValue, SqlPlannerConflict, SqlPlannerConflictKind, SqlPlannerConflictLocation, SqlPlannerFailureResult, SqlPlannerResult, SqlPlannerSuccessResult, } from '../core/migrations/types';
 /**
  * SQL family descriptor for control plane (CLI/config).
  * Provides the SQL family hook and conversion helpers.
  */
 declare const _default: SqlFamilyDescriptor;
-
-export { CreateSqlMigrationPlanOptions, INIT_ADDITIVE_POLICY, SqlControlFamilyInstance, SqlControlTargetDescriptor, SqlMigrationPlan, SqlMigrationRunnerErrorCode, SqlMigrationRunnerFailure, SqlMigrationRunnerSuccessValue, SqlPlannerConflict, SqlPlannerFailureResult, SqlPlannerSuccessResult, createMigrationPlan, _default as default, plannerFailure, plannerSuccess, runnerFailure, runnerSuccess };
+export default _default;
+//# sourceMappingURL=control.d.ts.map

package/dist/exports/control.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control.d.ts","sourceRoot":"","sources":["../../src/exports/control.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAGzD,YAAY,EACV,uBAAuB,EACvB,wBAAwB,EACxB,aAAa,EACb,gBAAgB,EAChB,wBAAwB,EACxB,sBAAsB,EACtB,sBAAsB,EACtB,0BAA0B,GAC3B,MAAM,uCAAuC,CAAC;AAC/C,YAAY,EAAE,mBAAmB,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AACtF,OAAO,EACL,mBAAmB,EACnB,cAAc,EACd,cAAc,EACd,aAAa,EACb,aAAa,GACd,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,YAAY,EACV,6BAA6B,EAC7B,2BAA2B,EAC3B,6BAA6B,EAC7B,6BAA6B,EAC7B,0BAA0B,EAC1B,gBAAgB,EAChB,4BAA4B,EAC5B,mBAAmB,EACnB,8BAA8B,EAC9B,yBAAyB,EACzB,6BAA6B,EAC7B,+BAA+B,EAC/B,kBAAkB,EAClB,2BAA2B,EAC3B,kCAAkC,EAClC,gCAAgC,EAChC,yBAAyB,EACzB,wBAAwB,EACxB,8BAA8B,EAC9B,kBAAkB,EAClB,sBAAsB,EACtB,0BAA0B,EAC1B,uBAAuB,EACvB,gBAAgB,EAChB,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAElC;;;GAGG;;AACH,wBAAyC"}

package/dist/exports/control.js

@@ -1,8 +1,8 @@
 import {
   createSqlFamilyInstance
-} from "./chunk-6P44BVZ4.js";
-import "./chunk-C3GKWCKA.js";
-import "./chunk-F252JMEU.js";
+} from "../chunk-F27CR6XZ.js";
+import "../chunk-SU7LN2UH.js";
+import "../chunk-XH2Y5NTD.js";
 
 // src/core/descriptor.ts
 import { sqlTargetFamilyHook } from "@prisma-next/sql-contract-emitter";
@@ -12,11 +12,11 @@ var SqlFamilyDescriptor = class {
   familyId = "sql";
   version = "0.0.1";
   hook = sqlTargetFamilyHook;
-  create(options) {
+  create(stack) {
     return createSqlFamilyInstance({
-      target: options.target,
-      adapter: options.adapter,
-      extensionPacks: options.extensionPacks
+      target: stack.target,
+      adapter: stack.adapter,
+      extensionPacks: stack.extensionPacks
     });
   }
 };

package/dist/exports/control.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/core/descriptor.ts","../../src/core/migrations/plan-helpers.ts","../../src/core/migrations/policies.ts","../../src/exports/control.ts"],"sourcesContent":["import type {\n  ControlAdapterDescriptor,\n  ControlDriverDescriptor,\n  ControlExtensionDescriptor,\n  ControlFamilyDescriptor,\n} from '@prisma-next/core-control-plane/types';\nimport { sqlTargetFamilyHook } from '@prisma-next/sql-contract-emitter';\nimport type { SqlControlAdapter } from './control-adapter';\nimport { createSqlFamilyInstance, type SqlControlFamilyInstance } from './instance';\nimport type { SqlControlTargetDescriptor } from './migrations/types';\n\n/**\n * SQL family descriptor implementation.\n * Provides the SQL family hook and factory method.\n */\nexport class SqlFamilyDescriptor\n  implements ControlFamilyDescriptor<'sql', SqlControlFamilyInstance>\n{\n  readonly kind = 'family' as const;\n  readonly id = 'sql';\n  readonly familyId = 'sql' as const;\n  readonly version = '0.0.1';\n  readonly hook = sqlTargetFamilyHook;\n\n  create<TTargetId extends string, TTargetDetails>(options: {\n    readonly target: SqlControlTargetDescriptor<TTargetId, TTargetDetails>;\n    readonly adapter: ControlAdapterDescriptor<'sql', TTargetId, SqlControlAdapter<TTargetId>>;\n    readonly driver: ControlDriverDescriptor<'sql', TTargetId>;\n    readonly extensionPacks: readonly ControlExtensionDescriptor<'sql', TTargetId>[];\n  }): SqlControlFamilyInstance {\n    return createSqlFamilyInstance({\n      target: options.target,\n      adapter: options.adapter,\n      extensionPacks: options.extensionPacks,\n    });\n  }\n}\n","import type { NotOk, Ok } from '@prisma-next/utils/result';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport type {\n  AnyRecord,\n  CreateSqlMigrationPlanOptions,\n  SqlMigrationPlan,\n  SqlMigrationPlanOperation,\n  SqlMigrationPlanOperationStep,\n  SqlMigrationPlanOperationTarget,\n  SqlMigrationRunnerErrorCode,\n  SqlMigrationRunnerFailure,\n  SqlMigrationRunnerSuccessValue,\n  SqlPlannerConflict,\n  SqlPlannerFailureResult,\n  SqlPlannerSuccessResult,\n} from './types';\n\nconst readOnlyEmptyObject: Record<string, never> = Object.freeze({});\n\nfunction cloneRecord<T extends AnyRecord>(value: T): T {\n  if (value === readOnlyEmptyObject) {\n    return value;\n  }\n  return Object.freeze({ ...value }) as T;\n}\n\nfunction freezeSteps(\n  steps: readonly SqlMigrationPlanOperationStep[],\n): readonly SqlMigrationPlanOperationStep[] {\n  if (steps.length === 0) {\n    return Object.freeze([]);\n  }\n  return Object.freeze(\n    steps.map((step) =>\n      Object.freeze({\n        description: step.description,\n        sql: step.sql,\n        ...(step.meta ? { meta: cloneRecord(step.meta) } : {}),\n      }),\n    ),\n  );\n}\n\nfunction freezeDetailsValue<T>(value: T): T {\n  // Primitives and null/undefined are already immutable, return as-is\n  if (value === null || value === undefined) {\n    return value;\n  }\n  if (typeof value !== 'object') {\n    return value;\n  }\n  // Arrays: shallow clone and freeze\n  if (Array.isArray(value)) {\n    return Object.freeze([...value]) as T;\n  }\n  // Objects: shallow clone and freeze (matching cloneRecord pattern)\n  return Object.freeze({ ...value }) as T;\n}\n\nfunction freezeTargetDetails<TTargetDetails>(\n  target: SqlMigrationPlanOperationTarget<TTargetDetails>,\n): SqlMigrationPlanOperationTarget<TTargetDetails> {\n  return Object.freeze({\n    id: target.id,\n    ...(target.details !== undefined ? { details: freezeDetailsValue(target.details) } : {}),\n  });\n}\n\nfunction freezeOperation<TTargetDetails>(\n  operation: SqlMigrationPlanOperation<TTargetDetails>,\n): SqlMigrationPlanOperation<TTargetDetails> {\n  return Object.freeze({\n    id: operation.id,\n    label: operation.label,\n    ...(operation.summary ? { summary: operation.summary } : {}),\n    operationClass: operation.operationClass,\n    target: freezeTargetDetails(operation.target),\n    precheck: freezeSteps(operation.precheck),\n    execute: freezeSteps(operation.execute),\n    postcheck: freezeSteps(operation.postcheck),\n    ...(operation.meta ? { meta: cloneRecord(operation.meta) } : {}),\n  });\n}\n\nfunction freezeOperations<TTargetDetails>(\n  operations: readonly SqlMigrationPlanOperation<TTargetDetails>[],\n): readonly SqlMigrationPlanOperation<TTargetDetails>[] {\n  if (operations.length === 0) {\n    return Object.freeze([]);\n  }\n  return Object.freeze(operations.map((operation) => freezeOperation(operation)));\n}\n\nexport function createMigrationPlan<TTargetDetails>(\n  options: CreateSqlMigrationPlanOptions<TTargetDetails>,\n): SqlMigrationPlan<TTargetDetails> {\n  return Object.freeze({\n    targetId: options.targetId,\n    ...(options.origin !== undefined\n      ? { origin: options.origin ? Object.freeze({ ...options.origin }) : null }\n      : {}),\n    destination: Object.freeze({ ...options.destination }),\n    operations: freezeOperations(options.operations),\n    ...(options.meta ? { meta: cloneRecord(options.meta) } : {}),\n  });\n}\n\nexport function plannerSuccess<TTargetDetails>(\n  plan: SqlMigrationPlan<TTargetDetails>,\n): SqlPlannerSuccessResult<TTargetDetails> {\n  return Object.freeze({\n    kind: 'success',\n    plan,\n  });\n}\n\nexport function plannerFailure(conflicts: readonly SqlPlannerConflict[]): SqlPlannerFailureResult {\n  return Object.freeze({\n    kind: 'failure' as const,\n    conflicts: Object.freeze(\n      conflicts.map((conflict) =>\n        Object.freeze({\n          kind: conflict.kind,\n          summary: conflict.summary,\n          ...(conflict.why ? { why: conflict.why } : {}),\n          ...(conflict.location ? { location: Object.freeze({ ...conflict.location }) } : {}),\n          ...(conflict.meta ? { meta: cloneRecord(conflict.meta) } : {}),\n        }),\n      ),\n    ),\n  });\n}\n\n/**\n * Creates a successful migration runner result.\n */\nexport function runnerSuccess(value: {\n  operationsPlanned: number;\n  operationsExecuted: number;\n}): Ok<SqlMigrationRunnerSuccessValue> {\n  return ok(\n    Object.freeze({\n      operationsPlanned: value.operationsPlanned,\n      operationsExecuted: value.operationsExecuted,\n    }),\n  );\n}\n\n/**\n * Creates a failed migration runner result.\n */\nexport function runnerFailure(\n  code: SqlMigrationRunnerErrorCode,\n  summary: string,\n  options?: { why?: string; meta?: AnyRecord },\n): NotOk<SqlMigrationRunnerFailure> {\n  const failure: SqlMigrationRunnerFailure = Object.freeze({\n    code,\n    summary,\n    ...(options?.why ? { why: options.why } : {}),\n    ...(options?.meta ? { meta: cloneRecord(options.meta) } : {}),\n  });\n  return notOk(failure);\n}\n","import type { MigrationOperationPolicy } from '@prisma-next/core-control-plane/types';\n\n/**\n * Policy used by `db init`: additive-only operations, no widening/destructive steps.\n */\nexport const INIT_ADDITIVE_POLICY: MigrationOperationPolicy = Object.freeze({\n  allowedOperationClasses: Object.freeze(['additive'] as const),\n});\n","import { SqlFamilyDescriptor } from '../core/descriptor';\n\n// Re-export core types from canonical source\nexport type {\n  MigrationOperationClass,\n  MigrationOperationPolicy,\n  MigrationPlan,\n  MigrationPlanner,\n  MigrationPlannerConflict,\n  MigrationPlannerResult,\n  MigrationPlanOperation,\n  TargetMigrationsCapability,\n} from '@prisma-next/core-control-plane/types';\nexport type { SchemaVerifyOptions, SqlControlFamilyInstance } from '../core/instance';\nexport {\n  createMigrationPlan,\n  plannerFailure,\n  plannerSuccess,\n  runnerFailure,\n  runnerSuccess,\n} from '../core/migrations/plan-helpers';\nexport { INIT_ADDITIVE_POLICY } from '../core/migrations/policies';\n// SQL-specific types\nexport type {\n  ComponentDatabaseDependencies,\n  ComponentDatabaseDependency,\n  CreateSqlMigrationPlanOptions,\n  SqlControlExtensionDescriptor,\n  SqlControlTargetDescriptor,\n  SqlMigrationPlan,\n  SqlMigrationPlanContractInfo,\n  SqlMigrationPlanner,\n  SqlMigrationPlannerPlanOptions,\n  SqlMigrationPlanOperation,\n  SqlMigrationPlanOperationStep,\n  SqlMigrationPlanOperationTarget,\n  SqlMigrationRunner,\n  SqlMigrationRunnerErrorCode,\n  SqlMigrationRunnerExecuteCallbacks,\n  SqlMigrationRunnerExecuteOptions,\n  SqlMigrationRunnerFailure,\n  SqlMigrationRunnerResult,\n  SqlMigrationRunnerSuccessValue,\n  SqlPlannerConflict,\n  SqlPlannerConflictKind,\n  SqlPlannerConflictLocation,\n  SqlPlannerFailureResult,\n  SqlPlannerResult,\n  SqlPlannerSuccessResult,\n} from '../core/migrations/types';\n\n/**\n * SQL family descriptor for control plane (CLI/config).\n * Provides the SQL family hook and conversion helpers.\n */\nexport default new SqlFamilyDescriptor();\n"],"mappings":";;;;;;;AAMA,SAAS,2BAA2B;AAS7B,IAAM,sBAAN,MAEP;AAAA,EACW,OAAO;AAAA,EACP,KAAK;AAAA,EACL,WAAW;AAAA,EACX,UAAU;AAAA,EACV,OAAO;AAAA,EAEhB,OAAiD,SAKpB;AAC3B,WAAO,wBAAwB;AAAA,MAC7B,QAAQ,QAAQ;AAAA,MAChB,SAAS,QAAQ;AAAA,MACjB,gBAAgB,QAAQ;AAAA,IAC1B,CAAC;AAAA,EACH;AACF;;;ACnCA,SAAS,OAAO,UAAU;AAgB1B,IAAM,sBAA6C,OAAO,OAAO,CAAC,CAAC;AAEnE,SAAS,YAAiC,OAAa;AACrD,MAAI,UAAU,qBAAqB;AACjC,WAAO;AAAA,EACT;AACA,SAAO,OAAO,OAAO,EAAE,GAAG,MAAM,CAAC;AACnC;AAEA,SAAS,YACP,OAC0C;AAC1C,MAAI,MAAM,WAAW,GAAG;AACtB,WAAO,OAAO,OAAO,CAAC,CAAC;AAAA,EACzB;AACA,SAAO,OAAO;AAAA,IACZ,MAAM;AAAA,MAAI,CAAC,SACT,OAAO,OAAO;AAAA,QACZ,aAAa,KAAK;AAAA,QAClB,KAAK,KAAK;AAAA,QACV,GAAI,KAAK,OAAO,EAAE,MAAM,YAAY,KAAK,IAAI,EAAE,IAAI,CAAC;AAAA,MACtD,CAAC;AAAA,IACH;AAAA,EACF;AACF;AAEA,SAAS,mBAAsB,OAAa;AAE1C,MAAI,UAAU,QAAQ,UAAU,QAAW;AACzC,WAAO;AAAA,EACT;AACA,MAAI,OAAO,UAAU,UAAU;AAC7B,WAAO;AAAA,EACT;AAEA,MAAI,MAAM,QAAQ,KAAK,GAAG;AACxB,WAAO,OAAO,OAAO,CAAC,GAAG,KAAK,CAAC;AAAA,EACjC;AAEA,SAAO,OAAO,OAAO,EAAE,GAAG,MAAM,CAAC;AACnC;AAEA,SAAS,oBACP,QACiD;AACjD,SAAO,OAAO,OAAO;AAAA,IACnB,IAAI,OAAO;AAAA,IACX,GAAI,OAAO,YAAY,SAAY,EAAE,SAAS,mBAAmB,OAAO,OAAO,EAAE,IAAI,CAAC;AAAA,EACxF,CAAC;AACH;AAEA,SAAS,gBACP,WAC2C;AAC3C,SAAO,OAAO,OAAO;AAAA,IACnB,IAAI,UAAU;AAAA,IACd,OAAO,UAAU;AAAA,IACjB,GAAI,UAAU,UAAU,EAAE,SAAS,UAAU,QAAQ,IAAI,CAAC;AAAA,IAC1D,gBAAgB,UAAU;AAAA,IAC1B,QAAQ,oBAAoB,UAAU,MAAM;AAAA,IAC5C,UAAU,YAAY,UAAU,QAAQ;AAAA,IACxC,SAAS,YAAY,UAAU,OAAO;AAAA,IACtC,WAAW,YAAY,UAAU,SAAS;AAAA,IAC1C,GAAI,UAAU,OAAO,EAAE,MAAM,YAAY,UAAU,IAAI,EAAE,IAAI,CAAC;AAAA,EAChE,CAAC;AACH;AAEA,SAAS,iBACP,YACsD;AACtD,MAAI,WAAW,WAAW,GAAG;AAC3B,WAAO,OAAO,OAAO,CAAC,CAAC;AAAA,EACzB;AACA,SAAO,OAAO,OAAO,WAAW,IAAI,CAAC,cAAc,gBAAgB,SAAS,CAAC,CAAC;AAChF;AAEO,SAAS,oBACd,SACkC;AAClC,SAAO,OAAO,OAAO;AAAA,IACnB,UAAU,QAAQ;AAAA,IAClB,GAAI,QAAQ,WAAW,SACnB,EAAE,QAAQ,QAAQ,SAAS,OAAO,OAAO,EAAE,GAAG,QAAQ,OAAO,CAAC,IAAI,KAAK,IACvE,CAAC;AAAA,IACL,aAAa,OAAO,OAAO,EAAE,GAAG,QAAQ,YAAY,CAAC;AAAA,IACrD,YAAY,iBAAiB,QAAQ,UAAU;AAAA,IAC/C,GAAI,QAAQ,OAAO,EAAE,MAAM,YAAY,QAAQ,IAAI,EAAE,IAAI,CAAC;AAAA,EAC5D,CAAC;AACH;AAEO,SAAS,eACd,MACyC;AACzC,SAAO,OAAO,OAAO;AAAA,IACnB,MAAM;AAAA,IACN;AAAA,EACF,CAAC;AACH;AAEO,SAAS,eAAe,WAAmE;AAChG,SAAO,OAAO,OAAO;AAAA,IACnB,MAAM;AAAA,IACN,WAAW,OAAO;AAAA,MAChB,UAAU;AAAA,QAAI,CAAC,aACb,OAAO,OAAO;AAAA,UACZ,MAAM,SAAS;AAAA,UACf,SAAS,SAAS;AAAA,UAClB,GAAI,SAAS,MAAM,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC;AAAA,UAC5C,GAAI,SAAS,WAAW,EAAE,UAAU,OAAO,OAAO,EAAE,GAAG,SAAS,SAAS,CAAC,EAAE,IAAI,CAAC;AAAA,UACjF,GAAI,SAAS,OAAO,EAAE,MAAM,YAAY,SAAS,IAAI,EAAE,IAAI,CAAC;AAAA,QAC9D,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF,CAAC;AACH;AAKO,SAAS,cAAc,OAGS;AACrC,SAAO;AAAA,IACL,OAAO,OAAO;AAAA,MACZ,mBAAmB,MAAM;AAAA,MACzB,oBAAoB,MAAM;AAAA,IAC5B,CAAC;AAAA,EACH;AACF;AAKO,SAAS,cACd,MACA,SACA,SACkC;AAClC,QAAM,UAAqC,OAAO,OAAO;AAAA,IACvD;AAAA,IACA;AAAA,IACA,GAAI,SAAS,MAAM,EAAE,KAAK,QAAQ,IAAI,IAAI,CAAC;AAAA,IAC3C,GAAI,SAAS,OAAO,EAAE,MAAM,YAAY,QAAQ,IAAI,EAAE,IAAI,CAAC;AAAA,EAC7D,CAAC;AACD,SAAO,MAAM,OAAO;AACtB;;;AC9JO,IAAM,uBAAiD,OAAO,OAAO;AAAA,EAC1E,yBAAyB,OAAO,OAAO,CAAC,UAAU,CAAU;AAC9D,CAAC;;;ACgDD,IAAO,kBAAQ,IAAI,oBAAoB;","names":[]}
+{"version":3,"sources":["../../src/core/descriptor.ts","../../src/core/migrations/plan-helpers.ts","../../src/core/migrations/policies.ts","../../src/exports/control.ts"],"sourcesContent":["import type {\n  ControlFamilyDescriptor,\n  ControlPlaneStack,\n} from '@prisma-next/core-control-plane/types';\nimport { sqlTargetFamilyHook } from '@prisma-next/sql-contract-emitter';\nimport { createSqlFamilyInstance, type SqlControlFamilyInstance } from './instance';\n\n/**\n * SQL family descriptor implementation.\n * Provides the SQL family hook and factory method.\n */\nexport class SqlFamilyDescriptor\n  implements ControlFamilyDescriptor<'sql', SqlControlFamilyInstance>\n{\n  readonly kind = 'family' as const;\n  readonly id = 'sql';\n  readonly familyId = 'sql' as const;\n  readonly version = '0.0.1';\n  readonly hook = sqlTargetFamilyHook;\n\n  create<TTargetId extends string>(\n    stack: ControlPlaneStack<'sql', TTargetId>,\n  ): SqlControlFamilyInstance {\n    // Note: driver is not passed here because SqlFamilyInstance operations\n    // (validate, emit, etc.) don't require DB connectivity. Commands that\n    // need the driver (verify, introspect) get it directly from the stack.\n    return createSqlFamilyInstance({\n      target: stack.target,\n      adapter: stack.adapter,\n      extensionPacks: stack.extensionPacks,\n    });\n  }\n}\n","import type { NotOk, Ok } from '@prisma-next/utils/result';\nimport { notOk, ok } from '@prisma-next/utils/result';\nimport type {\n  AnyRecord,\n  CreateSqlMigrationPlanOptions,\n  SqlMigrationPlan,\n  SqlMigrationPlanOperation,\n  SqlMigrationPlanOperationStep,\n  SqlMigrationPlanOperationTarget,\n  SqlMigrationRunnerErrorCode,\n  SqlMigrationRunnerFailure,\n  SqlMigrationRunnerSuccessValue,\n  SqlPlannerConflict,\n  SqlPlannerFailureResult,\n  SqlPlannerSuccessResult,\n} from './types';\n\nconst readOnlyEmptyObject: Record<string, never> = Object.freeze({});\n\nfunction cloneRecord<T extends AnyRecord>(value: T): T {\n  if (value === readOnlyEmptyObject) {\n    return value;\n  }\n  return Object.freeze({ ...value }) as T;\n}\n\nfunction freezeSteps(\n  steps: readonly SqlMigrationPlanOperationStep[],\n): readonly SqlMigrationPlanOperationStep[] {\n  if (steps.length === 0) {\n    return Object.freeze([]);\n  }\n  return Object.freeze(\n    steps.map((step) =>\n      Object.freeze({\n        description: step.description,\n        sql: step.sql,\n        ...(step.meta ? { meta: cloneRecord(step.meta) } : {}),\n      }),\n    ),\n  );\n}\n\nfunction freezeDetailsValue<T>(value: T): T {\n  // Primitives and null/undefined are already immutable, return as-is\n  if (value === null || value === undefined) {\n    return value;\n  }\n  if (typeof value !== 'object') {\n    return value;\n  }\n  // Arrays: shallow clone and freeze\n  if (Array.isArray(value)) {\n    return Object.freeze([...value]) as T;\n  }\n  // Objects: shallow clone and freeze (matching cloneRecord pattern)\n  return Object.freeze({ ...value }) as T;\n}\n\nfunction freezeTargetDetails<TTargetDetails>(\n  target: SqlMigrationPlanOperationTarget<TTargetDetails>,\n): SqlMigrationPlanOperationTarget<TTargetDetails> {\n  return Object.freeze({\n    id: target.id,\n    ...(target.details !== undefined ? { details: freezeDetailsValue(target.details) } : {}),\n  });\n}\n\nfunction freezeOperation<TTargetDetails>(\n  operation: SqlMigrationPlanOperation<TTargetDetails>,\n): SqlMigrationPlanOperation<TTargetDetails> {\n  return Object.freeze({\n    id: operation.id,\n    label: operation.label,\n    ...(operation.summary ? { summary: operation.summary } : {}),\n    operationClass: operation.operationClass,\n    target: freezeTargetDetails(operation.target),\n    precheck: freezeSteps(operation.precheck),\n    execute: freezeSteps(operation.execute),\n    postcheck: freezeSteps(operation.postcheck),\n    ...(operation.meta ? { meta: cloneRecord(operation.meta) } : {}),\n  });\n}\n\nfunction freezeOperations<TTargetDetails>(\n  operations: readonly SqlMigrationPlanOperation<TTargetDetails>[],\n): readonly SqlMigrationPlanOperation<TTargetDetails>[] {\n  if (operations.length === 0) {\n    return Object.freeze([]);\n  }\n  return Object.freeze(operations.map((operation) => freezeOperation(operation)));\n}\n\nexport function createMigrationPlan<TTargetDetails>(\n  options: CreateSqlMigrationPlanOptions<TTargetDetails>,\n): SqlMigrationPlan<TTargetDetails> {\n  return Object.freeze({\n    targetId: options.targetId,\n    ...(options.origin !== undefined\n      ? { origin: options.origin ? Object.freeze({ ...options.origin }) : null }\n      : {}),\n    destination: Object.freeze({ ...options.destination }),\n    operations: freezeOperations(options.operations),\n    ...(options.meta ? { meta: cloneRecord(options.meta) } : {}),\n  });\n}\n\nexport function plannerSuccess<TTargetDetails>(\n  plan: SqlMigrationPlan<TTargetDetails>,\n): SqlPlannerSuccessResult<TTargetDetails> {\n  return Object.freeze({\n    kind: 'success',\n    plan,\n  });\n}\n\nexport function plannerFailure(conflicts: readonly SqlPlannerConflict[]): SqlPlannerFailureResult {\n  return Object.freeze({\n    kind: 'failure' as const,\n    conflicts: Object.freeze(\n      conflicts.map((conflict) =>\n        Object.freeze({\n          kind: conflict.kind,\n          summary: conflict.summary,\n          ...(conflict.why ? { why: conflict.why } : {}),\n          ...(conflict.location ? { location: Object.freeze({ ...conflict.location }) } : {}),\n          ...(conflict.meta ? { meta: cloneRecord(conflict.meta) } : {}),\n        }),\n      ),\n    ),\n  });\n}\n\n/**\n * Creates a successful migration runner result.\n */\nexport function runnerSuccess(value: {\n  operationsPlanned: number;\n  operationsExecuted: number;\n}): Ok<SqlMigrationRunnerSuccessValue> {\n  return ok(\n    Object.freeze({\n      operationsPlanned: value.operationsPlanned,\n      operationsExecuted: value.operationsExecuted,\n    }),\n  );\n}\n\n/**\n * Creates a failed migration runner result.\n */\nexport function runnerFailure(\n  code: SqlMigrationRunnerErrorCode,\n  summary: string,\n  options?: { why?: string; meta?: AnyRecord },\n): NotOk<SqlMigrationRunnerFailure> {\n  const failure: SqlMigrationRunnerFailure = Object.freeze({\n    code,\n    summary,\n    ...(options?.why ? { why: options.why } : {}),\n    ...(options?.meta ? { meta: cloneRecord(options.meta) } : {}),\n  });\n  return notOk(failure);\n}\n","import type { MigrationOperationPolicy } from '@prisma-next/core-control-plane/types';\n\n/**\n * Policy used by `db init`: additive-only operations, no widening/destructive steps.\n */\nexport const INIT_ADDITIVE_POLICY: MigrationOperationPolicy = Object.freeze({\n  allowedOperationClasses: Object.freeze(['additive'] as const),\n});\n","import { SqlFamilyDescriptor } from '../core/descriptor';\n\n// Re-export core types from canonical source\nexport type {\n  MigrationOperationClass,\n  MigrationOperationPolicy,\n  MigrationPlan,\n  MigrationPlanner,\n  MigrationPlannerConflict,\n  MigrationPlannerResult,\n  MigrationPlanOperation,\n  TargetMigrationsCapability,\n} from '@prisma-next/core-control-plane/types';\nexport type { SchemaVerifyOptions, SqlControlFamilyInstance } from '../core/instance';\nexport {\n  createMigrationPlan,\n  plannerFailure,\n  plannerSuccess,\n  runnerFailure,\n  runnerSuccess,\n} from '../core/migrations/plan-helpers';\nexport { INIT_ADDITIVE_POLICY } from '../core/migrations/policies';\n// SQL-specific types\nexport type {\n  ComponentDatabaseDependencies,\n  ComponentDatabaseDependency,\n  CreateSqlMigrationPlanOptions,\n  SqlControlExtensionDescriptor,\n  SqlControlTargetDescriptor,\n  SqlMigrationPlan,\n  SqlMigrationPlanContractInfo,\n  SqlMigrationPlanner,\n  SqlMigrationPlannerPlanOptions,\n  SqlMigrationPlanOperation,\n  SqlMigrationPlanOperationStep,\n  SqlMigrationPlanOperationTarget,\n  SqlMigrationRunner,\n  SqlMigrationRunnerErrorCode,\n  SqlMigrationRunnerExecuteCallbacks,\n  SqlMigrationRunnerExecuteOptions,\n  SqlMigrationRunnerFailure,\n  SqlMigrationRunnerResult,\n  SqlMigrationRunnerSuccessValue,\n  SqlPlannerConflict,\n  SqlPlannerConflictKind,\n  SqlPlannerConflictLocation,\n  SqlPlannerFailureResult,\n  SqlPlannerResult,\n  SqlPlannerSuccessResult,\n} from '../core/migrations/types';\n\n/**\n * SQL family descriptor for control plane (CLI/config).\n * Provides the SQL family hook and conversion helpers.\n */\nexport default new SqlFamilyDescriptor();\n"],"mappings":";;;;;;;AAIA,SAAS,2BAA2B;AAO7B,IAAM,sBAAN,MAEP;AAAA,EACW,OAAO;AAAA,EACP,KAAK;AAAA,EACL,WAAW;AAAA,EACX,UAAU;AAAA,EACV,OAAO;AAAA,EAEhB,OACE,OAC0B;AAI1B,WAAO,wBAAwB;AAAA,MAC7B,QAAQ,MAAM;AAAA,MACd,SAAS,MAAM;AAAA,MACf,gBAAgB,MAAM;AAAA,IACxB,CAAC;AAAA,EACH;AACF;;;AC/BA,SAAS,OAAO,UAAU;AAgB1B,IAAM,sBAA6C,OAAO,OAAO,CAAC,CAAC;AAEnE,SAAS,YAAiC,OAAa;AACrD,MAAI,UAAU,qBAAqB;AACjC,WAAO;AAAA,EACT;AACA,SAAO,OAAO,OAAO,EAAE,GAAG,MAAM,CAAC;AACnC;AAEA,SAAS,YACP,OAC0C;AAC1C,MAAI,MAAM,WAAW,GAAG;AACtB,WAAO,OAAO,OAAO,CAAC,CAAC;AAAA,EACzB;AACA,SAAO,OAAO;AAAA,IACZ,MAAM;AAAA,MAAI,CAAC,SACT,OAAO,OAAO;AAAA,QACZ,aAAa,KAAK;AAAA,QAClB,KAAK,KAAK;AAAA,QACV,GAAI,KAAK,OAAO,EAAE,MAAM,YAAY,KAAK,IAAI,EAAE,IAAI,CAAC;AAAA,MACtD,CAAC;AAAA,IACH;AAAA,EACF;AACF;AAEA,SAAS,mBAAsB,OAAa;AAE1C,MAAI,UAAU,QAAQ,UAAU,QAAW;AACzC,WAAO;AAAA,EACT;AACA,MAAI,OAAO,UAAU,UAAU;AAC7B,WAAO;AAAA,EACT;AAEA,MAAI,MAAM,QAAQ,KAAK,GAAG;AACxB,WAAO,OAAO,OAAO,CAAC,GAAG,KAAK,CAAC;AAAA,EACjC;AAEA,SAAO,OAAO,OAAO,EAAE,GAAG,MAAM,CAAC;AACnC;AAEA,SAAS,oBACP,QACiD;AACjD,SAAO,OAAO,OAAO;AAAA,IACnB,IAAI,OAAO;AAAA,IACX,GAAI,OAAO,YAAY,SAAY,EAAE,SAAS,mBAAmB,OAAO,OAAO,EAAE,IAAI,CAAC;AAAA,EACxF,CAAC;AACH;AAEA,SAAS,gBACP,WAC2C;AAC3C,SAAO,OAAO,OAAO;AAAA,IACnB,IAAI,UAAU;AAAA,IACd,OAAO,UAAU;AAAA,IACjB,GAAI,UAAU,UAAU,EAAE,SAAS,UAAU,QAAQ,IAAI,CAAC;AAAA,IAC1D,gBAAgB,UAAU;AAAA,IAC1B,QAAQ,oBAAoB,UAAU,MAAM;AAAA,IAC5C,UAAU,YAAY,UAAU,QAAQ;AAAA,IACxC,SAAS,YAAY,UAAU,OAAO;AAAA,IACtC,WAAW,YAAY,UAAU,SAAS;AAAA,IAC1C,GAAI,UAAU,OAAO,EAAE,MAAM,YAAY,UAAU,IAAI,EAAE,IAAI,CAAC;AAAA,EAChE,CAAC;AACH;AAEA,SAAS,iBACP,YACsD;AACtD,MAAI,WAAW,WAAW,GAAG;AAC3B,WAAO,OAAO,OAAO,CAAC,CAAC;AAAA,EACzB;AACA,SAAO,OAAO,OAAO,WAAW,IAAI,CAAC,cAAc,gBAAgB,SAAS,CAAC,CAAC;AAChF;AAEO,SAAS,oBACd,SACkC;AAClC,SAAO,OAAO,OAAO;AAAA,IACnB,UAAU,QAAQ;AAAA,IAClB,GAAI,QAAQ,WAAW,SACnB,EAAE,QAAQ,QAAQ,SAAS,OAAO,OAAO,EAAE,GAAG,QAAQ,OAAO,CAAC,IAAI,KAAK,IACvE,CAAC;AAAA,IACL,aAAa,OAAO,OAAO,EAAE,GAAG,QAAQ,YAAY,CAAC;AAAA,IACrD,YAAY,iBAAiB,QAAQ,UAAU;AAAA,IAC/C,GAAI,QAAQ,OAAO,EAAE,MAAM,YAAY,QAAQ,IAAI,EAAE,IAAI,CAAC;AAAA,EAC5D,CAAC;AACH;AAEO,SAAS,eACd,MACyC;AACzC,SAAO,OAAO,OAAO;AAAA,IACnB,MAAM;AAAA,IACN;AAAA,EACF,CAAC;AACH;AAEO,SAAS,eAAe,WAAmE;AAChG,SAAO,OAAO,OAAO;AAAA,IACnB,MAAM;AAAA,IACN,WAAW,OAAO;AAAA,MAChB,UAAU;AAAA,QAAI,CAAC,aACb,OAAO,OAAO;AAAA,UACZ,MAAM,SAAS;AAAA,UACf,SAAS,SAAS;AAAA,UAClB,GAAI,SAAS,MAAM,EAAE,KAAK,SAAS,IAAI,IAAI,CAAC;AAAA,UAC5C,GAAI,SAAS,WAAW,EAAE,UAAU,OAAO,OAAO,EAAE,GAAG,SAAS,SAAS,CAAC,EAAE,IAAI,CAAC;AAAA,UACjF,GAAI,SAAS,OAAO,EAAE,MAAM,YAAY,SAAS,IAAI,EAAE,IAAI,CAAC;AAAA,QAC9D,CAAC;AAAA,MACH;AAAA,IACF;AAAA,EACF,CAAC;AACH;AAKO,SAAS,cAAc,OAGS;AACrC,SAAO;AAAA,IACL,OAAO,OAAO;AAAA,MACZ,mBAAmB,MAAM;AAAA,MACzB,oBAAoB,MAAM;AAAA,IAC5B,CAAC;AAAA,EACH;AACF;AAKO,SAAS,cACd,MACA,SACA,SACkC;AAClC,QAAM,UAAqC,OAAO,OAAO;AAAA,IACvD;AAAA,IACA;AAAA,IACA,GAAI,SAAS,MAAM,EAAE,KAAK,QAAQ,IAAI,IAAI,CAAC;AAAA,IAC3C,GAAI,SAAS,OAAO,EAAE,MAAM,YAAY,QAAQ,IAAI,EAAE,IAAI,CAAC;AAAA,EAC7D,CAAC;AACD,SAAO,MAAM,OAAO;AACtB;;;AC9JO,IAAM,uBAAiD,OAAO,OAAO;AAAA,EAC1E,yBAAyB,OAAO,OAAO,CAAC,UAAU,CAAU;AAC9D,CAAC;;;ACgDD,IAAO,kBAAQ,IAAI,oBAAoB;","names":[]}

package/dist/exports/runtime.d.ts

@@ -1,66 +1,8 @@
-import { RuntimeFamilyInstance, RuntimeDriverInstance, RuntimeFamilyDescriptor, RuntimeTargetDescriptor, RuntimeAdapterDescriptor, RuntimeDriverDescriptor, RuntimeExtensionDescriptor } from '@prisma-next/core-execution-plane/types';
-import { RuntimeVerifyOptions, Plugin, Log } from '@prisma-next/runtime-executor';
-import { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';
-import { Adapter, SelectAst, LoweredStatement, SqlDriver } from '@prisma-next/sql-relational-core/ast';
-import { Runtime, SqlRuntimeAdapterInstance } from '@prisma-next/sql-runtime';
-
-/**
- * SQL runtime driver instance type.
- * Combines identity properties with SQL-specific behavior methods.
- */
-type SqlRuntimeDriverInstance<TTargetId extends string = string> = RuntimeDriverInstance<'sql', TTargetId> & SqlDriver;
-
-/**
- * SQL runtime family instance interface.
- * Extends base RuntimeFamilyInstance with SQL-specific runtime creation method.
- */
-interface SqlRuntimeFamilyInstance extends RuntimeFamilyInstance<'sql'> {
-    /**
-     * Creates a SQL runtime from contract, driver options, and verification settings.
-     *
-     * Extension packs are routed through composition (at instance creation time),
-     * not through this method. This aligns with control-plane composition patterns.
-     *
-     * @param options - Runtime creation options
-     * @param options.contract - SQL contract
-     * @param options.driverOptions - Driver options (e.g., PostgresDriverOptions)
-     * @param options.verify - Runtime verification options
-     * @param options.plugins - Optional plugins
-     * @param options.mode - Optional runtime mode
-     * @param options.log - Optional log instance
-     * @returns Runtime instance
-     */
-    createRuntime<TContract extends SqlContract<SqlStorage>>(options: {
-        readonly contract: TContract;
-        readonly driverOptions: unknown;
-        readonly verify: RuntimeVerifyOptions;
-        readonly plugins?: readonly Plugin<TContract, Adapter<SelectAst, SqlContract<SqlStorage>, LoweredStatement>, SqlDriver>[];
-        readonly mode?: 'strict' | 'permissive';
-        readonly log?: Log;
-    }): Runtime;
-}
-
-/**
- * SQL runtime family descriptor implementation.
- * Provides factory method to create SQL runtime family instance.
- */
-declare class SqlRuntimeFamilyDescriptor implements RuntimeFamilyDescriptor<'sql', SqlRuntimeFamilyInstance> {
-    readonly kind: "family";
-    readonly id = "sql";
-    readonly familyId: "sql";
-    readonly version = "0.0.1";
-    create<TTargetId extends string>(options: {
-        readonly target: RuntimeTargetDescriptor<'sql', TTargetId>;
-        readonly adapter: RuntimeAdapterDescriptor<'sql', TTargetId, SqlRuntimeAdapterInstance<TTargetId>>;
-        readonly driver: RuntimeDriverDescriptor<'sql', TTargetId, SqlRuntimeDriverInstance<TTargetId>>;
-        readonly extensionPacks: readonly RuntimeExtensionDescriptor<'sql', TTargetId>[];
-    }): SqlRuntimeFamilyInstance;
-}
-
+import { SqlRuntimeFamilyDescriptor } from '../core/runtime-descriptor';
 /**
  * SQL runtime family descriptor for execution/runtime plane.
  * Provides factory method to create SQL runtime family instance.
  */
 declare const _default: SqlRuntimeFamilyDescriptor;
-
-export { _default as default };
+export default _default;
+//# sourceMappingURL=runtime.d.ts.map

package/dist/exports/runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../../src/exports/runtime.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,0BAA0B,EAAE,MAAM,4BAA4B,CAAC;AAExE;;;GAGG;;AACH,wBAAgD"}