@reventlessdev/reventless-aws 3.0.0-alpha.388 → 3.0.0-alpha.390

package/CHANGELOG.md

@@ -3,6 +3,37 @@
 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.390 (2026-10-21)
+
+* feat!: a rejected command says whether the model, the access check or the platform said no ([6a8a6b0](https://github.com/ReventlessDev/reventless-core/commit/6a8a6b0f2f31e766ae26a944c23b0904e51a5865))
+
+### BREAKING CHANGES
+
+* a type error variant with one of those names fails to
+compile; rename it for what the model means, such as AlreadyBooked. On
+AWS, rebuild every plugin against this release before a client selects
+cause: a plugin built earlier answers it with a non-null error.
+
+
+
+# 3.0.0-alpha.389 (2026-10-21)
+
+* feat!: a state view's row key is module Id ([08c9726](https://github.com/ReventlessDev/reventless-core/commit/08c972659a3d689a39fd5e2f2026597155e92210))
+* feat!: a plugin structure's component definitions are read-side and write-side defs ([ea2ab69](https://github.com/ReventlessDev/reventless-core/commit/ea2ab69e928ba16d7e640e4c66ab0e9ba034fe5c))
+
+### BREAKING CHANGES
+
+* a state view spec declares its row key as module Id. A
+hand-written module Key in a spec under StateView/ or StateViewStream/
+fails the build with "A state view's row key is `module Id`, not
+`module Key`".
+* Plugin.queryableDef, Plugin.writableDef, their schemas,
+isPublicQueryable and encodeQueryableDef no longer exist; a reader names
+readSideDef, writeSideDef, isPublicReadSide and encodeReadSideDef. There
+are no aliases, so the compiler lists every reader.
+
+
+
 # 3.0.0-alpha.388 (2026-10-21)
 
 * feat!: the write-side logic module is called the decision, and a codemod moves an app over ([cb573ff](https://github.com/ReventlessDev/reventless-core/commit/cb573ff5b928c7d7f3e75988dfaa65066f8c95eb))

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-aws",
-  "version": "3.0.0-alpha.388",
+  "version": "3.0.0-alpha.390",
   "description": "AWS adapters for Reventless",
   "license": "Apache-2.0",
   "bin": {
@@ -25,16 +25,16 @@
     "@reventlessdev/rescript-aws-sdk": "3.0.0-alpha.33",
     "@reventlessdev/rescript-effect": "1.0.0-alpha.1",
     "@reventlessdev/rescript-jest": "1.0.0-alpha.13",
-    "@reventlessdev/rescript-pulumi-aws": "3.0.0-alpha.31",
     "@reventlessdev/rescript-node": "2.0.0-alpha.23",
+    "@reventlessdev/rescript-pulumi-aws": "3.0.0-alpha.31",
     "@reventlessdev/rescript-pulumi-pulumi": "3.0.0-alpha.0",
-    "@reventlessdev/rescript-uuid": "2.0.0-alpha.1",
-    "@reventlessdev/reventless-core": "3.0.0-alpha.301",
     "@reventlessdev/rescript-web": "1.0.0-alpha.8",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.198",
-    "@reventlessdev/reventless-postgres": "3.0.0-alpha.165",
+    "@reventlessdev/rescript-uuid": "2.0.0-alpha.1",
     "@reventlessdev/reventless-interop": "3.0.0-alpha.42",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.170"
+    "@reventlessdev/reventless-core": "3.0.0-alpha.303",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.200",
+    "@reventlessdev/reventless-postgres": "3.0.0-alpha.167",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.172"
   },
   "devDependencies": {
     "rescript": "12.3.1",

package/src/Platform.res

@@ -964,7 +964,7 @@ module MakeWithConfig = (
           allQueryDbs->Dict.forEachWithKey((_queryDbOutputs, readModelName) => {
             if QueryDbStorage_DynamoDbStream.streamRegistry->Set.has(readModelName) {
               // Channel root MUST equal what the host-shell subscribes to. The
-              // AutoUI manifest sets queryableDef.queryField = listFieldName
+              // AutoUI manifest sets readSideDef.queryField = listFieldName
               // (plural, e.g. "Catalog_Products") and AutoLive subscribes on that.
               // Publishing on the singular returnTypeName ("Catalog_Product")
               // would land descriptors on a channel no client listens to.

package/src/Platform.res.mjs

@@ -506,7 +506,7 @@ function MakeWithConfig(Config) {
     name: UiFragments$ReventlessCore.name,
     moduleUrl: UiFragments$ReventlessCore.moduleUrl,
     stateSchema: UiFragments$ReventlessCore.stateSchema,
-    Key: {
+    Id: {
       schema: Id$Reventless.StringPure.schema,
       make: prim => prim,
       makeFromString: prim => prim,
@@ -1923,7 +1923,7 @@ function Make($star) {
     name: UiFragments$ReventlessCore.name,
     moduleUrl: UiFragments$ReventlessCore.moduleUrl,
     stateSchema: UiFragments$ReventlessCore.stateSchema,
-    Key: {
+    Id: {
       schema: Id$Reventless.StringPure.schema,
       make: prim => prim,
       makeFromString: prim => prim,

package/src/adapter/Api/Platform_ComponentDefinitions_Lambda.res

@@ -8,7 +8,7 @@
 // handler wraps each persisted structure with `pluginId` without decoding.
 // One caveat: the persisted structure is PRE-filter — it still carries Internal
 // ReadModels / StateViewSlices for developer tooling. The handler re-applies the
-// `isPublicQueryable` filter (mirroring `encodePluginStructureEntry`) so Internal
+// `isPublicReadSide` filter (mirroring `encodePluginStructureEntry`) so Internal
 // components stay out of the deployed AutoUI, matching the in-memory adapter.
 
 open PulumiAws

package/src/adapter/Api/Platform_ComponentDefinitions_Lambda_Ops.res

@@ -6,7 +6,7 @@
 //
 // Scans the Plugin read model for Connected plugins carrying a `structure`,
 // collapses to the highest version per plugin name, re-applies the
-// `isPublicQueryable` filter (the persisted structure is PRE-filter — it still
+// `isPublicReadSide` filter (the persisted structure is PRE-filter — it still
 // carries Internal ReadModels / StateViewSlices for developer tooling), and
 // prepends the built-in Platform_Admin entry. The persisted structure is
 // sury-encoded with the same shape as the in-memory adapter's
@@ -128,9 +128,9 @@ let healStructure = (structure: dict<JSON.t>): dict<JSON.t> => {
   out
 }
 
-// Mirror ReventlessCore.Platform_ComponentDefinitionsApi.isPublicQueryable on
+// Mirror ReventlessCore.Platform_ComponentDefinitionsApi.isPublicReadSide on
 // the read path: a component is public unless its visibility is "Internal".
-let isPublicQueryable = (q: JSON.t): bool =>
+let isPublicReadSide = (q: JSON.t): bool =>
   switch q
   ->JSON.Decode.object
   ->Option.flatMap(o => o->Dict.get("visibility"))
@@ -154,15 +154,15 @@ let filterStructure = (structure: dict<JSON.t>): dict<JSON.t> => {
   let arrAt = key => out->Dict.get(key)->Option.flatMap(JSON.Decode.array)->Option.getOr([])
   let readModels = arrAt("readModels")
   let stateViewSlices = arrAt("stateViewSlices")
-  out->Dict.set("readModels", readModels->Array.filter(isPublicQueryable)->JSON.Encode.array)
+  out->Dict.set("readModels", readModels->Array.filter(isPublicReadSide)->JSON.Encode.array)
   out->Dict.set(
     "stateViewSlices",
-    stateViewSlices->Array.filter(isPublicQueryable)->JSON.Encode.array,
+    stateViewSlices->Array.filter(isPublicReadSide)->JSON.Encode.array,
   )
   out->Dict.set(
     "internalQueryables",
     Array.concat(readModels, stateViewSlices)
-    ->Array.filter(q => !isPublicQueryable(q))
+    ->Array.filter(q => !isPublicReadSide(q))
     ->JSON.Encode.array,
   )
   out
@@ -173,7 +173,7 @@ let filterStructure = (structure: dict<JSON.t>): dict<JSON.t> => {
 // no decodable structure (former `!item.structure`).
 //
 // `~filter` is what separates the two fields this handler serves: AutoUI
-// (`Platform_ComponentDefinitions`) gets the public-queryable subset, developer
+// (`Platform_ComponentDefinitions`) gets the public read-side subset, developer
 // tooling (`Platform_PluginStructures`) gets the structure exactly as persisted,
 // including Internal components and the producer-side `extensionPoints` that the
 // AutoUI entry type does not declare. Both are healed first — the SDL's non-null

package/src/adapter/Api/Platform_ComponentDefinitions_Lambda_Ops.res.mjs

@@ -182,7 +182,7 @@ function healStructure(structure) {
   return out;
 }
 
-function isPublicQueryable(q) {
+function isPublicReadSide(q) {
   let match = Stdlib_Option.flatMap(Stdlib_Option.flatMap(Stdlib_JSON.Decode.object(q), o => o["visibility"]), Stdlib_JSON.Decode.string);
   if (match !== undefined) {
     return match !== "Internal";
@@ -196,9 +196,9 @@ function filterStructure(structure) {
   let arrAt = key => Stdlib_Option.getOr(Stdlib_Option.flatMap(out[key], Stdlib_JSON.Decode.array), []);
   let readModels = arrAt("readModels");
   let stateViewSlices = arrAt("stateViewSlices");
-  out["readModels"] = readModels.filter(isPublicQueryable);
-  out["stateViewSlices"] = stateViewSlices.filter(isPublicQueryable);
-  out["internalQueryables"] = readModels.concat(stateViewSlices).filter(q => !isPublicQueryable(q));
+  out["readModels"] = readModels.filter(isPublicReadSide);
+  out["stateViewSlices"] = stateViewSlices.filter(isPublicReadSide);
+  out["internalQueryables"] = readModels.concat(stateViewSlices).filter(q => !isPublicReadSide(q));
   return out;
 }
 
@@ -644,7 +644,7 @@ export {
   fillLifecycleField,
   readSideCollections,
   healStructure,
-  isPublicQueryable,
+  isPublicReadSide,
   filterStructure,
   toEntryWith,
   adminEntry,

package/src/adapter/Runtime/AggregateEntryPoint.mjs

@@ -84,12 +84,14 @@ function extractFieldName(event) {
   return dot >= 0 ? info.slice(dot + 1) : info;
 }
 
+// The plugin, not the model, said no: cause INFRASTRUCTURE.
 function pluginRejection(msgId, errorCode, detail) {
   return {
     __typename: "CommandRejected",
     msgId,
     errorCode,
     errorDetail: detail,
+    cause: "INFRASTRUCTURE",
   };
 }
 

package/src/adapter/Runtime/AggregateRuntime_Builder_Micro.res

@@ -95,7 +95,12 @@ let forCommandGenerator: ReventlessCore.Runtime.forComponent<
 }
 
 let forCommandTopic: ReventlessCore.Runtime.forComponent<
-  ReventlessCore.Runtime.effectHandler<CommandTopicChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    CommandTopicChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   runtimeParts,
   ReventlessCore.CommandTopic.component<'op>,
 > = (~handler as _, ~connect, ~memorySize=1024, ~timeout=30, commandTopic) => {
@@ -126,7 +131,12 @@ let forCommandTopic: ReventlessCore.Runtime.forComponent<
 }
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=2048, ~timeout=180, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource

package/src/adapter/Runtime/AggregateRuntime_Builder_Micro_Async.res

@@ -99,7 +99,12 @@ let forCommandGenerator: ReventlessCore.Runtime.forComponent<
 }
 
 let forCommandTopic: ReventlessCore.Runtime.forComponent<
-  ReventlessCore.Runtime.effectHandler<CommandTopicChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    CommandTopicChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   runtimeParts,
   ReventlessCore.CommandTopic.component<'op>,
 > = (~handler as _, ~connect, ~memorySize=1024, ~timeout=30, commandTopic) => {
@@ -132,7 +137,12 @@ let forCommandTopic: ReventlessCore.Runtime.forComponent<
 }
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=2048, ~timeout=180, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource

package/src/adapter/Runtime/AggregateRuntime_Builder_PerAggregate.res

@@ -80,7 +80,12 @@ let forCommandGenerator: ReventlessCore.Runtime.forComponent<
 }
 
 let forCommandTopic: ReventlessCore.Runtime.forComponent<
-  ReventlessCore.Runtime.effectHandler<CommandTopicChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    CommandTopicChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   runtimeParts,
   ReventlessCore.CommandTopic.component<'op>,
 > = (~handler as _, ~connect, ~memorySize=1024, ~timeout=30, commandTopic) => {
@@ -113,7 +118,12 @@ let forCommandTopic: ReventlessCore.Runtime.forComponent<
 }
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=1024, ~timeout=30, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource

package/src/adapter/Runtime/AggregateRuntime_Builder_PerAggregate_Async.res

@@ -84,7 +84,12 @@ let forCommandGenerator: ReventlessCore.Runtime.forComponent<
 }
 
 let forCommandTopic: ReventlessCore.Runtime.forComponent<
-  ReventlessCore.Runtime.effectHandler<CommandTopicChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    CommandTopicChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   runtimeParts,
   ReventlessCore.CommandTopic.component<'op>,
 > = (~handler as _, ~connect, ~memorySize=1024, ~timeout=30, commandTopic) => {
@@ -117,7 +122,12 @@ let forCommandTopic: ReventlessCore.Runtime.forComponent<
 }
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=1024, ~timeout=30, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource

package/src/adapter/Runtime/AggregateRuntime_Builder_Single.res

@@ -102,7 +102,12 @@ let forCommandGenerator: ReventlessCore.Runtime.forComponent<
 }
 
 let forCommandTopic: ReventlessCore.Runtime.forComponent<
-  ReventlessCore.Runtime.effectHandler<CommandTopicChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    CommandTopicChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   runtimeParts,
   ReventlessCore.CommandTopic.component<'op>,
 > = (~handler as _, ~connect, ~memorySize=1024, ~timeout=30, commandTopic) => {
@@ -136,7 +141,12 @@ let forCommandTopic: ReventlessCore.Runtime.forComponent<
 }
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=1024, ~timeout=30, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource

package/src/adapter/Runtime/AggregateRuntime_Builder_Single_Async.res

@@ -91,7 +91,12 @@ let forCommandGenerator: ReventlessCore.Runtime.forComponent<
 }
 
 let forCommandTopic: ReventlessCore.Runtime.forComponent<
-  ReventlessCore.Runtime.effectHandler<CommandTopicChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    CommandTopicChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   runtimeParts,
   ReventlessCore.CommandTopic.component<'op>,
 > = (~handler as _, ~connect, ~memorySize=1024, ~timeout=30, commandTopic) => {
@@ -125,7 +130,12 @@ let forCommandTopic: ReventlessCore.Runtime.forComponent<
 }
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=1024, ~timeout=30, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource

package/src/adapter/Runtime/AutomationSliceRuntime_Builder_Single.res

@@ -138,7 +138,12 @@ let storedSpecs: array<storedSpec> = []
 let grandParent = ref(None)
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=1024, ~timeout=30, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource

package/src/adapter/Runtime/EventCollectorRuntime_Builder_PerEventCollector.res

@@ -18,7 +18,12 @@ let registerReadModel = (~readModelName, ~specModulePath, ~mappingsModulePath, ~
   readModelInfos->Dict.set(readModelName, {specModulePath, mappingsModulePath, queryDbTableName})
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=1024, ~timeout=30, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource

package/src/adapter/Runtime/EventCollectorRuntime_Builder_Single.res

@@ -66,7 +66,12 @@ let storedSpecs: array<storedSpec> = []
 let grandParent = ref(None)
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=1024, ~timeout=30, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource

package/src/adapter/Runtime/RuntimeEnvironment_Lambda.res

@@ -447,9 +447,9 @@ let extractRetryCount = (event: event) =>
   ->Option.flatMap(attrs => attrs.approximateReceiveCount)
   ->Option.flatMap(Int.fromString(_))
 
-external asEventHandler: 'a => ReventlessCore.Runtime.eventHandler<event, context, 'result> =
+external asEventHandler: 'a => ReventlessCore.Runtime.invocationHandler<event, context, 'result> =
   "%identity"
-external asEffectHandler: 'a => ReventlessCore.Runtime.effectHandler<
+external asEffectHandler: 'a => ReventlessCore.Runtime.effectInvocationHandler<
   event,
   context,
   'result,

package/src/adapter/Runtime/SideEffectHandlerRuntime_Builder_Single.res

@@ -41,7 +41,12 @@ let storedSpecs: array<storedSpec> = []
 let grandParent = ref(None)
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=1024, ~timeout=30, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource

package/src/adapter/Runtime/StateViewSliceRuntime_Builder_Single.res

@@ -93,7 +93,12 @@ let storedSpecs: array<storedSpec> = []
 let grandParent = ref(None)
 
 let forEventCollector: ReventlessCore.Runtime.forEventCollector<
-  ReventlessCore.Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+  ReventlessCore.Runtime.effectInvocationHandler<
+    EventCollectorChannel.callbackEvent,
+    context,
+    unit,
+    string,
+  >,
   ReventlessCore.EventCollector.component,
 > = (~handler as _, ~eventTopics, ~resources, ~memorySize=1024, ~timeout=30, eventCollector) => {
   let eventCollectorResource = eventCollector->ReventlessCore.Component.toPulumiResource

package/src/adapter/StateTopic/StateTopic_AppSync.res

@@ -10,7 +10,7 @@
 //
 // Channel layout: /default/{topicName}/{pathSegment(entityKey)}
 //   topicName    = plugin-prefixed query LIST field name (e.g. "Catalog-Products").
-//                  MUST match the AutoUI manifest's queryableDef.queryField,
+//                  MUST match the AutoUI manifest's readSideDef.queryField,
 //                  which the host-shell's AutoLive subscribes on. Using the
 //                  singular return type here would orphan the channel.
 //   entityKey    = the table's primary-key value(s) extracted from record.Keys.

package/src/components/Api/AppSync_SdlDecorate.res

@@ -524,6 +524,10 @@ let assertGateable = (sdl: string): string => {
 // Object types the admin source owns canonically. `interface Node` and
 // `union CommandResult` are handled structurally below (their def lines don't
 // start with `type `).
+//
+// `enum CommandRejectionCause` is left unstamped, like `SortOrder`: every source
+// emits a byte-identical copy, which the merge unions. Only object types,
+// interfaces and unions were spike-validated with `@canonical`.
 let canonicalTypeNames = ["PageInfo", "CommandAccepted", "CommandRejected", "CommandPending"]
 
 let stampCanonicalTypes = (sdl: string): string =>

package/src/plugin/runtime/PluginRuntime_Builder.res

@@ -338,7 +338,7 @@ module Make = (
   }
 
   let forPluginEventCollector: ReventlessCore.Runtime.forEventCollector<
-    ReventlessCore.Runtime.effectHandler<
+    ReventlessCore.Runtime.effectInvocationHandler<
       EventCollectorChannel.callbackEvent,
       context,
       unit,
@@ -873,7 +873,7 @@ module Make = (
   }
 
   let forPluginHeartbeat: ReventlessCore.Runtime.forComponent<
-    ReventlessCore.Runtime.eventHandler<unit, context, unit>,
+    ReventlessCore.Runtime.invocationHandler<unit, context, unit>,
     runtimeParts,
     ReventlessCore.Heartbeat.component,
   > = (~handler as _, ~connect, ~memorySize=1024, ~timeout=30, heartbeat) => {
@@ -922,7 +922,7 @@ module Make = (
   // here). Merges slice module paths: auto-registered (from moduleUrl) + manually
   // registered (from registerDcbConfig).
   let forDcbCommandTopic: ReventlessCore.Runtime.forComponent<
-    ReventlessCore.Runtime.effectHandler<'callbackEvent, context, unit, string>,
+    ReventlessCore.Runtime.effectInvocationHandler<'callbackEvent, context, unit, string>,
     runtimeParts,
     ReventlessCore.CommandTopic.component<'op>,
     // `~memorySize`/`~timeout` carry the per-component runtime floor (max across

package/tests/AppSync_SdlDecorateTest.res

@@ -151,6 +151,20 @@ describe("AppSync_SdlDecorate.stampCanonicalTypes", () => {
     expect(sdl->String.includes("type Product @canonical"))->toBe(false)
   })
 
+  testSync("leaves the rejection-cause enum identical in every source", () => {
+    let types = ReventlessCore.GraphQL_FragmentGenerator.commandResultSdlTypes->Array.join("\n\n")
+    let stamped =
+      types
+      ->AppSync_SdlDecorate.stampSharedIamTypes
+      ->AppSync_SdlDecorate.stampAllTypesCognito
+      ->AppSync_SdlDecorate.stampCanonicalTypes
+    expect(stamped)->toContain(
+      "enum CommandRejectionCause {\n  DOMAIN\n  ACCESS\n  INFRASTRUCTURE\n}",
+    )
+    expect(stamped)->toContain("type CommandRejected @aws_cognito_user_pools @aws_iam @canonical {")
+    expect(stamped)->toContain("  cause: CommandRejectionCause!")
+  })
+
   testSync("is idempotent", () => {
     let once = AppSync_SdlDecorate.stampCanonicalTypes("type PageInfo {\n  x: Int\n}")
     expect(AppSync_SdlDecorate.stampCanonicalTypes(once))->toBe(once)

package/tests/AppSync_SdlDecorateTest.res.mjs

@@ -5,6 +5,7 @@ import * as AppSync_Adapter$ReventlessAws from "../src/components/Api/AppSync_Ad
 import * as GraphQL_Stitcher$ReventlessCore from "@reventlessdev/reventless-core/src/components/Api/GraphQL_Stitcher.res.mjs";
 import * as Platform_AdminApi$ReventlessCore from "@reventlessdev/reventless-core/src/admin/Platform_AdminApi.res.mjs";
 import * as AppSync_SdlDecorate$ReventlessAws from "../src/components/Api/AppSync_SdlDecorate.res.mjs";
+import * as GraphQL_FragmentGenerator$ReventlessCore from "@reventlessdev/reventless-core/src/components/Api/GraphQL_FragmentGenerator.res.mjs";
 
 let sources = [
   {
@@ -127,6 +128,13 @@ globalThis.describe("AppSync_SdlDecorate.stampCanonicalTypes", () => {
     globalThis.expect(sdl).toContain("type Product {");
     globalThis.expect(sdl.includes("type Product @canonical")).toBe(false);
   });
+  globalThis.test("leaves the rejection-cause enum identical in every source", () => {
+    let types = GraphQL_FragmentGenerator$ReventlessCore.commandResultSdlTypes.join("\n\n");
+    let stamped = AppSync_SdlDecorate$ReventlessAws.stampCanonicalTypes(AppSync_SdlDecorate$ReventlessAws.stampAllTypesCognito(AppSync_SdlDecorate$ReventlessAws.stampSharedIamTypes(types)));
+    globalThis.expect(stamped).toContain("enum CommandRejectionCause {\n  DOMAIN\n  ACCESS\n  INFRASTRUCTURE\n}");
+    globalThis.expect(stamped).toContain("type CommandRejected @aws_cognito_user_pools @aws_iam @canonical {");
+    globalThis.expect(stamped).toContain("  cause: CommandRejectionCause!");
+  });
   globalThis.test("is idempotent", () => {
     let once = AppSync_SdlDecorate$ReventlessAws.stampCanonicalTypes("type PageInfo {\n  x: Int\n}");
     globalThis.expect(AppSync_SdlDecorate$ReventlessAws.stampCanonicalTypes(once)).toBe(once);