@reventlessdev/reventless-core 3.0.0-alpha.300 → 3.0.0-alpha.302

package/src/admin/Platform_ComponentDefinitionsApi.res.mjs

@@ -97,11 +97,11 @@ function encodeCommandDef(c) {
   ]);
 }
 
-function isPublicQueryable(q) {
+function isPublicReadSide(q) {
   return Primitive_object.notequal(q.visibility, "Internal");
 }
 
-function encodeQueryableDef(r) {
+function encodeReadSideDef(r) {
   return Object.fromEntries([
     [
       "name",
@@ -216,7 +216,7 @@ function encodeErrorDef(e) {
   ]);
 }
 
-function encodeWritableDef(w) {
+function encodeWriteSideDef(w) {
   return Object.fromEntries([
     [
       "name",
@@ -399,23 +399,23 @@ function encodePluginStructureEntry(pluginId, derived, def) {
     ],
     [
       "readModels",
-      def.readModels.filter(isPublicQueryable).map(encodeQueryableDef)
+      def.readModels.filter(isPublicReadSide).map(encodeReadSideDef)
     ],
     [
       "stateViewSlices",
-      def.stateViewSlices.filter(isPublicQueryable).map(encodeQueryableDef)
+      def.stateViewSlices.filter(isPublicReadSide).map(encodeReadSideDef)
     ],
     [
       "internalQueryables",
-      def.readModels.concat(def.stateViewSlices).filter(q => !Primitive_object.notequal(q.visibility, "Internal")).map(encodeQueryableDef)
+      def.readModels.concat(def.stateViewSlices).filter(q => !Primitive_object.notequal(q.visibility, "Internal")).map(encodeReadSideDef)
     ],
     [
       "stateChangeSlices",
-      def.stateChangeSlices.map(encodeWritableDef)
+      def.stateChangeSlices.map(encodeWriteSideDef)
     ],
     [
       "aggregates",
-      def.aggregates.map(encodeWritableDef)
+      def.aggregates.map(encodeWriteSideDef)
     ],
     [
       "automationSlices",
@@ -448,11 +448,11 @@ export {
   encodeStrings,
   encodeFieldReference,
   encodeCommandDef,
-  isPublicQueryable,
-  encodeQueryableDef,
+  isPublicReadSide,
+  encodeReadSideDef,
   encodeEventDef,
   encodeErrorDef,
-  encodeWritableDef,
+  encodeWriteSideDef,
   encodeAutomationSliceDef,
   encodeOutboundTranslationSliceDef,
   encodeInboundTranslationSliceDef,

package/src/admin/Platform_PluginStructuresApi.res

@@ -6,7 +6,7 @@
 // difference is not cosmetic.
 //
 //   Platform_ComponentDefinitions  the deployed AutoUI's menu, drill-down pages and
-//                                  queryable defs. Internal ReadModels /
+//                                  read-side defs. Internal ReadModels /
 //                                  StateViewSlices are filtered OUT — showing them
 //                                  would put components in an end user's menu that
 //                                  the author marked as not-for-display.
@@ -43,7 +43,7 @@ let sdlTypes: array<string> = [
   // reason the capability above is: a plugin built against a newer framework,
   // naming a posture this schema has never heard of, still decodes.
   //
-  // It records ORIGIN, never behaviour — a grafted file is the host's to edit
+  // It records ORIGIN, never behavior — a grafted file is the host's to edit
   // afterwards — so a reader must not paint a declared graft as a verified one.
   `type Platform_TraitDeclaration {\n  trait: String!\n  version: String!\n  posture: String!\n  component: String!\n}`,
   // `extensionPoints` / `requiredStores` / `requiredStoreDeclarations` /
@@ -119,7 +119,7 @@ let encodeRequiredCapabilityDeclaration = (d: requiredCapabilityDeclaration): JS
     ("component", JSON.Encode.string(d.component)),
   ])->JSON.Encode.object
 
-// Deliberately NOT filtered by `isPublicQueryable`: that filter is the AutoUI
+// Deliberately NOT filtered by `isPublicReadSide`: that filter is the AutoUI
 // contract, and applying it here would silently drop Internal components from the
 // graph a developer tool draws.
 let encodePluginStructureEntry = (~pluginId: string, def: pluginStructure): JSON.t =>
@@ -128,25 +128,25 @@ let encodePluginStructureEntry = (~pluginId: string, def: pluginStructure): JSON
     (
       "readModels",
       def.readModels
-      ->Array.map(Platform_ComponentDefinitionsApi.encodeQueryableDef)
+      ->Array.map(Platform_ComponentDefinitionsApi.encodeReadSideDef)
       ->JSON.Encode.array,
     ),
     (
       "stateViewSlices",
       def.stateViewSlices
-      ->Array.map(Platform_ComponentDefinitionsApi.encodeQueryableDef)
+      ->Array.map(Platform_ComponentDefinitionsApi.encodeReadSideDef)
       ->JSON.Encode.array,
     ),
     (
       "stateChangeSlices",
       def.stateChangeSlices
-      ->Array.map(Platform_ComponentDefinitionsApi.encodeWritableDef)
+      ->Array.map(Platform_ComponentDefinitionsApi.encodeWriteSideDef)
       ->JSON.Encode.array,
     ),
     (
       "aggregates",
       def.aggregates
-      ->Array.map(Platform_ComponentDefinitionsApi.encodeWritableDef)
+      ->Array.map(Platform_ComponentDefinitionsApi.encodeWriteSideDef)
       ->JSON.Encode.array,
     ),
     (

package/src/admin/Platform_PluginStructuresApi.res.mjs

@@ -124,19 +124,19 @@ function encodePluginStructureEntry(pluginId, def) {
     ],
     [
       "readModels",
-      def.readModels.map(Platform_ComponentDefinitionsApi$ReventlessCore.encodeQueryableDef)
+      def.readModels.map(Platform_ComponentDefinitionsApi$ReventlessCore.encodeReadSideDef)
     ],
     [
       "stateViewSlices",
-      def.stateViewSlices.map(Platform_ComponentDefinitionsApi$ReventlessCore.encodeQueryableDef)
+      def.stateViewSlices.map(Platform_ComponentDefinitionsApi$ReventlessCore.encodeReadSideDef)
     ],
     [
       "stateChangeSlices",
-      def.stateChangeSlices.map(Platform_ComponentDefinitionsApi$ReventlessCore.encodeWritableDef)
+      def.stateChangeSlices.map(Platform_ComponentDefinitionsApi$ReventlessCore.encodeWriteSideDef)
     ],
     [
       "aggregates",
-      def.aggregates.map(Platform_ComponentDefinitionsApi$ReventlessCore.encodeWritableDef)
+      def.aggregates.map(Platform_ComponentDefinitionsApi$ReventlessCore.encodeWriteSideDef)
     ],
     [
       "automationSlices",

package/src/admin/UiFragmentRegistry/StateChange/{UiFragmentRegistry_Behavior.res → UiFragmentRegistry_Decision.res}

@@ -1,4 +1,4 @@
-@@reventless.behavior
+@@reventless.decision
 
 open Reventless.Plugin
 

package/src/admin/UiFragmentRegistry/StateChange/{UiFragmentRegistry_Behavior.res.mjs → UiFragmentRegistry_Decision.res.mjs}

@@ -68,7 +68,7 @@ let Spec;
 
 let initialState;
 
-let moduleUrl = "@reventlessdev/reventless-core/src/admin/UiFragmentRegistry/StateChange/UiFragmentRegistry_Behavior.res.mjs";
+let moduleUrl = "@reventlessdev/reventless-core/src/admin/UiFragmentRegistry/StateChange/UiFragmentRegistry_Decision.res.mjs";
 
 export {
   Spec,

package/src/admin/UiFragmentRegistry/StateView/UiFragments.res.mjs

@@ -40,8 +40,6 @@ let name = "UiFragments";
 
 let Id;
 
-let Key;
-
 let subIdConfig;
 
 let moduleUrl = "@reventlessdev/reventless-core/src/admin/UiFragmentRegistry/StateView/UiFragments.res.mjs";
@@ -52,11 +50,10 @@ let visibility = "Public";
 
 export {
   name,
-  Id,
   stateSchema,
   consumedEventSchema,
   config,
-  Key,
+  Id,
   subIdConfig,
   moduleUrl,
   authorization,

package/src/components/Aggregate/Aggregate_Builder.res

@@ -1,6 +1,6 @@
 module Make = (
   Spec: Reventless.Aggregate.Spec,
-  Behavior: Behavior.T with module Spec := Spec,
+  Decision: Decision.T with module Spec := Spec,
   EventMappings: EventMapper.Mappings with module Target := Spec,
   RuntimeEnvironment: Runtime.Environment,
   CommandGeneratorResolvers: CommandGenerator_Adapter.Resolvers
@@ -87,7 +87,7 @@ module Make = (
     ->Pulumi.Output.apply(eventLogOps => {
       module AggregateCallback = Aggregate_Callback.Make(
         Spec,
-        Behavior,
+        Decision,
         {
           module Spec = Spec
           module EventLog = SpecificEventLog

package/src/components/Aggregate/Aggregate_Builder.res.mjs

@@ -16,7 +16,7 @@ import * as CommandGenerator_Builder$ReventlessCore from "../CommandGenerator/Co
 import * as CommandGenerator_Callback$ReventlessCore from "../CommandGenerator/CommandGenerator_Callback.res.mjs";
 
 function Make(Spec) {
-  return Behavior => (EventMappings => (RuntimeEnvironment => (CommandGeneratorResolvers => (CommandTopicChannel => (EventLogStorage => (EventTopicPublisher => (EventCollectorChannel => (AggregateRuntimeBuilder => (HooksConfig => {
+  return Decision => (EventMappings => (RuntimeEnvironment => (CommandGeneratorResolvers => (CommandTopicChannel => (EventLogStorage => (EventTopicPublisher => (EventCollectorChannel => (AggregateRuntimeBuilder => (HooksConfig => {
     let SpecificEventLog = EventLog_Builder$ReventlessCore.Make(Spec)(EventLogStorage)(EventTopicPublisher);
     let SpecificCommandTopic = CommandTopic_Builder$ReventlessCore.Make({
       Id: Spec.Id,
@@ -36,7 +36,7 @@ function Make(Spec) {
         name: Spec.name
       }, opts);
       return Component$ReventlessCore.operations(eventLog).apply(eventLogOps => {
-        let AggregateCallback = Aggregate_Callback$ReventlessCore.Make(Spec)(Behavior)({
+        let AggregateCallback = Aggregate_Callback$ReventlessCore.Make(Spec)(Decision)({
           Spec: Spec,
           EventLog: SpecificEventLog,
           eventLog: eventLogOps

package/src/components/Aggregate/Aggregate_Callback.res

@@ -16,7 +16,7 @@ module type T = {
 
 module Make = (
   Spec: Reventless.Aggregate.Spec,
-  Behavior: Behavior.T with module Spec := Spec,
+  Decision: Decision.T with module Spec := Spec,
   Ops: Ops with module Spec = Spec,
 ): (T with module Spec = Spec) => {
   module Spec = Spec
@@ -82,9 +82,9 @@ module Make = (
     | CmdRefused(CommandTopic_Helpers.ownershipRefusal)
 
   // Folds a single command into the running accumulator: (currentState, perCommandOutcomes).
-  // A domain rejection from Behavior.decide is recorded as `CmdRejected` (no state change,
+  // A domain rejection from Decision.decide is recorded as `CmdRejected` (no state change,
   // surviving commands in the batch continue); a successful decide records `CmdOk(events)`
-  // and advances state via `Behavior.evolve`.
+  // and advances state via `Decision.evolve`.
   //
   // `~seq` is the replayed sequence number the batch decides from, carried in so
   // the line below can name the state rather than serialise it.
@@ -94,7 +94,7 @@ module Make = (
   let processCommand = (~seq: int) =>
     (
       (state, owners, outcomes): (
-        Behavior.state,
+        Decision.state,
         array<string>,
         array<(string, cmdOutcome, Message.meta)>,
       ),
@@ -131,9 +131,9 @@ module Make = (
         )->Effect.runSync
         (state, owners, Array.concat(outcomes, [(reference, CmdRefused(refused), meta)]))
       | None =>
-        switch Behavior.decide(state, command'.command) {
+        switch Decision.decide(state, command'.command) {
         | Ok(generatedEvents) =>
-          let newState = generatedEvents->Array.reduce(state, Behavior.evolve)
+          let newState = generatedEvents->Array.reduce(state, Decision.evolve)
           (
             newState,
             generatedEvents->Array.reduce(owners, recordEventOwners),
@@ -179,7 +179,7 @@ module Make = (
   // the fixed capacity (a per-aggregate knob is a future refinement — see
   // docs/plans/done/aggregate-snapshotting.md).
   let replayCacheCapacity = 100
-  let replayCache: Lru.t<string, (Behavior.state, int, array<string>)> = Lru.make(
+  let replayCache: Lru.t<string, (Decision.state, int, array<string>)> = Lru.make(
     ~capacity=replayCacheCapacity,
   )
 
@@ -195,8 +195,8 @@ module Make = (
   // Off for an owner-marked aggregate: a snapshot holds the state alone, so a
   // replay seeded from one would never see the event that recorded the owner,
   // and the ownership check would pass every caller.
-  let snapshotConfig = actsOnOwned ? None : Behavior.snapshot
-  if actsOnOwned && Behavior.snapshot->Option.isSome {
+  let snapshotConfig = actsOnOwned ? None : Decision.snapshot
+  if actsOnOwned && Decision.snapshot->Option.isSome {
     EffectLogger.logWarn(
       ~comp,
       "snapshots disabled: this aggregate records an @owner, which a snapshot does not carry",
@@ -223,7 +223,7 @@ module Make = (
   // State ⇄ JSON via the configured stateSchema. Both swallow sury failures to
   // `None` — an unserializable state just skips the snapshot write, and an
   // undecodable snapshot falls back to full replay; neither can fail a command.
-  let encodeState = (state: Behavior.state): option<JSON.t> =>
+  let encodeState = (state: Decision.state): option<JSON.t> =>
     switch snapshotConfig {
     | Some({stateSchema}) =>
       switch state->Reventless.Util_Sury.toJson(stateSchema) {
@@ -233,7 +233,7 @@ module Make = (
     | None => None
     }
 
-  let decodeState = (json: JSON.t): option<Behavior.state> =>
+  let decodeState = (json: JSON.t): option<Decision.state> =>
     switch snapshotConfig {
     | Some({stateSchema}) =>
       switch json->Reventless.Util_Sury.fromJson(stateSchema) {
@@ -250,7 +250,7 @@ module Make = (
   let coldReadState = id => {
     let idStr = id->Spec.Id.toString
     let seedEffect = switch snapshotConfig {
-    | None => Effect.succeed((Behavior.initialState, 0))
+    | None => Effect.succeed((Decision.initialState, 0))
     | Some(_) =>
       Effect.promise(() => Ops.eventLog.latestSnapshot(id))->Effect.map(snapResult =>
         switch snapResult {
@@ -262,28 +262,28 @@ module Make = (
               ~comp,
               `snapshot ignored (undecodable): id=${idStr}, seq=${snap.seqNr->Int.toString} — full replay`,
             )->Effect.runSync
-            (Behavior.initialState, 0)
+            (Decision.initialState, 0)
           }
         | Ok(Some(snap)) =>
           EffectLogger.logWarn(
             ~comp,
             `snapshot ignored (schema drift): id=${idStr}, seq=${snap.EventLog.seqNr->Int.toString} — full replay`,
           )->Effect.runSync
-          (Behavior.initialState, 0)
-        | Ok(None) => (Behavior.initialState, 0)
+          (Decision.initialState, 0)
+        | Ok(None) => (Decision.initialState, 0)
         | Error(msg) =>
           EffectLogger.logWarn(
             ~comp,
             `snapshot read failed (ignored): id=${idStr}: ${msg} — full replay`,
           )->Effect.runSync
-          (Behavior.initialState, 0)
+          (Decision.initialState, 0)
         }
       )
     }
     seedEffect->Effect.flatMap(((seedState, seedSeq)) =>
       Ops.eventLog.replayStream(id, ~fromSeq=seedSeq)
       ->Stream.runFold((seedState, seedSeq, []), ((st, n, owners), ev) => (
-        Behavior.evolve(st, ev),
+        Decision.evolve(st, ev),
         n + 1,
         owners->recordEventOwners(ev),
       ))

package/src/components/Aggregate/Aggregate_Callback.res.mjs

@@ -20,7 +20,7 @@ import * as SchemaWalker$ReventlessCore from "../../plugin/component/SchemaWalke
 import * as CommandTopic_Helpers$ReventlessCore from "../CommandTopic/CommandTopic_Helpers.res.mjs";
 
 function Make(Spec) {
-  return Behavior => (Ops => {
+  return Decision => (Ops => {
     let comp = `Aggregate(` + Spec.name + `)`;
     let groupTopicItemsByIdStream = stream => Effect.map(Stream.runFold(stream, {}, (dict, item) => {
       let id = Spec.Id.toString(item.command.id);
@@ -73,10 +73,10 @@ function Make(Spec) {
             ]])
         ];
       }
-      let generatedEvents = Behavior.decide(state, command$p.command);
+      let generatedEvents = Decision.decide(state, command$p.command);
       if (generatedEvents.TAG === "Ok") {
         let generatedEvents$1 = generatedEvents._0;
-        let newState = Stdlib_Array.reduce(generatedEvents$1, state, Behavior.evolve);
+        let newState = Stdlib_Array.reduce(generatedEvents$1, state, Decision.evolve);
         return [
           newState,
           Stdlib_Array.reduce(generatedEvents$1, owners, recordEventOwners),
@@ -112,8 +112,8 @@ function Make(Spec) {
     });
     let replayCache = Lru$ReventlessCore.make(100);
     let resetCache = () => Lru$ReventlessCore.clear(replayCache);
-    let snapshotConfig = actsOnOwned ? undefined : Behavior.snapshot;
-    if (actsOnOwned && Stdlib_Option.isSome(Behavior.snapshot)) {
+    let snapshotConfig = actsOnOwned ? undefined : Decision.snapshot;
+    if (actsOnOwned && Stdlib_Option.isSome(Decision.snapshot)) {
       Effect.runSync(EffectLogger$ReventlessCore.logWarn(comp, undefined, "snapshots disabled: this aggregate records an @owner, which a snapshot does not carry"));
     }
     let stateSchemaHash = snapshotConfig !== undefined ? HashObject(Object.fromEntries([[
@@ -153,7 +153,7 @@ function Make(Spec) {
             let snap = snapResult._0;
             if (snap === undefined) {
               return [
-                Behavior.initialState,
+                Decision.initialState,
                 0
               ];
             }
@@ -167,24 +167,24 @@ function Make(Spec) {
               } else {
                 Effect.runSync(EffectLogger$ReventlessCore.logWarn(comp, undefined, `snapshot ignored (undecodable): id=` + idStr + `, seq=` + snap.seqNr.toString() + ` — full replay`));
                 return [
-                  Behavior.initialState,
+                  Decision.initialState,
                   0
                 ];
               }
             }
             Effect.runSync(EffectLogger$ReventlessCore.logWarn(comp, undefined, `snapshot ignored (schema drift): id=` + idStr + `, seq=` + snap.seqNr.toString() + ` — full replay`));
             return [
-              Behavior.initialState,
+              Decision.initialState,
               0
             ];
           }
           Effect.runSync(EffectLogger$ReventlessCore.logWarn(comp, undefined, `snapshot read failed (ignored): id=` + idStr + `: ` + snapResult._0 + ` — full replay`));
           return [
-            Behavior.initialState,
+            Decision.initialState,
             0
           ];
         }) : Effect.succeed([
-          Behavior.initialState,
+          Decision.initialState,
           0
         ]);
       return Effect.flatMap(seedEffect, param => {
@@ -194,7 +194,7 @@ function Make(Spec) {
           seedSeq,
           []
         ], (param, ev) => [
-          Behavior.evolve(param[0], ev),
+          Decision.evolve(param[0], ev),
           param[1] + 1 | 0,
           recordEventOwners(param[2], ev)
         ]), param => {

package/src/components/Api/ApiNoApiHelpers.res

@@ -5,7 +5,7 @@ let isNoApi = (commandSchema: S.t<unknown>): bool =>
 
 // Variants excluded by a mark on the member itself. This is the half that
 // survives a spread: splicing copies members, not the metadata of the union they
-// came from, so a command a trait marked internal is only still recognisable here.
+// came from, so a command a trait marked internal is only still recognizable here.
 let excludedByMembers = (commandSchema: S.t<unknown>): array<string> =>
   switch commandSchema {
   | AnyOf({anyOf}) =>

package/src/components/Api/GraphQL_FragmentGenerator.res

@@ -96,7 +96,7 @@ let rec fromSchemaType = (
   // names come from the schema — see `Reventless.TaggedUnion` — so the same union
   // is the same type wherever it appears, which is what lets AppSync merge each
   // source API's copy back into one, and what lets the write path stamp a
-  // `__typename` the SDL will recognise.
+  // `__typename` the SDL will recognize.
   | TaggedUnion(name, arms) =>
     if asInput {
       // GraphQL has no input unions. A command that wants one takes its arms as

package/src/components/Api/SchemaType.res

@@ -421,7 +421,7 @@ let trailShape = (
     let shape = ArrayOf(ObjectRef(entryName, fields))
     // Walking the entries by shape skips the semantic dispatch `fromSury` does,
     // so the marker is re-applied here. Without it the trail reaches a consumer
-    // as an unremarkable array of objects, and recognising it would come down to
+    // as an unremarkable array of objects, and recognizing it would come down to
     // the field's name.
     switch Reventless.Semantic.get(schema) {
     | Some(sem) => Semantic(sem, shape)

package/src/components/Api/SuryToJsonSchema.res

@@ -392,7 +392,7 @@ and objectRefToJsonSchema = (
   // not declare — which is precisely the mismatch that made read-model queries
   // reference fields the server rejects.
   //
-  // This is the single point for every JSON-Schema consumer: `queryableDef.schema`,
+  // This is the single point for every JSON-Schema consumer: `readSideDef.schema`,
   // the MCP generator and the manifest all derive through this walk.
   let internal = annotations->Option.flatMap(spec => spec.internal)->Option.getOr([])
   fields

package/src/components/CommandGenerator/CommandGenerator.res

@@ -27,7 +27,7 @@ external asEvent: 'a => event = "%identity"
 let metaInfo = event => (event->asEvent).meta->Option.map(({info}) => info)
 
 type commandGenerator = payload => Effect.t<CommandTopic.commandOutcome, unit, unit>
-type effectEventHandler<'context> = Runtime.effectHandler<
+type effectEventHandler<'context> = Runtime.effectInvocationHandler<
   payload,
   'context,
   CommandTopic.commandOutcome,

package/src/components/CommandGenerator/CommandGenerator_Adapter.res

@@ -15,7 +15,12 @@ module type Resolvers = {
   type runtimeParts
 
   let handleResolversEvent: CommandGenerator.commandGenerator => Pulumi.Output.t<
-    Runtime.effectHandler<CommandGenerator.payload, 'context, CommandTopic.commandOutcome, unit>,
+    Runtime.effectInvocationHandler<
+      CommandGenerator.payload,
+      'context,
+      CommandTopic.commandOutcome,
+      unit,
+    >,
   >
 
   let make: resolversMaker<api, runtimeParts>

package/src/components/CommandTopic/CommandTopic.res

@@ -48,12 +48,12 @@ module type T = {
   let makeHandler: (
     ~commandTopic: component,
     ~commandsHandler: commandsHandler,
-  ) => Pulumi.Output.t<Runtime.effectHandler<callbackEvent, 'context, unit, string>>
+  ) => Pulumi.Output.t<Runtime.effectInvocationHandler<callbackEvent, 'context, unit, string>>
 
   // Returns the filtering handler output for runtime connection
   // Registers the handler with the channel's event routing
   let makeFilteringHandler: component => Pulumi.Output.t<
-    Runtime.effectHandler<callbackEvent, 'context, unit, string>,
+    Runtime.effectInvocationHandler<callbackEvent, 'context, unit, string>,
   >
 
   let make: (

package/src/components/CommandTopic/CommandTopic_Adapter.res

@@ -12,7 +12,7 @@ and channel<'callbackEvent, 'context, 'channelParts, 'runtimeParts> = {
   publishJsonsStream: Pulumi.Output.t<ReventlessInfra.CommandTopic.publishJsonsStream>,
   publishJsonsAndWait: Pulumi.Output.t<option<CommandTopic.publishJsonsAndWait>>,
   handleChannelEvent: CommandTopic.jsonCommandsHandler => Pulumi.Output.t<
-    Runtime.effectHandler<'callbackEvent, 'context, unit, string>,
+    Runtime.effectInvocationHandler<'callbackEvent, 'context, unit, string>,
   >,
   connect: connect<'callbackEvent, 'context, 'channelParts, 'runtimeParts>,
 }

package/src/components/CommandTopic/CommandTopic_Helpers.res

@@ -12,7 +12,7 @@ during inline `publishJsonsAndWait` execution and read by `runInlineAndCollect`
 type acceptedResult = {entityId?: string, eventCount: int}
 
 /**
-Carries an encoded domain rejection from `Behavior.decide` back to a synchronous producer.
+Carries an encoded domain rejection from `Decision.decide` back to a synchronous producer.
 `errorCode` is the variant tag of `Spec.errorSchema` (e.g. `"AlreadyExists"`); `errorDetail`
 is the JSON-stringified error payload (or empty string for payload-less variants).
 */
@@ -21,7 +21,7 @@ type rejectedResult = {errorCode: string, errorDetail: string}
 /**
 Why a command was refused.
 
-`DomainRejection` is `Behavior.decide` returning `Error` — the model declining the command,
+`DomainRejection` is `Decision.decide` returning `Error` — the model declining the command,
 which is the model working. `InfrastructureFailure` is the decision never landing: an event-log
 append that failed outright or exhausted its conflict retries. Both arrive on `reportRejected`,
 so without this a consumer would read a broken event log as a business rejection.
@@ -92,7 +92,7 @@ let fireCommandOutcome = (~component: string, ~reference: string, outcome: obser
 let acceptedResultChannel: ref<option<(string, acceptedResult) => unit>> = ref(None)
 
 // Sibling side-channel for domain rejections — populated by callbacks when
-// `Behavior.decide` returns `Error`. Read by runInlineAndCollect to build
+// `Decision.decide` returns `Error`. Read by runInlineAndCollect to build
 // `Rejected` outcomes that carry the real error code and detail.
 let rejectedResultChannel: ref<option<(string, rejectedResult) => unit>> = ref(None)
 
@@ -234,7 +234,7 @@ let runInlineAndCollect = async (
   rejectedResultChannel.contents = None
   jsons->Array.mapWithIndex((cmdJson, i) => {
     let msgId = cmdJson.meta.msgId
-    // Domain rejection from Behavior.decide takes precedence over both Accepted
+    // Domain rejection from Decision.decide takes precedence over both Accepted
     // and the synthesized "Conflict" — it carries the most informative error.
     switch rejectedResults->Dict.get(msgId) {
     | Some({errorCode, errorDetail}) =>

package/src/components/EventCollector/EventCollector.res

@@ -24,7 +24,7 @@ module type T = {
   let makeHandler: (
     ~eventCollector: component,
     ~jsonEventsHandler: jsonEventsHandler,
-  ) => Pulumi.Output.t<Runtime.effectHandler<callbackEvent, 'context, unit, string>>
+  ) => Pulumi.Output.t<Runtime.effectInvocationHandler<callbackEvent, 'context, unit, string>>
 
   let make: (
     ~name: string,

package/src/components/EventCollector/EventCollector_Adapter.res

@@ -3,7 +3,7 @@ type channel<'callbackEvent, 'context, 'channelParts> = {
   resources: array<ReventlessInfra.Adapter.resource>,
   enqueueEvent: Pulumi.Output.t<EventCollector.enqueueEvent>,
   handleChannelEvent: EventCollector.jsonEventsHandler => Pulumi.Output.t<
-    Runtime.effectHandler<'callbackEvent, 'context, unit, string>,
+    Runtime.effectInvocationHandler<'callbackEvent, 'context, unit, string>,
   >,
 }
 

package/src/components/EventLog/EventLog_Operations.res

@@ -17,8 +17,8 @@ module type T = {
 
 // Retry schedule for transient storage errors.
 // Exponential backoff: 100ms, ~200ms, ~400ms, ~800ms, ~1600ms — max 5 retries.
-// Only retries on recognised transient error messages; permanent errors propagate immediately.
-// Retry only recognised transient storage failures — never a Conflict (a retry
+// Only retries on recognized transient error messages; permanent errors propagate immediately.
+// Retry only recognized transient storage failures — never a Conflict (a retry
 // of the same append would just conflict again; the OCC retry happens a layer up
 // via replay+re-decide).
 let isTransient = (e: EventLog.appendError) =>

package/src/components/Heartbeat/Heartbeat.res

@@ -19,7 +19,7 @@ module type T = {
     ~id: string,
     ~timeout: int,
     ~publishToPluginExtensionPoint: CommandTopic.publishJsons,
-  ) => Pulumi.Output.t<Runtime.eventHandler<unit, 'context, unit>>
+  ) => Pulumi.Output.t<Runtime.invocationHandler<unit, 'context, unit>>
 
   let make: (~name: string, ~opts: Pulumi.ComponentResource.options=?) => component
 }

package/src/components/ReadModel/ReadModel.res

@@ -23,7 +23,7 @@ module type T = {
   /** Bare event-variant names consumed across every projection mapping's source event
       schema — names the actual events (so a DCB-log-sourced mapping is captured), unlike
       `sourceNames` which only lists source aggregate / DCB-log names. Surfaced by
-      Plugin_Structure as `queryableDef.consumedEventTypes`. */
+      Plugin_Structure as `readSideDef.consumedEventTypes`. */
   let consumedEventNames: array<string>
   let outputs: component => outputs
   let operations: component => Pulumi.Output.t<operations>

package/src/components/StateChangeSlice/StateChangeSlice.res

@@ -17,7 +17,7 @@ let toResolvedOutputs = (outputs: outputs): Pulumi.Output.t<
 
 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/components/StateChangeSlice/StateChangeSlice_Builder.res

@@ -2,13 +2,13 @@ let log = Logger.fromEnv()
 
 module Make = (
   Spec: Reventless.StateChangeSlice.Spec,
-  Behavior: Reventless.StateChangeSlice.Behavior with module Spec := Spec,
+  Decision: Reventless.StateChangeSlice.Decision with module Spec := Spec,
 ): StateChangeSlice.T => {
   module Spec = Spec
-  module Behavior = Behavior
+  module Decision = Decision
   let isAsync = false
   type component = StateChangeSlice.component
-  module Callback = StateChangeSlice_Callback.Make(Spec, Behavior)
+  module Callback = StateChangeSlice_Callback.Make(Spec, Decision)
 
   let makeJsonHandler = (
     ~tagKeysByEventType,