@reventlessdev/reventless-core 3.0.0-alpha.249 → 3.0.0-alpha.251

package/tests/plugin/PluginStructureTest.res

@@ -1747,3 +1747,112 @@ describe("Plugin_Structure.make — Phase 2 graph fields", () => {
     })
   })
 })
+
+// The port's translation table — the pure halves of the check. The probe itself
+// needs a mapping module and is exercised by the examples' own build.
+describe("the port's translation table", () => {
+  let published = (name, fromEventTypes): ReventlessInfra.ExtensionPointMapping.publishedEvent => {
+    name,
+    fromEventTypes,
+  }
+  let failures = (~declared) =>
+    Plugin_Structure.translationTableFailures(
+      ~label="Catalog.Products ← Product",
+      ~declared,
+      ~publishedNames=["ProductBecameAvailable", "ProductWithdrawn"],
+      ~sourceNames=["Added", "Archived", "Discontinued", "Renamed"],
+    )
+
+  testSync("accepts a many-to-one declaration", () =>
+    expect(
+      failures(~declared=[published("ProductWithdrawn", ["Archived", "Discontinued"])])->Array.length,
+    )->toBe(0)
+  )
+
+  testSync("rejects a published name the extension point does not declare", () =>
+    expect(
+      failures(~declared=[published("ProductRetired", ["Archived"])])->Array.length,
+    )->toBe(1)
+  )
+
+  testSync("rejects a source name the delegate does not declare", () =>
+    expect(
+      failures(~declared=[published("ProductWithdrawn", ["Archivd"])])->Array.length,
+    )->toBe(1)
+  )
+
+})
+
+describe("the translation table against the probe", () => {
+  let declared = [
+    ({
+      ReventlessInfra.ExtensionPointMapping.name: "ProductWithdrawn",
+      fromEventTypes: ["Archived", "Discontinued"],
+    }: ReventlessInfra.ExtensionPointMapping.publishedEvent),
+  ]
+  let drift = (~observed, ~followed) =>
+    Plugin_Structure.translationTableDrift(~label="EP", ~declared, ~observed, ~followed)
+
+  testSync("says nothing when the arms produce what was declared", () => {
+    let (failures, warnings) = drift(
+      ~observed=[("Archived", "ProductWithdrawn"), ("Discontinued", "ProductWithdrawn")],
+      ~followed=["Archived", "Discontinued"],
+    )
+    expect((failures->Array.length, warnings->Array.length))->toEqual((0, 0))
+  })
+
+  // The probe watched the arm publish it, so the declaration is stale.
+  testSync("fails on an edge the probe saw and the declaration omits", () => {
+    let (failures, _) = drift(
+      ~observed=[("Archived", "ProductRelisted")],
+      ~followed=["Archived"],
+    )
+    expect(failures->Array.length)->toBe(1)
+  })
+
+  // The arm may branch on a payload the probe cannot synthesise.
+  testSync("only warns on a declared edge the probe did not see", () => {
+    let (failures, warnings) = drift(
+      ~observed=[("Archived", "ProductWithdrawn")],
+      ~followed=["Archived", "Discontinued"],
+    )
+    expect((failures->Array.length, warnings->Array.length))->toEqual((0, 1))
+  })
+
+  // "Did not look" must not read as "no edge".
+  testSync("judges nothing about a source the probe could not follow", () => {
+    let (failures, warnings) = drift(~observed=[], ~followed=[])
+    expect((failures->Array.length, warnings->Array.length))->toEqual((0, 0))
+  })
+})
+
+describe("the subscriber's half of the table", () => {
+  let handled = (name, toCommandTypes): ReventlessInfra.ExtensionMapping.handledEvent => {
+    name,
+    toCommandTypes,
+  }
+  let failures = declared =>
+    Plugin_Structure.handledTableFailures(
+      ~label="Catalog.Products → SyncCatalogProduct",
+      ~declared,
+      ~eventNames=["ProductBecameAvailable"],
+      // The delegate's commands and the extension point's own, resolved as one set.
+      ~commandNames=["SyncNewProduct", "AckProduct"],
+    )
+
+  testSync("accepts a delegate command and an extension point command alike", () =>
+    expect(
+      failures([handled("ProductBecameAvailable", ["SyncNewProduct", "AckProduct"])])->Array.length,
+    )->toBe(0)
+  )
+
+  testSync("rejects a handled event the extension point does not publish", () =>
+    expect(failures([handled("ProductAdded", ["SyncNewProduct"])])->Array.length)->toBe(1)
+  )
+
+  testSync("rejects a command neither side declares", () =>
+    expect(
+      failures([handled("ProductBecameAvailable", ["SyncNewProdct"])])->Array.length,
+    )->toBe(1)
+  )
+})

package/tests/plugin/PluginStructureTest.res.mjs

@@ -1731,6 +1731,133 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
   });
 });
 
+globalThis.describe("the port's translation table", () => {
+  let failures = declared => Plugin_Structure$ReventlessCore.translationTableFailures("Catalog.Products ← Product", declared, [
+    "ProductBecameAvailable",
+    "ProductWithdrawn"
+  ], [
+    "Added",
+    "Archived",
+    "Discontinued",
+    "Renamed"
+  ]);
+  globalThis.test("accepts a many-to-one declaration", () => {
+    globalThis.expect(failures([{
+        name: "ProductWithdrawn",
+        fromEventTypes: [
+          "Archived",
+          "Discontinued"
+        ]
+      }]).length).toBe(0);
+  });
+  globalThis.test("rejects a published name the extension point does not declare", () => {
+    globalThis.expect(failures([{
+        name: "ProductRetired",
+        fromEventTypes: ["Archived"]
+      }]).length).toBe(1);
+  });
+  globalThis.test("rejects a source name the delegate does not declare", () => {
+    globalThis.expect(failures([{
+        name: "ProductWithdrawn",
+        fromEventTypes: ["Archivd"]
+      }]).length).toBe(1);
+  });
+});
+
+globalThis.describe("the translation table against the probe", () => {
+  let declared = [{
+      name: "ProductWithdrawn",
+      fromEventTypes: [
+        "Archived",
+        "Discontinued"
+      ]
+    }];
+  let drift = (observed, followed) => Plugin_Structure$ReventlessCore.translationTableDrift("EP", declared, observed, followed);
+  globalThis.test("says nothing when the arms produce what was declared", () => {
+    let match = drift([
+      [
+        "Archived",
+        "ProductWithdrawn"
+      ],
+      [
+        "Discontinued",
+        "ProductWithdrawn"
+      ]
+    ], [
+      "Archived",
+      "Discontinued"
+    ]);
+    globalThis.expect([
+      match[0].length,
+      match[1].length
+    ]).toEqual([
+      0,
+      0
+    ]);
+  });
+  globalThis.test("fails on an edge the probe saw and the declaration omits", () => {
+    let match = drift([[
+        "Archived",
+        "ProductRelisted"
+      ]], ["Archived"]);
+    globalThis.expect(match[0].length).toBe(1);
+  });
+  globalThis.test("only warns on a declared edge the probe did not see", () => {
+    let match = drift([[
+        "Archived",
+        "ProductWithdrawn"
+      ]], [
+      "Archived",
+      "Discontinued"
+    ]);
+    globalThis.expect([
+      match[0].length,
+      match[1].length
+    ]).toEqual([
+      0,
+      1
+    ]);
+  });
+  globalThis.test("judges nothing about a source the probe could not follow", () => {
+    let match = drift([], []);
+    globalThis.expect([
+      match[0].length,
+      match[1].length
+    ]).toEqual([
+      0,
+      0
+    ]);
+  });
+});
+
+globalThis.describe("the subscriber's half of the table", () => {
+  let failures = declared => Plugin_Structure$ReventlessCore.handledTableFailures("Catalog.Products → SyncCatalogProduct", declared, ["ProductBecameAvailable"], [
+    "SyncNewProduct",
+    "AckProduct"
+  ]);
+  globalThis.test("accepts a delegate command and an extension point command alike", () => {
+    globalThis.expect(failures([{
+        name: "ProductBecameAvailable",
+        toCommandTypes: [
+          "SyncNewProduct",
+          "AckProduct"
+        ]
+      }]).length).toBe(0);
+  });
+  globalThis.test("rejects a handled event the extension point does not publish", () => {
+    globalThis.expect(failures([{
+        name: "ProductAdded",
+        toCommandTypes: ["SyncNewProduct"]
+      }]).length).toBe(1);
+  });
+  globalThis.test("rejects a command neither side declares", () => {
+    globalThis.expect(failures([{
+        name: "ProductBecameAvailable",
+        toCommandTypes: ["SyncNewProdct"]
+      }]).length).toBe(1);
+  });
+});
+
 export {
   PsPlaceOrderSlice,
   PsShipOrderSlice,

package/tests/plugin/pluginDefinitionRequiredScalars.txt

@@ -74,13 +74,21 @@
 .structure.automationSlices[].name: string
 .structure.automationSlices[].producedCommandTypes[]: string
 .structure.automationSlices[].targetName: string
+.structure.extensionPoints[].acceptedCommands[].name: string
+.structure.extensionPoints[].acceptedCommands[].toCommandTypes[]: string
 .structure.extensionPoints[].commandTypes[]: string
 .structure.extensionPoints[].delegateNames[]: string
 .structure.extensionPoints[].name: string
+.structure.extensionPoints[].publishedEvents[].fromEventTypes[]: string
+.structure.extensionPoints[].publishedEvents[].name: string
 .structure.extensionPoints[].sourceEventTypes[]: string
 .structure.extensions[].commandTypes[]: string
 .structure.extensions[].delegateNames[]: string
 .structure.extensions[].eventTypes[]: string
+.structure.extensions[].handledEvents[].name: string
+.structure.extensions[].handledEvents[].toCommandTypes[]: string
+.structure.extensions[].issuedCommands[].fromEventTypes[]: string
+.structure.extensions[].issuedCommands[].name: string
 .structure.extensions[].name: string
 .structure.inboundTranslationSlices[].commandTypes[]: string
 .structure.inboundTranslationSlices[].name: string