@reventlessdev/online-shop-aggregates-ordering 3.0.0-alpha.249 → 3.0.0-alpha.251

package/tests/Customer/Aggregate/Customer_GWT.res.mjs

@@ -3,6 +3,7 @@
 import * as Customer$OrderingPlugin from "../../../src/Customer/Aggregate/Customer.res.mjs";
 import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
 import * as Customer_Behavior$OrderingPlugin from "../../../src/Customer/Aggregate/Customer_Behavior.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../../Ordering_Examples.res.mjs";
 
 let include = Behavior_GWT$ReventlessGwt.MakeFromAggregate({
   name: Customer$OrderingPlugin.name,
@@ -40,42 +41,42 @@ let thenError = include.thenError;
 describe("Customer Behavior", () => {
   test("Register on new aggregate produces Registered", () => thenEvent(whenCmd(givenEvents([]), {
     TAG: "Register",
-    email: "alice@example.com",
-    address: "123 Main St"
+    email: Ordering_Examples$OrderingPlugin.aliceEmail,
+    address: Ordering_Examples$OrderingPlugin.mainStreet
   }), {
     TAG: "Registered",
-    email: "alice@example.com",
-    address: "123 Main St"
+    email: Ordering_Examples$OrderingPlugin.aliceEmail,
+    address: Ordering_Examples$OrderingPlugin.mainStreet
   }));
   test("Register on existing aggregate returns CustomerAlreadyRegistered", () => thenError(whenCmd(givenEvents([{
       TAG: "Registered",
-      email: "alice@example.com",
-      address: "123 Main St"
+      email: Ordering_Examples$OrderingPlugin.aliceEmail,
+      address: Ordering_Examples$OrderingPlugin.mainStreet
     }]), {
     TAG: "Register",
-    email: "bob@example.com",
-    address: "456 Oak Ave"
+    email: Ordering_Examples$OrderingPlugin.bobEmail,
+    address: Ordering_Examples$OrderingPlugin.oakAvenue
   }), "CustomerAlreadyRegistered"));
   test("Register on deactivated aggregate returns CustomerAlreadyDeactivated", () => thenError(whenCmd(givenEvents([
     {
       TAG: "Registered",
-      email: "alice@example.com",
-      address: "123 Main St"
+      email: Ordering_Examples$OrderingPlugin.aliceEmail,
+      address: Ordering_Examples$OrderingPlugin.mainStreet
     },
     "Deactivated"
   ]), {
     TAG: "Register",
-    email: "bob@example.com",
-    address: "456 Oak Ave"
+    email: Ordering_Examples$OrderingPlugin.bobEmail,
+    address: Ordering_Examples$OrderingPlugin.oakAvenue
   }), "CustomerAlreadyDeactivated"));
   test("UpdateEmail on non-existent aggregate returns CustomerNotFound", () => thenError(whenCmd(givenEvents([]), {
     TAG: "UpdateEmail",
-    email: "bob@example.com"
+    email: Ordering_Examples$OrderingPlugin.bobEmail
   }), "CustomerNotFound"));
   test("UpdateEmail on active customer produces EmailUpdated", () => thenEvent(whenCmd(givenEvents([{
       TAG: "Registered",
-      email: "alice@example.com",
-      address: "123 Main St"
+      email: Ordering_Examples$OrderingPlugin.aliceEmail,
+      address: Ordering_Examples$OrderingPlugin.mainStreet
     }]), {
     TAG: "UpdateEmail",
     email: "alice2@example.com"
@@ -85,22 +86,22 @@ describe("Customer Behavior", () => {
   }));
   test("UpdateEmail to same email produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([{
       TAG: "Registered",
-      email: "alice@example.com",
-      address: "123 Main St"
+      email: Ordering_Examples$OrderingPlugin.aliceEmail,
+      address: Ordering_Examples$OrderingPlugin.mainStreet
     }]), {
     TAG: "UpdateEmail",
-    email: "alice@example.com"
+    email: Ordering_Examples$OrderingPlugin.aliceEmail
   })));
   test("UpdateEmail on deactivated customer returns CustomerAlreadyDeactivated", () => thenError(whenCmd(givenEvents([
     {
       TAG: "Registered",
-      email: "alice@example.com",
-      address: "123 Main St"
+      email: Ordering_Examples$OrderingPlugin.aliceEmail,
+      address: Ordering_Examples$OrderingPlugin.mainStreet
     },
     "Deactivated"
   ]), {
     TAG: "UpdateEmail",
-    email: "bob@example.com"
+    email: Ordering_Examples$OrderingPlugin.bobEmail
   }), "CustomerAlreadyDeactivated"));
   test("UpdateAddress on non-existent aggregate returns CustomerNotFound", () => thenError(whenCmd(givenEvents([]), {
     TAG: "UpdateAddress",
@@ -108,8 +109,8 @@ describe("Customer Behavior", () => {
   }), "CustomerNotFound"));
   test("UpdateAddress on active customer produces AddressUpdated", () => thenEvent(whenCmd(givenEvents([{
       TAG: "Registered",
-      email: "alice@example.com",
-      address: "123 Main St"
+      email: Ordering_Examples$OrderingPlugin.aliceEmail,
+      address: Ordering_Examples$OrderingPlugin.mainStreet
     }]), {
     TAG: "UpdateAddress",
     address: "789 Pine Rd"
@@ -119,23 +120,23 @@ describe("Customer Behavior", () => {
   }));
   test("UpdateAddress to same address produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([{
       TAG: "Registered",
-      email: "alice@example.com",
-      address: "123 Main St"
+      email: Ordering_Examples$OrderingPlugin.aliceEmail,
+      address: Ordering_Examples$OrderingPlugin.mainStreet
     }]), {
     TAG: "UpdateAddress",
-    address: "123 Main St"
+    address: Ordering_Examples$OrderingPlugin.mainStreet
   })));
   test("Deactivate on non-existent aggregate returns CustomerNotFound", () => thenError(whenCmd(givenEvents([]), "Deactivate"), "CustomerNotFound"));
   test("Deactivate on active customer produces Deactivated", () => thenEvent(whenCmd(givenEvents([{
       TAG: "Registered",
-      email: "alice@example.com",
-      address: "123 Main St"
+      email: Ordering_Examples$OrderingPlugin.aliceEmail,
+      address: Ordering_Examples$OrderingPlugin.mainStreet
     }]), "Deactivate"), "Deactivated"));
   test("Deactivate on deactivated customer produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([
     {
       TAG: "Registered",
-      email: "alice@example.com",
-      address: "123 Main St"
+      email: Ordering_Examples$OrderingPlugin.aliceEmail,
+      address: Ordering_Examples$OrderingPlugin.mainStreet
     },
     "Deactivated"
   ]), "Deactivate")));

package/tests/Customer/ReadModel/Customers_GWT.res

@@ -1,24 +1,28 @@
 @@reventless.gwt(Customers_Projections.CustomerMapping)
 
 describe("Customers ReadModel ← Customer", () => {
+  // scenario-id: d64df451-1238-400b-b146-4bd84dfb232b
   test("Registered sets initial read model state", () =>
     givenEvents([])
     ->whenEvent(Customer.Registered({email: "alice@example.com", address: "123 Main St"}))
     ->thenState({Customers.email: "alice@example.com", address: "123 Main St", deactivated: false})
   )
 
+  // scenario-id: 80d62196-a14f-4da6-9993-384996b0be93
   test("EmailUpdated updates the email", () =>
     givenEvents([Customer.Registered({email: "alice@example.com", address: "123 Main St"})])
     ->whenEvent(Customer.EmailUpdated({email: "alice2@example.com"}))
     ->thenState({Customers.email: "alice2@example.com", address: "123 Main St", deactivated: false})
   )
 
+  // scenario-id: 55ce1763-d498-440d-8c19-2dc8adfa69e2
   test("AddressUpdated updates the address", () =>
     givenEvents([Customer.Registered({email: "alice@example.com", address: "123 Main St"})])
     ->whenEvent(Customer.AddressUpdated({address: "789 Pine Rd"}))
     ->thenState({Customers.email: "alice@example.com", address: "789 Pine Rd", deactivated: false})
   )
 
+  // scenario-id: 9885a011-7448-431f-ae96-629aae5f9823
   test("Deactivated sets deactivated flag", () =>
     givenEvents([Customer.Registered({email: "alice@example.com", address: "123 Main St"})])
     ->whenEvent(Customer.Deactivated)

package/tests/Extension/Products_Extension_GWT.res

@@ -5,16 +5,17 @@
 // `Mapping` is brought into scope by the PPX `open Products_Extension`; opening
 // it surfaces the extension point's events and the delegate's commands.
 open Mapping
-
-let p1 = CatalogSpec.ProductId.make("p1")
+open Ordering_Examples
 
 describe("Products Extension delegate", () => {
+  // scenario-id: 4c14eb06-02b8-41ae-b0b8-cf33ef430e93
   test("ProductBecameAvailable issues Sync", () =>
     whenIncomingEvent(
       ExtensionPoint.ProductBecameAvailable({productId: p1, name: "Book", price: 9.99}),
     )->thenPublishesAggregateCommand("p1", Delegate.Sync({name: "Book", price: 9.99}))
   )
 
+  // scenario-id: d3760e9e-c4f6-4a2f-bb5a-8e57a965ba68
   test("ProductPriceChanged issues UpdatePrice", () =>
     whenIncomingEvent(
       ExtensionPoint.ProductPriceChanged({productId: p1, price: 7.5}),

package/tests/Extension/Products_Extension_GWT.res.mjs

@@ -3,6 +3,7 @@
 import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-aggregates-catalog-spec/src/ProductId.res.mjs";
 import * as Delegate_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Delegate_GWT.res.mjs";
 import * as CatalogProduct$OrderingPlugin from "../../src/CatalogProduct/Aggregate/CatalogProduct.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../Ordering_Examples.res.mjs";
 import * as Products_Extension$OrderingPlugin from "../../src/Extension/Products_Extension.res.mjs";
 import * as Products_ExtensionPoint$CatalogSpec from "@reventlessdev/online-shop-aggregates-catalog-spec/src/Products_ExtensionPoint.res.mjs";
 
@@ -41,12 +42,10 @@ let whenIncomingEvent = include.whenIncomingEvent;
 
 let thenPublishesAggregateCommand = include.thenPublishesAggregateCommand;
 
-let p1 = ProductId$CatalogSpec.make("p1");
-
 describe("Products Extension delegate", () => {
   test("ProductBecameAvailable issues Sync", undefined, () => thenPublishesAggregateCommand(whenIncomingEvent({
     TAG: "ProductBecameAvailable",
-    productId: p1,
+    productId: Ordering_Examples$OrderingPlugin.p1,
     name: "Book",
     price: 9.99
   }), "p1", {
@@ -56,7 +55,7 @@ describe("Products Extension delegate", () => {
   }));
   test("ProductPriceChanged issues UpdatePrice", undefined, () => thenPublishesAggregateCommand(whenIncomingEvent({
     TAG: "ProductPriceChanged",
-    productId: p1,
+    productId: Ordering_Examples$OrderingPlugin.p1,
     price: 7.5
   }), "p1", {
     TAG: "UpdatePrice",
@@ -108,6 +107,5 @@ export {
   thenHandlesDirective,
   thenHandlesDirectives,
   thenHandlesNoDirective,
-  p1,
 }
 /* include Not a pure module */

package/tests/ExtensionPoint/Orders_ExtensionPointMapping_GWT.res

@@ -2,11 +2,10 @@
 // into one public per-product event each (one-to-many fan-out).
 @@reventless.gwt
 
-let c1 = CustomerId.make("c1")
-let p1 = CatalogSpec.ProductId.make("p1")
-let p2 = CatalogSpec.ProductId.make("p2")
+open Ordering_Examples
 
 describe("Orders ExtensionPoint mapping — per-product fan-out", () => {
+  // scenario-id: b3fe53fe-84bd-4bb7-aca3-a0f9db5a186f
   test("Placed fans out to one ItemOrdered per product", () =>
     whenDelegateEvent(
       Delegate.Placed({customerId: c1, productIds: [p1, p2]}),
@@ -16,6 +15,7 @@ describe("Orders ExtensionPoint mapping — per-product fan-out", () => {
     ])
   )
 
+  // scenario-id: c916b814-2006-4d62-9fff-60bb99ddcfd3
   test("Cancelled fans out to one ItemOrderCancelled per product", () =>
     whenDelegateEvent(Delegate.Cancelled({productIds: [p1, p2]}))->thenPublishesEvents([
       ("p1", ExtensionPoint.ItemOrderCancelled({productId: "p1", orderId: "gwt-id"})),
@@ -23,8 +23,10 @@ describe("Orders ExtensionPoint mapping — per-product fan-out", () => {
     ])
   )
 
+  // scenario-id: 3647a0be-51ed-4d6d-83b3-9fa53a596e49
   test("Shipped publishes nothing", () => whenDelegateEvent(Delegate.Shipped)->thenPublishesNothing)
 
+  // scenario-id: 0ac71311-60e6-4373-b078-96cfaf91724d
   test("Refunded publishes nothing", () =>
     whenDelegateEvent(Delegate.Refunded({reason: "customer-changed-mind"}))->thenPublishesNothing
   )

package/tests/ExtensionPoint/Orders_ExtensionPointMapping_GWT.res.mjs

@@ -1,10 +1,9 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as Order$OrderingPlugin from "../../src/Order/Aggregate/Order.res.mjs";
-import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-aggregates-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 Delegate_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Delegate_GWT.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../Ordering_Examples.res.mjs";
 import * as Orders_ExtensionPoint$OrderingSpec from "@reventlessdev/online-shop-aggregates-ordering-spec/src/Orders_ExtensionPoint.res.mjs";
 import * as Orders_ExtensionPointMapping$OrderingPlugin from "../../src/ExtensionPoint/Orders_ExtensionPointMapping.res.mjs";
 
@@ -44,19 +43,13 @@ let whenDelegateEvent = include.whenDelegateEvent;
 
 let thenPublishesEvents = include.thenPublishesEvents;
 
-let c1 = CustomerId$OrderingPlugin.make("c1");
-
-let p1 = ProductId$CatalogSpec.make("p1");
-
-let p2 = ProductId$CatalogSpec.make("p2");
-
 describe("Orders ExtensionPoint mapping — per-product fan-out", () => {
   test("Placed fans out to one ItemOrdered per product", undefined, () => thenPublishesEvents(whenDelegateEvent({
     TAG: "Placed",
-    customerId: c1,
+    customerId: Ordering_Examples$OrderingPlugin.c1,
     productIds: [
-      p1,
-      p2
+      Ordering_Examples$OrderingPlugin.p1,
+      Ordering_Examples$OrderingPlugin.p2
     ]
   }), [
     [
@@ -81,8 +74,8 @@ describe("Orders ExtensionPoint mapping — per-product fan-out", () => {
   test("Cancelled fans out to one ItemOrderCancelled per product", undefined, () => thenPublishesEvents(whenDelegateEvent({
     TAG: "Cancelled",
     productIds: [
-      p1,
-      p2
+      Ordering_Examples$OrderingPlugin.p1,
+      Ordering_Examples$OrderingPlugin.p2
     ]
   }), [
     [
@@ -151,8 +144,5 @@ export {
   thenHandlesDirective,
   thenHandlesDirectives,
   thenHandlesNoDirective,
-  c1,
-  p1,
-  p2,
 }
 /* include Not a pure module */

package/tests/Order/Aggregate/OrderMappings_GWT.res

@@ -22,6 +22,7 @@ let prod1 = CatalogSpec.ProductId.make("prod-1")
 let placedEvent = Order.Placed({customerId: cust1, productIds: [prod1]})
 
 describe("Order auto-ship mapping (Placed → Ship)", () => {
+  // scenario-id: 2fd227c7-248e-47be-939a-467bceeb8796
   test("Place → AutoShipMapping issues Ship → target emits Shipped", () =>
     givenSourceEvents([])
     ->andTargetEvents([("order-1", [placedEvent])])
@@ -29,6 +30,7 @@ describe("Order auto-ship mapping (Placed → Ship)", () => {
     ->thenTargetEvent("order-1", Order.Shipped)
   )
 
+  // scenario-id: 366966a9-f65a-44cf-9bd2-4df7ef7bced4
   test("Ship command does not fire the mapping (only Placed events do)", () =>
     givenSourceEvents([placedEvent])
     ->andTargetEvents([("order-1", [placedEvent])])
@@ -36,6 +38,7 @@ describe("Order auto-ship mapping (Placed → Ship)", () => {
     ->thenNoTargetEvent
   )
 
+  // scenario-id: c6203367-d2ff-4903-b1a2-8cc259ec62ee
   test("Cancel command does not fire the mapping", () =>
     givenSourceEvents([placedEvent])
     ->andTargetEvents([("order-1", [placedEvent])])
@@ -43,6 +46,7 @@ describe("Order auto-ship mapping (Placed → Ship)", () => {
     ->thenNoTargetEvent
   )
 
+  // scenario-id: d20d610d-7ec8-4767-8d88-4556c1bf7059
   test("Refund command does not fire the mapping (only Placed events do)", () =>
     givenSourceEvents([placedEvent, Order.Cancelled({productIds: [prod1]})])
     ->andTargetEvents([("order-1", [placedEvent, Order.Cancelled({productIds: [prod1]})])])

package/tests/Order/Aggregate/Order_GWT.res

@@ -1,29 +1,35 @@
 @@reventless.gwt
 
+open Ordering_Examples
+
 // Ids are typed; the literals are made once, here.
 let cust1 = CustomerId.make("cust-1")
 let prod1 = CatalogSpec.ProductId.make("prod-1")
 let prod2 = CatalogSpec.ProductId.make("prod-2")
 
 describe("Order Behavior", () => {
+  // scenario-id: 4f723805-10e2-4b72-b40a-6cf71e91c375
   test("Place on new aggregate produces Placed", () =>
     givenEvents([])
     ->whenCmd(Place({customerId: cust1, productIds: [prod1, prod2]}))
     ->thenEvent(Placed({customerId: cust1, productIds: [prod1, prod2]}))
   )
 
+  // scenario-id: 061fb189-7195-474f-8010-0a0339d7cf11
   test("Place on existing order returns OrderAlreadyPlaced", () =>
     givenEvents([Placed({customerId: cust1, productIds: [prod1]})])
     ->whenCmd(Place({customerId: cust1, productIds: [prod1]}))
     ->thenError(OrderAlreadyPlaced)
   )
 
+  // scenario-id: 3cb519a2-53ba-4f66-938f-2d5e4a3b736b
   test("Place on shipped order returns OrderAlreadyShipped", () =>
     givenEvents([Placed({customerId: cust1, productIds: [prod1]}), Shipped])
     ->whenCmd(Place({customerId: cust1, productIds: [prod1]}))
     ->thenError(OrderAlreadyShipped)
   )
 
+  // scenario-id: e74bad7c-abe6-4313-9290-b20f75897285
   test("Place on cancelled order returns OrderAlreadyCancelled", () =>
     givenEvents([
       Placed({customerId: cust1, productIds: [prod1]}),
@@ -33,24 +39,28 @@ describe("Order Behavior", () => {
     ->thenError(OrderAlreadyCancelled)
   )
 
+  // scenario-id: 1e97733f-32dd-473a-86e9-6c2cfec8f813
   test("Ship on non-existent order returns OrderNotFound", () =>
     givenEvents([])
     ->whenCmd(Ship)
     ->thenError(OrderNotFound)
   )
 
+  // scenario-id: 54073db7-f835-4d89-a648-71b6dc4869c2
   test("Ship on placed order produces Shipped", () =>
     givenEvents([Placed({customerId: cust1, productIds: [prod1]})])
     ->whenCmd(Ship)
     ->thenEvent(Shipped)
   )
 
+  // scenario-id: 2d4c200e-ece6-40c4-a67d-460f5beca59e
   test("Ship on shipped order produces no events (idempotent)", () =>
     givenEvents([Placed({customerId: cust1, productIds: [prod1]}), Shipped])
     ->whenCmd(Ship)
     ->thenNoEvent
   )
 
+  // scenario-id: 08783980-65d7-4114-b4ef-f0f95b0b3fc5
   test("Ship on cancelled order returns OrderAlreadyCancelled", () =>
     givenEvents([
       Placed({customerId: cust1, productIds: [prod1]}),
@@ -60,24 +70,28 @@ describe("Order Behavior", () => {
     ->thenError(OrderAlreadyCancelled)
   )
 
+  // scenario-id: 2104ec68-2de0-464b-b8f8-379f47b03db9
   test("Cancel on non-existent order returns OrderNotFound", () =>
     givenEvents([])
     ->whenCmd(Cancel)
     ->thenError(OrderNotFound)
   )
 
+  // scenario-id: 3d974a23-5eb6-4463-9824-e61b0fa5a278
   test("Cancel on placed order produces Cancelled", () =>
     givenEvents([Placed({customerId: cust1, productIds: [prod1]})])
     ->whenCmd(Cancel)
     ->thenEvent(Cancelled({productIds: [prod1]}))
   )
 
+  // scenario-id: 6144fcb7-d768-4237-9e67-e530c736210d
   test("Cancel on shipped order returns OrderAlreadyShipped", () =>
     givenEvents([Placed({customerId: cust1, productIds: [prod1]}), Shipped])
     ->whenCmd(Cancel)
     ->thenError(OrderAlreadyShipped)
   )
 
+  // scenario-id: 07679806-2e68-4cdb-b8c0-8cc67bd65fa7
   test("Cancel on cancelled order produces no events (idempotent)", () =>
     givenEvents([
       Placed({customerId: cust1, productIds: [prod1]}),
@@ -87,40 +101,45 @@ describe("Order Behavior", () => {
     ->thenNoEvent
   )
 
+  // scenario-id: aa624dbf-659b-4685-8695-4203e23a855f
   test("Refund on non-existent order returns OrderNotFound", () =>
     givenEvents([])
     ->whenCmd(Refund({reason: "lost-in-transit"}))
     ->thenError(OrderNotFound)
   )
 
+  // scenario-id: cf56897b-1cf0-4768-8ada-eae11c069d95
   test("Refund on placed order returns OrderNotCancelled", () =>
     givenEvents([Placed({customerId: cust1, productIds: [prod1]})])
-    ->whenCmd(Refund({reason: "customer-changed-mind"}))
+    ->whenCmd(Refund({reason: changedMind}))
     ->thenError(OrderNotCancelled)
   )
 
+  // scenario-id: 802fb4a7-3768-4c6d-8a54-444f44891515
   test("Refund on shipped order returns OrderNotCancelled", () =>
     givenEvents([Placed({customerId: cust1, productIds: [prod1]}), Shipped])
     ->whenCmd(Refund({reason: "delivered-damaged"}))
     ->thenError(OrderNotCancelled)
   )
 
+  // scenario-id: d9f7692d-4d64-41d9-b845-f5958fe95bc0
   test("Refund on cancelled order produces Refunded", () =>
     givenEvents([
       Placed({customerId: cust1, productIds: [prod1]}),
       Cancelled({productIds: [prod1]}),
     ])
-    ->whenCmd(Refund({reason: "customer-changed-mind"}))
-    ->thenEvent(Refunded({reason: "customer-changed-mind"}))
+    ->whenCmd(Refund({reason: changedMind}))
+    ->thenEvent(Refunded({reason: changedMind}))
   )
 
+  // scenario-id: 4ced8701-2214-4f05-89ed-057b130979ad
   test("Refund on already-refunded order produces no events (idempotent)", () =>
     givenEvents([
       Placed({customerId: cust1, productIds: [prod1]}),
       Cancelled({productIds: [prod1]}),
-      Refunded({reason: "customer-changed-mind"}),
+      Refunded({reason: changedMind}),
     ])
-    ->whenCmd(Refund({reason: "customer-changed-mind"}))
+    ->whenCmd(Refund({reason: changedMind}))
     ->thenNoEvent
   )
 })

package/tests/Order/Aggregate/Order_GWT.res.mjs

@@ -5,6 +5,7 @@ import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-aggregates-ca
 import * as CustomerId$OrderingPlugin from "../../../src/Customer/CustomerId.res.mjs";
 import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
 import * as Order_Behavior$OrderingPlugin from "../../../src/Order/Aggregate/Order_Behavior.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../../Ordering_Examples.res.mjs";
 
 let include = Behavior_GWT$ReventlessGwt.MakeFromAggregate({
   name: Order$OrderingPlugin.name,
@@ -160,7 +161,7 @@ describe("Order Behavior", () => {
       productIds: [prod1]
     }]), {
     TAG: "Refund",
-    reason: "customer-changed-mind"
+    reason: Ordering_Examples$OrderingPlugin.changedMind
   }), "OrderNotCancelled"));
   test("Refund on shipped order returns OrderNotCancelled", () => thenError(whenCmd(givenEvents([
     {
@@ -185,10 +186,10 @@ describe("Order Behavior", () => {
     }
   ]), {
     TAG: "Refund",
-    reason: "customer-changed-mind"
+    reason: Ordering_Examples$OrderingPlugin.changedMind
   }), {
     TAG: "Refunded",
-    reason: "customer-changed-mind"
+    reason: Ordering_Examples$OrderingPlugin.changedMind
   }));
   test("Refund on already-refunded order produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([
     {
@@ -202,11 +203,11 @@ describe("Order Behavior", () => {
     },
     {
       TAG: "Refunded",
-      reason: "customer-changed-mind"
+      reason: Ordering_Examples$OrderingPlugin.changedMind
     }
   ]), {
     TAG: "Refund",
-    reason: "customer-changed-mind"
+    reason: Ordering_Examples$OrderingPlugin.changedMind
   })));
 });
 

package/tests/Order/ReadModel/Orders_GWT.res

@@ -6,6 +6,7 @@ let prod1 = CatalogSpec.ProductId.make("prod-1")
 let prod2 = CatalogSpec.ProductId.make("prod-2")
 
 describe("Orders ReadModel ← Order", () => {
+  // scenario-id: 94f5938c-adf9-42c2-8986-1204e0aa0710
   test("Placed sets initial read model state", () =>
     givenEvents([])
     ->whenEvent(Order.Placed({customerId: cust1, productIds: [prod1, prod2]}))
@@ -16,6 +17,7 @@ describe("Orders ReadModel ← Order", () => {
     })
   )
 
+  // scenario-id: 4b7e916e-e7db-4c00-9337-9e2fe4104c93
   test("Shipped updates status", () =>
     givenEvents([Order.Placed({customerId: cust1, productIds: [prod1]})])
     ->whenEvent(Order.Shipped)
@@ -26,6 +28,7 @@ describe("Orders ReadModel ← Order", () => {
     })
   )
 
+  // scenario-id: a56314fa-907f-425a-80e6-a7ea1a27d6c9
   test("Cancelled updates status", () =>
     givenEvents([Order.Placed({customerId: cust1, productIds: [prod1]})])
     ->whenEvent(Order.Cancelled({productIds: [prod1]}))
@@ -36,6 +39,7 @@ describe("Orders ReadModel ← Order", () => {
     })
   )
 
+  // scenario-id: 96902cd1-2eae-4a35-b5c6-6d28dc9acda7
   test("Refunded updates status", () =>
     givenEvents([
       Order.Placed({customerId: cust1, productIds: [prod1]}),

package/tests/Ordering_Examples.res

@@ -0,0 +1,13 @@
+@@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 aliceEmail: string = "alice@example.com"
+let bobEmail: string = "bob@example.com"
+let changedMind: string = "customer-changed-mind"
+let laptop: string = "Laptop"
+let mainStreet: string = "123 Main St"
+let oakAvenue: string = "456 Oak Ave"

package/tests/Ordering_Examples.res.mjs

@@ -0,0 +1,35 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-aggregates-catalog-spec/src/ProductId.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 aliceEmail = "alice@example.com";
+
+let bobEmail = "bob@example.com";
+
+let changedMind = "customer-changed-mind";
+
+let laptop = "Laptop";
+
+let mainStreet = "123 Main St";
+
+let oakAvenue = "456 Oak Ave";
+
+export {
+  p1,
+  p2,
+  c1,
+  aliceEmail,
+  bobEmail,
+  changedMind,
+  laptop,
+  mainStreet,
+  oakAvenue,
+}
+/* p1 Not a pure module */