@reventlessdev/reventless-infra 3.0.0-alpha.197 → 3.0.0-alpha.199

package/CHANGELOG.md

@@ -3,6 +3,33 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 3.0.0-alpha.199 (2026-10-21)
+
+* 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
+
+* 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.
+
+
+
+# 3.0.0-alpha.198 (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))
+
+### BREAKING CHANGES
+
+* <Spec>_Behavior.res, @@reventless.behavior,
+Reventless.Behavior.T, StateChangeSlice.Behavior, Behavior_GWT and
+thenRefused no longer exist. Run `npx reventless-rename-to-decision` at an
+app's root, then rebuild; comments are not rewritten. The PPX must be the
+matching release.
+
+
+
 # 3.0.0-alpha.197 (2026-10-19)
 
 **Note:** Version bump only for package @reventlessdev/reventless-infra

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-infra",
-  "version": "3.0.0-alpha.197",
+  "version": "3.0.0-alpha.199",
   "description": "Infrastructure types for Reventless framework",
   "license": "Apache-2.0",
   "jest": {
@@ -16,14 +16,14 @@
     "sury": "11.0.0",
     "sury-ppx": "11.0.0",
     "uuid": "^13.0.0",
-    "@reventlessdev/rescript-pulumi-pulumi": "3.0.0-alpha.0",
+    "@reventlessdev/rescript-effect": "1.0.0-alpha.1",
     "@reventlessdev/rescript-uuid": "2.0.0-alpha.1",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.169",
-    "@reventlessdev/rescript-effect": "1.0.0-alpha.0"
+    "@reventlessdev/rescript-pulumi-pulumi": "3.0.0-alpha.0",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.171"
   },
   "devDependencies": {
     "rescript": "12.3.1",
-    "@reventlessdev/rescript-jest": "1.0.0-alpha.12"
+    "@reventlessdev/rescript-jest": "1.0.0-alpha.13"
   },
   "peerDependencies": {
     "rescript": "^12.3.1"

package/src/components/Aggregate.res

@@ -44,7 +44,7 @@ type operations = {
 }
 
 /**
-Module type produced by `Platform.Aggregate.Make(Spec, Behavior, Mappings)`.
+Module type produced by `Platform.Aggregate.Make(Spec, Decision, Mappings)`.
 
 The resulting module exposes `make` for instantiating the aggregate at deploy time
 and `operations` for publishing commands at runtime.
@@ -54,7 +54,7 @@ and `operations` for publishing commands at runtime.
 // CatalogPlugin.res
 module CategoryAggregate = Platform.Aggregate.Make(
   Category,
-  CategoryBehavior,
+  CategoryDecision,
   NoEventMappings.Make(Category),
 )
 

package/src/components/ReadModel.res

@@ -41,7 +41,7 @@ module type T = {
       mapping's source event schema (Projection.Mapping.sourceEventSchema). Unlike
       `sourceNames` (the source aggregate / DCB-log names) this names the actual events — so
       a DCB-log-sourced mapping (e.g. consuming `OrderPlaced`) is captured, which sourceNames
-      cannot express. Plugin_Structure qualifies + exposes these as `queryableDef.consumedEventTypes`. */
+      cannot express. Plugin_Structure qualifies + exposes these as `readSideDef.consumedEventTypes`. */
   let consumedEventNames: array<string>
   let make: (
     ~api: api,

package/src/components/StateChangeSlice.res

@@ -15,18 +15,18 @@ type operations = {publishJsons: CommandTopic.publishJsons}
 type t
 
 /**
-Module type produced by `Platform.StateChangeSlice.Make(Spec, Behavior)`.
+Module type produced by `Platform.StateChangeSlice.Make(Spec, Decision)`.
 
 @example
 ```rescript
 // CatalogPlugin.res
-module AddCategorySlice = Platform.StateChangeSlice.Make(AddCategory, AddCategory_Behavior)
+module AddCategorySlice = Platform.StateChangeSlice.Make(AddCategory, AddCategory_Decision)
 let slice = AddCategorySlice.make(~dcbEventLog=log, ~publishJsons=publishJsonsOutput)
 ```
 */
 module type T = {
   module Spec: Reventless.StateChangeSlice.Spec
-  module Behavior: Reventless.StateChangeSlice.Behavior with module Spec := Spec
+  module Decision: Reventless.StateChangeSlice.Decision with module Spec := Spec
   /** `true` when built with `Platform.StateChangeSlice.MakeAsync` — uses FIFO channel, returns `CommandPending`. */
   let isAsync: bool
   type component = Component.t<t, outputs, operations>

package/src/types/NoEventMappings.res

@@ -10,7 +10,7 @@ aggregate's events do not trigger commands on other aggregates.
 // CatalogPlugin.res
 module CategoryAggregate = Platform.Aggregate.Make(
   Category,
-  CategoryBehavior,
+  CategoryDecision,
   NoEventMappings.Make(Category),
 )
 ```

package/src/types/Platform.res

@@ -7,7 +7,7 @@
 //
 //   // app/MyPlugin.res — imports reventless-infra
 //   module Make = (Platform: ReventlessInfra.Platform.T) => {
-//     module MyAggregate = Platform.Aggregate.Make(MySpec, MyBehavior, MyMappings)
+//     module MyAggregate = Platform.Aggregate.Make(MySpec, MyDecision, MyMappings)
 //     module MyReadModel = Platform.ReadModel.Make(MyRmSpec, MyMappings)
 //     // ...
 //   }
@@ -35,7 +35,7 @@ the composition root, and use its nested `Make` functors everywhere else.
 module Make = (Platform: Platform.T) => {
   module CategoryAggregate = Platform.Aggregate.Make(
     Category,
-    CategoryBehavior,
+    CategoryDecision,
     NoEventMappings.Make(Category),
   )
   module CategoryReadModel = Platform.ReadModel.Make(CategoriesReadModel, CategoryMappings)
@@ -83,7 +83,7 @@ type objectStore = {
   // The prefix this store's object keys are rooted at, and therefore the path
   // it must be served under for a minted `/{key}` ref to resolve. Written once
   // here and read by both the mint side (the presign service) and the serve
-  // side (the CDN behaviour), so the two cannot disagree — the property the
+  // side (the CDN behavior), so the two cannot disagree — the property the
   // single served prefix already had, now carried per store.
   //
   // Rooting keys at the store name in *every* layout is what keeps a stored ref
@@ -284,13 +284,13 @@ module type T = {
   module Aggregate: {
     module Make: (
       Spec: Reventless.Aggregate.Spec,
-      Behavior: Reventless.Behavior.T with module Spec := Spec,
+      Decision: Reventless.Decision.T with module Spec := Spec,
       EventMappings: EventMapper.Mappings with module Target := Spec,
     ) => (Aggregate.T with type api = api)
     /** Async variant — uses FIFO channel, returns `CommandPending`. */
     module MakeAsync: (
       Spec: Reventless.Aggregate.Spec,
-      Behavior: Reventless.Behavior.T with module Spec := Spec,
+      Decision: Reventless.Decision.T with module Spec := Spec,
       EventMappings: EventMapper.Mappings with module Target := Spec,
     ) => (Aggregate.T with type api = api)
   }
@@ -359,12 +359,12 @@ module type T = {
   module StateChangeSlice: {
     module Make: (
       Spec: Reventless.StateChangeSlice.Spec,
-      Behavior: Reventless.StateChangeSlice.Behavior with module Spec := Spec,
+      Decision: Reventless.StateChangeSlice.Decision with module Spec := Spec,
     ) => (StateChangeSlice.T with module Spec = Spec)
     /** Async variant — uses FIFO channel, returns `CommandPending`. */
     module MakeAsync: (
       Spec: Reventless.StateChangeSlice.Spec,
-      Behavior: Reventless.StateChangeSlice.Behavior with module Spec := Spec,
+      Decision: Reventless.StateChangeSlice.Decision with module Spec := Spec,
     ) => (StateChangeSlice.T with module Spec = Spec)
   }
 

package/src/types/PluginExtensionPointSpec.res.mjs

@@ -127,13 +127,13 @@ let fieldReferenceSchema = Plugin$Reventless.fieldReferenceSchema;
 
 let commandDefSchema = Plugin$Reventless.commandDefSchema;
 
-let queryableDefSchema = Plugin$Reventless.queryableDefSchema;
+let readSideDefSchema = Plugin$Reventless.readSideDefSchema;
 
 let eventDefSchema = Plugin$Reventless.eventDefSchema;
 
 let errorDefSchema = Plugin$Reventless.errorDefSchema;
 
-let writableDefSchema = Plugin$Reventless.writableDefSchema;
+let writeSideDefSchema = Plugin$Reventless.writeSideDefSchema;
 
 let automationSliceDefSchema = Plugin$Reventless.automationSliceDefSchema;
 
@@ -185,10 +185,10 @@ export {
   commandLevelSchema,
   fieldReferenceSchema,
   commandDefSchema,
-  queryableDefSchema,
+  readSideDefSchema,
   eventDefSchema,
   errorDefSchema,
-  writableDefSchema,
+  writeSideDefSchema,
   automationSliceDefSchema,
   outboundTranslationSliceDefSchema,
   inboundTranslationSliceDefSchema,