@reventlessdev/online-shop-aggregates-ordering 3.0.0-alpha.233 → 3.0.0-alpha.235

package/CHANGELOG.md

@@ -3,6 +3,21 @@
 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.235 (2026-09-07)
+
+### Features
+
+* **core:** a command's lifecycle edge comes from its scenarios, not its claim ([1879d05](https://github.com/ReventlessDev/reventless-core/commit/1879d0570a981e7fae5bcd3808f8a36e898bd0fd))
+
+
+# 3.0.0-alpha.234 (2026-09-04)
+
+**Note:** Version bump only for package @reventlessdev/online-shop-aggregates-ordering
+
+
+
+
+
 # 3.0.0-alpha.233 (2026-09-04)
 
 **Note:** Version bump only for package @reventlessdev/online-shop-aggregates-ordering

package/lib/bs/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1788485578834)
-#Done(1788485583849)
+#Start(1788762246366)
+#Done(1788762252176)

package/lib/bs/OrderingPlugin.mlmap

@@ -13,6 +13,7 @@ Customers_GWT
 Customers_Projections
 EmailService
 EmailService_Mock
+LifecycleModel
 Order
 OrderMappings_GWT
 OrderNotifications

package/lib/bs/compiler-info.json

@@ -4,5 +4,5 @@
   "bsc_hash": "75e3a59c95cc953608fd3dd6ea6ed68141bba4414a20a52f114261b8a48385fa",
   "rescript_config_hash": "4c884bf958b93b21c77764e35498f269b81377cfcc324135f1ab7a1cc5b569cb",
   "runtime_path": "/home/runner/work/reventless-core/reventless-core/node_modules/@rescript/runtime",
-  "generated_at": "1788485583856"
+  "generated_at": "1788762252180"
 }

package/lib/bs/src/CatalogProduct/Aggregate/CatalogProduct.res.mjs

@@ -33,7 +33,7 @@ function commandAuthorization(param) {
 }
 
 function commandTransition(param) {
-  return "Unrestricted";
+  return "Undeclared";
 }
 
 let traits = [];

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

@@ -48,7 +48,7 @@ function commandAuthorization(param) {
 }
 
 function commandTransition(param) {
-  return "Unrestricted";
+  return "Undeclared";
 }
 
 let traits = [];

package/lib/bs/src/LifecycleModel.res

@@ -0,0 +1,14 @@
+// AUTO-GENERATED — do not edit. Run `pnpm run check:lifecycle:update` to update.
+//
+// What ordering's own given/when/then scenarios say about each command: the
+// states one shows it taking effect from, the states those land in, and whether
+// it brings a row into existence. `Plugin_Structure` prefers this to the
+// `@transition` annotation where it says anything, and falls back to the
+// annotation where it is silent.
+
+let model: array<Reventless.Plugin.derivedEdge> = [
+  {component: "Order", command: "Cancel", level: Reventless.Plugin.Instance, allowedStates: ["Placed"], targets: ["Cancelled"]},
+  {component: "Order", command: "Place", level: Reventless.Plugin.Collection, allowedStates: [], targets: ["Placed"]},
+  {component: "Order", command: "Refund", level: Reventless.Plugin.Instance, allowedStates: ["Cancelled"], targets: ["Refunded"]},
+  {component: "Order", command: "Ship", level: Reventless.Plugin.Instance, allowedStates: ["Placed"], targets: ["Shipped"]},
+]

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

@@ -0,0 +1,38 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+
+let model = [
+  {
+    component: "Order",
+    command: "Cancel",
+    level: "Instance",
+    allowedStates: ["Placed"],
+    targets: ["Cancelled"]
+  },
+  {
+    component: "Order",
+    command: "Place",
+    level: "Collection",
+    allowedStates: [],
+    targets: ["Placed"]
+  },
+  {
+    component: "Order",
+    command: "Refund",
+    level: "Instance",
+    allowedStates: ["Cancelled"],
+    targets: ["Refunded"]
+  },
+  {
+    component: "Order",
+    command: "Ship",
+    level: "Instance",
+    allowedStates: ["Placed"],
+    targets: ["Shipped"]
+  }
+];
+
+export {
+  model,
+}
+/* No side effect */

package/lib/bs/src/Order/Aggregate/Order.res

@@ -33,7 +33,10 @@ type lifecycleState = Orders.lifecycle
 let commandTransition = (command: command): Reventless.Transition.t<lifecycleState> => {
   open Reventless.Transition
   switch command {
-  | Place(_) => Unrestricted
+  // Brings the row into existence, so there is no state it could come from.
+  // Not `Unrestricted`: the scenarios show it inert on an order already placed,
+  // shipped or cancelled, which is the opposite of legal in every state.
+  | Place(_) => Creates(Orders.Placed)
   | Ship => Moves([Orders.Placed], Orders.Shipped)
   | Cancel => Moves([Orders.Placed], Orders.Cancelled)
   | Refund(_) => Moves([Orders.Cancelled], Orders.Refunded)

package/lib/bs/src/Order/Aggregate/Order.res.mjs

@@ -59,7 +59,10 @@ function commandTransition(command) {
       };
     }
   } else if (command.TAG === "Place") {
-    return "Unrestricted";
+    return {
+      TAG: "Creates",
+      _0: "Placed"
+    };
   } else {
     return {
       TAG: "Moves",

package/lib/bs/src/Plugin.res

@@ -41,6 +41,7 @@ module Make = (Platform: ReventlessInfra.Platform.T) => {
     ~extensions=[module(Products_Extension)],
     ~extensionPoints=[module(Orders_ExtensionPointMapping)],
     ~componentChapters=Dict.fromArray([("AvailableProducts", "CatalogProduct"), ("CatalogProduct", "CatalogProduct"), ("Customer", "Customer"), ("Customers", "Customer"), ("Order", "Order"), ("Orders", "Order")]),
+    ~lifecycleModel=LifecycleModel.model,
   )
 
   let make = () =>

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

@@ -7,6 +7,7 @@ import * as Orders$OrderingPlugin from "./Order/ReadModel/Orders.res.mjs";
 import * as Customer$OrderingPlugin from "./Customer/Aggregate/Customer.res.mjs";
 import * as Customers$OrderingPlugin from "./Customer/ReadModel/Customers.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_Mappings$OrderingPlugin from "./Order/Aggregate/Order_Mappings.res.mjs";
 import * as NoEventMappings$ReventlessInfra from "@reventlessdev/reventless-infra/src/types/NoEventMappings.res.mjs";
@@ -238,7 +239,7 @@ function Make(Platform) {
       "Orders",
       "Order"
     ]
-  ]));
+  ]), LifecycleModel$OrderingPlugin.model);
   let make = () => Platform.Plugin.make("Ordering", 5, [Orders_ExtensionPoint], [Products_Extension], [
     CatalogProductAggregate,
     CustomerAggregate,

package/lib/ocaml/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1788485578834)
-#Done(1788485583849)
+#Start(1788762246366)
+#Done(1788762252176)

package/lib/ocaml/LifecycleModel.res

@@ -0,0 +1,14 @@
+// AUTO-GENERATED — do not edit. Run `pnpm run check:lifecycle:update` to update.
+//
+// What ordering's own given/when/then scenarios say about each command: the
+// states one shows it taking effect from, the states those land in, and whether
+// it brings a row into existence. `Plugin_Structure` prefers this to the
+// `@transition` annotation where it says anything, and falls back to the
+// annotation where it is silent.
+
+let model: array<Reventless.Plugin.derivedEdge> = [
+  {component: "Order", command: "Cancel", level: Reventless.Plugin.Instance, allowedStates: ["Placed"], targets: ["Cancelled"]},
+  {component: "Order", command: "Place", level: Reventless.Plugin.Collection, allowedStates: [], targets: ["Placed"]},
+  {component: "Order", command: "Refund", level: Reventless.Plugin.Instance, allowedStates: ["Cancelled"], targets: ["Refunded"]},
+  {component: "Order", command: "Ship", level: Reventless.Plugin.Instance, allowedStates: ["Placed"], targets: ["Shipped"]},
+]

package/lib/ocaml/Order.res

@@ -33,7 +33,10 @@ type lifecycleState = Orders.lifecycle
 let commandTransition = (command: command): Reventless.Transition.t<lifecycleState> => {
   open Reventless.Transition
   switch command {
-  | Place(_) => Unrestricted
+  // Brings the row into existence, so there is no state it could come from.
+  // Not `Unrestricted`: the scenarios show it inert on an order already placed,
+  // shipped or cancelled, which is the opposite of legal in every state.
+  | Place(_) => Creates(Orders.Placed)
   | Ship => Moves([Orders.Placed], Orders.Shipped)
   | Cancel => Moves([Orders.Placed], Orders.Cancelled)
   | Refund(_) => Moves([Orders.Cancelled], Orders.Refunded)

package/lib/ocaml/OrderingPlugin.mlmap

@@ -13,6 +13,7 @@ Customers_GWT
 Customers_Projections
 EmailService
 EmailService_Mock
+LifecycleModel
 Order
 OrderMappings_GWT
 OrderNotifications

package/lib/ocaml/Plugin.res

@@ -41,6 +41,7 @@ module Make = (Platform: ReventlessInfra.Platform.T) => {
     ~extensions=[module(Products_Extension)],
     ~extensionPoints=[module(Orders_ExtensionPointMapping)],
     ~componentChapters=Dict.fromArray([("AvailableProducts", "CatalogProduct"), ("CatalogProduct", "CatalogProduct"), ("Customer", "Customer"), ("Customers", "Customer"), ("Order", "Order"), ("Orders", "Order")]),
+    ~lifecycleModel=LifecycleModel.model,
   )
 
   let make = () =>

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/online-shop-aggregates-ordering",
-  "version": "3.0.0-alpha.233",
+  "version": "3.0.0-alpha.235",
   "description": "Online Shop example — Ordering plugin (Customer & Order aggregates)",
   "license": "Apache-2.0",
   "jest": {
@@ -21,18 +21,18 @@
   },
   "dependencies": {
     "sury": "11.0.0-rc.2",
-    "@reventlessdev/online-shop-aggregates-catalog-spec": "3.0.0-alpha.127",
+    "@reventlessdev/online-shop-aggregates-catalog-spec": "3.0.0-alpha.129",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.19",
-    "@reventlessdev/online-shop-aggregates-ordering-spec": "3.0.0-alpha.127",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.202",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.156",
-    "@reventlessdev/reventless-local": "3.0.0-alpha.244",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.128"
+    "@reventlessdev/online-shop-aggregates-ordering-spec": "3.0.0-alpha.129",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.158",
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.204",
+    "@reventlessdev/reventless-local": "3.0.0-alpha.246",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.130"
   },
   "devDependencies": {
     "rescript": "12.3.0",
     "sury-ppx": "11.0.0-rc.2",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.77"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.78"
   },
   "peerDependencies": {
     "rescript": "12.3.0"

package/src/CatalogProduct/Aggregate/CatalogProduct.res.mjs

@@ -33,7 +33,7 @@ function commandAuthorization(param) {
 }
 
 function commandTransition(param) {
-  return "Unrestricted";
+  return "Undeclared";
 }
 
 let traits = [];

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

@@ -48,7 +48,7 @@ function commandAuthorization(param) {
 }
 
 function commandTransition(param) {
-  return "Unrestricted";
+  return "Undeclared";
 }
 
 let traits = [];

package/src/LifecycleModel.res

@@ -0,0 +1,14 @@
+// AUTO-GENERATED — do not edit. Run `pnpm run check:lifecycle:update` to update.
+//
+// What ordering's own given/when/then scenarios say about each command: the
+// states one shows it taking effect from, the states those land in, and whether
+// it brings a row into existence. `Plugin_Structure` prefers this to the
+// `@transition` annotation where it says anything, and falls back to the
+// annotation where it is silent.
+
+let model: array<Reventless.Plugin.derivedEdge> = [
+  {component: "Order", command: "Cancel", level: Reventless.Plugin.Instance, allowedStates: ["Placed"], targets: ["Cancelled"]},
+  {component: "Order", command: "Place", level: Reventless.Plugin.Collection, allowedStates: [], targets: ["Placed"]},
+  {component: "Order", command: "Refund", level: Reventless.Plugin.Instance, allowedStates: ["Cancelled"], targets: ["Refunded"]},
+  {component: "Order", command: "Ship", level: Reventless.Plugin.Instance, allowedStates: ["Placed"], targets: ["Shipped"]},
+]

package/src/LifecycleModel.res.mjs

@@ -0,0 +1,38 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+
+let model = [
+  {
+    component: "Order",
+    command: "Cancel",
+    level: "Instance",
+    allowedStates: ["Placed"],
+    targets: ["Cancelled"]
+  },
+  {
+    component: "Order",
+    command: "Place",
+    level: "Collection",
+    allowedStates: [],
+    targets: ["Placed"]
+  },
+  {
+    component: "Order",
+    command: "Refund",
+    level: "Instance",
+    allowedStates: ["Cancelled"],
+    targets: ["Refunded"]
+  },
+  {
+    component: "Order",
+    command: "Ship",
+    level: "Instance",
+    allowedStates: ["Placed"],
+    targets: ["Shipped"]
+  }
+];
+
+export {
+  model,
+}
+/* No side effect */

package/src/Order/Aggregate/Order.res

@@ -33,7 +33,10 @@ type lifecycleState = Orders.lifecycle
 let commandTransition = (command: command): Reventless.Transition.t<lifecycleState> => {
   open Reventless.Transition
   switch command {
-  | Place(_) => Unrestricted
+  // Brings the row into existence, so there is no state it could come from.
+  // Not `Unrestricted`: the scenarios show it inert on an order already placed,
+  // shipped or cancelled, which is the opposite of legal in every state.
+  | Place(_) => Creates(Orders.Placed)
   | Ship => Moves([Orders.Placed], Orders.Shipped)
   | Cancel => Moves([Orders.Placed], Orders.Cancelled)
   | Refund(_) => Moves([Orders.Cancelled], Orders.Refunded)

package/src/Order/Aggregate/Order.res.mjs

@@ -59,7 +59,10 @@ function commandTransition(command) {
       };
     }
   } else if (command.TAG === "Place") {
-    return "Unrestricted";
+    return {
+      TAG: "Creates",
+      _0: "Placed"
+    };
   } else {
     return {
       TAG: "Moves",

package/src/Plugin.res

@@ -41,6 +41,7 @@ module Make = (Platform: ReventlessInfra.Platform.T) => {
     ~extensions=[module(Products_Extension)],
     ~extensionPoints=[module(Orders_ExtensionPointMapping)],
     ~componentChapters=Dict.fromArray([("AvailableProducts", "CatalogProduct"), ("CatalogProduct", "CatalogProduct"), ("Customer", "Customer"), ("Customers", "Customer"), ("Order", "Order"), ("Orders", "Order")]),
+    ~lifecycleModel=LifecycleModel.model,
   )
 
   let make = () =>

package/src/Plugin.res.mjs

@@ -7,6 +7,7 @@ import * as Orders$OrderingPlugin from "./Order/ReadModel/Orders.res.mjs";
 import * as Customer$OrderingPlugin from "./Customer/Aggregate/Customer.res.mjs";
 import * as Customers$OrderingPlugin from "./Customer/ReadModel/Customers.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_Mappings$OrderingPlugin from "./Order/Aggregate/Order_Mappings.res.mjs";
 import * as NoEventMappings$ReventlessInfra from "@reventlessdev/reventless-infra/src/types/NoEventMappings.res.mjs";
@@ -238,7 +239,7 @@ function Make(Platform) {
       "Orders",
       "Order"
     ]
-  ]));
+  ]), LifecycleModel$OrderingPlugin.model);
   let make = () => Platform.Plugin.make("Ordering", 5, [Orders_ExtensionPoint], [Products_Extension], [
     CatalogProductAggregate,
     CustomerAggregate,