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

package/lib/ocaml/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/ocaml/Orders_ExtensionPointMapping_GWT.res

@@ -2,17 +2,16 @@
 // into one public per-product event each (one-to-many fan-out).
 @@reventless.gwt
 
-let cid = CustomerId.make
-let oid = OrderId.make
-let pid = CatalogSpec.ProductId.make
+open Ordering_Examples
 
 describe("Orders ExtensionPoint mapping — per-product fan-out", () => {
+  // scenario-id: 1a9119c4-48fe-4f5f-b357-a3326dcd4ae9
   test("OrderPlaced fans out to one ItemOrdered per product", () =>
     whenDelegateEvent(
       Delegate.OrderPlaced({
-        orderId: oid("o1"),
-        customerId: cid("c1"),
-        productIds: [pid("p1"), pid("p2")],
+        orderId: o1,
+        customerId: c1,
+        productIds: [p1, p2],
       }),
     )->thenPublishesEvents([
       ("p1", ExtensionPoint.ItemOrdered({productId: "p1", orderId: "o1", customerId: "c1"})),
@@ -20,9 +19,10 @@ describe("Orders ExtensionPoint mapping — per-product fan-out", () => {
     ])
   )
 
+  // scenario-id: c8a2bb56-33d0-4f1d-a9f0-220e4e04f755
   test("OrderCancelled fans out to one ItemOrderCancelled per product", () =>
     whenDelegateEvent(
-      Delegate.OrderCancelled({orderId: oid("o1"), productIds: [pid("p1"), pid("p2")]}),
+      Delegate.OrderCancelled({orderId: o1, productIds: [p1, p2]}),
     )->thenPublishesEvents([
       ("p1", ExtensionPoint.ItemOrderCancelled({productId: "p1", orderId: "o1"})),
       ("p2", ExtensionPoint.ItemOrderCancelled({productId: "p2", orderId: "o1"})),

package/lib/ocaml/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/ocaml/PlaceOrder_GWT.res

@@ -1,39 +1,40 @@
 @@reventless.gwt
 
-let cid = CustomerId.make
-let oid = OrderId.make
-let pid = CatalogSpec.ProductId.make
+open Ordering_Examples
 
 describe("PlaceOrder StateChangeSlice", () => {
+  // scenario-id: 2165f9d4-87c0-4f25-a4f6-c3e0ac59a41b
   test("requires referenced products to be synced first", () =>
     givenEvents([])
-    ->whenCmd(PlaceOrder({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")]}))
-    ->thenError(ProductsNotAvailable({missing: [pid("p1")]}))
+    ->whenCmd(PlaceOrder({orderId: o1, customerId: c1, productIds: [p1]}))
+    ->thenError(ProductsNotAvailable({missing: [p1]}))
   )
 
+  // scenario-id: d20adf8e-1883-4e2f-8d22-10f2470a1f44
   test("placement succeeds when products are available", () =>
-    givenEvents([CatalogProductSynced({productId: pid("p1")})])
-    ->whenCmd(PlaceOrder({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")]}))
-    ->thenEvent(OrderPlaced({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")]}))
+    givenEvents([CatalogProductSynced({productId: p1})])
+    ->whenCmd(PlaceOrder({orderId: o1, customerId: c1, productIds: [p1]}))
+    ->thenEvent(OrderPlaced({orderId: o1, customerId: c1, productIds: [p1]}))
   )
 
+  // scenario-id: 7594b170-f241-4eb9-83d1-aaa651a80f66
   test("partial product availability returns ProductsNotAvailable with missing list", () =>
-    givenEvents([CatalogProductSynced({productId: pid("p1")})])
-    ->whenCmd(
-      PlaceOrder({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1"), pid("p2")]}),
-    )
-    ->thenError(ProductsNotAvailable({missing: [pid("p2")]}))
+    givenEvents([CatalogProductSynced({productId: p1})])
+    ->whenCmd(PlaceOrder({orderId: o1, customerId: c1, productIds: [p1, p2]}))
+    ->thenError(ProductsNotAvailable({missing: [p2]}))
   )
 
+  // scenario-id: 2d259e4c-b8d5-40ae-b5f5-018cbf31eaa4
   test("re-placing the same orderId returns OrderAlreadyPlaced", () =>
-    givenEvents([CatalogProductSynced({productId: pid("p1")}), OrderPlaced({orderId: oid("o1")})])
-    ->whenCmd(PlaceOrder({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")]}))
+    givenEvents([CatalogProductSynced({productId: p1}), OrderPlaced({orderId: o1})])
+    ->whenCmd(PlaceOrder({orderId: o1, customerId: c1, productIds: [p1]}))
     ->thenError(OrderAlreadyPlaced)
   )
 
+  // scenario-id: 2fc00acf-df4c-4c2e-8280-a82dedad5fb0
   test("a sibling OrderPlaced for a different orderId does not block placement", () =>
-    givenEvents([CatalogProductSynced({productId: pid("p1")}), OrderPlaced({orderId: oid("o2")})])
-    ->whenCmd(PlaceOrder({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")]}))
-    ->thenEvent(OrderPlaced({orderId: oid("o1"), customerId: cid("c1"), productIds: [pid("p1")]}))
+    givenEvents([CatalogProductSynced({productId: p1}), OrderPlaced({orderId: o2})])
+    ->whenCmd(PlaceOrder({orderId: o1, customerId: c1, productIds: [p1]}))
+    ->thenEvent(OrderPlaced({orderId: o1, customerId: c1, productIds: [p1]}))
   )
 })

package/lib/ocaml/Products_Extension_GWT.res

@@ -2,24 +2,24 @@
 // SyncCatalogProduct commands on Ordering's local shadow slice.
 @@reventless.gwt
 
-let pid = CatalogSpec.ProductId.make
+open Ordering_Examples
 
 // `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
 
 describe("Products Extension delegate", () => {
+  // scenario-id: a4680fe3-1546-4669-9334-d8971e2b7162
   test("ProductBecameAvailable issues SyncNewProduct", () =>
     whenIncomingEvent(
-      ExtensionPoint.ProductBecameAvailable({productId: pid("p1"), name: "Book", price: 9.99}),
-    )->thenPublishesCommand(
-      Delegate.SyncNewProduct({productId: pid("p1"), name: "Book", price: 9.99}),
-    )
+      ExtensionPoint.ProductBecameAvailable({productId: p1, name: "Book", price: 9.99}),
+    )->thenPublishesCommand(Delegate.SyncNewProduct({productId: p1, name: "Book", price: 9.99}))
   )
 
+  // scenario-id: b8178540-b81e-4d82-9b93-9f2f68b968c6
   test("ProductPriceChanged issues ChangeSyncedPrice", () =>
     whenIncomingEvent(
-      ExtensionPoint.ProductPriceChanged({productId: pid("p1"), price: 7.5}),
-    )->thenPublishesCommand(Delegate.ChangeSyncedPrice({productId: pid("p1"), price: 7.5}))
+      ExtensionPoint.ProductPriceChanged({productId: p1, price: 7.5}),
+    )->thenPublishesCommand(Delegate.ChangeSyncedPrice({productId: p1, price: 7.5}))
   )
 })

package/lib/ocaml/RegisterCustomer_GWT.res

@@ -1,19 +1,19 @@
 @@reventless.gwt
 
-let cid = CustomerId.make
+open Ordering_Examples
 
 describe("RegisterCustomer StateChangeSlice", () => {
+  // scenario-id: fd616ac0-6ee3-47ef-b74f-212a7befac4a
   test("empty event log produces CustomerRegistered", () =>
     givenEvents([])
-    ->whenCmd(RegisterCustomer({customerId: cid("c1"), email: "alice@x.y", address: "123 Main"}))
-    ->thenEvent(
-      CustomerRegistered({customerId: cid("c1"), email: "alice@x.y", address: "123 Main"}),
-    )
+    ->whenCmd(RegisterCustomer({customerId: c1, email: aliceEmail, address: mainStreet}))
+    ->thenEvent(CustomerRegistered({customerId: c1, email: aliceEmail, address: mainStreet}))
   )
 
+  // scenario-id: d99db741-d659-456e-b84f-9af30a7d8a41
   test("existing customer returns CustomerAlreadyRegistered", () =>
     givenEvents([CustomerRegistered])
-    ->whenCmd(RegisterCustomer({customerId: cid("c1"), email: "bob@x.y", address: "456 Oak"}))
+    ->whenCmd(RegisterCustomer({customerId: c1, email: "bob@x.y", address: "456 Oak"}))
     ->thenError(CustomerAlreadyRegistered)
   )
 })

package/lib/ocaml/SendOrderConfirmation_GWT.res

@@ -12,24 +12,25 @@ module SendOrderConfirmationSlice = {
 
 @@reventless.gwt
 
-let cid = CustomerId.make
-let oid = OrderId.make
+open Ordering_Examples
 
 describe("SendOrderConfirmation OutboundTranslationSlice", () => {
   testSync("collect: OrderPlaced queues an outbound TODO", () =>
-    givenEvent(OrderPlaced({orderId: oid("o1"), customerId: cid("c1")}))
+    givenEvent(OrderPlaced({orderId: o1, customerId: c1}))
     ->whenCollect
-    ->thenTodos([("o1", {orderId: oid("o1"), customerId: cid("c1")})])
+    ->thenTodos([("o1", {orderId: o1, customerId: c1})])
   )
 
+  // scenario-id: f72032f8-25ba-482e-be6e-4c765908bb70
   test("translate success marks the TODO Completed", () =>
-    givenTodo("o1", {orderId: oid("o1"), customerId: cid("c1")})
+    givenTodo("o1", {orderId: o1, customerId: c1})
     ->whenTranslateMocked((_id, _item) => Promise.resolve(Ok(None)))
     ->thenTodoStatus("o1", #Completed)
   )
 
+  // scenario-id: a4563058-8777-4756-8e12-983fcd0e8f20
   test("translate failure leaves the TODO Pending for retry", () =>
-    givenTodo("o1", {orderId: oid("o1"), customerId: cid("c1")})
+    givenTodo("o1", {orderId: o1, customerId: c1})
     ->whenTranslateMocked((_id, _item) => Promise.resolve(Error("smtp down")))
     ->thenTodoStatus("o1", #Pending)
   )

package/lib/ocaml/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/ocaml/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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/online-shop-dcb-ordering",
-  "version": "1.0.0-alpha.250",
+  "version": "1.0.0-alpha.252",
   "description": "Online Shop example — Ordering bounded context (Customer & Order) using the DCB pattern",
   "license": "Apache-2.0",
   "jest": {
@@ -21,18 +21,18 @@
   },
   "dependencies": {
     "sury": "11.0.0",
-    "@reventlessdev/online-shop-dcb-ordering-spec": "1.0.0-alpha.142",
-    "@reventlessdev/online-shop-dcb-catalog-spec": "1.0.0-alpha.142",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.217",
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.218",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.22",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.170",
-    "@reventlessdev/reventless-local": "3.0.0-alpha.260",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.142"
+    "@reventlessdev/online-shop-dcb-catalog-spec": "1.0.0-alpha.143",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.171",
+    "@reventlessdev/online-shop-dcb-ordering-spec": "1.0.0-alpha.143",
+    "@reventlessdev/reventless-local": "3.0.0-alpha.261",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.143"
   },
   "devDependencies": {
     "rescript": "12.3.1",
     "sury-ppx": "11.0.0",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.83"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.89"
   },
   "peerDependencies": {
     "rescript": "^12.3.1"

package/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/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 */