@reventlessdev/online-shop-dcb-ordering 1.0.0-alpha.250 → 1.0.0-alpha.252

package/CHANGELOG.md

@@ -3,6 +3,22 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 1.0.0-alpha.252 (2026-09-23)
+
+**Note:** Version bump only for package @reventlessdev/online-shop-dcb-ordering
+
+
+
+
+
+# 1.0.0-alpha.251 (2026-09-23)
+
+**Note:** Version bump only for package @reventlessdev/online-shop-dcb-ordering
+
+
+
+
+
 # 1.0.0-alpha.250 (2026-09-22)
 
 **Note:** Version bump only for package @reventlessdev/online-shop-dcb-ordering

package/lib/bs/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1790058029728)
-#Done(1790058031891)
+#Start(1790194681255)
+#Done(1790194684463)

package/lib/bs/OrderingPlugin.mlmap

@@ -24,6 +24,7 @@ DeactivateCustomer_GWT
 EmailService
 LifecycleModel
 OrderId
+Ordering_Examples
 Orders
 Orders_ExtensionPointMapping
 Orders_ExtensionPointMapping_GWT

package/lib/bs/compiler-info.json

@@ -4,5 +4,5 @@
   "bsc_hash": "1006241435e8d5052329c523202a7fe6359a37e1e1688c023d37d6a7ebb5fb6d",
   "rescript_config_hash": "2b45634c4ef9d26c69e2cd8282eb5d077ce9cf087ded0065001d0f0d889e241c",
   "runtime_path": "/home/runner/work/reventless-core/reventless-core/node_modules/@rescript/runtime",
-  "generated_at": "1790058031892"
+  "generated_at": "1790194684481"
 }

package/lib/bs/tests/CatalogProduct/StateChange/SyncCatalogProduct_GWT.res

@@ -1,29 +1,33 @@
 @@reventless.gwt
 
-let pid = CatalogSpec.ProductId.make
+open Ordering_Examples
 
 describe("SyncCatalogProduct StateChangeSlice", () => {
+  // scenario-id: 7aa368ea-aa0c-4643-9ac1-73fa767d66ee
   test("SyncNewProduct produces CatalogProductSynced", () =>
     givenEvents([])
-    ->whenCmd(SyncNewProduct({productId: pid("p1"), name: "Laptop", price: 999.99}))
-    ->thenEvent(CatalogProductSynced({productId: pid("p1"), name: "Laptop", price: 999.99}))
+    ->whenCmd(SyncNewProduct({productId: p1, name: laptop, price: 999.99}))
+    ->thenEvent(CatalogProductSynced({productId: p1, name: laptop, price: 999.99}))
   )
 
+  // scenario-id: ec4e7784-783e-4b2c-855c-d2c111333658
   test("ChangeSyncedPrice produces CatalogProductPriceChanged", () =>
-    givenEvents([CatalogProductSynced({name: "Laptop", price: 999.99})])
-    ->whenCmd(ChangeSyncedPrice({productId: pid("p1"), price: 899.99}))
-    ->thenEvent(CatalogProductPriceChanged({productId: pid("p1"), price: 899.99}))
+    givenEvents([CatalogProductSynced({name: laptop, price: 999.99})])
+    ->whenCmd(ChangeSyncedPrice({productId: p1, price: 899.99}))
+    ->thenEvent(CatalogProductPriceChanged({productId: p1, price: 899.99}))
   )
 
+  // scenario-id: 20c38820-28d3-4fb4-b9c6-64000e089de9
   test("re-syncing identical product data produces no events (idempotent)", () =>
-    givenEvents([CatalogProductSynced({name: "Laptop", price: 999.99})])
-    ->whenCmd(SyncNewProduct({productId: pid("p1"), name: "Laptop", price: 999.99}))
+    givenEvents([CatalogProductSynced({name: laptop, price: 999.99})])
+    ->whenCmd(SyncNewProduct({productId: p1, name: laptop, price: 999.99}))
     ->thenNoEvent
   )
 
+  // scenario-id: 9d1cebd5-19ce-4352-905f-00353c078b9b
   test("re-applying the current price produces no events (idempotent)", () =>
-    givenEvents([CatalogProductSynced({name: "Laptop", price: 999.99})])
-    ->whenCmd(ChangeSyncedPrice({productId: pid("p1"), price: 999.99}))
+    givenEvents([CatalogProductSynced({name: laptop, price: 999.99})])
+    ->whenCmd(ChangeSyncedPrice({productId: p1, price: 999.99}))
     ->thenNoEvent
   )
 })

package/lib/bs/tests/CatalogProduct/StateChange/SyncCatalogProduct_GWT.res.mjs

@@ -1,7 +1,7 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-dcb-catalog-spec/src/ProductId.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 SyncCatalogProduct$OrderingPlugin from "../../../src/CatalogProduct/StateChange/SyncCatalogProduct.res.mjs";
 import * as SyncCatalogProduct_Behavior$OrderingPlugin from "../../../src/CatalogProduct/StateChange/SyncCatalogProduct_Behavior.res.mjs";
 
@@ -32,45 +32,45 @@ let thenNoEvent = include.thenNoEvent;
 describe("SyncCatalogProduct StateChangeSlice", () => {
   test("SyncNewProduct produces CatalogProductSynced", () => thenEvent(whenCmd(givenEvents([]), {
     TAG: "SyncNewProduct",
-    productId: ProductId$CatalogSpec.make("p1"),
-    name: "Laptop",
+    productId: Ordering_Examples$OrderingPlugin.p1,
+    name: Ordering_Examples$OrderingPlugin.laptop,
     price: 999.99
   }), {
     TAG: "CatalogProductSynced",
-    productId: ProductId$CatalogSpec.make("p1"),
-    name: "Laptop",
+    productId: Ordering_Examples$OrderingPlugin.p1,
+    name: Ordering_Examples$OrderingPlugin.laptop,
     price: 999.99
   }));
   test("ChangeSyncedPrice produces CatalogProductPriceChanged", () => thenEvent(whenCmd(givenEvents([{
       TAG: "CatalogProductSynced",
-      name: "Laptop",
+      name: Ordering_Examples$OrderingPlugin.laptop,
       price: 999.99
     }]), {
     TAG: "ChangeSyncedPrice",
-    productId: ProductId$CatalogSpec.make("p1"),
+    productId: Ordering_Examples$OrderingPlugin.p1,
     price: 899.99
   }), {
     TAG: "CatalogProductPriceChanged",
-    productId: ProductId$CatalogSpec.make("p1"),
+    productId: Ordering_Examples$OrderingPlugin.p1,
     price: 899.99
   }));
   test("re-syncing identical product data produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([{
       TAG: "CatalogProductSynced",
-      name: "Laptop",
+      name: Ordering_Examples$OrderingPlugin.laptop,
       price: 999.99
     }]), {
     TAG: "SyncNewProduct",
-    productId: ProductId$CatalogSpec.make("p1"),
-    name: "Laptop",
+    productId: Ordering_Examples$OrderingPlugin.p1,
+    name: Ordering_Examples$OrderingPlugin.laptop,
     price: 999.99
   })));
   test("re-applying the current price produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([{
       TAG: "CatalogProductSynced",
-      name: "Laptop",
+      name: Ordering_Examples$OrderingPlugin.laptop,
       price: 999.99
     }]), {
     TAG: "ChangeSyncedPrice",
-    productId: ProductId$CatalogSpec.make("p1"),
+    productId: Ordering_Examples$OrderingPlugin.p1,
     price: 999.99
   })));
 });
@@ -91,8 +91,6 @@ let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
 
-let pid = ProductId$CatalogSpec.make;
-
 export {
   Spec,
   describe,
@@ -108,6 +106,5 @@ export {
   thenError,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
-  pid,
 }
 /* include Not a pure module */

package/lib/bs/tests/CatalogProduct/StateView/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/bs/tests/CatalogProduct/StateView/AvailableProducts_GWT.res.mjs

@@ -3,6 +3,7 @@
 import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-dcb-catalog-spec/src/ProductId.res.mjs";
 import * as Projection_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Projection_GWT.res.mjs";
 import * as AvailableProducts$OrderingPlugin from "../../../src/CatalogProduct/StateView/AvailableProducts.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../../Ordering_Examples.res.mjs";
 import * as AvailableProducts_Projection$OrderingPlugin from "../../../src/CatalogProduct/StateView/AvailableProducts_Projection.res.mjs";
 
 let include = Projection_GWT$ReventlessGwt.Make({
@@ -28,26 +29,26 @@ let thenStateWithId = include.thenStateWithId;
 describe("AvailableProducts StateViewSlice", () => {
   test("CatalogProductSynced creates a row", undefined, () => thenStateWithId(whenEvent(givenEvents([]), {
     TAG: "CatalogProductSynced",
-    productId: ProductId$CatalogSpec.make("p1"),
-    name: "Laptop",
+    productId: Ordering_Examples$OrderingPlugin.p1,
+    name: Ordering_Examples$OrderingPlugin.laptop,
     price: 999.99
   }), "p1", {
-    productId: ProductId$CatalogSpec.make("p1"),
-    name: "Laptop",
+    productId: Ordering_Examples$OrderingPlugin.p1,
+    name: Ordering_Examples$OrderingPlugin.laptop,
     price: 999.99
   }));
   test("CatalogProductPriceChanged updates the price", undefined, () => thenStateWithId(whenEvent(givenEvents([{
       TAG: "CatalogProductSynced",
-      productId: ProductId$CatalogSpec.make("p1"),
-      name: "Laptop",
+      productId: Ordering_Examples$OrderingPlugin.p1,
+      name: Ordering_Examples$OrderingPlugin.laptop,
       price: 999.99
     }]), {
     TAG: "CatalogProductPriceChanged",
-    productId: ProductId$CatalogSpec.make("p1"),
+    productId: Ordering_Examples$OrderingPlugin.p1,
     price: 899.99
   }), "p1", {
-    productId: ProductId$CatalogSpec.make("p1"),
-    name: "Laptop",
+    productId: Ordering_Examples$OrderingPlugin.p1,
+    name: Ordering_Examples$OrderingPlugin.laptop,
     price: 899.99
   }));
 });
@@ -74,8 +75,6 @@ let thenThrow = include.thenThrow;
 
 let thenFail = include.thenFail;
 
-let pid = ProductId$CatalogSpec.make;
-
 export {
   Spec,
   describe,
@@ -93,6 +92,5 @@ export {
   thenNoState,
   thenThrow,
   thenFail,
-  pid,
 }
 /* include Not a pure module */

package/lib/bs/tests/Customer/StateChange/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/bs/tests/Customer/StateChange/ChangeAddress_GWT.res.mjs

@@ -1,8 +1,8 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-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 ChangeAddress$OrderingPlugin from "../../../src/Customer/StateChange/ChangeAddress.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../../Ordering_Examples.res.mjs";
 import * as ChangeAddress_Behavior$OrderingPlugin from "../../../src/Customer/StateChange/ChangeAddress_Behavior.res.mjs";
 
 let include = Behavior_GWT$ReventlessGwt.Make({
@@ -34,39 +34,39 @@ let thenError = include.thenError;
 describe("ChangeAddress StateChangeSlice", () => {
   test("non-existent customer returns CustomerNotFound", () => thenError(whenCmd(givenEvents([]), {
     TAG: "ChangeAddress",
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    address: "789 Pine"
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    address: Ordering_Examples$OrderingPlugin.pineStreet
   }), "CustomerNotFound"));
   test("active customer produces AddressChanged", () => thenEvent(whenCmd(givenEvents([{
       TAG: "CustomerRegistered",
-      address: "123 Main"
+      address: Ordering_Examples$OrderingPlugin.mainStreet
     }]), {
     TAG: "ChangeAddress",
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    address: "789 Pine"
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    address: Ordering_Examples$OrderingPlugin.pineStreet
   }), {
     TAG: "AddressChanged",
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    address: "789 Pine"
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    address: Ordering_Examples$OrderingPlugin.pineStreet
   }));
   test("same address produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([{
       TAG: "CustomerRegistered",
-      address: "123 Main"
+      address: Ordering_Examples$OrderingPlugin.mainStreet
     }]), {
     TAG: "ChangeAddress",
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    address: "123 Main"
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    address: Ordering_Examples$OrderingPlugin.mainStreet
   })));
   test("deactivated customer returns CustomerAlreadyDeactivated", () => thenError(whenCmd(givenEvents([
     {
       TAG: "CustomerRegistered",
-      address: "123 Main"
+      address: Ordering_Examples$OrderingPlugin.mainStreet
     },
     "CustomerDeactivated"
   ]), {
     TAG: "ChangeAddress",
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    address: "789 Pine"
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    address: Ordering_Examples$OrderingPlugin.pineStreet
   }), "CustomerAlreadyDeactivated"));
 });
 
@@ -84,8 +84,6 @@ let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
 
-let cid = CustomerId$OrderingPlugin.make;
-
 export {
   Spec,
   describe,
@@ -101,6 +99,5 @@ export {
   thenError,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
-  cid,
 }
 /* include Not a pure module */

package/lib/bs/tests/Customer/StateChange/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)
   )
 })

package/lib/bs/tests/Customer/StateChange/ChangeEmail_GWT.res.mjs

@@ -1,8 +1,8 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-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 ChangeEmail$OrderingPlugin from "../../../src/Customer/StateChange/ChangeEmail.res.mjs";
+import * as Ordering_Examples$OrderingPlugin from "../../Ordering_Examples.res.mjs";
 import * as ChangeEmail_Behavior$OrderingPlugin from "../../../src/Customer/StateChange/ChangeEmail_Behavior.res.mjs";
 
 let include = Behavior_GWT$ReventlessGwt.Make({
@@ -34,39 +34,39 @@ let thenError = include.thenError;
 describe("ChangeEmail StateChangeSlice", () => {
   test("non-existent customer returns CustomerNotFound", () => thenError(whenCmd(givenEvents([]), {
     TAG: "ChangeEmail",
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    email: "alice2@x.y"
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    email: Ordering_Examples$OrderingPlugin.aliceNewEmail
   }), "CustomerNotFound"));
   test("active customer produces EmailChanged", () => thenEvent(whenCmd(givenEvents([{
       TAG: "CustomerRegistered",
-      email: "alice@x.y"
+      email: Ordering_Examples$OrderingPlugin.aliceEmail
     }]), {
     TAG: "ChangeEmail",
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    email: "alice2@x.y"
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    email: Ordering_Examples$OrderingPlugin.aliceNewEmail
   }), {
     TAG: "EmailChanged",
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    email: "alice2@x.y"
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    email: Ordering_Examples$OrderingPlugin.aliceNewEmail
   }));
   test("same email produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([{
       TAG: "CustomerRegistered",
-      email: "alice@x.y"
+      email: Ordering_Examples$OrderingPlugin.aliceEmail
     }]), {
     TAG: "ChangeEmail",
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    email: "alice@x.y"
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    email: Ordering_Examples$OrderingPlugin.aliceEmail
   })));
   test("deactivated customer returns CustomerAlreadyDeactivated", () => thenError(whenCmd(givenEvents([
     {
       TAG: "CustomerRegistered",
-      email: "alice@x.y"
+      email: Ordering_Examples$OrderingPlugin.aliceEmail
     },
     "CustomerDeactivated"
   ]), {
     TAG: "ChangeEmail",
-    customerId: CustomerId$OrderingPlugin.make("c1"),
-    email: "alice2@x.y"
+    customerId: Ordering_Examples$OrderingPlugin.c1,
+    email: Ordering_Examples$OrderingPlugin.aliceNewEmail
   }), "CustomerAlreadyDeactivated"));
 });
 
@@ -84,8 +84,6 @@ let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
 
-let cid = CustomerId$OrderingPlugin.make;
-
 export {
   Spec,
   describe,
@@ -101,6 +99,5 @@ export {
   thenError,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
-  cid,
 }
 /* include Not a pure module */