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

package/dist/{index-equivalence-DswCiq5l-C7wLMPwF.mjs.map → index-equivalence-DswCiq5l-_gF1Un8p.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"index-equivalence-DswCiq5l-C7wLMPwF.mjs","names":[],"sources":["../../../../2-sql/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"}
+{"version":3,"file":"index-equivalence-DswCiq5l-_gF1Un8p.mjs","names":[],"sources":["../../../../2-sql/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-Cj1Anq-T-NX841eiU.mjs → index-naming-BOcJT1B3-CeEoP8t3.mjs}

@@ -1,7 +1,8 @@
 import { t as contractError } from "./contract-errors-BCN6RVI5-5IHBF_lg.mjs";
-import { a as computeIndexContentHash, n as assertWireNamePrefixLength, o as defaultIndexName } from "./naming-DkG_OegU-DpENNdZX.mjs";
+import { a as rendersIndexBody } from "./index-types-pC_5vADQ-TTUXAfmL.mjs";
+import { a as computeIndexContentHash, n as assertWireNamePrefixLength, o as defaultIndexName } from "./naming-CT8tRisJ-DLHKo0Hm.mjs";
 import { flushAuthoringWarnings } from "@prisma/orm-framework/components/authoring";
-//#region ../../../2-sql/1-core/contract/dist/index-naming-Cj1Anq-T.mjs
+//#region ../../../2-sql/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
@@ -70,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]);
@@ -131,4 +133,4 @@ function lowerAuthoredIndex(tableName, authored, warnings) {
 //#endregion
 export { isAuthoredIndexInput as n, lowerAuthoredIndex as r, exactNameBodyWarning as t };
 
-//# sourceMappingURL=index-naming-Cj1Anq-T-NX841eiU.mjs.map
+//# sourceMappingURL=index-naming-BOcJT1B3-CeEoP8t3.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index-naming-BOcJT1B3-CeEoP8t3.mjs","names":[],"sources":["../../../../2-sql/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-UEtT94f5.d.mts → index-naming-C7pme5Pj.d.mts}

@@ -1,4 +1,5 @@
-import { r as IndexInput } from "./sql-index-ByAAE7K8-DPkZtr7t.mjs";
+import { r as IndexInput } from "./sql-index-ByAAE7K8-BpbPBWPD.mjs";
+import { a as IndexTypeRegistry } from "./index-types-H1O43iYT-ONvDbszL.mjs";
 import { AuthoringWarning, AuthoringWarningSink } from "@prisma/orm-framework/components/authoring";
 //#region ../../../2-sql/1-core/contract/dist/index-naming.d.mts
 //#region src/index-naming.d.ts
@@ -65,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 a, isAuthoredIndexInput as i, AuthoredIndexMethod as n, exactNameBodyWarning as r, AuthoredIndexInput as t };
-//# sourceMappingURL=index-naming-UEtT94f5.d.mts.map
+//# sourceMappingURL=index-naming-C7pme5Pj.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index-naming-C7pme5Pj.d.mts","names":[],"sources":["../../../../2-sql/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-type-validation-Bcme_Ust.mjs

@@ -0,0 +1,42 @@
+import { t as contractError } from "./contract-errors-BCN6RVI5-5IHBF_lg.mjs";
+import { ContractValidationError } from "@prisma/orm-framework/contract/contract-validation-error";
+import { type } from "arktype";
+//#region ../../../2-sql/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-Bcme_Ust.mjs.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index-type-validation-Bcme_Ust.mjs","names":[],"sources":["../../../../2-sql/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-D7-fPxIJ.d.mts

@@ -0,0 +1,16 @@
+import { l as SqlStorage } from "./sql-storage-BTlJLUID-CGy3wuH4.mjs";
+import "./types-DFZhLz18-Msi8wwig.mjs";
+import { a as IndexTypeRegistry } from "./index-types-H1O43iYT-ONvDbszL.mjs";
+import { Contract } from "@prisma/orm-framework/contract/types";
+//#region ../../../2-sql/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-D7-fPxIJ.d.mts.map

package/dist/index-type-validation-D7-fPxIJ.d.mts.map

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

package/dist/index-types-ByX8MLso.d.mts

@@ -0,0 +1 @@
+import "./index-types-H1O43iYT-ONvDbszL.mjs";

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

@@ -0,0 +1,66 @@
+import { Type } from "arktype";
+//#region ../../../2-sql/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-ONvDbszL.d.mts.map

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

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

package/dist/index-types-pC_5vADQ-TTUXAfmL.mjs

@@ -0,0 +1,95 @@
+import { t as contractError } from "./contract-errors-BCN6RVI5-5IHBF_lg.mjs";
+import { ifDefined } from "@prisma/orm-framework/utils/defined";
+//#region ../../../2-sql/1-core/contract/dist/index-types-pC_5vADQ.mjs
+var IndexTypeBuilderImpl = class IndexTypeBuilderImpl {
+	entries;
+	IndexTypes;
+	constructor(entries) {
+		this.entries = entries;
+		this.IndexTypes = {};
+	}
+	add(typeLiteral, entry) {
+		if (this.entries.some((e) => e.type === typeLiteral)) throw contractError("CONTRACT.PACK_CONTRIBUTION_INVALID", `Index type "${typeLiteral}" is already declared in this builder`, { meta: { indexType: typeLiteral } });
+		return new IndexTypeBuilderImpl([...this.entries, {
+			type: typeLiteral,
+			options: entry.options,
+			...ifDefined("accessMethod", entry.accessMethod),
+			...ifDefined("columnTraits", entry.columnTraits)
+		}]);
+	}
+};
+/**
+* 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.
+*/
+function rendersIndexBody(entry) {
+	return accessMethodOf(entry) !== entry.type;
+}
+/** The access method an index of this type is created with. */
+function accessMethodOf(entry) {
+	return entry.accessMethod ?? entry.type;
+}
+function defineIndexTypes() {
+	return new IndexTypeBuilderImpl([]);
+}
+var IndexTypeRegistryImpl = class {
+	entries = /* @__PURE__ */ new Map();
+	register(entry) {
+		if (this.entries.has(entry.type)) throw contractError("CONTRACT.PACK_CONTRIBUTION_INVALID", `Index type "${entry.type}" is already registered`, { meta: { indexType: entry.type } });
+		this.entries.set(entry.type, entry);
+	}
+	get(typeLiteral) {
+		return this.entries.get(typeLiteral);
+	}
+	has(typeLiteral) {
+		return this.entries.has(typeLiteral);
+	}
+};
+function createIndexTypeRegistry() {
+	return new IndexTypeRegistryImpl();
+}
+function isIndexTypeRegistration(value) {
+	return typeof value === "object" && value !== null && "entries" in value && Array.isArray(value.entries);
+}
+/**
+* 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.
+*/
+function indexTypeRegistryOf(target, extensions = []) {
+	const registry = createIndexTypeRegistry();
+	for (const entry of registeredEntriesOf(target)) registry.register(entry);
+	for (const extension of extensions) for (const entry of registeredEntriesOf(extension)) {
+		if (rendersIndexBody(entry)) throw extensionIndexTypeNotAccessMethod(entry, extension.id);
+		registry.register(entry);
+	}
+	return registry;
+}
+function registeredEntriesOf(registrant) {
+	const registration = registrant.indexTypes;
+	if (registration === void 0) return [];
+	if (!isIndexTypeRegistration(registration)) throw contractError("CONTRACT.PACK_CONTRIBUTION_INVALID", `Pack "${registrant.id ?? "<unknown>"}" declares "indexTypes" but its value is not an IndexTypeRegistration (expected an object with an "entries" array; got ${typeof registration}).`, { meta: {
+		packId: registrant.id,
+		contribution: "indexTypes",
+		reason: "invalid-shape"
+	} });
+	return registration.entries;
+}
+function extensionIndexTypeNotAccessMethod(entry, packId) {
+	const accessMethod = accessMethodOf(entry);
+	const pack = packId === void 0 ? "an extension pack" : `extension pack "${packId}"`;
+	return contractError("CONTRACT.PACK_CONTRIBUTION_INVALID", `Index type "${entry.type}" registered by ${pack} declares the access method "${accessMethod}", but an extension pack's index type must be an access method itself.`, {
+		why: `An index type whose access method differs from its name is turned into an index of that access method by the target, which renders the index body from the options. Only the target provides that conversion, so the database would be asked for an access method named "${entry.type}".`,
+		fix: `Register the access method under its own name, or leave \`accessMethod\` out of the "${entry.type}" registration so the type name is the access method.`,
+		meta: {
+			indexType: entry.type,
+			accessMethod,
+			...ifDefined("packId", packId)
+		}
+	});
+}
+//#endregion
+export { rendersIndexBody as a, indexTypeRegistryOf as i, createIndexTypeRegistry as n, defineIndexTypes as r, accessMethodOf as t };
+
+//# sourceMappingURL=index-types-pC_5vADQ-TTUXAfmL.mjs.map

package/dist/index-types-pC_5vADQ-TTUXAfmL.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-types-pC_5vADQ-TTUXAfmL.mjs","names":[],"sources":["../../../../2-sql/1-core/contract/dist/index-types-pC_5vADQ.mjs"],"sourcesContent":["import { t as contractError } from \"./contract-errors-BCN6RVI5.mjs\";\nimport { ifDefined } from \"@internal/utils/defined\";\n//#region src/index-types.ts\nvar IndexTypeBuilderImpl = class IndexTypeBuilderImpl {\n\tentries;\n\tIndexTypes;\n\tconstructor(entries) {\n\t\tthis.entries = entries;\n\t\tthis.IndexTypes = {};\n\t}\n\tadd(typeLiteral, entry) {\n\t\tif (this.entries.some((e) => e.type === typeLiteral)) throw contractError(\"CONTRACT.PACK_CONTRIBUTION_INVALID\", `Index type \"${typeLiteral}\" is already declared in this builder`, { meta: { indexType: typeLiteral } });\n\t\treturn new IndexTypeBuilderImpl([...this.entries, {\n\t\t\ttype: typeLiteral,\n\t\t\toptions: entry.options,\n\t\t\t...ifDefined(\"accessMethod\", entry.accessMethod),\n\t\t\t...ifDefined(\"columnTraits\", entry.columnTraits)\n\t\t}]);\n\t}\n};\n/**\n* Whether an index of this type is rendered from its options rather than written by its author: a\n* type whose access method is not its own literal. Its SQL body is the target's rendering, so an\n* exact-named index of the type is compared by that body.\n*/\nfunction rendersIndexBody(entry) {\n\treturn accessMethodOf(entry) !== entry.type;\n}\n/** The access method an index of this type is created with. */\nfunction accessMethodOf(entry) {\n\treturn entry.accessMethod ?? entry.type;\n}\nfunction defineIndexTypes() {\n\treturn new IndexTypeBuilderImpl([]);\n}\nvar IndexTypeRegistryImpl = class {\n\tentries = /* @__PURE__ */ new Map();\n\tregister(entry) {\n\t\tif (this.entries.has(entry.type)) throw contractError(\"CONTRACT.PACK_CONTRIBUTION_INVALID\", `Index type \"${entry.type}\" is already registered`, { meta: { indexType: entry.type } });\n\t\tthis.entries.set(entry.type, entry);\n\t}\n\tget(typeLiteral) {\n\t\treturn this.entries.get(typeLiteral);\n\t}\n\thas(typeLiteral) {\n\t\treturn this.entries.has(typeLiteral);\n\t}\n};\nfunction createIndexTypeRegistry() {\n\treturn new IndexTypeRegistryImpl();\n}\nfunction isIndexTypeRegistration(value) {\n\treturn typeof value === \"object\" && value !== null && \"entries\" in value && Array.isArray(value.entries);\n}\n/**\n* The registry of every index type the target and the extension packs a contract is built or\n* inferred with register. An extension pack's entry whose access method is not its type literal is\n* refused, because only the target converts such a type into an index of its access method.\n*/\nfunction indexTypeRegistryOf(target, extensions = []) {\n\tconst registry = createIndexTypeRegistry();\n\tfor (const entry of registeredEntriesOf(target)) registry.register(entry);\n\tfor (const extension of extensions) for (const entry of registeredEntriesOf(extension)) {\n\t\tif (rendersIndexBody(entry)) throw extensionIndexTypeNotAccessMethod(entry, extension.id);\n\t\tregistry.register(entry);\n\t}\n\treturn registry;\n}\nfunction registeredEntriesOf(registrant) {\n\tconst registration = registrant.indexTypes;\n\tif (registration === void 0) return [];\n\tif (!isIndexTypeRegistration(registration)) throw contractError(\"CONTRACT.PACK_CONTRIBUTION_INVALID\", `Pack \"${registrant.id ?? \"<unknown>\"}\" declares \"indexTypes\" but its value is not an IndexTypeRegistration (expected an object with an \"entries\" array; got ${typeof registration}).`, { meta: {\n\t\tpackId: registrant.id,\n\t\tcontribution: \"indexTypes\",\n\t\treason: \"invalid-shape\"\n\t} });\n\treturn registration.entries;\n}\nfunction extensionIndexTypeNotAccessMethod(entry, packId) {\n\tconst accessMethod = accessMethodOf(entry);\n\tconst pack = packId === void 0 ? \"an extension pack\" : `extension pack \"${packId}\"`;\n\treturn contractError(\"CONTRACT.PACK_CONTRIBUTION_INVALID\", `Index type \"${entry.type}\" registered by ${pack} declares the access method \"${accessMethod}\", but an extension pack's index type must be an access method itself.`, {\n\t\twhy: `An index type whose access method differs from its name is turned into an index of that access method by the target, which renders the index body from the options. Only the target provides that conversion, so the database would be asked for an access method named \"${entry.type}\".`,\n\t\tfix: `Register the access method under its own name, or leave \\`accessMethod\\` out of the \"${entry.type}\" registration so the type name is the access method.`,\n\t\tmeta: {\n\t\t\tindexType: entry.type,\n\t\t\taccessMethod,\n\t\t\t...ifDefined(\"packId\", packId)\n\t\t}\n\t});\n}\n//#endregion\nexport { rendersIndexBody as a, indexTypeRegistryOf as i, createIndexTypeRegistry as n, defineIndexTypes as r, accessMethodOf as t };\n\n//# sourceMappingURL=index-types-pC_5vADQ.mjs.map"],"mappings":";;;AAGA,IAAI,uBAAuB,MAAM,qBAAqB;CACrD;CACA;CACA,YAAY,SAAS;EACpB,KAAK,UAAU;EACf,KAAK,aAAa,CAAC;CACpB;CACA,IAAI,aAAa,OAAO;EACvB,IAAI,KAAK,QAAQ,MAAM,MAAM,EAAE,SAAS,WAAW,GAAG,MAAM,cAAc,sCAAsC,eAAe,YAAY,wCAAwC,EAAE,MAAM,EAAE,WAAW,YAAY,EAAE,CAAC;EACvN,OAAO,IAAI,qBAAqB,CAAC,GAAG,KAAK,SAAS;GACjD,MAAM;GACN,SAAS,MAAM;GACf,GAAG,UAAU,gBAAgB,MAAM,YAAY;GAC/C,GAAG,UAAU,gBAAgB,MAAM,YAAY;EAChD,CAAC,CAAC;CACH;AACD;;;;;;AAMA,SAAS,iBAAiB,OAAO;CAChC,OAAO,eAAe,KAAK,MAAM,MAAM;AACxC;;AAEA,SAAS,eAAe,OAAO;CAC9B,OAAO,MAAM,gBAAgB,MAAM;AACpC;AACA,SAAS,mBAAmB;CAC3B,OAAO,IAAI,qBAAqB,CAAC,CAAC;AACnC;AACA,IAAI,wBAAwB,MAAM;CACjC,0BAA0B,IAAI,IAAI;CAClC,SAAS,OAAO;EACf,IAAI,KAAK,QAAQ,IAAI,MAAM,IAAI,GAAG,MAAM,cAAc,sCAAsC,eAAe,MAAM,KAAK,0BAA0B,EAAE,MAAM,EAAE,WAAW,MAAM,KAAK,EAAE,CAAC;EACnL,KAAK,QAAQ,IAAI,MAAM,MAAM,KAAK;CACnC;CACA,IAAI,aAAa;EAChB,OAAO,KAAK,QAAQ,IAAI,WAAW;CACpC;CACA,IAAI,aAAa;EAChB,OAAO,KAAK,QAAQ,IAAI,WAAW;CACpC;AACD;AACA,SAAS,0BAA0B;CAClC,OAAO,IAAI,sBAAsB;AAClC;AACA,SAAS,wBAAwB,OAAO;CACvC,OAAO,OAAO,UAAU,YAAY,UAAU,QAAQ,aAAa,SAAS,MAAM,QAAQ,MAAM,OAAO;AACxG;;;;;;AAMA,SAAS,oBAAoB,QAAQ,aAAa,CAAC,GAAG;CACrD,MAAM,WAAW,wBAAwB;CACzC,KAAK,MAAM,SAAS,oBAAoB,MAAM,GAAG,SAAS,SAAS,KAAK;CACxE,KAAK,MAAM,aAAa,YAAY,KAAK,MAAM,SAAS,oBAAoB,SAAS,GAAG;EACvF,IAAI,iBAAiB,KAAK,GAAG,MAAM,kCAAkC,OAAO,UAAU,EAAE;EACxF,SAAS,SAAS,KAAK;CACxB;CACA,OAAO;AACR;AACA,SAAS,oBAAoB,YAAY;CACxC,MAAM,eAAe,WAAW;CAChC,IAAI,iBAAiB,KAAK,GAAG,OAAO,CAAC;CACrC,IAAI,CAAC,wBAAwB,YAAY,GAAG,MAAM,cAAc,sCAAsC,SAAS,WAAW,MAAM,YAAY,yHAAyH,OAAO,aAAa,KAAK,EAAE,MAAM;EACrS,QAAQ,WAAW;EACnB,cAAc;EACd,QAAQ;CACT,EAAE,CAAC;CACH,OAAO,aAAa;AACrB;AACA,SAAS,kCAAkC,OAAO,QAAQ;CACzD,MAAM,eAAe,eAAe,KAAK;CACzC,MAAM,OAAO,WAAW,KAAK,IAAI,sBAAsB,mBAAmB,OAAO;CACjF,OAAO,cAAc,sCAAsC,eAAe,MAAM,KAAK,kBAAkB,KAAK,+BAA+B,aAAa,yEAAyE;EAChO,KAAK,4QAA4Q,MAAM,KAAK;EAC5R,KAAK,wFAAwF,MAAM,KAAK;EACxG,MAAM;GACL,WAAW,MAAM;GACjB;GACA,GAAG,UAAU,UAAU,MAAM;EAC9B;CACD,CAAC;AACF"}

package/dist/{interpreter-DlG-2o64-DmykcFbp.mjs → interpreter-DlG-2o64-CDb20sM1.mjs}

@@ -1,16 +1,16 @@
-import { n as isAuthoredIndexInput } from "./index-naming-Cj1Anq-T-NX841eiU.mjs";
+import { n as isAuthoredIndexInput } from "./index-naming-BOcJT1B3-CeEoP8t3.mjs";
 import { n as providesPslEntityPlacement } from "./entity-handle-lowering-hook-B3atrRKX.mjs";
-import "./foreign-key-materialization-Cv3q8Pix.mjs";
-import { d as resolvedTypeParams, t as CODEC_INSTANCE_KIND } from "./types-C7oOtFcJ.mjs";
+import "./foreign-key-materialization-DyoakLGY.mjs";
+import { d as resolvedTypeParams, t as CODEC_INSTANCE_KIND } from "./types-DXrO0fxT.mjs";
 import { t as deriveValueSetFromEntity } from "./value-set-derivation-hook-Di9JZ0X7.mjs";
-import { n as buildSqlContractFromDefinition } from "./derived-checks-D5zdlyyh-CPofdm1W.mjs";
-import { S as toNamedTypeFieldDescriptor, b as sqlAttributeSpecs, c as getAuthoringEntity, d as instantiatePslTypeConstructor, f as interpretFieldAttribute, g as modelCoordinateKey, h as modelAttributeSpecsFrom, i as contractError, l as getNamedArgument, m as mapFieldNamesToColumns, n as bareTypeConstructorOf, o as formatDbAttributeMigrationMessage, p as interpretModelAttribute, r as collectResolvedFields, s as getAttribute, t as PSL_CHECK_ON_STI_VARIANT, v as readWrittenNumberForCodec, x as storageName, y as resolveFieldTypeDescriptor } from "./psl-field-resolution-BW0ZuqBd-Dv18ERa7.mjs";
+import { n as buildSqlContractFromDefinition } from "./derived-checks-CfXjGvNH-CrXoMrPU.mjs";
+import { S as toNamedTypeFieldDescriptor, b as sqlAttributeSpecs, c as getAuthoringEntity, d as instantiatePslTypeConstructor, f as interpretFieldAttribute, g as modelCoordinateKey, h as modelAttributeSpecsFrom, i as contractError, l as getNamedArgument, m as mapFieldNamesToColumns, n as bareTypeConstructorOf, o as formatDbAttributeMigrationMessage, p as interpretModelAttribute, r as collectResolvedFields, s as getAttribute, t as PSL_CHECK_ON_STI_VARIANT, v as readWrittenNumberForCodec, x as storageName, y as resolveFieldTypeDescriptor } from "./psl-field-resolution-BW0ZuqBd--WxiBxb0.mjs";
 import { t as defaultTableName } from "./default-table-name-BfFY8qYR-lHNcVmY5.mjs";
 import { isStructuredError } from "@prisma/orm-framework/utils/structured-error";
+import { ifDefined } from "@prisma/orm-framework/utils/defined";
 import { instantiateAuthoringEntityType, instantiateAuthoringTypeConstructor, isAuthoringEntityTypeDescriptor, isAuthoringModelAttributeDescriptor } from "@prisma/orm-framework/components/authoring";
 import { UNBOUND_NAMESPACE_ID } from "@prisma/orm-framework/components/ir";
 import { blindCast } from "@prisma/orm-framework/utils/casts";
-import { ifDefined } from "@prisma/orm-framework/utils/defined";
 import { InternalError } from "@prisma/orm-framework/utils/internal-error";
 import { crossRef } from "@prisma/orm-framework/contract/types";
 import { NamespaceDeclarationAst } from "@prisma/orm-framework/psl-parser/syntax";
@@ -2209,4 +2209,4 @@ function interpretPslDocumentToSqlContract(input) {
 //#endregion
 export { normalizeReferentialAction as a, interpretPslDocumentToSqlContract as i, buildEntityTypesByDiscriminator as n, indexFkRelations as r, applyBackrelationCandidates as t };
 
-//# sourceMappingURL=interpreter-DlG-2o64-DmykcFbp.mjs.map
+//# sourceMappingURL=interpreter-DlG-2o64-CDb20sM1.mjs.map