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

package/tests/plugin/PluginStructureTest.res.mjs

@@ -1,9 +1,9 @@
 // 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 Sury from "sury";
 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_JsExn from "@rescript/runtime/lib/es6/Stdlib_JsExn.js";
 import * as Id$Reventless from "@reventlessdev/reventless-spec/src/types/Id.res.mjs";
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Primitive_object from "@rescript/runtime/lib/es6/Primitive_object.js";
@@ -14,6 +14,7 @@ import * as Reference$Reventless from "@reventlessdev/reventless-spec/src/compon
 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 PsTypoStore$ReventlessCore from "./StateChangeSlice/PsTypoStore.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";
@@ -21,6 +22,7 @@ import * as PsChangePhoto$ReventlessCore from "./StateChangeSlice/PsChangePhoto.
 import * as CapabilityManifest$Reventless from "@reventlessdev/reventless-spec/src/components/CapabilityManifest.res.mjs";
 import * as PsReserveStock$ReventlessCore from "./StateChangeSlice/PsReserveStock.res.mjs";
 import * as PsUploadAvatar$ReventlessCore from "./StateChangeSlice/PsUploadAvatar.res.mjs";
+import * as PsUploadImages$ReventlessCore from "./StateChangeSlice/PsUploadImages.res.mjs";
 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";
@@ -282,13 +284,73 @@ let PsUploadAvatarSlice = {
 };
 
 let Behavior$4 = {
+  initialState: false,
+  evolve: PsUploadImages$ReventlessCore.evolve,
+  decide: PsUploadImages$ReventlessCore.decide,
+  moduleUrl: PsUploadImages$ReventlessCore.moduleUrl
+};
+
+function make$9(param, param$1, param$2, param$3, param$4, param$5) {
+  return 0;
+}
+
+let PsUploadImagesSlice_Spec = {
+  name: PsUploadImages$ReventlessCore.name,
+  moduleUrl: PsUploadImages$ReventlessCore.moduleUrl,
+  Id: Id$Reventless.$$String,
+  consumedEventSchema: PsUploadImages$ReventlessCore.consumedEventSchema,
+  errorSchema: PsUploadImages$ReventlessCore.errorSchema,
+  eventSchema: PsUploadImages$ReventlessCore.eventSchema,
+  commandSchema: PsUploadImages$ReventlessCore.commandSchema,
+  commandAuthorization: PsUploadImages$ReventlessCore.commandAuthorization,
+  readConsistency: PsUploadImages$ReventlessCore.readConsistency
+};
+
+let PsUploadImagesSlice = {
+  Spec: PsUploadImagesSlice_Spec,
+  Behavior: Behavior$4,
+  isAsync: false,
+  make: make$9
+};
+
+let Behavior$5 = {
+  initialState: false,
+  evolve: PsTypoStore$ReventlessCore.evolve,
+  decide: PsTypoStore$ReventlessCore.decide,
+  moduleUrl: PsTypoStore$ReventlessCore.moduleUrl
+};
+
+function make$10(param, param$1, param$2, param$3, param$4, param$5) {
+  return 0;
+}
+
+let PsTypoStoreSlice_Spec = {
+  name: PsTypoStore$ReventlessCore.name,
+  moduleUrl: PsTypoStore$ReventlessCore.moduleUrl,
+  Id: Id$Reventless.$$String,
+  consumedEventSchema: PsTypoStore$ReventlessCore.consumedEventSchema,
+  errorSchema: PsTypoStore$ReventlessCore.errorSchema,
+  eventSchema: PsTypoStore$ReventlessCore.eventSchema,
+  commandSchema: PsTypoStore$ReventlessCore.commandSchema,
+  commandAuthorization: PsTypoStore$ReventlessCore.commandAuthorization,
+  readConsistency: PsTypoStore$ReventlessCore.readConsistency
+};
+
+let PsTypoStoreSlice = {
+  Spec: PsTypoStoreSlice_Spec,
+  Behavior: Behavior$5,
+  isAsync: false,
+  make: make$10
+};
+
+let Behavior$6 = {
   initialState: false,
   evolve: PsChangePhoto$ReventlessCore.evolve,
   decide: PsChangePhoto$ReventlessCore.decide,
   moduleUrl: PsChangePhoto$ReventlessCore.moduleUrl
 };
 
-function make$9(param, param$1, param$2, param$3, param$4, param$5) {
+function make$11(param, param$1, param$2, param$3, param$4, param$5) {
   return 0;
 }
 
@@ -306,19 +368,19 @@ let PsChangePhotoSlice_Spec = {
 
 let PsChangePhotoSlice = {
   Spec: PsChangePhotoSlice_Spec,
-  Behavior: Behavior$4,
+  Behavior: Behavior$6,
   isAsync: false,
-  make: make$9
+  make: make$11
 };
 
-let Behavior$5 = {
+let Behavior$7 = {
   initialState: false,
   evolve: PsReserveStock$ReventlessCore.evolve,
   decide: PsReserveStock$ReventlessCore.decide,
   moduleUrl: PsReserveStock$ReventlessCore.moduleUrl
 };
 
-function make$10(param, param$1, param$2, param$3, param$4, param$5) {
+function make$12(param, param$1, param$2, param$3, param$4, param$5) {
   return 0;
 }
 
@@ -336,19 +398,19 @@ let PsReserveStockSlice_Spec = {
 
 let PsReserveStockSlice = {
   Spec: PsReserveStockSlice_Spec,
-  Behavior: Behavior$5,
+  Behavior: Behavior$7,
   isAsync: false,
-  make: make$10
+  make: make$12
 };
 
-let Behavior$6 = {
+let Behavior$8 = {
   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) {
+function make$13(param, param$1, param$2, param$3, param$4, param$5) {
   return 0;
 }
 
@@ -366,9 +428,9 @@ let PsDispatchShipmentSlice_Spec = {
 
 let PsDispatchShipmentSlice = {
   Spec: PsDispatchShipmentSlice_Spec,
-  Behavior: Behavior$6,
+  Behavior: Behavior$8,
   isAsync: false,
-  make: make$11
+  make: make$13
 };
 
 let Projection$5 = {
@@ -376,7 +438,7 @@ let Projection$5 = {
   moduleUrl: PsShipmentsView$ReventlessCore.moduleUrl
 };
 
-function make$12(param, param$1, param$2) {
+function make$14(param, param$1, param$2) {
   return 0;
 }
 
@@ -394,7 +456,7 @@ let PsShipmentsViewSlice_Spec = {
 let PsShipmentsViewSlice = {
   Spec: PsShipmentsViewSlice_Spec,
   Projection: Projection$5,
-  make: make$12
+  make: make$14
 };
 
 let structure = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, [
@@ -474,8 +536,8 @@ globalThis.describe("@transition cross-check", () => {
       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, "");
+      if (e.RE_EXN_ID === "JsExn") {
+        return Stdlib_Option.getOr(Stdlib_JsExn.message(e._1), "");
       } else {
         return "";
       }
@@ -740,7 +802,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ];
     };
     globalThis.test("a DateTime is not a name — a state whose only string is one falls to id", () => {
-      let schema = S.schema(s => ({
+      let schema = Sury.$schema(s => ({
         orderId: s.m(Reference$Reventless.to_(undefined, undefined, "Order")),
         placedAt: s.m(DateTime$Reventless.string),
         shippedAt: s.m(DateTime$Reventless.string)
@@ -751,9 +813,9 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ]);
     });
     globalThis.test("a DateTime is skipped, not fatal — a later plain string still wins", () => {
-      let schema = S.schema(s => ({
+      let schema = Sury.$schema(s => ({
         placedAt: s.m(DateTime$Reventless.string),
-        reference: s.m(S.string)
+        reference: s.m(Sury.string)
       }));
       globalThis.expect(labelOf(undefined, schema)).toEqual([
         "reference",
@@ -761,8 +823,8 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ]);
     });
     globalThis.test("an optional string is still the entity's name", () => {
-      let schema = S.schema(s => ({
-        nickname: s.m(S.option(S.string))
+      let schema = Sury.$schema(s => ({
+        nickname: s.m(Sury.$option(Sury.string))
       }));
       globalThis.expect(labelOf(undefined, schema)).toEqual([
         "nickname",
@@ -770,9 +832,9 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ]);
     });
     globalThis.test("a reference is not a name even when its field is not called `*Id`", () => {
-      let schema = S.schema(s => ({
+      let schema = Sury.$schema(s => ({
         customer: s.m(Reference$Reventless.to_(undefined, undefined, "Customer")),
-        note: s.m(S.string)
+        note: s.m(Sury.string)
       }));
       globalThis.expect(labelOf(undefined, schema)).toEqual([
         "note",
@@ -780,9 +842,9 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ]);
     });
     globalThis.test("a DCB-tagged string is not a name", () => {
-      let schema = S.schema(s => ({
+      let schema = Sury.$schema(s => ({
         partition: s.m(DcbTag$Reventless.string),
-        note: s.m(S.string)
+        note: s.m(Sury.string)
       }));
       globalThis.expect(labelOf(undefined, schema)).toEqual([
         "note",
@@ -790,9 +852,9 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ]);
     });
     globalThis.test("the `*Id` test is case-insensitive — `productID` is a reference", () => {
-      let schema = S.schema(s => ({
-        productID: s.m(S.string),
-        note: s.m(S.string)
+      let schema = Sury.$schema(s => ({
+        productID: s.m(Sury.string),
+        note: s.m(Sury.string)
       }));
       globalThis.expect(labelOf(undefined, schema)).toEqual([
         "note",
@@ -800,9 +862,9 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ]);
     });
     globalThis.test("a semantic-carrying string is a value, not a name", () => {
-      let schema = S.schema(s => ({
+      let schema = Sury.$schema(s => ({
         imageUrl: s.m(StorageRef$Reventless.forStore(undefined, "productImages")),
-        note: s.m(S.string)
+        note: s.m(Sury.string)
       }));
       globalThis.expect(labelOf(undefined, schema)).toEqual([
         "note",
@@ -810,7 +872,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ]);
     });
     globalThis.test("a state whose only string is a semantic falls to id", () => {
-      let schema = S.schema(s => ({
+      let schema = Sury.$schema(s => ({
         imageUrl: s.m(StorageRef$Reventless.forStore(undefined, "productImages"))
       }));
       globalThis.expect(labelOf(undefined, schema)).toEqual([
@@ -819,9 +881,9 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ]);
     });
     globalThis.test("`id` itself is still excluded by name", () => {
-      let schema = S.schema(s => ({
-        id: s.m(S.string),
-        note: s.m(S.string)
+      let schema = Sury.$schema(s => ({
+        id: s.m(Sury.string),
+        note: s.m(Sury.string)
       }));
       globalThis.expect(labelOf(undefined, schema)).toEqual([
         "note",
@@ -838,9 +900,9 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ];
     };
     globalThis.test("a field named `name` beats an earlier string", () => {
-      let schema = S.schema(s => ({
-        sku: s.m(S.string),
-        name: s.m(S.string)
+      let schema = Sury.$schema(s => ({
+        sku: s.m(Sury.string),
+        name: s.m(Sury.string)
       }));
       globalThis.expect(labelOf(schema)).toEqual([
         "name",
@@ -848,9 +910,9 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ]);
     });
     globalThis.test("`title` counts too, case-insensitively", () => {
-      let schema = S.schema(s => ({
-        body: s.m(S.string),
-        Title: s.m(S.string)
+      let schema = Sury.$schema(s => ({
+        body: s.m(Sury.string),
+        Title: s.m(Sury.string)
       }));
       globalThis.expect(labelOf(schema)).toEqual([
         "Title",
@@ -858,9 +920,9 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ]);
     });
     globalThis.test("the match is exact — `customerName` is a customer's name, not this record's", () => {
-      let schema = S.schema(s => ({
-        customerName: s.m(S.string),
-        note: s.m(S.string)
+      let schema = Sury.$schema(s => ({
+        customerName: s.m(Sury.string),
+        note: s.m(Sury.string)
       }));
       globalThis.expect(labelOf(schema)).toEqual([
         "customerName",
@@ -868,9 +930,9 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ]);
     });
     globalThis.test("an optional `name` still outranks an earlier string", () => {
-      let schema = S.schema(s => ({
-        sku: s.m(S.string),
-        name: s.m(S.option(S.string))
+      let schema = Sury.$schema(s => ({
+        sku: s.m(Sury.string),
+        name: s.m(Sury.$option(Sury.string))
       }));
       globalThis.expect(labelOf(schema)).toEqual([
         "name",
@@ -891,21 +953,21 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ]);
     });
     globalThis.test("a field named `name` is a guess the consumer can also make", () => {
-      let schema = S.schema(s => ({
-        sku: s.m(S.string),
-        name: s.m(S.string)
+      let schema = Sury.$schema(s => ({
+        sku: s.m(Sury.string),
+        name: s.m(Sury.string)
       }));
       globalThis.expect(sourceOf(schema)).toEqual("convention");
     });
     globalThis.test("declaration order is a guess only this side can make", () => {
-      let schema = S.schema(s => ({
-        customerName: s.m(S.string),
-        note: s.m(S.string)
+      let schema = Sury.$schema(s => ({
+        customerName: s.m(Sury.string),
+        note: s.m(Sury.string)
       }));
       globalThis.expect(sourceOf(schema)).toEqual("position");
     });
     globalThis.test("no candidate at all is the state saying it has no human field", () => {
-      let schema = S.schema(s => ({
+      let schema = Sury.$schema(s => ({
         orderId: s.m(Reference$Reventless.to_(undefined, undefined, "Order")),
         placedAt: s.m(DateTime$Reventless.string)
       }));
@@ -965,7 +1027,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
     });
   });
   globalThis.describe("lifecycleField — the name rule and the shape rule", () => {
-    let withLifecycle = (schema, field) => S.Metadata.set(schema, StateAnnotations$Reventless.stateAnnotationsId, {
+    let withLifecycle = (schema, field) => Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, {
       ids: [],
       compositeIds: [],
       subIds: [],
@@ -987,50 +1049,50 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       retired: undefined
     });
     globalThis.test("a `lifecycle` field holding a closed set of values is the lifecycle field", () => {
-      let schema = S.schema(s => ({
-        lifecycle: s.m(S.union([
-          S.literal("Placed"),
-          S.literal("Shipped")
+      let schema = Sury.$schema(s => ({
+        lifecycle: s.m(Sury.union([
+          Sury.literal("Placed"),
+          Sury.literal("Shipped")
         ]))
       }));
       globalThis.expect(Plugin_Structure$ReventlessCore.lifecycleFieldFromStateSchema("Test", schema)).toEqual("lifecycle");
     });
     globalThis.test("an optional one counts too", () => {
-      let schema = S.schema(s => ({
-        lifecycle: s.m(S.option(S.union([
-          S.literal("Placed"),
-          S.literal("Shipped")
+      let schema = Sury.$schema(s => ({
+        lifecycle: s.m(Sury.$option(Sury.union([
+          Sury.literal("Placed"),
+          Sury.literal("Shipped")
         ])))
       }));
       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)
+      let schema = Sury.$schema(s => ({
+        lifecycle: s.m(Sury.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")
+      let schema = Sury.$schema(s => ({
+        status: s.m(Sury.union([
+          Sury.literal("Placed"),
+          Sury.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")
+      let schema = Sury.$schema(s => ({
+        locationStatus: s.m(Sury.union([
+          Sury.literal("Pending"),
+          Sury.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, {
+    let withRetired = (schema, field) => Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, {
       ids: [],
       compositeIds: [],
       subIds: [],
@@ -1053,11 +1115,12 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
         field: field,
         label: "",
         showWhenFalse: false,
-        values: undefined
+        values: undefined,
+        namedWhenRetired: false
       }
     });
     globalThis.test("publishes the retirement state beside the field", () => {
-      let withState = schema => S.Metadata.set(schema, StateAnnotations$Reventless.stateAnnotationsId, {
+      let withState = schema => Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, {
         ids: [],
         compositeIds: [],
         subIds: [],
@@ -1083,11 +1146,12 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
           values: [
             "Deactivated",
             "Closed"
-          ]
+          ],
+          namedWhenRetired: false
         }
       });
-      let schema = withState(S.schema(s => ({
-        accountStatus: s.m(S.string)
+      let schema = withState(Sury.$schema(s => ({
+        accountStatus: s.m(Sury.string)
       })));
       globalThis.expect([
         Plugin_Structure$ReventlessCore.retiredFieldFromStateSchema(schema),
@@ -1101,31 +1165,141 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ]);
     });
     globalThis.test("publishes no states on the boolean form", () => {
-      let schema = S.schema(s => ({
-        archived: s.m(S.bool)
+      let schema = Sury.$schema(s => ({
+        archived: s.m(Sury.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)
+      let schema = Sury.$schema(s => ({
+        archived: s.m(Sury.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)
+      let schema = Sury.$schema(s => ({
+        archived: s.m(Sury.bool),
+        deactivated: s.m(Sury.bool)
       }));
       globalThis.expect(Plugin_Structure$ReventlessCore.retiredFieldFromStateSchema(schema)).toEqual(undefined);
     });
     globalThis.test("declines a schema carrying no annotation spec at all", () => {
-      let schema = S.schema(s => ({
-        id: s.m(S.string)
+      let schema = Sury.$schema(s => ({
+        id: s.m(Sury.string)
       }));
       globalThis.expect(Plugin_Structure$ReventlessCore.retiredFieldFromStateSchema(schema)).toEqual(undefined);
     });
   });
+  globalThis.describe("@retired state names are checked against the field's own enum", () => {
+    let withRetiredStates = (schema, field, lifecycle, values) => Sury.$Metadata_set(schema, StateAnnotations$Reventless.stateAnnotationsId, {
+      ids: [],
+      compositeIds: [],
+      subIds: [],
+      compositeSubIds: [],
+      indexes: [],
+      hidden: [],
+      summary: [],
+      drillTargets: [],
+      drillTargetKeys: [],
+      collapsed: [],
+      scan: [],
+      scanSort: [],
+      semantic: [],
+      metric: [],
+      lifecycle: lifecycle,
+      groupBy: undefined,
+      visibility: undefined,
+      live: undefined,
+      retired: {
+        field: field,
+        label: "",
+        showWhenFalse: false,
+        values: values,
+        namedWhenRetired: false
+      }
+    });
+    let shelf = values => withRetiredStates(Sury.$schema(s => ({
+      shelf: s.m(Sury.union([
+        Sury.literal("Listed"),
+        Sury.literal("Archived")
+      ]))
+    })), "shelf", "shelf", values);
+    globalThis.test("a declared state passes", () => {
+      globalThis.expect(Plugin_Structure$ReventlessCore.checkRetiredValue("Products", shelf(["Archived"]))).toEqual({
+        TAG: "Checked",
+        _0: []
+      });
+    });
+    globalThis.test("each undeclared state is reported on its own", () => {
+      let failures = Plugin_Structure$ReventlessCore.checkRetiredValue("Products", shelf([
+        "Archived",
+        "Discontinud",
+        "Withdrawn"
+      ]));
+      if (typeof failures !== "object") {
+        globalThis.expect(failures).toEqual({
+          TAG: "Checked",
+          _0: []
+        });
+        return;
+      }
+      if (failures.TAG === "Unchecked") {
+        globalThis.expect(failures).toEqual({
+          TAG: "Checked",
+          _0: []
+        });
+        return;
+      }
+      let failures$1 = failures._0;
+      globalThis.expect(failures$1.length).toBe(2);
+      globalThis.expect(failures$1.some(f => f.includes("Discontinud"))).toBe(true);
+      globalThis.expect(failures$1.some(f => f.includes("Withdrawn"))).toBe(true);
+      globalThis.expect(failures$1.every(f => f.includes("Listed, Archived"))).toBe(true);
+    });
+    globalThis.test("a field with no cases to compare against says so instead of passing", () => {
+      let schema = withRetiredStates(Sury.$schema(s => ({
+        shelf: s.m(Sury.string)
+      })), "shelf", "shelf", ["Archived"]);
+      let why = Plugin_Structure$ReventlessCore.checkRetiredValue("Products", schema);
+      if (typeof why !== "object") {
+        globalThis.expect(why).toEqual({
+          TAG: "Unchecked",
+          _0: ""
+        });
+        return;
+      }
+      if (why.TAG === "Unchecked") {
+        globalThis.expect(why._0.includes("no cases")).toBe(true);
+        return;
+      }
+      globalThis.expect(why).toEqual({
+        TAG: "Unchecked",
+        _0: ""
+      });
+    });
+    globalThis.test("the boolean form is not a skip", () => {
+      let schema = withRetiredStates(Sury.$schema(s => ({
+        archived: s.m(Sury.bool)
+      })), "archived", undefined, undefined);
+      globalThis.expect(Plugin_Structure$ReventlessCore.checkRetiredValue("Products", schema)).toEqual("NotDeclared");
+    });
+    globalThis.test("a state on a non-lifecycle field is not a failure", () => {
+      let schema = withRetiredStates(Sury.$schema(s => ({
+        shelf: s.m(Sury.union([
+          Sury.literal("Listed"),
+          Sury.literal("Archived")
+        ])),
+        lifecycle: s.m(Sury.union([
+          Sury.literal("Draft"),
+          Sury.literal("Live")
+        ]))
+      })), "shelf", "lifecycle", ["Archived"]);
+      globalThis.expect(Plugin_Structure$ReventlessCore.checkRetiredValue("Products", schema)).toEqual({
+        TAG: "Checked",
+        _0: []
+      });
+    });
+  });
   let getProperty = (json, key) => {
     let obj = Stdlib_JSON.Decode.object(json);
     if (obj !== undefined) {
@@ -1306,6 +1480,133 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       });
     });
   });
+  globalThis.describe("uploadable types derive their store from the field name", () => {
+    let withUploads = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [PsUploadImagesSlice], undefined, undefined, undefined, undefined, undefined, undefined);
+    let stores = Stdlib_Option.getOr(withUploads.requiredStores, []);
+    globalThis.test("the derived store is the field name, pluralised", () => {
+      globalThis.expect(stores.includes("TestPlugin.productImages")).toBe(true);
+    });
+    globalThis.test("an optional field still declares its store", () => {
+      globalThis.expect(stores.includes("TestPlugin.categoryImages")).toBe(true);
+    });
+    globalThis.test("an array field declares through its element", () => {
+      globalThis.expect(stores.includes("TestPlugin.datasheets")).toBe(true);
+    });
+    globalThis.test("an explicit @storageRef overrides the derived name", () => {
+      globalThis.expect(stores.includes("branding.logos")).toBe(true);
+    });
+    globalThis.test("nothing else is collected", () => {
+      globalThis.expect(stores.length).toBe(4);
+    });
+    globalThis.test("each requirement keeps its declaring sites", () => {
+      let expected = [
+        {
+          store: "TestPlugin.categoryImages",
+          component: "UploadImages",
+          field: "categoryImage",
+          annotation: "categoryImages"
+        },
+        {
+          store: "TestPlugin.datasheets",
+          component: "UploadImages",
+          field: "datasheets",
+          annotation: "datasheets"
+        },
+        {
+          store: "TestPlugin.productImages",
+          component: "UploadImages",
+          field: "productImage",
+          annotation: "productImages"
+        },
+        {
+          store: "branding.logos",
+          component: "UploadImages",
+          field: "logo",
+          annotation: "branding.logos"
+        }
+      ];
+      globalThis.expect(withUploads.requiredStoreDeclarations).toEqual(expected);
+    });
+    let commandJson = JSON.parse(withUploads.stateChangeSlices[0].commands[0].schema);
+    let semanticOf = field => Stdlib_Option.flatMap(Stdlib_Option.flatMap(getPropertyOf(commandJson, field), s => getProperty(s, "x-reventless-semantic")), Stdlib_JSON.Decode.string);
+    globalThis.test("the wire carries the content half, not just the store", () => {
+      globalThis.expect(semanticOf("productImage")).toBe("uploadableImage");
+    });
+    globalThis.test("an overridden field keeps its uploadable semantic", () => {
+      globalThis.expect(semanticOf("logo")).toBe("uploadableImage");
+    });
+    globalThis.test("the non-image arm carries its own id, on the element", () => {
+      globalThis.expect(Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_Option.flatMap(getPropertyOf(commandJson, "datasheets"), s => getProperty(s, "items")), s => getProperty(s, "x-reventless-semantic")), Stdlib_JSON.Decode.string)).toBe("uploadableFile");
+    });
+  });
+  globalThis.describe("near-duplicate stores are refused", () => {
+    let failureText = () => {
+      try {
+        Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [PsTypoStoreSlice], undefined, undefined, undefined, undefined, undefined, undefined);
+        return "";
+      } catch (raw_e) {
+        let e = Primitive_exceptions.internalToException(raw_e);
+        if (e.RE_EXN_ID === "JsExn") {
+          return Stdlib_Option.getOr(Stdlib_JsExn.message(e._1), "(no message)");
+        } else {
+          return "(not a JS error)";
+        }
+      }
+    };
+    globalThis.test("two stores one transposition apart fail the build", () => {
+      globalThis.expect(failureText() !== "").toBe(true);
+    });
+    globalThis.test("the failure names both stores and both fields", () => {
+      let text = failureText();
+      globalThis.expect([
+        text.includes("TestPlugin.productImages"),
+        text.includes("TestPlugin.productImgaes"),
+        text.includes("TypoStore.productImage"),
+        text.includes("@storageRef")
+      ]).toEqual([
+        true,
+        true,
+        true,
+        true
+      ]);
+    });
+    globalThis.test("the four stores of the uploadable fixture do not collide", () => {
+      globalThis.expect(Capability_Inference$ReventlessCore.collisions(Stdlib_Option.getOr(Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [PsUploadImagesSlice], undefined, undefined, undefined, undefined, undefined, undefined).requiredStoreDeclarations, []))).toEqual([]);
+    });
+    globalThis.test("one edit, transpositions included; two edits not", () => {
+      globalThis.expect([
+        [
+          "productImages",
+          "productImgaes"
+        ],
+        [
+          "productImages",
+          "productImage"
+        ],
+        [
+          "logos",
+          "logo"
+        ],
+        [
+          "documents",
+          "logos"
+        ],
+        [
+          "productImages",
+          "productImgeas"
+        ]
+      ].map(param => Capability_Inference$ReventlessCore.withinOneEdit(param[0], param[1]))).toEqual([
+        true,
+        true,
+        true,
+        false,
+        false
+      ]);
+    });
+    globalThis.test("a singular/plural pair collides even at two edits apart", () => {
+      globalThis.expect(Capability_Inference$ReventlessCore.sameStem("productImage", "productImages")).toBe(true);
+    });
+  });
   globalThis.describe("optional carriers keep their declarations", () => {
     let withOptional = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [PsUploadAvatarSlice], undefined, undefined, undefined, undefined, undefined, undefined);
     globalThis.test("an optional storage ref still requires its store", () => {
@@ -1440,6 +1741,8 @@ export {
   PsCategoriesViewSlice,
   PsAttachInvoiceSlice,
   PsUploadAvatarSlice,
+  PsUploadImagesSlice,
+  PsTypoStoreSlice,
   PsChangePhotoSlice,
   PsReserveStockSlice,
   PsDispatchShipmentSlice,