@reventlessdev/reventless-core 3.0.0-alpha.180 → 3.0.0-alpha.181

package/tests/dcb/DcbStateChangeSliceTest.res.mjs

@@ -0,0 +1,540 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
+import * as Effect from "effect/Effect";
+import * as Stream from "effect/Stream";
+import * as DcbFixtures$ReventlessCore from "./DcbFixtures.res.mjs";
+import * as DcbEventLog_Operations$ReventlessCore from "../../src/components/DcbEventLog/DcbEventLog_Operations.res.mjs";
+import * as StateChangeSlice_Callback$ReventlessCore from "../../src/components/StateChangeSlice/StateChangeSlice_Callback.res.mjs";
+
+let mock = DcbFixtures$ReventlessCore.makeMockStorage();
+
+let storage = mock.operations;
+
+let publishJson = mock.mockPublishJson;
+
+let TestDcbOps = {
+  name: "TestDcbEventLog",
+  serviceName: "TestDcbEventLog",
+  storage: storage,
+  publishJson: publishJson
+};
+
+let EventLogOps = DcbEventLog_Operations$ReventlessCore.Make(TestDcbOps);
+
+let testDcbEventLog_read = EventLogOps.read;
+
+let testDcbEventLog_append = EventLogOps.append;
+
+let testDcbEventLog_readStream = EventLogOps.readStream;
+
+let testDcbEventLog_appendStream = EventLogOps.appendStream;
+
+let testDcbEventLog = {
+  read: testDcbEventLog_read,
+  append: testDcbEventLog_append,
+  readStream: testDcbEventLog_readStream,
+  appendStream: testDcbEventLog_appendStream
+};
+
+let initialState = DcbFixtures$ReventlessCore.TestCommandSpec.initialState;
+
+let evolve = DcbFixtures$ReventlessCore.TestCommandSpec.evolve;
+
+let decide = DcbFixtures$ReventlessCore.TestCommandSpec.decide;
+
+let moduleUrl = DcbFixtures$ReventlessCore.TestCommandSpec.moduleUrl;
+
+let TestCommandBehavior = {
+  initialState: initialState,
+  evolve: evolve,
+  decide: decide,
+  moduleUrl: moduleUrl
+};
+
+let TestHandler = StateChangeSlice_Callback$ReventlessCore.Make({
+  name: DcbFixtures$ReventlessCore.TestCommandSpec.name,
+  moduleUrl: DcbFixtures$ReventlessCore.TestCommandSpec.moduleUrl,
+  Id: Id$Reventless.$$String,
+  consumedEventSchema: DcbFixtures$ReventlessCore.TestCommandSpec.consumedEventSchema,
+  errorSchema: DcbFixtures$ReventlessCore.TestCommandSpec.errorSchema,
+  eventSchema: DcbFixtures$ReventlessCore.TestCommandSpec.eventSchema,
+  commandSchema: DcbFixtures$ReventlessCore.TestCommandSpec.commandSchema,
+  commandAuthorization: DcbFixtures$ReventlessCore.TestCommandSpec.commandAuthorization,
+  readConsistency: DcbFixtures$ReventlessCore.TestCommandSpec.readConsistency
+})(TestCommandBehavior);
+
+let name = DcbFixtures$ReventlessCore.TestCommandSpec.name;
+
+let moduleUrl$1 = DcbFixtures$ReventlessCore.TestCommandSpec.moduleUrl;
+
+let eventSchema = DcbFixtures$ReventlessCore.TestCommandSpec.eventSchema;
+
+let consumedEventSchema = DcbFixtures$ReventlessCore.TestCommandSpec.consumedEventSchema;
+
+let commandSchema = DcbFixtures$ReventlessCore.TestCommandSpec.commandSchema;
+
+let errorSchema = DcbFixtures$ReventlessCore.TestCommandSpec.errorSchema;
+
+let commandAuthorization = DcbFixtures$ReventlessCore.TestCommandSpec.commandAuthorization;
+
+let StrongSpec_Id = DcbFixtures$ReventlessCore.TestCommandSpec.Id;
+
+let StrongSpec_initialState = DcbFixtures$ReventlessCore.TestCommandSpec.initialState;
+
+let StrongSpec_evolve = DcbFixtures$ReventlessCore.TestCommandSpec.evolve;
+
+let StrongSpec_decide = DcbFixtures$ReventlessCore.TestCommandSpec.decide;
+
+let StrongSpec = {
+  name: name,
+  Id: StrongSpec_Id,
+  moduleUrl: moduleUrl$1,
+  eventSchema: eventSchema,
+  consumedEventSchema: consumedEventSchema,
+  commandSchema: commandSchema,
+  errorSchema: errorSchema,
+  initialState: StrongSpec_initialState,
+  evolve: StrongSpec_evolve,
+  decide: StrongSpec_decide,
+  commandAuthorization: commandAuthorization,
+  readConsistency: "AlwaysStrong"
+};
+
+let name$1 = DcbFixtures$ReventlessCore.TestCommandSpec.name;
+
+let moduleUrl$2 = DcbFixtures$ReventlessCore.TestCommandSpec.moduleUrl;
+
+let eventSchema$1 = DcbFixtures$ReventlessCore.TestCommandSpec.eventSchema;
+
+let consumedEventSchema$1 = DcbFixtures$ReventlessCore.TestCommandSpec.consumedEventSchema;
+
+let commandSchema$1 = DcbFixtures$ReventlessCore.TestCommandSpec.commandSchema;
+
+let errorSchema$1 = DcbFixtures$ReventlessCore.TestCommandSpec.errorSchema;
+
+let commandAuthorization$1 = DcbFixtures$ReventlessCore.TestCommandSpec.commandAuthorization;
+
+let EventualSpec_Id = DcbFixtures$ReventlessCore.TestCommandSpec.Id;
+
+let EventualSpec_initialState = DcbFixtures$ReventlessCore.TestCommandSpec.initialState;
+
+let EventualSpec_evolve = DcbFixtures$ReventlessCore.TestCommandSpec.evolve;
+
+let EventualSpec_decide = DcbFixtures$ReventlessCore.TestCommandSpec.decide;
+
+let EventualSpec = {
+  name: name$1,
+  Id: EventualSpec_Id,
+  moduleUrl: moduleUrl$2,
+  eventSchema: eventSchema$1,
+  consumedEventSchema: consumedEventSchema$1,
+  commandSchema: commandSchema$1,
+  errorSchema: errorSchema$1,
+  initialState: EventualSpec_initialState,
+  evolve: EventualSpec_evolve,
+  decide: EventualSpec_decide,
+  commandAuthorization: commandAuthorization$1,
+  readConsistency: "AlwaysEventual"
+};
+
+let StrongHandler = StateChangeSlice_Callback$ReventlessCore.Make({
+  name: name,
+  moduleUrl: moduleUrl$1,
+  Id: Id$Reventless.$$String,
+  consumedEventSchema: consumedEventSchema,
+  errorSchema: errorSchema,
+  eventSchema: eventSchema,
+  commandSchema: commandSchema,
+  commandAuthorization: commandAuthorization,
+  readConsistency: "AlwaysStrong"
+})(TestCommandBehavior);
+
+let EventualHandler = StateChangeSlice_Callback$ReventlessCore.Make({
+  name: name$1,
+  moduleUrl: moduleUrl$2,
+  Id: Id$Reventless.$$String,
+  consumedEventSchema: consumedEventSchema$1,
+  errorSchema: errorSchema$1,
+  eventSchema: eventSchema$1,
+  commandSchema: commandSchema$1,
+  commandAuthorization: commandAuthorization$1,
+  readConsistency: "AlwaysEventual"
+})(TestCommandBehavior);
+
+function makeTopicItem(reference, command) {
+  return {
+    command: {
+      id: Id$Reventless.$$String.makeFromString("cmd-" + reference),
+      meta: DcbFixtures$ReventlessCore.testMeta,
+      command: command
+    },
+    reference: reference
+  };
+}
+
+globalThis.beforeEach(() => {
+  mock.reset();
+  TestHandler.resetCache();
+  StrongHandler.resetCache();
+  EventualHandler.resetCache();
+});
+
+globalThis.describe("StateChangeSlice_Callback:", () => {
+  globalThis.describe("handleCommands - happy path", () => {
+    globalThis.test("CreateItem on empty log succeeds", async () => {
+      let results = await Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem("ref-1", {
+          TAG: "CreateItem",
+          itemId: "item-1",
+          name: "Test"
+        })])));
+      globalThis.expect([
+        results,
+        mock.getEvents().length,
+        mock.publishedEvents.contents.length
+      ]).toEqual([
+        [{
+            TAG: "Ok",
+            _0: "ref-1"
+          }],
+        1,
+        1
+      ]);
+    });
+    globalThis.test("stored event carries only its entity tags (no framework provenance tag)", async () => {
+      await Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem("ref-1", {
+          TAG: "CreateItem",
+          itemId: "item-1",
+          name: "Test"
+        })])));
+      let storedEvent = mock.getEvents()[0];
+      globalThis.expect(storedEvent.tags).toEqual([{
+          key: "itemId",
+          value: "item-1"
+        }]);
+    });
+  });
+  globalThis.describe("handleCommands - decide returns Ok([])", () => {
+    globalThis.test("NoOp returns Ok without storing events", async () => {
+      let results = await Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem("ref-noop", "NoOp")])));
+      globalThis.expect([
+        results,
+        mock.getEvents().length
+      ]).toEqual([
+        [{
+            TAG: "Ok",
+            _0: "ref-noop"
+          }],
+        0
+      ]);
+    });
+  });
+  globalThis.describe("handleCommands - decide returns Error", () => {
+    globalThis.test("CreateItem when item exists returns Ok (business-rule violations ACK, not NACK)", async () => {
+      await Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem("ref-1", {
+          TAG: "CreateItem",
+          itemId: "item-1",
+          name: "Test"
+        })])));
+      let results = await Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem("ref-2", {
+          TAG: "CreateItem",
+          itemId: "item-1",
+          name: "Duplicate"
+        })])));
+      globalThis.expect(results).toEqual([{
+          TAG: "Ok",
+          _0: "ref-2"
+        }]);
+    });
+  });
+  globalThis.describe("handleCommands - retry on conflict", () => {
+    globalThis.test("retries and succeeds after 1 append failure", async () => {
+      mock.failNextAppends.contents = 1;
+      let results = await Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem("ref-1", {
+          TAG: "CreateItem",
+          itemId: "item-1",
+          name: "Test"
+        })])));
+      globalThis.expect([
+        results,
+        mock.getEvents().length
+      ]).toEqual([
+        [{
+            TAG: "Ok",
+            _0: "ref-1"
+          }],
+        1
+      ]);
+    });
+    globalThis.test("returns Error after retries exhausted (4 failures)", async () => {
+      mock.failNextAppends.contents = 4;
+      let results = await Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem("ref-1", {
+          TAG: "CreateItem",
+          itemId: "item-1",
+          name: "Test"
+        })])));
+      globalThis.expect([
+        results,
+        mock.getEvents().length
+      ]).toEqual([
+        [{
+            TAG: "Error",
+            _0: "ref-1"
+          }],
+        0
+      ]);
+    });
+  });
+  globalThis.describe("handleCommands - read consistency (eventual-first, strong-on-retry)", () => {
+    globalThis.test("a conflict-free command reads eventually-consistent (no strong read)", async () => {
+      await Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem("ref-1", {
+          TAG: "CreateItem",
+          itemId: "item-1",
+          name: "Test"
+        })])));
+      globalThis.expect(mock.readStrongConsistency.contents).toEqual([false]);
+    });
+    globalThis.test("escalates to strong consistency on retry after a conflict", async () => {
+      mock.failNextAppends.contents = 1;
+      await Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem("ref-1", {
+          TAG: "CreateItem",
+          itemId: "item-1",
+          name: "Test"
+        })])));
+      globalThis.expect(mock.readStrongConsistency.contents).toEqual([
+        false,
+        true
+      ]);
+    });
+    globalThis.test("every retry after the first is strong (2 failures)", async () => {
+      mock.failNextAppends.contents = 2;
+      await Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem("ref-1", {
+          TAG: "CreateItem",
+          itemId: "item-1",
+          name: "Test"
+        })])));
+      globalThis.expect(mock.readStrongConsistency.contents).toEqual([
+        false,
+        true,
+        true
+      ]);
+    });
+  });
+  globalThis.describe("handleCommands - read consistency (per-slice override)", () => {
+    globalThis.test("AlwaysStrong reads strong on the first attempt", async () => {
+      await Effect.runPromise(StrongHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem("ref-1", {
+          TAG: "CreateItem",
+          itemId: "item-1",
+          name: "Test"
+        })])));
+      globalThis.expect(mock.readStrongConsistency.contents).toEqual([true]);
+    });
+    globalThis.test("AlwaysStrong stays strong across retries (2 failures)", async () => {
+      mock.failNextAppends.contents = 2;
+      await Effect.runPromise(StrongHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem("ref-1", {
+          TAG: "CreateItem",
+          itemId: "item-1",
+          name: "Test"
+        })])));
+      globalThis.expect(mock.readStrongConsistency.contents).toEqual([
+        true,
+        true,
+        true
+      ]);
+    });
+    globalThis.test("AlwaysEventual never reads strong, even on retry (2 failures)", async () => {
+      mock.failNextAppends.contents = 2;
+      await Effect.runPromise(EventualHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem("ref-1", {
+          TAG: "CreateItem",
+          itemId: "item-1",
+          name: "Test"
+        })])));
+      globalThis.expect(mock.readStrongConsistency.contents).toEqual([
+        false,
+        false,
+        false
+      ]);
+    });
+  });
+  globalThis.describe("handleCommands - conditional append", () => {
+    globalThis.test("RenameItem after CreateItem uses headPosition in condition", async () => {
+      await Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem("ref-1", {
+          TAG: "CreateItem",
+          itemId: "item-1",
+          name: "Test"
+        })])));
+      let results = await Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem("ref-2", {
+          TAG: "RenameItem",
+          itemId: "item-1",
+          newName: "Updated"
+        })])));
+      globalThis.expect([
+        results,
+        mock.getEvents().length
+      ]).toEqual([
+        [{
+            TAG: "Ok",
+            _0: "ref-2"
+          }],
+        2
+      ]);
+    });
+  });
+  globalThis.describe("handleCommands - batch", () => {
+    globalThis.test("multiple successful commands", async () => {
+      let results = await Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([
+        makeTopicItem("ref-1", {
+          TAG: "CreateItem",
+          itemId: "item-1",
+          name: "First"
+        }),
+        makeTopicItem("ref-2", {
+          TAG: "CreateItem",
+          itemId: "item-2",
+          name: "Second"
+        })
+      ])));
+      globalThis.expect(results).toEqual([
+        {
+          TAG: "Ok",
+          _0: "ref-1"
+        },
+        {
+          TAG: "Ok",
+          _0: "ref-2"
+        }
+      ]);
+    });
+    globalThis.test("mixed: new item succeeds, duplicate item ACKs as Ok (business-rule violation)", async () => {
+      await Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem("ref-0", {
+          TAG: "CreateItem",
+          itemId: "item-1",
+          name: "Existing"
+        })])));
+      let results = await Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([
+        makeTopicItem("ref-1", {
+          TAG: "CreateItem",
+          itemId: "item-2",
+          name: "New"
+        }),
+        makeTopicItem("ref-2", {
+          TAG: "CreateItem",
+          itemId: "item-1",
+          name: "Duplicate"
+        })
+      ])));
+      globalThis.expect(results).toEqual([
+        {
+          TAG: "Ok",
+          _0: "ref-1"
+        },
+        {
+          TAG: "Ok",
+          _0: "ref-2"
+        }
+      ]);
+    });
+    globalThis.test("empty batch returns empty array", async () => {
+      let results = await Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([])));
+      globalThis.expect(results).toEqual([]);
+    });
+  });
+  globalThis.describe("handleCommands - projection cache", () => {
+    globalThis.test("a third same-entity command reads only the delta", async () => {
+      let run = (reference, command) => Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem(reference, command)])));
+      await run("ref-1", {
+        TAG: "CreateItem",
+        itemId: "item-1",
+        name: "A"
+      });
+      await run("ref-2", {
+        TAG: "RenameItem",
+        itemId: "item-1",
+        newName: "B"
+      });
+      let r3 = await run("ref-3", {
+        TAG: "RenameItem",
+        itemId: "item-1",
+        newName: "C"
+      });
+      globalThis.expect([
+        r3,
+        mock.readAfters.contents,
+        mock.getEvents().length
+      ]).toEqual([
+        [{
+            TAG: "Ok",
+            _0: "ref-3"
+          }],
+        [
+          undefined,
+          undefined,
+          "1"
+        ],
+        3
+      ]);
+    });
+    globalThis.test("a different entity does not hit another entity's cache (full read)", async () => {
+      let run = (reference, command) => Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem(reference, command)])));
+      await run("ref-1", {
+        TAG: "CreateItem",
+        itemId: "item-1",
+        name: "A"
+      });
+      await run("ref-2", {
+        TAG: "CreateItem",
+        itemId: "item-2",
+        name: "B"
+      });
+      globalThis.expect(mock.readAfters.contents).toEqual([
+        undefined,
+        undefined
+      ]);
+    });
+    globalThis.test("conflict re-seeds the cache so the retry reads the delta", async () => {
+      let run = (reference, command) => Effect.runPromise(TestHandler.handleCommands(undefined, undefined, testDcbEventLog, Stream.fromIterable([makeTopicItem(reference, command)])));
+      await run("ref-1", {
+        TAG: "CreateItem",
+        itemId: "item-1",
+        name: "A"
+      });
+      mock.failNextAppends.contents = 1;
+      let r2 = await run("ref-2", {
+        TAG: "RenameItem",
+        itemId: "item-1",
+        newName: "B"
+      });
+      globalThis.expect([
+        r2,
+        mock.readAfters.contents,
+        mock.getEvents().length
+      ]).toEqual([
+        [{
+            TAG: "Ok",
+            _0: "ref-2"
+          }],
+        [
+          undefined,
+          undefined,
+          "1"
+        ],
+        2
+      ]);
+    });
+  });
+});
+
+export {
+  mock,
+  TestDcbOps,
+  EventLogOps,
+  testDcbEventLog,
+  TestCommandBehavior,
+  TestHandler,
+  StrongSpec,
+  EventualSpec,
+  StrongHandler,
+  EventualHandler,
+  makeTopicItem,
+}
+/* mock Not a pure module */