@reventlessdev/online-shop-hybrid-ordering 1.0.0-alpha.262 → 1.0.0-alpha.263

package/CHANGELOG.md

@@ -3,6 +3,13 @@
 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.263 (2026-10-01)
+
+### Features
+
+* **spec, core, gwt, ppx:** a command acts only on what its caller owns ([2636f0e](https://github.com/ReventlessDev/reventless-core/commit/2636f0ee44797ee2c0b0c40a7107cf306113173f))
+
+
 # 1.0.0-alpha.262 (2026-09-29)
 
 **Note:** Version bump only for package @reventlessdev/online-shop-hybrid-ordering

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/online-shop-hybrid-ordering",
-  "version": "1.0.0-alpha.262",
+  "version": "1.0.0-alpha.263",
   "description": "Online Shop Hybrid example — Ordering plugin (Customer aggregate + Order/CatalogProduct DCB)",
   "license": "Apache-2.0",
   "jest": {
@@ -21,15 +21,15 @@
   },
   "dependencies": {
     "sury": "11.0.0",
-    "@reventlessdev/online-shop-hybrid-ordering-spec": "1.0.0-alpha.150",
-    "@reventlessdev/online-shop-hybrid-catalog-spec": "1.0.0-alpha.151",
+    "@reventlessdev/online-shop-hybrid-catalog-spec": "1.0.0-alpha.152",
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.232",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.22",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.231",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.182",
-    "@reventlessdev/reventless-local": "3.0.0-alpha.274",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.154",
-    "@reventlessdev/trait-address-geocoding": "1.0.0-alpha.33",
-    "@reventlessdev/trait-notification": "1.0.0-alpha.33"
+    "@reventlessdev/online-shop-hybrid-ordering-spec": "1.0.0-alpha.151",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.183",
+    "@reventlessdev/reventless-local": "3.0.0-alpha.275",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.155",
+    "@reventlessdev/trait-address-geocoding": "1.0.0-alpha.34",
+    "@reventlessdev/trait-notification": "1.0.0-alpha.34"
   },
   "devDependencies": {
     "rescript": "12.3.1",

package/src/Order/StateChange/CancelOrder.res

@@ -3,9 +3,12 @@
 
 @@reventless.spec
 
+// `@owner` on the consumed `customerId` says whose order this is. The framework
+// reads it before `decide` and refuses a shopper cancelling someone else's order;
+// an operator, or an automation, still acts on anyone's.
 @schema
 type consumedEvent =
-  | OrderPlaced({productIds: array<CatalogSpec.ProductId.t>})
+  | OrderPlaced({productIds: array<CatalogSpec.ProductId.t>, @owner customerId: CustomerId.t})
   | OrderShipped
   | OrderCancelled
   | OrderReopened

package/src/Order/StateChange/CancelOrder.res.mjs

@@ -1,15 +1,18 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as Sury from "sury";
+import * as Owner$Reventless from "@reventlessdev/reventless-spec/src/components/Owner.res.mjs";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as Api$ReventlessInfra from "@reventlessdev/reventless-infra/src/components/Api.res.mjs";
 import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-hybrid-catalog-spec/src/ProductId.res.mjs";
 import * as OrderId$OrderingPlugin from "../OrderId.res.mjs";
+import * as CustomerId$OrderingPlugin from "../../Customer/CustomerId.res.mjs";
 
 let consumedEventSchema = Sury.union([
   Sury.$schema(s => ({
     TAG: "OrderPlaced",
-    productIds: s.m(Sury.array(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema)))
+    productIds: s.m(Sury.array(DcbTag$Reventless.mark(ProductId$CatalogSpec.schema))),
+    customerId: s.m(Owner$Reventless.mark(DcbTag$Reventless.mark(CustomerId$OrderingPlugin.schema)))
   })),
   Sury.literal("OrderShipped"),
   Sury.literal("OrderCancelled"),

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

@@ -149,6 +149,10 @@ let Spec = include.Spec;
 
 let todo = include.todo;
 
+let Caller = include.Caller;
+
+let asCaller = include.asCaller;
+
 let thenEvents = include.thenEvents;
 
 let thenEventWithError = include.thenEventWithError;
@@ -157,6 +161,8 @@ let thenEventsWithError = include.thenEventsWithError;
 
 let thenError = include.thenError;
 
+let thenRefused = include.thenRefused;
+
 let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
@@ -167,6 +173,8 @@ export {
   todo,
   test,
   givenEvents,
+  Caller,
+  asCaller,
   whenCmd,
   thenEvent,
   thenEvents,
@@ -174,6 +182,7 @@ export {
   thenEventWithError,
   thenEventsWithError,
   thenError,
+  thenRefused,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
 }

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

@@ -278,6 +278,10 @@ describe("Customer email verification", () => {
 
 let Spec = include.Spec;
 
+let Caller = include.Caller;
+
+let asCaller = include.asCaller;
+
 let thenCompareEvent = include.thenCompareEvent;
 
 let thenEventWithError = include.thenEventWithError;
@@ -288,11 +292,15 @@ let thenCompareEvents = include.thenCompareEvents;
 
 let thenEventsWithError = include.thenEventsWithError;
 
+let thenRefused = include.thenRefused;
+
 export {
   Spec,
   describe,
   test,
   givenEvents,
+  Caller,
+  asCaller,
   whenCmd,
   thenEvent,
   thenCompareEvent,
@@ -302,5 +310,6 @@ export {
   thenCompareEvents,
   thenEventsWithError,
   thenError,
+  thenRefused,
 }
 /* include Not a pure module */

package/tests/Customer/StateChange/EmailVerificationChallenges_GWT.res.mjs

@@ -161,12 +161,18 @@ let Spec = include.Spec;
 
 let todo = include.todo;
 
+let Caller = include.Caller;
+
+let asCaller = include.asCaller;
+
 let thenEvents = include.thenEvents;
 
 let thenEventWithError = include.thenEventWithError;
 
 let thenEventsWithError = include.thenEventsWithError;
 
+let thenRefused = include.thenRefused;
+
 let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
@@ -177,6 +183,8 @@ export {
   todo,
   test,
   givenEvents,
+  Caller,
+  asCaller,
   whenCmd,
   thenEvent,
   thenEvents,
@@ -184,6 +192,7 @@ export {
   thenEventWithError,
   thenEventsWithError,
   thenError,
+  thenRefused,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
   issuedAt,

package/tests/Notification/StateChange/NotificationPreferences_GWT.res.mjs

@@ -105,6 +105,10 @@ let Spec = include.Spec;
 
 let todo = include.todo;
 
+let Caller = include.Caller;
+
+let asCaller = include.asCaller;
+
 let thenEvents = include.thenEvents;
 
 let thenNoEvent = include.thenNoEvent;
@@ -115,6 +119,8 @@ let thenEventsWithError = include.thenEventsWithError;
 
 let thenError = include.thenError;
 
+let thenRefused = include.thenRefused;
+
 let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
@@ -125,6 +131,8 @@ export {
   todo,
   test,
   givenEvents,
+  Caller,
+  asCaller,
   whenCmd,
   thenEvent,
   thenEvents,
@@ -132,6 +140,7 @@ export {
   thenEventWithError,
   thenEventsWithError,
   thenError,
+  thenRefused,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
 }

package/tests/Notification/StateChange/NotificationSourceClaims_GWT.res.mjs

@@ -76,6 +76,10 @@ let Spec = include.Spec;
 
 let todo = include.todo;
 
+let Caller = include.Caller;
+
+let asCaller = include.asCaller;
+
 let thenEvents = include.thenEvents;
 
 let thenEventWithError = include.thenEventWithError;
@@ -84,6 +88,8 @@ let thenEventsWithError = include.thenEventsWithError;
 
 let thenError = include.thenError;
 
+let thenRefused = include.thenRefused;
+
 let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
@@ -94,6 +100,8 @@ export {
   todo,
   test,
   givenEvents,
+  Caller,
+  asCaller,
   whenCmd,
   thenEvent,
   thenEvents,
@@ -101,6 +109,7 @@ export {
   thenEventWithError,
   thenEventsWithError,
   thenError,
+  thenRefused,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
 }

package/tests/Order/StateChange/CancelOrder_GWT.res

@@ -12,35 +12,35 @@ describe("CancelOrder StateChangeSlice", () => {
 
   // scenario-id: 44e2fd1b-d3da-4581-b102-0ccb47e004eb
   test("placed order produces OrderCancelled with productIds carried over", () =>
-    givenEvents([OrderPlaced({productIds: [p1, p2]})])
+    givenEvents([OrderPlaced({productIds: [p1, p2], customerId: c1})])
     ->whenCmd(CancelOrder({orderId: o1}))
     ->thenEvent(OrderCancelled({orderId: o1, productIds: [p1, p2]}))
   )
 
   // scenario-id: 36e7a929-73a3-48ad-96bf-98265877dd9f
   test("already cancelled order produces no events for CancelOrder (idempotent)", () =>
-    givenEvents([OrderPlaced({productIds: [p1]}), OrderCancelled])
+    givenEvents([OrderPlaced({productIds: [p1], customerId: c1}), OrderCancelled])
     ->whenCmd(CancelOrder({orderId: o1}))
     ->thenNoEvent
   )
 
   // scenario-id: a8adfaaf-2a97-487d-b80b-34b2e79a621d
   test("shipped order returns OrderAlreadyShipped for CancelOrder", () =>
-    givenEvents([OrderPlaced({productIds: [p1]}), OrderShipped])
+    givenEvents([OrderPlaced({productIds: [p1], customerId: c1}), OrderShipped])
     ->whenCmd(CancelOrder({orderId: o1}))
     ->thenError(OrderAlreadyShipped)
   )
 
   // scenario-id: da5c2d1d-adaf-412c-ba71-293158b29841
   test("ReopenOrder on cancelled order produces OrderReopened", () =>
-    givenEvents([OrderPlaced({productIds: [p1]}), OrderCancelled])
+    givenEvents([OrderPlaced({productIds: [p1], customerId: c1}), OrderCancelled])
     ->whenCmd(ReopenOrder({orderId: o1}))
     ->thenEvent(OrderReopened({orderId: o1}))
   )
 
   // scenario-id: edebec12-a5ec-4f71-a1fc-f1db65108db9
   test("ReopenOrder on a placed order produces no events (idempotent)", () =>
-    givenEvents([OrderPlaced({productIds: [p1]})])
+    givenEvents([OrderPlaced({productIds: [p1], customerId: c1})])
     ->whenCmd(ReopenOrder({orderId: o1}))
     ->thenNoEvent
   )
@@ -50,7 +50,7 @@ describe("CancelOrder StateChangeSlice", () => {
   // shipped — the case no test covered, which is how it survived.
   // scenario-id: 96bdee04-7518-4297-81f5-7242a0cffa9f
   test("ReopenOrder on a shipped order returns OrderAlreadyShipped", () =>
-    givenEvents([OrderPlaced({productIds: [p1]}), OrderShipped])
+    givenEvents([OrderPlaced({productIds: [p1], customerId: c1}), OrderShipped])
     ->whenCmd(ReopenOrder({orderId: o1}))
     ->thenError(OrderAlreadyShipped)
   )
@@ -61,4 +61,39 @@ describe("CancelOrder StateChangeSlice", () => {
     ->whenCmd(ReopenOrder({orderId: o1}))
     ->thenError(OrderNotFound)
   )
+
+  // Only the customer who placed an order may cancel it. The slice says so by
+  // marking `@owner` on the `customerId` its `OrderPlaced` carries; an operator
+  // still cancels on anyone's behalf.
+  // scenario-id: 80c0ad21-a352-43d6-862c-74c5250991d1
+  test("the customer who placed the order may cancel it", () =>
+    givenEvents([OrderPlaced({productIds: [p1], customerId: c1})])
+    ->asCaller(Caller.owner(c1))
+    ->whenCmd(CancelOrder({orderId: o1}))
+    ->thenEvent(OrderCancelled({orderId: o1, productIds: [p1]}))
+  )
+
+  // scenario-id: 48fc5fa8-449d-40df-b58d-e87f0acea478
+  test("another customer cannot cancel the order", () =>
+    givenEvents([OrderPlaced({productIds: [p1], customerId: c1})])
+    ->asCaller(Caller.owner(c2))
+    ->whenCmd(CancelOrder({orderId: o1}))
+    ->thenRefused
+  )
+
+  // scenario-id: e7561ebf-5566-4a4e-87c0-9aa403d68310
+  test("an operator may cancel any customer's order", () =>
+    givenEvents([OrderPlaced({productIds: [p1], customerId: c1})])
+    ->asCaller(Caller.operator)
+    ->whenCmd(CancelOrder({orderId: o1}))
+    ->thenEvent(OrderCancelled({orderId: o1, productIds: [p1]}))
+  )
+
+  // scenario-id: e0df85d2-f997-4833-816e-39ddce5c895e
+  test("a caller who is not signed in cannot cancel an order", () =>
+    givenEvents([OrderPlaced({productIds: [p1], customerId: c1})])
+    ->asCaller(Caller.anonymous)
+    ->whenCmd(CancelOrder({orderId: o1}))
+    ->thenRefused
+  )
 })

package/tests/Order/StateChange/CancelOrder_GWT.res.mjs

@@ -23,6 +23,10 @@ let test = include.test;
 
 let givenEvents = include.givenEvents;
 
+let Caller = include.Caller;
+
+let asCaller = include.asCaller;
+
 let whenCmd = include.whenCmd;
 
 let thenEvent = include.thenEvent;
@@ -31,6 +35,8 @@ let thenNoEvent = include.thenNoEvent;
 
 let thenError = include.thenError;
 
+let thenRefused = include.thenRefused;
+
 describe("CancelOrder StateChangeSlice", () => {
   test("non-existent order returns OrderNotFound for CancelOrder", () => thenError(whenCmd(givenEvents([]), {
     TAG: "CancelOrder",
@@ -41,7 +47,8 @@ describe("CancelOrder StateChangeSlice", () => {
       productIds: [
         Ordering_Examples$OrderingPlugin.p1,
         Ordering_Examples$OrderingPlugin.p2
-      ]
+      ],
+      customerId: Ordering_Examples$OrderingPlugin.c1
     }]), {
     TAG: "CancelOrder",
     orderId: Ordering_Examples$OrderingPlugin.o1
@@ -56,7 +63,8 @@ describe("CancelOrder StateChangeSlice", () => {
   test("already cancelled order produces no events for CancelOrder (idempotent)", () => thenNoEvent(whenCmd(givenEvents([
     {
       TAG: "OrderPlaced",
-      productIds: [Ordering_Examples$OrderingPlugin.p1]
+      productIds: [Ordering_Examples$OrderingPlugin.p1],
+      customerId: Ordering_Examples$OrderingPlugin.c1
     },
     "OrderCancelled"
   ]), {
@@ -66,7 +74,8 @@ describe("CancelOrder StateChangeSlice", () => {
   test("shipped order returns OrderAlreadyShipped for CancelOrder", () => thenError(whenCmd(givenEvents([
     {
       TAG: "OrderPlaced",
-      productIds: [Ordering_Examples$OrderingPlugin.p1]
+      productIds: [Ordering_Examples$OrderingPlugin.p1],
+      customerId: Ordering_Examples$OrderingPlugin.c1
     },
     "OrderShipped"
   ]), {
@@ -76,7 +85,8 @@ describe("CancelOrder StateChangeSlice", () => {
   test("ReopenOrder on cancelled order produces OrderReopened", () => thenEvent(whenCmd(givenEvents([
     {
       TAG: "OrderPlaced",
-      productIds: [Ordering_Examples$OrderingPlugin.p1]
+      productIds: [Ordering_Examples$OrderingPlugin.p1],
+      customerId: Ordering_Examples$OrderingPlugin.c1
     },
     "OrderCancelled"
   ]), {
@@ -88,7 +98,8 @@ describe("CancelOrder StateChangeSlice", () => {
   }));
   test("ReopenOrder on a placed order produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([{
       TAG: "OrderPlaced",
-      productIds: [Ordering_Examples$OrderingPlugin.p1]
+      productIds: [Ordering_Examples$OrderingPlugin.p1],
+      customerId: Ordering_Examples$OrderingPlugin.c1
     }]), {
     TAG: "ReopenOrder",
     orderId: Ordering_Examples$OrderingPlugin.o1
@@ -96,7 +107,8 @@ describe("CancelOrder StateChangeSlice", () => {
   test("ReopenOrder on a shipped order returns OrderAlreadyShipped", () => thenError(whenCmd(givenEvents([
     {
       TAG: "OrderPlaced",
-      productIds: [Ordering_Examples$OrderingPlugin.p1]
+      productIds: [Ordering_Examples$OrderingPlugin.p1],
+      customerId: Ordering_Examples$OrderingPlugin.c1
     },
     "OrderShipped"
   ]), {
@@ -107,6 +119,46 @@ describe("CancelOrder StateChangeSlice", () => {
     TAG: "ReopenOrder",
     orderId: Ordering_Examples$OrderingPlugin.o1
   }), "OrderNotFound"));
+  test("the customer who placed the order may cancel it", () => thenEvent(whenCmd(asCaller(givenEvents([{
+      TAG: "OrderPlaced",
+      productIds: [Ordering_Examples$OrderingPlugin.p1],
+      customerId: Ordering_Examples$OrderingPlugin.c1
+    }]), Caller.owner(Ordering_Examples$OrderingPlugin.c1)), {
+    TAG: "CancelOrder",
+    orderId: Ordering_Examples$OrderingPlugin.o1
+  }), {
+    TAG: "OrderCancelled",
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    productIds: [Ordering_Examples$OrderingPlugin.p1]
+  }));
+  test("another customer cannot cancel the order", () => thenRefused(whenCmd(asCaller(givenEvents([{
+      TAG: "OrderPlaced",
+      productIds: [Ordering_Examples$OrderingPlugin.p1],
+      customerId: Ordering_Examples$OrderingPlugin.c1
+    }]), Caller.owner(Ordering_Examples$OrderingPlugin.c2)), {
+    TAG: "CancelOrder",
+    orderId: Ordering_Examples$OrderingPlugin.o1
+  })));
+  test("an operator may cancel any customer's order", () => thenEvent(whenCmd(asCaller(givenEvents([{
+      TAG: "OrderPlaced",
+      productIds: [Ordering_Examples$OrderingPlugin.p1],
+      customerId: Ordering_Examples$OrderingPlugin.c1
+    }]), Caller.operator), {
+    TAG: "CancelOrder",
+    orderId: Ordering_Examples$OrderingPlugin.o1
+  }), {
+    TAG: "OrderCancelled",
+    orderId: Ordering_Examples$OrderingPlugin.o1,
+    productIds: [Ordering_Examples$OrderingPlugin.p1]
+  }));
+  test("a caller who is not signed in cannot cancel an order", () => thenRefused(whenCmd(asCaller(givenEvents([{
+      TAG: "OrderPlaced",
+      productIds: [Ordering_Examples$OrderingPlugin.p1],
+      customerId: Ordering_Examples$OrderingPlugin.c1
+    }]), Caller.anonymous), {
+    TAG: "CancelOrder",
+    orderId: Ordering_Examples$OrderingPlugin.o1
+  })));
 });
 
 let Spec = include.Spec;
@@ -129,6 +181,8 @@ export {
   todo,
   test,
   givenEvents,
+  Caller,
+  asCaller,
   whenCmd,
   thenEvent,
   thenEvents,
@@ -136,6 +190,7 @@ export {
   thenEventWithError,
   thenEventsWithError,
   thenError,
+  thenRefused,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
 }

package/tests/Order/StateChange/PlaceOrder_GWT.res.mjs

@@ -814,6 +814,10 @@ let Spec = include.Spec;
 
 let todo = include.todo;
 
+let Caller = include.Caller;
+
+let asCaller = include.asCaller;
+
 let thenEvents = include.thenEvents;
 
 let thenNoEvent = include.thenNoEvent;
@@ -822,6 +826,8 @@ let thenEventWithError = include.thenEventWithError;
 
 let thenEventsWithError = include.thenEventsWithError;
 
+let thenRefused = include.thenRefused;
+
 let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
@@ -832,6 +838,8 @@ export {
   todo,
   test,
   givenEvents,
+  Caller,
+  asCaller,
   whenCmd,
   thenEvent,
   thenEvents,
@@ -839,6 +847,7 @@ export {
   thenEventWithError,
   thenEventsWithError,
   thenError,
+  thenRefused,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
 }

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

@@ -92,12 +92,18 @@ let Spec = include.Spec;
 
 let todo = include.todo;
 
+let Caller = include.Caller;
+
+let asCaller = include.asCaller;
+
 let thenEvents = include.thenEvents;
 
 let thenEventWithError = include.thenEventWithError;
 
 let thenEventsWithError = include.thenEventsWithError;
 
+let thenRefused = include.thenRefused;
+
 let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
@@ -108,6 +114,8 @@ export {
   todo,
   test,
   givenEvents,
+  Caller,
+  asCaller,
   whenCmd,
   thenEvent,
   thenEvents,
@@ -115,6 +123,7 @@ export {
   thenEventWithError,
   thenEventsWithError,
   thenError,
+  thenRefused,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
 }

package/tests/Ordering_Examples.res

@@ -4,6 +4,7 @@ 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 c2: CustomerId.t = CustomerId.makeFromString("c2")
 let id: CustomerId.t = CustomerId.makeFromString("id")
 
 let o1: OrderId.t = OrderId.makeFromString("o1")

package/tests/Ordering_Examples.res.mjs

@@ -11,6 +11,8 @@ let p2 = ProductId$CatalogSpec.makeFromString("p2");
 
 let c1 = CustomerId$OrderingPlugin.makeFromString("c1");
 
+let c2 = CustomerId$OrderingPlugin.makeFromString("c2");
+
 let id = CustomerId$OrderingPlugin.makeFromString("id");
 
 let o1 = OrderId$OrderingPlugin.makeFromString("o1");
@@ -71,6 +73,7 @@ export {
   p1,
   p2,
   c1,
+  c2,
   id,
   o1,
   o2,