effect-dynamodb 1.32.0 → 1.34.0

package/dist/internal/TransactWriteOps.d.ts

@@ -12,14 +12,15 @@
  * drift, and support added here (e.g. `EntityUpdate`) lands for both at once.
  */
 import type { TransactWriteItem } from "@aws-sdk/client-dynamodb";
-import type { ConcurrentModification, OptimisticLockError, UniqueConstraintViolation } from "@effect-dynamodb/schema/Errors.js";
+import type { ConcurrentModification, OptimisticLockError, StreamSealed, UniqueConstraintViolation, VersionConflict } from "@effect-dynamodb/schema/Errors.js";
 import { ValidationError } from "@effect-dynamodb/schema/Errors.js";
 import { Effect } from "effect";
 import type { DynamoClient, DynamoClientError } from "../DynamoClient.js";
-import type { Entity, EntityDelete, EntityPut, PutPlan, PutVerdict, WriteCancellationReason } from "../Entity.js";
+import type { Entity, EntityDelete, EntityPut, EntityUpdate, PlanDeleteError, PlanUpdateError, PutVerdict, WriteCancellationReason } from "../Entity.js";
 import type { ExpressionResult } from "../Expression.js";
 import { type TableConfig } from "../Table.js";
-import type { BoundWriteOp } from "./BoundCrud.js";
+import type { BoundUpdateOp, BoundWriteOp } from "./BoundCrud.js";
+import type { TransactPlan } from "./TransactPlan.js";
 import { type KeyAttributes, type TransactItemTarget, transactItemTarget } from "./WriteDiagnosis.js";
 /** @internal */
 export declare const ConditionCheckTypeId: unique symbol;
@@ -49,6 +50,66 @@ export { type TransactItemTarget, transactItemTarget };
  * AWS-free `@effect-dynamodb/schema` `Entity.make` (#100).
  */
 export type TransactWriteOp = EntityPut<any, any, any, any> | EntityDelete<any, any> | BoundWriteOp | ConditionCheckOp;
+/** @internal */
+export declare const StreamAppendTypeId: unique symbol;
+export type StreamAppendTypeId = typeof StreamAppendTypeId;
+/**
+ * @internal The items of a {@link StreamAppendOp}, built by the inner
+ * stream's own append builder: its version-contiguity check (0 or 1), its
+ * event puts and its inline snapshot, in that order.
+ */
+export interface BuiltStreamAppend {
+    readonly items: ReadonlyArray<TransactWriteItem>;
+    /** The event marker of the inner stream, for provenance. */
+    readonly entityType: string;
+    /** Parallel to `items`: what names each one in a diagnosed rejection. */
+    readonly targets: () => ReadonlyArray<TransactItemTarget>;
+    /** The key attributes the inner stream's items write. */
+    readonly keys: () => KeyAttributes;
+    /**
+     * What a cancellation means for the nested append, from the reasons of its
+     * own items only (a slice parallel to `items`): `StreamSealed` when a check
+     * returned a sealed item, `VersionConflict` for any other failure of its
+     * contiguity check or event puts, `undefined` otherwise.
+     */
+    readonly verdict: (reasons: ReadonlyArray<WriteCancellationReason | undefined>) => StreamSealed | VersionConflict | undefined;
+}
+/**
+ * An append of one event stream, carried as a transact item of ANOTHER
+ * stream's append (`EventStream.append`'s `additionalItems`, or a
+ * `commandHandler`'s): it commits if and only if that append does. Built by
+ * `EventStream.appendOp` (or the bound stream's).
+ *
+ * Accepted only there — `Transaction.transactWrite` refuses it (its type does
+ * not admit it, and at runtime it fails with `ValidationError`).
+ */
+export interface StreamAppendOp {
+    readonly [StreamAppendTypeId]: StreamAppendTypeId;
+    /** The inner stream's name. */
+    readonly streamName: string;
+    /**
+     * @internal Build the nested append's items. `source` names the op in a
+     * diagnosed rejection (`"operation 0"`).
+     */
+    readonly _build: (source: string) => Effect.Effect<BuiltStreamAppend, ValidationError, TableConfig | DynamoClient>;
+}
+/** @internal Whether `op` is a {@link StreamAppendOp}. */
+export declare const isStreamAppendOp: (op: unknown) => op is StreamAppendOp;
+/**
+ * The ops an `EventStore` append's `additionalItems` accept: every
+ * {@link TransactWriteOp}, plus another stream's append ({@link StreamAppendOp}).
+ * Accepted by `EventStream.append` and `commandHandler`, nowhere else.
+ */
+export type AppendWriteOp = TransactWriteOp | StreamAppendOp;
+/**
+ * An `update` — accepted by `Transaction.transactWrite` alone.
+ *
+ * Kept out of {@link TransactWriteOp} because compiling an update reads, in
+ * {@link planTransactWriteOps}. `transactWrite` runs that pre-pass;
+ * `EventStore.append({ additionalItems })` does not, and `Batch.write` cannot
+ * express an update at all, so neither accepts one at the type level.
+ */
+export type TransactWriteUpdateOp = EntityUpdate<any, any, any, any, any> | BoundUpdateOp;
 /**
  * What an emitted transact item was produced by, so a positional cancellation
  * reason can be attributed back to the caller op that caused it.
@@ -63,24 +124,49 @@ export interface ItemProvenance {
     readonly opIndex: number;
     /**
      * `"main"`: the op's own item. `"guarded"`: one of the items of a guarded put
-     * — see {@link GuardedPut}, which reads their cancellation reasons.
+     * or of a planned update or delete — see {@link GuardedWrite}, which reads
+     * their cancellation reasons. `"stream"`: one of the items of a nested
+     * stream append — see {@link NestedStreamAppend}.
+     */
+    readonly kind: "main" | "guarded" | "stream";
+    /**
+     * The entity the op targeted (a nested stream append: its event marker), so
+     * consumers can name it in an error.
      */
-    readonly kind: "main" | "guarded";
-    /** The entity the op targeted, so consumers can name it in an error. */
     readonly entityType: string;
 }
 /**
- * A put of a versioned or unique-constrained entity, planned from a fresh read
- * of its item (#133) exactly as the entity's own `put` plans it: the item
- * continued (or created past any retained history), its sentinels rotated —
- * releasing only those it owns — and its retain snapshot.
+ * A write planned from a fresh read, exactly as the entity's own op plans it:
+ *
+ * - a put of a versioned or unique-constrained entity (#133): the item
+ *   continued (or created past any retained history), its sentinels rotated —
+ *   releasing only those it owns — and its retain snapshot;
+ * - an update, or a delete of a `unique` / `retain` / `softDelete` entity
+ *   (`Transaction.transactWrite` only): the op itself, run with its write
+ *   recorded instead of sent (`internal/TransactPlan.planWrite`).
  */
-export interface GuardedPut {
+export interface GuardedWrite {
     /** Index into the caller's `operations` array. */
     readonly opIndex: number;
     /** Where the plan's items start in `items`. */
     readonly start: number;
-    readonly plan: PutPlan;
+    /**
+     * A guarded put's plan (`Entity._planPut`), or a planned update or delete
+     * (`Entity._planUpdate` / `_planDelete`): its items and their verdict.
+     */
+    readonly plan: TransactPlan;
+}
+/**
+ * A nested stream append ({@link StreamAppendOp}) among the items: where its
+ * items are, and how to read their cancellation reasons.
+ */
+export interface NestedStreamAppend {
+    /** Index into the caller's `operations` array. */
+    readonly opIndex: number;
+    /** Where its items start in `items`. */
+    readonly start: number;
+    readonly count: number;
+    readonly verdict: BuiltStreamAppend["verdict"];
 }
 /** Compiled items plus the caller-op attribution for each one. */
 export interface BuiltTransactWriteItems {
@@ -93,11 +179,14 @@ export interface BuiltTransactWriteItems {
      * oversized item, an over-long sort key. A thunk: needed only on failure.
      */
     readonly targets: () => ReadonlyArray<TransactItemTarget>;
-    readonly guarded: ReadonlyArray<GuardedPut>;
+    readonly guarded: ReadonlyArray<GuardedWrite>;
+    /** The nested stream appends, in op order (only with `{ streams: true }`). */
+    readonly streams: ReadonlyArray<NestedStreamAppend>;
     /**
      * The caller ops (indices into `operations`) that carry a condition of
      * their own — `.condition()`, `create()`'s, `Transaction.check`'s. A
      * guarded put's read guard is not one: it is the op's, not the caller's.
+     * Nor is a nested stream append: its conditions are its stream's.
      */
     readonly conditioned: ReadonlySet<number>;
     /**
@@ -107,6 +196,22 @@ export interface BuiltTransactWriteItems {
      */
     readonly keys: () => KeyAttributes;
 }
+/**
+ * The read pre-pass that lets `Transaction.transactWrite` carry the ops the
+ * build step below cannot: every `update`, and every `delete` of an entity
+ * whose delete writes more than its own row (`unique`, `versioned: { retain:
+ * true }`, `softDelete` — EDD-9048). Each is planned by the entity's own op
+ * (`Entity._planUpdate` / `_planDelete`): the standalone op itself, run with
+ * its write recorded instead of sent, so the transaction writes exactly what
+ * the standalone op would have — every read, item and guard included.
+ *
+ * Ops a planned write cannot carry are refused before anything is read
+ * (EDD-9059 – EDD-9061, `rejectUnsupportedOp`). Returns the plans keyed by
+ * index into `operations`; ops that need no plan are absent. Run on every
+ * attempt, so a transaction cancelled by a lost race is planned again from
+ * fresh reads.
+ */
+export declare const planTransactWriteOps: (operations: ReadonlyArray<TransactWriteOp | TransactWriteUpdateOp>) => Effect.Effect<ReadonlyMap<number, TransactPlan>, ValidationError | PlanUpdateError | PlanDeleteError, DynamoClient | TableConfig>;
 /**
  * Compile a list of Entity write ops into marshalled `TransactWriteItems` entries,
  * preserving caller order.
@@ -114,7 +219,7 @@ export interface BuiltTransactWriteItems {
  * **One caller op may emit several items.** A put of a versioned or
  * unique-constrained entity is a guarded put (#133): it reads the item, and
  * emits the item guarded on what was read, plus its sentinel reservations and
- * releases and its retain snapshot (see {@link GuardedPut}). `provenance`
+ * releases and its retain snapshot (see {@link GuardedWrite}). `provenance`
  * records which caller op each emitted item belongs to; consumers that map
  * cancellation reasons positionally MUST use it instead of assuming 1:1, and
  * read a guarded put's reasons through {@link judgeCancellation}.
@@ -127,8 +232,22 @@ export interface BuiltTransactWriteItems {
  * touching one item included, among them two puts that swap unique values
  * and so release and claim the same sentinels. A caller adding items of its
  * own appends their targets to these.
+ *
+ * A {@link StreamAppendOp} is accepted only with `{ streams: true }` — an
+ * `EventStore` append's `additionalItems` — and is refused with
+ * `ValidationError` otherwise. Its items are built by the inner stream
+ * (provenance `kind: "stream"`), recorded in `streams`, and left out of
+ * `conditioned`.
  */
-export declare const buildTransactWriteItems: (operations: ReadonlyArray<TransactWriteOp>, operation: string) => Effect.Effect<BuiltTransactWriteItems, ValidationError | DynamoClientError, TableConfig | DynamoClient>;
+export declare const buildTransactWriteItems: (operations: ReadonlyArray<AppendWriteOp | TransactWriteUpdateOp>, operation: string, options?: {
+    readonly streams?: boolean | undefined;
+    /**
+     * Updates and multi-item deletes, planned by {@link planTransactWriteOps}
+     * and keyed by index into `operations`. A caller that runs no pre-pass
+     * (`EventStore.append`) passes none, and such ops are refused.
+     */
+    readonly plans?: ReadonlyMap<number, TransactPlan> | undefined;
+} | undefined) => Effect.Effect<BuiltTransactWriteItems, ValidationError | DynamoClientError, TableConfig | DynamoClient>;
 /**
  * Whether caller op `opIndex`'s OWN condition rejected the write, from the
  * transaction's positional reasons (`offset`: where `built`'s items start). A
@@ -143,6 +262,8 @@ export declare const GUARDED_TRANSACTION_ATTEMPTS = 3;
  * from its positional reasons (`offset`: where those items start in the
  * request). In order of precedence:
  *
+ * - `stream` — a nested stream append's verdict (`StreamSealed` or
+ *   `VersionConflict` naming the inner stream), the first in op order.
  * - `fail` — a guarded put's final verdict: a unique value is taken
  *   (`UniqueConstraintViolation`) or its history conflicts (`ValidationError`).
  *   Never a caller-condition error: the caller set none.
@@ -155,6 +276,10 @@ export declare const GUARDED_TRANSACTION_ATTEMPTS = 3;
  * `undefined`: no conditional failure among these items explains it.
  */
 export declare const judgeCancellation: (built: BuiltTransactWriteItems, reasons: ReadonlyArray<WriteCancellationReason | undefined>, offset?: number) => {
+    readonly _tag: "stream";
+    readonly opIndex: number;
+    readonly error: StreamSealed | VersionConflict;
+} | {
     readonly _tag: "fail";
     readonly opIndex: number;
     readonly error: UniqueConstraintViolation | ValidationError;

package/dist/internal/TransactWriteOps.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"TransactWriteOps.d.ts","sourceRoot":"","sources":["../../src/internal/TransactWriteOps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AACjE,OAAO,KAAK,EACV,sBAAsB,EACtB,mBAAmB,EACnB,yBAAyB,EAC1B,MAAM,mCAAmC,CAAA;AAC1C,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACnE,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AACzE,OAAO,KAAK,EACV,MAAM,EACN,YAAY,EACZ,SAAS,EACT,OAAO,EACP,UAAU,EACV,uBAAuB,EACxB,MAAM,cAAc,CAAA;AAErB,OAAO,KAAK,EAAkB,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAExE,OAAO,EAA2B,KAAK,WAAW,EAAE,MAAM,aAAa,CAAA;AACvE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AASlD,OAAO,EACL,KAAK,aAAa,EAGlB,KAAK,kBAAkB,EACvB,kBAAkB,EACnB,MAAM,qBAAqB,CAAA;AAM5B,gBAAgB;AAChB,eAAO,MAAM,oBAAoB,EAAE,OAAO,MAAqD,CAAA;AAC/F,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAA;AAE9D;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,CAAC,oBAAoB,CAAC,EAAE,oBAAoB,CAAA;IACrD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACtC,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAA;CACtC;AAED,gEAAgE;AAChE,YAAY,EAAE,iBAAiB,EAAE,CAAA;AAEjC,OAAO,EAAE,KAAK,kBAAkB,EAAE,kBAAkB,EAAE,CAAA;AAEtD;;;;;;;;;GASG;AACH,MAAM,MAAM,eAAe,GACvB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAC7B,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,GACtB,YAAY,GACZ,gBAAgB,CAAA;AA8DpB;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc;IAC7B,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAA;IACjC,wEAAwE;IACxE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAC5B;AAED;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,+CAA+C;IAC/C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CACvB;AAED,kEAAkE;AAClE,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAA;IACxC,iEAAiE;IACjE,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,cAAc,CAAC,CAAA;IAC1C;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,aAAa,CAAC,kBAAkB,CAAC,CAAA;IACzD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,UAAU,CAAC,CAAA;IAC3C;;;;OAIG;IACH,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IACzC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,aAAa,CAAA;CACnC;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,uBAAuB,GAClC,YAAY,aAAa,CAAC,eAAe,CAAC,EAC1C,WAAW,MAAM,KAChB,MAAM,CAAC,MAAM,CACd,uBAAuB,EACvB,eAAe,GAAG,iBAAiB,EACnC,WAAW,GAAG,YAAY,CAwMxB,CAAA;AAMJ;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,GAC5B,OAAO,uBAAuB,EAC9B,SAAS,aAAa,CAAC,uBAAuB,GAAG,SAAS,CAAC,EAC3D,SAAS,MAAM,EACf,eAAU,KACT,OAYF,CAAA;AAED,oFAAoF;AACpF,eAAO,MAAM,4BAA4B,IAAI,CAAA;AAE7C;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,iBAAiB,GAC5B,OAAO,uBAAuB,EAC9B,SAAS,aAAa,CAAC,uBAAuB,GAAG,SAAS,CAAC,EAC3D,eAAU,KAER;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,yBAAyB,GAAG,eAAe,CAAA;CAC5D,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAAE,GAC1E;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,mBAAmB,GAAG,sBAAsB,CAAA;IAC5D,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC,QAAQ,CAAC,CAAA;CAC3E,GACD,SAuBH,CAAA"}
+{"version":3,"file":"TransactWriteOps.d.ts","sourceRoot":"","sources":["../../src/internal/TransactWriteOps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AACjE,OAAO,KAAK,EACV,sBAAsB,EACtB,mBAAmB,EACnB,YAAY,EACZ,yBAAyB,EACzB,eAAe,EAChB,MAAM,mCAAmC,CAAA;AAC1C,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACnE,OAAO,EAAE,MAAM,EAAU,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AACzE,OAAO,KAAK,EACV,MAAM,EACN,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,eAAe,EACf,eAAe,EACf,UAAU,EACV,uBAAuB,EACxB,MAAM,cAAc,CAAA;AAErB,OAAO,KAAK,EAAkB,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AAExE,OAAO,EAA2B,KAAK,WAAW,EAAE,MAAM,aAAa,CAAA;AACvE,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAA;AASjE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AACrD,OAAO,EACL,KAAK,aAAa,EAGlB,KAAK,kBAAkB,EACvB,kBAAkB,EACnB,MAAM,qBAAqB,CAAA;AAM5B,gBAAgB;AAChB,eAAO,MAAM,oBAAoB,EAAE,OAAO,MAAqD,CAAA;AAC/F,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAA;AAE9D;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,CAAC,oBAAoB,CAAC,EAAE,oBAAoB,CAAA;IACrD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACtC,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAA;CACtC;AAED,gEAAgE;AAChE,YAAY,EAAE,iBAAiB,EAAE,CAAA;AAEjC,OAAO,EAAE,KAAK,kBAAkB,EAAE,kBAAkB,EAAE,CAAA;AAEtD;;;;;;;;;GASG;AACH,MAAM,MAAM,eAAe,GACvB,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAC7B,YAAY,CAAC,GAAG,EAAE,GAAG,CAAC,GACtB,YAAY,GACZ,gBAAgB,CAAA;AAMpB,gBAAgB;AAChB,eAAO,MAAM,kBAAkB,EAAE,OAAO,MAAqD,CAAA;AAC7F,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAA;AAE1D;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAA;IAChD,4DAA4D;IAC5D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,yEAAyE;IACzE,QAAQ,CAAC,OAAO,EAAE,MAAM,aAAa,CAAC,kBAAkB,CAAC,CAAA;IACzD,yDAAyD;IACzD,QAAQ,CAAC,IAAI,EAAE,MAAM,aAAa,CAAA;IAClC;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,CAChB,OAAO,EAAE,aAAa,CAAC,uBAAuB,GAAG,SAAS,CAAC,KACxD,YAAY,GAAG,eAAe,GAAG,SAAS,CAAA;CAChD;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAA;IACjD,+BAA+B;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,CACf,MAAM,EAAE,MAAM,KACX,MAAM,CAAC,MAAM,CAAC,iBAAiB,EAAE,eAAe,EAAE,WAAW,GAAG,YAAY,CAAC,CAAA;CACnF;AAED,0DAA0D;AAC1D,eAAO,MAAM,gBAAgB,GAAI,IAAI,OAAO,KAAG,EAAE,IAAI,cACc,CAAA;AAEnE;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,eAAe,GAAG,cAAc,CAAA;AAE5D;;;;;;;GAOG;AACH,MAAM,MAAM,qBAAqB,GAAG,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,GAAG,aAAa,CAAA;AA8DzF;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc;IAC7B,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB;;;;;OAKG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,QAAQ,CAAA;IAC5C;;;OAGG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAC5B;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,YAAY;IAC3B,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,+CAA+C;IAC/C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB;;;OAGG;IACH,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAA;CAC5B;AAED;;;GAGG;AACH,MAAM,WAAW,kBAAkB;IACjC,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,wCAAwC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,iBAAiB,CAAC,SAAS,CAAC,CAAA;CAC/C;AAED,kEAAkE;AAClE,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAA;IACxC,iEAAiE;IACjE,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,cAAc,CAAC,CAAA;IAC1C;;;;OAIG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,aAAa,CAAC,kBAAkB,CAAC,CAAA;IACzD,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IAC7C,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,kBAAkB,CAAC,CAAA;IACnD;;;;;OAKG;IACH,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IACzC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,aAAa,CAAA;CACnC;AAED;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,oBAAoB,GAC/B,YAAY,aAAa,CAAC,eAAe,GAAG,qBAAqB,CAAC,KACjE,MAAM,CAAC,MAAM,CACd,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,EACjC,eAAe,GAAG,eAAe,GAAG,eAAe,EACnD,YAAY,GAAG,WAAW,CAiCxB,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,uBAAuB,GAClC,YAAY,aAAa,CAAC,aAAa,GAAG,qBAAqB,CAAC,EAChE,WAAW,MAAM,EACjB,UACI;IACE,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IACtC;;;;OAIG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,SAAS,CAAA;CAC/D,GACD,SAAS,KACZ,MAAM,CAAC,MAAM,CACd,uBAAuB,EACvB,eAAe,GAAG,iBAAiB,EACnC,WAAW,GAAG,YAAY,CAmSxB,CAAA;AAMJ;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,GAC5B,OAAO,uBAAuB,EAC9B,SAAS,aAAa,CAAC,uBAAuB,GAAG,SAAS,CAAC,EAC3D,SAAS,MAAM,EACf,eAAU,KACT,OAYF,CAAA;AAED,oFAAoF;AACpF,eAAO,MAAM,4BAA4B,IAAI,CAAA;AAE7C;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,iBAAiB,GAC5B,OAAO,uBAAuB,EAC9B,SAAS,aAAa,CAAC,uBAAuB,GAAG,SAAS,CAAC,EAC3D,eAAU,KAER;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,YAAY,GAAG,eAAe,CAAA;CAC/C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,yBAAyB,GAAG,eAAe,CAAA;CAC5D,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAAE,GAC1E;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,mBAAmB,GAAG,sBAAsB,CAAA;IAC5D,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC,QAAQ,CAAC,CAAA;CAC3E,GACD,SA+BH,CAAA"}

package/dist/internal/TransactWriteOps.js

@@ -26,6 +26,13 @@ import { keyAttributesOf, mergeKeyAttributes, transactItemTarget, } from "./Writ
 /** @internal */
 export const ConditionCheckTypeId = Symbol.for("effect-dynamodb/ConditionCheck");
 export { transactItemTarget };
+// ---------------------------------------------------------------------------
+// StreamAppendOp — another stream's append, carried in an EventStore append
+// ---------------------------------------------------------------------------
+/** @internal */
+export const StreamAppendTypeId = Symbol.for("effect-dynamodb/StreamAppendOp");
+/** @internal Whether `op` is a {@link StreamAppendOp}. */
+export const isStreamAppendOp = (op) => typeof op === "object" && op !== null && StreamAppendTypeId in op;
 /**
  * Compile an op-attached condition (`Entity.create()`'s `attribute_not_exists`,
  * `.condition(...)`, `Entity.condition(...)`) into a DynamoDB expression.
@@ -68,6 +75,51 @@ const conditionFields = (condition) => condition === undefined
             ? { ExpressionAttributeValues: condition.values }
             : {}),
     };
+/**
+ * The read pre-pass that lets `Transaction.transactWrite` carry the ops the
+ * build step below cannot: every `update`, and every `delete` of an entity
+ * whose delete writes more than its own row (`unique`, `versioned: { retain:
+ * true }`, `softDelete` — EDD-9048). Each is planned by the entity's own op
+ * (`Entity._planUpdate` / `_planDelete`): the standalone op itself, run with
+ * its write recorded instead of sent, so the transaction writes exactly what
+ * the standalone op would have — every read, item and guard included.
+ *
+ * Ops a planned write cannot carry are refused before anything is read
+ * (EDD-9059 – EDD-9061, `rejectUnsupportedOp`). Returns the plans keyed by
+ * index into `operations`; ops that need no plan are absent. Run on every
+ * attempt, so a transaction cancelled by a lost race is planned again from
+ * fresh reads.
+ */
+export const planTransactWriteOps = (operations) => Effect.gen(function* () {
+    const plans = new Map();
+    for (let opIndex = 0; opIndex < operations.length; opIndex++) {
+        const op = operations[opIndex];
+        if (op != null && typeof op === "object" && ConditionCheckTypeId in op)
+            continue;
+        const info = extractTransactable(op);
+        if (info === undefined)
+            continue;
+        if (info.opType === "update" && info.updateState !== undefined) {
+            yield* rejectUnsupportedOp(info.entity, "transactWrite", "update", undefined, undefined, {
+                updateState: info.updateState,
+            });
+            plans.set(opIndex, yield* info.entity._planUpdate(info.key, info.updateState));
+        }
+        else if (info.opType === "delete" &&
+            info.deleteRequest !== undefined &&
+            info.entity._multiItemWriteFeatures.length > 0) {
+            yield* rejectUnsupportedOp(info.entity, "transactWrite", "delete", undefined, undefined, {
+                returnValues: info.deleteRequest.returnValues,
+                readsStoredRow: true,
+            });
+            plans.set(opIndex, yield* info.entity._planDelete(info.key, {
+                condition: info.deleteRequest.condition,
+                mustExist: info.deleteRequest.mustExist,
+            }));
+        }
+    }
+    return plans;
+});
 /**
  * Compile a list of Entity write ops into marshalled `TransactWriteItems` entries,
  * preserving caller order.
@@ -75,7 +127,7 @@ const conditionFields = (condition) => condition === undefined
  * **One caller op may emit several items.** A put of a versioned or
  * unique-constrained entity is a guarded put (#133): it reads the item, and
  * emits the item guarded on what was read, plus its sentinel reservations and
- * releases and its retain snapshot (see {@link GuardedPut}). `provenance`
+ * releases and its retain snapshot (see {@link GuardedWrite}). `provenance`
  * records which caller op each emitted item belongs to; consumers that map
  * cancellation reasons positionally MUST use it instead of assuming 1:1, and
  * read a guarded put's reasons through {@link judgeCancellation}.
@@ -88,21 +140,44 @@ const conditionFields = (condition) => condition === undefined
  * touching one item included, among them two puts that swap unique values
  * and so release and claim the same sentinels. A caller adding items of its
  * own appends their targets to these.
+ *
+ * A {@link StreamAppendOp} is accepted only with `{ streams: true }` — an
+ * `EventStore` append's `additionalItems` — and is refused with
+ * `ValidationError` otherwise. Its items are built by the inner stream
+ * (provenance `kind: "stream"`), recorded in `streams`, and left out of
+ * `conditioned`.
  */
-export const buildTransactWriteItems = (operations, operation) => Effect.gen(function* () {
+export const buildTransactWriteItems = (operations, operation, options) => Effect.gen(function* () {
     if (operations.length === 0) {
         return {
             items: [],
             provenance: [],
             targets: () => [],
             guarded: [],
+            streams: [],
             conditioned: new Set(),
             keys: () => mergeKeyAttributes(),
         };
     }
     const opInfos = [];
+    /** The nested stream appends, by caller op index. */
+    const streamOps = new Map();
     for (let opIndex = 0; opIndex < operations.length; opIndex++) {
         const op = operations[opIndex];
+        // Another stream's append (#166): only an EventStore append carries it.
+        if (isStreamAppendOp(op)) {
+            if (options?.streams !== true) {
+                return yield* new ValidationError({
+                    entityType: "unknown",
+                    operation,
+                    cause: `${operation}: operation ${opIndex} is a stream append op (appendOp of stream ` +
+                        `"${op.streamName}"): a stream append op rides only in an EventStore append's ` +
+                        "additionalItems. Nothing was sent.",
+                });
+            }
+            streamOps.set(opIndex, op);
+            continue;
+        }
         // Check for ConditionCheckOp first (has its own TypeId)
         if (op != null && typeof op === "object" && ConditionCheckTypeId in op) {
             const checkOp = op;
@@ -132,6 +207,15 @@ export const buildTransactWriteItems = (operations, operation) => Effect.gen(fun
                 cause: `${operation}: unrecognized operation type. Use EntityPut, EntityDelete, or Transaction.check().`,
             });
         }
+        const plan = options?.plans?.get(opIndex);
+        if (plan !== undefined) {
+            // No `condition` here, so a planned op is never in `conditioned`, even
+            // with a `.condition()` of its own: its verdict reports that as
+            // `"Condition"`. Only `EventStore.append` reads `conditioned`, and it
+            // plans nothing — if it ever does, add planned ops to it.
+            opInfos.push({ type: "planned", entity: info.entity, opIndex, plan });
+            continue;
+        }
         if (info.opType === "put") {
             yield* rejectUnsupportedOp(info.entity, operation, "put", info.putKind, info.input);
             yield* refuseEmptyParts(info.entity, operation, "put", info.condition);
@@ -146,7 +230,9 @@ export const buildTransactWriteItems = (operations, operation) => Effect.gen(fun
             });
         }
         else if (info.opType === "delete") {
-            yield* rejectUnsupportedOp(info.entity, operation, "delete", undefined);
+            yield* rejectUnsupportedOp(info.entity, operation, "delete", undefined, undefined, {
+                returnValues: info.deleteRequest?.returnValues,
+            });
             yield* refuseEmptyParts(info.entity, operation, "delete", info.condition);
             opInfos.push({
                 type: "delete",
@@ -160,7 +246,11 @@ export const buildTransactWriteItems = (operations, operation) => Effect.gen(fun
             return yield* new ValidationError({
                 entityType: info.entity.entityType,
                 operation,
-                cause: `${operation}: unsupported operation type "${info.opType}". Use EntityPut, EntityDelete, or Transaction.check().`,
+                cause: info.opType === "update"
+                    ? `${operation}: update is not supported here — compiling an update reads the ` +
+                        "stored row, which this path does not do. Transaction.transactWrite accepts " +
+                        "updates; otherwise run the update as its own operation."
+                    : `${operation}: unsupported operation type "${info.opType}". Use EntityPut, EntityDelete, or Transaction.check().`,
             });
         }
     }
@@ -170,6 +260,8 @@ export const buildTransactWriteItems = (operations, operation) => Effect.gen(fun
     // What names each item, kept so its target is built only on failure.
     const naming = [];
     const guarded = [];
+    const streams = [];
+    const streamKeys = [];
     const conditioned = new Set();
     for (const op of opInfos) {
         if (op.condition !== undefined)
@@ -183,10 +275,52 @@ export const buildTransactWriteItems = (operations, operation) => Effect.gen(fun
         const [table, fields] = [tableName, keyFields];
         naming.push(() => transactItemTarget(item, table, fields, from.entityType, `operation ${from.opIndex} (${from.entityType}${derived ? ", through a uniqueness sentinel or version snapshot it writes" : ""})`));
     };
+    // The nested stream appends, built by their own streams, are pushed in
+    // caller op order between the entity ops' items.
+    const pushStreamOp = (opIndex) => Effect.gen(function* () {
+        const op = streamOps.get(opIndex);
+        const nested = yield* op._build(`operation ${opIndex}`);
+        streams.push({
+            opIndex,
+            start: items.length,
+            count: nested.items.length,
+            verdict: nested.verdict,
+        });
+        streamKeys.push(nested.keys);
+        // Built once, on failure, then indexed.
+        let built;
+        const nestedTarget = (i) => {
+            if (built === undefined)
+                built = nested.targets();
+            return built[i];
+        };
+        for (const [i, item] of nested.items.entries()) {
+            items.push(item);
+            provenance.push({ opIndex, kind: "stream", entityType: nested.entityType });
+            naming.push(() => nestedTarget(i));
+        }
+    });
+    let nextOpIndex = 0;
+    const flushStreamOpsBefore = (opIndex) => Effect.gen(function* () {
+        for (; nextOpIndex < opIndex; nextOpIndex++) {
+            if (streamOps.has(nextOpIndex))
+                yield* pushStreamOp(nextOpIndex);
+        }
+        nextOpIndex = opIndex + 1;
+    });
     for (const op of opInfos) {
+        yield* flushStreamOpsBefore(op.opIndex);
         tableName = tableNames.get(op.entity);
         const primary = op.entity.indexes.primary;
         keyFields = [primary.pk.field, primary.sk.field];
+        if (op.type === "planned") {
+            // Already marshalled and table-resolved; read like a guarded put's.
+            guarded.push({ opIndex: op.opIndex, start: items.length, plan: op.plan });
+            for (const [i, item] of op.plan.items.entries()) {
+                push(item, { opIndex: op.opIndex, kind: "guarded", entityType: op.entity.entityType }, i > 0);
+            }
+            continue;
+        }
         if (op.type === "put") {
             const built = yield* validateAndBuildPutItem(op.entity, op.input, `${operation}.put`);
             if (op.entity._incarnationToken || op.entity._multiItemWriteFeatures.includes("unique")) {
@@ -242,9 +376,10 @@ export const buildTransactWriteItems = (operations, operation) => Effect.gen(fun
             }, { opIndex: op.opIndex, kind: "main", entityType: op.entity.entityType });
         }
     }
-    const keys = () => mergeKeyAttributes(...opInfos.map((op) => keyAttributesOf(op.entity.indexes)));
+    yield* flushStreamOpsBefore(operations.length);
+    const keys = () => mergeKeyAttributes(...opInfos.map((op) => keyAttributesOf(op.entity.indexes)), ...streamKeys.map((nested) => nested()));
     const targets = () => naming.map((name) => name());
-    return { items, provenance, targets, guarded, conditioned, keys };
+    return { items, provenance, targets, guarded, streams, conditioned, keys };
 });
 // ---------------------------------------------------------------------------
 // judgeCancellation
@@ -271,6 +406,8 @@ export const GUARDED_TRANSACTION_ATTEMPTS = 3;
  * from its positional reasons (`offset`: where those items start in the
  * request). In order of precedence:
  *
+ * - `stream` — a nested stream append's verdict (`StreamSealed` or
+ *   `VersionConflict` naming the inner stream), the first in op order.
  * - `fail` — a guarded put's final verdict: a unique value is taken
  *   (`UniqueConstraintViolation`) or its history conflicts (`ValidationError`).
  *   Never a caller-condition error: the caller set none.
@@ -283,6 +420,16 @@ export const GUARDED_TRANSACTION_ATTEMPTS = 3;
  * `undefined`: no conditional failure among these items explains it.
  */
 export const judgeCancellation = (built, reasons, offset = 0) => {
+    // A nested stream append's items are its stream's: they are judged by its
+    // own verdict, never as caller conditions.
+    const inStream = new Set();
+    for (const { opIndex, start, count, verdict } of built.streams) {
+        for (let i = 0; i < count; i++)
+            inStream.add(start + i);
+        const error = verdict(reasons.slice(offset + start, offset + start + count));
+        if (error !== undefined)
+            return { _tag: "stream", opIndex, error };
+    }
     const conditions = new Set();
     let retry;
     const inGuarded = new Set();
@@ -300,7 +447,7 @@ export const judgeCancellation = (built, reasons, offset = 0) => {
             retry ??= verdict;
     }
     for (let i = 0; i < built.items.length; i++) {
-        if (inGuarded.has(i))
+        if (inGuarded.has(i) || inStream.has(i))
             continue;
         if (reasons[offset + i]?.Code !== "ConditionalCheckFailed")
             continue;

package/dist/internal/TransactWriteOps.js.map

@@ -1 +1 @@
-{"version":3,"file":"TransactWriteOps.js","sourceRoot":"","sources":["../../src/internal/TransactWriteOps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAQH,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACnE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAUvC,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAElD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EAAE,uBAAuB,EAAoB,MAAM,aAAa,CAAA;AAEvE,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,WAAW,EAAa,gBAAgB,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,WAAW,CAAA;AAC5F,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAEL,eAAe,EACf,kBAAkB,EAElB,kBAAkB,GACnB,MAAM,qBAAqB,CAAA;AAE5B,8EAA8E;AAC9E,oEAAoE;AACpE,8EAA8E;AAE9E,gBAAgB;AAChB,MAAM,CAAC,MAAM,oBAAoB,GAAkB,MAAM,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAA;AAkB/F,OAAO,EAA2B,kBAAkB,EAAE,CAAA;AAkBtD;;;;GAIG;AACH,MAAM,kBAAkB,GAAG,CACzB,MAAc,EACd,IAAuC,EACT,EAAE;IAChC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IACxC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAA+B,CAAC,CAAA;IAClF,OAAO,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAqB,CAAA;AACrE,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,gBAAgB,GAAG,CACvB,MAAc,EACd,SAAiB,EACjB,MAAc,EACd,IAAuC,EACD,EAAE;IACxC,MAAM,OAAO,GACX,IAAI,KAAK,SAAS;QAChB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAA+B,CAAC,CAAC,CAAA;IAC7F,OAAO,OAAO,KAAK,SAAS;QAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,MAAM,CAAC,IAAI,CACT,IAAI,eAAe,CAAC;YAClB,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,SAAS,EAAE,GAAG,SAAS,YAAY;YACnC,KAAK,EAAE,GAAG,SAAS,KAAK,MAAM,MAAM,OAAO,oBAAoB;SAChE,CAAC,CACH,CAAA;AACP,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,eAAe,GAAG,CAAC,SAAuC,EAAE,EAAE,CAClE,SAAS,KAAK,SAAS;IACrB,CAAC,CAAC,EAAE;IACJ,CAAC,CAAC;QACE,mBAAmB,EAAE,SAAS,CAAC,UAAU;QACzC,wBAAwB,EAAE,SAAS,CAAC,KAAK;QACzC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC;YAC1C,CAAC,CAAC,EAAE,yBAAyB,EAAE,SAAS,CAAC,MAAM,EAAE;YACjD,CAAC,CAAC,EAAE,CAAC;KACR,CAAA;AAmEP;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,UAA0C,EAC1C,SAAiB,EAKjB,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,KAAK,EAAE,EAAE;YACT,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE;YACjB,OAAO,EAAE,EAAE;YACX,WAAW,EAAE,IAAI,GAAG,EAAE;YACtB,IAAI,EAAE,GAAG,EAAE,CAAC,kBAAkB,EAAE;SACjC,CAAA;IACH,CAAC;IAED,MAAM,OAAO,GAWR,EAAE,CAAA;IAEP,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC;QAC7D,MAAM,EAAE,GAAG,UAAU,CAAC,OAAO,CAAE,CAAA;QAC/B,wDAAwD;QACxD,IAAI,EAAE,IAAI,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,oBAAoB,IAAI,EAAE,EAAE,CAAC;YACvE,MAAM,OAAO,GAAG,EAAsB,CAAA;YACtC,qEAAqE;YACrE,uEAAuE;YACvE,IAAI,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBAChD,OAAO,KAAK,CAAC,CAAC,IAAI,eAAe,CAAC;oBAChC,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,UAAU;oBACtC,SAAS,EAAE,GAAG,SAAS,QAAQ;oBAC/B,KAAK,EAAE,GAAG,SAAS,uEAAuE;iBAC3F,CAAC,CAAA;YACJ,CAAC;YACD,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,OAAO,CAAC,OAAO;gBACvB,OAAO;gBACP,GAAG,EAAE,OAAO,CAAC,IAAI;gBACjB,SAAS,EAAE,OAAO,CAAC,UAAU;aAC9B,CAAC,CAAA;YACF,SAAQ;QACV,CAAC;QAED,MAAM,IAAI,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAA;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,KAAK,CAAC,CAAC,IAAI,eAAe,CAAC;gBAChC,UAAU,EAAE,SAAS;gBACrB,SAAS;gBACT,KAAK,EAAE,GAAG,SAAS,qFAAqF;aACzG,CAAC,CAAA;QACJ,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;YAC1B,KAAK,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;YACnF,KAAK,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAA;YACtE,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,OAAO;gBACP,KAAK,EAAE,IAAI,CAAC,KAAM;gBAClB,SAAS,EAAE,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC;gBAC1D,eAAe,EAAE,IAAI,CAAC,eAAe;aACtC,CAAC,CAAA;QACJ,CAAC;aAAM,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACpC,KAAK,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAA;YACvE,KAAK,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAA;YACzE,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,OAAO;gBACP,GAAG,EAAE,IAAI,CAAC,GAAI;gBACd,SAAS,EAAE,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC;aAC3D,CAAC,CAAA;QACJ,CAAC;aAAM,CAAC;YACN,OAAO,KAAK,CAAC,CAAC,IAAI,eAAe,CAAC;gBAChC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU;gBAClC,SAAS;gBACT,KAAK,EAAE,GAAG,SAAS,iCAAiC,IAAI,CAAC,MAAM,yDAAyD;aACzH,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAA;IAEpD,MAAM,KAAK,GAA6B,EAAE,CAAA;IAC1C,MAAM,UAAU,GAA0B,EAAE,CAAA;IAC5C,qEAAqE;IACrE,MAAM,MAAM,GAAoC,EAAE,CAAA;IAClD,MAAM,OAAO,GAAsB,EAAE,CAAA;IACrC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAA;IACrC,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS;YAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAA;IAC7D,CAAC;IACD,IAAI,SAAS,GAAG,EAAE,CAAA;IAClB,IAAI,SAAS,GAA0B,EAAE,CAAA;IACzC,MAAM,IAAI,GAAG,CAAC,IAAuB,EAAE,IAAoB,EAAE,OAAO,GAAG,KAAK,EAAE,EAAE;QAC9E,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrB,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAA;QAC9C,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CACf,kBAAkB,CAChB,IAAI,EACJ,KAAK,EACL,MAAM,EACN,IAAI,CAAC,UAAU,EACf,aAAa,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,UAAU,GAC3C,OAAO,CAAC,CAAC,CAAC,+DAA+D,CAAC,CAAC,CAAC,EAC9E,GAAG,CACJ,CACF,CAAA;IACH,CAAC,CAAA;IAED,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAE,CAAA;QACtC,MAAM,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,OAAQ,CAAA;QAC1C,SAAS,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;QAEhD,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,uBAAuB,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,KAAM,EAAE,GAAG,SAAS,MAAM,CAAC,CAAA;YACtF,IAAI,EAAE,CAAC,MAAM,CAAC,iBAAiB,IAAI,EAAE,CAAC,MAAM,CAAC,uBAAuB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC;oBACrC,SAAS;oBACT,WAAW,EAAE,uBAAuB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC;oBAChE,GAAG,EAAE,KAAK,CAAC,GAAG;oBACd,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;oBAC1C,aAAa,EAAE,EAAE,CAAC,SAAS;oBAC3B,MAAM,EAAE,EAAE,CAAC,OAAO,KAAK,QAAQ;oBAC/B,SAAS;oBACT,GAAG,EAAE,EAAE,CAAC,KAAM;iBACf,CAAC,CAAA;gBACF,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;gBAChE,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;oBAC7C,IAAI,CACF,IAAI,EACJ,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,EAC1E,CAAC,GAAG,CAAC,CACN,CAAA;gBACH,CAAC;gBACD,SAAQ;YACV,CAAC;YACD,+DAA+D;YAC/D,4DAA4D;YAC5D,MAAM,IAAI,GACR,EAAE,CAAC,OAAO,KAAK,QAAQ;gBACrB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC;gBACxD,CAAC,CAAC,MAAM,CAAC,IAAI,EAAkB,CAAA;YACnC,IAAI,CACF;gBACE,GAAG,EAAE;oBACH,SAAS,EAAE,SAAS;oBACpB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU;oBACzE,GAAG,eAAe,CAChB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;wBACjB,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC;wBAC1E,CAAC,CAAC,EAAE,CAAC,SAAS,CACjB;iBACF;aACF,EACD,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,CACxE,CAAA;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,IAAI,CACF;gBACE,MAAM,EAAE;oBACN,SAAS,EAAE,SAAS;oBACpB,GAAG,EAAE,cAAc,CAAC,iBAAiB,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,GAAI,CAAC,CAAC;oBAC1D,GAAG,eAAe,CAAC,EAAE,CAAC,SAAS,CAAC;iBACjC;aACF,EACD,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,CACxE,CAAA;QACH,CAAC;aAAM,CAAC;YACN,IAAI,CACF;gBACE,cAAc,EAAE;oBACd,SAAS,EAAE,SAAS;oBACpB,GAAG,EAAE,cAAc,CAAC,iBAAiB,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,GAAI,CAAC,CAAC;oBAC1D,mBAAmB,EAAE,EAAE,CAAC,SAAU,CAAC,UAAU;oBAC7C,GAAG,eAAe,CAAC,EAAE,CAAC,SAAS,CAAC;iBACjC;aACF,EACD,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,CACxE,CAAA;QACH,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,GAAG,EAAE,CAChB,kBAAkB,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,MAAM,CAAC,OAAgB,CAAC,CAAC,CAAC,CAAA;IACzF,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAA;IAClD,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,CAAA;AACnE,CAAC,CAAC,CAAA;AAEJ,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAA8B,EAC9B,OAA2D,EAC3D,OAAe,EACf,MAAM,GAAG,CAAC,EACD,EAAE;IACX,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAA;IAChE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,OAAO,CAAA;QAC/B,OAAO,CACL,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,EAAE,MAAM,GAAG,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI;YACrF,WAAW,CACZ,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,CAC1B,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,wBAAwB,CAChG,CAAA;AACH,CAAC,CAAA;AAED,oFAAoF;AACpF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAA;AAE7C;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAA8B,EAC9B,OAA2D,EAC3D,MAAM,GAAG,CAAC,EAaE,EAAE;IACd,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAA;IACpC,IAAI,KAAkE,CAAA;IACtE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,KAAK,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,SAAS,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QACpE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,EAAE,MAAM,GAAG,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;QAC/F,IAAI,OAAO,KAAK,SAAS;YAAE,SAAQ;QACnC,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAA;QACnF,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW;YAAE,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;;YACpD,KAAK,KAAK,OAAO,CAAA;IACxB,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAQ;QAC9B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,wBAAwB;YAAE,SAAQ;QACpE,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;QAChC,IAAI,IAAI,KAAK,SAAS;YAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACtD,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAA;IACjF,CAAC;IACD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAA;IAC3F,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA"}
+{"version":3,"file":"TransactWriteOps.js","sourceRoot":"","sources":["../../src/internal/TransactWriteOps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAUH,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACnE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAYvC,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAElD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EAAE,uBAAuB,EAAoB,MAAM,aAAa,CAAA;AAEvE,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,WAAW,EAAa,gBAAgB,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,WAAW,CAAA;AAC5F,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,sBAAsB,CAAA;AAE7B,OAAO,EAEL,eAAe,EACf,kBAAkB,EAElB,kBAAkB,GACnB,MAAM,qBAAqB,CAAA;AAE5B,8EAA8E;AAC9E,oEAAoE;AACpE,8EAA8E;AAE9E,gBAAgB;AAChB,MAAM,CAAC,MAAM,oBAAoB,GAAkB,MAAM,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAA;AAkB/F,OAAO,EAA2B,kBAAkB,EAAE,CAAA;AAkBtD,8EAA8E;AAC9E,4EAA4E;AAC5E,8EAA8E;AAE9E,gBAAgB;AAChB,MAAM,CAAC,MAAM,kBAAkB,GAAkB,MAAM,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAA;AAiD7F,0DAA0D;AAC1D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,EAAW,EAAwB,EAAE,CACpE,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,KAAK,IAAI,IAAI,kBAAkB,IAAI,EAAE,CAAA;AAmBnE;;;;GAIG;AACH,MAAM,kBAAkB,GAAG,CACzB,MAAc,EACd,IAAuC,EACT,EAAE;IAChC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAA;IACxC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAA+B,CAAC,CAAA;IAClF,OAAO,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAqB,CAAA;AACrE,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,gBAAgB,GAAG,CACvB,MAAc,EACd,SAAiB,EACjB,MAAc,EACd,IAAuC,EACD,EAAE;IACxC,MAAM,OAAO,GACX,IAAI,KAAK,SAAS;QAChB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAA+B,CAAC,CAAC,CAAA;IAC7F,OAAO,OAAO,KAAK,SAAS;QAC1B,CAAC,CAAC,MAAM,CAAC,IAAI;QACb,CAAC,CAAC,MAAM,CAAC,IAAI,CACT,IAAI,eAAe,CAAC;YAClB,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,SAAS,EAAE,GAAG,SAAS,YAAY;YACnC,KAAK,EAAE,GAAG,SAAS,KAAK,MAAM,MAAM,OAAO,oBAAoB;SAChE,CAAC,CACH,CAAA;AACP,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,eAAe,GAAG,CAAC,SAAuC,EAAE,EAAE,CAClE,SAAS,KAAK,SAAS;IACrB,CAAC,CAAC,EAAE;IACJ,CAAC,CAAC;QACE,mBAAmB,EAAE,SAAS,CAAC,UAAU;QACzC,wBAAwB,EAAE,SAAS,CAAC,KAAK;QACzC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC;YAC1C,CAAC,CAAC,EAAE,yBAAyB,EAAE,SAAS,CAAC,MAAM,EAAE;YACjD,CAAC,CAAC,EAAE,CAAC;KACR,CAAA;AAgGP;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,UAAkE,EAKlE,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAwB,CAAA;IAC7C,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC;QAC7D,MAAM,EAAE,GAAG,UAAU,CAAC,OAAO,CAAC,CAAA;QAC9B,IAAI,EAAE,IAAI,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,oBAAoB,IAAI,EAAE;YAAE,SAAQ;QAChF,MAAM,IAAI,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAA;QACpC,IAAI,IAAI,KAAK,SAAS;YAAE,SAAQ;QAChC,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YAC/D,KAAK,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;gBACvF,WAAW,EAAE,IAAI,CAAC,WAAW;aAC9B,CAAC,CAAA;YACF,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CAAA;QAChF,CAAC;aAAM,IACL,IAAI,CAAC,MAAM,KAAK,QAAQ;YACxB,IAAI,CAAC,aAAa,KAAK,SAAS;YAChC,IAAI,CAAC,MAAM,CAAC,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAC9C,CAAC;YACD,KAAK,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;gBACvF,YAAY,EAAE,IAAI,CAAC,aAAa,CAAC,YAAY;gBAC7C,cAAc,EAAE,IAAI;aACrB,CAAC,CAAA;YACF,KAAK,CAAC,GAAG,CACP,OAAO,EACP,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE;gBACvC,SAAS,EAAE,IAAI,CAAC,aAAa,CAAC,SAAS;gBACvC,SAAS,EAAE,IAAI,CAAC,aAAa,CAAC,SAAS;aACxC,CAAC,CACH,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAC,CAAA;AAEJ;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,UAAgE,EAChE,SAAiB,EACjB,OAUa,EAKb,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO;YACL,KAAK,EAAE,EAAE;YACT,UAAU,EAAE,EAAE;YACd,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE;YACjB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,WAAW,EAAE,IAAI,GAAG,EAAE;YACtB,IAAI,EAAE,GAAG,EAAE,CAAC,kBAAkB,EAAE;SACjC,CAAA;IACH,CAAC;IAED,MAAM,OAAO,GAYR,EAAE,CAAA;IACP,qDAAqD;IACrD,MAAM,SAAS,GAAG,IAAI,GAAG,EAA0B,CAAA;IAEnD,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,CAAC;QAC7D,MAAM,EAAE,GAAG,UAAU,CAAC,OAAO,CAAE,CAAA;QAC/B,wEAAwE;QACxE,IAAI,gBAAgB,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,IAAI,OAAO,EAAE,OAAO,KAAK,IAAI,EAAE,CAAC;gBAC9B,OAAO,KAAK,CAAC,CAAC,IAAI,eAAe,CAAC;oBAChC,UAAU,EAAE,SAAS;oBACrB,SAAS;oBACT,KAAK,EACH,GAAG,SAAS,eAAe,OAAO,6CAA6C;wBAC/E,IAAI,EAAE,CAAC,UAAU,8DAA8D;wBAC/E,oCAAoC;iBACvC,CAAC,CAAA;YACJ,CAAC;YACD,SAAS,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;YAC1B,SAAQ;QACV,CAAC;QACD,wDAAwD;QACxD,IAAI,EAAE,IAAI,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,oBAAoB,IAAI,EAAE,EAAE,CAAC;YACvE,MAAM,OAAO,GAAG,EAAsB,CAAA;YACtC,qEAAqE;YACrE,uEAAuE;YACvE,IAAI,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBAChD,OAAO,KAAK,CAAC,CAAC,IAAI,eAAe,CAAC;oBAChC,UAAU,EAAE,OAAO,CAAC,OAAO,CAAC,UAAU;oBACtC,SAAS,EAAE,GAAG,SAAS,QAAQ;oBAC/B,KAAK,EAAE,GAAG,SAAS,uEAAuE;iBAC3F,CAAC,CAAA;YACJ,CAAC;YACD,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,OAAO,CAAC,OAAO;gBACvB,OAAO;gBACP,GAAG,EAAE,OAAO,CAAC,IAAI;gBACjB,SAAS,EAAE,OAAO,CAAC,UAAU;aAC9B,CAAC,CAAA;YACF,SAAQ;QACV,CAAC;QAED,MAAM,IAAI,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAA;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,KAAK,CAAC,CAAC,IAAI,eAAe,CAAC;gBAChC,UAAU,EAAE,SAAS;gBACrB,SAAS;gBACT,KAAK,EAAE,GAAG,SAAS,qFAAqF;aACzG,CAAC,CAAA;QACJ,CAAC;QAED,MAAM,IAAI,GAAG,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,CAAA;QACzC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,uEAAuE;YACvE,gEAAgE;YAChE,sEAAsE;YACtE,0DAA0D;YAC1D,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;YACrE,SAAQ;QACV,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,EAAE,CAAC;YAC1B,KAAK,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAA;YACnF,KAAK,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAA;YACtE,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,KAAK;gBACX,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,OAAO;gBACP,KAAK,EAAE,IAAI,CAAC,KAAM;gBAClB,SAAS,EAAE,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC;gBAC1D,eAAe,EAAE,IAAI,CAAC,eAAe;aACtC,CAAC,CAAA;QACJ,CAAC;aAAM,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACpC,KAAK,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE;gBACjF,YAAY,EAAE,IAAI,CAAC,aAAa,EAAE,YAAY;aAC/C,CAAC,CAAA;YACF,KAAK,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAA;YACzE,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,OAAO;gBACP,GAAG,EAAE,IAAI,CAAC,GAAI;gBACd,SAAS,EAAE,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC;aAC3D,CAAC,CAAA;QACJ,CAAC;aAAM,CAAC;YACN,OAAO,KAAK,CAAC,CAAC,IAAI,eAAe,CAAC;gBAChC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU;gBAClC,SAAS;gBACT,KAAK,EACH,IAAI,CAAC,MAAM,KAAK,QAAQ;oBACtB,CAAC,CAAC,GAAG,SAAS,iEAAiE;wBAC7E,6EAA6E;wBAC7E,yDAAyD;oBAC3D,CAAC,CAAC,GAAG,SAAS,iCAAiC,IAAI,CAAC,MAAM,yDAAyD;aACxH,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAA;IAEpD,MAAM,KAAK,GAA6B,EAAE,CAAA;IAC1C,MAAM,UAAU,GAA0B,EAAE,CAAA;IAC5C,qEAAqE;IACrE,MAAM,MAAM,GAAoC,EAAE,CAAA;IAClD,MAAM,OAAO,GAAwB,EAAE,CAAA;IACvC,MAAM,OAAO,GAA8B,EAAE,CAAA;IAC7C,MAAM,UAAU,GAA+B,EAAE,CAAA;IACjD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAA;IACrC,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,IAAI,EAAE,CAAC,SAAS,KAAK,SAAS;YAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,CAAA;IAC7D,CAAC;IACD,IAAI,SAAS,GAAG,EAAE,CAAA;IAClB,IAAI,SAAS,GAA0B,EAAE,CAAA;IACzC,MAAM,IAAI,GAAG,CAAC,IAAuB,EAAE,IAAoB,EAAE,OAAO,GAAG,KAAK,EAAE,EAAE;QAC9E,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrB,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAA;QAC9C,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CACf,kBAAkB,CAChB,IAAI,EACJ,KAAK,EACL,MAAM,EACN,IAAI,CAAC,UAAU,EACf,aAAa,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,UAAU,GAC3C,OAAO,CAAC,CAAC,CAAC,+DAA+D,CAAC,CAAC,CAAC,EAC9E,GAAG,CACJ,CACF,CAAA;IACH,CAAC,CAAA;IAED,uEAAuE;IACvE,iDAAiD;IACjD,MAAM,YAAY,GAAG,CAAC,OAAe,EAAE,EAAE,CACvC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,OAAO,CAAE,CAAA;QAClC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,aAAa,OAAO,EAAE,CAAC,CAAA;QACvD,OAAO,CAAC,IAAI,CAAC;YACX,OAAO;YACP,KAAK,EAAE,KAAK,CAAC,MAAM;YACnB,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM;YAC1B,OAAO,EAAE,MAAM,CAAC,OAAO;SACxB,CAAC,CAAA;QACF,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAC5B,wCAAwC;QACxC,IAAI,KAAoD,CAAA;QACxD,MAAM,YAAY,GAAG,CAAC,CAAS,EAAsB,EAAE;YACrD,IAAI,KAAK,KAAK,SAAS;gBAAE,KAAK,GAAG,MAAM,CAAC,OAAO,EAAE,CAAA;YACjD,OAAO,KAAK,CAAC,CAAC,CAAE,CAAA;QAClB,CAAC,CAAA;QACD,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAChB,UAAU,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAA;YAC3E,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;QACpC,CAAC;IACH,CAAC,CAAC,CAAA;IACJ,IAAI,WAAW,GAAG,CAAC,CAAA;IACnB,MAAM,oBAAoB,GAAG,CAAC,OAAe,EAAE,EAAE,CAC/C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,OAAO,WAAW,GAAG,OAAO,EAAE,WAAW,EAAE,EAAE,CAAC;YAC5C,IAAI,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC;gBAAE,KAAK,CAAC,CAAC,YAAY,CAAC,WAAW,CAAC,CAAA;QAClE,CAAC;QACD,WAAW,GAAG,OAAO,GAAG,CAAC,CAAA;IAC3B,CAAC,CAAC,CAAA;IAEJ,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,KAAK,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAC,OAAO,CAAC,CAAA;QACvC,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAE,CAAA;QACtC,MAAM,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,OAAQ,CAAA;QAC1C,SAAS,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;QAEhD,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC1B,oEAAoE;YACpE,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,IAAK,EAAE,CAAC,CAAA;YAC1E,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,IAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;gBACjD,IAAI,CACF,IAAI,EACJ,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,EAC1E,CAAC,GAAG,CAAC,CACN,CAAA;YACH,CAAC;YACD,SAAQ;QACV,CAAC;QAED,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,uBAAuB,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,KAAM,EAAE,GAAG,SAAS,MAAM,CAAC,CAAA;YACtF,IAAI,EAAE,CAAC,MAAM,CAAC,iBAAiB,IAAI,EAAE,CAAC,MAAM,CAAC,uBAAuB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC;oBACrC,SAAS;oBACT,WAAW,EAAE,uBAAuB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC;oBAChE,GAAG,EAAE,KAAK,CAAC,GAAG;oBACd,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;oBAC1C,aAAa,EAAE,EAAE,CAAC,SAAS;oBAC3B,MAAM,EAAE,EAAE,CAAC,OAAO,KAAK,QAAQ;oBAC/B,SAAS;oBACT,GAAG,EAAE,EAAE,CAAC,KAAM;iBACf,CAAC,CAAA;gBACF,OAAO,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;gBAChE,KAAK,MAAM,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;oBAC7C,IAAI,CACF,IAAI,EACJ,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,EAC1E,CAAC,GAAG,CAAC,CACN,CAAA;gBACH,CAAC;gBACD,SAAQ;YACV,CAAC;YACD,+DAA+D;YAC/D,4DAA4D;YAC5D,MAAM,IAAI,GACR,EAAE,CAAC,OAAO,KAAK,QAAQ;gBACrB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC;gBACxD,CAAC,CAAC,MAAM,CAAC,IAAI,EAAkB,CAAA;YACnC,IAAI,CACF;gBACE,GAAG,EAAE;oBACH,SAAS,EAAE,SAAS;oBACpB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU;oBACzE,GAAG,eAAe,CAChB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;wBACjB,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC;wBAC1E,CAAC,CAAC,EAAE,CAAC,SAAS,CACjB;iBACF;aACF,EACD,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,CACxE,CAAA;QACH,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,IAAI,CACF;gBACE,MAAM,EAAE;oBACN,SAAS,EAAE,SAAS;oBACpB,GAAG,EAAE,cAAc,CAAC,iBAAiB,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,GAAI,CAAC,CAAC;oBAC1D,GAAG,eAAe,CAAC,EAAE,CAAC,SAAS,CAAC;iBACjC;aACF,EACD,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,CACxE,CAAA;QACH,CAAC;aAAM,CAAC;YACN,IAAI,CACF;gBACE,cAAc,EAAE;oBACd,SAAS,EAAE,SAAS;oBACpB,GAAG,EAAE,cAAc,CAAC,iBAAiB,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,GAAI,CAAC,CAAC;oBAC1D,mBAAmB,EAAE,EAAE,CAAC,SAAU,CAAC,UAAU;oBAC7C,GAAG,eAAe,CAAC,EAAE,CAAC,SAAS,CAAC;iBACjC;aACF,EACD,EAAE,OAAO,EAAE,EAAE,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,EAAE,CACxE,CAAA;QACH,CAAC;IACH,CAAC;IAED,KAAK,CAAC,CAAC,oBAAoB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;IAE9C,MAAM,IAAI,GAAG,GAAG,EAAE,CAChB,kBAAkB,CAChB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC,MAAM,CAAC,OAAgB,CAAC,CAAC,EACnE,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CACxC,CAAA;IACH,MAAM,OAAO,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAA;IAClD,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,CAAA;AAC5E,CAAC,CAAC,CAAA;AAEJ,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAA8B,EAC9B,OAA2D,EAC3D,OAAe,EACf,MAAM,GAAG,CAAC,EACD,EAAE;IACX,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAA;IAChE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,OAAO,CAAA;QAC/B,OAAO,CACL,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,EAAE,MAAM,GAAG,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,IAAI;YACrF,WAAW,CACZ,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,CAC1B,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,wBAAwB,CAChG,CAAA;AACH,CAAC,CAAA;AAED,oFAAoF;AACpF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAA;AAE7C;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAA8B,EAC9B,OAA2D,EAC3D,MAAM,GAAG,CAAC,EAkBE,EAAE;IACd,0EAA0E;IAC1E,2CAA2C;IAC3C,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,KAAK,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAC/D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;YAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QACvD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,EAAE,MAAM,GAAG,KAAK,GAAG,KAAK,CAAC,CAAC,CAAA;QAC5E,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,CAAA;IACpE,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAA;IACpC,IAAI,KAAkE,CAAA;IACtE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,KAAK,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACrD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,SAAS,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QACpE,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,EAAE,MAAM,GAAG,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;QAC/F,IAAI,OAAO,KAAK,SAAS;YAAE,SAAQ;QACnC,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAA;QACnF,IAAI,OAAO,CAAC,IAAI,KAAK,WAAW;YAAE,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;;YACpD,KAAK,KAAK,OAAO,CAAA;IACxB,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,IAAI,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,SAAQ;QACjD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,wBAAwB;YAAE,SAAQ;QACpE,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAA;QAChC,IAAI,IAAI,KAAK,SAAS;YAAE,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACtD,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAA;IACjF,CAAC;IACD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAA;IAC3F,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA"}

package/dist/internal/TransactableOps.d.ts

@@ -11,6 +11,7 @@ import { DateTime, Effect, Option, Schema } from "effect";
 import type { DynamoClientError, DynamoClientService } from "../DynamoClient.js";
 import type { Entity } from "../Entity.js";
 import type { ConditionInput } from "../Expression.js";
+import type { ReturnValuesMode, UpdateState } from "./EntityOps.js";
 /**
  * @internal Hidden per-incarnation token of a versioned entity (#133): set
  * when an item is created, it tells an item apart from a deleted-and-recreated
@@ -138,23 +139,42 @@ export declare const batchRejectReason: (entity: Entity, opType: "put" | "delete
  *   planned exactly as `Entity.put` plans it (#133): the item is read, and the
  *   Put is guarded on what was read, beside its sentinel reservations and
  *   (owned) releases and its retain snapshot (`Entity._planPut`).
- * - **delete** — rejected with **EDD-9048**. The sentinel to release is keyed by
- *   the *stored* item's unique values, a retain snapshot copies the *stored* row,
- *   and a soft-delete tombstone IS the stored row relocated to a new sort key;
- *   the transaction path builds a delete from its key alone.
+ * - **delete** — the sentinel to release is keyed by the *stored* item's unique
+ *   values, a retain snapshot copies the *stored* row, and a soft-delete
+ *   tombstone IS the stored row relocated to a new sort key. `Transaction.
+ *   transactWrite` plans such a delete from a read (`Entity._planDelete`);
+ *   a path that builds a delete from its key alone (`EventStore.append`)
+ *   rejects it with **EDD-9048**.
  *
  * `Batch.write` rejects BOTH directions (**EDD-9049**) — see `batchRejectReason`.
  *
+ * **What a planned update or delete cannot carry** (`Transaction.transactWrite`
+ * runs the op with its write recorded, so nothing after the write runs): a
+ * cascade (**EDD-9059** — a follow-up write after the update commits), a
+ * `returnValues` mode that returns an item (**EDD-9060** — a transaction
+ * returns no item attributes), and an update of a vector-indexed entity
+ * (**EDD-9061** — the embedding needs the `Embedder` service).
+ *
  * `capability` names what the caller would have to give up, so the message can
  * say why rather than just "unsupported".
  */
-export declare const rejectUnsupportedOp: (entity: Entity, operation: string, opType: "put" | "delete", putKind: "put" | "create" | "upsert" | undefined, 
+export declare const rejectUnsupportedOp: (entity: Entity, operation: string, opType: "put" | "update" | "delete", putKind: "put" | "create" | "upsert" | undefined, 
 /**
  * The op's own input, for the one gate whose dependency the caller can
  * remove. `undefined` for a delete (which carries a key, not an input) and
  * for any caller with none to offer — both read as "the field is absent".
  */
-input?: unknown) => Effect.Effect<void, ValidationError>;
+input?: unknown, details?: {
+    /** An update's accumulated state (`.cascade()`, `.returnValues()`, …). */
+    readonly updateState?: UpdateState | undefined;
+    /** A delete's `.returnValues()`. */
+    readonly returnValues?: ReturnValuesMode | undefined;
+    /**
+     * The caller reads the stored row before compiling (`transactWrite`'s
+     * pre-pass), so a multi-item delete is buildable and EDD-9048 does not apply.
+     */
+    readonly readsStoredRow?: boolean | undefined;
+}) => Effect.Effect<void, ValidationError>;
 /**
  * Resolve table names for a set of entity infos, deduplicating by entity reference.
  */