@prisma-next/family-sql 0.3.0-dev.7 → 0.3.0-dev.70

package/dist/control-instance-62RsSxEp.d.mts

@@ -0,0 +1,291 @@
+import { TargetBoundComponentDescriptor, TypeRenderer } from "@prisma-next/contract/framework-components";
+import { OperationRegistry } from "@prisma-next/operations";
+import { TypesImportSpec } from "@prisma-next/contract/types";
+import { Result } from "@prisma-next/utils/result";
+import { ControlAdapterDescriptor, ControlDriverInstance, ControlExtensionDescriptor, ControlFamilyInstance, ControlTargetDescriptor, ControlTargetInstance, EmitContractResult, MigrationOperationPolicy, MigrationPlan, MigrationPlanOperation, MigrationPlannerConflict, MigrationPlannerFailureResult, MigrationPlannerSuccessResult, MigrationRunnerExecutionChecks, MigrationRunnerFailure, MigrationRunnerSuccessValue, OperationContext, SchemaIssue, SignDatabaseResult, VerifyDatabaseResult, VerifyDatabaseSchemaResult } from "@prisma-next/core-control-plane/types";
+import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
+import { SqlContract, SqlStorage, StorageTypeInstance } from "@prisma-next/sql-contract/types";
+import { ContractIR } from "@prisma-next/contract/ir";
+import { CoreSchemaView } from "@prisma-next/core-control-plane/schema-view";
+import { SqlOperationSignature } from "@prisma-next/sql-operations";
+
+//#region src/core/migrations/types.d.ts
+type AnyRecord = Readonly<Record<string, unknown>>;
+interface SqlControlStaticContributions {
+  readonly operationSignatures: () => ReadonlyArray<SqlOperationSignature>;
+}
+interface ComponentDatabaseDependency<TTargetDetails> {
+  readonly id: string;
+  readonly label: string;
+  readonly install: readonly SqlMigrationPlanOperation<TTargetDetails>[];
+  readonly verifyDatabaseDependencyInstalled: (schema: SqlSchemaIR) => readonly SchemaIssue[];
+}
+interface ComponentDatabaseDependencies<TTargetDetails> {
+  readonly init?: readonly ComponentDatabaseDependency<TTargetDetails>[];
+}
+interface StorageTypePlanResult<TTargetDetails> {
+  readonly operations: readonly SqlMigrationPlanOperation<TTargetDetails>[];
+}
+/**
+ * Input for expanding parameterized native types.
+ */
+interface ExpandNativeTypeInput {
+  readonly nativeType: string;
+  readonly codecId?: string;
+  readonly typeParams?: Record<string, unknown>;
+}
+interface CodecControlHooks<TTargetDetails = unknown> {
+  planTypeOperations?: (options: {
+    readonly typeName: string;
+    readonly typeInstance: StorageTypeInstance;
+    readonly contract: SqlContract<SqlStorage>;
+    readonly schema: SqlSchemaIR;
+    readonly schemaName?: string;
+    readonly policy: MigrationOperationPolicy;
+  }) => StorageTypePlanResult<TTargetDetails>;
+  verifyType?: (options: {
+    readonly typeName: string;
+    readonly typeInstance: StorageTypeInstance;
+    readonly schema: SqlSchemaIR;
+    readonly schemaName?: string;
+  }) => readonly SchemaIssue[];
+  introspectTypes?: (options: {
+    readonly driver: ControlDriverInstance<'sql', string>;
+    readonly schemaName?: string;
+  }) => Promise<Record<string, StorageTypeInstance>>;
+  /**
+   * Expands a parameterized native type to its full SQL representation.
+   * Used by schema verification to compare contract types against database types.
+   *
+   * For example, expands:
+   * - { nativeType: 'character varying', typeParams: { length: 255 } } -> 'character varying(255)'
+   * - { nativeType: 'numeric', typeParams: { precision: 10, scale: 2 } } -> 'numeric(10,2)'
+   *
+   * Returns the expanded type string, or the original nativeType if no expansion is needed.
+   */
+  expandNativeType?: (input: ExpandNativeTypeInput) => string;
+}
+interface SqlControlExtensionDescriptor<TTargetId extends string> extends ControlExtensionDescriptor<'sql', TTargetId>, SqlControlStaticContributions {
+  readonly databaseDependencies?: ComponentDatabaseDependencies<unknown>;
+}
+interface SqlControlAdapterDescriptor<TTargetId extends string> extends ControlAdapterDescriptor<'sql', TTargetId>, SqlControlStaticContributions {}
+interface SqlMigrationPlanOperationStep {
+  readonly description: string;
+  readonly sql: string;
+  readonly meta?: AnyRecord;
+}
+interface SqlMigrationPlanOperationTarget<TTargetDetails> {
+  readonly id: string;
+  readonly details?: TTargetDetails;
+}
+interface SqlMigrationPlanOperation<TTargetDetails> extends MigrationPlanOperation {
+  readonly summary?: string;
+  readonly target: SqlMigrationPlanOperationTarget<TTargetDetails>;
+  readonly precheck: readonly SqlMigrationPlanOperationStep[];
+  readonly execute: readonly SqlMigrationPlanOperationStep[];
+  readonly postcheck: readonly SqlMigrationPlanOperationStep[];
+  readonly meta?: AnyRecord;
+}
+interface SqlMigrationPlanContractInfo {
+  readonly storageHash: string;
+  readonly profileHash?: string;
+}
+interface SqlMigrationPlan<TTargetDetails> extends MigrationPlan {
+  /**
+   * Origin contract identity that the plan expects the database to currently be at.
+   * If omitted or null, the runner skips origin validation entirely.
+   */
+  readonly origin?: SqlMigrationPlanContractInfo | null;
+  /**
+   * Destination contract identity that the plan intends to reach.
+   */
+  readonly destination: SqlMigrationPlanContractInfo;
+  readonly operations: readonly SqlMigrationPlanOperation<TTargetDetails>[];
+  readonly meta?: AnyRecord;
+}
+type SqlPlannerConflictKind = 'typeMismatch' | 'nullabilityConflict' | 'indexIncompatible' | 'foreignKeyConflict' | 'missingButNonAdditive' | 'unsupportedExtension' | 'extensionMissing' | 'unsupportedOperation';
+interface SqlPlannerConflictLocation {
+  readonly table?: string;
+  readonly column?: string;
+  readonly index?: string;
+  readonly constraint?: string;
+  readonly extension?: string;
+  readonly type?: string;
+}
+interface SqlPlannerConflict extends MigrationPlannerConflict {
+  readonly kind: SqlPlannerConflictKind;
+  readonly location?: SqlPlannerConflictLocation;
+  readonly meta?: AnyRecord;
+}
+interface SqlPlannerSuccessResult<TTargetDetails> extends Omit<MigrationPlannerSuccessResult, 'plan'> {
+  readonly kind: 'success';
+  readonly plan: SqlMigrationPlan<TTargetDetails>;
+}
+interface SqlPlannerFailureResult extends Omit<MigrationPlannerFailureResult, 'conflicts'> {
+  readonly kind: 'failure';
+  readonly conflicts: readonly SqlPlannerConflict[];
+}
+type SqlPlannerResult<TTargetDetails> = SqlPlannerSuccessResult<TTargetDetails> | SqlPlannerFailureResult;
+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>>;
+}
+interface SqlMigrationPlanner<TTargetDetails> {
+  plan(options: SqlMigrationPlannerPlanOptions): SqlPlannerResult<TTargetDetails>;
+}
+interface SqlMigrationRunnerExecuteCallbacks<TTargetDetails> {
+  onOperationStart?(operation: SqlMigrationPlanOperation<TTargetDetails>): void;
+  onOperationComplete?(operation: SqlMigrationPlanOperation<TTargetDetails>): void;
+}
+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>>;
+}
+type SqlMigrationRunnerErrorCode = 'DESTINATION_CONTRACT_MISMATCH' | 'MARKER_ORIGIN_MISMATCH' | 'POLICY_VIOLATION' | 'PRECHECK_FAILED' | 'POSTCHECK_FAILED' | 'SCHEMA_VERIFY_FAILED' | 'EXECUTION_FAILED';
+interface SqlMigrationRunnerFailure extends MigrationRunnerFailure {
+  readonly code: SqlMigrationRunnerErrorCode;
+  readonly meta?: AnyRecord;
+}
+interface SqlMigrationRunnerSuccessValue extends MigrationRunnerSuccessValue {}
+type SqlMigrationRunnerResult = Result<SqlMigrationRunnerSuccessValue, SqlMigrationRunnerFailure>;
+interface SqlMigrationRunner<TTargetDetails> {
+  execute(options: SqlMigrationRunnerExecuteOptions<TTargetDetails>): Promise<SqlMigrationRunnerResult>;
+}
+interface SqlControlTargetDescriptor<TTargetId extends string, TTargetDetails> extends ControlTargetDescriptor<'sql', TTargetId, ControlTargetInstance<'sql', TTargetId>, SqlControlFamilyInstance>, SqlControlStaticContributions {
+  createPlanner(family: SqlControlFamilyInstance): SqlMigrationPlanner<TTargetDetails>;
+  createRunner(family: SqlControlFamilyInstance): SqlMigrationRunner<TTargetDetails>;
+}
+interface CreateSqlMigrationPlanOptions<TTargetDetails> {
+  readonly targetId: string;
+  readonly origin?: SqlMigrationPlanContractInfo | null;
+  readonly destination: SqlMigrationPlanContractInfo;
+  readonly operations: readonly SqlMigrationPlanOperation<TTargetDetails>[];
+  readonly meta?: AnyRecord;
+}
+//#endregion
+//#region src/core/assembly.d.ts
+interface SqlControlDescriptorWithContributions extends SqlControlStaticContributions {
+  readonly id: string;
+  readonly types?: {
+    readonly codecTypes?: {
+      readonly import?: TypesImportSpec;
+      readonly parameterized?: Record<string, TypeRenderer>;
+      readonly typeImports?: ReadonlyArray<TypesImportSpec>;
+    };
+    readonly operationTypes?: {
+      readonly import: TypesImportSpec;
+    };
+  };
+}
+declare function assembleOperationRegistry(descriptors: ReadonlyArray<SqlControlDescriptorWithContributions>): OperationRegistry;
+interface DescriptorWithTypes {
+  readonly id: string;
+  readonly types?: {
+    readonly codecTypes?: {
+      readonly import?: TypesImportSpec;
+      readonly parameterized?: Record<string, TypeRenderer>;
+      readonly typeImports?: ReadonlyArray<TypesImportSpec>;
+    };
+    readonly operationTypes?: {
+      readonly import: TypesImportSpec;
+    };
+  };
+}
+declare function extractCodecTypeImports(descriptors: ReadonlyArray<DescriptorWithTypes>): ReadonlyArray<TypesImportSpec>;
+declare function extractOperationTypeImports(descriptors: ReadonlyArray<DescriptorWithTypes>): ReadonlyArray<TypesImportSpec>;
+declare function extractExtensionIds(adapter: {
+  readonly id: string;
+}, target: {
+  readonly id: string;
+}, extensions: ReadonlyArray<{
+  readonly id: string;
+}>): ReadonlyArray<string>;
+declare function extractCodecControlHooks(descriptors: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>): Map<string, CodecControlHooks>;
+//#endregion
+//#region src/core/control-instance.d.ts
+interface SqlTypeMetadata {
+  readonly typeId: string;
+  readonly familyId: 'sql';
+  readonly targetId: string;
+  readonly nativeType?: string;
+}
+type SqlTypeMetadataRegistry = Map<string, SqlTypeMetadata>;
+interface SqlFamilyInstanceState {
+  readonly operationRegistry: OperationRegistry;
+  readonly codecTypeImports: ReadonlyArray<TypesImportSpec>;
+  readonly operationTypeImports: ReadonlyArray<TypesImportSpec>;
+  readonly extensionIds: ReadonlyArray<string>;
+  readonly typeMetadataRegistry: SqlTypeMetadataRegistry;
+}
+interface SchemaVerifyOptions {
+  readonly driver: ControlDriverInstance<'sql', string>;
+  readonly contractIR: unknown;
+  readonly strict: boolean;
+  readonly context?: OperationContext;
+  /**
+   * Active framework components participating in this composition.
+   * All components must have matching familyId ('sql') and targetId.
+   */
+  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
+}
+interface SqlControlFamilyInstance extends ControlFamilyInstance<'sql'>, SqlFamilyInstanceState {
+  validateContractIR(contractJson: unknown): ContractIR;
+  verify(options: {
+    readonly driver: ControlDriverInstance<'sql', string>;
+    readonly contractIR: unknown;
+    readonly expectedTargetId: string;
+    readonly contractPath: string;
+    readonly configPath?: string;
+  }): Promise<VerifyDatabaseResult>;
+  schemaVerify(options: SchemaVerifyOptions): Promise<VerifyDatabaseSchemaResult>;
+  sign(options: {
+    readonly driver: ControlDriverInstance<'sql', string>;
+    readonly contractIR: unknown;
+    readonly contractPath: string;
+    readonly configPath?: string;
+  }): Promise<SignDatabaseResult>;
+  introspect(options: {
+    readonly driver: ControlDriverInstance<'sql', string>;
+    readonly contractIR?: unknown;
+  }): Promise<SqlSchemaIR>;
+  toSchemaView(schema: SqlSchemaIR): CoreSchemaView;
+  emitContract(options: {
+    readonly contractIR: ContractIR | unknown;
+  }): Promise<EmitContractResult>;
+}
+//#endregion
+export { SqlMigrationRunnerFailure as A, SqlMigrationPlanOperationTarget as C, SqlMigrationRunnerErrorCode as D, SqlMigrationRunner as E, SqlPlannerConflictLocation as F, SqlPlannerFailureResult as I, SqlPlannerResult as L, SqlMigrationRunnerSuccessValue as M, SqlPlannerConflict as N, SqlMigrationRunnerExecuteCallbacks as O, SqlPlannerConflictKind as P, SqlPlannerSuccessResult as R, SqlMigrationPlanOperationStep as S, SqlMigrationPlannerPlanOptions as T, SqlControlStaticContributions as _, extractCodecControlHooks as a, SqlMigrationPlanContractInfo as b, extractOperationTypeImports as c, ComponentDatabaseDependencies as d, ComponentDatabaseDependency as f, SqlControlExtensionDescriptor as g, SqlControlAdapterDescriptor as h, assembleOperationRegistry as i, SqlMigrationRunnerResult as j, SqlMigrationRunnerExecuteOptions as k, AnyRecord as l, ExpandNativeTypeInput as m, SqlControlFamilyInstance as n, extractCodecTypeImports as o, CreateSqlMigrationPlanOptions as p, SqlControlDescriptorWithContributions as r, extractExtensionIds as s, SchemaVerifyOptions as t, CodecControlHooks as u, SqlControlTargetDescriptor as v, SqlMigrationPlanner as w, SqlMigrationPlanOperation as x, SqlMigrationPlan as y, StorageTypePlanResult as z };
+//# sourceMappingURL=control-instance-62RsSxEp.d.mts.map

package/dist/control-instance-62RsSxEp.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-instance-62RsSxEp.d.mts","names":[],"sources":["../src/core/migrations/types.ts","../src/core/assembly.ts","../src/core/control-instance.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;;;KAyBY,SAAA,GAAY,SAAS;UAEhB,6BAAA;sCACqB,cAAc;;UAGnC;EANL,SAAA,EAAA,EAAS,MAAA;EAEJ,SAAA,KAAA,EAAA,MAAA;EAIA,SAAA,OAAA,EAAA,SAGY,yBAHe,CAGW,cAHX,CAAA,EAAA;EAGW,SAAA,iCAAA,EAAA,CAAA,MAAA,EACA,WADA,EAAA,GAAA,SACyB,WADzB,EAAA;;AACA,UAGtC,6BAHsC,CAAA,cAAA,CAAA,CAAA;EAAyB,SAAA,IAAA,CAAA,EAAA,SAIrD,2BAJqD,CAIzB,cAJyB,CAAA,EAAA;;AAwB/D,UAbA,qBAaiB,CAAA,cAAA,CAAA,CAAA;EAGP,SAAA,UAAA,EAAA,SAfK,yBAeL,CAf+B,cAe/B,CAAA,EAAA;;;;;AAKG,UAdb,qBAAA,CAca;EAAtB,SAAA,UAAA,EAAA,MAAA;EAGmB,SAAA,OAAA,CAAA,EAAA,MAAA;EACN,SAAA,UAAA,CAAA,EAfG,MAeH,CAAA,MAAA,EAAA,OAAA,CAAA;;AAIA,UAhBJ,iBAgBI,CAAA,iBAAA,OAAA,CAAA,CAAA;EAEU,kBAAA,CAAA,EAAA,CAAA,OAAA,EAAA;IAAf,SAAA,QAAA,EAAA,MAAA;IAAR,SAAA,YAAA,EAfmB,mBAenB;IAWqB,SAAA,QAAA,EAzBN,WAyBM,CAzBM,UAyBN,CAAA;IAAqB,SAAA,MAAA,EAxB7B,WAwB6B;IAGjC,SAAA,UAAA,CAAA,EAAA,MAA6B;IACF,SAAA,MAAA,EA1BvB,wBA0BuB;EAEV,CAAA,EAAA,GA3B1B,qBA2B0B,CA3BJ,cA2BI,CAAA;EAFxB,UAAA,CAAA,EAAA,CAAA,OAAA,EAAA;IACN,SAAA,QAAA,EAAA,MAAA;IAA6B,SAAA,YAAA,EAvBN,mBAuBM;IAIhB,SAAA,MAAA,EA1BI,WA0BuB;IACF,SAAA,UAAA,CAAA,EAAA,MAAA;EAAhC,CAAA,EAAA,GAAA,SAzBO,WAyBP,EAAA;EACN,eAAA,CAAA,EAAA,CAAA,OAAA,EAAA;IAA6B,SAAA,MAAA,EAxBZ,qBAwBY,CAAA,KAAA,EAAA,MAAA,CAAA;IAEhB,SAAA,UAAA,CAAA,EAAA,MAA6B;EAM7B,CAAA,EAAA,GA9BT,OA8BS,CA9BD,MA8BC,CAAA,MAAA,EA9Bc,mBA8BiB,CAAA,CAAA;EAK/B;;;;;;;;;AASjB;EAKiB,gBAAA,CAAA,EAAgB,CAAA,KAAA,EAtCJ,qBAsCI,EAAA,GAAA,MAAA;;AAST,UA5CP,6BA4CO,CAAA,kBAAA,MAAA,CAAA,SA3Cd,0BA2Cc,CAAA,KAAA,EA3CoB,SA2CpB,CAAA,EA1CpB,6BA0CoB,CAAA;EACkC,SAAA,oBAAA,CAAA,EA1CxB,6BA0CwB,CAAA,OAAA,CAAA;;AACxC,UAxCD,2BAwCC,CAAA,kBAAA,MAAA,CAAA,SAvCR,wBAuCQ,CAAA,KAAA,EAvCwB,SAuCxB,CAAA,EAtCd,6BAsCc,CAAA;AAXqD,UAzBtD,6BAAA,CAyBsD;EAc3D,SAAA,WAAA,EAAA,MAAsB;EAUjB,SAAA,GAAA,EAAA,MAAA;EASA,SAAA,IAAA,CAAA,EAvDC,SAuDkB;;AAEd,UAtDL,+BAsDK,CAAA,cAAA,CAAA,CAAA;EACJ,SAAA,EAAA,EAAA,MAAA;EAH0B,SAAA,OAAA,CAAA,EAlDvB,cAkDuB;;AAM3B,UArDA,yBAqDuB,CAAA,cAAA,CAAA,SArD2B,sBAqD3B,CAAA;EACzB,SAAA,OAAA,CAAA,EAAA,MAAA;EAEmB,SAAA,MAAA,EAtDf,+BAsDe,CAtDiB,cAsDjB,CAAA;EAAjB,SAAA,QAAA,EAAA,SArDa,6BAqDb,EAAA;EAFP,SAAA,OAAA,EAAA,SAlDmB,6BAkDnB,EAAA;EAAI,SAAA,SAAA,EAAA,SAjDiB,6BAiDjB,EAAA;EAKG,SAAA,IAAA,CAAA,EArDC,SAqDD;;AAEc,UApDd,4BAAA,CAoDc;EAFkB,SAAA,WAAA,EAAA,MAAA;EAAI,SAAA,WAAA,CAAA,EAAA,MAAA;AAKrD;AAC4B,UAnDX,gBAmDW,CAAA,cAAA,CAAA,SAnD8B,aAmD9B,CAAA;EAAxB;;;AAGJ;EACiC,SAAA,MAAA,CAAA,EAlDb,4BAkDa,GAAA,IAAA;EAAZ;;;EASyB,SAAA,WAAA,EAvDtB,4BAuDsB;EAAd,SAAA,UAAA,EAAA,SAtDA,yBAsDA,CAtD0B,cAsD1B,CAAA,EAAA;EAAa,SAAA,IAAA,CAAA,EArD3B,SAqD2B;AAG7C;AACgB,KAtDJ,sBAAA,GAsDI,cAAA,GAAA,qBAAA,GAAA,mBAAA,GAAA,oBAAA,GAAA,uBAAA,GAAA,sBAAA,GAAA,kBAAA,GAAA,sBAAA;AAAkD,UA5CjD,0BAAA,CA4CiD;EAAjB,SAAA,KAAA,CAAA,EAAA,MAAA;EAAgB,SAAA,MAAA,CAAA,EAAA,MAAA;EAGhD,SAAA,KAAA,CAAA,EAAA,MAAA;EACwC,SAAA,UAAA,CAAA,EAAA,MAAA;EAA1B,SAAA,SAAA,CAAA,EAAA,MAAA;EAC6B,SAAA,IAAA,CAAA,EAAA,MAAA;;AAAD,UAxC1C,kBAAA,SAA2B,wBAwCe,CAAA;EAG1C,SAAA,IAAA,EA1CA,sBA0CgC;EACf,SAAA,QAAA,CAAA,EA1CZ,0BA0CY;EAAjB,SAAA,IAAA,CAAA,EAzCC,SAyCD;;AAM2B,UA5C3B,uBA4C2B,CAAA,cAAA,CAAA,SA3ClC,IA2CkC,CA3C7B,6BA2C6B,EAAA,MAAA,CAAA,CAAA;EAAZ,SAAA,IAAA,EAAA,SAAA;EAKb,SAAA,IAAA,EA9CF,gBA8CE,CA9Ce,cA8Cf,CAAA;;AAGI,UA9CN,uBAAA,SAAgC,IA8C1B,CA9C+B,6BA8C/B,EAAA,WAAA,CAAA,CAAA;EACF,SAAA,IAAA,EAAA,SAAA;EAKQ,SAAA,SAAA,EAAA,SAlDE,kBAkDF,EAAA;;AAMG,KArDpB,gBAqDoB,CAAA,cAAA,CAAA,GApD5B,uBAoD4B,CApDJ,cAoDI,CAAA,GAnD5B,uBAmD4B;AAAa,UAjD5B,8BAAA,CAiD4B;EAGjC,SAAA,QAAA,EAnDS,WAmDkB,CAnDN,UAmDM,CAAA;EAStB,SAAA,MAAA,EA3DE,WA2DwB;EAC1B,SAAA,MAAA,EA3DE,wBA2DF;EACC,SAAA,UAAA,CAAA,EAAA,MAAA;EAFiC;;AAKnD;AAEA;;EAEE,SAAA,mBAAA,EA5D8B,aA4D9B,CA5D4C,8BA4D5C,CAAA,KAAA,EAAA,MAAA,CAAA,CAAA;;AAF2C,UAvD5B,mBAuD4B,CAAA,cAAA,CAAA,CAAA;EAK5B,IAAA,CAAA,OAAA,EA3DD,8BA2DmB,CAAA,EA3Dc,gBA2Dd,CA3D+B,cA2D/B,CAAA;;AAEtB,UA1DI,kCA0DJ,CAAA,cAAA,CAAA,CAAA;EACA,gBAAA,EAAA,SAAA,EA1DkB,yBA0DlB,CA1D4C,cA0D5C,CAAA,CAAA,EAAA,IAAA;EAAR,mBAAA,EAAA,SAAA,EAzD6B,yBAyD7B,CAzDuD,cAyDvD,CAAA,CAAA,EAAA,IAAA;;AAGY,UAzDA,gCAyD0B,CAAA,cAAA,CAAA,CAAA;EAGrC,SAAA,IAAA,EA3DW,gBA2DX,CA3D4B,cA2D5B,CAAA;EAC6B,SAAA,MAAA,EA3DhB,qBA2DgB,CAAA,KAAA,EAAA,MAAA,CAAA;EAA7B;;;;EAI6C,SAAA,mBAAA,EA1DnB,WA0DmB,CA1DP,UA0DO,CAAA;EAC5B;;;;EAFnB,SAAA,MAAA,EApDe,wBAoDf;EAA6B,SAAA,UAAA,CAAA,EAAA,MAAA;EAKhB,SAAA,kBAAA,CAAA,EAAA,OAA6B;EAE1B,SAAA,SAAA,CAAA,EAxDG,kCAwDH,CAxDsC,cAwDtC,CAAA;EACI,SAAA,OAAA,CAAA,EAxDH,gBAwDG;EACkC;;;;6BApD7B;;;AC5L7B;;;EAK+B,SAAA,mBAAA,ED6LC,aC7LD,CD6Le,8BC7Lf,CAAA,KAAA,EAAA,MAAA,CAAA,CAAA;;AACF,KD+LjB,2BAAA,GC/LiB,+BAAA,GAAA,wBAAA,GAAA,kBAAA,GAAA,iBAAA,GAAA,kBAAA,GAAA,sBAAA,GAAA,kBAAA;AAEoB,UDsMhC,yBAAA,SAAkC,sBCtMF,CAAA;EARc,SAAA,IAAA,ED+M9C,2BC/M8C;EAA6B,SAAA,IAAA,CAAA,EDgN1E,SChN0E;AAY5F;AAC6B,UDsMZ,8BAAA,SAAuC,2BCtM3B,CAAA;AAC1B,KDuMS,wBAAA,GAA2B,MCvMpC,CDwMD,8BCxMC,EDyMD,yBCzMC,CAAA;AAAiB,UD4MH,kBC5MG,CAAA,cAAA,CAAA,CAAA;EAaV,OAAA,CAAA,OAAA,EDiMG,gCCjMgB,CDiMiB,cCjMjB,CAAA,CAAA,EDkMxB,OClMwB,CDkMhB,wBClMgB,CAAA;;AAKiB,UDgM7B,0BChM6B,CAAA,kBAAA,MAAA,EAAA,cAAA,CAAA,SDiMpC,uBCjMoC,CAAA,KAAA,EDmMxC,SCnMwC,EDoMxC,qBCpMwC,CAAA,KAAA,EDoMX,SCpMW,CAAA,EDqMxC,wBCrMwC,CAAA,EDuM1C,6BCvM0C,CAAA;EAAf,aAAA,CAAA,MAAA,EDwMP,wBCxMO,CAAA,EDwMoB,mBCxMpB,CDwMwC,cCxMxC,CAAA;EACY,YAAA,CAAA,MAAA,EDwMpB,wBCxMoB,CAAA,EDwMO,kBCxMP,CDwM0B,cCxM1B,CAAA;;AAEM,UDyMhC,6BCzMgC,CAAA,cAAA,CAAA,CAAA;EAAe,SAAA,QAAA,EAAA,MAAA;EAIhD,SAAA,MAAA,CAAA,EDuMI,4BCvMmB,GAAA,IAAA;EACV,SAAA,WAAA,EDuML,4BCvMK;EAAd,SAAA,UAAA,EAAA,SDwMiB,yBCxMjB,CDwM2C,cCxM3C,CAAA,EAAA;EACE,SAAA,IAAA,CAAA,EDwMC,SCxMD;;;;UAzCA,qCAAA,SAA8C;;;;wBAIvC;+BACO,eAAe;6BACjB,cAAc;;IDhB/B,SAAS,cAAY,CAAA,EAAA;MAEhB,SAAA,MAAA,ECgBgC,eDhBH;IAI7B,CAAA;EAGsC,CAAA;;AACA,iBCYvC,yBAAA,CDZuC,WAAA,ECaxC,aDbwC,CCa1B,qCDb0B,CAAA,CAAA,ECcpD,iBDdoD;UC2B7C,mBAAA,CD3BsE;EAAW,SAAA,EAAA,EAAA,MAAA;EAG1E,SAAA,KAAA,CAAA,EAAA;IAQA,SAAA,UAAA,CAAqB,EAAA;MAOrB,SAAA,MAAA,CAAqB,ECad,eDVA;MAGP,SAAA,aAAiB,CAAA,ECQH,MDRG,CAAA,MAAA,ECQY,YDRZ,CAAA;MAGP,SAAA,WAAA,CAAA,ECME,aDNF,CCMgB,eDNhB,CAAA;IACQ,CAAA;IAAZ,SAAA,cAAA,CAAA,EAAA;MACF,SAAA,MAAA,ECM4B,eDN5B;IAEA,CAAA;EACS,CAAA;;AAGH,iBCIX,uBAAA,CDJW,WAAA,ECKZ,aDLY,CCKE,mBDLF,CAAA,CAAA,ECMxB,aDNwB,CCMV,eDNU,CAAA;AACN,iBCsBL,2BAAA,CDtBK,WAAA,ECuBN,aDvBM,CCuBQ,mBDvBR,CAAA,CAAA,ECwBlB,aDxBkB,CCwBJ,eDxBI,CAAA;AAEJ,iBCoCD,mBAAA,CDpCC,OAAA,EAAA;EAEI,SAAA,EAAA,EAAA,MAAA;CAEU,EAAA,MAAA,EAAA;EAAf,SAAA,EAAA,EAAA,MAAA;CAAR,EAAA,UAAA,ECmCM,aDnCN,CAAA;EAWqB,SAAA,EAAA,EAAA,MAAA;CAAqB,CAAA,CAAA,ECyB/C,aDzB+C,CAAA,MAAA,CAAA;AAIN,iBCgF5B,wBAAA,CDhF4B,WAAA,ECiF7B,aDjF6B,CCiFf,8BDjFe,CAAA,KAAA,EAAA,MAAA,CAAA,CAAA,CAAA,ECkFzC,GDlFyC,CAAA,MAAA,ECkF7B,iBDlF6B,CAAA;;;UEgElC,eAAA;;;EFnIE,SAAA,QAAS,EAAA,MAAY;EAEhB,SAAA,UAAA,CAAA,EAAA,MAAA;AAIjB;KEoIK,uBAAA,GAA0B,GFjIwB,CAAA,MAAA,EEiIZ,eFjIY,CAAA;UEmI7C,sBAAA,CFnImB;EAC0B,SAAA,iBAAA,EEmIzB,iBFnIyB;EAAyB,SAAA,gBAAA,EEoInD,aFpImD,CEoIrC,eFpIqC,CAAA;EAAW,SAAA,oBAAA,EEqI1D,aFrI0D,CEqI5C,eFrI4C,CAAA;EAG1E,SAAA,YAAA,EEmIQ,aFnIqB,CAAA,MAAA,CAAA;EAQ7B,SAAA,oBAAqB,EE4HL,uBF3HyB;AAM1D;AAMiB,UEkHA,mBAAA,CFlHiB;EAGP,SAAA,MAAA,EEgHR,qBFhHQ,CAAA,KAAA,EAAA,MAAA,CAAA;EACQ,SAAA,UAAA,EAAA,OAAA;EAAZ,SAAA,MAAA,EAAA,OAAA;EACF,SAAA,OAAA,CAAA,EEiHA,gBFjHA;EAEA;;;;EAKA,SAAA,mBAAA,EE+GW,aF/GX,CE+GyB,8BF/GzB,CAAA,KAAA,EAAA,MAAA,CAAA,CAAA;;AAIA,UE8GJ,wBAAA,SACP,qBF/GW,CAAA,KAAA,CAAA,EEgHjB,sBFhHiB,CAAA;EAEU,kBAAA,CAAA,YAAA,EAAA,OAAA,CAAA,EE+Gc,UF/Gd;EAAf,MAAA,CAAA,OAAA,EAAA;IAAR,SAAA,MAAA,EEkHa,qBFlHb,CAAA,KAAA,EAAA,MAAA,CAAA;IAWqB,SAAA,UAAA,EAAA,OAAA;IAAqB,SAAA,gBAAA,EAAA,MAAA;IAGjC,SAAA,YAAA,EAAA,MAA6B;IACF,SAAA,UAAA,CAAA,EAAA,MAAA;EAEV,CAAA,CAAA,EEsG5B,OFtG4B,CEsGpB,oBFtGoB,CAAA;EAFxB,YAAA,CAAA,OAAA,EE0Gc,mBF1Gd,CAAA,EE0GoC,OF1GpC,CE0G4C,0BF1G5C,CAAA;EACN,IAAA,CAAA,OAAA,EAAA;IAA6B,SAAA,MAAA,EE4GZ,qBF5GY,CAAA,KAAA,EAAA,MAAA,CAAA;IAIhB,SAAA,UAAA,EAAA,OAA2B;IACF,SAAA,YAAA,EAAA,MAAA;IAAhC,SAAA,UAAA,CAAA,EAAA,MAAA;EACN,CAAA,CAAA,EE0GE,OF1GF,CE0GU,kBF1GV,CAAA;EAA6B,UAAA,CAAA,OAAA,EAAA;IAEhB,SAAA,MAAA,EE2GI,qBF3GyB,CAAA,KAG5B,EAAA,MAAS,CAAA;IAGV,SAAA,UAAA,CAAA,EAAA,OAAA;EAKA,CAAA,CAAA,EEkGX,OFlGW,CEkGH,WFlGG,CAAA;EAEkC,YAAA,CAAA,MAAA,EEkG5B,WFlG4B,CAAA,EEkGd,cFlGc;EAAhC,YAAA,CAAA,OAAA,EAAA;IACW,SAAA,UAAA,EEmGiB,UFnGjB,GAAA,OAAA;EACD,CAAA,CAAA,EEkG2C,OFlG3C,CEkGmD,kBFlGnD,CAAA"}

package/dist/control.d.mts

@@ -0,0 +1,106 @@
+import { A as SqlMigrationRunnerFailure, C as SqlMigrationPlanOperationTarget, D as SqlMigrationRunnerErrorCode, E as SqlMigrationRunner, F as SqlPlannerConflictLocation, I as SqlPlannerFailureResult, L as SqlPlannerResult, M as SqlMigrationRunnerSuccessValue, N as SqlPlannerConflict, O as SqlMigrationRunnerExecuteCallbacks, P as SqlPlannerConflictKind, R as SqlPlannerSuccessResult, S as SqlMigrationPlanOperationStep, T as SqlMigrationPlannerPlanOptions, _ as SqlControlStaticContributions, a as extractCodecControlHooks, b as SqlMigrationPlanContractInfo, d as ComponentDatabaseDependencies, f as ComponentDatabaseDependency, g as SqlControlExtensionDescriptor, h as SqlControlAdapterDescriptor, j as SqlMigrationRunnerResult, k as SqlMigrationRunnerExecuteOptions, l as AnyRecord, m as ExpandNativeTypeInput, n as SqlControlFamilyInstance, p as CreateSqlMigrationPlanOptions, r as SqlControlDescriptorWithContributions, t as SchemaVerifyOptions, u as CodecControlHooks, v as SqlControlTargetDescriptor, w as SqlMigrationPlanner, x as SqlMigrationPlanOperation, y as SqlMigrationPlan, z as StorageTypePlanResult } from "./control-instance-62RsSxEp.mjs";
+import * as _prisma_next_contract_types0 from "@prisma-next/contract/types";
+import { NotOk, Ok } from "@prisma-next/utils/result";
+import { ControlFamilyDescriptor, ControlPlaneStack, MigrationOperationClass, MigrationOperationPolicy, MigrationOperationPolicy as MigrationOperationPolicy$1, MigrationPlan, MigrationPlanOperation, MigrationPlanner, MigrationPlannerConflict, MigrationPlannerConflict as MigrationPlannerConflict$1, MigrationPlannerResult, TargetMigrationsCapability } from "@prisma-next/core-control-plane/types";
+import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
+import * as _prisma_next_sql_contract_types0 from "@prisma-next/sql-contract/types";
+import { SqlStorage } from "@prisma-next/sql-contract/types";
+import * as _prisma_next_contract_ir0 from "@prisma-next/contract/ir";
+
+//#region src/core/control-descriptor.d.ts
+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: _prisma_next_contract_ir0.ContractIR, _ctx: _prisma_next_contract_types0.ValidationContext) => void;
+    readonly validateStructure: (ir: _prisma_next_contract_ir0.ContractIR) => void;
+    readonly generateContractTypes: (ir: _prisma_next_contract_ir0.ContractIR, codecTypeImports: ReadonlyArray<_prisma_next_contract_types0.TypesImportSpec>, operationTypeImports: ReadonlyArray<_prisma_next_contract_types0.TypesImportSpec>, hashes: {
+      readonly storageHash: string;
+      readonly executionHash?: string;
+      readonly profileHash: string;
+    }, options?: _prisma_next_contract_types0.GenerateContractTypesOptions) => string;
+    readonly generateStorageType: (storage: _prisma_next_sql_contract_types0.SqlStorage) => string;
+    readonly generateStorageTypesType: (types: _prisma_next_sql_contract_types0.SqlStorage["types"]) => string;
+    readonly serializeTypeParamsLiteral: (params: Record<string, unknown>) => string;
+    readonly serializeValue: (value: unknown) => string;
+    readonly generateModelsType: (models: Record<string, _prisma_next_sql_contract_types0.ModelDefinition> | undefined, storage: _prisma_next_sql_contract_types0.SqlStorage, parameterizedRenderers?: Map<string, _prisma_next_contract_types0.TypeRenderEntry>) => string;
+    readonly generateColumnType: (column: _prisma_next_sql_contract_types0.StorageColumn, storage: _prisma_next_sql_contract_types0.SqlStorage, parameterizedRenderers: Map<string, _prisma_next_contract_types0.TypeRenderEntry> | undefined, renderCtx: _prisma_next_contract_types0.TypeRenderContext) => string;
+    readonly generateRelationsType: (relations: Record<string, unknown> | undefined) => string;
+    readonly generateMappingsType: (models: Record<string, _prisma_next_sql_contract_types0.ModelDefinition> | undefined, storage: _prisma_next_sql_contract_types0.SqlStorage, codecTypes: string, operationTypes: string) => string;
+  };
+  create<TTargetId extends string>(stack: ControlPlaneStack<'sql', TTargetId>): SqlControlFamilyInstance;
+}
+//#endregion
+//#region src/core/migrations/contract-to-schema-ir.d.ts
+/**
+ * Target-specific callback that expands a column's base `nativeType` and optional
+ * `typeParams` into the fully-qualified type string used by the database
+ * (e.g. `character` + `{ length: 36 }` → `character(36)`).
+ *
+ * This lives in the family layer as a callback rather than importing a concrete
+ * implementation because each target (Postgres, MySQL, SQLite, …) has its own
+ * parameterization syntax. The target wires its expander when calling
+ * `contractToSchemaIR`, keeping the family layer target-agnostic.
+ */
+type NativeTypeExpander = (input: {
+  readonly nativeType: string;
+  readonly codecId?: string;
+  readonly typeParams?: Record<string, unknown>;
+}) => string;
+/**
+ * Detects destructive changes between two contract storages.
+ *
+ * The additive-only planner silently ignores removals (tables, columns).
+ * This function detects those removals so callers can report them as conflicts
+ * rather than silently producing an empty plan.
+ *
+ * Returns an empty array if no destructive changes are found.
+ */
+declare function detectDestructiveChanges(from: SqlStorage | null, to: SqlStorage): readonly MigrationPlannerConflict$1[];
+/**
+ * Converts a contract's `SqlStorage` to `SqlSchemaIR`.
+ *
+ * Drops codec metadata (`codecId`, `typeRef`) since the schema IR only represents structural
+ * information. When `expandNativeType` is provided, parameterized types are expanded
+ * (e.g. `character` + `{ length: 36 }` → `character(36)`) so the resulting IR compares
+ * correctly against the "to" contract during planning.
+ *
+ * `extensions` is always `[]` — the planner resolves extension dependencies from framework
+ * components, and an empty array means "nothing installed yet" which is correct for the
+ * "from" side of a diff.
+ */
+declare function contractToSchemaIR(storage: SqlStorage, expandNativeType?: NativeTypeExpander): SqlSchemaIR;
+//#endregion
+//#region src/core/migrations/plan-helpers.d.ts
+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>;
+//#endregion
+//#region src/core/migrations/policies.d.ts
+/**
+ * Policy used by `db init`: additive-only operations, no widening/destructive steps.
+ */
+declare const INIT_ADDITIVE_POLICY: MigrationOperationPolicy$1;
+//#endregion
+//#region src/exports/control.d.ts
+declare const _default: SqlFamilyDescriptor;
+//#endregion
+export { type CodecControlHooks, type ComponentDatabaseDependencies, type ComponentDatabaseDependency, type CreateSqlMigrationPlanOptions, type ExpandNativeTypeInput, INIT_ADDITIVE_POLICY, type MigrationOperationClass, type MigrationOperationPolicy, type MigrationPlan, type MigrationPlanOperation, type MigrationPlanner, type MigrationPlannerConflict, type MigrationPlannerResult, type NativeTypeExpander, type SchemaVerifyOptions, type SqlControlAdapterDescriptor, type SqlControlDescriptorWithContributions, type SqlControlExtensionDescriptor, type SqlControlFamilyInstance, type SqlControlStaticContributions, type SqlControlTargetDescriptor, type SqlMigrationPlan, type SqlMigrationPlanContractInfo, type SqlMigrationPlanOperation, type SqlMigrationPlanOperationStep, type SqlMigrationPlanOperationTarget, type SqlMigrationPlanner, type SqlMigrationPlannerPlanOptions, type SqlMigrationRunner, type SqlMigrationRunnerErrorCode, type SqlMigrationRunnerExecuteCallbacks, type SqlMigrationRunnerExecuteOptions, type SqlMigrationRunnerFailure, type SqlMigrationRunnerResult, type SqlMigrationRunnerSuccessValue, type SqlPlannerConflict, type SqlPlannerConflictKind, type SqlPlannerConflictLocation, type SqlPlannerFailureResult, type SqlPlannerResult, type SqlPlannerSuccessResult, type StorageTypePlanResult, type TargetMigrationsCapability, contractToSchemaIR, createMigrationPlan, _default as default, detectDestructiveChanges, extractCodecControlHooks, plannerFailure, plannerSuccess, runnerFailure, runnerSuccess };
+//# sourceMappingURL=control.d.mts.map

package/dist/control.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control.d.mts","names":[],"sources":["../src/core/control-descriptor.ts","../src/core/migrations/contract-to-schema-ir.ts","../src/core/migrations/plan-helpers.ts","../src/core/migrations/policies.ts","../src/exports/control.ts"],"sourcesContent":[],"mappings":";;;;;;;;;;cAaa,mBAAA,YACA,+BAA+B;;;;;;;iCAAwB,yBAAA,CAAA;IADvD,SAAA,iBACX,EAAA,CAAA,EAAA,sCAAA,EAAA,GAAA,IAAA;IAA0C,SAAA,qBAAA,EAAA,CAAA,EAAA,sCAAA,EAAA,gBAAA,eAAA,8CAAA,EAAA,oBAAA,eAAA,8CAAA,EAAA,MAAA,EAAA;MAAwB,SAAA,WAAA,EAAA,MAAA;;;8CAM5C;4CAAA,gCAAA,CAAA;;;;+BAAA,EAAA,CAAA,MAAA,QAAA,CAAA,MAAA,mDAAA,GAAA,SAAA,EAAA,OAAA,6CAAA,EAAA,sBAAA,CAAA,EAiBuO,GAjBvO,CAAA,MAAA,+BAiBuO,eAAA,CAjBvO,EAAA,GAAA,MAAA;IAAA,SAAA,kBAAA,EAAA,CAAA,MAAA,EAiBuO,gCAAA,CAAA,aAjBvO,EAAA,OAAA,6CAAA,EAAA,sBAAA,KAAA,CAAA,MAAA,+CAAA,GAAA,SAAA,EAAA,SAAA,gDAAA,EAAA,GAAA,MAAA;;;;0CAGb,yBAAyB,aAC/B;;;;;;;;;;;AAXL;;;KC2BY,kBAAA;;;wBAGY;;;;;;;;;;;iBA4ER,wBAAA,CDlF+O,IAAA,ECmFvP,UDnFuP,GAAA,IAAA,EAAA,EAAA,ECoFzP,UDpFyP,CAAA,EAAA,SCqFnP,0BDrFmP,EAAA;;;;;;;;;;;;;AAb1P,iBC+IW,kBAAA,CD/IX,OAAA,ECgJM,UDhJN,EAAA,gBAAA,CAAA,ECiJgB,kBDjJhB,CAAA,ECkJF,WDlJE;;;iBEqEW,6CACL,8BAA8B,kBACtC,iBAAiB;iBAYJ,qCACR,iBAAiB,kBACtB,wBAAwB;iBAOX,cAAA,qBAAmC,uBAAuB;;;;iBAoB1D,aAAA;;EF3HH,kBAAA,EAAA,MACX;CAA0C,CAAA,EE6HxC,EF7HwC,CE6HrC,8BF7HqC,CAAA;;;;iBEyI5B,aAAA,OACR;;SAE2B;IAChC,MAAM;;;;;;cCtJI,sBAAsB;;;AHQnC,cIiDkC,QJjDrB,EIiDqB,mBJhDhC"}