@prisma/orm-family-sql 8.0.0-rc.12-dev.6 → 8.0.0-rc.12-dev.8

package/dist/family__control.mjs

@@ -1,5 +1,5 @@
 import { n as checkSqlDefaultBody } from "./validators-CR2v1106.mjs";
 import { o as extractCodecControlHooks } from "./schema-verify-CrvQZ5V8-BfrNHJbX.mjs";
 import { a as temporalStringAuthoringPresets, i as temporalCodecPresetWithPrecision, n as temporalAuthoringPresets, o as timestampNowControlDescriptor, r as temporalCodecPreset, t as TIMESTAMP_NOW_GENERATOR_ID } from "./timestamp-now-generator-CVrEeaJp-Bt_PHBSf.mjs";
-import { _ as plannerSuccess, a as buildNativeTypeExpander, b as sqlDefaultLiteralTagEntry, c as controlPolicyForCall, d as detectDestructiveChanges, f as detectTableNameCaseChanges, g as plannerFailure, h as planFieldEventOperations, i as assembleAuthoringContributions, l as control_default, m as partitionIssuesByControlPolicy, n as PSL_INVALID_DEFAULT_SQL, o as contractNamespaceToSchemaIR, p as partitionCallsByControlPolicy, r as TABLE_NAME_CASE_CHANGED_CODE, s as contractToSchemaIR, t as INIT_ADDITIVE_POLICY, u as createMigrationPlan, v as runnerFailure, y as runnerSuccess } from "./control-3ACchVAO.mjs";
+import { _ as plannerSuccess, a as buildNativeTypeExpander, b as sqlDefaultLiteralTagEntry, c as controlPolicyForCall, d as detectDestructiveChanges, f as detectTableNameCaseChanges, g as plannerFailure, h as planFieldEventOperations, i as assembleAuthoringContributions, l as control_default, m as partitionIssuesByControlPolicy, n as PSL_INVALID_DEFAULT_SQL, o as contractNamespaceToSchemaIR, p as partitionCallsByControlPolicy, r as TABLE_NAME_CASE_CHANGED_CODE, s as contractToSchemaIR, t as INIT_ADDITIVE_POLICY, u as createMigrationPlan, v as runnerFailure, y as runnerSuccess } from "./control-BjvN-a2_.mjs";
 export { INIT_ADDITIVE_POLICY, PSL_INVALID_DEFAULT_SQL, TABLE_NAME_CASE_CHANGED_CODE, TIMESTAMP_NOW_GENERATOR_ID, assembleAuthoringContributions, buildNativeTypeExpander, checkSqlDefaultBody, contractNamespaceToSchemaIR, contractToSchemaIR, controlPolicyForCall, createMigrationPlan, control_default as default, detectDestructiveChanges, detectTableNameCaseChanges, extractCodecControlHooks, partitionCallsByControlPolicy, partitionIssuesByControlPolicy, planFieldEventOperations, plannerFailure, plannerSuccess, runnerFailure, runnerSuccess, sqlDefaultLiteralTagEntry, temporalAuthoringPresets, temporalCodecPreset, temporalCodecPresetWithPrecision, temporalStringAuthoringPresets, timestampNowControlDescriptor };

package/dist/family__pack.mjs

@@ -1,4 +1,4 @@
-import { c as sqlAttributeSpecs } from "./sql-attribute-specs-BjCzXYcO-Cj8SS3iE.mjs";
+import { u as sqlAttributeSpecs } from "./sql-attribute-specs-DH3Yxb21-CZV-L28L.mjs";
 import { i as sqlFamilyPslBlockDescriptors, n as sqlFamilyAuthoringTypes, r as sqlFamilyEntityTypes, t as sqlFamilyAuthoringFieldPresets } from "./authoring-type-constructors-C1ogrr_x-B9lfq5gm.mjs";
 //#region ../../../2-sql/9-family/dist/pack.mjs
 const sqlFamilyPack = {

package/dist/{interpreter-Cs1cxg-E-N_DDfih-.mjs → interpreter-CYD009gd-DK-SbljF.mjs}

@@ -1,7 +1,7 @@
 import { n as isAuthoredIndexInput } from "./index-naming-Cj1Anq-T-w1JL7-EM.mjs";
 import { t as deriveValueSetFromEntity } from "./value-set-derivation-hook-Di9JZ0X7.mjs";
 import { n as buildSqlContractFromDefinition } from "./derived-checks-6WZKIUxH-CWip2UN5.mjs";
-import { a as interpretFieldAttribute, c as sqlAttributeSpecs, i as findModelAttributeNode, n as fieldSpecContext, o as interpretModelAttribute, r as findFieldAttributeNode, s as lowerDefaultFunctionWithRegistry, t as PSL_CHECK_ON_STI_VARIANT } from "./sql-attribute-specs-BjCzXYcO-Cj8SS3iE.mjs";
+import { a as findModelAttributeNode, c as lowerDefaultFunctionWithRegistry, i as findFieldAttributeNode, l as modelAttributeSpecsFrom, n as createSqlBinder, o as interpretFieldAttribute, r as fieldSpecContext, s as interpretModelAttribute, t as PSL_CHECK_ON_STI_VARIANT, u as sqlAttributeSpecs } from "./sql-attribute-specs-DH3Yxb21-CZV-L28L.mjs";
 import { t as defaultTableName } from "./default-table-name-BfFY8qYR-lHNcVmY5.mjs";
 import { isStructuredError, structuredError } from "@prisma/orm-framework/utils/structured-error";
 import { hasRegisteredFieldNamespace, instantiateAuthoringEntityType, instantiateAuthoringFieldPreset, instantiateAuthoringTypeConstructor, isAuthoringEntityTypeDescriptor, isAuthoringFieldPresetDescriptor, isAuthoringModelAttributeDescriptor, isAuthoringPslBlockDescriptor, isAuthoringTypeConstructorDescriptor, isDataTypeLoweringEntry, loweringEntryKey, validateAuthoringHelperArguments } from "@prisma/orm-framework/components/authoring";
@@ -17,7 +17,7 @@ import { describeTaggedLiteralFailure } from "@prisma/orm-framework/components/c
 import { notOk, ok } from "@prisma/orm-framework/utils/result";
 import { createPslDiagnosticCollector, diagnosticSource, findBlockDescriptor, keywordPslSpan, nodePslSpan } from "@prisma/orm-framework/psl-parser";
 import { consumeInvalidFkPairing, fkRelationPairKey, requiredOneToOneBackrelationDiagnostic } from "@prisma/orm-framework/psl-parser/interpret";
-//#region ../../../2-sql/2-authoring/contract-psl/dist/interpreter-Cs1cxg-E.mjs
+//#region ../../../2-sql/2-authoring/contract-psl/dist/interpreter-CYD009gd.mjs
 function contractError(code, message, options) {
 	return structuredError(code, message, options);
 }
@@ -721,8 +721,8 @@ function checkUncomposedNamespace(attributeName, composedExtensions, context) {
 *
 * The `data` payload carries the missing namespace so machine consumers (agents, IDE extensions, CLI auto-fix) don't have to parse the prose.
 */
-function reportUncomposedNamespace(input) {
-	input.diagnostics.push({
+function uncomposedNamespaceDiagnostic(input) {
+	return {
 		code: "PSL_EXTENSION_NAMESPACE_NOT_COMPOSED",
 		message: `${input.subjectLabel} uses unrecognized namespace "${input.namespace}". Add extension pack "${input.namespace}" to extensions in prisma.config.ts.`,
 		...input.source.at(input.span),
@@ -730,7 +730,15 @@ function reportUncomposedNamespace(input) {
 			namespace: input.namespace,
 			suggestedPack: input.namespace
 		}
-	});
+	};
+}
+function reportUncomposedNamespace(input) {
+	input.diagnostics.push(uncomposedNamespaceDiagnostic({
+		subjectLabel: input.subjectLabel,
+		namespace: input.namespace,
+		source: input.source,
+		span: input.span
+	}));
 }
 /**
 * Pushes the canonical `PSL_UNKNOWN_FIELD_PRESET` diagnostic when a typoed preset name is referenced inside a registered field-preset namespace. The `data` payload exposes the namespace and full helper path so machine consumers (agents, IDE extensions) don't have to parse the prose.
@@ -1095,6 +1103,7 @@ function lowerDefaultForField(input) {
 		model: input.model,
 		field: input.field,
 		sources: input.sources,
+		binder: input.binder,
 		diagnostics: input.diagnostics
 	});
 	if (interpreted === void 0) return {};
@@ -1268,6 +1277,7 @@ function lowerEnumDefaultForField(input) {
 		model,
 		field,
 		sources: input.sources,
+		binder: input.binder,
 		diagnostics
 	});
 	if (interpreted === void 0) return {};
@@ -1292,41 +1302,50 @@ const REMOVED_ATTRIBUTE_RULES = /* @__PURE__ */ new Map([["updatedAt", {
 	const overlap = [...REMOVED_ATTRIBUTE_RULES.keys()].filter((name) => Object.hasOwn(sqlAttributeSpecs.field, name));
 	if (overlap.length > 0) throw new InternalError(`Registered SQL field attributes and REMOVED_ATTRIBUTE_RULES must not overlap. Names in both: ${overlap.join(", ")}`);
 }
-function validateFieldAttributes(input) {
-	for (const attribute of input.field.attributes) {
-		if (Object.hasOwn(sqlAttributeSpecs.field, attribute.name)) continue;
-		if (attribute.name.startsWith("db.")) {
-			input.diagnostics.push({
-				code: "PSL_UNSUPPORTED_FIELD_ATTRIBUTE",
-				message: formatDbAttributeMigrationMessage(attribute),
-				...diagnosticSource(input.sources, input.field.node.syntax).at(attribute.span)
-			});
-			continue;
-		}
-		const uncomposedNamespace = checkUncomposedNamespace(attribute.name, input.composedExtensions, {
-			familyId: input.familyId,
-			targetId: input.targetId,
-			authoringContributions: input.authoringContributions
-		});
-		if (uncomposedNamespace) {
-			reportUncomposedNamespace({
-				subjectLabel: `Attribute "@${attribute.name}"`,
+function describeUnsupportedSqlAttribute(input) {
+	const namespaceContext = {
+		...ifDefined("familyId", input.familyId),
+		...ifDefined("targetId", input.targetId),
+		authoringContributions: input.authoringContributions
+	};
+	return ({ attribute, level, owner, field }) => {
+		if (level === "model") {
+			const source = diagnosticSource(input.sources, owner.node.syntax);
+			const uncomposedNamespace = checkUncomposedNamespace(attribute.name, input.composedExtensions, namespaceContext);
+			if (uncomposedNamespace) return uncomposedNamespaceDiagnostic({
+				subjectLabel: `Attribute "@@${attribute.name}"`,
 				namespace: uncomposedNamespace,
-				source: diagnosticSource(input.sources, input.field.node.syntax),
-				span: attribute.span,
-				diagnostics: input.diagnostics
+				source,
+				span: attribute.span
 			});
-			continue;
+			return {
+				code: "PSL_UNSUPPORTED_MODEL_ATTRIBUTE",
+				message: `Model "${owner.name}" uses unsupported attribute "@@${attribute.name}"`,
+				...source.at(attribute.span)
+			};
 		}
-		const baseMessage = `Field "${input.model.name}.${input.field.name}" uses unsupported attribute "@${attribute.name}"`;
-		const removedRule = REMOVED_ATTRIBUTE_RULES.get(attribute.name);
-		const message = removedRule && !removedRule.suppressWhen(input.field) ? `${baseMessage}. ${removedRule.hint}` : baseMessage;
-		input.diagnostics.push({
+		if (field === void 0) return void 0;
+		const source = diagnosticSource(input.sources, field.node.syntax);
+		if (attribute.name.startsWith("db.")) return {
 			code: "PSL_UNSUPPORTED_FIELD_ATTRIBUTE",
-			message,
-			...diagnosticSource(input.sources, input.field.node.syntax).at(attribute.span)
+			message: formatDbAttributeMigrationMessage(attribute),
+			...source.at(attribute.span)
+		};
+		const uncomposedNamespace = checkUncomposedNamespace(attribute.name, input.composedExtensions, namespaceContext);
+		if (uncomposedNamespace) return uncomposedNamespaceDiagnostic({
+			subjectLabel: `Attribute "@${attribute.name}"`,
+			namespace: uncomposedNamespace,
+			source,
+			span: attribute.span
 		});
-	}
+		const baseMessage = `Field "${owner.name}.${field.name}" uses unsupported attribute "@${attribute.name}"`;
+		const removedRule = REMOVED_ATTRIBUTE_RULES.get(attribute.name);
+		return {
+			code: "PSL_UNSUPPORTED_FIELD_ATTRIBUTE",
+			message: removedRule && !removedRule.suppressWhen(field) ? `${baseMessage}. ${removedRule.hint}` : baseMessage,
+			...source.at(attribute.span)
+		};
+	};
 }
 function extractFieldConstraintNames(input) {
 	const idAttribute = getAttribute(input.field.attributes, "id");
@@ -1339,6 +1358,7 @@ function extractFieldConstraintNames(input) {
 		model: input.model,
 		field: input.field,
 		sources: input.sources,
+		binder: input.binder,
 		diagnostics: input.diagnostics
 	})?.map;
 	const uniqueNode = findFieldAttributeNode(input.field, "unique");
@@ -1353,6 +1373,7 @@ function extractFieldConstraintNames(input) {
 			model: input.model,
 			field: input.field,
 			sources: input.sources,
+			binder: input.binder,
 			diagnostics: input.diagnostics
 		})?.map
 	};
@@ -1374,6 +1395,7 @@ function lowerNoCheckForField(input) {
 		model: input.model,
 		field: input.field,
 		sources: input.sources,
+		binder: input.binder,
 		diagnostics: input.diagnostics
 	});
 	if (interpreted === void 0) return void 0;
@@ -1406,7 +1428,7 @@ function lowerNoCheckForField(input) {
 	return [...authored].sort();
 }
 function collectResolvedFields(input) {
-	const { model, symbolTable, mapping, enumTypeDescriptors, namedTypeDescriptors, modelNames, compositeTypeNames, composedExtensions, authoringContributions, familyId, targetId, defaultFunctionRegistry, dataTypeSupport, generatorDescriptorById, diagnostics, sources, scalarColumnDescriptors, enumHandles, capabilities, namespaceId, namespaceExtensionEntities, codecLookup } = input;
+	const { model, symbolTable, mapping, enumTypeDescriptors, namedTypeDescriptors, modelNames, compositeTypeNames, composedExtensions, authoringContributions, binder, familyId, targetId, defaultFunctionRegistry, dataTypeSupport, generatorDescriptorById, diagnostics, sources, 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();
@@ -1415,16 +1437,6 @@ function collectResolvedFields(input) {
 		const source = diagnosticSource(sources, field.node.syntax);
 		const isModelField = modelNames.has(field.typeName);
 		if (field.list && isModelField) continue;
-		validateFieldAttributes({
-			model,
-			field,
-			composedExtensions,
-			authoringContributions,
-			diagnostics,
-			sources,
-			familyId,
-			targetId
-		});
 		const relationAttribute = getAttribute(field.attributes, "relation");
 		if (isModelField && relationAttribute) continue;
 		if (field.typeContractSpaceId !== void 0 && relationAttribute) continue;
@@ -1436,6 +1448,7 @@ function collectResolvedFields(input) {
 		let presetContributions;
 		const resolveInput = {
 			field,
+			binder,
 			enumTypeDescriptors,
 			namedTypeDescriptors,
 			scalarColumnDescriptors,
@@ -1518,6 +1531,7 @@ function collectResolvedFields(input) {
 			model,
 			symbolTable,
 			sources: input.sources,
+			binder: input.binder,
 			enumHandle,
 			defaultFunctionRegistry,
 			dataTypeSupport,
@@ -1529,6 +1543,7 @@ function collectResolvedFields(input) {
 			model,
 			symbolTable,
 			sources: input.sources,
+			binder: input.binder,
 			columnDescriptor: descriptor,
 			generatorDescriptorById,
 			defaultFunctionRegistry,
@@ -1569,6 +1584,7 @@ function collectResolvedFields(input) {
 			model,
 			field,
 			sources: input.sources,
+			binder: input.binder,
 			diagnostics
 		});
 		let isIdField = Boolean(idAttribute);
@@ -1603,6 +1619,7 @@ function collectResolvedFields(input) {
 			model,
 			field,
 			sources: input.sources,
+			binder: input.binder,
 			isListField: isListField && !isValueObjectField,
 			isDomainEnum: enumHandle !== void 0,
 			diagnostics
@@ -1626,7 +1643,7 @@ function collectResolvedFields(input) {
 	}
 	return resolvedFields;
 }
-function buildModelMappings(symbols, modelEntries, defaultNamespaceId, diagnostics, sources) {
+function buildModelMappings(symbols, modelEntries, defaultNamespaceId, diagnostics, sources, binder) {
 	const result = /* @__PURE__ */ new Map();
 	for (const { model, namespaceId } of modelEntries) {
 		const mapNode = findModelAttributeNode(model, "map");
@@ -1636,6 +1653,7 @@ function buildModelMappings(symbols, modelEntries, defaultNamespaceId, diagnosti
 			spec: sqlAttributeSpecs.model.map(),
 			model,
 			sources,
+			binder,
 			diagnostics
 		})?.name ?? defaultTableName(model.name);
 		const fieldColumns = /* @__PURE__ */ new Map();
@@ -1647,6 +1665,7 @@ function buildModelMappings(symbols, modelEntries, defaultNamespaceId, diagnosti
 				spec: sqlAttributeSpecs.field.map(),
 				model,
 				field,
+				binder,
 				sources,
 				diagnostics
 			})?.name ?? field.name;
@@ -1807,14 +1826,6 @@ const REFERENTIAL_ACTION_MAP = {
 function normalizeReferentialAction(actionToken) {
 	return REFERENTIAL_ACTION_MAP[actionToken];
 }
-function resolveReferencedModel(symbols, field) {
-	const topLevel = symbols.topLevel.models[field.typeName];
-	if (topLevel !== void 0) return topLevel;
-	for (const namespace of Object.values(symbols.topLevel.namespaces)) {
-		const model = namespace.models[field.typeName];
-		if (model !== void 0) return model;
-	}
-}
 function interpretRelationAttribute(input) {
 	const node = findFieldAttributeNode(input.field, "relation");
 	if (node === void 0) return void 0;
@@ -1825,8 +1836,8 @@ function interpretRelationAttribute(input) {
 		model: input.selfModel,
 		field: input.field,
 		sources: input.sources,
-		diagnostics: input.diagnostics,
-		resolveReferencedModel: () => resolveReferencedModel(input.symbols, input.field)
+		binder: input.binder,
+		diagnostics: input.diagnostics
 	});
 }
 function indexFkRelations(input) {
@@ -2500,6 +2511,7 @@ function buildModelNodeFromPsl(input) {
 		generatorDescriptorById: input.generatorDescriptorById,
 		diagnostics,
 		sources: input.sources,
+		binder: input.binder,
 		scalarColumnDescriptors: input.scalarColumnDescriptors,
 		...ifDefined("enumHandles", input.enumHandles),
 		capabilities: input.capabilities,
@@ -2533,6 +2545,7 @@ function buildModelNodeFromPsl(input) {
 			modelName: model.name,
 			field,
 			sources: input.sources,
+			binder: input.binder,
 			composedExtensions: input.composedExtensions,
 			authoringContributions: input.authoringContributions,
 			diagnostics,
@@ -2546,6 +2559,7 @@ function buildModelNodeFromPsl(input) {
 				field,
 				symbols: input.symbolTable,
 				sources: input.sources,
+				binder: input.binder,
 				diagnostics
 			});
 			if (!parsedRelation) continue;
@@ -2590,29 +2604,7 @@ function buildModelNodeFromPsl(input) {
 	const foreignKeyNodes = [];
 	const modelAttributeNodes = Array.from(model.node.attributes());
 	for (const [attributeIndex, modelAttribute] of model.attributes.entries()) {
-		if (!Object.hasOwn(sqlAttributeSpecs.model, modelAttribute.name) && !input.modelAttributesByName.has(modelAttribute.name)) {
-			const uncomposedNamespace = checkUncomposedNamespace(modelAttribute.name, input.composedExtensions, {
-				familyId: input.familyId,
-				targetId: input.targetId,
-				authoringContributions: input.authoringContributions
-			});
-			if (uncomposedNamespace) {
-				reportUncomposedNamespace({
-					subjectLabel: `Attribute "@@${modelAttribute.name}"`,
-					namespace: uncomposedNamespace,
-					source,
-					span: modelAttribute.span,
-					diagnostics
-				});
-				continue;
-			}
-			diagnostics.push({
-				code: "PSL_UNSUPPORTED_MODEL_ATTRIBUTE",
-				message: `Model "${model.name}" uses unsupported attribute "@@${modelAttribute.name}"`,
-				...source.at(modelAttribute.span)
-			});
-			continue;
-		}
+		if (!Object.hasOwn(sqlAttributeSpecs.model, modelAttribute.name) && !input.modelAttributesByName.has(modelAttribute.name)) continue;
 		if (modelAttribute.name === "map") continue;
 		if (modelAttribute.name === "discriminator" || modelAttribute.name === "base") continue;
 		if (modelAttribute.name === "control") {
@@ -2634,6 +2626,7 @@ function buildModelNodeFromPsl(input) {
 				model,
 				symbols: input.symbolTable,
 				sources: input.sources,
+				binder: input.binder,
 				diagnostics
 			});
 			if (parsed !== void 0) controlPolicy = parsed.policy;
@@ -2666,6 +2659,7 @@ function buildModelNodeFromPsl(input) {
 				model,
 				symbols: input.symbolTable,
 				sources: input.sources,
+				binder: input.binder,
 				diagnostics
 			});
 			if (parsed === void 0) continue;
@@ -2705,6 +2699,7 @@ function buildModelNodeFromPsl(input) {
 				model,
 				symbols: input.symbolTable,
 				sources: input.sources,
+				binder: input.binder,
 				diagnostics
 			});
 			if (parsed === void 0) continue;
@@ -2733,6 +2728,7 @@ function buildModelNodeFromPsl(input) {
 				model,
 				symbols: input.symbolTable,
 				sources: input.sources,
+				binder: input.binder,
 				diagnostics
 			});
 			if (parsed === void 0) continue;
@@ -2779,6 +2775,7 @@ function buildModelNodeFromPsl(input) {
 				model,
 				symbols: input.symbolTable,
 				sources: input.sources,
+				binder: input.binder,
 				diagnostics
 			});
 			if (parsed === void 0) continue;
@@ -2803,9 +2800,11 @@ function buildModelNodeFromPsl(input) {
 			declaredContributedModelAttributes.add(modelAttribute.name);
 			const node = modelAttributeNodes[attributeIndex];
 			if (node === void 0) continue;
+			const specFactory = input.contributedModelAttributeSpecs[contributedModelAttribute.attribute];
+			if (specFactory === void 0) continue;
 			const parsed = interpretModelAttribute({
 				node,
-				spec: blindCast(contributedModelAttribute.spec)({
+				spec: specFactory({
 					symbols: input.symbolTable,
 					model,
 					controlMutationDefaults: {
@@ -2816,6 +2815,7 @@ function buildModelNodeFromPsl(input) {
 				model,
 				symbols: input.symbolTable,
 				sources: input.sources,
+				binder: input.binder,
 				diagnostics
 			});
 			if (parsed === void 0) continue;
@@ -2881,6 +2881,7 @@ function buildModelNodeFromPsl(input) {
 				field: relationAttribute.field,
 				symbols: input.symbolTable,
 				sources: input.sources,
+				binder: input.binder,
 				diagnostics
 			});
 			if (!parsedRelation) continue;
@@ -2989,6 +2990,7 @@ function buildModelNodeFromPsl(input) {
 			field: relationAttribute.field,
 			symbols: input.symbolTable,
 			sources: input.sources,
+			binder: input.binder,
 			diagnostics
 		});
 		if (!parsedRelation) continue;
@@ -3204,7 +3206,7 @@ function patchModelDomainFields(models, modelResolvedFields) {
 	}
 	return patched;
 }
-function collectPolymorphismDeclarations(identities, symbols, sources, diagnostics) {
+function collectPolymorphismDeclarations(identities, symbols, sources, binder, diagnostics) {
 	const discriminatorDeclarations = /* @__PURE__ */ new Map();
 	const baseDeclarations = /* @__PURE__ */ new Map();
 	for (const { model, key } of identities.values()) {
@@ -3217,6 +3219,7 @@ function collectPolymorphismDeclarations(identities, symbols, sources, diagnosti
 				spec: sqlAttributeSpecs.model.discriminator(),
 				model,
 				sources,
+				binder,
 				diagnostics
 			});
 			if (parsed !== void 0) {
@@ -3242,6 +3245,7 @@ function collectPolymorphismDeclarations(identities, symbols, sources, diagnosti
 				spec: sqlAttributeSpecs.model.base(),
 				model,
 				sources,
+				binder,
 				diagnostics
 			});
 			if (parsed !== void 0) {
@@ -3500,6 +3504,13 @@ function stripStorageOnlyDomainFields(model, fieldNames) {
 		}
 	};
 }
+function voicedAsUncomposedNamespace(diagnostic, composedExtensions, context) {
+	const data = diagnostic.data;
+	if (data?.["reference"] !== "type") return false;
+	const name = data["name"];
+	if (typeof name !== "string") return false;
+	return checkUncomposedNamespace(name, composedExtensions, context) !== void 0;
+}
 function interpretPslDocumentToSqlContract(input) {
 	if (!input.target) throw new InternalError("PSL interpretation requires an explicit target context from composition.");
 	if (!input.scalarColumnDescriptors) throw new InternalError("PSL interpretation requires composed scalar type descriptors.");
@@ -3507,6 +3518,32 @@ function interpretPslDocumentToSqlContract(input) {
 	assertDefined(anchorDocument, "interpretPslDocumentToSqlContract requires at least one document");
 	const source = diagnosticSource(input.sources, anchorDocument.syntax);
 	const diagnostics = createPslDiagnosticCollector(input.sources);
+	const composedExtensionNames = new Set(input.composedExtensions ?? []);
+	const modelAttributesByName = buildModelAttributesByName(input.authoringContributions);
+	const contributedModelSpecs = modelAttributeSpecsFrom(modelAttributesByName);
+	const { binder, diagnostics: binderDiagnostics } = createSqlBinder({
+		symbolTable: input.symbolTable,
+		sources: input.sources,
+		authoringContributions: input.authoringContributions,
+		controlMutationDefaults: {
+			defaultFunctionRegistry: input.controlMutationDefaults?.defaultFunctionRegistry ?? /* @__PURE__ */ new Map(),
+			dataTypeEntries: input.authoringContributions?.dataTypes ?? {}
+		},
+		scalarColumnDescriptors: input.scalarColumnDescriptors,
+		contributedModelAttributeSpecs: contributedModelSpecs,
+		describeUnsupportedAttribute: describeUnsupportedSqlAttribute({
+			composedExtensions: composedExtensionNames,
+			authoringContributions: input.authoringContributions,
+			sources: input.sources,
+			familyId: input.target.familyId,
+			targetId: input.target.targetId
+		})
+	});
+	diagnostics.push(...binderDiagnostics.filter((diagnostic) => !voicedAsUncomposedNamespace(diagnostic, composedExtensionNames, {
+		familyId: "sql",
+		targetId: input.target.targetId,
+		authoringContributions: input.authoringContributions
+	})));
 	const { topLevel } = input.symbolTable;
 	const namespaceSymbols = Object.values(topLevel.namespaces);
 	validateNamespaceBlocksForSqlTarget({
@@ -3514,6 +3551,7 @@ function interpretPslDocumentToSqlContract(input) {
 		targetId: input.target.targetId,
 		source,
 		sources: input.sources,
+		binder,
 		diagnostics
 	});
 	validateBlockModelAttributeRequirements({
@@ -3606,7 +3644,6 @@ function interpretPslDocumentToSqlContract(input) {
 	const validEnumHandles = { ...enumResult.enumHandles };
 	const enumHandlesByName = new Map(Object.entries(validEnumHandles));
 	const entityTypesByDiscriminator = buildEntityTypesByDiscriminator(input.authoringContributions);
-	const modelAttributesByName = buildModelAttributesByName(input.authoringContributions);
 	const authoringWarnings = [];
 	const extensionEntityContext = {
 		family: input.target.familyId,
@@ -3619,7 +3656,7 @@ function interpretPslDocumentToSqlContract(input) {
 		} },
 		warnings: authoringWarnings
 	};
-	const earlyModelMappingsByCoordinate = buildModelMappings(input.symbolTable, modelEntries, defaultNamespaceId, createPslDiagnosticCollector(input.sources), input.sources);
+	const earlyModelMappingsByCoordinate = buildModelMappings(input.symbolTable, modelEntries, defaultNamespaceId, createPslDiagnosticCollector(input.sources), input.sources, binder);
 	const composedPslBlockDescriptors = input.authoringContributions?.pslBlockDescriptors ?? {};
 	const namespaceExtensionEntities = /* @__PURE__ */ new Map();
 	const mergeNamespaceExtensionEntities = (nsId, entities, blocks) => {
@@ -3692,7 +3729,7 @@ function interpretPslDocumentToSqlContract(input) {
 		diagnostics
 	});
 	const storageTypes = { ...namedTypeResult.storageTypes };
-	const modelMappingsByCoordinate = buildModelMappings(input.symbolTable, modelEntries, defaultNamespaceId, diagnostics, input.sources);
+	const modelMappingsByCoordinate = buildModelMappings(input.symbolTable, modelEntries, defaultNamespaceId, diagnostics, input.sources, binder);
 	const modelMappings = /* @__PURE__ */ new Map();
 	for (const mapping of modelMappingsByCoordinate.values()) modelMappings.set(mapping.model.name, mapping);
 	const modelNodes = [];
@@ -3725,6 +3762,7 @@ function interpretPslDocumentToSqlContract(input) {
 			generatorDescriptorById,
 			scalarColumnDescriptors: input.scalarColumnDescriptors,
 			sources: input.sources,
+			binder,
 			symbolTable: input.symbolTable,
 			diagnostics,
 			modelNamespaceIds,
@@ -3733,6 +3771,7 @@ function interpretPslDocumentToSqlContract(input) {
 			...namespaceExtensionEntities.size > 0 ? { namespaceExtensionEntities } : {},
 			...ifDefined("codecLookup", input.codecLookup),
 			modelAttributesByName,
+			contributedModelAttributeSpecs: contributedModelSpecs,
 			defaultNamespaceId
 		});
 		modelNodes.push(namespaceId !== void 0 ? {
@@ -3790,7 +3829,7 @@ function interpretPslDocumentToSqlContract(input) {
 			namespaceId: resolvedNamespaceId,
 			key: modelCoordinateKey(resolvedNamespaceId, model.name)
 		}];
-	})), input.symbolTable, input.sources, diagnostics);
+	})), input.symbolTable, input.sources, binder, diagnostics);
 	const stiVariantKeys = /* @__PURE__ */ new Set();
 	for (const variantKey of baseDeclarations.keys()) if (!(modelMappingsByCoordinate.get(variantKey)?.model.attributes.some((attr) => attr.name === "map") ?? false)) stiVariantKeys.add(variantKey);
 	for (const variantKey of stiVariantKeys) {
@@ -3820,7 +3859,8 @@ function interpretPslDocumentToSqlContract(input) {
 		targetId: input.target.targetId,
 		authoringContributions: input.authoringContributions,
 		diagnostics,
-		sources: input.sources
+		sources: input.sources,
+		binder
 	});
 	if (diagnostics.length > 0 || (input.seedDiagnostics?.length ?? 0) > 0) return notOk({
 		summary: "PSL to SQL contract interpretation failed",
@@ -3893,4 +3933,4 @@ function interpretPslDocumentToSqlContract(input) {
 //#endregion
 export { interpretPslDocumentToSqlContract as a, resolveFieldTypeDescriptor as c, indexFkRelations as i, buildEntityTypesByDiscriminator as n, normalizeReferentialAction as o, entryForTag as r, readDataTypeDefault as s, applyBackrelationCandidates as t };
 
-//# sourceMappingURL=interpreter-Cs1cxg-E-N_DDfih-.mjs.map
+//# sourceMappingURL=interpreter-CYD009gd-DK-SbljF.mjs.map