@reventlessdev/reventless-spec 3.0.0-alpha.121 → 3.0.0-alpha.123

package/CHANGELOG.md

@@ -3,6 +3,28 @@
 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.123 (2026-08-23)
+
+### Features
+
+* **querydb:** serve owner-scoped lists from an index instead of a filtered Scan ([ad26c28](https://github.com/ReventlessDev/reventless-core/commit/ad26c284b4b0650fa3f3b6109ed33bbfe8608f6d))
+
+
+# 3.0.0-alpha.122 (2026-08-22)
+
+* feat(core)!: a slice that has given up says so ([f5559ab](https://github.com/ReventlessDev/reventless-core/commit/f5559abede3a9cf2c9a48aadc69a666c46cc75bf))
+
+### BREAKING CHANGES
+
+* `onExhausted` is required on the Translation and Automation
+module types. ReScript has no optional module-type fields, so the alternative
+was a PPX-injected default — and defaulting this one to silence is the bug.
+A slice now states what abandonment means for its domain, `None` included.
+GeocodeCustomerAddress answers with MarkAddressUnresolvable; the others say
+nothing, on purpose.
+
+
+
 # 3.0.0-alpha.121 (2026-08-21)
 
 ### Bug Fixes

package/package.json

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

package/src/components/AutomationSlice.res

@@ -153,6 +153,22 @@ module type Automation = {
   */
   let process: (string, Spec.todoItem) => option<(string, Spec.command)>
 
+  /**
+  The retry budget is spent: this item will never be processed again.
+
+  Return `Some((targetId, command))` to tell the domain, or `None` to say nothing.
+
+  Abandonment is an outcome, not the absence of one, and the framework cannot
+  publish it on a slice's behalf: the command would have to name a target, and
+  which target is exactly what this module knows and the framework does not. So
+  the choice is declared here even when the answer is `None` — a slice that stays
+  silent says so on purpose.
+
+  The row is marked `Abandoned` either way; this decides only whether anything
+  downstream hears about it.
+  */
+  let onExhausted: (string, Spec.todoItem) => option<(string, Spec.command)>
+
   /** File URL of this Automation module (`import.meta.url`). */
   let moduleUrl: string
 

package/src/components/OutboundTranslationSlice.res

@@ -147,6 +147,25 @@ module type Translation = {
     result<option<(string, Spec.inboundCommand)>, string>,
   >
 
+  /**
+  The retry budget is spent: this item will never be attempted again.
+
+  Return `Some((targetId, cmd))` to tell the domain, or `None` to say nothing.
+  `~lastError` is the failure that ended it.
+
+  Abandonment is an outcome, not the absence of one, and the framework cannot
+  publish it on a slice's behalf: the event would need a home in some aggregate's
+  log, and which aggregate is exactly what this module knows and the framework
+  does not. So the choice is declared here even when the answer is `None` —
+  a slice that stays silent says so on purpose.
+
+  The row is marked `Abandoned` either way; this decides only whether anything
+  downstream hears about it.
+  */
+  let onExhausted: (string, Spec.outboundItem, ~lastError: option<string>) => option<
+    (string, Spec.inboundCommand),
+  >
+
   /** File URL of this Translation module (`import.meta.url`). */
   let moduleUrl: string
 }

package/src/components/ReadModel.res

@@ -90,6 +90,10 @@ Configuration for a DynamoDB Global Secondary Index on a read model table.
 - `pkSep` / `skSep` — separator for composite pk/sk concatenation (default `"/"`)
 - `projectionType` — which attributes are projected into the index
 - `authorization` — optional AppSync authorization rule
+- `derived` — the framework wrote this index, not the author. It keys a read the
+  generated resolvers already make (`@owner` scoping); no `<single>By<Index>`
+  door is emitted for it, since a door named after a key the author never
+  declared is noise on every published schema.
 */
 type indexConfig = {
   index: string,
@@ -102,8 +106,13 @@ type indexConfig = {
   skSep?: string,
   projectionType: projectionType,
   authorization?: authorization,
+  derived?: bool,
 }
 
+/** Does this index carry an SDL door? Derived indexes serve a read the resolvers
+    already make and are provisioned without one. */
+let isDerivedIndex = (ic: indexConfig) => ic.derived->Option.getOr(false)
+
 /**
 Composite-key configuration for a read model that has both a primary ID and a sub-ID.
 

package/src/components/ReadModel.res.mjs

@@ -1,5 +1,10 @@
 // Generated by ReScript, PLEASE EDIT WITH CARE
 
+import * as Stdlib_Option from "@rescript/runtime/lib/es6/Stdlib_Option.js";
+
+function isDerivedIndex(ic) {
+  return Stdlib_Option.getOr(ic.derived, false);
+}
 
 function config(idResolversOpt, idsResolversOpt, indexesOpt) {
   let idResolvers = idResolversOpt !== undefined ? idResolversOpt : [];
@@ -13,6 +18,7 @@ function config(idResolversOpt, idsResolversOpt, indexesOpt) {
 }
 
 export {
+  isDerivedIndex,
   config,
 }
 /* No side effect */