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

package/CHANGELOG.md

@@ -3,6 +3,18 @@
 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.340 (2026-09-08)
+
+### Bug Fixes
+
+* **aws:** a deployed state view slice composes its [@display](https://github.com/display)Name ([05ba7c5](https://github.com/ReventlessDev/reventless-core/commit/05ba7c531e605c5eb8d190a1fcb4f3d99888253d))
+### Features
+
+* a slice folder is named for its kind, without the Slice ([a400555](https://github.com/ReventlessDev/reventless-core/commit/a400555121b023823983ebe846e99cda27063c1f))
+* **core:** a reference names a row and shows its picture ([2b40d04](https://github.com/ReventlessDev/reventless-core/commit/2b40d0418bba2bf83463f446e94e372ea0c9898c))
+* **core:** a state view records when it reached each state ([5216f71](https://github.com/ReventlessDev/reventless-core/commit/5216f71b8dcafcb2f0c991923ebcf2438b27e347))
+
+
 # 3.0.0-alpha.339 (2026-09-07)
 
 **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.339",
+  "version": "3.0.0-alpha.340",
   "description": "AWS adapters for Reventless",
   "license": "Apache-2.0",
   "bin": {
@@ -15,18 +15,18 @@
     "@aws-sdk/s3-request-presigner": "3.970.0",
     "sury": "11.0.0-rc.2",
     "uuid": "^13.0.0",
-    "@reventlessdev/rescript-effect": "0.1.0-alpha.32",
-    "@reventlessdev/rescript-jest": "1.0.0-alpha.10",
     "@reventlessdev/rescript-aws-sdk": "3.0.0-alpha.15",
+    "@reventlessdev/rescript-jest": "1.0.0-alpha.10",
+    "@reventlessdev/rescript-effect": "0.1.0-alpha.32",
     "@reventlessdev/rescript-node": "2.0.0-alpha.9",
-    "@reventlessdev/rescript-pulumi-aws": "3.0.0-alpha.8",
-    "@reventlessdev/rescript-uuid": "2.0.0-alpha.0",
-    "@reventlessdev/reventless-core": "3.0.0-alpha.258",
+    "@reventlessdev/rescript-pulumi-aws": "3.0.0-alpha.9",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.19",
-    "@reventlessdev/reventless-postgres": "3.0.0-alpha.122",
+    "@reventlessdev/rescript-uuid": "2.0.0-alpha.0",
+    "@reventlessdev/reventless-core": "3.0.0-alpha.259",
     "@reventlessdev/reventless-interop": "3.0.0-alpha.35",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.159",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.131"
+    "@reventlessdev/reventless-postgres": "3.0.0-alpha.123",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.160",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.132"
   },
   "devDependencies": {
     "rescript": "12.3.0",

package/src/Platform.res.mjs

@@ -30,7 +30,7 @@ import * as CapabilityNeed$Reventless from "@reventlessdev/reventless-spec/src/s
 import * as PluginSpec$ReventlessCore from "@reventlessdev/reventless-core/src/plugin/lifecycle/PluginSpec.res.mjs";
 import * as Util_Bundle$ReventlessAws from "./util/Util_Bundle.res.mjs";
 import * as Plugin_Stack$ReventlessAws from "./plugin/stack/Plugin_Stack.res.mjs";
-import * as UiFragments$ReventlessCore from "@reventlessdev/reventless-core/src/admin/UiFragmentRegistry/StateViewSlice/UiFragments.res.mjs";
+import * as UiFragments$ReventlessCore from "@reventlessdev/reventless-core/src/admin/UiFragmentRegistry/StateView/UiFragments.res.mjs";
 import * as Util_Pulumi$ReventlessCore from "@reventlessdev/reventless-core/src/util/Util_Pulumi.res.mjs";
 import * as Platform_Casts$ReventlessAws from "./Platform_Casts.res.mjs";
 import * as Platform_Stack$ReventlessAws from "./Platform_Stack.res.mjs";
@@ -61,7 +61,7 @@ import * as Platform_AdminApi$ReventlessCore from "@reventlessdev/reventless-cor
 import * as PluginsProjection$ReventlessCore from "@reventlessdev/reventless-core/src/plugin/lifecycle/PluginsProjection.res.mjs";
 import * as StateTopic_AppSync$ReventlessAws from "./adapter/StateTopic/StateTopic_AppSync.res.mjs";
 import * as AppSync_SdlDecorate$ReventlessAws from "./components/Api/AppSync_SdlDecorate.res.mjs";
-import * as UiFragmentRegistry$ReventlessCore from "@reventlessdev/reventless-core/src/admin/UiFragmentRegistry/StateChangeSlice/UiFragmentRegistry.res.mjs";
+import * as UiFragmentRegistry$ReventlessCore from "@reventlessdev/reventless-core/src/admin/UiFragmentRegistry/StateChange/UiFragmentRegistry.res.mjs";
 import * as Util_ResourceNaming$ReventlessAws from "./util/Util_ResourceNaming.res.mjs";
 import * as Auth_ActiveRoleStore$ReventlessAws from "./adapter/Auth/Auth_ActiveRoleStore.res.mjs";
 import * as ClonerRunner_Fargate$ReventlessAws from "./plugin/cloner/ClonerRunner_Fargate.res.mjs";
@@ -77,7 +77,7 @@ import * as EventTopicPublisher_SNS$ReventlessAws from "./adapter/EventTopic/Eve
 import * as ExtensionPointMapping$ReventlessInfra from "@reventlessdev/reventless-infra/src/types/ExtensionPointMapping.res.mjs";
 import * as PgQueryResolver_Builder$ReventlessAws from "./adapter/QueryDb/PgQueryResolver_Builder.res.mjs";
 import * as Platform_BakedManifest$ReventlessCore from "@reventlessdev/reventless-core/src/admin/Platform_BakedManifest.res.mjs";
-import * as UiFragments_Projection$ReventlessCore from "@reventlessdev/reventless-core/src/admin/UiFragmentRegistry/StateViewSlice/UiFragments_Projection.res.mjs";
+import * as UiFragments_Projection$ReventlessCore from "@reventlessdev/reventless-core/src/admin/UiFragmentRegistry/StateView/UiFragments_Projection.res.mjs";
 import * as Aggregate_Builder_Single$ReventlessAws from "./components/Aggregate_Builder_Single.res.mjs";
 import * as ReadModel_Builder_Single$ReventlessAws from "./components/ReadModel_Builder_Single.res.mjs";
 import * as StateChangeSlice_Builder$ReventlessAws from "./components/StateChangeSlice_Builder.res.mjs";
@@ -89,7 +89,7 @@ import * as PluginExtensionPointSpec$ReventlessInfra from "@reventlessdev/revent
 import * as Platform_UIFragments_Lambda$ReventlessAws from "./adapter/Api/Platform_UIFragments_Lambda.res.mjs";
 import * as CommandTopicChannel_SQS_Sync$ReventlessAws from "./adapter/CommandTopic/CommandTopicChannel_SQS_Sync.res.mjs";
 import * as EventLogSubscription_AppSync$ReventlessAws from "./adapter/EventLogSubscription/EventLogSubscription_AppSync.res.mjs";
-import * as UiFragmentRegistry_Behavior$ReventlessCore from "@reventlessdev/reventless-core/src/admin/UiFragmentRegistry/StateChangeSlice/UiFragmentRegistry_Behavior.res.mjs";
+import * as UiFragmentRegistry_Behavior$ReventlessCore from "@reventlessdev/reventless-core/src/admin/UiFragmentRegistry/StateChange/UiFragmentRegistry_Behavior.res.mjs";
 import * as CommandTopicChannel_SQS_Async$ReventlessAws from "./adapter/CommandTopic/CommandTopicChannel_SQS_Async.res.mjs";
 import * as Geocoder_AwsLocation_Resolver$ReventlessAws from "./adapter/Geocoder/Geocoder_AwsLocation_Resolver.res.mjs";
 import * as Plugin_ExtensionPoint_Builder$ReventlessAws from "./plugin/stack/Plugin_ExtensionPoint_Builder.res.mjs";

package/src/adapter/QueryDb/PgQueryResolver_Lambda.res

@@ -103,6 +103,10 @@ type binding = {
       name — the `@namedWhenRetired` opt-in. Read only by the reference door;
       every other door narrows as it always did. */
   namedWhenRetired: bool,
+  /** The field a reference shows this row's picture from, derived from the same
+      schema as `capability` by `Reventless.RowImage`. `None` for a view that
+      declares no picture, which is most of them. */
+  imageSource: option<Reventless.RowImage.source>,
 }
 
 // -- arg helpers -------------------------------------------------------------
@@ -309,6 +313,15 @@ let dispatch = async (
                     ->Option.getOr(id),
                   ),
                 ),
+                // The picture travels with the name, so a retired row that keeps
+                // one keeps the other.
+                (
+                  "image",
+                  switch (binding.imageSource, item->JSON.Decode.object) {
+                  | (Some(source), Some(d)) => d->Reventless.RowImage.refFrom(source)
+                  | _ => None
+                  }->Option.mapOr(JSON.Encode.null, JSON.Encode.string),
+                ),
                 ("retired", JSON.Encode.bool(retired)),
                 ("retiredState", state->Option.mapOr(JSON.Encode.null, JSON.Encode.string)),
               ])->JSON.Encode.object,

package/src/adapter/QueryDb/PgQueryResolver_Lambda.res.mjs

@@ -5,6 +5,7 @@ import * as Stdlib_Array from "@rescript/runtime/lib/es6/Stdlib_Array.js";
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Stdlib_JsError from "@rescript/runtime/lib/es6/Stdlib_JsError.js";
 import * as Identity$Reventless from "@reventlessdev/reventless-spec/src/types/Identity.res.mjs";
+import * as RowImage$Reventless from "@reventlessdev/reventless-spec/src/semantic/RowImage.res.mjs";
 import * as Logger$ReventlessCore from "@reventlessdev/reventless-core/src/util/Logger.res.mjs";
 import * as OwnerScope$Reventless from "@reventlessdev/reventless-spec/src/types/OwnerScope.res.mjs";
 import * as Api_Ids$ReventlessCore from "@reventlessdev/reventless-core/src/components/Api/Api_Ids.res.mjs";
@@ -218,6 +219,8 @@ async function dispatch(binding, lookupBindingOpt, payload) {
           }
           let get = key => Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(item), d => d[key]);
           let id = Stdlib_Option.getOr(Stdlib_Option.flatMap(get("id"), Stdlib_JSON.Decode.string), "");
+          let match$1 = binding.imageSource;
+          let match$2 = Stdlib_JSON.Decode.object(item);
           return Object.fromEntries([
             [
               "id",
@@ -227,6 +230,10 @@ async function dispatch(binding, lookupBindingOpt, payload) {
               "label",
               Stdlib_Option.getOr(Stdlib_Option.flatMap(get(binding.labelField), Stdlib_JSON.Decode.string), id)
             ],
+            [
+              "image",
+              Stdlib_Option.mapOr(match$1 !== undefined && match$2 !== undefined ? RowImage$Reventless.refFrom(match$2, match$1) : undefined, null, prim => prim)
+            ],
             [
               "retired",
               retired

package/src/adapter/QueryDb/QueryDbResolvers_AppSync.res

@@ -548,6 +548,13 @@ let make: ReventlessCore.QueryDb_Adapter.resolversMaker<api, role> = (
               ~retiredField,
               ~retiredValues,
               ~namedWhenRetired=retiredSpec->Option.mapOr(false, r => r.namedWhenRetired),
+              // Derived at deploy time from the same schema every other backend
+              // derives it from at runtime — this is the one resolver that is
+              // generated source rather than a function, so it takes the read as
+              // an expression instead of doing it.
+              ~imageExpr=?stateSchemaOpt
+              ->Option.flatMap(Reventless.RowImage.sourceFrom)
+              ->Option.map(source => Reventless.RowImage.jsExpr(~row="row", source)),
               ~ownerField?,
               ~elevatedGroups,
             ),

package/src/adapter/QueryDb/QueryDbResolvers_AppSync.res.mjs

@@ -4,6 +4,7 @@ import * as Stdlib_Array from "@rescript/runtime/lib/es6/Stdlib_Array.js";
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Stdlib_String from "@rescript/runtime/lib/es6/Stdlib_String.js";
 import * as Owner$Reventless from "@reventlessdev/reventless-spec/src/components/Owner.res.mjs";
+import * as RowImage$Reventless from "@reventlessdev/reventless-spec/src/semantic/RowImage.res.mjs";
 import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
 import * as Logger$ReventlessCore from "@reventlessdev/reventless-core/src/util/Logger.res.mjs";
 import * as OwnerScope$Reventless from "@reventlessdev/reventless-spec/src/types/OwnerScope.res.mjs";
@@ -181,7 +182,7 @@ function make(name, api, apiRole, dataSourceName, indexes, subIdField, idResolve
     if (includeIdParam && subIdField === undefined) {
       let storage$1 = storageResource(undefined, name$1);
       let refsField = fieldNameForAll + "Refs";
-      resolverRefs = makeQueryResolver(Stdlib_String.capitalize(refsField), refsField, generateCode(storage$1, AppSync_Resolver_Functions$PulumiAws.refsByIds(labelField, retiredField, retiredValues, Stdlib_Option.mapOr(retiredSpec, false, r => r.namedWhenRetired), ownerField, elevatedGroups)));
+      resolverRefs = makeQueryResolver(Stdlib_String.capitalize(refsField), refsField, generateCode(storage$1, AppSync_Resolver_Functions$PulumiAws.refsByIds(labelField, retiredField, retiredValues, Stdlib_Option.mapOr(retiredSpec, false, r => r.namedWhenRetired), Stdlib_Option.map(Stdlib_Option.flatMap(stateSchemaOpt, RowImage$Reventless.sourceFrom), source => RowImage$Reventless.jsExpr("row", source)), ownerField, elevatedGroups)));
     } else {
       resolverRefs = undefined;
     }

package/src/adapter/Runtime/PgQueryResolverEntryPoint_Ops.res

@@ -169,6 +169,7 @@ let registerBinding = (
       ->Reventless.StateAnnotations.getSpec
       ->Option.flatMap(a => a.retired)
       ->Option.mapOr(false, r => r.namedWhenRetired),
+      imageSource: spec.stateSchema->Reventless.RowImage.sourceFrom,
     },
   )
   logDebug("registered resolver binding for " ++ entry.readModelName, {comp: "PgQueryResolver"})

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

@@ -4,6 +4,7 @@ import * as Stdlib_JSON from "@rescript/runtime/lib/es6/Stdlib_JSON.js";
 import * as Stdlib_Array from "@rescript/runtime/lib/es6/Stdlib_Array.js";
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Owner$Reventless from "@reventlessdev/reventless-spec/src/components/Owner.res.mjs";
+import * as RowImage$Reventless from "@reventlessdev/reventless-spec/src/semantic/RowImage.res.mjs";
 import * as PgRuntime$ReventlessAws from "../Postgres/PgRuntime.res.mjs";
 import * as HandlerFactoryHelpersMjs from "./HandlerFactoryHelpers.mjs";
 import * as StateAnnotations$Reventless from "@reventlessdev/reventless-spec/src/components/StateAnnotations.res.mjs";
@@ -78,7 +79,8 @@ function registerBinding(pushdowns, pgConnection, entry, spec) {
     ownerField: Owner$Reventless.fieldNames(spec.stateSchema)[0],
     retiredField: Stdlib_Option.map(Stdlib_Option.flatMap(StateAnnotations$Reventless.getSpec(spec.stateSchema), a => a.retired), r => r.field),
     retiredValues: Stdlib_Option.flatMap(Stdlib_Option.flatMap(StateAnnotations$Reventless.getSpec(spec.stateSchema), a => a.retired), r => r.values),
-    namedWhenRetired: Stdlib_Option.mapOr(Stdlib_Option.flatMap(StateAnnotations$Reventless.getSpec(spec.stateSchema), a => a.retired), false, r => r.namedWhenRetired)
+    namedWhenRetired: Stdlib_Option.mapOr(Stdlib_Option.flatMap(StateAnnotations$Reventless.getSpec(spec.stateSchema), a => a.retired), false, r => r.namedWhenRetired),
+    imageSource: RowImage$Reventless.sourceFrom(spec.stateSchema)
   });
   HandlerFactoryHelpersMjs.log.debug("registered resolver binding for " + entry.readModelName, {
     comp: "PgQueryResolver"

package/src/adapter/Runtime/ProjectionEntryPoint_Ops.res

@@ -86,6 +86,45 @@ let withUnionMemberTypes = (
     }
   }
 
+/**
+Composes the synthetic `displayName` column a `@displayName` state declares.
+
+`Projection.rewriteAction` does this for the typed paths — the local platform
+and the GWT harness rewrite the projection's actions before applying them — but
+a deployed state-view slice assembles its own JSON-level pipeline here, so the
+overlay never ran on AWS and every surface named the row by its id.
+
+Applied at save rather than on the action: the state reaching the table is the
+one an `Update`'s function already produced, so every action shape is covered
+without enumerating them. `None` — a spec with no annotation, or one that
+predates the metadata — leaves rows exactly as they were.
+*/
+let withDisplayName = (
+  base: ReventlessCore.QueryDb_Adapter.operations,
+  ~stateSchema: option<S.t<unknown>>,
+): ReventlessCore.QueryDb_Adapter.operations =>
+  switch stateSchema->Option.flatMap(Reventless.DisplayName.getSpec) {
+  | None => base
+  | Some(spec) =>
+    let compose = (state: JSON.t) => {
+      switch state->JSON.Decode.object {
+      | Some(stateDict) =>
+        stateDict->Dict.set(
+          "displayName",
+          JSON.Encode.string(Reventless.DisplayName.computeLabel(spec, stateDict)),
+        )
+      | None => ()
+      }
+      state
+    }
+    {
+      ...base,
+      save: (id, state, saveMode, ttl) => base.save(id, compose(state), saveMode, ttl),
+      saveBatch: items =>
+        base.saveBatch(items->Array.map(((id, state, ttl)) => (id, compose(state), ttl))),
+    }
+  }
+
 let makeQueryDbOps = (
   ~queryDbTableName: string,
   ~pgConnection: option<PgConnection.connectionConfig>,

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

@@ -1,6 +1,8 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
+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 DisplayName$Reventless from "@reventlessdev/reventless-spec/src/components/DisplayName.res.mjs";
 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";
@@ -41,6 +43,33 @@ function withUnionMemberTypes(base, stateSchema) {
   }
 }
 
+function withDisplayName(base, stateSchema) {
+  let spec = Stdlib_Option.flatMap(stateSchema, DisplayName$Reventless.getSpec);
+  if (spec === undefined) {
+    return base;
+  }
+  let compose = state => {
+    let stateDict = Stdlib_JSON.Decode.object(state);
+    if (stateDict !== undefined) {
+      stateDict["displayName"] = DisplayName$Reventless.computeLabel(spec, stateDict);
+    }
+    return state;
+  };
+  return {
+    load: base.load,
+    loadStream: base.loadStream,
+    save: (id, state, saveMode, ttl) => base.save(id, compose(state), saveMode, ttl),
+    saveBatch: items => base.saveBatch(items.map(param => [
+      param[0],
+      compose(param[1]),
+      param[2]
+    ])),
+    count: base.count,
+    delete: base.delete,
+    deleteBatch: base.deleteBatch
+  };
+}
+
 function makeQueryDbOps(queryDbTableName, pgConnection, stateTopicName, indexes, subIdField) {
   if (pgConnection !== undefined) {
     return StateTopicPublishMjs.withLiveUpdates(QueryDbStorage_Postgres_Runtime$ReventlessAws.opsFor(pgConnection, queryDbTableName, indexes, subIdField), {
@@ -59,6 +88,7 @@ export {
   subIdFieldOf,
   withLiveUpdates,
   withUnionMemberTypes,
+  withDisplayName,
   makeQueryDbOps,
 }
-/* TaggedUnion-Reventless Not a pure module */
+/* DisplayName-Reventless Not a pure module */

package/src/adapter/Runtime/StateViewSliceEntryPoint_Ops.res

@@ -97,6 +97,10 @@ type envelope<'event> = {
   event: JSON.t,
   meta: Reventless.Message.meta,
   recordedAt: string,
+  // The producer time, read off the JSON rather than through `asMeta` — that
+  // cast admits `undefined`, so `meta.time` throws on an envelope without one.
+  // "" where the producer wrote none, which appends no trail entry.
+  producerTime: string,
 }
 
 let decodeEnvelope = (json: JSON.t): envelope<'event> => {
@@ -111,6 +115,12 @@ let decodeEnvelope = (json: JSON.t): envelope<'event> => {
     ->Option.flatMap(f => f->Dict.get("recordedAt"))
     ->Option.flatMap(JSON.Decode.string)
     ->Option.getOr(""),
+    producerTime: fields
+    ->Option.flatMap(f => f->Dict.get("meta"))
+    ->Option.flatMap(JSON.Decode.object)
+    ->Option.flatMap(m => m->Dict.get("time"))
+    ->Option.flatMap(JSON.Decode.string)
+    ->Option.getOr(""),
   }
 }
 
@@ -129,14 +139,27 @@ let makeJsonEventsHandler = (
   >,
   ~queryDbOps: ReventlessCore.QueryDb_Adapter.operations,
   ~subIdConfig: option<Reventless.ReadModel.subIdConfig<JSON.t>>,
+  ~stateSchema: option<S.t<unknown>>,
 ): ReventlessCore.EventCollector.jsonEventsHandler =>
   stream =>
     stream
     ->Stream.mapEffect(json =>
       Effect.sync(() =>
         try {
-          let {event, meta, recordedAt} = decodeEnvelope(json)
-          project({event: event->Reventless.Util_Sury.fromJson(eventSchema), meta, recordedAt})
+          let {event, meta, recordedAt, producerTime} = decodeEnvelope(json)
+          let actions = project({
+            event: event->Reventless.Util_Sury.fromJson(eventSchema),
+            meta,
+            recordedAt,
+          })
+          // The deployed slice assembles JSON-level operations rather than going
+          // through the typed rewrite, so the trail is appended here — with this
+          // envelope's own time, which the apply below no longer has.
+          producerTime === ""
+            ? actions
+            : actions->Array.map(
+                ReventlessCore.Projection.rewriteJsonAction(_, ~at=producerTime, ~stateSchema),
+              )
         } catch {
         | exn =>
           StreamRoutedEntryPoint_Ops.logError(
@@ -190,7 +213,9 @@ let makeRegisteredHandler = (
     ~stateTopicName=entry.stateTopicName,
     ~indexes=ProjectionEntryPoint_Ops.indexesOf(modules.config),
     ~subIdField=ProjectionEntryPoint_Ops.subIdFieldOf(modules.subIdConfig),
-  )->ProjectionEntryPoint_Ops.withUnionMemberTypes(~stateSchema=modules.stateSchema)
+  )
+  ->ProjectionEntryPoint_Ops.withUnionMemberTypes(~stateSchema=modules.stateSchema)
+  ->ProjectionEntryPoint_Ops.withDisplayName(~stateSchema=modules.stateSchema)
   {
     handler: StreamRoutedEntryPoint_Ops.toStreamHandler(
       makeJsonEventsHandler(
@@ -199,6 +224,7 @@ let makeRegisteredHandler = (
         ~project=modules.project,
         ~queryDbOps,
         ~subIdConfig=modules.subIdConfig,
+        ~stateSchema=modules.stateSchema,
       ),
     ),
     // Matches the `StateViewSlice(<name>)` shape the rest of the framework

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

@@ -59,19 +59,26 @@ function decodeEnvelope(json) {
   return {
     event: tmp,
     meta: Stdlib_Option.flatMap(fields, f => f["meta"]),
-    recordedAt: Stdlib_Option.getOr(Stdlib_Option.flatMap(Stdlib_Option.flatMap(fields, f => f["recordedAt"]), Stdlib_JSON.Decode.string), "")
+    recordedAt: Stdlib_Option.getOr(Stdlib_Option.flatMap(Stdlib_Option.flatMap(fields, f => f["recordedAt"]), Stdlib_JSON.Decode.string), ""),
+    producerTime: Stdlib_Option.getOr(Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_Option.flatMap(fields, f => f["meta"]), Stdlib_JSON.Decode.object), m => m["time"]), Stdlib_JSON.Decode.string), "")
   };
 }
 
-function makeJsonEventsHandler(sliceName, eventSchema, project, queryDbOps, subIdConfig) {
+function makeJsonEventsHandler(sliceName, eventSchema, project, queryDbOps, subIdConfig, stateSchema) {
   return stream => Stream.runForEach(Stream.flatMap(Stream.mapEffect(stream, json => Effect.sync(() => {
     try {
       let match = decodeEnvelope(json);
-      return project({
+      let producerTime = match.producerTime;
+      let actions = project({
         event: Util_Sury$Reventless.fromJson(match.event, eventSchema),
         meta: match.meta,
         recordedAt: match.recordedAt
       });
+      if (producerTime === "") {
+        return actions;
+      } else {
+        return actions.map(__x => Projection$ReventlessCore.rewriteJsonAction(__x, producerTime, stateSchema));
+      }
     } catch (raw_exn) {
       let exn = Primitive_exceptions.internalToException(raw_exn);
       StreamRoutedEntryPoint_Ops$ReventlessAws.logError("failed to decode event", {
@@ -84,9 +91,9 @@ function makeJsonEventsHandler(sliceName, eventSchema, project, queryDbOps, subI
 }
 
 function makeRegisteredHandler(entry, modules) {
-  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);
+  let queryDbOps = ProjectionEntryPoint_Ops$ReventlessAws.withDisplayName(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), modules.stateSchema);
   return {
-    handler: StreamRoutedEntryPoint_Ops$ReventlessAws.toStreamHandler(makeJsonEventsHandler(modules.name, modules.consumedEventSchema, modules.project, queryDbOps, modules.subIdConfig)),
+    handler: StreamRoutedEntryPoint_Ops$ReventlessAws.toStreamHandler(makeJsonEventsHandler(modules.name, modules.consumedEventSchema, modules.project, queryDbOps, modules.subIdConfig, modules.stateSchema)),
     comp: `StateViewSlice(` + modules.name + `)`
   };
 }

package/tests/AppSync_RetirementNarrowingTest.res.mjs

@@ -197,7 +197,7 @@ globalThis.describe("the unowned stub is callable where the door calls it", () =
     ]);
   });
   globalThis.test("declares a parameter on the reference door", () => {
-    let code = AppSync_Resolver_Functions$PulumiAws.refsByIds("name", undefined, undefined, false, undefined, undefined)("Products");
+    let code = AppSync_Resolver_Functions$PulumiAws.refsByIds("name", undefined, undefined, false, undefined, undefined, undefined)("Products");
     globalThis.expect([
       code.includes("const _owns = (row) => true;"),
       code.includes("_owns(row)")

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([]))])),
+    ])
+  })
 })

package/tests/StateViewSliceEntryPoint_OpsTest.res.mjs

@@ -4,6 +4,7 @@ import * as Sury from "sury";
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Effect from "effect/Effect";
 import * as Stream from "effect/Stream";
+import * as Lifecycle$Reventless from "@reventlessdev/reventless-spec/src/types/Lifecycle.res.mjs";
 import * as StateViewSliceEntryPoint_Ops$ReventlessAws from "../src/adapter/Runtime/StateViewSliceEntryPoint_Ops.res.mjs";
 
 function str(prim) {
@@ -14,6 +15,16 @@ function obj(pairs) {
   return Object.fromEntries(pairs);
 }
 
+let trailedLifecycleSchema = Sury.union([
+  Sury.literal("Placed"),
+  Sury.literal("Shipped")
+]);
+
+let trailedStateSchema = Sury.$schema(s => ({
+  lifecycle: s.m(trailedLifecycleSchema),
+  trail: s.m(Lifecycle$Reventless.Trail.schema(trailedLifecycleSchema))
+}));
+
 globalThis.describe("StateViewSliceEntryPoint_Ops.parseHandlerConfig", () => {
   globalThis.test("empty raw config yields no handlers", () => {
     globalThis.expect(StateViewSliceEntryPoint_Ops$ReventlessAws.parseHandlerConfig("").length).toBe(0);
@@ -249,7 +260,7 @@ globalThis.describe("StateViewSliceEntryPoint_Ops.makeJsonEventsHandler", () =>
     }];
   globalThis.test("decodes envelopes, projects, and runs actions against the ops", async () => {
     let saved = [];
-    let handler = StateViewSliceEntryPoint_Ops$ReventlessAws.makeJsonEventsHandler("TestSlice", Sury.string, project, makeStub(saved), undefined);
+    let handler = StateViewSliceEntryPoint_Ops$ReventlessAws.makeJsonEventsHandler("TestSlice", Sury.string, project, makeStub(saved), undefined, undefined);
     let envelope = Object.fromEntries([
       [
         "event",
@@ -277,7 +288,7 @@ globalThis.describe("StateViewSliceEntryPoint_Ops.makeJsonEventsHandler", () =>
   });
   globalThis.test("a decode failure yields no actions and does not wedge the batch", async () => {
     let saved = [];
-    let handler = StateViewSliceEntryPoint_Ops$ReventlessAws.makeJsonEventsHandler("TestSlice", Sury.string, project, makeStub(saved), undefined);
+    let handler = StateViewSliceEntryPoint_Ops$ReventlessAws.makeJsonEventsHandler("TestSlice", Sury.string, project, makeStub(saved), undefined, undefined);
     await Effect.runPromise(handler(Stream.fromIterable([
       42,
       "row-after"
@@ -287,10 +298,98 @@ globalThis.describe("StateViewSliceEntryPoint_Ops.makeJsonEventsHandler", () =>
         ""
       ]]);
   });
+  globalThis.test("appends a trail entry from the envelope's producer time", async () => {
+    let saved = [];
+    let handler = StateViewSliceEntryPoint_Ops$ReventlessAws.makeJsonEventsHandler("TrailSlice", Sury.string, param => [{
+        TAG: "Set",
+        _0: param.event,
+        _1: Object.fromEntries([
+          [
+            "lifecycle",
+            "Placed"
+          ],
+          [
+            "trail",
+            []
+          ]
+        ])
+      }], makeStub(saved), undefined, trailedStateSchema);
+    await Effect.runPromise(handler(Stream.fromIterable([Object.fromEntries([
+        [
+          "event",
+          "row-1"
+        ],
+        [
+          "meta",
+          Object.fromEntries([[
+              "time",
+              "2026-03-02T09:00:00Z"
+            ]])
+        ]
+      ])])));
+    globalThis.expect(saved).toEqual([[
+        "row-1",
+        Object.fromEntries([
+          [
+            "lifecycle",
+            "Placed"
+          ],
+          [
+            "trail",
+            [Object.fromEntries([
+                [
+                  "state",
+                  "Placed"
+                ],
+                [
+                  "at",
+                  "2026-03-02T09:00:00Z"
+                ]
+              ])]
+          ]
+        ])
+      ]]);
+  });
+  globalThis.test("appends nothing when the envelope carries no producer time", async () => {
+    let saved = [];
+    let handler = StateViewSliceEntryPoint_Ops$ReventlessAws.makeJsonEventsHandler("TrailSlice", Sury.string, param => [{
+        TAG: "Set",
+        _0: param.event,
+        _1: Object.fromEntries([
+          [
+            "lifecycle",
+            "Placed"
+          ],
+          [
+            "trail",
+            []
+          ]
+        ])
+      }], makeStub(saved), undefined, trailedStateSchema);
+    await Effect.runPromise(handler(Stream.fromIterable([Object.fromEntries([[
+          "event",
+          "row-1"
+        ]])])));
+    globalThis.expect(saved).toEqual([[
+        "row-1",
+        Object.fromEntries([
+          [
+            "lifecycle",
+            "Placed"
+          ],
+          [
+            "trail",
+            []
+          ]
+        ])
+      ]]);
+  });
 });
 
 export {
   str,
   obj,
+  trailedLifecycleSchema,
+  trailedStateSchema,
 }
-/*  Not a pure module */
+/* trailedLifecycleSchema Not a pure module */