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

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/ScenarioRecorderTest.res

@@ -1,6 +1,6 @@
 open JestGlobals
 
-// `ScenarioRecorder` writes what a behaviour test runs as a sidecar `check-lifecycle` reads, for
+// `ScenarioRecorder` writes what a decision test runs as a sidecar `check-lifecycle` reads, for
 // a suite whose source names nothing (one written against a binding). Each case records into a
 // file of its own under the OS temp folder, named by `setFile` as an external runner would.
 

package/tests/StateChange/ExternalAddCategorySlice_GWT.res

@@ -1,11 +1,11 @@
 // External-Spec verification test for @@reventless.gwt.
 //
 // Zero payload, no local module, no alias. The PPX resolves:
-//   - Kind from the folder segment "StateChange" -> Behavior
+//   - Kind from the folder segment "StateChange" -> Decision
 //   - Spec from the filename stem (strip "_GWT") -> ExternalAddCategorySlice
-//   - Impl derived as ExternalAddCategorySlice_Behavior
+//   - Impl derived as ExternalAddCategorySlice_Decision
 //   - open ExternalAddCategorySlice +
-//     include Behavior_GWT.Make(ExternalAddCategorySlice, ExternalAddCategorySlice_Behavior)
+//     include Decision_GWT.Make(ExternalAddCategorySlice, ExternalAddCategorySlice_Decision)
 //
 // Mirrors the canonical consumer pattern documented in
 // docs/guides/given-when-then.md § 4.10.

package/tests/StateChange/ExternalAddCategorySlice_GWT.res.mjs

@@ -1,10 +1,10 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as Behavior_GWT$ReventlessGwt from "../../src/Behavior_GWT.res.mjs";
+import * as Decision_GWT$ReventlessGwt from "../../src/Decision_GWT.res.mjs";
 import * as ExternalAddCategorySlice$ReventlessGwt from "../../src/StateChange/ExternalAddCategorySlice.res.mjs";
-import * as ExternalAddCategorySlice_Behavior$ReventlessGwt from "../../src/StateChange/ExternalAddCategorySlice_Behavior.res.mjs";
+import * as ExternalAddCategorySlice_Decision$ReventlessGwt from "../../src/StateChange/ExternalAddCategorySlice_Decision.res.mjs";
 
-let include = Behavior_GWT$ReventlessGwt.Make(ExternalAddCategorySlice$ReventlessGwt)(ExternalAddCategorySlice_Behavior$ReventlessGwt);
+let include = Decision_GWT$ReventlessGwt.Make(ExternalAddCategorySlice$ReventlessGwt)(ExternalAddCategorySlice_Decision$ReventlessGwt);
 
 let describe = include.describe;
 
@@ -51,7 +51,7 @@ let thenEventWithError = include.thenEventWithError;
 
 let thenEventsWithError = include.thenEventsWithError;
 
-let thenRefused = include.thenRefused;
+let thenForbidden = include.thenForbidden;
 
 let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
@@ -72,7 +72,7 @@ export {
   thenEventWithError,
   thenEventsWithError,
   thenError,
-  thenRefused,
+  thenForbidden,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
 }

package/tests/StateChange/WithFixtures_GWT.res.mjs

@@ -1,11 +1,11 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as Behavior_GWT$ReventlessGwt from "../../src/Behavior_GWT.res.mjs";
+import * as Decision_GWT$ReventlessGwt from "../../src/Decision_GWT.res.mjs";
 import * as WithFixtures$ReventlessGwt from "../../src/StateChange/WithFixtures.res.mjs";
-import * as WithFixtures_Behavior$ReventlessGwt from "../../src/StateChange/WithFixtures_Behavior.res.mjs";
+import * as WithFixtures_Decision$ReventlessGwt from "../../src/StateChange/WithFixtures_Decision.res.mjs";
 import * as WithFixtures_Fixtures$ReventlessGwt from "./WithFixtures_Fixtures.res.mjs";
 
-let include = Behavior_GWT$ReventlessGwt.Make(WithFixtures$ReventlessGwt)(WithFixtures_Behavior$ReventlessGwt);
+let include = Decision_GWT$ReventlessGwt.Make(WithFixtures$ReventlessGwt)(WithFixtures_Decision$ReventlessGwt);
 
 let describe = include.describe;
 
@@ -37,7 +37,7 @@ let thenEventsWithError = include.thenEventsWithError;
 
 let thenError = include.thenError;
 
-let thenRefused = include.thenRefused;
+let thenForbidden = include.thenForbidden;
 
 let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
@@ -58,7 +58,7 @@ export {
   thenEventWithError,
   thenEventsWithError,
   thenError,
-  thenRefused,
+  thenForbidden,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
 }

package/tests/StateChange/WithManualOpen_GWT.res.mjs

@@ -1,11 +1,11 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
-import * as Behavior_GWT$ReventlessGwt from "../../src/Behavior_GWT.res.mjs";
+import * as Decision_GWT$ReventlessGwt from "../../src/Decision_GWT.res.mjs";
 import * as WithManualOpen$ReventlessGwt from "../../src/StateChange/WithManualOpen.res.mjs";
-import * as WithManualOpen_Behavior$ReventlessGwt from "../../src/StateChange/WithManualOpen_Behavior.res.mjs";
+import * as WithManualOpen_Decision$ReventlessGwt from "../../src/StateChange/WithManualOpen_Decision.res.mjs";
 import * as WithManualOpen_Fixtures$ReventlessGwt from "./WithManualOpen_Fixtures.res.mjs";
 
-let include = Behavior_GWT$ReventlessGwt.Make(WithManualOpen$ReventlessGwt)(WithManualOpen_Behavior$ReventlessGwt);
+let include = Decision_GWT$ReventlessGwt.Make(WithManualOpen$ReventlessGwt)(WithManualOpen_Decision$ReventlessGwt);
 
 let describe = include.describe;
 
@@ -37,7 +37,7 @@ let thenEventsWithError = include.thenEventsWithError;
 
 let thenError = include.thenError;
 
-let thenRefused = include.thenRefused;
+let thenForbidden = include.thenForbidden;
 
 let thenAppendsConditionedOn = include.thenAppendsConditionedOn;
 
@@ -58,7 +58,7 @@ export {
   thenEventWithError,
   thenEventsWithError,
   thenError,
-  thenRefused,
+  thenForbidden,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
 }

package/tests/StateChangeSliceAuthorizeGwtTest.res

@@ -8,7 +8,7 @@ module ShelveSlice = {
   let name = "Shelve"
 
   // Inside the spec, so the zero-argument form still finds the spec and its
-  // behaviour first; the rule's `Roles` resolves by ordinary scoping either way.
+  // decision first; the rule's `Roles` resolves by ordinary scoping either way.
   module Roles = {
     type t =
       | Admin
@@ -35,7 +35,7 @@ module ShelveSlice = {
   type event = Done({shelfId: @s.matches(Reventless.DcbTag.string) string})
 }
 
-module ShelveSliceBehavior = {
+module ShelveSliceDecision = {
   module Spec = ShelveSlice
   open ShelveSlice
 
@@ -67,23 +67,23 @@ describe("a command's rule, checked against the caller's roles", () => {
   )
 
   test("refused for a signed-in caller holding none of them", () =>
-    givenEvents([])->asCaller(Caller.owner("c1"))->whenCmd(Shelve({shelfId: s1}))->thenRefused
+    givenEvents([])->asCaller(Caller.owner("c1"))->whenCmd(Shelve({shelfId: s1}))->thenForbidden
   )
 
   test("refused for an anonymous caller", () =>
-    givenEvents([])->asCaller(Caller.anonymous)->whenCmd(Shelve({shelfId: s1}))->thenRefused
+    givenEvents([])->asCaller(Caller.anonymous)->whenCmd(Shelve({shelfId: s1}))->thenForbidden
   )
 
   // Elevation lifts ownership rules, not rules about who may issue a command.
   test("refused for an operator, who holds no role", () =>
-    givenEvents([])->asCaller(Caller.operator)->whenCmd(Shelve({shelfId: s1}))->thenRefused
+    givenEvents([])->asCaller(Caller.operator)->whenCmd(Shelve({shelfId: s1}))->thenForbidden
   )
 
   test("DenyAll refuses every caller, Admin included", () =>
     givenEvents([])
     ->asCaller(Caller.inRoles([Admin]))
     ->whenCmd(Purge({shelfId: s1}))
-    ->thenRefused
+    ->thenForbidden
   )
 
   test("AllowAnonymous accepts an anonymous caller", () =>
@@ -94,7 +94,7 @@ describe("a command's rule, checked against the caller's roles", () => {
   )
 
   test("the default rule refuses an anonymous caller", () =>
-    givenEvents([])->asCaller(Caller.anonymous)->whenCmd(Browse({shelfId: s1}))->thenRefused
+    givenEvents([])->asCaller(Caller.anonymous)->whenCmd(Browse({shelfId: s1}))->thenForbidden
   )
 
   test("a scenario without asCaller is checked against no rule", () =>
@@ -132,7 +132,7 @@ module ClaimSlice = {
   type event = Done({shelfId: @s.matches(Reventless.DcbTag.string) string})
 }
 
-module Claim = Behavior_GWT.Make(
+module Claim = Decision_GWT.Make(
   ClaimSlice,
   {
     type state = unit
@@ -162,13 +162,13 @@ describe("the rule, then ownership", () => {
     Claim.givenEvents(claimedByC1)
     ->Claim.asCaller(Claim.Caller.owner("c2", ~roles=[Merchandiser]))
     ->Claim.whenCmd(Shelve({shelfId: s1}))
-    ->Claim.thenRefused
+    ->Claim.thenForbidden
   )
 
   Claim.test("owning a thing does not pass a rule the owner fails", () =>
     Claim.givenEvents(claimedByC1)
     ->Claim.asCaller(Claim.Caller.owner("c1"))
     ->Claim.whenCmd(Shelve({shelfId: s1}))
-    ->Claim.thenRefused
+    ->Claim.thenForbidden
   )
 })

package/tests/StateChangeSliceAuthorizeGwtTest.res.mjs

@@ -3,7 +3,7 @@
 import * as Sury from "sury";
 import * as Owner$Reventless from "@reventlessdev/reventless-spec/src/components/Owner.res.mjs";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
-import * as Behavior_GWT$ReventlessGwt from "../src/Behavior_GWT.res.mjs";
+import * as Decision_GWT$ReventlessGwt from "../src/Decision_GWT.res.mjs";
 
 let name = "Shelve";
 
@@ -92,14 +92,14 @@ function decide(_state, command) {
   };
 }
 
-let ShelveSliceBehavior = {
+let ShelveSliceDecision = {
   Spec: undefined,
   initialState: undefined,
   evolve: evolve,
   decide: decide
 };
 
-let include = Behavior_GWT$ReventlessGwt.Make({
+let include = Decision_GWT$ReventlessGwt.Make({
   name: name,
   consumedEventSchema: consumedEventSchema,
   commandSchema: commandSchema,
@@ -126,7 +126,7 @@ let whenCmd = include.whenCmd;
 
 let thenEvent = include.thenEvent;
 
-let thenRefused = include.thenRefused;
+let thenForbidden = include.thenForbidden;
 
 let s1 = "s1";
 
@@ -145,19 +145,19 @@ describe("a command's rule, checked against the caller's roles", () => {
     TAG: "Done",
     shelfId: s1
   }));
-  test("refused for a signed-in caller holding none of them", () => thenRefused(whenCmd(asCaller(givenEvents([]), Caller.owner("c1", undefined)), {
+  test("refused for a signed-in caller holding none of them", () => thenForbidden(whenCmd(asCaller(givenEvents([]), Caller.owner("c1", undefined)), {
     TAG: "Shelve",
     shelfId: s1
   })));
-  test("refused for an anonymous caller", () => thenRefused(whenCmd(asCaller(givenEvents([]), Caller.anonymous), {
+  test("refused for an anonymous caller", () => thenForbidden(whenCmd(asCaller(givenEvents([]), Caller.anonymous), {
     TAG: "Shelve",
     shelfId: s1
   })));
-  test("refused for an operator, who holds no role", () => thenRefused(whenCmd(asCaller(givenEvents([]), Caller.operator), {
+  test("refused for an operator, who holds no role", () => thenForbidden(whenCmd(asCaller(givenEvents([]), Caller.operator), {
     TAG: "Shelve",
     shelfId: s1
   })));
-  test("DenyAll refuses every caller, Admin included", () => thenRefused(whenCmd(asCaller(givenEvents([]), Caller.inRoles(["Admin"])), {
+  test("DenyAll refuses every caller, Admin included", () => thenForbidden(whenCmd(asCaller(givenEvents([]), Caller.inRoles(["Admin"])), {
     TAG: "Purge",
     shelfId: s1
   })));
@@ -168,7 +168,7 @@ describe("a command's rule, checked against the caller's roles", () => {
     TAG: "Done",
     shelfId: s1
   }));
-  test("the default rule refuses an anonymous caller", () => thenRefused(whenCmd(asCaller(givenEvents([]), Caller.anonymous), {
+  test("the default rule refuses an anonymous caller", () => thenForbidden(whenCmd(asCaller(givenEvents([]), Caller.anonymous), {
     TAG: "Browse",
     shelfId: s1
   })));
@@ -247,7 +247,7 @@ function decide$1(_state, command) {
   };
 }
 
-let Claim = Behavior_GWT$ReventlessGwt.Make({
+let Claim = Decision_GWT$ReventlessGwt.Make({
   name: name$1,
   consumedEventSchema: consumedEventSchema$1,
   commandSchema: commandSchema$1,
@@ -274,11 +274,11 @@ describe("the rule, then ownership", () => {
     TAG: "Done",
     shelfId: s1
   }));
-  Claim.test("passing the rule does not let a caller act on someone else's thing", () => Claim.thenRefused(Claim.whenCmd(Claim.asCaller(Claim.givenEvents(claimedByC1), Claim.Caller.owner("c2", ["Merchandiser"])), {
+  Claim.test("passing the rule does not let a caller act on someone else's thing", () => Claim.thenForbidden(Claim.whenCmd(Claim.asCaller(Claim.givenEvents(claimedByC1), Claim.Caller.owner("c2", ["Merchandiser"])), {
     TAG: "Shelve",
     shelfId: s1
   })));
-  Claim.test("owning a thing does not pass a rule the owner fails", () => Claim.thenRefused(Claim.whenCmd(Claim.asCaller(Claim.givenEvents(claimedByC1), Claim.Caller.owner("c1", undefined)), {
+  Claim.test("owning a thing does not pass a rule the owner fails", () => Claim.thenForbidden(Claim.whenCmd(Claim.asCaller(Claim.givenEvents(claimedByC1), Claim.Caller.owner("c1", undefined)), {
     TAG: "Shelve",
     shelfId: s1
   })));
@@ -304,7 +304,7 @@ let thenAppendsConditionedOnExactly = include.thenAppendsConditionedOnExactly;
 
 export {
   ShelveSlice,
-  ShelveSliceBehavior,
+  ShelveSliceDecision,
   Spec,
   describe,
   todo,
@@ -319,7 +319,7 @@ export {
   thenEventWithError,
   thenEventsWithError,
   thenError,
-  thenRefused,
+  thenForbidden,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
   s1,

package/tests/StateChangeSliceGwtTest.res

@@ -1,12 +1,12 @@
-// Worked example for Behavior_GWT (slice flavor).
+// Worked example for Decision_GWT (slice flavor).
 // Uses the canonical "AddCategory" DCB slice shape — payload-less consumed
 // events, decide that appends `CategoryAdded` unless the category already
 // exists. Command carries a `@s.matches(DcbTag.string)` annotated ID so the
 // DCB optimistic-concurrency query resolves to a single-entity read.
 //
-// Plan 02 Phase 6: split-form Spec/Behavior; PPX inference resolves the
-// folder kind from the test path's "StateChangeSlice" substring → Behavior
-// DSL → emits [include Behavior_GWT.Make(Spec, Behavior)].
+// Plan 02 Phase 6: split-form Spec/Decision; PPX inference resolves the
+// folder kind from the test path's "StateChangeSlice" substring → Decision
+// DSL → emits [include Decision_GWT.Make(Spec, Decision)].
 
 @@reventless.gwt
 
@@ -30,7 +30,7 @@ module AddCategorySlice = {
     CategoryAdded({categoryId: @s.matches(Reventless.DcbTag.string) string, name: string})
 }
 
-module AddCategorySliceBehavior = {
+module AddCategorySliceDecision = {
   module Spec = AddCategorySlice
   open AddCategorySlice
 
@@ -107,7 +107,7 @@ module MissingTagSlice = {
   type event = Done({id: string})
 }
 
-module MissingTagBehavior = {
+module MissingTagDecision = {
   // Qualify references through [Spec] to avoid shadowing the file-scope
   // [consumedEvent] / [command] / [event] / [error] brought in by the PPX-
   // injected [open AddCategorySlice].
@@ -124,7 +124,7 @@ module MissingTagBehavior = {
     }
 }
 
-module MissingTagGwt = Behavior_GWT.Make(MissingTagSlice, MissingTagBehavior)
+module MissingTagGwt = Decision_GWT.Make(MissingTagSlice, MissingTagDecision)
 
 MissingTagGwt.describe("MissingTag slice implicit check", () => {
   MissingTagGwt.test(
@@ -192,7 +192,7 @@ module ShipOrderSlice = {
       })
 }
 
-module ShipOrderBehavior = {
+module ShipOrderDecision = {
   module Spec = ShipOrderSlice
 
   type state = {placed: bool, shipped: bool}
@@ -217,7 +217,7 @@ module ShipOrderBehavior = {
     }
 }
 
-module ShipOrderGwt = Behavior_GWT.Make(ShipOrderSlice, ShipOrderBehavior)
+module ShipOrderGwt = Decision_GWT.Make(ShipOrderSlice, ShipOrderDecision)
 
 ShipOrderGwt.describe("ShipOrder — a command reference no decision reads by", () => {
   ShipOrderGwt.test("reads the order's history without the carrier", () =>

package/tests/StateChangeSliceGwtTest.res.mjs

@@ -3,7 +3,7 @@
 import * as Sury from "sury";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as Outcome$ReventlessGwt from "../src/Outcome.res.mjs";
-import * as Behavior_GWT$ReventlessGwt from "../src/Behavior_GWT.res.mjs";
+import * as Decision_GWT$ReventlessGwt from "../src/Decision_GWT.res.mjs";
 
 let consumedEventSchema = Sury.union([
   Sury.literal("CategoryAdded"),
@@ -83,14 +83,14 @@ function decide(state, command) {
   }
 }
 
-let AddCategorySliceBehavior = {
+let AddCategorySliceDecision = {
   Spec: undefined,
   initialState: initialState,
   evolve: evolve,
   decide: decide
 };
 
-let include = Behavior_GWT$ReventlessGwt.Make(AddCategorySlice)({
+let include = Decision_GWT$ReventlessGwt.Make(AddCategorySlice)({
   initialState: initialState,
   evolve: evolve,
   decide: decide
@@ -209,14 +209,14 @@ function decide$1(_state, cmd) {
   };
 }
 
-let MissingTagBehavior = {
+let MissingTagDecision = {
   Spec: undefined,
   initialState: undefined,
   evolve: evolve$1,
   decide: decide$1
 };
 
-let MissingTagGwt = Behavior_GWT$ReventlessGwt.Make(MissingTagSlice)({
+let MissingTagGwt = Decision_GWT$ReventlessGwt.Make(MissingTagSlice)({
   initialState: undefined,
   evolve: evolve$1,
   decide: decide$1
@@ -354,14 +354,14 @@ function decide$2(state, cmd) {
   }
 }
 
-let ShipOrderBehavior = {
+let ShipOrderDecision = {
   Spec: undefined,
   initialState: initialState$1,
   evolve: evolve$2,
   decide: decide$2
 };
 
-let ShipOrderGwt = Behavior_GWT$ReventlessGwt.Make(ShipOrderSlice)({
+let ShipOrderGwt = Decision_GWT$ReventlessGwt.Make(ShipOrderSlice)({
   initialState: initialState$1,
   evolve: evolve$2,
   decide: decide$2
@@ -417,11 +417,11 @@ let thenEventWithError = include.thenEventWithError;
 
 let thenEventsWithError = include.thenEventsWithError;
 
-let thenRefused = include.thenRefused;
+let thenForbidden = include.thenForbidden;
 
 export {
   AddCategorySlice,
-  AddCategorySliceBehavior,
+  AddCategorySliceDecision,
   Spec,
   describe,
   todo,
@@ -436,14 +436,14 @@ export {
   thenEventWithError,
   thenEventsWithError,
   thenError,
-  thenRefused,
+  thenForbidden,
   thenAppendsConditionedOn,
   thenAppendsConditionedOnExactly,
   MissingTagSlice,
-  MissingTagBehavior,
+  MissingTagDecision,
   MissingTagGwt,
   ShipOrderSlice,
-  ShipOrderBehavior,
+  ShipOrderDecision,
   ShipOrderGwt,
 }
 /* consumedEventSchema Not a pure module */

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,