@prisma-next/sql-contract 0.3.0-dev.123 → 0.3.0-dev.125

package/dist/factories.d.mts

@@ -1,4 +1,4 @@
-import { D as SqlStorage, N as UniqueConstraint, O as StorageColumn, T as SqlMappings, _ as PrimaryKey, f as Index, k as StorageTable, l as ForeignKey, m as ModelField, p as ModelDefinition, u as ForeignKeyOptions, w as SqlContract } from "./types-mnqqP_Au.mjs";
+import { A as SqlStorage, I as UniqueConstraint, M as StorageTable, T as SqlMappings, _ as PrimaryKey, f as Index, j as StorageColumn, l as ForeignKey, m as ModelField, p as ModelDefinition, u as ForeignKeyOptions, w as SqlContract } from "./types-C7hjlEOo.mjs";
 import { ExecutionHashBase, ProfileHashBase, StorageHashBase } from "@prisma-next/contract/types";
 
 //#region src/factories.d.ts

package/dist/{types-mnqqP_Au.d.mts → types-C7hjlEOo.d.mts}

@@ -1,4 +1,4 @@
-import { ColumnDefault, ContractBase, ExecutionHashBase, ExecutionSection, ProfileHashBase, StorageHashBase } from "@prisma-next/contract/types";
+import { ColumnDefault, ContractBase, DomainRelationOn, ExecutionHashBase, ExecutionSection, ProfileHashBase, StorageHashBase } from "@prisma-next/contract/types";
 
 //#region src/types.d.ts
 
@@ -113,6 +113,19 @@ type ModelDefinition = {
   readonly storage: ModelStorage;
   readonly fields: Record<string, ModelField>;
   readonly relations: Record<string, unknown>;
+  readonly owner?: string;
+};
+type SqlModelFieldStorage = {
+  readonly column: string;
+};
+type SqlModelStorage = {
+  readonly table: string;
+  readonly fields: Record<string, SqlModelFieldStorage>;
+};
+type SqlRelation = {
+  readonly to: string;
+  readonly cardinality: '1:1' | '1:N' | 'N:1';
+  readonly on: DomainRelationOn;
 };
 type SqlMappings = {
   readonly modelToTable?: Record<string, string>;
@@ -164,10 +177,9 @@ type QueryOperationTypesOf<T> = [T] extends [never] ? Record<string, never> : T
 } ? Q extends Record<string, unknown> ? Q : Record<string, never> : Record<string, never>;
 type TypeMapsPhantomKey = '__@prisma-next/sql-contract/typeMaps@__';
 type ContractWithTypeMaps<TContract, TTypeMaps> = TContract & { readonly [K in TypeMapsPhantomKey]?: TTypeMaps };
-type SqlContract<S extends SqlStorage = SqlStorage, M extends Record<string, unknown> = Record<string, unknown>, R extends Record<string, unknown> = Record<string, unknown>, Map extends SqlMappings = SqlMappings, TStorageHash extends StorageHashBase<string> = StorageHashBase<string>, TExecutionHash extends ExecutionHashBase<string> = ExecutionHashBase<string>, TProfileHash extends ProfileHashBase<string> = ProfileHashBase<string>> = ContractBase<TStorageHash, TExecutionHash, TProfileHash> & {
+type SqlContract<S extends SqlStorage = SqlStorage, M extends Record<string, unknown> = Record<string, unknown>, R extends Record<string, unknown> = Record<string, unknown>, Map extends SqlMappings = SqlMappings, TStorageHash extends StorageHashBase<string> = StorageHashBase<string>, TExecutionHash extends ExecutionHashBase<string> = ExecutionHashBase<string>, TProfileHash extends ProfileHashBase<string> = ProfileHashBase<string>> = ContractBase<TStorageHash, TExecutionHash, TProfileHash, M> & {
   readonly targetFamily: string;
   readonly storage: S;
-  readonly models: M;
   readonly relations: R;
   readonly mappings: Map;
   readonly execution?: ExecutionSection;
@@ -179,5 +191,5 @@ type ExtractQueryOperationTypes<T> = QueryOperationTypesOf<ExtractTypeMapsFromCo
 type ResolveCodecTypes<TContract, TTypeMaps> = [TTypeMaps] extends [never] ? ExtractCodecTypes<TContract> : CodecTypesOf<TTypeMaps>;
 type ResolveOperationTypes<TContract, TTypeMaps> = [TTypeMaps] extends [never] ? ExtractOperationTypes<TContract> : OperationTypesOf<TTypeMaps>;
 //#endregion
-export { StorageTypeInstance as A, ResolveOperationTypes as C, SqlStorage as D, SqlQueryOperationTypes as E, TypeMapsPhantomKey as M, UniqueConstraint as N, StorageColumn as O, applyFkDefaults as P, ResolveCodecTypes as S, SqlMappings as T, PrimaryKey as _, ExtractCodecTypes as a, QueryOperationTypesOf as b, ExtractTypeMapsFromContract as c, ForeignKeyReferences as d, Index as f, OperationTypesOf as g, ModelStorage as h, DEFAULT_FK_INDEX as i, TypeMaps as j, StorageTable as k, ForeignKey as l, ModelField as m, ContractWithTypeMaps as n, ExtractOperationTypes as o, ModelDefinition as p, DEFAULT_FK_CONSTRAINT as r, ExtractQueryOperationTypes as s, CodecTypesOf as t, ForeignKeyOptions as u, QueryOperationTypeEntry as v, SqlContract as w, ReferentialAction as x, QueryOperationTypesBase as y };
-//# sourceMappingURL=types-mnqqP_Au.d.mts.map
+export { SqlStorage as A, ResolveOperationTypes as C, SqlModelStorage as D, SqlModelFieldStorage as E, TypeMapsPhantomKey as F, UniqueConstraint as I, applyFkDefaults as L, StorageTable as M, StorageTypeInstance as N, SqlQueryOperationTypes as O, TypeMaps as P, ResolveCodecTypes as S, SqlMappings as T, PrimaryKey as _, ExtractCodecTypes as a, QueryOperationTypesOf as b, ExtractTypeMapsFromContract as c, ForeignKeyReferences as d, Index as f, OperationTypesOf as g, ModelStorage as h, DEFAULT_FK_INDEX as i, StorageColumn as j, SqlRelation as k, ForeignKey as l, ModelField as m, ContractWithTypeMaps as n, ExtractOperationTypes as o, ModelDefinition as p, DEFAULT_FK_CONSTRAINT as r, ExtractQueryOperationTypes as s, CodecTypesOf as t, ForeignKeyOptions as u, QueryOperationTypeEntry as v, SqlContract as w, ReferentialAction as x, QueryOperationTypesBase as y };
+//# sourceMappingURL=types-C7hjlEOo.d.mts.map

package/dist/types-C7hjlEOo.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-C7hjlEOo.d.mts","names":[],"sources":["../src/types.ts"],"sourcesContent":[],"mappings":";;;;;;AAiBA;AAsBA;AAKA;AAKA;AAeA;AAKY,KApDA,aAAA,GAoDiB;EAEjB,SAAA,UAAA,EAAiB,MAAA;EAMjB,SAAA,OAAU,EAAA,MAAA;EAEC,SAAA,QAAA,EAAA,OAAA;EAED;;;AAQtB;;EACoB,SAAA,UAAA,CAAA,EAhEI,MAgEJ,CAAA,MAAA,EAAA,OAAA,CAAA;EACI;;;;EAEJ,SAAA,OAAA,CAAA,EAAA,MAAA;EACkB;;;AAatC;EAMY,SAAA,OAAU,CAAA,EA7ED,aA6EC;CACY;AAAf,KA3EP,UAAA,GA2EO;EAKe,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;EAAf,SAAA,IAAA,CAAA,EAAA,MAAA;CAAM;AAGb,KA9EA,gBAAA,GA8EU;EAIV,SAAA,OAAY,EAAA,SAAA,MAAA,EAAA;EAIZ,SAAA,IAAA,CAAA,EAAA,MAAe;CACP;AACc,KAnFtB,KAAA,GAmFsB;EAAf,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;EACG,SAAA,IAAA,CAAA,EAAA,MAAA;EAAM;AAI5B;AAIA;AAKA;AAMA;EAC0B,SAAA,KAAA,CAAA,EAAA,MAAA;EACA;;;EAEgB,SAAA,MAAA,CAAA,EA/FtB,MA+FsB,CAAA,MAAA,EAAA,OAAA,CAAA;CAAf;AAAM,KA5FrB,oBAAA,GA4FqB;EAGpB,SAAA,KAAA,EAAA,MAAA;EACA,SAAA,OAAA,EAAA,SAAgB,MAAA,EAAA;AAE7B,CAAA;AAUY,KAvGA,iBAAA,GAuGQ,UAAA,GAAA,UAAA,GAAA,SAAA,GAAA,SAAA,GAAA,YAAA;AACE,KAtGV,iBAAA,GAsGU;EAAsC,SAAA,IAAA,CAAA,EAAA,MAAA;EAClC,SAAA,QAAA,CAAA,EArGJ,iBAqGI;EAA0B,SAAA,QAAA,CAAA,EApG9B,iBAoG8B;CACrB;AAA0B,KAlG7C,UAAA,GAkG6C;EAElC,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;EACI,SAAA,UAAA,EAnGJ,oBAmGI;EACK,SAAA,IAAA,CAAA,EAAA,MAAA;EAAoB,SAAA,QAAA,CAAA,EAlG9B,iBAkG8B;EAGxC,SAAA,QAAY,CAAA,EApGF,iBAoGE;EAAO;EAC3B,SAAA,UAAA,EAAA,OAAA;EACA;EACY,SAAA,KAAA,EAAA,OAAA;CAER;AACF,KAnGM,YAAA,GAmGN;EAAM,SAAA,OAAA,EAlGQ,MAkGR,CAAA,MAAA,EAlGuB,aAkGvB,CAAA;EAEA,SAAA,UAAgB,CAAA,EAnGJ,UAmGI;EAAO,SAAA,OAAA,EAlGf,aAkGe,CAlGD,gBAkGC,CAAA;EAC/B,SAAA,OAAA,EAlGgB,aAkGhB,CAlG8B,KAkG9B,CAAA;EACA,SAAA,WAAA,EAlGoB,aAkGpB,CAlGkC,UAkGlC,CAAA;CACY;;;;AAKhB;AAKA;;;;;AAEA;AAEY,KApGA,mBAAA,GAoGqB;EAAO,SAAA,OAAA,EAAA,MAAA;EACpC,SAAA,UAAA,EAAA,MAAA;EACA,SAAA,UAAA,EAnGmB,MAmGnB,CAAA,MAAA,EAAA,OAAA,CAAA;CACY;AAER,KAnGI,UAAA,GAmGJ;EACF,SAAA,MAAA,EAnGa,MAmGb,CAAA,MAAA,EAnG4B,YAmG5B,CAAA;EAAM;AAEZ;AAEA;;EACiB,SAAA,KAAA,CAAA,EAnGE,MAmGF,CAAA,MAAA,EAnGiB,mBAmGjB,CAAA;CAAsB;AAAS,KAhGpC,UAAA,GAgGoC;EAGpC,SAAA,MAAW,EAAA,MAAA;CACX;AAAa,KAhGb,YAAA,GAgGa;EACb,SAAA,KAAA,EAAA,MAAA;CAA0B;AAC1B,KA9FA,eAAA,GA8FA;EAA0B,SAAA,OAAA,EA7FlB,YA6FkB;EACxB,SAAA,MAAA,EA7FK,MA6FL,CAAA,MAAA,EA7FoB,UA6FpB,CAAA;EAAc,SAAA,SAAA,EA5FN,MA4FM,CAAA,MAAA,EAAA,OAAA,CAAA;EACL,SAAA,KAAA,CAAA,EAAA,MAAA;CAA0B;AACxB,KA1Fb,oBAAA,GA0Fa;EAA4B,SAAA,MAAA,EAAA,MAAA;CAC9B;AAA0B,KAvFrC,eAAA,GAuFqC;EAChC,SAAA,KAAA,EAAA,MAAA;EAAc,SAAA,MAAA,EAtFZ,MAsFY,CAAA,MAAA,EAtFG,oBAsFH,CAAA;CAAgB;AAAc,KAnFjD,WAAA,GAmFiD;EAAzD,SAAA,EAAA,EAAA,MAAA;EAEgB,SAAA,WAAA,EAAA,KAAA,GAAA,KAAA,GAAA,KAAA;EACE,SAAA,EAAA,EAnFP,gBAmFO;CACD;AACE,KAlFX,WAAA,GAkFW;EAAgB,SAAA,YAAA,CAAA,EAjFb,MAiFa,CAAA,MAAA,EAAA,MAAA,CAAA;EAG3B,SAAA,YAAA,CAAA,EAnFc,MAmFa,CAAA,MAAA,EAAA,MAAA,CAAA;EAAM,SAAA,aAAA,CAAA,EAlFlB,MAkFkB,CAAA,MAAA,EAlFH,MAkFG,CAAA,MAAA,EAAA,MAAA,CAAA,CAAA;EAAiC,SAAA,aAAA,CAAA,EAjFnD,MAiFmD,CAAA,MAAA,EAjFpC,MAiFoC,CAAA,MAAA,EAAA,MAAA,CAAA,CAAA;CAC9D;AAAE,cA/EL,qBAAA,GA+EK,IAAA;AAA2B,cA9EhC,gBAAA,GA8EgC,IAAA;AAAzC,iBA5EY,eAAA,CA4EZ,EAAA,EAAA;EAAW,UAAA,CAAA,EAAA,OAAA,GAAA,SAAA;EAGH,KAAA,CAAA,EAAA,OAAA,GAAA,SAAiB;CAA+C,EAAA,gBAA7B,CAA6B,EAAA;EAA5B,UAAA,CAAA,EAAA,OAAA,GAAA,SAAA;EAAb,KAAA,CAAA,EAAA,OAAA,GAAA,SAAA;CAAY,CAAA,EAAA;EACnC,UAAA,EAAA,OAAA;EAAwE,KAAA,EAAA,OAAA;CAA5B;AAAjB,KAtE3B,QAsE2B,CAAA,oBArEjB,MAqEiB,CAAA,MAAA,EAAA;EAAgB,MAAA,EAAA,OAAA;AACvD,CAAA,CAAA,GAtE4D,MAsEhD,CAAA,MAAA,EAAA,KAAA,CAAA,EAAA,wBArEc,MAqEY,CAAA,MAAA,EAAA,OAAA,CAAA,GArEc,MAqEd,CAAA,MAAA,EAAA,KAAA,CAAA,EAAA,6BApEP,MAoEO,CAAA,MAAA,EAAA,OAAA,CAAA,GApEmB,MAoEnB,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA,GAAA;EAAwD,SAAA,UAAA,EAlEvE,WAkEuE;EAA5B,SAAA,cAAA,EAjEvC,eAiEuC;EAAtB,SAAA,mBAAA,EAhEZ,oBAgEY;CAAqB;AAErD,KA/DA,YA+DiB,CAAA,CAAA,CAAA,GAAA,CA/DE,CA+DF,CAAA,SAAA,CAAA,KAAA,CAAA,GA9DzB,MA8DyB,CAAA,MAAA,EAAA,KAAA,CAAA,GA7DzB,CA6DyB,SAAA;EAA0B,SAAA,UAAA,EAAA,KAAA,EAAA;CACjC,GAAA,CAAA,SA7DN,MA6DM,CAAA,MAAA,EAAA;EAAlB,MAAA,EAAA,OAAA;CACa,CAAA,GAAA,CAAA,GA5DT,MA4DS,CAAA,MAAA,EAAA,KAAA,CAAA,GA3DX,MA2DW,CAAA,MAAA,EAAA,KAAA,CAAA;AAAb,KAzDQ,gBAyDR,CAAA,CAAA,CAAA,GAAA,CAzD+B,CAyD/B,CAAA,SAAA,CAAA,KAAA,CAAA,GAxDA,MAwDA,CAAA,MAAA,EAAA,KAAA,CAAA,GAvDA,CAuDA,SAAA;EAAY,SAAA,cAAA,EAAA,KAAA,EAAA;AAEhB,CAAA,GAAY,CAAA,SAxDI,MAwDJ,CAAA,MAAA,EAAqB,OAAA,CAAA,GAAA,CAAA,GAtDzB,MAsDyB,CAAA,MAAA,EAAA,KAAA,CAAA,GArD3B,MAqD2B,CAAA,MAAA,EAAA,KAAA,CAAA;AAA0B,KAnD/C,uBAAA,GAmD+C;EACjC,SAAA,IAAA,EAAA,SAAA;IAAtB,SAAA,OAAA,EAAA,MAAA;IACiB,SAAA,QAAA,EAAA,OAAA;EAAjB,CAAA,EAAA;EAAgB,SAAA,OAAA,EAAA;;;;;KAhDR,iCAAiC,eAAe,4BAA4B;KAE5E,uBAAA,GAA0B,eAAe;KAEzC,4BAA4B,qBACpC,wBACA;;cACY,8BAER,wBACF;KAEM,kBAAA;KAEA,6CAA6C,6BACxC,sBAAsB;KAG3B,sBACA,aAAa,sBACb,0BAA0B,mCAC1B,0BAA0B,qCACxB,cAAc,kCACL,0BAA0B,gDACxB,4BAA4B,gDAC9B,0BAA0B,2BAC7C,aAAa,cAAc,gBAAgB,cAAc;;oBAEzC;sBACE;qBACD;uBACE;;KAGX,iCAAiC,iCAAiC,IAC1E,YAAY,EAAE,2BAA2B;KAGjC,uBAAuB,aAAa,4BAA4B;KAChE,2BAA2B,iBAAiB,4BAA4B;KACxE,gCAAgC,sBAAsB,4BAA4B;KAElF,2CAA2C,6BACnD,kBAAkB,aAClB,aAAa;KAEL,+CAA+C,6BACvD,sBAAsB,aACtB,iBAAiB"}

package/dist/types-DRR5stkj.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"types-DRR5stkj.mjs","names":[],"sources":["../src/types.ts"],"sourcesContent":["import type {\n  ColumnDefault,\n  ContractBase,\n  ExecutionHashBase,\n  ExecutionSection,\n  ProfileHashBase,\n  StorageHashBase,\n} from '@prisma-next/contract/types';\n\n/**\n * A column definition in storage.\n *\n * `typeParams` is optional because most columns use non-parameterized types.\n * Columns with parameterized types can either inline `typeParams` or reference\n * a named {@link StorageTypeInstance} via `typeRef`.\n */\nexport type StorageColumn = {\n  readonly nativeType: string;\n  readonly codecId: string;\n  readonly nullable: boolean;\n  /**\n   * Opaque, codec-owned JS/type parameters.\n   * The codec that owns `codecId` defines the shape and semantics.\n   * Mutually exclusive with `typeRef`.\n   */\n  readonly typeParams?: Record<string, unknown>;\n  /**\n   * Reference to a named type instance in `storage.types`.\n   * Mutually exclusive with `typeParams`.\n   */\n  readonly typeRef?: string;\n  /**\n   * Default value for the column.\n   * Can be a literal value or database function.\n   */\n  readonly default?: ColumnDefault;\n};\n\nexport type PrimaryKey = {\n  readonly columns: readonly string[];\n  readonly name?: string;\n};\n\nexport type UniqueConstraint = {\n  readonly columns: readonly string[];\n  readonly name?: string;\n};\n\nexport type Index = {\n  readonly columns: readonly string[];\n  readonly name?: string;\n  /**\n   * Optional access method identifier.\n   * Extension-specific methods are represented as strings and interpreted\n   * by the owning extension package.\n   */\n  readonly using?: string;\n  /**\n   * Optional extension-owned index configuration payload.\n   */\n  readonly config?: Record<string, unknown>;\n};\n\nexport type ForeignKeyReferences = {\n  readonly table: string;\n  readonly columns: readonly string[];\n};\n\nexport type ReferentialAction = 'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault';\n\nexport type ForeignKeyOptions = {\n  readonly name?: string;\n  readonly onDelete?: ReferentialAction;\n  readonly onUpdate?: ReferentialAction;\n};\n\nexport type ForeignKey = {\n  readonly columns: readonly string[];\n  readonly references: ForeignKeyReferences;\n  readonly name?: string;\n  readonly onDelete?: ReferentialAction;\n  readonly onUpdate?: ReferentialAction;\n  /** Whether to emit FK constraint DDL (ALTER TABLE … ADD CONSTRAINT … FOREIGN KEY). */\n  readonly constraint: boolean;\n  /** Whether to emit a backing index for the FK columns. */\n  readonly index: boolean;\n};\n\nexport type StorageTable = {\n  readonly columns: Record<string, StorageColumn>;\n  readonly primaryKey?: PrimaryKey;\n  readonly uniques: ReadonlyArray<UniqueConstraint>;\n  readonly indexes: ReadonlyArray<Index>;\n  readonly foreignKeys: ReadonlyArray<ForeignKey>;\n};\n\n/**\n * A named, parameterized type instance.\n * These are registered in `storage.types` for reuse across columns\n * and to enable ergonomic schema surfaces like `schema.types.MyType`.\n *\n * Unlike {@link StorageColumn}, `typeParams` is required here because\n * `StorageTypeInstance` exists specifically to define reusable parameterized types.\n * A type instance without parameters would be redundant—columns can reference\n * the codec directly via `codecId`.\n */\nexport type StorageTypeInstance = {\n  readonly codecId: string;\n  readonly nativeType: string;\n  readonly typeParams: Record<string, unknown>;\n};\n\nexport type SqlStorage = {\n  readonly tables: Record<string, StorageTable>;\n  /**\n   * Named type instances for parameterized/custom types.\n   * Columns can reference these via `typeRef`.\n   */\n  readonly types?: Record<string, StorageTypeInstance>;\n};\n\nexport type ModelField = {\n  readonly column: string;\n};\n\nexport type ModelStorage = {\n  readonly table: string;\n};\n\nexport type ModelDefinition = {\n  readonly storage: ModelStorage;\n  readonly fields: Record<string, ModelField>;\n  readonly relations: Record<string, unknown>;\n};\n\nexport type SqlMappings = {\n  readonly modelToTable?: Record<string, string>;\n  readonly tableToModel?: Record<string, string>;\n  readonly fieldToColumn?: Record<string, Record<string, string>>;\n  readonly columnToField?: Record<string, Record<string, string>>;\n};\n\nexport const DEFAULT_FK_CONSTRAINT = true;\nexport const DEFAULT_FK_INDEX = true;\n\nexport function applyFkDefaults(\n  fk: { constraint?: boolean | undefined; index?: boolean | undefined },\n  overrideDefaults?: { constraint?: boolean | undefined; index?: boolean | undefined },\n): { constraint: boolean; index: boolean } {\n  return {\n    constraint: fk.constraint ?? overrideDefaults?.constraint ?? DEFAULT_FK_CONSTRAINT,\n    index: fk.index ?? overrideDefaults?.index ?? DEFAULT_FK_INDEX,\n  };\n}\n\nexport type TypeMaps<\n  TCodecTypes extends Record<string, { output: unknown }> = Record<string, never>,\n  TOperationTypes extends Record<string, unknown> = Record<string, never>,\n  TQueryOperationTypes extends Record<string, unknown> = Record<string, never>,\n> = {\n  readonly codecTypes: TCodecTypes;\n  readonly operationTypes: TOperationTypes;\n  readonly queryOperationTypes: TQueryOperationTypes;\n};\n\nexport type CodecTypesOf<T> = [T] extends [never]\n  ? Record<string, never>\n  : T extends { readonly codecTypes: infer C }\n    ? C extends Record<string, { output: unknown }>\n      ? C\n      : Record<string, never>\n    : Record<string, never>;\n\nexport type OperationTypesOf<T> = [T] extends [never]\n  ? Record<string, never>\n  : T extends { readonly operationTypes: infer O }\n    ? O extends Record<string, unknown>\n      ? O\n      : Record<string, never>\n    : Record<string, never>;\n\nexport type QueryOperationTypeEntry = {\n  readonly args: readonly { readonly codecId: string; readonly nullable: boolean }[];\n  readonly returns: { readonly codecId: string; readonly nullable: boolean };\n};\n\nexport type SqlQueryOperationTypes<T extends Record<string, QueryOperationTypeEntry>> = T;\n\nexport type QueryOperationTypesBase = Record<string, QueryOperationTypeEntry>;\n\nexport type QueryOperationTypesOf<T> = [T] extends [never]\n  ? Record<string, never>\n  : T extends { readonly queryOperationTypes: infer Q }\n    ? Q extends Record<string, unknown>\n      ? Q\n      : Record<string, never>\n    : Record<string, never>;\n\nexport type TypeMapsPhantomKey = '__@prisma-next/sql-contract/typeMaps@__';\n\nexport type ContractWithTypeMaps<TContract, TTypeMaps> = TContract & {\n  readonly [K in TypeMapsPhantomKey]?: TTypeMaps;\n};\n\nexport type SqlContract<\n  S extends SqlStorage = SqlStorage,\n  M extends Record<string, unknown> = Record<string, unknown>,\n  R extends Record<string, unknown> = Record<string, unknown>,\n  Map extends SqlMappings = SqlMappings,\n  TStorageHash extends StorageHashBase<string> = StorageHashBase<string>,\n  TExecutionHash extends ExecutionHashBase<string> = ExecutionHashBase<string>,\n  TProfileHash extends ProfileHashBase<string> = ProfileHashBase<string>,\n> = ContractBase<TStorageHash, TExecutionHash, TProfileHash> & {\n  readonly targetFamily: string;\n  readonly storage: S;\n  readonly models: M;\n  readonly relations: R;\n  readonly mappings: Map;\n  readonly execution?: ExecutionSection;\n};\n\nexport type ExtractTypeMapsFromContract<T> = TypeMapsPhantomKey extends keyof T\n  ? NonNullable<T[TypeMapsPhantomKey & keyof T]>\n  : never;\n\nexport type ExtractCodecTypes<T> = CodecTypesOf<ExtractTypeMapsFromContract<T>>;\nexport type ExtractOperationTypes<T> = OperationTypesOf<ExtractTypeMapsFromContract<T>>;\nexport type ExtractQueryOperationTypes<T> = QueryOperationTypesOf<ExtractTypeMapsFromContract<T>>;\n\nexport type ResolveCodecTypes<TContract, TTypeMaps> = [TTypeMaps] extends [never]\n  ? ExtractCodecTypes<TContract>\n  : CodecTypesOf<TTypeMaps>;\n\nexport type ResolveOperationTypes<TContract, TTypeMaps> = [TTypeMaps] extends [never]\n  ? ExtractOperationTypes<TContract>\n  : OperationTypesOf<TTypeMaps>;\n"],"mappings":";AA8IA,MAAa,wBAAwB;AACrC,MAAa,mBAAmB;AAEhC,SAAgB,gBACd,IACA,kBACyC;AACzC,QAAO;EACL,YAAY,GAAG,cAAc,kBAAkB,cAAc;EAC7D,OAAO,GAAG,SAAS,kBAAkB,SAAS;EAC/C"}
+{"version":3,"file":"types-DRR5stkj.mjs","names":[],"sources":["../src/types.ts"],"sourcesContent":["import type {\n  ColumnDefault,\n  ContractBase,\n  DomainRelationOn,\n  ExecutionHashBase,\n  ExecutionSection,\n  ProfileHashBase,\n  StorageHashBase,\n} from '@prisma-next/contract/types';\n\n/**\n * A column definition in storage.\n *\n * `typeParams` is optional because most columns use non-parameterized types.\n * Columns with parameterized types can either inline `typeParams` or reference\n * a named {@link StorageTypeInstance} via `typeRef`.\n */\nexport type StorageColumn = {\n  readonly nativeType: string;\n  readonly codecId: string;\n  readonly nullable: boolean;\n  /**\n   * Opaque, codec-owned JS/type parameters.\n   * The codec that owns `codecId` defines the shape and semantics.\n   * Mutually exclusive with `typeRef`.\n   */\n  readonly typeParams?: Record<string, unknown>;\n  /**\n   * Reference to a named type instance in `storage.types`.\n   * Mutually exclusive with `typeParams`.\n   */\n  readonly typeRef?: string;\n  /**\n   * Default value for the column.\n   * Can be a literal value or database function.\n   */\n  readonly default?: ColumnDefault;\n};\n\nexport type PrimaryKey = {\n  readonly columns: readonly string[];\n  readonly name?: string;\n};\n\nexport type UniqueConstraint = {\n  readonly columns: readonly string[];\n  readonly name?: string;\n};\n\nexport type Index = {\n  readonly columns: readonly string[];\n  readonly name?: string;\n  /**\n   * Optional access method identifier.\n   * Extension-specific methods are represented as strings and interpreted\n   * by the owning extension package.\n   */\n  readonly using?: string;\n  /**\n   * Optional extension-owned index configuration payload.\n   */\n  readonly config?: Record<string, unknown>;\n};\n\nexport type ForeignKeyReferences = {\n  readonly table: string;\n  readonly columns: readonly string[];\n};\n\nexport type ReferentialAction = 'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault';\n\nexport type ForeignKeyOptions = {\n  readonly name?: string;\n  readonly onDelete?: ReferentialAction;\n  readonly onUpdate?: ReferentialAction;\n};\n\nexport type ForeignKey = {\n  readonly columns: readonly string[];\n  readonly references: ForeignKeyReferences;\n  readonly name?: string;\n  readonly onDelete?: ReferentialAction;\n  readonly onUpdate?: ReferentialAction;\n  /** Whether to emit FK constraint DDL (ALTER TABLE … ADD CONSTRAINT … FOREIGN KEY). */\n  readonly constraint: boolean;\n  /** Whether to emit a backing index for the FK columns. */\n  readonly index: boolean;\n};\n\nexport type StorageTable = {\n  readonly columns: Record<string, StorageColumn>;\n  readonly primaryKey?: PrimaryKey;\n  readonly uniques: ReadonlyArray<UniqueConstraint>;\n  readonly indexes: ReadonlyArray<Index>;\n  readonly foreignKeys: ReadonlyArray<ForeignKey>;\n};\n\n/**\n * A named, parameterized type instance.\n * These are registered in `storage.types` for reuse across columns\n * and to enable ergonomic schema surfaces like `schema.types.MyType`.\n *\n * Unlike {@link StorageColumn}, `typeParams` is required here because\n * `StorageTypeInstance` exists specifically to define reusable parameterized types.\n * A type instance without parameters would be redundant—columns can reference\n * the codec directly via `codecId`.\n */\nexport type StorageTypeInstance = {\n  readonly codecId: string;\n  readonly nativeType: string;\n  readonly typeParams: Record<string, unknown>;\n};\n\nexport type SqlStorage = {\n  readonly tables: Record<string, StorageTable>;\n  /**\n   * Named type instances for parameterized/custom types.\n   * Columns can reference these via `typeRef`.\n   */\n  readonly types?: Record<string, StorageTypeInstance>;\n};\n\nexport type ModelField = {\n  readonly column: string;\n};\n\nexport type ModelStorage = {\n  readonly table: string;\n};\n\nexport type ModelDefinition = {\n  readonly storage: ModelStorage;\n  readonly fields: Record<string, ModelField>;\n  readonly relations: Record<string, unknown>;\n  readonly owner?: string;\n};\n\nexport type SqlModelFieldStorage = {\n  readonly column: string;\n};\n\nexport type SqlModelStorage = {\n  readonly table: string;\n  readonly fields: Record<string, SqlModelFieldStorage>;\n};\n\nexport type SqlRelation = {\n  readonly to: string;\n  readonly cardinality: '1:1' | '1:N' | 'N:1';\n  readonly on: DomainRelationOn;\n};\n\nexport type SqlMappings = {\n  readonly modelToTable?: Record<string, string>;\n  readonly tableToModel?: Record<string, string>;\n  readonly fieldToColumn?: Record<string, Record<string, string>>;\n  readonly columnToField?: Record<string, Record<string, string>>;\n};\n\nexport const DEFAULT_FK_CONSTRAINT = true;\nexport const DEFAULT_FK_INDEX = true;\n\nexport function applyFkDefaults(\n  fk: { constraint?: boolean | undefined; index?: boolean | undefined },\n  overrideDefaults?: { constraint?: boolean | undefined; index?: boolean | undefined },\n): { constraint: boolean; index: boolean } {\n  return {\n    constraint: fk.constraint ?? overrideDefaults?.constraint ?? DEFAULT_FK_CONSTRAINT,\n    index: fk.index ?? overrideDefaults?.index ?? DEFAULT_FK_INDEX,\n  };\n}\n\nexport type TypeMaps<\n  TCodecTypes extends Record<string, { output: unknown }> = Record<string, never>,\n  TOperationTypes extends Record<string, unknown> = Record<string, never>,\n  TQueryOperationTypes extends Record<string, unknown> = Record<string, never>,\n> = {\n  readonly codecTypes: TCodecTypes;\n  readonly operationTypes: TOperationTypes;\n  readonly queryOperationTypes: TQueryOperationTypes;\n};\n\nexport type CodecTypesOf<T> = [T] extends [never]\n  ? Record<string, never>\n  : T extends { readonly codecTypes: infer C }\n    ? C extends Record<string, { output: unknown }>\n      ? C\n      : Record<string, never>\n    : Record<string, never>;\n\nexport type OperationTypesOf<T> = [T] extends [never]\n  ? Record<string, never>\n  : T extends { readonly operationTypes: infer O }\n    ? O extends Record<string, unknown>\n      ? O\n      : Record<string, never>\n    : Record<string, never>;\n\nexport type QueryOperationTypeEntry = {\n  readonly args: readonly { readonly codecId: string; readonly nullable: boolean }[];\n  readonly returns: { readonly codecId: string; readonly nullable: boolean };\n};\n\nexport type SqlQueryOperationTypes<T extends Record<string, QueryOperationTypeEntry>> = T;\n\nexport type QueryOperationTypesBase = Record<string, QueryOperationTypeEntry>;\n\nexport type QueryOperationTypesOf<T> = [T] extends [never]\n  ? Record<string, never>\n  : T extends { readonly queryOperationTypes: infer Q }\n    ? Q extends Record<string, unknown>\n      ? Q\n      : Record<string, never>\n    : Record<string, never>;\n\nexport type TypeMapsPhantomKey = '__@prisma-next/sql-contract/typeMaps@__';\n\nexport type ContractWithTypeMaps<TContract, TTypeMaps> = TContract & {\n  readonly [K in TypeMapsPhantomKey]?: TTypeMaps;\n};\n\nexport type SqlContract<\n  S extends SqlStorage = SqlStorage,\n  M extends Record<string, unknown> = Record<string, unknown>,\n  R extends Record<string, unknown> = Record<string, unknown>,\n  Map extends SqlMappings = SqlMappings,\n  TStorageHash extends StorageHashBase<string> = StorageHashBase<string>,\n  TExecutionHash extends ExecutionHashBase<string> = ExecutionHashBase<string>,\n  TProfileHash extends ProfileHashBase<string> = ProfileHashBase<string>,\n> = ContractBase<TStorageHash, TExecutionHash, TProfileHash, M> & {\n  readonly targetFamily: string;\n  readonly storage: S;\n  readonly relations: R;\n  readonly mappings: Map;\n  readonly execution?: ExecutionSection;\n};\n\nexport type ExtractTypeMapsFromContract<T> = TypeMapsPhantomKey extends keyof T\n  ? NonNullable<T[TypeMapsPhantomKey & keyof T]>\n  : never;\n\nexport type ExtractCodecTypes<T> = CodecTypesOf<ExtractTypeMapsFromContract<T>>;\nexport type ExtractOperationTypes<T> = OperationTypesOf<ExtractTypeMapsFromContract<T>>;\nexport type ExtractQueryOperationTypes<T> = QueryOperationTypesOf<ExtractTypeMapsFromContract<T>>;\n\nexport type ResolveCodecTypes<TContract, TTypeMaps> = [TTypeMaps] extends [never]\n  ? ExtractCodecTypes<TContract>\n  : CodecTypesOf<TTypeMaps>;\n\nexport type ResolveOperationTypes<TContract, TTypeMaps> = [TTypeMaps] extends [never]\n  ? ExtractOperationTypes<TContract>\n  : OperationTypesOf<TTypeMaps>;\n"],"mappings":";AA+JA,MAAa,wBAAwB;AACrC,MAAa,mBAAmB;AAEhC,SAAgB,gBACd,IACA,kBACyC;AACzC,QAAO;EACL,YAAY,GAAG,cAAc,kBAAkB,cAAc;EAC7D,OAAO,GAAG,SAAS,kBAAkB,SAAS;EAC/C"}

package/dist/types.d.mts

@@ -1,2 +1,2 @@
-import { A as StorageTypeInstance, C as ResolveOperationTypes, D as SqlStorage, E as SqlQueryOperationTypes, M as TypeMapsPhantomKey, N as UniqueConstraint, O as StorageColumn, P as applyFkDefaults, S as ResolveCodecTypes, T as SqlMappings, _ as PrimaryKey, a as ExtractCodecTypes, b as QueryOperationTypesOf, c as ExtractTypeMapsFromContract, d as ForeignKeyReferences, f as Index, g as OperationTypesOf, h as ModelStorage, i as DEFAULT_FK_INDEX, j as TypeMaps, k as StorageTable, l as ForeignKey, m as ModelField, n as ContractWithTypeMaps, o as ExtractOperationTypes, p as ModelDefinition, r as DEFAULT_FK_CONSTRAINT, s as ExtractQueryOperationTypes, t as CodecTypesOf, u as ForeignKeyOptions, v as QueryOperationTypeEntry, w as SqlContract, x as ReferentialAction, y as QueryOperationTypesBase } from "./types-mnqqP_Au.mjs";
-export { type CodecTypesOf, type ContractWithTypeMaps, DEFAULT_FK_CONSTRAINT, DEFAULT_FK_INDEX, type ExtractCodecTypes, type ExtractOperationTypes, type ExtractQueryOperationTypes, type ExtractTypeMapsFromContract, type ForeignKey, type ForeignKeyOptions, type ForeignKeyReferences, type Index, type ModelDefinition, type ModelField, type ModelStorage, type OperationTypesOf, type PrimaryKey, type QueryOperationTypeEntry, type QueryOperationTypesBase, type QueryOperationTypesOf, type ReferentialAction, type ResolveCodecTypes, type ResolveOperationTypes, type SqlContract, type SqlMappings, type SqlQueryOperationTypes, type SqlStorage, type StorageColumn, type StorageTable, type StorageTypeInstance, type TypeMaps, type TypeMapsPhantomKey, type UniqueConstraint, applyFkDefaults };
+import { A as SqlStorage, C as ResolveOperationTypes, D as SqlModelStorage, E as SqlModelFieldStorage, F as TypeMapsPhantomKey, I as UniqueConstraint, L as applyFkDefaults, M as StorageTable, N as StorageTypeInstance, O as SqlQueryOperationTypes, P as TypeMaps, S as ResolveCodecTypes, T as SqlMappings, _ as PrimaryKey, a as ExtractCodecTypes, b as QueryOperationTypesOf, c as ExtractTypeMapsFromContract, d as ForeignKeyReferences, f as Index, g as OperationTypesOf, h as ModelStorage, i as DEFAULT_FK_INDEX, j as StorageColumn, k as SqlRelation, l as ForeignKey, m as ModelField, n as ContractWithTypeMaps, o as ExtractOperationTypes, p as ModelDefinition, r as DEFAULT_FK_CONSTRAINT, s as ExtractQueryOperationTypes, t as CodecTypesOf, u as ForeignKeyOptions, v as QueryOperationTypeEntry, w as SqlContract, x as ReferentialAction, y as QueryOperationTypesBase } from "./types-C7hjlEOo.mjs";
+export { type CodecTypesOf, type ContractWithTypeMaps, DEFAULT_FK_CONSTRAINT, DEFAULT_FK_INDEX, type ExtractCodecTypes, type ExtractOperationTypes, type ExtractQueryOperationTypes, type ExtractTypeMapsFromContract, type ForeignKey, type ForeignKeyOptions, type ForeignKeyReferences, type Index, type ModelDefinition, type ModelField, type ModelStorage, type OperationTypesOf, type PrimaryKey, type QueryOperationTypeEntry, type QueryOperationTypesBase, type QueryOperationTypesOf, type ReferentialAction, type ResolveCodecTypes, type ResolveOperationTypes, type SqlContract, type SqlMappings, type SqlModelFieldStorage, type SqlModelStorage, type SqlQueryOperationTypes, type SqlRelation, type SqlStorage, type StorageColumn, type StorageTable, type StorageTypeInstance, type TypeMaps, type TypeMapsPhantomKey, type UniqueConstraint, applyFkDefaults };

package/dist/validate.d.mts

@@ -1,4 +1,4 @@
-import { D as SqlStorage, O as StorageColumn, w as SqlContract } from "./types-mnqqP_Au.mjs";
+import { A as SqlStorage, j as StorageColumn, w as SqlContract } from "./types-C7hjlEOo.mjs";
 import "@prisma-next/contract/types";
 
 //#region src/validate.d.ts

package/dist/validate.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"validate.d.mts","names":[],"sources":["../src/validate.ts"],"sourcesContent":[],"mappings":";;;;iBAuFgB,cAAA,SAAuB;AAAvB,iBAkCA,sBAlCuB,CAAa,UAkCH,WAlCG,CAkCS,UAlCT,CAAA,CAAA,CAAA,QAAA,EAkCgC,CAlChC,CAAA,EAkCoC,CAlCpC;AAkCpC,iBAqDA,iBAAA,CArDsB,QAAA,EAAA,OAAA,CAAA,EAqDgB,WArDhB,CAqD4B,UArD5B,CAAA;AAAuB,iBAwI7C,gBAxI6C,CAAA,kBAwIV,WAxIU,CAwIE,UAxIF,CAAA,CAAA,CAAA,KAAA,EAAA,OAAA,CAAA,EA0I1D,SA1I0D"}
+{"version":3,"file":"validate.d.mts","names":[],"sources":["../src/validate.ts"],"sourcesContent":[],"mappings":";;;;iBAgGgB,cAAA,SAAuB;AAAvB,iBAkCA,sBAlCuB,CAAa,UAkCH,WAlCG,CAkCS,UAlCT,CAAA,CAAA,CAAA,QAAA,EAkCgC,CAlChC,CAAA,EAkCoC,CAlCpC;AAkCpC,iBAmVA,iBAAA,CAnVsB,QAAA,EAAA,OAAA,CAAA,EAmVgB,WAnVhB,CAmV4B,UAnV5B,CAAA;AAAuB,iBA2Z7C,gBA3Z6C,CAAA,kBA2ZV,WA3ZU,CA2ZE,UA3ZF,CAAA,CAAA,CAAA,KAAA,EAAA,OAAA,CAAA,EA6Z1D,SA7Z0D"}

package/dist/validate.mjs

@@ -1,6 +1,7 @@
 import { r as applyFkDefaults } from "./types-DRR5stkj.mjs";
-import { d as validateStorageSemantics, l as validateSqlContract } from "./validators-DuHeCiKZ.mjs";
+import { d as validateStorageSemantics, l as validateSqlContract } from "./validators-B1ZW3frd.mjs";
 import { isTaggedBigInt, isTaggedRaw } from "@prisma-next/contract/types";
+import { validateContractDomain } from "@prisma-next/contract/validate-domain";
 
 //#region src/construct.ts
 function computeDefaultMappings(models) {
@@ -75,14 +76,22 @@ function stripGenerated(obj) {
 function constructContract(input) {
 	const existingMappings = input.mappings;
 	const mappings = mergeMappings(computeDefaultMappings(input.models), existingMappings);
+	const stripped = stripGenerated(input);
 	return {
-		...stripGenerated(input),
-		mappings
+		...stripped,
+		mappings,
+		roots: stripped.roots
 	};
 }
 
 //#endregion
 //#region src/validate.ts
+function extractDomainShape(contract) {
+	return {
+		roots: contract.roots,
+		models: contract.models
+	};
+}
 function validateContractLogic(contract) {
 	const tableNames = new Set(Object.keys(contract.storage.tables));
 	for (const [tableName, table] of Object.entries(contract.storage.tables)) {
@@ -164,65 +173,216 @@ function decodeContractDefaults(contract) {
 		}
 	};
 }
-function normalizeContract(contract) {
-	if (typeof contract !== "object" || contract === null) return contract;
-	const contractObj = contract;
-	let normalizedStorage = contractObj["storage"];
-	if (normalizedStorage && typeof normalizedStorage === "object" && normalizedStorage !== null) {
-		const storage = normalizedStorage;
-		const tables = storage["tables"];
-		if (tables) {
-			const normalizedTables = {};
-			for (const [tableName, table] of Object.entries(tables)) {
-				const tableObj = table;
-				const columns = tableObj["columns"];
-				if (columns) {
-					const normalizedColumns = {};
-					for (const [columnName, column] of Object.entries(columns)) {
-						const columnObj = column;
-						normalizedColumns[columnName] = {
-							...columnObj,
-							nullable: columnObj["nullable"] ?? false
-						};
-					}
-					const normalizedForeignKeys = (tableObj["foreignKeys"] ?? []).map((fk) => ({
-						...fk,
-						...applyFkDefaults({
-							constraint: typeof fk["constraint"] === "boolean" ? fk["constraint"] : void 0,
-							index: typeof fk["index"] === "boolean" ? fk["index"] : void 0
-						})
-					}));
-					normalizedTables[tableName] = {
-						...tableObj,
-						columns: normalizedColumns,
-						uniques: tableObj["uniques"] ?? [],
-						indexes: tableObj["indexes"] ?? [],
-						foreignKeys: normalizedForeignKeys
-					};
-				} else normalizedTables[tableName] = tableObj;
+function normalizeStorage(contractObj) {
+	const normalizedStorage = contractObj["storage"];
+	if (!normalizedStorage || typeof normalizedStorage !== "object") return normalizedStorage;
+	const storage = normalizedStorage;
+	const tables = storage["tables"];
+	if (!tables) return storage;
+	const normalizedTables = {};
+	for (const [tableName, table] of Object.entries(tables)) {
+		const tableObj = table;
+		const columns = tableObj["columns"];
+		if (columns) {
+			const normalizedColumns = {};
+			for (const [columnName, column] of Object.entries(columns)) {
+				const columnObj = column;
+				normalizedColumns[columnName] = {
+					...columnObj,
+					nullable: columnObj["nullable"] ?? false
+				};
 			}
-			normalizedStorage = {
-				...storage,
-				tables: normalizedTables
+			const normalizedForeignKeys = (tableObj["foreignKeys"] ?? []).map((fk) => ({
+				...fk,
+				...applyFkDefaults({
+					constraint: typeof fk["constraint"] === "boolean" ? fk["constraint"] : void 0,
+					index: typeof fk["index"] === "boolean" ? fk["index"] : void 0
+				})
+			}));
+			normalizedTables[tableName] = {
+				...tableObj,
+				columns: normalizedColumns,
+				uniques: tableObj["uniques"] ?? [],
+				indexes: tableObj["indexes"] ?? [],
+				foreignKeys: normalizedForeignKeys
 			};
+		} else normalizedTables[tableName] = tableObj;
+	}
+	return {
+		...storage,
+		tables: normalizedTables
+	};
+}
+function detectFormat(models) {
+	for (const model of Object.values(models)) {
+		const fields = model["fields"];
+		if (!fields) continue;
+		for (const field of Object.values(fields)) {
+			if ("column" in field) return "old";
+			if ("codecId" in field) return "new";
 		}
 	}
-	let normalizedModels = contractObj["models"];
-	if (normalizedModels && typeof normalizedModels === "object" && normalizedModels !== null) {
-		const models = normalizedModels;
-		const normalizedModelsObj = {};
-		for (const [modelName, model] of Object.entries(models)) {
-			const modelObj = model;
-			normalizedModelsObj[modelName] = {
-				...modelObj,
-				relations: modelObj["relations"] ?? {}
+	return "old";
+}
+function buildColumnToFieldMap(fields, modelName) {
+	const map = {};
+	for (const [fieldName, field] of Object.entries(fields)) {
+		const col = field["column"];
+		if (!col) continue;
+		if (Object.hasOwn(map, col)) throw new Error(`Model "${modelName}" has duplicate column mapping: fields "${map[col]}" and "${fieldName}" both map to column "${col}"`);
+		map[col] = fieldName;
+	}
+	return map;
+}
+function enrichOldFormatModels(models, storageObj, topRelations) {
+	const roots = {};
+	const tableToModel = {};
+	for (const [modelName, model] of Object.entries(models)) {
+		const tableName = model["storage"]?.["table"];
+		if (tableName) {
+			if (!model["owner"]) roots[modelName] = modelName;
+			tableToModel[tableName] = modelName;
+		}
+	}
+	const enrichedModels = {};
+	for (const [modelName, model] of Object.entries(models)) {
+		const fields = model["fields"] ?? {};
+		const modelStorage = model["storage"];
+		const tableName = modelStorage?.["table"];
+		const storageColumns = (tableName ? storageObj.tables[tableName] : void 0)?.["columns"] ?? {};
+		const enrichedFields = {};
+		const modelStorageFields = {};
+		const hasStorageColumns = Object.keys(storageColumns).length > 0;
+		for (const [fieldName, field] of Object.entries(fields)) {
+			const colName = field["column"];
+			const storageCol = storageColumns[colName];
+			if (!storageCol && hasStorageColumns && colName) throw new Error(`Model "${modelName}" field "${fieldName}" references non-existent column "${colName}" in table "${tableName}"`);
+			enrichedFields[fieldName] = {
+				...field,
+				nullable: storageCol?.["nullable"] ?? false,
+				codecId: storageCol?.["codecId"] ?? ""
 			};
+			modelStorageFields[fieldName] = { column: colName };
 		}
-		normalizedModels = normalizedModelsObj;
+		const enrichedStorage = {
+			...modelStorage ?? {},
+			fields: modelStorageFields
+		};
+		enrichedModels[modelName] = {
+			...model,
+			fields: enrichedFields,
+			storage: enrichedStorage,
+			relations: model["relations"] ?? {}
+		};
+	}
+	for (const [tableName, tableRels] of Object.entries(topRelations)) {
+		const modelName = tableToModel[tableName];
+		if (!modelName) continue;
+		const existingModel = enrichedModels[modelName];
+		if (!existingModel) continue;
+		const existingRels = existingModel["relations"] ?? {};
+		const targetColumnToField = {};
+		const modelRelations = { ...existingRels };
+		for (const [relName, rel] of Object.entries(tableRels)) {
+			const on = rel["on"];
+			const parentCols = on?.["parentCols"] ?? [];
+			const childCols = on?.["childCols"] ?? [];
+			const toModel = rel["to"];
+			const sourceColToField = buildColumnToFieldMap(existingModel["fields"] ?? {}, modelName);
+			if (!targetColumnToField[toModel]) {
+				const targetModelObj = enrichedModels[toModel];
+				if (targetModelObj) targetColumnToField[toModel] = buildColumnToFieldMap(targetModelObj["fields"] ?? {}, toModel);
+				else targetColumnToField[toModel] = {};
+			}
+			const targetColToField = targetColumnToField[toModel] ?? {};
+			const localFields = parentCols.map((c) => sourceColToField[c] ?? c);
+			const targetFields = childCols.map((c) => targetColToField[c] ?? c);
+			modelRelations[relName] = {
+				to: toModel,
+				cardinality: rel["cardinality"],
+				on: {
+					localFields,
+					targetFields
+				}
+			};
+		}
+		enrichedModels[modelName] = {
+			...existingModel,
+			relations: modelRelations
+		};
 	}
 	return {
+		enrichedModels,
+		roots
+	};
+}
+function enrichNewFormatModels(models) {
+	const enrichedModels = {};
+	const topRelations = {};
+	const modelToTable = {};
+	for (const [modelName, model] of Object.entries(models)) {
+		const tableName = model["storage"]?.["table"];
+		if (tableName) modelToTable[modelName] = tableName;
+	}
+	for (const [modelName, model] of Object.entries(models)) {
+		const fields = model["fields"] ?? {};
+		const storageFields = model["storage"]?.["fields"] ?? {};
+		const enrichedFields = {};
+		for (const [fieldName, field] of Object.entries(fields)) {
+			const column = storageFields[fieldName]?.["column"];
+			enrichedFields[fieldName] = column ? {
+				...field,
+				column
+			} : { ...field };
+		}
+		enrichedModels[modelName] = {
+			...model,
+			fields: enrichedFields,
+			relations: model["relations"] ?? {}
+		};
+		const modelRels = model["relations"] ?? {};
+		const tableName = modelToTable[modelName];
+		if (!tableName) continue;
+		for (const [relName, rel] of Object.entries(modelRels)) {
+			const on = rel["on"];
+			if (!on) continue;
+			const toModel = rel["to"];
+			if (!modelToTable[toModel]) continue;
+			const sourceFields = enrichedFields;
+			const targetModelObj = models[toModel];
+			const targetFields = targetModelObj?.["fields"] ?? {};
+			const targetStorageFields = (targetModelObj?.["storage"])?.["fields"] ?? {};
+			const parentCols = (on.localFields ?? []).map((f) => {
+				return storageFields[f]?.["column"] ?? sourceFields[f]?.["column"] ?? f;
+			});
+			const childCols = (on.targetFields ?? []).map((f) => {
+				return targetStorageFields[f]?.["column"] ?? targetFields[f]?.["column"] ?? f;
+			});
+			if (!topRelations[tableName]) topRelations[tableName] = {};
+			topRelations[tableName][relName] = {
+				to: toModel,
+				cardinality: rel["cardinality"],
+				on: {
+					parentCols,
+					childCols
+				}
+			};
+		}
+	}
+	return {
+		enrichedModels,
+		topRelations
+	};
+}
+function normalizeContract(contract) {
+	if (typeof contract !== "object" || contract === null) return contract;
+	const contractObj = contract;
+	const normalizedStorage = normalizeStorage(contractObj);
+	const rawModels = contractObj["models"];
+	if (!rawModels || typeof rawModels !== "object" || rawModels === null) return {
 		...contractObj,
-		models: normalizedModels,
+		roots: contractObj["roots"] ?? {},
+		models: rawModels ?? {},
 		relations: contractObj["relations"] ?? {},
 		storage: normalizedStorage,
 		extensionPacks: contractObj["extensionPacks"] ?? {},
@@ -230,9 +390,42 @@ function normalizeContract(contract) {
 		meta: contractObj["meta"] ?? {},
 		sources: contractObj["sources"] ?? {}
 	};
+	const modelsObj = rawModels;
+	const format = detectFormat(modelsObj);
+	let normalizedModels;
+	let roots;
+	let topRelations;
+	if (format === "new") {
+		const result = enrichNewFormatModels(modelsObj);
+		normalizedModels = result.enrichedModels;
+		topRelations = {
+			...contractObj["relations"] ?? {},
+			...result.topRelations
+		};
+		roots = contractObj["roots"] ?? {};
+	} else {
+		const storageObj = { tables: (normalizedStorage && typeof normalizedStorage === "object" ? normalizedStorage : {})["tables"] ?? {} };
+		const existingRelations = contractObj["relations"] ?? {};
+		const result = enrichOldFormatModels(modelsObj, storageObj, existingRelations);
+		normalizedModels = result.enrichedModels;
+		roots = result.roots;
+		topRelations = existingRelations;
+	}
+	return {
+		...contractObj,
+		roots,
+		models: normalizedModels,
+		relations: topRelations,
+		storage: normalizedStorage,
+		extensionPacks: contractObj["extensionPacks"] ?? {},
+		capabilities: contractObj["capabilities"] ?? {},
+		meta: contractObj["meta"] ?? {},
+		sources: contractObj["sources"] ?? {}
+	};
 }
 function validateContract(value) {
 	const structurallyValid = validateSqlContract(normalizeContract(value));
+	validateContractDomain(extractDomainShape(structurallyValid));
 	validateContractLogic(structurallyValid);
 	const semanticErrors = validateStorageSemantics(structurallyValid.storage);
 	if (semanticErrors.length > 0) throw new Error(`Contract semantic validation failed: ${semanticErrors.join("; ")}`);

package/dist/validate.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"validate.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>","decodedTables: Record<string, StorageTable>","decodedColumns: Record<string, StorageColumn>","normalizedTables: Record<string, unknown>","normalizedColumns: Record<string, unknown>","normalizedModelsObj: Record<string, unknown>"],"sources":["../src/construct.ts","../src/validate.ts"],"sourcesContent":["import type { ModelDefinition, SqlContract, SqlMappings, SqlStorage } from './types';\n\ntype ResolvedMappings = {\n  modelToTable: Record<string, string>;\n  tableToModel: Record<string, string>;\n  fieldToColumn: Record<string, Record<string, string>>;\n  columnToField: Record<string, Record<string, string>>;\n};\n\nfunction computeDefaultMappings(models: Record<string, ModelDefinition>): ResolvedMappings {\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      if (!columnToField[tableName]) {\n        columnToField[tableName] = {};\n      }\n      columnToField[tableName][columnName] = fieldName;\n    }\n\n    fieldToColumn[modelName] = modelFieldToColumn;\n  }\n\n  return {\n    modelToTable,\n    tableToModel,\n    fieldToColumn,\n    columnToField,\n  };\n}\n\nfunction assertInverseModelMappings(\n  modelToTable: Record<string, string>,\n  tableToModel: Record<string, string>,\n): void {\n  for (const [model, table] of Object.entries(modelToTable)) {\n    if (tableToModel[table] !== model) {\n      throw new Error(\n        `Mappings override mismatch: modelToTable.${model}=\"${table}\" is not mirrored in tableToModel`,\n      );\n    }\n  }\n  for (const [table, model] of Object.entries(tableToModel)) {\n    if (modelToTable[model] !== table) {\n      throw new Error(\n        `Mappings override mismatch: tableToModel.${table}=\"${model}\" is not mirrored in modelToTable`,\n      );\n    }\n  }\n}\n\nfunction assertInverseFieldMappings(\n  fieldToColumn: Record<string, Record<string, string>>,\n  columnToField: Record<string, Record<string, string>>,\n  modelToTable: Record<string, string>,\n  tableToModel: Record<string, string>,\n): void {\n  for (const [model, fields] of Object.entries(fieldToColumn)) {\n    const table = modelToTable[model];\n    if (!table) {\n      throw new Error(\n        `Mappings override mismatch: fieldToColumn references unknown model \"${model}\"`,\n      );\n    }\n    const reverseFields = columnToField[table];\n    if (!reverseFields) {\n      throw new Error(\n        `Mappings override mismatch: columnToField is missing table \"${table}\" for model \"${model}\"`,\n      );\n    }\n    for (const [field, column] of Object.entries(fields)) {\n      if (reverseFields[column] !== field) {\n        throw new Error(\n          `Mappings override mismatch: fieldToColumn.${model}.${field}=\"${column}\" is not mirrored in columnToField.${table}`,\n        );\n      }\n    }\n  }\n\n  for (const [table, columns] of Object.entries(columnToField)) {\n    const model = tableToModel[table];\n    if (!model) {\n      throw new Error(\n        `Mappings override mismatch: columnToField references unknown table \"${table}\"`,\n      );\n    }\n    const forwardFields = fieldToColumn[model];\n    if (!forwardFields) {\n      throw new Error(\n        `Mappings override mismatch: fieldToColumn is missing model \"${model}\" for table \"${table}\"`,\n      );\n    }\n    for (const [column, field] of Object.entries(columns)) {\n      if (forwardFields[field] !== column) {\n        throw new Error(\n          `Mappings override mismatch: columnToField.${table}.${column}=\"${field}\" is not mirrored in fieldToColumn.${model}`,\n        );\n      }\n    }\n  }\n}\n\nfunction mergeMappings(\n  defaults: ResolvedMappings,\n  existingMappings?: Partial<SqlMappings>,\n): ResolvedMappings {\n  const hasModelToTable = existingMappings?.modelToTable !== undefined;\n  const hasTableToModel = existingMappings?.tableToModel !== undefined;\n  if (hasModelToTable !== hasTableToModel) {\n    throw new Error(\n      'Mappings override mismatch: modelToTable and tableToModel must be provided together',\n    );\n  }\n\n  const hasFieldToColumn = existingMappings?.fieldToColumn !== undefined;\n  const hasColumnToField = existingMappings?.columnToField !== undefined;\n  if (hasFieldToColumn !== hasColumnToField) {\n    throw new Error(\n      'Mappings override mismatch: fieldToColumn and columnToField must be provided together',\n    );\n  }\n\n  const modelToTable: Record<string, string> = hasModelToTable\n    ? (existingMappings?.modelToTable ?? {})\n    : defaults.modelToTable;\n  const tableToModel: Record<string, string> = hasTableToModel\n    ? (existingMappings?.tableToModel ?? {})\n    : defaults.tableToModel;\n  assertInverseModelMappings(modelToTable, tableToModel);\n\n  const fieldToColumn: Record<string, Record<string, string>> = hasFieldToColumn\n    ? (existingMappings?.fieldToColumn ?? {})\n    : defaults.fieldToColumn;\n  const columnToField: Record<string, Record<string, string>> = hasColumnToField\n    ? (existingMappings?.columnToField ?? {})\n    : defaults.columnToField;\n  assertInverseFieldMappings(fieldToColumn, columnToField, modelToTable, tableToModel);\n\n  return {\n    modelToTable,\n    tableToModel,\n    fieldToColumn,\n    columnToField,\n  };\n}\n\ntype ValidatedContractInput = SqlContract<SqlStorage> & { _generated?: unknown };\n\nfunction stripGenerated(obj: ValidatedContractInput): Omit<ValidatedContractInput, '_generated'> {\n  const input = obj as unknown as Record<string, unknown>;\n  const { _generated: _, ...rest } = input;\n  return rest as Omit<ValidatedContractInput, '_generated'>;\n}\n\nexport function constructContract<TContract extends SqlContract<SqlStorage>>(\n  input: ValidatedContractInput,\n): TContract {\n  const existingMappings = (input as { mappings?: Partial<SqlMappings> }).mappings;\n  const defaultMappings = computeDefaultMappings(input.models as Record<string, ModelDefinition>);\n  const mappings = mergeMappings(defaultMappings, existingMappings);\n\n  const contractWithMappings = {\n    ...stripGenerated(input),\n    mappings,\n  };\n\n  return contractWithMappings as TContract;\n}\n","import type { ColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';\nimport { isTaggedBigInt, isTaggedRaw } from '@prisma-next/contract/types';\nimport { constructContract } from './construct';\nimport type { SqlContract, SqlStorage, StorageColumn, StorageTable } from './types';\nimport { applyFkDefaults } from './types';\nimport { validateSqlContract, validateStorageSemantics } from './validators';\n\nfunction validateContractLogic(contract: SqlContract<SqlStorage>): void {\n  const tableNames = new Set(Object.keys(contract.storage.tables));\n\n  for (const [tableName, table] of Object.entries(contract.storage.tables)) {\n    const columnNames = new Set(Object.keys(table.columns));\n\n    if (table.primaryKey) {\n      for (const colName of table.primaryKey.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" primaryKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    for (const unique of table.uniques) {\n      for (const colName of unique.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" unique constraint references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    for (const index of table.indexes) {\n      for (const colName of index.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(`Table \"${tableName}\" index references non-existent column \"${colName}\"`);\n        }\n      }\n    }\n\n    for (const [colName, column] of Object.entries(table.columns)) {\n      if (!column.nullable && column.default?.kind === 'literal' && column.default.value === null) {\n        throw new Error(\n          `Table \"${tableName}\" column \"${colName}\" is NOT NULL but has a literal null default`,\n        );\n      }\n    }\n\n    for (const fk of table.foreignKeys) {\n      for (const colName of fk.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" foreignKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n\n      if (!tableNames.has(fk.references.table)) {\n        throw new Error(\n          `Table \"${tableName}\" foreignKey references non-existent table \"${fk.references.table}\"`,\n        );\n      }\n\n      const referencedTable = contract.storage.tables[\n        fk.references.table\n      ] as (typeof contract.storage.tables)[string];\n      const referencedColumnNames = new Set(Object.keys(referencedTable.columns));\n      for (const colName of fk.references.columns) {\n        if (!referencedColumnNames.has(colName)) {\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        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\nconst BIGINT_NATIVE_TYPES = new Set(['bigint', 'int8']);\n\nexport function isBigIntColumn(column: StorageColumn): boolean {\n  const nativeType = column.nativeType?.toLowerCase() ?? '';\n  if (BIGINT_NATIVE_TYPES.has(nativeType)) return true;\n  const codecId = column.codecId?.toLowerCase() ?? '';\n  return codecId.includes('int8') || codecId.includes('bigint');\n}\n\nexport function decodeDefaultLiteralValue(\n  value: ColumnDefaultLiteralInputValue,\n  column: StorageColumn,\n  tableName: string,\n  columnName: string,\n): ColumnDefaultLiteralInputValue {\n  if (value instanceof Date) {\n    return value;\n  }\n  if (isTaggedRaw(value)) {\n    return value.value;\n  }\n  if (isTaggedBigInt(value)) {\n    if (!isBigIntColumn(column)) {\n      return value;\n    }\n    try {\n      return BigInt(value.value);\n    } catch {\n      throw new Error(\n        `Invalid tagged bigint for default value on \"${tableName}.${columnName}\": \"${value.value}\" is not a valid integer`,\n      );\n    }\n  }\n  return value;\n}\n\nexport function decodeContractDefaults<T extends SqlContract<SqlStorage>>(contract: T): T {\n  const tables = contract.storage.tables;\n  let tablesChanged = false;\n  const decodedTables: Record<string, StorageTable> = {};\n\n  for (const [tableName, table] of Object.entries(tables)) {\n    let columnsChanged = false;\n    const decodedColumns: Record<string, StorageColumn> = {};\n\n    for (const [columnName, column] of Object.entries(table.columns)) {\n      if (column.default?.kind === 'literal') {\n        const decodedValue = decodeDefaultLiteralValue(\n          column.default.value,\n          column,\n          tableName,\n          columnName,\n        );\n        if (decodedValue !== column.default.value) {\n          columnsChanged = true;\n          decodedColumns[columnName] = {\n            ...column,\n            default: { kind: 'literal', value: decodedValue },\n          };\n          continue;\n        }\n      }\n      decodedColumns[columnName] = column;\n    }\n\n    if (columnsChanged) {\n      tablesChanged = true;\n      decodedTables[tableName] = { ...table, columns: decodedColumns };\n    } else {\n      decodedTables[tableName] = table;\n    }\n  }\n\n  if (!tablesChanged) {\n    return contract;\n  }\n\n  // The spread widens to SqlContract<SqlStorage>, but this transformation only\n  // decodes tagged bigint defaults for bigint-like columns and preserves all\n  // other properties of T.\n  return {\n    ...contract,\n    storage: {\n      ...contract.storage,\n      tables: decodedTables,\n    },\n  } as T;\n}\n\nexport function normalizeContract(contract: unknown): SqlContract<SqlStorage> {\n  if (typeof contract !== 'object' || contract === null) {\n    return contract as SqlContract<SqlStorage>;\n  }\n\n  const contractObj = contract as Record<string, unknown>;\n\n  let normalizedStorage = contractObj['storage'];\n  if (normalizedStorage && typeof normalizedStorage === 'object' && normalizedStorage !== null) {\n    const storage = normalizedStorage as Record<string, unknown>;\n    const tables = storage['tables'] as Record<string, unknown> | undefined;\n\n    if (tables) {\n      const normalizedTables: Record<string, unknown> = {};\n      for (const [tableName, table] of Object.entries(tables)) {\n        const tableObj = table as Record<string, unknown>;\n        const columns = tableObj['columns'] as Record<string, unknown> | undefined;\n\n        if (columns) {\n          const normalizedColumns: Record<string, unknown> = {};\n          for (const [columnName, column] of Object.entries(columns)) {\n            const columnObj = column as Record<string, unknown>;\n            normalizedColumns[columnName] = {\n              ...columnObj,\n              nullable: columnObj['nullable'] ?? false,\n            };\n          }\n\n          // Normalize foreign keys: add constraint/index defaults if missing\n          const rawForeignKeys = (tableObj['foreignKeys'] ?? []) as Array<Record<string, unknown>>;\n          const normalizedForeignKeys = rawForeignKeys.map((fk) => ({\n            ...fk,\n            ...applyFkDefaults({\n              constraint: typeof fk['constraint'] === 'boolean' ? fk['constraint'] : undefined,\n              index: typeof fk['index'] === 'boolean' ? fk['index'] : undefined,\n            }),\n          }));\n\n          normalizedTables[tableName] = {\n            ...tableObj,\n            columns: normalizedColumns,\n            uniques: tableObj['uniques'] ?? [],\n            indexes: tableObj['indexes'] ?? [],\n            foreignKeys: normalizedForeignKeys,\n          };\n        } else {\n          normalizedTables[tableName] = tableObj;\n        }\n      }\n\n      normalizedStorage = {\n        ...storage,\n        tables: normalizedTables,\n      };\n    }\n  }\n\n  let normalizedModels = contractObj['models'];\n  if (normalizedModels && typeof normalizedModels === 'object' && normalizedModels !== null) {\n    const models = normalizedModels as Record<string, unknown>;\n    const normalizedModelsObj: Record<string, unknown> = {};\n    for (const [modelName, model] of Object.entries(models)) {\n      const modelObj = model as Record<string, unknown>;\n      normalizedModelsObj[modelName] = {\n        ...modelObj,\n        relations: modelObj['relations'] ?? {},\n      };\n    }\n    normalizedModels = normalizedModelsObj;\n  }\n\n  return {\n    ...contractObj,\n    models: normalizedModels,\n    relations: contractObj['relations'] ?? {},\n    storage: normalizedStorage,\n    extensionPacks: contractObj['extensionPacks'] ?? {},\n    capabilities: contractObj['capabilities'] ?? {},\n    meta: contractObj['meta'] ?? {},\n    sources: contractObj['sources'] ?? {},\n  } as SqlContract<SqlStorage>;\n}\n\nexport function validateContract<TContract extends SqlContract<SqlStorage>>(\n  value: unknown,\n): TContract {\n  const normalized = normalizeContract(value);\n  const structurallyValid = validateSqlContract<SqlContract<SqlStorage>>(normalized);\n  validateContractLogic(structurallyValid);\n\n  const semanticErrors = validateStorageSemantics(structurallyValid.storage);\n  if (semanticErrors.length > 0) {\n    throw new Error(`Contract semantic validation failed: ${semanticErrors.join('; ')}`);\n  }\n\n  const constructed = constructContract<TContract>(structurallyValid);\n  return decodeContractDefaults(constructed) as TContract;\n}\n"],"mappings":";;;;;AASA,SAAS,uBAAuB,QAA2D;CACzF,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;AAChC,OAAI,CAAC,cAAc,WACjB,eAAc,aAAa,EAAE;AAE/B,iBAAc,WAAW,cAAc;;AAGzC,gBAAc,aAAa;;AAG7B,QAAO;EACL;EACA;EACA;EACA;EACD;;AAGH,SAAS,2BACP,cACA,cACM;AACN,MAAK,MAAM,CAAC,OAAO,UAAU,OAAO,QAAQ,aAAa,CACvD,KAAI,aAAa,WAAW,MAC1B,OAAM,IAAI,MACR,4CAA4C,MAAM,IAAI,MAAM,mCAC7D;AAGL,MAAK,MAAM,CAAC,OAAO,UAAU,OAAO,QAAQ,aAAa,CACvD,KAAI,aAAa,WAAW,MAC1B,OAAM,IAAI,MACR,4CAA4C,MAAM,IAAI,MAAM,mCAC7D;;AAKP,SAAS,2BACP,eACA,eACA,cACA,cACM;AACN,MAAK,MAAM,CAAC,OAAO,WAAW,OAAO,QAAQ,cAAc,EAAE;EAC3D,MAAM,QAAQ,aAAa;AAC3B,MAAI,CAAC,MACH,OAAM,IAAI,MACR,uEAAuE,MAAM,GAC9E;EAEH,MAAM,gBAAgB,cAAc;AACpC,MAAI,CAAC,cACH,OAAM,IAAI,MACR,+DAA+D,MAAM,eAAe,MAAM,GAC3F;AAEH,OAAK,MAAM,CAAC,OAAO,WAAW,OAAO,QAAQ,OAAO,CAClD,KAAI,cAAc,YAAY,MAC5B,OAAM,IAAI,MACR,6CAA6C,MAAM,GAAG,MAAM,IAAI,OAAO,qCAAqC,QAC7G;;AAKP,MAAK,MAAM,CAAC,OAAO,YAAY,OAAO,QAAQ,cAAc,EAAE;EAC5D,MAAM,QAAQ,aAAa;AAC3B,MAAI,CAAC,MACH,OAAM,IAAI,MACR,uEAAuE,MAAM,GAC9E;EAEH,MAAM,gBAAgB,cAAc;AACpC,MAAI,CAAC,cACH,OAAM,IAAI,MACR,+DAA+D,MAAM,eAAe,MAAM,GAC3F;AAEH,OAAK,MAAM,CAAC,QAAQ,UAAU,OAAO,QAAQ,QAAQ,CACnD,KAAI,cAAc,WAAW,OAC3B,OAAM,IAAI,MACR,6CAA6C,MAAM,GAAG,OAAO,IAAI,MAAM,qCAAqC,QAC7G;;;AAMT,SAAS,cACP,UACA,kBACkB;CAClB,MAAM,kBAAkB,kBAAkB,iBAAiB;CAC3D,MAAM,kBAAkB,kBAAkB,iBAAiB;AAC3D,KAAI,oBAAoB,gBACtB,OAAM,IAAI,MACR,sFACD;CAGH,MAAM,mBAAmB,kBAAkB,kBAAkB;CAC7D,MAAM,mBAAmB,kBAAkB,kBAAkB;AAC7D,KAAI,qBAAqB,iBACvB,OAAM,IAAI,MACR,wFACD;CAGH,MAAMJ,eAAuC,kBACxC,kBAAkB,gBAAgB,EAAE,GACrC,SAAS;CACb,MAAMC,eAAuC,kBACxC,kBAAkB,gBAAgB,EAAE,GACrC,SAAS;AACb,4BAA2B,cAAc,aAAa;CAEtD,MAAMC,gBAAwD,mBACzD,kBAAkB,iBAAiB,EAAE,GACtC,SAAS;CACb,MAAMC,gBAAwD,mBACzD,kBAAkB,iBAAiB,EAAE,GACtC,SAAS;AACb,4BAA2B,eAAe,eAAe,cAAc,aAAa;AAEpF,QAAO;EACL;EACA;EACA;EACA;EACD;;AAKH,SAAS,eAAe,KAAyE;CAE/F,MAAM,EAAE,YAAY,GAAG,GAAG,SADZ;AAEd,QAAO;;AAGT,SAAgB,kBACd,OACW;CACX,MAAM,mBAAoB,MAA8C;CAExE,MAAM,WAAW,cADO,uBAAuB,MAAM,OAA0C,EAC/C,iBAAiB;AAOjE,QAL6B;EAC3B,GAAG,eAAe,MAAM;EACxB;EACD;;;;;ACvKH,SAAS,sBAAsB,UAAyC;CACtE,MAAM,aAAa,IAAI,IAAI,OAAO,KAAK,SAAS,QAAQ,OAAO,CAAC;AAEhE,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,QAAQ,OAAO,EAAE;EACxE,MAAM,cAAc,IAAI,IAAI,OAAO,KAAK,MAAM,QAAQ,CAAC;AAEvD,MAAI,MAAM,YACR;QAAK,MAAM,WAAW,MAAM,WAAW,QACrC,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,GAC5E;;AAKP,OAAK,MAAM,UAAU,MAAM,QACzB,MAAK,MAAM,WAAW,OAAO,QAC3B,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,sDAAsD,QAAQ,GACnF;AAKP,OAAK,MAAM,SAAS,MAAM,QACxB,MAAK,MAAM,WAAW,MAAM,QAC1B,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MAAM,UAAU,UAAU,0CAA0C,QAAQ,GAAG;AAK/F,OAAK,MAAM,CAAC,SAAS,WAAW,OAAO,QAAQ,MAAM,QAAQ,CAC3D,KAAI,CAAC,OAAO,YAAY,OAAO,SAAS,SAAS,aAAa,OAAO,QAAQ,UAAU,KACrF,OAAM,IAAI,MACR,UAAU,UAAU,YAAY,QAAQ,8CACzC;AAIL,OAAK,MAAM,MAAM,MAAM,aAAa;AAClC,QAAK,MAAM,WAAW,GAAG,QACvB,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,GAC5E;AAIL,OAAI,CAAC,WAAW,IAAI,GAAG,WAAW,MAAM,CACtC,OAAM,IAAI,MACR,UAAU,UAAU,8CAA8C,GAAG,WAAW,MAAM,GACvF;GAGH,MAAM,kBAAkB,SAAS,QAAQ,OACvC,GAAG,WAAW;GAEhB,MAAM,wBAAwB,IAAI,IAAI,OAAO,KAAK,gBAAgB,QAAQ,CAAC;AAC3E,QAAK,MAAM,WAAW,GAAG,WAAW,QAClC,KAAI,CAAC,sBAAsB,IAAI,QAAQ,CACrC,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,cAAc,GAAG,WAAW,MAAM,GAC9G;AAIL,OAAI,GAAG,QAAQ,WAAW,GAAG,WAAW,QAAQ,OAC9C,OAAM,IAAI,MACR,UAAU,UAAU,6BAA6B,GAAG,QAAQ,OAAO,4CAA4C,GAAG,WAAW,QAAQ,OAAO,GAC7I;;;;AAMT,MAAM,sBAAsB,IAAI,IAAI,CAAC,UAAU,OAAO,CAAC;AAEvD,SAAgB,eAAe,QAAgC;CAC7D,MAAM,aAAa,OAAO,YAAY,aAAa,IAAI;AACvD,KAAI,oBAAoB,IAAI,WAAW,CAAE,QAAO;CAChD,MAAM,UAAU,OAAO,SAAS,aAAa,IAAI;AACjD,QAAO,QAAQ,SAAS,OAAO,IAAI,QAAQ,SAAS,SAAS;;AAG/D,SAAgB,0BACd,OACA,QACA,WACA,YACgC;AAChC,KAAI,iBAAiB,KACnB,QAAO;AAET,KAAI,YAAY,MAAM,CACpB,QAAO,MAAM;AAEf,KAAI,eAAe,MAAM,EAAE;AACzB,MAAI,CAAC,eAAe,OAAO,CACzB,QAAO;AAET,MAAI;AACF,UAAO,OAAO,MAAM,MAAM;UACpB;AACN,SAAM,IAAI,MACR,+CAA+C,UAAU,GAAG,WAAW,MAAM,MAAM,MAAM,0BAC1F;;;AAGL,QAAO;;AAGT,SAAgB,uBAA0D,UAAgB;CACxF,MAAM,SAAS,SAAS,QAAQ;CAChC,IAAI,gBAAgB;CACpB,MAAME,gBAA8C,EAAE;AAEtD,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,IAAI,iBAAiB;EACrB,MAAMC,iBAAgD,EAAE;AAExD,OAAK,MAAM,CAAC,YAAY,WAAW,OAAO,QAAQ,MAAM,QAAQ,EAAE;AAChE,OAAI,OAAO,SAAS,SAAS,WAAW;IACtC,MAAM,eAAe,0BACnB,OAAO,QAAQ,OACf,QACA,WACA,WACD;AACD,QAAI,iBAAiB,OAAO,QAAQ,OAAO;AACzC,sBAAiB;AACjB,oBAAe,cAAc;MAC3B,GAAG;MACH,SAAS;OAAE,MAAM;OAAW,OAAO;OAAc;MAClD;AACD;;;AAGJ,kBAAe,cAAc;;AAG/B,MAAI,gBAAgB;AAClB,mBAAgB;AAChB,iBAAc,aAAa;IAAE,GAAG;IAAO,SAAS;IAAgB;QAEhE,eAAc,aAAa;;AAI/B,KAAI,CAAC,cACH,QAAO;AAMT,QAAO;EACL,GAAG;EACH,SAAS;GACP,GAAG,SAAS;GACZ,QAAQ;GACT;EACF;;AAGH,SAAgB,kBAAkB,UAA4C;AAC5E,KAAI,OAAO,aAAa,YAAY,aAAa,KAC/C,QAAO;CAGT,MAAM,cAAc;CAEpB,IAAI,oBAAoB,YAAY;AACpC,KAAI,qBAAqB,OAAO,sBAAsB,YAAY,sBAAsB,MAAM;EAC5F,MAAM,UAAU;EAChB,MAAM,SAAS,QAAQ;AAEvB,MAAI,QAAQ;GACV,MAAMC,mBAA4C,EAAE;AACpD,QAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;IACvD,MAAM,WAAW;IACjB,MAAM,UAAU,SAAS;AAEzB,QAAI,SAAS;KACX,MAAMC,oBAA6C,EAAE;AACrD,UAAK,MAAM,CAAC,YAAY,WAAW,OAAO,QAAQ,QAAQ,EAAE;MAC1D,MAAM,YAAY;AAClB,wBAAkB,cAAc;OAC9B,GAAG;OACH,UAAU,UAAU,eAAe;OACpC;;KAKH,MAAM,yBADkB,SAAS,kBAAkB,EAAE,EACR,KAAK,QAAQ;MACxD,GAAG;MACH,GAAG,gBAAgB;OACjB,YAAY,OAAO,GAAG,kBAAkB,YAAY,GAAG,gBAAgB;OACvE,OAAO,OAAO,GAAG,aAAa,YAAY,GAAG,WAAW;OACzD,CAAC;MACH,EAAE;AAEH,sBAAiB,aAAa;MAC5B,GAAG;MACH,SAAS;MACT,SAAS,SAAS,cAAc,EAAE;MAClC,SAAS,SAAS,cAAc,EAAE;MAClC,aAAa;MACd;UAED,kBAAiB,aAAa;;AAIlC,uBAAoB;IAClB,GAAG;IACH,QAAQ;IACT;;;CAIL,IAAI,mBAAmB,YAAY;AACnC,KAAI,oBAAoB,OAAO,qBAAqB,YAAY,qBAAqB,MAAM;EACzF,MAAM,SAAS;EACf,MAAMC,sBAA+C,EAAE;AACvD,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;GACvD,MAAM,WAAW;AACjB,uBAAoB,aAAa;IAC/B,GAAG;IACH,WAAW,SAAS,gBAAgB,EAAE;IACvC;;AAEH,qBAAmB;;AAGrB,QAAO;EACL,GAAG;EACH,QAAQ;EACR,WAAW,YAAY,gBAAgB,EAAE;EACzC,SAAS;EACT,gBAAgB,YAAY,qBAAqB,EAAE;EACnD,cAAc,YAAY,mBAAmB,EAAE;EAC/C,MAAM,YAAY,WAAW,EAAE;EAC/B,SAAS,YAAY,cAAc,EAAE;EACtC;;AAGH,SAAgB,iBACd,OACW;CAEX,MAAM,oBAAoB,oBADP,kBAAkB,MAAM,CACuC;AAClF,uBAAsB,kBAAkB;CAExC,MAAM,iBAAiB,yBAAyB,kBAAkB,QAAQ;AAC1E,KAAI,eAAe,SAAS,EAC1B,OAAM,IAAI,MAAM,wCAAwC,eAAe,KAAK,KAAK,GAAG;AAItF,QAAO,uBADa,kBAA6B,kBAAkB,CACzB"}
+{"version":3,"file":"validate.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>","decodedTables: Record<string, StorageTable>","decodedColumns: Record<string, StorageColumn>","normalizedTables: Record<string, unknown>","normalizedColumns: Record<string, unknown>","map: Record<string, string>","roots: Record<string, string>","tableToModel: Record<string, string>","enrichedModels: Record<string, RawModel>","enrichedFields: Record<string, RawField>","modelStorageFields: Record<string, { column: string }>","targetColumnToField: Record<string, Record<string, string>>","modelRelations: Record<string, unknown>","topRelations: Record<string, Record<string, unknown>>","modelToTable: Record<string, string>","normalizedModels: Record<string, RawModel>"],"sources":["../src/construct.ts","../src/validate.ts"],"sourcesContent":["import type { ModelDefinition, SqlContract, SqlMappings, SqlStorage } from './types';\n\ntype ResolvedMappings = {\n  modelToTable: Record<string, string>;\n  tableToModel: Record<string, string>;\n  fieldToColumn: Record<string, Record<string, string>>;\n  columnToField: Record<string, Record<string, string>>;\n};\n\nfunction computeDefaultMappings(models: Record<string, ModelDefinition>): ResolvedMappings {\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      if (!columnToField[tableName]) {\n        columnToField[tableName] = {};\n      }\n      columnToField[tableName][columnName] = fieldName;\n    }\n\n    fieldToColumn[modelName] = modelFieldToColumn;\n  }\n\n  return {\n    modelToTable,\n    tableToModel,\n    fieldToColumn,\n    columnToField,\n  };\n}\n\nfunction assertInverseModelMappings(\n  modelToTable: Record<string, string>,\n  tableToModel: Record<string, string>,\n): void {\n  for (const [model, table] of Object.entries(modelToTable)) {\n    if (tableToModel[table] !== model) {\n      throw new Error(\n        `Mappings override mismatch: modelToTable.${model}=\"${table}\" is not mirrored in tableToModel`,\n      );\n    }\n  }\n  for (const [table, model] of Object.entries(tableToModel)) {\n    if (modelToTable[model] !== table) {\n      throw new Error(\n        `Mappings override mismatch: tableToModel.${table}=\"${model}\" is not mirrored in modelToTable`,\n      );\n    }\n  }\n}\n\nfunction assertInverseFieldMappings(\n  fieldToColumn: Record<string, Record<string, string>>,\n  columnToField: Record<string, Record<string, string>>,\n  modelToTable: Record<string, string>,\n  tableToModel: Record<string, string>,\n): void {\n  for (const [model, fields] of Object.entries(fieldToColumn)) {\n    const table = modelToTable[model];\n    if (!table) {\n      throw new Error(\n        `Mappings override mismatch: fieldToColumn references unknown model \"${model}\"`,\n      );\n    }\n    const reverseFields = columnToField[table];\n    if (!reverseFields) {\n      throw new Error(\n        `Mappings override mismatch: columnToField is missing table \"${table}\" for model \"${model}\"`,\n      );\n    }\n    for (const [field, column] of Object.entries(fields)) {\n      if (reverseFields[column] !== field) {\n        throw new Error(\n          `Mappings override mismatch: fieldToColumn.${model}.${field}=\"${column}\" is not mirrored in columnToField.${table}`,\n        );\n      }\n    }\n  }\n\n  for (const [table, columns] of Object.entries(columnToField)) {\n    const model = tableToModel[table];\n    if (!model) {\n      throw new Error(\n        `Mappings override mismatch: columnToField references unknown table \"${table}\"`,\n      );\n    }\n    const forwardFields = fieldToColumn[model];\n    if (!forwardFields) {\n      throw new Error(\n        `Mappings override mismatch: fieldToColumn is missing model \"${model}\" for table \"${table}\"`,\n      );\n    }\n    for (const [column, field] of Object.entries(columns)) {\n      if (forwardFields[field] !== column) {\n        throw new Error(\n          `Mappings override mismatch: columnToField.${table}.${column}=\"${field}\" is not mirrored in fieldToColumn.${model}`,\n        );\n      }\n    }\n  }\n}\n\nfunction mergeMappings(\n  defaults: ResolvedMappings,\n  existingMappings?: Partial<SqlMappings>,\n): ResolvedMappings {\n  const hasModelToTable = existingMappings?.modelToTable !== undefined;\n  const hasTableToModel = existingMappings?.tableToModel !== undefined;\n  if (hasModelToTable !== hasTableToModel) {\n    throw new Error(\n      'Mappings override mismatch: modelToTable and tableToModel must be provided together',\n    );\n  }\n\n  const hasFieldToColumn = existingMappings?.fieldToColumn !== undefined;\n  const hasColumnToField = existingMappings?.columnToField !== undefined;\n  if (hasFieldToColumn !== hasColumnToField) {\n    throw new Error(\n      'Mappings override mismatch: fieldToColumn and columnToField must be provided together',\n    );\n  }\n\n  const modelToTable: Record<string, string> = hasModelToTable\n    ? (existingMappings?.modelToTable ?? {})\n    : defaults.modelToTable;\n  const tableToModel: Record<string, string> = hasTableToModel\n    ? (existingMappings?.tableToModel ?? {})\n    : defaults.tableToModel;\n  assertInverseModelMappings(modelToTable, tableToModel);\n\n  const fieldToColumn: Record<string, Record<string, string>> = hasFieldToColumn\n    ? (existingMappings?.fieldToColumn ?? {})\n    : defaults.fieldToColumn;\n  const columnToField: Record<string, Record<string, string>> = hasColumnToField\n    ? (existingMappings?.columnToField ?? {})\n    : defaults.columnToField;\n  assertInverseFieldMappings(fieldToColumn, columnToField, modelToTable, tableToModel);\n\n  return {\n    modelToTable,\n    tableToModel,\n    fieldToColumn,\n    columnToField,\n  };\n}\n\ntype ValidatedContractInput = SqlContract<SqlStorage> & { _generated?: unknown };\n\nfunction stripGenerated(obj: ValidatedContractInput): Omit<ValidatedContractInput, '_generated'> {\n  const input = obj as unknown as Record<string, unknown>;\n  const { _generated: _, ...rest } = input;\n  return rest as Omit<ValidatedContractInput, '_generated'>;\n}\n\nexport function constructContract<TContract extends SqlContract<SqlStorage>>(\n  input: ValidatedContractInput,\n): TContract {\n  const existingMappings = (input as { mappings?: Partial<SqlMappings> }).mappings;\n  const defaultMappings = computeDefaultMappings(input.models as Record<string, ModelDefinition>);\n  const mappings = mergeMappings(defaultMappings, existingMappings);\n\n  const stripped = stripGenerated(input);\n\n  const contractWithMappings = {\n    ...stripped,\n    mappings,\n    roots: stripped.roots,\n  };\n\n  return contractWithMappings as TContract;\n}\n","import type { ColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';\nimport { isTaggedBigInt, isTaggedRaw } from '@prisma-next/contract/types';\nimport type { DomainContractShape, DomainModelShape } from '@prisma-next/contract/validate-domain';\nimport { validateContractDomain } from '@prisma-next/contract/validate-domain';\nimport { constructContract } from './construct';\nimport type { SqlContract, SqlStorage, StorageColumn, StorageTable } from './types';\nimport { applyFkDefaults } from './types';\nimport { validateSqlContract, validateStorageSemantics } from './validators';\n\nfunction extractDomainShape(contract: SqlContract<SqlStorage>): DomainContractShape {\n  return {\n    roots: contract.roots,\n    models: contract.models as Record<string, DomainModelShape>,\n  };\n}\n\nfunction validateContractLogic(contract: SqlContract<SqlStorage>): void {\n  const tableNames = new Set(Object.keys(contract.storage.tables));\n\n  for (const [tableName, table] of Object.entries(contract.storage.tables)) {\n    const columnNames = new Set(Object.keys(table.columns));\n\n    if (table.primaryKey) {\n      for (const colName of table.primaryKey.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" primaryKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    for (const unique of table.uniques) {\n      for (const colName of unique.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" unique constraint references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    for (const index of table.indexes) {\n      for (const colName of index.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(`Table \"${tableName}\" index references non-existent column \"${colName}\"`);\n        }\n      }\n    }\n\n    for (const [colName, column] of Object.entries(table.columns)) {\n      if (!column.nullable && column.default?.kind === 'literal' && column.default.value === null) {\n        throw new Error(\n          `Table \"${tableName}\" column \"${colName}\" is NOT NULL but has a literal null default`,\n        );\n      }\n    }\n\n    for (const fk of table.foreignKeys) {\n      for (const colName of fk.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" foreignKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n\n      if (!tableNames.has(fk.references.table)) {\n        throw new Error(\n          `Table \"${tableName}\" foreignKey references non-existent table \"${fk.references.table}\"`,\n        );\n      }\n\n      const referencedTable = contract.storage.tables[\n        fk.references.table\n      ] as (typeof contract.storage.tables)[string];\n      const referencedColumnNames = new Set(Object.keys(referencedTable.columns));\n      for (const colName of fk.references.columns) {\n        if (!referencedColumnNames.has(colName)) {\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        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\nconst BIGINT_NATIVE_TYPES = new Set(['bigint', 'int8']);\n\nexport function isBigIntColumn(column: StorageColumn): boolean {\n  const nativeType = column.nativeType?.toLowerCase() ?? '';\n  if (BIGINT_NATIVE_TYPES.has(nativeType)) return true;\n  const codecId = column.codecId?.toLowerCase() ?? '';\n  return codecId.includes('int8') || codecId.includes('bigint');\n}\n\nexport function decodeDefaultLiteralValue(\n  value: ColumnDefaultLiteralInputValue,\n  column: StorageColumn,\n  tableName: string,\n  columnName: string,\n): ColumnDefaultLiteralInputValue {\n  if (value instanceof Date) {\n    return value;\n  }\n  if (isTaggedRaw(value)) {\n    return value.value;\n  }\n  if (isTaggedBigInt(value)) {\n    if (!isBigIntColumn(column)) {\n      return value;\n    }\n    try {\n      return BigInt(value.value);\n    } catch {\n      throw new Error(\n        `Invalid tagged bigint for default value on \"${tableName}.${columnName}\": \"${value.value}\" is not a valid integer`,\n      );\n    }\n  }\n  return value;\n}\n\nexport function decodeContractDefaults<T extends SqlContract<SqlStorage>>(contract: T): T {\n  const tables = contract.storage.tables;\n  let tablesChanged = false;\n  const decodedTables: Record<string, StorageTable> = {};\n\n  for (const [tableName, table] of Object.entries(tables)) {\n    let columnsChanged = false;\n    const decodedColumns: Record<string, StorageColumn> = {};\n\n    for (const [columnName, column] of Object.entries(table.columns)) {\n      if (column.default?.kind === 'literal') {\n        const decodedValue = decodeDefaultLiteralValue(\n          column.default.value,\n          column,\n          tableName,\n          columnName,\n        );\n        if (decodedValue !== column.default.value) {\n          columnsChanged = true;\n          decodedColumns[columnName] = {\n            ...column,\n            default: { kind: 'literal', value: decodedValue },\n          };\n          continue;\n        }\n      }\n      decodedColumns[columnName] = column;\n    }\n\n    if (columnsChanged) {\n      tablesChanged = true;\n      decodedTables[tableName] = { ...table, columns: decodedColumns };\n    } else {\n      decodedTables[tableName] = table;\n    }\n  }\n\n  if (!tablesChanged) {\n    return contract;\n  }\n\n  // The spread widens to SqlContract<SqlStorage>, but this transformation only\n  // decodes tagged bigint defaults for bigint-like columns and preserves all\n  // other properties of T.\n  return {\n    ...contract,\n    storage: {\n      ...contract.storage,\n      tables: decodedTables,\n    },\n  } as T;\n}\n\nfunction normalizeStorage(contractObj: Record<string, unknown>): Record<string, unknown> {\n  const normalizedStorage = contractObj['storage'];\n  if (!normalizedStorage || typeof normalizedStorage !== 'object')\n    return normalizedStorage as Record<string, unknown>;\n\n  const storage = normalizedStorage as Record<string, unknown>;\n  const tables = storage['tables'] as Record<string, unknown> | undefined;\n  if (!tables) return storage;\n\n  const normalizedTables: Record<string, unknown> = {};\n  for (const [tableName, table] of Object.entries(tables)) {\n    const tableObj = table as Record<string, unknown>;\n    const columns = tableObj['columns'] as Record<string, unknown> | undefined;\n\n    if (columns) {\n      const normalizedColumns: Record<string, unknown> = {};\n      for (const [columnName, column] of Object.entries(columns)) {\n        const columnObj = column as Record<string, unknown>;\n        normalizedColumns[columnName] = {\n          ...columnObj,\n          nullable: columnObj['nullable'] ?? false,\n        };\n      }\n\n      const rawForeignKeys = (tableObj['foreignKeys'] ?? []) as Array<Record<string, unknown>>;\n      const normalizedForeignKeys = rawForeignKeys.map((fk) => ({\n        ...fk,\n        ...applyFkDefaults({\n          constraint: typeof fk['constraint'] === 'boolean' ? fk['constraint'] : undefined,\n          index: typeof fk['index'] === 'boolean' ? fk['index'] : undefined,\n        }),\n      }));\n\n      normalizedTables[tableName] = {\n        ...tableObj,\n        columns: normalizedColumns,\n        uniques: tableObj['uniques'] ?? [],\n        indexes: tableObj['indexes'] ?? [],\n        foreignKeys: normalizedForeignKeys,\n      };\n    } else {\n      normalizedTables[tableName] = tableObj;\n    }\n  }\n\n  return { ...storage, tables: normalizedTables };\n}\n\ntype RawModel = Record<string, unknown>;\ntype RawField = Record<string, unknown>;\ntype RawRelation = Record<string, unknown>;\ntype RawStorageObj = { tables: Record<string, Record<string, unknown>> };\n\nfunction detectFormat(models: Record<string, RawModel>): 'old' | 'new' {\n  for (const model of Object.values(models)) {\n    const fields = model['fields'] as Record<string, RawField> | undefined;\n    if (!fields) continue;\n    for (const field of Object.values(fields)) {\n      if ('column' in field) return 'old';\n      if ('codecId' in field) return 'new';\n    }\n  }\n  return 'old';\n}\n\nfunction buildColumnToFieldMap(\n  fields: Record<string, RawField>,\n  modelName: string,\n): Record<string, string> {\n  const map: Record<string, string> = {};\n  for (const [fieldName, field] of Object.entries(fields)) {\n    const col = field['column'] as string | undefined;\n    if (!col) continue;\n    if (Object.hasOwn(map, col)) {\n      throw new Error(\n        `Model \"${modelName}\" has duplicate column mapping: fields \"${map[col]}\" and \"${fieldName}\" both map to column \"${col}\"`,\n      );\n    }\n    map[col] = fieldName;\n  }\n  return map;\n}\n\nfunction enrichOldFormatModels(\n  models: Record<string, RawModel>,\n  storageObj: RawStorageObj,\n  topRelations: Record<string, Record<string, RawRelation>>,\n): { enrichedModels: Record<string, RawModel>; roots: Record<string, string> } {\n  const roots: Record<string, string> = {};\n  const tableToModel: Record<string, string> = {};\n\n  for (const [modelName, model] of Object.entries(models)) {\n    const modelStorage = model['storage'] as Record<string, unknown> | undefined;\n    const tableName = modelStorage?.['table'] as string | undefined;\n    if (tableName) {\n      if (!model['owner']) {\n        roots[modelName] = modelName;\n      }\n      tableToModel[tableName] = modelName;\n    }\n  }\n\n  const enrichedModels: Record<string, RawModel> = {};\n\n  for (const [modelName, model] of Object.entries(models)) {\n    const fields = (model['fields'] ?? {}) as Record<string, RawField>;\n    const modelStorage = model['storage'] as Record<string, unknown> | undefined;\n    const tableName = modelStorage?.['table'] as string | undefined;\n    const storageTable = tableName\n      ? (storageObj.tables[tableName] as Record<string, unknown> | undefined)\n      : undefined;\n    const storageColumns = (storageTable?.['columns'] ?? {}) as Record<\n      string,\n      Record<string, unknown>\n    >;\n\n    const enrichedFields: Record<string, RawField> = {};\n    const modelStorageFields: Record<string, { column: string }> = {};\n\n    const hasStorageColumns = Object.keys(storageColumns).length > 0;\n    for (const [fieldName, field] of Object.entries(fields)) {\n      const colName = field['column'] as string;\n      const storageCol = storageColumns[colName];\n      if (!storageCol && hasStorageColumns && colName) {\n        throw new Error(\n          `Model \"${modelName}\" field \"${fieldName}\" references non-existent column \"${colName}\" in table \"${tableName}\"`,\n        );\n      }\n      enrichedFields[fieldName] = {\n        ...field,\n        nullable: storageCol?.['nullable'] ?? false,\n        codecId: storageCol?.['codecId'] ?? '',\n      };\n      modelStorageFields[fieldName] = { column: colName };\n    }\n\n    const enrichedStorage = {\n      ...(modelStorage ?? {}),\n      fields: modelStorageFields,\n    };\n\n    enrichedModels[modelName] = {\n      ...model,\n      fields: enrichedFields,\n      storage: enrichedStorage,\n      relations: model['relations'] ?? {},\n    };\n  }\n\n  for (const [tableName, tableRels] of Object.entries(topRelations)) {\n    const modelName = tableToModel[tableName];\n    if (!modelName) continue;\n    const existingModel = enrichedModels[modelName];\n    if (!existingModel) continue;\n\n    const existingRels = (existingModel['relations'] ?? {}) as Record<string, unknown>;\n    const targetColumnToField: Record<string, Record<string, string>> = {};\n\n    const modelRelations: Record<string, unknown> = { ...existingRels };\n    for (const [relName, rel] of Object.entries(tableRels)) {\n      const on = rel['on'] as { childCols?: string[]; parentCols?: string[] } | undefined;\n      const parentCols = on?.['parentCols'] ?? [];\n      const childCols = on?.['childCols'] ?? [];\n\n      const toModel = rel['to'] as string;\n      const sourceFields = (existingModel['fields'] ?? {}) as Record<string, RawField>;\n      const sourceColToField = buildColumnToFieldMap(sourceFields, modelName);\n\n      if (!targetColumnToField[toModel]) {\n        const targetModelObj = enrichedModels[toModel];\n        if (targetModelObj) {\n          targetColumnToField[toModel] = buildColumnToFieldMap(\n            (targetModelObj['fields'] ?? {}) as Record<string, RawField>,\n            toModel,\n          );\n        } else {\n          targetColumnToField[toModel] = {};\n        }\n      }\n      const targetColToField = targetColumnToField[toModel] ?? {};\n\n      // Old format: parentCols = columns on FK-holding table (local), childCols = columns on referenced table (target)\n      const localFields = parentCols.map((c: string) => sourceColToField[c] ?? c);\n      const targetFields = childCols.map((c: string) => targetColToField[c] ?? c);\n\n      modelRelations[relName] = {\n        to: toModel,\n        cardinality: rel['cardinality'],\n        on: { localFields, targetFields },\n      };\n    }\n\n    enrichedModels[modelName] = {\n      ...existingModel,\n      relations: modelRelations,\n    };\n  }\n\n  return { enrichedModels, roots };\n}\n\nfunction enrichNewFormatModels(models: Record<string, RawModel>): {\n  enrichedModels: Record<string, RawModel>;\n  topRelations: Record<string, Record<string, unknown>>;\n} {\n  const enrichedModels: Record<string, RawModel> = {};\n  const topRelations: Record<string, Record<string, unknown>> = {};\n  const modelToTable: Record<string, string> = {};\n\n  for (const [modelName, model] of Object.entries(models)) {\n    const modelStorage = model['storage'] as Record<string, unknown> | undefined;\n    const tableName = modelStorage?.['table'] as string | undefined;\n    if (tableName) modelToTable[modelName] = tableName;\n  }\n\n  for (const [modelName, model] of Object.entries(models)) {\n    const fields = (model['fields'] ?? {}) as Record<string, RawField>;\n    const modelStorage = model['storage'] as Record<string, unknown> | undefined;\n    const storageFields = (modelStorage?.['fields'] ?? {}) as Record<\n      string,\n      Record<string, unknown>\n    >;\n\n    const enrichedFields: Record<string, RawField> = {};\n    for (const [fieldName, field] of Object.entries(fields)) {\n      const sfEntry = storageFields[fieldName];\n      const column = sfEntry?.['column'] as string | undefined;\n      enrichedFields[fieldName] = column ? { ...field, column } : { ...field };\n    }\n\n    enrichedModels[modelName] = {\n      ...model,\n      fields: enrichedFields,\n      relations: model['relations'] ?? {},\n    };\n\n    const modelRels = (model['relations'] ?? {}) as Record<string, RawRelation>;\n    const tableName = modelToTable[modelName];\n    if (!tableName) continue;\n\n    for (const [relName, rel] of Object.entries(modelRels)) {\n      const on = rel['on'] as { localFields?: string[]; targetFields?: string[] } | undefined;\n      if (!on) continue;\n      const toModel = rel['to'] as string;\n      const toTable = modelToTable[toModel];\n      if (!toTable) continue;\n\n      const sourceFields = enrichedFields;\n      const targetModelObj = models[toModel];\n      const targetFields = (targetModelObj?.['fields'] ?? {}) as Record<string, RawField>;\n      const targetStorageObj = targetModelObj?.['storage'] as Record<string, unknown> | undefined;\n      const targetStorageFields = (targetStorageObj?.['fields'] ?? {}) as Record<\n        string,\n        Record<string, unknown>\n      >;\n\n      const parentCols = (on.localFields ?? []).map((f: string) => {\n        const sf = storageFields[f];\n        return (\n          (sf?.['column'] as string | undefined) ??\n          (sourceFields[f]?.['column'] as string | undefined) ??\n          f\n        );\n      });\n\n      const childCols = (on.targetFields ?? []).map((f: string) => {\n        const tsf = targetStorageFields[f];\n        return (\n          (tsf?.['column'] as string | undefined) ??\n          (targetFields[f]?.['column'] as string | undefined) ??\n          f\n        );\n      });\n\n      if (!topRelations[tableName]) topRelations[tableName] = {};\n      topRelations[tableName][relName] = {\n        to: toModel,\n        cardinality: rel['cardinality'],\n        on: { parentCols, childCols },\n      };\n    }\n  }\n\n  return { enrichedModels, topRelations };\n}\n\nexport function normalizeContract(contract: unknown): SqlContract<SqlStorage> {\n  if (typeof contract !== 'object' || contract === null) {\n    return contract as SqlContract<SqlStorage>;\n  }\n\n  const contractObj = contract as Record<string, unknown>;\n  const normalizedStorage = normalizeStorage(contractObj);\n\n  const rawModels = contractObj['models'];\n  if (!rawModels || typeof rawModels !== 'object' || rawModels === null) {\n    return {\n      ...contractObj,\n      roots: contractObj['roots'] ?? {},\n      models: rawModels ?? {},\n      relations: contractObj['relations'] ?? {},\n      storage: normalizedStorage,\n      extensionPacks: contractObj['extensionPacks'] ?? {},\n      capabilities: contractObj['capabilities'] ?? {},\n      meta: contractObj['meta'] ?? {},\n      sources: contractObj['sources'] ?? {},\n    } as SqlContract<SqlStorage>;\n  }\n\n  const modelsObj = rawModels as Record<string, RawModel>;\n  const format = detectFormat(modelsObj);\n\n  let normalizedModels: Record<string, RawModel>;\n  let roots: Record<string, string>;\n  let topRelations: Record<string, Record<string, unknown>>;\n\n  if (format === 'new') {\n    const result = enrichNewFormatModels(modelsObj);\n    normalizedModels = result.enrichedModels;\n    topRelations = {\n      ...((contractObj['relations'] ?? {}) as Record<string, Record<string, unknown>>),\n      ...result.topRelations,\n    };\n    roots = (contractObj['roots'] as Record<string, string>) ?? {};\n  } else {\n    const rawStorageObj =\n      normalizedStorage && typeof normalizedStorage === 'object'\n        ? (normalizedStorage as Record<string, unknown>)\n        : {};\n    const storageObj = {\n      tables: ((rawStorageObj as Record<string, unknown>)['tables'] ?? {}) as Record<\n        string,\n        Record<string, unknown>\n      >,\n    };\n    const existingRelations = (contractObj['relations'] ?? {}) as Record<\n      string,\n      Record<string, RawRelation>\n    >;\n    const result = enrichOldFormatModels(modelsObj, storageObj, existingRelations);\n    normalizedModels = result.enrichedModels;\n    roots = result.roots;\n    topRelations = existingRelations;\n  }\n\n  return {\n    ...contractObj,\n    roots,\n    models: normalizedModels,\n    relations: topRelations,\n    storage: normalizedStorage,\n    extensionPacks: contractObj['extensionPacks'] ?? {},\n    capabilities: contractObj['capabilities'] ?? {},\n    meta: contractObj['meta'] ?? {},\n    sources: contractObj['sources'] ?? {},\n  } as SqlContract<SqlStorage>;\n}\n\nexport function validateContract<TContract extends SqlContract<SqlStorage>>(\n  value: unknown,\n): TContract {\n  const normalized = normalizeContract(value);\n\n  const structurallyValid = validateSqlContract<SqlContract<SqlStorage>>(normalized);\n\n  validateContractDomain(extractDomainShape(structurallyValid));\n\n  validateContractLogic(structurallyValid);\n\n  const semanticErrors = validateStorageSemantics(structurallyValid.storage);\n  if (semanticErrors.length > 0) {\n    throw new Error(`Contract semantic validation failed: ${semanticErrors.join('; ')}`);\n  }\n\n  const constructed = constructContract<TContract>(structurallyValid);\n  return decodeContractDefaults(constructed) as TContract;\n}\n"],"mappings":";;;;;;AASA,SAAS,uBAAuB,QAA2D;CACzF,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;AAChC,OAAI,CAAC,cAAc,WACjB,eAAc,aAAa,EAAE;AAE/B,iBAAc,WAAW,cAAc;;AAGzC,gBAAc,aAAa;;AAG7B,QAAO;EACL;EACA;EACA;EACA;EACD;;AAGH,SAAS,2BACP,cACA,cACM;AACN,MAAK,MAAM,CAAC,OAAO,UAAU,OAAO,QAAQ,aAAa,CACvD,KAAI,aAAa,WAAW,MAC1B,OAAM,IAAI,MACR,4CAA4C,MAAM,IAAI,MAAM,mCAC7D;AAGL,MAAK,MAAM,CAAC,OAAO,UAAU,OAAO,QAAQ,aAAa,CACvD,KAAI,aAAa,WAAW,MAC1B,OAAM,IAAI,MACR,4CAA4C,MAAM,IAAI,MAAM,mCAC7D;;AAKP,SAAS,2BACP,eACA,eACA,cACA,cACM;AACN,MAAK,MAAM,CAAC,OAAO,WAAW,OAAO,QAAQ,cAAc,EAAE;EAC3D,MAAM,QAAQ,aAAa;AAC3B,MAAI,CAAC,MACH,OAAM,IAAI,MACR,uEAAuE,MAAM,GAC9E;EAEH,MAAM,gBAAgB,cAAc;AACpC,MAAI,CAAC,cACH,OAAM,IAAI,MACR,+DAA+D,MAAM,eAAe,MAAM,GAC3F;AAEH,OAAK,MAAM,CAAC,OAAO,WAAW,OAAO,QAAQ,OAAO,CAClD,KAAI,cAAc,YAAY,MAC5B,OAAM,IAAI,MACR,6CAA6C,MAAM,GAAG,MAAM,IAAI,OAAO,qCAAqC,QAC7G;;AAKP,MAAK,MAAM,CAAC,OAAO,YAAY,OAAO,QAAQ,cAAc,EAAE;EAC5D,MAAM,QAAQ,aAAa;AAC3B,MAAI,CAAC,MACH,OAAM,IAAI,MACR,uEAAuE,MAAM,GAC9E;EAEH,MAAM,gBAAgB,cAAc;AACpC,MAAI,CAAC,cACH,OAAM,IAAI,MACR,+DAA+D,MAAM,eAAe,MAAM,GAC3F;AAEH,OAAK,MAAM,CAAC,QAAQ,UAAU,OAAO,QAAQ,QAAQ,CACnD,KAAI,cAAc,WAAW,OAC3B,OAAM,IAAI,MACR,6CAA6C,MAAM,GAAG,OAAO,IAAI,MAAM,qCAAqC,QAC7G;;;AAMT,SAAS,cACP,UACA,kBACkB;CAClB,MAAM,kBAAkB,kBAAkB,iBAAiB;CAC3D,MAAM,kBAAkB,kBAAkB,iBAAiB;AAC3D,KAAI,oBAAoB,gBACtB,OAAM,IAAI,MACR,sFACD;CAGH,MAAM,mBAAmB,kBAAkB,kBAAkB;CAC7D,MAAM,mBAAmB,kBAAkB,kBAAkB;AAC7D,KAAI,qBAAqB,iBACvB,OAAM,IAAI,MACR,wFACD;CAGH,MAAMJ,eAAuC,kBACxC,kBAAkB,gBAAgB,EAAE,GACrC,SAAS;CACb,MAAMC,eAAuC,kBACxC,kBAAkB,gBAAgB,EAAE,GACrC,SAAS;AACb,4BAA2B,cAAc,aAAa;CAEtD,MAAMC,gBAAwD,mBACzD,kBAAkB,iBAAiB,EAAE,GACtC,SAAS;CACb,MAAMC,gBAAwD,mBACzD,kBAAkB,iBAAiB,EAAE,GACtC,SAAS;AACb,4BAA2B,eAAe,eAAe,cAAc,aAAa;AAEpF,QAAO;EACL;EACA;EACA;EACA;EACD;;AAKH,SAAS,eAAe,KAAyE;CAE/F,MAAM,EAAE,YAAY,GAAG,GAAG,SADZ;AAEd,QAAO;;AAGT,SAAgB,kBACd,OACW;CACX,MAAM,mBAAoB,MAA8C;CAExE,MAAM,WAAW,cADO,uBAAuB,MAAM,OAA0C,EAC/C,iBAAiB;CAEjE,MAAM,WAAW,eAAe,MAAM;AAQtC,QAN6B;EAC3B,GAAG;EACH;EACA,OAAO,SAAS;EACjB;;;;;ACxKH,SAAS,mBAAmB,UAAwD;AAClF,QAAO;EACL,OAAO,SAAS;EAChB,QAAQ,SAAS;EAClB;;AAGH,SAAS,sBAAsB,UAAyC;CACtE,MAAM,aAAa,IAAI,IAAI,OAAO,KAAK,SAAS,QAAQ,OAAO,CAAC;AAEhE,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,QAAQ,OAAO,EAAE;EACxE,MAAM,cAAc,IAAI,IAAI,OAAO,KAAK,MAAM,QAAQ,CAAC;AAEvD,MAAI,MAAM,YACR;QAAK,MAAM,WAAW,MAAM,WAAW,QACrC,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,GAC5E;;AAKP,OAAK,MAAM,UAAU,MAAM,QACzB,MAAK,MAAM,WAAW,OAAO,QAC3B,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,sDAAsD,QAAQ,GACnF;AAKP,OAAK,MAAM,SAAS,MAAM,QACxB,MAAK,MAAM,WAAW,MAAM,QAC1B,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MAAM,UAAU,UAAU,0CAA0C,QAAQ,GAAG;AAK/F,OAAK,MAAM,CAAC,SAAS,WAAW,OAAO,QAAQ,MAAM,QAAQ,CAC3D,KAAI,CAAC,OAAO,YAAY,OAAO,SAAS,SAAS,aAAa,OAAO,QAAQ,UAAU,KACrF,OAAM,IAAI,MACR,UAAU,UAAU,YAAY,QAAQ,8CACzC;AAIL,OAAK,MAAM,MAAM,MAAM,aAAa;AAClC,QAAK,MAAM,WAAW,GAAG,QACvB,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,GAC5E;AAIL,OAAI,CAAC,WAAW,IAAI,GAAG,WAAW,MAAM,CACtC,OAAM,IAAI,MACR,UAAU,UAAU,8CAA8C,GAAG,WAAW,MAAM,GACvF;GAGH,MAAM,kBAAkB,SAAS,QAAQ,OACvC,GAAG,WAAW;GAEhB,MAAM,wBAAwB,IAAI,IAAI,OAAO,KAAK,gBAAgB,QAAQ,CAAC;AAC3E,QAAK,MAAM,WAAW,GAAG,WAAW,QAClC,KAAI,CAAC,sBAAsB,IAAI,QAAQ,CACrC,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,cAAc,GAAG,WAAW,MAAM,GAC9G;AAIL,OAAI,GAAG,QAAQ,WAAW,GAAG,WAAW,QAAQ,OAC9C,OAAM,IAAI,MACR,UAAU,UAAU,6BAA6B,GAAG,QAAQ,OAAO,4CAA4C,GAAG,WAAW,QAAQ,OAAO,GAC7I;;;;AAMT,MAAM,sBAAsB,IAAI,IAAI,CAAC,UAAU,OAAO,CAAC;AAEvD,SAAgB,eAAe,QAAgC;CAC7D,MAAM,aAAa,OAAO,YAAY,aAAa,IAAI;AACvD,KAAI,oBAAoB,IAAI,WAAW,CAAE,QAAO;CAChD,MAAM,UAAU,OAAO,SAAS,aAAa,IAAI;AACjD,QAAO,QAAQ,SAAS,OAAO,IAAI,QAAQ,SAAS,SAAS;;AAG/D,SAAgB,0BACd,OACA,QACA,WACA,YACgC;AAChC,KAAI,iBAAiB,KACnB,QAAO;AAET,KAAI,YAAY,MAAM,CACpB,QAAO,MAAM;AAEf,KAAI,eAAe,MAAM,EAAE;AACzB,MAAI,CAAC,eAAe,OAAO,CACzB,QAAO;AAET,MAAI;AACF,UAAO,OAAO,MAAM,MAAM;UACpB;AACN,SAAM,IAAI,MACR,+CAA+C,UAAU,GAAG,WAAW,MAAM,MAAM,MAAM,0BAC1F;;;AAGL,QAAO;;AAGT,SAAgB,uBAA0D,UAAgB;CACxF,MAAM,SAAS,SAAS,QAAQ;CAChC,IAAI,gBAAgB;CACpB,MAAME,gBAA8C,EAAE;AAEtD,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,IAAI,iBAAiB;EACrB,MAAMC,iBAAgD,EAAE;AAExD,OAAK,MAAM,CAAC,YAAY,WAAW,OAAO,QAAQ,MAAM,QAAQ,EAAE;AAChE,OAAI,OAAO,SAAS,SAAS,WAAW;IACtC,MAAM,eAAe,0BACnB,OAAO,QAAQ,OACf,QACA,WACA,WACD;AACD,QAAI,iBAAiB,OAAO,QAAQ,OAAO;AACzC,sBAAiB;AACjB,oBAAe,cAAc;MAC3B,GAAG;MACH,SAAS;OAAE,MAAM;OAAW,OAAO;OAAc;MAClD;AACD;;;AAGJ,kBAAe,cAAc;;AAG/B,MAAI,gBAAgB;AAClB,mBAAgB;AAChB,iBAAc,aAAa;IAAE,GAAG;IAAO,SAAS;IAAgB;QAEhE,eAAc,aAAa;;AAI/B,KAAI,CAAC,cACH,QAAO;AAMT,QAAO;EACL,GAAG;EACH,SAAS;GACP,GAAG,SAAS;GACZ,QAAQ;GACT;EACF;;AAGH,SAAS,iBAAiB,aAA+D;CACvF,MAAM,oBAAoB,YAAY;AACtC,KAAI,CAAC,qBAAqB,OAAO,sBAAsB,SACrD,QAAO;CAET,MAAM,UAAU;CAChB,MAAM,SAAS,QAAQ;AACvB,KAAI,CAAC,OAAQ,QAAO;CAEpB,MAAMC,mBAA4C,EAAE;AACpD,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,MAAM,WAAW;EACjB,MAAM,UAAU,SAAS;AAEzB,MAAI,SAAS;GACX,MAAMC,oBAA6C,EAAE;AACrD,QAAK,MAAM,CAAC,YAAY,WAAW,OAAO,QAAQ,QAAQ,EAAE;IAC1D,MAAM,YAAY;AAClB,sBAAkB,cAAc;KAC9B,GAAG;KACH,UAAU,UAAU,eAAe;KACpC;;GAIH,MAAM,yBADkB,SAAS,kBAAkB,EAAE,EACR,KAAK,QAAQ;IACxD,GAAG;IACH,GAAG,gBAAgB;KACjB,YAAY,OAAO,GAAG,kBAAkB,YAAY,GAAG,gBAAgB;KACvE,OAAO,OAAO,GAAG,aAAa,YAAY,GAAG,WAAW;KACzD,CAAC;IACH,EAAE;AAEH,oBAAiB,aAAa;IAC5B,GAAG;IACH,SAAS;IACT,SAAS,SAAS,cAAc,EAAE;IAClC,SAAS,SAAS,cAAc,EAAE;IAClC,aAAa;IACd;QAED,kBAAiB,aAAa;;AAIlC,QAAO;EAAE,GAAG;EAAS,QAAQ;EAAkB;;AAQjD,SAAS,aAAa,QAAiD;AACrE,MAAK,MAAM,SAAS,OAAO,OAAO,OAAO,EAAE;EACzC,MAAM,SAAS,MAAM;AACrB,MAAI,CAAC,OAAQ;AACb,OAAK,MAAM,SAAS,OAAO,OAAO,OAAO,EAAE;AACzC,OAAI,YAAY,MAAO,QAAO;AAC9B,OAAI,aAAa,MAAO,QAAO;;;AAGnC,QAAO;;AAGT,SAAS,sBACP,QACA,WACwB;CACxB,MAAMC,MAA8B,EAAE;AACtC,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,MAAM,MAAM,MAAM;AAClB,MAAI,CAAC,IAAK;AACV,MAAI,OAAO,OAAO,KAAK,IAAI,CACzB,OAAM,IAAI,MACR,UAAU,UAAU,0CAA0C,IAAI,KAAK,SAAS,UAAU,wBAAwB,IAAI,GACvH;AAEH,MAAI,OAAO;;AAEb,QAAO;;AAGT,SAAS,sBACP,QACA,YACA,cAC6E;CAC7E,MAAMC,QAAgC,EAAE;CACxC,MAAMC,eAAuC,EAAE;AAE/C,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EAEvD,MAAM,YADe,MAAM,aACM;AACjC,MAAI,WAAW;AACb,OAAI,CAAC,MAAM,SACT,OAAM,aAAa;AAErB,gBAAa,aAAa;;;CAI9B,MAAMC,iBAA2C,EAAE;AAEnD,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,MAAM,SAAU,MAAM,aAAa,EAAE;EACrC,MAAM,eAAe,MAAM;EAC3B,MAAM,YAAY,eAAe;EAIjC,MAAM,kBAHe,YAChB,WAAW,OAAO,aACnB,UACmC,cAAc,EAAE;EAKvD,MAAMC,iBAA2C,EAAE;EACnD,MAAMC,qBAAyD,EAAE;EAEjE,MAAM,oBAAoB,OAAO,KAAK,eAAe,CAAC,SAAS;AAC/D,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;GACvD,MAAM,UAAU,MAAM;GACtB,MAAM,aAAa,eAAe;AAClC,OAAI,CAAC,cAAc,qBAAqB,QACtC,OAAM,IAAI,MACR,UAAU,UAAU,WAAW,UAAU,oCAAoC,QAAQ,cAAc,UAAU,GAC9G;AAEH,kBAAe,aAAa;IAC1B,GAAG;IACH,UAAU,aAAa,eAAe;IACtC,SAAS,aAAa,cAAc;IACrC;AACD,sBAAmB,aAAa,EAAE,QAAQ,SAAS;;EAGrD,MAAM,kBAAkB;GACtB,GAAI,gBAAgB,EAAE;GACtB,QAAQ;GACT;AAED,iBAAe,aAAa;GAC1B,GAAG;GACH,QAAQ;GACR,SAAS;GACT,WAAW,MAAM,gBAAgB,EAAE;GACpC;;AAGH,MAAK,MAAM,CAAC,WAAW,cAAc,OAAO,QAAQ,aAAa,EAAE;EACjE,MAAM,YAAY,aAAa;AAC/B,MAAI,CAAC,UAAW;EAChB,MAAM,gBAAgB,eAAe;AACrC,MAAI,CAAC,cAAe;EAEpB,MAAM,eAAgB,cAAc,gBAAgB,EAAE;EACtD,MAAMC,sBAA8D,EAAE;EAEtE,MAAMC,iBAA0C,EAAE,GAAG,cAAc;AACnE,OAAK,MAAM,CAAC,SAAS,QAAQ,OAAO,QAAQ,UAAU,EAAE;GACtD,MAAM,KAAK,IAAI;GACf,MAAM,aAAa,KAAK,iBAAiB,EAAE;GAC3C,MAAM,YAAY,KAAK,gBAAgB,EAAE;GAEzC,MAAM,UAAU,IAAI;GAEpB,MAAM,mBAAmB,sBADH,cAAc,aAAa,EAAE,EACU,UAAU;AAEvE,OAAI,CAAC,oBAAoB,UAAU;IACjC,MAAM,iBAAiB,eAAe;AACtC,QAAI,eACF,qBAAoB,WAAW,sBAC5B,eAAe,aAAa,EAAE,EAC/B,QACD;QAED,qBAAoB,WAAW,EAAE;;GAGrC,MAAM,mBAAmB,oBAAoB,YAAY,EAAE;GAG3D,MAAM,cAAc,WAAW,KAAK,MAAc,iBAAiB,MAAM,EAAE;GAC3E,MAAM,eAAe,UAAU,KAAK,MAAc,iBAAiB,MAAM,EAAE;AAE3E,kBAAe,WAAW;IACxB,IAAI;IACJ,aAAa,IAAI;IACjB,IAAI;KAAE;KAAa;KAAc;IAClC;;AAGH,iBAAe,aAAa;GAC1B,GAAG;GACH,WAAW;GACZ;;AAGH,QAAO;EAAE;EAAgB;EAAO;;AAGlC,SAAS,sBAAsB,QAG7B;CACA,MAAMJ,iBAA2C,EAAE;CACnD,MAAMK,eAAwD,EAAE;CAChE,MAAMC,eAAuC,EAAE;AAE/C,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EAEvD,MAAM,YADe,MAAM,aACM;AACjC,MAAI,UAAW,cAAa,aAAa;;AAG3C,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,MAAM,SAAU,MAAM,aAAa,EAAE;EAErC,MAAM,gBADe,MAAM,aACW,aAAa,EAAE;EAKrD,MAAML,iBAA2C,EAAE;AACnD,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;GAEvD,MAAM,SADU,cAAc,aACL;AACzB,kBAAe,aAAa,SAAS;IAAE,GAAG;IAAO;IAAQ,GAAG,EAAE,GAAG,OAAO;;AAG1E,iBAAe,aAAa;GAC1B,GAAG;GACH,QAAQ;GACR,WAAW,MAAM,gBAAgB,EAAE;GACpC;EAED,MAAM,YAAa,MAAM,gBAAgB,EAAE;EAC3C,MAAM,YAAY,aAAa;AAC/B,MAAI,CAAC,UAAW;AAEhB,OAAK,MAAM,CAAC,SAAS,QAAQ,OAAO,QAAQ,UAAU,EAAE;GACtD,MAAM,KAAK,IAAI;AACf,OAAI,CAAC,GAAI;GACT,MAAM,UAAU,IAAI;AAEpB,OAAI,CADY,aAAa,SACf;GAEd,MAAM,eAAe;GACrB,MAAM,iBAAiB,OAAO;GAC9B,MAAM,eAAgB,iBAAiB,aAAa,EAAE;GAEtD,MAAM,uBADmB,iBAAiB,cACM,aAAa,EAAE;GAK/D,MAAM,cAAc,GAAG,eAAe,EAAE,EAAE,KAAK,MAAc;AAE3D,WADW,cAAc,KAEjB,aACL,aAAa,KAAK,aACnB;KAEF;GAEF,MAAM,aAAa,GAAG,gBAAgB,EAAE,EAAE,KAAK,MAAc;AAE3D,WADY,oBAAoB,KAEvB,aACN,aAAa,KAAK,aACnB;KAEF;AAEF,OAAI,CAAC,aAAa,WAAY,cAAa,aAAa,EAAE;AAC1D,gBAAa,WAAW,WAAW;IACjC,IAAI;IACJ,aAAa,IAAI;IACjB,IAAI;KAAE;KAAY;KAAW;IAC9B;;;AAIL,QAAO;EAAE;EAAgB;EAAc;;AAGzC,SAAgB,kBAAkB,UAA4C;AAC5E,KAAI,OAAO,aAAa,YAAY,aAAa,KAC/C,QAAO;CAGT,MAAM,cAAc;CACpB,MAAM,oBAAoB,iBAAiB,YAAY;CAEvD,MAAM,YAAY,YAAY;AAC9B,KAAI,CAAC,aAAa,OAAO,cAAc,YAAY,cAAc,KAC/D,QAAO;EACL,GAAG;EACH,OAAO,YAAY,YAAY,EAAE;EACjC,QAAQ,aAAa,EAAE;EACvB,WAAW,YAAY,gBAAgB,EAAE;EACzC,SAAS;EACT,gBAAgB,YAAY,qBAAqB,EAAE;EACnD,cAAc,YAAY,mBAAmB,EAAE;EAC/C,MAAM,YAAY,WAAW,EAAE;EAC/B,SAAS,YAAY,cAAc,EAAE;EACtC;CAGH,MAAM,YAAY;CAClB,MAAM,SAAS,aAAa,UAAU;CAEtC,IAAIM;CACJ,IAAIT;CACJ,IAAIO;AAEJ,KAAI,WAAW,OAAO;EACpB,MAAM,SAAS,sBAAsB,UAAU;AAC/C,qBAAmB,OAAO;AAC1B,iBAAe;GACb,GAAK,YAAY,gBAAgB,EAAE;GACnC,GAAG,OAAO;GACX;AACD,UAAS,YAAY,YAAuC,EAAE;QACzD;EAKL,MAAM,aAAa,EACjB,SAJA,qBAAqB,OAAO,sBAAsB,WAC7C,oBACD,EAAE,EAE8C,aAAa,EAAE,EAIpE;EACD,MAAM,oBAAqB,YAAY,gBAAgB,EAAE;EAIzD,MAAM,SAAS,sBAAsB,WAAW,YAAY,kBAAkB;AAC9E,qBAAmB,OAAO;AAC1B,UAAQ,OAAO;AACf,iBAAe;;AAGjB,QAAO;EACL,GAAG;EACH;EACA,QAAQ;EACR,WAAW;EACX,SAAS;EACT,gBAAgB,YAAY,qBAAqB,EAAE;EACnD,cAAc,YAAY,mBAAmB,EAAE;EAC/C,MAAM,YAAY,WAAW,EAAE;EAC/B,SAAS,YAAY,cAAc,EAAE;EACtC;;AAGH,SAAgB,iBACd,OACW;CAGX,MAAM,oBAAoB,oBAFP,kBAAkB,MAAM,CAEuC;AAElF,wBAAuB,mBAAmB,kBAAkB,CAAC;AAE7D,uBAAsB,kBAAkB;CAExC,MAAM,iBAAiB,yBAAyB,kBAAkB,QAAQ;AAC1E,KAAI,eAAe,SAAS,EAC1B,OAAM,IAAI,MAAM,wCAAwC,eAAe,KAAK,KAAK,GAAG;AAItF,QAAO,uBADa,kBAA6B,kBAAkB,CACzB"}