effect-dynamodb 1.14.0 → 1.16.0

package/dist/internal/TransactWriteOps.js

@@ -14,34 +14,68 @@ import { ValidationError } from "@effect-dynamodb/schema/Errors.js";
 import { Effect } from "effect";
 import { extractTransactable } from "../Entity.js";
 import { toAttributeMap } from "../Marshaller.js";
-import { composePrimaryKey, resolveTableNames, validateAndBuildPutItem } from "./TransactableOps.js";
+import { resolveTtlAttributeName } from "../Table.js";
+import { compileExpr, isExpr, parseShorthand } from "./Expr.js";
+import { composePrimaryKey, rejectUnsupportedOp, resolveTableNames, validateAndBuildPutItem, } from "./TransactableOps.js";
 // ---------------------------------------------------------------------------
 // ConditionCheck — composable from EntityGet + condition expression
 // ---------------------------------------------------------------------------
 /** @internal */
 export const ConditionCheckTypeId = Symbol.for("effect-dynamodb/ConditionCheck");
-// ---------------------------------------------------------------------------
-// buildTransactWriteItems
-// ---------------------------------------------------------------------------
+/**
+ * Compile an op-attached condition (`Entity.create()`'s `attribute_not_exists`,
+ * `.condition(...)`, `Entity.condition(...)`) into a DynamoDB expression.
+ * `resolveDbName` maps domain field names to their stored attribute names.
+ */
+const compileOpCondition = (entity, cond) => {
+    if (cond === undefined)
+        return undefined;
+    const expr = isExpr(cond) ? cond : parseShorthand(cond);
+    return compileExpr(expr, entity._resolveDbName);
+};
+/**
+ * Spread a compiled condition onto a `Put` / `Delete` / `ConditionCheck` entry.
+ * `ExpressionAttributeValues` is omitted when empty — DynamoDB rejects an empty
+ * map, and value-free conditions (`attribute_not_exists`, `attribute_exists`)
+ * produce one.
+ */
+const conditionFields = (condition) => condition === undefined
+    ? {}
+    : {
+        ConditionExpression: condition.expression,
+        ExpressionAttributeNames: condition.names,
+        ...(Object.keys(condition.values).length > 0
+            ? { ExpressionAttributeValues: condition.values }
+            : {}),
+    };
 /**
  * Compile a list of Entity write ops into marshalled `TransactWriteItems` entries,
- * preserving caller order (positions are load-bearing: `EventStore.append` maps
- * `CancellationReasons` back to `additionalItems` indices by position).
+ * preserving caller order.
+ *
+ * **One caller op may emit several items.** A `put` of an entity with `unique`
+ * constraints or `versioned: { retain: true }` expands into the main item plus
+ * one guarded sentinel per satisfiable constraint plus the v1 snapshot — all
+ * derived from the payload, so no read is needed (#113). `provenance` records
+ * which caller op each emitted item belongs to; consumers that map cancellation
+ * reasons positionally MUST use it instead of assuming 1:1.
  *
  * Does NOT enforce `TRANSACT_WRITE_ITEMS_LIMIT` — the caller counts, because the
  * total may include items this builder never sees (event puts, dedup sentinels).
+ * Callers must count the EXPANDED `items.length`, not `operations.length`.
  */
 export const buildTransactWriteItems = (operations, operation) => Effect.gen(function* () {
     if (operations.length === 0)
-        return [];
+        return { items: [], provenance: [] };
     const opInfos = [];
-    for (const op of operations) {
+    for (let opIndex = 0; opIndex < operations.length; opIndex++) {
+        const op = operations[opIndex];
         // Check for ConditionCheckOp first (has its own TypeId)
         if (op != null && typeof op === "object" && ConditionCheckTypeId in op) {
             const checkOp = op;
             opInfos.push({
                 type: "conditionCheck",
                 entity: checkOp._entity,
+                opIndex,
                 key: checkOp._key,
                 condition: checkOp._condition,
             });
@@ -56,10 +90,24 @@ export const buildTransactWriteItems = (operations, operation) => Effect.gen(fun
             });
         }
         if (info.opType === "put") {
-            opInfos.push({ type: "put", entity: info.entity, input: info.input });
+            yield* rejectUnsupportedOp(info.entity, operation, "put", info.putKind);
+            opInfos.push({
+                type: "put",
+                entity: info.entity,
+                opIndex,
+                input: info.input,
+                condition: compileOpCondition(info.entity, info.condition),
+            });
         }
         else if (info.opType === "delete") {
-            opInfos.push({ type: "delete", entity: info.entity, key: info.key });
+            yield* rejectUnsupportedOp(info.entity, operation, "delete", undefined);
+            opInfos.push({
+                type: "delete",
+                entity: info.entity,
+                opIndex,
+                key: info.key,
+                condition: compileOpCondition(info.entity, info.condition),
+            });
         }
         else {
             return yield* new ValidationError({
@@ -70,33 +118,63 @@ export const buildTransactWriteItems = (operations, operation) => Effect.gen(fun
         }
     }
     const tableNames = yield* resolveTableNames(opInfos);
-    const transactItems = [];
+    const items = [];
+    const provenance = [];
+    const push = (item, from) => {
+        items.push(item);
+        provenance.push(from);
+    };
     for (const op of opInfos) {
         const tableName = tableNames.get(op.entity);
         if (op.type === "put") {
-            const marshalledItem = yield* validateAndBuildPutItem(op.entity, op.input, `${operation}.put`);
-            transactItems.push({ Put: { TableName: tableName, Item: marshalledItem } });
+            const built = yield* validateAndBuildPutItem(op.entity, op.input, `${operation}.put`);
+            push({
+                Put: {
+                    TableName: tableName,
+                    Item: built.marshalled,
+                    ...conditionFields(op.condition),
+                },
+            }, { opIndex: op.opIndex, kind: "main", entityType: op.entity.entityType });
+            // Uniqueness sentinels + the v1 retain snapshot. Emitted immediately
+            // after their item so a reader of the request sees them as one group;
+            // `provenance` is what actually carries the association.
+            const ttlAttrName = resolveTtlAttributeName(yield* op.entity._tableTag);
+            for (const side of op.entity._buildPutSideItems(built.item, built.now, ttlAttrName)) {
+                push({
+                    Put: {
+                        TableName: tableName,
+                        Item: toAttributeMap(side.item),
+                        ...(side.guard ?? {}),
+                    },
+                }, {
+                    opIndex: op.opIndex,
+                    kind: side.kind,
+                    constraintName: side.constraintName,
+                    fields: side.fields,
+                    entityType: op.entity.entityType,
+                });
+            }
         }
         else if (op.type === "delete") {
-            transactItems.push({
+            push({
                 Delete: {
                     TableName: tableName,
                     Key: toAttributeMap(composePrimaryKey(op.entity, op.key)),
+                    ...conditionFields(op.condition),
                 },
-            });
+            }, { opIndex: op.opIndex, kind: "main", entityType: op.entity.entityType });
         }
         else {
-            transactItems.push({
+            push({
                 ConditionCheck: {
                     TableName: tableName,
                     Key: toAttributeMap(composePrimaryKey(op.entity, op.key)),
                     ConditionExpression: op.condition.expression,
-                    ExpressionAttributeNames: op.condition.names,
-                    ExpressionAttributeValues: op.condition.values,
+                    ...conditionFields(op.condition),
                 },
-            });
+            }, { opIndex: op.opIndex, kind: "main", entityType: op.entity.entityType });
         }
     }
-    return transactItems;
+    return { items, provenance };
 });
 //# sourceMappingURL=TransactWriteOps.js.map

package/dist/internal/TransactWriteOps.js.map

@@ -1 +1 @@
-{"version":3,"file":"TransactWriteOps.js","sourceRoot":"","sources":["../../src/internal/TransactWriteOps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACnE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AAElD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAEjD,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAA;AAEpG,8EAA8E;AAC9E,oEAAoE;AACpE,8EAA8E;AAE9E,gBAAgB;AAChB,MAAM,CAAC,MAAM,oBAAoB,GAAkB,MAAM,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAA;AA4B/F,8EAA8E;AAC9E,0BAA0B;AAC1B,8EAA8E;AAE9E;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,UAA0C,EAC1C,SAAiB,EACsD,EAAE,CACzE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAEtC,MAAM,OAAO,GAMR,EAAE,CAAA;IAEP,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,wDAAwD;QACxD,IAAI,EAAE,IAAI,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,oBAAoB,IAAI,EAAE,EAAE,CAAC;YACvE,MAAM,OAAO,GAAG,EAAsB,CAAA;YACtC,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,OAAO,CAAC,OAAO;gBACvB,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,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAM,EAAE,CAAC,CAAA;QACxE,CAAC;aAAM,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACpC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC,GAAI,EAAE,CAAC,CAAA;QACvE,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,aAAa,GAA6B,EAAE,CAAA;IAElD,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAE,CAAA;QAE5C,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACtB,MAAM,cAAc,GAAG,KAAK,CAAC,CAAC,uBAAuB,CACnD,EAAE,CAAC,MAAM,EACT,EAAE,CAAC,KAAM,EACT,GAAG,SAAS,MAAM,CACnB,CAAA;YACD,aAAa,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,CAAC,CAAA;QAC7E,CAAC;aAAM,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAChC,aAAa,CAAC,IAAI,CAAC;gBACjB,MAAM,EAAE;oBACN,SAAS,EAAE,SAAS;oBACpB,GAAG,EAAE,cAAc,CAAC,iBAAiB,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,GAAI,CAAC,CAAC;iBAC3D;aACF,CAAC,CAAA;QACJ,CAAC;aAAM,CAAC;YACN,aAAa,CAAC,IAAI,CAAC;gBACjB,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,wBAAwB,EAAE,EAAE,CAAC,SAAU,CAAC,KAAK;oBAC7C,yBAAyB,EAAE,EAAE,CAAC,SAAU,CAAC,MAAM;iBAChD;aACF,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,OAAO,aAAa,CAAA;AACtB,CAAC,CAAC,CAAA"}
+{"version":3,"file":"TransactWriteOps.js","sourceRoot":"","sources":["../../src/internal/TransactWriteOps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACnE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,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,WAAW,EAAa,MAAM,EAAE,cAAc,EAAE,MAAM,WAAW,CAAA;AAC1E,OAAO,EACL,iBAAiB,EACjB,mBAAmB,EACnB,iBAAiB,EACjB,uBAAuB,GACxB,MAAM,sBAAsB,CAAA;AAE7B,8EAA8E;AAC9E,oEAAoE;AACpE,8EAA8E;AAE9E,gBAAgB;AAChB,MAAM,CAAC,MAAM,oBAAoB,GAAkB,MAAM,CAAC,GAAG,CAAC,gCAAgC,CAAC,CAAA;AAkC/F;;;;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;;;;;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;AAkCP;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,UAA0C,EAC1C,SAAiB,EACqD,EAAE,CACxE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,EAAE,CAAA;IAEjE,MAAM,OAAO,GAQR,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,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,CAAC,CAAA;YACvE,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,KAAK;gBACX,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;aAC3D,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,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,MAAM,IAAI,GAAG,CAAC,IAAuB,EAAE,IAAoB,EAAE,EAAE;QAC7D,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACvB,CAAC,CAAA;IAED,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAE,CAAA;QAE5C,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,CACF;gBACE,GAAG,EAAE;oBACH,SAAS,EAAE,SAAS;oBACpB,IAAI,EAAE,KAAK,CAAC,UAAU;oBACtB,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;YAED,qEAAqE;YACrE,sEAAsE;YACtE,yDAAyD;YACzD,MAAM,WAAW,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAA;YACvE,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,EAAE,WAAW,CAAC,EAAE,CAAC;gBACpF,IAAI,CACF;oBACE,GAAG,EAAE;wBACH,SAAS,EAAE,SAAS;wBACpB,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC/B,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;qBACtB;iBACF,EACD;oBACE,OAAO,EAAE,EAAE,CAAC,OAAO;oBACnB,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,cAAc,EAAE,IAAI,CAAC,cAAc;oBACnC,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU;iBACjC,CACF,CAAA;YACH,CAAC;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,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA;AAC9B,CAAC,CAAC,CAAA"}

package/dist/internal/TransactableOps.d.ts

@@ -20,6 +20,64 @@ import type { Entity } from "../Entity.js";
  * Batch/Transaction path so both produce identical timestamps.
  */
 export declare const generateTimestampPrimitive: (now: DateTime.Utc, encoding: DynamoEncoding | null) => string | number;
+/**
+ * `Batch.write` cannot host the multi-item lifecycle features that apply to the
+ * direction being written (EDD-9049). This is a different judgement from the
+ * transact path's: there, a `put`'s side items are derivable and get emitted;
+ * here `BatchWriteItem` structurally cannot express them at all.
+ *
+ *   - **No `ConditionExpression`.** A uniqueness sentinel is only a constraint
+ *     because of `attribute_not_exists(pk)`. Writing one without the guard would
+ *     overwrite another row's reservation and enforce nothing — strictly worse
+ *     than writing none, because the table would then *look* guarded.
+ *   - **No atomicity.** A sentinel or snapshot that lands without its item (or
+ *     an item without them) is a corrupt partition, and `Batch.write` chunks at
+ *     25, so related items can even land in different requests.
+ *   - **No `UpdateRequest`.** A soft-delete tombstone is a relocation
+ *     (delete + put at a new sort key); a batch cannot make that one unit.
+ *
+ * **Direction matters.** `softDelete` changes only the delete path — a `put` of
+ * a soft-deletable entity is an ordinary single-item put and is allowed. Gating
+ * it on the put side would reject writes that have always been correct.
+ *
+ * Returns `undefined` when the entity is safe for `Batch.write` in `opType`.
+ */
+export declare const batchRejectReason: (entity: Entity, opType: "put" | "delete") => string | undefined;
+/**
+ * Reject an op whose semantics the `TransactWriteItems` / `BatchWriteItem`
+ * compile path cannot faithfully reproduce.
+ *
+ * Both paths turn an entity op into a single self-contained `Put` / `Delete`
+ * built from the encoded input. That is exactly right for a plain `put` /
+ * `delete`, and wrong — silently — for anything whose contract needs a
+ * different DynamoDB verb, extra items, or a service the compile step does not
+ * have. Loud beats silent (#100).
+ *
+ * **What this gate covers.** Cases that are silently wrong (`upsert` — see
+ * `PutKind`) or that cannot be working for anyone today: a `refs` entity writes
+ * an item whose ref attribute is absent, so every later read fails to decode; a
+ * `generatedId` entity dies outright (no `Crypto` in scope); a vector-indexed
+ * entity writes an item with no embedding, so it silently drops out of the index.
+ *
+ * **The multi-item lifecycle features split by direction (#113).** `unique`,
+ * `versioned: { retain }` and `softDelete` all need MORE than one item per write.
+ * The line between "expand" and "reject" is whether the extra items are
+ * derivable from the caller's payload or only from stored state:
+ *
+ * - **put** — the sentinel and the v1 snapshot come from the payload being
+ *   written. `transactWrite` expands into them (`Entity._buildPutSideItems`).
+ * - **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. All three need a
+ *   read this path does not do (and a read would introduce a TOCTOU window that
+ *   only another ConditionCheck could close). Rejected with **EDD-9048**.
+ *
+ * `Batch.write` rejects BOTH directions (**EDD-9049**) — see `batchRejectReason`.
+ *
+ * `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) => Effect.Effect<void, ValidationError>;
 /**
  * Resolve table names for a set of entity infos, deduplicating by entity reference.
  */
@@ -37,6 +95,16 @@ export declare const composePrimaryKey: (entity: Entity, key: Record<string, unk
  * `Schema.encode(inputSchema)`, then assembles the DynamoDB item with system
  * fields and composite keys. Substituted self-date schemas + RedactedFromValue
  * are handled in the encode pass — no per-field serialization needed.
+ *
+ * Returns the unmarshalled `item` alongside the marshalled one, plus the `now`
+ * the timestamps were generated from. `Entity._buildPutSideItems` needs both to
+ * derive uniqueness sentinels and the v1 version snapshot from the same values
+ * that were written (#113), and re-deriving `now` there would risk a skew
+ * between an item's `createdAt` and its snapshot's TTL.
  */
-export declare const validateAndBuildPutItem: (entity: Entity, input: Record<string, unknown>, operation: string) => Effect.Effect<Record<string, import("@aws-sdk/client-dynamodb").AttributeValue>, ValidationError>;
+export declare const validateAndBuildPutItem: (entity: Entity, input: Record<string, unknown>, operation: string) => Effect.Effect<{
+    readonly item: Record<string, unknown>;
+    readonly marshalled: Record<string, import("@aws-sdk/client-dynamodb").AttributeValue>;
+    readonly now: DateTime.Utc;
+}, ValidationError>;
 //# sourceMappingURL=TransactableOps.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"TransactableOps.d.ts","sourceRoot":"","sources":["../../src/internal/TransactableOps.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACnE,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAA;AACrE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAG1C;;;;;;;;;GASG;AACH,eAAO,MAAM,0BAA0B,GACrC,KAAK,QAAQ,CAAC,GAAG,EACjB,UAAU,cAAc,GAAG,IAAI,KAC9B,MAAM,GAAG,MAaX,CAAA;AAED;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAAI,OAAO,aAAa,CAAC;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,wiBAU/E,CAAA;AAEJ;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,QAAQ,MAAM,EACd,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAC3B,MAAM,CAAC,MAAM,EAAE,OAAO,CAOxB,CAAA;AAED;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB,GAClC,QAAQ,MAAM,EACd,OAAO,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,WAAW,MAAM,KAChB,MAAM,CAAC,MAAM,CACd,MAAM,CAAC,MAAM,EAAE,OAAO,0BAA0B,EAAE,cAAc,CAAC,EACjE,eAAe,CAkEb,CAAA"}
+{"version":3,"file":"TransactableOps.d.ts","sourceRoot":"","sources":["../../src/internal/TransactableOps.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wCAAwC,CAAA;AAC5E,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACnE,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAA;AACrE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAA;AAG1C;;;;;;;;;GASG;AACH,eAAO,MAAM,0BAA0B,GACrC,KAAK,QAAQ,CAAC,GAAG,EACjB,UAAU,cAAc,GAAG,IAAI,KAC9B,MAAM,GAAG,MAaX,CAAA;AAYD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,iBAAiB,GAAI,QAAQ,MAAM,EAAE,QAAQ,KAAK,GAAG,QAAQ,KAAG,MAAM,GAAG,SAcrF,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,eAAO,MAAM,mBAAmB,GAC9B,QAAQ,MAAM,EACd,WAAW,MAAM,EACjB,QAAQ,KAAK,GAAG,QAAQ,EACxB,SAAS,KAAK,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,KAC/C,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CA4DrC,CAAA;AAED;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAAI,OAAO,aAAa,CAAC;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,wiBAU/E,CAAA;AAEJ;;GAEG;AACH,eAAO,MAAM,iBAAiB,GAC5B,QAAQ,MAAM,EACd,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAC3B,MAAM,CAAC,MAAM,EAAE,OAAO,CAaxB,CAAA;AAED;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,uBAAuB,GAClC,QAAQ,MAAM,EACd,OAAO,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC9B,WAAW,MAAM,KAChB,MAAM,CAAC,MAAM,CACd;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IACtC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,0BAA0B,EAAE,cAAc,CAAC,CAAA;IACtF,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAA;CAC3B,EACD,eAAe,CA8Eb,CAAA"}

package/dist/internal/TransactableOps.js

@@ -33,6 +33,117 @@ export const generateTimestampPrimitive = (now, encoding) => {
             return Math.floor(ms / 1000);
     }
 };
+/** Render the configured multi-item features for an error message. */
+const describeFeatures = (features) => {
+    const labels = features.map((f) => f === "unique" ? "`unique`" : f === "retain" ? "`versioned: { retain: true }`" : "`softDelete`");
+    return labels.length === 1
+        ? labels[0]
+        : `${labels.slice(0, -1).join(", ")} and ${labels[labels.length - 1]}`;
+};
+/**
+ * `Batch.write` cannot host the multi-item lifecycle features that apply to the
+ * direction being written (EDD-9049). This is a different judgement from the
+ * transact path's: there, a `put`'s side items are derivable and get emitted;
+ * here `BatchWriteItem` structurally cannot express them at all.
+ *
+ *   - **No `ConditionExpression`.** A uniqueness sentinel is only a constraint
+ *     because of `attribute_not_exists(pk)`. Writing one without the guard would
+ *     overwrite another row's reservation and enforce nothing — strictly worse
+ *     than writing none, because the table would then *look* guarded.
+ *   - **No atomicity.** A sentinel or snapshot that lands without its item (or
+ *     an item without them) is a corrupt partition, and `Batch.write` chunks at
+ *     25, so related items can even land in different requests.
+ *   - **No `UpdateRequest`.** A soft-delete tombstone is a relocation
+ *     (delete + put at a new sort key); a batch cannot make that one unit.
+ *
+ * **Direction matters.** `softDelete` changes only the delete path — a `put` of
+ * a soft-deletable entity is an ordinary single-item put and is allowed. Gating
+ * it on the put side would reject writes that have always been correct.
+ *
+ * Returns `undefined` when the entity is safe for `Batch.write` in `opType`.
+ */
+export const batchRejectReason = (entity, opType) => {
+    const features = entity._multiItemWriteFeatures.filter((f) => 
+    // `unique` and `retain` add items to BOTH directions (sentinel write /
+    // release, snapshot on create / on overwrite-and-delete). `softDelete` only
+    // ever changes a delete.
+    f === "softDelete" ? opType === "delete" : true);
+    if (features.length === 0)
+        return undefined;
+    return (`[EDD-9049] Batch.write cannot ${opType} an entity configured with ${describeFeatures(features)} — ` +
+        "BatchWriteItem has no ConditionExpression (which is the whole of a uniqueness " +
+        "sentinel's correctness), no UpdateRequest, and no atomicity across its 25-item " +
+        "chunks. Use Transaction.transactWrite, or the entity's own operation.");
+};
+/**
+ * Reject an op whose semantics the `TransactWriteItems` / `BatchWriteItem`
+ * compile path cannot faithfully reproduce.
+ *
+ * Both paths turn an entity op into a single self-contained `Put` / `Delete`
+ * built from the encoded input. That is exactly right for a plain `put` /
+ * `delete`, and wrong — silently — for anything whose contract needs a
+ * different DynamoDB verb, extra items, or a service the compile step does not
+ * have. Loud beats silent (#100).
+ *
+ * **What this gate covers.** Cases that are silently wrong (`upsert` — see
+ * `PutKind`) or that cannot be working for anyone today: a `refs` entity writes
+ * an item whose ref attribute is absent, so every later read fails to decode; a
+ * `generatedId` entity dies outright (no `Crypto` in scope); a vector-indexed
+ * entity writes an item with no embedding, so it silently drops out of the index.
+ *
+ * **The multi-item lifecycle features split by direction (#113).** `unique`,
+ * `versioned: { retain }` and `softDelete` all need MORE than one item per write.
+ * The line between "expand" and "reject" is whether the extra items are
+ * derivable from the caller's payload or only from stored state:
+ *
+ * - **put** — the sentinel and the v1 snapshot come from the payload being
+ *   written. `transactWrite` expands into them (`Entity._buildPutSideItems`).
+ * - **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. All three need a
+ *   read this path does not do (and a read would introduce a TOCTOU window that
+ *   only another ConditionCheck could close). Rejected with **EDD-9048**.
+ *
+ * `Batch.write` rejects BOTH directions (**EDD-9049**) — see `batchRejectReason`.
+ *
+ * `capability` names what the caller would have to give up, so the message can
+ * say why rather than just "unsupported".
+ */
+export const rejectUnsupportedOp = (entity, operation, opType, putKind) => {
+    const fail = (capability, reason) => new ValidationError({
+        entityType: entity.entityType,
+        operation,
+        cause: `${operation}: ${capability} is not supported here — ${reason}`,
+    });
+    // --- op-kind level -------------------------------------------------------
+    if (opType === "put" && putKind === "upsert") {
+        return Effect.fail(fail("upsert", "upsert is an UpdateItem whose SET clause uses if_not_exists for createdAt, " +
+            "immutable fields and the version counter. Compiling it as a Put would reset " +
+            "them. Use put() or create() here, or run the upsert as its own operation."));
+    }
+    // --- multi-item lifecycle, delete direction (EDD-9048) -------------------
+    // The put direction is EXPANDED instead — see the doc comment.
+    if (opType === "delete" && entity._multiItemWriteFeatures.length > 0) {
+        return Effect.fail(fail(`[EDD-9048] deleting an entity configured with ${describeFeatures(entity._multiItemWriteFeatures)}`, "the extra items a delete must write are derived from the STORED item — the sentinel " +
+            "to release is keyed by its unique values, a retain snapshot copies it, and a " +
+            "soft-delete tombstone is that row relocated to a new sort key. This path never " +
+            "reads, so it cannot build them. Run the delete as its own operation " +
+            "(db.entities.X.delete(...)), which reads the item first."));
+    }
+    // --- entity-configuration level -----------------------------------------
+    if (opType === "put" && entity._resolvedRefs.length > 0) {
+        return Effect.fail(fail("a ref", "write-time ref hydration reads the referenced entity, which this compile step " +
+            "cannot do; the ref attribute would be written empty."));
+    }
+    if (opType === "put" && entity.generatedId != null) {
+        return Effect.fail(fail("a generated id", "id generation needs the Crypto service, which is not in scope here."));
+    }
+    if (opType === "put" && Object.keys(entity._vectorIndexes ?? {}).length > 0) {
+        return Effect.fail(fail("a vector index", "computing the embedding needs the Embedder service, which is not in scope here; " +
+            "the item would be written without its vector and drop out of the index."));
+    }
+    return Effect.void;
+};
 /**
  * Resolve table names for a set of entity infos, deduplicating by entity reference.
  */
@@ -52,9 +163,15 @@ export const resolveTableNames = (infos) => Effect.gen(function* () {
 export const composePrimaryKey = (entity, key) => {
     const primary = entity.indexes.primary;
     const schema = entity._schema;
+    // The caller's key is a DOMAIN record (`{ takenAt: DateTime }`), and every
+    // `KeyComposer` input must first go through the composite key-form rule or it
+    // composes a different string than `Entity.put` wrote — a `DateEpochMs` PK
+    // composite made `Batch.get` return null and `Batch.write(delete)` report
+    // success against a row it never touched (#111).
+    const recordKeyForm = entity._keyForm(key);
     return {
-        [primary.pk.field]: KeyComposer.composePk(schema, entity.entityType, primary, key),
-        [primary.sk.field]: KeyComposer.composeSk(schema, entity.entityType, 1, primary, key),
+        [primary.pk.field]: KeyComposer.composePk(schema, entity.entityType, primary, recordKeyForm),
+        [primary.sk.field]: KeyComposer.composeSk(schema, entity.entityType, 1, primary, recordKeyForm),
     };
 };
 /**
@@ -64,6 +181,12 @@ export const composePrimaryKey = (entity, key) => {
  * `Schema.encode(inputSchema)`, then assembles the DynamoDB item with system
  * fields and composite keys. Substituted self-date schemas + RedactedFromValue
  * are handled in the encode pass — no per-field serialization needed.
+ *
+ * Returns the unmarshalled `item` alongside the marshalled one, plus the `now`
+ * the timestamps were generated from. `Entity._buildPutSideItems` needs both to
+ * derive uniqueness sentinels and the v1 version snapshot from the same values
+ * that were written (#113), and re-deriving `now` there would risk a skew
+ * between an item's `createdAt` and its snapshot's TTL.
  */
 export const validateAndBuildPutItem = (entity, input, operation) => Effect.gen(function* () {
     // Clock-backed time source resolved once per op; threaded into the sync
@@ -78,7 +201,11 @@ export const validateAndBuildPutItem = (entity, input, operation) => Effect.gen(
     })));
     const item = { ...encoded };
     item.__edd_e__ = entity.entityType;
-    const keys = KeyComposer.composeAllKeys(entity._schema, entity.entityType, 1, entity.indexes, encoded);
+    // Same normalisation `Entity.put` applies. Without it a `BigIntFromString`
+    // composite composed `txn_420` here and `txn_000…0420` there, so the two
+    // APIs wrote two different rows for the same logical item and neither
+    // accessor could read the transact-written one (#111).
+    const keys = KeyComposer.composeAllKeys(entity._schema, entity.entityType, 1, entity.indexes, entity._keyForm(encoded));
     Object.assign(item, keys);
     // System fields (collision-aware). When a timestamp field collides with a
     // model-declared field, the user may have supplied their own value
@@ -97,6 +224,13 @@ export const validateAndBuildPutItem = (entity, input, operation) => Effect.gen(
     }
     if (sf.version)
         item[sf.version] = 1;
+    // Rename domain fields to their stored attribute names, in the same
+    // position `Entity.put` does (after keys + system fields, before sparse
+    // flattening). Omitting it gave a `field:`-renamed entity a differently
+    // shaped item depending on whether `put` or `transactWrite` wrote it — and
+    // `_buildPutSideItems` derives the v1 retain snapshot from this same item,
+    // so the snapshot inherited the wrong shape too (#111).
+    entity._renameToDynamo(item);
     // Flatten sparse-map fields into per-entry top-level attributes. Throws
     // on invalid keys; surface as ValidationError at the entity boundary.
     try {
@@ -109,6 +243,6 @@ export const validateAndBuildPutItem = (entity, input, operation) => Effect.gen(
             cause: e instanceof Error ? e.message : String(e),
         });
     }
-    return toAttributeMap(item);
+    return { item, marshalled: toAttributeMap(item), now };
 });
 //# sourceMappingURL=TransactableOps.js.map

package/dist/internal/TransactableOps.js.map

@@ -1 +1 @@
-{"version":3,"file":"TransactableOps.js","sourceRoot":"","sources":["../../src/internal/TransactableOps.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACnE,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAA;AACrE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEjD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAEjD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,GAAiB,EACjB,QAA+B,EACd,EAAE;IACnB,IAAI,CAAC,QAAQ;QAAE,OAAO,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;IAC7C,MAAM,EAAE,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAA;IACtC,QAAQ,QAAQ,CAAC,OAAO,EAAE,CAAC;QACzB,KAAK,QAAQ;YACX,iEAAiE;YACjE,mEAAmE;YACnE,OAAO,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;QAChC,KAAK,SAAS;YACZ,OAAO,EAAE,CAAA;QACX,KAAK,cAAc;YACjB,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC,CAAA;IAChC,CAAC;AACH,CAAC,CAAA;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,KAAiD,EAAE,EAAE,CACrF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAA;YAC7C,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;QACnC,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAA;AACnB,CAAC,CAAC,CAAA;AAEJ;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,MAAc,EACd,GAA4B,EACH,EAAE;IAC3B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,OAAQ,CAAA;IACvC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAA;IAC7B,OAAO;QACL,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC;QAClF,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC;KACtF,CAAA;AACH,CAAC,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,MAAc,EACd,KAA8B,EAC9B,SAAiB,EAIjB,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,wEAAwE;IACxE,qEAAqE;IACrE,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAA;IAC/B,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,WAAgC,CAAA;IACnE,iEAAiE;IACjE,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CACxE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAChB,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CACjD,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,CAC9E,CACF,EACD,MAAM,CAAC,QAAQ,CACb,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,eAAe,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,SAAS;QACT,KAAK;KACN,CAAC,CACL,CACF,CAAA;IAED,MAAM,IAAI,GAA4B,EAAE,GAAI,OAAmC,EAAE,CAAA;IACjF,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,UAAU,CAAA;IAElC,MAAM,IAAI,GAAG,WAAW,CAAC,cAAc,CACrC,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,UAAU,EACjB,CAAC,EACD,MAAM,CAAC,OAAO,EACd,OAAkC,CACnC,CAAA;IACD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAEzB,0EAA0E;IAC1E,mEAAmE;IACnE,qEAAqE;IACrE,sBAAsB;IACtB,MAAM,EAAE,GAAG,MAAM,CAAC,YAAY,CAAA;IAC9B,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;QACjB,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,SAAS,EAAE,CAAC;YACrC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,0BAA0B,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAA;QAC5E,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;QACjB,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,SAAS,EAAE,CAAC;YACrC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,0BAA0B,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAA;QAC5E,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,OAAO;QAAE,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IAEpC,wEAAwE;IACxE,sEAAsE;IACtE,IAAI,CAAC;QACH,MAAM,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAA;IACrC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,KAAK,CAAC,CAAC,IAAI,eAAe,CAAC;YAChC,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,SAAS;YACT,KAAK,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;SAClD,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,cAAc,CAAC,IAAI,CAAC,CAAA;AAC7B,CAAC,CAAC,CAAA"}
+{"version":3,"file":"TransactableOps.js","sourceRoot":"","sources":["../../src/internal/TransactableOps.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAA;AACnE,OAAO,KAAK,WAAW,MAAM,wCAAwC,CAAA;AACrE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEjD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAEjD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,GAAiB,EACjB,QAA+B,EACd,EAAE;IACnB,IAAI,CAAC,QAAQ;QAAE,OAAO,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;IAC7C,MAAM,EAAE,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,CAAA;IACtC,QAAQ,QAAQ,CAAC,OAAO,EAAE,CAAC;QACzB,KAAK,QAAQ;YACX,iEAAiE;YACjE,mEAAmE;YACnE,OAAO,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;QAChC,KAAK,SAAS;YACZ,OAAO,EAAE,CAAA;QACX,KAAK,cAAc;YACjB,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,IAAI,CAAC,CAAA;IAChC,CAAC;AACH,CAAC,CAAA;AAED,sEAAsE;AACtE,MAAM,gBAAgB,GAAG,CAAC,QAA2D,EAAU,EAAE;IAC/F,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAChC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,cAAc,CAChG,CAAA;IACD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC;QACxB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE;QACZ,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAA;AAC1E,CAAC,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAc,EAAE,MAAwB,EAAsB,EAAE;IAChG,MAAM,QAAQ,GAAG,MAAM,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;IAC3D,uEAAuE;IACvE,4EAA4E;IAC5E,yBAAyB;IACzB,CAAC,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAChD,CAAA;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IAC3C,OAAO,CACL,iCAAiC,MAAM,8BAA8B,gBAAgB,CAAC,QAAQ,CAAC,KAAK;QACpG,gFAAgF;QAChF,iFAAiF;QACjF,uEAAuE,CACxE,CAAA;AACH,CAAC,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,MAAc,EACd,SAAiB,EACjB,MAAwB,EACxB,OAAgD,EACV,EAAE;IACxC,MAAM,IAAI,GAAG,CAAC,UAAkB,EAAE,MAAc,EAAE,EAAE,CAClD,IAAI,eAAe,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,SAAS;QACT,KAAK,EAAE,GAAG,SAAS,KAAK,UAAU,4BAA4B,MAAM,EAAE;KACvE,CAAC,CAAA;IAEJ,4EAA4E;IAC5E,IAAI,MAAM,KAAK,KAAK,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC7C,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,CACF,QAAQ,EACR,6EAA6E;YAC3E,8EAA8E;YAC9E,2EAA2E,CAC9E,CACF,CAAA;IACH,CAAC;IAED,4EAA4E;IAC5E,+DAA+D;IAC/D,IAAI,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrE,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,CACF,iDAAiD,gBAAgB,CAAC,MAAM,CAAC,uBAAuB,CAAC,EAAE,EACnG,sFAAsF;YACpF,+EAA+E;YAC/E,iFAAiF;YACjF,sEAAsE;YACtE,0DAA0D,CAC7D,CACF,CAAA;IACH,CAAC;IAED,2EAA2E;IAC3E,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,CACF,OAAO,EACP,gFAAgF;YAC9E,sDAAsD,CACzD,CACF,CAAA;IACH,CAAC;IACD,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,CAAC,WAAW,IAAI,IAAI,EAAE,CAAC;QACnD,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,CAAC,gBAAgB,EAAE,qEAAqE,CAAC,CAC9F,CAAA;IACH,CAAC;IACD,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5E,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,CACF,gBAAgB,EAChB,kFAAkF;YAChF,yEAAyE,CAC5E,CACF,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAA;AACpB,CAAC,CAAA;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,KAAiD,EAAE,EAAE,CACrF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAA;YAC7C,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;QACnC,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAA;AACnB,CAAC,CAAC,CAAA;AAEJ;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,MAAc,EACd,GAA4B,EACH,EAAE;IAC3B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,OAAQ,CAAA;IACvC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAA;IAC7B,2EAA2E;IAC3E,8EAA8E;IAC9E,2EAA2E;IAC3E,0EAA0E;IAC1E,iDAAiD;IACjD,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;IAC1C,OAAO;QACL,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,EAAE,OAAO,EAAE,aAAa,CAAC;QAC5F,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,aAAa,CAAC;KAChG,CAAA;AACH,CAAC,CAAA;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,MAAc,EACd,KAA8B,EAC9B,SAAiB,EAQjB,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,wEAAwE;IACxE,qEAAqE;IACrE,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAA;IAC/B,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,WAAgC,CAAA;IACnE,iEAAiE;IACjE,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CACxE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAChB,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CACjD,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,CAC9E,CACF,EACD,MAAM,CAAC,QAAQ,CACb,CAAC,KAAK,EAAE,EAAE,CACR,IAAI,eAAe,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,SAAS;QACT,KAAK;KACN,CAAC,CACL,CACF,CAAA;IAED,MAAM,IAAI,GAA4B,EAAE,GAAI,OAAmC,EAAE,CAAA;IACjF,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,UAAU,CAAA;IAElC,2EAA2E;IAC3E,yEAAyE;IACzE,sEAAsE;IACtE,uDAAuD;IACvD,MAAM,IAAI,GAAG,WAAW,CAAC,cAAc,CACrC,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,UAAU,EACjB,CAAC,EACD,MAAM,CAAC,OAAO,EACd,MAAM,CAAC,QAAQ,CAAC,OAAkC,CAAC,CACpD,CAAA;IACD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAEzB,0EAA0E;IAC1E,mEAAmE;IACnE,qEAAqE;IACrE,sBAAsB;IACtB,MAAM,EAAE,GAAG,MAAM,CAAC,YAAY,CAAA;IAC9B,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;QACjB,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,SAAS,EAAE,CAAC;YACrC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,0BAA0B,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAA;QAC5E,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;QACjB,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,SAAS,EAAE,CAAC;YACrC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,0BAA0B,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAA;QAC5E,CAAC;IACH,CAAC;IACD,IAAI,EAAE,CAAC,OAAO;QAAE,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IAEpC,oEAAoE;IACpE,wEAAwE;IACxE,wEAAwE;IACxE,2EAA2E;IAC3E,2EAA2E;IAC3E,wDAAwD;IACxD,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAA;IAE5B,wEAAwE;IACxE,sEAAsE;IACtE,IAAI,CAAC;QACH,MAAM,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAA;IACrC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,KAAK,CAAC,CAAC,IAAI,eAAe,CAAC;YAChC,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,SAAS;YACT,KAAK,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;SAClD,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAA;AACxD,CAAC,CAAC,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "effect-dynamodb",
-  "version": "1.14.0",
+  "version": "1.16.0",
   "description": "Effect TS ORM for DynamoDB — schema-driven entity modeling, single-table design, composite keys, transactions, and Stream-based pagination",
   "type": "module",
   "license": "MIT",
@@ -48,7 +48,7 @@
   "dependencies": {
     "@aws-sdk/client-dynamodb": "^3.1104.0",
     "@aws-sdk/util-dynamodb": "^3.700.0",
-    "@effect-dynamodb/schema": "^1.14.0"
+    "@effect-dynamodb/schema": "^1.16.0"
   },
   "peerDependencies": {
     "effect": "^4.0.0-rc.112"