@reventlessdev/reventless-core 3.0.0-alpha.215 → 3.0.0-alpha.217

package/tests/plugin/PluginStructureTest.res

@@ -245,6 +245,33 @@ describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       let shipOrder = structure.stateChangeSlices->Array.getUnsafe(1)
       expect(shipOrder.producedEventTypes)->toEqual(["TestPlugin.OrderShipped"])
     })
+
+    // A slice's declared errors are the third family of its contract, beside the
+    // commands it accepts and the events it emits — what a caller has to handle
+    // when a decision is refused.
+    testSync("PlaceOrder: the single payload-less error variant is surfaced", () => {
+      let placeOrder = structure.stateChangeSlices->Array.getUnsafe(0)
+      expect(placeOrder.errors->Array.map(e => e.name))->toEqual(["AlreadyPlaced"])
+    })
+
+    testSync("ShipOrder: both error variants surface, in declaration order", () => {
+      let shipOrder = structure.stateChangeSlices->Array.getUnsafe(1)
+      expect(shipOrder.errors->Array.map(e => e.name))->toEqual(["OrderNotFound", "NotShippable"])
+    })
+
+    testSync("ShipOrder: a payload-carrying error carries its field schema", () => {
+      let shipOrder = structure.stateChangeSlices->Array.getUnsafe(1)
+      let notShippable =
+        shipOrder.errors->Array.find(e => e.name == "NotShippable")->Option.getOrThrow
+      expect(notShippable.schema->String.includes("\"reason\""))->toBe(true)
+    })
+
+    testSync("ShipOrder: a payload-less error carries no fields and no references", () => {
+      let shipOrder = structure.stateChangeSlices->Array.getUnsafe(1)
+      let notFound = shipOrder.errors->Array.find(e => e.name == "OrderNotFound")->Option.getOrThrow
+      expect((notFound.schema->String.includes("\"reason\""), notFound.references->Array.length))
+      ->toEqual((false, 0))
+    })
   })
 
   describe("stateViewSlices", () => {

package/tests/plugin/PluginStructureTest.res.mjs

@@ -398,6 +398,33 @@ globalThis.describe("Plugin_Structure.make — Phase 2 graph fields", () => {
       let shipOrder = structure.stateChangeSlices[1];
       globalThis.expect(shipOrder.producedEventTypes).toEqual(["TestPlugin.OrderShipped"]);
     });
+    globalThis.test("PlaceOrder: the single payload-less error variant is surfaced", () => {
+      let placeOrder = structure.stateChangeSlices[0];
+      globalThis.expect(placeOrder.errors.map(e => e.name)).toEqual(["AlreadyPlaced"]);
+    });
+    globalThis.test("ShipOrder: both error variants surface, in declaration order", () => {
+      let shipOrder = structure.stateChangeSlices[1];
+      globalThis.expect(shipOrder.errors.map(e => e.name)).toEqual([
+        "OrderNotFound",
+        "NotShippable"
+      ]);
+    });
+    globalThis.test("ShipOrder: a payload-carrying error carries its field schema", () => {
+      let shipOrder = structure.stateChangeSlices[1];
+      let notShippable = Stdlib_Option.getOrThrow(shipOrder.errors.find(e => e.name === "NotShippable"), undefined);
+      globalThis.expect(notShippable.schema.includes("\"reason\"")).toBe(true);
+    });
+    globalThis.test("ShipOrder: a payload-less error carries no fields and no references", () => {
+      let shipOrder = structure.stateChangeSlices[1];
+      let notFound = Stdlib_Option.getOrThrow(shipOrder.errors.find(e => e.name === "OrderNotFound"), undefined);
+      globalThis.expect([
+        notFound.schema.includes("\"reason\""),
+        notFound.references.length
+      ]).toEqual([
+        false,
+        0
+      ]);
+    });
   });
   globalThis.describe("stateViewSlices", () => {
     globalThis.test("produces four SVS entries in declaration order", () => {

package/tests/plugin/StateChangeSlice/PsShipOrder.res

@@ -21,8 +21,10 @@ let evolve = (_state, _event) => true
 @schema
 type command = @targetState("Shipped") ShipOrder({orderId: string}) | @noApi CancelShipment
 
+// Two variants, one payload-less and one carrying a field — the same two branches
+// `events` exercises, so the structure's `errors` list is pinned on both.
 @schema
-type error = OrderNotFound
+type error = OrderNotFound | NotShippable({reason: string})
 
 // ShipmentVoided is payload-less — excluded from producedEventTypes (DCB filter),
 // but still surfaced in `events` (toEventDef's payload-less branch).

package/tests/plugin/StateChangeSlice/PsShipOrder.res.mjs

@@ -22,7 +22,13 @@ let commandSchema = S.union([
   S.literal("CancelShipment")
 ]);
 
-let errorSchema = S.literal("OrderNotFound");
+let errorSchema = S.union([
+  S.literal("OrderNotFound"),
+  S.schema(s => ({
+    TAG: "NotShippable",
+    reason: s.m(S.string)
+  }))
+]);
 
 let eventSchema = S.union([
   S.schema(s => ({

package/tests/plugin/pluginDefinitionRequiredScalars.txt

@@ -43,6 +43,10 @@
 .structure.aggregates[].commands[].references[].fieldName: string
 .structure.aggregates[].commands[].schema: string
 .structure.aggregates[].consumedEventTypes[]: string
+.structure.aggregates[].errors[].name: string
+.structure.aggregates[].errors[].references[].entity: string
+.structure.aggregates[].errors[].references[].fieldName: string
+.structure.aggregates[].errors[].schema: string
 .structure.aggregates[].events[].name: string
 .structure.aggregates[].events[].references[].entity: string
 .structure.aggregates[].events[].references[].fieldName: string
@@ -86,6 +90,10 @@
 .structure.stateChangeSlices[].commands[].references[].fieldName: string
 .structure.stateChangeSlices[].commands[].schema: string
 .structure.stateChangeSlices[].consumedEventTypes[]: string
+.structure.stateChangeSlices[].errors[].name: string
+.structure.stateChangeSlices[].errors[].references[].entity: string
+.structure.stateChangeSlices[].errors[].references[].fieldName: string
+.structure.stateChangeSlices[].errors[].schema: string
 .structure.stateChangeSlices[].events[].name: string
 .structure.stateChangeSlices[].events[].references[].entity: string
 .structure.stateChangeSlices[].events[].references[].fieldName: string