@reventlessdev/online-shop-aggregates-ordering 3.0.0-alpha.213 → 3.0.0-alpha.215

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.
 
+# 3.0.0-alpha.215 (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))
+
+
+# 3.0.0-alpha.214 (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))
+
+
 # 3.0.0-alpha.213 (2026-08-15)
 
 **Note:** Version bump only for package @reventlessdev/online-shop-aggregates-ordering

package/lib/bs/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1786782381621)
-#Done(1786782386771)
+#Start(1786902389877)
+#Done(1786902395231)

package/lib/bs/compiler-info.json

@@ -4,5 +4,5 @@
   "bsc_hash": "75e3a59c95cc953608fd3dd6ea6ed68141bba4414a20a52f114261b8a48385fa",
   "rescript_config_hash": "4c884bf958b93b21c77764e35498f269b81377cfcc324135f1ab7a1cc5b569cb",
   "runtime_path": "/home/runner/work/reventless-core/reventless-core/node_modules/@rescript/runtime",
-  "generated_at": "1786782386787"
+  "generated_at": "1786902395243"
 }

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

@@ -26,10 +26,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/Aggregate/Order.res

@@ -6,9 +6,9 @@
 @schema
 type command =
   | Place({customerId: string, @ref("AvailableProducts") @noDcbTag productIds: array<string>})
-  | @allowedStates([Orders.Placed]) Ship
-  | @allowedStates([Orders.Placed]) Cancel
-  | @allowedStates([Orders.Cancelled]) Refund({reason: string})
+  | @transition(([Orders.Placed]) => Orders.Shipped) Ship
+  | @transition(([Orders.Placed]) => Orders.Cancelled) Cancel
+  | @transition(([Orders.Cancelled]) => Orders.Refunded) Refund({reason: string})
 
 @schema
 type event =

package/lib/bs/src/Order/Aggregate/Order.res.mjs

@@ -59,6 +59,21 @@ let commandSchema$1 = Api$ReventlessInfra.markAllowedStates(commandSchema, [
   ]
 ]);
 
+let commandSchema$2 = Api$ReventlessInfra.markTargetState(commandSchema$1, [
+  [
+    "Ship",
+    "Shipped"
+  ],
+  [
+    "Cancel",
+    "Cancelled"
+  ],
+  [
+    "Refund",
+    "Refunded"
+  ]
+]);
+
 function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
@@ -74,7 +89,7 @@ export {
   Id,
   eventSchema,
   errorSchema,
-  commandSchema$1 as commandSchema,
+  commandSchema$2 as commandSchema,
   moduleUrl,
   commandAuthorization,
 }

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

@@ -4,7 +4,7 @@
 @@reventless.spec
 
 @schema
-type status =
+type lifecycle =
   | Placed
   | Shipped
   | Cancelled
@@ -14,6 +14,8 @@ type status =
 type state = {
   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,
 }
 

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

@@ -2,9 +2,8 @@
 
 import * as S from "sury/src/S.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"),
@@ -14,32 +13,11 @@ let statusSchema = S.union([
 let stateSchema = S.schema(s => ({
   customerId: s.m(S.string),
   productIds: s.m(S.array(S.string)),
-  status: s.m(statusSchema)
+  lifecycle: s.m(lifecycleSchema)
 }));
 
 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;
@@ -55,12 +33,12 @@ let visibility = "Public";
 export {
   name,
   Id,
-  statusSchema,
+  lifecycleSchema,
+  stateSchema,
   config,
   subIdConfig,
-  stateSchema$1 as stateSchema,
   moduleUrl,
   authorization,
   visibility,
 }
-/* statusSchema Not a pure module */
+/* lifecycleSchema Not a pure module */

package/lib/bs/src/Order/ReadModel/Orders_Projections.res

@@ -15,15 +15,15 @@ module OrderMapping = Mapping.Make(
           {
             Orders.customerId: customerId,
             productIds,
-            status: (Placed: Orders.status),
+            lifecycle: (Placed: Orders.lifecycle),
           },
         )
       | Shipped =>
-        Update(id, state => {...state, status: (Shipped: Orders.status)})
+        Update(id, state => {...state, lifecycle: (Shipped: Orders.lifecycle)})
       | Cancelled(_) =>
-        Update(id, state => {...state, status: (Cancelled: Orders.status)})
+        Update(id, state => {...state, lifecycle: (Cancelled: Orders.lifecycle)})
       | Refunded(_) =>
-        Update(id, state => {...state, status: (Refunded: Orders.status)})
+        Update(id, state => {...state, lifecycle: (Refunded: Orders.lifecycle)})
       }
   },
 )

package/lib/bs/src/Order/ReadModel/Orders_Projections.res.mjs

@@ -22,7 +22,7 @@ function project(param) {
       _1: state => ({
         customerId: state.customerId,
         productIds: state.productIds,
-        status: "Shipped"
+        lifecycle: "Shipped"
       })
     };
   }
@@ -34,7 +34,7 @@ function project(param) {
         _1: {
           customerId: event.customerId,
           productIds: event.productIds,
-          status: "Placed"
+          lifecycle: "Placed"
         }
       };
     case "Cancelled" :
@@ -44,7 +44,7 @@ function project(param) {
         _1: state => ({
           customerId: state.customerId,
           productIds: state.productIds,
-          status: "Cancelled"
+          lifecycle: "Cancelled"
         })
       };
     case "Refunded" :
@@ -54,7 +54,7 @@ function project(param) {
         _1: state => ({
           customerId: state.customerId,
           productIds: state.productIds,
-          status: "Refunded"
+          lifecycle: "Refunded"
         })
       };
   }

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

@@ -7,7 +7,7 @@ describe("Orders ReadModel ← Order", () => {
     ->thenState({
       Orders.customerId: "cust-1",
       productIds: ["prod-1", "prod-2"],
-      status: Placed,
+      lifecycle: Placed,
     })
   )
 
@@ -17,7 +17,7 @@ describe("Orders ReadModel ← Order", () => {
     ->thenState({
       Orders.customerId: "cust-1",
       productIds: ["prod-1"],
-      status: Shipped,
+      lifecycle: Shipped,
     })
   )
 
@@ -27,7 +27,7 @@ describe("Orders ReadModel ← Order", () => {
     ->thenState({
       Orders.customerId: "cust-1",
       productIds: ["prod-1"],
-      status: Cancelled,
+      lifecycle: Cancelled,
     })
   )
 
@@ -40,7 +40,7 @@ describe("Orders ReadModel ← Order", () => {
     ->thenState({
       Orders.customerId: "cust-1",
       productIds: ["prod-1"],
-      status: Refunded,
+      lifecycle: Refunded,
     })
   )
 })

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

@@ -29,7 +29,7 @@ describe("Orders ReadModel ← Order", () => {
       "prod-1",
       "prod-2"
     ],
-    status: "Placed"
+    lifecycle: "Placed"
   }));
   test("Shipped updates status", undefined, () => thenState(whenEvent(givenEvents([{
       TAG: "Placed",
@@ -38,7 +38,7 @@ describe("Orders ReadModel ← Order", () => {
     }]), "Shipped"), {
     customerId: "cust-1",
     productIds: ["prod-1"],
-    status: "Shipped"
+    lifecycle: "Shipped"
   }));
   test("Cancelled updates status", undefined, () => thenState(whenEvent(givenEvents([{
       TAG: "Placed",
@@ -50,7 +50,7 @@ describe("Orders ReadModel ← Order", () => {
   }), {
     customerId: "cust-1",
     productIds: ["prod-1"],
-    status: "Cancelled"
+    lifecycle: "Cancelled"
   }));
   test("Refunded updates status", undefined, () => thenState(whenEvent(givenEvents([
     {
@@ -68,7 +68,7 @@ describe("Orders ReadModel ← Order", () => {
   }), {
     customerId: "cust-1",
     productIds: ["prod-1"],
-    status: "Refunded"
+    lifecycle: "Refunded"
   }));
 });
 

package/lib/ocaml/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1786782381621)
-#Done(1786782386771)
+#Start(1786902389877)
+#Done(1786902395231)

package/lib/ocaml/Order.res

@@ -6,9 +6,9 @@
 @schema
 type command =
   | Place({customerId: string, @ref("AvailableProducts") @noDcbTag productIds: array<string>})
-  | @allowedStates([Orders.Placed]) Ship
-  | @allowedStates([Orders.Placed]) Cancel
-  | @allowedStates([Orders.Cancelled]) Refund({reason: string})
+  | @transition(([Orders.Placed]) => Orders.Shipped) Ship
+  | @transition(([Orders.Placed]) => Orders.Cancelled) Cancel
+  | @transition(([Orders.Cancelled]) => Orders.Refunded) Refund({reason: string})
 
 @schema
 type event =

package/lib/ocaml/Orders.res

@@ -4,7 +4,7 @@
 @@reventless.spec
 
 @schema
-type status =
+type lifecycle =
   | Placed
   | Shipped
   | Cancelled
@@ -14,6 +14,8 @@ type status =
 type state = {
   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,
 }
 

package/lib/ocaml/Orders_GWT.res

@@ -7,7 +7,7 @@ describe("Orders ReadModel ← Order", () => {
     ->thenState({
       Orders.customerId: "cust-1",
       productIds: ["prod-1", "prod-2"],
-      status: Placed,
+      lifecycle: Placed,
     })
   )
 
@@ -17,7 +17,7 @@ describe("Orders ReadModel ← Order", () => {
     ->thenState({
       Orders.customerId: "cust-1",
       productIds: ["prod-1"],
-      status: Shipped,
+      lifecycle: Shipped,
     })
   )
 
@@ -27,7 +27,7 @@ describe("Orders ReadModel ← Order", () => {
     ->thenState({
       Orders.customerId: "cust-1",
       productIds: ["prod-1"],
-      status: Cancelled,
+      lifecycle: Cancelled,
     })
   )
 
@@ -40,7 +40,7 @@ describe("Orders ReadModel ← Order", () => {
     ->thenState({
       Orders.customerId: "cust-1",
       productIds: ["prod-1"],
-      status: Refunded,
+      lifecycle: Refunded,
     })
   )
 })

package/lib/ocaml/Orders_Projections.res

@@ -15,15 +15,15 @@ module OrderMapping = Mapping.Make(
           {
             Orders.customerId: customerId,
             productIds,
-            status: (Placed: Orders.status),
+            lifecycle: (Placed: Orders.lifecycle),
           },
         )
       | Shipped =>
-        Update(id, state => {...state, status: (Shipped: Orders.status)})
+        Update(id, state => {...state, lifecycle: (Shipped: Orders.lifecycle)})
       | Cancelled(_) =>
-        Update(id, state => {...state, status: (Cancelled: Orders.status)})
+        Update(id, state => {...state, lifecycle: (Cancelled: Orders.lifecycle)})
       | Refunded(_) =>
-        Update(id, state => {...state, status: (Refunded: Orders.status)})
+        Update(id, state => {...state, lifecycle: (Refunded: Orders.lifecycle)})
       }
   },
 )

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/online-shop-aggregates-ordering",
-  "version": "3.0.0-alpha.213",
+  "version": "3.0.0-alpha.215",
   "description": "Online Shop example — Ordering plugin (Customer & Order aggregates)",
   "license": "Apache-2.0",
   "jest": {
@@ -21,18 +21,18 @@
   },
   "dependencies": {
     "sury": "^11.0.0-alpha.4",
-    "@reventlessdev/online-shop-aggregates-catalog-spec": "3.0.0-alpha.113",
-    "@reventlessdev/online-shop-aggregates-ordering-spec": "3.0.0-alpha.113",
+    "@reventlessdev/online-shop-aggregates-catalog-spec": "3.0.0-alpha.115",
+    "@reventlessdev/online-shop-aggregates-ordering-spec": "3.0.0-alpha.115",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.19",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.183",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.142",
-    "@reventlessdev/reventless-local": "3.0.0-alpha.224",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.114"
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.185",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.144",
+    "@reventlessdev/reventless-local": "3.0.0-alpha.226",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.116"
   },
   "devDependencies": {
     "rescript": "12.3.0",
     "sury-ppx": "11.0.0-alpha.2",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.66"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.68"
   },
   "peerDependencies": {
     "rescript": "12.3.0"

package/src/CatalogProduct/ReadModel/AvailableProducts.res.mjs

@@ -26,10 +26,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/src/Order/Aggregate/Order.res

@@ -6,9 +6,9 @@
 @schema
 type command =
   | Place({customerId: string, @ref("AvailableProducts") @noDcbTag productIds: array<string>})
-  | @allowedStates([Orders.Placed]) Ship
-  | @allowedStates([Orders.Placed]) Cancel
-  | @allowedStates([Orders.Cancelled]) Refund({reason: string})
+  | @transition(([Orders.Placed]) => Orders.Shipped) Ship
+  | @transition(([Orders.Placed]) => Orders.Cancelled) Cancel
+  | @transition(([Orders.Cancelled]) => Orders.Refunded) Refund({reason: string})
 
 @schema
 type event =

package/src/Order/Aggregate/Order.res.mjs

@@ -59,6 +59,21 @@ let commandSchema$1 = Api$ReventlessInfra.markAllowedStates(commandSchema, [
   ]
 ]);
 
+let commandSchema$2 = Api$ReventlessInfra.markTargetState(commandSchema$1, [
+  [
+    "Ship",
+    "Shipped"
+  ],
+  [
+    "Cancel",
+    "Cancelled"
+  ],
+  [
+    "Refund",
+    "Refunded"
+  ]
+]);
+
 function commandAuthorization(param) {
   return "AllowAuthenticated";
 }
@@ -74,7 +89,7 @@ export {
   Id,
   eventSchema,
   errorSchema,
-  commandSchema$1 as commandSchema,
+  commandSchema$2 as commandSchema,
   moduleUrl,
   commandAuthorization,
 }

package/src/Order/ReadModel/Orders.res

@@ -4,7 +4,7 @@
 @@reventless.spec
 
 @schema
-type status =
+type lifecycle =
   | Placed
   | Shipped
   | Cancelled
@@ -14,6 +14,8 @@ type status =
 type state = {
   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,
 }
 

package/src/Order/ReadModel/Orders.res.mjs

@@ -2,9 +2,8 @@
 
 import * as S from "sury/src/S.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"),
@@ -14,32 +13,11 @@ let statusSchema = S.union([
 let stateSchema = S.schema(s => ({
   customerId: s.m(S.string),
   productIds: s.m(S.array(S.string)),
-  status: s.m(statusSchema)
+  lifecycle: s.m(lifecycleSchema)
 }));
 
 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;
@@ -55,12 +33,12 @@ let visibility = "Public";
 export {
   name,
   Id,
-  statusSchema,
+  lifecycleSchema,
+  stateSchema,
   config,
   subIdConfig,
-  stateSchema$1 as stateSchema,
   moduleUrl,
   authorization,
   visibility,
 }
-/* statusSchema Not a pure module */
+/* lifecycleSchema Not a pure module */

package/src/Order/ReadModel/Orders_Projections.res

@@ -15,15 +15,15 @@ module OrderMapping = Mapping.Make(
           {
             Orders.customerId: customerId,
             productIds,
-            status: (Placed: Orders.status),
+            lifecycle: (Placed: Orders.lifecycle),
           },
         )
       | Shipped =>
-        Update(id, state => {...state, status: (Shipped: Orders.status)})
+        Update(id, state => {...state, lifecycle: (Shipped: Orders.lifecycle)})
       | Cancelled(_) =>
-        Update(id, state => {...state, status: (Cancelled: Orders.status)})
+        Update(id, state => {...state, lifecycle: (Cancelled: Orders.lifecycle)})
       | Refunded(_) =>
-        Update(id, state => {...state, status: (Refunded: Orders.status)})
+        Update(id, state => {...state, lifecycle: (Refunded: Orders.lifecycle)})
       }
   },
 )

package/src/Order/ReadModel/Orders_Projections.res.mjs

@@ -22,7 +22,7 @@ function project(param) {
       _1: state => ({
         customerId: state.customerId,
         productIds: state.productIds,
-        status: "Shipped"
+        lifecycle: "Shipped"
       })
     };
   }
@@ -34,7 +34,7 @@ function project(param) {
         _1: {
           customerId: event.customerId,
           productIds: event.productIds,
-          status: "Placed"
+          lifecycle: "Placed"
         }
       };
     case "Cancelled" :
@@ -44,7 +44,7 @@ function project(param) {
         _1: state => ({
           customerId: state.customerId,
           productIds: state.productIds,
-          status: "Cancelled"
+          lifecycle: "Cancelled"
         })
       };
     case "Refunded" :
@@ -54,7 +54,7 @@ function project(param) {
         _1: state => ({
           customerId: state.customerId,
           productIds: state.productIds,
-          status: "Refunded"
+          lifecycle: "Refunded"
         })
       };
   }

package/tests/Order/ReadModel/Orders_GWT.res

@@ -7,7 +7,7 @@ describe("Orders ReadModel ← Order", () => {
     ->thenState({
       Orders.customerId: "cust-1",
       productIds: ["prod-1", "prod-2"],
-      status: Placed,
+      lifecycle: Placed,
     })
   )
 
@@ -17,7 +17,7 @@ describe("Orders ReadModel ← Order", () => {
     ->thenState({
       Orders.customerId: "cust-1",
       productIds: ["prod-1"],
-      status: Shipped,
+      lifecycle: Shipped,
     })
   )
 
@@ -27,7 +27,7 @@ describe("Orders ReadModel ← Order", () => {
     ->thenState({
       Orders.customerId: "cust-1",
       productIds: ["prod-1"],
-      status: Cancelled,
+      lifecycle: Cancelled,
     })
   )
 
@@ -40,7 +40,7 @@ describe("Orders ReadModel ← Order", () => {
     ->thenState({
       Orders.customerId: "cust-1",
       productIds: ["prod-1"],
-      status: Refunded,
+      lifecycle: Refunded,
     })
   )
 })

package/tests/Order/ReadModel/Orders_GWT.res.mjs

@@ -29,7 +29,7 @@ describe("Orders ReadModel ← Order", () => {
       "prod-1",
       "prod-2"
     ],
-    status: "Placed"
+    lifecycle: "Placed"
   }));
   test("Shipped updates status", undefined, () => thenState(whenEvent(givenEvents([{
       TAG: "Placed",
@@ -38,7 +38,7 @@ describe("Orders ReadModel ← Order", () => {
     }]), "Shipped"), {
     customerId: "cust-1",
     productIds: ["prod-1"],
-    status: "Shipped"
+    lifecycle: "Shipped"
   }));
   test("Cancelled updates status", undefined, () => thenState(whenEvent(givenEvents([{
       TAG: "Placed",
@@ -50,7 +50,7 @@ describe("Orders ReadModel ← Order", () => {
   }), {
     customerId: "cust-1",
     productIds: ["prod-1"],
-    status: "Cancelled"
+    lifecycle: "Cancelled"
   }));
   test("Refunded updates status", undefined, () => thenState(whenEvent(givenEvents([
     {
@@ -68,7 +68,7 @@ describe("Orders ReadModel ← Order", () => {
   }), {
     customerId: "cust-1",
     productIds: ["prod-1"],
-    status: "Refunded"
+    lifecycle: "Refunded"
   }));
 });