@reventlessdev/reventless-gwt 1.0.0-alpha.74 → 1.0.0-alpha.75

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.
 
+# 1.0.0-alpha.75 (2026-06-29)
+
+### Features
+
+* external-system boxes for translation slices (Event Graph data) ([3f8ad39](https://github.com/ReventlessDev/reventless-core/commit/3f8ad39b78a3cb1182d59a0e1fb203b7dcb7379b))
+
+
 # 1.0.0-alpha.74 (2026-06-27)
 
 ### Features

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-gwt",
-  "version": "1.0.0-alpha.74",
+  "version": "1.0.0-alpha.75",
   "description": "Given-When-Then DSLs and CLI runner for Reventless slice testing",
   "license": "Apache-2.0",
   "bin": {
@@ -21,16 +21,16 @@
     "picocolors": "^1.1.1",
     "sury": "11.0.0-alpha.4",
     "@reventlessdev/rescript-effect": "0.1.0-alpha.23",
-    "@reventlessdev/reventless-core": "3.0.0-alpha.134",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.81",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.61",
+    "@reventlessdev/reventless-core": "3.0.0-alpha.135",
     "@reventlessdev/rescript-jest": "1.0.0-alpha.3",
-    "@reventlessdev/reventless-vscode-protocol": "1.0.0-alpha.8"
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.82",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.62",
+    "@reventlessdev/reventless-vscode-protocol": "1.0.0-alpha.9"
   },
   "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/FormatterVsCode.res

@@ -262,7 +262,7 @@ let graph = (g: DomainGraph.graph) =>
         label: n.label,
         plugin: n.plugin,
       }),
-      edges: g.edges->Array.map((e): P.graphEdge => {from: e.from, to_: e.to, kind: e.kind}),
+      edges: g.edges->Array.map((e): P.graphEdge => {from: e.from, to_: e.to, kind: e.kind, label: ?e.label}),
     }),
   )
 

package/src/FormatterVsCode.res.mjs

@@ -291,7 +291,8 @@ function graph(g) {
   let e_1 = g.edges.map(e => ({
     from: e.from,
     to: e.to,
-    kind: e.kind
+    kind: e.kind,
+    label: e.label
   }));
   let e = {
     event: "graph",

package/tests/DomainGraphTest.res

@@ -47,17 +47,19 @@ let automation = (~name, ~consumes=[], ~produces=[], ~target=""): Reventless.Plu
   targetName: target,
 }
 
-let inbound = (~name, ~produces=[], ~target=""): Reventless.Plugin.inboundTranslationSliceDef => {
+let inbound = (~name, ~produces=[], ~target="", ~ext=None): Reventless.Plugin.inboundTranslationSliceDef => {
   name,
   commandTypes: produces,
   targetName: target,
+  externalSystem: ext,
 }
 
-let outbound = (~name, ~consumes=[], ~produces=[], ~target=None): Reventless.Plugin.outboundTranslationSliceDef => {
+let outbound = (~name, ~consumes=[], ~produces=[], ~target=None, ~ext=None): Reventless.Plugin.outboundTranslationSliceDef => {
   name,
   consumedEventTypes: consumes,
   inboundCommandTypes: produces,
   targetName: target,
+  externalSystem: ext,
 }
 
 let structure = (
@@ -83,6 +85,8 @@ let structure = (
 
 let hasEdge = (g: DomainGraph.graph, from, to, kind) =>
   g.edges->Array.some(e => e.from == from && e.to == to && e.kind == kind)
+let edgeLabel = (g: DomainGraph.graph, from, to, kind) =>
+  g.edges->Array.find(e => e.from == from && e.to == to && e.kind == kind)->Option.flatMap(e => e.label)
 let nodeKind = (g: DomainGraph.graph, id) =>
   g.nodes->Array.find(n => n.id == id)->Option.map(n => n.kind)
 
@@ -128,6 +132,25 @@ describe("DomainGraph.build", () => {
     expect(hasEdge(g, "Catalog:Category", "Catalog.Archived", "emits"))->toBe(true)
   })
 
+  testPromise("a payload-less event also projects into the aggregate's linked view", async () => {
+    // Classic aggregate → linked view: the projection drew only producedEventTypes, which
+    // drops payload-less events — so a bare `| Archived` emitted but never reached the view.
+    // It must now project too (matching the emit), just like the payloaded `Added`.
+    let shop = structure(
+      ~aggregates=[
+        writable(
+          ~name="Category",
+          ~produces=["Catalog.Added"],
+          ~events=[evt(~name="Added"), evt(~name="Archived")],
+          ~linkedViews=["Categories"],
+        ),
+      ],
+    )
+    let g = DomainGraph.build(~structures=[("Catalog", shop)])
+    expect(hasEdge(g, "Catalog.Added", "Catalog:Categories", "projects"))->toBe(true)
+    expect(hasEdge(g, "Catalog.Archived", "Catalog:Categories", "projects"))->toBe(true)
+  })
+
   testPromise("an Internal StateViewSlice still gets a node + projects edge (dev graph shows it)", async () => {
     // Internal components are hidden from the deployed AutoUI but carried in pluginStructure
     // so the developer-facing domain graph can render them — see Plugin_Structure.res /
@@ -217,6 +240,60 @@ describe("DomainGraph.build", () => {
     expect(hasEdge(g, "Shop:ExportProduct", "Shop_Product_Sync", "delegatesTo"))->toBe(true)
   })
 
+  testPromise("an inbound translation naming an external system draws a box feeding it", async () => {
+    let shop = structure(
+      ~inboundTranslationSlices=[
+        inbound(~name="ImportProduct", ~produces=["ImportProduct.Add"], ~target="Product", ~ext=Some("SupplierFeed")),
+      ],
+    )
+    let g = DomainGraph.build(~structures=[("Shop", shop)])
+    // External box: drawn OUTSIDE the plugin (plugin: "") with a stable "ext:<name>" id.
+    expect(nodeKind(g, "ext:SupplierFeed"))->toEqual(Some("ExternalSystem"))
+    expect(g.nodes->Array.find(n => n.id == "ext:SupplierFeed")->Option.map(n => n.plugin))->toEqual(Some(""))
+    // Inbound direction: external → slice (unlabelled — the arrowhead carries the meaning).
+    expect(hasEdge(g, "ext:SupplierFeed", "Shop:ImportProduct", "translatesIn"))->toBe(true)
+    expect(edgeLabel(g, "ext:SupplierFeed", "Shop:ImportProduct", "translatesIn"))->toEqual(None)
+  })
+
+  testPromise("an outbound translation naming an external system feeds the box", async () => {
+    let shop = structure(
+      ~outboundTranslationSlices=[
+        outbound(~name="SendEmail", ~consumes=["Shop.Placed"], ~target=None, ~ext=Some("EmailService")),
+      ],
+    )
+    let g = DomainGraph.build(~structures=[("Shop", shop)])
+    expect(nodeKind(g, "ext:EmailService"))->toEqual(Some("ExternalSystem"))
+    // Outbound direction: slice → external (unlabelled — the arrowhead carries the meaning).
+    expect(hasEdge(g, "Shop:SendEmail", "ext:EmailService", "translatesOut"))->toBe(true)
+    expect(edgeLabel(g, "Shop:SendEmail", "ext:EmailService", "translatesOut"))->toEqual(None)
+  })
+
+  testPromise("translation slices with no external system draw no box (opt-in)", async () => {
+    let shop = structure(
+      ~inboundTranslationSlices=[inbound(~name="ImportProduct", ~target="Product")],
+    )
+    let g = DomainGraph.build(~structures=[("Shop", shop)])
+    expect(g.nodes->Array.some(n => n.kind == "ExternalSystem"))->toBe(false)
+  })
+
+  testPromise("two slices naming the same external system share one deduped box", async () => {
+    let a = structure(
+      ~outboundTranslationSlices=[
+        outbound(~name="SendEmailA", ~consumes=["A.X"], ~target=None, ~ext=Some("EmailService")),
+      ],
+    )
+    let b = structure(
+      ~inboundTranslationSlices=[
+        inbound(~name="FromEmail", ~produces=["FromEmail.Record"], ~target="Inbox", ~ext=Some("EmailService")),
+      ],
+    )
+    let g = DomainGraph.build(~structures=[("PluginA", a), ("PluginB", b)])
+    // One shared box (per-platform dedup by name) with both an out- and an in-edge.
+    expect(g.nodes->Array.filter(n => n.id == "ext:EmailService")->Array.length)->toBe(1)
+    expect(hasEdge(g, "PluginA:SendEmailA", "ext:EmailService", "translatesOut"))->toBe(true)
+    expect(hasEdge(g, "ext:EmailService", "PluginB:FromEmail", "translatesIn"))->toBe(true)
+  })
+
   testPromise("an event produced by two write-sides is one node with two emit edges", async () => {
     let shop = structure(
       ~aggregates=[

package/tests/DomainGraphTest.res.mjs

@@ -71,25 +71,29 @@ function automation(name, consumesOpt, producesOpt, targetOpt) {
   };
 }
 
-function inbound(name, producesOpt, targetOpt) {
+function inbound(name, producesOpt, targetOpt, extOpt) {
   let produces = producesOpt !== undefined ? producesOpt : [];
   let target = targetOpt !== undefined ? targetOpt : "";
+  let ext = extOpt !== undefined ? Primitive_option.valFromOption(extOpt) : undefined;
   return {
     name: name,
     commandTypes: produces,
-    targetName: target
+    targetName: target,
+    externalSystem: ext
   };
 }
 
-function outbound(name, consumesOpt, producesOpt, targetOpt) {
+function outbound(name, consumesOpt, producesOpt, targetOpt, extOpt) {
   let consumes = consumesOpt !== undefined ? consumesOpt : [];
   let produces = producesOpt !== undefined ? producesOpt : [];
   let target = targetOpt !== undefined ? Primitive_option.valFromOption(targetOpt) : undefined;
+  let ext = extOpt !== undefined ? Primitive_option.valFromOption(extOpt) : undefined;
   return {
     name: name,
     consumedEventTypes: consumes,
     inboundCommandTypes: produces,
-    targetName: target
+    targetName: target,
+    externalSystem: ext
   };
 }
 
@@ -125,6 +129,16 @@ function hasEdge(g, from, to, kind) {
   });
 }
 
+function edgeLabel(g, from, to, kind) {
+  return Stdlib_Option.flatMap(g.edges.find(e => {
+    if (e.from === from && e.to === to) {
+      return e.kind === kind;
+    } else {
+      return false;
+    }
+  }), e => e.label);
+}
+
 function nodeKind(g, id) {
   return Stdlib_Option.map(g.nodes.find(n => n.id === id), n => n.kind);
 }
@@ -166,6 +180,26 @@ globalThis.describe("DomainGraph.build", () => {
     globalThis.expect(hasEdge(g, "Catalog:Category", "Catalog.Added", "emits")).toBe(true);
     globalThis.expect(hasEdge(g, "Catalog:Category", "Catalog.Archived", "emits")).toBe(true);
   });
+  globalThis.test("a payload-less event also projects into the aggregate's linked view", async () => {
+    let shop = structure([writable("Category", undefined, ["Catalog.Added"], undefined, ["Categories"], [
+        {
+          name: "Added",
+          schema: "",
+          references: []
+        },
+        {
+          name: "Archived",
+          schema: "",
+          references: []
+        }
+      ])], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
+    let g = DomainGraph$ReventlessGwt.build([[
+        "Catalog",
+        shop
+      ]]);
+    globalThis.expect(hasEdge(g, "Catalog.Added", "Catalog:Categories", "projects")).toBe(true);
+    globalThis.expect(hasEdge(g, "Catalog.Archived", "Catalog:Categories", "projects")).toBe(true);
+  });
   globalThis.test("an Internal StateViewSlice still gets a node + projects edge (dev graph shows it)", async () => {
     let shop = structure([writable("Order", undefined, ["Shop.Placed"], undefined, undefined, undefined)], undefined, [queryable("AvailableView", ["Shop.Placed"], "Internal")], undefined, undefined, undefined, undefined, undefined);
     let g = DomainGraph$ReventlessGwt.build([[
@@ -209,7 +243,7 @@ globalThis.describe("DomainGraph.build", () => {
     globalThis.expect(hasEdge(g, "Shop:AutoShip", "Shop_Ship_Place", "delegatesTo")).toBe(false);
   });
   globalThis.test("an inbound translation routes to the command it raises on its target", async () => {
-    let shop = structure(undefined, undefined, undefined, [writable("Product", [command("Add", "Shop_Product_Add", undefined)], undefined, undefined, undefined, undefined)], undefined, undefined, [inbound("ImportProduct", ["ImportProduct.Add"], "Product")], undefined);
+    let shop = structure(undefined, undefined, undefined, [writable("Product", [command("Add", "Shop_Product_Add", undefined)], undefined, undefined, undefined, undefined)], undefined, undefined, [inbound("ImportProduct", ["ImportProduct.Add"], "Product", undefined)], undefined);
     let g = DomainGraph$ReventlessGwt.build([[
         "Shop",
         shop
@@ -218,13 +252,59 @@ globalThis.describe("DomainGraph.build", () => {
     globalThis.expect(hasEdge(g, "Shop:ImportProduct", "Shop_Product_Add", "delegatesTo")).toBe(true);
   });
   globalThis.test("an outbound translation with a target routes to the command it raises", async () => {
-    let shop = structure(undefined, undefined, undefined, [writable("Product", [command("Sync", "Shop_Product_Sync", undefined)], undefined, undefined, undefined, undefined)], undefined, [outbound("ExportProduct", ["Shop.Added"], ["ExportProduct.Sync"], "Product")], undefined, undefined);
+    let shop = structure(undefined, undefined, undefined, [writable("Product", [command("Sync", "Shop_Product_Sync", undefined)], undefined, undefined, undefined, undefined)], undefined, [outbound("ExportProduct", ["Shop.Added"], ["ExportProduct.Sync"], "Product", undefined)], undefined, undefined);
     let g = DomainGraph$ReventlessGwt.build([[
         "Shop",
         shop
       ]]);
     globalThis.expect(hasEdge(g, "Shop:ExportProduct", "Shop_Product_Sync", "delegatesTo")).toBe(true);
   });
+  globalThis.test("an inbound translation naming an external system draws a box feeding it", async () => {
+    let shop = structure(undefined, undefined, undefined, undefined, undefined, undefined, [inbound("ImportProduct", ["ImportProduct.Add"], "Product", "SupplierFeed")], undefined);
+    let g = DomainGraph$ReventlessGwt.build([[
+        "Shop",
+        shop
+      ]]);
+    globalThis.expect(nodeKind(g, "ext:SupplierFeed")).toEqual("ExternalSystem");
+    globalThis.expect(Stdlib_Option.map(g.nodes.find(n => n.id === "ext:SupplierFeed"), n => n.plugin)).toEqual("");
+    globalThis.expect(hasEdge(g, "ext:SupplierFeed", "Shop:ImportProduct", "translatesIn")).toBe(true);
+    globalThis.expect(edgeLabel(g, "ext:SupplierFeed", "Shop:ImportProduct", "translatesIn")).toEqual(undefined);
+  });
+  globalThis.test("an outbound translation naming an external system feeds the box", async () => {
+    let shop = structure(undefined, undefined, undefined, undefined, undefined, [outbound("SendEmail", ["Shop.Placed"], undefined, Primitive_option.some(undefined), "EmailService")], undefined, undefined);
+    let g = DomainGraph$ReventlessGwt.build([[
+        "Shop",
+        shop
+      ]]);
+    globalThis.expect(nodeKind(g, "ext:EmailService")).toEqual("ExternalSystem");
+    globalThis.expect(hasEdge(g, "Shop:SendEmail", "ext:EmailService", "translatesOut")).toBe(true);
+    globalThis.expect(edgeLabel(g, "Shop:SendEmail", "ext:EmailService", "translatesOut")).toEqual(undefined);
+  });
+  globalThis.test("translation slices with no external system draw no box (opt-in)", async () => {
+    let shop = structure(undefined, undefined, undefined, undefined, undefined, undefined, [inbound("ImportProduct", undefined, "Product", undefined)], undefined);
+    let g = DomainGraph$ReventlessGwt.build([[
+        "Shop",
+        shop
+      ]]);
+    globalThis.expect(g.nodes.some(n => n.kind === "ExternalSystem")).toBe(false);
+  });
+  globalThis.test("two slices naming the same external system share one deduped box", async () => {
+    let a = structure(undefined, undefined, undefined, undefined, undefined, [outbound("SendEmailA", ["A.X"], undefined, Primitive_option.some(undefined), "EmailService")], undefined, undefined);
+    let b = structure(undefined, undefined, undefined, undefined, undefined, undefined, [inbound("FromEmail", ["FromEmail.Record"], "Inbox", "EmailService")], undefined);
+    let g = DomainGraph$ReventlessGwt.build([
+      [
+        "PluginA",
+        a
+      ],
+      [
+        "PluginB",
+        b
+      ]
+    ]);
+    globalThis.expect(g.nodes.filter(n => n.id === "ext:EmailService").length).toBe(1);
+    globalThis.expect(hasEdge(g, "PluginA:SendEmailA", "ext:EmailService", "translatesOut")).toBe(true);
+    globalThis.expect(hasEdge(g, "ext:EmailService", "PluginB:FromEmail", "translatesIn")).toBe(true);
+  });
   globalThis.test("an event produced by two write-sides is one node with two emit edges", async () => {
     let shop = structure([
       writable("A", undefined, ["Shop.Touched"], undefined, undefined, undefined),
@@ -408,6 +488,7 @@ export {
   outbound,
   structure,
   hasEdge,
+  edgeLabel,
   nodeKind,
 }
 /*  Not a pure module */

package/tests/FlowGwtTest.res.mjs

@@ -307,7 +307,8 @@ let ConfirmSlice = {
   consumedEventSchema: consumedEventSchema$4,
   outboundItemSchema: outboundItemSchema,
   inboundCommandSchema: S.unit,
-  collect: collect$1
+  collect: collect$1,
+  externalSystem: undefined
 };
 
 let Place = Flow_GWT$ReventlessGwt.CommandStep(PlaceOrderSlice)({

package/tests/InboundTranslationGwtTest.res.mjs

@@ -46,7 +46,8 @@ let PaymentWebhookSlice = {
   externalInputSchema: externalInputSchema,
   commandSchema: commandSchema,
   translate: translate,
-  commandAuthorization: commandAuthorization
+  commandAuthorization: commandAuthorization,
+  externalSystem: undefined
 };
 
 let include = InboundTranslation_GWT$ReventlessGwt.Make(PaymentWebhookSlice);

package/tests/OutboundTranslationGwtTest.res.mjs

@@ -32,7 +32,8 @@ let SendTrackingEmailSlice = {
   consumedEventSchema: consumedEventSchema,
   outboundItemSchema: outboundItemSchema,
   inboundCommandSchema: inboundCommandSchema,
-  collect: collect
+  collect: collect,
+  externalSystem: undefined
 };
 
 let include = OutboundTranslation_GWT$ReventlessGwt.Make(SendTrackingEmailSlice);