effect-dynamodb 1.21.0 → 1.23.0

package/dist/EventStore.d.ts

@@ -13,7 +13,8 @@
  * Built on the existing library primitives (DynamoSchema, KeyComposer, Query,
  * DynamoClient, Marshaller).
  */
-import { AdditionalItemConditionFailed, AppendTooLarge, DuplicateCommand, TransactionCancelled, ValidationError, VersionConflict } from "@effect-dynamodb/schema/Errors.js";
+import * as DynamoSchema from "@effect-dynamodb/schema/DynamoSchema.js";
+import { AdditionalItemConditionFailed, AppendTooLarge, type ConcurrentModification, DuplicateCommand, type OptimisticLockError, TransactionCancelled, type UniqueConstraintViolation, ValidationError, VersionConflict } from "@effect-dynamodb/schema/Errors.js";
 import { type Duration, Effect, Option, Pipeable, Schedule, Schema } from "effect";
 import { DynamoClient, type DynamoClientError } from "./DynamoClient.js";
 import { type TransactWriteOp } from "./internal/TransactWriteOps.js";
@@ -104,8 +105,9 @@ export interface SnapshotSettings {
  * command to this aggregate?" asks). It is invisible to `read` / `readFrom` /
  * `currentVersion`, which filter on the event entity type.
  *
- * **Casing:** the sentinel sort key is composed with the schema's casing (default
- * `"lowercase"`), so command ids that differ only in case collide. Use
+ * **Casing:** the sentinel sort key is composed with the stream's key casing
+ * (its `casing`, else the schema's — default `"lowercase"`), so under a folding
+ * casing command ids that differ only in case collide. Use
  * case-insensitively-unique ids (UUID / ULID). The raw id is stored as the
  * `commandId` attribute regardless.
  */
@@ -129,16 +131,25 @@ export interface AppendOptions<TMetadata> {
      * op union `Transaction.transactWrite` accepts (`EntityPut`, `EntityDelete`,
      * `Transaction.check(...)`).
      *
-     * Conditional failures on these items are reported as
-     * `AdditionalItemConditionFailed` (carrying the 0-based indices into this
-     * array), never as `VersionConflict`.
+     * A put of a versioned or unique-constrained entity is written exactly as
+     * the entity's own `put` writes it (#133) — reading the item, continuing a
+     * replaced item's version and history, rotating its sentinels — and an
+     * append whose read raced a concurrent write is written again.
+     *
+     * A failure of an item's OWN condition (`.condition()`, `create()`,
+     * `Transaction.check`) is reported as `AdditionalItemConditionFailed`
+     * (carrying the 0-based indices into this array), never as
+     * `VersionConflict`. A guarded put the caller set no condition on fails as
+     * the entity's put would: `UniqueConstraintViolation`, a history
+     * `ValidationError`, or — a race lost on every attempt —
+     * `OptimisticLockError` / `ConcurrentModification`.
      */
     readonly additionalItems?: ReadonlyArray<TransactWriteOp>;
     /** Opt in to exactly-once command processing — see {@link AppendIdempotency}. */
     readonly idempotency?: AppendIdempotency;
 }
 /** Error channel of {@link EventStream.append}. */
-export type AppendError = VersionConflict | DuplicateCommand | AdditionalItemConditionFailed | AppendTooLarge | DynamoClientError | ValidationError | TransactionCancelled;
+export type AppendError = VersionConflict | DuplicateCommand | AdditionalItemConditionFailed | AppendTooLarge | DynamoClientError | ValidationError | TransactionCancelled | UniqueConstraintViolation | OptimisticLockError | ConcurrentModification;
 type StreamIdInput<T extends ReadonlyArray<string>> = {
     readonly [K in T[number]]: string;
 };
@@ -233,6 +244,16 @@ export interface EventStream<TEvent, TStreamIdFields extends ReadonlyArray<strin
  * })
  * ```
  *
+ * `casing` overrides the key casing for this stream, as an index's or a vector
+ * index's `casing` does: the stream name, stream-id values and command ids in
+ * its keys all take it. When omitted, the stream name is lower-cased and the
+ * rest of the key follows the schema's casing — the layout streams have always
+ * had. Setting `casing` on a stream that already holds data moves its keys
+ * (unless the result happens to match), so its events, snapshot and idempotency
+ * sentinels are no longer read. The `__edd_e__` discriminators
+ * (`<stream>.event` etc.) are always lower-cased. In the next major, omitting
+ * `casing` will mean the schema's casing, as it does for indexes.
+ *
  * @throws `[EDD-9027]` when `snapshot.every` is not a positive integer.
  */
 export declare const makeStream: <const TEvents extends ReadonlyArray<Schema.Top>, TTable extends Table, const TStreamName extends string, const TStreamId extends {
@@ -244,6 +265,7 @@ export declare const makeStream: <const TEvents extends ReadonlyArray<Schema.Top
     readonly streamId: TStreamId;
     readonly metadata?: TMetadata;
     readonly snapshot?: TSnapshot;
+    readonly casing?: DynamoSchema.Casing | undefined;
 }) => EventStream<Schema.Schema.Type<TEvents[number]>, TStreamId["composite"], TMetadata extends Schema.Top ? Schema.Schema.Type<TMetadata> : undefined, TSnapshot extends SnapshotConfig<infer TStateSchema> ? Schema.Schema.Type<TStateSchema> : never>;
 /**
  * An EventStream whose operations have `DynamoClient` and `TableConfig` already
@@ -350,7 +372,7 @@ export interface IdempotentCommandOptions<TMetadata> extends CommandOptions<TMet
 type CommandOptionsArgs<TMetadata, TConfig extends CommandHandlerOptions | undefined> = TConfig extends {
     readonly idempotency: object;
 } ? [options: IdempotentCommandOptions<TMetadata>] : [options?: CommandOptions<TMetadata> | undefined];
-type CommandHandlerErrors<E> = E | VersionConflict | DuplicateCommand | AdditionalItemConditionFailed | AppendTooLarge | DynamoClientError | ValidationError | TransactionCancelled;
+type CommandHandlerErrors<E> = E | VersionConflict | DuplicateCommand | AdditionalItemConditionFailed | AppendTooLarge | DynamoClientError | ValidationError | TransactionCancelled | UniqueConstraintViolation | OptimisticLockError | ConcurrentModification;
 type CommandHandler<State, Command, TEvent, E, TStreamIdFields extends ReadonlyArray<string>, TMetadata, TConfig extends CommandHandlerOptions | undefined = undefined> = (streamId: StreamIdInput<TStreamIdFields>, command: Command, ...options: CommandOptionsArgs<TMetadata, TConfig>) => Effect.Effect<CommandHandlerResult<State, TEvent>, CommandHandlerErrors<E>, DynamoClient | TableConfig>;
 type BoundCommandHandler<State, Command, TEvent, E, TStreamIdFields extends ReadonlyArray<string>, TMetadata, TConfig extends CommandHandlerOptions | undefined = undefined> = (streamId: StreamIdInput<TStreamIdFields>, command: Command, ...options: CommandOptionsArgs<TMetadata, TConfig>) => Effect.Effect<CommandHandlerResult<State, TEvent>, CommandHandlerErrors<E>, never>;
 /**

package/dist/EventStore.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"EventStore.d.ts","sourceRoot":"","sources":["../src/EventStore.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAIH,OAAO,EACL,6BAA6B,EAC7B,cAAc,EACd,gBAAgB,EAIhB,oBAAoB,EACpB,eAAe,EACf,eAAe,EAChB,MAAM,mCAAmC,CAAA;AAE1C,OAAO,EAEL,KAAK,QAAQ,EACb,MAAM,EAEN,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,MAAM,EACP,MAAM,QAAQ,CAAA;AACf,OAAO,EAAE,YAAY,EAAE,KAAK,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACxE,OAAO,EAGL,KAAK,eAAe,EACrB,MAAM,gCAAgC,CAAA;AAEvC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,EAA2B,KAAK,KAAK,EAAE,KAAK,WAAW,EAAE,MAAM,YAAY,CAAA;AAMlF;;;;;;GAMG;AACH,MAAM,WAAW,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK;IACvD,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3F,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,KAAK,KAAK,CAAA;IACtD,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAA;CAC7B;AAMD;;;;;;GAMG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS;IACrE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAA;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B;AAED;;;;GAIG;AACH,MAAM,MAAM,cAAc,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,GACnE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,GACnC,SAAS,GAAG,SAAS,CAAA;AAuBzB,8CAA8C;AAC9C,MAAM,WAAW,YAAY,CAAC,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;CAClC;AAED,6CAA6C;AAC7C,MAAM,WAAW,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAE,SAAQ,YAAY,CAAC,KAAK,CAAC;IAC7E,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACtB;AAMD;;;;;;GAMG;AACH,MAAM,WAAW,QAAQ,CAAC,KAAK;IAC7B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,cAAc,CAAC,OAAO,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG;IACrE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CACpC;AAED,yDAAyD;AACzD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CACnC;AAMD;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,iBAAiB;IAChC,4DAA4D;IAC5D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B;;;;;OAKG;IACH,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,QAAQ,GAAG,MAAM,CAAA;CAC1C;AAED,sDAAsD;AACtD,MAAM,WAAW,aAAa,CAAC,SAAS;IACtC,2FAA2F;IAC3F,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAA;IAC7B;;;;;;;;OAQG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,CAAA;IACzD,iFAAiF;IACjF,QAAQ,CAAC,WAAW,CAAC,EAAE,iBAAiB,CAAA;CACzC;AAED,mDAAmD;AACnD,MAAM,MAAM,WAAW,GACnB,eAAe,GACf,gBAAgB,GAChB,6BAA6B,GAC7B,cAAc,GACd,iBAAiB,GACjB,eAAe,GACf,oBAAoB,CAAA;AAMxB,KAAK,aAAa,CAAC,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,IAAI;IACpD,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM;CAClC,CAAA;AAMD,QAAA,MAAM,iBAAiB,EAAE,OAAO,MAAkD,CAAA;AAClF,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAA;AAMxD;;;;;GAKG;AACH,MAAM,WAAW,WAAW,CAC1B,MAAM,EACN,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAC7C,SAAS,EACT,MAAM,GAAG,KAAK,CACd,SAAQ,QAAQ,CAAC,QAAQ;IACzB,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAA;IAC/C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAA;IAEhC;;;OAGG;IACH,QAAQ,CAAC,cAAc,EAAE,gBAAgB,GAAG,SAAS,CAAA;IAErD;;;;;;;;;;;;;;;;OAgBG;IACH,aAAa,CACX,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,MAAM,GAClB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,GAAG,eAAe,EAAE,YAAY,GAAG,WAAW,CAAC,CAAA;IAEvF;;;;;;OAMG;IACH,YAAY,CACV,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GACvC,MAAM,CAAC,MAAM,CACd,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAC/B,iBAAiB,GAAG,eAAe,EACnC,YAAY,GAAG,WAAW,CAC3B,CAAA;IAED,MAAM,CACJ,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAC7B,eAAe,EAAE,MAAM,EACvB,OAAO,CAAC,EAAE,aAAa,CAAC,SAAS,CAAC,GAAG,SAAS,GAC7C,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,YAAY,GAAG,WAAW,CAAC,CAAA;IAE/E,IAAI,CACF,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GACvC,MAAM,CAAC,MAAM,CACd,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,EAC7D,iBAAiB,GAAG,eAAe,EACnC,YAAY,GAAG,WAAW,CAC3B,CAAA;IAED,QAAQ,CACN,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,YAAY,EAAE,MAAM,GACnB,MAAM,CAAC,MAAM,CACd,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,EAC7D,iBAAiB,GAAG,eAAe,EACnC,YAAY,GAAG,WAAW,CAC3B,CAAA;IAED,cAAc,CACZ,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GACvC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,GAAG,eAAe,EAAE,YAAY,GAAG,WAAW,CAAC,CAAA;IAEzF,QAAQ,CAAC,KAAK,EAAE;QACd,MAAM,CACJ,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GACvC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;KAC/D,CAAA;CACF;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,eAAO,MAAM,UAAU,GACrB,KAAK,CAAC,OAAO,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,EAC/C,MAAM,SAAS,KAAK,EACpB,KAAK,CAAC,WAAW,SAAS,MAAM,EAChC,KAAK,CAAC,SAAS,SAAS;IAAE,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAAE,EACrE,SAAS,SAAS,MAAM,CAAC,GAAG,GAAG,SAAS,GAAG,SAAS,EACpD,SAAS,SAAS,cAAc,GAAG,SAAS,GAAG,SAAS,EACxD,QAAQ;IACR,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAA;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAA;CAC9B,KAAG,WAAW,CACb,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EACnC,SAAS,CAAC,WAAW,CAAC,EACtB,SAAS,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,SAAS,EACxE,SAAS,SAAS,cAAc,CAAC,MAAM,YAAY,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,KAAK,CA2qBhG,CAAA;AAMD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,WAAW,gBAAgB,CAC/B,MAAM,EACN,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAC7C,SAAS,EACT,MAAM,GAAG,KAAK,CACd,SAAQ,QAAQ,CAAC,QAAQ;IACzB,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAA;IAC/C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAA;IAEhC,8CAA8C;IAC9C,QAAQ,CAAC,cAAc,EAAE,gBAAgB,GAAG,SAAS,CAAA;IAErD,qFAAqF;IACrF,aAAa,CACX,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,MAAM,GAClB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,GAAG,eAAe,EAAE,KAAK,CAAC,CAAA;IAElE,4CAA4C;IAC5C,YAAY,CACV,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GACvC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,iBAAiB,GAAG,eAAe,EAAE,KAAK,CAAC,CAAA;IAE7F,MAAM,CACJ,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAC7B,eAAe,EAAE,MAAM,EACvB,OAAO,CAAC,EAAE,aAAa,CAAC,SAAS,CAAC,GAAG,SAAS,GAC7C,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,CAAA;IAE1D,IAAI,CACF,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GACvC,MAAM,CAAC,MAAM,CACd,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,EAC7D,iBAAiB,GAAG,eAAe,EACnC,KAAK,CACN,CAAA;IAED,QAAQ,CACN,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,YAAY,EAAE,MAAM,GACnB,MAAM,CAAC,MAAM,CACd,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,EAC7D,iBAAiB,GAAG,eAAe,EACnC,KAAK,CACN,CAAA;IAED,cAAc,CACZ,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GACvC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,GAAG,eAAe,EAAE,KAAK,CAAC,CAAA;IAEpE,QAAQ,CAAC,KAAK,EAAE;QACd,MAAM,CACJ,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GACvC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;KAC/D,CAAA;IAED,+EAA+E;IAC/E,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EACrB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,GAAG,WAAW,CAAC,KACpD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAA;CAChC;AAMD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,IAAI,GAAI,MAAM,EAAE,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM,EAC3F,QAAQ,WAAW,CAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,CAAC,KAC9D,MAAM,CAAC,MAAM,CACd,gBAAgB,CAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,CAAC,EAC5D,KAAK,EACL,YAAY,GAAG,WAAW,CA4BxB,CAAA;AAMJ;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB;IACpC;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC,GAAG,SAAS,CAAA;IAEjF,iFAAiF;IACjF,QAAQ,CAAC,WAAW,CAAC,EAAE;QAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,QAAQ,GAAG,MAAM,CAAA;KAAE,CAAA;CACrE;AAED,iFAAiF;AACjF,MAAM,WAAW,cAAc,CAAC,SAAS;IACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAA;IAC7B;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,iFAAiF;IACjF,QAAQ,CAAC,eAAe,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,CAAA;CAC1D;AAED,kGAAkG;AAClG,MAAM,WAAW,wBAAwB,CAAC,SAAS,CAAE,SAAQ,cAAc,CAAC,SAAS,CAAC;IACpF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B;AAED;;;;GAIG;AACH,KAAK,kBAAkB,CACrB,SAAS,EACT,OAAO,SAAS,qBAAqB,GAAG,SAAS,IAC/C,OAAO,SAAS;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAChD,CAAC,OAAO,EAAE,wBAAwB,CAAC,SAAS,CAAC,CAAC,GAC9C,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC,CAAA;AAErD,KAAK,oBAAoB,CAAC,CAAC,IACvB,CAAC,GACD,eAAe,GACf,gBAAgB,GAChB,6BAA6B,GAC7B,cAAc,GACd,iBAAiB,GACjB,eAAe,GACf,oBAAoB,CAAA;AAExB,KAAK,cAAc,CACjB,KAAK,EACL,OAAO,EACP,MAAM,EACN,CAAC,EACD,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAC7C,SAAS,EACT,OAAO,SAAS,qBAAqB,GAAG,SAAS,GAAG,SAAS,IAC3D,CACF,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,OAAO,EAAE,OAAO,EAChB,GAAG,OAAO,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,CAAC,KAC/C,MAAM,CAAC,MAAM,CAChB,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,EACnC,oBAAoB,CAAC,CAAC,CAAC,EACvB,YAAY,GAAG,WAAW,CAC3B,CAAA;AAED,KAAK,mBAAmB,CACtB,KAAK,EACL,OAAO,EACP,MAAM,EACN,CAAC,EACD,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAC7C,SAAS,EACT,OAAO,SAAS,qBAAqB,GAAG,SAAS,GAAG,SAAS,IAC3D,CACF,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,OAAO,EAAE,OAAO,EAChB,GAAG,OAAO,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,CAAC,KAC/C,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;AA0JvF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,eAAO,MAAM,cAAc,EAAE;IAE3B,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,OAAO,SAAS,qBAAqB,GAAG,SAAS,GAAG,SAAS,EAC7F,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,EAC3C,OAAO,CAAC,EAAE,OAAO,GAChB;QACD,CAAC,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM,SAAS,KAAK,EAC7E,MAAM,EAAE,gBAAgB,CAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,CAAC,GACnE,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,eAAe,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;QACtF,CAAC,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM,SAAS,KAAK,EAC7E,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,CAAC,GAC9D,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,eAAe,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;KAClF,CAAA;IAGD,CACE,KAAK,EACL,OAAO,EACP,MAAM,EACN,CAAC,EACD,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAC7C,SAAS,EACT,MAAM,SAAS,KAAK,EACpB,KAAK,CAAC,OAAO,SAAS,qBAAqB,GAAG,SAAS,GAAG,SAAS,EAEnE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,EAC3C,MAAM,EAAE,gBAAgB,CAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,CAAC,EACpE,OAAO,CAAC,EAAE,OAAO,GAChB,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,eAAe,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;IAGtF,CACE,KAAK,EACL,OAAO,EACP,MAAM,EACN,CAAC,EACD,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAC7C,SAAS,EACT,MAAM,SAAS,KAAK,EACpB,KAAK,CAAC,OAAO,SAAS,qBAAqB,GAAG,SAAS,GAAG,SAAS,EAEnE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,EAC3C,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,CAAC,EAC/D,OAAO,CAAC,EAAE,OAAO,GAChB,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,eAAe,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;CAOxD,CAAA;AAM3B;;;;GAIG;AACH,eAAO,MAAM,IAAI,EAAE;IACjB,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;IACxF,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;CAUrF,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,CAAC,EACA,UAAU,EAAE,OAAO,EACnB,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GACpC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;IAC/C,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACT,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC5B,UAAU,EAAE,CAAC,EACb,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GACpC,CAAC,CAAA;CAcL,CAAA"}
+{"version":3,"file":"EventStore.d.ts","sourceRoot":"","sources":["../src/EventStore.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,YAAY,MAAM,yCAAyC,CAAA;AAEvE,OAAO,EACL,6BAA6B,EAC7B,cAAc,EACd,KAAK,sBAAsB,EAC3B,gBAAgB,EAGhB,KAAK,mBAAmB,EAExB,oBAAoB,EACpB,KAAK,yBAAyB,EAC9B,eAAe,EACf,eAAe,EAChB,MAAM,mCAAmC,CAAA;AAE1C,OAAO,EAEL,KAAK,QAAQ,EACb,MAAM,EAEN,MAAM,EACN,QAAQ,EACR,QAAQ,EACR,MAAM,EACP,MAAM,QAAQ,CAAA;AACf,OAAO,EAAE,YAAY,EAAE,KAAK,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AACxE,OAAO,EAOL,KAAK,eAAe,EAErB,MAAM,gCAAgC,CAAA;AAEvC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,EAA2B,KAAK,KAAK,EAAE,KAAK,WAAW,EAAE,MAAM,YAAY,CAAA;AAMlF;;;;;;GAMG;AACH,MAAM,WAAW,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK;IACvD,QAAQ,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAC3F,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,KAAK,KAAK,CAAA;IACtD,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAA;CAC7B;AAMD;;;;;;GAMG;AACH,MAAM,WAAW,WAAW,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS;IACrE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAA;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B;AAED;;;;GAIG;AACH,MAAM,MAAM,cAAc,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,SAAS,CAAC,GACnE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,GACnC,SAAS,GAAG,SAAS,CAAA;AAuBzB,8CAA8C;AAC9C,MAAM,WAAW,YAAY,CAAC,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;CAClC;AAED,6CAA6C;AAC7C,MAAM,WAAW,oBAAoB,CAAC,KAAK,EAAE,KAAK,CAAE,SAAQ,YAAY,CAAC,KAAK,CAAC;IAC7E,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACtB;AAMD;;;;;;GAMG;AACH,MAAM,WAAW,QAAQ,CAAC,KAAK;IAC7B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,cAAc,CAAC,OAAO,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG;IACrE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CACpC;AAED,yDAAyD;AACzD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;CACnC;AAMD;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,iBAAiB;IAChC,4DAA4D;IAC5D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B;;;;;OAKG;IACH,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,QAAQ,GAAG,MAAM,CAAA;CAC1C;AAED,sDAAsD;AACtD,MAAM,WAAW,aAAa,CAAC,SAAS;IACtC,2FAA2F;IAC3F,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAA;IAC7B;;;;;;;;;;;;;;;;;OAiBG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,CAAA;IACzD,iFAAiF;IACjF,QAAQ,CAAC,WAAW,CAAC,EAAE,iBAAiB,CAAA;CACzC;AAED,mDAAmD;AACnD,MAAM,MAAM,WAAW,GACnB,eAAe,GACf,gBAAgB,GAChB,6BAA6B,GAC7B,cAAc,GACd,iBAAiB,GACjB,eAAe,GACf,oBAAoB,GACpB,yBAAyB,GACzB,mBAAmB,GACnB,sBAAsB,CAAA;AAM1B,KAAK,aAAa,CAAC,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,IAAI;IACpD,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,MAAM;CAClC,CAAA;AAMD,QAAA,MAAM,iBAAiB,EAAE,OAAO,MAAkD,CAAA;AAClF,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAA;AAMxD;;;;;GAKG;AACH,MAAM,WAAW,WAAW,CAC1B,MAAM,EACN,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAC7C,SAAS,EACT,MAAM,GAAG,KAAK,CACd,SAAQ,QAAQ,CAAC,QAAQ;IACzB,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAA;IAC/C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAA;IAEhC;;;OAGG;IACH,QAAQ,CAAC,cAAc,EAAE,gBAAgB,GAAG,SAAS,CAAA;IAErD;;;;;;;;;;;;;;;;OAgBG;IACH,aAAa,CACX,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,MAAM,GAClB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,GAAG,eAAe,EAAE,YAAY,GAAG,WAAW,CAAC,CAAA;IAEvF;;;;;;OAMG;IACH,YAAY,CACV,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GACvC,MAAM,CAAC,MAAM,CACd,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAC/B,iBAAiB,GAAG,eAAe,EACnC,YAAY,GAAG,WAAW,CAC3B,CAAA;IAED,MAAM,CACJ,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAC7B,eAAe,EAAE,MAAM,EACvB,OAAO,CAAC,EAAE,aAAa,CAAC,SAAS,CAAC,GAAG,SAAS,GAC7C,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,YAAY,GAAG,WAAW,CAAC,CAAA;IAE/E,IAAI,CACF,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GACvC,MAAM,CAAC,MAAM,CACd,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,EAC7D,iBAAiB,GAAG,eAAe,EACnC,YAAY,GAAG,WAAW,CAC3B,CAAA;IAED,QAAQ,CACN,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,YAAY,EAAE,MAAM,GACnB,MAAM,CAAC,MAAM,CACd,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,EAC7D,iBAAiB,GAAG,eAAe,EACnC,YAAY,GAAG,WAAW,CAC3B,CAAA;IAED,cAAc,CACZ,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GACvC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,GAAG,eAAe,EAAE,YAAY,GAAG,WAAW,CAAC,CAAA;IAEzF,QAAQ,CAAC,KAAK,EAAE;QACd,MAAM,CACJ,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GACvC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;KAC/D,CAAA;CACF;AAMD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AACH,eAAO,MAAM,UAAU,GACrB,KAAK,CAAC,OAAO,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,EAC/C,MAAM,SAAS,KAAK,EACpB,KAAK,CAAC,WAAW,SAAS,MAAM,EAChC,KAAK,CAAC,SAAS,SAAS;IAAE,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAAE,EACrE,SAAS,SAAS,MAAM,CAAC,GAAG,GAAG,SAAS,GAAG,SAAS,EACpD,SAAS,SAAS,cAAc,GAAG,SAAS,GAAG,SAAS,EACxD,QAAQ;IACR,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAA;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAA;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAA;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,MAAM,GAAG,SAAS,CAAA;CAClD,KAAG,WAAW,CACb,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EACnC,SAAS,CAAC,WAAW,CAAC,EACtB,SAAS,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,SAAS,EACxE,SAAS,SAAS,cAAc,CAAC,MAAM,YAAY,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,KAAK,CAyuBhG,CAAA;AAMD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,WAAW,gBAAgB,CAC/B,MAAM,EACN,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAC7C,SAAS,EACT,MAAM,GAAG,KAAK,CACd,SAAQ,QAAQ,CAAC,QAAQ;IACzB,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,iBAAiB,CAAA;IAC/C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,GAAG,CAAA;IAEhC,8CAA8C;IAC9C,QAAQ,CAAC,cAAc,EAAE,gBAAgB,GAAG,SAAS,CAAA;IAErD,qFAAqF;IACrF,aAAa,CACX,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,KAAK,EAAE,MAAM,EACb,WAAW,EAAE,MAAM,GAClB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,iBAAiB,GAAG,eAAe,EAAE,KAAK,CAAC,CAAA;IAElE,4CAA4C;IAC5C,YAAY,CACV,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GACvC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,iBAAiB,GAAG,eAAe,EAAE,KAAK,CAAC,CAAA;IAE7F,MAAM,CACJ,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAC7B,eAAe,EAAE,MAAM,EACvB,OAAO,CAAC,EAAE,aAAa,CAAC,SAAS,CAAC,GAAG,SAAS,GAC7C,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,CAAA;IAE1D,IAAI,CACF,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GACvC,MAAM,CAAC,MAAM,CACd,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,EAC7D,iBAAiB,GAAG,eAAe,EACnC,KAAK,CACN,CAAA;IAED,QAAQ,CACN,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,YAAY,EAAE,MAAM,GACnB,MAAM,CAAC,MAAM,CACd,aAAa,CAAC,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,EAC7D,iBAAiB,GAAG,eAAe,EACnC,KAAK,CACN,CAAA;IAED,cAAc,CACZ,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GACvC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,iBAAiB,GAAG,eAAe,EAAE,KAAK,CAAC,CAAA;IAEpE,QAAQ,CAAC,KAAK,EAAE;QACd,MAAM,CACJ,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,GACvC,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;KAC/D,CAAA;IAED,+EAA+E;IAC/E,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EACrB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,GAAG,WAAW,CAAC,KACpD,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAA;CAChC;AAMD;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,IAAI,GAAI,MAAM,EAAE,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM,EAC3F,QAAQ,WAAW,CAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,CAAC,KAC9D,MAAM,CAAC,MAAM,CACd,gBAAgB,CAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,CAAC,EAC5D,KAAK,EACL,YAAY,GAAG,WAAW,CA4BxB,CAAA;AAMJ;;;;;;GAMG;AACH,MAAM,WAAW,qBAAqB;IACpC;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC,GAAG,SAAS,CAAA;IAEjF,iFAAiF;IACjF,QAAQ,CAAC,WAAW,CAAC,EAAE;QAAE,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,QAAQ,GAAG,MAAM,CAAA;KAAE,CAAA;CACrE;AAED,iFAAiF;AACjF,MAAM,WAAW,cAAc,CAAC,SAAS;IACvC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAA;IAC7B;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,iFAAiF;IACjF,QAAQ,CAAC,eAAe,CAAC,EAAE,aAAa,CAAC,eAAe,CAAC,CAAA;CAC1D;AAED,kGAAkG;AAClG,MAAM,WAAW,wBAAwB,CAAC,SAAS,CAAE,SAAQ,cAAc,CAAC,SAAS,CAAC;IACpF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC3B;AAED;;;;GAIG;AACH,KAAK,kBAAkB,CACrB,SAAS,EACT,OAAO,SAAS,qBAAqB,GAAG,SAAS,IAC/C,OAAO,SAAS;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAChD,CAAC,OAAO,EAAE,wBAAwB,CAAC,SAAS,CAAC,CAAC,GAC9C,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC,CAAA;AAErD,KAAK,oBAAoB,CAAC,CAAC,IACvB,CAAC,GACD,eAAe,GACf,gBAAgB,GAChB,6BAA6B,GAC7B,cAAc,GACd,iBAAiB,GACjB,eAAe,GACf,oBAAoB,GACpB,yBAAyB,GACzB,mBAAmB,GACnB,sBAAsB,CAAA;AAE1B,KAAK,cAAc,CACjB,KAAK,EACL,OAAO,EACP,MAAM,EACN,CAAC,EACD,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAC7C,SAAS,EACT,OAAO,SAAS,qBAAqB,GAAG,SAAS,GAAG,SAAS,IAC3D,CACF,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,OAAO,EAAE,OAAO,EAChB,GAAG,OAAO,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,CAAC,KAC/C,MAAM,CAAC,MAAM,CAChB,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,EACnC,oBAAoB,CAAC,CAAC,CAAC,EACvB,YAAY,GAAG,WAAW,CAC3B,CAAA;AAED,KAAK,mBAAmB,CACtB,KAAK,EACL,OAAO,EACP,MAAM,EACN,CAAC,EACD,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAC7C,SAAS,EACT,OAAO,SAAS,qBAAqB,GAAG,SAAS,GAAG,SAAS,IAC3D,CACF,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,EACxC,OAAO,EAAE,OAAO,EAChB,GAAG,OAAO,EAAE,kBAAkB,CAAC,SAAS,EAAE,OAAO,CAAC,KAC/C,MAAM,CAAC,MAAM,CAAC,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;AA0JvF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,eAAO,MAAM,cAAc,EAAE;IAE3B,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,OAAO,SAAS,qBAAqB,GAAG,SAAS,GAAG,SAAS,EAC7F,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,EAC3C,OAAO,CAAC,EAAE,OAAO,GAChB;QACD,CAAC,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM,SAAS,KAAK,EAC7E,MAAM,EAAE,gBAAgB,CAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,CAAC,GACnE,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,eAAe,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;QACtF,CAAC,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM,SAAS,KAAK,EAC7E,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,CAAC,GAC9D,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,eAAe,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;KAClF,CAAA;IAGD,CACE,KAAK,EACL,OAAO,EACP,MAAM,EACN,CAAC,EACD,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAC7C,SAAS,EACT,MAAM,SAAS,KAAK,EACpB,KAAK,CAAC,OAAO,SAAS,qBAAqB,GAAG,SAAS,GAAG,SAAS,EAEnE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,EAC3C,MAAM,EAAE,gBAAgB,CAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,CAAC,EACpE,OAAO,CAAC,EAAE,OAAO,GAChB,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,eAAe,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;IAGtF,CACE,KAAK,EACL,OAAO,EACP,MAAM,EACN,CAAC,EACD,eAAe,SAAS,aAAa,CAAC,MAAM,CAAC,EAC7C,SAAS,EACT,MAAM,SAAS,KAAK,EACpB,KAAK,CAAC,OAAO,SAAS,qBAAqB,GAAG,SAAS,GAAG,SAAS,EAEnE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,EAC3C,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,CAAC,EAC/D,OAAO,CAAC,EAAE,OAAO,GAChB,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,eAAe,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;CAOxD,CAAA;AAM3B;;;;GAIG;AACH,eAAO,MAAM,IAAI,EAAE;IACjB,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;IACxF,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;CAUrF,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,QAAQ,EAAE;IACrB,CAAC,CAAC,EACA,UAAU,EAAE,OAAO,EACnB,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GACpC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;IAC/C,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EACT,OAAO,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAC5B,UAAU,EAAE,CAAC,EACb,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GACpC,CAAC,CAAA;CAcL,CAAA"}

package/dist/EventStore.js

@@ -19,7 +19,7 @@ import { AdditionalItemConditionFailed, AppendTooLarge, DuplicateCommand, isAwsC
 import * as KeyComposer from "@effect-dynamodb/schema/KeyComposer.js";
 import { DateTime, Effect, Function, Option, Pipeable, Schedule, Schema, } from "effect";
 import { DynamoClient } from "./DynamoClient.js";
-import { buildTransactWriteItems, } from "./internal/TransactWriteOps.js";
+import { buildTransactWriteItems, GUARDED_TRANSACTION_ATTEMPTS, judgeCancellation, refuseOversizedTransaction, refuseRepeatedItems, transactItemTarget, } from "./internal/TransactWriteOps.js";
 import { fromAttributeMap, toAttributeMap } from "./Marshaller.js";
 import * as Query from "./Query.js";
 import { resolveTtlAttributeName } from "./Table.js";
@@ -85,19 +85,46 @@ const EventStreamTypeId = Symbol.for("effect-dynamodb/EventStream");
  * })
  * ```
  *
+ * `casing` overrides the key casing for this stream, as an index's or a vector
+ * index's `casing` does: the stream name, stream-id values and command ids in
+ * its keys all take it. When omitted, the stream name is lower-cased and the
+ * rest of the key follows the schema's casing — the layout streams have always
+ * had. Setting `casing` on a stream that already holds data moves its keys
+ * (unless the result happens to match), so its events, snapshot and idempotency
+ * sentinels are no longer read. The `__edd_e__` discriminators
+ * (`<stream>.event` etc.) are always lower-cased. In the next major, omitting
+ * `casing` will mean the schema's casing, as it does for indexes.
+ *
  * @throws `[EDD-9027]` when `snapshot.every` is not a positive integer.
  */
 export const makeStream = (config) => {
     const schema = config.table.schema;
-    const entityType = `${config.streamName.toLowerCase()}.event`;
-    const snapshotEntityType = `${config.streamName.toLowerCase()}.snapshot`;
+    /**
+     * `__edd_e__` discriminator values. Always lower-cased, whatever the casing:
+     * they are matched exactly by every stream read, so they never vary with the
+     * stream's or the schema's casing.
+     */
+    const typeLabel = config.streamName.toLowerCase();
+    const entityType = `${typeLabel}.event`;
+    const snapshotEntityType = `${typeLabel}.snapshot`;
     /**
      * Entity type of the command-dedup sentinel. Distinct from `entityType` so the
      * sentinel is filtered out of every event query (`read`, `readFrom`,
      * `currentVersion` all constrain `__edd_e__`), and it sorts before the event
      * keys (`.command` < `.event`) so it also falls outside `readFrom` ranges.
      */
-    const commandEntityType = `${config.streamName.toLowerCase()}.command`;
+    const commandEntityType = `${typeLabel}.command`;
+    /**
+     * Stream keys. With `casing` set, the stream name goes to the key composer as
+     * written and that casing applies to the whole key, as an index's `casing`
+     * does. Without it, the name is lower-cased first and the schema's casing
+     * applies — the layout every stream has been written with so far.
+     */
+    const keyOptions = config.casing === undefined ? undefined : { casing: config.casing };
+    const keyLabel = config.casing === undefined ? typeLabel : config.streamName;
+    const eventKeyLabel = `${keyLabel}.event`;
+    const snapshotKeyLabel = `${keyLabel}.snapshot`;
+    const commandKeyLabel = `${keyLabel}.command`;
     const compositeFields = config.streamId.composite;
     // -------------------------------------------------------------------------
     // Snapshot config validation (EDD-9027) — fail fast at definition time.
@@ -121,16 +148,16 @@ export const makeStream = (config) => {
     // ---------------------------------------------------------------------------
     const composeStreamPk = (streamId) => {
         const composites = KeyComposer.extractComposites(compositeFields, streamId);
-        return DynamoSchema.composeKey(schema, config.streamName.toLowerCase(), composites);
+        return DynamoSchema.composeKey(schema, keyLabel, composites, keyOptions);
     };
-    const composeEventSk = (version) => DynamoSchema.composeEventVersionKey(schema, entityType, version);
+    const composeEventSk = (version) => DynamoSchema.composeEventVersionKey(schema, eventKeyLabel, version, keyOptions);
     /**
      * Every event SK begins with this; nothing else in the stream partition does.
      * Bounding event reads to it excludes the snapshot item at the key-condition
      * level, which matters because DynamoDB applies `Limit` *before*
      * `FilterExpression` — a filtered-out snapshot would still burn a `Limit` slot.
      */
-    const eventSkPrefix = DynamoSchema.composeEventVersionKeyPrefix(schema, entityType);
+    const eventSkPrefix = DynamoSchema.composeEventVersionKeyPrefix(schema, eventKeyLabel, keyOptions);
     /** Inclusive upper bound of the event SK range (10-digit padding maximum). */
     const maxEventSk = composeEventSk(DynamoSchema.MAX_EVENT_VERSION);
     /**
@@ -138,7 +165,7 @@ export const makeStream = (config) => {
      * `<stream>.event_1#…`), so it can never collide with an event SK, and it
      * sorts after every event in the partition.
      */
-    const snapshotSk = DynamoSchema.composeKey(schema, snapshotEntityType, []);
+    const snapshotSk = DynamoSchema.composeKey(schema, snapshotKeyLabel, [], keyOptions);
     const composeStreamIdString = (streamId) => compositeFields.map((f) => streamId[f]).join("#");
     // ---------------------------------------------------------------------------
     // Codec helpers — write encodes, read decodes (symmetry with Entity/Aggregate)
@@ -283,164 +310,185 @@ export const makeStream = (config) => {
                 },
             };
         }));
-        // Caller-owned items, compiled through the same builder
-        // `Transaction.transactWrite` uses, so the two APIs cannot drift.
-        const { items: additionalItems, provenance: additionalProvenance } = yield* buildTransactWriteItems(additionalOps, "EventStore.append.additionalItems");
-        // Authoritative cap check: one additional op can compile to several items
-        // (#113), so the pre-flight lower bound above is not sufficient. Reporting
-        // the EXPANDED count is the point — "you passed 40 items" when the caller
-        // passed 30 ops is baffling without it.
-        if (fixedItems + additionalItems.length > TRANSACT_WRITE_ITEMS_LIMIT) {
-            return yield* new AppendTooLarge({
-                streamName: config.streamName,
-                streamId: streamIdStr,
-                count: fixedItems + additionalItems.length,
-                limit: TRANSACT_WRITE_ITEMS_LIMIT,
-            });
-        }
-        // Version-contiguity guard: `attribute_not_exists(pk)` on the event puts
-        // only rejects STALE expected versions (the target slot already exists).
-        // An AHEAD expectedVersion (e.g. 10 when the stream is at 3) would
-        // silently write from version 11, leaving a permanent gap. When
-        // expectedVersion > 0, require the event at exactly `expectedVersion` to
-        // exist so the appended range is contiguous with the stream head. Its
-        // failure surfaces as a ConditionalCheckFailed cancellation reason,
-        // mapping to VersionConflict below just like a stale-version Put failure.
-        //
-        // Only when events are actually being written: the guard exists to stop an
-        // AHEAD expectedVersion opening a permanent gap, and a zero-event append
-        // (pure `additionalItems` / sentinel side-write) writes no version and so
-        // can open no gap.
-        const contiguityCheck = needsContiguityCheck
-            ? [
-                {
-                    ConditionCheck: {
-                        TableName: tableName,
-                        Key: toAttributeMap({ pk, sk: composeEventSk(expectedVersion) }),
-                        ConditionExpression: "attribute_exists(pk)",
-                    },
-                },
-            ]
-            : [];
-        // Item layout is load-bearing — cancellation reasons are positional:
-        //   [0, C)                version-contiguity ConditionCheck (C is 0 or 1)
-        //   [C, C + E)            event puts
-        //   [C + E, C + E + A)    additional ITEMS (caller op order preserved)
-        //   C + E + A             idempotency sentinel (last, so adding it never
-        //                         shifts the additional-item indices the caller sees)
-        //
-        // `A` is the count of EMITTED items, which is >= the number of caller ops:
-        // a `unique` / `retain` put expands into its item plus sentinels plus a
-        // snapshot (#113). The 1:1 "item index == caller index" assumption is gone,
-        // so the reason mapping below goes through `additionalProvenance` — the
-        // caller-facing `indices` on `AdditionalItemConditionFailed` are still
-        // indices into the caller's `additionalItems` array, unchanged.
-        const transactItems = [
-            ...contiguityCheck,
-            ...eventItems,
-            ...additionalItems,
-        ];
-        const checkCount = contiguityCheck.length;
-        const eventCount = eventItems.length;
-        const additionalCount = additionalItems.length;
-        const sentinelIndex = idempotency !== undefined ? transactItems.length : -1;
-        if (idempotency !== undefined) {
-            const sentinel = {
-                pk,
-                sk: DynamoSchema.composeKey(schema, commandEntityType, [idempotency.commandId]),
-                __edd_e__: commandEntityType,
-                streamId: streamIdStr,
-                commandId: idempotency.commandId,
-                version: expectedVersion + events.length,
-                timestamp: now,
-            };
-            if (idempotency.ttl !== undefined) {
-                const ttlSeconds = yield* Effect.try({
-                    try: () => normalizeTtlSeconds(idempotency.ttl),
-                    catch: (cause) => new ValidationError({
-                        entityType: commandEntityType,
-                        operation: "EventStore.append.idempotency.ttl",
-                        cause,
-                    }),
+        // A guarded put among the additional items reads its item; a race with
+        // that read cancels the append, which is then built and written again.
+        let lost;
+        for (let attempt = 0; attempt < GUARDED_TRANSACTION_ATTEMPTS; attempt++) {
+            // Caller-owned items, compiled through the same builder
+            // `Transaction.transactWrite` uses, so the two APIs cannot drift.
+            const additional = yield* buildTransactWriteItems(additionalOps, "EventStore.append.additionalItems");
+            const additionalItems = additional.items;
+            // Authoritative cap check: one additional op can compile to several items
+            // (#113), so the pre-flight lower bound above is not sufficient. Reporting
+            // the EXPANDED count is the point — "you passed 40 items" when the caller
+            // passed 30 ops is baffling without it.
+            if (fixedItems + additionalItems.length > TRANSACT_WRITE_ITEMS_LIMIT) {
+                return yield* new AppendTooLarge({
+                    streamName: config.streamName,
+                    streamId: streamIdStr,
+                    count: fixedItems + additionalItems.length,
+                    limit: TRANSACT_WRITE_ITEMS_LIMIT,
                 });
-                sentinel[resolveTtlAttributeName(tableConfig)] =
-                    DateTime.toEpochSeconds(nowDateTime) + ttlSeconds;
             }
-            transactItems.push({
-                Put: {
-                    TableName: tableName,
-                    Item: toAttributeMap(sentinel),
-                    ConditionExpression: "attribute_not_exists(pk)",
-                },
-            });
-        }
-        yield* client.transactWriteItems({ TransactItems: transactItems }).pipe(Effect.mapError((error) => {
-            if (!isAwsTransactionCancelled(error.cause)) {
-                return error;
-            }
-            const reasons = (error.cause.CancellationReasons ?? []).map((r) => ({
-                code: r?.Code,
-                message: r?.Message,
-            }));
-            const failedAt = (index) => index >= 0 && reasons[index]?.code === "ConditionalCheckFailed";
-            // Precedence is ordered by how terminal the caller's response should
-            // be: a duplicate can never succeed on retry, a version conflict
-            // invites a re-read, and only then is the caller's own condition the
-            // most specific explanation left.
-            if (idempotency !== undefined && failedAt(sentinelIndex)) {
-                return new DuplicateCommand({
-                    streamName: config.streamName,
+            // Version-contiguity guard: `attribute_not_exists(pk)` on the event puts
+            // only rejects STALE expected versions (the target slot already exists).
+            // An AHEAD expectedVersion (e.g. 10 when the stream is at 3) would
+            // silently write from version 11, leaving a permanent gap. When
+            // expectedVersion > 0, require the event at exactly `expectedVersion` to
+            // exist so the appended range is contiguous with the stream head. Its
+            // failure surfaces as a ConditionalCheckFailed cancellation reason,
+            // mapping to VersionConflict below just like a stale-version Put failure.
+            //
+            // Only when events are actually being written: the guard exists to stop an
+            // AHEAD expectedVersion opening a permanent gap, and a zero-event append
+            // (pure `additionalItems` / sentinel side-write) writes no version and so
+            // can open no gap.
+            const contiguityCheck = needsContiguityCheck
+                ? [
+                    {
+                        ConditionCheck: {
+                            TableName: tableName,
+                            Key: toAttributeMap({ pk, sk: composeEventSk(expectedVersion) }),
+                            ConditionExpression: "attribute_exists(pk)",
+                        },
+                    },
+                ]
+                : [];
+            // Item layout is load-bearing — cancellation reasons are positional:
+            //   [0, C)                version-contiguity ConditionCheck (C is 0 or 1)
+            //   [C, C + E)            event puts
+            //   [C + E, C + E + A)    additional ITEMS (caller op order preserved)
+            //   C + E + A             idempotency sentinel (last, so adding it never
+            //                         shifts the additional-item indices the caller sees)
+            //
+            // `A` is the count of EMITTED items, which is >= the number of caller ops:
+            // a guarded put (#133) expands into its item plus its sentinel
+            // reservations and releases plus a snapshot. The 1:1 "item index == caller
+            // index" assumption is gone, so the reason mapping below goes through
+            // `judgeCancellation` — the caller-facing `indices` on
+            // `AdditionalItemConditionFailed` are still indices into the caller's
+            // `additionalItems` array, unchanged.
+            const transactItems = [
+                ...contiguityCheck,
+                ...eventItems,
+                ...additionalItems,
+            ];
+            const checkCount = contiguityCheck.length;
+            const eventCount = eventItems.length;
+            const sentinelIndex = idempotency !== undefined ? transactItems.length : -1;
+            if (idempotency !== undefined) {
+                const sentinel = {
+                    pk,
+                    sk: DynamoSchema.composeKey(schema, commandKeyLabel, [idempotency.commandId], keyOptions),
+                    __edd_e__: commandEntityType,
                     streamId: streamIdStr,
                     commandId: idempotency.commandId,
+                    version: expectedVersion + events.length,
+                    timestamp: now,
+                };
+                if (idempotency.ttl !== undefined) {
+                    const ttlSeconds = yield* Effect.try({
+                        try: () => normalizeTtlSeconds(idempotency.ttl),
+                        catch: (cause) => new ValidationError({
+                            entityType: commandEntityType,
+                            operation: "EventStore.append.idempotency.ttl",
+                            cause,
+                        }),
+                    });
+                    sentinel[resolveTtlAttributeName(tableConfig)] =
+                        DateTime.toEpochSeconds(nowDateTime) + ttlSeconds;
+                }
+                transactItems.push({
+                    Put: {
+                        TableName: tableName,
+                        Item: toAttributeMap(sentinel),
+                        ConditionExpression: "attribute_not_exists(pk)",
+                    },
                 });
             }
-            // The contiguity ConditionCheck and the event puts both mean "the
-            // stream is not where you said it was", so they share one verdict.
-            for (let i = 0; i < checkCount + eventCount; i++) {
-                if (failedAt(i)) {
-                    return new VersionConflict({
+            // Checked before anything is sent: one op per item — an additional item
+            // repeating an event, the contiguity check or the idempotency sentinel
+            // is refused, as additional items repeating each other are — and the
+            // whole transaction within DynamoDB's 4 MB (#133).
+            const additionalStart = checkCount + eventCount;
+            const streamItemSource = (i) => i < checkCount
+                ? "the version-contiguity check"
+                : i < additionalStart
+                    ? `the event at version ${expectedVersion + i - checkCount + 1}`
+                    : "the idempotency sentinel";
+            const targets = transactItems.map((item, i) => i >= additionalStart && i < additionalStart + additionalItems.length
+                ? additional.targets[i - additionalStart]
+                : transactItemTarget(item, tableName, ["pk", "sk"], entityType, streamItemSource(i)));
+            yield* refuseRepeatedItems(targets, "EventStore.append");
+            yield* refuseOversizedTransaction(transactItems, targets, "EventStore.append");
+            const outcome = yield* client.transactWriteItems({ TransactItems: transactItems }).pipe(Effect.as(undefined), Effect.catch((error) => {
+                if (!isAwsTransactionCancelled(error.cause)) {
+                    return Effect.fail(error);
+                }
+                const rawReasons = error.cause.CancellationReasons ?? [];
+                const reasons = rawReasons.map((r) => ({
+                    code: r?.Code,
+                    message: r?.Message,
+                }));
+                const failedAt = (index) => index >= 0 && reasons[index]?.code === "ConditionalCheckFailed";
+                // Precedence is ordered by how terminal the caller's response should
+                // be: a duplicate can never succeed on retry, a version conflict
+                // invites a re-read, and only then are the additional items judged.
+                if (idempotency !== undefined && failedAt(sentinelIndex)) {
+                    return Effect.fail(new DuplicateCommand({
                         streamName: config.streamName,
                         streamId: streamIdStr,
-                        expectedVersion,
-                    });
+                        commandId: idempotency.commandId,
+                    }));
                 }
-            }
-            // Attribute each failed additional ITEM back to the caller OP that
-            // produced it. Several items can belong to one op (its main item, its
-            // sentinels, its snapshot), so indices are deduped — a caller who
-            // passed one op must never see it reported twice.
-            const failedOps = new Set();
-            for (let i = 0; i < additionalCount; i++) {
-                if (!failedAt(checkCount + eventCount + i))
-                    continue;
-                const from = additionalProvenance[i];
-                // A reason with no provenance entry cannot be justified positionally;
-                // fall through to TransactionCancelled rather than guess.
-                if (from !== undefined)
-                    failedOps.add(from.opIndex);
-            }
-            const failedAdditional = Array.from(failedOps).sort((a, b) => a - b);
-            if (failedAdditional.length > 0) {
-                return new AdditionalItemConditionFailed({
-                    streamName: config.streamName,
-                    streamId: streamIdStr,
-                    indices: failedAdditional,
+                // The contiguity ConditionCheck and the event puts both mean "the
+                // stream is not where you said it was", so they share one verdict.
+                for (let i = 0; i < checkCount + eventCount; i++) {
+                    if (failedAt(i)) {
+                        return Effect.fail(new VersionConflict({
+                            streamName: config.streamName,
+                            streamId: streamIdStr,
+                            expectedVersion,
+                        }));
+                    }
+                }
+                // The additional items, attributed back to the caller OPS that
+                // produced them (several items can belong to one op). Only an op's
+                // own condition is `AdditionalItemConditionFailed`: a guarded put
+                // the caller set no condition on reports what the entity's own put
+                // would — a taken unique value, a history conflict — or, having
+                // lost a race to a concurrent write, is written again (#133).
+                const judged = judgeCancellation(additional, rawReasons, checkCount + eventCount);
+                if (judged?._tag === "fail")
+                    return Effect.fail(judged.error);
+                if (judged?._tag === "conditions") {
+                    return Effect.fail(new AdditionalItemConditionFailed({
+                        streamName: config.streamName,
+                        streamId: streamIdStr,
+                        indices: judged.opIndices,
+                        reasons,
+                    }));
+                }
+                if (judged?._tag === "retry")
+                    return Effect.succeed(judged.error);
+                // No conditional failure we can positionally justify (throttling,
+                // TransactionConflict, or a truncated/absent reason list) — never
+                // guess a VersionConflict.
+                return Effect.fail(new TransactionCancelled({
+                    operation: "TransactWriteItems",
                     reasons,
-                });
+                    cause: error.cause,
+                }));
+            }));
+            if (outcome === undefined) {
+                return {
+                    version: expectedVersion + events.length,
+                    events,
+                };
             }
-            // No conditional failure we can positionally justify (throttling,
-            // TransactionConflict, or a truncated/absent reason list) — never
-            // guess a VersionConflict.
-            return new TransactionCancelled({
-                operation: "TransactWriteItems",
-                reasons,
-                cause: error.cause,
-            });
-        }));
-        return {
-            version: expectedVersion + events.length,
-            events,
-        };
+            lost = outcome;
+        }
+        return yield* Effect.fail(lost);
     });
     // ---------------------------------------------------------------------------
     // read