@prisma-next/family-sql 0.3.0-dev.4 → 0.3.0-dev.6

package/dist/{exports/types-Bh7ftf0Q.d.ts → core/migrations/types.d.ts}

@@ -1,18 +1,16 @@
-import { TargetBoundComponentDescriptor } from '@prisma-next/contract/framework-components';
-import { ControlTargetDescriptor, ControlTargetInstance, MigrationOperationPolicy, MigrationPlannerSuccessResult, MigrationPlan, MigrationPlanOperation, MigrationPlannerFailureResult, MigrationPlannerConflict, ControlDriverInstance, OperationContext, MigrationRunnerExecutionChecks, MigrationRunnerSuccessValue, MigrationRunnerFailure, SchemaIssue, ControlExtensionDescriptor } from '@prisma-next/core-control-plane/types';
-import { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';
-import { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';
-import { Result } from '@prisma-next/utils/result';
-import { S as SqlControlFamilyInstance } from './instance-DiZi2k_2.js';
-
 /**
  * SQL-specific migration types.
  *
  * These types extend the canonical migration types from the framework control plane
  * with SQL-specific fields for execution (precheck SQL, execute SQL, etc.).
  */
-
-type AnyRecord = Readonly<Record<string, unknown>>;
+import type { TargetBoundComponentDescriptor } from '@prisma-next/contract/framework-components';
+import type { ControlDriverInstance, ControlExtensionDescriptor, ControlTargetDescriptor, ControlTargetInstance, MigrationOperationPolicy, MigrationPlan, MigrationPlannerConflict, MigrationPlannerFailureResult, MigrationPlannerSuccessResult, MigrationPlanOperation, MigrationRunnerExecutionChecks, MigrationRunnerFailure, MigrationRunnerSuccessValue, OperationContext, SchemaIssue } 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';
+import type { Result } from '@prisma-next/utils/result';
+import type { SqlControlFamilyInstance } from '../instance';
+export type AnyRecord = Readonly<Record<string, unknown>>;
 /**
  * A single database dependency declared by a framework component.
  * Uses SqlMigrationPlanOperation so we inherit the existing precheck/execute/postcheck contract.
@@ -22,7 +20,7 @@ type AnyRecord = Readonly<Record<string, unknown>>;
  * The planner emits these as migration operations, and the verifier uses the pure verification
  * hook to check satisfaction against the schema IR.
  */
-interface ComponentDatabaseDependency<TTargetDetails> {
+export interface ComponentDatabaseDependency<TTargetDetails> {
     /** Stable identifier for the dependency (e.g. 'postgres.extension.vector') */
     readonly id: string;
     /** Human label for output (e.g. 'Enable vector extension') */
@@ -43,13 +41,21 @@ interface ComponentDatabaseDependency<TTargetDetails> {
 /**
  * Database dependencies declared by a framework component.
  */
-interface ComponentDatabaseDependencies<TTargetDetails> {
+export interface ComponentDatabaseDependencies<TTargetDetails> {
     /**
      * Dependencies required for db init.
      * Future: update dependencies can be added later (e.g. widening/destructive).
      */
     readonly init?: readonly ComponentDatabaseDependency<TTargetDetails>[];
 }
+/**
+ * Minimal structural type implemented by any descriptor that can expose
+ * component-owned database dependencies. Targets/adapters typically omit
+ * the property, while extensions provide dependency metadata.
+ */
+export interface DatabaseDependencyProvider {
+    readonly databaseDependencies?: ComponentDatabaseDependencies<unknown>;
+}
 /**
  * SQL-specific extension descriptor with optional database dependencies.
  * Extends the core ControlExtensionDescriptor with SQL-specific metadata.
@@ -57,14 +63,14 @@ interface ComponentDatabaseDependencies<TTargetDetails> {
  * Database dependencies are attached to the descriptor (not the instance) because
  * they are declarative metadata that planner/verifier need without constructing instances.
  */
-interface SqlControlExtensionDescriptor<TTargetId extends string> extends ControlExtensionDescriptor<'sql', TTargetId> {
+export interface SqlControlExtensionDescriptor<TTargetId extends string> extends ControlExtensionDescriptor<'sql', TTargetId> {
     /** Optional database dependencies this extension requires. */
     readonly databaseDependencies?: ComponentDatabaseDependencies<unknown>;
 }
 /**
  * A single step in a SQL migration operation (precheck, execute, or postcheck).
  */
-interface SqlMigrationPlanOperationStep {
+export interface SqlMigrationPlanOperationStep {
     readonly description: string;
     readonly sql: string;
     readonly meta?: AnyRecord;
@@ -72,7 +78,7 @@ interface SqlMigrationPlanOperationStep {
 /**
  * Target details for a SQL migration operation (table, column, index, etc.).
  */
-interface SqlMigrationPlanOperationTarget<TTargetDetails> {
+export interface SqlMigrationPlanOperationTarget<TTargetDetails> {
     readonly id: string;
     readonly details?: TTargetDetails;
 }
@@ -80,7 +86,7 @@ interface SqlMigrationPlanOperationTarget<TTargetDetails> {
  * A single SQL migration operation with SQL-specific fields.
  * Extends the core MigrationPlanOperation with SQL execution details.
  */
-interface SqlMigrationPlanOperation<TTargetDetails> extends MigrationPlanOperation {
+export interface SqlMigrationPlanOperation<TTargetDetails> extends MigrationPlanOperation {
     /** Optional detailed explanation of what this operation does and why. */
     readonly summary?: string;
     readonly target: SqlMigrationPlanOperationTarget<TTargetDetails>;
@@ -92,7 +98,7 @@ interface SqlMigrationPlanOperation<TTargetDetails> extends MigrationPlanOperati
 /**
  * Contract identity information for SQL migrations.
  */
-interface SqlMigrationPlanContractInfo {
+export interface SqlMigrationPlanContractInfo {
     readonly coreHash: string;
     readonly profileHash?: string;
 }
@@ -100,7 +106,7 @@ interface SqlMigrationPlanContractInfo {
  * A SQL migration plan with SQL-specific fields.
  * Extends the core MigrationPlan with origin tracking and metadata.
  */
-interface SqlMigrationPlan<TTargetDetails> extends MigrationPlan {
+export interface SqlMigrationPlan<TTargetDetails> extends MigrationPlan {
     /**
      * Origin contract identity that the plan expects the database to currently be at.
      * If omitted, the runner treats the origin as "no marker present" (empty database),
@@ -117,11 +123,11 @@ interface SqlMigrationPlan<TTargetDetails> extends MigrationPlan {
 /**
  * Specific conflict kinds for SQL migrations.
  */
-type SqlPlannerConflictKind = 'typeMismatch' | 'nullabilityConflict' | 'indexIncompatible' | 'foreignKeyConflict' | 'missingButNonAdditive' | 'unsupportedExtension' | 'extensionMissing' | 'unsupportedOperation';
+export type SqlPlannerConflictKind = 'typeMismatch' | 'nullabilityConflict' | 'indexIncompatible' | 'foreignKeyConflict' | 'missingButNonAdditive' | 'unsupportedExtension' | 'extensionMissing' | 'unsupportedOperation';
 /**
  * Location information for SQL planner conflicts.
  */
-interface SqlPlannerConflictLocation {
+export interface SqlPlannerConflictLocation {
     readonly table?: string;
     readonly column?: string;
     readonly index?: string;
@@ -132,7 +138,7 @@ interface SqlPlannerConflictLocation {
  * A SQL-specific planner conflict with additional location information.
  * Extends the core MigrationPlannerConflict.
  */
-interface SqlPlannerConflict extends MigrationPlannerConflict {
+export interface SqlPlannerConflict extends MigrationPlannerConflict {
     readonly kind: SqlPlannerConflictKind;
     readonly location?: SqlPlannerConflictLocation;
     readonly meta?: AnyRecord;
@@ -140,25 +146,25 @@ interface SqlPlannerConflict extends MigrationPlannerConflict {
 /**
  * Successful SQL planner result with the migration plan.
  */
-interface SqlPlannerSuccessResult<TTargetDetails> extends Omit<MigrationPlannerSuccessResult, 'plan'> {
+export interface SqlPlannerSuccessResult<TTargetDetails> extends Omit<MigrationPlannerSuccessResult, 'plan'> {
     readonly kind: 'success';
     readonly plan: SqlMigrationPlan<TTargetDetails>;
 }
 /**
  * Failed SQL planner result with the list of conflicts.
  */
-interface SqlPlannerFailureResult extends Omit<MigrationPlannerFailureResult, 'conflicts'> {
+export interface SqlPlannerFailureResult extends Omit<MigrationPlannerFailureResult, 'conflicts'> {
     readonly kind: 'failure';
     readonly conflicts: readonly SqlPlannerConflict[];
 }
 /**
  * Union type for SQL planner results.
  */
-type SqlPlannerResult<TTargetDetails> = SqlPlannerSuccessResult<TTargetDetails> | SqlPlannerFailureResult;
+export type SqlPlannerResult<TTargetDetails> = SqlPlannerSuccessResult<TTargetDetails> | SqlPlannerFailureResult;
 /**
  * Options for SQL migration planner.
  */
-interface SqlMigrationPlannerPlanOptions {
+export interface SqlMigrationPlannerPlanOptions {
     readonly contract: SqlContract<SqlStorage>;
     readonly schema: SqlSchemaIR;
     readonly policy: MigrationOperationPolicy;
@@ -174,20 +180,20 @@ interface SqlMigrationPlannerPlanOptions {
  * SQL migration planner interface.
  * Extends the core MigrationPlanner with SQL-specific types.
  */
-interface SqlMigrationPlanner<TTargetDetails> {
+export interface SqlMigrationPlanner<TTargetDetails> {
     plan(options: SqlMigrationPlannerPlanOptions): SqlPlannerResult<TTargetDetails>;
 }
 /**
  * Callbacks for SQL migration runner execution.
  */
-interface SqlMigrationRunnerExecuteCallbacks<TTargetDetails> {
+export interface SqlMigrationRunnerExecuteCallbacks<TTargetDetails> {
     onOperationStart?(operation: SqlMigrationPlanOperation<TTargetDetails>): void;
     onOperationComplete?(operation: SqlMigrationPlanOperation<TTargetDetails>): void;
 }
 /**
  * Options for SQL migration runner execution.
  */
-interface SqlMigrationRunnerExecuteOptions<TTargetDetails> {
+export interface SqlMigrationRunnerExecuteOptions<TTargetDetails> {
     readonly plan: SqlMigrationPlan<TTargetDetails>;
     readonly driver: ControlDriverInstance<'sql', string>;
     /**
@@ -219,12 +225,12 @@ interface SqlMigrationRunnerExecuteOptions<TTargetDetails> {
 /**
  * Error codes for SQL migration runner failures.
  */
-type SqlMigrationRunnerErrorCode = 'DESTINATION_CONTRACT_MISMATCH' | 'MARKER_ORIGIN_MISMATCH' | 'POLICY_VIOLATION' | 'PRECHECK_FAILED' | 'POSTCHECK_FAILED' | 'SCHEMA_VERIFY_FAILED' | 'EXECUTION_FAILED';
+export type SqlMigrationRunnerErrorCode = 'DESTINATION_CONTRACT_MISMATCH' | 'MARKER_ORIGIN_MISMATCH' | 'POLICY_VIOLATION' | 'PRECHECK_FAILED' | 'POSTCHECK_FAILED' | 'SCHEMA_VERIFY_FAILED' | 'EXECUTION_FAILED';
 /**
  * Detailed information about a SQL migration runner failure.
  * Extends the core MigrationRunnerFailure with SQL-specific error codes.
  */
-interface SqlMigrationRunnerFailure extends MigrationRunnerFailure {
+export interface SqlMigrationRunnerFailure extends MigrationRunnerFailure {
     readonly code: SqlMigrationRunnerErrorCode;
     readonly meta?: AnyRecord;
 }
@@ -232,24 +238,24 @@ interface SqlMigrationRunnerFailure extends MigrationRunnerFailure {
  * Success value for SQL migration runner execution.
  * Extends core type for type branding and potential SQL-specific extensions.
  */
-interface SqlMigrationRunnerSuccessValue extends MigrationRunnerSuccessValue {
+export interface SqlMigrationRunnerSuccessValue extends MigrationRunnerSuccessValue {
 }
 /**
  * Result type for SQL migration runner execution.
  */
-type SqlMigrationRunnerResult = Result<SqlMigrationRunnerSuccessValue, SqlMigrationRunnerFailure>;
+export type SqlMigrationRunnerResult = Result<SqlMigrationRunnerSuccessValue, SqlMigrationRunnerFailure>;
 /**
  * SQL migration runner interface.
  * Extends the core MigrationRunner with SQL-specific types.
  */
-interface SqlMigrationRunner<TTargetDetails> {
+export interface SqlMigrationRunner<TTargetDetails> {
     execute(options: SqlMigrationRunnerExecuteOptions<TTargetDetails>): Promise<SqlMigrationRunnerResult>;
 }
 /**
  * SQL control target descriptor with migration support.
  * Extends the core ControlTargetDescriptor with SQL-specific migration methods.
  */
-interface SqlControlTargetDescriptor<TTargetId extends string, TTargetDetails> extends ControlTargetDescriptor<'sql', TTargetId, ControlTargetInstance<'sql', TTargetId>, SqlControlFamilyInstance> {
+export interface SqlControlTargetDescriptor<TTargetId extends string, TTargetDetails> extends ControlTargetDescriptor<'sql', TTargetId, ControlTargetInstance<'sql', TTargetId>, SqlControlFamilyInstance> {
     /**
      * Creates a SQL migration planner for this target.
      * Direct method for SQL-specific usage.
@@ -264,12 +270,11 @@ interface SqlControlTargetDescriptor<TTargetId extends string, TTargetDetails> e
 /**
  * Options for creating a SQL migration plan.
  */
-interface CreateSqlMigrationPlanOptions<TTargetDetails> {
+export interface CreateSqlMigrationPlanOptions<TTargetDetails> {
     readonly targetId: string;
     readonly origin?: SqlMigrationPlanContractInfo | null;
     readonly destination: SqlMigrationPlanContractInfo;
     readonly operations: readonly SqlMigrationPlanOperation<TTargetDetails>[];
     readonly meta?: AnyRecord;
 }
-
-export type { AnyRecord as A, CreateSqlMigrationPlanOptions as C, SqlControlTargetDescriptor as S, SqlMigrationPlan as a, SqlPlannerConflict as b, SqlPlannerFailureResult as c, SqlPlannerSuccessResult as d, SqlMigrationRunnerErrorCode as e, SqlMigrationRunnerFailure as f, SqlMigrationRunnerSuccessValue as g, ComponentDatabaseDependencies as h, ComponentDatabaseDependency as i, SqlControlExtensionDescriptor as j, SqlMigrationPlanContractInfo as k, SqlMigrationPlanner as l, SqlMigrationPlannerPlanOptions as m, SqlMigrationPlanOperation as n, SqlMigrationPlanOperationStep as o, SqlMigrationPlanOperationTarget as p, SqlMigrationRunner as q, SqlMigrationRunnerExecuteCallbacks as r, SqlMigrationRunnerExecuteOptions as s, SqlMigrationRunnerResult as t, SqlPlannerConflictKind as u, SqlPlannerConflictLocation as v, SqlPlannerResult as w };
+//# sourceMappingURL=types.d.ts.map

package/dist/core/migrations/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/migrations/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,4CAA4C,CAAC;AACjG,OAAO,KAAK,EACV,qBAAqB,EACrB,0BAA0B,EAC1B,uBAAuB,EACvB,qBAAqB,EACrB,wBAAwB,EACxB,aAAa,EACb,wBAAwB,EACxB,6BAA6B,EAC7B,6BAA6B,EAC7B,sBAAsB,EACtB,8BAA8B,EAC9B,sBAAsB,EACtB,2BAA2B,EAC3B,gBAAgB,EAChB,WAAW,EACZ,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;AACpE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AACxD,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAC;AAE5D,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAM1D;;;;;;;;GAQG;AACH,MAAM,WAAW,2BAA2B,CAAC,cAAc;IACzD,8EAA8E;IAC9E,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,8DAA8D;IAC9D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;OAGG;IACH,QAAQ,CAAC,OAAO,EAAE,SAAS,yBAAyB,CAAC,cAAc,CAAC,EAAE,CAAC;IACvE;;;;;OAKG;IACH,QAAQ,CAAC,iCAAiC,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,SAAS,WAAW,EAAE,CAAC;CAC7F;AAED;;GAEG;AACH,MAAM,WAAW,6BAA6B,CAAC,cAAc;IAC3D;;;OAGG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,2BAA2B,CAAC,cAAc,CAAC,EAAE,CAAC;CACxE;AAED;;;;GAIG;AACH,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,6BAA6B,CAAC,OAAO,CAAC,CAAC;CACxE;AAMD;;;;;;GAMG;AACH,MAAM,WAAW,6BAA6B,CAAC,SAAS,SAAS,MAAM,CACrE,SAAQ,0BAA0B,CAAC,KAAK,EAAE,SAAS,CAAC;IACpD,8DAA8D;IAC9D,QAAQ,CAAC,oBAAoB,CAAC,EAAE,6BAA6B,CAAC,OAAO,CAAC,CAAC;CACxE;AAMD;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,+BAA+B,CAAC,cAAc;IAC7D,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC;CACnC;AAED;;;GAGG;AACH,MAAM,WAAW,yBAAyB,CAAC,cAAc,CAAE,SAAQ,sBAAsB;IACvF,yEAAyE;IACzE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,+BAA+B,CAAC,cAAc,CAAC,CAAC;IACjE,QAAQ,CAAC,QAAQ,EAAE,SAAS,6BAA6B,EAAE,CAAC;IAC5D,QAAQ,CAAC,OAAO,EAAE,SAAS,6BAA6B,EAAE,CAAC;IAC3D,QAAQ,CAAC,SAAS,EAAE,SAAS,6BAA6B,EAAE,CAAC;IAC7D,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB,CAAC,cAAc,CAAE,SAAQ,aAAa;IACrE;;;;OAIG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,4BAA4B,GAAG,IAAI,CAAC;IACtD;;OAEG;IACH,QAAQ,CAAC,WAAW,EAAE,4BAA4B,CAAC;IACnD,QAAQ,CAAC,UAAU,EAAE,SAAS,yBAAyB,CAAC,cAAc,CAAC,EAAE,CAAC;IAC1E,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;CAC3B;AAMD;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAC9B,cAAc,GACd,qBAAqB,GACrB,mBAAmB,GACnB,oBAAoB,GACpB,uBAAuB,GACvB,sBAAsB,GACtB,kBAAkB,GAClB,sBAAsB,CAAC;AAE3B;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAmB,SAAQ,wBAAwB;IAClE,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,QAAQ,CAAC,EAAE,0BAA0B,CAAC;IAC/C,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,uBAAuB,CAAC,cAAc,CACrD,SAAQ,IAAI,CAAC,6BAA6B,EAAE,MAAM,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC,cAAc,CAAC,CAAC;CACjD;AAED;;GAEG;AACH,MAAM,WAAW,uBAAwB,SAAQ,IAAI,CAAC,6BAA6B,EAAE,WAAW,CAAC;IAC/F,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACnD;AAED;;GAEG;AACH,MAAM,MAAM,gBAAgB,CAAC,cAAc,IACvC,uBAAuB,CAAC,cAAc,CAAC,GACvC,uBAAuB,CAAC;AAE5B;;GAEG;AACH,MAAM,WAAW,8BAA8B;IAC7C,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;IAC3C,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC;IAC1C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,8BAA8B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;CAC5F;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAmB,CAAC,cAAc;IACjD,IAAI,CAAC,OAAO,EAAE,8BAA8B,GAAG,gBAAgB,CAAC,cAAc,CAAC,CAAC;CACjF;AAMD;;GAEG;AACH,MAAM,WAAW,kCAAkC,CAAC,cAAc;IAChE,gBAAgB,CAAC,CAAC,SAAS,EAAE,yBAAyB,CAAC,cAAc,CAAC,GAAG,IAAI,CAAC;IAC9E,mBAAmB,CAAC,CAAC,SAAS,EAAE,yBAAyB,CAAC,cAAc,CAAC,GAAG,IAAI,CAAC;CAClF;AAED;;GAEG;AACH,MAAM,WAAW,gCAAgC,CAAC,cAAc;IAC9D,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC,cAAc,CAAC,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACtD;;;OAGG;IACH,QAAQ,CAAC,mBAAmB,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;IACtD;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC;IAC1C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IACtC,QAAQ,CAAC,SAAS,CAAC,EAAE,kCAAkC,CAAC,cAAc,CAAC,CAAC;IACxE,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;IACpC;;;OAGG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,8BAA8B,CAAC;IAC1D;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,EAAE,aAAa,CAAC,8BAA8B,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;CAC5F;AAED;;GAEG;AACH,MAAM,MAAM,2BAA2B,GACnC,+BAA+B,GAC/B,wBAAwB,GACxB,kBAAkB,GAClB,iBAAiB,GACjB,kBAAkB,GAClB,sBAAsB,GACtB,kBAAkB,CAAC;AAEvB;;;GAGG;AACH,MAAM,WAAW,yBAA0B,SAAQ,sBAAsB;IACvE,QAAQ,CAAC,IAAI,EAAE,2BAA2B,CAAC;IAC3C,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;CAC3B;AAED;;;GAGG;AACH,MAAM,WAAW,8BAA+B,SAAQ,2BAA2B;CAAG;AAEtF;;GAEG;AACH,MAAM,MAAM,wBAAwB,GAAG,MAAM,CAC3C,8BAA8B,EAC9B,yBAAyB,CAC1B,CAAC;AAEF;;;GAGG;AACH,MAAM,WAAW,kBAAkB,CAAC,cAAc;IAChD,OAAO,CACL,OAAO,EAAE,gCAAgC,CAAC,cAAc,CAAC,GACxD,OAAO,CAAC,wBAAwB,CAAC,CAAC;CACtC;AAMD;;;GAGG;AACH,MAAM,WAAW,0BAA0B,CAAC,SAAS,SAAS,MAAM,EAAE,cAAc,CAClF,SAAQ,uBAAuB,CAC7B,KAAK,EACL,SAAS,EACT,qBAAqB,CAAC,KAAK,EAAE,SAAS,CAAC,EACvC,wBAAwB,CACzB;IACD;;;OAGG;IACH,aAAa,CAAC,MAAM,EAAE,wBAAwB,GAAG,mBAAmB,CAAC,cAAc,CAAC,CAAC;IACrF;;;OAGG;IACH,YAAY,CAAC,MAAM,EAAE,wBAAwB,GAAG,kBAAkB,CAAC,cAAc,CAAC,CAAC;CACpF;AAMD;;GAEG;AACH,MAAM,WAAW,6BAA6B,CAAC,cAAc;IAC3D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,4BAA4B,GAAG,IAAI,CAAC;IACtD,QAAQ,CAAC,WAAW,EAAE,4BAA4B,CAAC;IACnD,QAAQ,CAAC,UAAU,EAAE,SAAS,yBAAyB,CAAC,cAAc,CAAC,EAAE,CAAC;IAC1E,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;CAC3B"}

package/dist/core/runtime-descriptor.d.ts

@@ -0,0 +1,19 @@
+import type { RuntimeAdapterDescriptor, RuntimeDriverDescriptor, RuntimeExtensionDescriptor, RuntimeFamilyDescriptor, RuntimeTargetDescriptor } from '@prisma-next/core-execution-plane/types';
+import { type SqlRuntimeAdapterInstance, type SqlRuntimeDriverInstance, type SqlRuntimeFamilyInstance } from './runtime-instance';
+/**
+ * SQL runtime family descriptor implementation.
+ * Provides factory method to create SQL runtime family instance.
+ */
+export 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;
+}
+//# sourceMappingURL=runtime-descriptor.d.ts.map

package/dist/core/runtime-descriptor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-descriptor.d.ts","sourceRoot":"","sources":["../../src/core/runtime-descriptor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,wBAAwB,EACxB,uBAAuB,EACvB,0BAA0B,EAC1B,uBAAuB,EACvB,uBAAuB,EACxB,MAAM,yCAAyC,CAAC;AACjD,OAAO,EAEL,KAAK,yBAAyB,EAC9B,KAAK,wBAAwB,EAC7B,KAAK,wBAAwB,EAC9B,MAAM,oBAAoB,CAAC;AAE5B;;;GAGG;AACH,qBAAa,0BACX,YAAW,uBAAuB,CAAC,KAAK,EAAE,wBAAwB,CAAC;IAEnE,QAAQ,CAAC,IAAI,EAAG,QAAQ,CAAU;IAClC,QAAQ,CAAC,EAAE,SAAS;IACpB,QAAQ,CAAC,QAAQ,EAAG,KAAK,CAAU;IACnC,QAAQ,CAAC,OAAO,WAAW;IAE3B,MAAM,CAAC,SAAS,SAAS,MAAM,EAAE,OAAO,EAAE;QACxC,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC3D,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CACxC,KAAK,EACL,SAAS,EACT,yBAAyB,CAAC,SAAS,CAAC,CACrC,CAAC;QACF,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC,KAAK,EAAE,SAAS,EAAE,wBAAwB,CAAC,SAAS,CAAC,CAAC,CAAC;QAChG,QAAQ,CAAC,cAAc,EAAE,SAAS,0BAA0B,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;KAClF,GAAG,wBAAwB;CAS7B"}

package/dist/core/runtime-instance.d.ts

@@ -0,0 +1,54 @@
+import type { RuntimeAdapterDescriptor, RuntimeDriverDescriptor, RuntimeDriverInstance, RuntimeFamilyDescriptor, RuntimeFamilyInstance, RuntimeTargetDescriptor } from '@prisma-next/core-execution-plane/types';
+import type { Log, Plugin, RuntimeVerifyOptions } from '@prisma-next/runtime-executor';
+import type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';
+import type { Adapter, LoweredStatement, SelectAst, SqlDriver } from '@prisma-next/sql-relational-core/ast';
+import type { Runtime, SqlRuntimeAdapterInstance, SqlRuntimeExtensionDescriptor } from '@prisma-next/sql-runtime';
+/**
+ * SQL runtime driver instance type.
+ * Combines identity properties with SQL-specific behavior methods.
+ */
+export type SqlRuntimeDriverInstance<TTargetId extends string = string> = RuntimeDriverInstance<'sql', TTargetId> & SqlDriver;
+export type { SqlRuntimeAdapterInstance } from '@prisma-next/sql-runtime';
+/**
+ * SQL runtime family instance interface.
+ * Extends base RuntimeFamilyInstance with SQL-specific runtime creation method.
+ */
+export 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;
+}
+/**
+ * Creates a SQL runtime family instance from runtime descriptors.
+ *
+ * Routes the same framework composition as control-plane:
+ * family, target, adapter, driver, extensionPacks (all as descriptors with IDs).
+ */
+export declare function createSqlRuntimeFamilyInstance<TTargetId extends string>(options: {
+    readonly family: RuntimeFamilyDescriptor<'sql'>;
+    readonly target: RuntimeTargetDescriptor<'sql', TTargetId>;
+    readonly adapter: RuntimeAdapterDescriptor<'sql', TTargetId, SqlRuntimeAdapterInstance<TTargetId>>;
+    readonly driver: RuntimeDriverDescriptor<'sql', TTargetId, SqlRuntimeDriverInstance<TTargetId>>;
+    readonly extensionPacks?: readonly SqlRuntimeExtensionDescriptor<TTargetId>[];
+}): SqlRuntimeFamilyInstance;
+//# sourceMappingURL=runtime-instance.d.ts.map

package/dist/core/runtime-instance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime-instance.d.ts","sourceRoot":"","sources":["../../src/core/runtime-instance.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,wBAAwB,EACxB,uBAAuB,EACvB,qBAAqB,EACrB,uBAAuB,EACvB,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,yCAAyC,CAAC;AACjD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,oBAAoB,EAAE,MAAM,+BAA+B,CAAC;AACvF,OAAO,KAAK,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,KAAK,EACV,OAAO,EACP,gBAAgB,EAChB,SAAS,EACT,SAAS,EACV,MAAM,sCAAsC,CAAC;AAC9C,OAAO,KAAK,EACV,OAAO,EAEP,yBAAyB,EACzB,6BAA6B,EAC9B,MAAM,0BAA0B,CAAC;AAGlC;;;GAGG;AACH,MAAM,MAAM,wBAAwB,CAAC,SAAS,SAAS,MAAM,GAAG,MAAM,IAAI,qBAAqB,CAC7F,KAAK,EACL,SAAS,CACV,GACC,SAAS,CAAC;AAGZ,YAAY,EAAE,yBAAyB,EAAE,MAAM,0BAA0B,CAAC;AAE1E;;;GAGG;AACH,MAAM,WAAW,wBAAyB,SAAQ,qBAAqB,CAAC,KAAK,CAAC;IAC5E;;;;;;;;;;;;;;OAcG;IACH,aAAa,CAAC,SAAS,SAAS,WAAW,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE;QAChE,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;QAC7B,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;QAChC,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC;QACtC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,CAChC,SAAS,EACT,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,UAAU,CAAC,EAAE,gBAAgB,CAAC,EAC7D,SAAS,CACV,EAAE,CAAC;QACJ,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,GAAG,YAAY,CAAC;QACxC,QAAQ,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC;KACpB,GAAG,OAAO,CAAC;CACb;AAED;;;;;GAKG;AACH,wBAAgB,8BAA8B,CAAC,SAAS,SAAS,MAAM,EAAE,OAAO,EAAE;IAChF,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC3D,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CACxC,KAAK,EACL,SAAS,EACT,yBAAyB,CAAC,SAAS,CAAC,CACrC,CAAC;IACF,QAAQ,CAAC,MAAM,EAAE,uBAAuB,CAAC,KAAK,EAAE,SAAS,EAAE,wBAAwB,CAAC,SAAS,CAAC,CAAC,CAAC;IAChG,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,6BAA6B,CAAC,SAAS,CAAC,EAAE,CAAC;CAC/E,GAAG,wBAAwB,CAuD3B"}

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

@@ -0,0 +1,50 @@
+/**
+ * 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;
+/**
+ * Verifies primary key matches between contract and schema.
+ * Returns 'pass' or 'fail'.
+ */
+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.
+ */
+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.
+ */
+export declare function verifyUniqueConstraints(contractUniques: readonly UniqueConstraint[], schemaUniques: readonly SqlUniqueIR[], tableName: string, tablePath: string, issues: SchemaIssue[], strict: boolean): SchemaVerificationNode[];
+/**
+ * Verifies indexes match between contract and schema.
+ * Returns verification nodes for the tree.
+ */
+export declare function verifyIndexes(contractIndexes: readonly Index[], schemaIndexes: readonly SqlIndexIR[], 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;AAED;;;GAGG;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,CAoCjB;AAED;;;GAGG;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,CAuG1B;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,eAAe,EAAE,SAAS,gBAAgB,EAAE,EAC5C,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,CAmG1B;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAC3B,eAAe,EAAE,SAAS,KAAK,EAAE,EACjC,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,CAoG1B;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,CAqe3F"}

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"}