@vibeorm/schema 2.3.0 → 2.4.0

package/dist/index.d.ts

@@ -13,7 +13,7 @@ export type { MigrationObjectIR, QualifiedSqlName, SqlObjectDefinition, SqlObjec
 export type { AdvisoryLockMode, DialectCapabilities, FullTextEngine, RowLockStrength, RowLockWaitPolicy, } from "./capabilities.ts";
 export { READ_ONLY_REFUSAL_REASONS, ReadOnlyClientError, SCOPED_REFUSAL_REASONS, ScopedQueryError, VIBE_ERROR_CODES, VibeError, internalError, invalidStoredData, unsupportedCapability, } from "./errors.ts";
 export type { ReadOnlyRefusalReason, ScopedRefusalReason, VibeErrorCode } from "./errors.ts";
-export { decodePrismaString, encodePrismaString, exactIntegerLiteral } from "./prisma-literal.ts";
+export { decodePrismaString, encodePrismaString, exactDecimalLiteral, exactIntegerLiteral } from "./prisma-literal.ts";
 export { RESERVED_CLIENT_NAMES, RESERVED_DELEGATE_NAMES, isReservedClientName, isReservedDelegateName, } from "./reserved.ts";
 export { EMPTY_EXTENSION_REGISTRY, buildExtensionRegistry, defineExtension, extensionDeclarations, extensionManifestEntry, extensionOptionsHash, mergeExtensionDeclarations, } from "./extension.ts";
 export type { ExtensionArtifact, ExtensionArtifactOwner, ExtensionAttributeArgs, ExtensionAttributeValue, ExtensionClientContribution, ExtensionClientPlane, ExtensionDoctorCheck, ExtensionDoctorHook, ExtensionDoctorReport, ExtensionFieldType, ExtensionImportSpec, ExtensionManifestEntry, ExtensionMigratePlane, ExtensionModelAttribute, ExtensionModelTypeNames, ExtensionRegistry, ExtensionRuntimePlane, ExtensionSchemaContext, ExtensionSqlExecutor, ExtensionSqlPlane, ExtensionWhereOperator, SqlFragmentPart, SqlFragmentSpec, VibeExtension, } from "./extension.ts";
@@ -23,6 +23,8 @@ export { RESERVED_ENUM_NAMES, assertValidSchemaIR, validateSchemaIR } from "./va
 export type { ValidationIssue } from "./validate.ts";
 export { implicitJoinTable } from "./m2m.ts";
 export type { ImplicitJoinTable } from "./m2m.ts";
+export { IDENTIFIER_LIMITS, assertIdentifierFits, defaultForeignKeyName, defaultIndexName, defaultPrimaryKeyName, fitDefaultName, identifierLength, implicitJoinTableObjectNames, postgresGeneratedObjectName, } from "./physical-names.ts";
+export type { IdentifierLimit, ImplicitJoinTableObjectNames } from "./physical-names.ts";
 export type { NativeRlsIR, RlsContextFieldIR, RlsContextIR, RlsContextRefIR, RlsContextScalar, RlsPolicyIR } from "./ir.ts";
 export { DIALECT_CAPABILITIES, MYSQL_CAPABILITIES, POSTGRES_CAPABILITIES, SQLITE_CAPABILITIES } from "./capabilities.ts";
 export { RLS_CONTEXT_REASONS, RlsContextError } from "./errors.ts";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,YAAY,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAElH,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAElG,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,iBAAiB,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AACnH,YAAY,EACV,aAAa,EACb,YAAY,EACZ,cAAc,EACd,OAAO,EACP,MAAM,EACN,WAAW,EACX,eAAe,EACf,OAAO,EACP,SAAS,EACT,YAAY,EACZ,OAAO,EACP,OAAO,EACP,SAAS,EACT,OAAO,EACP,QAAQ,EACR,UAAU,EACV,YAAY,EACZ,UAAU,EACV,QAAQ,GACT,MAAM,SAAS,CAAC;AAIjB,OAAO,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAClH,YAAY,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,WAAW,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAE9H,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAC1H,YAAY,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,yBAAyB,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAIrK,YAAY,EACV,gBAAgB,EAChB,mBAAmB,EACnB,cAAc,EACd,eAAe,EACf,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAI3B,OAAO,EACL,yBAAyB,EACzB,mBAAmB,EACnB,sBAAsB,EACtB,gBAAgB,EAChB,gBAAgB,EAChB,SAAS,EACT,aAAa,EACb,iBAAiB,EACjB,qBAAqB,GACtB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAI7F,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAIlG,OAAO,EACL,qBAAqB,EACrB,uBAAuB,EACvB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,eAAe,CAAC;AAIvB,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,qBAAqB,EACrB,sBAAsB,EACtB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,iBAAiB,EACjB,sBAAsB,EACtB,sBAAsB,EACtB,uBAAuB,EACvB,2BAA2B,EAC3B,oBAAoB,EACpB,oBAAoB,EACpB,mBAAmB,EACnB,qBAAqB,EACrB,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,qBAAqB,EACrB,uBAAuB,EACvB,uBAAuB,EACvB,iBAAiB,EACjB,qBAAqB,EACrB,sBAAsB,EACtB,oBAAoB,EACpB,iBAAiB,EACjB,sBAAsB,EACtB,eAAe,EACf,eAAe,EACf,aAAa,GACd,MAAM,gBAAgB,CAAC;AAIxB,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAC9E,YAAY,EAAE,cAAc,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAI9F,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAC3F,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAIrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAC7C,YAAY,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAIlD,YAAY,EAAE,WAAW,EAAE,iBAAiB,EAAE,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAC5H,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACzH,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACnE,YAAY,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,4BAA4B,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAEnF,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,YAAY,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAElH,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAElG,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,aAAa,EAAE,iBAAiB,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,SAAS,CAAC;AACnH,YAAY,EACV,aAAa,EACb,YAAY,EACZ,cAAc,EACd,OAAO,EACP,MAAM,EACN,WAAW,EACX,eAAe,EACf,OAAO,EACP,SAAS,EACT,YAAY,EACZ,OAAO,EACP,OAAO,EACP,SAAS,EACT,OAAO,EACP,QAAQ,EACR,UAAU,EACV,YAAY,EACZ,UAAU,EACV,QAAQ,GACT,MAAM,SAAS,CAAC;AAIjB,OAAO,EAAE,wBAAwB,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAClH,YAAY,EAAE,qBAAqB,EAAE,iBAAiB,EAAE,WAAW,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAE9H,OAAO,EAAE,sBAAsB,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAC1H,YAAY,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,yBAAyB,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAIrK,YAAY,EACV,gBAAgB,EAChB,mBAAmB,EACnB,cAAc,EACd,eAAe,EACf,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAI3B,OAAO,EACL,yBAAyB,EACzB,mBAAmB,EACnB,sBAAsB,EACtB,gBAAgB,EAChB,gBAAgB,EAChB,SAAS,EACT,aAAa,EACb,iBAAiB,EACjB,qBAAqB,GACtB,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAI7F,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAIvH,OAAO,EACL,qBAAqB,EACrB,uBAAuB,EACvB,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,eAAe,CAAC;AAIvB,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,eAAe,EACf,qBAAqB,EACrB,sBAAsB,EACtB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,iBAAiB,EACjB,sBAAsB,EACtB,sBAAsB,EACtB,uBAAuB,EACvB,2BAA2B,EAC3B,oBAAoB,EACpB,oBAAoB,EACpB,mBAAmB,EACnB,qBAAqB,EACrB,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,qBAAqB,EACrB,uBAAuB,EACvB,uBAAuB,EACvB,iBAAiB,EACjB,qBAAqB,EACrB,sBAAsB,EACtB,oBAAoB,EACpB,iBAAiB,EACjB,sBAAsB,EACtB,eAAe,EACf,eAAe,EACf,aAAa,GACd,MAAM,gBAAgB,CAAC;AAIxB,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAC9E,YAAY,EAAE,cAAc,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAI9F,OAAO,EAAE,mBAAmB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAC3F,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAIrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAC7C,YAAY,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAElD,OAAO,EACL,iBAAiB,EACjB,oBAAoB,EACpB,qBAAqB,EACrB,gBAAgB,EAChB,qBAAqB,EACrB,cAAc,EACd,gBAAgB,EAChB,4BAA4B,EAC5B,2BAA2B,GAC5B,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,eAAe,EAAE,4BAA4B,EAAE,MAAM,qBAAqB,CAAC;AAIzF,YAAY,EAAE,WAAW,EAAE,iBAAiB,EAAE,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AAC5H,OAAO,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACzH,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACnE,YAAY,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AACpD,OAAO,EAAE,4BAA4B,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAEnF,OAAO,EAAE,iBAAiB,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/index.js

@@ -389,6 +389,21 @@ function exactIntegerLiteral(params) {
     return asNumber;
   return BigInt(text).toString();
 }
+var DECIMAL_LITERAL = /^-?\d+(\.\d+)?([eE][+-]?\d+)?$/;
+function exactDecimalLiteral(params) {
+  const { text } = params;
+  if (!DECIMAL_LITERAL.test(text)) {
+    throw new VibeError({
+      code: "VIBE_SCHEMA_INVALID",
+      message: `Not a numeric literal: ${JSON.stringify(text)}`,
+      meta: { issues: [{ rule: "malformed-numeric-literal", message: text }], literal: text }
+    });
+  }
+  if (INTEGER_LITERAL.test(text))
+    return exactIntegerLiteral({ text });
+  const mantissa = text.replace(/[eE].*$/, "").replace("-", "").replace(".", "").replace(/^0+/, "");
+  return mantissa.length <= 15 ? Number(text) : text;
+}
 // packages/schema/src/reserved.ts
 var RESERVED_DELEGATE_NAMES = [
   "findMany",
@@ -710,6 +725,102 @@ function scalarListDefault(params) {
   });
 }
 
+// packages/schema/src/m2m.ts
+function implicitJoinTable(params) {
+  const sorted = [params.modelA, params.modelB].sort();
+  const first = sorted[0];
+  const second = sorted[1];
+  const key = params.relationName ?? `${first}To${second}`;
+  return {
+    tableName: `_${key}`,
+    modelA: first,
+    modelB: second,
+    columnA: "A",
+    columnB: "B"
+  };
+}
+
+// packages/schema/src/physical-names.ts
+var IDENTIFIER_LIMITS = Object.freeze({
+  postgres: { max: 63, unit: "bytes" },
+  mysql: { max: 64, unit: "characters" },
+  sqlite: undefined
+});
+var ENCODER = new TextEncoder;
+function identifierLength(params) {
+  const limit = IDENTIFIER_LIMITS[params.dialect];
+  return limit?.unit === "bytes" ? ENCODER.encode(params.name).length : [...params.name].length;
+}
+function cutIdentifier(params) {
+  let out = "";
+  let used = 0;
+  for (const char of params.name) {
+    const size = params.unit === "bytes" ? ENCODER.encode(char).length : 1;
+    if (used + size > params.length)
+      break;
+    out += char;
+    used += size;
+  }
+  return out;
+}
+function fitDefaultName(params) {
+  const limit = IDENTIFIER_LIMITS[params.dialect];
+  if (limit === undefined)
+    return `${params.prefix}${params.suffix}`;
+  const room = limit.max - identifierLength({ name: params.suffix, dialect: params.dialect });
+  if (identifierLength({ name: params.prefix, dialect: params.dialect }) <= room)
+    return `${params.prefix}${params.suffix}`;
+  return `${cutIdentifier({ name: params.prefix, length: room, unit: limit.unit })}${params.suffix}`;
+}
+function assertIdentifierFits(params) {
+  const limit = IDENTIFIER_LIMITS[params.dialect];
+  if (limit === undefined)
+    return;
+  const length = identifierLength({ name: params.name, dialect: params.dialect });
+  if (length <= limit.max)
+    return;
+  throw new VibeError({
+    code: "VIBE_SCHEMA_INVALID",
+    message: `${params.what} "${params.name}" is ${length} ${limit.unit} \u2014 ${params.dialect} keeps at most ${limit.max}; the created object would never carry this name and migrations could not converge. ${params.remedy}`,
+    meta: { name: params.name, dialect: params.dialect, length, max: limit.max }
+  });
+}
+function defaultIndexName(params) {
+  return fitDefaultName({
+    prefix: `${params.table}_${params.columns.join("_")}`,
+    suffix: params.unique ? "_key" : "_idx",
+    dialect: params.dialect
+  });
+}
+function defaultForeignKeyName(params) {
+  return fitDefaultName({ prefix: `${params.table}_${params.columns.join("_")}`, suffix: "_fkey", dialect: params.dialect });
+}
+function defaultPrimaryKeyName(params) {
+  return fitDefaultName({ prefix: params.table, suffix: "_pkey", dialect: params.dialect });
+}
+function implicitJoinTableObjectNames(params) {
+  return {
+    uniqueIndex: `${params.table}_AB_unique`,
+    indexB: `${params.table}_B_index`,
+    foreignKeyA: `${params.table}_A_fkey`,
+    foreignKeyB: `${params.table}_B_fkey`
+  };
+}
+function postgresGeneratedObjectName(params) {
+  const limit = IDENTIFIER_LIMITS.postgres;
+  const overhead = params.label.length + 2;
+  let chars1 = [...params.name1];
+  let chars2 = [...params.name2];
+  const bytes = (chars) => ENCODER.encode(chars.join("")).length;
+  while (bytes(chars1) + bytes(chars2) + overhead > limit.max) {
+    if (bytes(chars1) > bytes(chars2))
+      chars1 = chars1.slice(0, -1);
+    else
+      chars2 = chars2.slice(0, -1);
+  }
+  return `${chars1.join("")}_${chars2.join("")}_${params.label}`;
+}
+
 // packages/schema/src/capabilities.ts
 var POSTGRES_CAPABILITIES = Object.freeze({
   exclusionConstraints: true,
@@ -1256,10 +1367,189 @@ function validateSchemaIR(params) {
       });
     }
   }
+  validateIdentifierLengths({ schema, issues });
+  validatePhysicalNameUniqueness({ schema, issues });
   validateGeneratedNames({ schema, issues });
   validateNativeRls({ schema, issues });
   return issues;
 }
+function validatePhysicalNameUniqueness(params) {
+  const { schema, issues } = params;
+  const dialect = providerToDialect({ provider: schema.datasource.provider });
+  const owners = new Map;
+  const claim = (entry) => {
+    const key = `${entry.namespace}\x00${entry.name}`;
+    const previous = owners.get(key);
+    if (previous === undefined) {
+      owners.set(key, `${entry.what} of ${entry.owner}`);
+      return true;
+    }
+    issues.push({
+      rule: "duplicate-physical-name",
+      message: `${entry.what} "${entry.name}" of ${entry.owner} collides with the ${previous} \u2014 both resolve to one physical ${entry.namespace === "relation" ? "object" : "name"}, and only one can exist`,
+      ...entry.model === undefined ? {} : { model: entry.model },
+      ...entry.field === undefined ? {} : { field: entry.field }
+    });
+    return false;
+  };
+  const indexNamespace = (table) => dialect === "mysql" ? `index:${table}` : "relation";
+  const constraintNamespace = (table) => dialect === "mysql" ? "constraint" : `constraint:${table}`;
+  for (const model of schema.models) {
+    const table = model.dbName ?? model.name;
+    if (!claim({ namespace: "relation", name: table, what: model.isView ? "view" : "table", owner: `model "${model.name}"`, model: model.name }))
+      continue;
+    for (const fieldIR of model.fields) {
+      claim({ namespace: `column:${table}`, name: fieldIR.dbName ?? fieldIR.name, what: "column", owner: `field "${model.name}.${fieldIR.name}"`, model: model.name, field: fieldIR.name });
+    }
+    if (model.isView)
+      continue;
+    const columnOf = (name) => model.fields.find((candidate) => candidate.name === name)?.dbName ?? name;
+    const seenIndexKeys = new Set;
+    const declarations = [
+      ...model.indexes.map((index) => ({ index, site: index.kind === "unique" ? "@@unique" : "@@index" })),
+      ...model.fields.filter((fieldIR) => fieldIR.isUnique).map((fieldIR) => ({ index: { kind: "unique", fields: [{ name: fieldIR.name }] }, site: `@unique on "${fieldIR.name}"` }))
+    ];
+    for (const { index, site } of declarations) {
+      const unique = index.kind === "unique";
+      const columns = index.fields.map((entry) => `${columnOf(entry.name)}${entry.sort === "desc" ? " desc" : ""}`);
+      const key = `${unique ? "u" : "i"}${index.nullsNotDistinct === true ? "n" : ""}:${unique ? "btree" : index.kind}:${columns.join(",")}:${index.where?.trim() ?? ""}`;
+      if (seenIndexKeys.has(key))
+        continue;
+      seenIndexKeys.add(key);
+      const name = index.name ?? defaultIndexName({ table, columns: index.fields.map((entry) => columnOf(entry.name)), unique, dialect });
+      claim({ namespace: indexNamespace(table), name, what: unique ? "unique index" : "index", owner: `${site} on "${model.name}"`, model: model.name });
+      if (index.constraintName !== undefined) {
+        claim({ namespace: constraintNamespace(table), name: index.constraintName, what: "unique constraint", owner: `${site} on "${model.name}"`, model: model.name });
+      }
+    }
+    if (dialect === "postgres" && (model.primaryKey !== undefined || model.fields.some((fieldIR) => fieldIR.isId))) {
+      const name = model.primaryKeyConstraintName ?? defaultPrimaryKeyName({ table, dialect });
+      claim({ namespace: "relation", name, what: "primary key", owner: `model "${model.name}"`, model: model.name });
+      claim({ namespace: constraintNamespace(table), name, what: "primary key", owner: `model "${model.name}"`, model: model.name });
+    }
+    for (const relation of model.relations) {
+      if (relation.fields === undefined || relation.fields.length === 0)
+        continue;
+      const target = schema.models.find((candidate) => candidate.name === relation.targetModel);
+      if (target !== undefined && target.isView)
+        continue;
+      const name = relation.constraintName ?? defaultForeignKeyName({ table, columns: relation.fields.map((entry) => columnOf(entry)), dialect });
+      claim({ namespace: constraintNamespace(table), name, what: "foreign key", owner: `relation "${model.name}.${relation.name}"`, model: model.name });
+    }
+    for (const checkIR of model.checks ?? []) {
+      claim({ namespace: constraintNamespace(table), name: checkIR.name, what: "CHECK constraint", owner: `model "${model.name}"`, model: model.name });
+    }
+    for (const exclusion of model.exclusions ?? []) {
+      claim({ namespace: constraintNamespace(table), name: exclusion.name, what: "exclusion constraint", owner: `model "${model.name}"`, model: model.name });
+      if (dialect === "postgres")
+        claim({ namespace: "relation", name: exclusion.name, what: "exclusion constraint", owner: `model "${model.name}"`, model: model.name });
+    }
+  }
+  if (dialect === "postgres") {
+    for (const enumDef of schema.enums) {
+      if (enumStorageOf({ enumDef }) !== "database")
+        continue;
+      claim({ namespace: "relation", name: enumDef.dbName ?? enumDef.name, what: "enum type", owner: `enum "${enumDef.name}"` });
+    }
+  }
+  const seenJoinTables = new Set;
+  for (const model of schema.models) {
+    for (const relation of model.relations) {
+      if (relation.targetModel === model.name)
+        continue;
+      if (!isImplicitManyToManyRelation({ model, relation, models: schema.models }))
+        continue;
+      const join = implicitJoinTable({ modelA: model.name, modelB: relation.targetModel, ...relation.relationName === undefined ? {} : { relationName: relation.relationName } });
+      if (seenJoinTables.has(join.tableName))
+        continue;
+      seenJoinTables.add(join.tableName);
+      const owner = `implicit relation "${model.name}.${relation.name}"`;
+      claim({ namespace: "relation", name: join.tableName, what: "join table", owner, model: model.name });
+      const derived = implicitJoinTableObjectNames({ table: join.tableName });
+      claim({ namespace: indexNamespace(join.tableName), name: derived.uniqueIndex, what: "unique index", owner, model: model.name });
+      claim({ namespace: indexNamespace(join.tableName), name: derived.indexB, what: "index", owner, model: model.name });
+      claim({ namespace: constraintNamespace(join.tableName), name: derived.foreignKeyA, what: "foreign key", owner, model: model.name });
+      claim({ namespace: constraintNamespace(join.tableName), name: derived.foreignKeyB, what: "foreign key", owner, model: model.name });
+    }
+  }
+}
+function validateIdentifierLengths(params) {
+  const { schema, issues } = params;
+  const dialect = providerToDialect({ provider: schema.datasource.provider });
+  const limit = IDENTIFIER_LIMITS[dialect];
+  if (limit === undefined)
+    return;
+  const { max, unit } = limit;
+  const consequence = dialect === "postgres" ? `PostgreSQL silently truncates identifiers to ${max} bytes (NAMEDATALEN - 1), so the created object never carries this name and migrations cannot converge` : `MySQL refuses identifiers longer than ${max} characters (ER_TOO_LONG_IDENT)`;
+  const check = (entry) => {
+    const length = identifierLength({ name: entry.name, dialect });
+    if (length <= max)
+      return;
+    issues.push({
+      rule: "identifier-too-long",
+      message: `${entry.what} "${entry.name}" is ${length} ${unit} \u2014 ${consequence}. ${entry.remedy}`,
+      ...entry.model === undefined ? {} : { model: entry.model }
+    });
+  };
+  for (const model of schema.models) {
+    const table = model.dbName ?? model.name;
+    check({ name: table, what: model.isView ? "View name" : "Table name", model: model.name, remedy: `Map "${model.name}" to a shorter physical name (@@map).` });
+    for (const fieldIR of model.fields) {
+      check({ name: fieldIR.dbName ?? fieldIR.name, what: "Column name", model: model.name, remedy: `Map "${model.name}.${fieldIR.name}" to a shorter column name (@map).` });
+    }
+    if (model.isView)
+      continue;
+    for (const index of model.indexes) {
+      if (index.name !== undefined) {
+        check({ name: index.name, what: index.kind === "unique" ? "Unique index name" : "Index name", model: model.name, remedy: "Shorten the index name (map:)." });
+      }
+      if (index.constraintName !== undefined) {
+        check({ name: index.constraintName, what: "Unique constraint name", model: model.name, remedy: "Shorten the constraint name." });
+      }
+    }
+    if (model.primaryKeyConstraintName !== undefined) {
+      check({ name: model.primaryKeyConstraintName, what: "Primary key constraint name", model: model.name, remedy: "Shorten the constraint name (map:)." });
+    }
+    for (const relation of model.relations) {
+      if (relation.constraintName === undefined)
+        continue;
+      check({ name: relation.constraintName, what: "Foreign key constraint name", model: model.name, remedy: "Shorten the constraint name (map:)." });
+    }
+    for (const checkIR of model.checks ?? []) {
+      check({ name: checkIR.name, what: "CHECK constraint name", model: model.name, remedy: "Shorten the CHECK name." });
+    }
+    for (const exclusion of model.exclusions ?? []) {
+      check({ name: exclusion.name, what: "Exclusion constraint name", model: model.name, remedy: "Shorten the exclusion name." });
+    }
+  }
+  if (dialect === "postgres") {
+    for (const enumDef of schema.enums) {
+      if (enumStorageOf({ enumDef }) !== "database")
+        continue;
+      check({ name: enumDef.dbName ?? enumDef.name, what: "Enum type name", remedy: `Map enum "${enumDef.name}" to a shorter type name (@@map).` });
+    }
+  }
+  const seenJoinTables = new Set;
+  for (const model of schema.models) {
+    for (const relation of model.relations) {
+      if (relation.targetModel === model.name)
+        continue;
+      if (!isImplicitManyToManyRelation({ model, relation, models: schema.models }))
+        continue;
+      const join = implicitJoinTable({ modelA: model.name, modelB: relation.targetModel, ...relation.relationName === undefined ? {} : { relationName: relation.relationName } });
+      if (seenJoinTables.has(join.tableName))
+        continue;
+      seenJoinTables.add(join.tableName);
+      const remedy = `Give the relation an explicit shorter name (@relation("...")).`;
+      check({ name: join.tableName, what: "Implicit join table name", model: model.name, remedy });
+      const derived = implicitJoinTableObjectNames({ table: join.tableName });
+      check({ name: derived.uniqueIndex, what: "Implicit join table index name", model: model.name, remedy });
+      check({ name: derived.indexB, what: "Implicit join table index name", model: model.name, remedy });
+      check({ name: derived.foreignKeyA, what: "Implicit join table foreign key name", model: model.name, remedy });
+      check({ name: derived.foreignKeyB, what: "Implicit join table foreign key name", model: model.name, remedy });
+    }
+  }
+}
 function validateModel(params) {
   const { model, modelByName, enumByName, issues } = params;
   const memberNames = new Set;
@@ -1786,25 +2076,12 @@ function validRlsForeignKey(params) {
   ];
   return validFields && uniqueSets.some((set) => set.length === refs.length && set.every((name) => refs.includes(name)));
 }
-// packages/schema/src/m2m.ts
-function implicitJoinTable(params) {
-  const sorted = [params.modelA, params.modelB].sort();
-  const first = sorted[0];
-  const second = sorted[1];
-  const key = params.relationName ?? `${first}To${second}`;
-  return {
-    tableName: `_${key}`,
-    modelA: first,
-    modelB: second,
-    columnA: "A",
-    columnB: "B"
-  };
-}
 export {
   DIALECTS,
   DIALECT_CAPABILITIES,
   EMPTY_EXTENSION_REGISTRY,
   ENUM_STORAGES,
+  IDENTIFIER_LIMITS,
   MYSQL_CAPABILITIES,
   POSTGRES_CAPABILITIES,
   PREDICATE_COMPARISON_OPS,
@@ -1820,20 +2097,28 @@ export {
   ScopedQueryError,
   VIBE_ERROR_CODES,
   VibeError,
+  assertIdentifierFits,
   assertMigrationObjects,
   assertValidSchemaIR,
   buildComputedManifest,
   buildExtensionRegistry,
   decodePrismaString,
+  defaultForeignKeyName,
+  defaultIndexName,
+  defaultPrimaryKeyName,
   defineExtension,
   encodePrismaString,
   enumStorageOf,
+  exactDecimalLiteral,
   exactIntegerLiteral,
   extensionDeclarations,
   extensionManifestEntry,
   extensionOptionsHash,
   fieldTypeIdentity,
+  fitDefaultName,
+  identifierLength,
   implicitJoinTable,
+  implicitJoinTableObjectNames,
   internalError,
   invalidStoredData,
   isEnumType,
@@ -1844,6 +2129,7 @@ export {
   isSqlObjectDefinition,
   isSqlObjectIdentity,
   mergeExtensionDeclarations,
+  postgresGeneratedObjectName,
   predicateFieldNames,
   predicateKey,
   providerToDialect,
@@ -1856,4 +2142,4 @@ export {
   validateSchemaIR
 };
 
-//# debugId=5275C43BC09D1F0064756E2164756E21
+//# debugId=47DE6CAFB1D4DC2864756E2164756E21