@prisma-next/mongo-query-builder 0.12.0 → 0.13.0-dev.1

package/dist/index.d.mts

@@ -1,349 +1,9 @@
+import { A as ResolveRow, C as GroupedDocShape, D as NullableNumericField, E as NullableDocField, F as UnwoundShape, M as StringField, N as TypedAccumulatorExpr, O as NumericField, P as TypedAggExpr, S as GroupSpec, T as ModelToDocShape, _ as BooleanField, a as createFieldAccessor, b as DocShape, c as UpdaterResult, d as NestedDocShape, f as ObjectField, g as ArrayField, h as ValidPaths, i as ObjectExpression, j as SortSpec, k as ProjectedShape, l as ModelArrayField, m as ResolvePath, n as FieldAccessor, o as expr, p as PathCompletions, r as LeafExpression, s as TypedUpdateOp, t as Expression, u as ModelNestedShape, v as DateField, w as LiteralValue, x as ExtractDocShape, y as DocField } from "./field-accessor-BmcQj0lD.mjs";
 import { AggregateCommand, AnyMongoCommand, DeleteManyCommand, DeleteOneCommand, DeleteResult, DeleteResult as DeleteResult$1, FindOneAndDeleteCommand, FindOneAndUpdateCommand, InsertManyCommand, InsertManyResult, InsertManyResult as InsertManyResult$1, InsertOneCommand, InsertOneResult, InsertOneResult as InsertOneResult$1, MongoAggAccumulator, MongoAggExpr, MongoDensifyRange, MongoFieldShape, MongoFillOutput, MongoFilterExpr, MongoPipelineStage, MongoQueryPlan, MongoResultShape, MongoUpdatePipelineStage, MongoWindowField, UpdateManyCommand, UpdateOneCommand, UpdateResult, UpdateResult as UpdateResult$1 } from "@prisma-next/mongo-query-ast/execution";
-import { ContractField, ContractValueObjectsMap } from "@prisma-next/contract/types";
-import { ExtractMongoCodecTypes, ExtractMongoTypeMaps, InferModelRow, MongoContract, MongoContractWithTypeMaps, MongoModelDefinition, MongoModelsMap, MongoTypeMaps, RootModelName } from "@prisma-next/mongo-contract";
+import { ContractField } from "@prisma-next/contract/types";
 import { MongoValue } from "@prisma-next/mongo-value";
+import { ExtractMongoCodecTypes, MongoContract, MongoContractWithTypeMaps, MongoModelDefinition, MongoModelsMap, MongoTypeMaps, RootModelName } from "@prisma-next/mongo-contract";
 
-//#region src/resolve-path.d.ts
-/**
- * Marker `DocField` variant representing a non-leaf (value-object) path in
- * a [NestedDocShape]. Extends `DocField` with a `fields` property carrying
- * the sub-shape so the pipeline builder can recurse into it.
- *
- * `codecId` is the reserved literal `'prisma/object@1'`; the accessor's
- * runtime implementation does not serialize it — the codec id is a purely
- * type-level sentinel used by `Expression<F>` to select the reduced
- * operator surface for non-leaf paths.
- *
- * `nullable` tracks whether the value object itself may be absent/null on
- * the parent document. The callable form currently does not propagate the
- * parent's `nullable` flag onto leaves beneath it (path traversal under a
- * nullable parent resolves to the leaf's own `nullable` — matching how
- * MongoDB treats missing intermediate documents).
- */
-interface ObjectField<N extends NestedDocShape> extends DocField {
-  readonly codecId: 'prisma/object@1';
-  readonly nullable: boolean;
-  readonly fields: N;
-}
-/**
- * Marker `DocField` variant representing "an array of foreign-model rows"
- * — the result of a `$lookup` whose foreign side was selected via the
- * typed `col` accessor. `ModelName` is the literal foreign model name
- * (e.g. `'User'`), preserved in the type so `ResolveRow` can resolve the
- * field to `ResolveRow<ModelToDocShape<TC, ModelName>, …>[]` rather than
- * the opaque `unknown[]` produced by the legacy `mongo/array@1` sentinel.
- *
- * Like `ObjectField`, the codec id is a purely type-level sentinel —
- * there is no runtime codec entry for `'prisma/modelArray@1'`. The
- * surrounding pipeline emits the standard `MongoLookupStage` whose
- * runtime shape is unchanged; the marker exists solely to thread the
- * foreign element type through the result-row resolver.
- */
-interface ModelArrayField<ModelName extends string> extends DocField {
-  readonly codecId: 'prisma/modelArray@1';
-  readonly nullable: false;
-  readonly model: ModelName;
-}
-/**
- * Phantom-symbol brand placed on `ModelToDocShape`'s output (and inherited
- * through shape-extending stages like `addFields`, `match`, `lookup`) so
- * `ResolveRow` can route value-object resolution through `InferModelRow`
- * — which walks the contract's `valueObjects` registry and resolves
- * nested types — instead of falling through the codec-lookup branch to
- * `unknown`.
- *
- * The brand is keyed on a `unique symbol` rather than a string so it is
- * invisible to every `keyof Shape & string` walk in the package
- * (`SortSpec`, `ProjectedShape`, `GroupedDocShape`, the field accessor's
- * `Object.keys` iteration, etc.). Field accessors do not surface a
- * `__modelOrigin` autocomplete entry; sorts cannot key on it; projections
- * cannot reference it.
- *
- * Shape-extending stages preserve the brand because intersection types
- * (`Shape & NewFields`) carry through symbol-keyed properties. Shape-
- * replacing stages (`replaceRoot`, `group`, `project`) construct fresh
- * `DocShape`s from scratch, naturally dropping the brand — which is the
- * intended behaviour, since those stages legitimately leave model
- * territory.
- */
-declare const ModelOriginBrand: unique symbol;
-type ModelOriginBrand = typeof ModelOriginBrand;
-/**
- * Brand carrier — a Shape whose row type should be resolved via
- * `InferModelRow<TContract, ModelName>` rather than the per-field codec
- * walk. Use as `ModelToDocShape<TC, ModelName> & ModelOriginBranded<ModelName>`.
- */
-type ModelOriginBranded<ModelName extends string> = {
-  readonly [ModelOriginBrand]?: ModelName;
-};
-/**
- * Document shape that carries nested value-object sub-shapes.
- *
- * Structurally identical to a flat `DocShape` (`Record<string, DocField>`),
- * but individual values may be `ObjectField<SubShape>` carrying a nested
- * `NestedDocShape` sub-tree. The pipeline builder threads a
- * `NestedDocShape` alongside the flat `DocShape` so the callable
- * `f('a.b.c')` form can validate dot-paths at the type level.
- *
- * When a stage transforms the root shape in a way that invalidates nested
- * paths (e.g. `$group`, `$project`, `$replaceRoot`), the thread is reset
- * to the empty shape `Record<string, never>` — which makes `ValidPaths`
- * resolve to `never` and so disables the callable form downstream.
- */
-type NestedDocShape = Record<string, DocField>;
-type FieldToLeaf<F> = F extends {
-  readonly type: {
-    readonly kind: 'scalar';
-    readonly codecId: infer C extends string;
-  };
-  readonly nullable: infer N extends boolean;
-} ? {
-  readonly codecId: C;
-  readonly nullable: N;
-} : F extends {
-  readonly many: true;
-  readonly nullable: infer N extends boolean;
-} ? {
-  readonly codecId: 'mongo/array@1';
-  readonly nullable: N;
-} : DocField;
-/**
- * Translate a single contract field to its nested-shape form. Scalars
- * become `DocField` leaves; value-object fields become
- * `ObjectField<Sub>`; `many: true` stops at a leaf; anything else falls
- * through to the opaque `DocField` base.
- *
- * Kept as a per-field helper (rather than a `Fields → NestedShape` helper
- * that maps over keys internally) so the parent mapped type stays
- * homomorphic over the model/value-object `fields` record. Homomorphic
- * mapped types preserve the literal keys of their source object through
- * TypeScript's intersection-collapsing machinery, which keeps
- * `ModelNestedShape` hover output and `keyof`/indexed-access resolution
- * concrete instead of collapsing to `{ [x: string]: … }`.
- */
-type TranslateField<TContract extends MongoContract, F> = F extends {
-  readonly many: true;
-} ? FieldToLeaf<F> : F extends {
-  readonly type: {
-    readonly kind: 'valueObject';
-    readonly name: infer VOName extends string;
-  };
-  readonly nullable: infer Null extends boolean;
-} ? ObjectField<VONestedShape<TContract, VOName>> & {
-  readonly nullable: Null;
-} : F extends {
-  readonly type: {
-    readonly kind: 'scalar';
-    readonly codecId: string;
-  };
-} ? FieldToLeaf<F> : DocField;
-/**
- * Resolve a named value object from the contract into its own
- * `NestedDocShape`. The mapped iteration is inlined here (not delegated
- * to a generic helper) so that the homomorphism over
- * `VOs[VOName]['fields']` is preserved and the hover / indexed-access
- * surface stays concrete at instantiation time.
- */
-type VONestedShape<TContract extends MongoContract, VOName extends string> = [ContractValueObjectsMap<TContract>] extends [infer VOs extends Record<string, {
-  readonly fields: Record<string, unknown>;
-}>] ? VOName extends keyof VOs & string ? { readonly [K in keyof VOs[VOName]['fields'] & string]: TranslateField<TContract, VOs[VOName]['fields'][K]> } : never : never;
-/**
- * Build the `NestedDocShape` for a model. Scalar leaves resolve to their
- * concrete codec id; value-object fields recurse into the referenced
- * `valueObjects[VOName].fields` table, producing a tree that
- * `ResolvePath` / `ValidPaths` can walk.
- *
- * The mapped iteration is inlined (not hidden behind a helper type that
- * takes `Fields` as a generic) so TypeScript recognises the mapped type
- * as homomorphic over `MongoModelsMap<TContract>[ModelName]['fields']`. That
- * preserves the literal field-name keys at instantiation — without this,
- * the intersection of `Record<string, ContractField>` and the specific
- * literal field record collapses `keyof` to `string` and the result hover
- * degrades to `{ readonly [x: string]: any }`.
- */
-type ModelNestedShape<TContract extends MongoContract, ModelName extends string & keyof MongoModelsMap<TContract>> = { readonly [K in keyof MongoModelsMap<TContract>[ModelName]['fields'] & string]: TranslateField<TContract, MongoModelsMap<TContract>[ModelName]['fields'][K]> };
-/**
- * Resolve a dot-path against a `NestedDocShape`. Returns:
- *  - the leaf `DocField` when `Path` terminates on a scalar/array leaf,
- *  - the `ObjectField<Sub>` when `Path` terminates on a value object (so
- *    the caller can operate on the whole sub-document),
- *  - `never` when the path is invalid (unknown segment, or a scalar
- *    segment followed by further traversal).
- *
- * Paired with the constrained callable `<P extends ValidPaths<N>>(path: P)
- * => Expression<ResolvePath<N, P>>` so the IDE offers completions and
- * rejects bad paths with a clear error instead of silently resolving to
- * `never`.
- */
-type ResolvePath<N extends NestedDocShape, Path extends string> = Path extends `${infer Head}.${infer Rest}` ? Head extends keyof N & string ? N[Head] extends ObjectField<infer Sub> ? ResolvePath<Sub, Rest> : never : never : Path extends keyof N & string ? N[Path] : never;
-/**
- * Union of every valid dot-path within a `NestedDocShape`. Includes
- * top-level keys (scalar leaves *and* value-object roots) and every
- * recursive descent through `ObjectField` sub-shapes.
- *
- * Non-leaf paths are intentionally included — `f('address')` yields an
- * `Expression<ObjectField<…>>` whose reduced operator surface (`set`,
- * `unset`, `exists`, `eq(null)`, `ne(null)`) lets callers operate on the
- * whole value object. Leaf paths like `f('address.city')` get the full
- * leaf operator surface.
- *
- * The `string extends keyof N` guard short-circuits to `never` for
- * open-ended index-signature shapes (e.g. the default
- * `Record<string, never>` used to represent "no nested information" —
- * notably downstream of replacement stages in the pipeline builder). An
- * open-ended `keyof` cannot resolve a specific literal path, so the
- * callable form must be disabled at the type level.
- */
-type ValidPaths<N extends NestedDocShape> = string extends keyof N ? never : { [K in keyof N & string]: N[K] extends ObjectField<infer Sub> ? K | `${K}.${ValidPaths<Sub>}` : K }[keyof N & string];
-/**
- * IDE-oriented alias for `ValidPaths`. Kept as a separate export so future
- * refinements (e.g. ArkType-style lazy expansion for very deep shapes) can
- * diverge from the strict `ValidPaths` constraint without breaking
- * downstream consumers. For now the two are intentionally equivalent.
- */
-type PathCompletions<N extends NestedDocShape> = ValidPaths<N>;
-//#endregion
-//#region src/types.d.ts
-interface DocField {
-  readonly codecId: string;
-  readonly nullable: boolean;
-}
-type NumericField = {
-  readonly codecId: 'mongo/double@1';
-  readonly nullable: false;
-};
-type NullableNumericField = {
-  readonly codecId: 'mongo/double@1';
-  readonly nullable: true;
-};
-type StringField = {
-  readonly codecId: 'mongo/string@1';
-  readonly nullable: false;
-};
-type ArrayField = {
-  readonly codecId: 'mongo/array@1';
-  readonly nullable: false;
-};
-type BooleanField = {
-  readonly codecId: 'mongo/bool@1';
-  readonly nullable: false;
-};
-type DateField = {
-  readonly codecId: 'mongo/date@1';
-  readonly nullable: false;
-};
-type NullableDocField = {
-  readonly codecId: string;
-  readonly nullable: true;
-};
-type LiteralValue<F extends DocField> = F extends StringField ? string : F extends NumericField ? number : F extends BooleanField ? boolean : F extends DateField ? Date : unknown;
-type DocShape = Record<string, DocField>;
-type ExtractCodecId<F> = F extends {
-  type: {
-    kind: 'scalar';
-    codecId: infer C;
-  };
-} ? C : F extends {
-  codecId: infer C extends string;
-} ? C : string;
-type ModelToDocShape<TContract extends MongoContract, ModelName extends string & keyof MongoModelsMap<TContract>> = { [K in keyof MongoModelsMap<TContract>[ModelName]['fields'] & string]: {
-  readonly codecId: ExtractCodecId<MongoModelsMap<TContract>[ModelName]['fields'][K]>;
-  readonly nullable: MongoModelsMap<TContract>[ModelName]['fields'][K]['nullable'];
-} } & ModelOriginBranded<ModelName>;
-/**
- * Per-field resolver. Walks `Shape`'s string keys, routing
- * `ModelArrayField` (the lookup marker) through `InferModelRow` and
- * everything else through the codec-lookup branch.
- *
- * Internal helper — public callers should use `ResolveRow`, which adds
- * the model-origin brand detection on top.
- */
-type ResolveFields<Shape extends DocShape, CodecTypes extends Record<string, {
-  readonly output: unknown;
-}>, TContract extends MongoContract> = { -readonly [K in keyof Shape & string]: Shape[K] extends ModelArrayField<infer ModelName> ? IsConcreteContract<TContract> extends true ? TContract extends MongoContractWithTypeMaps<MongoContract, MongoTypeMaps> ? ModelName extends string & keyof MongoModelsMap<TContract> ? Array<InferModelRow<TContract, ModelName>> : unknown[] : unknown[] : unknown[] : Shape[K]['codecId'] extends keyof CodecTypes ? Shape[K]['nullable'] extends true ? CodecTypes[Shape[K]['codecId']]['output'] | null : CodecTypes[Shape[K]['codecId']]['output'] : unknown };
-/**
- * Resolve a `DocShape` to a concrete row object type.
- *
- * The optional `TContract` parameter exists so the resolver can:
- *
- *  1. Detect the `ModelOriginBrand` on `Shape` — the phantom symbol
- *     placed by `ModelToDocShape`. When present (and the contract has
- *     type maps), the row is resolved via `InferModelRow<TC, M>` from
- *     `@prisma-next/mongo-contract`, which walks scalar / valueObject /
- *     union field kinds (handling nested value-objects and `many: true`).
- *     This makes entry-point reads (`q.from('users').build()`) and
- *     shape-extending stages (`match`, `addFields`) resolve value-object
- *     fields to their concrete nested types instead of `unknown`.
- *
- *  2. Detect the per-field `ModelArrayField<ModelName>` marker produced
- *     by `lookup()` and resolve it to `Array<InferModelRow<TC, M>>` so
- *     lookup rows carry the same fully-typed foreign rows.
- *
- * When the contract is not threaded through (or lacks the type-map
- * phantom), both branches fall back to `unknown` / `unknown[]` —
- * preserving the legacy resolver shape for call sites that do not need
- * model-row resolution.
- */
-/**
- * Flatten an intersection `A & B` into a single object literal so callers
- * (and `expectTypeOf().toEqualTypeOf<…>()`) see one homogeneous record
- * rather than the intersection form. Vitest's strict equality check
- * treats `A & B` as distinct from the structurally-equivalent flat
- * record, even when assignability is bidirectional, so the
- * `ResolveRow` brand-positive branch normalises its result through this.
- */
-type Flatten<T> = T extends infer U ? { [K in keyof U]: U[K] } : never;
-/**
- * Decide whether to route a brand-positive `ResolveRow` through
- * `InferModelRow`. The default `MongoContract` (no concrete models)
- * still satisfies `MongoContractWithTypeMaps<MongoContract, MongoTypeMaps>`
- * because the phantom key is optional, but `InferModelRow<MongoContract, …>`
- * collapses to an empty/unknown row. Gate on the presence of the
- * type-maps phantom: a concrete contract attaches concrete `TestTypeMaps`-
- * shaped maps, while the default `MongoContract` has no phantom and
- * `ExtractMongoTypeMaps` resolves to `never`.
- */
-type IsConcreteContract<TContract> = [ExtractMongoTypeMaps<TContract>] extends [never] ? false : true;
-type ResolveRow<Shape extends DocShape, CodecTypes extends Record<string, {
-  readonly output: unknown;
-}>, TContract extends MongoContract = MongoContract> = Shape extends {
-  readonly [ModelOriginBrand]?: infer ModelName extends string;
-} ? IsConcreteContract<TContract> extends true ? TContract extends MongoContractWithTypeMaps<MongoContract, MongoTypeMaps> ? ModelName extends string & keyof MongoModelsMap<TContract> ? Flatten<InferModelRow<TContract, ModelName> & Omit<ResolveFields<Shape, CodecTypes, TContract>, keyof InferModelRow<TContract, ModelName>>> : ResolveFields<Shape, CodecTypes, TContract> : ResolveFields<Shape, CodecTypes, TContract> : ResolveFields<Shape, CodecTypes, TContract> : ResolveFields<Shape, CodecTypes, TContract>;
-interface TypedAggExpr<F extends DocField> {
-  readonly _field: F;
-  readonly node: MongoAggExpr;
-}
-interface TypedAccumulatorExpr<F extends DocField> {
-  readonly _field: F;
-  readonly node: MongoAggAccumulator;
-}
-type ExtractDocShape<T extends Record<string, TypedAggExpr<DocField>>> = { [K in keyof T & string]: T[K]['_field'] };
-type SortSpec<S extends DocShape> = Partial<Record<keyof S & string, 1 | -1>>;
-type ProjectedShape<Shape extends DocShape, Spec extends Record<string, 1 | TypedAggExpr<DocField>>> = { [K in keyof Spec & string]: Spec[K] extends 1 ? K extends keyof Shape ? Shape[K] : DocField : Spec[K] extends TypedAggExpr<infer F> ? F : DocField } & ('_id' extends keyof Shape ? '_id' extends keyof Spec ? Record<keyof never, never> : Pick<Shape, '_id'> : Record<keyof never, never>);
-type GroupSpec = {
-  _id: TypedAggExpr<DocField> | null;
-  [key: string]: TypedAggExpr<DocField> | TypedAccumulatorExpr<DocField> | null;
-};
-type GroupedDocShape<Spec extends GroupSpec> = { [K in keyof Spec & string]: Spec[K] extends TypedAggExpr<infer F> ? F : Spec[K] extends TypedAccumulatorExpr<infer F> ? F : Spec[K] extends null ? {
-  readonly codecId: 'mongo/null@1';
-  readonly nullable: true;
-} : DocField };
-/**
- * Intentionally identity — full array element type extraction is deferred.
- * Used by `UnwoundShape` so the unwind result shape can be refined later
- * without changing the public API.
- */
-type UnwrapArrayDocField<F extends DocField> = F;
-/**
- * `$unwind` reshapes the array slot but leaves the rest of the document
- * structurally intact. The mapped iteration is keyed on `keyof S & string`,
- * which discards the symbol-keyed `ModelOriginBrand` carried by
- * model-rooted shapes. Preserve the brand explicitly so post-unwind
- * `ResolveRow` still routes through `InferModelRow` and value-object
- * fields keep their concrete nested types.
- */
-type UnwoundShape<S extends DocShape, K extends keyof S & string> = { [P in keyof S & string]: P extends K ? UnwrapArrayDocField<S[P]> : S[P] } & (S extends ModelOriginBranded<infer ModelName extends string> ? ModelOriginBranded<ModelName> : unknown);
-//#endregion
 //#region src/accumulator-helpers.d.ts
 declare const acc: {
   sum<F extends DocField>(expr: TypedAggExpr<F>): TypedAccumulatorExpr<F>;
@@ -405,229 +65,6 @@ declare const acc: {
   }): TypedAccumulatorExpr<ArrayField>;
 };
 //#endregion
-//#region src/update-ops.d.ts
-/**
- * Per-field update operations produced by `Expression`'s update methods
- * (`set`, `inc`, `push`, …). A write terminal folds an array of these into a
- * `MongoUpdateSpec` record (`{ $set: { … }, $inc: { … }, … }`) before
- * constructing the underlying `UpdateManyCommand` / `UpdateOneCommand` AST node.
- *
- * One `TypedUpdateOp` value corresponds to one Mongo update operator applied
- * to one field path. The `op` string is the wire-level operator name (`$set`,
- * `$inc`, …); the `path` is the dot-path to the field (or its top-level name).
- */
-type TypedUpdateOp = {
-  readonly op: '$set';
-  readonly path: string;
-  readonly value: MongoValue;
-} | {
-  readonly op: '$unset';
-  readonly path: string;
-} | {
-  readonly op: '$rename';
-  readonly path: string;
-  readonly newName: string;
-} | {
-  readonly op: '$inc';
-  readonly path: string;
-  readonly amount: number;
-} | {
-  readonly op: '$mul';
-  readonly path: string;
-  readonly factor: number;
-} | {
-  readonly op: '$min';
-  readonly path: string;
-  readonly value: MongoValue;
-} | {
-  readonly op: '$max';
-  readonly path: string;
-  readonly value: MongoValue;
-} | {
-  readonly op: '$push';
-  readonly path: string;
-  readonly value: MongoValue;
-} | {
-  readonly op: '$addToSet';
-  readonly path: string;
-  readonly value: MongoValue;
-} | {
-  readonly op: '$pop';
-  readonly path: string;
-  readonly direction: 1 | -1;
-} | {
-  readonly op: '$pull';
-  readonly path: string;
-  readonly value: MongoValue;
-} | {
-  readonly op: '$pullAll';
-  readonly path: string;
-  readonly values: ReadonlyArray<MongoValue>;
-} | {
-  readonly op: '$currentDate';
-  readonly path: string;
-} | {
-  readonly op: '$setOnInsert';
-  readonly path: string;
-  readonly value: MongoValue;
-};
-/**
- * The return type for updater callbacks. Typed as a union of homogeneous
- * arrays so mixed-shape updaters (operator + pipeline stage in the same
- * array) are a compile error. The runtime guard in `resolveUpdaterResult`
- * remains as defence-in-depth.
- */
-type UpdaterResult = ReadonlyArray<TypedUpdateOp> | ReadonlyArray<MongoUpdatePipelineStage>;
-//#endregion
-//#region src/field-accessor.d.ts
-/**
- * Operator surface for leaf (scalar) paths — today's full set: filter,
- * update, and aggregation operators. Returned by `Expression<F>` for any
- * `F extends DocField` that is not an `ObjectField<…>` sub-tree.
- *
- * Operator surfaces are intentionally not trait-gated by codec in this
- * revision — tracked on Linear as TML-2259 (scope extended to cover the
- * query-builder's `Expression<F>`). Calling, e.g. `.inc(1)` on a
- * string-typed expression compiles; the runtime relies on Mongo to
- * surface the error. Trait-gating can be tightened in a follow-up
- * without changing the accessor's public shape.
- */
-interface LeafExpression<F extends DocField> extends TypedAggExpr<F> {
-  readonly _path: string;
-  eq(value: MongoValue): MongoFilterExpr;
-  ne(value: MongoValue): MongoFilterExpr;
-  gt(value: MongoValue): MongoFilterExpr;
-  gte(value: MongoValue): MongoFilterExpr;
-  lt(value: MongoValue): MongoFilterExpr;
-  lte(value: MongoValue): MongoFilterExpr;
-  in(values: ReadonlyArray<MongoValue>): MongoFilterExpr;
-  nin(values: ReadonlyArray<MongoValue>): MongoFilterExpr;
-  exists(flag?: boolean): MongoFilterExpr;
-  set(value: MongoValue): TypedUpdateOp;
-  unset(): TypedUpdateOp;
-  rename(newName: string): TypedUpdateOp;
-  inc(amount: number): TypedUpdateOp;
-  mul(factor: number): TypedUpdateOp;
-  min(value: MongoValue): TypedUpdateOp;
-  max(value: MongoValue): TypedUpdateOp;
-  push(value: MongoValue): TypedUpdateOp;
-  addToSet(value: MongoValue): TypedUpdateOp;
-  pop(direction?: 1 | -1): TypedUpdateOp;
-  pull(value: MongoValue): TypedUpdateOp;
-  pullAll(values: ReadonlyArray<MongoValue>): TypedUpdateOp;
-  currentDate(): TypedUpdateOp;
-  setOnInsert(value: MongoValue): TypedUpdateOp;
-}
-/**
- * Operator surface for non-leaf (value-object) paths — `f('address')`
- * when `address` is a `ContractValueObject`. Intentionally minimal: the
- * whole-value ops that make sense on a structured sub-document
- * (`set`/`unset`/`exists`, null presence via `eq(null)`/`ne(null)`). Field-
- * level ops belong on the constituent leaves (`f('address.city')`).
- *
- * The aggregation `node` is still present (`TypedAggExpr<ObjectField<N>>`)
- * so the value object can be piped through `$addFields` /
- * `$replaceRoot` / etc. as-is.
- */
-interface ObjectExpression<N extends NestedDocShape> extends TypedAggExpr<ObjectField<N>> {
-  readonly _path: string;
-  exists(flag?: boolean): MongoFilterExpr;
-  eq(value: null): MongoFilterExpr;
-  ne(value: null): MongoFilterExpr;
-  set(value: MongoValue): TypedUpdateOp;
-  unset(): TypedUpdateOp;
-}
-/**
- * The unified field accessor expression returned by `FieldAccessor` (per
- * [ADR 180](../../../../docs/architecture%20docs/adrs/ADR%20180%20-%20Dot-path%20field%20accessor.md)).
- *
- * Resolves to `ObjectExpression<Sub>` when `F` is an `ObjectField<Sub>`
- * (non-leaf path), otherwise to `LeafExpression<F>` (the full operator
- * surface). The conditional is driven off the `fields` marker that
- * `ObjectField` adds to `DocField`, so existing code that uses plain
- * `DocField` shapes continues to resolve to `LeafExpression`.
- */
-type Expression<F extends DocField> = F extends ObjectField<infer N> ? ObjectExpression<N> : LeafExpression<F>;
-/**
- * Emitters for MongoDB update-pipeline stages (`$addFields`/`$set`,
- * `$project`/`$unset`, `$replaceRoot`/`$replaceWith`). These return
- * `MongoUpdatePipelineStage` nodes and let an updater callback express
- * the pipeline-form update as an alternative to the typed-operator form.
- *
- * The two forms are mutually exclusive per updater call: `resolveUpdaterResult`
- * rejects arrays that mix `TypedUpdateOp` and `MongoUpdatePipelineStage`
- * entries with a clear error — an updater callback must return either all
- * typed ops or all pipeline stages. Pick the form that matches the update
- * you want and commit to it for that call site.
- *
- * Accessible via `f.stage` on the `FieldAccessor`.
- */
-interface StageEmitters {
-  set(fields: Record<string, MongoAggExpr>): MongoUpdatePipelineStage;
-  unset(...paths: ReadonlyArray<string>): MongoUpdatePipelineStage;
-  replaceRoot(newRoot: MongoAggExpr): MongoUpdatePipelineStage;
-  replaceWith(newRoot: MongoAggExpr): MongoUpdatePipelineStage;
-}
-/**
- * The unified `FieldAccessor` per ADR 180.
- *
- * - Property access (`f.status`) returns an `Expression<F>` whose codec
- *   comes from the current pipeline shape `S`.
- * - Callable form (`f('address.city')`) returns an `Expression<ResolvePath<N, P>>`
- *   where `N` is the nested shape carrying value-object sub-shapes.
- *   Paths that don't exist in `N` are rejected with a compile-time error
- *   (via `P extends ValidPaths<N>`). Non-leaf paths like `f('address')`
- *   resolve to an `ObjectExpression` whose reduced surface covers the
- *   whole-value operations (`set`, `unset`, `exists`, `eq(null)`,
- *   `ne(null)`).
- * - `f.rawPath('path')` is a deliberate escape hatch that skips path
- *   validation and returns a `LeafExpression<F>` for the given string.
- *   Intended for migration authoring where the target field is not yet
- *   part of the typed contract (e.g. a backfill writing a newly-added
- *   column before the contract hash rolls forward). The method name is
- *   deliberately `rawPath` rather than `raw` so it does not shadow a
- *   legitimate top-level `raw` field on a user model.
- * - `f.stage` exposes pipeline-style update emitters (`$set`, `$unset`,
- *   `$replaceRoot`, `$replaceWith`).
- *
- * When `N` is `Record<string, never>` (the default — e.g. after a
- * replacement stage like `$group` / `$project` / `$replaceRoot`),
- * `ValidPaths<N>` is `never` and the callable form is effectively
- * disabled at the type level. This keeps the builder sound downstream of
- * stages that invalidate the original document's nested-path tree.
- * `f.rawPath(...)` remains available in that state for callers that need
- * an explicit unvalidated path.
- */
-type FieldAccessor<S extends DocShape, N extends NestedDocShape = Record<string, never>> = { readonly [K in keyof S & string]: Expression<S[K]> } & (<P extends ValidPaths<N>>(path: P) => Expression<ResolvePath<N, P>>) & {
-  readonly stage: StageEmitters;
-  /**
-   * Escape hatch: build a `LeafExpression<F>` for an unvalidated string
-   * path. Use only when the path is intentionally outside the typed
-   * model surface — data-migration authoring is the canonical case
-   * (e.g. backfilling a field that is not yet in the contract). Default
-   * `F` is the opaque `DocField`; callers can narrow via the explicit
-   * generic: `f.rawPath<StringField>("status").set("active")`.
-   *
-   * The method is named `rawPath` (not `raw`) so a user model with a
-   * top-level `raw` field still resolves `f.raw` to the field-expression
-   * property, not to this escape hatch. Does not participate in
-   * `ValidPaths<N>` / `ResolvePath<N, P>` — the path is passed through
-   * verbatim and no IDE autocomplete is offered.
-   */
-  rawPath<F extends DocField = DocField>(path: string): LeafExpression<F>;
-};
-/**
- * Construct a unified `FieldAccessor<S, N>` proxy. Property access creates
- * an `Expression` using the property name as the field path; callable
- * form accepts a dot-path string validated against `N` at compile time.
- *
- * The proxy target is a function so the resulting object is both callable
- * and indexable. Symbol-keyed accesses (e.g. `Symbol.toPrimitive`) return
- * `undefined` to keep accidental coercion behaviour unsurprising —
- * matching the previous `FieldProxy` / `FilterProxy` semantics.
- */
-declare function createFieldAccessor<S extends DocShape, N extends NestedDocShape = Record<string, never>>(): FieldAccessor<S, N>;
-//#endregion
 //#region src/lookup-builder.d.ts
 /**
  * Resolved foreign-model name for a contract root. Looks `RootName` up
@@ -1393,5 +830,5 @@ declare function contractModelToMongoResultShape(model: MongoModelDefinition, op
   readonly includeRelationNames?: readonly string[];
 }): MongoResultShape;
 //#endregion
-export { type ArrayField, type BooleanField, CollectionHandle, type DateField, type DeleteResult, type DocField, type DocShape, type Expression, type ExtractDocShape, type FieldAccessor, FilteredCollection, type FindAndModifyEnabled, type GroupSpec, type GroupedDocShape, type InsertManyResult, type InsertOneResult, type LeafExpression, type LiteralValue, type LookupBuilder, type LookupBuilderWithKey, type LookupFrom, type LookupOnResult, type LookupResult, type ModelArrayField, type ModelNestedShape, type ModelOf, type ModelToDocShape, type NestedDocShape, type NullableDocField, type NullableNumericField, type NumericField, type ObjectExpression, type ObjectField, type PathCompletions, PipelineChain, type ProjectedShape, type QueryRoot, type ResolvePath, type ResolveRow, type SortSpec, type StringField, type TypedAccumulatorExpr, type TypedAggExpr, type TypedUpdateOp, type UnwoundShape, type UpdateEnabled, type UpdateResult, type UpdaterResult, type ValidPaths, acc, contractFieldToMongoFieldShape, contractModelToMongoResultShape, createFieldAccessor, fn, mongoQuery };
+export { type ArrayField, type BooleanField, CollectionHandle, type DateField, type DeleteResult, type DocField, type DocShape, type Expression, type ExtractDocShape, type FieldAccessor, FilteredCollection, type FindAndModifyEnabled, type GroupSpec, type GroupedDocShape, type InsertManyResult, type InsertOneResult, type LeafExpression, type LiteralValue, type LookupBuilder, type LookupBuilderWithKey, type LookupFrom, type LookupOnResult, type LookupResult, type ModelArrayField, type ModelNestedShape, type ModelOf, type ModelToDocShape, type NestedDocShape, type NullableDocField, type NullableNumericField, type NumericField, type ObjectExpression, type ObjectField, type PathCompletions, PipelineChain, type ProjectedShape, type QueryRoot, type ResolvePath, type ResolveRow, type SortSpec, type StringField, type TypedAccumulatorExpr, type TypedAggExpr, type TypedUpdateOp, type UnwoundShape, type UpdateEnabled, type UpdateResult, type UpdaterResult, type ValidPaths, acc, contractFieldToMongoFieldShape, contractModelToMongoResultShape, createFieldAccessor, expr, fn, mongoQuery };
 //# sourceMappingURL=index.d.mts.map