@prisma/orm-family-sql 8.0.0-rc.1-dev.9 → 8.0.0-rc.1-dev.11

package/dist/{interpreter-5WgpL-ax-BIbrd_Xv.mjs → interpreter-BDZ_Y5U--CWQ831IX.mjs}

@@ -1,5 +1,5 @@
 import { t as deriveValueSetFromEntity } from "./value-set-derivation-hook-Di9JZ0X7.mjs";
-import { n as buildSqlContractFromDefinition } from "./derived-checks-BDG-r9XD-CrpFUaO7.mjs";
+import { n as buildSqlContractFromDefinition } from "./derived-checks-CmJgg-N0-Dt3bpEKZ.mjs";
 import { UNBOUND_NAMESPACE_ID } from "@prisma/orm-framework/components/ir";
 import { structuredError } from "@prisma/orm-framework/utils/structured-error";
 import { InternalError } from "@prisma/orm-framework/utils/internal-error";
@@ -10,7 +10,7 @@ import { blindCast } from "@prisma/orm-framework/utils/casts";
 import { bool, entityRef, fieldAttribute, fieldRef, findBlockDescriptor, funcCall, identifier, interpretAttribute, keywordPslSpan, leafDiagnostic, list, modelAttribute, nodePslSpan, num, oneOf, optional, record, str } from "@prisma/orm-framework/psl-parser";
 import { assertDefined, invariant } from "@prisma/orm-framework/utils/assertions";
 import { notOk, ok } from "@prisma/orm-framework/utils/result";
-//#region ../../../2-sql/2-authoring/contract-psl/dist/interpreter-5WgpL-ax.mjs
+//#region ../../../2-sql/2-authoring/contract-psl/dist/interpreter-BDZ_Y5U-.mjs
 function contractError(code, message, options) {
 	return structuredError(code, message, options);
 }
@@ -445,6 +445,26 @@ function buildEnumDefaultSpec(memberNames) {
 }
 const idFieldSpec = fieldAttribute("id", { named: { map: optional(str()) } });
 const uniqueFieldSpec = fieldAttribute("unique", { named: { map: optional(str()) } });
+const noCheckKindArgument = () => oneOf(identifier("membership"), identifier("elementNotNull"));
+/**
+* `@noCheck` waives generated CHECK constraints on one column: bare for every
+* kind the column's shape derives, or naming concrete kinds. Two optional
+* positional slots cover the whole kind vocabulary; a third argument is
+* necessarily a duplicate and fails as excess arity.
+*/
+const noCheckFieldSpec = fieldAttribute("noCheck", {
+	positional: [{
+		key: "first",
+		type: optional(noCheckKindArgument())
+	}, {
+		key: "second",
+		type: optional(noCheckKindArgument())
+	}],
+	refine: (value, ctx, attributeNode) => {
+		if (value.first !== void 0 && value.first === value.second) return [leafDiagnostic(ctx, attributeNode, "`@noCheck` names the same kind twice")];
+		return [];
+	}
+});
 const idModelSpec = modelAttribute("id", {
 	positional: [{
 		key: "fields",
@@ -1011,7 +1031,8 @@ const BUILTIN_FIELD_ATTRIBUTE_NAMES = /* @__PURE__ */ new Set([
 	"unique",
 	"default",
 	"relation",
-	"map"
+	"map",
+	"noCheck"
 ]);
 const REMOVED_ATTRIBUTE_RULES = /* @__PURE__ */ new Map([["updatedAt", {
 	hint: "Use `temporal.updatedAt()` as a field-preset call instead.",
@@ -1088,10 +1109,62 @@ function extractFieldConstraintNames(input) {
 		})?.map
 	};
 }
+/**
+* Interprets a field's `@noCheck` attribute and resolves it against the
+* column's shape: the bare form becomes every kind the shape derives, and a
+* named kind that can never apply is a spec-validation diagnostic on the
+* attribute node. Returns the concrete kinds in canonical ascending order —
+* the only form the definition tree carries.
+*/
+function lowerNoCheckForField(input) {
+	const node = findFieldAttributeNode(input.field, "noCheck");
+	if (node === void 0) return void 0;
+	const interpreted = interpretFieldAttribute({
+		node,
+		spec: noCheckFieldSpec,
+		model: input.model,
+		field: input.field,
+		sourceFile: input.sourceFile,
+		sourceId: input.sourceId,
+		diagnostics: input.diagnostics
+	});
+	if (interpreted === void 0) return void 0;
+	const span = getAttribute(input.field.attributes, "noCheck")?.span ?? input.field.span;
+	const subject = `Field "${input.model.name}.${input.field.name}"`;
+	const derivable = [];
+	if (input.isListField) derivable.push("elementNotNull");
+	if (input.isDomainEnum) derivable.push("membership");
+	const authored = [interpreted.first, interpreted.second].filter((kind) => kind === "membership" || kind === "elementNotNull");
+	if (authored.length === 0) {
+		if (derivable.length === 0) {
+			input.diagnostics.push({
+				code: "PSL_INVALID_ATTRIBUTE_ARGUMENT",
+				message: `${subject} @noCheck waives nothing — this column's shape derives no generated checks`,
+				sourceId: input.sourceId,
+				span
+			});
+			return;
+		}
+		return derivable;
+	}
+	for (const kind of authored) if (!derivable.includes(kind)) {
+		const explanation = kind === "membership" ? "membership checks are derived only from enum value sets" : "element-non-null checks are derived only for list columns";
+		input.diagnostics.push({
+			code: "PSL_INVALID_ATTRIBUTE_ARGUMENT",
+			message: `${subject} @noCheck(${kind}) does not apply — ${explanation}`,
+			sourceId: input.sourceId,
+			span
+		});
+		return;
+	}
+	return [...authored].sort();
+}
 function collectResolvedFields(input) {
 	const { model, mapping, enumTypeDescriptors, namedTypeDescriptors, modelNames, compositeTypeNames, composedExtensions, authoringContributions, familyId, targetId, defaultFunctionRegistry, generatorDescriptorById, diagnostics, sourceId, scalarColumnDescriptors, enumHandles, capabilities, namespaceId, namespaceExtensionEntities, codecLookup } = input;
 	const resolvedFields = [];
 	const valueObjectStorageTypeName = authoringContributions?.valueObjectStorageType;
+	const declaredControlPolicy = getAttribute(model.attributes, "control")?.args.find((arg) => arg.kind === "positional")?.value.trim();
+	const modelDerivesChecks = declaredControlPolicy === void 0 || declaredControlPolicy === "managed";
 	for (const field of Object.values(model.fields)) {
 		const isModelField = modelNames.has(field.typeName);
 		if (field.list && isModelField) continue;
@@ -1279,6 +1352,15 @@ function collectResolvedFields(input) {
 		}
 		const fieldExecutionDefaults = presetContributions?.executionDefaults ?? loweredDefault.executionDefaults;
 		const fieldDefaultValue = presetContributions?.default ?? loweredDefault.defaultValue;
+		const noCheckKinds = modelDerivesChecks ? lowerNoCheckForField({
+			model,
+			field,
+			sourceFile: input.sourceFile,
+			sourceId,
+			isListField: isListField && !isValueObjectField,
+			isDomainEnum: enumHandle !== void 0,
+			diagnostics
+		}) : void 0;
 		resolvedFields.push({
 			field,
 			columnName: mappedColumnName,
@@ -1291,6 +1373,7 @@ function collectResolvedFields(input) {
 			...ifDefined("idName", idName),
 			...ifDefined("uniqueName", uniqueName),
 			...ifDefined("many", isListField ? true : void 0),
+			...ifDefined("noCheck", noCheckKinds),
 			...ifDefined("valueObjectTypeName", isValueObjectField ? field.typeName : void 0),
 			...ifDefined("scalarCodecId", scalarCodecId)
 		});
@@ -2741,6 +2824,7 @@ function buildModelNodeFromPsl(input) {
 					...resolvedField.many && resolvedField.valueObjectTypeName === void 0 ? { many: true } : {},
 					...ifDefined("default", resolvedField.defaultValue),
 					...ifDefined("executionDefaults", resolvedField.executionDefaults),
+					...ifDefined("noCheck", resolvedField.noCheck),
 					...ifDefined("enumTypeHandle", enumHandle)
 				};
 			}),
@@ -3523,4 +3607,4 @@ function interpretPslDocumentToSqlContract(input) {
 //#endregion
 export { interpretPslDocumentToSqlContract as t };
 
-//# sourceMappingURL=interpreter-5WgpL-ax-BIbrd_Xv.mjs.map
+//# sourceMappingURL=interpreter-BDZ_Y5U--CWQ831IX.mjs.map