@reventlessdev/online-shop-hybrid-ordering 1.0.0-alpha.233 → 1.0.0-alpha.235

package/CHANGELOG.md

@@ -3,6 +3,23 @@
 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.235 (2026-09-08)
+
+### Features
+
+* a slice folder is named for its kind, without the Slice ([a400555](https://github.com/ReventlessDev/reventless-core/commit/a400555121b023823983ebe846e99cda27063c1f))
+* **core:** a state view records when it reached each state ([5216f71](https://github.com/ReventlessDev/reventless-core/commit/5216f71b8dcafcb2f0c991923ebcf2438b27e347))
+* **example:** an order's list says where the order has got to ([a1b3a81](https://github.com/ReventlessDev/reventless-core/commit/a1b3a81befb64af25371d189c22fde07c72b7b3d))
+* **spec:** an instant is a type, and a calendar day is a different one ([a60bebc](https://github.com/ReventlessDev/reventless-core/commit/a60bebc20fe5f3413f9252be36f94ba2a9fb620d))
+
+
+# 1.0.0-alpha.234 (2026-09-07)
+
+### Bug Fixes
+
+* **core:** a state view slice composes its [@display](https://github.com/display)Name like a read model ([851aa1d](https://github.com/ReventlessDev/reventless-core/commit/851aa1d12ddae9dd39f91084f5719cd98fe1cbd4))
+
+
 # 1.0.0-alpha.233 (2026-09-07)
 
 ### Bug Fixes

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/online-shop-hybrid-ordering",
-  "version": "1.0.0-alpha.233",
+  "version": "1.0.0-alpha.235",
   "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-rc.2",
-    "@reventlessdev/online-shop-hybrid-catalog-spec": "1.0.0-alpha.126",
+    "@reventlessdev/online-shop-hybrid-catalog-spec": "1.0.0-alpha.128",
+    "@reventlessdev/online-shop-hybrid-ordering-spec": "1.0.0-alpha.128",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.160",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.19",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.158",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.204",
-    "@reventlessdev/online-shop-hybrid-ordering-spec": "1.0.0-alpha.126",
-    "@reventlessdev/reventless-local": "3.0.0-alpha.246",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.130",
-    "@reventlessdev/trait-address-geocoding": "1.0.0-alpha.6",
-    "@reventlessdev/trait-notification": "1.0.0-alpha.6"
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.206",
+    "@reventlessdev/reventless-local": "3.0.0-alpha.248",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.132",
+    "@reventlessdev/trait-address-geocoding": "1.0.0-alpha.8",
+    "@reventlessdev/trait-notification": "1.0.0-alpha.8"
   },
   "devDependencies": {
     "rescript": "12.3.0",

package/src/CatalogProduct/{StateChangeSlice → StateChange}/SyncCatalogProduct.res.mjs

@@ -95,7 +95,7 @@ let name = "SyncCatalogProduct";
 
 let Id;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/CatalogProduct/StateChangeSlice/SyncCatalogProduct.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/CatalogProduct/StateChange/SyncCatalogProduct.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/src/CatalogProduct/{StateChangeSlice → StateChange}/SyncCatalogProduct_Behavior.res.mjs

@@ -153,7 +153,7 @@ let initialState = {
   productImage: undefined
 };
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/CatalogProduct/StateChangeSlice/SyncCatalogProduct_Behavior.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/CatalogProduct/StateChange/SyncCatalogProduct_Behavior.res.mjs";
 
 export {
   Spec,

package/src/CatalogProduct/{StateViewSliceStream → StateViewStream}/AvailableProducts.res.mjs

@@ -66,7 +66,7 @@ let Id;
 
 let subIdConfig;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/CatalogProduct/StateViewSliceStream/AvailableProducts.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/CatalogProduct/StateViewStream/AvailableProducts.res.mjs";
 
 let authorization = "AllowAuthenticated";
 

package/src/CatalogProduct/{StateViewSliceStream → StateViewStream}/AvailableProducts_Projection.res.mjs

@@ -38,7 +38,7 @@ function project(param) {
 
 let Spec;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/CatalogProduct/StateViewSliceStream/AvailableProducts_Projection.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/CatalogProduct/StateViewStream/AvailableProducts_Projection.res.mjs";
 
 export {
   Spec,

package/src/Customer/{OutboundTranslationSlice → OutboundTranslation}/GeocodeCustomerAddress.res.mjs

@@ -52,7 +52,7 @@ let externalSystem = "AwsLocation";
 
 let capabilityNeeds = AddressGeocoding$TraitAddressGeocoding.capabilityNeeds;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Customer/OutboundTranslationSlice/GeocodeCustomerAddress.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Customer/OutboundTranslation/GeocodeCustomerAddress.res.mjs";
 
 export {
   name,

package/src/Customer/{OutboundTranslationSlice → OutboundTranslation}/GeocodeCustomerAddress_Translation.res.mjs

@@ -54,7 +54,7 @@ let Spec;
 
 let Geocode;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Customer/OutboundTranslationSlice/GeocodeCustomerAddress_Translation.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Customer/OutboundTranslation/GeocodeCustomerAddress_Translation.res.mjs";
 
 export {
   Spec,

package/src/Extension/Products_Extension.res.mjs

@@ -1,6 +1,6 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as SyncCatalogProduct$OrderingPlugin from "../CatalogProduct/StateChangeSlice/SyncCatalogProduct.res.mjs";
+import * as SyncCatalogProduct$OrderingPlugin from "../CatalogProduct/StateChange/SyncCatalogProduct.res.mjs";
 
 function mapIncomingEvent(_id, event, _meta, _pluginDef, _queryEngine) {
   switch (event.TAG) {

package/src/Notification/{AutomationSlice → Automation}/NotificationIntake.res.mjs

@@ -2,7 +2,7 @@
 
 import * as Sury from "sury";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
-import * as NotificationPreferences$OrderingPlugin from "../StateChangeSlice/NotificationPreferences.res.mjs";
+import * as NotificationPreferences$OrderingPlugin from "../StateChange/NotificationPreferences.res.mjs";
 
 let todoItemSchema = Sury.$schema(s => ({
   ruleId: s.m(Sury.string),
@@ -43,7 +43,7 @@ let heartbeatInterval = 60;
 
 let targetName = "NotificationPreferences";
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/AutomationSlice/NotificationIntake.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/Automation/NotificationIntake.res.mjs";
 
 export {
   name,

package/src/Notification/{AutomationSlice → Automation}/NotificationIntake_Automation.res.mjs

@@ -8,7 +8,7 @@ import * as Util_Sury$Reventless from "@reventlessdev/reventless-spec/src/util/U
 import * as AutomationSlice$Reventless from "@reventlessdev/reventless-spec/src/components/AutomationSlice.res.mjs";
 import * as NotificationIntake$OrderingPlugin from "./NotificationIntake.res.mjs";
 import * as Notification_Rule$TraitNotification from "@reventlessdev/trait-notification/src/Notification_Rule.res.mjs";
-import * as NotificationPreferences_Behavior$OrderingPlugin from "../StateChangeSlice/NotificationPreferences_Behavior.res.mjs";
+import * as NotificationPreferences_Behavior$OrderingPlugin from "../StateChange/NotificationPreferences_Behavior.res.mjs";
 
 let M = AutomationSlice$Reventless.Mappings.Make({
   name: NotificationIntake$OrderingPlugin.name,
@@ -189,7 +189,7 @@ let Spec;
 
 let Rule;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/AutomationSlice/NotificationIntake_Automation.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/Automation/NotificationIntake_Automation.res.mjs";
 
 export {
   Spec,

package/src/Notification/{OutboundTranslationSlice → OutboundTranslation}/AnnounceRecipientContact.res.mjs

@@ -44,7 +44,7 @@ let targetName = "NotificationPreferences";
 
 let externalSystem;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/OutboundTranslationSlice/AnnounceRecipientContact.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/OutboundTranslation/AnnounceRecipientContact.res.mjs";
 
 export {
   name,

package/src/Notification/{OutboundTranslationSlice → OutboundTranslation}/AnnounceRecipientContact_Translation.res.mjs

@@ -42,7 +42,7 @@ function onExhausted(_id, _item, param) {
 
 let Spec;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/OutboundTranslationSlice/AnnounceRecipientContact_Translation.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/OutboundTranslation/AnnounceRecipientContact_Translation.res.mjs";
 
 export {
   Spec,

package/src/Notification/{OutboundTranslationSlice → OutboundTranslation}/SendNotification.res.mjs

@@ -3,7 +3,7 @@
 import * as Sury from "sury";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as Notification$TraitNotification from "@reventlessdev/trait-notification/src/Notification.res.mjs";
-import * as NotificationPreferences$OrderingPlugin from "../StateChangeSlice/NotificationPreferences.res.mjs";
+import * as NotificationPreferences$OrderingPlugin from "../StateChange/NotificationPreferences.res.mjs";
 
 let consumedEventSchema = Sury.$schema(s => ({
   TAG: "NotificationRequested",
@@ -57,7 +57,7 @@ let targetName = "NotificationPreferences";
 
 let externalSystem = "Messaging";
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/OutboundTranslationSlice/SendNotification.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/OutboundTranslation/SendNotification.res.mjs";
 
 export {
   name,

package/src/Notification/{OutboundTranslationSlice → OutboundTranslation}/SendNotification_Translation.res.mjs

@@ -115,7 +115,7 @@ function onExhausted(_id, item, lastError) {
 
 let Spec;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/OutboundTranslationSlice/SendNotification_Translation.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/OutboundTranslation/SendNotification_Translation.res.mjs";
 
 export {
   Spec,

package/src/Notification/{StateChangeSlice → StateChange}/NotificationPreferences.res.mjs

@@ -192,7 +192,7 @@ let name = "NotificationPreferences";
 
 let Id;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateChangeSlice/NotificationPreferences.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateChange/NotificationPreferences.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/src/Notification/{StateChangeSlice → StateChange}/NotificationPreferences_Behavior.res.mjs

@@ -292,7 +292,7 @@ let Rules;
 
 let initialState = Notification_Rules$TraitNotification.empty;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateChangeSlice/NotificationPreferences_Behavior.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateChange/NotificationPreferences_Behavior.res.mjs";
 
 export {
   Spec,

package/src/Notification/{StateChangeSlice → StateChange}/NotificationSourceClaims.res.mjs

@@ -62,7 +62,7 @@ let name = "NotificationSourceClaims";
 
 let Id;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateChangeSlice/NotificationSourceClaims.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateChange/NotificationSourceClaims.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/src/Notification/{StateChangeSlice → StateChange}/NotificationSourceClaims_Behavior.res.mjs

@@ -76,7 +76,7 @@ let Rules;
 
 let initialState = Notification_Rules$TraitNotification.empty;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateChangeSlice/NotificationSourceClaims_Behavior.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateChange/NotificationSourceClaims_Behavior.res.mjs";
 
 export {
   Spec,

package/src/Notification/{StateViewSliceStream → StateViewStream}/NotificationDeliveries.res

@@ -65,8 +65,10 @@ type state = {
   // The provider's own id once it accepted, or the reason it did not. One field
   // because exactly one of them is ever true, and the outcome says which.
   detail: string,
-  decidedAt: @s.matches(Reventless.DateTime.string) string,
-  settledAt: @s.matches(Reventless.DateTime.string) string,
+  decidedAt: Reventless.DateTime.t,
+  // Absent while the row is still open. A decision that has not settled has no
+  // settlement time, and `""` said that with a value the instant grammar rejects.
+  settledAt: option<Reventless.DateTime.t>,
 }
 
 // `address` is on the published event and is not read here — a consumed variant

package/src/Notification/{StateViewSliceStream → StateViewStream}/NotificationDeliveries.res.mjs

@@ -2,10 +2,10 @@
 
 import * as Sury from "sury";
 import * as Owner$Reventless from "@reventlessdev/reventless-spec/src/components/Owner.res.mjs";
-import * as DateTime$Reventless from "@reventlessdev/reventless-spec/src/types/DateTime.res.mjs";
+import * as DateTime$Reventless from "@reventlessdev/reventless-spec/src/semantic/DateTime.res.mjs";
 import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
 import * as StateAnnotations$Reventless from "@reventlessdev/reventless-spec/src/components/StateAnnotations.res.mjs";
-import * as NotificationPreferences$OrderingPlugin from "../StateChangeSlice/NotificationPreferences.res.mjs";
+import * as NotificationPreferences$OrderingPlugin from "../StateChange/NotificationPreferences.res.mjs";
 
 let outcomeSchema = Sury.union([
   Sury.literal("Requested"),
@@ -25,8 +25,8 @@ let stateSchema = Sury.$schema(s => ({
   subjectRef: s.m(Sury.string),
   origin: s.m(Sury.string),
   detail: s.m(Sury.string),
-  decidedAt: s.m(DateTime$Reventless.string),
-  settledAt: s.m(DateTime$Reventless.string)
+  decidedAt: s.m(DateTime$Reventless.schema),
+  settledAt: s.m(Sury.$option(DateTime$Reventless.schema))
 }));
 
 let consumedEventSchema = Sury.union([
@@ -116,7 +116,7 @@ let Id;
 
 let subIdConfig;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateViewSliceStream/NotificationDeliveries.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateViewStream/NotificationDeliveries.res.mjs";
 
 let authorization = "AllowAuthenticated";
 

package/src/Notification/{StateViewSliceStream → StateViewStream}/NotificationDeliveries_Projection.res

@@ -35,7 +35,7 @@ let project = ({event, meta}) =>
           origin: originName(origin),
           detail: "",
           decidedAt: meta.time,
-          settledAt: "",
+          settledAt: None,
         },
       ),
     ]
@@ -56,7 +56,7 @@ let project = ({event, meta}) =>
           origin: originName(origin),
           detail: "the recipient is not subscribed to this notification",
           decidedAt: meta.time,
-          settledAt: meta.time,
+          settledAt: Some(meta.time),
         },
       ),
     ]
@@ -74,7 +74,7 @@ let project = ({event, meta}) =>
           origin: originName(origin),
           detail: "no address on file for a channel the recipient wants",
           decidedAt: meta.time,
-          settledAt: meta.time,
+          settledAt: Some(meta.time),
         },
       ),
     ]
@@ -83,10 +83,15 @@ let project = ({event, meta}) =>
         ...state,
         outcome: Delivered,
         detail: providerRef,
-        settledAt: meta.time,
+        settledAt: Some(meta.time),
       }),
     ]
   | NotificationFailed({reference, reason}) => [
-      Update(reference, state => {...state, outcome: Failed, detail: reason, settledAt: meta.time}),
+      Update(reference, state => {
+        ...state,
+        outcome: Failed,
+        detail: reason,
+        settledAt: Some(meta.time),
+      }),
     ]
   }

package/src/Notification/{StateViewSliceStream → StateViewStream}/NotificationDeliveries_Projection.res.mjs

@@ -40,7 +40,7 @@ function project(param) {
             origin: originName(event.origin),
             detail: "",
             decidedAt: meta.time,
-            settledAt: ""
+            settledAt: undefined
           }
         }];
     case "NotificationSuppressed" :
@@ -124,7 +124,7 @@ function project(param) {
 
 let Spec;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateViewSliceStream/NotificationDeliveries_Projection.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateViewStream/NotificationDeliveries_Projection.res.mjs";
 
 export {
   Spec,

package/src/Notification/{StateViewSliceStream → StateViewStream}/NotificationSubscriptions.res.mjs

@@ -4,7 +4,7 @@ import * as Sury from "sury";
 import * as Owner$Reventless from "@reventlessdev/reventless-spec/src/components/Owner.res.mjs";
 import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
 import * as DisplayName$Reventless from "@reventlessdev/reventless-spec/src/components/DisplayName.res.mjs";
-import * as NotificationPreferences$OrderingPlugin from "../StateChangeSlice/NotificationPreferences.res.mjs";
+import * as NotificationPreferences$OrderingPlugin from "../StateChange/NotificationPreferences.res.mjs";
 
 let subscriptionSchema = Sury.$schema(s => ({
   category: s.m(NotificationPreferences$OrderingPlugin.categorySchema),
@@ -60,7 +60,7 @@ let Id;
 
 let subIdConfig;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateViewSliceStream/NotificationSubscriptions.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateViewStream/NotificationSubscriptions.res.mjs";
 
 let authorization = "AllowAuthenticated";
 

package/src/Notification/{StateViewSliceStream → StateViewStream}/NotificationSubscriptions_Projection.res.mjs

@@ -2,7 +2,7 @@
 
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Notification_Rules$TraitNotification from "@reventlessdev/trait-notification/src/Notification_Rules.res.mjs";
-import * as NotificationPreferences_Behavior$OrderingPlugin from "../StateChangeSlice/NotificationPreferences_Behavior.res.mjs";
+import * as NotificationPreferences_Behavior$OrderingPlugin from "../StateChange/NotificationPreferences_Behavior.res.mjs";
 
 let categories = [
   "OrderConfirmation",
@@ -86,7 +86,7 @@ let Rules;
 
 let Host;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateViewSliceStream/NotificationSubscriptions_Projection.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateViewStream/NotificationSubscriptions_Projection.res.mjs";
 
 export {
   Spec,

package/src/Order/{AutomationSlice → Automation}/AutoShipOrder.res.mjs

@@ -32,7 +32,7 @@ let heartbeatInterval = 60;
 
 let targetName = "ShipOrder";
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/AutomationSlice/AutoShipOrder.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/Automation/AutoShipOrder.res.mjs";
 
 export {
   name,

package/src/Order/{AutomationSlice → Automation}/AutoShipOrder_Automation.res.mjs

@@ -105,7 +105,7 @@ function onExhausted(_id, _item) {
 
 let Spec;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/AutomationSlice/AutoShipOrder_Automation.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/Automation/AutoShipOrder_Automation.res.mjs";
 
 export {
   Spec,

package/src/Order/{StateChangeSlice → StateChange}/CancelOrder.res.mjs

@@ -70,7 +70,7 @@ let name = "CancelOrder";
 
 let Id;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/StateChangeSlice/CancelOrder.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/StateChange/CancelOrder.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/src/Order/{StateChangeSlice → StateChange}/CancelOrder_Behavior.res.mjs

@@ -83,7 +83,7 @@ function decide(state, command) {
 
 let Spec;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/StateChangeSlice/CancelOrder_Behavior.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/StateChange/CancelOrder_Behavior.res.mjs";
 
 export {
   Spec,

package/src/Order/{StateChangeSlice → StateChange}/PlaceOrder.res.mjs

@@ -114,7 +114,7 @@ let name = "PlaceOrder";
 
 let Id;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/StateChangeSlice/PlaceOrder.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/StateChange/PlaceOrder.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/src/Order/{StateChangeSlice → StateChange}/PlaceOrder_Behavior.res.mjs

@@ -269,7 +269,7 @@ function decide(state, command) {
 
 let Spec;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/StateChangeSlice/PlaceOrder_Behavior.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/StateChange/PlaceOrder_Behavior.res.mjs";
 
 export {
   Spec,

package/src/Order/{StateChangeSlice → StateChange}/ShipOrder.res.mjs

@@ -54,7 +54,7 @@ let name = "ShipOrder";
 
 let Id;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/StateChangeSlice/ShipOrder.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/StateChange/ShipOrder.res.mjs";
 
 let readConsistency = "EscalateOnRetry";
 

package/src/Order/{StateChangeSlice → StateChange}/ShipOrder_Behavior.res.mjs

@@ -64,7 +64,7 @@ let initialState = {
   customerId: ""
 };
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/StateChangeSlice/ShipOrder_Behavior.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/StateChange/ShipOrder_Behavior.res.mjs";
 
 export {
   Spec,

package/src/Order/StateViewStream/Orders.res

@@ -0,0 +1,96 @@
+// Orders StateViewSliceStream.
+// Projects order events from the shared ordering event log into an Orders read model.
+
+@@reventless.spec
+
+// Catalog's store, named explicitly: the ppx would otherwise derive an
+// *Ordering* store from the field name, and nothing writes to that one.
+let catalogProductImage = Reventless.UploadableImage.forField(
+  ~plugin="Catalog",
+  ~store="productImages",
+)
+
+@schema
+type shippingMethod =
+  | Standard
+  | Express
+  | Pickup
+
+// One priced line, carried straight from `OrderPlaced` — the name and prices the
+// write side froze at placement, not the catalog's current ones.
+@schema
+type orderLine = {
+  productId: string,
+  name: string,
+  quantity: int,
+  unitPrice: Reventless.Money.t,
+  lineTotal: Reventless.Money.t,
+}
+
+@schema
+type consumedEvent =
+  | OrderPlaced({
+      orderId: string,
+      customerId: string,
+      productIds: array<string>,
+      lines: array<orderLine>,
+      total: Reventless.Money.t,
+      shippingMethod: shippingMethod,
+      deliveryWindow: option<Reventless.DateRange.t>,
+      firstProductName: option<string>,
+      firstProductImage: @s.matches(S.option(catalogProductImage))
+      option<Reventless.UploadableImage.t>,
+    })
+  | OrderShipped({orderId: string})
+  | OrderCancelled({orderId: string})
+  // Folding the cancellation without the reopen would render the row `Cancelled`
+  // for the rest of its life. `ReopenOrder` being internal-only does not make
+  // the edge less real.
+  | OrderReopened({orderId: string})
+
+@schema
+type lifecycle =
+  | Placed
+  | Shipped
+  | Cancelled
+
+// An order list is operational — an `AutoShipOrder` flips a row while the
+// shopper is looking at it — so the Live control is offered.
+@live(true) @schema
+type state = {
+  orderId: string,
+  // Reads are narrowed to the caller's own rows in the resolver; an elevated
+  // caller sees every row.
+  @owner customerId: string,
+  // Correct on the event, noise in a grid — `lines` says the same with names.
+  @hidden productIds: array<string>,
+  // From the envelope's `meta.time`. `@displayName` because an order placed
+  // through the UI has a uuid for an id and no name of its own; `@summary` puts
+  // the field a row is named by in the set a list column may show.
+  @displayName @summary placedAt: Reventless.DateTime.t,
+  // Every state this order reached and when, appended by the projection
+  // machinery. Retires the per-state timestamp fields: a cancellation and a
+  // reopen are dated without a projection edge for each, and a state added later
+  // needs no new field.
+  trail: Reventless.Lifecycle.Trail.t<lifecycle>,
+  lines: array<orderLine>,
+  // What the order cost, as the write side computed it at placement.
+  @summary total: Reventless.Money.t,
+  // How many things this is, summed across the lines — which the number of lines
+  // does not give.
+  @summary itemCount: int,
+  // No annotation: the field name is the declaration. `@summary` because a view
+  // declaring any summary field shows only those, and where an order has got to
+  // is what a shopper scanning the list is looking for.
+  @summary lifecycle: lifecycle,
+  shippingMethod: shippingMethod,
+  // The requested slot as one declared span, so a scheduler lays a bar out from
+  // it directly instead of guessing the pair from field names.
+  deliveryWindow: option<Reventless.DateRange.t>,
+  // Carried on the event rather than read from the catalog — see `PlaceOrder`.
+  // Absent on orders placed before it was recorded.
+  firstProductName: option<string>,
+  // The picture the order recorded, resolved as this row's own. Schema written
+  // out because the store is Catalog's — see `catalogProductImage` above.
+  firstProductImage: @s.matches(S.option(catalogProductImage)) option<Reventless.UploadableImage.t>,
+}

package/src/Order/{StateViewSliceStream → StateViewStream}/Orders.res.mjs

@@ -3,8 +3,9 @@
 import * as Sury from "sury";
 import * as Money$Reventless from "@reventlessdev/reventless-spec/src/semantic/Money.res.mjs";
 import * as Owner$Reventless from "@reventlessdev/reventless-spec/src/components/Owner.res.mjs";
-import * as DateTime$Reventless from "@reventlessdev/reventless-spec/src/types/DateTime.res.mjs";
+import * as DateTime$Reventless from "@reventlessdev/reventless-spec/src/semantic/DateTime.res.mjs";
 import * as DateRange$Reventless from "@reventlessdev/reventless-spec/src/semantic/DateRange.res.mjs";
+import * as Lifecycle$Reventless from "@reventlessdev/reventless-spec/src/types/Lifecycle.res.mjs";
 import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
 import * as DisplayName$Reventless from "@reventlessdev/reventless-spec/src/components/DisplayName.res.mjs";
 import * as UploadableImage$Reventless from "@reventlessdev/reventless-spec/src/semantic/UploadableImage.res.mjs";
@@ -63,13 +64,13 @@ let stateSchema = Sury.$schema(s => ({
   orderId: s.m(Sury.string),
   customerId: s.m(Owner$Reventless.string),
   productIds: s.m(Sury.array(Sury.string)),
+  placedAt: s.m(DateTime$Reventless.schema),
+  trail: s.m(Lifecycle$Reventless.Trail.schema(lifecycleSchema)),
   lines: s.m(Sury.array(orderLineSchema)),
   total: s.m(Money$Reventless.schema),
   itemCount: s.m(Sury.int),
   lifecycle: s.m(lifecycleSchema),
   shippingMethod: s.m(shippingMethodSchema),
-  placedAt: s.m(DateTime$Reventless.string),
-  shippedAt: s.m(DateTime$Reventless.string),
   deliveryWindow: s.m(Sury.$option(DateRange$Reventless.schema)),
   firstProductName: s.m(Sury.$option(Sury.string)),
   firstProductImage: s.m(Sury.$option(catalogProductImage)),
@@ -98,8 +99,10 @@ let stateSchema$2 = Sury.$Metadata_set(stateSchema$1, StateAnnotations$Reventles
   indexes: [],
   hidden: ["productIds"],
   summary: [
+    "placedAt",
     "total",
-    "itemCount"
+    "itemCount",
+    "lifecycle"
   ],
   internal: [],
   drillTargets: [],
@@ -122,7 +125,7 @@ let Id;
 
 let subIdConfig;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/StateViewSliceStream/Orders.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/StateViewStream/Orders.res.mjs";
 
 let authorization = "AllowAuthenticated";