@reventlessdev/reventless-aws 3.0.0-alpha.339 → 3.0.0-alpha.341

package/tests/PgQueryResolver_LambdaTest.res

@@ -96,6 +96,7 @@ let makeBinding = (
   ~retiredField=None,
   ~retiredValues=None,
   ~namedWhenRetired=false,
+  ~imageSource=None,
   (),
 ): PgQueryResolver_Lambda.binding => {
   ops,
@@ -113,6 +114,7 @@ let makeBinding = (
   retiredField,
   retiredValues,
   namedWhenRetired,
+  imageSource,
 }
 
 let mkPayload = (
@@ -697,6 +699,7 @@ let geoBinding = (): PgQueryResolver_Lambda.binding => {
   retiredField: None,
   retiredValues: None,
   namedWhenRetired: false,
+  imageSource: None,
 }
 
 // The member type of the first row a door answers with, whatever shape it took.

package/tests/PgQueryResolver_LambdaTest.res.mjs

@@ -121,13 +121,14 @@ let capability = {
   sortFields: capability_sortFields
 };
 
-function makeBinding(authorizationOpt, subIdFieldOpt, ownerFieldOpt, retiredFieldOpt, retiredValuesOpt, namedWhenRetiredOpt, param) {
+function makeBinding(authorizationOpt, subIdFieldOpt, ownerFieldOpt, retiredFieldOpt, retiredValuesOpt, namedWhenRetiredOpt, imageSourceOpt, param) {
   let authorization = authorizationOpt !== undefined ? authorizationOpt : "AllowAnonymous";
   let subIdField = subIdFieldOpt !== undefined ? Primitive_option.valFromOption(subIdFieldOpt) : undefined;
   let ownerField = ownerFieldOpt !== undefined ? Primitive_option.valFromOption(ownerFieldOpt) : undefined;
   let retiredField = retiredFieldOpt !== undefined ? Primitive_option.valFromOption(retiredFieldOpt) : undefined;
   let retiredValues = retiredValuesOpt !== undefined ? Primitive_option.valFromOption(retiredValuesOpt) : undefined;
   let namedWhenRetired = namedWhenRetiredOpt !== undefined ? namedWhenRetiredOpt : false;
+  let imageSource = imageSourceOpt !== undefined ? Primitive_option.valFromOption(imageSourceOpt) : undefined;
   return {
     ops: ops,
     pushdowns: pushdowns,
@@ -145,7 +146,8 @@ function makeBinding(authorizationOpt, subIdFieldOpt, ownerFieldOpt, retiredFiel
     ownerField: ownerField,
     retiredField: retiredField,
     retiredValues: retiredValues,
-    namedWhenRetired: namedWhenRetired
+    namedWhenRetired: namedWhenRetired,
+    imageSource: imageSource
   };
 }
 
@@ -188,7 +190,7 @@ function ids(arr) {
 
 globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
   globalThis.test("getById returns the item (id-carrying)", async () => {
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("getById", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("getById", undefined, Object.fromEntries([[
         "id",
         "p-2"
       ]]), undefined, undefined));
@@ -196,14 +198,14 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
     globalThis.expect(str(r, "name")).toEqual("Bravo");
   });
   globalThis.test("getById miss → null", async () => {
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("getById", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("getById", undefined, Object.fromEntries([[
         "id",
         "absent"
       ]]), undefined, undefined));
     globalThis.expect(r).toBe(null);
   });
   globalThis.test("byIds returns matches, drops missing", async () => {
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("byIds", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("byIds", undefined, Object.fromEntries([[
         "ids",
         [
           "p-1",
@@ -217,7 +219,7 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
     ]);
   });
   globalThis.test("index routes to indexLookup on the idField", async () => {
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("index", "byStatus", Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("index", "byStatus", Object.fromEntries([[
         "byStatus",
         "active"
       ]]), undefined, undefined));
@@ -228,13 +230,13 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
   });
   globalThis.test("list with push-down → returns the connection listPage gives", async () => {
     listPageReturn.contents = "PUSHED";
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("list", undefined, undefined, undefined, undefined));
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("list", undefined, undefined, undefined, undefined));
     listPageReturn.contents = undefined;
     globalThis.expect(r).toEqual("PUSHED");
   });
   globalThis.test("list without push-down → falls back to the shared spec", async () => {
     listPageReturn.contents = undefined;
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("list", undefined, undefined, undefined, undefined));
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("list", undefined, undefined, undefined, undefined));
     let edgeIds = Stdlib_Array.filterMap(Stdlib_Option.getOr(Stdlib_Option.flatMap(field(r, "edges"), Stdlib_JSON.Decode.array), []), e => Stdlib_Option.flatMap(field(e, "node"), n => str(n, "id")));
     globalThis.expect(edgeIds).toEqual([
       "p-1",
@@ -243,21 +245,21 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
     ]);
   });
   globalThis.test("items with subId routes to itemsPage (id echoed)", async () => {
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, "seq", undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("items", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, "seq", undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("items", undefined, Object.fromEntries([[
         "id",
         "p-2"
       ]]), undefined, undefined));
     globalThis.expect(str(r, "itemsFor")).toEqual("p-2");
   });
   globalThis.test("items without subId → empty connection", async () => {
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("items", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("items", undefined, Object.fromEntries([[
         "id",
         "p-2"
       ]]), undefined, undefined));
     globalThis.expect(Stdlib_Option.getOr(Stdlib_Option.flatMap(field(r, "edges"), Stdlib_JSON.Decode.array), []).length).toBe(0);
   });
   globalThis.test("authorization DenyAll → empty shape per kind", async () => {
-    let b = makeBinding("DenyAll", undefined, undefined, undefined, undefined, undefined, undefined);
+    let b = makeBinding("DenyAll", undefined, undefined, undefined, undefined, undefined, undefined, undefined);
     let single = await PgQueryResolver_Lambda$ReventlessAws.dispatch(b, undefined, mkPayload("getById", undefined, Object.fromEntries([[
         "id",
         "p-1"
@@ -276,7 +278,7 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
       TAG: "Deny",
       _0: "nope"
     }));
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("getById", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("getById", undefined, Object.fromEntries([[
         "id",
         "p-1"
       ]]), undefined, undefined));
@@ -302,7 +304,7 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
       arguments: payload_arguments,
       identity: Identity$Reventless.anonymous
     };
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, payload);
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, payload);
     globalThis.expect(str(r, "id")).toEqual("p-2");
   });
   globalThis.test("resolveOne multi via target index → array", async () => {
@@ -328,7 +330,7 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
       arguments: payload_arguments,
       identity: Identity$Reventless.anonymous
     };
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, payload);
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, payload);
     globalThis.expect(ids(r)).toEqual([
       "p-1",
       "p-3"
@@ -355,14 +357,14 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
       arguments: payload_arguments,
       identity: Identity$Reventless.anonymous
     };
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, payload);
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, payload);
     globalThis.expect(ids(r)).toEqual([
       "p-1",
       "p-3"
     ]);
   });
   globalThis.test("node decodes global id → __typename + item", async () => {
-    PgQueryResolver_Lambda$ReventlessAws.register("Things", makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined));
+    PgQueryResolver_Lambda$ReventlessAws.register("Things", makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined));
     PgQueryResolver_Lambda$ReventlessAws.registerNodeType("Thing", "Things");
     let payload_arguments = Object.fromEntries([[
         "id",
@@ -412,7 +414,7 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
     delete: 0,
     deleteBatch: 0
   };
-  let init = makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+  let init = makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
   let authBinding_pushdowns = init.pushdowns;
   let authBinding_indexes = init.indexes;
   let authBinding_subIdField = init.subIdField;
@@ -424,6 +426,7 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
   let authBinding_retiredField = init.retiredField;
   let authBinding_retiredValues = init.retiredValues;
   let authBinding_namedWhenRetired = init.namedWhenRetired;
+  let authBinding_imageSource = init.imageSource;
   let authBinding = {
     ops: authOps,
     pushdowns: authBinding_pushdowns,
@@ -436,7 +439,8 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
     ownerField: authBinding_ownerField,
     retiredField: authBinding_retiredField,
     retiredValues: authBinding_retiredValues,
-    namedWhenRetired: authBinding_namedWhenRetired
+    namedWhenRetired: authBinding_namedWhenRetired,
+    imageSource: authBinding_imageSource
   };
   let lookupAuth = name => {
     if (name === "AuthTable") {
@@ -462,18 +466,18 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
     identity: ident(username, groups)
   });
   globalThis.test("auth index: group member who owns → results", async () => {
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), lookupAuth, authIndexPayload("alice", ["Owner"]));
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), lookupAuth, authIndexPayload("alice", ["Owner"]));
     globalThis.expect(ids(r)).toEqual([
       "p-1",
       "p-3"
     ]);
   });
   globalThis.test("auth index: group member who does NOT own → empty", async () => {
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), lookupAuth, authIndexPayload("bob", ["Owner"]));
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), lookupAuth, authIndexPayload("bob", ["Owner"]));
     globalThis.expect(Stdlib_Option.getOr(Stdlib_JSON.Decode.array(r), []).length).toBe(0);
   });
   globalThis.test("auth index: non-member passes through → results", async () => {
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), lookupAuth, authIndexPayload("bob", []));
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), lookupAuth, authIndexPayload("bob", []));
     globalThis.expect(ids(r)).toEqual([
       "p-1",
       "p-3"
@@ -482,7 +486,7 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
   globalThis.test("unmapped kind throws", async () => {
     let threw;
     try {
-      await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("frobnicate", undefined, undefined, undefined, undefined));
+      await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("frobnicate", undefined, undefined, undefined, undefined));
       threw = false;
     } catch (exn) {
       threw = true;
@@ -493,35 +497,35 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
 
 globalThis.describe("id form — the typed doors take either", () => {
   globalThis.test("getById resolves a Relay global id", async () => {
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("getById", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("getById", undefined, Object.fromEntries([[
         "id",
         Api_Ids$ReventlessCore.encode("Thing", "p-2")
       ]]), undefined, undefined));
     globalThis.expect(str(r, "name")).toEqual("Bravo");
   });
   globalThis.test("getById reports the storage key it resolved to", async () => {
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("getById", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("getById", undefined, Object.fromEntries([[
         "id",
         Api_Ids$ReventlessCore.encode("Thing", "p-2")
       ]]), undefined, undefined));
     globalThis.expect(str(r, "id")).toEqual("p-2");
   });
   globalThis.test("getById still resolves a plain storage key", async () => {
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("getById", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("getById", undefined, Object.fromEntries([[
         "id",
         "p-2"
       ]]), undefined, undefined));
     globalThis.expect(str(r, "name")).toEqual("Bravo");
   });
   globalThis.test("getById on a global id for a row that does not exist is still null", async () => {
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("getById", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("getById", undefined, Object.fromEntries([[
         "id",
         Api_Ids$ReventlessCore.encode("Thing", "absent")
       ]]), undefined, undefined));
     globalThis.expect(r).toBe(null);
   });
   globalThis.test("byIds accepts the two forms mixed in one call", async () => {
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("byIds", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("byIds", undefined, Object.fromEntries([[
         "ids",
         [
           "p-1",
@@ -534,7 +538,7 @@ globalThis.describe("id form — the typed doors take either", () => {
     ]);
   });
   globalThis.test("byIds with every id found does not double-count", async () => {
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("byIds", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("byIds", undefined, Object.fromEntries([[
         "ids",
         [
           "p-1",
@@ -549,7 +553,7 @@ globalThis.describe("id form — the typed doors take either", () => {
 });
 
 globalThis.describe("owner scoping", () => {
-  let ownedBinding = () => makeBinding(undefined, undefined, "owner", undefined, undefined, undefined, undefined);
+  let ownedBinding = () => makeBinding(undefined, undefined, "owner", undefined, undefined, undefined, undefined, undefined);
   let shopper = cognito("u-a", ["User"]);
   let listWith = async (binding, identity) => {
     lastOwnerScope.contents = undefined;
@@ -574,7 +578,7 @@ globalThis.describe("owner scoping", () => {
     globalThis.expect(match[1]).toBe(undefined);
   });
   globalThis.test("a view with no owner field is never scoped", async () => {
-    let match = await listWith(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined), shopper);
+    let match = await listWith(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined), shopper);
     globalThis.expect(match[1]).toBe(undefined);
   });
   globalThis.test("an unidentified caller is refused before the push-down runs", async () => {
@@ -709,7 +713,8 @@ function geoBinding() {
     ownerField: undefined,
     retiredField: undefined,
     retiredValues: undefined,
-    namedWhenRetired: false
+    namedWhenRetired: false,
+    imageSource: undefined
   };
 }
 

package/tests/ProjectionEntryPoint_DisplayNameTest.res

@@ -0,0 +1,96 @@
+// The `@displayName` overlay reached the typed paths — the local platform's
+// builder and the GWT harness both rewrite a projection's actions — but a
+// deployed state-view slice assembles its own JSON-level operations, so the
+// synthetic column stayed null on AWS and every surface named the row by its id.
+//
+// The same gap, and for the same reason, as the union stamp beside it.
+
+open JestGlobals
+
+@schema
+type rowState = {
+  orderId: string,
+  placedAt: string,
+  shippedAt: string,
+  displayName: option<string>,
+}
+
+// The same state with no `@displayName` on any of its fields.
+let plainRowStateSchema = rowStateSchema
+
+// What the ppx emits for `@displayName placedAt`.
+let rowStateSchema =
+  rowStateSchema->S.Metadata.set(
+    ~id=Reventless.DisplayName.displayNameId,
+    {Reventless.DisplayName.fields: ["placedAt"], separator: " "},
+  )
+
+// 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 labelOf = (json: JSON.t) =>
+  json
+  ->JSON.Decode.object
+  ->Option.flatMap(o => o->Dict.get("displayName"))
+  ->Option.flatMap(JSON.Decode.string)
+
+let row = (~placedAt="2026-09-07T13:57:46.593Z"): JSON.t =>
+  ({orderId: "o1", placedAt, shippedAt: "", displayName: None}: rowState)
+  ->ReventlessCore.Message.encode(rowStateSchema)
+
+describe("ProjectionEntryPoint_Ops.withDisplayName", () => {
+  testPromise("composes the label on save", async () => {
+    let (base, saved) = capture()
+    let ops =
+      base->ProjectionEntryPoint_Ops.withDisplayName(
+        ~stateSchema=Some(rowStateSchema->S.castToUnknown),
+      )
+    let _ = await ops.save("o1", row(), ReventlessCore.QueryDb.Any, None)
+    expect(saved->Array.get(0)->Option.flatMap(labelOf))->toEqual(Some("2026-09-07T13:57:46.593Z"))
+  })
+
+  // saveBatch is the path a multi-event projection takes, and it was missing the
+  // overlay for the same reason save was.
+  testPromise("composes the label for every row in a batch", async () => {
+    let (base, saved) = capture()
+    let ops =
+      base->ProjectionEntryPoint_Ops.withDisplayName(
+        ~stateSchema=Some(rowStateSchema->S.castToUnknown),
+      )
+    let _ = await ops.saveBatch([("o1", row(), None), ("o2", row(~placedAt="2026-09-08T09:00:00Z"), None)])
+    expect(saved->Array.map(labelOf))->toEqual([
+      Some("2026-09-07T13:57:46.593Z"),
+      Some("2026-09-08T09:00:00Z"),
+    ])
+  })
+
+  // A state that declares no `@displayName` is left exactly as it was — the
+  // wrapper is applied to every slice, annotated or not.
+  testPromise("passes rows through when the state declares no label", async () => {
+    let (base, saved) = capture()
+    let ops =
+      base->ProjectionEntryPoint_Ops.withDisplayName(
+        ~stateSchema=Some(plainRowStateSchema->S.castToUnknown),
+      )
+    let _ = await ops.save("o1", row(), ReventlessCore.QueryDb.Any, None)
+    expect(saved->Array.get(0)->Option.flatMap(labelOf))->toEqual(None)
+  })
+})

package/tests/ProjectionEntryPoint_DisplayNameTest.res.mjs

@@ -0,0 +1,131 @@
+// 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 DisplayName$Reventless from "@reventlessdev/reventless-spec/src/components/DisplayName.res.mjs";
+import * as Message$ReventlessCore from "@reventlessdev/reventless-core/src/Message.res.mjs";
+import * as ProjectionEntryPoint_Ops$ReventlessAws from "../src/adapter/Runtime/ProjectionEntryPoint_Ops.res.mjs";
+
+let rowStateSchema = Sury.$schema(s => ({
+  orderId: s.m(Sury.string),
+  placedAt: s.m(Sury.string),
+  shippedAt: s.m(Sury.string),
+  displayName: s.m(Sury.$option(Sury.string))
+}));
+
+let rowStateSchema$1 = Sury.$Metadata_set(rowStateSchema, DisplayName$Reventless.displayNameId, {
+  fields: ["placedAt"],
+  separator: " "
+});
+
+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 labelOf(json) {
+  return Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(json), o => o["displayName"]), Stdlib_JSON.Decode.string);
+}
+
+function row(placedAtOpt) {
+  let placedAt = placedAtOpt !== undefined ? placedAtOpt : "2026-09-07T13:57:46.593Z";
+  return Message$ReventlessCore.encode({
+    orderId: "o1",
+    placedAt: placedAt,
+    shippedAt: "",
+    displayName: undefined
+  }, rowStateSchema$1);
+}
+
+globalThis.describe("ProjectionEntryPoint_Ops.withDisplayName", () => {
+  globalThis.test("composes the label on save", async () => {
+    let match = capture();
+    let ops = ProjectionEntryPoint_Ops$ReventlessAws.withDisplayName(match[0], rowStateSchema$1);
+    await ops.save("o1", row(undefined), "Any", undefined);
+    globalThis.expect(Stdlib_Option.flatMap(match[1][0], labelOf)).toEqual("2026-09-07T13:57:46.593Z");
+  });
+  globalThis.test("composes the label for every row in a batch", async () => {
+    let match = capture();
+    let ops = ProjectionEntryPoint_Ops$ReventlessAws.withDisplayName(match[0], rowStateSchema$1);
+    await ops.saveBatch([
+      [
+        "o1",
+        row(undefined),
+        undefined
+      ],
+      [
+        "o2",
+        row("2026-09-08T09:00:00Z"),
+        undefined
+      ]
+    ]);
+    globalThis.expect(match[1].map(labelOf)).toEqual([
+      "2026-09-07T13:57:46.593Z",
+      "2026-09-08T09:00:00Z"
+    ]);
+  });
+  globalThis.test("passes rows through when the state declares no label", async () => {
+    let match = capture();
+    let ops = ProjectionEntryPoint_Ops$ReventlessAws.withDisplayName(match[0], rowStateSchema);
+    await ops.save("o1", row(undefined), "Any", undefined);
+    globalThis.expect(Stdlib_Option.flatMap(match[1][0], labelOf)).toEqual(undefined);
+  });
+});
+
+let plainRowStateSchema = rowStateSchema;
+
+export {
+  plainRowStateSchema,
+  rowStateSchema$1 as rowStateSchema,
+  capture,
+  labelOf,
+  row,
+}
+/* rowStateSchema Not a pure module */

package/tests/StateViewSliceEntryPoint_OpsTest.res

@@ -14,6 +14,19 @@ open JestGlobals
 let str = JSON.Encode.string
 let obj = pairs => JSON.Encode.object(Dict.fromArray(pairs))
 
+@schema
+type trailedLifecycle =
+  | Placed
+  | Shipped
+
+// A view declaring a trail, for the pipeline cases below. The states this path
+// writes are JSON, so only the schema says where the trail and the lifecycle are.
+@schema
+type trailedState = {
+  lifecycle: trailedLifecycle,
+  trail: Reventless.Lifecycle.Trail.t<trailedLifecycle>,
+}
+
 describe("StateViewSliceEntryPoint_Ops.parseHandlerConfig", () => {
   testSync("empty raw config yields no handlers", () => {
     expect(StateViewSliceEntryPoint_Ops.parseHandlerConfig("")->Array.length)->toBe(0)
@@ -141,6 +154,7 @@ describe("StateViewSliceEntryPoint_Ops.makeJsonEventsHandler", () => {
       ~project,
       ~queryDbOps=makeStub(saved),
       ~subIdConfig=None,
+      ~stateSchema=None,
     )
     let envelope = obj([("event", str("row-1")), ("recordedAt", str("2026-07-27"))])
     let bare = str("row-2")
@@ -156,6 +170,7 @@ describe("StateViewSliceEntryPoint_Ops.makeJsonEventsHandler", () => {
       ~project,
       ~queryDbOps=makeStub(saved),
       ~subIdConfig=None,
+      ~stateSchema=None,
     )
     // A number cannot parse as S.string → logged and skipped; the following
     // record still projects.
@@ -164,4 +179,56 @@ describe("StateViewSliceEntryPoint_Ops.makeJsonEventsHandler", () => {
     ->Effect.runPromise
     expect(saved)->toEqual([("row-after", str(""))])
   })
+
+  // The deployed slice assembles JSON-level operations instead of going through
+  // the typed rewrite, so the trail has to be appended on this path too — the
+  // same gap `withDisplayName` was written to close.
+  test("appends a trail entry from the envelope's producer time", async () => {
+    let saved = []
+    let handler = StateViewSliceEntryPoint_Ops.makeJsonEventsHandler(
+      ~sliceName="TrailSlice",
+      ~eventSchema=S.string,
+      ~project=({event, _}) => [
+        Set(event, obj([("lifecycle", str("Placed")), ("trail", JSON.Encode.array([]))])),
+      ],
+      ~queryDbOps=makeStub(saved),
+      ~subIdConfig=None,
+      ~stateSchema=Some(trailedStateSchema->S.castToUnknown),
+    )
+    await Stream.fromIterable([
+      obj([("event", str("row-1")), ("meta", obj([("time", str("2026-03-02T09:00:00Z"))]))]),
+    ])
+    ->handler
+    ->Effect.runPromise
+    expect(saved)->toEqual([
+      (
+        "row-1",
+        obj([
+          ("lifecycle", str("Placed")),
+          ("trail", JSON.Encode.array([obj([("state", str("Placed")), ("at", str("2026-03-02T09:00:00Z"))])])),
+        ]),
+      ),
+    ])
+  })
+
+  // Without a producer time there is no instant to stamp, so the row is written
+  // as the projection produced it rather than with an entry the read path would
+  // refuse.
+  test("appends nothing when the envelope carries no producer time", async () => {
+    let saved = []
+    let handler = StateViewSliceEntryPoint_Ops.makeJsonEventsHandler(
+      ~sliceName="TrailSlice",
+      ~eventSchema=S.string,
+      ~project=({event, _}) => [
+        Set(event, obj([("lifecycle", str("Placed")), ("trail", JSON.Encode.array([]))])),
+      ],
+      ~queryDbOps=makeStub(saved),
+      ~subIdConfig=None,
+      ~stateSchema=Some(trailedStateSchema->S.castToUnknown),
+    )
+    await Stream.fromIterable([obj([("event", str("row-1"))])])->handler->Effect.runPromise
+    expect(saved)->toEqual([
+      ("row-1", obj([("lifecycle", str("Placed")), ("trail", JSON.Encode.array([]))])),
+    ])
+  })
 })