@prisma-next/family-sql 0.3.0-dev.5 → 0.3.0-dev.52

package/README.md

@@ -16,6 +16,12 @@ Provides the SQL family descriptor (`ControlFamilyDescriptor`) that includes:
 - **Family Hook Integration**: Integrates the SQL target family hook (`sqlTargetFamilyHook`) from `@prisma-next/sql-contract-emitter`
 - **Control Plane Entry Point**: Serves as the control plane entry point for the SQL family, enabling the CLI to select the family hook and create family instances
 - **Component Database Dependencies**: Consumes database dependencies declared by framework components (target/adapter/extension packs). Callers pass the active `frameworkComponents` list into planning/execution/verification; SQL layers structurally narrow to components that declare `databaseDependencies` and use their pure verification hooks (no fuzzy matching against `contract.extensionPacks`).
+- **Storage Type Control Hooks**: Extracts codec-owned control hooks for planning/verification/introspection of `storage.types` without adding enum-specific fields to shared IR
+- **Codec Ownership**: Enforces a single owner per `codecId` for parameterized renderers and control-plane hooks to prevent ambiguous conflicts during assembly
+- **Parameterized Type Verification**: Expands contract `typeParams` into expected native type strings during schema verification and flags missing parameters as type mismatches
+- **Schema Defaults Policy**: Ignores execution mutation defaults during schema verification since they are applied before DB writes
+- **Foreign Key Config Awareness**: Schema verification respects the contract's `foreignKeys` configuration — when `foreignKeys.constraints` is `false`, FK constraint checks are skipped during verification (see [ADR 161](../../../docs/architecture%20docs/adrs/ADR%20161%20-%20Explicit%20foreign%20key%20constraint%20and%20index%20configuration.md))
+- **Referential Action Verification**: When a contract FK specifies `onDelete` or `onUpdate`, the verifier compares them against the introspected schema and reports `foreign_key_mismatch` on mismatch (see [ADR 166](../../../docs/architecture%20docs/adrs/ADR%20166%20-%20Referential%20actions%20for%20foreign%20keys.md))
 
 ## Usage
 
@@ -82,7 +88,7 @@ The framework CLI uses this descriptor to:
 
 Family instances implement domain actions:
 - **`validateContractIR(contractJson)`**: Validates and normalizes contract, returns ContractIR without mappings
-- **`verify()`**: Verifies database marker against contract (compares target, coreHash, profileHash)
+- **`verify()`**: Verifies database marker against contract (compares target, storageHash, profileHash)
 - **`schemaVerify()`**: Verifies database schema against contract (compares contract requirements vs live schema)
 - **`introspect()`**: Introspects database schema and returns `SqlSchemaIR`
 - **`toSchemaView(schema)`**: Projects `SqlSchemaIR` into `CoreSchemaView` for human-readable display. Always displays native database types (e.g., `int4`, `text`) rather than mapped codec IDs (e.g., `pg/int4@1`) to reflect actual database state.
@@ -92,9 +98,9 @@ The descriptor is "pure data + factory" - it only provides the hook and factory
 
 ## Package Structure
 
-- **`src/core/descriptor.ts`**: `SqlFamilyDescriptor` class implementing `ControlFamilyDescriptor` interface (pure data + factory)
-- **`src/core/instance.ts`**: `createSqlFamilyInstance` function that creates `SqlFamilyInstance` with domain action methods (`validateContractIR`, `verify`, `schemaVerify`, `introspect`, `toSchemaView`, `emitContract`). Contains `convertOperationManifest` function used internally by instance creation and test utilities in the same package.
-- **`src/core/assembly.ts`**: Assembly helpers for building operation registries and extracting type imports from descriptors. Test utilities import `convertOperationManifest` from the same package via relative path.
+- **`src/core/control-descriptor.ts`**: `SqlFamilyDescriptor` class implementing `ControlFamilyDescriptor` interface (pure data + factory)
+- **`src/core/control-instance.ts`**: `createSqlFamilyInstance` function that creates `SqlFamilyInstance` with domain action methods (`validateContractIR`, `verify`, `schemaVerify`, `introspect`, `toSchemaView`, `emitContract`). Contains `convertOperationManifest` function used internally by instance creation and test utilities in the same package.
+- **`src/core/assembly.ts`**: Assembly helpers for building operation registries, extracting type imports, and collecting codec-owned storage type control hooks. Test utilities import `convertOperationManifest` from the same package via relative path.
 - **`src/core/verify.ts`**: Verification helpers (`readMarker`, `collectSupportedCodecTypeIds`)
 - **`src/core/control-adapter.ts`**: SQL control adapter interface (`SqlControlAdapter`) for control-plane operations
 - **`src/core/migrations/`**: Migration IR helpers plus planner and runner SPI types (`MigrationPlanner`, `MigrationRunner`, `SqlControlTargetDescriptor`). Runners return `MigrationRunnerResult` which is a union of success/failure.
@@ -111,13 +117,13 @@ The runner returns structured errors with the following codes:
 - **`SCHEMA_VERIFY_FAILED`**: Resulting schema doesn't satisfy the destination contract
 - **`EXECUTION_FAILED`**: SQL execution error during operation execution
 - **`src/exports/control.ts`**: Control plane entry point (exports `SqlFamilyDescriptor` instance)
-- **`src/exports/runtime.ts`**: Runtime entry point (placeholder for future functionality)
+- **`src/exports/runtime.ts`**: Runtime plane entry point
 
 ## Entrypoints
 
 - **`./control`**: Control plane entry point for CLI/config usage (exports `SqlFamilyDescriptor`)
 - **`./control-adapter`**: SQL control adapter interface (`SqlControlAdapter`, `SqlControlAdapterDescriptor`) for target-specific adapters
-- **`./runtime`**: Runtime entry point (placeholder for future functionality)
+- **`./runtime`**: Runtime plane identity exports only (family ID, types, descriptor identity). Does **not** export runtime creation helpers—use `createExecutionStack`, `instantiateExecutionStack` from `@prisma-next/core-execution-plane/stack` and `createExecutionContext`, `createRuntime` from `@prisma-next/sql-runtime`. See [ADR 152](../../../docs/architecture%20docs/adrs/ADR%20152%20-%20Execution%20Plane%20Descriptors%20and%20Instances.md).
 - **`./verify`**: Verification utilities (`readMarker`, `readMarkerSql`, `parseContractMarkerRow`) for reading contract markers from databases
 
 ## Dependencies

package/dist/assembly-BVS641kd.mjs

@@ -0,0 +1,106 @@
+import { normalizeRenderer } from "@prisma-next/contract/framework-components";
+import { createOperationRegistry } from "@prisma-next/operations";
+
+//#region src/core/assembly.ts
+function addUniqueId(ids, seen, id) {
+	if (!seen.has(id)) {
+		ids.push(id);
+		seen.add(id);
+	}
+}
+function assertUniqueCodecOwner(options) {
+	const existingOwner = options.owners.get(options.codecId);
+	if (existingOwner !== void 0) throw new Error(`Duplicate ${options.entityLabel} for codecId "${options.codecId}". Descriptor "${options.descriptorId}" conflicts with "${existingOwner}". Each codecId can only have one ${options.entityOwnershipLabel}.`);
+}
+function assembleOperationRegistry(descriptors) {
+	const registry = createOperationRegistry();
+	for (const descriptor of descriptors) {
+		const signatures = descriptor.operationSignatures();
+		for (const signature of signatures) registry.register(signature);
+	}
+	return registry;
+}
+function extractCodecTypeImports(descriptors) {
+	const imports = [];
+	for (const descriptor of descriptors) {
+		const codecTypes = descriptor.types?.codecTypes;
+		if (codecTypes?.import) imports.push(codecTypes.import);
+		if (codecTypes?.typeImports) imports.push(...codecTypes.typeImports);
+	}
+	return imports;
+}
+function extractOperationTypeImports(descriptors) {
+	const imports = [];
+	for (const descriptor of descriptors) {
+		const operationTypes = descriptor.types?.operationTypes;
+		if (operationTypes?.import) imports.push(operationTypes.import);
+	}
+	return imports;
+}
+function extractExtensionIds(adapter, target, extensions) {
+	const ids = [];
+	const seen = /* @__PURE__ */ new Set();
+	addUniqueId(ids, seen, adapter.id);
+	addUniqueId(ids, seen, target.id);
+	for (const ext of extensions) addUniqueId(ids, seen, ext.id);
+	return ids;
+}
+function extractParameterizedRenderers(descriptors) {
+	const renderers = /* @__PURE__ */ new Map();
+	const owners = /* @__PURE__ */ new Map();
+	for (const descriptor of descriptors) {
+		const codecTypes = descriptor.types?.codecTypes;
+		if (!codecTypes?.parameterized) continue;
+		const parameterized = codecTypes.parameterized;
+		for (const [codecId, renderer] of Object.entries(parameterized)) {
+			assertUniqueCodecOwner({
+				codecId,
+				owners,
+				descriptorId: descriptor.id,
+				entityLabel: "parameterized renderer",
+				entityOwnershipLabel: "renderer"
+			});
+			renderers.set(codecId, normalizeRenderer(codecId, renderer));
+			owners.set(codecId, descriptor.id);
+		}
+	}
+	return renderers;
+}
+function hasCodecControlHooks(descriptor) {
+	if (typeof descriptor !== "object" || descriptor === null) return false;
+	const hooks = descriptor.types?.codecTypes?.controlPlaneHooks;
+	return hooks !== null && hooks !== void 0 && typeof hooks === "object";
+}
+function extractCodecControlHooks(descriptors) {
+	const hooks = /* @__PURE__ */ new Map();
+	const owners = /* @__PURE__ */ new Map();
+	for (const descriptor of descriptors) {
+		if (typeof descriptor !== "object" || descriptor === null) continue;
+		if (!hasCodecControlHooks(descriptor)) continue;
+		const controlPlaneHooks = descriptor.types.codecTypes.controlPlaneHooks;
+		for (const [codecId, hook] of Object.entries(controlPlaneHooks)) {
+			assertUniqueCodecOwner({
+				codecId,
+				owners,
+				descriptorId: descriptor.id,
+				entityLabel: "control hooks",
+				entityOwnershipLabel: "owner"
+			});
+			hooks.set(codecId, hook);
+			owners.set(codecId, descriptor.id);
+		}
+	}
+	return hooks;
+}
+function extractParameterizedTypeImports(descriptors) {
+	const imports = [];
+	for (const descriptor of descriptors) {
+		const typeImports = descriptor.types?.codecTypes?.typeImports;
+		if (typeImports) imports.push(...typeImports);
+	}
+	return imports;
+}
+
+//#endregion
+export { extractOperationTypeImports as a, extractExtensionIds as i, extractCodecControlHooks as n, extractParameterizedRenderers as o, extractCodecTypeImports as r, extractParameterizedTypeImports as s, assembleOperationRegistry as t };
+//# sourceMappingURL=assembly-BVS641kd.mjs.map

package/dist/assembly-BVS641kd.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"assembly-BVS641kd.mjs","names":["imports: TypesImportSpec[]","ids: string[]","parameterized: Record<string, TypeRenderer>"],"sources":["../src/core/assembly.ts"],"sourcesContent":["import type {\n  NormalizedTypeRenderer,\n  TargetBoundComponentDescriptor,\n  TypeRenderer,\n} from '@prisma-next/contract/framework-components';\nimport { normalizeRenderer } from '@prisma-next/contract/framework-components';\nimport type { TypesImportSpec } from '@prisma-next/contract/types';\nimport type { OperationRegistry } from '@prisma-next/operations';\nimport { createOperationRegistry } from '@prisma-next/operations';\nimport type { CodecControlHooks, SqlControlStaticContributions } from './migrations/types';\n\nfunction addUniqueId(ids: string[], seen: Set<string>, id: string): void {\n  if (!seen.has(id)) {\n    ids.push(id);\n    seen.add(id);\n  }\n}\n\nfunction assertUniqueCodecOwner(options: {\n  readonly codecId: string;\n  readonly owners: Map<string, string>;\n  readonly descriptorId: string;\n  readonly entityLabel: string;\n  readonly entityOwnershipLabel: string;\n}): void {\n  const existingOwner = options.owners.get(options.codecId);\n  if (existingOwner !== undefined) {\n    throw new Error(\n      `Duplicate ${options.entityLabel} for codecId \"${options.codecId}\". ` +\n        `Descriptor \"${options.descriptorId}\" conflicts with \"${existingOwner}\". ` +\n        `Each codecId can only have one ${options.entityOwnershipLabel}.`,\n    );\n  }\n}\n\nexport interface SqlControlDescriptorWithContributions extends SqlControlStaticContributions {\n  readonly id: string;\n  readonly types?: {\n    readonly codecTypes?: {\n      readonly import?: TypesImportSpec;\n      readonly parameterized?: Record<string, TypeRenderer>;\n      readonly typeImports?: ReadonlyArray<TypesImportSpec>;\n    };\n    readonly operationTypes?: { readonly import: TypesImportSpec };\n  };\n}\n\nexport function assembleOperationRegistry(\n  descriptors: ReadonlyArray<SqlControlDescriptorWithContributions>,\n): OperationRegistry {\n  const registry = createOperationRegistry();\n\n  for (const descriptor of descriptors) {\n    const signatures = descriptor.operationSignatures();\n    for (const signature of signatures) {\n      registry.register(signature);\n    }\n  }\n\n  return registry;\n}\n\ninterface DescriptorWithTypes {\n  readonly id: string;\n  readonly types?: {\n    readonly codecTypes?: {\n      readonly import?: TypesImportSpec;\n      readonly parameterized?: Record<string, TypeRenderer>;\n      readonly typeImports?: ReadonlyArray<TypesImportSpec>;\n    };\n    readonly operationTypes?: { readonly import: TypesImportSpec };\n  };\n}\n\nexport function extractCodecTypeImports(\n  descriptors: ReadonlyArray<DescriptorWithTypes>,\n): ReadonlyArray<TypesImportSpec> {\n  const imports: TypesImportSpec[] = [];\n\n  for (const descriptor of descriptors) {\n    const types = descriptor.types;\n    const codecTypes = types?.codecTypes;\n    if (codecTypes?.import) {\n      imports.push(codecTypes.import);\n    }\n    if (codecTypes?.typeImports) {\n      imports.push(...codecTypes.typeImports);\n    }\n  }\n\n  return imports;\n}\n\nexport function extractOperationTypeImports(\n  descriptors: ReadonlyArray<DescriptorWithTypes>,\n): ReadonlyArray<TypesImportSpec> {\n  const imports: TypesImportSpec[] = [];\n\n  for (const descriptor of descriptors) {\n    const types = descriptor.types;\n    const operationTypes = types?.operationTypes;\n    if (operationTypes?.import) {\n      imports.push(operationTypes.import);\n    }\n  }\n\n  return imports;\n}\n\nexport function extractExtensionIds(\n  adapter: { readonly id: string },\n  target: { readonly id: string },\n  extensions: ReadonlyArray<{ readonly id: string }>,\n): ReadonlyArray<string> {\n  const ids: string[] = [];\n  const seen = new Set<string>();\n\n  addUniqueId(ids, seen, adapter.id);\n  addUniqueId(ids, seen, target.id);\n\n  for (const ext of extensions) {\n    addUniqueId(ids, seen, ext.id);\n  }\n\n  return ids;\n}\n\nexport function extractParameterizedRenderers(\n  descriptors: ReadonlyArray<DescriptorWithTypes>,\n): Map<string, NormalizedTypeRenderer> {\n  const renderers = new Map<string, NormalizedTypeRenderer>();\n  const owners = new Map<string, string>();\n\n  for (const descriptor of descriptors) {\n    const codecTypes = descriptor.types?.codecTypes;\n    if (!codecTypes?.parameterized) continue;\n\n    const parameterized: Record<string, TypeRenderer> = codecTypes.parameterized;\n    for (const [codecId, renderer] of Object.entries(parameterized)) {\n      assertUniqueCodecOwner({\n        codecId,\n        owners,\n        descriptorId: descriptor.id,\n        entityLabel: 'parameterized renderer',\n        entityOwnershipLabel: 'renderer',\n      });\n      renderers.set(codecId, normalizeRenderer(codecId, renderer));\n      owners.set(codecId, descriptor.id);\n    }\n  }\n\n  return renderers;\n}\n\ntype CodecControlHooksMap = Record<string, CodecControlHooks>;\n\nfunction hasCodecControlHooks(descriptor: unknown): descriptor is {\n  readonly id: string;\n  readonly types: {\n    readonly codecTypes: {\n      readonly controlPlaneHooks: CodecControlHooksMap;\n    };\n  };\n} {\n  if (typeof descriptor !== 'object' || descriptor === null) {\n    return false;\n  }\n  const d = descriptor as { types?: { codecTypes?: { controlPlaneHooks?: unknown } } };\n  const hooks = d.types?.codecTypes?.controlPlaneHooks;\n  return hooks !== null && hooks !== undefined && typeof hooks === 'object';\n}\n\nexport function extractCodecControlHooks(\n  descriptors: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>,\n): Map<string, CodecControlHooks> {\n  const hooks = new Map<string, CodecControlHooks>();\n  const owners = new Map<string, string>();\n\n  for (const descriptor of descriptors) {\n    if (typeof descriptor !== 'object' || descriptor === null) {\n      continue;\n    }\n    if (!hasCodecControlHooks(descriptor)) {\n      continue;\n    }\n    const controlPlaneHooks = descriptor.types.codecTypes.controlPlaneHooks;\n    for (const [codecId, hook] of Object.entries(controlPlaneHooks)) {\n      assertUniqueCodecOwner({\n        codecId,\n        owners,\n        descriptorId: descriptor.id,\n        entityLabel: 'control hooks',\n        entityOwnershipLabel: 'owner',\n      });\n      hooks.set(codecId, hook);\n      owners.set(codecId, descriptor.id);\n    }\n  }\n\n  return hooks;\n}\n\nexport function extractParameterizedTypeImports(\n  descriptors: ReadonlyArray<DescriptorWithTypes>,\n): ReadonlyArray<TypesImportSpec> {\n  const imports: TypesImportSpec[] = [];\n\n  for (const descriptor of descriptors) {\n    const typeImports = descriptor.types?.codecTypes?.typeImports;\n    if (typeImports) {\n      imports.push(...typeImports);\n    }\n  }\n\n  return imports;\n}\n"],"mappings":";;;;AAWA,SAAS,YAAY,KAAe,MAAmB,IAAkB;AACvE,KAAI,CAAC,KAAK,IAAI,GAAG,EAAE;AACjB,MAAI,KAAK,GAAG;AACZ,OAAK,IAAI,GAAG;;;AAIhB,SAAS,uBAAuB,SAMvB;CACP,MAAM,gBAAgB,QAAQ,OAAO,IAAI,QAAQ,QAAQ;AACzD,KAAI,kBAAkB,OACpB,OAAM,IAAI,MACR,aAAa,QAAQ,YAAY,gBAAgB,QAAQ,QAAQ,iBAChD,QAAQ,aAAa,oBAAoB,cAAc,oCACpC,QAAQ,qBAAqB,GAClE;;AAgBL,SAAgB,0BACd,aACmB;CACnB,MAAM,WAAW,yBAAyB;AAE1C,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,aAAa,WAAW,qBAAqB;AACnD,OAAK,MAAM,aAAa,WACtB,UAAS,SAAS,UAAU;;AAIhC,QAAO;;AAeT,SAAgB,wBACd,aACgC;CAChC,MAAMA,UAA6B,EAAE;AAErC,MAAK,MAAM,cAAc,aAAa;EAEpC,MAAM,aADQ,WAAW,OACC;AAC1B,MAAI,YAAY,OACd,SAAQ,KAAK,WAAW,OAAO;AAEjC,MAAI,YAAY,YACd,SAAQ,KAAK,GAAG,WAAW,YAAY;;AAI3C,QAAO;;AAGT,SAAgB,4BACd,aACgC;CAChC,MAAMA,UAA6B,EAAE;AAErC,MAAK,MAAM,cAAc,aAAa;EAEpC,MAAM,iBADQ,WAAW,OACK;AAC9B,MAAI,gBAAgB,OAClB,SAAQ,KAAK,eAAe,OAAO;;AAIvC,QAAO;;AAGT,SAAgB,oBACd,SACA,QACA,YACuB;CACvB,MAAMC,MAAgB,EAAE;CACxB,MAAM,uBAAO,IAAI,KAAa;AAE9B,aAAY,KAAK,MAAM,QAAQ,GAAG;AAClC,aAAY,KAAK,MAAM,OAAO,GAAG;AAEjC,MAAK,MAAM,OAAO,WAChB,aAAY,KAAK,MAAM,IAAI,GAAG;AAGhC,QAAO;;AAGT,SAAgB,8BACd,aACqC;CACrC,MAAM,4BAAY,IAAI,KAAqC;CAC3D,MAAM,yBAAS,IAAI,KAAqB;AAExC,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,aAAa,WAAW,OAAO;AACrC,MAAI,CAAC,YAAY,cAAe;EAEhC,MAAMC,gBAA8C,WAAW;AAC/D,OAAK,MAAM,CAAC,SAAS,aAAa,OAAO,QAAQ,cAAc,EAAE;AAC/D,0BAAuB;IACrB;IACA;IACA,cAAc,WAAW;IACzB,aAAa;IACb,sBAAsB;IACvB,CAAC;AACF,aAAU,IAAI,SAAS,kBAAkB,SAAS,SAAS,CAAC;AAC5D,UAAO,IAAI,SAAS,WAAW,GAAG;;;AAItC,QAAO;;AAKT,SAAS,qBAAqB,YAO5B;AACA,KAAI,OAAO,eAAe,YAAY,eAAe,KACnD,QAAO;CAGT,MAAM,QADI,WACM,OAAO,YAAY;AACnC,QAAO,UAAU,QAAQ,UAAU,UAAa,OAAO,UAAU;;AAGnE,SAAgB,yBACd,aACgC;CAChC,MAAM,wBAAQ,IAAI,KAAgC;CAClD,MAAM,yBAAS,IAAI,KAAqB;AAExC,MAAK,MAAM,cAAc,aAAa;AACpC,MAAI,OAAO,eAAe,YAAY,eAAe,KACnD;AAEF,MAAI,CAAC,qBAAqB,WAAW,CACnC;EAEF,MAAM,oBAAoB,WAAW,MAAM,WAAW;AACtD,OAAK,MAAM,CAAC,SAAS,SAAS,OAAO,QAAQ,kBAAkB,EAAE;AAC/D,0BAAuB;IACrB;IACA;IACA,cAAc,WAAW;IACzB,aAAa;IACb,sBAAsB;IACvB,CAAC;AACF,SAAM,IAAI,SAAS,KAAK;AACxB,UAAO,IAAI,SAAS,WAAW,GAAG;;;AAItC,QAAO;;AAGT,SAAgB,gCACd,aACgC;CAChC,MAAMF,UAA6B,EAAE;AAErC,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,cAAc,WAAW,OAAO,YAAY;AAClD,MAAI,YACF,SAAQ,KAAK,GAAG,YAAY;;AAIhC,QAAO"}

package/dist/control-adapter.d.mts

@@ -0,0 +1,60 @@
+import { n as NativeTypeNormalizer, t as DefaultNormalizer } from "./verify-sql-schema-DhHnkpPa.mjs";
+import { ControlAdapterInstance, ControlDriverInstance } from "@prisma-next/core-control-plane/types";
+import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
+
+//#region src/core/control-adapter.d.ts
+
+/**
+ * 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>;
+  /**
+   * Optional target-specific normalizer for raw database default expressions.
+   * When provided, schema defaults (raw strings) are normalized before comparison
+   * with contract defaults (ColumnDefault objects) during schema verification.
+   */
+  readonly normalizeDefault?: DefaultNormalizer;
+  /**
+   * Optional target-specific normalizer for schema native type names.
+   * When provided, schema native types (from introspection) are normalized
+   * before comparison with contract native types during schema verification.
+   */
+  readonly normalizeNativeType?: NativeTypeNormalizer;
+}
+/**
+ * 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>;
+}
+//#endregion
+export { type SqlControlAdapter, type SqlControlAdapterDescriptor };
+//# sourceMappingURL=control-adapter.d.mts.map

package/dist/control-adapter.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-adapter.d.mts","names":[],"sources":["../src/core/control-adapter.ts"],"sourcesContent":[],"mappings":";;;;;;;;AAaA;;;;AAsBY,UAtBK,iBAsBL,CAAA,gBAAA,MAAA,GAAA,MAAA,CAAA,SArBF,sBAqBE,CAAA,KAAA,EArB4B,OAqB5B,CAAA,CAAA;EAGC;;;;;EAxBmB,SAAA,MAAA,EAMb,OANa;EA+Cf;;;;;;;;;;;;qBA1BL,6BAA6B,kDAGpC,QAAQ;;;;;;8BAOiB;;;;;;iCAOG;;;;;;;;UAShB;;;;YAIL,kBAAkB"}

package/dist/control-adapter.mjs

@@ -0,0 +1 @@
+export {  };

package/dist/control-instance-CWKSpACr.d.mts

@@ -0,0 +1,292 @@
+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, 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;
+}
+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-CWKSpACr.d.mts.map

package/dist/control-instance-CWKSpACr.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control-instance-CWKSpACr.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;;AAUT,UA7CP,6BA6CO,CAAA,kBAAA,MAAA,CAAA,SA5Cd,0BA4Cc,CAAA,KAAA,EA5CoB,SA4CpB,CAAA,EA3CpB,6BA2CoB,CAAA;EACkC,SAAA,oBAAA,CAAA,EA3CxB,6BA2CwB,CAAA,OAAA,CAAA;;AACxC,UAzCD,2BAyCC,CAAA,kBAAA,MAAA,CAAA,SAxCR,wBAwCQ,CAAA,KAAA,EAxCwB,SAwCxB,CAAA,EAvCd,6BAuCc,CAAA;AAZqD,UAzBtD,6BAAA,CAyBsD;EAe3D,SAAA,WAAA,EAAA,MAAsB;EAUjB,SAAA,GAAA,EAAA,MAAA;EASA,SAAA,IAAA,CAAA,EAxDC,SAwDkB;;AAEd,UAvDL,+BAuDK,CAAA,cAAA,CAAA,CAAA;EACJ,SAAA,EAAA,EAAA,MAAA;EAH0B,SAAA,OAAA,CAAA,EAnDvB,cAmDuB;;AAM3B,UAtDA,yBAsDuB,CAAA,cAAA,CAAA,SAtD2B,sBAsD3B,CAAA;EACzB,SAAA,OAAA,CAAA,EAAA,MAAA;EAEmB,SAAA,MAAA,EAvDf,+BAuDe,CAvDiB,cAuDjB,CAAA;EAAjB,SAAA,QAAA,EAAA,SAtDa,6BAsDb,EAAA;EAFP,SAAA,OAAA,EAAA,SAnDmB,6BAmDnB,EAAA;EAAI,SAAA,SAAA,EAAA,SAlDiB,6BAkDjB,EAAA;EAKG,SAAA,IAAA,CAAA,EAtDC,SAsDD;;AAEc,UArDd,4BAAA,CAqDc;EAFkB,SAAA,WAAA,EAAA,MAAA;EAAI,SAAA,WAAA,CAAA,EAAA,MAAA;AAKrD;AAC4B,UApDX,gBAoDW,CAAA,cAAA,CAAA,SApD8B,aAoD9B,CAAA;EAAxB;;;AAGJ;;EACqB,SAAA,MAAA,CAAA,EAlDD,4BAkDC,GAAA,IAAA;EACF;;;EAQa,SAAA,WAAA,EAvDR,4BAuDQ;EAAa,SAAA,UAAA,EAAA,SAtDb,yBAsDa,CAtDa,cAsDb,CAAA,EAAA;EAG5B,SAAA,IAAA,CAAA,EAxDC,SAwDkB;;AAC8B,KAtDtD,sBAAA,GAsDsD,cAAA,GAAA,qBAAA,GAAA,mBAAA,GAAA,oBAAA,GAAA,uBAAA,GAAA,sBAAA,GAAA,kBAAA,GAAA,sBAAA;AAAjB,UA5ChC,0BAAA,CA4CgC;EAAgB,SAAA,KAAA,CAAA,EAAA,MAAA;EAGhD,SAAA,MAAA,CAAA,EAAA,MAAA;EACwC,SAAA,KAAA,CAAA,EAAA,MAAA;EAA1B,SAAA,UAAA,CAAA,EAAA,MAAA;EAC6B,SAAA,SAAA,CAAA,EAAA,MAAA;EAA1B,SAAA,IAAA,CAAA,EAAA,MAAA;;AAGjB,UA3CA,kBAAA,SAA2B,wBA2CK,CAAA;EACf,SAAA,IAAA,EA3CjB,sBA2CiB;EAAjB,SAAA,QAAA,CAAA,EA1CK,0BA0CL;EACE,SAAA,IAAA,CAAA,EA1CD,SA0CC;;AAKa,UA5Cf,uBA4Ce,CAAA,cAAA,CAAA,SA3CtB,IA2CsB,CA3CjB,6BA2CiB,EAAA,MAAA,CAAA,CAAA;EAKb,SAAA,IAAA,EAAA,SAAA;EAGuC,SAAA,IAAA,EAjDzC,gBAiDyC,CAjDxB,cAiDwB,CAAA;;AACrC,UA/CJ,uBAAA,SAAgC,IA+C5B,CA/CiC,6BA+CjC,EAAA,WAAA,CAAA,CAAA;EAKQ,SAAA,IAAA,EAAA,SAAA;EAMiB,SAAA,SAAA,EAAA,SAxDf,kBAwDe,EAAA;;AAAD,KArDjC,gBAqDiC,CAAA,cAAA,CAAA,GApDzC,uBAoDyC,CApDjB,cAoDiB,CAAA,GAnDzC,uBAmDyC;AAGjC,UApDK,8BAAA,CAoDsB;EAStB,SAAA,QAAA,EA5DI,WA4DsB,CA5DV,UA4DU,CAAA;EAC1B,SAAA,MAAA,EA5DE,WA4DF;EACC,SAAA,MAAA,EA5DC,wBA4DD;EAFiC,SAAA,UAAA,CAAA,EAAA,MAAA;EAAsB;AAKzE;AAEA;;;EAAuC,SAAA,mBAAA,EA1DP,aA0DO,CA1DO,8BA0DP,CAAA,KAAA,EAAA,MAAA,CAAA,CAAA;;AAKtB,UA5DA,mBA4DkB,CAAA,cAAA,CAAA,CAAA;EAEW,IAAA,CAAA,OAAA,EA7D9B,8BA6D8B,CAAA,EA7DG,gBA6DH,CA7DoB,cA6DpB,CAAA;;AACjC,UA3DI,kCA2DJ,CAAA,cAAA,CAAA,CAAA;EAAR,gBAAA,EAAA,SAAA,EA1D0B,yBA0D1B,CA1DoD,cA0DpD,CAAA,CAAA,EAAA,IAAA;EAAO,mBAAA,EAAA,SAAA,EAzDsB,yBAyDtB,CAzDgD,cAyDhD,CAAA,CAAA,EAAA,IAAA;AAGZ;AAGM,UA5DW,gCA4DX,CAAA,cAAA,CAAA,CAAA;EAC6B,SAAA,IAAA,EA5DlB,gBA4DkB,CA5DD,cA4DC,CAAA;EAA7B,SAAA,MAAA,EA3Da,qBA2Db,CAAA,KAAA,EAAA,MAAA,CAAA;EACA;;;;EAIiB,SAAA,mBAAA,EA3DS,WA2DT,CA3DqB,UA2DrB,CAAA;EAA8C;;;;EAFpC,SAAA,MAAA,EApDd,wBAoDc;EAKhB,SAAA,UAAA,CAAA,EAAA,MAAA;EAEG,SAAA,kBAAA,CAAA,EAAA,OAAA;EACI,SAAA,SAAA,CAAA,EAzDD,kCAyDC,CAzDkC,cAyDlC,CAAA;EACkC,SAAA,OAAA,CAAA,EAzDrC,gBAyDqC;EAA1B;;;;6BApDH;;AC7L7B;;;;EAM2C,SAAA,mBAAA,ED6LX,aC7LW,CD6LG,8BC7LH,CAAA,KAAA,EAAA,MAAA,CAAA,CAAA;;AAEM,KD8LrC,2BAAA,GC9LqC,+BAAA,GAAA,wBAAA,GAAA,kBAAA,GAAA,iBAAA,GAAA,kBAAA,GAAA,sBAAA,GAAA,kBAAA;AARc,UD+M9C,yBAAA,SAAkC,sBC/MY,CAAA;EAA6B,SAAA,IAAA,EDgN3E,2BChN2E;EAY5E,SAAA,IAAA,CAAA,EDqME,SCrMF;;AACD,UDuME,8BAAA,SAAuC,2BCvMzC,CAAA;AACK,KDwMR,wBAAA,GAA2B,MCxMnB,CDyMlB,8BCzMkB,ED0MlB,yBC1MkB,CAAA;AAaV,UDgMO,kBChMY,CAAA,cAAA,CAAA,CAAA;EAIL,OAAA,CAAA,OAAA,ED8LX,gCC9LW,CD8LsB,cC9LtB,CAAA,CAAA,ED+LnB,OC/LmB,CD+LX,wBC/LW,CAAA;;AACO,UDiMd,0BCjMc,CAAA,kBAAA,MAAA,EAAA,cAAA,CAAA,SDkMrB,uBClMqB,CAAA,KAAA,EDoMzB,SCpMyB,EDqMzB,qBCrMyB,CAAA,KAAA,EDqMI,SCrMJ,CAAA,EDsMzB,wBCtMyB,CAAA,EDwM3B,6BCxM2B,CAAA;EACY,aAAA,CAAA,MAAA,EDwMnB,wBCxMmB,CAAA,EDwMQ,mBCxMR,CDwM4B,cCxM5B,CAAA;EAAd,YAAA,CAAA,MAAA,EDyMN,wBCzMM,CAAA,EDyMqB,kBCzMrB,CDyMwC,cCzMxC,CAAA;;AAEmC,UD0M/C,6BC1M+C,CAAA,cAAA,CAAA,CAAA;EAIhD,SAAA,QAAA,EAAA,MAAA;EACa,SAAA,MAAA,CAAA,EDuMT,4BCvMS,GAAA,IAAA;EAAd,SAAA,WAAA,EDwMS,4BCxMT;EACE,SAAA,UAAA,EAAA,SDwMe,yBCxMf,CDwMyC,cCxMzC,CAAA,EAAA;EAAd,SAAA,IAAA,CAAA,EDyMe,SCzMf;;;;UAzCc,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,64 @@
+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-CWKSpACr.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, MigrationPlannerResult, TargetMigrationsCapability } from "@prisma-next/core-control-plane/types";
+import * as _prisma_next_sql_contract_types0 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/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 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, createMigrationPlan, _default as default, 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/plan-helpers.ts","../src/core/migrations/policies.ts","../src/exports/control.ts"],"sourcesContent":[],"mappings":";;;;;;;;cAaa,mBAAA,YACA,+BAA+B;;;;;;IAD/B,SAAA,EAAA,EAAA,KACX;IAA0C,SAAA,aAAA,EAAA,CAAA,EAAA,EAAwB,yBAAA,CAAA,UAAxB,EAAA,IAAA,gDAAA,EAAA,GAAA,IAAA;IAAwB,SAAA,iBAAA,EAAA,CAAA,EAAA,sCAAA,EAAA,GAAA,IAAA;;;;;8CAM5C;4CAAA,gCAAA,CAAA;;uCAAA,EAAA,CAAA,MAAA,QAAA,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,GAAA,MAAA;IAAA,SAAA,cAAA,EAAA,CAAA,KAAA,EAAA,OAAA,EAAA,GAAA,MAAA;uMAiBuO,yCAAA,eAAA;0CAAA,gCAAA,CAAA;;;;iCAAA,CAAA,CAAA,KAAA,EAdpP,iBAcoP,CAAA,KAAA,EAd3N,SAc2N,CAAA,CAAA,EAb1P,wBAa0P;;;;iBCwD/O,6CACL,8BAA8B,kBACtC,iBAAiB;iBAYJ,qCACR,iBAAiB,kBACtB,wBAAwB;iBAOX,cAAA,qBAAmC,uBAAuB;;;;ADvG7D,iBC2HG,aAAA,CD1Hd,KAAA,EAAA;EAA0C,iBAAA,EAAA,MAAA;EAAwB,kBAAA,EAAA,MAAA;IC6HhE,GAAG;;;;iBAYS,aAAA,OACR;;SAE2B;IAChC,MAAM,yBDvIe,CAAA;;;;;;cEfX,sBAAsB;;;AFQnC,cG2CkC,QH3CrB,EG2CqB,mBH1ChC"}