@reventlessdev/reventless-aws 3.0.0-alpha.387 → 3.0.0-alpha.389

package/src/adapter/Runtime/AggregateRuntime_Builder_Single_Async.res

@@ -13,7 +13,7 @@ type runtimeParts = Util.Lambda.runtimeParts
 
 type aggregateInfo = {
   specModulePath: string,
-  behaviorModulePath: string,
+  decisionModulePath: string,
   eventLogTableName: Pulumi.Output.t<string>,
 }
 
@@ -29,10 +29,10 @@ let setConfig = (c: ReventlessCore.Runtime.commandHandlerConfig) => configRef :=
 let registerAggregate = (
   ~aggregateName,
   ~specModulePath,
-  ~behaviorModulePath,
+  ~decisionModulePath,
   ~eventLogTableName,
 ) =>
-  aggregateInfos->Dict.set(aggregateName, {specModulePath, behaviorModulePath, eventLogTableName})
+  aggregateInfos->Dict.set(aggregateName, {specModulePath, decisionModulePath, eventLogTableName})
 
 type storedSpec = {
   aggregateName: string,
@@ -91,7 +91,12 @@ let forCommandGenerator: ReventlessCore.Runtime.forComponent<
 }
 
 let forCommandTopic: ReventlessCore.Runtime.forComponent<
-  ReventlessCore.Runtime.effectHandler<CommandTopicChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    CommandTopicChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   runtimeParts,
   ReventlessCore.CommandTopic.component<'op>,
 > = (~handler as _, ~connect, ~memorySize=1024, ~timeout=30, commandTopic) => {
@@ -125,7 +130,12 @@ let forCommandTopic: ReventlessCore.Runtime.forComponent<
 }
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=1024, ~timeout=30, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource
@@ -200,12 +210,12 @@ let finish = () =>
           switch aggregateInfos->Dict.get(spec.aggregateName) {
           | Some(info) =>
             let specPkg = Util_Bundle.extractPackageName(info.specModulePath)
-            let behaviorPkg = Util_Bundle.extractPackageName(info.behaviorModulePath)
+            let decisionPkg = Util_Bundle.extractPackageName(info.decisionModulePath)
             packageDirs->Dict.set(specPkg, Util_Bundle.resolvePackageRoot(specPkg))
-            packageDirs->Dict.set(behaviorPkg, Util_Bundle.resolvePackageRoot(behaviorPkg))
+            packageDirs->Dict.set(decisionPkg, Util_Bundle.resolvePackageRoot(decisionPkg))
 
             let specModule = info.specModulePath->JSON.stringifyAny->Option.getOr(`""`)
-            let behaviorModule = info.behaviorModulePath->JSON.stringifyAny->Option.getOr(`""`)
+            let decisionModule = info.decisionModulePath->JSON.stringifyAny->Option.getOr(`""`)
 
             // `plugin` cannot be resolved inside the Lambda — LogPrefix's registry is a
             // deploy-time structure, and the Lambda-name fallback yields nothing for a
@@ -221,7 +231,7 @@ let finish = () =>
                 spec.queueArn,
                 pgConnectionFragment,
               ))->Pulumi.Output.apply(((table, queueUrl, queueArn, pgFragment)) =>
-                `{"specModule":${specModule},"behaviorModule":${behaviorModule},"eventLogTable":"${table}","queueUrl":"${queueUrl}","queueArn":"${queueArn}"${pluginFragment}${pgFragment}}`
+                `{"specModule":${specModule},"decisionModule":${decisionModule},"eventLogTable":"${table}","queueUrl":"${queueUrl}","queueArn":"${queueArn}"${pluginFragment}${pgFragment}}`
               )
             let _ = handlerOutputs->Array.push(handlerJson)
           | None =>

package/src/adapter/Runtime/AggregateRuntime_Builder_Single_Async.res.mjs

@@ -30,10 +30,10 @@ function setConfig(c) {
   configRef.contents = c;
 }
 
-function registerAggregate(aggregateName, specModulePath, behaviorModulePath, eventLogTableName) {
+function registerAggregate(aggregateName, specModulePath, decisionModulePath, eventLogTableName) {
   aggregateInfos[aggregateName] = {
     specModulePath: specModulePath,
-    behaviorModulePath: behaviorModulePath,
+    decisionModulePath: decisionModulePath,
     eventLogTableName: eventLogTableName
   };
 }
@@ -162,18 +162,18 @@ function finish() {
           return log.warn("AggregateRuntime_Builder_Single_Async", undefined, `no handler registered for ` + spec.aggregateName);
         }
         let specPkg = Util_Bundle$ReventlessAws.extractPackageName(info.specModulePath);
-        let behaviorPkg = Util_Bundle$ReventlessAws.extractPackageName(info.behaviorModulePath);
+        let decisionPkg = Util_Bundle$ReventlessAws.extractPackageName(info.decisionModulePath);
         packageDirs[specPkg] = Util_Bundle$ReventlessAws.resolvePackageRoot(undefined, specPkg);
-        packageDirs[behaviorPkg] = Util_Bundle$ReventlessAws.resolvePackageRoot(undefined, behaviorPkg);
+        packageDirs[decisionPkg] = Util_Bundle$ReventlessAws.resolvePackageRoot(undefined, decisionPkg);
         let specModule = Stdlib_Option.getOr(JSON.stringify(info.specModulePath), `""`);
-        let behaviorModule = Stdlib_Option.getOr(JSON.stringify(info.behaviorModulePath), `""`);
+        let decisionModule = Stdlib_Option.getOr(JSON.stringify(info.decisionModulePath), `""`);
         let pluginFragment = Util_LogAttribution$ReventlessAws.pluginFragment(`AggregateRuntime(` + spec.aggregateName + `)`);
         let handlerJson = Pulumi.all([
           info.eventLogTableName,
           spec.queueUrl,
           spec.queueArn,
           pgConnectionFragment
-        ]).apply(param => `{"specModule":` + specModule + `,"behaviorModule":` + behaviorModule + `,"eventLogTable":"` + param[0] + `","queueUrl":"` + param[1] + `","queueArn":"` + param[2] + `"` + pluginFragment + param[3] + `}`);
+        ]).apply(param => `{"specModule":` + specModule + `,"decisionModule":` + decisionModule + `,"eventLogTable":"` + param[0] + `","queueUrl":"` + param[1] + `","queueArn":"` + param[2] + `"` + pluginFragment + param[3] + `}`);
         handlerOutputs.push(handlerJson);
       });
       let handlerConfigOutput = Pulumi.all(handlerOutputs).apply(handlers => `{"handlers":[` + handlers.join(",") + `]}`);

package/src/adapter/Runtime/AutomationSliceEntryPoint_Ops.res

@@ -399,7 +399,7 @@ channel it cannot send on.
 /** The email transport this deployment chose.
 
     Read per call like the sender beside it, and defaulting to SES on anything it
-    does not recognise — including the empty string a platform that named nothing
+    does not recognize — including the empty string a platform that named nothing
     exports. The deploy already refuses an unknown value (`Capability_Messaging`
     parses it there, where a human is watching); defaulting again here is for the
     case that cannot be refused, a Lambda whose variable was edited by hand. SES

package/src/adapter/Runtime/AutomationSliceRuntime_Builder_Single.res

@@ -138,7 +138,12 @@ let storedSpecs: array<storedSpec> = []
 let grandParent = ref(None)
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=1024, ~timeout=30, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource
@@ -533,7 +538,7 @@ let finish = () =>
         // HANDLER_CONFIG: this is one shared Lambda and every slice on it reaches
         // the same capability. A capability the platform did not provision arrives
         // as "", which its client reads as "not configured" and reports as a
-        // retryable `Unavailable` — a modelled outcome rather than a missing
+        // retryable `Unavailable` — a modeled outcome rather than a missing
         // variable that fails as a crash.
         PluginRuntime_Builder.capabilityEnv()->Array.forEach(((name, value)) =>
           envVars->Dict.set(name, value->Pulumi.Output.asInput)
@@ -782,7 +787,7 @@ let finishWithDcbEventLog = (
         // HANDLER_CONFIG: this is one shared Lambda and every slice on it reaches
         // the same capability. A capability the platform did not provision arrives
         // as "", which its client reads as "not configured" and reports as a
-        // retryable `Unavailable` — a modelled outcome rather than a missing
+        // retryable `Unavailable` — a modeled outcome rather than a missing
         // variable that fails as a crash.
         PluginRuntime_Builder.capabilityEnv()->Array.forEach(((name, value)) =>
           envVars->Dict.set(name, value->Pulumi.Output.asInput)

package/src/adapter/Runtime/DcbCommandTopicEntryPoint.mjs

@@ -64,19 +64,19 @@ const dcbComp = (plugin) => `DcbCommandTopicRuntime(${plugin})`;
 // already-parsed `HANDLER_CONFIG` shape, with an injectable module loader.
 // In production, `buildHandler` below wraps this with the env-config + the
 // Lambda's `/var/task/node_modules` dynamic-import; integration tests inject
-// their own loader that returns pre-imported spec/behavior modules so the test
+// their own loader that returns pre-imported spec/decision modules so the test
 // can drive the real `cmdGenHandler` end-to-end against DynamoDB Local.
 export async function buildHandlersForConfig(config, opts = {}) {
   const loadModule = opts.loadModule ?? dynamicImport;
 
-  // Untyped boundary: dynamically import + id-patch the user Spec/Behavior
+  // Untyped boundary: dynamically import + id-patch the user Spec/Decision
   // modules. Their types are unknowable here — this is the one seam the typed
   // core (below) cannot own, so it stays in the shell.
   const loadedSlices = await Promise.all(
-    config.stateChangeSliceModules.map(async ({ spec, behavior }) => {
+    config.stateChangeSliceModules.map(async ({ spec, decision }) => {
       const specModule = await loadModule(spec);
-      const behaviorModule = await loadModule(behavior);
-      return { patchedSpec: patchSpecId(specModule), behaviorModule };
+      const decisionModule = await loadModule(decision);
+      return { patchedSpec: patchSpecId(specModule), decisionModule };
     })
   );
 
@@ -108,14 +108,14 @@ export async function buildHandlersForConfig(config, opts = {}) {
     publishJson: async (_name, _meta, _json) => {},
   });
 
-  loadedSlices.forEach(({ patchedSpec, behaviorModule }) => {
+  loadedSlices.forEach(({ patchedSpec, decisionModule }) => {
     // Typed core: builds the slice callback (functor), the JSON→command decode,
     // and the handleCommands invocation — all compiler-checked (was the fragile
     // positional call this file's line-146 comment warned about; see the
     // 2026-06-21 arity-drift incident referenced in the _Ops header).
     const jsonHandler = buildSliceHandler(
       patchedSpec,
-      behaviorModule,
+      decisionModule,
       scope,
       sharedDcbEventLogOps,
     );

package/src/adapter/Runtime/DcbCommandTopicEntryPoint_Ops.res

@@ -2,7 +2,7 @@
 //
 // The "typed core, thin shell" split (docs/plans/done/minimize-lambda-entrypoint-mjs-shell.md).
 // The `.mjs` shell owns the one boundary that is inherently untyped: reading
-// `HANDLER_CONFIG` and dynamically `import()`-ing user Spec/Behavior modules at
+// `HANDLER_CONFIG` and dynamically `import()`-ing user Spec/Decision modules at
 // cold start, whose types are unknowable here. Everything below is compiler-
 // checked against the *real* framework signatures, so the invariants that used
 // to live only in `.mjs` comments are now enforced by the build:
@@ -165,18 +165,18 @@ let makeStorageOps = (
 // (a labelled arg added before the positional ones shifts `stream` to
 // undefined, crashing inside `Stream.mapEffect`). Moving the functor call, the
 // JSON→command decode, and the `handleCommands` invocation here makes all three
-// compiler-checked. The loaded Spec/Behavior modules enter opaque (a clean
+// compiler-checked. The loaded Spec/Decision modules enter opaque (a clean
 // pass-through to the functor — not poked at); `dcbEventLog` enters as a
 // boundary-typed parameter (the shell still builds it).
 
 // The loaded slice's `command` type — opaque; flows from the decode straight
 // into `handleCommands`, so decode and consume share one abstract type.
 type command
-type behaviorModule
+type decisionModule
 
 @get external specCommandSchemaTyped: specModule => S.t<command> = "commandSchema"
 
-// `StateChangeSlice_Callback.Make(Spec)(Behavior)` — curried in compiled form.
+// `StateChangeSlice_Callback.Make(Spec)(Decision)` — curried in compiled form.
 type sliceCallback = {
   handleCommands: (
     ~tagKeysByEventType: dict<array<string>>=?,
@@ -195,7 +195,7 @@ type sliceCallback = {
 @module(
   "@reventlessdev/reventless-core/src/components/StateChangeSlice/StateChangeSlice_Callback.res.mjs"
 )
-external makeSliceCallback: specModule => behaviorModule => sliceCallback = "Make"
+external makeSliceCallback: specModule => decisionModule => sliceCallback = "Make"
 
 // Builds the per-slice JSON-command handler: decode each topic item's JSON
 // command against the slice's schema (dropping undecodable ones), then dispatch
@@ -203,11 +203,11 @@ external makeSliceCallback: specModule => behaviorModule => sliceCallback = "Mak
 // `Stream.t<topicItem<JSON>> => Effect` the shell's routing map keys on.
 let buildSliceHandler = (
   spec: specModule,
-  behavior: behaviorModule,
+  decision: decisionModule,
   scope: derivedScope,
   dcbEventLog: ReventlessInfra.DcbEventLog.operations,
 ) => {
-  let callback = makeSliceCallback(spec)(behavior)
+  let callback = makeSliceCallback(spec)(decision)
   let commandSchema = spec->specCommandSchemaTyped
   (jsonStream: Stream.t<ReventlessInfra.CommandTopic.topicItem<JSON.t>, string, unit>): Effect.t<
     array<result<string, string>>,

package/src/adapter/Runtime/DcbCommandTopicEntryPoint_Ops.res.mjs

@@ -94,8 +94,8 @@ function makeStorageOps(tableName, pgConnection, scope) {
   }
 }
 
-function buildSliceHandler(spec, behavior, scope, dcbEventLog) {
-  let callback = StateChangeSlice_CallbackResMjs.Make(spec)(behavior);
+function buildSliceHandler(spec, decision, scope, dcbEventLog) {
+  let callback = StateChangeSlice_CallbackResMjs.Make(spec)(decision);
   let commandSchema = spec.commandSchema;
   return jsonStream => {
     let decodedStream = Stream.flatMap(Stream.mapEffect(jsonStream, topicItem => Effect.sync(() => {

package/src/adapter/Runtime/EventCollectorEntryPoint.mjs

@@ -1,5 +1,5 @@
 // Plugin EventCollector Lambda entry point — shared between the platform and every
-// per-plugin EventCollector Lambda. This module is plugin-agnostic: behaviour is
+// per-plugin EventCollector Lambda. This module is plugin-agnostic: behavior is
 // driven entirely by HANDLER_CONFIG.
 //
 // Thin untyped shell ("typed core, thin shell" —

package/src/adapter/Runtime/EventCollectorRuntime_Builder_PerEventCollector.res

@@ -18,7 +18,12 @@ let registerReadModel = (~readModelName, ~specModulePath, ~mappingsModulePath, ~
   readModelInfos->Dict.set(readModelName, {specModulePath, mappingsModulePath, queryDbTableName})
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=1024, ~timeout=30, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource

package/src/adapter/Runtime/EventCollectorRuntime_Builder_Single.res

@@ -66,7 +66,12 @@ let storedSpecs: array<storedSpec> = []
 let grandParent = ref(None)
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=1024, ~timeout=30, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource

package/src/adapter/Runtime/RuntimeEnvironment_Lambda.res

@@ -105,7 +105,7 @@ let makeFromCodeAsset: (
       kind; `makeFromCodeAsset` announces the provisioned Lambda to the
       `Monitoring` registry (no-op unless an extension registered a backend). */
   ~unitKind: ReventlessCore.Monitoring.unitKind,
-  /** The modelling kind of the component this Lambda runs, for resource
+  /** The modeling kind of the component this Lambda runs, for resource
       attribution (`reventless:kind`). Distinct from `~unitKind`, which grades
       the unit by what its failure means — `CommandHandler` covers aggregates,
       state-change slices and extension points alike, so it cannot identify the
@@ -251,7 +251,7 @@ let makeFromCodeAsset: (
   // ESM self-containment (Option C): every code archive built by
   // Util_Bundle.buildCodeArchive ships register-hook.mjs + layer-resolver.mjs at
   // /var/task. --import registers the resolve hook so the ESM entry point (and the
-  // user spec/behavior modules it dynamically imports) can resolve bare specifiers
+  // user spec/decision modules it dynamically imports) can resolve bare specifiers
   // — @reventlessdev/*, effect, sury from the layer, @aws-sdk/* from the runtime —
   // that ESM `import` would otherwise not find outside /var/task. Framework
   // invariant: set last so it wins over any caller-supplied value.
@@ -447,9 +447,9 @@ let extractRetryCount = (event: event) =>
   ->Option.flatMap(attrs => attrs.approximateReceiveCount)
   ->Option.flatMap(Int.fromString(_))
 
-external asEventHandler: 'a => ReventlessCore.Runtime.eventHandler<event, context, 'result> =
+external asEventHandler: 'a => ReventlessCore.Runtime.invocationHandler<event, context, 'result> =
   "%identity"
-external asEffectHandler: 'a => ReventlessCore.Runtime.effectHandler<
+external asEffectHandler: 'a => ReventlessCore.Runtime.effectInvocationHandler<
   event,
   context,
   'result,

package/src/adapter/Runtime/RuntimeExtensionEntryPoint_Ops.res

@@ -21,7 +21,7 @@ let log = ReventlessCore.Logger.fromEnv()
 extension is registered, which is the only reason a runtime skips the seam.
 
 `modules` are npm specifiers resolvable under `/var/task/node_modules` — the
-extension packages ride in the code archive alongside the spec and behavior
+extension packages ride in the code archive alongside the spec and decision
 packages. The remaining fields are this runtime's identity, resolved at
 provisioning time from the ambient `ResourceAttribution` context.
 */
@@ -88,7 +88,7 @@ Fire every loaded extension's `onColdStart`, in the order the deploy program
 registered them, each isolated from the others (see
 `ReventlessCore.RuntimeExtension`).
 
-An unrecognised `runtimeKind` means the layer's `ComponentType` and the
+An unrecognized `runtimeKind` means the layer's `ComponentType` and the
 deploy-time one disagree — a framework version skew, not anything an extension
 can fix. Logged at ERROR and skipped rather than fired under a guessed kind: an
 extension that routes on kind would otherwise attach to the wrong runtime

package/src/adapter/Runtime/SideEffectHandlerRuntime_Builder_Single.res

@@ -41,7 +41,12 @@ let storedSpecs: array<storedSpec> = []
 let grandParent = ref(None)
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=1024, ~timeout=30, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource

package/src/adapter/Runtime/StateChangeSliceRuntime_Builder_Single.res

@@ -27,7 +27,7 @@ type inboundSlicePaths = {
   auditTableName: Pulumi.Output.t<string>,
 }
 
-// `slicePaths`: `(specPath, behaviorPath)` per StateChangeSlice (already merged
+// `slicePaths`: `(specPath, decisionPath)` per StateChangeSlice (already merged
 // from auto- and manually-registered sources by the caller).
 let forDcbCommandTopic = (
   ~slicePaths: array<(string, string)>,
@@ -124,9 +124,9 @@ let forDcbCommandTopic = (
       envVars->Dict.set("LOG_LEVEL", level->Pulumi.Output.make->Pulumi.Output.asInput)
     )
 
-    // The slice registry: an array of {spec, behavior} objects so the entry point
+    // The slice registry: an array of {spec, decision} objects so the entry point
     // can dynamically import both modules and apply the curried StateChangeSlice_Callback.Make
-    // functor (Make(Spec)(Behavior)).
+    // functor (Make(Spec)(Decision)).
     //
     // Shipped as a `sliceModules.json` asset rather than inline in HANDLER_CONFIG.
     // Two absolute module specifiers per slice is the one term here that grows
@@ -136,10 +136,10 @@ let forDcbCommandTopic = (
     // and it fails at deploy with the registry already committed to the stack.
     let sliceModulesJson =
       slicePaths
-      ->Array.map(((specPath, behaviorPath)) => {
+      ->Array.map(((specPath, decisionPath)) => {
         let s = specPath->JSON.stringifyAny->Option.getOr(`""`)
-        let b = behaviorPath->JSON.stringifyAny->Option.getOr(`""`)
-        `{"spec":${s},"behavior":${b}}`
+        let b = decisionPath->JSON.stringifyAny->Option.getOr(`""`)
+        `{"spec":${s},"decision":${b}}`
       })
       ->Array.join(",")
 
@@ -163,7 +163,7 @@ let forDcbCommandTopic = (
     // InboundTranslationSlice modules — spec + translation paths and the resolved
     // audit table name (Pulumi-generated, so it must be resolved here). Emitted as
     // a `,"inboundTranslationSliceModules":[…]` fragment merged into HANDLER_CONFIG
-    // (absent → the entry point has no Route 0 registry, unchanged behaviour).
+    // (absent → the entry point has no Route 0 registry, unchanged behavior).
     let inboundFragment = switch inboundSlices {
     | [] => Pulumi.Output.make("")
     | slices =>
@@ -201,11 +201,11 @@ let forDcbCommandTopic = (
 
     // Build code asset
     let packageDirs: dict<string> = Dict.make()
-    slicePaths->Array.forEach(((specPath, behaviorPath)) => {
+    slicePaths->Array.forEach(((specPath, decisionPath)) => {
       let specPkg = Util_Bundle.extractPackageName(specPath)
       packageDirs->Dict.set(specPkg, Util_Bundle.resolvePackageRoot(specPkg))
-      let behaviorPkg = Util_Bundle.extractPackageName(behaviorPath)
-      packageDirs->Dict.set(behaviorPkg, Util_Bundle.resolvePackageRoot(behaviorPkg))
+      let decisionPkg = Util_Bundle.extractPackageName(decisionPath)
+      packageDirs->Dict.set(decisionPkg, Util_Bundle.resolvePackageRoot(decisionPkg))
     })
     // Inbound slice spec + translation packages the entry point imports for Route 0.
     inboundSlices->Array.forEach(s => {

package/src/adapter/Runtime/StateChangeSliceRuntime_Builder_Single.res.mjs

@@ -67,7 +67,7 @@ function forDcbCommandTopic(slicePaths, inboundSlicesOpt, dcbTableName, pluginNa
   let sliceModulesJson = slicePaths.map(param => {
     let s = Stdlib_Option.getOr(JSON.stringify(param[0]), `""`);
     let b = Stdlib_Option.getOr(JSON.stringify(param[1]), `""`);
-    return `{"spec":` + s + `,"behavior":` + b + `}`;
+    return `{"spec":` + s + `,"decision":` + b + `}`;
   }).join(",");
   let pgConnectionFragment = pgSelection !== undefined ? pgSelection.connectionConfig.apply(cc => `,"pgConnection":` + JSON.stringify(PgConnection$ReventlessAws.connectionConfigToJson(pgSelection.lockStrategy, cc))) : Pulumi.output("");
   let inboundFragment = inboundSlices.length !== 0 ? Pulumi.all(inboundSlices.map(s => s.auditTableName)).apply(tableNames => {
@@ -96,8 +96,8 @@ function forDcbCommandTopic(slicePaths, inboundSlicesOpt, dcbTableName, pluginNa
   slicePaths.forEach(param => {
     let specPkg = Util_Bundle$ReventlessAws.extractPackageName(param[0]);
     packageDirs[specPkg] = Util_Bundle$ReventlessAws.resolvePackageRoot(undefined, specPkg);
-    let behaviorPkg = Util_Bundle$ReventlessAws.extractPackageName(param[1]);
-    packageDirs[behaviorPkg] = Util_Bundle$ReventlessAws.resolvePackageRoot(undefined, behaviorPkg);
+    let decisionPkg = Util_Bundle$ReventlessAws.extractPackageName(param[1]);
+    packageDirs[decisionPkg] = Util_Bundle$ReventlessAws.resolvePackageRoot(undefined, decisionPkg);
   });
   inboundSlices.forEach(s => {
     let specPkg = Util_Bundle$ReventlessAws.extractPackageName(s.specPath);

package/src/adapter/Runtime/StateViewSliceRuntime_Builder_Single.res

@@ -93,7 +93,12 @@ let storedSpecs: array<storedSpec> = []
 let grandParent = ref(None)
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=1024, ~timeout=30, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource

package/src/adapter/StateTopic/StateTopic_AppSync.res

@@ -10,7 +10,7 @@
 //
 // Channel layout: /default/{topicName}/{pathSegment(entityKey)}
 //   topicName    = plugin-prefixed query LIST field name (e.g. "Catalog-Products").
-//                  MUST match the AutoUI manifest's queryableDef.queryField,
+//                  MUST match the AutoUI manifest's readSideDef.queryField,
 //                  which the host-shell's AutoLive subscribes on. Using the
 //                  singular return type here would orphan the channel.
 //   entityKey    = the table's primary-key value(s) extracted from record.Keys.
@@ -388,7 +388,7 @@ let finish = (~eventsApi: AppSync_EventsApi.t, ~opts: Pulumi.CustomResourceOptio
     // One EventSourceMapping per stream, all targeting the shared Lambda.
     // Retry posture: the handler throws on 5xx / network errors and logs-and-
     // continues on 4xx. `maximumRetryAttempts: 3` bounds the per-record
-    // retries so a permanently broken record (default DDB stream behaviour is
+    // retries so a permanently broken record (default DDB stream behavior is
     // -1 → forever, which would wedge the shard); `bisectBatchOnFunctionError`
     // isolates the bad record across those retries instead of redelivering
     // the whole batch each time.

package/src/capability/Capability_Messaging.res

@@ -36,7 +36,7 @@ let smsSenderKey = "messagingSmsSender"
     Blank matters because the ways to write "nothing" must not differ: a stray
     `REVENTLESS_MESSAGING_EMAIL_SENDER=` in CI, a blank line in
     `Pulumi.local.yaml`, and a key left with a space after the colon all mean the
-    stack named no sender. Honouring any of them would ask SES for an identity
+    stack named no sender. Honoring any of them would ask SES for an identity
     with a blank address — a deploy failure whose cause is whitespace, and one
     that reaches AWS before anything here explains it.
 
@@ -69,7 +69,7 @@ Which transport this stack asked for. SES is the default, so a deployment that
 says nothing gets the real one — the safe direction is that mail works, and a
 stack opting out of sending says so explicitly.
 
-An unrecognised value is refused rather than defaulted. Falling back to SES on a
+An unrecognized value is refused rather than defaulted. Falling back to SES on a
 typo would provision a real identity for a stack that asked to only log, which
 is the one mistake this key exists to prevent.
 */

package/src/components/Aggregate_Builder_Micro.res

@@ -11,7 +11,7 @@ module type MappingsConfig = {
 
 module Make = (
   Spec: Reventless.Aggregate.Spec,
-  Behavior: Reventless.Behavior.T with module Spec := Spec,
+  Decision: Reventless.Decision.T with module Spec := Spec,
   EventMappings: ReventlessInfra.EventMapper.Mappings with module Target := Spec,
   MappingsConfig: MappingsConfig,
 ): (
@@ -21,7 +21,7 @@ module Make = (
 ) => {
   module Inner = ReventlessCore.Aggregate_Builder.Make(
     Spec,
-    Behavior,
+    Decision,
     EventMappings,
     RuntimeEnvironment,
     CommandGeneratorResolvers,
@@ -49,7 +49,7 @@ module Make = (
     AggregateRuntimeBuilder.registerAggregate(
       ~aggregateName=Spec.name,
       ~specModulePath=Util_Bundle.getModuleSpecifier(Spec.moduleUrl),
-      ~behaviorModulePath=Util_Bundle.getModuleSpecifier(Behavior.moduleUrl),
+      ~decisionModulePath=Util_Bundle.getModuleSpecifier(Decision.moduleUrl),
       ~eventLogTableName,
       ~mappingsModulePath=?MappingsConfig.mappingsModulePath,
     )

package/src/components/Aggregate_Builder_Micro.res.mjs

@@ -12,8 +12,8 @@ import * as EventTopicPublisher_DynamoDbStream$ReventlessAws from "../adapter/Ev
 import * as EventCollectorChannel_DynamoDbStream$ReventlessAws from "../adapter/EventCollector/EventCollectorChannel_DynamoDbStream.res.mjs";
 
 function Make(Spec) {
-  return Behavior => (EventMappings => (MappingsConfig => {
-    let Inner = Aggregate_Builder$ReventlessCore.Make(Spec)(Behavior)({
+  return Decision => (EventMappings => (MappingsConfig => {
+    let Inner = Aggregate_Builder$ReventlessCore.Make(Spec)(Decision)({
       mappings: EventMappings.mappings,
       counter: EventMappings.counter
     })({
@@ -48,7 +48,7 @@ function Make(Spec) {
       let eventLogOutputs = Inner.outputs(aggregate).eventLog;
       let tableResource = eventLogOutputs.resources[0];
       let eventLogTableName = tableResource.name;
-      AggregateRuntime_Builder_Micro$ReventlessAws.registerAggregate(Spec.name, Util_Bundle$ReventlessAws.getModuleSpecifier(Spec.moduleUrl), Util_Bundle$ReventlessAws.getModuleSpecifier(Behavior.moduleUrl), eventLogTableName, MappingsConfig.mappingsModulePath);
+      AggregateRuntime_Builder_Micro$ReventlessAws.registerAggregate(Spec.name, Util_Bundle$ReventlessAws.getModuleSpecifier(Spec.moduleUrl), Util_Bundle$ReventlessAws.getModuleSpecifier(Decision.moduleUrl), eventLogTableName, MappingsConfig.mappingsModulePath);
       return aggregate;
     };
     let finish = () => AggregateRuntime_Builder_Micro$ReventlessAws.finish();

package/src/components/Aggregate_Builder_NoResolver.res

@@ -11,7 +11,7 @@ module AggregateRuntimeBuilder = AggregateRuntime_Builder_Single
 
 module Make = (
   Spec: Reventless.Aggregate.Spec,
-  Behavior: Reventless.Behavior.T with module Spec := Spec,
+  Decision: Reventless.Decision.T with module Spec := Spec,
   EventMappings: ReventlessInfra.EventMapper.Mappings with module Target := Spec,
 ): (
   ReventlessInfra.Aggregate.T
@@ -20,7 +20,7 @@ module Make = (
 ) => {
   module Inner = ReventlessCore.Aggregate_Builder.Make(
     Spec,
-    Behavior,
+    Decision,
     EventMappings,
     RuntimeEnvironment,
     CommandGeneratorResolvers,
@@ -48,7 +48,7 @@ module Make = (
     AggregateRuntimeBuilder.registerAggregate(
       ~aggregateName=Spec.name,
       ~specModulePath=Util_Bundle.getModuleSpecifier(Spec.moduleUrl),
-      ~behaviorModulePath=Util_Bundle.getModuleSpecifier(Behavior.moduleUrl),
+      ~decisionModulePath=Util_Bundle.getModuleSpecifier(Decision.moduleUrl),
       ~eventLogTableName,
     )
 

package/src/components/Aggregate_Builder_NoResolver.res.mjs

@@ -12,8 +12,8 @@ import * as EventCollectorChannel_DynamoDbStream$ReventlessAws from "../adapter/
 import * as CommandGeneratorResolvers_AppSync_NoOp$ReventlessAws from "../adapter/CommandGenerator/CommandGeneratorResolvers_AppSync_NoOp.res.mjs";
 
 function Make(Spec) {
-  return Behavior => (EventMappings => {
-    let Inner = Aggregate_Builder$ReventlessCore.Make(Spec)(Behavior)({
+  return Decision => (EventMappings => {
+    let Inner = Aggregate_Builder$ReventlessCore.Make(Spec)(Decision)({
       mappings: EventMappings.mappings,
       counter: EventMappings.counter
     })({
@@ -48,7 +48,7 @@ function Make(Spec) {
       let eventLogOutputs = Inner.outputs(aggregate).eventLog;
       let tableResource = eventLogOutputs.resources[0];
       let eventLogTableName = tableResource.name;
-      AggregateRuntime_Builder_Single$ReventlessAws.registerAggregate(Spec.name, Util_Bundle$ReventlessAws.getModuleSpecifier(Spec.moduleUrl), Util_Bundle$ReventlessAws.getModuleSpecifier(Behavior.moduleUrl), eventLogTableName);
+      AggregateRuntime_Builder_Single$ReventlessAws.registerAggregate(Spec.name, Util_Bundle$ReventlessAws.getModuleSpecifier(Spec.moduleUrl), Util_Bundle$ReventlessAws.getModuleSpecifier(Decision.moduleUrl), eventLogTableName);
       return aggregate;
     };
     let finish = () => AggregateRuntime_Builder_Single$ReventlessAws.finish();

package/src/components/Aggregate_Builder_PerAggregate.res

@@ -7,7 +7,7 @@ module AggregateRuntimeBuilder = AggregateRuntime_Builder_PerAggregate
 
 module Make = (
   Spec: Reventless.Aggregate.Spec,
-  Behavior: Reventless.Behavior.T with module Spec := Spec,
+  Decision: Reventless.Decision.T with module Spec := Spec,
   EventMappings: ReventlessInfra.EventMapper.Mappings with module Target := Spec,
 ): (
   ReventlessInfra.Aggregate.T
@@ -16,7 +16,7 @@ module Make = (
 ) => {
   module Inner = ReventlessCore.Aggregate_Builder.Make(
     Spec,
-    Behavior,
+    Decision,
     EventMappings,
     RuntimeEnvironment,
     CommandGeneratorResolvers,
@@ -44,7 +44,7 @@ module Make = (
     AggregateRuntimeBuilder.registerAggregate(
       ~aggregateName=Spec.name,
       ~specModulePath=Util_Bundle.getModuleSpecifier(Spec.moduleUrl),
-      ~behaviorModulePath=Util_Bundle.getModuleSpecifier(Behavior.moduleUrl),
+      ~decisionModulePath=Util_Bundle.getModuleSpecifier(Decision.moduleUrl),
       ~eventLogTableName,
     )