@prisma/orm-family-sql 8.0.0-rc.2-dev.2 → 8.0.0-rc.20

package/dist/derived-checks-D5HVRvqN-BJx1gwPA.mjs

@@ -0,0 +1,1508 @@
+import { i as indexTypeRegistryOf } from "./index-types-pC_5vADQ-BOOBi14R.mjs";
+import { i as computeCheckContentHash, r as composeCheckWirePrefix, s as derivedCheckPrefixes } from "./naming-bM5qm5PY-jOg3JFMb.mjs";
+import { r as lowerAuthoredIndex } from "./index-naming-BOcJT1B3-mG8Fd6KN.mjs";
+import { t as lowerAuthoredCheck } from "./authored-check-naming-BHGJhjqn.mjs";
+import { t as sqlContractCanonicalizationHooks } from "./canonicalization-hooks-Ce1v_TDl.mjs";
+import { p as sqlDataTypeOfCodec, y as validateSqlTypeParams } from "./sql-data-type-D7M-YTTY-D2vRqDxn.mjs";
+import { c as StorageTable, i as Index, t as CheckConstraint } from "./storage-table-DDvN83mw-DkbBFmK9.mjs";
+import { n as checkConstraintInputFromSerialized } from "./serialized-index-DjCCnXB1-DMA7BtO2.mjs";
+import { m as valueSetEntityKind, p as tableEntityKind } from "./entity-kinds-JR5SAm5h-DOH6VUtL.mjs";
+import { a as materializeForeignKeysAndIndexes } from "./foreign-key-materialization-BM59w_Xg.mjs";
+import { t as validateIndexTypes } from "./index-type-validation-DJEMmmw0.mjs";
+import { c as isMaterializedSqlNamespace, d as nonEmptyTypeParams, f as toStorageTypeInstance, o as SqlStorage, s as applyFkDefaults } from "./types-CTdSkl0s.mjs";
+import { h as validateStorageSemantics } from "./validators-BwA7ttZM.mjs";
+import { t as deriveValueSetFromEntity } from "./value-set-derivation-hook-HVaxhALD.mjs";
+import { isStructuredError, structuredError } from "@prisma/orm-framework/utils/structured-error";
+import { ifDefined } from "@prisma/orm-framework/utils/defined";
+import { flushAuthoringWarnings, isAuthoringEntityTypeDescriptor } from "@prisma/orm-framework/components/authoring";
+import { compareCodeUnits } from "@prisma/orm-framework/contract/hashing-utils";
+import { UNBOUND_NAMESPACE_ID } from "@prisma/orm-framework/components/ir";
+import { codecForRef, dataTypeParams } from "@prisma/orm-framework/components/codec";
+import { blindCast } from "@prisma/orm-framework/utils/casts";
+import { InternalError } from "@prisma/orm-framework/utils/internal-error";
+import { asNamespaceId, coreHash, crossRef, effectiveControlPolicy } from "@prisma/orm-framework/contract/types";
+import { mergeCapabilityMatrices } from "@prisma/orm-framework/components/components";
+import { encodeEnumTypeMembers, resolveToOneRelationNullable } from "@prisma/orm-framework/contract-authoring";
+import { buildExecutionSection, computeProfileHash, computeStorageHash } from "@prisma/orm-framework/contract/hashing";
+import { invariant } from "@prisma/orm-framework/utils/assertions";
+import { applySpecifierDefaultControlPolicy } from "@prisma/orm-framework/contract/apply-specifier-default-control-policy";
+//#region ../../../2-sql-family/2-authoring/contract-ts/dist/derived-checks-D5HVRvqN.mjs
+function contractError(code, message, options) {
+	return structuredError(code, message, options);
+}
+/**
+* Whether a field is stored in a list column. A list of scalars is; a list of value objects is not, because it is stored in one column whose value is the whole list, as one JSON array.
+*/
+function storedAsListColumn(field) {
+	return field.list && !field.typedByValueObject;
+}
+/** Whether a field or member is typed by a value object. */
+function isValueObjectMember(field) {
+	return "valueObjectName" in field;
+}
+/** Describes one column, declared by a model's field or by a table node. */
+function describeColumn(column, site) {
+	return {
+		columnName: column.columnName,
+		descriptor: column.descriptor,
+		nullable: column.nullable,
+		many: column.many === true ? { elementNullable: column.elementNullable === true } : false,
+		default: column.default,
+		enumTypeHandle: column.enumTypeHandle,
+		site
+	};
+}
+/**
+* The member values a membership check must enforce, encoded exactly as the
+* column stores them. Membership predicates support strings and finite numbers.
+*/
+function checkMemberValues(handle, codecLookup) {
+	const encoded = encodeEnumTypeMembers(handle, codecLookup, "the column").map((member) => member.value);
+	const values = [];
+	for (const value of encoded) {
+		if (typeof value !== "string" && !(typeof value === "number" && Number.isFinite(value))) throw contractError("CONTRACT.ENUM_INVALID", `enumType("${handle.enumName}"): CHECK constraint members must encode to strings or finite numbers.`, { meta: {
+			enumName: handle.enumName,
+			reason: "unsupported-member-value"
+		} });
+		values.push(value);
+	}
+	return values;
+}
+/**
+* The refs of a field typed by an authored enum: the domain enum and its storage value set. Authored enums are registered in the default namespace, whatever namespace the field's model is in.
+*/
+function enumValueSetRefs(enumHandle, defaultNamespaceId) {
+	if (enumHandle === void 0) return void 0;
+	const common = {
+		namespaceId: defaultNamespaceId,
+		entityName: enumHandle.enumName
+	};
+	return {
+		domain: {
+			plane: "domain",
+			entityKind: "enum",
+			...common
+		},
+		storage: {
+			plane: "storage",
+			entityKind: "valueSet",
+			...common
+		}
+	};
+}
+function buildDomainField(field, defaultNamespaceId) {
+	if (isValueObjectMember(field)) return {
+		type: {
+			kind: "valueObject",
+			name: field.valueObjectName
+		},
+		nullable: field.nullable,
+		many: field.many ? { elementNullable: field.elementNullable === true } : false
+	};
+	return {
+		type: {
+			kind: "scalar",
+			codecId: field.descriptor.codecId,
+			...ifDefined("typeParams", nonEmptyTypeParams(field.descriptor.typeParams))
+		},
+		nullable: field.nullable,
+		many: field.many ? { elementNullable: field.elementNullable === true } : false,
+		...ifDefined("valueSet", enumValueSetRefs(field.enumTypeHandle, defaultNamespaceId)?.domain)
+	};
+}
+/** How an error message names the column: `Field "Model.field"` or `Column "table.column"`. */
+function columnSiteSubject(site) {
+	return site.kind === "field" ? `Field "${site.modelName}.${site.fieldName}"` : `Column "${site.tableName}.${site.columnName}"`;
+}
+/** The error metadata that locates the column. */
+function columnSiteMeta(site) {
+	return site.kind === "field" ? {
+		modelName: site.modelName,
+		fieldName: site.fieldName
+	} : {
+		namespaceId: site.namespaceId,
+		tableName: site.tableName,
+		columnName: site.columnName
+	};
+}
+/** How an error message names the owner: `model "User"` or `table "audit_rows" in namespace "public"`. */
+function referenceOwnerSubject(owner) {
+	return owner.kind === "model" ? `model "${owner.modelName}"` : `table "${owner.tableName}" in namespace "${owner.namespaceId}"`;
+}
+/** The error metadata that locates the owner. */
+function referenceOwnerMeta(owner) {
+	return owner.kind === "model" ? { sourceModel: owner.modelName } : {
+		sourceTable: owner.tableName,
+		sourceNamespaceId: owner.namespaceId
+	};
+}
+/** A declared namespace coordinate, where an omitted or empty one means the target's default namespace. */
+function namespaceIdOrDefault(namespaceId, defaultNamespaceId) {
+	return namespaceId !== void 0 && namespaceId.length > 0 ? namespaceId : defaultNamespaceId;
+}
+function assertKnownTargetModel(modelsByName, modelsByCoordinate, owner, targetModelName, targetNamespaceId, context) {
+	const targetModel = targetNamespaceId !== void 0 && targetNamespaceId.length > 0 ? modelsByCoordinate.get(`${targetNamespaceId}:${targetModelName}`) : modelsByName.get(targetModelName);
+	if (!targetModel) {
+		const qualified = targetNamespaceId !== void 0 && targetNamespaceId.length > 0 ? `${targetNamespaceId}.${targetModelName}` : targetModelName;
+		throw contractError("CONTRACT.MODEL_UNKNOWN", `${context} on ${referenceOwnerSubject(owner)} references unknown model "${qualified}"`, { meta: {
+			...referenceOwnerMeta(owner),
+			targetModel: qualified,
+			context
+		} });
+	}
+	return targetModel;
+}
+function assertTargetTableMatches(owner, targetModel, referencedTableName, context) {
+	if (targetModel.tableName !== referencedTableName) throw contractError("CONTRACT.TABLE_MISMATCH", `${context} on ${referenceOwnerSubject(owner)} references table "${referencedTableName}" but model "${targetModel.modelName}" maps to "${targetModel.tableName}"`, { meta: {
+		...referenceOwnerMeta(owner),
+		referencedTable: referencedTableName,
+		mappedTable: targetModel.tableName,
+		context
+	} });
+}
+function modelNamespaceId(model, defaultNamespaceId) {
+	return namespaceIdOrDefault(model.namespaceId, defaultNamespaceId);
+}
+function modelLookupsOf(definition) {
+	const defaultNamespaceId = definition.target.defaultNamespaceId;
+	const { models } = definition;
+	return {
+		defaultNamespaceId,
+		modelsByName: new Map(models.map((m) => [m.modelName, m])),
+		modelsByCoordinate: new Map(models.map((m) => [`${modelNamespaceId(m, defaultNamespaceId)}:${m.modelName}`, m])),
+		tableNamespaceByName: new Map(models.map((m) => [m.tableName, modelNamespaceId(m, defaultNamespaceId)]))
+	};
+}
+function toOneNullabilityContradictionMessage(location, contradiction) {
+	return contradiction === "declared-optional" ? `${location} is optional but every local field it joins on is required` : `${location} is required but a local field it joins on is nullable`;
+}
+function toOneRelationNullable(semanticModel, relation) {
+	const location = `Relation "${semanticModel.modelName}.${relation.fieldName}"`;
+	if (relation.nullable === void 0) throw contractError("CONTRACT.RELATION_INVALID", `${location} with cardinality "${relation.cardinality}" must state whether it is nullable`, { meta: {
+		modelName: semanticModel.modelName,
+		relationName: relation.fieldName,
+		reason: "to-one-nullability-missing"
+	} });
+	const localColumns = relation.on.parentColumns;
+	const { contradiction } = resolveToOneRelationNullable({
+		declaredNullable: relation.nullable,
+		localFieldNullability: semanticModel.fields.filter((field) => localColumns.includes(field.columnName)).map((field) => field.nullable),
+		ownsReference: relation.cardinality === "N:1"
+	});
+	if (contradiction !== void 0) throw contractError("CONTRACT.RELATION_INVALID", relation.cardinality === "N:1" ? toOneNullabilityContradictionMessage(location, contradiction) : `${location} is required but does not own the foreign key, so nothing in storage guarantees the related row exists`, { meta: {
+		modelName: semanticModel.modelName,
+		relationName: relation.fieldName,
+		reason: "to-one-nullability-mismatch"
+	} });
+	return relation.nullable;
+}
+function buildThroughDescriptor(through, tableNamespaceByName, targetModel, modelName, fieldName, defaultNamespaceId) {
+	if (!tableNamespaceByName.has(through.table)) throw contractError("CONTRACT.MODEL_UNKNOWN", `buildSqlContractFromDefinition: junction table "${through.table}" for relation "${modelName}.${fieldName}" is not a declared model.`, { meta: {
+		sourceModel: modelName,
+		relationName: fieldName,
+		junctionTable: through.table
+	} });
+	const namespaceId = through.namespaceId ?? defaultNamespaceId;
+	return {
+		table: through.table,
+		namespaceId,
+		parentColumns: through.parentColumns,
+		childColumns: through.childColumns,
+		targetColumns: targetColumnsForJunction(targetModel, fieldName)
+	};
+}
+function targetColumnsForJunction(targetModel, fieldName) {
+	const primaryKeyColumns = targetModel.id?.columns;
+	if (primaryKeyColumns && primaryKeyColumns.length > 0) return primaryKeyColumns;
+	const firstUnique = targetModel.uniques?.find((u) => u.columns.length > 0);
+	if (firstUnique) return firstUnique.columns;
+	throw contractError("CONTRACT.IDENTITY_INVALID", `M:N target model "${targetModel.modelName}" (relation field "${fieldName}") has no primary id or unique key to derive junction targetColumns.`, { meta: {
+		modelName: targetModel.modelName,
+		reason: "no-key-for-junction-target-columns"
+	} });
+}
+/** The field of `model` that maps a relation's join column. A relation joins on fields, so a column no field maps is refused. */
+function joinFieldOf(owner, relation, model, columnToField, column) {
+	const field = columnToField.get(column);
+	if (field !== void 0) return field;
+	throw contractError("CONTRACT.RELATION_INVALID", `Relation "${owner.modelName}.${relation.fieldName}" joins on column "${column}" of table "${model.tableName}", which no field of model "${model.modelName}" maps. A relation joins on fields; declare a field for the column.`, { meta: {
+		modelName: owner.modelName,
+		relationName: relation.fieldName,
+		column,
+		reason: "join-column-not-a-field"
+	} });
+}
+/** Lowers a model's relations. `columnToField` maps the model's columns to the fields that hold them. */
+function lowerRelations(semanticModel, columnToField, lookups) {
+	const { defaultNamespaceId } = lookups;
+	const modelRelations = {};
+	for (const relation of semanticModel.relations ?? []) {
+		if (relation.spaceId !== void 0) {
+			const targetNamespaceId = relation.namespaceId ?? defaultNamespaceId;
+			const localFields = relation.on.parentColumns.map((col) => joinFieldOf(semanticModel, relation, semanticModel, columnToField, col));
+			modelRelations[relation.fieldName] = {
+				to: crossRef(relation.toModel, targetNamespaceId, relation.spaceId),
+				cardinality: "N:1",
+				nullable: toOneRelationNullable(semanticModel, relation),
+				on: {
+					localFields,
+					targetFields: relation.on.childColumns
+				}
+			};
+			continue;
+		}
+		const owner = {
+			kind: "model",
+			modelName: semanticModel.modelName
+		};
+		const targetModel = assertKnownTargetModel(lookups.modelsByName, lookups.modelsByCoordinate, owner, relation.toModel, relation.toNamespaceId, "Relation");
+		invariant(relation.toTable !== void 0, `Relation "${semanticModel.modelName}.${relation.fieldName}" is local but carries no target table; only cross-space relations may leave it unset.`);
+		assertTargetTableMatches(owner, targetModel, relation.toTable, "Relation");
+		const targetColumnToField = new Map(targetModel.fields.map((f) => [f.columnName, f.fieldName]));
+		const to = crossRef(relation.toModel, relation.toNamespaceId !== void 0 && relation.toNamespaceId.length > 0 ? relation.toNamespaceId : modelNamespaceId(targetModel, defaultNamespaceId));
+		const joinField = (model, fields, column) => joinFieldOf(semanticModel, relation, model, fields, column);
+		const on = {
+			localFields: relation.on.parentColumns.map((col) => joinField(semanticModel, columnToField, col)),
+			targetFields: relation.through !== void 0 ? [...relation.on.childColumns] : relation.on.childColumns.map((col) => joinField(targetModel, targetColumnToField, col))
+		};
+		if (relation.cardinality === "N:M") {
+			if (!relation.through) throw contractError("CONTRACT.RELATION_INVALID", `Relation "${semanticModel.modelName}.${relation.fieldName}" with cardinality "N:M" requires through metadata`, { meta: {
+				modelName: semanticModel.modelName,
+				relationName: relation.fieldName,
+				reason: "many-to-many-missing-through"
+			} });
+			modelRelations[relation.fieldName] = {
+				to,
+				cardinality: "N:M",
+				on,
+				through: buildThroughDescriptor(relation.through, lookups.tableNamespaceByName, targetModel, semanticModel.modelName, relation.fieldName, defaultNamespaceId)
+			};
+		} else if (relation.cardinality === "1:N") modelRelations[relation.fieldName] = {
+			to,
+			cardinality: "1:N",
+			on
+		};
+		else modelRelations[relation.fieldName] = {
+			to,
+			cardinality: relation.cardinality,
+			nullable: toOneRelationNullable(semanticModel, relation),
+			on
+		};
+	}
+	return modelRelations;
+}
+/** The key of a table among all tables of a contract: its namespace and its name. */
+function tableKey(namespaceId, tableName) {
+	return JSON.stringify([namespaceId, tableName]);
+}
+/** Resolves a foreign key's target. A cross-space key keeps its foreign space; a local key names either a model of this definition and that model's table, or a table a model or table node declares. */
+function resolveForeignKey(fk, sourceTable, context) {
+	const source = {
+		namespaceId: asNamespaceId(sourceTable.namespaceId),
+		tableName: sourceTable.tableName,
+		columns: fk.columns
+	};
+	const options = {
+		...applyFkDefaults({
+			...ifDefined("constraint", fk.constraint),
+			...ifDefined("index", fk.index)
+		}, context.foreignKeyDefaults),
+		...ifDefined("name", fk.name),
+		...ifDefined("onDelete", fk.onDelete),
+		...ifDefined("onUpdate", fk.onUpdate)
+	};
+	if (fk.references.spaceId !== void 0) return {
+		source,
+		target: {
+			namespaceId: asNamespaceId(fk.references.namespaceId ?? context.defaultNamespaceId),
+			tableName: fk.references.table,
+			columns: fk.references.columns,
+			spaceId: fk.references.spaceId
+		},
+		...options
+	};
+	const { references } = fk;
+	if (references.model === void 0) {
+		const namespaceId = namespaceIdOrDefault(references.namespaceId, context.defaultNamespaceId);
+		if (!context.declaredTables.has(tableKey(namespaceId, references.table))) throw contractError("CONTRACT.TABLE_UNKNOWN", `Foreign key on ${referenceOwnerSubject(sourceTable.owner)} references table "${references.table}" in namespace "${namespaceId}", which no model or table node declares. Declare the table with a model or a table node, or correct the name.`, { meta: {
+			...referenceOwnerMeta(sourceTable.owner),
+			referencedTable: references.table,
+			namespaceId
+		} });
+		return {
+			source,
+			target: {
+				namespaceId: asNamespaceId(namespaceId),
+				tableName: references.table,
+				columns: references.columns
+			},
+			...options
+		};
+	}
+	const targetModel = assertKnownTargetModel(context.modelsByName, context.modelsByCoordinate, sourceTable.owner, references.model, fk.references.namespaceId, "Foreign key");
+	assertTargetTableMatches(sourceTable.owner, targetModel, fk.references.table, "Foreign key");
+	return {
+		source,
+		target: {
+			namespaceId: asNamespaceId(namespaceIdOrDefault(fk.references.namespaceId, modelNamespaceId(targetModel, context.defaultNamespaceId))),
+			tableName: fk.references.table,
+			columns: fk.references.columns
+		},
+		...options
+	};
+}
+/**
+* Resolves a deferred entity-ref column descriptor (e.g. a `pg.enum(handle)`
+* column) against the field's now-known owning namespace: attaches the
+* storage `valueSet` ref the collected entity's derived value-set is stored
+* under. `typeParams.typeName` stays bare here — schema
+* qualification (e.g. `auth.aal_level`) is a target concern applied in the
+* next step, `qualifyColumnDescriptor`. A descriptor with no `entityRef` (the
+* ordinary case) passes through unchanged.
+*/
+function resolveEntityRefDescriptor(descriptor, namespaceId) {
+	const entityRef = descriptor.entityRef;
+	if (entityRef === void 0) return descriptor;
+	return {
+		...descriptor,
+		valueSet: {
+			plane: "storage",
+			entityKind: "valueSet",
+			namespaceId,
+			entityName: entityRef.entityName
+		}
+	};
+}
+/**
+* Structural check for a target that contributes a `qualifyColumnType` hook
+* on its authoring contributions. Duck-typed (mirroring
+* `contract-psl`'s `hasColumnFromEntityHook`) so the SQL family stays blind
+* to the target's qualification logic and no framework/family interface has
+* to name the hook.
+*/
+function hasColumnTypeQualifier(authoring) {
+	return "qualifyColumnType" in authoring && typeof authoring.qualifyColumnType === "function";
+}
+/**
+* Structural check for a target that contributes a `renderCheckExpressions`
+* hook, duck-typed for the same reason {@link hasColumnTypeQualifier} is: the
+* SQL family stays blind to the target's predicate syntax.
+*/
+function hasCheckExpressionRenderer(authoring) {
+	return "renderCheckExpressions" in authoring && typeof authoring.renderCheckExpressions === "function";
+}
+function resolveCheckExpressionRenderer(target) {
+	const authoring = target.authoring;
+	if (authoring === void 0) return void 0;
+	return hasCheckExpressionRenderer(authoring) ? authoring.renderCheckExpressions : void 0;
+}
+function resolveColumnTypeQualifier(target) {
+	const authoring = target.authoring;
+	if (authoring === void 0) return void 0;
+	return hasColumnTypeQualifier(authoring) ? authoring.qualifyColumnType : void 0;
+}
+/**
+* Applies the target's `qualifyColumnType` hook to a scalar column descriptor.
+* A descriptor whose codec the target leaves unchanged passes through untouched.
+*/
+function qualifyColumnDescriptor(descriptor, namespaceId, qualify) {
+	if (qualify === void 0) return descriptor;
+	const qualified = qualify({
+		codecId: descriptor.codecId,
+		...ifDefined("typeParams", descriptor.typeParams)
+	}, namespaceId);
+	if (qualified.typeParams === descriptor.typeParams) return descriptor;
+	return {
+		...descriptor,
+		...ifDefined("typeParams", qualified.typeParams)
+	};
+}
+/**
+* A column's descriptor as its namespace makes it: a deferred entity ref gets its storage value set, and the target's `qualifyColumnType` hook qualifies the type for the namespace.
+*/
+function resolveColumnDescriptor(descriptor, namespaceId, qualify) {
+	const resolved = resolveEntityRefDescriptor(descriptor, namespaceId);
+	return qualifyColumnDescriptor(resolved, resolved.valueSet?.namespaceId ?? namespaceId, qualify);
+}
+/**
+* Converts one model into the storage it implies and its domain model. Other models are read only to resolve the references this one makes to them.
+*/
+function describeModel(model, context) {
+	const namespaceId = modelNamespaceId(model, context.defaultNamespaceId);
+	const { tableName } = model;
+	const fieldToColumn = {};
+	const domainFields = {};
+	const executionDefaults = [];
+	for (const field of model.fields) {
+		const executionDefault = executionDefaultOf(field);
+		fieldToColumn[field.fieldName] = field.columnName;
+		domainFields[field.fieldName] = buildDomainField(isValueObjectMember(field) ? field : {
+			...field,
+			descriptor: resolveColumnDescriptor(field.descriptor, namespaceId, context.qualifyColumnType)
+		}, context.defaultNamespaceId);
+		if (executionDefault) executionDefaults.push({
+			ref: {
+				namespace: namespaceId,
+				entry: tableName,
+				field: field.columnName
+			},
+			...ifDefined("onCreate", executionDefault.onCreate),
+			...ifDefined("onUpdate", executionDefault.onUpdate)
+		});
+	}
+	const storage = describeModelStorage(model, namespaceId, (model.foreignKeys ?? []).map((fk) => resolveForeignKey(fk, {
+		namespaceId,
+		tableName: model.tableName,
+		owner: {
+			kind: "model",
+			modelName: model.modelName
+		}
+	}, context)));
+	const storageFields = {};
+	for (const [fieldName, columnName] of Object.entries(fieldToColumn)) storageFields[fieldName] = { column: columnName };
+	const columnToField = new Map(Object.entries(fieldToColumn).map(([field, col]) => [col, field]));
+	return {
+		storage,
+		domain: {
+			namespaceId,
+			modelName: model.modelName,
+			model: {
+				storage: {
+					table: tableName,
+					namespaceId,
+					fields: storageFields
+				},
+				fields: domainFields,
+				relations: lowerRelations(model, columnToField, context)
+			},
+			executionDefaults
+		}
+	};
+}
+/**
+* Single-table-inheritance variants share their base model's table: the variant's columns must already be on that table, and it has no table of its own. That leaves an authored check nowhere to attach, so it is refused here as a backstop; the PSL surface refuses it earlier, at interpretation, with a diagnostic that names the base model.
+*/
+function describeModelStorage(model, namespaceId, foreignKeys) {
+	const { tableName } = model;
+	const columns = model.fields.map((field) => describeFieldColumn(model.modelName, field));
+	if (model.sharesBaseTable) {
+		if (model.checks && model.checks.length > 0) throw contractError("CONTRACT.CHECK_ON_STI_VARIANT", `Model "${model.modelName}" declares a check constraint but shares its base model's storage table (single-table inheritance) and has no table of its own to declare it on. Declare the check on the base model instead.`, { meta: {
+			tableName,
+			modelName: model.modelName
+		} });
+		return {
+			kind: "baseTable",
+			modelName: model.modelName,
+			namespaceId,
+			tableName,
+			columns
+		};
+	}
+	return {
+		kind: "ownTable",
+		modelName: model.modelName,
+		table: {
+			namespaceId,
+			tableName,
+			columns,
+			control: model.control,
+			id: model.id,
+			uniques: model.uniques ?? [],
+			indexes: model.indexes ?? [],
+			checks: model.checks ?? [],
+			foreignKeys
+		}
+	};
+}
+function describeFieldColumn(modelName, field) {
+	const site = {
+		kind: "field",
+		modelName,
+		fieldName: field.fieldName
+	};
+	if (isValueObjectMember(field)) return describeColumn({
+		columnName: field.columnName,
+		descriptor: field.descriptor,
+		nullable: field.nullable,
+		...ifDefined("default", field.default)
+	}, site);
+	return describeColumn(field, site);
+}
+function executionDefaultOf(field) {
+	return field.executionDefaults?.onCreate || field.executionDefaults?.onUpdate ? field.executionDefaults : void 0;
+}
+/** Describes a table node: its columns, and its foreign keys resolved against the definition's models and tables. */
+function describeTableNode(table, context) {
+	const namespaceId = namespaceIdOrDefault(table.namespaceId, context.defaultNamespaceId);
+	const { tableName } = table;
+	const owner = {
+		kind: "tableNode",
+		namespaceId,
+		tableName
+	};
+	return {
+		namespaceId,
+		tableName,
+		columns: table.columns.map((column) => describeColumn(column, {
+			kind: "tableNode",
+			namespaceId,
+			tableName,
+			columnName: column.columnName
+		})),
+		id: table.id,
+		uniques: table.uniques ?? [],
+		indexes: table.indexes ?? [],
+		checks: table.checks ?? [],
+		foreignKeys: (table.foreignKeys ?? []).map((fk) => resolveForeignKey(fk, {
+			namespaceId,
+			tableName,
+			owner
+		}, context)),
+		control: table.control
+	};
+}
+/**
+* The codec that encodes one column's default, built with the column's own `typeParams`, because a parameterized codec checks its params when it encodes and reads a default. Only a column has params; every other encode site takes the representative instance.
+*/
+function columnCodec(codecId, typeParams, codecLookup) {
+	return codecForRef(codecLookup, {
+		codecId,
+		...ifDefined("typeParams", typeParams === void 0 ? void 0 : blindCast(typeParams))
+	});
+}
+/** The JSON the contract stores for a value: the codec gives the value of its data type under the column's parameters, which the type refuses when they exclude it, and the codec reads it back, refusing a value its application value cannot hold. */
+function encodeViaCodec(value, codec) {
+	if (codec) {
+		const stored = codec.toDataTypeValue(value);
+		codec.fromDataTypeValue(stored);
+		return codec.dataType.toContract(stored);
+	}
+	return blindCast(value);
+}
+function defaultRefusal(site, cause, elementPosition) {
+	const subject = elementPosition === void 0 ? "default" : `default (element ${elementPosition})`;
+	const reason = cause instanceof Error ? cause.message : String(cause);
+	return contractError("CONTRACT.DEFAULT_INVALID", `${columnSiteSubject(site)} has a ${subject} that its codec refuses: ${reason}`, {
+		cause,
+		meta: {
+			...columnSiteMeta(site),
+			codecId: site.codecId,
+			reason: "codec-refused-default",
+			...ifDefined("elementPosition", elementPosition)
+		}
+	});
+}
+/** The refusal of a literal default by a data type that has no literal values, such as a raw column's. */
+function noLiteralValuesRefusal(site, cause) {
+	return contractError("CONTRACT.DEFAULT_INVALID", `${columnSiteSubject(site)} has a literal default. ${cause.message}`, {
+		cause,
+		meta: {
+			...columnSiteMeta(site),
+			codecId: site.codecId,
+			reason: "no-literal-values"
+		}
+	});
+}
+function encodeDefaultValue(value, codec, site, elementPosition) {
+	try {
+		return encodeViaCodec(value, codec);
+	} catch (cause) {
+		if (cause instanceof InternalError) throw cause;
+		if (isStructuredError(cause) && cause.code === "CONTRACT.LITERAL_VALUES_ABSENT") throw noLiteralValuesRefusal(site, cause);
+		throw defaultRefusal(site, cause, elementPosition);
+	}
+}
+function codecForDefault(codecLookup, resolveCodec, site) {
+	const codec = buildCodecForDefault(codecLookup, resolveCodec, site);
+	if (codec === void 0) throw contractError("CONTRACT.DEFAULT_INVALID", `${columnSiteSubject(site)} has a default, but no pack in the contract declares its codec "${site.codecId}", so the default cannot be checked. List the pack that owns the codec in \`extensions\`.`, { meta: {
+		...columnSiteMeta(site),
+		codecId: site.codecId,
+		reason: "codec-not-found"
+	} });
+	return codec;
+}
+function buildCodecForDefault(codecLookup, resolveCodec, site) {
+	try {
+		return resolveCodec(codecLookup);
+	} catch (cause) {
+		if (!isStructuredError(cause) || cause.code !== "RUNTIME.TYPE_PARAMS_INVALID") throw cause;
+		throw contractError("CONTRACT.ARGUMENT_INVALID", `${columnSiteSubject(site)} has type parameters that its codec does not accept: ${cause.message}`, {
+			cause,
+			meta: {
+				...columnSiteMeta(site),
+				codecId: site.codecId,
+				reason: "type-params-invalid"
+			}
+		});
+	}
+}
+function encodeColumnDefault(defaultInput, codecLookup, resolveCodec, site, many = false, elementNullable = false) {
+	if (defaultInput.kind === "function") return {
+		kind: "function",
+		expression: defaultInput.expression
+	};
+	if ("inStoredForm" in defaultInput && defaultInput.inStoredForm === true) return {
+		kind: "literal",
+		value: blindCast(defaultInput.value)
+	};
+	if (many) {
+		if (!Array.isArray(defaultInput.value)) throw contractError("CONTRACT.DEFAULT_INVALID", `${columnSiteSubject(site)} is a list field, so its default is an array; received ${typeof defaultInput.value}. Call .many() before .default().`, { meta: {
+			...columnSiteMeta(site),
+			codecId: site.codecId,
+			reason: "list-default-not-array"
+		} });
+		const codec = codecForDefault(codecLookup, resolveCodec, site);
+		return {
+			kind: "literal",
+			value: defaultInput.value.map((element, index) => {
+				if (element !== null) return encodeDefaultValue(element, codec, site, index + 1);
+				if (elementNullable) return null;
+				throw new InternalError("Literal default on a strict list column cannot contain null elements.");
+			})
+		};
+	}
+	return {
+		kind: "literal",
+		value: encodeDefaultValue(defaultInput.value, codecForDefault(codecLookup, resolveCodec, site), site)
+	};
+}
+/**
+* Records a deferred column's entity-ref into the namespace-scoped collection
+* accumulator (`namespaceId → entityKind → entityName`) — folded into the same
+* namespace assembly `deriveEntityValueSets`/`entries.<kind>` step as the
+* entities-channel attachments, so a column-collected entity gets its
+* value-set the same way an entities-channel one does.
+*
+* The same handle reused by many columns in one namespace is normal (a native
+* enum type backs any number of columns) and records the identical entity once.
+* Two *different* entity instances sharing a name+kind in one namespace is a
+* name collision — the emitted `entries.valueSet.<name>` could only reflect one
+* of them, silently mismatching the other column's type/cast. PSL hard-errors
+* on the equivalent (`PSL_DUPLICATE_DECLARATION`); the TS path rejects it too.
+*/
+function collectEntityFromColumn(collected, namespaceId, entityRef) {
+	const forNs = collected[namespaceId] ?? {};
+	const forKind = forNs[entityRef.entityKind] ?? {};
+	const existing = forKind[entityRef.entityName];
+	if (existing !== void 0 && existing !== entityRef.entity) throw contractError("CONTRACT.NAME_DUPLICATE", `buildSqlContractFromDefinition: two different "${entityRef.entityKind}" entities named "${entityRef.entityName}" in namespace "${namespaceId}" — pack-entity names must be unique per namespace.`, { meta: {
+		kind: entityRef.entityKind,
+		name: entityRef.entityName,
+		namespaceId
+	} });
+	forKind[entityRef.entityName] = entityRef.entity;
+	forNs[entityRef.entityKind] = forKind;
+	collected[namespaceId] = forNs;
+}
+/**
+* Merges a namespace's entities-channel attachments (lowered from the
+* `entities` handle list, carried on `ContractDefinition.attachedEntities`)
+* with the entities collected from that namespace's deferred entity-ref
+* columns. A column-collected entity that shadows a *different* attached
+* entity of the same kind+name (or vice-versa) is the same name-collision bug
+* `collectEntityFromColumn` guards against across columns, so it is rejected
+* the same way — by entity identity, so the same handle attached and used by
+* a column does not throw.
+*/
+function mergeColumnAndAttachedEntities(namespaceId, attached, columnCollected) {
+	if (attached === void 0) return columnCollected;
+	if (columnCollected === void 0) return attached;
+	const kinds = /* @__PURE__ */ new Set([...Object.keys(attached), ...Object.keys(columnCollected)]);
+	const result = {};
+	for (const kind of kinds) {
+		const attachedForKind = attached[kind];
+		const columnForKind = columnCollected[kind];
+		for (const [name, entity] of Object.entries(columnForKind ?? {})) {
+			const existing = attachedForKind?.[name];
+			if (existing !== void 0 && existing !== entity) throw contractError("CONTRACT.NAME_DUPLICATE", `buildSqlContractFromDefinition: two different "${kind}" entities named "${name}" in namespace "${namespaceId}" — a column-referenced entity conflicts with an attached one; pack-entity names must be unique per namespace.`, { meta: {
+				kind,
+				name,
+				namespaceId
+			} });
+		}
+		result[kind] = {
+			...attachedForKind,
+			...columnForKind
+		};
+	}
+	return result;
+}
+/**
+* Entry kinds the framework assembler itself manages (`table` from models,
+* `valueSet` from `enums` and attached-entity value-set derivation). A
+* pack-attached entity claiming one of these would silently clobber or be
+* clobbered by the managed slot, so it is rejected outright.
+*/
+const MANAGED_ENTRY_KINDS = /* @__PURE__ */ new Set([tableEntityKind.kind, valueSetEntityKind.kind]);
+function assertNoManagedEntityKinds(namespaceId, entitiesForNs) {
+	if (entitiesForNs === void 0) return;
+	for (const kind of Object.keys(entitiesForNs)) if (MANAGED_ENTRY_KINDS.has(kind)) throw contractError("CONTRACT.ENTITY_KIND_INVALID", `buildSqlContractFromDefinition: attached entity in namespace "${namespaceId}" declares entry kind "${kind}", which is managed by the framework (table/valueSet) and cannot be attached.`, { meta: {
+		entityKind: kind,
+		namespaceId
+	} });
+}
+/**
+* Walks the flat `entityTypes` namespace tree contributed by the target pack
+* and every extension pack, indexing descriptors by their `discriminator` —
+* the same string a pack entity's entries-map key (`entries.<kind>`) uses.
+* Mirrors `contract-psl`'s `buildEntityTypesByDiscriminator`, recomposed here
+* from the packs `ContractDefinition` already carries (`target` +
+* `extensions`) since the TS assembler has no single pre-merged
+* `AuthoringContributions` input to read the way the PSL interpreter does.
+*/
+function collectEntityTypeDescriptorsByDiscriminator(definition) {
+	const result = /* @__PURE__ */ new Map();
+	const walk = (namespace) => {
+		for (const value of Object.values(namespace)) if (isAuthoringEntityTypeDescriptor(value)) result.set(value.discriminator, value);
+		else walk(value);
+	};
+	const components = [definition.target, ...Object.values(definition.extensions ?? {})];
+	for (const component of components) {
+		const entityTypes = component.authoring?.entityTypes;
+		if (entityTypes !== void 0) walk(entityTypes);
+	}
+	return result;
+}
+/**
+* Derives value-sets for every pack entity declared in one namespace,
+* reusing the same `SqlValueSetDerivingEntityTypeOutput.deriveValueSet` hook
+* `contract-psl`'s `lowerExtensionBlocksForNamespace` folds into
+* `entries.valueSet` on the PSL path — so a TS-attached entity (e.g. a
+* native enum) gets its value-set the same way. Entity kinds with no
+* registered descriptor, or whose descriptor output doesn't derive a
+* value-set, contribute nothing.
+*/
+function deriveEntityValueSets(entitiesForNs, entityTypesByDiscriminator) {
+	if (entitiesForNs === void 0) return void 0;
+	let result;
+	for (const [kind, entitiesByName] of Object.entries(entitiesForNs)) {
+		const descriptor = entityTypesByDiscriminator.get(kind);
+		if (descriptor === void 0) continue;
+		for (const [name, entity] of Object.entries(entitiesByName)) {
+			const derivedValueSet = deriveValueSetFromEntity(descriptor.output, entity);
+			if (derivedValueSet === void 0) continue;
+			result ??= {};
+			result[name] = derivedValueSet;
+		}
+	}
+	return result;
+}
+/**
+* Merges a namespace's `enumType()`-derived value-sets with its pack-entity-
+* derived value-sets. Both land in the same `entries.valueSet[name]` slot —
+* which drives value-set → codec typing and the domain-enum CHECK — so a
+* same-named entry in both would let one silently overwrite the other and
+* corrupt whichever column resolves against it. The same collision class the
+* `mergeColumnAndAttachedEntities` guard rejects; the PSL path already hard-errors
+* on the equivalent (`interpretPslDocumentToSqlContract`). Reject it here too.
+*/
+function mergeNamespaceValueSets(namespaceId, enumValueSets, packValueSets) {
+	if (enumValueSets !== void 0 && packValueSets !== void 0) {
+		for (const name of Object.keys(packValueSets)) if (Object.hasOwn(enumValueSets, name)) throw contractError("CONTRACT.NAME_DUPLICATE", `buildSqlContractFromDefinition: value-set "${name}" in namespace "${namespaceId}" is derived from both an enum and a pack entity — names must be unique per namespace.`, { meta: {
+			kind: "valueSet",
+			name,
+			namespaceId
+		} });
+	}
+	return {
+		...enumValueSets,
+		...packValueSets
+	};
+}
+/**
+* Names the target's rendered checks and lowers them into contract entities.
+*
+* Naming is composed family-side ({@link composeCheckWirePrefix}) rather than
+* by the target, and suffixed with the predicate's content hash. Composing
+* family-side is what makes the truncation safe — two prefixes that truncate
+* alike still differ in their hashes, and the family can see that the
+* (table, column, kind) triple they were built from is unique per table,
+* rather than having to assume something about SQL text it declares itself
+* unable to read.
+*/
+function lowerRenderedChecks(tableName, candidates) {
+	return candidates.map((candidate) => new CheckConstraint({
+		naming: {
+			kind: "wire",
+			prefix: composeCheckWirePrefix(tableName, candidate.columnName, candidate.kind),
+			hash: computeCheckContentHash(candidate.expression)
+		},
+		expression: candidate.expression
+	}));
+}
+function validateColumnTypeParams(dataType, typeParams, site) {
+	try {
+		validateSqlTypeParams(dataType, dataTypeParams(dataType, typeParams));
+	} catch (cause) {
+		if (!isStructuredError(cause) || cause.code !== "CONTRACT.TYPE_PARAMS_INVALID") throw cause;
+		throw contractError("CONTRACT.TYPE_PARAMS_INVALID", `${columnSiteSubject(site)} has type parameters that its data type does not accept: ${cause.message}`, {
+			cause,
+			meta: {
+				...cause.meta,
+				...columnSiteMeta(site)
+			}
+		});
+	}
+}
+/**
+* Lowers one column into its storage column and the enforcement checks its shape derives.
+*
+* A column whose type constructor refers to a pack entity (e.g. `pg.enum(handle)`) records that entity, and its descriptor is resolved against the column's namespace and handed to the target's `qualifyColumnType` hook. An opt-out from derived checks on a table that derives none is dropped, never persisted: the policy may also be stamped after the build by a specifier.
+*
+* Member values reach the check renderer only for a column typed by an `enumType()` handle: that column is a plain scalar with no native type of its own to enforce membership. A value set resolved by a type constructor binds the column to a native type that already enforces it.
+*/
+function lowerColumn(description, placement, context) {
+	const { site, many } = description;
+	const { codecLookup } = context.lookups;
+	const entityRef = description.descriptor.entityRef;
+	if (entityRef !== void 0) collectEntityFromColumn(context.collectedColumnEntities, placement.namespaceId, entityRef);
+	const descriptor = resolveColumnDescriptor(description.descriptor, placement.namespaceId, context.qualifyColumnType);
+	const elementNullable = many !== false && many.elementNullable;
+	const codecId = descriptor.codecId;
+	const typeParams = nonEmptyTypeParams(descriptor.typeParams);
+	const dataType = sqlDataTypeOfCodec(codecId, context.lookups);
+	validateColumnTypeParams(dataType, typeParams, site);
+	const encodedDefault = description.default !== void 0 ? encodeColumnDefault(description.default, codecLookup, (lookup) => columnCodec(codecId, typeParams, lookup), {
+		...site,
+		codecId
+	}, many !== false, elementNullable) : void 0;
+	const enumRefs = enumValueSetRefs(description.enumTypeHandle, context.defaultNamespaceId);
+	invariant(enumRefs === void 0 || descriptor.valueSet === void 0, `${columnSiteSubject(site)} is typed by a domain enum and also carries a storage value set from its type constructor.`);
+	const valueSet = enumRefs?.storage ?? descriptor.valueSet;
+	const column = {
+		dataType: dataType.id,
+		codecId,
+		nullable: description.nullable,
+		many,
+		...ifDefined("typeParams", descriptor.typeParams),
+		...ifDefined("default", encodedDefault),
+		...ifDefined("valueSet", valueSet)
+	};
+	const render = context.renderCheckExpressions;
+	if (render === void 0 || !placement.derivesChecks) return {
+		column,
+		derivedChecks: []
+	};
+	const { enumTypeHandle } = description;
+	const candidates = render({
+		tableName: placement.tableName,
+		columnName: description.columnName,
+		many: many !== false,
+		elementNullable,
+		memberValues: enumTypeHandle !== void 0 ? checkMemberValues(enumTypeHandle, codecLookup) : void 0
+	});
+	return {
+		column,
+		derivedChecks: lowerRenderedChecks(placement.tableName, candidates)
+	};
+}
+const DERIVABLE_CHECK_KINDS = ["membership", "elementNotNull"];
+/**
+* Which of `columnNames` could have produced `prefix` for some
+* {@link CheckKind} — the reverse of {@link derivedCheckPrefixes}, used only
+* to name the collision in `CONTRACT.CHECK_NAME_RESERVED`'s message. Callers
+* already know `prefix` is a member of `derivedCheckPrefixes(tableName,
+* columnNames)`, so the result is never empty.
+*/
+function columnsProducingCheckPrefix(tableName, columnNames, prefix) {
+	return columnNames.filter((columnName) => DERIVABLE_CHECK_KINDS.some((kind) => composeCheckWirePrefix(tableName, columnName, kind) === prefix));
+}
+/**
+* Lowers one table: each of its columns, then its indexes, checks, primary key, uniques and foreign keys, with the backing indexes its foreign keys need.
+*
+* Checks are derived only for tables Prisma 8 owns: the contract describes an external schema, it does not prescribe enforcement for it. This reads the policy the source declares; a policy applied by a contract specifier lands after the build and is handled by `stripDerivedChecksFromNonManagedTables`. Authored checks are kept whatever the policy: they are the author's statement about a constraint they know exists.
+*/
+function lowerTable(table, context) {
+	const { tableName } = table;
+	const derivesChecks = effectiveControlPolicy(table.control, context.defaultControlPolicy) === "managed";
+	const placement = {
+		namespaceId: table.namespaceId,
+		tableName,
+		derivesChecks
+	};
+	const columns = {};
+	const checks = [];
+	for (const description of table.columns) {
+		const lowered = lowerColumn(description, placement, context);
+		columns[description.columnName] = lowered.column;
+		checks.push(...lowered.derivedChecks);
+	}
+	const uniques = table.uniques.map((u) => ({
+		columns: u.columns,
+		...ifDefined("name", u.name)
+	}));
+	const declaredIndexes = table.indexes.map((index) => ({
+		namedByUser: index.name !== void 0 || index.map !== void 0,
+		index: lowerAuthoredIndex(tableName, authoredIndexInput(index), context.warnings, context.indexTypeRegistry)
+	}));
+	checks.push(...lowerAuthoredChecks(tableName, Object.keys(columns), table.checks, context));
+	const primaryKey = table.id ? {
+		columns: table.id.columns,
+		...ifDefined("name", table.id.name)
+	} : void 0;
+	const { foreignKeys, indexes } = materializeForeignKeysAndIndexes({
+		tableName,
+		foreignKeys: table.foreignKeys,
+		declaredIndexes,
+		uniques,
+		primaryKey,
+		warnings: context.warnings,
+		indexTypes: context.indexTypeRegistry
+	});
+	return {
+		columns,
+		...ifDefined("control", table.control),
+		uniques,
+		indexes: indexes.map((i) => new Index(i)),
+		foreignKeys,
+		...primaryKey ? { primaryKey } : {},
+		...checks.length > 0 ? { checks: inCanonicalOrder(checks) } : {}
+	};
+}
+/**
+* The checks sorted by name in UTF-16 code-unit order, the order contract canonicalization gives them. The table's storage is then the same whichever declaration each column came from and in whatever order the columns were listed.
+*/
+function inCanonicalOrder(checks) {
+	return [...checks].sort((a, b) => compareCodeUnits(a.name, b.name));
+}
+function authoredIndexInput(index) {
+	return blindCast({
+		...ifDefined("columns", index.columns),
+		...ifDefined("expression", index.expression),
+		where: index.where,
+		unique: index.unique,
+		map: index.map,
+		name: index.name,
+		type: index.type,
+		options: index.options
+	});
+}
+/** Names the authored checks, and refuses one whose name could be taken for a derived check of a column of this table. */
+function lowerAuthoredChecks(tableName, tableColumnNames, authoredChecks, context) {
+	if (authoredChecks.length === 0) return [];
+	const reservedCheckPrefixes = derivedCheckPrefixes(tableName, tableColumnNames);
+	return authoredChecks.map((authoredCheck) => {
+		const lowered = lowerAuthoredCheck(tableName, authoredCheck, context.warnings);
+		if (lowered.naming.kind === "wire" && reservedCheckPrefixes.has(lowered.naming.prefix)) {
+			const collidingColumns = columnsProducingCheckPrefix(tableName, tableColumnNames, lowered.naming.prefix);
+			const columnList = collidingColumns.map((name) => `"${name}"`).join(", ");
+			throw contractError("CONTRACT.CHECK_NAME_RESERVED", `Check "${lowered.naming.prefix}" on table "${tableName}": this name's prefix matches the shape a derived enforcement check would use for column${collidingColumns.length === 1 ? "" : "s"} ${columnList} of this table, so it can't be told apart from one. Choose a different name.`, { meta: {
+				tableName,
+				prefix: lowered.naming.prefix,
+				collidingColumns
+			} });
+		}
+		return new CheckConstraint(lowered);
+	});
+}
+/** How a refusal names each table-level property. Typed by every key of {@link TableProperties}, so a new property cannot be left out of the check. */
+const tablePropertyLabels = {
+	id: "a primary key",
+	uniques: "unique constraints",
+	indexes: "indexes",
+	checks: "check constraints",
+	foreignKeys: "foreign keys",
+	control: "a control policy"
+};
+function isTableProperty(key) {
+	return Object.hasOwn(tablePropertyLabels, key);
+}
+/**
+* Collects the tables the models and table nodes describe, one per namespace and table name: the models' tables in model order, then the tables only table nodes declare.
+*
+* A table node for a table a model maps adds its columns to that table and nothing else, because the model owns the table's table-level properties. A table node for any other table is the whole table. A single-table variant adds nothing: each of its columns must already be on its base's table, which the base owns, and no table node may declare a column a variant's field maps. A variant whose table no model owns is not checked.
+*
+* Every table comes out with its foreign keys from exactly one declaration, a model or a table node, in the order that declaration lists them.
+*/
+function mergeTables(storages, tableNodes) {
+	const tables = /* @__PURE__ */ new Map();
+	const modelOfTable = /* @__PURE__ */ new Map();
+	for (const storage of storages) {
+		if (storage.kind !== "ownTable") continue;
+		const { table } = storage;
+		const key = tableKey(table.namespaceId, table.tableName);
+		if (tables.has(key)) throw contractError("CONTRACT.NAME_DUPLICATE", `buildSqlContractFromDefinition: duplicate table "${table.tableName}" in namespace "${table.namespaceId}".`, { meta: {
+			kind: "table",
+			name: table.tableName,
+			namespaceId: table.namespaceId
+		} });
+		tables.set(key, table);
+		modelOfTable.set(key, storage.modelName);
+	}
+	const variants = storages.filter((storage) => storage.kind === "baseTable");
+	const variantColumnSites = variantColumnSitesByTable(variants);
+	const tableNodeKeys = /* @__PURE__ */ new Set();
+	for (const tableNode of tableNodes) {
+		const key = tableKey(tableNode.namespaceId, tableNode.tableName);
+		if (tableNodeKeys.has(key)) throw contractError("CONTRACT.NAME_DUPLICATE", `Table "${tableNode.tableName}" in namespace "${tableNode.namespaceId}" is declared by two table nodes.`, { meta: {
+			kind: "table",
+			name: tableNode.tableName,
+			namespaceId: tableNode.namespaceId
+		} });
+		tableNodeKeys.add(key);
+		const columnSites = variantColumnSites.get(key) ?? /* @__PURE__ */ new Map();
+		const modelName = modelOfTable.get(key);
+		const modelled = tables.get(key);
+		if (modelName === void 0 || modelled === void 0) {
+			tables.set(key, {
+				...tableNode,
+				columns: withColumns([], tableNode, columnSites)
+			});
+			continue;
+		}
+		assertOnlyColumns(tableNode, modelName);
+		tables.set(key, {
+			...modelled,
+			columns: withColumns(modelled.columns, tableNode, columnSites)
+		});
+	}
+	for (const variant of variants) {
+		const table = tables.get(tableKey(variant.namespaceId, variant.tableName));
+		if (table !== void 0) assertVariantColumnsOnBaseTable(variant, table);
+	}
+	return [...tables.values()];
+}
+/** For each table, the variant field that maps each variant column; the first variant to map a column names it. */
+function variantColumnSitesByTable(variants) {
+	const sites = /* @__PURE__ */ new Map();
+	for (const variant of variants) {
+		const key = tableKey(variant.namespaceId, variant.tableName);
+		const byColumn = sites.get(key) ?? /* @__PURE__ */ new Map();
+		for (const column of variant.columns) if (!byColumn.has(column.columnName)) byColumn.set(column.columnName, column.site);
+		sites.set(key, byColumn);
+	}
+	return sites;
+}
+/**
+* The table's columns with the table node's columns added. A column some field already declares is refused, and the error names the field the author wrote: a single-table variant's field when a variant maps the column, even though the base table carries a copy of it.
+*/
+function withColumns(columns, tableNode, variantColumnSites) {
+	const sites = new Map(columns.map((column) => [column.columnName, column.site]));
+	for (const column of tableNode.columns) {
+		const earlier = variantColumnSites.get(column.columnName) ?? sites.get(column.columnName);
+		if (earlier !== void 0) {
+			const problem = earlier.kind === "field" ? `is declared by field "${earlier.modelName}.${earlier.fieldName}" and again by a table node` : "is listed twice by its table node";
+			throw contractError("CONTRACT.NAME_DUPLICATE", `Column "${column.columnName}" of table "${tableNode.tableName}" ${problem}.`, { meta: {
+				kind: "column",
+				name: column.columnName,
+				tableName: tableNode.tableName,
+				namespaceId: tableNode.namespaceId
+			} });
+		}
+		sites.set(column.columnName, column.site);
+	}
+	return [...columns, ...tableNode.columns];
+}
+function isStated(value) {
+	return Array.isArray(value) ? value.length > 0 : value !== void 0;
+}
+function assertOnlyColumns(tableNode, modelName) {
+	const property = Object.keys(tablePropertyLabels).filter(isTableProperty).find((name) => isStated(tableNode[name]));
+	if (property === void 0) return;
+	throw contractError("CONTRACT.TABLE_OWNED_BY_MODEL", `A table node for table "${tableNode.tableName}" states ${tablePropertyLabels[property]}, but model "${modelName}" maps that table and owns its table-level properties. A table node for a modelled table may only add columns.`, { meta: {
+		namespaceId: tableNode.namespaceId,
+		tableName: tableNode.tableName,
+		modelName,
+		property
+	} });
+}
+function assertVariantColumnsOnBaseTable(variant, table) {
+	const present = new Set(table.columns.map((column) => column.columnName));
+	const missing = variant.columns.find((column) => !present.has(column.columnName));
+	if (missing === void 0) return;
+	throw contractError("CONTRACT.VARIANT_COLUMN_NOT_ON_BASE_TABLE", `Model "${variant.modelName}" shares table "${variant.tableName}" with its base model (single-table inheritance), but its column "${missing.columnName}" is not on that table. The base model owns the table; declare the column there.`, { meta: {
+		modelName: variant.modelName,
+		namespaceId: variant.namespaceId,
+		tableName: variant.tableName,
+		columnName: missing.columnName
+	} });
+}
+/** A definition's `types` key used to declare type aliases; it is refused so an old definition does not silently lose its aliases. */
+function refuseTypesKey(definition, subject) {
+	if (!Object.hasOwn(definition, "types")) return;
+	const types = Reflect.get(definition, "types");
+	throw contractError("CONTRACT.TYPES_KEY_REMOVED", `${subject} no longer takes a "types" key. Write a type alias as a constant, such as const Slug = field.column(type.VarChar(64)), and use it as a field. Register a database type of a contract space under "databaseTypes".`, { meta: { keys: typeof types === "object" && types !== null ? Object.keys(types) : [] } });
+}
+/**
+* A warning for each column a table node adds to a table some model maps, when the column is required and has no default. The ORM writes only the columns fields map, so every insert it makes into that table fails. Prisma 7 accepts such a schema, so this warns rather than refuses.
+*/
+function requiredUnmappedColumnWarnings(storages, tables) {
+	const modelOfTable = /* @__PURE__ */ new Map();
+	for (const storage of storages) if (storage.kind === "ownTable") modelOfTable.set(tableKey(storage.table.namespaceId, storage.table.tableName), storage.modelName);
+	const warnings = [];
+	for (const table of tables) {
+		const modelName = modelOfTable.get(tableKey(table.namespaceId, table.tableName));
+		if (modelName === void 0) continue;
+		for (const column of table.columns) {
+			if (column.site.kind !== "tableNode" || column.nullable || column.default !== void 0) continue;
+			warnings.push({
+				code: "PN_COLUMN_REQUIRED_UNMAPPED",
+				message: `Column "${column.columnName}" of table "${table.tableName}" is required and has no default, and no field of model "${modelName}" maps it, so every insert the ORM makes into the table fails. Make the column nullable, give it a database default, or map it with a field.`,
+				item: `table "${table.tableName}": column "${column.columnName}"`,
+				summary: "columns are required, have no default, and no field maps them, so every insert the ORM makes into their tables fails. Make each column nullable, give it a database default, or map it with a field."
+			});
+		}
+	}
+	return warnings;
+}
+function assertStorageSemantics(contract, indexTypeRegistry, codecLookup) {
+	const semanticErrors = validateStorageSemantics(contract.storage);
+	if (semanticErrors.length > 0) throw contractError("CONTRACT.VALIDATION_FAILED", `Contract semantic validation failed: ${semanticErrors.join("; ")}`, { meta: { errors: semanticErrors } });
+	validateIndexTypes(contract, indexTypeRegistry, (codecId) => codecLookup.descriptorFor(codecId)?.traits);
+}
+function collectStorageNamespaceCoordinateIds(definition) {
+	const defaultNamespaceId = definition.target.defaultNamespaceId;
+	const declared = [
+		...definition.namespaces ?? [],
+		...definition.models.map((model) => model.namespaceId),
+		...(definition.tables ?? []).map((table) => table.namespaceId),
+		...Object.keys(definition.attachedEntities ?? {})
+	];
+	return /* @__PURE__ */ new Set([defaultNamespaceId, ...declared.map((id) => namespaceIdOrDefault(id, defaultNamespaceId))]);
+}
+function ensureUnboundNamespaceSlot(namespaces, createNamespace) {
+	if (Object.hasOwn(namespaces, UNBOUND_NAMESPACE_ID)) return namespaces;
+	const unbound = createNamespace({
+		id: UNBOUND_NAMESPACE_ID,
+		entries: { table: {} }
+	});
+	return {
+		[UNBOUND_NAMESPACE_ID]: unbound,
+		...namespaces
+	};
+}
+function declaredTableKeys(definition) {
+	const defaultNamespaceId = definition.target.defaultNamespaceId;
+	return /* @__PURE__ */ new Set([...definition.models.map((model) => tableKey(modelNamespaceId(model, defaultNamespaceId), model.tableName)), ...(definition.tables ?? []).map((table) => tableKey(namespaceIdOrDefault(table.namespaceId, defaultNamespaceId), table.tableName))]);
+}
+/**
+* Builds the contract in two stages. First each model is converted on its own into the table it describes and its domain model, and each table node into the table it describes. Then the tables are merged, each is lowered, and the contract is assembled.
+*/
+function enabledCapabilities(matrix) {
+	const enabled = {};
+	for (const [namespace, flags] of Object.entries(matrix)) {
+		const enabledFlags = Object.fromEntries(Object.entries(flags).filter(([, flag]) => flag).map(([name]) => [name, true]));
+		if (Object.keys(enabledFlags).length > 0) enabled[namespace] = enabledFlags;
+	}
+	return enabled;
+}
+function buildSqlContractFromDefinition(definition, codecLookup, dataTypeLookup) {
+	refuseTypesKey(definition, "buildSqlContractFromDefinition");
+	const lookups = {
+		codecLookup,
+		dataTypeLookup
+	};
+	const target = definition.target.targetId;
+	const defaultNamespaceId = definition.target.defaultNamespaceId;
+	const indexTypeRegistry = indexTypeRegistryOf(definition.target, Object.values(definition.extensions ?? {}));
+	const qualifyColumnType = resolveColumnTypeQualifier(definition.target);
+	const databaseTypes = definition.databaseTypes ?? {};
+	const targetFamily = "sql";
+	const domainEnumsByNs = {};
+	const storageValueSetsByNs = {};
+	for (const [enumName, handle] of Object.entries(definition.enums ?? {})) {
+		if (enumName !== handle.enumName) throw contractError("CONTRACT.ENUM_INVALID", `enum declaration key "${enumName}" must match enumType name "${handle.enumName}". Aliases are not supported.`, { meta: {
+			enumName: handle.enumName,
+			declarationKey: enumName,
+			reason: "key-name-mismatch"
+		} });
+		const nsId = defaultNamespaceId;
+		let domainSlot = domainEnumsByNs[nsId];
+		if (domainSlot === void 0) {
+			domainSlot = {};
+			domainEnumsByNs[nsId] = domainSlot;
+		}
+		const storedMembers = encodeEnumTypeMembers(handle, codecLookup, "the column");
+		domainSlot[enumName] = {
+			codecId: handle.codecId,
+			members: storedMembers
+		};
+		let storageSlot = storageValueSetsByNs[nsId];
+		if (storageSlot === void 0) {
+			storageSlot = {};
+			storageValueSetsByNs[nsId] = storageSlot;
+		}
+		storageSlot[enumName] = {
+			kind: "valueSet",
+			values: storedMembers.map((member) => member.value)
+		};
+	}
+	const modelDescriptionContext = {
+		...modelLookupsOf(definition),
+		declaredTables: declaredTableKeys(definition),
+		foreignKeyDefaults: definition.foreignKeyDefaults,
+		qualifyColumnType
+	};
+	const components = definition.models.map((model) => describeModel(model, modelDescriptionContext));
+	const tableNodes = (definition.tables ?? []).map((table) => describeTableNode(table, modelDescriptionContext));
+	const authoringWarnings = [...definition.warnings ?? []];
+	const collectedColumnEntities = {};
+	const tableLoweringContext = {
+		lookups,
+		defaultNamespaceId,
+		qualifyColumnType,
+		renderCheckExpressions: resolveCheckExpressionRenderer(definition.target),
+		collectedColumnEntities,
+		defaultControlPolicy: definition.defaultControlPolicy,
+		indexTypeRegistry,
+		warnings: authoringWarnings
+	};
+	const tablesByNamespace = {};
+	const modelStorages = components.map((c) => c.storage);
+	const tables = mergeTables(modelStorages, tableNodes);
+	authoringWarnings.push(...requiredUnmappedColumnWarnings(modelStorages, tables));
+	for (const table of tables) {
+		const namespaceTables = tablesByNamespace[table.namespaceId] ?? {};
+		namespaceTables[table.tableName] = lowerTable(table, tableLoweringContext);
+		tablesByNamespace[table.namespaceId] = namespaceTables;
+	}
+	const executionDefaults = components.flatMap((c) => c.domain.executionDefaults);
+	const modelsByNamespace = {};
+	for (const { domain } of components) {
+		const namespaceModels = modelsByNamespace[domain.namespaceId] ?? {};
+		namespaceModels[domain.modelName] = domain.model;
+		modelsByNamespace[domain.namespaceId] = namespaceModels;
+	}
+	const roots = buildRoots(components);
+	const documentTypes = Object.fromEntries(Object.entries(databaseTypes).map(([name, entry]) => [name, toStorageTypeInstance({
+		codecId: entry.codecId,
+		dataType: sqlDataTypeOfCodec(entry.codecId, lookups).id,
+		typeParams: entry.typeParams
+	})]));
+	const namespaceCoordinateIds = collectStorageNamespaceCoordinateIds(definition);
+	const { createNamespace } = definition;
+	const entityTypesByDiscriminator = collectEntityTypeDescriptorsByDiscriminator(definition);
+	const namespaces = Object.fromEntries([...namespaceCoordinateIds].sort().map((id) => {
+		const entitiesForNs = mergeColumnAndAttachedEntities(id, definition.attachedEntities?.[id], collectedColumnEntities[id]);
+		assertNoManagedEntityKinds(id, entitiesForNs);
+		const enumValueSetEntries = storageValueSetsByNs[id];
+		const packValueSetEntries = deriveEntityValueSets(entitiesForNs, entityTypesByDiscriminator);
+		const valueSetEntries = enumValueSetEntries !== void 0 || packValueSetEntries !== void 0 ? mergeNamespaceValueSets(id, enumValueSetEntries, packValueSetEntries) : void 0;
+		const nsInput = {
+			id,
+			entries: {
+				table: tablesByNamespace[id] ?? {},
+				...entitiesForNs,
+				...valueSetEntries !== void 0 && Object.keys(valueSetEntries).length > 0 ? { valueSet: valueSetEntries } : {}
+			}
+		};
+		return [id, createNamespace(nsInput)];
+	}));
+	const storageWithoutHash = {
+		...Object.keys(documentTypes).length > 0 ? { types: documentTypes } : {},
+		namespaces: defaultNamespaceId === UNBOUND_NAMESPACE_ID ? ensureUnboundNamespaceSlot(namespaces, createNamespace) : namespaces
+	};
+	const storageHash = definition.storageHash ? coreHash(definition.storageHash) : computeStorageHash({
+		target,
+		targetFamily,
+		storage: blindCast(storageWithoutHash),
+		...sqlContractCanonicalizationHooks
+	});
+	const storage = new SqlStorage({
+		...storageWithoutHash,
+		storageHash
+	});
+	const extensionNamespaces = definition.extensions ? Object.values(definition.extensions).map((pack) => pack.id) : void 0;
+	const extensions = { ...definition.extensions || {} };
+	if (extensionNamespaces) {
+		for (const namespace of extensionNamespaces) if (!Object.hasOwn(extensions, namespace)) extensions[namespace] = {};
+	}
+	const capabilities = enabledCapabilities(mergeCapabilityMatrices({}, [
+		definition.target,
+		...definition.capabilities ? [{ capabilities: definition.capabilities }] : [],
+		...Object.values(definition.extensions ?? {})
+	]));
+	const profileHash = computeProfileHash({
+		target,
+		targetFamily,
+		capabilities: {}
+	});
+	const executionWithHash = buildExecutionSection({
+		target,
+		targetFamily,
+		defaults: executionDefaults
+	});
+	const valueObjects = definition.valueObjects && definition.valueObjects.length > 0 ? Object.fromEntries(definition.valueObjects.map((vo) => [vo.name, { fields: Object.fromEntries(vo.fields.map((f) => [f.fieldName, buildDomainField(f, defaultNamespaceId)])) }])) : void 0;
+	const domainNamespaceIds = new Set(Object.keys(modelsByNamespace));
+	if (domainNamespaceIds.size === 0) domainNamespaceIds.add(defaultNamespaceId);
+	if (valueObjects !== void 0) domainNamespaceIds.add(defaultNamespaceId);
+	for (const nsId of Object.keys(domainEnumsByNs)) domainNamespaceIds.add(nsId);
+	const domainNamespaces = Object.fromEntries([...domainNamespaceIds].sort().map((namespaceId) => {
+		const modelsInNs = modelsByNamespace[namespaceId] ?? {};
+		const enumsInNs = domainEnumsByNs[namespaceId];
+		return [namespaceId, {
+			models: modelsInNs,
+			...namespaceId === defaultNamespaceId && valueObjects !== void 0 ? { valueObjects } : {},
+			...enumsInNs !== void 0 && Object.keys(enumsInNs).length > 0 ? { enum: enumsInNs } : {}
+		}];
+	}));
+	const contract = {
+		target,
+		targetFamily,
+		...ifDefined("defaultControlPolicy", definition.defaultControlPolicy),
+		domain: { namespaces: domainNamespaces },
+		roots,
+		storage,
+		...executionWithHash ? { execution: executionWithHash } : {},
+		extensions,
+		capabilities,
+		profileHash,
+		meta: {}
+	};
+	assertStorageSemantics(contract, indexTypeRegistry, codecLookup);
+	flushAuthoringWarnings(authoringWarnings);
+	return contract;
+}
+/**
+* Aggregate roots, one per model that owns a table, keyed by bare storage table name. When two models in different namespaces map to the same bare table name, the bare key would collide, so those entries fall back to a namespace-qualified key. Single-namespace contracts never collide and keep their bare keys.
+*/
+function buildRoots(components) {
+	const rootEntries = components.flatMap(({ storage, domain }) => storage.kind === "ownTable" ? [{
+		tableName: storage.table.tableName,
+		namespaceId: domain.namespaceId,
+		ref: crossRef(domain.modelName, domain.namespaceId)
+	}] : []);
+	const rootTableNameCounts = /* @__PURE__ */ new Map();
+	for (const entry of rootEntries) rootTableNameCounts.set(entry.tableName, (rootTableNameCounts.get(entry.tableName) ?? 0) + 1);
+	const roots = {};
+	for (const entry of rootEntries) {
+		const key = (rootTableNameCounts.get(entry.tableName) ?? 0) > 1 ? `${entry.namespaceId}.${entry.tableName}` : entry.tableName;
+		roots[key] = entry.ref;
+	}
+	return roots;
+}
+/**
+* The one step every SQL contract specifier funnels its loaded contract
+* through: stamp the specifier's default control policy, then strip derived
+* checks from every table the stamped policy leaves non-managed. Composing the
+* two here is what keeps the managed-only consequence from being skipped on
+* any specifier route.
+*/
+function applySqlSpecifierControlPolicy(contract, defaultControlPolicy, createNamespace) {
+	return stripDerivedChecksFromNonManagedTables(applySpecifierDefaultControlPolicy(contract, defaultControlPolicy), createNamespace);
+}
+/**
+* Removes generated enforcement checks from every table whose effective
+* control policy is not `managed`.
+*
+* A check is derived iff its wire prefix is one derivation would produce for
+* some column of its table — {@link derivedCheckPrefixes} enumerates that
+* set. Wire-naming alone no longer identifies derivation: an authored
+* `name:` check (`@@check` / `check()`) is wire-named too, so a bare
+* `check.prefix === undefined` test would delete an author's own constraint
+* from every non-`managed` table. The prefix-shape rule tests against the
+* table's own columns instead of the naming mode, so an authored check with
+* an unrelated prefix survives.
+*
+* The rule is weaker than recomputing the content hash `contract infer`
+* uses: that needs `postgresRenderCheckExpressions` to know what a kind
+* renders, and this funnel has no target descriptor to reach it through. It
+* can only ask whether some column could have produced a prefix of this
+* shape, not whether this exact column produced this exact check. The gap
+* that opens — an authored name that collides with a derived-prefix shape —
+* is closed at authoring time instead: such a name is rejected
+* (`CONTRACT.CHECK_NAME_RESERVED`) before it ever reaches storage.
+*
+* Why derivation stops at the namespace boundary: the contract *describes* an
+* external schema, it does not *prescribe* enforcement for it. Deriving a check
+* for a table Prisma 8 never creates declares a constraint the live database
+* has no reason to carry, and `external` fails verify on a declared shape the
+* database lacks — an unfixable failure, since no plan may emit DDL there
+* either.
+*
+* This is the post-build half of the rule. Authoring skips derivation for a
+* table whose policy is known in the source; this pass catches the policy a
+* contract *specifier* applies after the contract is already built, which is
+* the only signal a pack like the Supabase extension gives. Specifiers reach
+* it through `applySqlSpecifierControlPolicy` above.
+*
+* Returns the contract unchanged (same reference) when nothing is stripped.
+* When something is, the storage hash is recomputed — the stripped contract
+* describes different storage.
+*/
+function stripDerivedChecksFromNonManagedTables(contract, createNamespace) {
+	const storage = contract.storage;
+	if (!isSqlStorageShaped(storage)) return contract;
+	let anyStripped = false;
+	const namespaces = {};
+	for (const [namespaceId, namespace] of Object.entries(storage.namespaces)) {
+		if (!isMaterializedSqlNamespace(namespace)) return contract;
+		const tables = namespace.entries["table"];
+		if (tables === void 0) {
+			namespaces[namespaceId] = namespace;
+			continue;
+		}
+		let namespaceStripped = false;
+		const nextTables = {};
+		for (const [tableName, table] of Object.entries(tables)) {
+			const stripped = StorageTable.is(table) ? withoutDerivedChecks(tableName, table, contract.defaultControlPolicy) : table;
+			if (stripped !== table) namespaceStripped = true;
+			nextTables[tableName] = stripped;
+		}
+		if (!namespaceStripped) {
+			namespaces[namespaceId] = namespace;
+			continue;
+		}
+		anyStripped = true;
+		namespaces[namespaceId] = createNamespace({
+			id: namespace.id,
+			entries: {
+				...namespace.entries,
+				table: nextTables
+			}
+		});
+	}
+	if (!anyStripped) return contract;
+	const storageWithoutHash = {
+		namespaces,
+		...ifDefined("types", storage.types)
+	};
+	return {
+		...contract,
+		storage: new SqlStorage({
+			...storageWithoutHash,
+			storageHash: computeStorageHash({
+				target: contract.target,
+				targetFamily: contract.targetFamily,
+				storage: storageWithoutHash,
+				...sqlContractCanonicalizationHooks
+			})
+		})
+	};
+}
+/**
+* Structural stand-in for `instanceof SqlStorage`: like the checks it wraps, a
+* storage instance can arrive from a realm whose IR classes are a separate
+* copy (the dist e2e shape), where an `instanceof` test would miss.
+*/
+function isSqlStorageShaped(x) {
+	if (typeof x !== "object" || x === null || !("namespaces" in x)) return false;
+	return typeof x.namespaces === "object" && x.namespaces !== null;
+}
+/** The table itself when it keeps every check, a rebuilt one when it does not. */
+function withoutDerivedChecks(tableName, table, contractDefault) {
+	const checks = table.checks;
+	if (checks === void 0 || checks.length === 0) return table;
+	if (effectiveControlPolicy(table.control, contractDefault) === "managed") return table;
+	const columnNames = Object.keys(table.columns);
+	invariant(columnNames.length > 0, `withoutDerivedChecks: table "${tableName}" carries checks but its column map is empty. The caller must pass the table's real, complete column set — an empty or partial map makes every check misclassify as non-derived and survive the strip.`);
+	const derivedPrefixes = derivedCheckPrefixes(tableName, columnNames);
+	const kept = checks.filter((check) => check.prefix === void 0 || !derivedPrefixes.has(check.prefix));
+	if (kept.length === checks.length) return table;
+	return new StorageTable({
+		columns: table.columns,
+		uniques: table.uniques,
+		indexes: table.indexes,
+		foreignKeys: table.foreignKeys,
+		...ifDefined("primaryKey", table.primaryKey),
+		...ifDefined("control", table.control),
+		...kept.length > 0 ? { checks: kept.map((check) => checkConstraintInputFromSerialized({
+			name: check.name,
+			...ifDefined("prefix", check.prefix),
+			expression: check.expression
+		})) } : {}
+	});
+}
+//#endregion
+export { refuseTypesKey as a, isValueObjectMember as i, buildSqlContractFromDefinition as n, storedAsListColumn as o, contractError as r, toOneNullabilityContradictionMessage as s, applySqlSpecifierControlPolicy as t };
+
+//# sourceMappingURL=derived-checks-D5HVRvqN-BJx1gwPA.mjs.map