@reventlessdev/reventless-local 3.0.0-alpha.113

package/tests/components/querydb/QueryDbTest.res.mjs

@@ -0,0 +1,126 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Stream from "@reventlessdev/rescript-effect/src/Stream.res.mjs";
+import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
+import * as Effect from "effect/Effect";
+import * as Component$ReventlessCore from "@reventlessdev/reventless-core/src/components/Component.res.mjs";
+import * as TestRunner$ReventlessLocal from "../../../src/test/TestRunner.res.mjs";
+import * as QueryDbFixtures$ReventlessLocal from "./QueryDbFixtures.res.mjs";
+
+globalThis.describe("QueryDb (in-memory)", () => {
+  globalThis.beforeAll(async () => {
+    await TestRunner$ReventlessLocal.resolve(Component$ReventlessCore.operations(QueryDbFixtures$ReventlessLocal.queryDb));
+  });
+  globalThis.test("loadStream returns empty for unknown id", async () => {
+    let ops = await TestRunner$ReventlessLocal.resolve(Component$ReventlessCore.operations(QueryDbFixtures$ReventlessLocal.queryDb));
+    let result = await Effect.runPromise(Stream.runCollect(ops.loadStream("unknown-id")));
+    globalThis.expect(result).toEqual([]);
+  });
+  globalThis.test("save and loadStream round-trip", async () => {
+    let ops = await TestRunner$ReventlessLocal.resolve(Component$ReventlessCore.operations(QueryDbFixtures$ReventlessLocal.queryDb));
+    await ops.save("item-1", {
+      name: "Widget",
+      count: 5
+    }, "Init", undefined);
+    let result = await Effect.runPromise(Stream.runCollect(ops.loadStream("item-1")));
+    if (result.length !== 1) {
+      globalThis.expect("Expected [state]").toEqual("but got different result");
+      return;
+    }
+    let s = result[0];
+    globalThis.expect([
+      s.name,
+      s.count
+    ]).toEqual([
+      "Widget",
+      5
+    ]);
+  });
+  globalThis.test("save overwrites previous state", async () => {
+    let ops = await TestRunner$ReventlessLocal.resolve(Component$ReventlessCore.operations(QueryDbFixtures$ReventlessLocal.queryDb));
+    await ops.save("item-2", {
+      name: "Old",
+      count: 1
+    }, "Init", undefined);
+    await ops.save("item-2", {
+      name: "New",
+      count: 2
+    }, "Overwrite", undefined);
+    let result = await Effect.runPromise(Stream.runCollect(ops.loadStream("item-2")));
+    if (result.length !== 1) {
+      globalThis.expect("Expected [state]").toEqual("but got different result");
+      return;
+    }
+    let s = result[0];
+    globalThis.expect(s.name).toBe("New");
+  });
+  globalThis.test("saveBatch saves multiple states", async () => {
+    let ops = await TestRunner$ReventlessLocal.resolve(Component$ReventlessCore.operations(QueryDbFixtures$ReventlessLocal.queryDb));
+    let batch = [
+      [
+        "batch-1",
+        {
+          name: "Alpha",
+          count: 1
+        },
+        undefined
+      ],
+      [
+        "batch-2",
+        {
+          name: "Beta",
+          count: 2
+        },
+        undefined
+      ]
+    ];
+    await ops.saveBatch(batch);
+    let r1 = await Effect.runPromise(Stream.runCollect(ops.loadStream("batch-1")));
+    let r2 = await Effect.runPromise(Stream.runCollect(ops.loadStream("batch-2")));
+    globalThis.expect([
+      r1.length !== 0,
+      r2.length !== 0
+    ]).toEqual([
+      true,
+      true
+    ]);
+  });
+  globalThis.test("delete removes state", async () => {
+    let ops = await TestRunner$ReventlessLocal.resolve(Component$ReventlessCore.operations(QueryDbFixtures$ReventlessLocal.queryDb));
+    await ops.save("item-del", {
+      name: "ToDelete",
+      count: 0
+    }, "Init", undefined);
+    await ops.delete("item-del", undefined);
+    let result = await Effect.runPromise(Stream.runCollect(ops.loadStream("item-del")));
+    globalThis.expect(result).toEqual([]);
+  });
+  globalThis.test("loadStream emits saved states", async () => {
+    let ops = await TestRunner$ReventlessLocal.resolve(Component$ReventlessCore.operations(QueryDbFixtures$ReventlessLocal.queryDb));
+    await ops.save("stream-item", {
+      name: "Streamed",
+      count: 42
+    }, "Init", undefined);
+    let arr = await Effect.runPromise(Stream.runCollect(ops.loadStream("stream-item")));
+    globalThis.expect(arr.length).toBe(1);
+    let s = arr[0];
+    globalThis.expect([
+      s.name,
+      s.count
+    ]).toEqual([
+      "Streamed",
+      42
+    ]);
+  });
+  globalThis.test("loadStream returns empty for unknown id", async () => {
+    let ops = await TestRunner$ReventlessLocal.resolve(Component$ReventlessCore.operations(QueryDbFixtures$ReventlessLocal.queryDb));
+    let arr = await Effect.runPromise(Stream.runCollect(ops.loadStream("no-such-id")));
+    globalThis.expect(arr.length).toBe(0);
+  });
+  globalThis.test("registered in bus by component name", async () => {
+    let db = QueryDbFixtures$ReventlessLocal.Bus.getQueryDb("TestItemQueryDb");
+    globalThis.expect(Stdlib_Option.isSome(db)).toBe(true);
+  });
+});
+
+/*  Not a pure module */

package/tests/components/readmodel/DcbReadModelE2EFixtures.res

@@ -0,0 +1,215 @@
+// E2E test fixtures for DcbEventLog → ReadModel projection.
+// Wires a real DcbEventLog + StateChangeSlice + ReadModel and verifies that
+// events appended to the DCB log flow through the EventTopic and update the
+// ReadModel's QueryDb. Exercises the Phase 1.5 fix that aligns
+// `meta.service` with the `allEventTopics` dict key, plus the Phase 3
+// `Reventless.Projection.DcbSource` helper.
+//
+// Plan 03: docs/plans/mixed-source-readmodel.md
+
+open TestFixtures
+open Reventless
+open Reventless.Projection
+
+// ─────────────────────────────────────────────────────────────
+// DCB StateChangeSlice — emits events into a DCB EventLog
+// ─────────────────────────────────────────────────────────────
+
+module AddProductSpec = {
+  let name = "AddProduct"
+  module Id = Reventless.Id.String
+  let moduleUrl: string = %raw(`import.meta.url`)
+
+  @schema
+  type event =
+    ProductAdded({
+      productId: @s.matches(Reventless.DcbTag.string) string,
+      name: string,
+    })
+
+  @schema
+  type consumedEvent = ProductAdded
+
+  @schema
+  type command = AddProduct({
+    productId: @s.matches(Reventless.DcbTag.string) string,
+    name: string,
+  })
+
+  @schema
+  type error = ProductAlreadyExists
+
+  let commandSchema = commandSchema
+}
+
+module AddProductBehavior = {
+  module Spec = AddProductSpec
+  let moduleUrl: string = %raw(`import.meta.url`)
+
+  type state = bool
+  let initialState = false
+
+  let evolve = (_state: state, _event: Spec.consumedEvent) => true
+
+  let decide = (state: state, command: Spec.command): result<array<Spec.event>, Spec.error> =>
+    if state {
+      Error(ProductAlreadyExists)
+    } else {
+      switch command {
+      | AddProduct({productId, name}) => Ok([Spec.ProductAdded({productId, name})])
+      }
+    }
+}
+
+// ─────────────────────────────────────────────────────────────
+// DCB Source — name MUST match `<dcbName>DcbEventLog`
+// (= the dict key Plugin_Builder uses + the service stamped by
+//   DcbEventLog_Operations after Phase 1.5).
+//
+// Hand-rolled `Source`-shaped module: this is the canonical pattern. The
+// `Reventless.Projection.DcbSource.Make` helper is also available but requires
+// binding the inline definition to a name first (ReScript abstract-type
+// limitation), and the hand-rolled form is shorter for most cases.
+// ─────────────────────────────────────────────────────────────
+
+module ProductCatalogDcbSource = {
+  module Id = Reventless.Id.String
+  let name = "ProductCatalogDcbEventLog"
+
+  @schema
+  type event = ProductAdded({productId: string, name: string})
+}
+
+// ─────────────────────────────────────────────────────────────
+// ReadModel spec
+// ─────────────────────────────────────────────────────────────
+
+module ProductsReadModelSpec = {
+  module Id = Reventless.Id.String
+  let name = "TestProductsReadModel"
+  let moduleUrl: string = %raw(`import.meta.url`)
+
+  @schema
+  type state = {productId: string, name: string}
+
+  let config = ReadModel.config()
+  let subIdConfig = None
+}
+
+module ProductsFromDcb = Mapping.Make(
+  ProductCatalogDcbSource,
+  ProductsReadModelSpec,
+  {
+    let project = (msg: Message.event'<string, ProductCatalogDcbSource.event>) =>
+      switch msg.event {
+      | ProductAdded({productId, name}) =>
+        Set(productId, ({productId, name}: ProductsReadModelSpec.state))
+      }
+  },
+)
+
+module ProductsMappings: Mappings with module Target := ProductsReadModelSpec = {
+  module Mappings = Mappings.Make(ProductsReadModelSpec)
+  module type Mapping = Mappings.Mapping
+  let moduleUrl: string = %raw(`import.meta.url`)
+  let mappings: array<module(Mapping)> = [module(ProductsFromDcb)]
+}
+
+// ─────────────────────────────────────────────────────────────
+// Bus + Pulumi mock setup
+// ─────────────────────────────────────────────────────────────
+
+module Bus = LocalBus.Make()
+let _ = TestRunner.setup()
+
+// ─────────────────────────────────────────────────────────────
+// Build DcbEventLog (~name="ProductCatalog") and StateChangeSlice
+// ─────────────────────────────────────────────────────────────
+
+module DcbLogMaker = DcbEventLog_Builder.Make(Bus)
+let dcbEventLog = DcbLogMaker.make(
+  ~name="ProductCatalog",
+  ~partitionTag=Reventless.DcbTag.Simple({key: "productId"}),
+)
+
+module AddProductMaker = StateChangeSlice_Builder.Make(AddProductSpec, AddProductBehavior)
+
+let publishJsons: ReventlessInfra.CommandTopic.publishJsons = async cmdJsons => {
+  let _ = await cmdJsons
+  ->Array.map(async cmdJson => {
+    let typeName = switch cmdJson.commandJson {
+    | JSON.Object(dict) =>
+      dict
+      ->Dict.get("TAG")
+      ->Option.flatMap(j =>
+        switch j {
+        | JSON.String(s) => Some(s)
+        | _ => None
+        }
+      )
+      ->Option.getOr("")
+    | _ => ""
+    }
+    let fullBody = JSON.Encode.object(
+      Dict.fromArray([
+        ("id", JSON.Encode.string(cmdJson.id)),
+        ("meta", cmdJson.meta->S.reverseConvertToJsonOrThrow(Reventless.Message.metaSchema)),
+        ("command", cmdJson.commandJson),
+      ]),
+    )
+    let handlers = ReventlessCore.CommandTopic.getHandlers(typeName)
+    let _ = await handlers
+    ->Array.map(async entry => {
+      let item: ReventlessInfra.CommandTopic.topicItem<JSON.t> = {
+        reference: cmdJson.id,
+        command: fullBody,
+      }
+      let _ = await entry.handler(Stream.fromIterable([item]))->Effect.runPromise
+    })
+    ->Promise.all
+  })
+  ->Promise.all
+}
+
+let publishJsonsOutput = publishJsons->Pulumi.Output.make
+let _addProductSlice = AddProductMaker.make(~dcbEventLog, ~publishJsons=publishJsonsOutput)
+
+// ─────────────────────────────────────────────────────────────
+// Build allEventTopics and the ReadModel.
+// Mirrors how Plugin_Builder merges the DCB EventTopic into allEventTopics
+// under the key `<name> ++ "DcbEventLog"`.
+// ─────────────────────────────────────────────────────────────
+
+let dcbTopicOutputs: ReventlessInfra.EventTopic.outputs = (dcbEventLog->ReventlessInfra.Component.outputs).eventTopic
+
+let allEventTopics: ReventlessInfra.EventTopic.allOutputs = Dict.fromArray([
+  ("ProductCatalogDcbEventLog", dcbTopicOutputs),
+])
+
+module ReadModelMaker = ReadModel_Builder.Make(Bus)
+module ProductsReadModel = ReadModelMaker.Make(ProductsReadModelSpec, ProductsMappings)
+let rm = ProductsReadModel.make(~api=(), ~apiRole=(), ~allEventTopics)
+
+// ─────────────────────────────────────────────────────────────
+// Test helpers
+// ─────────────────────────────────────────────────────────────
+
+let dispatch = async (commandJson, id) =>
+  await publishJsons([{Reventless.Message.id, meta: testMeta, commandJson}])
+
+let addProductCmd = (productId, name) =>
+  AddProductSpec.AddProduct({productId, name})
+  ->S.reverseConvertToJsonOrThrow(AddProductSpec.commandSchema)
+
+let loadState = async productId => {
+  switch Bus.getQueryDb("TestProductsReadModel") {
+  | None => []
+  | Some(ops) =>
+    let states =
+      await ops.loadStream(productId)
+      ->Stream.runCollect
+      ->Effect.catchAll(_ => Effect.succeed([]))
+      ->Effect.runPromise
+    states->Array.map(json => json->S.parseJsonOrThrow(ProductsReadModelSpec.stateSchema))
+  }
+}

package/tests/components/readmodel/DcbReadModelE2EFixtures.res.mjs

@@ -0,0 +1,308 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+import * as Stream from "@reventlessdev/rescript-effect/src/Stream.res.mjs";
+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 Effect from "effect/Effect";
+import * as Stream$1 from "effect/Stream";
+import * as Pulumi from "@pulumi/pulumi";
+import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as Message$Reventless from "@reventlessdev/reventless-spec/src/types/Message.res.mjs";
+import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
+import * as Projection$Reventless from "@reventlessdev/reventless-spec/src/types/Projection.res.mjs";
+import * as LocalBus$ReventlessLocal from "../../../src/adapter/LocalBus.res.mjs";
+import * as Component$ReventlessInfra from "@reventlessdev/reventless-infra/src/components/Component.res.mjs";
+import * as TestRunner$ReventlessLocal from "../../../src/test/TestRunner.res.mjs";
+import * as CommandTopic$ReventlessCore from "@reventlessdev/reventless-core/src/components/CommandTopic/CommandTopic.res.mjs";
+import * as TestFixtures$ReventlessLocal from "../../TestFixtures.res.mjs";
+import * as ReadModel_Builder$ReventlessLocal from "../../../src/components/ReadModel_Builder.res.mjs";
+import * as DcbEventLog_Builder$ReventlessLocal from "../../../src/components/DcbEventLog_Builder.res.mjs";
+import * as StateChangeSlice_Builder$ReventlessLocal from "../../../src/components/StateChangeSlice_Builder.res.mjs";
+
+let name = "AddProduct";
+
+let moduleUrl = import.meta.url;
+
+let eventSchema = S.schema(s => ({
+  TAG: "ProductAdded",
+  productId: s.m(DcbTag$Reventless.string),
+  name: s.m(S.string)
+}));
+
+let consumedEventSchema = S.literal("ProductAdded");
+
+let commandSchema = S.schema(s => ({
+  TAG: "AddProduct",
+  productId: s.m(DcbTag$Reventless.string),
+  name: s.m(S.string)
+}));
+
+let errorSchema = S.literal("ProductAlreadyExists");
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let AddProductSpec = {
+  name: name,
+  Id: undefined,
+  moduleUrl: moduleUrl,
+  eventSchema: eventSchema,
+  consumedEventSchema: consumedEventSchema,
+  errorSchema: errorSchema,
+  commandSchema: commandSchema,
+  commandAuthorization: commandAuthorization,
+  readConsistency: "EscalateOnRetry"
+};
+
+let moduleUrl$1 = import.meta.url;
+
+function evolve(_state, _event) {
+  return true;
+}
+
+function decide(state, command) {
+  if (state) {
+    return {
+      TAG: "Error",
+      _0: "ProductAlreadyExists"
+    };
+  } else {
+    return {
+      TAG: "Ok",
+      _0: [{
+          TAG: "ProductAdded",
+          productId: command.productId,
+          name: command.name
+        }]
+    };
+  }
+}
+
+let AddProductBehavior = {
+  Spec: undefined,
+  moduleUrl: moduleUrl$1,
+  initialState: false,
+  evolve: evolve,
+  decide: decide
+};
+
+let name$1 = "ProductCatalogDcbEventLog";
+
+let eventSchema$1 = S.schema(s => ({
+  TAG: "ProductAdded",
+  productId: s.m(S.string),
+  name: s.m(S.string)
+}));
+
+let ProductCatalogDcbSource = {
+  Id: undefined,
+  name: name$1,
+  eventSchema: eventSchema$1
+};
+
+let name$2 = "TestProductsReadModel";
+
+let moduleUrl$2 = import.meta.url;
+
+let stateSchema = S.schema(s => ({
+  productId: s.m(S.string),
+  name: s.m(S.string)
+}));
+
+let config = ReadModel$Reventless.config(undefined, undefined, undefined);
+
+let ProductsReadModelSpec = {
+  Id: undefined,
+  name: name$2,
+  moduleUrl: moduleUrl$2,
+  stateSchema: stateSchema,
+  config: config,
+  subIdConfig: undefined,
+  authorization: "AllowAuthenticated",
+  visibility: "Public"
+};
+
+function project(msg) {
+  let match = msg.event;
+  let productId = match.productId;
+  return {
+    TAG: "Set",
+    _0: productId,
+    _1: {
+      productId: productId,
+      name: match.name
+    }
+  };
+}
+
+let ProductsFromDcb = Projection$Reventless.Mapping.Make({
+  Id: Id$Reventless.$$String,
+  name: name$1,
+  eventSchema: eventSchema$1
+})({
+  Id: Id$Reventless.$$String,
+  name: name$2,
+  stateSchema: stateSchema,
+  subIdConfig: undefined
+})({
+  project: project
+});
+
+Projection$Reventless.Mappings.Make({
+  Id: Id$Reventless.$$String,
+  name: name$2,
+  stateSchema: stateSchema,
+  subIdConfig: undefined
+});
+
+let moduleUrl$3 = import.meta.url;
+
+let mappings = [ProductsFromDcb];
+
+let ProductsMappings = {
+  moduleUrl: moduleUrl$3,
+  mappings: mappings
+};
+
+let Bus = LocalBus$ReventlessLocal.Make({});
+
+TestRunner$ReventlessLocal.setup();
+
+let DcbLogMaker = DcbEventLog_Builder$ReventlessLocal.Make(Bus);
+
+let dcbEventLog = DcbLogMaker.make("ProductCatalog", undefined, {
+  TAG: "Simple",
+  _0: {
+    key: "productId"
+  }
+}, undefined);
+
+let AddProductMaker = StateChangeSlice_Builder$ReventlessLocal.Make({
+  name: name,
+  moduleUrl: moduleUrl,
+  Id: Id$Reventless.$$String,
+  consumedEventSchema: consumedEventSchema,
+  errorSchema: errorSchema,
+  eventSchema: eventSchema,
+  commandSchema: commandSchema,
+  commandAuthorization: commandAuthorization,
+  readConsistency: "EscalateOnRetry"
+})({
+  initialState: false,
+  evolve: evolve,
+  decide: decide,
+  moduleUrl: moduleUrl$1
+});
+
+async function publishJsons(cmdJsons) {
+  await Promise.all(cmdJsons.map(async cmdJson => {
+    let dict = cmdJson.commandJson;
+    let typeName;
+    typeName = typeof dict === "object" && dict !== null && !Array.isArray(dict) ? Stdlib_Option.getOr(Stdlib_Option.flatMap(dict["TAG"], j => {
+        if (typeof j === "string") {
+          return j;
+        }
+      }), "") : "";
+    let fullBody = Object.fromEntries([
+      [
+        "id",
+        cmdJson.id
+      ],
+      [
+        "meta",
+        S.reverseConvertToJsonOrThrow(cmdJson.meta, Message$Reventless.metaSchema)
+      ],
+      [
+        "command",
+        cmdJson.commandJson
+      ]
+    ]);
+    let handlers = CommandTopic$ReventlessCore.getHandlers(typeName);
+    await Promise.all(handlers.map(async entry => {
+      let item_reference = cmdJson.id;
+      let item = {
+        command: fullBody,
+        reference: item_reference
+      };
+      await Effect.runPromise(entry.handler(Stream$1.fromIterable([item])));
+    }));
+  }));
+}
+
+let publishJsonsOutput = Pulumi.output(publishJsons);
+
+let _addProductSlice = AddProductMaker.make(dcbEventLog, publishJsonsOutput, undefined, undefined, undefined);
+
+let dcbTopicOutputs = Component$ReventlessInfra.outputs(dcbEventLog).eventTopic;
+
+let allEventTopics = Object.fromEntries([[
+    "ProductCatalogDcbEventLog",
+    dcbTopicOutputs
+  ]]);
+
+let ReadModelMaker = ReadModel_Builder$ReventlessLocal.Make(Bus);
+
+let ProductsReadModel = ReadModelMaker.Make({
+  Id: Id$Reventless.$$String,
+  name: name$2,
+  moduleUrl: moduleUrl$2,
+  stateSchema: stateSchema,
+  config: config,
+  subIdConfig: undefined,
+  authorization: "AllowAuthenticated",
+  visibility: "Public"
+})(ProductsMappings);
+
+let rm = ProductsReadModel.make(undefined, undefined, allEventTopics, undefined);
+
+async function dispatch(commandJson, id) {
+  return await publishJsons([{
+      id: id,
+      meta: TestFixtures$ReventlessLocal.testMeta,
+      commandJson: commandJson
+    }]);
+}
+
+function addProductCmd(productId, name) {
+  return S.reverseConvertToJsonOrThrow({
+    TAG: "AddProduct",
+    productId: productId,
+    name: name
+  }, commandSchema);
+}
+
+async function loadState(productId) {
+  let ops = Bus.getQueryDb("TestProductsReadModel");
+  if (ops === undefined) {
+    return [];
+  }
+  let states = await Effect.runPromise(Effect.catchAll(Stream.runCollect(ops.loadStream(productId)), param => Effect.succeed([])));
+  return states.map(json => S.parseJsonOrThrow(json, stateSchema));
+}
+
+export {
+  AddProductSpec,
+  AddProductBehavior,
+  ProductCatalogDcbSource,
+  ProductsReadModelSpec,
+  ProductsFromDcb,
+  ProductsMappings,
+  Bus,
+  DcbLogMaker,
+  dcbEventLog,
+  AddProductMaker,
+  publishJsons,
+  publishJsonsOutput,
+  _addProductSlice,
+  dcbTopicOutputs,
+  allEventTopics,
+  ReadModelMaker,
+  ProductsReadModel,
+  rm,
+  dispatch,
+  addProductCmd,
+  loadState,
+}
+/* moduleUrl Not a pure module */

package/tests/components/readmodel/DcbReadModelE2ETest.res

@@ -0,0 +1,45 @@
+// E2E test: a DCB StateChangeSlice's events flow through the DcbEventLog's
+// EventTopic and land in a ReadModel projection — the very pattern Plan 03
+// is meant to enable.
+//
+// This test will silently pass-but-project-nothing if the Phase 1.5 fix
+// (meta.service = `<name>DcbEventLog`) ever regresses, so it doubles as a
+// regression vehicle for that fix.
+
+open JestGlobals
+open DcbReadModelE2EFixtures
+
+describe("DCB → ReadModel E2E:", () => {
+  let _ = beforeAllAsync(async () => {
+    let _ = await dcbEventLog->DcbLogMaker.operations->TestRunner.resolve
+    let _ = await rm->ProductsReadModel.operations->TestRunner.resolve
+    // Wait for the ReadModel's EventCollector to register its bus subscription.
+    let resource = dcbTopicOutputs.resources->Array.getUnsafe(0)
+    let _ = await resource.name->TestRunner.resolve
+  })
+
+  testPromise("AddProduct command updates the ReadModel state", async () => {
+    await dispatch(addProductCmd("prod-1", "Laptop"), "prod-1")
+    let states = await loadState("prod-1")
+    expect(states->Array.length)->toBe(1)
+    let state = states->Array.getUnsafe(0)
+    expect(state.productId)->toBe("prod-1")
+    expect(state.name)->toBe("Laptop")
+  })
+
+  testPromise("second AddProduct for the same id is a no-op (decide returns Error)", async () => {
+    await dispatch(addProductCmd("prod-1", "Different name"), "prod-1")
+    let states = await loadState("prod-1")
+    expect(states->Array.length)->toBe(1)
+    let state = states->Array.getUnsafe(0)
+    expect(state.name)->toBe("Laptop")
+  })
+
+  testPromise("a different product id gets its own entry", async () => {
+    await dispatch(addProductCmd("prod-2", "Headphones"), "prod-2")
+    let states = await loadState("prod-2")
+    expect(states->Array.length)->toBe(1)
+    let state = states->Array.getUnsafe(0)
+    expect(state.name)->toBe("Headphones")
+  })
+})