effect-dynamodb 1.24.0 → 1.26.0

package/dist/Aggregate.d.ts

@@ -9,6 +9,7 @@
  * Created via {@link make}. Sub-aggregates compose recursively via `.with()`.
  */
 import { TypeId as SchemaAggregateTypeId } from "@effect-dynamodb/schema/Aggregate.js";
+import * as DynamoModel from "@effect-dynamodb/schema/DynamoModel.js";
 import type * as DynamoSchemaModule from "@effect-dynamodb/schema/DynamoSchema.js";
 import { AggregateAssemblyError, AggregateDecompositionError, AggregateTransactionOverflow, ConditionalCheckFailed, type ItemNotFound, RefNotFound, TransactionCancelled, ValidationError } from "@effect-dynamodb/schema/Errors.js";
 import type { TimestampsConfig } from "@effect-dynamodb/schema/internal/EntityConfig.js";
@@ -117,6 +118,12 @@ export interface Aggregate<TSchema extends Schema.Top, TKey extends Record<strin
      * `db.tables.X.create()` GSI derivation.
      */
     readonly _tableTag: Context.Service<TableConfig, TableConfig>;
+    /**
+     * @internal The packed attributes of each edge entity type's items (stored
+     * name → config). `DynamoClient.make()` checks the codecs they name against
+     * the registry it binds with (`[EDD-9078]`).
+     */
+    readonly _packedByType?: ReadonlyMap<string, Readonly<Record<string, DynamoModel.PackedConfig>>>;
     /** Primary key field name (e.g., "pk") */
     readonly pkField: string;
     /**
@@ -300,8 +307,11 @@ interface AggregateConfig<_TSchema extends Schema.Top, TEdges extends Record<str
      * the RCU cost of every assembly read.
      *
      * Only valid where the assembly query can be strongly consistent: the base table (no
-     * `collection.index`) or an LSI. DynamoDB rejects consistent reads against a GSI, so
-     * combining this with a GSI-shaped collection index throws at `make()` time.
+     * `collection.index`) or an LSI. DynamoDB rejects consistent reads against a GSI; with
+     * a GSI collection index, each assembly read fails with that rejection, named for the
+     * aggregate and the index (a `ValidationError`, `operation: "<op>.consistentRead"`;
+     * `delete`'s read keeps DynamoDB's `DynamoValidationError` tag). It is not refused at
+     * `make()` time (#144).
      */
     readonly consistentRead?: boolean;
     readonly context?: ReadonlyArray<string>;

package/dist/Aggregate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Aggregate.d.ts","sourceRoot":"","sources":["../src/Aggregate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,MAAM,IAAI,qBAAqB,EAAE,MAAM,sCAAsC,CAAA;AAGtF,OAAO,KAAK,KAAK,kBAAkB,MAAM,yCAAyC,CAAA;AAGlF,OAAO,EACL,sBAAsB,EACtB,2BAA2B,EAC3B,4BAA4B,EAC5B,sBAAsB,EAEtB,KAAK,YAAY,EACjB,WAAW,EACX,oBAAoB,EACpB,eAAe,EAChB,MAAM,mCAAmC,CAAA;AAK1C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kDAAkD,CAAA;AAgBxF,OAAO,EACL,KAAK,OAAO,EAEZ,MAAM,EAIN,MAAM,EAEP,MAAM,QAAQ,CAAA;AAEf,OAAO,EAAE,YAAY,EAAE,KAAK,iBAAiB,EAA4B,MAAM,mBAAmB,CAAA;AAElG,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,kBAAkB,EAGvB,KAAK,IAAI,EAIV,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,2BAA2B,CAAA;AAG/E,OAAO,EAAqB,KAAK,KAAK,EAAE,KAAK,WAAW,EAAE,MAAM,YAAY,CAAA;AAE5E,YAAY,EACV,MAAM,EACN,mBAAmB,EACnB,aAAa,GACd,MAAM,qDAAqD,CAAA;AAE5D,OAAO,EACL,KAAK,aAAa,EAClB,UAAU,EACV,SAAS,EACT,SAAS,EACT,KAAK,QAAQ,EACb,KAAK,cAAc,EACnB,IAAI,EACJ,KAAK,OAAO,EACZ,GAAG,EACH,KAAK,OAAO,EACZ,KAAK,SAAS,EACd,GAAG,GACJ,MAAM,oDAAoD,CAAA;AAC3D,OAAO,EACL,KAAK,uBAAuB,EAC5B,sBAAsB,EACtB,wBAAwB,EACxB,qBAAqB,EACrB,mBAAmB,EACnB,eAAe,EACf,eAAe,EACf,sBAAsB,EACtB,WAAW,GACZ,MAAM,sDAAsD,CAAA;AAC7D,YAAY,EACV,kBAAkB,EAClB,iBAAiB,EACjB,KAAK,EACL,GAAG,EACH,YAAY,EACZ,IAAI,EACJ,QAAQ,GACT,MAAM,oDAAoD,CAAA;AAE3D,OAAO,EAGL,KAAK,aAAa,EACnB,MAAM,qDAAqD,CAAA;AAC5D,OAAO,KAAK,EAAE,aAAa,EAAa,MAAM,oDAAoD,CAAA;AAKlG,OAAO,KAAK,EACV,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,EACb,MAAM,oDAAoD,CAAA;AAY3D,eAAO,MAAM,MAAM,EAAE,OAAO,qBAA6C,CAAA;AACzE,MAAM,MAAM,MAAM,GAAG,OAAO,qBAAqB,CAAA;AAsDjD;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,CAAC,KAAK,IACxB,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE,YAAY,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,GACzE,kBAAkB,CAAA;AAEtB,yCAAyC;AACzC,MAAM,WAAW,WAAW,CAAC,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAC1D;;;;;OAKG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,mEAAmE;IACnE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAA;IACnC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,OAAO,CAAA;IAClE,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAC3B;AAED,uCAAuC;AACvC,MAAM,WAAW,UAAU,CAAC,CAAC;IAC3B,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;IACvB,kEAAkE;IAClE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;CAC/B;AAMD,iDAAiD;AACjD,MAAM,MAAM,mBAAmB,GAC3B,sBAAsB,GACtB,2BAA2B,GAC3B,4BAA4B,GAC5B,iBAAiB,GACjB,eAAe,GACf,WAAW,GACX,YAAY,GACZ,oBAAoB,CAAA;AAExB;;;GAGG;AACH,MAAM,MAAM,oBAAoB,GAAG,mBAAmB,GAAG,sBAAsB,CAAA;AAE/E;;;GAGG;AACH,MAAM,WAAW,SAAS,CACxB,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,IAAI,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACpC,MAAM,GAAG,OAAO;IAEhB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IAExB;;;;OAIG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,CAAC,CAAA;IAE7D,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IAExB;;;OAGG;IACH,QAAQ,CAAC,UAAU,EAAE;QACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;QAClC,QAAQ,CAAC,EAAE,EAAE;YAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;SAAE,GAAG,SAAS,CAAA;KACpD,CAAA;IAED,4DAA4D;IAC5D,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;IAEhC,+FAA+F;IAC/F,QAAQ,CAAC,SAAS,EACd;QACE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,EAAE,EAAE;YAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAA;QACvC,QAAQ,CAAC,EAAE,EAAE;YAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAA;KACxC,GACD,SAAS,CAAA;IAEb,uEAAuE;IACvE,QAAQ,CAAC,GAAG,EAAE,CACZ,GAAG,EAAE,IAAI,KACN,MAAM,CAAC,MAAM,CAChB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAC3B,sBAAsB,GAAG,iBAAiB,GAAG,eAAe,EAC5D,YAAY,GAAG,WAAW,CAC3B,CAAA;IAED;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAC3B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,oBAAoB,EAAE,YAAY,GAAG,WAAW,CAAC,CAAA;IAEjG;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,MAAM,EAAE,CACf,GAAG,EAAE,IAAI,EACT,UAAU,EAAE,CACV,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAChE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,KAC9C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,mBAAmB,EAAE,YAAY,GAAG,WAAW,CAAC,CAAA;IAEhG,gEAAgE;IAChE,QAAQ,CAAC,MAAM,EAAE,CACf,GAAG,EAAE,IAAI,KACN,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,sBAAsB,GAAG,iBAAiB,EAAE,YAAY,GAAG,WAAW,CAAC,CAAA;IAEhG;;;;;;;;;;;;;;;;;;;OAmBG;IACH,QAAQ,CAAC,IAAI,EAAE,CACb,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAC/C,MAAM,CAAC,MAAM,CAChB,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EACvC,sBAAsB,GAAG,iBAAiB,GAAG,eAAe,EAC5D,YAAY,GAAG,WAAW,CAC3B,CAAA;IAED;;;;;;;;OAQG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAE1C,uEAAuE;IACvE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAE3C;;;;;;OAMG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;CACrD;AAMD;;;;;;GAMG;AACH,MAAM,WAAW,cAAc,CAC7B,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,IAAI,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACpC,MAAM,GAAG,OAAO;IAEhB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IAExB,QAAQ,CAAC,GAAG,EAAE,CACZ,GAAG,EAAE,IAAI,KACN,MAAM,CAAC,MAAM,CAChB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAC3B,sBAAsB,GAAG,iBAAiB,GAAG,eAAe,EAC5D,KAAK,CACN,CAAA;IAED,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAC3B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,oBAAoB,EAAE,KAAK,CAAC,CAAA;IAE5E,QAAQ,CAAC,MAAM,EAAE,CACf,GAAG,EAAE,IAAI,EACT,UAAU,EAAE,CACV,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAChE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,KAC9C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,mBAAmB,EAAE,KAAK,CAAC,CAAA;IAE3E,QAAQ,CAAC,MAAM,EAAE,CACf,GAAG,EAAE,IAAI,KACN,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,sBAAsB,GAAG,iBAAiB,EAAE,KAAK,CAAC,CAAA;IAE3E,QAAQ,CAAC,IAAI,EAAE,CACb,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAC/C,MAAM,CAAC,MAAM,CAChB,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EACvC,sBAAsB,GAAG,iBAAiB,GAAG,eAAe,EAC5D,KAAK,CACN,CAAA;IAED,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAE1C,uEAAuE;IACvE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAE3C,sEAAsE;IACtE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;IAEpD,2FAA2F;IAC3F,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,UAAU,kBAAkB,CAC1B,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,MAAM,CACjF,MAAM,EACN,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAC5C;IAED,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAA;IAC9C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;AAMD,UAAU,gBAAgB;IACxB;;;;;;;;;;;;;;;OAeG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,CAAC,EAAE;QACZ,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAC1C,CAAA;CACF;AAED,UAAU,oBAAqB,SAAQ,gBAAgB;IACrD,qEAAqE;IACrE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,EAAE,EAAE;QACX,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAC1C,CAAA;IACD,QAAQ,CAAC,EAAE,EAAE;QACX,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAC1C,CAAA;IACD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED,UAAU,eAAe,CACvB,QAAQ,SAAS,MAAM,CAAC,GAAG,EAC3B,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,MAAM,CACjF,MAAM,EACN,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAC5C,EACD,GAAG,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC;IAEzD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC,YAAY,CAAA;IAChD,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAA;KAAE,CAAA;IAChE,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAA;IACrC,QAAQ,CAAC,IAAI,CAAC,EAAE,oBAAoB,CAAA;IACpC;;;;;;;;;;;;;;OAcG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAA;IACjC,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACxC;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,gBAAgB,CAAA;IACtC,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAA;IAC9C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;AAMD;;;;;;;;GAQG;AACH,wBAAgB,IAAI,CAClB,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,KAAK,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAEhF,MAAM,EAAE,OAAO,EACf,MAAM,EAAE,kBAAkB,CAAC,MAAM,CAAC,GAAG;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAA;CAAE,GAClE,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;AAChC,wBAAgB,IAAI,CAClB,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,KAAK,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAChF,KAAK,CAAC,GAAG,SAAS,aAAa,CAAC,MAAM,CAAC,EAEvC,MAAM,EAAE,OAAO,EACf,MAAM,EAAE,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,GAC5C,SAAS,CACV,OAAO,EACP,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAC7D,CAAA;AAkqCD;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,OAAO,SAAS,MAAM,CAAC,GAAG,EAAE,IAAI,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAC3F,WAAW,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,KAC1C,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,YAAY,GAAG,WAAW,CA2BrF,CAAA"}
+{"version":3,"file":"Aggregate.d.ts","sourceRoot":"","sources":["../src/Aggregate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,EAAE,MAAM,IAAI,qBAAqB,EAAE,MAAM,sCAAsC,CAAA;AAEtF,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAA;AACrE,OAAO,KAAK,KAAK,kBAAkB,MAAM,yCAAyC,CAAA;AAGlF,OAAO,EACL,sBAAsB,EACtB,2BAA2B,EAC3B,4BAA4B,EAC5B,sBAAsB,EAGtB,KAAK,YAAY,EACjB,WAAW,EACX,oBAAoB,EACpB,eAAe,EAChB,MAAM,mCAAmC,CAAA;AAK1C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kDAAkD,CAAA;AAiBxF,OAAO,EACL,KAAK,OAAO,EAEZ,MAAM,EAIN,MAAM,EAEP,MAAM,QAAQ,CAAA;AAEf,OAAO,EAAE,YAAY,EAAE,KAAK,iBAAiB,EAA4B,MAAM,mBAAmB,CAAA;AAElG,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,kBAAkB,EAGvB,KAAK,IAAI,EAIV,MAAM,oBAAoB,CAAA;AAE3B,OAAO,EAAqB,KAAK,WAAW,EAAE,MAAM,2BAA2B,CAAA;AAa/E,OAAO,EAAqB,KAAK,KAAK,EAAE,KAAK,WAAW,EAAE,MAAM,YAAY,CAAA;AAE5E,YAAY,EACV,MAAM,EACN,mBAAmB,EACnB,aAAa,GACd,MAAM,qDAAqD,CAAA;AAE5D,OAAO,EACL,KAAK,aAAa,EAClB,UAAU,EACV,SAAS,EACT,SAAS,EACT,KAAK,QAAQ,EACb,KAAK,cAAc,EACnB,IAAI,EACJ,KAAK,OAAO,EACZ,GAAG,EACH,KAAK,OAAO,EACZ,KAAK,SAAS,EACd,GAAG,GACJ,MAAM,oDAAoD,CAAA;AAC3D,OAAO,EACL,KAAK,uBAAuB,EAC5B,sBAAsB,EACtB,wBAAwB,EACxB,qBAAqB,EACrB,mBAAmB,EACnB,eAAe,EACf,eAAe,EACf,sBAAsB,EACtB,WAAW,GACZ,MAAM,sDAAsD,CAAA;AAC7D,YAAY,EACV,kBAAkB,EAClB,iBAAiB,EACjB,KAAK,EACL,GAAG,EACH,YAAY,EACZ,IAAI,EACJ,QAAQ,GACT,MAAM,oDAAoD,CAAA;AAE3D,OAAO,EAGL,KAAK,aAAa,EACnB,MAAM,qDAAqD,CAAA;AAC5D,OAAO,KAAK,EAAE,aAAa,EAAa,MAAM,oDAAoD,CAAA;AAKlG,OAAO,KAAK,EACV,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,EACb,MAAM,oDAAoD,CAAA;AAY3D,eAAO,MAAM,MAAM,EAAE,OAAO,qBAA6C,CAAA;AACzE,MAAM,MAAM,MAAM,GAAG,OAAO,qBAAqB,CAAA;AAqEjD;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,CAAC,KAAK,IACxB,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE,YAAY,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,GACzE,kBAAkB,CAAA;AAEtB,yCAAyC;AACzC,MAAM,WAAW,WAAW,CAAC,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAC1D;;;;;OAKG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B,mEAAmE;IACnE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAA;IACnC;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,OAAO,CAAA;IAClE,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAC3B;AAED,uCAAuC;AACvC,MAAM,WAAW,UAAU,CAAC,CAAC;IAC3B,6CAA6C;IAC7C,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAA;IACvB,kEAAkE;IAClE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;CAC/B;AAMD,iDAAiD;AACjD,MAAM,MAAM,mBAAmB,GAC3B,sBAAsB,GACtB,2BAA2B,GAC3B,4BAA4B,GAC5B,iBAAiB,GACjB,eAAe,GACf,WAAW,GACX,YAAY,GACZ,oBAAoB,CAAA;AAExB;;;GAGG;AACH,MAAM,MAAM,oBAAoB,GAAG,mBAAmB,GAAG,sBAAsB,CAAA;AAE/E;;;GAGG;AACH,MAAM,WAAW,SAAS,CACxB,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,IAAI,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACpC,MAAM,GAAG,OAAO;IAEhB,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IAExB;;;;OAIG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,WAAW,EAAE,WAAW,CAAC,CAAA;IAE7D;;;;OAIG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,CAAA;IAEhG,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IAExB;;;OAGG;IACH,QAAQ,CAAC,UAAU,EAAE;QACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,CAAA;QAClC,QAAQ,CAAC,EAAE,EAAE;YAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;SAAE,GAAG,SAAS,CAAA;KACpD,CAAA;IAED,4DAA4D;IAC5D,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAA;IAEhC,+FAA+F;IAC/F,QAAQ,CAAC,SAAS,EACd;QACE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,EAAE,EAAE;YAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAA;QACvC,QAAQ,CAAC,EAAE,EAAE;YAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAA;KACxC,GACD,SAAS,CAAA;IAEb,uEAAuE;IACvE,QAAQ,CAAC,GAAG,EAAE,CACZ,GAAG,EAAE,IAAI,KACN,MAAM,CAAC,MAAM,CAChB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAC3B,sBAAsB,GAAG,iBAAiB,GAAG,eAAe,EAC5D,YAAY,GAAG,WAAW,CAC3B,CAAA;IAED;;;;;OAKG;IACH,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAC3B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,oBAAoB,EAAE,YAAY,GAAG,WAAW,CAAC,CAAA;IAEjG;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,MAAM,EAAE,CACf,GAAG,EAAE,IAAI,EACT,UAAU,EAAE,CACV,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAChE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,KAC9C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,mBAAmB,EAAE,YAAY,GAAG,WAAW,CAAC,CAAA;IAEhG,gEAAgE;IAChE,QAAQ,CAAC,MAAM,EAAE,CACf,GAAG,EAAE,IAAI,KACN,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,sBAAsB,GAAG,iBAAiB,EAAE,YAAY,GAAG,WAAW,CAAC,CAAA;IAEhG;;;;;;;;;;;;;;;;;;;OAmBG;IACH,QAAQ,CAAC,IAAI,EAAE,CACb,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAC/C,MAAM,CAAC,MAAM,CAChB,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EACvC,sBAAsB,GAAG,iBAAiB,GAAG,eAAe,EAC5D,YAAY,GAAG,WAAW,CAC3B,CAAA;IAED;;;;;;;;OAQG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAE1C,uEAAuE;IACvE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAE3C;;;;;;OAMG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;CACrD;AAMD;;;;;;GAMG;AACH,MAAM,WAAW,cAAc,CAC7B,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,IAAI,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACpC,MAAM,GAAG,OAAO;IAEhB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IAExB,QAAQ,CAAC,GAAG,EAAE,CACZ,GAAG,EAAE,IAAI,KACN,MAAM,CAAC,MAAM,CAChB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAC3B,sBAAsB,GAAG,iBAAiB,GAAG,eAAe,EAC5D,KAAK,CACN,CAAA;IAED,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAC3B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,oBAAoB,EAAE,KAAK,CAAC,CAAA;IAE5E,QAAQ,CAAC,MAAM,EAAE,CACf,GAAG,EAAE,IAAI,EACT,UAAU,EAAE,CACV,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAChE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,KAC9C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,mBAAmB,EAAE,KAAK,CAAC,CAAA;IAE3E,QAAQ,CAAC,MAAM,EAAE,CACf,GAAG,EAAE,IAAI,KACN,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,sBAAsB,GAAG,iBAAiB,EAAE,KAAK,CAAC,CAAA;IAE3E,QAAQ,CAAC,IAAI,EAAE,CACb,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAC/C,MAAM,CAAC,MAAM,CAChB,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,EACvC,sBAAsB,GAAG,iBAAiB,GAAG,eAAe,EAC5D,KAAK,CACN,CAAA;IAED,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAE1C,uEAAuE;IACvE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAE3C,sEAAsE;IACtE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;IAEpD,2FAA2F;IAC3F,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,UAAU,kBAAkB,CAC1B,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,MAAM,CACjF,MAAM,EACN,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAC5C;IAED,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAA;IAC9C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;AAMD,UAAU,gBAAgB;IACxB;;;;;;;;;;;;;;;OAeG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB;;;;;OAKG;IACH,QAAQ,CAAC,EAAE,CAAC,EAAE;QACZ,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAC1C,CAAA;CACF;AAED,UAAU,oBAAqB,SAAQ,gBAAgB;IACrD,qEAAqE;IACrE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,EAAE,EAAE;QACX,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAC1C,CAAA;IACD,QAAQ,CAAC,EAAE,EAAE;QACX,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KAC1C,CAAA;IACD,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED,UAAU,eAAe,CACvB,QAAQ,SAAS,MAAM,CAAC,GAAG,EAC3B,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,MAAM,CACjF,MAAM,EACN,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAC5C,EACD,GAAG,SAAS,aAAa,CAAC,MAAM,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC;IAEzD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,kBAAkB,CAAC,YAAY,CAAA;IAChD,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,GAAG,CAAA;KAAE,CAAA;IAChE,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAA;IACrC,QAAQ,CAAC,IAAI,CAAC,EAAE,oBAAoB,CAAA;IACpC;;;;;;;;;;;;;;;;;OAiBG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAA;IACjC,QAAQ,CAAC,OAAO,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;IACxC;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,gBAAgB,CAAA;IACtC,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAA;IAC9C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB;AAMD;;;;;;;;GAQG;AACH,wBAAgB,IAAI,CAClB,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,KAAK,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAEhF,MAAM,EAAE,OAAO,EACf,MAAM,EAAE,kBAAkB,CAAC,MAAM,CAAC,GAAG;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAA;CAAE,GAClE,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;AAChC,wBAAgB,IAAI,CAClB,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,KAAK,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAChF,KAAK,CAAC,GAAG,SAAS,aAAa,CAAC,MAAM,CAAC,EAEvC,MAAM,EAAE,OAAO,EACf,MAAM,EAAE,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,GAC5C,SAAS,CACV,OAAO,EACP,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,GAAG,CAAC,CAC7D,CAAA;AAgvCD;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,OAAO,SAAS,MAAM,CAAC,GAAG,EAAE,IAAI,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,EAC3F,WAAW,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,KAC1C,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,KAAK,EAAE,YAAY,GAAG,WAAW,CA2BrF,CAAA"}

package/dist/Aggregate.js

@@ -11,9 +11,10 @@
 import { TypeId as SchemaAggregateTypeId } from "@effect-dynamodb/schema/Aggregate.js";
 import * as DynamoModel from "@effect-dynamodb/schema/DynamoModel.js";
 import { composeCollectionKey, composeKey } from "@effect-dynamodb/schema/DynamoSchema.js";
-import { AggregateAssemblyError, AggregateDecompositionError, AggregateTransactionOverflow, ConditionalCheckFailed, DynamoError, RefNotFound, TransactionCancelled, ValidationError, } from "@effect-dynamodb/schema/Errors.js";
+import { AggregateAssemblyError, AggregateDecompositionError, AggregateTransactionOverflow, ConditionalCheckFailed, DynamoError, DynamoValidationError, RefNotFound, TransactionCancelled, ValidationError, } from "@effect-dynamodb/schema/Errors.js";
 import { makeCompositeKeyForm, toCompositeKeyRecord, } from "@effect-dynamodb/schema/internal/CompositeCodec.js";
 import { buildDateTransform, containsWireTransform, matchDateRepresentation, optionalField, resolveSystemFields, substituteSchemaDeep, validateNoTransformOverride, } from "@effect-dynamodb/schema/internal/EntitySchemas.js";
+import { isDispatchEligible } from "@effect-dynamodb/schema/internal/PackedCodec.js";
 import { extractArrayElement, getSchemaFields, hasEncodingTransformation, } from "@effect-dynamodb/schema/internal/SchemaAccessors.js";
 import * as KeyComposer from "@effect-dynamodb/schema/KeyComposer.js";
 import { DateTime, Effect, Equal, Option, Schema, SchemaAST, } from "effect";
@@ -21,8 +22,10 @@ import * as Batch from "./Batch.js";
 import { DynamoClient } from "./DynamoClient.js";
 import { fromDefinition as entityFromDefinition } from "./Entity.js";
 import { compileExpr, createConditionOps, emptyPartProblem, isEmptyExpr, parseSimpleShorthand, } from "./internal/Expr.js";
+import { hasStoredForm, packItemSync, unpackItemSync, withRegistry } from "./internal/Packed.js";
 import { createPathBuilder } from "./internal/PathBuilder.js";
 import { generateTimestampPrimitive } from "./internal/TransactableOps.js";
+import { diagnosedValidationError, diagnoseFailure, explainDiagnosis, mergeKeyAttributes, transactItemTarget, withCause, } from "./internal/WriteDiagnosis.js";
 import { fromAttributeMap, toAttributeMap, toAttributeValue } from "./Marshaller.js";
 import { resolvePrimaryKey } from "./Table.js";
 // Internal modules (decomposed from Aggregate.ts)
@@ -443,6 +446,23 @@ const applyNodeAttrEncoders = (attrs, encoders) => {
 // ---------------------------------------------------------------------------
 const makeAggregate = (schema, config) => {
     const aggregateName = config.root.entityType;
+    const groupKeys = {
+        pkField: config.pk.field,
+        // Every key attribute an aggregate item can carry: `pk` / `sk`, the
+        // collection index's PK and SK mirror, and the list index's (root items).
+        keys: mergeKeyAttributes({
+            partition: [
+                "pk",
+                config.pk.field,
+                ...(config.list === undefined ? [] : [config.list.pk.field]),
+            ],
+            sort: [
+                "sk",
+                ...(config.collection.sk === undefined ? [] : [config.collection.sk.field]),
+                ...(config.list === undefined ? [] : [config.list.sk.field]),
+            ],
+        }),
+    };
     const contextFields = config.context ?? [];
     // Policy: aggregate fields that already carry a date transform schema
     // (e.g. `Schema.DateTimeUtcFromString`) cannot be combined with a
@@ -474,6 +494,9 @@ const makeAggregate = (schema, config) => {
         parentFields: schemaFields,
         resolveRef,
     });
+    // Packed edge attributes, and those read by stored form, by item entity type (#147).
+    const packedByType = collectPackedByType(rootNode);
+    const dispatchByType = collectDispatchByType(rootNode);
     // Attribute ENCODERS for the root item: decompose works from the
     // schema-decoded domain object, so every root attribute holding a wire
     // transform — a date, a transformed scalar, or a container of either — is
@@ -508,14 +531,13 @@ const makeAggregate = (schema, config) => {
         resolveRef,
         enforceChecks: true,
     });
-    // Validate the collection index / consistency combination against the table's
-    // primary key. Best effort: a table registering only aggregates has no primary key
-    // to resolve, in which case both checks are skipped rather than guessed at.
+    // Validate the collection index against the table's primary key. Best effort: a
+    // table registering only aggregates has no primary key to resolve, in which case
+    // the check is skipped rather than guessed at. `consistentRead` on a GSI collection
+    // index is not refused here: DynamoDB rejects the consistent read, and the
+    // assembly read diagnoses it, naming the aggregate and the index (#144).
     const consistentRead = config.consistentRead ?? false;
     const tablePrimary = resolvePrimaryKey(config.table.entities);
-    const collectionIsGsi = tablePrimary !== undefined &&
-        config.collection.index !== undefined &&
-        config.pk.field !== tablePrimary.pk;
     if (tablePrimary !== undefined && config.collection.index === undefined) {
         if (config.pk.field !== tablePrimary.pk) {
             throw new Error(`[EDD-9041] Aggregate "${aggregateName}": collection PK field "${config.pk.field}" is ` +
@@ -530,14 +552,6 @@ const makeAggregate = (schema, config) => {
             `sort by — declare both to assemble through an index, or neither to assemble off the ` +
             `base table.`);
     }
-    if (consistentRead && collectionIsGsi) {
-        throw new Error(`[EDD-9042] Aggregate "${aggregateName}": \`consistentRead\` is not supported against a ` +
-            `GSI. Collection index "${config.collection.index}" is partitioned by ` +
-            `"${config.pk.field}" rather than the table's primary partition key ` +
-            `("${tablePrimary?.pk}"), which makes it a GSI, and DynamoDB serves GSI reads as ` +
-            `eventually consistent only. Drop \`consistentRead\`, or key the aggregate on the ` +
-            `table's primary partition key so assembly reads the base table.`);
-    }
     // System timestamps (#98). Aggregates compose their DynamoDB items directly
     // rather than routing through Entity write ops, so Entity's timestamp
     // machinery never reached these rows. Resolution goes through the SAME
@@ -622,20 +636,38 @@ const makeAggregate = (schema, config) => {
         }
         return toCompositeKeyRecord(compositeKeyForm, composites);
     };
-    /** Shared: compose PK and query all items */
-    const fetchPartition = (key) => Effect.gen(function* () {
+    /**
+     * DynamoDB's rejection of an assembly read (#144) — a consistent read of a
+     * GSI collection index — explained for the aggregate and its index.
+     */
+    const assemblyReadCause = (operation, diagnosis, original) => withCause(`Aggregate "${aggregateName}" ${operation}: ${explainDiagnosis(diagnosis, operation)} ` +
+        "Drop `consistentRead` from the aggregate, or key it on the table's primary " +
+        "partition key so assembly reads the base table.", original);
+    /** Compose the PK and query all items; a rejected read fails as `rejected` names it. */
+    const readPartition = (key, rejected) => Effect.flatMap(readPartitionRaw(key, rejected), (read) => 
+    // Packed edge attributes, read by their stored form (#147).
+    Effect.as(unpackAggregateItems(read.allItems, dispatchByType, aggregateName), read));
+    /** {@link readPartition} without unpacking — `delete` needs only the keys. */
+    const readPartitionRaw = (key, rejected) => Effect.gen(function* () {
         const client = yield* DynamoClient;
         const tableConfig = yield* config.table.Tag;
         const composites = KeyComposer.extractComposites(config.pk.composite, keyRecord(key));
         const pkValue = composeCollectionKey(config.schema, config.collection.name, composites);
-        const allItems = yield* queryAllItems(client, tableConfig.name, config.collection.index, config.pk.field, pkValue, consistentRead);
+        const allItems = yield* queryAllItems(client, tableConfig.name, config.collection.index, config.pk.field, pkValue, consistentRead, rejected);
         return { client, tableConfig, pkValue, composites, allItems };
     });
+    /** Shared: compose PK and query all items, a rejected read a `ValidationError`. */
+    const fetchPartition = (key, operation) => readPartition(key, (diagnosis, original) => new ValidationError({
+        entityType: aggregateName,
+        operation: `${operation}.consistentRead`,
+        cause: assemblyReadCause(operation, diagnosis, original),
+    }));
     const derivedSchemas = deriveAggregateSchemas(schema, config.edges, config.pk.composite);
     return {
         [TypeId]: TypeId,
         _tag: "Aggregate",
         _tableTag: config.table.Tag,
+        _packedByType: packedByType,
         schema,
         pkField: config.pk.field,
         collection: {
@@ -654,7 +686,7 @@ const makeAggregate = (schema, config) => {
         createSchema: derivedSchemas.inputSchema,
         updateSchema: derivedSchemas.updateSchema,
         get: (key) => Effect.gen(function* () {
-            const { allItems } = yield* fetchPartition(key);
+            const { allItems } = yield* fetchPartition(key, "get");
             if (allItems.length === 0) {
                 return yield* new AggregateAssemblyError({
                     aggregate: aggregateName,
@@ -692,7 +724,7 @@ const makeAggregate = (schema, config) => {
             // 6. Build DynamoDB items with composed keys (create only ever PUTs).
             //    Every row is new, so `created` has nothing to carry forward.
             const now = yield* DateTime.now;
-            const dynamoGroups = buildDynamoItems(groups, config, pkValue, collectionSkComposites, keyRecord, stampFor(now, EMPTY_CREATED));
+            const dynamoGroups = buildDynamoItems(yield* packAggregateGroups(groups, packedByType, aggregateName, "create"), config, pkValue, collectionSkComposites, keyRecord, stampFor(now, EMPTY_CREATED));
             // 7. Write via sub-aggregate transactions. The root item goes first in
             //    the first transaction, guarded by `attribute_not_exists` (#134):
             //    an existing aggregate cancels it before any edge or sub-aggregate
@@ -707,7 +739,7 @@ const makeAggregate = (schema, config) => {
                 puts: [...g.items].sort((a, b) => Number(isRoot(b)) - Number(isRoot(a))),
                 deletes: [],
             }));
-            yield* writeTransactionGroups(client, tableConfig.name, ordered, aggregateName, {
+            yield* writeTransactionGroups(client, tableConfig.name, ordered, aggregateName, groupKeys, {
                 pkField: config.pk.field,
                 entityType: config.root.entityType,
                 key: { [config.pk.field]: pkValue, sk: rootSk },
@@ -715,7 +747,7 @@ const makeAggregate = (schema, config) => {
             return decoded;
         }),
         update: (key, mutationFn) => Effect.gen(function* () {
-            const { client, tableConfig, pkValue, allItems } = yield* fetchPartition(key);
+            const { client, tableConfig, pkValue, allItems } = yield* fetchPartition(key, "update");
             if (allItems.length === 0) {
                 return yield* new AggregateAssemblyError({
                     aggregate: aggregateName,
@@ -775,7 +807,9 @@ const makeAggregate = (schema, config) => {
             //    PUTs and would otherwise clobber it. The old set is only mined for
             //    (pk, sk) delete keys, so it is never stamped.
             const now = yield* DateTime.now;
-            const newDynamo = buildDynamoItems(newGroups, config, pkValue, KeyComposer.extractComposites(config.collection.sk?.composite ?? [], keyRecord(assembledNew)), keyRecord, stampFor(now, readExistingCreated(allItems)));
+            // Packed AFTER the group diff above compared the decomposed values, so
+            // an unchanged packed value is never rewritten (#147).
+            const newDynamo = buildDynamoItems(yield* packAggregateGroups(newGroups, packedByType, aggregateName, "update"), config, pkValue, KeyComposer.extractComposites(config.collection.sk?.composite ?? [], keyRecord(assembledNew)), keyRecord, stampFor(now, readExistingCreated(allItems)));
             const oldDynamo = buildDynamoItems(oldGroups, config, pkValue, KeyComposer.extractComposites(config.collection.sk?.composite ?? [], keyRecord(assembledOld)), keyRecord);
             const skOf = (item) => item.sk?.S ?? "";
             const newItemsByGroup = new Map(newDynamo.map((g) => [g.group, g.items]));
@@ -811,12 +845,18 @@ const makeAggregate = (schema, config) => {
                 groupWrites.push({ group: name, puts, deletes });
             }
             if (groupWrites.length > 0) {
-                yield* writeTransactionGroups(client, tableConfig.name, groupWrites, aggregateName);
+                yield* writeTransactionGroups(client, tableConfig.name, groupWrites, aggregateName, groupKeys);
             }
             return decoded;
         }),
         delete: (key) => Effect.gen(function* () {
-            const { client, tableConfig, allItems } = yield* fetchPartition(key);
+            const { client, tableConfig, allItems } = yield* readPartitionRaw(key, 
+            // `delete` declares no `ValidationError`: a rejected read keeps
+            // DynamoDB's own tag, its message explained.
+            (diagnosis, original) => new DynamoValidationError({
+                operation: "Query",
+                cause: assemblyReadCause("delete", diagnosis, original),
+            }));
             if (allItems.length === 0) {
                 return yield* new AggregateAssemblyError({
                     aggregate: aggregateName,
@@ -908,7 +948,7 @@ const makeAggregate = (schema, config) => {
                         accept: options?.filterBy,
                         reverse: options?.reverse === true,
                         keyFields: listKeyFields,
-                    });
+                    }, aggregateName);
                 });
                 const shardResults = yield* Effect.all(shardQueries);
                 const merged = shardResults.flatMap((r) => r.items);
@@ -932,7 +972,7 @@ const makeAggregate = (schema, config) => {
                     accept: options?.filterBy,
                     reverse: options?.reverse === true,
                     keyFields: listKeyFields,
-                });
+                }, aggregateName);
                 rootItems = result.items;
                 nextKey = result.lastKey;
             }
@@ -944,7 +984,7 @@ const makeAggregate = (schema, config) => {
                     key[composite] = rootItem[composite];
                 }
                 const assembled = yield* Effect.gen(function* () {
-                    const { allItems } = yield* fetchPartition(key);
+                    const { allItems } = yield* fetchPartition(key, "list");
                     if (allItems.length === 0)
                         return undefined;
                     const result = yield* assembleAggregate(decodeSchema, rootNode, allItems, contextFields, key, aggregateName, systemAttrs);
@@ -1020,6 +1060,56 @@ const deepEqualGroups = (a, b) => {
         return deepEqual(item.attributes, other.attributes);
     });
 };
+/**
+ * The edge entity's packed fields that are top-level attributes of the node's
+ * items (`itemFields`), refusing one that is a discriminator or a declared
+ * sort-key composite (`[EDD-9072]`): those are compared and composed as scalar
+ * stored values.
+ */
+const edgePackedFields = (edgeName, entity, itemFields, discriminator, skComposite) => {
+    if (entity === undefined)
+        return undefined;
+    const configured = DynamoModel.getPackedFields(entity.model);
+    const packed = {};
+    for (const [field, storedAs] of Object.entries(configured)) {
+        if (itemFields !== undefined && !(field in itemFields))
+            continue;
+        if (discriminator !== undefined && field in discriminator) {
+            throw new Error(`[EDD-9072] Aggregate edge "${edgeName}": discriminator "${field}" is a packed field of ` +
+                `entity "${entity.entityType}". A discriminator is matched as a scalar stored value.`);
+        }
+        if ((skComposite ?? []).some((path) => path.split(".")[0] === field)) {
+            throw new Error(`[EDD-9072] Aggregate edge "${edgeName}": sort-key composite "${field}" is a packed field ` +
+                `of entity "${entity.entityType}". Key composites must be scalar model values.`);
+        }
+        packed[field] = storedAs;
+    }
+    return Object.keys(packed).length > 0 ? packed : undefined;
+};
+/**
+ * The attributes of an edge entity's items a reader dispatches on by stored
+ * form: its packed ones, plus every non-sparse field of the item whose encoded
+ * side is object- or array-shaped (a native value of it is never `S` or `B`) —
+ * the edge counterpart of an entity's `dispatchAttributes`.
+ */
+const edgeDispatchFields = (entity, itemFields, packed) => {
+    if (entity === undefined)
+        return undefined;
+    const sparse = DynamoModel.getSparseFields(entity.model);
+    const dispatch = new Set(Object.keys(packed ?? {}));
+    for (const [field, schema] of Object.entries(itemFields ?? {})) {
+        if (field in sparse)
+            continue;
+        if (isDispatchEligible(schema))
+            dispatch.add(field);
+    }
+    return dispatch.size > 0 ? [...dispatch] : undefined;
+};
+/** A node's packed and stored-form-dispatch attributes, as `resolveNode` args. */
+const edgeStorage = (packed, entity, itemFields) => ({
+    packed,
+    dispatch: edgeDispatchFields(entity, itemFields, packed),
+});
 const resolveNode = (args) => {
     const { assemble, cardinality, attrEncoders, decompose, discriminator, edges, entityType, fieldName, keyAttrEncoders, ownDiscriminator, parentFields, refIdentifierField, resolveRef, skComposite, } = args;
     const children = [];
@@ -1046,6 +1136,7 @@ const resolveNode = (args) => {
                     discriminator: mergedDisc,
                     ownDiscriminator: edge.discriminator,
                     attrEncoders: buildAttrEncoders(valueFields, resolveRef),
+                    ...edgeStorage(edgePackedFields(field, edge.entity, valueFields, edge.discriminator, undefined), edge.entity, valueFields),
                 }));
             }
             else if (edge._tag === "ManyEdge") {
@@ -1075,6 +1166,7 @@ const resolveNode = (args) => {
                     refIdentifierField: edge.entity
                         ? DynamoModel.getIdentifierField(edge.entity.model)?.name
                         : undefined,
+                    ...edgeStorage(edgePackedFields(field, edge.entity, elementFields, discriminator, edge.sk?.composite), edge.entity, elementFields),
                 }));
             }
             else if (edge._tag === "BoundSubAggregate") {
@@ -1118,21 +1210,105 @@ const resolveNode = (args) => {
         ...(decompose !== undefined && { decompose }),
         ...(skComposite !== undefined && { skComposite }),
         ...(refIdentifierField !== undefined && { refIdentifierField }),
+        ...(args.packed !== undefined && { packed: args.packed }),
+        ...(args.dispatch !== undefined && { dispatch: args.dispatch }),
         attrEncoders,
         ...(keyAttrEncoders !== undefined && { keyAttrEncoders }),
     };
 };
 // ---------------------------------------------------------------------------
+// Internal: packed edge attributes (#147)
+// ---------------------------------------------------------------------------
+/** Every node's packed attributes, by the entity type of its items. */
+const collectPackedByType = (root) => {
+    const out = new Map();
+    const walk = (node) => {
+        if (node.packed !== undefined) {
+            out.set(node.entityType, { ...(out.get(node.entityType) ?? {}), ...node.packed });
+        }
+        for (const child of node.children)
+            walk(child);
+    };
+    walk(root);
+    return out;
+};
+/** Every node's stored-form-dispatch attributes, by the entity type of its items. */
+const collectDispatchByType = (root) => {
+    const out = new Map();
+    const walk = (node) => {
+        if (node.dispatch !== undefined) {
+            const attrs = out.get(node.entityType) ?? new Set();
+            for (const attr of node.dispatch)
+                attrs.add(attr);
+            out.set(node.entityType, attrs);
+        }
+        for (const child of node.children)
+            walk(child);
+    };
+    walk(root);
+    return new Map([...out].map(([type, attrs]) => [type, [...attrs]]));
+};
+/** The decomposed groups with each item's packed attributes in their stored form. */
+const packAggregateGroups = (groups, packedByType, aggregateName, operation) => packedByType.size === 0
+    ? Effect.succeed(groups)
+    : withRegistry((registry) => {
+        const packedGroups = [];
+        for (const group of groups) {
+            const items = [];
+            for (const item of group.items) {
+                const packed = packedByType.get(item.entityType);
+                if (packed === undefined) {
+                    items.push(item);
+                    continue;
+                }
+                const attributes = { ...item.attributes };
+                const failure = packItemSync(attributes, packed, registry, {
+                    entityType: `${aggregateName}.${item.member}`,
+                    operation: `aggregate.${operation}.packed`,
+                });
+                if (failure !== undefined)
+                    return failure;
+                items.push({ ...item, attributes });
+            }
+            packedGroups.push({ ...group, items });
+        }
+        return packedGroups;
+    });
+/**
+ * Read, in place, each item's dispatch attributes by their stored form — by
+ * what is stored, whatever the edge entity configures now. A row with no
+ * string or binary value on any of them costs one `typeof` per attribute.
+ * One Effect for the whole partition; the work inside is synchronous.
+ */
+const unpackAggregateItems = (items, dispatchByType, aggregateName) => dispatchByType.size === 0
+    ? Effect.void
+    : withRegistry((registry) => {
+        for (const item of items) {
+            const dispatch = dispatchByType.get(item.__edd_e__);
+            if (dispatch === undefined || !hasStoredForm(item, dispatch))
+                continue;
+            const failure = unpackItemSync(item, dispatch, registry, {
+                entityType: `${aggregateName}.${String(item.__edd_e__)}`,
+                operation: "aggregate.decode",
+            });
+            if (failure !== undefined)
+                return failure;
+        }
+        return undefined;
+    });
+// ---------------------------------------------------------------------------
 // Internal: Query all items in the aggregate partition
 // ---------------------------------------------------------------------------
-const queryAllItems = (client, tableName, indexName, pkField, pkValue, consistentRead) => Effect.gen(function* () {
+const queryAllItems = (client, tableName, indexName, pkField, pkValue, consistentRead, 
+/** A consistent read of a GSI, which DynamoDB rejects, as the caller names it (#144). */
+consistentReadRejected) => Effect.gen(function* () {
     const allItems = [];
     let exclusiveStartKey;
     // Paginate through all results. Assembly needs every item in the partition and
     // discriminates them by `__edd_e__`, so there is no sort-key condition and no
     // ordering requirement — which is why `IndexName` is optional here.
     do {
-        const result = yield* client.query({
+        const input = {
             TableName: tableName,
             IndexName: indexName,
             KeyConditionExpression: "#pk = :pk",
@@ -1140,7 +1316,12 @@ const queryAllItems = (client, tableName, indexName, pkField, pkValue, consisten
             ExpressionAttributeValues: { ":pk": toAttributeValue(pkValue) },
             ExclusiveStartKey: exclusiveStartKey,
             ConsistentRead: consistentRead || undefined,
-        });
+        };
+        const result = yield* client.query(input).pipe(diagnoseFailure({
+            sent: () => ({ _tag: "Read", scan: false, input }),
+            only: ["ConsistentReadOnGsi"],
+            rewrite: consistentReadRejected,
+        }));
         if (result.Items) {
             for (const item of result.Items) {
                 allItems.push(fromAttributeMap(item));
@@ -1996,24 +2177,14 @@ keyRecord, stamp) => groups.map((group) => ({
         return toAttributeMap(attrs);
     }),
 }));
-function writeTransactionGroups(client, tableName, groups, aggregateName, rootGuard) {
+function writeTransactionGroups(client, tableName, groups, aggregateName, keys, rootGuard) {
     return Effect.gen(function* () {
-        // Validate ALL group sizes BEFORE writing any group. Each group is its own
-        // transaction (DynamoDB: 100 items per TransactWriteItems), and the per-group
-        // count now spans Puts AND Deletes together — so an `update` that both adds and
-        // removes many edges roughly doubles the count. Checking up front means an
-        // oversized later group fails fast instead of partially committing earlier ones.
-        for (const group of groups) {
-            const itemCount = group.puts.length + group.deletes.length;
-            if (itemCount > 100) {
-                return yield* new AggregateTransactionOverflow({
-                    aggregate: aggregateName,
-                    subgraph: group.group,
-                    itemCount,
-                    limit: 100,
-                });
-            }
-        }
+        // Each group is its own transaction (DynamoDB: 100 items per
+        // TransactWriteItems, Puts AND Deletes together). DynamoDB's limits are
+        // not pre-checked (#144): a group over one is sent, rejected whole, and
+        // diagnosed — naming the sub-aggregates earlier groups already committed,
+        // since a multi-group write was never atomic.
+        const committed = [];
         for (const [groupIndex, group] of groups.entries()) {
             // Each group is one transaction — Puts AND Deletes applied atomically, so an
             // edge add and a sibling edge removal in the same sub-aggregate commit together.
@@ -2040,7 +2211,45 @@ function writeTransactionGroups(client, tableName, groups, aggregateName, rootGu
                 })),
                 ...group.deletes.map((key) => ({ Delete: { TableName: tableName, Key: key } })),
             ];
-            yield* client.transactWriteItems({ TransactItems: transactItems }).pipe(Effect.mapError((error) => {
+            // Named once, for both diagnoses below.
+            const sent = () => ({
+                _tag: "Transaction",
+                items: transactItems,
+                targets: () => transactItems.map((item) => {
+                    const entityType = item.Put?.Item?.__edd_e__?.S ?? aggregateName;
+                    return transactItemTarget(item, tableName, [keys.pkField, "sk"], entityType, `the ${item.Put !== undefined ? entityType : "removed"} item of ` +
+                        `sub-aggregate "${group.group}"`);
+                }),
+            });
+            const already = [...committed];
+            const diagnosed = (diagnosis, original) => diagnosis._tag === "TooManyItems"
+                ? new AggregateTransactionOverflow({
+                    aggregate: aggregateName,
+                    subgraph: group.group,
+                    itemCount: diagnosis.count,
+                    limit: diagnosis.limit,
+                    committed: already,
+                    operation: rootGuard !== undefined ? "create" : "update",
+                    cause: original,
+                })
+                : diagnosedValidationError(diagnosis, original, {
+                    operation: `Aggregate.write(${aggregateName})`,
+                    entityType: aggregateName,
+                    // Each group commits on its own: say exactly what already did.
+                    ...(already.length > 0 && {
+                        committed: `earlier transactions of this write already committed sub-aggregates ` +
+                            already.map((name) => `"${name}"`).join(", ") +
+                            (rootGuard !== undefined
+                                ? ", so a retried create fails on the existing root: update or delete " +
+                                    "the partial aggregate instead"
+                                : ""),
+                    }),
+                });
+            yield* client.transactWriteItems({ TransactItems: transactItems }).pipe(
+            // One operation per item (#144): diagnosed BEFORE the root guard's
+            // mapping, which would read a repeat's conditional failure as an
+            // existing root.
+            diagnoseFailure({ sent, only: ["RepeatedItem"], rewrite: diagnosed }), Effect.mapError((error) => {
                 if (error.cause != null &&
                     typeof error.cause === "object" &&
                     "name" in error.cause &&
@@ -2064,7 +2273,11 @@ function writeTransactionGroups(client, tableName, groups, aggregateName, rootGu
                     });
                 }
                 return error;
-            }));
+            }), 
+            // A limit DynamoDB enforced (#144), named — after the root guard's
+            // mapping, which a conditional failure always takes.
+            diagnoseFailure({ sent, keys: () => keys.keys, rewrite: diagnosed }));
+            committed.push(group.group);
         }
     });
 }
@@ -2089,6 +2302,9 @@ const deleteAllItems = (client, tableName, allItems, pkField) => Effect.gen(func
         let pending = deleteRequests.slice(i, i + 25);
         let retries = 0;
         while (pending.length > 0) {
+            // Not diagnosed (#144): these are deletes of keys that were stored, so
+            // they cannot meet a size or sort-key limit, and `delete`'s error
+            // channel has no `ValidationError` to carry one.
             const response = yield* client.batchWriteItem({
                 RequestItems: { [tableName]: pending },
             });
@@ -2121,8 +2337,9 @@ const DELETE_BASE_DELAY_MS = 100;
  * the same thing here as they do on an entity query, under the same empty-part
  * rules (#134): a filter that asserts nothing (`{}`, `and()`) is no filter, an
  * empty part directly under `and` is left out, and one anywhere else — or an
- * `or()` with no parts, or an `isIn` with no values — is refused with a
- * `ValidationError` before anything is sent.
+ * `or()` with no parts — is refused with a `ValidationError` before anything
+ * is sent. An `isIn` with no values is sent, and DynamoDB's rejection of its
+ * `IN ()` diagnosed (#144).
  */
 const compileListFilter = (filter, aggregateName) => {
     if (filter === undefined)
@@ -2173,7 +2390,7 @@ const listKeyFromItem = (item, names) => {
     }
     return key;
 };
-const queryListPartition = (client, tableConfig, listConfig, schema, options) => Effect.gen(function* () {
+const queryListPartition = (client, tableConfig, listConfig, schema, options, aggregateName) => Effect.gen(function* () {
     const { filter, limit, pkValue, skValues } = options;
     const exprNames = { "#pk": listConfig.pk.field };
     const exprValues = { ":pk": toAttributeValue(pkValue) };
@@ -2196,7 +2413,7 @@ const queryListPartition = (client, tableConfig, listConfig, schema, options) =>
     for (;;) {
         const remaining = limit === undefined ? undefined : limit - items.length;
         const requestLimit = listRequestLimit(options, remaining);
-        const result = yield* client.query({
+        const input = {
             TableName: tableConfig.name,
             IndexName: listConfig.index,
             KeyConditionExpression: keyCondition,
@@ -2206,7 +2423,19 @@ const queryListPartition = (client, tableConfig, listConfig, schema, options) =>
             ...(filter !== undefined ? { FilterExpression: filter.expression } : {}),
             ...(requestLimit !== undefined ? { Limit: requestLimit } : {}),
             ...(options.reverse === true ? { ScanIndexForward: false } : {}),
-        });
+        };
+        const result = yield* client.query(input).pipe(
+        // DynamoDB's rejection of the filter's `IN ()` (an `isIn` with no
+        // values), not pre-checked, is named (#144).
+        diagnoseFailure({
+            sent: () => ({ _tag: "Read", scan: false, input }),
+            only: ["EmptyIn"],
+            rewrite: (diagnosis, original) => new ValidationError({
+                entityType: aggregateName,
+                operation: "list.filter",
+                cause: withCause(explainDiagnosis(diagnosis, `Aggregate "${aggregateName}" list`), original),
+            }),
+        }));
         const returned = (result.Items ?? []);
         const lastEvaluatedKey = result.LastEvaluatedKey;
         // Without a client-side predicate every returned row is kept, so the take