@reventlessdev/reventless-core 3.0.0-alpha.236 → 3.0.0-alpha.238

package/tests/plugin/PluginStructureTest.res.mjs

@@ -1,6 +1,7 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as S from "sury/src/S.res.mjs";
+import * as Stdlib_Exn from "@rescript/runtime/lib/es6/Stdlib_Exn.js";
 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 Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
@@ -8,12 +9,14 @@ import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Primitive_object from "@rescript/runtime/lib/es6/Primitive_object.js";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as DateTime$Reventless from "@reventlessdev/reventless-spec/src/types/DateTime.res.mjs";
+import * as Primitive_exceptions from "@rescript/runtime/lib/es6/Primitive_exceptions.js";
 import * as Reference$Reventless from "@reventlessdev/reventless-spec/src/components/Reference.res.mjs";
 import * as StorageRef$Reventless from "@reventlessdev/reventless-spec/src/semantic/StorageRef.res.mjs";
 import * as Api_Naming$ReventlessCore from "../../src/components/Api/Api_Naming.res.mjs";
 import * as PsShipOrder$ReventlessCore from "./StateChangeSlice/PsShipOrder.res.mjs";
 import * as PsOrdersView$ReventlessCore from "./StateViewSlice/PsOrdersView.res.mjs";
 import * as PsPlaceOrder$ReventlessCore from "./StateChangeSlice/PsPlaceOrder.res.mjs";
+import * as StateAnnotations$Reventless from "@reventlessdev/reventless-spec/src/components/StateAnnotations.res.mjs";
 import * as PsChangePhoto$ReventlessCore from "./StateChangeSlice/PsChangePhoto.res.mjs";
 import * as CapabilityManifest$Reventless from "@reventlessdev/reventless-spec/src/components/CapabilityManifest.res.mjs";
 import * as PsReserveStock$ReventlessCore from "./StateChangeSlice/PsReserveStock.res.mjs";
@@ -21,8 +24,10 @@ import * as PsUploadAvatar$ReventlessCore from "./StateChangeSlice/PsUploadAvata
 import * as PsAnnotatedView$ReventlessCore from "./StateViewSlice/PsAnnotatedView.res.mjs";
 import * as PsAttachInvoice$ReventlessCore from "./StateChangeSlice/PsAttachInvoice.res.mjs";
 import * as PsCustomersView$ReventlessCore from "./StateViewSlice/PsCustomersView.res.mjs";
+import * as PsShipmentsView$ReventlessCore from "./StateViewSlice/PsShipmentsView.res.mjs";
 import * as Plugin_Structure$ReventlessCore from "../../src/plugin/component/Plugin_Structure.res.mjs";
 import * as PsCategoriesView$ReventlessCore from "./StateViewSlice/PsCategoriesView.res.mjs";
+import * as PsDispatchShipment$ReventlessCore from "./StateChangeSlice/PsDispatchShipment.res.mjs";
 import * as Capability_Inference$ReventlessCore from "../../src/plugin/component/Capability_Inference.res.mjs";
 import * as PsAvailableProductsView$ReventlessCore from "./StateViewSlice/PsAvailableProductsView.res.mjs";
 
@@ -336,6 +341,62 @@ let PsReserveStockSlice = {
   make: make$10
 };
 
+let Behavior$6 = {
+  initialState: false,
+  evolve: PsDispatchShipment$ReventlessCore.evolve,
+  decide: PsDispatchShipment$ReventlessCore.decide,
+  moduleUrl: PsDispatchShipment$ReventlessCore.moduleUrl
+};
+
+function make$11(param, param$1, param$2, param$3, param$4, param$5) {
+  return 0;
+}
+
+let PsDispatchShipmentSlice_Spec = {
+  name: PsDispatchShipment$ReventlessCore.name,
+  moduleUrl: PsDispatchShipment$ReventlessCore.moduleUrl,
+  Id: Id$Reventless.$$String,
+  consumedEventSchema: PsDispatchShipment$ReventlessCore.consumedEventSchema,
+  errorSchema: PsDispatchShipment$ReventlessCore.errorSchema,
+  eventSchema: PsDispatchShipment$ReventlessCore.eventSchema,
+  commandSchema: PsDispatchShipment$ReventlessCore.commandSchema,
+  commandAuthorization: PsDispatchShipment$ReventlessCore.commandAuthorization,
+  readConsistency: PsDispatchShipment$ReventlessCore.readConsistency
+};
+
+let PsDispatchShipmentSlice = {
+  Spec: PsDispatchShipmentSlice_Spec,
+  Behavior: Behavior$6,
+  isAsync: false,
+  make: make$11
+};
+
+let Projection$5 = {
+  project: PsShipmentsView$ReventlessCore.project,
+  moduleUrl: PsShipmentsView$ReventlessCore.moduleUrl
+};
+
+function make$12(param, param$1, param$2) {
+  return 0;
+}
+
+let PsShipmentsViewSlice_Spec = {
+  name: PsShipmentsView$ReventlessCore.name,
+  moduleUrl: PsShipmentsView$ReventlessCore.moduleUrl,
+  stateSchema: PsShipmentsView$ReventlessCore.stateSchema,
+  consumedEventSchema: PsShipmentsView$ReventlessCore.consumedEventSchema,
+  config: PsShipmentsView$ReventlessCore.config,
+  subIdConfig: undefined,
+  authorization: PsShipmentsView$ReventlessCore.authorization,
+  visibility: PsShipmentsView$ReventlessCore.visibility
+};
+
+let PsShipmentsViewSlice = {
+  Spec: PsShipmentsViewSlice_Spec,
+  Projection: Projection$5,
+  make: make$12
+};
+
 let structure = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, [
   PsOrdersViewSlice,
   PsAvailableProductsViewSlice,
@@ -346,6 +407,102 @@ let structure = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, un
   PsShipOrderSlice
 ], undefined, undefined, undefined, undefined, undefined, undefined);
 
+globalThis.describe("lifecycle topology", () => {
+  let ordersStates = Object.fromEntries([[
+      "Orders",
+      [
+        "Placed",
+        "Shipped",
+        "Cancelled"
+      ]
+    ]]);
+  let writableWith = commands => ({
+    name: "Ordering",
+    commands: commands,
+    producedEventTypes: [],
+    consumedEventTypes: [],
+    linkedViews: ["Orders"],
+    consistencyRead: undefined,
+    events: [],
+    errors: [],
+    chapter: undefined
+  });
+  let command = (name, allowedStates, targetState, param) => ({
+    name: name,
+    schema: "",
+    level: "Instance",
+    aggregateIdField: undefined,
+    mutationField: "",
+    references: [],
+    allowedStates: allowedStates,
+    targetState: targetState,
+    apiExposed: undefined,
+    requiredAccess: undefined,
+    ownerField: undefined
+  });
+  globalThis.test("names a state no command can reach", () => {
+    let findings = Plugin_Structure$ReventlessCore.lifecycleTopologyFindings([writableWith([command("Ship", ["Placed"], "Shipped", undefined)])], ordersStates);
+    globalThis.expect(findings.map(param => param[1].includes("Cancelled"))).toEqual([true]);
+  });
+  globalThis.test("says nothing when every state is reachable", () => {
+    let findings = Plugin_Structure$ReventlessCore.lifecycleTopologyFindings([writableWith([
+        command("Ship", ["Placed"], "Shipped", undefined),
+        command("Cancel", ["Placed"], "Cancelled", undefined)
+      ])], ordersStates);
+    globalThis.expect(findings.length).toBe(0);
+  });
+  globalThis.test("does not call the initial state unreachable", () => {
+    let findings = Plugin_Structure$ReventlessCore.lifecycleTopologyFindings([writableWith([
+        command("Ship", ["Placed"], "Shipped", undefined),
+        command("Cancel", ["Placed"], "Cancelled", undefined)
+      ])], ordersStates);
+    globalThis.expect(findings.map(param => param[1].includes("Placed"))).toEqual([]);
+  });
+  globalThis.test("does not report a state with no way out", () => {
+    let findings = Plugin_Structure$ReventlessCore.lifecycleTopologyFindings([writableWith([
+        command("Ship", ["Placed"], "Shipped", undefined),
+        command("Cancel", ["Placed"], "Cancelled", undefined)
+      ])], ordersStates);
+    globalThis.expect(findings.length).toBe(0);
+  });
+});
+
+globalThis.describe("@transition cross-check", () => {
+  let buildBad = () => {
+    try {
+      Plugin_Structure$ReventlessCore.make("TransitionPlugin", undefined, undefined, [PsShipmentsViewSlice], [PsDispatchShipmentSlice], undefined, undefined, undefined, undefined, undefined, undefined);
+      return;
+    } catch (raw_e) {
+      let e = Primitive_exceptions.internalToException(raw_e);
+      if (e.RE_EXN_ID === Stdlib_Exn.$$Error) {
+        return Stdlib_Option.getOr(e._1.message, "");
+      } else {
+        return "";
+      }
+    }
+  };
+  globalThis.test("a state no linked view declares fails the build", () => {
+    globalThis.expect(Stdlib_Option.isSome(buildBad())).toBe(true);
+  });
+  globalThis.test("the failure names the command, the state and the view", () => {
+    let message = Stdlib_Option.getOr(buildBad(), "");
+    globalThis.expect([
+      message.includes("DispatchShipment"),
+      message.includes("Dispatchd"),
+      message.includes("Shipments"),
+      message.includes("Booked")
+    ]).toEqual([
+      true,
+      true,
+      true,
+      true
+    ]);
+  });
+  globalThis.test("a plugin whose views declare no lifecycle still builds", () => {
+    globalThis.expect(structure.stateChangeSlices.length).toBe(2);
+  });
+});
+
 globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
   globalThis.describe("stateChangeSlices", () => {
     globalThis.test("produces two SCS entries in declaration order", () => {
@@ -423,7 +580,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
         false
       ]);
     });
-    globalThis.test("ShipOrder: @targetState(\"Shipped\") flows through the PPX to commandDef.targetState", () => {
+    globalThis.test("ShipOrder: @transition's target flows through the PPX to commandDef.targetState", () => {
       let shipOrder = structure.stateChangeSlices[1];
       let byName = name => shipOrder.commands.find(c => c.name === name);
       globalThis.expect([
@@ -434,6 +591,17 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
         undefined
       ]);
     });
+    globalThis.test("ShipOrder: @transition's from-set flows through to commandDef.allowedStates", () => {
+      let shipOrder = structure.stateChangeSlices[1];
+      let byName = name => shipOrder.commands.find(c => c.name === name);
+      globalThis.expect([
+        Stdlib_Option.flatMap(byName("ShipOrder"), c => c.allowedStates),
+        Stdlib_Option.flatMap(byName("CancelShipment"), c => c.allowedStates)
+      ]).toEqual([
+        ["Placed"],
+        undefined
+      ]);
+    });
     globalThis.test("ShipOrder: the @noApi variant carries no callable mutation field (no sibling leak)", () => {
       let shipOrder = structure.stateChangeSlices[1];
       let byName = name => shipOrder.commands.find(c => c.name === name);
@@ -796,30 +964,166 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ]);
     });
   });
-  globalThis.describe("statusField — the shape rule", () => {
-    globalThis.test("a `status` field holding a closed set of values is the lifecycle field", () => {
+  globalThis.describe("lifecycleField — the name rule and the shape rule", () => {
+    let withLifecycle = (schema, field) => S.Metadata.set(schema, StateAnnotations$Reventless.stateAnnotationsId, {
+      ids: [],
+      compositeIds: [],
+      subIds: [],
+      compositeSubIds: [],
+      indexes: [],
+      hidden: [],
+      summary: [],
+      drillTargets: [],
+      drillTargetKeys: [],
+      collapsed: [],
+      scan: [],
+      scanSort: [],
+      semantic: [],
+      metric: [],
+      lifecycle: field,
+      groupBy: undefined,
+      visibility: undefined,
+      live: undefined,
+      retired: undefined
+    });
+    globalThis.test("a `lifecycle` field holding a closed set of values is the lifecycle field", () => {
       let schema = S.schema(s => ({
-        status: s.m(S.union([
+        lifecycle: s.m(S.union([
           S.literal("Placed"),
           S.literal("Shipped")
         ]))
       }));
-      globalThis.expect(Plugin_Structure$ReventlessCore.statusFieldFromStateSchema("Test", schema)).toEqual("status");
+      globalThis.expect(Plugin_Structure$ReventlessCore.lifecycleFieldFromStateSchema("Test", schema)).toEqual("lifecycle");
     });
     globalThis.test("an optional one counts too", () => {
       let schema = S.schema(s => ({
-        status: s.m(S.option(S.union([
+        lifecycle: s.m(S.option(S.union([
           S.literal("Placed"),
           S.literal("Shipped")
         ])))
       }));
-      globalThis.expect(Plugin_Structure$ReventlessCore.statusFieldFromStateSchema("Test", schema)).toEqual("status");
+      globalThis.expect(Plugin_Structure$ReventlessCore.lifecycleFieldFromStateSchema("Test", schema)).toEqual("lifecycle");
+    });
+    globalThis.test("free text named `lifecycle` is not a lifecycle", () => {
+      let schema = S.schema(s => ({
+        lifecycle: s.m(S.string)
+      }));
+      globalThis.expect(Plugin_Structure$ReventlessCore.lifecycleFieldFromStateSchema("Test", schema)).toEqual(undefined);
+    });
+    globalThis.test("an unannotated field named `status` resolves to None", () => {
+      let schema = S.schema(s => ({
+        status: s.m(S.union([
+          S.literal("Placed"),
+          S.literal("Shipped")
+        ]))
+      }));
+      globalThis.expect(Plugin_Structure$ReventlessCore.lifecycleFieldFromStateSchema("Test", schema)).toEqual(undefined);
+    });
+    globalThis.test("the annotation names a field the convention would never reach", () => {
+      let schema = S.schema(s => ({
+        locationStatus: s.m(S.union([
+          S.literal("Pending"),
+          S.literal("Located")
+        ]))
+      }));
+      globalThis.expect(Plugin_Structure$ReventlessCore.lifecycleFieldFromStateSchema("Test", withLifecycle(schema, "locationStatus"))).toEqual("locationStatus");
+    });
+  });
+  globalThis.describe("retiredField — annotation and nothing else", () => {
+    let withRetired = (schema, field) => S.Metadata.set(schema, StateAnnotations$Reventless.stateAnnotationsId, {
+      ids: [],
+      compositeIds: [],
+      subIds: [],
+      compositeSubIds: [],
+      indexes: [],
+      hidden: [],
+      summary: [],
+      drillTargets: [],
+      drillTargetKeys: [],
+      collapsed: [],
+      scan: [],
+      scanSort: [],
+      semantic: [],
+      metric: [],
+      lifecycle: undefined,
+      groupBy: undefined,
+      visibility: undefined,
+      live: undefined,
+      retired: {
+        field: field,
+        label: "",
+        showWhenFalse: false,
+        values: undefined
+      }
+    });
+    globalThis.test("publishes the retirement state beside the field", () => {
+      let withState = schema => S.Metadata.set(schema, StateAnnotations$Reventless.stateAnnotationsId, {
+        ids: [],
+        compositeIds: [],
+        subIds: [],
+        compositeSubIds: [],
+        indexes: [],
+        hidden: [],
+        summary: [],
+        drillTargets: [],
+        drillTargetKeys: [],
+        collapsed: [],
+        scan: [],
+        scanSort: [],
+        semantic: [],
+        metric: [],
+        lifecycle: "accountStatus",
+        groupBy: undefined,
+        visibility: undefined,
+        live: undefined,
+        retired: {
+          field: "accountStatus",
+          label: "",
+          showWhenFalse: false,
+          values: [
+            "Deactivated",
+            "Closed"
+          ]
+        }
+      });
+      let schema = withState(S.schema(s => ({
+        accountStatus: s.m(S.string)
+      })));
+      globalThis.expect([
+        Plugin_Structure$ReventlessCore.retiredFieldFromStateSchema(schema),
+        Plugin_Structure$ReventlessCore.retiredValuesFromStateSchema(schema)
+      ]).toEqual([
+        "accountStatus",
+        [
+          "Deactivated",
+          "Closed"
+        ]
+      ]);
+    });
+    globalThis.test("publishes no states on the boolean form", () => {
+      let schema = S.schema(s => ({
+        archived: s.m(S.bool)
+      }));
+      globalThis.expect(Plugin_Structure$ReventlessCore.retiredValuesFromStateSchema(withRetired(schema, "archived"))).toEqual(undefined);
+    });
+    globalThis.test("names the annotated field", () => {
+      let schema = S.schema(s => ({
+        archived: s.m(S.bool)
+      }));
+      globalThis.expect(Plugin_Structure$ReventlessCore.retiredFieldFromStateSchema(withRetired(schema, "archived"))).toEqual("archived");
+    });
+    globalThis.test("declines a conventionally-named boolean nobody annotated", () => {
+      let schema = S.schema(s => ({
+        archived: s.m(S.bool),
+        deactivated: s.m(S.bool)
+      }));
+      globalThis.expect(Plugin_Structure$ReventlessCore.retiredFieldFromStateSchema(schema)).toEqual(undefined);
     });
-    globalThis.test("free text named `status` is not a lifecycle", () => {
+    globalThis.test("declines a schema carrying no annotation spec at all", () => {
       let schema = S.schema(s => ({
-        status: s.m(S.string)
+        id: s.m(S.string)
       }));
-      globalThis.expect(Plugin_Structure$ReventlessCore.statusFieldFromStateSchema("Test", schema)).toEqual(undefined);
+      globalThis.expect(Plugin_Structure$ReventlessCore.retiredFieldFromStateSchema(schema)).toEqual(undefined);
     });
   });
   let getProperty = (json, key) => {
@@ -1138,6 +1442,8 @@ export {
   PsUploadAvatarSlice,
   PsChangePhotoSlice,
   PsReserveStockSlice,
+  PsDispatchShipmentSlice,
+  PsShipmentsViewSlice,
   structure,
 }
 /* structure Not a pure module */

package/tests/plugin/StateChangeSlice/PsDispatchShipment.res

@@ -0,0 +1,31 @@
+// Test fixture spec for the @transition cross-check — the failing case.
+//
+// `Dispatchd` is a deliberate typo. It compiles: the PPX strips the attribute
+// before the typechecker sees it, so a misspelled state is a well-formed string
+// all the way down. That is exactly the hole the structure-side check closes,
+// and a fixture that could not compile would not demonstrate it.
+
+@@reventless.spec("DispatchShipment")
+
+type shipmentStatus =
+  | Booked
+  | Dispatched
+
+@schema
+type consumedEvent = ShipmentBooked({shipmentId: string})
+
+let evolve = (_state, _event) => true
+
+type state = bool
+let initialState = false
+
+@schema
+type command = @transition(([Booked]) => Dispatchd) DispatchShipment({shipmentId: string})
+
+@schema
+type error = ShipmentNotFound
+
+@schema
+type event = ShipmentDispatched({shipmentId: string})
+
+let decide = (_state, _command): result<array<event>, error> => Ok([])

package/tests/plugin/StateChangeSlice/PsDispatchShipment.res.mjs

@@ -0,0 +1,73 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as Api$ReventlessInfra from "@reventlessdev/reventless-infra/src/components/Api.res.mjs";
+
+let consumedEventSchema = S.schema(s => ({
+  TAG: "ShipmentBooked",
+  shipmentId: s.m(DcbTag$Reventless.string)
+}));
+
+function evolve(_state, _event) {
+  return true;
+}
+
+let commandSchema = S.schema(s => ({
+  TAG: "DispatchShipment",
+  shipmentId: s.m(DcbTag$Reventless.string)
+}));
+
+let errorSchema = S.literal("ShipmentNotFound");
+
+let eventSchema = S.schema(s => ({
+  TAG: "ShipmentDispatched",
+  shipmentId: s.m(DcbTag$Reventless.string)
+}));
+
+function decide(_state, _command) {
+  return {
+    TAG: "Ok",
+    _0: []
+  };
+}
+
+let commandSchema$1 = Api$ReventlessInfra.markAllowedStates(commandSchema, [[
+    "DispatchShipment",
+    ["Booked"]
+  ]]);
+
+let commandSchema$2 = Api$ReventlessInfra.markTargetState(commandSchema$1, [[
+    "DispatchShipment",
+    "Dispatchd"
+  ]]);
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let name = "DispatchShipment";
+
+let Id;
+
+let initialState = false;
+
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsDispatchShipment.res.mjs";
+
+let readConsistency = "EscalateOnRetry";
+
+export {
+  name,
+  Id,
+  consumedEventSchema,
+  evolve,
+  initialState,
+  errorSchema,
+  eventSchema,
+  decide,
+  commandSchema$2 as commandSchema,
+  moduleUrl,
+  commandAuthorization,
+  readConsistency,
+}
+/* consumedEventSchema Not a pure module */

package/tests/plugin/StateChangeSlice/PsShipOrder.res

@@ -18,8 +18,23 @@ let evolve = (_state, _event) => true
 // It is also `@noApi` (internal/admin only): a two-variant slice with exactly
 // one API-exposed command, which is the case that used to leak the exposed
 // command's slice mutation field onto the non-exposed variant.
+// The lifecycle this slice's commands move a shipment through. The PPX strips
+// @transition before the typechecker sees it, so this enum is not what makes the
+// reference below valid — the structure-side check against the linked view is.
+// It is here because a state is a constructor, and naming one in a string is a
+// reference nothing can check at any layer.
+type shipmentStatus = Placed | Shipped | Cancelled
+
+// CancelShipment is payload-less — it compiles to a bare string literal, so it
+// exercises toCommandDef's payload-less branch (still surfaced in `commands`).
+// It is also `@noApi` (internal/admin only): a two-variant slice with exactly
+// one API-exposed command, which is the case that used to leak the exposed
+// command's slice mutation field onto the non-exposed variant. It carries no
+// @transition, which is the un-annotated case the resolver still guesses for.
 @schema
-type command = @targetState("Shipped") ShipOrder({orderId: string}) | @noApi CancelShipment
+type command =
+  | @transition(([Placed]) => Shipped) ShipOrder({orderId: string})
+  | @noApi CancelShipment
 
 // Two variants, one payload-less and one carrying a field — the same two branches
 // `events` exercises, so the structure's `errors` list is pinned on both.

package/tests/plugin/StateChangeSlice/PsShipOrder.res.mjs

@@ -47,7 +47,12 @@ function decide(_state, _command) {
 
 let commandSchema$1 = Api$ReventlessInfra.markNoApiVariants(commandSchema, ["CancelShipment"]);
 
-let commandSchema$2 = Api$ReventlessInfra.markTargetState(commandSchema$1, [[
+let commandSchema$2 = Api$ReventlessInfra.markAllowedStates(commandSchema$1, [[
+    "ShipOrder",
+    ["Placed"]
+  ]]);
+
+let commandSchema$3 = Api$ReventlessInfra.markTargetState(commandSchema$2, [[
     "ShipOrder",
     "Shipped"
   ]]);
@@ -75,7 +80,7 @@ export {
   errorSchema,
   eventSchema,
   decide,
-  commandSchema$2 as commandSchema,
+  commandSchema$3 as commandSchema,
   moduleUrl,
   commandAuthorization,
   readConsistency,

package/tests/plugin/StateViewSlice/PsAnnotatedView.res.mjs

@@ -79,10 +79,11 @@ let stateSchema$1 = S.Metadata.set(stateSchema, StateAnnotations$Reventless.stat
         label: "Revenue"
       }
     ]],
-  status: undefined,
+  lifecycle: undefined,
   groupBy: undefined,
   visibility: undefined,
-  live: false
+  live: false,
+  retired: undefined
 });
 
 let name = "AnnotatedView";

package/tests/plugin/StateViewSlice/PsShipmentsView.res

@@ -0,0 +1,26 @@
+// Test fixture spec for the @transition cross-check.
+// A view that declares a lifecycle, so a command's declared states have
+// something to be checked against. `PsOrdersView` deliberately declares none —
+// the two together cover both the checked and the unvalidated path.
+
+@@reventless.spec("Shipments")
+
+@schema
+type consumedEvent =
+  | ShipmentBooked({shipmentId: string})
+  | ShipmentDispatched({shipmentId: string})
+
+@schema
+type shipmentStatus =
+  | Booked
+  | Dispatched
+
+@schema
+type state = {shipmentId: string, @lifecycle shipmentStatus: shipmentStatus}
+
+let project = ({event}: Reventless.StateViewSlice.consumed<consumedEvent>) =>
+  switch event {
+  | ShipmentBooked({shipmentId}) => [Set(shipmentId, {shipmentId, shipmentStatus: Booked})]
+  | ShipmentDispatched({shipmentId}) =>
+    [Update(shipmentId, s => {...s, shipmentStatus: Dispatched})]
+  }