@reventlessdev/reventless-gwt 1.0.0-alpha.197 → 1.0.0-alpha.199

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.
 
+# 1.0.0-alpha.199 (2026-09-01)
+
+### Features
+
+* **spec:** a command declares its lifecycle edge as a value ([40eee9f](https://github.com/ReventlessDev/reventless-core/commit/40eee9f7723dc05e418be680528f01967d074da4))
+
+
+# 1.0.0-alpha.198 (2026-08-27)
+
+**Note:** Version bump only for package @reventlessdev/reventless-gwt
+
+
+
+
+
 # 1.0.0-alpha.197 (2026-08-23)
 
 **Note:** Version bump only for package @reventlessdev/reventless-gwt

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-gwt",
-  "version": "1.0.0-alpha.197",
+  "version": "1.0.0-alpha.199",
   "description": "Given-When-Then DSLs and test harness for Reventless slice testing",
   "license": "Apache-2.0",
   "jest": {
@@ -15,16 +15,16 @@
   "dependencies": {
     "sury": "11.0.0-rc.2",
     "@reventlessdev/rescript-effect": "0.1.0-alpha.32",
-    "@reventlessdev/rescript-jest": "1.0.0-alpha.10",
-    "@reventlessdev/reventless-core": "3.0.0-alpha.250",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.151",
     "@reventlessdev/rescript-node": "2.0.0-alpha.8",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.123"
+    "@reventlessdev/rescript-jest": "1.0.0-alpha.10",
+    "@reventlessdev/reventless-core": "3.0.0-alpha.252",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.153",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.125"
   },
   "devDependencies": {
     "rescript": "12.3.0",
     "sury-ppx": "11.0.0-rc.2",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.73"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.75"
   },
   "peerDependencies": {
     "rescript": "12.3.0"

package/tests/AutomationGwtTest.res.mjs

@@ -68,6 +68,12 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let ShipOrderSlice = {
   name: "ShipOrder",
   consumedEventSchema: consumedEventSchema,
@@ -77,7 +83,9 @@ let ShipOrderSlice = {
   resolve: resolve,
   process: process,
   onExhausted: onExhausted,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
 };
 
 let include = Automation_GWT$ReventlessGwt.Make(ShipOrderSlice);

package/tests/DelegateGwtTest.res

@@ -47,6 +47,8 @@ module ProductDelegate = {
 
   let moduleUrl = ""
   let commandAuthorization = (_: command): Reventless.Authorization.permission => AllowAuthenticated
+  type lifecycleState = unit
+  let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
 
 module ProductsEpMapping = {
@@ -132,6 +134,8 @@ module OrderDelegate = {
 
   let moduleUrl = ""
   let commandAuthorization = (_: command): Reventless.Authorization.permission => AllowAuthenticated
+  type lifecycleState = unit
+  let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
 
 module OrdersEpMapping = {
@@ -199,6 +203,8 @@ module SyncDelegate = {
 
   let moduleUrl = ""
   let commandAuthorization = (_: command): Reventless.Authorization.permission => AllowAuthenticated
+  type lifecycleState = unit
+  let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
 
 module ProductsExtMapping = {
@@ -275,6 +281,8 @@ module StockDelegate = {
 
   let moduleUrl = ""
   let commandAuthorization = (_: command): Reventless.Authorization.permission => AllowAuthenticated
+  type lifecycleState = unit
+  let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
 
 module InventoryEpMapping = {
@@ -335,6 +343,8 @@ module SyncedDelegate = {
 
   let moduleUrl = ""
   let commandAuthorization = (_: command): Reventless.Authorization.permission => AllowAuthenticated
+  type lifecycleState = unit
+  let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
 
 module FeedbackExtMapping = {

package/tests/DelegateGwtTest.res.mjs

@@ -26,13 +26,21 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let ProductsEpSpec = {
   name: "Catalog.Products",
   moduleUrl: "",
   commandSchema: commandSchema,
   eventSchema: eventSchema,
   directiveSchema: directiveSchema,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
 };
 
 let name = "Product";
@@ -61,6 +69,12 @@ function commandAuthorization$1(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$1(param) {
+  return "Unrestricted";
+}
+
+let traits$1 = [];
+
 let ProductDelegate = {
   Id: undefined,
   name: name,
@@ -68,7 +82,9 @@ let ProductDelegate = {
   eventSchema: eventSchema$1,
   errorSchema: errorSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization$1
+  commandAuthorization: commandAuthorization$1,
+  commandTransition: commandTransition$1,
+  traits: traits$1
 };
 
 let moduleUrl$1 = "test:DelegateGwtTest:ProductsEpMapping";
@@ -103,12 +119,27 @@ let mapOutgoingEvent = (_id, event, _meta, _queryEngine) => {
     }];
 };
 
+let publishedEvents = [
+  {
+    name: "ProductBecameAvailable",
+    fromEventTypes: ["ProductAdded"]
+  },
+  {
+    name: "ProductPriceChanged",
+    fromEventTypes: ["ProductPriceChanged"]
+  }
+];
+
+let acceptedCommands = [];
+
 let ProductsEpMapping = {
   ExtensionPoint: undefined,
   Delegate: undefined,
   moduleUrl: moduleUrl$1,
   mapIncomingCommand: mapIncomingCommand,
-  mapOutgoingEvent: mapOutgoingEvent
+  mapOutgoingEvent: mapOutgoingEvent,
+  publishedEvents: publishedEvents,
+  acceptedCommands: acceptedCommands
 };
 
 let ProductsEpGwt = Delegate_GWT$ReventlessGwt.FromExtensionPoint({
@@ -126,11 +157,15 @@ let ProductsEpGwt = Delegate_GWT$ReventlessGwt.FromExtensionPoint({
     errorSchema: errorSchema,
     commandSchema: commandSchema$1,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization$1
+    commandAuthorization: commandAuthorization$1,
+    commandTransition: commandTransition$1,
+    traits: traits$1
   },
   moduleUrl: moduleUrl$1,
   mapIncomingCommand: mapIncomingCommand,
-  mapOutgoingEvent: mapOutgoingEvent
+  mapOutgoingEvent: mapOutgoingEvent,
+  publishedEvents: publishedEvents,
+  acceptedCommands: acceptedCommands
 });
 
 ProductsEpGwt.describe("Products ExtensionPoint mapping (FromExtensionPoint)", () => {
@@ -178,13 +213,21 @@ function commandAuthorization$2(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$2(param) {
+  return "Unrestricted";
+}
+
+let traits$2 = [];
+
 let OrdersEpSpec = {
   name: "Ordering.Orders",
   moduleUrl: "",
   commandSchema: commandSchema$2,
   eventSchema: eventSchema$2,
   directiveSchema: directiveSchema$1,
-  commandAuthorization: commandAuthorization$2
+  commandAuthorization: commandAuthorization$2,
+  commandTransition: commandTransition$2,
+  traits: traits$2
 };
 
 let name$1 = "Order";
@@ -213,6 +256,12 @@ function commandAuthorization$3(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$3(param) {
+  return "Unrestricted";
+}
+
+let traits$3 = [];
+
 let OrderDelegate = {
   Id: undefined,
   name: name$1,
@@ -220,7 +269,9 @@ let OrderDelegate = {
   eventSchema: eventSchema$3,
   errorSchema: errorSchema$1,
   moduleUrl: moduleUrl$2,
-  commandAuthorization: commandAuthorization$3
+  commandAuthorization: commandAuthorization$3,
+  commandTransition: commandTransition$3,
+  traits: traits$3
 };
 
 let moduleUrl$3 = "test:DelegateGwtTest:OrdersEpMapping";
@@ -256,12 +307,27 @@ let mapOutgoingEvent$1 = (_id, event, _meta, _queryEngine) => {
   }));
 };
 
+let publishedEvents$1 = [
+  {
+    name: "ItemOrdered",
+    fromEventTypes: ["OrderPlaced"]
+  },
+  {
+    name: "ItemOrderCancelled",
+    fromEventTypes: ["OrderCancelled"]
+  }
+];
+
+let acceptedCommands$1 = [];
+
 let OrdersEpMapping = {
   ExtensionPoint: undefined,
   Delegate: undefined,
   moduleUrl: moduleUrl$3,
   mapIncomingCommand: mapIncomingCommand$1,
-  mapOutgoingEvent: mapOutgoingEvent$1
+  mapOutgoingEvent: mapOutgoingEvent$1,
+  publishedEvents: publishedEvents$1,
+  acceptedCommands: acceptedCommands$1
 };
 
 let OrdersEpGwt = Delegate_GWT$ReventlessGwt.FromExtensionPoint({
@@ -279,11 +345,15 @@ let OrdersEpGwt = Delegate_GWT$ReventlessGwt.FromExtensionPoint({
     errorSchema: errorSchema$1,
     commandSchema: commandSchema$3,
     moduleUrl: moduleUrl$2,
-    commandAuthorization: commandAuthorization$3
+    commandAuthorization: commandAuthorization$3,
+    commandTransition: commandTransition$3,
+    traits: traits$3
   },
   moduleUrl: moduleUrl$3,
   mapIncomingCommand: mapIncomingCommand$1,
-  mapOutgoingEvent: mapOutgoingEvent$1
+  mapOutgoingEvent: mapOutgoingEvent$1,
+  publishedEvents: publishedEvents$1,
+  acceptedCommands: acceptedCommands$1
 });
 
 OrdersEpGwt.describe("Orders ExtensionPoint mapping — fan-out", () => {
@@ -349,6 +419,12 @@ function commandAuthorization$4(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$4(param) {
+  return "Unrestricted";
+}
+
+let traits$4 = [];
+
 let SyncDelegate = {
   Id: undefined,
   name: name$2,
@@ -356,7 +432,9 @@ let SyncDelegate = {
   eventSchema: eventSchema$4,
   errorSchema: errorSchema$2,
   moduleUrl: moduleUrl$4,
-  commandAuthorization: commandAuthorization$4
+  commandAuthorization: commandAuthorization$4,
+  commandTransition: commandTransition$4,
+  traits: traits$4
 };
 
 let moduleUrl$5 = "";
@@ -386,13 +464,28 @@ function mapIncomingEvent(_id, event, _meta, _pluginDef, _queryEngine) {
   }
 }
 
+let handledEvents = [
+  {
+    name: "ProductBecameAvailable",
+    toCommandTypes: ["SyncNewProduct"]
+  },
+  {
+    name: "ProductPriceChanged",
+    toCommandTypes: ["ChangeSyncedPrice"]
+  }
+];
+
+let issuedCommands = [];
+
 let ProductsExtMapping = {
   ExtensionPoint: undefined,
   Delegate: undefined,
   moduleUrl: moduleUrl$5,
   delegateModuleUrl: delegateModuleUrl,
   mapIncomingEvent: mapIncomingEvent,
-  mapOutgoingEvent: undefined
+  mapOutgoingEvent: undefined,
+  handledEvents: handledEvents,
+  issuedCommands: issuedCommands
 };
 
 let ProductsExtGwt = Delegate_GWT$ReventlessGwt.FromExtension({
@@ -410,12 +503,16 @@ let ProductsExtGwt = Delegate_GWT$ReventlessGwt.FromExtension({
     errorSchema: errorSchema$2,
     commandSchema: commandSchema$4,
     moduleUrl: moduleUrl$4,
-    commandAuthorization: commandAuthorization$4
+    commandAuthorization: commandAuthorization$4,
+    commandTransition: commandTransition$4,
+    traits: traits$4
   },
   moduleUrl: moduleUrl$5,
   delegateModuleUrl: delegateModuleUrl,
   mapIncomingEvent: mapIncomingEvent,
-  mapOutgoingEvent: undefined
+  mapOutgoingEvent: undefined,
+  handledEvents: handledEvents,
+  issuedCommands: issuedCommands
 });
 
 ProductsExtGwt.describe("Products Extension delegate (FromExtension)", () => {
@@ -455,13 +552,21 @@ function commandAuthorization$5(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$5(param) {
+  return "Unrestricted";
+}
+
+let traits$5 = [];
+
 let InventoryEpSpec = {
   name: "Catalog.Inventory",
   moduleUrl: "",
   commandSchema: commandSchema$5,
   eventSchema: eventSchema$5,
   directiveSchema: directiveSchema$2,
-  commandAuthorization: commandAuthorization$5
+  commandAuthorization: commandAuthorization$5,
+  commandTransition: commandTransition$5,
+  traits: traits$5
 };
 
 let name$3 = "Stock";
@@ -482,6 +587,12 @@ function commandAuthorization$6(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$6(param) {
+  return "Unrestricted";
+}
+
+let traits$6 = [];
+
 let StockDelegate = {
   Id: undefined,
   name: name$3,
@@ -489,7 +600,9 @@ let StockDelegate = {
   eventSchema: eventSchema$6,
   errorSchema: errorSchema$3,
   moduleUrl: moduleUrl$6,
-  commandAuthorization: commandAuthorization$6
+  commandAuthorization: commandAuthorization$6,
+  commandTransition: commandTransition$6,
+  traits: traits$6
 };
 
 let moduleUrl$7 = "test:DelegateGwtTest:InventoryEpMapping";
@@ -506,12 +619,21 @@ function mapIncomingCommand$2(id, command, _meta) {
     }];
 }
 
+let publishedEvents$2 = [];
+
+let acceptedCommands$2 = [{
+    name: "Restock",
+    toCommandTypes: ["Restock"]
+  }];
+
 let InventoryEpMapping = {
   ExtensionPoint: undefined,
   Delegate: undefined,
   moduleUrl: moduleUrl$7,
   mapIncomingCommand: mapIncomingCommand$2,
-  mapOutgoingEvent: undefined
+  mapOutgoingEvent: undefined,
+  publishedEvents: publishedEvents$2,
+  acceptedCommands: acceptedCommands$2
 };
 
 let InventoryEpGwt = Delegate_GWT$ReventlessGwt.FromExtensionPoint({
@@ -529,11 +651,15 @@ let InventoryEpGwt = Delegate_GWT$ReventlessGwt.FromExtensionPoint({
     errorSchema: errorSchema$3,
     commandSchema: commandSchema$6,
     moduleUrl: moduleUrl$6,
-    commandAuthorization: commandAuthorization$6
+    commandAuthorization: commandAuthorization$6,
+    commandTransition: commandTransition$6,
+    traits: traits$6
   },
   moduleUrl: moduleUrl$7,
   mapIncomingCommand: mapIncomingCommand$2,
-  mapOutgoingEvent: undefined
+  mapOutgoingEvent: undefined,
+  publishedEvents: publishedEvents$2,
+  acceptedCommands: acceptedCommands$2
 });
 
 InventoryEpGwt.describe("Inventory ExtensionPoint mapping — incoming command", () => InventoryEpGwt.test("Restock protocol command routes to the Stock delegate", undefined, () => InventoryEpGwt.thenPublishesCommand(InventoryEpGwt.whenIncomingCommand({
@@ -559,13 +685,21 @@ function commandAuthorization$7(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$7(param) {
+  return "Unrestricted";
+}
+
+let traits$7 = [];
+
 let FeedbackEpSpec = {
   name: "Ordering.Feedback",
   moduleUrl: "",
   commandSchema: commandSchema$7,
   eventSchema: eventSchema$7,
   directiveSchema: directiveSchema$3,
-  commandAuthorization: commandAuthorization$7
+  commandAuthorization: commandAuthorization$7,
+  commandTransition: commandTransition$7,
+  traits: traits$7
 };
 
 let name$4 = "SyncedProduct";
@@ -585,6 +719,12 @@ function commandAuthorization$8(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$8(param) {
+  return "Unrestricted";
+}
+
+let traits$8 = [];
+
 let SyncedDelegate = {
   Id: undefined,
   name: name$4,
@@ -592,7 +732,9 @@ let SyncedDelegate = {
   eventSchema: eventSchema$8,
   errorSchema: errorSchema$4,
   moduleUrl: moduleUrl$8,
-  commandAuthorization: commandAuthorization$8
+  commandAuthorization: commandAuthorization$8,
+  commandTransition: commandTransition$8,
+  traits: traits$8
 };
 
 let moduleUrl$9 = "";
@@ -612,13 +754,22 @@ let mapOutgoingEvent$2 = (id, event, _meta, _pluginDef) => [{
     }
   }];
 
+let handledEvents$1 = [];
+
+let issuedCommands$1 = [{
+    name: "AckProduct",
+    fromEventTypes: ["ProductSynced"]
+  }];
+
 let FeedbackExtMapping = {
   ExtensionPoint: undefined,
   Delegate: undefined,
   moduleUrl: moduleUrl$9,
   delegateModuleUrl: delegateModuleUrl$1,
   mapIncomingEvent: mapIncomingEvent$1,
-  mapOutgoingEvent: mapOutgoingEvent$2
+  mapOutgoingEvent: mapOutgoingEvent$2,
+  handledEvents: handledEvents$1,
+  issuedCommands: issuedCommands$1
 };
 
 let FeedbackExtGwt = Delegate_GWT$ReventlessGwt.FromExtension({
@@ -636,12 +787,16 @@ let FeedbackExtGwt = Delegate_GWT$ReventlessGwt.FromExtension({
     errorSchema: errorSchema$4,
     commandSchema: commandSchema$8,
     moduleUrl: moduleUrl$8,
-    commandAuthorization: commandAuthorization$8
+    commandAuthorization: commandAuthorization$8,
+    commandTransition: commandTransition$8,
+    traits: traits$8
   },
   moduleUrl: moduleUrl$9,
   delegateModuleUrl: delegateModuleUrl$1,
   mapIncomingEvent: mapIncomingEvent$1,
-  mapOutgoingEvent: mapOutgoingEvent$2
+  mapOutgoingEvent: mapOutgoingEvent$2,
+  handledEvents: handledEvents$1,
+  issuedCommands: issuedCommands$1
 });
 
 FeedbackExtGwt.describe("Feedback Extension delegate — outgoing command", () => FeedbackExtGwt.test("ProductSynced publishes the AckProduct protocol command", undefined, () => FeedbackExtGwt.thenPublishesExtensionPointCommand(FeedbackExtGwt.whenDelegateEvent({
@@ -671,13 +826,21 @@ function commandAuthorization$9(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$9(param) {
+  return "Unrestricted";
+}
+
+let traits$9 = [];
+
 let NotifyEpSpec = {
   name: "Catalog.Notify",
   moduleUrl: "",
   commandSchema: commandSchema$9,
   eventSchema: eventSchema$9,
   directiveSchema: directiveSchema$4,
-  commandAuthorization: commandAuthorization$9
+  commandAuthorization: commandAuthorization$9,
+  commandTransition: commandTransition$9,
+  traits: traits$9
 };
 
 let moduleUrl$10 = "test:DelegateGwtTest:NotifyEpMapping";
@@ -723,13 +886,25 @@ let mapOutgoingEvent$3 = (_id, event, _meta, _queryEngine) => {
     }];
 };
 
+let publishedEvents$3 = [{
+    name: "Pinged",
+    fromEventTypes: [
+      "ProductAdded",
+      "ProductPriceChanged"
+    ]
+  }];
+
+let acceptedCommands$3 = [];
+
 let NotifyEpMapping = {
   ExtensionPoint: undefined,
   Delegate: undefined,
   moduleUrl: moduleUrl$10,
   handleDirective: handleDirective,
   mapIncomingCommand: mapIncomingCommand$3,
-  mapOutgoingEvent: mapOutgoingEvent$3
+  mapOutgoingEvent: mapOutgoingEvent$3,
+  publishedEvents: publishedEvents$3,
+  acceptedCommands: acceptedCommands$3
 };
 
 let NotifyEpGwt = Delegate_GWT$ReventlessGwt.FromExtensionPoint({
@@ -747,11 +922,15 @@ let NotifyEpGwt = Delegate_GWT$ReventlessGwt.FromExtensionPoint({
     errorSchema: errorSchema,
     commandSchema: commandSchema$1,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization$1
+    commandAuthorization: commandAuthorization$1,
+    commandTransition: commandTransition$1,
+    traits: traits$1
   },
   moduleUrl: moduleUrl$10,
   mapIncomingCommand: mapIncomingCommand$3,
-  mapOutgoingEvent: mapOutgoingEvent$3
+  mapOutgoingEvent: mapOutgoingEvent$3,
+  publishedEvents: publishedEvents$3,
+  acceptedCommands: acceptedCommands$3
 });
 
 NotifyEpGwt.describe("Notify ExtensionPoint mapping — directives", () => {
@@ -806,6 +985,13 @@ function mapIncomingEvent$2(_id, event, _meta, _pluginDef, _queryEngine) {
   ];
 }
 
+let handledEvents$2 = [{
+    name: "Pinged",
+    toCommandTypes: ["ChangeSyncedPrice"]
+  }];
+
+let issuedCommands$2 = [];
+
 let NotifyExtMapping = {
   ExtensionPoint: undefined,
   Delegate: undefined,
@@ -813,7 +999,9 @@ let NotifyExtMapping = {
   delegateModuleUrl: delegateModuleUrl$2,
   handleDirective: handleDirective$1,
   mapIncomingEvent: mapIncomingEvent$2,
-  mapOutgoingEvent: undefined
+  mapOutgoingEvent: undefined,
+  handledEvents: handledEvents$2,
+  issuedCommands: issuedCommands$2
 };
 
 let NotifyExtGwt = Delegate_GWT$ReventlessGwt.FromExtension({
@@ -831,12 +1019,16 @@ let NotifyExtGwt = Delegate_GWT$ReventlessGwt.FromExtension({
     errorSchema: errorSchema$2,
     commandSchema: commandSchema$4,
     moduleUrl: moduleUrl$4,
-    commandAuthorization: commandAuthorization$4
+    commandAuthorization: commandAuthorization$4,
+    commandTransition: commandTransition$4,
+    traits: traits$4
   },
   moduleUrl: moduleUrl$11,
   delegateModuleUrl: delegateModuleUrl$2,
   mapIncomingEvent: mapIncomingEvent$2,
-  mapOutgoingEvent: undefined
+  mapOutgoingEvent: undefined,
+  handledEvents: handledEvents$2,
+  issuedCommands: issuedCommands$2
 });
 
 NotifyExtGwt.describe("Notify Extension delegate — directives", () => {

package/tests/FlowAggregateGwtTest.res.mjs

@@ -21,12 +21,20 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let CatalogProductAggregate = {
   name: "CatalogProduct",
   commandSchema: commandSchema,
   eventSchema: eventSchema,
   errorSchema: errorSchema,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
 };
 
 function evolve(_state, event) {
@@ -89,12 +97,20 @@ function commandAuthorization$1(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$1(param) {
+  return "Unrestricted";
+}
+
+let traits$1 = [];
+
 let OrderAggregate = {
   name: "Order",
   commandSchema: commandSchema$1,
   eventSchema: eventSchema$1,
   errorSchema: errorSchema$1,
-  commandAuthorization: commandAuthorization$1
+  commandAuthorization: commandAuthorization$1,
+  commandTransition: commandTransition$1,
+  traits: traits$1
 };
 
 let initialState = {

package/tests/FlowCrossPluginGwtTest.res

@@ -78,6 +78,8 @@ module ProductDelegate = {
   @schema type error = NoError
   let moduleUrl = ""
   let commandAuthorization = (_: command): Reventless.Authorization.permission => AllowAuthenticated
+  type lifecycleState = unit
+  let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
 
 module ProductsEpMapping = {
@@ -112,6 +114,8 @@ module OrderDelegate = {
   @schema type error = NoError
   let moduleUrl = ""
   let commandAuthorization = (_: command): Reventless.Authorization.permission => AllowAuthenticated
+  type lifecycleState = unit
+  let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
 
 module OrdersEpMapping = {
@@ -146,6 +150,8 @@ module RecordDemandSlice = {
     DemandRecorded({productId: @s.matches(Reventless.DcbTag.string) string, orderId: string})
   let moduleUrl = ""
   let commandAuthorization = (_: command): Reventless.Authorization.permission => AllowAuthenticated
+  type lifecycleState = unit
+  let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
 
 module RecordDemandBehavior = {
@@ -195,6 +201,8 @@ module SyncProductSlice = {
     ProductSynced({productId: @s.matches(Reventless.DcbTag.string) string, name: string, price: float})
   let moduleUrl = ""
   let commandAuthorization = (_: command): Reventless.Authorization.permission => AllowAuthenticated
+  type lifecycleState = unit
+  let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
 
 module SyncProductBehavior = {

package/tests/FlowCrossPluginGwtTest.res.mjs

@@ -30,6 +30,12 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let AddProductSlice = {
   name: "AddProduct",
   consumedEventSchema: consumedEventSchema,
@@ -37,6 +43,8 @@ let AddProductSlice = {
   errorSchema: errorSchema,
   eventSchema: eventSchema,
   commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits,
   readConsistency: "EscalateOnRetry"
 };
 
@@ -91,13 +99,21 @@ function commandAuthorization$1(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$1(param) {
+  return "Unrestricted";
+}
+
+let traits$1 = [];
+
 let ProductsEpSpec = {
   name: "Catalog.Products",
   moduleUrl: "",
   commandSchema: commandSchema$1,
   eventSchema: eventSchema$1,
   directiveSchema: directiveSchema,
-  commandAuthorization: commandAuthorization$1
+  commandAuthorization: commandAuthorization$1,
+  commandTransition: commandTransition$1,
+  traits: traits$1
 };
 
 let name = "Product";
@@ -119,6 +135,12 @@ function commandAuthorization$2(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$2(param) {
+  return "Unrestricted";
+}
+
+let traits$2 = [];
+
 let ProductDelegate = {
   Id: undefined,
   name: name,
@@ -126,7 +148,9 @@ let ProductDelegate = {
   eventSchema: eventSchema$2,
   errorSchema: errorSchema$1,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization$2
+  commandAuthorization: commandAuthorization$2,
+  commandTransition: commandTransition$2,
+  traits: traits$2
 };
 
 let moduleUrl$1 = "test:FlowCrossPluginGwtTest:ProductsEpMapping";
@@ -149,12 +173,21 @@ let mapOutgoingEvent = (_id, event, _meta, _q) => {
     }];
 };
 
+let publishedEvents = [{
+    name: "ProductBecameAvailable",
+    fromEventTypes: ["ProductAdded"]
+  }];
+
+let acceptedCommands = [];
+
 let ProductsEpMapping = {
   ExtensionPoint: undefined,
   Delegate: undefined,
   moduleUrl: moduleUrl$1,
   mapIncomingCommand: mapIncomingCommand,
-  mapOutgoingEvent: mapOutgoingEvent
+  mapOutgoingEvent: mapOutgoingEvent,
+  publishedEvents: publishedEvents,
+  acceptedCommands: acceptedCommands
 };
 
 let commandSchema$3 = Sury.literal("NoCommand");
@@ -171,13 +204,21 @@ function commandAuthorization$3(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$3(param) {
+  return "Unrestricted";
+}
+
+let traits$3 = [];
+
 let OrdersEpSpec = {
   name: "Ordering.Orders",
   moduleUrl: "",
   commandSchema: commandSchema$3,
   eventSchema: eventSchema$3,
   directiveSchema: directiveSchema$1,
-  commandAuthorization: commandAuthorization$3
+  commandAuthorization: commandAuthorization$3,
+  commandTransition: commandTransition$3,
+  traits: traits$3
 };
 
 let name$1 = "Order";
@@ -198,6 +239,12 @@ function commandAuthorization$4(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$4(param) {
+  return "Unrestricted";
+}
+
+let traits$4 = [];
+
 let OrderDelegate = {
   Id: undefined,
   name: name$1,
@@ -205,7 +252,9 @@ let OrderDelegate = {
   eventSchema: eventSchema$4,
   errorSchema: errorSchema$2,
   moduleUrl: moduleUrl$2,
-  commandAuthorization: commandAuthorization$4
+  commandAuthorization: commandAuthorization$4,
+  commandTransition: commandTransition$4,
+  traits: traits$4
 };
 
 let moduleUrl$3 = "test:FlowCrossPluginGwtTest:OrdersEpMapping";
@@ -227,12 +276,21 @@ let mapOutgoingEvent$1 = (_id, event, _meta, _q) => {
   }));
 };
 
+let publishedEvents$1 = [{
+    name: "ItemOrdered",
+    fromEventTypes: ["OrderPlaced"]
+  }];
+
+let acceptedCommands$1 = [];
+
 let OrdersEpMapping = {
   ExtensionPoint: undefined,
   Delegate: undefined,
   moduleUrl: moduleUrl$3,
   mapIncomingCommand: mapIncomingCommand$1,
-  mapOutgoingEvent: mapOutgoingEvent$1
+  mapOutgoingEvent: mapOutgoingEvent$1,
+  publishedEvents: publishedEvents$1,
+  acceptedCommands: acceptedCommands$1
 };
 
 let name$2 = "RecordDemand";
@@ -263,6 +321,12 @@ function commandAuthorization$5(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$5(param) {
+  return "Unrestricted";
+}
+
+let traits$5 = [];
+
 let RecordDemandSlice = {
   Id: undefined,
   name: name$2,
@@ -272,6 +336,8 @@ let RecordDemandSlice = {
   eventSchema: eventSchema$5,
   moduleUrl: moduleUrl$4,
   commandAuthorization: commandAuthorization$5,
+  commandTransition: commandTransition$5,
+  traits: traits$5,
   readConsistency: "EscalateOnRetry"
 };
 
@@ -318,13 +384,22 @@ function mapIncomingEvent(_id, event, _meta, _pd, _q) {
     }];
 }
 
+let handledEvents = [{
+    name: "ItemOrdered",
+    toCommandTypes: ["RecordDemand"]
+  }];
+
+let issuedCommands = [];
+
 let OrdersExtMapping = {
   ExtensionPoint: undefined,
   Delegate: undefined,
   moduleUrl: moduleUrl$5,
   delegateModuleUrl: delegateModuleUrl,
   mapIncomingEvent: mapIncomingEvent,
-  mapOutgoingEvent: undefined
+  mapOutgoingEvent: undefined,
+  handledEvents: handledEvents,
+  issuedCommands: issuedCommands
 };
 
 let name$3 = "SyncProduct";
@@ -356,6 +431,12 @@ function commandAuthorization$6(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$6(param) {
+  return "Unrestricted";
+}
+
+let traits$6 = [];
+
 let SyncProductSlice = {
   Id: undefined,
   name: name$3,
@@ -365,6 +446,8 @@ let SyncProductSlice = {
   eventSchema: eventSchema$6,
   moduleUrl: moduleUrl$6,
   commandAuthorization: commandAuthorization$6,
+  commandTransition: commandTransition$6,
+  traits: traits$6,
   readConsistency: "EscalateOnRetry"
 };
 
@@ -413,13 +496,22 @@ function mapIncomingEvent$1(_id, event, _meta, _pd, _q) {
     }];
 }
 
+let handledEvents$1 = [{
+    name: "ProductBecameAvailable",
+    toCommandTypes: ["SyncProduct"]
+  }];
+
+let issuedCommands$1 = [];
+
 let ProductsExtMapping = {
   ExtensionPoint: undefined,
   Delegate: undefined,
   moduleUrl: moduleUrl$7,
   delegateModuleUrl: delegateModuleUrl$1,
   mapIncomingEvent: mapIncomingEvent$1,
-  mapOutgoingEvent: undefined
+  mapOutgoingEvent: undefined,
+  handledEvents: handledEvents$1,
+  issuedCommands: issuedCommands$1
 };
 
 let consumedEventSchema$3 = Sury.union([
@@ -457,6 +549,12 @@ function commandAuthorization$7(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$7(param) {
+  return "Unrestricted";
+}
+
+let traits$7 = [];
+
 let PlaceOrderSlice = {
   name: "PlaceOrder",
   consumedEventSchema: consumedEventSchema$3,
@@ -464,6 +562,8 @@ let PlaceOrderSlice = {
   errorSchema: errorSchema$5,
   eventSchema: eventSchema$7,
   commandAuthorization: commandAuthorization$7,
+  commandTransition: commandTransition$7,
+  traits: traits$7,
   readConsistency: "EscalateOnRetry"
 };
 
@@ -548,11 +648,15 @@ let ProductsEp = Flow_GWT$ReventlessGwt.ExtensionPointStep({
     errorSchema: errorSchema$1,
     commandSchema: commandSchema$2,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization$2
+    commandAuthorization: commandAuthorization$2,
+    commandTransition: commandTransition$2,
+    traits: traits$2
   },
   moduleUrl: moduleUrl$1,
   mapIncomingCommand: mapIncomingCommand,
-  mapOutgoingEvent: mapOutgoingEvent
+  mapOutgoingEvent: mapOutgoingEvent,
+  publishedEvents: publishedEvents,
+  acceptedCommands: acceptedCommands
 });
 
 let ProductsExt = Flow_GWT$ReventlessGwt.ExtensionStep({
@@ -570,12 +674,16 @@ let ProductsExt = Flow_GWT$ReventlessGwt.ExtensionStep({
     errorSchema: errorSchema$4,
     commandSchema: commandSchema$6,
     moduleUrl: moduleUrl$6,
-    commandAuthorization: commandAuthorization$6
+    commandAuthorization: commandAuthorization$6,
+    commandTransition: commandTransition$6,
+    traits: traits$6
   },
   moduleUrl: moduleUrl$7,
   delegateModuleUrl: delegateModuleUrl$1,
   mapIncomingEvent: mapIncomingEvent$1,
-  mapOutgoingEvent: undefined
+  mapOutgoingEvent: undefined,
+  handledEvents: handledEvents$1,
+  issuedCommands: issuedCommands$1
 });
 
 let Sync = Flow_GWT$ReventlessGwt.CommandStep({
@@ -611,11 +719,15 @@ let OrdersEp = Flow_GWT$ReventlessGwt.ExtensionPointStep({
     errorSchema: errorSchema$2,
     commandSchema: commandSchema$4,
     moduleUrl: moduleUrl$2,
-    commandAuthorization: commandAuthorization$4
+    commandAuthorization: commandAuthorization$4,
+    commandTransition: commandTransition$4,
+    traits: traits$4
   },
   moduleUrl: moduleUrl$3,
   mapIncomingCommand: mapIncomingCommand$1,
-  mapOutgoingEvent: mapOutgoingEvent$1
+  mapOutgoingEvent: mapOutgoingEvent$1,
+  publishedEvents: publishedEvents$1,
+  acceptedCommands: acceptedCommands$1
 });
 
 let OrdersExt = Flow_GWT$ReventlessGwt.ExtensionStep({
@@ -633,12 +745,16 @@ let OrdersExt = Flow_GWT$ReventlessGwt.ExtensionStep({
     errorSchema: errorSchema$3,
     commandSchema: commandSchema$5,
     moduleUrl: moduleUrl$4,
-    commandAuthorization: commandAuthorization$5
+    commandAuthorization: commandAuthorization$5,
+    commandTransition: commandTransition$5,
+    traits: traits$5
   },
   moduleUrl: moduleUrl$5,
   delegateModuleUrl: delegateModuleUrl,
   mapIncomingEvent: mapIncomingEvent,
-  mapOutgoingEvent: undefined
+  mapOutgoingEvent: undefined,
+  handledEvents: handledEvents,
+  issuedCommands: issuedCommands
 });
 
 let Demand = Flow_GWT$ReventlessGwt.CommandStep({

package/tests/FlowGwtTest.res.mjs

@@ -27,6 +27,12 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let PlaceOrderSlice = {
   name: "PlaceOrder",
   consumedEventSchema: consumedEventSchema,
@@ -34,6 +40,8 @@ let PlaceOrderSlice = {
   errorSchema: errorSchema,
   eventSchema: eventSchema,
   commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits,
   readConsistency: "EscalateOnRetry"
 };
 
@@ -131,6 +139,12 @@ function commandAuthorization$1(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$1(param) {
+  return "Unrestricted";
+}
+
+let traits$1 = [];
+
 let AutoShipSlice = {
   name: "AutoShip",
   consumedEventSchema: consumedEventSchema$1,
@@ -140,7 +154,9 @@ let AutoShipSlice = {
   resolve: resolve,
   process: process,
   onExhausted: onExhausted,
-  commandAuthorization: commandAuthorization$1
+  commandAuthorization: commandAuthorization$1,
+  commandTransition: commandTransition$1,
+  traits: traits$1
 };
 
 let consumedEventSchema$2 = Sury.union([
@@ -170,6 +186,12 @@ function commandAuthorization$2(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$2(param) {
+  return "Unrestricted";
+}
+
+let traits$2 = [];
+
 let ShipOrderSlice = {
   name: "ShipOrder",
   consumedEventSchema: consumedEventSchema$2,
@@ -177,6 +199,8 @@ let ShipOrderSlice = {
   errorSchema: errorSchema$1,
   eventSchema: eventSchema$1,
   commandAuthorization: commandAuthorization$2,
+  commandTransition: commandTransition$2,
+  traits: traits$2,
   readConsistency: "EscalateOnRetry"
 };
 

package/tests/InboundTranslationGwtTest.res.mjs

@@ -41,12 +41,20 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let PaymentWebhookSlice = {
   name: "PaymentWebhook",
   externalInputSchema: externalInputSchema,
   commandSchema: commandSchema,
   translate: translate,
   commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits,
   externalSystem: undefined
 };
 

package/tests/MappingGwtTest.res.mjs

@@ -27,6 +27,12 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let CategorySpec = {
   Id: undefined,
   name: name,
@@ -34,7 +40,9 @@ let CategorySpec = {
   eventSchema: eventSchema,
   errorSchema: errorSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
 };
 
 function evolve(_state, event) {
@@ -94,6 +102,12 @@ function commandAuthorization$1(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$1(param) {
+  return "Unrestricted";
+}
+
+let traits$1 = [];
+
 let ProductSpec = {
   Id: undefined,
   name: name$1,
@@ -101,7 +115,9 @@ let ProductSpec = {
   eventSchema: eventSchema$1,
   errorSchema: errorSchema$1,
   moduleUrl: moduleUrl$2,
-  commandAuthorization: commandAuthorization$1
+  commandAuthorization: commandAuthorization$1,
+  commandTransition: commandTransition$1,
+  traits: traits$1
 };
 
 function evolve$1(_state, event) {
@@ -185,6 +201,12 @@ function commandAuthorization$2(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$2(param) {
+  return "Unrestricted";
+}
+
+let traits$2 = [];
+
 let NotificationSlice_initialState = {
   sent: false
 };
@@ -199,6 +221,8 @@ let NotificationSlice = {
   eventSchema: eventSchema$2,
   decide: decide$2,
   commandAuthorization: commandAuthorization$2,
+  commandTransition: commandTransition$2,
+  traits: traits$2,
   readConsistency: "EscalateOnRetry"
 };
 
@@ -249,6 +273,12 @@ function commandAuthorization$3(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$3(param) {
+  return "Unrestricted";
+}
+
+let traits$3 = [];
+
 let InventorySlice_initialState = {
   reserved: false
 };
@@ -263,6 +293,8 @@ let InventorySlice = {
   eventSchema: eventSchema$3,
   decide: decide$3,
   commandAuthorization: commandAuthorization$3,
+  commandTransition: commandTransition$3,
+  traits: traits$3,
   readConsistency: "EscalateOnRetry"
 };
 
@@ -279,7 +311,9 @@ let CategorySource = Mapping_GWT$ReventlessGwt.FromBehavior({
   errorSchema: errorSchema,
   commandSchema: commandSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
 })({
   Spec: {
     Id: {
@@ -294,7 +328,9 @@ let CategorySource = Mapping_GWT$ReventlessGwt.FromBehavior({
     errorSchema: errorSchema,
     commandSchema: commandSchema,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization
+    commandAuthorization: commandAuthorization,
+    commandTransition: commandTransition,
+    traits: traits
   },
   initialState: "NotCreated",
   evolve: evolve,
@@ -316,7 +352,9 @@ let ProductTarget = Mapping_GWT$ReventlessGwt.FromBehavior({
   errorSchema: errorSchema$1,
   commandSchema: commandSchema$1,
   moduleUrl: moduleUrl$2,
-  commandAuthorization: commandAuthorization$1
+  commandAuthorization: commandAuthorization$1,
+  commandTransition: commandTransition$1,
+  traits: traits$1
 })({
   Spec: {
     Id: {
@@ -331,7 +369,9 @@ let ProductTarget = Mapping_GWT$ReventlessGwt.FromBehavior({
     errorSchema: errorSchema$1,
     commandSchema: commandSchema$1,
     moduleUrl: moduleUrl$2,
-    commandAuthorization: commandAuthorization$1
+    commandAuthorization: commandAuthorization$1,
+    commandTransition: commandTransition$1,
+    traits: traits$1
   },
   initialState: "Pristine",
   evolve: evolve$1,

package/tests/StateChangeSliceGwtTest.res.mjs

@@ -28,6 +28,12 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let AddCategorySlice = {
   name: "AddCategory",
   consumedEventSchema: consumedEventSchema,
@@ -35,6 +41,8 @@ let AddCategorySlice = {
   errorSchema: errorSchema,
   eventSchema: eventSchema,
   commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits,
   readConsistency: "EscalateOnRetry"
 };
 
@@ -169,6 +177,12 @@ function commandAuthorization$1(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$1(param) {
+  return "Unrestricted";
+}
+
+let traits$1 = [];
+
 let MissingTagSlice = {
   name: "MissingTagSlice",
   consumedEventSchema: consumedEventSchema$1,
@@ -176,6 +190,8 @@ let MissingTagSlice = {
   errorSchema: errorSchema$1,
   eventSchema: eventSchema$1,
   commandAuthorization: commandAuthorization$1,
+  commandTransition: commandTransition$1,
+  traits: traits$1,
   readConsistency: "EscalateOnRetry"
 };