@prisma-next/mongo-contract 0.13.0-dev.34 → 0.13.0-dev.35

package/dist/mongo-collection-BCi-Bq_a.d.mts

@@ -0,0 +1,530 @@
+import { Contract, ContractField, ContractModel, ContractValueObject, ContractValueObjectDefinitions, ControlPolicy, StorageBase } from "@prisma-next/contract/types";
+import { IRNodeBase, Namespace, UNBOUND_NAMESPACE_ID } from "@prisma-next/framework-components/ir";
+import { CollationOptions } from "@prisma-next/mongo-value/mongodb-types";
+
+//#region src/ir/mongo-collation-options.d.ts
+type MongoCollationCaseFirst = 'off' | 'upper' | 'lower';
+type MongoCollationStrength = 1 | 2 | 3 | 4 | 5;
+type MongoCollationAlternate = 'non-ignorable' | 'shifted';
+type MongoCollationMaxVariable = 'punct' | 'space';
+/**
+ * Authoring / hydration input shape for {@link MongoCollationOptions}. Carries
+ * the canonical data without the IR-class `kind` discriminator; the class
+ * fabricates `kind` so the authoring DSL and the SPI hydration walker can
+ * pass plain data literals through the constructor without forcing every
+ * call site to spell out `kind: 'mongo-collation-options'`.
+ */
+interface MongoCollationOptionsInput {
+  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;
+}
+/**
+ * Mongo Contract IR leaf for collection / index collation options.
+ *
+ * Lifted from a `type =` data shape to an AST class extending
+ * `IRNodeBase` per FR18 ("Mongo's Contract IR is fully unified under
+ * the AST-class pattern, layered family / target"). Single concrete class
+ * (no target subclass): collation options carry no target-specific
+ * variation at this layer — both Atlas and self-hosted Mongo consume the
+ * same option vocabulary.
+ *
+ * Undefined optional fields are not assigned, so `JSON.stringify` omits
+ * them from the canonical JSON output (matches the pre-lift data shape's
+ * round-trip behaviour, modulo the new `kind` discriminator).
+ */
+declare class MongoCollationOptions extends IRNodeBase {
+  readonly kind: "mongo-collation-options";
+  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;
+  constructor(options: MongoCollationOptionsInput);
+}
+//#endregion
+//#region src/ir/mongo-index-options.d.ts
+/**
+ * Authoring / hydration input shape for {@link MongoIndexOptions}. Carries
+ * the index option vocabulary as plain data without the IR-class `kind`
+ * discriminator. `collation` accepts either a class instance or its own
+ * input shape — the constructor normalises to the class form internally.
+ */
+interface MongoIndexOptionsInput {
+  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 | MongoCollationOptionsInput;
+  readonly wildcardProjection?: MongoWildcardProjection;
+}
+/**
+ * Mongo Contract IR node for the per-index option vocabulary (the second
+ * argument to `db.collection.createIndex(keys, options)` minus the keys
+ * themselves). Lifted from a `type =` data shape to an AST class
+ * extending `IRNodeBase` per FR18.
+ *
+ * Nested `collation` is itself an IR class (`MongoCollationOptions`); the
+ * constructor accepts either a class instance or a data literal and
+ * normalises to the class form so downstream walks see a uniform IR tree.
+ */
+declare class MongoIndexOptions extends IRNodeBase {
+  readonly kind: "mongo-index-options";
+  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;
+  constructor(options?: MongoIndexOptionsInput);
+}
+//#endregion
+//#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 MongoWildcardProjection = Readonly<Record<string, 0 | 1>>;
+/**
+ * Authoring-DSL shape for a single index entry on a model — the
+ * `indexes` array element accepted by the contract-ts builder. The
+ * builder translates these (with model context) into {@link MongoIndex}
+ * IR-class instances on `MongoCollection.indexes`.
+ */
+type MongoIndexAuthoringInput = {
+  readonly fields: MongoIndexFields;
+  readonly options?: MongoIndexOptionsInput;
+};
+type MongoIndexKeyDirection = 1 | -1 | 'text' | '2dsphere' | '2d' | 'hashed';
+interface MongoIndexKey {
+  readonly field: string;
+  readonly direction: MongoIndexKeyDirection;
+}
+type MongoModelStorage = {
+  readonly collection?: string;
+  readonly relations?: Record<string, {
+    readonly field: string;
+  }>;
+};
+type MongoModelDefinition = ContractModel<MongoModelStorage>;
+type MongoNamespaceEntries = Readonly<Record<string, Readonly<Record<string, unknown>>>> & {
+  readonly collection?: Readonly<Record<string, MongoCollection>>;
+};
+type MongoStorageShape<THash extends string = string> = StorageBase<THash> & {
+  readonly namespaces: Record<string, Namespace & {
+    readonly entries: MongoNamespaceEntries;
+  }>;
+};
+type MongoContract<S extends MongoStorageShape = MongoStorageShape> = Contract<S>;
+/**
+ * Model map for the contract's sole (unbound) domain namespace. Mongo is
+ * structurally single-namespace, so its models live under
+ * {@link UNBOUND_NAMESPACE_ID} rather than in a flat cross-namespace union.
+ * Every Mongo type that needs the model map reads it through here, so none
+ * indexes the contract's namespaces directly.
+ */
+type MongoModelsMap<TContract extends MongoContract> = TContract['domain']['namespaces'][typeof UNBOUND_NAMESPACE_ID]['models'];
+type RootModelName<TContract extends MongoContract, RootName extends keyof TContract['roots'] & string> = TContract['roots'][RootName] extends {
+  readonly model: infer M extends string;
+} ? M & keyof MongoModelsMap<TContract> : never;
+type MongoTypeMaps<TCodecTypes extends Record<string, {
+  output: unknown;
+}> = Record<string, {
+  output: unknown;
+}>, TFieldOutputTypes extends Record<string, Record<string, unknown>> = Record<string, Record<string, unknown>>, TFieldInputTypes extends Record<string, Record<string, unknown>> = Record<string, Record<string, unknown>>> = {
+  readonly codecTypes: TCodecTypes;
+  readonly fieldOutputTypes: TFieldOutputTypes;
+  readonly fieldInputTypes: TFieldInputTypes;
+};
+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 ExtractMongoFieldInputTypes<T> = ExtractMongoTypeMaps<T> extends {
+  fieldInputTypes: infer F;
+} ? F extends Record<string, Record<string, unknown>> ? F : Record<string, never> : Record<string, never>;
+/**
+ * The per-model field-output map at the contract's unbound namespace. The
+ * framework emitter nests `FieldOutputTypes` by namespace id
+ * (`{ [ns]: { [model]: { [field]: <refined> } } }`); Mongo is structurally
+ * single-namespace, so its refined rows resolve the per-model map under
+ * {@link UNBOUND_NAMESPACE_ID}. A map without that coordinate (e.g. a contract
+ * carrying no type maps) resolves to `never`, which the row resolvers read as
+ * "no refined map" and fall back to codec-based inference.
+ */
+type MongoUnboundFieldOutputTypes<T> = ExtractMongoFieldOutputTypes<T> extends Record<typeof UNBOUND_NAMESPACE_ID, infer Inner> ? Inner : never;
+/** Input-side counterpart of {@link MongoUnboundFieldOutputTypes}. */
+type MongoUnboundFieldInputTypes<T> = ExtractMongoFieldInputTypes<T> extends Record<typeof UNBOUND_NAMESPACE_ID, infer Inner> ? Inner : never;
+type ExtractValueObjects<TContract extends Contract> = ContractValueObjectDefinitions<TContract>;
+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>, 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 MongoModelsMap<TContract>, TFields extends Record<string, ContractField> = MongoModelsMap<TContract>[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/ir/mongo-change-stream-pre-and-post-images-options.d.ts
+interface MongoChangeStreamPreAndPostImagesOptionsInput {
+  readonly enabled: boolean;
+}
+/**
+ * Change-stream pre-and-post-images collection option. Lifted from a
+ * `type =` data shape to an AST class extending `IRNodeBase` per
+ * FR18. Single-field shape; the class exists for AST-pattern
+ * consistency (every nested data shape inside `MongoCollectionOptions`
+ * is an AST node so the verifier can walk uniformly).
+ */
+declare class MongoChangeStreamPreAndPostImagesOptions extends IRNodeBase {
+  readonly kind: "mongo-change-stream-pre-and-post-images-options";
+  readonly enabled: boolean;
+  constructor(options: MongoChangeStreamPreAndPostImagesOptionsInput);
+}
+//#endregion
+//#region src/ir/mongo-clustered-collection-options.d.ts
+type MongoClusteredCollectionKey = Readonly<Record<string, 1>>;
+interface MongoClusteredCollectionOptionsInput {
+  readonly name?: string;
+  readonly key: MongoClusteredCollectionKey;
+  readonly unique: boolean;
+}
+/**
+ * Clustered-collection options (the `clusteredIndex` collection-creation
+ * field). Lifted from a `type =` data shape to an AST class extending
+ * `IRNodeBase` per FR18.
+ *
+ * MongoDB requires `key` and `unique` for any clustered collection; the
+ * constructor enforces presence by type signature.
+ */
+declare class MongoClusteredCollectionOptions extends IRNodeBase {
+  readonly kind: "mongo-clustered-collection-options";
+  readonly name?: string;
+  readonly key: MongoClusteredCollectionKey;
+  readonly unique: boolean;
+  constructor(options: MongoClusteredCollectionOptionsInput);
+}
+//#endregion
+//#region src/ir/mongo-index-option-defaults.d.ts
+interface MongoIndexOptionDefaultsInput {
+  readonly storageEngine?: MongoJsonObject;
+}
+/**
+ * Collection-level default index options (the `indexOptionDefaults`
+ * collection-creation field on Mongo's `createCollection`). Lifted from
+ * a `type =` data shape to an AST class extending `IRNodeBase` per
+ * FR18 (Mongo Contract IR fully unified under the AST-class pattern).
+ *
+ * Carries `storageEngine` only — the underlying MongoDB option set is
+ * intentionally narrow at this layer; per-engine richer option vocabularies
+ * are out of scope for this project.
+ */
+declare class MongoIndexOptionDefaults extends IRNodeBase {
+  readonly kind: "mongo-index-option-defaults";
+  readonly storageEngine?: MongoJsonObject;
+  constructor(options?: MongoIndexOptionDefaultsInput);
+}
+//#endregion
+//#region src/ir/mongo-time-series-collection-options.d.ts
+type MongoTimeSeriesGranularity = 'seconds' | 'minutes' | 'hours';
+interface MongoTimeSeriesCollectionOptionsInput {
+  readonly timeField: string;
+  readonly metaField?: string;
+  readonly granularity?: MongoTimeSeriesGranularity;
+  readonly bucketMaxSpanSeconds?: number;
+  readonly bucketRoundingSeconds?: number;
+}
+/**
+ * Time-series collection options. Lifted from a `type =` data shape to
+ * an AST class extending `IRNodeBase` per FR18.
+ *
+ * MongoDB requires `timeField` for any time-series collection; the
+ * constructor enforces presence by type signature (`timeField: string`
+ * is required on the input).
+ */
+declare class MongoTimeSeriesCollectionOptions extends IRNodeBase {
+  readonly kind: "mongo-time-series-collection-options";
+  readonly timeField: string;
+  readonly metaField?: string;
+  readonly granularity?: MongoTimeSeriesGranularity;
+  readonly bucketMaxSpanSeconds?: number;
+  readonly bucketRoundingSeconds?: number;
+  constructor(options: MongoTimeSeriesCollectionOptionsInput);
+}
+//#endregion
+//#region src/ir/mongo-collection-options.d.ts
+/**
+ * Storage-shape sub-shape: only `name` is persisted on the storage
+ * `clusteredIndex` field. The richer authoring vocabulary
+ * (`MongoClusteredCollectionOptions.key`, `…unique`) is intentionally
+ * not round-tripped through the on-disk JSON envelope — those fields
+ * are application-side configuration that informs collection creation
+ * but does not survive into the persisted collection options.
+ */
+interface MongoStorageClusteredIndexShape {
+  readonly name?: string;
+}
+/**
+ * Storage-shape sub-shape: `capped` collections persist `size` (required)
+ * and optionally `max` document count. The authoring DSL surface uses a
+ * flat `capped: boolean` + separate `size` / `max` fields; builders
+ * translate that authoring vocabulary into this nested storage form
+ * before constructing {@link MongoCollectionOptions}.
+ */
+interface MongoStorageCappedShape {
+  readonly size: number;
+  readonly max?: number;
+}
+/**
+ * Hydration / construction input shape for {@link MongoCollectionOptions}.
+ * Mirrors the on-disk storage JSON envelope exactly (nested `capped`,
+ * `clusteredIndex`, …) so the family-base serializer's hydration walker
+ * can hand an arktype-validated object literal straight to `new`.
+ * Nested IR-class fields may be supplied as either plain data literals
+ * (typical for JSON-derived input) or already-constructed class
+ * instances (typical when re-wrapping during a partial walk).
+ */
+interface MongoCollectionOptionsInput {
+  readonly capped?: MongoStorageCappedShape;
+  readonly storageEngine?: MongoJsonObject;
+  readonly indexOptionDefaults?: MongoIndexOptionDefaults | MongoIndexOptionDefaultsInput;
+  readonly collation?: MongoCollationOptions | MongoCollationOptionsInput;
+  readonly timeseries?: MongoTimeSeriesCollectionOptions | MongoTimeSeriesCollectionOptionsInput;
+  readonly clusteredIndex?: MongoStorageClusteredIndexShape;
+  readonly expireAfterSeconds?: number;
+  readonly changeStreamPreAndPostImages?: MongoChangeStreamPreAndPostImagesOptions | MongoChangeStreamPreAndPostImagesOptionsInput;
+}
+/**
+ * Authoring-side flat vocabulary accepted by the contract-ts builder
+ * DSL (e.g. `capped: boolean` + separate `size` / `max` scalars). The
+ * builder translates this surface into a {@link MongoCollectionOptionsInput}
+ * before constructing {@link MongoCollectionOptions}. Kept as a
+ * standalone type so authoring DSL ergonomics do not leak into the
+ * storage IR construction contract.
+ */
+interface MongoCollectionOptionsAuthoringInput {
+  readonly capped?: boolean;
+  readonly size?: number;
+  readonly max?: number;
+  readonly storageEngine?: MongoJsonObject;
+  readonly indexOptionDefaults?: MongoIndexOptionDefaults | MongoIndexOptionDefaultsInput;
+  readonly collation?: MongoCollationOptions | MongoCollationOptionsInput;
+  readonly timeseries?: MongoTimeSeriesCollectionOptions | MongoTimeSeriesCollectionOptionsInput;
+  readonly clusteredIndex?: MongoClusteredCollectionOptions | MongoClusteredCollectionOptionsInput;
+  readonly expireAfterSeconds?: number;
+  readonly changeStreamPreAndPostImages?: MongoChangeStreamPreAndPostImagesOptions | MongoChangeStreamPreAndPostImagesOptionsInput;
+}
+/**
+ * Mongo Contract IR node for collection-level creation options (the
+ * second argument to `db.createCollection(name, options)`). Lifted from
+ * the pre-M2R2 `MongoStorageCollectionOptions` storage interface to a
+ * class extending `IRNodeBase` per FR18.
+ *
+ * Single concrete family-layer class (no target subclass). The
+ * constructor accepts the storage JSON envelope shape ({@link
+ * MongoCollectionOptionsInput}) so the family-base hydration walker
+ * can pass arktype-validated objects directly to `new`. Authoring
+ * vocabulary is translated to this shape upstream in the contract-ts
+ * builder.
+ *
+ * Nested IR sub-shapes (collation, timeseries, …) are normalised to
+ * their respective IR class instances inside the constructor so
+ * downstream walks see a uniform AST regardless of whether the input
+ * was a JSON literal or an already-constructed class.
+ */
+declare class MongoCollectionOptions extends IRNodeBase {
+  readonly kind: "mongo-collection-options";
+  readonly capped?: MongoStorageCappedShape;
+  readonly storageEngine?: MongoJsonObject;
+  readonly indexOptionDefaults?: MongoIndexOptionDefaults;
+  readonly collation?: MongoCollationOptions;
+  readonly timeseries?: MongoTimeSeriesCollectionOptions;
+  readonly clusteredIndex?: MongoStorageClusteredIndexShape;
+  readonly expireAfterSeconds?: number;
+  readonly changeStreamPreAndPostImages?: MongoChangeStreamPreAndPostImagesOptions;
+  constructor(input?: MongoCollectionOptionsInput);
+}
+//#endregion
+//#region src/ir/mongo-index.d.ts
+/**
+ * Hydration / construction input shape for {@link MongoIndex}. Mirrors
+ * the on-disk storage JSON envelope exactly so the family-base
+ * serializer's hydration walker can hand an arktype-validated literal
+ * straight to `new`.
+ */
+interface MongoIndexInput {
+  readonly keys: ReadonlyArray<MongoIndexKey>;
+  readonly unique?: boolean;
+  readonly sparse?: boolean;
+  readonly expireAfterSeconds?: number;
+  readonly partialFilterExpression?: Record<string, unknown>;
+  readonly wildcardProjection?: Record<string, 0 | 1>;
+  readonly collation?: CollationOptions;
+  readonly weights?: Record<string, number>;
+  readonly default_language?: string;
+  readonly language_override?: string;
+}
+/**
+ * Mongo Contract IR node for a single collection index entry (one
+ * element of `MongoCollection.indexes`). Lifted from the
+ * pre-M2R2 `MongoStorageIndex` storage interface to a class extending
+ * `IRNodeBase` per FR18.
+ *
+ * Single concrete family-layer class (no target subclass). The spec's
+ * `MongoTargetIndex extends MongoIndex` pattern remains additive — a
+ * future Mongo target with target-specific index extensions is free to
+ * subclass; for the single Mongo target shipped today a concrete
+ * family-layer class is enough and avoids a target-import layering
+ * violation from the contract-ts builder.
+ */
+declare class MongoIndex extends IRNodeBase {
+  readonly kind: "mongo-index";
+  readonly keys: ReadonlyArray<MongoIndexKey>;
+  readonly unique?: boolean;
+  readonly sparse?: boolean;
+  readonly expireAfterSeconds?: number;
+  readonly partialFilterExpression?: Record<string, unknown>;
+  readonly wildcardProjection?: Record<string, 0 | 1>;
+  readonly collation?: CollationOptions;
+  readonly weights?: Record<string, number>;
+  readonly default_language?: string;
+  readonly language_override?: string;
+  constructor(input: MongoIndexInput);
+}
+//#endregion
+//#region src/ir/mongo-validator.d.ts
+type MongoValidatorValidationLevel = 'strict' | 'moderate';
+type MongoValidatorValidationAction = 'error' | 'warn';
+interface MongoValidatorInput {
+  readonly jsonSchema: Record<string, unknown>;
+  readonly validationLevel: MongoValidatorValidationLevel;
+  readonly validationAction: MongoValidatorValidationAction;
+}
+/**
+ * Mongo Contract IR node for collection-level document validators (the
+ * `validator` field on Mongo's `createCollection`). Lifted from the
+ * pre-M2R2 `MongoStorageValidator` storage interface to a class extending
+ * `IRNodeBase` per FR18.
+ *
+ * Concrete at the family layer (no target subclass). The spec's
+ * abstract-family + target-concrete pattern (`MongoTargetValidator
+ * extends MongoValidator`) becomes meaningful when a second Mongo target
+ * introduces target-specific validator extensions (Atlas search rules,
+ * DocumentDB-specific levels, …); for the single Mongo target shipped
+ * today, a concrete family-layer class lets the PSL JSON-Schema deriver
+ * and the contract-ts builder construct instances directly without a
+ * target-import layering violation. Target subclassing remains additive
+ * — a future `MongoTargetValidator extends MongoValidator` is an
+ * additive change, not a breaking one.
+ */
+declare class MongoValidator extends IRNodeBase {
+  readonly kind: "mongo-validator";
+  readonly jsonSchema: Record<string, unknown>;
+  readonly validationLevel: MongoValidatorValidationLevel;
+  readonly validationAction: MongoValidatorValidationAction;
+  constructor(input: MongoValidatorInput);
+}
+//#endregion
+//#region src/ir/mongo-collection.d.ts
+/**
+ * Hydration / construction input shape for {@link MongoCollection}.
+ * Mirrors the on-disk storage JSON envelope exactly (the value held at
+ * `contract.storage.namespaces[<namespaceId>].entries.collection[<name>]`) so the family-base
+ * serializer's hydration walker can hand an arktype-validated literal
+ * straight to `new`. Nested IR-class fields may be supplied as either
+ * plain data literals (typical for JSON-derived input) or
+ * already-constructed class instances.
+ */
+interface MongoCollectionInput {
+  readonly indexes?: ReadonlyArray<MongoIndex | MongoIndexInput>;
+  readonly validator?: MongoValidator | MongoValidatorInput;
+  readonly options?: MongoCollectionOptions | MongoCollectionOptionsInput;
+  readonly control?: ControlPolicy;
+}
+/**
+ * Mongo Contract IR node for a single collection entry in a namespace's
+ * `collections` map. Lifted from the pre-M2R2
+ * `MongoStorageCollection` storage interface to a class extending
+ * `IRNodeBase` per FR18.
+ *
+ * Concrete at the family layer (no target subclass). The spec's
+ * `MongoTargetCollection extends MongoCollection` pattern remains
+ * additive: a future Mongo target with target-specific extensions is
+ * free to subclass without breaking the family-layer construction
+ * sites.
+ *
+ * The unprefixed name `MongoCollection` is now the contract IR class.
+ * Note that `@prisma-next/mongo-orm` also exports a (different)
+ * `MongoCollection<TContract, ModelName>` generic for the user-facing
+ * ORM query builder; the two live in separate packages and are
+ * resolved by import path. A source file that needs both should alias
+ * one (e.g. `import { MongoCollection as MongoContractCollection }
+ * from '@prisma-next/mongo-contract'`).
+ */
+declare class MongoCollection extends IRNodeBase {
+  readonly kind: "mongo-collection";
+  readonly indexes?: ReadonlyArray<MongoIndex>;
+  readonly validator?: MongoValidator;
+  readonly options?: MongoCollectionOptions;
+  readonly control?: ControlPolicy;
+  constructor(input?: MongoCollectionInput);
+}
+//#endregion
+export { MongoCollationMaxVariable as $, MongoContractWithTypeMaps as A, MongoModelStorage as B, MongoChangeStreamPreAndPostImagesOptionsInput as C, ExtractMongoTypeMaps as D, ExtractMongoFieldOutputTypes as E, MongoIndexKeyDirection as F, MongoUnboundFieldInputTypes as G, MongoStorageShape as H, MongoJsonObject as I, RootModelName as J, MongoUnboundFieldOutputTypes as K, MongoJsonPrimitive as L, MongoIndexFieldValue as M, MongoIndexFields as N, InferModelRow as O, MongoIndexKey as P, MongoCollationCaseFirst as Q, MongoJsonValue as R, MongoChangeStreamPreAndPostImagesOptions as S, ExtractMongoFieldInputTypes as T, MongoTypeMaps as U, MongoModelsMap as V, MongoTypeMapsPhantomKey as W, MongoIndexOptionsInput as X, MongoIndexOptions as Y, MongoCollationAlternate as Z, MongoIndexOptionDefaults as _, MongoValidatorValidationAction as a, MongoClusteredCollectionOptions as b, MongoIndexInput as c, MongoCollectionOptionsInput as d, MongoCollationOptions as et, MongoStorageCappedShape as f, MongoTimeSeriesGranularity as g, MongoTimeSeriesCollectionOptionsInput as h, MongoValidatorInput as i, MongoIndexAuthoringInput as j, MongoContract as k, MongoCollectionOptions as l, MongoTimeSeriesCollectionOptions as m, MongoCollectionInput as n, MongoCollationStrength as nt, MongoValidatorValidationLevel as o, MongoStorageClusteredIndexShape as p, MongoWildcardProjection as q, MongoValidator as r, MongoIndex as s, MongoCollection as t, MongoCollationOptionsInput as tt, MongoCollectionOptionsAuthoringInput as u, MongoIndexOptionDefaultsInput as v, ExtractMongoCodecTypes as w, MongoClusteredCollectionOptionsInput as x, MongoClusteredCollectionKey as y, MongoModelDefinition as z };
+//# sourceMappingURL=mongo-collection-BCi-Bq_a.d.mts.map

package/dist/mongo-collection-BCi-Bq_a.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mongo-collection-BCi-Bq_a.d.mts","names":[],"sources":["../src/ir/mongo-collation-options.ts","../src/ir/mongo-index-options.ts","../src/contract-types.ts","../src/ir/mongo-change-stream-pre-and-post-images-options.ts","../src/ir/mongo-clustered-collection-options.ts","../src/ir/mongo-index-option-defaults.ts","../src/ir/mongo-time-series-collection-options.ts","../src/ir/mongo-collection-options.ts","../src/ir/mongo-index.ts","../src/ir/mongo-validator.ts","../src/ir/mongo-collection.ts"],"mappings":";;;;;KAEY,uBAAA;AAAA,KACA,sBAAA;AAAA,KACA,uBAAA;AAAA,KACA,yBAAA;AAHZ;;;;AAAmC;AACnC;;AADA,UAYiB,0BAAA;EAAA,SACN,MAAA;EAAA,SACA,SAAA;EAAA,SACA,SAAA,GAAY,uBAAA;EAAA,SACZ,QAAA,GAAW,sBAAA;EAAA,SACX,eAAA;EAAA,SACA,SAAA,GAAY,uBAAA;EAAA,SACZ,WAAA,GAAc,yBAAA;EAAA,SACd,SAAA;EAAA,SACA,aAAA;AAAA;;AAlB0B;AASrC;;;;;;;;;;;;cA0Ba,qBAAA,SAA8B,UAAA;EAAA,SAChC,IAAA;EAAA,SACA,MAAA;EAAA,SACQ,SAAA;EAAA,SACA,SAAA,GAAY,uBAAA;EAAA,SACZ,QAAA,GAAW,sBAAA;EAAA,SACX,eAAA;EAAA,SACA,SAAA,GAAY,uBAAA;EAAA,SACZ,WAAA,GAAc,yBAAA;EAAA,SACd,SAAA;EAAA,SACA,aAAA;cAEL,OAAA,EAAS,0BAAA;AAAA;;;;;AAlDvB;;;;UCQiB,sBAAA;EAAA,SACN,MAAA;EAAA,SACA,IAAA;EAAA,SACA,uBAAA,GAA0B,eAAA;EAAA,SAC1B,MAAA;EAAA,SACA,kBAAA;EAAA,SACA,OAAA,GAAU,QAAA,CAAS,MAAA;EAAA,SACnB,gBAAA;EAAA,SACA,iBAAA;EAAA,SACA,gBAAA;EAAA,SACA,sBAAA;EAAA,SACA,IAAA;EAAA,SACA,GAAA;EAAA,SACA,GAAA;EAAA,SACA,UAAA;EAAA,SACA,MAAA;EAAA,SACA,SAAA,GAAY,qBAAA,GAAwB,0BAAA;EAAA,SACpC,kBAAA,GAAqB,uBAAA;AAAA;;;;;;;;;;;cAanB,iBAAA,SAA0B,UAAA;EAAA,SAC5B,IAAA;EAAA,SACQ,MAAA;EAAA,SACA,IAAA;EAAA,SACA,uBAAA,GAA0B,eAAA;EAAA,SAC1B,MAAA;EAAA,SACA,kBAAA;EAAA,SACA,OAAA,GAAU,QAAA,CAAS,MAAA;EAAA,SACnB,gBAAA;EAAA,SACA,iBAAA;EAAA,SACA,gBAAA;EAAA;EAAA,SAEA,IAAA;EAAA,SACA,GAAA;EAAA,SACA,GAAA;EAAA,SACA,UAAA;EAAA,SACA,MAAA;EAAA,SACA,SAAA,GAAY,qBAAA;EAAA,SACZ,kBAAA,GAAqB,uBAAA;cAE1B,OAAA,GAAS,sBAAA;AAAA;;;KCjDX,oBAAA;AAAA,KAEA,gBAAA,GAAmB,MAAM,SAAS,oBAAA;AAAA,KAElC,kBAAA;AAAA,KAEA,cAAA,GAAiB,kBAAA,YAA8B,cAAA,KAAmB,eAAA;AAAA,KAElE,eAAA;EAAA,UACA,GAAA,WAAc,cAAc;AAAA;AAAA,KAG5B,uBAAA,GAA0B,QAAQ,CAAC,MAAA;;;;AFpBb;AAClC;;KE2BY,wBAAA;EAAA,SACD,MAAA,EAAQ,gBAAA;EAAA,SACR,OAAA,GAAU,sBAAsB;AAAA;AAAA,KAG/B,sBAAA;AAAA,UAEK,aAAA;EAAA,SACN,KAAA;EAAA,SACA,SAAA,EAAW,sBAAsB;AAAA;AAAA,KAGhC,iBAAA;EAAA,SACD,UAAA;EAAA,SACA,SAAA,GAAY,MAAM;IAAA,SAAoB,KAAA;EAAA;AAAA;AAAA,KAGrC,oBAAA,GAAuB,aAAa,CAAC,iBAAA;AAAA,KAa5C,qBAAA,GAAwB,QAAA,CAAS,MAAA,SAAe,QAAA,CAAS,MAAA;EAAA,SACnD,UAAA,GAAa,QAAA,CAAS,MAAA,SAAe,eAAA;AAAA;AAAA,KAGpC,iBAAA,kCAAmD,WAAA,CAAY,KAAA;EAAA,SAChE,UAAA,EAAY,MAAA,SAEnB,SAAA;IAAA,SACW,OAAA,EAAS,qBAAA;EAAA;AAAA;AAAA,KAKZ,aAAA,WAAwB,iBAAA,GAAoB,iBAAA,IAAqB,QAAA,CAAS,CAAA;;;;;;;;KAS1E,cAAA,mBAAiC,aAAA,IAC3C,SAAA,gCAAyC,oBAAA;AAAA,KAE/B,aAAA,mBACQ,aAAA,yBACK,SAAA,sBACrB,SAAA,UAAmB,QAAA;EAAA,SAA6B,KAAA;AAAA,IAChD,CAAA,SAAU,cAAA,CAAe,SAAA;AAAA,KAGjB,aAAA,qBACU,MAAA;EAAiB,MAAA;AAAA,KAAqB,MAAA;EAAiB,MAAA;AAAA,8BACjD,MAAA,SAAe,MAAA,qBAA2B,MAAA,SAElE,MAAA,6CAEuB,MAAA,SAAe,MAAA,qBAA2B,MAAA,SAEjE,MAAA;EAAA,SAGO,UAAA,EAAY,WAAA;EAAA,SACZ,gBAAA,EAAkB,iBAAA;EAAA,SAClB,eAAA,EAAiB,gBAAA;AAAA;AAAA,KAGhB,uBAAA;AAAA,KAEA,yBAAA,yBAAkD,SAAA,oBAC7C,uBAAA,IAA2B,SAAA;AAAA,KAGhC,oBAAA,MAA0B,uBAAA,eAAsC,CAAA,GACxE,WAAA,CAAY,CAAA,CAAE,uBAAA,SAAgC,CAAA;AAAA,KAGtC,sBAAA,MACV,oBAAA,CAAqB,CAAA;EAAa,UAAA;AAAA,IAC9B,CAAA,SAAU,MAAA;EAAiB,MAAA;AAAA,KACzB,CAAA,GACA,MAAA,kBACF,MAAA;AAAA,KAEM,4BAAA,MACV,oBAAA,CAAqB,CAAA;EAAa,gBAAA;AAAA,IAC9B,CAAA,SAAU,MAAA,SAAe,MAAA,qBACvB,CAAA,GACA,MAAA,kBACF,MAAA;AAAA,KAEM,2BAAA,MACV,oBAAA,CAAqB,CAAA;EAAa,eAAA;AAAA,IAC9B,CAAA,SAAU,MAAA,SAAe,MAAA,qBACvB,CAAA,GACA,MAAA,kBACF,MAAA;;;;;;;;;;KAWM,4BAAA,MACV,4BAAA,CAA6B,CAAA,UAAW,MAAA,QAAc,oBAAA,iBAClD,KAAA;;KAIM,2BAAA,MACV,2BAAA,CAA4B,CAAA,UAAW,MAAA,QAAc,oBAAA,iBACjD,KAAA;AAAA,KAGD,mBAAA,mBAAsC,QAAA,IAAY,8BAAA,CAA+B,SAAA;AAAA,KAEjF,uBAAA,0BACS,OAAA,GAAU,OAAA,CAAQ,CAAA,UAAW,aAAA,GAAgB,OAAA,CAAQ,CAAA;AAAA,KAG9D,wBAAA,uBACmB,MAAA,SAAe,mBAAA,wBAChB,aAAA,IACnB,uBAAA,CAAwB,aAAA,CAAc,MAAA;AAAA,KAErC,kBAAA,mCAEmB,MAAA,SAAe,mBAAA,uBACjB,MAAA;EAAiB,MAAA;AAAA,MACnC,UAAA;EAAqB,IAAA;EAAgB,OAAA,mCAA0C,WAAA;AAAA,IAC/E,WAAA,CAAY,GAAA,cACZ,UAAA;EAAqB,IAAA;EAAqB,IAAA;AAAA,IACxC,MAAA,eAAqB,aAAA,2BAEK,wBAAA,CAAyB,aAAA,EAAe,MAAA,IAAU,cAAA,CACtE,wBAAA,CAAyB,aAAA,EAAe,MAAA,EAAQ,CAAA,GAChD,aAAA,EACA,WAAA,gBAIN,UAAA;EACI,IAAA;EACA,OAAA,yBAAgC,aAAA;AAAA,IAElC,QAAA,iCACE,kBAAA,CAAmB,OAAA,EAAS,aAAA,EAAe,WAAA;AAAA,KAIhD,cAAA,+BAEmB,MAAA,SAAe,mBAAA,uBACjB,MAAA;EAAiB,MAAA;AAAA,MACnC,MAAA,SAAe,aAAA,GACf,MAAA;EAAiB,IAAA;AAAA,IACf,MAAA,4BACE,kBAAA,CAAmB,MAAA,UAAgB,aAAA,EAAe,WAAA,aAClD,kBAAA,CAAmB,MAAA,UAAgB,aAAA,EAAe,WAAA,MACpD,MAAA,4BACE,kBAAA,CAAmB,MAAA,UAAgB,aAAA,EAAe,WAAA,WAClD,kBAAA,CAAmB,MAAA,UAAgB,aAAA,EAAe,WAAA;AAAA,KAG9C,aAAA,mBACQ,yBAAA,CAA0B,aAAA,EAAe,aAAA,oCAC1B,cAAA,CAAe,SAAA,mBAChC,MAAA,SAAe,aAAA,IAAiB,cAAA,CAAe,SAAA,EAAW,SAAA,iCACtD,MAAA;EAAiB,MAAA;AAAA,KAAqB,sBAAA,CAAuB,SAAA,yBAC3D,MAAA,SAAe,mBAAA,IAAuB,mBAAA,CAAoB,SAAA,qCAElD,OAAA,GAAU,cAAA,CACtC,OAAA,CAAQ,SAAA,GACR,aAAA,EACA,WAAA;;;UC1Na,6CAAA;EAAA,SACN,OAAO;AAAA;;AHDlB;;;;AAAmC;AACnC;cGUa,wCAAA,SAAiD,UAAU;EAAA,SAC7D,IAAA;EAAA,SACA,OAAA;cAEG,OAAA,EAAS,6CAAA;AAAA;;;KCfX,2BAAA,GAA8B,QAAQ,CAAC,MAAA;AAAA,UAElC,oCAAA;EAAA,SACN,IAAA;EAAA,SACA,GAAA,EAAK,2BAA2B;EAAA,SAChC,MAAA;AAAA;;;AJLwB;AACnC;;;;AAAkC;cIerB,+BAAA,SAAwC,UAAA;EAAA,SAC1C,IAAA;EAAA,SACQ,IAAA;EAAA,SACR,GAAA,EAAK,2BAAA;EAAA,SACL,MAAA;cAEG,OAAA,EAAS,oCAAA;AAAA;;;UCrBN,6BAAA;EAAA,SACN,aAAA,GAAgB,eAAe;AAAA;ALF1C;;;;AAAmC;AACnC;;;;AAAkC;AADlC,cKea,wBAAA,SAAiC,UAAA;EAAA,SACnC,IAAA;EAAA,SACQ,aAAA,GAAgB,eAAA;cAErB,OAAA,GAAS,6BAAA;AAAA;;;KCnBX,0BAAA;AAAA,UAEK,qCAAA;EAAA,SACN,SAAA;EAAA,SACA,SAAA;EAAA,SACA,WAAA,GAAc,0BAA0B;EAAA,SACxC,oBAAA;EAAA,SACA,qBAAA;AAAA;ANPwB;AACnC;;;;AAAkC;AAClC;;AAFmC,cMkBtB,gCAAA,SAAyC,UAAA;EAAA,SAC3C,IAAA;EAAA,SACA,SAAA;EAAA,SACQ,SAAA;EAAA,SACA,WAAA,GAAc,0BAAA;EAAA,SACd,oBAAA;EAAA,SACA,qBAAA;cAEL,OAAA,EAAS,qCAAA;AAAA;;;;;AN1BY;AACnC;;;;AAAkC;UOyBjB,+BAAA;EAAA,SACN,IAAI;AAAA;;APzBoB;AACnC;;;;AAAqC;UOkCpB,uBAAA;EAAA,SACN,IAAA;EAAA,SACA,GAAG;AAAA;;;;;;;;;;UAYG,2BAAA;EAAA,SACN,MAAA,GAAS,uBAAA;EAAA,SACT,aAAA,GAAgB,eAAA;EAAA,SAChB,mBAAA,GAAsB,wBAAA,GAA2B,6BAAA;EAAA,SACjD,SAAA,GAAY,qBAAA,GAAwB,0BAAA;EAAA,SACpC,UAAA,GAAa,gCAAA,GAAmC,qCAAA;EAAA,SAChD,cAAA,GAAiB,+BAAA;EAAA,SACjB,kBAAA;EAAA,SACA,4BAAA,GACL,wCAAA,GACA,6CAAA;AAAA;APxCkB;AAiBxB;;;;;;;AAjBwB,UOmDP,oCAAA;EAAA,SACN,MAAA;EAAA,SACA,IAAA;EAAA,SACA,GAAA;EAAA,SACA,aAAA,GAAgB,eAAA;EAAA,SAChB,mBAAA,GAAsB,wBAAA,GAA2B,6BAAA;EAAA,SACjD,SAAA,GAAY,qBAAA,GAAwB,0BAAA;EAAA,SACpC,UAAA,GAAa,gCAAA,GAAmC,qCAAA;EAAA,SAChD,cAAA,GAAiB,+BAAA,GAAkC,oCAAA;EAAA,SACnD,kBAAA;EAAA,SACA,4BAAA,GACL,wCAAA,GACA,6CAAA;AAAA;;;;;;;;;;;;APlC2C;;;;AC1CjD;;;cMiGa,sBAAA,SAA+B,UAAA;EAAA,SACjC,IAAA;EAAA,SACQ,MAAA,GAAS,uBAAA;EAAA,SACT,aAAA,GAAgB,eAAA;EAAA,SAChB,mBAAA,GAAsB,wBAAA;EAAA,SACtB,SAAA,GAAY,qBAAA;EAAA,SACZ,UAAA,GAAa,gCAAA;EAAA,SACb,cAAA,GAAiB,+BAAA;EAAA,SACjB,kBAAA;EAAA,SACA,4BAAA,GAA+B,wCAAA;cAEpC,KAAA,GAAO,2BAAA;AAAA;;;;;APpHrB;;;;UQQiB,eAAA;EAAA,SACN,IAAA,EAAM,aAAA,CAAc,aAAA;EAAA,SACpB,MAAA;EAAA,SACA,MAAA;EAAA,SACA,kBAAA;EAAA,SACA,uBAAA,GAA0B,MAAA;EAAA,SAC1B,kBAAA,GAAqB,MAAA;EAAA,SACrB,SAAA,GAAY,gBAAA;EAAA,SACZ,OAAA,GAAU,MAAA;EAAA,SACV,gBAAA;EAAA,SACA,iBAAA;AAAA;;;;ARf0B;AASrC;;;;;;;;;cQsBa,UAAA,SAAmB,UAAA;EAAA,SACrB,IAAA;EAAA,SACA,IAAA,EAAM,aAAA,CAAc,aAAA;EAAA,SACZ,MAAA;EAAA,SACA,MAAA;EAAA,SACA,kBAAA;EAAA,SACA,uBAAA,GAA0B,MAAA;EAAA,SAC1B,kBAAA,GAAqB,MAAA;EAAA,SACrB,SAAA,GAAY,gBAAA;EAAA,SACZ,OAAA,GAAU,MAAA;EAAA,SACV,gBAAA;EAAA,SACA,iBAAA;cAEL,KAAA,EAAO,eAAA;AAAA;;;KC/CT,6BAAA;AAAA,KACA,8BAAA;AAAA,UAEK,mBAAA;EAAA,SACN,UAAA,EAAY,MAAA;EAAA,SACZ,eAAA,EAAiB,6BAAA;EAAA,SACjB,gBAAA,EAAkB,8BAAA;AAAA;;ATNM;AACnC;;;;AAAkC;AAClC;;;;AAAmC;AACnC;;;;AAAqC;cSuBxB,cAAA,SAAuB,UAAA;EAAA,SACzB,IAAA;EAAA,SACA,UAAA,EAAY,MAAA;EAAA,SACZ,eAAA,EAAiB,6BAAA;EAAA,SACjB,gBAAA,EAAkB,8BAAA;cAEf,KAAA,EAAO,mBAAA;AAAA;;;AThCrB;;;;AAAmC;AACnC;;;;AADA,UUgBiB,oBAAA;EAAA,SACN,OAAA,GAAU,aAAA,CAAc,UAAA,GAAa,eAAA;EAAA,SACrC,SAAA,GAAY,cAAA,GAAiB,mBAAA;EAAA,SAC7B,OAAA,GAAU,sBAAA,GAAyB,2BAAA;EAAA,SACnC,OAAA,GAAU,aAAA;AAAA;AVjBrB;;;;AAAqC;AASrC;;;;;;;;;;;;;;;AATA,cUwCa,eAAA,SAAwB,UAAA;EAAA,SAC1B,IAAA;EAAA,SACQ,OAAA,GAAU,aAAA,CAAc,UAAA;EAAA,SACxB,SAAA,GAAY,cAAA;EAAA,SACZ,OAAA,GAAU,sBAAA;EAAA,SACV,OAAA,GAAU,aAAA;cAEf,KAAA,GAAO,oBAAA;AAAA"}

package/package.json

@@ -1,22 +1,22 @@
 {
   "name": "@prisma-next/mongo-contract",
-  "version": "0.13.0-dev.34",
+  "version": "0.13.0-dev.35",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "Contract types and validation for Prisma Next MongoDB support",
   "dependencies": {
-    "@prisma-next/contract": "0.13.0-dev.34",
-    "@prisma-next/framework-components": "0.13.0-dev.34",
-    "@prisma-next/mongo-value": "0.13.0-dev.34",
-    "@prisma-next/utils": "0.13.0-dev.34",
+    "@prisma-next/contract": "0.13.0-dev.35",
+    "@prisma-next/framework-components": "0.13.0-dev.35",
+    "@prisma-next/mongo-value": "0.13.0-dev.35",
+    "@prisma-next/utils": "0.13.0-dev.35",
     "arktype": "^2.2.0",
     "mongodb": "^7.2.0"
   },
   "devDependencies": {
-    "@prisma-next/test-utils": "0.13.0-dev.34",
-    "@prisma-next/tsconfig": "0.13.0-dev.34",
-    "@prisma-next/tsdown": "0.13.0-dev.34",
+    "@prisma-next/test-utils": "0.13.0-dev.35",
+    "@prisma-next/tsconfig": "0.13.0-dev.35",
+    "@prisma-next/tsdown": "0.13.0-dev.35",
     "tsdown": "0.22.1",
     "typescript": "5.9.3",
     "vitest": "4.1.8"
@@ -37,6 +37,7 @@
   "exports": {
     ".": "./dist/index.mjs",
     "./canonicalization-hooks": "./dist/canonicalization-hooks.mjs",
+    "./entity-kinds": "./dist/entity-kinds.mjs",
     "./package.json": "./package.json"
   },
   "engines": {

package/src/contract-schema.ts

@@ -312,7 +312,7 @@ const MongoCollectionOptionsSchema = type({
   'clusteredIndex?': ClusteredIndexSchema,
 });
 
-const StorageCollectionSchema = type({
+export const StorageCollectionSchema = type({
   '+': 'reject',
   'kind?': "'mongo-collection'",
   'indexes?': MongoStorageIndexSchema.array(),

package/src/entity-kinds.ts

@@ -0,0 +1,34 @@
+import type {
+  AnyEntityKindDescriptor,
+  EntityKindDescriptor,
+} from '@prisma-next/framework-components/ir';
+import { StorageCollectionSchema } from './contract-schema';
+import { MongoCollection, type MongoCollectionInput } from './ir/mongo-collection';
+
+export const collectionEntityKind: EntityKindDescriptor<MongoCollectionInput, MongoCollection> = {
+  kind: 'collection',
+  schema: StorageCollectionSchema,
+  construct: (input) => new MongoCollection(input),
+};
+
+/**
+ * Assembles the `kind → descriptor` registry for Mongo namespaces: the built-in
+ * `collection` kind plus any target `packKinds`. This builds the lookup table —
+ * it does not touch contract data. `hydrateNamespaceEntities` later consumes
+ * this registry to turn a namespace's raw entries into IR instances. Throws on
+ * a duplicate kind.
+ */
+export function composeMongoEntityKinds(
+  packKinds: readonly AnyEntityKindDescriptor[] = [],
+): ReadonlyMap<string, AnyEntityKindDescriptor> {
+  const kinds = new Map<string, AnyEntityKindDescriptor>([['collection', collectionEntityKind]]);
+  for (const descriptor of packKinds) {
+    if (kinds.has(descriptor.kind)) {
+      throw new Error(
+        `composeMongoEntityKinds: duplicate entity kind "${descriptor.kind}" — each kind may be registered only once`,
+      );
+    }
+    kinds.set(descriptor.kind, descriptor);
+  }
+  return kinds;
+}

package/src/exports/entity-kinds.ts

@@ -0,0 +1 @@
+export { collectionEntityKind, composeMongoEntityKinds } from '../entity-kinds';