@vibeorm/dsl 2.0.0-alpha.8 → 2.1.0

package/dist/index.js

@@ -137,8 +137,15 @@ class ChainableEnumColumn extends ChainableColumn {
 function string(config = {}) {
   return new ChainableStringColumn(config);
 }
+
+class ChainableIntegerColumn extends ChainableColumn {
+  autoincrement() {
+    this.__config.autoincrement = true;
+    return this;
+  }
+}
 function int(config = {}) {
-  return new ChainableColumn("int", config);
+  return new ChainableIntegerColumn("int", config);
 }
 function float(config = {}) {
   return new ChainableColumn("float", config);
@@ -173,7 +180,7 @@ function bytes(config = {}) {
   return new ChainableColumn("bytes", config);
 }
 function bigint(config = {}) {
-  return new ChainableColumn("bigint", config);
+  return new ChainableIntegerColumn("bigint", config);
 }
 function unsupported(dbType) {
   const config = { dbType };
@@ -217,7 +224,224 @@ function createEnum(config) {
 }
 
 // packages/dsl/src/generator/prisma.ts
-import { VibeError, encodePrismaString, internalError } from "@vibeorm/schema";
+import { VibeError as VibeError5, encodePrismaString, internalError, providerToDialect as providerToDialect2 } from "@vibeorm/schema";
+import { getSqlDialect as getSqlDialect2 } from "@vibeorm/sql";
+
+// packages/dsl/src/predicate.ts
+import { VibeError } from "@vibeorm/schema";
+import { compileExclusion, renderPredicate } from "@vibeorm/sql";
+function isFieldExpr(operand) {
+  return typeof operand === "object" && operand !== null && "kind" in operand && operand.kind === "field";
+}
+function toRef(params) {
+  return { kind: "field", name: params.expr.name };
+}
+function toValue(params) {
+  const { input, at } = params;
+  if (typeof input === "bigint")
+    return { kind: "value", value: input.toString() };
+  if (typeof input === "string" || typeof input === "number" || typeof input === "boolean") {
+    return { kind: "value", value: input };
+  }
+  throw new VibeError({
+    code: "VIBE_SCHEMA_INVALID",
+    message: `${at}: ${input === null ? "null" : typeof input} is not a comparable literal \u2014 use isNull()/isNotNull() for null, and a string, number, bigint or boolean otherwise`,
+    meta: { rule: "predicate-literal-invalid", at }
+  });
+}
+function toOperand(params) {
+  const { operand, at } = params;
+  return isFieldExpr(operand) ? toRef({ expr: operand }) : toValue({ input: operand, at });
+}
+function requireFieldExpr(params) {
+  const { value, at } = params;
+  if (isFieldExpr(value))
+    return value;
+  throw new VibeError({
+    code: "VIBE_SCHEMA_INVALID",
+    message: `${at}: the left side of a comparison must be c.field("\u2026"), not a bare value`,
+    meta: { rule: "predicate-operand-invalid", at }
+  });
+}
+function requireOperands(params) {
+  const { operands, at } = params;
+  if (operands.length === 0) {
+    throw new VibeError({
+      code: "VIBE_SCHEMA_INVALID",
+      message: `${at}: an empty boolean group has no honest SQL spelling \u2014 pass at least one operand`,
+      meta: { rule: "predicate-empty", at }
+    });
+  }
+  return operands;
+}
+function createPredicateBuilder() {
+  const compare = (op) => (left, right) => ({
+    kind: "compare",
+    op,
+    left: toRef({ expr: requireFieldExpr({ value: left, at: `c.${op}()` }) }),
+    right: toOperand({ operand: right, at: `c.${op}()` })
+  });
+  const membership = (negate) => (field, values) => {
+    const at = negate ? "c.notInList()" : "c.inList()";
+    const ref = toRef({ expr: requireFieldExpr({ value: field, at }) });
+    if (values.length === 0) {
+      throw new VibeError({
+        code: "VIBE_SCHEMA_INVALID",
+        message: `${at}: an empty IN list is UNKNOWN on every row and is never what an author means`,
+        meta: { rule: "predicate-empty", at, field: ref.name }
+      });
+    }
+    return {
+      kind: "inList",
+      field: ref,
+      values: values.map((value) => toValue({ input: value, at })),
+      ...negate ? { negate: true } : {}
+    };
+  };
+  return {
+    field: (name) => ({ kind: "field", name, __kind: "String" }),
+    eq: compare("eq"),
+    ne: compare("ne"),
+    gt: compare("gt"),
+    gte: compare("gte"),
+    lt: compare("lt"),
+    lte: compare("lte"),
+    inList: membership(false),
+    notInList: membership(true),
+    isNull: (name) => ({ kind: "isNull", field: { kind: "field", name } }),
+    isNotNull: (name) => ({ kind: "isNull", field: { kind: "field", name }, negate: true }),
+    and: (...operands) => ({ kind: "and", operands: requireOperands({ operands, at: "c.and()" }) }),
+    or: (...operands) => ({ kind: "or", operands: requireOperands({ operands, at: "c.or()" }) }),
+    not: (operand) => ({ kind: "not", operand }),
+    named: (name, predicate) => {
+      if (name.trim() === "") {
+        throw new VibeError({
+          code: "VIBE_SCHEMA_INVALID",
+          message: "c.named(): a CHECK needs a non-empty name \u2014 the name is what keys the migration diff",
+          meta: { rule: "predicate-unnamed-check" }
+        });
+      }
+      return { __type: "check", name, predicate };
+    }
+  };
+}
+function evaluateChecks(params) {
+  const { checks, model } = params;
+  if (checks === undefined)
+    return [];
+  if (typeof checks !== "function") {
+    return checks.map((check) => ({ kind: "raw", name: check.name, expression: check.expression }));
+  }
+  const declared = checks(createPredicateBuilder());
+  return declared.map((entry, index) => {
+    if (entry === null || typeof entry !== "object" || entry.__type !== "check") {
+      throw new VibeError({
+        code: "VIBE_SCHEMA_INVALID",
+        message: `Model "${model}": checks[${index}] is not a named CHECK \u2014 wrap the expression in c.named("name", \u2026)`,
+        meta: { rule: "predicate-unnamed-check", model, index }
+      });
+    }
+    return { kind: "typed", name: entry.name, predicate: entry.predicate };
+  });
+}
+function compileExclusions(params) {
+  const specs = typeof params.exclusions === "function" ? params.exclusions(createPredicateBuilder()) : params.exclusions ?? [];
+  return specs.map((exclusion) => compileExclusion({ exclusion, model: params.model, dialect: params.dialect }));
+}
+function compileChecks(params) {
+  const { checks, model, dialect, enums } = params;
+  return evaluateChecks({ checks, model: model.name }).map((check) => check.kind === "raw" ? { name: check.name, expression: check.expression } : {
+    name: check.name,
+    expression: renderPredicate({
+      predicate: check.predicate,
+      model,
+      dialect,
+      enums,
+      usage: "check",
+      site: `CHECK "${check.name}"`
+    }),
+    predicate: check.predicate
+  });
+}
+function compileIndexPredicate(params) {
+  const { where, wherePredicate, columns, model, dialect, enums } = params;
+  if (where !== undefined && wherePredicate !== undefined) {
+    throw new VibeError({
+      code: "VIBE_SCHEMA_INVALID",
+      message: `Index on "${model.name}" [${columns.join(", ")}] carries both a raw where: string and a typed .where() \u2014 an index has ONE predicate`,
+      meta: { rule: "predicate-duplicate-where", model: model.name, columns: [...columns] }
+    });
+  }
+  if (where !== undefined)
+    return { where };
+  if (wherePredicate === undefined)
+    return;
+  return {
+    where: renderPredicate({
+      predicate: wherePredicate,
+      model,
+      dialect,
+      enums,
+      usage: "indexPredicate",
+      site: `partial index on [${columns.join(", ")}]`
+    }),
+    wherePredicate
+  };
+}
+
+// packages/dsl/src/to-ir.ts
+import {
+  EMPTY_EXTENSION_REGISTRY,
+  VibeError as VibeError4,
+  assertValidSchemaIR,
+  exactIntegerLiteral,
+  providerToDialect,
+  scalarListDefault,
+  serializeJsonDefault,
+  mergeExtensionDeclarations
+} from "@vibeorm/schema";
+import { getSqlDialect } from "@vibeorm/sql";
+
+// packages/dsl/src/field-type.ts
+import { fieldTypeIdentity } from "@vibeorm/schema";
+function columnFieldType(params) {
+  const { column } = params;
+  switch (column.__columnType) {
+    case "string":
+      return "String";
+    case "int":
+      return "Int";
+    case "bigint":
+      return "BigInt";
+    case "float":
+      return "Float";
+    case "decimal":
+      return "Decimal";
+    case "boolean":
+      return "Boolean";
+    case "datetime":
+      return "DateTime";
+    case "json":
+      return "Json";
+    case "bytes":
+      return "Bytes";
+    case "id":
+      return column.__config.type === "autoincrement" ? "Int" : "String";
+    case "enum":
+      return column.__enumName === undefined ? "String" : { enum: column.__enumName };
+    case "unsupported":
+      return "String";
+  }
+}
+function fieldTypeKey(params) {
+  return fieldTypeIdentity({ type: columnFieldType({ column: params.column }) });
+}
+
+// packages/dsl/src/relation-plan.ts
+import { VibeError as VibeError3, predicateKey } from "@vibeorm/schema";
+
+// packages/dsl/src/model.ts
+import { VibeError as VibeError2 } from "@vibeorm/schema";
 
 // packages/dsl/src/naming.ts
 function capitalize(params) {
@@ -256,47 +480,67 @@ function isChildrenDef(value) {
   return typeof value === "object" && value !== null && "__type" in value && value.__type === "children";
 }
 function createIndexBuilder() {
-  const createIndex = (columns, type, where) => ({
+  const partial = (index) => {
+    const where = (predicate) => {
+      if (index.__where !== undefined) {
+        throw new VibeError2({
+          code: "VIBE_SCHEMA_INVALID",
+          message: `Index on [${index.__columns.join(", ")}] already carries a raw where: predicate \u2014 an index has ONE predicate, so use either the raw string or .where(), not both`,
+          meta: { rule: "predicate-duplicate-where", columns: [...index.__columns] }
+        });
+      }
+      return { ...index, __wherePredicate: predicate(createPredicateBuilder()) };
+    };
+    return Object.defineProperty({ ...index }, "where", {
+      value: where,
+      enumerable: false,
+      writable: false,
+      configurable: true
+    });
+  };
+  const createIndex = (columns, type, where, map) => ({
     __type: "index",
     __columns: [...columns],
     __indexType: type,
+    ...map === undefined ? {} : { __map: map },
     ...where === undefined ? {} : { __where: where }
   });
   return {
     on(...args) {
       const [first, second] = args;
       if (args.length === 2 && Array.isArray(first) && typeof second === "object" && !Array.isArray(second)) {
-        return createIndex(first, second.type, second.where);
+        return partial(createIndex(first, second.type, second.where, second.map));
       }
-      return createIndex(args);
+      return partial(createIndex(args));
     },
     index(...columns) {
-      return createIndex(columns);
+      return partial(createIndex(columns));
     },
     unique(...args) {
       const [first, second] = args;
       if (args.length === 2 && Array.isArray(first) && typeof second === "object" && !Array.isArray(second)) {
-        return {
+        return partial({
           __type: "unique",
           __columns: [...first],
+          ...second.map === undefined ? {} : { __map: second.map },
           ...second.where === undefined ? {} : { __where: second.where },
           ...second.nullsNotDistinct === true ? { __nullsNotDistinct: true } : {},
           ...second.name === undefined ? {} : { __clientName: second.name }
-        };
+        });
       }
-      return { __type: "unique", __columns: [...args] };
+      return partial({ __type: "unique", __columns: [...args] });
     },
     gin(...columns) {
-      return createIndex(columns, "Gin");
+      return partial(createIndex(columns, "Gin"));
     },
     gist(...columns) {
-      return createIndex(columns, "Gist");
+      return partial(createIndex(columns, "Gist"));
     },
     hash(...columns) {
-      return createIndex(columns, "Hash");
+      return partial(createIndex(columns, "Hash"));
     },
     brin(...columns) {
-      return createIndex(columns, "Brin");
+      return partial(createIndex(columns, "Brin"));
     }
   };
 }
@@ -338,6 +582,7 @@ function create(config) {
     __children: children2,
     __map: config.map,
     __primaryKey: config.primaryKey,
+    __exclusions: config.exclusions,
     __checks: config.checks,
     __extensions: config.extensions,
     __policy: config.policy,
@@ -362,6 +607,9 @@ function detectOneToOnePairs(params) {
   const allOnes = [];
   for (const [modelName, modelRelations] of Object.entries(relations)) {
     for (const [relName, rel] of Object.entries(modelRelations)) {
+      if (rel.__ownsForeignKey !== undefined && (typeof rel.__ownsForeignKey !== "boolean" || rel.__relationType !== "one" || rel.__ownsForeignKey && rel.__fromModel !== modelName)) {
+        throw new VibeError3({ code: "VIBE_SCHEMA_INVALID", message: `Invalid foreign-key ownership declaration on ${modelName}.${relName}` });
+      }
       if (rel.__relationType === "one") {
         allOnes.push({ modelName, relName, rel });
       }
@@ -382,12 +630,13 @@ function detectOneToOnePairs(params) {
       const keyB = `${b.modelName}:${b.relName}`;
       if (paired.has(keyB))
         continue;
-      const sameColumnPair = a.rel.__fromModel === b.rel.__toModel && a.rel.__fromColumn === b.rel.__toColumn && a.rel.__toModel === b.rel.__fromModel && a.rel.__toColumn === b.rel.__fromColumn;
-      if (!sameColumnPair)
+      const sameColumnPair = a.rel.__fromModel === b.rel.__toModel && sameColumnTuple({ left: a.rel.__fromColumns, right: b.rel.__toColumns }) && a.rel.__toModel === b.rel.__fromModel && sameColumnTuple({ left: a.rel.__toColumns, right: b.rel.__fromColumns });
+      if (!sameColumnPair || (a.rel.__alias ?? "") !== (b.rel.__alias ?? ""))
         continue;
       const { fkOwner, backRelation } = resolveFkOwner({ a, b, models });
       const onDelete = fkOwner.rel.__onDelete ?? backRelation.rel.__onDelete;
       const onUpdate = fkOwner.rel.__onUpdate ?? backRelation.rel.__onUpdate;
+      const constraintName = fkOwner.rel.__constraintName ?? backRelation.rel.__constraintName;
       const fkKey = `${fkOwner.modelName}:${fkOwner.relName}`;
       const backKey = `${backRelation.modelName}:${backRelation.relName}`;
       mergeMap.set(fkKey, {
@@ -395,14 +644,16 @@ function detectOneToOnePairs(params) {
         pairedRelName: backRelation.relName,
         pairedModelName: backRelation.modelName,
         onDelete,
-        onUpdate
+        onUpdate,
+        ...constraintName === undefined ? {} : { constraintName }
       });
       mergeMap.set(backKey, {
         role: "backRelation",
         pairedRelName: fkOwner.relName,
         pairedModelName: fkOwner.modelName,
         onDelete,
-        onUpdate
+        onUpdate,
+        ...constraintName === undefined ? {} : { constraintName }
       });
       paired.add(fkKey);
       paired.add(backKey);
@@ -411,23 +662,54 @@ function detectOneToOnePairs(params) {
   }
   return mergeMap;
 }
+function sameColumnTuple(params) {
+  const { left, right } = params;
+  return left.length === right.length && left.every((name, index) => name === right[index]);
+}
 function resolveFkOwner(params) {
   const { a, b, models } = params;
-  const aFromIsId = models.get(a.modelName)?.__columns.get(a.rel.__fromColumn)?.__columnType === "id";
-  const bFromIsId = models.get(b.modelName)?.__columns.get(b.rel.__fromColumn)?.__columnType === "id";
+  const ownershipError = () => {
+    throw new VibeError3({ code: "VIBE_SCHEMA_INVALID", message: `Ambiguous foreign-key ownership between ${a.modelName}.${a.relName} and ${b.modelName}.${b.relName}; set ownsForeignKey: true on the foreign-key side`, meta: { rule: "ambiguous-foreign-key-owner" } });
+  };
+  const aOwns = a.rel.__ownsForeignKey;
+  const bOwns = b.rel.__ownsForeignKey;
+  if (aOwns !== undefined || bOwns !== undefined) {
+    if (aOwns === bOwns)
+      return ownershipError();
+    return aOwns === true || bOwns === false ? { fkOwner: a, backRelation: b } : { fkOwner: b, backRelation: a };
+  }
+  const aFromIsId = fromIsPrimaryKey({ model: models.get(a.modelName), columns: a.rel.__fromColumns });
+  const bFromIsId = fromIsPrimaryKey({ model: models.get(b.modelName), columns: b.rel.__fromColumns });
   if (aFromIsId && !bFromIsId)
     return { fkOwner: b, backRelation: a };
   if (!aFromIsId && bFromIsId)
     return { fkOwner: a, backRelation: b };
-  if (a.rel.__onDelete !== undefined || a.rel.__onUpdate !== undefined) {
+  const aActions = a.rel.__onDelete !== undefined || a.rel.__onUpdate !== undefined;
+  const bActions = b.rel.__onDelete !== undefined || b.rel.__onUpdate !== undefined;
+  if (aActions && !bActions) {
     return { fkOwner: a, backRelation: b };
   }
-  if (b.rel.__onDelete !== undefined || b.rel.__onUpdate !== undefined) {
+  if (bActions && !aActions) {
     return { fkOwner: b, backRelation: a };
   }
-  const aLooksFk = looksLikeForeignKey({ column: a.rel.__fromColumn });
-  const bLooksFk = looksLikeForeignKey({ column: b.rel.__fromColumn });
-  return aLooksFk && !bLooksFk ? { fkOwner: a, backRelation: b } : { fkOwner: b, backRelation: a };
+  const aLooksFk = a.rel.__fromColumns.some((column) => looksLikeForeignKey({ column }));
+  const bLooksFk = b.rel.__fromColumns.some((column) => looksLikeForeignKey({ column }));
+  if (aLooksFk === bLooksFk)
+    return ownershipError();
+  return aLooksFk ? { fkOwner: a, backRelation: b } : { fkOwner: b, backRelation: a };
+}
+function fromIsPrimaryKey(params) {
+  const { model, columns } = params;
+  if (model === undefined)
+    return false;
+  if (columns.length > 1) {
+    const primaryKey = model.__primaryKey;
+    return primaryKey !== undefined && primaryKey.length === columns.length && primaryKey.every((name) => columns.includes(name));
+  }
+  const column = columns[0];
+  if (column === undefined)
+    return false;
+  return model.__columns.get(column)?.__columnType === "id" || model.__primaryKey?.includes(column) === true;
 }
 function looksLikeForeignKey(params) {
   const { column } = params;
@@ -453,19 +735,21 @@ function planExplicitRelations(params) {
       planned.push({ ...base, kind: "backOne", isList: false, isOptional: true });
       continue;
     }
-    const ownsFk = mergeInfo?.role === "fkOwner" || rel.__fromModel === modelName;
+    const ownsFk = mergeInfo?.role === "fkOwner" || rel.__ownsForeignKey !== false && rel.__fromModel === modelName;
     if (!ownsFk) {
       planned.push({ ...base, kind: "backOne", isList: false, isOptional: rel.__optional });
       continue;
     }
-    const fkColumn = model.__columns.get(rel.__fromColumn);
+    const anyMemberOptional = rel.__fromColumns.some((name2) => model.__columns.get(name2)?.__config.optional === true);
+    const constraintName = mergeInfo?.constraintName ?? rel.__constraintName;
     planned.push({
       ...base,
       kind: "fkOwner",
       isList: false,
-      isOptional: fkColumn?.__config.optional === true || rel.__optional,
-      fields: [rel.__fromColumn],
-      references: [rel.__toColumn],
+      isOptional: anyMemberOptional || rel.__optional,
+      fields: [...rel.__fromColumns],
+      references: [...rel.__toColumns],
+      ...constraintName === undefined ? {} : { constraintName },
       onDelete: mergeInfo?.onDelete ?? rel.__onDelete,
       onUpdate: mergeInfo?.onUpdate ?? rel.__onUpdate
     });
@@ -562,7 +846,8 @@ function planIndexes(params) {
     }
   }
   for (const index of evaluateIndexes({ model })) {
-    const key = index.__columns.join(",") + (index.__where === undefined ? "" : `|where:${index.__where}`);
+    const predicateSuffix = index.__where !== undefined ? `|where:${index.__where}` : index.__wherePredicate === undefined ? "" : `|where:${predicateKey({ predicate: index.__wherePredicate })}`;
+    const key = index.__columns.join(",") + predicateSuffix;
     const existing = byKey.get(key);
     const isUnique = index.__type === "unique";
     if (existing === undefined || isUnique) {
@@ -570,16 +855,91 @@ function planIndexes(params) {
         isUnique,
         columns: [...index.__columns],
         indexType: index.__indexType,
+        ...index.__map === undefined ? {} : { map: index.__map },
         ...index.__where === undefined ? {} : { where: index.__where },
+        ...index.__wherePredicate === undefined ? {} : { wherePredicate: index.__wherePredicate },
         ...index.__nullsNotDistinct === true ? { nullsNotDistinct: true } : {},
         ...index.__clientName === undefined ? {} : { clientName: index.__clientName }
       });
+    } else if (index.__map !== undefined) {
+      byKey.set(key, { ...existing, map: index.__map, indexType: index.__indexType ?? existing.indexType });
     } else if (index.__indexType !== undefined && existing.indexType === undefined) {
       byKey.set(key, { ...existing, indexType: index.__indexType });
     }
   }
   return Array.from(byKey.values());
 }
+function referenceableKeys(params) {
+  const { model } = params;
+  const keys = [];
+  for (const [name, column] of model.__columns) {
+    if (column.__columnType === "id" || column.__config.unique === true)
+      keys.push([name]);
+  }
+  if (model.__primaryKey !== undefined && model.__primaryKey.length > 0)
+    keys.push([...model.__primaryKey]);
+  for (const index of evaluateIndexes({ model })) {
+    if (index.__type === "unique" && index.__where === undefined && index.__wherePredicate === undefined) {
+      keys.push([...index.__columns]);
+    }
+  }
+  return keys;
+}
+function assertForeignKeyIntegrity(params) {
+  const { relation, models } = params;
+  const fields = relation.fields ?? [];
+  const references = relation.references ?? [];
+  const at = `${relation.model}.${relation.name}`;
+  const refuse = (message, rule, meta = {}) => {
+    throw new VibeError3({
+      code: "VIBE_SCHEMA_INVALID",
+      message: `Relation ${at}: ${message}`,
+      meta: { rule, model: relation.model, relation: relation.name, ...meta }
+    });
+  };
+  if (fields.length !== references.length) {
+    refuse(`pairs ${fields.length} foreign-key column(s) with ${references.length} referenced column(s)`, "relation-tuple-arity", { fields, references });
+  }
+  if (new Set(fields).size !== fields.length) {
+    refuse(`repeats a foreign-key column (${fields.join(", ")})`, "relation-duplicate-column", { fields });
+  }
+  if (new Set(references).size !== references.length) {
+    refuse(`repeats a referenced column (${references.join(", ")})`, "relation-duplicate-column", { references });
+  }
+  const owner = models.get(relation.model);
+  const target = models.get(relation.targetModel);
+  if (owner === undefined || target === undefined)
+    return;
+  fields.forEach((name, index) => {
+    const referenced = references[index];
+    const column = owner.__columns.get(name);
+    const refColumn = target.__columns.get(referenced);
+    if (column === undefined) {
+      refuse(`uses foreign-key column "${name}", which ${relation.model} does not declare`, "unknown-relation-field", { field: name });
+      return;
+    }
+    if (refColumn === undefined) {
+      refuse(`references "${relation.targetModel}.${referenced}", which does not exist`, "unknown-relation-reference", { reference: referenced });
+      return;
+    }
+    if (column.__config.array === true || refColumn.__config.array === true) {
+      refuse(`pairs a scalar list (${name} \u2194 ${referenced}) \u2014 a foreign key compares single values`, "relation-list-column", { field: name, reference: referenced });
+    }
+    if (column.__columnType === "json" || refColumn.__columnType === "json" || column.__columnType === "unsupported" || refColumn.__columnType === "unsupported") {
+      refuse(`pairs ${name} \u2194 ${referenced}, and Json/unsupported columns cannot be a foreign key`, "relation-unsupported-column", { field: name, reference: referenced });
+    }
+    const ownType = fieldTypeKey({ column });
+    const refType = fieldTypeKey({ column: refColumn });
+    if (ownType !== refType) {
+      refuse(`pairs ${relation.model}.${name} (${ownType}) with ${relation.targetModel}.${referenced} (${refType}) \u2014 both ends of a foreign key need the same scalar type`, "relation-type-mismatch", { field: name, reference: referenced, fieldType: ownType, referenceType: refType });
+    }
+  });
+  const keys = referenceableKeys({ model: target });
+  const matched = keys.some((key) => key.length === references.length && key.every((name) => references.includes(name)));
+  if (!matched) {
+    refuse(`references ${relation.targetModel}.(${references.join(", ")}), which is not a unique key there \u2014 declare those columns as the primary key, a unique column, or a total @@unique index`, "relation-reference-not-unique", { references, candidates: keys.map((key) => [...key]) });
+  }
+}
 function planSchema(params) {
   const { schema } = params;
   const mergeMap = detectOneToOnePairs({
@@ -602,7 +962,12 @@ function planSchema(params) {
       existing: explicit
     });
     const children2 = planChildRelations({ modelName, model, models: schema.__models });
-    relations.set(modelName, [...explicit, ...reverses, ...children2]);
+    const planned = [...explicit, ...reverses, ...children2];
+    for (const relation of planned) {
+      if (relation.kind === "fkOwner")
+        assertForeignKeyIntegrity({ relation, models: schema.__models });
+    }
+    relations.set(modelName, planned);
     indexes.set(modelName, planIndexes({ model }));
   }
   return { relations, indexes };
@@ -627,142 +992,454 @@ function findCounterparts(params) {
   return (plan.relations.get(relation.targetModel) ?? []).filter((candidate) => candidate !== relation && candidate.targetModel === relation.model && (candidate.relationName ?? "") === nameKey);
 }
 
-// packages/dsl/src/generator/prisma.ts
-function prismaType(params) {
-  const { column } = params;
-  const list = column.__config.array === true ? "[]" : "";
-  switch (column.__columnType) {
-    case "string":
-      return `String${list}`;
-    case "int":
-      return `Int${list}`;
-    case "bigint":
-      return `BigInt${list}`;
-    case "float":
-      return `Float${list}`;
-    case "decimal":
-      return `Decimal${list}`;
-    case "boolean":
-      return `Boolean${list}`;
-    case "datetime":
-      return `DateTime${list}`;
-    case "json":
-      return `Json${list}`;
-    case "bytes":
-      return `Bytes${list}`;
-    case "id":
-      return column.__config.type === "autoincrement" ? "Int" : "String";
-    case "enum":
-      return column.__enumName === undefined ? `String${list}` : `${column.__enumName}${list}`;
-    case "unsupported": {
-      const extensionTypeName = column.__config["extensionType"];
-      if (typeof extensionTypeName === "string") {
-        const rawArgs = column.__config["extensionArgs"];
-        const args = Array.isArray(rawArgs) ? rawArgs.map(String).join(", ") : "";
-        return `${extensionTypeName}${args.length > 0 ? `(${args})` : ""}${list}`;
-      }
-      return `Unsupported(${encodePrismaString({ value: String(column.__config.dbType) })})${list}`;
-    }
-  }
-}
-function idDefaultAttribute(params) {
-  const idType = params.column.__config.type;
-  switch (idType) {
+// packages/dsl/src/to-ir.ts
+var fieldType = columnFieldType;
+function idDefault(params) {
+  switch (params.column.__config.type) {
     case "ulid":
+      return { kind: "ulid" };
     case "cuid":
+      return { kind: "cuid" };
     case "uuid":
+      return { kind: "uuid" };
     case "nanoid":
+      return { kind: "nanoid" };
     case "autoincrement":
-      return `@default(${idType}())`;
+      return { kind: "autoincrement" };
     default:
       return;
   }
 }
-function defaultAttribute(params) {
+function fieldDefault(params) {
   const { column } = params;
-  const { dbgenerated, default: value } = column.__config;
-  if (typeof dbgenerated === "string") {
-    return `@default(dbgenerated(${encodePrismaString({ value: dbgenerated })}))`;
+  if (column.__columnType === "id") {
+    if (column.__config.default !== undefined || column.__config.dbgenerated !== undefined || column.__config.autoincrement !== undefined)
+      throw new VibeError4({ code: "VIBE_SCHEMA_INVALID", message: "Use the id generator strategy instead of a conflicting id default" });
+    return idDefault({ column });
+  }
+  const { dbgenerated, default: value, autoincrement } = column.__config;
+  if ([dbgenerated !== undefined, value !== undefined, autoincrement === true].filter(Boolean).length > 1) {
+    throw new VibeError4({ code: "VIBE_SCHEMA_INVALID", message: `Column "${column.__name ?? column.__columnType}" has conflicting defaults` });
+  }
+  if (autoincrement === true) {
+    if (column.__columnType !== "int" && column.__columnType !== "bigint" || column.__config.array === true || column.__config.optional === true) {
+      throw new VibeError4({ code: "VIBE_SCHEMA_INVALID", message: "autoincrement requires a required scalar Int or BigInt column" });
+    }
+    return { kind: "autoincrement" };
   }
+  if (typeof dbgenerated === "string")
+    return { kind: "dbgenerated", sql: dbgenerated };
   if (value === undefined)
     return;
-  if (column.__columnType === "datetime" && value === "now") {
-    return "@default(now())";
+  if (column.__config.array === true) {
+    if (!Array.isArray(value))
+      throw new VibeError4({ code: "VIBE_SCHEMA_INVALID", message: "A scalar-list default must be an array" });
+    return { kind: "list", values: scalarListDefault({ type: fieldType({ column }), values: column.__columnType === "json" ? value.map((entry) => typeof entry === "string" ? entry : serializeJsonDefault({ value: entry })) : value }) };
   }
+  if (column.__columnType === "json" && typeof value !== "string") {
+    return { kind: "literal", value: serializeJsonDefault({ value }) };
+  }
+  if (column.__columnType === "datetime" && value === "now")
+    return { kind: "now" };
   if (column.__columnType === "enum" && typeof value === "string") {
-    return `@default(${value})`;
+    return { kind: "enumValue", value };
+  }
+  if (typeof value === "number" && (!Number.isFinite(value) || (column.__columnType === "int" || column.__columnType === "bigint") && !Number.isSafeInteger(value))) {
+    throw new VibeError4({ code: "VIBE_SCHEMA_INVALID", message: "Numeric defaults must be finite; integer defaults must be exact" });
+  }
+  if (typeof value === "string" || typeof value === "boolean" || typeof value === "number") {
+    return { kind: "literal", value };
   }
-  if (typeof value === "string")
-    return `@default(${encodePrismaString({ value })})`;
-  if (typeof value === "boolean" || typeof value === "number")
-    return `@default(${value})`;
   if (typeof value === "bigint")
-    return `@default(${value.toString()})`;
-  return;
+    return { kind: "literal", value: exactIntegerLiteral({ text: value.toString() }) };
+  throw new VibeError4({ code: "VIBE_SCHEMA_INVALID", message: `Unsupported default for ${column.__columnType}` });
 }
-function nativeTypeAttribute(params) {
+function nativeType(params) {
   const { column } = params;
-  if (column.__columnType === "string") {
+  if (column.__columnType === "enum") {
+    const { maxLength, text } = column.__config;
+    if (maxLength !== undefined || text !== undefined) {
+      const invalid = column.__enumStorage !== "string" || maxLength !== undefined && (typeof maxLength !== "number" || !Number.isSafeInteger(maxLength) || maxLength <= 0) || text !== undefined && typeof text !== "boolean" || text === true && maxLength !== undefined;
+      if (invalid) {
+        throw new VibeError4({
+          code: "VIBE_SCHEMA_INVALID",
+          message: "Enum text/maxLength options require string storage and either a positive integer maxLength or text: true, not both",
+          meta: { issues: [{ rule: "enum-string-storage-options", enum: column.__enumName }] }
+        });
+      }
+    }
+  }
+  if (column.__columnType === "string" || column.__columnType === "enum" && column.__enumStorage === "string") {
     const { maxLength, text } = column.__config;
     if (typeof maxLength === "number")
-      return `@db.VarChar(${maxLength})`;
+      return `VarChar(${maxLength})`;
     if (text === true)
-      return "@db.Text";
+      return "Text";
     return;
   }
   if (column.__columnType === "decimal") {
     const { precision, scale } = column.__config;
     if (typeof precision === "number")
-      return `@db.Decimal(${precision}, ${scale ?? 0})`;
+      return `Decimal(${precision}, ${scale ?? 0})`;
     return;
   }
   if (column.__columnType === "datetime" && column.__config.tz === true) {
-    return "@db.Timestamptz";
-  }
-  return;
-}
-function formatColumn(params) {
-  const { name, column } = params;
-  const parts = [`  ${name} ${prismaType({ column })}${column.__config.optional === true ? "?" : ""}`];
-  if (column.__columnType === "id") {
-    parts.push("@id");
-    const idDefault = idDefaultAttribute({ column });
-    if (idDefault !== undefined)
-      parts.push(idDefault);
-  } else {
-    const columnDefault = defaultAttribute({ column });
-    if (columnDefault !== undefined)
-      parts.push(columnDefault);
-  }
-  if (column.__columnType === "datetime" && column.__config.updatedAt === true) {
-    parts.push("@updatedAt");
-  }
-  if (column.__config.unique === true) {
-    parts.push("@unique");
-  }
-  if (typeof column.__config.map === "string") {
-    parts.push(`@map(${encodePrismaString({ value: column.__config.map })})`);
-  }
-  const nativeType = nativeTypeAttribute({ column });
-  if (nativeType !== undefined)
-    parts.push(nativeType);
-  if (typeof column.__config.collation === "string") {
-    parts.push(`@collation(${encodePrismaString({ value: column.__config.collation })})`);
+    return "Timestamptz";
   }
-  const columnLine = parts.join(" ");
-  const comment = column.__config.comment;
-  if (typeof comment === "string") {
-    const commentLines = comment.split(`
-`).map((line) => `  /// ${line}`);
-    return [...commentLines, columnLine].join(`
-`);
+  if (column.__columnType === "unsupported") {
+    return String(column.__config.dbType);
   }
-  return columnLine;
+  return;
 }
-function formatRelation(params) {
-  const { relation } = params;
-  const { name, targetModel, relationName } = relation;
-  if (relation.kind === "list") {
+function buildField(params) {
+  const { name, column, extensionNativeType } = params;
+  const config = column.__config;
+  const isList = column.__columnType !== "id" && config.array === true;
+  const dbName = typeof config.map === "string" ? config.map : undefined;
+  const documentation = typeof config.comment === "string" ? config.comment : undefined;
+  const collation = typeof config.collation === "string" ? config.collation : undefined;
+  const defaultValue = fieldDefault({ column });
+  const native = extensionNativeType ?? nativeType({ column });
+  return {
+    name,
+    type: fieldType({ column }),
+    isList,
+    isOptional: config.optional === true,
+    isId: column.__columnType === "id",
+    isUnique: config.unique === true,
+    isUpdatedAt: column.__columnType === "datetime" && config.updatedAt === true,
+    ...collation === undefined ? {} : { collation },
+    ...dbName === undefined ? {} : { dbName },
+    ...defaultValue === undefined ? {} : { default: defaultValue },
+    ...native === undefined ? {} : { nativeType: native },
+    ...column.__columnType === "unsupported" ? { isUnsupported: true } : {},
+    ...documentation === undefined ? {} : { documentation }
+  };
+}
+function buildRelation(params) {
+  const { relation, plan } = params;
+  return {
+    name: relation.name,
+    model: relation.model,
+    targetModel: relation.targetModel,
+    type: resolveRelationType({ relation, plan }),
+    isList: relation.isList,
+    isOptional: relation.isOptional,
+    ...relation.relationName === undefined ? {} : { relationName: relation.relationName },
+    ...relation.constraintName === undefined ? {} : { constraintName: relation.constraintName },
+    ...relation.fields === undefined ? {} : { fields: [...relation.fields] },
+    ...relation.references === undefined ? {} : { references: [...relation.references] },
+    ...relation.onDelete === undefined ? {} : { onDelete: relation.onDelete },
+    ...relation.onUpdate === undefined ? {} : { onUpdate: relation.onUpdate }
+  };
+}
+var INDEX_KINDS = {
+  BTree: "btree",
+  Hash: "hash",
+  Gin: "gin",
+  Gist: "gist",
+  SpGist: "spgist",
+  Brin: "brin"
+};
+function buildIndex(params) {
+  const { index, model, dialect, enums } = params;
+  const kind = index.isUnique ? "unique" : index.indexType === undefined ? "btree" : INDEX_KINDS[index.indexType];
+  const predicate = compileIndexPredicate({
+    where: index.where,
+    wherePredicate: index.wherePredicate,
+    columns: index.columns,
+    model,
+    dialect,
+    enums
+  });
+  return {
+    kind,
+    fields: index.columns.map((name) => ({ name })),
+    ...index.map === undefined ? {} : { name: index.map },
+    ...predicate === undefined ? {} : { where: predicate.where },
+    ...predicate?.wherePredicate === undefined ? {} : { wherePredicate: predicate.wherePredicate },
+    ...index.nullsNotDistinct === true ? { nullsNotDistinct: true } : {},
+    ...index.clientName === undefined ? {} : { clientName: index.clientName }
+  };
+}
+function buildModel(params) {
+  const { model, plan, extensions, declarations, issues, dialect, enums } = params;
+  const primaryKey = model.__primaryKey !== undefined && model.__primaryKey.length > 0 ? { fields: [...model.__primaryKey] } : undefined;
+  const policy = model.__policy === undefined ? undefined : { field: model.__policy.field, context: model.__policy.context ?? model.__policy.field };
+  const fields = [];
+  for (const [name, column] of model.__columns) {
+    const extensionTypeName = column.__config["extensionType"];
+    if (typeof extensionTypeName !== "string") {
+      fields.push(buildField({ name, column }));
+      continue;
+    }
+    const registered = extensions.fieldTypes.get(extensionTypeName);
+    if (registered === undefined) {
+      issues.push({
+        rule: "extension-attribute",
+        message: `Field "${model.__name}.${name}" uses extension type "${extensionTypeName}" but no configured extension provides it`,
+        model: model.__name,
+        field: name
+      });
+      continue;
+    }
+    const rawArgs = column.__config["extensionArgs"];
+    const lowered = registered.fieldType.lower({
+      model: model.__name,
+      field: name,
+      args: Array.isArray(rawArgs) ? rawArgs.filter((entry) => typeof entry === "string" || typeof entry === "number") : []
+    });
+    if ("error" in lowered) {
+      issues.push({
+        rule: "extension-attribute",
+        message: `Field "${model.__name}.${name}": ${lowered.error}`,
+        model: model.__name,
+        field: name
+      });
+      continue;
+    }
+    fields.push(buildField({ name, column, extensionNativeType: lowered.nativeType }));
+    if (lowered.declaration !== undefined) {
+      declarations.add({
+        extension: registered.extension.name,
+        model: model.__name,
+        declaration: lowered.declaration
+      });
+    }
+  }
+  for (const use of model.__extensions ?? []) {
+    const registered = extensions.modelAttributes.get(use.attribute);
+    if (registered === undefined) {
+      issues.push({
+        rule: "unknown-attribute",
+        message: `Unknown block attribute "@@${use.attribute}" on model "${model.__name}" \u2014 no extension provides it`,
+        model: model.__name
+      });
+      continue;
+    }
+    const parsed = registered.attribute.parse({
+      model: model.__name,
+      args: {
+        named: { ...use.args ?? {} },
+        ...use.fields === undefined ? {} : { fields: use.fields }
+      },
+      fieldNames: fields.map((field) => field.name)
+    });
+    if ("error" in parsed) {
+      issues.push({
+        rule: "extension-attribute",
+        message: `@@${use.attribute} on "${model.__name}": ${parsed.error}`,
+        model: model.__name
+      });
+      continue;
+    }
+    declarations.add({
+      extension: registered.extension.name,
+      model: model.__name,
+      declaration: parsed.declaration
+    });
+  }
+  const predicateModel = { name: model.__name, fields };
+  const exclusions = compileExclusions({ exclusions: model.__exclusions, model: predicateModel, dialect });
+  const checks = compileChecks({ checks: model.__checks, model: predicateModel, dialect, enums });
+  return {
+    name: model.__name,
+    ...model.__map === undefined ? {} : { dbName: model.__map },
+    fields,
+    relations: (plan.relations.get(model.__name) ?? []).map((relation) => buildRelation({ relation, plan })),
+    indexes: (plan.indexes.get(model.__name) ?? []).map((index) => buildIndex({ index, model: predicateModel, dialect, enums })),
+    ...exclusions.length === 0 ? {} : { exclusions },
+    ...checks.length === 0 ? {} : { checks },
+    ...policy === undefined ? {} : { policy },
+    ...primaryKey === undefined ? {} : { primaryKey },
+    isView: false,
+    ...model.__comment === undefined ? {} : { documentation: model.__comment }
+  };
+}
+
+class ExtensionDeclarationCollector {
+  byExtension = new Map;
+  add(params) {
+    const perModel = this.byExtension.get(params.extension) ?? new Map;
+    this.byExtension.set(params.extension, perModel);
+    const existing = perModel.get(params.model) ?? {};
+    perModel.set(params.model, mergeExtensionDeclarations({ base: existing, next: params.declaration }));
+  }
+  toIR() {
+    return [...this.byExtension.entries()].sort(([a], [b]) => a < b ? -1 : a > b ? 1 : 0).map(([name, perModel]) => ({
+      name,
+      options: {
+        models: Object.fromEntries([...perModel.entries()].sort(([a], [b]) => a < b ? -1 : a > b ? 1 : 0))
+      }
+    }));
+  }
+}
+function toIR(params) {
+  const { schema, provider = "postgresql" } = params;
+  const extensions = params.extensions ?? EMPTY_EXTENSION_REGISTRY;
+  const plan = planSchema({ schema });
+  const declarations = new ExtensionDeclarationCollector;
+  const issues = [];
+  const enums = Array.from(schema.__enums, ([name, values]) => ({
+    name,
+    values: [...values],
+    ...schema.__enumStorage.get(name) === "string" ? { storage: "string" } : {}
+  }));
+  const dialect = getSqlDialect({ dialect: providerToDialect({ provider }) });
+  const models = Array.from(schema.__models.values(), (model) => {
+    const built = buildModel({ model, plan, extensions, declarations, issues, dialect, enums });
+    const rls = schema.__rls?.policies[model.__name];
+    return rls === undefined ? built : { ...built, rls };
+  });
+  if (schema.__rls !== undefined) {
+    for (const name of Object.keys(schema.__rls.policies)) {
+      if (!schema.__models.has(name)) {
+        issues.push({ rule: "rls-unknown-model", model: name, message: `RLS classification references model "${name}" absent from the composed schema` });
+      }
+    }
+  }
+  if (issues.length > 0) {
+    throw new VibeError4({
+      code: "VIBE_SCHEMA_INVALID",
+      message: `Schema validation failed with ${issues.length} issue(s): ${issues.map((issue) => issue.message).join("; ")}`,
+      meta: { issues }
+    });
+  }
+  const ir = {
+    datasource: { provider },
+    models,
+    enums,
+    extensions: declarations.toIR(),
+    ...schema.__rls === undefined ? {} : { rls: { context: schema.__rls.context } }
+  };
+  assertValidSchemaIR({ schema: ir });
+  return ir;
+}
+
+// packages/dsl/src/generator/prisma.ts
+function predicateModel(params) {
+  return {
+    name: params.model.__name,
+    fields: Array.from(params.model.__columns, ([name, column]) => buildField({ name, column }))
+  };
+}
+function prismaType(params) {
+  const { column } = params;
+  const list = column.__config.array === true ? "[]" : "";
+  switch (column.__columnType) {
+    case "string":
+      return `String${list}`;
+    case "int":
+      return `Int${list}`;
+    case "bigint":
+      return `BigInt${list}`;
+    case "float":
+      return `Float${list}`;
+    case "decimal":
+      return `Decimal${list}`;
+    case "boolean":
+      return `Boolean${list}`;
+    case "datetime":
+      return `DateTime${list}`;
+    case "json":
+      return `Json${list}`;
+    case "bytes":
+      return `Bytes${list}`;
+    case "id":
+      return column.__config.type === "autoincrement" ? "Int" : "String";
+    case "enum":
+      return column.__enumName === undefined ? `String${list}` : `${column.__enumName}${list}`;
+    case "unsupported": {
+      const extensionTypeName = column.__config["extensionType"];
+      if (typeof extensionTypeName === "string") {
+        const rawArgs = column.__config["extensionArgs"];
+        const args = Array.isArray(rawArgs) ? rawArgs.map(String).join(", ") : "";
+        return `${extensionTypeName}${args.length > 0 ? `(${args})` : ""}${list}`;
+      }
+      return `Unsupported(${encodePrismaString({ value: String(column.__config.dbType) })})${list}`;
+    }
+  }
+}
+function defaultAttribute(params) {
+  const { column } = params;
+  const value = fieldDefault({ column });
+  if (value === undefined)
+    return;
+  if (value.kind === "list") {
+    const values = value.values.map((entry) => column.__columnType === "enum" ? String(entry) : column.__columnType === "bigint" ? String(entry) : JSON.stringify(entry));
+    return `@default([${values.join(", ")}])`;
+  }
+  if (value.kind === "literal")
+    return `@default(${typeof value.value === "string" ? encodePrismaString({ value: value.value }) : String(value.value)})`;
+  if (value.kind === "enumValue")
+    return `@default(${value.value})`;
+  if (value.kind === "dbgenerated")
+    return `@default(dbgenerated(${encodePrismaString({ value: value.sql })}))`;
+  return `@default(${value.kind}())`;
+}
+function nativeTypeAttribute(params) {
+  const { column } = params;
+  if (column.__columnType === "string") {
+    const { maxLength, text } = column.__config;
+    if (typeof maxLength === "number")
+      return `@db.VarChar(${maxLength})`;
+    if (text === true)
+      return "@db.Text";
+    return;
+  }
+  if (column.__columnType === "decimal") {
+    const { precision, scale } = column.__config;
+    if (typeof precision === "number")
+      return `@db.Decimal(${precision}, ${scale ?? 0})`;
+    return;
+  }
+  if (column.__columnType === "datetime" && column.__config.tz === true) {
+    return "@db.Timestamptz";
+  }
+  return;
+}
+function formatColumn(params) {
+  const { name, column } = params;
+  const parts = [`  ${name} ${prismaType({ column })}${column.__config.optional === true ? "?" : ""}`];
+  if (column.__columnType === "id") {
+    parts.push("@id");
+    const idDefault2 = defaultAttribute({ column });
+    if (idDefault2 !== undefined)
+      parts.push(idDefault2);
+  } else {
+    const columnDefault = defaultAttribute({ column });
+    if (columnDefault !== undefined)
+      parts.push(columnDefault);
+  }
+  if (column.__columnType === "datetime" && column.__config.updatedAt === true) {
+    parts.push("@updatedAt");
+  }
+  if (column.__config.unique === true) {
+    parts.push("@unique");
+  }
+  if (typeof column.__config.map === "string") {
+    parts.push(`@map(${encodePrismaString({ value: column.__config.map })})`);
+  }
+  const nativeType2 = nativeTypeAttribute({ column });
+  if (nativeType2 !== undefined)
+    parts.push(nativeType2);
+  if (typeof column.__config.collation === "string") {
+    parts.push(`@collation(${encodePrismaString({ value: column.__config.collation })})`);
+  }
+  const columnLine = parts.join(" ");
+  const comment = column.__config.comment;
+  if (typeof comment === "string") {
+    const commentLines = comment.split(`
+`).map((line) => `  /// ${line}`);
+    return [...commentLines, columnLine].join(`
+`);
+  }
+  return columnLine;
+}
+function formatRelation(params) {
+  const { relation } = params;
+  const { name, targetModel, relationName } = relation;
+  if (relation.kind === "list") {
     const attribute = relationName === undefined ? "" : ` @relation(${encodePrismaString({ value: relationName })})`;
     return `  ${name} ${targetModel}[]${attribute}`;
   }
@@ -786,19 +1463,31 @@ function formatRelation(params) {
     args.push(`onDelete: ${relation.onDelete}`);
   if (relation.onUpdate !== undefined)
     args.push(`onUpdate: ${relation.onUpdate}`);
+  if (relation.constraintName !== undefined) {
+    args.push(`map: ${encodePrismaString({ value: relation.constraintName })}`);
+  }
   return `  ${name} ${targetModel}${optional} @relation(${args.join(", ")})`;
 }
 function formatIndex(params) {
   const { index } = params;
   const columns = index.columns.join(", ");
-  const whereArg = index.where === undefined ? "" : `, where: ${encodePrismaString({ value: index.where })}`;
+  const predicate = compileIndexPredicate({
+    where: index.where,
+    wherePredicate: index.wherePredicate,
+    columns: index.columns,
+    model: predicateModel({ model: params.model }),
+    dialect: params.dialect,
+    enums: params.enums
+  });
+  const whereArg = predicate === undefined ? "" : `, where: ${encodePrismaString({ value: predicate.where })}`;
+  const mapArg = index.map === undefined ? "" : `, map: ${encodePrismaString({ value: index.map })}`;
   const nndArg = index.nullsNotDistinct === true ? ", nullsNotDistinct: true" : "";
   const nameArg = index.clientName === undefined ? "" : `, name: ${encodePrismaString({ value: index.clientName })}`;
   if (index.isUnique) {
-    return `  @@unique([${columns}]${nameArg}${nndArg}${whereArg})`;
+    return `  @@unique([${columns}]${nameArg}${mapArg}${nndArg}${whereArg})`;
   }
   const typeArg = index.indexType === undefined ? "" : `, type: ${index.indexType}`;
-  return `  @@index([${columns}]${typeArg}${whereArg})`;
+  return `  @@index([${columns}]${typeArg}${mapArg}${whereArg})`;
 }
 function formatExtensionValue(params) {
   const { value } = params;
@@ -829,9 +1518,14 @@ function formatModel(params) {
   lines.push("  //> Indexes");
   lines.push("");
   for (const index of plan.indexes.get(model.__name) ?? []) {
-    lines.push(formatIndex({ index }));
-  }
-  for (const check of model.__checks ?? []) {
+    lines.push(formatIndex({ index, model: params.model, dialect: params.dialect, enums: params.enums }));
+  }
+  for (const check of compileChecks({
+    checks: model.__checks,
+    model: predicateModel({ model: params.model }),
+    dialect: params.dialect,
+    enums: params.enums
+  })) {
     lines.push(`  @@check(${encodePrismaString({ value: check.expression })}, name: ${encodePrismaString({ value: check.name })})`);
   }
   for (const use of model.__extensions ?? []) {
@@ -863,17 +1557,22 @@ function formatEnum(params) {
   return [`enum ${name} {`, ...values.map((value) => `  ${value}`), "}"].join(`
 `);
 }
-function generatePrisma(schema, _config = {}) {
+function generatePrisma(schema, config = {}) {
+  for (const model of schema.__models.values()) {
+    const exclusions = compileExclusions({ exclusions: model.__exclusions, model: { name: model.__name, fields: Array.from(model.__columns, ([name, column]) => buildField({ name, column })) }, dialect: getSqlDialect2({ dialect: providerToDialect2({ provider: config.provider ?? "postgresql" }) }) });
+    if (exclusions.length > 0)
+      throw new VibeError5({ code: "VIBE_CONFIG", message: "Prisma output cannot preserve exclusion constraints; keep the DSL source", meta: { feature: "exclusionConstraints", target: "prisma" } });
+  }
   const stringEnums = [...schema.__enumStorage].filter(([, storage]) => storage === "string").map(([name]) => name);
   if (stringEnums.length > 0) {
-    throw new VibeError({
+    throw new VibeError5({
       code: "VIBE_CONFIG",
       message: `Cannot print to Prisma: enum(s) ${stringEnums.join(", ")} use storage: "string", which .prisma cannot express losslessly. Keep the DSL as the source or switch the enum to database storage.`,
       meta: { enums: stringEnums, target: "prisma" }
     });
   }
   if (schema.__rls !== undefined) {
-    throw new VibeError({
+    throw new VibeError5({
       code: "VIBE_CONFIG",
       message: "Cannot print to Prisma: this schema uses native RLS, which .prisma cannot express losslessly. Keep the DSL as the source.",
       meta: { feature: "nativeRowLevelSecurity", target: "prisma" }
@@ -881,6 +1580,8 @@ function generatePrisma(schema, _config = {}) {
   }
   const plan = planSchema({ schema });
   const sections = [];
+  const dialect = getSqlDialect2({ dialect: providerToDialect2({ provider: config.provider ?? "postgresql" }) });
+  const enums = Array.from(schema.__enums, ([name, values]) => ({ name, values: [...values] }));
   if (schema.__enums.size > 0) {
     sections.push("// ============================================");
     sections.push("// Enums");
@@ -896,724 +1597,464 @@ function generatePrisma(schema, _config = {}) {
   sections.push("// ============================================");
   sections.push("");
   for (const model of schema.__models.values()) {
-    sections.push(formatModel({ model, plan }));
+    sections.push(formatModel({ model, plan, dialect, enums }));
     sections.push("");
   }
   return sections.join(`
 `).trim();
 }
-
-// packages/dsl/src/relations.ts
-function createColumnRef(params) {
-  const { model, column } = params;
-  return {
-    __type: "columnRef",
-    __model: model,
-    __column: column,
-    through(junction) {
-      return {
-        __type: "throughRef",
-        __model: model,
-        __column: column,
-        __junction: junction.__model,
-        __junctionColumn: junction.__column
-      };
-    }
-  };
-}
-function extractRefInfo(params) {
-  const { ref } = params;
-  return { model: ref.__model, column: ref.__column };
-}
-function createRelationFactory(params) {
-  const { relationType, targetModelName } = params;
-  return (config) => {
-    const from = extractRefInfo({ ref: config.from });
-    const to = extractRefInfo({ ref: config.to });
-    let throughJunction;
-    let throughFromCol;
-    let throughToCol;
-    if (config.from.__type === "throughRef") {
-      throughJunction = config.from.__junction;
-      throughFromCol = config.from.__junctionColumn;
-    }
-    if (config.to.__type === "throughRef") {
-      throughJunction = throughJunction ?? config.to.__junction;
-      throughToCol = config.to.__junctionColumn;
-    }
-    return {
-      __type: "storedRelation",
-      __relationType: relationType,
-      __targetModel: targetModelName,
-      __fromModel: from.model,
-      __fromColumn: from.column,
-      __toModel: to.model,
-      __toColumn: to.column,
-      __throughJunction: throughJunction,
-      __throughFromCol: throughFromCol,
-      __throughToCol: throughToCol,
-      __optional: config.optional ?? relationType === "many",
-      __alias: config.alias,
-      __onDelete: config.onDelete,
-      __onUpdate: config.onUpdate
-    };
-  };
-}
-function createRelationsBuilder(params) {
-  const { models } = params;
-  const builder = {};
-  const oneObj = {};
-  const manyObj = {};
-  for (const modelName of Object.keys(models)) {
-    oneObj[modelName] = createRelationFactory({ relationType: "one", targetModelName: modelName });
-    manyObj[modelName] = createRelationFactory({
-      relationType: "many",
-      targetModelName: modelName
-    });
-    const model = models[modelName];
-    if (model === undefined)
-      continue;
-    const columnRefs = {};
-    for (const columnName of model.__columns.keys()) {
-      columnRefs[columnName] = createColumnRef({ model: modelName, column: columnName });
-    }
-    builder[modelName] = columnRefs;
-  }
-  builder.one = oneObj;
-  builder.many = manyObj;
-  return builder;
-}
-function processRelationsOutput(params) {
-  const result = {};
-  for (const [modelName, relations] of Object.entries(params.output)) {
-    if (relations) {
-      result[modelName] = relations;
-    }
-  }
-  return result;
-}
-function defineRelations(models, callback) {
-  const builder = createRelationsBuilder({ models });
-  return processRelationsOutput({ output: callback(builder) });
-}
-function defineRelationsPart(models, callback) {
-  const builder = createRelationsBuilder({ models });
-  return processRelationsOutput({ output: callback(builder) });
-}
-function mergeRelations(...parts) {
-  const result = {};
-  for (const part of parts) {
-    for (const [modelName, relations] of Object.entries(part)) {
-      const existing = result[modelName] ?? {};
-      result[modelName] = { ...existing, ...relations };
-    }
-  }
-  return result;
-}
-
-// packages/dsl/src/schema.ts
-import { VibeError as VibeError2, validateRlsContextIR } from "@vibeorm/schema";
-function sameValues(left, right) {
-  return left.length === right.length && left.every((value, index) => value === right[index]);
-}
-function registerEnum(params) {
-  const { registry, name, entry, origin } = params;
-  const existing = registry.get(name);
-  if (existing === undefined) {
-    registry.set(name, entry);
-    return;
-  }
-  const valuesDiffer = !sameValues(existing.values, entry.values);
-  const storageDiffers = existing.storage !== entry.storage;
-  if (!valuesDiffer && !storageDiffers)
-    return;
-  const detail = [
-    ...valuesDiffer ? [`values [${existing.values.join(", ")}] vs [${entry.values.join(", ")}]`] : [],
-    ...storageDiffers ? [`storage "${existing.storage}" vs "${entry.storage}"`] : []
-  ].join("; ");
-  throw new VibeError2({
-    code: "VIBE_SCHEMA_INVALID",
-    message: `Enum "${name}" is defined more than once with conflicting definitions (${origin}): ${detail} \u2014 share one enum object across modules, or give the definitions different names`,
-    meta: {
-      issues: [
-        {
-          rule: "enum-conflict",
-          message: `Enum "${name}" reused with conflicting ${valuesDiffer ? "values" : "storage"} (${origin})`
-        }
-      ],
-      enum: name,
-      existing,
-      incoming: entry
-    }
-  });
-}
-function isModelDef(value) {
-  return typeof value === "object" && value !== null && "__type" in value && value.__type === "model";
-}
-function isEnumDef(value) {
-  return typeof value === "object" && value !== null && "__type" in value && value.__type === "enum";
-}
-function addModelTree(params) {
-  const { model, models, origin } = params;
-  const existing = models.get(model.__name);
-  if (existing !== undefined && existing !== model) {
-    throw new VibeError2({
-      code: "VIBE_SCHEMA_INVALID",
-      message: `Model "${model.__name}" is defined more than once with different definitions (${origin}) \u2014 ` + `share one model object across modules, or give the definitions different names`,
-      meta: {
-        issues: [
-          {
-            rule: "model-conflict",
-            message: `Model "${model.__name}" reused with a different definition (${origin})`,
-            model: model.__name
-          }
-        ],
-        model: model.__name
-      }
-    });
-  }
-  models.set(model.__name, model);
-  for (const childModel of model.__children.values()) {
-    addModelTree({ model: childModel, models, origin: `inline child of ${model.__name}` });
-  }
-}
-function extractModelsAndEnums(params) {
-  const { input, models, enums } = params;
-  for (const value of Object.values(input)) {
-    if (isModelDef(value)) {
-      addModelTree({ model: value, models, origin: "listed in dsl.schema()" });
-    } else if (isEnumDef(value)) {
-      registerEnum({
-        registry: enums,
-        name: value.__name,
-        entry: { values: value.__options, storage: value.__storage },
-        origin: "standalone enum listed in dsl.schema()"
-      });
-    } else if (typeof value === "object" && value !== null) {
-      extractModelsAndEnums({ input: value, models, enums });
-    }
-  }
-}
-function resolveEnums(params) {
-  const { models, enums } = params;
-  for (const [modelName, model] of models) {
-    for (const [columnName, column] of model.__columns) {
-      if (column.__columnType !== "enum" || column.__enumValues === undefined)
-        continue;
-      const entry = {
-        values: column.__enumValues,
-        storage: column.__enumStorage ?? "database"
-      };
-      if (column.__enumName !== undefined) {
-        registerEnum({
-          registry: enums,
-          name: column.__enumName,
-          entry,
-          origin: `standalone enum used by ${modelName}.${columnName}`
-        });
-        continue;
-      }
-      const name = inlineEnumName({ modelName, columnName });
-      registerEnum({
-        registry: enums,
-        name,
-        entry,
-        origin: `inline enum on ${modelName}.${columnName}, named ${name}`
-      });
-      column.__enumName = name;
-    }
-  }
-}
-var RLS_CONTEXT_TYPES = {
+
+// packages/dsl/src/relations.ts
+import { VibeError as VibeError6 } from "@vibeorm/schema";
+var REF_KIND_BY_COLUMN_TYPE = {
   string: "String",
-  boolean: "Boolean",
   int: "Int",
   bigint: "BigInt",
   float: "Float",
   decimal: "Decimal",
-  datetime: "DateTime"
+  boolean: "Boolean",
+  datetime: "DateTime",
+  json: "Json",
+  bytes: "Bytes",
+  id: "Id",
+  enum: "Enum",
+  unsupported: "Unsupported"
 };
-function defineRls(params) {
-  if (typeof params.context !== "object" || params.context === null || Array.isArray(params.context)) {
-    throw new VibeError2({ code: "VIBE_SCHEMA_INVALID", message: "RLS context must be a record of scalar declarations", meta: { issues: [{ rule: "rls-invalid-context" }] } });
-  }
-  const entries = [];
-  const refs = [];
-  for (const key of Reflect.ownKeys(params.context)) {
-    const descriptor = Object.getOwnPropertyDescriptor(params.context, key);
-    const column = descriptor?.value;
-    if (typeof key !== "string" || descriptor?.enumerable !== true || typeof column !== "object" || column === null || !("__columnType" in column) || !("__config" in column) || typeof column.__config !== "object" || column.__config === null || typeof column.__columnType !== "string" || !Object.hasOwn(RLS_CONTEXT_TYPES, column.__columnType) || "array" in column.__config && column.__config.array === true) {
-      throw new VibeError2({ code: "VIBE_SCHEMA_INVALID", message: "RLS context slots must be named scalar column declarations", meta: { issues: [{ rule: "rls-invalid-context" }] } });
+function createColumnRef(params) {
+  const { model, column, kind } = params;
+  return {
+    __type: "columnRef",
+    __model: model,
+    __column: column,
+    __kind: kind,
+    through(junction) {
+      return {
+        __type: "throughRef",
+        __model: model,
+        __column: column,
+        __junction: junction.__model,
+        __junctionColumn: junction.__column
+      };
     }
-    entries.push([key, { type: RLS_CONTEXT_TYPES[column.__columnType], nullable: "optional" in column.__config && column.__config.optional === true }]);
-    refs.push([key, Object.freeze({ context: key })]);
+  };
+}
+function extractRefInfo(params) {
+  const { ref, side, target } = params;
+  if (!Array.isArray(ref)) {
+    const single = ref;
+    return { model: single.__model, columns: [single.__column] };
+  }
+  const members = ref;
+  if (members.length === 0) {
+    throw new VibeError6({
+      code: "VIBE_SCHEMA_INVALID",
+      message: `Relation to ${target}: "${side}" is an empty tuple \u2014 name at least one column`,
+      meta: { rule: "relation-empty-tuple", side, targetModel: target }
+    });
   }
-  const context = Object.freeze(Object.fromEntries(entries));
-  const issues = validateRlsContextIR({ context });
-  if (issues.length > 0) {
-    throw new VibeError2({ code: "VIBE_SCHEMA_INVALID", message: "Invalid RLS context declaration", meta: { issues } });
+  const models = [...new Set(members.map((member) => member.__model))].sort();
+  if (models.length > 1) {
+    throw new VibeError6({
+      code: "VIBE_SCHEMA_INVALID",
+      message: `Relation to ${target}: "${side}" mixes models ${models.join(", ")} \u2014 every member of a composite key must sit on one model`,
+      meta: { rule: "relation-mixed-models", side, targetModel: target, models }
+    });
   }
-  const policies = params.policies({ context: Object.freeze(Object.fromEntries(refs)) });
-  if (typeof policies !== "object" || policies === null || Array.isArray(policies)) {
-    throw new VibeError2({ code: "VIBE_SCHEMA_INVALID", message: "RLS policies must be a record of model classifications", meta: { issues: [{ rule: "rls-invalid-rule" }] } });
+  if (members.some((member) => member.__type !== "columnRef")) {
+    throw new VibeError6({
+      code: "VIBE_SCHEMA_INVALID",
+      message: `Relation to ${target}: "${side}" routes through a junction inside a tuple \u2014 implicit many-to-many is single-key; model the join with an explicit junction model`,
+      meta: { rule: "relation-through-in-tuple", side, targetModel: target }
+    });
   }
-  const named = [];
-  const classified = new Set;
-  for (const key of Reflect.ownKeys(policies)) {
-    const descriptor = Object.getOwnPropertyDescriptor(policies, key);
-    if (typeof key !== "string" || descriptor?.enumerable !== true || !("value" in descriptor)) {
-      throw new VibeError2({ code: "VIBE_SCHEMA_INVALID", message: "RLS policies must be named data properties", meta: { issues: [{ rule: "rls-invalid-rule" }] } });
+  return { model: members[0].__model, columns: members.map((member) => member.__column) };
+}
+function createRelationFactory(params) {
+  const { relationType, targetModelName } = params;
+  return (config) => {
+    const from = extractRefInfo({ ref: config.from, side: "from", target: targetModelName });
+    const to = extractRefInfo({ ref: config.to, side: "to", target: targetModelName });
+    if (from.columns.length !== to.columns.length) {
+      throw new VibeError6({
+        code: "VIBE_SCHEMA_INVALID",
+        message: `Relation to ${targetModelName}: "from" names ${from.columns.length} column(s) but "to" names ${to.columns.length} \u2014 a composite key pairs member by member`,
+        meta: { rule: "relation-tuple-arity", targetModel: targetModelName, from: from.columns, to: to.columns }
+      });
     }
-    const name = params.models[key]?.__name ?? key;
-    if (classified.has(name)) {
-      throw new VibeError2({ code: "VIBE_SCHEMA_INVALID", message: `RLS classifies model "${name}" more than once`, meta: { issues: [{ rule: "rls-duplicate-classification", model: name }] } });
+    let throughJunction;
+    let throughFromCol;
+    let throughToCol;
+    const fromRef = Array.isArray(config.from) ? undefined : config.from;
+    const toRef2 = Array.isArray(config.to) ? undefined : config.to;
+    if (fromRef?.__type === "throughRef") {
+      throughJunction = fromRef.__junction;
+      throughFromCol = fromRef.__junctionColumn;
     }
-    classified.add(name);
-    named.push([name, descriptor.value]);
-  }
-  return { context, policies: Object.fromEntries(named) };
-}
-function schema(input, options) {
-  const models = new Map;
-  const enums = new Map;
-  extractModelsAndEnums({ input, models, enums });
-  resolveEnums({ models, enums });
-  return {
-    __type: "schema",
-    __models: models,
-    __enums: new Map(Array.from(enums, ([name, entry]) => [name, entry.values])),
-    __enumStorage: new Map(Array.from(enums, ([name, entry]) => [name, entry.storage])),
-    __relations: options?.relations ?? {},
-    ...options?.rls === undefined ? {} : { __rls: options.rls }
+    if (toRef2?.__type === "throughRef") {
+      throughJunction = throughJunction ?? toRef2.__junction;
+      throughToCol = toRef2.__junctionColumn;
+    }
+    return {
+      __type: "storedRelation",
+      __relationType: relationType,
+      __targetModel: targetModelName,
+      __fromModel: from.model,
+      __fromColumn: from.columns[0],
+      __fromColumns: from.columns,
+      __toModel: to.model,
+      __toColumn: to.columns[0],
+      __toColumns: to.columns,
+      __throughJunction: throughJunction,
+      __throughFromCol: throughFromCol,
+      __throughToCol: throughToCol,
+      __optional: config.optional ?? relationType === "many",
+      __alias: config.alias,
+      ...config.constraintName === undefined ? {} : { __constraintName: config.constraintName },
+      ..."ownsForeignKey" in config ? { __ownsForeignKey: config.ownsForeignKey } : {},
+      __onDelete: config.onDelete,
+      __onUpdate: config.onUpdate
+    };
   };
 }
-function domain(params) {
-  const { name, models } = params;
-  return { name, models };
-}
-
-// packages/dsl/src/templates.ts
-var base = {
-  get id() {
-    return id({ type: "ulid" });
-  },
-  get createdAt() {
-    return datetime({ default: "now", tz: true, index: true });
-  },
-  get updatedAt() {
-    return datetime({ default: "now", updatedAt: true, tz: true, index: true });
-  },
-  get deletedAt() {
-    return datetime({ optional: true, index: true });
-  }
-};
-var baseWithWorkspace = {
-  get id() {
-    return id({ type: "ulid" });
-  },
-  get createdAt() {
-    return datetime({ default: "now", tz: true, index: true });
-  },
-  get updatedAt() {
-    return datetime({ default: "now", updatedAt: true, tz: true, index: true });
-  },
-  get deletedAt() {
-    return datetime({ optional: true, index: true });
-  },
-  get workspaceId() {
-    return string({ index: true });
-  }
-};
-var withMetadata = {
-  get metadata() {
-    return json({ optional: true });
-  },
-  get settings() {
-    return json({ optional: true });
-  }
-};
-var withActive = {
-  get isActive() {
-    return boolean({ default: true });
-  }
-};
-var withAudit = {
-  get createdById() {
-    return string({ optional: true, index: true });
-  },
-  get updatedById() {
-    return string({ optional: true, index: true });
-  }
-};
-var withExternalId = {
-  get externalId() {
-    return string({ index: true });
-  }
-};
-var withNameDescription = {
-  get name() {
-    return string();
-  },
-  get description() {
-    return string({ optional: true });
-  }
-};
-var fields = {
-  get datetime() {
-    return datetime({ default: "now", updatedAt: true, tz: true, index: true });
-  },
-  get id() {
-    return id({ type: "ulid" });
-  },
-  get title() {
-    return string();
-  },
-  get description() {
-    return string({ optional: true });
-  },
-  get externalId() {
-    return string({ index: true });
-  },
-  get metadata() {
-    return json({ optional: true });
-  },
-  get settings() {
-    return json({ optional: true });
-  },
-  get isActive() {
-    return boolean({ default: true });
-  }
-};
-var templates = {
-  base,
-  baseWithWorkspace,
-  withMetadata,
-  withActive,
-  withAudit,
-  withExternalId,
-  withNameDescription,
-  fields
-};
-
-// packages/dsl/src/to-ir.ts
-import {
-  EMPTY_EXTENSION_REGISTRY,
-  VibeError as VibeError3,
-  assertValidSchemaIR,
-  exactIntegerLiteral,
-  mergeExtensionDeclarations
-} from "@vibeorm/schema";
-function fieldType(params) {
-  const { column } = params;
-  switch (column.__columnType) {
-    case "string":
-      return "String";
-    case "int":
-      return "Int";
-    case "bigint":
-      return "BigInt";
-    case "float":
-      return "Float";
-    case "decimal":
-      return "Decimal";
-    case "boolean":
-      return "Boolean";
-    case "datetime":
-      return "DateTime";
-    case "json":
-      return "Json";
-    case "bytes":
-      return "Bytes";
-    case "id":
-      return column.__config.type === "autoincrement" ? "Int" : "String";
-    case "enum":
-      return column.__enumName === undefined ? "String" : { enum: column.__enumName };
-    case "unsupported":
-      return "String";
-  }
-}
-function idDefault(params) {
-  switch (params.column.__config.type) {
-    case "ulid":
-      return { kind: "ulid" };
-    case "cuid":
-      return { kind: "cuid" };
-    case "uuid":
-      return { kind: "uuid" };
-    case "nanoid":
-      return { kind: "nanoid" };
-    case "autoincrement":
-      return { kind: "autoincrement" };
-    default:
-      return;
+function createRelationsBuilder(params) {
+  const { models } = params;
+  const builder = {};
+  const oneObj = {};
+  const manyObj = {};
+  for (const modelName of Object.keys(models)) {
+    oneObj[modelName] = createRelationFactory({ relationType: "one", targetModelName: modelName });
+    manyObj[modelName] = createRelationFactory({
+      relationType: "many",
+      targetModelName: modelName
+    });
+    const model = models[modelName];
+    if (model === undefined)
+      continue;
+    const columnRefs = {};
+    for (const [columnName, column] of model.__columns) {
+      columnRefs[columnName] = createColumnRef({
+        model: modelName,
+        column: columnName,
+        kind: REF_KIND_BY_COLUMN_TYPE[column.__columnType]
+      });
+    }
+    builder[modelName] = columnRefs;
   }
+  builder.one = oneObj;
+  builder.many = manyObj;
+  return builder;
 }
-function fieldDefault(params) {
-  const { column } = params;
-  if (column.__columnType === "id")
-    return idDefault({ column });
-  const { dbgenerated, default: value } = column.__config;
-  if (typeof dbgenerated === "string")
-    return { kind: "dbgenerated", sql: dbgenerated };
-  if (value === undefined)
-    return;
-  if (column.__columnType === "datetime" && value === "now")
-    return { kind: "now" };
-  if (column.__columnType === "enum" && typeof value === "string") {
-    return { kind: "enumValue", value };
-  }
-  if (typeof value === "string" || typeof value === "boolean" || typeof value === "number") {
-    return { kind: "literal", value };
+function processRelationsOutput(params) {
+  const result = {};
+  for (const [modelName, relations] of Object.entries(params.output)) {
+    if (relations) {
+      result[modelName] = relations;
+    }
   }
-  if (typeof value === "bigint")
-    return { kind: "literal", value: exactIntegerLiteral({ text: value.toString() }) };
-  return;
+  return result;
 }
-function nativeType(params) {
-  const { column } = params;
-  if (column.__columnType === "enum") {
-    const { maxLength, text } = column.__config;
-    if (maxLength !== undefined || text !== undefined) {
-      const invalid = column.__enumStorage !== "string" || maxLength !== undefined && (typeof maxLength !== "number" || !Number.isSafeInteger(maxLength) || maxLength <= 0) || text !== undefined && typeof text !== "boolean" || text === true && maxLength !== undefined;
-      if (invalid) {
-        throw new VibeError3({
-          code: "VIBE_SCHEMA_INVALID",
-          message: "Enum text/maxLength options require string storage and either a positive integer maxLength or text: true, not both",
-          meta: { issues: [{ rule: "enum-string-storage-options", enum: column.__enumName }] }
-        });
-      }
+function defineRelations(models, callback) {
+  const builder = createRelationsBuilder({ models });
+  return processRelationsOutput({ output: callback(builder) });
+}
+function defineRelationsPart(models, callback) {
+  const builder = createRelationsBuilder({ models });
+  return processRelationsOutput({ output: callback(builder) });
+}
+function mergeRelations(...parts) {
+  const result = {};
+  for (const part of parts) {
+    for (const [modelName, relations] of Object.entries(part)) {
+      const existing = result[modelName] ?? {};
+      result[modelName] = { ...existing, ...relations };
     }
   }
-  if (column.__columnType === "string" || column.__columnType === "enum" && column.__enumStorage === "string") {
-    const { maxLength, text } = column.__config;
-    if (typeof maxLength === "number")
-      return `VarChar(${maxLength})`;
-    if (text === true)
-      return "Text";
+  return result;
+}
+
+// packages/dsl/src/schema.ts
+import { VibeError as VibeError7, validateRlsContextIR } from "@vibeorm/schema";
+function sameValues(left, right) {
+  return left.length === right.length && left.every((value, index) => value === right[index]);
+}
+function registerEnum(params) {
+  const { registry, name, entry, origin } = params;
+  const existing = registry.get(name);
+  if (existing === undefined) {
+    registry.set(name, entry);
     return;
   }
-  if (column.__columnType === "decimal") {
-    const { precision, scale } = column.__config;
-    if (typeof precision === "number")
-      return `Decimal(${precision}, ${scale ?? 0})`;
+  const valuesDiffer = !sameValues(existing.values, entry.values);
+  const storageDiffers = existing.storage !== entry.storage;
+  if (!valuesDiffer && !storageDiffers)
     return;
-  }
-  if (column.__columnType === "datetime" && column.__config.tz === true) {
-    return "Timestamptz";
-  }
-  if (column.__columnType === "unsupported") {
-    return String(column.__config.dbType);
-  }
-  return;
+  const detail = [
+    ...valuesDiffer ? [`values [${existing.values.join(", ")}] vs [${entry.values.join(", ")}]`] : [],
+    ...storageDiffers ? [`storage "${existing.storage}" vs "${entry.storage}"`] : []
+  ].join("; ");
+  throw new VibeError7({
+    code: "VIBE_SCHEMA_INVALID",
+    message: `Enum "${name}" is defined more than once with conflicting definitions (${origin}): ${detail} \u2014 share one enum object across modules, or give the definitions different names`,
+    meta: {
+      issues: [
+        {
+          rule: "enum-conflict",
+          message: `Enum "${name}" reused with conflicting ${valuesDiffer ? "values" : "storage"} (${origin})`
+        }
+      ],
+      enum: name,
+      existing,
+      incoming: entry
+    }
+  });
 }
-function buildField(params) {
-  const { name, column, extensionNativeType } = params;
-  const config = column.__config;
-  const isList = column.__columnType !== "id" && config.array === true;
-  const dbName = typeof config.map === "string" ? config.map : undefined;
-  const documentation = typeof config.comment === "string" ? config.comment : undefined;
-  const collation = typeof config.collation === "string" ? config.collation : undefined;
-  const defaultValue = fieldDefault({ column });
-  const native = extensionNativeType ?? nativeType({ column });
-  return {
-    name,
-    type: fieldType({ column }),
-    isList,
-    isOptional: config.optional === true,
-    isId: column.__columnType === "id",
-    isUnique: config.unique === true,
-    isUpdatedAt: column.__columnType === "datetime" && config.updatedAt === true,
-    ...collation === undefined ? {} : { collation },
-    ...dbName === undefined ? {} : { dbName },
-    ...defaultValue === undefined ? {} : { default: defaultValue },
-    ...native === undefined ? {} : { nativeType: native },
-    ...column.__columnType === "unsupported" ? { isUnsupported: true } : {},
-    ...documentation === undefined ? {} : { documentation }
-  };
+function isModelDef(value) {
+  return typeof value === "object" && value !== null && "__type" in value && value.__type === "model";
 }
-function buildRelation(params) {
-  const { relation, plan } = params;
-  return {
-    name: relation.name,
-    model: relation.model,
-    targetModel: relation.targetModel,
-    type: resolveRelationType({ relation, plan }),
-    isList: relation.isList,
-    isOptional: relation.isOptional,
-    ...relation.relationName === undefined ? {} : { relationName: relation.relationName },
-    ...relation.fields === undefined ? {} : { fields: [...relation.fields] },
-    ...relation.references === undefined ? {} : { references: [...relation.references] },
-    ...relation.onDelete === undefined ? {} : { onDelete: relation.onDelete },
-    ...relation.onUpdate === undefined ? {} : { onUpdate: relation.onUpdate }
-  };
+function isEnumDef(value) {
+  return typeof value === "object" && value !== null && "__type" in value && value.__type === "enum";
 }
-var INDEX_KINDS = {
-  BTree: "btree",
-  Hash: "hash",
-  Gin: "gin",
-  Gist: "gist",
-  SpGist: "spgist",
-  Brin: "brin"
-};
-function buildIndex(params) {
-  const { index } = params;
-  const kind = index.isUnique ? "unique" : index.indexType === undefined ? "btree" : INDEX_KINDS[index.indexType];
-  return {
-    kind,
-    fields: index.columns.map((name) => ({ name })),
-    ...index.where === undefined ? {} : { where: index.where },
-    ...index.nullsNotDistinct === true ? { nullsNotDistinct: true } : {},
-    ...index.clientName === undefined ? {} : { clientName: index.clientName }
-  };
+function addModelTree(params) {
+  const { model, models, origin } = params;
+  const existing = models.get(model.__name);
+  if (existing !== undefined && existing !== model) {
+    throw new VibeError7({
+      code: "VIBE_SCHEMA_INVALID",
+      message: `Model "${model.__name}" is defined more than once with different definitions (${origin}) \u2014 ` + `share one model object across modules, or give the definitions different names`,
+      meta: {
+        issues: [
+          {
+            rule: "model-conflict",
+            message: `Model "${model.__name}" reused with a different definition (${origin})`,
+            model: model.__name
+          }
+        ],
+        model: model.__name
+      }
+    });
+  }
+  models.set(model.__name, model);
+  for (const childModel of model.__children.values()) {
+    addModelTree({ model: childModel, models, origin: `inline child of ${model.__name}` });
+  }
 }
-function buildModel(params) {
-  const { model, plan, extensions, declarations, issues } = params;
-  const primaryKey = model.__primaryKey !== undefined && model.__primaryKey.length > 0 ? { fields: [...model.__primaryKey] } : undefined;
-  const policy = model.__policy === undefined ? undefined : { field: model.__policy.field, context: model.__policy.context ?? model.__policy.field };
-  const fields2 = [];
-  for (const [name, column] of model.__columns) {
-    const extensionTypeName = column.__config["extensionType"];
-    if (typeof extensionTypeName !== "string") {
-      fields2.push(buildField({ name, column }));
-      continue;
-    }
-    const registered = extensions.fieldTypes.get(extensionTypeName);
-    if (registered === undefined) {
-      issues.push({
-        rule: "extension-attribute",
-        message: `Field "${model.__name}.${name}" uses extension type "${extensionTypeName}" but no configured extension provides it`,
-        model: model.__name,
-        field: name
+function extractModelsAndEnums(params) {
+  const { input, models, enums } = params;
+  for (const value of Object.values(input)) {
+    if (isModelDef(value)) {
+      addModelTree({ model: value, models, origin: "listed in dsl.schema()" });
+    } else if (isEnumDef(value)) {
+      registerEnum({
+        registry: enums,
+        name: value.__name,
+        entry: { values: value.__options, storage: value.__storage },
+        origin: "standalone enum listed in dsl.schema()"
       });
-      continue;
+    } else if (typeof value === "object" && value !== null) {
+      extractModelsAndEnums({ input: value, models, enums });
     }
-    const rawArgs = column.__config["extensionArgs"];
-    const lowered = registered.fieldType.lower({
-      model: model.__name,
-      field: name,
-      args: Array.isArray(rawArgs) ? rawArgs.filter((entry) => typeof entry === "string" || typeof entry === "number") : []
-    });
-    if ("error" in lowered) {
-      issues.push({
-        rule: "extension-attribute",
-        message: `Field "${model.__name}.${name}": ${lowered.error}`,
-        model: model.__name,
-        field: name
+  }
+}
+function resolveEnums(params) {
+  const { models, enums } = params;
+  for (const [modelName, model] of models) {
+    for (const [columnName, column] of model.__columns) {
+      if (column.__columnType !== "enum" || column.__enumValues === undefined)
+        continue;
+      const entry = {
+        values: column.__enumValues,
+        storage: column.__enumStorage ?? "database"
+      };
+      if (column.__enumName !== undefined) {
+        registerEnum({
+          registry: enums,
+          name: column.__enumName,
+          entry,
+          origin: `standalone enum used by ${modelName}.${columnName}`
+        });
+        continue;
+      }
+      const name = inlineEnumName({ modelName, columnName });
+      registerEnum({
+        registry: enums,
+        name,
+        entry,
+        origin: `inline enum on ${modelName}.${columnName}, named ${name}`
       });
-      continue;
+      column.__enumName = name;
     }
-    fields2.push(buildField({ name, column, extensionNativeType: lowered.nativeType }));
-    if (lowered.declaration !== undefined) {
-      declarations.add({
-        extension: registered.extension.name,
-        model: model.__name,
-        declaration: lowered.declaration
-      });
+  }
+}
+var RLS_CONTEXT_TYPES = {
+  string: "String",
+  boolean: "Boolean",
+  int: "Int",
+  bigint: "BigInt",
+  float: "Float",
+  decimal: "Decimal",
+  datetime: "DateTime"
+};
+function defineRls(params) {
+  if (typeof params.context !== "object" || params.context === null || Array.isArray(params.context)) {
+    throw new VibeError7({ code: "VIBE_SCHEMA_INVALID", message: "RLS context must be a record of scalar declarations", meta: { issues: [{ rule: "rls-invalid-context" }] } });
+  }
+  const entries = [];
+  const refs = [];
+  for (const key of Reflect.ownKeys(params.context)) {
+    const descriptor = Object.getOwnPropertyDescriptor(params.context, key);
+    const column = descriptor?.value;
+    if (typeof key !== "string" || descriptor?.enumerable !== true || typeof column !== "object" || column === null || !("__columnType" in column) || !("__config" in column) || typeof column.__config !== "object" || column.__config === null || typeof column.__columnType !== "string" || !Object.hasOwn(RLS_CONTEXT_TYPES, column.__columnType) || "array" in column.__config && column.__config.array === true) {
+      throw new VibeError7({ code: "VIBE_SCHEMA_INVALID", message: "RLS context slots must be named scalar column declarations", meta: { issues: [{ rule: "rls-invalid-context" }] } });
     }
+    entries.push([key, { type: RLS_CONTEXT_TYPES[column.__columnType], nullable: "optional" in column.__config && column.__config.optional === true }]);
+    refs.push([key, Object.freeze({ context: key })]);
   }
-  for (const use of model.__extensions ?? []) {
-    const registered = extensions.modelAttributes.get(use.attribute);
-    if (registered === undefined) {
-      issues.push({
-        rule: "unknown-attribute",
-        message: `Unknown block attribute "@@${use.attribute}" on model "${model.__name}" \u2014 no extension provides it`,
-        model: model.__name
-      });
-      continue;
+  const context = Object.freeze(Object.fromEntries(entries));
+  const issues = validateRlsContextIR({ context });
+  if (issues.length > 0) {
+    throw new VibeError7({ code: "VIBE_SCHEMA_INVALID", message: "Invalid RLS context declaration", meta: { issues } });
+  }
+  const policies = params.policies({ context: Object.freeze(Object.fromEntries(refs)) });
+  if (typeof policies !== "object" || policies === null || Array.isArray(policies)) {
+    throw new VibeError7({ code: "VIBE_SCHEMA_INVALID", message: "RLS policies must be a record of model classifications", meta: { issues: [{ rule: "rls-invalid-rule" }] } });
+  }
+  const named = [];
+  const classified = new Set;
+  for (const key of Reflect.ownKeys(policies)) {
+    const descriptor = Object.getOwnPropertyDescriptor(policies, key);
+    if (typeof key !== "string" || descriptor?.enumerable !== true || !("value" in descriptor)) {
+      throw new VibeError7({ code: "VIBE_SCHEMA_INVALID", message: "RLS policies must be named data properties", meta: { issues: [{ rule: "rls-invalid-rule" }] } });
     }
-    const parsed = registered.attribute.parse({
-      model: model.__name,
-      args: {
-        named: { ...use.args ?? {} },
-        ...use.fields === undefined ? {} : { fields: use.fields }
-      },
-      fieldNames: fields2.map((field) => field.name)
-    });
-    if ("error" in parsed) {
-      issues.push({
-        rule: "extension-attribute",
-        message: `@@${use.attribute} on "${model.__name}": ${parsed.error}`,
-        model: model.__name
-      });
-      continue;
+    const name = params.models[key]?.__name ?? key;
+    if (classified.has(name)) {
+      throw new VibeError7({ code: "VIBE_SCHEMA_INVALID", message: `RLS classifies model "${name}" more than once`, meta: { issues: [{ rule: "rls-duplicate-classification", model: name }] } });
     }
-    declarations.add({
-      extension: registered.extension.name,
-      model: model.__name,
-      declaration: parsed.declaration
-    });
+    classified.add(name);
+    named.push([name, descriptor.value]);
   }
+  return { context, policies: Object.fromEntries(named) };
+}
+function schema(input, options) {
+  const models = new Map;
+  const enums = new Map;
+  extractModelsAndEnums({ input, models, enums });
+  resolveEnums({ models, enums });
   return {
-    name: model.__name,
-    ...model.__map === undefined ? {} : { dbName: model.__map },
-    fields: fields2,
-    relations: (plan.relations.get(model.__name) ?? []).map((relation) => buildRelation({ relation, plan })),
-    indexes: (plan.indexes.get(model.__name) ?? []).map((index) => buildIndex({ index })),
-    ...model.__checks === undefined || model.__checks.length === 0 ? {} : { checks: model.__checks.map((check) => ({ name: check.name, expression: check.expression })) },
-    ...policy === undefined ? {} : { policy },
-    ...primaryKey === undefined ? {} : { primaryKey },
-    isView: false,
-    ...model.__comment === undefined ? {} : { documentation: model.__comment }
+    __type: "schema",
+    __models: models,
+    __enums: new Map(Array.from(enums, ([name, entry]) => [name, entry.values])),
+    __enumStorage: new Map(Array.from(enums, ([name, entry]) => [name, entry.storage])),
+    __relations: options?.relations ?? {},
+    ...options?.rls === undefined ? {} : { __rls: options.rls }
   };
 }
+function domain(params) {
+  const { name, models } = params;
+  return { name, models };
+}
 
-class ExtensionDeclarationCollector {
-  byExtension = new Map;
-  add(params) {
-    const perModel = this.byExtension.get(params.extension) ?? new Map;
-    this.byExtension.set(params.extension, perModel);
-    const existing = perModel.get(params.model) ?? {};
-    perModel.set(params.model, mergeExtensionDeclarations({ base: existing, next: params.declaration }));
+// packages/dsl/src/templates.ts
+var base = {
+  get id() {
+    return id({ type: "ulid" });
+  },
+  get createdAt() {
+    return datetime({ default: "now", tz: true, index: true });
+  },
+  get updatedAt() {
+    return datetime({ default: "now", updatedAt: true, tz: true, index: true });
+  },
+  get deletedAt() {
+    return datetime({ optional: true, index: true });
   }
-  toIR() {
-    return [...this.byExtension.entries()].sort(([a], [b]) => a < b ? -1 : a > b ? 1 : 0).map(([name, perModel]) => ({
-      name,
-      options: {
-        models: Object.fromEntries([...perModel.entries()].sort(([a], [b]) => a < b ? -1 : a > b ? 1 : 0))
-      }
-    }));
+};
+var baseWithWorkspace = {
+  get id() {
+    return id({ type: "ulid" });
+  },
+  get createdAt() {
+    return datetime({ default: "now", tz: true, index: true });
+  },
+  get updatedAt() {
+    return datetime({ default: "now", updatedAt: true, tz: true, index: true });
+  },
+  get deletedAt() {
+    return datetime({ optional: true, index: true });
+  },
+  get workspaceId() {
+    return string({ index: true });
   }
-}
-function toIR(params) {
-  const { schema: schema2, provider = "postgresql" } = params;
-  const extensions = params.extensions ?? EMPTY_EXTENSION_REGISTRY;
-  const plan = planSchema({ schema: schema2 });
-  const declarations = new ExtensionDeclarationCollector;
-  const issues = [];
-  const models = Array.from(schema2.__models.values(), (model) => {
-    const built = buildModel({ model, plan, extensions, declarations, issues });
-    const rls = schema2.__rls?.policies[model.__name];
-    return rls === undefined ? built : { ...built, rls };
-  });
-  if (schema2.__rls !== undefined) {
-    for (const name of Object.keys(schema2.__rls.policies)) {
-      if (!schema2.__models.has(name)) {
-        issues.push({ rule: "rls-unknown-model", model: name, message: `RLS classification references model "${name}" absent from the composed schema` });
-      }
-    }
+};
+var withMetadata = {
+  get metadata() {
+    return json({ optional: true });
+  },
+  get settings() {
+    return json({ optional: true });
   }
-  const enums = Array.from(schema2.__enums, ([name, values]) => ({
-    name,
-    values: [...values],
-    ...schema2.__enumStorage.get(name) === "string" ? { storage: "string" } : {}
-  }));
-  if (issues.length > 0) {
-    throw new VibeError3({
-      code: "VIBE_SCHEMA_INVALID",
-      message: `Schema validation failed with ${issues.length} issue(s): ${issues.map((issue) => issue.message).join("; ")}`,
-      meta: { issues }
-    });
+};
+var withActive = {
+  get isActive() {
+    return boolean({ default: true });
   }
-  const ir = {
-    datasource: { provider },
-    models,
-    enums,
-    extensions: declarations.toIR(),
-    ...schema2.__rls === undefined ? {} : { rls: { context: schema2.__rls.context } }
-  };
-  assertValidSchemaIR({ schema: ir });
-  return ir;
-}
+};
+var withAudit = {
+  get createdById() {
+    return string({ optional: true, index: true });
+  },
+  get updatedById() {
+    return string({ optional: true, index: true });
+  }
+};
+var withExternalId = {
+  get externalId() {
+    return string({ index: true });
+  }
+};
+var withNameDescription = {
+  get name() {
+    return string();
+  },
+  get description() {
+    return string({ optional: true });
+  }
+};
+var fields = {
+  get datetime() {
+    return datetime({ default: "now", updatedAt: true, tz: true, index: true });
+  },
+  get id() {
+    return id({ type: "ulid" });
+  },
+  get title() {
+    return string();
+  },
+  get description() {
+    return string({ optional: true });
+  },
+  get externalId() {
+    return string({ index: true });
+  },
+  get metadata() {
+    return json({ optional: true });
+  },
+  get settings() {
+    return json({ optional: true });
+  },
+  get isActive() {
+    return boolean({ default: true });
+  }
+};
+var templates = {
+  base,
+  baseWithWorkspace,
+  withMetadata,
+  withActive,
+  withAudit,
+  withExternalId,
+  withNameDescription,
+  fields
+};
 
 // packages/dsl/src/validate.ts
 function validateSchema(schema2) {
@@ -1660,18 +2101,30 @@ function validateSchema(schema2) {
         continue;
       }
       if (relation.__relationType === "one" && relation.__fromModel === modelName) {
-        if (!model.__columns.has(relation.__fromColumn)) {
-          errors.push({
-            type: "error",
-            message: `Relation "${relationName}" references FK column "${relation.__fromColumn}" which doesn't exist on model "${modelName}"`,
-            model: modelName,
-            relation: relationName
-          });
+        for (const column of relation.__fromColumns) {
+          if (!model.__columns.has(column)) {
+            errors.push({
+              type: "error",
+              message: `Relation "${relationName}" references FK column "${column}" which doesn't exist on model "${modelName}"`,
+              model: modelName,
+              relation: relationName
+            });
+          }
+        }
+        for (const column of relation.__toColumns) {
+          if (!targetModel.__columns.has(column)) {
+            errors.push({
+              type: "error",
+              message: `Relation "${relationName}" references column "${column}" which doesn't exist on target model "${relation.__targetModel}"`,
+              model: modelName,
+              relation: relationName
+            });
+          }
         }
-        if (!targetModel.__columns.has(relation.__toColumn)) {
+        if (relation.__fromColumns.length !== relation.__toColumns.length) {
           errors.push({
             type: "error",
-            message: `Relation "${relationName}" references column "${relation.__toColumn}" which doesn't exist on target model "${relation.__targetModel}"`,
+            message: `Relation "${relationName}" pairs ${relation.__fromColumns.length} FK column(s) with ${relation.__toColumns.length} referenced column(s)`,
             model: modelName,
             relation: relationName
           });
@@ -1758,21 +2211,26 @@ export {
   generatePrisma,
   fields,
   evaluateIndexes,
+  evaluateChecks,
   dsl,
   domain,
   detectOneToOnePairs,
   defineRls,
   defineRelationsPart,
   defineRelations,
+  createPredicateBuilder,
   createIndexBuilder,
   createEnum,
   createChildrenBuilder,
   create,
+  compileIndexPredicate,
+  compileChecks,
   cloneColumnDef,
   children,
   baseWithWorkspace,
   base,
   ChainableStringColumn,
+  ChainableIntegerColumn,
   ChainableIdColumn,
   ChainableEnumColumn,
   ChainableDecimalColumn,
@@ -1780,4 +2238,4 @@ export {
   ChainableColumn
 };
 
-//# debugId=EC151CEC887B44C364756E2164756E21
+//# debugId=13292A89548F16A064756E2164756E21