@reventlessdev/reventless-core 3.0.0-alpha.143 → 3.0.0-alpha.144

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.144 (2026-07-07)
+
+### Bug Fixes
+
+* **reventless-aws:** thread inferred DCB scope into the deployed command handler ([4d8327f](https://github.com/ReventlessDev/reventless-core/commit/4d8327fad8659a1cde8c36098c72392737437af1))
+
+
 # 3.0.0-alpha.143 (2026-07-06)
 
 ### Features

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-core",
-  "version": "3.0.0-alpha.143",
+  "version": "3.0.0-alpha.144",
   "description": "Core package for Reventless framework",
   "license": "Apache-2.0",
   "jest": {
@@ -31,14 +31,14 @@
     "@reventlessdev/rescript-effect": "0.1.0-alpha.25",
     "@reventlessdev/rescript-fast-csv": "1.2.0-alpha.11",
     "@reventlessdev/rescript-hash-object": "1.2.0-alpha.10",
-    "@reventlessdev/rescript-node-streams": "1.1.0-alpha.10",
     "@reventlessdev/rescript-jest": "1.0.0-alpha.6",
+    "@reventlessdev/rescript-node-streams": "1.1.0-alpha.10",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.14",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.89",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.67",
-    "@reventlessdev/reventless-interop": "3.0.0-alpha.24",
     "@reventlessdev/rescript-uuid": "1.1.0-alpha.14",
-    "@reventlessdev/rescript-ssh2": "1.1.0-alpha.11"
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.90",
+    "@reventlessdev/reventless-interop": "3.0.0-alpha.24",
+    "@reventlessdev/rescript-ssh2": "1.1.0-alpha.11",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.68"
   },
   "devDependencies": {
     "rescript": "^12.3.0",

package/src/components/Dcb/Dcb_Builder.res

@@ -289,11 +289,21 @@ module Make = (
 
         // All-or-nothing: thread the derived scope only when every slice resolved.
         // An ambiguous boundary keeps the annotated values (no partial inference).
-        let useInferred = inferred.ambiguities->Array.length == 0
-        let effectiveCrossPartitionTagKeys =
-          useInferred ? inferred.crossPartitionTagKeys : crossPartitionTagKeys
-        let effectiveTagKeysByEventType =
-          useInferred ? inferred.tagKeysByEventType : tagKeysByEventType
+        // Both this builder and the deployed command-handler entry point
+        // (DcbCommandTopicEntryPoint.mjs) route through `DcbTag.deriveEffectiveScope`
+        // so the runtime decision query cannot drift from this scope — see
+        // docs/analysis/dcb-runtime-scope-annotation-drift.md.
+        let {
+          crossPartitionTagKeys: effectiveCrossPartitionTagKeys,
+          tagKeysByEventType: effectiveTagKeysByEventType,
+        } = Reventless.DcbTag.deriveEffectiveScope(
+          stateChangeSlices->Array.map((module(Sc: StateChangeSlice.T)) => {
+            Reventless.DcbTag.name: Sc.Spec.name,
+            commandSchema: Sc.Spec.commandSchema->S.castToUnknown,
+            consumedEventSchema: Sc.Spec.consumedEventSchema->S.castToUnknown,
+            eventSchema: Sc.Spec.eventSchema->S.castToUnknown,
+          }),
+        )
 
         module DcbEventLog = DcbEventLog_Builder.Make(
           DcbEventLogStorage,

package/src/components/Dcb/Dcb_Builder.res.mjs

@@ -167,9 +167,14 @@ function Make(DcbEventLogStorage) {
       let scopeIssues = DcbValidation$Reventless.validateScopeVsInference(scopeAnnotations, inferred);
       scopeIssues.contradictions.forEach(e => log.warn("Dcb_Builder", undefined, `DCB scope contradiction (` + e.sliceName + `): ` + e.message));
       scopeIssues.redundancies.forEach(e => log.info("Dcb_Builder", undefined, `DCB scope (` + e.sliceName + `): ` + e.message));
-      let useInferred = inferred.ambiguities.length === 0;
-      let effectiveCrossPartitionTagKeys = useInferred ? inferred.crossPartitionTagKeys : crossPartitionTagKeys;
-      let effectiveTagKeysByEventType = useInferred ? inferred.tagKeysByEventType : tagKeysByEventType;
+      let match = DcbTag$Reventless.deriveEffectiveScope(stateChangeSlices.map(Sc => ({
+        name: Sc.Spec.name,
+        commandSchema: Sc.Spec.commandSchema,
+        consumedEventSchema: Sc.Spec.consumedEventSchema,
+        eventSchema: Sc.Spec.eventSchema
+      })));
+      let effectiveTagKeysByEventType = match.tagKeysByEventType;
+      let effectiveCrossPartitionTagKeys = match.crossPartitionTagKeys;
       let DcbEventLog = DcbEventLog_Builder$ReventlessCore.Make(DcbEventLogStorage)(DcbEventTopicPublisher);
       let dcbEventLog = DcbEventLog.make(name, indexes$1, partitionTag, effectiveCrossPartitionTagKeys, opts);
       Stdlib_Option.forEach(HooksConfig.hooks.onDcbEventLogCreated, hook => hook(dcbEventLog));