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

package/CHANGELOG.md

@@ -3,6 +3,37 @@
 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.303 (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.302 (2026-10-21)
+
+* feat!: a state view's row key is module Id ([08c9726](https://github.com/ReventlessDev/reventless-core/commit/08c972659a3d689a39fd5e2f2026597155e92210))
+* feat!: a plugin structure's component definitions are read-side and write-side defs ([ea2ab69](https://github.com/ReventlessDev/reventless-core/commit/ea2ab69e928ba16d7e640e4c66ab0e9ba034fe5c))
+
+### BREAKING CHANGES
+
+* a state view spec declares its row key as module Id. A
+hand-written module Key in a spec under StateView/ or StateViewStream/
+fails the build with "A state view's row key is `module Id`, not
+`module Key`".
+* Plugin.queryableDef, Plugin.writableDef, their schemas,
+isPublicQueryable and encodeQueryableDef no longer exist; a reader names
+readSideDef, writeSideDef, isPublicReadSide and encodeReadSideDef. There
+are no aliases, so the compiler lists every reader.
+
+
+
 # 3.0.0-alpha.301 (2026-10-21)
 
 * feat!: the write-side logic module is called the decision, and a codemod moves an app over ([cb573ff](https://github.com/ReventlessDev/reventless-core/commit/cb573ff5b928c7d7f3e75988dfaa65066f8c95eb))

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/reventless-core",
-  "version": "3.0.0-alpha.301",
+  "version": "3.0.0-alpha.303",
   "description": "Core package for Reventless framework",
   "license": "Apache-2.0",
   "jest": {
@@ -28,22 +28,22 @@
   "dependencies": {
     "sury": "11.0.0",
     "uuid": "^13.0.0",
-    "@reventlessdev/rescript-fast-csv": "2.0.0-alpha.23",
+    "@reventlessdev/rescript-hash-object": "1.2.0-alpha.15",
     "@reventlessdev/rescript-effect": "1.0.0-alpha.1",
     "@reventlessdev/rescript-jest": "1.0.0-alpha.13",
+    "@reventlessdev/rescript-fast-csv": "2.0.0-alpha.23",
     "@reventlessdev/rescript-node": "2.0.0-alpha.23",
-    "@reventlessdev/rescript-hash-object": "1.2.0-alpha.15",
     "@reventlessdev/rescript-pulumi-pulumi": "3.0.0-alpha.0",
-    "@reventlessdev/rescript-ssh2": "2.0.0-alpha.24",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.198",
     "@reventlessdev/rescript-uuid": "2.0.0-alpha.1",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.200",
+    "@reventlessdev/rescript-ssh2": "2.0.0-alpha.24",
     "@reventlessdev/reventless-interop": "3.0.0-alpha.42",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.170"
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.172"
   },
   "devDependencies": {
     "rescript": "12.3.1",
     "sury-ppx": "11.0.0",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.103"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.104"
   },
   "peerDependencies": {
     "rescript": "^12.3.1"

package/src/adapter/Runtime/AggregateRuntime_Builder.res

@@ -10,12 +10,12 @@ module type T = {
     CommandGenerator.component,
   >
   let forCommandTopic: Runtime.forComponent<
-    Runtime.effectHandler<CommandTopicChannel.callbackEvent, context, unit, string>,
+    Runtime.effectInvocationHandler<CommandTopicChannel.callbackEvent, context, unit, string>,
     runtimeParts,
     CommandTopic.component<'op>,
   >
   let forEventCollector: Runtime.forEventCollector<
-    Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+    Runtime.effectInvocationHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
     EventCollector.component,
   >
   let finish: unit => unit

package/src/adapter/Runtime/AggregateRuntime_Builder_Common.res

@@ -24,16 +24,21 @@ module Make = (
     memorySize: int,
     timeout: int,
   }
-  type effectHandler = Runtime.effectHandler<RuntimeEnvironment.event, context, unit, string>
+  type effectInvocationHandler = Runtime.effectInvocationHandler<
+    RuntimeEnvironment.event,
+    context,
+    unit,
+    string,
+  >
 
   // Event collectors nested under this aggregate belong to their own element (a
   // ReadModel, an EventMapper, …), so they carry the comp resolved at registration
   // time rather than the hosting aggregate's.
-  type registeredHandler = {comp: string, handler: effectHandler}
+  type registeredHandler = {comp: string, handler: effectInvocationHandler}
 
   let runtimeSpecs: dict<runtimeSpec> = Dict.make()
   let commandGeneratorHandlers: dict<CommandGenerator.effectEventHandler<context>> = Dict.make()
-  let commandTopicHandlers: dict<effectHandler> = Dict.make()
+  let commandTopicHandlers: dict<effectInvocationHandler> = Dict.make()
   let eventCollectorHandlers: dict<array<registeredHandler>> = Dict.make()
 
   let aggregateHandler = aggregateName =>
@@ -197,7 +202,7 @@ module Make = (
 
   let forCommandTopic = (
     ~handler: Pulumi.Output.t<
-      Runtime.effectHandler<CommandTopicChannel.callbackEvent, context, unit, string>,
+      Runtime.effectInvocationHandler<CommandTopicChannel.callbackEvent, context, unit, string>,
     >,
     ~connect,
     ~memorySize=1024,
@@ -228,7 +233,7 @@ module Make = (
   }
   let forEventCollector = (
     ~handler: Pulumi.Output.t<
-      Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+      Runtime.effectInvocationHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
     >,
     ~eventTopics: EventTopic.allOutputs,
     ~resources: array<ReventlessInfra.Adapter.resource>,

package/src/adapter/Runtime/AggregateRuntime_Builder_Micro.res

@@ -45,7 +45,7 @@ module Make = (
   }
   let forCommandTopic = (
     ~handler: Pulumi.Output.t<
-      Runtime.effectHandler<CommandTopicChannel.callbackEvent, context, unit, string>,
+      Runtime.effectInvocationHandler<CommandTopicChannel.callbackEvent, context, unit, string>,
     >,
     ~connect,
     ~memorySize=1024,
@@ -76,7 +76,7 @@ module Make = (
 
   let forEventCollector = (
     ~handler: Pulumi.Output.t<
-      Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+      Runtime.effectInvocationHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
     >,
     ~eventTopics: EventTopic.allOutputs,
     ~resources: array<ReventlessInfra.Adapter.resource>,

package/src/adapter/Runtime/EventCollectorRuntime_Builder.res

@@ -4,7 +4,7 @@ module type T = {
   module EventCollectorChannel: EventCollector_Adapter.Channel
 
   let forEventCollector: Runtime.forEventCollector<
-    Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+    Runtime.effectInvocationHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
     EventCollector.component,
   >
   let finish: unit => unit

package/src/adapter/Runtime/EventCollectorRuntime_Builder_Single.res

@@ -33,12 +33,17 @@ module Make = (
     maxMemorySize: 0,
     maxTimeout: 0,
   })
-  type effectHandler = Runtime.effectHandler<RuntimeEnvironment.event, context, unit, string>
+  type effectInvocationHandler = Runtime.effectInvocationHandler<
+    RuntimeEnvironment.event,
+    context,
+    unit,
+    string,
+  >
   // `comp` is the *element's* log component, resolved where the handler is registered
   // (the event collector's own resource is in hand there). Keeping it next to the
   // handler is what makes every collector hosted in this one runtime separable by
   // field — the runtime-group name would be identical for all of them.
-  type registeredHandler = {comp: string, handler: effectHandler}
+  type registeredHandler = {comp: string, handler: effectInvocationHandler}
   let eventCollectorHandlers: dict<array<registeredHandler>> = Dict.make()
 
   let eventCollectorHandler = parentName =>
@@ -142,7 +147,7 @@ module Make = (
 
   let forEventCollector = (
     ~handler: Pulumi.Output.t<
-      Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+      Runtime.effectInvocationHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
     >,
     ~eventTopics: EventTopic.allOutputs,
     ~resources: array<ReventlessInfra.Adapter.resource>,

package/src/adapter/Runtime/ExtensionPointRuntime_Builder.res

@@ -5,7 +5,7 @@ module type T = {
 
   let forCommandTopic: (
     ~handler: Pulumi.Output.t<
-      Runtime.effectHandler<CommandTopicChannel.callbackEvent, context, unit, string>,
+      Runtime.effectInvocationHandler<CommandTopicChannel.callbackEvent, context, unit, string>,
     >,
     ~connect: Runtime.connect<runtimeParts>,
     ~memorySize: int=?,

package/src/adapter/Runtime/PluginRuntime_Builder.res

@@ -5,16 +5,16 @@ module type T = {
 
   let registerPluginName: string => unit
   let forPluginEventCollector: Runtime.forEventCollector<
-    Runtime.effectHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
+    Runtime.effectInvocationHandler<EventCollectorChannel.callbackEvent, context, unit, string>,
     EventCollector.component,
   >
   let forPluginHeartbeat: Runtime.forComponent<
-    Runtime.eventHandler<unit, context, unit>,
+    Runtime.invocationHandler<unit, context, unit>,
     runtimeParts,
     Heartbeat.component,
   >
   let forDcbCommandTopic: Runtime.forComponent<
-    Runtime.effectHandler<'callbackEvent, context, unit, string>,
+    Runtime.effectInvocationHandler<'callbackEvent, context, unit, string>,
     runtimeParts,
     CommandTopic.component<'op>,
   >

package/src/adapter/Runtime/Runtime.res

@@ -1,6 +1,7 @@
-type eventHandler<'event, 'context, 'result> = ('event, 'context) => promise<'result>
-type effectHandler<'event, 'context, 'result, 'error> = (
-  'event,
+// Handlers of a platform invocation (a Lambda payload), not of domain events.
+type invocationHandler<'payload, 'context, 'result> = ('payload, 'context) => promise<'result>
+type effectInvocationHandler<'payload, 'context, 'result, 'error> = (
+  'payload,
   'context,
 ) => Effect.t<'result, 'error, unit>
 
@@ -92,7 +93,7 @@ let runEffect = (
   )
   ->Effect.runPromise
 
-// Convert an effectHandler to an eventHandler at build time, annotating the
+// Convert an effectInvocationHandler to an invocationHandler at build time, annotating the
 // invocation on each call. Used by the single-component-per-Lambda strategies
 // (Micro / PerAggregate / Plugin / PerEventCollector / PerExtensionPoint), which
 // pass the Environment's `extractCorrelationId` / `extractCausationId` and the
@@ -105,8 +106,8 @@ let runEffectHandler = (
   ~extractRetryCount: option<'event => option<int>>=?,
   ~comp=?,
   ~pluginName=?,
-  handler: effectHandler<'event, 'context, 'result, 'error>,
-): eventHandler<'event, 'context, 'result> =>
+  handler: effectInvocationHandler<'event, 'context, 'result, 'error>,
+): invocationHandler<'event, 'context, 'result> =>
   (event, ctx) => {
     let extract = (f, event) =>
       switch f {
@@ -136,7 +137,7 @@ type environment<'parts> = {
 
 type environmentMaker<'event, 'context, 'result, 'parts> = (
   ~name: string,
-  ~handler: Pulumi.Output.t<eventHandler<'event, 'context, 'result>>,
+  ~handler: Pulumi.Output.t<invocationHandler<'event, 'context, 'result>>,
   ~memorySize: int=?,
   ~timeout: int=?,
   ~opts: Pulumi.ComponentResource.options=?,
@@ -154,8 +155,8 @@ module type Environment = {
   // `None` where the transport carries no such notion (see each implementation).
   let extractSentTimestamp: event => option<float>
   let extractRetryCount: event => option<int>
-  let asEventHandler: 'a => eventHandler<event, context, 'result>
-  let asEffectHandler: 'a => effectHandler<event, context, 'result, 'error>
+  let asEventHandler: 'a => invocationHandler<event, context, 'result>
+  let asEffectHandler: 'a => effectInvocationHandler<event, context, 'result, 'error>
 }
 
 type connect<'parts> = (~runtime: environment<'parts>) => unit

package/src/adapter/Runtime/TaskRuntime_Builder.res

@@ -18,7 +18,7 @@ module type T = {
   type runtimeParts
 
   let forBucketCallback: (
-    ~handler: Pulumi.Output.t<Runtime.eventHandler<callbackEvent, context, unit>>,
+    ~handler: Pulumi.Output.t<Runtime.invocationHandler<callbackEvent, context, unit>>,
     ~connect: Runtime.connect<runtimeParts>,
     ~memorySize: int=?,
     ~timeout: int=?,

package/src/admin/Platform_Admin_Structure.res

@@ -42,7 +42,7 @@ let pluginCommands: array<commandDef> = Plugin_Structure.extractCommandDefs(
   commandSchema,
 )
 
-let pluginAggregate: writableDef = {
+let pluginAggregate: writeSideDef = {
   name: "Plugin",
   commands: pluginCommands,
   producedEventTypes: [],
@@ -59,8 +59,8 @@ let pluginAggregate: writableDef = {
 
 // Functions, not values: the view's access keys are the group the platform maps
 // the administrator role to, and this module is evaluated before a root maps it.
-let pluginReadModel = (): queryableDef =>
-  Plugin_Structure.queryableDefFromSpec(
+let pluginReadModel = (): readSideDef =>
+  Plugin_Structure.readSideDefFromSpec(
     ~plugin=pluginId,
     ~name=PluginsReadModelSpec.name,
     ~stateSchema=PluginsReadModelSpec.stateSchema->S.castToUnknown,

package/src/admin/Platform_Admin_Structure.res.mjs

@@ -33,7 +33,7 @@ let pluginAggregate = {
 };
 
 function pluginReadModel() {
-  return Plugin_Structure$ReventlessCore.queryableDefFromSpec(pluginId, PluginsReadModelSpec$ReventlessCore.name, PluginsReadModelSpec$ReventlessCore.stateSchema, Authorization$Reventless.named(PluginsReadModelSpec$ReventlessCore.authorization), undefined, undefined, ["Plugin"], undefined);
+  return Plugin_Structure$ReventlessCore.readSideDefFromSpec(pluginId, PluginsReadModelSpec$ReventlessCore.name, PluginsReadModelSpec$ReventlessCore.stateSchema, Authorization$Reventless.named(PluginsReadModelSpec$ReventlessCore.authorization), undefined, undefined, ["Plugin"], undefined);
 }
 
 function structure() {

package/src/admin/Platform_BakedManifest.res

@@ -65,12 +65,12 @@ type selection = {
   derived: option<array<string>>,
 }
 
-let publicViews = (def: pluginStructure): array<queryableDef> =>
+let publicViews = (def: pluginStructure): array<readSideDef> =>
   Array.concat(def.readModels, def.stateViewSlices)->Array.filter(
-    Platform_ComponentDefinitionsApi.isPublicQueryable,
+    Platform_ComponentDefinitionsApi.isPublicReadSide,
   )
 
-let writeSides = (def: pluginStructure): array<writableDef> =>
+let writeSides = (def: pluginStructure): array<writeSideDef> =>
   Array.concat(def.stateChangeSlices, def.aggregates)
 
 let commandNames = (def: pluginStructure): array<string> =>
@@ -116,7 +116,7 @@ let isSelected = (selected: option<array<string>>, name: string): bool =>
 // breaks the picker permanently in the one deployment shape with no fallback.
 // Naming it discloses nothing: the domain API already serves that view to the same
 // caller (Internal is a menu hint, not a boundary).
-let referencedEntities = (~pluginName: string, kept: array<writableDef>): array<string> =>
+let referencedEntities = (~pluginName: string, kept: array<writeSideDef>): array<string> =>
   kept
   ->Array.flatMap(w => w.commands)
   ->Array.flatMap(c => c.references)
@@ -133,7 +133,7 @@ let curateStructure = (~pluginId: string, ~def: pluginStructure, sel: selection)
 > =>
   validate(~def, sel)->Result.map(() => {
     let pluginName = Plugin.name(pluginId)
-    let keepCommands = (ws: array<writableDef>) =>
+    let keepCommands = (ws: array<writeSideDef>) =>
       ws
       ->Array.map(w => {
         ...w,
@@ -147,9 +147,9 @@ let curateStructure = (~pluginId: string, ~def: pluginStructure, sel: selection)
     let stateChangeSlices = def.stateChangeSlices->keepCommands
     let aggregates = def.aggregates->keepCommands
     let referenced = referencedEntities(~pluginName, Array.concat(stateChangeSlices, aggregates))
-    let keepViews = (qs: array<queryableDef>) =>
+    let keepViews = (qs: array<readSideDef>) =>
       qs->Array.filter(q =>
-        if Platform_ComponentDefinitionsApi.isPublicQueryable(q) {
+        if Platform_ComponentDefinitionsApi.isPublicReadSide(q) {
           sel.views->isSelected(q.name)
         } else {
           referenced->Array.includes(q.name)

package/src/admin/Platform_BakedManifest.res.mjs

@@ -27,7 +27,7 @@ function describe(e) {
 }
 
 function publicViews(def) {
-  return def.readModels.concat(def.stateViewSlices).filter(Platform_ComponentDefinitionsApi$ReventlessCore.isPublicQueryable);
+  return def.readModels.concat(def.stateViewSlices).filter(Platform_ComponentDefinitionsApi$ReventlessCore.isPublicReadSide);
 }
 
 function writeSides(def) {
@@ -117,7 +117,7 @@ function curateStructure(pluginId, def, sel) {
     let aggregates = keepCommands(def.aggregates);
     let referenced = referencedEntities(pluginName, stateChangeSlices.concat(aggregates));
     let keepViews = qs => qs.filter(q => {
-      if (Platform_ComponentDefinitionsApi$ReventlessCore.isPublicQueryable(q)) {
+      if (Platform_ComponentDefinitionsApi$ReventlessCore.isPublicReadSide(q)) {
         return isSelected(sel.views, q.name);
       } else {
         return referenced.includes(q.name);

package/src/admin/Platform_ComponentDefinitionsApi.res

@@ -92,7 +92,7 @@ let encodeCommandDef = (c: commandDef): JSON.t =>
 
 // Internal ReadModels / StateViewSlices are carried in pluginStructure for developer
 // tooling but must stay out of the deployed AutoUI — the menu, drill-down pages and
-// queryable defs are all derived from this response, so filter them here.
+// read-side defs are all derived from this response, so filter them here.
 //
 // Hidden from the menu is not the same question as denied as a reference target: a
 // denormalised lookup view is precisely the thing an author wants referenceable but
@@ -100,9 +100,9 @@ let encodeCommandDef = (c: commandDef): JSON.t =>
 // (below) answers the second. Neither is a security boundary — an Internal view
 // keeps its resolver and stays queryable, so naming it here publishes a fact the
 // caller is already entitled to.
-let isPublicQueryable = (q: queryableDef): bool => q.visibility != Some("Internal")
+let isPublicReadSide = (q: readSideDef): bool => q.visibility != Some("Internal")
 
-let encodeQueryableDef = (r: queryableDef): JSON.t =>
+let encodeReadSideDef = (r: readSideDef): JSON.t =>
   Dict.fromArray([
     ("name", JSON.Encode.string(r.name)),
     ("queryField", JSON.Encode.string(r.queryField)),
@@ -143,7 +143,7 @@ let encodeErrorDef = (e: errorDef): JSON.t =>
     ("references", e.references->Array.map(encodeFieldReference)->JSON.Encode.array),
   ])->JSON.Encode.object
 
-let encodeWritableDef = (w: writableDef): JSON.t =>
+let encodeWriteSideDef = (w: writeSideDef): JSON.t =>
   Dict.fromArray([
     ("name", JSON.Encode.string(w.name)),
     ("commands", w.commands->Array.map(encodeCommandDef)->JSON.Encode.array),
@@ -254,26 +254,26 @@ let encodePluginStructureEntry = (
     (
       "readModels",
       def.readModels
-      ->Array.filter(isPublicQueryable)
-      ->Array.map(encodeQueryableDef)
+      ->Array.filter(isPublicReadSide)
+      ->Array.map(encodeReadSideDef)
       ->JSON.Encode.array,
     ),
     (
       "stateViewSlices",
       def.stateViewSlices
-      ->Array.filter(isPublicQueryable)
-      ->Array.map(encodeQueryableDef)
+      ->Array.filter(isPublicReadSide)
+      ->Array.map(encodeReadSideDef)
       ->JSON.Encode.array,
     ),
     (
       "internalQueryables",
       Array.concat(def.readModels, def.stateViewSlices)
-      ->Array.filter(q => !isPublicQueryable(q))
-      ->Array.map(encodeQueryableDef)
+      ->Array.filter(q => !isPublicReadSide(q))
+      ->Array.map(encodeReadSideDef)
       ->JSON.Encode.array,
     ),
-    ("stateChangeSlices", def.stateChangeSlices->Array.map(encodeWritableDef)->JSON.Encode.array),
-    ("aggregates", def.aggregates->Array.map(encodeWritableDef)->JSON.Encode.array),
+    ("stateChangeSlices", def.stateChangeSlices->Array.map(encodeWriteSideDef)->JSON.Encode.array),
+    ("aggregates", def.aggregates->Array.map(encodeWriteSideDef)->JSON.Encode.array),
     (
       "automationSlices",
       def.automationSlices->Array.map(encodeAutomationSliceDef)->JSON.Encode.array,

package/src/admin/Platform_ComponentDefinitionsApi.res.mjs

@@ -97,11 +97,11 @@ function encodeCommandDef(c) {
   ]);
 }
 
-function isPublicQueryable(q) {
+function isPublicReadSide(q) {
   return Primitive_object.notequal(q.visibility, "Internal");
 }
 
-function encodeQueryableDef(r) {
+function encodeReadSideDef(r) {
   return Object.fromEntries([
     [
       "name",
@@ -216,7 +216,7 @@ function encodeErrorDef(e) {
   ]);
 }
 
-function encodeWritableDef(w) {
+function encodeWriteSideDef(w) {
   return Object.fromEntries([
     [
       "name",
@@ -399,23 +399,23 @@ function encodePluginStructureEntry(pluginId, derived, def) {
     ],
     [
       "readModels",
-      def.readModels.filter(isPublicQueryable).map(encodeQueryableDef)
+      def.readModels.filter(isPublicReadSide).map(encodeReadSideDef)
     ],
     [
       "stateViewSlices",
-      def.stateViewSlices.filter(isPublicQueryable).map(encodeQueryableDef)
+      def.stateViewSlices.filter(isPublicReadSide).map(encodeReadSideDef)
     ],
     [
       "internalQueryables",
-      def.readModels.concat(def.stateViewSlices).filter(q => !Primitive_object.notequal(q.visibility, "Internal")).map(encodeQueryableDef)
+      def.readModels.concat(def.stateViewSlices).filter(q => !Primitive_object.notequal(q.visibility, "Internal")).map(encodeReadSideDef)
     ],
     [
       "stateChangeSlices",
-      def.stateChangeSlices.map(encodeWritableDef)
+      def.stateChangeSlices.map(encodeWriteSideDef)
     ],
     [
       "aggregates",
-      def.aggregates.map(encodeWritableDef)
+      def.aggregates.map(encodeWriteSideDef)
     ],
     [
       "automationSlices",
@@ -448,11 +448,11 @@ export {
   encodeStrings,
   encodeFieldReference,
   encodeCommandDef,
-  isPublicQueryable,
-  encodeQueryableDef,
+  isPublicReadSide,
+  encodeReadSideDef,
   encodeEventDef,
   encodeErrorDef,
-  encodeWritableDef,
+  encodeWriteSideDef,
   encodeAutomationSliceDef,
   encodeOutboundTranslationSliceDef,
   encodeInboundTranslationSliceDef,

package/src/admin/Platform_PluginStructuresApi.res

@@ -6,7 +6,7 @@
 // difference is not cosmetic.
 //
 //   Platform_ComponentDefinitions  the deployed AutoUI's menu, drill-down pages and
-//                                  queryable defs. Internal ReadModels /
+//                                  read-side defs. Internal ReadModels /
 //                                  StateViewSlices are filtered OUT — showing them
 //                                  would put components in an end user's menu that
 //                                  the author marked as not-for-display.
@@ -119,7 +119,7 @@ let encodeRequiredCapabilityDeclaration = (d: requiredCapabilityDeclaration): JS
     ("component", JSON.Encode.string(d.component)),
   ])->JSON.Encode.object
 
-// Deliberately NOT filtered by `isPublicQueryable`: that filter is the AutoUI
+// Deliberately NOT filtered by `isPublicReadSide`: that filter is the AutoUI
 // contract, and applying it here would silently drop Internal components from the
 // graph a developer tool draws.
 let encodePluginStructureEntry = (~pluginId: string, def: pluginStructure): JSON.t =>
@@ -128,25 +128,25 @@ let encodePluginStructureEntry = (~pluginId: string, def: pluginStructure): JSON
     (
       "readModels",
       def.readModels
-      ->Array.map(Platform_ComponentDefinitionsApi.encodeQueryableDef)
+      ->Array.map(Platform_ComponentDefinitionsApi.encodeReadSideDef)
       ->JSON.Encode.array,
     ),
     (
       "stateViewSlices",
       def.stateViewSlices
-      ->Array.map(Platform_ComponentDefinitionsApi.encodeQueryableDef)
+      ->Array.map(Platform_ComponentDefinitionsApi.encodeReadSideDef)
       ->JSON.Encode.array,
     ),
     (
       "stateChangeSlices",
       def.stateChangeSlices
-      ->Array.map(Platform_ComponentDefinitionsApi.encodeWritableDef)
+      ->Array.map(Platform_ComponentDefinitionsApi.encodeWriteSideDef)
       ->JSON.Encode.array,
     ),
     (
       "aggregates",
       def.aggregates
-      ->Array.map(Platform_ComponentDefinitionsApi.encodeWritableDef)
+      ->Array.map(Platform_ComponentDefinitionsApi.encodeWriteSideDef)
       ->JSON.Encode.array,
     ),
     (

package/src/admin/Platform_PluginStructuresApi.res.mjs

@@ -124,19 +124,19 @@ function encodePluginStructureEntry(pluginId, def) {
     ],
     [
       "readModels",
-      def.readModels.map(Platform_ComponentDefinitionsApi$ReventlessCore.encodeQueryableDef)
+      def.readModels.map(Platform_ComponentDefinitionsApi$ReventlessCore.encodeReadSideDef)
     ],
     [
       "stateViewSlices",
-      def.stateViewSlices.map(Platform_ComponentDefinitionsApi$ReventlessCore.encodeQueryableDef)
+      def.stateViewSlices.map(Platform_ComponentDefinitionsApi$ReventlessCore.encodeReadSideDef)
     ],
     [
       "stateChangeSlices",
-      def.stateChangeSlices.map(Platform_ComponentDefinitionsApi$ReventlessCore.encodeWritableDef)
+      def.stateChangeSlices.map(Platform_ComponentDefinitionsApi$ReventlessCore.encodeWriteSideDef)
     ],
     [
       "aggregates",
-      def.aggregates.map(Platform_ComponentDefinitionsApi$ReventlessCore.encodeWritableDef)
+      def.aggregates.map(Platform_ComponentDefinitionsApi$ReventlessCore.encodeWriteSideDef)
     ],
     [
       "automationSlices",

package/src/admin/UiFragmentRegistry/StateView/UiFragments.res.mjs

@@ -40,8 +40,6 @@ let name = "UiFragments";
 
 let Id;
 
-let Key;
-
 let subIdConfig;
 
 let moduleUrl = "@reventlessdev/reventless-core/src/admin/UiFragmentRegistry/StateView/UiFragments.res.mjs";
@@ -52,11 +50,10 @@ let visibility = "Public";
 
 export {
   name,
-  Id,
   stateSchema,
   consumedEventSchema,
   config,
-  Key,
+  Id,
   subIdConfig,
   moduleUrl,
   authorization,

package/src/components/Aggregate/Aggregate_Callback.res

@@ -392,7 +392,7 @@ module Make = (
           ~component=Spec.name,
           ~cause=InfrastructureFailure,
           reference,
-          {errorCode: "AppendFailed", errorDetail: appendErrorDetail},
+          {errorCode: Reventless.CommandOutcome.code(AppendFailed), errorDetail: appendErrorDetail},
         )
         Error(reference)
       }

package/src/components/Aggregate/Aggregate_Callback.res.mjs

@@ -15,6 +15,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 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 SchemaWalker$ReventlessCore from "../../plugin/component/SchemaWalker.res.mjs";
 import * as CommandTopic_Helpers$ReventlessCore from "../CommandTopic/CommandTopic_Helpers.res.mjs";
@@ -254,7 +255,7 @@ function Make(Spec) {
               };
             } else {
               CommandTopic_Helpers$ReventlessCore.reportRejected(Spec.name, "InfrastructureFailure", reference, {
-                errorCode: "AppendFailed",
+                errorCode: CommandOutcome$Reventless.code("AppendFailed"),
                 errorDetail: appendErrorDetail
               });
               return {