graphddb 0.3.0 → 0.3.1

package/dist/{types-xJRn5qkv.d.ts → types-DuJ08bgc.d.ts}

@@ -1343,7 +1343,7 @@ type ProjectionOf<T, Sel> = Sel extends SelectableOf<T> ? Sel : SelectOf<Sel>;
  * usages keep compiling, while the precise inference is available when the
  * constructor type is supplied (as it is from `DDBModel.asModel()`).
  */
-type AnyModelClass = abstract new (...args: any[]) => DDBModel;
+type AnyModelClass$1 = abstract new (...args: any[]) => DDBModel;
 /**
  * The accepted PK / GSI key type for `list()` / `explain()`.
  *
@@ -1353,24 +1353,24 @@ type AnyModelClass = abstract new (...args: any[]) => DDBModel;
  * {@link QueryKey}. Derived from the model class when available, otherwise
  * permissive.
  */
-type ListKey<C> = [C] extends [AnyModelClass] ? PartialQueryKeyOf<C> : Record<string, unknown>;
+type ListKey<C> = [C] extends [AnyModelClass$1] ? PartialQueryKeyOf<C> : Record<string, unknown>;
 /**
  * The accepted key type for `query()` — only keys guaranteed to return a
  * single item (PK + unique GSIs). Derived from the model class when available.
  */
-type QueryKey<C> = [C] extends [AnyModelClass] ? UniqueQueryKeyOf<C> : Record<string, unknown>;
+type QueryKey<C> = [C] extends [AnyModelClass$1] ? UniqueQueryKeyOf<C> : Record<string, unknown>;
 /**
  * The accepted key type for `delete()` (PK only). Derived from the model
  * class when available.
  */
-type DeleteKey<C> = [C] extends [AnyModelClass] ? PrimaryKeyOf<C> : Record<string, unknown>;
+type DeleteKey<C> = [C] extends [AnyModelClass$1] ? PrimaryKeyOf<C> : Record<string, unknown>;
 /**
  * The accepted *explicit* key type for `update()` — the base-table primary key
  * only. DynamoDB `UpdateItem` can target an item solely by its base-table PK
  * (GSI-based updates are impossible), so this is `PrimaryKeyOf<C>`, not
  * `UniqueQueryKeyOf<C>`. Derived from the model class when available.
  */
-type UpdateExplicitKey<C> = [C] extends [AnyModelClass] ? PrimaryKeyOf<C> : Record<string, unknown>;
+type UpdateExplicitKey<C> = [C] extends [AnyModelClass$1] ? PrimaryKeyOf<C> : Record<string, unknown>;
 /**
  * Options accepted by `list()` (third argument). The projection is supplied as
  * the separate second `select` argument, symmetric with `query()`.
@@ -2115,19 +2115,33 @@ interface SnapshotEffect {
     /** The consistency the write lands under (default `eventual`). */
     readonly consistency?: MaintainConsistency;
 }
+/** The sort direction a maintained collection orders by (mirrors the read-side `read.order`). */
+type CollectionOrderDirection = 'ASC' | 'DESC';
 /**
  * Options for the bounded collection a {@link CollectionEffect} maintains: the
  * target {@link field} that holds the collection, an optional {@link maxItems}
  * cap (oldest items are evicted past it), and an optional {@link orderBy} source
- * path the items are ordered by.
+ * path the items are ordered by (with an {@link orderDir} direction).
  */
 interface CollectionOptions {
     /** The target attribute that holds the maintained collection. */
     readonly field: string;
     /** Cap on the collection size; items past it are evicted (unbounded if omitted). */
     readonly maxItems?: number;
-    /** A path-rooted source value the collection is ordered by (e.g. `$.entity.createdAt`). */
+    /**
+     * A path-rooted source value the collection is ordered by (e.g. `$.entity.createdAt`).
+     * Wired from the relation's `read.order` (#130 是正2): the field is the source
+     * entity's sort-key leaf (the field the live `hasMany` read orders by via
+     * `ScanIndexForward`), so the materialized collection sorts the SAME way as the
+     * live query. The async drain ({@link import('../cdc/maintenance-drain.js')})
+     * applies the sort + trim; a single synchronous `UpdateExpression` cannot.
+     */
     readonly orderBy?: EffectPath;
+    /**
+     * The direction {@link orderBy} sorts by — `'DESC'` (newest first, the default a
+     * bare `order: 'DESC'` declares) or `'ASC'`. Present only when {@link orderBy} is.
+     */
+    readonly orderDir?: CollectionOrderDirection;
 }
 /**
  * A **collection** maintenance effect (issue #120): on a {@link MaintainTrigger}
@@ -2216,12 +2230,81 @@ interface CounterEffect {
     /** The consistency the write lands under (default `eventual`). */
     readonly consistency?: MaintainConsistency;
 }
+/**
+ * The comparison op a {@link MembershipPredicate} applies to the source value
+ * (Epic #118 pattern 6 / sparse view, issue #133). The host-side drain evaluates
+ * the predicate against the source payload to decide PUT (true) vs DELETE (false):
+ *
+ * - `truthy` / `falsy` — the source value is/ isn't truthy (no `value`);
+ * - `exists` / `notExists` — the source attribute is present / absent (no `value`);
+ * - `eq` / `ne` — the source value equals / does not equal {@link MembershipPredicate.value}.
+ */
+type MembershipPredicateOp = 'truthy' | 'falsy' | 'exists' | 'notExists' | 'eq' | 'ne';
+/**
+ * A membership predicate over the source payload (Epic #118 pattern 6 / sparse view,
+ * issue #133). When the predicate holds, the view item is PUT (projected); when it
+ * flips false the view item is DELETED. This is the "述語が flip したら view item を
+ * put/delete" maintenance — distinct from a GSI sparse index (an explicit view row,
+ * conditionally present). The `path` is a payload-rooted source value (`$.entity.*` /
+ * `$.input.*`); `value` is the comparand for `eq` / `ne` (absent for the unary ops).
+ */
+interface MembershipPredicate {
+    /** The payload-rooted source value the predicate tests (`$.entity.<field>`). */
+    readonly path: EffectPath;
+    /** The comparison op applied to the source value. */
+    readonly op: MembershipPredicateOp;
+    /** The comparand for `eq` / `ne`; absent for the unary ops. */
+    readonly value?: unknown;
+}
+/**
+ * A **membership** maintenance effect (Epic #118 pattern 6 / sparse view, issue #133):
+ * on a {@link MaintainTrigger} a {@link predicate} is evaluated over the source
+ * payload, and the view row resolved by {@link targetFactory} + {@link keys} is PUT
+ * (its {@link project}ion) when the predicate holds OR DELETED when it does not. A
+ * source `removed` event always deletes the view row (the source no longer exists).
+ *
+ * ## Why this is a NEW effect (not a snapshot/collection)
+ *
+ * A {@link SnapshotEffect} only ever `SET`s (it cannot remove a row when a predicate
+ * flips false) and a {@link CollectionEffect} only appends/splices a list field —
+ * neither expresses "the WHOLE view row appears/disappears as a predicate flips". So
+ * sparse view is a distinct effect carrying a {@link predicate} and a put-or-delete
+ * realization.
+ *
+ * ## Scope (issue #133): the asynchronous (`stream`) path
+ *
+ * The put-vs-delete branch is decided by evaluating the predicate against the source
+ * image, which the host-side CDC drain ({@link import('../cdc/maintenance-drain.js')})
+ * does naturally (it already branches snapshot SET vs collection read-modify-write). A
+ * SYNCHRONOUS membership write would need the atomic transaction to choose Put-vs-Delete
+ * from a runtime predicate (DynamoDB cannot branch an item kind on a value), which is a
+ * larger runtime change deferred as a follow-up; the compile injection rejects a
+ * `mutation`-path membership effect so it is never silently mis-realized.
+ */
+interface MembershipEffect {
+    readonly kind: 'membership';
+    /** The lifecycle event of the source entity that drives the membership write. */
+    readonly trigger: MaintainTrigger;
+    /** Resolves the target (view) entity whose row appears / disappears. */
+    readonly targetFactory: () => new (...args: unknown[]) => unknown;
+    /** The key binding of the view row (path-rooted values). */
+    readonly keys: Readonly<Record<string, EffectPath>>;
+    /** The projection PUT onto the view row when the predicate holds. */
+    readonly project: ProjectionMap;
+    /** The membership predicate (PUT when it holds, DELETE when it flips false). */
+    readonly predicate: MembershipPredicate;
+    /** The path the write travels — `stream` only for issue #133 (see header). */
+    readonly updateMode?: MaintainUpdateMode;
+    /** The consistency the write lands under (default `eventual`). */
+    readonly consistency?: MaintainConsistency;
+}
 /**
  * The union of maintenance effects a {@link SnapshotEffect}, {@link CollectionEffect},
- * or {@link CounterEffect} can be. The shared IR the maintenance graph (#124) and
- * compile injection (#125 snapshot/collection, #141 counter) consume.
+ * {@link CounterEffect}, or {@link MembershipEffect} can be. The shared IR the
+ * maintenance graph (#124) and compile injection (#125 snapshot/collection, #141
+ * counter, #133 membership) consume.
  */
-type MaintainEffect = SnapshotEffect | CollectionEffect | CounterEffect;
+type MaintainEffect = SnapshotEffect | CollectionEffect | CounterEffect | MembershipEffect;
 /**
  * A domain event (proposal §2 `emits`): an outbox `Put` drained to Streams /
  * `src/cdc/`. Derived by #87 — stored opaquely here.
@@ -2668,6 +2751,448 @@ declare function mutation(name: string, body: MutationBody): CommandPlan;
  */
 declare const definePlan: typeof mutation;
 
+/**
+ * `defineView` / `defineProjection` — the maintained **view** and **external
+ * projection** definition DSL (Epic #118 Phase 2, issue #132 child M).
+ *
+ * ## Where this sits in the `define*` family
+ *
+ * This module extends the record-of-definitions pattern of
+ * `src/define/define.ts` (`defineQuery`/`defineList`/… grouped by
+ * `defineQueries`/`defineCommands`) with two new families that declare a single
+ * **view** node → IR:
+ *
+ * - {@link defineView} (`materializedView`) — declares an INDEPENDENT view row
+ *   maintained from the lifecycle events of one or more **source** entities. The
+ *   view row is its OWN modelled row (a `DDBModel` with its own `keys`), NOT a
+ *   field of any source entity — the "特定エンティティのフィールドでない単体行" of
+ *   RFC §5.3. RFC §5.3:
+ *   ```ts
+ *   defineView(UserThreadListModel, {
+ *     pattern: 'materializedView',
+ *     source: [{ entity: () => PostModel, maintainedOn: ['Post.created'], … }, …],
+ *     keys:   { userId: '$.entity.userId' },
+ *     fields: { … },        // per-source projection of the view row
+ *     write:  { updateMode: 'stream' },
+ *   })
+ *   ```
+ * - {@link defineProjection} (`externalProjection`) — declares a stream + idempotency
+ *   projection of a source entity into an EXTERNAL sink (BigQuery / S3 / OpenSearch
+ *   in production; the CDC emulator in dev/test). RFC §5.3:
+ *   ```ts
+ *   defineProjection('TestCaseResultBQ', {
+ *     pattern: 'externalProjection',
+ *     source: () => TestCaseResultModel,
+ *     via: 'stream',
+ *     idempotencyKey: 'resultId',
+ *   })
+ *   ```
+ *
+ * `defineViews({...})` / `defineProjections({...})` take a record of these
+ * definition nodes and return the same record (typed), forming the IR the
+ * maintenance graph (#124, extended here as the third maintenance source after
+ * relations and aggregates) and the projection sink consume — exactly the
+ * `defineQueries`/`defineCommands`样式.
+ *
+ * ## Why a view is its own definition (not a relation `@hasMany`)
+ *
+ * A relation/aggregate maintainer (#124) hangs off a MODELLED entity row — its
+ * destination is a `DDBModel` class resolved by the relation owner, and its
+ * single source is the relation's `to`. A **materialized view** is the
+ * complementary case the RFC §5.3 calls out: an independent row fed by SEVERAL
+ * foreign sources (none of which is the view itself). So it cannot be a relation
+ * decorator on a source; it is its own top-level declaration whose destination is
+ * the dedicated **view model** row. That view model is a normal `DDBModel` (so the
+ * maintenance graph / drain / rebuild resolve its key with the SAME machinery they
+ * use for a relation owner — no parallel key system), but it is the owner of NO
+ * relation: the sources point INTO it, declared here rather than on the sources.
+ *
+ * ## Scope boundary (payload-同梱; multi-source as per-source slices)
+ *
+ * Each `source` projects ONLY from its own payload (the same payload-同梱 rule
+ * the relation maintenance graph enforces — RFC §4.A.6 `requiredContext` /
+ * write-time-fetch is a deferred follow-up). A multi-source view is therefore
+ * maintained as a UNION of per-source slices on one view row: `Post.created`
+ * updates the Post-projected `fields`, `Thread.read` updates the Thread-projected
+ * `fields`, each converging the shared view row through the K (#130) stream →
+ * outbox → drain path. A field whose value must combine attributes from more than
+ * one source in a single write (a cross-source join at maintenance time) is the
+ * `requiredContext` case and is out of scope — see the module-level note and the
+ * issue report.
+ */
+
+type AnyModelClass = abstract new (...args: any[]) => DDBModel;
+/** A source-entity factory: a model class or a `ModelStatic` wrapper. */
+type SourceFactory = () => AnyModelClass | ModelStatic<DDBModel>;
+/** A bare-string identity shorthand or an explicit `w.transform(...)` IR node. */
+type ProjectionEntry = ProjectionTransform | string;
+/**
+ * Build a {@link MembershipPredicate} for a sparse view (Epic #118 pattern 6 / #133).
+ * The view row is PUT when the predicate holds and DELETED when it flips false. The
+ * `path` is normalized to a payload-rooted source value (a bare field name becomes
+ * `$.entity.<field>`).
+ *
+ * Named `whenMember` (not `when`) to avoid colliding with the transaction-condition
+ * `when` helper (`src/define/transaction.ts`).
+ *
+ * @example `whenMember('status', 'eq', 'active')` — the view row exists only while
+ *   `status === 'active'`.
+ * @example `whenMember('archived', 'falsy')` — the view row exists only while
+ *   `archived` is falsy.
+ */
+declare function whenMember(field: string, op: MembershipPredicateOp, value?: unknown): MembershipPredicate;
+/**
+ * One source contributing to a maintained view (issue #132). The source entity's
+ * lifecycle events ({@link maintainedOn}) drive the maintenance; its payload is
+ * projected into the view row's {@link fields} (payload-同梱). When the source
+ * maintains an ordered/bounded slice (a collection-shaped view) it declares
+ * {@link collection}; otherwise it maintains a single snapshot slice.
+ */
+interface ViewSource {
+    /** Resolves the source entity whose lifecycle drives this slice of the view. */
+    readonly entity: SourceFactory;
+    /**
+     * The cross-entity triggers this source fires on (`'<Entity>.<event>'`, the
+     * shared `created`/`updated`/`removed` vocabulary). The entity segment must be
+     * the source entity's logical name (the maintenance graph validates it).
+     */
+    readonly maintainedOn: readonly string[];
+    /**
+     * The view-row key binding for THIS source: view-row key field → a path-rooted
+     * source value (`$.entity.<field>` / `$.input.<field>`). Resolves which view
+     * row this source event maintains. When omitted, the view-level {@link
+     * ViewDefinitionInput.keys} is used (the common case — every source keys the
+     * view row the same way).
+     */
+    readonly keys?: Readonly<Record<string, EffectPath>>;
+    /**
+     * The projection of THIS source's payload into the view row (target attribute →
+     * identity shorthand string / `w.transform(...)`). When omitted, the view-level
+     * {@link ViewDefinitionInput.fields} is used.
+     */
+    readonly fields?: Readonly<Record<string, ProjectionEntry>>;
+    /**
+     * Declares this source maintains a bounded, ordered COLLECTION slice of the view
+     * row (e.g. "latest N posts") rather than a single snapshot. The `field` names
+     * the view-row attribute holding the list; `maxItems` / `order` shape it.
+     */
+    readonly collection?: {
+        readonly field: string;
+        readonly maxItems?: number;
+        readonly order?: 'ASC' | 'DESC';
+        /** The source path the collection orders by + trims on (e.g. `$.entity.createdAt`). */
+        readonly orderBy?: EffectPath;
+    };
+    /**
+     * Sparse-view predicate (Epic #118 pattern 6 / #133): when present, this source
+     * maintains a MEMBERSHIP slice — the view row is PUT (projected) while the predicate
+     * holds and DELETED when it flips false (and always deleted on a source `removed`).
+     * Build it with {@link whenMember} (e.g. `whenMember('status', 'eq', 'active')`). Mutually
+     * exclusive with {@link collection} (a row either appears/disappears or holds a list).
+     */
+    readonly when?: MembershipPredicate;
+}
+/** The author-facing input to {@link defineView}. */
+interface ViewDefinitionInput {
+    /** The maintenance preset — `'materializedView'` (snapshot/collection) or `'sparseView'` (membership). */
+    readonly pattern?: 'materializedView' | 'sparseView';
+    /** One or more sources whose lifecycle events maintain the view row. */
+    readonly source: ViewSource | readonly ViewSource[];
+    /**
+     * The default view-row key binding (view-row key field → path-rooted source
+     * value). A source may override it with its own `keys`. At least one of the
+     * view-level `keys` or every source's `keys` must be present.
+     */
+    readonly keys?: Readonly<Record<string, EffectPath>>;
+    /** The default per-source projection of the view row (source may override). */
+    readonly fields?: Readonly<Record<string, ProjectionEntry>>;
+    /** Maintenance-write declaration shared by the sources (`updateMode` / `consistency`). */
+    readonly write?: {
+        readonly updateMode?: MaintainUpdateMode;
+        readonly consistency?: MaintainConsistency;
+    };
+}
+/** Marks an object as a {@link ViewDefinition} IR node. */
+declare const VIEW_DEFINITION_MARKER: unique symbol;
+/**
+ * The global registry of declared {@link ViewDefinition}s (issue #132). A
+ * `defineView(...)` registers itself here so the compile-side global maintenance
+ * graph (and the linter) discovers view maintainers WITHOUT the caller threading
+ * the definitions through — the same way `@model` auto-registers an entity in
+ * `MetadataRegistry`. A {@link generation} counter (bumped on every register /
+ * clear) lets a cache keyed off it invalidate when a view is added, so a
+ * newly-declared view is never silently dropped from the compile path.
+ */
+declare class ViewRegistry {
+    private static readonly views;
+    private static gen;
+    /** Register (or replace, by view class) a declared view. Bumps the generation. */
+    static register(def: ViewDefinition): void;
+    /** Every registered view, in declaration order. */
+    static getAll(): readonly ViewDefinition[];
+    /** The monotonic generation counter (changes whenever the set of views changes). */
+    static get generation(): number;
+    /** Forget every registered view (test reset). Bumps the generation. */
+    static clear(): void;
+}
+/**
+ * The lowered per-source maintenance slice of a view — one entry per (source ×
+ * trigger), carrying the resolved source class, the validated triggers, the view
+ * row key binding, and the projection. Consumed by the maintenance graph (#124)
+ * which synthesizes the A-defined `SnapshotEffect` / `CollectionEffect` from it.
+ */
+interface ViewSourceSlice {
+    /** The resolved source model class (the lifecycle origin / projected payload). */
+    readonly sourceClass: AnyModelClass;
+    /** The validated triggers this slice fires on. */
+    readonly maintainedOn: readonly MaintainTrigger[];
+    /** The view-row key binding (view-row key field → path-rooted source value). */
+    readonly keys: Readonly<Record<string, EffectPath>>;
+    /** The projection map (target attribute → `w.transform(...)` IR). */
+    readonly project: ProjectionMap;
+    /** Bounded/ordered collection options when this slice maintains a list. */
+    readonly collection?: {
+        readonly field: string;
+        readonly maxItems?: number;
+        readonly orderBy?: EffectPath;
+        readonly orderDir?: 'ASC' | 'DESC';
+    };
+    /**
+     * Sparse-view membership predicate (Epic #118 pattern 6 / #133) when this slice
+     * maintains a put/delete membership row. The maintenance graph synthesizes a
+     * `MembershipEffect` (not a snapshot) from it.
+     */
+    readonly predicate?: MembershipPredicate;
+}
+/**
+ * The IR for one `defineView` node — an independent materialized-view row
+ * maintained from one or more source entities. The `name` is the view's logical
+ * identity; `viewClass` is the dedicated view model the row lives on (the
+ * maintenance destination); `slices` are the lowered per-source maintenance
+ * contributions the maintenance graph turns into effects.
+ */
+interface ViewDefinition {
+    readonly [VIEW_DEFINITION_MARKER]: true;
+    /** The view's logical name (e.g. `'UserThreadList'`). */
+    readonly name: string;
+    /** The dedicated view model class the maintained row lives on (the destination). */
+    readonly viewClass: AnyModelClass;
+    /** The maintenance preset (`'materializedView'` or `'sparseView'`). */
+    readonly pattern: 'materializedView' | 'sparseView';
+    /** The lowered per-source maintenance slices. */
+    readonly slices: readonly ViewSourceSlice[];
+    /** The path the maintenance writes travel (`mutation` / `stream`). */
+    readonly updateMode?: MaintainUpdateMode;
+    /** The consistency the maintenance writes land under. */
+    readonly consistency?: MaintainConsistency;
+}
+/** Runtime guard: is `value` a {@link ViewDefinition}? */
+declare function isViewDefinition(value: unknown): value is ViewDefinition;
+/**
+ * Define a single maintained **view** (`materializedView`, issue #132): an
+ * independent view row (on the dedicated `view` model) maintained from one or more
+ * source entities' lifecycle events, projecting each source's payload (payload-同梱)
+ * into the view row. The returned {@link ViewDefinition} is the IR the maintenance
+ * graph (#124) consumes as a third maintenance source (after relations /
+ * aggregates), so a view row converges through the SAME stream → outbox → drain
+ * path (K, #130).
+ *
+ * @param view The dedicated view model class the maintained row lives on (a normal
+ *   `DDBModel` with its own `keys`). Its logical name is the view's `name`.
+ * @param input The view's sources / key binding / projection / write declaration.
+ *
+ * @example
+ * ```ts
+ * const UserThreadList = defineView(UserThreadListModel, {
+ *   pattern: 'materializedView',
+ *   keys: { userId: '$.entity.userId' },
+ *   source: [
+ *     { entity: () => PostModel, maintainedOn: ['Post.created'],
+ *       fields: { lastPostId: 'postId', lastPostAt: 'createdAt' } },
+ *     { entity: () => ThreadModel, maintainedOn: ['Thread.updated'],
+ *       fields: { threadTitle: 'title' } },
+ *   ],
+ *   write: { updateMode: 'stream' },
+ * });
+ * ```
+ */
+declare function defineView(view: AnyModelClass | ModelStatic<DDBModel>, input: ViewDefinitionInput): ViewDefinition;
+/** A record of view-name → {@link ViewDefinition}. */
+type ViewDefinitionMap = Record<string, ViewDefinition>;
+/**
+ * Group a record of {@link defineView} nodes into the view IR consumed by the
+ * maintenance graph (#124). Validates that every entry is a `defineView` node —
+ * the `defineQueries`/`defineCommands` 様式.
+ */
+declare function defineViews<const D extends ViewDefinitionMap>(definitions: D): D;
+/** The author-facing input to {@link defineVersioned}. */
+interface VersionedDefinitionInput {
+    /** The maintenance preset — `'versioned'`. */
+    readonly pattern?: 'versioned';
+    /** Resolves the source entity whose lifecycle events maintain both rows. */
+    readonly source: SourceFactory;
+    /**
+     * The triggers that maintain a new version (`'<Entity>.<event>'`). Typically
+     * `['Doc.created', 'Doc.updated']` — every persisted revision advances the latest
+     * pointer and appends a history row.
+     */
+    readonly maintainedOn: readonly string[];
+    /**
+     * The LATEST-pointer row's key binding (latest-model key field → path-rooted source
+     * value). It must NOT include the version discriminator — the latest row is
+     * OVERWRITTEN on each revision (one row per source identity, e.g. `{ docId:
+     * '$.entity.docId' }`).
+     */
+    readonly latestKeys: Readonly<Record<string, EffectPath>>;
+    /**
+     * The HISTORY row's key binding (history-model key field → path-rooted source value).
+     * It MUST include the version discriminator so each revision is a NEW row (append-only
+     * history, e.g. `{ docId: '$.entity.docId', version: '$.entity.version' }`).
+     */
+    readonly historyKeys: Readonly<Record<string, EffectPath>>;
+    /** The projection of the source payload into BOTH rows (target attribute → source). */
+    readonly fields: Readonly<Record<string, ProjectionEntry>>;
+    /** Maintenance-write declaration shared by both rows (`updateMode` / `consistency`). */
+    readonly write?: {
+        readonly updateMode?: MaintainUpdateMode;
+        readonly consistency?: MaintainConsistency;
+    };
+}
+/**
+ * The pair of {@link ViewDefinition}s a {@link defineVersioned} lowers to — the
+ * latest-pointer snapshot row and the append-only history snapshot row.
+ */
+interface VersionedDefinition {
+    /** The LATEST-pointer row (a snapshot, overwritten on each revision). */
+    readonly latest: ViewDefinition;
+    /** The append-only HISTORY row (one snapshot row per version). */
+    readonly history: ViewDefinition;
+}
+/**
+ * Define a **versioned / latest-pointer** maintained access path (Epic #118 pattern 8,
+ * issue #133): from one source revision, maintain a LATEST-pointer row (overwritten in
+ * place) AND append a HISTORY row (one per version) in a single composed write.
+ *
+ * ## Lowering = composition of two snapshot effects (no new effect)
+ *
+ * Per the design hint "既存の snapshot（latest）+ 別行追記（history）の合成で表現できるか",
+ * `versioned` is **pure composition** of the existing {@link SnapshotEffect}:
+ *
+ * - the LATEST row is a snapshot keyed by the source identity WITHOUT the version
+ *   (`latestKeys`) → re-projecting the same key OVERWRITES the pointer in place;
+ * - the HISTORY row is a snapshot keyed by the source identity PLUS the version
+ *   (`historyKeys`) → each revision resolves a NEW row, so history is append-only.
+ *
+ * Both are lowered as {@link defineView} (`materializedView`) nodes — the maintenance
+ * graph synthesizes a `SnapshotEffect` per source trigger, and because the two rows
+ * resolve to DIFFERENT destination rows (distinct models / keys) the same-row collision
+ * guard is satisfied and BOTH fire from the one source mutation: the latest pointer and
+ * the history row land together (in one atomic tx for `updateMode: 'mutation'`, or
+ * converge through the stream → drain path for `'stream'`). There is NO new maintenance
+ * primitive — the existing snapshot pipeline (sync #127 / stream #130 / rebuild #131)
+ * carries both.
+ *
+ * @param latest The dedicated LATEST-pointer view model (one row per source identity).
+ * @param history The dedicated HISTORY view model (one row per version).
+ * @param input The source / triggers / key bindings / projection / write declaration.
+ *
+ * @example
+ * ```ts
+ * const DocVersioned = defineVersioned(DocLatestModel, DocVersionModel, {
+ *   pattern: 'versioned',
+ *   source: () => DocModel,
+ *   maintainedOn: ['Doc.created', 'Doc.updated'],
+ *   latestKeys: { docId: '$.entity.docId' },
+ *   historyKeys: { docId: '$.entity.docId', version: '$.entity.version' },
+ *   fields: { docId: 'docId', version: 'version', title: 'title' },
+ *   write: { updateMode: 'mutation' },
+ * });
+ * ```
+ */
+declare function defineVersioned(latest: AnyModelClass | ModelStatic<DDBModel>, history: AnyModelClass | ModelStatic<DDBModel>, input: VersionedDefinitionInput): VersionedDefinition;
+/** Marks an object as a {@link ProjectionDefinition} IR node. */
+declare const PROJECTION_DEFINITION_MARKER: unique symbol;
+/** The transport a projection travels — only `stream` (async) in this phase. */
+type ProjectionVia = 'stream';
+/** The author-facing input to {@link defineProjection}. */
+interface ProjectionDefinitionInput {
+    /** The maintenance preset — `'externalProjection'`. */
+    readonly pattern?: 'externalProjection';
+    /** Resolves the source entity whose lifecycle events are projected to the sink. */
+    readonly source: SourceFactory;
+    /** The transport (`'stream'` — async CDC; the only supported value this phase). */
+    readonly via?: ProjectionVia;
+    /**
+     * The source attribute whose value is the **idempotency key** for at-least-once
+     * de-duplication at the sink (e.g. `'resultId'`). A redelivered source event
+     * with the same key is folded to one sink upsert.
+     */
+    readonly idempotencyKey: string;
+    /**
+     * The lifecycle events projected. Defaults to every event of the source
+     * (`created` / `updated` / `removed`) when omitted.
+     */
+    readonly on?: readonly ('created' | 'updated' | 'removed')[];
+    /**
+     * Optional projection of the source payload into the sink record (target
+     * attribute → identity shorthand / transform). When omitted the whole source
+     * `newImage` is projected.
+     */
+    readonly fields?: Readonly<Record<string, ProjectionEntry>>;
+}
+/**
+ * The IR for one `defineProjection` node — a stream + idempotency projection of a
+ * source entity into an external sink. Consumed by the projection sink runtime
+ * ({@link import('../cdc/projection-sink.js')}), which subscribes to
+ * the CDC stream and upserts the projected record into the sink, folding
+ * at-least-once delivery by {@link idempotencyKey}.
+ */
+interface ProjectionDefinition {
+    readonly [PROJECTION_DEFINITION_MARKER]: true;
+    /** The projection's logical name (e.g. `'TestCaseResultBQ'`). */
+    readonly name: string;
+    /** The maintenance preset (always `'externalProjection'`). */
+    readonly pattern: 'externalProjection';
+    /** The resolved source model class whose events are projected. */
+    readonly sourceClass: AnyModelClass;
+    /** The transport (`'stream'`). */
+    readonly via: ProjectionVia;
+    /** The source attribute used as the idempotency key at the sink. */
+    readonly idempotencyKey: string;
+    /** The lifecycle events projected (defaults to all three). */
+    readonly on: readonly ('created' | 'updated' | 'removed')[];
+    /** The optional projection map (target attribute → transform IR); empty = whole image. */
+    readonly project: ProjectionMap;
+}
+/** Runtime guard: is `value` a {@link ProjectionDefinition}? */
+declare function isProjectionDefinition(value: unknown): value is ProjectionDefinition;
+/**
+ * Define a single **external projection** (`externalProjection`, issue #132): a
+ * stream + idempotency projection of a source entity into an external sink
+ * (BigQuery / S3 / OpenSearch in production; the CDC emulator + an in-process sink
+ * in dev/test). At-least-once delivery is folded to one sink upsert per genuine
+ * source event by the {@link ProjectionDefinitionInput.idempotencyKey}.
+ *
+ * @example
+ * ```ts
+ * const TestCaseResultBQ = defineProjection('TestCaseResultBQ', {
+ *   pattern: 'externalProjection',
+ *   source: () => TestCaseResultModel,
+ *   via: 'stream',
+ *   idempotencyKey: 'resultId',
+ * });
+ * ```
+ */
+declare function defineProjection(name: string, input: ProjectionDefinitionInput): ProjectionDefinition;
+/** A record of projection-name → {@link ProjectionDefinition}. */
+type ProjectionDefinitionMap = Record<string, ProjectionDefinition>;
+/**
+ * Group a record of {@link defineProjection} nodes into the projection IR consumed
+ * by the projection sink runtime. Validates every entry is a `defineProjection`
+ * node — the `defineQueries`/`defineCommands` 様式.
+ */
+declare function defineProjections<const D extends ProjectionDefinitionMap>(definitions: D): D;
+
 /**
  * Maintenance graph builder (Epic #118 issue #124 — the RFC B-案 core).
  *
@@ -2823,7 +3348,7 @@ interface MaintenanceGraph {
  * @param registry The models to scan. Defaults to `MetadataRegistry.getAll()`;
  *   an explicit map is accepted for tests / scoped builds.
  */
-declare function buildMaintenanceGraph(registry?: ReadonlyMap<Function, EntityMetadata>): MaintenanceGraph;
+declare function buildMaintenanceGraph(registry?: ReadonlyMap<Function, EntityMetadata>, views?: readonly ViewDefinition[]): MaintenanceGraph;
 
 /**
  * Serializable static operation specs and manifest (issue #42, Python-bridge
@@ -3240,6 +3765,8 @@ interface MaintainCollectionSpec {
     readonly maxItems?: number;
     /** The mutation-input field the items are ordered by (recorded for #130). */
     readonly orderBy?: string;
+    /** The direction `orderBy` sorts by, from the relation's `read.order` (recorded for #130). */
+    readonly orderDir?: 'ASC' | 'DESC';
 }
 /**
  * The maintenance payload an `Update` {@link TransactionItemSpec} carries when it
@@ -3576,48 +4103,6 @@ interface BridgeBundle {
     readonly operations: OperationsDocument;
 }
 
-/**
- * Single-fragment mutation → command-op compiler (issue #83, Epic #80; proposal
- * `docs/mutation-command-derivation.md` §3).
- *
- * A {@link CommandPlan} (a `mutation(...)` result) is the internal IR: a **list**
- * of write fragments to compose atomically. This module compiles the
- * **single-fragment** case end-to-end into the **same** {@link ContractMethodOp}
- * the #58 contract recorder produces, so the existing serializer
- * (`opToDefinition` → `buildCommandSpec`, `src/spec/contracts.ts` /
- * `src/spec/operations.ts`) and the existing runtimes consume it with no new
- * write substrate. The IR is already a list, so the **N-fragment atomic merge is
- * #90** — this module rejects N>1 with a clear pointer rather than half-merging.
- *
- * ## Intent → base op (proposal §3, "single fragment compile")
- *
- * | intent   | base op                                   |
- * |----------|-------------------------------------------|
- * | `create` | `PutItem` (`attribute_not_exists(PK)`)    |
- * | `update` | `UpdateItem` (key + changed fields)       |
- * | `remove` | `DeleteItem` (key)                        |
- *
- * ## `use:` resolution (the resolved fork — proposal §3, pinned spec correction)
- *
- * The fragment's **intent** selects the lifecycle; `use:` is **optional**:
- *
- * - `use:` present → adopt that {@link EntityWritesDefinition} (the **whole**
- *   `writes` set; never a single lifecycle).
- * - `use:` omitted → default to the **target model's own** `entityWrites` save
- *   contract ({@link getEntityWrites}).
- * - the resolved save contract (custom or default) has **no** entry for the
- *   intent's lifecycle, **or the target declares no `writes` at all** → the
- *   **trivial base op** for the intent (create → `Put` `attribute_not_exists(PK)`,
- *   update → `Update`, remove → `Delete`) against the plain model. So
- *   `{ create: () => PostModel, key, input }` works on a bare model.
- *
- * Either way #83 emits the **same** base op — the resolved
- * {@link LifecycleContract} only matters as the **per-fragment hook** the
- * effect-derivation issues (#84–#87) read: the resolved lifecycle's
- * {@link LifecycleContract.effects} are exposed on {@link CompiledFragment} and
- * consumed by NONE of #83 (the empty hook).
- */
-
 /**
  * A **referential-integrity assertion** derived from a `requires`
  * ({@link RequiresEffect}) effect (issue #84; proposal §2/§3). It is the
@@ -3734,11 +4219,32 @@ interface DerivedMaintainWrite {
     readonly relationProperty: string;
     /** The trigger (`<sourceLogicalName>.<event>`) that fired this maintenance. */
     readonly trigger: MaintainTrigger;
+    /**
+     * The maintenance delivery mode (Epic #118 §5.1 `updateMode`):
+     *
+     * - `'mutation'` (synchronous, the default) — the write composes into the SAME
+     *   atomic `TransactWriteItems` as the source write (#127); a snapshot `SET`,
+     *   a bounded-collection `list_append` (Phase 1 append-only), or a counter `ADD`.
+     * - `'stream'` (asynchronous, #130) — the write is NOT placed in the source tx.
+     *   Instead a **maintenance-outbox** row is emitted atomically with the source
+     *   write ({@link DerivedMaintainOutbox}) and a CDC drain
+     *   ({@link import('../cdc/maintenance-drain.js')}) applies the owner-row write
+     *   asynchronously (at-least-once, per-shard ordered). The async path realizes
+     *   the operations a single synchronous `UpdateExpression` cannot —
+     *   collection `maxItems` trim / `removed`-driven splice and a running `max`.
+     *
+     * A `stream` write is NOT composed into the synchronous maintain items; the
+     * compiler diverts it to a {@link DerivedMaintainOutbox} instead (see
+     * {@link splitMaintainByMode}). The field is carried here so a single resolved
+     * structure describes both modes (the outbox derivation reads it back).
+     */
+    readonly updateMode: 'mutation' | 'stream';
     /**
      * Whether the write mirrors a single row (`snapshot`), appends a collection item
-     * (`collection`), or applies a scalar `ADD` counter (`counter`, #141).
+     * (`collection`), applies a scalar `ADD` counter (`counter`, #141), or puts/deletes a
+     * predicate-gated view row (`membership`, #133 sparse view — stream-only).
      */
-    readonly kind: 'snapshot' | 'collection' | 'counter';
+    readonly kind: 'snapshot' | 'collection' | 'counter' | 'membership';
     /**
      * The destination row's key binding: target key field → the mutation-input param
      * that supplies it (resolved from the effect's `$.entity.<sourceField>` paths —
@@ -3766,18 +4272,44 @@ interface DerivedMaintainWrite {
         readonly field: string;
         readonly maxItems?: number;
         readonly orderBy?: string;
+        readonly orderDir?: 'ASC' | 'DESC';
     };
     /**
-     * For a `counter` write (#141 — `@aggregate(..., { pattern: 'counter', value:
-     * count() })`), the scalar `ADD`: the target {@link counter.attribute} and the
-     * signed {@link counter.delta} the trigger applies (`+1` created / `-1` removed).
-     * A counter `ADD` is commutative, so two counter writes on the SAME row MERGE (the
-     * #92 symmetric-counter collapse) rather than reject — unlike snapshot/collection.
+     * For a `counter` write, the scalar aggregate applied to the owner attribute:
+     *
+     * - `op: 'count'` (#141) — a synchronous-capable atomic `ADD #attr :delta` (the
+     *   signed `delta` is `+1` created / `-1` removed). Commutative, so two count
+     *   writes on the SAME row MERGE (the #92 symmetric-counter collapse).
+     * - `op: 'max'` (#130 — `value: max(field)`) — a running maximum of the source
+     *   `field`. This needs a conditional `SET` (`#a = :v` guarded by
+     *   `attribute_not_exists(#a) OR #a < :v`); a failed guard would roll the SOURCE
+     *   write back if done synchronously, so a `max` counter is **stream-only** —
+     *   applied by the CDC drain ({@link import('../cdc/maintenance-drain.js')}).
+     *
      * Absent for a `snapshot` / `collection`.
      */
     readonly counter?: {
         readonly attribute: string;
+        readonly op: 'count';
         readonly delta: number;
+    } | {
+        readonly attribute: string;
+        readonly op: 'max';
+        readonly field: string;
+    };
+    /**
+     * For a `membership` write (#133 sparse view), the predicate that gates the view row:
+     * PUT (its projection) when it holds, DELETE when it flips false. `inputField` is the
+     * mutation-input param the predicate reads the source value from (payload 同梱);
+     * `op` / `value` are the {@link import('../define/entity-writes.js').MembershipPredicate}
+     * realization. Membership is **stream-only** (the put-vs-delete branch is decided by
+     * the host-side drain), so this is only ever carried on a `stream` write. Absent for
+     * a `snapshot` / `collection` / `counter`.
+     */
+    readonly membership?: {
+        readonly op: MembershipPredicateOp;
+        readonly inputField: string;
+        readonly value?: unknown;
     };
 }
 /**
@@ -3891,6 +4423,43 @@ interface DerivedIdempotencyGuard {
     /** The guard marker-row `Put` (one item; `attribute_not_exists`, `literalKey`). */
     readonly items: readonly TransactionItemSpec[];
 }
+/**
+ * A **derived maintenance-outbox event** (issue #130) — the transactional-outbox
+ * `Put` ({@link TransactionItemSpec}) that records a `updateMode: 'stream'`
+ * maintainer's intent ATOMICALLY with the source write, so the `src/cdc/` drain can
+ * apply the owner-row write asynchronously (at-least-once, per-shard ordered).
+ *
+ * ## What the row carries (dynamic values only; the drain re-derives the projection)
+ *
+ * The row's `PK`/`SK` are the deterministic `OUTBOX#MAINT#…` marker (keyed by owner
+ * entity + relation property + the SOURCE row's primary-key input fields). Its
+ * stored item carries:
+ *
+ * - the routing metadata literals — {@link MAINT_OUTBOX_OWNER_ATTR} (owner entity
+ *   name), {@link MAINT_OUTBOX_RELATION_ATTR} (the relation property), and
+ *   {@link MAINT_OUTBOX_TRIGGER_ATTR} (the `<source>.<event>` trigger) — so the drain
+ *   can look the resolved maintainer up in its own maintenance graph;
+ * - one `{inputField}` token per source value the drain needs (every projection
+ *   `inputField`, the `orderBy` field, the `max` field, and every owner-key field),
+ *   rendered from the shared method params exactly as the #87 outbox payload — so the
+ *   row's `newImage` carries the just-written SOURCE row values the drain reprojects.
+ *
+ * The projection transform IR (`identity` / `preview`) is NOT stored in the row (it
+ * would need braces the template renderer reserves for `{token}`s); the drain
+ * recovers it from its maintenance graph by `(owner, relationProperty, trigger)`.
+ * Because the row is a normal table item, real DynamoDB Streams captures it and a
+ * production consumer drains it identically — the emulator is dev/test only.
+ */
+interface DerivedMaintainOutbox {
+    /** The maintained (owner) entity whose row the drain will write (documentary). */
+    readonly ownerEntity: string;
+    /** The relation property / `@aggregate` field that declared this maintenance. */
+    readonly relationProperty: string;
+    /** The trigger (`<sourceLogicalName>.<event>`) that fired this maintenance. */
+    readonly trigger: MaintainTrigger;
+    /** The maintenance-outbox marker-row `Put` (one item; `literalKey`, `MARKER_ROW_ENTITY`). */
+    readonly items: readonly TransactionItemSpec[];
+}
 /**
  * The result of compiling one fragment: the {@link ContractMethodOp} the existing
  * serializer / runtime consume, the resolved contract Key fields (the model's
@@ -3984,8 +4553,26 @@ interface CompiledFragment {
      * realizes into the atomic `TransactWriteItems`; #125 derives it and rejects a
      * same-target collision (論点2 = b). The cross-fragment AGGREGATION and the
      * one-atomic-tx execution wiring are #127 — not done here.
+     *
+     * SCOPE (#130): this carries ONLY the synchronous (`updateMode: 'mutation'`)
+     * maintainers. A `updateMode: 'stream'` maintainer is diverted to
+     * {@link maintainOutbox} instead (it is applied asynchronously by the CDC drain),
+     * so it never appears here.
      */
     readonly maintainWrites?: readonly DerivedMaintainWrite[];
+    /**
+     * The maintenance-outbox events for this fragment's `updateMode: 'stream'`
+     * maintainers (issue #130): one {@link DerivedMaintainOutbox} per stream maintainer
+     * the fragment's trigger fires. Each is a transactional-outbox `Put` composed into
+     * the source write's atomic `TransactWriteItems` — recording the maintenance intent
+     * ATOMICALLY with the source row — which the `src/cdc/` drain
+     * ({@link import('../cdc/maintenance-drain.js')}) selects (`PK begins_with
+     * 'OUTBOX#MAINT#'`) and applies asynchronously (at-least-once, per-shard ordered).
+     * Present (non-empty) only when the fragment fires at least one stream maintainer;
+     * absent otherwise (no regression — a fragment with no stream maintainer compiles
+     * exactly as before).
+     */
+    readonly maintainOutbox?: readonly DerivedMaintainOutbox[];
 }
 /**
  * Resolve the {@link LifecycleContract} a fragment adopts for its intent:
@@ -4716,10 +5303,22 @@ interface CommandMethodSpec<TKey, TParams, TResult> {
      * otherwise single-op method to a transaction: the runtime (#127) realizes each
      * into the method's atomic `TransactWriteItems`, so the maintained row moves
      * atomically with the source write (a failure rolls the WHOLE set back). #127 is
-     * the synchronous (`updateMode: 'mutation'`) path only; the async stream path is
-     * #130 (loud-rejected at compile time, never silently dropped).
+     * the synchronous (`updateMode: 'mutation'`) path only; a `updateMode: 'stream'`
+     * maintainer is carried in {@link maintainOutbox} instead (it is applied
+     * asynchronously by the CDC drain), never in this synchronous slot.
      */
     readonly maintainWrites?: readonly DerivedMaintainWrite[];
+    /**
+     * The maintenance-outbox events for `updateMode: 'stream'` maintainers (issue
+     * #130): one {@link DerivedMaintainOutbox} per stream maintainer fired across the
+     * method's fragments. Each is a transactional-outbox `Put` the runtime composes
+     * into the method's atomic `TransactWriteItems` — recording the maintenance intent
+     * ATOMICALLY with the source write — which the `src/cdc/` drain
+     * ({@link import('../cdc/maintenance-drain.js')}) applies asynchronously
+     * (at-least-once, per-shard ordered). Present (non-empty) only when the method fires
+     * at least one stream maintainer; absent otherwise (no regression).
+     */
+    readonly maintainOutbox?: readonly DerivedMaintainOutbox[];
     /** @internal Phantom carrier retaining the formal `CommandMethod` type. */
     readonly __signature?: CommandMethod<TKey, TParams, TResult>;
 }
@@ -5336,6 +5935,18 @@ interface ExecutableCommandContract {
          * maintainer / a #64 hand-written method.
          */
         readonly maintainWrites?: readonly DerivedMaintainWrite[];
+        /**
+         * The maintenance-outbox events for `updateMode: 'stream'` maintainers (issue
+         * #130). Each is a transactional-outbox `Put` (the same `literalKey` marker
+         * mechanism as #87's outbox) composed into the method's atomic
+         * `TransactWriteItems` — recording the maintenance intent ATOMICALLY with the
+         * source write. The `src/cdc/` drain selects these (`PK begins_with
+         * 'OUTBOX#MAINT#'`) and applies the owner-row write asynchronously (so a
+         * snapshot SET / collection append+trim / counter ADD / running-max conditional
+         * SET happens off the write path, at-least-once, per-shard ordered). Absent on a
+         * mutation with no stream maintainer.
+         */
+        readonly maintainOutbox?: readonly DerivedMaintainOutbox[];
         /**
          * The return projection of a `mutation`-derived method (issue #83). When
          * present, a **single-key** call performs the write then issues a
@@ -5861,7 +6472,7 @@ interface RelationLimitOptions {
  * `(string & {})` tail so a future preset can be authored before this union is
  * widened, without a breaking change to callers.
  */
-type RelationPattern = 'samePartition' | 'edge' | 'counter' | 'embeddedSnapshot' | 'materializedView' | 'sparseView' | 'externalProjection' | (string & {});
+type RelationPattern = 'samePartition' | 'edge' | 'dualEdge' | 'counter' | 'embeddedSnapshot' | 'materializedView' | 'sparseView' | 'versioned' | 'externalProjection' | (string & {});
 /**
  * Consistency boundary a maintained write is declared against (Epic #118 §4.A.7):
  * `transactional` = same `TransactWriteItems`; `eventual` = asynchronous catch-up.
@@ -6150,4 +6761,4 @@ interface CdcEmulatorOptions {
 }
 type ShardId = string;
 
-export { type Param as $, type AggregateOptions as A, type BatchGetExecInput as B, type ChangeEvent as C, type DynamoDBOperation as D, type Executor as E, type FieldOptions as F, type GsiDefinition as G, type ResolvedKey as H, type Item as I, type CdcEmulatorOptions as J, type KeyDefinition as K, type ChangeHandler as L, type ModelStatic as M, type Unsubscribe as N, type FaultSpec as O, type PutInput as P, type ConcurrentRecomputeRef as Q, type ReadExecOptions as R, type SelectableOf as S, type TransactWriteExecItem as T, type UpdateInput as U, type EventLog as V, type WriteExecOptions as W, type ReplayOptions as X, type ShardId as Y, type RelationMetadata as Z, type TransactionItemSpec as _, type ExecutorResult as a, type ContractKeySpec as a$, type ParamDescriptor as a0, type DefinitionMap as a1, type OperationDefinition as a2, type WriteDefinitionOptions as a3, type PartialQueryKeyOf as a4, type StrictSelectSpec as a5, type EntityInput as a6, type UniqueQueryKeyOf as a7, type EntityRef as a8, type ConditionInput as a9, type CollectionEffect as aA, type CollectionOptions as aB, type Column as aC, type ColumnMap as aD, type CommandContractMethodSpec as aE, type CommandInputShape as aF, type CommandMethod as aG, type CommandPlan as aH, type CommandResolutionTarget as aI, type CommandResultKind as aJ, type CommandSelectShape as aK, type CompiledFragment as aL, type ComposeSpec as aM, type CondSlot as aN, type ConditionCheckInput as aO, type Connection as aP, type ContractCallSignature as aQ, type ContractCardinality as aR, type ContractCommandParams as aS, type ContractCommandResult as aT, type ContractComposeNode as aU, type ContractFromRef as aV, type ContractInputArity as aW, type ContractItem as aX, type ContractKeyFieldRef as aY, type ContractKeyInput as aZ, type ContractKeyRef as a_, type QueryModelContract as aa, type QueryMethodSpec as ab, type CommandModelContract as ac, type CommandMethodSpec as ad, type ContractSpec as ae, type QuerySpec as af, type CommandSpec as ag, type ContextSpec as ah, type OperationsDocument as ai, type AnyOperationDefinition as aj, type BridgeBundle as ak, type ConditionSpec as al, type AggregateMetadata as am, type BatchDeleteRequest as an, type BatchGetOptions as ao, type BatchGetRequest as ap, BatchGetResult as aq, type BatchPutRequest as ar, type BatchResult as as, type BatchWriteRequest as at, CONTRACT_RANGE_FANOUT_CONCURRENCY as au, type CdcMode as av, type Change as aw, type ChangeBatch as ax, type ChangeEventName as ay, type ClockMode as az, type WriteResult as b, type MutationInputProxy as b$, type ContractKind as b0, type ContractMethodOp as b1, type ContractParamRef as b2, type ContractQueryParams as b3, type ContractResolution as b4, type CounterAggregate as b5, type CounterEffect as b6, type CtxBase as b7, DEFAULT_MAX_ATTEMPTS as b8, DEFAULT_RETRY_POLICY as b9, type KeyedResult as bA, LIFECYCLE_CONTRACT_MARKER as bB, type LifecycleContract as bC, type LifecycleEffects as bD, type LiteralParam as bE, type MaintainConsistency as bF, type MaintainEffect as bG, type MaintainEvent as bH, type MaintainItem as bI, type MaintainTrigger as bJ, type MaintainUpdateMode as bK, type MaintenanceGraph as bL, type ManifestEntity as bM, type ManifestField as bN, type ManifestFieldType as bO, type ManifestGsi as bP, type ManifestKey as bQ, type ManifestRelation as bR, type ManifestTable as bS, type ModelRef as bT, type MutateMode as bU, type MutateOptions as bV, type MutateParallelResult as bW, type MutateTransactionResult as bX, type MutationBody as bY, type MutationDescriptorMap as bZ, type MutationFragment as b_, type DeleteOptions as ba, type DeriveEffect as bb, type DerivedEdgeWrite as bc, type DerivedUpdate as bd, type DescriptorBinding as be, ENTITY_WRITES_MARKER as bf, type EdgeEffect as bg, type EffectPath as bh, type EmbeddedMetadata as bi, type EmitEffect as bj, type EntityWritesDefinition as bk, type EntityWritesShape as bl, type ExecutableCommandContract as bm, type ExecutableQueryContract as bn, type FilterInput as bo, type FilterSpec as bp, type FragmentInput as bq, type GsiDefinitionMarker as br, type GsiOptions as bs, type IdempotencyEffect as bt, type InProcessWriteDescriptor as bu, type InputArity as bv, type KeyDefinitionMarker as bw, type KeySegment as bx, type KeySlot as by, type KeyStructure as bz, type DeleteInput as c, type WriteKind as c$, type MutationInputRef as c0, type MutationIntent as c1, type NumberParam as c2, type OperationKind as c3, type OperationSpec as c4, type ParallelOpResult as c5, type ParamKind as c6, type ParamSpec as c7, type ParamStructure as c8, type PersistCtx as c9, type RelationSelect as cA, type RelationSpec as cB, type RelationUpdateMode as cC, type RelationWriteOptions as cD, type RequiresEffect as cE, type Resolution as cF, type RetryInfo as cG, type RetryOperationKind as cH, SPEC_VERSION as cI, type SegmentSpec as cJ, type SegmentedKey as cK, type SelectBuilder as cL, type SelectOf as cM, type SnapshotEffect as cN, type StartingPosition as cO, type StreamViewType as cP, type StringParam as cQ, TransactionContext as cR, type TransactionItemType as cS, type UniqueEffect as cT, type Updatable as cU, type UpdateOptions as cV, type WhenSpec as cW, type WriteCtx as cX, type WriteDescriptor as cY, type WriteEnvelope as cZ, type WriteInput as c_, type PersistOrigin as ca, type PlannedCommandMethod as cb, type ProjectionMap as cc, type ProjectionTransform as cd, type ProjectionTransformOp as ce, type PutOptions as cf, type QueryContractMethodSpec as cg, type QueryEnvelopeResult as ch, type QueryKeyOf as ci, type QueryMethod as cj, type QueryResult as ck, type RangeConditionSpec as cl, type ReadEnvelope as cm, type ReadOpCtx as cn, type ReadOpKind as co, type ReadOperationType as cp, type ReadRouteDescriptor as cq, type ReadRouteOptions as cr, type ReadRouteResult as cs, type RecordedCompose as ct, type RelationBuilder as cu, type RelationConsistency as cv, type RelationLimitOptions as cw, type RelationPattern as cx, type RelationProjection as cy, type RelationReadOptions as cz, type BatchWriteExecItem as d, resolveLifecycle as d$, type WriteLifecyclePhase as d0, type WriteMiddleware as d1, type WriteOperationType as d2, type WriteRecorder as d3, type WriteResultProjection as d4, attachModelClass as d5, buildDeleteInput as d6, buildMaintenanceGraph as d7, buildPutInput as d8, buildUpdateInput as d9, isContractFromRef as dA, isContractKeyFieldRef as dB, isContractKeyRef as dC, isContractParamRef as dD, isEntityWritesDefinition as dE, isKeySegment as dF, isLifecycleContract as dG, isMaintainTrigger as dH, isMutationFragment as dI, isMutationInputRef as dJ, isParam as dK, isPlannedCommandMethod as dL, isQueryModelContract as dM, isRetryableError as dN, isRetryableTransactionCancellation as dO, k as dP, key as dQ, lifecyclePhaseForIntent as dR, maintainTrigger as dS, mintContractKeyFieldRef as dT, mintContractParamRef as dU, mutation as dV, param as dW, preview as dX, publicCommandModel as dY, publicQueryModel as dZ, query as d_, compileFragment as da, compileMutationPlan as db, compileSingleFragmentPlan as dc, cond as dd, contractOfMethodSpec as de, definePlan as df, entityWrites as dg, executeBatchGet as dh, executeBatchWrite as di, executeCommandMethod as dj, executeDelete as dk, executeKeyedBatchGet as dl, executePut as dm, executeQueryMethod as dn, executeRangeFanout as dp, executeTransaction as dq, executeUpdate as dr, from as ds, getEntityWrites as dt, gsi as du, identity as dv, isColumn as dw, isCommandModelContract as dx, isCommandPlan as dy, isContractComposeNode as dz, type BatchExecOptions as e, wholeKeysSentinel as e0, DDBModel as f, type PrimaryKeyOf as g, type RequestContext as h, type Middleware as i, type ReadRequestKind as j, type CtxModel as k, type ReadParams as l, type ReadRequestCtx as m, type RetryPolicy as n, type ExecutionPlanSpec as o, type EntityMetadata as p, type DynamoType as q, type RelationOptions as r, type AggregateValue as s, type SelectBuilderSpec as t, type RawCondition as u, type TransactionSpec as v, type Manifest as w, type RetryOverride as x, type ExecutionPlan as y, type FieldMetadata as z };
+export { type RelationMetadata as $, type AggregateOptions as A, type BatchGetExecInput as B, type ChangeEvent as C, type DynamoDBOperation as D, type Executor as E, type FieldOptions as F, type GsiDefinition as G, type ResolvedKey as H, type Item as I, type CdcEmulatorOptions as J, type KeyDefinition as K, type ChangeHandler as L, type ModelStatic as M, type Unsubscribe as N, type FaultSpec as O, type PutInput as P, type ConcurrentRecomputeRef as Q, type ReadExecOptions as R, type SelectableOf as S, type TransactWriteExecItem as T, type UpdateInput as U, type EventLog as V, type WriteExecOptions as W, type ReplayOptions as X, type ShardId as Y, type ViewDefinition as Z, type ProjectionDefinition as _, type ExecutorResult as a, type ContractKeyFieldRef as a$, type TransactionItemSpec as a0, type MaintainEffect as a1, type Param as a2, type ParamDescriptor as a3, type DefinitionMap as a4, type OperationDefinition as a5, type WriteDefinitionOptions as a6, type PartialQueryKeyOf as a7, type StrictSelectSpec as a8, type EntityInput as a9, type ChangeBatch as aA, type ChangeEventName as aB, type ClockMode as aC, type CollectionEffect as aD, type CollectionOptions as aE, type Column as aF, type ColumnMap as aG, type CommandContractMethodSpec as aH, type CommandInputShape as aI, type CommandMethod as aJ, type CommandPlan as aK, type CommandResolutionTarget as aL, type CommandResultKind as aM, type CommandSelectShape as aN, type CompiledFragment as aO, type ComposeSpec as aP, type CondSlot as aQ, type ConditionCheckInput as aR, type Connection as aS, type ContractCallSignature as aT, type ContractCardinality as aU, type ContractCommandParams as aV, type ContractCommandResult as aW, type ContractComposeNode as aX, type ContractFromRef as aY, type ContractInputArity as aZ, type ContractItem as a_, type UniqueQueryKeyOf as aa, type EntityRef as ab, type ConditionInput as ac, type QueryModelContract as ad, type QueryMethodSpec as ae, type CommandModelContract as af, type CommandMethodSpec as ag, type ContractSpec as ah, type QuerySpec as ai, type CommandSpec as aj, type ContextSpec as ak, type OperationsDocument as al, type AnyOperationDefinition as am, type BridgeBundle as an, type ConditionSpec as ao, type AggregateMetadata as ap, type BatchDeleteRequest as aq, type BatchGetOptions as ar, type BatchGetRequest as as, BatchGetResult as at, type BatchPutRequest as au, type BatchResult as av, type BatchWriteRequest as aw, CONTRACT_RANGE_FANOUT_CONCURRENCY as ax, type CdcMode as ay, type Change as az, type WriteResult as b, type MutateParallelResult as b$, type ContractKeyInput as b0, type ContractKeyRef as b1, type ContractKeySpec as b2, type ContractKind as b3, type ContractMethodOp as b4, type ContractParamRef as b5, type ContractQueryParams as b6, type ContractResolution as b7, type CounterAggregate as b8, type CounterEffect as b9, type KeySegment as bA, type KeySlot as bB, type KeyStructure as bC, type KeyedResult as bD, LIFECYCLE_CONTRACT_MARKER as bE, type LifecycleContract as bF, type LifecycleEffects as bG, type LiteralParam as bH, type MaintainConsistency as bI, type MaintainEvent as bJ, type MaintainItem as bK, type MaintainTrigger as bL, type MaintainUpdateMode as bM, type MaintenanceGraph as bN, type ManifestEntity as bO, type ManifestField as bP, type ManifestFieldType as bQ, type ManifestGsi as bR, type ManifestKey as bS, type ManifestRelation as bT, type ManifestTable as bU, type MembershipEffect as bV, type MembershipPredicate as bW, type MembershipPredicateOp as bX, type ModelRef as bY, type MutateMode as bZ, type MutateOptions as b_, type CtxBase as ba, DEFAULT_MAX_ATTEMPTS as bb, DEFAULT_RETRY_POLICY as bc, type DeleteOptions as bd, type DeriveEffect as be, type DerivedEdgeWrite as bf, type DerivedUpdate as bg, type DescriptorBinding as bh, ENTITY_WRITES_MARKER as bi, type EdgeEffect as bj, type EffectPath as bk, type EmbeddedMetadata as bl, type EmitEffect as bm, type EntityWritesDefinition as bn, type EntityWritesShape as bo, type ExecutableCommandContract as bp, type ExecutableQueryContract as bq, type FilterInput as br, type FilterSpec as bs, type FragmentInput as bt, type GsiDefinitionMarker as bu, type GsiOptions as bv, type IdempotencyEffect as bw, type InProcessWriteDescriptor as bx, type InputArity as by, type KeyDefinitionMarker as bz, type DeleteInput as c, type UniqueEffect as c$, type MutateTransactionResult as c0, type MutationBody as c1, type MutationDescriptorMap as c2, type MutationFragment as c3, type MutationInputProxy as c4, type MutationInputRef as c5, type MutationIntent as c6, type NumberParam as c7, type OperationKind as c8, type OperationSpec as c9, type ReadRouteResult as cA, type RecordedCompose as cB, type RelationBuilder as cC, type RelationConsistency as cD, type RelationLimitOptions as cE, type RelationPattern as cF, type RelationProjection as cG, type RelationReadOptions as cH, type RelationSelect as cI, type RelationSpec as cJ, type RelationUpdateMode as cK, type RelationWriteOptions as cL, type RequiresEffect as cM, type Resolution as cN, type RetryInfo as cO, type RetryOperationKind as cP, SPEC_VERSION as cQ, type SegmentSpec as cR, type SegmentedKey as cS, type SelectBuilder as cT, type SelectOf as cU, type SnapshotEffect as cV, type StartingPosition as cW, type StreamViewType as cX, type StringParam as cY, TransactionContext as cZ, type TransactionItemType as c_, type ParallelOpResult as ca, type ParamKind as cb, type ParamSpec as cc, type ParamStructure as cd, type PersistCtx as ce, type PersistOrigin as cf, type PlannedCommandMethod as cg, type ProjectionDefinitionInput as ch, type ProjectionDefinitionMap as ci, type ProjectionMap as cj, type ProjectionTransform as ck, type ProjectionTransformOp as cl, type ProjectionVia as cm, type PutOptions as cn, type QueryContractMethodSpec as co, type QueryEnvelopeResult as cp, type QueryKeyOf as cq, type QueryMethod as cr, type QueryResult as cs, type RangeConditionSpec as ct, type ReadEnvelope as cu, type ReadOpCtx as cv, type ReadOpKind as cw, type ReadOperationType as cx, type ReadRouteDescriptor as cy, type ReadRouteOptions as cz, type BatchWriteExecItem as d, isMaintainTrigger as d$, type Updatable as d0, type UpdateOptions as d1, type VersionedDefinition as d2, type VersionedDefinitionInput as d3, type ViewDefinitionInput as d4, type ViewDefinitionMap as d5, ViewRegistry as d6, type ViewSource as d7, type ViewSourceSlice as d8, type WhenSpec as d9, defineViews as dA, entityWrites as dB, executeBatchGet as dC, executeBatchWrite as dD, executeCommandMethod as dE, executeDelete as dF, executeKeyedBatchGet as dG, executePut as dH, executeQueryMethod as dI, executeRangeFanout as dJ, executeTransaction as dK, executeUpdate as dL, from as dM, getEntityWrites as dN, gsi as dO, identity as dP, isColumn as dQ, isCommandModelContract as dR, isCommandPlan as dS, isContractComposeNode as dT, isContractFromRef as dU, isContractKeyFieldRef as dV, isContractKeyRef as dW, isContractParamRef as dX, isEntityWritesDefinition as dY, isKeySegment as dZ, isLifecycleContract as d_, type WriteCtx as da, type WriteDescriptor as db, type WriteEnvelope as dc, type WriteInput as dd, type WriteKind as de, type WriteLifecyclePhase as df, type WriteMiddleware as dg, type WriteOperationType as dh, type WriteRecorder as di, type WriteResultProjection as dj, attachModelClass as dk, buildDeleteInput as dl, buildMaintenanceGraph as dm, buildPutInput as dn, buildUpdateInput as dp, compileFragment as dq, compileMutationPlan as dr, compileSingleFragmentPlan as ds, cond as dt, contractOfMethodSpec as du, definePlan as dv, defineProjection as dw, defineProjections as dx, defineVersioned as dy, defineView as dz, type BatchExecOptions as e, isMutationFragment as e0, isMutationInputRef as e1, isParam as e2, isPlannedCommandMethod as e3, isProjectionDefinition as e4, isQueryModelContract as e5, isRetryableError as e6, isRetryableTransactionCancellation as e7, isViewDefinition as e8, k as e9, key as ea, lifecyclePhaseForIntent as eb, maintainTrigger as ec, mintContractKeyFieldRef as ed, mintContractParamRef as ee, mutation as ef, param as eg, preview as eh, publicCommandModel as ei, publicQueryModel as ej, query as ek, resolveLifecycle as el, whenMember as em, wholeKeysSentinel as en, DDBModel as f, type PrimaryKeyOf as g, type RequestContext as h, type Middleware as i, type ReadRequestKind as j, type CtxModel as k, type ReadParams as l, type ReadRequestCtx as m, type RetryPolicy as n, type ExecutionPlanSpec as o, type EntityMetadata as p, type DynamoType as q, type RelationOptions as r, type AggregateValue as s, type SelectBuilderSpec as t, type RawCondition as u, type TransactionSpec as v, type Manifest as w, type RetryOverride as x, type ExecutionPlan as y, type FieldMetadata as z };