@reventlessdev/reventless-gwt 1.0.0-alpha.239 → 1.0.0-alpha.240

package/CHANGELOG.md

@@ -3,6 +3,17 @@
 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.240 (2026-10-10)
+
+* feat!: a command's rule is looked up by its name, without a cast ([5f02c40](https://github.com/ReventlessDev/reventless-core/commit/5f02c4081d077bf4a6951d8c9b2b16553a8ca87b))
+
+### BREAKING CHANGES
+
+* a spec that writes `commandAuthorization` by hand writes
+`authorizationOf = (name: string) => …` instead; the PPX refuses the old name.
+
+
+
 # 1.0.0-alpha.239 (2026-10-10)
 
 ### Bug Fixes

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-gwt",
-  "version": "1.0.0-alpha.239",
+  "version": "1.0.0-alpha.240",
   "description": "Given-When-Then DSLs and test harness for Reventless slice testing",
   "license": "Apache-2.0",
   "jest": {
@@ -14,17 +14,17 @@
   },
   "dependencies": {
     "sury": "11.0.0",
-    "@reventlessdev/rescript-effect": "0.1.0-alpha.34",
-    "@reventlessdev/reventless-core": "3.0.0-alpha.292",
     "@reventlessdev/rescript-jest": "1.0.0-alpha.11",
     "@reventlessdev/rescript-node": "2.0.0-alpha.22",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.189",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.161"
+    "@reventlessdev/rescript-effect": "0.1.0-alpha.34",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.190",
+    "@reventlessdev/reventless-core": "3.0.0-alpha.293",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.162"
   },
   "devDependencies": {
     "rescript": "12.3.1",
     "sury-ppx": "11.0.0",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.98"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.99"
   },
   "peerDependencies": {
     "rescript": "^12.3.1"

package/src/Behavior_GWT.res

@@ -119,7 +119,7 @@ module type ActingSpec = {
   @schema
   type command
   type role
-  let commandAuthorization: command => Reventless.Authorization.rule<role>
+  let authorizationOf: string => Reventless.Authorization.rule<role>
 }
 
 module Acting = (Spec: ActingSpec) => {
@@ -142,7 +142,7 @@ module Acting = (Spec: ActingSpec) => {
   // a role maps to is a deployment's fact, not the scenario's.
   let refusedByRule = (who: Caller.t, command: Spec.command): bool =>
     if (
-      Spec.commandAuthorization(command)
+      Spec.authorizationOf(commandName(command))
       ->Reventless.Authorization.named
       ->Reventless.Authorization.admits(~signedIn=who.signedIn, ~holds=role =>
         who.roles->Array.includes(role)
@@ -240,7 +240,7 @@ module type BehaviorSpec = {
   type event
 
   type role
-  let commandAuthorization: command => Reventless.Authorization.rule<role>
+  let authorizationOf: string => Reventless.Authorization.rule<role>
 }
 
 module type Behavior = {
@@ -460,7 +460,7 @@ module Make = (Spec: BehaviorSpec, Behavior: Behavior with module Spec := Spec):
     type command = Spec.command
     let commandSchema = Spec.commandSchema
     type role = Spec.role
-    let commandAuthorization = Spec.commandAuthorization
+    let authorizationOf = Spec.authorizationOf
   })
   let asCaller = Guard.asCaller
 
@@ -729,7 +729,7 @@ module type AggregateSpec = {
   @schema
   type error
   type role
-  let commandAuthorization: command => Reventless.Authorization.rule<role>
+  let authorizationOf: string => Reventless.Authorization.rule<role>
 }
 
 module type AggregateT = {
@@ -790,7 +790,7 @@ module MakeFromAggregate = (Spec: AggregateSpec, Behavior: Behavior.T with modul
     type command = Spec.command
     let commandSchema = Spec.commandSchema
     type role = Spec.role
-    let commandAuthorization = Spec.commandAuthorization
+    let authorizationOf = Spec.authorizationOf
   })
   let asCaller = Guard.asCaller
 

package/src/Behavior_GWT.res.mjs

@@ -106,7 +106,7 @@ function Acting(Spec) {
   };
   let commandName = command => Message$ReventlessCore.variantNameOfJson(Message$ReventlessCore.encode(command, Spec.commandSchema));
   let refusedByRule = (who, command) => {
-    if (Authorization$Reventless.admits(Authorization$Reventless.named(Spec.commandAuthorization(command)), who.signedIn, role => who.roles.includes(role))) {
+    if (Authorization$Reventless.admits(Authorization$Reventless.named(Spec.authorizationOf(Message$ReventlessCore.variantNameOfJson(Message$ReventlessCore.encode(command, Spec.commandSchema)))), who.signedIn, role => who.roles.includes(role))) {
       return false;
     } else {
       refusal.contents = {
@@ -376,7 +376,7 @@ function Make(Spec) {
     let name = Spec.name;
     let historySchema = Spec.consumedEventSchema;
     let commandSchema = Spec.commandSchema;
-    let commandAuthorization = Spec.commandAuthorization;
+    let authorizationOf = Spec.authorizationOf;
     let caller = {
       contents: undefined
     };
@@ -394,7 +394,7 @@ function Make(Spec) {
       refusal.contents = undefined;
       let claim = Stdlib_Option.map(who, w => w.claim);
       if (Stdlib_Option.mapOr(who, false, __x => {
-          if (Authorization$Reventless.admits(Authorization$Reventless.named(commandAuthorization(command)), __x.signedIn, role => __x.roles.includes(role))) {
+          if (Authorization$Reventless.admits(Authorization$Reventless.named(authorizationOf(Message$ReventlessCore.variantNameOfJson(Message$ReventlessCore.encode(command, commandSchema)))), __x.signedIn, role => __x.roles.includes(role))) {
             return false;
           } else {
             refusal.contents = {
@@ -747,7 +747,7 @@ function MakeFromAggregate(Spec) {
     let name = Spec.name;
     let historySchema = Spec.eventSchema;
     let commandSchema = Spec.commandSchema;
-    let commandAuthorization = Spec.commandAuthorization;
+    let authorizationOf = Spec.authorizationOf;
     let caller = {
       contents: undefined
     };
@@ -765,7 +765,7 @@ function MakeFromAggregate(Spec) {
       refusal.contents = undefined;
       let claim = Stdlib_Option.map(who, w => w.claim);
       if (Stdlib_Option.mapOr(who, false, __x => {
-          if (Authorization$Reventless.admits(Authorization$Reventless.named(commandAuthorization(command)), __x.signedIn, role => __x.roles.includes(role))) {
+          if (Authorization$Reventless.admits(Authorization$Reventless.named(authorizationOf(Message$ReventlessCore.variantNameOfJson(Message$ReventlessCore.encode(command, commandSchema)))), __x.signedIn, role => __x.roles.includes(role))) {
             return false;
           } else {
             refusal.contents = {

package/src/StateChange/ExternalAddCategorySlice.res

@@ -24,5 +24,5 @@ type event = CategoryAdded({categoryId: @s.matches(Reventless.DcbTag.string) str
 
 // What `@@reventless.spec` injects into a real spec: the default rule.
 type role = Reventless.Role.name
-let commandAuthorization = (_: command): Reventless.Authorization.rule<role> =>
+let authorizationOf = (_: string): Reventless.Authorization.rule<role> =>
   Reventless.Authorization.AllowAuthenticated

package/src/StateChange/ExternalAddCategorySlice.res.mjs

@@ -22,7 +22,7 @@ let eventSchema = Sury.$schema(s => ({
   name: s.m(Sury.string)
 }));
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -34,6 +34,6 @@ export {
   commandSchema,
   errorSchema,
   eventSchema,
-  commandAuthorization,
+  authorizationOf,
 }
 /* consumedEventSchema Not a pure module */

package/src/StateChange/WithFixtures.res

@@ -20,5 +20,5 @@ type event = CategoryAdded({categoryId: @s.matches(Reventless.DcbTag.string) str
 
 // What `@@reventless.spec` injects into a real spec: the default rule.
 type role = Reventless.Role.name
-let commandAuthorization = (_: command): Reventless.Authorization.rule<role> =>
+let authorizationOf = (_: string): Reventless.Authorization.rule<role> =>
   Reventless.Authorization.AllowAuthenticated

package/src/StateChange/WithFixtures.res.mjs

@@ -19,7 +19,7 @@ let eventSchema = Sury.$schema(s => ({
   name: s.m(Sury.string)
 }));
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -31,6 +31,6 @@ export {
   commandSchema,
   errorSchema,
   eventSchema,
-  commandAuthorization,
+  authorizationOf,
 }
 /* consumedEventSchema Not a pure module */

package/src/StateChange/WithManualOpen.res

@@ -21,5 +21,5 @@ type event = CategoryAdded({categoryId: @s.matches(Reventless.DcbTag.string) str
 
 // What `@@reventless.spec` injects into a real spec: the default rule.
 type role = Reventless.Role.name
-let commandAuthorization = (_: command): Reventless.Authorization.rule<role> =>
+let authorizationOf = (_: string): Reventless.Authorization.rule<role> =>
   Reventless.Authorization.AllowAuthenticated

package/src/StateChange/WithManualOpen.res.mjs

@@ -19,7 +19,7 @@ let eventSchema = Sury.$schema(s => ({
   name: s.m(Sury.string)
 }));
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -31,6 +31,6 @@ export {
   commandSchema,
   errorSchema,
   eventSchema,
-  commandAuthorization,
+  authorizationOf,
 }
 /* consumedEventSchema Not a pure module */

package/tests/AutomationFromSliceGwtTest.res.mjs

@@ -20,7 +20,7 @@ let commandSchema = Sury.union([
   }))
 ]);
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -38,7 +38,7 @@ let ShipPaid = {
   maxRetries: 3,
   heartbeatInterval: 60,
   targetName: "Order",
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 };

package/tests/AutomationGwtTest.res.mjs

@@ -64,7 +64,7 @@ function onExhausted(_id, _item) {
   
 }
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -83,7 +83,7 @@ let ShipOrderSlice = {
   resolve: resolve,
   process: process,
   onExhausted: onExhausted,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 };

package/tests/DelegateGwtTest.res

@@ -46,7 +46,7 @@ module ProductDelegate = {
 
   let moduleUrl = ""
   type role = Reventless.Role.name
-  let commandAuthorization = (_: command): Reventless.Authorization.rule<role> => AllowAuthenticated
+  let authorizationOf = (_: string): Reventless.Authorization.rule<role> => AllowAuthenticated
   type lifecycleState = unit
   let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
@@ -134,7 +134,7 @@ module OrderDelegate = {
 
   let moduleUrl = ""
   type role = Reventless.Role.name
-  let commandAuthorization = (_: command): Reventless.Authorization.rule<role> => AllowAuthenticated
+  let authorizationOf = (_: string): Reventless.Authorization.rule<role> => AllowAuthenticated
   type lifecycleState = unit
   let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
@@ -204,7 +204,7 @@ module SyncDelegate = {
 
   let moduleUrl = ""
   type role = Reventless.Role.name
-  let commandAuthorization = (_: command): Reventless.Authorization.rule<role> => AllowAuthenticated
+  let authorizationOf = (_: string): Reventless.Authorization.rule<role> => AllowAuthenticated
   type lifecycleState = unit
   let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
@@ -283,7 +283,7 @@ module StockDelegate = {
 
   let moduleUrl = ""
   type role = Reventless.Role.name
-  let commandAuthorization = (_: command): Reventless.Authorization.rule<role> => AllowAuthenticated
+  let authorizationOf = (_: string): Reventless.Authorization.rule<role> => AllowAuthenticated
   type lifecycleState = unit
   let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
@@ -346,7 +346,7 @@ module SyncedDelegate = {
 
   let moduleUrl = ""
   type role = Reventless.Role.name
-  let commandAuthorization = (_: command): Reventless.Authorization.rule<role> => AllowAuthenticated
+  let authorizationOf = (_: string): Reventless.Authorization.rule<role> => AllowAuthenticated
   type lifecycleState = unit
   let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }

package/tests/DelegateGwtTest.res.mjs

@@ -22,7 +22,7 @@ let eventSchema = Sury.union([
 
 let directiveSchema = Sury.literal("NoDirective");
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -38,7 +38,7 @@ let ProductsEpSpec = {
   commandSchema: commandSchema,
   eventSchema: eventSchema,
   directiveSchema: directiveSchema,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 };
@@ -65,7 +65,7 @@ let errorSchema = Sury.literal("NoError");
 
 let moduleUrl = "";
 
-function commandAuthorization$1(param) {
+function authorizationOf$1(param) {
   return "AllowAuthenticated";
 }
 
@@ -82,7 +82,7 @@ let ProductDelegate = {
   eventSchema: eventSchema$1,
   errorSchema: errorSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization$1,
+  authorizationOf: authorizationOf$1,
   commandTransition: commandTransition$1,
   traits: traits$1
 };
@@ -157,7 +157,7 @@ let ProductsEpGwt = Delegate_GWT$ReventlessGwt.FromExtensionPoint({
     errorSchema: errorSchema,
     commandSchema: commandSchema$1,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization$1,
+    authorizationOf: authorizationOf$1,
     commandTransition: commandTransition$1,
     traits: traits$1
   },
@@ -209,7 +209,7 @@ let eventSchema$2 = Sury.union([
 
 let directiveSchema$1 = Sury.literal("NoDirective");
 
-function commandAuthorization$2(param) {
+function authorizationOf$2(param) {
   return "AllowAuthenticated";
 }
 
@@ -225,7 +225,7 @@ let OrdersEpSpec = {
   commandSchema: commandSchema$2,
   eventSchema: eventSchema$2,
   directiveSchema: directiveSchema$1,
-  commandAuthorization: commandAuthorization$2,
+  authorizationOf: authorizationOf$2,
   commandTransition: commandTransition$2,
   traits: traits$2
 };
@@ -252,7 +252,7 @@ let errorSchema$1 = Sury.literal("NoError");
 
 let moduleUrl$2 = "";
 
-function commandAuthorization$3(param) {
+function authorizationOf$3(param) {
   return "AllowAuthenticated";
 }
 
@@ -269,7 +269,7 @@ let OrderDelegate = {
   eventSchema: eventSchema$3,
   errorSchema: errorSchema$1,
   moduleUrl: moduleUrl$2,
-  commandAuthorization: commandAuthorization$3,
+  authorizationOf: authorizationOf$3,
   commandTransition: commandTransition$3,
   traits: traits$3
 };
@@ -345,7 +345,7 @@ let OrdersEpGwt = Delegate_GWT$ReventlessGwt.FromExtensionPoint({
     errorSchema: errorSchema$1,
     commandSchema: commandSchema$3,
     moduleUrl: moduleUrl$2,
-    commandAuthorization: commandAuthorization$3,
+    authorizationOf: authorizationOf$3,
     commandTransition: commandTransition$3,
     traits: traits$3
   },
@@ -415,7 +415,7 @@ let errorSchema$2 = Sury.literal("NoError");
 
 let moduleUrl$4 = "";
 
-function commandAuthorization$4(param) {
+function authorizationOf$4(param) {
   return "AllowAuthenticated";
 }
 
@@ -432,7 +432,7 @@ let SyncDelegate = {
   eventSchema: eventSchema$4,
   errorSchema: errorSchema$2,
   moduleUrl: moduleUrl$4,
-  commandAuthorization: commandAuthorization$4,
+  authorizationOf: authorizationOf$4,
   commandTransition: commandTransition$4,
   traits: traits$4
 };
@@ -503,7 +503,7 @@ let ProductsExtGwt = Delegate_GWT$ReventlessGwt.FromExtension({
     errorSchema: errorSchema$2,
     commandSchema: commandSchema$4,
     moduleUrl: moduleUrl$4,
-    commandAuthorization: commandAuthorization$4,
+    authorizationOf: authorizationOf$4,
     commandTransition: commandTransition$4,
     traits: traits$4
   },
@@ -548,7 +548,7 @@ let eventSchema$5 = Sury.literal("NoEvent");
 
 let directiveSchema$2 = Sury.literal("NoDirective");
 
-function commandAuthorization$5(param) {
+function authorizationOf$5(param) {
   return "AllowAuthenticated";
 }
 
@@ -564,7 +564,7 @@ let InventoryEpSpec = {
   commandSchema: commandSchema$5,
   eventSchema: eventSchema$5,
   directiveSchema: directiveSchema$2,
-  commandAuthorization: commandAuthorization$5,
+  authorizationOf: authorizationOf$5,
   commandTransition: commandTransition$5,
   traits: traits$5
 };
@@ -583,7 +583,7 @@ let errorSchema$3 = Sury.literal("NoError");
 
 let moduleUrl$6 = "";
 
-function commandAuthorization$6(param) {
+function authorizationOf$6(param) {
   return "AllowAuthenticated";
 }
 
@@ -600,7 +600,7 @@ let StockDelegate = {
   eventSchema: eventSchema$6,
   errorSchema: errorSchema$3,
   moduleUrl: moduleUrl$6,
-  commandAuthorization: commandAuthorization$6,
+  authorizationOf: authorizationOf$6,
   commandTransition: commandTransition$6,
   traits: traits$6
 };
@@ -651,7 +651,7 @@ let InventoryEpGwt = Delegate_GWT$ReventlessGwt.FromExtensionPoint({
     errorSchema: errorSchema$3,
     commandSchema: commandSchema$6,
     moduleUrl: moduleUrl$6,
-    commandAuthorization: commandAuthorization$6,
+    authorizationOf: authorizationOf$6,
     commandTransition: commandTransition$6,
     traits: traits$6
   },
@@ -681,7 +681,7 @@ let eventSchema$7 = Sury.literal("NoEvent");
 
 let directiveSchema$3 = Sury.literal("NoDirective");
 
-function commandAuthorization$7(param) {
+function authorizationOf$7(param) {
   return "AllowAuthenticated";
 }
 
@@ -697,7 +697,7 @@ let FeedbackEpSpec = {
   commandSchema: commandSchema$7,
   eventSchema: eventSchema$7,
   directiveSchema: directiveSchema$3,
-  commandAuthorization: commandAuthorization$7,
+  authorizationOf: authorizationOf$7,
   commandTransition: commandTransition$7,
   traits: traits$7
 };
@@ -715,7 +715,7 @@ let errorSchema$4 = Sury.literal("NoError");
 
 let moduleUrl$8 = "";
 
-function commandAuthorization$8(param) {
+function authorizationOf$8(param) {
   return "AllowAuthenticated";
 }
 
@@ -732,7 +732,7 @@ let SyncedDelegate = {
   eventSchema: eventSchema$8,
   errorSchema: errorSchema$4,
   moduleUrl: moduleUrl$8,
-  commandAuthorization: commandAuthorization$8,
+  authorizationOf: authorizationOf$8,
   commandTransition: commandTransition$8,
   traits: traits$8
 };
@@ -787,7 +787,7 @@ let FeedbackExtGwt = Delegate_GWT$ReventlessGwt.FromExtension({
     errorSchema: errorSchema$4,
     commandSchema: commandSchema$8,
     moduleUrl: moduleUrl$8,
-    commandAuthorization: commandAuthorization$8,
+    authorizationOf: authorizationOf$8,
     commandTransition: commandTransition$8,
     traits: traits$8
   },
@@ -822,7 +822,7 @@ let directiveSchema$4 = Sury.union([
   Sury.literal("FlushCache")
 ]);
 
-function commandAuthorization$9(param) {
+function authorizationOf$9(param) {
   return "AllowAuthenticated";
 }
 
@@ -838,7 +838,7 @@ let NotifyEpSpec = {
   commandSchema: commandSchema$9,
   eventSchema: eventSchema$9,
   directiveSchema: directiveSchema$4,
-  commandAuthorization: commandAuthorization$9,
+  authorizationOf: authorizationOf$9,
   commandTransition: commandTransition$9,
   traits: traits$9
 };
@@ -922,7 +922,7 @@ let NotifyEpGwt = Delegate_GWT$ReventlessGwt.FromExtensionPoint({
     errorSchema: errorSchema,
     commandSchema: commandSchema$1,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization$1,
+    authorizationOf: authorizationOf$1,
     commandTransition: commandTransition$1,
     traits: traits$1
   },
@@ -1019,7 +1019,7 @@ let NotifyExtGwt = Delegate_GWT$ReventlessGwt.FromExtension({
     errorSchema: errorSchema$2,
     commandSchema: commandSchema$4,
     moduleUrl: moduleUrl$4,
-    commandAuthorization: commandAuthorization$4,
+    authorizationOf: authorizationOf$4,
     commandTransition: commandTransition$4,
     traits: traits$4
   },

package/tests/FlowAggregateGwtTest.res.mjs

@@ -17,7 +17,7 @@ let eventSchema = Sury.$schema(s => ({
 
 let errorSchema = Sury.literal("AlreadySynced");
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -32,7 +32,7 @@ let CatalogProductAggregate = {
   commandSchema: commandSchema,
   eventSchema: eventSchema,
   errorSchema: errorSchema,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 };
@@ -93,7 +93,7 @@ let errorSchema$1 = Sury.union([
   Sury.literal("NotPlaced")
 ]);
 
-function commandAuthorization$1(param) {
+function authorizationOf$1(param) {
   return "AllowAuthenticated";
 }
 
@@ -108,7 +108,7 @@ let OrderAggregate = {
   commandSchema: commandSchema$1,
   eventSchema: eventSchema$1,
   errorSchema: errorSchema$1,
-  commandAuthorization: commandAuthorization$1,
+  authorizationOf: authorizationOf$1,
   commandTransition: commandTransition$1,
   traits: traits$1
 };

package/tests/FlowCrossPluginGwtTest.res

@@ -81,7 +81,7 @@ module ProductDelegate = {
   @schema type error = NoError
   let moduleUrl = ""
   type role = Reventless.Role.name
-  let commandAuthorization = (_: command): Reventless.Authorization.rule<role> => AllowAuthenticated
+  let authorizationOf = (_: string): Reventless.Authorization.rule<role> => AllowAuthenticated
   type lifecycleState = unit
   let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
@@ -121,7 +121,7 @@ module OrderDelegate = {
   @schema type error = NoError
   let moduleUrl = ""
   type role = Reventless.Role.name
-  let commandAuthorization = (_: command): Reventless.Authorization.rule<role> => AllowAuthenticated
+  let authorizationOf = (_: string): Reventless.Authorization.rule<role> => AllowAuthenticated
   type lifecycleState = unit
   let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
@@ -159,7 +159,7 @@ module RecordDemandSlice = {
     DemandRecorded({productId: @s.matches(Reventless.DcbTag.string) string, orderId: string})
   let moduleUrl = ""
   type role = Reventless.Role.name
-  let commandAuthorization = (_: command): Reventless.Authorization.rule<role> => AllowAuthenticated
+  let authorizationOf = (_: string): Reventless.Authorization.rule<role> => AllowAuthenticated
   type lifecycleState = unit
   let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }
@@ -220,7 +220,7 @@ module SyncProductSlice = {
       })
   let moduleUrl = ""
   type role = Reventless.Role.name
-  let commandAuthorization = (_: command): Reventless.Authorization.rule<role> => AllowAuthenticated
+  let authorizationOf = (_: string): Reventless.Authorization.rule<role> => AllowAuthenticated
   type lifecycleState = unit
   let commandTransition = (_: command): Reventless.Transition.t<lifecycleState> => Unrestricted
 }

package/tests/FlowCrossPluginGwtTest.res.mjs

@@ -26,7 +26,7 @@ let eventSchema = Sury.$schema(s => ({
   price: s.m(Sury.number)
 }));
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -42,7 +42,7 @@ let AddProductSlice = {
   commandSchema: commandSchema,
   errorSchema: errorSchema,
   eventSchema: eventSchema,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits,
   readConsistency: "EscalateOnRetry"
@@ -95,7 +95,7 @@ let eventSchema$1 = Sury.$schema(s => ({
 
 let directiveSchema = Sury.literal("NoDirective");
 
-function commandAuthorization$1(param) {
+function authorizationOf$1(param) {
   return "AllowAuthenticated";
 }
 
@@ -111,7 +111,7 @@ let ProductsEpSpec = {
   commandSchema: commandSchema$1,
   eventSchema: eventSchema$1,
   directiveSchema: directiveSchema,
-  commandAuthorization: commandAuthorization$1,
+  authorizationOf: authorizationOf$1,
   commandTransition: commandTransition$1,
   traits: traits$1
 };
@@ -131,7 +131,7 @@ let errorSchema$1 = Sury.literal("NoError");
 
 let moduleUrl = "";
 
-function commandAuthorization$2(param) {
+function authorizationOf$2(param) {
   return "AllowAuthenticated";
 }
 
@@ -148,7 +148,7 @@ let ProductDelegate = {
   eventSchema: eventSchema$2,
   errorSchema: errorSchema$1,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization$2,
+  authorizationOf: authorizationOf$2,
   commandTransition: commandTransition$2,
   traits: traits$2
 };
@@ -200,7 +200,7 @@ let eventSchema$3 = Sury.$schema(s => ({
 
 let directiveSchema$1 = Sury.literal("NoDirective");
 
-function commandAuthorization$3(param) {
+function authorizationOf$3(param) {
   return "AllowAuthenticated";
 }
 
@@ -216,7 +216,7 @@ let OrdersEpSpec = {
   commandSchema: commandSchema$3,
   eventSchema: eventSchema$3,
   directiveSchema: directiveSchema$1,
-  commandAuthorization: commandAuthorization$3,
+  authorizationOf: authorizationOf$3,
   commandTransition: commandTransition$3,
   traits: traits$3
 };
@@ -235,7 +235,7 @@ let errorSchema$2 = Sury.literal("NoError");
 
 let moduleUrl$2 = "";
 
-function commandAuthorization$4(param) {
+function authorizationOf$4(param) {
   return "AllowAuthenticated";
 }
 
@@ -252,7 +252,7 @@ let OrderDelegate = {
   eventSchema: eventSchema$4,
   errorSchema: errorSchema$2,
   moduleUrl: moduleUrl$2,
-  commandAuthorization: commandAuthorization$4,
+  authorizationOf: authorizationOf$4,
   commandTransition: commandTransition$4,
   traits: traits$4
 };
@@ -317,7 +317,7 @@ let eventSchema$5 = Sury.$schema(s => ({
 
 let moduleUrl$4 = "";
 
-function commandAuthorization$5(param) {
+function authorizationOf$5(param) {
   return "AllowAuthenticated";
 }
 
@@ -335,7 +335,7 @@ let RecordDemandSlice = {
   errorSchema: errorSchema$3,
   eventSchema: eventSchema$5,
   moduleUrl: moduleUrl$4,
-  commandAuthorization: commandAuthorization$5,
+  authorizationOf: authorizationOf$5,
   commandTransition: commandTransition$5,
   traits: traits$5,
   readConsistency: "EscalateOnRetry"
@@ -427,7 +427,7 @@ let eventSchema$6 = Sury.$schema(s => ({
 
 let moduleUrl$6 = "";
 
-function commandAuthorization$6(param) {
+function authorizationOf$6(param) {
   return "AllowAuthenticated";
 }
 
@@ -445,7 +445,7 @@ let SyncProductSlice = {
   errorSchema: errorSchema$4,
   eventSchema: eventSchema$6,
   moduleUrl: moduleUrl$6,
-  commandAuthorization: commandAuthorization$6,
+  authorizationOf: authorizationOf$6,
   commandTransition: commandTransition$6,
   traits: traits$6,
   readConsistency: "EscalateOnRetry"
@@ -545,7 +545,7 @@ let eventSchema$7 = Sury.$schema(s => ({
   productIds: s.m(Sury.array(DcbTag$Reventless.stringForKey("productId")))
 }));
 
-function commandAuthorization$7(param) {
+function authorizationOf$7(param) {
   return "AllowAuthenticated";
 }
 
@@ -561,7 +561,7 @@ let PlaceOrderSlice = {
   commandSchema: commandSchema$7,
   errorSchema: errorSchema$5,
   eventSchema: eventSchema$7,
-  commandAuthorization: commandAuthorization$7,
+  authorizationOf: authorizationOf$7,
   commandTransition: commandTransition$7,
   traits: traits$7,
   readConsistency: "EscalateOnRetry"
@@ -648,7 +648,7 @@ let ProductsEp = Flow_GWT$ReventlessGwt.ExtensionPointStep({
     errorSchema: errorSchema$1,
     commandSchema: commandSchema$2,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization$2,
+    authorizationOf: authorizationOf$2,
     commandTransition: commandTransition$2,
     traits: traits$2
   },
@@ -674,7 +674,7 @@ let ProductsExt = Flow_GWT$ReventlessGwt.ExtensionStep({
     errorSchema: errorSchema$4,
     commandSchema: commandSchema$6,
     moduleUrl: moduleUrl$6,
-    commandAuthorization: commandAuthorization$6,
+    authorizationOf: authorizationOf$6,
     commandTransition: commandTransition$6,
     traits: traits$6
   },
@@ -692,7 +692,7 @@ let Sync = Flow_GWT$ReventlessGwt.CommandStep({
   commandSchema: commandSchema$6,
   errorSchema: errorSchema$4,
   eventSchema: eventSchema$6,
-  commandAuthorization: commandAuthorization$6
+  authorizationOf: authorizationOf$6
 })({
   initialState: initialState$2,
   evolve: evolve$2,
@@ -720,7 +720,7 @@ let OrdersEp = Flow_GWT$ReventlessGwt.ExtensionPointStep({
     errorSchema: errorSchema$2,
     commandSchema: commandSchema$4,
     moduleUrl: moduleUrl$2,
-    commandAuthorization: commandAuthorization$4,
+    authorizationOf: authorizationOf$4,
     commandTransition: commandTransition$4,
     traits: traits$4
   },
@@ -746,7 +746,7 @@ let OrdersExt = Flow_GWT$ReventlessGwt.ExtensionStep({
     errorSchema: errorSchema$3,
     commandSchema: commandSchema$5,
     moduleUrl: moduleUrl$4,
-    commandAuthorization: commandAuthorization$5,
+    authorizationOf: authorizationOf$5,
     commandTransition: commandTransition$5,
     traits: traits$5
   },
@@ -764,7 +764,7 @@ let Demand = Flow_GWT$ReventlessGwt.CommandStep({
   commandSchema: commandSchema$5,
   errorSchema: errorSchema$3,
   eventSchema: eventSchema$5,
-  commandAuthorization: commandAuthorization$5
+  authorizationOf: authorizationOf$5
 })({
   initialState: initialState$1,
   evolve: evolve$1,

package/tests/FlowGwtTest.res.mjs

@@ -24,7 +24,7 @@ let eventSchema = Sury.$schema(s => ({
   item: s.m(Sury.string)
 }));
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -40,7 +40,7 @@ let PlaceOrderSlice = {
   commandSchema: commandSchema,
   errorSchema: errorSchema,
   eventSchema: eventSchema,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits,
   readConsistency: "EscalateOnRetry"
@@ -136,7 +136,7 @@ function onExhausted(_id, _todo) {
   
 }
 
-function commandAuthorization$1(param) {
+function authorizationOf$1(param) {
   return "AllowAuthenticated";
 }
 
@@ -155,7 +155,7 @@ let AutoShipSlice = {
   resolve: resolve,
   process: process,
   onExhausted: onExhausted,
-  commandAuthorization: commandAuthorization$1,
+  authorizationOf: authorizationOf$1,
   commandTransition: commandTransition$1,
   traits: traits$1
 };
@@ -183,7 +183,7 @@ let eventSchema$1 = Sury.$schema(s => ({
   orderId: s.m(DcbTag$Reventless.string)
 }));
 
-function commandAuthorization$2(param) {
+function authorizationOf$2(param) {
   return "AllowAuthenticated";
 }
 
@@ -199,7 +199,7 @@ let ShipOrderSlice = {
   commandSchema: commandSchema$2,
   errorSchema: errorSchema$1,
   eventSchema: eventSchema$1,
-  commandAuthorization: commandAuthorization$2,
+  authorizationOf: authorizationOf$2,
   commandTransition: commandTransition$2,
   traits: traits$2,
   readConsistency: "EscalateOnRetry"

package/tests/InboundFromSliceGwtTest.res

@@ -14,7 +14,7 @@ module PaymentHook = {
   let targetName = "Order"
   let externalSystem = Some("Payments")
   type role = Reventless.Role.name
-  let commandAuthorization = _ => Reventless.Authorization.AllowAuthenticated
+  let authorizationOf = _ => Reventless.Authorization.AllowAuthenticated
 }
 
 module PaymentHook_Translation = {

package/tests/InboundFromSliceGwtTest.res.mjs

@@ -13,7 +13,7 @@ let commandSchema = Sury.$schema(s => ({
   orderId: s.m(Sury.string)
 }));
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -28,7 +28,7 @@ let PaymentHook = {
   commandSchema: commandSchema,
   targetName: "Order",
   externalSystem: PaymentHook_externalSystem,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   traits: traits
 };
 

package/tests/InboundTranslationGwtTest.res.mjs

@@ -37,7 +37,7 @@ function translate(input) {
   }
 }
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -48,7 +48,7 @@ let PaymentWebhookSlice = {
   externalInputSchema: externalInputSchema,
   commandSchema: commandSchema,
   translate: translate,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   traits: traits,
   externalSystem: undefined
 };

package/tests/MappingGwtTest.res.mjs

@@ -23,7 +23,7 @@ let errorSchema = Sury.literal("CategoryAlreadyExists");
 
 let moduleUrl = "";
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -40,7 +40,7 @@ let CategorySpec = {
   eventSchema: eventSchema,
   errorSchema: errorSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 };
@@ -98,7 +98,7 @@ let errorSchema$1 = Sury.literal("ProductAlreadyMirrored");
 
 let moduleUrl$2 = "";
 
-function commandAuthorization$1(param) {
+function authorizationOf$1(param) {
   return "AllowAuthenticated";
 }
 
@@ -115,7 +115,7 @@ let ProductSpec = {
   eventSchema: eventSchema$1,
   errorSchema: errorSchema$1,
   moduleUrl: moduleUrl$2,
-  commandAuthorization: commandAuthorization$1,
+  authorizationOf: authorizationOf$1,
   commandTransition: commandTransition$1,
   traits: traits$1
 };
@@ -197,7 +197,7 @@ function decide$2(state, command) {
   }
 }
 
-function commandAuthorization$2(param) {
+function authorizationOf$2(param) {
   return "AllowAuthenticated";
 }
 
@@ -220,7 +220,7 @@ let NotificationSlice = {
   errorSchema: errorSchema$2,
   eventSchema: eventSchema$2,
   decide: decide$2,
-  commandAuthorization: commandAuthorization$2,
+  authorizationOf: authorizationOf$2,
   commandTransition: commandTransition$2,
   traits: traits$2,
   readConsistency: "EscalateOnRetry"
@@ -269,7 +269,7 @@ function decide$3(state, command) {
   }
 }
 
-function commandAuthorization$3(param) {
+function authorizationOf$3(param) {
   return "AllowAuthenticated";
 }
 
@@ -292,7 +292,7 @@ let InventorySlice = {
   errorSchema: errorSchema$3,
   eventSchema: eventSchema$3,
   decide: decide$3,
-  commandAuthorization: commandAuthorization$3,
+  authorizationOf: authorizationOf$3,
   commandTransition: commandTransition$3,
   traits: traits$3,
   readConsistency: "EscalateOnRetry"
@@ -311,7 +311,7 @@ let CategorySource = Mapping_GWT$ReventlessGwt.FromBehavior({
   errorSchema: errorSchema,
   commandSchema: commandSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 })({
@@ -328,7 +328,7 @@ let CategorySource = Mapping_GWT$ReventlessGwt.FromBehavior({
     errorSchema: errorSchema,
     commandSchema: commandSchema,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization,
+    authorizationOf: authorizationOf,
     commandTransition: commandTransition,
     traits: traits
   },
@@ -352,7 +352,7 @@ let ProductTarget = Mapping_GWT$ReventlessGwt.FromBehavior({
   errorSchema: errorSchema$1,
   commandSchema: commandSchema$1,
   moduleUrl: moduleUrl$2,
-  commandAuthorization: commandAuthorization$1,
+  authorizationOf: authorizationOf$1,
   commandTransition: commandTransition$1,
   traits: traits$1
 })({
@@ -369,7 +369,7 @@ let ProductTarget = Mapping_GWT$ReventlessGwt.FromBehavior({
     errorSchema: errorSchema$1,
     commandSchema: commandSchema$1,
     moduleUrl: moduleUrl$2,
-    commandAuthorization: commandAuthorization$1,
+    authorizationOf: authorizationOf$1,
     commandTransition: commandTransition$1,
     traits: traits$1
   },

package/tests/StateChangeSliceAuthorizeGwtTest.res.mjs

@@ -40,8 +40,12 @@ let eventSchema = Sury.$schema(s => ({
   shelfId: s.m(DcbTag$Reventless.string)
 }));
 
-function commandAuthorization(command) {
-  switch (command.TAG) {
+function authorizationOf(name) {
+  switch (name) {
+    case "Peek" :
+      return "AllowAnonymous";
+    case "Purge" :
+      return "DenyAll";
     case "Shelve" :
       return {
         TAG: "AllowRoles",
@@ -50,12 +54,8 @@ function commandAuthorization(command) {
           "Merchandiser"
         ]
       };
-    case "Browse" :
+    default:
       return "AllowAuthenticated";
-    case "Peek" :
-      return "AllowAnonymous";
-    case "Purge" :
-      return "DenyAll";
   }
 }
 
@@ -72,7 +72,7 @@ let ShelveSlice = {
   commandSchema: commandSchema,
   errorSchema: errorSchema,
   eventSchema: eventSchema,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits,
   readConsistency: "EscalateOnRetry"
@@ -105,7 +105,7 @@ let include = Behavior_GWT$ReventlessGwt.Make({
   commandSchema: commandSchema,
   errorSchema: errorSchema,
   eventSchema: eventSchema,
-  commandAuthorization: commandAuthorization
+  authorizationOf: authorizationOf
 })({
   initialState: undefined,
   evolve: evolve,
@@ -203,11 +203,15 @@ let eventSchema$1 = Sury.$schema(s => ({
   shelfId: s.m(DcbTag$Reventless.string)
 }));
 
-function commandAuthorization$1(command) {
-  return {
-    TAG: "AllowRoles",
-    _0: ["Merchandiser"]
-  };
+function authorizationOf$1(name) {
+  if (name === "Shelve") {
+    return {
+      TAG: "AllowRoles",
+      _0: ["Merchandiser"]
+    };
+  } else {
+    return "AllowAuthenticated";
+  }
 }
 
 function commandTransition$1(param) {
@@ -223,7 +227,7 @@ let ClaimSlice = {
   commandSchema: commandSchema$1,
   errorSchema: errorSchema$1,
   eventSchema: eventSchema$1,
-  commandAuthorization: commandAuthorization$1,
+  authorizationOf: authorizationOf$1,
   commandTransition: commandTransition$1,
   traits: traits$1,
   readConsistency: "EscalateOnRetry"
@@ -249,7 +253,7 @@ let Claim = Behavior_GWT$ReventlessGwt.Make({
   commandSchema: commandSchema$1,
   errorSchema: errorSchema$1,
   eventSchema: eventSchema$1,
-  commandAuthorization: commandAuthorization$1
+  authorizationOf: authorizationOf$1
 })({
   initialState: undefined,
   evolve: evolve$1,

package/tests/StateChangeSliceGwtTest.res.mjs

@@ -24,7 +24,7 @@ let eventSchema = Sury.$schema(s => ({
   name: s.m(Sury.string)
 }));
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -40,7 +40,7 @@ let AddCategorySlice = {
   commandSchema: commandSchema,
   errorSchema: errorSchema,
   eventSchema: eventSchema,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits,
   readConsistency: "EscalateOnRetry"
@@ -173,7 +173,7 @@ let eventSchema$1 = Sury.$schema(s => ({
   id: s.m(Sury.string)
 }));
 
-function commandAuthorization$1(param) {
+function authorizationOf$1(param) {
   return "AllowAuthenticated";
 }
 
@@ -189,7 +189,7 @@ let MissingTagSlice = {
   commandSchema: commandSchema$1,
   errorSchema: errorSchema$1,
   eventSchema: eventSchema$1,
-  commandAuthorization: commandAuthorization$1,
+  authorizationOf: authorizationOf$1,
   commandTransition: commandTransition$1,
   traits: traits$1,
   readConsistency: "EscalateOnRetry"
@@ -288,7 +288,7 @@ let eventSchema$2 = Sury.$schema(s => ({
   carrierId: s.m(DcbTag$Reventless.string)
 }));
 
-function commandAuthorization$2(param) {
+function authorizationOf$2(param) {
   return "AllowAuthenticated";
 }
 
@@ -304,7 +304,7 @@ let ShipOrderSlice = {
   commandSchema: commandSchema$2,
   errorSchema: errorSchema$2,
   eventSchema: eventSchema$2,
-  commandAuthorization: commandAuthorization$2,
+  authorizationOf: authorizationOf$2,
   commandTransition: commandTransition$2,
   traits: traits$2,
   readConsistency: "EscalateOnRetry"