@reventlessdev/reventless-core 3.0.0-alpha.291 → 3.0.0-alpha.293

package/src/plugin/component/Plugin_Builder.res

@@ -214,32 +214,22 @@ module Make = (
                 ~kind=Aggregate,
                 ~fields=fieldNames,
                 ~commandSchema,
-                ~commandAuthorization=command =>
-                  M.Spec.commandAuthorization(command->Obj.magic)->Reventless.Authorization.named,
+                ~authorizationOf=name =>
+                  M.Spec.authorizationOf(name)->Reventless.Authorization.named,
               )
             )
             let aggDef =
               pluginStructure->Option.flatMap(s =>
                 s.aggregates->Array.find(d => d.name == M.Spec.name)
               )
-            // Stage E2 (host-ui-login-core): derive per-field permissions by
-            // evaluating the PPX-generated `commandAuthorization` against a
-            // synthetic command value per constructor. Mirrors the resolver-time
-            // shape from `CommandGeneratorResolvers_GraphQL.syntheticCommand` —
-            // payload-bearing variants compile to `{TAG, ...}`, payload-less to
-            // bare strings.
+            // Each field gated by its own constructor's rule.
             let fieldPermissions = Dict.make()
-            filteredConstructorNames->Array.forEachWithIndex((cname, idx) => {
-              let fieldName = fieldNames->Array.getUnsafe(idx)
-              let hasPayload = Reventless.DcbTag.isVariantPayloadBearing(
-                M.Spec.commandSchema->Obj.magic,
-                cname,
+            filteredConstructorNames->Array.forEachWithIndex((cname, idx) =>
+              fieldPermissions->Dict.set(
+                fieldNames->Array.getUnsafe(idx),
+                M.Spec.authorizationOf(cname)->Reventless.Authorization.named,
               )
-              let syntheticCmd: unknown = hasPayload ? {"TAG": cname}->Obj.magic : cname->Obj.magic
-              let rule =
-                M.Spec.commandAuthorization(syntheticCmd->Obj.magic)->Reventless.Authorization.named
-              fieldPermissions->Dict.set(fieldName, rule)
-            })
+            )
             [
               {
                 ReventlessInfra.Api.fieldNames,

package/src/plugin/component/Plugin_Builder.res.mjs

@@ -176,17 +176,11 @@ function Make(Spec) {
           if (fieldNames.length === 0) {
             return [];
           }
-          Stdlib_Option.forEach(Spec.hooks.mutationResolverHook, registerResolver => registerResolver("Aggregate", fieldNames, commandSchema, command => Authorization$Reventless.named(M.Spec.commandAuthorization(command))));
+          Stdlib_Option.forEach(Spec.hooks.mutationResolverHook, registerResolver => registerResolver("Aggregate", fieldNames, commandSchema, name => Authorization$Reventless.named(M.Spec.authorizationOf(name))));
           let aggDef = Stdlib_Option.flatMap(pluginStructure, s => s.aggregates.find(d => d.name === M.Spec.name));
           let fieldPermissions = {};
           filteredConstructorNames.forEach((cname, idx) => {
-            let fieldName = fieldNames[idx];
-            let hasPayload = DcbTag$Reventless.isVariantPayloadBearing(M.Spec.commandSchema, cname);
-            let syntheticCmd = hasPayload ? ({
-                TAG: cname
-              }) : cname;
-            let rule = Authorization$Reventless.named(M.Spec.commandAuthorization(syntheticCmd));
-            fieldPermissions[fieldName] = rule;
+            fieldPermissions[fieldNames[idx]] = Authorization$Reventless.named(M.Spec.authorizationOf(cname));
           });
           return [{
               fieldNames: fieldNames,

package/src/plugin/component/Plugin_Helpers.res

@@ -1006,23 +1006,31 @@ type subscriptionInfraParams = {
 type platformHooks = {
   // ── In-memory GraphQL mutation registration ────────────────────────────
   // Phase 1: register SDL + resolver stub synchronously.
-  // `commandAuthorization` is the `command => permission` function from the
-  // aggregate / slice Spec; the resolver evaluates it per-request against
-  // `ctx.identity` to enforce per-constructor authorization rules.
+  // `authorizationOf` is the aggregate / slice Spec's rule by constructor name;
+  // the resolver evaluates it per-request against `ctx.identity` to enforce
+  // per-constructor authorization rules.
   mutationResolverHook?: (
     ~kind: mutationKind,
     ~fields: array<string>,
     ~commandSchema: S.t<unknown>,
-    ~commandAuthorization: unknown => Reventless.Authorization.permission,
+    ~authorizationOf: string => Reventless.Authorization.permission,
   ) => unit,
   // Phase 2: bind generateCommand inside Output.apply.
   mutationBindHook?: (~field: string, ~generateCommand: CommandGenerator.commandGenerator) => unit,
-  // InboundTranslationSlice — phase 1: register SDL + stub.
-  inboundMutationResolverHook?: (~fieldName: string, ~externalInputSchema: S.t<unknown>) => unit,
+  // InboundTranslationSlice — phase 1: register SDL + stub. `permission` is the
+  // door's rule (`Plugin_Structure.inboundDoorPermission`); `None` admits nobody.
+  inboundMutationResolverHook?: (
+    ~fieldName: string,
+    ~externalInputSchema: S.t<unknown>,
+    ~permission: Reventless.Authorization.permission=?,
+  ) => unit,
   // InboundTranslationSlice — phase 2: bind receive.
   inboundMutationBindReceiveHook?: (
     ~fieldName: string,
-    ~receive: JSON.t => promise<ReventlessInfra.InboundTranslationSlice.receiveResult>,
+    ~receive: (
+      JSON.t,
+      ~caller: Reventless.Identity.t=?,
+    ) => promise<ReventlessInfra.InboundTranslationSlice.receiveResult>,
   ) => unit,
   // GraphQL type definitions.
   schemaTypeRegistrationHook?: array<string> => unit,
@@ -1150,8 +1158,7 @@ let registerAdminAggregateMutations = (
             ~kind=Aggregate,
             ~fields=fieldNames,
             ~commandSchema,
-            ~commandAuthorization=command =>
-              M.Spec.commandAuthorization(command->Obj.magic)->Reventless.Authorization.named,
+            ~authorizationOf=name => M.Spec.authorizationOf(name)->Reventless.Authorization.named,
           )
         )
       }

package/src/plugin/component/Plugin_Helpers.res.mjs

@@ -541,7 +541,7 @@ function registerAdminAggregateMutations(aggregates, hooks) {
     let fieldNames = filteredConstructorNames.map(cname => Api_Naming$ReventlessCore.adminField(M.Spec.name + "_" + cname));
     aggregateMutationFieldsRegistry[M.Spec.name] = fieldNames;
     if (fieldNames.length !== 0) {
-      return Stdlib_Option.forEach(hooks.mutationResolverHook, registerResolver => registerResolver("Aggregate", fieldNames, commandSchema, command => Authorization$Reventless.named(M.Spec.commandAuthorization(command))));
+      return Stdlib_Option.forEach(hooks.mutationResolverHook, registerResolver => registerResolver("Aggregate", fieldNames, commandSchema, name => Authorization$Reventless.named(M.Spec.authorizationOf(name))));
     }
   });
 }

package/src/plugin/component/Plugin_Structure.res

@@ -810,15 +810,26 @@ let nonEmpty = (xs: array<string>): option<array<string>> => xs->Array.length >
 let rolesFor = (rule: Reventless.Authorization.permission): option<array<string>> =>
   rule->Reventless.Authorization.rolesOf->Array.map(role => (role :> string))->nonEmpty
 
-// A stand-in for one constructor, the same shape the resolver builds at call time:
-// a payload-bearing variant compiles to `{TAG, ...}`, a payload-less one to a bare
-// string. Enough for the per-command switches the PPX generates, which match on
-// the constructor alone.
+// A stand-in for one constructor: a payload-bearing variant compiles to
+// `{TAG, ...}`, a payload-less one to a bare string. Enough for a spec's
+// `commandTransition`, whose switch matches on the constructor alone.
 let syntheticCommand = (~schema: S.t<unknown>, variantName: string): 'command =>
   Reventless.DcbTag.isVariantPayloadBearing(schema, variantName)
     ? {"TAG": variantName}->Obj.magic
     : variantName->Obj.magic
 
+// Each constructor's rule.
+let constructorPermissions = (
+  ~commandSchema: S.t<unknown>,
+  ~authorizationOf: string => Reventless.Authorization.permission,
+): array<Reventless.Authorization.permission> =>
+  Reventless.DcbTag.extractAllVariantNames(commandSchema)->Array.map(authorizationOf)
+
+// An inbound slice's gate where no command exists yet: any constructor's rule.
+// Both the deployed gate and the local resolver apply this one.
+let inboundDoorPermission = (~commandSchema, ~authorizationOf) =>
+  constructorPermissions(~commandSchema, ~authorizationOf)->Reventless.Authorization.anyOf
+
 // Each mutation argument's GraphQL type onto its property, so a consumer declares
 // the variable the server expects. Mutates the freshly derived schema in place.
 let annotateArgTypes = (schema: JSON.t, argTypes: dict<string>): JSON.t => {
@@ -846,13 +857,13 @@ let toCommandDef = (
   ~partitionKey: option<string>=?,
   ~mutationFieldFor: string => string,
   ~parentSchema: S.t<unknown>,
-  // The PPX-generated `command => permission`. Per VARIANT, not per component:
-  // one aggregate carries commands with very different audiences, and a
-  // component-level shortcut would gate `AddProduct` and `PlaceOrder` alike.
-  ~commandAuthorization: unknown => Reventless.Authorization.permission,
-  // The spec's `command => Transition.t<_>`, evaluated per variant the same way
-  // `commandAuthorization` is, and the only declaration of an edge there is —
-  // the PPX injects `Unrestricted` for a spec that writes no switch.
+  // The spec's `authorizationOf`, by constructor name. Per VARIANT, not per
+  // component: one aggregate carries commands with very different audiences,
+  // and a component-level shortcut would gate `AddProduct` and `PlaceOrder` alike.
+  ~authorizationOf: string => Reventless.Authorization.permission,
+  // The spec's `command => Transition.t<_>`, evaluated per variant against a
+  // stand-in, and the only declaration of an edge there is — the PPX injects
+  // `Undeclared` for a spec that writes no switch.
   //
   // Read at `t<string>` because this is the erasure boundary: the spec declares
   // its edges over the linked view's own lifecycle enum, whose arms are
@@ -947,7 +958,7 @@ let toCommandDef = (
       | Some(excluded) => !(excluded->Set.has(variantName))
       | None => true
       }
-    let rule = commandAuthorization(syntheticCommand)
+    let rule = authorizationOf(variantName)
     let requiredAccess = accessKeysFor(rule)
     // See the note on the record's `mutationField` for why a non-exposed
     // variant gets the empty sentinel. It has no callable field, and the
@@ -1018,7 +1029,7 @@ let extractCommandDefs = (
   ~isAggregate,
   ~partitionKey: option<string>=?,
   ~mutationFieldFor: string => string,
-  ~commandAuthorization: unknown => Reventless.Authorization.permission,
+  ~authorizationOf: string => Reventless.Authorization.permission,
   ~commandTransition: unknown => Reventless.Transition.t<string>,
   ~derivedEdgeFor: string => option<Reventless.Plugin.derivedEdge>=_ => None,
   commandSchema: S.t<unknown>,
@@ -1032,7 +1043,7 @@ let extractCommandDefs = (
         ~partitionKey?,
         ~mutationFieldFor,
         ~parentSchema=commandSchema,
-        ~commandAuthorization,
+        ~authorizationOf,
         ~commandTransition,
         ~derivedEdgeFor,
         v,
@@ -1046,7 +1057,7 @@ let extractCommandDefs = (
       ~partitionKey?,
       ~mutationFieldFor,
       ~parentSchema=commandSchema,
-      ~commandAuthorization,
+      ~authorizationOf,
       ~commandTransition,
       ~derivedEdgeFor,
       commandSchema,
@@ -1705,8 +1716,7 @@ let make = (
                 ~commandSchema=SCS.Spec.commandSchema->S.castToUnknown,
                 ~variant=variantName,
               ),
-            ~commandAuthorization=command =>
-              SCS.Spec.commandAuthorization(command->Obj.magic)->Reventless.Authorization.named,
+            ~authorizationOf=name => SCS.Spec.authorizationOf(name)->Reventless.Authorization.named,
             ~commandTransition=SCS.Spec.commandTransition->Obj.magic,
             ~derivedEdgeFor=derivedEdgeFor(~component=SCS.Spec.name, ...),
             SCS.Spec.commandSchema->S.castToUnknown,
@@ -1740,8 +1750,7 @@ let make = (
               ~aggregate=A.Spec.name,
               ~command=variantName,
             ),
-          ~commandAuthorization=command =>
-            A.Spec.commandAuthorization(command->Obj.magic)->Reventless.Authorization.named,
+          ~authorizationOf=name => A.Spec.authorizationOf(name)->Reventless.Authorization.named,
           ~commandTransition=A.Spec.commandTransition->Obj.magic,
           ~derivedEdgeFor=derivedEdgeFor(~component=A.Spec.name, ...),
           A.Spec.commandSchema->S.castToUnknown,
@@ -1815,17 +1824,15 @@ let make = (
       targetName: ITS.Spec.targetName,
       externalSystem: ITS.Spec.externalSystem,
       chapter: chapterOf(ITS.Spec.name),
-      // Per command, as the resolver evaluates the rule, then joined: the slice
-      // publishes no command defs to carry them.
+      // Every role a constructor names: the door's, plus those only the
+      // per-command check reads, which must map to a group all the same.
       requiredRoles: ?(
-        Reventless.DcbTag.extractAllVariantNames(ITS.Spec.commandSchema)
-        ->Array.flatMap(variantName =>
-          syntheticCommand(~schema=ITS.Spec.commandSchema->S.castToUnknown, variantName)
-          ->ITS.Spec.commandAuthorization
-          ->Reventless.Authorization.named
-          ->Reventless.Authorization.rolesOf
-          ->Array.map(role => (role :> string))
+        constructorPermissions(
+          ~commandSchema=ITS.Spec.commandSchema->S.castToUnknown,
+          ~authorizationOf=name => ITS.Spec.authorizationOf(name)->Reventless.Authorization.named,
         )
+        ->Array.flatMap(Reventless.Authorization.rolesOf)
+        ->Array.map(role => (role :> string))
         ->Set.fromArray
         ->Set.values
         ->Array.fromIterator

package/src/plugin/component/Plugin_Structure.res.mjs

@@ -644,6 +644,14 @@ function syntheticCommand(schema, variantName) {
   }
 }
 
+function constructorPermissions(commandSchema, authorizationOf) {
+  return DcbTag$Reventless.extractAllVariantNames(commandSchema).map(authorizationOf);
+}
+
+function inboundDoorPermission(commandSchema, authorizationOf) {
+  return Authorization$Reventless.anyOf(DcbTag$Reventless.extractAllVariantNames(commandSchema).map(authorizationOf));
+}
+
 function annotateArgTypes(schema, argTypes) {
   Stdlib_Option.forEach(Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(schema), o => o["properties"]), Stdlib_JSON.Decode.object), props => {
     Object.entries(props).forEach(param => {
@@ -658,7 +666,7 @@ function annotateArgTypes(schema, argTypes) {
   return schema;
 }
 
-function toCommandDef(identityViews, isAggregate, partitionKey, mutationFieldFor, parentSchema, commandAuthorization, commandTransition, derivedEdgeFor, v) {
+function toCommandDef(identityViews, isAggregate, partitionKey, mutationFieldFor, parentSchema, authorizationOf, commandTransition, derivedEdgeFor, v) {
   let mkDef = (variantName, properties) => {
     let match = commandLevelAndId(isAggregate, partitionKey, variantName, properties);
     let aggregateIdField = match[1];
@@ -700,7 +708,7 @@ function toCommandDef(identityViews, isAggregate, partitionKey, mutationFieldFor
       let excluded = ApiNoApiHelpers$ReventlessCore.getExcludedVariants(parentSchema);
       apiExposed = excluded !== undefined ? !excluded.has(variantName) : true;
     }
-    let rule = commandAuthorization(syntheticCommand$1);
+    let rule = authorizationOf(variantName);
     let requiredAccess = accessKeysFor(rule);
     let mutationField = apiExposed ? mutationFieldFor(variantName) : "";
     let jsonSchema = SuryToJsonSchema$ReventlessCore.deriveObjectSchema(apiExposed, mutationField, v);
@@ -745,12 +753,12 @@ function toCommandDef(identityViews, isAggregate, partitionKey, mutationFieldFor
   }
 }
 
-function extractCommandDefs(identityViews, isAggregate, partitionKey, mutationFieldFor, commandAuthorization, commandTransition, derivedEdgeForOpt, commandSchema) {
+function extractCommandDefs(identityViews, isAggregate, partitionKey, mutationFieldFor, authorizationOf, commandTransition, derivedEdgeForOpt, commandSchema) {
   let derivedEdgeFor = derivedEdgeForOpt !== undefined ? derivedEdgeForOpt : param => {};
   if (commandSchema.type === "anyOf") {
-    return Stdlib_Array.filterMap(commandSchema.anyOf, v => toCommandDef(identityViews, isAggregate, partitionKey, mutationFieldFor, commandSchema, commandAuthorization, commandTransition, derivedEdgeFor, v));
+    return Stdlib_Array.filterMap(commandSchema.anyOf, v => toCommandDef(identityViews, isAggregate, partitionKey, mutationFieldFor, commandSchema, authorizationOf, commandTransition, derivedEdgeFor, v));
   } else {
-    return Stdlib_Option.mapOr(toCommandDef(identityViews, isAggregate, partitionKey, mutationFieldFor, commandSchema, commandAuthorization, commandTransition, derivedEdgeFor, commandSchema), [], def => [def]);
+    return Stdlib_Option.mapOr(toCommandDef(identityViews, isAggregate, partitionKey, mutationFieldFor, commandSchema, authorizationOf, commandTransition, derivedEdgeFor, commandSchema), [], def => [def]);
   }
 }
 
@@ -1218,7 +1226,7 @@ function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChang
     let consumed = match$1[1];
     return {
       name: SCS.Spec.name,
-      commands: extractCommandDefs(identityViews, false, partitionBySlice[SCS.Spec.name], variantName => Api_Naming$ReventlessCore.sliceMutationFieldFor(name, SCS.Spec.name, SCS.Spec.commandSchema, variantName), command => Authorization$Reventless.named(SCS.Spec.commandAuthorization(command)), SCS.Spec.commandTransition, extra => derivedEdgeFor(SCS.Spec.name, extra), SCS.Spec.commandSchema),
+      commands: extractCommandDefs(identityViews, false, partitionBySlice[SCS.Spec.name], variantName => Api_Naming$ReventlessCore.sliceMutationFieldFor(name, SCS.Spec.name, SCS.Spec.commandSchema, variantName), name => Authorization$Reventless.named(SCS.Spec.authorizationOf(name)), SCS.Spec.commandTransition, extra => derivedEdgeFor(SCS.Spec.name, extra), SCS.Spec.commandSchema),
       producedEventTypes: produced,
       consumedEventTypes: consumed,
       linkedViews: linkedSvsFor(produced),
@@ -1233,7 +1241,7 @@ function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChang
     let produced = match[1];
     return {
       name: A.Spec.name,
-      commands: extractCommandDefs(identityViews, true, undefined, variantName => Api_Naming$ReventlessCore.aggregateMutationField(name, A.Spec.name, variantName), command => Authorization$Reventless.named(A.Spec.commandAuthorization(command)), A.Spec.commandTransition, extra => derivedEdgeFor(A.Spec.name, extra), A.Spec.commandSchema),
+      commands: extractCommandDefs(identityViews, true, undefined, variantName => Api_Naming$ReventlessCore.aggregateMutationField(name, A.Spec.name, variantName), name => Authorization$Reventless.named(A.Spec.authorizationOf(name)), A.Spec.commandTransition, extra => derivedEdgeFor(A.Spec.name, extra), A.Spec.commandSchema),
       producedEventTypes: produced,
       consumedEventTypes: [],
       linkedViews: linkedSvsFor(produced).concat(linkedReadModelsFor(A.Spec.name)),
@@ -1268,7 +1276,7 @@ function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChang
     targetName: ITS.Spec.targetName,
     externalSystem: ITS.Spec.externalSystem,
     chapter: componentChapters[ITS.Spec.name],
-    requiredRoles: nonEmpty(Array.from(new Set(DcbTag$Reventless.extractAllVariantNames(ITS.Spec.commandSchema).flatMap(variantName => Authorization$Reventless.rolesOf(Authorization$Reventless.named(ITS.Spec.commandAuthorization(syntheticCommand(ITS.Spec.commandSchema, variantName)))).map(role => role))).values()))
+    requiredRoles: nonEmpty(Array.from(new Set(DcbTag$Reventless.extractAllVariantNames(ITS.Spec.commandSchema).map(name => Authorization$Reventless.named(ITS.Spec.authorizationOf(name))).flatMap(Authorization$Reventless.rolesOf).map(role => role)).values()))
   }));
   let tableFailures = [];
   let tableWarnings = [];
@@ -1574,6 +1582,8 @@ export {
   nonEmpty,
   rolesFor,
   syntheticCommand,
+  constructorPermissions,
+  inboundDoorPermission,
   annotateArgTypes,
   toCommandDef,
   extractCommandDefs,

package/src/plugin/connect/PluginConnectExtension_Mapping.res.mjs

@@ -75,7 +75,7 @@ function Make(Spec) {
       errorSchema: ExtensionMapping$ReventlessInfra.NoDelegate.errorSchema,
       commandSchema: ExtensionMapping$ReventlessInfra.NoDelegate.commandSchema,
       moduleUrl: ExtensionMapping$ReventlessInfra.NoDelegate.moduleUrl,
-      commandAuthorization: ExtensionMapping$ReventlessInfra.NoDelegate.commandAuthorization,
+      authorizationOf: ExtensionMapping$ReventlessInfra.NoDelegate.authorizationOf,
       commandTransition: ExtensionMapping$ReventlessInfra.NoDelegate.commandTransition,
       traits: ExtensionMapping$ReventlessInfra.NoDelegate.traits
     },

package/src/plugin/connect/PluginExtensionPoint_Plugin.res.mjs

@@ -405,7 +405,7 @@ function Make(Spec) {
       errorSchema: PluginSpec$ReventlessCore.errorSchema,
       commandSchema: PluginSpec$ReventlessCore.commandSchema,
       moduleUrl: PluginSpec$ReventlessCore.moduleUrl,
-      commandAuthorization: PluginSpec$ReventlessCore.commandAuthorization,
+      authorizationOf: PluginSpec$ReventlessCore.authorizationOf,
       commandTransition: PluginSpec$ReventlessCore.commandTransition,
       traits: PluginSpec$ReventlessCore.traits
     },

package/src/plugin/connect/PluginExtensionPoint_UiFragment.res

@@ -9,7 +9,7 @@
 // aggregate; the two run side by side on the same EP.
 //
 // A StateChangeSlice Spec structurally satisfies Reventless.Aggregate.Spec (name, Id,
-// command/event/error + schemas, commandSchema, commandAuthorization, moduleUrl), which is all
+// command/event/error + schemas, commandSchema, authorizationOf, moduleUrl), which is all
 // ExtensionPointMapping.Make consumes from a Delegate.
 
 open ReventlessInfra.ExtensionPointMapping

package/src/plugin/connect/PluginExtensionPoint_UiFragment.res.mjs

@@ -72,7 +72,7 @@ let Mapping = ExtensionPointMapping$ReventlessInfra.Make({
     errorSchema: UiFragmentRegistry$ReventlessCore.errorSchema,
     commandSchema: UiFragmentRegistry$ReventlessCore.commandSchema,
     moduleUrl: UiFragmentRegistry$ReventlessCore.moduleUrl,
-    commandAuthorization: UiFragmentRegistry$ReventlessCore.commandAuthorization,
+    authorizationOf: UiFragmentRegistry$ReventlessCore.authorizationOf,
     commandTransition: UiFragmentRegistry$ReventlessCore.commandTransition,
     traits: UiFragmentRegistry$ReventlessCore.traits
   },

package/src/plugin/lifecycle/PluginSpec.res.mjs

@@ -146,7 +146,7 @@ let commandSchema$1 = Api$ReventlessInfra.markNoApiVariants(commandSchema, [
   "Disconnect"
 ]);
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -170,7 +170,7 @@ export {
   commandTransition,
   commandSchema$1 as commandSchema,
   moduleUrl,
-  commandAuthorization,
+  authorizationOf,
   traits,
 }
 /* commandSchema Not a pure module */

package/tests/aggregate/AggregateCacheTest.res.mjs

@@ -33,7 +33,7 @@ let errorSchema = Sury.literal("Never");
 
 let moduleUrl = import.meta.url;
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -50,7 +50,7 @@ let AggSpec = {
   eventSchema: eventSchema,
   errorSchema: errorSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 };
@@ -245,7 +245,7 @@ let TestHandler = Aggregate_Callback$ReventlessCore.Make({
   errorSchema: errorSchema,
   commandSchema: commandSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 })({
@@ -268,7 +268,7 @@ let TestHandler = Aggregate_Callback$ReventlessCore.Make({
     errorSchema: errorSchema,
     commandSchema: commandSchema,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization,
+    authorizationOf: authorizationOf,
     commandTransition: commandTransition,
     traits: traits
   },

package/tests/aggregate/AggregateConflictTest.res.mjs

@@ -22,7 +22,7 @@ let errorSchema = Sury.literal("AlreadyExists");
 
 let moduleUrl = import.meta.url;
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -39,7 +39,7 @@ let AggSpec = {
   eventSchema: eventSchema,
   errorSchema: errorSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 };
@@ -202,7 +202,7 @@ let TestHandler = Aggregate_Callback$ReventlessCore.Make({
   errorSchema: errorSchema,
   commandSchema: commandSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 })({
@@ -225,7 +225,7 @@ let TestHandler = Aggregate_Callback$ReventlessCore.Make({
     errorSchema: errorSchema,
     commandSchema: commandSchema,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization,
+    authorizationOf: authorizationOf,
     commandTransition: commandTransition,
     traits: traits
   },

package/tests/aggregate/AggregateFixtures.res.mjs

@@ -36,7 +36,7 @@ let errorSchema = Sury.union([
 
 let moduleUrl = import.meta.url;
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -53,7 +53,7 @@ let AggSpec = {
   eventSchema: eventSchema,
   errorSchema: errorSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 };
@@ -237,7 +237,7 @@ let TestHandler = Aggregate_Callback$ReventlessCore.Make({
   errorSchema: errorSchema,
   commandSchema: commandSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 })({
@@ -260,7 +260,7 @@ let TestHandler = Aggregate_Callback$ReventlessCore.Make({
     errorSchema: errorSchema,
     commandSchema: commandSchema,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization,
+    authorizationOf: authorizationOf,
     commandTransition: commandTransition,
     traits: traits
   },

package/tests/aggregate/AggregateSnapshotTest.res.mjs

@@ -28,7 +28,7 @@ let errorSchema = Sury.literal("Never");
 
 let moduleUrl = import.meta.url;
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -45,7 +45,7 @@ let AggSpec = {
   eventSchema: eventSchema,
   errorSchema: errorSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 };
@@ -292,7 +292,7 @@ let TestHandler = Aggregate_Callback$ReventlessCore.Make({
   errorSchema: errorSchema,
   commandSchema: commandSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 })({
@@ -315,7 +315,7 @@ let TestHandler = Aggregate_Callback$ReventlessCore.Make({
     errorSchema: errorSchema,
     commandSchema: commandSchema,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization,
+    authorizationOf: authorizationOf,
     commandTransition: commandTransition,
     traits: traits
   },
@@ -438,7 +438,7 @@ let PlainHandler = Aggregate_Callback$ReventlessCore.Make({
   errorSchema: errorSchema,
   commandSchema: commandSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 })({
@@ -461,7 +461,7 @@ let PlainHandler = Aggregate_Callback$ReventlessCore.Make({
     errorSchema: errorSchema,
     commandSchema: commandSchema,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization,
+    authorizationOf: authorizationOf,
     commandTransition: commandTransition,
     traits: traits
   },

package/tests/api/GraphQL_FragmentGeneratorTest.res.mjs

@@ -29,7 +29,7 @@ let commandSchema = Sury.union([
   }))
 ]);
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -41,7 +41,7 @@ let traits = [];
 
 let OrderSliceCmd = {
   commandSchema: commandSchema,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 };
@@ -291,7 +291,7 @@ let commandSchema$1 = Sury.union([
   }))
 ]);
 
-function commandAuthorization$1(param) {
+function authorizationOf$1(param) {
   return "AllowAuthenticated";
 }
 
@@ -303,7 +303,7 @@ let traits$1 = [];
 
 let AddProductCmd = {
   commandSchema: commandSchema$1,
-  commandAuthorization: commandAuthorization$1,
+  authorizationOf: authorizationOf$1,
   commandTransition: commandTransition$1,
   traits: traits$1
 };
@@ -320,7 +320,7 @@ let commandSchema$2 = Sury.union([
   }))
 ]);
 
-function commandAuthorization$2(param) {
+function authorizationOf$2(param) {
   return "AllowAuthenticated";
 }
 
@@ -332,7 +332,7 @@ let traits$2 = [];
 
 let ChangePriceCmd = {
   commandSchema: commandSchema$2,
-  commandAuthorization: commandAuthorization$2,
+  authorizationOf: authorizationOf$2,
   commandTransition: commandTransition$2,
   traits: traits$2
 };

package/tests/commandgenerator/CommandGeneratorFixtures.res.mjs

@@ -28,7 +28,7 @@ let errorSchema = Sury.literal("InvalidCommand");
 
 let moduleUrl = import.meta.url;
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -45,7 +45,7 @@ let CmdGenAggSpec = {
   eventSchema: eventSchema,
   errorSchema: errorSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 };
@@ -114,7 +114,7 @@ let TestGenerator = CommandGenerator_Callback$ReventlessCore.Make(MockPublishSpe
   errorSchema: errorSchema,
   commandSchema: commandSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 });