@reventlessdev/reventless-gwt 1.0.0-alpha.249 → 1.0.0-alpha.251

package/CHANGELOG.md

@@ -3,6 +3,37 @@
 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.251 (2026-10-21)
+
+* feat!: a rejected command says whether the model, the access check or the platform said no ([6a8a6b0](https://github.com/ReventlessDev/reventless-core/commit/6a8a6b0f2f31e766ae26a944c23b0904e51a5865))
+
+### BREAKING CHANGES
+
+* a type error variant with one of those names fails to
+compile; rename it for what the model means, such as AlreadyBooked. On
+AWS, rebuild every plugin against this release before a client selects
+cause: a plugin built earlier answers it with a non-null error.
+
+
+
+# 1.0.0-alpha.250 (2026-10-21)
+
+* feat!: a state view's row key is module Id ([08c9726](https://github.com/ReventlessDev/reventless-core/commit/08c972659a3d689a39fd5e2f2026597155e92210))
+* feat!: a plugin structure's component definitions are read-side and write-side defs ([ea2ab69](https://github.com/ReventlessDev/reventless-core/commit/ea2ab69e928ba16d7e640e4c66ab0e9ba034fe5c))
+
+### BREAKING CHANGES
+
+* a state view spec declares its row key as module Id. A
+hand-written module Key in a spec under StateView/ or StateViewStream/
+fails the build with "A state view's row key is `module Id`, not
+`module Key`".
+* Plugin.queryableDef, Plugin.writableDef, their schemas,
+isPublicQueryable and encodeQueryableDef no longer exist; a reader names
+readSideDef, writeSideDef, isPublicReadSide and encodeReadSideDef. There
+are no aliases, so the compiler lists every reader.
+
+
+
 # 1.0.0-alpha.249 (2026-10-21)
 
 * feat!: the write-side logic module is called the decision, and a codemod moves an app over ([cb573ff](https://github.com/ReventlessDev/reventless-core/commit/cb573ff5b928c7d7f3e75988dfaa65066f8c95eb))

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-gwt",
-  "version": "1.0.0-alpha.249",
+  "version": "1.0.0-alpha.251",
   "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": "1.0.0-alpha.1",
     "@reventlessdev/rescript-jest": "1.0.0-alpha.13",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.198",
+    "@reventlessdev/rescript-effect": "1.0.0-alpha.1",
     "@reventlessdev/rescript-node": "2.0.0-alpha.23",
-    "@reventlessdev/reventless-core": "3.0.0-alpha.301",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.170"
+    "@reventlessdev/reventless-core": "3.0.0-alpha.303",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.200",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.172"
   },
   "devDependencies": {
     "rescript": "12.3.1",
     "sury-ppx": "11.0.0",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.103"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.104"
   },
   "peerDependencies": {
     "rescript": "^12.3.1"

package/src/Decision_GWT.res

@@ -152,7 +152,7 @@ module Acting = (Spec: ActingSpec) => {
     } else {
       refusal :=
         Some({
-          errorCode: "Forbidden",
+          errorCode: Reventless.CommandOutcome.code(Forbidden),
           errorDetail: `${Spec.name}.${commandName(
               command,
             )}: the caller holds no role this command's rule admits`,
@@ -211,7 +211,9 @@ module Acting = (Spec: ActingSpec) => {
       Outcome.fail(
         ErrorMismatch({
           expected: JSON.Encode.object(
-            Dict.fromArray([("errorCode", JSON.Encode.string("Forbidden"))]),
+            Dict.fromArray([
+              ("errorCode", JSON.Encode.string(Reventless.CommandOutcome.code(Forbidden))),
+            ]),
           ),
           actual: decided,
           actualEvents: encEvents(events),

package/src/Decision_GWT.res.mjs

@@ -14,6 +14,7 @@ import * as OwnerScope$Reventless from "@reventlessdev/reventless-spec/src/types
 import * as JestBind$ReventlessGwt from "./JestBind.res.mjs";
 import * as Message$ReventlessCore from "@reventlessdev/reventless-core/src/Message.res.mjs";
 import * as Authorization$Reventless from "@reventlessdev/reventless-spec/src/types/Authorization.res.mjs";
+import * as CommandOutcome$Reventless from "@reventlessdev/reventless-spec/src/components/CommandOutcome.res.mjs";
 import * as DcbScopeInference$Reventless from "@reventlessdev/reventless-spec/src/components/DcbScopeInference.res.mjs";
 import * as ScenarioRecorder$ReventlessGwt from "./ScenarioRecorder.res.mjs";
 import * as CommandTopic_Helpers$ReventlessCore from "@reventlessdev/reventless-core/src/components/CommandTopic/CommandTopic_Helpers.res.mjs";
@@ -111,7 +112,7 @@ function Acting(Spec) {
       return false;
     } else {
       refusal.contents = {
-        errorCode: "Forbidden",
+        errorCode: CommandOutcome$Reventless.code("Forbidden"),
         errorDetail: Spec.name + `.` + Message$ReventlessCore.variantNameOfJson(Message$ReventlessCore.encode(command, Spec.commandSchema)) + `: the caller holds no role this command's rule admits`
       };
       return true;
@@ -165,7 +166,7 @@ function Acting(Spec) {
         TAG: "ErrorMismatch",
         expected: Object.fromEntries([[
             "errorCode",
-            "Forbidden"
+            CommandOutcome$Reventless.code("Forbidden")
           ]]),
         actual: decided,
         actualEvents: encEvents(events)
@@ -399,7 +400,7 @@ function Make(Spec) {
             return false;
           } else {
             refusal.contents = {
-              errorCode: "Forbidden",
+              errorCode: CommandOutcome$Reventless.code("Forbidden"),
               errorDetail: name + `.` + Message$ReventlessCore.variantNameOfJson(Message$ReventlessCore.encode(command, commandSchema)) + `: the caller holds no role this command's rule admits`
             };
             return true;
@@ -559,7 +560,7 @@ function Make(Spec) {
           TAG: "ErrorMismatch",
           expected: Object.fromEntries([[
               "errorCode",
-              "Forbidden"
+              CommandOutcome$Reventless.code("Forbidden")
             ]]),
           actual: decided,
           actualEvents: encEvents(events)
@@ -788,7 +789,7 @@ function MakeFromAggregate(Spec) {
             return false;
           } else {
             refusal.contents = {
-              errorCode: "Forbidden",
+              errorCode: CommandOutcome$Reventless.code("Forbidden"),
               errorDetail: name + `.` + Message$ReventlessCore.variantNameOfJson(Message$ReventlessCore.encode(command, commandSchema)) + `: the caller holds no role this command's rule admits`
             };
             return true;
@@ -921,7 +922,7 @@ function MakeFromAggregate(Spec) {
           TAG: "ErrorMismatch",
           expected: Object.fromEntries([[
               "errorCode",
-              "Forbidden"
+              CommandOutcome$Reventless.code("Forbidden")
             ]]),
           actual: decided,
           actualEvents: encEvents(events)

package/src/Projection_GWT.res

@@ -20,7 +20,7 @@ module type Spec = {
 
   let stateSchema: S.t<state>
 
-  module Key: Reventless.Id.T
+  module Id: Reventless.Id.T
 
   @schema
   type consumedEvent
@@ -33,7 +33,7 @@ module type Projection = {
   module Spec: Spec
 
   let project: Reventless.StateViewSlice.consumed<Spec.consumedEvent> => array<
-    Reventless.Projection.action<Spec.Key.t, Spec.state>,
+    Reventless.Projection.action<Spec.Id.t, Spec.state>,
   >
 }
 
@@ -180,7 +180,7 @@ module Make = (Spec: Spec, Projection: Projection with module Spec := Spec): (
         ->Projection.project
         ->Array.map(action =>
           action
-          ->Reventless.Projection.mapActionId(~to_=Spec.Key.toString, ~from=Spec.Key.makeFromString)
+          ->Reventless.Projection.mapActionId(~to_=Spec.Id.toString, ~from=Spec.Id.makeFromString)
           ->ReventlessCore.Projection.rewriteTrail(~at=TestFixtures.meta.time, Spec.stateSchema)
         )
       )

package/src/Projection_GWT.res.mjs

@@ -64,7 +64,7 @@ function Make(Spec) {
         event: ev,
         meta: TestFixtures$ReventlessGwt.meta,
         recordedAt: TestFixtures$ReventlessGwt.recordedAt
-      }).map(action => Projection$ReventlessCore.rewriteTrail(Projection$Reventless.mapActionId(action, Spec.Key.toString, Spec.Key.makeFromString), TestFixtures$ReventlessGwt.meta.time, Spec.stateSchema))).flat();
+      }).map(action => Projection$ReventlessCore.rewriteTrail(Projection$Reventless.mapActionId(action, Spec.Id.toString, Spec.Id.makeFromString), TestFixtures$ReventlessGwt.meta.time, Spec.stateSchema))).flat();
       await runActions(actions, {
         load: extra => Promise.resolve({
           TAG: "Ok",

package/tests/FlowGwtTest.res

@@ -120,7 +120,7 @@ module ShipOrderDecision = {
 }
 
 module OrdersViewSlice = {
-  module Key = Reventless.Id.StringPure
+  module Id = Reventless.Id.StringPure
   let name = "OrdersView"
 
   @schema

package/tests/FlowGwtTest.res.mjs

@@ -276,7 +276,7 @@ let consumedEventSchema$3 = Sury.union([
 ]);
 
 let OrdersViewSlice = {
-  Key: undefined,
+  Id: undefined,
   name: name,
   stateSchema: stateSchema,
   consumedEventSchema: consumedEventSchema$3,
@@ -362,7 +362,7 @@ let Ship = Flow_GWT$ReventlessGwt.CommandStep(ShipOrderSlice)({
 let View = Flow_GWT$ReventlessGwt.ViewStep({
   name: name,
   stateSchema: stateSchema,
-  Key: {
+  Id: {
     schema: Id$Reventless.StringPure.schema,
     make: prim => prim,
     makeFromString: prim => prim,

package/tests/HintTest.res

@@ -4,7 +4,7 @@
 open JestGlobals
 
 module CategoriesView = {
-  module Key = Reventless.Id.StringPure
+  module Id = Reventless.Id.StringPure
   let name = "CategoriesView"
 
   @schema

package/tests/HintTest.res.mjs

@@ -20,7 +20,7 @@ let consumedEventSchema = Sury.$schema(s => ({
 }));
 
 let CategoriesView = {
-  Key: undefined,
+  Id: undefined,
   name: name,
   stateSchema: stateSchema,
   consumedEventSchema: consumedEventSchema,
@@ -50,7 +50,7 @@ let CategoriesViewProjection = {
 let View = Projection_GWT$ReventlessGwt.Make({
   name: name,
   stateSchema: stateSchema,
-  Key: {
+  Id: {
     schema: Id$Reventless.StringPure.schema,
     make: prim => prim,
     makeFromString: prim => prim,

package/tests/LocalHostIntegration.res

@@ -36,7 +36,7 @@ test("loadGraph cold-loads structures from the real plugins", async () => {
   let catalog = structureFor(g, "Catalog")->Option.getOrThrow
   let category =
     catalog.aggregates
-    ->Array.find((a: Reventless.Plugin.writableDef) => a.name == "Category")
+    ->Array.find((a: Reventless.Plugin.writeSideDef) => a.name == "Category")
     ->Option.getOrThrow
   ok(category.producedEventTypes->Array.includes("Catalog.Added"))
 
@@ -50,7 +50,7 @@ test("loadGraph cold-loads structures from the real plugins", async () => {
   let ordering = structureFor(g, "Ordering")->Option.getOrThrow
   let order =
     ordering.aggregates
-    ->Array.find((a: Reventless.Plugin.writableDef) => a.name == "Order")
+    ->Array.find((a: Reventless.Plugin.writeSideDef) => a.name == "Order")
     ->Option.getOrThrow
   ok(order.producedEventTypes->Array.includes("Ordering.Placed"))
 
@@ -72,7 +72,7 @@ test("loadGraph cold-loads structures from the real plugins", async () => {
   )
   let product =
     catalog.aggregates
-    ->Array.find((a: Reventless.Plugin.writableDef) => a.name == "Product")
+    ->Array.find((a: Reventless.Plugin.writeSideDef) => a.name == "Product")
     ->Option.getOrThrow
   ok(productsEp.sourceEventTypes->Array.every(e => product.producedEventTypes->Array.includes(e)))
 })

package/tests/QueryGwtTest.res

@@ -115,7 +115,7 @@ CategoriesQuery.describe("Categories ReadModel queries", () => {
 module OrdersView = {
   let name = "OrdersView"
   let moduleUrl = ""
-  module Key = Reventless.Id.StringPure
+  module Id = Reventless.Id.StringPure
 
   @schema
   type state = {orderId: string, customerId: string, total: int}

package/tests/QueryGwtTest.res.mjs

@@ -242,7 +242,7 @@ let subIdConfig = {
 let OrdersView = {
   name: name$1,
   moduleUrl: moduleUrl$1,
-  Key: undefined,
+  Id: undefined,
   stateSchema: stateSchema$1,
   consumedEventSchema: consumedEventSchema,
   project: project,
@@ -256,7 +256,7 @@ let OrdersQuery = Query_GWT$ReventlessGwt.Make(Query_GWT$ReventlessGwt.FromState
   name: name$1,
   moduleUrl: moduleUrl$1,
   stateSchema: stateSchema$1,
-  Key: {
+  Id: {
     schema: Id$Reventless.StringPure.schema,
     make: prim => prim,
     makeFromString: prim => prim,

package/tests/StateViewSliceGwtTest.res

@@ -11,7 +11,7 @@
 open Reventless.Projection
 
 module CategoriesView = {
-  module Key = Reventless.Id.StringPure
+  module Id = Reventless.Id.StringPure
   let name = "CategoriesView"
 
   @schema

package/tests/StateViewSliceGwtTest.res.mjs

@@ -30,7 +30,7 @@ let consumedEventSchema = Sury.union([
 ]);
 
 let CategoriesView = {
-  Key: undefined,
+  Id: undefined,
   name: name,
   stateSchema: stateSchema,
   consumedEventSchema: consumedEventSchema,
@@ -85,7 +85,7 @@ let CategoriesViewProjection = {
 let include = Projection_GWT$ReventlessGwt.Make({
   name: name,
   stateSchema: stateSchema,
-  Key: {
+  Id: {
     schema: Id$Reventless.StringPure.schema,
     make: prim => prim,
     makeFromString: prim => prim,