@reventlessdev/reventless-core 3.0.0-alpha.156 → 3.0.0-alpha.158

package/src/components/Dcb/Dcb_Builder.res

@@ -68,6 +68,15 @@ module Make = (
   let construct = (
     ~name: string,
     ~childName: string,
+    // API mutation-field prefix for a slice's GraphQL command fields. Defaults to `name`
+    // (`${plugin}_${command}`), so plugins are unchanged. The admin builder passes "Platform"
+    // so its exposed slice commands render as `Platform_RegisterApiFragment` — byte-equal to
+    // `Api_Naming.adminField("RegisterApiFragment")`, keeping the hand-declared admin SDL and
+    // the auto-bound DCB resolver field names aligned.
+    ~apiNamePrefix: string=name,
+    // True for the platform admin build — routes the DCB mutation resolvers to the Platform API
+    // (via the provider hook's `hooks.adminApi`) in split mode. Plugins leave it false.
+    ~onAdminApi: bool=false,
     ~environment: string="",
     ~platformName: string="",
     ~aggregateEventTopics: EventTopic.allOutputs=Dict.make(),
@@ -411,7 +420,7 @@ module Make = (
               registerResolver(
                 ~kind=Dcb,
                 ~fields=Api_Naming.sliceMutationFields(
-                  ~plugin=name,
+                  ~plugin=apiNamePrefix,
                   ~slice=S.Spec.name,
                   ~commandSchema,
                 )->Array.map(((f, _)) => f),
@@ -428,7 +437,7 @@ module Make = (
               registerResolver(
                 ~kind=Dcb,
                 ~fields=Api_Naming.sliceMutationFields(
-                  ~plugin=name,
+                  ~plugin=apiNamePrefix,
                   ~slice=S.Spec.name,
                   ~commandSchema,
                 )->Array.map(((f, _)) => f),
@@ -464,7 +473,7 @@ module Make = (
                     ~componentKind=CommandGenerator_Callback.StateChangeSlice,
                     ~stripIdFromParams=false,
                   )
-                  Api_Naming.sliceMutationFields(~plugin=name, ~slice=S.Spec.name, ~commandSchema)
+                  Api_Naming.sliceMutationFields(~plugin=apiNamePrefix, ~slice=S.Spec.name, ~commandSchema)
                   ->Array.forEach(((fieldName, _)) => bindHandler(~field=fieldName, ~generateCommand))
                 }
               })
@@ -491,7 +500,7 @@ module Make = (
                       ~componentKind=CommandGenerator_Callback.StateChangeSlice,
                       ~stripIdFromParams=false,
                     )
-                    Api_Naming.sliceMutationFields(~plugin=name, ~slice=S.Spec.name, ~commandSchema)
+                    Api_Naming.sliceMutationFields(~plugin=apiNamePrefix, ~slice=S.Spec.name, ~commandSchema)
                     ->Array.forEach(((fieldName, _)) => bindHandler(~field=fieldName, ~generateCommand))
                   }
                 })
@@ -730,7 +739,7 @@ module Make = (
             if ApiNoApiHelpers.isNoApi(commandSchema) {
               []
             } else {
-              Api_Naming.sliceMutationFields(~plugin=name, ~slice=S.Spec.name, ~commandSchema)
+              Api_Naming.sliceMutationFields(~plugin=apiNamePrefix, ~slice=S.Spec.name, ~commandSchema)
             }
           })
         let dcbFieldNames = dcbMutationData->Array.map(((f, _)) => f)
@@ -759,6 +768,7 @@ module Make = (
                 runtime: runtime->Obj.magic,
                 fieldNames: dcbFieldNames,
                 tags: dcbTags,
+                onAdminApi,
                 opts,
               })
             | None => ()
@@ -825,7 +835,7 @@ module Make = (
           ) => {
             let commandSchema = S.Spec.commandSchema->Reventless.DcbTag.toUnknownSchema
             let fieldSpecs =
-              Api_Naming.sliceMutationFields(~plugin=name, ~slice=S.Spec.name, ~commandSchema)
+              Api_Naming.sliceMutationFields(~plugin=apiNamePrefix, ~slice=S.Spec.name, ~commandSchema)
             if ApiNoApiHelpers.isNoApi(commandSchema) || fieldSpecs->Array.length == 0 {
               None
             } else {

package/src/components/Dcb/Dcb_Builder.res.mjs

@@ -78,7 +78,9 @@ let emptyResult = {
 
 function Make(DcbEventLogStorage) {
   return DcbEventTopicPublisher => (DcbCommandTopicChannel => (DcbCommandTopicChannelAsync => (RuntimeBuilder => (HooksConfig => {
-    let construct = (name, childName, environmentOpt, platformNameOpt, aggregateEventTopicsOpt, stateChangeSlices, stateViewSlices, automationSlices, outboundTranslationSlices, inboundTranslationSlices, systemCallableComponentsOpt, pluginStructure, opts) => {
+    let construct = (name, childName, apiNamePrefixOpt, onAdminApiOpt, environmentOpt, platformNameOpt, aggregateEventTopicsOpt, stateChangeSlices, stateViewSlices, automationSlices, outboundTranslationSlices, inboundTranslationSlices, systemCallableComponentsOpt, pluginStructure, opts) => {
+      let apiNamePrefix = apiNamePrefixOpt !== undefined ? apiNamePrefixOpt : name;
+      let onAdminApi = onAdminApiOpt !== undefined ? onAdminApiOpt : false;
       let environment = environmentOpt !== undefined ? environmentOpt : "";
       let platformName = platformNameOpt !== undefined ? platformNameOpt : "";
       let aggregateEventTopics = aggregateEventTopicsOpt !== undefined ? aggregateEventTopicsOpt : ({});
@@ -225,13 +227,13 @@ function Make(DcbEventLogStorage) {
         syncSlices.forEach(S => {
           let commandSchema = S.Spec.commandSchema;
           if (!ApiNoApiHelpers$ReventlessCore.isNoApi(commandSchema)) {
-            return registerResolver("Dcb", Api_Naming$ReventlessCore.sliceMutationFields(name, S.Spec.name, commandSchema).map(param => param[0]), commandSchema, S.Spec.commandAuthorization);
+            return registerResolver("Dcb", Api_Naming$ReventlessCore.sliceMutationFields(apiNamePrefix, S.Spec.name, commandSchema).map(param => param[0]), commandSchema, S.Spec.commandAuthorization);
           }
         });
         asyncSlices.forEach(S => {
           let commandSchema = S.Spec.commandSchema;
           if (!ApiNoApiHelpers$ReventlessCore.isNoApi(commandSchema)) {
-            return registerResolver("Dcb", Api_Naming$ReventlessCore.sliceMutationFields(name, S.Spec.name, commandSchema).map(param => param[0]), commandSchema, S.Spec.commandAuthorization);
+            return registerResolver("Dcb", Api_Naming$ReventlessCore.sliceMutationFields(apiNamePrefix, S.Spec.name, commandSchema).map(param => param[0]), commandSchema, S.Spec.commandAuthorization);
           }
         });
       }
@@ -244,7 +246,7 @@ function Make(DcbEventLogStorage) {
               return;
             }
             let generateCommand = CommandGenerator_Callback$ReventlessCore.makeGenerateCommand(ops.publishJsons, ops.publishJsonsAndWait, S.Spec.name, S.Spec.commandSchema, "StateChangeSlice", false);
-            Api_Naming$ReventlessCore.sliceMutationFields(name, S.Spec.name, commandSchema).forEach(param => bindHandler(param[0], generateCommand));
+            Api_Naming$ReventlessCore.sliceMutationFields(apiNamePrefix, S.Spec.name, commandSchema).forEach(param => bindHandler(param[0], generateCommand));
           });
         });
         if (asyncDcbCommandTopicOpt !== undefined) {
@@ -255,7 +257,7 @@ function Make(DcbEventLogStorage) {
                 return;
               }
               let generateCommand = CommandGenerator_Callback$ReventlessCore.makeGenerateCommand(asyncOps.publishJsons, asyncOps.publishJsonsAndWait, S.Spec.name, S.Spec.commandSchema, "StateChangeSlice", false);
-              Api_Naming$ReventlessCore.sliceMutationFields(name, S.Spec.name, commandSchema).forEach(param => bindHandler(param[0], generateCommand));
+              Api_Naming$ReventlessCore.sliceMutationFields(apiNamePrefix, S.Spec.name, commandSchema).forEach(param => bindHandler(param[0], generateCommand));
             });
           });
         }
@@ -397,7 +399,7 @@ function Make(DcbEventLogStorage) {
         if (ApiNoApiHelpers$ReventlessCore.isNoApi(commandSchema)) {
           return [];
         } else {
-          return Api_Naming$ReventlessCore.sliceMutationFields(name, S.Spec.name, commandSchema);
+          return Api_Naming$ReventlessCore.sliceMutationFields(apiNamePrefix, S.Spec.name, commandSchema);
         }
       });
       let dcbFieldNames = dcbMutationData.map(param => param[0]);
@@ -424,6 +426,7 @@ function Make(DcbEventLogStorage) {
             runtime: runtime,
             fieldNames: dcbFieldNames,
             tags: dcbTags,
+            onAdminApi: onAdminApi,
             opts: opts
           });
         }
@@ -451,7 +454,7 @@ function Make(DcbEventLogStorage) {
       };
       let mutationEntriesFromSlices = Stdlib_Array.filterMap(stateChangeSlices, S => {
         let commandSchema = S.Spec.commandSchema;
-        let fieldSpecs = Api_Naming$ReventlessCore.sliceMutationFields(name, S.Spec.name, commandSchema);
+        let fieldSpecs = Api_Naming$ReventlessCore.sliceMutationFields(apiNamePrefix, S.Spec.name, commandSchema);
         if (ApiNoApiHelpers$ReventlessCore.isNoApi(commandSchema) || fieldSpecs.length === 0) {
           return;
         }

package/src/components/StateChangeSlice/StateChangeSlice_Callback.res

@@ -34,7 +34,12 @@ module Make = (
     ~tagKeysByEventType: Dict.t<array<string>>,
     event: Spec.event,
   ): ReventlessInfra.DcbEventLog.rawEvent => {
-    let json = event->JSON.stringifyAny->Option.getOrThrow->JSON.parseOrThrow
+    // Encode through the event schema (like the Aggregate path's Message.encode),
+    // NOT JSON.stringifyAny: the runtime representation drops `None` option
+    // fields entirely, while the consumer side (DcbDecode) parses with the sury
+    // schema — a js_nullable option field would reject the missing key and the
+    // event would be dropped as schema drift.
+    let json = event->S.reverseConvertToJsonOrThrow(Spec.eventSchema)
     let (eventType, data) = json->Message.splitMessage
     // Use `extractTagsExpanded` (not `extractTags`) so per-element tags on
     // `array<string>` fields are emitted — e.g. OrderPlaced's

package/src/components/StateChangeSlice/StateChangeSlice_Callback.res.mjs

@@ -182,7 +182,7 @@ function Make(Spec) {
               }
               let rawEvents = newEvents$1.map(e => {
                 let parentMeta = command$p.meta;
-                let json = JSON.parse(Stdlib_Option.getOrThrow(JSON.stringify(e), undefined));
+                let json = S.reverseConvertToJsonOrThrow(e, Spec.eventSchema);
                 let match = Message$ReventlessCore.splitMessage(json);
                 let eventType = match[0];
                 let baseTags = DcbTag$Reventless.extractTagsExpanded(Spec.eventSchema, e);

package/src/plugin/api/PluginBaseFragment.res

@@ -18,13 +18,12 @@ let pluginExcludeFields: array<string> = [
 
 // Additional fields the SDL exposes but the Plugin list view should NOT
 // surface — they're option-of-nested-object types (e.g. apiSchemaFragment,
-// uiFragments, structure) which AutoUI currently renders as scalar columns
+// structure) which AutoUI currently renders as scalar columns
 // and queries without a sub-selection, failing schema validation. Other
-// callers (host-shell's Platform_ComponentDefinitions / Platform_UIFragments)
-// keep querying them via dedicated fields and resolver paths.
+// callers (host-shell's Platform_ComponentDefinitions) keep querying them via
+// dedicated fields and resolver paths.
 let pluginUIOnlyExcludeFields: array<string> = pluginExcludeFields->Array.concat([
   "apiSchemaFragment",
-  "uiFragments",
   "structure",
 ])
 
@@ -40,10 +39,10 @@ let pluginUIOnlyExcludeFields: array<string> = pluginExcludeFields->Array.concat
 let indexQueriesOfConfig = (config: Reventless.ReadModel.config) =>
   config.indexes->Array.length > 0 ? Some(config.indexes) : None
 
-// The UIFragmentRegistry read model is queried exclusively via the explicit
+// The UiFragments StateViewSlice is queried exclusively via the explicit
 // flat `Platform_UIFragments: [Platform_UIFragmentEntry!]!` field declared in
 // `Platform_UIFragmentsApi.res` (and resolved by `Platform_UIFragments_Lambda.res`
-// on AWS / the seeded QueryDb in-memory). Reintroducing an auto-generated
+// on AWS / the slice QueryDb in-memory). Reintroducing an auto-generated
 // connection field here collides with that name on SDL composition.
 let queryEntries: array<querySchemaEntry> = [
   {

package/src/plugin/api/PluginBaseFragment.res.mjs

@@ -20,7 +20,6 @@ let pluginExcludeFields = [
 
 let pluginUIOnlyExcludeFields = pluginExcludeFields.concat([
   "apiSchemaFragment",
-  "uiFragments",
   "structure"
 ]);
 

package/src/plugin/component/Plugin_Builder.res

@@ -295,6 +295,7 @@ module Make = (
         ...parts,
         types: Array.concat(parts.types, subResult.extraTypes),
         subscriptions: subResult.subscriptionFields,
+        subscriptionSources: subResult.subscriptionSources,
       })
     }
 
@@ -750,7 +751,6 @@ module Make = (
             extensionProtocols: [],
             apiSchemaFragment: Some(apiSchemaFragment),
             apiTarget: Some(capturedDeployTarget),
-            uiFragments,
             structure: pluginStructure,
             dcbEventLog: dcbEventLogDef,
             // Business role from the deploy-time metadata registry (set via
@@ -807,6 +807,7 @@ module Make = (
               connectPluginExtensionIncomingEventHandler,
             ) = createConnectPluginExtension(
               ~pluginDefinition,
+              ~uiFragments,
               ~publishToPluginExtensionPoint,
               ~publishToAggregates,
               ~readModelNamesForSourceName,
@@ -821,6 +822,7 @@ module Make = (
               ~extensionsOutputs,
               ~pluginExtensionPointUnwrapped,
               ~pluginDefinition,
+              ~uiFragments,
               ~connectPluginExtensionIncomingEventHandler,
               ~extensionsHandlers,
               ~extensionPointsHandlers,
@@ -840,6 +842,7 @@ module Make = (
             ~extensionPointsOutputs,
             ~extensionsOutputs,
             ~pluginDefinition,
+            ~uiFragments,
             ~extensionsHandlers,
             ~extensionPointsHandlers,
             ~extensionRegistryInfos,

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

@@ -6,6 +6,7 @@ import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Pulumi from "@pulumi/pulumi";
 import * as Belt_SetString from "@rescript/runtime/lib/es6/Belt_SetString.js";
 import * as Stdlib_JsError from "@rescript/runtime/lib/es6/Stdlib_JsError.js";
+import * as Primitive_option from "@rescript/runtime/lib/es6/Primitive_option.js";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as Logger$ReventlessCore from "../../util/Logger.res.mjs";
 import * as Plugin$ReventlessCore from "./Plugin.res.mjs";
@@ -146,7 +147,7 @@ function Make(Spec) {
         let DcbBuilder = Dcb_Builder$ReventlessCore.Make(DcbEventLogStorage)(DcbEventTopicPublisher)(DcbCommandTopicChannel)(DcbCommandTopicChannelAsync)(PluginRuntimeBuilder)({
           hooks: Spec.hooks
         });
-        let dcbResult = DcbBuilder.construct(extra$1, childName, Spec.environment, Spec.platformName, aggregateEventTopics, stateChangeSlices, stateViewSlices, automationSlices, outboundTranslationSlices, inboundTranslationSlices, systemCallableComponents, pluginStructure, opts);
+        let dcbResult = DcbBuilder.construct(extra$1, childName, undefined, undefined, Spec.environment, Spec.platformName, aggregateEventTopics, stateChangeSlices, stateViewSlices, automationSlices, outboundTranslationSlices, inboundTranslationSlices, systemCallableComponents, pluginStructure, opts);
         let mutationEntriesFromAggregates = aggregates.flatMap(M => {
           let commandSchema = M.Spec.commandSchema;
           if (ApiNoApiHelpers$ReventlessCore.isNoApi(commandSchema)) {
@@ -227,7 +228,8 @@ function Make(Spec) {
           types: parts.types.concat(subResult.extraTypes),
           mutations: parts.mutations,
           queries: parts.queries,
-          subscriptions: subResult.subscriptionFields
+          subscriptions: subResult.subscriptionFields,
+          subscriptionSources: subResult.subscriptionSources
         });
         Stdlib_Option.forEach(Spec.hooks.schemaTypeRegistrationHook, registerTypes => {
           let parts = GraphQL_Stitcher$ReventlessCore.decode(apiSchemaFragment);
@@ -496,7 +498,6 @@ function Make(Spec) {
             extensionProtocols: [],
             apiSchemaFragment: apiSchemaFragment,
             apiTarget: capturedDeployTarget,
-            uiFragments: uiFragments,
             structure: pluginStructure,
             dcbEventLog: param[2],
             kind: Stdlib_Option.getOr(Stdlib_Option.flatMap(Plugin_Helpers$ReventlessCore.pluginMetadataRegistry.contents, m => m.kind), "Domain")
@@ -528,10 +529,10 @@ function Make(Spec) {
             readModelQueueUrls[param[0]] = urlOutput;
           });
           if (coreSetup !== undefined) {
-            let match$4 = Plugin_Helpers$ReventlessCore.createConnectPluginExtension(pluginDefinition, publishToPluginExtensionPoint, publishToAggregates, Plugin_Helpers$ReventlessCore.readModelNamesForSourceName, publishToReadModels, queryEngine, opts);
-            EventCollectorHelper.connect(eventCollector, eventTopics, extensionPointsOutputs, extensionsOutputs, coreSetup[0], pluginDefinition, match$4[1], extensionsHandlers, extensionPointsHandlers, match$4[0], extensionRegistryInfos, match$1[2], aggregateQueueUrls, readModelQueueUrls, Plugin_Helpers$ReventlessCore.readModelNamesForSourceName);
+            let match$4 = Plugin_Helpers$ReventlessCore.createConnectPluginExtension(pluginDefinition, uiFragments, publishToPluginExtensionPoint, publishToAggregates, Plugin_Helpers$ReventlessCore.readModelNamesForSourceName, publishToReadModels, queryEngine, opts);
+            EventCollectorHelper.connect(eventCollector, eventTopics, extensionPointsOutputs, extensionsOutputs, coreSetup[0], pluginDefinition, Primitive_option.some(uiFragments), match$4[1], extensionsHandlers, extensionPointsHandlers, match$4[0], extensionRegistryInfos, match$1[2], aggregateQueueUrls, readModelQueueUrls, Plugin_Helpers$ReventlessCore.readModelNamesForSourceName);
           } else {
-            EventCollectorHelper.connect(eventCollector, eventTopics, extensionPointsOutputs, extensionsOutputs, undefined, pluginDefinition, undefined, extensionsHandlers, extensionPointsHandlers, undefined, extensionRegistryInfos, undefined, aggregateQueueUrls, readModelQueueUrls, Plugin_Helpers$ReventlessCore.readModelNamesForSourceName);
+            EventCollectorHelper.connect(eventCollector, eventTopics, extensionPointsOutputs, extensionsOutputs, undefined, pluginDefinition, Primitive_option.some(uiFragments), undefined, extensionsHandlers, extensionPointsHandlers, undefined, extensionRegistryInfos, undefined, aggregateQueueUrls, readModelQueueUrls, Plugin_Helpers$ReventlessCore.readModelNamesForSourceName);
           }
           let tasksOutputs = Plugin_Helpers$ReventlessCore.createTasks(tasks, aggregatesOutputs, scheduler, schedulerRoleUrn, publishToAggregates, queryEngine, Spec.resourceNaming, opts);
           let resolvers = Plugin_Helpers$ReventlessCore.createResolvers(allQueryDbs);

package/src/plugin/component/Plugin_Helpers.res

@@ -146,6 +146,12 @@ type eventCollectorContext = {
   // Pre-serialised JSON of the pluginDefinition (sury-encoded then JSON.stringify).
   // Output because it's assembled from resolved component outputs at deploy time.
   pluginDefinitionJson: Pulumi.Output.t<string>,
+  // Pre-serialised JSON of the plugin's UI-fragment manifest ("null" when the
+  // plugin ships none). Shipped as its own asset next to pluginDefinition.json —
+  // the manifest no longer rides pluginDefinition (the UiFragmentRegistry slice
+  // owns fragment state); the bundled Connect extension needs it at cold start
+  // to emit RegisterUiFragment in the handshake answer.
+  uiFragmentsJson: Pulumi.Output.t<string>,
   // Outgoing EPs whose events this Lambda's mapping handles. Admin Lambda: 1
   // entry (its own Plugin EP). Plugin Lambda: 0 (plugins don't process their own
   // EP outgoing events here).
@@ -368,6 +374,7 @@ let extractExtensionDefinitions = (extensionsOutputs: array<Extension.outputs>)
 
 let createConnectPluginExtension = (
   ~pluginDefinition,
+  ~uiFragments: option<Reventless.Plugin.uiFragmentManifest>,
   ~publishToPluginExtensionPoint,
   ~publishToAggregates,
   ~readModelNamesForSourceName,
@@ -379,6 +386,7 @@ let createConnectPluginExtension = (
   ->Pulumi.Output.apply(pluginDefinition => {
     module ConnectPluginExtension = PluginConnectExtension_Builder.Make({
       let pluginDefinition = pluginDefinition
+      let uiFragments = uiFragments
     })
     let connectPluginExtension = ConnectPluginExtension.make(
       ~publishToPluginExtensionPoint,
@@ -472,6 +480,10 @@ module MakeEventCollectorHelper = (
     ~extensionsOutputs: array<Extension.outputs>,
     ~pluginExtensionPointUnwrapped: option<ReventlessInterop.ExtensionPoint.resolvedOutputs>=?,
     ~pluginDefinition,
+    // The plugin's UI-fragment manifest — serialised into the per-plugin
+    // eventCollectorContext (uiFragmentsJson) so the AWS adapter ships it as a
+    // uiFragments.json asset for the bundled Connect extension's cold start.
+    ~uiFragments: option<Reventless.Plugin.uiFragmentManifest>=None,
     ~connectPluginExtensionIncomingEventHandler: option<Pulumi.Output.t<Pulumi.Output.t<Plugin_Callback.jsonEventsHandler>>>=?,
     ~extensionsHandlers,
     ~extensionPointsHandlers,
@@ -589,6 +601,11 @@ module MakeEventCollectorHelper = (
         ->S.reverseConvertToJsonOrThrow(Reventless.Plugin.pluginDefinitionSchema)
         ->JSON.stringify
         ->Pulumi.Output.make
+      let uiFragmentsJson =
+        uiFragments
+        ->S.reverseConvertToJsonOrThrow(Reventless.Plugin.uiFragmentManifestOptionSchema)
+        ->JSON.stringify
+        ->Pulumi.Output.make
       let pluginExtensionPointCmdTopicUrl = switch pluginExtensionPointUnwrapped {
       | Some(unwrapped) =>
         switch unwrapped.commandTopic.resources->Array.get(0) {
@@ -680,6 +697,7 @@ module MakeEventCollectorHelper = (
         ~componentName=ecName,
         ~context={
           pluginDefinitionJson,
+          uiFragmentsJson,
           extensionPoints: extensionPointEntries,
           connectExtension,
           extensions,
@@ -829,6 +847,11 @@ type dcbAppSyncResolverParams = {
   runtime: Runtime.environment<unknown>,
   fieldNames: array<string>,
   tags: array<string>,
+  // True when the slice belongs to the platform admin build (Platform_Admin.construct). In split
+  // mode admin resolvers live on the Platform API, so the provider hook binds them to `hooks.adminApi`
+  // instead of `hooks.api` (which is the deploy-target/Domain API and is read in the same deferred
+  // callback by plugin builds). See platformHooks.adminApi.
+  onAdminApi: bool,
   opts: Pulumi.ComponentResource.options,
 }
 
@@ -952,6 +975,12 @@ type platformHooks = {
   schedulerRoleUrn: ref<Pulumi.Output.t<string>>,
   api: ref<option<hookedValue<unknown>>>,
   apiRole: ref<option<hookedValue<unknown>>>,
+  // The API admin resolvers bind to (split mode: the Platform API; unified: same as `api`).
+  // Populated by makePlatform once the Platform API resource exists, and read — via the
+  // `onAdminApi` payload flag — by the DCB resolver hook so admin DCB mutations land on the
+  // Platform API even though `api` (read in the same deferred callback by plugin builds) points at
+  // the Domain/deploy-target API. `None` on platforms with no separate admin API (in-memory).
+  adminApi: ref<option<hookedValue<unknown>>>,
   // Current deploy target, set by deployPlugin before plugin.make() is called.
   // "Domain" (default) → resolvers/schema go to the DomainApi.
   // "Platform" → resolvers/schema go to the PlatformApi.
@@ -967,6 +996,7 @@ let noHooks: platformHooks = {
   schedulerRoleUrn: ref(Pulumi.Output.make("")),
   api: ref(None),
   apiRole: ref(None),
+  adminApi: ref(None),
   deployTarget: ref("Domain"),
 }
 

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

@@ -11,6 +11,7 @@ import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Pulumi from "@pulumi/pulumi";
 import * as Belt_SetString from "@rescript/runtime/lib/es6/Belt_SetString.js";
 import * as Stdlib_JsError from "@rescript/runtime/lib/es6/Stdlib_JsError.js";
+import * as Primitive_option from "@rescript/runtime/lib/es6/Primitive_option.js";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as Plugin$Reventless from "@reventlessdev/reventless-spec/src/components/Plugin.res.mjs";
 import * as Task$ReventlessCore from "../../components/Task/Task.res.mjs";
@@ -222,10 +223,11 @@ function extractExtensionDefinitions(extensionsOutputs) {
   }));
 }
 
-function createConnectPluginExtension(pluginDefinition, publishToPluginExtensionPoint, publishToAggregates, readModelNamesForSourceName, publishToReadModels, queryEngine, opts) {
+function createConnectPluginExtension(pluginDefinition, uiFragments, publishToPluginExtensionPoint, publishToAggregates, readModelNamesForSourceName, publishToReadModels, queryEngine, opts) {
   return Output$Pulumi.unzip(pluginDefinition.apply(pluginDefinition => {
     let ConnectPluginExtension = PluginConnectExtension_Builder$ReventlessCore.Make({
-      pluginDefinition: pluginDefinition
+      pluginDefinition: pluginDefinition,
+      uiFragments: uiFragments
     });
     let connectPluginExtension = ConnectPluginExtension.make(publishToPluginExtensionPoint, publishToAggregates, readModelNamesForSourceName, publishToReadModels, queryEngine, opts);
     let connectPluginExtensionOutputs = Component$ReventlessCore.outputs(connectPluginExtension);
@@ -264,7 +266,8 @@ function MakeEventCollectorHelper(RuntimeEnvironment) {
         eventCollectorUrn
       ];
     };
-    let connect = (eventCollector, eventTopics, extensionPointsOutputs, extensionsOutputs, pluginExtensionPointUnwrapped, pluginDefinition, connectPluginExtensionIncomingEventHandler, extensionsHandlers, extensionPointsHandlers, connectPluginExtensionOutputs, extensionRegistryInfosOpt, extensionPointRegistryInfosOpt, aggregateQueueUrlsOpt, readModelQueueUrlsOpt, readModelNamesForSourceNameOpt) => {
+    let connect = (eventCollector, eventTopics, extensionPointsOutputs, extensionsOutputs, pluginExtensionPointUnwrapped, pluginDefinition, uiFragmentsOpt, connectPluginExtensionIncomingEventHandler, extensionsHandlers, extensionPointsHandlers, connectPluginExtensionOutputs, extensionRegistryInfosOpt, extensionPointRegistryInfosOpt, aggregateQueueUrlsOpt, readModelQueueUrlsOpt, readModelNamesForSourceNameOpt) => {
+      let uiFragments = uiFragmentsOpt !== undefined ? Primitive_option.valFromOption(uiFragmentsOpt) : undefined;
       let extensionRegistryInfos = extensionRegistryInfosOpt !== undefined ? extensionRegistryInfosOpt : [];
       let extensionPointRegistryInfos = extensionPointRegistryInfosOpt !== undefined ? extensionPointRegistryInfosOpt : [];
       let aggregateQueueUrls = aggregateQueueUrlsOpt !== undefined ? aggregateQueueUrlsOpt : ({});
@@ -314,6 +317,7 @@ function MakeEventCollectorHelper(RuntimeEnvironment) {
         let ecResource = Component$ReventlessCore.toPulumiResource(eventCollector);
         let ecName = ComponentType$ReventlessCore.nameOpt(ecResource.__name, EventCollector$ReventlessCore.componentType);
         let pluginDefinitionJson = Pulumi.output(JSON.stringify(S.reverseConvertToJsonOrThrow(pluginDefinition, Plugin$Reventless.pluginDefinitionSchema)));
+        let uiFragmentsJson = Pulumi.output(JSON.stringify(S.reverseConvertToJsonOrThrow(uiFragments, Plugin$Reventless.uiFragmentManifestOptionSchema)));
         let pluginExtensionPointCmdTopicUrl;
         if (pluginExtensionPointUnwrapped !== undefined) {
           let r = pluginExtensionPointUnwrapped.commandTopic.resources[0];
@@ -370,6 +374,7 @@ function MakeEventCollectorHelper(RuntimeEnvironment) {
           }) : [];
         registerEventCollectorContext(ecName, {
           pluginDefinitionJson: pluginDefinitionJson,
+          uiFragmentsJson: uiFragmentsJson,
           extensionPoints: extensionPointEntries,
           connectExtension: connectExtension,
           extensions: extensions,
@@ -468,6 +473,10 @@ let noHooks_apiRole = {
   contents: undefined
 };
 
+let noHooks_adminApi = {
+  contents: undefined
+};
+
 let noHooks_deployTarget = {
   contents: "Domain"
 };
@@ -478,6 +487,7 @@ let noHooks = {
   schedulerRoleUrn: noHooks_schedulerRoleUrn,
   api: noHooks_api,
   apiRole: noHooks_apiRole,
+  adminApi: noHooks_adminApi,
   deployTarget: noHooks_deployTarget
 };
 

package/src/plugin/component/Plugin_SubscriptionSchema.res

@@ -6,8 +6,11 @@
 open ReventlessInfra.Api
 
 // ── Source C: mutation-triggered subscriptions ────────────────────────────────
-// One field per command variant. Fires when the mutation is ACCEPTED by AppSync.
-// Uses @aws_subscribe — no additional infrastructure is needed.
+// One field per command variant. Fires when the mutation is accepted.
+// The SDL emitted here is provider-neutral; the subscription→mutation link is
+// carried as structured `subscriptionSource` metadata on the fragment. Each
+// provider adds its own wiring (AppSync appends `@aws_subscribe` at push time;
+// the local platform routes its PubSub bridge from the same metadata).
 //
 // Generated from the same mutation entries as the query/mutation SDL so that
 // field names and argument types are always in sync.
@@ -23,8 +26,13 @@ open ReventlessInfra.Api
 // return type, so the subscription field has to declare CommandResult as well.
 let sourceCFields = (
   ~mutationEntries: array<mutationSchemaEntry>,
-): array<string> => {
+): (array<string>, array<GraphQL_Stitcher.subscriptionSource>) => {
   let fields: array<string> = []
+  let sources: array<GraphQL_Stitcher.subscriptionSource> = []
+  let pushField = (fieldName: string) => {
+    fields->Array.push(`  on${fieldName}(id: ID): CommandResult`)
+    sources->Array.push({GraphQL_Stitcher.field: `on${fieldName}`, mutations: [fieldName]})
+  }
   mutationEntries->Array.forEach(entry => {
     let schema = entry.commandSchema
     switch schema {
@@ -32,20 +40,18 @@ let sourceCFields = (
       anyOf->Array.forEachWithIndex((_, i) => {
         let fieldName = entry.fieldNames->Array.get(i)->Option.getOr("")
         if fieldName->String.length > 0 {
-          let sub = `  on${fieldName}(id: ID): CommandResult\n    @aws_subscribe(mutations: ["${fieldName}"])`
-          fields->Array.push(sub)
+          pushField(fieldName)
         }
       })
     | Object(_) =>
       let fieldName = entry.fieldNames->Array.get(0)->Option.getOr("")
       if fieldName->String.length > 0 {
-        let sub = `  on${fieldName}(id: ID): CommandResult\n    @aws_subscribe(mutations: ["${fieldName}"])`
-        fields->Array.push(sub)
+        pushField(fieldName)
       }
     | _ => ()
     }
   })
-  fields
+  (fields, sources)
 }
 
 // ── Source B: state-change subscriptions ─────────────────────────────────────
@@ -87,16 +93,20 @@ let sourceAFieldsAndTypes = (
 type result = {
   subscriptionFields: array<string>,
   extraTypes: array<string>,
+  subscriptionSources: array<GraphQL_Stitcher.subscriptionSource>,
 }
 
 let generate = (
   ~mutationEntries: array<mutationSchemaEntry>,
   ~eventLogEntries: array<eventLogSchemaEntry>,
 ): result => {
-  let cFields = sourceCFields(~mutationEntries)
+  let (cFields, cSources) = sourceCFields(~mutationEntries)
   let (aFields, aTypes) = sourceAFieldsAndTypes(~eventLogEntries)
+  // Source A fields carry no source mapping — they are pushed via the
+  // provider's events channel, not triggered by a mutation.
   {
     subscriptionFields: Array.flat([cFields, aFields]),
     extraTypes: aTypes,
+    subscriptionSources: cSources,
   }
 }

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

@@ -4,32 +4,40 @@ import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 
 function sourceCFields(mutationEntries) {
   let fields = [];
+  let sources = [];
+  let pushField = fieldName => {
+    fields.push(`  on` + fieldName + `(id: ID): CommandResult`);
+    sources.push({
+      field: `on` + fieldName,
+      mutations: [fieldName]
+    });
+  };
   mutationEntries.forEach(entry => {
     let schema = entry.commandSchema;
     switch (schema.type) {
       case "object" :
         let fieldName = Stdlib_Option.getOr(entry.fieldNames[0], "");
-        if (fieldName.length <= 0) {
+        if (fieldName.length > 0) {
+          return pushField(fieldName);
+        } else {
           return;
         }
-        let sub = `  on` + fieldName + `(id: ID): CommandResult\n    @aws_subscribe(mutations: ["` + fieldName + `"])`;
-        fields.push(sub);
-        return;
       case "union" :
         schema.anyOf.forEach((param, i) => {
           let fieldName = Stdlib_Option.getOr(entry.fieldNames[i], "");
-          if (fieldName.length <= 0) {
-            return;
+          if (fieldName.length > 0) {
+            return pushField(fieldName);
           }
-          let sub = `  on` + fieldName + `(id: ID): CommandResult\n    @aws_subscribe(mutations: ["` + fieldName + `"])`;
-          fields.push(sub);
         });
         return;
       default:
         return;
     }
   });
-  return fields;
+  return [
+    fields,
+    sources
+  ];
 }
 
 function sourceAFieldsAndTypes(eventLogEntries) {
@@ -52,14 +60,15 @@ function sourceAFieldsAndTypes(eventLogEntries) {
 }
 
 function generate(mutationEntries, eventLogEntries) {
-  let cFields = sourceCFields(mutationEntries);
-  let match = sourceAFieldsAndTypes(eventLogEntries);
+  let match = sourceCFields(mutationEntries);
+  let match$1 = sourceAFieldsAndTypes(eventLogEntries);
   return {
     subscriptionFields: [
-      cFields,
-      match[0]
+      match[0],
+      match$1[0]
     ].flat(),
-    extraTypes: match[1]
+    extraTypes: match$1[1],
+    subscriptionSources: match[1]
   };
 }
 

package/src/plugin/connect/PluginConnectExtension_Mapping.res

@@ -20,6 +20,10 @@ module ExtensionMapping = ReventlessInfra.ExtensionMapping
 
 module type Spec = {
   let pluginDefinition: Reventless.Plugin.pluginDefinition
+  // The plugin's UI-fragment manifest (no longer carried on pluginDefinition —
+  // the UiFragmentRegistry slice owns fragment state; the definition keeps
+  // lifecycle only). None for pure backend plugins.
+  let uiFragments: option<Reventless.Plugin.uiFragmentManifest>
 }
 
 module Make = (Spec: Spec) => {
@@ -46,12 +50,30 @@ module Make = (Spec: Spec) => {
         let id = pluginDefinition.id
 
         switch event {
-        | PluginExtensionPointSpec.UnknownPluginDetected if pluginId == id => [
-            PublishExtensionPointCommand(
-              id,
-              PluginExtensionPointSpec.ConnectPlugin(pluginDefinition),
-            ),
-          ]
+        // Answer the handshake, and — when this plugin ships a UI-fragment manifest — register
+        // it with the admin UiFragmentRegistry slice in the same step (the admin EP's
+        // UI-fragment mapping routes RegisterUiFragment to the slice). Nested switch (not
+        // Array.concat) so the outer branch's expected type disambiguates the bare
+        // PublishExtensionPointCommand constructor.
+        | PluginExtensionPointSpec.UnknownPluginDetected if pluginId == id =>
+          switch Spec.uiFragments {
+          | Some(manifest) => [
+              PublishExtensionPointCommand(
+                id,
+                PluginExtensionPointSpec.ConnectPlugin(pluginDefinition),
+              ),
+              PublishExtensionPointCommand(
+                id,
+                PluginExtensionPointSpec.RegisterUiFragment(manifest),
+              ),
+            ]
+          | None => [
+              PublishExtensionPointCommand(
+                id,
+                PluginExtensionPointSpec.ConnectPlugin(pluginDefinition),
+              ),
+            ]
+          }
         // PluginConnected / PluginReconnected / PluginDeactivated for peer
         // plugins used to call DoConnectPlugin / DoDisconnectPlugin here so
         // each plugin's EC Lambda could subscribe / unsubscribe its own