@reventlessdev/reventless-core 3.0.0-alpha.262 → 3.0.0-alpha.264

package/CHANGELOG.md

@@ -3,6 +3,29 @@
 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.264 (2026-09-20)
+
+**Note:** Version bump only for package @reventlessdev/reventless-core
+
+
+
+
+
+# 3.0.0-alpha.263 (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
+
+* **core:** fail the build when an extension cannot find its slice's partition key ([cf2b093](https://github.com/ReventlessDev/reventless-core/commit/cf2b093dd5dc7cf9425cdac919cd3910fc4aeefd))
+* **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.
+
+
+
 # 3.0.0-alpha.262 (2026-09-11)
 
 * feat(spec)!: a secret is a capability, so a test can know it in advance ([71507c6](https://github.com/ReventlessDev/reventless-core/commit/71507c6459b49178746f00c5040cb479d7fdade8))

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-core",
-  "version": "3.0.0-alpha.262",
+  "version": "3.0.0-alpha.264",
   "description": "Core package for Reventless framework",
   "license": "Apache-2.0",
   "jest": {
@@ -28,17 +28,17 @@
   "dependencies": {
     "sury": "11.0.0-rc.2",
     "uuid": "^13.0.0",
-    "@reventlessdev/rescript-fast-csv": "2.0.0-alpha.11",
+    "@reventlessdev/rescript-effect": "0.1.0-alpha.33",
     "@reventlessdev/rescript-hash-object": "1.2.0-alpha.14",
     "@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/rescript-pulumi-pulumi": "2.3.0-alpha.20",
-    "@reventlessdev/rescript-ssh2": "2.0.0-alpha.11",
+    "@reventlessdev/rescript-node": "2.0.0-alpha.12",
+    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.21",
+    "@reventlessdev/rescript-fast-csv": "2.0.0-alpha.12",
+    "@reventlessdev/rescript-ssh2": "2.0.0-alpha.12",
     "@reventlessdev/rescript-uuid": "2.0.0-alpha.0",
-    "@reventlessdev/reventless-interop": "3.0.0-alpha.36",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.163",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.135"
+    "@reventlessdev/reventless-interop": "3.0.0-alpha.37",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.137",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.165"
   },
   "devDependencies": {
     "rescript": "12.3.0",

package/src/admin/Platform_Admin_Structure.res.mjs

@@ -7,7 +7,7 @@ import * as PluginsReadModelSpec$ReventlessCore from "../plugin/lifecycle/Plugin
 
 let pluginId = "Platform";
 
-let pluginCommands = Plugin_Structure$ReventlessCore.extractCommandDefs(true, variantName => Api_Naming$ReventlessCore.adminField(PluginSpec$ReventlessCore.name + "_" + variantName), PluginSpec$ReventlessCore.commandAuthorization, PluginSpec$ReventlessCore.commandTransition, undefined, PluginSpec$ReventlessCore.commandSchema);
+let pluginCommands = Plugin_Structure$ReventlessCore.extractCommandDefs(true, undefined, variantName => Api_Naming$ReventlessCore.adminField(PluginSpec$ReventlessCore.name + "_" + variantName), PluginSpec$ReventlessCore.commandAuthorization, PluginSpec$ReventlessCore.commandTransition, undefined, PluginSpec$ReventlessCore.commandSchema);
 
 let pluginAggregate_producedEventTypes = [];
 

package/src/components/Aggregate/Aggregate_Builder.res.mjs

@@ -61,7 +61,7 @@ function Make(Spec) {
         let fields = registeredFields !== undefined ? (
             registeredFields.length !== 0 ? registeredFields : []
           ) : [];
-        let generateCommand = CommandGenerator_Callback$ReventlessCore.makeGenerateCommand(publishJsons, publishJsonsAndWait, Spec.name, Spec.commandSchema, "Aggregate", undefined);
+        let generateCommand = CommandGenerator_Callback$ReventlessCore.makeGenerateCommand(publishJsons, publishJsonsAndWait, Spec.name, Spec.commandSchema, "Aggregate", undefined, undefined);
         fields.forEach(field => bindHandler(field, generateCommand));
       } else {
         let resources = Component$ReventlessCore.outputs(commandTopic).resources;

package/src/components/CommandGenerator/CommandGenerator.res

@@ -7,10 +7,10 @@ The `id` field is the envelope id for the produced command message:
 - For **Aggregates**, it is required — the resolver populates it from the
   GraphQL `id: ID!` argument injected into the mutation SDL.
 - For **DCB StateChangeSlices**, it is optional. When the resolver does not
-  supply one, `makeGenerateCommand` derives the envelope id from the command's
-  `@partitionTag` / `@compositePartitionTag` field(s) using the same helpers
-  the slice itself uses for its decision-model partition key, so envelope id
-  and slice partition key share one source of truth.
+  supply one, `makeGenerateCommand` takes the envelope id from the command's
+  value of the handling slice's partition key — the key `Dcb_Builder` derives
+  for storage and the fence — so envelope id and slice partition key share one
+  source of truth.
 */
 type arguments = {id: string}
 type meta = {ip: array<string>, user: string, info: string}

package/src/components/CommandGenerator/CommandGenerator_Callback.res

@@ -112,6 +112,8 @@ let makeGenerateCommand = (
   ~commandSchema: S.t<unknown>,
   ~componentKind: commandComponentKind,
   ~stripIdFromParams: bool=true,
+  // The handling slice's partition; the envelope id is its value on the command.
+  ~partitionTag: option<Reventless.DcbTag.derivedPartitionTag>=?,
 ): CommandGenerator.commandGenerator => {
   (payload: CommandGenerator.payload) =>
     Effect.sync(() => {
@@ -157,9 +159,11 @@ let makeGenerateCommand = (
       }
       // Resolve the envelope id.
       // - Aggregates always rely on the resolver-supplied id (id: ID! arg in SDL).
-      // - DCB StateChangeSlices fall back to deriving the id from the command's
-      //   partition tag(s) when the resolver didn't supply one — this is what makes
-      //   @compositePartitionTag work end-to-end without per-call-site id stuffing.
+      // - DCB StateChangeSlices fall back to the value of the handling slice's
+      //   partition field on the command when the resolver didn't supply one —
+      //   what makes @compositePartitionTag work end-to-end without per-call-site
+      //   id stuffing. A command without that field, or a generator that was not
+      //   given the partition (the permissive `S.json` fallback), gets `""`.
       let suppliedId = payload.arguments.id
       let id = switch componentKind {
       | Aggregate => suppliedId
@@ -167,23 +171,12 @@ let makeGenerateCommand = (
         switch (suppliedId->Obj.magic: Nullable.t<string>)->Nullable.toOption {
         | Some(idValue) => idValue
         | None =>
-          try {
-            let derived = Reventless.DcbTag.derivePartitionTag([(serviceName, "", commandSchema)])
-            switch derived {
-            | Simple(pt) =>
-              let tags = Reventless.DcbTag.extractTagsFromJson(commandSchema, commandJson)
-              Reventless.DcbTag.getPartitionTagValue([{tags: tags}], pt)->Option.getOr("")
-            | Composite(spec) =>
-              let tags = Reventless.DcbTag.extractTagsFromJson(commandSchema, commandJson)
-              Reventless.DcbTag.getCompositePartitionKeyValue(tags, spec)
-            }
-          } catch {
-          // Permissive schemas (e.g. S.json on the AppSync direct-invocation path)
-          // have no tagged fields — derivePartitionTag throws. Fall back to "" so
-          // existing transports keep their pre-fix behavior; the slice decoder
-          // surfaces the missing id downstream as it did before.
-          | _ => ""
-          }
+          partitionTag->Option.mapOr("", pt =>
+            Reventless.DcbTag.extractTagsFromJson(
+              commandSchema,
+              commandJson,
+            )->Reventless.DcbTag.partitionValueOfTags(pt)
+          )
         }
       }
       (meta, commandJson, id)

package/src/components/CommandGenerator/CommandGenerator_Callback.res.mjs

@@ -59,7 +59,7 @@ function dropNullArguments(obj) {
   });
 }
 
-function makeGenerateCommand(publishJsons, publishJsonsAndWait, serviceName, commandSchema, componentKind, $staropt$star) {
+function makeGenerateCommand(publishJsons, publishJsonsAndWait, serviceName, commandSchema, componentKind, $staropt$star, partitionTag) {
   return payload => {
     let stripIdFromParams = $staropt$star !== undefined ? $staropt$star : true;
     return Effect.flatMap(Effect.tap(Effect.sync(() => {
@@ -85,28 +85,7 @@ function makeGenerateCommand(publishJsons, publishJsonsAndWait, serviceName, com
           ]].concat(params)) : commandStr;
       let suppliedId = payload.arguments.id;
       let id;
-      if (componentKind === "Aggregate" || !(suppliedId == null)) {
-        id = suppliedId;
-      } else {
-        try {
-          let derived = DcbTag$Reventless.derivePartitionTag([[
-              serviceName,
-              "",
-              commandSchema
-            ]]);
-          if (derived.TAG === "Simple") {
-            let tags = DcbTag$Reventless.extractTagsFromJson(commandSchema, commandJson);
-            id = Stdlib_Option.getOr(DcbTag$Reventless.getPartitionTagValue([{
-                tags: tags
-              }], derived._0), "");
-          } else {
-            let tags$1 = DcbTag$Reventless.extractTagsFromJson(commandSchema, commandJson);
-            id = DcbTag$Reventless.getCompositePartitionKeyValue(tags$1, derived._0);
-          }
-        } catch (exn) {
-          id = "";
-        }
-      }
+      id = componentKind === "Aggregate" || !(suppliedId == null) ? suppliedId : Stdlib_Option.mapOr(partitionTag, "", pt => DcbTag$Reventless.partitionValueOfTags(DcbTag$Reventless.extractTagsFromJson(commandSchema, commandJson), pt));
       return [
         meta,
         commandJson,
@@ -181,7 +160,7 @@ function makeGenerateCommand(publishJsons, publishJsonsAndWait, serviceName, com
 
 function Make(Spec) {
   return AggregateSpec => {
-    let generateCommand = makeGenerateCommand(Spec.publishJsons, Spec.publishJsonsAndWait, AggregateSpec.name, AggregateSpec.commandSchema, "Aggregate", undefined);
+    let generateCommand = makeGenerateCommand(Spec.publishJsons, Spec.publishJsonsAndWait, AggregateSpec.name, AggregateSpec.commandSchema, "Aggregate", undefined, undefined);
     return {
       generateCommand: generateCommand
     };

package/src/components/Dcb/Dcb_Builder.res

@@ -1,26 +1,5 @@
-// Converts a file:// module URL to a path relative to the project root (located by lerna.json),
-// resolving symlinks so workspace packages show their source location rather than node_modules.
-// Falls back to the bare URL string on any error.
 let log = Logger.fromEnv()
 
-let toRelativePath: string => string = %raw(`function toRelativePath(moduleUrl) {
-  try {
-    const fs = process.getBuiltinModule('node:fs');
-    const path = process.getBuiltinModule('node:path');
-    const { fileURLToPath } = process.getBuiltinModule('node:url');
-    const builderReal = fs.realpathSync(fileURLToPath(import.meta.url));
-    const sliceReal = fs.realpathSync(fileURLToPath(moduleUrl));
-    let dir = path.dirname(builderReal);
-    while (dir !== path.dirname(dir)) {
-      if (fs.existsSync(path.join(dir, 'lerna.json'))) break;
-      dir = path.dirname(dir);
-    }
-    return path.relative(dir, sliceReal).replace(/\.mjs$/, '.res');
-  } catch(e) {
-    return moduleUrl.replace('file://', '');
-  }
-}`)
-
 // The tag of one compiled variant arm: `{TAG: "<Name>", …}` for a payload-bearing
 // constructor, a bare string const for a payload-less one.
 let variantTag = (variant: S.t<unknown>) =>
@@ -182,12 +161,6 @@ module Make = (
           Sc.Spec.name,
           Sc.Spec.eventSchema->S.castToUnknown,
         ))
-      let producedNamed =
-        stateChangeSlices->Array.map((module(Sc: StateChangeSlice.T)) => (
-          Sc.Spec.name,
-          toRelativePath(Sc.Spec.moduleUrl),
-          Sc.Spec.eventSchema->S.castToUnknown,
-        ))
       let consumed =
         stateChangeSlices
         ->Array.map((module(Sc: StateChangeSlice.T)) => (
@@ -253,7 +226,39 @@ module Make = (
         indexes
       }
 
-      let partitionTag = Reventless.DcbTag.derivePartitionTag(producedNamed)
+      let sliceSchemas = 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,
+        moduleUrl: Sc.Spec.moduleUrl,
+      })
+      let inferenceShapes = sliceSchemas->Array.map(Reventless.DcbTag.sliceShape)
+
+      // A `@partitionTag` inference contradicts would steer storage, fence and read
+      // scope to a key the slice only references, so it stops the build. One that
+      // inference agrees with is noise, and says so.
+      let hintIssues = Reventless.DcbValidation.validatePartitionHintsVsInference(
+        ~shapes=inferenceShapes,
+      )
+      hintIssues.redundancies->Array.forEach(e =>
+        log.info(~comp="Dcb_Builder", `DCB partition (${e.sliceName}): ${e.message}`)
+      )
+      if hintIssues.contradictions->Array.length > 0 {
+        let detail =
+          hintIssues.contradictions
+          ->Array.map(e => `${e.sliceName}: ${e.message}`)
+          ->Array.join(" | ")
+        log.error(~comp="Dcb_Builder", `DCB partition contradiction (${name}): ${detail}`)
+        JsError.throwWithMessage(`DCB partition contradiction (${name}): ${detail}`)
+      }
+
+      // Where each event is stored — and so its fence, and each command's envelope
+      // id. Throws, naming the slice, when a partition cannot be inferred.
+      let boundaryPartition = Reventless.DcbTag.deriveBoundaryPartition(sliceSchemas)
+      let partitionTag = boundaryPartition.partitionTag
+      let partitionTagOf = sliceName =>
+        boundaryPartition->Reventless.DcbTag.slicePartitionTag(sliceName)
 
       // Tag keys declared `@crossPartition` across the produced event schemas.
       // Derived once at build time (the scope is a property of the tag key, and
@@ -325,15 +330,6 @@ module Make = (
       // preserved (generalised rule 3). Safety guard: if any slice's partition is
       // ambiguous we keep the annotated values for the whole boundary rather than
       // thread a partial inference. See docs/plans/done/dcb-tag-scope-inference.md.
-      let inferenceShapes =
-        stateChangeSlices->Array.map((module(Sc: StateChangeSlice.T)) =>
-          Reventless.DcbTag.sliceShapeFromSchemas(
-            ~name=Sc.Spec.name,
-            ~commandSchema=Sc.Spec.commandSchema->S.castToUnknown,
-            ~consumedEventSchema=Sc.Spec.consumedEventSchema->S.castToUnknown,
-            ~eventSchema=Sc.Spec.eventSchema->S.castToUnknown,
-          )
-        )
       let inferred = Reventless.DcbScopeInference.infer(inferenceShapes)
       if inferred.crossPartitionTagKeys != crossPartitionTagKeys {
         log.info(
@@ -388,14 +384,7 @@ module Make = (
       // (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 effective = 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,
-        }),
-      )
+      let effective = Reventless.DcbTag.deriveEffectiveScope(sliceSchemas)
       let effectiveCrossPartitionTagKeys = effective.crossPartitionTagKeys
       let effectiveTagKeysByEventType = effective.tagKeysByEventType
 
@@ -487,6 +476,7 @@ module Make = (
             ~publishJsons,
             ~tagKeysByEventType=effectiveTagKeysByEventType,
             ~crossPartitionTagKeys=effectiveCrossPartitionTagKeys,
+            ~partitionTag=?partitionTagOf(StateChangeSlice.Spec.name),
             ~runtime=?componentRuntime->Dict.get(StateChangeSlice.Spec.name),
             ~opts,
           )
@@ -507,6 +497,7 @@ module Make = (
             ~publishJsons=asyncPublishJsons,
             ~tagKeysByEventType=effectiveTagKeysByEventType,
             ~crossPartitionTagKeys=effectiveCrossPartitionTagKeys,
+            ~partitionTag=?partitionTagOf(StateChangeSlice.Spec.name),
             ~runtime=?componentRuntime->Dict.get(StateChangeSlice.Spec.name),
             ~opts,
           )
@@ -572,6 +563,7 @@ module Make = (
                   ~commandSchema=S.Spec.commandSchema->Obj.magic,
                   ~componentKind=CommandGenerator_Callback.StateChangeSlice,
                   ~stripIdFromParams=false,
+                  ~partitionTag=?partitionTagOf(S.Spec.name),
                 )
                 Api_Naming.sliceMutationFields(
                   ~plugin=apiNamePrefix,
@@ -602,6 +594,7 @@ module Make = (
                     ~commandSchema=S.Spec.commandSchema->Obj.magic,
                     ~componentKind=CommandGenerator_Callback.StateChangeSlice,
                     ~stripIdFromParams=false,
+                    ~partitionTag=?partitionTagOf(S.Spec.name),
                   )
                   Api_Naming.sliceMutationFields(
                     ~plugin=apiNamePrefix,
@@ -813,7 +806,7 @@ module Make = (
                   `Two DCB slices in "${name}" both declare the command "${tag}". ` ++
                   "Owner stamping resolves a command by that name alone, so it cannot " ++ "tell them apart. Rename one of the constructors.",
                 )
-              | None => byTag->Dict.set(tag, commandSchema)
+              | None => byTag->Dict.set(tag, (commandSchema, partitionTagOf(S.Spec.name)))
               }
             })
           }
@@ -825,7 +818,7 @@ module Make = (
         dcbCommandTopic
         ->Component.operations
         ->Pulumi.Output.apply(ops => {
-          let make = commandSchema =>
+          let make = (commandSchema, partitionTag) =>
             CommandGenerator_Callback.makeGenerateCommand(
               ~publishJsons=ops.publishJsons,
               ~publishJsonsAndWait=?ops.publishJsonsAndWait,
@@ -833,16 +826,19 @@ module Make = (
               ~commandSchema,
               ~componentKind=CommandGenerator_Callback.StateChangeSlice,
               ~stripIdFromParams=false,
+              ~partitionTag?,
             )
           let byTag = Dict.make()
           dcbCommandSchemasByTag
           ->Dict.toArray
-          ->Array.forEach(((tag, schema)) => byTag->Dict.set(tag, make(schema)))
+          ->Array.forEach(((tag, (schema, partitionTag))) =>
+            byTag->Dict.set(tag, make(schema, partitionTag))
+          )
           // A command no slice claims keeps the permissive generator — what every
           // command got before this change — so nothing that reaches this handler
           // by another route starts failing. It also cannot stamp, which is why
           // the unknown case is logged rather than left to look like a success.
-          (byTag, make(S.json->S.castToUnknown))
+          (byTag, make(S.json->S.castToUnknown, None))
         })
 
       let dcbHandler =

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

@@ -8,6 +8,7 @@ import * as Output$Pulumi from "@reventlessdev/rescript-pulumi-pulumi/src/Output
 import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
 import * as Effect from "effect/Effect";
 import * as Pulumi from "@pulumi/pulumi";
+import * as Stdlib_JsError from "@rescript/runtime/lib/es6/Stdlib_JsError.js";
 import * as Primitive_object from "@rescript/runtime/lib/es6/Primitive_object.js";
 import * as Primitive_option from "@rescript/runtime/lib/es6/Primitive_option.js";
 import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/components/DcbTag.res.mjs";
@@ -30,24 +31,6 @@ import * as OutboundTranslationSlice_Callback$ReventlessCore from "../OutboundTr
 
 let log = Logger$ReventlessCore.fromEnv();
 
-let toRelativePath = (function toRelativePath(moduleUrl) {
-  try {
-    const fs = process.getBuiltinModule('node:fs');
-    const path = process.getBuiltinModule('node:path');
-    const { fileURLToPath } = process.getBuiltinModule('node:url');
-    const builderReal = fs.realpathSync(fileURLToPath(import.meta.url));
-    const sliceReal = fs.realpathSync(fileURLToPath(moduleUrl));
-    let dir = path.dirname(builderReal);
-    while (dir !== path.dirname(dir)) {
-      if (fs.existsSync(path.join(dir, 'lerna.json'))) break;
-      dir = path.dirname(dir);
-    }
-    return path.relative(dir, sliceReal).replace(/\.mjs$/, '.res');
-  } catch(e) {
-    return moduleUrl.replace('file://', '');
-  }
-});
-
 function variantTag(variant) {
   switch (variant.type) {
     case "string" :
@@ -157,11 +140,6 @@ function Make(DcbEventLogStorage) {
         Sc.Spec.name,
         Sc.Spec.eventSchema
       ]);
-      let producedNamed = stateChangeSlices.map(Sc => [
-        Sc.Spec.name,
-        toRelativePath(Sc.Spec.moduleUrl),
-        Sc.Spec.eventSchema
-      ]);
       let consumed = stateChangeSlices.map(Sc => [
         Sc.Spec.name,
         Sc.Spec.consumedEventSchema
@@ -191,7 +169,23 @@ function Make(DcbEventLogStorage) {
         }
       }).map(tagKey => `tag_` + tagKey);
       let indexes$1 = indexes.length > 1 ? indexes.concat(["tag_composite"]) : indexes;
-      let partitionTag = DcbTag$Reventless.derivePartitionTag(producedNamed);
+      let sliceSchemas = stateChangeSlices.map(Sc => ({
+        name: Sc.Spec.name,
+        commandSchema: Sc.Spec.commandSchema,
+        consumedEventSchema: Sc.Spec.consumedEventSchema,
+        eventSchema: Sc.Spec.eventSchema,
+        moduleUrl: Sc.Spec.moduleUrl
+      }));
+      let inferenceShapes = sliceSchemas.map(DcbTag$Reventless.sliceShape);
+      let hintIssues = DcbValidation$Reventless.validatePartitionHintsVsInference(inferenceShapes);
+      hintIssues.redundancies.forEach(e => log.info("Dcb_Builder", undefined, `DCB partition (` + e.sliceName + `): ` + e.message));
+      if (hintIssues.contradictions.length !== 0) {
+        let detail = hintIssues.contradictions.map(e => e.sliceName + `: ` + e.message).join(" | ");
+        log.error("Dcb_Builder", undefined, `DCB partition contradiction (` + name + `): ` + detail);
+        Stdlib_JsError.throwWithMessage(`DCB partition contradiction (` + name + `): ` + detail);
+      }
+      let boundaryPartition = DcbTag$Reventless.deriveBoundaryPartition(sliceSchemas);
+      let partitionTag = boundaryPartition.partitionTag;
       let arr$1 = producedSchemas.flatMap(DcbTag$Reventless.extractCrossPartitionTagKeys);
       let seen$1 = new Set();
       let crossPartitionTagKeys = arr$1.filter(f => {
@@ -209,7 +203,6 @@ function Make(DcbEventLogStorage) {
         Sc.Spec.commandSchema,
         Sc.Spec.consumedEventSchema
       ]), tagKeysByEventType).forEach(w => log.warn("Dcb_Builder", undefined, `DCB composite-read warning (` + w.sliceName + `): ` + w.message));
-      let inferenceShapes = stateChangeSlices.map(Sc => DcbTag$Reventless.sliceShapeFromSchemas(Sc.Spec.name, Sc.Spec.commandSchema, Sc.Spec.consumedEventSchema, Sc.Spec.eventSchema));
       let inferred = DcbScopeInference$Reventless.infer(inferenceShapes);
       if (Primitive_object.notequal(inferred.crossPartitionTagKeys, crossPartitionTagKeys)) {
         log.info("Dcb_Builder", undefined, `DCB scope-inference diff: crossPartitionTagKeys annotated=[` + crossPartitionTagKeys.join(", ") + `] inferred=[` + inferred.crossPartitionTagKeys.join(", ") + `]`);
@@ -231,12 +224,7 @@ 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 effective = DcbTag$Reventless.deriveEffectiveScope(stateChangeSlices.map(Sc => ({
-        name: Sc.Spec.name,
-        commandSchema: Sc.Spec.commandSchema,
-        consumedEventSchema: Sc.Spec.consumedEventSchema,
-        eventSchema: Sc.Spec.eventSchema
-      })));
+      let effective = DcbTag$Reventless.deriveEffectiveScope(sliceSchemas);
       let effectiveCrossPartitionTagKeys = effective.crossPartitionTagKeys;
       let effectiveTagKeysByEventType = effective.tagKeysByEventType;
       if (effective.droppedCrossPartitionTagKeys.length !== 0) {
@@ -276,7 +264,7 @@ function Make(DcbEventLogStorage) {
         asyncDcbCommandTopicOpt = undefined;
       }
       let stateChangeSlicesOutputs = Object.fromEntries(syncSlices.map(StateChangeSlice => {
-        let ch = StateChangeSlice.make(dcbEventLog, publishJsons, effectiveTagKeysByEventType, effectiveCrossPartitionTagKeys, componentRuntime[StateChangeSlice.Spec.name], opts);
+        let ch = StateChangeSlice.make(dcbEventLog, publishJsons, effectiveTagKeysByEventType, effectiveCrossPartitionTagKeys, DcbTag$Reventless.slicePartitionTag(boundaryPartition, StateChangeSlice.Spec.name), componentRuntime[StateChangeSlice.Spec.name], opts);
         return [
           StateChangeSlice.Spec.name,
           Component$ReventlessCore.outputs(ch)
@@ -286,7 +274,7 @@ function Make(DcbEventLogStorage) {
       if (asyncDcbCommandTopicOpt !== undefined) {
         let asyncPublishJsons = Component$ReventlessCore.operations(Primitive_option.valFromOption(asyncDcbCommandTopicOpt)).apply(ops => ops.publishJsons);
         asyncStateChangeSlicesOutputs = Object.fromEntries(asyncSlices.map(StateChangeSlice => {
-          let ch = StateChangeSlice.make(dcbEventLog, asyncPublishJsons, effectiveTagKeysByEventType, effectiveCrossPartitionTagKeys, componentRuntime[StateChangeSlice.Spec.name], opts);
+          let ch = StateChangeSlice.make(dcbEventLog, asyncPublishJsons, effectiveTagKeysByEventType, effectiveCrossPartitionTagKeys, DcbTag$Reventless.slicePartitionTag(boundaryPartition, StateChangeSlice.Spec.name), componentRuntime[StateChangeSlice.Spec.name], opts);
           return [
             StateChangeSlice.Spec.name,
             Component$ReventlessCore.outputs(ch)
@@ -318,7 +306,7 @@ function Make(DcbEventLogStorage) {
             if (ApiNoApiHelpers$ReventlessCore.isNoApi(commandSchema)) {
               return;
             }
-            let generateCommand = CommandGenerator_Callback$ReventlessCore.makeGenerateCommand(ops.publishJsons, ops.publishJsonsAndWait, S.Spec.name, S.Spec.commandSchema, "StateChangeSlice", false);
+            let generateCommand = CommandGenerator_Callback$ReventlessCore.makeGenerateCommand(ops.publishJsons, ops.publishJsonsAndWait, S.Spec.name, S.Spec.commandSchema, "StateChangeSlice", false, DcbTag$Reventless.slicePartitionTag(boundaryPartition, S.Spec.name));
             Api_Naming$ReventlessCore.sliceMutationFields(apiNamePrefix, S.Spec.name, commandSchema).forEach(param => bindHandler(param[0], generateCommand));
           });
         });
@@ -329,7 +317,7 @@ function Make(DcbEventLogStorage) {
               if (ApiNoApiHelpers$ReventlessCore.isNoApi(commandSchema)) {
                 return;
               }
-              let generateCommand = CommandGenerator_Callback$ReventlessCore.makeGenerateCommand(asyncOps.publishJsons, asyncOps.publishJsonsAndWait, S.Spec.name, S.Spec.commandSchema, "StateChangeSlice", false);
+              let generateCommand = CommandGenerator_Callback$ReventlessCore.makeGenerateCommand(asyncOps.publishJsons, asyncOps.publishJsonsAndWait, S.Spec.name, S.Spec.commandSchema, "StateChangeSlice", false, DcbTag$Reventless.slicePartitionTag(boundaryPartition, S.Spec.name));
               Api_Naming$ReventlessCore.sliceMutationFields(apiNamePrefix, S.Spec.name, commandSchema).forEach(param => bindHandler(param[0], generateCommand));
             });
           });
@@ -437,7 +425,10 @@ function Make(DcbEventLogStorage) {
             if (match !== undefined) {
               return log.error("Dcb_Builder", undefined, `Two DCB slices in "` + name + `" both declare the command "` + tag + `". ` + "Owner stamping resolves a command by that name alone, so it cannot tell them apart. Rename one of the constructors.");
             } else {
-              byTag[tag] = commandSchema;
+              byTag[tag] = [
+                commandSchema,
+                DcbTag$Reventless.slicePartitionTag(boundaryPartition, S.Spec.name)
+              ];
               return;
             }
           });
@@ -445,14 +436,15 @@ function Make(DcbEventLogStorage) {
         }
       });
       let dcbGenerateCommandOutput = Component$ReventlessCore.operations(dcbCommandTopic).apply(ops => {
-        let make = commandSchema => CommandGenerator_Callback$ReventlessCore.makeGenerateCommand(ops.publishJsons, ops.publishJsonsAndWait, name, commandSchema, "StateChangeSlice", false);
+        let make = (commandSchema, partitionTag) => CommandGenerator_Callback$ReventlessCore.makeGenerateCommand(ops.publishJsons, ops.publishJsonsAndWait, name, commandSchema, "StateChangeSlice", false, partitionTag);
         let byTag$1 = {};
         Object.entries(byTag).forEach(param => {
-          byTag$1[param[0]] = make(param[1]);
+          let match = param[1];
+          byTag$1[param[0]] = make(match[0], match[1]);
         });
         return [
           byTag$1,
-          make(Sury.json)
+          make(Sury.json, undefined)
         ];
       });
       let dcbHandler = Pulumi.all([
@@ -693,7 +685,6 @@ function Make(DcbEventLogStorage) {
 
 export {
   log,
-  toRelativePath,
   variantTag,
   mergedEventSchema,
   emptyResult,

package/src/components/StateChangeSlice/StateChangeSlice.res

@@ -33,6 +33,8 @@ module type T = {
         clause (instead of an AND-ed composite) so the decision read is a real
         secondary-tag read. */
     ~crossPartitionTagKeys: array<string>=?,
+    /** This slice's partition, as `Dcb_Builder` derives it for the whole boundary. */
+    ~partitionTag: Reventless.DcbTag.derivedPartitionTag=?,
     ~runtime: ReventlessInfra.RuntimeHints.t=?,
     ~opts: Pulumi.ComponentResource.options=?,
   ) => component

package/src/components/StateChangeSlice/StateChangeSlice_Builder.res

@@ -13,6 +13,7 @@ module Make = (
   let makeJsonHandler = (
     ~tagKeysByEventType,
     ~crossPartitionTagKeys,
+    ~partitionTag,
     dcbEventLogOps: DcbEventLog.operations,
   ) => {
     let handler: CommandTopic.jsonCommandsHandler = stream => {
@@ -42,6 +43,7 @@ module Make = (
       Callback.handleCommands(
         ~tagKeysByEventType,
         ~crossPartitionTagKeys,
+        ~partitionTag?,
         dcbEventLogOps,
         decodedStream,
       )
@@ -54,6 +56,7 @@ module Make = (
     ~publishJsons: Pulumi.Output.t<CommandTopic.publishJsons>,
     ~tagKeysByEventType,
     ~crossPartitionTagKeys,
+    ~partitionTag,
     self,
     _name,
   ) => {
@@ -67,6 +70,7 @@ module Make = (
         let jsonHandler = makeJsonHandler(
           ~tagKeysByEventType,
           ~crossPartitionTagKeys,
+          ~partitionTag,
           dcbEventLogOps,
         )
         CommandTopic.registerHandler(
@@ -98,6 +102,7 @@ module Make = (
     ~publishJsons,
     ~tagKeysByEventType=Dict.make(),
     ~crossPartitionTagKeys=[],
+    ~partitionTag=?,
     ~runtime as _=?,
     ~opts=?,
   ): StateChangeSlice.component =>
@@ -109,6 +114,7 @@ module Make = (
         ~publishJsons,
         ~tagKeysByEventType,
         ~crossPartitionTagKeys,
+        ~partitionTag,
         ...
       ),
       ~opts,

package/src/components/StateChangeSlice/StateChangeSlice_Builder.res.mjs

@@ -18,7 +18,7 @@ let log = Logger$ReventlessCore.fromEnv();
 function Make(Spec) {
   return Behavior => {
     let Callback = StateChangeSlice_Callback$ReventlessCore.Make(Spec)(Behavior);
-    let makeJsonHandler = (tagKeysByEventType, crossPartitionTagKeys, dcbEventLogOps) => (stream => {
+    let makeJsonHandler = (tagKeysByEventType, crossPartitionTagKeys, partitionTag, dcbEventLogOps) => (stream => {
       let decodedStream = Stream.flatMap(Stream.mapEffect(stream, param => {
         let reference = param.reference;
         let json = param.command;
@@ -44,16 +44,16 @@ function Make(Spec) {
           return Stream.empty;
         }
       });
-      return Callback.handleCommands(tagKeysByEventType, crossPartitionTagKeys, dcbEventLogOps, decodedStream);
+      return Callback.handleCommands(tagKeysByEventType, crossPartitionTagKeys, partitionTag, dcbEventLogOps, decodedStream);
     });
-    let make = (dcbEventLog, publishJsons, tagKeysByEventTypeOpt, crossPartitionTagKeysOpt, param, opts) => {
+    let make = (dcbEventLog, publishJsons, tagKeysByEventTypeOpt, crossPartitionTagKeysOpt, partitionTag, param, opts) => {
       let tagKeysByEventType = tagKeysByEventTypeOpt !== undefined ? tagKeysByEventTypeOpt : ({});
       let crossPartitionTagKeys = crossPartitionTagKeysOpt !== undefined ? crossPartitionTagKeysOpt : [];
       return Component$ReventlessCore.make(ComponentType$ReventlessCore.toString(StateChangeSlice$ReventlessCore.componentType), Spec.name, (extra, extra$1) => {
         let commandSchema = Spec.commandSchema;
         let commandTypeNames = CommandTopic$ReventlessCore.extractTypeNamesFromSchema(commandSchema);
         Component$ReventlessCore.operations(dcbEventLog).apply(dcbEventLogOps => {
-          let jsonHandler = makeJsonHandler(tagKeysByEventType, crossPartitionTagKeys, dcbEventLogOps);
+          let jsonHandler = makeJsonHandler(tagKeysByEventType, crossPartitionTagKeys, partitionTag, dcbEventLogOps);
           CommandTopic$ReventlessCore.registerHandler(commandSchema, jsonHandler, commandTypeNames);
         });
         Component$ReventlessCore.setOperations(extra, publishJsons.apply(publishJsons => ({