@reventlessdev/online-shop-aggregates-catalog 3.0.0-alpha.166 → 3.0.0-alpha.167

package/CHANGELOG.md

@@ -3,6 +3,13 @@
 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.167 (2026-07-29)
+
+### Features
+
+* **example:** serve declared object stores without a host shell ([27794df](https://github.com/ReventlessDev/reventless-core/commit/27794df37a177a29419e82e4fbe698a1489a1bd9))
+
+
 # 3.0.0-alpha.166 (2026-07-28)
 
 **Note:** Version bump only for package @reventlessdev/online-shop-aggregates-catalog

package/lib/bs/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1785258655386)
-#Done(1785258660835)
+#Start(1785350544294)
+#Done(1785350549499)

package/lib/bs/compiler-info.json

@@ -4,5 +4,5 @@
   "bsc_hash": "75e3a59c95cc953608fd3dd6ea6ed68141bba4414a20a52f114261b8a48385fa",
   "rescript_config_hash": "50d5358a2cbe328e82ae9b442e4615b86dbfe6b2ce05e9eca04a0c78da0e4708",
   "runtime_path": "/home/runner/work/reventless-core/reventless-core/node_modules/@rescript/runtime",
-  "generated_at": "1785258660842"
+  "generated_at": "1785350549512"
 }

package/lib/bs/src/ExtensionPoint/Products_ExtensionPointMapping.res.mjs

@@ -18,9 +18,6 @@ let mapOutgoingEvent = (id, event, _meta, _queryEngine) => {
             price: event.price
           }
         }];
-    case "NameUpdated" :
-    case "DescriptionUpdated" :
-      return [];
     case "PriceUpdated" :
       return [{
           TAG: "PublishEvent",
@@ -31,6 +28,8 @@ let mapOutgoingEvent = (id, event, _meta, _queryEngine) => {
             price: event.price
           }
         }];
+    default:
+      return [];
   }
 };
 

package/lib/bs/src/Product/Aggregate/Product.res

@@ -1,21 +1,34 @@
 // Product aggregate specification.
-// A product listing with name, description, and price.
+// A product listing with name, description, price and an image.
+//
+// `@storageRef("productImages")` on the command inputs is what makes `imageUrl`
+// an upload rather than a free-text field: the store name is unqualified, so it
+// resolves to this plugin's own `Catalog.productImages`, and the platform must
+// provision it. Events carry the resulting ref as a plain string — the
+// annotation describes an input, not a stored value.
 
 @@reventless.spec
 
 @schema
 type command =
-  | Add({name: string, description: string, price: float})
+  | Add({
+      name: string,
+      description: string,
+      price: float,
+      @storageRef("productImages") imageUrl: string,
+    })
   | UpdateName({name: string})
   | UpdateDescription({description: string})
   | UpdatePrice({price: float})
+  | UpdateImage({@storageRef("productImages") imageUrl: string})
 
 @schema
 type event =
-  | Added({name: string, description: string, price: float})
+  | Added({name: string, description: string, price: float, imageUrl: string})
   | NameUpdated({name: string})
   | DescriptionUpdated({description: string})
   | PriceUpdated({price: float})
+  | ImageUpdated({imageUrl: string})
 
 @schema
 type error =

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

@@ -1,13 +1,15 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as S from "sury/src/S.res.mjs";
+import * as StorageRef$Reventless from "@reventlessdev/reventless-spec/src/semantic/StorageRef.res.mjs";
 
 let commandSchema = S.union([
   S.schema(s => ({
     TAG: "Add",
     name: s.m(S.string),
     description: s.m(S.string),
-    price: s.m(S.float)
+    price: s.m(S.float),
+    imageUrl: s.m(StorageRef$Reventless.forStore(undefined, "productImages"))
   })),
   S.schema(s => ({
     TAG: "UpdateName",
@@ -20,6 +22,10 @@ let commandSchema = S.union([
   S.schema(s => ({
     TAG: "UpdatePrice",
     price: s.m(S.float)
+  })),
+  S.schema(s => ({
+    TAG: "UpdateImage",
+    imageUrl: s.m(StorageRef$Reventless.forStore(undefined, "productImages"))
   }))
 ]);
 
@@ -28,7 +34,8 @@ let eventSchema = S.union([
     TAG: "Added",
     name: s.m(S.string),
     description: s.m(S.string),
-    price: s.m(S.float)
+    price: s.m(S.float),
+    imageUrl: s.m(S.string)
   })),
   S.schema(s => ({
     TAG: "NameUpdated",
@@ -41,6 +48,10 @@ let eventSchema = S.union([
   S.schema(s => ({
     TAG: "PriceUpdated",
     price: s.m(S.float)
+  })),
+  S.schema(s => ({
+    TAG: "ImageUpdated",
+    imageUrl: s.m(S.string)
   }))
 ]);
 

package/lib/bs/src/Product/Aggregate/Product_Behavior.res

@@ -12,27 +12,31 @@
 @schema
 type state =
   | NotCreated
-  | Created({name: string, description: string, price: float})
+  | Created({name: string, description: string, price: float, imageUrl: string})
 
 let initialState = NotCreated
 
 let evolve = (state, event) =>
   switch (state, event) {
-  | (NotCreated, Added({name, description, price})) => Created({name, description, price})
-  | (Created(_), Added({name, description, price})) => Created({name, description, price})
+  | (NotCreated, Added({name, description, price, imageUrl})) =>
+    Created({name, description, price, imageUrl})
+  | (Created(_), Added({name, description, price, imageUrl})) =>
+    Created({name, description, price, imageUrl})
   | (Created(s), NameUpdated({name})) => Created({...s, name})
   | (Created(s), DescriptionUpdated({description})) => Created({...s, description})
   | (Created(s), PriceUpdated({price})) => Created({...s, price})
+  | (Created(s), ImageUpdated({imageUrl})) => Created({...s, imageUrl})
   | (NotCreated, _) => state
   }
 
 let decide = (state, command) =>
   switch (state, command) {
-  | (NotCreated, Add({name, description, price})) =>
-    Ok([Added({name, description, price})])
+  | (NotCreated, Add({name, description, price, imageUrl})) =>
+    Ok([Added({name, description, price, imageUrl})])
   | (NotCreated, UpdateName(_)) => Error(ProductNotFound)
   | (NotCreated, UpdateDescription(_)) => Error(ProductNotFound)
   | (NotCreated, UpdatePrice(_)) => Error(ProductNotFound)
+  | (NotCreated, UpdateImage(_)) => Error(ProductNotFound)
   | (Created(_), Add(_)) => Error(ProductAlreadyExists)
   | (Created(s), UpdateName({name})) if name == s.name => Ok([])
   | (Created(_), UpdateName({name})) => Ok([NameUpdated({name: name})])
@@ -41,4 +45,6 @@ let decide = (state, command) =>
     Ok([DescriptionUpdated({description: description})])
   | (Created(s), UpdatePrice({price})) if price == s.price => Ok([])
   | (Created(_), UpdatePrice({price})) => Ok([PriceUpdated({price: price})])
+  | (Created(s), UpdateImage({imageUrl})) if imageUrl == s.imageUrl => Ok([])
+  | (Created(_), UpdateImage({imageUrl})) => Ok([ImageUpdated({imageUrl: imageUrl})])
   }

package/lib/bs/src/Product/Aggregate/Product_Behavior.res.mjs

@@ -8,7 +8,8 @@ let stateSchema = S.union([
     TAG: "Created",
     name: s.m(S.string),
     description: s.m(S.string),
-    price: s.m(S.float)
+    price: s.m(S.float),
+    imageUrl: s.m(S.string)
   }))
 ]);
 
@@ -19,7 +20,8 @@ function evolve(state, event) {
         TAG: "Created",
         name: event.name,
         description: event.description,
-        price: event.price
+        price: event.price,
+        imageUrl: event.imageUrl
       };
     } else {
       return state;
@@ -31,28 +33,40 @@ function evolve(state, event) {
         TAG: "Created",
         name: event.name,
         description: event.description,
-        price: event.price
+        price: event.price,
+        imageUrl: event.imageUrl
       };
     case "NameUpdated" :
       return {
         TAG: "Created",
         name: event.name,
         description: state.description,
-        price: state.price
+        price: state.price,
+        imageUrl: state.imageUrl
       };
     case "DescriptionUpdated" :
       return {
         TAG: "Created",
         name: state.name,
         description: event.description,
-        price: state.price
+        price: state.price,
+        imageUrl: state.imageUrl
       };
     case "PriceUpdated" :
       return {
         TAG: "Created",
         name: state.name,
         description: state.description,
-        price: event.price
+        price: event.price,
+        imageUrl: state.imageUrl
+      };
+    case "ImageUpdated" :
+      return {
+        TAG: "Created",
+        name: state.name,
+        description: state.description,
+        price: state.price,
+        imageUrl: event.imageUrl
       };
   }
 }
@@ -66,7 +80,8 @@ function decide(state, command) {
             TAG: "Added",
             name: command.name,
             description: command.description,
-            price: command.price
+            price: command.price,
+            imageUrl: command.imageUrl
           }]
       };
     } else {
@@ -130,6 +145,22 @@ function decide(state, command) {
             }]
         };
       }
+    case "UpdateImage" :
+      let imageUrl = command.imageUrl;
+      if (imageUrl === state.imageUrl) {
+        return {
+          TAG: "Ok",
+          _0: []
+        };
+      } else {
+        return {
+          TAG: "Ok",
+          _0: [{
+              TAG: "ImageUpdated",
+              imageUrl: imageUrl
+            }]
+        };
+      }
   }
 }
 

package/lib/bs/src/Product/ReadModel/Products.res

@@ -8,5 +8,6 @@ type state = {
   name: string,
   description: string,
   price: float,
+  @storageRef("productImages") imageUrl: string,
 }
 

package/lib/bs/src/Product/ReadModel/Products.res.mjs

@@ -2,11 +2,13 @@
 
 import * as S from "sury/src/S.res.mjs";
 import * as ReadModel$Reventless from "@reventlessdev/reventless-spec/src/components/ReadModel.res.mjs";
+import * as StorageRef$Reventless from "@reventlessdev/reventless-spec/src/semantic/StorageRef.res.mjs";
 
 let stateSchema = S.schema(s => ({
   name: s.m(S.string),
   description: s.m(S.string),
-  price: s.m(S.float)
+  price: s.m(S.float),
+  imageUrl: s.m(StorageRef$Reventless.forStore(undefined, "productImages"))
 }));
 
 let config = ReadModel$Reventless.config(undefined, undefined, undefined);

package/lib/bs/src/Product/ReadModel/Products_Projections.res

@@ -9,12 +9,13 @@ module ProductMapping = Mapping.Make(
     open Product
     let project = ({event, id, _}) =>
       switch event {
-      | Added({name, description, price}) =>
-        Set(id, {Products.name: name, description, price})
+      | Added({name, description, price, imageUrl}) =>
+        Set(id, {Products.name: name, description, price, imageUrl})
       | NameUpdated({name}) => Update(id, state => {...state, name})
       | DescriptionUpdated({description}) =>
         Update(id, state => {...state, description})
       | PriceUpdated({price}) => Update(id, state => {...state, price})
+      | ImageUpdated({imageUrl}) => Update(id, state => {...state, imageUrl})
       }
   },
 )

package/lib/bs/src/Product/ReadModel/Products_Projections.res.mjs

@@ -23,7 +23,8 @@ function project(param) {
         _1: {
           name: event.name,
           description: event.description,
-          price: event.price
+          price: event.price,
+          imageUrl: event.imageUrl
         }
       };
     case "NameUpdated" :
@@ -34,7 +35,8 @@ function project(param) {
         _1: state => ({
           name: name,
           description: state.description,
-          price: state.price
+          price: state.price,
+          imageUrl: state.imageUrl
         })
       };
     case "DescriptionUpdated" :
@@ -45,7 +47,8 @@ function project(param) {
         _1: state => ({
           name: state.name,
           description: description,
-          price: state.price
+          price: state.price,
+          imageUrl: state.imageUrl
         })
       };
     case "PriceUpdated" :
@@ -56,7 +59,20 @@ function project(param) {
         _1: state => ({
           name: state.name,
           description: state.description,
-          price: price
+          price: price,
+          imageUrl: state.imageUrl
+        })
+      };
+    case "ImageUpdated" :
+      let imageUrl = event.imageUrl;
+      return {
+        TAG: "Update",
+        _0: id,
+        _1: state => ({
+          name: state.name,
+          description: state.description,
+          price: state.price,
+          imageUrl: imageUrl
         })
       };
   }

package/lib/bs/src/Task/ImportProducts.res

@@ -27,6 +27,9 @@ let importCallback = (~eventName, ~key) => {
               name: "Imported Product",
               description: "Imported from " ++ key,
               price: 9.99,
+              // A CSV row carries no upload, so the ref is empty until someone
+              // issues UpdateImage against the presigned store.
+              imageUrl: "",
             })->Message.encode(Product.commandSchema),
           },
         ],

package/lib/bs/src/Task/ImportProducts.res.mjs

@@ -29,7 +29,8 @@ function importCallback(eventName, key) {
             TAG: "Add",
             name: "Imported Product",
             description: "Imported from " + key,
-            price: 9.99
+            price: 9.99,
+            imageUrl: ""
           }, Product$CatalogPlugin.commandSchema)
         }]
     }]);

package/lib/bs/tests/ExtensionPoint/Products_ExtensionPointMapping_GWT.res

@@ -5,7 +5,7 @@
 describe("Products ExtensionPoint mapping", () => {
   test("Added publishes ProductBecameAvailable", () =>
     whenDelegateEvent(
-      Delegate.Added({name: "Book", description: "A good book", price: 9.99}),
+      Delegate.Added({name: "Book", description: "A good book", price: 9.99, imageUrl: "/productImages/book.jpg"}),
     )->thenPublishesEvent(
       "gwt-id",
       ExtensionPoint.ProductBecameAvailable({productId: "gwt-id", name: "Book", price: 9.99}),

package/lib/bs/tests/ExtensionPoint/Products_ExtensionPointMapping_GWT.res.mjs

@@ -43,7 +43,8 @@ describe("Products ExtensionPoint mapping", () => {
     TAG: "Added",
     name: "Book",
     description: "A good book",
-    price: 9.99
+    price: 9.99,
+    imageUrl: "/productImages/book.jpg"
   }), "gwt-id", {
     TAG: "ProductBecameAvailable",
     productId: "gwt-id",

package/lib/bs/tests/Product/Aggregate/Product_GWT.res

@@ -1,15 +1,36 @@
 @@reventless.gwt
 
+let added = Added({
+  name: "Laptop",
+  description: "A laptop",
+  price: 999.99,
+  imageUrl: "/productImages/laptop.jpg",
+})
+
 describe("Product Behavior", () => {
   test("Add on new aggregate produces Added", () =>
     givenEvents([])
-    ->whenCmd(Add({name: "Laptop", description: "A laptop", price: 999.99}))
-    ->thenEvent(Added({name: "Laptop", description: "A laptop", price: 999.99}))
+    ->whenCmd(
+      Add({
+        name: "Laptop",
+        description: "A laptop",
+        price: 999.99,
+        imageUrl: "/productImages/laptop.jpg",
+      }),
+    )
+    ->thenEvent(added)
   )
 
   test("Add on existing aggregate returns ProductAlreadyExists", () =>
-    givenEvents([Added({name: "Laptop", description: "A laptop", price: 999.99})])
-    ->whenCmd(Add({name: "Laptop 2", description: "Another", price: 1.0}))
+    givenEvents([added])
+    ->whenCmd(
+      Add({
+        name: "Laptop 2",
+        description: "Another",
+        price: 1.0,
+        imageUrl: "/productImages/laptop-2.jpg",
+      }),
+    )
     ->thenError(ProductAlreadyExists)
   )
 
@@ -20,15 +41,13 @@ describe("Product Behavior", () => {
   )
 
   test("UpdateName on existing product produces NameUpdated", () =>
-    givenEvents([Added({name: "Laptop", description: "A laptop", price: 999.99})])
+    givenEvents([added])
     ->whenCmd(UpdateName({name: "Gaming Laptop"}))
     ->thenEvent(NameUpdated({name: "Gaming Laptop"}))
   )
 
   test("UpdateName to same name produces no events (idempotent)", () =>
-    givenEvents([Added({name: "Laptop", description: "A laptop", price: 999.99})])
-    ->whenCmd(UpdateName({name: "Laptop"}))
-    ->thenNoEvent
+    givenEvents([added])->whenCmd(UpdateName({name: "Laptop"}))->thenNoEvent
   )
 
   test("UpdateDescription on non-existent aggregate returns ProductNotFound", () =>
@@ -38,32 +57,44 @@ describe("Product Behavior", () => {
   )
 
   test("UpdateDescription on existing product produces DescriptionUpdated", () =>
-    givenEvents([Added({name: "Laptop", description: "A laptop", price: 999.99})])
+    givenEvents([added])
     ->whenCmd(UpdateDescription({description: "A high-end laptop"}))
     ->thenEvent(DescriptionUpdated({description: "A high-end laptop"}))
   )
 
   test("UpdateDescription to same description produces no events (idempotent)", () =>
-    givenEvents([Added({name: "Laptop", description: "A laptop", price: 999.99})])
-    ->whenCmd(UpdateDescription({description: "A laptop"}))
-    ->thenNoEvent
+    givenEvents([added])->whenCmd(UpdateDescription({description: "A laptop"}))->thenNoEvent
   )
 
   test("UpdatePrice on non-existent aggregate returns ProductNotFound", () =>
-    givenEvents([])
-    ->whenCmd(UpdatePrice({price: 1.0}))
-    ->thenError(ProductNotFound)
+    givenEvents([])->whenCmd(UpdatePrice({price: 1.0}))->thenError(ProductNotFound)
   )
 
   test("UpdatePrice on existing product produces PriceUpdated", () =>
-    givenEvents([Added({name: "Laptop", description: "A laptop", price: 999.99})])
+    givenEvents([added])
     ->whenCmd(UpdatePrice({price: 899.99}))
     ->thenEvent(PriceUpdated({price: 899.99}))
   )
 
   test("UpdatePrice to same price produces no events (idempotent)", () =>
-    givenEvents([Added({name: "Laptop", description: "A laptop", price: 999.99})])
-    ->whenCmd(UpdatePrice({price: 999.99}))
+    givenEvents([added])->whenCmd(UpdatePrice({price: 999.99}))->thenNoEvent
+  )
+
+  test("UpdateImage on non-existent aggregate returns ProductNotFound", () =>
+    givenEvents([])
+    ->whenCmd(UpdateImage({imageUrl: "/productImages/laptop.jpg"}))
+    ->thenError(ProductNotFound)
+  )
+
+  test("UpdateImage on existing product produces ImageUpdated", () =>
+    givenEvents([added])
+    ->whenCmd(UpdateImage({imageUrl: "/productImages/laptop-v2.jpg"}))
+    ->thenEvent(ImageUpdated({imageUrl: "/productImages/laptop-v2.jpg"}))
+  )
+
+  test("UpdateImage to the same ref produces no events (idempotent)", () =>
+    givenEvents([added])
+    ->whenCmd(UpdateImage({imageUrl: "/productImages/laptop.jpg"}))
     ->thenNoEvent
   )
 })