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

package/CHANGELOG.md

@@ -3,6 +3,21 @@
 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.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.122",
   "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
 }