@prisma-next/sql-contract 0.16.0-dev.31 → 0.16.0-dev.33

package/dist/contract-errors-CPZcBw8G.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"contract-errors-CPZcBw8G.mjs","names":[],"sources":["../src/contract-errors.ts"],"sourcesContent":["import type { StructuredError, StructuredErrorOptions } from '@prisma-next/utils/structured-error';\nimport { structuredError } from '@prisma-next/utils/structured-error';\n\ntype ContractCode = `CONTRACT.${ContractSubcode}`;\n\ntype ContractSubcode = 'PACK_CONTRIBUTION_INVALID' | 'TABLE_AMBIGUOUS' | 'VALIDATION_FAILED';\n\nexport function contractError(\n  code: ContractCode,\n  message: string,\n  options?: StructuredErrorOptions,\n): StructuredError {\n  return structuredError(code, message, options);\n}\n"],"mappings":";;AAOA,SAAgB,cACd,MACA,SACA,SACiB;CACjB,OAAO,gBAAgB,MAAM,SAAS,OAAO;AAC/C"}
+{"version":3,"file":"contract-errors-CPZcBw8G.mjs","names":[],"sources":["../src/contract-errors.ts"],"sourcesContent":["import type { StructuredError, StructuredErrorOptions } from '@prisma-next/utils/structured-error';\nimport { structuredError } from '@prisma-next/utils/structured-error';\n\ntype ContractCode = `CONTRACT.${ContractSubcode}`;\n\ntype ContractSubcode =\n  | 'ARGUMENT_INVALID'\n  | 'PACK_CONTRIBUTION_INVALID'\n  | 'TABLE_AMBIGUOUS'\n  | 'VALIDATION_FAILED';\n\nexport function contractError(\n  code: ContractCode,\n  message: string,\n  options?: StructuredErrorOptions,\n): StructuredError {\n  return structuredError(code, message, options);\n}\n"],"mappings":";;AAWA,SAAgB,cACd,MACA,SACA,SACiB;CACjB,OAAO,gBAAgB,MAAM,SAAS,OAAO;AAC/C"}

package/dist/foreign-key-materialization.mjs

@@ -1,4 +1,4 @@
-import { t as lowerAuthoredIndex } from "./index-naming-DsnarUVW.mjs";
+import { n as lowerAuthoredIndex } from "./index-naming-T4UVkLjS.mjs";
 //#region src/foreign-key-materialization.ts
 /**
 * The column-list keys (`"colA,colB"`, order preserved) a table's own
@@ -50,6 +50,8 @@ function materializeForeignKeysAndIndexes(tableName, foreignKeys, declaredIndexe
 			if (!satisfiedIndexColumns.has(key)) {
 				synthesizedIndexes.push(lowerAuthoredIndex(tableName, {
 					columns: reference.source.columns,
+					where: void 0,
+					unique: void 0,
 					map: void 0,
 					name: void 0,
 					type: void 0,

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

@@ -1 +1 @@
-{"version":3,"file":"foreign-key-materialization.mjs","names":[],"sources":["../src/foreign-key-materialization.ts"],"sourcesContent":["import { lowerAuthoredIndex } from './index-naming';\nimport type { ForeignKeyInput, ReferentialAction } from './ir/foreign-key';\nimport type { ForeignKeyReferenceInput } from './ir/foreign-key-reference';\nimport type { PrimaryKeyInput } from './ir/primary-key';\nimport type { IndexInput } from './ir/sql-index';\nimport type { UniqueConstraintInput } from './ir/unique-constraint';\n\nexport type BackingIndexCandidates = {\n  readonly indexes: readonly { readonly columns?: readonly string[] }[];\n  readonly uniques: readonly { readonly columns: readonly string[] }[];\n  readonly primaryKey?: { readonly columns: readonly string[] } | undefined;\n};\n\n/**\n * The column-list keys (`\"colA,colB\"`, order preserved) a table's own\n * indexes, unique constraints, and primary key already back. A foreign key\n * whose source columns join to one of these keys needs no separately\n * derived backing index.\n *\n * Shared by {@link isBackedByColumnKeys}'s callers: `materializeForeignKeysAndIndexes`\n * (deriving the discrete backing-index entities persisted at `contract emit`)\n * and the postgres PSL inferrer (deciding whether an introspected relation\n * needs an explicit `index: false`).\n */\nexport function backingIndexColumnKeys(table: BackingIndexCandidates): readonly string[] {\n  return [\n    ...table.indexes.flatMap((index) =>\n      index.columns !== undefined ? [index.columns.join(',')] : [],\n    ),\n    ...table.uniques.map((unique) => unique.columns.join(',')),\n    ...(table.primaryKey ? [table.primaryKey.columns.join(',')] : []),\n  ];\n}\n\n/**\n * Whether `columns`, in order, matches one of `backingKeys` (see\n * {@link backingIndexColumnKeys}). Order-sensitive: `(a, b)` does not\n * satisfy a backing index declared as `(b, a)`.\n */\nexport function isBackedByColumnKeys(\n  columns: readonly string[],\n  backingKeys: readonly string[],\n): boolean {\n  return backingKeys.includes(columns.join(','));\n}\n\n/**\n * A foreign key as authored, before FK1 materialization: the referential\n * coordinates plus the `constraint`/`index` intent booleans that drive\n * whether — and how — it survives into the persisted contract.\n */\nexport interface ForeignKeyAuthoringInput {\n  readonly source: ForeignKeyReferenceInput;\n  readonly target: ForeignKeyReferenceInput;\n  readonly name?: string;\n  readonly onDelete?: ReferentialAction;\n  readonly onUpdate?: ReferentialAction;\n  readonly constraint: boolean;\n  readonly index: boolean;\n}\n\nexport interface MaterializedTableConstraints {\n  readonly foreignKeys: readonly ForeignKeyInput[];\n  readonly indexes: readonly IndexInput[];\n}\n\n/**\n * Lowers a table's authored foreign keys into the discrete entities\n * `contract.json` persists: a `constraint: false` FK contributes no\n * `foreignKeys[]` entry, and an `index: true` FK whose columns aren't already\n * backed by a declared index/unique/primary-key contributes a managed\n * `indexes[]` entry (default prefix + content-hash wire name). Declared\n * indexes always survive unchanged; a second FK sharing already-synthesized\n * backing columns does not mint a duplicate index.\n */\nexport function materializeForeignKeysAndIndexes(\n  tableName: string,\n  foreignKeys: readonly ForeignKeyAuthoringInput[],\n  declaredIndexes: readonly IndexInput[],\n  uniques: readonly UniqueConstraintInput[],\n  primaryKey: PrimaryKeyInput | undefined,\n): MaterializedTableConstraints {\n  const satisfiedIndexColumns = new Set(\n    backingIndexColumnKeys({ indexes: declaredIndexes, uniques, primaryKey }),\n  );\n  const synthesizedIndexes: IndexInput[] = [];\n  const materializedForeignKeys: ForeignKeyInput[] = [];\n\n  for (const { constraint, index, ...reference } of foreignKeys) {\n    if (constraint !== false) {\n      materializedForeignKeys.push(reference);\n    }\n    if (index !== false) {\n      const key = reference.source.columns.join(',');\n      if (!satisfiedIndexColumns.has(key)) {\n        synthesizedIndexes.push(\n          lowerAuthoredIndex(tableName, {\n            columns: reference.source.columns,\n            map: undefined,\n            name: undefined,\n            type: undefined,\n            options: undefined,\n          }),\n        );\n        satisfiedIndexColumns.add(key);\n      }\n    }\n  }\n\n  return {\n    foreignKeys: materializedForeignKeys,\n    indexes: [...declaredIndexes, ...synthesizedIndexes],\n  };\n}\n"],"mappings":";;;;;;;;;;;;;AAwBA,SAAgB,uBAAuB,OAAkD;CACvF,OAAO;EACL,GAAG,MAAM,QAAQ,SAAS,UACxB,MAAM,YAAY,KAAA,IAAY,CAAC,MAAM,QAAQ,KAAK,GAAG,CAAC,IAAI,CAAC,CAC7D;EACA,GAAG,MAAM,QAAQ,KAAK,WAAW,OAAO,QAAQ,KAAK,GAAG,CAAC;EACzD,GAAI,MAAM,aAAa,CAAC,MAAM,WAAW,QAAQ,KAAK,GAAG,CAAC,IAAI,CAAC;CACjE;AACF;;;;;;AAOA,SAAgB,qBACd,SACA,aACS;CACT,OAAO,YAAY,SAAS,QAAQ,KAAK,GAAG,CAAC;AAC/C;;;;;;;;;;AA+BA,SAAgB,iCACd,WACA,aACA,iBACA,SACA,YAC8B;CAC9B,MAAM,wBAAwB,IAAI,IAChC,uBAAuB;EAAE,SAAS;EAAiB;EAAS;CAAW,CAAC,CAC1E;CACA,MAAM,qBAAmC,CAAC;CAC1C,MAAM,0BAA6C,CAAC;CAEpD,KAAK,MAAM,EAAE,YAAY,OAAO,GAAG,eAAe,aAAa;EAC7D,IAAI,eAAe,OACjB,wBAAwB,KAAK,SAAS;EAExC,IAAI,UAAU,OAAO;GACnB,MAAM,MAAM,UAAU,OAAO,QAAQ,KAAK,GAAG;GAC7C,IAAI,CAAC,sBAAsB,IAAI,GAAG,GAAG;IACnC,mBAAmB,KACjB,mBAAmB,WAAW;KAC5B,SAAS,UAAU,OAAO;KAC1B,KAAK,KAAA;KACL,MAAM,KAAA;KACN,MAAM,KAAA;KACN,SAAS,KAAA;IACX,CAAC,CACH;IACA,sBAAsB,IAAI,GAAG;GAC/B;EACF;CACF;CAEA,OAAO;EACL,aAAa;EACb,SAAS,CAAC,GAAG,iBAAiB,GAAG,kBAAkB;CACrD;AACF"}
+{"version":3,"file":"foreign-key-materialization.mjs","names":[],"sources":["../src/foreign-key-materialization.ts"],"sourcesContent":["import { lowerAuthoredIndex } from './index-naming';\nimport type { ForeignKeyInput, ReferentialAction } from './ir/foreign-key';\nimport type { ForeignKeyReferenceInput } from './ir/foreign-key-reference';\nimport type { PrimaryKeyInput } from './ir/primary-key';\nimport type { IndexInput } from './ir/sql-index';\nimport type { UniqueConstraintInput } from './ir/unique-constraint';\n\nexport type BackingIndexCandidates = {\n  readonly indexes: readonly { readonly columns?: readonly string[] }[];\n  readonly uniques: readonly { readonly columns: readonly string[] }[];\n  readonly primaryKey?: { readonly columns: readonly string[] } | undefined;\n};\n\n/**\n * The column-list keys (`\"colA,colB\"`, order preserved) a table's own\n * indexes, unique constraints, and primary key already back. A foreign key\n * whose source columns join to one of these keys needs no separately\n * derived backing index.\n *\n * Shared by {@link isBackedByColumnKeys}'s callers: `materializeForeignKeysAndIndexes`\n * (deriving the discrete backing-index entities persisted at `contract emit`)\n * and the postgres PSL inferrer (deciding whether an introspected relation\n * needs an explicit `index: false`).\n */\nexport function backingIndexColumnKeys(table: BackingIndexCandidates): readonly string[] {\n  return [\n    ...table.indexes.flatMap((index) =>\n      index.columns !== undefined ? [index.columns.join(',')] : [],\n    ),\n    ...table.uniques.map((unique) => unique.columns.join(',')),\n    ...(table.primaryKey ? [table.primaryKey.columns.join(',')] : []),\n  ];\n}\n\n/**\n * Whether `columns`, in order, matches one of `backingKeys` (see\n * {@link backingIndexColumnKeys}). Order-sensitive: `(a, b)` does not\n * satisfy a backing index declared as `(b, a)`.\n */\nexport function isBackedByColumnKeys(\n  columns: readonly string[],\n  backingKeys: readonly string[],\n): boolean {\n  return backingKeys.includes(columns.join(','));\n}\n\n/**\n * A foreign key as authored, before FK1 materialization: the referential\n * coordinates plus the `constraint`/`index` intent booleans that drive\n * whether — and how — it survives into the persisted contract.\n */\nexport interface ForeignKeyAuthoringInput {\n  readonly source: ForeignKeyReferenceInput;\n  readonly target: ForeignKeyReferenceInput;\n  readonly name?: string;\n  readonly onDelete?: ReferentialAction;\n  readonly onUpdate?: ReferentialAction;\n  readonly constraint: boolean;\n  readonly index: boolean;\n}\n\nexport interface MaterializedTableConstraints {\n  readonly foreignKeys: readonly ForeignKeyInput[];\n  readonly indexes: readonly IndexInput[];\n}\n\n/**\n * Lowers a table's authored foreign keys into the discrete entities\n * `contract.json` persists: a `constraint: false` FK contributes no\n * `foreignKeys[]` entry, and an `index: true` FK whose columns aren't already\n * backed by a declared index/unique/primary-key contributes a managed\n * `indexes[]` entry (default prefix + content-hash wire name). Declared\n * indexes always survive unchanged; a second FK sharing already-synthesized\n * backing columns does not mint a duplicate index.\n */\nexport function materializeForeignKeysAndIndexes(\n  tableName: string,\n  foreignKeys: readonly ForeignKeyAuthoringInput[],\n  declaredIndexes: readonly IndexInput[],\n  uniques: readonly UniqueConstraintInput[],\n  primaryKey: PrimaryKeyInput | undefined,\n): MaterializedTableConstraints {\n  const satisfiedIndexColumns = new Set(\n    backingIndexColumnKeys({ indexes: declaredIndexes, uniques, primaryKey }),\n  );\n  const synthesizedIndexes: IndexInput[] = [];\n  const materializedForeignKeys: ForeignKeyInput[] = [];\n\n  for (const { constraint, index, ...reference } of foreignKeys) {\n    if (constraint !== false) {\n      materializedForeignKeys.push(reference);\n    }\n    if (index !== false) {\n      const key = reference.source.columns.join(',');\n      if (!satisfiedIndexColumns.has(key)) {\n        synthesizedIndexes.push(\n          lowerAuthoredIndex(tableName, {\n            columns: reference.source.columns,\n            where: undefined,\n            unique: undefined,\n            map: undefined,\n            name: undefined,\n            type: undefined,\n            options: undefined,\n          }),\n        );\n        satisfiedIndexColumns.add(key);\n      }\n    }\n  }\n\n  return {\n    foreignKeys: materializedForeignKeys,\n    indexes: [...declaredIndexes, ...synthesizedIndexes],\n  };\n}\n"],"mappings":";;;;;;;;;;;;;AAwBA,SAAgB,uBAAuB,OAAkD;CACvF,OAAO;EACL,GAAG,MAAM,QAAQ,SAAS,UACxB,MAAM,YAAY,KAAA,IAAY,CAAC,MAAM,QAAQ,KAAK,GAAG,CAAC,IAAI,CAAC,CAC7D;EACA,GAAG,MAAM,QAAQ,KAAK,WAAW,OAAO,QAAQ,KAAK,GAAG,CAAC;EACzD,GAAI,MAAM,aAAa,CAAC,MAAM,WAAW,QAAQ,KAAK,GAAG,CAAC,IAAI,CAAC;CACjE;AACF;;;;;;AAOA,SAAgB,qBACd,SACA,aACS;CACT,OAAO,YAAY,SAAS,QAAQ,KAAK,GAAG,CAAC;AAC/C;;;;;;;;;;AA+BA,SAAgB,iCACd,WACA,aACA,iBACA,SACA,YAC8B;CAC9B,MAAM,wBAAwB,IAAI,IAChC,uBAAuB;EAAE,SAAS;EAAiB;EAAS;CAAW,CAAC,CAC1E;CACA,MAAM,qBAAmC,CAAC;CAC1C,MAAM,0BAA6C,CAAC;CAEpD,KAAK,MAAM,EAAE,YAAY,OAAO,GAAG,eAAe,aAAa;EAC7D,IAAI,eAAe,OACjB,wBAAwB,KAAK,SAAS;EAExC,IAAI,UAAU,OAAO;GACnB,MAAM,MAAM,UAAU,OAAO,QAAQ,KAAK,GAAG;GAC7C,IAAI,CAAC,sBAAsB,IAAI,GAAG,GAAG;IACnC,mBAAmB,KACjB,mBAAmB,WAAW;KAC5B,SAAS,UAAU,OAAO;KAC1B,OAAO,KAAA;KACP,QAAQ,KAAA;KACR,KAAK,KAAA;KACL,MAAM,KAAA;KACN,MAAM,KAAA;KACN,SAAS,KAAA;IACX,CAAC,CACH;IACA,sBAAsB,IAAI,GAAG;GAC/B;EACF;CACF;CAEA,OAAO;EACL,aAAa;EACb,SAAS,CAAC,GAAG,iBAAiB,GAAG,kBAAkB;CACrD;AACF"}

package/dist/index-naming-T4UVkLjS.mjs

@@ -0,0 +1,89 @@
+import { t as contractError } from "./contract-errors-CPZcBw8G.mjs";
+import { assertWireNamePrefixLength, computeIndexContentHash, defaultIndexName, formatWireName } from "@prisma-next/sql-schema-ir/naming";
+//#region src/index-naming.ts
+const EXACT_NAME_BODY_GUIDANCE = "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. For hand-authored definitions, use name: and let Prisma Next manage the physical name; to migrate an adopted object to managed naming, replace map: with name: (keeping the body text unchanged) and apply the resulting rename migration.";
+const EXACT_NAME_BODY_WARNING_CODE = "PN_EXACT_NAME_BODY_COMPARISON";
+const WARNING_BATCH_THRESHOLD = 5;
+function formatExactNameBodyWarning(warning) {
+	return `${warning.subject} "${warning.exactName}" uses map: with a SQL body. ${EXACT_NAME_BODY_GUIDANCE}`;
+}
+/**
+* Flushes collected exact-name-body warnings once per contract build: per-item warnings
+* (each naming its object) up to the threshold, one summary with the name
+* list above it — an adopted contract re-emit (which carries `map:` + body
+* for every adopted object once infer emits them) must not wall-of-text.
+*/
+function flushExactNameBodyWarnings(warnings) {
+	if (warnings.length === 0) return;
+	if (warnings.length <= WARNING_BATCH_THRESHOLD) {
+		for (const warning of warnings) process.emitWarning(formatExactNameBodyWarning(warning), { code: EXACT_NAME_BODY_WARNING_CODE });
+		return;
+	}
+	process.emitWarning(`${warnings.length} objects use map: with a SQL body. ${EXACT_NAME_BODY_GUIDANCE}\n` + warnings.map((warning) => `  - ${warning.subject} "${warning.exactName}"`).join("\n"), { code: EXACT_NAME_BODY_WARNING_CODE });
+}
+/**
+* Lowers an authored index into the name-identified entity `contract.json`
+* persists: exact mode adopts `map` verbatim (no prefix, no hash); managed
+* mode appends the content-hash suffix to the authored or default prefix.
+* 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) {
+	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 managed 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.`);
+	const unique = authored.unique ?? false;
+	if (authored.map !== void 0) {
+		if (authored.expression !== void 0 || authored.where !== void 0) {
+			const warning = {
+				subject: "index",
+				exactName: authored.map
+			};
+			if (warnings !== void 0) warnings.push(warning);
+			else flushExactNameBodyWarnings([warning]);
+		}
+		const carried = {
+			name: authored.map,
+			prefix: void 0,
+			where: authored.where,
+			unique,
+			type: authored.type,
+			options: authored.options
+		};
+		return authored.expression !== void 0 ? {
+			...carried,
+			expression: authored.expression
+		} : {
+			...carried,
+			columns: authored.columns ?? []
+		};
+	}
+	const prefix = authored.name ?? defaultIndexName(tableName, authored.columns ?? []);
+	assertWireNamePrefixLength(prefix, "index prefix");
+	const carried = {
+		name: formatWireName(prefix, computeIndexContentHash({
+			...authored.columns !== void 0 && { columns: authored.columns },
+			...authored.expression !== void 0 && { expression: authored.expression },
+			...authored.where !== void 0 && { where: authored.where },
+			unique,
+			...authored.type !== void 0 && { type: authored.type },
+			...authored.options !== void 0 && { options: authored.options }
+		})),
+		prefix,
+		where: authored.where,
+		unique,
+		type: authored.type,
+		options: authored.options
+	};
+	return authored.expression !== void 0 ? {
+		...carried,
+		expression: authored.expression
+	} : {
+		...carried,
+		columns: authored.columns ?? []
+	};
+}
+//#endregion
+export { lowerAuthoredIndex as n, flushExactNameBodyWarnings as t };
+
+//# sourceMappingURL=index-naming-T4UVkLjS.mjs.map

package/dist/index-naming-T4UVkLjS.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-naming-T4UVkLjS.mjs","names":[],"sources":["../src/index-naming.ts"],"sourcesContent":["import {\n  assertWireNamePrefixLength,\n  computeIndexContentHash,\n  defaultIndexName,\n  formatWireName,\n} from '@prisma-next/sql-schema-ir/naming';\nimport { contractError } from './contract-errors';\nimport type { IndexInput } from './ir/sql-index';\n\n/**\n * The authored element structure: a fields index carries `columns`, an\n * expression index carries `expression` — exactly one, never both.\n */\nexport type AuthoredIndexElements =\n  | { readonly columns: readonly string[]; readonly expression?: never }\n  | { readonly columns?: never; readonly expression: string };\n\n/**\n * An index as authored, before naming: `map` is an exact physical name\n * (adopted verbatim); `name` is a managed wire-name prefix. With neither,\n * the managed prefix defaults to `defaultIndexName(table, columns)`.\n * `where`, `unique`, `type`, and `options` participate in the content hash\n * alongside the elements.\n */\nexport type AuthoredIndexInput = AuthoredIndexElements & {\n  readonly where: string | undefined;\n  readonly unique: boolean | undefined;\n  readonly map: string | undefined;\n  readonly name: string | undefined;\n  readonly type: string | undefined;\n  readonly options: Record<string, unknown> | undefined;\n};\n\n/**\n * One exact-name warning hit: a `map:`-named object carrying a\n * hand-authorable SQL body. `subject` is `index` here and `policy` when\n * policies adopt the same warning.\n */\nexport interface ExactNameBodyWarning {\n  readonly subject: 'index' | 'policy';\n  readonly exactName: string;\n}\n\nconst EXACT_NAME_BODY_GUIDANCE =\n  \"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. For hand-authored definitions, use name: and let Prisma Next manage the physical name; to migrate an adopted object to managed naming, replace map: with name: (keeping the body text unchanged) and apply the resulting rename migration.\";\n\nconst EXACT_NAME_BODY_WARNING_CODE = 'PN_EXACT_NAME_BODY_COMPARISON';\n\nconst WARNING_BATCH_THRESHOLD = 5;\n\nfunction formatExactNameBodyWarning(warning: ExactNameBodyWarning): string {\n  return `${warning.subject} \"${warning.exactName}\" uses map: with a SQL body. ${EXACT_NAME_BODY_GUIDANCE}`;\n}\n\n/**\n * Flushes collected exact-name-body warnings once per contract build: per-item warnings\n * (each naming its object) up to the threshold, one summary with the name\n * list above it — an adopted contract re-emit (which carries `map:` + body\n * for every adopted object once infer emits them) must not wall-of-text.\n */\nexport function flushExactNameBodyWarnings(warnings: readonly ExactNameBodyWarning[]): void {\n  if (warnings.length === 0) {\n    return;\n  }\n  if (warnings.length <= WARNING_BATCH_THRESHOLD) {\n    for (const warning of warnings) {\n      process.emitWarning(formatExactNameBodyWarning(warning), {\n        code: EXACT_NAME_BODY_WARNING_CODE,\n      });\n    }\n    return;\n  }\n  process.emitWarning(\n    `${warnings.length} objects use map: with a SQL body. ${EXACT_NAME_BODY_GUIDANCE}\\n` +\n      warnings.map((warning) => `  - ${warning.subject} \"${warning.exactName}\"`).join('\\n'),\n    { code: EXACT_NAME_BODY_WARNING_CODE },\n  );\n}\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); managed\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 */\nexport function lowerAuthoredIndex(\n  tableName: string,\n  authored: AuthoredIndexInput,\n  warnings?: { push(warning: ExactNameBodyWarning): void },\n): IndexInput {\n  if ((authored.columns === undefined) === (authored.expression === undefined)) {\n    throw contractError(\n      'CONTRACT.ARGUMENT_INVALID',\n      `Index on table \"${tableName}\": an index takes either fields (columns) or an expression — exactly one, not both.`,\n    );\n  }\n  if (authored.map !== undefined && authored.name !== undefined) {\n    throw contractError(\n      'CONTRACT.ARGUMENT_INVALID',\n      `Index \"${authored.map}\" on table \"${tableName}\": map and name are mutually exclusive — map adopts an exact physical name, name is a managed prefix.`,\n    );\n  }\n  if (\n    authored.expression !== undefined &&\n    authored.name === undefined &&\n    authored.map === undefined\n  ) {\n    throw contractError(\n      'CONTRACT.ARGUMENT_INVALID',\n      `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    );\n  }\n\n  const unique = authored.unique ?? false;\n\n  if (authored.map !== undefined) {\n    if (authored.expression !== undefined || authored.where !== undefined) {\n      const warning: ExactNameBodyWarning = { subject: 'index', exactName: authored.map };\n      if (warnings !== undefined) {\n        warnings.push(warning);\n      } else {\n        flushExactNameBodyWarnings([warning]);\n      }\n    }\n    const carried = {\n      name: authored.map,\n      prefix: undefined,\n      where: authored.where,\n      unique,\n      type: authored.type,\n      options: authored.options,\n    };\n    return authored.expression !== undefined\n      ? { ...carried, expression: authored.expression }\n      : { ...carried, columns: authored.columns ?? [] };\n  }\n\n  const prefix = authored.name ?? defaultIndexName(tableName, authored.columns ?? []);\n  assertWireNamePrefixLength(prefix, 'index prefix');\n  const hash = computeIndexContentHash({\n    ...(authored.columns !== undefined && { columns: authored.columns }),\n    ...(authored.expression !== undefined && { expression: authored.expression }),\n    ...(authored.where !== undefined && { where: authored.where }),\n    unique,\n    ...(authored.type !== undefined && { type: authored.type }),\n    ...(authored.options !== undefined && { options: authored.options }),\n  });\n  const carried = {\n    name: formatWireName(prefix, hash),\n    prefix,\n    where: authored.where,\n    unique,\n    type: authored.type,\n    options: authored.options,\n  };\n  return authored.expression !== undefined\n    ? { ...carried, expression: authored.expression }\n    : { ...carried, columns: authored.columns ?? [] };\n}\n"],"mappings":";;;AA2CA,MAAM,2BACJ;AAEF,MAAM,+BAA+B;AAErC,MAAM,0BAA0B;AAEhC,SAAS,2BAA2B,SAAuC;CACzE,OAAO,GAAG,QAAQ,QAAQ,IAAI,QAAQ,UAAU,+BAA+B;AACjF;;;;;;;AAQA,SAAgB,2BAA2B,UAAiD;CAC1F,IAAI,SAAS,WAAW,GACtB;CAEF,IAAI,SAAS,UAAU,yBAAyB;EAC9C,KAAK,MAAM,WAAW,UACpB,QAAQ,YAAY,2BAA2B,OAAO,GAAG,EACvD,MAAM,6BACR,CAAC;EAEH;CACF;CACA,QAAQ,YACN,GAAG,SAAS,OAAO,qCAAqC,yBAAyB,MAC/E,SAAS,KAAK,YAAY,OAAO,QAAQ,QAAQ,IAAI,QAAQ,UAAU,EAAE,CAAC,CAAC,KAAK,IAAI,GACtF,EAAE,MAAM,6BAA6B,CACvC;AACF;;;;;;;;AASA,SAAgB,mBACd,WACA,UACA,UACY;CACZ,IAAK,SAAS,YAAY,KAAA,OAAgB,SAAS,eAAe,KAAA,IAChE,MAAM,cACJ,6BACA,mBAAmB,UAAU,oFAC/B;CAEF,IAAI,SAAS,QAAQ,KAAA,KAAa,SAAS,SAAS,KAAA,GAClD,MAAM,cACJ,6BACA,UAAU,SAAS,IAAI,cAAc,UAAU,sGACjD;CAEF,IACE,SAAS,eAAe,KAAA,KACxB,SAAS,SAAS,KAAA,KAClB,SAAS,QAAQ,KAAA,GAEjB,MAAM,cACJ,6BACA,mBAAmB,UAAU,8IAC/B;CAGF,MAAM,SAAS,SAAS,UAAU;CAElC,IAAI,SAAS,QAAQ,KAAA,GAAW;EAC9B,IAAI,SAAS,eAAe,KAAA,KAAa,SAAS,UAAU,KAAA,GAAW;GACrE,MAAM,UAAgC;IAAE,SAAS;IAAS,WAAW,SAAS;GAAI;GAClF,IAAI,aAAa,KAAA,GACf,SAAS,KAAK,OAAO;QAErB,2BAA2B,CAAC,OAAO,CAAC;EAExC;EACA,MAAM,UAAU;GACd,MAAM,SAAS;GACf,QAAQ,KAAA;GACR,OAAO,SAAS;GAChB;GACA,MAAM,SAAS;GACf,SAAS,SAAS;EACpB;EACA,OAAO,SAAS,eAAe,KAAA,IAC3B;GAAE,GAAG;GAAS,YAAY,SAAS;EAAW,IAC9C;GAAE,GAAG;GAAS,SAAS,SAAS,WAAW,CAAC;EAAE;CACpD;CAEA,MAAM,SAAS,SAAS,QAAQ,iBAAiB,WAAW,SAAS,WAAW,CAAC,CAAC;CAClF,2BAA2B,QAAQ,cAAc;CASjD,MAAM,UAAU;EACd,MAAM,eAAe,QATV,wBAAwB;GACnC,GAAI,SAAS,YAAY,KAAA,KAAa,EAAE,SAAS,SAAS,QAAQ;GAClE,GAAI,SAAS,eAAe,KAAA,KAAa,EAAE,YAAY,SAAS,WAAW;GAC3E,GAAI,SAAS,UAAU,KAAA,KAAa,EAAE,OAAO,SAAS,MAAM;GAC5D;GACA,GAAI,SAAS,SAAS,KAAA,KAAa,EAAE,MAAM,SAAS,KAAK;GACzD,GAAI,SAAS,YAAY,KAAA,KAAa,EAAE,SAAS,SAAS,QAAQ;EACpE,CAEkC,CAAC;EACjC;EACA,OAAO,SAAS;EAChB;EACA,MAAM,SAAS;EACf,SAAS,SAAS;CACpB;CACA,OAAO,SAAS,eAAe,KAAA,IAC3B;EAAE,GAAG;EAAS,YAAY,SAAS;CAAW,IAC9C;EAAE,GAAG;EAAS,SAAS,SAAS,WAAW,CAAC;CAAE;AACpD"}

package/dist/index-naming.d.mts

@@ -1,25 +1,57 @@
 import { n as IndexInput } from "./sql-index-Wzbj2nbH.mjs";
 //#region src/index-naming.d.ts
 /**
- * An index as authored, before naming: `map` is an exact physical name
- * (adopted verbatim, PSL `map:`); `name` is a managed wire-name prefix
- * (TS `name:`). With neither, the managed prefix defaults to
- * `defaultIndexName(table, columns)`.
+ * The authored element structure: a fields index carries `columns`, an
+ * expression index carries `expression` — exactly one, never both.
  */
-interface AuthoredIndexInput {
+type AuthoredIndexElements = {
   readonly columns: readonly string[];
+  readonly expression?: never;
+} | {
+  readonly columns?: never;
+  readonly expression: string;
+};
+/**
+ * An index as authored, before naming: `map` is an exact physical name
+ * (adopted verbatim); `name` is a managed wire-name prefix. With neither,
+ * the managed prefix defaults to `defaultIndexName(table, columns)`.
+ * `where`, `unique`, `type`, and `options` participate in the content hash
+ * alongside the elements.
+ */
+type AuthoredIndexInput = AuthoredIndexElements & {
+  readonly where: string | undefined;
+  readonly unique: boolean | undefined;
   readonly map: string | undefined;
   readonly name: string | undefined;
   readonly type: string | undefined;
   readonly options: Record<string, unknown> | undefined;
+};
+/**
+ * One exact-name warning hit: a `map:`-named object carrying a
+ * hand-authorable SQL body. `subject` is `index` here and `policy` when
+ * policies adopt the same warning.
+ */
+interface ExactNameBodyWarning {
+  readonly subject: 'index' | 'policy';
+  readonly exactName: string;
 }
+/**
+ * Flushes collected exact-name-body warnings once per contract build: per-item warnings
+ * (each naming its object) up to the threshold, one summary with the name
+ * list above it — an adopted contract re-emit (which carries `map:` + body
+ * for every adopted object once infer emits them) must not wall-of-text.
+ */
+declare function flushExactNameBodyWarnings(warnings: readonly ExactNameBodyWarning[]): void;
 /**
  * Lowers an authored index into the name-identified entity `contract.json`
  * persists: exact mode adopts `map` verbatim (no prefix, no hash); managed
  * mode appends the content-hash suffix to the authored or default prefix.
- * `unique` always lowers `false` — no authoring surface sets it yet.
+ * 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): IndexInput;
+declare function lowerAuthoredIndex(tableName: string, authored: AuthoredIndexInput, warnings?: {
+  push(warning: ExactNameBodyWarning): void;
+}): IndexInput;
 //#endregion
-export { type AuthoredIndexInput, lowerAuthoredIndex };
+export { type AuthoredIndexInput, type ExactNameBodyWarning, flushExactNameBodyWarnings, lowerAuthoredIndex };
 //# sourceMappingURL=index-naming.d.mts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index-naming.d.mts","names":[],"sources":["../src/index-naming.ts"],"mappings":";;;;;;;;UAeiB;WACN;WACA;WACA;WACA;WACA,SAAS;;;;;;;;iBASJ,mBAAmB,mBAAmB,UAAU,qBAAqB"}
+{"version":3,"file":"index-naming.d.mts","names":[],"sources":["../src/index-naming.ts"],"mappings":";;;;;;KAaY;WACG;WAAqC;;WACrC;WAA0B;;;;;;;;;KAS7B,qBAAqB;WACtB;WACA;WACA;WACA;WACA;WACA,SAAS;;;;;;;UAQH;WACN;WACA;;;;;;;;iBAoBK,2BAA2B,mBAAmB;;;;;;;;iBA0B9C,mBACd,mBACA,UAAU,oBACV;EAAa,KAAK,SAAS;IAC1B"}

package/dist/index-naming.mjs

@@ -1,2 +1,2 @@
-import { t as lowerAuthoredIndex } from "./index-naming-DsnarUVW.mjs";
-export { lowerAuthoredIndex };
+import { n as lowerAuthoredIndex, t as flushExactNameBodyWarnings } from "./index-naming-T4UVkLjS.mjs";
+export { flushExactNameBodyWarnings, lowerAuthoredIndex };

package/package.json

@@ -1,21 +1,21 @@
 {
   "name": "@prisma-next/sql-contract",
-  "version": "0.16.0-dev.31",
+  "version": "0.16.0-dev.33",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "SQL contract types, validators, and IR factories for Prisma Next",
   "dependencies": {
-    "@prisma-next/contract": "0.16.0-dev.31",
-    "@prisma-next/framework-components": "0.16.0-dev.31",
-    "@prisma-next/sql-schema-ir": "0.16.0-dev.31",
-    "@prisma-next/utils": "0.16.0-dev.31",
+    "@prisma-next/contract": "0.16.0-dev.33",
+    "@prisma-next/framework-components": "0.16.0-dev.33",
+    "@prisma-next/sql-schema-ir": "0.16.0-dev.33",
+    "@prisma-next/utils": "0.16.0-dev.33",
     "arktype": "^2.2.2"
   },
   "devDependencies": {
-    "@prisma-next/test-utils": "0.16.0-dev.31",
-    "@prisma-next/tsconfig": "0.16.0-dev.31",
-    "@prisma-next/tsdown": "0.16.0-dev.31",
+    "@prisma-next/test-utils": "0.16.0-dev.33",
+    "@prisma-next/tsconfig": "0.16.0-dev.33",
+    "@prisma-next/tsdown": "0.16.0-dev.33",
     "tsdown": "0.22.8",
     "typescript": "5.9.3",
     "vitest": "4.1.10"

package/src/contract-errors.ts

@@ -3,7 +3,11 @@ import { structuredError } from '@prisma-next/utils/structured-error';
 
 type ContractCode = `CONTRACT.${ContractSubcode}`;
 
-type ContractSubcode = 'PACK_CONTRIBUTION_INVALID' | 'TABLE_AMBIGUOUS' | 'VALIDATION_FAILED';
+type ContractSubcode =
+  | 'ARGUMENT_INVALID'
+  | 'PACK_CONTRIBUTION_INVALID'
+  | 'TABLE_AMBIGUOUS'
+  | 'VALIDATION_FAILED';
 
 export function contractError(
   code: ContractCode,

package/src/exports/index-naming.ts

@@ -1 +1,6 @@
-export { type AuthoredIndexInput, lowerAuthoredIndex } from '../index-naming';
+export {
+  type AuthoredIndexInput,
+  type ExactNameBodyWarning,
+  flushExactNameBodyWarnings,
+  lowerAuthoredIndex,
+} from '../index-naming';

package/src/foreign-key-materialization.ts

@@ -96,6 +96,8 @@ export function materializeForeignKeysAndIndexes(
         synthesizedIndexes.push(
           lowerAuthoredIndex(tableName, {
             columns: reference.source.columns,
+            where: undefined,
+            unique: undefined,
             map: undefined,
             name: undefined,
             type: undefined,

package/src/index-naming.ts

@@ -4,62 +4,157 @@ import {
   defaultIndexName,
   formatWireName,
 } from '@prisma-next/sql-schema-ir/naming';
-import { InternalError } from '@prisma-next/utils/internal-error';
+import { contractError } from './contract-errors';
 import type { IndexInput } from './ir/sql-index';
 
+/**
+ * The authored element structure: a fields index carries `columns`, an
+ * expression index carries `expression` — exactly one, never both.
+ */
+export type AuthoredIndexElements =
+  | { readonly columns: readonly string[]; readonly expression?: never }
+  | { readonly columns?: never; readonly expression: string };
+
 /**
  * An index as authored, before naming: `map` is an exact physical name
- * (adopted verbatim, PSL `map:`); `name` is a managed wire-name prefix
- * (TS `name:`). With neither, the managed prefix defaults to
- * `defaultIndexName(table, columns)`.
+ * (adopted verbatim); `name` is a managed wire-name prefix. With neither,
+ * the managed prefix defaults to `defaultIndexName(table, columns)`.
+ * `where`, `unique`, `type`, and `options` participate in the content hash
+ * alongside the elements.
  */
-export interface AuthoredIndexInput {
-  readonly columns: readonly string[];
+export type AuthoredIndexInput = AuthoredIndexElements & {
+  readonly where: string | undefined;
+  readonly unique: boolean | undefined;
   readonly map: string | undefined;
   readonly name: string | undefined;
   readonly type: string | undefined;
   readonly options: Record<string, unknown> | undefined;
+};
+
+/**
+ * One exact-name warning hit: a `map:`-named object carrying a
+ * hand-authorable SQL body. `subject` is `index` here and `policy` when
+ * policies adopt the same warning.
+ */
+export interface ExactNameBodyWarning {
+  readonly subject: 'index' | 'policy';
+  readonly exactName: string;
+}
+
+const EXACT_NAME_BODY_GUIDANCE =
+  "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. For hand-authored definitions, use name: and let Prisma Next manage the physical name; to migrate an adopted object to managed naming, replace map: with name: (keeping the body text unchanged) and apply the resulting rename migration.";
+
+const EXACT_NAME_BODY_WARNING_CODE = 'PN_EXACT_NAME_BODY_COMPARISON';
+
+const WARNING_BATCH_THRESHOLD = 5;
+
+function formatExactNameBodyWarning(warning: ExactNameBodyWarning): string {
+  return `${warning.subject} "${warning.exactName}" uses map: with a SQL body. ${EXACT_NAME_BODY_GUIDANCE}`;
+}
+
+/**
+ * Flushes collected exact-name-body warnings once per contract build: per-item warnings
+ * (each naming its object) up to the threshold, one summary with the name
+ * list above it — an adopted contract re-emit (which carries `map:` + body
+ * for every adopted object once infer emits them) must not wall-of-text.
+ */
+export function flushExactNameBodyWarnings(warnings: readonly ExactNameBodyWarning[]): void {
+  if (warnings.length === 0) {
+    return;
+  }
+  if (warnings.length <= WARNING_BATCH_THRESHOLD) {
+    for (const warning of warnings) {
+      process.emitWarning(formatExactNameBodyWarning(warning), {
+        code: EXACT_NAME_BODY_WARNING_CODE,
+      });
+    }
+    return;
+  }
+  process.emitWarning(
+    `${warnings.length} objects use map: with a SQL body. ${EXACT_NAME_BODY_GUIDANCE}\n` +
+      warnings.map((warning) => `  - ${warning.subject} "${warning.exactName}"`).join('\n'),
+    { code: EXACT_NAME_BODY_WARNING_CODE },
+  );
 }
 
 /**
  * Lowers an authored index into the name-identified entity `contract.json`
  * persists: exact mode adopts `map` verbatim (no prefix, no hash); managed
  * mode appends the content-hash suffix to the authored or default prefix.
- * `unique` always lowers `false` — no authoring surface sets it yet.
+ * The cross-field guards are the shared enforcement backstop for both
+ * authoring surfaces (PSL pre-empts them with span-anchored diagnostics).
  */
-export function lowerAuthoredIndex(tableName: string, authored: AuthoredIndexInput): IndexInput {
+export function lowerAuthoredIndex(
+  tableName: string,
+  authored: AuthoredIndexInput,
+  warnings?: { push(warning: ExactNameBodyWarning): void },
+): IndexInput {
+  if ((authored.columns === undefined) === (authored.expression === undefined)) {
+    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 !== undefined && authored.name !== undefined) {
+    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 managed prefix.`,
+    );
+  }
+  if (
+    authored.expression !== undefined &&
+    authored.name === undefined &&
+    authored.map === undefined
+  ) {
+    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.`,
+    );
+  }
+
+  const unique = authored.unique ?? false;
+
   if (authored.map !== undefined) {
-    if (authored.name !== undefined) {
-      throw new InternalError(
-        `Index "${authored.map}" on table "${tableName}": map and name are mutually exclusive.`,
-      );
+    if (authored.expression !== undefined || authored.where !== undefined) {
+      const warning: ExactNameBodyWarning = { subject: 'index', exactName: authored.map };
+      if (warnings !== undefined) {
+        warnings.push(warning);
+      } else {
+        flushExactNameBodyWarnings([warning]);
+      }
     }
-    return {
+    const carried = {
       name: authored.map,
       prefix: undefined,
-      columns: authored.columns,
-      where: undefined,
-      unique: false,
+      where: authored.where,
+      unique,
       type: authored.type,
       options: authored.options,
     };
+    return authored.expression !== undefined
+      ? { ...carried, expression: authored.expression }
+      : { ...carried, columns: authored.columns ?? [] };
   }
 
-  const prefix = authored.name ?? defaultIndexName(tableName, authored.columns);
+  const prefix = authored.name ?? defaultIndexName(tableName, authored.columns ?? []);
   assertWireNamePrefixLength(prefix, 'index prefix');
   const hash = computeIndexContentHash({
-    columns: authored.columns,
-    unique: false,
+    ...(authored.columns !== undefined && { columns: authored.columns }),
+    ...(authored.expression !== undefined && { expression: authored.expression }),
+    ...(authored.where !== undefined && { where: authored.where }),
+    unique,
     ...(authored.type !== undefined && { type: authored.type }),
     ...(authored.options !== undefined && { options: authored.options }),
   });
-  return {
+  const carried = {
     name: formatWireName(prefix, hash),
     prefix,
-    columns: authored.columns,
-    where: undefined,
-    unique: false,
+    where: authored.where,
+    unique,
     type: authored.type,
     options: authored.options,
   };
+  return authored.expression !== undefined
+    ? { ...carried, expression: authored.expression }
+    : { ...carried, columns: authored.columns ?? [] };
 }

package/dist/index-naming-DsnarUVW.mjs

@@ -1,43 +0,0 @@
-import { InternalError } from "@prisma-next/utils/internal-error";
-import { assertWireNamePrefixLength, computeIndexContentHash, defaultIndexName, formatWireName } from "@prisma-next/sql-schema-ir/naming";
-//#region src/index-naming.ts
-/**
-* Lowers an authored index into the name-identified entity `contract.json`
-* persists: exact mode adopts `map` verbatim (no prefix, no hash); managed
-* mode appends the content-hash suffix to the authored or default prefix.
-* `unique` always lowers `false` — no authoring surface sets it yet.
-*/
-function lowerAuthoredIndex(tableName, authored) {
-	if (authored.map !== void 0) {
-		if (authored.name !== void 0) throw new InternalError(`Index "${authored.map}" on table "${tableName}": map and name are mutually exclusive.`);
-		return {
-			name: authored.map,
-			prefix: void 0,
-			columns: authored.columns,
-			where: void 0,
-			unique: false,
-			type: authored.type,
-			options: authored.options
-		};
-	}
-	const prefix = authored.name ?? defaultIndexName(tableName, authored.columns);
-	assertWireNamePrefixLength(prefix, "index prefix");
-	return {
-		name: formatWireName(prefix, computeIndexContentHash({
-			columns: authored.columns,
-			unique: false,
-			...authored.type !== void 0 && { type: authored.type },
-			...authored.options !== void 0 && { options: authored.options }
-		})),
-		prefix,
-		columns: authored.columns,
-		where: void 0,
-		unique: false,
-		type: authored.type,
-		options: authored.options
-	};
-}
-//#endregion
-export { lowerAuthoredIndex as t };
-
-//# sourceMappingURL=index-naming-DsnarUVW.mjs.map

package/dist/index-naming-DsnarUVW.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"index-naming-DsnarUVW.mjs","names":[],"sources":["../src/index-naming.ts"],"sourcesContent":["import {\n  assertWireNamePrefixLength,\n  computeIndexContentHash,\n  defaultIndexName,\n  formatWireName,\n} from '@prisma-next/sql-schema-ir/naming';\nimport { InternalError } from '@prisma-next/utils/internal-error';\nimport type { IndexInput } from './ir/sql-index';\n\n/**\n * An index as authored, before naming: `map` is an exact physical name\n * (adopted verbatim, PSL `map:`); `name` is a managed wire-name prefix\n * (TS `name:`). With neither, the managed prefix defaults to\n * `defaultIndexName(table, columns)`.\n */\nexport interface AuthoredIndexInput {\n  readonly columns: readonly string[];\n  readonly map: string | undefined;\n  readonly name: string | undefined;\n  readonly type: string | undefined;\n  readonly options: Record<string, unknown> | undefined;\n}\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); managed\n * mode appends the content-hash suffix to the authored or default prefix.\n * `unique` always lowers `false` — no authoring surface sets it yet.\n */\nexport function lowerAuthoredIndex(tableName: string, authored: AuthoredIndexInput): IndexInput {\n  if (authored.map !== undefined) {\n    if (authored.name !== undefined) {\n      throw new InternalError(\n        `Index \"${authored.map}\" on table \"${tableName}\": map and name are mutually exclusive.`,\n      );\n    }\n    return {\n      name: authored.map,\n      prefix: undefined,\n      columns: authored.columns,\n      where: undefined,\n      unique: false,\n      type: authored.type,\n      options: authored.options,\n    };\n  }\n\n  const prefix = authored.name ?? defaultIndexName(tableName, authored.columns);\n  assertWireNamePrefixLength(prefix, 'index prefix');\n  const hash = computeIndexContentHash({\n    columns: authored.columns,\n    unique: false,\n    ...(authored.type !== undefined && { type: authored.type }),\n    ...(authored.options !== undefined && { options: authored.options }),\n  });\n  return {\n    name: formatWireName(prefix, hash),\n    prefix,\n    columns: authored.columns,\n    where: undefined,\n    unique: false,\n    type: authored.type,\n    options: authored.options,\n  };\n}\n"],"mappings":";;;;;;;;;AA6BA,SAAgB,mBAAmB,WAAmB,UAA0C;CAC9F,IAAI,SAAS,QAAQ,KAAA,GAAW;EAC9B,IAAI,SAAS,SAAS,KAAA,GACpB,MAAM,IAAI,cACR,UAAU,SAAS,IAAI,cAAc,UAAU,wCACjD;EAEF,OAAO;GACL,MAAM,SAAS;GACf,QAAQ,KAAA;GACR,SAAS,SAAS;GAClB,OAAO,KAAA;GACP,QAAQ;GACR,MAAM,SAAS;GACf,SAAS,SAAS;EACpB;CACF;CAEA,MAAM,SAAS,SAAS,QAAQ,iBAAiB,WAAW,SAAS,OAAO;CAC5E,2BAA2B,QAAQ,cAAc;CAOjD,OAAO;EACL,MAAM,eAAe,QAPV,wBAAwB;GACnC,SAAS,SAAS;GAClB,QAAQ;GACR,GAAI,SAAS,SAAS,KAAA,KAAa,EAAE,MAAM,SAAS,KAAK;GACzD,GAAI,SAAS,YAAY,KAAA,KAAa,EAAE,SAAS,SAAS,QAAQ;EACpE,CAEkC,CAAC;EACjC;EACA,SAAS,SAAS;EAClB,OAAO,KAAA;EACP,QAAQ;EACR,MAAM,SAAS;EACf,SAAS,SAAS;CACpB;AACF"}