@reventlessdev/reventless-aws 3.0.0-alpha.316 → 3.0.0-alpha.317

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.317 (2026-08-20)
+
+### Bug Fixes
+
+* **aws:** stamp union member types on the deployed projection path ([140251a](https://github.com/ReventlessDev/reventless-core/commit/140251ac7c18f484be32e8683a725f6fac2b9519))
+
+
 # 3.0.0-alpha.316 (2026-08-20)
 
 **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.316",
+  "version": "3.0.0-alpha.317",
   "description": "AWS adapters for Reventless",
   "license": "Apache-2.0",
   "dependencies": {
@@ -14,16 +14,16 @@
     "uuid": "^13.0.0",
     "@reventlessdev/rescript-aws-sdk": "3.0.0-alpha.12",
     "@reventlessdev/rescript-effect": "0.1.0-alpha.32",
+    "@reventlessdev/rescript-node": "2.0.0-alpha.8",
     "@reventlessdev/rescript-jest": "1.0.0-alpha.10",
     "@reventlessdev/rescript-pulumi-aws": "3.0.0-alpha.1",
-    "@reventlessdev/rescript-node": "2.0.0-alpha.8",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.19",
+    "@reventlessdev/rescript-uuid": "2.0.0-alpha.0",
     "@reventlessdev/reventless-core": "3.0.0-alpha.245",
     "@reventlessdev/reventless-infra": "3.0.0-alpha.148",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.120",
-    "@reventlessdev/reventless-postgres": "3.0.0-alpha.109",
     "@reventlessdev/reventless-interop": "3.0.0-alpha.32",
-    "@reventlessdev/rescript-uuid": "2.0.0-alpha.0"
+    "@reventlessdev/reventless-postgres": "3.0.0-alpha.109",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.120"
   },
   "devDependencies": {
     "rescript": "12.3.0",

package/src/adapter/Runtime/ProjectionEntryPoint_Ops.res

@@ -55,6 +55,37 @@ external withLiveUpdates: (
   liveConfig,
 ) => ReventlessCore.QueryDb_Adapter.operations = "withLiveUpdates"
 
+/**
+Stamps every union value in a saved row with the GraphQL member type it is.
+
+`QueryDb_Operations.Make` does this for the typed path — the local platform and
+the storage tests — but the deployed projection Lambdas do not go through that
+functor: they assemble JSON-level operations here. Without this the stamp never
+ran on AWS, every union member resolved to null, and the null took its
+non-nullable parent, so rows vanished from a view rather than erroring.
+
+`stateSchema` is `None` for a spec module that predates it, which leaves rows
+exactly as they were.
+*/
+let withUnionMemberTypes = (
+  base: ReventlessCore.QueryDb_Adapter.operations,
+  ~stateSchema: option<S.t<unknown>>,
+): ReventlessCore.QueryDb_Adapter.operations =>
+  switch stateSchema {
+  | None => base
+  | Some(schema) =>
+    let stamp = (state: JSON.t) => {
+      Reventless.TaggedUnion.stampInto(~schema, state)
+      state
+    }
+    {
+      ...base,
+      save: (id, state, saveMode, ttl) => base.save(id, stamp(state), saveMode, ttl),
+      saveBatch: items =>
+        base.saveBatch(items->Array.map(((id, state, ttl)) => (id, stamp(state), ttl))),
+    }
+  }
+
 let makeQueryDbOps = (
   ~queryDbTableName: string,
   ~pgConnection: option<PgConnection.connectionConfig>,

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

@@ -1,6 +1,7 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
+import * as TaggedUnion$Reventless from "@reventlessdev/reventless-spec/src/components/TaggedUnion.res.mjs";
 import * as StateTopicPublishMjs from "./StateTopicPublish.mjs";
 import * as QueryDbEntryPoint_Ops$ReventlessAws from "./QueryDbEntryPoint_Ops.res.mjs";
 import * as QueryDbStorage_Postgres_Runtime$ReventlessAws from "../QueryDb/QueryDbStorage_Postgres_Runtime.res.mjs";
@@ -17,6 +18,29 @@ function withLiveUpdates(prim0, prim1) {
   return StateTopicPublishMjs.withLiveUpdates(prim0, prim1);
 }
 
+function withUnionMemberTypes(base, stateSchema) {
+  if (stateSchema !== undefined) {
+    return {
+      load: base.load,
+      loadStream: base.loadStream,
+      save: (id, state, saveMode, ttl) => base.save(id, (TaggedUnion$Reventless.stampInto(stateSchema, state), state), saveMode, ttl),
+      saveBatch: items => base.saveBatch(items.map(param => {
+        let state = param[1];
+        return [
+          param[0],
+          (TaggedUnion$Reventless.stampInto(stateSchema, state), state),
+          param[2]
+        ];
+      })),
+      count: base.count,
+      delete: base.delete,
+      deleteBatch: base.deleteBatch
+    };
+  } else {
+    return base;
+  }
+}
+
 function makeQueryDbOps(queryDbTableName, pgConnection, stateTopicName, indexes, subIdField) {
   if (pgConnection !== undefined) {
     return StateTopicPublishMjs.withLiveUpdates(QueryDbStorage_Postgres_Runtime$ReventlessAws.opsFor(pgConnection, queryDbTableName, indexes, subIdField), {
@@ -34,6 +58,7 @@ export {
   indexesOf,
   subIdFieldOf,
   withLiveUpdates,
+  withUnionMemberTypes,
   makeQueryDbOps,
 }
-/* ./StateTopicPublish.mjs Not a pure module */
+/* TaggedUnion-Reventless Not a pure module */

package/src/adapter/Runtime/ReadModelEntryPoint.mjs

@@ -47,6 +47,7 @@ async function buildAllHandlers() {
     const operations = Ops.buildOperations(entry, {
       config: specModule.config,
       subIdConfig: specModule.subIdConfig,
+      stateSchema: specModule.stateSchema,
     });
     const callback = readModelCallbackMake(specModule)(mappingsModule)({
       ReadModelSpec: specModule,

package/src/adapter/Runtime/ReadModelEntryPoint_Ops.res

@@ -90,6 +90,8 @@ let withInjectedId = (
 type specInfo = {
   config: option<ProjectionEntryPoint_Ops.specConfig>,
   subIdConfig: option<Reventless.ReadModel.subIdConfig<JSON.t>>,
+  // Read off the runtime-loaded spec module; `None` on a module that predates it.
+  stateSchema: option<S.t<unknown>>,
 }
 
 let buildOperations = (
@@ -102,7 +104,9 @@ let buildOperations = (
     ~stateTopicName=entry.stateTopicName,
     ~indexes=ProjectionEntryPoint_Ops.indexesOf(spec.config),
     ~subIdField=ProjectionEntryPoint_Ops.subIdFieldOf(spec.subIdConfig),
-  )->withInjectedId
+  )
+  ->ProjectionEntryPoint_Ops.withUnionMemberTypes(~stateSchema=spec.stateSchema)
+  ->withInjectedId
 
 let makeRegisteredHandler = (
   entry: handlerEntry,

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

@@ -60,7 +60,7 @@ function withInjectedId(base) {
 }
 
 function buildOperations(entry, spec) {
-  return withInjectedId(ProjectionEntryPoint_Ops$ReventlessAws.makeQueryDbOps(entry.queryDbTableName, entry.pgConnection, entry.stateTopicName, ProjectionEntryPoint_Ops$ReventlessAws.indexesOf(spec.config), ProjectionEntryPoint_Ops$ReventlessAws.subIdFieldOf(spec.subIdConfig)));
+  return withInjectedId(ProjectionEntryPoint_Ops$ReventlessAws.withUnionMemberTypes(ProjectionEntryPoint_Ops$ReventlessAws.makeQueryDbOps(entry.queryDbTableName, entry.pgConnection, entry.stateTopicName, ProjectionEntryPoint_Ops$ReventlessAws.indexesOf(spec.config), ProjectionEntryPoint_Ops$ReventlessAws.subIdFieldOf(spec.subIdConfig)), spec.stateSchema));
 }
 
 function makeRegisteredHandler(entry, handleJsonEvents) {

package/src/adapter/Runtime/StateViewSliceEntryPoint.mjs

@@ -42,6 +42,7 @@ async function buildAllHandlers() {
         project: projectionModule.project,
         config: specModule.config,
         subIdConfig: specModule.subIdConfig,
+        stateSchema: specModule.stateSchema,
       })
     );
   }));

package/src/adapter/Runtime/StateViewSliceEntryPoint_Ops.res

@@ -176,6 +176,8 @@ type sliceModules<'event> = {
   >,
   config: option<ProjectionEntryPoint_Ops.specConfig>,
   subIdConfig: option<Reventless.ReadModel.subIdConfig<JSON.t>>,
+  // Same union stamp the read-model path needs; a slice's state can hold one too.
+  stateSchema: option<S.t<unknown>>,
 }
 
 let makeRegisteredHandler = (
@@ -188,7 +190,7 @@ let makeRegisteredHandler = (
     ~stateTopicName=entry.stateTopicName,
     ~indexes=ProjectionEntryPoint_Ops.indexesOf(modules.config),
     ~subIdField=ProjectionEntryPoint_Ops.subIdFieldOf(modules.subIdConfig),
-  )
+  )->ProjectionEntryPoint_Ops.withUnionMemberTypes(~stateSchema=modules.stateSchema)
   {
     handler: StreamRoutedEntryPoint_Ops.toStreamHandler(
       makeJsonEventsHandler(

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

@@ -84,7 +84,7 @@ function makeJsonEventsHandler(sliceName, eventSchema, project, queryDbOps, subI
 }
 
 function makeRegisteredHandler(entry, modules) {
-  let queryDbOps = ProjectionEntryPoint_Ops$ReventlessAws.makeQueryDbOps(entry.queryDbTableName, entry.pgConnection, entry.stateTopicName, ProjectionEntryPoint_Ops$ReventlessAws.indexesOf(modules.config), ProjectionEntryPoint_Ops$ReventlessAws.subIdFieldOf(modules.subIdConfig));
+  let queryDbOps = ProjectionEntryPoint_Ops$ReventlessAws.withUnionMemberTypes(ProjectionEntryPoint_Ops$ReventlessAws.makeQueryDbOps(entry.queryDbTableName, entry.pgConnection, entry.stateTopicName, ProjectionEntryPoint_Ops$ReventlessAws.indexesOf(modules.config), ProjectionEntryPoint_Ops$ReventlessAws.subIdFieldOf(modules.subIdConfig)), modules.stateSchema);
   return {
     handler: StreamRoutedEntryPoint_Ops$ReventlessAws.toStreamHandler(makeJsonEventsHandler(modules.name, modules.consumedEventSchema, modules.project, queryDbOps, modules.subIdConfig)),
     comp: `StateViewSlice(` + modules.name + `)`

package/tests/ProjectionEntryPoint_UnionStampTest.res

@@ -0,0 +1,88 @@
+// The deployed projection Lambdas assemble JSON-level QueryDb operations rather
+// than going through `QueryDb_Operations.Make`, so the union `__typename` stamp
+// that functor applies never ran on AWS. Every union member resolved to null and
+// took its non-nullable parent with it — rows vanished from a view instead of
+// erroring, on every read door, with nothing reporting it.
+//
+// The typed path was covered from the start; this side was not, which is the
+// whole reason it shipped.
+
+open JestGlobals
+
+@schema
+type geolocation =
+  | Pending({requestedFor: string})
+  | Located({lat: float, lng: float})
+
+let geolocationSchema = Reventless.TaggedUnion.named(~name="Geolocation", geolocationSchema)
+
+@schema
+type rowState = {customerId: string, geolocation: geolocation}
+
+// A recording stand-in for the storage the runtime would wrap.
+let capture = (): (ReventlessCore.QueryDb_Adapter.operations, array<JSON.t>) => {
+  let saved: array<JSON.t> = []
+  let base: ReventlessCore.QueryDb_Adapter.operations = {
+    load: _ => Promise.resolve(Ok([])),
+    loadStream: _ => Stream.empty,
+    save: (_id, state, _saveMode, _ttl) => {
+      saved->Array.push(state)
+      Promise.resolve(Ok())
+    },
+    saveBatch: items => {
+      items->Array.forEach(((_, state, _)) => saved->Array.push(state))
+      Promise.resolve(Ok())
+    },
+    count: (_, _, _) => Promise.resolve(Ok(0)),
+    delete: (_, _) => Promise.resolve(Ok()),
+    deleteBatch: _ => Promise.resolve(Ok()),
+  }
+  (base, saved)
+}
+
+let memberOf = (json: JSON.t) =>
+  json
+  ->JSON.Decode.object
+  ->Option.flatMap(o => o->Dict.get("geolocation"))
+  ->Option.flatMap(JSON.Decode.object)
+  ->Option.flatMap(o => o->Dict.get("__typename"))
+  ->Option.flatMap(JSON.Decode.string)
+
+let row = (): JSON.t =>
+  ({customerId: "c1", geolocation: Located({lat: 1.0, lng: 2.0})}: rowState)
+  ->ReventlessCore.Message.encode(rowStateSchema)
+
+describe("ProjectionEntryPoint_Ops.withUnionMemberTypes", () => {
+  testPromise("stamps the member type on save", async () => {
+    let (base, saved) = capture()
+    let ops =
+      base->ProjectionEntryPoint_Ops.withUnionMemberTypes(
+        ~stateSchema=Some(rowStateSchema->S.castToUnknown),
+      )
+    let _ = await ops.save("c1", row(), ReventlessCore.QueryDb.Any, None)
+    expect(saved->Array.get(0)->Option.flatMap(memberOf))->toEqual(Some("GeolocationLocated"))
+  })
+
+  // saveBatch is the path a multi-event projection takes, and it was missing the
+  // stamp for the same reason save was.
+  testPromise("stamps every row in a batch", async () => {
+    let (base, saved) = capture()
+    let ops =
+      base->ProjectionEntryPoint_Ops.withUnionMemberTypes(
+        ~stateSchema=Some(rowStateSchema->S.castToUnknown),
+      )
+    let _ = await ops.saveBatch([("c1", row(), None), ("c2", row(), None)])
+    expect(saved->Array.map(memberOf))->toEqual([
+      Some("GeolocationLocated"),
+      Some("GeolocationLocated"),
+    ])
+  })
+
+  // A spec module without a stateSchema leaves rows untouched rather than throwing.
+  testPromise("passes rows through when the spec has no schema", async () => {
+    let (base, saved) = capture()
+    let ops = base->ProjectionEntryPoint_Ops.withUnionMemberTypes(~stateSchema=None)
+    let _ = await ops.save("c1", row(), ReventlessCore.QueryDb.Any, None)
+    expect(saved->Array.get(0)->Option.flatMap(memberOf))->toEqual(None)
+  })
+})

package/tests/ProjectionEntryPoint_UnionStampTest.res.mjs

@@ -0,0 +1,137 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as Sury from "sury";
+import * as Stdlib_JSON from "@rescript/runtime/lib/es6/Stdlib_JSON.js";
+import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
+import * as Stream from "effect/Stream";
+import * as Message$ReventlessCore from "@reventlessdev/reventless-core/src/Message.res.mjs";
+import * as TaggedUnion$Reventless from "@reventlessdev/reventless-spec/src/components/TaggedUnion.res.mjs";
+import * as ProjectionEntryPoint_Ops$ReventlessAws from "../src/adapter/Runtime/ProjectionEntryPoint_Ops.res.mjs";
+
+let geolocationSchema = Sury.union([
+  Sury.$schema(s => ({
+    TAG: "Pending",
+    requestedFor: s.m(Sury.string)
+  })),
+  Sury.$schema(s => ({
+    TAG: "Located",
+    lat: s.m(Sury.float),
+    lng: s.m(Sury.float)
+  }))
+]);
+
+let geolocationSchema$1 = TaggedUnion$Reventless.named("Geolocation", geolocationSchema);
+
+let rowStateSchema = Sury.$schema(s => ({
+  customerId: s.m(Sury.string),
+  geolocation: s.m(geolocationSchema$1)
+}));
+
+function capture() {
+  let saved = [];
+  let base_load = param => Promise.resolve({
+    TAG: "Ok",
+    _0: []
+  });
+  let base_loadStream = param => Stream.empty;
+  let base_save = (_id, state, _saveMode, _ttl) => {
+    saved.push(state);
+    return Promise.resolve({
+      TAG: "Ok",
+      _0: undefined
+    });
+  };
+  let base_saveBatch = items => {
+    items.forEach(param => {
+      saved.push(param[1]);
+    });
+    return Promise.resolve({
+      TAG: "Ok",
+      _0: undefined
+    });
+  };
+  let base_count = (param, param$1, param$2) => Promise.resolve({
+    TAG: "Ok",
+    _0: 0
+  });
+  let base_delete = (param, param$1) => Promise.resolve({
+    TAG: "Ok",
+    _0: undefined
+  });
+  let base_deleteBatch = param => Promise.resolve({
+    TAG: "Ok",
+    _0: undefined
+  });
+  let base = {
+    load: base_load,
+    loadStream: base_loadStream,
+    save: base_save,
+    saveBatch: base_saveBatch,
+    count: base_count,
+    delete: base_delete,
+    deleteBatch: base_deleteBatch
+  };
+  return [
+    base,
+    saved
+  ];
+}
+
+function memberOf(json) {
+  return Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(json), o => o["geolocation"]), Stdlib_JSON.Decode.object), o => o["__typename"]), Stdlib_JSON.Decode.string);
+}
+
+function row() {
+  return Message$ReventlessCore.encode({
+    customerId: "c1",
+    geolocation: {
+      TAG: "Located",
+      lat: 1.0,
+      lng: 2.0
+    }
+  }, rowStateSchema);
+}
+
+globalThis.describe("ProjectionEntryPoint_Ops.withUnionMemberTypes", () => {
+  globalThis.test("stamps the member type on save", async () => {
+    let match = capture();
+    let ops = ProjectionEntryPoint_Ops$ReventlessAws.withUnionMemberTypes(match[0], rowStateSchema);
+    await ops.save("c1", row(), "Any", undefined);
+    globalThis.expect(Stdlib_Option.flatMap(match[1][0], memberOf)).toEqual("GeolocationLocated");
+  });
+  globalThis.test("stamps every row in a batch", async () => {
+    let match = capture();
+    let ops = ProjectionEntryPoint_Ops$ReventlessAws.withUnionMemberTypes(match[0], rowStateSchema);
+    await ops.saveBatch([
+      [
+        "c1",
+        row(),
+        undefined
+      ],
+      [
+        "c2",
+        row(),
+        undefined
+      ]
+    ]);
+    globalThis.expect(match[1].map(memberOf)).toEqual([
+      "GeolocationLocated",
+      "GeolocationLocated"
+    ]);
+  });
+  globalThis.test("passes rows through when the spec has no schema", async () => {
+    let match = capture();
+    let ops = ProjectionEntryPoint_Ops$ReventlessAws.withUnionMemberTypes(match[0], undefined);
+    await ops.save("c1", row(), "Any", undefined);
+    globalThis.expect(Stdlib_Option.flatMap(match[1][0], memberOf)).toEqual(undefined);
+  });
+});
+
+export {
+  geolocationSchema$1 as geolocationSchema,
+  rowStateSchema,
+  capture,
+  memberOf,
+  row,
+}
+/* geolocationSchema Not a pure module */

package/tests/integration/StateViewSliceEntryPoint_IntegrationTest.res

@@ -85,6 +85,7 @@ let runOneEvent: (string, JSON.t) => promise<unit> = %raw(`
         project: projectionModule.project,
         config: specModule.config,
         subIdConfig: specModule.subIdConfig,
+        stateSchema: specModule.stateSchema,
       },
     );
     const event = {
@@ -146,6 +147,21 @@ describe("StateViewSliceEntryPoint integration", () => {
         ->Array.toSorted(String.compare)
       expect(productIds)->toEqual(["prod-a", "prod-b"])
 
+      // The runtime path's union stamp, against real DynamoDB. The deployed
+      // Lambdas assemble JSON-level ops and skipped it entirely, so a member
+      // resolved to null and took its non-nullable parent with it.
+      let members =
+        rows
+        ->Array.filterMap(row =>
+          row
+          ->JSON.Decode.object
+          ->Option.flatMap(o => o->Dict.get("fulfilment"))
+          ->Option.flatMap(JSON.Decode.object)
+          ->Option.flatMap(o => o->Dict.get("__typename"))
+          ->Option.flatMap(JSON.Decode.string)
+        )
+      expect(members)->toEqual(["FulfilmentShipped", "FulfilmentShipped"])
+
       await H.deleteTable(table)
     },
   )

package/tests/integration/StateViewSliceEntryPoint_IntegrationTest.res.mjs

@@ -94,6 +94,7 @@ let runOneEvent = (async (tableName, eventJson) => {
         project: projectionModule.project,
         config: specModule.config,
         subIdConfig: specModule.subIdConfig,
+        stateSchema: specModule.stateSchema,
       },
     );
     const event = {
@@ -138,6 +139,11 @@ globalThis.describe("StateViewSliceEntryPoint integration", () => {
       "prod-a",
       "prod-b"
     ]);
+    let members = Stdlib_Array.filterMap(rows$1, row => Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(row), o => o["fulfilment"]), Stdlib_JSON.Decode.object), o => o["__typename"]), Stdlib_JSON.Decode.string));
+    globalThis.expect(members).toEqual([
+      "FulfilmentShipped",
+      "FulfilmentShipped"
+    ]);
     return await DcbIntegrationHarness$ReventlessAws.deleteTable(table);
   });
 });

package/tests/integration/SvsTestSlice.res

@@ -16,11 +16,21 @@
 @schema
 type consumedEvent = ItemAddedToCart({cartId: string, productId: string, qty: int})
 
+// A union on the state, so the integration test covers the runtime path's
+// `__typename` stamp — the one the deployed Lambdas skipped entirely.
+@schema
+type fulfilment =
+  | Pending({requestedFor: string})
+  | Shipped({carrier: string})
+
+let fulfilmentSchema = Reventless.TaggedUnion.named(~name="Fulfilment", fulfilmentSchema)
+
 @schema
 type state = {
   cartId: string,
   productId: string,
   qty: int,
+  fulfilment: fulfilment,
 }
 
 // `Some({subIdField, getSubId})` — the compiled per-slice spec that a real

package/tests/integration/SvsTestSlice.res.mjs

@@ -1,6 +1,7 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as Sury from "sury";
+import * as TaggedUnion$Reventless from "@reventlessdev/reventless-spec/src/components/TaggedUnion.res.mjs";
 
 let consumedEventSchema = Sury.$schema(s => ({
   TAG: "ItemAddedToCart",
@@ -9,10 +10,24 @@ let consumedEventSchema = Sury.$schema(s => ({
   qty: s.m(Sury.int)
 }));
 
+let fulfilmentSchema = Sury.union([
+  Sury.$schema(s => ({
+    TAG: "Pending",
+    requestedFor: s.m(Sury.string)
+  })),
+  Sury.$schema(s => ({
+    TAG: "Shipped",
+    carrier: s.m(Sury.string)
+  }))
+]);
+
+let fulfilmentSchema$1 = TaggedUnion$Reventless.named("Fulfilment", fulfilmentSchema);
+
 let stateSchema = Sury.$schema(s => ({
   cartId: s.m(Sury.string),
   productId: s.m(Sury.string),
-  qty: s.m(Sury.int)
+  qty: s.m(Sury.int),
+  fulfilment: s.m(fulfilmentSchema$1)
 }));
 
 let subIdConfig = {
@@ -22,6 +37,7 @@ let subIdConfig = {
 
 export {
   consumedEventSchema,
+  fulfilmentSchema$1 as fulfilmentSchema,
   stateSchema,
   subIdConfig,
 }

package/tests/integration/SvsTestSlice_Projection.res

@@ -17,7 +17,9 @@ let project = ({event}: Reventless.StateViewSlice.consumed<consumedEvent>) =>
         cartId,
         states => {
           let others = states->Array.filter(s => s.productId != productId)
-          others->Array.concat([{cartId, productId, qty}])
+          others->Array.concat([
+            {cartId, productId, qty, fulfilment: Shipped({carrier: "dhl"})},
+          ])
         },
       ),
     ]

package/tests/integration/SvsTestSlice_Projection.res.mjs

@@ -14,7 +14,11 @@ function project(param) {
         return others.concat([{
             cartId: cartId,
             productId: productId,
-            qty: qty
+            qty: qty,
+            fulfilment: {
+              TAG: "Shipped",
+              carrier: "dhl"
+            }
           }]);
       }
     }];