@reventlessdev/online-shop-dcb-ordering 1.0.0-alpha.103

package/tests/Extension/Products_Extension_GWT.res.mjs

@@ -0,0 +1,108 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
+import * as Delegate_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Delegate_GWT.res.mjs";
+import * as Products_Extension$OrderingPlugin from "../../src/Extension/Products_Extension.res.mjs";
+import * as SyncCatalogProduct$OrderingPlugin from "../../src/CatalogProduct/StateChangeSlice/SyncCatalogProduct.res.mjs";
+import * as Products_ExtensionPoint$CatalogSpec from "@reventlessdev/online-shop-dcb-catalog-spec/src/Products_ExtensionPoint.res.mjs";
+
+let include = Delegate_GWT$ReventlessGwt.FromExtension({
+  ExtensionPoint: {
+    name: Products_ExtensionPoint$CatalogSpec.name,
+    moduleUrl: Products_ExtensionPoint$CatalogSpec.moduleUrl,
+    commandSchema: Products_ExtensionPoint$CatalogSpec.commandSchema,
+    eventSchema: Products_ExtensionPoint$CatalogSpec.eventSchema,
+    directiveSchema: Products_ExtensionPoint$CatalogSpec.directiveSchema
+  },
+  Delegate: {
+    Id: Id$Reventless.$$String,
+    name: SyncCatalogProduct$OrderingPlugin.name,
+    eventSchema: SyncCatalogProduct$OrderingPlugin.eventSchema,
+    errorSchema: SyncCatalogProduct$OrderingPlugin.errorSchema,
+    commandSchema: SyncCatalogProduct$OrderingPlugin.commandSchema,
+    moduleUrl: SyncCatalogProduct$OrderingPlugin.moduleUrl,
+    commandAuthorization: SyncCatalogProduct$OrderingPlugin.commandAuthorization
+  },
+  moduleUrl: Products_Extension$OrderingPlugin.Mapping.moduleUrl,
+  delegateModuleUrl: Products_Extension$OrderingPlugin.Mapping.delegateModuleUrl,
+  mapIncomingEvent: Products_Extension$OrderingPlugin.Mapping.mapIncomingEvent,
+  mapOutgoingEvent: Products_Extension$OrderingPlugin.Mapping.mapOutgoingEvent
+});
+
+let describe = include.describe;
+
+let test = include.test;
+
+let whenIncomingEvent = include.whenIncomingEvent;
+
+let thenPublishesCommand = include.thenPublishesCommand;
+
+describe("Products Extension delegate", () => {
+  test("ProductBecameAvailable issues SyncNewProduct", undefined, () => thenPublishesCommand(whenIncomingEvent({
+    TAG: "ProductBecameAvailable",
+    productId: "p1",
+    name: "Book",
+    price: 9.99
+  }), {
+    TAG: "SyncNewProduct",
+    productId: "p1",
+    name: "Book",
+    price: 9.99
+  }));
+  test("ProductPriceChanged issues ChangeSyncedPrice", undefined, () => thenPublishesCommand(whenIncomingEvent({
+    TAG: "ProductPriceChanged",
+    productId: "p1",
+    price: 7.5
+  }), {
+    TAG: "ChangeSyncedPrice",
+    productId: "p1",
+    price: 7.5
+  }));
+});
+
+let encCmd = include.encCmd;
+
+let encEpCmd = include.encEpCmd;
+
+let encDirective = include.encDirective;
+
+let EvCore = include.EvCore;
+
+let OutCore = include.OutCore;
+
+let thenPublishesNothing = include.thenPublishesNothing;
+
+let thenPublishesCommands = include.thenPublishesCommands;
+
+let thenPublishesAggregateCommand = include.thenPublishesAggregateCommand;
+
+let whenDelegateEvent = include.whenDelegateEvent;
+
+let thenPublishesExtensionPointCommand = include.thenPublishesExtensionPointCommand;
+
+let thenHandlesDirective = include.thenHandlesDirective;
+
+let thenHandlesDirectives = include.thenHandlesDirectives;
+
+let thenHandlesNoDirective = include.thenHandlesNoDirective;
+
+export {
+  encCmd,
+  encEpCmd,
+  encDirective,
+  EvCore,
+  OutCore,
+  describe,
+  test,
+  thenPublishesNothing,
+  whenIncomingEvent,
+  thenPublishesCommand,
+  thenPublishesCommands,
+  thenPublishesAggregateCommand,
+  whenDelegateEvent,
+  thenPublishesExtensionPointCommand,
+  thenHandlesDirective,
+  thenHandlesDirectives,
+  thenHandlesNoDirective,
+}
+/* include Not a pure module */

package/tests/ExtensionPoint/Orders_ExtensionPointMapping_GWT.res

@@ -0,0 +1,23 @@
+// Boundary GWT for the Orders extension point: batch order events decompose
+// into one public per-product event each (one-to-many fan-out).
+@@reventless.gwt
+
+describe("Orders ExtensionPoint mapping — per-product fan-out", () => {
+  test("OrderPlaced fans out to one ItemOrdered per product", () =>
+    whenDelegateEvent(
+      Delegate.OrderPlaced({orderId: "o1", customerId: "c1", productIds: ["p1", "p2"]}),
+    )->thenPublishesEvents([
+      ("p1", ExtensionPoint.ItemOrdered({productId: "p1", orderId: "o1", customerId: "c1"})),
+      ("p2", ExtensionPoint.ItemOrdered({productId: "p2", orderId: "o1", customerId: "c1"})),
+    ])
+  )
+
+  test("OrderCancelled fans out to one ItemOrderCancelled per product", () =>
+    whenDelegateEvent(
+      Delegate.OrderCancelled({orderId: "o1", productIds: ["p1", "p2"]}),
+    )->thenPublishesEvents([
+      ("p1", ExtensionPoint.ItemOrderCancelled({productId: "p1", orderId: "o1"})),
+      ("p2", ExtensionPoint.ItemOrderCancelled({productId: "p2", orderId: "o1"})),
+    ])
+  )
+})

package/tests/ExtensionPoint/Orders_ExtensionPointMapping_GWT.res.mjs

@@ -0,0 +1,139 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
+import * as Delegate_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Delegate_GWT.res.mjs";
+import * as Orders_ExtensionPoint$OrderingSpec from "@reventlessdev/online-shop-dcb-ordering-spec/src/Orders_ExtensionPoint.res.mjs";
+import * as Orders_ExtensionPointMapping$OrderingPlugin from "../../src/ExtensionPoint/Orders_ExtensionPointMapping.res.mjs";
+
+let include = Delegate_GWT$ReventlessGwt.FromExtensionPoint({
+  ExtensionPoint: {
+    name: Orders_ExtensionPoint$OrderingSpec.name,
+    moduleUrl: Orders_ExtensionPoint$OrderingSpec.moduleUrl,
+    commandSchema: Orders_ExtensionPoint$OrderingSpec.commandSchema,
+    eventSchema: Orders_ExtensionPoint$OrderingSpec.eventSchema,
+    directiveSchema: Orders_ExtensionPoint$OrderingSpec.directiveSchema
+  },
+  Delegate: {
+    Id: Id$Reventless.$$String,
+    name: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.name,
+    eventSchema: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.eventSchema,
+    errorSchema: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.errorSchema,
+    commandSchema: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.commandSchema,
+    moduleUrl: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.moduleUrl,
+    commandAuthorization: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.commandAuthorization
+  },
+  moduleUrl: Orders_ExtensionPointMapping$OrderingPlugin.moduleUrl,
+  mapIncomingCommand: Orders_ExtensionPointMapping$OrderingPlugin.mapIncomingCommand,
+  mapOutgoingEvent: Orders_ExtensionPointMapping$OrderingPlugin.mapOutgoingEvent
+});
+
+let describe = include.describe;
+
+let test = include.test;
+
+let whenDelegateEvent = include.whenDelegateEvent;
+
+let thenPublishesEvents = include.thenPublishesEvents;
+
+describe("Orders ExtensionPoint mapping — per-product fan-out", () => {
+  test("OrderPlaced fans out to one ItemOrdered per product", undefined, () => thenPublishesEvents(whenDelegateEvent({
+    TAG: "OrderPlaced",
+    orderId: "o1",
+    customerId: "c1",
+    productIds: [
+      "p1",
+      "p2"
+    ]
+  }), [
+    [
+      "p1",
+      {
+        TAG: "ItemOrdered",
+        productId: "p1",
+        orderId: "o1",
+        customerId: "c1"
+      }
+    ],
+    [
+      "p2",
+      {
+        TAG: "ItemOrdered",
+        productId: "p2",
+        orderId: "o1",
+        customerId: "c1"
+      }
+    ]
+  ]));
+  test("OrderCancelled fans out to one ItemOrderCancelled per product", undefined, () => thenPublishesEvents(whenDelegateEvent({
+    TAG: "OrderCancelled",
+    orderId: "o1",
+    productIds: [
+      "p1",
+      "p2"
+    ]
+  }), [
+    [
+      "p1",
+      {
+        TAG: "ItemOrderCancelled",
+        productId: "p1",
+        orderId: "o1"
+      }
+    ],
+    [
+      "p2",
+      {
+        TAG: "ItemOrderCancelled",
+        productId: "p2",
+        orderId: "o1"
+      }
+    ]
+  ]));
+});
+
+let encEvent = include.encEvent;
+
+let encCommand = include.encCommand;
+
+let encDirective = include.encDirective;
+
+let EvCore = include.EvCore;
+
+let CmdCore = include.CmdCore;
+
+let thenPublishesNothing = include.thenPublishesNothing;
+
+let thenPublishesEvent = include.thenPublishesEvent;
+
+let whenIncomingCommand = include.whenIncomingCommand;
+
+let thenPublishesCommand = include.thenPublishesCommand;
+
+let thenPublishesCommands = include.thenPublishesCommands;
+
+let thenHandlesDirective = include.thenHandlesDirective;
+
+let thenHandlesDirectives = include.thenHandlesDirectives;
+
+let thenHandlesNoDirective = include.thenHandlesNoDirective;
+
+export {
+  encEvent,
+  encCommand,
+  encDirective,
+  EvCore,
+  CmdCore,
+  describe,
+  test,
+  thenPublishesNothing,
+  whenDelegateEvent,
+  thenPublishesEvent,
+  thenPublishesEvents,
+  whenIncomingCommand,
+  thenPublishesCommand,
+  thenPublishesCommands,
+  thenHandlesDirective,
+  thenHandlesDirectives,
+  thenHandlesNoDirective,
+}
+/* include Not a pure module */

package/tests/Order/AutomationSlice/AutoShipOrder_GWT.res

@@ -0,0 +1,55 @@
+// `Automation_GWT.Make` expects a single SliceSpec with `collect`, `resolve`
+// and `process` as top-level bindings. The split-form production layout puts
+// `collect`/`resolve` inside the per-source `FromOrderingDcb` mapping, so we
+// compose the pieces locally before handing the result to the DSL.
+
+let testContext: Reventless.AutomationSlice.context = {
+  environment: "test",
+  platformName: "test",
+  pluginName: "ordering",
+  sliceName: "AutoShipOrder",
+}
+
+module AutoShipOrderSlice = {
+  include AutoShipOrder
+  type consumedEvent = AutoShipOrder_Automation.FromOrderingDcb.sourceEvent
+  let consumedEventSchema = AutoShipOrder_Automation.FromOrderingDcb.sourceEventSchema
+
+  let collect = e => AutoShipOrder_Automation.FromOrderingDcb.collect(e, testContext)
+  let resolve = AutoShipOrder_Automation.FromOrderingDcb.resolve
+  let process = AutoShipOrder_Automation.process
+}
+
+@@reventless.gwt
+
+describe("AutoShipOrder AutomationSlice", () => {
+  test("collect: OrderPlaced creates a pending TODO", () =>
+    givenEvent(OrderPlaced({orderId: "o1"}))
+    ->whenCollect
+    ->thenTodos([("o1", {orderId: "o1"})])
+  )
+
+  test("collect: OrderShipped is ignored (no TODO)", () =>
+    givenEvent(OrderShipped({orderId: "o1"}))
+    ->whenCollect
+    ->thenTodos([])
+  )
+
+  test("resolve: OrderShipped marks the TODO done", () =>
+    givenEvent(OrderShipped({orderId: "o1"}))
+    ->whenResolve
+    ->thenResolved(Some("o1"))
+  )
+
+  test("resolve: OrderPlaced does not mark anything done", () =>
+    givenEvent(OrderPlaced({orderId: "o1"}))
+    ->whenResolve
+    ->thenResolved(None)
+  )
+
+  test("process: pending TODO emits ShipOrder for the same id", () =>
+    givenTodo("o1", {orderId: "o1"})
+    ->whenProcess
+    ->thenCommand("o1", ShipOrder({orderId: "o1"}))
+  )
+})

package/tests/Order/AutomationSlice/AutoShipOrder_GWT.res.mjs

@@ -0,0 +1,133 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as AutoShipOrder$OrderingPlugin from "../../../src/Order/AutomationSlice/AutoShipOrder.res.mjs";
+import * as Automation_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Automation_GWT.res.mjs";
+import * as AutoShipOrder_Automation$OrderingPlugin from "../../../src/Order/AutomationSlice/AutoShipOrder_Automation.res.mjs";
+
+let testContext = {
+  environment: "test",
+  platformName: "test",
+  pluginName: "ordering",
+  sliceName: "AutoShipOrder"
+};
+
+let consumedEventSchema = AutoShipOrder_Automation$OrderingPlugin.FromOrderingDcb.sourceEventSchema;
+
+function collect(e) {
+  return AutoShipOrder_Automation$OrderingPlugin.FromOrderingDcb.collect(e, testContext);
+}
+
+let resolve = AutoShipOrder_Automation$OrderingPlugin.FromOrderingDcb.resolve;
+
+let AutoShipOrderSlice = {
+  name: AutoShipOrder$OrderingPlugin.name,
+  Id: AutoShipOrder$OrderingPlugin.Id,
+  todoItemSchema: AutoShipOrder$OrderingPlugin.todoItemSchema,
+  commandSchema: AutoShipOrder$OrderingPlugin.commandSchema,
+  maxRetries: AutoShipOrder$OrderingPlugin.maxRetries,
+  heartbeatInterval: AutoShipOrder$OrderingPlugin.heartbeatInterval,
+  targetName: AutoShipOrder$OrderingPlugin.targetName,
+  moduleUrl: AutoShipOrder$OrderingPlugin.moduleUrl,
+  commandAuthorization: AutoShipOrder$OrderingPlugin.commandAuthorization,
+  consumedEventSchema: consumedEventSchema,
+  collect: collect,
+  resolve: resolve,
+  process: AutoShipOrder_Automation$OrderingPlugin.process
+};
+
+let include = Automation_GWT$ReventlessGwt.Make({
+  name: AutoShipOrder$OrderingPlugin.name,
+  consumedEventSchema: consumedEventSchema,
+  todoItemSchema: AutoShipOrder$OrderingPlugin.todoItemSchema,
+  commandSchema: AutoShipOrder$OrderingPlugin.commandSchema,
+  collect: collect,
+  resolve: resolve,
+  process: AutoShipOrder_Automation$OrderingPlugin.process
+});
+
+let describe = include.describe;
+
+let test = include.test;
+
+let givenEvent = include.givenEvent;
+
+let whenCollect = include.whenCollect;
+
+let thenTodos = include.thenTodos;
+
+let whenResolve = include.whenResolve;
+
+let thenResolved = include.thenResolved;
+
+let givenTodo = include.givenTodo;
+
+let whenProcess = include.whenProcess;
+
+let thenCommand = include.thenCommand;
+
+describe("AutoShipOrder AutomationSlice", () => {
+  test("collect: OrderPlaced creates a pending TODO", () => thenTodos(whenCollect(givenEvent({
+    TAG: "OrderPlaced",
+    orderId: "o1"
+  })), [[
+      "o1",
+      {
+        orderId: "o1"
+      }
+    ]]));
+  test("collect: OrderShipped is ignored (no TODO)", () => thenTodos(whenCollect(givenEvent({
+    TAG: "OrderShipped",
+    orderId: "o1"
+  })), []));
+  test("resolve: OrderShipped marks the TODO done", () => thenResolved(whenResolve(givenEvent({
+    TAG: "OrderShipped",
+    orderId: "o1"
+  })), "o1"));
+  test("resolve: OrderPlaced does not mark anything done", () => thenResolved(whenResolve(givenEvent({
+    TAG: "OrderPlaced",
+    orderId: "o1"
+  })), undefined));
+  test("process: pending TODO emits ShipOrder for the same id", () => thenCommand(whenProcess(givenTodo("o1", {
+    orderId: "o1"
+  })), "o1", {
+    TAG: "ShipOrder",
+    orderId: "o1"
+  }));
+});
+
+let Spec = include.Spec;
+
+let thenNoCommand = include.thenNoCommand;
+
+let givenEvents = include.givenEvents;
+
+let whenSweep = include.whenSweep;
+
+let thenCommands = include.thenCommands;
+
+let andThenEvents = include.andThenEvents;
+
+let thenScenarioTodos = include.thenScenarioTodos;
+
+export {
+  testContext,
+  AutoShipOrderSlice,
+  Spec,
+  describe,
+  test,
+  givenEvent,
+  whenCollect,
+  thenTodos,
+  whenResolve,
+  thenResolved,
+  givenTodo,
+  whenProcess,
+  thenCommand,
+  thenNoCommand,
+  givenEvents,
+  whenSweep,
+  thenCommands,
+  andThenEvents,
+  thenScenarioTodos,
+}
+/* include Not a pure module */

package/tests/Order/OutboundTranslationSlice/SendOrderConfirmation_GWT.res

@@ -0,0 +1,33 @@
+// `OutboundTranslation_GWT.Make` expects a single SliceSpec with `collect` at
+// the top level. The split-form production layout keeps `collect` in the
+// translation body file, so we compose it onto the spec module locally.
+//
+// `translate` is supplied at test time via `whenTranslateMocked`; the real
+// `translate` (which calls `EmailService`) is exercised in component tests.
+
+module SendOrderConfirmationSlice = {
+  include SendOrderConfirmation
+  let collect = SendOrderConfirmation_Translation.collect
+}
+
+@@reventless.gwt
+
+describe("SendOrderConfirmation OutboundTranslationSlice", () => {
+  testSync("collect: OrderPlaced queues an outbound TODO", () =>
+    givenEvent(OrderPlaced({orderId: "o1", customerId: "c1"}))
+    ->whenCollect
+    ->thenTodos([("o1", {orderId: "o1", customerId: "c1"})])
+  )
+
+  test("translate success marks the TODO Completed", () =>
+    givenTodo("o1", {orderId: "o1", customerId: "c1"})
+    ->whenTranslateMocked((_id, _item) => Promise.resolve(Ok(None)))
+    ->thenTodoStatus("o1", #Completed)
+  )
+
+  test("translate failure leaves the TODO Pending for retry", () =>
+    givenTodo("o1", {orderId: "o1", customerId: "c1"})
+    ->whenTranslateMocked((_id, _item) => Promise.resolve(Error("smtp down")))
+    ->thenTodoStatus("o1", #Pending)
+  )
+})

package/tests/Order/OutboundTranslationSlice/SendOrderConfirmation_GWT.res.mjs

@@ -0,0 +1,101 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as SendOrderConfirmation$OrderingPlugin from "../../../src/Order/OutboundTranslationSlice/SendOrderConfirmation.res.mjs";
+import * as OutboundTranslation_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/OutboundTranslation_GWT.res.mjs";
+import * as SendOrderConfirmation_Translation$OrderingPlugin from "../../../src/Order/OutboundTranslationSlice/SendOrderConfirmation_Translation.res.mjs";
+
+let SendOrderConfirmationSlice = {
+  name: SendOrderConfirmation$OrderingPlugin.name,
+  Id: SendOrderConfirmation$OrderingPlugin.Id,
+  consumedEventSchema: SendOrderConfirmation$OrderingPlugin.consumedEventSchema,
+  outboundItemSchema: SendOrderConfirmation$OrderingPlugin.outboundItemSchema,
+  inboundCommandSchema: SendOrderConfirmation$OrderingPlugin.inboundCommandSchema,
+  maxRetries: SendOrderConfirmation$OrderingPlugin.maxRetries,
+  heartbeatInterval: SendOrderConfirmation$OrderingPlugin.heartbeatInterval,
+  targetName: undefined,
+  moduleUrl: SendOrderConfirmation$OrderingPlugin.moduleUrl,
+  collect: SendOrderConfirmation_Translation$OrderingPlugin.collect
+};
+
+let include = OutboundTranslation_GWT$ReventlessGwt.Make({
+  name: SendOrderConfirmation$OrderingPlugin.name,
+  consumedEventSchema: SendOrderConfirmation$OrderingPlugin.consumedEventSchema,
+  outboundItemSchema: SendOrderConfirmation$OrderingPlugin.outboundItemSchema,
+  inboundCommandSchema: SendOrderConfirmation$OrderingPlugin.inboundCommandSchema,
+  collect: SendOrderConfirmation_Translation$OrderingPlugin.collect
+});
+
+let describe = include.describe;
+
+let test = include.test;
+
+let testSync = include.testSync;
+
+let givenEvent = include.givenEvent;
+
+let whenCollect = include.whenCollect;
+
+let thenTodos = include.thenTodos;
+
+let givenTodo = include.givenTodo;
+
+let whenTranslateMocked = include.whenTranslateMocked;
+
+let thenTodoStatus = include.thenTodoStatus;
+
+describe("SendOrderConfirmation OutboundTranslationSlice", () => {
+  testSync("collect: OrderPlaced queues an outbound TODO", () => thenTodos(whenCollect(givenEvent({
+    TAG: "OrderPlaced",
+    orderId: "o1",
+    customerId: "c1"
+  })), [[
+      "o1",
+      {
+        orderId: "o1",
+        customerId: "c1"
+      }
+    ]]));
+  test("translate success marks the TODO Completed", undefined, () => thenTodoStatus(whenTranslateMocked(givenTodo("o1", {
+    orderId: "o1",
+    customerId: "c1"
+  }), (_id, _item) => Promise.resolve({
+    TAG: "Ok",
+    _0: undefined
+  })), "o1", "Completed"));
+  test("translate failure leaves the TODO Pending for retry", undefined, () => thenTodoStatus(whenTranslateMocked(givenTodo("o1", {
+    orderId: "o1",
+    customerId: "c1"
+  }), (_id, _item) => Promise.resolve({
+    TAG: "Error",
+    _0: "smtp down"
+  })), "o1", "Pending"));
+});
+
+let Spec = include.Spec;
+
+let whenTranslateRetrying = include.whenTranslateRetrying;
+
+let thenCommand = include.thenCommand;
+
+let thenNoCommand = include.thenNoCommand;
+
+let thenRetryRecorded = include.thenRetryRecorded;
+
+export {
+  SendOrderConfirmationSlice,
+  Spec,
+  describe,
+  test,
+  testSync,
+  givenEvent,
+  whenCollect,
+  thenTodos,
+  givenTodo,
+  whenTranslateMocked,
+  whenTranslateRetrying,
+  thenCommand,
+  thenNoCommand,
+  thenRetryRecorded,
+  thenTodoStatus,
+}
+/* include Not a pure module */

package/tests/Order/StateChangeSlice/CancelOrder_GWT.res

@@ -0,0 +1,27 @@
+@@reventless.gwt
+
+describe("CancelOrder StateChangeSlice", () => {
+  test("non-existent order returns OrderNotFound", () =>
+    givenEvents([])
+    ->whenCmd(CancelOrder({orderId: "o1"}))
+    ->thenError(OrderNotFound)
+  )
+
+  test("placed order produces OrderCancelled with productIds carried over", () =>
+    givenEvents([OrderPlaced({productIds: ["p1", "p2"]})])
+    ->whenCmd(CancelOrder({orderId: "o1"}))
+    ->thenEvent(OrderCancelled({orderId: "o1", productIds: ["p1", "p2"]}))
+  )
+
+  test("already cancelled order produces no events (idempotent)", () =>
+    givenEvents([OrderPlaced({productIds: ["p1"]}), OrderCancelled])
+    ->whenCmd(CancelOrder({orderId: "o1"}))
+    ->thenNoEvent
+  )
+
+  test("shipped order returns OrderAlreadyShipped", () =>
+    givenEvents([OrderPlaced({productIds: ["p1"]}), OrderShipped])
+    ->whenCmd(CancelOrder({orderId: "o1"}))
+    ->thenError(OrderAlreadyShipped)
+  )
+})