@reventlessdev/online-shop-aggregates-ordering 3.0.0-alpha.281 → 3.0.0-alpha.282

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.
 
+# 3.0.0-alpha.282 (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.
+
+
+
 # 3.0.0-alpha.281 (2026-10-19)
 
 **Note:** Version bump only for package @reventlessdev/online-shop-aggregates-ordering

package/lib/bs/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1792429501173)
-#Done(1792429505853)
+#Start(1792571245529)
+#Done(1792571253101)

package/lib/bs/OrderingPlugin.mlmap

@@ -3,11 +3,11 @@ AvailableProducts
 AvailableProducts_GWT
 AvailableProducts_Projections
 CatalogProduct
-CatalogProduct_Behavior
+CatalogProduct_Decision
 CatalogProduct_GWT
 Customer
 CustomerId
-Customer_Behavior
+Customer_Decision
 Customer_GWT
 Customers
 Customers_GWT
@@ -19,7 +19,7 @@ Order
 OrderId
 OrderMappings_GWT
 OrderNotifications
-Order_Behavior
+Order_Decision
 Order_EmailNotification
 Order_EmailNotification_GWT
 Order_GWT

package/lib/bs/compiler-info.json

@@ -4,5 +4,5 @@
   "bsc_hash": "1006241435e8d5052329c523202a7fe6359a37e1e1688c023d37d6a7ebb5fb6d",
   "rescript_config_hash": "4c884bf958b93b21c77764e35498f269b81377cfcc324135f1ab7a1cc5b569cb",
   "runtime_path": "/home/runner/work/reventless-core/reventless-core/node_modules/@rescript/runtime",
-  "generated_at": "1792429505859"
+  "generated_at": "1792571253118"
 }

package/lib/bs/src/CatalogProduct/Aggregate/{CatalogProduct_Behavior.res → CatalogProduct_Decision.res}

@@ -1,7 +1,7 @@
-// CatalogProduct aggregate behavior.
+// CatalogProduct aggregate decision.
 // Idempotently syncs Catalog product state into Ordering.
 
-@@reventless.behavior
+@@reventless.decision
 
 @schema
 type state =

package/{src/CatalogProduct/Aggregate/CatalogProduct_Behavior.res.mjs → lib/bs/src/CatalogProduct/Aggregate/CatalogProduct_Decision.res.mjs}

@@ -74,7 +74,7 @@ let Spec;
 
 let initialState = "NotCreated";
 
-let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/CatalogProduct/Aggregate/CatalogProduct_Behavior.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/CatalogProduct/Aggregate/CatalogProduct_Decision.res.mjs";
 
 let snapshot;
 

package/{src/Customer/Aggregate/Customer_Behavior.res → lib/bs/src/Customer/Aggregate/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
 
 @schema
 type state =

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

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

package/lib/{ocaml/Order_Behavior.res → bs/src/Order/Aggregate/Order_Decision.res}

@@ -1,7 +1,7 @@
-// Order aggregate behavior.
+// Order aggregate decision.
 // Implements the lifecycle for placing, shipping, cancelling, and refunding orders.
 
-@@reventless.behavior
+@@reventless.decision
 
 @schema
 type state =

package/lib/bs/src/Order/Aggregate/{Order_Behavior.res.mjs → Order_Decision.res.mjs}

@@ -174,7 +174,7 @@ let Spec;
 
 let initialState = "NotCreated";
 
-let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/Order/Aggregate/Order_Behavior.res.mjs";
+let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/Order/Aggregate/Order_Decision.res.mjs";
 
 let snapshot;
 

package/lib/bs/src/Plugin.res

@@ -6,15 +6,15 @@ module Make = (Platform: ReventlessInfra.Platform.T) => {
   // Aggregates
   module CatalogProductAggregate = Platform.Aggregate.Make(
     CatalogProduct,
-    CatalogProduct_Behavior,
+    CatalogProduct_Decision,
     ReventlessInfra.NoEventMappings.Make(CatalogProduct),
   )
   module CustomerAggregate = Platform.Aggregate.Make(
     Customer,
-    Customer_Behavior,
+    Customer_Decision,
     ReventlessInfra.NoEventMappings.Make(Customer),
   )
-  module OrderAggregate = Platform.Aggregate.Make(Order, Order_Behavior, Order_Mappings)
+  module OrderAggregate = Platform.Aggregate.Make(Order, Order_Decision, Order_Mappings)
 
   // ReadModels
   module AvailableProductsReadModel = Platform.ReadModel.Make(

package/lib/bs/src/Plugin.res.mjs

@@ -10,18 +10,18 @@ import * as Customers$OrderingPlugin from "./Customer/ReadModel/Customers.res.mj
 import * as CustomerId$OrderingPlugin from "./Customer/CustomerId.res.mjs";
 import * as CatalogProduct$OrderingPlugin from "./CatalogProduct/Aggregate/CatalogProduct.res.mjs";
 import * as LifecycleModel$OrderingPlugin from "./LifecycleModel.res.mjs";
-import * as Order_Behavior$OrderingPlugin from "./Order/Aggregate/Order_Behavior.res.mjs";
+import * as Order_Decision$OrderingPlugin from "./Order/Aggregate/Order_Decision.res.mjs";
 import * as Order_Mappings$OrderingPlugin from "./Order/Aggregate/Order_Mappings.res.mjs";
 import * as NoEventMappings$ReventlessInfra from "@reventlessdev/reventless-infra/src/types/NoEventMappings.res.mjs";
 import * as AvailableProducts$OrderingPlugin from "./CatalogProduct/ReadModel/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 OrderNotifications$OrderingPlugin from "./Task/OrderNotifications.res.mjs";
 import * as Orders_Projections$OrderingPlugin from "./Order/ReadModel/Orders_Projections.res.mjs";
 import * as Products_Extension$OrderingPlugin from "./Extension/Products_Extension.res.mjs";
 import * as Orders_ExtensionPoint$OrderingSpec from "@reventlessdev/online-shop-aggregates-ordering-spec/src/Orders_ExtensionPoint.res.mjs";
 import * as Products_ExtensionPoint$CatalogSpec from "@reventlessdev/online-shop-aggregates-catalog-spec/src/Products_ExtensionPoint.res.mjs";
 import * as Customers_Projections$OrderingPlugin from "./Customer/ReadModel/Customers_Projections.res.mjs";
-import * as CatalogProduct_Behavior$OrderingPlugin from "./CatalogProduct/Aggregate/CatalogProduct_Behavior.res.mjs";
+import * as CatalogProduct_Decision$OrderingPlugin from "./CatalogProduct/Aggregate/CatalogProduct_Decision.res.mjs";
 import * as Orders_ExtensionPointMapping$OrderingPlugin from "./ExtensionPoint/Orders_ExtensionPointMapping.res.mjs";
 import * as AvailableProducts_Projections$OrderingPlugin from "./CatalogProduct/ReadModel/AvailableProducts_Projections.res.mjs";
 
@@ -37,11 +37,11 @@ function Make(Platform) {
     commandTransition: CatalogProduct$OrderingPlugin.commandTransition,
     traits: CatalogProduct$OrderingPlugin.traits
   })({
-    initialState: CatalogProduct_Behavior$OrderingPlugin.initialState,
-    evolve: CatalogProduct_Behavior$OrderingPlugin.evolve,
-    decide: CatalogProduct_Behavior$OrderingPlugin.decide,
+    initialState: CatalogProduct_Decision$OrderingPlugin.initialState,
+    evolve: CatalogProduct_Decision$OrderingPlugin.evolve,
+    decide: CatalogProduct_Decision$OrderingPlugin.decide,
     snapshot: undefined,
-    moduleUrl: CatalogProduct_Behavior$OrderingPlugin.moduleUrl
+    moduleUrl: CatalogProduct_Decision$OrderingPlugin.moduleUrl
   })(NoEventMappings$ReventlessInfra.Make({
     name: CatalogProduct$OrderingPlugin.name,
     Id: ProductId$CatalogSpec,
@@ -58,11 +58,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,
@@ -79,11 +79,11 @@ function Make(Platform) {
     commandTransition: Order$OrderingPlugin.commandTransition,
     traits: Order$OrderingPlugin.traits
   })({
-    initialState: Order_Behavior$OrderingPlugin.initialState,
-    evolve: Order_Behavior$OrderingPlugin.evolve,
-    decide: Order_Behavior$OrderingPlugin.decide,
+    initialState: Order_Decision$OrderingPlugin.initialState,
+    evolve: Order_Decision$OrderingPlugin.evolve,
+    decide: Order_Decision$OrderingPlugin.decide,
     snapshot: undefined,
-    moduleUrl: Order_Behavior$OrderingPlugin.moduleUrl
+    moduleUrl: Order_Decision$OrderingPlugin.moduleUrl
   })({
     moduleUrl: Order_Mappings$OrderingPlugin.moduleUrl,
     mappings: Order_Mappings$OrderingPlugin.mappings,

package/lib/bs/tests/CatalogProduct/Aggregate/CatalogProduct_GWT.res

@@ -2,7 +2,7 @@
 
 open Ordering_Examples
 
-describe("CatalogProduct Behavior", () => {
+describe("CatalogProduct Decision", () => {
   // scenario-id: e0d3dd62-1687-4920-a1ad-d61733936926
   test("Sync on new aggregate produces Synced", () =>
     givenEvents([])

package/lib/bs/tests/CatalogProduct/Aggregate/CatalogProduct_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 CatalogProduct$OrderingPlugin from "../../../src/CatalogProduct/Aggregate/CatalogProduct.res.mjs";
 import * as Ordering_Examples$OrderingPlugin from "../../Ordering_Examples.res.mjs";
-import * as CatalogProduct_Behavior$OrderingPlugin from "../../../src/CatalogProduct/Aggregate/CatalogProduct_Behavior.res.mjs";
+import * as CatalogProduct_Decision$OrderingPlugin from "../../../src/CatalogProduct/Aggregate/CatalogProduct_Decision.res.mjs";
 
-let include = Behavior_GWT$ReventlessGwt.MakeFromAggregate({
+let include = Decision_GWT$ReventlessGwt.MakeFromAggregate({
   name: CatalogProduct$OrderingPlugin.name,
   commandSchema: CatalogProduct$OrderingPlugin.commandSchema,
   eventSchema: CatalogProduct$OrderingPlugin.eventSchema,
@@ -19,11 +19,11 @@ let include = Behavior_GWT$ReventlessGwt.MakeFromAggregate({
     errorSchema: CatalogProduct$OrderingPlugin.errorSchema,
     authorizationOf: CatalogProduct$OrderingPlugin.authorizationOf
   },
-  initialState: CatalogProduct_Behavior$OrderingPlugin.initialState,
-  evolve: CatalogProduct_Behavior$OrderingPlugin.evolve,
-  decide: CatalogProduct_Behavior$OrderingPlugin.decide,
+  initialState: CatalogProduct_Decision$OrderingPlugin.initialState,
+  evolve: CatalogProduct_Decision$OrderingPlugin.evolve,
+  decide: CatalogProduct_Decision$OrderingPlugin.decide,
   snapshot: undefined,
-  moduleUrl: CatalogProduct_Behavior$OrderingPlugin.moduleUrl
+  moduleUrl: CatalogProduct_Decision$OrderingPlugin.moduleUrl
 });
 
 let describe = include.describe;
@@ -38,7 +38,7 @@ let thenEvent = include.thenEvent;
 
 let thenNoEvent = include.thenNoEvent;
 
-describe("CatalogProduct Behavior", () => {
+describe("CatalogProduct Decision", () => {
   test("Sync on new aggregate produces Synced", () => thenEvent(whenCmd(givenEvents([]), {
     TAG: "Sync",
     name: Ordering_Examples$OrderingPlugin.laptop,
@@ -92,7 +92,7 @@ let thenEventsWithError = include.thenEventsWithError;
 
 let thenError = include.thenError;
 
-let thenRefused = include.thenRefused;
+let thenForbidden = include.thenForbidden;
 
 export {
   Spec,
@@ -110,6 +110,6 @@ export {
   thenCompareEvents,
   thenEventsWithError,
   thenError,
-  thenRefused,
+  thenForbidden,
 }
 /* include Not a pure module */

package/lib/bs/tests/Customer/Aggregate/Customer_GWT.res

@@ -2,7 +2,7 @@
 
 open Ordering_Examples
 
-describe("Customer Behavior", () => {
+describe("Customer Decision", () => {
   // scenario-id: 5936d064-3500-474f-ac41-619765828d32
   test("Register on new aggregate produces Registered", () =>
     givenEvents([])

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

@@ -1,11 +1,11 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as Customer$OrderingPlugin from "../../../src/Customer/Aggregate/Customer.res.mjs";
-import * as Behavior_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Behavior_GWT.res.mjs";
-import * as Customer_Behavior$OrderingPlugin from "../../../src/Customer/Aggregate/Customer_Behavior.res.mjs";
+import * as Decision_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Decision_GWT.res.mjs";
+import * as Customer_Decision$OrderingPlugin from "../../../src/Customer/Aggregate/Customer_Decision.res.mjs";
 import * as Ordering_Examples$OrderingPlugin from "../../Ordering_Examples.res.mjs";
 
-let include = Behavior_GWT$ReventlessGwt.MakeFromAggregate({
+let include = Decision_GWT$ReventlessGwt.MakeFromAggregate({
   name: Customer$OrderingPlugin.name,
   commandSchema: Customer$OrderingPlugin.commandSchema,
   eventSchema: Customer$OrderingPlugin.eventSchema,
@@ -19,11 +19,11 @@ let include = Behavior_GWT$ReventlessGwt.MakeFromAggregate({
     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
 });
 
 let describe = include.describe;
@@ -40,7 +40,7 @@ let thenNoEvent = include.thenNoEvent;
 
 let thenError = include.thenError;
 
-describe("Customer Behavior", () => {
+describe("Customer Decision", () => {
   test("Register on new aggregate produces Registered", () => thenEvent(whenCmd(givenEvents([]), {
     TAG: "Register",
     email: Ordering_Examples$OrderingPlugin.aliceEmail,
@@ -160,7 +160,7 @@ let thenCompareEvents = include.thenCompareEvents;
 
 let thenEventsWithError = include.thenEventsWithError;
 
-let thenRefused = include.thenRefused;
+let thenForbidden = include.thenForbidden;
 
 export {
   Spec,
@@ -178,6 +178,6 @@ export {
   thenCompareEvents,
   thenEventsWithError,
   thenError,
-  thenRefused,
+  thenForbidden,
 }
 /* include Not a pure module */

package/lib/bs/tests/Order/Aggregate/OrderMappings_GWT.res

@@ -1,13 +1,13 @@
 // `Mapping_GWT` exercises Order's self-mapping (auto-ship on placement).
-// Bare `@@reventless.gwt` would derive the Behavior DSL from the Aggregate
+// Bare `@@reventless.gwt` would derive the Decision DSL from the Aggregate
 // folder; the cross-pattern Mapping DSL is wired explicitly instead.
 //
 // Self-mappings need the target's per-id history pre-seeded with the
 // source-emitted event, since Mapping_GWT models source and target as
 // independent aggregates even when they're the same one in production.
 
-module OrderSource = ReventlessGwt.Mapping_GWT.FromBehavior(Order, Order_Behavior)
-module OrderTarget = ReventlessGwt.Mapping_GWT.FromBehavior(Order, Order_Behavior)
+module OrderSource = ReventlessGwt.Mapping_GWT.FromDecision(Order, Order_Decision)
+module OrderTarget = ReventlessGwt.Mapping_GWT.FromDecision(Order, Order_Decision)
 
 module AutoShipGwtMapping = {
   module Source = OrderSource

package/lib/bs/tests/Order/Aggregate/OrderMappings_GWT.res.mjs

@@ -5,10 +5,10 @@ import * as ProductId$CatalogSpec from "@reventlessdev/online-shop-aggregates-ca
 import * as OrderId$OrderingPlugin from "../../../src/Order/OrderId.res.mjs";
 import * as CustomerId$OrderingPlugin from "../../../src/Customer/CustomerId.res.mjs";
 import * as Mapping_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Mapping_GWT.res.mjs";
-import * as Order_Behavior$OrderingPlugin from "../../../src/Order/Aggregate/Order_Behavior.res.mjs";
+import * as Order_Decision$OrderingPlugin from "../../../src/Order/Aggregate/Order_Decision.res.mjs";
 import * as Order_Mappings$OrderingPlugin from "../../../src/Order/Aggregate/Order_Mappings.res.mjs";
 
-let OrderSource = Mapping_GWT$ReventlessGwt.FromBehavior({
+let OrderSource = Mapping_GWT$ReventlessGwt.FromDecision({
   Id: OrderId$OrderingPlugin,
   name: Order$OrderingPlugin.name,
   eventSchema: Order$OrderingPlugin.eventSchema,
@@ -30,14 +30,14 @@ let OrderSource = Mapping_GWT$ReventlessGwt.FromBehavior({
     commandTransition: Order$OrderingPlugin.commandTransition,
     traits: Order$OrderingPlugin.traits
   },
-  initialState: Order_Behavior$OrderingPlugin.initialState,
-  evolve: Order_Behavior$OrderingPlugin.evolve,
-  decide: Order_Behavior$OrderingPlugin.decide,
+  initialState: Order_Decision$OrderingPlugin.initialState,
+  evolve: Order_Decision$OrderingPlugin.evolve,
+  decide: Order_Decision$OrderingPlugin.decide,
   snapshot: undefined,
-  moduleUrl: Order_Behavior$OrderingPlugin.moduleUrl
+  moduleUrl: Order_Decision$OrderingPlugin.moduleUrl
 });
 
-let OrderTarget = Mapping_GWT$ReventlessGwt.FromBehavior({
+let OrderTarget = Mapping_GWT$ReventlessGwt.FromDecision({
   Id: OrderId$OrderingPlugin,
   name: Order$OrderingPlugin.name,
   eventSchema: Order$OrderingPlugin.eventSchema,
@@ -59,11 +59,11 @@ let OrderTarget = Mapping_GWT$ReventlessGwt.FromBehavior({
     commandTransition: Order$OrderingPlugin.commandTransition,
     traits: Order$OrderingPlugin.traits
   },
-  initialState: Order_Behavior$OrderingPlugin.initialState,
-  evolve: Order_Behavior$OrderingPlugin.evolve,
-  decide: Order_Behavior$OrderingPlugin.decide,
+  initialState: Order_Decision$OrderingPlugin.initialState,
+  evolve: Order_Decision$OrderingPlugin.evolve,
+  decide: Order_Decision$OrderingPlugin.decide,
   snapshot: undefined,
-  moduleUrl: Order_Behavior$OrderingPlugin.moduleUrl
+  moduleUrl: Order_Decision$OrderingPlugin.moduleUrl
 });
 
 let map = Order_Mappings$OrderingPlugin.AutoShipMapping.map;

package/lib/bs/tests/Order/Aggregate/Order_GWT.res

@@ -7,7 +7,7 @@ let cust1 = CustomerId.make("cust-1")
 let prod1 = CatalogSpec.ProductId.make("prod-1")
 let prod2 = CatalogSpec.ProductId.make("prod-2")
 
-describe("Order Behavior", () => {
+describe("Order Decision", () => {
   // scenario-id: 4f723805-10e2-4b72-b40a-6cf71e91c375
   test("Place on new aggregate produces Placed", () =>
     givenEvents([])