@reventlessdev/reventless-gwt 1.0.0-alpha.114 → 1.0.0-alpha.116

package/tests/DomainGraphTest.res.mjs

@@ -1,505 +0,0 @@
-// Generated by ReScript, PLEASE EDIT WITH CARE
-
-import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
-import * as Primitive_object from "@rescript/runtime/lib/es6/Primitive_object.js";
-import * as Primitive_option from "@rescript/runtime/lib/es6/Primitive_option.js";
-import * as DomainGraph$ReventlessGwt from "../src/DomainGraph.res.mjs";
-
-function command(name, mutationField, apiExposedOpt) {
-  let apiExposed = apiExposedOpt !== undefined ? Primitive_option.valFromOption(apiExposedOpt) : undefined;
-  return {
-    name: name,
-    schema: "",
-    level: "Instance",
-    aggregateIdField: undefined,
-    mutationField: mutationField,
-    references: [],
-    allowedStates: undefined,
-    apiExposed: apiExposed
-  };
-}
-
-function evt(name) {
-  return {
-    name: name,
-    schema: "",
-    references: []
-  };
-}
-
-function writable(name, commandsOpt, producesOpt, consumesOpt, linkedViewsOpt, eventsOpt, chapterOpt) {
-  let commands = commandsOpt !== undefined ? commandsOpt : [];
-  let produces = producesOpt !== undefined ? producesOpt : [];
-  let consumes = consumesOpt !== undefined ? consumesOpt : [];
-  let linkedViews = linkedViewsOpt !== undefined ? linkedViewsOpt : [];
-  let events = eventsOpt !== undefined ? eventsOpt : [];
-  let chapter = chapterOpt !== undefined ? Primitive_option.valFromOption(chapterOpt) : undefined;
-  return {
-    name: name,
-    commands: commands,
-    producedEventTypes: produces,
-    consumedEventTypes: consumes,
-    linkedViews: linkedViews,
-    consistencyRead: undefined,
-    events: events,
-    chapter: chapter
-  };
-}
-
-function queryable(name, consumesOpt, visibilityOpt, chapterOpt) {
-  let consumes = consumesOpt !== undefined ? consumesOpt : [];
-  let visibility = visibilityOpt !== undefined ? Primitive_option.valFromOption(visibilityOpt) : undefined;
-  let chapter = chapterOpt !== undefined ? Primitive_option.valFromOption(chapterOpt) : undefined;
-  return {
-    name: name,
-    queryField: "",
-    schema: "",
-    consumedEventTypes: consumes,
-    linkedWriteSide: [],
-    labelField: "id",
-    searchableFields: [],
-    statusField: undefined,
-    visibility: visibility,
-    chapter: chapter
-  };
-}
-
-function automation(name, consumesOpt, producesOpt, targetOpt, chapterOpt) {
-  let consumes = consumesOpt !== undefined ? consumesOpt : [];
-  let produces = producesOpt !== undefined ? producesOpt : [];
-  let target = targetOpt !== undefined ? targetOpt : "";
-  let chapter = chapterOpt !== undefined ? Primitive_option.valFromOption(chapterOpt) : undefined;
-  return {
-    name: name,
-    consumedEventTypes: consumes,
-    producedCommandTypes: produces,
-    targetName: target,
-    chapter: chapter
-  };
-}
-
-function inbound(name, producesOpt, targetOpt, extOpt, chapterOpt) {
-  let produces = producesOpt !== undefined ? producesOpt : [];
-  let target = targetOpt !== undefined ? targetOpt : "";
-  let ext = extOpt !== undefined ? Primitive_option.valFromOption(extOpt) : undefined;
-  let chapter = chapterOpt !== undefined ? Primitive_option.valFromOption(chapterOpt) : undefined;
-  return {
-    name: name,
-    commandTypes: produces,
-    targetName: target,
-    externalSystem: ext,
-    chapter: chapter
-  };
-}
-
-function outbound(name, consumesOpt, producesOpt, targetOpt, extOpt, chapterOpt) {
-  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;
-  let chapter = chapterOpt !== undefined ? Primitive_option.valFromOption(chapterOpt) : undefined;
-  return {
-    name: name,
-    consumedEventTypes: consumes,
-    inboundCommandTypes: produces,
-    targetName: target,
-    externalSystem: ext,
-    chapter: chapter
-  };
-}
-
-function structure(aggregatesOpt, readModelsOpt, stateViewSlicesOpt, stateChangeSlicesOpt, automationSlicesOpt, outboundTranslationSlicesOpt, inboundTranslationSlicesOpt, extensionPointsOpt) {
-  let aggregates = aggregatesOpt !== undefined ? aggregatesOpt : [];
-  let readModels = readModelsOpt !== undefined ? readModelsOpt : [];
-  let stateViewSlices = stateViewSlicesOpt !== undefined ? stateViewSlicesOpt : [];
-  let stateChangeSlices = stateChangeSlicesOpt !== undefined ? stateChangeSlicesOpt : [];
-  let automationSlices = automationSlicesOpt !== undefined ? automationSlicesOpt : [];
-  let outboundTranslationSlices = outboundTranslationSlicesOpt !== undefined ? outboundTranslationSlicesOpt : [];
-  let inboundTranslationSlices = inboundTranslationSlicesOpt !== undefined ? inboundTranslationSlicesOpt : [];
-  let extensionPoints = extensionPointsOpt !== undefined ? extensionPointsOpt : [];
-  return {
-    readModels: readModels,
-    stateViewSlices: stateViewSlices,
-    stateChangeSlices: stateChangeSlices,
-    aggregates: aggregates,
-    automationSlices: automationSlices,
-    outboundTranslationSlices: outboundTranslationSlices,
-    inboundTranslationSlices: inboundTranslationSlices,
-    extensions: [],
-    extensionPoints: extensionPoints
-  };
-}
-
-function hasEdge(g, from, to, kind) {
-  return g.edges.some(e => {
-    if (e.from === from && e.to === to) {
-      return Primitive_object.equal(e.kind, kind);
-    } else {
-      return false;
-    }
-  });
-}
-
-function edgeLabel(g, from, to, kind) {
-  return Stdlib_Option.flatMap(g.edges.find(e => {
-    if (e.from === from && e.to === to) {
-      return Primitive_object.equal(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);
-}
-
-globalThis.describe("DomainGraph.build", () => {
-  globalThis.test("Command → Aggregate → Event → ReadModel (DCB consumedEventTypes)", async () => {
-    let shop = structure([writable("Order", [command("Place", "Shop_Order_Place", undefined)], ["Shop.Placed"], undefined, undefined, undefined, undefined)], undefined, [queryable("OrderView", ["Shop.Placed"], undefined, undefined)], undefined, undefined, undefined, undefined, undefined);
-    let g = DomainGraph$ReventlessGwt.build([[
-        "Shop",
-        shop
-      ]]);
-    globalThis.expect(nodeKind(g, "Shop_Order_Place")).toEqual("Command");
-    globalThis.expect(nodeKind(g, "Shop:Order")).toEqual("Aggregate");
-    globalThis.expect(nodeKind(g, "Shop.Placed")).toEqual("Event");
-    globalThis.expect(nodeKind(g, "Shop:OrderView")).toEqual("StateViewSlice");
-    globalThis.expect(hasEdge(g, "Shop_Order_Place", "Shop:Order", "Handles")).toBe(true);
-    globalThis.expect(hasEdge(g, "Shop:Order", "Shop.Placed", "Emits")).toBe(true);
-    globalThis.expect(hasEdge(g, "Shop.Placed", "Shop:OrderView", "Projects")).toBe(true);
-  });
-  globalThis.test("payload-less events (in `events`, not producedEventTypes) still get an emitted node", async () => {
-    let shop = structure([writable("Category", undefined, ["Catalog.Added"], undefined, undefined, [
-        {
-          name: "Added",
-          schema: "",
-          references: []
-        },
-        {
-          name: "Archived",
-          schema: "",
-          references: []
-        }
-      ], undefined)], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
-    let g = DomainGraph$ReventlessGwt.build([[
-        "Catalog",
-        shop
-      ]]);
-    globalThis.expect(nodeKind(g, "Catalog.Added")).toEqual("Event");
-    globalThis.expect(nodeKind(g, "Catalog.Archived")).toEqual("Event");
-    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, 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)], undefined, [queryable("AvailableView", ["Shop.Placed"], "Internal", undefined)], undefined, undefined, undefined, undefined, undefined);
-    let g = DomainGraph$ReventlessGwt.build([[
-        "Shop",
-        shop
-      ]]);
-    globalThis.expect(nodeKind(g, "Shop:AvailableView")).toEqual("StateViewSlice");
-    globalThis.expect(hasEdge(g, "Shop.Placed", "Shop:AvailableView", "Projects")).toBe(true);
-  });
-  globalThis.test("classic linkedViews draws each produced event into the linked read model", async () => {
-    let shop = structure([writable("Order", undefined, [
-        "Shop.Placed",
-        "Shop.Shipped"
-      ], undefined, ["Orders"], undefined, undefined)], [queryable("Orders", undefined, undefined, undefined)], undefined, undefined, undefined, undefined, undefined, undefined);
-    let g = DomainGraph$ReventlessGwt.build([[
-        "Shop",
-        shop
-      ]]);
-    globalThis.expect(hasEdge(g, "Shop.Placed", "Shop:Orders", "Projects")).toBe(true);
-    globalThis.expect(hasEdge(g, "Shop.Shipped", "Shop:Orders", "Projects")).toBe(true);
-  });
-  globalThis.test("automation slices are triggered by their consumed events", async () => {
-    let shop = structure([writable("Order", undefined, ["Shop.Placed"], undefined, undefined, undefined, undefined)], undefined, undefined, undefined, [automation("Notify", ["Shop.Placed"], undefined, undefined, undefined)], undefined, undefined, undefined);
-    let g = DomainGraph$ReventlessGwt.build([[
-        "Shop",
-        shop
-      ]]);
-    globalThis.expect(nodeKind(g, "Shop:Notify")).toEqual("AutomationSlice");
-    globalThis.expect(hasEdge(g, "Shop.Placed", "Shop:Notify", "Triggers")).toBe(true);
-  });
-  globalThis.test("an automation routes to the specific command it raises on its target", async () => {
-    let shop = structure(undefined, undefined, undefined, [writable("Ship", [
-        command("ShipOrder", "Shop_Ship_ShipOrder", undefined),
-        command("Place", "Shop_Ship_Place", undefined)
-      ], ["Shop.Shipped"], undefined, undefined, undefined, undefined)], [automation("AutoShip", ["Shop.Placed"], ["AutoShip.ShipOrder"], "Ship", undefined)], undefined, undefined, undefined);
-    let g = DomainGraph$ReventlessGwt.build([[
-        "Shop",
-        shop
-      ]]);
-    globalThis.expect(hasEdge(g, "Shop:AutoShip", "Shop_Ship_ShipOrder", "DelegatesTo")).toBe(true);
-    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, undefined, [inbound("ImportProduct", ["ImportProduct.Add"], "Product", undefined, undefined)], undefined);
-    let g = DomainGraph$ReventlessGwt.build([[
-        "Shop",
-        shop
-      ]]);
-    globalThis.expect(nodeKind(g, "Shop:ImportProduct")).toEqual("InboundTranslationSlice");
-    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)], undefined, [outbound("ExportProduct", ["Shop.Added"], ["ExportProduct.Sync"], "Product", undefined, 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)], 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, 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)], 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, undefined);
-    let b = structure(undefined, undefined, undefined, undefined, undefined, undefined, [inbound("FromEmail", ["FromEmail.Record"], "Inbox", "EmailService", undefined)], 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, undefined),
-      writable("B", undefined, ["Shop.Touched"], undefined, undefined, undefined, undefined)
-    ], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
-    let g = DomainGraph$ReventlessGwt.build([[
-        "Shop",
-        shop
-      ]]);
-    globalThis.expect(g.nodes.filter(n => n.id === "Shop.Touched").length).toBe(1);
-    globalThis.expect(hasEdge(g, "Shop:A", "Shop.Touched", "Emits")).toBe(true);
-    globalThis.expect(hasEdge(g, "Shop:B", "Shop.Touched", "Emits")).toBe(true);
-  });
-  globalThis.test("an extension renders the cross-plugin event flow EP→event→Extension→delegate", async () => {
-    let extension_delegateNames = ["ProductDemand"];
-    let extension_eventTypes = ["Ordering.Orders.ItemOrdered"];
-    let extension_commandTypes = [];
-    let extension = {
-      name: "Ordering.Orders",
-      delegateNames: extension_delegateNames,
-      eventTypes: extension_eventTypes,
-      commandTypes: extension_commandTypes
-    };
-    let init = structure([writable("ProductDemand", undefined, ["Catalog.Recorded"], undefined, undefined, undefined, undefined)], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
-    let catalog_readModels = init.readModels;
-    let catalog_stateViewSlices = init.stateViewSlices;
-    let catalog_stateChangeSlices = init.stateChangeSlices;
-    let catalog_aggregates = init.aggregates;
-    let catalog_automationSlices = init.automationSlices;
-    let catalog_outboundTranslationSlices = init.outboundTranslationSlices;
-    let catalog_inboundTranslationSlices = init.inboundTranslationSlices;
-    let catalog_extensions = [extension];
-    let catalog_extensionPoints = init.extensionPoints;
-    let catalog = {
-      readModels: catalog_readModels,
-      stateViewSlices: catalog_stateViewSlices,
-      stateChangeSlices: catalog_stateChangeSlices,
-      aggregates: catalog_aggregates,
-      automationSlices: catalog_automationSlices,
-      outboundTranslationSlices: catalog_outboundTranslationSlices,
-      inboundTranslationSlices: catalog_inboundTranslationSlices,
-      extensions: catalog_extensions,
-      extensionPoints: catalog_extensionPoints
-    };
-    let g = DomainGraph$ReventlessGwt.build([[
-        "Catalog",
-        catalog
-      ]]);
-    globalThis.expect(nodeKind(g, "Ordering:ep:Ordering.Orders")).toEqual("ExtensionPoint");
-    globalThis.expect(hasEdge(g, "Ordering:ep:Ordering.Orders", "Ordering.Orders.ItemOrdered", "Publishes")).toBe(true);
-    globalThis.expect(hasEdge(g, "Ordering.Orders.ItemOrdered", "Catalog:ext:Ordering.Orders", "Consumes")).toBe(true);
-    globalThis.expect(hasEdge(g, "Catalog:ext:Ordering.Orders", "Catalog:ProductDemand", "DelegatesTo")).toBe(true);
-    let protoEvent = Stdlib_Option.getOrThrow(g.nodes.find(n => n.id === "Ordering.Orders.ItemOrdered"), undefined);
-    globalThis.expect(protoEvent.plugin).toBe("");
-    let ext = Stdlib_Option.getOrThrow(g.nodes.find(n => n.id === "Catalog:ext:Ordering.Orders"), undefined);
-    globalThis.expect(ext.label).toBe("Ordering.Orders.Catalog");
-  });
-  globalThis.test("an extension wires to the command(s) it creates, not straight to the delegate", async () => {
-    let extension_delegateNames = ["ProductDemand"];
-    let extension_eventTypes = ["Ordering.Orders.ItemOrdered"];
-    let extension_commandTypes = [];
-    let extension = {
-      name: "Ordering.Orders",
-      delegateNames: extension_delegateNames,
-      eventTypes: extension_eventTypes,
-      commandTypes: extension_commandTypes
-    };
-    let init = structure(undefined, undefined, undefined, [writable("ProductDemand", [command("RecordDemand", "Catalog_ProductDemand_RecordDemand", undefined)], ["Catalog.Recorded"], undefined, undefined, undefined, undefined)], undefined, undefined, undefined, undefined);
-    let catalog_readModels = init.readModels;
-    let catalog_stateViewSlices = init.stateViewSlices;
-    let catalog_stateChangeSlices = init.stateChangeSlices;
-    let catalog_aggregates = init.aggregates;
-    let catalog_automationSlices = init.automationSlices;
-    let catalog_outboundTranslationSlices = init.outboundTranslationSlices;
-    let catalog_inboundTranslationSlices = init.inboundTranslationSlices;
-    let catalog_extensions = [extension];
-    let catalog_extensionPoints = init.extensionPoints;
-    let catalog = {
-      readModels: catalog_readModels,
-      stateViewSlices: catalog_stateViewSlices,
-      stateChangeSlices: catalog_stateChangeSlices,
-      aggregates: catalog_aggregates,
-      automationSlices: catalog_automationSlices,
-      outboundTranslationSlices: catalog_outboundTranslationSlices,
-      inboundTranslationSlices: catalog_inboundTranslationSlices,
-      extensions: catalog_extensions,
-      extensionPoints: catalog_extensionPoints
-    };
-    let g = DomainGraph$ReventlessGwt.build([[
-        "Catalog",
-        catalog
-      ]]);
-    globalThis.expect(hasEdge(g, "Catalog:ext:Ordering.Orders", "Catalog_ProductDemand_RecordDemand", "DelegatesTo")).toBe(true);
-    globalThis.expect(hasEdge(g, "Catalog_ProductDemand_RecordDemand", "Catalog:ProductDemand", "Handles")).toBe(true);
-    globalThis.expect(hasEdge(g, "Catalog:ext:Ordering.Orders", "Catalog:ProductDemand", "DelegatesTo")).toBe(false);
-  });
-  globalThis.test("an extension with no commands falls back to delegating to the write-side", async () => {
-    let extension_delegateNames = ["ProductDemand"];
-    let extension_eventTypes = ["Ordering.Orders.ItemOrdered"];
-    let extension_commandTypes = [];
-    let extension = {
-      name: "Ordering.Orders",
-      delegateNames: extension_delegateNames,
-      eventTypes: extension_eventTypes,
-      commandTypes: extension_commandTypes
-    };
-    let init = structure([writable("ProductDemand", undefined, ["Catalog.Recorded"], undefined, undefined, undefined, undefined)], undefined, undefined, undefined, undefined, undefined, undefined, undefined);
-    let catalog_readModels = init.readModels;
-    let catalog_stateViewSlices = init.stateViewSlices;
-    let catalog_stateChangeSlices = init.stateChangeSlices;
-    let catalog_aggregates = init.aggregates;
-    let catalog_automationSlices = init.automationSlices;
-    let catalog_outboundTranslationSlices = init.outboundTranslationSlices;
-    let catalog_inboundTranslationSlices = init.inboundTranslationSlices;
-    let catalog_extensions = [extension];
-    let catalog_extensionPoints = init.extensionPoints;
-    let catalog = {
-      readModels: catalog_readModels,
-      stateViewSlices: catalog_stateViewSlices,
-      stateChangeSlices: catalog_stateChangeSlices,
-      aggregates: catalog_aggregates,
-      automationSlices: catalog_automationSlices,
-      outboundTranslationSlices: catalog_outboundTranslationSlices,
-      inboundTranslationSlices: catalog_inboundTranslationSlices,
-      extensions: catalog_extensions,
-      extensionPoints: catalog_extensionPoints
-    };
-    let g = DomainGraph$ReventlessGwt.build([[
-        "Catalog",
-        catalog
-      ]]);
-    globalThis.expect(hasEdge(g, "Catalog:ext:Ordering.Orders", "Catalog:ProductDemand", "DelegatesTo")).toBe(true);
-  });
-  globalThis.test("an owned extension point is fed by the producers of its source events", async () => {
-    let ep_delegateNames = ["CatalogDcbEventLog"];
-    let ep_sourceEventTypes = ["Catalog.ProductAdded"];
-    let ep_commandTypes = [];
-    let ep = {
-      name: "Catalog.Products",
-      delegateNames: ep_delegateNames,
-      sourceEventTypes: ep_sourceEventTypes,
-      commandTypes: ep_commandTypes
-    };
-    let catalog = structure(undefined, undefined, undefined, [writable("AddProduct", [command("AddProduct", "Catalog_AddProduct", undefined)], ["Catalog.ProductAdded"], undefined, undefined, undefined, undefined)], undefined, undefined, undefined, [ep]);
-    let g = DomainGraph$ReventlessGwt.build([[
-        "Catalog",
-        catalog
-      ]]);
-    globalThis.expect(nodeKind(g, "Catalog:ep:Catalog.Products")).toEqual("ExtensionPoint");
-    globalThis.expect(hasEdge(g, "Catalog:AddProduct", "Catalog.ProductAdded", "Emits")).toBe(true);
-    globalThis.expect(hasEdge(g, "Catalog.ProductAdded", "Catalog:ep:Catalog.Products", "Feeds")).toBe(true);
-    globalThis.expect(hasEdge(g, "Catalog:ep:Catalog.Products", "Catalog_AddProduct", "RoutesTo")).toBe(false);
-  });
-  globalThis.test("an extension point with an inbound command protocol routes to its delegate's commands", async () => {
-    let ep_delegateNames = ["AddProduct"];
-    let ep_sourceEventTypes = ["Catalog.ProductAdded"];
-    let ep_commandTypes = ["Catalog.Products.RequestAddProduct"];
-    let ep = {
-      name: "Catalog.Products",
-      delegateNames: ep_delegateNames,
-      sourceEventTypes: ep_sourceEventTypes,
-      commandTypes: ep_commandTypes
-    };
-    let catalog = structure(undefined, undefined, undefined, [writable("AddProduct", [command("AddProduct", "Catalog_AddProduct", undefined)], ["Catalog.ProductAdded"], undefined, undefined, undefined, undefined)], undefined, undefined, undefined, [ep]);
-    let g = DomainGraph$ReventlessGwt.build([[
-        "Catalog",
-        catalog
-      ]]);
-    globalThis.expect(hasEdge(g, "Catalog:ep:Catalog.Products", "Catalog_AddProduct", "RoutesTo")).toBe(true);
-    globalThis.expect(hasEdge(g, "Catalog_AddProduct", "Catalog:AddProduct", "Handles")).toBe(true);
-  });
-});
-
-export {
-  command,
-  evt,
-  writable,
-  queryable,
-  automation,
-  inbound,
-  outbound,
-  structure,
-  hasEdge,
-  edgeLabel,
-  nodeKind,
-}
-/*  Not a pure module */

package/tests/FormatterGoldenTest.res

@@ -1,125 +0,0 @@
-// Golden-output tests pinning the per-mismatch rendering of the three
-// string-emitting formatters:
-//   - `Outcome.format`               (used by the JUnit `<failure>` body)
-//   - `FormatterHuman.renderMismatch` (terminal output)
-//   - `FormatterTap.renderMismatchYaml` (TAP YAML diagnostic block)
-//
-// These three functions are exactly what the deferred `Outcome.mismatch`
-// normalization (plan C4) will unify. Pinning their current output byte-for-byte
-// lets that refactor prove it preserved Human/TAP rendering — and makes the
-// deliberate JUnit change (it currently renders via raw `Outcome.format`, unlike
-// the RenderRescript-based Human/TAP) explicit and reviewable rather than silent.
-//
-// The fixtures cover all 10 mismatch kinds — the full structural variety the
-// normalization must preserve: array expected/actual (Events/QueryRows/
-// PublishedActions), the Error()/Ok() wrapping with a `None` actual
-// (ErrorMismatch), the `key` extra + option rendering (StateMismatch), a
-// single-sided actual (NoEventExpected), plain-string (non-JSON) sides
-// (TranslateError), the `(id, value)` pair rendering (TodoMismatch), a nested
-// JSON value (AppendConditionMismatch), and the `Throw` stack special case.
-
-open JestGlobals
-
-let evA = JSON.parseOrThrow(`{"TAG":"ProductAdded","_0":{"productId":"p1","name":"Widget"}}`)
-let evB = JSON.parseOrThrow(`{"TAG":"ProductRenamed","_0":{"productId":"p1","name":"Gadget"}}`)
-let stateActive = JSON.parseOrThrow(`{"status":"active"}`)
-let stateArchived = JSON.parseOrThrow(`{"status":"archived"}`)
-let appendExpected = JSON.parseOrThrow(`{"query":[]}`)
-let appendActual = JSON.parseOrThrow(`{"query":[{"eventTypes":["ProductAdded"]}]}`)
-
-type golden = {
-  name: string,
-  mismatch: Outcome.mismatch,
-  format: string,
-  human: string,
-  tap: string,
-}
-
-let goldens: array<golden> = [
-  {
-    name: "EventsMismatch",
-    mismatch: EventsMismatch({expected: [evA], actual: [evB]}),
-    format: "EventsMismatch:\n  expected: [{\n  \"TAG\": \"ProductAdded\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Widget\"\n  }\n}]\n  actual:   [{\n  \"TAG\": \"ProductRenamed\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Gadget\"\n  }\n}]",
-    human: "  expected: [ProductAdded({productId: \"p1\", name: \"Widget\"})]\n  actual:   [ProductRenamed({productId: \"p1\", name: \"Gadget\"})]",
-    tap: "  kind: \"EventsMismatch\"\n  expected: \"[ProductAdded({productId: \\\"p1\\\", name: \\\"Widget\\\"})]\"\n  actual: \"[ProductRenamed({productId: \\\"p1\\\", name: \\\"Gadget\\\"})]\"",
-  },
-  {
-    name: "ErrorMismatch",
-    mismatch: ErrorMismatch({
-      expected: JSON.String("CategoryAlreadyExists"),
-      actual: None,
-      actualEvents: [evA],
-    }),
-    format: "ErrorMismatch:\n  expected error: \"CategoryAlreadyExists\"\n  actual error:   (none)\n  actual events:  [{\n  \"TAG\": \"ProductAdded\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Widget\"\n  }\n}]",
-    human: "  expected: Error(\"CategoryAlreadyExists\")\n  actual:   Ok([ProductAdded({productId: \"p1\", name: \"Widget\"})])",
-    tap: "  kind: \"ErrorMismatch\"\n  expected: \"Error(\\\"CategoryAlreadyExists\\\")\"\n  actual: \"Ok([ProductAdded({productId: \\\"p1\\\", name: \\\"Widget\\\"})])\"",
-  },
-  {
-    name: "StateMismatch",
-    mismatch: StateMismatch({key: "p1", expected: Some(stateActive), actual: Some(stateArchived)}),
-    format: "StateMismatch (key: p1):\n  expected: {\n  \"status\": \"active\"\n}\n  actual:   {\n  \"status\": \"archived\"\n}",
-    human: "  key:      \"p1\"\n  expected: {status: \"active\"}\n  actual:   {status: \"archived\"}",
-    tap: "  kind: \"StateMismatch\"\n  key: \"p1\"\n  expected: \"{status: \\\"active\\\"}\"\n  actual: \"{status: \\\"archived\\\"}\"",
-  },
-  {
-    name: "NoEventExpected",
-    mismatch: NoEventExpected({actual: [evA]}),
-    format: "NoEventExpected: expected no events, got:\n  [{\n  \"TAG\": \"ProductAdded\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Widget\"\n  }\n}]",
-    human: "  expected no events\n  actual:   [ProductAdded({productId: \"p1\", name: \"Widget\"})]",
-    tap: "  kind: \"NoEventExpected\"\n  actual: \"[ProductAdded({productId: \\\"p1\\\", name: \\\"Widget\\\"})]\"",
-  },
-  {
-    name: "TranslateError",
-    mismatch: TranslateError({expected: "boom", actual: Some("kaboom")}),
-    format: "TranslateError:\n  expected: boom\n  actual:   kaboom",
-    human: "  expected: boom\n  actual:   kaboom",
-    tap: "  kind: \"TranslateError\"\n  expected: \"boom\"\n  actual: \"kaboom\"",
-  },
-  {
-    name: "Throw",
-    mismatch: Throw({error: "unexpected", stack: "at foo"}),
-    format: "Throw: unexpected\nat foo",
-    human: "  error: unexpected\nat foo",
-    tap: "  kind: \"Throw\"\n  error: \"unexpected\"\n  stack: \"at foo\"",
-  },
-  {
-    name: "TodoMismatch",
-    mismatch: TodoMismatch({expected: [("case-1", evA)], actual: [("case-2", evB)]}),
-    format: "TodoMismatch:\n  expected: [(case-1, {\n  \"TAG\": \"ProductAdded\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Widget\"\n  }\n})]\n  actual:   [(case-2, {\n  \"TAG\": \"ProductRenamed\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Gadget\"\n  }\n})]",
-    human: "  expected: [(case-1, ProductAdded({productId: \"p1\", name: \"Widget\"}))]\n  actual:   [(case-2, ProductRenamed({productId: \"p1\", name: \"Gadget\"}))]",
-    tap: "  kind: \"TodoMismatch\"\n  expected: \"[(case-1, ProductAdded({productId: \\\"p1\\\", name: \\\"Widget\\\"}))]\"\n  actual: \"[(case-2, ProductRenamed({productId: \\\"p1\\\", name: \\\"Gadget\\\"}))]\"",
-  },
-  {
-    name: "AppendConditionMismatch",
-    mismatch: AppendConditionMismatch({expected: appendExpected, actual: appendActual}),
-    format: "AppendConditionMismatch:\n  expected: {\n  \"query\": []\n}\n  actual:   {\n  \"query\": [\n    {\n      \"eventTypes\": [\n        \"ProductAdded\"\n      ]\n    }\n  ]\n}",
-    human: "  expected: {query: []}\n  actual:   {query: [{eventTypes: [\"ProductAdded\"]}]}",
-    tap: "  kind: \"AppendConditionMismatch\"\n  expected: \"{query: []}\"\n  actual: \"{query: [{eventTypes: [\\\"ProductAdded\\\"]}]}\"",
-  },
-  {
-    name: "QueryRowsMismatch",
-    mismatch: QueryRowsMismatch({expected: [evA], actual: [evB]}),
-    format: "QueryRowsMismatch:\n  expected: [{\n  \"TAG\": \"ProductAdded\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Widget\"\n  }\n}]\n  actual:   [{\n  \"TAG\": \"ProductRenamed\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Gadget\"\n  }\n}]",
-    human: "  expected: [ProductAdded({productId: \"p1\", name: \"Widget\"})]\n  actual:   [ProductRenamed({productId: \"p1\", name: \"Gadget\"})]",
-    tap: "  kind: \"QueryRowsMismatch\"\n  expected: \"[ProductAdded({productId: \\\"p1\\\", name: \\\"Widget\\\"})]\"\n  actual: \"[ProductRenamed({productId: \\\"p1\\\", name: \\\"Gadget\\\"})]\"",
-  },
-  {
-    name: "PublishedActionsMismatch",
-    mismatch: PublishedActionsMismatch({expected: [evA], actual: [evB]}),
-    format: "PublishedActionsMismatch:\n  expected: [{\n  \"TAG\": \"ProductAdded\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Widget\"\n  }\n}]\n  actual:   [{\n  \"TAG\": \"ProductRenamed\",\n  \"_0\": {\n    \"productId\": \"p1\",\n    \"name\": \"Gadget\"\n  }\n}]",
-    human: "  expected: [ProductAdded({productId: \"p1\", name: \"Widget\"})]\n  actual:   [ProductRenamed({productId: \"p1\", name: \"Gadget\"})]",
-    tap: "  kind: \"PublishedActionsMismatch\"\n  expected: \"[ProductAdded({productId: \\\"p1\\\", name: \\\"Widget\\\"})]\"\n  actual: \"[ProductRenamed({productId: \\\"p1\\\", name: \\\"Gadget\\\"})]\"",
-  },
-]
-
-describe("Formatter golden outputs (per-mismatch rendering)", () => {
-  goldens->Array.forEach(g => {
-    testSync(`${g.name} — Outcome.format`, () => expect(Outcome.format(g.mismatch))->toEqual(g.format))
-    testSync(`${g.name} — FormatterHuman.renderMismatch`, () =>
-      expect(FormatterHuman.renderMismatch(g.mismatch))->toEqual(g.human)
-    )
-    testSync(`${g.name} — FormatterTap.renderMismatchYaml`, () =>
-      expect(FormatterTap.renderMismatchYaml(g.mismatch))->toEqual(g.tap)
-    )
-  })
-})