@reventlessdev/online-shop-dcb-catalog 1.0.0-alpha.243 → 1.0.0-alpha.244

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.244 (2026-09-16)
+
+* feat(spec)!: infer the DCB partition key per slice, and drop @partitionTag where inference agrees ([6c10161](https://github.com/ReventlessDev/reventless-core/commit/6c101611d438beea4bc9175ae8ea0ea1f6f7493b))
+### Features
+
+* **spec:** let a slice's chapter break a partition-key tie ([2b9ae77](https://github.com/ReventlessDev/reventless-core/commit/2b9ae77e98eb42177d2bdd4977bc62bb7c7911aa))
+
+### BREAKING CHANGES
+
+* DcbTag.derivePartitionTag is removed; a boundary whose
+partition cannot be inferred no longer deploys.
+
+
+
 # 1.0.0-alpha.243 (2026-09-11)
 
 **Note:** Version bump only for package @reventlessdev/online-shop-dcb-catalog

package/lib/bs/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1789087733248)
-#Done(1789087736208)
+#Start(1789592183102)
+#Done(1789592186015)

package/lib/bs/compiler-info.json

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

package/lib/bs/src/Plugin.res

@@ -8,48 +8,56 @@ let dcbSliceSchemas: array<Reventless.DcbTag.sliceSchemas> = [
     commandSchema: AddCategory.commandSchema->S.castToUnknown,
     consumedEventSchema: AddCategory.consumedEventSchema->S.castToUnknown,
     eventSchema: AddCategory.eventSchema->S.castToUnknown,
+    moduleUrl: AddCategory.moduleUrl,
   },
   {
     name: AddProduct.name,
     commandSchema: AddProduct.commandSchema->S.castToUnknown,
     consumedEventSchema: AddProduct.consumedEventSchema->S.castToUnknown,
     eventSchema: AddProduct.eventSchema->S.castToUnknown,
+    moduleUrl: AddProduct.moduleUrl,
   },
   {
     name: ArchiveCategory.name,
     commandSchema: ArchiveCategory.commandSchema->S.castToUnknown,
     consumedEventSchema: ArchiveCategory.consumedEventSchema->S.castToUnknown,
     eventSchema: ArchiveCategory.eventSchema->S.castToUnknown,
+    moduleUrl: ArchiveCategory.moduleUrl,
   },
   {
     name: ChangeProductDescription.name,
     commandSchema: ChangeProductDescription.commandSchema->S.castToUnknown,
     consumedEventSchema: ChangeProductDescription.consumedEventSchema->S.castToUnknown,
     eventSchema: ChangeProductDescription.eventSchema->S.castToUnknown,
+    moduleUrl: ChangeProductDescription.moduleUrl,
   },
   {
     name: ChangeProductName.name,
     commandSchema: ChangeProductName.commandSchema->S.castToUnknown,
     consumedEventSchema: ChangeProductName.consumedEventSchema->S.castToUnknown,
     eventSchema: ChangeProductName.eventSchema->S.castToUnknown,
+    moduleUrl: ChangeProductName.moduleUrl,
   },
   {
     name: ChangeProductPrice.name,
     commandSchema: ChangeProductPrice.commandSchema->S.castToUnknown,
     consumedEventSchema: ChangeProductPrice.consumedEventSchema->S.castToUnknown,
     eventSchema: ChangeProductPrice.eventSchema->S.castToUnknown,
+    moduleUrl: ChangeProductPrice.moduleUrl,
   },
   {
     name: RecordProductDemand.name,
     commandSchema: RecordProductDemand.commandSchema->S.castToUnknown,
     consumedEventSchema: RecordProductDemand.consumedEventSchema->S.castToUnknown,
     eventSchema: RecordProductDemand.eventSchema->S.castToUnknown,
+    moduleUrl: RecordProductDemand.moduleUrl,
   },
   {
     name: RenameCategory.name,
     commandSchema: RenameCategory.commandSchema->S.castToUnknown,
     consumedEventSchema: RenameCategory.consumedEventSchema->S.castToUnknown,
     eventSchema: RenameCategory.eventSchema->S.castToUnknown,
+    moduleUrl: RenameCategory.moduleUrl,
   },
 ]
 

package/lib/bs/src/Plugin.res.mjs

@@ -40,49 +40,57 @@ let dcbSliceSchemas = [
     name: AddCategory$CatalogPlugin.name,
     commandSchema: AddCategory$CatalogPlugin.commandSchema,
     consumedEventSchema: AddCategory$CatalogPlugin.consumedEventSchema,
-    eventSchema: AddCategory$CatalogPlugin.eventSchema
+    eventSchema: AddCategory$CatalogPlugin.eventSchema,
+    moduleUrl: AddCategory$CatalogPlugin.moduleUrl
   },
   {
     name: AddProduct$CatalogPlugin.name,
     commandSchema: AddProduct$CatalogPlugin.commandSchema,
     consumedEventSchema: AddProduct$CatalogPlugin.consumedEventSchema,
-    eventSchema: AddProduct$CatalogPlugin.eventSchema
+    eventSchema: AddProduct$CatalogPlugin.eventSchema,
+    moduleUrl: AddProduct$CatalogPlugin.moduleUrl
   },
   {
     name: ArchiveCategory$CatalogPlugin.name,
     commandSchema: ArchiveCategory$CatalogPlugin.commandSchema,
     consumedEventSchema: ArchiveCategory$CatalogPlugin.consumedEventSchema,
-    eventSchema: ArchiveCategory$CatalogPlugin.eventSchema
+    eventSchema: ArchiveCategory$CatalogPlugin.eventSchema,
+    moduleUrl: ArchiveCategory$CatalogPlugin.moduleUrl
   },
   {
     name: ChangeProductDescription$CatalogPlugin.name,
     commandSchema: ChangeProductDescription$CatalogPlugin.commandSchema,
     consumedEventSchema: ChangeProductDescription$CatalogPlugin.consumedEventSchema,
-    eventSchema: ChangeProductDescription$CatalogPlugin.eventSchema
+    eventSchema: ChangeProductDescription$CatalogPlugin.eventSchema,
+    moduleUrl: ChangeProductDescription$CatalogPlugin.moduleUrl
   },
   {
     name: ChangeProductName$CatalogPlugin.name,
     commandSchema: ChangeProductName$CatalogPlugin.commandSchema,
     consumedEventSchema: ChangeProductName$CatalogPlugin.consumedEventSchema,
-    eventSchema: ChangeProductName$CatalogPlugin.eventSchema
+    eventSchema: ChangeProductName$CatalogPlugin.eventSchema,
+    moduleUrl: ChangeProductName$CatalogPlugin.moduleUrl
   },
   {
     name: ChangeProductPrice$CatalogPlugin.name,
     commandSchema: ChangeProductPrice$CatalogPlugin.commandSchema,
     consumedEventSchema: ChangeProductPrice$CatalogPlugin.consumedEventSchema,
-    eventSchema: ChangeProductPrice$CatalogPlugin.eventSchema
+    eventSchema: ChangeProductPrice$CatalogPlugin.eventSchema,
+    moduleUrl: ChangeProductPrice$CatalogPlugin.moduleUrl
   },
   {
     name: RecordProductDemand$CatalogPlugin.name,
     commandSchema: RecordProductDemand$CatalogPlugin.commandSchema,
     consumedEventSchema: RecordProductDemand$CatalogPlugin.consumedEventSchema,
-    eventSchema: RecordProductDemand$CatalogPlugin.eventSchema
+    eventSchema: RecordProductDemand$CatalogPlugin.eventSchema,
+    moduleUrl: RecordProductDemand$CatalogPlugin.moduleUrl
   },
   {
     name: RenameCategory$CatalogPlugin.name,
     commandSchema: RenameCategory$CatalogPlugin.commandSchema,
     consumedEventSchema: RenameCategory$CatalogPlugin.consumedEventSchema,
-    eventSchema: RenameCategory$CatalogPlugin.eventSchema
+    eventSchema: RenameCategory$CatalogPlugin.eventSchema,
+    moduleUrl: RenameCategory$CatalogPlugin.moduleUrl
   }
 ];
 

package/lib/bs/src/ProductDemand/StateChange/RecordProductDemand.res

@@ -18,5 +18,7 @@ type error = unit // always succeeds — demand recording is idempotent
 
 @schema
 type event =
+  // A join: product and order are both this slice's own ids. Only the domain says
+  // demand is counted per product, so inference cannot choose.
   | ProductDemandRecorded({@partitionTag productId: string, orderId: string})
   | ProductDemandRevoked({@partitionTag productId: string, orderId: string})

package/lib/ocaml/.compiler.log

@@ -1,2 +1,2 @@
-#Start(1789087733248)
-#Done(1789087736208)
+#Start(1789592183102)
+#Done(1789592186015)

package/lib/ocaml/Plugin.res

@@ -8,48 +8,56 @@ let dcbSliceSchemas: array<Reventless.DcbTag.sliceSchemas> = [
     commandSchema: AddCategory.commandSchema->S.castToUnknown,
     consumedEventSchema: AddCategory.consumedEventSchema->S.castToUnknown,
     eventSchema: AddCategory.eventSchema->S.castToUnknown,
+    moduleUrl: AddCategory.moduleUrl,
   },
   {
     name: AddProduct.name,
     commandSchema: AddProduct.commandSchema->S.castToUnknown,
     consumedEventSchema: AddProduct.consumedEventSchema->S.castToUnknown,
     eventSchema: AddProduct.eventSchema->S.castToUnknown,
+    moduleUrl: AddProduct.moduleUrl,
   },
   {
     name: ArchiveCategory.name,
     commandSchema: ArchiveCategory.commandSchema->S.castToUnknown,
     consumedEventSchema: ArchiveCategory.consumedEventSchema->S.castToUnknown,
     eventSchema: ArchiveCategory.eventSchema->S.castToUnknown,
+    moduleUrl: ArchiveCategory.moduleUrl,
   },
   {
     name: ChangeProductDescription.name,
     commandSchema: ChangeProductDescription.commandSchema->S.castToUnknown,
     consumedEventSchema: ChangeProductDescription.consumedEventSchema->S.castToUnknown,
     eventSchema: ChangeProductDescription.eventSchema->S.castToUnknown,
+    moduleUrl: ChangeProductDescription.moduleUrl,
   },
   {
     name: ChangeProductName.name,
     commandSchema: ChangeProductName.commandSchema->S.castToUnknown,
     consumedEventSchema: ChangeProductName.consumedEventSchema->S.castToUnknown,
     eventSchema: ChangeProductName.eventSchema->S.castToUnknown,
+    moduleUrl: ChangeProductName.moduleUrl,
   },
   {
     name: ChangeProductPrice.name,
     commandSchema: ChangeProductPrice.commandSchema->S.castToUnknown,
     consumedEventSchema: ChangeProductPrice.consumedEventSchema->S.castToUnknown,
     eventSchema: ChangeProductPrice.eventSchema->S.castToUnknown,
+    moduleUrl: ChangeProductPrice.moduleUrl,
   },
   {
     name: RecordProductDemand.name,
     commandSchema: RecordProductDemand.commandSchema->S.castToUnknown,
     consumedEventSchema: RecordProductDemand.consumedEventSchema->S.castToUnknown,
     eventSchema: RecordProductDemand.eventSchema->S.castToUnknown,
+    moduleUrl: RecordProductDemand.moduleUrl,
   },
   {
     name: RenameCategory.name,
     commandSchema: RenameCategory.commandSchema->S.castToUnknown,
     consumedEventSchema: RenameCategory.consumedEventSchema->S.castToUnknown,
     eventSchema: RenameCategory.eventSchema->S.castToUnknown,
+    moduleUrl: RenameCategory.moduleUrl,
   },
 ]
 

package/lib/ocaml/RecordProductDemand.res

@@ -18,5 +18,7 @@ type error = unit // always succeeds — demand recording is idempotent
 
 @schema
 type event =
+  // A join: product and order are both this slice's own ids. Only the domain says
+  // demand is counted per product, so inference cannot choose.
   | ProductDemandRecorded({@partitionTag productId: string, orderId: string})
   | ProductDemandRevoked({@partitionTag productId: string, orderId: string})

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/online-shop-dcb-catalog",
-  "version": "1.0.0-alpha.243",
+  "version": "1.0.0-alpha.244",
   "description": "Online Shop example — Catalog bounded context (Product & Category) using the DCB pattern",
   "license": "Apache-2.0",
   "jest": {
@@ -21,13 +21,13 @@
   },
   "dependencies": {
     "sury": "11.0.0-rc.2",
-    "@reventlessdev/online-shop-dcb-ordering-spec": "1.0.0-alpha.135",
-    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.20",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.209",
-    "@reventlessdev/online-shop-dcb-catalog-spec": "1.0.0-alpha.135",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.163",
-    "@reventlessdev/reventless-local": "3.0.0-alpha.251",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.135"
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.210",
+    "@reventlessdev/online-shop-dcb-catalog-spec": "1.0.0-alpha.136",
+    "@reventlessdev/online-shop-dcb-ordering-spec": "1.0.0-alpha.136",
+    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.21",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.164",
+    "@reventlessdev/reventless-local": "3.0.0-alpha.252",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.136"
   },
   "devDependencies": {
     "rescript": "12.3.0",

package/src/Plugin.res

@@ -8,48 +8,56 @@ let dcbSliceSchemas: array<Reventless.DcbTag.sliceSchemas> = [
     commandSchema: AddCategory.commandSchema->S.castToUnknown,
     consumedEventSchema: AddCategory.consumedEventSchema->S.castToUnknown,
     eventSchema: AddCategory.eventSchema->S.castToUnknown,
+    moduleUrl: AddCategory.moduleUrl,
   },
   {
     name: AddProduct.name,
     commandSchema: AddProduct.commandSchema->S.castToUnknown,
     consumedEventSchema: AddProduct.consumedEventSchema->S.castToUnknown,
     eventSchema: AddProduct.eventSchema->S.castToUnknown,
+    moduleUrl: AddProduct.moduleUrl,
   },
   {
     name: ArchiveCategory.name,
     commandSchema: ArchiveCategory.commandSchema->S.castToUnknown,
     consumedEventSchema: ArchiveCategory.consumedEventSchema->S.castToUnknown,
     eventSchema: ArchiveCategory.eventSchema->S.castToUnknown,
+    moduleUrl: ArchiveCategory.moduleUrl,
   },
   {
     name: ChangeProductDescription.name,
     commandSchema: ChangeProductDescription.commandSchema->S.castToUnknown,
     consumedEventSchema: ChangeProductDescription.consumedEventSchema->S.castToUnknown,
     eventSchema: ChangeProductDescription.eventSchema->S.castToUnknown,
+    moduleUrl: ChangeProductDescription.moduleUrl,
   },
   {
     name: ChangeProductName.name,
     commandSchema: ChangeProductName.commandSchema->S.castToUnknown,
     consumedEventSchema: ChangeProductName.consumedEventSchema->S.castToUnknown,
     eventSchema: ChangeProductName.eventSchema->S.castToUnknown,
+    moduleUrl: ChangeProductName.moduleUrl,
   },
   {
     name: ChangeProductPrice.name,
     commandSchema: ChangeProductPrice.commandSchema->S.castToUnknown,
     consumedEventSchema: ChangeProductPrice.consumedEventSchema->S.castToUnknown,
     eventSchema: ChangeProductPrice.eventSchema->S.castToUnknown,
+    moduleUrl: ChangeProductPrice.moduleUrl,
   },
   {
     name: RecordProductDemand.name,
     commandSchema: RecordProductDemand.commandSchema->S.castToUnknown,
     consumedEventSchema: RecordProductDemand.consumedEventSchema->S.castToUnknown,
     eventSchema: RecordProductDemand.eventSchema->S.castToUnknown,
+    moduleUrl: RecordProductDemand.moduleUrl,
   },
   {
     name: RenameCategory.name,
     commandSchema: RenameCategory.commandSchema->S.castToUnknown,
     consumedEventSchema: RenameCategory.consumedEventSchema->S.castToUnknown,
     eventSchema: RenameCategory.eventSchema->S.castToUnknown,
+    moduleUrl: RenameCategory.moduleUrl,
   },
 ]
 

package/src/Plugin.res.mjs

@@ -40,49 +40,57 @@ let dcbSliceSchemas = [
     name: AddCategory$CatalogPlugin.name,
     commandSchema: AddCategory$CatalogPlugin.commandSchema,
     consumedEventSchema: AddCategory$CatalogPlugin.consumedEventSchema,
-    eventSchema: AddCategory$CatalogPlugin.eventSchema
+    eventSchema: AddCategory$CatalogPlugin.eventSchema,
+    moduleUrl: AddCategory$CatalogPlugin.moduleUrl
   },
   {
     name: AddProduct$CatalogPlugin.name,
     commandSchema: AddProduct$CatalogPlugin.commandSchema,
     consumedEventSchema: AddProduct$CatalogPlugin.consumedEventSchema,
-    eventSchema: AddProduct$CatalogPlugin.eventSchema
+    eventSchema: AddProduct$CatalogPlugin.eventSchema,
+    moduleUrl: AddProduct$CatalogPlugin.moduleUrl
   },
   {
     name: ArchiveCategory$CatalogPlugin.name,
     commandSchema: ArchiveCategory$CatalogPlugin.commandSchema,
     consumedEventSchema: ArchiveCategory$CatalogPlugin.consumedEventSchema,
-    eventSchema: ArchiveCategory$CatalogPlugin.eventSchema
+    eventSchema: ArchiveCategory$CatalogPlugin.eventSchema,
+    moduleUrl: ArchiveCategory$CatalogPlugin.moduleUrl
   },
   {
     name: ChangeProductDescription$CatalogPlugin.name,
     commandSchema: ChangeProductDescription$CatalogPlugin.commandSchema,
     consumedEventSchema: ChangeProductDescription$CatalogPlugin.consumedEventSchema,
-    eventSchema: ChangeProductDescription$CatalogPlugin.eventSchema
+    eventSchema: ChangeProductDescription$CatalogPlugin.eventSchema,
+    moduleUrl: ChangeProductDescription$CatalogPlugin.moduleUrl
   },
   {
     name: ChangeProductName$CatalogPlugin.name,
     commandSchema: ChangeProductName$CatalogPlugin.commandSchema,
     consumedEventSchema: ChangeProductName$CatalogPlugin.consumedEventSchema,
-    eventSchema: ChangeProductName$CatalogPlugin.eventSchema
+    eventSchema: ChangeProductName$CatalogPlugin.eventSchema,
+    moduleUrl: ChangeProductName$CatalogPlugin.moduleUrl
   },
   {
     name: ChangeProductPrice$CatalogPlugin.name,
     commandSchema: ChangeProductPrice$CatalogPlugin.commandSchema,
     consumedEventSchema: ChangeProductPrice$CatalogPlugin.consumedEventSchema,
-    eventSchema: ChangeProductPrice$CatalogPlugin.eventSchema
+    eventSchema: ChangeProductPrice$CatalogPlugin.eventSchema,
+    moduleUrl: ChangeProductPrice$CatalogPlugin.moduleUrl
   },
   {
     name: RecordProductDemand$CatalogPlugin.name,
     commandSchema: RecordProductDemand$CatalogPlugin.commandSchema,
     consumedEventSchema: RecordProductDemand$CatalogPlugin.consumedEventSchema,
-    eventSchema: RecordProductDemand$CatalogPlugin.eventSchema
+    eventSchema: RecordProductDemand$CatalogPlugin.eventSchema,
+    moduleUrl: RecordProductDemand$CatalogPlugin.moduleUrl
   },
   {
     name: RenameCategory$CatalogPlugin.name,
     commandSchema: RenameCategory$CatalogPlugin.commandSchema,
     consumedEventSchema: RenameCategory$CatalogPlugin.consumedEventSchema,
-    eventSchema: RenameCategory$CatalogPlugin.eventSchema
+    eventSchema: RenameCategory$CatalogPlugin.eventSchema,
+    moduleUrl: RenameCategory$CatalogPlugin.moduleUrl
   }
 ];
 

package/src/ProductDemand/StateChange/RecordProductDemand.res

@@ -18,5 +18,7 @@ type error = unit // always succeeds — demand recording is idempotent
 
 @schema
 type event =
+  // A join: product and order are both this slice's own ids. Only the domain says
+  // demand is counted per product, so inference cannot choose.
   | ProductDemandRecorded({@partitionTag productId: string, orderId: string})
   | ProductDemandRevoked({@partitionTag productId: string, orderId: string})