@prisma-next/emitter 0.5.0-dev.6 → 0.5.0-dev.61

package/dist/domain-type-generation.d.mts

@@ -23,16 +23,22 @@ type ResolvedFieldType = {
   readonly input: string;
   readonly output: string;
 };
-declare function resolveFieldType(field: ContractField, codecLookup?: CodecLookup): ResolvedFieldType;
+/**
+ * Per-family resolver for typeParams that don't live inline on the framework-domain `ContractField`. SQL columns authored via a named `storage.types` entry carry their `typeRef` on the storage column (family-specific) rather than on the framework's domain field; the per-family emitter walks `storage.types[ref].typeParams` here so the framework emit path can render the parameterized output type.
+ *
+ * Returns `undefined` when the field has no resolvable typeParams (i.e. the column isn't parameterized, isn't a `typeRef`, or the family doesn't support named storage types).
+ */
+type FieldTypeParamsResolver = (modelName: string, fieldName: string) => Record<string, unknown> | undefined;
+declare function resolveFieldType(field: ContractField, codecLookup?: CodecLookup, resolvedTypeParams?: Record<string, unknown>): ResolvedFieldType;
 declare function generateFieldResolvedType(field: ContractField, codecLookup?: CodecLookup, side?: 'input' | 'output'): string;
-declare function generateBothFieldTypesMaps(models: Record<string, ContractModel> | undefined, codecLookup?: CodecLookup): ResolvedFieldType;
-declare function generateFieldOutputTypesMap(models: Record<string, ContractModel> | undefined, codecLookup?: CodecLookup): string;
-declare function generateFieldInputTypesMap(models: Record<string, ContractModel> | undefined, codecLookup?: CodecLookup): string;
+declare function generateBothFieldTypesMaps(models: Record<string, ContractModel> | undefined, codecLookup?: CodecLookup, resolveFieldTypeParams?: FieldTypeParamsResolver): ResolvedFieldType;
+declare function generateFieldOutputTypesMap(models: Record<string, ContractModel> | undefined, codecLookup?: CodecLookup, resolveFieldTypeParams?: FieldTypeParamsResolver): string;
+declare function generateFieldInputTypesMap(models: Record<string, ContractModel> | undefined, codecLookup?: CodecLookup, resolveFieldTypeParams?: FieldTypeParamsResolver): string;
 declare function generateValueObjectType(_voName: string, vo: ContractValueObject, _valueObjects: Record<string, ContractValueObject>, side?: 'input' | 'output', codecLookup?: CodecLookup): string;
 declare function resolveValueObjectType(_voName: string, vo: ContractValueObject, _valueObjects: Record<string, ContractValueObject>, codecLookup?: CodecLookup): ResolvedFieldType;
 declare function generateContractFieldDescriptor(fieldName: string, field: ContractField): string;
 declare function generateValueObjectsDescriptorType(valueObjects: Record<string, ContractValueObject> | undefined): string;
 declare function generateValueObjectTypeAliases(valueObjects: Record<string, ContractValueObject> | undefined, codecLookup?: CodecLookup): string;
 //#endregion
-export { ResolvedFieldType, deduplicateImports, generateBothFieldTypesMaps, generateCodecTypeIntersection, generateContractFieldDescriptor, generateFieldInputTypesMap, generateFieldOutputTypesMap, generateFieldResolvedType, generateHashTypeAliases, generateImportLines, generateModelFieldEntry, generateModelFieldsType, generateModelRelationsType, generateModelsType, generateRootsType, generateValueObjectType, generateValueObjectTypeAliases, generateValueObjectsDescriptorType, resolveFieldType, resolveValueObjectType, serializeExecutionType, serializeObjectKey, serializeValue };
+export { FieldTypeParamsResolver, ResolvedFieldType, deduplicateImports, generateBothFieldTypesMaps, generateCodecTypeIntersection, generateContractFieldDescriptor, generateFieldInputTypesMap, generateFieldOutputTypesMap, generateFieldResolvedType, generateHashTypeAliases, generateImportLines, generateModelFieldEntry, generateModelFieldsType, generateModelRelationsType, generateModelsType, generateRootsType, generateValueObjectType, generateValueObjectTypeAliases, generateValueObjectsDescriptorType, resolveFieldType, resolveValueObjectType, serializeExecutionType, serializeObjectKey, serializeValue };
 //# sourceMappingURL=domain-type-generation.d.mts.map

package/dist/domain-type-generation.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"domain-type-generation.d.mts","names":[],"sources":["../src/domain-type-generation.ts"],"sourcesContent":[],"mappings":";;;;;iBASgB,cAAA;iBA+BA,kBAAA;AA/BA,iBAsCA,iBAAA,CAtCc,KAAA,EAsCW,MAtCX,CAAA,MAAA,EAAA,MAAA,CAAA,GAAA,SAAA,CAAA,EAAA,MAAA;AA+Bd,iBAuBA,uBAAA,CAvBkB,SAAA,EAAA,MAAA,EAAA,KAAA,EAuBgC,aAvBhC,CAAA,EAAA,MAAA;AAOlB,iBAgCA,uBAAA,CAhC+B,MAAA,EAgCC,MAhCD,CAAA,MAAA,EAgCgB,aAhChB,CAAA,CAAA,EAAA,MAAA;AAgB/B,iBAwBA,0BAAA,CAxBkD,SAAa,EAwBzB,MAxByB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,EAAA,MAAA;AAgB/D,iBA8CA,kBAAA,CA9C+C,MAAA,EA+CrD,MA/CsC,CAAA,MAAM,EA+C7B,aA/C6B,CAAA,EAAA,oBAAA,EAAA,CAAA,SAAA,EAAA,MAAA,EAAA,KAAA,EAgDH,aAhDG,EAAA,GAAA,MAAA,CAAA,EAAA,MAAA;AAQtC,iBA6EA,kBAAA,CA7E0B,OAAY,EA6EV,eA7EgB,EAAA,CAAA,EA6EI,eA7EJ,EAAA;AAsC5C,iBAoDA,mBAAA,CApDkB,OAAA,EAoDW,eApDX,EAAA,CAAA,EAAA,MAAA,EAAA;AACT,iBA0DT,6BAAA,CA1DS,OAAA,EA2Dd,aA3Dc,CA2DA,eA3DA,CAAA,EAAA,KAAA,EAAA,MAAA,CAAA,EAAA,MAAA;AAAf,iBAkEM,sBAAA,CAlEN,SAAA,EAkEwC,MAlExC,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,EAAA,MAAA;AACyC,iBA0EnC,uBAAA,CA1EmC,MAAA,EAAA;EAAa,SAAA,WAAA,EAAA,MAAA;EAqChD,SAAA,aAAkB,CAAA,EAAA,MAAA;EAalB,SAAA,WAAA,EAAmB,MAAA;AAOnC,CAAA,CAAA,EAAgB,MAAA;AAQA,KAyBJ,iBAAA,GAzB0B;EAStB,SAAA,KAAA,EAAA,MAAA;EAgBJ,SAAA,MAAA,EAAA,MAAiB;AAU7B,CAAA;AACS,iBADO,gBAAA,CACP,KAAA,EAAA,aAAA,EAAA,WAAA,CAAA,EACO,WADP,CAAA,EAEN,iBAFM;AACO,iBAmDA,yBAAA,CAnDA,KAAA,EAoDP,aApDO,EAAA,WAAA,CAAA,EAqDA,WArDA,EAAA,IAAA,CAAA,EAAA,OAAA,GAAA,QAAA,CAAA,EAAA,MAAA;AACb,iBA0Da,0BAAA,CA1Db,MAAA,EA2DO,MA3DP,CAAA,MAAA,EA2DsB,aA3DtB,CAAA,GAAA,SAAA,EAAA,WAAA,CAAA,EA4Da,WA5Db,CAAA,EA6DA,iBA7DA;AAAiB,iBAiGJ,2BAAA,CAjGI,MAAA,EAkGV,MAlGU,CAAA,MAAA,EAkGK,aAlGL,CAAA,GAAA,SAAA,EAAA,WAAA,CAAA,EAmGJ,WAnGI,CAAA,EAAA,MAAA;AAkDJ,iBAsDA,0BAAA,CArDP,MAAA,EAsDC,MArDM,CAAA,MAAW,EAqDF,aArDE,CAAA,GAAA,SAAA,EAAA,WAAA,CAAA,EAsDX,WAtDW,CAAA,EAAA,MAAA;AAMX,iBAqDA,uBAAA,CArD0B,OAAA,EAAA,MAAA,EAAA,EAAA,EAuDpC,mBAvDoC,EAAA,aAAA,EAwDzB,MAxDyB,CAAA,MAAA,EAwDV,mBAxDU,CAAA,EAAA,IAAA,CAAA,EAAA,OAAA,GAAA,QAAA,EAAA,WAAA,CAAA,EA0D1B,WA1D0B,CAAA,EAAA,MAAA;AACjB,iBA8DT,sBAAA,CA9DS,OAAA,EAAA,MAAA,EAAA,EAAA,EAgEnB,mBAhEmB,EAAA,aAAA,EAiER,MAjEQ,CAAA,MAAA,EAiEO,mBAjEP,CAAA,EAAA,WAAA,CAAA,EAkET,WAlES,CAAA,EAmEtB,iBAnEsB;AAAf,iBAmFM,+BAAA,CAnFN,SAAA,EAAA,MAAA,EAAA,KAAA,EAmFgE,aAnFhE,CAAA,EAAA,MAAA;AACM,iBAsGA,kCAAA,CAtGA,YAAA,EAuGA,MAvGA,CAAA,MAAA,EAuGe,mBAvGf,CAAA,GAAA,SAAA,CAAA,EAAA,MAAA;AACb,iBA0Ha,8BAAA,CA1Hb,YAAA,EA2Ha,MA3Hb,CAAA,MAAA,EA2H4B,mBA3H5B,CAAA,GAAA,SAAA,EAAA,WAAA,CAAA,EA4Ha,WA5Hb,CAAA,EAAA,MAAA"}
+{"version":3,"file":"domain-type-generation.d.mts","names":[],"sources":["../src/domain-type-generation.ts"],"sourcesContent":[],"mappings":";;;;;iBASgB,cAAA;iBA+BA,kBAAA;AA/BA,iBAsCA,iBAAA,CAtCc,KAAA,EAsCW,MAtCX,CAAA,MAAA,EAAA,MAAA,CAAA,GAAA,SAAA,CAAA,EAAA,MAAA;AA+Bd,iBAuBA,uBAAA,CAvBkB,SAAA,EAAA,MAAA,EAAA,KAAA,EAuBgC,aAvBhC,CAAA,EAAA,MAAA;AAOlB,iBAgCA,uBAAA,CAhC+B,MAAA,EAgCC,MAhCD,CAAA,MAAA,EAgCgB,aAhChB,CAAA,CAAA,EAAA,MAAA;AAgB/B,iBAwBA,0BAAA,CAxBkD,SAAa,EAwBzB,MAxByB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,EAAA,MAAA;AAgB/D,iBA8CA,kBAAA,CA9C+C,MAAA,EA+CrD,MA/CsC,CAAA,MAAM,EA+C7B,aA/C6B,CAAA,EAAA,oBAAA,EAAA,CAAA,SAAA,EAAA,MAAA,EAAA,KAAA,EAgDH,aAhDG,EAAA,GAAA,MAAA,CAAA,EAAA,MAAA;AAQtC,iBA6EA,kBAAA,CA7E0B,OAAY,EA6EV,eA7EgB,EAAA,CAAA,EA6EI,eA7EJ,EAAA;AAsC5C,iBAoDA,mBAAA,CApDkB,OAAA,EAoDW,eApDX,EAAA,CAAA,EAAA,MAAA,EAAA;AACT,iBA0DT,6BAAA,CA1DS,OAAA,EA2Dd,aA3Dc,CA2DA,eA3DA,CAAA,EAAA,KAAA,EAAA,MAAA,CAAA,EAAA,MAAA;AAAf,iBAkEM,sBAAA,CAlEN,SAAA,EAkEwC,MAlExC,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,EAAA,MAAA;AACyC,iBA0EnC,uBAAA,CA1EmC,MAAA,EAAA;EAAa,SAAA,WAAA,EAAA,MAAA;EAqChD,SAAA,aAAkB,CAAA,EAAA,MAAA;EAalB,SAAA,WAAA,EAAmB,MAAA;AAOnC,CAAA,CAAA,EAAgB,MAAA;AAQA,KAyBJ,iBAAA,GAzB0B;EAStB,SAAA,KAAA,EAAA,MAAA;EAgBJ,SAAA,MAAA,EAAA,MAAiB;AAe7B,CAAA;AAKA;;;;;AAIoB,KATR,uBAAA,GASQ,CAAA,SAAA,EAAA,MAAA,EAAA,SAAA,EAAA,MAAA,EAAA,GANf,MAMe,CAAA,MAAA,EAAA,OAAA,CAAA,GAAA,SAAA;AAkDJ,iBAtDA,gBAAA,CAsDyB,KAChC,EAtDA,aAuDO,EAAA,WAAW,CAAA,EAtDX,WAsDW,EAAA,kBAAA,CAAA,EArDJ,MAqDI,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,EApDxB,iBAoDwB;AAMX,iBARA,yBAAA,CAQ0B,KAAA,EAPjC,aAOiC,EAAA,WAAA,CAAA,EAN1B,WAM0B,EAAA,IAAA,CAAA,EAAA,OAAA,GAAA,QAAA,CAAA,EAAA,MAAA;AACjB,iBADT,0BAAA,CACS,MAAA,EAAf,MAAe,CAAA,MAAA,EAAA,aAAA,CAAA,GAAA,SAAA,EAAA,WAAA,CAAA,EACT,WADS,EAAA,sBAAA,CAAA,EAEE,uBAFF,CAAA,EAGtB,iBAHsB;AAAf,iBA8CM,2BAAA,CA9CN,MAAA,EA+CA,MA/CA,CAAA,MAAA,EA+Ce,aA/Cf,CAAA,GAAA,SAAA,EAAA,WAAA,CAAA,EAgDM,WAhDN,EAAA,sBAAA,CAAA,EAiDiB,uBAjDjB,CAAA,EAAA,MAAA;AACM,iBAqDA,0BAAA,CArDA,MAAA,EAsDN,MAtDM,CAAA,MAAA,EAsDS,aAtDT,CAAA,GAAA,SAAA,EAAA,WAAA,CAAA,EAuDA,WAvDA,EAAA,sBAAA,CAAA,EAwDW,uBAxDX,CAAA,EAAA,MAAA;AACW,iBA4DX,uBAAA,CA5DW,OAAA,EAAA,MAAA,EAAA,EAAA,EA8DrB,mBA9DqB,EAAA,aAAA,EA+DV,MA/DU,CAAA,MAAA,EA+DK,mBA/DL,CAAA,EAAA,IAAA,CAAA,EAAA,OAAA,GAAA,QAAA,EAAA,WAAA,CAAA,EAiEX,WAjEW,CAAA,EAAA,MAAA;AACxB,iBAqEa,sBAAA,CArEb,OAAA,EAAA,MAAA,EAAA,EAAA,EAuEG,mBAvEH,EAAA,aAAA,EAwEc,MAxEd,CAAA,MAAA,EAwE6B,mBAxE7B,CAAA,EAAA,WAAA,CAAA,EAyEa,WAzEb,CAAA,EA0EA,iBA1EA;AAAiB,iBA0FJ,+BAAA,CA1FI,SAAA,EAAA,MAAA,EAAA,KAAA,EA0FsD,aA1FtD,CAAA,EAAA,MAAA;AA2CJ,iBAmEA,kCAAA,CAnE2B,YAAA,EAoE3B,MApE2B,CAAA,MAAA,EAoEZ,mBApEY,CAAA,GAAA,SAAA,CAAA,EAAA,MAAA;AAClB,iBAuFT,8BAAA,CAvFS,YAAA,EAwFT,MAxFS,CAAA,MAAA,EAwFM,mBAxFN,CAAA,GAAA,SAAA,EAAA,WAAA,CAAA,EAyFT,WAzFS,CAAA,EAAA,MAAA"}

package/dist/domain-type-generation.mjs

@@ -124,17 +124,15 @@ function applyModifiers(base, field) {
 	if (field.nullable) result = `${result} | null`;
 	return result;
 }
-function resolveFieldType(field, codecLookup) {
+function resolveFieldType(field, codecLookup, resolvedTypeParams) {
 	const { type } = field;
 	switch (type.kind) {
 		case "scalar": {
 			let outputResolved;
-			if (codecLookup && type.typeParams && Object.keys(type.typeParams).length > 0) {
-				const codec = codecLookup.get(type.codecId);
-				if (codec?.renderOutputType) {
-					const rendered = codec.renderOutputType(type.typeParams);
-					if (rendered && isSafeTypeExpression(rendered)) outputResolved = rendered;
-				}
+			const effectiveTypeParams = (type.typeParams && Object.keys(type.typeParams).length > 0 ? type.typeParams : void 0) ?? resolvedTypeParams;
+			if (codecLookup && effectiveTypeParams && Object.keys(effectiveTypeParams).length > 0) {
+				const rendered = codecLookup.renderOutputTypeFor(type.codecId, effectiveTypeParams);
+				if (rendered && isSafeTypeExpression(rendered)) outputResolved = rendered;
 			}
 			const codecAccessor = `CodecTypes[${serializeValue(type.codecId)}]`;
 			return {
@@ -163,7 +161,7 @@ function resolveFieldType(field, codecLookup) {
 function generateFieldResolvedType(field, codecLookup, side = "output") {
 	return resolveFieldType(field, codecLookup)[side];
 }
-function generateBothFieldTypesMaps(models, codecLookup) {
+function generateBothFieldTypesMaps(models, codecLookup, resolveFieldTypeParams) {
 	if (!models || Object.keys(models).length === 0) return {
 		output: "Record<string, never>",
 		input: "Record<string, never>"
@@ -175,7 +173,7 @@ function generateBothFieldTypesMaps(models, codecLookup) {
 		const outputFieldEntries = [];
 		const inputFieldEntries = [];
 		for (const [fieldName, field] of Object.entries(model.fields)) {
-			const resolved = resolveFieldType(field, codecLookup);
+			const resolved = resolveFieldType(field, codecLookup, (field.type.kind === "scalar" && field.type.typeParams && Object.keys(field.type.typeParams).length > 0 ? field.type.typeParams : void 0) ?? resolveFieldTypeParams?.(modelName, fieldName));
 			const key = `readonly ${serializeObjectKey(fieldName)}`;
 			outputFieldEntries.push(`${key}: ${resolved.output}`);
 			inputFieldEntries.push(`${key}: ${resolved.input}`);
@@ -191,11 +189,11 @@ function generateBothFieldTypesMaps(models, codecLookup) {
 		input: `{ ${inputModelEntries.join("; ")} }`
 	};
 }
-function generateFieldOutputTypesMap(models, codecLookup) {
-	return generateBothFieldTypesMaps(models, codecLookup).output;
+function generateFieldOutputTypesMap(models, codecLookup, resolveFieldTypeParams) {
+	return generateBothFieldTypesMaps(models, codecLookup, resolveFieldTypeParams).output;
 }
-function generateFieldInputTypesMap(models, codecLookup) {
-	return generateBothFieldTypesMaps(models, codecLookup).input;
+function generateFieldInputTypesMap(models, codecLookup, resolveFieldTypeParams) {
+	return generateBothFieldTypesMaps(models, codecLookup, resolveFieldTypeParams).input;
 }
 function generateValueObjectType(_voName, vo, _valueObjects, side = "output", codecLookup) {
 	return resolveValueObjectType(_voName, vo, _valueObjects, codecLookup)[side];

package/dist/domain-type-generation.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"domain-type-generation.mjs","names":["entries: string[]","fieldEntries: string[]","relationEntries: string[]","parts: string[]","modelTypes: string[]","modelParts: string[]","result: TypesImportSpec[]","outputResolved: string | undefined","outputModelEntries: string[]","inputModelEntries: string[]","outputFieldEntries: string[]","inputFieldEntries: string[]","outputEntries: string[]","inputEntries: string[]","mods: string[]","voEntries: string[]","aliases: string[]"],"sources":["../src/domain-type-generation.ts"],"sourcesContent":["import type {\n  ContractField,\n  ContractModel,\n  ContractValueObject,\n} from '@prisma-next/contract/types';\nimport type { CodecLookup } from '@prisma-next/framework-components/codec';\nimport type { TypesImportSpec } from '@prisma-next/framework-components/emission';\nimport { isSafeTypeExpression } from './type-expression-safety';\n\nexport function serializeValue(value: unknown): string {\n  if (value === null) {\n    return 'null';\n  }\n  if (value === undefined) {\n    return 'undefined';\n  }\n  if (typeof value === 'string') {\n    const escaped = value.replace(/\\\\/g, '\\\\\\\\').replace(/'/g, \"\\\\'\");\n    return `'${escaped}'`;\n  }\n  if (typeof value === 'number' || typeof value === 'boolean') {\n    return String(value);\n  }\n  if (typeof value === 'bigint') {\n    return `${value}n`;\n  }\n  if (Array.isArray(value)) {\n    const items = value.map((v) => serializeValue(v)).join(', ');\n    return `readonly [${items}]`;\n  }\n  if (typeof value === 'object') {\n    const entries: string[] = [];\n    for (const [k, v] of Object.entries(value)) {\n      entries.push(`readonly ${serializeObjectKey(k)}: ${serializeValue(v)}`);\n    }\n    return `{ ${entries.join('; ')} }`;\n  }\n  return 'unknown';\n}\n\nexport function serializeObjectKey(key: string): string {\n  if (/^[$A-Z_a-z][$\\w]*$/.test(key)) {\n    return key;\n  }\n  return serializeValue(key);\n}\n\nexport function generateRootsType(roots: Record<string, string> | undefined): string {\n  if (!roots || Object.keys(roots).length === 0) {\n    return 'Record<string, string>';\n  }\n  const entries = Object.entries(roots)\n    .map(([key, value]) => `readonly ${serializeObjectKey(key)}: ${serializeValue(value)}`)\n    .join('; ');\n  return `{ ${entries} }`;\n}\n\nfunction contractFieldModifierSuffix(field: ContractField): string {\n  const many = field.many === true ? '; readonly many: true' : '';\n  const dict = field.dict === true ? '; readonly dict: true' : '';\n  return many + dict;\n}\n\nexport function generateModelFieldEntry(fieldName: string, field: ContractField): string {\n  const mods = contractFieldModifierSuffix(field);\n  const { nullable, type } = field;\n  if (type.kind === 'scalar') {\n    const typeParamsSpec =\n      type.typeParams && Object.keys(type.typeParams).length > 0\n        ? `; readonly typeParams: ${serializeValue(type.typeParams)}`\n        : '';\n    return `readonly ${serializeObjectKey(fieldName)}: { readonly nullable: ${nullable}; readonly type: { readonly kind: 'scalar'; readonly codecId: ${serializeValue(type.codecId)}${typeParamsSpec} }${mods} }`;\n  }\n  if (type.kind === 'valueObject') {\n    return `readonly ${serializeObjectKey(fieldName)}: { readonly nullable: ${nullable}; readonly type: { readonly kind: 'valueObject'; readonly name: ${serializeValue(type.name)} }${mods} }`;\n  }\n  return `readonly ${serializeObjectKey(fieldName)}: { readonly nullable: ${nullable}; readonly type: ${serializeValue(type)}${mods} }`;\n}\n\nexport function generateModelFieldsType(fields: Record<string, ContractField>): string {\n  const fieldEntries: string[] = [];\n  for (const [fieldName, field] of Object.entries(fields)) {\n    fieldEntries.push(generateModelFieldEntry(fieldName, field));\n  }\n  return fieldEntries.length > 0 ? `{ ${fieldEntries.join('; ')} }` : 'Record<string, never>';\n}\n\nexport function generateModelRelationsType(relations: Record<string, unknown>): string {\n  const relationEntries: string[] = [];\n\n  for (const [relName, rel] of Object.entries(relations)) {\n    if (typeof rel !== 'object' || rel === null) continue;\n    const relObj = rel as Record<string, unknown>;\n    const parts: string[] = [];\n\n    if (relObj['to']) parts.push(`readonly to: ${serializeValue(relObj['to'])}`);\n    if (relObj['cardinality'])\n      parts.push(`readonly cardinality: ${serializeValue(relObj['cardinality'])}`);\n\n    const on = relObj['on'] as { localFields?: string[]; targetFields?: string[] } | undefined;\n    if (on && (!on.localFields || !on.targetFields)) {\n      throw new Error(\n        `Relation \"${relName}\" has an \"on\" block but is missing localFields or targetFields`,\n      );\n    }\n    if (on?.localFields && on.targetFields) {\n      const localFields = on.localFields.map((f) => serializeValue(f)).join(', ');\n      const targetFields = on.targetFields.map((f) => serializeValue(f)).join(', ');\n      parts.push(\n        `readonly on: { readonly localFields: readonly [${localFields}]; readonly targetFields: readonly [${targetFields}] }`,\n      );\n    }\n\n    if (parts.length > 0) {\n      relationEntries.push(`readonly ${relName}: { ${parts.join('; ')} }`);\n    }\n  }\n\n  if (relationEntries.length === 0) {\n    return 'Record<string, never>';\n  }\n\n  return `{ ${relationEntries.join('; ')} }`;\n}\n\nexport function generateModelsType(\n  models: Record<string, ContractModel>,\n  generateModelStorage: (modelName: string, model: ContractModel) => string,\n): string {\n  if (!models || Object.keys(models).length === 0) {\n    return 'Record<string, never>';\n  }\n\n  const modelTypes: string[] = [];\n  for (const [modelName, model] of Object.entries(models).sort(([a], [b]) => a.localeCompare(b))) {\n    const fieldsType = generateModelFieldsType(model.fields);\n    const relationsType = generateModelRelationsType(model.relations);\n    const storageType = generateModelStorage(modelName, model);\n\n    const modelParts: string[] = [\n      `readonly fields: ${fieldsType}`,\n      `readonly relations: ${relationsType}`,\n      `readonly storage: ${storageType}`,\n    ];\n\n    if (model.owner) {\n      modelParts.push(`readonly owner: ${serializeValue(model.owner)}`);\n    }\n    if (model.discriminator) {\n      modelParts.push(`readonly discriminator: ${serializeValue(model.discriminator)}`);\n    }\n    if (model.variants) {\n      modelParts.push(`readonly variants: ${serializeValue(model.variants)}`);\n    }\n    if (model.base) {\n      modelParts.push(`readonly base: ${serializeValue(model.base)}`);\n    }\n\n    modelTypes.push(`readonly ${modelName}: { ${modelParts.join('; ')} }`);\n  }\n\n  return `{ ${modelTypes.join('; ')} }`;\n}\n\nexport function deduplicateImports(imports: TypesImportSpec[]): TypesImportSpec[] {\n  const seenKeys = new Set<string>();\n  const result: TypesImportSpec[] = [];\n  for (const imp of imports) {\n    const key = `${imp.package}::${imp.named}`;\n    if (!seenKeys.has(key)) {\n      seenKeys.add(key);\n      result.push(imp);\n    }\n  }\n  return result;\n}\n\nexport function generateImportLines(imports: TypesImportSpec[]): string[] {\n  return imports.map((imp) => {\n    const importClause = imp.named === imp.alias ? imp.named : `${imp.named} as ${imp.alias}`;\n    return `import type { ${importClause} } from '${imp.package}';`;\n  });\n}\n\nexport function generateCodecTypeIntersection(\n  imports: ReadonlyArray<TypesImportSpec>,\n  named: string,\n): string {\n  const aliases = imports.filter((imp) => imp.named === named).map((imp) => imp.alias);\n  return aliases.join(' & ') || 'Record<string, never>';\n}\n\nexport function serializeExecutionType(execution: Record<string, unknown>): string {\n  const parts: string[] = ['readonly executionHash: ExecutionHash'];\n  for (const [key, value] of Object.entries(execution)) {\n    if (key === 'executionHash') continue;\n    parts.push(`readonly ${serializeObjectKey(key)}: ${serializeValue(value)}`);\n  }\n  return `{ ${parts.join('; ')} }`;\n}\n\nexport function generateHashTypeAliases(hashes: {\n  readonly storageHash: string;\n  readonly executionHash?: string;\n  readonly profileHash: string;\n}): string {\n  const executionHashType = hashes.executionHash\n    ? `ExecutionHashBase<'${hashes.executionHash}'>`\n    : 'ExecutionHashBase<string>';\n\n  return [\n    `export type StorageHash = StorageHashBase<'${hashes.storageHash}'>;`,\n    `export type ExecutionHash = ${executionHashType};`,\n    `export type ProfileHash = ProfileHashBase<'${hashes.profileHash}'>;`,\n  ].join('\\n');\n}\n\nexport type ResolvedFieldType = { readonly input: string; readonly output: string };\n\nfunction applyModifiers(base: string, field: ContractField): string {\n  let result = base;\n  if (field.many === true) result = `ReadonlyArray<${result}>`;\n  if (field.dict === true) result = `Readonly<Record<string, ${result}>>`;\n  if (field.nullable) result = `${result} | null`;\n  return result;\n}\n\nexport function resolveFieldType(\n  field: ContractField,\n  codecLookup?: CodecLookup,\n): ResolvedFieldType {\n  const { type } = field;\n\n  switch (type.kind) {\n    case 'scalar': {\n      let outputResolved: string | undefined;\n      if (codecLookup && type.typeParams && Object.keys(type.typeParams).length > 0) {\n        const codec = codecLookup.get(type.codecId);\n        if (codec?.renderOutputType) {\n          const rendered = codec.renderOutputType(type.typeParams);\n          if (rendered && isSafeTypeExpression(rendered)) {\n            outputResolved = rendered;\n          }\n        }\n      }\n      const codecAccessor = `CodecTypes[${serializeValue(type.codecId)}]`;\n      return {\n        output: applyModifiers(outputResolved ?? `${codecAccessor}['output']`, field),\n        input: applyModifiers(`${codecAccessor}['input']`, field),\n      };\n    }\n    case 'valueObject':\n      return {\n        output: applyModifiers(`${type.name}Output`, field),\n        input: applyModifiers(`${type.name}Input`, field),\n      };\n    case 'union': {\n      const outputMembers = type.members.map((m) =>\n        m.kind === 'scalar'\n          ? `CodecTypes[${serializeValue(m.codecId)}]['output']`\n          : `${m.name}Output`,\n      );\n      const inputMembers = type.members.map((m) =>\n        m.kind === 'scalar'\n          ? `CodecTypes[${serializeValue(m.codecId)}]['input']`\n          : `${m.name}Input`,\n      );\n      return {\n        output: applyModifiers(outputMembers.join(' | '), field),\n        input: applyModifiers(inputMembers.join(' | '), field),\n      };\n    }\n    default:\n      return {\n        output: applyModifiers('unknown', field),\n        input: applyModifiers('unknown', field),\n      };\n  }\n}\n\nexport function generateFieldResolvedType(\n  field: ContractField,\n  codecLookup?: CodecLookup,\n  side: 'input' | 'output' = 'output',\n): string {\n  return resolveFieldType(field, codecLookup)[side];\n}\n\nexport function generateBothFieldTypesMaps(\n  models: Record<string, ContractModel> | undefined,\n  codecLookup?: CodecLookup,\n): ResolvedFieldType {\n  if (!models || Object.keys(models).length === 0) {\n    return { output: 'Record<string, never>', input: 'Record<string, never>' };\n  }\n\n  const outputModelEntries: string[] = [];\n  const inputModelEntries: string[] = [];\n  for (const [modelName, model] of Object.entries(models).sort(([a], [b]) => a.localeCompare(b))) {\n    if (!model) continue;\n    const outputFieldEntries: string[] = [];\n    const inputFieldEntries: string[] = [];\n    for (const [fieldName, field] of Object.entries(model.fields)) {\n      const resolved = resolveFieldType(field, codecLookup);\n      const key = `readonly ${serializeObjectKey(fieldName)}`;\n      outputFieldEntries.push(`${key}: ${resolved.output}`);\n      inputFieldEntries.push(`${key}: ${resolved.input}`);\n    }\n    const outputFields =\n      outputFieldEntries.length > 0\n        ? `{ ${outputFieldEntries.join('; ')} }`\n        : 'Record<string, never>';\n    const inputFields =\n      inputFieldEntries.length > 0\n        ? `{ ${inputFieldEntries.join('; ')} }`\n        : 'Record<string, never>';\n    const modelKey = `readonly ${serializeObjectKey(modelName)}`;\n    outputModelEntries.push(`${modelKey}: ${outputFields}`);\n    inputModelEntries.push(`${modelKey}: ${inputFields}`);\n  }\n\n  return {\n    output: `{ ${outputModelEntries.join('; ')} }`,\n    input: `{ ${inputModelEntries.join('; ')} }`,\n  };\n}\n\nexport function generateFieldOutputTypesMap(\n  models: Record<string, ContractModel> | undefined,\n  codecLookup?: CodecLookup,\n): string {\n  return generateBothFieldTypesMaps(models, codecLookup).output;\n}\n\nexport function generateFieldInputTypesMap(\n  models: Record<string, ContractModel> | undefined,\n  codecLookup?: CodecLookup,\n): string {\n  return generateBothFieldTypesMaps(models, codecLookup).input;\n}\n\nexport function generateValueObjectType(\n  _voName: string,\n  vo: ContractValueObject,\n  _valueObjects: Record<string, ContractValueObject>,\n  side: 'input' | 'output' = 'output',\n  codecLookup?: CodecLookup,\n): string {\n  return resolveValueObjectType(_voName, vo, _valueObjects, codecLookup)[side];\n}\n\nexport function resolveValueObjectType(\n  _voName: string,\n  vo: ContractValueObject,\n  _valueObjects: Record<string, ContractValueObject>,\n  codecLookup?: CodecLookup,\n): ResolvedFieldType {\n  const outputEntries: string[] = [];\n  const inputEntries: string[] = [];\n  for (const [fieldName, field] of Object.entries(vo.fields)) {\n    const resolved = resolveFieldType(field, codecLookup);\n    const key = `readonly ${serializeObjectKey(fieldName)}`;\n    outputEntries.push(`${key}: ${resolved.output}`);\n    inputEntries.push(`${key}: ${resolved.input}`);\n  }\n  const empty = 'Record<string, never>';\n  return {\n    output: outputEntries.length > 0 ? `{ ${outputEntries.join('; ')} }` : empty,\n    input: inputEntries.length > 0 ? `{ ${inputEntries.join('; ')} }` : empty,\n  };\n}\n\nexport function generateContractFieldDescriptor(fieldName: string, field: ContractField): string {\n  const mods: string[] = [];\n  if (field.many === true) mods.push('; readonly many: true');\n  if (field.dict === true) mods.push('; readonly dict: true');\n  const modStr = mods.join('');\n\n  const { type } = field;\n  if (type.kind === 'scalar') {\n    const typeParamsSpec =\n      type.typeParams && Object.keys(type.typeParams).length > 0\n        ? `; readonly typeParams: ${serializeValue(type.typeParams)}`\n        : '';\n    return `readonly ${serializeObjectKey(fieldName)}: { readonly nullable: ${field.nullable}; readonly type: { readonly kind: 'scalar'; readonly codecId: ${serializeValue(type.codecId)}${typeParamsSpec} }${modStr} }`;\n  }\n  if (type.kind === 'valueObject') {\n    return `readonly ${serializeObjectKey(fieldName)}: { readonly nullable: ${field.nullable}; readonly type: { readonly kind: 'valueObject'; readonly name: ${serializeValue(type.name)} }${modStr} }`;\n  }\n  return `readonly ${serializeObjectKey(fieldName)}: { readonly nullable: ${field.nullable}; readonly type: ${serializeValue(type)}${modStr} }`;\n}\n\nexport function generateValueObjectsDescriptorType(\n  valueObjects: Record<string, ContractValueObject> | undefined,\n): string {\n  if (!valueObjects || Object.keys(valueObjects).length === 0) {\n    return 'Record<string, never>';\n  }\n\n  const voEntries: string[] = [];\n  for (const [voName, vo] of Object.entries(valueObjects)) {\n    const fieldEntries: string[] = [];\n    for (const [fieldName, field] of Object.entries(vo.fields)) {\n      fieldEntries.push(generateContractFieldDescriptor(fieldName, field));\n    }\n    const fieldsType =\n      fieldEntries.length > 0 ? `{ ${fieldEntries.join('; ')} }` : 'Record<string, never>';\n    voEntries.push(`readonly ${serializeObjectKey(voName)}: { readonly fields: ${fieldsType} }`);\n  }\n\n  return `{ ${voEntries.join('; ')} }`;\n}\n\nexport function generateValueObjectTypeAliases(\n  valueObjects: Record<string, ContractValueObject> | undefined,\n  codecLookup?: CodecLookup,\n): string {\n  if (!valueObjects || Object.keys(valueObjects).length === 0) {\n    return '';\n  }\n\n  const aliases: string[] = [];\n  for (const [voName, vo] of Object.entries(valueObjects)) {\n    const resolved = resolveValueObjectType(voName, vo, valueObjects, codecLookup);\n    aliases.push(`export type ${voName}Output = ${resolved.output};`);\n    aliases.push(`export type ${voName}Input = ${resolved.input};`);\n  }\n  return aliases.join('\\n');\n}\n"],"mappings":";;;AASA,SAAgB,eAAe,OAAwB;AACrD,KAAI,UAAU,KACZ,QAAO;AAET,KAAI,UAAU,OACZ,QAAO;AAET,KAAI,OAAO,UAAU,SAEnB,QAAO,IADS,MAAM,QAAQ,OAAO,OAAO,CAAC,QAAQ,MAAM,MAAM,CAC9C;AAErB,KAAI,OAAO,UAAU,YAAY,OAAO,UAAU,UAChD,QAAO,OAAO,MAAM;AAEtB,KAAI,OAAO,UAAU,SACnB,QAAO,GAAG,MAAM;AAElB,KAAI,MAAM,QAAQ,MAAM,CAEtB,QAAO,aADO,MAAM,KAAK,MAAM,eAAe,EAAE,CAAC,CAAC,KAAK,KAAK,CAClC;AAE5B,KAAI,OAAO,UAAU,UAAU;EAC7B,MAAMA,UAAoB,EAAE;AAC5B,OAAK,MAAM,CAAC,GAAG,MAAM,OAAO,QAAQ,MAAM,CACxC,SAAQ,KAAK,YAAY,mBAAmB,EAAE,CAAC,IAAI,eAAe,EAAE,GAAG;AAEzE,SAAO,KAAK,QAAQ,KAAK,KAAK,CAAC;;AAEjC,QAAO;;AAGT,SAAgB,mBAAmB,KAAqB;AACtD,KAAI,qBAAqB,KAAK,IAAI,CAChC,QAAO;AAET,QAAO,eAAe,IAAI;;AAG5B,SAAgB,kBAAkB,OAAmD;AACnF,KAAI,CAAC,SAAS,OAAO,KAAK,MAAM,CAAC,WAAW,EAC1C,QAAO;AAKT,QAAO,KAHS,OAAO,QAAQ,MAAM,CAClC,KAAK,CAAC,KAAK,WAAW,YAAY,mBAAmB,IAAI,CAAC,IAAI,eAAe,MAAM,GAAG,CACtF,KAAK,KAAK,CACO;;AAGtB,SAAS,4BAA4B,OAA8B;AAGjE,SAFa,MAAM,SAAS,OAAO,0BAA0B,OAChD,MAAM,SAAS,OAAO,0BAA0B;;AAI/D,SAAgB,wBAAwB,WAAmB,OAA8B;CACvF,MAAM,OAAO,4BAA4B,MAAM;CAC/C,MAAM,EAAE,UAAU,SAAS;AAC3B,KAAI,KAAK,SAAS,UAAU;EAC1B,MAAM,iBACJ,KAAK,cAAc,OAAO,KAAK,KAAK,WAAW,CAAC,SAAS,IACrD,0BAA0B,eAAe,KAAK,WAAW,KACzD;AACN,SAAO,YAAY,mBAAmB,UAAU,CAAC,yBAAyB,SAAS,gEAAgE,eAAe,KAAK,QAAQ,GAAG,eAAe,IAAI,KAAK;;AAE5M,KAAI,KAAK,SAAS,cAChB,QAAO,YAAY,mBAAmB,UAAU,CAAC,yBAAyB,SAAS,kEAAkE,eAAe,KAAK,KAAK,CAAC,IAAI,KAAK;AAE1L,QAAO,YAAY,mBAAmB,UAAU,CAAC,yBAAyB,SAAS,mBAAmB,eAAe,KAAK,GAAG,KAAK;;AAGpI,SAAgB,wBAAwB,QAA+C;CACrF,MAAMC,eAAyB,EAAE;AACjC,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,CACrD,cAAa,KAAK,wBAAwB,WAAW,MAAM,CAAC;AAE9D,QAAO,aAAa,SAAS,IAAI,KAAK,aAAa,KAAK,KAAK,CAAC,MAAM;;AAGtE,SAAgB,2BAA2B,WAA4C;CACrF,MAAMC,kBAA4B,EAAE;AAEpC,MAAK,MAAM,CAAC,SAAS,QAAQ,OAAO,QAAQ,UAAU,EAAE;AACtD,MAAI,OAAO,QAAQ,YAAY,QAAQ,KAAM;EAC7C,MAAM,SAAS;EACf,MAAMC,QAAkB,EAAE;AAE1B,MAAI,OAAO,MAAO,OAAM,KAAK,gBAAgB,eAAe,OAAO,MAAM,GAAG;AAC5E,MAAI,OAAO,eACT,OAAM,KAAK,yBAAyB,eAAe,OAAO,eAAe,GAAG;EAE9E,MAAM,KAAK,OAAO;AAClB,MAAI,OAAO,CAAC,GAAG,eAAe,CAAC,GAAG,cAChC,OAAM,IAAI,MACR,aAAa,QAAQ,gEACtB;AAEH,MAAI,IAAI,eAAe,GAAG,cAAc;GACtC,MAAM,cAAc,GAAG,YAAY,KAAK,MAAM,eAAe,EAAE,CAAC,CAAC,KAAK,KAAK;GAC3E,MAAM,eAAe,GAAG,aAAa,KAAK,MAAM,eAAe,EAAE,CAAC,CAAC,KAAK,KAAK;AAC7E,SAAM,KACJ,kDAAkD,YAAY,sCAAsC,aAAa,KAClH;;AAGH,MAAI,MAAM,SAAS,EACjB,iBAAgB,KAAK,YAAY,QAAQ,MAAM,MAAM,KAAK,KAAK,CAAC,IAAI;;AAIxE,KAAI,gBAAgB,WAAW,EAC7B,QAAO;AAGT,QAAO,KAAK,gBAAgB,KAAK,KAAK,CAAC;;AAGzC,SAAgB,mBACd,QACA,sBACQ;AACR,KAAI,CAAC,UAAU,OAAO,KAAK,OAAO,CAAC,WAAW,EAC5C,QAAO;CAGT,MAAMC,aAAuB,EAAE;AAC/B,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC,EAAE;EAC9F,MAAM,aAAa,wBAAwB,MAAM,OAAO;EACxD,MAAM,gBAAgB,2BAA2B,MAAM,UAAU;EACjE,MAAM,cAAc,qBAAqB,WAAW,MAAM;EAE1D,MAAMC,aAAuB;GAC3B,oBAAoB;GACpB,uBAAuB;GACvB,qBAAqB;GACtB;AAED,MAAI,MAAM,MACR,YAAW,KAAK,mBAAmB,eAAe,MAAM,MAAM,GAAG;AAEnE,MAAI,MAAM,cACR,YAAW,KAAK,2BAA2B,eAAe,MAAM,cAAc,GAAG;AAEnF,MAAI,MAAM,SACR,YAAW,KAAK,sBAAsB,eAAe,MAAM,SAAS,GAAG;AAEzE,MAAI,MAAM,KACR,YAAW,KAAK,kBAAkB,eAAe,MAAM,KAAK,GAAG;AAGjE,aAAW,KAAK,YAAY,UAAU,MAAM,WAAW,KAAK,KAAK,CAAC,IAAI;;AAGxE,QAAO,KAAK,WAAW,KAAK,KAAK,CAAC;;AAGpC,SAAgB,mBAAmB,SAA+C;CAChF,MAAM,2BAAW,IAAI,KAAa;CAClC,MAAMC,SAA4B,EAAE;AACpC,MAAK,MAAM,OAAO,SAAS;EACzB,MAAM,MAAM,GAAG,IAAI,QAAQ,IAAI,IAAI;AACnC,MAAI,CAAC,SAAS,IAAI,IAAI,EAAE;AACtB,YAAS,IAAI,IAAI;AACjB,UAAO,KAAK,IAAI;;;AAGpB,QAAO;;AAGT,SAAgB,oBAAoB,SAAsC;AACxE,QAAO,QAAQ,KAAK,QAAQ;AAE1B,SAAO,iBADc,IAAI,UAAU,IAAI,QAAQ,IAAI,QAAQ,GAAG,IAAI,MAAM,MAAM,IAAI,QAC7C,WAAW,IAAI,QAAQ;GAC5D;;AAGJ,SAAgB,8BACd,SACA,OACQ;AAER,QADgB,QAAQ,QAAQ,QAAQ,IAAI,UAAU,MAAM,CAAC,KAAK,QAAQ,IAAI,MAAM,CACrE,KAAK,MAAM,IAAI;;AAGhC,SAAgB,uBAAuB,WAA4C;CACjF,MAAMH,QAAkB,CAAC,wCAAwC;AACjE,MAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,UAAU,EAAE;AACpD,MAAI,QAAQ,gBAAiB;AAC7B,QAAM,KAAK,YAAY,mBAAmB,IAAI,CAAC,IAAI,eAAe,MAAM,GAAG;;AAE7E,QAAO,KAAK,MAAM,KAAK,KAAK,CAAC;;AAG/B,SAAgB,wBAAwB,QAI7B;CACT,MAAM,oBAAoB,OAAO,gBAC7B,sBAAsB,OAAO,cAAc,MAC3C;AAEJ,QAAO;EACL,8CAA8C,OAAO,YAAY;EACjE,+BAA+B,kBAAkB;EACjD,8CAA8C,OAAO,YAAY;EAClE,CAAC,KAAK,KAAK;;AAKd,SAAS,eAAe,MAAc,OAA8B;CAClE,IAAI,SAAS;AACb,KAAI,MAAM,SAAS,KAAM,UAAS,iBAAiB,OAAO;AAC1D,KAAI,MAAM,SAAS,KAAM,UAAS,2BAA2B,OAAO;AACpE,KAAI,MAAM,SAAU,UAAS,GAAG,OAAO;AACvC,QAAO;;AAGT,SAAgB,iBACd,OACA,aACmB;CACnB,MAAM,EAAE,SAAS;AAEjB,SAAQ,KAAK,MAAb;EACE,KAAK,UAAU;GACb,IAAII;AACJ,OAAI,eAAe,KAAK,cAAc,OAAO,KAAK,KAAK,WAAW,CAAC,SAAS,GAAG;IAC7E,MAAM,QAAQ,YAAY,IAAI,KAAK,QAAQ;AAC3C,QAAI,OAAO,kBAAkB;KAC3B,MAAM,WAAW,MAAM,iBAAiB,KAAK,WAAW;AACxD,SAAI,YAAY,qBAAqB,SAAS,CAC5C,kBAAiB;;;GAIvB,MAAM,gBAAgB,cAAc,eAAe,KAAK,QAAQ,CAAC;AACjE,UAAO;IACL,QAAQ,eAAe,kBAAkB,GAAG,cAAc,aAAa,MAAM;IAC7E,OAAO,eAAe,GAAG,cAAc,YAAY,MAAM;IAC1D;;EAEH,KAAK,cACH,QAAO;GACL,QAAQ,eAAe,GAAG,KAAK,KAAK,SAAS,MAAM;GACnD,OAAO,eAAe,GAAG,KAAK,KAAK,QAAQ,MAAM;GAClD;EACH,KAAK,SAAS;GACZ,MAAM,gBAAgB,KAAK,QAAQ,KAAK,MACtC,EAAE,SAAS,WACP,cAAc,eAAe,EAAE,QAAQ,CAAC,eACxC,GAAG,EAAE,KAAK,QACf;GACD,MAAM,eAAe,KAAK,QAAQ,KAAK,MACrC,EAAE,SAAS,WACP,cAAc,eAAe,EAAE,QAAQ,CAAC,cACxC,GAAG,EAAE,KAAK,OACf;AACD,UAAO;IACL,QAAQ,eAAe,cAAc,KAAK,MAAM,EAAE,MAAM;IACxD,OAAO,eAAe,aAAa,KAAK,MAAM,EAAE,MAAM;IACvD;;EAEH,QACE,QAAO;GACL,QAAQ,eAAe,WAAW,MAAM;GACxC,OAAO,eAAe,WAAW,MAAM;GACxC;;;AAIP,SAAgB,0BACd,OACA,aACA,OAA2B,UACnB;AACR,QAAO,iBAAiB,OAAO,YAAY,CAAC;;AAG9C,SAAgB,2BACd,QACA,aACmB;AACnB,KAAI,CAAC,UAAU,OAAO,KAAK,OAAO,CAAC,WAAW,EAC5C,QAAO;EAAE,QAAQ;EAAyB,OAAO;EAAyB;CAG5E,MAAMC,qBAA+B,EAAE;CACvC,MAAMC,oBAA8B,EAAE;AACtC,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC,EAAE;AAC9F,MAAI,CAAC,MAAO;EACZ,MAAMC,qBAA+B,EAAE;EACvC,MAAMC,oBAA8B,EAAE;AACtC,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,MAAM,OAAO,EAAE;GAC7D,MAAM,WAAW,iBAAiB,OAAO,YAAY;GACrD,MAAM,MAAM,YAAY,mBAAmB,UAAU;AACrD,sBAAmB,KAAK,GAAG,IAAI,IAAI,SAAS,SAAS;AACrD,qBAAkB,KAAK,GAAG,IAAI,IAAI,SAAS,QAAQ;;EAErD,MAAM,eACJ,mBAAmB,SAAS,IACxB,KAAK,mBAAmB,KAAK,KAAK,CAAC,MACnC;EACN,MAAM,cACJ,kBAAkB,SAAS,IACvB,KAAK,kBAAkB,KAAK,KAAK,CAAC,MAClC;EACN,MAAM,WAAW,YAAY,mBAAmB,UAAU;AAC1D,qBAAmB,KAAK,GAAG,SAAS,IAAI,eAAe;AACvD,oBAAkB,KAAK,GAAG,SAAS,IAAI,cAAc;;AAGvD,QAAO;EACL,QAAQ,KAAK,mBAAmB,KAAK,KAAK,CAAC;EAC3C,OAAO,KAAK,kBAAkB,KAAK,KAAK,CAAC;EAC1C;;AAGH,SAAgB,4BACd,QACA,aACQ;AACR,QAAO,2BAA2B,QAAQ,YAAY,CAAC;;AAGzD,SAAgB,2BACd,QACA,aACQ;AACR,QAAO,2BAA2B,QAAQ,YAAY,CAAC;;AAGzD,SAAgB,wBACd,SACA,IACA,eACA,OAA2B,UAC3B,aACQ;AACR,QAAO,uBAAuB,SAAS,IAAI,eAAe,YAAY,CAAC;;AAGzE,SAAgB,uBACd,SACA,IACA,eACA,aACmB;CACnB,MAAMC,gBAA0B,EAAE;CAClC,MAAMC,eAAyB,EAAE;AACjC,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,GAAG,OAAO,EAAE;EAC1D,MAAM,WAAW,iBAAiB,OAAO,YAAY;EACrD,MAAM,MAAM,YAAY,mBAAmB,UAAU;AACrD,gBAAc,KAAK,GAAG,IAAI,IAAI,SAAS,SAAS;AAChD,eAAa,KAAK,GAAG,IAAI,IAAI,SAAS,QAAQ;;CAEhD,MAAM,QAAQ;AACd,QAAO;EACL,QAAQ,cAAc,SAAS,IAAI,KAAK,cAAc,KAAK,KAAK,CAAC,MAAM;EACvE,OAAO,aAAa,SAAS,IAAI,KAAK,aAAa,KAAK,KAAK,CAAC,MAAM;EACrE;;AAGH,SAAgB,gCAAgC,WAAmB,OAA8B;CAC/F,MAAMC,OAAiB,EAAE;AACzB,KAAI,MAAM,SAAS,KAAM,MAAK,KAAK,wBAAwB;AAC3D,KAAI,MAAM,SAAS,KAAM,MAAK,KAAK,wBAAwB;CAC3D,MAAM,SAAS,KAAK,KAAK,GAAG;CAE5B,MAAM,EAAE,SAAS;AACjB,KAAI,KAAK,SAAS,UAAU;EAC1B,MAAM,iBACJ,KAAK,cAAc,OAAO,KAAK,KAAK,WAAW,CAAC,SAAS,IACrD,0BAA0B,eAAe,KAAK,WAAW,KACzD;AACN,SAAO,YAAY,mBAAmB,UAAU,CAAC,yBAAyB,MAAM,SAAS,gEAAgE,eAAe,KAAK,QAAQ,GAAG,eAAe,IAAI,OAAO;;AAEpN,KAAI,KAAK,SAAS,cAChB,QAAO,YAAY,mBAAmB,UAAU,CAAC,yBAAyB,MAAM,SAAS,kEAAkE,eAAe,KAAK,KAAK,CAAC,IAAI,OAAO;AAElM,QAAO,YAAY,mBAAmB,UAAU,CAAC,yBAAyB,MAAM,SAAS,mBAAmB,eAAe,KAAK,GAAG,OAAO;;AAG5I,SAAgB,mCACd,cACQ;AACR,KAAI,CAAC,gBAAgB,OAAO,KAAK,aAAa,CAAC,WAAW,EACxD,QAAO;CAGT,MAAMC,YAAsB,EAAE;AAC9B,MAAK,MAAM,CAAC,QAAQ,OAAO,OAAO,QAAQ,aAAa,EAAE;EACvD,MAAMd,eAAyB,EAAE;AACjC,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,GAAG,OAAO,CACxD,cAAa,KAAK,gCAAgC,WAAW,MAAM,CAAC;EAEtE,MAAM,aACJ,aAAa,SAAS,IAAI,KAAK,aAAa,KAAK,KAAK,CAAC,MAAM;AAC/D,YAAU,KAAK,YAAY,mBAAmB,OAAO,CAAC,uBAAuB,WAAW,IAAI;;AAG9F,QAAO,KAAK,UAAU,KAAK,KAAK,CAAC;;AAGnC,SAAgB,+BACd,cACA,aACQ;AACR,KAAI,CAAC,gBAAgB,OAAO,KAAK,aAAa,CAAC,WAAW,EACxD,QAAO;CAGT,MAAMe,UAAoB,EAAE;AAC5B,MAAK,MAAM,CAAC,QAAQ,OAAO,OAAO,QAAQ,aAAa,EAAE;EACvD,MAAM,WAAW,uBAAuB,QAAQ,IAAI,cAAc,YAAY;AAC9E,UAAQ,KAAK,eAAe,OAAO,WAAW,SAAS,OAAO,GAAG;AACjE,UAAQ,KAAK,eAAe,OAAO,UAAU,SAAS,MAAM,GAAG;;AAEjE,QAAO,QAAQ,KAAK,KAAK"}
+{"version":3,"file":"domain-type-generation.mjs","names":["entries: string[]","fieldEntries: string[]","relationEntries: string[]","parts: string[]","modelTypes: string[]","modelParts: string[]","result: TypesImportSpec[]","outputResolved: string | undefined","outputModelEntries: string[]","inputModelEntries: string[]","outputFieldEntries: string[]","inputFieldEntries: string[]","outputEntries: string[]","inputEntries: string[]","mods: string[]","voEntries: string[]","aliases: string[]"],"sources":["../src/domain-type-generation.ts"],"sourcesContent":["import type {\n  ContractField,\n  ContractModel,\n  ContractValueObject,\n} from '@prisma-next/contract/types';\nimport type { CodecLookup } from '@prisma-next/framework-components/codec';\nimport type { TypesImportSpec } from '@prisma-next/framework-components/emission';\nimport { isSafeTypeExpression } from './type-expression-safety';\n\nexport function serializeValue(value: unknown): string {\n  if (value === null) {\n    return 'null';\n  }\n  if (value === undefined) {\n    return 'undefined';\n  }\n  if (typeof value === 'string') {\n    const escaped = value.replace(/\\\\/g, '\\\\\\\\').replace(/'/g, \"\\\\'\");\n    return `'${escaped}'`;\n  }\n  if (typeof value === 'number' || typeof value === 'boolean') {\n    return String(value);\n  }\n  if (typeof value === 'bigint') {\n    return `${value}n`;\n  }\n  if (Array.isArray(value)) {\n    const items = value.map((v) => serializeValue(v)).join(', ');\n    return `readonly [${items}]`;\n  }\n  if (typeof value === 'object') {\n    const entries: string[] = [];\n    for (const [k, v] of Object.entries(value)) {\n      entries.push(`readonly ${serializeObjectKey(k)}: ${serializeValue(v)}`);\n    }\n    return `{ ${entries.join('; ')} }`;\n  }\n  return 'unknown';\n}\n\nexport function serializeObjectKey(key: string): string {\n  if (/^[$A-Z_a-z][$\\w]*$/.test(key)) {\n    return key;\n  }\n  return serializeValue(key);\n}\n\nexport function generateRootsType(roots: Record<string, string> | undefined): string {\n  if (!roots || Object.keys(roots).length === 0) {\n    return 'Record<string, string>';\n  }\n  const entries = Object.entries(roots)\n    .map(([key, value]) => `readonly ${serializeObjectKey(key)}: ${serializeValue(value)}`)\n    .join('; ');\n  return `{ ${entries} }`;\n}\n\nfunction contractFieldModifierSuffix(field: ContractField): string {\n  const many = field.many === true ? '; readonly many: true' : '';\n  const dict = field.dict === true ? '; readonly dict: true' : '';\n  return many + dict;\n}\n\nexport function generateModelFieldEntry(fieldName: string, field: ContractField): string {\n  const mods = contractFieldModifierSuffix(field);\n  const { nullable, type } = field;\n  if (type.kind === 'scalar') {\n    const typeParamsSpec =\n      type.typeParams && Object.keys(type.typeParams).length > 0\n        ? `; readonly typeParams: ${serializeValue(type.typeParams)}`\n        : '';\n    return `readonly ${serializeObjectKey(fieldName)}: { readonly nullable: ${nullable}; readonly type: { readonly kind: 'scalar'; readonly codecId: ${serializeValue(type.codecId)}${typeParamsSpec} }${mods} }`;\n  }\n  if (type.kind === 'valueObject') {\n    return `readonly ${serializeObjectKey(fieldName)}: { readonly nullable: ${nullable}; readonly type: { readonly kind: 'valueObject'; readonly name: ${serializeValue(type.name)} }${mods} }`;\n  }\n  return `readonly ${serializeObjectKey(fieldName)}: { readonly nullable: ${nullable}; readonly type: ${serializeValue(type)}${mods} }`;\n}\n\nexport function generateModelFieldsType(fields: Record<string, ContractField>): string {\n  const fieldEntries: string[] = [];\n  for (const [fieldName, field] of Object.entries(fields)) {\n    fieldEntries.push(generateModelFieldEntry(fieldName, field));\n  }\n  return fieldEntries.length > 0 ? `{ ${fieldEntries.join('; ')} }` : 'Record<string, never>';\n}\n\nexport function generateModelRelationsType(relations: Record<string, unknown>): string {\n  const relationEntries: string[] = [];\n\n  for (const [relName, rel] of Object.entries(relations)) {\n    if (typeof rel !== 'object' || rel === null) continue;\n    const relObj = rel as Record<string, unknown>;\n    const parts: string[] = [];\n\n    if (relObj['to']) parts.push(`readonly to: ${serializeValue(relObj['to'])}`);\n    if (relObj['cardinality'])\n      parts.push(`readonly cardinality: ${serializeValue(relObj['cardinality'])}`);\n\n    const on = relObj['on'] as { localFields?: string[]; targetFields?: string[] } | undefined;\n    if (on && (!on.localFields || !on.targetFields)) {\n      throw new Error(\n        `Relation \"${relName}\" has an \"on\" block but is missing localFields or targetFields`,\n      );\n    }\n    if (on?.localFields && on.targetFields) {\n      const localFields = on.localFields.map((f) => serializeValue(f)).join(', ');\n      const targetFields = on.targetFields.map((f) => serializeValue(f)).join(', ');\n      parts.push(\n        `readonly on: { readonly localFields: readonly [${localFields}]; readonly targetFields: readonly [${targetFields}] }`,\n      );\n    }\n\n    if (parts.length > 0) {\n      relationEntries.push(`readonly ${relName}: { ${parts.join('; ')} }`);\n    }\n  }\n\n  if (relationEntries.length === 0) {\n    return 'Record<string, never>';\n  }\n\n  return `{ ${relationEntries.join('; ')} }`;\n}\n\nexport function generateModelsType(\n  models: Record<string, ContractModel>,\n  generateModelStorage: (modelName: string, model: ContractModel) => string,\n): string {\n  if (!models || Object.keys(models).length === 0) {\n    return 'Record<string, never>';\n  }\n\n  const modelTypes: string[] = [];\n  for (const [modelName, model] of Object.entries(models).sort(([a], [b]) => a.localeCompare(b))) {\n    const fieldsType = generateModelFieldsType(model.fields);\n    const relationsType = generateModelRelationsType(model.relations);\n    const storageType = generateModelStorage(modelName, model);\n\n    const modelParts: string[] = [\n      `readonly fields: ${fieldsType}`,\n      `readonly relations: ${relationsType}`,\n      `readonly storage: ${storageType}`,\n    ];\n\n    if (model.owner) {\n      modelParts.push(`readonly owner: ${serializeValue(model.owner)}`);\n    }\n    if (model.discriminator) {\n      modelParts.push(`readonly discriminator: ${serializeValue(model.discriminator)}`);\n    }\n    if (model.variants) {\n      modelParts.push(`readonly variants: ${serializeValue(model.variants)}`);\n    }\n    if (model.base) {\n      modelParts.push(`readonly base: ${serializeValue(model.base)}`);\n    }\n\n    modelTypes.push(`readonly ${modelName}: { ${modelParts.join('; ')} }`);\n  }\n\n  return `{ ${modelTypes.join('; ')} }`;\n}\n\nexport function deduplicateImports(imports: TypesImportSpec[]): TypesImportSpec[] {\n  const seenKeys = new Set<string>();\n  const result: TypesImportSpec[] = [];\n  for (const imp of imports) {\n    const key = `${imp.package}::${imp.named}`;\n    if (!seenKeys.has(key)) {\n      seenKeys.add(key);\n      result.push(imp);\n    }\n  }\n  return result;\n}\n\nexport function generateImportLines(imports: TypesImportSpec[]): string[] {\n  return imports.map((imp) => {\n    const importClause = imp.named === imp.alias ? imp.named : `${imp.named} as ${imp.alias}`;\n    return `import type { ${importClause} } from '${imp.package}';`;\n  });\n}\n\nexport function generateCodecTypeIntersection(\n  imports: ReadonlyArray<TypesImportSpec>,\n  named: string,\n): string {\n  const aliases = imports.filter((imp) => imp.named === named).map((imp) => imp.alias);\n  return aliases.join(' & ') || 'Record<string, never>';\n}\n\nexport function serializeExecutionType(execution: Record<string, unknown>): string {\n  const parts: string[] = ['readonly executionHash: ExecutionHash'];\n  for (const [key, value] of Object.entries(execution)) {\n    if (key === 'executionHash') continue;\n    parts.push(`readonly ${serializeObjectKey(key)}: ${serializeValue(value)}`);\n  }\n  return `{ ${parts.join('; ')} }`;\n}\n\nexport function generateHashTypeAliases(hashes: {\n  readonly storageHash: string;\n  readonly executionHash?: string;\n  readonly profileHash: string;\n}): string {\n  const executionHashType = hashes.executionHash\n    ? `ExecutionHashBase<'${hashes.executionHash}'>`\n    : 'ExecutionHashBase<string>';\n\n  return [\n    `export type StorageHash = StorageHashBase<'${hashes.storageHash}'>;`,\n    `export type ExecutionHash = ${executionHashType};`,\n    `export type ProfileHash = ProfileHashBase<'${hashes.profileHash}'>;`,\n  ].join('\\n');\n}\n\nexport type ResolvedFieldType = { readonly input: string; readonly output: string };\n\nfunction applyModifiers(base: string, field: ContractField): string {\n  let result = base;\n  if (field.many === true) result = `ReadonlyArray<${result}>`;\n  if (field.dict === true) result = `Readonly<Record<string, ${result}>>`;\n  if (field.nullable) result = `${result} | null`;\n  return result;\n}\n\n/**\n * Per-family resolver for typeParams that don't live inline on the framework-domain `ContractField`. SQL columns authored via a named `storage.types` entry carry their `typeRef` on the storage column (family-specific) rather than on the framework's domain field; the per-family emitter walks `storage.types[ref].typeParams` here so the framework emit path can render the parameterized output type.\n *\n * Returns `undefined` when the field has no resolvable typeParams (i.e. the column isn't parameterized, isn't a `typeRef`, or the family doesn't support named storage types).\n */\nexport type FieldTypeParamsResolver = (\n  modelName: string,\n  fieldName: string,\n) => Record<string, unknown> | undefined;\n\nexport function resolveFieldType(\n  field: ContractField,\n  codecLookup?: CodecLookup,\n  resolvedTypeParams?: Record<string, unknown>,\n): ResolvedFieldType {\n  const { type } = field;\n\n  switch (type.kind) {\n    case 'scalar': {\n      let outputResolved: string | undefined;\n      const inlineTypeParams =\n        type.typeParams && Object.keys(type.typeParams).length > 0 ? type.typeParams : undefined;\n      const effectiveTypeParams = inlineTypeParams ?? resolvedTypeParams;\n      if (codecLookup && effectiveTypeParams && Object.keys(effectiveTypeParams).length > 0) {\n        const rendered = codecLookup.renderOutputTypeFor(type.codecId, effectiveTypeParams);\n        if (rendered && isSafeTypeExpression(rendered)) {\n          outputResolved = rendered;\n        }\n      }\n      const codecAccessor = `CodecTypes[${serializeValue(type.codecId)}]`;\n      return {\n        output: applyModifiers(outputResolved ?? `${codecAccessor}['output']`, field),\n        input: applyModifiers(`${codecAccessor}['input']`, field),\n      };\n    }\n    case 'valueObject':\n      return {\n        output: applyModifiers(`${type.name}Output`, field),\n        input: applyModifiers(`${type.name}Input`, field),\n      };\n    case 'union': {\n      const outputMembers = type.members.map((m) =>\n        m.kind === 'scalar'\n          ? `CodecTypes[${serializeValue(m.codecId)}]['output']`\n          : `${m.name}Output`,\n      );\n      const inputMembers = type.members.map((m) =>\n        m.kind === 'scalar'\n          ? `CodecTypes[${serializeValue(m.codecId)}]['input']`\n          : `${m.name}Input`,\n      );\n      return {\n        output: applyModifiers(outputMembers.join(' | '), field),\n        input: applyModifiers(inputMembers.join(' | '), field),\n      };\n    }\n    default:\n      return {\n        output: applyModifiers('unknown', field),\n        input: applyModifiers('unknown', field),\n      };\n  }\n}\n\nexport function generateFieldResolvedType(\n  field: ContractField,\n  codecLookup?: CodecLookup,\n  side: 'input' | 'output' = 'output',\n): string {\n  return resolveFieldType(field, codecLookup)[side];\n}\n\nexport function generateBothFieldTypesMaps(\n  models: Record<string, ContractModel> | undefined,\n  codecLookup?: CodecLookup,\n  resolveFieldTypeParams?: FieldTypeParamsResolver,\n): ResolvedFieldType {\n  if (!models || Object.keys(models).length === 0) {\n    return { output: 'Record<string, never>', input: 'Record<string, never>' };\n  }\n\n  const outputModelEntries: string[] = [];\n  const inputModelEntries: string[] = [];\n  for (const [modelName, model] of Object.entries(models).sort(([a], [b]) => a.localeCompare(b))) {\n    if (!model) continue;\n    const outputFieldEntries: string[] = [];\n    const inputFieldEntries: string[] = [];\n    for (const [fieldName, field] of Object.entries(model.fields)) {\n      const inlineTypeParams =\n        field.type.kind === 'scalar' &&\n        field.type.typeParams &&\n        Object.keys(field.type.typeParams).length > 0\n          ? field.type.typeParams\n          : undefined;\n      const resolvedTypeParams = inlineTypeParams ?? resolveFieldTypeParams?.(modelName, fieldName);\n      const resolved = resolveFieldType(field, codecLookup, resolvedTypeParams);\n      const key = `readonly ${serializeObjectKey(fieldName)}`;\n      outputFieldEntries.push(`${key}: ${resolved.output}`);\n      inputFieldEntries.push(`${key}: ${resolved.input}`);\n    }\n    const outputFields =\n      outputFieldEntries.length > 0\n        ? `{ ${outputFieldEntries.join('; ')} }`\n        : 'Record<string, never>';\n    const inputFields =\n      inputFieldEntries.length > 0\n        ? `{ ${inputFieldEntries.join('; ')} }`\n        : 'Record<string, never>';\n    const modelKey = `readonly ${serializeObjectKey(modelName)}`;\n    outputModelEntries.push(`${modelKey}: ${outputFields}`);\n    inputModelEntries.push(`${modelKey}: ${inputFields}`);\n  }\n\n  return {\n    output: `{ ${outputModelEntries.join('; ')} }`,\n    input: `{ ${inputModelEntries.join('; ')} }`,\n  };\n}\n\nexport function generateFieldOutputTypesMap(\n  models: Record<string, ContractModel> | undefined,\n  codecLookup?: CodecLookup,\n  resolveFieldTypeParams?: FieldTypeParamsResolver,\n): string {\n  return generateBothFieldTypesMaps(models, codecLookup, resolveFieldTypeParams).output;\n}\n\nexport function generateFieldInputTypesMap(\n  models: Record<string, ContractModel> | undefined,\n  codecLookup?: CodecLookup,\n  resolveFieldTypeParams?: FieldTypeParamsResolver,\n): string {\n  return generateBothFieldTypesMaps(models, codecLookup, resolveFieldTypeParams).input;\n}\n\nexport function generateValueObjectType(\n  _voName: string,\n  vo: ContractValueObject,\n  _valueObjects: Record<string, ContractValueObject>,\n  side: 'input' | 'output' = 'output',\n  codecLookup?: CodecLookup,\n): string {\n  return resolveValueObjectType(_voName, vo, _valueObjects, codecLookup)[side];\n}\n\nexport function resolveValueObjectType(\n  _voName: string,\n  vo: ContractValueObject,\n  _valueObjects: Record<string, ContractValueObject>,\n  codecLookup?: CodecLookup,\n): ResolvedFieldType {\n  const outputEntries: string[] = [];\n  const inputEntries: string[] = [];\n  for (const [fieldName, field] of Object.entries(vo.fields)) {\n    const resolved = resolveFieldType(field, codecLookup);\n    const key = `readonly ${serializeObjectKey(fieldName)}`;\n    outputEntries.push(`${key}: ${resolved.output}`);\n    inputEntries.push(`${key}: ${resolved.input}`);\n  }\n  const empty = 'Record<string, never>';\n  return {\n    output: outputEntries.length > 0 ? `{ ${outputEntries.join('; ')} }` : empty,\n    input: inputEntries.length > 0 ? `{ ${inputEntries.join('; ')} }` : empty,\n  };\n}\n\nexport function generateContractFieldDescriptor(fieldName: string, field: ContractField): string {\n  const mods: string[] = [];\n  if (field.many === true) mods.push('; readonly many: true');\n  if (field.dict === true) mods.push('; readonly dict: true');\n  const modStr = mods.join('');\n\n  const { type } = field;\n  if (type.kind === 'scalar') {\n    const typeParamsSpec =\n      type.typeParams && Object.keys(type.typeParams).length > 0\n        ? `; readonly typeParams: ${serializeValue(type.typeParams)}`\n        : '';\n    return `readonly ${serializeObjectKey(fieldName)}: { readonly nullable: ${field.nullable}; readonly type: { readonly kind: 'scalar'; readonly codecId: ${serializeValue(type.codecId)}${typeParamsSpec} }${modStr} }`;\n  }\n  if (type.kind === 'valueObject') {\n    return `readonly ${serializeObjectKey(fieldName)}: { readonly nullable: ${field.nullable}; readonly type: { readonly kind: 'valueObject'; readonly name: ${serializeValue(type.name)} }${modStr} }`;\n  }\n  return `readonly ${serializeObjectKey(fieldName)}: { readonly nullable: ${field.nullable}; readonly type: ${serializeValue(type)}${modStr} }`;\n}\n\nexport function generateValueObjectsDescriptorType(\n  valueObjects: Record<string, ContractValueObject> | undefined,\n): string {\n  if (!valueObjects || Object.keys(valueObjects).length === 0) {\n    return 'Record<string, never>';\n  }\n\n  const voEntries: string[] = [];\n  for (const [voName, vo] of Object.entries(valueObjects)) {\n    const fieldEntries: string[] = [];\n    for (const [fieldName, field] of Object.entries(vo.fields)) {\n      fieldEntries.push(generateContractFieldDescriptor(fieldName, field));\n    }\n    const fieldsType =\n      fieldEntries.length > 0 ? `{ ${fieldEntries.join('; ')} }` : 'Record<string, never>';\n    voEntries.push(`readonly ${serializeObjectKey(voName)}: { readonly fields: ${fieldsType} }`);\n  }\n\n  return `{ ${voEntries.join('; ')} }`;\n}\n\nexport function generateValueObjectTypeAliases(\n  valueObjects: Record<string, ContractValueObject> | undefined,\n  codecLookup?: CodecLookup,\n): string {\n  if (!valueObjects || Object.keys(valueObjects).length === 0) {\n    return '';\n  }\n\n  const aliases: string[] = [];\n  for (const [voName, vo] of Object.entries(valueObjects)) {\n    const resolved = resolveValueObjectType(voName, vo, valueObjects, codecLookup);\n    aliases.push(`export type ${voName}Output = ${resolved.output};`);\n    aliases.push(`export type ${voName}Input = ${resolved.input};`);\n  }\n  return aliases.join('\\n');\n}\n"],"mappings":";;;AASA,SAAgB,eAAe,OAAwB;AACrD,KAAI,UAAU,KACZ,QAAO;AAET,KAAI,UAAU,OACZ,QAAO;AAET,KAAI,OAAO,UAAU,SAEnB,QAAO,IADS,MAAM,QAAQ,OAAO,OAAO,CAAC,QAAQ,MAAM,MAAM,CAC9C;AAErB,KAAI,OAAO,UAAU,YAAY,OAAO,UAAU,UAChD,QAAO,OAAO,MAAM;AAEtB,KAAI,OAAO,UAAU,SACnB,QAAO,GAAG,MAAM;AAElB,KAAI,MAAM,QAAQ,MAAM,CAEtB,QAAO,aADO,MAAM,KAAK,MAAM,eAAe,EAAE,CAAC,CAAC,KAAK,KAAK,CAClC;AAE5B,KAAI,OAAO,UAAU,UAAU;EAC7B,MAAMA,UAAoB,EAAE;AAC5B,OAAK,MAAM,CAAC,GAAG,MAAM,OAAO,QAAQ,MAAM,CACxC,SAAQ,KAAK,YAAY,mBAAmB,EAAE,CAAC,IAAI,eAAe,EAAE,GAAG;AAEzE,SAAO,KAAK,QAAQ,KAAK,KAAK,CAAC;;AAEjC,QAAO;;AAGT,SAAgB,mBAAmB,KAAqB;AACtD,KAAI,qBAAqB,KAAK,IAAI,CAChC,QAAO;AAET,QAAO,eAAe,IAAI;;AAG5B,SAAgB,kBAAkB,OAAmD;AACnF,KAAI,CAAC,SAAS,OAAO,KAAK,MAAM,CAAC,WAAW,EAC1C,QAAO;AAKT,QAAO,KAHS,OAAO,QAAQ,MAAM,CAClC,KAAK,CAAC,KAAK,WAAW,YAAY,mBAAmB,IAAI,CAAC,IAAI,eAAe,MAAM,GAAG,CACtF,KAAK,KAAK,CACO;;AAGtB,SAAS,4BAA4B,OAA8B;AAGjE,SAFa,MAAM,SAAS,OAAO,0BAA0B,OAChD,MAAM,SAAS,OAAO,0BAA0B;;AAI/D,SAAgB,wBAAwB,WAAmB,OAA8B;CACvF,MAAM,OAAO,4BAA4B,MAAM;CAC/C,MAAM,EAAE,UAAU,SAAS;AAC3B,KAAI,KAAK,SAAS,UAAU;EAC1B,MAAM,iBACJ,KAAK,cAAc,OAAO,KAAK,KAAK,WAAW,CAAC,SAAS,IACrD,0BAA0B,eAAe,KAAK,WAAW,KACzD;AACN,SAAO,YAAY,mBAAmB,UAAU,CAAC,yBAAyB,SAAS,gEAAgE,eAAe,KAAK,QAAQ,GAAG,eAAe,IAAI,KAAK;;AAE5M,KAAI,KAAK,SAAS,cAChB,QAAO,YAAY,mBAAmB,UAAU,CAAC,yBAAyB,SAAS,kEAAkE,eAAe,KAAK,KAAK,CAAC,IAAI,KAAK;AAE1L,QAAO,YAAY,mBAAmB,UAAU,CAAC,yBAAyB,SAAS,mBAAmB,eAAe,KAAK,GAAG,KAAK;;AAGpI,SAAgB,wBAAwB,QAA+C;CACrF,MAAMC,eAAyB,EAAE;AACjC,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,CACrD,cAAa,KAAK,wBAAwB,WAAW,MAAM,CAAC;AAE9D,QAAO,aAAa,SAAS,IAAI,KAAK,aAAa,KAAK,KAAK,CAAC,MAAM;;AAGtE,SAAgB,2BAA2B,WAA4C;CACrF,MAAMC,kBAA4B,EAAE;AAEpC,MAAK,MAAM,CAAC,SAAS,QAAQ,OAAO,QAAQ,UAAU,EAAE;AACtD,MAAI,OAAO,QAAQ,YAAY,QAAQ,KAAM;EAC7C,MAAM,SAAS;EACf,MAAMC,QAAkB,EAAE;AAE1B,MAAI,OAAO,MAAO,OAAM,KAAK,gBAAgB,eAAe,OAAO,MAAM,GAAG;AAC5E,MAAI,OAAO,eACT,OAAM,KAAK,yBAAyB,eAAe,OAAO,eAAe,GAAG;EAE9E,MAAM,KAAK,OAAO;AAClB,MAAI,OAAO,CAAC,GAAG,eAAe,CAAC,GAAG,cAChC,OAAM,IAAI,MACR,aAAa,QAAQ,gEACtB;AAEH,MAAI,IAAI,eAAe,GAAG,cAAc;GACtC,MAAM,cAAc,GAAG,YAAY,KAAK,MAAM,eAAe,EAAE,CAAC,CAAC,KAAK,KAAK;GAC3E,MAAM,eAAe,GAAG,aAAa,KAAK,MAAM,eAAe,EAAE,CAAC,CAAC,KAAK,KAAK;AAC7E,SAAM,KACJ,kDAAkD,YAAY,sCAAsC,aAAa,KAClH;;AAGH,MAAI,MAAM,SAAS,EACjB,iBAAgB,KAAK,YAAY,QAAQ,MAAM,MAAM,KAAK,KAAK,CAAC,IAAI;;AAIxE,KAAI,gBAAgB,WAAW,EAC7B,QAAO;AAGT,QAAO,KAAK,gBAAgB,KAAK,KAAK,CAAC;;AAGzC,SAAgB,mBACd,QACA,sBACQ;AACR,KAAI,CAAC,UAAU,OAAO,KAAK,OAAO,CAAC,WAAW,EAC5C,QAAO;CAGT,MAAMC,aAAuB,EAAE;AAC/B,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC,EAAE;EAC9F,MAAM,aAAa,wBAAwB,MAAM,OAAO;EACxD,MAAM,gBAAgB,2BAA2B,MAAM,UAAU;EACjE,MAAM,cAAc,qBAAqB,WAAW,MAAM;EAE1D,MAAMC,aAAuB;GAC3B,oBAAoB;GACpB,uBAAuB;GACvB,qBAAqB;GACtB;AAED,MAAI,MAAM,MACR,YAAW,KAAK,mBAAmB,eAAe,MAAM,MAAM,GAAG;AAEnE,MAAI,MAAM,cACR,YAAW,KAAK,2BAA2B,eAAe,MAAM,cAAc,GAAG;AAEnF,MAAI,MAAM,SACR,YAAW,KAAK,sBAAsB,eAAe,MAAM,SAAS,GAAG;AAEzE,MAAI,MAAM,KACR,YAAW,KAAK,kBAAkB,eAAe,MAAM,KAAK,GAAG;AAGjE,aAAW,KAAK,YAAY,UAAU,MAAM,WAAW,KAAK,KAAK,CAAC,IAAI;;AAGxE,QAAO,KAAK,WAAW,KAAK,KAAK,CAAC;;AAGpC,SAAgB,mBAAmB,SAA+C;CAChF,MAAM,2BAAW,IAAI,KAAa;CAClC,MAAMC,SAA4B,EAAE;AACpC,MAAK,MAAM,OAAO,SAAS;EACzB,MAAM,MAAM,GAAG,IAAI,QAAQ,IAAI,IAAI;AACnC,MAAI,CAAC,SAAS,IAAI,IAAI,EAAE;AACtB,YAAS,IAAI,IAAI;AACjB,UAAO,KAAK,IAAI;;;AAGpB,QAAO;;AAGT,SAAgB,oBAAoB,SAAsC;AACxE,QAAO,QAAQ,KAAK,QAAQ;AAE1B,SAAO,iBADc,IAAI,UAAU,IAAI,QAAQ,IAAI,QAAQ,GAAG,IAAI,MAAM,MAAM,IAAI,QAC7C,WAAW,IAAI,QAAQ;GAC5D;;AAGJ,SAAgB,8BACd,SACA,OACQ;AAER,QADgB,QAAQ,QAAQ,QAAQ,IAAI,UAAU,MAAM,CAAC,KAAK,QAAQ,IAAI,MAAM,CACrE,KAAK,MAAM,IAAI;;AAGhC,SAAgB,uBAAuB,WAA4C;CACjF,MAAMH,QAAkB,CAAC,wCAAwC;AACjE,MAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,UAAU,EAAE;AACpD,MAAI,QAAQ,gBAAiB;AAC7B,QAAM,KAAK,YAAY,mBAAmB,IAAI,CAAC,IAAI,eAAe,MAAM,GAAG;;AAE7E,QAAO,KAAK,MAAM,KAAK,KAAK,CAAC;;AAG/B,SAAgB,wBAAwB,QAI7B;CACT,MAAM,oBAAoB,OAAO,gBAC7B,sBAAsB,OAAO,cAAc,MAC3C;AAEJ,QAAO;EACL,8CAA8C,OAAO,YAAY;EACjE,+BAA+B,kBAAkB;EACjD,8CAA8C,OAAO,YAAY;EAClE,CAAC,KAAK,KAAK;;AAKd,SAAS,eAAe,MAAc,OAA8B;CAClE,IAAI,SAAS;AACb,KAAI,MAAM,SAAS,KAAM,UAAS,iBAAiB,OAAO;AAC1D,KAAI,MAAM,SAAS,KAAM,UAAS,2BAA2B,OAAO;AACpE,KAAI,MAAM,SAAU,UAAS,GAAG,OAAO;AACvC,QAAO;;AAaT,SAAgB,iBACd,OACA,aACA,oBACmB;CACnB,MAAM,EAAE,SAAS;AAEjB,SAAQ,KAAK,MAAb;EACE,KAAK,UAAU;GACb,IAAII;GAGJ,MAAM,uBADJ,KAAK,cAAc,OAAO,KAAK,KAAK,WAAW,CAAC,SAAS,IAAI,KAAK,aAAa,WACjC;AAChD,OAAI,eAAe,uBAAuB,OAAO,KAAK,oBAAoB,CAAC,SAAS,GAAG;IACrF,MAAM,WAAW,YAAY,oBAAoB,KAAK,SAAS,oBAAoB;AACnF,QAAI,YAAY,qBAAqB,SAAS,CAC5C,kBAAiB;;GAGrB,MAAM,gBAAgB,cAAc,eAAe,KAAK,QAAQ,CAAC;AACjE,UAAO;IACL,QAAQ,eAAe,kBAAkB,GAAG,cAAc,aAAa,MAAM;IAC7E,OAAO,eAAe,GAAG,cAAc,YAAY,MAAM;IAC1D;;EAEH,KAAK,cACH,QAAO;GACL,QAAQ,eAAe,GAAG,KAAK,KAAK,SAAS,MAAM;GACnD,OAAO,eAAe,GAAG,KAAK,KAAK,QAAQ,MAAM;GAClD;EACH,KAAK,SAAS;GACZ,MAAM,gBAAgB,KAAK,QAAQ,KAAK,MACtC,EAAE,SAAS,WACP,cAAc,eAAe,EAAE,QAAQ,CAAC,eACxC,GAAG,EAAE,KAAK,QACf;GACD,MAAM,eAAe,KAAK,QAAQ,KAAK,MACrC,EAAE,SAAS,WACP,cAAc,eAAe,EAAE,QAAQ,CAAC,cACxC,GAAG,EAAE,KAAK,OACf;AACD,UAAO;IACL,QAAQ,eAAe,cAAc,KAAK,MAAM,EAAE,MAAM;IACxD,OAAO,eAAe,aAAa,KAAK,MAAM,EAAE,MAAM;IACvD;;EAEH,QACE,QAAO;GACL,QAAQ,eAAe,WAAW,MAAM;GACxC,OAAO,eAAe,WAAW,MAAM;GACxC;;;AAIP,SAAgB,0BACd,OACA,aACA,OAA2B,UACnB;AACR,QAAO,iBAAiB,OAAO,YAAY,CAAC;;AAG9C,SAAgB,2BACd,QACA,aACA,wBACmB;AACnB,KAAI,CAAC,UAAU,OAAO,KAAK,OAAO,CAAC,WAAW,EAC5C,QAAO;EAAE,QAAQ;EAAyB,OAAO;EAAyB;CAG5E,MAAMC,qBAA+B,EAAE;CACvC,MAAMC,oBAA8B,EAAE;AACtC,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC,EAAE;AAC9F,MAAI,CAAC,MAAO;EACZ,MAAMC,qBAA+B,EAAE;EACvC,MAAMC,oBAA8B,EAAE;AACtC,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,MAAM,OAAO,EAAE;GAQ7D,MAAM,WAAW,iBAAiB,OAAO,cANvC,MAAM,KAAK,SAAS,YACpB,MAAM,KAAK,cACX,OAAO,KAAK,MAAM,KAAK,WAAW,CAAC,SAAS,IACxC,MAAM,KAAK,aACX,WACyC,yBAAyB,WAAW,UAAU,CACpB;GACzE,MAAM,MAAM,YAAY,mBAAmB,UAAU;AACrD,sBAAmB,KAAK,GAAG,IAAI,IAAI,SAAS,SAAS;AACrD,qBAAkB,KAAK,GAAG,IAAI,IAAI,SAAS,QAAQ;;EAErD,MAAM,eACJ,mBAAmB,SAAS,IACxB,KAAK,mBAAmB,KAAK,KAAK,CAAC,MACnC;EACN,MAAM,cACJ,kBAAkB,SAAS,IACvB,KAAK,kBAAkB,KAAK,KAAK,CAAC,MAClC;EACN,MAAM,WAAW,YAAY,mBAAmB,UAAU;AAC1D,qBAAmB,KAAK,GAAG,SAAS,IAAI,eAAe;AACvD,oBAAkB,KAAK,GAAG,SAAS,IAAI,cAAc;;AAGvD,QAAO;EACL,QAAQ,KAAK,mBAAmB,KAAK,KAAK,CAAC;EAC3C,OAAO,KAAK,kBAAkB,KAAK,KAAK,CAAC;EAC1C;;AAGH,SAAgB,4BACd,QACA,aACA,wBACQ;AACR,QAAO,2BAA2B,QAAQ,aAAa,uBAAuB,CAAC;;AAGjF,SAAgB,2BACd,QACA,aACA,wBACQ;AACR,QAAO,2BAA2B,QAAQ,aAAa,uBAAuB,CAAC;;AAGjF,SAAgB,wBACd,SACA,IACA,eACA,OAA2B,UAC3B,aACQ;AACR,QAAO,uBAAuB,SAAS,IAAI,eAAe,YAAY,CAAC;;AAGzE,SAAgB,uBACd,SACA,IACA,eACA,aACmB;CACnB,MAAMC,gBAA0B,EAAE;CAClC,MAAMC,eAAyB,EAAE;AACjC,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,GAAG,OAAO,EAAE;EAC1D,MAAM,WAAW,iBAAiB,OAAO,YAAY;EACrD,MAAM,MAAM,YAAY,mBAAmB,UAAU;AACrD,gBAAc,KAAK,GAAG,IAAI,IAAI,SAAS,SAAS;AAChD,eAAa,KAAK,GAAG,IAAI,IAAI,SAAS,QAAQ;;CAEhD,MAAM,QAAQ;AACd,QAAO;EACL,QAAQ,cAAc,SAAS,IAAI,KAAK,cAAc,KAAK,KAAK,CAAC,MAAM;EACvE,OAAO,aAAa,SAAS,IAAI,KAAK,aAAa,KAAK,KAAK,CAAC,MAAM;EACrE;;AAGH,SAAgB,gCAAgC,WAAmB,OAA8B;CAC/F,MAAMC,OAAiB,EAAE;AACzB,KAAI,MAAM,SAAS,KAAM,MAAK,KAAK,wBAAwB;AAC3D,KAAI,MAAM,SAAS,KAAM,MAAK,KAAK,wBAAwB;CAC3D,MAAM,SAAS,KAAK,KAAK,GAAG;CAE5B,MAAM,EAAE,SAAS;AACjB,KAAI,KAAK,SAAS,UAAU;EAC1B,MAAM,iBACJ,KAAK,cAAc,OAAO,KAAK,KAAK,WAAW,CAAC,SAAS,IACrD,0BAA0B,eAAe,KAAK,WAAW,KACzD;AACN,SAAO,YAAY,mBAAmB,UAAU,CAAC,yBAAyB,MAAM,SAAS,gEAAgE,eAAe,KAAK,QAAQ,GAAG,eAAe,IAAI,OAAO;;AAEpN,KAAI,KAAK,SAAS,cAChB,QAAO,YAAY,mBAAmB,UAAU,CAAC,yBAAyB,MAAM,SAAS,kEAAkE,eAAe,KAAK,KAAK,CAAC,IAAI,OAAO;AAElM,QAAO,YAAY,mBAAmB,UAAU,CAAC,yBAAyB,MAAM,SAAS,mBAAmB,eAAe,KAAK,GAAG,OAAO;;AAG5I,SAAgB,mCACd,cACQ;AACR,KAAI,CAAC,gBAAgB,OAAO,KAAK,aAAa,CAAC,WAAW,EACxD,QAAO;CAGT,MAAMC,YAAsB,EAAE;AAC9B,MAAK,MAAM,CAAC,QAAQ,OAAO,OAAO,QAAQ,aAAa,EAAE;EACvD,MAAMd,eAAyB,EAAE;AACjC,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,GAAG,OAAO,CACxD,cAAa,KAAK,gCAAgC,WAAW,MAAM,CAAC;EAEtE,MAAM,aACJ,aAAa,SAAS,IAAI,KAAK,aAAa,KAAK,KAAK,CAAC,MAAM;AAC/D,YAAU,KAAK,YAAY,mBAAmB,OAAO,CAAC,uBAAuB,WAAW,IAAI;;AAG9F,QAAO,KAAK,UAAU,KAAK,KAAK,CAAC;;AAGnC,SAAgB,+BACd,cACA,aACQ;AACR,KAAI,CAAC,gBAAgB,OAAO,KAAK,aAAa,CAAC,WAAW,EACxD,QAAO;CAGT,MAAMe,UAAoB,EAAE;AAC5B,MAAK,MAAM,CAAC,QAAQ,OAAO,OAAO,QAAQ,aAAa,EAAE;EACvD,MAAM,WAAW,uBAAuB,QAAQ,IAAI,cAAc,YAAY;AAC9E,UAAQ,KAAK,eAAe,OAAO,WAAW,SAAS,OAAO,GAAG;AACjE,UAAQ,KAAK,eAAe,OAAO,UAAU,SAAS,MAAM,GAAG;;AAEjE,QAAO,QAAQ,KAAK,KAAK"}

package/dist/exports/index.mjs

@@ -32,7 +32,12 @@ function generateContractDts(contract, emitter, codecTypeImports, operationTypeI
 	const valueObjectTypeAliases = generateValueObjectTypeAliases(valueObjects, codecLookup);
 	const valueObjectsDescriptor = generateValueObjectsDescriptorType(valueObjects);
 	const executionClause = contract.execution !== void 0 ? `\n  readonly execution: ${serializeExecutionType(contract.execution)};` : "";
-	const fieldTypesMaps = generateBothFieldTypesMaps(contract.models, codecLookup);
+	const resolveFieldTypeParams = emitter.resolveFieldTypeParams ? (modelName, fieldName) => {
+		const model = contract.models?.[modelName];
+		if (!model) return void 0;
+		return emitter.resolveFieldTypeParams?.(modelName, fieldName, model, contract);
+	} : void 0;
+	const fieldTypesMaps = generateBothFieldTypesMaps(contract.models, codecLookup, resolveFieldTypeParams);
 	const contractWrapper = emitter.getContractWrapper("ContractBase", "TypeMaps");
 	return `// ⚠️  GENERATED FILE - DO NOT EDIT
 // This file is automatically generated by 'prisma-next contract emit'.

package/dist/exports/index.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.mjs","names":["allImports: TypesImportSpec[]"],"sources":["../../src/artifact-paths.ts","../../src/generate-contract-dts.ts","../../src/emit.ts"],"sourcesContent":["const JSON_EXTENSION = '.json';\n\nexport interface EmittedArtifactPaths {\n  readonly jsonPath: string;\n  readonly dtsPath: string;\n}\n\nexport function getEmittedArtifactPaths(outputJsonPath: string): EmittedArtifactPaths {\n  if (!outputJsonPath.endsWith(JSON_EXTENSION)) {\n    throw new Error('Contract output path must end with .json');\n  }\n\n  return {\n    jsonPath: outputJsonPath,\n    dtsPath: `${outputJsonPath.slice(0, -JSON_EXTENSION.length)}.d.ts`,\n  };\n}\n","import type { Contract, ContractModel, ContractValueObject } from '@prisma-next/contract/types';\nimport type { CodecLookup } from '@prisma-next/framework-components/codec';\nimport type {\n  EmissionSpi,\n  GenerateContractTypesOptions,\n  TypesImportSpec,\n} from '@prisma-next/framework-components/emission';\nimport {\n  deduplicateImports,\n  generateBothFieldTypesMaps,\n  generateCodecTypeIntersection,\n  generateHashTypeAliases,\n  generateImportLines,\n  generateModelsType,\n  generateRootsType,\n  generateValueObjectsDescriptorType,\n  generateValueObjectTypeAliases,\n  serializeExecutionType,\n  serializeValue,\n} from './domain-type-generation';\n\nexport function generateContractDts(\n  contract: Contract,\n  emitter: EmissionSpi,\n  codecTypeImports: ReadonlyArray<TypesImportSpec>,\n  operationTypeImports: ReadonlyArray<TypesImportSpec>,\n  hashes: {\n    readonly storageHash: string;\n    readonly executionHash?: string;\n    readonly profileHash: string;\n  },\n  options?: GenerateContractTypesOptions,\n  codecLookup?: CodecLookup,\n): string {\n  const allImports: TypesImportSpec[] = [...codecTypeImports, ...operationTypeImports];\n  if (options?.queryOperationTypeImports) {\n    allImports.push(...options.queryOperationTypeImports);\n  }\n  const uniqueImports = deduplicateImports(allImports);\n  const importLines = generateImportLines(uniqueImports);\n\n  const familyImportLines = emitter.getFamilyImports();\n\n  const hashAliases = generateHashTypeAliases(hashes);\n\n  const codecTypes = generateCodecTypeIntersection(codecTypeImports, 'CodecTypes');\n  const operationTypes = generateCodecTypeIntersection(operationTypeImports, 'OperationTypes');\n\n  const familyTypeAliases = emitter.getFamilyTypeAliases(options);\n\n  const typeMapsExpr = emitter.getTypeMapsExpression();\n\n  const storageType = emitter.generateStorageType(contract, 'StorageHash');\n\n  const modelsType = generateModelsType(\n    contract.models as Record<string, ContractModel>,\n    (name, model) => emitter.generateModelStorageType(name, model),\n  );\n\n  const rootsType = generateRootsType(contract.roots);\n\n  const valueObjects = contract.valueObjects as Record<string, ContractValueObject> | undefined;\n  const valueObjectTypeAliases = generateValueObjectTypeAliases(valueObjects, codecLookup);\n  const valueObjectsDescriptor = generateValueObjectsDescriptorType(valueObjects);\n\n  const executionClause =\n    contract.execution !== undefined\n      ? `\\n  readonly execution: ${serializeExecutionType(contract.execution)};`\n      : '';\n\n  const fieldTypesMaps = generateBothFieldTypesMaps(\n    contract.models as Record<string, ContractModel> | undefined,\n    codecLookup,\n  );\n\n  const contractWrapper = emitter.getContractWrapper('ContractBase', 'TypeMaps');\n\n  return `// ⚠️  GENERATED FILE - DO NOT EDIT\n// This file is automatically generated by 'prisma-next contract emit'.\n// To regenerate, run: prisma-next contract emit\n${importLines.join('\\n')}\n\n${familyImportLines.join('\\n')}\nimport type {\n  Contract as ContractType,\n  ExecutionHashBase,\n  ProfileHashBase,\n  StorageHashBase,\n} from '@prisma-next/contract/types';\n\n${hashAliases}\n\nexport type CodecTypes = ${codecTypes};\nexport type OperationTypes = ${operationTypes};\n${familyTypeAliases}\n${valueObjectTypeAliases}\nexport type FieldOutputTypes = ${fieldTypesMaps.output};\nexport type FieldInputTypes = ${fieldTypesMaps.input};\nexport type TypeMaps = ${typeMapsExpr};\n\ntype ContractBase = ContractType<\n${storageType},\n${modelsType}\n> & {\n  readonly target: ${serializeValue(contract.target)};\n  readonly targetFamily: ${serializeValue(contract.targetFamily)};\n  readonly roots: ${rootsType};\n  readonly capabilities: ${serializeValue(contract.capabilities)};\n  readonly extensionPacks: ${serializeValue(contract.extensionPacks)};${executionClause}\n  readonly meta: ${serializeValue(contract.meta)};\n  ${valueObjects ? `readonly valueObjects: ${valueObjectsDescriptor};` : ''}\n  readonly profileHash: ProfileHash;\n};\n\n${contractWrapper}\n`;\n}\n","import { canonicalizeContractToObject } from '@prisma-next/contract/hashing';\nimport type { Contract } from '@prisma-next/contract/types';\nimport type { EmissionSpi } from '@prisma-next/framework-components/emission';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { format } from 'prettier';\nimport { getEmittedArtifactPaths } from './artifact-paths';\nimport type { EmitOptions, EmitResult, EmitStackInput } from './emit-types';\nimport { generateContractDts } from './generate-contract-dts';\n\nconst SCHEMA_VERSION = '1';\n\nexport async function emit(\n  contract: Contract,\n  stack: EmitStackInput,\n  targetFamily: EmissionSpi,\n  options?: EmitOptions,\n): Promise<EmitResult> {\n  if (options?.outputJsonPath !== undefined) {\n    getEmittedArtifactPaths(options.outputJsonPath);\n  }\n\n  const { codecTypeImports, operationTypeImports, queryOperationTypeImports } = stack;\n\n  const { storageHash } = contract.storage;\n  const executionHash = contract.execution?.executionHash;\n  const { profileHash } = contract;\n\n  const canonicalized = canonicalizeContractToObject(contract, {\n    schemaVersion: SCHEMA_VERSION,\n  });\n  const contractJsonString = JSON.stringify(\n    {\n      ...canonicalized,\n      _generated: {\n        warning: '⚠️  GENERATED FILE - DO NOT EDIT',\n        message: 'This file is automatically generated by \"prisma-next contract emit\".',\n        regenerate: 'To regenerate, run: prisma-next contract emit',\n      },\n    },\n    null,\n    2,\n  );\n\n  const generateOptions = queryOperationTypeImports ? { queryOperationTypeImports } : undefined;\n\n  const contractTypeHashes = {\n    storageHash,\n    ...ifDefined('executionHash', executionHash),\n    profileHash,\n  };\n  const contractDtsRaw = generateContractDts(\n    contract,\n    targetFamily,\n    codecTypeImports ?? [],\n    operationTypeImports ?? [],\n    contractTypeHashes,\n    generateOptions,\n    stack.codecLookup,\n  );\n  const contractDts = await format(contractDtsRaw, {\n    parser: 'typescript',\n    singleQuote: true,\n    semi: true,\n    printWidth: 100,\n  });\n\n  return {\n    contractJson: contractJsonString,\n    contractDts,\n    storageHash,\n    ...ifDefined('executionHash', executionHash),\n    profileHash,\n  };\n}\n"],"mappings":";;;;;;AAAA,MAAM,iBAAiB;AAOvB,SAAgB,wBAAwB,gBAA8C;AACpF,KAAI,CAAC,eAAe,SAAS,eAAe,CAC1C,OAAM,IAAI,MAAM,2CAA2C;AAG7D,QAAO;EACL,UAAU;EACV,SAAS,GAAG,eAAe,MAAM,GAAG,GAAuB,CAAC;EAC7D;;;;;ACMH,SAAgB,oBACd,UACA,SACA,kBACA,sBACA,QAKA,SACA,aACQ;CACR,MAAMA,aAAgC,CAAC,GAAG,kBAAkB,GAAG,qBAAqB;AACpF,KAAI,SAAS,0BACX,YAAW,KAAK,GAAG,QAAQ,0BAA0B;CAGvD,MAAM,cAAc,oBADE,mBAAmB,WAAW,CACE;CAEtD,MAAM,oBAAoB,QAAQ,kBAAkB;CAEpD,MAAM,cAAc,wBAAwB,OAAO;CAEnD,MAAM,aAAa,8BAA8B,kBAAkB,aAAa;CAChF,MAAM,iBAAiB,8BAA8B,sBAAsB,iBAAiB;CAE5F,MAAM,oBAAoB,QAAQ,qBAAqB,QAAQ;CAE/D,MAAM,eAAe,QAAQ,uBAAuB;CAEpD,MAAM,cAAc,QAAQ,oBAAoB,UAAU,cAAc;CAExE,MAAM,aAAa,mBACjB,SAAS,SACR,MAAM,UAAU,QAAQ,yBAAyB,MAAM,MAAM,CAC/D;CAED,MAAM,YAAY,kBAAkB,SAAS,MAAM;CAEnD,MAAM,eAAe,SAAS;CAC9B,MAAM,yBAAyB,+BAA+B,cAAc,YAAY;CACxF,MAAM,yBAAyB,mCAAmC,aAAa;CAE/E,MAAM,kBACJ,SAAS,cAAc,SACnB,2BAA2B,uBAAuB,SAAS,UAAU,CAAC,KACtE;CAEN,MAAM,iBAAiB,2BACrB,SAAS,QACT,YACD;CAED,MAAM,kBAAkB,QAAQ,mBAAmB,gBAAgB,WAAW;AAE9E,QAAO;;;EAGP,YAAY,KAAK,KAAK,CAAC;;EAEvB,kBAAkB,KAAK,KAAK,CAAC;;;;;;;;EAQ7B,YAAY;;2BAEa,WAAW;+BACP,eAAe;EAC5C,kBAAkB;EAClB,uBAAuB;iCACQ,eAAe,OAAO;gCACvB,eAAe,MAAM;yBAC5B,aAAa;;;EAGpC,YAAY;EACZ,WAAW;;qBAEQ,eAAe,SAAS,OAAO,CAAC;2BAC1B,eAAe,SAAS,aAAa,CAAC;oBAC7C,UAAU;2BACH,eAAe,SAAS,aAAa,CAAC;6BACpC,eAAe,SAAS,eAAe,CAAC,GAAG,gBAAgB;mBACrE,eAAe,SAAS,KAAK,CAAC;IAC7C,eAAe,0BAA0B,uBAAuB,KAAK,GAAG;;;;EAI1E,gBAAgB;;;;;;ACzGlB,MAAM,iBAAiB;AAEvB,eAAsB,KACpB,UACA,OACA,cACA,SACqB;AACrB,KAAI,SAAS,mBAAmB,OAC9B,yBAAwB,QAAQ,eAAe;CAGjD,MAAM,EAAE,kBAAkB,sBAAsB,8BAA8B;CAE9E,MAAM,EAAE,gBAAgB,SAAS;CACjC,MAAM,gBAAgB,SAAS,WAAW;CAC1C,MAAM,EAAE,gBAAgB;CAExB,MAAM,gBAAgB,6BAA6B,UAAU,EAC3D,eAAe,gBAChB,CAAC;CACF,MAAM,qBAAqB,KAAK,UAC9B;EACE,GAAG;EACH,YAAY;GACV,SAAS;GACT,SAAS;GACT,YAAY;GACb;EACF,EACD,MACA,EACD;CAED,MAAM,kBAAkB,4BAA4B,EAAE,2BAA2B,GAAG;CAEpF,MAAM,qBAAqB;EACzB;EACA,GAAG,UAAU,iBAAiB,cAAc;EAC5C;EACD;AAiBD,QAAO;EACL,cAAc;EACd,aATkB,MAAM,OATH,oBACrB,UACA,cACA,oBAAoB,EAAE,EACtB,wBAAwB,EAAE,EAC1B,oBACA,iBACA,MAAM,YACP,EACgD;GAC/C,QAAQ;GACR,aAAa;GACb,MAAM;GACN,YAAY;GACb,CAAC;EAKA;EACA,GAAG,UAAU,iBAAiB,cAAc;EAC5C;EACD"}
+{"version":3,"file":"index.mjs","names":["allImports: TypesImportSpec[]"],"sources":["../../src/artifact-paths.ts","../../src/generate-contract-dts.ts","../../src/emit.ts"],"sourcesContent":["const JSON_EXTENSION = '.json';\n\nexport interface EmittedArtifactPaths {\n  readonly jsonPath: string;\n  readonly dtsPath: string;\n}\n\nexport function getEmittedArtifactPaths(outputJsonPath: string): EmittedArtifactPaths {\n  if (!outputJsonPath.endsWith(JSON_EXTENSION)) {\n    throw new Error('Contract output path must end with .json');\n  }\n\n  return {\n    jsonPath: outputJsonPath,\n    dtsPath: `${outputJsonPath.slice(0, -JSON_EXTENSION.length)}.d.ts`,\n  };\n}\n","import type { Contract, ContractModel, ContractValueObject } from '@prisma-next/contract/types';\nimport type { CodecLookup } from '@prisma-next/framework-components/codec';\nimport type {\n  EmissionSpi,\n  GenerateContractTypesOptions,\n  TypesImportSpec,\n} from '@prisma-next/framework-components/emission';\nimport {\n  deduplicateImports,\n  generateBothFieldTypesMaps,\n  generateCodecTypeIntersection,\n  generateHashTypeAliases,\n  generateImportLines,\n  generateModelsType,\n  generateRootsType,\n  generateValueObjectsDescriptorType,\n  generateValueObjectTypeAliases,\n  serializeExecutionType,\n  serializeValue,\n} from './domain-type-generation';\n\nexport function generateContractDts(\n  contract: Contract,\n  emitter: EmissionSpi,\n  codecTypeImports: ReadonlyArray<TypesImportSpec>,\n  operationTypeImports: ReadonlyArray<TypesImportSpec>,\n  hashes: {\n    readonly storageHash: string;\n    readonly executionHash?: string;\n    readonly profileHash: string;\n  },\n  options?: GenerateContractTypesOptions,\n  codecLookup?: CodecLookup,\n): string {\n  const allImports: TypesImportSpec[] = [...codecTypeImports, ...operationTypeImports];\n  if (options?.queryOperationTypeImports) {\n    allImports.push(...options.queryOperationTypeImports);\n  }\n  const uniqueImports = deduplicateImports(allImports);\n  const importLines = generateImportLines(uniqueImports);\n\n  const familyImportLines = emitter.getFamilyImports();\n\n  const hashAliases = generateHashTypeAliases(hashes);\n\n  const codecTypes = generateCodecTypeIntersection(codecTypeImports, 'CodecTypes');\n  const operationTypes = generateCodecTypeIntersection(operationTypeImports, 'OperationTypes');\n\n  const familyTypeAliases = emitter.getFamilyTypeAliases(options);\n\n  const typeMapsExpr = emitter.getTypeMapsExpression();\n\n  const storageType = emitter.generateStorageType(contract, 'StorageHash');\n\n  const modelsType = generateModelsType(\n    contract.models as Record<string, ContractModel>,\n    (name, model) => emitter.generateModelStorageType(name, model),\n  );\n\n  const rootsType = generateRootsType(contract.roots);\n\n  const valueObjects = contract.valueObjects as Record<string, ContractValueObject> | undefined;\n  const valueObjectTypeAliases = generateValueObjectTypeAliases(valueObjects, codecLookup);\n  const valueObjectsDescriptor = generateValueObjectsDescriptorType(valueObjects);\n\n  const executionClause =\n    contract.execution !== undefined\n      ? `\\n  readonly execution: ${serializeExecutionType(contract.execution)};`\n      : '';\n\n  const resolveFieldTypeParams = emitter.resolveFieldTypeParams\n    ? (modelName: string, fieldName: string) => {\n        const model = (contract.models as Record<string, ContractModel> | undefined)?.[modelName];\n        if (!model) return undefined;\n        return emitter.resolveFieldTypeParams?.(modelName, fieldName, model, contract);\n      }\n    : undefined;\n\n  const fieldTypesMaps = generateBothFieldTypesMaps(\n    contract.models as Record<string, ContractModel> | undefined,\n    codecLookup,\n    resolveFieldTypeParams,\n  );\n\n  const contractWrapper = emitter.getContractWrapper('ContractBase', 'TypeMaps');\n\n  return `// ⚠️  GENERATED FILE - DO NOT EDIT\n// This file is automatically generated by 'prisma-next contract emit'.\n// To regenerate, run: prisma-next contract emit\n${importLines.join('\\n')}\n\n${familyImportLines.join('\\n')}\nimport type {\n  Contract as ContractType,\n  ExecutionHashBase,\n  ProfileHashBase,\n  StorageHashBase,\n} from '@prisma-next/contract/types';\n\n${hashAliases}\n\nexport type CodecTypes = ${codecTypes};\nexport type OperationTypes = ${operationTypes};\n${familyTypeAliases}\n${valueObjectTypeAliases}\nexport type FieldOutputTypes = ${fieldTypesMaps.output};\nexport type FieldInputTypes = ${fieldTypesMaps.input};\nexport type TypeMaps = ${typeMapsExpr};\n\ntype ContractBase = ContractType<\n${storageType},\n${modelsType}\n> & {\n  readonly target: ${serializeValue(contract.target)};\n  readonly targetFamily: ${serializeValue(contract.targetFamily)};\n  readonly roots: ${rootsType};\n  readonly capabilities: ${serializeValue(contract.capabilities)};\n  readonly extensionPacks: ${serializeValue(contract.extensionPacks)};${executionClause}\n  readonly meta: ${serializeValue(contract.meta)};\n  ${valueObjects ? `readonly valueObjects: ${valueObjectsDescriptor};` : ''}\n  readonly profileHash: ProfileHash;\n};\n\n${contractWrapper}\n`;\n}\n","import { canonicalizeContractToObject } from '@prisma-next/contract/hashing';\nimport type { Contract } from '@prisma-next/contract/types';\nimport type { EmissionSpi } from '@prisma-next/framework-components/emission';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { format } from 'prettier';\nimport { getEmittedArtifactPaths } from './artifact-paths';\nimport type { EmitOptions, EmitResult, EmitStackInput } from './emit-types';\nimport { generateContractDts } from './generate-contract-dts';\n\nconst SCHEMA_VERSION = '1';\n\nexport async function emit(\n  contract: Contract,\n  stack: EmitStackInput,\n  targetFamily: EmissionSpi,\n  options?: EmitOptions,\n): Promise<EmitResult> {\n  if (options?.outputJsonPath !== undefined) {\n    getEmittedArtifactPaths(options.outputJsonPath);\n  }\n\n  const { codecTypeImports, operationTypeImports, queryOperationTypeImports } = stack;\n\n  const { storageHash } = contract.storage;\n  const executionHash = contract.execution?.executionHash;\n  const { profileHash } = contract;\n\n  const canonicalized = canonicalizeContractToObject(contract, {\n    schemaVersion: SCHEMA_VERSION,\n  });\n  const contractJsonString = JSON.stringify(\n    {\n      ...canonicalized,\n      _generated: {\n        warning: '⚠️  GENERATED FILE - DO NOT EDIT',\n        message: 'This file is automatically generated by \"prisma-next contract emit\".',\n        regenerate: 'To regenerate, run: prisma-next contract emit',\n      },\n    },\n    null,\n    2,\n  );\n\n  const generateOptions = queryOperationTypeImports ? { queryOperationTypeImports } : undefined;\n\n  const contractTypeHashes = {\n    storageHash,\n    ...ifDefined('executionHash', executionHash),\n    profileHash,\n  };\n  const contractDtsRaw = generateContractDts(\n    contract,\n    targetFamily,\n    codecTypeImports ?? [],\n    operationTypeImports ?? [],\n    contractTypeHashes,\n    generateOptions,\n    stack.codecLookup,\n  );\n  const contractDts = await format(contractDtsRaw, {\n    parser: 'typescript',\n    singleQuote: true,\n    semi: true,\n    printWidth: 100,\n  });\n\n  return {\n    contractJson: contractJsonString,\n    contractDts,\n    storageHash,\n    ...ifDefined('executionHash', executionHash),\n    profileHash,\n  };\n}\n"],"mappings":";;;;;;AAAA,MAAM,iBAAiB;AAOvB,SAAgB,wBAAwB,gBAA8C;AACpF,KAAI,CAAC,eAAe,SAAS,eAAe,CAC1C,OAAM,IAAI,MAAM,2CAA2C;AAG7D,QAAO;EACL,UAAU;EACV,SAAS,GAAG,eAAe,MAAM,GAAG,GAAuB,CAAC;EAC7D;;;;;ACMH,SAAgB,oBACd,UACA,SACA,kBACA,sBACA,QAKA,SACA,aACQ;CACR,MAAMA,aAAgC,CAAC,GAAG,kBAAkB,GAAG,qBAAqB;AACpF,KAAI,SAAS,0BACX,YAAW,KAAK,GAAG,QAAQ,0BAA0B;CAGvD,MAAM,cAAc,oBADE,mBAAmB,WAAW,CACE;CAEtD,MAAM,oBAAoB,QAAQ,kBAAkB;CAEpD,MAAM,cAAc,wBAAwB,OAAO;CAEnD,MAAM,aAAa,8BAA8B,kBAAkB,aAAa;CAChF,MAAM,iBAAiB,8BAA8B,sBAAsB,iBAAiB;CAE5F,MAAM,oBAAoB,QAAQ,qBAAqB,QAAQ;CAE/D,MAAM,eAAe,QAAQ,uBAAuB;CAEpD,MAAM,cAAc,QAAQ,oBAAoB,UAAU,cAAc;CAExE,MAAM,aAAa,mBACjB,SAAS,SACR,MAAM,UAAU,QAAQ,yBAAyB,MAAM,MAAM,CAC/D;CAED,MAAM,YAAY,kBAAkB,SAAS,MAAM;CAEnD,MAAM,eAAe,SAAS;CAC9B,MAAM,yBAAyB,+BAA+B,cAAc,YAAY;CACxF,MAAM,yBAAyB,mCAAmC,aAAa;CAE/E,MAAM,kBACJ,SAAS,cAAc,SACnB,2BAA2B,uBAAuB,SAAS,UAAU,CAAC,KACtE;CAEN,MAAM,yBAAyB,QAAQ,0BAClC,WAAmB,cAAsB;EACxC,MAAM,QAAS,SAAS,SAAuD;AAC/E,MAAI,CAAC,MAAO,QAAO;AACnB,SAAO,QAAQ,yBAAyB,WAAW,WAAW,OAAO,SAAS;KAEhF;CAEJ,MAAM,iBAAiB,2BACrB,SAAS,QACT,aACA,uBACD;CAED,MAAM,kBAAkB,QAAQ,mBAAmB,gBAAgB,WAAW;AAE9E,QAAO;;;EAGP,YAAY,KAAK,KAAK,CAAC;;EAEvB,kBAAkB,KAAK,KAAK,CAAC;;;;;;;;EAQ7B,YAAY;;2BAEa,WAAW;+BACP,eAAe;EAC5C,kBAAkB;EAClB,uBAAuB;iCACQ,eAAe,OAAO;gCACvB,eAAe,MAAM;yBAC5B,aAAa;;;EAGpC,YAAY;EACZ,WAAW;;qBAEQ,eAAe,SAAS,OAAO,CAAC;2BAC1B,eAAe,SAAS,aAAa,CAAC;oBAC7C,UAAU;2BACH,eAAe,SAAS,aAAa,CAAC;6BACpC,eAAe,SAAS,eAAe,CAAC,GAAG,gBAAgB;mBACrE,eAAe,SAAS,KAAK,CAAC;IAC7C,eAAe,0BAA0B,uBAAuB,KAAK,GAAG;;;;EAI1E,gBAAgB;;;;;;AClHlB,MAAM,iBAAiB;AAEvB,eAAsB,KACpB,UACA,OACA,cACA,SACqB;AACrB,KAAI,SAAS,mBAAmB,OAC9B,yBAAwB,QAAQ,eAAe;CAGjD,MAAM,EAAE,kBAAkB,sBAAsB,8BAA8B;CAE9E,MAAM,EAAE,gBAAgB,SAAS;CACjC,MAAM,gBAAgB,SAAS,WAAW;CAC1C,MAAM,EAAE,gBAAgB;CAExB,MAAM,gBAAgB,6BAA6B,UAAU,EAC3D,eAAe,gBAChB,CAAC;CACF,MAAM,qBAAqB,KAAK,UAC9B;EACE,GAAG;EACH,YAAY;GACV,SAAS;GACT,SAAS;GACT,YAAY;GACb;EACF,EACD,MACA,EACD;CAED,MAAM,kBAAkB,4BAA4B,EAAE,2BAA2B,GAAG;CAEpF,MAAM,qBAAqB;EACzB;EACA,GAAG,UAAU,iBAAiB,cAAc;EAC5C;EACD;AAiBD,QAAO;EACL,cAAc;EACd,aATkB,MAAM,OATH,oBACrB,UACA,cACA,oBAAoB,EAAE,EACtB,wBAAwB,EAAE,EAC1B,oBACA,iBACA,MAAM,YACP,EACgD;GAC/C,QAAQ;GACR,aAAa;GACb,MAAM;GACN,YAAY;GACb,CAAC;EAKA;EACA,GAAG,UAAU,iBAAiB,cAAc;EAC5C;EACD"}

package/package.json

@@ -1,20 +1,20 @@
 {
   "name": "@prisma-next/emitter",
-  "version": "0.5.0-dev.6",
+  "version": "0.5.0-dev.61",
+  "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "files": [
     "dist",
-    "src",
-    "test"
+    "src"
   ],
   "dependencies": {
     "arktype": "^2.0.0",
     "prettier": "^3.3.3",
-    "@prisma-next/framework-components": "0.5.0-dev.6",
-    "@prisma-next/contract": "0.5.0-dev.6",
-    "@prisma-next/operations": "0.5.0-dev.6",
-    "@prisma-next/utils": "0.5.0-dev.6"
+    "@prisma-next/framework-components": "0.5.0-dev.61",
+    "@prisma-next/contract": "0.5.0-dev.61",
+    "@prisma-next/operations": "0.5.0-dev.61",
+    "@prisma-next/utils": "0.5.0-dev.61"
   },
   "devDependencies": {
     "@types/node": "24.10.4",

package/src/domain-type-generation.ts

@@ -225,22 +225,33 @@ function applyModifiers(base: string, field: ContractField): string {
   return result;
 }
 
+/**
+ * Per-family resolver for typeParams that don't live inline on the framework-domain `ContractField`. SQL columns authored via a named `storage.types` entry carry their `typeRef` on the storage column (family-specific) rather than on the framework's domain field; the per-family emitter walks `storage.types[ref].typeParams` here so the framework emit path can render the parameterized output type.
+ *
+ * Returns `undefined` when the field has no resolvable typeParams (i.e. the column isn't parameterized, isn't a `typeRef`, or the family doesn't support named storage types).
+ */
+export type FieldTypeParamsResolver = (
+  modelName: string,
+  fieldName: string,
+) => Record<string, unknown> | undefined;
+
 export function resolveFieldType(
   field: ContractField,
   codecLookup?: CodecLookup,
+  resolvedTypeParams?: Record<string, unknown>,
 ): ResolvedFieldType {
   const { type } = field;
 
   switch (type.kind) {
     case 'scalar': {
       let outputResolved: string | undefined;
-      if (codecLookup && type.typeParams && Object.keys(type.typeParams).length > 0) {
-        const codec = codecLookup.get(type.codecId);
-        if (codec?.renderOutputType) {
-          const rendered = codec.renderOutputType(type.typeParams);
-          if (rendered && isSafeTypeExpression(rendered)) {
-            outputResolved = rendered;
-          }
+      const inlineTypeParams =
+        type.typeParams && Object.keys(type.typeParams).length > 0 ? type.typeParams : undefined;
+      const effectiveTypeParams = inlineTypeParams ?? resolvedTypeParams;
+      if (codecLookup && effectiveTypeParams && Object.keys(effectiveTypeParams).length > 0) {
+        const rendered = codecLookup.renderOutputTypeFor(type.codecId, effectiveTypeParams);
+        if (rendered && isSafeTypeExpression(rendered)) {
+          outputResolved = rendered;
         }
       }
       const codecAccessor = `CodecTypes[${serializeValue(type.codecId)}]`;
@@ -289,6 +300,7 @@ export function generateFieldResolvedType(
 export function generateBothFieldTypesMaps(
   models: Record<string, ContractModel> | undefined,
   codecLookup?: CodecLookup,
+  resolveFieldTypeParams?: FieldTypeParamsResolver,
 ): ResolvedFieldType {
   if (!models || Object.keys(models).length === 0) {
     return { output: 'Record<string, never>', input: 'Record<string, never>' };
@@ -301,7 +313,14 @@ export function generateBothFieldTypesMaps(
     const outputFieldEntries: string[] = [];
     const inputFieldEntries: string[] = [];
     for (const [fieldName, field] of Object.entries(model.fields)) {
-      const resolved = resolveFieldType(field, codecLookup);
+      const inlineTypeParams =
+        field.type.kind === 'scalar' &&
+        field.type.typeParams &&
+        Object.keys(field.type.typeParams).length > 0
+          ? field.type.typeParams
+          : undefined;
+      const resolvedTypeParams = inlineTypeParams ?? resolveFieldTypeParams?.(modelName, fieldName);
+      const resolved = resolveFieldType(field, codecLookup, resolvedTypeParams);
       const key = `readonly ${serializeObjectKey(fieldName)}`;
       outputFieldEntries.push(`${key}: ${resolved.output}`);
       inputFieldEntries.push(`${key}: ${resolved.input}`);
@@ -328,15 +347,17 @@ export function generateBothFieldTypesMaps(
 export function generateFieldOutputTypesMap(
   models: Record<string, ContractModel> | undefined,
   codecLookup?: CodecLookup,
+  resolveFieldTypeParams?: FieldTypeParamsResolver,
 ): string {
-  return generateBothFieldTypesMaps(models, codecLookup).output;
+  return generateBothFieldTypesMaps(models, codecLookup, resolveFieldTypeParams).output;
 }
 
 export function generateFieldInputTypesMap(
   models: Record<string, ContractModel> | undefined,
   codecLookup?: CodecLookup,
+  resolveFieldTypeParams?: FieldTypeParamsResolver,
 ): string {
-  return generateBothFieldTypesMaps(models, codecLookup).input;
+  return generateBothFieldTypesMaps(models, codecLookup, resolveFieldTypeParams).input;
 }
 
 export function generateValueObjectType(

package/src/generate-contract-dts.ts

@@ -68,9 +68,18 @@ export function generateContractDts(
       ? `\n  readonly execution: ${serializeExecutionType(contract.execution)};`
       : '';
 
+  const resolveFieldTypeParams = emitter.resolveFieldTypeParams
+    ? (modelName: string, fieldName: string) => {
+        const model = (contract.models as Record<string, ContractModel> | undefined)?.[modelName];
+        if (!model) return undefined;
+        return emitter.resolveFieldTypeParams?.(modelName, fieldName, model, contract);
+      }
+    : undefined;
+
   const fieldTypesMaps = generateBothFieldTypesMaps(
     contract.models as Record<string, ContractModel> | undefined,
     codecLookup,
+    resolveFieldTypeParams,
   );
 
   const contractWrapper = emitter.getContractWrapper('ContractBase', 'TypeMaps');