@prisma-next/sql-contract-ts 0.3.0-dev.131 → 0.3.0-dev.133

package/README.md

@@ -33,7 +33,7 @@ This package was created in Phase 1 and refactored in Phase 2. It now composes t
 ## Architecture
 
 - **Composes generic core**: Uses `@prisma-next/contract-authoring` for generic builder state management (`TableBuilder`, `ModelBuilder`, `ContractBuilder` base class)
-- **SQL-specific types**: Provides SQL-specific contract types (`SqlContract`, `SqlStorage`, `SqlMappings`) from `@prisma-next/sql-contract/types`
+- **SQL-specific types**: Provides SQL-specific contract types (`SqlContract`, `SqlStorage`, `SqlModelStorage`) from `@prisma-next/sql-contract/types`
 - **SQL-specific build()**: Implements SQL-specific `build()` method in `SqlContractBuilder` that constructs `SqlContract` instances with SQL-specific structure (uniques, indexes, foreignKeys arrays)
 
 ```mermaid
@@ -152,7 +152,7 @@ export default defineConfig({
 - **`@prisma-next/contract-authoring`** - Target-agnostic builder core (builder state types, builder classes, type helpers)
 - **`@prisma-next/contract`** - Core contract types (`ContractBase`)
 - **`@prisma-next/core-control-plane`** - Contract config types used by `typescriptContract`
-- **`@prisma-next/sql-contract`** - SQL contract types (`SqlContract`, `SqlStorage`, `SqlMappings`)
+- **`@prisma-next/sql-contract`** - SQL contract types (`SqlContract`, `SqlStorage`, `SqlModelStorage`)
 - **`arktype`** - Runtime validation
 - **`ts-toolbelt`** - Type utilities
 

package/dist/contract-builder.d.mts

@@ -1,10 +1,9 @@
-import { BuildModels, BuildRelations, BuildStorageColumn, ColumnBuilderState, ContractBuilder, ContractBuilderState, ExtractColumns, ExtractPrimaryKey, ForeignKeyDefaultsState, ModelBuilder, ModelBuilderState, RelationDefinition, TableBuilder, TableBuilderState } from "@prisma-next/contract-authoring";
-import { ContractWithTypeMaps, Index, ReferentialAction, SqlContract, SqlMappings, StorageTypeInstance, TypeMaps } from "@prisma-next/sql-contract/types";
+import { BuildModels, BuildStorageColumn, ColumnBuilderState, ContractBuilder, ContractBuilderState, ExtractColumns, ExtractPrimaryKey, ForeignKeyDefaultsState, ModelBuilder, ModelBuilderState, RelationDefinition, TableBuilder, TableBuilderState } from "@prisma-next/contract-authoring";
+import { ContractWithTypeMaps, Index, ReferentialAction, SqlContract, StorageTypeInstance, TypeMaps } from "@prisma-next/sql-contract/types";
 import { ExtensionPackRef, TargetPackRef } from "@prisma-next/contract/framework-components";
 
 //#region src/contract-builder.d.ts
 
-type ContractBuilderMappings = SqlMappings;
 type ExtractCodecTypesFromPack<P> = P extends {
   __codecTypes?: infer C;
 } ? C extends Record<string, {
@@ -59,7 +58,7 @@ declare class SqlContractBuilder<CodecTypes extends Record<string, {
    * - `uniques`: defaults to `[]` (empty array)
    * - `indexes`: defaults to `[]` (empty array)
    * - `foreignKeys`: defaults to `[]` (empty array)
-   * - `relations`: defaults to `{}` (empty object) for both model-level and contract-level
+   * - model `relations`: defaults to `{}` (empty object) when not populated by the builder
    * - `nativeType`: required field set from column type descriptor when columns are defined
    *
    * The contract builder is the **only** place where normalization should occur.
@@ -70,7 +69,7 @@ declare class SqlContractBuilder<CodecTypes extends Record<string, {
    *
    * @returns A normalized SqlContract with all required fields present
    */
-  build(): Target extends string ? ContractWithTypeMaps<SqlContract<BuildStorage<Tables, Types>, BuildModels<Models>, BuildRelations<Models>, ContractBuilderMappings> & {
+  build(): Target extends string ? ContractWithTypeMaps<SqlContract<BuildStorage<Tables, Types>, BuildModels<Models>> & {
     readonly schemaVersion: '1';
     readonly target: Target;
     readonly targetFamily: 'sql';

package/dist/contract-builder.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"contract-builder.d.mts","names":[],"sources":["../src/contract-builder.ts"],"sourcesContent":[],"mappings":";;;;;;KAsIK,uBAAA,GAA0B,WA0DA;KAxD1B,yBAwDW,CAAA,CAAA,CAAA,GAxDoB,CAwDpB,SAAA;EAGS,YAAA,CAAA,EAAA,KAAA,EAAA;CACnB,GAAA,CAAA,SA3DQ,MA2DR,CAAA,MAAA,EAAA;EACe,MAAA,EAAA,OAAA;CAAO,CAAA,GAAA,CAAA,GA1DtB,MA0DsB,CAAA,MAAA,EAAA,KAAA,CAAA,GAzDxB,MAyDwB,CAAA,MAAA,EAAA,KAAA,CAAA;KAvDvB,mBAuDC,CAAA,CAAA,CAAA,GAAA,CAvDyB,CAuDzB,SAAA,OAAA,GAAA,CAAA,CAAA,EAvDiD,CAuDjD,EAAA,GAAA,IAAA,GAAA,KAAA,CAAA,UAAA,CAAA,CAAA,EAAA,KAAA,EAAA,EAAA,GAAA,IAAA,IAAA,CAAA,GAAA,KAAA;KAjDD,wBAkDmB,CAAA,cAlDoB,MAkDpB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAlD+C,mBAkD/C,CAAA,QAAO,MAhDf,KAgDe,GAhDP,yBAgDO,CAhDmB,KAgDnB,CAhDyB,CAgDzB,CAAA,CAAA,EAAzB,CAAA,MA/CI,KA+CJ,CAAA,CAAA;KA5CD,iBAyC6B,CAAA,mBAAA,MAAA,EAAA,gBAvChB,MAuCgB,CAAA,MAAA,EAvCD,kBAuCC,CAAA,MAAA,EAAA,OAAA,EAAA,MAAA,CAAA,CAAA,EAAA,WAAA,SAAA,MAAA,EAAA,GAAA,SAAA,CAAA,GAAA;EAMhB,SAAA,OAAA,EAAA,iBAAK,MAzCE,OAyCF,GAzCY,OAyCZ,CAzCoB,CAyCpB,CAAA,SAzC+B,kBAyC/B,CAAA,MAAA,EAAA,KAAA,KAAA,EAAA,KAAA,MAAA,CAAA,GApCf,kBAoCe,CApCI,IAoCJ,GAAA,OAAA,EApCoB,KAoCpB,CAAA,GAAA,KAAA,EAoBN;EACyB,SAAA,OAAA,EAtDtB,aAsDsB,CAAA;IAAsB,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;IAAM,SAAA,IAAA,CAAA,EAAA,MAAA;EAAO,CAAA,CAAA;EAA3B,SAAA,OAAA,EArD9B,aAqD8B,CArDhB,KAqDgB,CAAA;EACpB,SAAA,WAAA,EArDN,aAqDM,CAAA;IAAmB,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;IAAM,SAAA,UAAA,EAAA;MAAU,SAAA,KAAA,EAAA,MAAA;MAA9B,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;IACL,CAAA;IAAM,SAAA,IAAA,CAAA,EAAA,MAAA;IAAU,SAAA,QAAA,CAAA,EAlDtB,iBAkDsB;IAAnC,SAAA,QAAA,CAAA,EAjDa,iBAiDb;IAAkB,SAAA,UAAA,EAAA,OAAA;IAiDvB,SAAA,KAAA,EAAA,OAAkB;EACH,CAAA,CAAA;CAAsC,GAAA,CA/FtD,EA+FsD,SAAA,SAAA,MAAA,EAAA,GAAA;EAMtC,SAAA,UAAA,EAAA;IAAf,SAAA,OAAA,EApGyC,EAoGzC;IAFF,SAAA,IAAA,CAAA,EAAA,MAAA;EAFa,CAAA;CAOX,GAtGF,MAsGE,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA;KApGD,YAuGiC,CAAA,eAtGrB,MAsGqB,CAAA,MAAA,EApGlC,iBAoGkC,CAAA,MAAA,EAlGhC,MAkGgC,CAAA,MAAA,EAlGjB,kBAkGiB,CAAA,MAAA,EAAA,OAAA,EAAA,MAAA,CAAA,CAAA,EAAA,SAAA,MAAA,EAAA,GAAA,SAAA,CAAA,CAAA,EAAA,cA9FtB,MA8FsB,CAAA,MAAA,EA9FP,mBA8FO,CAAA,CAAA,GAAA;EAAuC,SAAA,MAAA,EAAA,iBAAf,MA3FrC,MA2FqC,GA3F5B,iBA2F4B,CA1FxD,CA0FwD,GAAA,MAAA,EAzFxD,cAyFwD,CAzFzC,MAyFyC,CAzFlC,CAyFkC,CAAA,CAAA,EAxFxD,iBAwFwD,CAxFtC,MAwFsC,CAxF/B,CAwF+B,CAAA,CAAA,CAAA,EAA1D;EAFa,SAAA,KAAA,EAnFC,KAmFD;CAGX;AACyB,UAnEd,aAmEc,CAAA,aAAA,MAAA,EAAA,iBAAA,OAAA,EAAA,aAAA,MAAA,CAAA,CAAA;EAAf,QAAA,CAAA,cAAA,OAAA,CAAA,CAAA,KAAA,CAAA,EAlE0B,KAkE1B,CAAA,EAlEkC,aAkElC,CAlEgD,IAkEhD,EAlEsD,KAkEtD,EAlE6D,IAkE7D,CAAA;EAAsC,IAAA,CAAA,WAAA,MAAA,CAAA,CAAA,EAAA,EAjExB,EAiEwB,CAAA,EAjEnB,aAiEmB,CAjEL,IAiEK,EAjEC,QAiED,EAjEW,EAiEX,CAAA;EAE7B,KAAA,EAAA,EAlEd,kBAkEc,CAlEK,IAkEL,EAlEW,QAkEX,EAlEqB,IAkErB,CAAA;;cAjBnB,kBAkBiB,CAAA,mBAjBF,MAiBE,CAAA,MAAA,EAAA;EACG,MAAA,EAAA,OAAA;CAAQ,CAAA,GAlByB,MAkBzB,CAAA,MAAA,EAAA,KAAA,CAAA,EAAA,eAAA,MAAA,GAAA,SAAA,GAAA,SAAA,EAAA,eAhBjB,MAgBiB,CAAA,MAAA,EAd9B,iBAc8B,CAAA,MAAA,EAZ5B,MAY4B,CAAA,MAAA,EAZb,kBAYa,CAAA,MAAA,EAAA,OAAA,EAAA,MAAA,CAAA,CAAA,EAAA,SAAA,MAAA,EAAA,GAAA,SAAA,CAAA,CAAA,GAT5B,MAS4B,CAAA,KAAA,EAAA,KAAA,CAAA,EAAA,eARjB,MAQiB,CAAA,MAAA,EAN9B,iBAM8B,CAAA,MAAA,EAAA,MAAA,EANI,MAMJ,CAAA,MAAA,EAAA,MAAA,CAAA,EAN4B,MAM5B,CAAA,MAAA,EAN2C,kBAM3C,CAAA,CAAA,CAAA,GAL5B,MAK4B,CAAA,KAAA,EAAA,KAAA,CAAA,EAAA,cAJlB,MAIkB,CAAA,MAAA,EAJH,mBAIG,CAAA,GAJoB,MAIpB,CAAA,KAAA,EAAA,KAAA,CAAA,EAAA,oBAAA,MAAA,GAAA,SAAA,GAAA,SAAA,EAAA,uBAFT,MAES,CAAA,MAAA,EAAA,OAAA,CAAA,GAAA,SAAA,GAAA,SAAA,EAAA,qBADX,MACW,CAAA,MAAA,EADI,MACJ,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAAA,SAAA,GAAA,SAAA,CAAA,SAAxB,eAAwB,CAAR,MAAQ,EAAA,MAAA,EAAQ,MAAR,EAAgB,WAAhB,EAA6B,cAA7B,EAA6C,YAA7C,CAAA,CAAA;EAAQ,mBAAA,KAAA,EACN,oBADM,CAEtC,MAFsC,EAGtC,MAHsC,EAItC,MAJsC,EAKtC,WALsC,EAMtC,cANsC,EAOtC,YAPsC,CAAA,GAAA;IAAQ,SAAA,YAAA,CAAA,EAStB,KATsB;EAAa,CAAA;EAAgB;;;;;;;;;;;;;;;;;;EA+BvE,KAAA,CAAA,CAAA,EAFG,MAEH,SAAA,MAAA,GADF,oBACE,CAAA,WAAA,CACE,YADF,CACe,MADf,EACuB,KADvB,CAAA,EAEE,WAFF,CAEc,MAFd,CAAA,EAGE,cAHF,CAGiB,MAHjB,CAAA,EAIE,uBAJF,CAAA,GAAA;IAOmB,SAAA,aAAA,EAAA,GAAA;IAEK,SAAA,MAAA,EAFL,MAEK;IAA6B,SAAA,YAAA,EAAA,KAAA;IAChD,SAAA,WAAA,EADmB,WACnB,SAAA,MAAA,GADgD,WAChD,GAAA,MAAA;EAAuB,CAAA,GAAA,CAAvB,cAAuB,SAAA,MAAA,CAAA,MAAA,EAAA,OAAA,CAAA,GAAA;IACK,SAAA,cAAA,EAAA,cAAA;EAC3B,CAAA,GAAA,MAAA,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA,GAAA,CACH,YADG,SACkB,MADlB,CAAA,MAAA,EACiC,MADjC,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAAA;IACH,SAAA,YAAA,EAC4B,YAD5B;EAAoC,CAAA,GAEjC,MAFiC,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA,EAGvC,QAHuC,CAG9B,UAH8B,EAGlB,MAHkB,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA,CAAA,GAAA,KAAA;EAAf,MAAA,CAAA,UAAA,MAAA,EAAA,cAsRd,aAtRc,CAAA,MAAA,EAsRQ,CAtRR,CAAA,GAsRa,aAtRb,CAAA,MAAA,EAsRmC,CAtRnC,CAAA,CAAA,CAAA,OAAA,EAwRnB,KAxRmB,GAwRX,aAxRW,CAAA,MAAA,EAwRW,CAxRX,CAAA,CAAA,EAyR3B,kBAzR2B,CA0R5B,yBA1R4B,CA0RF,KA1RE,CAAA,SA0Ra,MA1Rb,CAAA,MAAA,EAAA,KAAA,CAAA,GA2RxB,UA3RwB,GA4RxB,yBA5RwB,CA4RE,KA5RF,CAAA,EA6R5B,CA7R4B,EA8R5B,MA9R4B,EA+R5B,MA/R4B,EAgS5B,KAhS4B,EAiS5B,WAjS4B,EAkS5B,cAlS4B,EAmS5B,YAnS4B,CAAA;EACO,cAAA,CAAA,oBAgUF,MAhUE,CAAA,MAAA,EAgUa,gBAhUb,CAAA,KAAA,EAAA,MAAA,CAAA,CAAA,CAAA,CAAA,KAAA,EAiU5B,KAjU4B,CAAA,EAkUlC,kBAlUkC,CAmUnC,UAnUmC,GAmUtB,wBAnUsB,CAmUG,KAnUH,CAAA,EAoUnC,MApUmC,EAqUnC,MArUmC,EAsUnC,MAtUmC,EAuUnC,KAvUmC,EAwUnC,WAxUmC,EAyUnC,cAzUmC,EA0UnC,YA1UmC,CAAA;EACzB,YAAA,CAAA,UAwXoB,MAxXpB,CAAA,MAAA,EAwXmC,MAxXnC,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,CAAA,CAAA,YAAA,EAyXI,CAzXJ,CAAA,EA0XT,kBA1XS,CA0XU,UA1XV,EA0XsB,MA1XtB,EA0X8B,MA1X9B,EA0XsC,MA1XtC,EA0X8C,KA1X9C,EA0XqD,WA1XrD,EA0XkE,cA1XlE,EA0XkF,CA1XlF,CAAA;EACG,WAAA,CAAA,UAAA,MAAA,CAAA,CAAA,IAAA,EA0YP,CA1YO,CAAA,EA2YZ,kBA3YY,CA4Yb,UA5Ya,EA6Yb,MA7Ya,EA8Yb,MA9Ya,EA+Yb,MA/Ya,EAgZb,KAhZa,EAiZb,CAjZa,EAkZb,cAlZa,EAmZb,YAnZa,CAAA;EAAY,KAAA,CAAA,kBAAA,MAAA,EAAA,UAsaf,YAtae,CAuavB,SAvauB,EAwavB,MAxauB,CAAA,MAAA,EAwaR,kBAxaQ,CAAA,MAAA,EAAA,OAAA,EAAA,MAAA,CAAA,CAAA,EAAA,SAAA,MAAA,EAAA,GAAA,SAAA,CAAA,CAAA,CAAA,IAAA,EA4anB,SA5amB,EAAA,QAAA,EAAA,CAAA,CAAA,EA6aX,YA7aW,CA6aE,SA7aF,CAAA,EAAA,GA6aiB,CA7ajB,GAAA,SAAA,CAAA,EA8axB,kBA9awB,CA+azB,UA/ayB,EAgbzB,MAhbyB,EAibzB,MAjbyB,GAibhB,MAjbgB,CAibT,SAjbS,EAibE,UAjbF,CAiba,CAjbb,CAAA,OAAA,CAAA,CAAA,CAAA,EAkbzB,MAlbyB,EAmbzB,KAnbyB,EAobzB,WApbyB,EAqbzB,cArbyB,EAsbzB,YAtbyB,CAAA;EAArB,KAAA,CAAA,kBAAA,MAAA,EAAA,kBAAA,MAAA,EAAA,UAqdM,YArdN,CAsdF,SAtdE,EAudF,SAvdE,EAwdF,MAxdE,CAAA,MAAA,EAAA,MAAA,CAAA,EAydF,MAzdE,CAAA,MAAA,EAyda,kBAzdb,CAAA,CAAA,CAAA,CAAA,IAAA,EA4dE,SA5dF,EAAA,KAAA,EA6dG,SA7dH,EAAA,QAAA,EAAA,CAAA,CAAA,EA+dC,YA/dD,CA+dc,SA/dd,EA+dyB,SA/dzB,EA+doC,MA/dpC,CAAA,KAAA,EAAA,KAAA,CAAA,EA+d0D,MA/d1D,CAAA,KAAA,EAAA,KAAA,CAAA,CAAA,EAAA,GAgeC,CAheD,GAAA,SAAA,CAAA,EAieH,kBAjeG,CAkeJ,UAleI,EAmeJ,MAneI,EAoeJ,MApeI,EAqeJ,MAreI,GAqeK,MAreL,CAqeY,SAreZ,EAqeuB,UArevB,CAqekC,CArelC,CAAA,OAAA,CAAA,CAAA,CAAA,EAseJ,KAteI,EAueJ,WAveI,EAweJ,cAxeI,EAyeJ,YAzeI,CAAA;EAjBF,kBAAA,CAAA,MAAA,EAkhBM,uBAlhBN,CAAA,EAmhBD,kBAnhBC,CAohBF,UAphBE,EAqhBF,MArhBE,EAshBF,MAthBE,EAuhBF,MAvhBE,EAwhBF,KAxhBE,EAyhBF,WAzhBE,EA0hBF,cA1hBE,EA2hBF,YA3hBE,CAAA;EAoSkC,WAAA,CAAA,aAAA,MAAA,EAAA,aAwQQ,mBAxQR,CAAA,CAAA,IAAA,EAyQ9B,IAzQ8B,EAAA,YAAA,EA0QtB,IA1QsB,CAAA,EA2QnC,kBA3QmC,CA4QpC,UA5QoC,EA6QpC,MA7QoC,EA8QpC,MA9QoC,EA+QpC,MA/QoC,EAgRpC,KAhRoC,GAgR5B,MAhR4B,CAgRrB,IAhRqB,EAgRf,IAhRe,CAAA,EAiRpC,WAjRoC,EAkRpC,cAlRoC,EAmRpC,YAnRoC,CAAA;;AAA2B,iBAwSnD,cAxSmD,CAAA,mBAyS9C,MAzS8C,CAAA,MAAA,EAAA;EAAtB,MAAA,EAAA,OAAA;CAEhC,CAAA,GAuS8C,MAvS9C,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA,CAAA,CAAA,EAwSR,kBAxSQ,CAwSW,UAxSX,CAAA"}
+{"version":3,"file":"contract-builder.d.mts","names":[],"sources":["../src/contract-builder.ts"],"sourcesContent":[],"mappings":";;;;;;KAgIK,yBAwDW,CAAA,CAAA,CAAA,GAxDoB,CAwDpB,SAAA;EAGS,YAAA,CAAA,EAAA,KAAA,EAAA;CACnB,GAAA,CAAA,SA3DQ,MA2DR,CAAA,MAAA,EAAA;EACe,MAAA,EAAA,OAAA;CAAO,CAAA,GAAA,CAAA,GA1DtB,MA0DsB,CAAA,MAAA,EAAA,KAAA,CAAA,GAzDxB,MAyDwB,CAAA,MAAA,EAAA,KAAA,CAAA;KAvDvB,mBAuDC,CAAA,CAAA,CAAA,GAAA,CAvDyB,CAuDzB,SAAA,OAAA,GAAA,CAAA,CAAA,EAvDiD,CAuDjD,EAAA,GAAA,IAAA,GAAA,KAAA,CAAA,UAAA,CAAA,CAAA,EAAA,KAAA,EAAA,EAAA,GAAA,IAAA,IAAA,CAAA,GAAA,KAAA;KAjDD,wBAkDmB,CAAA,cAlDoB,MAkDpB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAlD+C,mBAkD/C,CAAA,QAAO,MAhDf,KAgDe,GAhDP,yBAgDO,CAhDmB,KAgDnB,CAhDyB,CAgDzB,CAAA,CAAA,EAAzB,CAAA,MA/CI,KA+CJ,CAAA,CAAA;KA5CD,iBAyC6B,CAAA,mBAAA,MAAA,EAAA,gBAvChB,MAuCgB,CAAA,MAAA,EAvCD,kBAuCC,CAAA,MAAA,EAAA,OAAA,EAAA,MAAA,CAAA,CAAA,EAAA,WAAA,SAAA,MAAA,EAAA,GAAA,SAAA,CAAA,GAAA;EAMhB,SAAA,OAAA,EAAA,iBAAK,MAzCE,OAyCF,GAzCY,OAyCZ,CAzCoB,CAyCpB,CAAA,SAzC+B,kBAyC/B,CAAA,MAAA,EAAA,KAAA,KAAA,EAAA,KAAA,MAAA,CAAA,GApCf,kBAoCe,CApCI,IAoCJ,GAAA,OAAA,EApCoB,KAoCpB,CAAA,GAAA,KAAA,EAoBN;EACyB,SAAA,OAAA,EAtDtB,aAsDsB,CAAA;IAAsB,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;IAAM,SAAA,IAAA,CAAA,EAAA,MAAA;EAAO,CAAA,CAAA;EAA3B,SAAA,OAAA,EArD9B,aAqD8B,CArDhB,KAqDgB,CAAA;EACpB,SAAA,WAAA,EArDN,aAqDM,CAAA;IAAmB,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;IAAM,SAAA,UAAA,EAAA;MAAU,SAAA,KAAA,EAAA,MAAA;MAA9B,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;IACL,CAAA;IAAM,SAAA,IAAA,CAAA,EAAA,MAAA;IAAU,SAAA,QAAA,CAAA,EAlDtB,iBAkDsB;IAAnC,SAAA,QAAA,CAAA,EAjDa,iBAiDb;IAAkB,SAAA,UAAA,EAAA,OAAA;IAiDvB,SAAA,KAAA,EAAA,OAAkB;EACH,CAAA,CAAA;CAAsC,GAAA,CA/FtD,EA+FsD,SAAA,SAAA,MAAA,EAAA,GAAA;EAMtC,SAAA,UAAA,EAAA;IAAf,SAAA,OAAA,EApGyC,EAoGzC;IAFF,SAAA,IAAA,CAAA,EAAA,MAAA;EAFa,CAAA;CAOX,GAtGF,MAsGE,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA;KApGD,YAuGiC,CAAA,eAtGrB,MAsGqB,CAAA,MAAA,EApGlC,iBAoGkC,CAAA,MAAA,EAlGhC,MAkGgC,CAAA,MAAA,EAlGjB,kBAkGiB,CAAA,MAAA,EAAA,OAAA,EAAA,MAAA,CAAA,CAAA,EAAA,SAAA,MAAA,EAAA,GAAA,SAAA,CAAA,CAAA,EAAA,cA9FtB,MA8FsB,CAAA,MAAA,EA9FP,mBA8FO,CAAA,CAAA,GAAA;EAAuC,SAAA,MAAA,EAAA,iBAAf,MA3FrC,MA2FqC,GA3F5B,iBA2F4B,CA1FxD,CA0FwD,GAAA,MAAA,EAzFxD,cAyFwD,CAzFzC,MAyFyC,CAzFlC,CAyFkC,CAAA,CAAA,EAxFxD,iBAwFwD,CAxFtC,MAwFsC,CAxF/B,CAwF+B,CAAA,CAAA,CAAA,EAA1D;EAFa,SAAA,KAAA,EAnFC,KAmFD;CAGX;AACyB,UAnEd,aAmEc,CAAA,aAAA,MAAA,EAAA,iBAAA,OAAA,EAAA,aAAA,MAAA,CAAA,CAAA;EAAf,QAAA,CAAA,cAAA,OAAA,CAAA,CAAA,KAAA,CAAA,EAlE0B,KAkE1B,CAAA,EAlEkC,aAkElC,CAlEgD,IAkEhD,EAlEsD,KAkEtD,EAlE6D,IAkE7D,CAAA;EAAsC,IAAA,CAAA,WAAA,MAAA,CAAA,CAAA,EAAA,EAjExB,EAiEwB,CAAA,EAjEnB,aAiEmB,CAjEL,IAiEK,EAjEC,QAiED,EAjEW,EAiEX,CAAA;EAE7B,KAAA,EAAA,EAlEd,kBAkEc,CAlEK,IAkEL,EAlEW,QAkEX,EAlEqB,IAkErB,CAAA;;cAjBnB,kBAkBiB,CAAA,mBAjBF,MAiBE,CAAA,MAAA,EAAA;EACG,MAAA,EAAA,OAAA;CAAQ,CAAA,GAlByB,MAkBzB,CAAA,MAAA,EAAA,KAAA,CAAA,EAAA,eAAA,MAAA,GAAA,SAAA,GAAA,SAAA,EAAA,eAhBjB,MAgBiB,CAAA,MAAA,EAd9B,iBAc8B,CAAA,MAAA,EAZ5B,MAY4B,CAAA,MAAA,EAZb,kBAYa,CAAA,MAAA,EAAA,OAAA,EAAA,MAAA,CAAA,CAAA,EAAA,SAAA,MAAA,EAAA,GAAA,SAAA,CAAA,CAAA,GAT5B,MAS4B,CAAA,KAAA,EAAA,KAAA,CAAA,EAAA,eARjB,MAQiB,CAAA,MAAA,EAN9B,iBAM8B,CAAA,MAAA,EAAA,MAAA,EANI,MAMJ,CAAA,MAAA,EAAA,MAAA,CAAA,EAN4B,MAM5B,CAAA,MAAA,EAN2C,kBAM3C,CAAA,CAAA,CAAA,GAL5B,MAK4B,CAAA,KAAA,EAAA,KAAA,CAAA,EAAA,cAJlB,MAIkB,CAAA,MAAA,EAJH,mBAIG,CAAA,GAJoB,MAIpB,CAAA,KAAA,EAAA,KAAA,CAAA,EAAA,oBAAA,MAAA,GAAA,SAAA,GAAA,SAAA,EAAA,uBAFT,MAES,CAAA,MAAA,EAAA,OAAA,CAAA,GAAA,SAAA,GAAA,SAAA,EAAA,qBADX,MACW,CAAA,MAAA,EADI,MACJ,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAAA,SAAA,GAAA,SAAA,CAAA,SAAxB,eAAwB,CAAR,MAAQ,EAAA,MAAA,EAAQ,MAAR,EAAgB,WAAhB,EAA6B,cAA7B,EAA6C,YAA7C,CAAA,CAAA;EAAQ,mBAAA,KAAA,EACN,oBADM,CAEtC,MAFsC,EAGtC,MAHsC,EAItC,MAJsC,EAKtC,WALsC,EAMtC,cANsC,EAOtC,YAPsC,CAAA,GAAA;IAAQ,SAAA,YAAA,CAAA,EAStB,KATsB;EAAa,CAAA;EAAgB;;;;;;;;;;;;;;;;;;EAmClB,KAAA,CAAA,CAAA,EANlD,MAMkD,SAAA,MAAA,GALvD,oBAKuD,CAJrD,WAIqD,CAJzC,YAIyC,CAJ5B,MAI4B,EAJpB,KAIoB,CAAA,EAJZ,WAIY,CAJA,MAIA,CAAA,CAAA,GAAA;IAChD,SAAA,aAAA,EAAA,GAAA;IAAuB,SAAA,MAAA,EAHT,MAGS;IACK,SAAA,YAAA,EAAA,KAAA;IAC3B,SAAA,WAAA,EAHkB,WAGlB,SAAA,MAAA,GAH+C,WAG/C,GAAA,MAAA;EACH,CAAA,GAAA,CAHE,cAGF,SAHyB,MAGzB,CAAA,MAAA,EAAA,OAAA,CAAA,GAAA;IAAoC,SAAA,cAAA,EAFN,cAEM;EAAf,CAAA,GADlB,MACkB,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA,GAAA,CAArB,YAAqB,SAAA,MAAA,CAAA,MAAA,EAAe,MAAf,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAAA;IACO,SAAA,YAAA,EAAA,YAAA;EACzB,CAAA,GAAA,MAAA,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA,EACN,QADM,CACG,UADH,EACe,MADf,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA,CAAA,GAAA,KAAA;EACG,MAAA,CAAA,UAAA,MAAA,EAAA,cA6PC,aA7PD,CAAA,MAAA,EA6PuB,CA7PvB,CAAA,GA6P4B,aA7P5B,CAAA,MAAA,EA6PkD,CA7PlD,CAAA,CAAA,CAAA,OAAA,EA+PJ,KA/PI,GA+PI,aA/PJ,CAAA,MAAA,EA+P0B,CA/P1B,CAAA,CAAA,EAgQZ,kBAhQY,CAiQb,yBAjQa,CAiQa,KAjQb,CAAA,SAiQ4B,MAjQ5B,CAAA,MAAA,EAAA,KAAA,CAAA,GAkQT,UAlQS,GAmQT,yBAnQS,CAmQiB,KAnQjB,CAAA,EAoQb,CApQa,EAqQb,MArQa,EAsQb,MAtQa,EAuQb,KAvQa,EAwQb,WAxQa,EAyQb,cAzQa,EA0Qb,YA1Qa,CAAA;EAAY,cAAA,CAAA,oBAwSQ,MAxSR,CAAA,MAAA,EAwSuB,gBAxSvB,CAAA,KAAA,EAAA,MAAA,CAAA,CAAA,CAAA,CAAA,KAAA,EAySlB,KAzSkB,CAAA,EA0SxB,kBA1SwB,CA2SzB,UA3SyB,GA2SZ,wBA3SY,CA2Sa,KA3Sb,CAAA,EA4SzB,MA5SyB,EA6SzB,MA7SyB,EA8SzB,MA9SyB,EA+SzB,KA/SyB,EAgTzB,WAhTyB,EAiTzB,cAjTyB,EAkTzB,YAlTyB,CAAA;EAArB,YAAA,CAAA,UAiW0B,MAjW1B,CAAA,MAAA,EAiWyC,MAjWzC,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,CAAA,CAAA,YAAA,EAkWU,CAlWV,CAAA,EAmWH,kBAnWG,CAmWgB,UAnWhB,EAmW4B,MAnW5B,EAmWoC,MAnWpC,EAmW4C,MAnW5C,EAmWoD,KAnWpD,EAmW2D,WAnW3D,EAmWwE,cAnWxE,EAmWwF,CAnWxF,CAAA;EAZF,WAAA,CAAA,UAAA,MAAA,CAAA,CAAA,IAAA,EAgYI,CAhYJ,CAAA,EAiYD,kBAjYC,CAkYF,UAlYE,EAmYF,MAnYE,EAoYF,MApYE,EAqYF,MArYE,EAsYF,KAtYE,EAuYF,CAvYE,EAwYF,cAxYE,EAyYF,YAzYE,CAAA;EAyQkC,KAAA,CAAA,kBAAA,MAAA,EAAA,UAmJ1B,YAnJ0B,CAoJlC,SApJkC,EAqJlC,MArJkC,CAAA,MAAA,EAqJnB,kBArJmB,CAAA,MAAA,EAAA,OAAA,EAAA,MAAA,CAAA,CAAA,EAAA,SAAA,MAAA,EAAA,GAAA,SAAA,CAAA,CAAA,CAAA,IAAA,EAyJ9B,SAzJ8B,EAAA,QAAA,EAAA,CAAA,CAAA,EA0JtB,YA1JsB,CA0JT,SA1JS,CAAA,EAAA,GA0JM,CA1JN,GAAA,SAAA,CAAA,EA2JnC,kBA3JmC,CA4JpC,UA5JoC,EA6JpC,MA7JoC,EA8JpC,MA9JoC,GA8J3B,MA9J2B,CA8JpB,SA9JoB,EA8JT,UA9JS,CA8JE,CA9JF,CAAA,OAAA,CAAA,CAAA,CAAA,EA+JpC,MA/JoC,EAgKpC,KAhKoC,EAiKpC,WAjKoC,EAkKpC,cAlKoC,EAmKpC,YAnKoC,CAAA;EAAtB,KAAA,CAAA,kBAAA,MAAA,EAAA,kBAAA,MAAA,EAAA,UAkMJ,YAlMI,CAmMZ,SAnMY,EAoMZ,SApMY,EAqMZ,MArMY,CAAA,MAAA,EAAA,MAAA,CAAA,EAsMZ,MAtMY,CAAA,MAAA,EAsMG,kBAtMH,CAAA,CAAA,CAAA,CAAA,IAAA,EAyMR,SAzMQ,EAAA,KAAA,EA0MP,SA1MO,EAAA,QAAA,EAAA,CAAA,CAAA,EA4MT,YA5MS,CA4MI,SA5MJ,EA4Me,SA5Mf,EA4M0B,MA5M1B,CAAA,KAAA,EAAA,KAAA,CAAA,EA4MgD,MA5MhD,CAAA,KAAA,EAAA,KAAA,CAAA,CAAA,EAAA,GA6MT,CA7MS,GAAA,SAAA,CAAA,EA8Mb,kBA9Ma,CA+Md,UA/Mc,EAgNd,MAhNc,EAiNd,MAjNc,EAkNd,MAlNc,GAkNL,MAlNK,CAkNE,SAlNF,EAkNa,UAlNb,CAkNwB,CAlNxB,CAAA,OAAA,CAAA,CAAA,CAAA,EAmNd,KAnNc,EAoNd,WApNc,EAqNd,cArNc,EAsNd,YAtNc,CAAA;EAAiD,kBAAA,CAAA,MAAA,EA8OvD,uBA9OuD,CAAA,EA+O9D,kBA/O8D,CAgP/D,UAhP+D,EAiP/D,MAjP+D,EAkP/D,MAlP+D,EAmP/D,MAnP+D,EAoP/D,KApP+D,EAqP/D,WArP+D,EAsP/D,cAtP+D,EAuP/D,YAvP+D,CAAA;EAAtB,WAAA,CAAA,aAAA,MAAA,EAAA,aAwQG,mBAxQH,CAAA,CAAA,IAAA,EAyQnC,IAzQmC,EAAA,YAAA,EA0Q3B,IA1Q2B,CAAA,EA2QxC,kBA3QwC,CA4QzC,UA5QyC,EA6QzC,MA7QyC,EA8QzC,MA9QyC,EA+QzC,MA/QyC,EAgRzC,KAhRyC,GAgRjC,MAhRiC,CAgR1B,IAhR0B,EAgRpB,IAhRoB,CAAA,EAiRzC,WAjRyC,EAkRzC,cAlRyC,EAmRzC,YAnRyC,CAAA;;AAEF,iBAsS3B,cAtS2B,CAAA,mBAuStB,MAvSsB,CAAA,MAAA,EAAA;EAAtB,MAAA,EAAA,OAAA;CAES,CAAA,GAqS6B,MArS7B,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA,CAAA,CAAA,EAsSzB,kBAtSyB,CAsSN,UAtSM,CAAA"}

package/dist/contract-builder.mjs

@@ -1,126 +1,7 @@
 import { ContractBuilder, ModelBuilder, TableBuilder, createTable } from "@prisma-next/contract-authoring";
 import { applyFkDefaults } from "@prisma-next/sql-contract/types";
 import { ifDefined } from "@prisma-next/utils/defined";
-import "@prisma-next/sql-contract/validate";
-import { ColumnDefaultSchema, ForeignKeySchema, IndexSchema } from "@prisma-next/sql-contract/validators";
-import { type } from "arktype";
 
-//#region src/contract.ts
-/**
-* Structural validation schema for SqlContract using Arktype.
-* This validates the shape and types of the contract structure.
-*/
-const StorageColumnSchema = type({
-	nativeType: "string",
-	codecId: "string",
-	nullable: "boolean",
-	"typeParams?": "Record<string, unknown>",
-	"typeRef?": "string",
-	"default?": ColumnDefaultSchema
-});
-const StorageTypeInstanceSchema = type.declare().type({
-	codecId: "string",
-	nativeType: "string",
-	typeParams: "Record<string, unknown>"
-});
-const PrimaryKeySchema = type.declare().type({
-	columns: type.string.array().readonly(),
-	"name?": "string"
-});
-const UniqueConstraintSchema = type.declare().type({
-	columns: type.string.array().readonly(),
-	"name?": "string"
-});
-const StorageTableSchema = type({
-	columns: type({ "[string]": StorageColumnSchema }),
-	"primaryKey?": PrimaryKeySchema,
-	uniques: UniqueConstraintSchema.array().readonly(),
-	indexes: IndexSchema.array().readonly(),
-	foreignKeys: ForeignKeySchema.array().readonly()
-});
-const StorageSchema = type({
-	tables: type({ "[string]": StorageTableSchema }),
-	"types?": type({ "[string]": StorageTypeInstanceSchema })
-});
-const ModelFieldSchema = type.declare().type({ column: "string" });
-const ModelStorageSchema = type.declare().type({ table: "string" });
-const ModelSchema = type.declare().type({
-	storage: ModelStorageSchema,
-	fields: type({ "[string]": ModelFieldSchema }),
-	relations: type({ "[string]": "unknown" }),
-	"owner?": "string"
-});
-const ExecutionMutationDefaultValueSchema = type({
-	kind: "'generator'",
-	id: type("string").narrow((value, ctx) => {
-		return /^[A-Za-z0-9][A-Za-z0-9_-]*$/.test(value) ? true : ctx.mustBe("a flat generator id");
-	}),
-	"params?": "Record<string, unknown>"
-});
-const ExecutionSchema = type({ mutations: { defaults: type({
-	ref: {
-		table: "string",
-		column: "string"
-	},
-	"onCreate?": ExecutionMutationDefaultValueSchema,
-	"onUpdate?": ExecutionMutationDefaultValueSchema
-}).array().readonly() } });
-/**
-* Complete SqlContract schema for structural validation.
-* This validates the entire contract structure at once.
-*/
-const SqlContractSchema = type({
-	"schemaVersion?": "'1'",
-	target: "string",
-	targetFamily: "'sql'",
-	storageHash: "string",
-	"executionHash?": "string",
-	"profileHash?": "string",
-	"capabilities?": "Record<string, Record<string, boolean>>",
-	"extensionPacks?": "Record<string, unknown>",
-	"meta?": "Record<string, unknown>",
-	"sources?": "Record<string, unknown>",
-	"roots?": "Record<string, string>",
-	models: type({ "[string]": ModelSchema }),
-	storage: StorageSchema,
-	"execution?": ExecutionSchema
-});
-/**
-* Computes mapping dictionaries from models and storage structures.
-* Assumes valid input - validation happens separately in validateContractLogic().
-*
-* @param models - Models object from contract
-* @param storage - Storage object from contract
-* @param existingMappings - Existing mappings from contract input (optional)
-* @returns Computed mappings dictionary
-*/
-function computeMappings(models, _storage, existingMappings) {
-	const modelToTable = {};
-	const tableToModel = {};
-	const fieldToColumn = {};
-	const columnToField = {};
-	for (const [modelName, model] of Object.entries(models)) {
-		const tableName = model.storage.table;
-		modelToTable[modelName] = tableName;
-		tableToModel[tableName] = modelName;
-		const modelFieldToColumn = {};
-		for (const [fieldName, field] of Object.entries(model.fields)) {
-			const columnName = field.column;
-			modelFieldToColumn[fieldName] = columnName;
-			if (!columnToField[tableName]) columnToField[tableName] = {};
-			columnToField[tableName][columnName] = fieldName;
-		}
-		fieldToColumn[modelName] = modelFieldToColumn;
-	}
-	return {
-		modelToTable: existingMappings?.modelToTable ?? modelToTable,
-		tableToModel: existingMappings?.tableToModel ?? tableToModel,
-		fieldToColumn: existingMappings?.fieldToColumn ?? fieldToColumn,
-		columnToField: existingMappings?.columnToField ?? columnToField
-	};
-}
-
-//#endregion
 //#region src/contract-builder.ts
 function isPlainObject(value) {
 	if (typeof value !== "object" || value === null) return false;
@@ -168,7 +49,7 @@ var SqlContractBuilder = class SqlContractBuilder extends ContractBuilder {
 	* - `uniques`: defaults to `[]` (empty array)
 	* - `indexes`: defaults to `[]` (empty array)
 	* - `foreignKeys`: defaults to `[]` (empty array)
-	* - `relations`: defaults to `{}` (empty object) for both model-level and contract-level
+	* - model `relations`: defaults to `{}` (empty object) when not populated by the builder
 	* - `nativeType`: required field set from column type descriptor when columns are defined
 	*
 	* The contract builder is the **only** place where normalization should occur.
@@ -251,35 +132,44 @@ var SqlContractBuilder = class SqlContractBuilder extends ContractBuilder {
 			const modelState = this.state.models[modelName];
 			if (!modelState) continue;
 			const modelStateTyped = modelState;
-			const fields = {};
+			const tableName = modelStateTyped.table;
+			const tableState = this.state.tables[tableName];
+			const tableColumns = tableState ? tableState.columns : {};
+			const storageFields = {};
+			const domainFields = {};
 			for (const fieldName in modelStateTyped.fields) {
 				const columnName = modelStateTyped.fields[fieldName];
-				if (columnName) fields[fieldName] = { column: columnName };
+				if (!columnName) continue;
+				storageFields[fieldName] = { column: columnName };
+				const column = tableColumns[columnName];
+				if (column) domainFields[fieldName] = {
+					codecId: column.type,
+					nullable: column.nullable ?? false
+				};
+			}
+			const modelRelations = {};
+			if (modelStateTyped.relations) for (const relName in modelStateTyped.relations) {
+				const rel = modelStateTyped.relations[relName];
+				if (!rel) continue;
+				modelRelations[relName] = {
+					to: rel.to,
+					cardinality: rel.cardinality,
+					on: {
+						localFields: rel.on.parentCols,
+						targetFields: rel.on.childCols
+					}
+				};
 			}
 			modelsPartial[modelName] = {
-				storage: { table: modelStateTyped.table },
-				fields,
-				relations: {}
+				storage: {
+					table: tableName,
+					fields: storageFields
+				},
+				fields: domainFields,
+				relations: modelRelations
 			};
 		}
-		const relationsPartial = {};
-		for (const modelName in this.state.models) {
-			const modelState = this.state.models[modelName];
-			if (!modelState) continue;
-			const modelStateTyped = modelState;
-			const tableName = modelStateTyped.table;
-			if (!tableName) continue;
-			if (modelStateTyped.relations && Object.keys(modelStateTyped.relations).length > 0) {
-				if (!relationsPartial[tableName]) relationsPartial[tableName] = {};
-				const tableRelations = relationsPartial[tableName];
-				if (tableRelations) for (const relationName in modelStateTyped.relations) {
-					const relation = modelStateTyped.relations[relationName];
-					if (relation) tableRelations[relationName] = relation;
-				}
-			}
-		}
 		const models = modelsPartial;
-		const mappings = computeMappings(models, storage);
 		const extensionNamespaces = this.state.extensionNamespaces ?? [];
 		const extensionPacks = { ...this.state.extensionPacks || {} };
 		for (const namespace of extensionNamespaces) if (!Object.hasOwn(extensionPacks, namespace)) extensionPacks[namespace] = {};
@@ -289,9 +179,8 @@ var SqlContractBuilder = class SqlContractBuilder extends ContractBuilder {
 			targetFamily: "sql",
 			storageHash: this.state.storageHash || "sha256:ts-builder-placeholder",
 			models,
-			relations: relationsPartial,
+			roots: {},
 			storage,
-			mappings,
 			...execution ? { execution } : {},
 			extensionPacks,
 			capabilities: this.state.capabilities || {},

package/dist/contract-builder.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"contract-builder.mjs","names":["modelToTable: Record<string, string>","tableToModel: Record<string, string>","fieldToColumn: Record<string, Record<string, string>>","columnToField: Record<string, Record<string, string>>","modelFieldToColumn: Record<string, string>","executionDefaults: ExecutionMutationDefault[]","storage: BuildStorage<Tables, Types>","modelsPartial: Partial<BuildModels<Models>>","fields: Partial<Record<string, ModelField>>","relationsPartial: Partial<Record<string, Record<string, RelationDefinition>>>","extensionPacks: Record<string, unknown>"],"sources":["../src/contract.ts","../src/contract-builder.ts"],"sourcesContent":["import type {\n  ModelDefinition,\n  ModelField,\n  ModelStorage,\n  PrimaryKey,\n  SqlContract,\n  SqlMappings,\n  SqlStorage,\n  StorageTypeInstance,\n  UniqueConstraint,\n} from '@prisma-next/sql-contract/types';\nimport { decodeContractDefaults } from '@prisma-next/sql-contract/validate';\nimport {\n  ColumnDefaultSchema,\n  ForeignKeySchema,\n  IndexSchema,\n} from '@prisma-next/sql-contract/validators';\nimport { type } from 'arktype';\nimport type { O } from 'ts-toolbelt';\n\n/**\n * Structural validation schema for SqlContract using Arktype.\n * This validates the shape and types of the contract structure.\n */\n\nconst StorageColumnSchema = type({\n  nativeType: 'string',\n  codecId: 'string',\n  nullable: 'boolean',\n  'typeParams?': 'Record<string, unknown>',\n  'typeRef?': 'string',\n  'default?': ColumnDefaultSchema,\n});\n\nconst StorageTypeInstanceSchema = type.declare<StorageTypeInstance>().type({\n  codecId: 'string',\n  nativeType: 'string',\n  typeParams: 'Record<string, unknown>',\n});\n\nconst PrimaryKeySchema = type.declare<PrimaryKey>().type({\n  columns: type.string.array().readonly(),\n  'name?': 'string',\n});\n\nconst UniqueConstraintSchema = type.declare<UniqueConstraint>().type({\n  columns: type.string.array().readonly(),\n  'name?': 'string',\n});\n\nconst StorageTableSchema = type({\n  columns: type({ '[string]': StorageColumnSchema }),\n  'primaryKey?': PrimaryKeySchema,\n  uniques: UniqueConstraintSchema.array().readonly(),\n  indexes: IndexSchema.array().readonly(),\n  foreignKeys: ForeignKeySchema.array().readonly(),\n});\n\nconst StorageSchema = type({\n  tables: type({ '[string]': StorageTableSchema }),\n  'types?': type({ '[string]': StorageTypeInstanceSchema }),\n});\n\nconst ModelFieldSchema = type.declare<ModelField>().type({\n  column: 'string',\n});\n\nconst ModelStorageSchema = type.declare<ModelStorage>().type({\n  table: 'string',\n});\n\nconst ModelSchema = type.declare<ModelDefinition>().type({\n  storage: ModelStorageSchema,\n  fields: type({ '[string]': ModelFieldSchema }),\n  relations: type({ '[string]': 'unknown' }),\n  'owner?': 'string',\n});\n\nconst GeneratorIdSchema = type('string').narrow((value, ctx) => {\n  return /^[A-Za-z0-9][A-Za-z0-9_-]*$/.test(value) ? true : ctx.mustBe('a flat generator id');\n});\n\nconst ExecutionMutationDefaultValueSchema = type({\n  kind: \"'generator'\",\n  id: GeneratorIdSchema,\n  'params?': 'Record<string, unknown>',\n});\n\nconst ExecutionMutationDefaultSchema = type({\n  ref: {\n    table: 'string',\n    column: 'string',\n  },\n  'onCreate?': ExecutionMutationDefaultValueSchema,\n  'onUpdate?': ExecutionMutationDefaultValueSchema,\n});\n\nconst ExecutionSchema = type({\n  mutations: {\n    defaults: ExecutionMutationDefaultSchema.array().readonly(),\n  },\n});\n\n/**\n * Complete SqlContract schema for structural validation.\n * This validates the entire contract structure at once.\n */\nconst SqlContractSchema = type({\n  'schemaVersion?': \"'1'\",\n  target: 'string',\n  targetFamily: \"'sql'\",\n  storageHash: 'string',\n  'executionHash?': 'string',\n  'profileHash?': 'string',\n  'capabilities?': 'Record<string, Record<string, boolean>>',\n  'extensionPacks?': 'Record<string, unknown>',\n  'meta?': 'Record<string, unknown>',\n  'sources?': 'Record<string, unknown>',\n  'roots?': 'Record<string, string>',\n  models: type({ '[string]': ModelSchema }),\n  storage: StorageSchema,\n  'execution?': ExecutionSchema,\n});\n\n/**\n * Validates the structural shape of a SqlContract using Arktype.\n *\n * **Responsibility: Validation Only**\n * This function validates that the contract has the correct structure and types.\n * It does NOT normalize the contract - normalization must happen in the contract builder.\n *\n * The contract passed to this function must already be normalized (all required fields present).\n * If normalization is needed, it should be done by the contract builder before calling this function.\n *\n * This ensures all required fields are present and have the correct types.\n *\n * @param value - The contract value to validate (typically from a JSON import)\n * @returns The validated contract if structure is valid\n * @throws Error if the contract structure is invalid\n */\nfunction validateContractStructure<T extends SqlContract<SqlStorage>>(\n  value: unknown,\n): O.Overwrite<T, { targetFamily: 'sql' }> {\n  // Check targetFamily first to provide a clear error message for unsupported target families\n  const rawValue = value as { targetFamily?: string };\n  if (rawValue.targetFamily !== undefined && rawValue.targetFamily !== 'sql') {\n    /* c8 ignore next */\n    throw new Error(`Unsupported target family: ${rawValue.targetFamily}`);\n  }\n\n  const contractResult = SqlContractSchema(value);\n\n  if (contractResult instanceof type.errors) {\n    const messages = contractResult.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Contract structural validation failed: ${messages}`);\n  }\n\n  // After validation, contractResult matches the schema and preserves the input structure\n  // TypeScript needs an assertion here due to exactOptionalPropertyTypes differences\n  // between Arktype's inferred type and the generic T, but runtime-wise they're compatible\n  return contractResult as O.Overwrite<T, { targetFamily: 'sql' }>;\n}\n\n/**\n * Computes mapping dictionaries from models and storage structures.\n * Assumes valid input - validation happens separately in validateContractLogic().\n *\n * @param models - Models object from contract\n * @param storage - Storage object from contract\n * @param existingMappings - Existing mappings from contract input (optional)\n * @returns Computed mappings dictionary\n */\nexport function computeMappings(\n  models: Record<string, ModelDefinition>,\n  _storage: SqlStorage,\n  existingMappings?: Partial<SqlMappings>,\n): SqlMappings {\n  const modelToTable: Record<string, string> = {};\n  const tableToModel: Record<string, string> = {};\n  const fieldToColumn: Record<string, Record<string, string>> = {};\n  const columnToField: Record<string, Record<string, string>> = {};\n\n  for (const [modelName, model] of Object.entries(models)) {\n    const tableName = model.storage.table;\n    modelToTable[modelName] = tableName;\n    tableToModel[tableName] = modelName;\n\n    const modelFieldToColumn: Record<string, string> = {};\n    for (const [fieldName, field] of Object.entries(model.fields)) {\n      const columnName = field.column;\n      modelFieldToColumn[fieldName] = columnName;\n\n      if (!columnToField[tableName]) {\n        columnToField[tableName] = {};\n      }\n      columnToField[tableName][columnName] = fieldName;\n    }\n    fieldToColumn[modelName] = modelFieldToColumn;\n  }\n\n  return {\n    modelToTable: existingMappings?.modelToTable ?? modelToTable,\n    tableToModel: existingMappings?.tableToModel ?? tableToModel,\n    fieldToColumn: existingMappings?.fieldToColumn ?? fieldToColumn,\n    columnToField: existingMappings?.columnToField ?? columnToField,\n  };\n}\n\n/**\n * Validates logical consistency of a **structurally validated** SqlContract.\n * This checks that references (e.g., foreign keys, primary keys, uniques) point to storage objects that already exist.\n * Structural validation is expected to have already completed before this helper runs.\n *\n * Rule: keep this focused on structural consistency only; capability/feature\n * gating (e.g., defaults.*) belongs in migration/runtime verification, not here.\n *\n * @param structurallyValidatedContract - The contract whose structure has already been validated\n * @throws Error if logical validation fails\n */\nfunction validateContractLogic(structurallyValidatedContract: SqlContract<SqlStorage>): void {\n  const { storage, models } = structurallyValidatedContract;\n  const tableNames = new Set(Object.keys(storage.tables));\n\n  // Validate storage.types if present\n  if (storage.types) {\n    for (const [typeName, typeInstance] of Object.entries(storage.types)) {\n      // Validate typeParams is not an array (arrays are objects in JS but not valid here)\n      if (Array.isArray(typeInstance.typeParams)) {\n        throw new Error(\n          `Type instance \"${typeName}\" has invalid typeParams: must be a plain object, not an array`,\n        );\n      }\n    }\n  }\n\n  // Validate columns in all tables\n  for (const [tableName, table] of Object.entries(storage.tables)) {\n    for (const [columnName, column] of Object.entries(table.columns)) {\n      // Validate typeParams and typeRef are mutually exclusive\n      if (column.typeParams !== undefined && column.typeRef !== undefined) {\n        throw new Error(\n          `Column \"${columnName}\" in table \"${tableName}\" has both typeParams and typeRef; these are mutually exclusive`,\n        );\n      }\n\n      // Validate typeParams is not an array (arrays are objects in JS but not valid here)\n      if (column.typeParams !== undefined && Array.isArray(column.typeParams)) {\n        throw new Error(\n          `Column \"${columnName}\" in table \"${tableName}\" has invalid typeParams: must be a plain object, not an array`,\n        );\n      }\n\n      // Validate NOT NULL columns do not have literal null defaults\n      if (!column.nullable && column.default?.kind === 'literal' && column.default.value === null) {\n        throw new Error(\n          `Table \"${tableName}\" column \"${columnName}\" is NOT NULL but has a literal null default`,\n        );\n      }\n\n      // Validate typeRef points to an existing storage.types key and matches codecId/nativeType\n      if (column.typeRef !== undefined) {\n        const referencedType = storage.types?.[column.typeRef];\n        if (!referencedType) {\n          throw new Error(\n            `Column \"${columnName}\" in table \"${tableName}\" references non-existent type instance \"${column.typeRef}\" (not found in storage.types)`,\n          );\n        }\n\n        if (column.codecId !== referencedType.codecId) {\n          throw new Error(\n            `Column \"${columnName}\" in table \"${tableName}\" has codecId \"${column.codecId}\" but references type instance \"${column.typeRef}\" with codecId \"${referencedType.codecId}\"`,\n          );\n        }\n\n        if (column.nativeType !== referencedType.nativeType) {\n          throw new Error(\n            `Column \"${columnName}\" in table \"${tableName}\" has nativeType \"${column.nativeType}\" but references type instance \"${column.typeRef}\" with nativeType \"${referencedType.nativeType}\"`,\n          );\n        }\n      }\n    }\n  }\n\n  // Validate models\n  for (const [modelName, modelUnknown] of Object.entries(models)) {\n    // normalizeContract() ensures models have both domain (DomainModel) and SQL-specific (ModelDefinition) properties\n    const model = modelUnknown as unknown as ModelDefinition;\n    // Validate model has storage.table\n    if (!model.storage?.table) {\n      /* c8 ignore next */\n      throw new Error(`Model \"${modelName}\" is missing storage.table`);\n    }\n\n    const tableName = model.storage.table;\n\n    // Validate model's table exists in storage\n    if (!tableNames.has(tableName)) {\n      /* c8 ignore next */\n      throw new Error(`Model \"${modelName}\" references non-existent table \"${tableName}\"`);\n    }\n\n    const table = storage.tables[tableName];\n    if (!table) {\n      /* c8 ignore next */\n      throw new Error(`Model \"${modelName}\" references non-existent table \"${tableName}\"`);\n    }\n\n    // Validate model's table has a primary key\n    if (!table.primaryKey) {\n      /* c8 ignore next */\n      throw new Error(`Model \"${modelName}\" table \"${tableName}\" is missing a primary key`);\n    }\n\n    const columnNames = new Set(Object.keys(table.columns));\n\n    // Validate model fields\n    if (!model.fields) {\n      /* c8 ignore next */\n      throw new Error(`Model \"${modelName}\" is missing fields`);\n    }\n\n    for (const [fieldName, fieldUnknown] of Object.entries(model.fields)) {\n      const field = fieldUnknown as { column: string };\n      // Validate field has column property\n      if (!field.column) {\n        /* c8 ignore next */\n        throw new Error(`Model \"${modelName}\" field \"${fieldName}\" is missing column property`);\n      }\n\n      // Validate field's column exists in the model's backing table\n      if (!columnNames.has(field.column)) {\n        /* c8 ignore next */\n        throw new Error(\n          `Model \"${modelName}\" field \"${fieldName}\" references non-existent column \"${field.column}\" in table \"${tableName}\"`,\n        );\n      }\n    }\n\n    // Validate model relations have corresponding foreign keys\n    if (model.relations) {\n      for (const [relationName, relation] of Object.entries(model.relations)) {\n        // For now, we'll do basic validation. Full FK validation can be added later\n        // This would require checking that the relation's on.parentCols/childCols match FKs\n        if (\n          typeof relation === 'object' &&\n          relation !== null &&\n          'on' in relation &&\n          'to' in relation\n        ) {\n          const on = relation.on as { parentCols?: string[]; childCols?: string[] };\n          const cardinality = (relation as { cardinality?: string }).cardinality;\n          if (on.parentCols && on.childCols) {\n            // For 1:N relations, the foreign key is on the child table\n            // For N:1 relations, the foreign key is on the parent table (this table)\n            // For now, we'll skip validation for 1:N relations as the FK is on the child table\n            // and we'll validate it when we process the child model\n            if (cardinality === '1:N') {\n              // Foreign key is on the child table, skip validation here\n              // It will be validated when we process the child model\n              continue;\n            }\n\n            // For N:1 relations, check that there's a foreign key matching this relation\n            const hasMatchingFk = table.foreignKeys?.some((fk) => {\n              return (\n                fk.columns.length === on.childCols?.length &&\n                fk.columns.every((col, i) => col === on.childCols?.[i]) &&\n                fk.references.table &&\n                fk.references.columns.length === on.parentCols?.length &&\n                fk.references.columns.every((col, i) => col === on.parentCols?.[i])\n              );\n            });\n\n            if (!hasMatchingFk) {\n              /* c8 ignore next */\n              throw new Error(\n                `Model \"${modelName}\" relation \"${relationName}\" does not have a corresponding foreign key in table \"${tableName}\"`,\n              );\n            }\n          }\n        }\n      }\n    }\n  }\n\n  for (const [tableName, table] of Object.entries(storage.tables)) {\n    const columnNames = new Set(Object.keys(table.columns));\n\n    // Validate primaryKey references existing columns\n    if (table.primaryKey) {\n      for (const colName of table.primaryKey.columns) {\n        if (!columnNames.has(colName)) {\n          /* c8 ignore next */\n          throw new Error(\n            `Table \"${tableName}\" primaryKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    // Validate unique constraints reference existing columns\n    for (const unique of table.uniques) {\n      for (const colName of unique.columns) {\n        if (!columnNames.has(colName)) {\n          /* c8 ignore next */\n          throw new Error(\n            `Table \"${tableName}\" unique constraint references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    // Validate indexes reference existing columns\n    for (const index of table.indexes) {\n      for (const colName of index.columns) {\n        if (!columnNames.has(colName)) {\n          /* c8 ignore next */\n          throw new Error(`Table \"${tableName}\" index references non-existent column \"${colName}\"`);\n        }\n      }\n    }\n\n    // Validate foreignKeys reference existing tables and columns\n    for (const fk of table.foreignKeys) {\n      // Validate FK columns exist in the referencing table\n      for (const colName of fk.columns) {\n        if (!columnNames.has(colName)) {\n          /* c8 ignore next */\n          throw new Error(\n            `Table \"${tableName}\" foreignKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n\n      // Validate referenced table exists\n      if (!tableNames.has(fk.references.table)) {\n        /* c8 ignore next */\n        throw new Error(\n          `Table \"${tableName}\" foreignKey references non-existent table \"${fk.references.table}\"`,\n        );\n      }\n\n      // Validate referenced columns exist in the referenced table\n      const referencedTable = storage.tables[fk.references.table];\n      if (!referencedTable) {\n        /* c8 ignore next */\n        throw new Error(\n          `Table \"${tableName}\" foreignKey references non-existent table \"${fk.references.table}\"`,\n        );\n      }\n      const referencedColumnNames = new Set(Object.keys(referencedTable.columns));\n\n      for (const colName of fk.references.columns) {\n        if (!referencedColumnNames.has(colName)) {\n          /* c8 ignore next */\n          throw new Error(\n            `Table \"${tableName}\" foreignKey references non-existent column \"${colName}\" in table \"${fk.references.table}\"`,\n          );\n        }\n      }\n\n      if (fk.columns.length !== fk.references.columns.length) {\n        /* c8 ignore next */\n        throw new Error(\n          `Table \"${tableName}\" foreignKey column count (${fk.columns.length}) does not match referenced column count (${fk.references.columns.length})`,\n        );\n      }\n    }\n  }\n}\n\nimport { normalizeContract } from '@prisma-next/sql-contract/validate';\nexport { normalizeContract };\n\n/**\n * Validates that a JSON import conforms to the SqlContract structure\n * and returns a fully typed SqlContract.\n *\n * This function is specifically for validating JSON imports (e.g., from contract.json).\n * Contracts created via the builder API (defineContract) are already valid and should\n * not be passed to this function - use them directly without validation.\n *\n * Performs both structural validation (using Arktype) and logical validation\n * (ensuring all references are valid).\n *\n *\n * The type parameter `TContract` must be a fully-typed contract type (e.g., from `contract.d.ts`),\n * NOT a generic `SqlContract<SqlStorage>`.\n *\n * **Correct:**\n * ```typescript\n * import type { Contract } from './contract.d';\n * const contract = validateContract<Contract>(contractJson);\n * ```\n *\n * **Incorrect:**\n * ```typescript\n * import type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';\n * const contract = validateContract<SqlContract<SqlStorage>>(contractJson);\n * // ❌ Types will be inferred as 'unknown' - this won't work!\n * ```\n *\n * The type parameter provides the specific table structure, column types, and model definitions.\n * This function validates the runtime structure matches the type, but does not infer types\n * from JSON (as JSON imports lose literal type information).\n *\n * @param value - The contract value to validate (must be from a JSON import, not a builder)\n * @returns A validated contract matching the TContract type\n * @throws Error if the contract structure or logic is invalid\n */\nexport function validateContract<TContract extends SqlContract<SqlStorage>>(\n  value: unknown,\n): TContract {\n  // Normalize contract first (add defaults for missing fields)\n  const normalized = normalizeContract(value);\n\n  const structurallyValid = validateContractStructure<SqlContract<SqlStorage>>(normalized);\n\n  const contractForValidation = structurallyValid as SqlContract<SqlStorage>;\n\n  // Validate contract logic (contracts must already have fully qualified type IDs)\n  validateContractLogic(contractForValidation);\n\n  // Extract existing mappings (optional - will be computed if missing)\n  const existingMappings = (contractForValidation as { mappings?: Partial<SqlMappings> }).mappings;\n\n  // Compute mappings from models and storage\n  const mappings = computeMappings(\n    contractForValidation.models as Record<string, ModelDefinition>,\n    contractForValidation.storage,\n    existingMappings,\n  );\n\n  // Add default values for optional metadata fields if missing\n  const contractWithMappings = {\n    ...structurallyValid,\n    models: contractForValidation.models,\n    relations: contractForValidation.relations,\n    storage: contractForValidation.storage,\n    mappings,\n  };\n\n  // Type assertion: The caller provides the strict type via TContract.\n  // We validate the structure matches, but the precise types come from contract.d.ts\n  return decodeContractDefaults(contractWithMappings) as TContract;\n}\n","import type { ExtensionPackRef, TargetPackRef } from '@prisma-next/contract/framework-components';\nimport type {\n  ColumnDefault,\n  ColumnDefaultLiteralInputValue,\n  ColumnDefaultLiteralValue,\n  ExecutionMutationDefault,\n  ExecutionMutationDefaultValue,\n  TaggedRaw,\n} from '@prisma-next/contract/types';\nimport type {\n  ColumnBuilderState,\n  ColumnTypeDescriptor,\n  ContractBuilderState,\n  ForeignKeyDefaultsState,\n  ModelBuilderState,\n  RelationDefinition,\n  TableBuilderState,\n} from '@prisma-next/contract-authoring';\nimport {\n  type BuildModels,\n  type BuildRelations,\n  type BuildStorageColumn,\n  ContractBuilder,\n  createTable,\n  type ExtractColumns,\n  type ExtractPrimaryKey,\n  ModelBuilder,\n  type Mutable,\n  TableBuilder,\n} from '@prisma-next/contract-authoring';\nimport {\n  applyFkDefaults,\n  type ContractWithTypeMaps,\n  type Index,\n  type ModelDefinition,\n  type ModelField,\n  type ReferentialAction,\n  type SqlContract,\n  type SqlMappings,\n  type SqlStorage,\n  type StorageTypeInstance,\n  type TypeMaps,\n} from '@prisma-next/sql-contract/types';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { computeMappings } from './contract';\n\ntype ColumnDefaultForCodec<\n  CodecTypes extends Record<string, { output: unknown }>,\n  CodecId extends string,\n> =\n  | {\n      readonly kind: 'literal';\n      readonly value: CodecId extends keyof CodecTypes ? CodecTypes[CodecId]['output'] : unknown;\n    }\n  | { readonly kind: 'function'; readonly expression: string };\n\ntype SqlNullableColumnOptions<\n  Descriptor extends ColumnTypeDescriptor,\n  CodecTypes extends Record<string, { output: unknown }>,\n> = {\n  readonly type: Descriptor;\n  readonly nullable: true;\n  readonly typeParams?: Record<string, unknown>;\n  readonly default?: ColumnDefaultForCodec<CodecTypes, Descriptor['codecId']>;\n};\n\ntype SqlNonNullableColumnOptions<\n  Descriptor extends ColumnTypeDescriptor,\n  CodecTypes extends Record<string, { output: unknown }>,\n> = {\n  readonly type: Descriptor;\n  readonly nullable?: false;\n  readonly typeParams?: Record<string, unknown>;\n  readonly default?: ColumnDefaultForCodec<CodecTypes, Descriptor['codecId']>;\n};\n\ntype SqlGeneratedColumnOptions<\n  Descriptor extends ColumnTypeDescriptor,\n  CodecTypes extends Record<string, { output: unknown }>,\n> = Omit<SqlNonNullableColumnOptions<Descriptor, CodecTypes>, 'default' | 'nullable'> & {\n  readonly nullable?: false;\n  readonly generated: ExecutionMutationDefaultValue;\n};\n\ntype SqlColumnOptions<\n  Descriptor extends ColumnTypeDescriptor,\n  CodecTypes extends Record<string, { output: unknown }>,\n> =\n  | SqlNullableColumnOptions<Descriptor, CodecTypes>\n  | SqlNonNullableColumnOptions<Descriptor, CodecTypes>;\n\nexport interface SqlTableBuilder<\n  Name extends string,\n  CodecTypes extends Record<string, { output: unknown }>,\n  Columns extends Record<string, ColumnBuilderState<string, boolean, string>> = Record<\n    never,\n    ColumnBuilderState<string, boolean, string>\n  >,\n  PrimaryKey extends readonly string[] | undefined = undefined,\n> extends Omit<TableBuilder<Name, Columns, PrimaryKey>, 'column' | 'generated'> {\n  column<ColName extends string, Descriptor extends ColumnTypeDescriptor>(\n    name: ColName,\n    options: SqlNullableColumnOptions<Descriptor, CodecTypes>,\n  ): TableBuilder<\n    Name,\n    Columns & Record<ColName, ColumnBuilderState<ColName, true, Descriptor['codecId']>>,\n    PrimaryKey\n  >;\n  column<ColName extends string, Descriptor extends ColumnTypeDescriptor>(\n    name: ColName,\n    options: SqlNonNullableColumnOptions<Descriptor, CodecTypes>,\n  ): TableBuilder<\n    Name,\n    Columns & Record<ColName, ColumnBuilderState<ColName, false, Descriptor['codecId']>>,\n    PrimaryKey\n  >;\n  column<ColName extends string, Descriptor extends ColumnTypeDescriptor>(\n    name: ColName,\n    options: SqlColumnOptions<Descriptor, CodecTypes>,\n  ): TableBuilder<\n    Name,\n    Columns & Record<ColName, ColumnBuilderState<ColName, boolean, Descriptor['codecId']>>,\n    PrimaryKey\n  >;\n  generated<ColName extends string, Descriptor extends ColumnTypeDescriptor>(\n    name: ColName,\n    options: SqlGeneratedColumnOptions<Descriptor, CodecTypes>,\n  ): TableBuilder<\n    Name,\n    Columns & Record<ColName, ColumnBuilderState<ColName, false, Descriptor['codecId']>>,\n    PrimaryKey\n  >;\n}\n\ntype ContractBuilderMappings = SqlMappings;\n\ntype ExtractCodecTypesFromPack<P> = P extends { __codecTypes?: infer C }\n  ? C extends Record<string, { output: unknown }>\n    ? C\n    : Record<string, never>\n  : Record<string, never>;\n\ntype UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (\n  k: infer I,\n) => void\n  ? I\n  : never;\n\ntype MergeExtensionCodecTypes<Packs extends Record<string, unknown>> = UnionToIntersection<\n  {\n    [K in keyof Packs]: ExtractCodecTypesFromPack<Packs[K]>;\n  }[keyof Packs]\n>;\n\ntype BuildStorageTable<\n  _TableName extends string,\n  Columns extends Record<string, ColumnBuilderState<string, boolean, string>>,\n  PK extends readonly string[] | undefined,\n> = {\n  readonly columns: {\n    readonly [K in keyof Columns]: Columns[K] extends ColumnBuilderState<\n      string,\n      infer Null,\n      infer TType\n    >\n      ? BuildStorageColumn<Null & boolean, TType>\n      : never;\n  };\n  readonly uniques: ReadonlyArray<{ readonly columns: readonly string[]; readonly name?: string }>;\n  readonly indexes: ReadonlyArray<Index>;\n  readonly foreignKeys: ReadonlyArray<{\n    readonly columns: readonly string[];\n    readonly references: { readonly table: string; readonly columns: readonly string[] };\n    readonly name?: string;\n    readonly onDelete?: ReferentialAction;\n    readonly onUpdate?: ReferentialAction;\n    readonly constraint: boolean;\n    readonly index: boolean;\n  }>;\n} & (PK extends readonly string[]\n  ? { readonly primaryKey: { readonly columns: PK; readonly name?: string } }\n  : Record<string, never>);\n\ntype BuildStorage<\n  Tables extends Record<\n    string,\n    TableBuilderState<\n      string,\n      Record<string, ColumnBuilderState<string, boolean, string>>,\n      readonly string[] | undefined\n    >\n  >,\n  Types extends Record<string, StorageTypeInstance>,\n> = {\n  readonly tables: {\n    readonly [K in keyof Tables]: BuildStorageTable<\n      K & string,\n      ExtractColumns<Tables[K]>,\n      ExtractPrimaryKey<Tables[K]>\n    >;\n  };\n  readonly types: Types;\n};\n\ntype BuildStorageTables<\n  Tables extends Record<\n    string,\n    TableBuilderState<\n      string,\n      Record<string, ColumnBuilderState<string, boolean, string>>,\n      readonly string[] | undefined\n    >\n  >,\n> = {\n  readonly [K in keyof Tables]: BuildStorageTable<\n    K & string,\n    ExtractColumns<Tables[K]>,\n    ExtractPrimaryKey<Tables[K]>\n  >;\n};\n\nexport interface ColumnBuilder<Name extends string, Nullable extends boolean, Type extends string> {\n  nullable<Value extends boolean>(value?: Value): ColumnBuilder<Name, Value, Type>;\n  type<Id extends string>(id: Id): ColumnBuilder<Name, Nullable, Id>;\n  build(): ColumnBuilderState<Name, Nullable, Type>;\n}\n\nfunction isPlainObject(value: unknown): value is Record<string, unknown> {\n  if (typeof value !== 'object' || value === null) return false;\n  const proto = Object.getPrototypeOf(value);\n  return proto === Object.prototype || proto === null;\n}\n\nfunction isJsonValue(value: unknown): value is ColumnDefaultLiteralValue {\n  if (value === null) return true;\n  const valueType = typeof value;\n  if (valueType === 'string' || valueType === 'number' || valueType === 'boolean') return true;\n  if (Array.isArray(value)) {\n    return value.every((item) => isJsonValue(item));\n  }\n  if (isPlainObject(value)) {\n    return Object.values(value).every((item) => isJsonValue(item));\n  }\n  return false;\n}\n\nfunction encodeDefaultLiteralValue(\n  value: ColumnDefaultLiteralInputValue,\n): ColumnDefaultLiteralValue {\n  if (typeof value === 'bigint') {\n    return { $type: 'bigint', value: value.toString() };\n  }\n  if (value instanceof Date) {\n    return value.toISOString();\n  }\n  if (isJsonValue(value)) {\n    if (isPlainObject(value) && '$type' in value) {\n      return { $type: 'raw', value } satisfies TaggedRaw;\n    }\n    return value;\n  }\n  throw new Error(\n    'Unsupported column default literal value: expected JSON-safe value, bigint, or Date.',\n  );\n}\n\nfunction encodeColumnDefault(defaultInput: ColumnDefault): ColumnDefault {\n  if (defaultInput.kind === 'function') {\n    return { kind: 'function', expression: defaultInput.expression };\n  }\n  return { kind: 'literal', value: encodeDefaultLiteralValue(defaultInput.value) };\n}\n\nclass SqlContractBuilder<\n  CodecTypes extends Record<string, { output: unknown }> = Record<string, never>,\n  Target extends string | undefined = undefined,\n  Tables extends Record<\n    string,\n    TableBuilderState<\n      string,\n      Record<string, ColumnBuilderState<string, boolean, string>>,\n      readonly string[] | undefined\n    >\n  > = Record<never, never>,\n  Models extends Record<\n    string,\n    ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>\n  > = Record<never, never>,\n  Types extends Record<string, StorageTypeInstance> = Record<never, never>,\n  StorageHash extends string | undefined = undefined,\n  ExtensionPacks extends Record<string, unknown> | undefined = undefined,\n  Capabilities extends Record<string, Record<string, boolean>> | undefined = undefined,\n> extends ContractBuilder<Target, Tables, Models, StorageHash, ExtensionPacks, Capabilities> {\n  protected declare readonly state: ContractBuilderState<\n    Target,\n    Tables,\n    Models,\n    StorageHash,\n    ExtensionPacks,\n    Capabilities\n  > & {\n    readonly storageTypes?: Types;\n  };\n  /**\n   * This method is responsible for normalizing the contract IR by setting default values\n   * for all required fields:\n   * - `nullable`: defaults to `false` if not provided\n   * - `uniques`: defaults to `[]` (empty array)\n   * - `indexes`: defaults to `[]` (empty array)\n   * - `foreignKeys`: defaults to `[]` (empty array)\n   * - `relations`: defaults to `{}` (empty object) for both model-level and contract-level\n   * - `nativeType`: required field set from column type descriptor when columns are defined\n   *\n   * The contract builder is the **only** place where normalization should occur.\n   * Validators, parsers, and emitters should assume the contract is already normalized.\n   *\n   * **Required**: Use column type descriptors (e.g., `int4Column`, `textColumn`) when defining columns.\n   * This ensures `nativeType` is set correctly at build time.\n   *\n   * @returns A normalized SqlContract with all required fields present\n   */\n  build(): Target extends string\n    ? ContractWithTypeMaps<\n        SqlContract<\n          BuildStorage<Tables, Types>,\n          BuildModels<Models>,\n          BuildRelations<Models>,\n          ContractBuilderMappings\n        > & {\n          readonly schemaVersion: '1';\n          readonly target: Target;\n          readonly targetFamily: 'sql';\n          readonly storageHash: StorageHash extends string ? StorageHash : string;\n        } & (ExtensionPacks extends Record<string, unknown>\n            ? { readonly extensionPacks: ExtensionPacks }\n            : Record<string, never>) &\n          (Capabilities extends Record<string, Record<string, boolean>>\n            ? { readonly capabilities: Capabilities }\n            : Record<string, never>),\n        TypeMaps<CodecTypes, Record<string, never>>\n      >\n    : never {\n    type BuiltContract = Target extends string\n      ? ContractWithTypeMaps<\n          SqlContract<\n            BuildStorage<Tables, Types>,\n            BuildModels<Models>,\n            BuildRelations<Models>,\n            ContractBuilderMappings\n          > & {\n            readonly schemaVersion: '1';\n            readonly target: Target;\n            readonly targetFamily: 'sql';\n            readonly storageHash: StorageHash extends string ? StorageHash : string;\n          } & (ExtensionPacks extends Record<string, unknown>\n              ? { readonly extensionPacks: ExtensionPacks }\n              : Record<string, never>) &\n            (Capabilities extends Record<string, Record<string, boolean>>\n              ? { readonly capabilities: Capabilities }\n              : Record<string, never>),\n          TypeMaps<CodecTypes, Record<string, never>>\n        >\n      : never;\n    if (!this.state.target) {\n      throw new Error('target is required. Call .target() before .build()');\n    }\n\n    const target = this.state.target as Target & string;\n\n    const storageTables = {} as Partial<Mutable<BuildStorageTables<Tables>>>;\n    const executionDefaults: ExecutionMutationDefault[] = [];\n\n    for (const tableName of Object.keys(this.state.tables) as Array<keyof Tables & string>) {\n      const tableState = this.state.tables[tableName];\n      if (!tableState) continue;\n\n      type TableKey = typeof tableName;\n      type ColumnDefs = ExtractColumns<Tables[TableKey]>;\n      type PrimaryKey = ExtractPrimaryKey<Tables[TableKey]>;\n\n      const columns = {} as Partial<{\n        [K in keyof ColumnDefs]: BuildStorageColumn<\n          ColumnDefs[K]['nullable'] & boolean,\n          ColumnDefs[K]['type']\n        >;\n      }>;\n\n      for (const columnName in tableState.columns) {\n        const columnState = tableState.columns[columnName];\n        if (!columnState) continue;\n        const codecId = columnState.type;\n        const nativeType = columnState.nativeType;\n        const typeRef = columnState.typeRef;\n\n        const encodedDefault =\n          columnState.default !== undefined\n            ? encodeColumnDefault(columnState.default as ColumnDefault)\n            : undefined;\n\n        columns[columnName as keyof ColumnDefs] = {\n          nativeType,\n          codecId,\n          nullable: (columnState.nullable ?? false) as ColumnDefs[keyof ColumnDefs]['nullable'] &\n            boolean,\n          ...ifDefined('typeParams', columnState.typeParams),\n          ...ifDefined('default', encodedDefault),\n          ...ifDefined('typeRef', typeRef),\n        } as BuildStorageColumn<\n          ColumnDefs[keyof ColumnDefs]['nullable'] & boolean,\n          ColumnDefs[keyof ColumnDefs]['type']\n        >;\n\n        if ('executionDefault' in columnState && columnState.executionDefault) {\n          executionDefaults.push({\n            ref: { table: tableName, column: columnName },\n            onCreate: columnState.executionDefault,\n          });\n        }\n      }\n\n      // Build uniques from table state\n      const uniques = (tableState.uniques ?? []).map((u) => ({\n        columns: u.columns,\n        ...(u.name ? { name: u.name } : {}),\n      }));\n\n      // Build indexes from table state\n      const indexes = (tableState.indexes ?? []).map((i) => ({\n        columns: i.columns,\n        ...(i.name ? { name: i.name } : {}),\n        ...(i.using ? { using: i.using } : {}),\n        ...(i.config ? { config: i.config } : {}),\n      }));\n\n      // Build foreign keys from table state, materializing defaults\n      const foreignKeys = (tableState.foreignKeys ?? []).map((fk) => ({\n        columns: fk.columns,\n        references: fk.references,\n        ...applyFkDefaults(fk, this.state.foreignKeyDefaults),\n        ...(fk.name ? { name: fk.name } : {}),\n        ...(fk.onDelete !== undefined ? { onDelete: fk.onDelete } : {}),\n        ...(fk.onUpdate !== undefined ? { onUpdate: fk.onUpdate } : {}),\n      }));\n\n      const table = {\n        columns: columns as {\n          [K in keyof ColumnDefs]: BuildStorageColumn<\n            ColumnDefs[K]['nullable'] & boolean,\n            ColumnDefs[K]['type']\n          >;\n        },\n        uniques,\n        indexes,\n        foreignKeys,\n        ...(tableState.primaryKey\n          ? {\n              primaryKey: {\n                columns: tableState.primaryKey,\n                ...(tableState.primaryKeyName ? { name: tableState.primaryKeyName } : {}),\n              },\n            }\n          : {}),\n      } as unknown as BuildStorageTable<TableKey & string, ColumnDefs, PrimaryKey>;\n\n      (storageTables as Mutable<BuildStorageTables<Tables>>)[tableName] = table;\n    }\n\n    const storageTypes = (this.state.storageTypes ?? {}) as Types;\n    const storage: BuildStorage<Tables, Types> = {\n      tables: storageTables as BuildStorageTables<Tables>,\n      types: storageTypes,\n    };\n\n    const execution =\n      executionDefaults.length > 0\n        ? {\n            mutations: {\n              defaults: executionDefaults.sort((a, b) => {\n                const tableCompare = a.ref.table.localeCompare(b.ref.table);\n                if (tableCompare !== 0) {\n                  return tableCompare;\n                }\n                return a.ref.column.localeCompare(b.ref.column);\n              }),\n            },\n          }\n        : undefined;\n\n    // Build models - construct as partial first, then assert full type\n    const modelsPartial: Partial<BuildModels<Models>> = {};\n\n    // Iterate over models - TypeScript will see keys as string, but type assertion preserves literals\n    for (const modelName in this.state.models) {\n      const modelState = this.state.models[modelName];\n      if (!modelState) continue;\n\n      const modelStateTyped = modelState as unknown as {\n        name: string;\n        table: string;\n        fields: Record<string, string>;\n      };\n\n      // Build fields object\n      const fields: Partial<Record<string, ModelField>> = {};\n\n      // Iterate over fields\n      for (const fieldName in modelStateTyped.fields) {\n        const columnName = modelStateTyped.fields[fieldName];\n        if (columnName) {\n          fields[fieldName] = {\n            column: columnName,\n          };\n        }\n      }\n\n      // Assign to models - type assertion preserves literal keys\n      (modelsPartial as unknown as Record<string, ModelDefinition>)[modelName] = {\n        storage: {\n          table: modelStateTyped.table,\n        },\n        fields: fields as Record<string, ModelField>,\n        relations: {},\n      };\n    }\n\n    // Build relations object - organized by table name\n    const relationsPartial: Partial<Record<string, Record<string, RelationDefinition>>> = {};\n\n    // Iterate over models to collect relations\n    for (const modelName in this.state.models) {\n      const modelState = this.state.models[modelName];\n      if (!modelState) continue;\n\n      const modelStateTyped = modelState as unknown as {\n        name: string;\n        table: string;\n        fields: Record<string, string>;\n        relations: Record<string, RelationDefinition>;\n      };\n\n      const tableName = modelStateTyped.table;\n      if (!tableName) continue;\n\n      // Only initialize relations object for this table if it has relations\n      if (modelStateTyped.relations && Object.keys(modelStateTyped.relations).length > 0) {\n        if (!relationsPartial[tableName]) {\n          relationsPartial[tableName] = {};\n        }\n\n        // Add relations from this model to the table's relations\n        const tableRelations = relationsPartial[tableName];\n        if (tableRelations) {\n          for (const relationName in modelStateTyped.relations) {\n            const relation = modelStateTyped.relations[relationName];\n            if (relation) {\n              tableRelations[relationName] = relation;\n            }\n          }\n        }\n      }\n    }\n\n    const models = modelsPartial as unknown as BuildModels<Models>;\n\n    const baseMappings = computeMappings(\n      models as unknown as Record<string, ModelDefinition>,\n      storage as SqlStorage,\n    );\n\n    const mappings = baseMappings as ContractBuilderMappings;\n\n    const extensionNamespaces = this.state.extensionNamespaces ?? [];\n    const extensionPacks: Record<string, unknown> = { ...(this.state.extensionPacks || {}) };\n    for (const namespace of extensionNamespaces) {\n      if (!Object.hasOwn(extensionPacks, namespace)) {\n        extensionPacks[namespace] = {};\n      }\n    }\n\n    // Construct contract with explicit type that matches the generic parameters\n    // This ensures TypeScript infers literal types from the generics, not runtime values\n    // Always include relations, even if empty (normalized to empty object)\n    const contract = {\n      schemaVersion: '1' as const,\n      target,\n      targetFamily: 'sql' as const,\n      storageHash: this.state.storageHash || 'sha256:ts-builder-placeholder',\n      models,\n      relations: relationsPartial,\n      storage,\n      mappings,\n      ...(execution ? { execution } : {}),\n      extensionPacks,\n      capabilities: this.state.capabilities || {},\n      meta: {},\n      sources: {},\n    } as unknown as BuiltContract;\n\n    return contract as unknown as ReturnType<\n      SqlContractBuilder<\n        CodecTypes,\n        Target,\n        Tables,\n        Models,\n        Types,\n        StorageHash,\n        ExtensionPacks,\n        Capabilities\n      >['build']\n    >;\n  }\n\n  override target<\n    T extends string,\n    TPack extends TargetPackRef<string, T> = TargetPackRef<string, T>,\n  >(\n    packRef: TPack & TargetPackRef<string, T>,\n  ): SqlContractBuilder<\n    ExtractCodecTypesFromPack<TPack> extends Record<string, never>\n      ? CodecTypes\n      : ExtractCodecTypesFromPack<TPack>,\n    T,\n    Tables,\n    Models,\n    Types,\n    StorageHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    return new SqlContractBuilder<\n      ExtractCodecTypesFromPack<TPack> extends Record<string, never>\n        ? CodecTypes\n        : ExtractCodecTypesFromPack<TPack>,\n      T,\n      Tables,\n      Models,\n      Types,\n      StorageHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      target: packRef.targetId,\n    }) as SqlContractBuilder<\n      ExtractCodecTypesFromPack<TPack> extends Record<string, never>\n        ? CodecTypes\n        : ExtractCodecTypesFromPack<TPack>,\n      T,\n      Tables,\n      Models,\n      Types,\n      StorageHash,\n      ExtensionPacks,\n      Capabilities\n    >;\n  }\n\n  extensionPacks<const Packs extends Record<string, ExtensionPackRef<'sql', string>>>(\n    packs: Packs,\n  ): SqlContractBuilder<\n    CodecTypes & MergeExtensionCodecTypes<Packs>,\n    Target,\n    Tables,\n    Models,\n    Types,\n    StorageHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    if (!this.state.target) {\n      throw new Error('extensionPacks() requires target() to be called first');\n    }\n\n    const namespaces = new Set(this.state.extensionNamespaces ?? []);\n\n    for (const packRef of Object.values(packs) as ExtensionPackRef<'sql', string>[]) {\n      if (!packRef) continue;\n\n      if (packRef.kind !== 'extension') {\n        throw new Error(\n          `extensionPacks() only accepts extension pack refs. Received kind \"${packRef.kind}\".`,\n        );\n      }\n\n      if (packRef.familyId !== 'sql') {\n        throw new Error(\n          `extension pack \"${packRef.id}\" targets family \"${packRef.familyId}\" but this builder targets \"sql\".`,\n        );\n      }\n\n      if (packRef.targetId && packRef.targetId !== this.state.target) {\n        throw new Error(\n          `extension pack \"${packRef.id}\" targets \"${packRef.targetId}\" but builder target is \"${this.state.target}\".`,\n        );\n      }\n\n      namespaces.add(packRef.id);\n    }\n\n    return new SqlContractBuilder<\n      CodecTypes & MergeExtensionCodecTypes<Packs>,\n      Target,\n      Tables,\n      Models,\n      Types,\n      StorageHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      extensionNamespaces: [...namespaces],\n    });\n  }\n\n  override capabilities<C extends Record<string, Record<string, boolean>>>(\n    capabilities: C,\n  ): SqlContractBuilder<CodecTypes, Target, Tables, Models, Types, StorageHash, ExtensionPacks, C> {\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables,\n      Models,\n      Types,\n      StorageHash,\n      ExtensionPacks,\n      C\n    >({\n      ...this.state,\n      capabilities,\n    });\n  }\n\n  override storageHash<H extends string>(\n    hash: H,\n  ): SqlContractBuilder<\n    CodecTypes,\n    Target,\n    Tables,\n    Models,\n    Types,\n    H,\n    ExtensionPacks,\n    Capabilities\n  > {\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables,\n      Models,\n      Types,\n      H,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      storageHash: hash,\n    });\n  }\n\n  override table<\n    TableName extends string,\n    T extends TableBuilder<\n      TableName,\n      Record<string, ColumnBuilderState<string, boolean, string>>,\n      readonly string[] | undefined\n    >,\n  >(\n    name: TableName,\n    callback: (t: TableBuilder<TableName>) => T | undefined,\n  ): SqlContractBuilder<\n    CodecTypes,\n    Target,\n    Tables & Record<TableName, ReturnType<T['build']>>,\n    Models,\n    Types,\n    StorageHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    const tableBuilder = createTable(name);\n    const result = callback(\n      tableBuilder as unknown as SqlTableBuilder<\n        TableName,\n        CodecTypes\n      > as unknown as TableBuilder<TableName>,\n    );\n    const finalBuilder = result instanceof TableBuilder ? result : tableBuilder;\n    const tableState = finalBuilder.build();\n\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables & Record<TableName, ReturnType<T['build']>>,\n      Models,\n      Types,\n      StorageHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      tables: { ...this.state.tables, [name]: tableState } as Tables &\n        Record<TableName, ReturnType<T['build']>>,\n    });\n  }\n\n  override model<\n    ModelName extends string,\n    TableName extends string,\n    M extends ModelBuilder<\n      ModelName,\n      TableName,\n      Record<string, string>,\n      Record<string, RelationDefinition>\n    >,\n  >(\n    name: ModelName,\n    table: TableName,\n    callback: (\n      m: ModelBuilder<ModelName, TableName, Record<never, never>, Record<never, never>>,\n    ) => M | undefined,\n  ): SqlContractBuilder<\n    CodecTypes,\n    Target,\n    Tables,\n    Models & Record<ModelName, ReturnType<M['build']>>,\n    Types,\n    StorageHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    const modelBuilder = new ModelBuilder<ModelName, TableName>(name, table);\n    const result = callback(modelBuilder);\n    const finalBuilder = result instanceof ModelBuilder ? result : modelBuilder;\n    const modelState = finalBuilder.build();\n\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables,\n      Models & Record<ModelName, ReturnType<M['build']>>,\n      Types,\n      StorageHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      models: { ...this.state.models, [name]: modelState } as Models &\n        Record<ModelName, ReturnType<M['build']>>,\n    });\n  }\n\n  override foreignKeyDefaults(\n    config: ForeignKeyDefaultsState,\n  ): SqlContractBuilder<\n    CodecTypes,\n    Target,\n    Tables,\n    Models,\n    Types,\n    StorageHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables,\n      Models,\n      Types,\n      StorageHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      foreignKeyDefaults: config,\n    });\n  }\n\n  storageType<Name extends string, Type extends StorageTypeInstance>(\n    name: Name,\n    typeInstance: Type,\n  ): SqlContractBuilder<\n    CodecTypes,\n    Target,\n    Tables,\n    Models,\n    Types & Record<Name, Type>,\n    StorageHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables,\n      Models,\n      Types & Record<Name, Type>,\n      StorageHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      storageTypes: {\n        ...(this.state.storageTypes ?? {}),\n        [name]: typeInstance,\n      },\n    });\n  }\n}\n\nexport function defineContract<\n  CodecTypes extends Record<string, { output: unknown }> = Record<string, never>,\n>(): SqlContractBuilder<CodecTypes> {\n  return new SqlContractBuilder<CodecTypes>();\n}\n"],"mappings":";;;;;;;;;;;;AAyBA,MAAM,sBAAsB,KAAK;CAC/B,YAAY;CACZ,SAAS;CACT,UAAU;CACV,eAAe;CACf,YAAY;CACZ,YAAY;CACb,CAAC;AAEF,MAAM,4BAA4B,KAAK,SAA8B,CAAC,KAAK;CACzE,SAAS;CACT,YAAY;CACZ,YAAY;CACb,CAAC;AAEF,MAAM,mBAAmB,KAAK,SAAqB,CAAC,KAAK;CACvD,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,SAAS;CACV,CAAC;AAEF,MAAM,yBAAyB,KAAK,SAA2B,CAAC,KAAK;CACnE,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,SAAS;CACV,CAAC;AAEF,MAAM,qBAAqB,KAAK;CAC9B,SAAS,KAAK,EAAE,YAAY,qBAAqB,CAAC;CAClD,eAAe;CACf,SAAS,uBAAuB,OAAO,CAAC,UAAU;CAClD,SAAS,YAAY,OAAO,CAAC,UAAU;CACvC,aAAa,iBAAiB,OAAO,CAAC,UAAU;CACjD,CAAC;AAEF,MAAM,gBAAgB,KAAK;CACzB,QAAQ,KAAK,EAAE,YAAY,oBAAoB,CAAC;CAChD,UAAU,KAAK,EAAE,YAAY,2BAA2B,CAAC;CAC1D,CAAC;AAEF,MAAM,mBAAmB,KAAK,SAAqB,CAAC,KAAK,EACvD,QAAQ,UACT,CAAC;AAEF,MAAM,qBAAqB,KAAK,SAAuB,CAAC,KAAK,EAC3D,OAAO,UACR,CAAC;AAEF,MAAM,cAAc,KAAK,SAA0B,CAAC,KAAK;CACvD,SAAS;CACT,QAAQ,KAAK,EAAE,YAAY,kBAAkB,CAAC;CAC9C,WAAW,KAAK,EAAE,YAAY,WAAW,CAAC;CAC1C,UAAU;CACX,CAAC;AAMF,MAAM,sCAAsC,KAAK;CAC/C,MAAM;CACN,IANwB,KAAK,SAAS,CAAC,QAAQ,OAAO,QAAQ;AAC9D,SAAO,8BAA8B,KAAK,MAAM,GAAG,OAAO,IAAI,OAAO,sBAAsB;GAC3F;CAKA,WAAW;CACZ,CAAC;AAWF,MAAM,kBAAkB,KAAK,EAC3B,WAAW,EACT,UAXmC,KAAK;CAC1C,KAAK;EACH,OAAO;EACP,QAAQ;EACT;CACD,aAAa;CACb,aAAa;CACd,CAAC,CAI2C,OAAO,CAAC,UAAU,EAC5D,EACF,CAAC;;;;;AAMF,MAAM,oBAAoB,KAAK;CAC7B,kBAAkB;CAClB,QAAQ;CACR,cAAc;CACd,aAAa;CACb,kBAAkB;CAClB,gBAAgB;CAChB,iBAAiB;CACjB,mBAAmB;CACnB,SAAS;CACT,YAAY;CACZ,UAAU;CACV,QAAQ,KAAK,EAAE,YAAY,aAAa,CAAC;CACzC,SAAS;CACT,cAAc;CACf,CAAC;;;;;;;;;;AAkDF,SAAgB,gBACd,QACA,UACA,kBACa;CACb,MAAMA,eAAuC,EAAE;CAC/C,MAAMC,eAAuC,EAAE;CAC/C,MAAMC,gBAAwD,EAAE;CAChE,MAAMC,gBAAwD,EAAE;AAEhE,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,MAAM,YAAY,MAAM,QAAQ;AAChC,eAAa,aAAa;AAC1B,eAAa,aAAa;EAE1B,MAAMC,qBAA6C,EAAE;AACrD,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,MAAM,OAAO,EAAE;GAC7D,MAAM,aAAa,MAAM;AACzB,sBAAmB,aAAa;AAEhC,OAAI,CAAC,cAAc,WACjB,eAAc,aAAa,EAAE;AAE/B,iBAAc,WAAW,cAAc;;AAEzC,gBAAc,aAAa;;AAG7B,QAAO;EACL,cAAc,kBAAkB,gBAAgB;EAChD,cAAc,kBAAkB,gBAAgB;EAChD,eAAe,kBAAkB,iBAAiB;EAClD,eAAe,kBAAkB,iBAAiB;EACnD;;;;;ACsBH,SAAS,cAAc,OAAkD;AACvE,KAAI,OAAO,UAAU,YAAY,UAAU,KAAM,QAAO;CACxD,MAAM,QAAQ,OAAO,eAAe,MAAM;AAC1C,QAAO,UAAU,OAAO,aAAa,UAAU;;AAGjD,SAAS,YAAY,OAAoD;AACvE,KAAI,UAAU,KAAM,QAAO;CAC3B,MAAM,YAAY,OAAO;AACzB,KAAI,cAAc,YAAY,cAAc,YAAY,cAAc,UAAW,QAAO;AACxF,KAAI,MAAM,QAAQ,MAAM,CACtB,QAAO,MAAM,OAAO,SAAS,YAAY,KAAK,CAAC;AAEjD,KAAI,cAAc,MAAM,CACtB,QAAO,OAAO,OAAO,MAAM,CAAC,OAAO,SAAS,YAAY,KAAK,CAAC;AAEhE,QAAO;;AAGT,SAAS,0BACP,OAC2B;AAC3B,KAAI,OAAO,UAAU,SACnB,QAAO;EAAE,OAAO;EAAU,OAAO,MAAM,UAAU;EAAE;AAErD,KAAI,iBAAiB,KACnB,QAAO,MAAM,aAAa;AAE5B,KAAI,YAAY,MAAM,EAAE;AACtB,MAAI,cAAc,MAAM,IAAI,WAAW,MACrC,QAAO;GAAE,OAAO;GAAO;GAAO;AAEhC,SAAO;;AAET,OAAM,IAAI,MACR,uFACD;;AAGH,SAAS,oBAAoB,cAA4C;AACvE,KAAI,aAAa,SAAS,WACxB,QAAO;EAAE,MAAM;EAAY,YAAY,aAAa;EAAY;AAElE,QAAO;EAAE,MAAM;EAAW,OAAO,0BAA0B,aAAa,MAAM;EAAE;;AAGlF,IAAM,qBAAN,MAAM,2BAmBI,gBAAmF;;;;;;;;;;;;;;;;;;;CA6B3F,QAoBU;AAsBR,MAAI,CAAC,KAAK,MAAM,OACd,OAAM,IAAI,MAAM,qDAAqD;EAGvE,MAAM,SAAS,KAAK,MAAM;EAE1B,MAAM,gBAAgB,EAAE;EACxB,MAAMC,oBAAgD,EAAE;AAExD,OAAK,MAAM,aAAa,OAAO,KAAK,KAAK,MAAM,OAAO,EAAkC;GACtF,MAAM,aAAa,KAAK,MAAM,OAAO;AACrC,OAAI,CAAC,WAAY;GAMjB,MAAM,UAAU,EAAE;AAOlB,QAAK,MAAM,cAAc,WAAW,SAAS;IAC3C,MAAM,cAAc,WAAW,QAAQ;AACvC,QAAI,CAAC,YAAa;IAClB,MAAM,UAAU,YAAY;IAC5B,MAAM,aAAa,YAAY;IAC/B,MAAM,UAAU,YAAY;IAE5B,MAAM,iBACJ,YAAY,YAAY,SACpB,oBAAoB,YAAY,QAAyB,GACzD;AAEN,YAAQ,cAAkC;KACxC;KACA;KACA,UAAW,YAAY,YAAY;KAEnC,GAAG,UAAU,cAAc,YAAY,WAAW;KAClD,GAAG,UAAU,WAAW,eAAe;KACvC,GAAG,UAAU,WAAW,QAAQ;KACjC;AAKD,QAAI,sBAAsB,eAAe,YAAY,iBACnD,mBAAkB,KAAK;KACrB,KAAK;MAAE,OAAO;MAAW,QAAQ;MAAY;KAC7C,UAAU,YAAY;KACvB,CAAC;;AAgDN,GAAC,cAAsD,aApBzC;IACH;IAMT,UA9Be,WAAW,WAAW,EAAE,EAAE,KAAK,OAAO;KACrD,SAAS,EAAE;KACX,GAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,EAAE;KACnC,EAAE;IA4BD,UAzBe,WAAW,WAAW,EAAE,EAAE,KAAK,OAAO;KACrD,SAAS,EAAE;KACX,GAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,EAAE;KAClC,GAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,GAAG,EAAE;KACrC,GAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,GAAG,EAAE;KACzC,EAAE;IAqBD,cAlBmB,WAAW,eAAe,EAAE,EAAE,KAAK,QAAQ;KAC9D,SAAS,GAAG;KACZ,YAAY,GAAG;KACf,GAAG,gBAAgB,IAAI,KAAK,MAAM,mBAAmB;KACrD,GAAI,GAAG,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,EAAE;KACpC,GAAI,GAAG,aAAa,SAAY,EAAE,UAAU,GAAG,UAAU,GAAG,EAAE;KAC9D,GAAI,GAAG,aAAa,SAAY,EAAE,UAAU,GAAG,UAAU,GAAG,EAAE;KAC/D,EAAE;IAYD,GAAI,WAAW,aACX,EACE,YAAY;KACV,SAAS,WAAW;KACpB,GAAI,WAAW,iBAAiB,EAAE,MAAM,WAAW,gBAAgB,GAAG,EAAE;KACzE,EACF,GACD,EAAE;IACP;;EAMH,MAAMC,UAAuC;GAC3C,QAAQ;GACR,OAHoB,KAAK,MAAM,gBAAgB,EAAE;GAIlD;EAED,MAAM,YACJ,kBAAkB,SAAS,IACvB,EACE,WAAW,EACT,UAAU,kBAAkB,MAAM,GAAG,MAAM;GACzC,MAAM,eAAe,EAAE,IAAI,MAAM,cAAc,EAAE,IAAI,MAAM;AAC3D,OAAI,iBAAiB,EACnB,QAAO;AAET,UAAO,EAAE,IAAI,OAAO,cAAc,EAAE,IAAI,OAAO;IAC/C,EACH,EACF,GACD;EAGN,MAAMC,gBAA8C,EAAE;AAGtD,OAAK,MAAM,aAAa,KAAK,MAAM,QAAQ;GACzC,MAAM,aAAa,KAAK,MAAM,OAAO;AACrC,OAAI,CAAC,WAAY;GAEjB,MAAM,kBAAkB;GAOxB,MAAMC,SAA8C,EAAE;AAGtD,QAAK,MAAM,aAAa,gBAAgB,QAAQ;IAC9C,MAAM,aAAa,gBAAgB,OAAO;AAC1C,QAAI,WACF,QAAO,aAAa,EAClB,QAAQ,YACT;;AAKL,GAAC,cAA6D,aAAa;IACzE,SAAS,EACP,OAAO,gBAAgB,OACxB;IACO;IACR,WAAW,EAAE;IACd;;EAIH,MAAMC,mBAAgF,EAAE;AAGxF,OAAK,MAAM,aAAa,KAAK,MAAM,QAAQ;GACzC,MAAM,aAAa,KAAK,MAAM,OAAO;AACrC,OAAI,CAAC,WAAY;GAEjB,MAAM,kBAAkB;GAOxB,MAAM,YAAY,gBAAgB;AAClC,OAAI,CAAC,UAAW;AAGhB,OAAI,gBAAgB,aAAa,OAAO,KAAK,gBAAgB,UAAU,CAAC,SAAS,GAAG;AAClF,QAAI,CAAC,iBAAiB,WACpB,kBAAiB,aAAa,EAAE;IAIlC,MAAM,iBAAiB,iBAAiB;AACxC,QAAI,eACF,MAAK,MAAM,gBAAgB,gBAAgB,WAAW;KACpD,MAAM,WAAW,gBAAgB,UAAU;AAC3C,SAAI,SACF,gBAAe,gBAAgB;;;;EAOzC,MAAM,SAAS;EAOf,MAAM,WALe,gBACnB,QACA,QACD;EAID,MAAM,sBAAsB,KAAK,MAAM,uBAAuB,EAAE;EAChE,MAAMC,iBAA0C,EAAE,GAAI,KAAK,MAAM,kBAAkB,EAAE,EAAG;AACxF,OAAK,MAAM,aAAa,oBACtB,KAAI,CAAC,OAAO,OAAO,gBAAgB,UAAU,CAC3C,gBAAe,aAAa,EAAE;AAuBlC,SAhBiB;GACf,eAAe;GACf;GACA,cAAc;GACd,aAAa,KAAK,MAAM,eAAe;GACvC;GACA,WAAW;GACX;GACA;GACA,GAAI,YAAY,EAAE,WAAW,GAAG,EAAE;GAClC;GACA,cAAc,KAAK,MAAM,gBAAgB,EAAE;GAC3C,MAAM,EAAE;GACR,SAAS,EAAE;GACZ;;CAgBH,AAAS,OAIP,SAYA;AACA,SAAO,IAAI,mBAWT;GACA,GAAG,KAAK;GACR,QAAQ,QAAQ;GACjB,CAAC;;CAcJ,eACE,OAUA;AACA,MAAI,CAAC,KAAK,MAAM,OACd,OAAM,IAAI,MAAM,wDAAwD;EAG1E,MAAM,aAAa,IAAI,IAAI,KAAK,MAAM,uBAAuB,EAAE,CAAC;AAEhE,OAAK,MAAM,WAAW,OAAO,OAAO,MAAM,EAAuC;AAC/E,OAAI,CAAC,QAAS;AAEd,OAAI,QAAQ,SAAS,YACnB,OAAM,IAAI,MACR,qEAAqE,QAAQ,KAAK,IACnF;AAGH,OAAI,QAAQ,aAAa,MACvB,OAAM,IAAI,MACR,mBAAmB,QAAQ,GAAG,oBAAoB,QAAQ,SAAS,mCACpE;AAGH,OAAI,QAAQ,YAAY,QAAQ,aAAa,KAAK,MAAM,OACtD,OAAM,IAAI,MACR,mBAAmB,QAAQ,GAAG,aAAa,QAAQ,SAAS,2BAA2B,KAAK,MAAM,OAAO,IAC1G;AAGH,cAAW,IAAI,QAAQ,GAAG;;AAG5B,SAAO,IAAI,mBAST;GACA,GAAG,KAAK;GACR,qBAAqB,CAAC,GAAG,WAAW;GACrC,CAAC;;CAGJ,AAAS,aACP,cAC+F;AAC/F,SAAO,IAAI,mBAST;GACA,GAAG,KAAK;GACR;GACD,CAAC;;CAGJ,AAAS,YACP,MAUA;AACA,SAAO,IAAI,mBAST;GACA,GAAG,KAAK;GACR,aAAa;GACd,CAAC;;CAGJ,AAAS,MAQP,MACA,UAUA;EACA,MAAM,eAAe,YAAY,KAAK;EACtC,MAAM,SAAS,SACb,aAID;EAED,MAAM,cADe,kBAAkB,eAAe,SAAS,cAC/B,OAAO;AAEvC,SAAO,IAAI,mBAST;GACA,GAAG,KAAK;GACR,QAAQ;IAAE,GAAG,KAAK,MAAM;KAAS,OAAO;IAAY;GAErD,CAAC;;CAGJ,AAAS,MAUP,MACA,OACA,UAYA;EACA,MAAM,eAAe,IAAI,aAAmC,MAAM,MAAM;EACxE,MAAM,SAAS,SAAS,aAAa;EAErC,MAAM,cADe,kBAAkB,eAAe,SAAS,cAC/B,OAAO;AAEvC,SAAO,IAAI,mBAST;GACA,GAAG,KAAK;GACR,QAAQ;IAAE,GAAG,KAAK,MAAM;KAAS,OAAO;IAAY;GAErD,CAAC;;CAGJ,AAAS,mBACP,QAUA;AACA,SAAO,IAAI,mBAST;GACA,GAAG,KAAK;GACR,oBAAoB;GACrB,CAAC;;CAGJ,YACE,MACA,cAUA;AACA,SAAO,IAAI,mBAST;GACA,GAAG,KAAK;GACR,cAAc;IACZ,GAAI,KAAK,MAAM,gBAAgB,EAAE;KAChC,OAAO;IACT;GACF,CAAC;;;AAIN,SAAgB,iBAEoB;AAClC,QAAO,IAAI,oBAAgC"}
+{"version":3,"file":"contract-builder.mjs","names":["executionDefaults: ExecutionMutationDefault[]","storage: BuildStorage<Tables, Types>","modelsPartial: Partial<BuildModels<Models>>","storageFields: Record<string, { readonly column: string }>","domainFields: Record<string, Record<string, unknown>>","modelRelations: Record<string, Record<string, unknown>>","extensionPacks: Record<string, unknown>"],"sources":["../src/contract-builder.ts"],"sourcesContent":["import type { ExtensionPackRef, TargetPackRef } from '@prisma-next/contract/framework-components';\nimport type {\n  ColumnDefault,\n  ColumnDefaultLiteralInputValue,\n  ColumnDefaultLiteralValue,\n  ExecutionMutationDefault,\n  ExecutionMutationDefaultValue,\n  TaggedRaw,\n} from '@prisma-next/contract/types';\nimport type {\n  ColumnBuilderState,\n  ColumnTypeDescriptor,\n  ContractBuilderState,\n  ForeignKeyDefaultsState,\n  ModelBuilderState,\n  RelationDefinition,\n  TableBuilderState,\n} from '@prisma-next/contract-authoring';\nimport {\n  type BuildModels,\n  type BuildStorageColumn,\n  ContractBuilder,\n  createTable,\n  type ExtractColumns,\n  type ExtractPrimaryKey,\n  ModelBuilder,\n  type Mutable,\n  TableBuilder,\n} from '@prisma-next/contract-authoring';\nimport {\n  applyFkDefaults,\n  type ContractWithTypeMaps,\n  type Index,\n  type ReferentialAction,\n  type SqlContract,\n  type StorageTypeInstance,\n  type TypeMaps,\n} from '@prisma-next/sql-contract/types';\nimport { ifDefined } from '@prisma-next/utils/defined';\n\ntype ColumnDefaultForCodec<\n  CodecTypes extends Record<string, { output: unknown }>,\n  CodecId extends string,\n> =\n  | {\n      readonly kind: 'literal';\n      readonly value: CodecId extends keyof CodecTypes ? CodecTypes[CodecId]['output'] : unknown;\n    }\n  | { readonly kind: 'function'; readonly expression: string };\n\ntype SqlNullableColumnOptions<\n  Descriptor extends ColumnTypeDescriptor,\n  CodecTypes extends Record<string, { output: unknown }>,\n> = {\n  readonly type: Descriptor;\n  readonly nullable: true;\n  readonly typeParams?: Record<string, unknown>;\n  readonly default?: ColumnDefaultForCodec<CodecTypes, Descriptor['codecId']>;\n};\n\ntype SqlNonNullableColumnOptions<\n  Descriptor extends ColumnTypeDescriptor,\n  CodecTypes extends Record<string, { output: unknown }>,\n> = {\n  readonly type: Descriptor;\n  readonly nullable?: false;\n  readonly typeParams?: Record<string, unknown>;\n  readonly default?: ColumnDefaultForCodec<CodecTypes, Descriptor['codecId']>;\n};\n\ntype SqlGeneratedColumnOptions<\n  Descriptor extends ColumnTypeDescriptor,\n  CodecTypes extends Record<string, { output: unknown }>,\n> = Omit<SqlNonNullableColumnOptions<Descriptor, CodecTypes>, 'default' | 'nullable'> & {\n  readonly nullable?: false;\n  readonly generated: ExecutionMutationDefaultValue;\n};\n\ntype SqlColumnOptions<\n  Descriptor extends ColumnTypeDescriptor,\n  CodecTypes extends Record<string, { output: unknown }>,\n> =\n  | SqlNullableColumnOptions<Descriptor, CodecTypes>\n  | SqlNonNullableColumnOptions<Descriptor, CodecTypes>;\n\nexport interface SqlTableBuilder<\n  Name extends string,\n  CodecTypes extends Record<string, { output: unknown }>,\n  Columns extends Record<string, ColumnBuilderState<string, boolean, string>> = Record<\n    never,\n    ColumnBuilderState<string, boolean, string>\n  >,\n  PrimaryKey extends readonly string[] | undefined = undefined,\n> extends Omit<TableBuilder<Name, Columns, PrimaryKey>, 'column' | 'generated'> {\n  column<ColName extends string, Descriptor extends ColumnTypeDescriptor>(\n    name: ColName,\n    options: SqlNullableColumnOptions<Descriptor, CodecTypes>,\n  ): TableBuilder<\n    Name,\n    Columns & Record<ColName, ColumnBuilderState<ColName, true, Descriptor['codecId']>>,\n    PrimaryKey\n  >;\n  column<ColName extends string, Descriptor extends ColumnTypeDescriptor>(\n    name: ColName,\n    options: SqlNonNullableColumnOptions<Descriptor, CodecTypes>,\n  ): TableBuilder<\n    Name,\n    Columns & Record<ColName, ColumnBuilderState<ColName, false, Descriptor['codecId']>>,\n    PrimaryKey\n  >;\n  column<ColName extends string, Descriptor extends ColumnTypeDescriptor>(\n    name: ColName,\n    options: SqlColumnOptions<Descriptor, CodecTypes>,\n  ): TableBuilder<\n    Name,\n    Columns & Record<ColName, ColumnBuilderState<ColName, boolean, Descriptor['codecId']>>,\n    PrimaryKey\n  >;\n  generated<ColName extends string, Descriptor extends ColumnTypeDescriptor>(\n    name: ColName,\n    options: SqlGeneratedColumnOptions<Descriptor, CodecTypes>,\n  ): TableBuilder<\n    Name,\n    Columns & Record<ColName, ColumnBuilderState<ColName, false, Descriptor['codecId']>>,\n    PrimaryKey\n  >;\n}\n\ntype ExtractCodecTypesFromPack<P> = P extends { __codecTypes?: infer C }\n  ? C extends Record<string, { output: unknown }>\n    ? C\n    : Record<string, never>\n  : Record<string, never>;\n\ntype UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (\n  k: infer I,\n) => void\n  ? I\n  : never;\n\ntype MergeExtensionCodecTypes<Packs extends Record<string, unknown>> = UnionToIntersection<\n  {\n    [K in keyof Packs]: ExtractCodecTypesFromPack<Packs[K]>;\n  }[keyof Packs]\n>;\n\ntype BuildStorageTable<\n  _TableName extends string,\n  Columns extends Record<string, ColumnBuilderState<string, boolean, string>>,\n  PK extends readonly string[] | undefined,\n> = {\n  readonly columns: {\n    readonly [K in keyof Columns]: Columns[K] extends ColumnBuilderState<\n      string,\n      infer Null,\n      infer TType\n    >\n      ? BuildStorageColumn<Null & boolean, TType>\n      : never;\n  };\n  readonly uniques: ReadonlyArray<{ readonly columns: readonly string[]; readonly name?: string }>;\n  readonly indexes: ReadonlyArray<Index>;\n  readonly foreignKeys: ReadonlyArray<{\n    readonly columns: readonly string[];\n    readonly references: { readonly table: string; readonly columns: readonly string[] };\n    readonly name?: string;\n    readonly onDelete?: ReferentialAction;\n    readonly onUpdate?: ReferentialAction;\n    readonly constraint: boolean;\n    readonly index: boolean;\n  }>;\n} & (PK extends readonly string[]\n  ? { readonly primaryKey: { readonly columns: PK; readonly name?: string } }\n  : Record<string, never>);\n\ntype BuildStorage<\n  Tables extends Record<\n    string,\n    TableBuilderState<\n      string,\n      Record<string, ColumnBuilderState<string, boolean, string>>,\n      readonly string[] | undefined\n    >\n  >,\n  Types extends Record<string, StorageTypeInstance>,\n> = {\n  readonly tables: {\n    readonly [K in keyof Tables]: BuildStorageTable<\n      K & string,\n      ExtractColumns<Tables[K]>,\n      ExtractPrimaryKey<Tables[K]>\n    >;\n  };\n  readonly types: Types;\n};\n\ntype BuildStorageTables<\n  Tables extends Record<\n    string,\n    TableBuilderState<\n      string,\n      Record<string, ColumnBuilderState<string, boolean, string>>,\n      readonly string[] | undefined\n    >\n  >,\n> = {\n  readonly [K in keyof Tables]: BuildStorageTable<\n    K & string,\n    ExtractColumns<Tables[K]>,\n    ExtractPrimaryKey<Tables[K]>\n  >;\n};\n\nexport interface ColumnBuilder<Name extends string, Nullable extends boolean, Type extends string> {\n  nullable<Value extends boolean>(value?: Value): ColumnBuilder<Name, Value, Type>;\n  type<Id extends string>(id: Id): ColumnBuilder<Name, Nullable, Id>;\n  build(): ColumnBuilderState<Name, Nullable, Type>;\n}\n\nfunction isPlainObject(value: unknown): value is Record<string, unknown> {\n  if (typeof value !== 'object' || value === null) return false;\n  const proto = Object.getPrototypeOf(value);\n  return proto === Object.prototype || proto === null;\n}\n\nfunction isJsonValue(value: unknown): value is ColumnDefaultLiteralValue {\n  if (value === null) return true;\n  const valueType = typeof value;\n  if (valueType === 'string' || valueType === 'number' || valueType === 'boolean') return true;\n  if (Array.isArray(value)) {\n    return value.every((item) => isJsonValue(item));\n  }\n  if (isPlainObject(value)) {\n    return Object.values(value).every((item) => isJsonValue(item));\n  }\n  return false;\n}\n\nfunction encodeDefaultLiteralValue(\n  value: ColumnDefaultLiteralInputValue,\n): ColumnDefaultLiteralValue {\n  if (typeof value === 'bigint') {\n    return { $type: 'bigint', value: value.toString() };\n  }\n  if (value instanceof Date) {\n    return value.toISOString();\n  }\n  if (isJsonValue(value)) {\n    if (isPlainObject(value) && '$type' in value) {\n      return { $type: 'raw', value } satisfies TaggedRaw;\n    }\n    return value;\n  }\n  throw new Error(\n    'Unsupported column default literal value: expected JSON-safe value, bigint, or Date.',\n  );\n}\n\nfunction encodeColumnDefault(defaultInput: ColumnDefault): ColumnDefault {\n  if (defaultInput.kind === 'function') {\n    return { kind: 'function', expression: defaultInput.expression };\n  }\n  return { kind: 'literal', value: encodeDefaultLiteralValue(defaultInput.value) };\n}\n\nclass SqlContractBuilder<\n  CodecTypes extends Record<string, { output: unknown }> = Record<string, never>,\n  Target extends string | undefined = undefined,\n  Tables extends Record<\n    string,\n    TableBuilderState<\n      string,\n      Record<string, ColumnBuilderState<string, boolean, string>>,\n      readonly string[] | undefined\n    >\n  > = Record<never, never>,\n  Models extends Record<\n    string,\n    ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>\n  > = Record<never, never>,\n  Types extends Record<string, StorageTypeInstance> = Record<never, never>,\n  StorageHash extends string | undefined = undefined,\n  ExtensionPacks extends Record<string, unknown> | undefined = undefined,\n  Capabilities extends Record<string, Record<string, boolean>> | undefined = undefined,\n> extends ContractBuilder<Target, Tables, Models, StorageHash, ExtensionPacks, Capabilities> {\n  protected declare readonly state: ContractBuilderState<\n    Target,\n    Tables,\n    Models,\n    StorageHash,\n    ExtensionPacks,\n    Capabilities\n  > & {\n    readonly storageTypes?: Types;\n  };\n  /**\n   * This method is responsible for normalizing the contract IR by setting default values\n   * for all required fields:\n   * - `nullable`: defaults to `false` if not provided\n   * - `uniques`: defaults to `[]` (empty array)\n   * - `indexes`: defaults to `[]` (empty array)\n   * - `foreignKeys`: defaults to `[]` (empty array)\n   * - model `relations`: defaults to `{}` (empty object) when not populated by the builder\n   * - `nativeType`: required field set from column type descriptor when columns are defined\n   *\n   * The contract builder is the **only** place where normalization should occur.\n   * Validators, parsers, and emitters should assume the contract is already normalized.\n   *\n   * **Required**: Use column type descriptors (e.g., `int4Column`, `textColumn`) when defining columns.\n   * This ensures `nativeType` is set correctly at build time.\n   *\n   * @returns A normalized SqlContract with all required fields present\n   */\n  build(): Target extends string\n    ? ContractWithTypeMaps<\n        SqlContract<BuildStorage<Tables, Types>, BuildModels<Models>> & {\n          readonly schemaVersion: '1';\n          readonly target: Target;\n          readonly targetFamily: 'sql';\n          readonly storageHash: StorageHash extends string ? StorageHash : string;\n        } & (ExtensionPacks extends Record<string, unknown>\n            ? { readonly extensionPacks: ExtensionPacks }\n            : Record<string, never>) &\n          (Capabilities extends Record<string, Record<string, boolean>>\n            ? { readonly capabilities: Capabilities }\n            : Record<string, never>),\n        TypeMaps<CodecTypes, Record<string, never>>\n      >\n    : never {\n    type BuiltContract = Target extends string\n      ? ContractWithTypeMaps<\n          SqlContract<BuildStorage<Tables, Types>, BuildModels<Models>> & {\n            readonly schemaVersion: '1';\n            readonly target: Target;\n            readonly targetFamily: 'sql';\n            readonly storageHash: StorageHash extends string ? StorageHash : string;\n          } & (ExtensionPacks extends Record<string, unknown>\n              ? { readonly extensionPacks: ExtensionPacks }\n              : Record<string, never>) &\n            (Capabilities extends Record<string, Record<string, boolean>>\n              ? { readonly capabilities: Capabilities }\n              : Record<string, never>),\n          TypeMaps<CodecTypes, Record<string, never>>\n        >\n      : never;\n    if (!this.state.target) {\n      throw new Error('target is required. Call .target() before .build()');\n    }\n\n    const target = this.state.target as Target & string;\n\n    const storageTables = {} as Partial<Mutable<BuildStorageTables<Tables>>>;\n    const executionDefaults: ExecutionMutationDefault[] = [];\n\n    for (const tableName of Object.keys(this.state.tables) as Array<keyof Tables & string>) {\n      const tableState = this.state.tables[tableName];\n      if (!tableState) continue;\n\n      type TableKey = typeof tableName;\n      type ColumnDefs = ExtractColumns<Tables[TableKey]>;\n      type PrimaryKey = ExtractPrimaryKey<Tables[TableKey]>;\n\n      const columns = {} as Partial<{\n        [K in keyof ColumnDefs]: BuildStorageColumn<\n          ColumnDefs[K]['nullable'] & boolean,\n          ColumnDefs[K]['type']\n        >;\n      }>;\n\n      for (const columnName in tableState.columns) {\n        const columnState = tableState.columns[columnName];\n        if (!columnState) continue;\n        const codecId = columnState.type;\n        const nativeType = columnState.nativeType;\n        const typeRef = columnState.typeRef;\n\n        const encodedDefault =\n          columnState.default !== undefined\n            ? encodeColumnDefault(columnState.default as ColumnDefault)\n            : undefined;\n\n        columns[columnName as keyof ColumnDefs] = {\n          nativeType,\n          codecId,\n          nullable: (columnState.nullable ?? false) as ColumnDefs[keyof ColumnDefs]['nullable'] &\n            boolean,\n          ...ifDefined('typeParams', columnState.typeParams),\n          ...ifDefined('default', encodedDefault),\n          ...ifDefined('typeRef', typeRef),\n        } as BuildStorageColumn<\n          ColumnDefs[keyof ColumnDefs]['nullable'] & boolean,\n          ColumnDefs[keyof ColumnDefs]['type']\n        >;\n\n        if ('executionDefault' in columnState && columnState.executionDefault) {\n          executionDefaults.push({\n            ref: { table: tableName, column: columnName },\n            onCreate: columnState.executionDefault,\n          });\n        }\n      }\n\n      // Build uniques from table state\n      const uniques = (tableState.uniques ?? []).map((u) => ({\n        columns: u.columns,\n        ...(u.name ? { name: u.name } : {}),\n      }));\n\n      // Build indexes from table state\n      const indexes = (tableState.indexes ?? []).map((i) => ({\n        columns: i.columns,\n        ...(i.name ? { name: i.name } : {}),\n        ...(i.using ? { using: i.using } : {}),\n        ...(i.config ? { config: i.config } : {}),\n      }));\n\n      // Build foreign keys from table state, materializing defaults\n      const foreignKeys = (tableState.foreignKeys ?? []).map((fk) => ({\n        columns: fk.columns,\n        references: fk.references,\n        ...applyFkDefaults(fk, this.state.foreignKeyDefaults),\n        ...(fk.name ? { name: fk.name } : {}),\n        ...(fk.onDelete !== undefined ? { onDelete: fk.onDelete } : {}),\n        ...(fk.onUpdate !== undefined ? { onUpdate: fk.onUpdate } : {}),\n      }));\n\n      const table = {\n        columns: columns as {\n          [K in keyof ColumnDefs]: BuildStorageColumn<\n            ColumnDefs[K]['nullable'] & boolean,\n            ColumnDefs[K]['type']\n          >;\n        },\n        uniques,\n        indexes,\n        foreignKeys,\n        ...(tableState.primaryKey\n          ? {\n              primaryKey: {\n                columns: tableState.primaryKey,\n                ...(tableState.primaryKeyName ? { name: tableState.primaryKeyName } : {}),\n              },\n            }\n          : {}),\n      } as unknown as BuildStorageTable<TableKey & string, ColumnDefs, PrimaryKey>;\n\n      (storageTables as Mutable<BuildStorageTables<Tables>>)[tableName] = table;\n    }\n\n    const storageTypes = (this.state.storageTypes ?? {}) as Types;\n    const storage: BuildStorage<Tables, Types> = {\n      tables: storageTables as BuildStorageTables<Tables>,\n      types: storageTypes,\n    };\n\n    const execution =\n      executionDefaults.length > 0\n        ? {\n            mutations: {\n              defaults: executionDefaults.sort((a, b) => {\n                const tableCompare = a.ref.table.localeCompare(b.ref.table);\n                if (tableCompare !== 0) {\n                  return tableCompare;\n                }\n                return a.ref.column.localeCompare(b.ref.column);\n              }),\n            },\n          }\n        : undefined;\n\n    // Build models - construct as partial first, then assert full type\n    const modelsPartial: Partial<BuildModels<Models>> = {};\n\n    for (const modelName in this.state.models) {\n      const modelState = this.state.models[modelName];\n      if (!modelState) continue;\n\n      const modelStateTyped = modelState as unknown as {\n        name: string;\n        table: string;\n        fields: Record<string, string>;\n        relations: Record<string, RelationDefinition>;\n      };\n\n      const tableName = modelStateTyped.table;\n      const tableState = this.state.tables[tableName as keyof Tables];\n      const tableColumns = tableState\n        ? (\n            tableState as unknown as {\n              columns: Record<string, { type: string; nullable?: boolean }>;\n            }\n          ).columns\n        : {};\n\n      const storageFields: Record<string, { readonly column: string }> = {};\n      const domainFields: Record<string, Record<string, unknown>> = {};\n\n      for (const fieldName in modelStateTyped.fields) {\n        const columnName = modelStateTyped.fields[fieldName];\n        if (!columnName) continue;\n\n        storageFields[fieldName] = { column: columnName };\n\n        const column = tableColumns[columnName];\n        if (column) {\n          domainFields[fieldName] = {\n            codecId: column.type,\n            nullable: column.nullable ?? false,\n          };\n        }\n      }\n\n      const modelRelations: Record<string, Record<string, unknown>> = {};\n      if (modelStateTyped.relations) {\n        for (const relName in modelStateTyped.relations) {\n          const rel = modelStateTyped.relations[relName];\n          if (!rel) continue;\n          modelRelations[relName] = {\n            to: rel.to,\n            cardinality: rel.cardinality,\n            on: {\n              localFields: rel.on.parentCols,\n              targetFields: rel.on.childCols,\n            },\n          };\n        }\n      }\n\n      (modelsPartial as unknown as Record<string, Record<string, unknown>>)[modelName] = {\n        storage: {\n          table: tableName,\n          fields: storageFields,\n        },\n        fields: domainFields,\n        relations: modelRelations,\n      };\n    }\n\n    const models = modelsPartial as unknown as BuildModels<Models>;\n\n    const extensionNamespaces = this.state.extensionNamespaces ?? [];\n    const extensionPacks: Record<string, unknown> = { ...(this.state.extensionPacks || {}) };\n    for (const namespace of extensionNamespaces) {\n      if (!Object.hasOwn(extensionPacks, namespace)) {\n        extensionPacks[namespace] = {};\n      }\n    }\n\n    const contract = {\n      schemaVersion: '1' as const,\n      target,\n      targetFamily: 'sql' as const,\n      storageHash: this.state.storageHash || 'sha256:ts-builder-placeholder',\n      models,\n      roots: {},\n      storage,\n      ...(execution ? { execution } : {}),\n      extensionPacks,\n      capabilities: this.state.capabilities || {},\n      meta: {},\n      sources: {},\n    } as unknown as BuiltContract;\n\n    return contract as unknown as ReturnType<\n      SqlContractBuilder<\n        CodecTypes,\n        Target,\n        Tables,\n        Models,\n        Types,\n        StorageHash,\n        ExtensionPacks,\n        Capabilities\n      >['build']\n    >;\n  }\n\n  override target<\n    T extends string,\n    TPack extends TargetPackRef<string, T> = TargetPackRef<string, T>,\n  >(\n    packRef: TPack & TargetPackRef<string, T>,\n  ): SqlContractBuilder<\n    ExtractCodecTypesFromPack<TPack> extends Record<string, never>\n      ? CodecTypes\n      : ExtractCodecTypesFromPack<TPack>,\n    T,\n    Tables,\n    Models,\n    Types,\n    StorageHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    return new SqlContractBuilder<\n      ExtractCodecTypesFromPack<TPack> extends Record<string, never>\n        ? CodecTypes\n        : ExtractCodecTypesFromPack<TPack>,\n      T,\n      Tables,\n      Models,\n      Types,\n      StorageHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      target: packRef.targetId,\n    }) as SqlContractBuilder<\n      ExtractCodecTypesFromPack<TPack> extends Record<string, never>\n        ? CodecTypes\n        : ExtractCodecTypesFromPack<TPack>,\n      T,\n      Tables,\n      Models,\n      Types,\n      StorageHash,\n      ExtensionPacks,\n      Capabilities\n    >;\n  }\n\n  extensionPacks<const Packs extends Record<string, ExtensionPackRef<'sql', string>>>(\n    packs: Packs,\n  ): SqlContractBuilder<\n    CodecTypes & MergeExtensionCodecTypes<Packs>,\n    Target,\n    Tables,\n    Models,\n    Types,\n    StorageHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    if (!this.state.target) {\n      throw new Error('extensionPacks() requires target() to be called first');\n    }\n\n    const namespaces = new Set(this.state.extensionNamespaces ?? []);\n\n    for (const packRef of Object.values(packs) as ExtensionPackRef<'sql', string>[]) {\n      if (!packRef) continue;\n\n      if (packRef.kind !== 'extension') {\n        throw new Error(\n          `extensionPacks() only accepts extension pack refs. Received kind \"${packRef.kind}\".`,\n        );\n      }\n\n      if (packRef.familyId !== 'sql') {\n        throw new Error(\n          `extension pack \"${packRef.id}\" targets family \"${packRef.familyId}\" but this builder targets \"sql\".`,\n        );\n      }\n\n      if (packRef.targetId && packRef.targetId !== this.state.target) {\n        throw new Error(\n          `extension pack \"${packRef.id}\" targets \"${packRef.targetId}\" but builder target is \"${this.state.target}\".`,\n        );\n      }\n\n      namespaces.add(packRef.id);\n    }\n\n    return new SqlContractBuilder<\n      CodecTypes & MergeExtensionCodecTypes<Packs>,\n      Target,\n      Tables,\n      Models,\n      Types,\n      StorageHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      extensionNamespaces: [...namespaces],\n    });\n  }\n\n  override capabilities<C extends Record<string, Record<string, boolean>>>(\n    capabilities: C,\n  ): SqlContractBuilder<CodecTypes, Target, Tables, Models, Types, StorageHash, ExtensionPacks, C> {\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables,\n      Models,\n      Types,\n      StorageHash,\n      ExtensionPacks,\n      C\n    >({\n      ...this.state,\n      capabilities,\n    });\n  }\n\n  override storageHash<H extends string>(\n    hash: H,\n  ): SqlContractBuilder<\n    CodecTypes,\n    Target,\n    Tables,\n    Models,\n    Types,\n    H,\n    ExtensionPacks,\n    Capabilities\n  > {\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables,\n      Models,\n      Types,\n      H,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      storageHash: hash,\n    });\n  }\n\n  override table<\n    TableName extends string,\n    T extends TableBuilder<\n      TableName,\n      Record<string, ColumnBuilderState<string, boolean, string>>,\n      readonly string[] | undefined\n    >,\n  >(\n    name: TableName,\n    callback: (t: TableBuilder<TableName>) => T | undefined,\n  ): SqlContractBuilder<\n    CodecTypes,\n    Target,\n    Tables & Record<TableName, ReturnType<T['build']>>,\n    Models,\n    Types,\n    StorageHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    const tableBuilder = createTable(name);\n    const result = callback(\n      tableBuilder as unknown as SqlTableBuilder<\n        TableName,\n        CodecTypes\n      > as unknown as TableBuilder<TableName>,\n    );\n    const finalBuilder = result instanceof TableBuilder ? result : tableBuilder;\n    const tableState = finalBuilder.build();\n\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables & Record<TableName, ReturnType<T['build']>>,\n      Models,\n      Types,\n      StorageHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      tables: { ...this.state.tables, [name]: tableState } as Tables &\n        Record<TableName, ReturnType<T['build']>>,\n    });\n  }\n\n  override model<\n    ModelName extends string,\n    TableName extends string,\n    M extends ModelBuilder<\n      ModelName,\n      TableName,\n      Record<string, string>,\n      Record<string, RelationDefinition>\n    >,\n  >(\n    name: ModelName,\n    table: TableName,\n    callback: (\n      m: ModelBuilder<ModelName, TableName, Record<never, never>, Record<never, never>>,\n    ) => M | undefined,\n  ): SqlContractBuilder<\n    CodecTypes,\n    Target,\n    Tables,\n    Models & Record<ModelName, ReturnType<M['build']>>,\n    Types,\n    StorageHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    const modelBuilder = new ModelBuilder<ModelName, TableName>(name, table);\n    const result = callback(modelBuilder);\n    const finalBuilder = result instanceof ModelBuilder ? result : modelBuilder;\n    const modelState = finalBuilder.build();\n\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables,\n      Models & Record<ModelName, ReturnType<M['build']>>,\n      Types,\n      StorageHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      models: { ...this.state.models, [name]: modelState } as Models &\n        Record<ModelName, ReturnType<M['build']>>,\n    });\n  }\n\n  override foreignKeyDefaults(\n    config: ForeignKeyDefaultsState,\n  ): SqlContractBuilder<\n    CodecTypes,\n    Target,\n    Tables,\n    Models,\n    Types,\n    StorageHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables,\n      Models,\n      Types,\n      StorageHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      foreignKeyDefaults: config,\n    });\n  }\n\n  storageType<Name extends string, Type extends StorageTypeInstance>(\n    name: Name,\n    typeInstance: Type,\n  ): SqlContractBuilder<\n    CodecTypes,\n    Target,\n    Tables,\n    Models,\n    Types & Record<Name, Type>,\n    StorageHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables,\n      Models,\n      Types & Record<Name, Type>,\n      StorageHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      storageTypes: {\n        ...(this.state.storageTypes ?? {}),\n        [name]: typeInstance,\n      },\n    });\n  }\n}\n\nexport function defineContract<\n  CodecTypes extends Record<string, { output: unknown }> = Record<string, never>,\n>(): SqlContractBuilder<CodecTypes> {\n  return new SqlContractBuilder<CodecTypes>();\n}\n"],"mappings":";;;;;AA2NA,SAAS,cAAc,OAAkD;AACvE,KAAI,OAAO,UAAU,YAAY,UAAU,KAAM,QAAO;CACxD,MAAM,QAAQ,OAAO,eAAe,MAAM;AAC1C,QAAO,UAAU,OAAO,aAAa,UAAU;;AAGjD,SAAS,YAAY,OAAoD;AACvE,KAAI,UAAU,KAAM,QAAO;CAC3B,MAAM,YAAY,OAAO;AACzB,KAAI,cAAc,YAAY,cAAc,YAAY,cAAc,UAAW,QAAO;AACxF,KAAI,MAAM,QAAQ,MAAM,CACtB,QAAO,MAAM,OAAO,SAAS,YAAY,KAAK,CAAC;AAEjD,KAAI,cAAc,MAAM,CACtB,QAAO,OAAO,OAAO,MAAM,CAAC,OAAO,SAAS,YAAY,KAAK,CAAC;AAEhE,QAAO;;AAGT,SAAS,0BACP,OAC2B;AAC3B,KAAI,OAAO,UAAU,SACnB,QAAO;EAAE,OAAO;EAAU,OAAO,MAAM,UAAU;EAAE;AAErD,KAAI,iBAAiB,KACnB,QAAO,MAAM,aAAa;AAE5B,KAAI,YAAY,MAAM,EAAE;AACtB,MAAI,cAAc,MAAM,IAAI,WAAW,MACrC,QAAO;GAAE,OAAO;GAAO;GAAO;AAEhC,SAAO;;AAET,OAAM,IAAI,MACR,uFACD;;AAGH,SAAS,oBAAoB,cAA4C;AACvE,KAAI,aAAa,SAAS,WACxB,QAAO;EAAE,MAAM;EAAY,YAAY,aAAa;EAAY;AAElE,QAAO;EAAE,MAAM;EAAW,OAAO,0BAA0B,aAAa,MAAM;EAAE;;AAGlF,IAAM,qBAAN,MAAM,2BAmBI,gBAAmF;;;;;;;;;;;;;;;;;;;CA6B3F,QAeU;AAiBR,MAAI,CAAC,KAAK,MAAM,OACd,OAAM,IAAI,MAAM,qDAAqD;EAGvE,MAAM,SAAS,KAAK,MAAM;EAE1B,MAAM,gBAAgB,EAAE;EACxB,MAAMA,oBAAgD,EAAE;AAExD,OAAK,MAAM,aAAa,OAAO,KAAK,KAAK,MAAM,OAAO,EAAkC;GACtF,MAAM,aAAa,KAAK,MAAM,OAAO;AACrC,OAAI,CAAC,WAAY;GAMjB,MAAM,UAAU,EAAE;AAOlB,QAAK,MAAM,cAAc,WAAW,SAAS;IAC3C,MAAM,cAAc,WAAW,QAAQ;AACvC,QAAI,CAAC,YAAa;IAClB,MAAM,UAAU,YAAY;IAC5B,MAAM,aAAa,YAAY;IAC/B,MAAM,UAAU,YAAY;IAE5B,MAAM,iBACJ,YAAY,YAAY,SACpB,oBAAoB,YAAY,QAAyB,GACzD;AAEN,YAAQ,cAAkC;KACxC;KACA;KACA,UAAW,YAAY,YAAY;KAEnC,GAAG,UAAU,cAAc,YAAY,WAAW;KAClD,GAAG,UAAU,WAAW,eAAe;KACvC,GAAG,UAAU,WAAW,QAAQ;KACjC;AAKD,QAAI,sBAAsB,eAAe,YAAY,iBACnD,mBAAkB,KAAK;KACrB,KAAK;MAAE,OAAO;MAAW,QAAQ;MAAY;KAC7C,UAAU,YAAY;KACvB,CAAC;;AAgDN,GAAC,cAAsD,aApBzC;IACH;IAMT,UA9Be,WAAW,WAAW,EAAE,EAAE,KAAK,OAAO;KACrD,SAAS,EAAE;KACX,GAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,EAAE;KACnC,EAAE;IA4BD,UAzBe,WAAW,WAAW,EAAE,EAAE,KAAK,OAAO;KACrD,SAAS,EAAE;KACX,GAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,EAAE;KAClC,GAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,GAAG,EAAE;KACrC,GAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,QAAQ,GAAG,EAAE;KACzC,EAAE;IAqBD,cAlBmB,WAAW,eAAe,EAAE,EAAE,KAAK,QAAQ;KAC9D,SAAS,GAAG;KACZ,YAAY,GAAG;KACf,GAAG,gBAAgB,IAAI,KAAK,MAAM,mBAAmB;KACrD,GAAI,GAAG,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,EAAE;KACpC,GAAI,GAAG,aAAa,SAAY,EAAE,UAAU,GAAG,UAAU,GAAG,EAAE;KAC9D,GAAI,GAAG,aAAa,SAAY,EAAE,UAAU,GAAG,UAAU,GAAG,EAAE;KAC/D,EAAE;IAYD,GAAI,WAAW,aACX,EACE,YAAY;KACV,SAAS,WAAW;KACpB,GAAI,WAAW,iBAAiB,EAAE,MAAM,WAAW,gBAAgB,GAAG,EAAE;KACzE,EACF,GACD,EAAE;IACP;;EAMH,MAAMC,UAAuC;GAC3C,QAAQ;GACR,OAHoB,KAAK,MAAM,gBAAgB,EAAE;GAIlD;EAED,MAAM,YACJ,kBAAkB,SAAS,IACvB,EACE,WAAW,EACT,UAAU,kBAAkB,MAAM,GAAG,MAAM;GACzC,MAAM,eAAe,EAAE,IAAI,MAAM,cAAc,EAAE,IAAI,MAAM;AAC3D,OAAI,iBAAiB,EACnB,QAAO;AAET,UAAO,EAAE,IAAI,OAAO,cAAc,EAAE,IAAI,OAAO;IAC/C,EACH,EACF,GACD;EAGN,MAAMC,gBAA8C,EAAE;AAEtD,OAAK,MAAM,aAAa,KAAK,MAAM,QAAQ;GACzC,MAAM,aAAa,KAAK,MAAM,OAAO;AACrC,OAAI,CAAC,WAAY;GAEjB,MAAM,kBAAkB;GAOxB,MAAM,YAAY,gBAAgB;GAClC,MAAM,aAAa,KAAK,MAAM,OAAO;GACrC,MAAM,eAAe,aAEf,WAGA,UACF,EAAE;GAEN,MAAMC,gBAA6D,EAAE;GACrE,MAAMC,eAAwD,EAAE;AAEhE,QAAK,MAAM,aAAa,gBAAgB,QAAQ;IAC9C,MAAM,aAAa,gBAAgB,OAAO;AAC1C,QAAI,CAAC,WAAY;AAEjB,kBAAc,aAAa,EAAE,QAAQ,YAAY;IAEjD,MAAM,SAAS,aAAa;AAC5B,QAAI,OACF,cAAa,aAAa;KACxB,SAAS,OAAO;KAChB,UAAU,OAAO,YAAY;KAC9B;;GAIL,MAAMC,iBAA0D,EAAE;AAClE,OAAI,gBAAgB,UAClB,MAAK,MAAM,WAAW,gBAAgB,WAAW;IAC/C,MAAM,MAAM,gBAAgB,UAAU;AACtC,QAAI,CAAC,IAAK;AACV,mBAAe,WAAW;KACxB,IAAI,IAAI;KACR,aAAa,IAAI;KACjB,IAAI;MACF,aAAa,IAAI,GAAG;MACpB,cAAc,IAAI,GAAG;MACtB;KACF;;AAIL,GAAC,cAAqE,aAAa;IACjF,SAAS;KACP,OAAO;KACP,QAAQ;KACT;IACD,QAAQ;IACR,WAAW;IACZ;;EAGH,MAAM,SAAS;EAEf,MAAM,sBAAsB,KAAK,MAAM,uBAAuB,EAAE;EAChE,MAAMC,iBAA0C,EAAE,GAAI,KAAK,MAAM,kBAAkB,EAAE,EAAG;AACxF,OAAK,MAAM,aAAa,oBACtB,KAAI,CAAC,OAAO,OAAO,gBAAgB,UAAU,CAC3C,gBAAe,aAAa,EAAE;AAmBlC,SAfiB;GACf,eAAe;GACf;GACA,cAAc;GACd,aAAa,KAAK,MAAM,eAAe;GACvC;GACA,OAAO,EAAE;GACT;GACA,GAAI,YAAY,EAAE,WAAW,GAAG,EAAE;GAClC;GACA,cAAc,KAAK,MAAM,gBAAgB,EAAE;GAC3C,MAAM,EAAE;GACR,SAAS,EAAE;GACZ;;CAgBH,AAAS,OAIP,SAYA;AACA,SAAO,IAAI,mBAWT;GACA,GAAG,KAAK;GACR,QAAQ,QAAQ;GACjB,CAAC;;CAcJ,eACE,OAUA;AACA,MAAI,CAAC,KAAK,MAAM,OACd,OAAM,IAAI,MAAM,wDAAwD;EAG1E,MAAM,aAAa,IAAI,IAAI,KAAK,MAAM,uBAAuB,EAAE,CAAC;AAEhE,OAAK,MAAM,WAAW,OAAO,OAAO,MAAM,EAAuC;AAC/E,OAAI,CAAC,QAAS;AAEd,OAAI,QAAQ,SAAS,YACnB,OAAM,IAAI,MACR,qEAAqE,QAAQ,KAAK,IACnF;AAGH,OAAI,QAAQ,aAAa,MACvB,OAAM,IAAI,MACR,mBAAmB,QAAQ,GAAG,oBAAoB,QAAQ,SAAS,mCACpE;AAGH,OAAI,QAAQ,YAAY,QAAQ,aAAa,KAAK,MAAM,OACtD,OAAM,IAAI,MACR,mBAAmB,QAAQ,GAAG,aAAa,QAAQ,SAAS,2BAA2B,KAAK,MAAM,OAAO,IAC1G;AAGH,cAAW,IAAI,QAAQ,GAAG;;AAG5B,SAAO,IAAI,mBAST;GACA,GAAG,KAAK;GACR,qBAAqB,CAAC,GAAG,WAAW;GACrC,CAAC;;CAGJ,AAAS,aACP,cAC+F;AAC/F,SAAO,IAAI,mBAST;GACA,GAAG,KAAK;GACR;GACD,CAAC;;CAGJ,AAAS,YACP,MAUA;AACA,SAAO,IAAI,mBAST;GACA,GAAG,KAAK;GACR,aAAa;GACd,CAAC;;CAGJ,AAAS,MAQP,MACA,UAUA;EACA,MAAM,eAAe,YAAY,KAAK;EACtC,MAAM,SAAS,SACb,aAID;EAED,MAAM,cADe,kBAAkB,eAAe,SAAS,cAC/B,OAAO;AAEvC,SAAO,IAAI,mBAST;GACA,GAAG,KAAK;GACR,QAAQ;IAAE,GAAG,KAAK,MAAM;KAAS,OAAO;IAAY;GAErD,CAAC;;CAGJ,AAAS,MAUP,MACA,OACA,UAYA;EACA,MAAM,eAAe,IAAI,aAAmC,MAAM,MAAM;EACxE,MAAM,SAAS,SAAS,aAAa;EAErC,MAAM,cADe,kBAAkB,eAAe,SAAS,cAC/B,OAAO;AAEvC,SAAO,IAAI,mBAST;GACA,GAAG,KAAK;GACR,QAAQ;IAAE,GAAG,KAAK,MAAM;KAAS,OAAO;IAAY;GAErD,CAAC;;CAGJ,AAAS,mBACP,QAUA;AACA,SAAO,IAAI,mBAST;GACA,GAAG,KAAK;GACR,oBAAoB;GACrB,CAAC;;CAGJ,YACE,MACA,cAUA;AACA,SAAO,IAAI,mBAST;GACA,GAAG,KAAK;GACR,cAAc;IACZ,GAAI,KAAK,MAAM,gBAAgB,EAAE;KAChC,OAAO;IACT;GACF,CAAC;;;AAIN,SAAgB,iBAEoB;AAClC,QAAO,IAAI,oBAAgC"}

package/package.json

@@ -1,17 +1,17 @@
 {
   "name": "@prisma-next/sql-contract-ts",
-  "version": "0.3.0-dev.131",
+  "version": "0.3.0-dev.133",
   "type": "module",
   "sideEffects": false,
   "description": "SQL-specific TypeScript contract authoring surface for Prisma Next",
   "dependencies": {
     "arktype": "^2.1.25",
     "ts-toolbelt": "^9.6.0",
-    "@prisma-next/contract": "0.3.0-dev.131",
-    "@prisma-next/config": "0.3.0-dev.131",
-    "@prisma-next/contract-authoring": "0.3.0-dev.131",
-    "@prisma-next/sql-contract": "0.3.0-dev.131",
-    "@prisma-next/utils": "0.3.0-dev.131"
+    "@prisma-next/contract": "0.3.0-dev.133",
+    "@prisma-next/contract-authoring": "0.3.0-dev.133",
+    "@prisma-next/config": "0.3.0-dev.133",
+    "@prisma-next/sql-contract": "0.3.0-dev.133",
+    "@prisma-next/utils": "0.3.0-dev.133"
   },
   "devDependencies": {
     "@types/pg": "8.16.0",

package/schemas/data-contract-sql-v1.json

@@ -49,7 +49,7 @@
         }
       }
     },
-    "extensions": {
+    "extensionPacks": {
       "type": "object",
       "description": "Extension packs and their configuration",
       "additionalProperties": true
@@ -498,7 +498,7 @@
         },
         "fields": {
           "type": "object",
-          "description": "Field definitions mapping model fields to storage columns",
+          "description": "Domain field metadata (codecId, nullable)",
           "additionalProperties": {
             "$ref": "#/$defs/ModelField"
           }
@@ -519,13 +519,9 @@
     },
     "ModelField": {
       "type": "object",
-      "description": "Domain field definition. New format has codecId + nullable (column lives in model.storage.fields). Old format has column only.",
+      "description": "Domain field definition (codec and nullability; column mapping lives in model.storage.fields)",
       "additionalProperties": false,
       "properties": {
-        "column": {
-          "type": "string",
-          "description": "Column name in the model's backing table (old format; new format uses model.storage.fields)"
-        },
         "codecId": {
           "type": "string",
           "description": "Codec identifier for the field"
@@ -534,7 +530,8 @@
           "type": "boolean",
           "description": "Whether the field allows NULL values"
         }
-      }
+      },
+      "required": ["codecId", "nullable"]
     },
     "ModelStorageField": {
       "type": "object",
@@ -558,7 +555,7 @@
     },
     "ModelRelation": {
       "type": "object",
-      "description": "Model relation definition (domain format with localFields/targetFields, or storage format with parentCols/childCols)",
+      "description": "Model relation definition (domain format with localFields/targetFields)",
       "properties": {
         "to": {
           "type": "string",
@@ -578,24 +575,14 @@
           "type": "object",
           "description": "Relation field mappings",
           "properties": {
-            "parentCols": {
-              "type": "array",
-              "description": "Parent table columns (storage format)",
-              "items": { "type": "string" }
-            },
-            "childCols": {
-              "type": "array",
-              "description": "Child table columns (storage format)",
-              "items": { "type": "string" }
-            },
             "localFields": {
               "type": "array",
-              "description": "Local model fields (domain format)",
+              "description": "Local model fields",
               "items": { "type": "string" }
             },
             "targetFields": {
               "type": "array",
-              "description": "Target model fields (domain format)",
+              "description": "Target model fields",
               "items": { "type": "string" }
             }
           }

package/src/contract-builder.ts

@@ -18,7 +18,6 @@ import type {
 } from '@prisma-next/contract-authoring';
 import {
   type BuildModels,
-  type BuildRelations,
   type BuildStorageColumn,
   ContractBuilder,
   createTable,
@@ -32,17 +31,12 @@ import {
   applyFkDefaults,
   type ContractWithTypeMaps,
   type Index,
-  type ModelDefinition,
-  type ModelField,
   type ReferentialAction,
   type SqlContract,
-  type SqlMappings,
-  type SqlStorage,
   type StorageTypeInstance,
   type TypeMaps,
 } from '@prisma-next/sql-contract/types';
 import { ifDefined } from '@prisma-next/utils/defined';
-import { computeMappings } from './contract';
 
 type ColumnDefaultForCodec<
   CodecTypes extends Record<string, { output: unknown }>,
@@ -132,8 +126,6 @@ export interface SqlTableBuilder<
   >;
 }
 
-type ContractBuilderMappings = SqlMappings;
-
 type ExtractCodecTypesFromPack<P> = P extends { __codecTypes?: infer C }
   ? C extends Record<string, { output: unknown }>
     ? C
@@ -308,7 +300,7 @@ class SqlContractBuilder<
    * - `uniques`: defaults to `[]` (empty array)
    * - `indexes`: defaults to `[]` (empty array)
    * - `foreignKeys`: defaults to `[]` (empty array)
-   * - `relations`: defaults to `{}` (empty object) for both model-level and contract-level
+   * - model `relations`: defaults to `{}` (empty object) when not populated by the builder
    * - `nativeType`: required field set from column type descriptor when columns are defined
    *
    * The contract builder is the **only** place where normalization should occur.
@@ -321,12 +313,7 @@ class SqlContractBuilder<
    */
   build(): Target extends string
     ? ContractWithTypeMaps<
-        SqlContract<
-          BuildStorage<Tables, Types>,
-          BuildModels<Models>,
-          BuildRelations<Models>,
-          ContractBuilderMappings
-        > & {
+        SqlContract<BuildStorage<Tables, Types>, BuildModels<Models>> & {
           readonly schemaVersion: '1';
           readonly target: Target;
           readonly targetFamily: 'sql';
@@ -342,12 +329,7 @@ class SqlContractBuilder<
     : never {
     type BuiltContract = Target extends string
       ? ContractWithTypeMaps<
-          SqlContract<
-            BuildStorage<Tables, Types>,
-            BuildModels<Models>,
-            BuildRelations<Models>,
-            ContractBuilderMappings
-          > & {
+          SqlContract<BuildStorage<Tables, Types>, BuildModels<Models>> & {
             readonly schemaVersion: '1';
             readonly target: Target;
             readonly targetFamily: 'sql';
@@ -489,7 +471,6 @@ class SqlContractBuilder<
     // Build models - construct as partial first, then assert full type
     const modelsPartial: Partial<BuildModels<Models>> = {};
 
-    // Iterate over models - TypeScript will see keys as string, but type assertion preserves literals
     for (const modelName in this.state.models) {
       const modelState = this.state.models[modelName];
       if (!modelState) continue;
@@ -498,77 +479,65 @@ class SqlContractBuilder<
         name: string;
         table: string;
         fields: Record<string, string>;
+        relations: Record<string, RelationDefinition>;
       };
 
-      // Build fields object
-      const fields: Partial<Record<string, ModelField>> = {};
+      const tableName = modelStateTyped.table;
+      const tableState = this.state.tables[tableName as keyof Tables];
+      const tableColumns = tableState
+        ? (
+            tableState as unknown as {
+              columns: Record<string, { type: string; nullable?: boolean }>;
+            }
+          ).columns
+        : {};
+
+      const storageFields: Record<string, { readonly column: string }> = {};
+      const domainFields: Record<string, Record<string, unknown>> = {};
 
-      // Iterate over fields
       for (const fieldName in modelStateTyped.fields) {
         const columnName = modelStateTyped.fields[fieldName];
-        if (columnName) {
-          fields[fieldName] = {
-            column: columnName,
+        if (!columnName) continue;
+
+        storageFields[fieldName] = { column: columnName };
+
+        const column = tableColumns[columnName];
+        if (column) {
+          domainFields[fieldName] = {
+            codecId: column.type,
+            nullable: column.nullable ?? false,
           };
         }
       }
 
-      // Assign to models - type assertion preserves literal keys
-      (modelsPartial as unknown as Record<string, ModelDefinition>)[modelName] = {
+      const modelRelations: Record<string, Record<string, unknown>> = {};
+      if (modelStateTyped.relations) {
+        for (const relName in modelStateTyped.relations) {
+          const rel = modelStateTyped.relations[relName];
+          if (!rel) continue;
+          modelRelations[relName] = {
+            to: rel.to,
+            cardinality: rel.cardinality,
+            on: {
+              localFields: rel.on.parentCols,
+              targetFields: rel.on.childCols,
+            },
+          };
+        }
+      }
+
+      (modelsPartial as unknown as Record<string, Record<string, unknown>>)[modelName] = {
         storage: {
-          table: modelStateTyped.table,
+          table: tableName,
+          fields: storageFields,
         },
-        fields: fields as Record<string, ModelField>,
-        relations: {},
+        fields: domainFields,
+        relations: modelRelations,
       };
     }
 
-    // Build relations object - organized by table name
-    const relationsPartial: Partial<Record<string, Record<string, RelationDefinition>>> = {};
-
-    // Iterate over models to collect relations
-    for (const modelName in this.state.models) {
-      const modelState = this.state.models[modelName];
-      if (!modelState) continue;
-
-      const modelStateTyped = modelState as unknown as {
-        name: string;
-        table: string;
-        fields: Record<string, string>;
-        relations: Record<string, RelationDefinition>;
-      };
-
-      const tableName = modelStateTyped.table;
-      if (!tableName) continue;
-
-      // Only initialize relations object for this table if it has relations
-      if (modelStateTyped.relations && Object.keys(modelStateTyped.relations).length > 0) {
-        if (!relationsPartial[tableName]) {
-          relationsPartial[tableName] = {};
-        }
-
-        // Add relations from this model to the table's relations
-        const tableRelations = relationsPartial[tableName];
-        if (tableRelations) {
-          for (const relationName in modelStateTyped.relations) {
-            const relation = modelStateTyped.relations[relationName];
-            if (relation) {
-              tableRelations[relationName] = relation;
-            }
-          }
-        }
-      }
-    }
-
     const models = modelsPartial as unknown as BuildModels<Models>;
 
-    const baseMappings = computeMappings(
-      models as unknown as Record<string, ModelDefinition>,
-      storage as SqlStorage,
-    );
-
-    const mappings = baseMappings as ContractBuilderMappings;
-
     const extensionNamespaces = this.state.extensionNamespaces ?? [];
     const extensionPacks: Record<string, unknown> = { ...(this.state.extensionPacks || {}) };
     for (const namespace of extensionNamespaces) {
@@ -577,18 +546,14 @@ class SqlContractBuilder<
       }
     }
 
-    // Construct contract with explicit type that matches the generic parameters
-    // This ensures TypeScript infers literal types from the generics, not runtime values
-    // Always include relations, even if empty (normalized to empty object)
     const contract = {
       schemaVersion: '1' as const,
       target,
       targetFamily: 'sql' as const,
       storageHash: this.state.storageHash || 'sha256:ts-builder-placeholder',
       models,
-      relations: relationsPartial,
+      roots: {},
       storage,
-      mappings,
       ...(execution ? { execution } : {}),
       extensionPacks,
       capabilities: this.state.capabilities || {},

package/src/contract.ts

@@ -1,10 +1,6 @@
 import type {
-  ModelDefinition,
-  ModelField,
-  ModelStorage,
   PrimaryKey,
   SqlContract,
-  SqlMappings,
   SqlStorage,
   StorageTypeInstance,
   UniqueConstraint,
@@ -61,15 +57,21 @@ const StorageSchema = type({
   'types?': type({ '[string]': StorageTypeInstanceSchema }),
 });
 
-const ModelFieldSchema = type.declare<ModelField>().type({
+const ModelFieldSchema = type({
+  'nullable?': 'boolean',
+  'codecId?': 'string',
+});
+
+const ModelStorageFieldSchema = type({
   column: 'string',
 });
 
-const ModelStorageSchema = type.declare<ModelStorage>().type({
+const ModelStorageSchema = type({
   table: 'string',
+  'fields?': type({ '[string]': ModelStorageFieldSchema }),
 });
 
-const ModelSchema = type.declare<ModelDefinition>().type({
+const ModelSchema = type({
   storage: ModelStorageSchema,
   fields: type({ '[string]': ModelFieldSchema }),
   relations: type({ '[string]': 'unknown' }),
@@ -161,51 +163,6 @@ function validateContractStructure<T extends SqlContract<SqlStorage>>(
   return contractResult as O.Overwrite<T, { targetFamily: 'sql' }>;
 }
 
-/**
- * Computes mapping dictionaries from models and storage structures.
- * Assumes valid input - validation happens separately in validateContractLogic().
- *
- * @param models - Models object from contract
- * @param storage - Storage object from contract
- * @param existingMappings - Existing mappings from contract input (optional)
- * @returns Computed mappings dictionary
- */
-export function computeMappings(
-  models: Record<string, ModelDefinition>,
-  _storage: SqlStorage,
-  existingMappings?: Partial<SqlMappings>,
-): SqlMappings {
-  const modelToTable: Record<string, string> = {};
-  const tableToModel: Record<string, string> = {};
-  const fieldToColumn: Record<string, Record<string, string>> = {};
-  const columnToField: Record<string, Record<string, string>> = {};
-
-  for (const [modelName, model] of Object.entries(models)) {
-    const tableName = model.storage.table;
-    modelToTable[modelName] = tableName;
-    tableToModel[tableName] = modelName;
-
-    const modelFieldToColumn: Record<string, string> = {};
-    for (const [fieldName, field] of Object.entries(model.fields)) {
-      const columnName = field.column;
-      modelFieldToColumn[fieldName] = columnName;
-
-      if (!columnToField[tableName]) {
-        columnToField[tableName] = {};
-      }
-      columnToField[tableName][columnName] = fieldName;
-    }
-    fieldToColumn[modelName] = modelFieldToColumn;
-  }
-
-  return {
-    modelToTable: existingMappings?.modelToTable ?? modelToTable,
-    tableToModel: existingMappings?.tableToModel ?? tableToModel,
-    fieldToColumn: existingMappings?.fieldToColumn ?? fieldToColumn,
-    columnToField: existingMappings?.columnToField ?? columnToField,
-  };
-}
-
 /**
  * Validates logical consistency of a **structurally validated** SqlContract.
  * This checks that references (e.g., foreign keys, primary keys, uniques) point to storage objects that already exist.
@@ -281,11 +238,12 @@ function validateContractLogic(structurallyValidatedContract: SqlContract<SqlSto
     }
   }
 
-  // Validate models
   for (const [modelName, modelUnknown] of Object.entries(models)) {
-    // normalizeContract() ensures models have both domain (DomainModel) and SQL-specific (ModelDefinition) properties
-    const model = modelUnknown as unknown as ModelDefinition;
-    // Validate model has storage.table
+    const model = modelUnknown as {
+      storage?: { table?: string; fields?: Record<string, { column?: string }> };
+      fields?: Record<string, unknown>;
+      relations?: Record<string, unknown>;
+    };
     if (!model.storage?.table) {
       /* c8 ignore next */
       throw new Error(`Model "${modelName}" is missing storage.table`);
@@ -293,7 +251,6 @@ function validateContractLogic(structurallyValidatedContract: SqlContract<SqlSto
 
     const tableName = model.storage.table;
 
-    // Validate model's table exists in storage
     if (!tableNames.has(tableName)) {
       /* c8 ignore next */
       throw new Error(`Model "${modelName}" references non-existent table "${tableName}"`);
@@ -305,7 +262,6 @@ function validateContractLogic(structurallyValidatedContract: SqlContract<SqlSto
       throw new Error(`Model "${modelName}" references non-existent table "${tableName}"`);
     }
 
-    // Validate model's table has a primary key
     if (!table.primaryKey) {
       /* c8 ignore next */
       throw new Error(`Model "${modelName}" table "${tableName}" is missing a primary key`);
@@ -313,70 +269,59 @@ function validateContractLogic(structurallyValidatedContract: SqlContract<SqlSto
 
     const columnNames = new Set(Object.keys(table.columns));
 
-    // Validate model fields
-    if (!model.fields) {
-      /* c8 ignore next */
-      throw new Error(`Model "${modelName}" is missing fields`);
-    }
-
-    for (const [fieldName, fieldUnknown] of Object.entries(model.fields)) {
-      const field = fieldUnknown as { column: string };
-      // Validate field has column property
-      if (!field.column) {
-        /* c8 ignore next */
-        throw new Error(`Model "${modelName}" field "${fieldName}" is missing column property`);
-      }
+    const storageFields = model.storage.fields;
+    if (storageFields) {
+      for (const [fieldName, storageField] of Object.entries(storageFields)) {
+        if (!storageField.column) {
+          /* c8 ignore next */
+          throw new Error(`Model "${modelName}" field "${fieldName}" is missing column property`);
+        }
 
-      // Validate field's column exists in the model's backing table
-      if (!columnNames.has(field.column)) {
-        /* c8 ignore next */
-        throw new Error(
-          `Model "${modelName}" field "${fieldName}" references non-existent column "${field.column}" in table "${tableName}"`,
-        );
+        if (!columnNames.has(storageField.column)) {
+          /* c8 ignore next */
+          throw new Error(
+            `Model "${modelName}" field "${fieldName}" references non-existent column "${storageField.column}" in table "${tableName}"`,
+          );
+        }
       }
     }
 
-    // Validate model relations have corresponding foreign keys
     if (model.relations) {
       for (const [relationName, relation] of Object.entries(model.relations)) {
-        // For now, we'll do basic validation. Full FK validation can be added later
-        // This would require checking that the relation's on.parentCols/childCols match FKs
         if (
           typeof relation === 'object' &&
           relation !== null &&
           'on' in relation &&
           'to' in relation
         ) {
-          const on = relation.on as { parentCols?: string[]; childCols?: string[] };
+          const on = relation.on as { localFields?: string[]; targetFields?: string[] };
           const cardinality = (relation as { cardinality?: string }).cardinality;
-          if (on.parentCols && on.childCols) {
-            // For 1:N relations, the foreign key is on the child table
-            // For N:1 relations, the foreign key is on the parent table (this table)
-            // For now, we'll skip validation for 1:N relations as the FK is on the child table
-            // and we'll validate it when we process the child model
-            if (cardinality === '1:N') {
-              // Foreign key is on the child table, skip validation here
-              // It will be validated when we process the child model
-              continue;
-            }
-
-            // For N:1 relations, check that there's a foreign key matching this relation
-            const hasMatchingFk = table.foreignKeys?.some((fk) => {
-              return (
-                fk.columns.length === on.childCols?.length &&
-                fk.columns.every((col, i) => col === on.childCols?.[i]) &&
-                fk.references.table &&
-                fk.references.columns.length === on.parentCols?.length &&
-                fk.references.columns.every((col, i) => col === on.parentCols?.[i])
-              );
-            });
-
-            if (!hasMatchingFk) {
-              /* c8 ignore next */
-              throw new Error(
-                `Model "${modelName}" relation "${relationName}" does not have a corresponding foreign key in table "${tableName}"`,
-              );
-            }
+          const localFields = on.localFields;
+          const targetFields = on.targetFields;
+          if (!localFields || !targetFields) {
+            throw new Error(
+              `Model "${modelName}" relation "${relationName}" uses unsupported relation format (expected localFields/targetFields)`,
+            );
+          }
+          if (cardinality === '1:N') {
+            continue;
+          }
+
+          const hasMatchingFk = table.foreignKeys?.some((fk) => {
+            return (
+              fk.columns.length === localFields.length &&
+              fk.columns.every((col, i) => col === localFields[i]) &&
+              fk.references.table &&
+              fk.references.columns.length === targetFields.length &&
+              fk.references.columns.every((col, i) => col === targetFields[i])
+            );
+          });
+
+          if (!hasMatchingFk) {
+            /* c8 ignore next */
+            throw new Error(
+              `Model "${modelName}" relation "${relationName}" does not have a corresponding foreign key in table "${tableName}"`,
+            );
           }
         }
       }
@@ -518,29 +463,7 @@ export function validateContract<TContract extends SqlContract<SqlStorage>>(
 
   const contractForValidation = structurallyValid as SqlContract<SqlStorage>;
 
-  // Validate contract logic (contracts must already have fully qualified type IDs)
   validateContractLogic(contractForValidation);
 
-  // Extract existing mappings (optional - will be computed if missing)
-  const existingMappings = (contractForValidation as { mappings?: Partial<SqlMappings> }).mappings;
-
-  // Compute mappings from models and storage
-  const mappings = computeMappings(
-    contractForValidation.models as Record<string, ModelDefinition>,
-    contractForValidation.storage,
-    existingMappings,
-  );
-
-  // Add default values for optional metadata fields if missing
-  const contractWithMappings = {
-    ...structurallyValid,
-    models: contractForValidation.models,
-    relations: contractForValidation.relations,
-    storage: contractForValidation.storage,
-    mappings,
-  };
-
-  // Type assertion: The caller provides the strict type via TContract.
-  // We validate the structure matches, but the precise types come from contract.d.ts
-  return decodeContractDefaults(contractWithMappings) as TContract;
+  return decodeContractDefaults(contractForValidation) as TContract;
 }