@prisma-next/framework-components 0.5.0-dev.60 → 0.5.0-dev.62

package/dist/control.mjs

@@ -149,24 +149,41 @@ function assembleControlMutationDefaults(descriptors) {
 }
 function extractCodecLookup(descriptors) {
 	const byId = /* @__PURE__ */ new Map();
+	const targetTypesById = /* @__PURE__ */ new Map();
+	const metaById = /* @__PURE__ */ new Map();
+	const renderersById = /* @__PURE__ */ new Map();
 	const owners = /* @__PURE__ */ new Map();
 	for (const descriptor of descriptors) {
-		const codecInstances = descriptor.types?.codecTypes?.codecInstances;
-		if (!codecInstances) continue;
-		const descriptorId = descriptor.id ?? "<unknown>";
-		for (const codec of codecInstances) {
+		const codecTypes = descriptor.types?.codecTypes;
+		const descriptorId = descriptor.id;
+		for (const codecDescriptor of codecTypes?.codecDescriptors ?? []) {
 			assertUniqueCodecOwner({
-				codecId: codec.id,
+				codecId: codecDescriptor.codecId,
 				owners,
 				descriptorId,
-				entityLabel: "codec instance",
-				entityOwnershipLabel: "codec instance provider"
+				entityLabel: "codec descriptor",
+				entityOwnershipLabel: "codec descriptor provider"
 			});
-			owners.set(codec.id, descriptorId);
-			byId.set(codec.id, codec);
+			owners.set(codecDescriptor.codecId, descriptorId);
+			if (Array.isArray(codecDescriptor.targetTypes)) targetTypesById.set(codecDescriptor.codecId, codecDescriptor.targetTypes);
+			if (codecDescriptor.meta !== void 0) metaById.set(codecDescriptor.codecId, codecDescriptor.meta);
+			if (typeof codecDescriptor.renderOutputType === "function") renderersById.set(codecDescriptor.codecId, codecDescriptor.renderOutputType);
+			if (!byId.has(codecDescriptor.codecId)) if (codecDescriptor.isParameterized) try {
+				const representative = codecDescriptor.factory({})({ name: `<lookup:${codecDescriptor.codecId}>` });
+				byId.set(codecDescriptor.codecId, representative);
+			} catch {}
+			else {
+				const representative = codecDescriptor.factory(void 0)({ name: `<lookup:${codecDescriptor.codecId}>` });
+				byId.set(codecDescriptor.codecId, representative);
+			}
 		}
 	}
-	return { get: (id) => byId.get(id) };
+	return {
+		get: (id) => byId.get(id),
+		targetTypesFor: (id) => targetTypesById.get(id),
+		metaFor: (id) => metaById.get(id),
+		renderOutputTypeFor: (id, params) => renderersById.get(id)?.(params)
+	};
 }
 function createControlStack(input) {
 	const { family, target, adapter, driver, extensionPacks = [] } = input;

package/dist/control.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"control.mjs","names":["imports: TypesImportSpec[]","ids: string[]"],"sources":["../src/control/control-capabilities.ts","../src/control/control-result-types.ts","../src/control/control-schema-view.ts","../src/control/control-stack.ts"],"sourcesContent":["import type { ControlTargetDescriptor } from './control-descriptors';\nimport type { ControlFamilyInstance } from './control-instances';\nimport type { MigrationPlanOperation, TargetMigrationsCapability } 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","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    | 'dependency_missing'\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 dependencyId?: 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 { CodecLookup } 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 operationTypeImports: 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 extractOperationTypeImports(\n  descriptors: ReadonlyArray<Pick<ComponentMetadata, 'types'>>,\n): ReadonlyArray<TypesImportSpec> {\n  const imports: TypesImportSpec[] = [];\n\n  for (const descriptor of descriptors) {\n    const operationTypes = descriptor.types?.operationTypes;\n    if (operationTypes?.import) {\n      imports.push(operationTypes.import);\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, import('../shared/codec-types').Codec>();\n  const owners = new Map<string, string>();\n  for (const descriptor of descriptors) {\n    const codecInstances = descriptor.types?.codecTypes?.codecInstances;\n    if (!codecInstances) continue;\n    const descriptorId = descriptor.id ?? '<unknown>';\n    for (const codec of codecInstances) {\n      assertUniqueCodecOwner({\n        codecId: codec.id,\n        owners,\n        descriptorId,\n        entityLabel: 'codec instance',\n        entityOwnershipLabel: 'codec instance provider',\n      });\n      owners.set(codec.id, descriptorId);\n      byId.set(codec.id, codec);\n    }\n  }\n  return { get: (id) => byId.get(id) };\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    operationTypeImports: extractOperationTypeImports(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":";;;AAkBA,SAAgB,cACd,QAC4D;AAC5D,QAAO,gBAAgB,UAAU,CAAC,CAAE,OAAmC;;AAOzE,SAAgB,cACd,UACwF;AACxF,QACE,kBAAkB,YAClB,OAAQ,SAAqC,oBAAoB;;AAYrE,SAAgB,oBACd,UAC8F;AAC9F,QACE,sBAAsB,YACtB,OAAQ,SAAqC,wBAAwB;;AAazE,SAAgB,oBACd,UACmF;AACnF,QACE,wBAAwB,YACxB,OAAQ,SAAqC,0BAA0B;;;;;ACpE3E,MAAa,6BAA6B;AAC1C,MAAa,4BAA4B;AACzC,MAAa,8BAA8B;AAC3C,MAAa,6BAA6B;;;;AC4B1C,IAAa,iBAAb,MAA4B;CAC1B,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CAET,YAAY,SAAgC;AAC1C,OAAK,OAAO,QAAQ;AACpB,OAAK,KAAK,QAAQ;AAClB,OAAK,QAAQ,QAAQ;AACrB,MAAI,QAAQ,SAAS,OAAW,MAAK,OAAO,QAAQ;AACpD,MAAI,QAAQ,aAAa,OAAW,MAAK,WAAW,QAAQ;AAC5D,SAAO,OAAO,KAAK;;CAGrB,OAAU,SAAkC;AAC1C,SAAO,QAAQ,MAAM,KAAK;;;;;;ACiB9B,SAAS,YAAY,KAAe,MAAmB,IAAkB;AACvE,KAAI,CAAC,KAAK,IAAI,GAAG,EAAE;AACjB,MAAI,KAAK,GAAG;AACZ,OAAK,IAAI,GAAG;;;AAIhB,SAAgB,uBAAuB,SAM9B;CACP,MAAM,gBAAgB,QAAQ,OAAO,IAAI,QAAQ,QAAQ;AACzD,KAAI,kBAAkB,OACpB,OAAM,IAAI,MACR,aAAa,QAAQ,YAAY,gBAAgB,QAAQ,QAAQ,iBAChD,QAAQ,aAAa,oBAAoB,cAAc,oCACpC,QAAQ,qBAAqB,GAClE;;AAIL,SAAgB,wBACd,aACgC;CAChC,MAAMA,UAA6B,EAAE;AAErC,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,aAAa,WAAW,OAAO;AACrC,MAAI,YAAY,OACd,SAAQ,KAAK,WAAW,OAAO;AAEjC,MAAI,YAAY,YACd,SAAQ,KAAK,GAAG,WAAW,YAAY;;AAI3C,QAAO;;AAGT,SAAgB,4BACd,aACgC;CAChC,MAAMA,UAA6B,EAAE;AAErC,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,iBAAiB,WAAW,OAAO;AACzC,MAAI,gBAAgB,OAClB,SAAQ,KAAK,eAAe,OAAO;;AAIvC,QAAO;;AAGT,SAAgB,iCACd,aACgC;CAChC,MAAMA,UAA6B,EAAE;AAErC,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,sBAAsB,WAAW,OAAO;AAC9C,MAAI,qBAAqB,OACvB,SAAQ,KAAK,oBAAoB,OAAO;;AAI5C,QAAO;;AAGT,SAAgB,oBACd,QACA,QACA,SACA,YACuB;CACvB,MAAMC,MAAgB,EAAE;CACxB,MAAM,uBAAO,IAAI,KAAa;AAE9B,aAAY,KAAK,MAAM,OAAO,GAAG;AACjC,aAAY,KAAK,MAAM,OAAO,GAAG;AACjC,KAAI,QACF,aAAY,KAAK,MAAM,QAAQ,GAAG;AAGpC,MAAK,MAAM,OAAO,WAChB,aAAY,KAAK,MAAM,IAAI,GAAG;AAGhC,QAAO;;AAGT,SAAgB,+BACd,aACiC;CACjC,MAAM,QAAQ,EAAE;CAChB,MAAM,OAAO,EAAE;AAEf,MAAK,MAAM,cAAc,aAAa;AACpC,MAAI,WAAW,WAAW,MACxB,0BACE,OACA,WAAW,UAAU,OACrB,EAAE,EACF,kCACA,QACD;AAEH,MAAI,CAAC,WAAW,WAAW,KACzB;AAEF,2BACE,MACA,WAAW,UAAU,MACrB,EAAE,EACF,sCACA,OACD;;CAGH,MAAM,iBAAiB;CACvB,MAAM,gBAAgB;AACtB,iCAAgC,eAAe,eAAe;AAE9D,QAAO;EACL,OAAO;EACP,MAAM;EACP;;AAGH,SAAgB,8BACd,aAG6B;CAC7B,MAAM,yBAAS,IAAI,KAAqB;CACxC,MAAM,yBAAS,IAAI,KAAqB;AAExC,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,gBAAgB,WAAW;AACjC,MAAI,CAAC,cAAe;EACpB,MAAM,eAAe,WAAW,MAAM;AACtC,OAAK,MAAM,CAAC,UAAU,YAAY,eAAe;GAC/C,MAAM,gBAAgB,OAAO,IAAI,SAAS;AAC1C,OAAI,kBAAkB,OACpB,OAAM,IAAI,MACR,qCAAqC,SAAS,iBAC7B,aAAa,oBAAoB,cAAc,IACjE;AAEH,UAAO,IAAI,UAAU,QAAQ;AAC7B,UAAO,IAAI,UAAU,aAAa;;;AAItC,QAAO;;AAGT,SAAgB,gCACd,aAGyB;CACzB,MAAM,0CAA0B,IAAI,KAA0C;CAC9E,MAAM,iCAAiB,IAAI,KAAqB;CAChD,MAAM,+BAAe,IAAI,KAAiD;CAC1E,MAAM,kCAAkB,IAAI,KAAqB;AAEjD,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,gBAAgB,WAAW;AACjC,MAAI,CAAC,cAAe;EACpB,MAAM,eAAe,WAAW,MAAM;AAEtC,OAAK,MAAM,uBAAuB,cAAc,sBAAsB;GACpE,MAAM,gBAAgB,gBAAgB,IAAI,oBAAoB,GAAG;AACjE,OAAI,kBAAkB,OACpB,OAAM,IAAI,MACR,4CAA4C,oBAAoB,GAAG,iBAClD,aAAa,oBAAoB,cAAc,IACjE;AAEH,gBAAa,IAAI,oBAAoB,IAAI,oBAAoB;AAC7D,mBAAgB,IAAI,oBAAoB,IAAI,aAAa;;AAG3D,OAAK,MAAM,CAAC,cAAc,YAAY,cAAc,yBAAyB;GAC3E,MAAM,gBAAgB,eAAe,IAAI,aAAa;AACtD,OAAI,kBAAkB,OACpB,OAAM,IAAI,MACR,wCAAwC,aAAa,iBACpC,aAAa,oBAAoB,cAAc,IACjE;AAEH,2BAAwB,IAAI,cAAc,QAAQ;AAClD,kBAAe,IAAI,cAAc,aAAa;;;AAIlD,QAAO;EACL;EACA,sBAAsB,MAAM,KAAK,aAAa,QAAQ,CAAC;EACxD;;AAGH,SAAgB,mBACd,aACa;CACb,MAAM,uBAAO,IAAI,KAAoD;CACrE,MAAM,yBAAS,IAAI,KAAqB;AACxC,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,iBAAiB,WAAW,OAAO,YAAY;AACrD,MAAI,CAAC,eAAgB;EACrB,MAAM,eAAe,WAAW,MAAM;AACtC,OAAK,MAAM,SAAS,gBAAgB;AAClC,0BAAuB;IACrB,SAAS,MAAM;IACf;IACA;IACA,aAAa;IACb,sBAAsB;IACvB,CAAC;AACF,UAAO,IAAI,MAAM,IAAI,aAAa;AAClC,QAAK,IAAI,MAAM,IAAI,MAAM;;;AAG7B,QAAO,EAAE,MAAM,OAAO,KAAK,IAAI,GAAG,EAAE;;AAkBtC,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;AAE3E,QAAO;EACL;EACA;EACA;EACA;EACgB;EAEhB,kBAAkB,wBAAwB,eAAe;EACzD,sBAAsB,4BAA4B,eAAe;EACjE,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":["imports: TypesImportSpec[]","ids: string[]"],"sources":["../src/control/control-capabilities.ts","../src/control/control-result-types.ts","../src/control/control-schema-view.ts","../src/control/control-stack.ts"],"sourcesContent":["import type { ControlTargetDescriptor } from './control-descriptors';\nimport type { ControlFamilyInstance } from './control-instances';\nimport type { MigrationPlanOperation, TargetMigrationsCapability } 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","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    | 'dependency_missing'\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 dependencyId?: 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 { 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 operationTypeImports: 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 extractOperationTypeImports(\n  descriptors: ReadonlyArray<Pick<ComponentMetadata, 'types'>>,\n): ReadonlyArray<TypesImportSpec> {\n  const imports: TypesImportSpec[] = [];\n\n  for (const descriptor of descriptors) {\n    const operationTypes = descriptor.types?.operationTypes;\n    if (operationTypes?.import) {\n      imports.push(operationTypes.import);\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    operationTypeImports: extractOperationTypeImports(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":";;;AAkBA,SAAgB,cACd,QAC4D;AAC5D,QAAO,gBAAgB,UAAU,CAAC,CAAE,OAAmC;;AAOzE,SAAgB,cACd,UACwF;AACxF,QACE,kBAAkB,YAClB,OAAQ,SAAqC,oBAAoB;;AAYrE,SAAgB,oBACd,UAC8F;AAC9F,QACE,sBAAsB,YACtB,OAAQ,SAAqC,wBAAwB;;AAazE,SAAgB,oBACd,UACmF;AACnF,QACE,wBAAwB,YACxB,OAAQ,SAAqC,0BAA0B;;;;;ACpE3E,MAAa,6BAA6B;AAC1C,MAAa,4BAA4B;AACzC,MAAa,8BAA8B;AAC3C,MAAa,6BAA6B;;;;AC4B1C,IAAa,iBAAb,MAA4B;CAC1B,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CACT,AAAS;CAET,YAAY,SAAgC;AAC1C,OAAK,OAAO,QAAQ;AACpB,OAAK,KAAK,QAAQ;AAClB,OAAK,QAAQ,QAAQ;AACrB,MAAI,QAAQ,SAAS,OAAW,MAAK,OAAO,QAAQ;AACpD,MAAI,QAAQ,aAAa,OAAW,MAAK,WAAW,QAAQ;AAC5D,SAAO,OAAO,KAAK;;CAGrB,OAAU,SAAkC;AAC1C,SAAO,QAAQ,MAAM,KAAK;;;;;;ACkB9B,SAAS,YAAY,KAAe,MAAmB,IAAkB;AACvE,KAAI,CAAC,KAAK,IAAI,GAAG,EAAE;AACjB,MAAI,KAAK,GAAG;AACZ,OAAK,IAAI,GAAG;;;AAIhB,SAAgB,uBAAuB,SAM9B;CACP,MAAM,gBAAgB,QAAQ,OAAO,IAAI,QAAQ,QAAQ;AACzD,KAAI,kBAAkB,OACpB,OAAM,IAAI,MACR,aAAa,QAAQ,YAAY,gBAAgB,QAAQ,QAAQ,iBAChD,QAAQ,aAAa,oBAAoB,cAAc,oCACpC,QAAQ,qBAAqB,GAClE;;AAIL,SAAgB,wBACd,aACgC;CAChC,MAAMA,UAA6B,EAAE;AAErC,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,aAAa,WAAW,OAAO;AACrC,MAAI,YAAY,OACd,SAAQ,KAAK,WAAW,OAAO;AAEjC,MAAI,YAAY,YACd,SAAQ,KAAK,GAAG,WAAW,YAAY;;AAI3C,QAAO;;AAGT,SAAgB,4BACd,aACgC;CAChC,MAAMA,UAA6B,EAAE;AAErC,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,iBAAiB,WAAW,OAAO;AACzC,MAAI,gBAAgB,OAClB,SAAQ,KAAK,eAAe,OAAO;;AAIvC,QAAO;;AAGT,SAAgB,iCACd,aACgC;CAChC,MAAMA,UAA6B,EAAE;AAErC,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,sBAAsB,WAAW,OAAO;AAC9C,MAAI,qBAAqB,OACvB,SAAQ,KAAK,oBAAoB,OAAO;;AAI5C,QAAO;;AAGT,SAAgB,oBACd,QACA,QACA,SACA,YACuB;CACvB,MAAMC,MAAgB,EAAE;CACxB,MAAM,uBAAO,IAAI,KAAa;AAE9B,aAAY,KAAK,MAAM,OAAO,GAAG;AACjC,aAAY,KAAK,MAAM,OAAO,GAAG;AACjC,KAAI,QACF,aAAY,KAAK,MAAM,QAAQ,GAAG;AAGpC,MAAK,MAAM,OAAO,WAChB,aAAY,KAAK,MAAM,IAAI,GAAG;AAGhC,QAAO;;AAGT,SAAgB,+BACd,aACiC;CACjC,MAAM,QAAQ,EAAE;CAChB,MAAM,OAAO,EAAE;AAEf,MAAK,MAAM,cAAc,aAAa;AACpC,MAAI,WAAW,WAAW,MACxB,0BACE,OACA,WAAW,UAAU,OACrB,EAAE,EACF,kCACA,QACD;AAEH,MAAI,CAAC,WAAW,WAAW,KACzB;AAEF,2BACE,MACA,WAAW,UAAU,MACrB,EAAE,EACF,sCACA,OACD;;CAGH,MAAM,iBAAiB;CACvB,MAAM,gBAAgB;AACtB,iCAAgC,eAAe,eAAe;AAE9D,QAAO;EACL,OAAO;EACP,MAAM;EACP;;AAGH,SAAgB,8BACd,aAG6B;CAC7B,MAAM,yBAAS,IAAI,KAAqB;CACxC,MAAM,yBAAS,IAAI,KAAqB;AAExC,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,gBAAgB,WAAW;AACjC,MAAI,CAAC,cAAe;EACpB,MAAM,eAAe,WAAW,MAAM;AACtC,OAAK,MAAM,CAAC,UAAU,YAAY,eAAe;GAC/C,MAAM,gBAAgB,OAAO,IAAI,SAAS;AAC1C,OAAI,kBAAkB,OACpB,OAAM,IAAI,MACR,qCAAqC,SAAS,iBAC7B,aAAa,oBAAoB,cAAc,IACjE;AAEH,UAAO,IAAI,UAAU,QAAQ;AAC7B,UAAO,IAAI,UAAU,aAAa;;;AAItC,QAAO;;AAGT,SAAgB,gCACd,aAGyB;CACzB,MAAM,0CAA0B,IAAI,KAA0C;CAC9E,MAAM,iCAAiB,IAAI,KAAqB;CAChD,MAAM,+BAAe,IAAI,KAAiD;CAC1E,MAAM,kCAAkB,IAAI,KAAqB;AAEjD,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,gBAAgB,WAAW;AACjC,MAAI,CAAC,cAAe;EACpB,MAAM,eAAe,WAAW,MAAM;AAEtC,OAAK,MAAM,uBAAuB,cAAc,sBAAsB;GACpE,MAAM,gBAAgB,gBAAgB,IAAI,oBAAoB,GAAG;AACjE,OAAI,kBAAkB,OACpB,OAAM,IAAI,MACR,4CAA4C,oBAAoB,GAAG,iBAClD,aAAa,oBAAoB,cAAc,IACjE;AAEH,gBAAa,IAAI,oBAAoB,IAAI,oBAAoB;AAC7D,mBAAgB,IAAI,oBAAoB,IAAI,aAAa;;AAG3D,OAAK,MAAM,CAAC,cAAc,YAAY,cAAc,yBAAyB;GAC3E,MAAM,gBAAgB,eAAe,IAAI,aAAa;AACtD,OAAI,kBAAkB,OACpB,OAAM,IAAI,MACR,wCAAwC,aAAa,iBACpC,aAAa,oBAAoB,cAAc,IACjE;AAEH,2BAAwB,IAAI,cAAc,QAAQ;AAClD,kBAAe,IAAI,cAAc,aAAa;;;AAIlD,QAAO;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;AACxC,MAAK,MAAM,cAAc,aAAa;EACpC,MAAM,aAAa,WAAW,OAAO;EACrC,MAAM,eAAe,WAAW;AAEhC,OAAK,MAAM,mBAAmB,YAAY,oBAAoB,EAAE,EAAE;AAChE,0BAAuB;IACrB,SAAS,gBAAgB;IACzB;IACA;IACA,aAAa;IACb,sBAAsB;IACvB,CAAC;AACF,UAAO,IAAI,gBAAgB,SAAS,aAAa;AACjD,OAAI,MAAM,QAAQ,gBAAgB,YAAY,CAC5C,iBAAgB,IAAI,gBAAgB,SAAS,gBAAgB,YAAY;AAE3E,OAAI,gBAAgB,SAAS,OAC3B,UAAS,IAAI,gBAAgB,SAAS,gBAAgB,KAAK;AAE7D,OAAI,OAAO,gBAAgB,qBAAqB,WAC9C,eAAc,IAAI,gBAAgB,SAAS,gBAAgB,iBAAiB;AAO9E,OAAI,CAAC,KAAK,IAAI,gBAAgB,QAAQ,CACpC,KAAI,gBAAgB,gBAClB,KAAI;IACF,MAAM,iBAAiB,gBAAgB,QAAQ,EAAE,CAAU,CAAC,EAC1D,MAAM,WAAW,gBAAgB,QAAQ,IAC1C,CAA8D;AAC/D,SAAK,IAAI,gBAAgB,SAAS,eAAe;WAC3C;QAGH;IACL,MAAM,iBAAiB,gBAAgB,QAAQ,OAAmB,CAAC,EACjE,MAAM,WAAW,gBAAgB,QAAQ,IAC1C,CAA8D;AAC/D,SAAK,IAAI,gBAAgB,SAAS,eAAe;;;;AAKzD,QAAO;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;AAE3E,QAAO;EACL;EACA;EACA;EACA;EACgB;EAEhB,kBAAkB,wBAAwB,eAAe;EACzD,sBAAsB,4BAA4B,eAAe;EACjE,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,6 +1,6 @@
 import "./framework-authoring-DJbiXhmf.mjs";
-import "./codec-types-MWvfFmu1.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-BvzjH6Pt.mjs";
+import "./codec-BUBJeOk4.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-BVqm1I48.mjs";
 
 //#region src/execution/execution-instances.d.ts
 interface RuntimeFamilyInstance<TFamilyId extends string> extends FamilyInstance<TFamilyId> {}

package/dist/{framework-components-BvzjH6Pt.d.mts → framework-components-BVqm1I48.d.mts}

@@ -1,5 +1,5 @@
 import { i as AuthoringContributions } from "./framework-authoring-DJbiXhmf.mjs";
-import { t as Codec } from "./codec-types-MWvfFmu1.mjs";
+import { r as AnyCodecDescriptor } from "./codec-BUBJeOk4.mjs";
 import { t as TypesImportSpec } from "./types-import-spec-CPhrNJIV.mjs";
 import { ColumnDefault, ExecutionMutationDefaultPhases, ExecutionMutationDefaultValue } from "@prisma-next/contract/types";
 
@@ -110,39 +110,32 @@ interface ComponentMetadata {
   /**
    * Capabilities this component provides.
    *
-   * For adapters, capabilities must be declared on the adapter descriptor (so they are emitted into
-   * the contract) and also exposed in runtime adapter code (e.g. `adapter.profile.capabilities`);
-   * keep these declarations in sync. Targets are identifiers/descriptors and typically do not
-   * declare capabilities.
+   * For adapters, capabilities must be declared on the adapter descriptor (so they are emitted into the contract) and also exposed in runtime adapter code (e.g. `adapter.profile.capabilities`); keep these declarations in sync. Targets are identifiers/descriptors and typically do not declare capabilities.
    */
   readonly capabilities?: Record<string, unknown>;
   /** Type imports for contract.d.ts generation */
   readonly types?: {
     readonly codecTypes?: {
       /**
-       * Base codec types import spec.
-       * Optional: adapters typically provide this, extensions usually don't.
+       * Base codec types import spec. Optional: adapters typically provide this, extensions usually don't.
        */
       readonly import?: TypesImportSpec;
       /**
        * Additional type-only imports for parameterized codec branded types.
        *
-       * These imports are included in generated `contract.d.ts` but are NOT treated as
-       * codec type maps (i.e., they should not be intersected into `export type CodecTypes = ...`).
+       * These imports are included in generated `contract.d.ts` but are NOT treated as codec type maps (i.e., they should not be intersected into `export type CodecTypes = ...`).
        *
        * Example: `Vector<N>` for pgvector codecs that emit `Vector<1536>`
        */
       readonly typeImports?: ReadonlyArray<TypesImportSpec>;
       /**
-       * Optional control-plane hooks keyed by codecId.
-       * Used by family-specific planners/verifiers to handle storage types.
+       * Optional control-plane hooks keyed by codecId. Used by family-specific planners/verifiers to handle storage types.
        */
       readonly controlPlaneHooks?: Record<string, unknown>;
       /**
-       * Codec instances contributed by this component.
-       * Used to build a CodecLookup for codec-dispatched type rendering during emission.
+       * Codec descriptors contributed by this component. Source of truth for codec-id-keyed metadata (`traits`, `targetTypes`, `meta`, `renderOutputType`) consumed by `extractCodecLookup`, and used to materialize representative `Codec` instances for codec-dispatched type rendering during emission.
        */
-      readonly codecInstances?: ReadonlyArray<Codec>;
+      readonly codecDescriptors?: ReadonlyArray<AnyCodecDescriptor>;
     };
     readonly operationTypes?: {
       readonly import: TypesImportSpec;
@@ -160,32 +153,24 @@ interface ComponentMetadata {
   /**
    * Optional pure-data authoring contributions exposed by this component.
    *
-   * These contributions are safe to include on pack refs and descriptors because
-   * they contain only declarative metadata. Higher-level authoring packages may
-   * project them into concrete helper functions for TS-first workflows.
+   * These contributions are safe to include on pack refs and descriptors because they contain only declarative metadata. Higher-level authoring packages may project them into concrete helper functions for TS-first workflows.
    */
   readonly authoring?: AuthoringContributions;
   /**
-   * Scalar type name to codec ID mapping contributed by this component.
-   * Assembled by `createControlStack` with duplicate detection.
+   * Scalar type name to codec ID mapping contributed by this component. Assembled by `createControlStack` with duplicate detection.
    */
   readonly scalarTypeDescriptors?: ReadonlyMap<string, string>;
   /**
-   * Mutation default function handlers and generator descriptors contributed
-   * by this component. Assembled by `createControlStack` with duplicate detection.
+   * Mutation default function handlers and generator descriptors contributed by this component. Assembled by `createControlStack` with duplicate detection.
    */
   readonly controlMutationDefaults?: ControlMutationDefaults;
 }
 /**
  * Base descriptor for any framework component.
  *
- * All component descriptors share these fundamental properties that identify
- * the component and provide its metadata. This interface is extended by
- * specific descriptor types (FamilyDescriptor, TargetDescriptor, etc.).
+ * All component descriptors share these fundamental properties that identify the component and provide its metadata. This interface is extended by specific descriptor types (FamilyDescriptor, TargetDescriptor, etc.).
  *
- * @template Kind - Discriminator literal identifying the component type.
- *   Built-in kinds are 'family', 'target', 'adapter', 'driver', 'extension',
- *   but the type accepts any string to allow ecosystem extensions.
+ * @template Kind - Discriminator literal identifying the component type. Built-in kinds are 'family', 'target', 'adapter', 'driver', 'extension', but the type accepts any string to allow ecosystem extensions.
  *
  * @example
  * ```ts
@@ -226,14 +211,12 @@ declare function checkContractComponentRequirements(input: ContractComponentRequ
 /**
  * Descriptor for a family component.
  *
- * A "family" represents a category of data sources with shared semantics
- * (e.g., SQL databases, document stores). Families define:
+ * A "family" represents a category of data sources with shared semantics (e.g., SQL databases, document stores). Families define:
  * - Query semantics and operations (SELECT, INSERT, find, aggregate, etc.)
  * - Contract structure (tables vs collections, columns vs fields)
  * - Type system and codecs
  *
- * Families are the top-level grouping. Each family contains multiple targets
- * (e.g., SQL family contains Postgres, MySQL, SQLite targets).
+ * Families are the top-level grouping. Each family contains multiple targets (e.g., SQL family contains Postgres, MySQL, SQLite targets).
  *
  * Extended by plane-specific descriptors:
  * - `ControlFamilyDescriptor` - adds `emission` for CLI/tooling operations
@@ -257,13 +240,11 @@ interface FamilyDescriptor<TFamilyId extends string> extends ComponentDescriptor
 /**
  * Descriptor for a target component.
  *
- * A "target" represents a specific database or data store within a family
- * (e.g., Postgres, MySQL, MongoDB). Targets define:
+ * A "target" represents a specific database or data store within a family (e.g., Postgres, MySQL, MongoDB). Targets define:
  * - Native type mappings (e.g., Postgres int4 → TypeScript number)
  * - Target-specific capabilities (e.g., RETURNING, LATERAL joins)
  *
- * Targets are bound to a family and provide the target-specific implementation
- * details that adapters and drivers use.
+ * Targets are bound to a family and provide the target-specific implementation details that adapters and drivers use.
  *
  * Extended by plane-specific descriptors:
  * - `ControlTargetDescriptor` - adds optional `migrations` capability
@@ -288,8 +269,7 @@ interface TargetDescriptor<TFamilyId extends string, TTargetId extends string> e
   readonly targetId: TTargetId;
 }
 /**
- * Base shape for any pack reference.
- * Pack refs are pure JSON-friendly objects safe to import in authoring flows.
+ * Base shape for any pack reference. Pack refs are pure JSON-friendly objects safe to import in authoring flows.
  */
 interface PackRefBase<Kind extends string, TFamilyId extends string> extends ComponentMetadata {
   readonly kind: Kind;
@@ -314,14 +294,12 @@ type DriverPackRef<TFamilyId extends string = string, TTargetId extends string =
 /**
  * Descriptor for an adapter component.
  *
- * An "adapter" provides the protocol and dialect implementation for a target.
- * Adapters handle:
+ * An "adapter" provides the protocol and dialect implementation for a target. Adapters handle:
  * - SQL/query generation (lowering AST to target-specific syntax)
  * - Codec registration (encoding/decoding between JS and wire types)
  * - Type mappings and coercions
  *
- * Adapters are bound to a specific family+target combination and work with
- * any compatible driver for that target.
+ * Adapters are bound to a specific family+target combination and work with any compatible driver for that target.
  *
  * Extended by plane-specific descriptors:
  * - `ControlAdapterDescriptor` - control-plane factory
@@ -348,16 +326,13 @@ interface AdapterDescriptor<TFamilyId extends string, TTargetId extends string>
 /**
  * Descriptor for a driver component.
  *
- * A "driver" provides the connection and execution layer for a target.
- * Drivers handle:
+ * A "driver" provides the connection and execution layer for a target. Drivers handle:
  * - Connection management (pooling, timeouts, retries)
  * - Query execution (sending SQL/commands, receiving results)
  * - Transaction management
  * - Wire protocol communication
  *
- * Drivers are bound to a specific family+target and work with any compatible
- * adapter. Multiple drivers can exist for the same target (e.g., node-postgres
- * vs postgres.js for Postgres).
+ * Drivers are bound to a specific family+target and work with any compatible adapter. Multiple drivers can exist for the same target (e.g., node-postgres vs postgres.js for Postgres).
  *
  * Extended by plane-specific descriptors:
  * - `ControlDriverDescriptor` - creates driver from connection URL
@@ -389,8 +364,7 @@ interface DriverDescriptor<TFamilyId extends string, TTargetId extends string> e
  * - Custom types and codecs (e.g., vector type)
  * - Extended query capabilities
  *
- * Extensions are bound to a specific family+target and are registered in the
- * config alongside the core components. Multiple extensions can be used together.
+ * Extensions are bound to a specific family+target and are registered in the config alongside the core components. Multiple extensions can be used together.
  *
  * Extended by plane-specific descriptors:
  * - `ControlExtensionDescriptor` - control-plane extension factory
@@ -437,4 +411,4 @@ interface ExtensionInstance<TFamilyId extends string, TTargetId extends string>
 }
 //#endregion
 export { LoweredDefaultResult as A, ControlMutationDefaultEntry as C, DefaultFunctionLoweringHandler as D, DefaultFunctionLoweringContext as E, SourceSpan as F, MutationDefaultGeneratorDescriptor as M, ParsedDefaultFunctionCall as N, DefaultFunctionRegistry as O, SourceDiagnostic as P, checkContractComponentRequirements as S, ControlMutationDefaults as T, PackRefBase as _, ComponentMetadata as a, TargetInstance as b, DriverDescriptor as c, ExtensionDescriptor as d, ExtensionInstance as f, FamilyPackRef as g, FamilyInstance as h, ComponentDescriptor as i, LoweredDefaultValue as j, DefaultFunctionRegistryEntry as k, DriverInstance as l, FamilyDescriptor as m, AdapterInstance as n, ContractComponentRequirementsCheckInput as o, ExtensionPackRef as p, AdapterPackRef as r, ContractComponentRequirementsCheckResult as s, AdapterDescriptor as t, DriverPackRef as u, TargetBoundComponentDescriptor as v, ControlMutationDefaultRegistry as w, TargetPackRef as x, TargetDescriptor as y };
-//# sourceMappingURL=framework-components-BvzjH6Pt.d.mts.map
+//# sourceMappingURL=framework-components-BVqm1I48.d.mts.map

package/dist/framework-components-BVqm1I48.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"framework-components-BVqm1I48.d.mts","names":[],"sources":["../src/shared/mutation-default-types.ts","../src/shared/framework-components.ts"],"sourcesContent":[],"mappings":";;;;;;UAMU,cAAA;;;;;AAAA,UAMO,UAAA,CANO;EAMP,SAAA,KAAU,EACT,cAAA;EAID,SAAA,GAAA,EAHD,cAGiB;;AAKN,UALV,gBAAA,CAKU;EAAT,SAAA,IAAA,EAAA,MAAA;EAAQ,SAAA,OAAA,EAAA,MAAA;EAGhB,SAAA,QAAA,CAAA,EAAA,MAAuB;EAKhB,SAAA,IAAA,CAAA,EATC,UASD;EAOA,SAAA,IAAA,CAAA,EAfC,QAeD,CAfU,MAeV,CAAA,MAA8B,EAAA,OAAA,CAAA,CAAA;AAO/C;AAIA,UAvBU,uBAAA,CAuBsB;EAIpB,SAAA,GAAA,EAAA,MAAA;EACK,SAAA,IAAA,EA1BA,UA0BA;;AAEX,UAzBW,yBAAA,CAyBX;EAAoB,SAAA,IAAA,EAAA,MAAA;EAET,SAAA,GAAA,EAAA,MAAA;EAKL,SAAA,IAAA,EAAA,SA7Bc,uBA6BgC,EAAA;EAEzC,SAAA,IAAA,EA9BA,UA8BA;;AAmBa,UA9Cb,8BAAA,CA8Ca;EASG,SAAA,QAAA,EAAA,MAAA;EAA4B,SAAA,SAAA,EAAA,MAAA;EAA8B,SAAA,SAAA,EAAA,MAAA;EAG1E,SAAA,aAAA,CAAA,EAAA,MAA2B;;AAGtB,KAtDV,mBAAA,GAsDU;EACd,SAAA,IAAA,EAAA,SAAA;EAAoB,SAAA,YAAA,EAtD2B,aAsD3B;AAI5B,CAAA,GAAY;EAEK,SAAA,IAAA,EAAA,WAAuB;sBA3Dc;;KAE1C,oBAAA;ECxCK,SAAA,EAAA,EAAA,IAAA;EASS,SAAA,KAAA,EDgCe,mBChCf;CAQF,GAAA;EAQmB,SAAA,EAAA,EAAA,KAAA;EAAd,SAAA,UAAA,EDiBkB,gBCjBlB;CAIM;AAIa,KDWpC,8BAAA,GCXoC,CAAA,KAAA,EAAA;EAAd,SAAA,IAAA,EDYjB,yBCZiB;EAEe,SAAA,OAAA,EDW7B,8BCX6B;CACK,EAAA,GDWhD,oBCXgD;AAC/B,UDYN,4BAAA,CCZM;EAaA,SAAA,KAAA,EDAL,8BCAK;EAKY,SAAA,eAAA,CAAA,EAAA,SAAA,MAAA,EAAA;;AAKyB,KDNhD,uBAAA,GAA0B,WCMsB,CAAA,MAAA,EDNF,4BCME,CAAA;AAkB3C,UDtBA,kCAAA,CCsBiD;EAQjD,SAAA,EAAA,EAAA,MAAA;EAWA;AAMjB;AA6DA;AA8BA;;;;;AAYA;EAEiB,SAAA,kBAAA,CAAA,EAAA,SAAA,MAAA,EAAA;EAEI,SAAA,gCAAA,CAAA,EAAA,CAAA,KAAA,EAAA;IAEE,SAAA,SAAA,ED/IC,6BC+ID;EALb,CAAA,EAAA,GAAA;IAAiB,SAAA,OAAA,EAAA,MAAA;IAQf,SAAA,UAAa,EAAA,MAAA;IAEb,SAAA,OAAa,CAAA,EAAA,MAAA;IAGC,SAAA,UAAA,CAAA,EDjJI,MCiJJ,CAAA,MAAA,EAAA,OAAA,CAAA;EAAtB,CAAA,GAAA,SAAA;EACiB;;AAGrB;;;;EAI8B,SAAA,WAAA,CAAA,EAAA,CAAA,IAAA,CAAA,EDhJG,MCgJH,CAAA,MAAA,EAAA,OAAA,CAAA,EAAA,GDhJ+B,8BCgJ/B;AAG9B;AAG6B,UDnJZ,2BAAA,CCmJY;EAAzB,SAAA,KAAA,EAAA,CAAA,KAAA,EAAA;IACiB,SAAA,IAAA,EDlJF,yBCkJE;IAAS,SAAA,OAAA,EDjJR,8BCiJQ;EAGlB,CAAA,EAAA,GDnJJ,oBCmJiB;EAGC,SAAA,eAAA,CAAA,EAAA,SAAA,MAAA,EAAA;;AACL,KDnJT,8BAAA,GAAiC,WCmJxB,CAAA,MAAA,EDnJ4C,2BCmJ5C,CAAA;AAAS,UDjJb,uBAAA,CCiJa;EA6Bb,SAAA,uBAAiB,ED7KE,8BC6KF;EAGb,SAAA,oBAAA,EAAA,SD/KqB,kCC+KrB,EAAA;;;;;;ADtRgB;AAQpB,UCJA,iBAAA,CDKC;EAID;EAIC,SAAA,OAAA,EAAA,MAAA;EACS;;;AAC1B;AAOD;EAOiB,SAAA,YAAA,CAAA,ECpBS,MDoBT,CAAA,MAA8B,EAAA,OAAA,CAAA;EAOnC;EAIA,SAAA,KAAA,CAAA,EAAA;IAIA,SAAA,UAAA,CAAA,EAAA;MACK;;;MAES,SAAA,MAAA,CAAA,EC9BF,eD8BE;MAET;AAKjB;AAEA;;;;;MA4B2F,SAAA,WAAA,CAAA,EC3D9D,aD2D8D,CC3DhD,eD2DgD,CAAA;MAG1E;;;MAIT,SAAA,iBAAA,CAAA,EC9D2B,MD8D3B,CAAA,MAAA,EAAA,OAAA,CAAA;MAAoB;AAI5B;AAEA;kCChEkC,cAAc;;;MAjC/B,SAAA,MAAiB,EAmCe,eAnCf;IASR,CAAA;IAQF,SAAA,mBAAA,CAAA,EAAA;MAQmB,SAAA,MAAA,EAWW,eAXX;IAAd,CAAA;IAIM,SAAA,OAAA,CAAA,EAQZ,aARY,CAAA;MAIa,SAAA,MAAA,EAAA,MAAA;MAAd,SAAA,QAAA,EAAA,MAAA;MAEe,SAAA,QAAA,EAAA,MAAA;MACK,SAAA,UAAA,CAAA,EAAA,MAAA;IAC/B,CAAA,CAAA;EAaA,CAAA;EAKY;;;AAuBnC;AAQA;EAWiB,SAAA,SAAA,CAAA,EA/CM,sBA+CkC;EAMzC;AA6DhB;AA8BA;EAGqB,SAAA,qBAAA,CAAA,EA9Ic,WA8Id,CAAA,MAAA,EAAA,MAAA,CAAA;EAGA;;;EAMJ,SAAA,uBAAW,CAAA,EAlJS,uBAkJT;;;;;;AAS5B;AAEA;;;;;AAOA;;;;;AAOY,UAzJK,mBAyJW,CAAA,aAAA,MAAA,CAAA,SAzJsC,iBAyJtC,CAAA;EAGC;EAAzB,SAAA,IAAA,EA1Ja,IA0Jb;EACiB;EAAS,SAAA,EAAA,EAAA,MAAA;AAG9B;AAG0B,UA3JT,uCAAA,CA2JS;EAAtB,SAAA,QAAA,EAAA;IACiB,SAAA,MAAA,EAAA,MAAA;IAAS,SAAA,YAAA,CAAA,EAAA,MAAA,GAAA,SAAA;IA6Bb,SAAA,cAAiB,CAAA,EArLJ,MAqLI,CAAA,MAAA,EAAA,OAAA,CAAA,GAAA,SAAA;EAGb,CAAA;EAGA,SAAA,oBAAA,CAAA,EAAA,MAAA,GAAA,SAAA;EALX,SAAA,gBAAA,CAAA,EAAA,MAAA,GAAA,SAAA;EAAmB,SAAA,oBAAA,EAlLI,QAkLJ,CAAA,MAAA,CAAA;AAmC7B;AAGqB,UArNJ,wCAAA,CAqNI;EAGA,SAAA,cAAA,CAAA,EAAA;IALX,SAAA,QAAA,EAAA,MAAA;IAAmB,SAAA,MAAA,EAAA,MAAA;EAkCZ,CAAA,GAAA,SAAA;EAGI,SAAA,cAAA,CAAA,EAAA;IAGA,SAAA,QAAA,EAAA,MAAA;IALX,SAAA,MAAA,EAAA,MAAA;EAAmB,CAAA,GAAA,SAAA;EASjB,SAAA,uBAAA,EAA8B,SAAA,MAAA,EAAA;;AACV,iBA1PhB,kCAAA,CA0PgB,KAAA,EAzPvB,uCAyPuB,CAAA,EAxP7B,wCAwP6B;;;;;;;;;;;;AAKhC;AAIA;AAKA;AAKA;AAKA;;;;;;;;;;UArNiB,mDAAmD;;qBAE/C;;;;;;;;;;;;;;;;;;;;;;;;;;;UA4BJ,6EACP;;qBAEW;;qBAGA;;;;;UAMJ,mEACP;iBACO;;qBAEI;;uBAEE;;KAGX,mDAAmD,sBAAsB;KAEzE,sFAGR,sBAAsB;qBACL;;KAGT,uFAGR,uBAAuB;qBACN;;KAGT,yFAGR,yBAAyB;qBACR;;KAGT,sFAGR,sBAAsB;qBACL;;;;;;;;;;;;;;;;;;;;;;;;;;;;UA6BJ,8EACP;;qBAEW;;qBAGA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UA8BJ,6EACP;;qBAEW;;qBAGA;;;;;;;;;;;;;;;;;;;;;;;;;;;;UA6BJ,gFACP;;qBAEW;;qBAGA;;;KAIT,qFACR,iBAAiB,WAAW,aAC5B,kBAAkB,WAAW,aAC7B,iBAAiB,WAAW,aAC5B,oBAAoB,WAAW;UAElB;qBACI;;UAGJ;qBACI;qBACA;;UAGJ;qBACI;qBACA;;UAGJ;qBACI;qBACA;;UAGJ;qBACI;qBACA"}

package/dist/framework-components-BsWST1Rn.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"framework-components-BsWST1Rn.mjs","names":[],"sources":["../src/shared/framework-components.ts"],"sourcesContent":["import type { Codec } from './codec-types';\nimport type { AuthoringContributions } from './framework-authoring';\nimport type { ControlMutationDefaults } from './mutation-default-types';\nimport type { TypesImportSpec } from './types-import-spec';\n\n/**\n * Declarative fields that describe component metadata.\n */\nexport interface ComponentMetadata {\n  /** Component version (semver) */\n  readonly version: string;\n\n  /**\n   * Capabilities this component provides.\n   *\n   * For adapters, capabilities must be declared on the adapter descriptor (so they are emitted into\n   * the contract) and also exposed in runtime adapter code (e.g. `adapter.profile.capabilities`);\n   * keep these declarations in sync. Targets are identifiers/descriptors and typically do not\n   * declare capabilities.\n   */\n  readonly capabilities?: Record<string, unknown>;\n\n  /** Type imports for contract.d.ts generation */\n  readonly types?: {\n    readonly codecTypes?: {\n      /**\n       * Base codec types import spec.\n       * Optional: adapters typically provide this, extensions usually don't.\n       */\n      readonly import?: TypesImportSpec;\n      /**\n       * Additional type-only imports for parameterized codec branded types.\n       *\n       * These imports are included in generated `contract.d.ts` but are NOT treated as\n       * codec type maps (i.e., they should not be intersected into `export type CodecTypes = ...`).\n       *\n       * Example: `Vector<N>` for pgvector codecs that emit `Vector<1536>`\n       */\n      readonly typeImports?: ReadonlyArray<TypesImportSpec>;\n      /**\n       * Optional control-plane hooks keyed by codecId.\n       * Used by family-specific planners/verifiers to handle storage types.\n       */\n      readonly controlPlaneHooks?: Record<string, unknown>;\n      /**\n       * Codec instances contributed by this component.\n       * Used to build a CodecLookup for codec-dispatched type rendering during emission.\n       */\n      readonly codecInstances?: ReadonlyArray<Codec>;\n    };\n    readonly operationTypes?: { readonly import: TypesImportSpec };\n    readonly queryOperationTypes?: { readonly import: TypesImportSpec };\n    readonly storage?: ReadonlyArray<{\n      readonly typeId: string;\n      readonly familyId: string;\n      readonly targetId: string;\n      readonly nativeType?: string;\n    }>;\n  };\n\n  /**\n   * Optional pure-data authoring contributions exposed by this component.\n   *\n   * These contributions are safe to include on pack refs and descriptors because\n   * they contain only declarative metadata. Higher-level authoring packages may\n   * project them into concrete helper functions for TS-first workflows.\n   */\n  readonly authoring?: AuthoringContributions;\n\n  /**\n   * Scalar type name to codec ID mapping contributed by this component.\n   * Assembled by `createControlStack` with duplicate detection.\n   */\n  readonly scalarTypeDescriptors?: ReadonlyMap<string, string>;\n\n  /**\n   * Mutation default function handlers and generator descriptors contributed\n   * by this component. Assembled by `createControlStack` with duplicate detection.\n   */\n  readonly controlMutationDefaults?: ControlMutationDefaults;\n}\n\n/**\n * Base descriptor for any framework component.\n *\n * All component descriptors share these fundamental properties that identify\n * the component and provide its metadata. This interface is extended by\n * specific descriptor types (FamilyDescriptor, TargetDescriptor, etc.).\n *\n * @template Kind - Discriminator literal identifying the component type.\n *   Built-in kinds are 'family', 'target', 'adapter', 'driver', 'extension',\n *   but the type accepts any string to allow ecosystem extensions.\n *\n * @example\n * ```ts\n * // All descriptors have these properties\n * descriptor.kind     // The Kind type parameter (e.g., 'family', 'target', or custom kinds)\n * descriptor.id       // Unique string identifier (e.g., 'sql', 'postgres')\n * descriptor.version  // Component version (semver)\n * ```\n */\nexport interface ComponentDescriptor<Kind extends string> extends ComponentMetadata {\n  /** Discriminator identifying the component type */\n  readonly kind: Kind;\n\n  /** Unique identifier for this component (e.g., 'sql', 'postgres', 'pgvector') */\n  readonly id: string;\n}\n\nexport interface ContractComponentRequirementsCheckInput {\n  readonly contract: {\n    readonly target: string;\n    readonly targetFamily?: string | undefined;\n    readonly extensionPacks?: Record<string, unknown> | undefined;\n  };\n  readonly expectedTargetFamily?: string | undefined;\n  readonly expectedTargetId?: string | undefined;\n  readonly providedComponentIds: Iterable<string>;\n}\n\nexport interface ContractComponentRequirementsCheckResult {\n  readonly familyMismatch?: { readonly expected: string; readonly actual: string } | undefined;\n  readonly targetMismatch?: { readonly expected: string; readonly actual: string } | undefined;\n  readonly missingExtensionPackIds: readonly string[];\n}\n\nexport function checkContractComponentRequirements(\n  input: ContractComponentRequirementsCheckInput,\n): ContractComponentRequirementsCheckResult {\n  const providedIds = new Set<string>();\n  for (const id of input.providedComponentIds) {\n    providedIds.add(id);\n  }\n\n  const requiredExtensionPackIds = input.contract.extensionPacks\n    ? Object.keys(input.contract.extensionPacks)\n    : [];\n  const missingExtensionPackIds = requiredExtensionPackIds.filter((id) => !providedIds.has(id));\n\n  const expectedTargetFamily = input.expectedTargetFamily;\n  const contractTargetFamily = input.contract.targetFamily;\n  const familyMismatch =\n    expectedTargetFamily !== undefined &&\n    contractTargetFamily !== undefined &&\n    contractTargetFamily !== expectedTargetFamily\n      ? { expected: expectedTargetFamily, actual: contractTargetFamily }\n      : undefined;\n\n  const expectedTargetId = input.expectedTargetId;\n  const contractTargetId = input.contract.target;\n  const targetMismatch =\n    expectedTargetId !== undefined && contractTargetId !== expectedTargetId\n      ? { expected: expectedTargetId, actual: contractTargetId }\n      : undefined;\n\n  return {\n    ...(familyMismatch ? { familyMismatch } : {}),\n    ...(targetMismatch ? { targetMismatch } : {}),\n    missingExtensionPackIds,\n  };\n}\n\n/**\n * Descriptor for a family component.\n *\n * A \"family\" represents a category of data sources with shared semantics\n * (e.g., SQL databases, document stores). Families define:\n * - Query semantics and operations (SELECT, INSERT, find, aggregate, etc.)\n * - Contract structure (tables vs collections, columns vs fields)\n * - Type system and codecs\n *\n * Families are the top-level grouping. Each family contains multiple targets\n * (e.g., SQL family contains Postgres, MySQL, SQLite targets).\n *\n * Extended by plane-specific descriptors:\n * - `ControlFamilyDescriptor` - adds `emission` for CLI/tooling operations\n * - `RuntimeFamilyDescriptor` - adds runtime-specific factory methods\n *\n * @template TFamilyId - Literal type for the family identifier (e.g., 'sql', 'document')\n *\n * @example\n * ```ts\n * import sql from '@prisma-next/family-sql/control';\n *\n * sql.kind     // 'family'\n * sql.familyId // 'sql'\n * sql.id       // 'sql'\n * ```\n */\nexport interface FamilyDescriptor<TFamilyId extends string> extends ComponentDescriptor<'family'> {\n  /** The family identifier (e.g., 'sql', 'document') */\n  readonly familyId: TFamilyId;\n}\n\n/**\n * Descriptor for a target component.\n *\n * A \"target\" represents a specific database or data store within a family\n * (e.g., Postgres, MySQL, MongoDB). Targets define:\n * - Native type mappings (e.g., Postgres int4 → TypeScript number)\n * - Target-specific capabilities (e.g., RETURNING, LATERAL joins)\n *\n * Targets are bound to a family and provide the target-specific implementation\n * details that adapters and drivers use.\n *\n * Extended by plane-specific descriptors:\n * - `ControlTargetDescriptor` - adds optional `migrations` capability\n * - `RuntimeTargetDescriptor` - adds runtime factory method\n *\n * @template TFamilyId - Literal type for the family identifier\n * @template TTargetId - Literal type for the target identifier (e.g., 'postgres', 'mysql')\n *\n * @example\n * ```ts\n * import postgres from '@prisma-next/target-postgres/control';\n *\n * postgres.kind     // 'target'\n * postgres.familyId // 'sql'\n * postgres.targetId // 'postgres'\n * ```\n */\nexport interface TargetDescriptor<TFamilyId extends string, TTargetId extends string>\n  extends ComponentDescriptor<'target'> {\n  /** The family this target belongs to */\n  readonly familyId: TFamilyId;\n\n  /** The target identifier (e.g., 'postgres', 'mysql', 'mongodb') */\n  readonly targetId: TTargetId;\n}\n\n/**\n * Base shape for any pack reference.\n * Pack refs are pure JSON-friendly objects safe to import in authoring flows.\n */\nexport interface PackRefBase<Kind extends string, TFamilyId extends string>\n  extends ComponentMetadata {\n  readonly kind: Kind;\n  readonly id: string;\n  readonly familyId: TFamilyId;\n  readonly targetId?: string;\n  readonly authoring?: AuthoringContributions;\n}\n\nexport type FamilyPackRef<TFamilyId extends string = string> = PackRefBase<'family', TFamilyId>;\n\nexport type TargetPackRef<\n  TFamilyId extends string = string,\n  TTargetId extends string = string,\n> = PackRefBase<'target', TFamilyId> & {\n  readonly targetId: TTargetId;\n};\n\nexport type AdapterPackRef<\n  TFamilyId extends string = string,\n  TTargetId extends string = string,\n> = PackRefBase<'adapter', TFamilyId> & {\n  readonly targetId: TTargetId;\n};\n\nexport type ExtensionPackRef<\n  TFamilyId extends string = string,\n  TTargetId extends string = string,\n> = PackRefBase<'extension', TFamilyId> & {\n  readonly targetId: TTargetId;\n};\n\nexport type DriverPackRef<\n  TFamilyId extends string = string,\n  TTargetId extends string = string,\n> = PackRefBase<'driver', TFamilyId> & {\n  readonly targetId: TTargetId;\n};\n\n/**\n * Descriptor for an adapter component.\n *\n * An \"adapter\" provides the protocol and dialect implementation for a target.\n * Adapters handle:\n * - SQL/query generation (lowering AST to target-specific syntax)\n * - Codec registration (encoding/decoding between JS and wire types)\n * - Type mappings and coercions\n *\n * Adapters are bound to a specific family+target combination and work with\n * any compatible driver for that target.\n *\n * Extended by plane-specific descriptors:\n * - `ControlAdapterDescriptor` - control-plane factory\n * - `RuntimeAdapterDescriptor` - runtime factory\n *\n * @template TFamilyId - Literal type for the family identifier\n * @template TTargetId - Literal type for the target identifier\n *\n * @example\n * ```ts\n * import postgresAdapter from '@prisma-next/adapter-postgres/control';\n *\n * postgresAdapter.kind     // 'adapter'\n * postgresAdapter.familyId // 'sql'\n * postgresAdapter.targetId // 'postgres'\n * ```\n */\nexport interface AdapterDescriptor<TFamilyId extends string, TTargetId extends string>\n  extends ComponentDescriptor<'adapter'> {\n  /** The family this adapter belongs to */\n  readonly familyId: TFamilyId;\n\n  /** The target this adapter is designed for */\n  readonly targetId: TTargetId;\n}\n\n/**\n * Descriptor for a driver component.\n *\n * A \"driver\" provides the connection and execution layer for a target.\n * Drivers handle:\n * - Connection management (pooling, timeouts, retries)\n * - Query execution (sending SQL/commands, receiving results)\n * - Transaction management\n * - Wire protocol communication\n *\n * Drivers are bound to a specific family+target and work with any compatible\n * adapter. Multiple drivers can exist for the same target (e.g., node-postgres\n * vs postgres.js for Postgres).\n *\n * Extended by plane-specific descriptors:\n * - `ControlDriverDescriptor` - creates driver from connection URL\n * - `RuntimeDriverDescriptor` - creates driver with runtime options\n *\n * @template TFamilyId - Literal type for the family identifier\n * @template TTargetId - Literal type for the target identifier\n *\n * @example\n * ```ts\n * import postgresDriver from '@prisma-next/driver-postgres/control';\n *\n * postgresDriver.kind     // 'driver'\n * postgresDriver.familyId // 'sql'\n * postgresDriver.targetId // 'postgres'\n * ```\n */\nexport interface DriverDescriptor<TFamilyId extends string, TTargetId extends string>\n  extends ComponentDescriptor<'driver'> {\n  /** The family this driver belongs to */\n  readonly familyId: TFamilyId;\n\n  /** The target this driver connects to */\n  readonly targetId: TTargetId;\n}\n\n/**\n * Descriptor for an extension component.\n *\n * An \"extension\" adds optional capabilities to a target. Extensions can provide:\n * - Additional operations (e.g., vector similarity search with pgvector)\n * - Custom types and codecs (e.g., vector type)\n * - Extended query capabilities\n *\n * Extensions are bound to a specific family+target and are registered in the\n * config alongside the core components. Multiple extensions can be used together.\n *\n * Extended by plane-specific descriptors:\n * - `ControlExtensionDescriptor` - control-plane extension factory\n * - `RuntimeExtensionDescriptor` - runtime extension factory\n *\n * @template TFamilyId - Literal type for the family identifier\n * @template TTargetId - Literal type for the target identifier\n *\n * @example\n * ```ts\n * import pgvector from '@prisma-next/extension-pgvector/control';\n *\n * pgvector.kind     // 'extension'\n * pgvector.familyId // 'sql'\n * pgvector.targetId // 'postgres'\n * ```\n */\nexport interface ExtensionDescriptor<TFamilyId extends string, TTargetId extends string>\n  extends ComponentDescriptor<'extension'> {\n  /** The family this extension belongs to */\n  readonly familyId: TFamilyId;\n\n  /** The target this extension is designed for */\n  readonly targetId: TTargetId;\n}\n\n/** Components bound to a specific family+target combination. */\nexport type TargetBoundComponentDescriptor<TFamilyId extends string, TTargetId extends string> =\n  | TargetDescriptor<TFamilyId, TTargetId>\n  | AdapterDescriptor<TFamilyId, TTargetId>\n  | DriverDescriptor<TFamilyId, TTargetId>\n  | ExtensionDescriptor<TFamilyId, TTargetId>;\n\nexport interface FamilyInstance<TFamilyId extends string> {\n  readonly familyId: TFamilyId;\n}\n\nexport interface TargetInstance<TFamilyId extends string, TTargetId extends string> {\n  readonly familyId: TFamilyId;\n  readonly targetId: TTargetId;\n}\n\nexport interface AdapterInstance<TFamilyId extends string, TTargetId extends string> {\n  readonly familyId: TFamilyId;\n  readonly targetId: TTargetId;\n}\n\nexport interface DriverInstance<TFamilyId extends string, TTargetId extends string> {\n  readonly familyId: TFamilyId;\n  readonly targetId: TTargetId;\n}\n\nexport interface ExtensionInstance<TFamilyId extends string, TTargetId extends string> {\n  readonly familyId: TFamilyId;\n  readonly targetId: TTargetId;\n}\n"],"mappings":";AA8HA,SAAgB,mCACd,OAC0C;CAC1C,MAAM,8BAAc,IAAI,KAAa;AACrC,MAAK,MAAM,MAAM,MAAM,qBACrB,aAAY,IAAI,GAAG;CAMrB,MAAM,2BAH2B,MAAM,SAAS,iBAC5C,OAAO,KAAK,MAAM,SAAS,eAAe,GAC1C,EAAE,EACmD,QAAQ,OAAO,CAAC,YAAY,IAAI,GAAG,CAAC;CAE7F,MAAM,uBAAuB,MAAM;CACnC,MAAM,uBAAuB,MAAM,SAAS;CAC5C,MAAM,iBACJ,yBAAyB,UACzB,yBAAyB,UACzB,yBAAyB,uBACrB;EAAE,UAAU;EAAsB,QAAQ;EAAsB,GAChE;CAEN,MAAM,mBAAmB,MAAM;CAC/B,MAAM,mBAAmB,MAAM,SAAS;CACxC,MAAM,iBACJ,qBAAqB,UAAa,qBAAqB,mBACnD;EAAE,UAAU;EAAkB,QAAQ;EAAkB,GACxD;AAEN,QAAO;EACL,GAAI,iBAAiB,EAAE,gBAAgB,GAAG,EAAE;EAC5C,GAAI,iBAAiB,EAAE,gBAAgB,GAAG,EAAE;EAC5C;EACD"}
+{"version":3,"file":"framework-components-BsWST1Rn.mjs","names":[],"sources":["../src/shared/framework-components.ts"],"sourcesContent":["import type { AnyCodecDescriptor } from './codec-descriptor';\nimport type { AuthoringContributions } from './framework-authoring';\nimport type { ControlMutationDefaults } from './mutation-default-types';\nimport type { TypesImportSpec } from './types-import-spec';\n\n/**\n * Declarative fields that describe component metadata.\n */\nexport interface ComponentMetadata {\n  /** Component version (semver) */\n  readonly version: string;\n\n  /**\n   * Capabilities this component provides.\n   *\n   * For adapters, capabilities must be declared on the adapter descriptor (so they are emitted into the contract) and also exposed in runtime adapter code (e.g. `adapter.profile.capabilities`); keep these declarations in sync. Targets are identifiers/descriptors and typically do not declare capabilities.\n   */\n  readonly capabilities?: Record<string, unknown>;\n\n  /** Type imports for contract.d.ts generation */\n  readonly types?: {\n    readonly codecTypes?: {\n      /**\n       * Base codec types import spec. Optional: adapters typically provide this, extensions usually don't.\n       */\n      readonly import?: TypesImportSpec;\n      /**\n       * Additional type-only imports for parameterized codec branded types.\n       *\n       * These imports are included in generated `contract.d.ts` but are NOT treated as codec type maps (i.e., they should not be intersected into `export type CodecTypes = ...`).\n       *\n       * Example: `Vector<N>` for pgvector codecs that emit `Vector<1536>`\n       */\n      readonly typeImports?: ReadonlyArray<TypesImportSpec>;\n      /**\n       * Optional control-plane hooks keyed by codecId. Used by family-specific planners/verifiers to handle storage types.\n       */\n      readonly controlPlaneHooks?: Record<string, unknown>;\n      /**\n       * Codec descriptors contributed by this component. Source of truth for codec-id-keyed metadata (`traits`, `targetTypes`, `meta`, `renderOutputType`) consumed by `extractCodecLookup`, and used to materialize representative `Codec` instances for codec-dispatched type rendering during emission.\n       */\n      readonly codecDescriptors?: ReadonlyArray<AnyCodecDescriptor>;\n    };\n    readonly operationTypes?: { readonly import: TypesImportSpec };\n    readonly queryOperationTypes?: { readonly import: TypesImportSpec };\n    readonly storage?: ReadonlyArray<{\n      readonly typeId: string;\n      readonly familyId: string;\n      readonly targetId: string;\n      readonly nativeType?: string;\n    }>;\n  };\n\n  /**\n   * Optional pure-data authoring contributions exposed by this component.\n   *\n   * These contributions are safe to include on pack refs and descriptors because they contain only declarative metadata. Higher-level authoring packages may project them into concrete helper functions for TS-first workflows.\n   */\n  readonly authoring?: AuthoringContributions;\n\n  /**\n   * Scalar type name to codec ID mapping contributed by this component. Assembled by `createControlStack` with duplicate detection.\n   */\n  readonly scalarTypeDescriptors?: ReadonlyMap<string, string>;\n\n  /**\n   * Mutation default function handlers and generator descriptors contributed by this component. Assembled by `createControlStack` with duplicate detection.\n   */\n  readonly controlMutationDefaults?: ControlMutationDefaults;\n}\n\n/**\n * Base descriptor for any framework component.\n *\n * All component descriptors share these fundamental properties that identify the component and provide its metadata. This interface is extended by specific descriptor types (FamilyDescriptor, TargetDescriptor, etc.).\n *\n * @template Kind - Discriminator literal identifying the component type. Built-in kinds are 'family', 'target', 'adapter', 'driver', 'extension', but the type accepts any string to allow ecosystem extensions.\n *\n * @example\n * ```ts\n * // All descriptors have these properties\n * descriptor.kind     // The Kind type parameter (e.g., 'family', 'target', or custom kinds)\n * descriptor.id       // Unique string identifier (e.g., 'sql', 'postgres')\n * descriptor.version  // Component version (semver)\n * ```\n */\nexport interface ComponentDescriptor<Kind extends string> extends ComponentMetadata {\n  /** Discriminator identifying the component type */\n  readonly kind: Kind;\n\n  /** Unique identifier for this component (e.g., 'sql', 'postgres', 'pgvector') */\n  readonly id: string;\n}\n\nexport interface ContractComponentRequirementsCheckInput {\n  readonly contract: {\n    readonly target: string;\n    readonly targetFamily?: string | undefined;\n    readonly extensionPacks?: Record<string, unknown> | undefined;\n  };\n  readonly expectedTargetFamily?: string | undefined;\n  readonly expectedTargetId?: string | undefined;\n  readonly providedComponentIds: Iterable<string>;\n}\n\nexport interface ContractComponentRequirementsCheckResult {\n  readonly familyMismatch?: { readonly expected: string; readonly actual: string } | undefined;\n  readonly targetMismatch?: { readonly expected: string; readonly actual: string } | undefined;\n  readonly missingExtensionPackIds: readonly string[];\n}\n\nexport function checkContractComponentRequirements(\n  input: ContractComponentRequirementsCheckInput,\n): ContractComponentRequirementsCheckResult {\n  const providedIds = new Set<string>();\n  for (const id of input.providedComponentIds) {\n    providedIds.add(id);\n  }\n\n  const requiredExtensionPackIds = input.contract.extensionPacks\n    ? Object.keys(input.contract.extensionPacks)\n    : [];\n  const missingExtensionPackIds = requiredExtensionPackIds.filter((id) => !providedIds.has(id));\n\n  const expectedTargetFamily = input.expectedTargetFamily;\n  const contractTargetFamily = input.contract.targetFamily;\n  const familyMismatch =\n    expectedTargetFamily !== undefined &&\n    contractTargetFamily !== undefined &&\n    contractTargetFamily !== expectedTargetFamily\n      ? { expected: expectedTargetFamily, actual: contractTargetFamily }\n      : undefined;\n\n  const expectedTargetId = input.expectedTargetId;\n  const contractTargetId = input.contract.target;\n  const targetMismatch =\n    expectedTargetId !== undefined && contractTargetId !== expectedTargetId\n      ? { expected: expectedTargetId, actual: contractTargetId }\n      : undefined;\n\n  return {\n    ...(familyMismatch ? { familyMismatch } : {}),\n    ...(targetMismatch ? { targetMismatch } : {}),\n    missingExtensionPackIds,\n  };\n}\n\n/**\n * Descriptor for a family component.\n *\n * A \"family\" represents a category of data sources with shared semantics (e.g., SQL databases, document stores). Families define:\n * - Query semantics and operations (SELECT, INSERT, find, aggregate, etc.)\n * - Contract structure (tables vs collections, columns vs fields)\n * - Type system and codecs\n *\n * Families are the top-level grouping. Each family contains multiple targets (e.g., SQL family contains Postgres, MySQL, SQLite targets).\n *\n * Extended by plane-specific descriptors:\n * - `ControlFamilyDescriptor` - adds `emission` for CLI/tooling operations\n * - `RuntimeFamilyDescriptor` - adds runtime-specific factory methods\n *\n * @template TFamilyId - Literal type for the family identifier (e.g., 'sql', 'document')\n *\n * @example\n * ```ts\n * import sql from '@prisma-next/family-sql/control';\n *\n * sql.kind     // 'family'\n * sql.familyId // 'sql'\n * sql.id       // 'sql'\n * ```\n */\nexport interface FamilyDescriptor<TFamilyId extends string> extends ComponentDescriptor<'family'> {\n  /** The family identifier (e.g., 'sql', 'document') */\n  readonly familyId: TFamilyId;\n}\n\n/**\n * Descriptor for a target component.\n *\n * A \"target\" represents a specific database or data store within a family (e.g., Postgres, MySQL, MongoDB). Targets define:\n * - Native type mappings (e.g., Postgres int4 → TypeScript number)\n * - Target-specific capabilities (e.g., RETURNING, LATERAL joins)\n *\n * Targets are bound to a family and provide the target-specific implementation details that adapters and drivers use.\n *\n * Extended by plane-specific descriptors:\n * - `ControlTargetDescriptor` - adds optional `migrations` capability\n * - `RuntimeTargetDescriptor` - adds runtime factory method\n *\n * @template TFamilyId - Literal type for the family identifier\n * @template TTargetId - Literal type for the target identifier (e.g., 'postgres', 'mysql')\n *\n * @example\n * ```ts\n * import postgres from '@prisma-next/target-postgres/control';\n *\n * postgres.kind     // 'target'\n * postgres.familyId // 'sql'\n * postgres.targetId // 'postgres'\n * ```\n */\nexport interface TargetDescriptor<TFamilyId extends string, TTargetId extends string>\n  extends ComponentDescriptor<'target'> {\n  /** The family this target belongs to */\n  readonly familyId: TFamilyId;\n\n  /** The target identifier (e.g., 'postgres', 'mysql', 'mongodb') */\n  readonly targetId: TTargetId;\n}\n\n/**\n * Base shape for any pack reference. Pack refs are pure JSON-friendly objects safe to import in authoring flows.\n */\nexport interface PackRefBase<Kind extends string, TFamilyId extends string>\n  extends ComponentMetadata {\n  readonly kind: Kind;\n  readonly id: string;\n  readonly familyId: TFamilyId;\n  readonly targetId?: string;\n  readonly authoring?: AuthoringContributions;\n}\n\nexport type FamilyPackRef<TFamilyId extends string = string> = PackRefBase<'family', TFamilyId>;\n\nexport type TargetPackRef<\n  TFamilyId extends string = string,\n  TTargetId extends string = string,\n> = PackRefBase<'target', TFamilyId> & {\n  readonly targetId: TTargetId;\n};\n\nexport type AdapterPackRef<\n  TFamilyId extends string = string,\n  TTargetId extends string = string,\n> = PackRefBase<'adapter', TFamilyId> & {\n  readonly targetId: TTargetId;\n};\n\nexport type ExtensionPackRef<\n  TFamilyId extends string = string,\n  TTargetId extends string = string,\n> = PackRefBase<'extension', TFamilyId> & {\n  readonly targetId: TTargetId;\n};\n\nexport type DriverPackRef<\n  TFamilyId extends string = string,\n  TTargetId extends string = string,\n> = PackRefBase<'driver', TFamilyId> & {\n  readonly targetId: TTargetId;\n};\n\n/**\n * Descriptor for an adapter component.\n *\n * An \"adapter\" provides the protocol and dialect implementation for a target. Adapters handle:\n * - SQL/query generation (lowering AST to target-specific syntax)\n * - Codec registration (encoding/decoding between JS and wire types)\n * - Type mappings and coercions\n *\n * Adapters are bound to a specific family+target combination and work with any compatible driver for that target.\n *\n * Extended by plane-specific descriptors:\n * - `ControlAdapterDescriptor` - control-plane factory\n * - `RuntimeAdapterDescriptor` - runtime factory\n *\n * @template TFamilyId - Literal type for the family identifier\n * @template TTargetId - Literal type for the target identifier\n *\n * @example\n * ```ts\n * import postgresAdapter from '@prisma-next/adapter-postgres/control';\n *\n * postgresAdapter.kind     // 'adapter'\n * postgresAdapter.familyId // 'sql'\n * postgresAdapter.targetId // 'postgres'\n * ```\n */\nexport interface AdapterDescriptor<TFamilyId extends string, TTargetId extends string>\n  extends ComponentDescriptor<'adapter'> {\n  /** The family this adapter belongs to */\n  readonly familyId: TFamilyId;\n\n  /** The target this adapter is designed for */\n  readonly targetId: TTargetId;\n}\n\n/**\n * Descriptor for a driver component.\n *\n * A \"driver\" provides the connection and execution layer for a target. Drivers handle:\n * - Connection management (pooling, timeouts, retries)\n * - Query execution (sending SQL/commands, receiving results)\n * - Transaction management\n * - Wire protocol communication\n *\n * Drivers are bound to a specific family+target and work with any compatible adapter. Multiple drivers can exist for the same target (e.g., node-postgres vs postgres.js for Postgres).\n *\n * Extended by plane-specific descriptors:\n * - `ControlDriverDescriptor` - creates driver from connection URL\n * - `RuntimeDriverDescriptor` - creates driver with runtime options\n *\n * @template TFamilyId - Literal type for the family identifier\n * @template TTargetId - Literal type for the target identifier\n *\n * @example\n * ```ts\n * import postgresDriver from '@prisma-next/driver-postgres/control';\n *\n * postgresDriver.kind     // 'driver'\n * postgresDriver.familyId // 'sql'\n * postgresDriver.targetId // 'postgres'\n * ```\n */\nexport interface DriverDescriptor<TFamilyId extends string, TTargetId extends string>\n  extends ComponentDescriptor<'driver'> {\n  /** The family this driver belongs to */\n  readonly familyId: TFamilyId;\n\n  /** The target this driver connects to */\n  readonly targetId: TTargetId;\n}\n\n/**\n * Descriptor for an extension component.\n *\n * An \"extension\" adds optional capabilities to a target. Extensions can provide:\n * - Additional operations (e.g., vector similarity search with pgvector)\n * - Custom types and codecs (e.g., vector type)\n * - Extended query capabilities\n *\n * Extensions are bound to a specific family+target and are registered in the config alongside the core components. Multiple extensions can be used together.\n *\n * Extended by plane-specific descriptors:\n * - `ControlExtensionDescriptor` - control-plane extension factory\n * - `RuntimeExtensionDescriptor` - runtime extension factory\n *\n * @template TFamilyId - Literal type for the family identifier\n * @template TTargetId - Literal type for the target identifier\n *\n * @example\n * ```ts\n * import pgvector from '@prisma-next/extension-pgvector/control';\n *\n * pgvector.kind     // 'extension'\n * pgvector.familyId // 'sql'\n * pgvector.targetId // 'postgres'\n * ```\n */\nexport interface ExtensionDescriptor<TFamilyId extends string, TTargetId extends string>\n  extends ComponentDescriptor<'extension'> {\n  /** The family this extension belongs to */\n  readonly familyId: TFamilyId;\n\n  /** The target this extension is designed for */\n  readonly targetId: TTargetId;\n}\n\n/** Components bound to a specific family+target combination. */\nexport type TargetBoundComponentDescriptor<TFamilyId extends string, TTargetId extends string> =\n  | TargetDescriptor<TFamilyId, TTargetId>\n  | AdapterDescriptor<TFamilyId, TTargetId>\n  | DriverDescriptor<TFamilyId, TTargetId>\n  | ExtensionDescriptor<TFamilyId, TTargetId>;\n\nexport interface FamilyInstance<TFamilyId extends string> {\n  readonly familyId: TFamilyId;\n}\n\nexport interface TargetInstance<TFamilyId extends string, TTargetId extends string> {\n  readonly familyId: TFamilyId;\n  readonly targetId: TTargetId;\n}\n\nexport interface AdapterInstance<TFamilyId extends string, TTargetId extends string> {\n  readonly familyId: TFamilyId;\n  readonly targetId: TTargetId;\n}\n\nexport interface DriverInstance<TFamilyId extends string, TTargetId extends string> {\n  readonly familyId: TFamilyId;\n  readonly targetId: TTargetId;\n}\n\nexport interface ExtensionInstance<TFamilyId extends string, TTargetId extends string> {\n  readonly familyId: TFamilyId;\n  readonly targetId: TTargetId;\n}\n"],"mappings":";AA+GA,SAAgB,mCACd,OAC0C;CAC1C,MAAM,8BAAc,IAAI,KAAa;AACrC,MAAK,MAAM,MAAM,MAAM,qBACrB,aAAY,IAAI,GAAG;CAMrB,MAAM,2BAH2B,MAAM,SAAS,iBAC5C,OAAO,KAAK,MAAM,SAAS,eAAe,GAC1C,EAAE,EACmD,QAAQ,OAAO,CAAC,YAAY,IAAI,GAAG,CAAC;CAE7F,MAAM,uBAAuB,MAAM;CACnC,MAAM,uBAAuB,MAAM,SAAS;CAC5C,MAAM,iBACJ,yBAAyB,UACzB,yBAAyB,UACzB,yBAAyB,uBACrB;EAAE,UAAU;EAAsB,QAAQ;EAAsB,GAChE;CAEN,MAAM,mBAAmB,MAAM;CAC/B,MAAM,mBAAmB,MAAM,SAAS;CACxC,MAAM,iBACJ,qBAAqB,UAAa,qBAAqB,mBACnD;EAAE,UAAU;EAAkB,QAAQ;EAAkB,GACxD;AAEN,QAAO;EACL,GAAI,iBAAiB,EAAE,gBAAgB,GAAG,EAAE;EAC5C,GAAI,iBAAiB,EAAE,gBAAgB,GAAG,EAAE;EAC5C;EACD"}

package/dist/psl-ast-BlDveJZ4.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"psl-ast-BlDveJZ4.d.mts","names":[],"sources":["../src/control/psl-ast.ts"],"sourcesContent":[],"mappings":";UAAiB,WAAA;EAAA,SAAA,MAAW,EAAA,MAAA;EAMX,SAAA,IAAO,EAAA,MAAA;EAKZ,SAAA,MAAA,EAAA,MAAiB;AAa7B;AAOiB,UAzBA,OAAA,CAyBA;EAKA,SAAA,KAAA,EA7BC,WA6BqB;EAK3B,SAAA,GAAA,EAjCI,WAiCW;AAE3B;AAEiB,KAlCL,iBAAA,GAkCK,wBAGA,GAAO,iCAAA,GAAA,8BAAA,GAAA,0BAAA,GAAA,iCAAA,GAAA,iCAAA,GAAA,gCAAA,GAAA,gCAAA,GAAA,2BAAA,GAAA,yBAAA,GAAA,0BAAA;AAGP,UA3BA,aAAA,CA2BA;EAOL,SAAA,IAAA,EAjCK,iBAiCe;EAEf,SAAA,OAAA,EAAA,MAAA;EAOA,SAAA,QAAY,EAAA,MAAA;EAEV,SAAA,IAAA,EAzCF,OAyCE;;AAGF,UAzCA,uBAAA,CAyCA;EAAO,SAAA,IAAA,EAAA,UAAA;EAGZ,SAAA,IAAA,EAAA,eAAoB,GAAA,KAAA;AAEhC;AAEiB,UA3CA,sBAAA,CA2CQ;EAII,SAAA,IAAA,EAAA,SAAA;EAIG,SAAA,KAAA,EAAA,MAAA,GAAA,MAAA,GAAA,OAAA;;AACR,KA/CZ,eAAA,GAAkB,uBA+CN,GA/CgC,sBA+ChC;AAGP,KAhDL,kBAAA,GAgDwB,OAGnB,GAAA,OAAO,GAAA,MAAA,GAAA,WAAA;AAGP,UApDA,8BAAA,CAuDO;EAGZ,SAAA,IAAA,EAAA,YAAiB;EAEZ,SAAA,KAAQ,EAAA,MAAA;EAGG,SAAA,IAAA,EA5DX,OA4DW;;AAEX,UA3DA,yBAAA,CA2DA;EAAO,SAAA,IAAA,EAAA,OAAA;EAWP,SAAA,IAAA,EAAY,MAAA;EAgBZ,SAAA,KAAO,EAAA,MAAA;EAGI,SAAA,IAAA,EArFX,OAqFW;;AAEX,KApFL,oBAAA,GAAuB,8BAoFlB,GApFmD,yBAoFnD;AAAO,UAlFP,sBAAA,CAkFO;EAGP,SAAA,IAAA,EAAA,iBAAgB;EAGL,SAAA,IAAA,EAAA,SAAA,MAAA,EAAA;EACI,SAAA,IAAA,EAAA,SAtFN,oBAsFM,EAAA;EACf,SAAA,IAAA,EAtFA,OAsFA;;AAGA,UAtFA,YAAA,CAsFuB;EASX,SAAA,IAAA,EAAA,WAAA;EACG,SAAA,MAAA,EA9Fb,kBA8Fa;EACf,SAAA,IAAA,EAAA,MAAA;EAAO,SAAA,IAAA,EAAA,SA7FE,oBA6FF,EAAA;EAGP,SAAA,IAAA,EA/FA,OA+Fa;AAM9B;AAG4B,KArGhB,oBAAA,GAqGgB,MAAA;AACD,KApGf,iBAAA,GAAoB,YAoGL;AACS,UAnGnB,QAAA,CAmGmB;EACjB,SAAA,IAAA,EAAA,OAAA;EACF,SAAA,IAAA,EAAA,MAAA;EAAO,SAAA,QAAA,EAAA,MAAA;EAGP,SAAA,eAAqB,CAAA,EApGT,sBAoGS;EAKrB,SAAA,QAAA,EAAA,OAAsB;;;gCArGP;iBACf;;UAGA,mBAAA;;;iBAGA;;UAGA,kBAAA;;;iBAGA;;KAGL,iBAAA,GAAoB;UAEf,QAAA;;;4BAGW;gCACI;iBACf;;;;;;;;;;UAWA,YAAA;;;;;;;;;;;;;iBAaA;;UAGA,OAAA;;;4BAGW;gCACI;iBACf;;UAGA,gBAAA;;;4BAGW;gCACI;iBACf;;UAGA,uBAAA;;;;;;;;;6BASY;gCACG;iBACf;;UAGA,aAAA;;kCAEiB;iBACjB;;UAGA,cAAA;;;4BAGW;2BACD;oCACS;mBACjB;iBACF;;UAGA,qBAAA;;;;UAKA,sBAAA;gBACD;iCACiB"}
+{"version":3,"file":"psl-ast-BlDveJZ4.d.mts","names":[],"sources":["../src/control/psl-ast.ts"],"sourcesContent":[],"mappings":";UAAiB,WAAA;EAAA,SAAA,MAAW,EAAA,MAAA;EAMX,SAAA,IAAO,EAAA,MACN;EAIN,SAAA,MAAA,EAAA,MAAiB;AAa7B;AAOiB,UAzBA,OAAA,CAyBA;EAKA,SAAA,KAAA,EA7BC,WA6BqB;EAK3B,SAAA,GAAA,EAjCI,WAiCW;AAE3B;AAEiB,KAlCL,iBAAA,GAkCK,wBAGO,GAAA,iCAAA,GAAA,8BAAA,GAAA,0BAAA,GAAA,iCAAA,GAAA,iCAAA,GAAA,gCAAA,GAAA,gCAAA,GAAA,2BAAA,GAAA,yBAAA,GAAA,0BAAA;AAGP,UA3BA,aAAA,CA2BA;EAOL,SAAA,IAAA,EAjCK,iBAiCe;EAEf,SAAA,OAAA,EAAA,MAAA;EAOA,SAAA,QAAY,EAAA,MAAA;EAEV,SAAA,IAAA,EAzCF,OAyCE;;AAGF,UAzCA,uBAAA,CAyCA;EAAO,SAAA,IAAA,EAAA,UAAA;EAGZ,SAAA,IAAA,EAAA,eAAoB,GAAA,KAAA;AAEhC;AAEiB,UA3CA,sBAAA,CA2CQ;EAII,SAAA,IAAA,EAAA,SAAA;EAIG,SAAA,KAAA,EAAA,MAAA,GAAA,MAAA,GAAA,OAAA;;AACR,KA/CZ,eAAA,GAAkB,uBA+CN,GA/CgC,sBA+ChC;AAGP,KAhDL,kBAAA,GAgDwB,OAGnB,GAAA,OAAO,GAAA,MAAA,GAAA,WAAA;AAGP,UApDA,8BAAA,CAuDO;EAGZ,SAAA,IAAA,EAAA,YAAiB;EAEZ,SAAA,KAAQ,EAAA,MAAA;EAGG,SAAA,IAAA,EA5DX,OA4DW;;AAEX,UA3DA,yBAAA,CA2DA;EAAO,SAAA,IAAA,EAAA,OAAA;EAWP,SAAA,IAAA,EAAY,MAAA;EAgBZ,SAAA,KAAO,EAAA,MAAA;EAGI,SAAA,IAAA,EArFX,OAqFW;;AAEX,KApFL,oBAAA,GAAuB,8BAoFlB,GApFmD,yBAoFnD;AAAO,UAlFP,sBAAA,CAkFO;EAGP,SAAA,IAAA,EAAA,iBAAgB;EAGL,SAAA,IAAA,EAAA,SAAA,MAAA,EAAA;EACI,SAAA,IAAA,EAAA,SAtFN,oBAsFM,EAAA;EACf,SAAA,IAAA,EAtFA,OAsFA;;AAGA,UAtFA,YAAA,CAsFuB;EASX,SAAA,IAAA,EAAA,WAAA;EACG,SAAA,MAAA,EA9Fb,kBA8Fa;EACf,SAAA,IAAA,EAAA,MAAA;EAAO,SAAA,IAAA,EAAA,SA7FE,oBA6FF,EAAA;EAGP,SAAA,IAAA,EA/FA,OA+Fa;AAM9B;AAG4B,KArGhB,oBAAA,GAqGgB,MAAA;AACD,KApGf,iBAAA,GAAoB,YAoGL;AACS,UAnGnB,QAAA,CAmGmB;EACjB,SAAA,IAAA,EAAA,OAAA;EACF,SAAA,IAAA,EAAA,MAAA;EAAO,SAAA,QAAA,EAAA,MAAA;EAGP,SAAA,eAAqB,CAAA,EApGT,sBAoGS;EAKrB,SAAA,QAAA,EAAA,OAAsB;;;gCArGP;iBACf;;UAGA,mBAAA;;;iBAGA;;UAGA,kBAAA;;;iBAGA;;KAGL,iBAAA,GAAoB;UAEf,QAAA;;;4BAGW;gCACI;iBACf;;;;;;;;;;UAWA,YAAA;;;;;;;;;;;;;iBAaA;;UAGA,OAAA;;;4BAGW;gCACI;iBACf;;UAGA,gBAAA;;;4BAGW;gCACI;iBACf;;UAGA,uBAAA;;;;;;;;;6BASY;gCACG;iBACf;;UAGA,aAAA;;kCAEiB;iBACjB;;UAGA,cAAA;;;4BAGW;2BACD;oCACS;mBACjB;iBACF;;UAGA,qBAAA;;;;UAKA,sBAAA;gBACD;iCACiB"}

package/dist/runtime.d.mts

@@ -1,4 +1,4 @@
-import { n as CodecCallContext } from "./codec-types-MWvfFmu1.mjs";
+import { o as CodecCallContext } from "./codec-BUBJeOk4.mjs";
 import { PlanMeta } from "@prisma-next/contract/types";
 
 //#region src/execution/async-iterable-result.d.ts

package/package.json

@@ -1,15 +1,15 @@
 {
   "name": "@prisma-next/framework-components",
-  "version": "0.5.0-dev.60",
+  "version": "0.5.0-dev.62",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "Framework component types, assembly logic, and stack creation for Prisma Next",
   "dependencies": {
     "@standard-schema/spec": "^1.1.0",
-    "@prisma-next/contract": "0.5.0-dev.60",
-    "@prisma-next/utils": "0.5.0-dev.60",
-    "@prisma-next/operations": "0.5.0-dev.60"
+    "@prisma-next/contract": "0.5.0-dev.62",
+    "@prisma-next/operations": "0.5.0-dev.62",
+    "@prisma-next/utils": "0.5.0-dev.62"
   },
   "devDependencies": {
     "tsdown": "0.18.4",

package/src/control/control-stack.ts

@@ -1,4 +1,5 @@
-import type { CodecLookup } from '../shared/codec-types';
+import type { Codec } from '../shared/codec';
+import type { CodecLookup, CodecMeta } from '../shared/codec-types';
 import type {
   AuthoringContributions,
   AuthoringFieldNamespace,
@@ -270,27 +271,65 @@ export function assembleControlMutationDefaults(
 }
 
 export function extractCodecLookup(
-  descriptors: ReadonlyArray<Pick<ComponentMetadata & { id?: string }, 'types' | 'id'>>,
+  descriptors: ReadonlyArray<Pick<ComponentMetadata & { id: string }, 'types' | 'id'>>,
 ): CodecLookup {
-  const byId = new Map<string, import('../shared/codec-types').Codec>();
+  const byId = new Map<string, Codec>();
+  const targetTypesById = new Map<string, readonly string[]>();
+  const metaById = new Map<string, CodecMeta>();
+  const renderersById = new Map<string, (params: Record<string, unknown>) => string | undefined>();
   const owners = new Map<string, string>();
   for (const descriptor of descriptors) {
-    const codecInstances = descriptor.types?.codecTypes?.codecInstances;
-    if (!codecInstances) continue;
-    const descriptorId = descriptor.id ?? '<unknown>';
-    for (const codec of codecInstances) {
+    const codecTypes = descriptor.types?.codecTypes;
+    const descriptorId = descriptor.id;
+    // Descriptor-side metadata is the single source of truth for `targetTypes` / `meta` / `renderOutputType`. Every contributor ships a `codecDescriptors` list on `types.codecTypes`.
+    for (const codecDescriptor of codecTypes?.codecDescriptors ?? []) {
       assertUniqueCodecOwner({
-        codecId: codec.id,
+        codecId: codecDescriptor.codecId,
         owners,
         descriptorId,
-        entityLabel: 'codec instance',
-        entityOwnershipLabel: 'codec instance provider',
+        entityLabel: 'codec descriptor',
+        entityOwnershipLabel: 'codec descriptor provider',
       });
-      owners.set(codec.id, descriptorId);
-      byId.set(codec.id, codec);
+      owners.set(codecDescriptor.codecId, descriptorId);
+      if (Array.isArray(codecDescriptor.targetTypes)) {
+        targetTypesById.set(codecDescriptor.codecId, codecDescriptor.targetTypes);
+      }
+      if (codecDescriptor.meta !== undefined) {
+        metaById.set(codecDescriptor.codecId, codecDescriptor.meta);
+      }
+      if (typeof codecDescriptor.renderOutputType === 'function') {
+        renderersById.set(codecDescriptor.codecId, codecDescriptor.renderOutputType);
+      }
+      // 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.
+      //
+      // Two cohorts:
+      // - Non-parameterized descriptors: factory must succeed; any throw is a real bug and we let it propagate (no silent try/catch).
+      // - 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).
+      if (!byId.has(codecDescriptor.codecId)) {
+        if (codecDescriptor.isParameterized) {
+          try {
+            const representative = codecDescriptor.factory({} as never)({
+              name: `<lookup:${codecDescriptor.codecId}>`,
+            } as Parameters<ReturnType<typeof codecDescriptor.factory>>[0]);
+            byId.set(codecDescriptor.codecId, representative);
+          } catch {
+            // Factory requires concrete params; skip representative materialization. Per-column instances are built at runtime; id-keyed lookup miss is the correct outcome here.
+          }
+        } else {
+          const representative = codecDescriptor.factory(undefined as never)({
+            name: `<lookup:${codecDescriptor.codecId}>`,
+          } as Parameters<ReturnType<typeof codecDescriptor.factory>>[0]);
+          byId.set(codecDescriptor.codecId, representative);
+        }
+      }
     }
   }
-  return { get: (id) => byId.get(id) };
+  return {
+    get: (id) => byId.get(id),
+    targetTypesFor: (id) => targetTypesById.get(id),
+    metaFor: (id) => metaById.get(id),
+    renderOutputTypeFor: (id, params) => renderersById.get(id)?.(params),
+  };
 }
 
 export function validateScalarTypeCodecIds(