@reventlessdev/reventless-core 3.0.0-alpha.278 → 3.0.0-alpha.279

package/CHANGELOG.md

@@ -3,6 +3,13 @@
 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.279 (2026-09-27)
+
+### Features
+
+* **core,spec:** an identity the plugin declares is information, not a dangling reference ([30d7917](https://github.com/ReventlessDev/reventless-core/commit/30d7917669ff062439f9c65e5274ab63a2e20de0))
+
+
 # 3.0.0-alpha.278 (2026-09-25)
 
 ### Bug Fixes

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-core",
-  "version": "3.0.0-alpha.278",
+  "version": "3.0.0-alpha.279",
   "description": "Core package for Reventless framework",
   "license": "Apache-2.0",
   "jest": {
@@ -29,16 +29,16 @@
     "sury": "11.0.0",
     "uuid": "^13.0.0",
     "@reventlessdev/rescript-effect": "0.1.0-alpha.34",
-    "@reventlessdev/rescript-fast-csv": "2.0.0-alpha.15",
-    "@reventlessdev/rescript-jest": "1.0.0-alpha.11",
     "@reventlessdev/rescript-hash-object": "1.2.0-alpha.15",
-    "@reventlessdev/rescript-node": "2.0.0-alpha.15",
-    "@reventlessdev/rescript-ssh2": "2.0.0-alpha.15",
+    "@reventlessdev/rescript-fast-csv": "2.0.0-alpha.16",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.22",
+    "@reventlessdev/rescript-jest": "1.0.0-alpha.11",
+    "@reventlessdev/rescript-node": "2.0.0-alpha.16",
     "@reventlessdev/rescript-uuid": "2.0.0-alpha.1",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.149",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.177",
-    "@reventlessdev/reventless-interop": "3.0.0-alpha.38"
+    "@reventlessdev/rescript-ssh2": "2.0.0-alpha.16",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.178",
+    "@reventlessdev/reventless-interop": "3.0.0-alpha.38",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.150"
   },
   "devDependencies": {
     "rescript": "12.3.1",

package/src/plugin/component/Plugin.res

@@ -55,6 +55,7 @@ module type T = {
     ~extensionPoints: array<module(ReventlessInfra.ExtensionPointMapping.Mapping)>=?,
     ~componentChapters: dict<string>=?,
     ~lifecycleModel: array<Reventless.Plugin.derivedEdge>=?,
+    ~identities: array<string>=?,
   ) => Reventless.Plugin.pluginStructure
 }
 

package/src/plugin/component/Plugin_Builder.res

@@ -1109,6 +1109,7 @@ module Make = (
     ~extensionPoints: array<module(ReventlessInfra.ExtensionPointMapping.Mapping)>=[],
     ~componentChapters: dict<string>=Dict.make(),
     ~lifecycleModel: array<Reventless.Plugin.derivedEdge>=[],
+    ~identities: array<string>=[],
   ): Reventless.Plugin.pluginStructure =>
     Plugin_Structure.make(
       ~name,
@@ -1123,6 +1124,7 @@ module Make = (
       ~extensionPoints,
       ~componentChapters,
       ~lifecycleModel,
+      ~identities,
     )
 
   let make = (

package/src/plugin/component/Plugin_Builder.res.mjs

@@ -95,7 +95,7 @@ function Make(Spec) {
         pages: pages
       };
     };
-    let makePluginDefinition = (name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChangeSlicesOpt, automationSlicesOpt, outboundTranslationSlicesOpt, inboundTranslationSlicesOpt, extensionsOpt, extensionPointsOpt, componentChaptersOpt, lifecycleModelOpt) => {
+    let makePluginDefinition = (name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChangeSlicesOpt, automationSlicesOpt, outboundTranslationSlicesOpt, inboundTranslationSlicesOpt, extensionsOpt, extensionPointsOpt, componentChaptersOpt, lifecycleModelOpt, identitiesOpt) => {
       let aggregates = aggregatesOpt !== undefined ? aggregatesOpt : [];
       let readModels = readModelsOpt !== undefined ? readModelsOpt : [];
       let stateViewSlices = stateViewSlicesOpt !== undefined ? stateViewSlicesOpt : [];
@@ -107,7 +107,8 @@ function Make(Spec) {
       let extensionPoints = extensionPointsOpt !== undefined ? extensionPointsOpt : [];
       let componentChapters = componentChaptersOpt !== undefined ? componentChaptersOpt : ({});
       let lifecycleModel = lifecycleModelOpt !== undefined ? lifecycleModelOpt : [];
-      return Plugin_Structure$ReventlessCore.make(name, aggregates, readModels, stateViewSlices, stateChangeSlices, automationSlices, outboundTranslationSlices, inboundTranslationSlices, extensions, extensionPoints, componentChapters, lifecycleModel);
+      let identities = identitiesOpt !== undefined ? identitiesOpt : [];
+      return Plugin_Structure$ReventlessCore.make(name, aggregates, readModels, stateViewSlices, stateChangeSlices, automationSlices, outboundTranslationSlices, inboundTranslationSlices, extensions, extensionPoints, componentChapters, lifecycleModel, identities);
     };
     let make = (name, heartbeatInterval, extensionPointsOpt, extensionsOpt, aggregatesOpt, readModelsOpt, tasksOpt, stateChangeSlicesOpt, stateViewSlicesOpt, automationSlicesOpt, outboundTranslationSlicesOpt, inboundTranslationSlicesOpt, systemCallableComponentsOpt, componentRuntimeOpt, uiFragments, pluginStructure, opts) => {
       let extensionPoints = extensionPointsOpt !== undefined ? extensionPointsOpt : [];

package/src/plugin/component/Plugin_Structure.res

@@ -591,12 +591,15 @@ let labelFieldsFromStateSchema = (
 The plugin's views by the identity each is keyed by, which is what lets a typed
 id find the view that lists it without an `@ref`. `report` says where the type
 cannot decide: several views keyed by the identity, none, or an `@ref` naming a
-view keyed by another.
+view keyed by another. `inform` takes the one case that is not a fault: an
+identity in `ownIdentities`, declared by this plugin, that no view lists yet.
 */
 type identityViews = {
   viewsByKey: dict<array<string>>,
   viewNames: array<string>,
+  ownIdentities: array<string>,
   report: string => unit,
+  inform: string => unit,
 }
 
 // The reference a typed id implies, and the check on one it declares.
@@ -615,7 +618,11 @@ let identityReference = (
       switch keyed {
       | [view] => [(fieldName, {Reventless.Semantic.entity: view, plugin: None, identity: key})]
       | [] =>
-        identityViews.report(
+        let say =
+          identityViews.ownIdentities->Array.includes(key)
+            ? identityViews.inform
+            : identityViews.report
+        say(
           `${fieldName} is a ${key}, and no view in this plugin is keyed by it, so it references nothing. List the identity in a view, or reference another plugin's with @ref("Plugin.View").`,
         )
         []
@@ -1110,6 +1117,9 @@ let make = (
   // What the plugin's own scenarios say about each command's lifecycle edge,
   // harvested by `check:lifecycle` and committed as `src/LifecycleModel.res`.
   ~lifecycleModel: array<Reventless.Plugin.derivedEdge>=[],
+  // The keys of the identities the plugin declares in its own `src/`, passed by
+  // the plugin generator. One no view lists is reported as information.
+  ~identities: array<string>=[],
 ): Reventless.Plugin.pluginStructure => {
   let chapterOf = (compName: string): option<string> => componentChapters->Dict.get(compName)
   // The harvest compares its own reading of the corpus with the DECLARATION, so
@@ -1648,14 +1658,17 @@ let make = (
   // Warned rather than refused, like the key-field gap: the field still decodes,
   // it just links nowhere. Once per message, since a field recurs across variants.
   let reported: Set.t<string> = Set.make()
+  let once = (logFn: Logger.logFn, message) =>
+    if !(reported->Set.has(message)) {
+      reported->Set.add(message)
+      logFn(~comp="Plugin_Structure", `${name}: ${message}`)
+    }
   let identityViews = {
     viewsByKey,
     viewNames: viewKeys->Array.map(((view, _)) => view),
-    report: message =>
-      if !(reported->Set.has(message)) {
-        reported->Set.add(message)
-        log.warn(~comp="Plugin_Structure", `${name}: ${message}`)
-      },
+    ownIdentities: identities,
+    report: message => once(log.warn, message),
+    inform: message => once(log.info, message),
   }
 
   let stateChangeDefs =

package/src/plugin/component/Plugin_Structure.res.mjs

@@ -465,10 +465,10 @@ function identityReference(identityViews, fieldName, fieldSchema, declared) {
     if (len !== 0) {
       identityViews.report(fieldName + ` is a ` + key + `, and ` + keyed.join(" and ") + ` are all keyed by it. Say which it references with @ref.`);
       return [];
-    } else {
-      identityViews.report(fieldName + ` is a ` + key + `, and no view in this plugin is keyed by it, so it references nothing. List the identity in a view, or reference another plugin's with @ref("Plugin.View").`);
-      return [];
     }
+    let say = identityViews.ownIdentities.includes(key) ? identityViews.inform : identityViews.report;
+    say(fieldName + ` is a ` + key + `, and no view in this plugin is keyed by it, so it references nothing. List the identity in a view, or reference another plugin's with @ref("Plugin.View").`);
+    return [];
   }
   let view = keyed[0];
   return [[
@@ -774,7 +774,7 @@ function queryableDefFromSpec(plugin, name, stateSchema, authorization, visibili
   };
 }
 
-function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChangeSlicesOpt, automationSlicesOpt, outboundTranslationSlicesOpt, inboundTranslationSlicesOpt, extensionsOpt, extensionPointsOpt, componentChaptersOpt, lifecycleModelOpt) {
+function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChangeSlicesOpt, automationSlicesOpt, outboundTranslationSlicesOpt, inboundTranslationSlicesOpt, extensionsOpt, extensionPointsOpt, componentChaptersOpt, lifecycleModelOpt, identitiesOpt) {
   let aggregates = aggregatesOpt !== undefined ? aggregatesOpt : [];
   let readModels = readModelsOpt !== undefined ? readModelsOpt : [];
   let stateViewSlices = stateViewSlicesOpt !== undefined ? stateViewSlicesOpt : [];
@@ -786,6 +786,7 @@ function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChang
   let extensionPoints = extensionPointsOpt !== undefined ? extensionPointsOpt : [];
   let componentChapters = componentChaptersOpt !== undefined ? componentChaptersOpt : ({});
   let lifecycleModel = lifecycleModelOpt !== undefined ? lifecycleModelOpt : [];
+  let identities = identitiesOpt !== undefined ? identitiesOpt : [];
   let model = declaredTransitionsOnly ? [] : lifecycleModel;
   let derivedEdgeFor = (component, command) => model.find(e => {
     if (e.component === component) {
@@ -1173,17 +1174,21 @@ function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChang
     });
   });
   let reported = new Set();
-  let identityViews_viewNames = viewKeys.map(param => param[0]);
-  let identityViews_report = message => {
+  let once = (logFn, message) => {
     if (!reported.has(message)) {
       reported.add(message);
-      return log.warn("Plugin_Structure", undefined, name + `: ` + message);
+      return logFn("Plugin_Structure", undefined, name + `: ` + message);
     }
   };
+  let identityViews_viewNames = viewKeys.map(param => param[0]);
+  let identityViews_report = message => once(log.warn, message);
+  let identityViews_inform = message => once(log.info, message);
   let identityViews = {
     viewsByKey: viewsByKey,
     viewNames: identityViews_viewNames,
-    report: identityViews_report
+    ownIdentities: identities,
+    report: identityViews_report,
+    inform: identityViews_inform
   };
   let stateChangeDefs = stateChangeSlices.map((SCS, i) => {
     let match = scsProduced[i];

package/tests/plugin/IdentityReferenceTest.res

@@ -11,12 +11,14 @@ module CustomerId = Reventless.Id.Make({
   let key = "customerId"
 })
 
-let refsOf = (~viewsByKey, ~minted=?, schema: S.t<'a>) => {
+let refsOf = (~viewsByKey, ~ownIdentities=[], ~minted=?, schema: S.t<'a>) => {
   let reports = []
   let identityViews: Plugin_Structure.identityViews = {
     viewsByKey: Dict.fromArray(viewsByKey),
     viewNames: viewsByKey->Array.flatMap(((_, views)) => views),
+    ownIdentities,
     report: message => reports->Array.push(message),
+    inform: message => reports->Array.push(`info: ${message}`),
   }
   let properties = switch schema->S.castToUnknown {
   | Object({properties}) => properties
@@ -63,6 +65,27 @@ describe("a reference derived from the type", () => {
     expect(reports->Array.some(r => r->String.includes("no view in this plugin")))->toBe(true)
   })
 
+  // A site other parts name but no screen lists: declared on purpose, not a fault.
+  testSync("an identity the plugin declares, with no view, is information", () => {
+    let (_, reports) = refsOf(
+      ~viewsByKey=[("productId", ["AvailableProducts"])],
+      ~ownIdentities=["customerId"],
+      order,
+    )
+    expect(reports)->toEqual([
+      `info: buyer is a customerId, and no view in this plugin is keyed by it, so it references nothing. List the identity in a view, or reference another plugin's with @ref("Plugin.View").`,
+    ])
+  })
+
+  testSync("one it does not declare still warns", () => {
+    let (_, reports) = refsOf(
+      ~viewsByKey=[("productId", ["AvailableProducts"])],
+      ~ownIdentities=["orderId"],
+      order,
+    )
+    expect(reports->Array.some(r => r->String.startsWith("buyer is a customerId")))->toBe(true)
+  })
+
   // A create form mints this id; a list of the rows that already exist is the
   // wrong control for it.
   testSync("the id a creating command mints references nothing", () => {

package/tests/plugin/IdentityReferenceTest.res.mjs

@@ -13,17 +13,23 @@ let CustomerId = Id$Reventless.Make({
   key: "customerId"
 });
 
-function refsOf(viewsByKey, minted, schema) {
+function refsOf(viewsByKey, ownIdentitiesOpt, minted, schema) {
+  let ownIdentities = ownIdentitiesOpt !== undefined ? ownIdentitiesOpt : [];
   let reports = [];
   let identityViews_viewsByKey = Object.fromEntries(viewsByKey);
   let identityViews_viewNames = viewsByKey.flatMap(param => param[1]);
   let identityViews_report = message => {
     reports.push(message);
   };
+  let identityViews_inform = message => {
+    reports.push(`info: ` + message);
+  };
   let identityViews = {
     viewsByKey: identityViews_viewsByKey,
     viewNames: identityViews_viewNames,
-    report: identityViews_report
+    ownIdentities: ownIdentities,
+    report: identityViews_report,
+    inform: identityViews_inform
   };
   let properties;
   properties = schema.type === "object" ? schema.properties : ({});
@@ -54,7 +60,7 @@ globalThis.describe("a reference derived from the type", () => {
         "productId",
         ["AvailableProducts"]
       ]
-    ], undefined, order);
+    ], undefined, undefined, order);
     globalThis.expect(match[0]).toEqual([
       [
         "buyer",
@@ -80,7 +86,7 @@ globalThis.describe("a reference derived from the type", () => {
           "ProductDemand"
         ]
       ]
-    ], undefined, order);
+    ], undefined, undefined, order);
     globalThis.expect(match[0]).toEqual([[
         "buyer",
         "Customers"
@@ -91,13 +97,27 @@ globalThis.describe("a reference derived from the type", () => {
     let match = refsOf([[
         "productId",
         ["AvailableProducts"]
-      ]], undefined, order);
+      ]], undefined, undefined, order);
     globalThis.expect(match[0]).toEqual([[
         "productIds",
         "AvailableProducts"
       ]]);
     globalThis.expect(match[1].some(r => r.includes("no view in this plugin"))).toBe(true);
   });
+  globalThis.test("an identity the plugin declares, with no view, is information", () => {
+    let match = refsOf([[
+        "productId",
+        ["AvailableProducts"]
+      ]], ["customerId"], undefined, order);
+    globalThis.expect(match[1]).toEqual([`info: buyer is a customerId, and no view in this plugin is keyed by it, so it references nothing. List the identity in a view, or reference another plugin's with @ref("Plugin.View").`]);
+  });
+  globalThis.test("one it does not declare still warns", () => {
+    let match = refsOf([[
+        "productId",
+        ["AvailableProducts"]
+      ]], ["orderId"], undefined, order);
+    globalThis.expect(match[1].some(r => r.startsWith("buyer is a customerId"))).toBe(true);
+  });
   globalThis.test("the id a creating command mints references nothing", () => {
     let match = refsOf([
       [
@@ -108,7 +128,7 @@ globalThis.describe("a reference derived from the type", () => {
         "productId",
         ["AvailableProducts"]
       ]
-    ], "buyer", order);
+    ], undefined, "buyer", order);
     globalThis.expect([
       match[0],
       match[1]
@@ -124,7 +144,7 @@ globalThis.describe("a reference derived from the type", () => {
     let match = refsOf([[
         "customerId",
         ["Customers"]
-      ]], undefined, Sury.$schema(s => ({
+      ]], undefined, undefined, Sury.$schema(s => ({
       customerId: s.m(Sury.string)
     })));
     globalThis.expect([
@@ -151,7 +171,7 @@ globalThis.describe("a declared @ref on a typed id", () => {
         "productId",
         ["Products"]
       ]
-    ], undefined, referenced);
+    ], undefined, undefined, referenced);
     globalThis.expect(match[0]).toEqual([[
         "buyer",
         "Products"
@@ -168,7 +188,7 @@ globalThis.describe("a declared @ref on a typed id", () => {
           "Customers",
           "VipCustomers"
         ]
-      ]], undefined, chosen);
+      ]], undefined, undefined, chosen);
     globalThis.expect([
       match[0],
       match[1]
@@ -187,7 +207,7 @@ globalThis.describe("a declared @ref on a typed id", () => {
     let match = refsOf([[
         "customerId",
         ["Customers"]
-      ]], "buyer", chosen);
+      ]], undefined, "buyer", chosen);
     globalThis.expect(match[0]).toEqual([[
         "buyer",
         "Customers"

package/tests/plugin/ManifestVisibilityTest.res.mjs

@@ -177,7 +177,7 @@ globalThis.describe("ReadModel visibility filter", () => {
 });
 
 globalThis.describe("Plugin_Structure.make — visibility tagging", () => {
-  let structure = Plugin_Structure$ReventlessCore.make("VisibilityPlugin", undefined, readModels, undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+  let structure = Plugin_Structure$ReventlessCore.make("VisibilityPlugin", undefined, readModels, undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
   globalThis.test("readModels carries both Public and Internal entries", () => {
     globalThis.expect(structure.readModels.length).toBe(2);
   });

package/tests/plugin/PluginStructureAccessTest.res.mjs

@@ -108,7 +108,7 @@ let PsOrdersViewSlice = {
 let structure = Plugin_Structure$ReventlessCore.make("AccessPlugin", undefined, undefined, [
   PsGatedViewSlice,
   PsOrdersViewSlice
-], [PsGatedCommandsSlice], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+], [PsGatedCommandsSlice], undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
 
 function commandNamed(name) {
   return Stdlib_Option.flatMap(structure.stateChangeSlices.flatMap(w => w.commands).find(c => c.name === name), c => c.requiredAccess);

package/tests/plugin/PluginStructureTest.res.mjs

@@ -551,7 +551,7 @@ let structure = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, un
 ], [
   PsPlaceOrderSlice,
   PsShipOrderSlice
-], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+], undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
 
 globalThis.describe("lifecycle topology", () => {
   let ordersStates = Object.fromEntries([[
@@ -615,7 +615,7 @@ globalThis.describe("lifecycle topology", () => {
 });
 
 globalThis.describe("commandTransition — the edge as a switch", () => {
-  let structure = Plugin_Structure$ReventlessCore.make("TransitionSwitchPlugin", undefined, undefined, [], [PsTransitionSwitchSlice], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+  let structure = Plugin_Structure$ReventlessCore.make("TransitionSwitchPlugin", undefined, undefined, [], [PsTransitionSwitchSlice], undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
   let slice = structure.stateChangeSlices[0];
   let byName = name => slice.commands.find(c => c.name === name);
   globalThis.test("the switch fills allowedStates and targetState", () => {
@@ -659,7 +659,7 @@ globalThis.describe("the harvested model against the switch", () => {
       targets: targets
     };
   };
-  let build = lifecycleModel => Plugin_Structure$ReventlessCore.make("HarvestPlugin", undefined, undefined, [], [PsTransitionSwitchSlice], undefined, undefined, undefined, undefined, undefined, undefined, lifecycleModel);
+  let build = lifecycleModel => Plugin_Structure$ReventlessCore.make("HarvestPlugin", undefined, undefined, [], [PsTransitionSwitchSlice], undefined, undefined, undefined, undefined, undefined, undefined, lifecycleModel, undefined);
   let edgeOf = (model, name) => {
     let slice = build(model).stateChangeSlices[0];
     return Stdlib_Option.map(slice.commands.find(c => c.name === name), c => [
@@ -726,7 +726,7 @@ globalThis.describe("the harvested model against the switch", () => {
         command: "PlaceOrder",
         allowedStates: ["Draft"],
         targets: ["Placed"]
-      }]);
+      }], undefined);
     let slice = structure.stateChangeSlices[0];
     globalThis.expect(Stdlib_Option.map(slice.commands.find(c => c.name === "PlaceOrder"), c => [
       c.allowedStates,
@@ -754,7 +754,7 @@ globalThis.describe("traitDeclarations — a graft leaves a trace", () => {
   let structure = Plugin_Structure$ReventlessCore.make("TraitPlugin", undefined, undefined, [], [
     PsTransitionSwitchSlice,
     PsShipOrderSlice
-  ], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+  ], undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
   globalThis.test("a declaring component's trait reaches the structure", () => {
     globalThis.expect(Stdlib_Option.getOr(structure.traitDeclarations, []).map(d => [
       d.trait,
@@ -783,7 +783,7 @@ globalThis.describe("traitDeclarations — a graft leaves a trace", () => {
 globalThis.describe("declared-edge cross-check", () => {
   let buildBad = () => {
     try {
-      Plugin_Structure$ReventlessCore.make("TransitionPlugin", undefined, undefined, [PsShipmentsViewSlice], [PsDispatchShipmentSlice], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+      Plugin_Structure$ReventlessCore.make("TransitionPlugin", undefined, undefined, [PsShipmentsViewSlice], [PsDispatchShipmentSlice], undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
       return;
     } catch (raw_e) {
       let e = Primitive_exceptions.internalToException(raw_e);
@@ -1230,7 +1230,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
     });
   });
   globalThis.describe("singleQueryField — the singular the schema actually serves", () => {
-    let withIrregularPlural = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, [PsCategoriesViewSlice], [], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+    let withIrregularPlural = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, [PsCategoriesViewSlice], [], undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
     let categories = withIrregularPlural.stateViewSlices[0];
     globalThis.test("an `-ies` plural publishes the `y` singular, not a truncation", () => {
       globalThis.expect([
@@ -1251,7 +1251,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       q.idField,
       q.idFieldSource
     ];
-    let withCategories = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, [PsCategoriesViewSlice], [], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+    let withCategories = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, [PsCategoriesViewSlice], [], undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
     globalThis.test("a name-matching `*Id` field is a guess the consumer can also make", () => {
       globalThis.expect(keyOf(structure.stateViewSlices[0])).toEqual([
         "orderId",
@@ -1641,7 +1641,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
         "Orders",
         "Order"
       ]
-    ]), undefined);
+    ]), undefined, undefined);
     globalThis.test("a chaptered state-change slice carries Some(chapter)", () => {
       let placeOrder = chaptered.stateChangeSlices[0];
       globalThis.expect(placeOrder.chapter).toEqual("Order");
@@ -1660,7 +1660,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
     });
   });
   globalThis.describe("requiredStores", () => {
-    let withStores = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [PsAttachInvoiceSlice], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+    let withStores = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [PsAttachInvoiceSlice], undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
     let stores = Stdlib_Option.getOr(withStores.requiredStores, []);
     globalThis.test("an unqualified store resolves against the declaring plugin", () => {
       globalThis.expect(stores.includes("TestPlugin.documents")).toBe(true);
@@ -1816,7 +1816,7 @@ 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, undefined);
+    let withUploads = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [PsUploadImagesSlice], undefined, undefined, 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);
@@ -1877,7 +1877,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
   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, undefined);
+        Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [PsTypoStoreSlice], undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
         return "";
       } catch (raw_e) {
         let e = Primitive_exceptions.internalToException(raw_e);
@@ -1906,7 +1906,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       ]);
     });
     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, undefined).requiredStoreDeclarations, []))).toEqual([]);
+      globalThis.expect(Capability_Inference$ReventlessCore.collisions(Stdlib_Option.getOr(Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [PsUploadImagesSlice], undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined).requiredStoreDeclarations, []))).toEqual([]);
     });
     globalThis.test("one edit, transpositions included; two edits not", () => {
       globalThis.expect([
@@ -1943,7 +1943,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
     });
   });
   globalThis.describe("optional carriers keep their declarations", () => {
-    let withOptional = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [PsUploadAvatarSlice], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+    let withOptional = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [PsUploadAvatarSlice], undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
     globalThis.test("an optional storage ref still requires its store", () => {
       globalThis.expect(withOptional.requiredStores).toEqual(["TestPlugin.avatars"]);
     });
@@ -1994,7 +1994,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       globalThis.expect(eventWarnings).toEqual(expected);
     });
     globalThis.test("a heuristic-only match reaches no manifest entry", () => {
-      let withHeuristicField = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [PsChangePhotoSlice], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+      let withHeuristicField = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [PsChangePhotoSlice], undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
       globalThis.expect(withHeuristicField.requiredStores).toEqual(["TestPlugin.productPhotos"]);
       let manifest = CapabilityManifest$Reventless.fromStructure(withHeuristicField);
       globalThis.expect(manifest.capabilities.every(entry => entry.declaredBy.every(site => Primitive_object.notequal(site.field, "photoUrl")))).toBe(true);
@@ -2021,7 +2021,7 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
     });
   });
   globalThis.describe("plural references reach the manifest", () => {
-    let withPluralRefs = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [PsReserveStockSlice], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+    let withPluralRefs = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [PsReserveStockSlice], undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
     let slice = withPluralRefs.stateChangeSlices[0];
     let referencesOf = refs => refs.map(param => [
       param.fieldName,
@@ -2261,7 +2261,7 @@ globalThis.describe("duplicate DCB command names", () => {
       Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [
         PsShipOrderSlice,
         PsShipOrderSlice
-      ], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+      ], undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
       tmp = false;
     } catch (exn) {
       tmp = true;
@@ -2274,7 +2274,7 @@ globalThis.describe("duplicate DCB command names", () => {
       val = Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [
         PsShipOrderSlice,
         PsShipOrderSlice
-      ], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+      ], undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
     } catch (raw_e) {
       let e = Primitive_exceptions.internalToException(raw_e);
       if (e.RE_EXN_ID === "JsExn") {
@@ -2298,7 +2298,7 @@ globalThis.describe("duplicate DCB command names", () => {
       Plugin_Structure$ReventlessCore.make("TestPlugin", undefined, undefined, undefined, [
         PsPlaceOrderSlice,
         PsShipOrderSlice
-      ], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+      ], undefined, undefined, undefined, undefined, undefined, undefined, undefined, undefined);
       tmp = true;
     } catch (exn) {
       tmp = false;