@reventlessdev/online-shop-dcb-ordering 1.0.0-alpha.214 → 1.0.0-alpha.216

package/CHANGELOG.md

@@ -3,6 +3,20 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 1.0.0-alpha.216 (2026-08-16)
+
+### Features
+
+* **ppx:** declare a command's lifecycle edge once, as [@transition](https://github.com/transition) ([dd35130](https://github.com/ReventlessDev/reventless-core/commit/dd3513014f14b71879ee21263c6755d3c3d95096))
+
+
+# 1.0.0-alpha.215 (2026-08-16)
+
+### Features
+
+* **spec:** [@retired](https://github.com/retired) state-field annotation and its schema emission ([2d8234b](https://github.com/ReventlessDev/reventless-core/commit/2d8234b6b3dd8f479031a67eb5b4b47b5c0c2ff9))
+
+
 # 1.0.0-alpha.214 (2026-08-15)
 
 **Note:** Version bump only for package @reventlessdev/online-shop-dcb-ordering

package/lib/bs/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1786782386896)
-#Done(1786782389574)
+#Start(1786902395354)
+#Done(1786902398050)

package/lib/bs/compiler-info.json

@@ -4,5 +4,5 @@
   "bsc_hash": "75e3a59c95cc953608fd3dd6ea6ed68141bba4414a20a52f114261b8a48385fa",
   "rescript_config_hash": "2b45634c4ef9d26c69e2cd8282eb5d077ce9cf087ded0065001d0f0d889e241c",
   "runtime_path": "/home/runner/work/reventless-core/reventless-core/node_modules/@rescript/runtime",
-  "generated_at": "1786782389580"
+  "generated_at": "1786902398053"
 }

package/lib/bs/src/CatalogProduct/StateViewSlice/AvailableProducts.res.mjs

@@ -42,10 +42,11 @@ let stateSchema$1 = S.Metadata.set(stateSchema, StateAnnotations$Reventless.stat
   scanSort: [],
   semantic: [],
   metric: [],
-  status: undefined,
+  lifecycle: undefined,
   groupBy: undefined,
   visibility: "Internal",
-  live: undefined
+  live: undefined,
+  retired: undefined
 });
 
 let name = "AvailableProducts";

package/lib/bs/src/Order/StateChangeSlice/CancelOrder.res

@@ -10,7 +10,7 @@ type consumedEvent =
 
 @schema
 type command =
-  | @allowedStates([Orders.Placed]) CancelOrder({orderId: string})
+  | @transition(([Orders.Placed]) => Orders.Cancelled) CancelOrder({orderId: string})
 
 @schema
 type error =

package/lib/bs/src/Order/StateChangeSlice/CancelOrder.res.mjs

@@ -34,6 +34,11 @@ let commandSchema$1 = Api$ReventlessInfra.markAllowedStates(commandSchema, [[
     ["Placed"]
   ]]);
 
+let commandSchema$2 = Api$ReventlessInfra.markTargetState(commandSchema$1, [[
+    "CancelOrder",
+    "Cancelled"
+  ]]);
+
 function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
@@ -52,7 +57,7 @@ export {
   consumedEventSchema,
   errorSchema,
   eventSchema,
-  commandSchema$1 as commandSchema,
+  commandSchema$2 as commandSchema,
   moduleUrl,
   commandAuthorization,
   readConsistency,

package/lib/bs/src/Order/StateChangeSlice/ShipOrder.res

@@ -10,7 +10,7 @@ type consumedEvent =
 
 @schema
 type command =
-  | @allowedStates([Orders.Placed]) ShipOrder({orderId: string})
+  | @transition(([Orders.Placed]) => Orders.Shipped) ShipOrder({orderId: string})
 
 @schema
 type error =

package/lib/bs/src/Order/StateChangeSlice/ShipOrder.res.mjs

@@ -30,6 +30,11 @@ let commandSchema$1 = Api$ReventlessInfra.markAllowedStates(commandSchema, [[
     ["Placed"]
   ]]);
 
+let commandSchema$2 = Api$ReventlessInfra.markTargetState(commandSchema$1, [[
+    "ShipOrder",
+    "Shipped"
+  ]]);
+
 function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
@@ -48,7 +53,7 @@ export {
   consumedEventSchema,
   errorSchema,
   eventSchema,
-  commandSchema$1 as commandSchema,
+  commandSchema$2 as commandSchema,
   moduleUrl,
   commandAuthorization,
   readConsistency,

package/lib/bs/src/Order/StateViewSlice/Orders.res

@@ -3,7 +3,7 @@
 @@reventless.spec
 
 @schema
-type status =
+type lifecycle =
   | Placed
   | Shipped
   | Cancelled
@@ -13,7 +13,9 @@ type state = {
   orderId: string,
   customerId: string,
   productIds: array<string>,
-  @status status: status,
+  // No annotation: the field name is the declaration. `@lifecycle` exists for
+  // records whose lifecycle field is honestly called something else.
+  lifecycle: lifecycle,
 }
 
 @schema

package/lib/bs/src/Order/StateViewSlice/Orders.res.mjs

@@ -3,9 +3,8 @@
 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 statusSchema = S.union([
+let lifecycleSchema = S.union([
   S.literal("Placed"),
   S.literal("Shipped"),
   S.literal("Cancelled")
@@ -15,7 +14,7 @@ let stateSchema = S.schema(s => ({
   orderId: s.m(S.string),
   customerId: s.m(S.string),
   productIds: s.m(S.array(S.string)),
-  status: s.m(statusSchema)
+  lifecycle: s.m(lifecycleSchema)
 }));
 
 let consumedEventSchema = S.union([
@@ -37,27 +36,6 @@ let consumedEventSchema = S.union([
 
 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: [],
-  status: "status",
-  groupBy: undefined,
-  visibility: undefined,
-  live: undefined
-});
-
 let name = "Orders";
 
 let Id;
@@ -73,13 +51,13 @@ let visibility = "Public";
 export {
   name,
   Id,
-  statusSchema,
+  lifecycleSchema,
+  stateSchema,
   consumedEventSchema,
   config,
   subIdConfig,
-  stateSchema$1 as stateSchema,
   moduleUrl,
   authorization,
   visibility,
 }
-/* statusSchema Not a pure module */
+/* lifecycleSchema Not a pure module */

package/lib/bs/src/Order/StateViewSlice/Orders_Projection.res

@@ -3,8 +3,8 @@
 let project = ({event}) =>
   switch event {
   | OrderPlaced({orderId, customerId, productIds}) => [
-      Set(orderId, {orderId, customerId, productIds, status: Placed}),
+      Set(orderId, {orderId, customerId, productIds, lifecycle: Placed}),
     ]
-  | OrderShipped({orderId}) => [Update(orderId, state => {...state, status: Shipped})]
-  | OrderCancelled({orderId}) => [Update(orderId, state => {...state, status: Cancelled})]
+  | OrderShipped({orderId}) => [Update(orderId, state => {...state, lifecycle: Shipped})]
+  | OrderCancelled({orderId}) => [Update(orderId, state => {...state, lifecycle: Cancelled})]
   }

package/lib/bs/src/Order/StateViewSlice/Orders_Projection.res.mjs

@@ -13,7 +13,7 @@ function project(param) {
             orderId: orderId,
             customerId: event.customerId,
             productIds: event.productIds,
-            status: "Placed"
+            lifecycle: "Placed"
           }
         }];
     case "OrderShipped" :
@@ -24,7 +24,7 @@ function project(param) {
             orderId: state.orderId,
             customerId: state.customerId,
             productIds: state.productIds,
-            status: "Shipped"
+            lifecycle: "Shipped"
           })
         }];
     case "OrderCancelled" :
@@ -35,7 +35,7 @@ function project(param) {
             orderId: state.orderId,
             customerId: state.customerId,
             productIds: state.productIds,
-            status: "Cancelled"
+            lifecycle: "Cancelled"
           })
         }];
   }

package/lib/bs/tests/Order/StateViewSlice/Orders_GWT.res

@@ -8,7 +8,7 @@ describe("Orders StateViewSlice", () => {
     )
     ->thenStateWithId(
       "o1",
-      {orderId: "o1", customerId: "c1", productIds: ["p1", "p2"], status: Placed},
+      {orderId: "o1", customerId: "c1", productIds: ["p1", "p2"], lifecycle: Placed},
     )
   )
 
@@ -19,7 +19,7 @@ describe("Orders StateViewSlice", () => {
     ->whenEvent(OrderShipped({orderId: "o1"}))
     ->thenStateWithId(
       "o1",
-      {orderId: "o1", customerId: "c1", productIds: ["p1"], status: Shipped},
+      {orderId: "o1", customerId: "c1", productIds: ["p1"], lifecycle: Shipped},
     )
   )
 
@@ -30,7 +30,7 @@ describe("Orders StateViewSlice", () => {
     ->whenEvent(OrderCancelled({orderId: "o1"}))
     ->thenStateWithId(
       "o1",
-      {orderId: "o1", customerId: "c1", productIds: ["p1"], status: Cancelled},
+      {orderId: "o1", customerId: "c1", productIds: ["p1"], lifecycle: Cancelled},
     )
   )
 })

package/lib/bs/tests/Order/StateViewSlice/Orders_GWT.res.mjs

@@ -39,7 +39,7 @@ describe("Orders StateViewSlice", () => {
       "p1",
       "p2"
     ],
-    status: "Placed"
+    lifecycle: "Placed"
   }));
   test("OrderShipped updates status to Shipped", undefined, () => thenStateWithId(whenEvent(givenEvents([{
       TAG: "OrderPlaced",
@@ -53,7 +53,7 @@ describe("Orders StateViewSlice", () => {
     orderId: "o1",
     customerId: "c1",
     productIds: ["p1"],
-    status: "Shipped"
+    lifecycle: "Shipped"
   }));
   test("OrderCancelled updates status to Cancelled", undefined, () => thenStateWithId(whenEvent(givenEvents([{
       TAG: "OrderPlaced",
@@ -67,7 +67,7 @@ describe("Orders StateViewSlice", () => {
     orderId: "o1",
     customerId: "c1",
     productIds: ["p1"],
-    status: "Cancelled"
+    lifecycle: "Cancelled"
   }));
 });
 

package/lib/ocaml/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1786782386896)
-#Done(1786782389574)
+#Start(1786902395354)
+#Done(1786902398050)

package/lib/ocaml/CancelOrder.res

@@ -10,7 +10,7 @@ type consumedEvent =
 
 @schema
 type command =
-  | @allowedStates([Orders.Placed]) CancelOrder({orderId: string})
+  | @transition(([Orders.Placed]) => Orders.Cancelled) CancelOrder({orderId: string})
 
 @schema
 type error =