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

package/CHANGELOG.md

@@ -3,6 +3,20 @@
 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.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.281",
   "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",
-    "@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/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/reventless-gwt": "1.0.0-alpha.249",
+    "@reventlessdev/online-shop-hybrid-catalog-spec": "1.0.0-alpha.167",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.198",
+    "@reventlessdev/online-shop-hybrid-ordering-spec": "1.0.0-alpha.166",
+    "@reventlessdev/reventless-local": "3.0.0-alpha.292",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.170",
+    "@reventlessdev/trait-address-geocoding": "1.0.0-alpha.51",
+    "@reventlessdev/trait-notification": "1.0.0-alpha.51"
   },
   "devDependencies": {
     "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/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/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/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),
   )
 

package/src/Plugin.res.mjs

@@ -17,16 +17,16 @@ import * as MarketingDigest$OrderingPlugin from "./Notification/Automation/Marke
 import * as NoEventMappings$ReventlessInfra from "@reventlessdev/reventless-infra/src/types/NoEventMappings.res.mjs";
 import * as SendNotification$OrderingPlugin from "./Notification/OutboundTranslation/SendNotification.res.mjs";
 import * as AvailableProducts$OrderingPlugin from "./CatalogProduct/StateViewStream/AvailableProducts.res.mjs";
-import * as Customer_Behavior$OrderingPlugin from "./Customer/Aggregate/Customer_Behavior.res.mjs";
+import * as Customer_Decision$OrderingPlugin from "./Customer/Aggregate/Customer_Decision.res.mjs";
 import * as Orders_Projection$OrderingPlugin from "./Order/StateViewStream/Orders_Projection.res.mjs";
 import * as NotificationIntake$OrderingPlugin from "./Notification/Automation/NotificationIntake.res.mjs";
 import * as Products_Extension$OrderingPlugin from "./Extension/Products_Extension.res.mjs";
-import * as ShipOrder_Behavior$OrderingPlugin from "./Order/StateChange/ShipOrder_Behavior.res.mjs";
+import * as ShipOrder_Decision$OrderingPlugin from "./Order/StateChange/ShipOrder_Decision.res.mjs";
 import * as SyncCatalogProduct$OrderingPlugin from "./CatalogProduct/StateChange/SyncCatalogProduct.res.mjs";
 import * as Orders_ExtensionPoint$OrderingSpec from "@reventlessdev/online-shop-hybrid-ordering-spec/src/Orders_ExtensionPoint.res.mjs";
-import * as PlaceOrder_Behavior$OrderingPlugin from "./Order/StateChange/PlaceOrder_Behavior.res.mjs";
+import * as PlaceOrder_Decision$OrderingPlugin from "./Order/StateChange/PlaceOrder_Decision.res.mjs";
 import * as VerifyCustomerEmail$OrderingPlugin from "./Customer/OutboundTranslation/VerifyCustomerEmail.res.mjs";
-import * as CancelOrder_Behavior$OrderingPlugin from "./Order/StateChange/CancelOrder_Behavior.res.mjs";
+import * as CancelOrder_Decision$OrderingPlugin from "./Order/StateChange/CancelOrder_Decision.res.mjs";
 import * as CancelUnshippedOrder$OrderingPlugin from "./Order/Automation/CancelUnshippedOrder.res.mjs";
 import * as Products_ExtensionPoint$CatalogSpec from "@reventlessdev/online-shop-hybrid-catalog-spec/src/Products_ExtensionPoint.res.mjs";
 import * as Customers_Projections$OrderingPlugin from "./Customer/ReadModelStream/Customers_Projections.res.mjs";
@@ -39,19 +39,19 @@ import * as NotificationSourceClaims$OrderingPlugin from "./Notification/StateCh
 import * as NotificationSubscriptions$OrderingPlugin from "./Notification/StateViewStream/NotificationSubscriptions.res.mjs";
 import * as MarketingDigest_Automation$OrderingPlugin from "./Notification/Automation/MarketingDigest_Automation.res.mjs";
 import * as EmailVerificationChallenges$OrderingPlugin from "./Customer/StateChange/EmailVerificationChallenges.res.mjs";
-import * as SyncCatalogProduct_Behavior$OrderingPlugin from "./CatalogProduct/StateChange/SyncCatalogProduct_Behavior.res.mjs";
+import * as SyncCatalogProduct_Decision$OrderingPlugin from "./CatalogProduct/StateChange/SyncCatalogProduct_Decision.res.mjs";
 import * as AvailableProducts_Projection$OrderingPlugin from "./CatalogProduct/StateViewStream/AvailableProducts_Projection.res.mjs";
 import * as Orders_ExtensionPointMapping$OrderingPlugin from "./ExtensionPoint/Orders_ExtensionPointMapping.res.mjs";
 import * as SendNotification_Translation$OrderingPlugin from "./Notification/OutboundTranslation/SendNotification_Translation.res.mjs";
 import * as NotificationIntake_Automation$OrderingPlugin from "./Notification/Automation/NotificationIntake_Automation.res.mjs";
 import * as CancelUnshippedOrder_Automation$OrderingPlugin from "./Order/Automation/CancelUnshippedOrder_Automation.res.mjs";
 import * as VerifyCustomerEmail_Translation$OrderingPlugin from "./Customer/OutboundTranslation/VerifyCustomerEmail_Translation.res.mjs";
-import * as NotificationPreferences_Behavior$OrderingPlugin from "./Notification/StateChange/NotificationPreferences_Behavior.res.mjs";
+import * as NotificationPreferences_Decision$OrderingPlugin from "./Notification/StateChange/NotificationPreferences_Decision.res.mjs";
 import * as NotificationDeliveries_Projection$OrderingPlugin from "./Notification/StateViewStream/NotificationDeliveries_Projection.res.mjs";
-import * as NotificationSourceClaims_Behavior$OrderingPlugin from "./Notification/StateChange/NotificationSourceClaims_Behavior.res.mjs";
+import * as NotificationSourceClaims_Decision$OrderingPlugin from "./Notification/StateChange/NotificationSourceClaims_Decision.res.mjs";
 import * as GeocodeCustomerAddress_Translation$OrderingPlugin from "./Customer/OutboundTranslation/GeocodeCustomerAddress_Translation.res.mjs";
 import * as AnnounceRecipientContact_Translation$OrderingPlugin from "./Notification/OutboundTranslation/AnnounceRecipientContact_Translation.res.mjs";
-import * as EmailVerificationChallenges_Behavior$OrderingPlugin from "./Customer/StateChange/EmailVerificationChallenges_Behavior.res.mjs";
+import * as EmailVerificationChallenges_Decision$OrderingPlugin from "./Customer/StateChange/EmailVerificationChallenges_Decision.res.mjs";
 import * as NotificationSubscriptions_Projection$OrderingPlugin from "./Notification/StateViewStream/NotificationSubscriptions_Projection.res.mjs";
 
 let dcbSliceSchemas = [
@@ -119,10 +119,10 @@ function Make(Platform) {
     traits: CancelOrder$OrderingPlugin.traits,
     readConsistency: CancelOrder$OrderingPlugin.readConsistency
   })({
-    initialState: CancelOrder_Behavior$OrderingPlugin.initialState,
-    evolve: CancelOrder_Behavior$OrderingPlugin.evolve,
-    decide: CancelOrder_Behavior$OrderingPlugin.decide,
-    moduleUrl: CancelOrder_Behavior$OrderingPlugin.moduleUrl
+    initialState: CancelOrder_Decision$OrderingPlugin.initialState,
+    evolve: CancelOrder_Decision$OrderingPlugin.evolve,
+    decide: CancelOrder_Decision$OrderingPlugin.decide,
+    moduleUrl: CancelOrder_Decision$OrderingPlugin.moduleUrl
   });
   let EmailVerificationChallengesSlice = Platform.StateChangeSlice.Make({
     name: EmailVerificationChallenges$OrderingPlugin.name,
@@ -136,10 +136,10 @@ function Make(Platform) {
     traits: EmailVerificationChallenges$OrderingPlugin.traits,
     readConsistency: EmailVerificationChallenges$OrderingPlugin.readConsistency
   })({
-    initialState: EmailVerificationChallenges_Behavior$OrderingPlugin.initialState,
-    evolve: EmailVerificationChallenges_Behavior$OrderingPlugin.evolve,
-    decide: EmailVerificationChallenges_Behavior$OrderingPlugin.decide,
-    moduleUrl: EmailVerificationChallenges_Behavior$OrderingPlugin.moduleUrl
+    initialState: EmailVerificationChallenges_Decision$OrderingPlugin.initialState,
+    evolve: EmailVerificationChallenges_Decision$OrderingPlugin.evolve,
+    decide: EmailVerificationChallenges_Decision$OrderingPlugin.decide,
+    moduleUrl: EmailVerificationChallenges_Decision$OrderingPlugin.moduleUrl
   });
   let NotificationPreferencesSlice = Platform.StateChangeSlice.Make({
     name: NotificationPreferences$OrderingPlugin.name,
@@ -153,10 +153,10 @@ function Make(Platform) {
     traits: NotificationPreferences$OrderingPlugin.traits,
     readConsistency: NotificationPreferences$OrderingPlugin.readConsistency
   })({
-    initialState: NotificationPreferences_Behavior$OrderingPlugin.initialState,
-    evolve: NotificationPreferences_Behavior$OrderingPlugin.evolve,
-    decide: NotificationPreferences_Behavior$OrderingPlugin.decide,
-    moduleUrl: NotificationPreferences_Behavior$OrderingPlugin.moduleUrl
+    initialState: NotificationPreferences_Decision$OrderingPlugin.initialState,
+    evolve: NotificationPreferences_Decision$OrderingPlugin.evolve,
+    decide: NotificationPreferences_Decision$OrderingPlugin.decide,
+    moduleUrl: NotificationPreferences_Decision$OrderingPlugin.moduleUrl
   });
   let NotificationSourceClaimsSlice = Platform.StateChangeSlice.Make({
     name: NotificationSourceClaims$OrderingPlugin.name,
@@ -170,10 +170,10 @@ function Make(Platform) {
     traits: NotificationSourceClaims$OrderingPlugin.traits,
     readConsistency: NotificationSourceClaims$OrderingPlugin.readConsistency
   })({
-    initialState: NotificationSourceClaims_Behavior$OrderingPlugin.initialState,
-    evolve: NotificationSourceClaims_Behavior$OrderingPlugin.evolve,
-    decide: NotificationSourceClaims_Behavior$OrderingPlugin.decide,
-    moduleUrl: NotificationSourceClaims_Behavior$OrderingPlugin.moduleUrl
+    initialState: NotificationSourceClaims_Decision$OrderingPlugin.initialState,
+    evolve: NotificationSourceClaims_Decision$OrderingPlugin.evolve,
+    decide: NotificationSourceClaims_Decision$OrderingPlugin.decide,
+    moduleUrl: NotificationSourceClaims_Decision$OrderingPlugin.moduleUrl
   });
   let PlaceOrderSlice = Platform.StateChangeSlice.Make({
     name: PlaceOrder$OrderingPlugin.name,
@@ -187,10 +187,10 @@ function Make(Platform) {
     traits: PlaceOrder$OrderingPlugin.traits,
     readConsistency: PlaceOrder$OrderingPlugin.readConsistency
   })({
-    initialState: PlaceOrder_Behavior$OrderingPlugin.initialState,
-    evolve: PlaceOrder_Behavior$OrderingPlugin.evolve,
-    decide: PlaceOrder_Behavior$OrderingPlugin.decide,
-    moduleUrl: PlaceOrder_Behavior$OrderingPlugin.moduleUrl
+    initialState: PlaceOrder_Decision$OrderingPlugin.initialState,
+    evolve: PlaceOrder_Decision$OrderingPlugin.evolve,
+    decide: PlaceOrder_Decision$OrderingPlugin.decide,
+    moduleUrl: PlaceOrder_Decision$OrderingPlugin.moduleUrl
   });
   let ShipOrderSlice = Platform.StateChangeSlice.Make({
     name: ShipOrder$OrderingPlugin.name,
@@ -204,10 +204,10 @@ function Make(Platform) {
     traits: ShipOrder$OrderingPlugin.traits,
     readConsistency: ShipOrder$OrderingPlugin.readConsistency
   })({
-    initialState: ShipOrder_Behavior$OrderingPlugin.initialState,
-    evolve: ShipOrder_Behavior$OrderingPlugin.evolve,
-    decide: ShipOrder_Behavior$OrderingPlugin.decide,
-    moduleUrl: ShipOrder_Behavior$OrderingPlugin.moduleUrl
+    initialState: ShipOrder_Decision$OrderingPlugin.initialState,
+    evolve: ShipOrder_Decision$OrderingPlugin.evolve,
+    decide: ShipOrder_Decision$OrderingPlugin.decide,
+    moduleUrl: ShipOrder_Decision$OrderingPlugin.moduleUrl
   });
   let SyncCatalogProductSlice = Platform.StateChangeSlice.Make({
     name: SyncCatalogProduct$OrderingPlugin.name,
@@ -221,10 +221,10 @@ function Make(Platform) {
     traits: SyncCatalogProduct$OrderingPlugin.traits,
     readConsistency: SyncCatalogProduct$OrderingPlugin.readConsistency
   })({
-    initialState: SyncCatalogProduct_Behavior$OrderingPlugin.initialState,
-    evolve: SyncCatalogProduct_Behavior$OrderingPlugin.evolve,
-    decide: SyncCatalogProduct_Behavior$OrderingPlugin.decide,
-    moduleUrl: SyncCatalogProduct_Behavior$OrderingPlugin.moduleUrl
+    initialState: SyncCatalogProduct_Decision$OrderingPlugin.initialState,
+    evolve: SyncCatalogProduct_Decision$OrderingPlugin.evolve,
+    decide: SyncCatalogProduct_Decision$OrderingPlugin.decide,
+    moduleUrl: SyncCatalogProduct_Decision$OrderingPlugin.moduleUrl
   });
   let AvailableProductsStreamSlice = Platform.StateViewSliceStream.Make({
     name: AvailableProducts$OrderingPlugin.name,
@@ -433,11 +433,11 @@ function Make(Platform) {
     commandTransition: Customer$OrderingPlugin.commandTransition,
     traits: Customer$OrderingPlugin.traits
   })({
-    initialState: Customer_Behavior$OrderingPlugin.initialState,
-    evolve: Customer_Behavior$OrderingPlugin.evolve,
-    decide: Customer_Behavior$OrderingPlugin.decide,
+    initialState: Customer_Decision$OrderingPlugin.initialState,
+    evolve: Customer_Decision$OrderingPlugin.evolve,
+    decide: Customer_Decision$OrderingPlugin.decide,
     snapshot: undefined,
-    moduleUrl: Customer_Behavior$OrderingPlugin.moduleUrl
+    moduleUrl: Customer_Decision$OrderingPlugin.moduleUrl
   })(NoEventMappings$ReventlessInfra.Make({
     name: Customer$OrderingPlugin.name,
     Id: CustomerId$OrderingPlugin,

package/tests/CatalogProduct/StateChange/SyncCatalogProduct_GWT.res.mjs

@@ -1,11 +1,11 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
+import * as Decision_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Decision_GWT.res.mjs";
 import * as Ordering_Examples$OrderingPlugin from "../../Ordering_Examples.res.mjs";
 import * as SyncCatalogProduct$OrderingPlugin from "../../../src/CatalogProduct/StateChange/SyncCatalogProduct.res.mjs";
-import * as SyncCatalogProduct_Behavior$OrderingPlugin from "../../../src/CatalogProduct/StateChange/SyncCatalogProduct_Behavior.res.mjs";
+import * as SyncCatalogProduct_Decision$OrderingPlugin from "../../../src/CatalogProduct/StateChange/SyncCatalogProduct_Decision.res.mjs";
 
-let include = Behavior_GWT$ReventlessGwt.Make({
+let include = Decision_GWT$ReventlessGwt.Make({
   name: SyncCatalogProduct$OrderingPlugin.name,
   consumedEventSchema: SyncCatalogProduct$OrderingPlugin.consumedEventSchema,
   commandSchema: SyncCatalogProduct$OrderingPlugin.commandSchema,
@@ -13,9 +13,9 @@ let include = Behavior_GWT$ReventlessGwt.Make({
   eventSchema: SyncCatalogProduct$OrderingPlugin.eventSchema,
   authorizationOf: SyncCatalogProduct$OrderingPlugin.authorizationOf
 })({
-  initialState: SyncCatalogProduct_Behavior$OrderingPlugin.initialState,
-  evolve: SyncCatalogProduct_Behavior$OrderingPlugin.evolve,
-  decide: SyncCatalogProduct_Behavior$OrderingPlugin.decide
+  initialState: SyncCatalogProduct_Decision$OrderingPlugin.initialState,
+  evolve: SyncCatalogProduct_Decision$OrderingPlugin.evolve,
+  decide: SyncCatalogProduct_Decision$OrderingPlugin.decide
 });
 
 let describe = include.describe;
@@ -162,7 +162,7 @@ let thenEventsWithError = include.thenEventsWithError;
 
 let thenError = include.thenError;
 
-let thenRefused = include.thenRefused;
+let thenForbidden = include.thenForbidden;
 
 let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
@@ -183,7 +183,7 @@ export {
   thenEventWithError,
   thenEventsWithError,
   thenError,
-  thenRefused,
+  thenForbidden,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
 }

package/tests/Customer/AddressGeocodingConformance_GWT.res

@@ -10,7 +10,7 @@ module Binding = {
   let posture = TraitAddressGeocoding.AddressGeocoding.WritesBack
 
   module Spec = Customer
-  module Behavior = Customer_Behavior
+  module Decision = Customer_Decision
 
   let created = address => [Customer.Registered({email: "alice@x.y", address})]
   let subjectChanged = address => Customer.AddressUpdated({address: address})

package/tests/Customer/AddressGeocodingConformance_GWT.res.mjs

@@ -1,7 +1,7 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as Customer$OrderingPlugin from "../../src/Customer/Aggregate/Customer.res.mjs";
-import * as Customer_Behavior$OrderingPlugin from "../../src/Customer/Aggregate/Customer_Behavior.res.mjs";
+import * as Customer_Decision$OrderingPlugin from "../../src/Customer/Aggregate/Customer_Decision.res.mjs";
 import * as GeocodeCustomerAddress$OrderingPlugin from "../../src/Customer/OutboundTranslation/GeocodeCustomerAddress.res.mjs";
 import * as GeocodeCustomerAddress_Translation$OrderingPlugin from "../../src/Customer/OutboundTranslation/GeocodeCustomerAddress_Translation.res.mjs";
 import * as AddressGeocoding_Conformance$TraitAddressGeocoding from "@reventlessdev/trait-address-geocoding/src/AddressGeocoding_Conformance.res.mjs";
@@ -121,7 +121,7 @@ let Binding = {
   subjectB: subjectB,
   posture: "WritesBack",
   Spec: undefined,
-  Behavior: undefined,
+  Decision: undefined,
   created: created,
   subjectChanged: subjectChanged,
   located: located,
@@ -149,7 +149,7 @@ let Conformance = AddressGeocoding_Conformance$TraitAddressGeocoding.Make({
     errorSchema: Customer$OrderingPlugin.errorSchema,
     authorizationOf: Customer$OrderingPlugin.authorizationOf
   },
-  Behavior: {
+  Decision: {
     Spec: {
       name: Customer$OrderingPlugin.name,
       commandSchema: Customer$OrderingPlugin.commandSchema,
@@ -157,11 +157,11 @@ let Conformance = AddressGeocoding_Conformance$TraitAddressGeocoding.Make({
       errorSchema: Customer$OrderingPlugin.errorSchema,
       authorizationOf: Customer$OrderingPlugin.authorizationOf
     },
-    initialState: Customer_Behavior$OrderingPlugin.initialState,
-    evolve: Customer_Behavior$OrderingPlugin.evolve,
-    decide: Customer_Behavior$OrderingPlugin.decide,
+    initialState: Customer_Decision$OrderingPlugin.initialState,
+    evolve: Customer_Decision$OrderingPlugin.evolve,
+    decide: Customer_Decision$OrderingPlugin.decide,
     snapshot: undefined,
-    moduleUrl: Customer_Behavior$OrderingPlugin.moduleUrl
+    moduleUrl: Customer_Decision$OrderingPlugin.moduleUrl
   },
   created: created,
   subjectChanged: subjectChanged,

package/tests/Customer/Aggregate/Customer_GWT.res

@@ -2,7 +2,7 @@
 
 open Ordering_Examples
 
-describe("Customer Behavior", () => {
+describe("Customer Decision", () => {
   // scenario-id: 190d3516-9b61-4ed3-bc89-beea8997f380
   test("Register on new aggregate produces Registered", () =>
     givenEvents([])