@reventlessdev/online-shop-dcb-catalog 1.0.0-alpha.268 → 1.0.0-alpha.269

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.269 (2026-10-01)
+
+* feat!: roles a plugin declares, groups a platform provides ([43daace](https://github.com/ReventlessDev/reventless-core/commit/43daace6ca588afe22562d079af1e6f1da81942e))
+
+### BREAKING CHANGES
+
+* AllowGroups and AdminGroup are removed — write AllowRoles over
+the plugin's Roles.t, and use Role.admin / Platform.adminGroup(). Spec module
+types declare `type role`, and their rules are Authorization.rule<role>; a spec
+that writes its own rule declares `type role` (Reventless.Role.name for a rule
+over Authorization.permission). Role.name is a private string: make one from a
+string with Role.make.
+
+
+
 # 1.0.0-alpha.268 (2026-10-01)
 
 **Note:** Version bump only for package @reventlessdev/online-shop-dcb-catalog

package/lib/bs/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1790818277232)
-#Done(1790818280324)
+#Start(1790854931693)
+#Done(1790854934898)

package/lib/bs/CatalogPlugin.mlmap

@@ -47,3 +47,4 @@ RecordProductDemand_GWT
 RenameCategory
 RenameCategory_Behavior
 RenameCategory_GWT
+Roles

package/lib/bs/compiler-info.json

@@ -4,5 +4,5 @@
   "bsc_hash": "1006241435e8d5052329c523202a7fe6359a37e1e1688c023d37d6a7ebb5fb6d",
   "rescript_config_hash": "ca6bf04caf4f6b27dbf31b935f934d99c6fe59248cc8b122f9cc48ff2675eb4a",
   "runtime_path": "/home/runner/work/reventless-core/reventless-core/node_modules/@rescript/runtime",
-  "generated_at": "1790818280338"
+  "generated_at": "1790854934914"
 }

package/lib/bs/src/Category/StateChange/ArchiveCategory.res

@@ -8,7 +8,7 @@ type consumedEvent =
   | CategoryArchived
 
 @schema
-type command = | @authorize(AllowGroups(["Admin"])) ArchiveCategory({categoryId: CategoryId.t})
+type command = | @authorize(AllowRoles([Admin])) ArchiveCategory({categoryId: CategoryId.t})
 
 @schema
 type error = CategoryNotFound

package/lib/bs/src/Category/StateChange/ArchiveCategory.res.mjs

@@ -23,7 +23,7 @@ let eventSchema = Sury.$schema(s => ({
 
 function commandAuthorization(command) {
   return {
-    TAG: "AllowGroups",
+    TAG: "AllowRoles",
     _0: ["Admin"]
   };
 }

package/lib/bs/src/Roles.res

@@ -0,0 +1,2 @@
+// The roles the catalog's commands require: the framework's administrator.
+type t = Admin

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

@@ -0,0 +1,2 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+/* This output is empty. Its source's type definitions, externals and/or unused code got optimized away. */

package/lib/bs/tests/Catalog_Examples.res

@@ -13,5 +13,6 @@ let laptop: string = "Laptop"
 let laptopDescription: string = "A laptop"
 let order1: string = "order-1"
 let order2: string = "order-2"
+let shopper: string = "shopper"
 let sku: string = "p-1"
 let usd: string = "USD"

package/lib/bs/tests/Catalog_Examples.res.mjs

@@ -25,6 +25,8 @@ let order1 = "order-1";
 
 let order2 = "order-2";
 
+let shopper = "shopper";
+
 let sku = "p-1";
 
 let usd = "USD";
@@ -41,6 +43,7 @@ export {
   laptopDescription,
   order1,
   order2,
+  shopper,
   sku,
   usd,
 }

package/lib/bs/tests/Category/StateChange/AddCategory_GWT.res.mjs

@@ -10,7 +10,8 @@ let include = Behavior_GWT$ReventlessGwt.Make({
   consumedEventSchema: AddCategory$CatalogPlugin.consumedEventSchema,
   commandSchema: AddCategory$CatalogPlugin.commandSchema,
   errorSchema: AddCategory$CatalogPlugin.errorSchema,
-  eventSchema: AddCategory$CatalogPlugin.eventSchema
+  eventSchema: AddCategory$CatalogPlugin.eventSchema,
+  commandAuthorization: AddCategory$CatalogPlugin.commandAuthorization
 })({
   initialState: AddCategory_Behavior$CatalogPlugin.initialState,
   evolve: AddCategory_Behavior$CatalogPlugin.evolve,

package/lib/bs/tests/Category/StateChange/ArchiveCategory_GWT.res

@@ -24,3 +24,29 @@ describe("ArchiveCategory StateChangeSlice", () => {
     ->thenNoEvent
   )
 })
+
+describe("Who may ArchiveCategory", () => {
+  // scenario-id: 265a155c-74e4-4435-a4f3-e8c7f73f6282
+  test("an Admin may archive a category", () =>
+    givenEvents([CategoryAdded])
+    ->asCaller(Caller.inRoles([Admin]))
+    ->whenCmd(ArchiveCategory({categoryId: c1}))
+    ->thenEvent(CategoryArchived({categoryId: c1}))
+  )
+
+  // scenario-id: 63df971a-e114-4d8e-b2cf-06f7844a2c98
+  test("a shopper may not archive a category", () =>
+    givenEvents([CategoryAdded])
+    ->asCaller(Caller.owner(shopper))
+    ->whenCmd(ArchiveCategory({categoryId: c1}))
+    ->thenRefused
+  )
+
+  // scenario-id: 1ce2fe61-7c2c-44ee-9f2d-de0e6070242f
+  test("an anonymous caller may not archive a category", () =>
+    givenEvents([CategoryAdded])
+    ->asCaller(Caller.anonymous)
+    ->whenCmd(ArchiveCategory({categoryId: c1}))
+    ->thenRefused
+  )
+})

package/lib/bs/tests/Category/StateChange/ArchiveCategory_GWT.res.mjs

@@ -10,7 +10,8 @@ let include = Behavior_GWT$ReventlessGwt.Make({
   consumedEventSchema: ArchiveCategory$CatalogPlugin.consumedEventSchema,
   commandSchema: ArchiveCategory$CatalogPlugin.commandSchema,
   errorSchema: ArchiveCategory$CatalogPlugin.errorSchema,
-  eventSchema: ArchiveCategory$CatalogPlugin.eventSchema
+  eventSchema: ArchiveCategory$CatalogPlugin.eventSchema,
+  commandAuthorization: ArchiveCategory$CatalogPlugin.commandAuthorization
 })({
   initialState: ArchiveCategory_Behavior$CatalogPlugin.initialState,
   evolve: ArchiveCategory_Behavior$CatalogPlugin.evolve,
@@ -23,6 +24,10 @@ let test = include.test;
 
 let givenEvents = include.givenEvents;
 
+let Caller = include.Caller;
+
+let asCaller = include.asCaller;
+
 let whenCmd = include.whenCmd;
 
 let thenEvent = include.thenEvent;
@@ -31,6 +36,8 @@ let thenNoEvent = include.thenNoEvent;
 
 let thenError = include.thenError;
 
+let thenRefused = include.thenRefused;
+
 describe("ArchiveCategory StateChangeSlice", () => {
   test("non-existent category returns CategoryNotFound", () => thenError(whenCmd(givenEvents([]), {
     TAG: "ArchiveCategory",
@@ -52,22 +59,34 @@ describe("ArchiveCategory StateChangeSlice", () => {
   })));
 });
 
+describe("Who may ArchiveCategory", () => {
+  test("an Admin may archive a category", () => thenEvent(whenCmd(asCaller(givenEvents(["CategoryAdded"]), Caller.inRoles(["Admin"])), {
+    TAG: "ArchiveCategory",
+    categoryId: Catalog_Examples$CatalogPlugin.c1
+  }), {
+    TAG: "CategoryArchived",
+    categoryId: Catalog_Examples$CatalogPlugin.c1
+  }));
+  test("a shopper may not archive a category", () => thenRefused(whenCmd(asCaller(givenEvents(["CategoryAdded"]), Caller.owner(Catalog_Examples$CatalogPlugin.shopper, undefined)), {
+    TAG: "ArchiveCategory",
+    categoryId: Catalog_Examples$CatalogPlugin.c1
+  })));
+  test("an anonymous caller may not archive a category", () => thenRefused(whenCmd(asCaller(givenEvents(["CategoryAdded"]), Caller.anonymous), {
+    TAG: "ArchiveCategory",
+    categoryId: Catalog_Examples$CatalogPlugin.c1
+  })));
+});
+
 let Spec = include.Spec;
 
 let todo = include.todo;
 
-let Caller = include.Caller;
-
-let asCaller = include.asCaller;
-
 let thenEvents = include.thenEvents;
 
 let thenEventWithError = include.thenEventWithError;
 
 let thenEventsWithError = include.thenEventsWithError;
 
-let thenRefused = include.thenRefused;
-
 let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
 let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;

package/lib/bs/tests/Category/StateChange/RenameCategory_GWT.res.mjs

@@ -10,7 +10,8 @@ let include = Behavior_GWT$ReventlessGwt.Make({
   consumedEventSchema: RenameCategory$CatalogPlugin.consumedEventSchema,
   commandSchema: RenameCategory$CatalogPlugin.commandSchema,
   errorSchema: RenameCategory$CatalogPlugin.errorSchema,
-  eventSchema: RenameCategory$CatalogPlugin.eventSchema
+  eventSchema: RenameCategory$CatalogPlugin.eventSchema,
+  commandAuthorization: RenameCategory$CatalogPlugin.commandAuthorization
 })({
   initialState: RenameCategory_Behavior$CatalogPlugin.initialState,
   evolve: RenameCategory_Behavior$CatalogPlugin.evolve,

package/lib/bs/tests/Product/StateChange/AddProduct_GWT.res.mjs

@@ -10,7 +10,8 @@ let include = Behavior_GWT$ReventlessGwt.Make({
   consumedEventSchema: AddProduct$CatalogPlugin.consumedEventSchema,
   commandSchema: AddProduct$CatalogPlugin.commandSchema,
   errorSchema: AddProduct$CatalogPlugin.errorSchema,
-  eventSchema: AddProduct$CatalogPlugin.eventSchema
+  eventSchema: AddProduct$CatalogPlugin.eventSchema,
+  commandAuthorization: AddProduct$CatalogPlugin.commandAuthorization
 })({
   initialState: AddProduct_Behavior$CatalogPlugin.initialState,
   evolve: AddProduct_Behavior$CatalogPlugin.evolve,

package/lib/bs/tests/Product/StateChange/ChangeProductDescription_GWT.res.mjs

@@ -10,7 +10,8 @@ let include = Behavior_GWT$ReventlessGwt.Make({
   consumedEventSchema: ChangeProductDescription$CatalogPlugin.consumedEventSchema,
   commandSchema: ChangeProductDescription$CatalogPlugin.commandSchema,
   errorSchema: ChangeProductDescription$CatalogPlugin.errorSchema,
-  eventSchema: ChangeProductDescription$CatalogPlugin.eventSchema
+  eventSchema: ChangeProductDescription$CatalogPlugin.eventSchema,
+  commandAuthorization: ChangeProductDescription$CatalogPlugin.commandAuthorization
 })({
   initialState: ChangeProductDescription_Behavior$CatalogPlugin.initialState,
   evolve: ChangeProductDescription_Behavior$CatalogPlugin.evolve,

package/lib/bs/tests/Product/StateChange/ChangeProductName_GWT.res.mjs

@@ -10,7 +10,8 @@ let include = Behavior_GWT$ReventlessGwt.Make({
   consumedEventSchema: ChangeProductName$CatalogPlugin.consumedEventSchema,
   commandSchema: ChangeProductName$CatalogPlugin.commandSchema,
   errorSchema: ChangeProductName$CatalogPlugin.errorSchema,
-  eventSchema: ChangeProductName$CatalogPlugin.eventSchema
+  eventSchema: ChangeProductName$CatalogPlugin.eventSchema,
+  commandAuthorization: ChangeProductName$CatalogPlugin.commandAuthorization
 })({
   initialState: ChangeProductName_Behavior$CatalogPlugin.initialState,
   evolve: ChangeProductName_Behavior$CatalogPlugin.evolve,

package/lib/bs/tests/Product/StateChange/ChangeProductPrice_GWT.res.mjs

@@ -10,7 +10,8 @@ let include = Behavior_GWT$ReventlessGwt.Make({
   consumedEventSchema: ChangeProductPrice$CatalogPlugin.consumedEventSchema,
   commandSchema: ChangeProductPrice$CatalogPlugin.commandSchema,
   errorSchema: ChangeProductPrice$CatalogPlugin.errorSchema,
-  eventSchema: ChangeProductPrice$CatalogPlugin.eventSchema
+  eventSchema: ChangeProductPrice$CatalogPlugin.eventSchema,
+  commandAuthorization: ChangeProductPrice$CatalogPlugin.commandAuthorization
 })({
   initialState: ChangeProductPrice_Behavior$CatalogPlugin.initialState,
   evolve: ChangeProductPrice_Behavior$CatalogPlugin.evolve,

package/lib/bs/tests/ProductDemand/StateChange/RecordProductDemand_GWT.res.mjs

@@ -10,7 +10,8 @@ let include = Behavior_GWT$ReventlessGwt.Make({
   consumedEventSchema: RecordProductDemand$CatalogPlugin.consumedEventSchema,
   commandSchema: RecordProductDemand$CatalogPlugin.commandSchema,
   errorSchema: RecordProductDemand$CatalogPlugin.errorSchema,
-  eventSchema: RecordProductDemand$CatalogPlugin.eventSchema
+  eventSchema: RecordProductDemand$CatalogPlugin.eventSchema,
+  commandAuthorization: RecordProductDemand$CatalogPlugin.commandAuthorization
 })({
   initialState: RecordProductDemand_Behavior$CatalogPlugin.initialState,
   evolve: RecordProductDemand_Behavior$CatalogPlugin.evolve,

package/lib/ocaml/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1790818277232)
-#Done(1790818280324)
+#Start(1790854931693)
+#Done(1790854934898)