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

package/CHANGELOG.md

@@ -3,6 +3,22 @@
 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.418 (2026-11-01)
+
+**Note:** Version bump only for package @reventlessdev/reventless-aws
+
+
+
+
+
+# 3.0.0-alpha.417 (2026-10-30)
+
+**Note:** Version bump only for package @reventlessdev/reventless-aws
+
+
+
+
+
 # 3.0.0-alpha.416 (2026-10-30)
 
 **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.416",
+  "version": "3.0.0-alpha.418",
   "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-effect": "1.0.0-alpha.1",
     "@reventlessdev/rescript-aws-sdk": "3.0.0-alpha.37",
+    "@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-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.324",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.219",
-    "@reventlessdev/reventless-postgres": "3.0.0-alpha.188",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.190",
-    "@reventlessdev/reventless-interop": "3.0.0-alpha.42"
+    "@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-interop": "3.0.0-alpha.42",
+    "@reventlessdev/rescript-web": "1.0.0-alpha.8",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.191"
   },
   "devDependencies": {
     "rescript": "12.3.1",

package/src/adapter/Runtime/AggregateEntryPoint.mjs

@@ -137,12 +137,22 @@ async function checkPluginStatus(event) {
 // Postgres EventLog runtime; absence keeps the DynamoDB path byte-identical.
 // `eventLogTableName` doubles as the Postgres `event_log.log_name` discriminator
 // (all aggregates share one Postgres table, unlike DynamoDB's table-per-aggregate).
-function buildAggregateParts(specModule, decisionModule, eventLogTableName, queueUrl, pgConnection) {
+// Exported for tests, which pass `makeStorage` to stand an in-memory storage in for
+// DynamoDB and drive the functor wiring below exactly as a deployed handler does
+// (tests/AggregateEntryPoint_WiringTest.res).
+export function buildAggregateParts(
+  specModule,
+  decisionModule,
+  eventLogTableName,
+  queueUrl,
+  pgConnection,
+  makeStorage = makeStorageOps,
+) {
   const patchedSpec = patchSpecId(specModule);
   // Typed core: backend-specific EventLog storage ops (Postgres when pgConnection
   // is present, else DynamoDB). Returns the full 6-field EventLog_Adapter.operations
   // — the shell previously dropped latestSnapshot/writeSnapshot.
-  const rawStorageOps = makeStorageOps(eventLogTableName, pgConnection);
+  const rawStorageOps = makeStorage(eventLogTableName, pgConnection);
   const eventLogOps = eventLogOperationsMake(patchedSpec)({
     Spec: patchedSpec,
     EventTopic: { Spec: patchedSpec },

package/tests/AggregateEntryPoint_WiringTest.res

@@ -0,0 +1,124 @@
+// The deployed aggregate handler, wired exactly as `AggregateEntryPoint.mjs` wires it,
+// over an in-memory storage in place of DynamoDB.
+//
+// The shell is hand-written JS that passes the compiled EventLog operations MODULE
+// where the aggregate callback expects the `EventLog.operations` RECORD, so a field
+// the record has and the module does not export under the same name type-checks
+// everywhere and fails only in a Lambda. That is how a primed field
+// (`replayStream'`, exported as `replayStream$p`) took down every command of the
+// platform's Plugin aggregate on AWS while every in-process test passed. The
+// command that broke was a derived one — it carries the stable-id header, which
+// sends the handler down the cause-reading replay — so that is the command sent
+// here, its redelivery, and a plain command, which between them reach every
+// operation the aggregate callback reads.
+
+open JestGlobals
+
+module Spec = AggTestAggregate
+
+// ── An in-memory storage, typed by the contract the shell's storage satisfies ──
+
+let stored: dict<array<JSON.t>> = Dict.make()
+
+let storage: ReventlessCore.EventLog_Adapter.operations = {
+  append: async (seq, id, events) => {
+    let current = stored->Dict.get(id)->Option.getOr([])
+    if current->Array.length != seq {
+      Error(ReventlessCore.EventLog.Conflict)
+    } else {
+      stored->Dict.set(id, current->Array.concat(events))
+      Ok()
+    }
+  },
+  replay: async id => stored->Dict.get(id)->Option.getOr([]),
+  replayStream: (id, ~fromSeq=0) =>
+    Stream.fromIterable(stored->Dict.get(id)->Option.getOr([])->Array.slice(~start=fromSeq)),
+  appendStream: (_, _, _) => Effect.succeed(),
+  latestSnapshot: async _ => Ok(None),
+  writeSnapshot: async (_, _) => Ok(),
+}
+
+// ── The shell's own wiring ────────────────────────────────────────────────────
+
+type parts = {handleJsonCommands: ReventlessCore.CommandTopic_Helpers.jsonCommandsHandler}
+
+let buildParts: ReventlessCore.EventLog_Adapter.operations => promise<parts> = %raw(`
+  async (storage) => {
+    const { buildAggregateParts } = await import(
+      "@reventlessdev/reventless-aws/src/adapter/Runtime/AggregateEntryPoint.mjs"
+    );
+    const spec = await import("./integration/AggTestAggregate.res.mjs");
+    const decision = await import("./integration/AggTestAggregateDecision.res.mjs");
+    return buildAggregateParts(
+      spec,
+      decision,
+      "agg-wiring-test",
+      "https://sqs.eu-west-1.amazonaws.com/000000000000/agg-wiring-test",
+      undefined,
+      () => storage,
+    );
+  }
+`)
+
+/** A command a mapping derived: its id is stable across redeliveries, and the
+    header says so. */
+let derived = (~id, ~msgId, name): JSON.t => {
+  let meta: Reventless.Message.meta = {
+    service: "AggWiringTest",
+    time: "2026-11-01T00:00:00.000Z",
+    msgId,
+    correlationId: msgId,
+    headers: Dict.fromArray([(ReventlessInfra.Message.stableIdHeader, "true")]),
+  }
+  ReventlessCore.Message.encodeCommand'(
+    {
+      Reventless.Message.id: Reventless.Id.String.makeFromString(id),
+      meta,
+      command: Spec.Add({name: name}),
+    },
+    Reventless.Id.String.schema,
+    Spec.commandSchema,
+  )
+}
+
+let send = async (parts: parts, json) =>
+  await parts.handleJsonCommands(
+    Stream.fromIterable([{ReventlessInfra.CommandTopic.reference: "r", command: json}]),
+  )->Effect.runPromise
+
+describe("the deployed aggregate handler's wiring", () => {
+  beforeEach(() => stored->Dict.keysToArray->Array.forEach(k => stored->Dict.delete(k)))
+
+  testPromise("handles a derived command, which replays its stream with causes", async () => {
+    let parts = await buildParts(storage)
+    let results = await send(parts, derived(~id="a-1", ~msgId="m-1", "first"))
+    expect(results->Array.every(Result.isOk))->toBe(true)
+    expect(stored->Dict.get("a-1")->Option.map(Array.length))->toEqual(Some(1))
+  })
+
+  testPromise("appends nothing for a redelivery of a derived command", async () => {
+    let parts = await buildParts(storage)
+    let _ = await send(parts, derived(~id="a-2", ~msgId="m-2", "first"))
+    let again = await send(parts, derived(~id="a-2", ~msgId="m-2", "first"))
+    expect(again->Array.every(Result.isOk))->toBe(true)
+    expect(stored->Dict.get("a-2")->Option.map(Array.length))->toEqual(Some(1))
+  })
+
+  // An API command: no stable id, so the handler seeds from the snapshot read and
+  // replays events alone — the other operations the shell's module must carry.
+  testPromise("handles a command with a fresh id after a derived one", async () => {
+    let parts = await buildParts(storage)
+    let _ = await send(parts, derived(~id="a-3", ~msgId="m-3", "first"))
+    let fresh = derived(~id="a-3", ~msgId="m-4", "second")
+    switch fresh {
+    | Object(d) =>
+      d
+      ->Dict.get("meta")
+      ->Option.flatMap(JSON.Decode.object)
+      ->Option.forEach(meta => meta->Dict.delete("headers"))
+    | _ => ()
+    }
+    let results = await send(parts, fresh)
+    expect(results->Array.every(Result.isOk))->toBe(true)
+  })
+})

package/tests/AggregateEntryPoint_WiringTest.res.mjs

@@ -0,0 +1,152 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Stdlib_Dict from "@rescript/runtime/lib/es6/Stdlib_Dict.js";
+import * as Stdlib_JSON from "@rescript/runtime/lib/es6/Stdlib_JSON.js";
+import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
+import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
+import * as Stdlib_Result from "@rescript/runtime/lib/es6/Stdlib_Result.js";
+import * as Effect from "effect/Effect";
+import * as Stream from "effect/Stream";
+import * as Message$ReventlessCore from "@reventlessdev/reventless-core/src/Message.res.mjs";
+import * as Message$ReventlessInfra from "@reventlessdev/reventless-infra/src/types/Message.res.mjs";
+import * as AggTestAggregate$ReventlessAws from "./integration/AggTestAggregate.res.mjs";
+
+let stored = {};
+
+async function storage_append(seq, id, events) {
+  let current = Stdlib_Option.getOr(stored[id], []);
+  if (current.length !== seq) {
+    return {
+      TAG: "Error",
+      _0: "Conflict"
+    };
+  } else {
+    stored[id] = current.concat(events);
+    return {
+      TAG: "Ok",
+      _0: undefined
+    };
+  }
+}
+
+async function storage_replay(id) {
+  return Stdlib_Option.getOr(stored[id], []);
+}
+
+function storage_replayStream(id, fromSeqOpt) {
+  let fromSeq = fromSeqOpt !== undefined ? fromSeqOpt : 0;
+  return Stream.fromIterable(Stdlib_Option.getOr(stored[id], []).slice(fromSeq));
+}
+
+function storage_appendStream(param, param$1, param$2) {
+  return Effect.succeed();
+}
+
+async function storage_latestSnapshot(param) {
+  return {
+    TAG: "Ok",
+    _0: undefined
+  };
+}
+
+async function storage_writeSnapshot(param, param$1) {
+  return {
+    TAG: "Ok",
+    _0: undefined
+  };
+}
+
+let storage = {
+  append: storage_append,
+  replay: storage_replay,
+  replayStream: storage_replayStream,
+  appendStream: storage_appendStream,
+  latestSnapshot: storage_latestSnapshot,
+  writeSnapshot: storage_writeSnapshot
+};
+
+let buildParts = (async (storage) => {
+    const { buildAggregateParts } = await import(
+      "@reventlessdev/reventless-aws/src/adapter/Runtime/AggregateEntryPoint.mjs"
+    );
+    const spec = await import("./integration/AggTestAggregate.res.mjs");
+    const decision = await import("./integration/AggTestAggregateDecision.res.mjs");
+    return buildAggregateParts(
+      spec,
+      decision,
+      "agg-wiring-test",
+      "https://sqs.eu-west-1.amazonaws.com/000000000000/agg-wiring-test",
+      undefined,
+      () => storage,
+    );
+  });
+
+function derived(id, msgId, name) {
+  let meta_headers = Object.fromEntries([[
+      Message$ReventlessInfra.stableIdHeader,
+      "true"
+    ]]);
+  let meta = {
+    service: "AggWiringTest",
+    time: "2026-11-01T00:00:00.000Z",
+    msgId: msgId,
+    correlationId: msgId,
+    headers: meta_headers
+  };
+  return Message$ReventlessCore.encodeCommand$p({
+    id: Id$Reventless.$$String.makeFromString(id),
+    meta: meta,
+    command: {
+      TAG: "Add",
+      name: name
+    }
+  }, Id$Reventless.$$String.schema, AggTestAggregate$ReventlessAws.commandSchema);
+}
+
+async function send(parts, json) {
+  return await Effect.runPromise(parts.handleJsonCommands(Stream.fromIterable([{
+      command: json,
+      reference: "r"
+    }])));
+}
+
+globalThis.describe("the deployed aggregate handler's wiring", () => {
+  globalThis.beforeEach(() => {
+    Object.keys(stored).forEach(k => Stdlib_Dict.$$delete(stored, k));
+  });
+  globalThis.test("handles a derived command, which replays its stream with causes", async () => {
+    let parts = await buildParts(storage);
+    let results = await send(parts, derived("a-1", "m-1", "first"));
+    globalThis.expect(results.every(Stdlib_Result.isOk)).toBe(true);
+    globalThis.expect(Stdlib_Option.map(stored["a-1"], prim => prim.length)).toEqual(1);
+  });
+  globalThis.test("appends nothing for a redelivery of a derived command", async () => {
+    let parts = await buildParts(storage);
+    await send(parts, derived("a-2", "m-2", "first"));
+    let again = await send(parts, derived("a-2", "m-2", "first"));
+    globalThis.expect(again.every(Stdlib_Result.isOk)).toBe(true);
+    globalThis.expect(Stdlib_Option.map(stored["a-2"], prim => prim.length)).toEqual(1);
+  });
+  globalThis.test("handles a command with a fresh id after a derived one", async () => {
+    let parts = await buildParts(storage);
+    await send(parts, derived("a-3", "m-3", "first"));
+    let fresh = derived("a-3", "m-4", "second");
+    if (typeof fresh === "object" && fresh !== null && !Array.isArray(fresh)) {
+      Stdlib_Option.forEach(Stdlib_Option.flatMap(fresh["meta"], Stdlib_JSON.Decode.object), meta => Stdlib_Dict.$$delete(meta, "headers"));
+    }
+    let results = await send(parts, fresh);
+    globalThis.expect(results.every(Stdlib_Result.isOk)).toBe(true);
+  });
+});
+
+let Spec;
+
+export {
+  Spec,
+  stored,
+  storage,
+  buildParts,
+  derived,
+  send,
+}
+/* buildParts Not a pure module */