@reventlessdev/reventless-spec 3.0.0-alpha.171 → 3.0.0-alpha.172

package/CHANGELOG.md

@@ -3,6 +3,19 @@
 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.172 (2026-10-21)
+
+* feat!: a rejected command says whether the model, the access check or the platform said no ([6a8a6b0](https://github.com/ReventlessDev/reventless-core/commit/6a8a6b0f2f31e766ae26a944c23b0904e51a5865))
+
+### BREAKING CHANGES
+
+* a type error variant with one of those names fails to
+compile; rename it for what the model means, such as AlreadyBooked. On
+AWS, rebuild every plugin against this release before a client selects
+cause: a plugin built earlier answers it with a non-null error.
+
+
+
 # 3.0.0-alpha.171 (2026-10-21)
 
 * feat!: a state view's row key is module Id ([08c9726](https://github.com/ReventlessDev/reventless-core/commit/08c972659a3d689a39fd5e2f2026597155e92210))

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-spec",
-  "version": "3.0.0-alpha.171",
+  "version": "3.0.0-alpha.172",
   "description": "Specifications for Reventless",
   "license": "Apache-2.0",
   "bin": {

package/schema/platform-api.graphql

@@ -9,11 +9,18 @@ type CommandPending {
 }
 
 type CommandRejected {
+  cause: CommandRejectionCause!
   errorCode: String!
   errorDetail: String
   msgId: ID!
 }
 
+enum CommandRejectionCause {
+  ACCESS
+  DOMAIN
+  INFRASTRUCTURE
+}
+
 union CommandResult = CommandAccepted | CommandPending | CommandRejected
 
 type Mutation {

package/src/components/CommandOutcome.res

@@ -0,0 +1,54 @@
+/**
+The codes the platform itself puts on a rejected command, as opposed to the
+error names a spec declares.
+
+A spec may not name an error like one of these: the PPX refuses it, so a
+client reading only `errorCode` can still tell a platform code from the
+model's. The PPX holds a copy of `platformErrorCodes` (it cannot read this
+file); a spec test keeps the two equal.
+*/
+type platformErrorCode =
+  /** The caller may not act: an `@authorize` rule or an ownership check refused. */
+  | Forbidden
+  /** Contention the retries could not absorb, or a handler that failed outright. */
+  | Conflict
+  /** The event log refused the append. */
+  | AppendFailed
+  /** The plugin is disconnected; retry later. */
+  | PluginUnavailable
+  /** An administrator deactivated the plugin. */
+  | PluginInactive
+  /** The plugin version was retired. */
+  | PluginRetired
+  /** An inbound translation's commands could not be published. */
+  | PublishFailed
+  /** An inbound translation refused its input. */
+  | TranslationFailed
+
+let code = (c: platformErrorCode): string =>
+  switch c {
+  | Forbidden => "Forbidden"
+  | Conflict => "Conflict"
+  | AppendFailed => "AppendFailed"
+  | PluginUnavailable => "PluginUnavailable"
+  | PluginInactive => "PluginInactive"
+  | PluginRetired => "PluginRetired"
+  | PublishFailed => "PublishFailed"
+  | TranslationFailed => "TranslationFailed"
+  }
+
+/** Every constructor, in declaration order. */
+let all = [
+  Forbidden,
+  Conflict,
+  AppendFailed,
+  PluginUnavailable,
+  PluginInactive,
+  PluginRetired,
+  PublishFailed,
+  TranslationFailed,
+]
+
+let platformErrorCodes = all->Array.map(code)
+
+let isPlatformErrorCode = (name: string): bool => platformErrorCodes->Array.includes(name)

package/src/components/CommandOutcome.res.mjs

@@ -0,0 +1,48 @@
+// Generated by ReScript, PLEASE EDIT WITH CARE
+
+
+function code(c) {
+  switch (c) {
+    case "Forbidden" :
+      return "Forbidden";
+    case "Conflict" :
+      return "Conflict";
+    case "AppendFailed" :
+      return "AppendFailed";
+    case "PluginUnavailable" :
+      return "PluginUnavailable";
+    case "PluginInactive" :
+      return "PluginInactive";
+    case "PluginRetired" :
+      return "PluginRetired";
+    case "PublishFailed" :
+      return "PublishFailed";
+    case "TranslationFailed" :
+      return "TranslationFailed";
+  }
+}
+
+let all = [
+  "Forbidden",
+  "Conflict",
+  "AppendFailed",
+  "PluginUnavailable",
+  "PluginInactive",
+  "PluginRetired",
+  "PublishFailed",
+  "TranslationFailed"
+];
+
+let platformErrorCodes = all.map(code);
+
+function isPlatformErrorCode(name) {
+  return platformErrorCodes.includes(name);
+}
+
+export {
+  code,
+  all,
+  platformErrorCodes,
+  isPlatformErrorCode,
+}
+/* platformErrorCodes Not a pure module */