@dbsp/core 1.4.0 → 1.6.0

package/dist/index.js

@@ -645,7 +645,12 @@ function schemaToModelIR(definition, constraints, extras, options) {
     options
   );
   validateFkTargets(tables);
-  const relations = buildRelations(definition, refsByTable, tableNames);
+  const relations = buildRelations(
+    definition,
+    refsByTable,
+    tableNames,
+    constraints
+  );
   const tableMap = /* @__PURE__ */ new Map();
   for (const table of tables) {
     tableMap.set(table.name, table);
@@ -1057,6 +1062,7 @@ function buildTableConstraints(tableName, constraints) {
         }
       };
       if (fkRef.options.onDelete) fk.onDelete = fkRef.options.onDelete;
+      if (fkRef.options.onUpdate) fk.onUpdate = fkRef.options.onUpdate;
       extraForeignKeys.push(fk);
     }
   }
@@ -1095,7 +1101,7 @@ function normalizeColumnDef(def) {
   }
   return def;
 }
-function buildRelations(_definition, refsByTable, tableNames) {
+function buildRelations(_definition, refsByTable, tableNames, constraints) {
   const relations = [];
   for (const tableName of tableNames) {
     const refs = refsByTable.get(tableName) || [];
@@ -1195,8 +1201,75 @@ function buildRelations(_definition, refsByTable, tableNames) {
       }
     }
   }
+  addCompositeConstraintRelations(relations, tableNames, constraints);
   return relations;
 }
+function relationKey(source, name) {
+  return `${source}.${name}`;
+}
+function pushRelationIfAbsent(relations, relationKeys, relation) {
+  const key = relationKey(relation.source, relation.name);
+  if (relationKeys.has(key)) return;
+  relationKeys.add(key);
+  relations.push(relation);
+}
+function deriveCompositeConstraintRelationName(fkColumn, options) {
+  return deriveLocalRelation(fkColumn, options);
+}
+function addCompositeConstraintRelations(relations, tableNames, constraints) {
+  if (!constraints) return;
+  const tableSet = new Set(tableNames);
+  const relationKeys = new Set(
+    relations.map((relation) => relationKey(relation.source, relation.name))
+  );
+  for (const tableName of tableNames) {
+    const foreignKeys = constraints[tableName]?.foreignKeys;
+    if (!foreignKeys) continue;
+    for (const fkRef of foreignKeys) {
+      if (!tableSet.has(fkRef.target)) continue;
+      const columns = fkRef.options.columns;
+      if (!columns?.length) continue;
+      const references = fkRef.options.references ?? ["id"];
+      if (columns.length === 1 && references.length === 1) continue;
+      const foreignKey = [...columns];
+      const referencedKey = [...references];
+      const belongsToName = deriveCompositeConstraintRelationName(
+        foreignKey[0],
+        fkRef.options
+      );
+      const inverseName = fkRef.options.inverse ?? tableName;
+      const isUnique = fkRef.options.unique ?? false;
+      const inverseType = isUnique ? "hasOne" : "hasMany";
+      const inverseCardinality = isUnique ? "one" : "many";
+      pushRelationIfAbsent(relations, relationKeys, {
+        name: belongsToName,
+        type: "belongsTo",
+        source: tableName,
+        target: fkRef.target,
+        foreignKey,
+        targetKey: referencedKey,
+        cardinality: "one",
+        optionality: fkRef.options.nullable ? "optional" : "required",
+        includeStrategy: "auto",
+        filterStrategy: "auto",
+        joinDefault: "auto"
+      });
+      pushRelationIfAbsent(relations, relationKeys, {
+        name: inverseName,
+        type: inverseType,
+        source: fkRef.target,
+        target: tableName,
+        foreignKey,
+        sourceKey: referencedKey,
+        cardinality: inverseCardinality,
+        optionality: "optional",
+        includeStrategy: "auto",
+        filterStrategy: "auto",
+        joinDefault: "auto"
+      });
+    }
+  }
+}
 function columnTypeToJsType(type) {
   switch (type) {
     // Numeric types → 'number' (includes integer, bigint, decimal)
@@ -1591,6 +1664,9 @@ function isManyToMany(rel) {
   return rel.kind === "manyToMany";
 }
 
+// src/planner.ts
+import { resolveJsonAggOrderKey, toColumnList } from "@dbsp/types";
+
 // src/dx/errors.ts
 var ExecutionError = class _ExecutionError extends Error {
   name = "ExecutionError";
@@ -2325,8 +2401,9 @@ function generateBidirectionalReasoning(storageHint, strategy) {
 function isSubquerySelectedColumnNonNullable(existsIntent, sourceTable, model) {
   const rel = model.getRelation(`${sourceTable}.${existsIntent.relation}`);
   if (!rel) return false;
-  const fk = typeof rel.foreignKey === "string" ? rel.foreignKey : rel.foreignKey?.[0];
-  if (!fk) return false;
+  const fkColumns = toColumnList(rel.foreignKey);
+  if (fkColumns.length !== 1) return false;
+  const fk = fkColumns[0];
   const targetTableIR = model.getTable(rel.target);
   if (!targetTableIR) return false;
   const column = targetTableIR.columns.find((c) => c.name === fk);
@@ -2343,18 +2420,22 @@ function optimizeInToExists(where, sourceTable, model, negated = false) {
         return where;
       }
       const subSelect = inWhere.subquery.select;
-      if (!subSelect || subSelect.type !== "fields") return where;
+      if (subSelect?.type !== "fields") return where;
       const fields = "fields" in subSelect ? subSelect.fields : void 0;
-      if (!fields || fields.length !== 1) return where;
+      if (fields?.length !== 1) return where;
       const subColumn = fields[0];
       if (!subColumn) return where;
       const relationsFrom = model.getRelationsFrom(sourceTable);
       const sourceTableIR = model.getTable(sourceTable);
-      const sourcePk = typeof sourceTableIR?.primaryKey === "string" ? sourceTableIR.primaryKey : sourceTableIR?.primaryKey?.[0] ?? "id";
+      const sourcePkColumns = toColumnList(sourceTableIR?.primaryKey);
+      if (sourcePkColumns.length > 1) return where;
+      const sourcePk = sourcePkColumns[0] ?? "id";
       let matchedRelation;
       for (const rel of relationsFrom) {
         if (rel.target !== inWhere.subquery.from) continue;
-        const fk = typeof rel.foreignKey === "string" ? rel.foreignKey : rel.foreignKey?.[0];
+        const fkColumns = toColumnList(rel.foreignKey);
+        if (fkColumns.length !== 1) continue;
+        const fk = fkColumns[0];
         if (rel.type === "hasMany" && fk === subColumn && inWhere.field === sourcePk) {
           matchedRelation = rel.name;
           break;
@@ -2656,6 +2737,9 @@ function processInclude(include, sourceTable, model, state, opts, intentPath, de
   const cascadedJoinType = ancestorIsLeftJoin && include.join === void 0 ? "left" : autoJoinType;
   const explicitJoinType = includeStrategy === "join" ? include.join ?? cascadedJoinType : void 0;
   const includeDecisionId = generateDecisionId(state, "include-strategy");
+  const parentKey = relation.type === "belongsTo" ? relation.targetKey : relation.sourceKey;
+  const targetTable = model.getTable(relation.target);
+  const targetOrder = targetTable ? resolveJsonAggOrderKey(targetTable) : void 0;
   state.decisions.push({
     id: includeDecisionId,
     type: "include-strategy",
@@ -2669,7 +2753,12 @@ function processInclude(include, sourceTable, model, state, opts, intentPath, de
       // Foreign key info for json_agg compilation (Phase 3)
       ...relation.foreignKey !== void 0 && {
         foreignKey: relation.foreignKey
-      }
+      },
+      ...parentKey !== void 0 && { parentKey },
+      ...targetOrder && targetOrder.columns.length > 0 && {
+        targetOrderKey: targetOrder.columns
+      },
+      ...targetOrder?.fallback && { orderByFallback: true }
     },
     choice: includeStrategy,
     // Embed joinType so the adapter's join handler can use it directly
@@ -6163,10 +6252,98 @@ import {
   NqlLexer,
   compile as nqlCompile
 } from "@dbsp/nql";
+import { resolveJsonAggOrderKey as resolveJsonAggOrderKey2 } from "@dbsp/types";
 import {
+  explainUnsupportedNqlBindingIncludeHop,
   getTrustedNqlRelationFilterFields,
   NQL_INTERNAL_COMPILER_OPTIONS
 } from "@dbsp/types/internal";
+
+// src/dx/hydration-utils.ts
+function isRootIncludeDecision(decision) {
+  const intentPath = decision.context.intentPath;
+  return typeof intentPath !== "string" || !intentPath.includes(".include[");
+}
+function hydrateJsonAggIncludes(results, planReport) {
+  const jsonAggDecisions = planReport.decisions.filter(
+    (d) => d.type === "include-strategy" && d.choice === "json_agg" && isRootIncludeDecision(d)
+  );
+  if (jsonAggDecisions.length === 0) {
+    return;
+  }
+  const relationInfo = /* @__PURE__ */ new Map();
+  for (const decision of jsonAggDecisions) {
+    const canonicalName = decision.context?.relation;
+    const includeAlias = decision.context?.includeAlias;
+    const relationType = decision.context?.relationType;
+    const isToOne = relationType === "belongsTo" || relationType === "hasOne";
+    if (typeof canonicalName === "string") {
+      relationInfo.set(canonicalName, {
+        isToOne,
+        includeAlias: typeof includeAlias === "string" ? includeAlias : canonicalName,
+        canonicalName
+      });
+    } else if (typeof includeAlias === "string") {
+      relationInfo.set(includeAlias, { isToOne, includeAlias });
+    }
+  }
+  if (relationInfo.size === 0) {
+    return;
+  }
+  for (const row of results) {
+    if (typeof row !== "object" || row === null) {
+      continue;
+    }
+    const record2 = row;
+    for (const [relationName, info] of relationInfo) {
+      const candidates = [relationName];
+      if (info.includeAlias && info.includeAlias !== relationName) {
+        candidates.push(info.includeAlias);
+      }
+      let actualColumnName = null;
+      for (const baseName of candidates) {
+        const snakeJson = `${baseName}_json`;
+        const camelJson = snakeJson.replace(
+          /_([a-z])/g,
+          (_, c) => c.toUpperCase()
+        );
+        if (snakeJson in record2) {
+          actualColumnName = snakeJson;
+          break;
+        }
+        if (camelJson in record2) {
+          actualColumnName = camelJson;
+          break;
+        }
+      }
+      if (actualColumnName) {
+        const jsonValue = record2[actualColumnName];
+        let parsed;
+        if (typeof jsonValue === "string") {
+          try {
+            parsed = JSON.parse(jsonValue);
+          } catch {
+            parsed = info.isToOne ? null : [];
+          }
+        } else if (Array.isArray(jsonValue)) {
+          parsed = jsonValue;
+        } else if (jsonValue === null || jsonValue === void 0) {
+          parsed = info.isToOne ? null : [];
+        } else {
+          parsed = jsonValue;
+        }
+        if (info.isToOne && Array.isArray(parsed)) {
+          parsed = parsed.length > 0 ? parsed[0] : null;
+        }
+        const outputKey = info.includeAlias ?? relationName;
+        record2[outputKey] = parsed;
+        delete record2[actualColumnName];
+      }
+    }
+  }
+}
+
+// src/dx/nql.ts
 var NQL_RAW_FRAGMENT = /* @__PURE__ */ Symbol("NqlRawFragment");
 function hasNqlBindings(bundle) {
   return (bundle.bindings?.size ?? 0) > 0;
@@ -6203,28 +6380,348 @@ function findBindingFinalRelationFilter(where) {
       return void 0;
   }
 }
-function assertBindingFinalQueryCanUseSyntheticPlan(intent) {
+function bindingFinalIncludeError(bindingName, relation, reason) {
+  return new Error(
+    `NQL binding-final query '${bindingName}' cannot use relation include '${relation}' (ref-#192): ${reason}.`
+  );
+}
+function getBindingRelationMetadata(bundle, bindingName) {
+  return bundle.bindingOutputSchemas?.get(bindingName)?.relationFilters;
+}
+function getScalarBindingRelationsByName(bundle, bindingName) {
+  const metadata = getBindingRelationMetadata(bundle, bindingName);
+  const relations = /* @__PURE__ */ new Map();
+  for (const relation of metadata?.scalarRelations ?? []) {
+    relations.set(relation.relation, relation);
+  }
+  return relations;
+}
+function bindingIncludeNodeShape(include) {
+  return include;
+}
+function virtualRelationIncludeShape(relation) {
+  const relationType = relation.relationType;
+  const foreignKey = relationType === "belongsTo" ? relation.sourceColumn : relationType === "hasOne" || relationType === "hasMany" ? relation.targetColumn : void 0;
+  return {
+    type: relationType,
+    foreignKey,
+    source: relation.sourceTable,
+    target: relation.targetTable,
+    ...relation.through !== void 0 && { through: relation.through },
+    ...relation.throughTargetColumn !== void 0 && {
+      otherKey: relation.throughTargetColumn
+    }
+  };
+}
+var BINDING_INCLUDE_NODE_ONLY_RELATION = {
+  type: "hasMany",
+  foreignKey: "__dbsp_binding_include_node__",
+  source: "__dbsp_binding_include_source__",
+  target: "__dbsp_binding_include_target__"
+};
+function assertSupportedBindingIncludeNodeShape(bindingName, rootIncludeRelation, include, reasonPrefix = "") {
+  const unsupportedReason = explainUnsupportedNqlBindingIncludeHop(
+    include.relation,
+    BINDING_INCLUDE_NODE_ONLY_RELATION,
+    bindingIncludeNodeShape(include)
+  );
+  if (unsupportedReason) {
+    throw bindingFinalIncludeError(
+      bindingName,
+      rootIncludeRelation,
+      `${reasonPrefix}${unsupportedReason}`
+    );
+  }
+}
+function bindingIncludeCoversRelationPath(include, segments) {
+  const [head, ...tail] = segments;
+  if (!head || include.relation !== head) return false;
+  if (tail.length === 0) return true;
+  return (include.include ?? []).some(
+    (child) => bindingIncludeCoversRelationPath(child, tail)
+  );
+}
+function bindingIncludesCoverRelationPath(includes, relationPath) {
+  const segments = relationPath.split(".");
+  if (segments.some((segment) => segment.length === 0)) return false;
+  return (includes ?? []).some(
+    (include) => bindingIncludeCoversRelationPath(include, segments)
+  );
+}
+function trustedBindingRelationColumnIsAdmitted(column) {
+  if (column.kind !== "relationColumn") return false;
+  const trusted = getTrustedNqlRelationFilterFields(column);
+  if (trusted?.selectedColumn === void 0) return false;
+  const isDotted = column.relation.split(".").length > 1;
+  if (trusted.cardinality === "one") {
+    return !isDotted || trusted.hops.length > 0;
+  }
+  const hasCompleteManyToManyProof = (trusted.relationType === "manyToMany" || trusted.relationType === "belongsToMany") && trusted.through !== void 0 && trusted.throughSourceColumn !== void 0 && trusted.throughTargetColumn !== void 0;
+  return trusted.cardinality === "many" && (trusted.relationType === "hasMany" || hasCompleteManyToManyProof) && !isDotted && trusted.hops.length === 0;
+}
+function assertProvenBindingInclude(bindingName, include, provenRelations) {
+  const proven = provenRelations.get(include.relation);
+  if (!proven) {
+    throw bindingFinalIncludeError(
+      bindingName,
+      include.relation,
+      "the relation is not in the binding proven virtual-relation set"
+    );
+  }
+  const unsupportedReason = explainUnsupportedNqlBindingIncludeHop(
+    include.relation,
+    virtualRelationIncludeShape(proven),
+    bindingIncludeNodeShape(include)
+  );
+  if (unsupportedReason) {
+    throw bindingFinalIncludeError(
+      bindingName,
+      include.relation,
+      unsupportedReason
+    );
+  }
+  return proven;
+}
+function getProvenBindingIncludes(intent, bundle) {
+  const provenRelations = getScalarBindingRelationsByName(bundle, intent.from);
+  const provenIncludes = /* @__PURE__ */ new Map();
+  for (const include of intent.include ?? []) {
+    const proven = assertProvenBindingInclude(
+      intent.from,
+      include,
+      provenRelations
+    );
+    provenIncludes.set(include.relation, proven);
+  }
+  return provenIncludes;
+}
+function assertBindingFinalQueryCanUseSyntheticPlan(intent, bundle) {
+  getProvenBindingIncludes(intent, bundle);
   const relationColumns = intent.select?.type === "expressions" ? intent.select.columns.flatMap((column) => {
     if (column.kind !== "relationColumn") return [];
-    const trusted = getTrustedNqlRelationFilterFields(column);
-    if (trusted?.selectedColumn !== void 0 && trusted.cardinality === "one") {
+    if (column.column === "*" && bindingIncludesCoverRelationPath(intent.include, column.relation)) {
+      return [];
+    }
+    if (trustedBindingRelationColumnIsAdmitted(column)) {
       return [];
     }
     return [column.relation];
   }) : [];
   const relationFilter = intent.where ? findBindingFinalRelationFilter(intent.where) : void 0;
   const havingRelationFilter = intent.having ? findBindingFinalRelationFilter(intent.having) : void 0;
-  if ((intent.include?.length ?? 0) > 0 || relationColumns.length > 0 || (intent.joins?.length ?? 0) > 0 || relationFilter !== void 0 || havingRelationFilter !== void 0) {
+  if (relationColumns.length > 0 || (intent.joins?.length ?? 0) > 0 || relationFilter !== void 0 || havingRelationFilter !== void 0) {
     throw new Error(
       `NQL binding-final query '${intent.from}' cannot select relation columns, use includes, joins, or relation filters. Relation planning requires a physical model table, not a CTE binding.`
     );
   }
 }
-function createBindingFinalPlan(intent) {
-  assertBindingFinalQueryCanUseSyntheticPlan(intent);
+function createBindingIncludeDecision(intent, include, relation, index, model) {
+  const relationType = relation.relationType;
+  const foreignKey = relationType === "belongsTo" ? relation.sourceColumn : relation.targetColumn;
+  const parentKey = relationType === "belongsTo" ? relation.targetColumn : relation.sourceColumn;
+  const targetTable = model.getTable(relation.targetTable);
+  const targetOrder = targetTable ? resolveJsonAggOrderKey2(targetTable) : void 0;
+  return {
+    id: `binding-include-${index}`,
+    type: "include-strategy",
+    context: {
+      sourceTable: intent.from,
+      target: relation.targetTable,
+      relation: relation.relation,
+      relationType,
+      foreignKey,
+      parentKey,
+      ...targetOrder && targetOrder.columns.length > 0 && {
+        targetOrderKey: targetOrder.columns
+      },
+      ...targetOrder?.fallback && { orderByFallback: true },
+      includeAlias: include.relation,
+      intentPath: `include[${index}]`
+    },
+    choice: "json_agg",
+    reasoning: "NQL binding-final include uses proven binding virtual relation metadata and the json_agg include pipeline.",
+    alternatives: []
+  };
+}
+function findModelRelation(model, sourceTable, relationName) {
+  return model.getRelation(`${sourceTable}.${relationName}`) ?? model.getRelationsFrom(sourceTable).find((relation) => relation.name === relationName);
+}
+function parentKeyForRelation(relation) {
+  if (relation.type === "belongsTo") return relation.targetKey;
+  return relation.sourceKey;
+}
+function assertSupportedBindingIncludeHop(bindingName, rootIncludeRelation, relationName, relation, include, reasonPrefix = "") {
+  const unsupportedReason = explainUnsupportedNqlBindingIncludeHop(
+    relationName,
+    relation,
+    bindingIncludeNodeShape(include)
+  );
+  if (unsupportedReason) {
+    throw bindingFinalIncludeError(
+      bindingName,
+      rootIncludeRelation,
+      `${reasonPrefix}${unsupportedReason}`
+    );
+  }
+}
+function assertSupportedBindingTailIncludeTree(bindingName, rootInclude, sourceTable, includes, model) {
+  for (const include of includes) {
+    assertSupportedBindingIncludeNodeShape(
+      bindingName,
+      rootInclude.relation,
+      include,
+      "tail "
+    );
+    const relation = findModelRelation(model, sourceTable, include.relation);
+    if (!relation) {
+      throw bindingFinalIncludeError(
+        bindingName,
+        rootInclude.relation,
+        `tail relation '${include.relation}' is not declared on table '${sourceTable}'`
+      );
+    }
+    assertSupportedBindingIncludeHop(
+      bindingName,
+      rootInclude.relation,
+      include.relation,
+      relation,
+      include,
+      "tail "
+    );
+    assertSupportedBindingTailIncludeTree(
+      bindingName,
+      rootInclude,
+      relation.target,
+      include.include ?? [],
+      model
+    );
+  }
+}
+function rebaseBindingTailIntentPath(intentPath, includeIndex) {
+  return `include[${includeIndex}]${intentPath ? `.${intentPath}` : ""}`;
+}
+function createBindingTailIncludeDecisions(bindingName, include, firstHopRelation, includeIndex, model) {
+  const nestedIncludes = include.include ?? [];
+  if (nestedIncludes.length === 0) return [];
+  assertSupportedBindingTailIncludeTree(
+    bindingName,
+    include,
+    firstHopRelation.targetTable,
+    nestedIncludes,
+    model
+  );
+  const tailPlan = plan(
+    {
+      type: "select",
+      from: firstHopRelation.targetTable,
+      include: nestedIncludes
+    },
+    model,
+    { defaultIncludeStrategy: "json_agg" }
+  );
+  return tailPlan.decisions.filter((decision) => decision.type === "include-strategy").map((decision, tailIndex) => {
+    const sourceTable = decision.context.sourceTable;
+    const relationName = decision.context.relation;
+    if (!relationName) {
+      throw bindingFinalIncludeError(
+        bindingName,
+        include.relation,
+        "tail include planning produced a decision without a relation name"
+      );
+    }
+    const relation = findModelRelation(model, sourceTable, relationName);
+    if (!relation) {
+      throw bindingFinalIncludeError(
+        bindingName,
+        include.relation,
+        `tail relation '${relationName}' is not declared on table '${sourceTable}'`
+      );
+    }
+    assertSupportedBindingIncludeHop(
+      bindingName,
+      include.relation,
+      relationName,
+      relation,
+      { relation: relationName },
+      "tail "
+    );
+    const baseContext = { ...decision.context };
+    delete baseContext.foreignKey;
+    delete baseContext.parentKey;
+    delete baseContext.targetOrderKey;
+    delete baseContext.orderByFallback;
+    const parentKey = parentKeyForRelation(relation);
+    const targetTable = model.getTable(relation.target);
+    const targetOrder = targetTable ? resolveJsonAggOrderKey2(targetTable) : void 0;
+    return {
+      ...decision,
+      id: `binding-include-${includeIndex}-tail-${tailIndex}`,
+      choice: "json_agg",
+      reasoning: "NQL binding-final tail include uses real-table relation metadata and is forced through the json_agg include pipeline.",
+      context: {
+        ...baseContext,
+        sourceTable: relation.source,
+        target: relation.target,
+        relation: relation.name,
+        relationType: relation.type,
+        ...relation.foreignKey !== void 0 && {
+          foreignKey: relation.foreignKey
+        },
+        // Leave parentKey absent when RelationIR does not specify it so the
+        // adapter applies the same defaultPkColumnName fallback as real-table includes.
+        ...parentKey !== void 0 && { parentKey },
+        ...targetOrder && targetOrder.columns.length > 0 && {
+          targetOrderKey: targetOrder.columns
+        },
+        ...targetOrder?.fallback && { orderByFallback: true },
+        intentPath: rebaseBindingTailIntentPath(
+          decision.context.intentPath,
+          includeIndex
+        )
+      }
+    };
+  });
+}
+function createBindingFinalPlan(intent, bundle, model, dialectCapabilities) {
+  assertBindingFinalQueryCanUseSyntheticPlan(intent, bundle);
+  const provenIncludes = getProvenBindingIncludes(intent, bundle);
+  const decisions = (intent.include ?? []).flatMap((include, index) => {
+    if (dialectCapabilities?.supportsJsonAgg === false) {
+      throw bindingFinalIncludeError(
+        intent.from,
+        include.relation,
+        "JSON aggregation for binding includes is not supported by this adapter"
+      );
+    }
+    const proven = provenIncludes.get(include.relation);
+    if (!proven) {
+      throw bindingFinalIncludeError(
+        intent.from,
+        include.relation,
+        "include relation proof was not emitted by the binding compiler"
+      );
+    }
+    const firstHopDecision = createBindingIncludeDecision(
+      intent,
+      include,
+      proven,
+      index,
+      model
+    );
+    return [
+      firstHopDecision,
+      ...createBindingTailIncludeDecisions(
+        intent.from,
+        include,
+        proven,
+        index,
+        model
+      )
+    ];
+  });
   return {
     rootTable: intent.from,
-    decisions: [],
+    decisions,
     warnings: [],
     ctes: [],
     intent,
@@ -6235,6 +6732,11 @@ function createBindingFinalPlan(intent) {
     }
   };
 }
+function bindingFinalPlanHasJsonAggIncludes(planReport) {
+  return planReport.decisions.some(
+    (decision) => decision.type === "include-strategy" && decision.choice === "json_agg"
+  );
+}
 function nqlRaw(fragment) {
   if (typeof fragment !== "string") {
     throw new TypeError("nqlRaw() expects a string fragment");
@@ -6349,6 +6851,14 @@ function assembleNqlTemplate(strings, values) {
 function hasMutationBindingBodies(bundle) {
   return (bundle.mutationBindings?.size ?? 0) > 0;
 }
+function hasSnapshotReadBindingSteps(bundle) {
+  return bundle.nqlProgramSequence?.some(
+    (step) => step.kind === "query" && step.snapshot === true
+  ) ?? false;
+}
+function hasExecutableNqlProgramSequence(bundle) {
+  return hasMutationBindingBodies(bundle) || hasSnapshotReadBindingSteps(bundle);
+}
 function requireMutationBindingColumns(bundle, bindName) {
   const columns = bundle.bindingOutputSchemas?.get(bindName)?.columns;
   if (columns === void 0 || columns.length === 0) {
@@ -6412,6 +6922,7 @@ function orderedSequenceStepToProgramStep(step) {
       intent: step.query,
       ...step.bindName !== void 0 && { bindName: step.bindName },
       final: step.final,
+      ...step.snapshot === true && { snapshot: true },
       ...dependencyStep.bindingDependencies !== void 0 && {
         bindingDependencies: dependencyStep.bindingDependencies
       }
@@ -6427,15 +6938,32 @@ function orderedSequenceStepToProgramStep(step) {
     }
   };
 }
+var structuredCloneFn = globalThis.structuredClone;
+function hasCustomSnapshotPrototype(value) {
+  if (value === null || typeof value !== "object") return false;
+  const prototype = Object.getPrototypeOf(value);
+  return prototype !== Object.prototype && prototype !== null && prototype !== Array.prototype && prototype !== Date.prototype && prototype !== Map.prototype && prototype !== Set.prototype;
+}
+function cloneMutationSnapshotColumnValue(value) {
+  if (hasCustomSnapshotPrototype(value) || structuredCloneFn === void 0) {
+    return value;
+  }
+  try {
+    return structuredCloneFn(value);
+  } catch {
+    return value;
+  }
+}
 function snapshotMutationRows(rows) {
   return rows.map((row) => {
-    if (Array.isArray(row)) {
-      return [...row];
+    if (row === null || typeof row !== "object") {
+      return cloneMutationSnapshotColumnValue(row);
     }
-    if (row !== null && typeof row === "object") {
-      return { ...row };
+    const snapshot = { ...row };
+    for (const key of Reflect.ownKeys(snapshot)) {
+      snapshot[key] = cloneMutationSnapshotColumnValue(snapshot[key]);
     }
-    return row;
+    return snapshot;
   });
 }
 function assertNqlProgramSteps(compiledIntent, steps) {
@@ -6459,6 +6987,13 @@ function assertNqlProgramSteps(compiledIntent, steps) {
   }
   const seenBindNames = /* @__PURE__ */ new Set();
   for (const step of steps) {
+    if (step.kind === "query" && step.snapshot === true) {
+      if (step.bindName === void 0 || step.final) {
+        throw new Error(
+          "NQL program sequence query snapshots must be named non-final statements."
+        );
+      }
+    }
     if (step.bindName === void 0) continue;
     if (seenBindNames.has(step.bindName)) {
       throw new Error(
@@ -6564,6 +7099,18 @@ function filterOptionalMapByBindingDependencies(source, bindingDependencies) {
   const filtered = filterMapByBindingDependencies(source, bindingDependencies);
   return filtered.size > 0 ? filtered : void 0;
 }
+function runtimeSourceBindingNames(sourceBundle) {
+  const names = /* @__PURE__ */ new Set();
+  for (const name of sourceBundle.mutationBindings?.keys() ?? []) {
+    names.add(name);
+  }
+  for (const step of sourceBundle.nqlProgramSequence ?? []) {
+    if (step.kind === "query" && step.snapshot === true && step.bindName !== void 0) {
+      names.add(step.bindName);
+    }
+  }
+  return names.size > 0 ? names : void 0;
+}
 function filterMapByRuntimeBindingDependencies(source, runtimeSourceBindings, bindingDependencies) {
   if (source === void 0) return /* @__PURE__ */ new Map();
   if (bindingDependencies === void 0 || runtimeSourceBindings === void 0 || runtimeSourceBindings.size === 0) {
@@ -6694,11 +7241,16 @@ var NqlBuilderImpl = class {
         "NQL mutations do not have execution plans; use dump() for SQL and parameters."
       );
     }
-    return isBindingFinalQuery(compiled.bundle) ? createBindingFinalPlan(compiled.intent) : this.planInternal();
+    return isBindingFinalQuery(compiled.bundle) ? createBindingFinalPlan(
+      compiled.intent,
+      compiled.bundle,
+      this.model,
+      this.adapter?.dialectCapabilities
+    ) : this.planInternal();
   }
   dump(meta) {
     const compiledIntent = this.compile();
-    if (hasMutationBindingBodies(compiledIntent.bundle)) {
+    if (hasExecutableNqlProgramSequence(compiledIntent.bundle)) {
       return this.dumpNqlProgramSequence(compiledIntent, meta);
     }
     if (compiledIntent.kind === "mutation") {
@@ -6709,7 +7261,12 @@ var NqlBuilderImpl = class {
       );
     }
     const bindingFinalQuery = isBindingFinalQuery(compiledIntent.bundle);
-    const planReport = bindingFinalQuery ? createBindingFinalPlan(compiledIntent.intent) : this.planInternal();
+    const planReport = bindingFinalQuery ? createBindingFinalPlan(
+      compiledIntent.intent,
+      compiledIntent.bundle,
+      this.model,
+      this.adapter?.dialectCapabilities
+    ) : this.planInternal();
     if (!this.adapter) {
       return {
         plan: planReport,
@@ -6718,7 +7275,10 @@ var NqlBuilderImpl = class {
         ...meta !== void 0 && { meta }
       };
     }
-    const finalBundle = this.createFinalNqlStatementBundle(compiledIntent);
+    const finalBundle = this.createFinalNqlStatementBundle(
+      compiledIntent,
+      bindingFinalPlanHasJsonAggIncludes(planReport) ? planReport : void 0
+    );
     const compiled = bindingFinalQuery || hasNqlBindings(finalBundle) ? this.adapter.compile(finalBundle, this.nqlBundleCompileOptions()) : this.adapter.compile(planReport);
     try {
       return this.adapter.createDump(planReport, compiled, meta);
@@ -6770,10 +7330,10 @@ var NqlBuilderImpl = class {
       ...this._schemaName !== void 0 && { schemaName: this._schemaName }
     };
   }
-  createNqlStatementBundle(statement, bindings, runtimeBindings, sourceBundle, bindingDependencies) {
+  createNqlStatementBundle(statement, bindings, runtimeBindings, sourceBundle, bindingDependencies, planReport) {
     const statementBindings = filterMapByRuntimeBindingDependencies(
       bindings,
-      sourceBundle.mutationBindings,
+      runtimeSourceBindingNames(sourceBundle),
       bindingDependencies
     );
     const statementRuntimeBindings = filterMapByBindingDependencies(
@@ -6794,6 +7354,7 @@ var NqlBuilderImpl = class {
     );
     return {
       ...statement,
+      ...planReport !== void 0 && { plan: planReport },
       ...statementBindings.size > 0 && { bindings: statementBindings },
       ...statementBindingOutputSchemas !== void 0 && {
         bindingOutputSchemas: statementBindingOutputSchemas
@@ -6806,7 +7367,7 @@ var NqlBuilderImpl = class {
       }
     };
   }
-  createFinalNqlStatementBundle(compiledIntent) {
+  createFinalNqlStatementBundle(compiledIntent, planReport) {
     const finalStep = createNqlProgramSteps(compiledIntent).at(-1);
     if (compiledIntent.kind === "query") {
       return this.createNqlStatementBundle(
@@ -6814,7 +7375,8 @@ var NqlBuilderImpl = class {
         compiledIntent.bundle.bindings ?? /* @__PURE__ */ new Map(),
         compiledIntent.bundle.runtimeBindings ?? /* @__PURE__ */ new Map(),
         compiledIntent.bundle,
-        finalStep?.bindingDependencies
+        finalStep?.bindingDependencies,
+        planReport
       );
     }
     return this.createNqlStatementBundle(
@@ -6822,7 +7384,8 @@ var NqlBuilderImpl = class {
       compiledIntent.bundle.bindings ?? /* @__PURE__ */ new Map(),
       compiledIntent.bundle.runtimeBindings ?? /* @__PURE__ */ new Map(),
       compiledIntent.bundle,
-      finalStep?.bindingDependencies
+      finalStep?.bindingDependencies,
+      planReport
     );
   }
   runMutationStatement(adapter, bundle, intent, inTransaction) {
@@ -6910,7 +7473,7 @@ var NqlBuilderImpl = class {
           if (step.final) {
             finalRows = rows.transformedRows;
           }
-        } else if (step.final) {
+        } else if (step.snapshot === true && step.bindName !== void 0) {
           const statementBundle = this.createNqlStatementBundle(
             { query: step.intent },
             priorBindings,
@@ -6922,7 +7485,39 @@ var NqlBuilderImpl = class {
             statementBundle,
             this.nqlBundleCompileOptions()
           );
+          const rows = await txAdapter.execute(compiled);
+          runtimeBindings.set(
+            step.bindName,
+            createRuntimeBinding(
+              sourceBundle,
+              step.bindName,
+              snapshotMutationRows(rows),
+              txAdapter.dbCasing
+            )
+          );
+        } else if (step.final) {
+          const planReport = isBindingFinalQuery(compiledIntent.bundle) && compiledIntent.kind === "query" ? createBindingFinalPlan(
+            step.intent,
+            sourceBundle,
+            this.model,
+            txAdapter.dialectCapabilities
+          ) : void 0;
+          const statementBundle = this.createNqlStatementBundle(
+            { query: step.intent },
+            priorBindings,
+            runtimeBindings,
+            sourceBundle,
+            step.bindingDependencies,
+            planReport !== void 0 && bindingFinalPlanHasJsonAggIncludes(planReport) ? planReport : void 0
+          );
+          const compiled = txAdapter.compile(
+            statementBundle,
+            this.nqlBundleCompileOptions()
+          );
           finalRows = await txAdapter.execute(compiled);
+          if (planReport !== void 0 && bindingFinalPlanHasJsonAggIncludes(planReport)) {
+            hydrateJsonAggIncludes(finalRows, planReport);
+          }
         }
         if (step.bindName) {
           const boundQuery = sourceBundle.bindings?.get(step.bindName);
@@ -6967,12 +7562,19 @@ var NqlBuilderImpl = class {
           });
         }
       } else {
+        const planReport = step.final && isBindingFinalQuery(compiledIntent.bundle) && compiledIntent.kind === "query" ? createBindingFinalPlan(
+          step.intent,
+          sourceBundle,
+          this.model,
+          adapter.dialectCapabilities
+        ) : void 0;
         const statementBundle = this.createNqlStatementBundle(
           { query: step.intent },
           priorBindings,
           runtimeBindings,
           sourceBundle,
-          step.bindingDependencies
+          step.bindingDependencies,
+          planReport !== void 0 && bindingFinalPlanHasJsonAggIncludes(planReport) ? planReport : void 0
         );
         const compiled = adapter.compile(
           statementBundle,
@@ -6984,6 +7586,12 @@ var NqlBuilderImpl = class {
           sql: compiled.sql,
           params: compiled.parameters
         });
+        if (step.snapshot === true && step.bindName !== void 0) {
+          runtimeBindings.set(step.bindName, {
+            columns: requireMutationBindingColumns(sourceBundle, step.bindName),
+            rows: []
+          });
+        }
       }
       if (step.bindName !== void 0) {
         const boundQuery = sourceBundle.bindings?.get(step.bindName);
@@ -6994,7 +7602,12 @@ var NqlBuilderImpl = class {
     }
     const finalStep = steps.at(-1);
     if (finalStep?.kind === "query") {
-      const planReport = isBindingFinalQuery(compiledIntent.bundle) ? createBindingFinalPlan(finalStep.intent) : this.planInternal();
+      const planReport = isBindingFinalQuery(compiledIntent.bundle) ? createBindingFinalPlan(
+        finalStep.intent,
+        compiledIntent.bundle,
+        this.model,
+        this.adapter?.dialectCapabilities
+      ) : this.planInternal();
       const dumpMeta2 = {
         compiledAt: /* @__PURE__ */ new Date(),
         ...this._schemaName !== void 0 && { schema: this._schemaName },
@@ -7058,7 +7671,7 @@ var NqlBuilderImpl = class {
       );
     }
     const compiledIntent = this.compile();
-    if (hasMutationBindingBodies(compiledIntent.bundle)) {
+    if (hasExecutableNqlProgramSequence(compiledIntent.bundle)) {
       return this.executeNqlProgramSequence(compiledIntent, adapter);
     }
     if (compiledIntent.kind === "mutation") {
@@ -7070,11 +7683,24 @@ var NqlBuilderImpl = class {
       )).transformedRows;
     }
     if (isBindingFinalQuery(compiledIntent.bundle)) {
+      const planReport2 = createBindingFinalPlan(
+        compiledIntent.intent,
+        compiledIntent.bundle,
+        this.model,
+        adapter.dialectCapabilities
+      );
       const compiled2 = adapter.compile(
-        this.createFinalNqlStatementBundle(compiledIntent),
+        this.createFinalNqlStatementBundle(
+          compiledIntent,
+          bindingFinalPlanHasJsonAggIncludes(planReport2) ? planReport2 : void 0
+        ),
         this.nqlBundleCompileOptions()
       );
-      return adapter.execute(compiled2);
+      const rows = await adapter.execute(compiled2);
+      if (bindingFinalPlanHasJsonAggIncludes(planReport2)) {
+        hydrateJsonAggIncludes(rows, planReport2);
+      }
+      return rows;
     }
     const planReport = this.planInternal();
     const finalBundle = this.createFinalNqlStatementBundle(compiledIntent);
@@ -7389,85 +8015,8 @@ async function cursorPaginate(builder, options) {
   };
 }
 
-// src/dx/hydration-utils.ts
-function hydrateJsonAggIncludes(results, planReport) {
-  const jsonAggDecisions = planReport.decisions.filter(
-    (d) => d.type === "include-strategy" && d.choice === "json_agg"
-  );
-  if (jsonAggDecisions.length === 0) {
-    return;
-  }
-  const relationInfo = /* @__PURE__ */ new Map();
-  for (const decision of jsonAggDecisions) {
-    const canonicalName = decision.context?.relation;
-    const includeAlias = decision.context?.includeAlias;
-    const relationType = decision.context?.relationType;
-    const isToOne = relationType === "belongsTo" || relationType === "hasOne";
-    if (typeof canonicalName === "string") {
-      relationInfo.set(canonicalName, {
-        isToOne,
-        includeAlias: typeof includeAlias === "string" ? includeAlias : canonicalName,
-        canonicalName
-      });
-    } else if (typeof includeAlias === "string") {
-      relationInfo.set(includeAlias, { isToOne, includeAlias });
-    }
-  }
-  if (relationInfo.size === 0) {
-    return;
-  }
-  for (const row of results) {
-    if (typeof row !== "object" || row === null) {
-      continue;
-    }
-    const record2 = row;
-    for (const [relationName, info] of relationInfo) {
-      const candidates = [relationName];
-      if (info.includeAlias && info.includeAlias !== relationName) {
-        candidates.push(info.includeAlias);
-      }
-      let actualColumnName = null;
-      for (const baseName of candidates) {
-        const snakeJson = `${baseName}_json`;
-        const camelJson = snakeJson.replace(
-          /_([a-z])/g,
-          (_, c) => c.toUpperCase()
-        );
-        if (snakeJson in record2) {
-          actualColumnName = snakeJson;
-          break;
-        }
-        if (camelJson in record2) {
-          actualColumnName = camelJson;
-          break;
-        }
-      }
-      if (actualColumnName) {
-        const jsonValue = record2[actualColumnName];
-        let parsed;
-        if (typeof jsonValue === "string") {
-          try {
-            parsed = JSON.parse(jsonValue);
-          } catch {
-            parsed = info.isToOne ? null : [];
-          }
-        } else if (Array.isArray(jsonValue)) {
-          parsed = jsonValue;
-        } else if (jsonValue === null || jsonValue === void 0) {
-          parsed = info.isToOne ? null : [];
-        } else {
-          parsed = jsonValue;
-        }
-        if (info.isToOne && Array.isArray(parsed)) {
-          parsed = parsed.length > 0 ? parsed[0] : null;
-        }
-        const outputKey = info.includeAlias ?? relationName;
-        record2[outputKey] = parsed;
-        delete record2[actualColumnName];
-      }
-    }
-  }
-}
+// src/dx/result-hydrator.ts
+import { toColumnList as toColumnList2 } from "@dbsp/types";
 
 // src/dx/relation-paths.ts
 function nonEmptyString(value) {
@@ -7632,7 +8181,7 @@ var ResultHydrator = class {
     for (const includeInfo of subqueryIncludes) {
       const parentIds = [];
       for (const r of results) {
-        const id = this.extractKeyValue(
+        const id = this.extractQueryKeyValue(
           r,
           includeInfo.sourceKey
         );
@@ -7844,14 +8393,16 @@ var ResultHydrator = class {
    * Get the foreign key column name from relation metadata.
    */
   getForeignKeyColumn(foreignKey) {
-    if (!foreignKey) {
+    const columns = toColumnList2(foreignKey);
+    if (columns.length === 0) {
       return "parent_id";
     }
-    if (typeof foreignKey === "string") {
-      return foreignKey;
+    if (columns.length !== 1) {
+      throw new Error(
+        `Recursive include hydration requires a single-column self-referential foreign key; got ${JSON.stringify(columns)}.`
+      );
     }
-    const first = foreignKey[0];
-    return first ?? "parent_id";
+    return columns[0];
   }
   /**
    * Build traversal config for recursive CTE.
@@ -7943,10 +8494,14 @@ var ResultHydrator = class {
    * case (slower but collision-safe for any value content).
    */
   extractKeyValue(obj, key) {
-    if (typeof key === "string") {
-      return obj[key];
+    const columns = toColumnList2(key);
+    if (columns.length === 0) {
+      return void 0;
+    }
+    if (columns.length === 1) {
+      return obj[columns[0]];
     }
-    const values = key.map((k) => obj[k]);
+    const values = columns.map((k) => obj[k]);
     if (values.some((v2) => v2 === void 0 || v2 === null)) {
       return void 0;
     }
@@ -7956,6 +8511,17 @@ var ResultHydrator = class {
     }
     return parts.join(COMPOSITE_KEY_SEP);
   }
+  extractQueryKeyValue(obj, key) {
+    const columns = toColumnList2(key);
+    if (columns.length === 0) {
+      return void 0;
+    }
+    if (columns.length === 1) {
+      return obj[columns[0]];
+    }
+    const values = columns.map((k) => obj[k]);
+    return values.some((v2) => v2 === void 0 || v2 === null) ? void 0 : values;
+  }
 };
 
 // src/dx/set-operation-builder.ts
@@ -10377,6 +10943,7 @@ function rangeContainedBy(fieldOrColumn, valueOrRange, rangeType = "daterange")
 }
 
 // src/dx/schema-bridge.ts
+import { buildRelationKeyFields, toColumnList as toColumnList3 } from "@dbsp/types";
 import * as v from "valibot";
 function generatedTypeToColumnType(genType) {
   switch (genType) {
@@ -10429,13 +10996,49 @@ function mapRelationType2(kind) {
       return "belongsToMany";
   }
 }
+function sourceTableFromQualifiedName(qualifiedName) {
+  const dotIndex = qualifiedName.indexOf(".");
+  return dotIndex > 0 ? qualifiedName.slice(0, dotIndex) : qualifiedName;
+}
+function relationNameFromQualifiedName(qualifiedName) {
+  const dotIndex = qualifiedName.indexOf(".");
+  return dotIndex > 0 ? qualifiedName.slice(dotIndex + 1) : qualifiedName;
+}
+function columnListsEqual(left, right) {
+  const leftColumns = toColumnList3(left);
+  const rightColumns = toColumnList3(right);
+  return leftColumns.length === rightColumns.length && leftColumns.every((column, index) => column === rightColumns[index]);
+}
+function generatedReferencedColumns(key) {
+  const columns = toColumnList3(key);
+  return columns.length > 0 ? columns : ["id"];
+}
+function findRelationForeignKey(sourceTable, genRelation, tables) {
+  switch (genRelation.kind) {
+    case "belongsTo":
+      return tables.get(sourceTable)?.foreignKeys.find(
+        (fk) => fk.references.table === genRelation.target && columnListsEqual(fk.columns, genRelation.foreignKey)
+      );
+    case "hasMany":
+      return tables.get(genRelation.target)?.foreignKeys.find(
+        (fk) => fk.references.table === sourceTable && columnListsEqual(fk.columns, genRelation.foreignKey)
+      );
+    case "manyToMany":
+      return void 0;
+  }
+}
+function isGeneratedTableWithConfig(table) {
+  const columns = table.columns;
+  return typeof columns === "object" && columns !== null && typeof columns.type !== "string";
+}
 function buildTableIRFromDefinition(tableName, genTable, fkAutoIndex) {
   const columns = [];
   const foreignKeys = [];
   const indexes = [];
   const primaryKeys = [];
+  const tableColumns = isGeneratedTableWithConfig(genTable) ? genTable.columns : genTable;
   const indexedColumns = /* @__PURE__ */ new Set();
-  for (const [colName, colDef] of Object.entries(genTable)) {
+  for (const [colName, colDef] of Object.entries(tableColumns)) {
     const col2 = {
       name: colName,
       type: generatedTypeToColumnType(colDef.type),
@@ -10488,7 +11091,7 @@ function buildTableIRFromDefinition(tableName, genTable, fkAutoIndex) {
     const fkColumn = fk.columns[0];
     const targetColumn = fk.references.columns[0];
     if (fk.references.table === tableName && fkColumn !== void 0 && targetColumn !== void 0) {
-      const colDef = genTable[fkColumn];
+      const colDef = tableColumns[fkColumn];
       const inferredName = fkColumn.endsWith("Id") ? fkColumn.slice(0, -2) : "parent";
       const parentRole = colDef?.references?.parentRole ?? inferredName;
       const childRole = colDef?.references?.childRole ?? (parentRole === "parent" ? "children" : `${parentRole}s`);
@@ -10504,7 +11107,10 @@ function buildTableIRFromDefinition(tableName, genTable, fkAutoIndex) {
     }
   }
   let primaryKey;
-  if (primaryKeys.length > 0) {
+  const configuredPrimaryKey = isGeneratedTableWithConfig(genTable) ? genTable.primaryKey : void 0;
+  if (configuredPrimaryKey !== void 0) {
+    primaryKey = configuredPrimaryKey;
+  } else if (primaryKeys.length > 0) {
     primaryKey = primaryKeys.length === 1 ? primaryKeys[0] : primaryKeys;
   } else {
     const fkColumns = foreignKeys.flatMap((fk) => fk.columns);
@@ -10515,6 +11121,27 @@ function buildTableIRFromDefinition(tableName, genTable, fkAutoIndex) {
       primaryKey = hasId ? "id" : void 0;
     }
   }
+  if (isGeneratedTableWithConfig(genTable)) {
+    for (const fk of genTable.foreignKeys ?? []) {
+      const foreignKey = {
+        columns: [...fk.columns],
+        references: {
+          table: fk.references.table,
+          columns: [...fk.references.columns]
+        }
+      };
+      if (fk.onDelete) foreignKey.onDelete = fk.onDelete;
+      if (fk.onUpdate) foreignKey.onUpdate = fk.onUpdate;
+      foreignKeys.push(foreignKey);
+    }
+    for (const index of genTable.indexes ?? []) {
+      indexes.push({
+        columns: [...index.columns],
+        unique: index.unique ?? false,
+        ...index.name !== void 0 && { name: index.name }
+      });
+    }
+  }
   const frozenColumns = Object.freeze(columns);
   return Object.freeze({
     name: tableName,
@@ -10527,10 +11154,9 @@ function buildTableIRFromDefinition(tableName, genTable, fkAutoIndex) {
     }
   });
 }
-function buildRelationIR(qualifiedName, genRelation, hints) {
-  const dotIndex = qualifiedName.indexOf(".");
-  const sourceTable = dotIndex > 0 ? qualifiedName.slice(0, dotIndex) : qualifiedName;
-  const relationName = dotIndex > 0 ? qualifiedName.slice(dotIndex + 1) : qualifiedName;
+function buildRelationIR(qualifiedName, genRelation, hints, relationFk) {
+  const sourceTable = sourceTableFromQualifiedName(qualifiedName);
+  const relationName = relationNameFromQualifiedName(qualifiedName);
   const hint = hints[qualifiedName];
   const relCardinality = genRelation.kind === "hasMany" ? genRelation.cardinality : void 0;
   const cardinality = hint?.cardinality === "one" ? "one" : relCardinality === "one" ? "one" : genRelation.kind === "belongsTo" ? "one" : "many";
@@ -10554,14 +11180,38 @@ function buildRelationIR(qualifiedName, genRelation, hints) {
     case "belongsTo":
       return {
         ...baseRelation,
-        foreignKey: genRelation.foreignKey,
-        ...genRelation.targetKey ? { targetKey: genRelation.targetKey } : {}
+        ...buildRelationKeyFields(
+          relationFk ?? {
+            columns: genRelation.foreignKey,
+            references: {
+              table: genRelation.target,
+              columns: generatedReferencedColumns(genRelation.targetKey)
+            }
+          },
+          "belongsTo",
+          {
+            foreignKeyShape: genRelation.foreignKey,
+            ...genRelation.targetKey !== void 0 ? { referencedKeyShape: genRelation.targetKey } : {}
+          }
+        )
       };
     case "hasMany":
       return {
         ...baseRelation,
-        foreignKey: genRelation.foreignKey,
-        ...genRelation.sourceKey ? { sourceKey: genRelation.sourceKey } : {}
+        ...buildRelationKeyFields(
+          relationFk ?? {
+            columns: genRelation.foreignKey,
+            references: {
+              table: sourceTable,
+              columns: generatedReferencedColumns(genRelation.sourceKey)
+            }
+          },
+          "inverse",
+          {
+            foreignKeyShape: genRelation.foreignKey,
+            ...genRelation.sourceKey !== void 0 ? { referencedKeyShape: genRelation.sourceKey } : {}
+          }
+        )
       };
     case "manyToMany":
       return {
@@ -10583,9 +11233,15 @@ function buildModelFromSchema(schema2) {
     );
   }
   for (const [qualifiedName, genRelation] of Object.entries(schema2.relations)) {
+    const sourceTable = sourceTableFromQualifiedName(qualifiedName);
     relations.set(
       qualifiedName,
-      buildRelationIR(qualifiedName, genRelation, schema2.hints)
+      buildRelationIR(
+        qualifiedName,
+        genRelation,
+        schema2.hints,
+        findRelationForeignKey(sourceTable, genRelation, tables)
+      )
     );
   }
   return new ModelIRImpl(tables, relations);
@@ -10698,6 +11354,7 @@ var ForeignKeyReferenceSchema = v.object({
   parentRole: v.optional(v.string()),
   childRole: v.optional(v.string())
 });
+var StringOrStringArraySchema = v.union([v.string(), v.array(v.string())]);
 var ColumnDefinitionSchema = v.object({
   type: SchemaColumnTypeSchema,
   primaryKey: v.optional(v.boolean()),
@@ -10711,7 +11368,24 @@ var ColumnDefinitionSchema = v.object({
 var FlatTableDefinitionSchema = safeRecord(ColumnDefinitionSchema);
 var TableDefWithConfigSchema = v.object({
   columns: FlatTableDefinitionSchema,
-  primaryKey: v.array(v.string()),
+  primaryKey: v.optional(StringOrStringArraySchema),
+  foreignKeys: v.optional(
+    v.array(
+      v.object({
+        columns: v.array(v.string()),
+        references: v.object({
+          table: v.string(),
+          columns: v.array(v.string())
+        }),
+        onDelete: v.optional(
+          v.picklist(["CASCADE", "SET NULL", "RESTRICT", "NO ACTION"])
+        ),
+        onUpdate: v.optional(
+          v.picklist(["CASCADE", "SET NULL", "RESTRICT", "NO ACTION"])
+        )
+      })
+    )
+  ),
   indexes: v.optional(
     v.array(
       v.object({
@@ -10733,15 +11407,15 @@ var IncludeStrategySchema = v.optional(
 var BelongsToRelationSchema = v.object({
   kind: v.literal("belongsTo"),
   target: v.string(),
-  foreignKey: v.string(),
-  targetKey: v.optional(v.string()),
+  foreignKey: StringOrStringArraySchema,
+  targetKey: v.optional(StringOrStringArraySchema),
   includeStrategy: IncludeStrategySchema
 });
 var HasManyRelationSchema = v.object({
   kind: v.literal("hasMany"),
   target: v.string(),
-  foreignKey: v.string(),
-  sourceKey: v.optional(v.string()),
+  foreignKey: StringOrStringArraySchema,
+  sourceKey: v.optional(StringOrStringArraySchema),
   includeStrategy: IncludeStrategySchema
 });
 var ManyToManyRelationSchema = v.object({