@reventlessdev/online-shop-dcb-ordering 1.0.0-alpha.249 → 1.0.0-alpha.251

package/lib/bs/tests/Order/StateChange/ShipOrder_GWT.res

@@ -1,29 +1,33 @@
 @@reventless.gwt
 
-let oid = OrderId.make
+open Ordering_Examples
 
 describe("ShipOrder StateChangeSlice", () => {
+  // scenario-id: 2146c7ce-d052-4b18-8d15-373916445f80
   test("non-existent order returns OrderNotFound", () =>
     givenEvents([])
-    ->whenCmd(ShipOrder({orderId: oid("o1")}))
+    ->whenCmd(ShipOrder({orderId: o1}))
     ->thenError(OrderNotFound)
   )
 
+  // scenario-id: 76062151-57bb-468b-9fee-915e35e8d67e
   test("placed order produces OrderShipped", () =>
     givenEvents([OrderPlaced])
-    ->whenCmd(ShipOrder({orderId: oid("o1")}))
-    ->thenEvent(OrderShipped({orderId: oid("o1")}))
+    ->whenCmd(ShipOrder({orderId: o1}))
+    ->thenEvent(OrderShipped({orderId: o1}))
   )
 
+  // scenario-id: 3ffc1f1f-8611-4c99-90b3-435b441140d3
   test("already shipped order produces no events (idempotent)", () =>
     givenEvents([OrderPlaced, OrderShipped])
-    ->whenCmd(ShipOrder({orderId: oid("o1")}))
+    ->whenCmd(ShipOrder({orderId: o1}))
     ->thenNoEvent
   )
 
+  // scenario-id: 23a22483-510c-458d-aa40-17c442470b22
   test("cancelled order returns OrderAlreadyCancelled", () =>
     givenEvents([OrderPlaced, OrderCancelled])
-    ->whenCmd(ShipOrder({orderId: oid("o1")}))
+    ->whenCmd(ShipOrder({orderId: o1}))
     ->thenError(OrderAlreadyCancelled)
   )
 })

package/lib/bs/tests/Order/StateChange/ShipOrder_GWT.res.mjs

@@ -1,8 +1,8 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as OrderId$OrderingPlugin from "../../../src/Order/OrderId.res.mjs";
 import * as ShipOrder$OrderingPlugin from "../../../src/Order/StateChange/ShipOrder.res.mjs";
 import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../../Ordering_Examples.res.mjs";
 import * as ShipOrder_Behavior$OrderingPlugin from "../../../src/Order/StateChange/ShipOrder_Behavior.res.mjs";
 
 let include = Behavior_GWT$ReventlessGwt.Make({
@@ -34,28 +34,28 @@ let thenError = include.thenError;
 describe("ShipOrder StateChangeSlice", () => {
   test("non-existent order returns OrderNotFound", () => thenError(whenCmd(givenEvents([]), {
     TAG: "ShipOrder",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   }), "OrderNotFound"));
   test("placed order produces OrderShipped", () => thenEvent(whenCmd(givenEvents(["OrderPlaced"]), {
     TAG: "ShipOrder",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   }), {
     TAG: "OrderShipped",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   }));
   test("already shipped order produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([
     "OrderPlaced",
     "OrderShipped"
   ]), {
     TAG: "ShipOrder",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   })));
   test("cancelled order returns OrderAlreadyCancelled", () => thenError(whenCmd(givenEvents([
     "OrderPlaced",
     "OrderCancelled"
   ]), {
     TAG: "ShipOrder",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   }), "OrderAlreadyCancelled"));
 });
 
@@ -73,8 +73,6 @@ let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
 
-let oid = OrderId$OrderingPlugin.make;
-
 export {
   Spec,
   describe,
@@ -90,6 +88,5 @@ export {
   thenError,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
-  oid,
 }
 /* include Not a pure module */

package/lib/bs/tests/Order/StateView/Orders_GWT.res

@@ -1,41 +1,34 @@
 @@reventless.gwt
 
-let cid = CustomerId.make
-let oid = OrderId.make
-let pid = CatalogSpec.ProductId.make
+open Ordering_Examples
 
 describe("Orders StateViewSlice", () => {
+  // scenario-id: 7967e51a-49fb-4f1e-81f8-a4feabeccf8a
   test("OrderPlaced creates a row with status Placed", () =>
     givenEvents([])
-    ->whenEvent(
-      OrderPlaced({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1"), pid("p2")]}),
-    )
+    ->whenEvent(OrderPlaced({orderId: o1, customerId: c1, productIds: [p1, p2]}))
     ->thenStateWithId(
       "o1",
       {
-        orderId: oid("o1"),
-        customerId: cid("c1"),
-        productIds: [pid("p1"), pid("p2")],
+        orderId: o1,
+        customerId: c1,
+        productIds: [p1, p2],
         lifecycle: Placed,
       },
     )
   )
 
+  // scenario-id: e97d9c01-c2e6-48c1-82d2-3cc2e7c8e401
   test("OrderShipped updates status to Shipped", () =>
-    givenEvents([OrderPlaced({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")]})])
-    ->whenEvent(OrderShipped({orderId: oid("o1")}))
-    ->thenStateWithId(
-      "o1",
-      {orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")], lifecycle: Shipped},
-    )
+    givenEvents([OrderPlaced({orderId: o1, customerId: c1, productIds: [p1]})])
+    ->whenEvent(OrderShipped({orderId: o1}))
+    ->thenStateWithId("o1", {orderId: o1, customerId: c1, productIds: [p1], lifecycle: Shipped})
   )
 
+  // scenario-id: 94ff556f-1d4d-444d-8eda-0a9192715489
   test("OrderCancelled updates status to Cancelled", () =>
-    givenEvents([OrderPlaced({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")]})])
-    ->whenEvent(OrderCancelled({orderId: oid("o1")}))
-    ->thenStateWithId(
-      "o1",
-      {orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")], lifecycle: Cancelled},
-    )
+    givenEvents([OrderPlaced({orderId: o1, customerId: c1, productIds: [p1]})])
+    ->whenEvent(OrderCancelled({orderId: o1}))
+    ->thenStateWithId("o1", {orderId: o1, customerId: c1, productIds: [p1], lifecycle: Cancelled})
   )
 })

package/lib/bs/tests/Order/StateView/Orders_GWT.res.mjs

@@ -1,10 +1,9 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as Orders$OrderingPlugin from "../../../src/Order/StateView/Orders.res.mjs";
-import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-dcb-catalog-spec/src/ProductId.res.mjs";
 import * as OrderId$OrderingPlugin from "../../../src/Order/OrderId.res.mjs";
-import * as CustomerId$OrderingPlugin from "../../../src/Customer/CustomerId.res.mjs";
 import * as Projection_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Projection_GWT.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../../Ordering_Examples.res.mjs";
 import * as Orders_Projection$OrderingPlugin from "../../../src/Order/StateView/Orders_Projection.res.mjs";
 
 let include = Projection_GWT$ReventlessGwt.Make({
@@ -30,47 +29,47 @@ let thenStateWithId = include.thenStateWithId;
 describe("Orders StateViewSlice", () => {
   test("OrderPlaced creates a row with status Placed", undefined, () => thenStateWithId(whenEvent(givenEvents([]), {
     TAG: "OrderPlaced",
-    orderId: OrderId$OrderingPlugin.make("o1"),
-    customerId: CustomerId$OrderingPlugin.make("c1"),
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    customerId: Ordering_Examples$OrderingPlugin.c1,
     productIds: [
-      ProductId$CatalogSpec.make("p1"),
-      ProductId$CatalogSpec.make("p2")
+      Ordering_Examples$OrderingPlugin.p1,
+      Ordering_Examples$OrderingPlugin.p2
     ]
   }), "o1", {
-    orderId: OrderId$OrderingPlugin.make("o1"),
-    customerId: CustomerId$OrderingPlugin.make("c1"),
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    customerId: Ordering_Examples$OrderingPlugin.c1,
     productIds: [
-      ProductId$CatalogSpec.make("p1"),
-      ProductId$CatalogSpec.make("p2")
+      Ordering_Examples$OrderingPlugin.p1,
+      Ordering_Examples$OrderingPlugin.p2
     ],
     lifecycle: "Placed"
   }));
   test("OrderShipped updates status to Shipped", undefined, () => thenStateWithId(whenEvent(givenEvents([{
       TAG: "OrderPlaced",
-      orderId: OrderId$OrderingPlugin.make("o1"),
-      customerId: CustomerId$OrderingPlugin.make("c1"),
-      productIds: [ProductId$CatalogSpec.make("p1")]
+      orderId: Ordering_Examples$OrderingPlugin.o1,
+      customerId: Ordering_Examples$OrderingPlugin.c1,
+      productIds: [Ordering_Examples$OrderingPlugin.p1]
     }]), {
     TAG: "OrderShipped",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   }), "o1", {
-    orderId: OrderId$OrderingPlugin.make("o1"),
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    productIds: [ProductId$CatalogSpec.make("p1")],
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    productIds: [Ordering_Examples$OrderingPlugin.p1],
     lifecycle: "Shipped"
   }));
   test("OrderCancelled updates status to Cancelled", undefined, () => thenStateWithId(whenEvent(givenEvents([{
       TAG: "OrderPlaced",
-      orderId: OrderId$OrderingPlugin.make("o1"),
-      customerId: CustomerId$OrderingPlugin.make("c1"),
-      productIds: [ProductId$CatalogSpec.make("p1")]
+      orderId: Ordering_Examples$OrderingPlugin.o1,
+      customerId: Ordering_Examples$OrderingPlugin.c1,
+      productIds: [Ordering_Examples$OrderingPlugin.p1]
     }]), {
     TAG: "OrderCancelled",
-    orderId: OrderId$OrderingPlugin.make("o1")
+    orderId: Ordering_Examples$OrderingPlugin.o1
   }), "o1", {
-    orderId: OrderId$OrderingPlugin.make("o1"),
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    productIds: [ProductId$CatalogSpec.make("p1")],
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    productIds: [Ordering_Examples$OrderingPlugin.p1],
     lifecycle: "Cancelled"
   }));
 });
@@ -97,12 +96,6 @@ let thenThrow = include.thenThrow;
 
 let thenFail = include.thenFail;
 
-let cid = CustomerId$OrderingPlugin.make;
-
-let oid = OrderId$OrderingPlugin.make;
-
-let pid = ProductId$CatalogSpec.make;
-
 export {
   Spec,
   describe,
@@ -120,8 +113,5 @@ export {
   thenNoState,
   thenThrow,
   thenFail,
-  cid,
-  oid,
-  pid,
 }
 /* include Not a pure module */

package/lib/bs/tests/Ordering_Examples.res

@@ -0,0 +1,15 @@
+@@reventless.examples
+
+let p1: CatalogSpec.ProductId.t = CatalogSpec.ProductId.makeFromString("p1")
+let p2: CatalogSpec.ProductId.t = CatalogSpec.ProductId.makeFromString("p2")
+
+let c1: CustomerId.t = CustomerId.makeFromString("c1")
+
+let o1: OrderId.t = OrderId.makeFromString("o1")
+let o2: OrderId.t = OrderId.makeFromString("o2")
+
+let aliceEmail: string = "alice@x.y"
+let aliceNewEmail: string = "alice2@x.y"
+let laptop: string = "Laptop"
+let mainStreet: string = "123 Main"
+let pineStreet: string = "789 Pine"

package/lib/bs/tests/Ordering_Examples.res.mjs

@@ -0,0 +1,39 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-dcb-catalog-spec/src/ProductId.res.mjs";
+import * as OrderId$OrderingPlugin from "../src/Order/OrderId.res.mjs";
+import * as CustomerId$OrderingPlugin from "../src/Customer/CustomerId.res.mjs";
+
+let p1 = ProductId$CatalogSpec.makeFromString("p1");
+
+let p2 = ProductId$CatalogSpec.makeFromString("p2");
+
+let c1 = CustomerId$OrderingPlugin.makeFromString("c1");
+
+let o1 = OrderId$OrderingPlugin.makeFromString("o1");
+
+let o2 = OrderId$OrderingPlugin.makeFromString("o2");
+
+let aliceEmail = "alice@x.y";
+
+let aliceNewEmail = "alice2@x.y";
+
+let laptop = "Laptop";
+
+let mainStreet = "123 Main";
+
+let pineStreet = "789 Pine";
+
+export {
+  p1,
+  p2,
+  c1,
+  o1,
+  o2,
+  aliceEmail,
+  aliceNewEmail,
+  laptop,
+  mainStreet,
+  pineStreet,
+}
+/* p1 Not a pure module */

package/lib/ocaml/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1790002882226)
-#Done(1790002885202)
+#Start(1790168171117)
+#Done(1790168173909)

package/lib/ocaml/AutoShipOrder_GWT.res

@@ -22,36 +22,41 @@ module AutoShipOrderSlice = {
 
 @@reventless.gwt
 
-let oid = OrderId.make
+open Ordering_Examples
 
 describe("AutoShipOrder AutomationSlice", () => {
+  // scenario-id: 02131883-ffbd-430f-a186-86d79daf5fb4
   test("collect: OrderPlaced creates a pending TODO", () =>
-    givenEvent(OrderPlaced({orderId: oid("o1")}))
+    givenEvent(OrderPlaced({orderId: o1}))
     ->whenCollect
-    ->thenTodos([("o1", {orderId: oid("o1")})])
+    ->thenTodos([("o1", {orderId: o1})])
   )
 
+  // scenario-id: 9f6c8137-a3ee-4bcd-8f22-59c028d3859e
   test("collect: OrderShipped is ignored (no TODO)", () =>
-    givenEvent(OrderShipped({orderId: oid("o1")}))
+    givenEvent(OrderShipped({orderId: o1}))
     ->whenCollect
     ->thenTodos([])
   )
 
+  // scenario-id: 0d773a65-4422-45d1-a861-a3b61d144bc5
   test("resolve: OrderShipped marks the TODO done", () =>
-    givenEvent(OrderShipped({orderId: oid("o1")}))
+    givenEvent(OrderShipped({orderId: o1}))
     ->whenResolve
     ->thenResolved(Some("o1"))
   )
 
+  // scenario-id: def98dd4-ed82-4d4b-9d93-7fd6f77278a4
   test("resolve: OrderPlaced does not mark anything done", () =>
-    givenEvent(OrderPlaced({orderId: oid("o1")}))
+    givenEvent(OrderPlaced({orderId: o1}))
     ->whenResolve
     ->thenResolved(None)
   )
 
+  // scenario-id: c33672f2-3c0a-489f-baed-79eb15963354
   test("process: pending TODO emits ShipOrder for the same id", () =>
-    givenTodo("o1", {orderId: oid("o1")})
+    givenTodo("o1", {orderId: o1})
     ->whenProcess
-    ->thenCommand("o1", ShipOrder({orderId: oid("o1")}))
+    ->thenCommand("o1", ShipOrder({orderId: o1}))
   )
 })

package/lib/ocaml/AvailableProducts_GWT.res

@@ -1,17 +1,19 @@
 @@reventless.gwt
 
-let pid = CatalogSpec.ProductId.make
+open Ordering_Examples
 
 describe("AvailableProducts StateViewSlice", () => {
+  // scenario-id: bbaa93a0-6f73-437b-948e-583c3f5b1b63
   test("CatalogProductSynced creates a row", () =>
     givenEvents([])
-    ->whenEvent(CatalogProductSynced({productId: pid("p1"), name: "Laptop", price: 999.99}))
-    ->thenStateWithId("p1", {productId: pid("p1"), name: "Laptop", price: 999.99})
+    ->whenEvent(CatalogProductSynced({productId: p1, name: laptop, price: 999.99}))
+    ->thenStateWithId("p1", {productId: p1, name: laptop, price: 999.99})
   )
 
+  // scenario-id: def1787d-69b4-4e67-8d9b-c1d3adce0a4d
   test("CatalogProductPriceChanged updates the price", () =>
-    givenEvents([CatalogProductSynced({productId: pid("p1"), name: "Laptop", price: 999.99})])
-    ->whenEvent(CatalogProductPriceChanged({productId: pid("p1"), price: 899.99}))
-    ->thenStateWithId("p1", {productId: pid("p1"), name: "Laptop", price: 899.99})
+    givenEvents([CatalogProductSynced({productId: p1, name: laptop, price: 999.99})])
+    ->whenEvent(CatalogProductPriceChanged({productId: p1, price: 899.99}))
+    ->thenStateWithId("p1", {productId: p1, name: laptop, price: 899.99})
   )
 })

package/lib/ocaml/CancelOrder_GWT.res

@@ -1,30 +1,33 @@
 @@reventless.gwt
 
-let oid = OrderId.make
-let pid = CatalogSpec.ProductId.make
+open Ordering_Examples
 
 describe("CancelOrder StateChangeSlice", () => {
+  // scenario-id: 8ec10480-8490-4004-a83c-1efa3d94695c
   test("non-existent order returns OrderNotFound", () =>
     givenEvents([])
-    ->whenCmd(CancelOrder({orderId: oid("o1")}))
+    ->whenCmd(CancelOrder({orderId: o1}))
     ->thenError(OrderNotFound)
   )
 
+  // scenario-id: df6a7117-bfed-4393-ae46-a35b13339e32
   test("placed order produces OrderCancelled with productIds carried over", () =>
-    givenEvents([OrderPlaced({productIds: [pid("p1"), pid("p2")]})])
-    ->whenCmd(CancelOrder({orderId: oid("o1")}))
-    ->thenEvent(OrderCancelled({orderId: oid("o1"), productIds: [pid("p1"), pid("p2")]}))
+    givenEvents([OrderPlaced({productIds: [p1, p2]})])
+    ->whenCmd(CancelOrder({orderId: o1}))
+    ->thenEvent(OrderCancelled({orderId: o1, productIds: [p1, p2]}))
   )
 
+  // scenario-id: e639ee37-866c-45f9-ac7b-d2a902703578
   test("already cancelled order produces no events (idempotent)", () =>
-    givenEvents([OrderPlaced({productIds: [pid("p1")]}), OrderCancelled])
-    ->whenCmd(CancelOrder({orderId: oid("o1")}))
+    givenEvents([OrderPlaced({productIds: [p1]}), OrderCancelled])
+    ->whenCmd(CancelOrder({orderId: o1}))
     ->thenNoEvent
   )
 
+  // scenario-id: eb8ae949-bd89-4b4c-9b4c-25992727e172
   test("shipped order returns OrderAlreadyShipped", () =>
-    givenEvents([OrderPlaced({productIds: [pid("p1")]}), OrderShipped])
-    ->whenCmd(CancelOrder({orderId: oid("o1")}))
+    givenEvents([OrderPlaced({productIds: [p1]}), OrderShipped])
+    ->whenCmd(CancelOrder({orderId: o1}))
     ->thenError(OrderAlreadyShipped)
   )
 })

package/lib/ocaml/ChangeAddress_GWT.res

@@ -1,29 +1,33 @@
 @@reventless.gwt
 
-let cid = CustomerId.make
+open Ordering_Examples
 
 describe("ChangeAddress StateChangeSlice", () => {
+  // scenario-id: c948f0e0-ef17-4731-a26b-4439a38140fb
   test("non-existent customer returns CustomerNotFound", () =>
     givenEvents([])
-    ->whenCmd(ChangeAddress({customerId: cid("c1"), address: "789 Pine"}))
+    ->whenCmd(ChangeAddress({customerId: c1, address: pineStreet}))
     ->thenError(CustomerNotFound)
   )
 
+  // scenario-id: a0268783-c043-4c2e-ad16-063b08f9d3f3
   test("active customer produces AddressChanged", () =>
-    givenEvents([CustomerRegistered({address: "123 Main"})])
-    ->whenCmd(ChangeAddress({customerId: cid("c1"), address: "789 Pine"}))
-    ->thenEvent(AddressChanged({customerId: cid("c1"), address: "789 Pine"}))
+    givenEvents([CustomerRegistered({address: mainStreet})])
+    ->whenCmd(ChangeAddress({customerId: c1, address: pineStreet}))
+    ->thenEvent(AddressChanged({customerId: c1, address: pineStreet}))
   )
 
+  // scenario-id: 9c652691-a3f7-4aee-b1a7-0055db84d836
   test("same address produces no events (idempotent)", () =>
-    givenEvents([CustomerRegistered({address: "123 Main"})])
-    ->whenCmd(ChangeAddress({customerId: cid("c1"), address: "123 Main"}))
+    givenEvents([CustomerRegistered({address: mainStreet})])
+    ->whenCmd(ChangeAddress({customerId: c1, address: mainStreet}))
     ->thenNoEvent
   )
 
+  // scenario-id: 909078a3-adc9-479e-85cc-88549075d963
   test("deactivated customer returns CustomerAlreadyDeactivated", () =>
-    givenEvents([CustomerRegistered({address: "123 Main"}), CustomerDeactivated])
-    ->whenCmd(ChangeAddress({customerId: cid("c1"), address: "789 Pine"}))
+    givenEvents([CustomerRegistered({address: mainStreet}), CustomerDeactivated])
+    ->whenCmd(ChangeAddress({customerId: c1, address: pineStreet}))
     ->thenError(CustomerAlreadyDeactivated)
   )
 })

package/lib/ocaml/ChangeEmail_GWT.res

@@ -1,29 +1,33 @@
 @@reventless.gwt
 
-let cid = CustomerId.make
+open Ordering_Examples
 
 describe("ChangeEmail StateChangeSlice", () => {
+  // scenario-id: f82a30f6-fef5-4a05-ac2c-9a419e476f53
   test("non-existent customer returns CustomerNotFound", () =>
     givenEvents([])
-    ->whenCmd(ChangeEmail({customerId: cid("c1"), email: "alice2@x.y"}))
+    ->whenCmd(ChangeEmail({customerId: c1, email: aliceNewEmail}))
     ->thenError(CustomerNotFound)
   )
 
+  // scenario-id: c772aca9-7aa7-4ee0-bb3e-be1a2dc46967
   test("active customer produces EmailChanged", () =>
-    givenEvents([CustomerRegistered({email: "alice@x.y"})])
-    ->whenCmd(ChangeEmail({customerId: cid("c1"), email: "alice2@x.y"}))
-    ->thenEvent(EmailChanged({customerId: cid("c1"), email: "alice2@x.y"}))
+    givenEvents([CustomerRegistered({email: aliceEmail})])
+    ->whenCmd(ChangeEmail({customerId: c1, email: aliceNewEmail}))
+    ->thenEvent(EmailChanged({customerId: c1, email: aliceNewEmail}))
   )
 
+  // scenario-id: 659398db-0145-4e2f-8087-905a1ff03af3
   test("same email produces no events (idempotent)", () =>
-    givenEvents([CustomerRegistered({email: "alice@x.y"})])
-    ->whenCmd(ChangeEmail({customerId: cid("c1"), email: "alice@x.y"}))
+    givenEvents([CustomerRegistered({email: aliceEmail})])
+    ->whenCmd(ChangeEmail({customerId: c1, email: aliceEmail}))
     ->thenNoEvent
   )
 
+  // scenario-id: c868f35b-ea20-438e-947d-58568db6adbd
   test("deactivated customer returns CustomerAlreadyDeactivated", () =>
-    givenEvents([CustomerRegistered({email: "alice@x.y"}), CustomerDeactivated])
-    ->whenCmd(ChangeEmail({customerId: cid("c1"), email: "alice2@x.y"}))
+    givenEvents([CustomerRegistered({email: aliceEmail}), CustomerDeactivated])
+    ->whenCmd(ChangeEmail({customerId: c1, email: aliceNewEmail}))
     ->thenError(CustomerAlreadyDeactivated)
   )
 })