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

package/CHANGELOG.md

@@ -3,6 +3,31 @@
 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

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-core",
-  "version": "3.0.0-alpha.250",
+  "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-node": "2.0.0-alpha.8",
     "@reventlessdev/rescript-jest": "1.0.0-alpha.10",
     "@reventlessdev/rescript-hash-object": "1.2.0-alpha.14",
-    "@reventlessdev/rescript-node": "2.0.0-alpha.8",
-    "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.19",
+    "@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-spec": "3.0.0-alpha.123",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.151"
+    "@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)
+        ]
+      ])))
     ]
   ]);
 }