@reventlessdev/reventless-core 3.0.0-alpha.251 → 3.0.0-alpha.253

package/src/plugin/lifecycle/PluginSpec.res

@@ -2,8 +2,9 @@
 
 open Reventless.Plugin
 
-// Alias, not `open`: the PPX strips `@transition` before the typechecker, so the
-// state constructors never reach it and an `open` would warn as unused.
+// Alias, not `open`: the lifecycle states are named qualified in
+// `commandTransition` below, and an `open` would pull the whole view's namespace
+// in for four constructors.
 module Plugins = PluginsReadModelSpec
 
 // The Plugin aggregate is keyed by plugin **name** (not name@version). One
@@ -15,10 +16,7 @@ module Plugins = PluginsReadModelSpec
 // more same-shaped ones, so the `pluginDefinition` pair must lead (DZakh/sury#392).
 @schema
 type command =
-  // The handshake brings the version's row into being, so it runs from no state
-  // — `decide` accepts it against an unknown version and against every status
-  // but `Connected`, where it is a definition refresh rather than a move.
-  | @noApi @transition(() => Plugins.Connected) Connect(pluginDefinition)
+  | @noApi Connect(pluginDefinition)
   // Records a protocol-version incompatibility without changing connection state.
   | @noApi ReportIncompatibility(pluginDefinition)
   | @noApi Heartbeat(version)
@@ -26,20 +24,20 @@ type command =
   // re-run for an already-connected version so its definition is refreshed on the
   // row — unlike Heartbeat, which no-ops a connected keep-alive.
   | @noApi Redetect(version)
-  // A heartbeat timing out is the only way a row reaches `Disconnected`, and
-  // `decide` moves the row for exactly one status — anything else is a stray
-  // disconnect it tolerates without emitting.
-  | @noApi @transition(([Plugins.Connected]) => Plugins.Disconnected) Disconnect(version)
+  | @noApi Disconnect(version)
   // Admin lifecycle commands — API-exposed (auto-derived admin mutations,
   // Cognito group-gated). `version` selects which known version to act on.
-  // The `@transition` edges must agree with `decide` below; `Platform_Admin_Structure`
-  // reads them off this schema rather than restating them.
-  | @transition(([Plugins.Inactive, Plugins.Retired]) => Plugins.Connected) Activate(version)
-  | @transition(([Plugins.Connected, Plugins.Disconnected]) => Plugins.Inactive) Deactivate(version)
+  //
+  // Inline records, unlike the `@noApi` commands above, and the difference is the
+  // API. A positional payload publishes its argument as `_0`, which names nothing:
+  // a caller cannot match it against a field it holds, and a coercion failure says
+  // `Variable '_0'` rather than what was missing. These three are the ones a person
+  // calls, so their argument carries its own name.
+  | Activate({version: version})
+  | Deactivate({version: version})
   // Manual admin retirement of a specific version (archive). Distinct from the
   // automatic `Superseded` transition (which is decided, not commanded).
-  | @transition(([Plugins.Connected, Plugins.Disconnected, Plugins.Inactive]) => Plugins.Retired)
-  Retire(version)
+  | Retire({version: version})
 
 // Carries both the superseded and the superseding version's full definition —
 // a deterministic trigger for version-to-version schema/data migrations
@@ -83,3 +81,28 @@ type error =
   | AlreadyConnected
   | IsDisconnected
   | IsInactive
+
+// The edges must agree with `decide`; `Platform_Admin_Structure` reads them off
+// the assembled structure rather than restating them.
+type lifecycleState = Plugins.status
+
+let commandTransition = (command: command): Reventless.Transition.t<lifecycleState> => {
+  open Reventless.Transition
+  switch command {
+  // The handshake brings the version's row into being, so it runs from no state
+  // — `decide` accepts it against an unknown version and against every status
+  // but `Connected`, where it is a definition refresh rather than a move.
+  | Connect(_) => Creates(Plugins.Connected)
+  // Neither records a move: an incompatibility is noted beside the row, and a
+  // heartbeat or a re-detect refreshes one that is already where it belongs.
+  | ReportIncompatibility(_) | Heartbeat(_) | Redetect(_) => Unrestricted
+  // A heartbeat timing out is the only way a row reaches `Disconnected`, and
+  // `decide` moves the row for exactly one status — anything else is a stray
+  // disconnect it tolerates without emitting.
+  | Disconnect(_) => Moves([Plugins.Connected], Plugins.Disconnected)
+  | Activate(_) => Moves([Plugins.Inactive, Plugins.Retired], Plugins.Connected)
+  | Deactivate(_) => Moves([Plugins.Connected, Plugins.Disconnected], Plugins.Inactive)
+  | Retire(_) =>
+    Moves([Plugins.Connected, Plugins.Disconnected, Plugins.Inactive], Plugins.Retired)
+  }
+}

package/src/plugin/lifecycle/PluginSpec.res.mjs

@@ -27,15 +27,15 @@ let commandSchema = Sury.union([
   })),
   Sury.$schema(s => ({
     TAG: "Activate",
-    _0: s.m(Plugin$Reventless.versionSchema)
+    version: s.m(Plugin$Reventless.versionSchema)
   })),
   Sury.$schema(s => ({
     TAG: "Deactivate",
-    _0: s.m(Plugin$Reventless.versionSchema)
+    version: s.m(Plugin$Reventless.versionSchema)
   })),
   Sury.$schema(s => ({
     TAG: "Retire",
-    _0: s.m(Plugin$Reventless.versionSchema)
+    version: s.m(Plugin$Reventless.versionSchema)
   }))
 ]);
 
@@ -92,6 +92,52 @@ let errorSchema = Sury.union([
   Sury.literal("IsInactive")
 ]);
 
+function commandTransition(command) {
+  switch (command.TAG) {
+    case "Connect" :
+      return {
+        TAG: "Creates",
+        _0: "Connected"
+      };
+    case "Disconnect" :
+      return {
+        TAG: "Moves",
+        _0: ["Connected"],
+        _1: "Disconnected"
+      };
+    case "Activate" :
+      return {
+        TAG: "Moves",
+        _0: [
+          "Inactive",
+          "Retired"
+        ],
+        _1: "Connected"
+      };
+    case "Deactivate" :
+      return {
+        TAG: "Moves",
+        _0: [
+          "Connected",
+          "Disconnected"
+        ],
+        _1: "Inactive"
+      };
+    case "Retire" :
+      return {
+        TAG: "Moves",
+        _0: [
+          "Connected",
+          "Disconnected",
+          "Inactive"
+        ],
+        _1: "Retired"
+      };
+    default:
+      return "Unrestricted";
+  }
+}
+
 let commandSchema$1 = Api$ReventlessInfra.markNoApiVariants(commandSchema, [
   "Connect",
   "ReportIncompatibility",
@@ -100,62 +146,12 @@ let commandSchema$1 = Api$ReventlessInfra.markNoApiVariants(commandSchema, [
   "Disconnect"
 ]);
 
-let commandSchema$2 = Api$ReventlessInfra.markAllowedStates(commandSchema$1, [
-  [
-    "Disconnect",
-    ["Connected"]
-  ],
-  [
-    "Activate",
-    [
-      "Inactive",
-      "Retired"
-    ]
-  ],
-  [
-    "Deactivate",
-    [
-      "Connected",
-      "Disconnected"
-    ]
-  ],
-  [
-    "Retire",
-    [
-      "Connected",
-      "Disconnected",
-      "Inactive"
-    ]
-  ]
-]);
-
-let commandSchema$3 = Api$ReventlessInfra.markTargetState(commandSchema$2, [
-  [
-    "Connect",
-    "Connected"
-  ],
-  [
-    "Disconnect",
-    "Disconnected"
-  ],
-  [
-    "Activate",
-    "Connected"
-  ],
-  [
-    "Deactivate",
-    "Inactive"
-  ],
-  [
-    "Retire",
-    "Retired"
-  ]
-]);
-
 function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+let traits = [];
+
 let name = "Plugin";
 
 let Id;
@@ -171,8 +167,10 @@ export {
   versionSupersededDataSchema,
   eventSchema,
   errorSchema,
-  commandSchema$3 as commandSchema,
+  commandTransition,
+  commandSchema$1 as commandSchema,
   moduleUrl,
   commandAuthorization,
+  traits,
 }
 /* commandSchema Not a pure module */

package/tests/admin/AdminApiSchemaDriftTest.res

@@ -165,6 +165,11 @@ let storeDecl: requiredStoreDeclaration = {
   annotation: Some("images"),
 }
 
+let capabilityDecl: requiredCapabilityDeclaration = {
+  capability: "Geocoding",
+  component: "GeocodeAddress",
+}
+
 let structure: pluginStructure = {
   readModels: [queryable],
   stateViewSlices: [],
@@ -177,6 +182,8 @@ let structure: pluginStructure = {
   extensionPoints: Some([extensionPoint]),
   requiredStores: Some(["catalog.images"]),
   requiredStoreDeclarations: Some([storeDecl]),
+  requiredCapabilities: Some([capabilityDecl]),
+  traitDeclarations: None,
 }
 
 let panel: panelManifestEntry = {
@@ -338,7 +345,16 @@ let guards: array<guard> = [
     wireOnly: ["pluginId", "internalQueryables"],
     // Producer-side and store fields belong to Platform_PluginStructures — the
     // deployed AutoUI has no use for either.
-    recordOnly: ["extensionPoints", "requiredStores", "requiredStoreDeclarations"],
+    recordOnly: [
+      "extensionPoints",
+      "requiredStores",
+      "requiredStoreDeclarations",
+      "requiredCapabilities",
+      // Structure-level provenance, like the three above: AutoUI renders
+      // components, and where one came from is the map's question rather than a
+      // generated page's. It reaches the wire on `Platform_PluginStructures`.
+      "traitDeclarations",
+    ],
   },
   {
     gqlType: "Platform_PublishedEventDef",
@@ -364,6 +380,16 @@ let guards: array<guard> = [
     wireOnly: [],
     recordOnly: [],
   },
+  {
+    gqlType: "Platform_RequiredCapabilityDeclaration",
+    sdlTypes: structuresSdl,
+    recordFields: schemaKeys(requiredCapabilityDeclarationSchema),
+    wireFields: jsonKeys(
+      Platform_PluginStructuresApi.encodeRequiredCapabilityDeclaration(capabilityDecl),
+    ),
+    wireOnly: [],
+    recordOnly: [],
+  },
   {
     gqlType: "Platform_PluginStructureEntry",
     sdlTypes: structuresSdl,

package/tests/admin/AdminApiSchemaDriftTest.res.mjs

@@ -279,6 +279,11 @@ let storeDecl = {
   annotation: "images"
 };
 
+let capabilityDecl = {
+  capability: "Geocoding",
+  component: "GeocodeAddress"
+};
+
 let structure_readModels = [queryable];
 
 let structure_stateViewSlices = [];
@@ -301,6 +306,8 @@ let structure_requiredStores = ["catalog.images"];
 
 let structure_requiredStoreDeclarations = [storeDecl];
 
+let structure_requiredCapabilities = [capabilityDecl];
+
 let structure = {
   readModels: structure_readModels,
   stateViewSlices: structure_stateViewSlices,
@@ -312,7 +319,9 @@ let structure = {
   extensions: structure_extensions,
   extensionPoints: structure_extensionPoints,
   requiredStores: structure_requiredStores,
-  requiredStoreDeclarations: structure_requiredStoreDeclarations
+  requiredStoreDeclarations: structure_requiredStoreDeclarations,
+  requiredCapabilities: structure_requiredCapabilities,
+  traitDeclarations: undefined
 };
 
 let panel_positions = ["platform-summary"];
@@ -461,7 +470,9 @@ let guards = [
     recordOnly: [
       "extensionPoints",
       "requiredStores",
-      "requiredStoreDeclarations"
+      "requiredStoreDeclarations",
+      "requiredCapabilities",
+      "traitDeclarations"
     ]
   },
   {
@@ -488,6 +499,14 @@ let guards = [
     wireOnly: [],
     recordOnly: []
   },
+  {
+    gqlType: "Platform_RequiredCapabilityDeclaration",
+    sdlTypes: Platform_PluginStructuresApi$ReventlessCore.sdlTypes,
+    recordFields: schemaKeys(Plugin$Reventless.requiredCapabilityDeclarationSchema),
+    wireFields: jsonKeys(Platform_PluginStructuresApi$ReventlessCore.encodeRequiredCapabilityDeclaration(capabilityDecl)),
+    wireOnly: [],
+    recordOnly: []
+  },
   {
     gqlType: "Platform_PluginStructureEntry",
     sdlTypes: Platform_PluginStructuresApi$ReventlessCore.sdlTypes,
@@ -584,6 +603,7 @@ export {
   extension,
   extensionPoint,
   storeDecl,
+  capabilityDecl,
   structure,
   panel,
   menu,

package/tests/admin/Platform_Admin_StructureTest.res

@@ -111,13 +111,18 @@ describe("the admin structure's declared transitions are checked", () => {
 
 // The drift that made deriving these defs worth doing rather than tidy. The
 // hand-written arg schema described only `id`, while the SDL generated off the
-// same `commandSchema` declares `Platform_Plugin_Activate(_0: String!, id: ID!)`.
+// same `commandSchema` declares `Platform_Plugin_Activate(id: ID!, version: String!)`.
 // AutoUI builds its mutation document from the published schema, so it sent a
 // document missing a required argument and every admin row action was rejected at
 // GraphQL validation, before the aggregate saw it.
 describe("the Plugin command defs carry every argument the SDL requires", () => {
-  testSync("the version argument is published", () =>
-    expect(activate().schema->String.includes(`"_0"`))->toEqual(true)
+  // Named, not positional. A caller can match `version` against a field it holds;
+  // `_0` is a name only the encoder ever chose.
+  testSync("the version argument is published, under its own name", () =>
+    expect((
+      activate().schema->String.includes(`"version"`),
+      activate().schema->String.includes(`"_0"`),
+    ))->toEqual((true, false))
   )
 
   testSync("and so is the aggregate id", () => {

package/tests/admin/Platform_Admin_StructureTest.res.mjs

@@ -101,8 +101,14 @@ globalThis.describe("the admin structure's declared transitions are checked", ()
 });
 
 globalThis.describe("the Plugin command defs carry every argument the SDL requires", () => {
-  globalThis.test("the version argument is published", () => {
-    globalThis.expect(commandNamed("Activate").schema.includes(`"_0"`)).toEqual(true);
+  globalThis.test("the version argument is published, under its own name", () => {
+    globalThis.expect([
+      commandNamed("Activate").schema.includes(`"version"`),
+      commandNamed("Activate").schema.includes(`"_0"`)
+    ]).toEqual([
+      true,
+      false
+    ]);
   });
   globalThis.test("and so is the aggregate id", () => {
     globalThis.expect(commandNamed("Activate").aggregateIdField).toEqual(undefined);

package/tests/admin/Platform_BakedManifestTest.res

@@ -85,6 +85,8 @@ let structure: pluginStructure = {
   extensionPoints: None,
   requiredStores: None,
   requiredStoreDeclarations: None,
+  requiredCapabilities: None,
+  traitDeclarations: None,
 }
 
 let structures = [("Ordering@1.0.0", structure)]

package/tests/admin/Platform_BakedManifestTest.res.mjs

@@ -100,7 +100,9 @@ let structure = {
   extensions: structure_extensions,
   extensionPoints: undefined,
   requiredStores: undefined,
-  requiredStoreDeclarations: undefined
+  requiredStoreDeclarations: undefined,
+  requiredCapabilities: undefined,
+  traitDeclarations: undefined
 };
 
 let structures = [[

package/tests/admin/Platform_ComponentDefinitionsApiTest.res

@@ -105,6 +105,8 @@ let structure: pluginStructure = {
   extensionPoints: None,
   requiredStores: None,
   requiredStoreDeclarations: None,
+  requiredCapabilities: None,
+  traitDeclarations: None,
 }
 
 let encoded = Platform_ComponentDefinitionsApi.encodePluginStructureEntry(
@@ -402,6 +404,8 @@ describe("allowedStates + lifecycleField populated", () => {
     extensionPoints: None,
     requiredStores: None,
     requiredStoreDeclarations: None,
+    requiredCapabilities: None,
+    traitDeclarations: None,
   }
 
   let json =

package/tests/admin/Platform_ComponentDefinitionsApiTest.res.mjs

@@ -155,7 +155,9 @@ let structure = {
   extensions: structure_extensions,
   extensionPoints: undefined,
   requiredStores: undefined,
-  requiredStoreDeclarations: undefined
+  requiredStoreDeclarations: undefined,
+  requiredCapabilities: undefined,
+  traitDeclarations: undefined
 };
 
 let encoded = Platform_ComponentDefinitionsApi$ReventlessCore.encodePluginStructureEntry("Catalog", undefined, structure);
@@ -264,7 +266,9 @@ globalThis.describe("translation-slice externalSystem round-trip", () => {
     extensions: externalStructure_extensions,
     extensionPoints: undefined,
     requiredStores: undefined,
-    requiredStoreDeclarations: undefined
+    requiredStoreDeclarations: undefined,
+    requiredCapabilities: undefined,
+    traitDeclarations: undefined
   };
   let externalJson = JSON.stringify(Platform_ComponentDefinitionsApi$ReventlessCore.encodePluginStructureEntry("Catalog", undefined, externalStructure));
   globalThis.test("surfaces Some outbound externalSystem as its inner string", () => {
@@ -356,7 +360,9 @@ globalThis.describe("visibility filtering (deployed AutoUI hides Internal)", ()
     extensions: mixed_extensions,
     extensionPoints: undefined,
     requiredStores: undefined,
-    requiredStoreDeclarations: undefined
+    requiredStoreDeclarations: undefined,
+    requiredCapabilities: undefined,
+    traitDeclarations: undefined
   };
   let mixedEntry = Platform_ComponentDefinitionsApi$ReventlessCore.encodePluginStructureEntry("Ordering", undefined, mixed);
   let namesAt = (entry, key) => Stdlib_Array.filterMap(Stdlib_Option.getOr(Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(entry), o => o[key]), Stdlib_JSON.Decode.array), []), c => Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(c), o => o["name"]), Stdlib_JSON.Decode.string));
@@ -385,7 +391,9 @@ globalThis.describe("visibility filtering (deployed AutoUI hides Internal)", ()
       extensions: structure_extensions,
       extensionPoints: undefined,
       requiredStores: undefined,
-      requiredStoreDeclarations: undefined
+      requiredStoreDeclarations: undefined,
+      requiredCapabilities: undefined,
+      traitDeclarations: undefined
     });
     globalThis.expect(Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(entry), o => o["internalQueryables"])).toEqual([]);
   });
@@ -477,7 +485,9 @@ globalThis.describe("allowedStates + lifecycleField populated", () => {
     extensions: structureWithStates_extensions,
     extensionPoints: undefined,
     requiredStores: undefined,
-    requiredStoreDeclarations: undefined
+    requiredStoreDeclarations: undefined,
+    requiredCapabilities: undefined,
+    traitDeclarations: undefined
   };
   let json = JSON.stringify(Platform_ComponentDefinitionsApi$ReventlessCore.encodePluginStructureEntry("Platform", undefined, structureWithStates));
   globalThis.test("encodes populated allowedStates as a JSON array", () => {
@@ -532,7 +542,9 @@ globalThis.describe("singleQueryField reaches the caller", () => {
       extensions: structure_extensions,
       extensionPoints: undefined,
       requiredStores: undefined,
-      requiredStoreDeclarations: undefined
+      requiredStoreDeclarations: undefined,
+      requiredCapabilities: undefined,
+      traitDeclarations: undefined
     }));
     globalThis.expect(unstated.includes("\"singleQueryField\":null")).toEqual(true);
   });
@@ -580,7 +592,9 @@ globalThis.describe("idField / idFieldSource reach the caller", () => {
       extensions: structure_extensions,
       extensionPoints: undefined,
       requiredStores: undefined,
-      requiredStoreDeclarations: undefined
+      requiredStoreDeclarations: undefined,
+      requiredCapabilities: undefined,
+      traitDeclarations: undefined
     }));
     globalThis.expect(unresolved.includes("\"idField\":null")).toEqual(true);
     globalThis.expect(unresolved.includes("\"idFieldSource\":null")).toEqual(true);

package/tests/admin/Platform_PluginStructuresApiTest.res

@@ -67,6 +67,8 @@ let structure: pluginStructure = {
   requiredStoreDeclarations: Some([
     {store: "Catalog.images", component: "Product", field: "image", annotation: Some("images")},
   ]),
+  requiredCapabilities: Some([{capability: "Geocoding", component: "GeocodeAddress"}]),
+  traitDeclarations: None,
 }
 
 let encoded = Platform_PluginStructuresApi.encodePluginStructureEntry(
@@ -98,10 +100,12 @@ describe("Platform_PluginStructures entry", () => {
       "outboundTranslationSlices",
       "pluginId",
       "readModels",
+      "requiredCapabilities",
       "requiredStoreDeclarations",
       "requiredStores",
       "stateChangeSlices",
       "stateViewSlices",
+      "traitDeclarations",
     ])
   })
 
@@ -142,6 +146,16 @@ describe("Platform_PluginStructures entry", () => {
   testSync("encodes required stores with their provenance", () =>
     expect(json->String.includes("\"requiredStores\":[\"Catalog.images\"]"))->toEqual(true)
   )
+
+  // No `field`: a capability a slice declares is not a field's need, which is why
+  // it travels beside `requiredStores` rather than inside it.
+  testSync("encodes required capabilities with their declaring component", () =>
+    expect(
+      json->String.includes(
+        "\"requiredCapabilities\":[{\"capability\":\"Geocoding\",\"component\":\"GeocodeAddress\"}]",
+      ),
+    )->toEqual(true)
+  )
 })
 
 // A structure persisted before these fields existed decodes as None, and null is the
@@ -153,6 +167,8 @@ describe("absent optional collections", () => {
     extensionPoints: None,
     requiredStores: None,
     requiredStoreDeclarations: None,
+    requiredCapabilities: None,
+    traitDeclarations: None,
   }
   let bareJson =
     Platform_PluginStructuresApi.encodePluginStructureEntry(

package/tests/admin/Platform_PluginStructuresApiTest.res.mjs

@@ -127,6 +127,11 @@ let structure_requiredStoreDeclarations = [{
     annotation: "images"
   }];
 
+let structure_requiredCapabilities = [{
+    capability: "Geocoding",
+    component: "GeocodeAddress"
+  }];
+
 let structure = {
   readModels: structure_readModels,
   stateViewSlices: structure_stateViewSlices,
@@ -138,7 +143,9 @@ let structure = {
   extensions: structure_extensions,
   extensionPoints: structure_extensionPoints,
   requiredStores: structure_requiredStores,
-  requiredStoreDeclarations: structure_requiredStoreDeclarations
+  requiredStoreDeclarations: structure_requiredStoreDeclarations,
+  requiredCapabilities: structure_requiredCapabilities,
+  traitDeclarations: undefined
 };
 
 let encoded = Platform_PluginStructuresApi$ReventlessCore.encodePluginStructureEntry("Catalog", structure);
@@ -162,10 +169,12 @@ globalThis.describe("Platform_PluginStructures entry", () => {
       "outboundTranslationSlices",
       "pluginId",
       "readModels",
+      "requiredCapabilities",
       "requiredStoreDeclarations",
       "requiredStores",
       "stateChangeSlices",
-      "stateViewSlices"
+      "stateViewSlices",
+      "traitDeclarations"
     ]);
   });
   globalThis.test("keeps Internal read models", () => {
@@ -192,6 +201,9 @@ globalThis.describe("Platform_PluginStructures entry", () => {
   globalThis.test("encodes required stores with their provenance", () => {
     globalThis.expect(json.includes("\"requiredStores\":[\"Catalog.images\"]")).toEqual(true);
   });
+  globalThis.test("encodes required capabilities with their declaring component", () => {
+    globalThis.expect(json.includes("\"requiredCapabilities\":[{\"capability\":\"Geocoding\",\"component\":\"GeocodeAddress\"}]")).toEqual(true);
+  });
 });
 
 globalThis.describe("absent optional collections", () => {
@@ -214,7 +226,9 @@ globalThis.describe("absent optional collections", () => {
     extensions: bare_extensions,
     extensionPoints: undefined,
     requiredStores: undefined,
-    requiredStoreDeclarations: undefined
+    requiredStoreDeclarations: undefined,
+    requiredCapabilities: undefined,
+    traitDeclarations: undefined
   };
   let bareJson = JSON.stringify(Platform_PluginStructuresApi$ReventlessCore.encodePluginStructureEntry("Catalog", bare));
   globalThis.test("encodes absent extensionPoints as null", () => {

package/tests/aggregate/AggregateCacheTest.res.mjs

@@ -37,6 +37,12 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let AggSpec = {
   Id: undefined,
   name: name,
@@ -44,7 +50,9 @@ let AggSpec = {
   eventSchema: eventSchema,
   errorSchema: errorSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
 };
 
 let initialState = {
@@ -237,7 +245,9 @@ let TestHandler = Aggregate_Callback$ReventlessCore.Make({
   errorSchema: errorSchema,
   commandSchema: commandSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
 })({
   initialState: initialState,
   evolve: evolve,
@@ -258,7 +268,9 @@ let TestHandler = Aggregate_Callback$ReventlessCore.Make({
     errorSchema: errorSchema,
     commandSchema: commandSchema,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization
+    commandAuthorization: commandAuthorization,
+    commandTransition: commandTransition,
+    traits: traits
   },
   EventLog: {
     Spec: {