@reventlessdev/reventless-core 3.0.0-alpha.237 → 3.0.0-alpha.239

package/tests/plugin/StateChangeSlice/PsDispatchShipment.res

@@ -0,0 +1,31 @@
+// Test fixture spec for the @transition cross-check — the failing case.
+//
+// `Dispatchd` is a deliberate typo. It compiles: the PPX strips the attribute
+// before the typechecker sees it, so a misspelled state is a well-formed string
+// all the way down. That is exactly the hole the structure-side check closes,
+// and a fixture that could not compile would not demonstrate it.
+
+@@reventless.spec("DispatchShipment")
+
+type shipmentStatus =
+  | Booked
+  | Dispatched
+
+@schema
+type consumedEvent = ShipmentBooked({shipmentId: string})
+
+let evolve = (_state, _event) => true
+
+type state = bool
+let initialState = false
+
+@schema
+type command = @transition(([Booked]) => Dispatchd) DispatchShipment({shipmentId: string})
+
+@schema
+type error = ShipmentNotFound
+
+@schema
+type event = ShipmentDispatched({shipmentId: string})
+
+let decide = (_state, _command): result<array<event>, error> => Ok([])

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

@@ -0,0 +1,73 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as Api$ReventlessInfra from "@reventlessdev/reventless-infra/src/components/Api.res.mjs";
+
+let consumedEventSchema = S.schema(s => ({
+  TAG: "ShipmentBooked",
+  shipmentId: s.m(DcbTag$Reventless.string)
+}));
+
+function evolve(_state, _event) {
+  return true;
+}
+
+let commandSchema = S.schema(s => ({
+  TAG: "DispatchShipment",
+  shipmentId: s.m(DcbTag$Reventless.string)
+}));
+
+let errorSchema = S.literal("ShipmentNotFound");
+
+let eventSchema = S.schema(s => ({
+  TAG: "ShipmentDispatched",
+  shipmentId: s.m(DcbTag$Reventless.string)
+}));
+
+function decide(_state, _command) {
+  return {
+    TAG: "Ok",
+    _0: []
+  };
+}
+
+let commandSchema$1 = Api$ReventlessInfra.markAllowedStates(commandSchema, [[
+    "DispatchShipment",
+    ["Booked"]
+  ]]);
+
+let commandSchema$2 = Api$ReventlessInfra.markTargetState(commandSchema$1, [[
+    "DispatchShipment",
+    "Dispatchd"
+  ]]);
+
+function commandAuthorization(param) {
+  return "AllowAuthenticated";
+}
+
+let name = "DispatchShipment";
+
+let Id;
+
+let initialState = false;
+
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateChangeSlice/PsDispatchShipment.res.mjs";
+
+let readConsistency = "EscalateOnRetry";
+
+export {
+  name,
+  Id,
+  consumedEventSchema,
+  evolve,
+  initialState,
+  errorSchema,
+  eventSchema,
+  decide,
+  commandSchema$2 as commandSchema,
+  moduleUrl,
+  commandAuthorization,
+  readConsistency,
+}
+/* consumedEventSchema Not a pure module */

package/tests/plugin/StateChangeSlice/PsShipOrder.res

@@ -18,8 +18,23 @@ let evolve = (_state, _event) => true
 // It is also `@noApi` (internal/admin only): a two-variant slice with exactly
 // one API-exposed command, which is the case that used to leak the exposed
 // command's slice mutation field onto the non-exposed variant.
+// The lifecycle this slice's commands move a shipment through. The PPX strips
+// @transition before the typechecker sees it, so this enum is not what makes the
+// reference below valid — the structure-side check against the linked view is.
+// It is here because a state is a constructor, and naming one in a string is a
+// reference nothing can check at any layer.
+type shipmentStatus = Placed | Shipped | Cancelled
+
+// CancelShipment is payload-less — it compiles to a bare string literal, so it
+// exercises toCommandDef's payload-less branch (still surfaced in `commands`).
+// It is also `@noApi` (internal/admin only): a two-variant slice with exactly
+// one API-exposed command, which is the case that used to leak the exposed
+// command's slice mutation field onto the non-exposed variant. It carries no
+// @transition, which is the un-annotated case the resolver still guesses for.
 @schema
-type command = @targetState("Shipped") ShipOrder({orderId: string}) | @noApi CancelShipment
+type command =
+  | @transition(([Placed]) => 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.

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

@@ -47,7 +47,12 @@ function decide(_state, _command) {
 
 let commandSchema$1 = Api$ReventlessInfra.markNoApiVariants(commandSchema, ["CancelShipment"]);
 
-let commandSchema$2 = Api$ReventlessInfra.markTargetState(commandSchema$1, [[
+let commandSchema$2 = Api$ReventlessInfra.markAllowedStates(commandSchema$1, [[
+    "ShipOrder",
+    ["Placed"]
+  ]]);
+
+let commandSchema$3 = Api$ReventlessInfra.markTargetState(commandSchema$2, [[
     "ShipOrder",
     "Shipped"
   ]]);
@@ -75,7 +80,7 @@ export {
   errorSchema,
   eventSchema,
   decide,
-  commandSchema$2 as commandSchema,
+  commandSchema$3 as commandSchema,
   moduleUrl,
   commandAuthorization,
   readConsistency,

package/tests/plugin/StateViewSlice/PsShipmentsView.res

@@ -0,0 +1,26 @@
+// Test fixture spec for the @transition cross-check.
+// A view that declares a lifecycle, so a command's declared states have
+// something to be checked against. `PsOrdersView` deliberately declares none —
+// the two together cover both the checked and the unvalidated path.
+
+@@reventless.spec("Shipments")
+
+@schema
+type consumedEvent =
+  | ShipmentBooked({shipmentId: string})
+  | ShipmentDispatched({shipmentId: string})
+
+@schema
+type shipmentStatus =
+  | Booked
+  | Dispatched
+
+@schema
+type state = {shipmentId: string, @lifecycle shipmentStatus: shipmentStatus}
+
+let project = ({event}: Reventless.StateViewSlice.consumed<consumedEvent>) =>
+  switch event {
+  | ShipmentBooked({shipmentId}) => [Set(shipmentId, {shipmentId, shipmentStatus: Booked})]
+  | ShipmentDispatched({shipmentId}) =>
+    [Update(shipmentId, s => {...s, shipmentStatus: Dispatched})]
+  }

package/tests/plugin/StateViewSlice/PsShipmentsView.res.mjs

@@ -0,0 +1,101 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+import * as S from "sury/src/S.res.mjs";
+import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
+import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
+import * as StateAnnotations$Reventless from "@reventlessdev/reventless-spec/src/components/StateAnnotations.res.mjs";
+
+let consumedEventSchema = S.union([
+  S.schema(s => ({
+    TAG: "ShipmentBooked",
+    shipmentId: s.m(DcbTag$Reventless.string)
+  })),
+  S.schema(s => ({
+    TAG: "ShipmentDispatched",
+    shipmentId: s.m(DcbTag$Reventless.string)
+  }))
+]);
+
+let shipmentStatusSchema = S.union([
+  S.literal("Booked"),
+  S.literal("Dispatched")
+]);
+
+let stateSchema = S.schema(s => ({
+  shipmentId: s.m(S.string),
+  shipmentStatus: s.m(shipmentStatusSchema)
+}));
+
+function project(param) {
+  let event = param.event;
+  if (event.TAG !== "ShipmentBooked") {
+    return [{
+        TAG: "Update",
+        _0: event.shipmentId,
+        _1: s => ({
+          shipmentId: s.shipmentId,
+          shipmentStatus: "Dispatched"
+        })
+      }];
+  }
+  let shipmentId = event.shipmentId;
+  return [{
+      TAG: "Set",
+      _0: shipmentId,
+      _1: {
+        shipmentId: shipmentId,
+        shipmentStatus: "Booked"
+      }
+    }];
+}
+
+let config = ReadModel$Reventless.config(undefined, undefined, undefined);
+
+let stateSchema$1 = S.Metadata.set(stateSchema, StateAnnotations$Reventless.stateAnnotationsId, {
+  ids: [],
+  compositeIds: [],
+  subIds: [],
+  compositeSubIds: [],
+  indexes: [],
+  hidden: [],
+  summary: [],
+  drillTargets: [],
+  drillTargetKeys: [],
+  collapsed: [],
+  scan: [],
+  scanSort: [],
+  semantic: [],
+  metric: [],
+  lifecycle: "shipmentStatus",
+  groupBy: undefined,
+  visibility: undefined,
+  live: undefined,
+  retired: undefined
+});
+
+let name = "Shipments";
+
+let Id;
+
+let subIdConfig;
+
+let moduleUrl = "@reventlessdev/reventless-core/tests/plugin/StateViewSlice/PsShipmentsView.res.mjs";
+
+let authorization = "AllowAuthenticated";
+
+let visibility = "Public";
+
+export {
+  name,
+  Id,
+  consumedEventSchema,
+  shipmentStatusSchema,
+  project,
+  config,
+  subIdConfig,
+  stateSchema$1 as stateSchema,
+  moduleUrl,
+  authorization,
+  visibility,
+}
+/* consumedEventSchema Not a pure module */

package/tests/util/CsvStreamTest.res

@@ -1,6 +1,6 @@
 // CsvStreamTest.res
 // Tests for CsvStream.parseRows — Effect Stream bridge for FastCSV.
-// See docs/plans/effect-stream-integration.md Phase E.
+// See docs/plans/done/effect-stream-integration.md Phase E.
 
 open JestGlobals