@reventlessdev/reventless-aws 3.0.0-alpha.302 → 3.0.0-alpha.304

package/tests/PgQueryResolver_LambdaTest.res.mjs

@@ -68,6 +68,10 @@ let ops = {
   deleteBatch: 0
 };
 
+let lastRetiredScope = {
+  contents: undefined
+};
+
 async function pushdowns_indexLookup(param, field, value) {
   return Object.values(store).filter(i => fieldEq(i, field, value));
 }
@@ -76,12 +80,13 @@ async function pushdowns_byIds(param, ids) {
   return Stdlib_Array.filterMap(ids, id => store[id]);
 }
 
-async function pushdowns_listPage(param, param$1, param$2, param$3, ownerScope) {
+async function pushdowns_listPage(param, param$1, param$2, param$3, ownerScope, retiredScope) {
   lastOwnerScope.contents = ownerScope;
+  lastRetiredScope.contents = retiredScope;
   return listPageReturn.contents;
 }
 
-async function pushdowns_itemsPage(param, param$1, id, param$2, param$3) {
+async function pushdowns_itemsPage(param, param$1, id, param$2, param$3, param$4) {
   return Object.fromEntries([[
       "itemsFor",
       id
@@ -116,10 +121,12 @@ let capability = {
   sortFields: capability_sortFields
 };
 
-function makeBinding(authorizationOpt, subIdFieldOpt, ownerFieldOpt, param) {
+function makeBinding(authorizationOpt, subIdFieldOpt, ownerFieldOpt, retiredFieldOpt, retiredValuesOpt, 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;
   return {
     ops: ops,
     pushdowns: pushdowns,
@@ -134,7 +141,9 @@ function makeBinding(authorizationOpt, subIdFieldOpt, ownerFieldOpt, param) {
     labelField: "name",
     includeIdParam: true,
     authorization: authorization,
-    ownerField: ownerField
+    ownerField: ownerField,
+    retiredField: retiredField,
+    retiredValues: retiredValues
   };
 }
 
@@ -177,7 +186,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, mkPayload("getById", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("getById", undefined, Object.fromEntries([[
         "id",
         "p-2"
       ]]), undefined, undefined));
@@ -185,14 +194,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, mkPayload("getById", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(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, mkPayload("byIds", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("byIds", undefined, Object.fromEntries([[
         "ids",
         [
           "p-1",
@@ -206,7 +215,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, mkPayload("index", "byStatus", Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("index", "byStatus", Object.fromEntries([[
         "byStatus",
         "active"
       ]]), undefined, undefined));
@@ -217,13 +226,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, mkPayload("list", undefined, undefined, undefined, undefined));
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(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, mkPayload("list", undefined, undefined, undefined, undefined));
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(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",
@@ -232,21 +241,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, mkPayload("items", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, "seq", 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, mkPayload("items", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(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);
+    let b = makeBinding("DenyAll", undefined, undefined, undefined, undefined, undefined);
     let single = await PgQueryResolver_Lambda$ReventlessAws.dispatch(b, undefined, mkPayload("getById", undefined, Object.fromEntries([[
         "id",
         "p-1"
@@ -265,7 +274,7 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
       TAG: "Deny",
       _0: "nope"
     }));
-    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(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, mkPayload("getById", undefined, Object.fromEntries([[
         "id",
         "p-1"
       ]]), undefined, undefined));
@@ -291,7 +300,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, payload);
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(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 () => {
@@ -317,7 +326,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, payload);
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined), undefined, payload);
     globalThis.expect(ids(r)).toEqual([
       "p-1",
       "p-3"
@@ -344,14 +353,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, payload);
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(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));
+    PgQueryResolver_Lambda$ReventlessAws.register("Things", makeBinding(undefined, undefined, undefined, undefined, undefined, undefined));
     PgQueryResolver_Lambda$ReventlessAws.registerNodeType("Thing", "Things");
     let payload_arguments = Object.fromEntries([[
         "id",
@@ -401,7 +410,7 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
     delete: 0,
     deleteBatch: 0
   };
-  let init = makeBinding(undefined, undefined, undefined, undefined);
+  let init = makeBinding(undefined, undefined, undefined, undefined, undefined, undefined);
   let authBinding_pushdowns = init.pushdowns;
   let authBinding_indexes = init.indexes;
   let authBinding_subIdField = init.subIdField;
@@ -410,6 +419,8 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
   let authBinding_includeIdParam = init.includeIdParam;
   let authBinding_authorization = init.authorization;
   let authBinding_ownerField = init.ownerField;
+  let authBinding_retiredField = init.retiredField;
+  let authBinding_retiredValues = init.retiredValues;
   let authBinding = {
     ops: authOps,
     pushdowns: authBinding_pushdowns,
@@ -419,7 +430,9 @@ globalThis.describe("PgQueryResolver_Lambda.dispatch", () => {
     labelField: authBinding_labelField,
     includeIdParam: authBinding_includeIdParam,
     authorization: authBinding_authorization,
-    ownerField: authBinding_ownerField
+    ownerField: authBinding_ownerField,
+    retiredField: authBinding_retiredField,
+    retiredValues: authBinding_retiredValues
   };
   let lookupAuth = name => {
     if (name === "AuthTable") {
@@ -445,18 +458,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), lookupAuth, authIndexPayload("alice", ["Owner"]));
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(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), lookupAuth, authIndexPayload("bob", ["Owner"]));
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(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), lookupAuth, authIndexPayload("bob", []));
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined), lookupAuth, authIndexPayload("bob", []));
     globalThis.expect(ids(r)).toEqual([
       "p-1",
       "p-3"
@@ -465,7 +478,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, mkPayload("frobnicate", undefined, undefined, undefined, undefined));
+      await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("frobnicate", undefined, undefined, undefined, undefined));
       threw = false;
     } catch (exn) {
       threw = true;
@@ -476,35 +489,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, mkPayload("getById", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(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, mkPayload("getById", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(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, mkPayload("getById", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(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, mkPayload("getById", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(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, mkPayload("byIds", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("byIds", undefined, Object.fromEntries([[
         "ids",
         [
           "p-1",
@@ -517,7 +530,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, mkPayload("byIds", undefined, Object.fromEntries([[
+    let r = await PgQueryResolver_Lambda$ReventlessAws.dispatch(makeBinding(undefined, undefined, undefined, undefined, undefined, undefined), undefined, mkPayload("byIds", undefined, Object.fromEntries([[
         "ids",
         [
           "p-1",
@@ -532,7 +545,7 @@ globalThis.describe("id form — the typed doors take either", () => {
 });
 
 globalThis.describe("owner scoping", () => {
-  let ownedBinding = () => makeBinding(undefined, undefined, "owner", undefined);
+  let ownedBinding = () => makeBinding(undefined, undefined, "owner", undefined, undefined, undefined);
   let shopper = cognito("u-a", ["User"]);
   let listWith = async (binding, identity) => {
     lastOwnerScope.contents = undefined;
@@ -557,7 +570,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), shopper);
+    let match = await listWith(makeBinding(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 () => {
@@ -620,6 +633,7 @@ export {
   listPageReturn,
   lastOwnerScope,
   ops,
+  lastRetiredScope,
   pushdowns,
   capability,
   makeBinding,

package/tests/Platform_ComponentDefinitions_Lambda_OpsTest.res

@@ -113,6 +113,71 @@ describe("toEntryWith heals a structure persisted before a required list existed
   })
 })
 
+// The `statusField` → `lifecycleField` rename has the same shape of problem one
+// severity down: the SDL field is a nullable `String`, so an absent key answers
+// null rather than blackholing the query. That is worse to find, not better —
+// lists keep rendering while command-menu filtering, board columns, group
+// sections, progress trackers and state diagrams all go quiet. Asserted because
+// the shim is the one part of the rename with nothing to fail at compile time.
+describe("toEntryWith reads a pre-rename structure's lifecycle field", () => {
+  let legacyStructure = Dict.fromArray([
+    (
+      "readModels",
+      JSON.Encode.array([
+        JSON.parseOrThrow(`{"name": "Customers", "statusField": "locationStatus"}`),
+      ]),
+    ),
+    (
+      "stateViewSlices",
+      JSON.Encode.array([JSON.parseOrThrow(`{"name": "Orders", "statusField": "status"}`)]),
+    ),
+  ])->JSON.Encode.object
+
+  let fieldOf = (~collection) =>
+    entry(~filter=false, legacyStructure)
+    ->Option.map(members(_, collection))
+    ->Option.flatMap(Array.get(_, 0))
+    ->Option.flatMap(c => c->Dict.get("lifecycleField"))
+
+  testSync("a read model's legacy key answers on the new name", () =>
+    expect(fieldOf(~collection="readModels"))->toEqual(
+      Some(JSON.Encode.string("locationStatus")),
+    )
+  )
+
+  testSync("so does a state view slice's", () =>
+    expect(fieldOf(~collection="stateViewSlices"))->toEqual(Some(JSON.Encode.string("status")))
+  )
+
+  testSync("a post-rename structure is left alone", () => {
+    let current = Dict.fromArray([
+      (
+        "readModels",
+        JSON.Encode.array([
+          JSON.parseOrThrow(`{"name": "Orders", "lifecycleField": "lifecycle", "statusField": "stale"}`),
+        ]),
+      ),
+    ])->JSON.Encode.object
+    let field =
+      entry(~filter=false, current)
+      ->Option.map(members(_, "readModels"))
+      ->Option.flatMap(Array.get(_, 0))
+      ->Option.flatMap(c => c->Dict.get("lifecycleField"))
+    expect(field)->toEqual(Some(JSON.Encode.string("lifecycle")))
+  })
+
+  testSync("a structure declaring neither still answers nothing", () => {
+    let neither = Dict.fromArray([
+      ("readModels", JSON.Encode.array([JSON.parseOrThrow(`{"name": "Products"}`)])),
+    ])->JSON.Encode.object
+    let component =
+      entry(~filter=false, neither)
+      ->Option.map(members(_, "readModels"))
+      ->Option.flatMap(Array.get(_, 0))
+    expect(component->Option.flatMap(c => c->Dict.get("lifecycleField")))->toEqual(None)
+  })
+})
+
 // The persisted structure is pre-filter, so this handler is a twin of the
 // in-memory `encodePluginStructureEntry` rather than a consequence of it. A shell
 // reading `internalQueryables` against a platform that emits it on only one

package/tests/Platform_ComponentDefinitions_Lambda_OpsTest.res.mjs

@@ -67,6 +67,42 @@ globalThis.describe("toEntryWith heals a structure persisted before a required l
   });
 });
 
+globalThis.describe("toEntryWith reads a pre-rename structure's lifecycle field", () => {
+  let legacyStructure = Object.fromEntries([
+    [
+      "readModels",
+      [JSON.parse(`{"name": "Customers", "statusField": "locationStatus"}`)]
+    ],
+    [
+      "stateViewSlices",
+      [JSON.parse(`{"name": "Orders", "statusField": "status"}`)]
+    ]
+  ]);
+  let fieldOf = collection => Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_Option.map(entry(false, legacyStructure), __x => members(__x, collection)), __x => __x[0]), c => c["lifecycleField"]);
+  globalThis.test("a read model's legacy key answers on the new name", () => {
+    globalThis.expect(fieldOf("readModels")).toEqual("locationStatus");
+  });
+  globalThis.test("so does a state view slice's", () => {
+    globalThis.expect(fieldOf("stateViewSlices")).toEqual("status");
+  });
+  globalThis.test("a post-rename structure is left alone", () => {
+    let current = Object.fromEntries([[
+        "readModels",
+        [JSON.parse(`{"name": "Orders", "lifecycleField": "lifecycle", "statusField": "stale"}`)]
+      ]]);
+    let field = Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_Option.map(entry(false, current), __x => members(__x, "readModels")), __x => __x[0]), c => c["lifecycleField"]);
+    globalThis.expect(field).toEqual("lifecycle");
+  });
+  globalThis.test("a structure declaring neither still answers nothing", () => {
+    let neither = Object.fromEntries([[
+        "readModels",
+        [JSON.parse(`{"name": "Products"}`)]
+      ]]);
+    let component = Stdlib_Option.flatMap(Stdlib_Option.map(entry(false, neither), __x => members(__x, "readModels")), __x => __x[0]);
+    globalThis.expect(Stdlib_Option.flatMap(component, c => c["lifecycleField"])).toEqual(undefined);
+  });
+});
+
 globalThis.describe("toEntryWith carries Internal queryables on the filtered field", () => {
   let mixed = Object.fromEntries([
     [

package/tests/QueryDbResolvers_AppSyncTest.res.mjs

@@ -19,18 +19,18 @@ globalThis.describe("QueryDbResolvers_AppSync.internalRowRequiredAttr", () => {
 
 globalThis.describe("AppSync_Resolver_Retrying.Functions.listAllItemsConnection", () => {
   globalThis.test("with ~requireAttribute emits an attribute_exists filter that excludes internal rows", () => {
-    let code = AppSync_Resolver_Functions$PulumiAws.listAllItemsConnection("name", undefined, undefined, undefined, "name", undefined, undefined);
+    let code = AppSync_Resolver_Functions$PulumiAws.listAllItemsConnection("name", undefined, undefined, undefined, "name", undefined, undefined, undefined, undefined);
     globalThis.expect(code.includes("attribute_exists(#name)")).toBe(true);
     globalThis.expect(code.includes("names['#name'] = 'name'")).toBe(true);
   });
   globalThis.test("without ~requireAttribute emits no attribute_exists filter (default read models unchanged)", () => {
-    let code = AppSync_Resolver_Functions$PulumiAws.listAllItemsConnection("name", undefined, undefined, undefined, undefined, undefined, undefined);
+    let code = AppSync_Resolver_Functions$PulumiAws.listAllItemsConnection("name", undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
     globalThis.expect(code.includes("attribute_exists")).toBe(false);
   });
 });
 
 globalThis.describe("listAllItemsConnection — Scan cursor round-trip (paging fixes 1–3)", () => {
-  let code = AppSync_Resolver_Functions$PulumiAws.listAllItemsConnection("name", undefined, undefined, undefined, undefined, undefined, undefined);
+  let code = AppSync_Resolver_Functions$PulumiAws.listAllItemsConnection("name", undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
   globalThis.test("Fix 1: response encodes the real nextToken as the cursor", () => {
     globalThis.expect(code.includes("const next = ctx.result?.nextToken ?? null;")).toBe(true);
     globalThis.expect(code.includes("util.base64Encode(JSON.stringify({ token: next, index: i }))")).toBe(true);

package/tests/StateChangeDescriptorParityTest.res

@@ -29,7 +29,7 @@ describe("state-change descriptor parity", () => {
   testAsync("every implementation builds the same descriptor", async () => {
     let cases = await buildAll()
     // A silent zero-case run would pass while asserting nothing.
-    expect(cases->Array.length)->toBe(6)
+    expect(cases->Array.length)->toBe(11)
     cases->Array.forEach(c => {
       expect((c.name, c.relay))->toEqual((c.name, c.local))
       expect((c.name, c.postgres))->toEqual((c.name, c.local))
@@ -55,4 +55,85 @@ describe("state-change descriptor parity", () => {
     | None => expect("oversized case missing")->toBe("present")
     }
   })
+
+  // The live channel is the third place a retired row could reach a caller the
+  // resolvers refuse it to, and the only one that cannot be scoped per
+  // subscriber — the channel is keyed by view and entity, and everyone watching
+  // receives the frame. So the payload has to go, in all three implementations.
+  testAsync("a retired row publishes as metadata only, everywhere", async () => {
+    let cases = await buildAll()
+    let keyOf = (d: JSON.t, k) => d->JSON.Decode.object->Option.flatMap(o => o->Dict.get(k))
+    let byName = name => cases->Array.find(c => c.name == name)
+
+    switch byName("retired row degrades to metadata only") {
+    | Some(c) =>
+      // Not just the payload: the sort value is a timestamp off a row the
+      // subscriber may not read, and this row carries one.
+      expect((keyOf(c.local, "state"), keyOf(c.local, "sortKeyValue")))->toEqual((None, None))
+      expect((keyOf(c.relay, "state"), keyOf(c.relay, "sortKeyValue")))->toEqual((None, None))
+      expect((keyOf(c.postgres, "state"), keyOf(c.postgres, "sortKeyValue")))->toEqual((None, None))
+      // `Updated`, never `Removed`: the row is not gone. Saying so would be
+      // false for an elevated subscriber reading with `includeRetired`, and
+      // false again the moment the row is restored.
+      expect(keyOf(c.local, "changeKind"))->toEqual(Some(JSON.Encode.string("Updated")))
+    | None => expect("retired case missing")->toBe("present")
+    }
+
+    // The control that separates "drops a retired row" from "drops any row on a
+    // view that declares the flag".
+    switch byName("live row with a retirement flag carries the row") {
+    | Some(c) =>
+      expect(keyOf(c.local, "state")->Option.isSome)->toBe(true)
+      expect(keyOf(c.relay, "state")->Option.isSome)->toBe(true)
+      expect(keyOf(c.postgres, "state")->Option.isSome)->toBe(true)
+    | None => expect("live-with-flag case missing")->toBe("present")
+    }
+  })
+
+  // The state form, where the predicate is membership rather than equality. Both
+  // states are asserted, so an implementation comparing against only the first
+  // member of the set fails on the second — which is the shape of mistake a set
+  // invites and a single value could not.
+  testAsync("a row in any retired state publishes as metadata only", async () => {
+    let cases = await buildAll()
+    let keyOf = (d: JSON.t, k) => d->JSON.Decode.object->Option.flatMap(o => o->Dict.get(k))
+    let byName = name => cases->Array.find(c => c.name == name)
+
+    [
+      "row in the first retired state degrades to metadata only",
+      "row in the second retired state degrades to metadata only",
+    ]->Array.forEach(name =>
+      switch byName(name) {
+      | Some(c) =>
+        expect((name, keyOf(c.local, "state"), keyOf(c.local, "sortKeyValue")))->toEqual((
+          name,
+          None,
+          None,
+        ))
+        expect((name, keyOf(c.relay, "state"), keyOf(c.relay, "sortKeyValue")))->toEqual((
+          name,
+          None,
+          None,
+        ))
+        expect((name, keyOf(c.postgres, "state"), keyOf(c.postgres, "sortKeyValue")))->toEqual((
+          name,
+          None,
+          None,
+        ))
+      | None => expect(name ++ " missing")->toBe("present")
+      }
+    )
+
+    // The control for the state form: a live state on the same lifecycle, so an
+    // implementation dropping every row of a view that declares states fails.
+    switch byName("row in a live state carries the row") {
+    | Some(c) =>
+      expect((
+        keyOf(c.local, "state")->Option.isSome,
+        keyOf(c.relay, "state")->Option.isSome,
+        keyOf(c.postgres, "state")->Option.isSome,
+      ))->toEqual((true, true, true))
+    | None => expect("live-state case missing")->toBe("present")
+    }
+  })
 })

package/tests/StateChangeDescriptorParityTest.res.mjs

@@ -11,7 +11,7 @@ function buildAll(prim) {
 globalThis.describe("state-change descriptor parity", () => {
   globalThis.test("every implementation builds the same descriptor", async () => {
     let cases = await StateChangeDescriptorParityMjs.buildAll();
-    globalThis.expect(cases.length).toBe(6);
+    globalThis.expect(cases.length).toBe(11);
     cases.forEach(c => {
       globalThis.expect([
         c.name,
@@ -52,6 +52,102 @@ globalThis.describe("state-change descriptor parity", () => {
       globalThis.expect("oversized case missing").toBe("present");
     }
   });
+  globalThis.test("a retired row publishes as metadata only, everywhere", async () => {
+    let cases = await StateChangeDescriptorParityMjs.buildAll();
+    let keyOf = (d, k) => Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(d), o => o[k]);
+    let byName = name => cases.find(c => c.name === name);
+    let c = byName("retired row degrades to metadata only");
+    if (c !== undefined) {
+      globalThis.expect([
+        keyOf(c.local, "state"),
+        keyOf(c.local, "sortKeyValue")
+      ]).toEqual([
+        undefined,
+        undefined
+      ]);
+      globalThis.expect([
+        keyOf(c.relay, "state"),
+        keyOf(c.relay, "sortKeyValue")
+      ]).toEqual([
+        undefined,
+        undefined
+      ]);
+      globalThis.expect([
+        keyOf(c.postgres, "state"),
+        keyOf(c.postgres, "sortKeyValue")
+      ]).toEqual([
+        undefined,
+        undefined
+      ]);
+      globalThis.expect(keyOf(c.local, "changeKind")).toEqual("Updated");
+    } else {
+      globalThis.expect("retired case missing").toBe("present");
+    }
+    let c$1 = byName("live row with a retirement flag carries the row");
+    if (c$1 !== undefined) {
+      globalThis.expect(Stdlib_Option.isSome(keyOf(c$1.local, "state"))).toBe(true);
+      globalThis.expect(Stdlib_Option.isSome(keyOf(c$1.relay, "state"))).toBe(true);
+      globalThis.expect(Stdlib_Option.isSome(keyOf(c$1.postgres, "state"))).toBe(true);
+    } else {
+      globalThis.expect("live-with-flag case missing").toBe("present");
+    }
+  });
+  globalThis.test("a row in any retired state publishes as metadata only", async () => {
+    let cases = await StateChangeDescriptorParityMjs.buildAll();
+    let keyOf = (d, k) => Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(d), o => o[k]);
+    let byName = name => cases.find(c => c.name === name);
+    [
+      "row in the first retired state degrades to metadata only",
+      "row in the second retired state degrades to metadata only"
+    ].forEach(name => {
+      let c = byName(name);
+      if (c !== undefined) {
+        globalThis.expect([
+          name,
+          keyOf(c.local, "state"),
+          keyOf(c.local, "sortKeyValue")
+        ]).toEqual([
+          name,
+          undefined,
+          undefined
+        ]);
+        globalThis.expect([
+          name,
+          keyOf(c.relay, "state"),
+          keyOf(c.relay, "sortKeyValue")
+        ]).toEqual([
+          name,
+          undefined,
+          undefined
+        ]);
+        globalThis.expect([
+          name,
+          keyOf(c.postgres, "state"),
+          keyOf(c.postgres, "sortKeyValue")
+        ]).toEqual([
+          name,
+          undefined,
+          undefined
+        ]);
+      } else {
+        globalThis.expect(name + " missing").toBe("present");
+      }
+    });
+    let c = byName("row in a live state carries the row");
+    if (c !== undefined) {
+      globalThis.expect([
+        Stdlib_Option.isSome(keyOf(c.local, "state")),
+        Stdlib_Option.isSome(keyOf(c.relay, "state")),
+        Stdlib_Option.isSome(keyOf(c.postgres, "state"))
+      ]).toEqual([
+        true,
+        true,
+        true
+      ]);
+    } else {
+      globalThis.expect("live-state case missing").toBe("present");
+    }
+  });
 });
 
 export {