@reventlessdev/online-shop-hybrid-ordering 1.0.0-alpha.280 → 1.0.0-alpha.282

package/CHANGELOG.md

@@ -3,6 +3,33 @@
 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.282 (2026-10-21)
+
+* feat!: a state view's row key is module Id ([08c9726](https://github.com/ReventlessDev/reventless-core/commit/08c972659a3d689a39fd5e2f2026597155e92210))
+
+### BREAKING CHANGES
+
+* a state view spec declares its row key as module Id. A
+hand-written module Key in a spec under StateView/ or StateViewStream/
+fails the build with "A state view's row key is `module Id`, not
+`module Key`".
+
+
+
+# 1.0.0-alpha.281 (2026-10-21)
+
+* feat!: the write-side logic module is called the decision, and a codemod moves an app over ([cb573ff](https://github.com/ReventlessDev/reventless-core/commit/cb573ff5b928c7d7f3e75988dfaa65066f8c95eb))
+
+### BREAKING CHANGES
+
+* <Spec>_Behavior.res, @@reventless.behavior,
+Reventless.Behavior.T, StateChangeSlice.Behavior, Behavior_GWT and
+thenRefused no longer exist. Run `npx reventless-rename-to-decision` at an
+app's root, then rebuild; comments are not rewritten. The PPX must be the
+matching release.
+
+
+
 # 1.0.0-alpha.280 (2026-10-19)
 
 **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.280",
+  "version": "1.0.0-alpha.282",
   "description": "Online Shop Hybrid example — Ordering plugin (Customer aggregate + Order/CatalogProduct DCB)",
   "license": "Apache-2.0",
   "jest": {
@@ -21,20 +21,20 @@
   },
   "dependencies": {
     "sury": "11.0.0",
-    "@reventlessdev/online-shop-hybrid-catalog-spec": "1.0.0-alpha.166",
-    "@reventlessdev/online-shop-hybrid-ordering-spec": "1.0.0-alpha.165",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.197",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.248",
+    "@reventlessdev/online-shop-hybrid-ordering-spec": "1.0.0-alpha.167",
     "@reventlessdev/rescript-pulumi-pulumi": "3.0.0-alpha.0",
-    "@reventlessdev/trait-notification": "1.0.0-alpha.50",
-    "@reventlessdev/trait-address-geocoding": "1.0.0-alpha.50",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.169",
-    "@reventlessdev/reventless-local": "3.0.0-alpha.291"
+    "@reventlessdev/online-shop-hybrid-catalog-spec": "1.0.0-alpha.168",
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.250",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.199",
+    "@reventlessdev/reventless-local": "3.0.0-alpha.293",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.171",
+    "@reventlessdev/trait-address-geocoding": "1.0.0-alpha.52",
+    "@reventlessdev/trait-notification": "1.0.0-alpha.52"
   },
   "devDependencies": {
     "rescript": "12.3.1",
     "sury-ppx": "11.0.0",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.103"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.104"
   },
   "peerDependencies": {
     "rescript": "^12.3.1"

package/src/CatalogProduct/StateChange/{SyncCatalogProduct_Behavior.res → SyncCatalogProduct_Decision.res}

@@ -1,6 +1,6 @@
-@@reventless.behavior
+@@reventless.decision
 
-// No price until one has been synced — see ChangeProductPrice_Behavior for why
+// No price until one has been synced — see ChangeProductPrice_Decision for why
 // a money field's "empty" is an absence rather than a zero.
 //
 // `withdrawn` sits beside the shadow rather than replacing it: a withdrawn
@@ -11,7 +11,7 @@ type state = {
   price: option<Reventless.Money.t>,
   withdrawn: bool,
   // The picture last announced, kept for the same reason `name` is: so a repeat
-  // of the same announcement can be recognised and dropped.
+  // of the same announcement can be recognized and dropped.
   productImage: option<Reventless.UploadableImage.t>,
 }
 let initialState = {name: "", price: None, withdrawn: false, productImage: None}
@@ -60,7 +60,7 @@ let decide = (state, command) =>
     }
   // Idempotent like the rest: Catalog re-announcing the same picture is the
   // ordinary shape of at-least-once delivery, not a change.
-  // Compared as options, so "the picture is gone" is recognised as a change and
+  // Compared as options, so "the picture is gone" is recognized as a change and
   // re-announcing the same absence is not.
   | ChangeSyncedProductImage({productId, ?productImage}) =>
     if state.productImage == productImage {

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

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

package/src/CatalogProduct/StateViewStream/AvailableProducts.res

@@ -6,7 +6,7 @@
 @@reventless.spec
 
 // Rows are keyed by this identity.
-module Key = CatalogSpec.ProductId
+module Id = CatalogSpec.ProductId
 @@reventless.visibility(Internal)
 
 @schema

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

@@ -67,8 +67,6 @@ let name = "AvailableProducts";
 
 let Id;
 
-let Key;
-
 let subIdConfig;
 
 let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/CatalogProduct/StateViewStream/AvailableProducts.res.mjs";
@@ -80,7 +78,6 @@ let visibility = "Internal";
 export {
   name,
   Id,
-  Key,
   consumedEventSchema,
   config,
   subIdConfig,

package/src/Customer/Aggregate/{Customer_Behavior.res → Customer_Decision.res}

@@ -1,7 +1,7 @@
-// Customer aggregate behavior.
+// Customer aggregate decision.
 // Implements the state machine for registering and managing customers.
 
-@@reventless.behavior
+@@reventless.decision
 
 // Staleness, redelivery and the client-supplied pair are the geocoding trait's
 // rules; this aggregate keeps the fields they read and names the facts they allow.

package/src/Customer/Aggregate/{Customer_Behavior.res.mjs → Customer_Decision.res.mjs}

@@ -334,7 +334,7 @@ let initialState = "NotCreated";
 
 let Verification;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Customer/Aggregate/Customer_Behavior.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Customer/Aggregate/Customer_Decision.res.mjs";
 
 let snapshot;
 

package/src/Customer/StateChange/{EmailVerificationChallenges_Behavior.res → EmailVerificationChallenges_Decision.res}

@@ -1,4 +1,4 @@
-@@reventless.behavior
+@@reventless.decision
 
 // Issue, expire, count and settle. The rules are the graft's; this slice holds
 // the state they read and names the facts they allow.

package/src/Customer/StateChange/{EmailVerificationChallenges_Behavior.res.mjs → EmailVerificationChallenges_Decision.res.mjs}

@@ -165,7 +165,7 @@ let initialState = {
 
 let policy = ContactVerification$OrderingPlugin.emailPolicy;
 
-let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Customer/StateChange/EmailVerificationChallenges_Behavior.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Customer/StateChange/EmailVerificationChallenges_Decision.res.mjs";
 
 export {
   Spec,

package/src/Notification/Automation/NotificationIntake_Automation.res

@@ -147,7 +147,7 @@ let process = (id, item: NotificationIntake.todoItem) =>
         recipientId,
         NotificationIntake.RequestNotification({
           recipientId,
-          category: NotificationPreferences_Behavior.categoryOf(rule.category),
+          category: NotificationPreferences_Decision.categoryOf(rule.category),
           reference: id,
           subjectType: rule.subjectType,
           subjectRef: Rule.subjectOf(rule, ~payload),

package/src/Notification/Automation/NotificationIntake_Automation.res.mjs

@@ -10,7 +10,7 @@ import * as CustomerId$OrderingPlugin from "../../Customer/CustomerId.res.mjs";
 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 "../StateChange/NotificationPreferences_Behavior.res.mjs";
+import * as NotificationPreferences_Decision$OrderingPlugin from "../StateChange/NotificationPreferences_Decision.res.mjs";
 
 let M = AutomationSlice$Reventless.Mappings.Make({
   name: NotificationIntake$OrderingPlugin.name,
@@ -176,7 +176,7 @@ function process(id, item, param) {
     {
       TAG: "RequestNotification",
       recipientId: match$1,
-      category: NotificationPreferences_Behavior$OrderingPlugin.categoryOf(rule.category),
+      category: NotificationPreferences_Decision$OrderingPlugin.categoryOf(rule.category),
       reference: id,
       subjectType: rule.subjectType,
       subjectRef: Notification_Rule$TraitNotification.subjectOf(rule, payload),

package/src/Notification/StateChange/{NotificationPreferences_Behavior.res → NotificationPreferences_Decision.res}

@@ -1,4 +1,4 @@
-@@reventless.behavior
+@@reventless.decision
 
 // The directory, the matrix and the dispatch decision are the trait's; this file
 // is the mapping onto them plus the two things the trait has no opinion about —

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

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

package/src/Notification/StateChange/{NotificationSourceClaims_Behavior.res → NotificationSourceClaims_Decision.res}

@@ -1,4 +1,4 @@
-@@reventless.behavior
+@@reventless.decision
 
 // The claim set is the trait's, folded through the same value the preferences
 // slice folds. Only the claim half of it is ever populated here — a claim says

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

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

package/src/Notification/StateViewStream/NotificationDeliveries.res.mjs

@@ -114,8 +114,6 @@ let name = "NotificationDeliveries";
 
 let Id;
 
-let Key;
-
 let subIdConfig;
 
 let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateViewStream/NotificationDeliveries.res.mjs";
@@ -126,11 +124,10 @@ let visibility = "Public";
 
 export {
   name,
-  Id,
   outcomeSchema,
   consumedEventSchema,
   config,
-  Key,
+  Id,
   subIdConfig,
   stateSchema$1 as stateSchema,
   moduleUrl,

package/src/Notification/StateViewStream/NotificationSubscriptions.res.mjs

@@ -58,8 +58,6 @@ let name = "NotificationSubscriptions";
 
 let Id;
 
-let Key;
-
 let subIdConfig;
 
 let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Notification/StateViewStream/NotificationSubscriptions.res.mjs";
@@ -70,12 +68,11 @@ let visibility = "Public";
 
 export {
   name,
-  Id,
   subscriptionSchema,
   stateSchema$1 as stateSchema,
   consumedEventSchema,
   config,
-  Key,
+  Id,
   subIdConfig,
   moduleUrl,
   authorization,

package/src/Notification/StateViewStream/NotificationSubscriptions_Projection.res

@@ -1,7 +1,7 @@
 @@reventless.projection
 
 module Rules = TraitNotification.Notification_Rules
-module Host = NotificationPreferences_Behavior
+module Host = NotificationPreferences_Decision
 
 let categories: array<NotificationPreferences.category> = [
   OrderConfirmation,

package/src/Notification/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 "../StateChange/NotificationPreferences_Behavior.res.mjs";
+import * as NotificationPreferences_Decision$OrderingPlugin from "../StateChange/NotificationPreferences_Decision.res.mjs";
 
 let categories = [
   "OrderConfirmation",
@@ -18,8 +18,8 @@ function defaultMatrix(email) {
   });
   return categories.flatMap(category => Notification_Rules$TraitNotification.channels.map(channel => ({
     category: category,
-    channel: NotificationPreferences_Behavior$OrderingPlugin.channelOf(channel),
-    enabled: NotificationPreferences_Behavior$OrderingPlugin.posture(NotificationPreferences_Behavior$OrderingPlugin.categoryKey(category), channel),
+    channel: NotificationPreferences_Decision$OrderingPlugin.channelOf(channel),
+    enabled: NotificationPreferences_Decision$OrderingPlugin.posture(NotificationPreferences_Decision$OrderingPlugin.categoryKey(category), channel),
     deliverable: Stdlib_Option.isSome(Notification_Rules$TraitNotification.addressFor(announced, channel))
   })));
 }

package/src/Order/StateChange/{CancelOrder_Behavior.res → CancelOrder_Decision.res}

@@ -1,4 +1,4 @@
-@@reventless.behavior
+@@reventless.decision
 
 // Where the order is, as one value rather than a pair of flags that could
 // represent `shipped && cancelled`. `productIds` rides alongside because the
@@ -33,7 +33,7 @@ let decide = (state, command) =>
   | (Placed, ReopenOrder(_)) => Ok([]) // idempotent — already open
   // A shipped order is not a cancelled one, and reopening it is not a repeat of
   // anything: accepting it silently told the caller their request had been
-  // honoured while the order stayed shipped.
+  // honored while the order stayed shipped.
   | (Shipped, ReopenOrder(_)) => Error(OrderAlreadyShipped)
   | (Cancelled, ReopenOrder({orderId: theId})) => Ok([OrderReopened({orderId: theId})])
   }

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

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

package/src/Order/StateChange/PlaceOrder.res

@@ -13,7 +13,7 @@
 // The price is read for the same reason the name is, and it is why pricing an
 // order costs nothing here: Ordering already shadows what a placement needs to
 // decide, so the total is computed from this fold rather than from a cross-plugin
-// read or a read-model query issued out of a behaviour.
+// read or a read-model query issued out of a decision.
 @schema
 type consumedEvent =
   | OrderPlaced({orderId: OrderId.t})

package/src/Order/StateChange/{PlaceOrder_Behavior.res → PlaceOrder_Decision.res}

@@ -1,4 +1,4 @@
-@@reventless.behavior
+@@reventless.decision
 
 // Stored as immutable arrays (rather than `Set.t`) so each fold yields a fresh
 // state — `evolve` returns a new record instead of mutating a shared one. This
@@ -93,7 +93,7 @@ let mergeLines = (lineItems: array<lineItem>): array<lineItem> =>
 
 // Prices one merged line from the shelf as the fold holds it. `Money.times` owns
 // the multiplication — `amount *. float(quantity)` here is exactly the arithmetic
-// that module exists to keep out of a behaviour — and refuses a product past the
+// that module exists to keep out of a decision — and refuses a product past the
 // range where a float is still an exact integer, which is a quantity nobody meant.
 let priceLine = (state, {productId, quantity}: lineItem): result<orderLine, error> =>
   switch state.shelf->lookup(productId) {

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

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

package/src/Order/StateChange/{ShipOrder_Behavior.res → ShipOrder_Decision.res}

@@ -1,4 +1,4 @@
-@@reventless.behavior
+@@reventless.decision
 
 // One state at a time, rather than three booleans. The flag triple this
 // replaced could represent `shipped && cancelled` — a shape the domain does not

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

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

package/src/Order/StateViewStream/Orders.res

@@ -4,7 +4,7 @@
 @@reventless.spec
 
 // Rows are keyed by this identity.
-module Key = OrderId
+module Id = OrderId
 
 // Catalog's store, named explicitly: the ppx would otherwise derive an
 // *Ordering* store from the field name, and nothing writes to that one.

package/src/Order/StateViewStream/Orders.res.mjs

@@ -128,8 +128,6 @@ let name = "Orders";
 
 let Id;
 
-let Key;
-
 let subIdConfig;
 
 let moduleUrl = "@reventlessdev/online-shop-hybrid-ordering/src/Order/StateViewStream/Orders.res.mjs";
@@ -141,7 +139,6 @@ let visibility = "Public";
 export {
   name,
   Id,
-  Key,
   catalogProductImage,
   shippingMethodSchema,
   orderLineSchema,

package/src/Plugin.res

@@ -56,24 +56,24 @@ let dcbSliceSchemas: array<Reventless.DcbTag.sliceSchemas> = [
 
 module Make = (Platform: ReventlessInfra.Platform.T) => {
   // StateChangeSlices
-  module CancelOrderSlice = Platform.StateChangeSlice.Make(CancelOrder, CancelOrder_Behavior)
+  module CancelOrderSlice = Platform.StateChangeSlice.Make(CancelOrder, CancelOrder_Decision)
   module EmailVerificationChallengesSlice = Platform.StateChangeSlice.Make(
     EmailVerificationChallenges,
-    EmailVerificationChallenges_Behavior,
+    EmailVerificationChallenges_Decision,
   )
   module NotificationPreferencesSlice = Platform.StateChangeSlice.Make(
     NotificationPreferences,
-    NotificationPreferences_Behavior,
+    NotificationPreferences_Decision,
   )
   module NotificationSourceClaimsSlice = Platform.StateChangeSlice.Make(
     NotificationSourceClaims,
-    NotificationSourceClaims_Behavior,
+    NotificationSourceClaims_Decision,
   )
-  module PlaceOrderSlice = Platform.StateChangeSlice.Make(PlaceOrder, PlaceOrder_Behavior)
-  module ShipOrderSlice = Platform.StateChangeSlice.Make(ShipOrder, ShipOrder_Behavior)
+  module PlaceOrderSlice = Platform.StateChangeSlice.Make(PlaceOrder, PlaceOrder_Decision)
+  module ShipOrderSlice = Platform.StateChangeSlice.Make(ShipOrder, ShipOrder_Decision)
   module SyncCatalogProductSlice = Platform.StateChangeSlice.Make(
     SyncCatalogProduct,
-    SyncCatalogProduct_Behavior,
+    SyncCatalogProduct_Decision,
   )
 
   // StateViewSliceStreams
@@ -127,7 +127,7 @@ module Make = (Platform: ReventlessInfra.Platform.T) => {
   // Aggregates
   module CustomerAggregate = Platform.Aggregate.Make(
     Customer,
-    Customer_Behavior,
+    Customer_Decision,
     ReventlessInfra.NoEventMappings.Make(Customer),
   )