@prisma-next/framework-components 0.7.0 → 0.8.0-dev.10

package/dist/authoring.d.mts

@@ -1,2 +1,2 @@
-import { _ as isAuthoringFieldPresetDescriptor, a as AuthoringFieldNamespace, b as resolveAuthoringTemplateValue, c as AuthoringStorageTypeTemplate, d as AuthoringTypeNamespace, f as assertNoCrossRegistryCollisions, g as isAuthoringArgRef, h as instantiateAuthoringTypeConstructor, i as AuthoringContributions, l as AuthoringTemplateValue, m as instantiateAuthoringFieldPreset, n as AuthoringArgumentDescriptor, o as AuthoringFieldPresetDescriptor, p as hasRegisteredFieldNamespace, r as AuthoringColumnDefaultTemplate, s as AuthoringFieldPresetOutput, t as AuthoringArgRef, u as AuthoringTypeConstructorDescriptor, v as isAuthoringTypeConstructorDescriptor, x as validateAuthoringHelperArguments, y as mergeAuthoringNamespaces } from "./framework-authoring-DGIQbNPt.mjs";
-export { type AuthoringArgRef, type AuthoringArgumentDescriptor, type AuthoringColumnDefaultTemplate, type AuthoringContributions, type AuthoringFieldNamespace, type AuthoringFieldPresetDescriptor, type AuthoringFieldPresetOutput, type AuthoringStorageTypeTemplate, type AuthoringTemplateValue, type AuthoringTypeConstructorDescriptor, type AuthoringTypeNamespace, assertNoCrossRegistryCollisions, hasRegisteredFieldNamespace, instantiateAuthoringFieldPreset, instantiateAuthoringTypeConstructor, isAuthoringArgRef, isAuthoringFieldPresetDescriptor, isAuthoringTypeConstructorDescriptor, mergeAuthoringNamespaces, resolveAuthoringTemplateValue, validateAuthoringHelperArguments };
+import { C as isAuthoringEntityTypeDescriptor, D as resolveAuthoringTemplateValue, E as mergeAuthoringNamespaces, O as validateAuthoringHelperArguments, S as isAuthoringArgRef, T as isAuthoringTypeConstructorDescriptor, _ as assertNoCrossRegistryCollisions, a as AuthoringEntityContext, b as instantiateAuthoringFieldPreset, c as AuthoringEntityTypeNamespace, d as AuthoringFieldPresetDescriptor, f as AuthoringFieldPresetOutput, g as AuthoringTypeNamespace, h as AuthoringTypeConstructorDescriptor, i as AuthoringContributions, l as AuthoringEntityTypeTemplateOutput, m as AuthoringTemplateValue, n as AuthoringArgumentDescriptor, o as AuthoringEntityTypeDescriptor, p as AuthoringStorageTypeTemplate, r as AuthoringColumnDefaultTemplate, s as AuthoringEntityTypeFactoryOutput, t as AuthoringArgRef, u as AuthoringFieldNamespace, v as hasRegisteredFieldNamespace, w as isAuthoringFieldPresetDescriptor, x as instantiateAuthoringTypeConstructor, y as instantiateAuthoringEntityType } from "./framework-authoring-Bb_GEnzj.mjs";
+export { type AuthoringArgRef, type AuthoringArgumentDescriptor, type AuthoringColumnDefaultTemplate, type AuthoringContributions, type AuthoringEntityContext, type AuthoringEntityTypeDescriptor, type AuthoringEntityTypeFactoryOutput, type AuthoringEntityTypeNamespace, type AuthoringEntityTypeTemplateOutput, type AuthoringFieldNamespace, type AuthoringFieldPresetDescriptor, type AuthoringFieldPresetOutput, type AuthoringStorageTypeTemplate, type AuthoringTemplateValue, type AuthoringTypeConstructorDescriptor, type AuthoringTypeNamespace, assertNoCrossRegistryCollisions, hasRegisteredFieldNamespace, instantiateAuthoringEntityType, instantiateAuthoringFieldPreset, instantiateAuthoringTypeConstructor, isAuthoringArgRef, isAuthoringEntityTypeDescriptor, isAuthoringFieldPresetDescriptor, isAuthoringTypeConstructorDescriptor, mergeAuthoringNamespaces, resolveAuthoringTemplateValue, validateAuthoringHelperArguments };

package/dist/authoring.mjs

@@ -1,2 +1,2 @@
-import { a as isAuthoringArgRef, c as mergeAuthoringNamespaces, i as instantiateAuthoringTypeConstructor, l as resolveAuthoringTemplateValue, n as hasRegisteredFieldNamespace, o as isAuthoringFieldPresetDescriptor, r as instantiateAuthoringFieldPreset, s as isAuthoringTypeConstructorDescriptor, t as assertNoCrossRegistryCollisions, u as validateAuthoringHelperArguments } from "./framework-authoring-DxXcjyJX.mjs";
-export { assertNoCrossRegistryCollisions, hasRegisteredFieldNamespace, instantiateAuthoringFieldPreset, instantiateAuthoringTypeConstructor, isAuthoringArgRef, isAuthoringFieldPresetDescriptor, isAuthoringTypeConstructorDescriptor, mergeAuthoringNamespaces, resolveAuthoringTemplateValue, validateAuthoringHelperArguments };
+import { a as instantiateAuthoringTypeConstructor, c as isAuthoringFieldPresetDescriptor, d as resolveAuthoringTemplateValue, f as validateAuthoringHelperArguments, i as instantiateAuthoringFieldPreset, l as isAuthoringTypeConstructorDescriptor, n as hasRegisteredFieldNamespace, o as isAuthoringArgRef, r as instantiateAuthoringEntityType, s as isAuthoringEntityTypeDescriptor, t as assertNoCrossRegistryCollisions, u as mergeAuthoringNamespaces } from "./framework-authoring-DcEZ5Lin.mjs";
+export { assertNoCrossRegistryCollisions, hasRegisteredFieldNamespace, instantiateAuthoringEntityType, instantiateAuthoringFieldPreset, instantiateAuthoringTypeConstructor, isAuthoringArgRef, isAuthoringEntityTypeDescriptor, isAuthoringFieldPresetDescriptor, isAuthoringTypeConstructorDescriptor, mergeAuthoringNamespaces, resolveAuthoringTemplateValue, validateAuthoringHelperArguments };

package/dist/components.d.mts

@@ -1,2 +1,2 @@
-import { S as checkContractComponentRequirements, _ as PackRefBase, a as ComponentMetadata, b as TargetInstance, c as DriverDescriptor, d as ExtensionDescriptor, f as ExtensionInstance, g as FamilyPackRef, h as FamilyInstance, i as ComponentDescriptor, l as DriverInstance, m as FamilyDescriptor, n as AdapterInstance, o as ContractComponentRequirementsCheckInput, p as ExtensionPackRef, r as AdapterPackRef, s as ContractComponentRequirementsCheckResult, t as AdapterDescriptor, u as DriverPackRef, v as TargetBoundComponentDescriptor, x as TargetPackRef, y as TargetDescriptor } from "./framework-components-DwkHnl-e.mjs";
+import { S as checkContractComponentRequirements, _ as PackRefBase, a as ComponentMetadata, b as TargetInstance, c as DriverDescriptor, d as ExtensionDescriptor, f as ExtensionInstance, g as FamilyPackRef, h as FamilyInstance, i as ComponentDescriptor, l as DriverInstance, m as FamilyDescriptor, n as AdapterInstance, o as ContractComponentRequirementsCheckInput, p as ExtensionPackRef, r as AdapterPackRef, s as ContractComponentRequirementsCheckResult, t as AdapterDescriptor, u as DriverPackRef, v as TargetBoundComponentDescriptor, x as TargetPackRef, y as TargetDescriptor } from "./framework-components-DQRRmQOH.mjs";
 export { type AdapterDescriptor, type AdapterInstance, type AdapterPackRef, type ComponentDescriptor, type ComponentMetadata, type ContractComponentRequirementsCheckInput, type ContractComponentRequirementsCheckResult, type DriverDescriptor, type DriverInstance, type DriverPackRef, type ExtensionDescriptor, type ExtensionInstance, type ExtensionPackRef, type FamilyDescriptor, type FamilyInstance, type FamilyPackRef, type PackRefBase, type TargetBoundComponentDescriptor, type TargetDescriptor, type TargetInstance, type TargetPackRef, checkContractComponentRequirements };

package/dist/control.d.mts

@@ -1,13 +1,50 @@
-import { a as AuthoringFieldNamespace, d as AuthoringTypeNamespace, i as AuthoringContributions } from "./framework-authoring-DGIQbNPt.mjs";
+import { c as AuthoringEntityTypeNamespace, g as AuthoringTypeNamespace, i as AuthoringContributions, u as AuthoringFieldNamespace } from "./framework-authoring-Bb_GEnzj.mjs";
 import { c as CodecLookup } from "./codec-DcjlJbcO.mjs";
-import { A as LoweredDefaultResult, C as ControlMutationDefaultEntry, D as DefaultFunctionLoweringHandler, E as DefaultFunctionLoweringContext, F as SourceSpan, M as MutationDefaultGeneratorDescriptor, N as ParsedDefaultFunctionCall, O as DefaultFunctionRegistry, P as SourceDiagnostic, T as ControlMutationDefaults, a as ComponentMetadata, b as TargetInstance, c as DriverDescriptor, d as ExtensionDescriptor, f as ExtensionInstance, h as FamilyInstance, j as LoweredDefaultValue, k as DefaultFunctionRegistryEntry, l as DriverInstance, m as FamilyDescriptor, n as AdapterInstance, t as AdapterDescriptor, v as TargetBoundComponentDescriptor, w as ControlMutationDefaultRegistry, y as TargetDescriptor } from "./framework-components-DwkHnl-e.mjs";
+import { A as LoweredDefaultResult, C as ControlMutationDefaultEntry, D as DefaultFunctionLoweringHandler, E as DefaultFunctionLoweringContext, F as SourceSpan, M as MutationDefaultGeneratorDescriptor, N as ParsedDefaultFunctionCall, O as DefaultFunctionRegistry, P as SourceDiagnostic, T as ControlMutationDefaults, a as ComponentMetadata, b as TargetInstance, c as DriverDescriptor, d as ExtensionDescriptor, f as ExtensionInstance, h as FamilyInstance, j as LoweredDefaultValue, k as DefaultFunctionRegistryEntry, l as DriverInstance, m as FamilyDescriptor, n as AdapterInstance, t as AdapterDescriptor, v as TargetBoundComponentDescriptor, w as ControlMutationDefaultRegistry, y as TargetDescriptor } from "./framework-components-DQRRmQOH.mjs";
 import { t as TypesImportSpec } from "./types-import-spec-BxI5cSQy.mjs";
 import { t as EmissionSpi } from "./emission-types-CMv_053d.mjs";
 import { m as PslDocumentAst } from "./psl-ast-Ckn_G-jv.mjs";
 import { Contract, ContractMarkerRecord } from "@prisma-next/contract/types";
 import { ImportRequirement, ImportRequirement as ImportRequirement$1 } from "@prisma-next/ts-render";
+import { JsonObject } from "@prisma-next/utils/json";
 import { Result } from "@prisma-next/utils/result";
 
+//#region src/control/contract-serializer.d.ts
+/**
+ * Framework SPI for moving a contract between its canonical on-disk JSON
+ * form and its in-memory class-hierarchy form. Both directions live on the
+ * same SPI so the conceptual seam — "the boundary where the contract
+ * crosses between persisted JSON and live class instances" — has a single
+ * named home.
+ *
+ * Both faces are needed by the framework today (round-trip property tests,
+ * drift detection, future canonicalization), not eventually. For most
+ * targets `serializeContract` is identity over JSON-clean class instances;
+ * the method exists because the seam is real, not as a convention placeholder.
+ *
+ * Implementers compose this SPI as a named property on their target
+ * descriptor (`descriptor.contractSerializer`); the descriptor itself
+ * remains the aggregator of all per-target SPIs.
+ */
+interface ContractSerializer<TContract> {
+  /**
+   * Validate the JSON shape and construct typed class instances. Throws on
+   * structural / domain / storage validation failures. Returns the typed
+   * contract on success.
+   */
+  deserializeContract(json: unknown): TContract;
+  /**
+   * Serialize a typed contract to its canonical JSON shape. Returns
+   * `JsonObject` so callers can stringify, hash, or feed the result into
+   * another SPI without re-asserting JSON-cleanness. Targets whose contract
+   * fields are JSON-clean by construction return the contract unchanged
+   * (the symmetric pair to `deserializeContract`); targets that need to
+   * canonicalize on the way out (key ordering, dropping computed-only
+   * fields, normalizing numeric encodings) do that work here.
+   */
+  serializeContract(contract: TContract): JsonObject;
+}
+//#endregion
 //#region src/control/control-result-types.d.ts
 declare const VERIFY_CODE_MARKER_MISSING = "PN-RUN-3001";
 declare const VERIFY_CODE_HASH_MISMATCH = "PN-RUN-3002";
@@ -165,26 +202,19 @@ interface ControlFamilyInstance<TFamilyId extends string, TSchemaIR> extends Fam
     readonly contractPath: string;
     readonly configPath?: string;
   }): Promise<VerifyDatabaseResult>;
-  schemaVerify(options: {
-    readonly driver: ControlDriverInstance<TFamilyId, string>;
-    readonly contract: unknown;
-    readonly strict: boolean;
-    readonly contractPath: string;
-    readonly configPath?: string;
-    readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<TFamilyId, string>>;
-  }): Promise<VerifyDatabaseSchemaResult>;
   /**
    * Verify a contract against an already-introspected schema slice.
    *
-   * Difference from {@link schemaVerify}: no `driver`, no introspection
-   * — the caller hands over the schema directly. Used by the aggregate
-   * verifier to invoke the family's verification logic per member,
-   * with the schema **pre-projected** to that member's claimed slice
-   * via {@link import('@prisma-next/migration-tools/aggregate').projectSchemaToSpace}.
+   * Callers that need to verify against the live database compose
+   * {@link introspect} + `verifySchema` directly; the family
+   * interface deliberately exposes the introspection step so callers
+   * can pre-project the schema (e.g. the aggregate verifier projects
+   * each member's claimed slice via
+   * {@link import('@prisma-next/migration-tools/aggregate').projectSchemaToSpace}).
    *
    * Synchronous — no I/O. Idempotent.
    */
-  schemaVerifyAgainstSchema(options: {
+  verifySchema(options: {
     readonly contract: unknown;
     readonly schema: TSchemaIR;
     readonly strict: boolean;
@@ -245,6 +275,7 @@ interface ControlExtensionInstance<TFamilyId extends string, TTargetId extends s
 interface AssembledAuthoringContributions {
   readonly field: AuthoringFieldNamespace;
   readonly type: AuthoringTypeNamespace;
+  readonly entityTypes: AuthoringEntityTypeNamespace;
 }
 interface ControlStack<TFamilyId extends string = string, TTargetId extends string = string> {
   readonly family: ControlFamilyDescriptor<TFamilyId>;
@@ -304,7 +335,14 @@ interface ControlFamilyDescriptor<TFamilyId extends string, TFamilyInstance exte
   readonly emission: EmissionSpi;
   create<TTargetId extends string>(stack: ControlStack<TFamilyId, TTargetId>): TFamilyInstance;
 }
-interface ControlTargetDescriptor<TFamilyId extends string, TTargetId extends string, TTargetInstance extends ControlTargetInstance<TFamilyId, TTargetId> = ControlTargetInstance<TFamilyId, TTargetId>> extends TargetDescriptor<TFamilyId, TTargetId> {
+interface ControlTargetDescriptor<TFamilyId extends string, TTargetId extends string, TTargetInstance extends ControlTargetInstance<TFamilyId, TTargetId> = ControlTargetInstance<TFamilyId, TTargetId>, TContract extends Contract = Contract> extends TargetDescriptor<TFamilyId, TTargetId> {
+  /**
+   * JSON ⇄ class boundary for this target's contract. Every target
+   * ships the SPI: framework consumers reach the serializer through
+   * `descriptor.contractSerializer` rather than importing a per-target
+   * `validateContract` helper. The descriptor IS the aggregator.
+   */
+  readonly contractSerializer: ContractSerializer<TContract>;
   create(): TTargetInstance;
 }
 interface ControlAdapterDescriptor<TFamilyId extends string, TTargetId extends string, TAdapterInstance extends ControlAdapterInstance<TFamilyId, TTargetId> = ControlAdapterInstance<TFamilyId, TTargetId>> extends AdapterDescriptor<TFamilyId, TTargetId> {
@@ -355,13 +393,19 @@ interface MigrationHints {
  * The on-disk JSON shape in `migration.json` matches this type
  * field-for-field — `JSON.stringify(metadata, null, 2)` is the canonical
  * writer output (defined in `@prisma-next/migration-tools/io`).
+ *
+ * The manifest carries identity (`from`, `to`, `migrationHash`) but
+ * not the full contract IRs themselves. The destination contract for a
+ * migration lives in the sibling `end-contract.json` on disk; the
+ * predecessor's contract lives in its own directory's `end-contract.json`.
+ * The runner depends only on `migration.json` + `ops.json` per package
+ * (plus the project-root / per-space `contract.json` head). See
+ * `docs/architecture docs/subsystems/7. Migration System.md`.
  */
 interface MigrationMetadata {
   readonly migrationHash: string;
   readonly from: string | null;
   readonly to: string;
-  readonly fromContract: Contract | null;
-  readonly toContract: Contract;
   readonly hints: MigrationHints;
   readonly labels: readonly string[];
   /**
@@ -644,8 +688,8 @@ interface MigrationPlanner<TFamilyId extends string = string, TTargetId extends
      * Required at every call site to make the structural fact "I have a
      * prior contract / I don't" visible in the type. Reconciliation
      * commands (`db init`, `db update`) introspect a live schema and pass
-     * `null`; authoring commands (`migration plan`) pass the previous
-     * bundle's `metadata.toContract`.
+     * `null`; authoring commands (`migration plan`) load the previous
+     * bundle's `end-contract.json` from disk and pass the parsed value.
      */
     readonly fromContract: Contract | null;
     /**
@@ -852,19 +896,19 @@ interface OperationPreview {
  * Families can optionally project their family-specific Schema IR into this
  * core view via the `toSchemaView` method on `FamilyInstance`.
  */
-type SchemaNodeKind = 'root' | 'namespace' | 'collection' | 'entity' | 'field' | 'index' | 'dependency';
+type SchemaViewNodeKind = 'root' | 'namespace' | 'collection' | 'entity' | 'field' | 'index' | 'dependency';
 interface SchemaTreeVisitor<R> {
   visit(node: SchemaTreeNode): R;
 }
 interface SchemaTreeNodeOptions {
-  readonly kind: SchemaNodeKind;
+  readonly kind: SchemaViewNodeKind;
   readonly id: string;
   readonly label: string;
   readonly meta?: Record<string, unknown>;
   readonly children?: readonly SchemaTreeNode[];
 }
 declare class SchemaTreeNode {
-  readonly kind: SchemaNodeKind;
+  readonly kind: SchemaViewNodeKind;
   readonly id: string;
   readonly label: string;
   readonly meta?: Record<string, unknown>;
@@ -914,7 +958,7 @@ declare function hasOperationPreview<TFamilyId extends string, TSchemaIR>(instan
  * extension-contract-spaces project spec — TML-2397).
  *
  * The CLI's shared `applyAggregate` primitive uses this guard so that
- * `db init` / `db update` / `migration apply` route uniformly through one
+ * `db init` / `db update` / `migrate` route uniformly through one
  * dispatch path regardless of family.
  */
 declare function hasMultiSpaceRunner<TFamilyId extends string, TTargetId extends string>(runner: MigrationRunner<TFamilyId, TTargetId>): runner is MigrationRunner<TFamilyId, TTargetId> & MultiSpaceCapableRunner<TFamilyId, TTargetId>;
@@ -956,9 +1000,8 @@ interface ContractSpaceHeadRef {
 }
 /**
  * Canonical structural shape of a migration package — the unit a planner
- * produces and a runner consumes: a directory name, the ADR 197 metadata
- * envelope (which carries the `toContract` snapshot), and the operation
- * list.
+ * produces and a runner consumes: a directory name, the metadata
+ * envelope, and the operation list.
  *
  * In-memory by default. Readers in `@prisma-next/migration-tools`
  * (`readMigrationPackage` / `readMigrationsDir`) return the augmented
@@ -997,5 +1040,54 @@ interface ContractSpace<TContract extends Contract = Contract> {
   readonly headRef: ContractSpaceHeadRef;
 }
 //#endregion
-export { APP_SPACE_ID, type AssembledAuthoringContributions, type BaseSchemaIssue, type ContractSpace, type ContractSpaceHeadRef, type ControlAdapterDescriptor, type ControlAdapterInstance, type ControlDriverDescriptor, type ControlDriverInstance, type ControlExtensionDescriptor, type ControlExtensionInstance, type ControlFamilyDescriptor, type ControlFamilyInstance, type ControlMutationDefaultEntry, type ControlMutationDefaultRegistry, type ControlMutationDefaults, type ControlStack, type ControlTargetDescriptor, type ControlTargetInstance, type CoreSchemaView, type CreateControlStackInput, type DefaultFunctionLoweringContext, type DefaultFunctionLoweringHandler, type DefaultFunctionRegistry, type DefaultFunctionRegistryEntry, type EmitContractResult, type EnumValuesChangedIssue, type ImportRequirement, type IntrospectSchemaResult, type LoweredDefaultResult, type LoweredDefaultValue, type MigratableTargetDescriptor, type MigrationHints, type MigrationMetadata, type MigrationOperationClass, type MigrationOperationPolicy, type MigrationPackage, type MigrationPlan, type MigrationPlanOperation, type MigrationPlanWithAuthoringSurface, type MigrationPlanner, type MigrationPlannerConflict, type MigrationPlannerFailureResult, type MigrationPlannerResult, type MigrationPlannerSuccessResult, type MigrationRunner, type MigrationRunnerExecutionChecks, type MigrationRunnerFailure, type MigrationRunnerResult, type MigrationRunnerSuccessValue, type MigrationScaffoldContext, type MultiSpaceCapableRunner, type MultiSpaceRunnerFailure, type MultiSpaceRunnerPerSpaceOptions, type MultiSpaceRunnerResult, type MultiSpaceRunnerSuccessValue, type MutationDefaultGeneratorDescriptor, type OpFactoryCall, type OperationContext, type OperationPreview, type OperationPreviewCapable, type OperationPreviewStatement, type ParsedDefaultFunctionCall, type PslContractInferCapable, type SchemaIssue, type SchemaNodeKind, SchemaTreeNode, type SchemaTreeNodeOptions, type SchemaTreeVisitor, type SchemaVerificationNode, type SchemaViewCapable, type SerializedQueryPlan, type SignDatabaseResult, type SourceDiagnostic, type SourceSpan, type TargetMigrationsCapability, VERIFY_CODE_HASH_MISMATCH, VERIFY_CODE_MARKER_MISSING, VERIFY_CODE_SCHEMA_FAILURE, VERIFY_CODE_TARGET_MISMATCH, type VerifyDatabaseResult, type VerifyDatabaseSchemaResult, assembleAuthoringContributions, assembleControlMutationDefaults, assembleScalarTypeDescriptors, assertUniqueCodecOwner, createControlStack, extractCodecLookup, extractCodecTypeImports, extractComponentIds, extractQueryOperationTypeImports, hasMigrations, hasMultiSpaceRunner, hasOperationPreview, hasPslContractInfer, hasSchemaView };
+//#region src/control/schema-verifier.d.ts
+/**
+ * Framework SPI for verifying that an introspected schema matches the
+ * contract that authored it. The implementer walks the target's IR
+ * natively — concrete classes, target-only kinds — and reports issues.
+ *
+ * The framework verifier (per FR6) walks the contract-space aggregate,
+ * dispatches to the right target's verifier (`descriptor.schemaVerifier`)
+ * per space, and wraps the per-target results into a unified
+ * `VerifyDatabaseSchemaResult` with timings, summary, and per-node
+ * verification tree.
+ *
+ * Family-level abstract bases (e.g. `SqlSchemaVerifierBase`) carry the
+ * shared SQL/Mongo walk logic and expose protected hooks for target
+ * extensions; concrete target verifiers (`PostgresSchemaVerifier extends
+ * SqlSchemaVerifierBase`) own the dispatch on target-specific kinds.
+ *
+ * Target-specific issue kinds (RLS-policy-mismatch, namespace-mismatch,
+ * future function-shape-mismatch) are widened target-side; the framework
+ * `SchemaIssue` union (in `control-result-types.ts`) is intentionally not
+ * generic over target kinds in this project — see the spec's
+ * "Forward note: SchemaIssue layering" for the layering observation
+ * captured for a future project.
+ */
+interface SchemaVerifier<TContract, TSchema> {
+  verifySchema(options: SchemaVerifyOptions<TContract, TSchema>): SchemaVerifyResult;
+}
+/**
+ * Minimal per-target verifier input. Family abstract bases extend this
+ * shape with family-specific options (`strict`, `frameworkComponents`,
+ * codec hooks, …) — the framework SPI itself stays at the contract +
+ * schema pair every implementer needs.
+ */
+interface SchemaVerifyOptions<TContract, TSchema> {
+  readonly contract: TContract;
+  readonly schema: TSchema;
+}
+/**
+ * Per-target verifier result. The framework verifier wraps these into the
+ * existing `VerifyDatabaseSchemaResult` envelope (with timings, summary,
+ * per-node verification tree); the SPI itself returns just the
+ * core ok/issues pair so the seam between target-walk and
+ * framework-aggregation is explicit.
+ */
+interface SchemaVerifyResult {
+  readonly ok: boolean;
+  readonly issues: readonly SchemaIssue[];
+}
+//#endregion
+export { APP_SPACE_ID, type AssembledAuthoringContributions, type BaseSchemaIssue, type ContractSerializer, type ContractSpace, type ContractSpaceHeadRef, type ControlAdapterDescriptor, type ControlAdapterInstance, type ControlDriverDescriptor, type ControlDriverInstance, type ControlExtensionDescriptor, type ControlExtensionInstance, type ControlFamilyDescriptor, type ControlFamilyInstance, type ControlMutationDefaultEntry, type ControlMutationDefaultRegistry, type ControlMutationDefaults, type ControlStack, type ControlTargetDescriptor, type ControlTargetInstance, type CoreSchemaView, type CreateControlStackInput, type DefaultFunctionLoweringContext, type DefaultFunctionLoweringHandler, type DefaultFunctionRegistry, type DefaultFunctionRegistryEntry, type EmitContractResult, type EnumValuesChangedIssue, type ImportRequirement, type IntrospectSchemaResult, type LoweredDefaultResult, type LoweredDefaultValue, type MigratableTargetDescriptor, type MigrationHints, type MigrationMetadata, type MigrationOperationClass, type MigrationOperationPolicy, type MigrationPackage, type MigrationPlan, type MigrationPlanOperation, type MigrationPlanWithAuthoringSurface, type MigrationPlanner, type MigrationPlannerConflict, type MigrationPlannerFailureResult, type MigrationPlannerResult, type MigrationPlannerSuccessResult, type MigrationRunner, type MigrationRunnerExecutionChecks, type MigrationRunnerFailure, type MigrationRunnerResult, type MigrationRunnerSuccessValue, type MigrationScaffoldContext, type MultiSpaceCapableRunner, type MultiSpaceRunnerFailure, type MultiSpaceRunnerPerSpaceOptions, type MultiSpaceRunnerResult, type MultiSpaceRunnerSuccessValue, type MutationDefaultGeneratorDescriptor, type OpFactoryCall, type OperationContext, type OperationPreview, type OperationPreviewCapable, type OperationPreviewStatement, type ParsedDefaultFunctionCall, type PslContractInferCapable, type SchemaIssue, SchemaTreeNode, type SchemaTreeNodeOptions, type SchemaTreeVisitor, type SchemaVerificationNode, type SchemaVerifier, type SchemaVerifyOptions, type SchemaVerifyResult, type SchemaViewCapable, type SchemaViewNodeKind, type SerializedQueryPlan, type SignDatabaseResult, type SourceDiagnostic, type SourceSpan, type TargetMigrationsCapability, VERIFY_CODE_HASH_MISMATCH, VERIFY_CODE_MARKER_MISSING, VERIFY_CODE_SCHEMA_FAILURE, VERIFY_CODE_TARGET_MISMATCH, type VerifyDatabaseResult, type VerifyDatabaseSchemaResult, assembleAuthoringContributions, assembleControlMutationDefaults, assembleScalarTypeDescriptors, assertUniqueCodecOwner, createControlStack, extractCodecLookup, extractCodecTypeImports, extractComponentIds, extractQueryOperationTypeImports, hasMigrations, hasMultiSpaceRunner, hasOperationPreview, hasPslContractInfer, hasSchemaView };
 //# sourceMappingURL=control.d.mts.map

package/dist/control.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"control.d.mts","names":[],"sources":["../src/control/control-result-types.ts","../src/control/control-instances.ts","../src/control/control-stack.ts","../src/control/control-descriptors.ts","../src/control/control-migration-types.ts","../src/control/control-operation-preview.ts","../src/control/control-schema-view.ts","../src/control/control-capabilities.ts","../src/control/control-spaces.ts"],"mappings":";;;;;;;;;;;cAAa,0BAAA;AAAA,cACA,yBAAA;AAAA,cACA,2BAAA;AAAA,cACA,0BAAA;AAAA,UAEI,gBAAA;EAAA,SACN,YAAA;EAAA,SACA,UAAA;EAAA,SACA,IAAA,GAAO,QAAA,CAAS,MAAA;AAAA;AAAA,UAGV,oBAAA;EAAA,SACN,EAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,QAAA;IAAA,SACA,MAAA;EAAA;EAAA,SAEF,aAAA;EAAA,SACA,oBAAA;EAAA,SACA,IAAA;IAAA,SACE,UAAA;IAAA,SACA,YAAA;EAAA;EAAA,SAEF,OAAA;IAAA,SACE,KAAA;EAAA;AAAA;AAAA,UAII,eAAA;EAAA,SACN,IAAA;EAAA,SAqBA,KAAA;EAAA,SACA,MAAA;EAAA,SACA,iBAAA;EAAA,SACA,QAAA;EAAA,SACA,QAAA;EAAA,SACA,MAAA;EAAA,SACA,OAAA;AAAA;AAAA,UAGM,sBAAA;EAAA,SACN,IAAA;EAAA,SACA,QAAA;EAAA,SACA,WAAA;EAAA,SACA,aAAA;EAAA,SACA,OAAA;AAAA;AAAA,KAGC,WAAA,GAAc,eAAA,GAAkB,sBAAA;AAAA,UAE3B,sBAAA;EAAA,SACN,MAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA;EAAA,SACA,YAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;EAAA,SACA,MAAA;EAAA,SACA,QAAA,WAAmB,sBAAA;AAAA;AAAA,UAGb,0BAAA;EAAA,SACN,EAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,QAAA;IAAA,SACA,MAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,MAAA,WAAiB,WAAA;IAAA,SACjB,IAAA,EAAM,sBAAA;IAAA,SACN,MAAA;MAAA,SACE,IAAA;MAAA,SACA,IAAA;MAAA,SACA,IAAA;MAAA,SACA,UAAA;IAAA;EAAA;EAAA,SAGJ,IAAA;IAAA,SACE,UAAA;IAAA,SACA,YAAA;IAAA,SACA,MAAA;EAAA;EAAA,SAEF,OAAA;IAAA,SACE,KAAA;EAAA;AAAA;AAAA,UAII,kBAAA;EAAA,SACN,YAAA;EAAA,SACA,WAAA;EAAA,SACA,WAAA;EAAA,SACA,aAAA;EAAA,SACA,WAAA;AAAA;AAAA,UAGM,sBAAA;EAAA,SACN,EAAA;EAAA,SACA,OAAA;EAAA,SACA,MAAA;IAAA,SACE,QAAA;IAAA,SACA,EAAA;EAAA;EAAA,SAEF,MAAA,EAAQ,SAAA;EAAA,SACR,IAAA;IAAA,SACE,UAAA;IAAA,SACA,KAAA;EAAA;EAAA,SAEF,OAAA;IAAA,SACE,KAAA;EAAA;AAAA;AAAA,UAII,kBAAA;EAAA,SACN,EAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,QAAA;IAAA,SACA,MAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,OAAA;IAAA,SACA,OAAA;IAAA,SACA,QAAA;MAAA,SACE,WAAA;MAAA,SACA,WAAA;IAAA;EAAA;EAAA,SAGJ,IAAA;IAAA,SACE,UAAA;IAAA,SACA,YAAA;EAAA;EAAA,SAEF,OAAA;IAAA,SACE,KAAA;EAAA;AAAA;;;UC7JI,qBAAA,8CACP,cAAA,CAAe,SAAA;EACvB,gBAAA,CAAiB,YAAA,YAAwB,QAAA;EAEzC,MAAA,CAAO,OAAA;IAAA,SACI,MAAA,EAAQ,qBAAA,CAAsB,SAAA;IAAA,SAC9B,QAAA;IAAA,SACA,gBAAA;IAAA,SACA,YAAA;IAAA,SACA,UAAA;EAAA,IACP,OAAA,CAAQ,oBAAA;EAEZ,YAAA,CAAa,OAAA;IAAA,SACF,MAAA,EAAQ,qBAAA,CAAsB,SAAA;IAAA,SAC9B,QAAA;IAAA,SACA,MAAA;IAAA,SACA,YAAA;IAAA,SACA,UAAA;IAAA,SACA,mBAAA,EAAqB,aAAA,CAAc,8BAAA,CAA+B,SAAA;EAAA,IACzE,OAAA,CAAQ,0BAAA;EDjCwB;AACtC;;;;;AACA;;;;;EC4CE,yBAAA,CAA0B,OAAA;IAAA,SACf,QAAA;IAAA,SACA,MAAA,EAAQ,SAAA;IAAA,SACR,MAAA;IAAA,SACA,mBAAA,EAAqB,aAAA,CAAc,8BAAA,CAA+B,SAAA;EAAA,IACzE,0BAAA;EAEJ,IAAA,CAAK,OAAA;IAAA,SACM,MAAA,EAAQ,qBAAA,CAAsB,SAAA;IAAA,SAC9B,QAAA;IAAA,SACA,YAAA;IAAA,SACA,UAAA;EAAA,IACP,OAAA,CAAQ,kBAAA;EDhDuB;;;;;;;;;;;;;;;;;;ECoEnC,UAAA,CAAW,OAAA;IAAA,SACA,MAAA,EAAQ,qBAAA,CAAsB,SAAA;IAAA,SAC9B,KAAA;EAAA,IACP,OAAA,CAAQ,oBAAA;EDhDI;;AAIlB;;;ECmDE,cAAA,CAAe,OAAA;IAAA,SACJ,MAAA,EAAQ,qBAAA,CAAsB,SAAA;EAAA,IACrC,OAAA,CAAQ,WAAA,SAAoB,oBAAA;EAEhC,UAAA,CAAW,OAAA;IAAA,SACA,MAAA,EAAQ,qBAAA,CAAsB,SAAA;IAAA,SAC9B,QAAA;EAAA,IACP,OAAA,CAAQ,SAAA;AAAA;AAAA,UAGG,qBAAA,6DACP,cAAA,CAAe,SAAA,EAAW,SAAA;AAAA,UAEnB,sBAAA,6DACP,eAAA,CAAgB,SAAA,EAAW,SAAA;AAAA,UAEpB,qBAAA,6DACP,cAAA,CAAe,SAAA,EAAW,SAAA;EAClC,KAAA,OAAY,MAAA,mBACV,GAAA,UACA,MAAA,wBACC,OAAA;IAAA,SAAmB,IAAA,EAAM,GAAA;EAAA;EAC5B,KAAA,IAAS,OAAA;AAAA;AAAA,UAGM,wBAAA,6DACP,iBAAA,CAAkB,SAAA,EAAW,SAAA;;;UCvFtB,+BAAA;EAAA,SACN,KAAA,EAAO,uBAAA;EAAA,SACP,IAAA,EAAM,sBAAA;AAAA;AAAA,UAGA,YAAA;EAAA,SAIN,MAAA,EAAQ,uBAAA,CAAwB,SAAA;EAAA,SAChC,MAAA,EAAQ,uBAAA,CAAwB,SAAA,EAAW,SAAA;EAAA,SAC3C,OAAA,GAAU,wBAAA,CAAyB,SAAA,EAAW,SAAA;EAAA,SAC9C,MAAA,GAAS,uBAAA,CAAwB,SAAA,EAAW,SAAA;EAAA,SAC5C,cAAA,WAAyB,0BAAA,CAA2B,SAAA,EAAW,SAAA;EAAA,SAE/D,gBAAA,EAAkB,aAAA,CAAc,eAAA;EAAA,SAChC,yBAAA,EAA2B,aAAA,CAAc,eAAA;EAAA,SACzC,YAAA,EAAc,aAAA;EAAA,SACd,WAAA,EAAa,WAAA;EAAA,SACb,sBAAA,EAAwB,+BAAA;EAAA,SACxB,qBAAA,EAAuB,WAAA;EAAA,SACvB,uBAAA,EAAyB,uBAAA;AAAA;AAAA,UAGnB,uBAAA;EAAA,SAIN,MAAA,EAAQ,uBAAA,CAAwB,SAAA;EAAA,SAChC,MAAA,EAAQ,uBAAA,CAAwB,SAAA,EAAW,SAAA;EAAA,SAC3C,OAAA,GAAU,wBAAA,CAAyB,SAAA,EAAW,SAAA;EAAA,SAC9C,MAAA,GAAS,uBAAA,CAAwB,SAAA,EAAW,SAAA;EAAA,SAC5C,cAAA,GACL,aAAA,CAAc,0BAAA,CAA2B,SAAA,EAAW,SAAA;AAAA;AAAA,iBAW1C,sBAAA,CAAuB,OAAA;EAAA,SAC5B,OAAA;EAAA,SACA,MAAA,EAAQ,GAAA;EAAA,SACR,YAAA;EAAA,SACA,WAAA;EAAA,SACA,oBAAA;AAAA;AAAA,iBAYK,uBAAA,CACd,WAAA,EAAa,aAAA,CAAc,IAAA,CAAK,iBAAA,cAC/B,aAAA,CAAc,eAAA;AAAA,iBAgBD,gCAAA,CACd,WAAA,EAAa,aAAA,CAAc,IAAA,CAAK,iBAAA,cAC/B,aAAA,CAAc,eAAA;AAAA,iBAaD,mBAAA,CACd,MAAA;EAAA,SAAmB,EAAA;AAAA,GACnB,MAAA;EAAA,SAAmB,EAAA;AAAA,GACnB,OAAA;EAAA,SAAoB,EAAA;AAAA,eACpB,UAAA,EAAY,aAAA;EAAA,SAAyB,EAAA;AAAA,KACpC,aAAA;AAAA,iBAiBa,8BAAA,CACd,WAAA,EAAa,aAAA;EAAA,SAAyB,SAAA,GAAY,sBAAA;AAAA,KACjD,+BAAA;AAAA,iBAoCa,6BAAA,CACd,WAAA,EAAa,aAAA,CACX,IAAA,CAAK,iBAAA;EAAA,SAAyD,EAAA;AAAA,KAE/D,WAAA;AAAA,iBAwBa,+BAAA,CACd,WAAA,EAAa,aAAA,CACX,IAAA,CAAK,iBAAA;EAAA,SAA2D,EAAA;AAAA,KAEjE,uBAAA;AAAA,iBA0Ca,kBAAA,CACd,WAAA,EAAa,aAAA,CAAc,IAAA,CAAK,iBAAA;EAAsB,EAAA;AAAA,sBACrD,WAAA;AAAA,iBA2Ea,kBAAA,oDAAA,CACd,KAAA,EAAO,uBAAA,CAAwB,SAAA,EAAW,SAAA,IACzC,YAAA,CAAa,SAAA,EAAW,SAAA;;;UC9TV,uBAAA,mDAES,qBAAA,CAAsB,SAAA,aAAsB,qBAAA,CAClE,SAAA,oBAGM,gBAAA,CAAiB,SAAA;EAAA,SAChB,QAAA,EAAU,WAAA;EACnB,MAAA,2BAAiC,KAAA,EAAO,YAAA,CAAa,SAAA,EAAW,SAAA,IAAa,eAAA;AAAA;AAAA,UAG9D,uBAAA,6EAGS,qBAAA,CAAsB,SAAA,EAAW,SAAA,IAAa,qBAAA,CACpE,SAAA,EACA,SAAA,WAEM,gBAAA,CAAiB,SAAA,EAAW,SAAA;EACpC,MAAA,IAAU,eAAA;AAAA;AAAA,UAGK,wBAAA,8EAGU,sBAAA,CAAuB,SAAA,EAAW,SAAA,IAAa,sBAAA,CACtE,SAAA,EACA,SAAA,WAEM,iBAAA,CAAkB,SAAA,EAAW,SAAA;EH9CA;;;;AACvC;;;EGqDE,MAAA,CAAO,KAAA,EAAO,YAAA,CAAa,SAAA,EAAW,SAAA,IAAa,gBAAA;AAAA;AAAA,UAGpC,uBAAA,6EAGS,qBAAA,CAAsB,SAAA,EAAW,SAAA,IAAa,qBAAA,CACpE,SAAA,EACA,SAAA,iCAGM,gBAAA,CAAiB,SAAA,EAAW,SAAA;EACpC,MAAA,CAAO,UAAA,EAAY,WAAA,GAAc,OAAA,CAAQ,eAAA;AAAA;AAAA,UAG1B,0BAAA,gFAGY,wBAAA,CACzB,SAAA,EACA,SAAA,IACE,wBAAA,CAAyB,SAAA,EAAW,SAAA,WAChC,mBAAA,CAAoB,SAAA,EAAW,SAAA;EACvC,MAAA,IAAU,kBAAA;AAAA;;;;AH5EZ;;;;;AACA;;;UI4BiB,cAAA;EAAA,SACN,IAAA;EAAA,SACA,OAAA;EAAA,SACA,cAAA;AAAA;;;AJ5BX;;;;;;;;;;;AAMA;;;;UI0CiB,iBAAA;EAAA,SACN,aAAA;EAAA,SACA,IAAA;EAAA,SACA,EAAA;EAAA,SACA,YAAA,EAAc,QAAA;EAAA,SACd,UAAA,EAAY,QAAA;EAAA,SACZ,KAAA,EAAO,cAAA;EAAA,SACP,MAAA;EJvCE;;;;;EAAA,SI6CF,kBAAA;EAAA,SACA,SAAA;AAAA;;;;;;AJ7BX;;KI2CY,uBAAA;;;;;;;;;;UAeK,mBAAA;EAAA,SACN,GAAA;EAAA,SACA,MAAA;AAAA;;;;UAMM,wBAAA;EAAA,SACN,uBAAA,WAAkC,uBAAA;AAAA;;;;AJ5B7C;UIuCiB,sBAAA;;WAEN,EAAA;EJzCuD;EAAA,SI2CvD,KAAA;EJzC4B;EAAA,SI2C5B,cAAA,EAAgB,uBAAA;EJlCyB;;;;;;;;;;EAAA,SI6CzC,WAAA;AAAA;;AJ1CX;;;;;;;;;;;;;;;;;;;;;;;;;;;;UI8EiB,aAAA;EJlDC;EAAA,SIoDP,WAAA;EJhDM;EAAA,SIkDN,cAAA,EAAgB,uBAAA;;WAEhB,KAAA;EJnDA;;;;;;EI0DT,gBAAA;EJnDe;;;;;EIyDf,kBAAA,aAA+B,mBAAA;EJvDtB;;;;;;EI8DT,IAAA,IAAQ,sBAAA;AAAA;;;;;UAWO,aAAA;EJ1DA;EAAA,SI4DN,QAAA;;;;;;;;;;WAUA,OAAA;EJ3DA;;;;EAAA,SIgEA,MAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EJxDA;EAAA,SI2DF,WAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;;WAGF,UAAA,WAAqB,sBAAA;;AH1NhC;;;;;;;;;WGqOW,kBAAA;AAAA;;;;;;;;;;;;UAcM,iCAAA,SAA0C,aAAA;EHvM7C;;;;;EG6MZ,gBAAA;AAAA;;;;UAUe,wBAAA;EHpL0B;EAAA,SGsLhC,IAAA;EHpLG;EAAA,SGsLH,OAAA;EHtQD;EAAA,SGwQC,GAAA;AAAA;;;;;;;UASM,6BAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA,EAAM,iCAAA;AAAA;;;;UAMA,6BAAA;EAAA,SACN,IAAA;EAAA,SACA,SAAA,WAAoB,wBAAA;AAAA;;;;KAMnB,sBAAA,GAAyB,6BAAA,GAAgC,6BAAA;;;;UASpD,2BAAA;EAAA,SACN,iBAAA;EAAA,SACA,kBAAA;AAAA;;;;UAMM,sBAAA;EHhSH;EAAA,SGkSH,IAAA;EHpRE;EAAA,SGsRF,OAAA;EHrRU;EAAA,SGuRV,GAAA;EHrRE;EAAA,SGuRF,IAAA,GAAO,MAAA;AAAA;;;;KAMN,qBAAA,GAAwB,MAAA,CAAO,2BAAA,EAA6B,sBAAA;;;;;UAUvD,8BAAA;EHhSJ;;;;EAAA,SGqSF,SAAA;EH/QE;;;;EAAA,SGoRF,UAAA;EHlRL;;;;EAAA,SGuRK,iBAAA;AAAA;;;;;;;;UAcM,gBAAA;EAIf,IAAA,CAAK,OAAA;IAAA,SACM,QAAA;IAAA,SACA,MAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;IH9RE;;AAGvB;;;;;;;;;;;;;;IAHuB,SG+SV,YAAA,EAAc,QAAA;IHzSV;;;;;IAAA,SG+SJ,mBAAA,EAAqB,aAAA,CAC5B,8BAAA,CAA+B,SAAA,EAAW,SAAA;IH/SvB;;;;;;IAAA,SGuTZ,OAAA;EAAA,IACP,sBAAA;EHxTwC;AAE9C;;;;;;;;;;EGmUE,cAAA,CACE,OAAA,EAAS,wBAAA,EACT,OAAA,WACC,iCAAA;AAAA;;;;;;;;UAUY,eAAA;EH7Ub;;;;;;;;;AAMJ;EGqVE,OAAA,CAAQ,OAAA;IAAA,SACG,IAAA,EAAM,aAAA;IAAA,SACN,MAAA,EAAQ,qBAAA,CAAsB,SAAA,EAAW,SAAA;IAAA,SACzC,mBAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;IAAA,SACR,SAAA;MACP,gBAAA,EAAkB,EAAA,EAAI,sBAAA;MACtB,mBAAA,EAAqB,EAAA,EAAI,sBAAA;IAAA;IH3VrB;;;;IAAA,SGiWG,eAAA,GAAkB,8BAAA;;;;AFxb/B;;aE8ba,mBAAA,EAAqB,aAAA,CAC5B,8BAAA,CAA+B,SAAA,EAAW,SAAA;EAAA,IAE1C,OAAA,CAAQ,qBAAA;AAAA;;;;;;AF5bd;;;;;;;;;UEidiB,+BAAA;EAAA,SAIN,KAAA;EAAA,SACA,IAAA,EAAM,aAAA;EAAA,SACN,MAAA,EAAQ,qBAAA,CAAsB,SAAA,EAAW,SAAA;EAAA,SACzC,mBAAA;EAAA,SACA,MAAA,EAAQ,wBAAA;EAAA,SACR,eAAA,GAAkB,8BAAA;EAAA,SAClB,mBAAA,EAAqB,aAAA,CAAc,8BAAA,CAA+B,SAAA,EAAW,SAAA;AAAA;AAAA,UAGvE,4BAAA;EAAA,SACN,eAAA,EAAiB,aAAA;IAAA,SACf,KAAA;IAAA,SACA,KAAA,EAAO,2BAAA;EAAA;AAAA;AAAA,UAIH,uBAAA,SAAgC,sBAAA;EFrdb;EAAA,SEudzB,YAAA;AAAA;AAAA,KAGC,sBAAA,GAAyB,MAAA,CAAO,4BAAA,EAA8B,uBAAA;;;;;;;;;;;;;;;;UAiBzD,uBAAA;EAIf,mBAAA,CAAoB,OAAA;IAAA,SACT,MAAA,EAAQ,qBAAA,CAAsB,SAAA,EAAW,SAAA;IAAA,SACzC,eAAA,EAAiB,aAAA,CAAc,+BAAA,CAAgC,SAAA,EAAW,SAAA;EAAA,IACjF,OAAA,CAAQ,sBAAA;AAAA;;;;;;;;;UAeG,0BAAA,+FAGS,qBAAA,CAAsB,SAAA,aAAsB,qBAAA,CAClE,SAAA;EAIF,aAAA,CAAc,MAAA,EAAQ,eAAA,GAAkB,gBAAA,CAAiB,SAAA,EAAW,SAAA;EACpE,YAAA,CAAa,MAAA,EAAQ,eAAA,GAAkB,eAAA,CAAgB,SAAA,EAAW,SAAA;EF3gBzD;;;;;;AAIX;;;EEihBE,gBAAA,CACE,QAAA,EAAU,QAAA,SACV,mBAAA,GAAsB,aAAA,CAAc,8BAAA,CAA+B,SAAA,EAAW,SAAA;AAAA;;;;;;;;UAejE,wBAAA;EF3hBG;EAAA,SE6hBT,UAAA;EF3hB+C;EAAA,SE6hB/C,gBAAA;EF7hBL;;;;;;EAAA,SEoiBK,QAAA;EFziBgC;;;;;EAAA,SE+iBhC,MAAA;AAAA;;;;;;;;;;;;;;AJvmBX;;UKciB,yBAAA;EAAA,SACN,IAAA;ELf4B;EAAA,SKiB5B,QAAA;AAAA;AAAA,UAGM,gBAAA;EAAA,SACN,UAAA,WAAqB,yBAAA;AAAA;;;;;;;;;;;;KCXpB,cAAA;AAAA,UASK,iBAAA;EACf,KAAA,CAAM,IAAA,EAAM,cAAA,GAAiB,CAAA;AAAA;AAAA,UAGd,qBAAA;EAAA,SACN,IAAA,EAAM,cAAA;EAAA,SACN,EAAA;EAAA,SACA,KAAA;EAAA,SACA,IAAA,GAAO,MAAA;EAAA,SACP,QAAA,YAAoB,cAAA;AAAA;AAAA,cAGlB,cAAA;EAAA,SACF,IAAA,EAAM,cAAA;EAAA,SACN,EAAA;EAAA,SACA,KAAA;EAAA,SACA,IAAA,GAAO,MAAA;EAAA,SACP,QAAA,YAAoB,cAAA;cAEjB,OAAA,EAAS,qBAAA;EASrB,MAAA,GAAA,CAAU,OAAA,EAAS,iBAAA,CAAkB,CAAA,IAAK,CAAA;AAAA;;;AN1C5C;;UMmDiB,cAAA;EAAA,SACN,IAAA,EAAM,cAAA;AAAA;;;UC7CA,0BAAA,6EAGS,qBAAA,CAAsB,SAAA,aAAsB,qBAAA,CAClE,SAAA,oBAGM,uBAAA,CAAwB,SAAA,EAAW,SAAA;EAAA,SAClC,UAAA,EAAY,0BAAA,CAA2B,SAAA,EAAW,SAAA,EAAW,eAAA;AAAA;AAAA,iBAGxD,aAAA,oDAAA,CACd,MAAA,EAAQ,uBAAA,CAAwB,SAAA,EAAW,SAAA,IAC1C,MAAA,IAAU,0BAAA,CAA2B,SAAA,EAAW,SAAA;AAAA,UAIlC,iBAAA;EACf,YAAA,CAAa,MAAA,EAAQ,SAAA,GAAY,cAAA;AAAA;AAAA,iBAGnB,aAAA,qCAAA,CACd,QAAA,EAAU,qBAAA,CAAsB,SAAA,EAAW,SAAA,IAC1C,QAAA,IAAY,qBAAA,CAAsB,SAAA,EAAW,SAAA,IAAa,iBAAA,CAAkB,SAAA;;;APlC/E;;UO6CiB,uBAAA;EACf,gBAAA,CAAiB,QAAA,EAAU,SAAA,GAAY,cAAA;AAAA;AAAA,iBAGzB,mBAAA,qCAAA,CACd,QAAA,EAAU,qBAAA,CAAsB,SAAA,EAAW,SAAA,IAC1C,QAAA,IAAY,qBAAA,CAAsB,SAAA,EAAW,SAAA,IAAa,uBAAA,CAAwB,SAAA;;;;;APjDrF;UO6DiB,uBAAA;EACf,kBAAA,CAAmB,UAAA,WAAqB,sBAAA,KAA2B,gBAAA;AAAA;AAAA,iBAGrD,mBAAA,qCAAA,CACd,QAAA,EAAU,qBAAA,CAAsB,SAAA,EAAW,SAAA,IAC1C,QAAA,IAAY,qBAAA,CAAsB,SAAA,EAAW,SAAA,IAAa,uBAAA;APjE7D;;;;;;;;;;;AAAA,iBOmFgB,mBAAA,oDAAA,CACd,MAAA,EAAQ,eAAA,CAAgB,SAAA,EAAW,SAAA,IAClC,MAAA,IAAU,eAAA,CAAgB,SAAA,EAAW,SAAA,IAAa,uBAAA,CAAwB,SAAA,EAAW,SAAA;;;;;;;;;;;;AP1FxF;;;;;AACA;;;;;cQqBa,YAAA;;;;;ARnBb;;;;;AAEA;UQ6BiB,oBAAA;EAAA,SACN,IAAA;EAAA,SACA,UAAA;AAAA;;;;;;;ARzBX;;;;;;;;;UQ2CiB,gBAAA;EAAA,SACN,OAAA;EAAA,SACA,QAAA,EAAU,iBAAA;EAAA,SACV,GAAA,WAAc,sBAAA;AAAA;;;;;;;;;;;;ARnBzB;;;;;;UQuCiB,aAAA,mBAAgC,QAAA,GAAW,QAAA;EAAA,SACjD,YAAA,EAAc,SAAA;EAAA,SACd,UAAA,WAAqB,gBAAA;EAAA,SACrB,OAAA,EAAS,oBAAA;AAAA"}
+{"version":3,"file":"control.d.mts","names":[],"sources":["../src/control/contract-serializer.ts","../src/control/control-result-types.ts","../src/control/control-instances.ts","../src/control/control-stack.ts","../src/control/control-descriptors.ts","../src/control/control-migration-types.ts","../src/control/control-operation-preview.ts","../src/control/control-schema-view.ts","../src/control/control-capabilities.ts","../src/control/control-spaces.ts","../src/control/schema-verifier.ts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;AAkBA;;;;;UAAiB,kBAAA;EAiBmC;;;;;EAXlD,mBAAA,CAAoB,IAAA,YAAgB,SAAA;EAWpC;;;;;;;;;EAAA,iBAAA,CAAkB,QAAA,EAAU,SAAA,GAAY,UAAA;AAAA;;;cCnC7B,0BAAA;AAAA,cACA,yBAAA;AAAA,cACA,2BAAA;AAAA,cACA,0BAAA;AAAA,UAEI,gBAAA;EAAA,SACN,YAAA;EAAA,SACA,UAAA;EAAA,SACA,IAAA,GAAO,QAAA,CAAS,MAAA;AAAA;AAAA,UAGV,oBAAA;EAAA,SACN,EAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,QAAA;IAAA,SACA,MAAA;EAAA;EAAA,SAEF,aAAA;EAAA,SACA,oBAAA;EAAA,SACA,IAAA;IAAA,SACE,UAAA;IAAA,SACA,YAAA;EAAA;EAAA,SAEF,OAAA;IAAA,SACE,KAAA;EAAA;AAAA;AAAA,UAII,eAAA;EAAA,SACN,IAAA;EAAA,SAqBA,KAAA;EAAA,SACA,MAAA;EAAA,SACA,iBAAA;EAAA,SACA,QAAA;EAAA,SACA,QAAA;EAAA,SACA,MAAA;EAAA,SACA,OAAA;AAAA;AAAA,UAGM,sBAAA;EAAA,SACN,IAAA;EAAA,SACA,QAAA;EAAA,SACA,WAAA;EAAA,SACA,aAAA;EAAA,SACA,OAAA;AAAA;AAAA,KAGC,WAAA,GAAc,eAAA,GAAkB,sBAAA;AAAA,UAE3B,sBAAA;EAAA,SACN,MAAA;EAAA,SACA,IAAA;EAAA,SACA,IAAA;EAAA,SACA,YAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;EAAA,SACA,MAAA;EAAA,SACA,QAAA,WAAmB,sBAAA;AAAA;AAAA,UAGb,0BAAA;EAAA,SACN,EAAA;EAAA,SACA,IAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,QAAA;IAAA,SACA,MAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,MAAA,WAAiB,WAAA;IAAA,SACjB,IAAA,EAAM,sBAAA;IAAA,SACN,MAAA;MAAA,SACE,IAAA;MAAA,SACA,IAAA;MAAA,SACA,IAAA;MAAA,SACA,UAAA;IAAA;EAAA;EAAA,SAGJ,IAAA;IAAA,SACE,UAAA;IAAA,SACA,YAAA;IAAA,SACA,MAAA;EAAA;EAAA,SAEF,OAAA;IAAA,SACE,KAAA;EAAA;AAAA;AAAA,UAII,kBAAA;EAAA,SACN,YAAA;EAAA,SACA,WAAA;EAAA,SACA,WAAA;EAAA,SACA,aAAA;EAAA,SACA,WAAA;AAAA;AAAA,UAGM,sBAAA;EAAA,SACN,EAAA;EAAA,SACA,OAAA;EAAA,SACA,MAAA;IAAA,SACE,QAAA;IAAA,SACA,EAAA;EAAA;EAAA,SAEF,MAAA,EAAQ,SAAA;EAAA,SACR,IAAA;IAAA,SACE,UAAA;IAAA,SACA,KAAA;EAAA;EAAA,SAEF,OAAA;IAAA,SACE,KAAA;EAAA;AAAA;AAAA,UAII,kBAAA;EAAA,SACN,EAAA;EAAA,SACA,OAAA;EAAA,SACA,QAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,QAAA;IAAA,SACA,MAAA;EAAA;EAAA,SAEF,MAAA;IAAA,SACE,OAAA;IAAA,SACA,OAAA;IAAA,SACA,QAAA;MAAA,SACE,WAAA;MAAA,SACA,WAAA;IAAA;EAAA;EAAA,SAGJ,IAAA;IAAA,SACE,UAAA;IAAA,SACA,YAAA;EAAA;EAAA,SAEF,OAAA;IAAA,SACE,KAAA;EAAA;AAAA;;;UC7JI,qBAAA,8CACP,cAAA,CAAe,SAAA;EACvB,gBAAA,CAAiB,YAAA,YAAwB,QAAA;EAEzC,MAAA,CAAO,OAAA;IAAA,SACI,MAAA,EAAQ,qBAAA,CAAsB,SAAA;IAAA,SAC9B,QAAA;IAAA,SACA,gBAAA;IAAA,SACA,YAAA;IAAA,SACA,UAAA;EAAA,IACP,OAAA,CAAQ,oBAAA;EFPG;;;;;;;;;;;;EEqBf,YAAA,CAAa,OAAA;IAAA,SACF,QAAA;IAAA,SACA,MAAA,EAAQ,SAAA;IAAA,SACR,MAAA;IAAA,SACA,mBAAA,EAAqB,aAAA,CAAc,8BAAA,CAA+B,SAAA;EAAA,IACzE,0BAAA;EAEJ,IAAA,CAAK,OAAA;IAAA,SACM,MAAA,EAAQ,qBAAA,CAAsB,SAAA;IAAA,SAC9B,QAAA;IAAA,SACA,YAAA;IAAA,SACA,UAAA;EAAA,IACP,OAAA,CAAQ,kBAAA;EDnDyB;;AACvC;;;;;AACA;;;;;AACA;;;;;AAEA;ECkEE,UAAA,CAAW,OAAA;IAAA,SACA,MAAA,EAAQ,qBAAA,CAAsB,SAAA;IAAA,SAC9B,KAAA;EAAA,IACP,OAAA,CAAQ,oBAAA;EDnEH;;;;;EC0ET,cAAA,CAAe,OAAA;IAAA,SACJ,MAAA,EAAQ,qBAAA,CAAsB,SAAA;EAAA,IACrC,OAAA,CAAQ,WAAA,SAAoB,oBAAA;EAEhC,UAAA,CAAW,OAAA;IAAA,SACA,MAAA,EAAQ,qBAAA,CAAsB,SAAA;IAAA,SAC9B,QAAA;EAAA,IACP,OAAA,CAAQ,SAAA;AAAA;AAAA,UAGG,qBAAA,6DACP,cAAA,CAAe,SAAA,EAAW,SAAA;AAAA,UAEnB,sBAAA,6DACP,eAAA,CAAgB,SAAA,EAAW,SAAA;AAAA,UAEpB,qBAAA,6DACP,cAAA,CAAe,SAAA,EAAW,SAAA;EAClC,KAAA,OAAY,MAAA,mBACV,GAAA,UACA,MAAA,wBACC,OAAA;IAAA,SAAmB,IAAA,EAAM,GAAA;EAAA;EAC5B,KAAA,IAAS,OAAA;AAAA;AAAA,UAGM,wBAAA,6DACP,iBAAA,CAAkB,SAAA,EAAW,SAAA;;;UC7EtB,+BAAA;EAAA,SACN,KAAA,EAAO,uBAAA;EAAA,SACP,IAAA,EAAM,sBAAA;EAAA,SACN,WAAA,EAAa,4BAAA;AAAA;AAAA,UAGP,YAAA;EAAA,SAIN,MAAA,EAAQ,uBAAA,CAAwB,SAAA;EAAA,SAChC,MAAA,EAAQ,uBAAA,CAAwB,SAAA,EAAW,SAAA;EAAA,SAC3C,OAAA,GAAU,wBAAA,CAAyB,SAAA,EAAW,SAAA;EAAA,SAC9C,MAAA,GAAS,uBAAA,CAAwB,SAAA,EAAW,SAAA;EAAA,SAC5C,cAAA,WAAyB,0BAAA,CAA2B,SAAA,EAAW,SAAA;EAAA,SAE/D,gBAAA,EAAkB,aAAA,CAAc,eAAA;EAAA,SAChC,yBAAA,EAA2B,aAAA,CAAc,eAAA;EAAA,SACzC,YAAA,EAAc,aAAA;EAAA,SACd,WAAA,EAAa,WAAA;EAAA,SACb,sBAAA,EAAwB,+BAAA;EAAA,SACxB,qBAAA,EAAuB,WAAA;EAAA,SACvB,uBAAA,EAAyB,uBAAA;AAAA;AAAA,UAGnB,uBAAA;EAAA,SAIN,MAAA,EAAQ,uBAAA,CAAwB,SAAA;EAAA,SAChC,MAAA,EAAQ,uBAAA,CAAwB,SAAA,EAAW,SAAA;EAAA,SAC3C,OAAA,GAAU,wBAAA,CAAyB,SAAA,EAAW,SAAA;EAAA,SAC9C,MAAA,GAAS,uBAAA,CAAwB,SAAA,EAAW,SAAA;EAAA,SAC5C,cAAA,GACL,aAAA,CAAc,0BAAA,CAA2B,SAAA,EAAW,SAAA;AAAA;AAAA,iBAW1C,sBAAA,CAAuB,OAAA;EAAA,SAC5B,OAAA;EAAA,SACA,MAAA,EAAQ,GAAA;EAAA,SACR,YAAA;EAAA,SACA,WAAA;EAAA,SACA,oBAAA;AAAA;AAAA,iBAYK,uBAAA,CACd,WAAA,EAAa,aAAA,CAAc,IAAA,CAAK,iBAAA,cAC/B,aAAA,CAAc,eAAA;AAAA,iBAgBD,gCAAA,CACd,WAAA,EAAa,aAAA,CAAc,IAAA,CAAK,iBAAA,cAC/B,aAAA,CAAc,eAAA;AAAA,iBAaD,mBAAA,CACd,MAAA;EAAA,SAAmB,EAAA;AAAA,GACnB,MAAA;EAAA,SAAmB,EAAA;AAAA,GACnB,OAAA;EAAA,SAAoB,EAAA;AAAA,eACpB,UAAA,EAAY,aAAA;EAAA,SAAyB,EAAA;AAAA,KACpC,aAAA;AAAA,iBAiBa,8BAAA,CACd,WAAA,EAAa,aAAA;EAAA,SAAyB,SAAA,GAAY,sBAAA;AAAA,KACjD,+BAAA;AAAA,iBA+Ca,6BAAA,CACd,WAAA,EAAa,aAAA,CACX,IAAA,CAAK,iBAAA;EAAA,SAAyD,EAAA;AAAA,KAE/D,WAAA;AAAA,iBAwBa,+BAAA,CACd,WAAA,EAAa,aAAA,CACX,IAAA,CAAK,iBAAA;EAAA,SAA2D,EAAA;AAAA,KAEjE,uBAAA;AAAA,iBA0Ca,kBAAA,CACd,WAAA,EAAa,aAAA,CAAc,IAAA,CAAK,iBAAA;EAAsB,EAAA;AAAA,sBACrD,WAAA;AAAA,iBA2Ea,kBAAA,oDAAA,CACd,KAAA,EAAO,uBAAA,CAAwB,SAAA,EAAW,SAAA,IACzC,YAAA,CAAa,SAAA,EAAW,SAAA;;;UC1UV,uBAAA,mDAES,qBAAA,CAAsB,SAAA,aAAsB,qBAAA,CAClE,SAAA,oBAGM,gBAAA,CAAiB,SAAA;EAAA,SAChB,QAAA,EAAU,WAAA;EACnB,MAAA,2BAAiC,KAAA,EAAO,YAAA,CAAa,SAAA,EAAW,SAAA,IAAa,eAAA;AAAA;AAAA,UAG9D,uBAAA,6EAGS,qBAAA,CAAsB,SAAA,EAAW,SAAA,IAAa,qBAAA,CACpE,SAAA,EACA,SAAA,qBAEgB,QAAA,GAAW,QAAA,UACrB,gBAAA,CAAiB,SAAA,EAAW,SAAA;;AJpBtC;;;;;WI2BW,kBAAA,EAAoB,kBAAA,CAAmB,SAAA;EAChD,MAAA,IAAU,eAAA;AAAA;AAAA,UAGK,wBAAA,8EAGU,sBAAA,CAAuB,SAAA,EAAW,SAAA,IAAa,sBAAA,CACtE,SAAA,EACA,SAAA,WAEM,iBAAA,CAAkB,SAAA,EAAW,SAAA;EJhCrC;;;;;;;EIwCA,MAAA,CAAO,KAAA,EAAO,YAAA,CAAa,SAAA,EAAW,SAAA,IAAa,gBAAA;AAAA;AAAA,UAGpC,uBAAA,6EAGS,qBAAA,CAAsB,SAAA,EAAW,SAAA,IAAa,qBAAA,CACpE,SAAA,EACA,SAAA,iCAGM,gBAAA,CAAiB,SAAA,EAAW,SAAA;EACpC,MAAA,CAAO,UAAA,EAAY,WAAA,GAAc,OAAA,CAAQ,eAAA;AAAA;AAAA,UAG1B,0BAAA,gFAGY,wBAAA,CACzB,SAAA,EACA,SAAA,IACE,wBAAA,CAAyB,SAAA,EAAW,SAAA,WAChC,mBAAA,CAAoB,SAAA,EAAW,SAAA;EACvC,MAAA,IAAU,kBAAA;AAAA;;;;;;;;;;;;UCzDK,cAAA;EAAA,SACN,IAAA;EAAA,SACA,OAAA;EAAA,SACA,cAAA;AAAA;;;;;AJjCX;;;;;AACA;;;;;AACA;;;;;AACA;;;;;AAEA;UIwDiB,iBAAA;EAAA,SACN,aAAA;EAAA,SACA,IAAA;EAAA,SACA,EAAA;EAAA,SACA,KAAA,EAAO,cAAA;EAAA,SACP,MAAA;EJ1DO;;;;AAGlB;EAHkB,SIgEP,kBAAA;EAAA,SACA,SAAA;AAAA;;;;;;;;KAcC,uBAAA;;;;;;;;;;UAeK,mBAAA;EAAA,SACN,GAAA;EAAA,SACA,MAAA;AAAA;AJlEX;;;AAAA,UIwEiB,wBAAA;EAAA,SACN,uBAAA,WAAkC,uBAAA;AAAA;;;;;UAW5B,sBAAA;EJxDN;EAAA,SI0DA,EAAA;EJ1DO;EAAA,SI4DP,KAAA;EJzD4B;EAAA,SI2D5B,cAAA,EAAgB,uBAAA;EJ3DY;;;;;;;;AAQvC;;EARuC,SIsE5B,WAAA;AAAA;;AJ5DX;;;;;;;;;;;;;;;;AAYA;;;;;;;;;;;;UIoFiB,aAAA;EJxEN;EAAA,SI0EA,WAAA;EJzEmB;EAAA,SI2EnB,cAAA,EAAgB,uBAAA;EJ1ER;EAAA,SI4ER,KAAA;EJ1EI;;;;;;EIiFb,gBAAA;EJxEW;;;;;EI8EX,kBAAA,aAA+B,mBAAA;EJvEE;;;;;;EI8EjC,IAAA,IAAQ,sBAAA;AAAA;;;AJtEV;;UIiFiB,aAAA;EJ1EW;EAAA,SI4EjB,QAAA;EJlFA;;;;;;;;;EAAA,SI4FA,OAAA;EJjFA;;;;EAAA,SIsFA,MAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EJlFF;EAAA,SIqFA,WAAA;IAAA,SACE,WAAA;IAAA,SACA,WAAA;EAAA;EJjFF;EAAA,SIoFA,UAAA,WAAqB,sBAAA;EJlFnB;;;;;;;;;;EAAA,SI6FF,kBAAA;AAAA;;;;;;AH3OX;;;;;;UGyPiB,iCAAA,SAA0C,aAAA;EH/O7C;;;;;EGqPZ,gBAAA;AAAA;;;;UAUe,wBAAA;EHhN0B;EAAA,SGkNhC,IAAA;EHhNG;EAAA,SGkNH,OAAA;EH1MgC;EAAA,SG4MhC,GAAA;AAAA;;;;;;;UASM,6BAAA;EAAA,SACN,IAAA;EAAA,SACA,IAAA,EAAM,iCAAA;AAAA;;;;UAMA,6BAAA;EAAA,SACN,IAAA;EAAA,SACA,SAAA,WAAoB,wBAAA;AAAA;;;;KAMnB,sBAAA,GAAyB,6BAAA,GAAgC,6BAAA;;;;UASpD,2BAAA;EAAA,SACN,iBAAA;EAAA,SACA,kBAAA;AAAA;;;;UAMM,sBAAA;EH7RJ;EAAA,SG+RF,IAAA;EH/RqC;EAAA,SGiSrC,OAAA;EHrSI;EAAA,SGuSJ,GAAA;EHhST;EAAA,SGkSS,IAAA,GAAO,MAAA;AAAA;;;;KAMN,qBAAA,GAAwB,MAAA,CAAO,2BAAA,EAA6B,sBAAA;;;;;UAUvD,8BAAA;EHxRI;;;;EAAA,SG6RV,SAAA;EH3RG;;;;EAAA,SGgSH,UAAA;EHzRM;;;;EAAA,SG8RN,iBAAA;AAAA;;;;;;;;UAcM,gBAAA;EAIf,IAAA,CAAK,OAAA;IAAA,SACM,QAAA;IAAA,SACA,MAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;IHxSe;;;;;;;;;;;AAEpC;;;;;IAFoC,SGyTvB,YAAA,EAAc,QAAA;IHtTF;;;;;IAAA,SG4TZ,mBAAA,EAAqB,aAAA,CAC5B,8BAAA,CAA+B,SAAA,EAAW,SAAA;IH7TX;;;AAErC;;;IAFqC,SGqUxB,OAAA;EAAA,IACP,sBAAA;EHlUQ;;;;;;;;;;;EG+UZ,cAAA,CACE,OAAA,EAAS,wBAAA,EACT,OAAA,WACC,iCAAA;AAAA;;;;;;;;UAUY,eAAA;EHxVN;;;AAGX;;;;;;;EGmWE,OAAA,CAAQ,OAAA;IAAA,SACG,IAAA,EAAM,aAAA;IAAA,SACN,MAAA,EAAQ,qBAAA,CAAsB,SAAA,EAAW,SAAA;IAAA,SACzC,mBAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;IAAA,SACR,SAAA;MACP,gBAAA,EAAkB,EAAA,EAAI,sBAAA;MACtB,mBAAA,EAAqB,EAAA,EAAI,sBAAA;IAAA;;;AFtb/B;;aE4ba,eAAA,GAAkB,8BAAA;IF3bb;;;;;IAAA,SEicL,mBAAA,EAAqB,aAAA,CAC5B,8BAAA,CAA+B,SAAA,EAAW,SAAA;EAAA,IAE1C,OAAA,CAAQ,qBAAA;AAAA;;;;;;AF/bd;;;;;;;;;UEodiB,+BAAA;EAAA,SAIN,KAAA;EAAA,SACA,IAAA,EAAM,aAAA;EAAA,SACN,MAAA,EAAQ,qBAAA,CAAsB,SAAA,EAAW,SAAA;EAAA,SACzC,mBAAA;EAAA,SACA,MAAA,EAAQ,wBAAA;EAAA,SACR,eAAA,GAAkB,8BAAA;EAAA,SAClB,mBAAA,EAAqB,aAAA,CAAc,8BAAA,CAA+B,SAAA,EAAW,SAAA;AAAA;AAAA,UAGvE,4BAAA;EAAA,SACN,eAAA,EAAiB,aAAA;IAAA,SACf,KAAA;IAAA,SACA,KAAA,EAAO,2BAAA;EAAA;AAAA;AAAA,UAIH,uBAAA,SAAgC,sBAAA;EFxdb;EAAA,SE0dzB,YAAA;AAAA;AAAA,KAGC,sBAAA,GAAyB,MAAA,CAAO,4BAAA,EAA8B,uBAAA;;;;;;;;;;;;;;;;UAiBzD,uBAAA;EAIf,mBAAA,CAAoB,OAAA;IAAA,SACT,MAAA,EAAQ,qBAAA,CAAsB,SAAA,EAAW,SAAA;IAAA,SACzC,eAAA,EAAiB,aAAA,CAAc,+BAAA,CAAgC,SAAA,EAAW,SAAA;EAAA,IACjF,OAAA,CAAQ,sBAAA;AAAA;;;;;;;;;UAeG,0BAAA,+FAGS,qBAAA,CAAsB,SAAA,aAAsB,qBAAA,CAClE,SAAA;EAIF,aAAA,CAAc,MAAA,EAAQ,eAAA,GAAkB,gBAAA,CAAiB,SAAA,EAAW,SAAA;EACpE,YAAA,CAAa,MAAA,EAAQ,eAAA,GAAkB,eAAA,CAAgB,SAAA,EAAW,SAAA;EF9gBzD;;;;;;AAIX;;;EEohBE,gBAAA,CACE,QAAA,EAAU,QAAA,SACV,mBAAA,GAAsB,aAAA,CAAc,8BAAA,CAA+B,SAAA,EAAW,SAAA;AAAA;;;;;;;;UAejE,wBAAA;EF9hBG;EAAA,SEgiBT,UAAA;EF9hB+C;EAAA,SEgiB/C,gBAAA;EFhiBL;;;;;;EAAA,SEuiBK,QAAA;EF5iBgC;;;;;EAAA,SEkjBhC,MAAA;AAAA;;;;;;;;;;;;;;;AL3lBX;UMJiB,yBAAA;EAAA,SACN,IAAA;ENS2B;EAAA,SMP3B,QAAA;AAAA;AAAA,UAGM,gBAAA;EAAA,SACN,UAAA,WAAqB,yBAAA;AAAA;;;;;;;;;;;;KCXpB,kBAAA;AAAA,UASK,iBAAA;EACf,KAAA,CAAM,IAAA,EAAM,cAAA,GAAiB,CAAA;AAAA;AAAA,UAGd,qBAAA;EAAA,SACN,IAAA,EAAM,kBAAA;EAAA,SACN,EAAA;EAAA,SACA,KAAA;EAAA,SACA,IAAA,GAAO,MAAA;EAAA,SACP,QAAA,YAAoB,cAAA;AAAA;AAAA,cAGlB,cAAA;EAAA,SACF,IAAA,EAAM,kBAAA;EAAA,SACN,EAAA;EAAA,SACA,KAAA;EAAA,SACA,IAAA,GAAO,MAAA;EAAA,SACP,QAAA,YAAoB,cAAA;cAEjB,OAAA,EAAS,qBAAA;EASrB,MAAA,GAAA,CAAU,OAAA,EAAS,iBAAA,CAAkB,CAAA,IAAK,CAAA;AAAA;;;;;UAS3B,cAAA;EAAA,SACN,IAAA,EAAM,cAAA;AAAA;;;UC7CA,0BAAA,6EAGS,qBAAA,CAAsB,SAAA,aAAsB,qBAAA,CAClE,SAAA,oBAGM,uBAAA,CAAwB,SAAA,EAAW,SAAA;EAAA,SAClC,UAAA,EAAY,0BAAA,CAA2B,SAAA,EAAW,SAAA,EAAW,eAAA;AAAA;AAAA,iBAGxD,aAAA,oDAAA,CACd,MAAA,EAAQ,uBAAA,CAAwB,SAAA,EAAW,SAAA,IAC1C,MAAA,IAAU,0BAAA,CAA2B,SAAA,EAAW,SAAA;AAAA,UAIlC,iBAAA;EACf,YAAA,CAAa,MAAA,EAAQ,SAAA,GAAY,cAAA;AAAA;AAAA,iBAGnB,aAAA,qCAAA,CACd,QAAA,EAAU,qBAAA,CAAsB,SAAA,EAAW,SAAA,IAC1C,QAAA,IAAY,qBAAA,CAAsB,SAAA,EAAW,SAAA,IAAa,iBAAA,CAAkB,SAAA;;;;;UAW9D,uBAAA;EACf,gBAAA,CAAiB,QAAA,EAAU,SAAA,GAAY,cAAA;AAAA;AAAA,iBAGzB,mBAAA,qCAAA,CACd,QAAA,EAAU,qBAAA,CAAsB,SAAA,EAAW,SAAA,IAC1C,QAAA,IAAY,qBAAA,CAAsB,SAAA,EAAW,SAAA,IAAa,uBAAA,CAAwB,SAAA;;;;;;UAYpE,uBAAA;EACf,kBAAA,CAAmB,UAAA,WAAqB,sBAAA,KAA2B,gBAAA;AAAA;AAAA,iBAGrD,mBAAA,qCAAA,CACd,QAAA,EAAU,qBAAA,CAAsB,SAAA,EAAW,SAAA,IAC1C,QAAA,IAAY,qBAAA,CAAsB,SAAA,EAAW,SAAA,IAAa,uBAAA;;;APtE7D;;;;;AACA;;;;iBOuFgB,mBAAA,oDAAA,CACd,MAAA,EAAQ,eAAA,CAAgB,SAAA,EAAW,SAAA,IAClC,MAAA,IAAU,eAAA,CAAgB,SAAA,EAAW,SAAA,IAAa,uBAAA,CAAwB,SAAA,EAAW,SAAA;;;;;;;;;;;;;ARxExF;;;;;;;;;cSIa,YAAA;;;;;;;;;;;UAYI,oBAAA;EAAA,SACN,IAAA;EAAA,SACA,UAAA;AAAA;;;ARnCX;;;;;AACA;;;;;AACA;;UQkDiB,gBAAA;EAAA,SACN,OAAA;EAAA,SACA,QAAA,EAAU,iBAAA;EAAA,SACV,GAAA,WAAc,sBAAA;AAAA;;;;;;;;;;AR7CzB;;;;;;;;UQiEiB,aAAA,mBAAgC,QAAA,GAAW,QAAA;EAAA,SACjD,YAAA,EAAc,SAAA;EAAA,SACd,UAAA,WAAqB,gBAAA;EAAA,SACrB,OAAA,EAAS,oBAAA;AAAA;;;;;;;;;;;;;;AT7DpB;;;;;;;;;;;;UUOiB,cAAA;EACf,YAAA,CAAa,OAAA,EAAS,mBAAA,CAAoB,SAAA,EAAW,OAAA,IAAW,kBAAA;AAAA;;;;;;;UASjD,mBAAA;EAAA,SACN,QAAA,EAAU,SAAA;EAAA,SACV,MAAA,EAAQ,OAAA;AAAA;;ATpCnB;;;;;AACA;US6CiB,kBAAA;EAAA,SACN,EAAA;EAAA,SACA,MAAA,WAAiB,WAAA;AAAA"}

package/dist/control.mjs

@@ -1,4 +1,4 @@
-import { c as mergeAuthoringNamespaces, o as isAuthoringFieldPresetDescriptor, s as isAuthoringTypeConstructorDescriptor, t as assertNoCrossRegistryCollisions } from "./framework-authoring-DxXcjyJX.mjs";
+import { c as isAuthoringFieldPresetDescriptor, l as isAuthoringTypeConstructorDescriptor, s as isAuthoringEntityTypeDescriptor, t as assertNoCrossRegistryCollisions, u as mergeAuthoringNamespaces } from "./framework-authoring-DcEZ5Lin.mjs";
 //#region src/control/control-capabilities.ts
 function hasMigrations(target) {
 	return "migrations" in target && !!target["migrations"];
@@ -20,7 +20,7 @@ function hasOperationPreview(instance) {
 * extension-contract-spaces project spec — TML-2397).
 *
 * The CLI's shared `applyAggregate` primitive uses this guard so that
-* `db init` / `db update` / `migration apply` route uniformly through one
+* `db init` / `db update` / `migrate` route uniformly through one
 * dispatch path regardless of family.
 */
 function hasMultiSpaceRunner(runner) {
@@ -115,17 +115,20 @@ function extractComponentIds(family, target, adapter, extensions) {
 function assembleAuthoringContributions(descriptors) {
 	const field = {};
 	const type = {};
+	const entityTypes = {};
 	for (const descriptor of descriptors) {
 		if (descriptor.authoring?.field) mergeAuthoringNamespaces(field, descriptor.authoring.field, [], isAuthoringFieldPresetDescriptor, "field");
-		if (!descriptor.authoring?.type) continue;
-		mergeAuthoringNamespaces(type, descriptor.authoring.type, [], isAuthoringTypeConstructorDescriptor, "type");
+		if (descriptor.authoring?.type) mergeAuthoringNamespaces(type, descriptor.authoring.type, [], isAuthoringTypeConstructorDescriptor, "type");
+		if (descriptor.authoring?.entityTypes) mergeAuthoringNamespaces(entityTypes, descriptor.authoring.entityTypes, [], isAuthoringEntityTypeDescriptor, "entity");
 	}
 	const fieldNamespace = field;
 	const typeNamespace = type;
-	assertNoCrossRegistryCollisions(typeNamespace, fieldNamespace);
+	const entityTypeNamespace = entityTypes;
+	assertNoCrossRegistryCollisions(typeNamespace, fieldNamespace, entityTypeNamespace);
 	return {
 		field: fieldNamespace,
-		type: typeNamespace
+		type: typeNamespace,
+		entityTypes: entityTypeNamespace
 	};
 }
 function assembleScalarTypeDescriptors(descriptors) {

package/dist/control.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"control.mjs","names":[],"sources":["../src/control/control-capabilities.ts","../src/control/control-result-types.ts","../src/control/control-schema-view.ts","../src/control/control-spaces.ts","../src/control/control-stack.ts"],"sourcesContent":["import type { ControlTargetDescriptor } from './control-descriptors';\nimport type { ControlFamilyInstance } from './control-instances';\nimport type {\n  MigrationPlanOperation,\n  MigrationRunner,\n  MultiSpaceCapableRunner,\n  TargetMigrationsCapability,\n} from './control-migration-types';\nimport type { OperationPreview } from './control-operation-preview';\nimport type { CoreSchemaView } from './control-schema-view';\nimport type { PslDocumentAst } from './psl-ast';\n\nexport interface MigratableTargetDescriptor<\n  TFamilyId extends string,\n  TTargetId extends string,\n  TFamilyInstance extends ControlFamilyInstance<TFamilyId, unknown> = ControlFamilyInstance<\n    TFamilyId,\n    unknown\n  >,\n> extends ControlTargetDescriptor<TFamilyId, TTargetId> {\n  readonly migrations: TargetMigrationsCapability<TFamilyId, TTargetId, TFamilyInstance>;\n}\n\nexport function hasMigrations<TFamilyId extends string, TTargetId extends string>(\n  target: ControlTargetDescriptor<TFamilyId, TTargetId>,\n): target is MigratableTargetDescriptor<TFamilyId, TTargetId> {\n  return 'migrations' in target && !!(target as Record<string, unknown>)['migrations'];\n}\n\nexport interface SchemaViewCapable<TSchemaIR = unknown> {\n  toSchemaView(schema: TSchemaIR): CoreSchemaView;\n}\n\nexport function hasSchemaView<TFamilyId extends string, TSchemaIR>(\n  instance: ControlFamilyInstance<TFamilyId, TSchemaIR>,\n): instance is ControlFamilyInstance<TFamilyId, TSchemaIR> & SchemaViewCapable<TSchemaIR> {\n  return (\n    'toSchemaView' in instance &&\n    typeof (instance as Record<string, unknown>)['toSchemaView'] === 'function'\n  );\n}\n\n/**\n * Capability declaring that a family can infer a PSL contract AST from its\n * opaque introspected schema IR. Consumed by `prisma-next contract infer`.\n */\nexport interface PslContractInferCapable<TSchemaIR = unknown> {\n  inferPslContract(schemaIR: TSchemaIR): PslDocumentAst;\n}\n\nexport function hasPslContractInfer<TFamilyId extends string, TSchemaIR>(\n  instance: ControlFamilyInstance<TFamilyId, TSchemaIR>,\n): instance is ControlFamilyInstance<TFamilyId, TSchemaIR> & PslContractInferCapable<TSchemaIR> {\n  return (\n    'inferPslContract' in instance &&\n    typeof (instance as Record<string, unknown>)['inferPslContract'] === 'function'\n  );\n}\n\n/**\n * Capability declaring that a family can render a textual preview of migration\n * operations for the CLI's \"DDL preview\" output. SQL families emit\n * `language: 'sql'` statements; Mongo families emit `language: 'mongodb-shell'`.\n */\nexport interface OperationPreviewCapable {\n  toOperationPreview(operations: readonly MigrationPlanOperation[]): OperationPreview;\n}\n\nexport function hasOperationPreview<TFamilyId extends string, TSchemaIR>(\n  instance: ControlFamilyInstance<TFamilyId, TSchemaIR>,\n): instance is ControlFamilyInstance<TFamilyId, TSchemaIR> & OperationPreviewCapable {\n  return (\n    'toOperationPreview' in instance &&\n    typeof (instance as Record<string, unknown>)['toOperationPreview'] === 'function'\n  );\n}\n\n/**\n * Capability declaring that a runner can apply per-space plans inside a\n * single outer transaction. The SQL family (`SqlMigrationRunner`) implements\n * this with a true outer transaction. The Mongo family implements a\n * degenerate single-space shim (Mongo per-space is a non-goal per the\n * extension-contract-spaces project spec — TML-2397).\n *\n * The CLI's shared `applyAggregate` primitive uses this guard so that\n * `db init` / `db update` / `migration apply` route uniformly through one\n * dispatch path regardless of family.\n */\nexport function hasMultiSpaceRunner<TFamilyId extends string, TTargetId extends string>(\n  runner: MigrationRunner<TFamilyId, TTargetId>,\n): runner is MigrationRunner<TFamilyId, TTargetId> & MultiSpaceCapableRunner<TFamilyId, TTargetId> {\n  return (\n    'executeAcrossSpaces' in runner &&\n    typeof (runner as Record<string, unknown>)['executeAcrossSpaces'] === 'function'\n  );\n}\n","export const VERIFY_CODE_MARKER_MISSING = 'PN-RUN-3001';\nexport const VERIFY_CODE_HASH_MISMATCH = 'PN-RUN-3002';\nexport const VERIFY_CODE_TARGET_MISMATCH = 'PN-RUN-3003';\nexport const VERIFY_CODE_SCHEMA_FAILURE = 'PN-RUN-3010';\n\nexport interface OperationContext {\n  readonly contractPath?: string;\n  readonly configPath?: string;\n  readonly meta?: Readonly<Record<string, unknown>>;\n}\n\nexport interface VerifyDatabaseResult {\n  readonly ok: boolean;\n  readonly code?: string;\n  readonly summary: string;\n  readonly contract: {\n    readonly storageHash: string;\n    readonly profileHash?: string;\n  };\n  readonly marker?: {\n    readonly storageHash?: string;\n    readonly profileHash?: string;\n  };\n  readonly target: {\n    readonly expected: string;\n    readonly actual?: string;\n  };\n  readonly missingCodecs?: readonly string[];\n  readonly codecCoverageSkipped?: boolean;\n  readonly meta?: {\n    readonly configPath?: string;\n    readonly contractPath: string;\n  };\n  readonly timings: {\n    readonly total: number;\n  };\n}\n\nexport interface BaseSchemaIssue {\n  readonly kind:\n    | 'missing_table'\n    | 'missing_column'\n    | 'extra_table'\n    | 'extra_column'\n    | 'extra_primary_key'\n    | 'extra_foreign_key'\n    | 'extra_unique_constraint'\n    | 'extra_index'\n    | 'extra_validator'\n    | 'type_mismatch'\n    | 'type_missing'\n    | 'type_values_mismatch'\n    | 'nullability_mismatch'\n    | 'primary_key_mismatch'\n    | 'foreign_key_mismatch'\n    | 'unique_constraint_mismatch'\n    | 'index_mismatch'\n    | 'default_missing'\n    | 'default_mismatch'\n    | 'extra_default';\n  readonly table?: string;\n  readonly column?: string;\n  readonly indexOrConstraint?: string;\n  readonly typeName?: string;\n  readonly expected?: string;\n  readonly actual?: string;\n  readonly message: string;\n}\n\nexport interface EnumValuesChangedIssue {\n  readonly kind: 'enum_values_changed';\n  readonly typeName: string;\n  readonly addedValues: readonly string[];\n  readonly removedValues: readonly string[];\n  readonly message: string;\n}\n\nexport type SchemaIssue = BaseSchemaIssue | EnumValuesChangedIssue;\n\nexport interface SchemaVerificationNode {\n  readonly status: 'pass' | 'warn' | 'fail';\n  readonly kind: string;\n  readonly name: string;\n  readonly contractPath: string;\n  readonly code: string;\n  readonly message: string;\n  readonly expected: unknown;\n  readonly actual: unknown;\n  readonly children: readonly SchemaVerificationNode[];\n}\n\nexport interface VerifyDatabaseSchemaResult {\n  readonly ok: boolean;\n  readonly code?: string;\n  readonly summary: string;\n  readonly contract: {\n    readonly storageHash: string;\n    readonly profileHash?: string;\n  };\n  readonly target: {\n    readonly expected: string;\n    readonly actual?: string;\n  };\n  readonly schema: {\n    readonly issues: readonly SchemaIssue[];\n    readonly root: SchemaVerificationNode;\n    readonly counts: {\n      readonly pass: number;\n      readonly warn: number;\n      readonly fail: number;\n      readonly totalNodes: number;\n    };\n  };\n  readonly meta?: {\n    readonly configPath?: string;\n    readonly contractPath?: string;\n    readonly strict: boolean;\n  };\n  readonly timings: {\n    readonly total: number;\n  };\n}\n\nexport interface EmitContractResult {\n  readonly contractJson: string;\n  readonly contractDts: string;\n  readonly storageHash: string;\n  readonly executionHash?: string;\n  readonly profileHash: string;\n}\n\nexport interface IntrospectSchemaResult<TSchemaIR> {\n  readonly ok: true;\n  readonly summary: string;\n  readonly target: {\n    readonly familyId: string;\n    readonly id: string;\n  };\n  readonly schema: TSchemaIR;\n  readonly meta?: {\n    readonly configPath?: string;\n    readonly dbUrl?: string;\n  };\n  readonly timings: {\n    readonly total: number;\n  };\n}\n\nexport interface SignDatabaseResult {\n  readonly ok: boolean;\n  readonly summary: string;\n  readonly contract: {\n    readonly storageHash: string;\n    readonly profileHash?: string;\n  };\n  readonly target: {\n    readonly expected: string;\n    readonly actual?: string;\n  };\n  readonly marker: {\n    readonly created: boolean;\n    readonly updated: boolean;\n    readonly previous?: {\n      readonly storageHash?: string;\n      readonly profileHash?: string;\n    };\n  };\n  readonly meta?: {\n    readonly configPath?: string;\n    readonly contractPath: string;\n  };\n  readonly timings: {\n    readonly total: number;\n  };\n}\n","/**\n * Core schema view types for family-agnostic schema visualization.\n *\n * These types provide a minimal, generic, tree-shaped representation of schemas\n * across families, designed for CLI visualization and lightweight tooling.\n *\n * Families can optionally project their family-specific Schema IR into this\n * core view via the `toSchemaView` method on `FamilyInstance`.\n */\n\nexport type SchemaNodeKind =\n  | 'root'\n  | 'namespace'\n  | 'collection'\n  | 'entity'\n  | 'field'\n  | 'index'\n  | 'dependency';\n\nexport interface SchemaTreeVisitor<R> {\n  visit(node: SchemaTreeNode): R;\n}\n\nexport interface SchemaTreeNodeOptions {\n  readonly kind: SchemaNodeKind;\n  readonly id: string;\n  readonly label: string;\n  readonly meta?: Record<string, unknown>;\n  readonly children?: readonly SchemaTreeNode[];\n}\n\nexport class SchemaTreeNode {\n  readonly kind: SchemaNodeKind;\n  readonly id: string;\n  readonly label: string;\n  readonly meta?: Record<string, unknown>;\n  readonly children?: readonly SchemaTreeNode[];\n\n  constructor(options: SchemaTreeNodeOptions) {\n    this.kind = options.kind;\n    this.id = options.id;\n    this.label = options.label;\n    if (options.meta !== undefined) this.meta = options.meta;\n    if (options.children !== undefined) this.children = options.children;\n    Object.freeze(this);\n  }\n\n  accept<R>(visitor: SchemaTreeVisitor<R>): R {\n    return visitor.visit(this);\n  }\n}\n\n/**\n * Core schema view providing a family-agnostic tree representation of a schema.\n * Used by CLI and cross-family tooling for visualization.\n */\nexport interface CoreSchemaView {\n  readonly root: SchemaTreeNode;\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { MigrationMetadata, MigrationPlanOperation } from './control-migration-types';\n\n/**\n * Canonical control-plane identifiers for contract spaces.\n *\n * A contract space is the disjoint `(contract.json, migration-graph)` unit\n * the per-space planner / runner / verifier (project: extension contract\n * spaces, TML-2397) operates on. The application owns one well-known\n * space — the value below — and each loaded extension that contributes\n * schema owns a uniquely-named space.\n *\n * Lives in `framework-components/control` so every layer that has to\n * reason about space identity (the migration tooling, the SQL runtime's\n * marker reader, target-side statement builders, target-side adapters)\n * can import a single value rather than duplicating the literal. Raw\n * `'app'` string literals in framework / target / runtime / adapter\n * source code are forbidden and policed by\n * `scripts/lint-app-space-id.mjs` (wired into `pnpm lint:deps`).\n *\n * @see specs/framework-mechanism.spec.md § 3 — Layout convention (γ).\n */\nexport const APP_SPACE_ID = 'app' as const;\n\n/**\n * Head ref for a contract space — the `(hash, invariants)` tuple\n * a runner targets when applying that space's migration graph. Identical\n * in shape to the on-disk `migrations/<space-id>/refs/head.json` the\n * framework writes per loaded extension, and to the app-space\n * `<projectRoot>/refs/head.json`. Family-agnostic: SQL, Mongo, and any\n * future family share the same head-ref shape.\n *\n * @see specs/framework-mechanism.spec.md § 1.\n */\nexport interface ContractSpaceHeadRef {\n  readonly hash: string;\n  readonly invariants: readonly string[];\n}\n\n/**\n * Canonical structural shape of a migration package — the unit a planner\n * produces and a runner consumes: a directory name, the ADR 197 metadata\n * envelope (which carries the `toContract` snapshot), and the operation\n * list.\n *\n * In-memory by default. Readers in `@prisma-next/migration-tools`\n * (`readMigrationPackage` / `readMigrationsDir`) return the augmented\n * {@link import('@prisma-next/migration-tools/package').OnDiskMigrationPackage}\n * variant which adds `dirPath`; everything else operates against the\n * canonical shape so the same value flows through pre-emission\n * authoring, on-disk loading, and runner execution without conversion.\n *\n * @see specs/framework-mechanism.spec.md § 1.\n */\nexport interface MigrationPackage {\n  readonly dirName: string;\n  readonly metadata: MigrationMetadata;\n  readonly ops: readonly MigrationPlanOperation[];\n}\n\n/**\n * Canonical structural shape of a contract space — one disjoint\n * `(contractJson, migration-graph)` unit the per-space planner / runner\n * / verifier operates on. The application owns one well-known space\n * ({@link APP_SPACE_ID}); each loaded extension that contributes schema\n * owns a uniquely-named space. Whether a value is the app's space or an\n * extension's space is a control-plane concern; the type carries no\n * such distinction.\n *\n * Generic over the contract so each family pins a typed contract value\n * at consumption time. The SQL family specialises to\n * `ContractSpace<Contract<SqlStorage>>` at the descriptor surface;\n * Mongo's symmetrical `ContractSpace<Contract<MongoStorage>>` will land\n * with that family.\n *\n * @see specs/framework-mechanism.spec.md § 1.\n */\nexport interface ContractSpace<TContract extends Contract = Contract> {\n  readonly contractJson: TContract;\n  readonly migrations: readonly MigrationPackage[];\n  readonly headRef: ContractSpaceHeadRef;\n}\n","import type { Codec } from '../shared/codec';\nimport type { CodecLookup, CodecMeta } from '../shared/codec-types';\nimport type {\n  AuthoringContributions,\n  AuthoringFieldNamespace,\n  AuthoringTypeNamespace,\n} from '../shared/framework-authoring';\nimport {\n  assertNoCrossRegistryCollisions,\n  isAuthoringFieldPresetDescriptor,\n  isAuthoringTypeConstructorDescriptor,\n  mergeAuthoringNamespaces,\n} from '../shared/framework-authoring';\nimport type { ComponentMetadata } from '../shared/framework-components';\nimport type {\n  ControlMutationDefaultEntry,\n  ControlMutationDefaults,\n  MutationDefaultGeneratorDescriptor,\n} from '../shared/mutation-default-types';\nimport type { TypesImportSpec } from '../shared/types-import-spec';\nimport type {\n  ControlAdapterDescriptor,\n  ControlDriverDescriptor,\n  ControlExtensionDescriptor,\n  ControlFamilyDescriptor,\n  ControlTargetDescriptor,\n} from './control-descriptors';\n\nexport interface AssembledAuthoringContributions {\n  readonly field: AuthoringFieldNamespace;\n  readonly type: AuthoringTypeNamespace;\n}\n\nexport interface ControlStack<\n  TFamilyId extends string = string,\n  TTargetId extends string = string,\n> {\n  readonly family: ControlFamilyDescriptor<TFamilyId>;\n  readonly target: ControlTargetDescriptor<TFamilyId, TTargetId>;\n  readonly adapter?: ControlAdapterDescriptor<TFamilyId, TTargetId> | undefined;\n  readonly driver?: ControlDriverDescriptor<TFamilyId, TTargetId> | undefined;\n  readonly extensionPacks: readonly ControlExtensionDescriptor<TFamilyId, TTargetId>[];\n\n  readonly codecTypeImports: ReadonlyArray<TypesImportSpec>;\n  readonly queryOperationTypeImports: ReadonlyArray<TypesImportSpec>;\n  readonly extensionIds: ReadonlyArray<string>;\n  readonly codecLookup: CodecLookup;\n  readonly authoringContributions: AssembledAuthoringContributions;\n  readonly scalarTypeDescriptors: ReadonlyMap<string, string>;\n  readonly controlMutationDefaults: ControlMutationDefaults;\n}\n\nexport interface CreateControlStackInput<\n  TFamilyId extends string = string,\n  TTargetId extends string = string,\n> {\n  readonly family: ControlFamilyDescriptor<TFamilyId>;\n  readonly target: ControlTargetDescriptor<TFamilyId, TTargetId>;\n  readonly adapter?: ControlAdapterDescriptor<TFamilyId, TTargetId> | undefined;\n  readonly driver?: ControlDriverDescriptor<TFamilyId, TTargetId> | undefined;\n  readonly extensionPacks?:\n    | ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>\n    | undefined;\n}\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\nexport function 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 function extractCodecTypeImports(\n  descriptors: ReadonlyArray<Pick<ComponentMetadata, 'types'>>,\n): ReadonlyArray<TypesImportSpec> {\n  const imports: TypesImportSpec[] = [];\n\n  for (const descriptor of descriptors) {\n    const codecTypes = descriptor.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 extractQueryOperationTypeImports(\n  descriptors: ReadonlyArray<Pick<ComponentMetadata, 'types'>>,\n): ReadonlyArray<TypesImportSpec> {\n  const imports: TypesImportSpec[] = [];\n\n  for (const descriptor of descriptors) {\n    const queryOperationTypes = descriptor.types?.queryOperationTypes;\n    if (queryOperationTypes?.import) {\n      imports.push(queryOperationTypes.import);\n    }\n  }\n\n  return imports;\n}\n\nexport function extractComponentIds(\n  family: { readonly id: string },\n  target: { readonly id: string },\n  adapter: { readonly id: string } | undefined,\n  extensions: ReadonlyArray<{ readonly id: string }>,\n): ReadonlyArray<string> {\n  const ids: string[] = [];\n  const seen = new Set<string>();\n\n  addUniqueId(ids, seen, family.id);\n  addUniqueId(ids, seen, target.id);\n  if (adapter) {\n    addUniqueId(ids, seen, adapter.id);\n  }\n\n  for (const ext of extensions) {\n    addUniqueId(ids, seen, ext.id);\n  }\n\n  return ids;\n}\n\nexport function assembleAuthoringContributions(\n  descriptors: ReadonlyArray<{ readonly authoring?: AuthoringContributions }>,\n): AssembledAuthoringContributions {\n  const field = {} as Record<string, unknown>;\n  const type = {} as Record<string, unknown>;\n\n  for (const descriptor of descriptors) {\n    if (descriptor.authoring?.field) {\n      mergeAuthoringNamespaces(\n        field,\n        descriptor.authoring.field,\n        [],\n        isAuthoringFieldPresetDescriptor,\n        'field',\n      );\n    }\n    if (!descriptor.authoring?.type) {\n      continue;\n    }\n    mergeAuthoringNamespaces(\n      type,\n      descriptor.authoring.type,\n      [],\n      isAuthoringTypeConstructorDescriptor,\n      'type',\n    );\n  }\n\n  const fieldNamespace = field as AuthoringFieldNamespace;\n  const typeNamespace = type as AuthoringTypeNamespace;\n  assertNoCrossRegistryCollisions(typeNamespace, fieldNamespace);\n\n  return {\n    field: fieldNamespace,\n    type: typeNamespace,\n  };\n}\n\nexport function assembleScalarTypeDescriptors(\n  descriptors: ReadonlyArray<\n    Pick<ComponentMetadata, 'scalarTypeDescriptors'> & { readonly id?: string }\n  >,\n): ReadonlyMap<string, string> {\n  const result = new Map<string, string>();\n  const owners = new Map<string, string>();\n\n  for (const descriptor of descriptors) {\n    const descriptorMap = descriptor.scalarTypeDescriptors;\n    if (!descriptorMap) continue;\n    const descriptorId = descriptor.id ?? '<unknown>';\n    for (const [typeName, codecId] of descriptorMap) {\n      const existingOwner = owners.get(typeName);\n      if (existingOwner !== undefined) {\n        throw new Error(\n          `Duplicate scalar type descriptor \"${typeName}\". ` +\n            `Descriptor \"${descriptorId}\" conflicts with \"${existingOwner}\".`,\n        );\n      }\n      result.set(typeName, codecId);\n      owners.set(typeName, descriptorId);\n    }\n  }\n\n  return result;\n}\n\nexport function assembleControlMutationDefaults(\n  descriptors: ReadonlyArray<\n    Pick<ComponentMetadata, 'controlMutationDefaults'> & { readonly id?: string }\n  >,\n): ControlMutationDefaults {\n  const defaultFunctionRegistry = new Map<string, ControlMutationDefaultEntry>();\n  const functionOwners = new Map<string, string>();\n  const generatorMap = new Map<string, MutationDefaultGeneratorDescriptor>();\n  const generatorOwners = new Map<string, string>();\n\n  for (const descriptor of descriptors) {\n    const contributions = descriptor.controlMutationDefaults;\n    if (!contributions) continue;\n    const descriptorId = descriptor.id ?? '<unknown>';\n\n    for (const generatorDescriptor of contributions.generatorDescriptors) {\n      const existingOwner = generatorOwners.get(generatorDescriptor.id);\n      if (existingOwner !== undefined) {\n        throw new Error(\n          `Duplicate mutation default generator id \"${generatorDescriptor.id}\". ` +\n            `Descriptor \"${descriptorId}\" conflicts with \"${existingOwner}\".`,\n        );\n      }\n      generatorMap.set(generatorDescriptor.id, generatorDescriptor);\n      generatorOwners.set(generatorDescriptor.id, descriptorId);\n    }\n\n    for (const [functionName, handler] of contributions.defaultFunctionRegistry) {\n      const existingOwner = functionOwners.get(functionName);\n      if (existingOwner !== undefined) {\n        throw new Error(\n          `Duplicate mutation default function \"${functionName}\". ` +\n            `Descriptor \"${descriptorId}\" conflicts with \"${existingOwner}\".`,\n        );\n      }\n      defaultFunctionRegistry.set(functionName, handler);\n      functionOwners.set(functionName, descriptorId);\n    }\n  }\n\n  return {\n    defaultFunctionRegistry,\n    generatorDescriptors: Array.from(generatorMap.values()),\n  };\n}\n\nexport function extractCodecLookup(\n  descriptors: ReadonlyArray<Pick<ComponentMetadata & { id: string }, 'types' | 'id'>>,\n): CodecLookup {\n  const byId = new Map<string, Codec>();\n  const targetTypesById = new Map<string, readonly string[]>();\n  const metaById = new Map<string, CodecMeta>();\n  const renderersById = new Map<string, (params: Record<string, unknown>) => string | undefined>();\n  const owners = new Map<string, string>();\n  for (const descriptor of descriptors) {\n    const codecTypes = descriptor.types?.codecTypes;\n    const descriptorId = descriptor.id;\n    // Descriptor-side metadata is the single source of truth for `targetTypes` / `meta` / `renderOutputType`. Every contributor ships a `codecDescriptors` list on `types.codecTypes`.\n    for (const codecDescriptor of codecTypes?.codecDescriptors ?? []) {\n      assertUniqueCodecOwner({\n        codecId: codecDescriptor.codecId,\n        owners,\n        descriptorId,\n        entityLabel: 'codec descriptor',\n        entityOwnershipLabel: 'codec descriptor provider',\n      });\n      owners.set(codecDescriptor.codecId, descriptorId);\n      if (Array.isArray(codecDescriptor.targetTypes)) {\n        targetTypesById.set(codecDescriptor.codecId, codecDescriptor.targetTypes);\n      }\n      if (codecDescriptor.meta !== undefined) {\n        metaById.set(codecDescriptor.codecId, codecDescriptor.meta);\n      }\n      if (typeof codecDescriptor.renderOutputType === 'function') {\n        renderersById.set(codecDescriptor.codecId, codecDescriptor.renderOutputType);\n      }\n      // Materialize a representative `Codec` instance for `byId.get()` so consumers reading the lookup's instance side (e.g. SQL renderer's cast-policy lookup, or the contract emitter's literal-default `encodeJson` resolver) keep finding the codec.\n      //\n      // Two cohorts:\n      // - Non-parameterized descriptors: factory must succeed; any throw is a real bug and we let it propagate (no silent try/catch).\n      // - Parameterized descriptors: try with empty params. Many parameterized codecs treat params as advisory (e.g. `pg/timestamptz@1` whose precision is rendered into the `nativeType` only and never read by the runtime codec), so an empty-params construction yields a usable representative for id-keyed lookups (e.g. emit-time literal-default encoding). Codecs whose factory genuinely requires params (e.g. `pg/vector@1` threading `length` into the runtime codec) will throw; for those, per-column instances are materialized at runtime by `buildContractCodecRegistry` and the id-keyed lookup miss is correct (the column-aware path resolves them).\n      if (!byId.has(codecDescriptor.codecId)) {\n        if (codecDescriptor.isParameterized) {\n          try {\n            const representative = codecDescriptor.factory({} as never)({\n              name: `<lookup:${codecDescriptor.codecId}>`,\n            } as Parameters<ReturnType<typeof codecDescriptor.factory>>[0]);\n            byId.set(codecDescriptor.codecId, representative);\n          } catch {\n            // Factory requires concrete params; skip representative materialization. Per-column instances are built at runtime; id-keyed lookup miss is the correct outcome here.\n          }\n        } else {\n          const representative = codecDescriptor.factory(undefined as never)({\n            name: `<lookup:${codecDescriptor.codecId}>`,\n          } as Parameters<ReturnType<typeof codecDescriptor.factory>>[0]);\n          byId.set(codecDescriptor.codecId, representative);\n        }\n      }\n    }\n  }\n  return {\n    get: (id) => byId.get(id),\n    targetTypesFor: (id) => targetTypesById.get(id),\n    metaFor: (id) => metaById.get(id),\n    renderOutputTypeFor: (id, params) => renderersById.get(id)?.(params),\n  };\n}\n\nexport function validateScalarTypeCodecIds(\n  scalarTypeDescriptors: ReadonlyMap<string, string>,\n  codecLookup: CodecLookup,\n): string[] {\n  const errors: string[] = [];\n  for (const [typeName, codecId] of scalarTypeDescriptors) {\n    if (!codecLookup.get(codecId)) {\n      errors.push(\n        `Scalar type \"${typeName}\" references codec \"${codecId}\" which is not registered by any component.`,\n      );\n    }\n  }\n  return errors;\n}\n\nexport function createControlStack<TFamilyId extends string, TTargetId extends string>(\n  input: CreateControlStackInput<TFamilyId, TTargetId>,\n): ControlStack<TFamilyId, TTargetId> {\n  const { family, target, adapter, driver, extensionPacks = [] } = input;\n\n  const allDescriptors = [family, target, ...(adapter ? [adapter] : []), ...extensionPacks];\n\n  const codecLookup = extractCodecLookup(allDescriptors);\n  const scalarTypeDescriptors = assembleScalarTypeDescriptors(allDescriptors);\n\n  return {\n    family,\n    target,\n    adapter,\n    driver,\n    extensionPacks: extensionPacks as readonly ControlExtensionDescriptor<TFamilyId, TTargetId>[],\n\n    codecTypeImports: extractCodecTypeImports(allDescriptors),\n    queryOperationTypeImports: extractQueryOperationTypeImports(allDescriptors),\n    extensionIds: extractComponentIds(family, target, adapter, extensionPacks),\n    codecLookup,\n    authoringContributions: assembleAuthoringContributions(allDescriptors),\n    scalarTypeDescriptors,\n    controlMutationDefaults: assembleControlMutationDefaults(allDescriptors),\n  };\n}\n"],"mappings":";;AAuBA,SAAgB,cACd,QAC4D;CAC5D,OAAO,gBAAgB,UAAU,CAAC,CAAE,OAAmC;;AAOzE,SAAgB,cACd,UACwF;CACxF,OACE,kBAAkB,YAClB,OAAQ,SAAqC,oBAAoB;;AAYrE,SAAgB,oBACd,UAC8F;CAC9F,OACE,sBAAsB,YACtB,OAAQ,SAAqC,wBAAwB;;AAazE,SAAgB,oBACd,UACmF;CACnF,OACE,wBAAwB,YACxB,OAAQ,SAAqC,0BAA0B;;;;;;;;;;;;;AAe3E,SAAgB,oBACd,QACiG;CACjG,OACE,yBAAyB,UACzB,OAAQ,OAAmC,2BAA2B;;;;AC7F1E,MAAa,6BAA6B;AAC1C,MAAa,4BAA4B;AACzC,MAAa,8BAA8B;AAC3C,MAAa,6BAA6B;;;AC4B1C,IAAa,iBAAb,MAA4B;CAC1B;CACA;CACA;CACA;CACA;CAEA,YAAY,SAAgC;EAC1C,KAAK,OAAO,QAAQ;EACpB,KAAK,KAAK,QAAQ;EAClB,KAAK,QAAQ,QAAQ;EACrB,IAAI,QAAQ,SAAS,KAAA,GAAW,KAAK,OAAO,QAAQ;EACpD,IAAI,QAAQ,aAAa,KAAA,GAAW,KAAK,WAAW,QAAQ;EAC5D,OAAO,OAAO,KAAK;;CAGrB,OAAU,SAAkC;EAC1C,OAAO,QAAQ,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;AC1B9B,MAAa,eAAe;;;AC2C5B,SAAS,YAAY,KAAe,MAAmB,IAAkB;CACvE,IAAI,CAAC,KAAK,IAAI,GAAG,EAAE;EACjB,IAAI,KAAK,GAAG;EACZ,KAAK,IAAI,GAAG;;;AAIhB,SAAgB,uBAAuB,SAM9B;CACP,MAAM,gBAAgB,QAAQ,OAAO,IAAI,QAAQ,QAAQ;CACzD,IAAI,kBAAkB,KAAA,GACpB,MAAM,IAAI,MACR,aAAa,QAAQ,YAAY,gBAAgB,QAAQ,QAAQ,iBAChD,QAAQ,aAAa,oBAAoB,cAAc,oCACpC,QAAQ,qBAAqB,GAClE;;AAIL,SAAgB,wBACd,aACgC;CAChC,MAAM,UAA6B,EAAE;CAErC,KAAK,MAAM,cAAc,aAAa;EACpC,MAAM,aAAa,WAAW,OAAO;EACrC,IAAI,YAAY,QACd,QAAQ,KAAK,WAAW,OAAO;EAEjC,IAAI,YAAY,aACd,QAAQ,KAAK,GAAG,WAAW,YAAY;;CAI3C,OAAO;;AAGT,SAAgB,iCACd,aACgC;CAChC,MAAM,UAA6B,EAAE;CAErC,KAAK,MAAM,cAAc,aAAa;EACpC,MAAM,sBAAsB,WAAW,OAAO;EAC9C,IAAI,qBAAqB,QACvB,QAAQ,KAAK,oBAAoB,OAAO;;CAI5C,OAAO;;AAGT,SAAgB,oBACd,QACA,QACA,SACA,YACuB;CACvB,MAAM,MAAgB,EAAE;CACxB,MAAM,uBAAO,IAAI,KAAa;CAE9B,YAAY,KAAK,MAAM,OAAO,GAAG;CACjC,YAAY,KAAK,MAAM,OAAO,GAAG;CACjC,IAAI,SACF,YAAY,KAAK,MAAM,QAAQ,GAAG;CAGpC,KAAK,MAAM,OAAO,YAChB,YAAY,KAAK,MAAM,IAAI,GAAG;CAGhC,OAAO;;AAGT,SAAgB,+BACd,aACiC;CACjC,MAAM,QAAQ,EAAE;CAChB,MAAM,OAAO,EAAE;CAEf,KAAK,MAAM,cAAc,aAAa;EACpC,IAAI,WAAW,WAAW,OACxB,yBACE,OACA,WAAW,UAAU,OACrB,EAAE,EACF,kCACA,QACD;EAEH,IAAI,CAAC,WAAW,WAAW,MACzB;EAEF,yBACE,MACA,WAAW,UAAU,MACrB,EAAE,EACF,sCACA,OACD;;CAGH,MAAM,iBAAiB;CACvB,MAAM,gBAAgB;CACtB,gCAAgC,eAAe,eAAe;CAE9D,OAAO;EACL,OAAO;EACP,MAAM;EACP;;AAGH,SAAgB,8BACd,aAG6B;CAC7B,MAAM,yBAAS,IAAI,KAAqB;CACxC,MAAM,yBAAS,IAAI,KAAqB;CAExC,KAAK,MAAM,cAAc,aAAa;EACpC,MAAM,gBAAgB,WAAW;EACjC,IAAI,CAAC,eAAe;EACpB,MAAM,eAAe,WAAW,MAAM;EACtC,KAAK,MAAM,CAAC,UAAU,YAAY,eAAe;GAC/C,MAAM,gBAAgB,OAAO,IAAI,SAAS;GAC1C,IAAI,kBAAkB,KAAA,GACpB,MAAM,IAAI,MACR,qCAAqC,SAAS,iBAC7B,aAAa,oBAAoB,cAAc,IACjE;GAEH,OAAO,IAAI,UAAU,QAAQ;GAC7B,OAAO,IAAI,UAAU,aAAa;;;CAItC,OAAO;;AAGT,SAAgB,gCACd,aAGyB;CACzB,MAAM,0CAA0B,IAAI,KAA0C;CAC9E,MAAM,iCAAiB,IAAI,KAAqB;CAChD,MAAM,+BAAe,IAAI,KAAiD;CAC1E,MAAM,kCAAkB,IAAI,KAAqB;CAEjD,KAAK,MAAM,cAAc,aAAa;EACpC,MAAM,gBAAgB,WAAW;EACjC,IAAI,CAAC,eAAe;EACpB,MAAM,eAAe,WAAW,MAAM;EAEtC,KAAK,MAAM,uBAAuB,cAAc,sBAAsB;GACpE,MAAM,gBAAgB,gBAAgB,IAAI,oBAAoB,GAAG;GACjE,IAAI,kBAAkB,KAAA,GACpB,MAAM,IAAI,MACR,4CAA4C,oBAAoB,GAAG,iBAClD,aAAa,oBAAoB,cAAc,IACjE;GAEH,aAAa,IAAI,oBAAoB,IAAI,oBAAoB;GAC7D,gBAAgB,IAAI,oBAAoB,IAAI,aAAa;;EAG3D,KAAK,MAAM,CAAC,cAAc,YAAY,cAAc,yBAAyB;GAC3E,MAAM,gBAAgB,eAAe,IAAI,aAAa;GACtD,IAAI,kBAAkB,KAAA,GACpB,MAAM,IAAI,MACR,wCAAwC,aAAa,iBACpC,aAAa,oBAAoB,cAAc,IACjE;GAEH,wBAAwB,IAAI,cAAc,QAAQ;GAClD,eAAe,IAAI,cAAc,aAAa;;;CAIlD,OAAO;EACL;EACA,sBAAsB,MAAM,KAAK,aAAa,QAAQ,CAAC;EACxD;;AAGH,SAAgB,mBACd,aACa;CACb,MAAM,uBAAO,IAAI,KAAoB;CACrC,MAAM,kCAAkB,IAAI,KAAgC;CAC5D,MAAM,2BAAW,IAAI,KAAwB;CAC7C,MAAM,gCAAgB,IAAI,KAAsE;CAChG,MAAM,yBAAS,IAAI,KAAqB;CACxC,KAAK,MAAM,cAAc,aAAa;EACpC,MAAM,aAAa,WAAW,OAAO;EACrC,MAAM,eAAe,WAAW;EAEhC,KAAK,MAAM,mBAAmB,YAAY,oBAAoB,EAAE,EAAE;GAChE,uBAAuB;IACrB,SAAS,gBAAgB;IACzB;IACA;IACA,aAAa;IACb,sBAAsB;IACvB,CAAC;GACF,OAAO,IAAI,gBAAgB,SAAS,aAAa;GACjD,IAAI,MAAM,QAAQ,gBAAgB,YAAY,EAC5C,gBAAgB,IAAI,gBAAgB,SAAS,gBAAgB,YAAY;GAE3E,IAAI,gBAAgB,SAAS,KAAA,GAC3B,SAAS,IAAI,gBAAgB,SAAS,gBAAgB,KAAK;GAE7D,IAAI,OAAO,gBAAgB,qBAAqB,YAC9C,cAAc,IAAI,gBAAgB,SAAS,gBAAgB,iBAAiB;GAO9E,IAAI,CAAC,KAAK,IAAI,gBAAgB,QAAQ,EACpC,IAAI,gBAAgB,iBAClB,IAAI;IACF,MAAM,iBAAiB,gBAAgB,QAAQ,EAAE,CAAU,CAAC,EAC1D,MAAM,WAAW,gBAAgB,QAAQ,IAC1C,CAA8D;IAC/D,KAAK,IAAI,gBAAgB,SAAS,eAAe;WAC3C;QAGH;IACL,MAAM,iBAAiB,gBAAgB,QAAQ,KAAA,EAAmB,CAAC,EACjE,MAAM,WAAW,gBAAgB,QAAQ,IAC1C,CAA8D;IAC/D,KAAK,IAAI,gBAAgB,SAAS,eAAe;;;;CAKzD,OAAO;EACL,MAAM,OAAO,KAAK,IAAI,GAAG;EACzB,iBAAiB,OAAO,gBAAgB,IAAI,GAAG;EAC/C,UAAU,OAAO,SAAS,IAAI,GAAG;EACjC,sBAAsB,IAAI,WAAW,cAAc,IAAI,GAAG,GAAG,OAAO;EACrE;;AAkBH,SAAgB,mBACd,OACoC;CACpC,MAAM,EAAE,QAAQ,QAAQ,SAAS,QAAQ,iBAAiB,EAAE,KAAK;CAEjE,MAAM,iBAAiB;EAAC;EAAQ;EAAQ,GAAI,UAAU,CAAC,QAAQ,GAAG,EAAE;EAAG,GAAG;EAAe;CAEzF,MAAM,cAAc,mBAAmB,eAAe;CACtD,MAAM,wBAAwB,8BAA8B,eAAe;CAE3E,OAAO;EACL;EACA;EACA;EACA;EACgB;EAEhB,kBAAkB,wBAAwB,eAAe;EACzD,2BAA2B,iCAAiC,eAAe;EAC3E,cAAc,oBAAoB,QAAQ,QAAQ,SAAS,eAAe;EAC1E;EACA,wBAAwB,+BAA+B,eAAe;EACtE;EACA,yBAAyB,gCAAgC,eAAe;EACzE"}
+{"version":3,"file":"control.mjs","names":[],"sources":["../src/control/control-capabilities.ts","../src/control/control-result-types.ts","../src/control/control-schema-view.ts","../src/control/control-spaces.ts","../src/control/control-stack.ts"],"sourcesContent":["import type { ControlTargetDescriptor } from './control-descriptors';\nimport type { ControlFamilyInstance } from './control-instances';\nimport type {\n  MigrationPlanOperation,\n  MigrationRunner,\n  MultiSpaceCapableRunner,\n  TargetMigrationsCapability,\n} from './control-migration-types';\nimport type { OperationPreview } from './control-operation-preview';\nimport type { CoreSchemaView } from './control-schema-view';\nimport type { PslDocumentAst } from './psl-ast';\n\nexport interface MigratableTargetDescriptor<\n  TFamilyId extends string,\n  TTargetId extends string,\n  TFamilyInstance extends ControlFamilyInstance<TFamilyId, unknown> = ControlFamilyInstance<\n    TFamilyId,\n    unknown\n  >,\n> extends ControlTargetDescriptor<TFamilyId, TTargetId> {\n  readonly migrations: TargetMigrationsCapability<TFamilyId, TTargetId, TFamilyInstance>;\n}\n\nexport function hasMigrations<TFamilyId extends string, TTargetId extends string>(\n  target: ControlTargetDescriptor<TFamilyId, TTargetId>,\n): target is MigratableTargetDescriptor<TFamilyId, TTargetId> {\n  return 'migrations' in target && !!(target as Record<string, unknown>)['migrations'];\n}\n\nexport interface SchemaViewCapable<TSchemaIR = unknown> {\n  toSchemaView(schema: TSchemaIR): CoreSchemaView;\n}\n\nexport function hasSchemaView<TFamilyId extends string, TSchemaIR>(\n  instance: ControlFamilyInstance<TFamilyId, TSchemaIR>,\n): instance is ControlFamilyInstance<TFamilyId, TSchemaIR> & SchemaViewCapable<TSchemaIR> {\n  return (\n    'toSchemaView' in instance &&\n    typeof (instance as Record<string, unknown>)['toSchemaView'] === 'function'\n  );\n}\n\n/**\n * Capability declaring that a family can infer a PSL contract AST from its\n * opaque introspected schema IR. Consumed by `prisma-next contract infer`.\n */\nexport interface PslContractInferCapable<TSchemaIR = unknown> {\n  inferPslContract(schemaIR: TSchemaIR): PslDocumentAst;\n}\n\nexport function hasPslContractInfer<TFamilyId extends string, TSchemaIR>(\n  instance: ControlFamilyInstance<TFamilyId, TSchemaIR>,\n): instance is ControlFamilyInstance<TFamilyId, TSchemaIR> & PslContractInferCapable<TSchemaIR> {\n  return (\n    'inferPslContract' in instance &&\n    typeof (instance as Record<string, unknown>)['inferPslContract'] === 'function'\n  );\n}\n\n/**\n * Capability declaring that a family can render a textual preview of migration\n * operations for the CLI's \"DDL preview\" output. SQL families emit\n * `language: 'sql'` statements; Mongo families emit `language: 'mongodb-shell'`.\n */\nexport interface OperationPreviewCapable {\n  toOperationPreview(operations: readonly MigrationPlanOperation[]): OperationPreview;\n}\n\nexport function hasOperationPreview<TFamilyId extends string, TSchemaIR>(\n  instance: ControlFamilyInstance<TFamilyId, TSchemaIR>,\n): instance is ControlFamilyInstance<TFamilyId, TSchemaIR> & OperationPreviewCapable {\n  return (\n    'toOperationPreview' in instance &&\n    typeof (instance as Record<string, unknown>)['toOperationPreview'] === 'function'\n  );\n}\n\n/**\n * Capability declaring that a runner can apply per-space plans inside a\n * single outer transaction. The SQL family (`SqlMigrationRunner`) implements\n * this with a true outer transaction. The Mongo family implements a\n * degenerate single-space shim (Mongo per-space is a non-goal per the\n * extension-contract-spaces project spec — TML-2397).\n *\n * The CLI's shared `applyAggregate` primitive uses this guard so that\n * `db init` / `db update` / `migrate` route uniformly through one\n * dispatch path regardless of family.\n */\nexport function hasMultiSpaceRunner<TFamilyId extends string, TTargetId extends string>(\n  runner: MigrationRunner<TFamilyId, TTargetId>,\n): runner is MigrationRunner<TFamilyId, TTargetId> & MultiSpaceCapableRunner<TFamilyId, TTargetId> {\n  return (\n    'executeAcrossSpaces' in runner &&\n    typeof (runner as Record<string, unknown>)['executeAcrossSpaces'] === 'function'\n  );\n}\n","export const VERIFY_CODE_MARKER_MISSING = 'PN-RUN-3001';\nexport const VERIFY_CODE_HASH_MISMATCH = 'PN-RUN-3002';\nexport const VERIFY_CODE_TARGET_MISMATCH = 'PN-RUN-3003';\nexport const VERIFY_CODE_SCHEMA_FAILURE = 'PN-RUN-3010';\n\nexport interface OperationContext {\n  readonly contractPath?: string;\n  readonly configPath?: string;\n  readonly meta?: Readonly<Record<string, unknown>>;\n}\n\nexport interface VerifyDatabaseResult {\n  readonly ok: boolean;\n  readonly code?: string;\n  readonly summary: string;\n  readonly contract: {\n    readonly storageHash: string;\n    readonly profileHash?: string;\n  };\n  readonly marker?: {\n    readonly storageHash?: string;\n    readonly profileHash?: string;\n  };\n  readonly target: {\n    readonly expected: string;\n    readonly actual?: string;\n  };\n  readonly missingCodecs?: readonly string[];\n  readonly codecCoverageSkipped?: boolean;\n  readonly meta?: {\n    readonly configPath?: string;\n    readonly contractPath: string;\n  };\n  readonly timings: {\n    readonly total: number;\n  };\n}\n\nexport interface BaseSchemaIssue {\n  readonly kind:\n    | 'missing_table'\n    | 'missing_column'\n    | 'extra_table'\n    | 'extra_column'\n    | 'extra_primary_key'\n    | 'extra_foreign_key'\n    | 'extra_unique_constraint'\n    | 'extra_index'\n    | 'extra_validator'\n    | 'type_mismatch'\n    | 'type_missing'\n    | 'type_values_mismatch'\n    | 'nullability_mismatch'\n    | 'primary_key_mismatch'\n    | 'foreign_key_mismatch'\n    | 'unique_constraint_mismatch'\n    | 'index_mismatch'\n    | 'default_missing'\n    | 'default_mismatch'\n    | 'extra_default';\n  readonly table?: string;\n  readonly column?: string;\n  readonly indexOrConstraint?: string;\n  readonly typeName?: string;\n  readonly expected?: string;\n  readonly actual?: string;\n  readonly message: string;\n}\n\nexport interface EnumValuesChangedIssue {\n  readonly kind: 'enum_values_changed';\n  readonly typeName: string;\n  readonly addedValues: readonly string[];\n  readonly removedValues: readonly string[];\n  readonly message: string;\n}\n\nexport type SchemaIssue = BaseSchemaIssue | EnumValuesChangedIssue;\n\nexport interface SchemaVerificationNode {\n  readonly status: 'pass' | 'warn' | 'fail';\n  readonly kind: string;\n  readonly name: string;\n  readonly contractPath: string;\n  readonly code: string;\n  readonly message: string;\n  readonly expected: unknown;\n  readonly actual: unknown;\n  readonly children: readonly SchemaVerificationNode[];\n}\n\nexport interface VerifyDatabaseSchemaResult {\n  readonly ok: boolean;\n  readonly code?: string;\n  readonly summary: string;\n  readonly contract: {\n    readonly storageHash: string;\n    readonly profileHash?: string;\n  };\n  readonly target: {\n    readonly expected: string;\n    readonly actual?: string;\n  };\n  readonly schema: {\n    readonly issues: readonly SchemaIssue[];\n    readonly root: SchemaVerificationNode;\n    readonly counts: {\n      readonly pass: number;\n      readonly warn: number;\n      readonly fail: number;\n      readonly totalNodes: number;\n    };\n  };\n  readonly meta?: {\n    readonly configPath?: string;\n    readonly contractPath?: string;\n    readonly strict: boolean;\n  };\n  readonly timings: {\n    readonly total: number;\n  };\n}\n\nexport interface EmitContractResult {\n  readonly contractJson: string;\n  readonly contractDts: string;\n  readonly storageHash: string;\n  readonly executionHash?: string;\n  readonly profileHash: string;\n}\n\nexport interface IntrospectSchemaResult<TSchemaIR> {\n  readonly ok: true;\n  readonly summary: string;\n  readonly target: {\n    readonly familyId: string;\n    readonly id: string;\n  };\n  readonly schema: TSchemaIR;\n  readonly meta?: {\n    readonly configPath?: string;\n    readonly dbUrl?: string;\n  };\n  readonly timings: {\n    readonly total: number;\n  };\n}\n\nexport interface SignDatabaseResult {\n  readonly ok: boolean;\n  readonly summary: string;\n  readonly contract: {\n    readonly storageHash: string;\n    readonly profileHash?: string;\n  };\n  readonly target: {\n    readonly expected: string;\n    readonly actual?: string;\n  };\n  readonly marker: {\n    readonly created: boolean;\n    readonly updated: boolean;\n    readonly previous?: {\n      readonly storageHash?: string;\n      readonly profileHash?: string;\n    };\n  };\n  readonly meta?: {\n    readonly configPath?: string;\n    readonly contractPath: string;\n  };\n  readonly timings: {\n    readonly total: number;\n  };\n}\n","/**\n * Core schema view types for family-agnostic schema visualization.\n *\n * These types provide a minimal, generic, tree-shaped representation of schemas\n * across families, designed for CLI visualization and lightweight tooling.\n *\n * Families can optionally project their family-specific Schema IR into this\n * core view via the `toSchemaView` method on `FamilyInstance`.\n */\n\nexport type SchemaViewNodeKind =\n  | 'root'\n  | 'namespace'\n  | 'collection'\n  | 'entity'\n  | 'field'\n  | 'index'\n  | 'dependency';\n\nexport interface SchemaTreeVisitor<R> {\n  visit(node: SchemaTreeNode): R;\n}\n\nexport interface SchemaTreeNodeOptions {\n  readonly kind: SchemaViewNodeKind;\n  readonly id: string;\n  readonly label: string;\n  readonly meta?: Record<string, unknown>;\n  readonly children?: readonly SchemaTreeNode[];\n}\n\nexport class SchemaTreeNode {\n  readonly kind: SchemaViewNodeKind;\n  readonly id: string;\n  readonly label: string;\n  readonly meta?: Record<string, unknown>;\n  readonly children?: readonly SchemaTreeNode[];\n\n  constructor(options: SchemaTreeNodeOptions) {\n    this.kind = options.kind;\n    this.id = options.id;\n    this.label = options.label;\n    if (options.meta !== undefined) this.meta = options.meta;\n    if (options.children !== undefined) this.children = options.children;\n    Object.freeze(this);\n  }\n\n  accept<R>(visitor: SchemaTreeVisitor<R>): R {\n    return visitor.visit(this);\n  }\n}\n\n/**\n * Core schema view providing a family-agnostic tree representation of a schema.\n * Used by CLI and cross-family tooling for visualization.\n */\nexport interface CoreSchemaView {\n  readonly root: SchemaTreeNode;\n}\n","import type { Contract } from '@prisma-next/contract/types';\nimport type { MigrationMetadata, MigrationPlanOperation } from './control-migration-types';\n\n/**\n * Canonical control-plane identifiers for contract spaces.\n *\n * A contract space is the disjoint `(contract.json, migration-graph)` unit\n * the per-space planner / runner / verifier (project: extension contract\n * spaces, TML-2397) operates on. The application owns one well-known\n * space — the value below — and each loaded extension that contributes\n * schema owns a uniquely-named space.\n *\n * Lives in `framework-components/control` so every layer that has to\n * reason about space identity (the migration tooling, the SQL runtime's\n * marker reader, target-side statement builders, target-side adapters)\n * can import a single value rather than duplicating the literal. Raw\n * `'app'` string literals in framework / target / runtime / adapter\n * source code are forbidden and policed by\n * `scripts/lint-app-space-id.mjs` (wired into `pnpm lint:deps`).\n *\n * @see specs/framework-mechanism.spec.md § 3 — Layout convention (γ).\n */\nexport const APP_SPACE_ID = 'app' as const;\n\n/**\n * Head ref for a contract space — the `(hash, invariants)` tuple\n * a runner targets when applying that space's migration graph. Identical\n * in shape to the on-disk `migrations/<space-id>/refs/head.json` the\n * framework writes per loaded extension, and to the app-space\n * `<projectRoot>/refs/head.json`. Family-agnostic: SQL, Mongo, and any\n * future family share the same head-ref shape.\n *\n * @see specs/framework-mechanism.spec.md § 1.\n */\nexport interface ContractSpaceHeadRef {\n  readonly hash: string;\n  readonly invariants: readonly string[];\n}\n\n/**\n * Canonical structural shape of a migration package — the unit a planner\n * produces and a runner consumes: a directory name, the metadata\n * envelope, and the operation list.\n *\n * In-memory by default. Readers in `@prisma-next/migration-tools`\n * (`readMigrationPackage` / `readMigrationsDir`) return the augmented\n * {@link import('@prisma-next/migration-tools/package').OnDiskMigrationPackage}\n * variant which adds `dirPath`; everything else operates against the\n * canonical shape so the same value flows through pre-emission\n * authoring, on-disk loading, and runner execution without conversion.\n *\n * @see specs/framework-mechanism.spec.md § 1.\n */\nexport interface MigrationPackage {\n  readonly dirName: string;\n  readonly metadata: MigrationMetadata;\n  readonly ops: readonly MigrationPlanOperation[];\n}\n\n/**\n * Canonical structural shape of a contract space — one disjoint\n * `(contractJson, migration-graph)` unit the per-space planner / runner\n * / verifier operates on. The application owns one well-known space\n * ({@link APP_SPACE_ID}); each loaded extension that contributes schema\n * owns a uniquely-named space. Whether a value is the app's space or an\n * extension's space is a control-plane concern; the type carries no\n * such distinction.\n *\n * Generic over the contract so each family pins a typed contract value\n * at consumption time. The SQL family specialises to\n * `ContractSpace<Contract<SqlStorage>>` at the descriptor surface;\n * Mongo's symmetrical `ContractSpace<Contract<MongoStorage>>` will land\n * with that family.\n *\n * @see specs/framework-mechanism.spec.md § 1.\n */\nexport interface ContractSpace<TContract extends Contract = Contract> {\n  readonly contractJson: TContract;\n  readonly migrations: readonly MigrationPackage[];\n  readonly headRef: ContractSpaceHeadRef;\n}\n","import type { Codec } from '../shared/codec';\nimport type { CodecLookup, CodecMeta } from '../shared/codec-types';\nimport type {\n  AuthoringContributions,\n  AuthoringEntityTypeNamespace,\n  AuthoringFieldNamespace,\n  AuthoringTypeNamespace,\n} from '../shared/framework-authoring';\nimport {\n  assertNoCrossRegistryCollisions,\n  isAuthoringEntityTypeDescriptor,\n  isAuthoringFieldPresetDescriptor,\n  isAuthoringTypeConstructorDescriptor,\n  mergeAuthoringNamespaces,\n} from '../shared/framework-authoring';\nimport type { ComponentMetadata } from '../shared/framework-components';\nimport type {\n  ControlMutationDefaultEntry,\n  ControlMutationDefaults,\n  MutationDefaultGeneratorDescriptor,\n} from '../shared/mutation-default-types';\nimport type { TypesImportSpec } from '../shared/types-import-spec';\nimport type {\n  ControlAdapterDescriptor,\n  ControlDriverDescriptor,\n  ControlExtensionDescriptor,\n  ControlFamilyDescriptor,\n  ControlTargetDescriptor,\n} from './control-descriptors';\n\nexport interface AssembledAuthoringContributions {\n  readonly field: AuthoringFieldNamespace;\n  readonly type: AuthoringTypeNamespace;\n  readonly entityTypes: AuthoringEntityTypeNamespace;\n}\n\nexport interface ControlStack<\n  TFamilyId extends string = string,\n  TTargetId extends string = string,\n> {\n  readonly family: ControlFamilyDescriptor<TFamilyId>;\n  readonly target: ControlTargetDescriptor<TFamilyId, TTargetId>;\n  readonly adapter?: ControlAdapterDescriptor<TFamilyId, TTargetId> | undefined;\n  readonly driver?: ControlDriverDescriptor<TFamilyId, TTargetId> | undefined;\n  readonly extensionPacks: readonly ControlExtensionDescriptor<TFamilyId, TTargetId>[];\n\n  readonly codecTypeImports: ReadonlyArray<TypesImportSpec>;\n  readonly queryOperationTypeImports: ReadonlyArray<TypesImportSpec>;\n  readonly extensionIds: ReadonlyArray<string>;\n  readonly codecLookup: CodecLookup;\n  readonly authoringContributions: AssembledAuthoringContributions;\n  readonly scalarTypeDescriptors: ReadonlyMap<string, string>;\n  readonly controlMutationDefaults: ControlMutationDefaults;\n}\n\nexport interface CreateControlStackInput<\n  TFamilyId extends string = string,\n  TTargetId extends string = string,\n> {\n  readonly family: ControlFamilyDescriptor<TFamilyId>;\n  readonly target: ControlTargetDescriptor<TFamilyId, TTargetId>;\n  readonly adapter?: ControlAdapterDescriptor<TFamilyId, TTargetId> | undefined;\n  readonly driver?: ControlDriverDescriptor<TFamilyId, TTargetId> | undefined;\n  readonly extensionPacks?:\n    | ReadonlyArray<ControlExtensionDescriptor<TFamilyId, TTargetId>>\n    | undefined;\n}\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\nexport function 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 function extractCodecTypeImports(\n  descriptors: ReadonlyArray<Pick<ComponentMetadata, 'types'>>,\n): ReadonlyArray<TypesImportSpec> {\n  const imports: TypesImportSpec[] = [];\n\n  for (const descriptor of descriptors) {\n    const codecTypes = descriptor.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 extractQueryOperationTypeImports(\n  descriptors: ReadonlyArray<Pick<ComponentMetadata, 'types'>>,\n): ReadonlyArray<TypesImportSpec> {\n  const imports: TypesImportSpec[] = [];\n\n  for (const descriptor of descriptors) {\n    const queryOperationTypes = descriptor.types?.queryOperationTypes;\n    if (queryOperationTypes?.import) {\n      imports.push(queryOperationTypes.import);\n    }\n  }\n\n  return imports;\n}\n\nexport function extractComponentIds(\n  family: { readonly id: string },\n  target: { readonly id: string },\n  adapter: { readonly id: string } | undefined,\n  extensions: ReadonlyArray<{ readonly id: string }>,\n): ReadonlyArray<string> {\n  const ids: string[] = [];\n  const seen = new Set<string>();\n\n  addUniqueId(ids, seen, family.id);\n  addUniqueId(ids, seen, target.id);\n  if (adapter) {\n    addUniqueId(ids, seen, adapter.id);\n  }\n\n  for (const ext of extensions) {\n    addUniqueId(ids, seen, ext.id);\n  }\n\n  return ids;\n}\n\nexport function assembleAuthoringContributions(\n  descriptors: ReadonlyArray<{ readonly authoring?: AuthoringContributions }>,\n): AssembledAuthoringContributions {\n  const field = {} as Record<string, unknown>;\n  const type = {} as Record<string, unknown>;\n  const entityTypes = {} as Record<string, unknown>;\n\n  for (const descriptor of descriptors) {\n    if (descriptor.authoring?.field) {\n      mergeAuthoringNamespaces(\n        field,\n        descriptor.authoring.field,\n        [],\n        isAuthoringFieldPresetDescriptor,\n        'field',\n      );\n    }\n    if (descriptor.authoring?.type) {\n      mergeAuthoringNamespaces(\n        type,\n        descriptor.authoring.type,\n        [],\n        isAuthoringTypeConstructorDescriptor,\n        'type',\n      );\n    }\n    if (descriptor.authoring?.entityTypes) {\n      mergeAuthoringNamespaces(\n        entityTypes,\n        descriptor.authoring.entityTypes,\n        [],\n        isAuthoringEntityTypeDescriptor,\n        'entity',\n      );\n    }\n  }\n\n  const fieldNamespace = field as AuthoringFieldNamespace;\n  const typeNamespace = type as AuthoringTypeNamespace;\n  const entityTypeNamespace = entityTypes as AuthoringEntityTypeNamespace;\n  assertNoCrossRegistryCollisions(typeNamespace, fieldNamespace, entityTypeNamespace);\n\n  return {\n    field: fieldNamespace,\n    type: typeNamespace,\n    entityTypes: entityTypeNamespace,\n  };\n}\n\nexport function assembleScalarTypeDescriptors(\n  descriptors: ReadonlyArray<\n    Pick<ComponentMetadata, 'scalarTypeDescriptors'> & { readonly id?: string }\n  >,\n): ReadonlyMap<string, string> {\n  const result = new Map<string, string>();\n  const owners = new Map<string, string>();\n\n  for (const descriptor of descriptors) {\n    const descriptorMap = descriptor.scalarTypeDescriptors;\n    if (!descriptorMap) continue;\n    const descriptorId = descriptor.id ?? '<unknown>';\n    for (const [typeName, codecId] of descriptorMap) {\n      const existingOwner = owners.get(typeName);\n      if (existingOwner !== undefined) {\n        throw new Error(\n          `Duplicate scalar type descriptor \"${typeName}\". ` +\n            `Descriptor \"${descriptorId}\" conflicts with \"${existingOwner}\".`,\n        );\n      }\n      result.set(typeName, codecId);\n      owners.set(typeName, descriptorId);\n    }\n  }\n\n  return result;\n}\n\nexport function assembleControlMutationDefaults(\n  descriptors: ReadonlyArray<\n    Pick<ComponentMetadata, 'controlMutationDefaults'> & { readonly id?: string }\n  >,\n): ControlMutationDefaults {\n  const defaultFunctionRegistry = new Map<string, ControlMutationDefaultEntry>();\n  const functionOwners = new Map<string, string>();\n  const generatorMap = new Map<string, MutationDefaultGeneratorDescriptor>();\n  const generatorOwners = new Map<string, string>();\n\n  for (const descriptor of descriptors) {\n    const contributions = descriptor.controlMutationDefaults;\n    if (!contributions) continue;\n    const descriptorId = descriptor.id ?? '<unknown>';\n\n    for (const generatorDescriptor of contributions.generatorDescriptors) {\n      const existingOwner = generatorOwners.get(generatorDescriptor.id);\n      if (existingOwner !== undefined) {\n        throw new Error(\n          `Duplicate mutation default generator id \"${generatorDescriptor.id}\". ` +\n            `Descriptor \"${descriptorId}\" conflicts with \"${existingOwner}\".`,\n        );\n      }\n      generatorMap.set(generatorDescriptor.id, generatorDescriptor);\n      generatorOwners.set(generatorDescriptor.id, descriptorId);\n    }\n\n    for (const [functionName, handler] of contributions.defaultFunctionRegistry) {\n      const existingOwner = functionOwners.get(functionName);\n      if (existingOwner !== undefined) {\n        throw new Error(\n          `Duplicate mutation default function \"${functionName}\". ` +\n            `Descriptor \"${descriptorId}\" conflicts with \"${existingOwner}\".`,\n        );\n      }\n      defaultFunctionRegistry.set(functionName, handler);\n      functionOwners.set(functionName, descriptorId);\n    }\n  }\n\n  return {\n    defaultFunctionRegistry,\n    generatorDescriptors: Array.from(generatorMap.values()),\n  };\n}\n\nexport function extractCodecLookup(\n  descriptors: ReadonlyArray<Pick<ComponentMetadata & { id: string }, 'types' | 'id'>>,\n): CodecLookup {\n  const byId = new Map<string, Codec>();\n  const targetTypesById = new Map<string, readonly string[]>();\n  const metaById = new Map<string, CodecMeta>();\n  const renderersById = new Map<string, (params: Record<string, unknown>) => string | undefined>();\n  const owners = new Map<string, string>();\n  for (const descriptor of descriptors) {\n    const codecTypes = descriptor.types?.codecTypes;\n    const descriptorId = descriptor.id;\n    // Descriptor-side metadata is the single source of truth for `targetTypes` / `meta` / `renderOutputType`. Every contributor ships a `codecDescriptors` list on `types.codecTypes`.\n    for (const codecDescriptor of codecTypes?.codecDescriptors ?? []) {\n      assertUniqueCodecOwner({\n        codecId: codecDescriptor.codecId,\n        owners,\n        descriptorId,\n        entityLabel: 'codec descriptor',\n        entityOwnershipLabel: 'codec descriptor provider',\n      });\n      owners.set(codecDescriptor.codecId, descriptorId);\n      if (Array.isArray(codecDescriptor.targetTypes)) {\n        targetTypesById.set(codecDescriptor.codecId, codecDescriptor.targetTypes);\n      }\n      if (codecDescriptor.meta !== undefined) {\n        metaById.set(codecDescriptor.codecId, codecDescriptor.meta);\n      }\n      if (typeof codecDescriptor.renderOutputType === 'function') {\n        renderersById.set(codecDescriptor.codecId, codecDescriptor.renderOutputType);\n      }\n      // Materialize a representative `Codec` instance for `byId.get()` so consumers reading the lookup's instance side (e.g. SQL renderer's cast-policy lookup, or the contract emitter's literal-default `encodeJson` resolver) keep finding the codec.\n      //\n      // Two cohorts:\n      // - Non-parameterized descriptors: factory must succeed; any throw is a real bug and we let it propagate (no silent try/catch).\n      // - Parameterized descriptors: try with empty params. Many parameterized codecs treat params as advisory (e.g. `pg/timestamptz@1` whose precision is rendered into the `nativeType` only and never read by the runtime codec), so an empty-params construction yields a usable representative for id-keyed lookups (e.g. emit-time literal-default encoding). Codecs whose factory genuinely requires params (e.g. `pg/vector@1` threading `length` into the runtime codec) will throw; for those, per-column instances are materialized at runtime by `buildContractCodecRegistry` and the id-keyed lookup miss is correct (the column-aware path resolves them).\n      if (!byId.has(codecDescriptor.codecId)) {\n        if (codecDescriptor.isParameterized) {\n          try {\n            const representative = codecDescriptor.factory({} as never)({\n              name: `<lookup:${codecDescriptor.codecId}>`,\n            } as Parameters<ReturnType<typeof codecDescriptor.factory>>[0]);\n            byId.set(codecDescriptor.codecId, representative);\n          } catch {\n            // Factory requires concrete params; skip representative materialization. Per-column instances are built at runtime; id-keyed lookup miss is the correct outcome here.\n          }\n        } else {\n          const representative = codecDescriptor.factory(undefined as never)({\n            name: `<lookup:${codecDescriptor.codecId}>`,\n          } as Parameters<ReturnType<typeof codecDescriptor.factory>>[0]);\n          byId.set(codecDescriptor.codecId, representative);\n        }\n      }\n    }\n  }\n  return {\n    get: (id) => byId.get(id),\n    targetTypesFor: (id) => targetTypesById.get(id),\n    metaFor: (id) => metaById.get(id),\n    renderOutputTypeFor: (id, params) => renderersById.get(id)?.(params),\n  };\n}\n\nexport function validateScalarTypeCodecIds(\n  scalarTypeDescriptors: ReadonlyMap<string, string>,\n  codecLookup: CodecLookup,\n): string[] {\n  const errors: string[] = [];\n  for (const [typeName, codecId] of scalarTypeDescriptors) {\n    if (!codecLookup.get(codecId)) {\n      errors.push(\n        `Scalar type \"${typeName}\" references codec \"${codecId}\" which is not registered by any component.`,\n      );\n    }\n  }\n  return errors;\n}\n\nexport function createControlStack<TFamilyId extends string, TTargetId extends string>(\n  input: CreateControlStackInput<TFamilyId, TTargetId>,\n): ControlStack<TFamilyId, TTargetId> {\n  const { family, target, adapter, driver, extensionPacks = [] } = input;\n\n  const allDescriptors = [family, target, ...(adapter ? [adapter] : []), ...extensionPacks];\n\n  const codecLookup = extractCodecLookup(allDescriptors);\n  const scalarTypeDescriptors = assembleScalarTypeDescriptors(allDescriptors);\n\n  return {\n    family,\n    target,\n    adapter,\n    driver,\n    extensionPacks: extensionPacks as readonly ControlExtensionDescriptor<TFamilyId, TTargetId>[],\n\n    codecTypeImports: extractCodecTypeImports(allDescriptors),\n    queryOperationTypeImports: extractQueryOperationTypeImports(allDescriptors),\n    extensionIds: extractComponentIds(family, target, adapter, extensionPacks),\n    codecLookup,\n    authoringContributions: assembleAuthoringContributions(allDescriptors),\n    scalarTypeDescriptors,\n    controlMutationDefaults: assembleControlMutationDefaults(allDescriptors),\n  };\n}\n"],"mappings":";;AAuBA,SAAgB,cACd,QAC4D;CAC5D,OAAO,gBAAgB,UAAU,CAAC,CAAE,OAAmC;;AAOzE,SAAgB,cACd,UACwF;CACxF,OACE,kBAAkB,YAClB,OAAQ,SAAqC,oBAAoB;;AAYrE,SAAgB,oBACd,UAC8F;CAC9F,OACE,sBAAsB,YACtB,OAAQ,SAAqC,wBAAwB;;AAazE,SAAgB,oBACd,UACmF;CACnF,OACE,wBAAwB,YACxB,OAAQ,SAAqC,0BAA0B;;;;;;;;;;;;;AAe3E,SAAgB,oBACd,QACiG;CACjG,OACE,yBAAyB,UACzB,OAAQ,OAAmC,2BAA2B;;;;AC7F1E,MAAa,6BAA6B;AAC1C,MAAa,4BAA4B;AACzC,MAAa,8BAA8B;AAC3C,MAAa,6BAA6B;;;AC4B1C,IAAa,iBAAb,MAA4B;CAC1B;CACA;CACA;CACA;CACA;CAEA,YAAY,SAAgC;EAC1C,KAAK,OAAO,QAAQ;EACpB,KAAK,KAAK,QAAQ;EAClB,KAAK,QAAQ,QAAQ;EACrB,IAAI,QAAQ,SAAS,KAAA,GAAW,KAAK,OAAO,QAAQ;EACpD,IAAI,QAAQ,aAAa,KAAA,GAAW,KAAK,WAAW,QAAQ;EAC5D,OAAO,OAAO,KAAK;;CAGrB,OAAU,SAAkC;EAC1C,OAAO,QAAQ,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;AC1B9B,MAAa,eAAe;;;AC8C5B,SAAS,YAAY,KAAe,MAAmB,IAAkB;CACvE,IAAI,CAAC,KAAK,IAAI,GAAG,EAAE;EACjB,IAAI,KAAK,GAAG;EACZ,KAAK,IAAI,GAAG;;;AAIhB,SAAgB,uBAAuB,SAM9B;CACP,MAAM,gBAAgB,QAAQ,OAAO,IAAI,QAAQ,QAAQ;CACzD,IAAI,kBAAkB,KAAA,GACpB,MAAM,IAAI,MACR,aAAa,QAAQ,YAAY,gBAAgB,QAAQ,QAAQ,iBAChD,QAAQ,aAAa,oBAAoB,cAAc,oCACpC,QAAQ,qBAAqB,GAClE;;AAIL,SAAgB,wBACd,aACgC;CAChC,MAAM,UAA6B,EAAE;CAErC,KAAK,MAAM,cAAc,aAAa;EACpC,MAAM,aAAa,WAAW,OAAO;EACrC,IAAI,YAAY,QACd,QAAQ,KAAK,WAAW,OAAO;EAEjC,IAAI,YAAY,aACd,QAAQ,KAAK,GAAG,WAAW,YAAY;;CAI3C,OAAO;;AAGT,SAAgB,iCACd,aACgC;CAChC,MAAM,UAA6B,EAAE;CAErC,KAAK,MAAM,cAAc,aAAa;EACpC,MAAM,sBAAsB,WAAW,OAAO;EAC9C,IAAI,qBAAqB,QACvB,QAAQ,KAAK,oBAAoB,OAAO;;CAI5C,OAAO;;AAGT,SAAgB,oBACd,QACA,QACA,SACA,YACuB;CACvB,MAAM,MAAgB,EAAE;CACxB,MAAM,uBAAO,IAAI,KAAa;CAE9B,YAAY,KAAK,MAAM,OAAO,GAAG;CACjC,YAAY,KAAK,MAAM,OAAO,GAAG;CACjC,IAAI,SACF,YAAY,KAAK,MAAM,QAAQ,GAAG;CAGpC,KAAK,MAAM,OAAO,YAChB,YAAY,KAAK,MAAM,IAAI,GAAG;CAGhC,OAAO;;AAGT,SAAgB,+BACd,aACiC;CACjC,MAAM,QAAQ,EAAE;CAChB,MAAM,OAAO,EAAE;CACf,MAAM,cAAc,EAAE;CAEtB,KAAK,MAAM,cAAc,aAAa;EACpC,IAAI,WAAW,WAAW,OACxB,yBACE,OACA,WAAW,UAAU,OACrB,EAAE,EACF,kCACA,QACD;EAEH,IAAI,WAAW,WAAW,MACxB,yBACE,MACA,WAAW,UAAU,MACrB,EAAE,EACF,sCACA,OACD;EAEH,IAAI,WAAW,WAAW,aACxB,yBACE,aACA,WAAW,UAAU,aACrB,EAAE,EACF,iCACA,SACD;;CAIL,MAAM,iBAAiB;CACvB,MAAM,gBAAgB;CACtB,MAAM,sBAAsB;CAC5B,gCAAgC,eAAe,gBAAgB,oBAAoB;CAEnF,OAAO;EACL,OAAO;EACP,MAAM;EACN,aAAa;EACd;;AAGH,SAAgB,8BACd,aAG6B;CAC7B,MAAM,yBAAS,IAAI,KAAqB;CACxC,MAAM,yBAAS,IAAI,KAAqB;CAExC,KAAK,MAAM,cAAc,aAAa;EACpC,MAAM,gBAAgB,WAAW;EACjC,IAAI,CAAC,eAAe;EACpB,MAAM,eAAe,WAAW,MAAM;EACtC,KAAK,MAAM,CAAC,UAAU,YAAY,eAAe;GAC/C,MAAM,gBAAgB,OAAO,IAAI,SAAS;GAC1C,IAAI,kBAAkB,KAAA,GACpB,MAAM,IAAI,MACR,qCAAqC,SAAS,iBAC7B,aAAa,oBAAoB,cAAc,IACjE;GAEH,OAAO,IAAI,UAAU,QAAQ;GAC7B,OAAO,IAAI,UAAU,aAAa;;;CAItC,OAAO;;AAGT,SAAgB,gCACd,aAGyB;CACzB,MAAM,0CAA0B,IAAI,KAA0C;CAC9E,MAAM,iCAAiB,IAAI,KAAqB;CAChD,MAAM,+BAAe,IAAI,KAAiD;CAC1E,MAAM,kCAAkB,IAAI,KAAqB;CAEjD,KAAK,MAAM,cAAc,aAAa;EACpC,MAAM,gBAAgB,WAAW;EACjC,IAAI,CAAC,eAAe;EACpB,MAAM,eAAe,WAAW,MAAM;EAEtC,KAAK,MAAM,uBAAuB,cAAc,sBAAsB;GACpE,MAAM,gBAAgB,gBAAgB,IAAI,oBAAoB,GAAG;GACjE,IAAI,kBAAkB,KAAA,GACpB,MAAM,IAAI,MACR,4CAA4C,oBAAoB,GAAG,iBAClD,aAAa,oBAAoB,cAAc,IACjE;GAEH,aAAa,IAAI,oBAAoB,IAAI,oBAAoB;GAC7D,gBAAgB,IAAI,oBAAoB,IAAI,aAAa;;EAG3D,KAAK,MAAM,CAAC,cAAc,YAAY,cAAc,yBAAyB;GAC3E,MAAM,gBAAgB,eAAe,IAAI,aAAa;GACtD,IAAI,kBAAkB,KAAA,GACpB,MAAM,IAAI,MACR,wCAAwC,aAAa,iBACpC,aAAa,oBAAoB,cAAc,IACjE;GAEH,wBAAwB,IAAI,cAAc,QAAQ;GAClD,eAAe,IAAI,cAAc,aAAa;;;CAIlD,OAAO;EACL;EACA,sBAAsB,MAAM,KAAK,aAAa,QAAQ,CAAC;EACxD;;AAGH,SAAgB,mBACd,aACa;CACb,MAAM,uBAAO,IAAI,KAAoB;CACrC,MAAM,kCAAkB,IAAI,KAAgC;CAC5D,MAAM,2BAAW,IAAI,KAAwB;CAC7C,MAAM,gCAAgB,IAAI,KAAsE;CAChG,MAAM,yBAAS,IAAI,KAAqB;CACxC,KAAK,MAAM,cAAc,aAAa;EACpC,MAAM,aAAa,WAAW,OAAO;EACrC,MAAM,eAAe,WAAW;EAEhC,KAAK,MAAM,mBAAmB,YAAY,oBAAoB,EAAE,EAAE;GAChE,uBAAuB;IACrB,SAAS,gBAAgB;IACzB;IACA;IACA,aAAa;IACb,sBAAsB;IACvB,CAAC;GACF,OAAO,IAAI,gBAAgB,SAAS,aAAa;GACjD,IAAI,MAAM,QAAQ,gBAAgB,YAAY,EAC5C,gBAAgB,IAAI,gBAAgB,SAAS,gBAAgB,YAAY;GAE3E,IAAI,gBAAgB,SAAS,KAAA,GAC3B,SAAS,IAAI,gBAAgB,SAAS,gBAAgB,KAAK;GAE7D,IAAI,OAAO,gBAAgB,qBAAqB,YAC9C,cAAc,IAAI,gBAAgB,SAAS,gBAAgB,iBAAiB;GAO9E,IAAI,CAAC,KAAK,IAAI,gBAAgB,QAAQ,EACpC,IAAI,gBAAgB,iBAClB,IAAI;IACF,MAAM,iBAAiB,gBAAgB,QAAQ,EAAE,CAAU,CAAC,EAC1D,MAAM,WAAW,gBAAgB,QAAQ,IAC1C,CAA8D;IAC/D,KAAK,IAAI,gBAAgB,SAAS,eAAe;WAC3C;QAGH;IACL,MAAM,iBAAiB,gBAAgB,QAAQ,KAAA,EAAmB,CAAC,EACjE,MAAM,WAAW,gBAAgB,QAAQ,IAC1C,CAA8D;IAC/D,KAAK,IAAI,gBAAgB,SAAS,eAAe;;;;CAKzD,OAAO;EACL,MAAM,OAAO,KAAK,IAAI,GAAG;EACzB,iBAAiB,OAAO,gBAAgB,IAAI,GAAG;EAC/C,UAAU,OAAO,SAAS,IAAI,GAAG;EACjC,sBAAsB,IAAI,WAAW,cAAc,IAAI,GAAG,GAAG,OAAO;EACrE;;AAkBH,SAAgB,mBACd,OACoC;CACpC,MAAM,EAAE,QAAQ,QAAQ,SAAS,QAAQ,iBAAiB,EAAE,KAAK;CAEjE,MAAM,iBAAiB;EAAC;EAAQ;EAAQ,GAAI,UAAU,CAAC,QAAQ,GAAG,EAAE;EAAG,GAAG;EAAe;CAEzF,MAAM,cAAc,mBAAmB,eAAe;CACtD,MAAM,wBAAwB,8BAA8B,eAAe;CAE3E,OAAO;EACL;EACA;EACA;EACA;EACgB;EAEhB,kBAAkB,wBAAwB,eAAe;EACzD,2BAA2B,iCAAiC,eAAe;EAC3E,cAAc,oBAAoB,QAAQ,QAAQ,SAAS,eAAe;EAC1E;EACA,wBAAwB,+BAA+B,eAAe;EACtE;EACA,yBAAyB,gCAAgC,eAAe;EACzE"}

package/dist/execution.d.mts

@@ -1,4 +1,4 @@
-import { b as TargetInstance, c as DriverDescriptor, d as ExtensionDescriptor, f as ExtensionInstance, h as FamilyInstance, l as DriverInstance, m as FamilyDescriptor, n as AdapterInstance, t as AdapterDescriptor, y as TargetDescriptor } from "./framework-components-DwkHnl-e.mjs";
+import { b as TargetInstance, c as DriverDescriptor, d as ExtensionDescriptor, f as ExtensionInstance, h as FamilyInstance, l as DriverInstance, m as FamilyDescriptor, n as AdapterInstance, t as AdapterDescriptor, y as TargetDescriptor } from "./framework-components-DQRRmQOH.mjs";
 
 //#region src/execution/execution-instances.d.ts
 interface RuntimeFamilyInstance<TFamilyId extends string> extends FamilyInstance<TFamilyId> {}