@reventlessdev/online-shop-aggregates-ordering 3.0.0-alpha.229 → 3.0.0-alpha.231

package/CHANGELOG.md

@@ -3,6 +3,22 @@
 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.231 (2026-09-01)
+
+**Note:** Version bump only for package @reventlessdev/online-shop-aggregates-ordering
+
+
+
+
+
+# 3.0.0-alpha.230 (2026-09-01)
+
+### Features
+
+* **spec:** a command declares its lifecycle edge as a value ([40eee9f](https://github.com/ReventlessDev/reventless-core/commit/40eee9f7723dc05e418be680528f01967d074da4))
+* **spec:** a graft leaves a trace the deployed plugin can read ([c08ff6c](https://github.com/ReventlessDev/reventless-core/commit/c08ff6c0f6177d58603e7ae1e5cec392d9bac16a))
+
+
 # 3.0.0-alpha.229 (2026-08-27)
 
 **Note:** Version bump only for package @reventlessdev/online-shop-aggregates-ordering

package/lib/bs/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1787841657084)
-#Done(1787841661491)
+#Start(1788306932499)
+#Done(1788306938882)

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": "1787841661503"
+  "generated_at": "1788306938896"
 }

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

@@ -32,6 +32,12 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let name = "CatalogProduct";
 
 let Id;
@@ -46,5 +52,7 @@ export {
   errorSchema,
   moduleUrl,
   commandAuthorization,
+  commandTransition,
+  traits,
 }
 /* commandSchema Not a pure module */

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

@@ -47,6 +47,12 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let name = "Customer";
 
 let Id;
@@ -61,5 +67,7 @@ export {
   errorSchema,
   moduleUrl,
   commandAuthorization,
+  commandTransition,
+  traits,
 }
 /* commandSchema Not a pure module */

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

@@ -6,9 +6,9 @@
 @schema
 type command =
   | Place({customerId: string, @ref("AvailableProducts") @noDcbTag productIds: array<string>})
-  | @transition(([Orders.Placed]) => Orders.Shipped) Ship
-  | @transition(([Orders.Placed]) => Orders.Cancelled) Cancel
-  | @transition(([Orders.Cancelled]) => Orders.Refunded) Refund({reason: string})
+  | Ship
+  | Cancel
+  | Refund({reason: string})
 
 @schema
 type event =
@@ -25,3 +25,17 @@ type error =
   | OrderAlreadyCancelled
   | OrderNotCancelled
   | OrderAlreadyRefunded
+
+// `Place` brings the row into existence, so it names no from-state; the read
+// model derives the status it lands in.
+type lifecycleState = Orders.lifecycle
+
+let commandTransition = (command: command): Reventless.Transition.t<lifecycleState> => {
+  open Reventless.Transition
+  switch command {
+  | Place(_) => Unrestricted
+  | 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

@@ -1,7 +1,6 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as Sury from "sury";
-import * as Api$ReventlessInfra from "@reventlessdev/reventless-infra/src/components/Api.res.mjs";
 import * as Reference$Reventless from "@reventlessdev/reventless-spec/src/components/Reference.res.mjs";
 
 let commandSchema = Sury.union([
@@ -44,40 +43,38 @@ let errorSchema = Sury.union([
   Sury.literal("OrderAlreadyRefunded")
 ]);
 
-let commandSchema$1 = Api$ReventlessInfra.markAllowedStates(commandSchema, [
-  [
-    "Ship",
-    ["Placed"]
-  ],
-  [
-    "Cancel",
-    ["Placed"]
-  ],
-  [
-    "Refund",
-    ["Cancelled"]
-  ]
-]);
-
-let commandSchema$2 = Api$ReventlessInfra.markTargetState(commandSchema$1, [
-  [
-    "Ship",
-    "Shipped"
-  ],
-  [
-    "Cancel",
-    "Cancelled"
-  ],
-  [
-    "Refund",
-    "Refunded"
-  ]
-]);
+function commandTransition(command) {
+  if (typeof command !== "object") {
+    if (command === "Ship") {
+      return {
+        TAG: "Moves",
+        _0: ["Placed"],
+        _1: "Shipped"
+      };
+    } else {
+      return {
+        TAG: "Moves",
+        _0: ["Placed"],
+        _1: "Cancelled"
+      };
+    }
+  } else if (command.TAG === "Place") {
+    return "Unrestricted";
+  } else {
+    return {
+      TAG: "Moves",
+      _0: ["Cancelled"],
+      _1: "Refunded"
+    };
+  }
+}
 
 function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+let traits = [];
+
 let name = "Order";
 
 let Id;
@@ -87,10 +84,12 @@ let moduleUrl = "@reventlessdev/online-shop-aggregates-ordering/src/Order/Aggreg
 export {
   name,
   Id,
+  commandSchema,
   eventSchema,
   errorSchema,
-  commandSchema$2 as commandSchema,
+  commandTransition,
   moduleUrl,
   commandAuthorization,
+  traits,
 }
 /* commandSchema Not a pure module */

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

@@ -30,7 +30,9 @@ function Make(Platform) {
     errorSchema: CatalogProduct$OrderingPlugin.errorSchema,
     commandSchema: CatalogProduct$OrderingPlugin.commandSchema,
     moduleUrl: CatalogProduct$OrderingPlugin.moduleUrl,
-    commandAuthorization: CatalogProduct$OrderingPlugin.commandAuthorization
+    commandAuthorization: CatalogProduct$OrderingPlugin.commandAuthorization,
+    commandTransition: CatalogProduct$OrderingPlugin.commandTransition,
+    traits: CatalogProduct$OrderingPlugin.traits
   })({
     initialState: CatalogProduct_Behavior$OrderingPlugin.initialState,
     evolve: CatalogProduct_Behavior$OrderingPlugin.evolve,
@@ -49,7 +51,9 @@ function Make(Platform) {
     errorSchema: Customer$OrderingPlugin.errorSchema,
     commandSchema: Customer$OrderingPlugin.commandSchema,
     moduleUrl: Customer$OrderingPlugin.moduleUrl,
-    commandAuthorization: Customer$OrderingPlugin.commandAuthorization
+    commandAuthorization: Customer$OrderingPlugin.commandAuthorization,
+    commandTransition: Customer$OrderingPlugin.commandTransition,
+    traits: Customer$OrderingPlugin.traits
   })({
     initialState: Customer_Behavior$OrderingPlugin.initialState,
     evolve: Customer_Behavior$OrderingPlugin.evolve,
@@ -68,7 +72,9 @@ function Make(Platform) {
     errorSchema: Order$OrderingPlugin.errorSchema,
     commandSchema: Order$OrderingPlugin.commandSchema,
     moduleUrl: Order$OrderingPlugin.moduleUrl,
-    commandAuthorization: Order$OrderingPlugin.commandAuthorization
+    commandAuthorization: Order$OrderingPlugin.commandAuthorization,
+    commandTransition: Order$OrderingPlugin.commandTransition,
+    traits: Order$OrderingPlugin.traits
   })({
     initialState: Order_Behavior$OrderingPlugin.initialState,
     evolve: Order_Behavior$OrderingPlugin.evolve,
@@ -139,7 +145,9 @@ function Make(Platform) {
       errorSchema: Order$OrderingPlugin.errorSchema,
       commandSchema: Order$OrderingPlugin.commandSchema,
       moduleUrl: Order$OrderingPlugin.moduleUrl,
-      commandAuthorization: Order$OrderingPlugin.commandAuthorization
+      commandAuthorization: Order$OrderingPlugin.commandAuthorization,
+      commandTransition: Order$OrderingPlugin.commandTransition,
+      traits: Order$OrderingPlugin.traits
     },
     moduleUrl: Orders_ExtensionPointMapping$OrderingPlugin.moduleUrl,
     mapIncomingCommand: Orders_ExtensionPointMapping$OrderingPlugin.mapIncomingCommand,
@@ -162,7 +170,9 @@ function Make(Platform) {
       errorSchema: CatalogProduct$OrderingPlugin.errorSchema,
       commandSchema: CatalogProduct$OrderingPlugin.commandSchema,
       moduleUrl: CatalogProduct$OrderingPlugin.moduleUrl,
-      commandAuthorization: CatalogProduct$OrderingPlugin.commandAuthorization
+      commandAuthorization: CatalogProduct$OrderingPlugin.commandAuthorization,
+      commandTransition: CatalogProduct$OrderingPlugin.commandTransition,
+      traits: CatalogProduct$OrderingPlugin.traits
     },
     moduleUrl: Products_Extension$OrderingPlugin.Mapping.moduleUrl,
     delegateModuleUrl: Products_Extension$OrderingPlugin.Mapping.delegateModuleUrl,
@@ -194,7 +204,9 @@ function Make(Platform) {
         errorSchema: Order$OrderingPlugin.errorSchema,
         commandSchema: Order$OrderingPlugin.commandSchema,
         moduleUrl: Order$OrderingPlugin.moduleUrl,
-        commandAuthorization: Order$OrderingPlugin.commandAuthorization
+        commandAuthorization: Order$OrderingPlugin.commandAuthorization,
+        commandTransition: Order$OrderingPlugin.commandTransition,
+        traits: Order$OrderingPlugin.traits
       },
       moduleUrl: Orders_ExtensionPointMapping$OrderingPlugin.moduleUrl,
       mapIncomingCommand: Orders_ExtensionPointMapping$OrderingPlugin.mapIncomingCommand,

package/lib/bs/tests/Extension/Products_Extension_GWT.res.mjs

@@ -21,7 +21,9 @@ let include = Delegate_GWT$ReventlessGwt.FromExtension({
     errorSchema: CatalogProduct$OrderingPlugin.errorSchema,
     commandSchema: CatalogProduct$OrderingPlugin.commandSchema,
     moduleUrl: CatalogProduct$OrderingPlugin.moduleUrl,
-    commandAuthorization: CatalogProduct$OrderingPlugin.commandAuthorization
+    commandAuthorization: CatalogProduct$OrderingPlugin.commandAuthorization,
+    commandTransition: CatalogProduct$OrderingPlugin.commandTransition,
+    traits: CatalogProduct$OrderingPlugin.traits
   },
   moduleUrl: Products_Extension$OrderingPlugin.Mapping.moduleUrl,
   delegateModuleUrl: Products_Extension$OrderingPlugin.Mapping.delegateModuleUrl,

package/lib/bs/tests/ExtensionPoint/Orders_ExtensionPointMapping_GWT.res.mjs

@@ -21,7 +21,9 @@ let include = Delegate_GWT$ReventlessGwt.FromExtensionPoint({
     errorSchema: Order$OrderingPlugin.errorSchema,
     commandSchema: Order$OrderingPlugin.commandSchema,
     moduleUrl: Order$OrderingPlugin.moduleUrl,
-    commandAuthorization: Order$OrderingPlugin.commandAuthorization
+    commandAuthorization: Order$OrderingPlugin.commandAuthorization,
+    commandTransition: Order$OrderingPlugin.commandTransition,
+    traits: Order$OrderingPlugin.traits
   },
   moduleUrl: Orders_ExtensionPointMapping$OrderingPlugin.moduleUrl,
   mapIncomingCommand: Orders_ExtensionPointMapping$OrderingPlugin.mapIncomingCommand,

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

@@ -13,7 +13,9 @@ let OrderSource = Mapping_GWT$ReventlessGwt.FromBehavior({
   errorSchema: Order$OrderingPlugin.errorSchema,
   commandSchema: Order$OrderingPlugin.commandSchema,
   moduleUrl: Order$OrderingPlugin.moduleUrl,
-  commandAuthorization: Order$OrderingPlugin.commandAuthorization
+  commandAuthorization: Order$OrderingPlugin.commandAuthorization,
+  commandTransition: Order$OrderingPlugin.commandTransition,
+  traits: Order$OrderingPlugin.traits
 })({
   Spec: {
     Id: Id$Reventless.$$String,
@@ -22,7 +24,9 @@ let OrderSource = Mapping_GWT$ReventlessGwt.FromBehavior({
     errorSchema: Order$OrderingPlugin.errorSchema,
     commandSchema: Order$OrderingPlugin.commandSchema,
     moduleUrl: Order$OrderingPlugin.moduleUrl,
-    commandAuthorization: Order$OrderingPlugin.commandAuthorization
+    commandAuthorization: Order$OrderingPlugin.commandAuthorization,
+    commandTransition: Order$OrderingPlugin.commandTransition,
+    traits: Order$OrderingPlugin.traits
   },
   initialState: Order_Behavior$OrderingPlugin.initialState,
   evolve: Order_Behavior$OrderingPlugin.evolve,
@@ -38,7 +42,9 @@ let OrderTarget = Mapping_GWT$ReventlessGwt.FromBehavior({
   errorSchema: Order$OrderingPlugin.errorSchema,
   commandSchema: Order$OrderingPlugin.commandSchema,
   moduleUrl: Order$OrderingPlugin.moduleUrl,
-  commandAuthorization: Order$OrderingPlugin.commandAuthorization
+  commandAuthorization: Order$OrderingPlugin.commandAuthorization,
+  commandTransition: Order$OrderingPlugin.commandTransition,
+  traits: Order$OrderingPlugin.traits
 })({
   Spec: {
     Id: Id$Reventless.$$String,
@@ -47,7 +53,9 @@ let OrderTarget = Mapping_GWT$ReventlessGwt.FromBehavior({
     errorSchema: Order$OrderingPlugin.errorSchema,
     commandSchema: Order$OrderingPlugin.commandSchema,
     moduleUrl: Order$OrderingPlugin.moduleUrl,
-    commandAuthorization: Order$OrderingPlugin.commandAuthorization
+    commandAuthorization: Order$OrderingPlugin.commandAuthorization,
+    commandTransition: Order$OrderingPlugin.commandTransition,
+    traits: Order$OrderingPlugin.traits
   },
   initialState: Order_Behavior$OrderingPlugin.initialState,
   evolve: Order_Behavior$OrderingPlugin.evolve,

package/lib/ocaml/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1787841657084)
-#Done(1787841661491)
+#Start(1788306932499)
+#Done(1788306938882)

package/lib/ocaml/Order.res

@@ -6,9 +6,9 @@
 @schema
 type command =
   | Place({customerId: string, @ref("AvailableProducts") @noDcbTag productIds: array<string>})
-  | @transition(([Orders.Placed]) => Orders.Shipped) Ship
-  | @transition(([Orders.Placed]) => Orders.Cancelled) Cancel
-  | @transition(([Orders.Cancelled]) => Orders.Refunded) Refund({reason: string})
+  | Ship
+  | Cancel
+  | Refund({reason: string})
 
 @schema
 type event =
@@ -25,3 +25,17 @@ type error =
   | OrderAlreadyCancelled
   | OrderNotCancelled
   | OrderAlreadyRefunded
+
+// `Place` brings the row into existence, so it names no from-state; the read
+// model derives the status it lands in.
+type lifecycleState = Orders.lifecycle
+
+let commandTransition = (command: command): Reventless.Transition.t<lifecycleState> => {
+  open Reventless.Transition
+  switch command {
+  | Place(_) => Unrestricted
+  | Ship => Moves([Orders.Placed], Orders.Shipped)
+  | Cancel => Moves([Orders.Placed], Orders.Cancelled)
+  | Refund(_) => Moves([Orders.Cancelled], Orders.Refunded)
+  }
+}