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

package/dist/{index-C5I8D-MB.d.mts → index-Nqc3OHR_.d.mts}

@@ -1,11 +1,10 @@
-import { w as QueryOperationTypeEntry } from "./types-BDUG29Df-LE85dIXP.mjs";
-import "./types-UcHa2cTe.mjs";
+import { E as QueryOperationTypeEntry } from "./types-DfKvtJwS-CrpWTGBJ.mjs";
+import "./types-CkAd8SWm.mjs";
 import { OperationDescriptor, OperationDescriptors, OperationRegistry } from "@prisma/orm-framework/operations";
-//#region ../../../2-sql/1-core/operations/dist/index.d.mts
+//#region ../../../2-sql-family/1-core/operations/dist/index.d.mts
 //#region src/index.d.ts
 interface SqlLoweringSpec {
   readonly targetFamily: 'sql';
-  readonly strategy: 'infix' | 'function';
   readonly template: string;
 }
 /**
@@ -22,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-C5I8D-MB.d.mts.map
+//# sourceMappingURL=index-Nqc3OHR_.d.mts.map

package/dist/index-Nqc3OHR_.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-Nqc3OHR_.d.mts","names":[],"sources":["../../../../2-sql-family/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"}

package/dist/index-equivalence-DswCiq5l-CGsyPP9B.mjs

@@ -0,0 +1,109 @@
+import { s as SqlIndexIR } from "./types-DoyiTsjg-2YMhMJDA.mjs";
+//#region ../../../2-sql-family/1-core/contract/dist/index-equivalence-DswCiq5l.mjs
+/** The schema node the planner builds for an index the contract states, which is what it compares. */
+function indexNodeOf(index) {
+	return new SqlIndexIR({
+		...index,
+		annotations: void 0,
+		dependsOn: void 0,
+		partial: index.where !== void 0
+	});
+}
+/** Whether the planner sees two indexes as the same index apart from their names. */
+function identicalIndexes(a, b) {
+	return a.contentEquals(b, {
+		columnPresence: "matching",
+		bodies: "verbatim"
+	});
+}
+/** The index the contract build derives to back a foreign key on `columns`, as the planner sees it. */
+function derivedBackingIndexNode(columns) {
+	return new SqlIndexIR({
+		naming: {
+			kind: "exact",
+			name: "derived backing index"
+		},
+		columns,
+		where: void 0,
+		unique: false,
+		type: void 0,
+		options: void 0,
+		annotations: void 0,
+		dependsOn: void 0,
+		partial: false
+	});
+}
+function sameColumns(a, b) {
+	return a.length === b.length && startsWithColumns(a, b);
+}
+/** Whether `columns` begins with `leading`, in order: an index or key on such columns serves lookups on `leading`. */
+function startsWithColumns(columns, leading) {
+	return leading.length <= columns.length && leading.every((column, position) => column === columns[position]);
+}
+/**
+* The key that serves every lookup of `index`, when `index` is a plain non-unique index: one the planner sees as identical to an index derived on its columns. A unique index serves only when it has no predicate.
+*/
+function servingKey(index, table) {
+	const { columns } = index;
+	if (columns === void 0 || !identicalIndexes(index, derivedBackingIndexNode(columns))) return;
+	if (table.primaryKey !== void 0 && sameColumns(table.primaryKey.columns, columns)) return {
+		kind: "primaryKey",
+		primaryKey: table.primaryKey
+	};
+	const unique = table.uniques.find((constraint) => sameColumns(constraint.columns, columns));
+	if (unique !== void 0) return {
+		kind: "uniqueConstraint",
+		unique
+	};
+	const uniqueIndex = table.indexes.find((candidate) => {
+		const node = table.nodeOf(candidate);
+		return node.unique && node.where === void 0 && node.columns !== void 0 && sameColumns(node.columns, columns);
+	});
+	return uniqueIndex === void 0 ? void 0 : {
+		kind: "index",
+		index: uniqueIndex
+	};
+}
+/**
+* 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`.
+*/
+function derivedBackingIndexIsRedundant(columns, table) {
+	const derived = derivedBackingIndexNode(columns);
+	return table.indexes.some((index) => identicalIndexes(table.nodeOf(index), derived)) || servingKey(derived, table) !== void 0;
+}
+/** Whether the planner sees `index` as a plain index: its columns, uniqueness and nothing else. */
+function isPlainIndexNode(index) {
+	if (index.columns === void 0) return false;
+	return identicalIndexes(index, new SqlIndexIR({
+		naming: {
+			kind: "exact",
+			name: "plain index"
+		},
+		columns: index.columns,
+		where: void 0,
+		unique: index.unique,
+		type: void 0,
+		options: void 0,
+		annotations: void 0,
+		dependsOn: void 0,
+		partial: false
+	}));
+}
+/**
+* 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`.
+*/
+function leadingBackingObjectName(columns, table) {
+	const { primaryKey } = table;
+	if (primaryKey?.name !== void 0 && startsWithColumns(primaryKey.columns, columns)) return primaryKey.name;
+	const unique = table.uniques.find((constraint) => constraint.name !== void 0 && startsWithColumns(constraint.columns, columns));
+	if (unique?.name !== void 0) return unique.name;
+	const index = table.indexes.find((candidate) => {
+		const node = table.nodeOf(candidate);
+		return node.columns !== void 0 && startsWithColumns(node.columns, columns) && isPlainIndexNode(node);
+	});
+	return index === void 0 ? void 0 : table.nameOf(index);
+}
+//#endregion
+export { sameColumns as a, leadingBackingObjectName as i, identicalIndexes as n, servingKey as o, indexNodeOf as r, startsWithColumns as s, derivedBackingIndexIsRedundant as t };
+
+//# sourceMappingURL=index-equivalence-DswCiq5l-CGsyPP9B.mjs.map

package/dist/index-equivalence-DswCiq5l-CGsyPP9B.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-equivalence-DswCiq5l-CGsyPP9B.mjs","names":[],"sources":["../../../../2-sql-family/1-core/contract/dist/index-equivalence-DswCiq5l.mjs"],"sourcesContent":["import { SqlIndexIR } from \"@internal/sql-schema-ir/types\";\n//#region src/index-equivalence.ts\n/** The schema node the planner builds for an index the contract states, which is what it compares. */\nfunction indexNodeOf(index) {\n\treturn new SqlIndexIR({\n\t\t...index,\n\t\tannotations: void 0,\n\t\tdependsOn: void 0,\n\t\tpartial: index.where !== void 0\n\t});\n}\n/** Whether the planner sees two indexes as the same index apart from their names. */\nfunction identicalIndexes(a, b) {\n\treturn a.contentEquals(b, {\n\t\tcolumnPresence: \"matching\",\n\t\tbodies: \"verbatim\"\n\t});\n}\n/** The index the contract build derives to back a foreign key on `columns`, as the planner sees it. */\nfunction derivedBackingIndexNode(columns) {\n\treturn new SqlIndexIR({\n\t\tnaming: {\n\t\t\tkind: \"exact\",\n\t\t\tname: \"derived backing index\"\n\t\t},\n\t\tcolumns,\n\t\twhere: void 0,\n\t\tunique: false,\n\t\ttype: void 0,\n\t\toptions: void 0,\n\t\tannotations: void 0,\n\t\tdependsOn: void 0,\n\t\tpartial: false\n\t});\n}\nfunction sameColumns(a, b) {\n\treturn a.length === b.length && startsWithColumns(a, b);\n}\n/** Whether `columns` begins with `leading`, in order: an index or key on such columns serves lookups on `leading`. */\nfunction startsWithColumns(columns, leading) {\n\treturn leading.length <= columns.length && leading.every((column, position) => column === columns[position]);\n}\n/**\n* The key that serves every lookup of `index`, when `index` is a plain non-unique index: one the planner sees as identical to an index derived on its columns. A unique index serves only when it has no predicate.\n*/\nfunction servingKey(index, table) {\n\tconst { columns } = index;\n\tif (columns === void 0 || !identicalIndexes(index, derivedBackingIndexNode(columns))) return;\n\tif (table.primaryKey !== void 0 && sameColumns(table.primaryKey.columns, columns)) return {\n\t\tkind: \"primaryKey\",\n\t\tprimaryKey: table.primaryKey\n\t};\n\tconst unique = table.uniques.find((constraint) => sameColumns(constraint.columns, columns));\n\tif (unique !== void 0) return {\n\t\tkind: \"uniqueConstraint\",\n\t\tunique\n\t};\n\tconst uniqueIndex = table.indexes.find((candidate) => {\n\t\tconst node = table.nodeOf(candidate);\n\t\treturn node.unique && node.where === void 0 && node.columns !== void 0 && sameColumns(node.columns, columns);\n\t});\n\treturn uniqueIndex === void 0 ? void 0 : {\n\t\tkind: \"index\",\n\t\tindex: uniqueIndex\n\t};\n}\n/**\n* 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`.\n*/\nfunction derivedBackingIndexIsRedundant(columns, table) {\n\tconst derived = derivedBackingIndexNode(columns);\n\treturn table.indexes.some((index) => identicalIndexes(table.nodeOf(index), derived)) || servingKey(derived, table) !== void 0;\n}\n/** Whether the planner sees `index` as a plain index: its columns, uniqueness and nothing else. */\nfunction isPlainIndexNode(index) {\n\tif (index.columns === void 0) return false;\n\treturn identicalIndexes(index, new SqlIndexIR({\n\t\tnaming: {\n\t\t\tkind: \"exact\",\n\t\t\tname: \"plain index\"\n\t\t},\n\t\tcolumns: index.columns,\n\t\twhere: void 0,\n\t\tunique: index.unique,\n\t\ttype: void 0,\n\t\toptions: void 0,\n\t\tannotations: void 0,\n\t\tdependsOn: void 0,\n\t\tpartial: false\n\t}));\n}\n/**\n* 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`.\n*/\nfunction leadingBackingObjectName(columns, table) {\n\tconst { primaryKey } = table;\n\tif (primaryKey?.name !== void 0 && startsWithColumns(primaryKey.columns, columns)) return primaryKey.name;\n\tconst unique = table.uniques.find((constraint) => constraint.name !== void 0 && startsWithColumns(constraint.columns, columns));\n\tif (unique?.name !== void 0) return unique.name;\n\tconst index = table.indexes.find((candidate) => {\n\t\tconst node = table.nodeOf(candidate);\n\t\treturn node.columns !== void 0 && startsWithColumns(node.columns, columns) && isPlainIndexNode(node);\n\t});\n\treturn index === void 0 ? void 0 : table.nameOf(index);\n}\n//#endregion\nexport { sameColumns as a, leadingBackingObjectName as i, identicalIndexes as n, servingKey as o, indexNodeOf as r, startsWithColumns as s, derivedBackingIndexIsRedundant as t };\n\n//# sourceMappingURL=index-equivalence-DswCiq5l.mjs.map"],"mappings":";;;AAGA,SAAS,YAAY,OAAO;CAC3B,OAAO,IAAI,WAAW;EACrB,GAAG;EACH,aAAa,KAAK;EAClB,WAAW,KAAK;EAChB,SAAS,MAAM,UAAU,KAAK;CAC/B,CAAC;AACF;;AAEA,SAAS,iBAAiB,GAAG,GAAG;CAC/B,OAAO,EAAE,cAAc,GAAG;EACzB,gBAAgB;EAChB,QAAQ;CACT,CAAC;AACF;;AAEA,SAAS,wBAAwB,SAAS;CACzC,OAAO,IAAI,WAAW;EACrB,QAAQ;GACP,MAAM;GACN,MAAM;EACP;EACA;EACA,OAAO,KAAK;EACZ,QAAQ;EACR,MAAM,KAAK;EACX,SAAS,KAAK;EACd,aAAa,KAAK;EAClB,WAAW,KAAK;EAChB,SAAS;CACV,CAAC;AACF;AACA,SAAS,YAAY,GAAG,GAAG;CAC1B,OAAO,EAAE,WAAW,EAAE,UAAU,kBAAkB,GAAG,CAAC;AACvD;;AAEA,SAAS,kBAAkB,SAAS,SAAS;CAC5C,OAAO,QAAQ,UAAU,QAAQ,UAAU,QAAQ,OAAO,QAAQ,aAAa,WAAW,QAAQ,SAAS;AAC5G;;;;AAIA,SAAS,WAAW,OAAO,OAAO;CACjC,MAAM,EAAE,YAAY;CACpB,IAAI,YAAY,KAAK,KAAK,CAAC,iBAAiB,OAAO,wBAAwB,OAAO,CAAC,GAAG;CACtF,IAAI,MAAM,eAAe,KAAK,KAAK,YAAY,MAAM,WAAW,SAAS,OAAO,GAAG,OAAO;EACzF,MAAM;EACN,YAAY,MAAM;CACnB;CACA,MAAM,SAAS,MAAM,QAAQ,MAAM,eAAe,YAAY,WAAW,SAAS,OAAO,CAAC;CAC1F,IAAI,WAAW,KAAK,GAAG,OAAO;EAC7B,MAAM;EACN;CACD;CACA,MAAM,cAAc,MAAM,QAAQ,MAAM,cAAc;EACrD,MAAM,OAAO,MAAM,OAAO,SAAS;EACnC,OAAO,KAAK,UAAU,KAAK,UAAU,KAAK,KAAK,KAAK,YAAY,KAAK,KAAK,YAAY,KAAK,SAAS,OAAO;CAC5G,CAAC;CACD,OAAO,gBAAgB,KAAK,IAAI,KAAK,IAAI;EACxC,MAAM;EACN,OAAO;CACR;AACD;;;;AAIA,SAAS,+BAA+B,SAAS,OAAO;CACvD,MAAM,UAAU,wBAAwB,OAAO;CAC/C,OAAO,MAAM,QAAQ,MAAM,UAAU,iBAAiB,MAAM,OAAO,KAAK,GAAG,OAAO,CAAC,KAAK,WAAW,SAAS,KAAK,MAAM,KAAK;AAC7H;;AAEA,SAAS,iBAAiB,OAAO;CAChC,IAAI,MAAM,YAAY,KAAK,GAAG,OAAO;CACrC,OAAO,iBAAiB,OAAO,IAAI,WAAW;EAC7C,QAAQ;GACP,MAAM;GACN,MAAM;EACP;EACA,SAAS,MAAM;EACf,OAAO,KAAK;EACZ,QAAQ,MAAM;EACd,MAAM,KAAK;EACX,SAAS,KAAK;EACd,aAAa,KAAK;EAClB,WAAW,KAAK;EAChB,SAAS;CACV,CAAC,CAAC;AACH;;;;AAIA,SAAS,yBAAyB,SAAS,OAAO;CACjD,MAAM,EAAE,eAAe;CACvB,IAAI,YAAY,SAAS,KAAK,KAAK,kBAAkB,WAAW,SAAS,OAAO,GAAG,OAAO,WAAW;CACrG,MAAM,SAAS,MAAM,QAAQ,MAAM,eAAe,WAAW,SAAS,KAAK,KAAK,kBAAkB,WAAW,SAAS,OAAO,CAAC;CAC9H,IAAI,QAAQ,SAAS,KAAK,GAAG,OAAO,OAAO;CAC3C,MAAM,QAAQ,MAAM,QAAQ,MAAM,cAAc;EAC/C,MAAM,OAAO,MAAM,OAAO,SAAS;EACnC,OAAO,KAAK,YAAY,KAAK,KAAK,kBAAkB,KAAK,SAAS,OAAO,KAAK,iBAAiB,IAAI;CACpG,CAAC;CACD,OAAO,UAAU,KAAK,IAAI,KAAK,IAAI,MAAM,OAAO,KAAK;AACtD"}

package/dist/{index-naming-DREt6js7-CRH27yUv.mjs → index-naming-BOcJT1B3-mG8Fd6KN.mjs}

@@ -1,7 +1,32 @@
-import { t as contractError } from "./contract-errors-BCN6RVI5-5IHBF_lg.mjs";
-import { a as computeIndexContentHash, n as assertWireNamePrefixLength, o as defaultIndexName } from "./naming-DKr4TJd7-Cszhq9RV.mjs";
+import { t as contractError } from "./contract-errors-BCN6RVI5-DoH6b_KZ.mjs";
+import { a as rendersIndexBody } from "./index-types-pC_5vADQ-BOOBi14R.mjs";
+import { a as computeIndexContentHash, n as assertWireNamePrefixLength, o as defaultIndexName } from "./naming-bM5qm5PY-jOg3JFMb.mjs";
 import { flushAuthoringWarnings } from "@prisma/orm-framework/components/authoring";
-//#region ../../../2-sql/1-core/contract/dist/index-naming-DREt6js7.mjs
+//#region ../../../2-sql-family/1-core/contract/dist/index-naming-BOcJT1B3.mjs
+/**
+* Narrows the opaque payload a contributed model attribute returns under
+* `index` (see `AuthoringModelAttributeIndexOutput`). The framework hands the
+* value through untyped because an index's shape belongs to the family; this
+* is the SQL family's boundary check. It proves the structure only — the
+* name/map and expression rules stay where `@@index` enforces them, in
+* {@link lowerAuthoredIndex}.
+*/
+function isAuthoredIndexInput(value) {
+	if (typeof value !== "object" || value === null) return false;
+	const candidate = { ...value };
+	if (typeof candidate["expression"] === "string" === (Array.isArray(candidate["columns"]) && candidate["columns"].every((element) => typeof element === "string"))) return false;
+	if (!isOptionalString(candidate["where"])) return false;
+	if (!isOptionalString(candidate["map"])) return false;
+	if (!isOptionalString(candidate["name"])) return false;
+	if (candidate["unique"] !== void 0 && typeof candidate["unique"] !== "boolean") return false;
+	if (candidate["type"] === void 0) return candidate["options"] === void 0;
+	if (typeof candidate["type"] !== "string") return false;
+	const options = candidate["options"];
+	return options === void 0 || typeof options === "object" && options !== null && !Array.isArray(options);
+}
+function isOptionalString(value) {
+	return value === void 0 || typeof value === "string";
+}
 const EXACT_NAME_BODY_PREAMBLE = "Drift detection compares the authored SQL text byte-for-byte against Postgres's reprinted form, which is only reliable when the text was captured by contract infer.";
 /**
 * Per-subject remediation: an index or check moves to wire naming via
@@ -9,9 +34,9 @@ const EXACT_NAME_BODY_PREAMBLE = "Drift detection compares the authored SQL text
 * block's head the wire prefix.
 */
 const EXACT_NAME_BODY_REMEDIATION = {
-	index: "For hand-authored definitions, use name: and let Prisma Next manage the physical name; to migrate an adopted object to wire naming, replace map: with name: (keeping the body text unchanged) and apply the resulting rename migration.",
+	index: "For hand-authored definitions, use name: and let Prisma 8 manage the physical name; to migrate an adopted object to wire naming, replace map: with name: (keeping the body text unchanged) and apply the resulting rename migration.",
 	policy: "For hand-authored definitions, drop @@map and let the policy block's head name the policy; to migrate an adopted policy to wire naming, remove @@map (keeping the body text unchanged) and apply the resulting rename migration.",
-	check: "For hand-authored definitions, use name: and let Prisma Next manage the physical name; to migrate an adopted check to wire naming, replace map: with name: (keeping the body text unchanged) and apply the resulting rename migration."
+	check: "For hand-authored definitions, use name: and let Prisma 8 manage the physical name; to migrate an adopted check to wire naming, replace map: with name: (keeping the body text unchanged) and apply the resulting rename migration."
 };
 /** What the user actually wrote, per subject: index and check `map:`, policy `@@map`. */
 const EXACT_NAME_FEATURE = {
@@ -46,14 +71,15 @@ function exactNameBodyWarning(subject, exactName) {
 * The cross-field guards are the shared enforcement backstop for both
 * authoring surfaces (PSL pre-empts them with span-anchored diagnostics).
 */
-function lowerAuthoredIndex(tableName, authored, warnings) {
+function lowerAuthoredIndex(tableName, authored, warnings, indexTypes) {
 	if (authored.columns === void 0 === (authored.expression === void 0)) throw contractError("CONTRACT.ARGUMENT_INVALID", `Index on table "${tableName}": an index takes either fields (columns) or an expression — exactly one, not both.`);
 	if (authored.map !== void 0 && authored.name !== void 0) throw contractError("CONTRACT.ARGUMENT_INVALID", `Index "${authored.map}" on table "${tableName}": map and name are mutually exclusive — map adopts an exact physical name, name is a wire prefix.`);
 	if (authored.expression !== void 0 && authored.name === void 0 && authored.map === void 0) throw contractError("CONTRACT.ARGUMENT_INVALID", `Index on table "${tableName}": an expression index requires an explicit name (name:) or exact physical name (map:) — a default name cannot be derived from an expression.`);
 	if (authored.options !== void 0 && authored.type === void 0) throw contractError("CONTRACT.ARGUMENT_INVALID", `Index on table "${tableName}": options requires an explicit type — an index with options but no type cannot round-trip through contract infer (the emitted type: would change the wire name).`);
 	const unique = authored.unique ?? false;
 	if (authored.map !== void 0) {
-		if (authored.expression !== void 0 || authored.where !== void 0) {
+		const typeEntry = authored.type === void 0 ? void 0 : indexTypes?.get(authored.type);
+		if (authored.expression !== void 0 || authored.where !== void 0 || typeEntry !== void 0 && rendersIndexBody(typeEntry)) {
 			const warning = exactNameBodyWarning("index", authored.map);
 			if (warnings !== void 0) warnings.push(warning);
 			else flushAuthoringWarnings([warning]);
@@ -105,6 +131,6 @@ function lowerAuthoredIndex(tableName, authored, warnings) {
 	};
 }
 //#endregion
-export { lowerAuthoredIndex as n, exactNameBodyWarning as t };
+export { isAuthoredIndexInput as n, lowerAuthoredIndex as r, exactNameBodyWarning as t };
 
-//# sourceMappingURL=index-naming-DREt6js7-CRH27yUv.mjs.map
+//# sourceMappingURL=index-naming-BOcJT1B3-mG8Fd6KN.mjs.map

package/dist/index-naming-BOcJT1B3-mG8Fd6KN.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-naming-BOcJT1B3-mG8Fd6KN.mjs","names":[],"sources":["../../../../2-sql-family/1-core/contract/dist/index-naming-BOcJT1B3.mjs"],"sourcesContent":["import { t as contractError } from \"./contract-errors-BCN6RVI5.mjs\";\nimport { a as rendersIndexBody } from \"./index-types-pC_5vADQ.mjs\";\nimport { flushAuthoringWarnings } from \"@internal/framework-components/authoring\";\nimport { assertWireNamePrefixLength, computeIndexContentHash, defaultIndexName } from \"@internal/sql-schema-ir/naming\";\n//#region src/index-naming.ts\n/**\n* Narrows the opaque payload a contributed model attribute returns under\n* `index` (see `AuthoringModelAttributeIndexOutput`). The framework hands the\n* value through untyped because an index's shape belongs to the family; this\n* is the SQL family's boundary check. It proves the structure only — the\n* name/map and expression rules stay where `@@index` enforces them, in\n* {@link lowerAuthoredIndex}.\n*/\nfunction isAuthoredIndexInput(value) {\n\tif (typeof value !== \"object\" || value === null) return false;\n\tconst candidate = { ...value };\n\tif (typeof candidate[\"expression\"] === \"string\" === (Array.isArray(candidate[\"columns\"]) && candidate[\"columns\"].every((element) => typeof element === \"string\"))) return false;\n\tif (!isOptionalString(candidate[\"where\"])) return false;\n\tif (!isOptionalString(candidate[\"map\"])) return false;\n\tif (!isOptionalString(candidate[\"name\"])) return false;\n\tif (candidate[\"unique\"] !== void 0 && typeof candidate[\"unique\"] !== \"boolean\") return false;\n\tif (candidate[\"type\"] === void 0) return candidate[\"options\"] === void 0;\n\tif (typeof candidate[\"type\"] !== \"string\") return false;\n\tconst options = candidate[\"options\"];\n\treturn options === void 0 || typeof options === \"object\" && options !== null && !Array.isArray(options);\n}\nfunction isOptionalString(value) {\n\treturn value === void 0 || typeof value === \"string\";\n}\nconst EXACT_NAME_BODY_PREAMBLE = \"Drift detection compares the authored SQL text byte-for-byte against Postgres's reprinted form, which is only reliable when the text was captured by contract infer.\";\n/**\n* Per-subject remediation: an index or check moves to wire naming via\n* `name:`; a policy has no such parameter — dropping `@@map` makes the\n* block's head the wire prefix.\n*/\nconst EXACT_NAME_BODY_REMEDIATION = {\n\tindex: \"For hand-authored definitions, use name: and let Prisma 8 manage the physical name; to migrate an adopted object to wire naming, replace map: with name: (keeping the body text unchanged) and apply the resulting rename migration.\",\n\tpolicy: \"For hand-authored definitions, drop @@map and let the policy block's head name the policy; to migrate an adopted policy to wire naming, remove @@map (keeping the body text unchanged) and apply the resulting rename migration.\",\n\tcheck: \"For hand-authored definitions, use name: and let Prisma 8 manage the physical name; to migrate an adopted check to wire naming, replace map: with name: (keeping the body text unchanged) and apply the resulting rename migration.\"\n};\n/** What the user actually wrote, per subject: index and check `map:`, policy `@@map`. */\nconst EXACT_NAME_FEATURE = {\n\tindex: \"map:\",\n\tpolicy: \"@@map\",\n\tcheck: \"map:\"\n};\nconst EXACT_NAME_BODY_WARNING_CODE = \"PN_EXACT_NAME_BODY_COMPARISON\";\n/**\n* Mints the exact-name body-comparison warning for a `map:`-named object\n* carrying a hand-authorable SQL body — fully formed, so the transport and\n* the flush stay generic. `subject` distinguishes the index, policy, and\n* check callers that mint this same warning; the feature name and the\n* remediation are subject-specific end to end, so a batched summary\n* (grouped on code + summary) is true of every object it covers.\n*/\nfunction exactNameBodyWarning(subject, exactName) {\n\tconst item = `${subject} \"${exactName}\"`;\n\tconst feature = EXACT_NAME_FEATURE[subject];\n\tconst tail = `with a SQL body. ${EXACT_NAME_BODY_PREAMBLE} ${EXACT_NAME_BODY_REMEDIATION[subject]}`;\n\treturn {\n\t\tcode: EXACT_NAME_BODY_WARNING_CODE,\n\t\tmessage: `${item} uses ${feature} ${tail}`,\n\t\titem,\n\t\tsummary: `objects use ${feature} ${tail}`\n\t};\n}\n/**\n* Lowers an authored index into the name-identified entity `contract.json`\n* persists: exact mode adopts `map` verbatim (no prefix, no hash); wire\n* mode appends the content-hash suffix to the authored or default prefix.\n* The cross-field guards are the shared enforcement backstop for both\n* authoring surfaces (PSL pre-empts them with span-anchored diagnostics).\n*/\nfunction lowerAuthoredIndex(tableName, authored, warnings, indexTypes) {\n\tif (authored.columns === void 0 === (authored.expression === void 0)) throw contractError(\"CONTRACT.ARGUMENT_INVALID\", `Index on table \"${tableName}\": an index takes either fields (columns) or an expression — exactly one, not both.`);\n\tif (authored.map !== void 0 && authored.name !== void 0) throw contractError(\"CONTRACT.ARGUMENT_INVALID\", `Index \"${authored.map}\" on table \"${tableName}\": map and name are mutually exclusive — map adopts an exact physical name, name is a wire prefix.`);\n\tif (authored.expression !== void 0 && authored.name === void 0 && authored.map === void 0) throw contractError(\"CONTRACT.ARGUMENT_INVALID\", `Index on table \"${tableName}\": an expression index requires an explicit name (name:) or exact physical name (map:) — a default name cannot be derived from an expression.`);\n\tif (authored.options !== void 0 && authored.type === void 0) throw contractError(\"CONTRACT.ARGUMENT_INVALID\", `Index on table \"${tableName}\": options requires an explicit type — an index with options but no type cannot round-trip through contract infer (the emitted type: would change the wire name).`);\n\tconst unique = authored.unique ?? false;\n\tif (authored.map !== void 0) {\n\t\tconst typeEntry = authored.type === void 0 ? void 0 : indexTypes?.get(authored.type);\n\t\tif (authored.expression !== void 0 || authored.where !== void 0 || typeEntry !== void 0 && rendersIndexBody(typeEntry)) {\n\t\t\tconst warning = exactNameBodyWarning(\"index\", authored.map);\n\t\t\tif (warnings !== void 0) warnings.push(warning);\n\t\t\telse flushAuthoringWarnings([warning]);\n\t\t}\n\t\tconst carried = {\n\t\t\tnaming: {\n\t\t\t\tkind: \"exact\",\n\t\t\t\tname: authored.map\n\t\t\t},\n\t\t\twhere: authored.where,\n\t\t\tunique,\n\t\t\ttype: authored.type,\n\t\t\toptions: authored.options\n\t\t};\n\t\treturn authored.expression !== void 0 ? {\n\t\t\t...carried,\n\t\t\texpression: authored.expression\n\t\t} : {\n\t\t\t...carried,\n\t\t\tcolumns: authored.columns ?? []\n\t\t};\n\t}\n\tconst prefix = authored.name ?? defaultIndexName(tableName, authored.columns ?? []);\n\tassertWireNamePrefixLength(prefix, \"index prefix\");\n\tconst carried = {\n\t\tnaming: {\n\t\t\tkind: \"wire\",\n\t\t\tprefix,\n\t\t\thash: computeIndexContentHash({\n\t\t\t\t...authored.columns !== void 0 && { columns: authored.columns },\n\t\t\t\t...authored.expression !== void 0 && { expression: authored.expression },\n\t\t\t\t...authored.where !== void 0 && { where: authored.where },\n\t\t\t\tunique,\n\t\t\t\t...authored.type !== void 0 && { type: authored.type },\n\t\t\t\t...authored.options !== void 0 && { options: authored.options }\n\t\t\t})\n\t\t},\n\t\twhere: authored.where,\n\t\tunique,\n\t\ttype: authored.type,\n\t\toptions: authored.options\n\t};\n\treturn authored.expression !== void 0 ? {\n\t\t...carried,\n\t\texpression: authored.expression\n\t} : {\n\t\t...carried,\n\t\tcolumns: authored.columns ?? []\n\t};\n}\n//#endregion\nexport { isAuthoredIndexInput as n, lowerAuthoredIndex as r, exactNameBodyWarning as t };\n\n//# sourceMappingURL=index-naming-BOcJT1B3.mjs.map"],"mappings":";;;;;;;;;;;;;AAaA,SAAS,qBAAqB,OAAO;CACpC,IAAI,OAAO,UAAU,YAAY,UAAU,MAAM,OAAO;CACxD,MAAM,YAAY,EAAE,GAAG,MAAM;CAC7B,IAAI,OAAO,UAAU,kBAAkB,cAAc,MAAM,QAAQ,UAAU,UAAU,KAAK,UAAU,UAAU,CAAC,OAAO,YAAY,OAAO,YAAY,QAAQ,IAAI,OAAO;CAC1K,IAAI,CAAC,iBAAiB,UAAU,QAAQ,GAAG,OAAO;CAClD,IAAI,CAAC,iBAAiB,UAAU,MAAM,GAAG,OAAO;CAChD,IAAI,CAAC,iBAAiB,UAAU,OAAO,GAAG,OAAO;CACjD,IAAI,UAAU,cAAc,KAAK,KAAK,OAAO,UAAU,cAAc,WAAW,OAAO;CACvF,IAAI,UAAU,YAAY,KAAK,GAAG,OAAO,UAAU,eAAe,KAAK;CACvE,IAAI,OAAO,UAAU,YAAY,UAAU,OAAO;CAClD,MAAM,UAAU,UAAU;CAC1B,OAAO,YAAY,KAAK,KAAK,OAAO,YAAY,YAAY,YAAY,QAAQ,CAAC,MAAM,QAAQ,OAAO;AACvG;AACA,SAAS,iBAAiB,OAAO;CAChC,OAAO,UAAU,KAAK,KAAK,OAAO,UAAU;AAC7C;AACA,MAAM,2BAA2B;;;;;;AAMjC,MAAM,8BAA8B;CACnC,OAAO;CACP,QAAQ;CACR,OAAO;AACR;;AAEA,MAAM,qBAAqB;CAC1B,OAAO;CACP,QAAQ;CACR,OAAO;AACR;AACA,MAAM,+BAA+B;;;;;;;;;AASrC,SAAS,qBAAqB,SAAS,WAAW;CACjD,MAAM,OAAO,GAAG,QAAQ,IAAI,UAAU;CACtC,MAAM,UAAU,mBAAmB;CACnC,MAAM,OAAO,oBAAoB,yBAAyB,GAAG,4BAA4B;CACzF,OAAO;EACN,MAAM;EACN,SAAS,GAAG,KAAK,QAAQ,QAAQ,GAAG;EACpC;EACA,SAAS,eAAe,QAAQ,GAAG;CACpC;AACD;;;;;;;;AAQA,SAAS,mBAAmB,WAAW,UAAU,UAAU,YAAY;CACtE,IAAI,SAAS,YAAY,KAAK,OAAO,SAAS,eAAe,KAAK,IAAI,MAAM,cAAc,6BAA6B,mBAAmB,UAAU,oFAAoF;CACxO,IAAI,SAAS,QAAQ,KAAK,KAAK,SAAS,SAAS,KAAK,GAAG,MAAM,cAAc,6BAA6B,UAAU,SAAS,IAAI,cAAc,UAAU,mGAAmG;CAC5P,IAAI,SAAS,eAAe,KAAK,KAAK,SAAS,SAAS,KAAK,KAAK,SAAS,QAAQ,KAAK,GAAG,MAAM,cAAc,6BAA6B,mBAAmB,UAAU,8IAA8I;CACvT,IAAI,SAAS,YAAY,KAAK,KAAK,SAAS,SAAS,KAAK,GAAG,MAAM,cAAc,6BAA6B,mBAAmB,UAAU,kKAAkK;CAC7S,MAAM,SAAS,SAAS,UAAU;CAClC,IAAI,SAAS,QAAQ,KAAK,GAAG;EAC5B,MAAM,YAAY,SAAS,SAAS,KAAK,IAAI,KAAK,IAAI,YAAY,IAAI,SAAS,IAAI;EACnF,IAAI,SAAS,eAAe,KAAK,KAAK,SAAS,UAAU,KAAK,KAAK,cAAc,KAAK,KAAK,iBAAiB,SAAS,GAAG;GACvH,MAAM,UAAU,qBAAqB,SAAS,SAAS,GAAG;GAC1D,IAAI,aAAa,KAAK,GAAG,SAAS,KAAK,OAAO;QACzC,uBAAuB,CAAC,OAAO,CAAC;EACtC;EACA,MAAM,UAAU;GACf,QAAQ;IACP,MAAM;IACN,MAAM,SAAS;GAChB;GACA,OAAO,SAAS;GAChB;GACA,MAAM,SAAS;GACf,SAAS,SAAS;EACnB;EACA,OAAO,SAAS,eAAe,KAAK,IAAI;GACvC,GAAG;GACH,YAAY,SAAS;EACtB,IAAI;GACH,GAAG;GACH,SAAS,SAAS,WAAW,CAAC;EAC/B;CACD;CACA,MAAM,SAAS,SAAS,QAAQ,iBAAiB,WAAW,SAAS,WAAW,CAAC,CAAC;CAClF,2BAA2B,QAAQ,cAAc;CACjD,MAAM,UAAU;EACf,QAAQ;GACP,MAAM;GACN;GACA,MAAM,wBAAwB;IAC7B,GAAG,SAAS,YAAY,KAAK,KAAK,EAAE,SAAS,SAAS,QAAQ;IAC9D,GAAG,SAAS,eAAe,KAAK,KAAK,EAAE,YAAY,SAAS,WAAW;IACvE,GAAG,SAAS,UAAU,KAAK,KAAK,EAAE,OAAO,SAAS,MAAM;IACxD;IACA,GAAG,SAAS,SAAS,KAAK,KAAK,EAAE,MAAM,SAAS,KAAK;IACrD,GAAG,SAAS,YAAY,KAAK,KAAK,EAAE,SAAS,SAAS,QAAQ;GAC/D,CAAC;EACF;EACA,OAAO,SAAS;EAChB;EACA,MAAM,SAAS;EACf,SAAS,SAAS;CACnB;CACA,OAAO,SAAS,eAAe,KAAK,IAAI;EACvC,GAAG;EACH,YAAY,SAAS;CACtB,IAAI;EACH,GAAG;EACH,SAAS,SAAS,WAAW,CAAC;CAC/B;AACD"}

package/dist/{index-naming-Ct65z5Xk.d.mts → index-naming-Cs6wwia3.d.mts}

@@ -1,6 +1,7 @@
-import { r as IndexInput } from "./sql-index-ByAAE7K8-DKj2V86p.mjs";
+import { r as IndexInput } from "./sql-index-ByAAE7K8-Dqtn_vUL.mjs";
+import { a as IndexTypeRegistry } from "./index-types-H1O43iYT-BD0VwPqV.mjs";
 import { AuthoringWarning, AuthoringWarningSink } from "@prisma/orm-framework/components/authoring";
-//#region ../../../2-sql/1-core/contract/dist/index-naming.d.mts
+//#region ../../../2-sql-family/1-core/contract/dist/index-naming.d.mts
 //#region src/index-naming.d.ts
 /**
  * The authored element structure: a fields index carries `columns`, an
@@ -40,6 +41,15 @@ type AuthoredIndexInput = AuthoredIndexElements & AuthoredIndexMethod & {
   readonly map: string | undefined;
   readonly name: string | undefined;
 };
+/**
+ * Narrows the opaque payload a contributed model attribute returns under
+ * `index` (see `AuthoringModelAttributeIndexOutput`). The framework hands the
+ * value through untyped because an index's shape belongs to the family; this
+ * is the SQL family's boundary check. It proves the structure only — the
+ * name/map and expression rules stay where `@@index` enforces them, in
+ * {@link lowerAuthoredIndex}.
+ */
+declare function isAuthoredIndexInput(value: unknown): value is AuthoredIndexInput;
 /**
  * Mints the exact-name body-comparison warning for a `map:`-named object
  * carrying a hand-authorable SQL body — fully formed, so the transport and
@@ -56,7 +66,7 @@ declare function exactNameBodyWarning(subject: 'index' | 'policy' | 'check', exa
  * The cross-field guards are the shared enforcement backstop for both
  * authoring surfaces (PSL pre-empts them with span-anchored diagnostics).
  */
-declare function lowerAuthoredIndex(tableName: string, authored: AuthoredIndexInput, warnings?: AuthoringWarningSink): IndexInput;
+declare function lowerAuthoredIndex(tableName: string, authored: AuthoredIndexInput, warnings?: AuthoringWarningSink, indexTypes?: Pick<IndexTypeRegistry, 'get'>): IndexInput;
 //#endregion
-export { lowerAuthoredIndex as i, AuthoredIndexMethod as n, exactNameBodyWarning as r, AuthoredIndexInput as t };
-//# sourceMappingURL=index-naming-Ct65z5Xk.d.mts.map
+export { lowerAuthoredIndex as a, isAuthoredIndexInput as i, AuthoredIndexMethod as n, exactNameBodyWarning as r, AuthoredIndexInput as t };
+//# sourceMappingURL=index-naming-Cs6wwia3.d.mts.map

package/dist/index-naming-Cs6wwia3.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-naming-Cs6wwia3.d.mts","names":[],"sources":["../../../../2-sql-family/1-core/contract/dist/index-naming.d.mts"],"mappings":";;;;;;;;;KAQK;WACM;WACA;;WAEA;WACA;;;;;;;;;KASN;WACM;WACA;;WAEA;WACA,SAAS;;;;;;;;;KASf,qBAAqB,wBAAwB;WACvC;WACA;WACA;WACA;;;;;;;;;;iBAUM,qBAAqB,iBAAiB,SAAS;;;;;;;;;iBAS/C,qBAAqB,uCAAuC,oBAAoB;;;;;;;;iBAQhF,mBAAmB,mBAAmB,UAAU,oBAAoB,WAAW,sBAAsB,aAAa,KAAK,4BAA4B"}

package/dist/index-reference-4wsdeB7v-DCwswK-q.d.mts

@@ -0,0 +1,67 @@
+import { t as Index } from "./sql-index-ByAAE7K8-Dqtn_vUL.mjs";
+import "./types-CkAd8SWm.mjs";
+import { S as StorageColumnScopeField, o as Expression, x as ScopeField } from "./expression-6ld_ZQL6-fOuazzzm.mjs";
+//#region ../../../2-sql-family/4-lanes/relational-core/dist/index-reference-4wsdeB7v.d.mts
+//#region src/index-reference.d.ts
+/**
+ * An index of a table as a query reads it: its columns, bound to the table's alias, its type and its options. A query operation that searches what an index covers, such as Postgres's `fullTextMatches`, takes it in place of the columns and settings the index was built with.
+ */
+interface IndexReference<Columns extends Readonly<Record<string, Expression<ScopeField>>> = Readonly<Record<string, Expression<ScopeField>>>, Type extends string | undefined = string | undefined, Options extends Readonly<Record<string, unknown>> | undefined = Readonly<Record<string, unknown>> | undefined> {
+  /** The index's columns by name, each the column of the aliased table; empty for an expression index. */
+  readonly columns: Columns;
+  readonly type: Type;
+  readonly options: Options;
+}
+/** The name the contract source gave an index: the prefix of a wire name, or an exact (`map:`) name. */
+type AuthoredIndexName<I> = I extends {
+  readonly prefix: infer Prefix extends string;
+} ? Prefix : I extends {
+  readonly name: infer Name extends string;
+} ? Name : never;
+type IndexColumnExpressions<Columns, I> = I extends {
+  readonly columns: infer IndexColumns extends readonly string[];
+} ? { readonly [Column in IndexColumns[number]]: Column extends keyof Columns ? Columns[Column] extends {
+  readonly codecId: string;
+  readonly nullable: boolean;
+} ? Expression<StorageColumnScopeField<Columns[Column]>> : never : never; } : Record<never, never>;
+type IndexTypeOf<I> = I extends {
+  readonly type: infer Type extends string;
+} ? Type : undefined;
+type IndexOptionsOf<I> = I extends {
+  readonly options: infer Options extends Record<string, unknown>;
+} ? Options : undefined;
+/** The indexes of `I` whose authored name is `Key`. */
+type IndexesNamed<I, Key> = I extends unknown ? AuthoredIndexName<I> extends Key ? I : never : never;
+type IsUnion<T, Whole = T> = T extends unknown ? ([Whole] extends [T] ? false : true) : never;
+/** The authored names of the indexes in `I` of type `Type`, leaving out a name another index in `I` shares. */
+type UniqueIndexNamesOfType<I, Type extends string> = { [Key in AuthoredIndexName<Extract<I, {
+  readonly type: Type;
+}>>]: true extends IsUnion<IndexesNamed<I, Key>> ? never : Key; }[AuthoredIndexName<Extract<I, {
+  readonly type: Type;
+}>>];
+/**
+ * A storage table's indexes, keyed by the name the contract source gave each: the `name:` prefix, or the `map:` name. An unnamed index, such as a derived foreign-key backing index, appears under its default prefix. A name that more than one index shares is left out, as reading it is refused at runtime.
+ */
+type TableIndexReferences<Table> = Table extends {
+  readonly indexes: readonly (infer I)[];
+  readonly columns: infer Columns;
+} ? { readonly [Key in AuthoredIndexName<I> as true extends IsUnion<IndexesNamed<I, Key>> ? never : Key]: IndexReference<IndexColumnExpressions<Columns, IndexesNamed<I, Key>>, IndexTypeOf<IndexesNamed<I, Key>>, IndexOptionsOf<IndexesNamed<I, Key>>>; } : never;
+interface IndexReferencesInput {
+  readonly namespaceId: string;
+  readonly tableName: string;
+  readonly table: {
+    readonly indexes: ReadonlyArray<Pick<Index, 'name' | 'prefix' | 'columns' | 'type' | 'options'>>;
+  };
+  /** The column of the table as this query reads it: under the table's alias, with its codec. */
+  readonly column: (columnName: string) => Expression<ScopeField>;
+}
+type NamedIndex = Pick<Index, 'name' | 'prefix' | 'type'>;
+/** The authored names of the indexes of type `type`, leaving out a name another index shares. The run-time counterpart of `UniqueIndexNamesOfType`. */
+declare function uniqueIndexNamesOfType(indexes: ReadonlyArray<NamedIndex>, type: string): readonly string[];
+/**
+ * The index references of a table, keyed by authored name. A name more than one index shares throws `ORM.ARGUMENT_INVALID` when it is read.
+ */
+declare function createIndexReferences(input: IndexReferencesInput): Readonly<Record<string, IndexReference>>;
+//#endregion
+export { createIndexReferences as a, UniqueIndexNamesOfType as i, IndexReferencesInput as n, uniqueIndexNamesOfType as o, TableIndexReferences as r, IndexReference as t };
+//# sourceMappingURL=index-reference-4wsdeB7v-DCwswK-q.d.mts.map

package/dist/index-reference-4wsdeB7v-DCwswK-q.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-reference-4wsdeB7v-DCwswK-q.d.mts","names":[],"sources":["../../../../2-sql-family/4-lanes/relational-core/dist/index-reference-4wsdeB7v.d.mts"],"mappings":";;;;;;;;UAMU,eAAe,gBAAgB,SAAS,eAAe,WAAW,gBAAgB,SAAS,eAAe,WAAW,eAAe,sDAAsD,gBAAgB,SAAS,uCAAuC,SAAS;;WAElQ,SAAS;WACT,MAAM;WACN,SAAS;;;KAGf,kBAAkB,KAAK;WACjB,cAAc;IACrB,SAAS;WACF,YAAY;IACnB;KACC,uBAAuB,SAAS,KAAK;WAC/B,eAAe;gBACV,UAAU,uBAAuB,qBAAqB,UAAU,QAAQ;WAC7E;WACA;IACP,WAAW,wBAAwB,QAAQ,+BAA+B;KACzE,YAAY,KAAK;WACX,YAAY;IACnB;KACC,eAAe,KAAK;WACd,eAAe,gBAAgB;IACtC;;KAEC,aAAa,GAAG,OAAO,oBAAoB,kBAAkB,WAAW,MAAM;KAC9E,QAAQ,GAAG,QAAQ,KAAK,sBAAsB,gBAAgB;;KAE9D,uBAAuB,GAAG,0BAA0B,OAAO,kBAAkB,QAAQ;WAC/E,MAAM;mBACE,QAAQ,aAAa,GAAG,gBAAgB,OAAO,kBAAkB,QAAQ;WACjF,MAAM;;;;;KAKZ,qBAAqB,SAAS;WACxB,yBAAyB;WACzB,eAAe;gBACV,OAAO,kBAAkB,mBAAmB,QAAQ,aAAa,GAAG,gBAAgB,MAAM,eAAe,uBAAuB,SAAS,aAAa,GAAG,OAAO,YAAY,aAAa,GAAG,OAAO,eAAe,aAAa,GAAG;UACxO;WACC;WACA;WACA;aACE,SAAS,cAAc,KAAK;;;WAG9B,SAAS,uBAAuB,WAAW;;KAEjD,aAAa,KAAK;;iBAEN,uBAAuB,SAAS,cAAc,aAAa;;;;iBAI3D,sBAAsB,OAAO,uBAAuB,SAAS,eAAe"}

package/dist/index-reference-BQSrkRfT.mjs

@@ -0,0 +1,55 @@
+import { structuredError } from "@prisma/orm-framework/utils/structured-error";
+//#region ../../../2-sql-family/4-lanes/relational-core/dist/exports/index-reference.mjs
+/** The name the contract source gave an index: the prefix of a wire name, or an exact (`map:`) name. */
+function authoredIndexName(index) {
+	return index.prefix ?? index.name;
+}
+/** The authored names of the indexes of type `type`, leaving out a name another index shares. The run-time counterpart of `UniqueIndexNamesOfType`. */
+function uniqueIndexNamesOfType(indexes, type) {
+	const counts = /* @__PURE__ */ new Map();
+	for (const index of indexes) {
+		const name = authoredIndexName(index);
+		counts.set(name, (counts.get(name) ?? 0) + 1);
+	}
+	return indexes.filter((index) => index.type === type && counts.get(authoredIndexName(index)) === 1).map(authoredIndexName);
+}
+/**
+* The index references of a table, keyed by authored name. A name more than one index shares throws `ORM.ARGUMENT_INVALID` when it is read.
+*/
+function createIndexReferences(input) {
+	const byName = /* @__PURE__ */ new Map();
+	for (const index of input.table.indexes) {
+		const authoredName = authoredIndexName(index);
+		const columns = Object.fromEntries((index.columns ?? []).map((column) => [column, input.column(column)]));
+		const reference = Object.freeze({
+			columns: Object.freeze(columns),
+			type: index.type,
+			options: index.options
+		});
+		byName.set(authoredName, [...byName.get(authoredName) ?? [], reference]);
+	}
+	const references = {};
+	for (const [authoredName, [reference, ...others]] of byName) Object.defineProperty(references, authoredName, {
+		enumerable: true,
+		get: () => {
+			if (others.length > 0) throw ambiguousIndexName(input, authoredName);
+			return reference;
+		}
+	});
+	return Object.freeze(references);
+}
+function ambiguousIndexName(input, authoredName) {
+	return structuredError("ORM.ARGUMENT_INVALID", `Table "${input.tableName}" has more than one index named "${authoredName}".`, {
+		why: "An index is read by the name its contract source gave it, and these indexes share that name.",
+		fix: `Give each of these indexes of table "${input.tableName}" its own name in the contract source.`,
+		meta: {
+			namespaceId: input.namespaceId,
+			tableName: input.tableName,
+			index: authoredName
+		}
+	});
+}
+//#endregion
+export { uniqueIndexNamesOfType as n, createIndexReferences as t };
+
+//# sourceMappingURL=index-reference-BQSrkRfT.mjs.map

package/dist/index-reference-BQSrkRfT.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-reference-BQSrkRfT.mjs","names":[],"sources":["../../../../2-sql-family/4-lanes/relational-core/dist/exports/index-reference.mjs"],"sourcesContent":["import { structuredError } from \"@internal/utils/structured-error\";\n//#region src/index-reference.ts\n/** The name the contract source gave an index: the prefix of a wire name, or an exact (`map:`) name. */\nfunction authoredIndexName(index) {\n\treturn index.prefix ?? index.name;\n}\n/** The authored names of the indexes of type `type`, leaving out a name another index shares. The run-time counterpart of `UniqueIndexNamesOfType`. */\nfunction uniqueIndexNamesOfType(indexes, type) {\n\tconst counts = /* @__PURE__ */ new Map();\n\tfor (const index of indexes) {\n\t\tconst name = authoredIndexName(index);\n\t\tcounts.set(name, (counts.get(name) ?? 0) + 1);\n\t}\n\treturn indexes.filter((index) => index.type === type && counts.get(authoredIndexName(index)) === 1).map(authoredIndexName);\n}\n/**\n* The index references of a table, keyed by authored name. A name more than one index shares throws `ORM.ARGUMENT_INVALID` when it is read.\n*/\nfunction createIndexReferences(input) {\n\tconst byName = /* @__PURE__ */ new Map();\n\tfor (const index of input.table.indexes) {\n\t\tconst authoredName = authoredIndexName(index);\n\t\tconst columns = Object.fromEntries((index.columns ?? []).map((column) => [column, input.column(column)]));\n\t\tconst reference = Object.freeze({\n\t\t\tcolumns: Object.freeze(columns),\n\t\t\ttype: index.type,\n\t\t\toptions: index.options\n\t\t});\n\t\tbyName.set(authoredName, [...byName.get(authoredName) ?? [], reference]);\n\t}\n\tconst references = {};\n\tfor (const [authoredName, [reference, ...others]] of byName) Object.defineProperty(references, authoredName, {\n\t\tenumerable: true,\n\t\tget: () => {\n\t\t\tif (others.length > 0) throw ambiguousIndexName(input, authoredName);\n\t\t\treturn reference;\n\t\t}\n\t});\n\treturn Object.freeze(references);\n}\nfunction ambiguousIndexName(input, authoredName) {\n\treturn structuredError(\"ORM.ARGUMENT_INVALID\", `Table \"${input.tableName}\" has more than one index named \"${authoredName}\".`, {\n\t\twhy: \"An index is read by the name its contract source gave it, and these indexes share that name.\",\n\t\tfix: `Give each of these indexes of table \"${input.tableName}\" its own name in the contract source.`,\n\t\tmeta: {\n\t\t\tnamespaceId: input.namespaceId,\n\t\t\ttableName: input.tableName,\n\t\t\tindex: authoredName\n\t\t}\n\t});\n}\n//#endregion\nexport { createIndexReferences, uniqueIndexNamesOfType };\n\n//# sourceMappingURL=index-reference.mjs.map"],"mappings":";;;AAGA,SAAS,kBAAkB,OAAO;CACjC,OAAO,MAAM,UAAU,MAAM;AAC9B;;AAEA,SAAS,uBAAuB,SAAS,MAAM;CAC9C,MAAM,yBAAyB,IAAI,IAAI;CACvC,KAAK,MAAM,SAAS,SAAS;EAC5B,MAAM,OAAO,kBAAkB,KAAK;EACpC,OAAO,IAAI,OAAO,OAAO,IAAI,IAAI,KAAK,KAAK,CAAC;CAC7C;CACA,OAAO,QAAQ,QAAQ,UAAU,MAAM,SAAS,QAAQ,OAAO,IAAI,kBAAkB,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,iBAAiB;AAC1H;;;;AAIA,SAAS,sBAAsB,OAAO;CACrC,MAAM,yBAAyB,IAAI,IAAI;CACvC,KAAK,MAAM,SAAS,MAAM,MAAM,SAAS;EACxC,MAAM,eAAe,kBAAkB,KAAK;EAC5C,MAAM,UAAU,OAAO,aAAa,MAAM,WAAW,CAAC,EAAA,CAAG,KAAK,WAAW,CAAC,QAAQ,MAAM,OAAO,MAAM,CAAC,CAAC,CAAC;EACxG,MAAM,YAAY,OAAO,OAAO;GAC/B,SAAS,OAAO,OAAO,OAAO;GAC9B,MAAM,MAAM;GACZ,SAAS,MAAM;EAChB,CAAC;EACD,OAAO,IAAI,cAAc,CAAC,GAAG,OAAO,IAAI,YAAY,KAAK,CAAC,GAAG,SAAS,CAAC;CACxE;CACA,MAAM,aAAa,CAAC;CACpB,KAAK,MAAM,CAAC,cAAc,CAAC,WAAW,GAAG,YAAY,QAAQ,OAAO,eAAe,YAAY,cAAc;EAC5G,YAAY;EACZ,WAAW;GACV,IAAI,OAAO,SAAS,GAAG,MAAM,mBAAmB,OAAO,YAAY;GACnE,OAAO;EACR;CACD,CAAC;CACD,OAAO,OAAO,OAAO,UAAU;AAChC;AACA,SAAS,mBAAmB,OAAO,cAAc;CAChD,OAAO,gBAAgB,wBAAwB,UAAU,MAAM,UAAU,mCAAmC,aAAa,KAAK;EAC7H,KAAK;EACL,KAAK,wCAAwC,MAAM,UAAU;EAC7D,MAAM;GACL,aAAa,MAAM;GACnB,WAAW,MAAM;GACjB,OAAO;EACR;CACD,CAAC;AACF"}

package/dist/index-reference-D8ewQRJr.d.mts

@@ -0,0 +1 @@
+import "./index-reference-4wsdeB7v-DCwswK-q.mjs";

package/dist/index-type-validation-DJEMmmw0.mjs

@@ -0,0 +1,42 @@
+import { t as contractError } from "./contract-errors-BCN6RVI5-DoH6b_KZ.mjs";
+import { ContractValidationError } from "@prisma/orm-framework/contract/contract-validation-error";
+import { type } from "arktype";
+//#region ../../../2-sql-family/1-core/contract/dist/index-type-validation.mjs
+function validateIndexTypes(contract, indexTypeRegistry, codecTraits) {
+	for (const [namespaceId, ns] of Object.entries(contract.storage.namespaces)) for (const [tableName, table] of Object.entries(ns.entries.table ?? {})) for (const index of table.indexes) {
+		if (index.type === void 0) continue;
+		const entry = indexTypeRegistry.get(index.type);
+		if (entry === void 0) throw new ContractValidationError(`Namespace "${namespaceId}" table "${tableName}" index "${index.name}" uses unregistered index type "${index.type}"`, "storage");
+		const optionsValue = index.options ?? {};
+		const result = entry.options(optionsValue);
+		if (result instanceof type.errors) throw new ContractValidationError(`Namespace "${namespaceId}" table "${tableName}" index "${index.name}" has invalid options for type "${index.type}": ${result.summary}`, "storage");
+		assertColumnTraits(entry, index, table.columns, codecTraits);
+	}
+}
+function assertColumnTraits(entry, index, columns, codecTraits) {
+	const required = entry.columnTraits ?? [];
+	if (required.length === 0) return;
+	for (const column of index.columns ?? []) {
+		const codecId = columns[column]?.codecId;
+		if (codecId === void 0) continue;
+		const traits = codecTraits(codecId);
+		const missing = required.filter((trait) => traits?.includes(trait) !== true);
+		if (missing.length === 0) continue;
+		const missingList = missing.map((trait) => `"${trait}"`).join(", ");
+		throw contractError("CONTRACT.INDEX_INVALID", `Index "${index.name}" of type "${entry.type}" covers the column "${column}", stored as \`${codecId}\`, which lacks the trait ${missingList} the type requires.`, {
+			why: `An index of type "${entry.type}" can only cover columns whose codec carries ${required.map((trait) => `"${trait}"`).join(", ")}.`,
+			fix: "Index a column of a type this index type supports, or use another index type.",
+			meta: {
+				indexType: entry.type,
+				index: index.name,
+				column,
+				codecId,
+				missingTraits: missing
+			}
+		});
+	}
+}
+//#endregion
+export { validateIndexTypes as t };
+
+//# sourceMappingURL=index-type-validation-DJEMmmw0.mjs.map

package/dist/index-type-validation-DJEMmmw0.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-type-validation-DJEMmmw0.mjs","names":[],"sources":["../../../../2-sql-family/1-core/contract/dist/index-type-validation.mjs"],"sourcesContent":["import { t as contractError } from \"./contract-errors-BCN6RVI5.mjs\";\nimport { type } from \"arktype\";\nimport { ContractValidationError } from \"@internal/contract/contract-validation-error\";\n//#region src/index-type-validation.ts\nfunction validateIndexTypes(contract, indexTypeRegistry, codecTraits) {\n\tfor (const [namespaceId, ns] of Object.entries(contract.storage.namespaces)) for (const [tableName, table] of Object.entries(ns.entries.table ?? {})) for (const index of table.indexes) {\n\t\tif (index.type === void 0) continue;\n\t\tconst entry = indexTypeRegistry.get(index.type);\n\t\tif (entry === void 0) throw new ContractValidationError(`Namespace \"${namespaceId}\" table \"${tableName}\" index \"${index.name}\" uses unregistered index type \"${index.type}\"`, \"storage\");\n\t\tconst optionsValue = index.options ?? {};\n\t\tconst result = entry.options(optionsValue);\n\t\tif (result instanceof type.errors) throw new ContractValidationError(`Namespace \"${namespaceId}\" table \"${tableName}\" index \"${index.name}\" has invalid options for type \"${index.type}\": ${result.summary}`, \"storage\");\n\t\tassertColumnTraits(entry, index, table.columns, codecTraits);\n\t}\n}\nfunction assertColumnTraits(entry, index, columns, codecTraits) {\n\tconst required = entry.columnTraits ?? [];\n\tif (required.length === 0) return;\n\tfor (const column of index.columns ?? []) {\n\t\tconst codecId = columns[column]?.codecId;\n\t\tif (codecId === void 0) continue;\n\t\tconst traits = codecTraits(codecId);\n\t\tconst missing = required.filter((trait) => traits?.includes(trait) !== true);\n\t\tif (missing.length === 0) continue;\n\t\tconst missingList = missing.map((trait) => `\"${trait}\"`).join(\", \");\n\t\tthrow contractError(\"CONTRACT.INDEX_INVALID\", `Index \"${index.name}\" of type \"${entry.type}\" covers the column \"${column}\", stored as \\`${codecId}\\`, which lacks the trait ${missingList} the type requires.`, {\n\t\t\twhy: `An index of type \"${entry.type}\" can only cover columns whose codec carries ${required.map((trait) => `\"${trait}\"`).join(\", \")}.`,\n\t\t\tfix: \"Index a column of a type this index type supports, or use another index type.\",\n\t\t\tmeta: {\n\t\t\t\tindexType: entry.type,\n\t\t\t\tindex: index.name,\n\t\t\t\tcolumn,\n\t\t\t\tcodecId,\n\t\t\t\tmissingTraits: missing\n\t\t\t}\n\t\t});\n\t}\n}\n//#endregion\nexport { validateIndexTypes };\n\n//# sourceMappingURL=index-type-validation.mjs.map"],"mappings":";;;;AAIA,SAAS,mBAAmB,UAAU,mBAAmB,aAAa;CACrE,KAAK,MAAM,CAAC,aAAa,OAAO,OAAO,QAAQ,SAAS,QAAQ,UAAU,GAAG,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,GAAG,QAAQ,SAAS,CAAC,CAAC,GAAG,KAAK,MAAM,SAAS,MAAM,SAAS;EACxL,IAAI,MAAM,SAAS,KAAK,GAAG;EAC3B,MAAM,QAAQ,kBAAkB,IAAI,MAAM,IAAI;EAC9C,IAAI,UAAU,KAAK,GAAG,MAAM,IAAI,wBAAwB,cAAc,YAAY,WAAW,UAAU,WAAW,MAAM,KAAK,kCAAkC,MAAM,KAAK,IAAI,SAAS;EACvL,MAAM,eAAe,MAAM,WAAW,CAAC;EACvC,MAAM,SAAS,MAAM,QAAQ,YAAY;EACzC,IAAI,kBAAkB,KAAK,QAAQ,MAAM,IAAI,wBAAwB,cAAc,YAAY,WAAW,UAAU,WAAW,MAAM,KAAK,kCAAkC,MAAM,KAAK,KAAK,OAAO,WAAW,SAAS;EACvN,mBAAmB,OAAO,OAAO,MAAM,SAAS,WAAW;CAC5D;AACD;AACA,SAAS,mBAAmB,OAAO,OAAO,SAAS,aAAa;CAC/D,MAAM,WAAW,MAAM,gBAAgB,CAAC;CACxC,IAAI,SAAS,WAAW,GAAG;CAC3B,KAAK,MAAM,UAAU,MAAM,WAAW,CAAC,GAAG;EACzC,MAAM,UAAU,QAAQ,OAAO,EAAE;EACjC,IAAI,YAAY,KAAK,GAAG;EACxB,MAAM,SAAS,YAAY,OAAO;EAClC,MAAM,UAAU,SAAS,QAAQ,UAAU,QAAQ,SAAS,KAAK,MAAM,IAAI;EAC3E,IAAI,QAAQ,WAAW,GAAG;EAC1B,MAAM,cAAc,QAAQ,KAAK,UAAU,IAAI,MAAM,EAAE,CAAC,CAAC,KAAK,IAAI;EAClE,MAAM,cAAc,0BAA0B,UAAU,MAAM,KAAK,aAAa,MAAM,KAAK,uBAAuB,OAAO,iBAAiB,QAAQ,4BAA4B,YAAY,sBAAsB;GAC/M,KAAK,qBAAqB,MAAM,KAAK,+CAA+C,SAAS,KAAK,UAAU,IAAI,MAAM,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE;GACrI,KAAK;GACL,MAAM;IACL,WAAW,MAAM;IACjB,OAAO,MAAM;IACb;IACA;IACA,eAAe;GAChB;EACD,CAAC;CACF;AACD"}

package/dist/index-type-validation-fGGwAHWc.d.mts

@@ -0,0 +1,16 @@
+import { l as SqlStorage } from "./sql-storage-DeCAh5Hi-CEM-m8cs.mjs";
+import "./types-DfKvtJwS-CrpWTGBJ.mjs";
+import { a as IndexTypeRegistry } from "./index-types-H1O43iYT-BD0VwPqV.mjs";
+import { Contract } from "@prisma/orm-framework/contract/types";
+//#region ../../../2-sql-family/1-core/contract/dist/index-type-validation.d.mts
+//#region src/index-type-validation.d.ts
+/**
+ * The traits of the codec registered under an id, or `undefined` when the lookup does not know the
+ * codec. The contract build refuses a column whose codec the lookup does not know before it checks
+ * index types; here an unknown codec lacks every trait.
+ */
+type CodecTraitsLookup = (codecId: string) => readonly string[] | undefined;
+declare function validateIndexTypes(contract: Contract<SqlStorage>, indexTypeRegistry: IndexTypeRegistry, codecTraits: CodecTraitsLookup): void;
+//#endregion
+export { validateIndexTypes as n, CodecTraitsLookup as t };
+//# sourceMappingURL=index-type-validation-fGGwAHWc.d.mts.map

package/dist/index-type-validation-fGGwAHWc.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-type-validation-fGGwAHWc.d.mts","names":[],"sources":["../../../../2-sql-family/1-core/contract/dist/index-type-validation.d.mts"],"mappings":";;;;;;;;;;;KAUK,qBAAqB;iBACT,mBAAmB,UAAU,SAAS,aAAa,mBAAmB,mBAAmB,aAAa"}

package/dist/index-types-H1O43iYT-BD0VwPqV.d.mts

@@ -0,0 +1,66 @@
+import { Type } from "arktype";
+//#region ../../../2-sql-family/1-core/contract/dist/index-types-H1O43iYT.d.mts
+//#region src/index-types.d.ts
+interface IndexTypeEntry<TOptions = unknown> {
+  readonly type: string;
+  readonly options: Type<TOptions>;
+  /**
+   * The access method an index of this type is created with. It is the type literal itself for an
+   * access method such as `btree`. When it differs, the type is a kind of index the target turns
+   * into an index of that access method, rendering its body from the options. Only the target
+   * provides that conversion, so {@link indexTypeRegistryOf} refuses such an entry from an extension
+   * pack. Absent, it is the type literal.
+   */
+  readonly accessMethod?: string;
+  /**
+   * Traits the codec of every column an index of this type covers must carry. The contract build
+   * checks them through the contract's codec lookup.
+   */
+  readonly columnTraits?: readonly string[];
+}
+type IndexTypeDeclaration<TOpts> = {
+  readonly options: Type<TOpts>;
+  readonly accessMethod?: string;
+  readonly columnTraits?: readonly string[];
+};
+type IndexTypeMap = { readonly [K in string]: {
+  readonly options: unknown;
+}; };
+interface IndexTypeRegistration<TMap extends IndexTypeMap = Record<never, never>> {
+  readonly IndexTypes: TMap;
+  readonly entries: ReadonlyArray<IndexTypeEntry>;
+}
+interface IndexTypeBuilder<TMap extends IndexTypeMap = Record<never, never>> extends IndexTypeRegistration<TMap> {
+  add<TLit extends string, TOpts>(typeLiteral: TLit, entry: IndexTypeDeclaration<TOpts>): IndexTypeBuilder<TMap & Record<TLit, {
+    readonly options: TOpts;
+  }>>;
+}
+/**
+ * Whether an index of this type is rendered from its options rather than written by its author: a
+ * type whose access method is not its own literal. Its SQL body is the target's rendering, so an
+ * exact-named index of the type is compared by that body.
+ */
+declare function rendersIndexBody(entry: IndexTypeEntry): boolean;
+/** The access method an index of this type is created with. */
+declare function accessMethodOf(entry: IndexTypeEntry): string;
+declare function defineIndexTypes(): IndexTypeBuilder<Record<never, never>>;
+interface IndexTypeRegistry {
+  register(entry: IndexTypeEntry): void;
+  get(typeLiteral: string): IndexTypeEntry | undefined;
+  has(typeLiteral: string): boolean;
+}
+declare function createIndexTypeRegistry(): IndexTypeRegistry;
+/** A pack as it offers index types: its id and, optionally, its `indexTypes` registration. */
+interface IndexTypeRegistrant {
+  readonly id?: string;
+  readonly indexTypes?: unknown;
+}
+/**
+ * The registry of every index type the target and the extension packs a contract is built or
+ * inferred with register. An extension pack's entry whose access method is not its type literal is
+ * refused, because only the target converts such a type into an index of its access method.
+ */
+declare function indexTypeRegistryOf(target: IndexTypeRegistrant, extensions?: readonly IndexTypeRegistrant[]): IndexTypeRegistry;
+//#endregion
+export { IndexTypeRegistry as a, defineIndexTypes as c, IndexTypeRegistration as i, indexTypeRegistryOf as l, IndexTypeEntry as n, accessMethodOf as o, IndexTypeMap as r, createIndexTypeRegistry as s, IndexTypeBuilder as t, rendersIndexBody as u };
+//# sourceMappingURL=index-types-H1O43iYT-BD0VwPqV.d.mts.map

package/dist/index-types-H1O43iYT-BD0VwPqV.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-types-H1O43iYT-BD0VwPqV.d.mts","names":[],"sources":["../../../../2-sql-family/1-core/contract/dist/index-types-H1O43iYT.d.mts"],"mappings":";;;UAEU,eAAe;WACd;WACA,SAAS,KAAK;;;;;;;;WAQd;;;;;WAKA;;KAEN,qBAAqB;WACf,SAAS,KAAK;WACd;WACA;;KAEN,2BAA2B;WACrB;;UAED,sBAAsB,aAAa,eAAe;WACjD,YAAY;WACZ,SAAS,cAAc;;UAExB,iBAAiB,aAAa,eAAe,8BAA8B,sBAAsB;EACzG,IAAI,qBAAqB,OAAO,aAAa,MAAM,OAAO,qBAAqB,SAAS,iBAAiB,OAAO,OAAO;aAC5G,SAAS;;;;;;;;iBAQL,iBAAiB,OAAO;;iBAExB,eAAe,OAAO;iBACtB,oBAAoB,iBAAiB;UAC5C;EACR,SAAS,OAAO;EAChB,IAAI,sBAAsB;EAC1B,IAAI;;iBAEW,2BAA2B;;UAElC;WACC;WACA;;;;;;;iBAOM,oBAAoB,QAAQ,qBAAqB,sBAAsB,wBAAwB"}