@prisma-next/family-sql 0.3.0-pr.93.4 → 0.3.0-pr.94.1

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

@@ -1,280 +0,0 @@
-/**
- * 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.).
- */
-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.
- *
- * Database dependencies allow components (extensions, adapters) to declare what database-side
- * persistence structures they require (e.g., Postgres extensions, schemas, functions).
- * The planner emits these as migration operations, and the verifier uses the pure verification
- * hook to check satisfaction against the schema IR.
- */
-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') */
-    readonly label: string;
-    /**
-     * Operations that install/ensure the dependency.
-     * Use SqlMigrationPlanOperation so we inherit the existing precheck/execute/postcheck contract.
-     */
-    readonly install: readonly SqlMigrationPlanOperation<TTargetDetails>[];
-    /**
-     * Pure verification hook: checks whether this dependency is already installed
-     * based on the in-memory schema IR (no DB I/O).
-     *
-     * This must return structured issues suitable for CLI and tree output, not just a boolean.
-     */
-    readonly verifyDatabaseDependencyInstalled: (schema: SqlSchemaIR) => readonly SchemaIssue[];
-}
-/**
- * Database dependencies declared by a framework component.
- */
-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.
- *
- * Database dependencies are attached to the descriptor (not the instance) because
- * they are declarative metadata that planner/verifier need without constructing instances.
- */
-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).
- */
-export interface SqlMigrationPlanOperationStep {
-    readonly description: string;
-    readonly sql: string;
-    readonly meta?: AnyRecord;
-}
-/**
- * Target details for a SQL migration operation (table, column, index, etc.).
- */
-export interface SqlMigrationPlanOperationTarget<TTargetDetails> {
-    readonly id: string;
-    readonly details?: TTargetDetails;
-}
-/**
- * A single SQL migration operation with SQL-specific fields.
- * Extends the core MigrationPlanOperation with SQL execution details.
- */
-export interface SqlMigrationPlanOperation<TTargetDetails> extends MigrationPlanOperation {
-    /** Optional detailed explanation of what this operation does and why. */
-    readonly summary?: string;
-    readonly target: SqlMigrationPlanOperationTarget<TTargetDetails>;
-    readonly precheck: readonly SqlMigrationPlanOperationStep[];
-    readonly execute: readonly SqlMigrationPlanOperationStep[];
-    readonly postcheck: readonly SqlMigrationPlanOperationStep[];
-    readonly meta?: AnyRecord;
-}
-/**
- * Contract identity information for SQL migrations.
- */
-export interface SqlMigrationPlanContractInfo {
-    readonly coreHash: string;
-    readonly profileHash?: string;
-}
-/**
- * A SQL migration plan with SQL-specific fields.
- * Extends the core MigrationPlan with origin tracking and metadata.
- */
-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),
-     * and will only proceed if no marker exists (or if the marker already matches destination).
-     */
-    readonly origin?: SqlMigrationPlanContractInfo | null;
-    /**
-     * Destination contract identity that the plan intends to reach.
-     */
-    readonly destination: SqlMigrationPlanContractInfo;
-    readonly operations: readonly SqlMigrationPlanOperation<TTargetDetails>[];
-    readonly meta?: AnyRecord;
-}
-/**
- * Specific conflict kinds for SQL migrations.
- */
-export type SqlPlannerConflictKind = 'typeMismatch' | 'nullabilityConflict' | 'indexIncompatible' | 'foreignKeyConflict' | 'missingButNonAdditive' | 'unsupportedExtension' | 'extensionMissing' | 'unsupportedOperation';
-/**
- * Location information for SQL planner conflicts.
- */
-export interface SqlPlannerConflictLocation {
-    readonly table?: string;
-    readonly column?: string;
-    readonly index?: string;
-    readonly constraint?: string;
-    readonly extension?: string;
-}
-/**
- * A SQL-specific planner conflict with additional location information.
- * Extends the core MigrationPlannerConflict.
- */
-export interface SqlPlannerConflict extends MigrationPlannerConflict {
-    readonly kind: SqlPlannerConflictKind;
-    readonly location?: SqlPlannerConflictLocation;
-    readonly meta?: AnyRecord;
-}
-/**
- * Successful SQL planner result with the migration 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.
- */
-export interface SqlPlannerFailureResult extends Omit<MigrationPlannerFailureResult, 'conflicts'> {
-    readonly kind: 'failure';
-    readonly conflicts: readonly SqlPlannerConflict[];
-}
-/**
- * Union type for SQL planner results.
- */
-export type SqlPlannerResult<TTargetDetails> = SqlPlannerSuccessResult<TTargetDetails> | SqlPlannerFailureResult;
-/**
- * Options for SQL migration planner.
- */
-export interface SqlMigrationPlannerPlanOptions {
-    readonly contract: SqlContract<SqlStorage>;
-    readonly schema: SqlSchemaIR;
-    readonly policy: MigrationOperationPolicy;
-    readonly schemaName?: string;
-    /**
-     * Active framework components participating in this composition.
-     * SQL targets can interpret this list to derive database dependencies.
-     * All components must have matching familyId ('sql') and targetId.
-     */
-    readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
-}
-/**
- * SQL migration planner interface.
- * Extends the core MigrationPlanner with SQL-specific types.
- */
-export interface SqlMigrationPlanner<TTargetDetails> {
-    plan(options: SqlMigrationPlannerPlanOptions): SqlPlannerResult<TTargetDetails>;
-}
-/**
- * Callbacks for SQL migration runner execution.
- */
-export interface SqlMigrationRunnerExecuteCallbacks<TTargetDetails> {
-    onOperationStart?(operation: SqlMigrationPlanOperation<TTargetDetails>): void;
-    onOperationComplete?(operation: SqlMigrationPlanOperation<TTargetDetails>): void;
-}
-/**
- * Options for SQL migration runner execution.
- */
-export interface SqlMigrationRunnerExecuteOptions<TTargetDetails> {
-    readonly plan: SqlMigrationPlan<TTargetDetails>;
-    readonly driver: ControlDriverInstance<'sql', string>;
-    /**
-     * Destination contract IR.
-     * Must correspond to `plan.destination` and is used for schema verification and marker/ledger writes.
-     */
-    readonly destinationContract: SqlContract<SqlStorage>;
-    /**
-     * Execution-time policy that defines which operation classes are allowed.
-     * The runner validates each operation against this policy before execution.
-     */
-    readonly policy: MigrationOperationPolicy;
-    readonly schemaName?: string;
-    readonly strictVerification?: boolean;
-    readonly callbacks?: SqlMigrationRunnerExecuteCallbacks<TTargetDetails>;
-    readonly context?: OperationContext;
-    /**
-     * Execution-time checks configuration.
-     * All checks default to `true` (enabled) when omitted.
-     */
-    readonly executionChecks?: MigrationRunnerExecutionChecks;
-    /**
-     * Active framework components participating in this composition.
-     * SQL targets can interpret this list to derive database dependencies.
-     * All components must have matching familyId ('sql') and targetId.
-     */
-    readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
-}
-/**
- * Error codes for SQL migration runner failures.
- */
-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.
- */
-export interface SqlMigrationRunnerFailure extends MigrationRunnerFailure {
-    readonly code: SqlMigrationRunnerErrorCode;
-    readonly meta?: AnyRecord;
-}
-/**
- * Success value for SQL migration runner execution.
- * Extends core type for type branding and potential SQL-specific extensions.
- */
-export interface SqlMigrationRunnerSuccessValue extends MigrationRunnerSuccessValue {
-}
-/**
- * Result type for SQL migration runner execution.
- */
-export type SqlMigrationRunnerResult = Result<SqlMigrationRunnerSuccessValue, SqlMigrationRunnerFailure>;
-/**
- * SQL migration runner interface.
- * Extends the core MigrationRunner with SQL-specific types.
- */
-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.
- */
-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.
-     */
-    createPlanner(family: SqlControlFamilyInstance): SqlMigrationPlanner<TTargetDetails>;
-    /**
-     * Creates a SQL migration runner for this target.
-     * Direct method for SQL-specific usage.
-     */
-    createRunner(family: SqlControlFamilyInstance): SqlMigrationRunner<TTargetDetails>;
-}
-/**
- * Options for creating a SQL migration plan.
- */
-export interface CreateSqlMigrationPlanOptions<TTargetDetails> {
-    readonly targetId: string;
-    readonly origin?: SqlMigrationPlanContractInfo | null;
-    readonly destination: SqlMigrationPlanContractInfo;
-    readonly operations: readonly SqlMigrationPlanOperation<TTargetDetails>[];
-    readonly meta?: AnyRecord;
-}
-//# sourceMappingURL=types.d.ts.map

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

@@ -1 +0,0 @@
-{"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

@@ -1,19 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,54 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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

@@ -1,96 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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

@@ -1,45 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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

@@ -1,39 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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,2 +0,0 @@
-export type { SqlControlAdapter, SqlControlAdapterDescriptor } from '../core/control-adapter';
-//# sourceMappingURL=control-adapter.d.ts.map

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

@@ -1 +0,0 @@
-{"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-adapter.js

@@ -1 +0,0 @@
-//# sourceMappingURL=control-adapter.js.map

package/dist/exports/control-adapter.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":[],"sourcesContent":[],"mappings":"","names":[]}

package/dist/exports/control.d.ts

@@ -1,13 +0,0 @@
-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 default _default;
-//# sourceMappingURL=control.d.ts.map

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

@@ -1 +0,0 @@
-{"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"}