@reventlessdev/online-shop-hybrid-ordering 1.0.0-alpha.152 → 1.0.0-alpha.154

package/CHANGELOG.md

@@ -3,6 +3,30 @@
 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.154 (2026-07-26)
+
+* feat(examples)!: gate hybrid auto-shipping on a shipping method ([d620e12](https://github.com/ReventlessDev/reventless-core/commit/d620e1292db1b470670654588d04cc51b34d2ab9))
+### Features
+
+* **example:** geo-point + file command inputs and a map-bearing view ([1cd89e8](https://github.com/ReventlessDev/reventless-core/commit/1cd89e8dbf256a84a2d689df58887203ea345358))
+* **example:** product image upload replaces the customer document demo ([467b8d3](https://github.com/ReventlessDev/reventless-core/commit/467b8d3ab729be1d4fb334939453e86fdb402015))
+* **example:** ship an order from the Orders board (manual branch) + [@target](https://github.com/target)State by constructor ([e36e14d](https://github.com/ReventlessDev/reventless-core/commit/e36e14dd2545bf2db5413e177f8296b684468a41)), closes [#6](https://github.com/ReventlessDev/reventless-core/issues/6) [#5](https://github.com/ReventlessDev/reventless-core/issues/5) [#5](https://github.com/ReventlessDev/reventless-core/issues/5) [#4](https://github.com/ReventlessDev/reventless-core/issues/4)
+
+### BREAKING CHANGES
+
+* PlaceOrder and OrderPlaced gain a required shippingMethod
+field; the RefundOrder slice and its IssueRefund command are removed.
+
+
+
+# 1.0.0-alpha.153 (2026-07-24)
+
+**Note:** Version bump only for package @reventlessdev/online-shop-hybrid-ordering
+
+
+
+
+
 # 1.0.0-alpha.152 (2026-07-23)
 
 **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.152",
+  "version": "1.0.0-alpha.154",
   "description": "Online Shop Hybrid example — Ordering plugin (Customer aggregate + Order/CatalogProduct DCB)",
   "license": "Apache-2.0",
   "jest": {
@@ -21,18 +21,18 @@
   },
   "dependencies": {
     "sury": "^11.0.0-alpha.4",
-    "@reventlessdev/online-shop-hybrid-catalog-spec": "1.0.0-alpha.73",
+    "@reventlessdev/online-shop-hybrid-ordering-spec": "1.0.0-alpha.74",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.17",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.126",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.104",
-    "@reventlessdev/reventless-local": "3.0.0-alpha.166",
-    "@reventlessdev/online-shop-hybrid-ordering-spec": "1.0.0-alpha.73",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.80"
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.128",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.105",
+    "@reventlessdev/online-shop-hybrid-catalog-spec": "1.0.0-alpha.74",
+    "@reventlessdev/reventless-local": "3.0.0-alpha.168",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.81"
   },
   "devDependencies": {
     "rescript": "12.3.0",
     "sury-ppx": "11.0.0-alpha.2",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.54"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.56"
   },
   "peerDependencies": {
     "rescript": "12.3.0"

package/src/CatalogProduct/StateViewSliceStream/AvailableProducts.res.mjs

@@ -39,6 +39,8 @@ let stateSchema$1 = S.Metadata.set(stateSchema, StateAnnotations$Reventless.stat
   collapsed: [],
   scan: [],
   scanSort: [],
+  semantic: [],
+  metric: [],
   status: undefined,
   groupBy: undefined,
   visibility: "Internal"

package/src/CatalogProduct/StateViewSliceStream/AvailableProducts_Projection.res

@@ -1,6 +1,6 @@
 @@reventless.projection
 
-let project = event =>
+let project = ({event}) =>
   switch event {
   | CatalogProductSynced({productId, name, price}) => [Set(productId, {productId, name, price})]
   | CatalogProductPriceChanged({productId, price}) =>

package/src/CatalogProduct/StateViewSliceStream/AvailableProducts_Projection.res.mjs

@@ -1,7 +1,8 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 
-function project(event) {
+function project(param) {
+  let event = param.event;
   if (event.TAG === "CatalogProductSynced") {
     let productId = event.productId;
     return [{

package/src/Customer/Aggregate/Customer.res

@@ -3,11 +3,18 @@
 
 @@reventless.spec
 
+// A map coordinate carried by location commands/events. Emitted as a JSON-Schema
+// object with numeric `lat`/`lng` sub-properties, which the generated command
+// form recognises as a geo-point picker.
+@schema
+type location = {lat: float, lng: float}
+
 @schema
 type command =
   | Register({email: string, address: string})
   | UpdateEmail({email: string})
   | UpdateAddress({address: string})
+  | SetLocation({location: location})
   | Deactivate
 
 @schema
@@ -15,6 +22,7 @@ type event =
   | Registered({email: string, address: string})
   | EmailUpdated({email: string})
   | AddressUpdated({address: string})
+  | LocationSet({location: location})
   | Deactivated
 
 @schema

package/src/Customer/Aggregate/Customer.res.mjs

@@ -2,6 +2,11 @@
 
 import * as S from "sury/src/S.res.mjs";
 
+let locationSchema = S.schema(s => ({
+  lat: s.m(S.float),
+  lng: s.m(S.float)
+}));
+
 let commandSchema = S.union([
   S.schema(s => ({
     TAG: "Register",
@@ -16,6 +21,10 @@ let commandSchema = S.union([
     TAG: "UpdateAddress",
     address: s.m(S.string)
   })),
+  S.schema(s => ({
+    TAG: "SetLocation",
+    location: s.m(locationSchema)
+  })),
   S.literal("Deactivate")
 ]);
 
@@ -33,6 +42,10 @@ let eventSchema = S.union([
     TAG: "AddressUpdated",
     address: s.m(S.string)
   })),
+  S.schema(s => ({
+    TAG: "LocationSet",
+    location: s.m(locationSchema)
+  })),
   S.literal("Deactivated")
 ]);
 
@@ -55,10 +68,11 @@ let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Customer/Aggrega
 export {
   name,
   Id,
+  locationSchema,
   commandSchema,
   eventSchema,
   errorSchema,
   moduleUrl,
   commandAuthorization,
 }
-/* commandSchema Not a pure module */
+/* locationSchema Not a pure module */

package/src/Customer/Aggregate/Customer_Behavior.res

@@ -17,6 +17,7 @@ let evolve = (state, event) =>
   | (Active(_), Registered({email, address})) => Active({email, address})
   | (Active(s), EmailUpdated({email})) => Active({...s, email})
   | (Active(s), AddressUpdated({address})) => Active({...s, address})
+  | (Active(_), LocationSet(_)) => state
   | (Active(_), Customer.Deactivated) => Deactivated
   | (Deactivated, _) => state
   | (NotCreated, _) => state
@@ -33,9 +34,12 @@ let decide = (state, command) =>
   | (Active(_), UpdateEmail({email})) => Ok([EmailUpdated({email: email})])
   | (Active(s), UpdateAddress({address})) if address == s.address => Ok([])
   | (Active(_), UpdateAddress({address})) => Ok([AddressUpdated({address: address})])
+  | (Active(_), SetLocation({location})) => Ok([LocationSet({location: location})])
   | (Active(_), Deactivate) => Ok([Customer.Deactivated])
+  | (NotCreated, SetLocation(_)) => Error(CustomerNotFound)
   | (Deactivated, Register(_)) => Error(CustomerAlreadyDeactivated)
   | (Deactivated, UpdateEmail(_)) => Error(CustomerAlreadyDeactivated)
   | (Deactivated, UpdateAddress(_)) => Error(CustomerAlreadyDeactivated)
+  | (Deactivated, SetLocation(_)) => Error(CustomerAlreadyDeactivated)
   | (Deactivated, Deactivate) => Ok([]) // idempotent
   }

package/src/Customer/Aggregate/Customer_Behavior.res.mjs

@@ -46,6 +46,8 @@ function evolve(state, event) {
         email: state.email,
         address: event.address
       };
+    case "LocationSet" :
+      return state;
   }
 }
 
@@ -123,6 +125,14 @@ function decide(state, command) {
             }]
         };
       }
+    case "SetLocation" :
+      return {
+        TAG: "Ok",
+        _0: [{
+            TAG: "LocationSet",
+            location: command.location
+          }]
+      };
   }
 }
 

package/src/Customer/ReadModelStream/Customers.res

@@ -6,10 +6,15 @@
 
 @@reventless.spec
 
+// `lat`/`lng` are a numeric coordinate pair, so the generated read-model view
+// offers a map display that drops a pin per customer. They are fed by the
+// Customer aggregate's `LocationSet` event (see `Customers_Projections.res`).
 @schema
 type state = {
   @displayName email: string,
   address: string,
+  lat: float,
+  lng: float,
   deactivated: bool,
   orderCount: int,
 }

package/src/Customer/ReadModelStream/Customers.res.mjs

@@ -7,6 +7,8 @@ import * as DisplayName$Reventless from "@reventlessdev/reventless-spec/src/comp
 let stateSchema = S.schema(s => ({
   email: s.m(S.string),
   address: s.m(S.string),
+  lat: s.m(S.float),
+  lng: s.m(S.float),
   deactivated: s.m(S.bool),
   orderCount: s.m(S.int),
   displayName: s.m(S.option(S.string))

package/src/Customer/ReadModelStream/Customers_Projections.res

@@ -44,11 +44,13 @@ module CustomerMapping = Mapping.Make(
       | Registered({email, address}) =>
         UpdateWithDefault(
           id,
-          {Customers.email: email, address, deactivated: false, orderCount: 0},
+          {Customers.email: email, address, lat: 0.0, lng: 0.0, deactivated: false, orderCount: 0},
           state => {...state, email, address, deactivated: false},
         )
       | EmailUpdated({email}) => Update(id, state => {...state, email})
       | AddressUpdated({address}) => Update(id, state => {...state, address})
+      | LocationSet({location}) =>
+        Update(id, state => {...state, lat: location.lat, lng: location.lng})
       | Deactivated => Update(id, state => {...state, deactivated: true})
       }
   },
@@ -68,7 +70,7 @@ module CustomerOrdersMapping = Mapping.Make(
       | OrderPlaced({customerId}) =>
         UpdateWithDefault(
           customerId,
-          {Customers.email: "", address: "", deactivated: false, orderCount: 1},
+          {Customers.email: "", address: "", lat: 0.0, lng: 0.0, deactivated: false, orderCount: 1},
           state => {...state, orderCount: state.orderCount + 1},
         )
       }

package/src/Customer/ReadModelStream/Customers_Projections.res.mjs

@@ -52,6 +52,8 @@ function project(param) {
         _1: {
           email: email,
           address: address,
+          lat: 0.0,
+          lng: 0.0,
           deactivated: false,
           orderCount: 0
         },
@@ -85,6 +87,18 @@ function project(param) {
           return newrecord;
         }
       };
+    case "LocationSet" :
+      let location = event.location;
+      return {
+        TAG: "Update",
+        _0: id,
+        _1: state => {
+          let newrecord = {...state};
+          newrecord.lng = location.lng;
+          newrecord.lat = location.lat;
+          return newrecord;
+        }
+      };
   }
 }
 
@@ -108,6 +122,8 @@ function project$1(param) {
     _1: {
       email: "",
       address: "",
+      lat: 0.0,
+      lng: 0.0,
       deactivated: false,
       orderCount: 1
     },

package/src/Order/AutomationSlice/AutoShipOrder.res

@@ -1,6 +1,10 @@
 // AutoShipOrder AutomationSlice.
-// When OrderPlaced is emitted, automatically issue a ShipOrder command.
-// Resolved when OrderShipped arrives.
+// Expedited dispatch: when an Express order is placed, issue ShipOrder without
+// waiting for the batch run. Resolved when OrderShipped arrives.
+//
+// Standard orders ship with the batch (an explicit ShipOrder) and Pickup orders
+// are collected in store, so neither is this slice's business — `collect` in the
+// sibling `_Automation.res` admits only Express.
 //
 // Consumed events come from per-source `Mapping.Make` modules in the sibling
 // `_Automation.res`. The framework derives the consumed-event set from each

package/src/Order/AutomationSlice/AutoShipOrder_Automation.res

@@ -6,9 +6,16 @@
 // registers under.
 module OrderingDcbSource = {
   let name = "OrderingDcbEventLog"
+
+  @schema
+  type shippingMethod =
+    | Standard
+    | Express
+    | Pickup
+
   @schema
   type event =
-    | OrderPlaced({orderId: string})
+    | OrderPlaced({orderId: string, shippingMethod: shippingMethod})
     | OrderShipped({orderId: string})
 }
 
@@ -18,9 +25,16 @@ module FromOrderingDcb = Mapping.Make(
   {
     open OrderingDcbSource
 
+    // Filtering here rather than in `process` is deliberate: a todo row is a
+    // claim that this slice owes an action. Admitting Standard and Pickup and
+    // then declining them in `process` would leave rows Pending forever, so the
+    // todo view would show a backlog that is never worked off.
     let collect = (event, _ctx) =>
       switch event {
-      | OrderPlaced({orderId}) => [(orderId, ({orderId: orderId}: AutoShipOrder.todoItem))]
+      | OrderPlaced({orderId, shippingMethod: Express}) => [
+          (orderId, ({orderId: orderId}: AutoShipOrder.todoItem)),
+        ]
+      | OrderPlaced(_) => []
       | OrderShipped(_) => []
       }
 

package/src/Order/AutomationSlice/AutoShipOrder_Automation.res.mjs

@@ -18,10 +18,17 @@ let M = AutomationSlice$Reventless.Mappings.Make({
 
 let name = "OrderingDcbEventLog";
 
+let shippingMethodSchema = S.union([
+  S.literal("Standard"),
+  S.literal("Express"),
+  S.literal("Pickup")
+]);
+
 let eventSchema = S.union([
   S.schema(s => ({
     TAG: "OrderPlaced",
-    orderId: s.m(DcbTag$Reventless.string)
+    orderId: s.m(DcbTag$Reventless.string),
+    shippingMethod: s.m(shippingMethodSchema)
   })),
   S.schema(s => ({
     TAG: "OrderShipped",
@@ -32,6 +39,7 @@ let eventSchema = S.union([
 let OrderingDcbSource = {
   Id: undefined,
   name: name,
+  shippingMethodSchema: shippingMethodSchema,
   eventSchema: eventSchema
 };
 
@@ -40,12 +48,18 @@ function collect(event, _ctx) {
     return [];
   }
   let orderId = event.orderId;
-  return [[
-      orderId,
-      {
-        orderId: orderId
-      }
-    ]];
+  switch (event.shippingMethod) {
+    case "Express" :
+      return [[
+          orderId,
+          {
+            orderId: orderId
+          }
+        ]];
+    case "Standard" :
+    case "Pickup" :
+      return [];
+  }
 }
 
 function resolve(event) {

package/src/Order/StateChangeSlice/PlaceOrder.res

@@ -9,6 +9,14 @@ type consumedEvent =
   | OrderPlaced({orderId: string})
   | CatalogProductSynced({productId: string})
 
+// Declared in the order the UI should present them: the batched default first,
+// then the expedited option, then in-store collection.
+@schema
+type shippingMethod =
+  | Standard
+  | Express
+  | Pickup
+
 @schema
 type command =
   PlaceOrder({
@@ -16,6 +24,7 @@ type command =
     // customerId is payload, not a query key — @noDcbTag stops it auto-tagging.
     @noDcbTag customerId: string,
     @ref("AvailableProducts") productIds: array<string>,
+    shippingMethod: shippingMethod,
   })
 
 @schema
@@ -25,4 +34,9 @@ type error =
 
 @schema
 type event =
-  OrderPlaced({@partitionTag orderId: string, customerId: string, productIds: array<string>})
+  OrderPlaced({
+    @partitionTag orderId: string,
+    customerId: string,
+    productIds: array<string>,
+    shippingMethod: shippingMethod,
+  })

package/src/Order/StateChangeSlice/PlaceOrder.res.mjs

@@ -15,11 +15,18 @@ let consumedEventSchema = S.union([
   }))
 ]);
 
+let shippingMethodSchema = S.union([
+  S.literal("Standard"),
+  S.literal("Express"),
+  S.literal("Pickup")
+]);
+
 let commandSchema = S.schema(s => ({
   TAG: "PlaceOrder",
   orderId: s.m(DcbTag$Reventless.partition),
   customerId: s.m(S.string),
-  productIds: s.m(S.array(Reference$Reventless.to_(undefined, "productId", "AvailableProducts")))
+  productIds: s.m(S.array(Reference$Reventless.to_(undefined, "productId", "AvailableProducts"))),
+  shippingMethod: s.m(shippingMethodSchema)
 }));
 
 let errorSchema = S.union([
@@ -34,7 +41,8 @@ let eventSchema = S.schema(s => ({
   TAG: "OrderPlaced",
   orderId: s.m(DcbTag$Reventless.partition),
   customerId: s.m(DcbTag$Reventless.string),
-  productIds: s.m(S.array(DcbTag$Reventless.stringForKey("productId")))
+  productIds: s.m(S.array(DcbTag$Reventless.stringForKey("productId"))),
+  shippingMethod: s.m(shippingMethodSchema)
 }));
 
 function commandAuthorization(param) {
@@ -53,6 +61,7 @@ export {
   name,
   Id,
   consumedEventSchema,
+  shippingMethodSchema,
   commandSchema,
   errorSchema,
   eventSchema,

package/src/Order/StateChangeSlice/PlaceOrder_Behavior.res

@@ -25,7 +25,7 @@ let evolve = (state, event: consumedEvent) =>
 
 let decide = (state, command) =>
   switch command {
-  | PlaceOrder({orderId, customerId, productIds}) =>
+  | PlaceOrder({orderId, customerId, productIds, shippingMethod}) =>
     if state.placedOrderIds->Array.includes(orderId) {
       Error(OrderAlreadyPlaced)
     } else {
@@ -33,7 +33,7 @@ let decide = (state, command) =>
       if missing->Array.length > 0 {
         Error(ProductsNotAvailable({missing: missing}))
       } else {
-        Ok([OrderPlaced({orderId, customerId, productIds})])
+        Ok([OrderPlaced({orderId, customerId, productIds, shippingMethod})])
       }
     }
   }

package/src/Order/StateChangeSlice/PlaceOrder_Behavior.res.mjs

@@ -50,7 +50,8 @@ function decide(state, command) {
           TAG: "OrderPlaced",
           orderId: orderId,
           customerId: command.customerId,
-          productIds: productIds
+          productIds: productIds,
+          shippingMethod: command.shippingMethod
         }]
     };
   }

package/src/Order/StateChangeSlice/ShipOrder.res

@@ -1,17 +1,24 @@
 // ShipOrder StateChangeSlice.
 // Requires order to exist and not be cancelled; idempotent if already shipped.
+//
+// `OrderPlaced` carries a payload so it survives the DCB payload-less filter and
+// lands in `consumedEventTypes`, overlapping the Orders view's consumed events.
+// That is what links this slice to Orders (`consistencyRead=Orders`) so AutoUI's
+// board offers it — shipping is a manual operator action on the Orders board, not
+// automation-only. `@targetState("Shipped")` declares the transition outright, so
+// the board resolves the drop via its DeclaredTarget tier rather than guessing.
 
 @@reventless.spec
 
 @schema
 type consumedEvent =
-  | OrderPlaced
+  | OrderPlaced({productIds: array<string>})
   | OrderShipped
   | OrderCancelled
 
 @schema
 type command =
-  | @allowedStates([Orders.Placed]) ShipOrder({orderId: string})
+  | @allowedStates([Orders.Placed]) @targetState(Orders.Shipped) ShipOrder({orderId: string})
 
 @schema
 type error =

package/src/Order/StateChangeSlice/ShipOrder.res.mjs

@@ -5,7 +5,10 @@ import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/component
 import * as Api$ReventlessInfra from "@reventlessdev/reventless-infra/src/components/Api.res.mjs";
 
 let consumedEventSchema = S.union([
-  S.literal("OrderPlaced"),
+  S.schema(s => ({
+    TAG: "OrderPlaced",
+    productIds: s.m(S.array(DcbTag$Reventless.stringForKey("productId")))
+  })),
   S.literal("OrderShipped"),
   S.literal("OrderCancelled")
 ]);
@@ -30,6 +33,11 @@ let commandSchema$1 = Api$ReventlessInfra.markAllowedStates(commandSchema, [[
     ["Placed"]
   ]]);
 
+let commandSchema$2 = Api$ReventlessInfra.markTargetState(commandSchema$1, [[
+    "ShipOrder",
+    "Shipped"
+  ]]);
+
 function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
@@ -48,7 +56,7 @@ export {
   consumedEventSchema,
   errorSchema,
   eventSchema,
-  commandSchema$1 as commandSchema,
+  commandSchema$2 as commandSchema,
   moduleUrl,
   commandAuthorization,
   readConsistency,

package/src/Order/StateChangeSlice/ShipOrder_Behavior.res

@@ -6,7 +6,9 @@ let initialState = {exists: false, shipped: false, cancelled: false}
 
 let evolve = (state, event) =>
   switch event {
-  | OrderPlaced => {exists: true, shipped: false, cancelled: false}
+  // productIds is carried only to keep OrderPlaced out of the payload-less
+  // filter (so the slice links to Orders); ShipOrder's decision doesn't use it.
+  | OrderPlaced(_) => {exists: true, shipped: false, cancelled: false}
   | OrderShipped => {...state, shipped: true}
   | OrderCancelled => {...state, cancelled: true}
   }

package/src/Order/StateChangeSlice/ShipOrder_Behavior.res.mjs

@@ -2,25 +2,26 @@
 
 
 function evolve(state, event) {
-  switch (event) {
-    case "OrderPlaced" :
-      return {
-        exists: true,
-        shipped: false,
-        cancelled: false
-      };
-    case "OrderShipped" :
+  if (typeof event !== "object") {
+    if (event === "OrderShipped") {
       return {
         exists: state.exists,
         shipped: true,
         cancelled: state.cancelled
       };
-    case "OrderCancelled" :
+    } else {
       return {
         exists: state.exists,
         shipped: state.shipped,
         cancelled: true
       };
+    }
+  } else {
+    return {
+      exists: true,
+      shipped: false,
+      cancelled: false
+    };
   }
 }
 

package/src/Order/StateViewSliceStream/Orders.res

@@ -3,9 +3,20 @@
 
 @@reventless.spec
 
+@schema
+type shippingMethod =
+  | Standard
+  | Express
+  | Pickup
+
 @schema
 type consumedEvent =
-  | OrderPlaced({orderId: string, customerId: string, productIds: array<string>})
+  | OrderPlaced({
+      orderId: string,
+      customerId: string,
+      productIds: array<string>,
+      shippingMethod: shippingMethod,
+    })
   | OrderShipped({orderId: string})
   | OrderCancelled({orderId: string})
 
@@ -21,4 +32,11 @@ type state = {
   customerId: string,
   productIds: array<string>,
   @status status: status,
+  shippingMethod: shippingMethod,
+  // Producer timestamps taken from the event envelope's `meta.time` — no need to
+  // carry the time in the event payload. The `DateTime` marker surfaces
+  // `format: "date-time"` on the state's JSON Schema, which the AutoUI date
+  // views (Calendar/Timeline) key off. `shippedAt` is "" until the order ships.
+  placedAt: @s.matches(Reventless.DateTime.string) string,
+  shippedAt: @s.matches(Reventless.DateTime.string) string,
 }