@reventlessdev/reventless-core 3.0.0-alpha.261 → 3.0.0-alpha.263

package/tests/plugin/PluginStructureTest.res

@@ -32,6 +32,7 @@ module PsPlaceOrderSlice: ReventlessInfra.StateChangeSlice.T = {
     ~publishJsons as _,
     ~tagKeysByEventType as _=?,
     ~crossPartitionTagKeys as _=?,
+    ~partitionTag as _=?,
     ~runtime as _=?,
     ~opts as _=?,
   ): component => Obj.magic(0)
@@ -52,6 +53,7 @@ module PsShipOrderSlice: ReventlessInfra.StateChangeSlice.T = {
     ~publishJsons as _,
     ~tagKeysByEventType as _=?,
     ~crossPartitionTagKeys as _=?,
+    ~partitionTag as _=?,
     ~runtime as _=?,
     ~opts as _=?,
   ): component => Obj.magic(0)
@@ -118,6 +120,7 @@ module PsAttachInvoiceSlice: ReventlessInfra.StateChangeSlice.T = {
     ~publishJsons as _,
     ~tagKeysByEventType as _=?,
     ~crossPartitionTagKeys as _=?,
+    ~partitionTag as _=?,
     ~runtime as _=?,
     ~opts as _=?,
   ): component => Obj.magic(0)
@@ -139,6 +142,7 @@ module PsUploadAvatarSlice: ReventlessInfra.StateChangeSlice.T = {
     ~publishJsons as _,
     ~tagKeysByEventType as _=?,
     ~crossPartitionTagKeys as _=?,
+    ~partitionTag as _=?,
     ~runtime as _=?,
     ~opts as _=?,
   ): component => Obj.magic(0)
@@ -160,6 +164,7 @@ module PsUploadImagesSlice: ReventlessInfra.StateChangeSlice.T = {
     ~publishJsons as _,
     ~tagKeysByEventType as _=?,
     ~crossPartitionTagKeys as _=?,
+    ~partitionTag as _=?,
     ~runtime as _=?,
     ~opts as _=?,
   ): component => Obj.magic(0)
@@ -181,6 +186,7 @@ module PsTypoStoreSlice: ReventlessInfra.StateChangeSlice.T = {
     ~publishJsons as _,
     ~tagKeysByEventType as _=?,
     ~crossPartitionTagKeys as _=?,
+    ~partitionTag as _=?,
     ~runtime as _=?,
     ~opts as _=?,
   ): component => Obj.magic(0)
@@ -202,6 +208,7 @@ module PsChangePhotoSlice: ReventlessInfra.StateChangeSlice.T = {
     ~publishJsons as _,
     ~tagKeysByEventType as _=?,
     ~crossPartitionTagKeys as _=?,
+    ~partitionTag as _=?,
     ~runtime as _=?,
     ~opts as _=?,
   ): component => Obj.magic(0)
@@ -223,6 +230,7 @@ module PsReserveStockSlice: ReventlessInfra.StateChangeSlice.T = {
     ~publishJsons as _,
     ~tagKeysByEventType as _=?,
     ~crossPartitionTagKeys as _=?,
+    ~partitionTag as _=?,
     ~runtime as _=?,
     ~opts as _=?,
   ): component => Obj.magic(0)
@@ -244,6 +252,7 @@ module PsDispatchShipmentSlice: ReventlessInfra.StateChangeSlice.T = {
     ~publishJsons as _,
     ~tagKeysByEventType as _=?,
     ~crossPartitionTagKeys as _=?,
+    ~partitionTag as _=?,
     ~runtime as _=?,
     ~opts as _=?,
   ): component => Obj.magic(0)
@@ -264,6 +273,7 @@ module PsTransitionSwitchSlice: ReventlessInfra.StateChangeSlice.T = {
     ~publishJsons as _,
     ~tagKeysByEventType as _=?,
     ~crossPartitionTagKeys as _=?,
+    ~partitionTag as _=?,
     ~runtime as _=?,
     ~opts as _=?,
   ): component => Obj.magic(0)
@@ -2694,6 +2704,43 @@ describe("the subscriber's half of the table", () => {
   )
 })
 
+// An extension infers its target slice's partition from the slice alone. Where
+// the plugin needed the slice's reads or chapter, the two can part — caught here,
+// at assembly, rather than when the first event arrives.
+describe("an extension's partition against the plugin's", () => {
+  let failure = (~expected, ~actual) =>
+    Plugin_Structure.extensionPartitionFailure(
+      ~label="Ordering.Orders → PlaceOrder",
+      ~delegate="PlaceOrder",
+      ~expected,
+      ~actual,
+    )
+  let orderId = Reventless.DcbTag.Simple({key: "orderId"})
+
+  testSync("says nothing when both derive the same key", () =>
+    expect(failure(~expected=Some(orderId), ~actual=Ok(orderId)))->toEqual(None)
+  )
+
+  testSync("fails when the extension alone cannot tell, naming the key to annotate", () => {
+    let message =
+      failure(
+        ~expected=Some(orderId),
+        ~actual=Error("multiple candidate partition keys"),
+      )->Option.getOr("")
+    expect(message->String.includes("add @partitionTag orderId to PlaceOrder's event"))->toBe(true)
+  })
+
+  testSync("fails when the extension derives a different key", () =>
+    expect(
+      failure(~expected=Some(orderId), ~actual=Ok(Simple({key: "customerId"})))->Option.isSome,
+    )->toBe(true)
+  )
+
+  testSync("leaves a plugin that cannot derive a partition to the builder", () =>
+    expect(failure(~expected=None, ~actual=Error("no partition key")))->toEqual(None)
+  )
+})
+
 // ── One command name, one handler ────────────────────────────────────────────
 //
 // A DCB plugin routes a command by its bare type name, so two slices declaring

package/tests/plugin/PluginStructureTest.res.mjs

@@ -42,7 +42,7 @@ let Behavior = {
   moduleUrl: PsPlaceOrder$ReventlessCore.moduleUrl
 };
 
-function make(param, param$1, param$2, param$3, param$4, param$5) {
+function make(param, param$1, param$2, param$3, param$4, param$5, param$6) {
   return 0;
 }
 
@@ -74,7 +74,7 @@ let Behavior$1 = {
   moduleUrl: PsShipOrder$ReventlessCore.moduleUrl
 };
 
-function make$1(param, param$1, param$2, param$3, param$4, param$5) {
+function make$1(param, param$1, param$2, param$3, param$4, param$5, param$6) {
   return 0;
 }
 
@@ -236,7 +236,7 @@ let Behavior$2 = {
   moduleUrl: PsAttachInvoice$ReventlessCore.moduleUrl
 };
 
-function make$7(param, param$1, param$2, param$3, param$4, param$5) {
+function make$7(param, param$1, param$2, param$3, param$4, param$5, param$6) {
   return 0;
 }
 
@@ -268,7 +268,7 @@ let Behavior$3 = {
   moduleUrl: PsUploadAvatar$ReventlessCore.moduleUrl
 };
 
-function make$8(param, param$1, param$2, param$3, param$4, param$5) {
+function make$8(param, param$1, param$2, param$3, param$4, param$5, param$6) {
   return 0;
 }
 
@@ -300,7 +300,7 @@ let Behavior$4 = {
   moduleUrl: PsUploadImages$ReventlessCore.moduleUrl
 };
 
-function make$9(param, param$1, param$2, param$3, param$4, param$5) {
+function make$9(param, param$1, param$2, param$3, param$4, param$5, param$6) {
   return 0;
 }
 
@@ -332,7 +332,7 @@ let Behavior$5 = {
   moduleUrl: PsTypoStore$ReventlessCore.moduleUrl
 };
 
-function make$10(param, param$1, param$2, param$3, param$4, param$5) {
+function make$10(param, param$1, param$2, param$3, param$4, param$5, param$6) {
   return 0;
 }
 
@@ -364,7 +364,7 @@ let Behavior$6 = {
   moduleUrl: PsChangePhoto$ReventlessCore.moduleUrl
 };
 
-function make$11(param, param$1, param$2, param$3, param$4, param$5) {
+function make$11(param, param$1, param$2, param$3, param$4, param$5, param$6) {
   return 0;
 }
 
@@ -396,7 +396,7 @@ let Behavior$7 = {
   moduleUrl: PsReserveStock$ReventlessCore.moduleUrl
 };
 
-function make$12(param, param$1, param$2, param$3, param$4, param$5) {
+function make$12(param, param$1, param$2, param$3, param$4, param$5, param$6) {
   return 0;
 }
 
@@ -428,7 +428,7 @@ let Behavior$8 = {
   moduleUrl: PsDispatchShipment$ReventlessCore.moduleUrl
 };
 
-function make$13(param, param$1, param$2, param$3, param$4, param$5) {
+function make$13(param, param$1, param$2, param$3, param$4, param$5, param$6) {
   return 0;
 }
 
@@ -460,7 +460,7 @@ let Behavior$9 = {
   moduleUrl: PsTransitionSwitch$ReventlessCore.moduleUrl
 };
 
-function make$14(param, param$1, param$2, param$3, param$4, param$5) {
+function make$14(param, param$1, param$2, param$3, param$4, param$5, param$6) {
   return 0;
 }
 
@@ -2182,6 +2182,46 @@ globalThis.describe("the subscriber's half of the table", () => {
   });
 });
 
+globalThis.describe("an extension's partition against the plugin's", () => {
+  let failure = (expected, actual) => Plugin_Structure$ReventlessCore.extensionPartitionFailure("Ordering.Orders → PlaceOrder", "PlaceOrder", expected, actual);
+  let orderId = {
+    TAG: "Simple",
+    _0: {
+      key: "orderId"
+    }
+  };
+  globalThis.test("says nothing when both derive the same key", () => {
+    globalThis.expect(failure(orderId, {
+      TAG: "Ok",
+      _0: orderId
+    })).toEqual(undefined);
+  });
+  globalThis.test("fails when the extension alone cannot tell, naming the key to annotate", () => {
+    let message = Stdlib_Option.getOr(failure(orderId, {
+      TAG: "Error",
+      _0: "multiple candidate partition keys"
+    }), "");
+    globalThis.expect(message.includes("add @partitionTag orderId to PlaceOrder's event")).toBe(true);
+  });
+  globalThis.test("fails when the extension derives a different key", () => {
+    globalThis.expect(Stdlib_Option.isSome(failure(orderId, {
+      TAG: "Ok",
+      _0: {
+        TAG: "Simple",
+        _0: {
+          key: "customerId"
+        }
+      }
+    }))).toBe(true);
+  });
+  globalThis.test("leaves a plugin that cannot derive a partition to the builder", () => {
+    globalThis.expect(failure(undefined, {
+      TAG: "Error",
+      _0: "no partition key"
+    })).toEqual(undefined);
+  });
+});
+
 globalThis.describe("duplicate DCB command names", () => {
   globalThis.test("two slices declaring one command are refused", () => {
     let tmp;