@reventlessdev/reventless-local 3.0.0-alpha.256 → 3.0.0-alpha.257

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.257 (2026-09-21)
+
+### Bug Fixes
+
+* **core:** an event mapping that commands its own source no longer hangs ([d30ce6b](https://github.com/ReventlessDev/reventless-core/commit/d30ce6b360707d933732fa2c90aba49c03dda006))
+* feat(spec)!: typed projection keys ([fc6a018](https://github.com/ReventlessDev/reventless-core/commit/fc6a01811ba788f3289e84a435a09f77fa627e1a))
+
+### BREAKING CHANGES
+
+* a projection that keys a row by a payload `string`, or uses
+the envelope id as a `string`, converts explicitly with
+`Target.Id.makeFromString` / `Source.Id.toString`. `StateChangeSlice.Spec` no
+longer requires `module Id`.
+
+
+
 # 3.0.0-alpha.256 (2026-09-21)
 
 **Note:** Version bump only for package @reventlessdev/reventless-local

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-local",
-  "version": "3.0.0-alpha.256",
+  "version": "3.0.0-alpha.257",
   "description": "Local platform for Reventless (in-memory or SQLite backend, for development and testing without AWS)",
   "license": "Apache-2.0",
   "bin": {
@@ -39,19 +39,19 @@
     "@reventlessdev/rescript-jest": "1.0.0-alpha.10",
     "@reventlessdev/rescript-mcp-sdk": "1.0.0-alpha.22",
     "@reventlessdev/rescript-node": "2.0.0-alpha.12",
-    "@reventlessdev/reventless-core": "3.0.0-alpha.266",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.21",
-    "@reventlessdev/reventless-graphql-server": "1.0.0-alpha.114",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.213",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.167",
+    "@reventlessdev/reventless-core": "3.0.0-alpha.267",
+    "@reventlessdev/reventless-graphql-server": "1.0.0-alpha.115",
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.214",
     "@reventlessdev/reventless-seed": "1.0.0-alpha.23",
-    "@reventlessdev/reventless-postgres": "3.0.0-alpha.130",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.139"
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.168",
+    "@reventlessdev/reventless-postgres": "3.0.0-alpha.131",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.140"
   },
   "devDependencies": {
     "rescript": "12.3.0",
     "sury-ppx": "11.0.0-rc.2",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.80"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.81"
   },
   "peerDependencies": {
     "rescript": "12.3.0"

package/src/Platform.res.mjs

@@ -642,7 +642,6 @@ function MakeWithConfig(Config) {
   let Spec = {
     name: UiFragmentRegistry$ReventlessCore.name,
     moduleUrl: UiFragmentRegistry$ReventlessCore.moduleUrl,
-    Id: Id$Reventless.$$String,
     consumedEventSchema: UiFragmentRegistry$ReventlessCore.consumedEventSchema,
     errorSchema: UiFragmentRegistry$ReventlessCore.errorSchema,
     eventSchema: UiFragmentRegistry$ReventlessCore.eventSchema,
@@ -669,10 +668,18 @@ function MakeWithConfig(Config) {
     isAsync: UiFragmentRegistrySlice_isAsync,
     make: UiFragmentRegistrySlice_make
   };
+  let Spec_Key = {
+    schema: Id$Reventless.StringPure.schema,
+    make: prim => prim,
+    makeFromString: prim => prim,
+    toString: prim => prim,
+    cmp: Id$Reventless.StringPure.cmp
+  };
   let Spec$1 = {
     name: UiFragments$ReventlessCore.name,
     moduleUrl: UiFragments$ReventlessCore.moduleUrl,
     stateSchema: UiFragments$ReventlessCore.stateSchema,
+    Key: Spec_Key,
     consumedEventSchema: UiFragments$ReventlessCore.consumedEventSchema,
     config: UiFragments$ReventlessCore.config,
     subIdConfig: undefined,
@@ -2388,7 +2395,6 @@ function Make($star) {
   let Spec = {
     name: UiFragmentRegistry$ReventlessCore.name,
     moduleUrl: UiFragmentRegistry$ReventlessCore.moduleUrl,
-    Id: Id$Reventless.$$String,
     consumedEventSchema: UiFragmentRegistry$ReventlessCore.consumedEventSchema,
     errorSchema: UiFragmentRegistry$ReventlessCore.errorSchema,
     eventSchema: UiFragmentRegistry$ReventlessCore.eventSchema,
@@ -2415,10 +2421,18 @@ function Make($star) {
     isAsync: UiFragmentRegistrySlice_isAsync,
     make: UiFragmentRegistrySlice_make
   };
+  let Spec_Key = {
+    schema: Id$Reventless.StringPure.schema,
+    make: prim => prim,
+    makeFromString: prim => prim,
+    toString: prim => prim,
+    cmp: Id$Reventless.StringPure.cmp
+  };
   let Spec$1 = {
     name: UiFragments$ReventlessCore.name,
     moduleUrl: UiFragments$ReventlessCore.moduleUrl,
     stateSchema: UiFragments$ReventlessCore.stateSchema,
+    Key: Spec_Key,
     consumedEventSchema: UiFragments$ReventlessCore.consumedEventSchema,
     config: UiFragments$ReventlessCore.config,
     subIdConfig: undefined,

package/tests/components/aggregate/AggregateSelfMappingFixtures.res

@@ -0,0 +1,88 @@
+// Regression fixtures for the event-mapping self-deadlock.
+//
+// An aggregate whose event mapping commands the aggregate that emitted the event:
+// Placed → Ship, as the aggregates example's order auto-ships. Awaited inside the
+// mapper's subscriber, the Ship command appends Shipped, which the bus cannot
+// finish publishing until that same subscriber dequeues it — so the original
+// Place never returned, and neither did the GraphQL request behind it.
+
+module ShipmentSpec = {
+  module Id = Reventless.Id.String
+  let name = "TestShipment"
+
+  @schema
+  type command = Place | Ship
+
+  @schema
+  type event = Placed | Shipped
+
+  @schema
+  type error = unit
+
+  let moduleUrl: string = %raw(`import.meta.url`)
+}
+
+module ShipmentBehavior: ReventlessCore.Behavior.T with module Spec := ShipmentSpec = {
+  type state = int // events seen
+
+  let initialState = 0
+  let snapshot = None
+  let moduleUrl: string = %raw(`import.meta.url`)
+
+  let evolve = (state, _event: ShipmentSpec.event) => state + 1
+
+  let decide = (state, command: ShipmentSpec.command) =>
+    switch (state, command) {
+    | (0, Place) => Ok([ShipmentSpec.Placed])
+    | (1, Ship) => Ok([ShipmentSpec.Shipped])
+    | _ => Ok([])
+    }
+}
+
+module ShipmentMappings = {
+  module M = Reventless.EventMapping.Mappings.Make(ShipmentSpec)
+  module type Mapping = M.Mapping
+  let moduleUrl: string = %raw(`import.meta.url`)
+
+  module AutoShip = {
+    module Source = ShipmentSpec
+    let map = (id, event, _queryEngine) =>
+      switch event {
+      | ShipmentSpec.Placed => [Reventless.EventMapping.Publish(id, ShipmentSpec.Ship)]
+      | Shipped => []
+      }
+  }
+
+  let mappings: array<module(Mapping)> = [module(AutoShip)]
+  let counter = None
+}
+
+module Bus = LocalBus.Make()
+
+// Topic name = Spec.name ++ "Aggr" ++ "EventTopic"
+let publishedEvents: ref<int> = ref(0)
+let _ = Bus.subscribeToEvents("TestShipmentAggrEventTopic", async (_, _, _) => {
+  publishedEvents := publishedEvents.contents + 1
+})
+
+let _ = TestRunner.setup()
+
+module ShipmentAggregateMaker = Aggregate_Builder.Make(Bus)
+module ShipmentAgg = ShipmentAggregateMaker.Make(ShipmentSpec, ShipmentBehavior, ShipmentMappings)
+
+let agg = ShipmentAgg.make(~api=())
+
+// A plugin attaches an aggregate's event mapper once every topic exists; with one
+// aggregate, its own topic is all there is.
+let aggOutputs = agg->ReventlessCore.Component.outputs
+let _ = aggOutputs.addEventMapper(
+  Dict.fromArray([(ShipmentSpec.name, aggOutputs.eventLog.eventTopic)]),
+  TestFixtures.mockQueryEngine,
+)
+
+let withTimeout = async (p: promise<'a>, ~ms: int): result<'a, string> => {
+  let timeout = Promise.make((resolve, _) => {
+    let _ = setTimeout(() => resolve(Error("timed out")), ms)
+  })
+  await Promise.race([p->Promise.thenResolve(v => Ok(v)), timeout])
+}

package/tests/components/aggregate/AggregateSelfMappingFixtures.res.mjs

@@ -0,0 +1,204 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Sury from "sury";
+import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
+import * as EventMapping$Reventless from "@reventlessdev/reventless-spec/src/types/EventMapping.res.mjs";
+import * as Component$ReventlessCore from "@reventlessdev/reventless-core/src/components/Component.res.mjs";
+import * as LocalBus$ReventlessLocal from "../../../src/adapter/LocalBus.res.mjs";
+import * as TestRunner$ReventlessLocal from "../../../src/test/TestRunner.res.mjs";
+import * as TestFixtures$ReventlessLocal from "../../TestFixtures.res.mjs";
+import * as Aggregate_Builder$ReventlessLocal from "../../../src/components/Aggregate_Builder.res.mjs";
+
+let name = "TestShipment";
+
+let commandSchema = Sury.union([
+  Sury.literal("Place"),
+  Sury.literal("Ship")
+]);
+
+let eventSchema = Sury.union([
+  Sury.literal("Placed"),
+  Sury.literal("Shipped")
+]);
+
+let errorSchema = Sury.$unit;
+
+let moduleUrl = import.meta.url;
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+function commandTransition(param) {
+  return "Undeclared";
+}
+
+let traits = [];
+
+let ShipmentSpec = {
+  Id: undefined,
+  name: name,
+  commandSchema: commandSchema,
+  eventSchema: eventSchema,
+  errorSchema: errorSchema,
+  moduleUrl: moduleUrl,
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
+};
+
+let moduleUrl$1 = import.meta.url;
+
+function evolve(state, _event) {
+  return state + 1 | 0;
+}
+
+function decide(state, command) {
+  if (state !== 0) {
+    if (state !== 1) {
+      return {
+        TAG: "Ok",
+        _0: []
+      };
+    } else if (command === "Place") {
+      return {
+        TAG: "Ok",
+        _0: []
+      };
+    } else {
+      return {
+        TAG: "Ok",
+        _0: ["Shipped"]
+      };
+    }
+  } else if (command === "Place") {
+    return {
+      TAG: "Ok",
+      _0: ["Placed"]
+    };
+  } else {
+    return {
+      TAG: "Ok",
+      _0: []
+    };
+  }
+}
+
+let ShipmentBehavior = {
+  initialState: 0,
+  evolve: evolve,
+  decide: decide,
+  snapshot: undefined,
+  moduleUrl: moduleUrl$1
+};
+
+let M = EventMapping$Reventless.Mappings.Make({
+  name: name,
+  Id: Id$Reventless.$$String,
+  commandSchema: commandSchema
+});
+
+let moduleUrl$2 = import.meta.url;
+
+function map(id, event, _queryEngine) {
+  if (event === "Placed") {
+    return [{
+        TAG: "Publish",
+        _0: id,
+        _1: "Ship"
+      }];
+  } else {
+    return [];
+  }
+}
+
+let AutoShip = {
+  Source: undefined,
+  map: map
+};
+
+let mappings = [{
+    Source: {
+      name: name,
+      Id: Id$Reventless.$$String,
+      eventSchema: eventSchema
+    },
+    map: map
+  }];
+
+let ShipmentMappings = {
+  M: M,
+  moduleUrl: moduleUrl$2,
+  AutoShip: AutoShip,
+  mappings: mappings,
+  counter: undefined
+};
+
+let Bus = LocalBus$ReventlessLocal.Make({});
+
+let publishedEvents = {
+  contents: 0
+};
+
+Bus.subscribeToEvents("TestShipmentAggrEventTopic", async (param, param$1, param$2) => {
+  publishedEvents.contents = publishedEvents.contents + 1 | 0;
+});
+
+TestRunner$ReventlessLocal.setup();
+
+let ShipmentAggregateMaker = Aggregate_Builder$ReventlessLocal.Make(Bus);
+
+let ShipmentAgg = ShipmentAggregateMaker.Make({
+  Id: Id$Reventless.$$String,
+  name: name,
+  eventSchema: eventSchema,
+  errorSchema: errorSchema,
+  commandSchema: commandSchema,
+  moduleUrl: moduleUrl,
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
+})(ShipmentBehavior)({
+  moduleUrl: moduleUrl$2,
+  mappings: mappings,
+  counter: undefined
+});
+
+let agg = ShipmentAgg.make(undefined, undefined, undefined);
+
+let aggOutputs = Component$ReventlessCore.outputs(agg);
+
+aggOutputs.addEventMapper(Object.fromEntries([[
+    name,
+    aggOutputs.eventLog.eventTopic
+  ]]), TestFixtures$ReventlessLocal.mockQueryEngine);
+
+async function withTimeout(p, ms) {
+  let timeout = new Promise((resolve, param) => {
+    setTimeout(() => resolve({
+      TAG: "Error",
+      _0: "timed out"
+    }), ms);
+  });
+  return await Promise.race([
+    p.then(v => ({
+      TAG: "Ok",
+      _0: v
+    })),
+    timeout
+  ]);
+}
+
+export {
+  ShipmentSpec,
+  ShipmentBehavior,
+  ShipmentMappings,
+  Bus,
+  publishedEvents,
+  ShipmentAggregateMaker,
+  ShipmentAgg,
+  agg,
+  aggOutputs,
+  withTimeout,
+}
+/* commandSchema Not a pure module */

package/tests/components/aggregate/AggregateSelfMappingTest.res

@@ -0,0 +1,43 @@
+// Regression test for the event-mapping self-deadlock.
+// See AggregateSelfMappingFixtures.res for the shape.
+//
+// Without the fix, publishing Place never returns: the mapper awaits the Ship
+// it issues, and Ship's event waits for the mapper to dequeue it.
+
+open TestFixtures
+open JestGlobals
+open AggregateSelfMappingFixtures
+
+describe("Event mapping that commands its own source:", () => {
+  let _ = beforeAllAsync(async () => {
+    let _ = await agg->ShipmentAgg.operations->TestRunner.resolve
+  })
+
+  testPromise("Place returns, and the mapped Ship still runs", async () => {
+    let ops = await agg->ShipmentAgg.operations->TestRunner.resolve
+    let place = {
+      Reventless.Message.id: "shipment-1",
+      // The mapper finds its mappings by the event's service, as a real command's is.
+      meta: {...testMeta, service: ShipmentSpec.name},
+      commandJson: ShipmentSpec.Place->ReventlessCore.Message.encode(ShipmentSpec.commandSchema),
+    }
+    let outcome = await withTimeout(ops.publishJsons([place]), ~ms=1500)
+    expect(
+      switch outcome {
+      | Ok(_) => "ok"
+      | Error(msg) => msg
+      },
+    )->toBe("ok")
+
+    // The Ship command is detached; let it run.
+    let _ = await withTimeout(
+      Promise.make(
+        (resolve, _) => {
+          let _ = setTimeout(() => resolve(), 100)
+        },
+      ),
+      ~ms=1000,
+    )
+    expect(publishedEvents.contents)->toBe(2)
+  })
+})

package/tests/components/aggregate/AggregateSelfMappingTest.res.mjs

@@ -0,0 +1,33 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Message$ReventlessCore from "@reventlessdev/reventless-core/src/Message.res.mjs";
+import * as TestRunner$ReventlessLocal from "../../../src/test/TestRunner.res.mjs";
+import * as TestFixtures$ReventlessLocal from "../../TestFixtures.res.mjs";
+import * as AggregateSelfMappingFixtures$ReventlessLocal from "./AggregateSelfMappingFixtures.res.mjs";
+
+globalThis.describe("Event mapping that commands its own source:", () => {
+  globalThis.beforeAll(async () => {
+    await TestRunner$ReventlessLocal.resolve(AggregateSelfMappingFixtures$ReventlessLocal.ShipmentAgg.operations(AggregateSelfMappingFixtures$ReventlessLocal.agg));
+  });
+  globalThis.test("Place returns, and the mapped Ship still runs", async () => {
+    let ops = await TestRunner$ReventlessLocal.resolve(AggregateSelfMappingFixtures$ReventlessLocal.ShipmentAgg.operations(AggregateSelfMappingFixtures$ReventlessLocal.agg));
+    let newrecord = {...TestFixtures$ReventlessLocal.testMeta};
+    let place_meta = (newrecord.service = AggregateSelfMappingFixtures$ReventlessLocal.ShipmentSpec.name, newrecord);
+    let place_commandJson = Message$ReventlessCore.encode("Place", AggregateSelfMappingFixtures$ReventlessLocal.ShipmentSpec.commandSchema);
+    let place = {
+      id: "shipment-1",
+      meta: place_meta,
+      commandJson: place_commandJson
+    };
+    let outcome = await AggregateSelfMappingFixtures$ReventlessLocal.withTimeout(ops.publishJsons([place]), 1500);
+    let tmp;
+    tmp = outcome.TAG === "Ok" ? "ok" : outcome._0;
+    globalThis.expect(tmp).toBe("ok");
+    await AggregateSelfMappingFixtures$ReventlessLocal.withTimeout(new Promise((resolve, param) => {
+      setTimeout(() => resolve(), 100);
+    }), 1000);
+    globalThis.expect(AggregateSelfMappingFixtures$ReventlessLocal.publishedEvents.contents).toBe(2);
+  });
+});
+
+/*  Not a pure module */

package/tests/components/automationslice/AutomationSliceSelfDeadlockFixtures.res.mjs

@@ -358,7 +358,6 @@ let publishJsonsOutput = Pulumi.output(publishJsons);
 let PlaceMaker = StateChangeSlice_Builder$ReventlessLocal.Make({
   name: name,
   moduleUrl: moduleUrl,
-  Id: Id$Reventless.$$String,
   consumedEventSchema: consumedEventSchema,
   errorSchema: errorSchema,
   eventSchema: eventSchema,
@@ -379,7 +378,6 @@ let _placeSlice = PlaceMaker.make(dcbEventLog, publishJsonsOutput, undefined, un
 let ShipMaker = StateChangeSlice_Builder$ReventlessLocal.Make({
   name: name$1,
   moduleUrl: moduleUrl$2,
-  Id: Id$Reventless.$$String,
   consumedEventSchema: consumedEventSchema$1,
   errorSchema: errorSchema$1,
   eventSchema: eventSchema$1,

package/tests/components/dcb/DcbCrossPartitionFixtures.res.mjs

@@ -1,7 +1,6 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as Sury from "sury";
-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 from "effect/Stream";
@@ -174,7 +173,6 @@ let eventLog = CatalogLogMaker.make("CatalogLog", ["tag_categoryId"], {
 let AddProductMaker = StateChangeSlice_Builder$ReventlessLocal.Make({
   name: name,
   moduleUrl: moduleUrl,
-  Id: Id$Reventless.$$String,
   consumedEventSchema: consumedEventSchema,
   errorSchema: errorSchema,
   eventSchema: eventSchema$1,

package/tests/components/dcb/DcbFixtures.res.mjs

@@ -1,7 +1,6 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as Sury from "sury";
-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 from "effect/Stream";
@@ -126,7 +125,6 @@ let eventLog = ItemEventLogMaker.make("ItemEventLog", undefined, {
 let AddItemMaker = StateChangeSlice_Builder$ReventlessLocal.Make({
   name: name,
   moduleUrl: moduleUrl,
-  Id: Id$Reventless.$$String,
   consumedEventSchema: consumedEventSchema,
   errorSchema: errorSchema,
   eventSchema: eventSchema$1,

package/tests/components/outboundtranslationslice/OutboundTranslationSlicePlatformFixtures.res.mjs

@@ -1,7 +1,6 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as Sury from "sury";
-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 from "effect/Stream";
@@ -219,7 +218,6 @@ let publishJsonsOutput = Pulumi.output(publishJsons);
 let PlaceMaker = StateChangeSlice_Builder$ReventlessLocal.Make({
   name: name,
   moduleUrl: moduleUrl,
-  Id: Id$Reventless.$$String,
   consumedEventSchema: consumedEventSchema,
   errorSchema: errorSchema,
   eventSchema: eventSchema,

package/tests/components/readmodel/DcbReadModelE2EFixtures.res

@@ -93,10 +93,15 @@ module ProductsFromDcb = Mapping.Make(
   ProductCatalogDcbSource,
   ProductsReadModelSpec,
   {
-    let project = (msg: Message.event'<string, ProductCatalogDcbSource.event>) =>
+    let project = (
+      msg: Message.event'<ProductCatalogDcbSource.Id.t, ProductCatalogDcbSource.event>,
+    ) =>
       switch msg.event {
       | ProductAdded({productId, name}) =>
-        Set(productId, ({productId, name}: ProductsReadModelSpec.state))
+        Set(
+          ProductsReadModelSpec.Id.makeFromString(productId),
+          ({productId, name}: ProductsReadModelSpec.state),
+        )
       }
   },
 )

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

@@ -138,7 +138,7 @@ function project(msg) {
   let productId = match.productId;
   return {
     TAG: "Set",
-    _0: productId,
+    _0: Id$Reventless.$$String.makeFromString(productId),
     _1: {
       productId: productId,
       name: match.name
@@ -191,7 +191,6 @@ let dcbEventLog = DcbLogMaker.make("ProductCatalog", undefined, {
 let AddProductMaker = StateChangeSlice_Builder$ReventlessLocal.Make({
   name: name,
   moduleUrl: moduleUrl,
-  Id: Id$Reventless.$$String,
   consumedEventSchema: consumedEventSchema,
   errorSchema: errorSchema,
   eventSchema: eventSchema,

package/tests/components/readmodel/DcbReadModelTypoFailFastTest.res

@@ -42,9 +42,10 @@ module TypoMapping = Mapping.Make(
   TypoSource,
   RmSpec,
   {
-    let project = (msg: Message.event'<string, TypoSource.event>) =>
+    let project = (msg: Message.event'<TypoSource.Id.t, TypoSource.event>) =>
       switch msg.event {
-      | ProductAdded({productId, name}) => Set(productId, ({productId, name}: RmSpec.state))
+      | ProductAdded({productId, name}) =>
+        Set(RmSpec.Id.makeFromString(productId), ({productId, name}: RmSpec.state))
       }
   },
 )

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

@@ -58,7 +58,7 @@ function project(msg) {
   let productId = match.productId;
   return {
     TAG: "Set",
-    _0: productId,
+    _0: Id$Reventless.$$String.makeFromString(productId),
     _1: {
       productId: productId,
       name: match.name

package/tests/components/readmodel/MixedSourceReadModelFixtures.res

@@ -61,7 +61,7 @@ module AggregateMapping = Mapping.Make(
   AggregateSource,
   MixedReadModelSpec,
   {
-    let project = (msg: Message.event'<string, AggregateSource.event>) =>
+    let project = (msg: Message.event'<AggregateSource.Id.t, AggregateSource.event>) =>
       switch msg.event {
       | AggregateItemCreated({name}) =>
         Create(msg.id, ({name, source: "aggregate"}: MixedReadModelSpec.state))
@@ -78,7 +78,7 @@ module DcbMapping = Mapping.Make(
   DcbSource,
   MixedReadModelSpec,
   {
-    let project = (msg: Message.event'<string, DcbSource.event>) =>
+    let project = (msg: Message.event'<DcbSource.Id.t, DcbSource.event>) =>
       switch msg.event {
       | DcbItemAdded({name}) => Create(msg.id, ({name, source: "dcb"}: MixedReadModelSpec.state))
       | DcbItemNameChanged({name}) => Update(msg.id, state => {...state, name})

package/tests/components/readmodel/ReadModelFixtures.res

@@ -43,7 +43,7 @@ module ItemMapping = Mapping.Make(
   ItemEventSource,
   ItemReadModelSpec,
   {
-    let project = (msg: Message.event'<string, ItemEventSource.event>) =>
+    let project = (msg: Message.event'<ItemEventSource.Id.t, ItemEventSource.event>) =>
       switch msg.event {
       | ItemCreated({name}) => Create(msg.id, ({name: name}: ItemReadModelSpec.state))
       }

package/tests/components/stateviewslice/StateViewSliceDisplayNameFixtures.res

@@ -13,6 +13,7 @@ module OrderEventLog = {
 }
 
 module OrdersViewSpec = {
+  module Key = Reventless.Id.StringPure
   let name = "DnOrdersView"
   let moduleUrl: string = %raw(`import.meta.url`)
 

package/tests/components/stateviewslice/StateViewSliceDisplayNameFixtures.res.mjs

@@ -2,6 +2,7 @@
 
 import * as Sury from "sury";
 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 Effect from "effect/Effect";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
@@ -63,6 +64,7 @@ let stateSchema$1 = Sury.$Metadata_set(stateSchema, DisplayName$Reventless.displ
 let config = ReadModel$Reventless.config(undefined, undefined, undefined);
 
 let OrdersViewSpec = {
+  Key: undefined,
   name: name,
   moduleUrl: moduleUrl,
   consumedEventSchema: consumedEventSchema,
@@ -128,6 +130,13 @@ let OrdersViewMaker = SVMaker.Make({
   name: name,
   moduleUrl: moduleUrl,
   stateSchema: stateSchema$1,
+  Key: {
+    schema: Id$Reventless.StringPure.schema,
+    make: prim => prim,
+    makeFromString: prim => prim,
+    toString: prim => prim,
+    cmp: Id$Reventless.StringPure.cmp
+  },
   consumedEventSchema: consumedEventSchema,
   config: config,
   subIdConfig: undefined,

package/tests/components/stateviewslice/StateViewSliceFixtures.res

@@ -20,6 +20,7 @@ module ItemEventLog = {
 // ─────────────────────────────────────────────────────────────
 
 module ItemsViewSpec = {
+  module Key = Reventless.Id.StringPure
   let name = "ItemsView"
   let moduleUrl: string = %raw(`import.meta.url`)
 

package/tests/components/stateviewslice/StateViewSliceFixtures.res.mjs

@@ -2,6 +2,7 @@
 
 import * as Sury from "sury";
 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 Effect from "effect/Effect";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
@@ -63,6 +64,7 @@ let stateSchema = Sury.$schema(s => ({
 let config = ReadModel$Reventless.config(undefined, undefined, undefined);
 
 let ItemsViewSpec = {
+  Key: undefined,
   name: name,
   moduleUrl: moduleUrl,
   consumedEventSchema: consumedEventSchema,
@@ -131,6 +133,13 @@ let ItemsViewMaker = SVMaker.Make({
   name: name,
   moduleUrl: moduleUrl,
   stateSchema: stateSchema,
+  Key: {
+    schema: Id$Reventless.StringPure.schema,
+    make: prim => prim,
+    makeFromString: prim => prim,
+    toString: prim => prim,
+    cmp: Id$Reventless.StringPure.cmp
+  },
   consumedEventSchema: consumedEventSchema,
   config: config,
   subIdConfig: undefined,

package/tests/components/stateviewslice/StateViewSliceSubIdFixtures.res

@@ -29,6 +29,7 @@ module ScoreEventLog = {
 // ─────────────────────────────────────────────────────────────
 
 module ScoresViewSpec = {
+  module Key = Reventless.Id.StringPure
   let name = "ScoresView"
   let moduleUrl: string = %raw(`import.meta.url`)
 

package/tests/components/stateviewslice/StateViewSliceSubIdFixtures.res.mjs

@@ -2,6 +2,7 @@
 
 import * as Sury from "sury";
 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 Effect from "effect/Effect";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
@@ -68,6 +69,7 @@ let subIdConfig = {
 };
 
 let ScoresViewSpec = {
+  Key: undefined,
   name: name,
   moduleUrl: moduleUrl,
   consumedEventSchema: consumedEventSchema,
@@ -126,6 +128,13 @@ let ScoresViewMaker = SVMaker.Make({
   name: name,
   moduleUrl: moduleUrl,
   stateSchema: stateSchema,
+  Key: {
+    schema: Id$Reventless.StringPure.schema,
+    make: prim => prim,
+    makeFromString: prim => prim,
+    toString: prim => prim,
+    cmp: Id$Reventless.StringPure.cmp
+  },
   consumedEventSchema: consumedEventSchema,
   config: config,
   subIdConfig: subIdConfig,

package/tests/plugin/UiFragments_GWT.res.mjs

@@ -1,5 +1,6 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
+import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
 import * as UiFragments$ReventlessCore from "@reventlessdev/reventless-core/src/admin/UiFragmentRegistry/StateView/UiFragments.res.mjs";
 import * as Projection_GWT$ReventlessGwt from "@reventlessdev/reventless-gwt/src/Projection_GWT.res.mjs";
 import * as Plugin_Fixtures$ReventlessLocal from "./Plugin_Fixtures.res.mjs";
@@ -8,6 +9,13 @@ import * as UiFragments_Projection$ReventlessCore from "@reventlessdev/reventles
 let Test = Projection_GWT$ReventlessGwt.Make({
   name: UiFragments$ReventlessCore.name,
   stateSchema: UiFragments$ReventlessCore.stateSchema,
+  Key: {
+    schema: Id$Reventless.StringPure.schema,
+    make: prim => prim,
+    makeFromString: prim => prim,
+    toString: prim => prim,
+    cmp: Id$Reventless.StringPure.cmp
+  },
   consumedEventSchema: UiFragments$ReventlessCore.consumedEventSchema,
   subIdConfig: undefined
 })({