@reventlessdev/reventless-aws 3.0.0-alpha.389 → 3.0.0-alpha.390

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.390 (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.389 (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-aws",
-  "version": "3.0.0-alpha.389",
+  "version": "3.0.0-alpha.390",
   "description": "AWS adapters for Reventless",
   "license": "Apache-2.0",
   "bin": {
@@ -24,17 +24,17 @@
     "yaml": "^2.8.3",
     "@reventlessdev/rescript-aws-sdk": "3.0.0-alpha.33",
     "@reventlessdev/rescript-effect": "1.0.0-alpha.1",
-    "@reventlessdev/rescript-node": "2.0.0-alpha.23",
     "@reventlessdev/rescript-jest": "1.0.0-alpha.13",
+    "@reventlessdev/rescript-node": "2.0.0-alpha.23",
     "@reventlessdev/rescript-pulumi-aws": "3.0.0-alpha.31",
     "@reventlessdev/rescript-pulumi-pulumi": "3.0.0-alpha.0",
-    "@reventlessdev/rescript-uuid": "2.0.0-alpha.1",
     "@reventlessdev/rescript-web": "1.0.0-alpha.8",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.199",
+    "@reventlessdev/rescript-uuid": "2.0.0-alpha.1",
     "@reventlessdev/reventless-interop": "3.0.0-alpha.42",
-    "@reventlessdev/reventless-postgres": "3.0.0-alpha.166",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.171",
-    "@reventlessdev/reventless-core": "3.0.0-alpha.302"
+    "@reventlessdev/reventless-core": "3.0.0-alpha.303",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.200",
+    "@reventlessdev/reventless-postgres": "3.0.0-alpha.167",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.172"
   },
   "devDependencies": {
     "rescript": "12.3.1",

package/src/adapter/Runtime/AggregateEntryPoint.mjs

@@ -84,12 +84,14 @@ function extractFieldName(event) {
   return dot >= 0 ? info.slice(dot + 1) : info;
 }
 
+// The plugin, not the model, said no: cause INFRASTRUCTURE.
 function pluginRejection(msgId, errorCode, detail) {
   return {
     __typename: "CommandRejected",
     msgId,
     errorCode,
     errorDetail: detail,
+    cause: "INFRASTRUCTURE",
   };
 }
 

package/src/components/Api/AppSync_SdlDecorate.res

@@ -524,6 +524,10 @@ let assertGateable = (sdl: string): string => {
 // Object types the admin source owns canonically. `interface Node` and
 // `union CommandResult` are handled structurally below (their def lines don't
 // start with `type `).
+//
+// `enum CommandRejectionCause` is left unstamped, like `SortOrder`: every source
+// emits a byte-identical copy, which the merge unions. Only object types,
+// interfaces and unions were spike-validated with `@canonical`.
 let canonicalTypeNames = ["PageInfo", "CommandAccepted", "CommandRejected", "CommandPending"]
 
 let stampCanonicalTypes = (sdl: string): string =>

package/tests/AppSync_SdlDecorateTest.res

@@ -151,6 +151,20 @@ describe("AppSync_SdlDecorate.stampCanonicalTypes", () => {
     expect(sdl->String.includes("type Product @canonical"))->toBe(false)
   })
 
+  testSync("leaves the rejection-cause enum identical in every source", () => {
+    let types = ReventlessCore.GraphQL_FragmentGenerator.commandResultSdlTypes->Array.join("\n\n")
+    let stamped =
+      types
+      ->AppSync_SdlDecorate.stampSharedIamTypes
+      ->AppSync_SdlDecorate.stampAllTypesCognito
+      ->AppSync_SdlDecorate.stampCanonicalTypes
+    expect(stamped)->toContain(
+      "enum CommandRejectionCause {\n  DOMAIN\n  ACCESS\n  INFRASTRUCTURE\n}",
+    )
+    expect(stamped)->toContain("type CommandRejected @aws_cognito_user_pools @aws_iam @canonical {")
+    expect(stamped)->toContain("  cause: CommandRejectionCause!")
+  })
+
   testSync("is idempotent", () => {
     let once = AppSync_SdlDecorate.stampCanonicalTypes("type PageInfo {\n  x: Int\n}")
     expect(AppSync_SdlDecorate.stampCanonicalTypes(once))->toBe(once)

package/tests/AppSync_SdlDecorateTest.res.mjs

@@ -5,6 +5,7 @@ import * as AppSync_Adapter$ReventlessAws from "../src/components/Api/AppSync_Ad
 import * as GraphQL_Stitcher$ReventlessCore from "@reventlessdev/reventless-core/src/components/Api/GraphQL_Stitcher.res.mjs";
 import * as Platform_AdminApi$ReventlessCore from "@reventlessdev/reventless-core/src/admin/Platform_AdminApi.res.mjs";
 import * as AppSync_SdlDecorate$ReventlessAws from "../src/components/Api/AppSync_SdlDecorate.res.mjs";
+import * as GraphQL_FragmentGenerator$ReventlessCore from "@reventlessdev/reventless-core/src/components/Api/GraphQL_FragmentGenerator.res.mjs";
 
 let sources = [
   {
@@ -127,6 +128,13 @@ globalThis.describe("AppSync_SdlDecorate.stampCanonicalTypes", () => {
     globalThis.expect(sdl).toContain("type Product {");
     globalThis.expect(sdl.includes("type Product @canonical")).toBe(false);
   });
+  globalThis.test("leaves the rejection-cause enum identical in every source", () => {
+    let types = GraphQL_FragmentGenerator$ReventlessCore.commandResultSdlTypes.join("\n\n");
+    let stamped = AppSync_SdlDecorate$ReventlessAws.stampCanonicalTypes(AppSync_SdlDecorate$ReventlessAws.stampAllTypesCognito(AppSync_SdlDecorate$ReventlessAws.stampSharedIamTypes(types)));
+    globalThis.expect(stamped).toContain("enum CommandRejectionCause {\n  DOMAIN\n  ACCESS\n  INFRASTRUCTURE\n}");
+    globalThis.expect(stamped).toContain("type CommandRejected @aws_cognito_user_pools @aws_iam @canonical {");
+    globalThis.expect(stamped).toContain("  cause: CommandRejectionCause!");
+  });
   globalThis.test("is idempotent", () => {
     let once = AppSync_SdlDecorate$ReventlessAws.stampCanonicalTypes("type PageInfo {\n  x: Int\n}");
     globalThis.expect(AppSync_SdlDecorate$ReventlessAws.stampCanonicalTypes(once)).toBe(once);