@reventlessdev/reventless-gwt 1.0.0-alpha.208 → 1.0.0-alpha.210

package/CHANGELOG.md

@@ -3,6 +3,28 @@
 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.210 (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.209 (2026-09-11)
+
+**Note:** Version bump only for package @reventlessdev/reventless-gwt
+
+
+
+
+
 # 1.0.0-alpha.208 (2026-09-09)
 
 **Note:** Version bump only for package @reventlessdev/reventless-gwt

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-gwt",
-  "version": "1.0.0-alpha.208",
+  "version": "1.0.0-alpha.210",
   "description": "Given-When-Then DSLs and test harness for Reventless slice testing",
   "license": "Apache-2.0",
   "jest": {
@@ -14,12 +14,12 @@
   },
   "dependencies": {
     "sury": "11.0.0-rc.2",
-    "@reventlessdev/rescript-jest": "1.0.0-alpha.10",
     "@reventlessdev/rescript-effect": "0.1.0-alpha.33",
-    "@reventlessdev/rescript-node": "2.0.0-alpha.11",
-    "@reventlessdev/reventless-core": "3.0.0-alpha.261",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.162",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.134"
+    "@reventlessdev/rescript-jest": "1.0.0-alpha.10",
+    "@reventlessdev/reventless-core": "3.0.0-alpha.263",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.164",
+    "@reventlessdev/rescript-node": "2.0.0-alpha.12",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.136"
   },
   "devDependencies": {
     "rescript": "12.3.0",

package/src/Behavior_GWT.res.mjs

@@ -195,7 +195,7 @@ function Make(Spec) {
       contents: undefined
     };
     let consumedEventTypes = DcbDecode$Reventless.makeDecoder(Spec.consumedEventSchema).eventTypes;
-    let scopeShape = DcbTag$Reventless.sliceShapeFromSchemas("", Spec.commandSchema, Spec.consumedEventSchema, Spec.eventSchema);
+    let scopeShape = DcbTag$Reventless.sliceShapeFromSchemas("", Spec.commandSchema, Spec.consumedEventSchema, Spec.eventSchema, undefined);
     let set = new Set();
     DcbTag$Reventless.extractCrossPartitionTagKeys(Spec.eventSchema).forEach(k => {
       set.add(k);

package/src/Flow_GWT.res

@@ -239,10 +239,27 @@ let thenBoundaryScopeResolves = async (
 ) => {
   let s = await flowP
   let scope = Reventless.DcbTag.deriveEffectiveScope(slices)
-  // An ambiguity that costs nothing is not a failure: a boundary whose fallback
-  // carries every derived key reads exactly as the derivation would. What fails
-  // is losing a key, because that is the case where the runtime answers wrongly.
-  let outcome = if scope.droppedCrossPartitionTagKeys->Array.length > 0 {
+  // Deploy and boot derive the storage partition from the same slices and refuse
+  // the boundary when it fails, so the test fails with their reasons.
+  let partitionReasons = {
+    let hints = Reventless.DcbValidation.validatePartitionHintsVsInference(
+      ~shapes=slices->Array.map(Reventless.DcbTag.sliceShape),
+    )
+    let contradictions = hints.contradictions->Array.map(e => `${e.sliceName}: ${e.message}`)
+    switch Reventless.DcbTag.deriveBoundaryPartition(slices) {
+    | _ => contradictions
+    | exception JsExn(err) =>
+      contradictions->Array.concat([
+        JsExn.message(err)->Option.getOr("partition derivation failed"),
+      ])
+    }
+  }
+  // Beyond that, an ambiguity that costs nothing is not a failure: a boundary whose
+  // fallback carries every derived key reads exactly as the derivation would. What
+  // fails is losing a key, because that is the case where the runtime answers wrongly.
+  let outcome = if partitionReasons->Array.length > 0 {
+    Outcome.fail(PartitionUnresolved({boundary: name, reasons: partitionReasons}))
+  } else if scope.droppedCrossPartitionTagKeys->Array.length > 0 {
     Outcome.fail(
       ScopeDegraded({
         boundary: name,

package/src/Flow_GWT.res.mjs

@@ -1,15 +1,18 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
 import * as Stdlib_Array from "@rescript/runtime/lib/es6/Stdlib_Array.js";
+import * as Stdlib_JsExn from "@rescript/runtime/lib/es6/Stdlib_JsExn.js";
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Primitive_object from "@rescript/runtime/lib/es6/Primitive_object.js";
 import * as Primitive_string from "@rescript/runtime/lib/es6/Primitive_string.js";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
 import * as Message$Reventless from "@reventlessdev/reventless-spec/src/types/Message.res.mjs";
 import * as DcbDecode$Reventless from "@reventlessdev/reventless-spec/src/components/DcbDecode.res.mjs";
+import * as Primitive_exceptions from "@rescript/runtime/lib/es6/Primitive_exceptions.js";
 import * as Outcome$ReventlessGwt from "./Outcome.res.mjs";
 import * as JestBind$ReventlessGwt from "./JestBind.res.mjs";
 import * as Message$ReventlessCore from "@reventlessdev/reventless-core/src/Message.res.mjs";
+import * as DcbValidation$Reventless from "@reventlessdev/reventless-spec/src/components/DcbValidation.res.mjs";
 import * as StubRuntime$ReventlessGwt from "./StubRuntime.res.mjs";
 import * as DcbScopeInference$Reventless from "@reventlessdev/reventless-spec/src/components/DcbScopeInference.res.mjs";
 import * as Projection_GWT$ReventlessGwt from "./Projection_GWT.res.mjs";
@@ -134,12 +137,32 @@ function test(name, timeout, body) {
 async function thenBoundaryScopeResolves(flowP, name, slices) {
   let s = await flowP;
   let scope = DcbTag$Reventless.deriveEffectiveScope(slices);
-  let outcome = scope.droppedCrossPartitionTagKeys.length !== 0 ? Outcome$ReventlessGwt.fail({
-      TAG: "ScopeDegraded",
+  let hints = DcbValidation$Reventless.validatePartitionHintsVsInference(slices.map(DcbTag$Reventless.sliceShape));
+  let contradictions = hints.contradictions.map(e => e.sliceName + `: ` + e.message);
+  let partitionReasons;
+  try {
+    DcbTag$Reventless.deriveBoundaryPartition(slices);
+    partitionReasons = contradictions;
+  } catch (raw_err) {
+    let err = Primitive_exceptions.internalToException(raw_err);
+    if (err.RE_EXN_ID === "JsExn") {
+      partitionReasons = contradictions.concat([Stdlib_Option.getOr(Stdlib_JsExn.message(err._1), "partition derivation failed")]);
+    } else {
+      throw err;
+    }
+  }
+  let outcome = partitionReasons.length !== 0 ? Outcome$ReventlessGwt.fail({
+      TAG: "PartitionUnresolved",
       boundary: name,
-      dropped: scope.droppedCrossPartitionTagKeys,
-      ambiguities: scope.ambiguities.map(param => param[0] + `: ` + param[1])
-    }) : Outcome$ReventlessGwt.pass;
+      reasons: partitionReasons
+    }) : (
+      scope.droppedCrossPartitionTagKeys.length !== 0 ? Outcome$ReventlessGwt.fail({
+          TAG: "ScopeDegraded",
+          boundary: name,
+          dropped: scope.droppedCrossPartitionTagKeys,
+          ambiguities: scope.ambiguities.map(param => param[0] + `: ` + param[1])
+        }) : Outcome$ReventlessGwt.pass
+    );
   return recordOutcome(s, outcome);
 }
 
@@ -159,7 +182,7 @@ function CommandStep(Spec) {
         lastAggregateId: s.lastAggregateId
       };
     };
-    let scopeShape = DcbTag$Reventless.sliceShapeFromSchemas("", Spec.commandSchema, Spec.consumedEventSchema, Spec.eventSchema);
+    let scopeShape = DcbTag$Reventless.sliceShapeFromSchemas("", Spec.commandSchema, Spec.consumedEventSchema, Spec.eventSchema, undefined);
     let set = new Set();
     DcbTag$Reventless.extractCrossPartitionTagKeys(Spec.eventSchema).forEach(k => {
       set.add(k);

package/src/Hint.res

@@ -100,6 +100,11 @@ let forMismatch = (~slice="<slice>", m: Outcome.mismatch): t =>
           ", ",
         )}] were lost. A slice referencing another entity by one of these keys now decides against an empty history and rejects valid commands. Fix the named slice — usually a consumed arm declaring the id the slice is already partitioned by.`,
     }
+  | PartitionUnresolved(_) => {
+      locus: `${slice} (DCB boundary)`,
+      branch: None,
+      message: "A slice in this boundary has no derivable partition key, or a @partitionTag names a key inference contradicts. Deploy and boot refuse the boundary. Follow the named reason: usually a consumed arm declaring the slice's own id, or an annotation to add or move.",
+    }
   | Throw({error}) => {
       locus: `${slice}`,
       branch: None,

package/src/Hint.res.mjs

@@ -95,6 +95,12 @@ function forMismatch(sliceOpt, m) {
         branch: undefined,
         message: `A slice in this boundary has no derivable partition key, so the derived DCB scope was discarded for all of them and the cross-partition reads of [` + m.dropped.join(", ") + `] were lost. A slice referencing another entity by one of these keys now decides against an empty history and rejects valid commands. Fix the named slice — usually a consumed arm declaring the id the slice is already partitioned by.`
       };
+    case "PartitionUnresolved" :
+      return {
+        locus: slice + ` (DCB boundary)`,
+        branch: undefined,
+        message: "A slice in this boundary has no derivable partition key, or a @partitionTag names a key inference contradicts. Deploy and boot refuse the boundary. Follow the named reason: usually a consumed arm declaring the slice's own id, or an annotation to add or move."
+      };
     case "Throw" :
       return {
         locus: slice,

package/src/MismatchRender.res

@@ -76,6 +76,10 @@ let normalize = (m: Outcome.mismatch): normalized => {
       Expected(`${boundary}: cross-partition reads [${dropped->Array.join(", ")}] derived`),
       Actual(ambiguities->Array.join(" | ")),
     ]
+  | PartitionUnresolved({boundary, reasons}) => [
+      Expected(`${boundary}: every slice's partition key derived`),
+      Actual(reasons->Array.join(" | ")),
+    ]
   | Throw({error, stack}) => [Error(error), Stack(stack)]
   }
   {kind: Outcome.kindName(m), fields}

package/src/MismatchRender.res.mjs

@@ -94,6 +94,18 @@ function normalize(m) {
         }
       ];
       break;
+    case "PartitionUnresolved" :
+      fields = [
+        {
+          TAG: "Expected",
+          _0: m.boundary + `: every slice's partition key derived`
+        },
+        {
+          TAG: "Actual",
+          _0: m.reasons.join(" | ")
+        }
+      ];
+      break;
     case "Throw" :
       fields = [
         {

package/src/Outcome.res

@@ -29,6 +29,10 @@ type mismatch =
   // is exactly why it needs its own outcome: the defect is in the composition,
   // and nothing that tests one slice can see it.
   | ScopeDegraded({boundary: string, dropped: array<string>, ambiguities: array<string>})
+  // A DCB consistency boundary whose storage partition cannot be derived: a slice
+  // with no inferable key, or a `@partitionTag` inference contradicts. Deploy and
+  // boot refuse such a boundary, so its flow test fails with the same reasons.
+  | PartitionUnresolved({boundary: string, reasons: array<string>})
   | Throw({error: string, stack: string})
 
 type outcome = result<unit, mismatch>
@@ -48,6 +52,7 @@ let kindName = (m: mismatch) =>
   | QueryRowsMismatch(_) => "QueryRowsMismatch"
   | PublishedActionsMismatch(_) => "PublishedActionsMismatch"
   | ScopeDegraded(_) => "ScopeDegraded"
+  | PartitionUnresolved(_) => "PartitionUnresolved"
   | Throw(_) => "Throw"
   }
 
@@ -103,5 +108,7 @@ let format = (m: mismatch) =>
     `ScopeDegraded:\n  boundary: ${boundary}\n  dropped:  ${dropped->Array.join(
         ", ",
       )}\n  cause:    ${ambiguities->Array.join(" | ")}`
+  | PartitionUnresolved({boundary, reasons}) =>
+    `PartitionUnresolved:\n  boundary: ${boundary}\n  cause:    ${reasons->Array.join(" | ")}`
   | Throw({error, stack}) => `Throw: ${error}\n${stack}`
   }

package/src/Outcome.res.mjs

@@ -31,6 +31,8 @@ function kindName(m) {
       return "PublishedActionsMismatch";
     case "ScopeDegraded" :
       return "ScopeDegraded";
+    case "PartitionUnresolved" :
+      return "PartitionUnresolved";
     case "Throw" :
       return "Throw";
   }
@@ -75,6 +77,8 @@ function format(m) {
       return `PublishedActionsMismatch:\n  expected: ` + stringifyJsonArray(m.expected) + `\n  actual:   ` + stringifyJsonArray(m.actual);
     case "ScopeDegraded" :
       return `ScopeDegraded:\n  boundary: ` + m.boundary + `\n  dropped:  ` + m.dropped.join(", ") + `\n  cause:    ` + m.ambiguities.join(" | ");
+    case "PartitionUnresolved" :
+      return `PartitionUnresolved:\n  boundary: ` + m.boundary + `\n  cause:    ` + m.reasons.join(" | ");
     case "Throw" :
       return `Throw: ` + m.error + `\n` + m.stack;
   }