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

package/tests/CatalogProduct/StateViewSliceStream/AvailableProducts_GWT.res.mjs

@@ -0,0 +1,93 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Projection_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Projection_GWT.res.mjs";
+import * as AvailableProducts$OrderingPlugin from "../../../src/CatalogProduct/StateViewSliceStream/AvailableProducts.res.mjs";
+import * as AvailableProducts_Projection$OrderingPlugin from "../../../src/CatalogProduct/StateViewSliceStream/AvailableProducts_Projection.res.mjs";
+
+let include = Projection_GWT$ReventlessGwt.Make({
+  name: AvailableProducts$OrderingPlugin.name,
+  stateSchema: AvailableProducts$OrderingPlugin.stateSchema,
+  consumedEventSchema: AvailableProducts$OrderingPlugin.consumedEventSchema,
+  subIdConfig: undefined
+})({
+  project: AvailableProducts_Projection$OrderingPlugin.project
+});
+
+let describe = include.describe;
+
+let test = include.test;
+
+let givenEvents = include.givenEvents;
+
+let whenEvent = include.whenEvent;
+
+let thenStateWithId = include.thenStateWithId;
+
+describe("AvailableProducts StateViewSliceStream", () => {
+  test("CatalogProductSynced creates a row", undefined, () => thenStateWithId(whenEvent(givenEvents([]), {
+    TAG: "CatalogProductSynced",
+    productId: "p1",
+    name: "Laptop",
+    price: 999.99
+  }), "p1", {
+    productId: "p1",
+    name: "Laptop",
+    price: 999.99
+  }));
+  test("CatalogProductPriceChanged updates the price", undefined, () => thenStateWithId(whenEvent(givenEvents([{
+      TAG: "CatalogProductSynced",
+      productId: "p1",
+      name: "Laptop",
+      price: 999.99
+    }]), {
+    TAG: "CatalogProductPriceChanged",
+    productId: "p1",
+    price: 899.99
+  }), "p1", {
+    productId: "p1",
+    name: "Laptop",
+    price: 899.99
+  }));
+});
+
+let Spec = include.Spec;
+
+let describeWithId = include.describeWithId;
+
+let todo = include.todo;
+
+let whenEvents = include.whenEvents;
+
+let thenStates = include.thenStates;
+
+let thenStatesWithId = include.thenStatesWithId;
+
+let thenAllStates = include.thenAllStates;
+
+let thenState = include.thenState;
+
+let thenNoState = include.thenNoState;
+
+let thenThrow = include.thenThrow;
+
+let thenFail = include.thenFail;
+
+export {
+  Spec,
+  describe,
+  describeWithId,
+  todo,
+  test,
+  givenEvents,
+  whenEvent,
+  whenEvents,
+  thenStates,
+  thenStatesWithId,
+  thenAllStates,
+  thenState,
+  thenStateWithId,
+  thenNoState,
+  thenThrow,
+  thenFail,
+}
+/* include Not a pure module */

package/tests/Customer/Aggregate/Customer_GWT.res

@@ -0,0 +1,63 @@
+@@reventless.gwt
+
+describe("Customer Behavior", () => {
+  test("Register on new aggregate produces Registered", () =>
+    givenEvents([])
+    ->whenCmd(Register({email: "alice@x.y", address: "123 Main"}))
+    ->thenEvent(Registered({email: "alice@x.y", address: "123 Main"}))
+  )
+
+  test("Register on existing aggregate returns CustomerAlreadyRegistered", () =>
+    givenEvents([Registered({email: "alice@x.y", address: "123 Main"})])
+    ->whenCmd(Register({email: "bob@x.y", address: "456 Oak"}))
+    ->thenError(CustomerAlreadyRegistered)
+  )
+
+  test("UpdateEmail on non-existent aggregate returns CustomerNotFound", () =>
+    givenEvents([])
+    ->whenCmd(UpdateEmail({email: "x@y"}))
+    ->thenError(CustomerNotFound)
+  )
+
+  test("UpdateEmail on active customer produces EmailUpdated", () =>
+    givenEvents([Registered({email: "alice@x.y", address: "123 Main"})])
+    ->whenCmd(UpdateEmail({email: "alice2@x.y"}))
+    ->thenEvent(EmailUpdated({email: "alice2@x.y"}))
+  )
+
+  test("UpdateEmail to same email produces no events (idempotent)", () =>
+    givenEvents([Registered({email: "alice@x.y", address: "123 Main"})])
+    ->whenCmd(UpdateEmail({email: "alice@x.y"}))
+    ->thenNoEvent
+  )
+
+  test("UpdateEmail on deactivated customer returns CustomerAlreadyDeactivated", () =>
+    givenEvents([Registered({email: "alice@x.y", address: "123 Main"}), Deactivated])
+    ->whenCmd(UpdateEmail({email: "x@y"}))
+    ->thenError(CustomerAlreadyDeactivated)
+  )
+
+  test("UpdateAddress on active customer produces AddressUpdated", () =>
+    givenEvents([Registered({email: "alice@x.y", address: "123 Main"})])
+    ->whenCmd(UpdateAddress({address: "789 Pine"}))
+    ->thenEvent(AddressUpdated({address: "789 Pine"}))
+  )
+
+  test("UpdateAddress to same address produces no events (idempotent)", () =>
+    givenEvents([Registered({email: "alice@x.y", address: "123 Main"})])
+    ->whenCmd(UpdateAddress({address: "123 Main"}))
+    ->thenNoEvent
+  )
+
+  test("Deactivate on active customer produces Deactivated", () =>
+    givenEvents([Registered({email: "alice@x.y", address: "123 Main"})])
+    ->whenCmd(Deactivate)
+    ->thenEvent(Deactivated)
+  )
+
+  test("Deactivate on deactivated customer produces no events (idempotent)", () =>
+    givenEvents([Registered({email: "alice@x.y", address: "123 Main"}), Deactivated])
+    ->whenCmd(Deactivate)
+    ->thenNoEvent
+  )
+})

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

@@ -0,0 +1,153 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Customer$OrderingPlugin from "../../../src/Customer/Aggregate/Customer.res.mjs";
+import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
+import * as Customer_Behavior$OrderingPlugin from "../../../src/Customer/Aggregate/Customer_Behavior.res.mjs";
+
+let include = Behavior_GWT$ReventlessGwt.MakeFromAggregate({
+  name: Customer$OrderingPlugin.name,
+  commandSchema: Customer$OrderingPlugin.commandSchema,
+  eventSchema: Customer$OrderingPlugin.eventSchema,
+  errorSchema: Customer$OrderingPlugin.errorSchema
+})({
+  Spec: {
+    name: Customer$OrderingPlugin.name,
+    commandSchema: Customer$OrderingPlugin.commandSchema,
+    eventSchema: Customer$OrderingPlugin.eventSchema,
+    errorSchema: Customer$OrderingPlugin.errorSchema
+  },
+  initialState: Customer_Behavior$OrderingPlugin.initialState,
+  evolve: Customer_Behavior$OrderingPlugin.evolve,
+  decide: Customer_Behavior$OrderingPlugin.decide,
+  moduleUrl: Customer_Behavior$OrderingPlugin.moduleUrl
+});
+
+let describe = include.describe;
+
+let test = include.test;
+
+let givenEvents = include.givenEvents;
+
+let whenCmd = include.whenCmd;
+
+let thenEvent = include.thenEvent;
+
+let thenNoEvent = include.thenNoEvent;
+
+let thenError = include.thenError;
+
+describe("Customer Behavior", () => {
+  test("Register on new aggregate produces Registered", () => thenEvent(whenCmd(givenEvents([]), {
+    TAG: "Register",
+    email: "alice@x.y",
+    address: "123 Main"
+  }), {
+    TAG: "Registered",
+    email: "alice@x.y",
+    address: "123 Main"
+  }));
+  test("Register on existing aggregate returns CustomerAlreadyRegistered", () => thenError(whenCmd(givenEvents([{
+      TAG: "Registered",
+      email: "alice@x.y",
+      address: "123 Main"
+    }]), {
+    TAG: "Register",
+    email: "bob@x.y",
+    address: "456 Oak"
+  }), "CustomerAlreadyRegistered"));
+  test("UpdateEmail on non-existent aggregate returns CustomerNotFound", () => thenError(whenCmd(givenEvents([]), {
+    TAG: "UpdateEmail",
+    email: "x@y"
+  }), "CustomerNotFound"));
+  test("UpdateEmail on active customer produces EmailUpdated", () => thenEvent(whenCmd(givenEvents([{
+      TAG: "Registered",
+      email: "alice@x.y",
+      address: "123 Main"
+    }]), {
+    TAG: "UpdateEmail",
+    email: "alice2@x.y"
+  }), {
+    TAG: "EmailUpdated",
+    email: "alice2@x.y"
+  }));
+  test("UpdateEmail to same email produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([{
+      TAG: "Registered",
+      email: "alice@x.y",
+      address: "123 Main"
+    }]), {
+    TAG: "UpdateEmail",
+    email: "alice@x.y"
+  })));
+  test("UpdateEmail on deactivated customer returns CustomerAlreadyDeactivated", () => thenError(whenCmd(givenEvents([
+    {
+      TAG: "Registered",
+      email: "alice@x.y",
+      address: "123 Main"
+    },
+    "Deactivated"
+  ]), {
+    TAG: "UpdateEmail",
+    email: "x@y"
+  }), "CustomerAlreadyDeactivated"));
+  test("UpdateAddress on active customer produces AddressUpdated", () => thenEvent(whenCmd(givenEvents([{
+      TAG: "Registered",
+      email: "alice@x.y",
+      address: "123 Main"
+    }]), {
+    TAG: "UpdateAddress",
+    address: "789 Pine"
+  }), {
+    TAG: "AddressUpdated",
+    address: "789 Pine"
+  }));
+  test("UpdateAddress to same address produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([{
+      TAG: "Registered",
+      email: "alice@x.y",
+      address: "123 Main"
+    }]), {
+    TAG: "UpdateAddress",
+    address: "123 Main"
+  })));
+  test("Deactivate on active customer produces Deactivated", () => thenEvent(whenCmd(givenEvents([{
+      TAG: "Registered",
+      email: "alice@x.y",
+      address: "123 Main"
+    }]), "Deactivate"), "Deactivated"));
+  test("Deactivate on deactivated customer produces no events (idempotent)", () => thenNoEvent(whenCmd(givenEvents([
+    {
+      TAG: "Registered",
+      email: "alice@x.y",
+      address: "123 Main"
+    },
+    "Deactivated"
+  ]), "Deactivate")));
+});
+
+let Spec = include.Spec;
+
+let thenCompareEvent = include.thenCompareEvent;
+
+let thenEventWithError = include.thenEventWithError;
+
+let thenEvents = include.thenEvents;
+
+let thenCompareEvents = include.thenCompareEvents;
+
+let thenEventsWithError = include.thenEventsWithError;
+
+export {
+  Spec,
+  describe,
+  test,
+  givenEvents,
+  whenCmd,
+  thenEvent,
+  thenCompareEvent,
+  thenNoEvent,
+  thenEventWithError,
+  thenEvents,
+  thenCompareEvents,
+  thenEventsWithError,
+  thenError,
+}
+/* include Not a pure module */

package/tests/Customer/ReadModelStream/Customers_GWT.res

@@ -0,0 +1,84 @@
+// Multi-source ReadModel: one `_GWT` instance per source mapping. The
+// `MultiSourceProjection_GWT.Make` functor is single-source — wire one GWT
+// module per source view and let each describe its own slice of behaviour.
+// (At runtime the two mappings merge into one row keyed by `customerId`; each
+// module here exercises its source in isolation.)
+
+module CustomerGwt = ReventlessGwt.MultiSourceProjection_GWT.Make(
+  Customers_Projections.CustomerMapping,
+)
+module OrderGwt = ReventlessGwt.MultiSourceProjection_GWT.Make(
+  Customers_Projections.CustomerOrdersMapping,
+)
+
+CustomerGwt.describe("Customers ReadModel ← Customer aggregate", () => {
+  CustomerGwt.test("Registered sets initial read model state", () =>
+    CustomerGwt.givenEvents([])
+    ->CustomerGwt.whenEvent(Customer.Registered({email: "alice@x.y", address: "123 Main"}))
+    ->CustomerGwt.thenState({
+      Customers.email: "alice@x.y",
+      address: "123 Main",
+      deactivated: false,
+      orderCount: 0,
+    })
+  )
+
+  CustomerGwt.test("EmailUpdated updates the email", () =>
+    CustomerGwt.givenEvents([Customer.Registered({email: "alice@x.y", address: "123 Main"})])
+    ->CustomerGwt.whenEvent(Customer.EmailUpdated({email: "alice2@x.y"}))
+    ->CustomerGwt.thenState({
+      Customers.email: "alice2@x.y",
+      address: "123 Main",
+      deactivated: false,
+      orderCount: 0,
+    })
+  )
+
+  CustomerGwt.test("AddressUpdated updates the address", () =>
+    CustomerGwt.givenEvents([Customer.Registered({email: "alice@x.y", address: "123 Main"})])
+    ->CustomerGwt.whenEvent(Customer.AddressUpdated({address: "789 Pine"}))
+    ->CustomerGwt.thenState({
+      Customers.email: "alice@x.y",
+      address: "789 Pine",
+      deactivated: false,
+      orderCount: 0,
+    })
+  )
+
+  CustomerGwt.test("Deactivated sets deactivated flag", () =>
+    CustomerGwt.givenEvents([Customer.Registered({email: "alice@x.y", address: "123 Main"})])
+    ->CustomerGwt.whenEvent(Customer.Deactivated)
+    ->CustomerGwt.thenState({
+      Customers.email: "alice@x.y",
+      address: "123 Main",
+      deactivated: true,
+      orderCount: 0,
+    })
+  )
+})
+
+OrderGwt.describe("Customers ReadModel ← Ordering DCB log", () => {
+  OrderGwt.test("OrderPlaced creates a row and counts the placement", () =>
+    OrderGwt.givenEvents([])
+    ->OrderGwt.whenEvent(
+      Customers_Projections.OrderEvents.OrderPlaced({orderId: "o1", customerId: "c1"}),
+    )
+    ->OrderGwt.thenStateWithId(
+      "c1",
+      {Customers.email: "", address: "", deactivated: false, orderCount: 1},
+    )
+  )
+
+  OrderGwt.test("a second OrderPlaced increments orderCount", () =>
+    OrderGwt.givenEvents([
+      Customers_Projections.OrderEvents.OrderPlaced({orderId: "o1", customerId: "c1"}),
+    ])
+    ->OrderGwt.whenEvent(
+      Customers_Projections.OrderEvents.OrderPlaced({orderId: "o2", customerId: "c1"}),
+    )
+    ->OrderGwt.thenStateWithId(
+      "c1",
+      {Customers.email: "", address: "", deactivated: false, orderCount: 2},
+    )
+  )
+})

package/tests/Customer/ReadModelStream/Customers_GWT.res.mjs

@@ -0,0 +1,90 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Customers_Projections$OrderingPlugin from "../../../src/Customer/ReadModelStream/Customers_Projections.res.mjs";
+import * as MultiSourceProjection_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/MultiSourceProjection_GWT.res.mjs";
+
+let CustomerGwt = MultiSourceProjection_GWT$ReventlessGwt.Make(Customers_Projections$OrderingPlugin.CustomerMapping);
+
+let OrderGwt = MultiSourceProjection_GWT$ReventlessGwt.Make(Customers_Projections$OrderingPlugin.CustomerOrdersMapping);
+
+CustomerGwt.describe("Customers ReadModel ← Customer aggregate", () => {
+  CustomerGwt.test("Registered sets initial read model state", undefined, () => CustomerGwt.thenState(CustomerGwt.whenEvent(CustomerGwt.givenEvents([]), {
+    TAG: "Registered",
+    email: "alice@x.y",
+    address: "123 Main"
+  }), {
+    email: "alice@x.y",
+    address: "123 Main",
+    deactivated: false,
+    orderCount: 0
+  }));
+  CustomerGwt.test("EmailUpdated updates the email", undefined, () => CustomerGwt.thenState(CustomerGwt.whenEvent(CustomerGwt.givenEvents([{
+      TAG: "Registered",
+      email: "alice@x.y",
+      address: "123 Main"
+    }]), {
+    TAG: "EmailUpdated",
+    email: "alice2@x.y"
+  }), {
+    email: "alice2@x.y",
+    address: "123 Main",
+    deactivated: false,
+    orderCount: 0
+  }));
+  CustomerGwt.test("AddressUpdated updates the address", undefined, () => CustomerGwt.thenState(CustomerGwt.whenEvent(CustomerGwt.givenEvents([{
+      TAG: "Registered",
+      email: "alice@x.y",
+      address: "123 Main"
+    }]), {
+    TAG: "AddressUpdated",
+    address: "789 Pine"
+  }), {
+    email: "alice@x.y",
+    address: "789 Pine",
+    deactivated: false,
+    orderCount: 0
+  }));
+  CustomerGwt.test("Deactivated sets deactivated flag", undefined, () => CustomerGwt.thenState(CustomerGwt.whenEvent(CustomerGwt.givenEvents([{
+      TAG: "Registered",
+      email: "alice@x.y",
+      address: "123 Main"
+    }]), "Deactivated"), {
+    email: "alice@x.y",
+    address: "123 Main",
+    deactivated: true,
+    orderCount: 0
+  }));
+});
+
+OrderGwt.describe("Customers ReadModel ← Ordering DCB log", () => {
+  OrderGwt.test("OrderPlaced creates a row and counts the placement", undefined, () => OrderGwt.thenStateWithId(OrderGwt.whenEvent(OrderGwt.givenEvents([]), {
+    TAG: "OrderPlaced",
+    orderId: "o1",
+    customerId: "c1"
+  }), "c1", {
+    email: "",
+    address: "",
+    deactivated: false,
+    orderCount: 1
+  }));
+  OrderGwt.test("a second OrderPlaced increments orderCount", undefined, () => OrderGwt.thenStateWithId(OrderGwt.whenEvent(OrderGwt.givenEvents([{
+      TAG: "OrderPlaced",
+      orderId: "o1",
+      customerId: "c1"
+    }]), {
+    TAG: "OrderPlaced",
+    orderId: "o2",
+    customerId: "c1"
+  }), "c1", {
+    email: "",
+    address: "",
+    deactivated: false,
+    orderCount: 2
+  }));
+});
+
+export {
+  CustomerGwt,
+  OrderGwt,
+}
+/* CustomerGwt Not a pure module */

package/tests/Extension/Products_Extension_GWT.res

@@ -0,0 +1,23 @@
+// Boundary GWT for Ordering's Products extension: public Catalog events become
+// SyncCatalogProduct commands on Ordering's local shadow slice.
+@@reventless.gwt
+
+// `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", () => {
+  test("ProductBecameAvailable issues SyncNewProduct", () =>
+    whenIncomingEvent(
+      ExtensionPoint.ProductBecameAvailable({productId: "p1", name: "Book", price: 9.99}),
+    )->thenPublishesCommand(
+      Delegate.SyncNewProduct({productId: "p1", name: "Book", price: 9.99}),
+    )
+  )
+
+  test("ProductPriceChanged issues ChangeSyncedPrice", () =>
+    whenIncomingEvent(
+      ExtensionPoint.ProductPriceChanged({productId: "p1", price: 7.5}),
+    )->thenPublishesCommand(Delegate.ChangeSyncedPrice({productId: "p1", price: 7.5}))
+  )
+})

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-hybrid-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"})),
+    ])
+  )
+})