@prisma-next/mongo-contract 0.0.1 → 0.3.0-dev.147

package/dist/index.d.mts

@@ -0,0 +1,158 @@
+import { Contract, ContractField, ContractModel, ContractValueObject, StorageBase } from "@prisma-next/contract/types";
+
+//#region src/contract-types.d.ts
+type MongoIndexFieldValue = 1 | -1 | 'text' | '2dsphere' | '2d' | 'hashed';
+type MongoIndexFields = Record<string, MongoIndexFieldValue>;
+type MongoJsonPrimitive = string | number | boolean | null;
+type MongoJsonValue = MongoJsonPrimitive | readonly MongoJsonValue[] | MongoJsonObject;
+type MongoJsonObject = {
+  readonly [key: string]: MongoJsonValue;
+};
+type MongoCollationCaseFirst = 'off' | 'upper' | 'lower';
+type MongoCollationStrength = 1 | 2 | 3 | 4 | 5;
+type MongoCollationAlternate = 'non-ignorable' | 'shifted';
+type MongoCollationMaxVariable = 'punct' | 'space';
+type MongoCollationOptions = {
+  readonly locale: string;
+  readonly caseLevel?: boolean;
+  readonly caseFirst?: MongoCollationCaseFirst;
+  readonly strength?: MongoCollationStrength;
+  readonly numericOrdering?: boolean;
+  readonly alternate?: MongoCollationAlternate;
+  readonly maxVariable?: MongoCollationMaxVariable;
+  readonly backwards?: boolean;
+  readonly normalization?: boolean;
+};
+type MongoWildcardProjection = Readonly<Record<string, 0 | 1>>;
+type MongoIndexOptions = {
+  readonly unique?: boolean;
+  readonly name?: string;
+  readonly partialFilterExpression?: MongoJsonObject;
+  readonly sparse?: boolean;
+  readonly expireAfterSeconds?: number;
+  readonly weights?: Readonly<Record<string, number>>;
+  readonly default_language?: string;
+  readonly language_override?: string;
+  readonly textIndexVersion?: number;
+  readonly '2dsphereIndexVersion'?: number;
+  readonly bits?: number;
+  readonly min?: number;
+  readonly max?: number;
+  readonly bucketSize?: number;
+  readonly hidden?: boolean;
+  readonly collation?: MongoCollationOptions;
+  readonly wildcardProjection?: MongoWildcardProjection;
+};
+type MongoIndex = {
+  readonly fields: MongoIndexFields;
+  readonly options?: MongoIndexOptions;
+};
+type MongoIndexOptionDefaults = {
+  readonly storageEngine?: MongoJsonObject;
+};
+type MongoTimeSeriesGranularity = 'seconds' | 'minutes' | 'hours';
+type MongoTimeSeriesCollectionOptions = {
+  readonly timeField: string;
+  readonly metaField?: string;
+  readonly granularity?: MongoTimeSeriesGranularity;
+  readonly bucketMaxSpanSeconds?: number;
+  readonly bucketRoundingSeconds?: number;
+};
+type MongoClusteredCollectionKey = Readonly<Record<string, 1>>;
+type MongoClusteredCollectionOptions = {
+  readonly name?: string;
+  readonly key: MongoClusteredCollectionKey;
+  readonly unique: boolean;
+};
+type MongoChangeStreamPreAndPostImagesOptions = {
+  readonly enabled: boolean;
+};
+type MongoCollectionOptions = {
+  readonly capped?: boolean;
+  readonly size?: number;
+  readonly max?: number;
+  readonly storageEngine?: MongoJsonObject;
+  readonly indexOptionDefaults?: MongoIndexOptionDefaults;
+  readonly collation?: MongoCollationOptions;
+  readonly timeseries?: MongoTimeSeriesCollectionOptions;
+  readonly clusteredIndex?: MongoClusteredCollectionOptions;
+  readonly expireAfterSeconds?: number;
+  readonly changeStreamPreAndPostImages?: MongoChangeStreamPreAndPostImagesOptions;
+};
+type MongoStorageCollection = {
+  readonly indexes?: readonly MongoIndex[];
+  readonly options?: MongoCollectionOptions;
+};
+type MongoStorage<THash extends string = string> = StorageBase<THash> & {
+  readonly collections: Record<string, MongoStorageCollection>;
+};
+type MongoModelStorage = {
+  readonly collection?: string;
+  readonly relations?: Record<string, {
+    readonly field: string;
+  }>;
+};
+type MongoModelDefinition = ContractModel<MongoModelStorage>;
+type MongoContract<S extends MongoStorage = MongoStorage, M extends Record<string, MongoModelDefinition> = Record<string, MongoModelDefinition>> = Contract<S, M>;
+type MongoTypeMaps<TCodecTypes extends Record<string, {
+  output: unknown;
+}> = Record<string, {
+  output: unknown;
+}>, TOperationTypes extends Record<string, unknown> = Record<string, never>, TFieldOutputTypes extends Record<string, Record<string, unknown>> = Record<string, Record<string, unknown>>> = {
+  readonly codecTypes: TCodecTypes;
+  readonly operationTypes: TOperationTypes;
+  readonly fieldOutputTypes: TFieldOutputTypes;
+};
+type MongoTypeMapsPhantomKey = '__@prisma-next/mongo-core/typeMaps@__';
+type MongoContractWithTypeMaps<TContract, TTypeMaps> = TContract & { readonly [K in MongoTypeMapsPhantomKey]?: TTypeMaps };
+type ExtractMongoTypeMaps<T> = MongoTypeMapsPhantomKey extends keyof T ? NonNullable<T[MongoTypeMapsPhantomKey & keyof T]> : never;
+type ExtractMongoCodecTypes<T> = ExtractMongoTypeMaps<T> extends {
+  codecTypes: infer C;
+} ? C extends Record<string, {
+  output: unknown;
+}> ? C : Record<string, never> : Record<string, never>;
+type ExtractMongoFieldOutputTypes<T> = ExtractMongoTypeMaps<T> extends {
+  fieldOutputTypes: infer F;
+} ? F extends Record<string, Record<string, unknown>> ? F : Record<string, never> : Record<string, never>;
+type ExtractValueObjects<TContract> = TContract extends {
+  valueObjects: infer VO extends Record<string, ContractValueObject>;
+} ? VO : Record<never, never>;
+type NormalizeContractFields<TFields> = { [K in keyof TFields]: TFields[K] extends ContractField ? TFields[K] : never };
+type ExtractValueObjectFields<TValueObjects extends Record<string, ContractValueObject>, VOName$1 extends keyof TValueObjects> = NormalizeContractFields<TValueObjects[VOName$1]['fields']>;
+type InferFieldBaseType<TFieldType, TValueObjects extends Record<string, ContractValueObject>, TCodecTypes extends Record<string, {
+  output: unknown;
+}>> = TFieldType extends {
+  kind: 'scalar';
+  codecId: infer CId extends string & keyof TCodecTypes;
+} ? TCodecTypes[CId]['output'] : TFieldType extends {
+  kind: 'valueObject';
+  name: infer VOName extends string;
+} ? VOName extends keyof TValueObjects ? { -readonly [K in keyof ExtractValueObjectFields<TValueObjects, VOName>]: InferFieldType<ExtractValueObjectFields<TValueObjects, VOName>[K], TValueObjects, TCodecTypes> } : unknown : TFieldType extends {
+  kind: 'union';
+  members: infer TMembers extends ReadonlyArray<unknown>;
+} ? TMembers[number] extends infer TMember ? InferFieldBaseType<TMember, TValueObjects, TCodecTypes> : unknown : unknown;
+type InferFieldType<TField, TValueObjects extends Record<string, ContractValueObject>, TCodecTypes extends Record<string, {
+  output: unknown;
+}>> = TField extends ContractField ? TField extends {
+  many: true;
+} ? TField['nullable'] extends true ? InferFieldBaseType<TField['type'], TValueObjects, TCodecTypes>[] | null : InferFieldBaseType<TField['type'], TValueObjects, TCodecTypes>[] : TField['nullable'] extends true ? InferFieldBaseType<TField['type'], TValueObjects, TCodecTypes> | null : InferFieldBaseType<TField['type'], TValueObjects, TCodecTypes> : never;
+type InferModelRow<TContract extends MongoContractWithTypeMaps<MongoContract, MongoTypeMaps>, ModelName extends string & keyof TContract['models'], TFields extends Record<string, ContractField> = TContract['models'][ModelName]['fields'], TCodecTypes extends Record<string, {
+  output: unknown;
+}> = ExtractMongoCodecTypes<TContract>, TValueObjects extends Record<string, ContractValueObject> = ExtractValueObjects<TContract>> = { -readonly [FieldName in keyof TFields]: InferFieldType<TFields[FieldName], TValueObjects, TCodecTypes> };
+//#endregion
+//#region src/validate-mongo-contract.d.ts
+interface MongoContractIndices {
+  readonly variantToBase: Record<string, string>;
+  readonly modelToVariants: Record<string, string[]>;
+}
+interface ValidatedMongoContract<TContract extends MongoContract> {
+  readonly contract: TContract;
+  readonly indices: MongoContractIndices;
+}
+declare function validateMongoContract<TContract extends MongoContract>(value: unknown): ValidatedMongoContract<TContract>;
+//#endregion
+//#region src/validate-storage.d.ts
+declare function validateMongoStorage(contract: MongoContract): void;
+//#endregion
+export { type ExtractMongoCodecTypes, type ExtractMongoFieldOutputTypes, type ExtractMongoTypeMaps, type InferModelRow, type MongoChangeStreamPreAndPostImagesOptions, type MongoClusteredCollectionKey, type MongoClusteredCollectionOptions, type MongoCollationAlternate, type MongoCollationCaseFirst, type MongoCollationMaxVariable, type MongoCollationOptions, type MongoCollationStrength, type MongoCollectionOptions, type MongoContract, type MongoContractIndices, type MongoContractWithTypeMaps, type MongoIndex, type MongoIndexFieldValue, type MongoIndexFields, type MongoIndexOptionDefaults, type MongoIndexOptions, type MongoJsonObject, type MongoJsonPrimitive, type MongoJsonValue, type MongoModelDefinition, type MongoModelStorage, type MongoStorage, type MongoStorageCollection, type MongoTimeSeriesCollectionOptions, type MongoTimeSeriesGranularity, type MongoTypeMaps, type MongoTypeMapsPhantomKey, type MongoWildcardProjection, type ValidatedMongoContract, validateMongoContract, validateMongoStorage };
+//# sourceMappingURL=index.d.mts.map

package/dist/index.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.mts","names":[],"sources":["../src/contract-types.ts","../src/validate-mongo-contract.ts","../src/validate-storage.ts"],"sourcesContent":[],"mappings":";;;KAQY,oBAAA;KAEA,gBAAA,GAAmB,eAAe;AAFlC,KAIA,kBAAA,GAJoB,MAAA,GAAA,MAAA,GAAA,OAAA,GAAA,IAAA;AAEpB,KAIA,cAAA,GAAiB,kBAJiB,GAAA,SAIa,cAJtB,EAAA,GAIyC,eAJzC;AAEzB,KAIA,eAAA,GAJkB;EAElB,UAAA,GAAA,EAAA,MAAc,CAAA,EAGA,cAHA;CAAG;AAA8B,KAM/C,uBAAA,GAN+C,KAAA,GAAA,OAAA,GAAA,OAAA;AAAmB,KAQlE,sBAAA,GARkE,CAAA,GAAA,CAAA,GAAA,CAAA,GAAA,CAAA,GAAA,CAAA;AAAe,KAUjF,uBAAA,GAViF,eAAA,GAAA,SAAA;AAEjF,KAUA,yBAAA,GATc,OAAA,GAAc,OAAA;AAG5B,KAQA,qBAAA,GARuB;EAEvB,SAAA,MAAA,EAAA,MAAA;EAEA,SAAA,SAAA,CAAA,EAAA,OAAuB;EAEvB,SAAA,SAAA,CAAA,EAKW,uBALc;EAEzB,SAAA,QAAA,CAAA,EAIU,sBAJW;EAGV,SAAA,eAAA,CAAA,EAAA,OAAA;EACD,SAAA,SAAA,CAAA,EAEC,uBAFD;EAEC,SAAA,WAAA,CAAA,EACE,yBADF;EACE,SAAA,SAAA,CAAA,EAAA,OAAA;EAAyB,SAAA,aAAA,CAAA,EAAA,OAAA;AAKlD,CAAA;AAEY,KAFA,uBAAA,GAA0B,QAET,CAFkB,MAElB,CAAA,MAAA,EAAA,CAAA,GAAA,CAAA,CAAA,CAAA;AAGQ,KAHzB,iBAAA,GAGyB;EAGP,SAAA,MAAA,CAAA,EAAA,OAAA;EAAT,SAAA,IAAA,CAAA,EAAA,MAAA;EAUE,SAAA,uBAAA,CAAA,EAbc,eAad;EACS,SAAA,MAAA,CAAA,EAAA,OAAA;EAAuB,SAAA,kBAAA,CAAA,EAAA,MAAA;EAG3C,SAAA,OAAU,CAAA,EAdD,QAeF,CAfW,MAeX,CAAA,MAAA,EACE,MAAA,CAAA,CAAA;EAGT,SAAA,gBAAA,CAAA,EAAwB,MAAA;EAIxB,SAAA,iBAAA,CAAA,EAA0B,MAAA;EAE1B,SAAA,gBAAA,CAAA,EAAA,MAAA;EAQA,SAAA,sBAA2B,CAAA,EAAA,MAAA;EAE3B,SAAA,IAAA,CAAA,EAAA,MAAA;EAMA,SAAA,GAAA,CAAA,EAAA,MAAA;EAIA,SAAA,GAAA,CAAA,EAAA,MAAA;EAIe,SAAA,UAAA,CAAA,EAAA,MAAA;EACM,SAAA,MAAA,CAAA,EAAA,OAAA;EACV,SAAA,SAAA,CAAA,EAzCA,qBAyCA;EACC,SAAA,kBAAA,CAAA,EAzCQ,uBAyCR;CACI;AAEc,KAzC9B,UAAA,GAyC8B;EAAwC,SAAA,MAAA,EAxC/D,gBAwC+D;EAGtE,SAAA,OAAA,CAAA,EA1CS,iBA0Ca;AAKlC,CAAA;AAAsE,KA5C1D,wBAAA,GA4C0D;EAAZ,SAAA,aAAA,CAAA,EA3C/B,eA2C+B;CACnB;AAAf,KAzCZ,0BAAA,GAyCY,SAAA,GAAA,SAAA,GAAA,OAAA;AAAM,KAvClB,gCAAA,GAuCkB;EAGlB,SAAA,SAAA,EAAiB,MAAA;EAKjB,SAAA,SAAA,CAAA,EAAA,MAAoB;EAEpB,SAAA,WAAa,CAAA,EA9CA,0BA8CA;EACb,SAAA,oBAAA,CAAA,EAAA,MAAA;EAAe,SAAA,qBAAA,CAAA,EAAA,MAAA;CACA;AAAf,KA3CA,2BAAA,GAA8B,QA2C9B,CA3CuC,MA2CvC,CAAA,MAAA,EAAA,CAAA,CAAA,CAAA;AAAsD,KAzCtD,+BAAA,GAyCsD;EAAf,SAAA,IAAA,CAAA,EAAA,MAAA;EACtC,SAAA,GAAA,EAxCG,2BAwCH;EAAG,SAAA,MAAA,EAAA,OAAA;CAAZ;AAAQ,KApCA,wCAAA,GAoCA;EAEA,SAAA,OAAa,EAAA,OAAA;CACH;AAAsC,KAnChD,sBAAA,GAmCgD;EAClC,SAAA,MAAA,CAAA,EAAA,OAAA;EAA0B,SAAA,IAAA,CAAA,EAAA,MAAA;EACT,SAAA,GAAA,CAAA,EAAA,MAAA;EAAf,SAAA,aAAA,CAAA,EAjCD,eAiCC;EAExB,SAAA,mBAAA,CAAA,EAlC6B,wBAkC7B;EAFkE,SAAA,SAAA,CAAA,EA/B/C,qBA+B+C;EAK/C,SAAA,UAAA,CAAA,EAnCC,gCAmCD;EACI,SAAA,cAAA,CAAA,EAnCC,+BAmCD;EACE,SAAA,kBAAA,CAAA,EAAA,MAAA;EAAiB,SAAA,4BAAA,CAAA,EAlCJ,wCAkCI;AAG9C,CAAA;AAEY,KApCA,sBAAA,GAoCyB;EAAyB,SAAA,OAAA,CAAA,EAAA,SAnChC,UAmCgC,EAAA;EAC7C,SAAA,OAAA,CAAA,EAnCI,sBAmCJ;CAA2B;AAAS,KAhCzC,YAgCyC,CAAA,cAAA,MAAA,GAAA,MAAA,CAAA,GAhCK,WAgCL,CAhCiB,KAgCjB,CAAA,GAAA;EAGzC,SAAA,WAAA,EAlCY,MAkCQ,CAAA,MAAA,EAlCO,sBAkCP,CAAA;CAAM;AAAsC,KA/BhE,iBAAA,GA+BgE;EAC5D,SAAA,UAAA,CAAA,EAAA,MAAA;EAAE,SAAA,SAAA,CAAA,EA9BK,MA8BL,CAAA,MAAA,EAAA;IAAgC,SAAA,KAAA,EAAA,MAAA;EAA9C,CAAA,CAAA;CAAW;AAGH,KA9BA,oBAAA,GAAuB,aA8BD,CA9Be,iBA8Bf,CAAA;AACX,KA7BX,aA6BW,CAAA,UA5BX,YA4BW,GA5BI,YA4BJ,EAAA,UA3BX,MA2BW,CAAA,MAAA,EA3BI,oBA2BJ,CAAA,GA3B4B,MA2B5B,CAAA,MAAA,EA3B2C,oBA2B3C,CAAA,CAAA,GA1BnB,QA0BmB,CA1BV,CA0BU,EA1BP,CA0BO,CAAA;AAArB,KAxBU,aAwBV,CAAA,oBAvBoB,MAuBpB,CAAA,MAAA,EAAA;EACc,MAAA,EAAA,OAAA;CAER,CAAA,GA1BoD,MA0BpD,CAAA,MAAA,EAAA;EACF,MAAA,EAAA,OAAA;CAAM,CAAA,EAAA,wBA1Bc,MA0Bd,CAAA,MAAA,EAAA,OAAA,CAAA,GA1BwC,MA0BxC,CAAA,MAAA,EAAA,KAAA,CAAA,EAAA,0BAzBgB,MAyBhB,CAAA,MAAA,EAzB+B,MAyB/B,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAzB0D,MAyB1D,CAAA,MAAA,EAvBR,MAuBQ,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,CAAA,GAAA;EAEA,SAAA,UAAA,EAtBW,WAsBiB;EACjB,SAAA,cAAA,EAtBI,eAsBJ;EAArB,SAAA,gBAAA,EArB2B,iBAqB3B;CAC6B;AAAf,KAnBJ,uBAAA,GAmBI,uCAAA;AAER,KAnBI,yBAmBJ,CAAA,SAAA,EAAA,SAAA,CAAA,GAnBsD,SAmBtD,GAAA,iBAlBS,uBAmBX,IAnBsC,SAmBtC,EAAM;AAEP,KAlBO,oBAkBY,CAAA,CAAA,CAAA,GAlBc,uBAkBd,SAAA,MAlBoD,CAkBpD,GAjBpB,WAiBoB,CAjBR,CAiBQ,CAjBN,uBAiBM,GAAA,MAjB0B,CAiB1B,CAAA,CAAA,GAAA,KAAA;AAAc,KAd1B,sBAc0B,CAAA,CAAA,CAAA,GAbpC,oBAaoC,CAbf,CAae,CAAA,SAAA;EACU,UAAA,EAAA,KAAA,EAAA;CAAf,GAAA,CAAA,SAbjB,MAaiB,CAAA,MAAA,EAAA;EAG7B,MAAA,EAAA,OAAA;CAAM,CAAA,GAAA,CAAA,GAdF,MAcE,CAAA,MAAA,EAAA,KAAA,CAAA,GAbJ,MAaI,CAAA,MAAA,EAAA,KAAA,CAAA;AAEL,KAbO,4BAagB,CAAA,CAAA,CAAA,GAZ1B,oBAY0B,CAZL,CAYK,CAAA,SAAA;EACd,gBAAA,EAAA,KAAA,EAAA;CAAU,GAAA,CAAA,SAZR,MAYQ,CAAA,MAAA,EAZO,MAYP,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAAA,CAAA,GAVhB,MAUgB,CAAA,MAAA,EAAA,KAAA,CAAA,GATlB,MASkB,CAAA,MAAA,EAAA,KAAA,CAAA;KAPnB,mBAO2B,CAAA,SAAA,CAAA,GAPM,SAON,SAAA;EAAW,YAAA,EAAA,KAAA,YANV,MAMU,CAAA,MAAA,EANK,mBAML,CAAA;CAAgB,GAAA,EAAA,GAHvD,MAGuD,CAAA,KAAA,EAAA,KAAA,CAAA;KADtD,uBAC8D,CAAA,OAAA,CAAA,GAAA,QAAC,MAAtD,OAAsD,GAA5C,OAA4C,CAApC,CAAoC,CAAA,SAAzB,aAAyB,GAAT,OAAS,CAAD,CAAC,CAAA,GAAA,KAAA,EAAA;KAG/D,wBACkC,CAAA,sBAAf,MAAe,CAAA,MAAA,EAAA,mBAAA,CAAA,EAAA,iBAAA,MAChB,aADgB,CAAA,GAEnC,uBAFmC,CAEX,aAFW,CAEG,QAFH,CAAA,CAAA,QAAA,CAAA,CAAA;KAIlC,kBAJmB,CAAA,UAAA,EAAA,sBAMA,MANA,CAAA,MAAA,EAMe,mBANf,CAAA,EAAA,oBAOF,MAPE,CAAA,MAAA,EAAA;EACD,MAAA,EAAA,OAAA;CACK,CAAA,CAAA,GAMxB,UANwB,SAAA;EAAc,IAAA,EAAA,QAAA;EAAtC,OAAA,EAAA,KAAA,aAAA,MAAA,GAAA,MAM+E,WAN/E;CAAuB,GAOvB,WAPuB,CAOX,GAPW,CAAA,CAAA,QAAA,CAAA,GAQvB,UARuB,SAAA;EAEtB,IAAA,EAAA,aAAA;EAEkC,IAAA,EAAA,KAAA,gBAAA,MAAA;CAAf,GAAA,MAAA,SAAA,MAKG,aALH,GAAA,kBACF,MAMU,wBANV,CAMmC,aANnC,EAMkD,MANlD,CAAA,GAM4D,cAN5D,CAOV,wBAPU,CAOe,aAPf,EAO8B,MAP9B,CAAA,CAOsC,CAPtC,CAAA,EAQV,aARU,EASV,WATU,CAAA,EAClB,GAAA,OAAA,GAYE,UAZF,SAAA;EAA+E,IAAA,EAAA,OAAA;EAC/E,OAAA,EAAA,KAAA,kBAasC,aAbtC,CAAA,OAAA,CAAA;CAAY,GAeR,QAfQ,CAAA,MAAA,CAAA,SAAA,KAAA,QAAA,GAgBN,kBAhBM,CAgBa,OAhBb,EAgBsB,aAhBtB,EAgBqC,WAhBrC,CAAA,GAAA,OAAA,GAAA,OAAA;KAoBX,cAnBD,CAAA,MAAA,EAAA,sBAqBoB,MArBpB,CAAA,MAAA,EAqBmC,mBArBnC,CAAA,EAAA,oBAsBkB,MAtBlB,CAAA,MAAA,EAAA;EACuB,MAAA,EAAA,OAAA;CAE8B,CAAA,CAAA,GAoBrD,MApBqD,SAoBtC,aApBsC,GAqBrD,MArBqD,SAAA;EAAe,IAAA,EAAA,IAAA;CAAxC,GAsB1B,MAtB0B,CAAA,UAAA,CAAA,SAAA,IAAA,GAuBxB,kBAvBwB,CAuBL,MAvBK,CAAA,MAAA,CAAA,EAuBW,aAvBX,EAuB0B,WAvB1B,CAAA,EAAA,GAAA,IAAA,GAwBxB,kBAxBwB,CAwBL,MAxBK,CAAA,MAAA,CAAA,EAwBW,aAxBX,EAwB0B,WAxB1B,CAAA,EAAA,GAyB1B,MAzB0B,CAAA,UAAA,CAAA,SAAA,IAAA,GA0BxB,kBA1BwB,CA0BL,MA1BK,CAAA,MAAA,CAAA,EA0BW,aA1BX,EA0B0B,WA1B1B,CAAA,GAAA,IAAA,GA2BxB,kBA3BwB,CA2BL,MA3BK,CAAA,MAAA,CAAA,EA2BW,aA3BX,EA2B0B,WA3B1B,CAAA,GAAA,KAAA;AACK,KA6BzB,aA7ByB,CAAA,kBA8BjB,yBA9BiB,CA8BS,aA9BT,EA8BwB,aA9BxB,CAAA,EAAA,kBAAA,MAAA,GAAA,MA+BF,SA/BE,CAAA,QAAA,CAAA,EAAA,gBAgCnB,MAhCmB,CAAA,MAAA,EAgCJ,aAhCI,CAAA,GAgCa,SAhCb,CAAA,QAAA,CAAA,CAgCiC,SAhCjC,CAAA,CAAA,QAAA,CAAA,EAAA,oBAiCf,MAjCe,CAAA,MAAA,EAAA;EAAe,MAAA,EAAA,OAAA;CAAxC,CAAA,GAiCgD,sBAjChD,CAiCuE,SAjCvE,CAAA,EAAA,sBAkCY,MAlCZ,CAAA,MAAA,EAkC2B,mBAlC3B,CAAA,GAkCkD,mBAlClD,CAkCsE,SAlCtE,CAAA,CAAA,GAAA,0BAAgD,MAoC5B,OApC4B,GAoClB,cApCkB,CAqCxD,OArCwD,CAqChD,SArCgD,CAAA,EAsCxD,aAtCwD,EAuCxD,WAvCwD,CAAA,EAChD;;;UCxLK,oBAAA;0BACS;EDCd,SAAA,eAAoB,ECAJ,MDAI,CAAA,MAAA,EAAA,MAAA,EAAA,CAAA;AAEhC;AAEY,UCDK,sBDCa,CAAA,kBCD4B,aDC5B,CAAA,CAAA;EAElB,SAAA,QAAc,ECFL,SDEK;EAAG,SAAA,OAAA,ECDT,oBDCS;;AAAiD,iBCE9D,qBDF8D,CAAA,kBCEtB,aDFsB,CAAA,CAAA,KAAA,EAAA,OAAA,CAAA,ECI3E,sBDJ2E,CCIpD,SDJoD,CAAA;;;iBEZ9D,oBAAA,WAA+B"}

package/dist/index.mjs

@@ -0,0 +1,266 @@
+import { validateContractDomain } from "@prisma-next/contract/validate-domain";
+import { type } from "arktype";
+
+//#region src/contract-schema.ts
+const ScalarFieldTypeSchema = type({
+	"+": "reject",
+	kind: "'scalar'",
+	codecId: "string",
+	"typeParams?": "Record<string, unknown>"
+});
+const ValueObjectFieldTypeSchema = type({
+	"+": "reject",
+	kind: "'valueObject'",
+	name: "string"
+});
+const UnionFieldTypeSchema = type({
+	"+": "reject",
+	kind: "'union'",
+	members: ScalarFieldTypeSchema.or(ValueObjectFieldTypeSchema).array()
+});
+const FieldTypeSchema = ScalarFieldTypeSchema.or(ValueObjectFieldTypeSchema).or(UnionFieldTypeSchema);
+const FieldSchema = type({
+	"+": "reject",
+	type: FieldTypeSchema,
+	"nullable?": "boolean",
+	"many?": "boolean",
+	"dict?": "boolean"
+}).pipe((field) => ({
+	...field,
+	nullable: field.nullable ?? false
+}));
+const RelationOnSchema = type({
+	"+": "reject",
+	localFields: "string[]",
+	targetFields: "string[]"
+});
+const RelationSchema = type({
+	"+": "reject",
+	to: "string",
+	cardinality: "'1:1' | '1:N' | 'N:1'",
+	"on?": RelationOnSchema
+});
+const StorageRelationEntrySchema = type({
+	"+": "reject",
+	field: "string"
+});
+const MongoJsonPrimitiveSchema = type.declare().type("string | number | boolean | null");
+function isMongoJsonRecord(value) {
+	if (typeof value !== "object" || value === null || Array.isArray(value)) return false;
+	const prototype = Object.getPrototypeOf(value);
+	return prototype === Object.prototype || prototype === null;
+}
+function withUnseenReference(value, seen, visit) {
+	if (seen.has(value)) return false;
+	seen.add(value);
+	const result = visit();
+	seen.delete(value);
+	return result;
+}
+function isMongoJsonObject(value, seen) {
+	return isMongoJsonRecord(value) && withUnseenReference(value, seen, () => Object.values(value).every((entry) => isMongoJsonValue(entry, seen)));
+}
+function isMongoJsonValue(value, seen = /* @__PURE__ */ new WeakSet()) {
+	if (MongoJsonPrimitiveSchema.allows(value)) return true;
+	if (Array.isArray(value)) return withUnseenReference(value, seen, () => value.every((entry) => isMongoJsonValue(entry, seen)));
+	return isMongoJsonObject(value, seen);
+}
+const MongoJsonValueSchema = type("unknown").narrow((value, ctx) => isMongoJsonValue(value) ? true : ctx.mustBe("a JSON-serializable MongoJsonValue"));
+const MongoJsonObjectSchema = type({ "[string]": "unknown" }).narrow((value, ctx) => isMongoJsonRecord(value) && Object.values(value).every((entry) => MongoJsonValueSchema.allows(entry)) ? true : ctx.mustBe("a JSON object with MongoJsonValue entries"));
+const NumberRecordSchema = type({ "[string]": "number" });
+const IndexFieldsSchema = type({
+	"+": "reject",
+	"[string]": "1 | -1 | \"text\" | \"2dsphere\" | \"2d\" | \"hashed\""
+}).narrow((fields, ctx) => Object.keys(fields).length > 0 ? true : ctx.mustBe("an index field map with at least one entry"));
+const CollationSchema = type({
+	"+": "reject",
+	locale: "string",
+	"caseLevel?": "boolean",
+	"caseFirst?": "\"off\" | \"upper\" | \"lower\"",
+	"strength?": "1 | 2 | 3 | 4 | 5",
+	"numericOrdering?": "boolean",
+	"alternate?": "\"non-ignorable\" | \"shifted\"",
+	"maxVariable?": "\"punct\" | \"space\"",
+	"backwards?": "boolean",
+	"normalization?": "boolean"
+});
+const WildcardProjectionSchema = type({
+	"+": "reject",
+	"[string]": "0 | 1"
+});
+const IndexOptionsSchema = type({
+	"+": "reject",
+	"unique?": "boolean",
+	"name?": "string",
+	"partialFilterExpression?": MongoJsonObjectSchema,
+	"sparse?": "boolean",
+	"expireAfterSeconds?": "number",
+	"weights?": NumberRecordSchema,
+	"default_language?": "string",
+	"language_override?": "string",
+	"textIndexVersion?": "number",
+	"2dsphereIndexVersion?": "number",
+	"bits?": "number",
+	"min?": "number",
+	"max?": "number",
+	"bucketSize?": "number",
+	"hidden?": "boolean",
+	"collation?": CollationSchema,
+	"wildcardProjection?": WildcardProjectionSchema
+});
+const IndexSchema = type({
+	"+": "reject",
+	fields: IndexFieldsSchema,
+	"options?": IndexOptionsSchema
+});
+const IndexOptionDefaultsSchema = type({
+	"+": "reject",
+	"storageEngine?": MongoJsonObjectSchema
+});
+const TimeSeriesCollectionOptionsSchema = type({
+	"+": "reject",
+	timeField: "string",
+	"metaField?": "string",
+	"granularity?": "\"seconds\" | \"minutes\" | \"hours\"",
+	"bucketMaxSpanSeconds?": "number",
+	"bucketRoundingSeconds?": "number"
+});
+const ClusteredCollectionKeySchema = type({
+	"+": "reject",
+	"[string]": "1"
+}).narrow((key, ctx) => Object.keys(key).length > 0 ? true : ctx.mustBe("a clustered index key map with at least one entry"));
+const ClusteredCollectionOptionsSchema = type({
+	"+": "reject",
+	"name?": "string",
+	key: ClusteredCollectionKeySchema,
+	unique: "boolean"
+});
+const ChangeStreamPreAndPostImagesSchema = type({
+	"+": "reject",
+	enabled: "boolean"
+});
+const CollectionOptionsSchema = type({
+	"+": "reject",
+	"capped?": "boolean",
+	"size?": "number",
+	"max?": "number",
+	"storageEngine?": MongoJsonObjectSchema,
+	"indexOptionDefaults?": IndexOptionDefaultsSchema,
+	"collation?": CollationSchema,
+	"timeseries?": TimeSeriesCollectionOptionsSchema,
+	"clusteredIndex?": ClusteredCollectionOptionsSchema,
+	"expireAfterSeconds?": "number",
+	"changeStreamPreAndPostImages?": ChangeStreamPreAndPostImagesSchema
+});
+const ModelStorageSchema = type({
+	"+": "reject",
+	"collection?": "string",
+	"relations?": type({ "[string]": StorageRelationEntrySchema })
+});
+const DiscriminatorSchema = type({
+	"+": "reject",
+	field: "string"
+});
+const VariantEntrySchema = type({
+	"+": "reject",
+	value: "string"
+});
+const ModelDefinitionSchema = type({
+	"+": "reject",
+	fields: type({ "[string]": FieldSchema }),
+	storage: ModelStorageSchema,
+	"relations?": type({ "[string]": RelationSchema }),
+	"discriminator?": DiscriminatorSchema,
+	"variants?": type({ "[string]": VariantEntrySchema }),
+	"base?": "string",
+	"owner?": "string"
+});
+const StorageCollectionSchema = type({
+	"+": "reject",
+	"indexes?": IndexSchema.array(),
+	"options?": CollectionOptionsSchema
+});
+const MongoContractSchema = type({
+	"+": "reject",
+	targetFamily: "'mongo'",
+	"schemaVersion?": "string",
+	"target?": "string",
+	"storageHash?": "string",
+	"profileHash?": "string",
+	roots: "Record<string, string>",
+	"capabilities?": "Record<string, unknown>",
+	"extensionPacks?": "Record<string, unknown>",
+	"meta?": "Record<string, unknown>",
+	"sources?": "Record<string, unknown>",
+	"_generated?": "Record<string, unknown>",
+	storage: type({
+		"+": "reject",
+		collections: type({ "[string]": StorageCollectionSchema }),
+		"storageHash?": "string"
+	}),
+	models: type({ "[string]": ModelDefinitionSchema }),
+	"valueObjects?": type({ "[string]": type({
+		"+": "reject",
+		fields: type({ "[string]": FieldSchema })
+	}) })
+});
+
+//#endregion
+//#region src/validate-storage.ts
+function validateMongoStorage(contract) {
+	const errors = [];
+	for (const [modelName, model] of Object.entries(contract.models)) {
+		if (model.storage.collection && !(model.storage.collection in contract.storage.collections)) errors.push(`Model "${modelName}" references collection "${model.storage.collection}" which is not in storage.collections`);
+		if (model.base) {
+			const baseModel = contract.models[model.base];
+			if (baseModel) {
+				const variantCollection = model.storage.collection;
+				const baseCollection = baseModel.storage.collection;
+				if (variantCollection !== baseCollection) errors.push(`Mongo does not support multi-table inheritance; variant "${modelName}" must share its base's collection ("${baseCollection ?? "(none)"}"), but has "${variantCollection ?? "(none)"}"`);
+			}
+		}
+		for (const [relName, relation] of Object.entries(model.relations ?? {})) {
+			const targetModel = contract.models[relation.to];
+			if (targetModel?.owner) {
+				if (targetModel.owner !== modelName) errors.push(`Embed relation "${relName}" targets "${relation.to}" which is owned by "${targetModel.owner}", not "${modelName}"`);
+				if (targetModel.storage.collection) errors.push(`Embed relation "${relName}" targets "${relation.to}" which must not have a collection`);
+			} else if ("on" in relation && relation.on) {
+				for (const localField of relation.on.localFields) if (!(localField in model.fields)) errors.push(`Reference relation "${relName}": localField "${localField}" is not a field on model "${modelName}"`);
+				if (targetModel) {
+					for (const targetField of relation.on.targetFields) if (!(targetField in targetModel.fields)) errors.push(`Reference relation "${relName}": targetField "${targetField}" is not a field on model "${relation.to}"`);
+				}
+			}
+		}
+	}
+	if (errors.length > 0) throw new Error(`Contract storage validation failed:\n- ${errors.join("\n- ")}`);
+}
+
+//#endregion
+//#region src/validate-mongo-contract.ts
+function validateMongoContract(value) {
+	const parsed = MongoContractSchema(value);
+	if (parsed instanceof type.errors) throw new Error(`Contract structural validation failed: ${parsed.summary}`);
+	const contract = parsed;
+	validateContractDomain(contract);
+	validateMongoStorage(contract);
+	return {
+		contract,
+		indices: buildIndices(contract)
+	};
+}
+function buildIndices(contract) {
+	const variantToBase = {};
+	const modelToVariants = {};
+	for (const [modelName, model] of Object.entries(contract.models)) {
+		if (model.base) variantToBase[modelName] = model.base;
+		if (model.variants) modelToVariants[modelName] = Object.keys(model.variants);
+	}
+	return {
+		variantToBase,
+		modelToVariants
+	};
+}
+
+//#endregion
+export { validateMongoContract, validateMongoStorage };
+//# sourceMappingURL=index.mjs.map

package/dist/index.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.mjs","names":["errors: string[]","arktypeType","variantToBase: Record<string, string>","modelToVariants: Record<string, string[]>"],"sources":["../src/contract-schema.ts","../src/validate-storage.ts","../src/validate-mongo-contract.ts"],"sourcesContent":["import { type } from 'arktype';\nimport type { MongoJsonObject, MongoJsonPrimitive, MongoJsonValue } from './contract-types';\n\nconst ScalarFieldTypeSchema = type({\n  '+': 'reject',\n  kind: \"'scalar'\",\n  codecId: 'string',\n  'typeParams?': 'Record<string, unknown>',\n});\n\nconst ValueObjectFieldTypeSchema = type({\n  '+': 'reject',\n  kind: \"'valueObject'\",\n  name: 'string',\n});\n\nconst UnionFieldTypeSchema = type({\n  '+': 'reject',\n  kind: \"'union'\",\n  members: ScalarFieldTypeSchema.or(ValueObjectFieldTypeSchema).array(),\n});\n\nconst FieldTypeSchema = ScalarFieldTypeSchema.or(ValueObjectFieldTypeSchema).or(\n  UnionFieldTypeSchema,\n);\n\nconst RawFieldSchema = type({\n  '+': 'reject',\n  type: FieldTypeSchema,\n  'nullable?': 'boolean',\n  'many?': 'boolean',\n  'dict?': 'boolean',\n});\n\nconst FieldSchema = RawFieldSchema.pipe((field) => ({\n  ...field,\n  nullable: field.nullable ?? false,\n}));\n\nconst RelationOnSchema = type({\n  '+': 'reject',\n  localFields: 'string[]',\n  targetFields: 'string[]',\n});\n\nconst RelationSchema = type({\n  '+': 'reject',\n  to: 'string',\n  cardinality: \"'1:1' | '1:N' | 'N:1'\",\n  'on?': RelationOnSchema,\n});\n\nconst StorageRelationEntrySchema = type({\n  '+': 'reject',\n  field: 'string',\n});\n\nconst MongoJsonPrimitiveSchema = type\n  .declare<MongoJsonPrimitive>()\n  .type('string | number | boolean | null');\n\nfunction isMongoJsonRecord(value: unknown): value is Record<string, unknown> {\n  if (typeof value !== 'object' || value === null || Array.isArray(value)) {\n    return false;\n  }\n  const prototype = Object.getPrototypeOf(value);\n  return prototype === Object.prototype || prototype === null;\n}\n\nfunction withUnseenReference(value: object, seen: WeakSet<object>, visit: () => boolean): boolean {\n  if (seen.has(value)) {\n    return false;\n  }\n\n  seen.add(value);\n  const result = visit();\n  seen.delete(value);\n  return result;\n}\n\nfunction isMongoJsonObject(value: unknown, seen: WeakSet<object>): value is MongoJsonObject {\n  return (\n    isMongoJsonRecord(value) &&\n    withUnseenReference(value, seen, () =>\n      Object.values(value).every((entry) => isMongoJsonValue(entry, seen)),\n    )\n  );\n}\n\nfunction isMongoJsonValue(value: unknown, seen = new WeakSet<object>()): value is MongoJsonValue {\n  if (MongoJsonPrimitiveSchema.allows(value)) {\n    return true;\n  }\n  if (Array.isArray(value)) {\n    return withUnseenReference(value, seen, () =>\n      value.every((entry) => isMongoJsonValue(entry, seen)),\n    );\n  }\n  return isMongoJsonObject(value, seen);\n}\n\nconst MongoJsonValueSchema = type('unknown').narrow((value, ctx) =>\n  isMongoJsonValue(value) ? true : ctx.mustBe('a JSON-serializable MongoJsonValue'),\n);\n\nconst MongoJsonObjectSchema = type({ '[string]': 'unknown' }).narrow((value, ctx) =>\n  isMongoJsonRecord(value) &&\n  Object.values(value).every((entry) => MongoJsonValueSchema.allows(entry))\n    ? true\n    : ctx.mustBe('a JSON object with MongoJsonValue entries'),\n);\n\nconst NumberRecordSchema = type({ '[string]': 'number' });\n\nconst IndexFieldsSchema = type({\n  '+': 'reject',\n  '[string]': '1 | -1 | \"text\" | \"2dsphere\" | \"2d\" | \"hashed\"',\n}).narrow((fields, ctx) =>\n  Object.keys(fields).length > 0 ? true : ctx.mustBe('an index field map with at least one entry'),\n);\n\nconst CollationSchema = type({\n  '+': 'reject',\n  locale: 'string',\n  'caseLevel?': 'boolean',\n  'caseFirst?': '\"off\" | \"upper\" | \"lower\"',\n  'strength?': '1 | 2 | 3 | 4 | 5',\n  'numericOrdering?': 'boolean',\n  'alternate?': '\"non-ignorable\" | \"shifted\"',\n  'maxVariable?': '\"punct\" | \"space\"',\n  'backwards?': 'boolean',\n  'normalization?': 'boolean',\n});\n\nconst WildcardProjectionSchema = type({\n  '+': 'reject',\n  '[string]': '0 | 1',\n});\n\nconst IndexOptionsSchema = type({\n  '+': 'reject',\n  'unique?': 'boolean',\n  'name?': 'string',\n  'partialFilterExpression?': MongoJsonObjectSchema,\n  'sparse?': 'boolean',\n  'expireAfterSeconds?': 'number',\n  'weights?': NumberRecordSchema,\n  'default_language?': 'string',\n  'language_override?': 'string',\n  'textIndexVersion?': 'number',\n  '2dsphereIndexVersion?': 'number',\n  'bits?': 'number',\n  'min?': 'number',\n  'max?': 'number',\n  'bucketSize?': 'number',\n  'hidden?': 'boolean',\n  'collation?': CollationSchema,\n  'wildcardProjection?': WildcardProjectionSchema,\n});\n\nconst IndexSchema = type({\n  '+': 'reject',\n  fields: IndexFieldsSchema,\n  'options?': IndexOptionsSchema,\n});\n\nconst IndexOptionDefaultsSchema = type({\n  '+': 'reject',\n  'storageEngine?': MongoJsonObjectSchema,\n});\n\nconst TimeSeriesCollectionOptionsSchema = type({\n  '+': 'reject',\n  timeField: 'string',\n  'metaField?': 'string',\n  'granularity?': '\"seconds\" | \"minutes\" | \"hours\"',\n  'bucketMaxSpanSeconds?': 'number',\n  'bucketRoundingSeconds?': 'number',\n});\n\nconst ClusteredCollectionKeySchema = type({\n  '+': 'reject',\n  '[string]': '1',\n}).narrow((key, ctx) =>\n  Object.keys(key).length > 0\n    ? true\n    : ctx.mustBe('a clustered index key map with at least one entry'),\n);\n\nconst ClusteredCollectionOptionsSchema = type({\n  '+': 'reject',\n  'name?': 'string',\n  key: ClusteredCollectionKeySchema,\n  unique: 'boolean',\n});\n\nconst ChangeStreamPreAndPostImagesSchema = type({\n  '+': 'reject',\n  enabled: 'boolean',\n});\n\nconst CollectionOptionsSchema = type({\n  '+': 'reject',\n  'capped?': 'boolean',\n  'size?': 'number',\n  'max?': 'number',\n  'storageEngine?': MongoJsonObjectSchema,\n  'indexOptionDefaults?': IndexOptionDefaultsSchema,\n  'collation?': CollationSchema,\n  'timeseries?': TimeSeriesCollectionOptionsSchema,\n  'clusteredIndex?': ClusteredCollectionOptionsSchema,\n  'expireAfterSeconds?': 'number',\n  'changeStreamPreAndPostImages?': ChangeStreamPreAndPostImagesSchema,\n});\n\nconst ModelStorageSchema = type({\n  '+': 'reject',\n  'collection?': 'string',\n  'relations?': type({ '[string]': StorageRelationEntrySchema }),\n});\n\nconst DiscriminatorSchema = type({\n  '+': 'reject',\n  field: 'string',\n});\n\nconst VariantEntrySchema = type({\n  '+': 'reject',\n  value: 'string',\n});\n\nconst ModelDefinitionSchema = type({\n  '+': 'reject',\n  fields: type({ '[string]': FieldSchema }),\n  storage: ModelStorageSchema,\n  'relations?': type({ '[string]': RelationSchema }),\n  'discriminator?': DiscriminatorSchema,\n  'variants?': type({ '[string]': VariantEntrySchema }),\n  'base?': 'string',\n  'owner?': 'string',\n});\n\nconst StorageCollectionSchema = type({\n  '+': 'reject',\n  'indexes?': IndexSchema.array(),\n  'options?': CollectionOptionsSchema,\n});\n\nexport const MongoContractSchema = type({\n  '+': 'reject',\n  targetFamily: \"'mongo'\",\n  'schemaVersion?': 'string',\n  'target?': 'string',\n  'storageHash?': 'string',\n  'profileHash?': 'string',\n  roots: 'Record<string, string>',\n  'capabilities?': 'Record<string, unknown>',\n  'extensionPacks?': 'Record<string, unknown>',\n  'meta?': 'Record<string, unknown>',\n  'sources?': 'Record<string, unknown>',\n  '_generated?': 'Record<string, unknown>',\n  storage: type({\n    '+': 'reject',\n    collections: type({ '[string]': StorageCollectionSchema }),\n    'storageHash?': 'string',\n  }),\n  models: type({ '[string]': ModelDefinitionSchema }),\n  'valueObjects?': type({\n    '[string]': type({ '+': 'reject', fields: type({ '[string]': FieldSchema }) }),\n  }),\n});\n","import type { MongoContract } from './contract-types';\n\nexport function validateMongoStorage(contract: MongoContract): void {\n  const errors: string[] = [];\n\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    if (model.storage.collection && !(model.storage.collection in contract.storage.collections)) {\n      errors.push(\n        `Model \"${modelName}\" references collection \"${model.storage.collection}\" which is not in storage.collections`,\n      );\n    }\n\n    // Mongo does not support multi-table inheritance (ADR 2): all variants of a base\n    // must share the same collection (single-table inheritance only).\n    if (model.base) {\n      const baseModel = contract.models[model.base];\n      if (baseModel) {\n        const variantCollection = model.storage.collection;\n        const baseCollection = baseModel.storage.collection;\n        if (variantCollection !== baseCollection) {\n          errors.push(\n            `Mongo does not support multi-table inheritance; variant \"${modelName}\" must share its base's collection (\"${baseCollection ?? '(none)'}\"), but has \"${variantCollection ?? '(none)'}\"`,\n          );\n        }\n      }\n    }\n\n    for (const [relName, relation] of Object.entries(model.relations ?? {})) {\n      const targetModel = contract.models[relation.to];\n\n      if (targetModel?.owner) {\n        if (targetModel.owner !== modelName) {\n          errors.push(\n            `Embed relation \"${relName}\" targets \"${relation.to}\" which is owned by \"${targetModel.owner}\", not \"${modelName}\"`,\n          );\n        }\n        if (targetModel.storage.collection) {\n          errors.push(\n            `Embed relation \"${relName}\" targets \"${relation.to}\" which must not have a collection`,\n          );\n        }\n      } else if ('on' in relation && relation.on) {\n        for (const localField of relation.on.localFields) {\n          if (!(localField in model.fields)) {\n            errors.push(\n              `Reference relation \"${relName}\": localField \"${localField}\" is not a field on model \"${modelName}\"`,\n            );\n          }\n        }\n\n        if (targetModel) {\n          for (const targetField of relation.on.targetFields) {\n            if (!(targetField in targetModel.fields)) {\n              errors.push(\n                `Reference relation \"${relName}\": targetField \"${targetField}\" is not a field on model \"${relation.to}\"`,\n              );\n            }\n          }\n        }\n      }\n    }\n  }\n\n  if (errors.length > 0) {\n    throw new Error(`Contract storage validation failed:\\n- ${errors.join('\\n- ')}`);\n  }\n}\n","import { validateContractDomain } from '@prisma-next/contract/validate-domain';\nimport { type as arktypeType } from 'arktype';\nimport { MongoContractSchema } from './contract-schema';\nimport type { MongoContract } from './contract-types';\nimport { validateMongoStorage } from './validate-storage';\n\nexport interface MongoContractIndices {\n  readonly variantToBase: Record<string, string>;\n  readonly modelToVariants: Record<string, string[]>;\n}\n\nexport interface ValidatedMongoContract<TContract extends MongoContract> {\n  readonly contract: TContract;\n  readonly indices: MongoContractIndices;\n}\n\nexport function validateMongoContract<TContract extends MongoContract>(\n  value: unknown,\n): ValidatedMongoContract<TContract> {\n  const parsed = MongoContractSchema(value);\n  if (parsed instanceof arktypeType.errors) {\n    throw new Error(`Contract structural validation failed: ${parsed.summary}`);\n  }\n\n  const contract = parsed as unknown as TContract;\n\n  validateContractDomain(contract);\n  validateMongoStorage(contract);\n\n  const indices = buildIndices(contract);\n\n  return { contract, indices };\n}\n\nfunction buildIndices(contract: MongoContract): MongoContractIndices {\n  const variantToBase: Record<string, string> = {};\n  const modelToVariants: Record<string, string[]> = {};\n\n  for (const [modelName, model] of Object.entries(contract.models)) {\n    if (model.base) {\n      variantToBase[modelName] = model.base;\n    }\n    if (model.variants) {\n      modelToVariants[modelName] = Object.keys(model.variants);\n    }\n  }\n\n  return { variantToBase, modelToVariants };\n}\n"],"mappings":";;;;AAGA,MAAM,wBAAwB,KAAK;CACjC,KAAK;CACL,MAAM;CACN,SAAS;CACT,eAAe;CAChB,CAAC;AAEF,MAAM,6BAA6B,KAAK;CACtC,KAAK;CACL,MAAM;CACN,MAAM;CACP,CAAC;AAEF,MAAM,uBAAuB,KAAK;CAChC,KAAK;CACL,MAAM;CACN,SAAS,sBAAsB,GAAG,2BAA2B,CAAC,OAAO;CACtE,CAAC;AAEF,MAAM,kBAAkB,sBAAsB,GAAG,2BAA2B,CAAC,GAC3E,qBACD;AAUD,MAAM,cARiB,KAAK;CAC1B,KAAK;CACL,MAAM;CACN,aAAa;CACb,SAAS;CACT,SAAS;CACV,CAAC,CAEiC,MAAM,WAAW;CAClD,GAAG;CACH,UAAU,MAAM,YAAY;CAC7B,EAAE;AAEH,MAAM,mBAAmB,KAAK;CAC5B,KAAK;CACL,aAAa;CACb,cAAc;CACf,CAAC;AAEF,MAAM,iBAAiB,KAAK;CAC1B,KAAK;CACL,IAAI;CACJ,aAAa;CACb,OAAO;CACR,CAAC;AAEF,MAAM,6BAA6B,KAAK;CACtC,KAAK;CACL,OAAO;CACR,CAAC;AAEF,MAAM,2BAA2B,KAC9B,SAA6B,CAC7B,KAAK,mCAAmC;AAE3C,SAAS,kBAAkB,OAAkD;AAC3E,KAAI,OAAO,UAAU,YAAY,UAAU,QAAQ,MAAM,QAAQ,MAAM,CACrE,QAAO;CAET,MAAM,YAAY,OAAO,eAAe,MAAM;AAC9C,QAAO,cAAc,OAAO,aAAa,cAAc;;AAGzD,SAAS,oBAAoB,OAAe,MAAuB,OAA+B;AAChG,KAAI,KAAK,IAAI,MAAM,CACjB,QAAO;AAGT,MAAK,IAAI,MAAM;CACf,MAAM,SAAS,OAAO;AACtB,MAAK,OAAO,MAAM;AAClB,QAAO;;AAGT,SAAS,kBAAkB,OAAgB,MAAiD;AAC1F,QACE,kBAAkB,MAAM,IACxB,oBAAoB,OAAO,YACzB,OAAO,OAAO,MAAM,CAAC,OAAO,UAAU,iBAAiB,OAAO,KAAK,CAAC,CACrE;;AAIL,SAAS,iBAAiB,OAAgB,uBAAO,IAAI,SAAiB,EAA2B;AAC/F,KAAI,yBAAyB,OAAO,MAAM,CACxC,QAAO;AAET,KAAI,MAAM,QAAQ,MAAM,CACtB,QAAO,oBAAoB,OAAO,YAChC,MAAM,OAAO,UAAU,iBAAiB,OAAO,KAAK,CAAC,CACtD;AAEH,QAAO,kBAAkB,OAAO,KAAK;;AAGvC,MAAM,uBAAuB,KAAK,UAAU,CAAC,QAAQ,OAAO,QAC1D,iBAAiB,MAAM,GAAG,OAAO,IAAI,OAAO,qCAAqC,CAClF;AAED,MAAM,wBAAwB,KAAK,EAAE,YAAY,WAAW,CAAC,CAAC,QAAQ,OAAO,QAC3E,kBAAkB,MAAM,IACxB,OAAO,OAAO,MAAM,CAAC,OAAO,UAAU,qBAAqB,OAAO,MAAM,CAAC,GACrE,OACA,IAAI,OAAO,4CAA4C,CAC5D;AAED,MAAM,qBAAqB,KAAK,EAAE,YAAY,UAAU,CAAC;AAEzD,MAAM,oBAAoB,KAAK;CAC7B,KAAK;CACL,YAAY;CACb,CAAC,CAAC,QAAQ,QAAQ,QACjB,OAAO,KAAK,OAAO,CAAC,SAAS,IAAI,OAAO,IAAI,OAAO,6CAA6C,CACjG;AAED,MAAM,kBAAkB,KAAK;CAC3B,KAAK;CACL,QAAQ;CACR,cAAc;CACd,cAAc;CACd,aAAa;CACb,oBAAoB;CACpB,cAAc;CACd,gBAAgB;CAChB,cAAc;CACd,kBAAkB;CACnB,CAAC;AAEF,MAAM,2BAA2B,KAAK;CACpC,KAAK;CACL,YAAY;CACb,CAAC;AAEF,MAAM,qBAAqB,KAAK;CAC9B,KAAK;CACL,WAAW;CACX,SAAS;CACT,4BAA4B;CAC5B,WAAW;CACX,uBAAuB;CACvB,YAAY;CACZ,qBAAqB;CACrB,sBAAsB;CACtB,qBAAqB;CACrB,yBAAyB;CACzB,SAAS;CACT,QAAQ;CACR,QAAQ;CACR,eAAe;CACf,WAAW;CACX,cAAc;CACd,uBAAuB;CACxB,CAAC;AAEF,MAAM,cAAc,KAAK;CACvB,KAAK;CACL,QAAQ;CACR,YAAY;CACb,CAAC;AAEF,MAAM,4BAA4B,KAAK;CACrC,KAAK;CACL,kBAAkB;CACnB,CAAC;AAEF,MAAM,oCAAoC,KAAK;CAC7C,KAAK;CACL,WAAW;CACX,cAAc;CACd,gBAAgB;CAChB,yBAAyB;CACzB,0BAA0B;CAC3B,CAAC;AAEF,MAAM,+BAA+B,KAAK;CACxC,KAAK;CACL,YAAY;CACb,CAAC,CAAC,QAAQ,KAAK,QACd,OAAO,KAAK,IAAI,CAAC,SAAS,IACtB,OACA,IAAI,OAAO,oDAAoD,CACpE;AAED,MAAM,mCAAmC,KAAK;CAC5C,KAAK;CACL,SAAS;CACT,KAAK;CACL,QAAQ;CACT,CAAC;AAEF,MAAM,qCAAqC,KAAK;CAC9C,KAAK;CACL,SAAS;CACV,CAAC;AAEF,MAAM,0BAA0B,KAAK;CACnC,KAAK;CACL,WAAW;CACX,SAAS;CACT,QAAQ;CACR,kBAAkB;CAClB,wBAAwB;CACxB,cAAc;CACd,eAAe;CACf,mBAAmB;CACnB,uBAAuB;CACvB,iCAAiC;CAClC,CAAC;AAEF,MAAM,qBAAqB,KAAK;CAC9B,KAAK;CACL,eAAe;CACf,cAAc,KAAK,EAAE,YAAY,4BAA4B,CAAC;CAC/D,CAAC;AAEF,MAAM,sBAAsB,KAAK;CAC/B,KAAK;CACL,OAAO;CACR,CAAC;AAEF,MAAM,qBAAqB,KAAK;CAC9B,KAAK;CACL,OAAO;CACR,CAAC;AAEF,MAAM,wBAAwB,KAAK;CACjC,KAAK;CACL,QAAQ,KAAK,EAAE,YAAY,aAAa,CAAC;CACzC,SAAS;CACT,cAAc,KAAK,EAAE,YAAY,gBAAgB,CAAC;CAClD,kBAAkB;CAClB,aAAa,KAAK,EAAE,YAAY,oBAAoB,CAAC;CACrD,SAAS;CACT,UAAU;CACX,CAAC;AAEF,MAAM,0BAA0B,KAAK;CACnC,KAAK;CACL,YAAY,YAAY,OAAO;CAC/B,YAAY;CACb,CAAC;AAEF,MAAa,sBAAsB,KAAK;CACtC,KAAK;CACL,cAAc;CACd,kBAAkB;CAClB,WAAW;CACX,gBAAgB;CAChB,gBAAgB;CAChB,OAAO;CACP,iBAAiB;CACjB,mBAAmB;CACnB,SAAS;CACT,YAAY;CACZ,eAAe;CACf,SAAS,KAAK;EACZ,KAAK;EACL,aAAa,KAAK,EAAE,YAAY,yBAAyB,CAAC;EAC1D,gBAAgB;EACjB,CAAC;CACF,QAAQ,KAAK,EAAE,YAAY,uBAAuB,CAAC;CACnD,iBAAiB,KAAK,EACpB,YAAY,KAAK;EAAE,KAAK;EAAU,QAAQ,KAAK,EAAE,YAAY,aAAa,CAAC;EAAE,CAAC,EAC/E,CAAC;CACH,CAAC;;;;AC5QF,SAAgB,qBAAqB,UAA+B;CAClE,MAAMA,SAAmB,EAAE;AAE3B,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,EAAE;AAChE,MAAI,MAAM,QAAQ,cAAc,EAAE,MAAM,QAAQ,cAAc,SAAS,QAAQ,aAC7E,QAAO,KACL,UAAU,UAAU,2BAA2B,MAAM,QAAQ,WAAW,uCACzE;AAKH,MAAI,MAAM,MAAM;GACd,MAAM,YAAY,SAAS,OAAO,MAAM;AACxC,OAAI,WAAW;IACb,MAAM,oBAAoB,MAAM,QAAQ;IACxC,MAAM,iBAAiB,UAAU,QAAQ;AACzC,QAAI,sBAAsB,eACxB,QAAO,KACL,4DAA4D,UAAU,uCAAuC,kBAAkB,SAAS,eAAe,qBAAqB,SAAS,GACtL;;;AAKP,OAAK,MAAM,CAAC,SAAS,aAAa,OAAO,QAAQ,MAAM,aAAa,EAAE,CAAC,EAAE;GACvE,MAAM,cAAc,SAAS,OAAO,SAAS;AAE7C,OAAI,aAAa,OAAO;AACtB,QAAI,YAAY,UAAU,UACxB,QAAO,KACL,mBAAmB,QAAQ,aAAa,SAAS,GAAG,uBAAuB,YAAY,MAAM,UAAU,UAAU,GAClH;AAEH,QAAI,YAAY,QAAQ,WACtB,QAAO,KACL,mBAAmB,QAAQ,aAAa,SAAS,GAAG,oCACrD;cAEM,QAAQ,YAAY,SAAS,IAAI;AAC1C,SAAK,MAAM,cAAc,SAAS,GAAG,YACnC,KAAI,EAAE,cAAc,MAAM,QACxB,QAAO,KACL,uBAAuB,QAAQ,iBAAiB,WAAW,6BAA6B,UAAU,GACnG;AAIL,QAAI,aACF;UAAK,MAAM,eAAe,SAAS,GAAG,aACpC,KAAI,EAAE,eAAe,YAAY,QAC/B,QAAO,KACL,uBAAuB,QAAQ,kBAAkB,YAAY,6BAA6B,SAAS,GAAG,GACvG;;;;;AAQb,KAAI,OAAO,SAAS,EAClB,OAAM,IAAI,MAAM,0CAA0C,OAAO,KAAK,OAAO,GAAG;;;;;AChDpF,SAAgB,sBACd,OACmC;CACnC,MAAM,SAAS,oBAAoB,MAAM;AACzC,KAAI,kBAAkBC,KAAY,OAChC,OAAM,IAAI,MAAM,0CAA0C,OAAO,UAAU;CAG7E,MAAM,WAAW;AAEjB,wBAAuB,SAAS;AAChC,sBAAqB,SAAS;AAI9B,QAAO;EAAE;EAAU,SAFH,aAAa,SAAS;EAEV;;AAG9B,SAAS,aAAa,UAA+C;CACnE,MAAMC,gBAAwC,EAAE;CAChD,MAAMC,kBAA4C,EAAE;AAEpD,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,OAAO,EAAE;AAChE,MAAI,MAAM,KACR,eAAc,aAAa,MAAM;AAEnC,MAAI,MAAM,SACR,iBAAgB,aAAa,OAAO,KAAK,MAAM,SAAS;;AAI5D,QAAO;EAAE;EAAe;EAAiB"}

package/package.json

@@ -1,20 +1,20 @@
 {
   "name": "@prisma-next/mongo-contract",
-  "version": "0.0.1",
+  "version": "0.3.0-dev.147",
   "type": "module",
   "sideEffects": false,
   "description": "Contract types and validation for Prisma Next MongoDB support",
   "dependencies": {
     "arktype": "^2.1.29",
-    "@prisma-next/contract": "0.0.1"
+    "@prisma-next/contract": "0.3.0-dev.147"
   },
   "devDependencies": {
     "tsdown": "0.18.4",
     "typescript": "5.9.3",
     "vitest": "4.0.17",
-    "@prisma-next/test-utils": "0.0.1",
     "@prisma-next/tsconfig": "0.0.0",
-    "@prisma-next/adapter-mongo": "0.0.1",
+    "@prisma-next/test-utils": "0.0.1",
+    "@prisma-next/adapter-mongo": "0.3.0-dev.147",
     "@prisma-next/tsdown": "0.0.0"
   },
   "files": [

package/src/contract-schema.ts

@@ -1,4 +1,5 @@
 import { type } from 'arktype';
+import type { MongoJsonObject, MongoJsonPrimitive, MongoJsonValue } from './contract-types';
 
 const ScalarFieldTypeSchema = type({
   '+': 'reject',
@@ -54,6 +55,164 @@ const StorageRelationEntrySchema = type({
   field: 'string',
 });
 
+const MongoJsonPrimitiveSchema = type
+  .declare<MongoJsonPrimitive>()
+  .type('string | number | boolean | null');
+
+function isMongoJsonRecord(value: unknown): value is Record<string, unknown> {
+  if (typeof value !== 'object' || value === null || Array.isArray(value)) {
+    return false;
+  }
+  const prototype = Object.getPrototypeOf(value);
+  return prototype === Object.prototype || prototype === null;
+}
+
+function withUnseenReference(value: object, seen: WeakSet<object>, visit: () => boolean): boolean {
+  if (seen.has(value)) {
+    return false;
+  }
+
+  seen.add(value);
+  const result = visit();
+  seen.delete(value);
+  return result;
+}
+
+function isMongoJsonObject(value: unknown, seen: WeakSet<object>): value is MongoJsonObject {
+  return (
+    isMongoJsonRecord(value) &&
+    withUnseenReference(value, seen, () =>
+      Object.values(value).every((entry) => isMongoJsonValue(entry, seen)),
+    )
+  );
+}
+
+function isMongoJsonValue(value: unknown, seen = new WeakSet<object>()): value is MongoJsonValue {
+  if (MongoJsonPrimitiveSchema.allows(value)) {
+    return true;
+  }
+  if (Array.isArray(value)) {
+    return withUnseenReference(value, seen, () =>
+      value.every((entry) => isMongoJsonValue(entry, seen)),
+    );
+  }
+  return isMongoJsonObject(value, seen);
+}
+
+const MongoJsonValueSchema = type('unknown').narrow((value, ctx) =>
+  isMongoJsonValue(value) ? true : ctx.mustBe('a JSON-serializable MongoJsonValue'),
+);
+
+const MongoJsonObjectSchema = type({ '[string]': 'unknown' }).narrow((value, ctx) =>
+  isMongoJsonRecord(value) &&
+  Object.values(value).every((entry) => MongoJsonValueSchema.allows(entry))
+    ? true
+    : ctx.mustBe('a JSON object with MongoJsonValue entries'),
+);
+
+const NumberRecordSchema = type({ '[string]': 'number' });
+
+const IndexFieldsSchema = type({
+  '+': 'reject',
+  '[string]': '1 | -1 | "text" | "2dsphere" | "2d" | "hashed"',
+}).narrow((fields, ctx) =>
+  Object.keys(fields).length > 0 ? true : ctx.mustBe('an index field map with at least one entry'),
+);
+
+const CollationSchema = type({
+  '+': 'reject',
+  locale: 'string',
+  'caseLevel?': 'boolean',
+  'caseFirst?': '"off" | "upper" | "lower"',
+  'strength?': '1 | 2 | 3 | 4 | 5',
+  'numericOrdering?': 'boolean',
+  'alternate?': '"non-ignorable" | "shifted"',
+  'maxVariable?': '"punct" | "space"',
+  'backwards?': 'boolean',
+  'normalization?': 'boolean',
+});
+
+const WildcardProjectionSchema = type({
+  '+': 'reject',
+  '[string]': '0 | 1',
+});
+
+const IndexOptionsSchema = type({
+  '+': 'reject',
+  'unique?': 'boolean',
+  'name?': 'string',
+  'partialFilterExpression?': MongoJsonObjectSchema,
+  'sparse?': 'boolean',
+  'expireAfterSeconds?': 'number',
+  'weights?': NumberRecordSchema,
+  'default_language?': 'string',
+  'language_override?': 'string',
+  'textIndexVersion?': 'number',
+  '2dsphereIndexVersion?': 'number',
+  'bits?': 'number',
+  'min?': 'number',
+  'max?': 'number',
+  'bucketSize?': 'number',
+  'hidden?': 'boolean',
+  'collation?': CollationSchema,
+  'wildcardProjection?': WildcardProjectionSchema,
+});
+
+const IndexSchema = type({
+  '+': 'reject',
+  fields: IndexFieldsSchema,
+  'options?': IndexOptionsSchema,
+});
+
+const IndexOptionDefaultsSchema = type({
+  '+': 'reject',
+  'storageEngine?': MongoJsonObjectSchema,
+});
+
+const TimeSeriesCollectionOptionsSchema = type({
+  '+': 'reject',
+  timeField: 'string',
+  'metaField?': 'string',
+  'granularity?': '"seconds" | "minutes" | "hours"',
+  'bucketMaxSpanSeconds?': 'number',
+  'bucketRoundingSeconds?': 'number',
+});
+
+const ClusteredCollectionKeySchema = type({
+  '+': 'reject',
+  '[string]': '1',
+}).narrow((key, ctx) =>
+  Object.keys(key).length > 0
+    ? true
+    : ctx.mustBe('a clustered index key map with at least one entry'),
+);
+
+const ClusteredCollectionOptionsSchema = type({
+  '+': 'reject',
+  'name?': 'string',
+  key: ClusteredCollectionKeySchema,
+  unique: 'boolean',
+});
+
+const ChangeStreamPreAndPostImagesSchema = type({
+  '+': 'reject',
+  enabled: 'boolean',
+});
+
+const CollectionOptionsSchema = type({
+  '+': 'reject',
+  'capped?': 'boolean',
+  'size?': 'number',
+  'max?': 'number',
+  'storageEngine?': MongoJsonObjectSchema,
+  'indexOptionDefaults?': IndexOptionDefaultsSchema,
+  'collation?': CollationSchema,
+  'timeseries?': TimeSeriesCollectionOptionsSchema,
+  'clusteredIndex?': ClusteredCollectionOptionsSchema,
+  'expireAfterSeconds?': 'number',
+  'changeStreamPreAndPostImages?': ChangeStreamPreAndPostImagesSchema,
+});
+
 const ModelStorageSchema = type({
   '+': 'reject',
   'collection?': 'string',
@@ -81,7 +240,11 @@ const ModelDefinitionSchema = type({
   'owner?': 'string',
 });
 
-const StorageCollectionSchema = type({ '+': 'reject' });
+const StorageCollectionSchema = type({
+  '+': 'reject',
+  'indexes?': IndexSchema.array(),
+  'options?': CollectionOptionsSchema,
+});
 
 export const MongoContractSchema = type({
   '+': 'reject',

package/src/contract-types.ts

@@ -6,7 +6,108 @@ import type {
   StorageBase,
 } from '@prisma-next/contract/types';
 
-export type MongoStorageCollection = Record<string, never>;
+export type MongoIndexFieldValue = 1 | -1 | 'text' | '2dsphere' | '2d' | 'hashed';
+
+export type MongoIndexFields = Record<string, MongoIndexFieldValue>;
+
+export type MongoJsonPrimitive = string | number | boolean | null;
+
+export type MongoJsonValue = MongoJsonPrimitive | readonly MongoJsonValue[] | MongoJsonObject;
+
+export type MongoJsonObject = {
+  readonly [key: string]: MongoJsonValue;
+};
+
+export type MongoCollationCaseFirst = 'off' | 'upper' | 'lower';
+
+export type MongoCollationStrength = 1 | 2 | 3 | 4 | 5;
+
+export type MongoCollationAlternate = 'non-ignorable' | 'shifted';
+
+export type MongoCollationMaxVariable = 'punct' | 'space';
+
+export type MongoCollationOptions = {
+  readonly locale: string;
+  readonly caseLevel?: boolean;
+  readonly caseFirst?: MongoCollationCaseFirst;
+  readonly strength?: MongoCollationStrength;
+  readonly numericOrdering?: boolean;
+  readonly alternate?: MongoCollationAlternate;
+  readonly maxVariable?: MongoCollationMaxVariable;
+  readonly backwards?: boolean;
+  readonly normalization?: boolean;
+};
+
+export type MongoWildcardProjection = Readonly<Record<string, 0 | 1>>;
+
+export type MongoIndexOptions = {
+  readonly unique?: boolean;
+  readonly name?: string;
+  readonly partialFilterExpression?: MongoJsonObject;
+  readonly sparse?: boolean;
+  readonly expireAfterSeconds?: number;
+  readonly weights?: Readonly<Record<string, number>>;
+  readonly default_language?: string;
+  readonly language_override?: string;
+  readonly textIndexVersion?: number;
+  readonly '2dsphereIndexVersion'?: number;
+  readonly bits?: number;
+  readonly min?: number;
+  readonly max?: number;
+  readonly bucketSize?: number;
+  readonly hidden?: boolean;
+  readonly collation?: MongoCollationOptions;
+  readonly wildcardProjection?: MongoWildcardProjection;
+};
+
+export type MongoIndex = {
+  readonly fields: MongoIndexFields;
+  readonly options?: MongoIndexOptions;
+};
+
+export type MongoIndexOptionDefaults = {
+  readonly storageEngine?: MongoJsonObject;
+};
+
+export type MongoTimeSeriesGranularity = 'seconds' | 'minutes' | 'hours';
+
+export type MongoTimeSeriesCollectionOptions = {
+  readonly timeField: string;
+  readonly metaField?: string;
+  readonly granularity?: MongoTimeSeriesGranularity;
+  readonly bucketMaxSpanSeconds?: number;
+  readonly bucketRoundingSeconds?: number;
+};
+
+export type MongoClusteredCollectionKey = Readonly<Record<string, 1>>;
+
+export type MongoClusteredCollectionOptions = {
+  readonly name?: string;
+  readonly key: MongoClusteredCollectionKey;
+  readonly unique: boolean;
+};
+
+export type MongoChangeStreamPreAndPostImagesOptions = {
+  readonly enabled: boolean;
+};
+
+export type MongoCollectionOptions = {
+  readonly capped?: boolean;
+  readonly size?: number;
+  readonly max?: number;
+  readonly storageEngine?: MongoJsonObject;
+  readonly indexOptionDefaults?: MongoIndexOptionDefaults;
+  readonly collation?: MongoCollationOptions;
+  readonly timeseries?: MongoTimeSeriesCollectionOptions;
+  readonly clusteredIndex?: MongoClusteredCollectionOptions;
+  readonly expireAfterSeconds?: number;
+  readonly changeStreamPreAndPostImages?: MongoChangeStreamPreAndPostImagesOptions;
+};
+
+export type MongoStorageCollection = {
+  readonly indexes?: readonly MongoIndex[];
+  readonly options?: MongoCollectionOptions;
+};
 
 export type MongoStorage<THash extends string = string> = StorageBase<THash> & {
   readonly collections: Record<string, MongoStorageCollection>;
@@ -67,6 +168,15 @@ type ExtractValueObjects<TContract> = TContract extends {
   ? VO
   : Record<never, never>;
 
+type NormalizeContractFields<TFields> = {
+  [K in keyof TFields]: TFields[K] extends ContractField ? TFields[K] : never;
+};
+
+type ExtractValueObjectFields<
+  TValueObjects extends Record<string, ContractValueObject>,
+  VOName extends keyof TValueObjects,
+> = NormalizeContractFields<TValueObjects[VOName]['fields']>;
+
 type InferFieldBaseType<
   TFieldType,
   TValueObjects extends Record<string, ContractValueObject>,
@@ -76,8 +186,8 @@ type InferFieldBaseType<
   : TFieldType extends { kind: 'valueObject'; name: infer VOName extends string }
     ? VOName extends keyof TValueObjects
       ? {
-          -readonly [K in keyof TValueObjects[VOName]['fields']]: InferFieldType<
-            TValueObjects[VOName]['fields'][K],
+          -readonly [K in keyof ExtractValueObjectFields<TValueObjects, VOName>]: InferFieldType<
+            ExtractValueObjectFields<TValueObjects, VOName>[K],
             TValueObjects,
             TCodecTypes
           >;
@@ -93,16 +203,18 @@ type InferFieldBaseType<
       : unknown;
 
 type InferFieldType<
-  TField extends ContractField,
+  TField,
   TValueObjects extends Record<string, ContractValueObject>,
   TCodecTypes extends Record<string, { output: unknown }>,
-> = TField extends { many: true }
-  ? TField['nullable'] extends true
-    ? InferFieldBaseType<TField['type'], TValueObjects, TCodecTypes>[] | null
-    : InferFieldBaseType<TField['type'], TValueObjects, TCodecTypes>[]
-  : TField['nullable'] extends true
-    ? InferFieldBaseType<TField['type'], TValueObjects, TCodecTypes> | null
-    : InferFieldBaseType<TField['type'], TValueObjects, TCodecTypes>;
+> = TField extends ContractField
+  ? TField extends { many: true }
+    ? TField['nullable'] extends true
+      ? InferFieldBaseType<TField['type'], TValueObjects, TCodecTypes>[] | null
+      : InferFieldBaseType<TField['type'], TValueObjects, TCodecTypes>[]
+    : TField['nullable'] extends true
+      ? InferFieldBaseType<TField['type'], TValueObjects, TCodecTypes> | null
+      : InferFieldBaseType<TField['type'], TValueObjects, TCodecTypes>
+  : never;
 
 export type InferModelRow<
   TContract extends MongoContractWithTypeMaps<MongoContract, MongoTypeMaps>,

package/src/exports/index.ts

@@ -3,14 +3,34 @@ export type {
   ExtractMongoFieldOutputTypes,
   ExtractMongoTypeMaps,
   InferModelRow,
+  MongoChangeStreamPreAndPostImagesOptions,
+  MongoClusteredCollectionKey,
+  MongoClusteredCollectionOptions,
+  MongoCollationAlternate,
+  MongoCollationCaseFirst,
+  MongoCollationMaxVariable,
+  MongoCollationOptions,
+  MongoCollationStrength,
+  MongoCollectionOptions,
   MongoContract,
   MongoContractWithTypeMaps,
+  MongoIndex,
+  MongoIndexFields,
+  MongoIndexFieldValue,
+  MongoIndexOptionDefaults,
+  MongoIndexOptions,
+  MongoJsonObject,
+  MongoJsonPrimitive,
+  MongoJsonValue,
   MongoModelDefinition,
   MongoModelStorage,
   MongoStorage,
   MongoStorageCollection,
+  MongoTimeSeriesCollectionOptions,
+  MongoTimeSeriesGranularity,
   MongoTypeMaps,
   MongoTypeMapsPhantomKey,
+  MongoWildcardProjection,
 } from '../contract-types';
 export type { MongoContractIndices, ValidatedMongoContract } from '../validate-mongo-contract';
 export { validateMongoContract } from '../validate-mongo-contract';