@reventlessdev/reventless-core 3.0.0-alpha.249 → 3.0.0-alpha.251

package/CHANGELOG.md

@@ -3,6 +3,38 @@
 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.251 (2026-08-27)
+
+* feat(spec)!: reflect the command direction across a port, both halves ([f2fe258](https://github.com/ReventlessDev/reventless-core/commit/f2fe258d195b74f4a61488edee305665341020ea))
+* feat(spec)!: drop the plugin protocol's reconnect event, which nothing published ([7549db6](https://github.com/ReventlessDev/reventless-core/commit/7549db6aac6ad3f94dbb8d72dac4b4e783756ad1))
+* feat(spec)!: read the port's translation table off the mapping's arms ([956348a](https://github.com/ReventlessDev/reventless-core/commit/956348a9fcb256cfff9db51809bdc27d73360e6c))
+
+### BREAKING CHANGES
+
+* `ExtensionPointMapping.Mapping` gains `acceptedCommands` and
+`ExtensionMapping.Mapping` gains `issuedCommands`; both are derived, so a
+mapping the ppx can read needs no source change, and one it cannot names itself
+at compile time. Definitions persisted before the two new def fields must be
+re-emitted before a consumer can read them as present — and until then they
+decode as None, which means unknown, not "issues nothing".
+* `PluginExtensionPointSpec.event` no longer declares
+`PluginReconnected`. An extension matching on it was matching an event it could
+never receive; drop the arm.
+* `ExtensionPointMapping.Mapping` requires `publishedEvents` and
+`ExtensionMapping.Mapping` requires `handledEvents`; the ppx injects both for
+mappings it can read, so app code must build against the matching ppx. Plugin
+definitions persisted before the new fields must be re-emitted before a consumer
+reads them as present.
+
+
+
+# 3.0.0-alpha.250 (2026-08-23)
+
+### Bug Fixes
+
+* **querydb:** serve the previous page instead of refusing it ([48341c9](https://github.com/ReventlessDev/reventless-core/commit/48341c9f61b5155b441deeb0edc9abf461948346))
+
+
 # 3.0.0-alpha.249 (2026-08-23)
 
 ### Features

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-core",
-  "version": "3.0.0-alpha.249",
+  "version": "3.0.0-alpha.251",
   "description": "Core package for Reventless framework",
   "license": "Apache-2.0",
   "jest": {
@@ -29,21 +29,21 @@
     "sury": "11.0.0-rc.2",
     "uuid": "^13.0.0",
     "@reventlessdev/rescript-effect": "0.1.0-alpha.32",
-    "@reventlessdev/rescript-fast-csv": "2.0.0-alpha.8",
-    "@reventlessdev/rescript-hash-object": "1.2.0-alpha.14",
-    "@reventlessdev/rescript-jest": "1.0.0-alpha.10",
     "@reventlessdev/rescript-node": "2.0.0-alpha.8",
-    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.19",
+    "@reventlessdev/rescript-jest": "1.0.0-alpha.10",
+    "@reventlessdev/rescript-hash-object": "1.2.0-alpha.14",
+    "@reventlessdev/rescript-fast-csv": "2.0.0-alpha.8",
     "@reventlessdev/rescript-ssh2": "2.0.0-alpha.8",
+    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.19",
     "@reventlessdev/rescript-uuid": "2.0.0-alpha.0",
-    "@reventlessdev/reventless-interop": "3.0.0-alpha.33",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.151",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.123"
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.152",
+    "@reventlessdev/reventless-interop": "3.0.0-alpha.34",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.124"
   },
   "devDependencies": {
     "rescript": "12.3.0",
     "sury-ppx": "11.0.0-rc.2",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.73"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.74"
   },
   "peerDependencies": {
     "rescript": "12.3.0"

package/src/admin/Platform_ComponentDefinitionsApi.res

@@ -33,7 +33,11 @@ let sdlTypes: array<string> = [
   `type Platform_AutomationSliceDef {\n  name: String!\n  consumedEventTypes: [String!]!\n  producedCommandTypes: [String!]!\n  targetName: String\n  chapter: String\n}`,
   `type Platform_OutboundTranslationSliceDef {\n  name: String!\n  consumedEventTypes: [String!]!\n  inboundCommandTypes: [String!]!\n  targetName: String\n  externalSystem: String\n  chapter: String\n}`,
   `type Platform_InboundTranslationSliceDef {\n  name: String!\n  commandTypes: [String!]!\n  targetName: String\n  externalSystem: String\n  chapter: String\n}`,
-  `type Platform_ExtensionDef {\n  name: String!\n  delegateNames: [String!]!\n  eventTypes: [String!]!\n  commandTypes: [String!]!\n}`,
+  // The subscriber's half of the port's translation table — see `handledEventDef`.
+  `type Platform_HandledEventDef {\n  name: String!\n  toCommandTypes: [String!]!\n}`,
+  // Its command-direction mirror — see `issuedCommandDef`.
+  `type Platform_IssuedCommandDef {\n  name: String!\n  fromEventTypes: [String!]!\n}`,
+  `type Platform_ExtensionDef {\n  name: String!\n  delegateNames: [String!]!\n  eventTypes: [String!]!\n  commandTypes: [String!]!\n  handledEvents: [Platform_HandledEventDef!]\n  issuedCommands: [Platform_IssuedCommandDef!]\n}`,
   // `internalQueryables` is the complement of the `readModels` / `stateViewSlices`
   // filter, not an addition to either: it carries exactly the components the
   // filter removed. A consumer enumerating surfaces reads the two filtered lists
@@ -208,6 +212,32 @@ let encodeExtensionDef = (e: extensionDef): JSON.t =>
     ("delegateNames", encodeStrings(e.delegateNames)),
     ("eventTypes", encodeStrings(e.eventTypes)),
     ("commandTypes", encodeStrings(e.commandTypes)),
+    (
+      "handledEvents",
+      e.handledEvents->Option.mapOr(JSON.Encode.null, handled =>
+        handled
+        ->Array.map(h =>
+          Dict.fromArray([
+            ("name", JSON.Encode.string(h.name)),
+            ("toCommandTypes", encodeStrings(h.toCommandTypes)),
+          ])->JSON.Encode.object
+        )
+        ->JSON.Encode.array
+      ),
+    ),
+    (
+      "issuedCommands",
+      e.issuedCommands->Option.mapOr(JSON.Encode.null, issued =>
+        issued
+        ->Array.map(i =>
+          Dict.fromArray([
+            ("name", JSON.Encode.string(i.name)),
+            ("fromEventTypes", encodeStrings(i.fromEventTypes)),
+          ])->JSON.Encode.object
+        )
+        ->JSON.Encode.array
+      ),
+    ),
   ])->JSON.Encode.object
 
 // `derived` is curation, not structure: it says which of the pages a shell

package/src/admin/Platform_ComponentDefinitionsApi.res.mjs

@@ -14,7 +14,9 @@ let sdlTypes = [
   `type Platform_AutomationSliceDef {\n  name: String!\n  consumedEventTypes: [String!]!\n  producedCommandTypes: [String!]!\n  targetName: String\n  chapter: String\n}`,
   `type Platform_OutboundTranslationSliceDef {\n  name: String!\n  consumedEventTypes: [String!]!\n  inboundCommandTypes: [String!]!\n  targetName: String\n  externalSystem: String\n  chapter: String\n}`,
   `type Platform_InboundTranslationSliceDef {\n  name: String!\n  commandTypes: [String!]!\n  targetName: String\n  externalSystem: String\n  chapter: String\n}`,
-  `type Platform_ExtensionDef {\n  name: String!\n  delegateNames: [String!]!\n  eventTypes: [String!]!\n  commandTypes: [String!]!\n}`,
+  `type Platform_HandledEventDef {\n  name: String!\n  toCommandTypes: [String!]!\n}`,
+  `type Platform_IssuedCommandDef {\n  name: String!\n  fromEventTypes: [String!]!\n}`,
+  `type Platform_ExtensionDef {\n  name: String!\n  delegateNames: [String!]!\n  eventTypes: [String!]!\n  commandTypes: [String!]!\n  handledEvents: [Platform_HandledEventDef!]\n  issuedCommands: [Platform_IssuedCommandDef!]\n}`,
   `type Platform_ComponentDefinitionEntry {\n  pluginId: String!\n  readModels: [Platform_ReadSideDef!]!\n  stateViewSlices: [Platform_ReadSideDef!]!\n  internalQueryables: [Platform_ReadSideDef!]!\n  stateChangeSlices: [Platform_WriteSideDef!]!\n  aggregates: [Platform_WriteSideDef!]!\n  automationSlices: [Platform_AutomationSliceDef!]!\n  outboundTranslationSlices: [Platform_OutboundTranslationSliceDef!]!\n  inboundTranslationSlices: [Platform_InboundTranslationSliceDef!]!\n  extensions: [Platform_ExtensionDef!]!\n}`
 ];
 
@@ -347,6 +349,32 @@ function encodeExtensionDef(e) {
     [
       "commandTypes",
       e.commandTypes.map(prim => prim)
+    ],
+    [
+      "handledEvents",
+      Stdlib_Option.mapOr(e.handledEvents, null, handled => handled.map(h => Object.fromEntries([
+        [
+          "name",
+          h.name
+        ],
+        [
+          "toCommandTypes",
+          h.toCommandTypes.map(prim => prim)
+        ]
+      ])))
+    ],
+    [
+      "issuedCommands",
+      Stdlib_Option.mapOr(e.issuedCommands, null, issued => issued.map(i => Object.fromEntries([
+        [
+          "name",
+          i.name
+        ],
+        [
+          "fromEventTypes",
+          i.fromEventTypes.map(prim => prim)
+        ]
+      ])))
     ]
   ]);
 }

package/src/admin/Platform_PluginStructuresApi.res

@@ -28,9 +28,13 @@
 open Reventless.Plugin
 
 let sdlTypes: array<string> = [
+  // The port's translation table — see `publishedEventDef`.
+  `type Platform_PublishedEventDef {\n  name: String!\n  fromEventTypes: [String!]!\n}`,
+  // Its command-direction mirror — see `acceptedCommandDef`.
+  `type Platform_AcceptedCommandDef {\n  name: String!\n  toCommandTypes: [String!]!\n}`,
   // Producer side of an extension point. `commandTypes` is null for a
   // notification-only (`command = unit`) extension point — see `extensionPointDef`.
-  `type Platform_ExtensionPointDef {\n  name: String!\n  delegateNames: [String!]!\n  sourceEventTypes: [String!]!\n  commandTypes: [String!]\n}`,
+  `type Platform_ExtensionPointDef {\n  name: String!\n  delegateNames: [String!]!\n  sourceEventTypes: [String!]!\n  commandTypes: [String!]\n  publishedEvents: [Platform_PublishedEventDef!]\n  acceptedCommands: [Platform_AcceptedCommandDef!]\n}`,
   `type Platform_RequiredStoreDeclaration {\n  store: String!\n  component: String!\n  field: String!\n  annotation: String\n}`,
   // `extensionPoints` / `requiredStores` / `requiredStoreDeclarations` are nullable
   // lists, not `[T!]!`: all three are optional on `pluginStructure` so that plugin
@@ -52,6 +56,38 @@ let encodeExtensionPointDef = (e: extensionPointDef): JSON.t =>
       "commandTypes",
       e.commandTypes->Option.mapOr(JSON.Encode.null, Platform_ComponentDefinitionsApi.encodeStrings),
     ),
+    (
+      "publishedEvents",
+      e.publishedEvents->Option.mapOr(JSON.Encode.null, published =>
+        published
+        ->Array.map(p =>
+          Dict.fromArray([
+            ("name", JSON.Encode.string(p.name)),
+            (
+              "fromEventTypes",
+              Platform_ComponentDefinitionsApi.encodeStrings(p.fromEventTypes),
+            ),
+          ])->JSON.Encode.object
+        )
+        ->JSON.Encode.array
+      ),
+    ),
+    (
+      "acceptedCommands",
+      e.acceptedCommands->Option.mapOr(JSON.Encode.null, accepted =>
+        accepted
+        ->Array.map(a =>
+          Dict.fromArray([
+            ("name", JSON.Encode.string(a.name)),
+            (
+              "toCommandTypes",
+              Platform_ComponentDefinitionsApi.encodeStrings(a.toCommandTypes),
+            ),
+          ])->JSON.Encode.object
+        )
+        ->JSON.Encode.array
+      ),
+    ),
   ])->JSON.Encode.object
 
 let encodeRequiredStoreDeclaration = (d: requiredStoreDeclaration): JSON.t =>

package/src/admin/Platform_PluginStructuresApi.res.mjs

@@ -5,7 +5,9 @@ import * as Plugin$ReventlessCore from "../plugin/component/Plugin.res.mjs";
 import * as Platform_ComponentDefinitionsApi$ReventlessCore from "./Platform_ComponentDefinitionsApi.res.mjs";
 
 let sdlTypes = [
-  `type Platform_ExtensionPointDef {\n  name: String!\n  delegateNames: [String!]!\n  sourceEventTypes: [String!]!\n  commandTypes: [String!]\n}`,
+  `type Platform_PublishedEventDef {\n  name: String!\n  fromEventTypes: [String!]!\n}`,
+  `type Platform_AcceptedCommandDef {\n  name: String!\n  toCommandTypes: [String!]!\n}`,
+  `type Platform_ExtensionPointDef {\n  name: String!\n  delegateNames: [String!]!\n  sourceEventTypes: [String!]!\n  commandTypes: [String!]\n  publishedEvents: [Platform_PublishedEventDef!]\n  acceptedCommands: [Platform_AcceptedCommandDef!]\n}`,
   `type Platform_RequiredStoreDeclaration {\n  store: String!\n  component: String!\n  field: String!\n  annotation: String\n}`,
   `type Platform_PluginStructureEntry {\n  pluginId: String!\n  readModels: [Platform_ReadSideDef!]!\n  stateViewSlices: [Platform_ReadSideDef!]!\n  stateChangeSlices: [Platform_WriteSideDef!]!\n  aggregates: [Platform_WriteSideDef!]!\n  automationSlices: [Platform_AutomationSliceDef!]!\n  outboundTranslationSlices: [Platform_OutboundTranslationSliceDef!]!\n  inboundTranslationSlices: [Platform_InboundTranslationSliceDef!]!\n  extensions: [Platform_ExtensionDef!]!\n  extensionPoints: [Platform_ExtensionPointDef!]\n  requiredStores: [String!]\n  requiredStoreDeclarations: [Platform_RequiredStoreDeclaration!]\n}`
 ];
@@ -27,6 +29,32 @@ function encodeExtensionPointDef(e) {
     [
       "commandTypes",
       Stdlib_Option.mapOr(e.commandTypes, null, Platform_ComponentDefinitionsApi$ReventlessCore.encodeStrings)
+    ],
+    [
+      "publishedEvents",
+      Stdlib_Option.mapOr(e.publishedEvents, null, published => published.map(p => Object.fromEntries([
+        [
+          "name",
+          p.name
+        ],
+        [
+          "fromEventTypes",
+          Platform_ComponentDefinitionsApi$ReventlessCore.encodeStrings(p.fromEventTypes)
+        ]
+      ])))
+    ],
+    [
+      "acceptedCommands",
+      Stdlib_Option.mapOr(e.acceptedCommands, null, accepted => accepted.map(a => Object.fromEntries([
+        [
+          "name",
+          a.name
+        ],
+        [
+          "toCommandTypes",
+          Platform_ComponentDefinitionsApi$ReventlessCore.encodeStrings(a.toCommandTypes)
+        ]
+      ])))
     ]
   ]);
 }

package/src/components/Api/QueryDbListQuery.res

@@ -265,10 +265,22 @@ let run = (
 
   let first =
     argsDict->Dict.get("first")->Option.flatMap(JSON.Decode.float)->Option.map(Float.toInt)
-  let after = argsDict->Dict.get("after")->Option.flatMap(JSON.Decode.string)
+  // An empty cursor is no cursor. The host shell clears the opposite argument by
+  // setting it to "" rather than dropping it, and `Some("")` read as a cursor
+  // bounds nothing while still selecting the branch that expects one.
+  let cursorArg = key =>
+    argsDict
+    ->Dict.get(key)
+    ->Option.flatMap(JSON.Decode.string)
+    ->Option.flatMap(s => s == "" ? None : Some(s))
+  let after = cursorArg("after")
   let last = argsDict->Dict.get("last")->Option.flatMap(JSON.Decode.float)->Option.map(Float.toInt)
-  let before = argsDict->Dict.get("before")->Option.flatMap(JSON.Decode.string)
-  let isBackward = last->Option.isSome
+  let before = cursorArg("before")
+  // `before` decides the direction, not `last`. Relay pairs `last` with `before`,
+  // but a client that keeps its page size in `first` and only moves the cursor
+  // sends `before` alone — and keying on `last` made that a FORWARD read bounded
+  // by nothing, which answers page one and calls it the previous page.
+  let isBackward = last->Option.isSome || before->Option.isSome
   let cursorField = orderByField->Option.getOr("id")
   let getCursorValue = item => getFieldString(item, cursorField)->Option.getOr(getId(item))
 
@@ -288,8 +300,12 @@ let run = (
   | _ => sorted
   }
 
+  // `last` when given, else the page size the caller has been paging with.
   let pageSize = if isBackward {
-    last->Option.getOr(defaultListPageSize)
+    switch last {
+    | Some(n) => n
+    | None => first->Option.getOr(defaultListPageSize)
+    }
   } else {
     first->Option.getOr(defaultListPageSize)
   }
@@ -311,10 +327,14 @@ let run = (
     (arr->Array.slice(~start=0, ~end=pageSize), hasMore)
   }
 
+  // Both directions report both flags. A backward page was cut from ahead, so a
+  // next page provably exists — the one the caller came from — and a forward page
+  // reached by a cursor has one behind it. Reporting only the flag that matches
+  // the direction made Prev vanish the moment it was used.
   buildConnection(
     ~pageItems,
-    ~hasNextPage=!isBackward && hasMore,
-    ~hasPreviousPage=isBackward && hasMore,
+    ~hasNextPage=isBackward ? true : hasMore,
+    ~hasPreviousPage=isBackward ? hasMore : after->Option.isSome,
     ~cursorValueOf=getCursorValue,
   )
 }

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

@@ -154,10 +154,17 @@ function run(items, argsDict, capability, labelField, decodeLocalIdOpt, ownerSco
     });
   }
   let first = Stdlib_Option.map(Stdlib_Option.flatMap(argsDict["first"], Stdlib_JSON.Decode.float), prim => prim | 0);
-  let after = Stdlib_Option.flatMap(argsDict["after"], Stdlib_JSON.Decode.string);
+  let cursorArg = key => Stdlib_Option.flatMap(Stdlib_Option.flatMap(argsDict[key], Stdlib_JSON.Decode.string), s => {
+    if (s === "") {
+      return;
+    } else {
+      return s;
+    }
+  });
+  let after = cursorArg("after");
   let last = Stdlib_Option.map(Stdlib_Option.flatMap(argsDict["last"], Stdlib_JSON.Decode.float), prim => prim | 0);
-  let before = Stdlib_Option.flatMap(argsDict["before"], Stdlib_JSON.Decode.string);
-  let isBackward = Stdlib_Option.isSome(last);
+  let before = cursorArg("before");
+  let isBackward = Stdlib_Option.isSome(last) || Stdlib_Option.isSome(before);
   let cursorField = Stdlib_Option.getOr(orderByField, "id");
   let getCursorValue = item => Stdlib_Option.getOr(getFieldString(item, cursorField), getId(item));
   let cursorBounded;
@@ -188,7 +195,7 @@ function run(items, argsDict, capability, labelField, decodeLocalIdOpt, ownerSco
   } else {
     cursorBounded = sorted;
   }
-  let pageSize = isBackward ? Stdlib_Option.getOr(last, 50) : Stdlib_Option.getOr(first, 50);
+  let pageSize = isBackward && last !== undefined ? last : Stdlib_Option.getOr(first, 50);
   let take = pageSize + 1 | 0;
   let match;
   if (isBackward) {
@@ -210,7 +217,7 @@ function run(items, argsDict, capability, labelField, decodeLocalIdOpt, ownerSco
     ];
   }
   let hasMore$2 = match[1];
-  return buildConnection(match[0], !isBackward && hasMore$2, isBackward && hasMore$2, getCursorValue);
+  return buildConnection(match[0], isBackward ? true : hasMore$2, isBackward ? hasMore$2 : Stdlib_Option.isSome(after), getCursorValue);
 }
 
 let defaultListPageSize = 50;