@reventlessdev/reventless-core 3.0.0-alpha.134 → 3.0.0-alpha.135

package/CHANGELOG.md

@@ -3,6 +3,13 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 3.0.0-alpha.135 (2026-06-29)
+
+### Features
+
+* external-system boxes for translation slices (Event Graph data) ([3f8ad39](https://github.com/ReventlessDev/reventless-core/commit/3f8ad39b78a3cb1182d59a0e1fb203b7dcb7379b))
+
+
 # 3.0.0-alpha.134 (2026-06-27)
 
 ### Bug Fixes

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-core",
-  "version": "3.0.0-alpha.134",
+  "version": "3.0.0-alpha.135",
   "description": "Core package for Reventless framework",
   "license": "Apache-2.0",
   "jest": {
@@ -29,21 +29,21 @@
     "sury": "11.0.0-alpha.4",
     "uuid": "^13.0.0",
     "@reventlessdev/rescript-effect": "0.1.0-alpha.23",
+    "@reventlessdev/rescript-hash-object": "1.2.0-alpha.10",
     "@reventlessdev/rescript-fast-csv": "1.2.0-alpha.11",
     "@reventlessdev/rescript-jest": "1.0.0-alpha.3",
     "@reventlessdev/rescript-node-streams": "1.1.0-alpha.10",
-    "@reventlessdev/rescript-hash-object": "1.2.0-alpha.10",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.14",
     "@reventlessdev/rescript-ssh2": "1.1.0-alpha.11",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.81",
+    "@reventlessdev/rescript-uuid": "1.1.0-alpha.13",
     "@reventlessdev/reventless-interop": "3.0.0-alpha.21",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.61",
-    "@reventlessdev/rescript-uuid": "1.1.0-alpha.13"
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.62",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.82"
   },
   "devDependencies": {
     "rescript": "^12.3.0",
     "sury-ppx": "11.0.0-alpha.2",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.47"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.48"
   },
   "peerDependencies": {
     "rescript": "^12.3.0"

package/src/components/ReadModel/ReadModel.res

@@ -19,6 +19,11 @@ module type T = {
     ~opts: Pulumi.ComponentResource.options=?,
   ) => component
   let sourceNames: array<string>
+  /** Bare event-variant names consumed across every projection mapping's source event
+      schema — names the actual events (so a DCB-log-sourced mapping is captured), unlike
+      `sourceNames` which only lists source aggregate / DCB-log names. Surfaced by
+      Plugin_Structure as `queryableDef.consumedEventTypes`. */
+  let consumedEventNames: array<string>
   let outputs: component => outputs
   let operations: component => Pulumi.Output.t<operations>
   let finish: unit => unit

package/src/components/ReadModel/ReadModel_Builder.res

@@ -25,6 +25,18 @@ module Make = (
     ->Belt.Set.String.fromArray
     ->Belt.Set.String.toArray
 
+  // Bare event-variant names consumed across every mapping's source event schema — the
+  // union the reflected graph turns into Event→ReadModel "projects" edges (see
+  // Plugin_Structure / DomainGraph). A DCB-log-sourced mapping declares a narrow event type
+  // (e.g. just `OrderPlaced`), so this captures cross-source events `sourceNames` can't name.
+  let consumedEventNames =
+    Mappings.mappings
+    ->Array.flatMap((module(Mapping: Mappings.Mapping)) =>
+      Reventless.DcbTag.extractVariantNames(Mapping.sourceEventSchema->S.castToUnknown)
+    )
+    ->Belt.Set.String.fromArray
+    ->Belt.Set.String.toArray
+
   type api = QueryDbStorage.api
   type role = QueryDbStorage.role
   type component = ReadModel.component

package/src/components/ReadModel/ReadModel_Builder.res.mjs

@@ -4,6 +4,7 @@ import * as Output$Pulumi from "@reventlessdev/rescript-pulumi-pulumi/src/Output
 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_string from "@rescript/runtime/lib/es6/Primitive_string.js";
+import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as Component$ReventlessCore from "../Component.res.mjs";
 import * as ReadModel$ReventlessCore from "./ReadModel.res.mjs";
 import * as EventTopic$ReventlessCore from "../EventTopic/EventTopic.res.mjs";
@@ -15,6 +16,7 @@ import * as EventCollector_Builder$ReventlessCore from "../EventCollector/EventC
 function Make(Spec) {
   return Mappings => (RuntimeEnvironment => (QueryDbStorage => (QueryDbResolvers => (EventCollectorChannel => (EventCollectorRuntimeBuilder => {
     let sourceNames = Belt_SetString.toArray(Belt_SetString.fromArray(Mappings.mappings.map(Mapping => Mapping.sourceName)));
+    let consumedEventNames = Belt_SetString.toArray(Belt_SetString.fromArray(Mappings.mappings.flatMap(Mapping => DcbTag$Reventless.extractVariantNames(Mapping.sourceEventSchema))));
     let make = (api, apiRole, allEventTopics, opts) => Component$ReventlessCore.make(ComponentType$ReventlessCore.toString(ReadModel$ReventlessCore.componentType), Spec.name, (extra, extra$1) => {
       let opts_parent = Component$ReventlessCore.toPulumiResource(extra);
       let opts = {
@@ -88,6 +90,7 @@ function Make(Spec) {
       EventCollectorRuntimeBuilder: EventCollectorRuntimeBuilder,
       make: make,
       sourceNames: sourceNames,
+      consumedEventNames: consumedEventNames,
       outputs: Component$ReventlessCore.outputs,
       operations: Component$ReventlessCore.operations,
       finish: finish

package/src/plugin/component/Plugin_Structure.res

@@ -390,12 +390,17 @@ let make = (
         ~entityName=R.Spec.name,
         stateSchema,
       )
+      // The events this read model projects from, qualified to the plugin's event ids so
+      // they match the producers' nodes in the graph. Was empty — which dropped projection
+      // edges for any event reaching the read model via a DCB-log-sourced mapping (a classic
+      // aggregate→view link is also drawn from the producer's linkedViews, deduped downstream).
+      let consumed = qualify(~prefix=name, R.consumedEventNames)
       ({
         Reventless.Plugin.name: R.Spec.name,
         queryField: qf.listFieldName,
         schema: stateSchema->SuryToJsonSchema.deriveObjectSchema->JSON.stringify,
-        consumedEventTypes: [],
-        linkedWriteSide: [],
+        consumedEventTypes: consumed,
+        linkedWriteSide: linkedWriteSideFor(consumed),
         labelField,
         searchableFields,
         statusField: statusFieldFromStateSchema(stateSchema),
@@ -497,6 +502,7 @@ let make = (
       consumedEventTypes: qualify(~prefix=name, eventVariantNames(OTS.Spec.consumedEventSchema)),
       inboundCommandTypes: qualify(~prefix=name, commandVariantNames(OTS.Spec.inboundCommandSchema)),
       targetName: OTS.Spec.targetName,
+      externalSystem: OTS.Spec.externalSystem,
     }: Reventless.Plugin.outboundTranslationSliceDef))
 
   // ── Inbound translation slices ────────────────────────────────────────────
@@ -506,6 +512,7 @@ let make = (
       Reventless.Plugin.name: ITS.Spec.name,
       commandTypes: qualify(~prefix=name, commandVariantNames(ITS.Spec.commandSchema)),
       targetName: ITS.Spec.targetName,
+      externalSystem: ITS.Spec.externalSystem,
     }: Reventless.Plugin.inboundTranslationSliceDef))
 
   // ── Extensions ───────────────────────────────────────────────────────────

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

@@ -323,12 +323,13 @@ function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChang
     let qf = Api_Naming$ReventlessCore.queryFieldNamesForReadModel(name, R.Spec.name, undefined);
     let stateSchema = R.Spec.stateSchema;
     let match = labelFieldsFromStateSchema(R.Spec.name, stateSchema);
+    let consumed = qualify(name, R.consumedEventNames);
     return {
       name: R.Spec.name,
       queryField: qf.listFieldName,
       schema: JSON.stringify(SuryToJsonSchema$ReventlessCore.deriveObjectSchema(stateSchema)),
-      consumedEventTypes: [],
-      linkedWriteSide: [],
+      consumedEventTypes: consumed,
+      linkedWriteSide: linkedWriteSideFor(consumed),
       labelField: match[0],
       searchableFields: match[1],
       statusField: statusFieldFromStateSchema(stateSchema),
@@ -394,12 +395,14 @@ function make(name, aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChang
     name: OTS.Spec.name,
     consumedEventTypes: qualify(name, DcbTag$Reventless.extractVariantNames(OTS.Spec.consumedEventSchema)),
     inboundCommandTypes: qualify(name, DcbTag$Reventless.extractAllVariantNames(OTS.Spec.inboundCommandSchema)),
-    targetName: OTS.Spec.targetName
+    targetName: OTS.Spec.targetName,
+    externalSystem: OTS.Spec.externalSystem
   }));
   let inboundTranslationSliceDefs = inboundTranslationSlices.map(ITS => ({
     name: ITS.Spec.name,
     commandTypes: qualify(name, DcbTag$Reventless.extractAllVariantNames(ITS.Spec.commandSchema)),
-    targetName: ITS.Spec.targetName
+    targetName: ITS.Spec.targetName,
+    externalSystem: ITS.Spec.externalSystem
   }));
   let extensionDefs = extensions.map(E => {
     let delegateNames = E.mappings.map(M => M.delegateName);

package/tests/admin/Platform_ComponentDefinitionsApiTest.res

@@ -59,10 +59,11 @@ let structure: pluginStructure = {
       consumedEventTypes: ["OrderPlaced"],
       inboundCommandTypes: ["Ship"],
       targetName: None,
+      externalSystem: None,
     },
   ],
   inboundTranslationSlices: [
-    {name: "FromBilling", commandTypes: ["RecordPayment"], targetName: "Order"},
+    {name: "FromBilling", commandTypes: ["RecordPayment"], targetName: "Order", externalSystem: None},
   ],
   extensions: [
     {

package/tests/admin/Platform_ComponentDefinitionsApiTest.res.mjs

@@ -85,13 +85,15 @@ let structure_outboundTranslationSlices = [{
     name: "ToShipper",
     consumedEventTypes: ["OrderPlaced"],
     inboundCommandTypes: ["Ship"],
-    targetName: undefined
+    targetName: undefined,
+    externalSystem: undefined
   }];
 
 let structure_inboundTranslationSlices = [{
     name: "FromBilling",
     commandTypes: ["RecordPayment"],
-    targetName: "Order"
+    targetName: "Order",
+    externalSystem: undefined
   }];
 
 let structure_extensions = [{

package/tests/plugin/ManifestVisibilityTest.res

@@ -45,6 +45,9 @@ module PublicReadModel: ReventlessInfra.ReadModel.T
   type role = unit
   type component
   let sourceNames: array<string> = []
+  // A read model that projects an event reaching it via a (DCB-log-sourced) mapping — the
+  // case Plugin_Structure must surface as a qualified `consumedEventTypes` entry.
+  let consumedEventNames: array<string> = ["OrderPlaced"]
   let make = (~api as _, ~apiRole as _, ~allEventTopics as _, ~opts as _=?): component =>
     Obj.magic(0)
   let outputs = (_: component): ReventlessInfra.ReadModel.outputs => Obj.magic(0)
@@ -60,6 +63,7 @@ module InternalReadModel: ReventlessInfra.ReadModel.T
   type role = unit
   type component
   let sourceNames: array<string> = []
+  let consumedEventNames: array<string> = []
   let make = (~api as _, ~apiRole as _, ~allEventTopics as _, ~opts as _=?): component =>
     Obj.magic(0)
   let outputs = (_: component): ReventlessInfra.ReadModel.outputs => Obj.magic(0)
@@ -128,6 +132,16 @@ describe("Plugin_Structure.make — visibility tagging", () => {
     expect(internal->Option.map(d => d.visibility))->toEqual(Some(Some("Internal")))
   })
 
+  testSync("a read model's mapping-consumed events surface as qualified consumedEventTypes", () => {
+    // Q6 #2: a classic read model fed via a (DCB-log-sourced) mapping now reflects the
+    // events it projects from, qualified to the plugin — so DomainGraph draws the
+    // Event→ReadModel projection edge (e.g. OrderPlaced → Customers).
+    let public = structure.readModels->Array.find(d => d.name == "PublicView")
+    expect(public->Option.map(d => d.consumedEventTypes))->toEqual(
+      Some(["VisibilityPlugin.OrderPlaced"]),
+    )
+  })
+
   testSync("aggregates / stateViewSlices stay empty when none are passed (sanity)", () => {
     expect((
       structure.aggregates->Array.length,

package/tests/plugin/ManifestVisibilityTest.res.mjs

@@ -53,6 +53,8 @@ let InternalSpec = {
 
 let sourceNames = [];
 
+let consumedEventNames = ["OrderPlaced"];
+
 function make(param, param$1, param$2, param$3) {
   return 0;
 }
@@ -89,6 +91,7 @@ let PublicReadModel_Spec = {
 let PublicReadModel = {
   Spec: PublicReadModel_Spec,
   sourceNames: sourceNames,
+  consumedEventNames: consumedEventNames,
   make: make,
   outputs: outputs,
   operations: operations,
@@ -97,6 +100,8 @@ let PublicReadModel = {
 
 let sourceNames$1 = [];
 
+let consumedEventNames$1 = [];
+
 function make$1(param, param$1, param$2, param$3) {
   return 0;
 }
@@ -133,6 +138,7 @@ let InternalReadModel_Spec = {
 let InternalReadModel = {
   Spec: InternalReadModel_Spec,
   sourceNames: sourceNames$1,
+  consumedEventNames: consumedEventNames$1,
   make: make$1,
   outputs: outputs$1,
   operations: operations$1,
@@ -183,6 +189,10 @@ globalThis.describe("Plugin_Structure.make — visibility tagging", () => {
     let internal = structure.readModels.find(d => d.name === "InternalView");
     globalThis.expect(Stdlib_Option.map(internal, d => d.visibility)).toEqual("Internal");
   });
+  globalThis.test("a read model's mapping-consumed events surface as qualified consumedEventTypes", () => {
+    let $$public = structure.readModels.find(d => d.name === "PublicView");
+    globalThis.expect(Stdlib_Option.map($$public, d => d.consumedEventTypes)).toEqual(["VisibilityPlugin.OrderPlaced"]);
+  });
   globalThis.test("aggregates / stateViewSlices stay empty when none are passed (sanity)", () => {
     globalThis.expect([
       structure.aggregates.length,