@prisma/orm-family-sql 8.0.0-rc.16-dev.9 → 8.0.0-rc.16-dev.10

package/dist/family__pack.mjs

@@ -1,5 +1,5 @@
-import { b as sqlAttributeSpecs } from "./psl-field-resolution-DUCrDnuq-DSxPrd-4.mjs";
-import { i as sqlFamilyPslBlockDescriptors, n as sqlFamilyAuthoringTypes, r as sqlFamilyEntityTypes, t as sqlFamilyAuthoringFieldPresets } from "./authoring-type-constructors-0Iv2zdwS-CVl4womm.mjs";
+import { b as sqlAttributeSpecs } from "./psl-field-resolution-BW0ZuqBd-Dv18ERa7.mjs";
+import { i as sqlFamilyPslBlockDescriptors, n as sqlFamilyAuthoringTypes, r as sqlFamilyEntityTypes, t as sqlFamilyAuthoringFieldPresets } from "./authoring-type-constructors-0Iv2zdwS-ClKI8Uuk.mjs";
 //#region ../../../2-sql/9-family/dist/pack.mjs
 const sqlFamilyPack = {
 	kind: "family",

package/dist/family__psl-build.mjs

@@ -1,3 +1,3 @@
 import { s as toEnumMemberName } from "./psl-names-C3cwe0rg-CsuHOV7E.mjs";
-import { t as mapDefault } from "./psl-build-Di-cBOCv.mjs";
+import { t as mapDefault } from "./psl-build-B5iMVWHu.mjs";
 export { mapDefault, toEnumMemberName };

package/dist/family__psl-infer.d.mts

@@ -1,2 +1,2 @@
-import { a as buildChildRelationField, c as inferRelations, d as toFieldName, f as toModelName, i as RelationField, l as pluralize, n as InferredRelations, o as deriveBackRelationFieldName, r as PslPrinterOptions, s as deriveRelationFieldName, t as EnumInfo, u as toEnumName } from "./psl-infer-Cm7eDSA-.mjs";
+import { a as buildChildRelationField, c as inferRelations, d as toFieldName, f as toModelName, i as RelationField, l as pluralize, n as InferredRelations, o as deriveBackRelationFieldName, r as PslPrinterOptions, s as deriveRelationFieldName, t as EnumInfo, u as toEnumName } from "./psl-infer-DkPZJnUM.mjs";
 export { type EnumInfo, type InferredRelations, type PslPrinterOptions, type RelationField, buildChildRelationField, deriveBackRelationFieldName, deriveRelationFieldName, inferRelations, pluralize, toEnumName, toFieldName, toModelName };

package/dist/family__psl-infer.mjs

@@ -1,2 +1,2 @@
-import { a as pluralize, c as toModelName, i as inferRelations, n as deriveBackRelationFieldName, o as toEnumName, r as deriveRelationFieldName, s as toFieldName, t as buildChildRelationField } from "./psl-infer-fU7LRjTx.mjs";
+import { a as pluralize, c as toModelName, i as inferRelations, n as deriveBackRelationFieldName, o as toEnumName, r as deriveRelationFieldName, s as toFieldName, t as buildChildRelationField } from "./psl-infer-B0yuv-j_.mjs";
 export { buildChildRelationField, deriveBackRelationFieldName, deriveRelationFieldName, inferRelations, pluralize, toEnumName, toFieldName, toModelName };

package/dist/family__runtime.d.mts

@@ -1,3 +1,3 @@
-import { n as resolveStorageTable, t as ResolvedStorageTable } from "./resolve-storage-table-Ba33K41A.mjs";
-import { a as timestampNowRuntimeGenerator, i as sqlRuntimeFamilyDescriptor, n as UNBOUND_DOMAIN_NAMESPACE_ID, r as resolveDomainModel, t as ResolvedDomainModel } from "./runtime-BUemUdMk.mjs";
+import { n as resolveStorageTable, t as ResolvedStorageTable } from "./resolve-storage-table-B7m9cFy4.mjs";
+import { a as timestampNowRuntimeGenerator, i as sqlRuntimeFamilyDescriptor, n as UNBOUND_DOMAIN_NAMESPACE_ID, r as resolveDomainModel, t as ResolvedDomainModel } from "./runtime-Ca7PVQcJ.mjs";
 export { type ResolvedDomainModel, type ResolvedStorageTable, UNBOUND_DOMAIN_NAMESPACE_ID, sqlRuntimeFamilyDescriptor as default, resolveDomainModel, resolveStorageTable, timestampNowRuntimeGenerator };

package/dist/foreign-key-materialization-Cv3q8Pix.mjs

@@ -0,0 +1,278 @@
+import { t as contractError } from "./contract-errors-BCN6RVI5-5IHBF_lg.mjs";
+import { g as truncateToWireNamePrefixBytes, l as nameOf, o as defaultIndexName } from "./naming-DkG_OegU-DpENNdZX.mjs";
+import { r as lowerAuthoredIndex } from "./index-naming-Cj1Anq-T-NX841eiU.mjs";
+import { i as leadingBackingObjectName, n as identicalIndexes, o as servingKey, r as indexNodeOf, s as startsWithColumns, t as derivedBackingIndexIsRedundant } from "./index-equivalence-DswCiq5l-C7wLMPwF.mjs";
+import { UNBOUND_NAMESPACE_ID } from "@prisma/orm-framework/components/ir";
+import { InternalError } from "@prisma/orm-framework/utils/internal-error";
+import { asNamespaceId } from "@prisma/orm-framework/contract/types";
+//#region ../../../2-sql/1-core/contract/dist/foreign-key-materialization.mjs
+const IDENTICAL_DESCRIPTION = "the planner sees them as the same index. The contract keeps both because each is named.";
+const REDUNDANT_DESCRIPTION = "which already serves the same lookups.";
+/**
+* Removes the indexes of one table that duplicate another. Two indexes are identical when the planner sees them as the same index apart from their names (see {@link identicalIndexes}); of an identical group the pass keeps the indexes named by the user, or the first one when none is. A plain non-unique index whose columns are those of the primary key, a unique constraint or a unique index without a predicate is redundant (see {@link servingKey}), and the pass removes it unless it is named by the user. Every index named by the user survives; the pass warns about each one that duplicates another, and refuses two identical indexes both named with `name:`, whose wire names the planner could not tell apart.
+*/
+function deduplicateIndexes(input) {
+	const { tableName, warnings } = input;
+	const replacements = /* @__PURE__ */ new Map();
+	const nodes = new Map(input.indexes.map((candidate) => [candidate, indexNodeOf(candidate.index)]));
+	const nodeOf = (candidate) => {
+		const node = nodes.get(candidate);
+		if (node === void 0) throw new InternalError("every candidate has a node");
+		return node;
+	};
+	const groups = [];
+	for (const candidate of input.indexes) {
+		const position = groups.findIndex(([first]) => identicalIndexes(nodeOf(first), nodeOf(candidate)));
+		const group = groups[position];
+		if (group === void 0) groups.push([candidate]);
+		else groups[position] = [...group, candidate];
+	}
+	for (const group of groups) {
+		const named = group.filter((candidate) => candidate.namedByUser);
+		const wireNamed = named.filter((candidate) => candidate.index.naming.kind === "wire");
+		if (wireNamed.length > 1) throw identicalWireNamedIndexesError(tableName, wireNamed);
+		const kept = named[0] ?? group[0];
+		for (const candidate of group) if (candidate !== kept && !candidate.namedByUser) replacements.set(candidate, {
+			kind: "index",
+			index: kept
+		});
+		if (named.length > 1) warnings.push(identicalIndexesWarning(tableName, named));
+	}
+	const survivors = input.indexes.filter((candidate) => !replacements.has(candidate));
+	for (const candidate of survivors) {
+		const servedBy = servingKey(nodeOf(candidate), {
+			indexes: survivors,
+			nodeOf,
+			uniques: input.uniques,
+			primaryKey: input.primaryKey
+		});
+		if (servedBy === void 0) continue;
+		if (candidate.namedByUser) warnings.push(redundantIndexWarning(tableName, candidate, servedBy));
+		else replacements.set(candidate, servedBy);
+	}
+	return {
+		indexes: input.indexes.filter((candidate) => !replacements.has(candidate)),
+		replacements
+	};
+}
+function identicalWireNamedIndexesError(tableName, wireNamed) {
+	return contractError("CONTRACT.ARGUMENT_INVALID", `Indexes ${quotedList(wireNamed.map((candidate) => writtenName(candidate.index)))} on table "${tableName}" are identical and both named with name:; the planner pairs wire-named indexes by their content, so it could not tell them apart.`, {
+		fix: "Remove one of them, or name one with map: to keep both under exact names.",
+		meta: {
+			tableName,
+			indexes: wireNamed.map((candidate) => writtenName(candidate.index))
+		}
+	});
+}
+/** The name the source wrote: the prefix of a wire-named index, the whole name of an exact one. */
+function writtenName(index) {
+	return index.naming.kind === "wire" ? index.naming.prefix : index.naming.name;
+}
+function quotedList(names) {
+	const quoted = names.map((name) => `"${name}"`);
+	return quoted.length <= 2 ? quoted.join(" and ") : `${quoted.slice(0, -1).join(", ")} and ${quoted.at(-1)}`;
+}
+function identicalIndexesWarning(tableName, named) {
+	const names = quotedList(named.map((candidate) => writtenName(candidate.index)));
+	return {
+		code: "PN_INDEX_DUPLICATE",
+		message: `Indexes ${names} on table "${tableName}" are identical: ${IDENTICAL_DESCRIPTION} Remove one of them.`,
+		item: `table "${tableName}": indexes ${names}`,
+		summary: `tables have named indexes that are identical: ${IDENTICAL_DESCRIPTION} Remove one of each.`
+	};
+}
+function describeReplacement(replacement) {
+	switch (replacement.kind) {
+		case "primaryKey": return "the primary key";
+		case "uniqueConstraint": return replacement.unique.name === void 0 ? `the unique constraint on (${replacement.unique.columns.join(", ")})` : `the unique constraint "${replacement.unique.name}"`;
+		case "index": return `the unique index "${writtenName(replacement.index.index)}"`;
+	}
+}
+function redundantIndexWarning(tableName, candidate, servedBy) {
+	const name = writtenName(candidate.index);
+	return {
+		code: "PN_INDEX_REDUNDANT",
+		message: `Index "${name}" on table "${tableName}" has the same columns as ${describeReplacement(servedBy)}, ${REDUNDANT_DESCRIPTION} The contract keeps the index because it is named. Remove it.`,
+		item: `table "${tableName}": index "${name}"`,
+		summary: `tables have a named index with the same columns as a unique constraint, unique index or primary key, ${REDUNDANT_DESCRIPTION} The contract keeps each index because it is named. Remove them.`
+	};
+}
+/** The `meta.reason` of the refusal of a relation's `index: "<name>"`, which a source can report at the relation. */
+const FOREIGN_KEY_INDEX_UNRESOLVED = "foreign-key-index-unresolved";
+/**
+* Lowers a table's authored foreign keys and indexes into the entities `contract.json` persists. A `constraint: false` foreign key contributes no `foreignKeys[]` entry. A foreign key with `index: true` gets a derived backing index; one with `index: "<name>"` uses what the table declares under that name. The table's indexes then pass through {@link deduplicateIndexes}, and each foreign key states what backs it in the result: an index by name, or the primary key or a unique constraint by kind.
+*/
+function materializeForeignKeysAndIndexes(input) {
+	const { tableName, declaredIndexes, uniques, primaryKey } = input;
+	const derivedIndexes = [];
+	const intents = input.foreignKeys.map((foreignKey) => {
+		const { constraint, index, ...reference } = foreignKey;
+		if (index !== true) return {
+			constraint,
+			reference,
+			index
+		};
+		const derived = derivedBackingIndex(tableName, reference.source.columns);
+		derivedIndexes.push(derived);
+		return {
+			constraint,
+			reference,
+			index: derived
+		};
+	});
+	const deduplicated = deduplicateIndexes({
+		tableName,
+		indexes: [...declaredIndexes, ...derivedIndexes],
+		uniques,
+		primaryKey,
+		warnings: input.warnings
+	});
+	const resolve = (backing) => foreignKeyIndexOf(resolveReplacement(backing, deduplicated.replacements));
+	return {
+		foreignKeys: intents.flatMap(({ constraint, reference, index }) => {
+			const backing = index === false ? void 0 : typeof index === "string" ? namedBackingObject(reference.source, index, {
+				declaredIndexes,
+				uniques,
+				primaryKey,
+				resolve
+			}) : resolve({
+				kind: "index",
+				index
+			});
+			if (!constraint) return [];
+			return [backing === void 0 ? reference : {
+				...reference,
+				index: backing
+			}];
+		}),
+		indexes: deduplicated.indexes.map((candidate) => candidate.index)
+	};
+}
+/**
+* Whether a table's declared indexes, unique constraints or primary key already serve a foreign key on `columns`, so the build would drop a derived backing index again. A source that writes no backing index of its own, such as a Prisma 7 schema, leaves the foreign key's `index` to the build where this holds, so the stored foreign key states what backs it.
+*/
+function declaredIndexesServeForeignKey(columns, table) {
+	return derivedBackingIndexIsRedundant(columns, {
+		indexes: table.indexes,
+		nodeOf: indexNodeOf,
+		uniques: table.uniques,
+		primaryKey: table.primaryKey
+	});
+}
+/**
+* The name to give a relation's `index` argument when the table's declared indexes and keys serve a foreign key on `columns` although the build would keep a derived backing index beside them (see {@link leadingBackingObjectName}).
+*/
+function declaredBackingObjectName(columns, table) {
+	return leadingBackingObjectName(columns, {
+		indexes: table.indexes,
+		nodeOf: indexNodeOf,
+		nameOf: (index) => nameOf(index.naming),
+		uniques: table.uniques,
+		primaryKey: table.primaryKey
+	});
+}
+/**
+* What a foreign key on `columns` states it is backed by when its relation says nothing, beside a table whose indexes all carry the `name` or `map` the source gave them, as a printed contract's do. A printer writes a relation's `index` argument only where the stored foreign key differs from this.
+*/
+function defaultForeignKeyIndex(tableName, columns, table) {
+	const reference = {
+		namespaceId: asNamespaceId(UNBOUND_NAMESPACE_ID),
+		tableName,
+		columns
+	};
+	const [foreignKey] = materializeForeignKeysAndIndexes({
+		tableName,
+		foreignKeys: [{
+			source: reference,
+			target: reference,
+			constraint: true,
+			index: true
+		}],
+		declaredIndexes: table.indexes.map((index) => ({
+			index,
+			namedByUser: true
+		})),
+		uniques: table.uniques,
+		primaryKey: table.primaryKey,
+		warnings: []
+	}).foreignKeys;
+	return typeof foreignKey?.index === "object" ? foreignKey.index : void 0;
+}
+function derivedBackingIndex(tableName, columns) {
+	return {
+		index: lowerAuthoredIndex(tableName, {
+			columns,
+			where: void 0,
+			unique: void 0,
+			map: void 0,
+			name: truncateToWireNamePrefixBytes(defaultIndexName(tableName, columns)),
+			type: void 0,
+			options: void 0
+		}),
+		namedByUser: false
+	};
+}
+/**
+* What a relation's `index: "<name>"` points at. The name is the `name` or `map` the source gave an index, unique constraint or primary key, or an index's stored name; an unnamed index's default name does not count. Identical indexes count as one, so the name is resolved after they merge. The object must start with the foreign key's columns, in order, or it would not serve the foreign key's lookups.
+*/
+function namedBackingObject(source, name, table) {
+	const { namespaceId, tableName, columns } = source;
+	const subject = `The foreign key on table "${tableName}" columns (${columns.join(", ")}) names "${name}" as its index`;
+	const meta = {
+		reason: FOREIGN_KEY_INDEX_UNRESOLVED,
+		namespaceId,
+		tableName,
+		columns,
+		index: name
+	};
+	const indexes = table.declaredIndexes.filter((candidate) => candidate.namedByUser && writtenName(candidate.index) === name || nameOf(candidate.index.naming) === name);
+	const keys = [...table.uniques.filter((unique) => unique.name === name), ...table.primaryKey?.name === name ? [table.primaryKey] : []];
+	const resolvedIndexes = [...new Map(indexes.map((index) => {
+		const resolved = table.resolve({
+			kind: "index",
+			index
+		});
+		return [JSON.stringify(resolved), {
+			index,
+			resolved
+		}];
+	})).values()];
+	const matches = resolvedIndexes.length + keys.length;
+	if (matches === 0) throw contractError("CONTRACT.ARGUMENT_INVALID", `${subject}, but table "${tableName}" has no index, unique constraint or primary key with that name.`, {
+		fix: `Declare an index, unique constraint or primary key named "${name}" on table "${tableName}", or drop the index argument so the foreign key gets its own backing index.`,
+		meta
+	});
+	if (matches > 1) throw contractError("CONTRACT.ARGUMENT_INVALID", `${subject}, but table "${tableName}" has more than one index, unique constraint or primary key with that name.`, {
+		fix: `Give the object the foreign key should use a name no other index, unique constraint or primary key of table "${tableName}" has, and name that on the relation.`,
+		meta
+	});
+	const [match] = resolvedIndexes;
+	const key = keys[0];
+	const objectColumns = match !== void 0 ? match.index.index.columns : key?.columns;
+	if (objectColumns === void 0 || !startsWithColumns(objectColumns, columns)) throw contractError("CONTRACT.ARGUMENT_INVALID", `${subject}, but ${objectColumns === void 0 ? "it indexes an expression, not the foreign key's columns" : `its columns (${objectColumns.join(", ")}) do not start with the foreign key's columns`}, so it does not serve the foreign key's lookups.`, {
+		fix: `Name an index, unique constraint or primary key whose first columns are (${columns.join(", ")}), or drop the index argument so the foreign key gets its own backing index.`,
+		meta
+	});
+	if (match !== void 0) return match.resolved;
+	return key === table.primaryKey ? { primaryKey: true } : { unique: objectColumns };
+}
+function resolveReplacement(backing, replacements) {
+	let current = backing;
+	while (current.kind === "index") {
+		const replacement = replacements.get(current.index);
+		if (replacement === void 0) break;
+		current = replacement;
+	}
+	return current;
+}
+function foreignKeyIndexOf(backing) {
+	switch (backing.kind) {
+		case "index": return { name: nameOf(backing.index.index.naming) };
+		case "uniqueConstraint": return { unique: backing.unique.columns };
+		case "primaryKey": return { primaryKey: true };
+	}
+}
+//#endregion
+export { materializeForeignKeysAndIndexes as a, defaultForeignKeyIndex as i, declaredBackingObjectName as n, declaredIndexesServeForeignKey as r, FOREIGN_KEY_INDEX_UNRESOLVED as t };
+
+//# sourceMappingURL=foreign-key-materialization-Cv3q8Pix.mjs.map

package/dist/foreign-key-materialization-Cv3q8Pix.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"foreign-key-materialization-Cv3q8Pix.mjs","names":[],"sources":["../../../../2-sql/1-core/contract/dist/foreign-key-materialization.mjs"],"sourcesContent":["import { t as contractError } from \"./contract-errors-BCN6RVI5.mjs\";\nimport { r as lowerAuthoredIndex } from \"./index-naming-Cj1Anq-T.mjs\";\nimport { i as leadingBackingObjectName, n as identicalIndexes, o as servingKey, r as indexNodeOf, s as startsWithColumns, t as derivedBackingIndexIsRedundant } from \"./index-equivalence-DswCiq5l.mjs\";\nimport { defaultIndexName, nameOf, truncateToWireNamePrefixBytes } from \"@internal/sql-schema-ir/naming\";\nimport { UNBOUND_NAMESPACE_ID } from \"@internal/framework-components/ir\";\nimport { InternalError } from \"@internal/utils/internal-error\";\nimport { asNamespaceId } from \"@internal/contract/types\";\n//#region src/index-deduplication.ts\nconst IDENTICAL_DESCRIPTION = \"the planner sees them as the same index. The contract keeps both because each is named.\";\nconst REDUNDANT_DESCRIPTION = \"which already serves the same lookups.\";\n/**\n* Removes the indexes of one table that duplicate another. Two indexes are identical when the planner sees them as the same index apart from their names (see {@link identicalIndexes}); of an identical group the pass keeps the indexes named by the user, or the first one when none is. A plain non-unique index whose columns are those of the primary key, a unique constraint or a unique index without a predicate is redundant (see {@link servingKey}), and the pass removes it unless it is named by the user. Every index named by the user survives; the pass warns about each one that duplicates another, and refuses two identical indexes both named with `name:`, whose wire names the planner could not tell apart.\n*/\nfunction deduplicateIndexes(input) {\n\tconst { tableName, warnings } = input;\n\tconst replacements = /* @__PURE__ */ new Map();\n\tconst nodes = new Map(input.indexes.map((candidate) => [candidate, indexNodeOf(candidate.index)]));\n\tconst nodeOf = (candidate) => {\n\t\tconst node = nodes.get(candidate);\n\t\tif (node === void 0) throw new InternalError(\"every candidate has a node\");\n\t\treturn node;\n\t};\n\tconst groups = [];\n\tfor (const candidate of input.indexes) {\n\t\tconst position = groups.findIndex(([first]) => identicalIndexes(nodeOf(first), nodeOf(candidate)));\n\t\tconst group = groups[position];\n\t\tif (group === void 0) groups.push([candidate]);\n\t\telse groups[position] = [...group, candidate];\n\t}\n\tfor (const group of groups) {\n\t\tconst named = group.filter((candidate) => candidate.namedByUser);\n\t\tconst wireNamed = named.filter((candidate) => candidate.index.naming.kind === \"wire\");\n\t\tif (wireNamed.length > 1) throw identicalWireNamedIndexesError(tableName, wireNamed);\n\t\tconst kept = named[0] ?? group[0];\n\t\tfor (const candidate of group) if (candidate !== kept && !candidate.namedByUser) replacements.set(candidate, {\n\t\t\tkind: \"index\",\n\t\t\tindex: kept\n\t\t});\n\t\tif (named.length > 1) warnings.push(identicalIndexesWarning(tableName, named));\n\t}\n\tconst survivors = input.indexes.filter((candidate) => !replacements.has(candidate));\n\tfor (const candidate of survivors) {\n\t\tconst servedBy = servingKey(nodeOf(candidate), {\n\t\t\tindexes: survivors,\n\t\t\tnodeOf,\n\t\t\tuniques: input.uniques,\n\t\t\tprimaryKey: input.primaryKey\n\t\t});\n\t\tif (servedBy === void 0) continue;\n\t\tif (candidate.namedByUser) warnings.push(redundantIndexWarning(tableName, candidate, servedBy));\n\t\telse replacements.set(candidate, servedBy);\n\t}\n\treturn {\n\t\tindexes: input.indexes.filter((candidate) => !replacements.has(candidate)),\n\t\treplacements\n\t};\n}\nfunction identicalWireNamedIndexesError(tableName, wireNamed) {\n\treturn contractError(\"CONTRACT.ARGUMENT_INVALID\", `Indexes ${quotedList(wireNamed.map((candidate) => writtenName(candidate.index)))} on table \"${tableName}\" are identical and both named with name:; the planner pairs wire-named indexes by their content, so it could not tell them apart.`, {\n\t\tfix: \"Remove one of them, or name one with map: to keep both under exact names.\",\n\t\tmeta: {\n\t\t\ttableName,\n\t\t\tindexes: wireNamed.map((candidate) => writtenName(candidate.index))\n\t\t}\n\t});\n}\n/** The name the source wrote: the prefix of a wire-named index, the whole name of an exact one. */\nfunction writtenName(index) {\n\treturn index.naming.kind === \"wire\" ? index.naming.prefix : index.naming.name;\n}\nfunction quotedList(names) {\n\tconst quoted = names.map((name) => `\"${name}\"`);\n\treturn quoted.length <= 2 ? quoted.join(\" and \") : `${quoted.slice(0, -1).join(\", \")} and ${quoted.at(-1)}`;\n}\nfunction identicalIndexesWarning(tableName, named) {\n\tconst names = quotedList(named.map((candidate) => writtenName(candidate.index)));\n\treturn {\n\t\tcode: \"PN_INDEX_DUPLICATE\",\n\t\tmessage: `Indexes ${names} on table \"${tableName}\" are identical: ${IDENTICAL_DESCRIPTION} Remove one of them.`,\n\t\titem: `table \"${tableName}\": indexes ${names}`,\n\t\tsummary: `tables have named indexes that are identical: ${IDENTICAL_DESCRIPTION} Remove one of each.`\n\t};\n}\nfunction describeReplacement(replacement) {\n\tswitch (replacement.kind) {\n\t\tcase \"primaryKey\": return \"the primary key\";\n\t\tcase \"uniqueConstraint\": return replacement.unique.name === void 0 ? `the unique constraint on (${replacement.unique.columns.join(\", \")})` : `the unique constraint \"${replacement.unique.name}\"`;\n\t\tcase \"index\": return `the unique index \"${writtenName(replacement.index.index)}\"`;\n\t}\n}\nfunction redundantIndexWarning(tableName, candidate, servedBy) {\n\tconst name = writtenName(candidate.index);\n\treturn {\n\t\tcode: \"PN_INDEX_REDUNDANT\",\n\t\tmessage: `Index \"${name}\" on table \"${tableName}\" has the same columns as ${describeReplacement(servedBy)}, ${REDUNDANT_DESCRIPTION} The contract keeps the index because it is named. Remove it.`,\n\t\titem: `table \"${tableName}\": index \"${name}\"`,\n\t\tsummary: `tables have a named index with the same columns as a unique constraint, unique index or primary key, ${REDUNDANT_DESCRIPTION} The contract keeps each index because it is named. Remove them.`\n\t};\n}\n//#endregion\n//#region src/foreign-key-materialization.ts\n/** The `meta.reason` of the refusal of a relation's `index: \"<name>\"`, which a source can report at the relation. */\nconst FOREIGN_KEY_INDEX_UNRESOLVED = \"foreign-key-index-unresolved\";\n/**\n* Lowers a table's authored foreign keys and indexes into the entities `contract.json` persists. A `constraint: false` foreign key contributes no `foreignKeys[]` entry. A foreign key with `index: true` gets a derived backing index; one with `index: \"<name>\"` uses what the table declares under that name. The table's indexes then pass through {@link deduplicateIndexes}, and each foreign key states what backs it in the result: an index by name, or the primary key or a unique constraint by kind.\n*/\nfunction materializeForeignKeysAndIndexes(input) {\n\tconst { tableName, declaredIndexes, uniques, primaryKey } = input;\n\tconst derivedIndexes = [];\n\tconst intents = input.foreignKeys.map((foreignKey) => {\n\t\tconst { constraint, index, ...reference } = foreignKey;\n\t\tif (index !== true) return {\n\t\t\tconstraint,\n\t\t\treference,\n\t\t\tindex\n\t\t};\n\t\tconst derived = derivedBackingIndex(tableName, reference.source.columns);\n\t\tderivedIndexes.push(derived);\n\t\treturn {\n\t\t\tconstraint,\n\t\t\treference,\n\t\t\tindex: derived\n\t\t};\n\t});\n\tconst deduplicated = deduplicateIndexes({\n\t\ttableName,\n\t\tindexes: [...declaredIndexes, ...derivedIndexes],\n\t\tuniques,\n\t\tprimaryKey,\n\t\twarnings: input.warnings\n\t});\n\tconst resolve = (backing) => foreignKeyIndexOf(resolveReplacement(backing, deduplicated.replacements));\n\treturn {\n\t\tforeignKeys: intents.flatMap(({ constraint, reference, index }) => {\n\t\t\tconst backing = index === false ? void 0 : typeof index === \"string\" ? namedBackingObject(reference.source, index, {\n\t\t\t\tdeclaredIndexes,\n\t\t\t\tuniques,\n\t\t\t\tprimaryKey,\n\t\t\t\tresolve\n\t\t\t}) : resolve({\n\t\t\t\tkind: \"index\",\n\t\t\t\tindex\n\t\t\t});\n\t\t\tif (!constraint) return [];\n\t\t\treturn [backing === void 0 ? reference : {\n\t\t\t\t...reference,\n\t\t\t\tindex: backing\n\t\t\t}];\n\t\t}),\n\t\tindexes: deduplicated.indexes.map((candidate) => candidate.index)\n\t};\n}\n/**\n* Whether a table's declared indexes, unique constraints or primary key already serve a foreign key on `columns`, so the build would drop a derived backing index again. A source that writes no backing index of its own, such as a Prisma 7 schema, leaves the foreign key's `index` to the build where this holds, so the stored foreign key states what backs it.\n*/\nfunction declaredIndexesServeForeignKey(columns, table) {\n\treturn derivedBackingIndexIsRedundant(columns, {\n\t\tindexes: table.indexes,\n\t\tnodeOf: indexNodeOf,\n\t\tuniques: table.uniques,\n\t\tprimaryKey: table.primaryKey\n\t});\n}\n/**\n* The name to give a relation's `index` argument when the table's declared indexes and keys serve a foreign key on `columns` although the build would keep a derived backing index beside them (see {@link leadingBackingObjectName}).\n*/\nfunction declaredBackingObjectName(columns, table) {\n\treturn leadingBackingObjectName(columns, {\n\t\tindexes: table.indexes,\n\t\tnodeOf: indexNodeOf,\n\t\tnameOf: (index) => nameOf(index.naming),\n\t\tuniques: table.uniques,\n\t\tprimaryKey: table.primaryKey\n\t});\n}\n/**\n* What a foreign key on `columns` states it is backed by when its relation says nothing, beside a table whose indexes all carry the `name` or `map` the source gave them, as a printed contract's do. A printer writes a relation's `index` argument only where the stored foreign key differs from this.\n*/\nfunction defaultForeignKeyIndex(tableName, columns, table) {\n\tconst reference = {\n\t\tnamespaceId: asNamespaceId(UNBOUND_NAMESPACE_ID),\n\t\ttableName,\n\t\tcolumns\n\t};\n\tconst [foreignKey] = materializeForeignKeysAndIndexes({\n\t\ttableName,\n\t\tforeignKeys: [{\n\t\t\tsource: reference,\n\t\t\ttarget: reference,\n\t\t\tconstraint: true,\n\t\t\tindex: true\n\t\t}],\n\t\tdeclaredIndexes: table.indexes.map((index) => ({\n\t\t\tindex,\n\t\t\tnamedByUser: true\n\t\t})),\n\t\tuniques: table.uniques,\n\t\tprimaryKey: table.primaryKey,\n\t\twarnings: []\n\t}).foreignKeys;\n\treturn typeof foreignKey?.index === \"object\" ? foreignKey.index : void 0;\n}\nfunction derivedBackingIndex(tableName, columns) {\n\treturn {\n\t\tindex: lowerAuthoredIndex(tableName, {\n\t\t\tcolumns,\n\t\t\twhere: void 0,\n\t\t\tunique: void 0,\n\t\t\tmap: void 0,\n\t\t\tname: truncateToWireNamePrefixBytes(defaultIndexName(tableName, columns)),\n\t\t\ttype: void 0,\n\t\t\toptions: void 0\n\t\t}),\n\t\tnamedByUser: false\n\t};\n}\n/**\n* What a relation's `index: \"<name>\"` points at. The name is the `name` or `map` the source gave an index, unique constraint or primary key, or an index's stored name; an unnamed index's default name does not count. Identical indexes count as one, so the name is resolved after they merge. The object must start with the foreign key's columns, in order, or it would not serve the foreign key's lookups.\n*/\nfunction namedBackingObject(source, name, table) {\n\tconst { namespaceId, tableName, columns } = source;\n\tconst subject = `The foreign key on table \"${tableName}\" columns (${columns.join(\", \")}) names \"${name}\" as its index`;\n\tconst meta = {\n\t\treason: FOREIGN_KEY_INDEX_UNRESOLVED,\n\t\tnamespaceId,\n\t\ttableName,\n\t\tcolumns,\n\t\tindex: name\n\t};\n\tconst indexes = table.declaredIndexes.filter((candidate) => candidate.namedByUser && writtenName(candidate.index) === name || nameOf(candidate.index.naming) === name);\n\tconst keys = [...table.uniques.filter((unique) => unique.name === name), ...table.primaryKey?.name === name ? [table.primaryKey] : []];\n\tconst resolvedIndexes = [...new Map(indexes.map((index) => {\n\t\tconst resolved = table.resolve({\n\t\t\tkind: \"index\",\n\t\t\tindex\n\t\t});\n\t\treturn [JSON.stringify(resolved), {\n\t\t\tindex,\n\t\t\tresolved\n\t\t}];\n\t})).values()];\n\tconst matches = resolvedIndexes.length + keys.length;\n\tif (matches === 0) throw contractError(\"CONTRACT.ARGUMENT_INVALID\", `${subject}, but table \"${tableName}\" has no index, unique constraint or primary key with that name.`, {\n\t\tfix: `Declare an index, unique constraint or primary key named \"${name}\" on table \"${tableName}\", or drop the index argument so the foreign key gets its own backing index.`,\n\t\tmeta\n\t});\n\tif (matches > 1) throw contractError(\"CONTRACT.ARGUMENT_INVALID\", `${subject}, but table \"${tableName}\" has more than one index, unique constraint or primary key with that name.`, {\n\t\tfix: `Give the object the foreign key should use a name no other index, unique constraint or primary key of table \"${tableName}\" has, and name that on the relation.`,\n\t\tmeta\n\t});\n\tconst [match] = resolvedIndexes;\n\tconst key = keys[0];\n\tconst objectColumns = match !== void 0 ? match.index.index.columns : key?.columns;\n\tif (objectColumns === void 0 || !startsWithColumns(objectColumns, columns)) throw contractError(\"CONTRACT.ARGUMENT_INVALID\", `${subject}, but ${objectColumns === void 0 ? \"it indexes an expression, not the foreign key's columns\" : `its columns (${objectColumns.join(\", \")}) do not start with the foreign key's columns`}, so it does not serve the foreign key's lookups.`, {\n\t\tfix: `Name an index, unique constraint or primary key whose first columns are (${columns.join(\", \")}), or drop the index argument so the foreign key gets its own backing index.`,\n\t\tmeta\n\t});\n\tif (match !== void 0) return match.resolved;\n\treturn key === table.primaryKey ? { primaryKey: true } : { unique: objectColumns };\n}\nfunction resolveReplacement(backing, replacements) {\n\tlet current = backing;\n\twhile (current.kind === \"index\") {\n\t\tconst replacement = replacements.get(current.index);\n\t\tif (replacement === void 0) break;\n\t\tcurrent = replacement;\n\t}\n\treturn current;\n}\nfunction foreignKeyIndexOf(backing) {\n\tswitch (backing.kind) {\n\t\tcase \"index\": return { name: nameOf(backing.index.index.naming) };\n\t\tcase \"uniqueConstraint\": return { unique: backing.unique.columns };\n\t\tcase \"primaryKey\": return { primaryKey: true };\n\t}\n}\n//#endregion\nexport { FOREIGN_KEY_INDEX_UNRESOLVED, declaredBackingObjectName, declaredIndexesServeForeignKey, defaultForeignKeyIndex, derivedBackingIndexIsRedundant, leadingBackingObjectName, materializeForeignKeysAndIndexes };\n\n//# sourceMappingURL=foreign-key-materialization.mjs.map"],"mappings":";;;;;;;;AAQA,MAAM,wBAAwB;AAC9B,MAAM,wBAAwB;;;;AAI9B,SAAS,mBAAmB,OAAO;CAClC,MAAM,EAAE,WAAW,aAAa;CAChC,MAAM,+BAA+B,IAAI,IAAI;CAC7C,MAAM,QAAQ,IAAI,IAAI,MAAM,QAAQ,KAAK,cAAc,CAAC,WAAW,YAAY,UAAU,KAAK,CAAC,CAAC,CAAC;CACjG,MAAM,UAAU,cAAc;EAC7B,MAAM,OAAO,MAAM,IAAI,SAAS;EAChC,IAAI,SAAS,KAAK,GAAG,MAAM,IAAI,cAAc,4BAA4B;EACzE,OAAO;CACR;CACA,MAAM,SAAS,CAAC;CAChB,KAAK,MAAM,aAAa,MAAM,SAAS;EACtC,MAAM,WAAW,OAAO,WAAW,CAAC,WAAW,iBAAiB,OAAO,KAAK,GAAG,OAAO,SAAS,CAAC,CAAC;EACjG,MAAM,QAAQ,OAAO;EACrB,IAAI,UAAU,KAAK,GAAG,OAAO,KAAK,CAAC,SAAS,CAAC;OACxC,OAAO,YAAY,CAAC,GAAG,OAAO,SAAS;CAC7C;CACA,KAAK,MAAM,SAAS,QAAQ;EAC3B,MAAM,QAAQ,MAAM,QAAQ,cAAc,UAAU,WAAW;EAC/D,MAAM,YAAY,MAAM,QAAQ,cAAc,UAAU,MAAM,OAAO,SAAS,MAAM;EACpF,IAAI,UAAU,SAAS,GAAG,MAAM,+BAA+B,WAAW,SAAS;EACnF,MAAM,OAAO,MAAM,MAAM,MAAM;EAC/B,KAAK,MAAM,aAAa,OAAO,IAAI,cAAc,QAAQ,CAAC,UAAU,aAAa,aAAa,IAAI,WAAW;GAC5G,MAAM;GACN,OAAO;EACR,CAAC;EACD,IAAI,MAAM,SAAS,GAAG,SAAS,KAAK,wBAAwB,WAAW,KAAK,CAAC;CAC9E;CACA,MAAM,YAAY,MAAM,QAAQ,QAAQ,cAAc,CAAC,aAAa,IAAI,SAAS,CAAC;CAClF,KAAK,MAAM,aAAa,WAAW;EAClC,MAAM,WAAW,WAAW,OAAO,SAAS,GAAG;GAC9C,SAAS;GACT;GACA,SAAS,MAAM;GACf,YAAY,MAAM;EACnB,CAAC;EACD,IAAI,aAAa,KAAK,GAAG;EACzB,IAAI,UAAU,aAAa,SAAS,KAAK,sBAAsB,WAAW,WAAW,QAAQ,CAAC;OACzF,aAAa,IAAI,WAAW,QAAQ;CAC1C;CACA,OAAO;EACN,SAAS,MAAM,QAAQ,QAAQ,cAAc,CAAC,aAAa,IAAI,SAAS,CAAC;EACzE;CACD;AACD;AACA,SAAS,+BAA+B,WAAW,WAAW;CAC7D,OAAO,cAAc,6BAA6B,WAAW,WAAW,UAAU,KAAK,cAAc,YAAY,UAAU,KAAK,CAAC,CAAC,EAAE,aAAa,UAAU,qIAAqI;EAC/R,KAAK;EACL,MAAM;GACL;GACA,SAAS,UAAU,KAAK,cAAc,YAAY,UAAU,KAAK,CAAC;EACnE;CACD,CAAC;AACF;;AAEA,SAAS,YAAY,OAAO;CAC3B,OAAO,MAAM,OAAO,SAAS,SAAS,MAAM,OAAO,SAAS,MAAM,OAAO;AAC1E;AACA,SAAS,WAAW,OAAO;CAC1B,MAAM,SAAS,MAAM,KAAK,SAAS,IAAI,KAAK,EAAE;CAC9C,OAAO,OAAO,UAAU,IAAI,OAAO,KAAK,OAAO,IAAI,GAAG,OAAO,MAAM,GAAG,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE,OAAO,OAAO,GAAG,EAAE;AACzG;AACA,SAAS,wBAAwB,WAAW,OAAO;CAClD,MAAM,QAAQ,WAAW,MAAM,KAAK,cAAc,YAAY,UAAU,KAAK,CAAC,CAAC;CAC/E,OAAO;EACN,MAAM;EACN,SAAS,WAAW,MAAM,aAAa,UAAU,mBAAmB,sBAAsB;EAC1F,MAAM,UAAU,UAAU,aAAa;EACvC,SAAS,iDAAiD,sBAAsB;CACjF;AACD;AACA,SAAS,oBAAoB,aAAa;CACzC,QAAQ,YAAY,MAApB;EACC,KAAK,cAAc,OAAO;EAC1B,KAAK,oBAAoB,OAAO,YAAY,OAAO,SAAS,KAAK,IAAI,6BAA6B,YAAY,OAAO,QAAQ,KAAK,IAAI,EAAE,KAAK,0BAA0B,YAAY,OAAO,KAAK;EAC/L,KAAK,SAAS,OAAO,qBAAqB,YAAY,YAAY,MAAM,KAAK,EAAE;CAChF;AACD;AACA,SAAS,sBAAsB,WAAW,WAAW,UAAU;CAC9D,MAAM,OAAO,YAAY,UAAU,KAAK;CACxC,OAAO;EACN,MAAM;EACN,SAAS,UAAU,KAAK,cAAc,UAAU,4BAA4B,oBAAoB,QAAQ,EAAE,IAAI,sBAAsB;EACpI,MAAM,UAAU,UAAU,YAAY,KAAK;EAC3C,SAAS,wGAAwG,sBAAsB;CACxI;AACD;;AAIA,MAAM,+BAA+B;;;;AAIrC,SAAS,iCAAiC,OAAO;CAChD,MAAM,EAAE,WAAW,iBAAiB,SAAS,eAAe;CAC5D,MAAM,iBAAiB,CAAC;CACxB,MAAM,UAAU,MAAM,YAAY,KAAK,eAAe;EACrD,MAAM,EAAE,YAAY,OAAO,GAAG,cAAc;EAC5C,IAAI,UAAU,MAAM,OAAO;GAC1B;GACA;GACA;EACD;EACA,MAAM,UAAU,oBAAoB,WAAW,UAAU,OAAO,OAAO;EACvE,eAAe,KAAK,OAAO;EAC3B,OAAO;GACN;GACA;GACA,OAAO;EACR;CACD,CAAC;CACD,MAAM,eAAe,mBAAmB;EACvC;EACA,SAAS,CAAC,GAAG,iBAAiB,GAAG,cAAc;EAC/C;EACA;EACA,UAAU,MAAM;CACjB,CAAC;CACD,MAAM,WAAW,YAAY,kBAAkB,mBAAmB,SAAS,aAAa,YAAY,CAAC;CACrG,OAAO;EACN,aAAa,QAAQ,SAAS,EAAE,YAAY,WAAW,YAAY;GAClE,MAAM,UAAU,UAAU,QAAQ,KAAK,IAAI,OAAO,UAAU,WAAW,mBAAmB,UAAU,QAAQ,OAAO;IAClH;IACA;IACA;IACA;GACD,CAAC,IAAI,QAAQ;IACZ,MAAM;IACN;GACD,CAAC;GACD,IAAI,CAAC,YAAY,OAAO,CAAC;GACzB,OAAO,CAAC,YAAY,KAAK,IAAI,YAAY;IACxC,GAAG;IACH,OAAO;GACR,CAAC;EACF,CAAC;EACD,SAAS,aAAa,QAAQ,KAAK,cAAc,UAAU,KAAK;CACjE;AACD;;;;AAIA,SAAS,+BAA+B,SAAS,OAAO;CACvD,OAAO,+BAA+B,SAAS;EAC9C,SAAS,MAAM;EACf,QAAQ;EACR,SAAS,MAAM;EACf,YAAY,MAAM;CACnB,CAAC;AACF;;;;AAIA,SAAS,0BAA0B,SAAS,OAAO;CAClD,OAAO,yBAAyB,SAAS;EACxC,SAAS,MAAM;EACf,QAAQ;EACR,SAAS,UAAU,OAAO,MAAM,MAAM;EACtC,SAAS,MAAM;EACf,YAAY,MAAM;CACnB,CAAC;AACF;;;;AAIA,SAAS,uBAAuB,WAAW,SAAS,OAAO;CAC1D,MAAM,YAAY;EACjB,aAAa,cAAc,oBAAoB;EAC/C;EACA;CACD;CACA,MAAM,CAAC,cAAc,iCAAiC;EACrD;EACA,aAAa,CAAC;GACb,QAAQ;GACR,QAAQ;GACR,YAAY;GACZ,OAAO;EACR,CAAC;EACD,iBAAiB,MAAM,QAAQ,KAAK,WAAW;GAC9C;GACA,aAAa;EACd,EAAE;EACF,SAAS,MAAM;EACf,YAAY,MAAM;EAClB,UAAU,CAAC;CACZ,CAAC,CAAC,CAAC;CACH,OAAO,OAAO,YAAY,UAAU,WAAW,WAAW,QAAQ,KAAK;AACxE;AACA,SAAS,oBAAoB,WAAW,SAAS;CAChD,OAAO;EACN,OAAO,mBAAmB,WAAW;GACpC;GACA,OAAO,KAAK;GACZ,QAAQ,KAAK;GACb,KAAK,KAAK;GACV,MAAM,8BAA8B,iBAAiB,WAAW,OAAO,CAAC;GACxE,MAAM,KAAK;GACX,SAAS,KAAK;EACf,CAAC;EACD,aAAa;CACd;AACD;;;;AAIA,SAAS,mBAAmB,QAAQ,MAAM,OAAO;CAChD,MAAM,EAAE,aAAa,WAAW,YAAY;CAC5C,MAAM,UAAU,6BAA6B,UAAU,aAAa,QAAQ,KAAK,IAAI,EAAE,WAAW,KAAK;CACvG,MAAM,OAAO;EACZ,QAAQ;EACR;EACA;EACA;EACA,OAAO;CACR;CACA,MAAM,UAAU,MAAM,gBAAgB,QAAQ,cAAc,UAAU,eAAe,YAAY,UAAU,KAAK,MAAM,QAAQ,OAAO,UAAU,MAAM,MAAM,MAAM,IAAI;CACrK,MAAM,OAAO,CAAC,GAAG,MAAM,QAAQ,QAAQ,WAAW,OAAO,SAAS,IAAI,GAAG,GAAG,MAAM,YAAY,SAAS,OAAO,CAAC,MAAM,UAAU,IAAI,CAAC,CAAC;CACrI,MAAM,kBAAkB,CAAC,GAAG,IAAI,IAAI,QAAQ,KAAK,UAAU;EAC1D,MAAM,WAAW,MAAM,QAAQ;GAC9B,MAAM;GACN;EACD,CAAC;EACD,OAAO,CAAC,KAAK,UAAU,QAAQ,GAAG;GACjC;GACA;EACD,CAAC;CACF,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;CACZ,MAAM,UAAU,gBAAgB,SAAS,KAAK;CAC9C,IAAI,YAAY,GAAG,MAAM,cAAc,6BAA6B,GAAG,QAAQ,eAAe,UAAU,mEAAmE;EAC1K,KAAK,6DAA6D,KAAK,cAAc,UAAU;EAC/F;CACD,CAAC;CACD,IAAI,UAAU,GAAG,MAAM,cAAc,6BAA6B,GAAG,QAAQ,eAAe,UAAU,8EAA8E;EACnL,KAAK,gHAAgH,UAAU;EAC/H;CACD,CAAC;CACD,MAAM,CAAC,SAAS;CAChB,MAAM,MAAM,KAAK;CACjB,MAAM,gBAAgB,UAAU,KAAK,IAAI,MAAM,MAAM,MAAM,UAAU,KAAK;CAC1E,IAAI,kBAAkB,KAAK,KAAK,CAAC,kBAAkB,eAAe,OAAO,GAAG,MAAM,cAAc,6BAA6B,GAAG,QAAQ,QAAQ,kBAAkB,KAAK,IAAI,4DAA4D,gBAAgB,cAAc,KAAK,IAAI,EAAE,+CAA+C,oDAAoD;EAClX,KAAK,4EAA4E,QAAQ,KAAK,IAAI,EAAE;EACpG;CACD,CAAC;CACD,IAAI,UAAU,KAAK,GAAG,OAAO,MAAM;CACnC,OAAO,QAAQ,MAAM,aAAa,EAAE,YAAY,KAAK,IAAI,EAAE,QAAQ,cAAc;AAClF;AACA,SAAS,mBAAmB,SAAS,cAAc;CAClD,IAAI,UAAU;CACd,OAAO,QAAQ,SAAS,SAAS;EAChC,MAAM,cAAc,aAAa,IAAI,QAAQ,KAAK;EAClD,IAAI,gBAAgB,KAAK,GAAG;EAC5B,UAAU;CACX;CACA,OAAO;AACR;AACA,SAAS,kBAAkB,SAAS;CACnC,QAAQ,QAAQ,MAAhB;EACC,KAAK,SAAS,OAAO,EAAE,MAAM,OAAO,QAAQ,MAAM,MAAM,MAAM,EAAE;EAChE,KAAK,oBAAoB,OAAO,EAAE,QAAQ,QAAQ,OAAO,QAAQ;EACjE,KAAK,cAAc,OAAO,EAAE,YAAY,KAAK;CAC9C;AACD"}

package/dist/foreign-key-materialization-D0Ltg78T.d.mts

@@ -0,0 +1,96 @@
+import { a as ForeignKeyReferenceInput, n as ForeignKeyIndex, o as ReferentialAction, r as ForeignKeyInput } from "./foreign-key-qkDFfG8t-Fyrzd0VI.mjs";
+import { i as UniqueConstraintInput, n as PrimaryKeyInput } from "./unique-constraint-M5TlQnJQ-BiIHJ85k.mjs";
+import { r as IndexInput } from "./sql-index-ByAAE7K8-DPkZtr7t.mjs";
+import { m as SqlIndexIR } from "./types-CLsPsUiw-Db1BsN9R.mjs";
+import "./types-D6XuABFQ.mjs";
+import { AuthoringWarningSink } from "@prisma/orm-framework/components/authoring";
+//#region ../../../2-sql/1-core/contract/dist/foreign-key-materialization.d.mts
+//#region src/index-equivalence.d.ts
+type Keyed = {
+  readonly columns: readonly string[];
+};
+interface KeyedTable<TIndex, TUnique extends Keyed, TPrimaryKey extends Keyed> {
+  readonly indexes: readonly TIndex[];
+  readonly nodeOf: (index: TIndex) => SqlIndexIR;
+  readonly uniques: readonly TUnique[];
+  readonly primaryKey: TPrimaryKey | undefined;
+}
+/**
+ * Whether the contract build would drop the backing index it derives for a foreign key on `columns`, because the table already has an identical index or a key serving its lookups. `contract infer` asks this of a live table to decide whether a relation needs `index: false`.
+ */
+declare function derivedBackingIndexIsRedundant<TIndex, TUnique extends Keyed, TPrimaryKey extends Keyed>(columns: readonly string[], table: KeyedTable<TIndex, TUnique, TPrimaryKey>): boolean;
+type NamedKey = Keyed & {
+  readonly name?: string | undefined;
+};
+/**
+ * The name of an object of the table that serves lookups on `columns` although the build would keep a derived backing index beside it: a named primary key or unique constraint, or a plain index, whose first columns are `columns`. A source that derives no backing index of its own names it on the relation instead of writing `index: false`.
+ */
+declare function leadingBackingObjectName<TIndex, TUnique extends NamedKey, TPrimaryKey extends NamedKey>(columns: readonly string[], table: KeyedTable<TIndex, TUnique, TPrimaryKey> & {
+  readonly nameOf: (index: TIndex) => string;
+}): string | undefined;
+//#endregion
+//#region src/index-deduplication.d.ts
+/** An index of a table as the contract source gives it, before duplicates are removed. */
+interface IndexCandidate {
+  readonly index: IndexInput;
+  /** The source gave the index a `name` or `map`. A derived backing index, and an index without either, are not named by the user. */
+  readonly namedByUser: boolean;
+}
+//#endregion
+//#region src/foreign-key-materialization.d.ts
+/** The `meta.reason` of the refusal of a relation's `index: "<name>"`, which a source can report at the relation. */
+declare const FOREIGN_KEY_INDEX_UNRESOLVED = "foreign-key-index-unresolved";
+/**
+ * A foreign key as authored: the referential coordinates plus the `constraint` and `index` intent. `index` is `true` for a derived backing index, `false` for none, or the name of an index, unique constraint or primary key the source declares on the same table.
+ */
+interface ForeignKeyAuthoringInput {
+  readonly source: ForeignKeyReferenceInput;
+  readonly target: ForeignKeyReferenceInput;
+  readonly name?: string;
+  readonly onDelete?: ReferentialAction;
+  readonly onUpdate?: ReferentialAction;
+  readonly constraint: boolean;
+  readonly index: boolean | string;
+}
+interface MaterializedTableConstraints {
+  readonly foreignKeys: readonly ForeignKeyInput[];
+  readonly indexes: readonly IndexInput[];
+}
+/**
+ * Lowers a table's authored foreign keys and indexes into the entities `contract.json` persists. A `constraint: false` foreign key contributes no `foreignKeys[]` entry. A foreign key with `index: true` gets a derived backing index; one with `index: "<name>"` uses what the table declares under that name. The table's indexes then pass through {@link deduplicateIndexes}, and each foreign key states what backs it in the result: an index by name, or the primary key or a unique constraint by kind.
+ */
+declare function materializeForeignKeysAndIndexes(input: {
+  readonly tableName: string;
+  readonly foreignKeys: readonly ForeignKeyAuthoringInput[];
+  readonly declaredIndexes: readonly IndexCandidate[];
+  readonly uniques: readonly UniqueConstraintInput[];
+  readonly primaryKey: PrimaryKeyInput | undefined;
+  readonly warnings: AuthoringWarningSink;
+}): MaterializedTableConstraints;
+/**
+ * Whether a table's declared indexes, unique constraints or primary key already serve a foreign key on `columns`, so the build would drop a derived backing index again. A source that writes no backing index of its own, such as a Prisma 7 schema, leaves the foreign key's `index` to the build where this holds, so the stored foreign key states what backs it.
+ */
+declare function declaredIndexesServeForeignKey(columns: readonly string[], table: {
+  readonly indexes: readonly IndexInput[];
+  readonly uniques: readonly UniqueConstraintInput[];
+  readonly primaryKey: PrimaryKeyInput | undefined;
+}): boolean;
+/**
+ * The name to give a relation's `index` argument when the table's declared indexes and keys serve a foreign key on `columns` although the build would keep a derived backing index beside them (see {@link leadingBackingObjectName}).
+ */
+declare function declaredBackingObjectName(columns: readonly string[], table: {
+  readonly indexes: readonly IndexInput[];
+  readonly uniques: readonly UniqueConstraintInput[];
+  readonly primaryKey: PrimaryKeyInput | undefined;
+}): string | undefined;
+/**
+ * What a foreign key on `columns` states it is backed by when its relation says nothing, beside a table whose indexes all carry the `name` or `map` the source gave them, as a printed contract's do. A printer writes a relation's `index` argument only where the stored foreign key differs from this.
+ */
+declare function defaultForeignKeyIndex(tableName: string, columns: readonly string[], table: {
+  readonly indexes: readonly IndexInput[];
+  readonly uniques: readonly UniqueConstraintInput[];
+  readonly primaryKey: PrimaryKeyInput | undefined;
+}): ForeignKeyIndex | undefined;
+//#endregion
+export { declaredBackingObjectName as a, derivedBackingIndexIsRedundant as c, MaterializedTableConstraints as i, leadingBackingObjectName as l, ForeignKeyAuthoringInput as n, declaredIndexesServeForeignKey as o, IndexCandidate as r, defaultForeignKeyIndex as s, FOREIGN_KEY_INDEX_UNRESOLVED as t, materializeForeignKeysAndIndexes as u };
+//# sourceMappingURL=foreign-key-materialization-D0Ltg78T.d.mts.map

package/dist/foreign-key-materialization-D0Ltg78T.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"foreign-key-materialization-D0Ltg78T.d.mts","names":[],"sources":["../../../../2-sql/1-core/contract/dist/foreign-key-materialization.d.mts"],"mappings":";;;;;;;;KAMK;WACM;;UAED,WAAW,QAAQ,gBAAgB,OAAO,oBAAoB;WAC7D,kBAAkB;WAClB,SAAS,OAAO,WAAW;WAC3B,kBAAkB;WAClB,YAAY;;;;;iBAKN,+BAA+B,QAAQ,gBAAgB,OAAO,oBAAoB,OAAO,4BAA4B,OAAO,WAAW,QAAQ,SAAS;KACpK,WAAW;WACL;;;;;iBAKM,yBAAyB,QAAQ,gBAAgB,UAAU,oBAAoB,UAAU,4BAA4B,OAAO,WAAW,QAAQ,SAAS;WAC9J,SAAS,OAAO;;;;;UAKjB;WACC,OAAO;;WAEP;;;;;cAKG;;;;UAIJ;WACC,QAAQ;WACR,QAAQ;WACR;WACA,WAAW;WACX,WAAW;WACX;WACA;;UAED;WACC,sBAAsB;WACtB,kBAAkB;;;;;iBAKZ,iCAAiC;WACvC;WACA,sBAAsB;WACtB,0BAA0B;WAC1B,kBAAkB;WAClB,YAAY;WACZ,UAAU;IACjB;;;;iBAIa,+BAA+B,4BAA4B;WACjE,kBAAkB;WAClB,kBAAkB;WAClB,YAAY;;;;;iBAKN,0BAA0B,4BAA4B;WAC5D,kBAAkB;WAClB,kBAAkB;WAClB,YAAY;;;;;iBAKN,uBAAuB,mBAAmB,4BAA4B;WAC5E,kBAAkB;WAClB,kBAAkB;WAClB,YAAY;IACnB"}

package/dist/{foreign-key-C-iTPuRT-C9ip8zFx.d.mts → foreign-key-qkDFfG8t-Fyrzd0VI.d.mts}

@@ -1,6 +1,6 @@
 import { t as SqlNode } from "./sql-node-kEz6YFZo-v2F7delx.mjs";
 import { NamespaceId } from "@prisma/orm-framework/contract/types";
-//#region ../../../2-sql/1-core/contract/dist/foreign-key-C-iTPuRT.d.mts
+//#region ../../../2-sql/1-core/contract/dist/foreign-key-qkDFfG8t.d.mts
 //#region src/ir/foreign-key-reference.d.ts
 /**
  * Input for a foreign-key reference (one side of a foreign-key declaration).
@@ -46,12 +46,26 @@ declare class ForeignKeyReference extends SqlNode {
 //#endregion
 //#region src/ir/foreign-key.d.ts
 type ReferentialAction = 'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault';
+/**
+ * What serves a foreign key's lookups on its own table, each in the way the contract identifies it: an index by its stored name, the primary key by kind, a unique constraint by its columns. The first columns of each are the foreign key's columns.
+ */
+type ForeignKeyIndex = {
+  readonly name: string;
+} | {
+  readonly primaryKey: true;
+} | {
+  readonly unique: readonly string[];
+};
 interface ForeignKeyInput {
   readonly source: ForeignKeyReference | ForeignKeyReferenceInput;
   readonly target: ForeignKeyReference | ForeignKeyReferenceInput;
   readonly name?: string;
   readonly onDelete?: ReferentialAction;
   readonly onUpdate?: ReferentialAction;
+  /**
+   * A `contract.json` emitted before 0.16 stores `true` or `false` here, the superseded per-foreign-key flag; it says nothing about the table's indexes and reads as absent.
+   */
+  readonly index?: ForeignKeyIndex | boolean;
 }
 /**
  * SQL Contract IR node for a table-level foreign-key declaration — the
@@ -62,7 +76,8 @@ interface ForeignKeyInput {
  * authoring-time decisions (PSL `@relation(index:)`, TS `fk({ constraint,
  * index })`) resolved once at `contract emit` — a `constraint: false` FK
  * simply has no entry here, and a backing index (if any) is its own discrete,
- * named entry in the table's `indexes[]`.
+ * named entry in the table's `indexes[]`. `index` says what serves the
+ * foreign key's lookups; it is absent when nothing backs the foreign key.
  *
  * Each FK carries explicit `source` and `target` {@link ForeignKeyReference}
  * coordinates (namespace, table, columns). For single-namespace contracts the
@@ -79,9 +94,10 @@ declare class ForeignKey extends SqlNode {
   readonly name?: string;
   readonly onDelete?: ReferentialAction;
   readonly onUpdate?: ReferentialAction;
+  readonly index?: ForeignKeyIndex;
   constructor(input: ForeignKeyInput);
   static from(value: ForeignKey | ForeignKeyInput): ForeignKey;
 }
 //#endregion
-export { ReferentialAction as a, ForeignKeyReferenceInput as i, ForeignKeyInput as n, ForeignKeyReference as r, ForeignKey as t };
-//# sourceMappingURL=foreign-key-C-iTPuRT-C9ip8zFx.d.mts.map
+export { ForeignKeyReferenceInput as a, ForeignKeyReference as i, ForeignKeyIndex as n, ReferentialAction as o, ForeignKeyInput as r, ForeignKey as t };
+//# sourceMappingURL=foreign-key-qkDFfG8t-Fyrzd0VI.d.mts.map

package/dist/foreign-key-qkDFfG8t-Fyrzd0VI.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"foreign-key-qkDFfG8t-Fyrzd0VI.d.mts","names":[],"sources":["../../../../2-sql/1-core/contract/dist/foreign-key-qkDFfG8t.d.mts"],"mappings":";;;;;;;;;;;;;;;UAcU;WACC;WACA;WACA;WACA;;;;;;;;;;;;;;;;;;cAkBG,4BAA4B;WAC/B,aAAa;WACb;WACA;WACA;EACT,YAAY,OAAO;SACZ,KAAK,OAAO,sBAAsB,2BAA2B;;;;KAIjE;;;;KAIA;WACM;;WAEA;;WAEA;;UAED;WACC,QAAQ,sBAAsB;WAC9B,QAAQ,sBAAsB;WAC9B;WACA,WAAW;WACX,WAAW;;;;WAIX,QAAQ;;;;;;;;;;;;;;;;;;;;;;;cAuBL,mBAAmB;WACtB,QAAQ;WACR,QAAQ;WACR;WACA,WAAW;WACX,WAAW;WACX,QAAQ;EACjB,YAAY,OAAO;SACZ,KAAK,OAAO,aAAa,kBAAkB"}

package/dist/{index-qOLTnfYz.d.mts → index-CnpTmyXs.d.mts}

@@ -1,5 +1,5 @@
-import { w as QueryOperationTypeEntry } from "./types-DV040Uuq-Bu8CnbMa.mjs";
-import "./types-DkOYK86-.mjs";
+import { w as QueryOperationTypeEntry } from "./types-DFZhLz18-C_h0u-Zx.mjs";
+import "./types-BURWzacK.mjs";
 import { OperationDescriptor, OperationDescriptors, OperationRegistry } from "@prisma/orm-framework/operations";
 //#region ../../../2-sql/1-core/operations/dist/index.d.mts
 //#region src/index.d.ts
@@ -21,4 +21,4 @@ type SqlOperationRegistry = OperationRegistry<SqlOperationEntry>;
 declare function createSqlOperationRegistry(): SqlOperationRegistry;
 //#endregion
 export { SqlOperationRegistry as a, SqlOperationEntry as i, SqlOperationDescriptor as n, createSqlOperationRegistry as o, SqlOperationDescriptors as r, SqlLoweringSpec as t };
-//# sourceMappingURL=index-qOLTnfYz.d.mts.map
+//# sourceMappingURL=index-CnpTmyXs.d.mts.map

package/dist/{index-qOLTnfYz.d.mts.map → index-CnpTmyXs.d.mts.map}

@@ -1 +1 @@
-{"version":3,"file":"index-qOLTnfYz.d.mts","names":[],"sources":["../../../../2-sql/1-core/operations/dist/index.d.mts"],"mappings":";;;;;UAGU;WACC;WACA;;;;;;;;;KASN,oBAAoB;KACpB,yBAAyB,oBAAoB;KAC7C,0BAA0B,qBAAqB;KAC/C,uBAAuB,kBAAkB;iBAC7B,8BAA8B"}
+{"version":3,"file":"index-CnpTmyXs.d.mts","names":[],"sources":["../../../../2-sql/1-core/operations/dist/index.d.mts"],"mappings":";;;;;UAGU;WACC;WACA;;;;;;;;;KASN,oBAAoB;KACpB,yBAAyB,oBAAoB;KAC7C,0BAA0B,qBAAqB;KAC/C,uBAAuB,kBAAkB;iBAC7B,8BAA8B"}