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

package/dist/{migration-lg_VgP_F.d.mts → migration-CJ0xK_7n.d.mts}

@@ -1,6 +1,6 @@
 import { l as SqlStorage } from "./sql-storage-tZhB8nS5-8NSWT0TW.mjs";
 import "./types-DMfBh16_.mjs";
-import { C as SqlPlanTargetDetails, d as SqlMigrationPlanOperation } from "./types-DaYtBAYT-B22gkh5z.mjs";
+import { C as SqlPlanTargetDetails, d as SqlMigrationPlanOperation } from "./types-DaYtBAYT-DbsbDMTk.mjs";
 import { Contract } from "@prisma/orm-framework/contract/types";
 import { Migration } from "@prisma/orm-toolchain/migration-tools/migration";
 //#region ../../../2-sql/9-family/dist/migration.d.mts
@@ -41,4 +41,4 @@ declare abstract class SqlMigration<TDetails extends SqlPlanTargetDetails, TTarg
 }
 //#endregion
 export { SqlMigration as t };
-//# sourceMappingURL=migration-lg_VgP_F.d.mts.map
+//# sourceMappingURL=migration-CJ0xK_7n.d.mts.map

package/dist/{migration-lg_VgP_F.d.mts.map → migration-CJ0xK_7n.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"migration-lg_VgP_F.d.mts","names":[],"sources":["../../../../2-sql/9-family/dist/migration.d.mts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;uBA0BuB,aAAa,iBAAiB,sBAAsB,mCAAmC,cAAc,SAAS,cAAc,SAAS,aAAa,YAAY,SAAS,cAAc,SAAS,qBAAqB,UAAU,0BAA0B,kBAAkB,WAAW,OAAO;;;;;;;;;;;MAW5S"}
+{"version":3,"file":"migration-CJ0xK_7n.d.mts","names":[],"sources":["../../../../2-sql/9-family/dist/migration.d.mts"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;uBA0BuB,aAAa,iBAAiB,sBAAsB,mCAAmC,cAAc,SAAS,cAAc,SAAS,aAAa,YAAY,SAAS,cAAc,SAAS,qBAAqB,UAAU,0BAA0B,kBAAkB,WAAW,OAAO;;;;;;;;;;;MAW5S"}

package/dist/psl-build-ClY62mZM.d.mts

@@ -0,0 +1,157 @@
+import { u as SqlColumnIR } from "./types-Bqe0AXuw-xqQnkIj4.mjs";
+import "./types-CTdsm45r.mjs";
+import { n as SqlDataType, s as SqlTypeParams } from "./data-type-DuzmTpzK.mjs";
+import "./default-mapping-CEISdj2g-DF1LzGBR.mjs";
+import { AuthoringTypeConstructorCall, AuthoringTypeConstructorDescriptor, AuthoringTypeNamespace, FieldPresetsByCodecAndGenerator, PrintableFieldPreset } 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 { DefaultFunctionPrinter } from "@prisma/orm-framework/components/control";
+//#region ../../../2-sql/9-family/dist/psl-build.d.mts
+//#region src/core/psl-build/inferred-type-constructors.d.ts
+/** The type constructor `contract infer` writes for a data type, with the data type it produces. */
+interface InferredTypeConstructor {
+  readonly path: readonly string[];
+  readonly descriptor: AuthoringTypeConstructorDescriptor;
+  readonly dataType: SqlDataType;
+}
+/** The constructors marked `inferred` in a stack, keyed by the id of the data type each produces. */
+type InferredTypeConstructors = ReadonlyMap<string, InferredTypeConstructor>;
+/** Every constructor of `authoringTypes` marked `inferred`, by the data type its codec represents. */
+declare function inferredTypeConstructors(input: {
+  readonly authoringTypes: AuthoringTypeNamespace;
+  readonly codecLookup: Pick<CodecLookupWithDescriptors, 'descriptorFor'>;
+  readonly dataTypeLookup: DataTypeLookup;
+}): InferredTypeConstructors;
+/**
+ * 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.
+ */
+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.
+ */
+declare function pslTypeArgumentText(value: unknown): 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. */
+interface PslTypeCall {
+  readonly path: readonly string[];
+  readonly args: readonly string[];
+}
+/** 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;
+/** One introspected table, with the schema it was read from. */
+interface IntrospectedTable {
+  readonly schemaName: string;
+  readonly tableName: string;
+  readonly columns: readonly SqlColumnIR[];
+}
+/**
+ * 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.
+ */
+declare function inferColumnTypes(input: {
+  readonly tables: readonly IntrospectedTable[];
+  readonly constructors: InferredTypeConstructors;
+  readonly isEnumColumn: (column: SqlColumnIR) => boolean;
+}): ColumnTypeOf;
+//#endregion
+//#region src/core/psl-build/generated-values.d.ts
+/** The PSL call of the default function that produces `generatorId` with `params`, or `undefined` when no default function in the stack writes it. */
+declare function defaultFunctionCallFor(defaultFunctionPrintersByGenerator: ReadonlyMap<string, DefaultFunctionPrinter>, generatorId: string, params: Readonly<Record<string, unknown>> | undefined): string | undefined;
+type FieldPresetArgument = {
+  readonly kind: 'positional';
+  readonly value: string;
+} | {
+  readonly kind: 'named';
+  readonly name: string;
+  readonly value: string;
+};
+type ColumnPhase = 'onCreate' | 'onUpdate';
+/**
+ * What a column's PSL type stands for. `dataType` is a type that stands for the column's codec and type params alone, written as a bare name such as `String` or a call such as `Timestamptz(3)`. A named type, a value object or an enum, including a native enum written `pg.enum(<Block>)`, names something more.
+ */
+type PslColumnTypeKind = 'dataType' | 'namedType' | 'valueObject' | 'enum';
+/** The name a column's PSL type is written with, and what it stands for. */
+interface PslColumnTypeRef {
+  readonly kind: PslColumnTypeKind;
+  readonly typeName: string;
+}
+/** Why the call of the preset that writes a column's codec with its generators cannot be written. */
+type FieldPresetUnwritableReason = {
+  readonly kind: 'columnType';
+  readonly columnType: Exclude<PslColumnTypeKind, 'dataType'>;
+  readonly typeName: string;
+} | {
+  readonly kind: 'list';
+} | {
+  readonly kind: 'phasesNotWrittenTogether';
+} | {
+  readonly kind: 'unwritableArgument';
+  readonly argument: string;
+  readonly value: unknown;
+} | {
+  readonly kind: 'argumentsRejected';
+  readonly message: string;
+};
+/** A part of the column the preset call, once written, reads back differently. */
+type FieldPresetReadBackDifference = {
+  readonly part: 'codecId';
+  readonly column: string;
+  readonly printed: string;
+} | {
+  readonly part: 'typeParams';
+  readonly column: Readonly<Record<string, unknown>> | undefined;
+  readonly printed: Readonly<Record<string, unknown>> | undefined;
+} | {
+  readonly part: ColumnPhase;
+  readonly column: ExecutionMutationDefaultValue | undefined;
+  readonly printed: ExecutionMutationDefaultValue | undefined;
+};
+/** How a column's generators are written with a field preset, or why they cannot be. */
+type FieldPresetCallChoice = {
+  readonly kind: 'noPreset';
+} | {
+  readonly kind: 'call';
+  readonly preset: PrintableFieldPreset;
+  readonly arguments: readonly FieldPresetArgument[];
+} | {
+  readonly kind: 'cannotWrite';
+  readonly preset: PrintableFieldPreset;
+  readonly reason: FieldPresetUnwritableReason;
+} | {
+  readonly kind: 'readsBackDifferently';
+  readonly preset: PrintableFieldPreset;
+  readonly differences: readonly FieldPresetReadBackDifference[];
+};
+interface FieldPresetColumn {
+  readonly codecId: string;
+  readonly pslType: PslColumnTypeRef;
+  readonly list: boolean;
+  readonly typeParams: Readonly<Record<string, unknown>> | undefined;
+  readonly generators: ExecutionMutationDefaultPhases;
+}
+/**
+ * The call of the field preset in the stack that writes a column's codec with its generators. The call is written only for a column that is not a list and whose PSL type stands for its data type, which the preset call takes the place of, and when the preset accepts its arguments as the PSL reader checks them; it is then checked to read back with the column's codec, type params and generators with their params, where absent and empty params count as the same. Otherwise the reason it cannot be written that way.
+ */
+declare function fieldPresetCallFor(input: {
+  readonly fieldPresetsByCodecAndGenerator: FieldPresetsByCodecAndGenerator;
+  readonly column: FieldPresetColumn;
+}): FieldPresetCallChoice;
+//#endregion
+//#region src/core/psl-build/psl-names.d.ts
+/**
+ * PSL member name for a native-enum value. The value itself always prints
+ * explicitly (`member = "value"`), so the returned name never needs a map:
+ * a value that already is a valid, non-reserved identifier is kept verbatim
+ * (case included); anything else is camelCased/escaped like a field name.
+ */
+declare function toEnumMemberName(value: string): string;
+//#endregion
+export { pslTypeArgumentText as _, FieldPresetUnwritableReason as a, IntrospectedTable as c, PslTypeCall as d, defaultFunctionCallFor as f, inferredTypeConstructors as g, inferColumnTypes as h, FieldPresetReadBackDifference as i, PslColumnTypeKind as l, fieldPresetCallFor as m, FieldPresetArgument as n, InferredTypeConstructor as o, fewestArgumentsCall as p, FieldPresetCallChoice as r, InferredTypeConstructors as s, ColumnTypeOf as t, PslColumnTypeRef as u, toEnumMemberName as v };
+//# sourceMappingURL=psl-build-ClY62mZM.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"psl-build-ClY62mZM.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;;;;;iBAK7E,oBAAoB;;;;UAI3B;WACC;WACA;;;KAGN,gBAAgB,mBAAmB,uBAAuB;;UAErD;WACC;WACA;WACA,kBAAkB;;;;;;;;iBAQZ,iBAAiB;WACvB,iBAAiB;WACjB,cAAc;WACd,eAAe,QAAQ;IAC9B;;;;iBAIa,uBAAuB,oCAAoC,oBAAoB,yBAAyB,qBAAqB,QAAQ,SAAS;KAC1J;WACM;WACA;;WAEA;WACA;WACA;;KAEN;;;;KAIA;;UAEK;WACC,MAAM;WACN;;;KAGN;WACM;WACA,YAAY,QAAQ;WACpB;;WAEA;;WAEA;;WAEA;WACA;WACA;;WAEA;WACA;;;KAGN;WACM;WACA;WACA;;WAEA;WACA,QAAQ,SAAS;WACjB,SAAS,SAAS;;WAElB,MAAM;WACN,QAAQ;WACR,SAAS;;;KAGf;WACM;;WAEA;WACA,QAAQ;WACR,oBAAoB;;WAEpB;WACA,QAAQ;WACR,QAAQ;;WAER;WACA,QAAQ;WACR,sBAAsB;;UAEvB;WACC;WACA,SAAS;WACT;WACA,YAAY,SAAS;WACrB,YAAY;;;;;iBAKN,mBAAmB;WACzB,iCAAiC;WACjC,QAAQ;IACf;;;;;;;;;iBASa,iBAAiB"}

package/dist/{psl-build-BsJ6eChh.mjs → psl-build-pU0gKdVI.mjs}

@@ -3,9 +3,10 @@ import { t as numeralText } from "./data-type-DKk8Unnz.mjs";
 import { r as escapePslString } from "./data-type-support-C5-XxxeB.mjs";
 import "./sql-expression-BJCuy-WI.mjs";
 import { t as sqlFamilyError } from "./errors-B5g0xWro-mWH2C07F.mjs";
-import { authoringTypeConstructorArguments, authoringTypeConstructors, castTypedValue, instantiateAuthoringTypeConstructor, printTaggedLiteral, readWrittenValue } from "@prisma/orm-framework/components/authoring";
+import { authoringTypeConstructorArguments, authoringTypeConstructors, castTypedValue, instantiateAuthoringFieldPreset, instantiateAuthoringTypeConstructor, printTaggedLiteral, readWrittenValue, validateAuthoringHelperArguments } from "@prisma/orm-framework/components/authoring";
 import { dataTypeId, dataTypeParams } from "@prisma/orm-framework/components/codec";
 import { InternalError, isInternalError } from "@prisma/orm-framework/utils/internal-error";
+import { isRuntimeError } from "@prisma/orm-framework/components/components";
 import { canonicalizeJson } from "@prisma/orm-framework/components/utils";
 //#region ../../../2-sql/9-family/dist/psl-build.mjs
 /** Every constructor of `authoringTypes` marked `inferred`, by the data type its codec represents. */
@@ -55,12 +56,12 @@ function fewestArgumentsCall(marked, params) {
 	};
 }
 /**
-* A type constructor argument as PSL writes it: a number as written, a string between quotes.
-* Undefined for a string PSL cannot carry, because a quote, backslash or line break in it would read
-* back differently.
+* 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 !== "string") return String(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. */
@@ -356,7 +357,145 @@ function sameForm(left, right) {
 		return other !== void 0 && sameForm(member, other);
 	});
 }
+/** The PSL call of the default function that produces `generatorId` with `params`, or `undefined` when no default function in the stack writes it. */
+function defaultFunctionCallFor(defaultFunctionPrintersByGenerator, generatorId, params) {
+	const printer = defaultFunctionPrintersByGenerator.get(generatorId);
+	return printer === void 0 ? void 0 : `${printer.functionName}(${printer.printArguments(params)})`;
+}
+const PHASES = ["onCreate", "onUpdate"];
+function sameParams(left, right) {
+	return canonicalizeJson(left ?? {}) === canonicalizeJson(right ?? {});
+}
+function sameGenerator(left, right) {
+	if (left === void 0 || right === void 0) return left === right;
+	return left.id === right.id && sameParams(left.params, right.params);
+}
+function writesEveryPhase(printForm, column) {
+	return PHASES.every((phase) => {
+		const generatorId = column.generators[phase]?.id;
+		return generatorId === void 0 || printForm[phase]?.valuesByGenerator.has(generatorId);
+	});
+}
+function writtenArguments(printForm, column) {
+	const positional = [];
+	for (const [index, name] of printForm.typeParams.entries()) {
+		const value = column.typeParams?.[name];
+		if (value === void 0) break;
+		const text = pslTypeArgumentText(value);
+		if (text === void 0) return {
+			kind: "unwritable",
+			argument: name,
+			value
+		};
+		positional.push({
+			index,
+			value,
+			argument: {
+				kind: "positional",
+				value: text
+			}
+		});
+	}
+	const named = PHASES.flatMap((phase) => {
+		const phasePrintForm = printForm[phase];
+		const generatorId = column.generators[phase]?.id;
+		const value = generatorId === void 0 ? void 0 : phasePrintForm?.valuesByGenerator.get(generatorId);
+		if (phasePrintForm === void 0 || value === void 0) return [];
+		const { argument: name, index } = phasePrintForm;
+		return [{
+			index,
+			value,
+			argument: {
+				kind: "named",
+				name,
+				value
+			}
+		}];
+	});
+	return {
+		kind: "written",
+		arguments: [...positional, ...named]
+	};
+}
+function rejectionOf(preset, args) {
+	try {
+		validateAuthoringHelperArguments(preset.path.join("."), preset.descriptor.args, args);
+		return;
+	} catch (error) {
+		if (isRuntimeError(error) && error.code === "CONTRACT.ARGUMENT_INVALID") return error.message;
+		throw error;
+	}
+}
+function readBackDifferences(preset, column, args) {
+	const printed = instantiateAuthoringFieldPreset(preset.descriptor, args);
+	const printedGenerators = printed.executionDefaults ?? {};
+	return [
+		...printed.descriptor.codecId === column.codecId ? [] : [{
+			part: "codecId",
+			column: column.codecId,
+			printed: printed.descriptor.codecId
+		}],
+		...sameParams(column.typeParams, printed.descriptor.typeParams) ? [] : [{
+			part: "typeParams",
+			column: column.typeParams,
+			printed: printed.descriptor.typeParams
+		}],
+		...PHASES.flatMap((phase) => sameGenerator(column.generators[phase], printedGenerators[phase]) ? [] : [{
+			part: phase,
+			column: column.generators[phase],
+			printed: printedGenerators[phase]
+		}])
+	];
+}
+function cannotWrite(preset, reason) {
+	return {
+		kind: "cannotWrite",
+		preset,
+		reason
+	};
+}
+/**
+* The call of the field preset in the stack that writes a column's codec with its generators. The call is written only for a column that is not a list and whose PSL type stands for its data type, which the preset call takes the place of, and when the preset accepts its arguments as the PSL reader checks them; it is then checked to read back with the column's codec, type params and generators with their params, where absent and empty params count as the same. Otherwise the reason it cannot be written that way.
+*/
+function fieldPresetCallFor(input) {
+	const { column } = input;
+	const byGenerator = input.fieldPresetsByCodecAndGenerator.get(column.codecId);
+	const preset = PHASES.map((phase) => column.generators[phase]?.id).map((generatorId) => generatorId === void 0 ? void 0 : byGenerator?.get(generatorId)).find((found) => found !== void 0);
+	if (preset === void 0) return { kind: "noPreset" };
+	const { pslType } = column;
+	if (pslType.kind !== "dataType") return cannotWrite(preset, {
+		kind: "columnType",
+		columnType: pslType.kind,
+		typeName: pslType.typeName
+	});
+	if (column.list) return cannotWrite(preset, { kind: "list" });
+	if (!writesEveryPhase(preset.printForm, column)) return cannotWrite(preset, { kind: "phasesNotWrittenTogether" });
+	const written = writtenArguments(preset.printForm, column);
+	if (written.kind === "unwritable") return cannotWrite(preset, {
+		kind: "unwritableArgument",
+		argument: written.argument,
+		value: written.value
+	});
+	const args = [];
+	for (const { index, value } of written.arguments) args[index] = value;
+	const rejection = rejectionOf(preset, args);
+	if (rejection !== void 0) return cannotWrite(preset, {
+		kind: "argumentsRejected",
+		message: rejection
+	});
+	const differences = readBackDifferences(preset, column, args);
+	if (differences.length > 0) return {
+		kind: "readsBackDifferently",
+		preset,
+		differences
+	};
+	return {
+		kind: "call",
+		preset,
+		arguments: written.arguments.map(({ argument }) => argument)
+	};
+}
 //#endregion
-export { pslTypeArgumentText as a, mapDefault as i, inferColumnTypes as n, inferredTypeConstructors as r, fewestArgumentsCall as t };
+export { inferredTypeConstructors as a, inferColumnTypes as i, fewestArgumentsCall as n, mapDefault as o, fieldPresetCallFor as r, pslTypeArgumentText as s, defaultFunctionCallFor as t };
 
-//# sourceMappingURL=psl-build-BsJ6eChh.mjs.map
+//# sourceMappingURL=psl-build-pU0gKdVI.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"psl-build-pU0gKdVI.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, instantiateAuthoringFieldPreset, instantiateAuthoringTypeConstructor, printTaggedLiteral, readWrittenValue, validateAuthoringHelperArguments } from \"@internal/framework-components/authoring\";\nimport { dataTypeId, dataTypeParams } from \"@internal/framework-components/codec\";\nimport { InternalError, isInternalError } from \"@internal/utils/internal-error\";\nimport { isRuntimeError } from \"@internal/framework-components/components\";\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/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* A type constructor argument as PSL writes it: a number or boolean as written, a string between quotes.\n* 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.\n*/\nfunction pslTypeArgumentText(value) {\n\tif (typeof value === \"number\" || typeof value === \"boolean\") return String(value);\n\tif (typeof value !== \"string\") return void 0;\n\treturn escapePslString(value) === value ? `\"${value}\"` : void 0;\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, reported) {\n\tconst resolved = resolveReportedSqlType(reported, dataTypes);\n\tconst marked = resolved && constructors.get(resolved.dataType);\n\tconst call = resolved && marked && fewestArgumentsCall(marked, resolved.typeParams);\n\tif (call === void 0) return void 0;\n\tconst args = call.args.map(pslTypeArgumentText);\n\treturn args.every((arg) => arg !== void 0) ? {\n\t\tpath: call.path,\n\t\targs\n\t} : void 0;\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, 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 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/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}\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}\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/generated-values.ts\n/** The PSL call of the default function that produces `generatorId` with `params`, or `undefined` when no default function in the stack writes it. */\nfunction defaultFunctionCallFor(defaultFunctionPrintersByGenerator, generatorId, params) {\n\tconst printer = defaultFunctionPrintersByGenerator.get(generatorId);\n\treturn printer === void 0 ? void 0 : `${printer.functionName}(${printer.printArguments(params)})`;\n}\nconst PHASES = [\"onCreate\", \"onUpdate\"];\nfunction sameParams(left, right) {\n\treturn canonicalizeJson(left ?? {}) === canonicalizeJson(right ?? {});\n}\nfunction sameGenerator(left, right) {\n\tif (left === void 0 || right === void 0) return left === right;\n\treturn left.id === right.id && sameParams(left.params, right.params);\n}\nfunction writesEveryPhase(printForm, column) {\n\treturn PHASES.every((phase) => {\n\t\tconst generatorId = column.generators[phase]?.id;\n\t\treturn generatorId === void 0 || printForm[phase]?.valuesByGenerator.has(generatorId);\n\t});\n}\nfunction writtenArguments(printForm, column) {\n\tconst positional = [];\n\tfor (const [index, name] of printForm.typeParams.entries()) {\n\t\tconst value = column.typeParams?.[name];\n\t\tif (value === void 0) break;\n\t\tconst text = pslTypeArgumentText(value);\n\t\tif (text === void 0) return {\n\t\t\tkind: \"unwritable\",\n\t\t\targument: name,\n\t\t\tvalue\n\t\t};\n\t\tpositional.push({\n\t\t\tindex,\n\t\t\tvalue,\n\t\t\targument: {\n\t\t\t\tkind: \"positional\",\n\t\t\t\tvalue: text\n\t\t\t}\n\t\t});\n\t}\n\tconst named = PHASES.flatMap((phase) => {\n\t\tconst phasePrintForm = printForm[phase];\n\t\tconst generatorId = column.generators[phase]?.id;\n\t\tconst value = generatorId === void 0 ? void 0 : phasePrintForm?.valuesByGenerator.get(generatorId);\n\t\tif (phasePrintForm === void 0 || value === void 0) return [];\n\t\tconst { argument: name, index } = phasePrintForm;\n\t\treturn [{\n\t\t\tindex,\n\t\t\tvalue,\n\t\t\targument: {\n\t\t\t\tkind: \"named\",\n\t\t\t\tname,\n\t\t\t\tvalue\n\t\t\t}\n\t\t}];\n\t});\n\treturn {\n\t\tkind: \"written\",\n\t\targuments: [...positional, ...named]\n\t};\n}\nfunction rejectionOf(preset, args) {\n\ttry {\n\t\tvalidateAuthoringHelperArguments(preset.path.join(\".\"), preset.descriptor.args, args);\n\t\treturn;\n\t} catch (error) {\n\t\tif (isRuntimeError(error) && error.code === \"CONTRACT.ARGUMENT_INVALID\") return error.message;\n\t\tthrow error;\n\t}\n}\nfunction readBackDifferences(preset, column, args) {\n\tconst printed = instantiateAuthoringFieldPreset(preset.descriptor, args);\n\tconst printedGenerators = printed.executionDefaults ?? {};\n\treturn [\n\t\t...printed.descriptor.codecId === column.codecId ? [] : [{\n\t\t\tpart: \"codecId\",\n\t\t\tcolumn: column.codecId,\n\t\t\tprinted: printed.descriptor.codecId\n\t\t}],\n\t\t...sameParams(column.typeParams, printed.descriptor.typeParams) ? [] : [{\n\t\t\tpart: \"typeParams\",\n\t\t\tcolumn: column.typeParams,\n\t\t\tprinted: printed.descriptor.typeParams\n\t\t}],\n\t\t...PHASES.flatMap((phase) => sameGenerator(column.generators[phase], printedGenerators[phase]) ? [] : [{\n\t\t\tpart: phase,\n\t\t\tcolumn: column.generators[phase],\n\t\t\tprinted: printedGenerators[phase]\n\t\t}])\n\t];\n}\nfunction cannotWrite(preset, reason) {\n\treturn {\n\t\tkind: \"cannotWrite\",\n\t\tpreset,\n\t\treason\n\t};\n}\n/**\n* The call of the field preset in the stack that writes a column's codec with its generators. The call is written only for a column that is not a list and whose PSL type stands for its data type, which the preset call takes the place of, and when the preset accepts its arguments as the PSL reader checks them; it is then checked to read back with the column's codec, type params and generators with their params, where absent and empty params count as the same. Otherwise the reason it cannot be written that way.\n*/\nfunction fieldPresetCallFor(input) {\n\tconst { column } = input;\n\tconst byGenerator = input.fieldPresetsByCodecAndGenerator.get(column.codecId);\n\tconst preset = PHASES.map((phase) => column.generators[phase]?.id).map((generatorId) => generatorId === void 0 ? void 0 : byGenerator?.get(generatorId)).find((found) => found !== void 0);\n\tif (preset === void 0) return { kind: \"noPreset\" };\n\tconst { pslType } = column;\n\tif (pslType.kind !== \"dataType\") return cannotWrite(preset, {\n\t\tkind: \"columnType\",\n\t\tcolumnType: pslType.kind,\n\t\ttypeName: pslType.typeName\n\t});\n\tif (column.list) return cannotWrite(preset, { kind: \"list\" });\n\tif (!writesEveryPhase(preset.printForm, column)) return cannotWrite(preset, { kind: \"phasesNotWrittenTogether\" });\n\tconst written = writtenArguments(preset.printForm, column);\n\tif (written.kind === \"unwritable\") return cannotWrite(preset, {\n\t\tkind: \"unwritableArgument\",\n\t\targument: written.argument,\n\t\tvalue: written.value\n\t});\n\tconst args = [];\n\tfor (const { index, value } of written.arguments) args[index] = value;\n\tconst rejection = rejectionOf(preset, args);\n\tif (rejection !== void 0) return cannotWrite(preset, {\n\t\tkind: \"argumentsRejected\",\n\t\tmessage: rejection\n\t});\n\tconst differences = readBackDifferences(preset, column, args);\n\tif (differences.length > 0) return {\n\t\tkind: \"readsBackDifferently\",\n\t\tpreset,\n\t\tdifferences\n\t};\n\treturn {\n\t\tkind: \"call\",\n\t\tpreset,\n\t\targuments: written.arguments.map(({ argument }) => argument)\n\t};\n}\n//#endregion\nexport { defaultFunctionCallFor, fewestArgumentsCall, fieldPresetCallFor, inferColumnTypes, inferredTypeConstructors, mapDefault, pslTypeArgumentText, toEnumMemberName };\n\n//# sourceMappingURL=psl-build.mjs.map"],"mappings":";;;;;;;;;;;;AAYA,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;;;;;AAKA,SAAS,oBAAoB,OAAO;CACnC,IAAI,OAAO,UAAU,YAAY,OAAO,UAAU,WAAW,OAAO,OAAO,KAAK;CAChF,IAAI,OAAO,UAAU,UAAU,OAAO,KAAK;CAC3C,OAAO,gBAAgB,KAAK,MAAM,QAAQ,IAAI,MAAM,KAAK,KAAK;AAC/D;;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,UAAU;CACvD,MAAM,WAAW,uBAAuB,UAAU,SAAS;CAC3D,MAAM,SAAS,YAAY,aAAa,IAAI,SAAS,QAAQ;CAC7D,MAAM,OAAO,YAAY,UAAU,oBAAoB,QAAQ,SAAS,UAAU;CAClF,IAAI,SAAS,KAAK,GAAG,OAAO,KAAK;CACjC,MAAM,OAAO,KAAK,KAAK,IAAI,mBAAmB;CAC9C,OAAO,KAAK,OAAO,QAAQ,QAAQ,KAAK,CAAC,IAAI;EAC5C,MAAM,KAAK;EACX;CACD,IAAI,KAAK;AACV;;;;;;;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,QAAQ;EAChE,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,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;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;AACA,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,uBAAuB,oCAAoC,aAAa,QAAQ;CACxF,MAAM,UAAU,mCAAmC,IAAI,WAAW;CAClE,OAAO,YAAY,KAAK,IAAI,KAAK,IAAI,GAAG,QAAQ,aAAa,GAAG,QAAQ,eAAe,MAAM,EAAE;AAChG;AACA,MAAM,SAAS,CAAC,YAAY,UAAU;AACtC,SAAS,WAAW,MAAM,OAAO;CAChC,OAAO,iBAAiB,QAAQ,CAAC,CAAC,MAAM,iBAAiB,SAAS,CAAC,CAAC;AACrE;AACA,SAAS,cAAc,MAAM,OAAO;CACnC,IAAI,SAAS,KAAK,KAAK,UAAU,KAAK,GAAG,OAAO,SAAS;CACzD,OAAO,KAAK,OAAO,MAAM,MAAM,WAAW,KAAK,QAAQ,MAAM,MAAM;AACpE;AACA,SAAS,iBAAiB,WAAW,QAAQ;CAC5C,OAAO,OAAO,OAAO,UAAU;EAC9B,MAAM,cAAc,OAAO,WAAW,MAAM,EAAE;EAC9C,OAAO,gBAAgB,KAAK,KAAK,UAAU,MAAM,EAAE,kBAAkB,IAAI,WAAW;CACrF,CAAC;AACF;AACA,SAAS,iBAAiB,WAAW,QAAQ;CAC5C,MAAM,aAAa,CAAC;CACpB,KAAK,MAAM,CAAC,OAAO,SAAS,UAAU,WAAW,QAAQ,GAAG;EAC3D,MAAM,QAAQ,OAAO,aAAa;EAClC,IAAI,UAAU,KAAK,GAAG;EACtB,MAAM,OAAO,oBAAoB,KAAK;EACtC,IAAI,SAAS,KAAK,GAAG,OAAO;GAC3B,MAAM;GACN,UAAU;GACV;EACD;EACA,WAAW,KAAK;GACf;GACA;GACA,UAAU;IACT,MAAM;IACN,OAAO;GACR;EACD,CAAC;CACF;CACA,MAAM,QAAQ,OAAO,SAAS,UAAU;EACvC,MAAM,iBAAiB,UAAU;EACjC,MAAM,cAAc,OAAO,WAAW,MAAM,EAAE;EAC9C,MAAM,QAAQ,gBAAgB,KAAK,IAAI,KAAK,IAAI,gBAAgB,kBAAkB,IAAI,WAAW;EACjG,IAAI,mBAAmB,KAAK,KAAK,UAAU,KAAK,GAAG,OAAO,CAAC;EAC3D,MAAM,EAAE,UAAU,MAAM,UAAU;EAClC,OAAO,CAAC;GACP;GACA;GACA,UAAU;IACT,MAAM;IACN;IACA;GACD;EACD,CAAC;CACF,CAAC;CACD,OAAO;EACN,MAAM;EACN,WAAW,CAAC,GAAG,YAAY,GAAG,KAAK;CACpC;AACD;AACA,SAAS,YAAY,QAAQ,MAAM;CAClC,IAAI;EACH,iCAAiC,OAAO,KAAK,KAAK,GAAG,GAAG,OAAO,WAAW,MAAM,IAAI;EACpF;CACD,SAAS,OAAO;EACf,IAAI,eAAe,KAAK,KAAK,MAAM,SAAS,6BAA6B,OAAO,MAAM;EACtF,MAAM;CACP;AACD;AACA,SAAS,oBAAoB,QAAQ,QAAQ,MAAM;CAClD,MAAM,UAAU,gCAAgC,OAAO,YAAY,IAAI;CACvE,MAAM,oBAAoB,QAAQ,qBAAqB,CAAC;CACxD,OAAO;EACN,GAAG,QAAQ,WAAW,YAAY,OAAO,UAAU,CAAC,IAAI,CAAC;GACxD,MAAM;GACN,QAAQ,OAAO;GACf,SAAS,QAAQ,WAAW;EAC7B,CAAC;EACD,GAAG,WAAW,OAAO,YAAY,QAAQ,WAAW,UAAU,IAAI,CAAC,IAAI,CAAC;GACvE,MAAM;GACN,QAAQ,OAAO;GACf,SAAS,QAAQ,WAAW;EAC7B,CAAC;EACD,GAAG,OAAO,SAAS,UAAU,cAAc,OAAO,WAAW,QAAQ,kBAAkB,MAAM,IAAI,CAAC,IAAI,CAAC;GACtG,MAAM;GACN,QAAQ,OAAO,WAAW;GAC1B,SAAS,kBAAkB;EAC5B,CAAC,CAAC;CACH;AACD;AACA,SAAS,YAAY,QAAQ,QAAQ;CACpC,OAAO;EACN,MAAM;EACN;EACA;CACD;AACD;;;;AAIA,SAAS,mBAAmB,OAAO;CAClC,MAAM,EAAE,WAAW;CACnB,MAAM,cAAc,MAAM,gCAAgC,IAAI,OAAO,OAAO;CAC5E,MAAM,SAAS,OAAO,KAAK,UAAU,OAAO,WAAW,MAAM,EAAE,EAAE,CAAC,CAAC,KAAK,gBAAgB,gBAAgB,KAAK,IAAI,KAAK,IAAI,aAAa,IAAI,WAAW,CAAC,CAAC,CAAC,MAAM,UAAU,UAAU,KAAK,CAAC;CACzL,IAAI,WAAW,KAAK,GAAG,OAAO,EAAE,MAAM,WAAW;CACjD,MAAM,EAAE,YAAY;CACpB,IAAI,QAAQ,SAAS,YAAY,OAAO,YAAY,QAAQ;EAC3D,MAAM;EACN,YAAY,QAAQ;EACpB,UAAU,QAAQ;CACnB,CAAC;CACD,IAAI,OAAO,MAAM,OAAO,YAAY,QAAQ,EAAE,MAAM,OAAO,CAAC;CAC5D,IAAI,CAAC,iBAAiB,OAAO,WAAW,MAAM,GAAG,OAAO,YAAY,QAAQ,EAAE,MAAM,2BAA2B,CAAC;CAChH,MAAM,UAAU,iBAAiB,OAAO,WAAW,MAAM;CACzD,IAAI,QAAQ,SAAS,cAAc,OAAO,YAAY,QAAQ;EAC7D,MAAM;EACN,UAAU,QAAQ;EAClB,OAAO,QAAQ;CAChB,CAAC;CACD,MAAM,OAAO,CAAC;CACd,KAAK,MAAM,EAAE,OAAO,WAAW,QAAQ,WAAW,KAAK,SAAS;CAChE,MAAM,YAAY,YAAY,QAAQ,IAAI;CAC1C,IAAI,cAAc,KAAK,GAAG,OAAO,YAAY,QAAQ;EACpD,MAAM;EACN,SAAS;CACV,CAAC;CACD,MAAM,cAAc,oBAAoB,QAAQ,QAAQ,IAAI;CAC5D,IAAI,YAAY,SAAS,GAAG,OAAO;EAClC,MAAM;EACN;EACA;CACD;CACA,OAAO;EACN,MAAM;EACN;EACA,WAAW,QAAQ,UAAU,KAAK,EAAE,eAAe,QAAQ;CAC5D;AACD"}

package/dist/{psl-field-resolution-o9sXqIlE-BJnlxQ4z.mjs → psl-field-resolution-BOJPyV5I-0zJJ0fOo.mjs}

@@ -1,7 +1,7 @@
 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-Bvfk0aN7.mjs";
-import { a as storedAsListColumn, i as isValueObjectMember } from "./derived-checks-CrvMQTJF-DlxFFtNM.mjs";
+import { n as checkSqlDefaultText, o as reservedSqlDefaultText } from "./validators-V8vN9R85.mjs";
+import { a as storedAsListColumn, i as isValueObjectMember } from "./derived-checks-sRZp_gTF-UGwFWkVX.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";
@@ -15,7 +15,7 @@ import { notOk, ok } from "@prisma/orm-framework/utils/result";
 import { bool, contributedTypeOf, dataTypeValue, diagnosticSource, entityRef, fieldAttribute, fieldRef, funcCall, identifier, interpretAttribute, leafDiagnostic, list, mapArg, modelAttribute, nodePslSpan, numLiteral, oneOf, optional, record, referencedFieldRef, str, taggedLiteral, typeReferenceNode, writtenList, writtenScalar } from "@prisma/orm-framework/psl-parser";
 import { describeTaggedLiteralFailure as describeTaggedLiteralFailure$1 } from "@prisma/orm-framework/components/control";
 import { instantiatePslFieldPreset, isBareTypeConstructor, mapPslHelperArgs, reportPresetNotCalled, reportTypeConstructorNotCalled } from "@prisma/orm-framework/psl-parser/interpret";
-//#region ../../../2-sql/2-authoring/contract-psl/dist/psl-field-resolution-o9sXqIlE.mjs
+//#region ../../../2-sql/2-authoring/contract-psl/dist/psl-field-resolution-BOJPyV5I.mjs
 function contractError(code, message, options) {
 	return structuredError(code, message, options);
 }
@@ -1718,19 +1718,19 @@ function collectResolvedFields(input) {
 			presetContributions = resolved.presetContributions;
 		}
 		if (!descriptor) continue;
-		if (presetContributions && field.optional) {
+		if (presetContributions?.id && field.optional) {
 			diagnostics.push({
 				code: "PSL_PRESET_NOT_OPTIONAL",
-				message: `Field "${model.name}.${field.name}" uses a field-preset call and cannot be optional. Remove "?" or use a different field type.`,
+				message: `Field "${model.name}.${field.name}" is a primary key through its field preset, so it cannot be optional; primary key columns must be NOT NULL. Remove "?" or use a preset that does not make the field a primary key.`,
 				...source.at(field.span)
 			});
 			continue;
 		}
 		const defaultAttribute = getAttribute(field.attributes, "default");
-		if (presetContributions && defaultAttribute) {
+		if (presetContributions?.default && defaultAttribute) {
 			diagnostics.push({
 				code: "PSL_PRESET_AND_DEFAULT_CONFLICT",
-				message: `Field "${model.name}.${field.name}" uses a field-preset call and cannot also declare @default(...). The preset already specifies the default value.`,
+				message: `Field "${model.name}.${field.name}" uses a field-preset call that already sets a database default, so it cannot also declare @default(...). Remove @default(...) or use a preset without a default.`,
 				...source.at(defaultAttribute.span)
 			});
 			continue;
@@ -1787,11 +1787,10 @@ function collectResolvedFields(input) {
 			});
 			continue;
 		}
-		if (field.optional && loweredOnCreate) {
-			const generatorDescription = loweredOnCreate.kind === "generator" ? `"${loweredOnCreate.id}"` : "for this field";
+		if (presetContributions?.executionDefaults?.onCreate && loweredOnCreate) {
 			diagnostics.push({
-				code: "PSL_INVALID_DEFAULT_FUNCTION_ARGUMENT",
-				message: `Field "${model.name}.${field.name}" cannot be optional when using execution default ${generatorDescription}. Remove "?" or use a storage default.`,
+				code: "PSL_PRESET_AND_DEFAULT_CONFLICT",
+				message: `Field "${model.name}.${field.name}" uses a field-preset call that already generates a value on create, so @default(...) cannot generate one too. Remove @default(...), write a database default in @default(...), or use a preset without an onCreate generator.`,
 				...source.at(defaultAttribute?.span ?? field.span)
 			});
 			continue;
@@ -1839,13 +1838,13 @@ function collectResolvedFields(input) {
 			});
 			continue;
 		}
-		const fieldExecutionDefaults = presetContributions?.executionDefaults ?? loweredDefault.executionDefaults;
+		const fieldExecutionDefaults = mergeExecutionDefaults(loweredDefault.executionDefaults, presetContributions?.executionDefaults);
 		const fieldDefaultValue = presetContributions?.default ?? loweredDefault.defaultValue;
 		resolvedFields.push({
 			field,
 			columnName: mappedColumnName,
 			descriptor,
-			nullable: presetContributions?.nullable ?? field.optional,
+			nullable: field.optional || Boolean(presetContributions?.nullable),
 			...ifDefined("defaultValue", fieldDefaultValue),
 			...ifDefined("executionDefaults", fieldExecutionDefaults),
 			isId: isIdField || Boolean(presetContributions?.id),
@@ -1860,7 +1859,14 @@ function collectResolvedFields(input) {
 	}
 	return resolvedFields;
 }
+function mergeExecutionDefaults(fromDefaultAttribute, fromPreset) {
+	if (fromDefaultAttribute === void 0 || fromPreset === void 0) return fromPreset ?? fromDefaultAttribute;
+	return {
+		...fromDefaultAttribute,
+		...fromPreset
+	};
+}
 //#endregion
 export { resolveFieldTypeDescriptor as _, describeUnsupportedSqlAttribute as a, instantiateFieldTypeConstructor as c, interpretModelAttribute as d, modelAttributeSpecsFrom as f, readWrittenNumberForCodec as g, readDataTypeDefault as h, contractError as i, instantiatePslTypeConstructor as l, modelSpecContext as m, bareTypeConstructorOf as n, fieldSpecContext as o, modelCoordinateKey as p, collectResolvedFields as r, getAuthoringEntity as s, PSL_CHECK_ON_STI_VARIANT as t, interpretFieldAttribute as u, sqlAttributeSpecs as v, toNamedTypeFieldDescriptor as y };
 
-//# sourceMappingURL=psl-field-resolution-o9sXqIlE-BJnlxQ4z.mjs.map
+//# sourceMappingURL=psl-field-resolution-BOJPyV5I-0zJJ0fOo.mjs.map