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

package/CHANGELOG.md

@@ -3,6 +3,19 @@
 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))

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-gwt",
-  "version": "1.0.0-alpha.250",
+  "version": "1.0.0-alpha.251",
   "description": "Given-When-Then DSLs and test harness for Reventless slice testing",
   "license": "Apache-2.0",
   "jest": {
@@ -14,12 +14,12 @@
   },
   "dependencies": {
     "sury": "11.0.0",
+    "@reventlessdev/rescript-jest": "1.0.0-alpha.13",
     "@reventlessdev/rescript-effect": "1.0.0-alpha.1",
     "@reventlessdev/rescript-node": "2.0.0-alpha.23",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.199",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.171",
-    "@reventlessdev/rescript-jest": "1.0.0-alpha.13",
-    "@reventlessdev/reventless-core": "3.0.0-alpha.302"
+    "@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",

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)