@prisma/orm-family-sql 8.0.0-rc.18-dev.41 → 8.0.0-rc.18-dev.43

package/dist/pack-NM8AYiUp.mjs

@@ -0,0 +1,80 @@
+import { f as sqlExpressionRegistration } from "./sql-expression-BJCuy-WI.mjs";
+import { b as sqlAttributeSpecs } from "./psl-field-resolution-DpGsATq3-BREG9FbU.mjs";
+import { a as sqlFamilyGeneratorDescriptors, i as sqlFamilyEntityTypes, n as sqlFamilyAuthoringFieldPresets, o as sqlFamilyGeneratorFunctions, r as sqlFamilyAuthoringTypes, s as sqlFamilyPslBlockDescriptors } from "./generator-functions-DuDZSQHE-BbKhsXck.mjs";
+import { TEMPORAL_ON_CREATE_ARG, TEMPORAL_ON_UPDATE_ARG, TIMESTAMP_NOW_GENERATOR_ID, temporalAuthoringPresets, temporalPhaseTemplate, temporalPhaseTemplateWithParams } from "@prisma/orm-framework/components/authoring";
+//#region ../../../2-sql/9-family/dist/pack.mjs
+function temporalStringAuthoringPresets(input) {
+	const presets = temporalAuthoringPresets(input);
+	return {
+		createdAtString: presets.createdAt,
+		updatedAtString: presets.updatedAt
+	};
+}
+const PRECISION_PARAMS = { precision: {
+	kind: "arg",
+	index: 0
+} };
+/**
+* Builds a `temporal.<codec>` field preset for a codec that takes a precision
+* parameter (`pg/timestamp-temporal@1`, `pg/timestamptz-temporal@1`). Arguments change field
+* properties only — never the codec, which the caller fixes here.
+*
+* All three arguments are optional: omitting `precision` omits `typeParams`
+* entirely, and omitting a phase omits that phase (both omitted omits
+* `executionDefaults`). With `nowTakesPrecision`, the generator a `now` selects
+* also receives the precision as its `precision` param, so it can write a value
+* the column stores without rounding.
+*/
+/* @__NO_SIDE_EFFECTS__ */
+function temporalCodecPresetWithPrecision(input) {
+	const generatorId = input.generatorId ?? TIMESTAMP_NOW_GENERATOR_ID;
+	const phase = (index) => input.nowTakesPrecision === true ? temporalPhaseTemplateWithParams(index, generatorId, PRECISION_PARAMS) : temporalPhaseTemplate(index, generatorId);
+	return {
+		kind: "fieldPreset",
+		args: [
+			{
+				name: "precision",
+				kind: "value",
+				dataType: input.sizeType,
+				optional: true
+			},
+			TEMPORAL_ON_CREATE_ARG,
+			TEMPORAL_ON_UPDATE_ARG
+		],
+		output: {
+			codecId: input.codecId,
+			typeParams: { precision: {
+				kind: "arg",
+				index: 0
+			} },
+			executionDefaults: {
+				onCreate: phase(1),
+				onUpdate: phase(2)
+			}
+		}
+	};
+}
+const sqlFamilyPack = {
+	kind: "family",
+	id: "sql",
+	familyId: "sql",
+	version: "0.0.1",
+	dataTypes: sqlExpressionRegistration.dataTypes,
+	authoring: {
+		field: sqlFamilyAuthoringFieldPresets,
+		type: sqlFamilyAuthoringTypes,
+		dataTypes: sqlExpressionRegistration.authoring.dataTypes,
+		entityTypes: sqlFamilyEntityTypes,
+		pslBlockDescriptors: sqlFamilyPslBlockDescriptors,
+		attributeSpecs: sqlAttributeSpecs
+	},
+	generatorFunctions: sqlFamilyGeneratorFunctions,
+	controlMutationDefaults: {
+		defaultFunctionRegistry: /* @__PURE__ */ new Map(),
+		generatorDescriptors: sqlFamilyGeneratorDescriptors
+	}
+};
+//#endregion
+export { temporalCodecPresetWithPrecision as n, temporalStringAuthoringPresets as r, sqlFamilyPack as t };
+
+//# sourceMappingURL=pack-NM8AYiUp.mjs.map

package/dist/pack-NM8AYiUp.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"pack-NM8AYiUp.mjs","names":[],"sources":["../../../../2-sql/9-family/dist/pack.mjs"],"sourcesContent":["import { a as sqlFamilyAuthoringTypes, c as sqlFamilyEntityTypes, i as sqlIntegerArgumentGeneratorFunctions, l as sqlFamilyPslBlockDescriptors, n as sqlFamilyGeneratorDescriptors, o as sqlTargetTypeConstructors, r as sqlFamilyGeneratorFunctions, s as sqlFamilyAuthoringFieldPresets, t as idGeneratorFunctionBindings } from \"./generator-functions-DuDZSQHE.mjs\";\nimport { sqlExpressionRegistration } from \"@internal/sql-contract/sql-expression\";\nimport { sqlAttributeSpecs } from \"@internal/sql-contract-psl/attribute-specs\";\nimport { TEMPORAL_ON_CREATE_ARG, TEMPORAL_ON_UPDATE_ARG, TIMESTAMP_NOW_GENERATOR_ID, temporalAuthoringPresets, temporalPhaseTemplate, temporalPhaseTemplateWithParams } from \"@internal/framework-components/authoring\";\n//#region src/core/timestamp-now-generator.ts\nfunction temporalStringAuthoringPresets(input) {\n\tconst presets = temporalAuthoringPresets(input);\n\treturn {\n\t\tcreatedAtString: presets.createdAt,\n\t\tupdatedAtString: presets.updatedAt\n\t};\n}\nconst PRECISION_PARAMS = { precision: {\n\tkind: \"arg\",\n\tindex: 0\n} };\n/**\n* Builds a `temporal.<codec>` field preset for a codec that takes a precision\n* parameter (`pg/timestamp-temporal@1`, `pg/timestamptz-temporal@1`). Arguments change field\n* properties only — never the codec, which the caller fixes here.\n*\n* All three arguments are optional: omitting `precision` omits `typeParams`\n* entirely, and omitting a phase omits that phase (both omitted omits\n* `executionDefaults`). With `nowTakesPrecision`, the generator a `now` selects\n* also receives the precision as its `precision` param, so it can write a value\n* the column stores without rounding.\n*/\n/* @__NO_SIDE_EFFECTS__ */\nfunction temporalCodecPresetWithPrecision(input) {\n\tconst generatorId = input.generatorId ?? TIMESTAMP_NOW_GENERATOR_ID;\n\tconst phase = (index) => input.nowTakesPrecision === true ? temporalPhaseTemplateWithParams(index, generatorId, PRECISION_PARAMS) : temporalPhaseTemplate(index, generatorId);\n\treturn {\n\t\tkind: \"fieldPreset\",\n\t\targs: [\n\t\t\t{\n\t\t\t\tname: \"precision\",\n\t\t\t\tkind: \"value\",\n\t\t\t\tdataType: input.sizeType,\n\t\t\t\toptional: true\n\t\t\t},\n\t\t\tTEMPORAL_ON_CREATE_ARG,\n\t\t\tTEMPORAL_ON_UPDATE_ARG\n\t\t],\n\t\toutput: {\n\t\t\tcodecId: input.codecId,\n\t\t\ttypeParams: { precision: {\n\t\t\t\tkind: \"arg\",\n\t\t\t\tindex: 0\n\t\t\t} },\n\t\t\texecutionDefaults: {\n\t\t\t\tonCreate: phase(1),\n\t\t\t\tonUpdate: phase(2)\n\t\t\t}\n\t\t}\n\t};\n}\n//#endregion\n//#region src/exports/pack.ts\nconst sqlFamilyPack = {\n\tkind: \"family\",\n\tid: \"sql\",\n\tfamilyId: \"sql\",\n\tversion: \"0.0.1\",\n\tdataTypes: sqlExpressionRegistration.dataTypes,\n\tauthoring: {\n\t\tfield: sqlFamilyAuthoringFieldPresets,\n\t\ttype: sqlFamilyAuthoringTypes,\n\t\tdataTypes: sqlExpressionRegistration.authoring.dataTypes,\n\t\tentityTypes: sqlFamilyEntityTypes,\n\t\tpslBlockDescriptors: sqlFamilyPslBlockDescriptors,\n\t\tattributeSpecs: sqlAttributeSpecs\n\t},\n\tgeneratorFunctions: sqlFamilyGeneratorFunctions,\n\tcontrolMutationDefaults: {\n\t\tdefaultFunctionRegistry: /* @__PURE__ */ new Map(),\n\t\tgeneratorDescriptors: sqlFamilyGeneratorDescriptors\n\t}\n};\n//#endregion\nexport { sqlFamilyPack as default, idGeneratorFunctionBindings, sqlIntegerArgumentGeneratorFunctions, sqlTargetTypeConstructors, temporalCodecPresetWithPrecision, temporalStringAuthoringPresets };\n\n//# sourceMappingURL=pack.mjs.map"],"mappings":";;;;;AAKA,SAAS,+BAA+B,OAAO;CAC9C,MAAM,UAAU,yBAAyB,KAAK;CAC9C,OAAO;EACN,iBAAiB,QAAQ;EACzB,iBAAiB,QAAQ;CAC1B;AACD;AACA,MAAM,mBAAmB,EAAE,WAAW;CACrC,MAAM;CACN,OAAO;AACR,EAAE;;;;;;;;;;;;;AAaF,SAAS,iCAAiC,OAAO;CAChD,MAAM,cAAc,MAAM,eAAe;CACzC,MAAM,SAAS,UAAU,MAAM,sBAAsB,OAAO,gCAAgC,OAAO,aAAa,gBAAgB,IAAI,sBAAsB,OAAO,WAAW;CAC5K,OAAO;EACN,MAAM;EACN,MAAM;GACL;IACC,MAAM;IACN,MAAM;IACN,UAAU,MAAM;IAChB,UAAU;GACX;GACA;GACA;EACD;EACA,QAAQ;GACP,SAAS,MAAM;GACf,YAAY,EAAE,WAAW;IACxB,MAAM;IACN,OAAO;GACR,EAAE;GACF,mBAAmB;IAClB,UAAU,MAAM,CAAC;IACjB,UAAU,MAAM,CAAC;GAClB;EACD;CACD;AACD;AAGA,MAAM,gBAAgB;CACrB,MAAM;CACN,IAAI;CACJ,UAAU;CACV,SAAS;CACT,WAAW,0BAA0B;CACrC,WAAW;EACV,OAAO;EACP,MAAM;EACN,WAAW,0BAA0B,UAAU;EAC/C,aAAa;EACb,qBAAqB;EACrB,gBAAgB;CACjB;CACA,oBAAoB;CACpB,yBAAyB;EACxB,yCAAyC,IAAI,IAAI;EACjD,sBAAsB;CACvB;AACD"}

package/dist/{psl-build-BkNvqSMz.d.mts → psl-build-C4ia2uM6.d.mts}

@@ -1,8 +1,8 @@
 import { u as SqlColumnIR } from "./types-DiD6BqoN-ZF53hwPp.mjs";
 import "./types-D_nlUp-1.mjs";
 import { i as SqlDataType, l as SqlTypeParams } from "./data-type-BacIoCfv.mjs";
-import "./default-mapping-CP8q4TfH-CF6eJMej.mjs";
-import { AuthoringTypeConstructorCall, AuthoringTypeConstructorDescriptor, AuthoringTypeNamespace } from "@prisma/orm-framework/components/authoring";
+import "./default-mapping-CAOONlKQ-v7GTIkjE.mjs";
+import { AuthoringTypeConstructorCall, AuthoringTypeConstructorDescriptor, AuthoringTypeNamespace, DataTypeSupport } from "@prisma/orm-framework/components/authoring";
 import { CodecLookupWithDescriptors, DataTypeLookup } from "@prisma/orm-framework/components/codec";
 import { ExecutionMutationDefaultPhases, ExecutionMutationDefaultValue } from "@prisma/orm-framework/contract/types";
 import { GeneratorFunctionField, GeneratorFunctionRegistry, GeneratorPhase } from "@prisma/orm-framework/components/components";
@@ -30,16 +30,16 @@ declare function inferredTypeConstructors(input: {
  */
 declare function fewestArgumentsCall(marked: InferredTypeConstructor, params: SqlTypeParams): AuthoringTypeConstructorCall | undefined;
 /**
- * A type constructor argument as PSL writes it: a number or boolean as written, a string between quotes.
- * Undefined for any other value, such as an array or an object, and for a string PSL cannot carry, because a quote, backslash or line break in it would read back differently.
+ * Each argument of a call to `descriptor` as PSL writes it: a value argument as a literal of its data type that reads back as the same value. `undefined` when an argument is not a value argument or no literal reads back as it.
  */
-declare function pslTypeArgumentText(value: unknown): string | undefined;
+declare function writtenTypeArguments(descriptor: AuthoringTypeConstructorDescriptor, args: readonly unknown[], dataTypes: DataTypeSupport): readonly string[] | undefined;
 //#endregion
 //#region src/core/psl-build/column-types.d.ts
-/** A call to a type constructor as PSL writes it: the constructor's path and its arguments' text. */
+/** A call to a type constructor as PSL writes it: the constructor's path, its arguments' text, and the value each argument gives the constructor. */
 interface PslTypeCall {
   readonly path: readonly string[];
   readonly args: readonly string[];
+  readonly values: readonly unknown[];
 }
 /** The PSL type `contract infer` writes for a column that is not an enum, by table and column name. */
 type ColumnTypeOf = (tableName: string, columnName: string) => PslTypeCall;
@@ -58,6 +58,8 @@ interface IntrospectedTable {
 declare function inferColumnTypes(input: {
   readonly tables: readonly IntrospectedTable[];
   readonly constructors: InferredTypeConstructors;
+  /** The stack's data types, whose literals write each argument. */
+  readonly dataTypes: DataTypeSupport;
   readonly isEnumColumn: (column: SqlColumnIR) => boolean;
 }): ColumnTypeOf;
 //#endregion
@@ -106,5 +108,5 @@ declare function generatorCallsFor(input: {
  */
 declare function toEnumMemberName(value: string): string;
 //#endregion
-export { InferredTypeConstructors as a, PslTypeCall as c, inferColumnTypes as d, inferredTypeConstructors as f, InferredTypeConstructor as i, fewestArgumentsCall as l, toEnumMemberName as m, GeneratorCallRefusal as n, IntrospectedTable as o, pslTypeArgumentText as p, GeneratorCallsResult as r, PhaseCallText as s, ColumnTypeOf as t, generatorCallsFor as u };
-//# sourceMappingURL=psl-build-BkNvqSMz.d.mts.map
+export { InferredTypeConstructors as a, PslTypeCall as c, inferColumnTypes as d, inferredTypeConstructors as f, InferredTypeConstructor as i, fewestArgumentsCall as l, writtenTypeArguments as m, GeneratorCallRefusal as n, IntrospectedTable as o, toEnumMemberName as p, GeneratorCallsResult as r, PhaseCallText as s, ColumnTypeOf as t, generatorCallsFor as u };
+//# sourceMappingURL=psl-build-C4ia2uM6.d.mts.map

package/dist/psl-build-C4ia2uM6.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"psl-build-C4ia2uM6.d.mts","names":[],"sources":["../../../../2-sql/9-family/dist/psl-build.d.mts"],"mappings":";;;;;;;;;;;UASU;WACC;WACA,YAAY;WACZ,UAAU;;;KAGhB,2BAA2B,oBAAoB;;iBAEnC,yBAAyB;WAC/B,gBAAgB;WAChB,aAAa,KAAK;WAClB,gBAAgB;IACvB;;;;;;;iBAOa,oBAAoB,QAAQ,yBAAyB,QAAQ,gBAAgB;;;;iBAI7E,qBAAqB,YAAY,oCAAoC,0BAA0B,WAAW;;;;UAIjH;WACC;WACA;WACA;;;KAGN,gBAAgB,mBAAmB,uBAAuB;;UAErD;WACC;WACA;WACA,kBAAkB;;;;;;;;iBAQZ,iBAAiB;WACvB,iBAAiB;WACjB,cAAc;;WAEd,WAAW;WACX,eAAe,QAAQ;IAC9B;;;;UAIM;WACC,OAAO;WACP;;KAEN;WACM;WACA,OAAO;WACP,WAAW;;WAEX;WACA,OAAO;WACP,WAAW;WACX;WACA,UAAU;;WAEV;;KAEN;WACM;WACA,gBAAgB;;WAEhB;WACA,SAAS;;;;;iBAKH,kBAAkB;WACxB,kBAAkB;WAClB,OAAO;WACP;WACA,oBAAoB;IAC3B;;;;;;;;;iBASa,iBAAiB"}

package/dist/{psl-build-BSZQ8lC1.mjs → psl-build-D5VG40ej.mjs}

@@ -6,113 +6,9 @@ import { t as sqlFamilyError } from "./errors-B5g0xWro-mWH2C07F.mjs";
 import { authoringTypeConstructorArguments, authoringTypeConstructors, castTypedValue, instantiateAuthoringTypeConstructor, printTaggedLiteral, readWrittenValue } from "@prisma/orm-framework/components/authoring";
 import { dataTypeId, dataTypeParams } from "@prisma/orm-framework/components/codec";
 import { canonicalizeJson } from "@prisma/orm-framework/components/utils";
+import { blindCast } from "@prisma/orm-framework/utils/casts";
 import { InternalError, isInternalError } from "@prisma/orm-framework/utils/internal-error";
 //#region ../../../2-sql/9-family/dist/psl-build.mjs
-/** Every constructor of `authoringTypes` marked `inferred`, by the data type its codec represents. */
-function inferredTypeConstructors(input) {
-	const found = /* @__PURE__ */ new Map();
-	for (const { path, descriptor } of authoringTypeConstructors(input.authoringTypes)) {
-		if (descriptor.inferred !== true) continue;
-		const dataTypeId = input.codecLookup.descriptorFor(descriptor.output.codecId)?.dataType;
-		const dataType = dataTypeId === void 0 ? void 0 : input.dataTypeLookup.get(dataTypeId);
-		if (dataType === void 0 || !isSqlDataType(dataType)) continue;
-		found.set(dataType.id, {
-			path,
-			descriptor,
-			dataType
-		});
-	}
-	return found;
-}
-function normalParams(marked, args) {
-	try {
-		const { typeParams } = instantiateAuthoringTypeConstructor(marked.descriptor, args);
-		const params = dataTypeParams(marked.dataType, typeParams);
-		return canonicalizeJson(marked.dataType.sql.normalize(params));
-	} catch (error) {
-		if (isInternalError(error)) throw error;
-		return;
-	}
-}
-/**
-* The call to `marked` with the fewest arguments that produces `params`, the normal form of a
-* column's data type parameters: arguments are dropped from the end while the normal form of what
-* the call produces stays `params`. Undefined when the constructor cannot produce them, such as one
-* whose argument names another entity.
-*/
-function fewestArgumentsCall(marked, params) {
-	const all = authoringTypeConstructorArguments(marked.descriptor, {
-		codecId: marked.descriptor.output.codecId,
-		typeParams: params
-	});
-	if (all === void 0) return void 0;
-	const wanted = canonicalizeJson(params);
-	const args = [...all];
-	while (args.length > 0 && normalParams(marked, args.slice(0, -1)) === wanted) args.pop();
-	return {
-		path: marked.path,
-		args
-	};
-}
-/**
-* A type constructor argument as PSL writes it: a number or boolean as written, a string between quotes.
-* Undefined for any other value, such as an array or an object, and for a string PSL cannot carry, because a quote, backslash or line break in it would read back differently.
-*/
-function pslTypeArgumentText(value) {
-	if (typeof value === "number" || typeof value === "boolean") return String(value);
-	if (typeof value !== "string") return void 0;
-	return escapePslString(value) === value ? `"${value}"` : void 0;
-}
-/** The type the database reported for `column`, which introspection always records. */
-function reportedTypeOf(column, tableName) {
-	if (column.reportedType === void 0) throw new InternalError(`contract infer read column "${tableName}"."${column.name}" without the type the database reported for it.`);
-	return column.reportedType;
-}
-function writtenCall(constructors, dataTypes, reported) {
-	const resolved = resolveReportedSqlType(reported, dataTypes);
-	const marked = resolved && constructors.get(resolved.dataType.id);
-	const call = resolved && marked && fewestArgumentsCall(marked, resolved.typeParams);
-	if (call === void 0) return void 0;
-	const args = call.args.map(pslTypeArgumentText);
-	return args.every((arg) => arg !== void 0) ? {
-		path: call.path,
-		args
-	} : void 0;
-}
-/**
-* The type of every column of `tables` that `isEnumColumn` does not claim: the call, with the
-* fewest arguments, to the constructor marked `inferred` for the data type that claims the
-* column's reported type. When any column has no such call, throws
-* `CONTRACT.INFER_COLUMN_TYPE_UNCLAIMED` listing every one of them.
-*/
-function inferColumnTypes(input) {
-	const dataTypes = [...input.constructors.values()].map((marked) => marked.dataType);
-	const types = /* @__PURE__ */ new Map();
-	const unclaimed = [];
-	for (const { schemaName, tableName, columns } of input.tables) for (const column of columns) {
-		if (input.isEnumColumn(column)) continue;
-		const reported = reportedTypeOf(column, tableName);
-		const call = writtenCall(input.constructors, dataTypes, reported);
-		if (call === void 0) {
-			unclaimed.push(`${schemaName}.${tableName}.${column.name}: ${reported.text}${column.many === true ? "[]" : ""}`);
-			continue;
-		}
-		types.set(JSON.stringify([tableName, column.name]), call);
-	}
-	if (unclaimed.length > 0) {
-		const columns = unclaimed.sort();
-		throw sqlFamilyError("CONTRACT.INFER_COLUMN_TYPE_UNCLAIMED", ["contract infer: Prisma 8 cannot write these column types with the configured stack:", ...columns.map((line) => `  ${line}`)].join("\n"), {
-			why: "Prisma 8 reads a column type only through a data type that the target or an extension pack declares.",
-			fix: `No configured pack has a type for these columns. If a type comes from a database extension that has a Prisma 8 pack, add the pack to extensions in prisma.config.ts. Otherwise, to keep such a column, write the schema by hand and declare its field as Raw("<type>") with the type as listed, or change the column's type or remove the column from the database.`,
-			meta: { columns }
-		});
-	}
-	return (tableName, columnName) => {
-		const type = types.get(JSON.stringify([tableName, columnName]));
-		if (type === void 0) throw new InternalError(`contract infer resolved no type for "${tableName}"."${columnName}".`);
-		return type;
-	};
-}
 const DEFAULT_FUNCTION_ATTRIBUTES = {
 	"autoincrement()": "@default(autoincrement())",
 	"now()": "@default(now())"
@@ -270,6 +166,15 @@ function writeScalar(value, column, surface) {
 		return literalText(entry, text);
 	}
 }
+/**
+* `value`, a value of `dataType` as `contract.json` stores it, written as the literal of a type that `dataType` takes, proven to read back as `value`: `255` for `pg/int4`, ``sql`"MyType"[]` `` for `sql/expression`. `undefined` when no literal reads back as it.
+*/
+function writeDataTypeValue(value, dataType, support) {
+	return writeScalar(value, {
+		id: dataType,
+		params: {}
+	}, writingSurface(support));
+}
 const DECIMAL_WITH_FRACTION = /^-?\d+\.\d+$/;
 function withoutTrailingFractionZeros(value) {
 	if (typeof value !== "string" || !DECIMAL_WITH_FRACTION.test(value)) return void 0;
@@ -357,6 +262,116 @@ function sameForm(left, right) {
 		return other !== void 0 && sameForm(member, other);
 	});
 }
+/** Every constructor of `authoringTypes` marked `inferred`, by the data type its codec represents. */
+function inferredTypeConstructors(input) {
+	const found = /* @__PURE__ */ new Map();
+	for (const { path, descriptor } of authoringTypeConstructors(input.authoringTypes)) {
+		if (descriptor.inferred !== true) continue;
+		const dataTypeId = input.codecLookup.descriptorFor(descriptor.output.codecId)?.dataType;
+		const dataType = dataTypeId === void 0 ? void 0 : input.dataTypeLookup.get(dataTypeId);
+		if (dataType === void 0 || !isSqlDataType(dataType)) continue;
+		found.set(dataType.id, {
+			path,
+			descriptor,
+			dataType
+		});
+	}
+	return found;
+}
+function normalParams(marked, args) {
+	try {
+		const { typeParams } = instantiateAuthoringTypeConstructor(marked.descriptor, args);
+		const params = dataTypeParams(marked.dataType, typeParams);
+		return canonicalizeJson(marked.dataType.sql.normalize(params));
+	} catch (error) {
+		if (isInternalError(error)) throw error;
+		return;
+	}
+}
+/**
+* The call to `marked` with the fewest arguments that produces `params`, the normal form of a
+* column's data type parameters: arguments are dropped from the end while the normal form of what
+* the call produces stays `params`. Undefined when the constructor cannot produce them, such as one
+* whose argument names another entity.
+*/
+function fewestArgumentsCall(marked, params) {
+	const all = authoringTypeConstructorArguments(marked.descriptor, {
+		codecId: marked.descriptor.output.codecId,
+		typeParams: params
+	});
+	if (all === void 0) return void 0;
+	const wanted = canonicalizeJson(params);
+	const args = [...all];
+	while (args.length > 0 && normalParams(marked, args.slice(0, -1)) === wanted) args.pop();
+	return {
+		path: marked.path,
+		args
+	};
+}
+/**
+* Each argument of a call to `descriptor` as PSL writes it: a value argument as a literal of its data type that reads back as the same value. `undefined` when an argument is not a value argument or no literal reads back as it.
+*/
+function writtenTypeArguments(descriptor, args, dataTypes) {
+	const written = [];
+	for (const [index, value] of args.entries()) {
+		const argument = descriptor.args?.[index];
+		if (argument?.kind !== "value") return void 0;
+		const text = writeDataTypeValue(blindCast(value), dataTypeId(argument.dataType), dataTypes);
+		if (text === void 0) return void 0;
+		written.push(text);
+	}
+	return written;
+}
+/** The type the database reported for `column`, which introspection always records. */
+function reportedTypeOf(column, tableName) {
+	if (column.reportedType === void 0) throw new InternalError(`contract infer read column "${tableName}"."${column.name}" without the type the database reported for it.`);
+	return column.reportedType;
+}
+function writtenCall(constructors, dataTypes, support, reported) {
+	const resolved = resolveReportedSqlType(reported, dataTypes);
+	const marked = resolved && constructors.get(resolved.dataType.id);
+	const call = resolved && marked && fewestArgumentsCall(marked, resolved.typeParams);
+	const args = call && marked && writtenTypeArguments(marked.descriptor, call.args, support);
+	return call && args && {
+		path: call.path,
+		args,
+		values: call.args
+	};
+}
+/**
+* The type of every column of `tables` that `isEnumColumn` does not claim: the call, with the
+* fewest arguments, to the constructor marked `inferred` for the data type that claims the
+* column's reported type. When any column has no such call, throws
+* `CONTRACT.INFER_COLUMN_TYPE_UNCLAIMED` listing every one of them.
+*/
+function inferColumnTypes(input) {
+	const dataTypes = [...input.constructors.values()].map((marked) => marked.dataType);
+	const types = /* @__PURE__ */ new Map();
+	const unclaimed = [];
+	for (const { schemaName, tableName, columns } of input.tables) for (const column of columns) {
+		if (input.isEnumColumn(column)) continue;
+		const reported = reportedTypeOf(column, tableName);
+		const call = writtenCall(input.constructors, dataTypes, input.dataTypes, reported);
+		if (call === void 0) {
+			unclaimed.push(`${schemaName}.${tableName}.${column.name}: ${reported.text}${column.many === true ? "[]" : ""}`);
+			continue;
+		}
+		types.set(JSON.stringify([tableName, column.name]), call);
+	}
+	if (unclaimed.length > 0) {
+		const columns = unclaimed.sort();
+		throw sqlFamilyError("CONTRACT.INFER_COLUMN_TYPE_UNCLAIMED", ["contract infer: Prisma 8 cannot write these column types with the configured stack:", ...columns.map((line) => `  ${line}`)].join("\n"), {
+			why: "Prisma 8 reads a column type only through a data type that the target or an extension pack declares.",
+			fix: `No configured pack has a type for these columns. If a type comes from a database extension that has a Prisma 8 pack, add the pack to extensions in prisma.config.ts. Otherwise, to keep such a column, write the schema by hand and declare its field as Raw(sql\`<type>\`) with the type as listed, or change the column's type or remove the column from the database.`,
+			meta: { columns }
+		});
+	}
+	return (tableName, columnName) => {
+		const type = types.get(JSON.stringify([tableName, columnName]));
+		if (type === void 0) throw new InternalError(`contract infer resolved no type for "${tableName}"."${columnName}".`);
+		return type;
+	};
+}
 const GENERATOR_PHASES = ["onCreate", "onUpdate"];
 /**
 * The generator function call that writes each phase of a column's generators, as `@onCreate(...)` and `@onUpdate(...)` take it. A call must resolve back to the stored generator, so a list column, a generator no function writes for the codec, and a call that reads back differently are refused.
@@ -407,6 +422,6 @@ function generatorCallsFor(input) {
 	};
 }
 //#endregion
-export { mapDefault as a, inferredTypeConstructors as i, generatorCallsFor as n, pslTypeArgumentText as o, inferColumnTypes as r, writeDefaultLiteral as s, fewestArgumentsCall as t };
+export { mapDefault as a, writtenTypeArguments as c, inferredTypeConstructors as i, generatorCallsFor as n, writeDataTypeValue as o, inferColumnTypes as r, writeDefaultLiteral as s, fewestArgumentsCall as t };
 
-//# sourceMappingURL=psl-build-BSZQ8lC1.mjs.map
+//# sourceMappingURL=psl-build-D5VG40ej.mjs.map

package/dist/psl-build-D5VG40ej.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"psl-build-D5VG40ej.mjs","names":[],"sources":["../../../../2-sql/9-family/dist/psl-build.mjs"],"sourcesContent":["import { t as sqlFamilyError } from \"./errors-B5g0xWro.mjs\";\nimport { s as toEnumMemberName } from \"./psl-names-C3cwe0rg.mjs\";\nimport { SQL_EXPRESSION_TAG } from \"@internal/sql-contract/sql-expression\";\nimport { authoringTypeConstructorArguments, authoringTypeConstructors, castTypedValue, instantiateAuthoringTypeConstructor, printTaggedLiteral, readWrittenValue } from \"@internal/framework-components/authoring\";\nimport { dataTypeId, dataTypeParams } from \"@internal/framework-components/codec\";\nimport { blindCast } from \"@internal/utils/casts\";\nimport { InternalError, isInternalError } from \"@internal/utils/internal-error\";\nimport { isSqlDataType, numeralText, resolveReportedSqlType } from \"@internal/sql-contract/data-type\";\nimport { canonicalizeJson } from \"@internal/framework-components/utils\";\nimport { escapePslString } from \"@internal/sql-contract/data-type-support\";\n//#region src/core/psl-build/default-mapping.ts\nconst DEFAULT_FUNCTION_ATTRIBUTES = {\n\t\"autoincrement()\": \"@default(autoincrement())\",\n\t\"now()\": \"@default(now())\"\n};\n/**\n* The attribute a stored default prints as: a named function, a literal the column takes, or any\n* other expression as a `sql` literal. `undefined` when a literal has no written form. An expression\n* prints even when the literal would read back as different text: default expressions are compared\n* with case and whitespace ignored (`SqlColumnDefaultIR.isEqualTo`), and canonicalization changes only\n* whitespace (ADR 129).\n*/\nfunction mapDefault(columnDefault, options) {\n\tswitch (columnDefault.kind) {\n\t\tcase \"literal\": {\n\t\t\tconst text = writeDefaultLiteral(columnDefault.value, options);\n\t\t\treturn text === void 0 ? void 0 : { attribute: `@default(${text})` };\n\t\t}\n\t\tcase \"function\": return { attribute: options?.functionAttributes?.[columnDefault.expression] ?? DEFAULT_FUNCTION_ATTRIBUTES[columnDefault.expression] ?? `@default(${printTaggedLiteral(SQL_EXPRESSION_TAG, columnDefault.expression)})` };\n\t}\n}\nfunction writingSurface(support) {\n\tconst entryOf = /* @__PURE__ */ new Map();\n\tconst tagTypes = [];\n\tfor (const [key, entry] of Object.entries(support.entries)) {\n\t\tconst written = entry.written;\n\t\tif (written.kind === \"tag\") {\n\t\t\tconst type = dataTypeId(key);\n\t\t\tif (!entryOf.has(type)) entryOf.set(type, entry);\n\t\t\ttagTypes.push(type);\n\t\t\tcontinue;\n\t\t}\n\t\tif (written.syntax === \"number\") {\n\t\t\tfor (const type of written.types) entryOf.set(type, entry);\n\t\t\tcontinue;\n\t\t}\n\t\tentryOf.set(key, entry);\n\t}\n\treturn {\n\t\tsupport,\n\t\tentryOf,\n\t\ttagTypes\n\t};\n}\nfunction readValue(surface, written) {\n\tconst read = readWrittenValue(surface.support, written);\n\treturn read.ok ? read.value : void 0;\n}\n/** The value of a tag's type that a stored document is, constructed by that type. */\nfunction tagValue(surface, type, value) {\n\ttry {\n\t\treturn surface.support.lookup.get(type)?.valueFrom(value, {});\n\t} catch (error) {\n\t\tif (isInternalError(error)) throw error;\n\t\treturn;\n\t}\n}\n/**\n* Every value the stored form could be, in the order a written value would be read: a number or\n* numeral text through the number entry first, then the plain syntax that matches the shape, then\n* each tag, whose stored form is a whole document, which may itself be a number or a boolean.\n*/\nfunction classifications(value, surface) {\n\tconst found = [];\n\tif (typeof value === \"number\") found.push(readValue(surface, {\n\t\tkind: \"number\",\n\t\ttext: numeralText(value)\n\t}));\n\telse if (typeof value === \"boolean\") found.push(readValue(surface, {\n\t\tkind: \"boolean\",\n\t\tvalue\n\t}));\n\telse if (typeof value === \"string\") {\n\t\tfound.push(readValue(surface, {\n\t\t\tkind: \"number\",\n\t\t\ttext: value\n\t\t}));\n\t\tfound.push(readValue(surface, {\n\t\t\tkind: \"string\",\n\t\t\ttext: value\n\t\t}));\n\t}\n\tfor (const type of surface.tagTypes) found.push(tagValue(surface, type, value));\n\treturn found.filter((candidate) => candidate !== void 0);\n}\n/** What the column's type stores for `json` under the column's parameters, or `undefined` when it holds no such value. */\nfunction storedUnder(json, column, lookup) {\n\tconst type = lookup.get(column.id);\n\tif (type === void 0) return void 0;\n\ttry {\n\t\treturn type.toContract(type.valueFrom(json, column.params));\n\t} catch (error) {\n\t\tif (isInternalError(error)) throw error;\n\t\treturn;\n\t}\n}\n/** The stored form the column takes this value as, spelled as its parameters give it, or `undefined` when its type takes no such value. */\nfunction admitted(candidate, column, surface) {\n\tconst cast = castTypedValue(surface.support, column.id, column.params, candidate);\n\treturn cast.ok ? cast.value.value : void 0;\n}\n/** The text of the literal: what the entry prints, before the syntax that fences it. */\nfunction printedText(entry, value) {\n\ttry {\n\t\treturn entry.print(value);\n\t} catch {\n\t\treturn;\n\t}\n}\n/** The printed text as the entry's syntax writes it, for reading back. */\nfunction writtenAs(entry, text) {\n\tconst written = entry.written;\n\tif (written.kind === \"tag\") return {\n\t\tkind: \"tag\",\n\t\ttag: written.tag,\n\t\ttext\n\t};\n\tif (written.syntax !== \"boolean\") return {\n\t\tkind: written.syntax,\n\t\ttext\n\t};\n\treturn text === \"true\" || text === \"false\" ? {\n\t\tkind: \"boolean\",\n\t\tvalue: text === \"true\"\n\t} : void 0;\n}\n/** What the printed text reads back as, through the same read a written value takes. */\nfunction readBack(surface, entry, text) {\n\tconst written = writtenAs(entry, text);\n\treturn written === void 0 ? void 0 : readValue(surface, written);\n}\nfunction literalText(entry, text) {\n\tconst written = entry.written;\n\tif (written.kind === \"tag\") return printTaggedLiteral(written.tag, text);\n\treturn written.syntax === \"string\" ? `\"${escapePslString(text)}\"` : text;\n}\n/**\n* The value written as the literal of one of its types, proven by reading the text straight back:\n* the same read, the same cast, and the stored form again. A number is tried first without the\n* trailing fraction zeros the column's scale spells it with.\n*/\nfunction writeScalar(value, column, surface) {\n\tconst shortest = withoutTrailingFractionZeros(value);\n\tconst candidates = [...shortest === void 0 ? [] : classifications(shortest, surface), ...classifications(value, surface)];\n\tfor (const candidate of candidates) {\n\t\tconst entry = surface.entryOf.get(candidate.type);\n\t\tif (entry === void 0) continue;\n\t\tconst stored = admitted(candidate, column, surface);\n\t\tif (stored === void 0 || !sameForm(stored, value)) continue;\n\t\tconst text = printedText(entry, candidate.value);\n\t\tif (text === void 0) continue;\n\t\tconst reread = readBack(surface, entry, text);\n\t\tif (reread === void 0) continue;\n\t\tconst restored = admitted(reread, column, surface);\n\t\tif (restored === void 0 || !sameForm(restored, value)) continue;\n\t\treturn literalText(entry, text);\n\t}\n}\n/**\n* `value`, a value of `dataType` as `contract.json` stores it, written as the literal of a type that `dataType` takes, proven to read back as `value`: `255` for `pg/int4`, ``sql`\"MyType\"[]` `` for `sql/expression`. `undefined` when no literal reads back as it.\n*/\nfunction writeDataTypeValue(value, dataType, support) {\n\treturn writeScalar(value, {\n\t\tid: dataType,\n\t\tparams: {}\n\t}, writingSurface(support));\n}\nconst DECIMAL_WITH_FRACTION = /^-?\\d+\\.\\d+$/;\nfunction withoutTrailingFractionZeros(value) {\n\tif (typeof value !== \"string\" || !DECIMAL_WITH_FRACTION.test(value)) return void 0;\n\tconst shortened = value.replace(/0+$/, \"\").replace(/\\.$/, \"\");\n\treturn shortened === value ? void 0 : shortened;\n}\n/** One written element of a list, printed as a value of any type, with no column type to admit it. */\nfunction writeElement(value, of, surface) {\n\tfor (const candidate of classifications(value, surface)) {\n\t\tif (!of.includes(candidate.type)) continue;\n\t\tconst entry = surface.entryOf.get(candidate.type);\n\t\tif (entry === void 0) continue;\n\t\tconst text = printedText(entry, candidate.value);\n\t\tif (text === void 0) continue;\n\t\tconst reread = readBack(surface, entry, text);\n\t\tif (reread === void 0 || !of.includes(reread.type)) continue;\n\t\treturn {\n\t\t\ttext: literalText(entry, text),\n\t\t\tvalue: reread.value\n\t\t};\n\t}\n}\n/**\n* A written list on a scalar column, which the column type's list cast turns into its one value,\n* constructed by the column's type. Each element is classified on its own and must be of a type the\n* cast takes.\n*/\nfunction writeListCast(value, column, surface) {\n\tconst listCast = surface.support.lookup.get(column.id)?.listCast;\n\tif (listCast === void 0) return void 0;\n\tconst parts = [];\n\tconst elements = [];\n\tfor (const element of value) {\n\t\tconst written = writeElement(element, listCast.of, surface);\n\t\tif (written === void 0) return void 0;\n\t\tparts.push(written.text);\n\t\telements.push(written.value);\n\t}\n\tlet cast;\n\ttry {\n\t\tcast = listCast.cast(elements);\n\t} catch (error) {\n\t\tif (isInternalError(error)) throw error;\n\t\treturn;\n\t}\n\tconst stored = storedUnder(cast, column, surface.support.lookup);\n\treturn stored !== void 0 && sameForm(stored, value) ? `[${parts.join(\", \")}]` : void 0;\n}\n/** The PSL literal a stored value is written as for the column `options` describe, or `undefined` when it has no written form that reads back as that value. */\nfunction writeDefaultLiteral(value, options) {\n\tif (value instanceof Date) return void 0;\n\tconst { dataTypes, columnCodec } = options ?? {};\n\tif (dataTypes === void 0 || columnCodec === void 0) return void 0;\n\tconst { lookup } = dataTypes;\n\tconst columnDataType = columnCodec.dataType;\n\tconst columnType = lookup.get(columnDataType);\n\tconst column = {\n\t\tid: columnDataType,\n\t\tparams: columnType === void 0 ? {} : dataTypeParams(columnType, options?.typeParams)\n\t};\n\tconst surface = writingSurface(dataTypes);\n\tif (options?.list === true) {\n\t\tif (!Array.isArray(value)) return void 0;\n\t\tconst parts = [];\n\t\tfor (const element of value) {\n\t\t\tconst written = writeScalar(element, column, surface);\n\t\t\tif (written === void 0) return void 0;\n\t\t\tparts.push(written);\n\t\t}\n\t\treturn `[${parts.join(\", \")}]`;\n\t}\n\tconst written = writeScalar(value, column, surface);\n\tif (written !== void 0) return written;\n\treturn Array.isArray(value) ? writeListCast(value, column, surface) : void 0;\n}\n/** Whether two stored forms are the same JSON value, member by member and element by element. */\nfunction sameForm(left, right) {\n\tif (left === right) return true;\n\tif (Array.isArray(left) !== Array.isArray(right)) return false;\n\tif (typeof left !== \"object\" || typeof right !== \"object\" || left === null || right === null) return false;\n\tconst members = Object.entries(left);\n\tconst others = new Map(Object.entries(right));\n\treturn members.length === others.size && members.every(([key, member]) => {\n\t\tconst other = others.get(key);\n\t\treturn other !== void 0 && sameForm(member, other);\n\t});\n}\n//#endregion\n//#region src/core/psl-build/inferred-type-constructors.ts\n/** Every constructor of `authoringTypes` marked `inferred`, by the data type its codec represents. */\nfunction inferredTypeConstructors(input) {\n\tconst found = /* @__PURE__ */ new Map();\n\tfor (const { path, descriptor } of authoringTypeConstructors(input.authoringTypes)) {\n\t\tif (descriptor.inferred !== true) continue;\n\t\tconst dataTypeId = input.codecLookup.descriptorFor(descriptor.output.codecId)?.dataType;\n\t\tconst dataType = dataTypeId === void 0 ? void 0 : input.dataTypeLookup.get(dataTypeId);\n\t\tif (dataType === void 0 || !isSqlDataType(dataType)) continue;\n\t\tfound.set(dataType.id, {\n\t\t\tpath,\n\t\t\tdescriptor,\n\t\t\tdataType\n\t\t});\n\t}\n\treturn found;\n}\nfunction normalParams(marked, args) {\n\ttry {\n\t\tconst { typeParams } = instantiateAuthoringTypeConstructor(marked.descriptor, args);\n\t\tconst params = dataTypeParams(marked.dataType, typeParams);\n\t\treturn canonicalizeJson(marked.dataType.sql.normalize(params));\n\t} catch (error) {\n\t\tif (isInternalError(error)) throw error;\n\t\treturn;\n\t}\n}\n/**\n* The call to `marked` with the fewest arguments that produces `params`, the normal form of a\n* column's data type parameters: arguments are dropped from the end while the normal form of what\n* the call produces stays `params`. Undefined when the constructor cannot produce them, such as one\n* whose argument names another entity.\n*/\nfunction fewestArgumentsCall(marked, params) {\n\tconst all = authoringTypeConstructorArguments(marked.descriptor, {\n\t\tcodecId: marked.descriptor.output.codecId,\n\t\ttypeParams: params\n\t});\n\tif (all === void 0) return void 0;\n\tconst wanted = canonicalizeJson(params);\n\tconst args = [...all];\n\twhile (args.length > 0 && normalParams(marked, args.slice(0, -1)) === wanted) args.pop();\n\treturn {\n\t\tpath: marked.path,\n\t\targs\n\t};\n}\n/**\n* Each argument of a call to `descriptor` as PSL writes it: a value argument as a literal of its data type that reads back as the same value. `undefined` when an argument is not a value argument or no literal reads back as it.\n*/\nfunction writtenTypeArguments(descriptor, args, dataTypes) {\n\tconst written = [];\n\tfor (const [index, value] of args.entries()) {\n\t\tconst argument = descriptor.args?.[index];\n\t\tif (argument?.kind !== \"value\") return void 0;\n\t\tconst text = writeDataTypeValue(blindCast(value), dataTypeId(argument.dataType), dataTypes);\n\t\tif (text === void 0) return void 0;\n\t\twritten.push(text);\n\t}\n\treturn written;\n}\n//#endregion\n//#region src/core/psl-build/column-types.ts\n/** The type the database reported for `column`, which introspection always records. */\nfunction reportedTypeOf(column, tableName) {\n\tif (column.reportedType === void 0) throw new InternalError(`contract infer read column \"${tableName}\".\"${column.name}\" without the type the database reported for it.`);\n\treturn column.reportedType;\n}\nfunction writtenCall(constructors, dataTypes, support, reported) {\n\tconst resolved = resolveReportedSqlType(reported, dataTypes);\n\tconst marked = resolved && constructors.get(resolved.dataType.id);\n\tconst call = resolved && marked && fewestArgumentsCall(marked, resolved.typeParams);\n\tconst args = call && marked && writtenTypeArguments(marked.descriptor, call.args, support);\n\treturn call && args && {\n\t\tpath: call.path,\n\t\targs,\n\t\tvalues: call.args\n\t};\n}\n/**\n* The type of every column of `tables` that `isEnumColumn` does not claim: the call, with the\n* fewest arguments, to the constructor marked `inferred` for the data type that claims the\n* column's reported type. When any column has no such call, throws\n* `CONTRACT.INFER_COLUMN_TYPE_UNCLAIMED` listing every one of them.\n*/\nfunction inferColumnTypes(input) {\n\tconst dataTypes = [...input.constructors.values()].map((marked) => marked.dataType);\n\tconst types = /* @__PURE__ */ new Map();\n\tconst unclaimed = [];\n\tfor (const { schemaName, tableName, columns } of input.tables) for (const column of columns) {\n\t\tif (input.isEnumColumn(column)) continue;\n\t\tconst reported = reportedTypeOf(column, tableName);\n\t\tconst call = writtenCall(input.constructors, dataTypes, input.dataTypes, reported);\n\t\tif (call === void 0) {\n\t\t\tunclaimed.push(`${schemaName}.${tableName}.${column.name}: ${reported.text}${column.many === true ? \"[]\" : \"\"}`);\n\t\t\tcontinue;\n\t\t}\n\t\ttypes.set(JSON.stringify([tableName, column.name]), call);\n\t}\n\tif (unclaimed.length > 0) {\n\t\tconst columns = unclaimed.sort();\n\t\tthrow sqlFamilyError(\"CONTRACT.INFER_COLUMN_TYPE_UNCLAIMED\", [\"contract infer: Prisma 8 cannot write these column types with the configured stack:\", ...columns.map((line) => `  ${line}`)].join(\"\\n\"), {\n\t\t\twhy: \"Prisma 8 reads a column type only through a data type that the target or an extension pack declares.\",\n\t\t\tfix: `No configured pack has a type for these columns. If a type comes from a database extension that has a Prisma 8 pack, add the pack to extensions in prisma.config.ts. Otherwise, to keep such a column, write the schema by hand and declare its field as Raw(sql\\`<type>\\`) with the type as listed, or change the column's type or remove the column from the database.`,\n\t\t\tmeta: { columns }\n\t\t});\n\t}\n\treturn (tableName, columnName) => {\n\t\tconst type = types.get(JSON.stringify([tableName, columnName]));\n\t\tif (type === void 0) throw new InternalError(`contract infer resolved no type for \"${tableName}\".\"${columnName}\".`);\n\t\treturn type;\n\t};\n}\n//#endregion\n//#region src/core/psl-build/generator-calls.ts\nconst GENERATOR_PHASES = [\"onCreate\", \"onUpdate\"];\n/**\n* The generator function call that writes each phase of a column's generators, as `@onCreate(...)` and `@onUpdate(...)` take it. A call must resolve back to the stored generator, so a list column, a generator no function writes for the codec, and a call that reads back differently are refused.\n*/\nfunction generatorCallsFor(input) {\n\tconst { executionDefault, field, list, generatorFunctions } = input;\n\tconst calls = [];\n\tfor (const phase of GENERATOR_PHASES) {\n\t\tconst generator = executionDefault[phase];\n\t\tif (generator === void 0) continue;\n\t\tif (list) return {\n\t\t\tok: false,\n\t\t\trefusal: {\n\t\t\t\tkind: \"on-list\",\n\t\t\t\tphase,\n\t\t\t\tgenerator\n\t\t\t}\n\t\t};\n\t\tconst printed = generatorFunctions.callFor(generator, field);\n\t\tif (printed === void 0) return {\n\t\t\tok: false,\n\t\t\trefusal: {\n\t\t\t\tkind: \"no-function\",\n\t\t\t\tphase,\n\t\t\t\tgenerator\n\t\t\t}\n\t\t};\n\t\tconst readBack = generatorFunctions.resolve(printed.call, field);\n\t\tif (!readBack.ok || canonicalizeJson(readBack.generator) !== canonicalizeJson(generator)) return {\n\t\t\tok: false,\n\t\t\trefusal: {\n\t\t\t\tkind: \"reads-back-differently\",\n\t\t\t\tphase,\n\t\t\t\tgenerator,\n\t\t\t\ttext: printed.text,\n\t\t\t\treadBack: readBack.ok ? readBack.generator : void 0,\n\t\t\t\trefusedBecause: !readBack.ok && readBack.reason === \"refused\" ? readBack.message : void 0\n\t\t\t}\n\t\t};\n\t\tcalls.push({\n\t\t\tphase,\n\t\t\ttext: printed.text\n\t\t});\n\t}\n\treturn {\n\t\tok: true,\n\t\tcalls\n\t};\n}\n//#endregion\nexport { fewestArgumentsCall, generatorCallsFor, inferColumnTypes, inferredTypeConstructors, mapDefault, toEnumMemberName, writeDataTypeValue, writeDefaultLiteral, writtenTypeArguments };\n\n//# sourceMappingURL=psl-build.mjs.map"],"mappings":";;;;;;;;;;;AAWA,MAAM,8BAA8B;CACnC,mBAAmB;CACnB,SAAS;AACV;;;;;;;;AAQA,SAAS,WAAW,eAAe,SAAS;CAC3C,QAAQ,cAAc,MAAtB;EACC,KAAK,WAAW;GACf,MAAM,OAAO,oBAAoB,cAAc,OAAO,OAAO;GAC7D,OAAO,SAAS,KAAK,IAAI,KAAK,IAAI,EAAE,WAAW,YAAY,KAAK,GAAG;EACpE;EACA,KAAK,YAAY,OAAO,EAAE,WAAW,SAAS,qBAAqB,cAAc,eAAe,4BAA4B,cAAc,eAAe,YAAY,mBAAA,OAAuC,cAAc,UAAU,EAAE,GAAG;CAC1O;AACD;AACA,SAAS,eAAe,SAAS;CAChC,MAAM,0BAA0B,IAAI,IAAI;CACxC,MAAM,WAAW,CAAC;CAClB,KAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,QAAQ,OAAO,GAAG;EAC3D,MAAM,UAAU,MAAM;EACtB,IAAI,QAAQ,SAAS,OAAO;GAC3B,MAAM,OAAO,WAAW,GAAG;GAC3B,IAAI,CAAC,QAAQ,IAAI,IAAI,GAAG,QAAQ,IAAI,MAAM,KAAK;GAC/C,SAAS,KAAK,IAAI;GAClB;EACD;EACA,IAAI,QAAQ,WAAW,UAAU;GAChC,KAAK,MAAM,QAAQ,QAAQ,OAAO,QAAQ,IAAI,MAAM,KAAK;GACzD;EACD;EACA,QAAQ,IAAI,KAAK,KAAK;CACvB;CACA,OAAO;EACN;EACA;EACA;CACD;AACD;AACA,SAAS,UAAU,SAAS,SAAS;CACpC,MAAM,OAAO,iBAAiB,QAAQ,SAAS,OAAO;CACtD,OAAO,KAAK,KAAK,KAAK,QAAQ,KAAK;AACpC;;AAEA,SAAS,SAAS,SAAS,MAAM,OAAO;CACvC,IAAI;EACH,OAAO,QAAQ,QAAQ,OAAO,IAAI,IAAI,CAAC,EAAE,UAAU,OAAO,CAAC,CAAC;CAC7D,SAAS,OAAO;EACf,IAAI,gBAAgB,KAAK,GAAG,MAAM;EAClC;CACD;AACD;;;;;;AAMA,SAAS,gBAAgB,OAAO,SAAS;CACxC,MAAM,QAAQ,CAAC;CACf,IAAI,OAAO,UAAU,UAAU,MAAM,KAAK,UAAU,SAAS;EAC5D,MAAM;EACN,MAAM,YAAY,KAAK;CACxB,CAAC,CAAC;MACG,IAAI,OAAO,UAAU,WAAW,MAAM,KAAK,UAAU,SAAS;EAClE,MAAM;EACN;CACD,CAAC,CAAC;MACG,IAAI,OAAO,UAAU,UAAU;EACnC,MAAM,KAAK,UAAU,SAAS;GAC7B,MAAM;GACN,MAAM;EACP,CAAC,CAAC;EACF,MAAM,KAAK,UAAU,SAAS;GAC7B,MAAM;GACN,MAAM;EACP,CAAC,CAAC;CACH;CACA,KAAK,MAAM,QAAQ,QAAQ,UAAU,MAAM,KAAK,SAAS,SAAS,MAAM,KAAK,CAAC;CAC9E,OAAO,MAAM,QAAQ,cAAc,cAAc,KAAK,CAAC;AACxD;;AAEA,SAAS,YAAY,MAAM,QAAQ,QAAQ;CAC1C,MAAM,OAAO,OAAO,IAAI,OAAO,EAAE;CACjC,IAAI,SAAS,KAAK,GAAG,OAAO,KAAK;CACjC,IAAI;EACH,OAAO,KAAK,WAAW,KAAK,UAAU,MAAM,OAAO,MAAM,CAAC;CAC3D,SAAS,OAAO;EACf,IAAI,gBAAgB,KAAK,GAAG,MAAM;EAClC;CACD;AACD;;AAEA,SAAS,SAAS,WAAW,QAAQ,SAAS;CAC7C,MAAM,OAAO,eAAe,QAAQ,SAAS,OAAO,IAAI,OAAO,QAAQ,SAAS;CAChF,OAAO,KAAK,KAAK,KAAK,MAAM,QAAQ,KAAK;AAC1C;;AAEA,SAAS,YAAY,OAAO,OAAO;CAClC,IAAI;EACH,OAAO,MAAM,MAAM,KAAK;CACzB,QAAQ;EACP;CACD;AACD;;AAEA,SAAS,UAAU,OAAO,MAAM;CAC/B,MAAM,UAAU,MAAM;CACtB,IAAI,QAAQ,SAAS,OAAO,OAAO;EAClC,MAAM;EACN,KAAK,QAAQ;EACb;CACD;CACA,IAAI,QAAQ,WAAW,WAAW,OAAO;EACxC,MAAM,QAAQ;EACd;CACD;CACA,OAAO,SAAS,UAAU,SAAS,UAAU;EAC5C,MAAM;EACN,OAAO,SAAS;CACjB,IAAI,KAAK;AACV;;AAEA,SAAS,SAAS,SAAS,OAAO,MAAM;CACvC,MAAM,UAAU,UAAU,OAAO,IAAI;CACrC,OAAO,YAAY,KAAK,IAAI,KAAK,IAAI,UAAU,SAAS,OAAO;AAChE;AACA,SAAS,YAAY,OAAO,MAAM;CACjC,MAAM,UAAU,MAAM;CACtB,IAAI,QAAQ,SAAS,OAAO,OAAO,mBAAmB,QAAQ,KAAK,IAAI;CACvE,OAAO,QAAQ,WAAW,WAAW,IAAI,gBAAgB,IAAI,EAAE,KAAK;AACrE;;;;;;AAMA,SAAS,YAAY,OAAO,QAAQ,SAAS;CAC5C,MAAM,WAAW,6BAA6B,KAAK;CACnD,MAAM,aAAa,CAAC,GAAG,aAAa,KAAK,IAAI,CAAC,IAAI,gBAAgB,UAAU,OAAO,GAAG,GAAG,gBAAgB,OAAO,OAAO,CAAC;CACxH,KAAK,MAAM,aAAa,YAAY;EACnC,MAAM,QAAQ,QAAQ,QAAQ,IAAI,UAAU,IAAI;EAChD,IAAI,UAAU,KAAK,GAAG;EACtB,MAAM,SAAS,SAAS,WAAW,QAAQ,OAAO;EAClD,IAAI,WAAW,KAAK,KAAK,CAAC,SAAS,QAAQ,KAAK,GAAG;EACnD,MAAM,OAAO,YAAY,OAAO,UAAU,KAAK;EAC/C,IAAI,SAAS,KAAK,GAAG;EACrB,MAAM,SAAS,SAAS,SAAS,OAAO,IAAI;EAC5C,IAAI,WAAW,KAAK,GAAG;EACvB,MAAM,WAAW,SAAS,QAAQ,QAAQ,OAAO;EACjD,IAAI,aAAa,KAAK,KAAK,CAAC,SAAS,UAAU,KAAK,GAAG;EACvD,OAAO,YAAY,OAAO,IAAI;CAC/B;AACD;;;;AAIA,SAAS,mBAAmB,OAAO,UAAU,SAAS;CACrD,OAAO,YAAY,OAAO;EACzB,IAAI;EACJ,QAAQ,CAAC;CACV,GAAG,eAAe,OAAO,CAAC;AAC3B;AACA,MAAM,wBAAwB;AAC9B,SAAS,6BAA6B,OAAO;CAC5C,IAAI,OAAO,UAAU,YAAY,CAAC,sBAAsB,KAAK,KAAK,GAAG,OAAO,KAAK;CACjF,MAAM,YAAY,MAAM,QAAQ,OAAO,EAAE,CAAC,CAAC,QAAQ,OAAO,EAAE;CAC5D,OAAO,cAAc,QAAQ,KAAK,IAAI;AACvC;;AAEA,SAAS,aAAa,OAAO,IAAI,SAAS;CACzC,KAAK,MAAM,aAAa,gBAAgB,OAAO,OAAO,GAAG;EACxD,IAAI,CAAC,GAAG,SAAS,UAAU,IAAI,GAAG;EAClC,MAAM,QAAQ,QAAQ,QAAQ,IAAI,UAAU,IAAI;EAChD,IAAI,UAAU,KAAK,GAAG;EACtB,MAAM,OAAO,YAAY,OAAO,UAAU,KAAK;EAC/C,IAAI,SAAS,KAAK,GAAG;EACrB,MAAM,SAAS,SAAS,SAAS,OAAO,IAAI;EAC5C,IAAI,WAAW,KAAK,KAAK,CAAC,GAAG,SAAS,OAAO,IAAI,GAAG;EACpD,OAAO;GACN,MAAM,YAAY,OAAO,IAAI;GAC7B,OAAO,OAAO;EACf;CACD;AACD;;;;;;AAMA,SAAS,cAAc,OAAO,QAAQ,SAAS;CAC9C,MAAM,WAAW,QAAQ,QAAQ,OAAO,IAAI,OAAO,EAAE,CAAC,EAAE;CACxD,IAAI,aAAa,KAAK,GAAG,OAAO,KAAK;CACrC,MAAM,QAAQ,CAAC;CACf,MAAM,WAAW,CAAC;CAClB,KAAK,MAAM,WAAW,OAAO;EAC5B,MAAM,UAAU,aAAa,SAAS,SAAS,IAAI,OAAO;EAC1D,IAAI,YAAY,KAAK,GAAG,OAAO,KAAK;EACpC,MAAM,KAAK,QAAQ,IAAI;EACvB,SAAS,KAAK,QAAQ,KAAK;CAC5B;CACA,IAAI;CACJ,IAAI;EACH,OAAO,SAAS,KAAK,QAAQ;CAC9B,SAAS,OAAO;EACf,IAAI,gBAAgB,KAAK,GAAG,MAAM;EAClC;CACD;CACA,MAAM,SAAS,YAAY,MAAM,QAAQ,QAAQ,QAAQ,MAAM;CAC/D,OAAO,WAAW,KAAK,KAAK,SAAS,QAAQ,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,EAAE,KAAK,KAAK;AACtF;;AAEA,SAAS,oBAAoB,OAAO,SAAS;CAC5C,IAAI,iBAAiB,MAAM,OAAO,KAAK;CACvC,MAAM,EAAE,WAAW,gBAAgB,WAAW,CAAC;CAC/C,IAAI,cAAc,KAAK,KAAK,gBAAgB,KAAK,GAAG,OAAO,KAAK;CAChE,MAAM,EAAE,WAAW;CACnB,MAAM,iBAAiB,YAAY;CACnC,MAAM,aAAa,OAAO,IAAI,cAAc;CAC5C,MAAM,SAAS;EACd,IAAI;EACJ,QAAQ,eAAe,KAAK,IAAI,CAAC,IAAI,eAAe,YAAY,SAAS,UAAU;CACpF;CACA,MAAM,UAAU,eAAe,SAAS;CACxC,IAAI,SAAS,SAAS,MAAM;EAC3B,IAAI,CAAC,MAAM,QAAQ,KAAK,GAAG,OAAO,KAAK;EACvC,MAAM,QAAQ,CAAC;EACf,KAAK,MAAM,WAAW,OAAO;GAC5B,MAAM,UAAU,YAAY,SAAS,QAAQ,OAAO;GACpD,IAAI,YAAY,KAAK,GAAG,OAAO,KAAK;GACpC,MAAM,KAAK,OAAO;EACnB;EACA,OAAO,IAAI,MAAM,KAAK,IAAI,EAAE;CAC7B;CACA,MAAM,UAAU,YAAY,OAAO,QAAQ,OAAO;CAClD,IAAI,YAAY,KAAK,GAAG,OAAO;CAC/B,OAAO,MAAM,QAAQ,KAAK,IAAI,cAAc,OAAO,QAAQ,OAAO,IAAI,KAAK;AAC5E;;AAEA,SAAS,SAAS,MAAM,OAAO;CAC9B,IAAI,SAAS,OAAO,OAAO;CAC3B,IAAI,MAAM,QAAQ,IAAI,MAAM,MAAM,QAAQ,KAAK,GAAG,OAAO;CACzD,IAAI,OAAO,SAAS,YAAY,OAAO,UAAU,YAAY,SAAS,QAAQ,UAAU,MAAM,OAAO;CACrG,MAAM,UAAU,OAAO,QAAQ,IAAI;CACnC,MAAM,SAAS,IAAI,IAAI,OAAO,QAAQ,KAAK,CAAC;CAC5C,OAAO,QAAQ,WAAW,OAAO,QAAQ,QAAQ,OAAO,CAAC,KAAK,YAAY;EACzE,MAAM,QAAQ,OAAO,IAAI,GAAG;EAC5B,OAAO,UAAU,KAAK,KAAK,SAAS,QAAQ,KAAK;CAClD,CAAC;AACF;;AAIA,SAAS,yBAAyB,OAAO;CACxC,MAAM,wBAAwB,IAAI,IAAI;CACtC,KAAK,MAAM,EAAE,MAAM,gBAAgB,0BAA0B,MAAM,cAAc,GAAG;EACnF,IAAI,WAAW,aAAa,MAAM;EAClC,MAAM,aAAa,MAAM,YAAY,cAAc,WAAW,OAAO,OAAO,CAAC,EAAE;EAC/E,MAAM,WAAW,eAAe,KAAK,IAAI,KAAK,IAAI,MAAM,eAAe,IAAI,UAAU;EACrF,IAAI,aAAa,KAAK,KAAK,CAAC,cAAc,QAAQ,GAAG;EACrD,MAAM,IAAI,SAAS,IAAI;GACtB;GACA;GACA;EACD,CAAC;CACF;CACA,OAAO;AACR;AACA,SAAS,aAAa,QAAQ,MAAM;CACnC,IAAI;EACH,MAAM,EAAE,eAAe,oCAAoC,OAAO,YAAY,IAAI;EAClF,MAAM,SAAS,eAAe,OAAO,UAAU,UAAU;EACzD,OAAO,iBAAiB,OAAO,SAAS,IAAI,UAAU,MAAM,CAAC;CAC9D,SAAS,OAAO;EACf,IAAI,gBAAgB,KAAK,GAAG,MAAM;EAClC;CACD;AACD;;;;;;;AAOA,SAAS,oBAAoB,QAAQ,QAAQ;CAC5C,MAAM,MAAM,kCAAkC,OAAO,YAAY;EAChE,SAAS,OAAO,WAAW,OAAO;EAClC,YAAY;CACb,CAAC;CACD,IAAI,QAAQ,KAAK,GAAG,OAAO,KAAK;CAChC,MAAM,SAAS,iBAAiB,MAAM;CACtC,MAAM,OAAO,CAAC,GAAG,GAAG;CACpB,OAAO,KAAK,SAAS,KAAK,aAAa,QAAQ,KAAK,MAAM,GAAG,EAAE,CAAC,MAAM,QAAQ,KAAK,IAAI;CACvF,OAAO;EACN,MAAM,OAAO;EACb;CACD;AACD;;;;AAIA,SAAS,qBAAqB,YAAY,MAAM,WAAW;CAC1D,MAAM,UAAU,CAAC;CACjB,KAAK,MAAM,CAAC,OAAO,UAAU,KAAK,QAAQ,GAAG;EAC5C,MAAM,WAAW,WAAW,OAAO;EACnC,IAAI,UAAU,SAAS,SAAS,OAAO,KAAK;EAC5C,MAAM,OAAO,mBAAmB,UAAU,KAAK,GAAG,WAAW,SAAS,QAAQ,GAAG,SAAS;EAC1F,IAAI,SAAS,KAAK,GAAG,OAAO,KAAK;EACjC,QAAQ,KAAK,IAAI;CAClB;CACA,OAAO;AACR;;AAIA,SAAS,eAAe,QAAQ,WAAW;CAC1C,IAAI,OAAO,iBAAiB,KAAK,GAAG,MAAM,IAAI,cAAc,+BAA+B,UAAU,KAAK,OAAO,KAAK,iDAAiD;CACvK,OAAO,OAAO;AACf;AACA,SAAS,YAAY,cAAc,WAAW,SAAS,UAAU;CAChE,MAAM,WAAW,uBAAuB,UAAU,SAAS;CAC3D,MAAM,SAAS,YAAY,aAAa,IAAI,SAAS,SAAS,EAAE;CAChE,MAAM,OAAO,YAAY,UAAU,oBAAoB,QAAQ,SAAS,UAAU;CAClF,MAAM,OAAO,QAAQ,UAAU,qBAAqB,OAAO,YAAY,KAAK,MAAM,OAAO;CACzF,OAAO,QAAQ,QAAQ;EACtB,MAAM,KAAK;EACX;EACA,QAAQ,KAAK;CACd;AACD;;;;;;;AAOA,SAAS,iBAAiB,OAAO;CAChC,MAAM,YAAY,CAAC,GAAG,MAAM,aAAa,OAAO,CAAC,CAAC,CAAC,KAAK,WAAW,OAAO,QAAQ;CAClF,MAAM,wBAAwB,IAAI,IAAI;CACtC,MAAM,YAAY,CAAC;CACnB,KAAK,MAAM,EAAE,YAAY,WAAW,aAAa,MAAM,QAAQ,KAAK,MAAM,UAAU,SAAS;EAC5F,IAAI,MAAM,aAAa,MAAM,GAAG;EAChC,MAAM,WAAW,eAAe,QAAQ,SAAS;EACjD,MAAM,OAAO,YAAY,MAAM,cAAc,WAAW,MAAM,WAAW,QAAQ;EACjF,IAAI,SAAS,KAAK,GAAG;GACpB,UAAU,KAAK,GAAG,WAAW,GAAG,UAAU,GAAG,OAAO,KAAK,IAAI,SAAS,OAAO,OAAO,SAAS,OAAO,OAAO,IAAI;GAC/G;EACD;EACA,MAAM,IAAI,KAAK,UAAU,CAAC,WAAW,OAAO,IAAI,CAAC,GAAG,IAAI;CACzD;CACA,IAAI,UAAU,SAAS,GAAG;EACzB,MAAM,UAAU,UAAU,KAAK;EAC/B,MAAM,eAAe,wCAAwC,CAAC,uFAAuF,GAAG,QAAQ,KAAK,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,GAAG;GACvM,KAAK;GACL,KAAK;GACL,MAAM,EAAE,QAAQ;EACjB,CAAC;CACF;CACA,QAAQ,WAAW,eAAe;EACjC,MAAM,OAAO,MAAM,IAAI,KAAK,UAAU,CAAC,WAAW,UAAU,CAAC,CAAC;EAC9D,IAAI,SAAS,KAAK,GAAG,MAAM,IAAI,cAAc,wCAAwC,UAAU,KAAK,WAAW,GAAG;EAClH,OAAO;CACR;AACD;AAGA,MAAM,mBAAmB,CAAC,YAAY,UAAU;;;;AAIhD,SAAS,kBAAkB,OAAO;CACjC,MAAM,EAAE,kBAAkB,OAAO,MAAM,uBAAuB;CAC9D,MAAM,QAAQ,CAAC;CACf,KAAK,MAAM,SAAS,kBAAkB;EACrC,MAAM,YAAY,iBAAiB;EACnC,IAAI,cAAc,KAAK,GAAG;EAC1B,IAAI,MAAM,OAAO;GAChB,IAAI;GACJ,SAAS;IACR,MAAM;IACN;IACA;GACD;EACD;EACA,MAAM,UAAU,mBAAmB,QAAQ,WAAW,KAAK;EAC3D,IAAI,YAAY,KAAK,GAAG,OAAO;GAC9B,IAAI;GACJ,SAAS;IACR,MAAM;IACN;IACA;GACD;EACD;EACA,MAAM,WAAW,mBAAmB,QAAQ,QAAQ,MAAM,KAAK;EAC/D,IAAI,CAAC,SAAS,MAAM,iBAAiB,SAAS,SAAS,MAAM,iBAAiB,SAAS,GAAG,OAAO;GAChG,IAAI;GACJ,SAAS;IACR,MAAM;IACN;IACA;IACA,MAAM,QAAQ;IACd,UAAU,SAAS,KAAK,SAAS,YAAY,KAAK;IAClD,gBAAgB,CAAC,SAAS,MAAM,SAAS,WAAW,YAAY,SAAS,UAAU,KAAK;GACzF;EACD;EACA,MAAM,KAAK;GACV;GACA,MAAM,QAAQ;EACf,CAAC;CACF;CACA,OAAO;EACN,IAAI;EACJ;CACD;AACD"}

package/dist/{psl-column-resolution-DNdqpUxt-DlQwgbqn.d.mts → psl-column-resolution-BgThghdu-BWaFlWYV.d.mts}

@@ -1,10 +1,10 @@
-import "./contract-builder-Di-2-fFO.mjs";
-import { AuthoringTypeConstructorDescriptor } from "@prisma/orm-framework/components/authoring";
+import "./contract-builder-DZSUqbp0.mjs";
+import { AuthoringTypeConstructorDescriptor, DataTypeSupport } from "@prisma/orm-framework/components/authoring";
 import { CodecLookupWithDescriptors } from "@prisma/orm-framework/components/codec";
 import { ColumnDefault, ExecutionMutationDefaultPhases, ValueSetRef } from "@prisma/orm-framework/contract/types";
 import "@prisma/orm-framework/components/control";
 import { Binder } from "@prisma/orm-framework/psl-parser";
-//#region ../../../2-sql/2-authoring/contract-psl/dist/psl-column-resolution-DNdqpUxt.d.mts
+//#region ../../../2-sql/2-authoring/contract-psl/dist/psl-column-resolution-BgThghdu.d.mts
 //#region src/psl-column-resolution.d.ts
 type ColumnDescriptor = {
   readonly codecId: string;
@@ -22,4 +22,4 @@ type ColumnDescriptor = {
 };
 //#endregion
 export { ColumnDescriptor as t };
-//# sourceMappingURL=psl-column-resolution-DNdqpUxt-DlQwgbqn.d.mts.map
+//# sourceMappingURL=psl-column-resolution-BgThghdu-BWaFlWYV.d.mts.map

package/dist/psl-column-resolution-BgThghdu-BWaFlWYV.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"psl-column-resolution-BgThghdu-BWaFlWYV.d.mts","names":[],"sources":["../../../../2-sql/2-authoring/contract-psl/dist/psl-column-resolution-BgThghdu.d.mts"],"mappings":";;;;;;;;KASK;WACM;WACA;WACA,aAAa;;;;;;;;;WASb,WAAW"}

package/dist/{psl-field-resolution-BLtSah2i-BuuJ5H70.mjs → psl-field-resolution-DpGsATq3-BREG9FbU.mjs}

@@ -2,7 +2,7 @@ import { u as sqlCodecColumnLength } from "./sql-data-type-D7M-YTTY-C9oWGZ3z.mjs
 import { p as sqlTextFromStored, t as SQL_EXPRESSION_DATA_TYPE_ID } from "./sql-expression-BJCuy-WI.mjs";
 import { d as resolvedTypeParams } from "./types-M_FeBD9w.mjs";
 import { n as checkSqlDefaultText, o as reservedSqlDefaultText } from "./validators-Cfy0jmZ2.mjs";
-import { a as storedAsListColumn, i as isValueObjectMember } from "./derived-checks-CwbSfZ8d-B91zqK6B.mjs";
+import { a as storedAsListColumn, i as isValueObjectMember } from "./derived-checks-CXW9ytkb-B_zxX1-8.mjs";
 import { n as getAttribute, o as storageName, t as formatDbAttributeMigrationMessage } from "./psl-attribute-parsing-BCsFWsSp-LaNsbcrw.mjs";
 import { structuredError } from "@prisma/orm-framework/utils/structured-error";
 import { ifDefined } from "@prisma/orm-framework/utils/defined";
@@ -16,7 +16,7 @@ import { notOk, ok } from "@prisma/orm-framework/utils/result";
 import { describeTaggedLiteralFailure as describeTaggedLiteralFailure$1 } from "@prisma/orm-framework/components/control";
 import { bool, contributedTypeOf, dataTypeValue, diagnosticSource, entityRef, fieldAttribute, fieldRef, funcCall, generatorAttributeSpec, identifier, interpretAttribute, leafDiagnostic, list, mapArg, modelAttribute, nodePslSpan, nodeSourceText, numLiteral, oneOf, optional, record, referencedFieldRef, str, taggedLiteral, typeReferenceNode, writtenList, writtenScalar } from "@prisma/orm-framework/psl-parser";
 import { instantiatePslFieldPreset, isBareTypeConstructor, mapPslHelperArgs, reportPresetNotCalled, reportTypeConstructorNotCalled } from "@prisma/orm-framework/psl-parser/interpret";
-//#region ../../../2-sql/2-authoring/contract-psl/dist/psl-field-resolution-BLtSah2i.mjs
+//#region ../../../2-sql/2-authoring/contract-psl/dist/psl-field-resolution-DpGsATq3.mjs
 function contractError(code, message, options) {
 	return structuredError(code, message, options);
 }
@@ -1028,7 +1028,8 @@ function instantiatePslTypeConstructor(input) {
 		span: input.call.span,
 		diagnostics: input.diagnostics,
 		source: input.source,
-		entityLabel: input.entityLabel
+		entityLabel: input.entityLabel,
+		dataTypes: input.dataTypes
 	});
 	if (!args) return;
 	let output;
@@ -1157,7 +1158,8 @@ function instantiateFieldTypeConstructor(input) {
 		codecLookup: input.codecLookup,
 		diagnostics: input.diagnostics,
 		source: input.source,
-		entityLabel: input.entityLabel
+		entityLabel: input.entityLabel,
+		dataTypes: input.dataTypes
 	});
 	return instantiated === void 0 ? NOT_RESOLVED : {
 		ok: true,
@@ -1242,7 +1244,8 @@ function resolveFieldTypeDescriptor(input) {
 					codecLookup: input.codecLookup,
 					diagnostics,
 					source,
-					entityLabel
+					entityLabel,
+					dataTypes: input.dataTypes
 				});
 			}
 			if (call !== void 0) return instantiateFieldTypeConstructor({
@@ -1731,7 +1734,8 @@ function collectResolvedFields(input) {
 			...ifDefined("namespaceId", namespaceId),
 			...ifDefined("namespaceExtensionEntities", namespaceExtensionEntities),
 			binder,
-			codecLookup
+			codecLookup,
+			dataTypes
 		};
 		if (isValueObjectField) {
 			if (valueObjectStorageTypeName === void 0) {
@@ -1941,4 +1945,4 @@ function mergeExecutionDefaults(fromAttributes, fromPreset) {
 //#endregion
 export { readDataTypeDefault as _, defaultFunctionCall as a, sqlAttributeSpecs as b, getAuthoringEntity as c, interpretFieldAttribute as d, interpretModelAttribute as f, modelSpecContext as g, modelCoordinateKey as h, contractError as i, instantiateFieldTypeConstructor as l, modelAttributeSpecsFrom as m, bareTypeConstructorOf as n, describeUnsupportedSqlAttribute as o, lowerDataTypeDefault as p, collectResolvedFields as r, fieldSpecContext as s, PSL_CHECK_ON_STI_VARIANT as t, instantiatePslTypeConstructor as u, readWrittenValueForCodec as v, toNamedTypeFieldDescriptor as x, resolveFieldTypeDescriptor as y };
 
-//# sourceMappingURL=psl-field-resolution-BLtSah2i-BuuJ5H70.mjs.map
+//# sourceMappingURL=psl-field-resolution-DpGsATq3-BREG9FbU.mjs.map