@reventlessdev/reventless-aws 3.0.0-alpha.418 → 3.0.0-alpha.419

package/CHANGELOG.md

@@ -3,6 +3,13 @@
 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.419 (2026-11-01)
+
+### Features
+
+* **core:** a command's outcome, the flow through automations, and each view change are told ([dcaeed2](https://github.com/ReventlessDev/reventless-core/commit/dcaeed2fabe2047a21797b459f2931618474dec3))
+
+
 # 3.0.0-alpha.418 (2026-11-01)
 
 **Note:** Version bump only for package @reventlessdev/reventless-aws

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-aws",
-  "version": "3.0.0-alpha.418",
+  "version": "3.0.0-alpha.419",
   "description": "AWS adapters for Reventless",
   "license": "Apache-2.0",
   "bin": {
@@ -22,19 +22,19 @@
     "sury": "11.0.0",
     "uuid": "^13.0.0",
     "yaml": "^2.8.3",
-    "@reventlessdev/rescript-aws-sdk": "3.0.0-alpha.37",
+    "@reventlessdev/rescript-aws-sdk": "3.0.0-alpha.38",
     "@reventlessdev/rescript-effect": "1.0.0-alpha.1",
     "@reventlessdev/rescript-jest": "1.0.0-alpha.13",
-    "@reventlessdev/rescript-node": "2.0.0-alpha.24",
-    "@reventlessdev/rescript-pulumi-aws": "3.0.0-alpha.37",
+    "@reventlessdev/rescript-node": "2.0.0-alpha.25",
+    "@reventlessdev/rescript-pulumi-aws": "3.0.0-alpha.38",
     "@reventlessdev/rescript-pulumi-pulumi": "3.0.0-alpha.0",
+    "@reventlessdev/rescript-web": "1.0.0-alpha.8",
     "@reventlessdev/rescript-uuid": "2.0.0-alpha.1",
-    "@reventlessdev/reventless-core": "3.0.0-alpha.325",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.220",
-    "@reventlessdev/reventless-postgres": "3.0.0-alpha.189",
+    "@reventlessdev/reventless-core": "3.0.0-alpha.326",
     "@reventlessdev/reventless-interop": "3.0.0-alpha.42",
-    "@reventlessdev/rescript-web": "1.0.0-alpha.8",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.191"
+    "@reventlessdev/reventless-postgres": "3.0.0-alpha.190",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.221",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.192"
   },
   "devDependencies": {
     "rescript": "12.3.1",

package/src/adapter/Runtime/AutomationSliceEntryPoint_Ops.res

@@ -539,7 +539,7 @@ let makeOutboundJsonEventsHandler = (
           ->Option.getOr("")
         let (eventType, dataDict) = rawEvent->ReventlessCore.Message.splitMessage
         switch decoder.decode(~eventType, ~data=dataDict) {
-        | Some(event) => [(sourceId, event)]
+        | Some(event) => [(sourceId, event, ReventlessCore.Message.metaOfEnvelope(envelope))]
         | None => []
         }
       })
@@ -549,7 +549,11 @@ let makeOutboundJsonEventsHandler = (
     ->Effect.flatMap(events =>
       Effect.promise(async () => {
         await loadTodoItems()
-        await callback.phase1(events, ~capabilities=capabilities())
+        await callback.phase1(
+          events->Array.map(((sourceId, event, _)) => (sourceId, event)),
+          ~metas=events->Array.map(((_, _, meta)) => meta),
+          ~capabilities=capabilities(),
+        )
         await syncTodoItems()
         await callback.phase2(publishJsons, ~capabilities=capabilities())
         await syncTodoItems()

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

@@ -323,14 +323,18 @@ function makeOutboundJsonEventsHandler(consumedEventSchema, callback, publishJso
     if (event !== undefined) {
       return [[
           sourceId,
-          Primitive_option.valFromOption(event)
+          Primitive_option.valFromOption(event),
+          Message$ReventlessCore.metaOfEnvelope(envelope)
         ]];
     } else {
       return [];
     }
   })), events => Stream$1.fromIterable(events))), events => Effect.promise(async () => {
     await loadTodoItems();
-    await callback.phase1(events, capabilities());
+    await callback.phase1(events.map(param => [
+      param[0],
+      param[1]
+    ]), events.map(param => param[2]), capabilities());
     await syncTodoItems();
     await callback.phase2(publishJsons, capabilities());
     return await syncTodoItems();

package/src/adapter/Runtime/StateViewSliceEntryPoint_Ops.res

@@ -126,6 +126,20 @@ let decodeEnvelope = (json: JSON.t): envelope<'event> => {
 
 let exnMessage = StreamRoutedEntryPoint_Ops.exnMessage
 
+// The event an envelope carries, as the source of the rows its actions change.
+// Read off the JSON, like `producerTime`: an envelope without a meta yields none.
+let sourcesOf = (json: JSON.t): array<ReventlessCore.Projection.changeSource> => {
+  let fields = json->JSON.Decode.object->Option.getOr(Dict.make())
+  let meta = fields->Dict.get("meta")->Option.flatMap(JSON.Decode.object)
+  let string = (d, k) => d->Option.flatMap(d => d->Dict.get(k))->Option.flatMap(JSON.Decode.string)
+  switch string(meta, "msgId") {
+  | Some(msgId) =>
+    let (entityId, entityType) = ReventlessCore.ViewChange.entityOfEnvelope(fields)
+    [{msgId, correlationId: ?string(meta, "correlationId"), ?entityId, ?entityType}]
+  | None => []
+  }
+}
+
 // The typed core of buildJsonEventsHandler: decode each envelope, parse the
 // event against the slice's consumed-event schema, project, and run every
 // resulting action against the view table. A decode failure logs and yields no
@@ -140,7 +154,13 @@ let makeJsonEventsHandler = (
   ~queryDbOps: ReventlessCore.QueryDb_Adapter.operations,
   ~subIdConfig: option<Reventless.ReadModel.subIdConfig<JSON.t>>,
   ~stateSchema: option<S.t<unknown>>,
-): ReventlessCore.EventCollector.jsonEventsHandler =>
+): ReventlessCore.EventCollector.jsonEventsHandler => {
+  // Each row the events change is logged; the states are already JSON.
+  let onChange = ReventlessCore.ViewChange.reporter(
+    ~comp=sliceName,
+    ~view=sliceName,
+    ~stateToJson=state => state,
+  )
   stream =>
     stream
     ->Stream.mapEffect(json =>
@@ -155,11 +175,14 @@ let makeJsonEventsHandler = (
           // The deployed slice assembles JSON-level operations rather than going
           // through the typed rewrite, so the trail is appended here — with this
           // envelope's own time, which the apply below no longer has.
-          producerTime === ""
-            ? actions
-            : actions->Array.map(
-                ReventlessCore.Projection.rewriteJsonAction(_, ~at=producerTime, ~stateSchema),
-              )
+          let sources = sourcesOf(json)
+          let actions =
+            producerTime === ""
+              ? actions
+              : actions->Array.map(
+                  ReventlessCore.Projection.rewriteJsonAction(_, ~at=producerTime, ~stateSchema),
+                )
+          actions->Array.map(action => (action, sources))
         } catch {
         | exn =>
           StreamRoutedEntryPoint_Ops.logError(
@@ -171,7 +194,7 @@ let makeJsonEventsHandler = (
       )
     )
     ->Stream.flatMap(actions => Stream.fromIterable(actions))
-    ->Stream.runForEach(action =>
+    ->Stream.runForEach(((action, sources)) =>
       // Thread the slice's `subIdConfig` (generated from `@subId`) so
       // sub-id-dependent actions like `UpdateMultiState` can resolve the sort
       // key. Dropping it here made every such action hit the
@@ -181,9 +204,17 @@ let makeJsonEventsHandler = (
       // actions. `~comp` is the slice's spec name — attribution for
       // Projection.handleAction's debug-lazy action log.
       Effect.promise(() =>
-        ReventlessCore.Projection.handleAction(~comp=sliceName, action, queryDbOps, subIdConfig)
+        ReventlessCore.Projection.handleAction(
+          ~comp=sliceName,
+          ~sources,
+          ~onChange,
+          action,
+          queryDbOps,
+          subIdConfig,
+        )
       )->Effect.map(_ => ())
     )
+}
 
 // ── Handler assembly (called by the shell per HANDLER_CONFIG entry) ─────────
 // `sliceModules` types the shell's reads off the two dynamically imported

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

@@ -8,6 +8,7 @@ import * as Stream from "effect/Stream";
 import * as Primitive_exceptions from "@rescript/runtime/lib/es6/Primitive_exceptions.js";
 import * as Util_Sury$Reventless from "@reventlessdev/reventless-spec/src/util/Util_Sury.res.mjs";
 import * as Projection$ReventlessCore from "@reventlessdev/reventless-core/src/Projection.res.mjs";
+import * as ViewChange$ReventlessCore from "@reventlessdev/reventless-core/src/ViewChange.res.mjs";
 import * as ProjectionEntryPoint_Ops$ReventlessAws from "./ProjectionEntryPoint_Ops.res.mjs";
 import * as StreamRoutedEntryPoint_Ops$ReventlessAws from "./StreamRoutedEntryPoint_Ops.res.mjs";
 
@@ -64,7 +65,25 @@ function decodeEnvelope(json) {
   };
 }
 
+function sourcesOf(json) {
+  let fields = Stdlib_Option.getOr(Stdlib_JSON.Decode.object(json), {});
+  let meta = Stdlib_Option.flatMap(fields["meta"], Stdlib_JSON.Decode.object);
+  let string = (d, k) => Stdlib_Option.flatMap(Stdlib_Option.flatMap(d, d => d[k]), Stdlib_JSON.Decode.string);
+  let msgId = string(meta, "msgId");
+  if (msgId === undefined) {
+    return [];
+  }
+  let match = ViewChange$ReventlessCore.entityOfEnvelope(fields);
+  return [{
+      msgId: msgId,
+      correlationId: string(meta, "correlationId"),
+      entityId: match[0],
+      entityType: match[1]
+    }];
+}
+
 function makeJsonEventsHandler(sliceName, eventSchema, project, queryDbOps, subIdConfig, stateSchema) {
+  let onChange = ViewChange$ReventlessCore.reporter(sliceName, sliceName, state => state);
   return stream => Stream.runForEach(Stream.flatMap(Stream.mapEffect(stream, json => Effect.sync(() => {
     try {
       let match = decodeEnvelope(json);
@@ -74,11 +93,12 @@ function makeJsonEventsHandler(sliceName, eventSchema, project, queryDbOps, subI
         meta: match.meta,
         recordedAt: match.recordedAt
       });
-      if (producerTime === "") {
-        return actions;
-      } else {
-        return actions.map(__x => Projection$ReventlessCore.rewriteJsonAction(__x, producerTime, stateSchema));
-      }
+      let sources = sourcesOf(json);
+      let actions$1 = producerTime === "" ? actions : actions.map(__x => Projection$ReventlessCore.rewriteJsonAction(__x, producerTime, stateSchema));
+      return actions$1.map(action => [
+        action,
+        sources
+      ]);
     } catch (raw_exn) {
       let exn = Primitive_exceptions.internalToException(raw_exn);
       StreamRoutedEntryPoint_Ops$ReventlessAws.logError("failed to decode event", {
@@ -87,7 +107,11 @@ function makeJsonEventsHandler(sliceName, eventSchema, project, queryDbOps, subI
       });
       return [];
     }
-  })), actions => Stream.fromIterable(actions)), action => Effect.map(Effect.promise(() => Projection$ReventlessCore.handleAction(sliceName, action, queryDbOps, subIdConfig)), param => {}));
+  })), actions => Stream.fromIterable(actions)), param => {
+    let sources = param[1];
+    let action = param[0];
+    return Effect.map(Effect.promise(() => Projection$ReventlessCore.handleAction(sliceName, sources, onChange, action, queryDbOps, subIdConfig)), param => {});
+  });
 }
 
 function makeRegisteredHandler(entry, modules) {
@@ -106,6 +130,7 @@ export {
   parseHandlerConfig,
   decodeEnvelope,
   exnMessage,
+  sourcesOf,
   makeJsonEventsHandler,
   makeRegisteredHandler,
 }

package/tests/AutomationSliceEntryPoint_OpsTest.res

@@ -388,7 +388,7 @@ describe("AutomationSliceEntryPoint_Ops.makeOutboundJsonEventsHandler", () => {
     let received = ref([])
     let callback: AutomationSliceEntryPoint_Ops.outboundCallback<outboundEvent> = {
       todoItems: Dict.make(),
-      phase1: async (events, ~capabilities as _) => {
+      phase1: async (events, ~metas as _=?, ~capabilities as _) => {
         received := events
         steps->Array.push("phase1")
       },

package/tests/AutomationSliceEntryPoint_OpsTest.res.mjs

@@ -581,7 +581,7 @@ globalThis.describe("AutomationSliceEntryPoint_Ops.makeOutboundJsonEventsHandler
       contents: []
     };
     let callback_todoItems = {};
-    let callback_phase1 = async (events, param) => {
+    let callback_phase1 = async (events, param, param$1) => {
       received.contents = events;
       steps.push("phase1");
     };