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

package/dist/index.d.mts

@@ -0,0 +1,75 @@
+import { Contract, ContractField, ContractModel, ContractValueObject, StorageBase } from "@prisma-next/contract/types";
+
+//#region src/contract-types.d.ts
+type MongoStorageCollection = Record<string, never>;
+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 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 TValueObjects[VOName]['fields']]: InferFieldType<TValueObjects[VOName]['fields'][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 extends ContractField, 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>;
+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 MongoContract, type MongoContractIndices, type MongoContractWithTypeMaps, type MongoModelDefinition, type MongoModelStorage, type MongoStorage, type MongoStorageCollection, type MongoTypeMaps, type MongoTypeMapsPhantomKey, 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,sBAAA,GAAyB;KAEzB,8CAA8C,YAAY;EAF1D,SAAA,WAAA,EAGY,MAHU,CAAA,MAAA,EAGK,sBAHI,CAAA;AAE3C,CAAA;AAAsE,KAI1D,iBAAA,GAJ0D;EAAZ,SAAA,UAAA,CAAA,EAAA,MAAA;EACnB,SAAA,SAAA,CAAA,EAKhB,MALgB,CAAA,MAAA,EAAA;IAAf,SAAA,KAAA,EAAA,MAAA;EAAM,CAAA,CAAA;AAG9B,CAAA;AAKY,KAAA,oBAAA,GAAuB,aAAc,CAAA,iBAAd,CAAA;AAEvB,KAAA,aAAa,CAAA,UACb,YADa,GACE,YADF,EAAA,UAEb,MAFa,CAAA,MAAA,EAEE,oBAFF,CAAA,GAE0B,MAF1B,CAAA,MAAA,EAEyC,oBAFzC,CAAA,CAAA,GAGrB,QAHqB,CAGZ,CAHY,EAGT,CAHS,CAAA;AACb,KAIA,aAJA,CAAA,oBAKU,MALV,CAAA,MAAA,EAAA;EAAe,MAAA,EAAA,OAAA;CACA,CAAA,GAIiC,MAJjC,CAAA,MAAA,EAAA;EAAf,MAAA,EAAA,OAAA;CAAsD,CAAA,EAAA,wBAKxC,MALwC,CAAA,MAAA,EAAA,OAAA,CAAA,GAKd,MALc,CAAA,MAAA,EAAA,KAAA,CAAA,EAAA,0BAMtC,MANsC,CAAA,MAAA,EAMvB,MANuB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAMI,MANJ,CAAA,MAAA,EAQ9D,MAR8D,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,CAAA,GAAA;EAAf,SAAA,UAAA,EAW5B,WAX4B;EACtC,SAAA,cAAA,EAWc,eAXd;EAAG,SAAA,gBAAA,EAYa,iBAZb;CAAZ;AAAQ,KAeA,uBAAA,GAfA,uCAAA;AAEA,KAeA,yBAfa,CAAA,SAAA,EAAA,SAAA,CAAA,GAeqC,SAfrC,GAAA,iBAgBR,uBAfK,IAesB,SAftB,EAAsC;AAClC,KAiBd,oBAjBc,CAAA,CAAA,CAAA,GAiBY,uBAjBZ,SAAA,MAiBkD,CAjBlD,GAkBtB,WAlBsB,CAkBV,CAlBU,CAkBR,uBAlBQ,GAAA,MAkBwB,CAlBxB,CAAA,CAAA,GAAA,KAAA;AAA0B,KAqBxC,sBArBwC,CAAA,CAAA,CAAA,GAsBlD,oBAtBkD,CAsB7B,CAtB6B,CAAA,SAAA;EACT,UAAA,EAAA,KAAA,EAAA;CAAf,GAAA,CAAA,SAsBZ,MAtBY,CAAA,MAAA,EAAA;EAExB,MAAA,EAAA,OAAA;CAFkE,CAAA,GAAA,CAAA,GAwB9D,MAxB8D,CAAA,MAAA,EAAA,KAAA,CAAA,GAyBhE,MAzBgE,CAAA,MAAA,EAAA,KAAA,CAAA;AAK/C,KAsBX,4BAtBW,CAAA,CAAA,CAAA,GAuBrB,oBAvBqB,CAuBA,CAvBA,CAAA,SAAA;EACI,gBAAA,EAAA,KAAA,EAAA;CACE,GAAA,CAAA,SAsBb,MAtBa,CAAA,MAAA,EAsBE,MAtBF,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAAA,CAAA,GAwBrB,MAxBqB,CAAA,MAAA,EAAA,KAAA,CAAA,GAyBvB,MAzBuB,CAAA,MAAA,EAAA,KAAA,CAAA;KA2BxB,mBA3ByC,CAAA,SAAA,CAAA,GA2BR,SA3BQ,SAAA;EAGlC,YAAA,EAAA,KAAA,YAyBqB,MAzBE,CAAA,MAAA,EAyBa,mBAzBb,CAAA;AAEnC,CAAA,GAAY,EAAA,GA0BR,MA1BQ,CAAA,KAAA,EAAA,KAAA,CAAA;KA4BP,kBA5ByD,CAAA,UAAA,EAAA,sBA8BtC,MA9BsC,CAAA,MAAA,EA8BvB,mBA9BuB,CAAA,EAAA,oBA+BxC,MA/BwC,CAAA,MAAA,EAAA;EAC7C,MAAA,EAAA,OAAA;CAA2B,CAAA,CAAA,GA+BxC,UA/BwC,SAAA;EAAS,IAAA,EAAA,QAAA;EAGzC,OAAA,EAAA,KAAA,aAAoB,MAAA,GAAA,MA4BmD,WA5BnD;CAAM,GA6BlC,WA7BkC,CA6BtB,GA7BsB,CAAA,CAAA,QAAA,CAAA,GA8BlC,UA9BkC,SAAA;EAAsC,IAAA,EAAA,aAAA;EAC5D,IAAA,EAAA,KAAA,gBAAA,MAAA;CAAE,GAAA,MAAA,SAAA,MA8BS,aA9BT,GAAA,kBAAgC,MAgClB,aAhCkB,CAgCJ,MAhCI,CAAA,CAAA,QAAA,CAAA,GAgCgB,cAhChB,CAiCtC,aAjCsC,CAiCxB,MAjCwB,CAAA,CAAA,QAAA,CAAA,CAiCN,CAjCM,CAAA,EAkCtC,aAlCsC,EAmCtC,WAnCsC,CAAA,EAA9C,GAAA,OAAA,GAuCE,UAvCF,SAAA;EAAW,IAAA,EAAA,OAAA;EAGH,OAAA,EAAA,KAAA,kBAsC8B,aAtCR,CAAA,OAAA,CAAA;CACX,GAuCf,QAvCe,CAAA,MAAA,CAAA,SAAA,KAAA,QAAA,GAwCb,kBAxCa,CAwCM,OAxCN,EAwCe,aAxCf,EAwC8B,WAxC9B,CAAA,GAAA,OAAA,GAAA,OAAA;KA4ClB,cA5CH,CAAA,eA6Ce,aA7Cf,EAAA,sBA8CsB,MA9CtB,CAAA,MAAA,EA8CqC,mBA9CrC,CAAA,EAAA,oBA+CoB,MA/CpB,CAAA,MAAA,EAAA;EACc,MAAA,EAAA,OAAA;CAER,CAAA,CAAA,GA6CJ,MA7CI,SAAA;EACF,IAAA,EAAA,IAAA;CAAM,GA6CR,MA7CQ,CAAA,UAAA,CAAA,SAAA,IAAA,GA8CN,kBA9CM,CA8Ca,MA9Cb,CAAA,MAAA,CAAA,EA8C6B,aA9C7B,EA8C4C,WA9C5C,CAAA,EAAA,GAAA,IAAA,GA+CN,kBA/CM,CA+Ca,MA/Cb,CAAA,MAAA,CAAA,EA+C6B,aA/C7B,EA+C4C,WA/C5C,CAAA,EAAA,GAgDR,MAhDQ,CAAA,UAAA,CAAA,SAAA,IAAA,GAiDN,kBAjDM,CAiDa,MAjDb,CAAA,MAAA,CAAA,EAiD6B,aAjD7B,EAiD4C,WAjD5C,CAAA,GAAA,IAAA,GAkDN,kBAlDM,CAkDa,MAlDb,CAAA,MAAA,CAAA,EAkD6B,aAlD7B,EAkD4C,WAlD5C,CAAA;AAEA,KAkDA,aAlDA,CAAA,kBAmDQ,yBAnDoB,CAmDM,aAnDN,EAmDqB,aAnDrB,CAAA,EAAA,kBAAA,MAAA,GAAA,MAoDL,SApDK,CAAA,QAAA,CAAA,EAAA,gBAqDtB,MArDsB,CAAA,MAAA,EAqDP,aArDO,CAAA,GAqDU,SArDV,CAAA,QAAA,CAAA,CAqD8B,SArD9B,CAAA,CAAA,QAAA,CAAA,EAAA,oBAsDlB,MAtDkB,CAAA,MAAA,EAAA;EACjB,MAAA,EAAA,OAAA;CAArB,CAAA,GAqD0D,sBArD1D,CAqDiF,SArDjF,CAAA,EAAA,sBAsDsB,MAtDtB,CAAA,MAAA,EAsDqC,mBAtDrC,CAAA,GAsD4D,mBAtD5D,CAsDgF,SAtDhF,CAAA,CAAA,GAAA,0BAC6B,MAuDC,OAvDD,GAuDW,cAvDX,CAwD3B,OAxD2B,CAwDnB,SAxDmB,CAAA,EAyD3B,aAzD2B,EA0D3B,WA1D2B,CAAA,EAAf;;;UCpDC,oBAAA;0BACS;EDCd,SAAA,eAAA,ECAgB,MDAM,CAAA,MAAG,EAAA,MAAM,EAAA,CAAA;AAE3C;AAAsE,UCCrD,sBDDqD,CAAA,kBCCZ,aDDY,CAAA,CAAA;EAAZ,SAAA,QAAA,ECErC,SDFqC;EACnB,SAAA,OAAA,ECEnB,oBDFmB;;AAAT,iBCKd,qBDLc,CAAA,kBCK0B,aDL1B,CAAA,CAAA,KAAA,EAAA,OAAA,CAAA,ECO3B,sBDP2B,CCOJ,SDPI,CAAA;;;iBETd,oBAAA,WAA+B"}

package/dist/index.mjs

@@ -0,0 +1,154 @@
+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 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" });
+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';\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 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({ '+': 'reject' });\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":";;;;AAEA,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,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,EAAE,KAAK,UAAU,CAAC;AAEvD,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;;;;ACzGF,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,21 +1,21 @@
 {
   "name": "@prisma-next/mongo-contract",
-  "version": "0.0.1",
+  "version": "0.3.0-dev.146",
   "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.146"
   },
   "devDependencies": {
     "tsdown": "0.18.4",
     "typescript": "5.9.3",
     "vitest": "4.0.17",
+    "@prisma-next/adapter-mongo": "0.3.0-dev.146",
     "@prisma-next/test-utils": "0.0.1",
-    "@prisma-next/tsconfig": "0.0.0",
-    "@prisma-next/adapter-mongo": "0.0.1",
-    "@prisma-next/tsdown": "0.0.0"
+    "@prisma-next/tsdown": "0.0.0",
+    "@prisma-next/tsconfig": "0.0.0"
   },
   "files": [
     "dist",