@reventlessdev/reventless-core 3.0.0-alpha.301 → 3.0.0-alpha.303

package/src/components/Api/GraphQL_FragmentGenerator.res

@@ -12,17 +12,26 @@ let log = Logger.fromEnv()
 // fragments. These SDL declarations are injected into any fragment that emits
 // at least one mutation field; the stitcher dedupes by type name so
 // concatenating across plugin + admin fragments stays safe.
+//
+// `cause` says which no a rejection is: the model's (DOMAIN, `errorCode` is the
+// declared error), the caller's (ACCESS) or the platform's (INFRASTRUCTURE).
 let commandResultSdlTypes: array<string> = [
   `union CommandResult = CommandAccepted | CommandRejected | CommandPending`,
   `type CommandAccepted {
   msgId: ID!
   entityId: ID
   eventCount: Int!
+}`,
+  `enum CommandRejectionCause {
+  DOMAIN
+  ACCESS
+  INFRASTRUCTURE
 }`,
   `type CommandRejected {
   msgId: ID!
   errorCode: String!
   errorDetail: String
+  cause: CommandRejectionCause!
 }`,
   `type CommandPending {
   msgId: ID!

package/src/components/Api/GraphQL_FragmentGenerator.res.mjs

@@ -22,11 +22,17 @@ let commandResultSdlTypes = [
   msgId: ID!
   entityId: ID
   eventCount: Int!
+}`,
+  `enum CommandRejectionCause {
+  DOMAIN
+  ACCESS
+  INFRASTRUCTURE
 }`,
   `type CommandRejected {
   msgId: ID!
   errorCode: String!
   errorDetail: String
+  cause: CommandRejectionCause!
 }`,
   `type CommandPending {
   msgId: ID!

package/src/components/Api/SuryToJsonSchema.res

@@ -392,7 +392,7 @@ and objectRefToJsonSchema = (
   // not declare — which is precisely the mismatch that made read-model queries
   // reference fields the server rejects.
   //
-  // This is the single point for every JSON-Schema consumer: `queryableDef.schema`,
+  // This is the single point for every JSON-Schema consumer: `readSideDef.schema`,
   // the MCP generator and the manifest all derive through this walk.
   let internal = annotations->Option.flatMap(spec => spec.internal)->Option.getOr([])
   fields

package/src/components/CommandGenerator/CommandGenerator.res

@@ -27,7 +27,7 @@ external asEvent: 'a => event = "%identity"
 let metaInfo = event => (event->asEvent).meta->Option.map(({info}) => info)
 
 type commandGenerator = payload => Effect.t<CommandTopic.commandOutcome, unit, unit>
-type effectEventHandler<'context> = Runtime.effectHandler<
+type effectEventHandler<'context> = Runtime.effectInvocationHandler<
   payload,
   'context,
   CommandTopic.commandOutcome,

package/src/components/CommandGenerator/CommandGenerator_Adapter.res

@@ -15,7 +15,12 @@ module type Resolvers = {
   type runtimeParts
 
   let handleResolversEvent: CommandGenerator.commandGenerator => Pulumi.Output.t<
-    Runtime.effectHandler<CommandGenerator.payload, 'context, CommandTopic.commandOutcome, unit>,
+    Runtime.effectInvocationHandler<
+      CommandGenerator.payload,
+      'context,
+      CommandTopic.commandOutcome,
+      unit,
+    >,
   >
 
   let make: resolversMaker<api, runtimeParts>

package/src/components/CommandTopic/CommandTopic.res

@@ -48,12 +48,12 @@ module type T = {
   let makeHandler: (
     ~commandTopic: component,
     ~commandsHandler: commandsHandler,
-  ) => Pulumi.Output.t<Runtime.effectHandler<callbackEvent, 'context, unit, string>>
+  ) => Pulumi.Output.t<Runtime.effectInvocationHandler<callbackEvent, 'context, unit, string>>
 
   // Returns the filtering handler output for runtime connection
   // Registers the handler with the channel's event routing
   let makeFilteringHandler: component => Pulumi.Output.t<
-    Runtime.effectHandler<callbackEvent, 'context, unit, string>,
+    Runtime.effectInvocationHandler<callbackEvent, 'context, unit, string>,
   >
 
   let make: (

package/src/components/CommandTopic/CommandTopic.res.mjs

@@ -23,6 +23,8 @@ function filter(allCommandTopics, names) {
 
 let componentType = "CommandTopic";
 
+let refusalCauseToGraphQL = CommandTopic_Helpers$ReventlessCore.refusalCauseToGraphQL;
+
 let commandOutcomeHook = CommandTopic_Helpers$ReventlessCore.commandOutcomeHook;
 
 let registerCommandOutcome = CommandTopic_Helpers$ReventlessCore.registerCommandOutcome;
@@ -60,6 +62,7 @@ let getHandlers = CommandTopic_Helpers$ReventlessCore.getHandlers;
 export {
   componentType,
   NotPublishedToChannel,
+  refusalCauseToGraphQL,
   commandOutcomeHook,
   registerCommandOutcome,
   clearCommandOutcome,

package/src/components/CommandTopic/CommandTopic_Adapter.res

@@ -12,7 +12,7 @@ and channel<'callbackEvent, 'context, 'channelParts, 'runtimeParts> = {
   publishJsonsStream: Pulumi.Output.t<ReventlessInfra.CommandTopic.publishJsonsStream>,
   publishJsonsAndWait: Pulumi.Output.t<option<CommandTopic.publishJsonsAndWait>>,
   handleChannelEvent: CommandTopic.jsonCommandsHandler => Pulumi.Output.t<
-    Runtime.effectHandler<'callbackEvent, 'context, unit, string>,
+    Runtime.effectInvocationHandler<'callbackEvent, 'context, unit, string>,
   >,
   connect: connect<'callbackEvent, 'context, 'channelParts, 'runtimeParts>,
 }

package/src/components/CommandTopic/CommandTopic_Helpers.res

@@ -31,6 +31,14 @@ own what the command acts on (`OwnerScope.decideActing`).
 */
 type refusalCause = DomainRejection | InfrastructureFailure | AccessRefusal
 
+/** The `CommandRejectionCause` enum value a client sees for a cause. */
+let refusalCauseToGraphQL = (cause: refusalCause): string =>
+  switch cause {
+  | DomainRejection => "DOMAIN"
+  | AccessRefusal => "ACCESS"
+  | InfrastructureFailure => "INFRASTRUCTURE"
+  }
+
 /**
 What became of one command. Constructors are prefixed to stay clear of `commandOutcome`'s
 `Accepted`/`Rejected` below — that type is the producer-facing result shape (and the GraphQL
@@ -91,10 +99,9 @@ let fireCommandOutcome = (~component: string, ~reference: string, outcome: obser
 // Callback implementations call reportAccepted during inline dispatch.
 let acceptedResultChannel: ref<option<(string, acceptedResult) => unit>> = ref(None)
 
-// Sibling side-channel for domain rejections — populated by callbacks when
-// `Decision.decide` returns `Error`. Read by runInlineAndCollect to build
-// `Rejected` outcomes that carry the real error code and detail.
-let rejectedResultChannel: ref<option<(string, rejectedResult) => unit>> = ref(None)
+// Sibling side-channel for rejections, with their cause. Read by runInlineAndCollect
+// to build `Rejected` outcomes that carry the real error code, detail and cause.
+let rejectedResultChannel: ref<option<(string, rejectedResult, refusalCause) => unit>> = ref(None)
 
 /**
 Turn an `acting` verdict into the refusal a command handler reports, or `None` to let
@@ -112,7 +119,10 @@ let ownershipRefusal = (
   ~command: string,
 ): option<ownershipRefusal> => {
   let refuse = (~isDefect=false, why) => Some({
-    rejected: {errorCode: "Forbidden", errorDetail: `${component}.${command}: ${why}`},
+    rejected: {
+      errorCode: Reventless.CommandOutcome.code(Forbidden),
+      errorDetail: `${component}.${command}: ${why}`,
+    },
     isDefect,
   })
   switch verdict {
@@ -148,7 +158,7 @@ let reportRejected = (
   reference: string,
   result: rejectedResult,
 ) => {
-  rejectedResultChannel.contents->Option.forEach(cb => cb(reference, result))
+  rejectedResultChannel.contents->Option.forEach(cb => cb(reference, result, cause))
   fireCommandOutcome(
     ~component,
     ~reference,
@@ -160,7 +170,7 @@ let reportRejected = (
 // without importing Adapter.res → @pulumi/pulumi. Re-exported by CommandTopic via include.
 type commandOutcome =
   | Accepted({msgId: string, entityId?: string, eventCount: int})
-  | Rejected({msgId: string, errorCode: string, errorDetail: option<string>})
+  | Rejected({msgId: string, errorCode: string, errorDetail: option<string>, cause: refusalCause})
   | Pending({msgId: string})
 
 // Serialise a commandOutcome to the JSON shape the CommandResult GraphQL union
@@ -179,13 +189,14 @@ let commandOutcomeToJson = (outcome: commandOutcome): JSON.t =>
         ("eventCount", JSON.Number(eventCount->Int.toFloat)),
       ]),
     )
-  | Rejected({msgId, errorCode, errorDetail}) =>
+  | Rejected({msgId, errorCode, errorDetail, cause}) =>
     JSON.Object(
       Dict.fromArray([
         ("__typename", JSON.String("CommandRejected")),
         ("msgId", JSON.String(msgId)),
         ("errorCode", JSON.String(errorCode)),
         ("errorDetail", errorDetail->Option.map(s => JSON.String(s))->Option.getOr(JSON.Null)),
+        ("cause", JSON.String(refusalCauseToGraphQL(cause))),
       ]),
     )
   | Pending({msgId}) =>
@@ -222,27 +233,34 @@ let runInlineAndCollect = async (
     item
   })
   let acceptedResults: dict<acceptedResult> = Dict.make()
-  let rejectedResults: dict<rejectedResult> = Dict.make()
+  let rejectedResults: dict<(rejectedResult, refusalCause)> = Dict.make()
   acceptedResultChannel.contents = Some(
     (reference, result) => acceptedResults->Dict.set(reference, result),
   )
   rejectedResultChannel.contents = Some(
-    (reference, result) => rejectedResults->Dict.set(reference, result),
+    (reference, result, cause) => rejectedResults->Dict.set(reference, (result, cause)),
   )
   let results = await handleCmds(Stream.fromIterable(items))->Effect.runPromise
   acceptedResultChannel.contents = None
   rejectedResultChannel.contents = None
   jsons->Array.mapWithIndex((cmdJson, i) => {
     let msgId = cmdJson.meta.msgId
-    // Domain rejection from Decision.decide takes precedence over both Accepted
-    // and the synthesized "Conflict" — it carries the most informative error.
+    // A reported rejection takes precedence over both Accepted and the
+    // synthesized "Conflict" — it carries the most informative error.
     switch rejectedResults->Dict.get(msgId) {
-    | Some({errorCode, errorDetail}) =>
+    | Some(({errorCode, errorDetail}, cause)) =>
       let detail = errorDetail == "" ? None : Some(errorDetail)
-      Rejected({msgId, errorCode, errorDetail: detail})
+      Rejected({msgId, errorCode, errorDetail: detail, cause})
     | None =>
       switch results->Array.get(i) {
-      | Some(Error(msg)) => Rejected({msgId, errorCode: "Conflict", errorDetail: Some(msg)})
+      // The handler failed outright: the platform, not the model.
+      | Some(Error(msg)) =>
+        Rejected({
+          msgId,
+          errorCode: Reventless.CommandOutcome.code(Conflict),
+          errorDetail: Some(msg),
+          cause: InfrastructureFailure,
+        })
       | _ =>
         let ar = acceptedResults->Dict.get(msgId)->Option.getOr({eventCount: 0})
         switch ar.entityId {

package/src/components/CommandTopic/CommandTopic_Helpers.res.mjs

@@ -8,8 +8,20 @@ import * as DcbTag$Reventless from "@reventlessdev/reventless-spec/src/component
 import * as Message$Reventless from "@reventlessdev/reventless-spec/src/types/Message.res.mjs";
 import * as Primitive_exceptions from "@rescript/runtime/lib/es6/Primitive_exceptions.js";
 import * as Util_Sury$Reventless from "@reventlessdev/reventless-spec/src/util/Util_Sury.res.mjs";
+import * as CommandOutcome$Reventless from "@reventlessdev/reventless-spec/src/components/CommandOutcome.res.mjs";
 import * as EffectLogger$ReventlessCore from "../../util/EffectLogger.res.mjs";
 
+function refusalCauseToGraphQL(cause) {
+  switch (cause) {
+    case "DomainRejection" :
+      return "DOMAIN";
+    case "InfrastructureFailure" :
+      return "INFRASTRUCTURE";
+    case "AccessRefusal" :
+      return "ACCESS";
+  }
+}
+
 let commandOutcomeHook = {
   contents: undefined
 };
@@ -51,7 +63,7 @@ function ownershipRefusal(verdict, component, command) {
     let isDefect = isDefectOpt !== undefined ? isDefectOpt : false;
     return {
       rejected: {
-        errorCode: "Forbidden",
+        errorCode: CommandOutcome$Reventless.code("Forbidden"),
         errorDetail: component + `.` + command + `: ` + why
       },
       isDefect: isDefect
@@ -84,7 +96,7 @@ function reportAccepted(component, reference, result) {
 }
 
 function reportRejected(component, cause, reference, result) {
-  Stdlib_Option.forEach(rejectedResultChannel.contents, cb => cb(reference, result));
+  Stdlib_Option.forEach(rejectedResultChannel.contents, cb => cb(reference, result, cause));
   fireCommandOutcome(component, reference, {
     TAG: "OutcomeRejected",
     errorCode: result.errorCode,
@@ -131,6 +143,10 @@ function commandOutcomeToJson(outcome) {
         [
           "errorDetail",
           Stdlib_Option.getOr(Stdlib_Option.map(outcome.errorDetail, s => (s)), null)
+        ],
+        [
+          "cause",
+          refusalCauseToGraphQL(outcome.cause)
         ]
       ]);
     case "Pending" :
@@ -177,8 +193,11 @@ async function runInlineAndCollect(jsons, handleCmds) {
   acceptedResultChannel.contents = (reference, result) => {
     acceptedResults[reference] = result;
   };
-  rejectedResultChannel.contents = (reference, result) => {
-    rejectedResults[reference] = result;
+  rejectedResultChannel.contents = (reference, result, cause) => {
+    rejectedResults[reference] = [
+      result,
+      cause
+    ];
   };
   let results = await Effect.runPromise(handleCmds(Stream.fromIterable(items)));
   acceptedResultChannel.contents = undefined;
@@ -187,22 +206,25 @@ async function runInlineAndCollect(jsons, handleCmds) {
     let msgId = cmdJson.meta.msgId;
     let match = rejectedResults[msgId];
     if (match !== undefined) {
-      let errorDetail = match.errorDetail;
+      let match$1 = match[0];
+      let errorDetail = match$1.errorDetail;
       let detail = errorDetail === "" ? undefined : errorDetail;
       return {
         TAG: "Rejected",
         msgId: msgId,
-        errorCode: match.errorCode,
-        errorDetail: detail
+        errorCode: match$1.errorCode,
+        errorDetail: detail,
+        cause: match[1]
       };
     }
-    let match$1 = results[i];
-    if (match$1 !== undefined && match$1.TAG !== "Ok") {
+    let match$2 = results[i];
+    if (match$2 !== undefined && match$2.TAG !== "Ok") {
       return {
         TAG: "Rejected",
         msgId: msgId,
-        errorCode: "Conflict",
-        errorDetail: match$1._0
+        errorCode: CommandOutcome$Reventless.code("Conflict"),
+        errorDetail: match$2._0,
+        cause: "InfrastructureFailure"
       };
     }
     let ar = Stdlib_Option.getOr(acceptedResults[msgId], {
@@ -249,6 +271,7 @@ function getHandlers(typeName) {
 }
 
 export {
+  refusalCauseToGraphQL,
   commandOutcomeHook,
   registerCommandOutcome,
   clearCommandOutcome,

package/src/components/EventCollector/EventCollector.res

@@ -24,7 +24,7 @@ module type T = {
   let makeHandler: (
     ~eventCollector: component,
     ~jsonEventsHandler: jsonEventsHandler,
-  ) => Pulumi.Output.t<Runtime.effectHandler<callbackEvent, 'context, unit, string>>
+  ) => Pulumi.Output.t<Runtime.effectInvocationHandler<callbackEvent, 'context, unit, string>>
 
   let make: (
     ~name: string,

package/src/components/EventCollector/EventCollector_Adapter.res

@@ -3,7 +3,7 @@ type channel<'callbackEvent, 'context, 'channelParts> = {
   resources: array<ReventlessInfra.Adapter.resource>,
   enqueueEvent: Pulumi.Output.t<EventCollector.enqueueEvent>,
   handleChannelEvent: EventCollector.jsonEventsHandler => Pulumi.Output.t<
-    Runtime.effectHandler<'callbackEvent, 'context, unit, string>,
+    Runtime.effectInvocationHandler<'callbackEvent, 'context, unit, string>,
   >,
 }
 

package/src/components/Heartbeat/Heartbeat.res

@@ -19,7 +19,7 @@ module type T = {
     ~id: string,
     ~timeout: int,
     ~publishToPluginExtensionPoint: CommandTopic.publishJsons,
-  ) => Pulumi.Output.t<Runtime.eventHandler<unit, 'context, unit>>
+  ) => Pulumi.Output.t<Runtime.invocationHandler<unit, 'context, unit>>
 
   let make: (~name: string, ~opts: Pulumi.ComponentResource.options=?) => component
 }

package/src/components/InboundTranslationSlice/InboundTranslationSlice_Callback.res

@@ -19,6 +19,17 @@ type auditRow = {
   door?: ReventlessInfra.InboundTranslationSlice.door,
 }
 
+/** A refused caller is access, a failed publish the platform; anything else is
+    the translation refusing its input. */
+let rejectionCauseOf = (errorCode: string): CommandTopic_Helpers.refusalCause =>
+  if errorCode == Reventless.CommandOutcome.code(Forbidden) {
+    AccessRefusal
+  } else if errorCode == Reventless.CommandOutcome.code(PublishFailed) {
+    InfrastructureFailure
+  } else {
+    DomainRejection
+  }
+
 /** The `CommandResult` a `receive` outcome answers with: the first target as
     `entityId` (omitted when nothing was produced), the fan-out as `eventCount`. */
 let receiveResultToOutcome = (
@@ -31,10 +42,12 @@ let receiveResultToOutcome = (
     | None => Accepted({msgId: requestId, eventCount: commandCount})
     }
   | Error({requestId, error, ?errorCode}) =>
+    let errorCode = errorCode->Option.getOr(Reventless.CommandOutcome.code(TranslationFailed))
     Rejected({
       msgId: requestId,
-      errorCode: errorCode->Option.getOr("TranslationFailed"),
+      errorCode,
       errorDetail: Some(error),
+      cause: rejectionCauseOf(errorCode),
     })
   }
 
@@ -216,7 +229,7 @@ module Make = (
             )
           ) =>
           fail(
-            ~errorCode="Forbidden",
+            ~errorCode=Reventless.CommandOutcome.code(Forbidden),
             `${Spec.name}: the caller is not authorized for every command this input translates into`,
           )
         | Ok([]) => succeed([])
@@ -225,7 +238,11 @@ module Make = (
             await publishJsons(msgs)
             succeed(pairs->Array.map(((targetId, _)) => targetId))
           } catch {
-          | exn => fail(~errorCode="PublishFailed", messageOf(exn, "publish failed"))
+          | exn =>
+            fail(
+              ~errorCode=Reventless.CommandOutcome.code(PublishFailed),
+              messageOf(exn, "publish failed"),
+            )
           }
         }
       }

package/src/components/InboundTranslationSlice/InboundTranslationSlice_Callback.res.mjs

@@ -16,6 +16,7 @@ import * as Util_Sury$Reventless from "@reventlessdev/reventless-spec/src/util/U
 import * as OwnerScope$Reventless from "@reventlessdev/reventless-spec/src/types/OwnerScope.res.mjs";
 import * as Message$ReventlessCore from "../../Message.res.mjs";
 import * as Authorization$Reventless from "@reventlessdev/reventless-spec/src/types/Authorization.res.mjs";
+import * as CommandOutcome$Reventless from "@reventlessdev/reventless-spec/src/components/CommandOutcome.res.mjs";
 import * as EffectLogger$ReventlessCore from "../../util/EffectLogger.res.mjs";
 import * as ApiNoApiHelpers$ReventlessCore from "../Api/ApiNoApiHelpers.res.mjs";
 import * as InboundTranslationSlice$ReventlessInfra from "@reventlessdev/reventless-infra/src/components/InboundTranslationSlice.res.mjs";
@@ -36,6 +37,16 @@ let auditRowSchema = Sury.$schema(s => ({
   door: s.m(Sury.$option(InboundTranslationSlice$ReventlessInfra.doorSchema))
 }));
 
+function rejectionCauseOf(errorCode) {
+  if (errorCode === CommandOutcome$Reventless.code("Forbidden")) {
+    return "AccessRefusal";
+  } else if (errorCode === CommandOutcome$Reventless.code("PublishFailed")) {
+    return "InfrastructureFailure";
+  } else {
+    return "DomainRejection";
+  }
+}
+
 function receiveResultToOutcome(result) {
   if (result.TAG === "Ok") {
     let match = result._0;
@@ -58,11 +69,13 @@ function receiveResultToOutcome(result) {
     }
   }
   let match$1 = result._0;
+  let errorCode = Stdlib_Option.getOr(match$1.errorCode, CommandOutcome$Reventless.code("TranslationFailed"));
   return {
     TAG: "Rejected",
     msgId: match$1.requestId,
-    errorCode: Stdlib_Option.getOr(match$1.errorCode, "TranslationFailed"),
-    errorDetail: match$1.error
+    errorCode: errorCode,
+    errorDetail: match$1.error,
+    cause: rejectionCauseOf(errorCode)
   };
 }
 
@@ -213,7 +226,7 @@ function Make(Spec) {
       }
       let msgs = msg$1._0;
       if (msgs.some(param => !callerAdmits(Authorization$Reventless.named(Spec.authorizationOf(Message$Reventless.variantNameOfJson(param.commandJson))), caller))) {
-        return fail("Forbidden", Spec.name + `: the caller is not authorized for every command this input translates into`);
+        return fail(CommandOutcome$Reventless.code("Forbidden"), Spec.name + `: the caller is not authorized for every command this input translates into`);
       }
       if (msgs.length === 0) {
         return succeed([]);
@@ -223,7 +236,7 @@ function Make(Spec) {
         return succeed(pairs.map(param => param[0]));
       } catch (raw_exn$1) {
         let exn$1 = Primitive_exceptions.internalToException(raw_exn$1);
-        return fail("PublishFailed", messageOf(exn$1, "publish failed"));
+        return fail(CommandOutcome$Reventless.code("PublishFailed"), messageOf(exn$1, "publish failed"));
       }
     };
     let refuse = (body, errorCode, error) => failWith(Uuid.v4(), body, "Webhook", errorCode, error);
@@ -241,6 +254,7 @@ function Make(Spec) {
 export {
   auditStatusSchema,
   auditRowSchema,
+  rejectionCauseOf,
   receiveResultToOutcome,
   requestIdOf,
   takeAuditRow,

package/src/components/ReadModel/ReadModel.res

@@ -23,7 +23,7 @@ module type T = {
   /** Bare event-variant names consumed across every projection mapping's source event
       schema — names the actual events (so a DCB-log-sourced mapping is captured), unlike
       `sourceNames` which only lists source aggregate / DCB-log names. Surfaced by
-      Plugin_Structure as `queryableDef.consumedEventTypes`. */
+      Plugin_Structure as `readSideDef.consumedEventTypes`. */
   let consumedEventNames: array<string>
   let outputs: component => outputs
   let operations: component => Pulumi.Output.t<operations>

package/src/components/StateChangeSlice/StateChangeSlice_Callback.res

@@ -478,10 +478,10 @@ module Make = (
                     // which disagreed with the backends' casing).
                     let (errorCode, errDetail) = switch err {
                     | ReventlessInfra.DcbEventLog.Conflict => (
-                        "Conflict",
+                        Reventless.CommandOutcome.code(Conflict),
                         "conflict: condition check failed",
                       )
-                    | StorageFailure(msg) => ("AppendFailed", msg)
+                    | StorageFailure(msg) => (Reventless.CommandOutcome.code(AppendFailed), msg)
                     }
                     if retries > 0 {
                       // Re-seed from the just-read snapshot so the retry reads only
@@ -504,7 +504,7 @@ module Make = (
                       // A surfaced Conflict means the 3-retry loop could not absorb
                       // the contention — the operator signal for "this slice is hot"
                       // (consider sharding / async — Issue 10, §4 of the analysis).
-                      if errorCode == "Conflict" {
+                      if errorCode == Reventless.CommandOutcome.code(Conflict) {
                         Metrics.emitCount(~metric="AppendConflict", ~slice=Spec.name)
                       }
                       // Both arms here are storage, not the model: a surfaced Conflict is

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

@@ -17,6 +17,7 @@ import * as OwnerScope$Reventless from "@reventlessdev/reventless-spec/src/types
 import * as Message$ReventlessCore from "../../Message.res.mjs";
 import * as Metrics$ReventlessCore from "../../util/Metrics.res.mjs";
 import * as LogFormat$ReventlessCore from "../../util/LogFormat.res.mjs";
+import * as CommandOutcome$Reventless from "@reventlessdev/reventless-spec/src/components/CommandOutcome.res.mjs";
 import * as EffectLogger$ReventlessCore from "../../util/EffectLogger.res.mjs";
 import * as CommandTopic_Helpers$ReventlessCore from "../CommandTopic/CommandTopic_Helpers.res.mjs";
 
@@ -311,10 +312,10 @@ function Make(Spec) {
                 let err = appendResult._0;
                 let match;
                 match = typeof err !== "object" ? [
-                    "Conflict",
+                    CommandOutcome$Reventless.code("Conflict"),
                     "conflict: condition check failed"
                   ] : [
-                    "AppendFailed",
+                    CommandOutcome$Reventless.code("AppendFailed"),
                     err._0
                   ];
                 let errDetail = match[1];
@@ -329,7 +330,7 @@ function Make(Spec) {
                   return Effect.flatMap(EffectLogger$ReventlessCore.logWarn(comp, undefined, `append failed (retrying ` + ((3 - retries | 0) + 1 | 0).toString() + `/` + (3).toString() + `): ` + errDetail), () => attempt(retries - 1 | 0));
                 } else {
                   cacheInvalidate();
-                  if (errorCode === "Conflict") {
+                  if (errorCode === CommandOutcome$Reventless.code("Conflict")) {
                     Metrics$ReventlessCore.emitCount("AppendConflict", Spec.name, undefined);
                   }
                   CommandTopic_Helpers$ReventlessCore.reportRejected(Spec.name, "InfrastructureFailure", cmdJson.meta.msgId, {

package/src/components/StateViewSlice/StateViewSlice_Builder.res

@@ -132,8 +132,8 @@ module Make = (
                     })->Array.map(
                       Reventless.Projection.mapActionId(
                         _,
-                        ~to_=Spec.Key.toString,
-                        ~from=Spec.Key.makeFromString,
+                        ~to_=Spec.Id.toString,
+                        ~from=Spec.Id.makeFromString,
                       ),
                     ) catch {
                     | exn =>

package/src/components/StateViewSlice/StateViewSlice_Builder.res.mjs

@@ -109,7 +109,7 @@ function Make(RuntimeEnvironment) {
                   event: Primitive_option.valFromOption(event),
                   meta: meta,
                   recordedAt: recordedAt
-                }).map(__x => Projection$Reventless.mapActionId(__x, Spec.Key.toString, Spec.Key.makeFromString));
+                }).map(__x => Projection$Reventless.mapActionId(__x, Spec.Id.toString, Spec.Id.makeFromString));
               } catch (raw_exn) {
                 let exn$1 = Primitive_exceptions.internalToException(raw_exn);
                 let errMsg = Stdlib_Option.getOr(Stdlib_Option.flatMap(Stdlib_JsExn.fromException(exn$1), Stdlib_JsExn.message), "unknown");

package/src/components/StateViewSlice/StateViewSlice_Callback.res

@@ -44,8 +44,8 @@ module Make = (
           Projection.project({event, meta: raw.meta, recordedAt: raw.recordedAt})->Array.map(
             Reventless.Projection.mapActionId(
               _,
-              ~to_=Spec.Key.toString,
-              ~from=Spec.Key.makeFromString,
+              ~to_=Spec.Id.toString,
+              ~from=Spec.Id.makeFromString,
             ),
           )
         let actionsStr = LogFormat.actionNames(actions)

package/src/components/StateViewSlice/StateViewSlice_Callback.res.mjs

@@ -33,7 +33,7 @@ function Make(Spec) {
           event: event,
           meta: raw.meta,
           recordedAt: raw.recordedAt
-        }).map(__x => Projection$Reventless.mapActionId(__x, Spec.Key.toString, Spec.Key.makeFromString));
+        }).map(__x => Projection$Reventless.mapActionId(__x, Spec.Id.toString, Spec.Id.makeFromString));
         let actionsStr = LogFormat$ReventlessCore.actionNames(actions);
         Effect.runSync(EffectLogger$ReventlessCore.logInfo(comp, raw.data, `handling event ` + idx.contents.toString() + `/` + count + `: ` + LogFormat$ReventlessCore.bold(raw.eventType) + `(` + id + `) ` + actionsStr));
         allActions.push(...actions.map(__x => Projection$ReventlessCore.rewriteAction(__x, raw.meta.time, Spec.stateSchema)));

package/src/components/Task/Task_Adapter.res

@@ -24,7 +24,7 @@ module type Bucket = {
   type bucketParts
 
   let connect: connect<bucketParts, runtimeParts>
-  let makeHandler: Task.bucketCallback => Runtime.eventHandler<
+  let makeHandler: Task.bucketCallback => Runtime.invocationHandler<
     callbackEvent,
     context,
     array<Task.taskAction>,

package/src/components/Task/Task_Builder.res

@@ -97,7 +97,7 @@ module Make = (
 ): Task.T => {
   module Spec = Spec
   type component = Task.component
-  // type handler = Runtime.eventHandler<
+  // type handler = Runtime.invocationHandler<
   //   TaskRuntimeBuilder.callbackEvent,
   //   TaskRuntimeBuilder.context,
   //   array<Task.taskAction>,