@prisma-next/sql-contract 0.3.0-dev.73 → 0.3.0-dev.74

package/README.md

@@ -122,10 +122,15 @@ import { validateContract } from '@prisma-next/sql-contract/validate';
 const contract = validateContract<Contract>(contractJson);
 ```
 
+`validateContract` returns a constructed contract that:
+- Computes runtime-real `mappings` (modelToTable, tableToModel, fieldToColumn, columnToField) from models/storage
+- Strips `_generated` if present on input (emitter metadata is excluded from the returned value)
+- Does not require execution stack or runtime descriptors
+
 Mapping overrides in `contract.mappings` follow strict pair semantics:
 - `modelToTable` and `tableToModel` must either both be omitted (auto-computed) or both be provided as inverse maps.
 - `fieldToColumn` and `columnToField` must either both be omitted (auto-computed) or both be provided as inverse maps.
-- `codecTypes` and `operationTypes` are merged additively on top of defaults.
+- Codec and operation type maps are type-only (phantom channel) and are not present at runtime.
 
 ### Factories
 

package/dist/factories.d.mts

@@ -1,4 +1,4 @@
-import { _ as StorageColumn, a as ForeignKey, b as UniqueConstraint, c as Index, f as PrimaryKey, g as SqlStorage, h as SqlMappings, l as ModelDefinition, m as SqlContract, o as ForeignKeyOptions, u as ModelField, v as StorageTable } from "./types-BaAbD2Bc.mjs";
+import { C as StorageColumn, O as UniqueConstraint, S as SqlStorage, b as SqlContract, c as ForeignKey, d as Index, f as ModelDefinition, g as PrimaryKey, l as ForeignKeyOptions, p as ModelField, w as StorageTable, x as SqlMappings } from "./types-CcCSXOlR.mjs";
 import { ExecutionHashBase, ProfileHashBase, StorageHashBase } from "@prisma-next/contract/types";
 
 //#region src/factories.d.ts

package/dist/factories.mjs

@@ -1,4 +1,4 @@
-import { r as applyFkDefaults } from "./types-kacOgEya.mjs";
+import { r as applyFkDefaults } from "./types-DRR5stkj.mjs";
 
 //#region src/factories.ts
 /**

package/dist/{types-BaAbD2Bc.d.mts → types-CcCSXOlR.d.mts}

@@ -119,17 +119,9 @@ type SqlMappings = {
   readonly tableToModel?: Record<string, string>;
   readonly fieldToColumn?: Record<string, Record<string, string>>;
   readonly columnToField?: Record<string, Record<string, string>>;
-  readonly codecTypes: Record<string, {
-    readonly output: unknown;
-  }>;
-  readonly operationTypes: Record<string, Record<string, unknown>>;
 };
 declare const DEFAULT_FK_CONSTRAINT = true;
 declare const DEFAULT_FK_INDEX = true;
-/**
- * Resolves foreign key `constraint` and `index` fields to their effective boolean values,
- * falling back through optional override defaults, then to the global defaults.
- */
 declare function applyFkDefaults(fk: {
   constraint?: boolean | undefined;
   index?: boolean | undefined;
@@ -140,6 +132,22 @@ declare function applyFkDefaults(fk: {
   constraint: boolean;
   index: boolean;
 };
+type TypeMaps<TCodecTypes extends Record<string, {
+  output: unknown;
+}> = Record<string, never>, TOperationTypes extends Record<string, unknown> = Record<string, never>> = {
+  readonly codecTypes: TCodecTypes;
+  readonly operationTypes: TOperationTypes;
+};
+type CodecTypesOf<T> = [T] extends [never] ? Record<string, never> : T extends {
+  readonly codecTypes: infer C;
+} ? C extends Record<string, {
+  output: unknown;
+}> ? C : Record<string, never> : Record<string, never>;
+type OperationTypesOf<T> = [T] extends [never] ? Record<string, never> : T extends {
+  readonly operationTypes: infer O;
+} ? O extends Record<string, unknown> ? O : 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> & {
   readonly targetFamily: string;
   readonly storage: S;
@@ -148,8 +156,11 @@ type SqlContract<S extends SqlStorage = SqlStorage, M extends Record<string, unk
   readonly mappings: Map;
   readonly execution?: ExecutionSection;
 };
-type ExtractCodecTypes<TContract extends SqlContract<SqlStorage>> = TContract['mappings']['codecTypes'];
-type ExtractOperationTypes<TContract extends SqlContract<SqlStorage>> = TContract['mappings']['operationTypes'];
+type ExtractTypeMapsFromContract<T> = TypeMapsPhantomKey extends keyof T ? NonNullable<T[TypeMapsPhantomKey & keyof T]> : never;
+type ExtractCodecTypes<T> = CodecTypesOf<ExtractTypeMapsFromContract<T>>;
+type ExtractOperationTypes<T> = OperationTypesOf<ExtractTypeMapsFromContract<T>>;
+type ResolveCodecTypes<TContract, TTypeMaps> = [TTypeMaps] extends [never] ? ExtractCodecTypes<TContract> : CodecTypesOf<TTypeMaps>;
+type ResolveOperationTypes<TContract, TTypeMaps> = [TTypeMaps] extends [never] ? ExtractOperationTypes<TContract> : OperationTypesOf<TTypeMaps>;
 //#endregion
-export { StorageColumn as _, ForeignKey as a, UniqueConstraint as b, Index as c, ModelStorage as d, PrimaryKey as f, SqlStorage as g, SqlMappings as h, ExtractOperationTypes as i, ModelDefinition as l, SqlContract as m, DEFAULT_FK_INDEX as n, ForeignKeyOptions as o, ReferentialAction as p, ExtractCodecTypes as r, ForeignKeyReferences as s, DEFAULT_FK_CONSTRAINT as t, ModelField as u, StorageTable as v, applyFkDefaults as x, StorageTypeInstance as y };
-//# sourceMappingURL=types-BaAbD2Bc.d.mts.map
+export { StorageColumn as C, TypeMapsPhantomKey as D, TypeMaps as E, UniqueConstraint as O, SqlStorage as S, StorageTypeInstance as T, ReferentialAction as _, ExtractCodecTypes as a, SqlContract as b, ForeignKey as c, Index as d, ModelDefinition as f, PrimaryKey as g, OperationTypesOf as h, DEFAULT_FK_INDEX as i, applyFkDefaults as k, ForeignKeyOptions as l, ModelStorage as m, ContractWithTypeMaps as n, ExtractOperationTypes as o, ModelField as p, DEFAULT_FK_CONSTRAINT as r, ExtractTypeMapsFromContract as s, CodecTypesOf as t, ForeignKeyReferences as u, ResolveCodecTypes as v, StorageTable as w, SqlMappings as x, ResolveOperationTypes as y };
+//# sourceMappingURL=types-CcCSXOlR.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types-CcCSXOlR.d.mts","names":[],"sources":["../src/types.ts"],"sourcesContent":[],"mappings":";;;;;;AAgBA;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;AAG5B;;;;EAG2B,SAAA,KAAA,CAAA,EAAA,MAAA;EACe;;;EAG7B,SAAA,MAAA,CAAA,EAlFO,MAkFc,CAAA,MAAA,EAAA,OAAA,CAAA;AAClC,CAAA;AAEgB,KAlFJ,oBAAA,GAkFmB;EAUnB,SAAA,KAAQ,EAAA,MAAA;EACE,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;CAAsC;AAClC,KAzFd,iBAAA,GAyFc,UAAA,GAAA,UAAA,GAAA,SAAA,GAAA,SAAA,GAAA,YAAA;AAA0B,KAvFxC,iBAAA,GAuFwC;EAE7B,SAAA,IAAA,CAAA,EAAA,MAAA;EACI,SAAA,QAAA,CAAA,EAxFL,iBAwFK;EAAe,SAAA,QAAA,CAAA,EAvFpB,iBAuFoB;AAG1C,CAAA;AAA+B,KAvFnB,UAAA,GAuFmB;EAC3B,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;EACA,SAAA,UAAA,EAvFmB,oBAuFnB;EACY,SAAA,IAAA,CAAA,EAAA,MAAA;EAER,SAAA,QAAA,CAAA,EAxFc,iBAwFd;EACF,SAAA,QAAA,CAAA,EAxFgB,iBAwFhB;EAAM;EAEA,SAAA,UAAgB,EAAA,OAAA;EAAO;EAC/B,SAAA,KAAA,EAAA,OAAA;CACA;AACY,KAtFJ,YAAA,GAsFI;EAER,SAAA,OAAA,EAvFY,MAuFZ,CAAA,MAAA,EAvF2B,aAuF3B,CAAA;EACF,SAAA,UAAA,CAAA,EAvFkB,UAuFlB;EAAM,SAAA,OAAA,EAtFQ,aAsFR,CAtFsB,gBAsFtB,CAAA;EAEA,SAAA,OAAA,EAvFQ,aAuFU,CAvFI,KAuFJ,CAAA;EAElB,SAAA,WAAA,EAxFY,aAwFQ,CAxFM,UAwFN,CAAA;CAAyB;;;;AAIzD;;;;;;;AAIc,KAnFF,mBAAA,GAmFE;EAAc,SAAA,OAAA,EAAA,MAAA;EACL,SAAA,UAAA,EAAA,MAAA;EAA0B,SAAA,UAAA,EAjF1B,MAiF0B,CAAA,MAAA,EAAA,OAAA,CAAA;CACxB;AAA4B,KA/EzC,UAAA,GA+EyC;EAC9B,SAAA,MAAA,EA/EJ,MA+EI,CAAA,MAAA,EA/EW,YA+EX,CAAA;EAA0B;;;;EAC7C,SAAA,KAAA,CAAA,EA3Ee,MA2Ef,CAAA,MAAA,EA3E8B,mBA2E9B,CAAA;CAEgB;AACD,KA3EP,UAAA,GA2EO;EACG,SAAA,MAAA,EAAA,MAAA;CACD;AACE,KA1EX,YAAA,GA0EW;EAAgB,SAAA,KAAA,EAAA,MAAA;AAGvC,CAAA;AAA6C,KAzEjC,eAAA,GAyEiC;EAAiC,SAAA,OAAA,EAxE1D,YAwE0D;EAC9D,SAAA,MAAA,EAxEG,MAwEH,CAAA,MAAA,EAxEkB,UAwElB,CAAA;EAAE,SAAA,SAAA,EAvEI,MAuEJ,CAAA,MAAA,EAAA,OAAA,CAAA;CAA2B;AAAzC,KApEQ,WAAA,GAoER;EAAW,SAAA,YAAA,CAAA,EAnEW,MAmEX,CAAA,MAAA,EAAA,MAAA,CAAA;EAGH,SAAA,YAAiB,CAAA,EArEH,MAqEG,CAAA,MAAA,EAAA,MAAA,CAAA;EAA+C,SAAA,aAAA,CAAA,EApEjD,MAoEiD,CAAA,MAAA,EApElC,MAoEkC,CAAA,MAAA,EAAA,MAAA,CAAA,CAAA;EAA5B,SAAA,aAAA,CAAA,EAnErB,MAmEqB,CAAA,MAAA,EAnEN,MAmEM,CAAA,MAAA,EAAA,MAAA,CAAA,CAAA;CAAb;AAAY,cAhElC,qBAAA,GAgEkC,IAAA;AACnC,cAhEC,gBAAA,GAgEoB,IAAA;AAAmD,iBA9DpE,eAAA,CA8DoE,EAAA,EAAA;EAA5B,UAAA,CAAA,EAAA,OAAA,GAAA,SAAA;EAAjB,KAAA,CAAA,EAAA,OAAA,GAAA,SAAA;CAAgB,EAAA,gBAGjC,CAHiC,EAAA;EAE3C,UAAA,CAAA,EAAA,OAAiB,GAAA,SAAA;EAA0B,KAAA,CAAA,EAAA,OAAA,GAAA,SAAA;CACjC,CAAA,EAAA;EAAlB,UAAA,EAAA,OAAA;EACa,KAAA,EAAA,OAAA;CAAb;AAAY,KAxDJ,QAwDI,CAAA,oBAvDM,MAuDN,CAAA,MAAA,EAAA;EAEJ,MAAA,EAAA,OAAA;CAA+C,CAAA,GAzDC,MAyDD,CAAA,MAAA,EAAA,KAAA,CAAA,EAAA,wBAxDjC,MAwDiC,CAAA,MAAA,EAAA,OAAA,CAAA,GAxDP,MAwDO,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA,GAAA;EACjC,SAAA,UAAA,EAvDH,WAuDG;EAAtB,SAAA,cAAA,EAtDuB,eAsDvB;CACiB;AAAjB,KApDQ,YAoDR,CAAA,CAAA,CAAA,GAAA,CApD2B,CAoD3B,CAAA,SAAA,CAAA,KAAA,CAAA,GAnDA,MAmDA,CAAA,MAAA,EAAA,KAAA,CAAA,GAlDA,CAkDA,SAAA;EAAgB,SAAA,UAAA,EAAA,KAAA,EAAA;cAjDJ;;SAER,wBACF;KAEM,uBAAuB,qBAC/B,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;;oBAE3B;mBACD;sBACG;qBACD;uBACE;;KAGX,iCAAiC,iCAAiC,IAC1E,YAAY,EAAE,2BAA2B;KAGjC,uBAAuB,aAAa,4BAA4B;KAChE,2BAA2B,iBAAiB,4BAA4B;KAExE,2CAA2C,6BACnD,kBAAkB,aAClB,aAAa;KAEL,+CAA+C,6BACvD,sBAAsB,aACtB,iBAAiB"}

package/dist/{types-kacOgEya.mjs → types-DRR5stkj.mjs}

@@ -1,10 +1,6 @@
 //#region src/types.ts
 const DEFAULT_FK_CONSTRAINT = true;
 const DEFAULT_FK_INDEX = true;
-/**
-* Resolves foreign key `constraint` and `index` fields to their effective boolean values,
-* falling back through optional override defaults, then to the global defaults.
-*/
 function applyFkDefaults(fk, overrideDefaults) {
 	return {
 		constraint: fk.constraint ?? overrideDefaults?.constraint ?? DEFAULT_FK_CONSTRAINT,
@@ -14,4 +10,4 @@ function applyFkDefaults(fk, overrideDefaults) {
 
 //#endregion
 export { DEFAULT_FK_INDEX as n, applyFkDefaults as r, DEFAULT_FK_CONSTRAINT as t };
-//# sourceMappingURL=types-kacOgEya.mjs.map
+//# sourceMappingURL=types-DRR5stkj.mjs.map

package/dist/{types-kacOgEya.mjs.map → types-DRR5stkj.mjs.map}

@@ -1 +1 @@
-{"version":3,"file":"types-kacOgEya.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  readonly codecTypes: Record<string, { readonly output: unknown }>;\n  readonly operationTypes: Record<string, Record<string, unknown>>;\n};\n\nexport const DEFAULT_FK_CONSTRAINT = true;\nexport const DEFAULT_FK_INDEX = true;\n\n/**\n * Resolves foreign key `constraint` and `index` fields to their effective boolean values,\n * falling back through optional override defaults, then to the global defaults.\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 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 ExtractCodecTypes<TContract extends SqlContract<SqlStorage>> =\n  TContract['mappings']['codecTypes'];\n\nexport type ExtractOperationTypes<TContract extends SqlContract<SqlStorage>> =\n  TContract['mappings']['operationTypes'];\n"],"mappings":";AAgJA,MAAa,wBAAwB;AACrC,MAAa,mBAAmB;;;;;AAMhC,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  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> = {\n  readonly codecTypes: TCodecTypes;\n  readonly operationTypes: TOperationTypes;\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 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>>;\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"}

package/dist/types.d.mts

@@ -1,2 +1,2 @@
-import { _ as StorageColumn, a as ForeignKey, b as UniqueConstraint, c as Index, d as ModelStorage, f as PrimaryKey, g as SqlStorage, h as SqlMappings, i as ExtractOperationTypes, l as ModelDefinition, m as SqlContract, n as DEFAULT_FK_INDEX, o as ForeignKeyOptions, p as ReferentialAction, r as ExtractCodecTypes, s as ForeignKeyReferences, t as DEFAULT_FK_CONSTRAINT, u as ModelField, v as StorageTable, x as applyFkDefaults, y as StorageTypeInstance } from "./types-BaAbD2Bc.mjs";
-export { DEFAULT_FK_CONSTRAINT, DEFAULT_FK_INDEX, type ExtractCodecTypes, type ExtractOperationTypes, type ForeignKey, type ForeignKeyOptions, type ForeignKeyReferences, type Index, type ModelDefinition, type ModelField, type ModelStorage, type PrimaryKey, type ReferentialAction, type SqlContract, type SqlMappings, type SqlStorage, type StorageColumn, type StorageTable, type StorageTypeInstance, type UniqueConstraint, applyFkDefaults };
+import { C as StorageColumn, D as TypeMapsPhantomKey, E as TypeMaps, O as UniqueConstraint, S as SqlStorage, T as StorageTypeInstance, _ as ReferentialAction, a as ExtractCodecTypes, b as SqlContract, c as ForeignKey, d as Index, f as ModelDefinition, g as PrimaryKey, h as OperationTypesOf, i as DEFAULT_FK_INDEX, k as applyFkDefaults, l as ForeignKeyOptions, m as ModelStorage, n as ContractWithTypeMaps, o as ExtractOperationTypes, p as ModelField, r as DEFAULT_FK_CONSTRAINT, s as ExtractTypeMapsFromContract, t as CodecTypesOf, u as ForeignKeyReferences, v as ResolveCodecTypes, w as StorageTable, x as SqlMappings, y as ResolveOperationTypes } from "./types-CcCSXOlR.mjs";
+export { type CodecTypesOf, type ContractWithTypeMaps, DEFAULT_FK_CONSTRAINT, DEFAULT_FK_INDEX, type ExtractCodecTypes, type ExtractOperationTypes, type ExtractTypeMapsFromContract, type ForeignKey, type ForeignKeyOptions, type ForeignKeyReferences, type Index, type ModelDefinition, type ModelField, type ModelStorage, type OperationTypesOf, type PrimaryKey, type ReferentialAction, type ResolveCodecTypes, type ResolveOperationTypes, type SqlContract, type SqlMappings, type SqlStorage, type StorageColumn, type StorageTable, type StorageTypeInstance, type TypeMaps, type TypeMapsPhantomKey, type UniqueConstraint, applyFkDefaults };

package/dist/types.mjs

@@ -1,3 +1,3 @@
-import { n as DEFAULT_FK_INDEX, r as applyFkDefaults, t as DEFAULT_FK_CONSTRAINT } from "./types-kacOgEya.mjs";
+import { n as DEFAULT_FK_INDEX, r as applyFkDefaults, t as DEFAULT_FK_CONSTRAINT } from "./types-DRR5stkj.mjs";
 
 export { DEFAULT_FK_CONSTRAINT, DEFAULT_FK_INDEX, applyFkDefaults };

package/dist/validate.d.mts

@@ -1,4 +1,4 @@
-import { _ as StorageColumn, g as SqlStorage, m as SqlContract } from "./types-BaAbD2Bc.mjs";
+import { C as StorageColumn, S as SqlStorage, b as SqlContract } from "./types-CcCSXOlR.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":";;;;iBA6PgB,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":";;;;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"}

package/dist/validate.mjs

@@ -1,8 +1,8 @@
-import { r as applyFkDefaults } from "./types-kacOgEya.mjs";
+import { r as applyFkDefaults } from "./types-DRR5stkj.mjs";
 import { d as validateStorageSemantics, l as validateSqlContract } from "./validators-CQXvLZa7.mjs";
 import { isTaggedBigInt, isTaggedRaw } from "@prisma-next/contract/types";
 
-//#region src/validate.ts
+//#region src/construct.ts
 function computeDefaultMappings(models) {
 	const modelToTable = {};
 	const tableToModel = {};
@@ -25,9 +25,7 @@ function computeDefaultMappings(models) {
 		modelToTable,
 		tableToModel,
 		fieldToColumn,
-		columnToField,
-		codecTypes: {},
-		operationTypes: {}
+		columnToField
 	};
 }
 function assertInverseModelMappings(modelToTable, tableToModel) {
@@ -67,17 +65,24 @@ function mergeMappings(defaults, existingMappings) {
 		modelToTable,
 		tableToModel,
 		fieldToColumn,
-		columnToField,
-		codecTypes: {
-			...defaults.codecTypes,
-			...existingMappings?.codecTypes ?? {}
-		},
-		operationTypes: {
-			...defaults.operationTypes,
-			...existingMappings?.operationTypes ?? {}
-		}
+		columnToField
 	};
 }
+function stripGenerated(obj) {
+	const { _generated: _, ...rest } = obj;
+	return rest;
+}
+function constructContract(input) {
+	const existingMappings = input.mappings;
+	const mappings = mergeMappings(computeDefaultMappings(input.models), existingMappings);
+	return {
+		...stripGenerated(input),
+		mappings
+	};
+}
+
+//#endregion
+//#region src/validate.ts
 function validateContractLogic(contract) {
 	const tableNames = new Set(Object.keys(contract.storage.tables));
 	for (const [tableName, table] of Object.entries(contract.storage.tables)) {
@@ -231,12 +236,7 @@ function validateContract(value) {
 	validateContractLogic(structurallyValid);
 	const semanticErrors = validateStorageSemantics(structurallyValid.storage);
 	if (semanticErrors.length > 0) throw new Error(`Contract semantic validation failed: ${semanticErrors.join("; ")}`);
-	const existingMappings = structurallyValid.mappings;
-	const mappings = mergeMappings(computeDefaultMappings(structurallyValid.models), existingMappings);
-	return decodeContractDefaults({
-		...structurallyValid,
-		mappings
-	});
+	return decodeContractDefaults(constructContract(structurallyValid));
 }
 
 //#endregion

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/validate.ts"],"sourcesContent":["import type { ColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';\nimport { isTaggedBigInt, isTaggedRaw } from '@prisma-next/contract/types';\nimport type {\n  ModelDefinition,\n  SqlContract,\n  SqlMappings,\n  SqlStorage,\n  StorageColumn,\n  StorageTable,\n} from './types';\nimport { applyFkDefaults } from './types';\nimport { validateSqlContract, validateStorageSemantics } from './validators';\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  codecTypes: Record<string, { readonly output: unknown }>;\n  operationTypes: Record<string, Record<string, unknown>>;\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    codecTypes: {},\n    operationTypes: {},\n  };\n}\n\nfunction assertInverseModelMappings(\n  modelToTable: Record<string, string>,\n  tableToModel: Record<string, string>,\n) {\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) {\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    codecTypes: { ...defaults.codecTypes, ...(existingMappings?.codecTypes ?? {}) },\n    operationTypes: { ...defaults.operationTypes, ...(existingMappings?.operationTypes ?? {}) },\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\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 existingMappings = (structurallyValid as { mappings?: Partial<SqlMappings> }).mappings;\n  const defaultMappings = computeDefaultMappings(\n    structurallyValid.models as Record<string, ModelDefinition>,\n  );\n  const mappings = mergeMappings(defaultMappings, existingMappings);\n\n  const contractWithMappings = {\n    ...structurallyValid,\n    mappings,\n  };\n\n  return decodeContractDefaults(contractWithMappings) as TContract;\n}\n"],"mappings":";;;;;AAsBA,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;EACA,YAAY,EAAE;EACd,gBAAgB,EAAE;EACnB;;AAGH,SAAS,2BACP,cACA,cACA;AACA,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,cACA;AACA,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;EACA,YAAY;GAAE,GAAG,SAAS;GAAY,GAAI,kBAAkB,cAAc,EAAE;GAAG;EAC/E,gBAAgB;GAAE,GAAG,SAAS;GAAgB,GAAI,kBAAkB,kBAAkB,EAAE;GAAG;EAC5F;;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,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;CAGtF,MAAM,mBAAoB,kBAA0D;CAIpF,MAAM,WAAW,cAHO,uBACtB,kBAAkB,OACnB,EAC+C,iBAAiB;AAOjE,QAAO,uBALsB;EAC3B,GAAG;EACH;EACD,CAEkD"}
+{"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"}

package/dist/validators.d.mts

@@ -1,4 +1,4 @@
-import { a as ForeignKey, g as SqlStorage, l as ModelDefinition, m as SqlContract, p as ReferentialAction, s as ForeignKeyReferences } from "./types-BaAbD2Bc.mjs";
+import { S as SqlStorage, _ as ReferentialAction, b as SqlContract, c as ForeignKey, f as ModelDefinition, u as ForeignKeyReferences } from "./types-CcCSXOlR.mjs";
 import * as arktype_internal_variants_object_ts0 from "arktype/internal/variants/object.ts";
 import * as arktype_internal_variants_string_ts0 from "arktype/internal/variants/string.ts";
 

package/package.json

@@ -1,19 +1,19 @@
 {
   "name": "@prisma-next/sql-contract",
-  "version": "0.3.0-dev.73",
+  "version": "0.3.0-dev.74",
   "type": "module",
   "sideEffects": false,
   "description": "SQL contract types, validators, and IR factories for Prisma Next",
   "dependencies": {
     "arktype": "^2.1.25",
-    "@prisma-next/contract": "0.3.0-dev.73"
+    "@prisma-next/contract": "0.3.0-dev.74"
   },
   "devDependencies": {
     "tsdown": "0.18.4",
     "typescript": "5.9.3",
     "vitest": "4.0.17",
-    "@prisma-next/tsconfig": "0.0.0",
     "@prisma-next/test-utils": "0.0.1",
+    "@prisma-next/tsconfig": "0.0.0",
     "@prisma-next/tsdown": "0.0.0"
   },
   "files": [

package/src/construct.ts

@@ -0,0 +1,178 @@
+import type { ModelDefinition, SqlContract, SqlMappings, SqlStorage } from './types';
+
+type ResolvedMappings = {
+  modelToTable: Record<string, string>;
+  tableToModel: Record<string, string>;
+  fieldToColumn: Record<string, Record<string, string>>;
+  columnToField: Record<string, Record<string, string>>;
+};
+
+function computeDefaultMappings(models: Record<string, ModelDefinition>): ResolvedMappings {
+  const modelToTable: Record<string, string> = {};
+  const tableToModel: Record<string, string> = {};
+  const fieldToColumn: Record<string, Record<string, string>> = {};
+  const columnToField: Record<string, Record<string, string>> = {};
+
+  for (const [modelName, model] of Object.entries(models)) {
+    const tableName = model.storage.table;
+    modelToTable[modelName] = tableName;
+    tableToModel[tableName] = modelName;
+
+    const modelFieldToColumn: Record<string, string> = {};
+    for (const [fieldName, field] of Object.entries(model.fields)) {
+      const columnName = field.column;
+      modelFieldToColumn[fieldName] = columnName;
+      if (!columnToField[tableName]) {
+        columnToField[tableName] = {};
+      }
+      columnToField[tableName][columnName] = fieldName;
+    }
+
+    fieldToColumn[modelName] = modelFieldToColumn;
+  }
+
+  return {
+    modelToTable,
+    tableToModel,
+    fieldToColumn,
+    columnToField,
+  };
+}
+
+function assertInverseModelMappings(
+  modelToTable: Record<string, string>,
+  tableToModel: Record<string, string>,
+): void {
+  for (const [model, table] of Object.entries(modelToTable)) {
+    if (tableToModel[table] !== model) {
+      throw new Error(
+        `Mappings override mismatch: modelToTable.${model}="${table}" is not mirrored in tableToModel`,
+      );
+    }
+  }
+  for (const [table, model] of Object.entries(tableToModel)) {
+    if (modelToTable[model] !== table) {
+      throw new Error(
+        `Mappings override mismatch: tableToModel.${table}="${model}" is not mirrored in modelToTable`,
+      );
+    }
+  }
+}
+
+function assertInverseFieldMappings(
+  fieldToColumn: Record<string, Record<string, string>>,
+  columnToField: Record<string, Record<string, string>>,
+  modelToTable: Record<string, string>,
+  tableToModel: Record<string, string>,
+): void {
+  for (const [model, fields] of Object.entries(fieldToColumn)) {
+    const table = modelToTable[model];
+    if (!table) {
+      throw new Error(
+        `Mappings override mismatch: fieldToColumn references unknown model "${model}"`,
+      );
+    }
+    const reverseFields = columnToField[table];
+    if (!reverseFields) {
+      throw new Error(
+        `Mappings override mismatch: columnToField is missing table "${table}" for model "${model}"`,
+      );
+    }
+    for (const [field, column] of Object.entries(fields)) {
+      if (reverseFields[column] !== field) {
+        throw new Error(
+          `Mappings override mismatch: fieldToColumn.${model}.${field}="${column}" is not mirrored in columnToField.${table}`,
+        );
+      }
+    }
+  }
+
+  for (const [table, columns] of Object.entries(columnToField)) {
+    const model = tableToModel[table];
+    if (!model) {
+      throw new Error(
+        `Mappings override mismatch: columnToField references unknown table "${table}"`,
+      );
+    }
+    const forwardFields = fieldToColumn[model];
+    if (!forwardFields) {
+      throw new Error(
+        `Mappings override mismatch: fieldToColumn is missing model "${model}" for table "${table}"`,
+      );
+    }
+    for (const [column, field] of Object.entries(columns)) {
+      if (forwardFields[field] !== column) {
+        throw new Error(
+          `Mappings override mismatch: columnToField.${table}.${column}="${field}" is not mirrored in fieldToColumn.${model}`,
+        );
+      }
+    }
+  }
+}
+
+function mergeMappings(
+  defaults: ResolvedMappings,
+  existingMappings?: Partial<SqlMappings>,
+): ResolvedMappings {
+  const hasModelToTable = existingMappings?.modelToTable !== undefined;
+  const hasTableToModel = existingMappings?.tableToModel !== undefined;
+  if (hasModelToTable !== hasTableToModel) {
+    throw new Error(
+      'Mappings override mismatch: modelToTable and tableToModel must be provided together',
+    );
+  }
+
+  const hasFieldToColumn = existingMappings?.fieldToColumn !== undefined;
+  const hasColumnToField = existingMappings?.columnToField !== undefined;
+  if (hasFieldToColumn !== hasColumnToField) {
+    throw new Error(
+      'Mappings override mismatch: fieldToColumn and columnToField must be provided together',
+    );
+  }
+
+  const modelToTable: Record<string, string> = hasModelToTable
+    ? (existingMappings?.modelToTable ?? {})
+    : defaults.modelToTable;
+  const tableToModel: Record<string, string> = hasTableToModel
+    ? (existingMappings?.tableToModel ?? {})
+    : defaults.tableToModel;
+  assertInverseModelMappings(modelToTable, tableToModel);
+
+  const fieldToColumn: Record<string, Record<string, string>> = hasFieldToColumn
+    ? (existingMappings?.fieldToColumn ?? {})
+    : defaults.fieldToColumn;
+  const columnToField: Record<string, Record<string, string>> = hasColumnToField
+    ? (existingMappings?.columnToField ?? {})
+    : defaults.columnToField;
+  assertInverseFieldMappings(fieldToColumn, columnToField, modelToTable, tableToModel);
+
+  return {
+    modelToTable,
+    tableToModel,
+    fieldToColumn,
+    columnToField,
+  };
+}
+
+type ValidatedContractInput = SqlContract<SqlStorage> & { _generated?: unknown };
+
+function stripGenerated(obj: ValidatedContractInput): Omit<ValidatedContractInput, '_generated'> {
+  const input = obj as unknown as Record<string, unknown>;
+  const { _generated: _, ...rest } = input;
+  return rest as Omit<ValidatedContractInput, '_generated'>;
+}
+
+export function constructContract<TContract extends SqlContract<SqlStorage>>(
+  input: ValidatedContractInput,
+): TContract {
+  const existingMappings = (input as { mappings?: Partial<SqlMappings> }).mappings;
+  const defaultMappings = computeDefaultMappings(input.models as Record<string, ModelDefinition>);
+  const mappings = mergeMappings(defaultMappings, existingMappings);
+
+  const contractWithMappings = {
+    ...stripGenerated(input),
+    mappings,
+  };
+
+  return contractWithMappings as TContract;
+}

package/src/exports/types.ts

@@ -1,6 +1,9 @@
 export type {
+  CodecTypesOf,
+  ContractWithTypeMaps,
   ExtractCodecTypes,
   ExtractOperationTypes,
+  ExtractTypeMapsFromContract,
   ForeignKey,
   ForeignKeyOptions,
   ForeignKeyReferences,
@@ -8,14 +11,19 @@ export type {
   ModelDefinition,
   ModelField,
   ModelStorage,
+  OperationTypesOf,
   PrimaryKey,
   ReferentialAction,
+  ResolveCodecTypes,
+  ResolveOperationTypes,
   SqlContract,
   SqlMappings,
   SqlStorage,
   StorageColumn,
   StorageTable,
   StorageTypeInstance,
+  TypeMaps,
+  TypeMapsPhantomKey,
   UniqueConstraint,
 } from '../types';
 

package/src/types.ts

@@ -138,17 +138,11 @@ export type SqlMappings = {
   readonly tableToModel?: Record<string, string>;
   readonly fieldToColumn?: Record<string, Record<string, string>>;
   readonly columnToField?: Record<string, Record<string, string>>;
-  readonly codecTypes: Record<string, { readonly output: unknown }>;
-  readonly operationTypes: Record<string, Record<string, unknown>>;
 };
 
 export const DEFAULT_FK_CONSTRAINT = true;
 export const DEFAULT_FK_INDEX = true;
 
-/**
- * Resolves foreign key `constraint` and `index` fields to their effective boolean values,
- * falling back through optional override defaults, then to the global defaults.
- */
 export function applyFkDefaults(
   fk: { constraint?: boolean | undefined; index?: boolean | undefined },
   overrideDefaults?: { constraint?: boolean | undefined; index?: boolean | undefined },
@@ -159,6 +153,36 @@ export function applyFkDefaults(
   };
 }
 
+export type TypeMaps<
+  TCodecTypes extends Record<string, { output: unknown }> = Record<string, never>,
+  TOperationTypes extends Record<string, unknown> = Record<string, never>,
+> = {
+  readonly codecTypes: TCodecTypes;
+  readonly operationTypes: TOperationTypes;
+};
+
+export type CodecTypesOf<T> = [T] extends [never]
+  ? Record<string, never>
+  : T extends { readonly codecTypes: infer C }
+    ? C extends Record<string, { output: unknown }>
+      ? C
+      : Record<string, never>
+    : Record<string, never>;
+
+export type OperationTypesOf<T> = [T] extends [never]
+  ? Record<string, never>
+  : T extends { readonly operationTypes: infer O }
+    ? O extends Record<string, unknown>
+      ? O
+      : Record<string, never>
+    : Record<string, never>;
+
+export type TypeMapsPhantomKey = '__@prisma-next/sql-contract/typeMaps@__';
+
+export type ContractWithTypeMaps<TContract, TTypeMaps> = TContract & {
+  readonly [K in TypeMapsPhantomKey]?: TTypeMaps;
+};
+
 export type SqlContract<
   S extends SqlStorage = SqlStorage,
   M extends Record<string, unknown> = Record<string, unknown>,
@@ -176,8 +200,17 @@ export type SqlContract<
   readonly execution?: ExecutionSection;
 };
 
-export type ExtractCodecTypes<TContract extends SqlContract<SqlStorage>> =
-  TContract['mappings']['codecTypes'];
+export type ExtractTypeMapsFromContract<T> = TypeMapsPhantomKey extends keyof T
+  ? NonNullable<T[TypeMapsPhantomKey & keyof T]>
+  : never;
+
+export type ExtractCodecTypes<T> = CodecTypesOf<ExtractTypeMapsFromContract<T>>;
+export type ExtractOperationTypes<T> = OperationTypesOf<ExtractTypeMapsFromContract<T>>;
+
+export type ResolveCodecTypes<TContract, TTypeMaps> = [TTypeMaps] extends [never]
+  ? ExtractCodecTypes<TContract>
+  : CodecTypesOf<TTypeMaps>;
 
-export type ExtractOperationTypes<TContract extends SqlContract<SqlStorage>> =
-  TContract['mappings']['operationTypes'];
+export type ResolveOperationTypes<TContract, TTypeMaps> = [TTypeMaps] extends [never]
+  ? ExtractOperationTypes<TContract>
+  : OperationTypesOf<TTypeMaps>;

package/src/validate.ts

@@ -1,176 +1,10 @@
 import type { ColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';
 import { isTaggedBigInt, isTaggedRaw } from '@prisma-next/contract/types';
-import type {
-  ModelDefinition,
-  SqlContract,
-  SqlMappings,
-  SqlStorage,
-  StorageColumn,
-  StorageTable,
-} from './types';
+import { constructContract } from './construct';
+import type { SqlContract, SqlStorage, StorageColumn, StorageTable } from './types';
 import { applyFkDefaults } from './types';
 import { validateSqlContract, validateStorageSemantics } from './validators';
 
-type ResolvedMappings = {
-  modelToTable: Record<string, string>;
-  tableToModel: Record<string, string>;
-  fieldToColumn: Record<string, Record<string, string>>;
-  columnToField: Record<string, Record<string, string>>;
-  codecTypes: Record<string, { readonly output: unknown }>;
-  operationTypes: Record<string, Record<string, unknown>>;
-};
-
-function computeDefaultMappings(models: Record<string, ModelDefinition>): ResolvedMappings {
-  const modelToTable: Record<string, string> = {};
-  const tableToModel: Record<string, string> = {};
-  const fieldToColumn: Record<string, Record<string, string>> = {};
-  const columnToField: Record<string, Record<string, string>> = {};
-
-  for (const [modelName, model] of Object.entries(models)) {
-    const tableName = model.storage.table;
-    modelToTable[modelName] = tableName;
-    tableToModel[tableName] = modelName;
-
-    const modelFieldToColumn: Record<string, string> = {};
-    for (const [fieldName, field] of Object.entries(model.fields)) {
-      const columnName = field.column;
-      modelFieldToColumn[fieldName] = columnName;
-      if (!columnToField[tableName]) {
-        columnToField[tableName] = {};
-      }
-      columnToField[tableName][columnName] = fieldName;
-    }
-
-    fieldToColumn[modelName] = modelFieldToColumn;
-  }
-
-  return {
-    modelToTable,
-    tableToModel,
-    fieldToColumn,
-    columnToField,
-    codecTypes: {},
-    operationTypes: {},
-  };
-}
-
-function assertInverseModelMappings(
-  modelToTable: Record<string, string>,
-  tableToModel: Record<string, string>,
-) {
-  for (const [model, table] of Object.entries(modelToTable)) {
-    if (tableToModel[table] !== model) {
-      throw new Error(
-        `Mappings override mismatch: modelToTable.${model}="${table}" is not mirrored in tableToModel`,
-      );
-    }
-  }
-  for (const [table, model] of Object.entries(tableToModel)) {
-    if (modelToTable[model] !== table) {
-      throw new Error(
-        `Mappings override mismatch: tableToModel.${table}="${model}" is not mirrored in modelToTable`,
-      );
-    }
-  }
-}
-
-function assertInverseFieldMappings(
-  fieldToColumn: Record<string, Record<string, string>>,
-  columnToField: Record<string, Record<string, string>>,
-  modelToTable: Record<string, string>,
-  tableToModel: Record<string, string>,
-) {
-  for (const [model, fields] of Object.entries(fieldToColumn)) {
-    const table = modelToTable[model];
-    if (!table) {
-      throw new Error(
-        `Mappings override mismatch: fieldToColumn references unknown model "${model}"`,
-      );
-    }
-    const reverseFields = columnToField[table];
-    if (!reverseFields) {
-      throw new Error(
-        `Mappings override mismatch: columnToField is missing table "${table}" for model "${model}"`,
-      );
-    }
-    for (const [field, column] of Object.entries(fields)) {
-      if (reverseFields[column] !== field) {
-        throw new Error(
-          `Mappings override mismatch: fieldToColumn.${model}.${field}="${column}" is not mirrored in columnToField.${table}`,
-        );
-      }
-    }
-  }
-
-  for (const [table, columns] of Object.entries(columnToField)) {
-    const model = tableToModel[table];
-    if (!model) {
-      throw new Error(
-        `Mappings override mismatch: columnToField references unknown table "${table}"`,
-      );
-    }
-    const forwardFields = fieldToColumn[model];
-    if (!forwardFields) {
-      throw new Error(
-        `Mappings override mismatch: fieldToColumn is missing model "${model}" for table "${table}"`,
-      );
-    }
-    for (const [column, field] of Object.entries(columns)) {
-      if (forwardFields[field] !== column) {
-        throw new Error(
-          `Mappings override mismatch: columnToField.${table}.${column}="${field}" is not mirrored in fieldToColumn.${model}`,
-        );
-      }
-    }
-  }
-}
-
-function mergeMappings(
-  defaults: ResolvedMappings,
-  existingMappings?: Partial<SqlMappings>,
-): ResolvedMappings {
-  const hasModelToTable = existingMappings?.modelToTable !== undefined;
-  const hasTableToModel = existingMappings?.tableToModel !== undefined;
-  if (hasModelToTable !== hasTableToModel) {
-    throw new Error(
-      'Mappings override mismatch: modelToTable and tableToModel must be provided together',
-    );
-  }
-
-  const hasFieldToColumn = existingMappings?.fieldToColumn !== undefined;
-  const hasColumnToField = existingMappings?.columnToField !== undefined;
-  if (hasFieldToColumn !== hasColumnToField) {
-    throw new Error(
-      'Mappings override mismatch: fieldToColumn and columnToField must be provided together',
-    );
-  }
-
-  const modelToTable: Record<string, string> = hasModelToTable
-    ? (existingMappings?.modelToTable ?? {})
-    : defaults.modelToTable;
-  const tableToModel: Record<string, string> = hasTableToModel
-    ? (existingMappings?.tableToModel ?? {})
-    : defaults.tableToModel;
-  assertInverseModelMappings(modelToTable, tableToModel);
-
-  const fieldToColumn: Record<string, Record<string, string>> = hasFieldToColumn
-    ? (existingMappings?.fieldToColumn ?? {})
-    : defaults.fieldToColumn;
-  const columnToField: Record<string, Record<string, string>> = hasColumnToField
-    ? (existingMappings?.columnToField ?? {})
-    : defaults.columnToField;
-  assertInverseFieldMappings(fieldToColumn, columnToField, modelToTable, tableToModel);
-
-  return {
-    modelToTable,
-    tableToModel,
-    fieldToColumn,
-    columnToField,
-    codecTypes: { ...defaults.codecTypes, ...(existingMappings?.codecTypes ?? {}) },
-    operationTypes: { ...defaults.operationTypes, ...(existingMappings?.operationTypes ?? {}) },
-  };
-}
-
 function validateContractLogic(contract: SqlContract<SqlStorage>): void {
   const tableNames = new Set(Object.keys(contract.storage.tables));
 
@@ -433,16 +267,6 @@ export function validateContract<TContract extends SqlContract<SqlStorage>>(
     throw new Error(`Contract semantic validation failed: ${semanticErrors.join('; ')}`);
   }
 
-  const existingMappings = (structurallyValid as { mappings?: Partial<SqlMappings> }).mappings;
-  const defaultMappings = computeDefaultMappings(
-    structurallyValid.models as Record<string, ModelDefinition>,
-  );
-  const mappings = mergeMappings(defaultMappings, existingMappings);
-
-  const contractWithMappings = {
-    ...structurallyValid,
-    mappings,
-  };
-
-  return decodeContractDefaults(contractWithMappings) as TContract;
+  const constructed = constructContract<TContract>(structurallyValid);
+  return decodeContractDefaults(constructed) as TContract;
 }

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

@@ -1 +0,0 @@
-{"version":3,"file":"types-BaAbD2Bc.d.mts","names":[],"sources":["../src/types.ts"],"sourcesContent":[],"mappings":";;;;;;AAgBA;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;AAG5B;;;;EAG2B,SAAA,KAAA,CAAA,EAAA,MAAA;EACe;;;EAEA,SAAA,MAAA,CAAA,EAjFtB,MAiFsB,CAAA,MAAA,EAAA,OAAA,CAAA;CAAf;AAAM,KA9ErB,oBAAA,GA8EqB;EAGpB,SAAA,KAAA,EAAA,MAAA;EACA,SAAA,OAAA,EAAA,SAAgB,MAAA,EAAA;AAM7B,CAAA;AAUY,KA7FA,iBAAA,GA6FW,UAAA,GAAA,UAAA,GAAA,SAAA,GAAA,SAAA,GAAA,YAAA;AACX,KA5FA,iBAAA,GA4FA;EAAa,SAAA,IAAA,CAAA,EAAA,MAAA;EACb,SAAA,QAAA,CAAA,EA3FU,iBA2FV;EAA0B,SAAA,QAAA,CAAA,EA1FhB,iBA0FgB;CAC1B;AAA0B,KAxF1B,UAAA,GAwF0B;EACxB,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;EAAc,SAAA,UAAA,EAvFL,oBAuFK;EACL,SAAA,IAAA,CAAA,EAAA,MAAA;EAA0B,SAAA,QAAA,CAAA,EAtF3B,iBAsF2B;EACxB,SAAA,QAAA,CAAA,EAtFH,iBAsFG;EAA4B;EAC9B,SAAA,UAAA,EAAA,OAAA;EAA0B;EAChC,SAAA,KAAA,EAAA,OAAA;CAAc;AAAgB,KAjFnC,YAAA,GAiFmC;EAA3C,SAAA,OAAA,EAhFgB,MAgFhB,CAAA,MAAA,EAhF+B,aAgF/B,CAAA;EAEgB,SAAA,UAAA,CAAA,EAjFI,UAiFJ;EACD,SAAA,OAAA,EAjFC,aAiFD,CAjFe,gBAiFf,CAAA;EACG,SAAA,OAAA,EAjFF,aAiFE,CAjFY,KAiFZ,CAAA;EACD,SAAA,WAAA,EAjFG,aAiFH,CAjFiB,UAiFjB,CAAA;CACE;;AAGvB;;;;;AAGA;;;;AACW,KA5EC,mBAAA,GA4ED;;;uBAzEY;;KAGX,UAAA;mBACO,eAAe;;;;;mBAKf,eAAe;;KAGtB,UAAA;;;KAIA,YAAA;;;KAIA,eAAA;oBACQ;mBACD,eAAe;sBACZ;;KAGV,WAAA;0BACc;0BACA;2BACC,eAAe;2BACf,eAAe;uBACnB;;;2BACI,eAAe;;cAG7B,qBAAA;cACA,gBAAA;;;;;iBAMG,eAAA;;;;;;;;;;KAUJ,sBACA,aAAa,sBACb,0BAA0B,mCAC1B,0BAA0B,qCACxB,cAAc,kCACL,0BAA0B,gDACxB,4BAA4B,gDAC9B,0BAA0B,2BAC7C,aAAa,cAAc,gBAAgB;;oBAE3B;mBACD;sBACG;qBACD;uBACE;;KAGX,oCAAoC,YAAY,eAC1D;KAEU,wCAAwC,YAAY,eAC9D"}