@reventlessdev/reventless-aws 3.0.0-alpha.344 → 3.0.0-alpha.345

package/tests/integration/DcbEventLogStorage_DynamoDb_IntegrationTest.res

@@ -64,104 +64,134 @@ describe("DCB DynamoDb integration — fence-scope = read-scope (Issue 1 regress
 
   // Place an order: read (orderId ∪ productId), then append OrderPlaced.
   let placeOrder = async (table, ~orderId, ~customerId) => {
-    let query: Reventless.DcbTag.query = [
-      {tags: [tag("orderId", orderId)]},
-      {tags: [productTag]},
-    ]
+    let query: Reventless.DcbTag.query = [{tags: [tag("orderId", orderId)]}, {tags: [productTag]}]
     let after = await readAfter(table, query)
     await Runtime.appendConditional(
       table,
       [event("OrderPlaced", [tag("orderId", orderId), tag("customerId", customerId), productTag])],
-      {query, after: ?after},
+      {query, ?after},
       ~partitionTag=simple("orderId"),
     )
   }
 
-  testAsync("a second order of the same product (different order + customer) succeeds", async () => {
-    let table = await H.freshTable()
-    let _ = await seed(table, event("CatalogProductSynced", [productTag]), ~partitionTag=simple("productId"))
+  testAsync(
+    "a second order of the same product (different order + customer) succeeds",
+    async () => {
+      let table = await H.freshTable()
+      let _ = await seed(
+        table,
+        event("CatalogProductSynced", [productTag]),
+        ~partitionTag=simple("productId"),
+      )
 
-    let r1 = await placeOrder(table, ~orderId="O1", ~customerId="C1")
-    let r2 = await placeOrder(table, ~orderId="O2", ~customerId="C2")
+      let r1 = await placeOrder(table, ~orderId="O1", ~customerId="C1")
+      let r2 = await placeOrder(table, ~orderId="O2", ~customerId="C2")
 
-    expect(isOk(r1))->toBe(true)
-    expect(isOk(r2))->toBe(true)
-  })
+      expect(isOk(r1))->toBe(true)
+      expect(isOk(r2))->toBe(true)
+    },
+  )
 
-  testAsync("two concurrent orders of the same product both succeed (no productId contention)", async () => {
-    let table = await H.freshTable()
-    let _ = await seed(table, event("CatalogProductSynced", [productTag]), ~partitionTag=simple("productId"))
+  testAsync(
+    "two concurrent orders of the same product both succeed (no productId contention)",
+    async () => {
+      let table = await H.freshTable()
+      let _ = await seed(
+        table,
+        event("CatalogProductSynced", [productTag]),
+        ~partitionTag=simple("productId"),
+      )
 
-    let results = await Promise.all([
-      placeOrder(table, ~orderId="OA", ~customerId="CA"),
-      placeOrder(table, ~orderId="OB", ~customerId="CB"),
-    ])
+      let results = await Promise.all([
+        placeOrder(table, ~orderId="OA", ~customerId="CA"),
+        placeOrder(table, ~orderId="OB", ~customerId="CB"),
+      ])
 
-    expect(results->Array.every(isOk))->toBe(true)
-  })
+      expect(results->Array.every(isOk))->toBe(true)
+    },
+  )
 
-  testAsync("a concurrent product re-sync after the order's read still conflicts (OCC preserved)", async () => {
-    let table = await H.freshTable()
-    let _ = await seed(table, event("CatalogProductSynced", [productTag]), ~partitionTag=simple("productId"))
-
-    // Order reads its decision model (after = the sync's position). Each clause
-    // names the event type it reads — the per-type fence model checks the
-    // consumed type's `pos#<type>`, so a tag-only clause would produce no fence
-    // check at all.
-    let query: Reventless.DcbTag.query = [
-      {tags: [tag("orderId", "O1")], eventTypes: ["OrderPlaced"]},
-      {tags: [productTag], eventTypes: ["CatalogProductSynced"]},
-    ]
-    let after = (await readAfter(table, query))->Option.getOr("")
-    expect(after == "")->toBe(false)
-
-    // …a concurrent re-sync advances fence#productId:P5's pos#CatalogProductSynced
-    // past `after`. We set the fence directly (rather than racing a second
-    // appendUnconditional) so the advance is deterministically > after —
-    // same-millisecond writers can otherwise tie on UUID order (analysis Issue 7).
-    // Appending "z" stays lexically greater than any real position.
-    let _ = await H.setFence(table, productTag, ~eventTypes=["CatalogProductSynced"], ~position=after ++ "z")
-
-    // …so the now-stale order append must conflict on the productId fence.
-    let r = await Runtime.appendConditional(
-      table,
-      [event("OrderPlaced", [tag("orderId", "O1"), tag("customerId", "C1"), productTag])],
-      {query, after: ?Some(after)},
-      ~partitionTag=simple("orderId"),
-    )
-    expect(isConflict(r))->toBe(true)
-  })
+  testAsync(
+    "a concurrent product re-sync after the order's read still conflicts (OCC preserved)",
+    async () => {
+      let table = await H.freshTable()
+      let _ = await seed(
+        table,
+        event("CatalogProductSynced", [productTag]),
+        ~partitionTag=simple("productId"),
+      )
 
-  testAsync("placing an order does not poison the customer slice (secondary customerId not fenced)", async () => {
-    let table = await H.freshTable()
-    let customerTag = tag("customerId", "C1")
+      // Order reads its decision model (after = the sync's position). Each clause
+      // names the event type it reads — the per-type fence model checks the
+      // consumed type's `pos#<type>`, so a tag-only clause would produce no fence
+      // check at all.
+      let query: Reventless.DcbTag.query = [
+        {tags: [tag("orderId", "O1")], eventTypes: ["OrderPlaced"]},
+        {tags: [productTag], eventTypes: ["CatalogProductSynced"]},
+      ]
+      let after = (await readAfter(table, query))->Option.getOr("")
+      expect(after == "")->toBe(false)
+
+      // …a concurrent re-sync advances fence#productId:P5's pos#CatalogProductSynced
+      // past `after`. We set the fence directly (rather than racing a second
+      // appendUnconditional) so the advance is deterministically > after —
+      // same-millisecond writers can otherwise tie on UUID order (analysis Issue 7).
+      // Appending "z" stays lexically greater than any real position.
+      let _ = await H.setFence(
+        table,
+        productTag,
+        ~eventTypes=["CatalogProductSynced"],
+        ~position=after ++ "z",
+      )
 
-    // Customer exists (partitioned by customerId) → fence#customerId:C1 seeded.
-    let _ = await seed(table, event("CustomerRegistered", [customerTag]), ~partitionTag=simple("customerId"))
+      // …so the now-stale order append must conflict on the productId fence.
+      let r = await Runtime.appendConditional(
+        table,
+        [event("OrderPlaced", [tag("orderId", "O1"), tag("customerId", "C1"), productTag])],
+        {query, after: ?Some(after)},
+        ~partitionTag=simple("orderId"),
+      )
+      expect(isConflict(r))->toBe(true)
+    },
+  )
+
+  testAsync(
+    "placing an order does not poison the customer slice (secondary customerId not fenced)",
+    async () => {
+      let table = await H.freshTable()
+      let customerTag = tag("customerId", "C1")
+
+      // Customer exists (partitioned by customerId) → fence#customerId:C1 seeded.
+      let _ = await seed(
+        table,
+        event("CustomerRegistered", [customerTag]),
+        ~partitionTag=simple("customerId"),
+      )
 
-    // Order for C1 carries customerId as a SECONDARY tag (partitioned by orderId).
-    let orderQuery: Reventless.DcbTag.query = [{tags: [tag("orderId", "O1")]}]
-    let orderAfter = await readAfter(table, orderQuery)
-    let _ = await Runtime.appendConditional(
-      table,
-      [event("OrderPlaced", [tag("orderId", "O1"), customerTag, productTag])],
-      {query: orderQuery, after: ?orderAfter},
-      ~partitionTag=simple("orderId"),
-    )
+      // Order for C1 carries customerId as a SECONDARY tag (partitioned by orderId).
+      let orderQuery: Reventless.DcbTag.query = [{tags: [tag("orderId", "O1")]}]
+      let orderAfter = await readAfter(table, orderQuery)
+      let _ = await Runtime.appendConditional(
+        table,
+        [event("OrderPlaced", [tag("orderId", "O1"), customerTag, productTag])],
+        {query: orderQuery, after: ?orderAfter},
+        ~partitionTag=simple("orderId"),
+      )
 
-    // The customer slice reads its own partition (sees only CustomerRegistered)
-    // and changes the email. Pre-fix the order would have bumped
-    // fence#customerId:C1, falsely conflicting this append.
-    let customerQuery: Reventless.DcbTag.query = [{tags: [customerTag]}]
-    let customerAfter = await readAfter(table, customerQuery)
-    let r = await Runtime.appendConditional(
-      table,
-      [event("EmailChanged", [customerTag])],
-      {query: customerQuery, after: ?customerAfter},
-      ~partitionTag=simple("customerId"),
-    )
-    expect(isOk(r))->toBe(true)
-  })
+      // The customer slice reads its own partition (sees only CustomerRegistered)
+      // and changes the email. Pre-fix the order would have bumped
+      // fence#customerId:C1, falsely conflicting this append.
+      let customerQuery: Reventless.DcbTag.query = [{tags: [customerTag]}]
+      let customerAfter = await readAfter(table, customerQuery)
+      let r = await Runtime.appendConditional(
+        table,
+        [event("EmailChanged", [customerTag])],
+        {query: customerQuery, after: ?customerAfter},
+        ~partitionTag=simple("customerId"),
+      )
+      expect(isOk(r))->toBe(true)
+    },
+  )
 })
 
 describe("DCB DynamoDb integration — optimistic concurrency primitives", () => {
@@ -184,7 +214,11 @@ describe("DCB DynamoDb integration — optimistic concurrency primitives", () =>
   testAsync("two concurrent commits at the same after never both win (no duplicate)", async () => {
     let table = await H.freshTable()
     let counterTag = tag("counterId", "K1")
-    let _ = await seed(table, event("CounterStarted", [counterTag]), ~partitionTag=simple("counterId"))
+    let _ = await seed(
+      table,
+      event("CounterStarted", [counterTag]),
+      ~partitionTag=simple("counterId"),
+    )
 
     let query: Reventless.DcbTag.query = [{tags: [counterTag]}]
     let after = await readAfter(table, query)
@@ -193,7 +227,7 @@ describe("DCB DynamoDb integration — optimistic concurrency primitives", () =>
       Runtime.appendConditional(
         table,
         [event("CounterIncremented", [counterTag])],
-        {query, after: ?after},
+        {query, ?after},
         ~partitionTag=simple("counterId"),
       )
 
@@ -209,62 +243,72 @@ describe("DCB DynamoDb integration — optimistic concurrency primitives", () =>
     expect(conflicts >= 1)->toBe(true)
   })
 
-  testAsync("two concurrent first-writers to the same entity — exactly one creates it (Issue 2)", async () => {
-    let table = await H.freshTable()
-    // Both writers read an empty decision model (after=None) and try to create
-    // the same order. The per-(eventType, partition) create guard must let only
-    // one through.
-    let create = () =>
-      Runtime.appendConditional(
+  testAsync(
+    "two concurrent first-writers to the same entity — exactly one creates it (Issue 2)",
+    async () => {
+      let table = await H.freshTable()
+      // Both writers read an empty decision model (after=None) and try to create
+      // the same order. The per-(eventType, partition) create guard must let only
+      // one through.
+      let create = () =>
+        Runtime.appendConditional(
+          table,
+          [event("OrderCreated", [tag("orderId", "O1")])],
+          {query: [{tags: [tag("orderId", "O1")]}], after: ?None},
+          ~partitionTag=simple("orderId"),
+        )
+
+      let results = await Promise.all([create(), create()])
+      let oks = results->Array.filter(isOk)->Array.length
+      // Safety: the two first-writers must NOT both create the entity. At most one
+      // commits; every non-winner surfaces a Conflict. (DynamoDB may cancel both
+      // with a mutual TransactionConflict — the slice callback's retry loop then
+      // makes exactly one win. Pre-fix this asserted-2: both committed = duplicate.)
+      expect(oks <= 1)->toBe(true)
+      expect(oks + results->Array.filter(isConflict)->Array.length)->toBe(2)
+
+      // No duplicate landed — persisted OrderCreated count matches the winners.
+      let readResult = await Runtime.read(table)(~query=[{tags: [tag("orderId", "O1")]}])
+      expect(readResult.events->Array.length)->toBe(oks)
+    },
+  )
+
+  testAsync(
+    "the create guard does not false-conflict a subset-event-type writer (Issue 4)",
+    async () => {
+      let table = await H.freshTable()
+      // A productId partition already holds a ProductAdded (its own create guard +
+      // fence). A different slice reads only NameChanged on that partition, sees
+      // nothing (after=None), and appends the first NameChanged. Its guard is
+      // create#NameChanged#productId:P — distinct from ProductAdded's — so it must
+      // NOT conflict with the pre-existing partition state.
+      let productTag = tag("productId", "P")
+      let r1 = await Runtime.appendConditional(
         table,
-        [event("OrderCreated", [tag("orderId", "O1")])],
-        {query: [{tags: [tag("orderId", "O1")]}], after: ?None},
-        ~partitionTag=simple("orderId"),
+        [event("ProductAdded", [productTag])],
+        {query: [{tags: [productTag]}], after: ?None},
+        ~partitionTag=simple("productId"),
       )
+      expect(isOk(r1))->toBe(true)
 
-    let results = await Promise.all([create(), create()])
-    let oks = results->Array.filter(isOk)->Array.length
-    // Safety: the two first-writers must NOT both create the entity. At most one
-    // commits; every non-winner surfaces a Conflict. (DynamoDB may cancel both
-    // with a mutual TransactionConflict — the slice callback's retry loop then
-    // makes exactly one win. Pre-fix this asserted-2: both committed = duplicate.)
-    expect(oks <= 1)->toBe(true)
-    expect(oks + results->Array.filter(isConflict)->Array.length)->toBe(2)
-
-    // No duplicate landed — persisted OrderCreated count matches the winners.
-    let readResult = await Runtime.read(table)(~query=[{tags: [tag("orderId", "O1")]}])
-    expect(readResult.events->Array.length)->toBe(oks)
-  })
-
-  testAsync("the create guard does not false-conflict a subset-event-type writer (Issue 4)", async () => {
-    let table = await H.freshTable()
-    // A productId partition already holds a ProductAdded (its own create guard +
-    // fence). A different slice reads only NameChanged on that partition, sees
-    // nothing (after=None), and appends the first NameChanged. Its guard is
-    // create#NameChanged#productId:P — distinct from ProductAdded's — so it must
-    // NOT conflict with the pre-existing partition state.
-    let productTag = tag("productId", "P")
-    let r1 = await Runtime.appendConditional(
-      table,
-      [event("ProductAdded", [productTag])],
-      {query: [{tags: [productTag]}], after: ?None},
-      ~partitionTag=simple("productId"),
-    )
-    expect(isOk(r1))->toBe(true)
-
-    let r2 = await Runtime.appendConditional(
-      table,
-      [event("NameChanged", [productTag])],
-      {query: [{tags: [productTag]}], after: ?None},
-      ~partitionTag=simple("productId"),
-    )
-    expect(isOk(r2))->toBe(true)
-  })
+      let r2 = await Runtime.appendConditional(
+        table,
+        [event("NameChanged", [productTag])],
+        {query: [{tags: [productTag]}], after: ?None},
+        ~partitionTag=simple("productId"),
+      )
+      expect(isOk(r2))->toBe(true)
+    },
+  )
 
   testAsync("a chain of compatible commits all succeed", async () => {
     let table = await H.freshTable()
     let counterTag = tag("counterId", "K2")
-    let _ = await seed(table, event("CounterStarted", [counterTag]), ~partitionTag=simple("counterId"))
+    let _ = await seed(
+      table,
+      event("CounterStarted", [counterTag]),
+      ~partitionTag=simple("counterId"),
+    )
     let query: Reventless.DcbTag.query = [{tags: [counterTag]}]
 
     let step = async () => {
@@ -272,7 +316,7 @@ describe("DCB DynamoDb integration — optimistic concurrency primitives", () =>
       await Runtime.appendConditional(
         table,
         [event("CounterIncremented", [counterTag])],
-        {query, after: ?after},
+        {query, ?after},
         ~partitionTag=simple("counterId"),
       )
     }
@@ -283,48 +327,51 @@ describe("DCB DynamoDb integration — optimistic concurrency primitives", () =>
     expect([r1, r2, r3]->Array.every(isOk))->toBe(true)
   })
 
-  testAsync("a failed fence condition aborts the whole transaction (multi-tag atomicity)", async () => {
-    let table = await H.freshTable()
-    // Composite slice: one multi-tag clause → both tags get check+bump. The
-    // clause names the consumed type so the per-type fence check has a `pos#<type>`
-    // to assert against.
-    let tags = [tag("productId", "p1"), tag("orderId", "o1")]
-    let query: Reventless.DcbTag.query = [{tags: tags, eventTypes: ["ProductDemandRecorded"]}]
-
-    // Seed one event so the next append rides after=Some.
-    let seedRes = await Runtime.appendConditional(
-      table,
-      [event("ProductDemandRecorded", tags)],
-      {query, after: ?None},
-      ~partitionTag=simple("productId"),
-    )
-    expect(isOk(seedRes))->toBe(true)
-
-    let after = (await readAfter(table, query))->Option.getOr("")
-    expect(after == "")->toBe(false)
+  testAsync(
+    "a failed fence condition aborts the whole transaction (multi-tag atomicity)",
+    async () => {
+      let table = await H.freshTable()
+      // Composite slice: one multi-tag clause → both tags get check+bump. The
+      // clause names the consumed type so the per-type fence check has a `pos#<type>`
+      // to assert against.
+      let tags = [tag("productId", "p1"), tag("orderId", "o1")]
+      let query: Reventless.DcbTag.query = [{tags, eventTypes: ["ProductDemandRecorded"]}]
+
+      // Seed one event so the next append rides after=Some.
+      let seedRes = await Runtime.appendConditional(
+        table,
+        [event("ProductDemandRecorded", tags)],
+        {query, after: ?None},
+        ~partitionTag=simple("productId"),
+      )
+      expect(isOk(seedRes))->toBe(true)
 
-    // A concurrent writer advances ONLY the productId fence's pos#ProductDemandRecorded
-    // past `after`. Appending "z" keeps the position lexically greater than any real one.
-    let _ = await H.setFence(
-      table,
-      tag("productId", "p1"),
-      ~eventTypes=["ProductDemandRecorded"],
-      ~position=after ++ "z",
-    )
+      let after = (await readAfter(table, query))->Option.getOr("")
+      expect(after == "")->toBe(false)
 
-    let r = await Runtime.appendConditional(
-      table,
-      [event("ProductDemandRecorded", tags)],
-      {query, after: ?Some(after)},
-      ~partitionTag=simple("productId"),
-    )
-    expect(isConflict(r))->toBe(true)
+      // A concurrent writer advances ONLY the productId fence's pos#ProductDemandRecorded
+      // past `after`. Appending "z" keeps the position lexically greater than any real one.
+      let _ = await H.setFence(
+        table,
+        tag("productId", "p1"),
+        ~eventTypes=["ProductDemandRecorded"],
+        ~position=after ++ "z",
+      )
 
-    // Atomic rollback: the second event was NOT written — the composite read
-    // still returns exactly the one seeded event.
-    let readResult = await Runtime.read(table)(~query)
-    expect(readResult.events->Array.length)->toBe(1)
-  })
+      let r = await Runtime.appendConditional(
+        table,
+        [event("ProductDemandRecorded", tags)],
+        {query, after: ?Some(after)},
+        ~partitionTag=simple("productId"),
+      )
+      expect(isConflict(r))->toBe(true)
+
+      // Atomic rollback: the second event was NOT written — the composite read
+      // still returns exactly the one seeded event.
+      let readResult = await Runtime.read(table)(~query)
+      expect(readResult.events->Array.length)->toBe(1)
+    },
+  )
 })
 
 // A `@compositePartitionTag` slice (platform-inspector's SyncResource shape) fences
@@ -367,27 +414,30 @@ describe("DCB DynamoDb integration — composite partition hot-fence fix", () =>
     expect(isOk(rB))->toBe(true)
   })
 
-  testAsync("two first-writers of the SAME composite key still serialize (OCC preserved)", async () => {
-    let table = await H.freshTable()
-    let tags = members("resA")
-    let query: Reventless.DcbTag.query = [{tags: tags}]
-    let r1 = await Runtime.appendConditional(
-      table,
-      [event("ResourceAdded", tags)],
-      {query, after: ?None},
-      ~partitionTag=pt,
-    )
-    let r2 = await Runtime.appendConditional(
-      table,
-      [event("ResourceAdded", tags)],
-      {query, after: ?None},
-      ~partitionTag=pt,
-    )
-    expect(isOk(r1))->toBe(true)
-    // The folded create guard (attribute_not_exists on the composite fence) rejects
-    // the second first-write of the same entity.
-    expect(isConflict(r2))->toBe(true)
-  })
+  testAsync(
+    "two first-writers of the SAME composite key still serialize (OCC preserved)",
+    async () => {
+      let table = await H.freshTable()
+      let tags = members("resA")
+      let query: Reventless.DcbTag.query = [{tags: tags}]
+      let r1 = await Runtime.appendConditional(
+        table,
+        [event("ResourceAdded", tags)],
+        {query, after: ?None},
+        ~partitionTag=pt,
+      )
+      let r2 = await Runtime.appendConditional(
+        table,
+        [event("ResourceAdded", tags)],
+        {query, after: ?None},
+        ~partitionTag=pt,
+      )
+      expect(isOk(r1))->toBe(true)
+      // The folded create guard (attribute_not_exists on the composite fence) rejects
+      // the second first-write of the same entity.
+      expect(isConflict(r2))->toBe(true)
+    },
+  )
 })
 
 // The fence is PER event type (`pos#<eventType>` attributes), not a single scalar
@@ -408,55 +458,69 @@ describe("DCB DynamoDb integration — per-type fence granularity", () => {
     await Runtime.appendConditional(
       table,
       [event(eventType, [productTag])],
-      {query, after: ?after},
+      {query, ?after},
       ~partitionTag=simple("productId"),
     )
   }
 
-  testAsync("interleaved distinct-type changes on one product all succeed (never wedges)", async () => {
-    let table = await H.freshTable()
-    let _ = await seed(table, event("ProductAdded", [productTag]), ~partitionTag=simple("productId"))
-
-    // Two rounds of interleaved price/name/description changes. Pre-fix, the first
-    // PriceChanged bumped the single partition fence, so the following NameChanged
-    // read a stale head and conflicted PERMANENTLY — the entity wedged after one edit.
-    let results = [
-      await change(table, ~eventType="PriceChanged"),
-      await change(table, ~eventType="NameChanged"),
-      await change(table, ~eventType="DescriptionChanged"),
-      await change(table, ~eventType="PriceChanged"),
-      await change(table, ~eventType="NameChanged"),
-    ]
-    expect(results->Array.every(isOk))->toBe(true)
-  })
-
-  testAsync("two concurrent SAME-type changes still serialize (per-type OCC preserved)", async () => {
-    let table = await H.freshTable()
-    let _ = await seed(table, event("ProductAdded", [productTag]), ~partitionTag=simple("productId"))
-    // Seed one NameChanged so both racers read the same after=Some head.
-    let _ = await change(table, ~eventType="NameChanged")
+  testAsync(
+    "interleaved distinct-type changes on one product all succeed (never wedges)",
+    async () => {
+      let table = await H.freshTable()
+      let _ = await seed(
+        table,
+        event("ProductAdded", [productTag]),
+        ~partitionTag=simple("productId"),
+      )
 
-    let query: Reventless.DcbTag.query = [{tags: [productTag], eventTypes: ["NameChanged"]}]
-    let after = await readAfter(table, query)
-    let rename = () =>
-      Runtime.appendConditional(
+      // Two rounds of interleaved price/name/description changes. Pre-fix, the first
+      // PriceChanged bumped the single partition fence, so the following NameChanged
+      // read a stale head and conflicted PERMANENTLY — the entity wedged after one edit.
+      let results = [
+        await change(table, ~eventType="PriceChanged"),
+        await change(table, ~eventType="NameChanged"),
+        await change(table, ~eventType="DescriptionChanged"),
+        await change(table, ~eventType="PriceChanged"),
+        await change(table, ~eventType="NameChanged"),
+      ]
+      expect(results->Array.every(isOk))->toBe(true)
+    },
+  )
+
+  testAsync(
+    "two concurrent SAME-type changes still serialize (per-type OCC preserved)",
+    async () => {
+      let table = await H.freshTable()
+      let _ = await seed(
         table,
-        [event("NameChanged", [productTag])],
-        {query, after: ?after},
+        event("ProductAdded", [productTag]),
         ~partitionTag=simple("productId"),
       )
+      // Seed one NameChanged so both racers read the same after=Some head.
+      let _ = await change(table, ~eventType="NameChanged")
 
-    // Per-type granularity must NOT weaken same-type OCC: two concurrent NameChanged
-    // at the same `pos#NameChanged` head → at most one commits, every non-winner
-    // conflicts. (DynamoDB may cancel both with a mutual TransactionConflict; the
-    // slice callback's retry loop makes exactly one win in prod.)
-    let results = await Promise.all([rename(), rename()])
-    let oks = results->Array.filter(isOk)->Array.length
-    let conflicts = results->Array.filter(isConflict)->Array.length
-    expect(oks <= 1)->toBe(true)
-    expect(oks + conflicts)->toBe(2)
-    expect(conflicts >= 1)->toBe(true)
-  })
+      let query: Reventless.DcbTag.query = [{tags: [productTag], eventTypes: ["NameChanged"]}]
+      let after = await readAfter(table, query)
+      let rename = () =>
+        Runtime.appendConditional(
+          table,
+          [event("NameChanged", [productTag])],
+          {query, ?after},
+          ~partitionTag=simple("productId"),
+        )
+
+      // Per-type granularity must NOT weaken same-type OCC: two concurrent NameChanged
+      // at the same `pos#NameChanged` head → at most one commits, every non-winner
+      // conflicts. (DynamoDB may cancel both with a mutual TransactionConflict; the
+      // slice callback's retry loop makes exactly one win in prod.)
+      let results = await Promise.all([rename(), rename()])
+      let oks = results->Array.filter(isOk)->Array.length
+      let conflicts = results->Array.filter(isConflict)->Array.length
+      expect(oks <= 1)->toBe(true)
+      expect(oks + conflicts)->toBe(2)
+      expect(conflicts >= 1)->toBe(true)
+    },
+  )
 })
 
 // An empty tag value is a legitimate model state (an absent member of a composite