@reventlessdev/reventless-core 3.0.0-alpha.250 → 3.0.0-alpha.252

package/tests/admin/Platform_ComponentDefinitionsApiTest.res

@@ -94,11 +94,19 @@ let structure: pluginStructure = {
       delegateNames: ["onAdded"],
       eventTypes: ["ProductAdded"],
       commandTypes: [],
+      handledEvents: Some([
+        {name: "Catalog.Products.ProductAdded", toCommandTypes: ["Catalog.Watch"]},
+      ]),
+      issuedCommands: Some([
+        {name: "Catalog.Products.Acknowledge", fromEventTypes: ["Catalog.Watched"]},
+      ]),
     },
   ],
   extensionPoints: None,
   requiredStores: None,
   requiredStoreDeclarations: None,
+  requiredCapabilities: None,
+  traitDeclarations: None,
 }
 
 let encoded = Platform_ComponentDefinitionsApi.encodePluginStructureEntry(
@@ -396,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

@@ -133,7 +133,15 @@ let structure_extensions = [{
     name: "Catalog.Products.Watcher",
     delegateNames: ["onAdded"],
     eventTypes: ["ProductAdded"],
-    commandTypes: []
+    commandTypes: [],
+    handledEvents: [{
+        name: "Catalog.Products.ProductAdded",
+        toCommandTypes: ["Catalog.Watch"]
+      }],
+    issuedCommands: [{
+        name: "Catalog.Products.Acknowledge",
+        fromEventTypes: ["Catalog.Watched"]
+      }]
   }];
 
 let structure = {
@@ -147,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);
@@ -256,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", () => {
@@ -348,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));
@@ -377,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([]);
   });
@@ -469,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", () => {
@@ -524,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);
   });
@@ -572,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

@@ -52,12 +52,23 @@ let structure: pluginStructure = {
       delegateNames: ["onAdded"],
       sourceEventTypes: ["Catalog.ProductAdded"],
       commandTypes: None,
+      publishedEvents: Some([
+        {
+          name: "Catalog.Products.ProductBecameAvailable",
+          fromEventTypes: ["Catalog.ProductAdded"],
+        },
+      ]),
+      acceptedCommands: Some([
+        {name: "Catalog.Products.Reserve", toCommandTypes: ["Catalog.ReserveStock"]},
+      ]),
     },
   ]),
   requiredStores: Some(["Catalog.images"]),
   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(
@@ -89,10 +100,12 @@ describe("Platform_PluginStructures entry", () => {
       "outboundTranslationSlices",
       "pluginId",
       "readModels",
+      "requiredCapabilities",
       "requiredStoreDeclarations",
       "requiredStores",
       "stateChangeSlices",
       "stateViewSlices",
+      "traitDeclarations",
     ])
   })
 
@@ -116,7 +129,9 @@ describe("Platform_PluginStructures entry", () => {
   testSync("encodes extension points with their source event types", () =>
     expect(
       json->String.includes(
-        "\"extensionPoints\":[{\"name\":\"Catalog.Products\",\"delegateNames\":[\"onAdded\"],\"sourceEventTypes\":[\"Catalog.ProductAdded\"],\"commandTypes\":null}]",
+        "\"extensionPoints\":[{\"name\":\"Catalog.Products\",\"delegateNames\":[\"onAdded\"],\"sourceEventTypes\":[\"Catalog.ProductAdded\"],\"commandTypes\":null," ++
+          "\"publishedEvents\":[{\"name\":\"Catalog.Products.ProductBecameAvailable\",\"fromEventTypes\":[\"Catalog.ProductAdded\"]}]," ++
+          "\"acceptedCommands\":[{\"name\":\"Catalog.Products.Reserve\",\"toCommandTypes\":[\"Catalog.ReserveStock\"]}]}]",
       ),
     )->toEqual(true)
   )
@@ -131,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
@@ -142,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

@@ -107,7 +107,15 @@ let structure_extensionPoints = [{
     name: "Catalog.Products",
     delegateNames: ["onAdded"],
     sourceEventTypes: ["Catalog.ProductAdded"],
-    commandTypes: undefined
+    commandTypes: undefined,
+    publishedEvents: [{
+        name: "Catalog.Products.ProductBecameAvailable",
+        fromEventTypes: ["Catalog.ProductAdded"]
+      }],
+    acceptedCommands: [{
+        name: "Catalog.Products.Reserve",
+        toCommandTypes: ["Catalog.ReserveStock"]
+      }]
   }];
 
 let structure_requiredStores = ["Catalog.images"];
@@ -119,6 +127,11 @@ let structure_requiredStoreDeclarations = [{
     annotation: "images"
   }];
 
+let structure_requiredCapabilities = [{
+    capability: "Geocoding",
+    component: "GeocodeAddress"
+  }];
+
 let structure = {
   readModels: structure_readModels,
   stateViewSlices: structure_stateViewSlices,
@@ -130,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);
@@ -154,10 +169,12 @@ globalThis.describe("Platform_PluginStructures entry", () => {
       "outboundTranslationSlices",
       "pluginId",
       "readModels",
+      "requiredCapabilities",
       "requiredStoreDeclarations",
       "requiredStores",
       "stateChangeSlices",
-      "stateViewSlices"
+      "stateViewSlices",
+      "traitDeclarations"
     ]);
   });
   globalThis.test("keeps Internal read models", () => {
@@ -176,7 +193,7 @@ globalThis.describe("Platform_PluginStructures entry", () => {
     globalThis.expect(json.includes("\"chapter\":\"Inventory\"")).toEqual(true);
   });
   globalThis.test("encodes extension points with their source event types", () => {
-    globalThis.expect(json.includes("\"extensionPoints\":[{\"name\":\"Catalog.Products\",\"delegateNames\":[\"onAdded\"],\"sourceEventTypes\":[\"Catalog.ProductAdded\"],\"commandTypes\":null}]")).toEqual(true);
+    globalThis.expect(json.includes("\"extensionPoints\":[{\"name\":\"Catalog.Products\",\"delegateNames\":[\"onAdded\"],\"sourceEventTypes\":[\"Catalog.ProductAdded\"],\"commandTypes\":null,\"publishedEvents\":[{\"name\":\"Catalog.Products.ProductBecameAvailable\",\"fromEventTypes\":[\"Catalog.ProductAdded\"]}],\"acceptedCommands\":[{\"name\":\"Catalog.Products.Reserve\",\"toCommandTypes\":[\"Catalog.ReserveStock\"]}]}]")).toEqual(true);
   });
   globalThis.test("encodes the singular query field beside the list one", () => {
     globalThis.expect(json.includes("\"singleQueryField\":\"Catalog_Product\"")).toEqual(true);
@@ -184,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", () => {
@@ -206,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: {

package/tests/aggregate/AggregateConflictTest.res.mjs

@@ -26,6 +26,12 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let AggSpec = {
   Id: undefined,
   name: name,
@@ -33,7 +39,9 @@ let AggSpec = {
   eventSchema: eventSchema,
   errorSchema: errorSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
 };
 
 let initialState = {
@@ -194,7 +202,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,
@@ -215,7 +225,9 @@ let TestHandler = Aggregate_Callback$ReventlessCore.Make({
     errorSchema: errorSchema,
     commandSchema: commandSchema,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization
+    commandAuthorization: commandAuthorization,
+    commandTransition: commandTransition,
+    traits: traits
   },
   EventLog: {
     Spec: {

package/tests/aggregate/AggregateFixtures.res.mjs

@@ -40,6 +40,12 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let AggSpec = {
   Id: undefined,
   name: name,
@@ -47,7 +53,9 @@ let AggSpec = {
   eventSchema: eventSchema,
   errorSchema: errorSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
 };
 
 let stateSchema = Sury.union([
@@ -229,7 +237,9 @@ let TestHandler = Aggregate_Callback$ReventlessCore.Make({
   errorSchema: errorSchema,
   commandSchema: commandSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
 })({
   initialState: "NotCreated",
   evolve: evolve,
@@ -250,7 +260,9 @@ let TestHandler = Aggregate_Callback$ReventlessCore.Make({
     errorSchema: errorSchema,
     commandSchema: commandSchema,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization
+    commandAuthorization: commandAuthorization,
+    commandTransition: commandTransition,
+    traits: traits
   },
   EventLog: {
     Spec: {

package/tests/aggregate/AggregateSnapshotTest.res.mjs

@@ -32,6 +32,12 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let AggSpec = {
   Id: undefined,
   name: name,
@@ -39,7 +45,9 @@ let AggSpec = {
   eventSchema: eventSchema,
   errorSchema: errorSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
 };
 
 let stateSchema = Sury.$schema(s => ({
@@ -284,7 +292,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,
@@ -305,7 +315,9 @@ let TestHandler = Aggregate_Callback$ReventlessCore.Make({
     errorSchema: errorSchema,
     commandSchema: commandSchema,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization
+    commandAuthorization: commandAuthorization,
+    commandTransition: commandTransition,
+    traits: traits
   },
   EventLog: {
     Spec: {
@@ -426,7 +438,9 @@ let PlainHandler = Aggregate_Callback$ReventlessCore.Make({
   errorSchema: errorSchema,
   commandSchema: commandSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
 })({
   initialState: initialState$1,
   evolve: evolve$1,
@@ -447,7 +461,9 @@ let PlainHandler = Aggregate_Callback$ReventlessCore.Make({
     errorSchema: errorSchema,
     commandSchema: commandSchema,
     moduleUrl: moduleUrl,
-    commandAuthorization: commandAuthorization
+    commandAuthorization: commandAuthorization,
+    commandTransition: commandTransition,
+    traits: traits
   },
   EventLog: {
     Spec: {

package/tests/api/ApiNoApiTest.res

@@ -1,6 +1,52 @@
 open JestGlobals
 open ApiNoApiHelpers
 
+// The exclusion has to survive a variant spread. Splicing copies a union's
+// members, not its metadata, so an exclusion recorded only on the union vanishes
+// on the way into the host — and the host publishes as a mutation and a
+// subscription a command whose author marked it internal. No error, no warning.
+//
+// Built the way the PPX builds it (`markNoApiVariants` on a freshly made union),
+// then spliced the way the compiler splices it (concatenating `anyOf`), so this
+// exercises the real path rather than a hand-stamped stand-in.
+let member = name =>
+  S.object(o => {
+    let _ = o.field("TAG", S.literal(name))
+  })->S.castToUnknown
+
+let sourceUnion =
+  S.union([member("Public"), member("Internal")])->ReventlessInfra.Api.markNoApiVariants([
+    "Internal",
+  ])
+
+let spliced = switch sourceUnion {
+| AnyOf({anyOf}) => S.union(Array.concat([member("HostOwn")], anyOf))
+| _ => sourceUnion
+}
+
+describe("a spread carries its exclusions", () => {
+  testSync("the source union still reports its own exclusion", () =>
+    expect(getExcludedVariants(sourceUnion)->Option.map(Set.toArray))->toEqual(Some(["Internal"]))
+  )
+
+  testSync("a host that splices the members inherits the exclusion", () =>
+    expect(getExcludedVariants(spliced)->Option.map(Set.toArray))->toEqual(Some(["Internal"]))
+  )
+
+  // The failure this closes, stated as the thing it must not do: the spliced
+  // internal variant must not appear among the host's callable fields.
+  testSync("the spliced internal variant is filtered out of a host's fields", () =>
+    expect(filterNoApiVariants(["HostOwn", "Public", "Internal"], spliced))->toEqual([
+      "HostOwn",
+      "Public",
+    ])
+  )
+
+  testSync("nothing else is filtered", () =>
+    expect(filterNoApiVariants(["HostOwn", "Public"], spliced))->toEqual(["HostOwn", "Public"])
+  )
+})
+
 describe("ApiNoApiHelpers:", () => {
   testSync("isNoApi returns false for schema without noApi metadata", () => {
     let schema = S.string->S.castToUnknown

package/tests/api/ApiNoApiTest.res.mjs

@@ -5,6 +5,49 @@ import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Api$ReventlessInfra from "@reventlessdev/reventless-infra/src/components/Api.res.mjs";
 import * as ApiNoApiHelpers$ReventlessCore from "../../src/components/Api/ApiNoApiHelpers.res.mjs";
 
+function member(name) {
+  return Sury.object(o => {
+    o.f("TAG", Sury.literal(name));
+  });
+}
+
+let sourceUnion = Api$ReventlessInfra.markNoApiVariants(Sury.union([
+  member("Public"),
+  member("Internal")
+]), ["Internal"]);
+
+let spliced;
+
+spliced = sourceUnion.type === "anyOf" ? Sury.union([member("HostOwn")].concat(sourceUnion.anyOf)) : sourceUnion;
+
+globalThis.describe("a spread carries its exclusions", () => {
+  globalThis.test("the source union still reports its own exclusion", () => {
+    globalThis.expect(Stdlib_Option.map(ApiNoApiHelpers$ReventlessCore.getExcludedVariants(sourceUnion), prim => Array.from(prim))).toEqual(["Internal"]);
+  });
+  globalThis.test("a host that splices the members inherits the exclusion", () => {
+    globalThis.expect(Stdlib_Option.map(ApiNoApiHelpers$ReventlessCore.getExcludedVariants(spliced), prim => Array.from(prim))).toEqual(["Internal"]);
+  });
+  globalThis.test("the spliced internal variant is filtered out of a host's fields", () => {
+    globalThis.expect(ApiNoApiHelpers$ReventlessCore.filterNoApiVariants([
+      "HostOwn",
+      "Public",
+      "Internal"
+    ], spliced)).toEqual([
+      "HostOwn",
+      "Public"
+    ]);
+  });
+  globalThis.test("nothing else is filtered", () => {
+    globalThis.expect(ApiNoApiHelpers$ReventlessCore.filterNoApiVariants([
+      "HostOwn",
+      "Public"
+    ], spliced)).toEqual([
+      "HostOwn",
+      "Public"
+    ]);
+  });
+});
+
 globalThis.describe("ApiNoApiHelpers:", () => {
   globalThis.test("isNoApi returns false for schema without noApi metadata", () => {
     let schema = Sury.string;
@@ -95,4 +138,9 @@ globalThis.describe("ApiNoApiHelpers:", () => {
   });
 });
 
-/*  Not a pure module */
+export {
+  member,
+  sourceUnion,
+  spliced,
+}
+/* sourceUnion Not a pure module */

package/tests/api/GraphQL_FragmentGeneratorTest.res.mjs

@@ -24,9 +24,17 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let OrderSliceCmd = {
   commandSchema: commandSchema,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
 };
 
 function mutationFor(fragment, needle) {
@@ -196,9 +204,17 @@ function commandAuthorization$1(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$1(param) {
+  return "Unrestricted";
+}
+
+let traits$1 = [];
+
 let AddProductCmd = {
   commandSchema: commandSchema$1,
-  commandAuthorization: commandAuthorization$1
+  commandAuthorization: commandAuthorization$1,
+  commandTransition: commandTransition$1,
+  traits: traits$1
 };
 
 let commandSchema$2 = Sury.union([
@@ -217,9 +233,17 @@ function commandAuthorization$2(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition$2(param) {
+  return "Unrestricted";
+}
+
+let traits$2 = [];
+
 let ChangePriceCmd = {
   commandSchema: commandSchema$2,
-  commandAuthorization: commandAuthorization$2
+  commandAuthorization: commandAuthorization$2,
+  commandTransition: commandTransition$2,
+  traits: traits$2
 };
 
 globalThis.describe("semantic composites are named once, not once per field", () => {

package/tests/commandgenerator/CommandGeneratorFixtures.res.mjs

@@ -32,6 +32,12 @@ function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
 
+function commandTransition(param) {
+  return "Unrestricted";
+}
+
+let traits = [];
+
 let CmdGenAggSpec = {
   Id: undefined,
   name: name,
@@ -39,7 +45,9 @@ let CmdGenAggSpec = {
   eventSchema: eventSchema,
   errorSchema: errorSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
 };
 
 let moduleUrl$1 = import.meta.url;
@@ -106,7 +114,9 @@ let TestGenerator = CommandGenerator_Callback$ReventlessCore.Make(MockPublishSpe
   errorSchema: errorSchema,
   commandSchema: commandSchema,
   moduleUrl: moduleUrl,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  commandTransition: commandTransition,
+  traits: traits
 });
 
 let singleTagCommandSchema = Sury.$schema(s => ({