@reventlessdev/online-shop-hybrid-ordering 1.0.0-alpha.100

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-hybrid-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/Flow/OrderingFlow_GWT.res

@@ -0,0 +1,69 @@
+// Cross-slice flow GWT for the Ordering plugin: one declarative chain threads a
+// single order through every tile of its Event Modeling lane —
+//
+//   PlaceOrder ─→ OrderPlaced
+//     ├─ AutoShipOrder reacts → ShipOrder ─→ OrderShipped
+//     ├─ Orders (view) : status Placed → Shipped
+//     └─ SendOrderConfirmation : confirmation effect fired
+//
+// PlaceOrder only succeeds because the referenced product was synced first, so
+// the flow seeds a CatalogProductSynced event before placing the order.
+@@reventless.gwt
+
+// Compose the automation onto a flat slice — the production split keeps
+// collect/resolve inside the per-source mapping; the GWT needs them together.
+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
+}
+
+module ConfirmSlice = {
+  include SendOrderConfirmation
+  let collect = SendOrderConfirmation_Translation.collect
+}
+
+module Sync = CommandStep(SyncCatalogProduct, SyncCatalogProduct_Behavior)
+module Place = CommandStep(PlaceOrder, PlaceOrder_Behavior)
+module Auto = AutomationStep(AutoShipOrderSlice)
+module Ship = CommandStep(ShipOrder, ShipOrder_Behavior)
+module OrdersView = ViewStep(Orders, Orders_Projection)
+module Confirm = OutboundStep(ConfirmSlice)
+
+describe("Ordering flow — place → auto-ship → confirm", () => {
+  test("an order is placed, auto-shipped, projected as Shipped, and confirmed", () =>
+    start
+    ->Sync.givenEvents([
+      SyncCatalogProduct.CatalogProductSynced({productId: "p1", name: "Book", price: 9.99}),
+    ])
+    ->Place.whenCommand(PlaceOrder.PlaceOrder({orderId: "o1", customerId: "c1", productIds: ["p1"]}))
+    ->Place.thenEvent(
+      PlaceOrder.OrderPlaced({orderId: "o1", customerId: "c1", productIds: ["p1"]}),
+    )
+    ->Auto.whenReacts
+    ->Auto.thenIssuesCommand(AutoShipOrder.ShipOrder({orderId: "o1"}))
+    ->Ship.whenCommand(ShipOrder.ShipOrder({orderId: "o1"}))
+    ->Ship.thenEvent(ShipOrder.OrderShipped({orderId: "o1"}))
+    ->OrdersView.thenViewState(
+      "o1",
+      {Orders.orderId: "o1", customerId: "c1", productIds: ["p1"], status: Shipped},
+    )
+    ->Confirm.thenOutbound([("o1", {SendOrderConfirmation.orderId: "o1", customerId: "c1"})])
+  )
+
+  test("placing an order for an unsynced product is rejected", () =>
+    start
+    ->Place.whenCommand(PlaceOrder.PlaceOrder({orderId: "o1", customerId: "c1", productIds: ["p1"]}))
+    ->Place.thenError(ProductsNotAvailable({missing: ["p1"]}))
+  )
+})

package/tests/Flow/OrderingFlow_GWT.res.mjs

@@ -0,0 +1,184 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Orders$OrderingPlugin from "../../src/Order/StateViewSliceStream/Orders.res.mjs";
+import * as Flow_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Flow_GWT.res.mjs";
+import * as ShipOrder$OrderingPlugin from "../../src/Order/StateChangeSlice/ShipOrder.res.mjs";
+import * as PlaceOrder$OrderingPlugin from "../../src/Order/StateChangeSlice/PlaceOrder.res.mjs";
+import * as AutoShipOrder$OrderingPlugin from "../../src/Order/AutomationSlice/AutoShipOrder.res.mjs";
+import * as Orders_Projection$OrderingPlugin from "../../src/Order/StateViewSliceStream/Orders_Projection.res.mjs";
+import * as ShipOrder_Behavior$OrderingPlugin from "../../src/Order/StateChangeSlice/ShipOrder_Behavior.res.mjs";
+import * as SyncCatalogProduct$OrderingPlugin from "../../src/CatalogProduct/StateChangeSlice/SyncCatalogProduct.res.mjs";
+import * as PlaceOrder_Behavior$OrderingPlugin from "../../src/Order/StateChangeSlice/PlaceOrder_Behavior.res.mjs";
+import * as SendOrderConfirmation$OrderingPlugin from "../../src/Order/OutboundTranslationSlice/SendOrderConfirmation.res.mjs";
+import * as AutoShipOrder_Automation$OrderingPlugin from "../../src/Order/AutomationSlice/AutoShipOrder_Automation.res.mjs";
+import * as SyncCatalogProduct_Behavior$OrderingPlugin from "../../src/CatalogProduct/StateChangeSlice/SyncCatalogProduct_Behavior.res.mjs";
+import * as SendOrderConfirmation_Translation$OrderingPlugin from "../../src/Order/OutboundTranslationSlice/SendOrderConfirmation_Translation.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 ConfirmSlice = {
+  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,
+  externalSystem: SendOrderConfirmation$OrderingPlugin.externalSystem,
+  moduleUrl: SendOrderConfirmation$OrderingPlugin.moduleUrl,
+  collect: SendOrderConfirmation_Translation$OrderingPlugin.collect
+};
+
+let Sync = Flow_GWT$ReventlessGwt.CommandStep({
+  name: SyncCatalogProduct$OrderingPlugin.name,
+  consumedEventSchema: SyncCatalogProduct$OrderingPlugin.consumedEventSchema,
+  commandSchema: SyncCatalogProduct$OrderingPlugin.commandSchema,
+  errorSchema: SyncCatalogProduct$OrderingPlugin.errorSchema,
+  eventSchema: SyncCatalogProduct$OrderingPlugin.eventSchema
+})({
+  initialState: SyncCatalogProduct_Behavior$OrderingPlugin.initialState,
+  evolve: SyncCatalogProduct_Behavior$OrderingPlugin.evolve,
+  decide: SyncCatalogProduct_Behavior$OrderingPlugin.decide
+});
+
+let Place = Flow_GWT$ReventlessGwt.CommandStep({
+  name: PlaceOrder$OrderingPlugin.name,
+  consumedEventSchema: PlaceOrder$OrderingPlugin.consumedEventSchema,
+  commandSchema: PlaceOrder$OrderingPlugin.commandSchema,
+  errorSchema: PlaceOrder$OrderingPlugin.errorSchema,
+  eventSchema: PlaceOrder$OrderingPlugin.eventSchema
+})({
+  initialState: PlaceOrder_Behavior$OrderingPlugin.initialState,
+  evolve: PlaceOrder_Behavior$OrderingPlugin.evolve,
+  decide: PlaceOrder_Behavior$OrderingPlugin.decide
+});
+
+let Auto = Flow_GWT$ReventlessGwt.AutomationStep({
+  name: AutoShipOrder$OrderingPlugin.name,
+  consumedEventSchema: consumedEventSchema,
+  todoItemSchema: AutoShipOrder$OrderingPlugin.todoItemSchema,
+  commandSchema: AutoShipOrder$OrderingPlugin.commandSchema,
+  collect: collect,
+  resolve: resolve,
+  process: AutoShipOrder_Automation$OrderingPlugin.process
+});
+
+let Ship = Flow_GWT$ReventlessGwt.CommandStep({
+  name: ShipOrder$OrderingPlugin.name,
+  consumedEventSchema: ShipOrder$OrderingPlugin.consumedEventSchema,
+  commandSchema: ShipOrder$OrderingPlugin.commandSchema,
+  errorSchema: ShipOrder$OrderingPlugin.errorSchema,
+  eventSchema: ShipOrder$OrderingPlugin.eventSchema
+})({
+  initialState: ShipOrder_Behavior$OrderingPlugin.initialState,
+  evolve: ShipOrder_Behavior$OrderingPlugin.evolve,
+  decide: ShipOrder_Behavior$OrderingPlugin.decide
+});
+
+let OrdersView = Flow_GWT$ReventlessGwt.ViewStep({
+  name: Orders$OrderingPlugin.name,
+  stateSchema: Orders$OrderingPlugin.stateSchema,
+  consumedEventSchema: Orders$OrderingPlugin.consumedEventSchema,
+  subIdConfig: undefined
+})({
+  project: Orders_Projection$OrderingPlugin.project
+});
+
+let Confirm = Flow_GWT$ReventlessGwt.OutboundStep({
+  name: SendOrderConfirmation$OrderingPlugin.name,
+  consumedEventSchema: SendOrderConfirmation$OrderingPlugin.consumedEventSchema,
+  outboundItemSchema: SendOrderConfirmation$OrderingPlugin.outboundItemSchema,
+  inboundCommandSchema: SendOrderConfirmation$OrderingPlugin.inboundCommandSchema,
+  collect: SendOrderConfirmation_Translation$OrderingPlugin.collect
+});
+
+Flow_GWT$ReventlessGwt.describe("Ordering flow — place → auto-ship → confirm", () => {
+  Flow_GWT$ReventlessGwt.test("an order is placed, auto-shipped, projected as Shipped, and confirmed", undefined, () => Confirm.thenOutbound(OrdersView.thenViewState(Ship.thenEvent(Ship.whenCommand(Auto.thenIssuesCommand(Auto.whenReacts(Place.thenEvent(Place.whenCommand(Sync.givenEvents(Flow_GWT$ReventlessGwt.start, [{
+      TAG: "CatalogProductSynced",
+      productId: "p1",
+      name: "Book",
+      price: 9.99
+    }]), {
+    TAG: "PlaceOrder",
+    orderId: "o1",
+    customerId: "c1",
+    productIds: ["p1"]
+  }), {
+    TAG: "OrderPlaced",
+    orderId: "o1",
+    customerId: "c1",
+    productIds: ["p1"]
+  })), {
+    TAG: "ShipOrder",
+    orderId: "o1"
+  }), {
+    TAG: "ShipOrder",
+    orderId: "o1"
+  }), {
+    TAG: "OrderShipped",
+    orderId: "o1"
+  }), "o1", {
+    orderId: "o1",
+    customerId: "c1",
+    productIds: ["p1"],
+    status: "Shipped"
+  }), [[
+      "o1",
+      {
+        orderId: "o1",
+        customerId: "c1"
+      }
+    ]]));
+  Flow_GWT$ReventlessGwt.test("placing an order for an unsynced product is rejected", undefined, () => Place.thenError(Place.whenCommand(Flow_GWT$ReventlessGwt.start, {
+    TAG: "PlaceOrder",
+    orderId: "o1",
+    customerId: "c1",
+    productIds: ["p1"]
+  }), {
+    TAG: "ProductsNotAvailable",
+    missing: ["p1"]
+  }));
+});
+
+export {
+  testContext,
+  AutoShipOrderSlice,
+  ConfirmSlice,
+  Sync,
+  Place,
+  Auto,
+  Ship,
+  OrdersView,
+  Confirm,
+}
+/* Sync 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. Compose them onto the spec module
+// locally — the production split form keeps `collect`/`resolve` inside the
+// per-source mapping.
+
+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,30 @@
+// `OutboundTranslation_GWT.Make` expects a single SliceSpec with `collect` at
+// the top level. Compose `collect` onto the spec module locally — the real
+// `translate` is mocked at test time via `whenTranslateMocked`.
+
+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)
+  )
+})