@reventlessdev/online-shop-hybrid-ordering 1.0.0-alpha.269 → 1.0.0-alpha.271

package/CHANGELOG.md

@@ -3,6 +3,24 @@
 All notable changes to this project will be documented in this file.
 See [Conventional Commits](https://conventionalcommits.org) for commit guidelines.
 
+# 1.0.0-alpha.271 (2026-10-10)
+
+* feat!: a command's rule is looked up by its name, without a cast ([5f02c40](https://github.com/ReventlessDev/reventless-core/commit/5f02c4081d077bf4a6951d8c9b2b16553a8ca87b))
+
+### BREAKING CHANGES
+
+* a spec that writes `commandAuthorization` by hand writes
+`authorizationOf = (name: string) => …` instead; the PPX refuses the old name.
+
+
+
+# 1.0.0-alpha.270 (2026-10-10)
+
+### Features
+
+* **gwt:** automation and translation tests take the slice as written, and the sidecars read them ([93a0919](https://github.com/ReventlessDev/reventless-core/commit/93a0919a0d66730cf9bf89144ad8fba3cb025332))
+
+
 # 1.0.0-alpha.269 (2026-10-08)
 
 **Note:** Version bump only for package @reventlessdev/online-shop-hybrid-ordering

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@reventlessdev/online-shop-hybrid-ordering",
-  "version": "1.0.0-alpha.269",
+  "version": "1.0.0-alpha.271",
   "description": "Online Shop Hybrid example — Ordering plugin (Customer aggregate + Order/CatalogProduct DCB)",
   "license": "Apache-2.0",
   "jest": {
@@ -21,20 +21,20 @@
   },
   "dependencies": {
     "sury": "11.0.0",
-    "@reventlessdev/online-shop-hybrid-catalog-spec": "1.0.0-alpha.157",
-    "@reventlessdev/online-shop-hybrid-ordering-spec": "1.0.0-alpha.156",
+    "@reventlessdev/online-shop-hybrid-catalog-spec": "1.0.0-alpha.159",
+    "@reventlessdev/online-shop-hybrid-ordering-spec": "1.0.0-alpha.158",
     "@reventlessdev/rescript-pulumi-pulumi": "2.3.0-alpha.23",
-    "@reventlessdev/reventless-infra": "3.0.0-alpha.188",
-    "@reventlessdev/reventless-gwt": "1.0.0-alpha.238",
-    "@reventlessdev/reventless-spec": "3.0.0-alpha.160",
-    "@reventlessdev/reventless-local": "3.0.0-alpha.281",
-    "@reventlessdev/trait-address-geocoding": "1.0.0-alpha.40",
-    "@reventlessdev/trait-notification": "1.0.0-alpha.40"
+    "@reventlessdev/reventless-gwt": "1.0.0-alpha.240",
+    "@reventlessdev/reventless-infra": "3.0.0-alpha.190",
+    "@reventlessdev/reventless-local": "3.0.0-alpha.283",
+    "@reventlessdev/reventless-spec": "3.0.0-alpha.162",
+    "@reventlessdev/trait-address-geocoding": "1.0.0-alpha.42",
+    "@reventlessdev/trait-notification": "1.0.0-alpha.42"
   },
   "devDependencies": {
     "rescript": "12.3.1",
     "sury-ppx": "11.0.0",
-    "@reventlessdev/reventless-ppx": "1.0.0-alpha.98"
+    "@reventlessdev/reventless-ppx": "1.0.0-alpha.99"
   },
   "peerDependencies": {
     "rescript": "^12.3.1"

package/src/CatalogProduct/StateChange/SyncCatalogProduct.res.mjs

@@ -82,7 +82,7 @@ let eventSchema = Sury.union([
   }))
 ]);
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -108,7 +108,7 @@ export {
   errorSchema,
   eventSchema,
   moduleUrl,
-  commandAuthorization,
+  authorizationOf,
   readConsistency,
   commandTransition,
   traits,

package/src/Customer/Aggregate/Customer.res.mjs

@@ -84,7 +84,7 @@ let traits = [AddressGeocoding$TraitAddressGeocoding.declaration];
 
 let commandSchema$1 = Api$ReventlessInfra.markNoApiVariants(commandSchema, ["MarkEmailVerified"]);
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -103,6 +103,6 @@ export {
   traits,
   commandSchema$1 as commandSchema,
   moduleUrl,
-  commandAuthorization,
+  authorizationOf,
 }
 /* commandSchema Not a pure module */

package/src/Customer/StateChange/EmailVerificationChallenges.res.mjs

@@ -71,7 +71,7 @@ let eventSchema = Sury.union([
 
 let commandSchema$1 = Api$ReventlessInfra.markNoApiVariants(commandSchema, ["IssueEmailChallenge"]);
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -97,7 +97,7 @@ export {
   eventSchema,
   commandSchema$1 as commandSchema,
   moduleUrl,
-  commandAuthorization,
+  authorizationOf,
   readConsistency,
   commandTransition,
   traits,

package/src/ExtensionPoint/Orders_ExtensionPointMapping.res.mjs

@@ -24,7 +24,7 @@ let eventSchema = Sury.union([
 
 let errorSchema = Sury.$unit;
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -41,7 +41,7 @@ let Delegate = {
   eventSchema: eventSchema,
   errorSchema: errorSchema,
   moduleUrl: "@reventlessdev/online-shop-hybrid-ordering/src/ExtensionPoint/Orders_ExtensionPointMapping.res.mjs",
-  commandAuthorization: commandAuthorization,
+  authorizationOf: authorizationOf,
   commandTransition: commandTransition,
   traits: traits
 };

package/src/Notification/Automation/NotificationIntake.res.mjs

@@ -24,7 +24,7 @@ let commandSchema = Sury.$schema(s => ({
   origin: s.m(NotificationPreferences$OrderingPlugin.originSchema)
 }));
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -55,7 +55,7 @@ export {
   heartbeatInterval,
   targetName,
   moduleUrl,
-  commandAuthorization,
+  authorizationOf,
   commandTransition,
   traits,
 }

package/src/Notification/StateChange/NotificationPreferences.res.mjs

@@ -180,7 +180,7 @@ let commandSchema$1 = Api$ReventlessInfra.markNoApiVariants(commandSchema, [
   "RecordDeliveryFailure"
 ]);
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -208,7 +208,7 @@ export {
   traits,
   commandSchema$1 as commandSchema,
   moduleUrl,
-  commandAuthorization,
+  authorizationOf,
   readConsistency,
   commandTransition,
 }

package/src/Notification/StateChange/NotificationSourceClaims.res.mjs

@@ -50,7 +50,7 @@ let commandSchema$1 = Api$ReventlessInfra.markNoApiVariants(commandSchema, [
   "ReleaseNotificationSource"
 ]);
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -75,7 +75,7 @@ export {
   traits,
   commandSchema$1 as commandSchema,
   moduleUrl,
-  commandAuthorization,
+  authorizationOf,
   readConsistency,
   commandTransition,
 }

package/src/Order/Automation/AutoShipOrder.res.mjs

@@ -13,7 +13,7 @@ let commandSchema = Sury.$schema(s => ({
   orderId: s.m(DcbTag$Reventless.mark(OrderId$OrderingPlugin.schema))
 }));
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -44,7 +44,7 @@ export {
   heartbeatInterval,
   targetName,
   moduleUrl,
-  commandAuthorization,
+  authorizationOf,
   commandTransition,
   traits,
 }

package/src/Order/StateChange/CancelOrder.res.mjs

@@ -65,7 +65,7 @@ function commandTransition(command) {
 
 let commandSchema$1 = Api$ReventlessInfra.markNoApiVariants(commandSchema, ["ReopenOrder"]);
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -88,7 +88,7 @@ export {
   commandTransition,
   commandSchema$1 as commandSchema,
   moduleUrl,
-  commandAuthorization,
+  authorizationOf,
   readConsistency,
   traits,
 }

package/src/Order/StateChange/PlaceOrder.res.mjs

@@ -109,7 +109,7 @@ let eventSchema = Sury.$schema(s => ({
   firstProductImage: s.m(Sury.$option(UploadableImage$Reventless.forField("Catalog", "productImages")))
 }));
 
-function commandAuthorization(param) {
+function authorizationOf(param) {
   return "AllowAuthenticated";
 }
 
@@ -138,7 +138,7 @@ export {
   orderLineSchema,
   eventSchema,
   moduleUrl,
-  commandAuthorization,
+  authorizationOf,
   readConsistency,
   commandTransition,
   traits,

package/src/Order/StateChange/ShipOrder.res.mjs

@@ -41,14 +41,18 @@ function commandTransition(command) {
   };
 }
 
-function commandAuthorization(command) {
-  return {
-    TAG: "AllowRoles",
-    _0: [
-      "Admin",
-      "Fulfilment"
-    ]
-  };
+function authorizationOf(name) {
+  if (name === "ShipOrder") {
+    return {
+      TAG: "AllowRoles",
+      _0: [
+        "Admin",
+        "Fulfilment"
+      ]
+    };
+  } else {
+    return "AllowAuthenticated";
+  }
 }
 
 let traits = [];
@@ -70,7 +74,7 @@ export {
   eventSchema,
   commandTransition,
   moduleUrl,
-  commandAuthorization,
+  authorizationOf,
   readConsistency,
   traits,
 }

package/src/Plugin.res.mjs

@@ -110,7 +110,7 @@ function Make(Platform) {
     errorSchema: CancelOrder$OrderingPlugin.errorSchema,
     eventSchema: CancelOrder$OrderingPlugin.eventSchema,
     commandSchema: CancelOrder$OrderingPlugin.commandSchema,
-    commandAuthorization: CancelOrder$OrderingPlugin.commandAuthorization,
+    authorizationOf: CancelOrder$OrderingPlugin.authorizationOf,
     commandTransition: CancelOrder$OrderingPlugin.commandTransition,
     traits: CancelOrder$OrderingPlugin.traits,
     readConsistency: CancelOrder$OrderingPlugin.readConsistency
@@ -127,7 +127,7 @@ function Make(Platform) {
     errorSchema: EmailVerificationChallenges$OrderingPlugin.errorSchema,
     eventSchema: EmailVerificationChallenges$OrderingPlugin.eventSchema,
     commandSchema: EmailVerificationChallenges$OrderingPlugin.commandSchema,
-    commandAuthorization: EmailVerificationChallenges$OrderingPlugin.commandAuthorization,
+    authorizationOf: EmailVerificationChallenges$OrderingPlugin.authorizationOf,
     commandTransition: EmailVerificationChallenges$OrderingPlugin.commandTransition,
     traits: EmailVerificationChallenges$OrderingPlugin.traits,
     readConsistency: EmailVerificationChallenges$OrderingPlugin.readConsistency
@@ -144,7 +144,7 @@ function Make(Platform) {
     errorSchema: NotificationPreferences$OrderingPlugin.errorSchema,
     eventSchema: NotificationPreferences$OrderingPlugin.eventSchema,
     commandSchema: NotificationPreferences$OrderingPlugin.commandSchema,
-    commandAuthorization: NotificationPreferences$OrderingPlugin.commandAuthorization,
+    authorizationOf: NotificationPreferences$OrderingPlugin.authorizationOf,
     commandTransition: NotificationPreferences$OrderingPlugin.commandTransition,
     traits: NotificationPreferences$OrderingPlugin.traits,
     readConsistency: NotificationPreferences$OrderingPlugin.readConsistency
@@ -161,7 +161,7 @@ function Make(Platform) {
     errorSchema: NotificationSourceClaims$OrderingPlugin.errorSchema,
     eventSchema: NotificationSourceClaims$OrderingPlugin.eventSchema,
     commandSchema: NotificationSourceClaims$OrderingPlugin.commandSchema,
-    commandAuthorization: NotificationSourceClaims$OrderingPlugin.commandAuthorization,
+    authorizationOf: NotificationSourceClaims$OrderingPlugin.authorizationOf,
     commandTransition: NotificationSourceClaims$OrderingPlugin.commandTransition,
     traits: NotificationSourceClaims$OrderingPlugin.traits,
     readConsistency: NotificationSourceClaims$OrderingPlugin.readConsistency
@@ -178,7 +178,7 @@ function Make(Platform) {
     errorSchema: PlaceOrder$OrderingPlugin.errorSchema,
     eventSchema: PlaceOrder$OrderingPlugin.eventSchema,
     commandSchema: PlaceOrder$OrderingPlugin.commandSchema,
-    commandAuthorization: PlaceOrder$OrderingPlugin.commandAuthorization,
+    authorizationOf: PlaceOrder$OrderingPlugin.authorizationOf,
     commandTransition: PlaceOrder$OrderingPlugin.commandTransition,
     traits: PlaceOrder$OrderingPlugin.traits,
     readConsistency: PlaceOrder$OrderingPlugin.readConsistency
@@ -195,7 +195,7 @@ function Make(Platform) {
     errorSchema: ShipOrder$OrderingPlugin.errorSchema,
     eventSchema: ShipOrder$OrderingPlugin.eventSchema,
     commandSchema: ShipOrder$OrderingPlugin.commandSchema,
-    commandAuthorization: ShipOrder$OrderingPlugin.commandAuthorization,
+    authorizationOf: ShipOrder$OrderingPlugin.authorizationOf,
     commandTransition: ShipOrder$OrderingPlugin.commandTransition,
     traits: ShipOrder$OrderingPlugin.traits,
     readConsistency: ShipOrder$OrderingPlugin.readConsistency
@@ -212,7 +212,7 @@ function Make(Platform) {
     errorSchema: SyncCatalogProduct$OrderingPlugin.errorSchema,
     eventSchema: SyncCatalogProduct$OrderingPlugin.eventSchema,
     commandSchema: SyncCatalogProduct$OrderingPlugin.commandSchema,
-    commandAuthorization: SyncCatalogProduct$OrderingPlugin.commandAuthorization,
+    authorizationOf: SyncCatalogProduct$OrderingPlugin.authorizationOf,
     commandTransition: SyncCatalogProduct$OrderingPlugin.commandTransition,
     traits: SyncCatalogProduct$OrderingPlugin.traits,
     readConsistency: SyncCatalogProduct$OrderingPlugin.readConsistency
@@ -401,7 +401,7 @@ function Make(Platform) {
     errorSchema: Customer$OrderingPlugin.errorSchema,
     commandSchema: Customer$OrderingPlugin.commandSchema,
     moduleUrl: Customer$OrderingPlugin.moduleUrl,
-    commandAuthorization: Customer$OrderingPlugin.commandAuthorization,
+    authorizationOf: Customer$OrderingPlugin.authorizationOf,
     commandTransition: Customer$OrderingPlugin.commandTransition,
     traits: Customer$OrderingPlugin.traits
   })({
@@ -443,7 +443,7 @@ function Make(Platform) {
       errorSchema: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.errorSchema,
       commandSchema: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.commandSchema,
       moduleUrl: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.moduleUrl,
-      commandAuthorization: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.commandAuthorization,
+      authorizationOf: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.authorizationOf,
       commandTransition: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.commandTransition,
       traits: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.traits
     },
@@ -468,7 +468,7 @@ function Make(Platform) {
       errorSchema: SyncCatalogProduct$OrderingPlugin.errorSchema,
       commandSchema: SyncCatalogProduct$OrderingPlugin.commandSchema,
       moduleUrl: SyncCatalogProduct$OrderingPlugin.moduleUrl,
-      commandAuthorization: SyncCatalogProduct$OrderingPlugin.commandAuthorization,
+      authorizationOf: SyncCatalogProduct$OrderingPlugin.authorizationOf,
       commandTransition: SyncCatalogProduct$OrderingPlugin.commandTransition,
       traits: SyncCatalogProduct$OrderingPlugin.traits
     },
@@ -515,7 +515,7 @@ function Make(Platform) {
         errorSchema: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.errorSchema,
         commandSchema: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.commandSchema,
         moduleUrl: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.moduleUrl,
-        commandAuthorization: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.commandAuthorization,
+        authorizationOf: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.authorizationOf,
         commandTransition: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.commandTransition,
         traits: Orders_ExtensionPointMapping$OrderingPlugin.Delegate.traits
       },

package/tests/CatalogProduct/StateChange/SyncCatalogProduct_GWT.res.mjs

@@ -11,7 +11,7 @@ let include = Behavior_GWT$ReventlessGwt.Make({
   commandSchema: SyncCatalogProduct$OrderingPlugin.commandSchema,
   errorSchema: SyncCatalogProduct$OrderingPlugin.errorSchema,
   eventSchema: SyncCatalogProduct$OrderingPlugin.eventSchema,
-  commandAuthorization: SyncCatalogProduct$OrderingPlugin.commandAuthorization
+  authorizationOf: SyncCatalogProduct$OrderingPlugin.authorizationOf
 })({
   initialState: SyncCatalogProduct_Behavior$OrderingPlugin.initialState,
   evolve: SyncCatalogProduct_Behavior$OrderingPlugin.evolve,

package/tests/Customer/AddressGeocodingConformance_GWT.res.mjs

@@ -148,7 +148,7 @@ let Conformance = AddressGeocoding_Conformance$TraitAddressGeocoding.Make({
     commandSchema: Customer$OrderingPlugin.commandSchema,
     eventSchema: Customer$OrderingPlugin.eventSchema,
     errorSchema: Customer$OrderingPlugin.errorSchema,
-    commandAuthorization: Customer$OrderingPlugin.commandAuthorization
+    authorizationOf: Customer$OrderingPlugin.authorizationOf
   },
   Behavior: {
     Spec: {
@@ -156,7 +156,7 @@ let Conformance = AddressGeocoding_Conformance$TraitAddressGeocoding.Make({
       commandSchema: Customer$OrderingPlugin.commandSchema,
       eventSchema: Customer$OrderingPlugin.eventSchema,
       errorSchema: Customer$OrderingPlugin.errorSchema,
-      commandAuthorization: Customer$OrderingPlugin.commandAuthorization
+      authorizationOf: Customer$OrderingPlugin.authorizationOf
     },
     initialState: Customer_Behavior$OrderingPlugin.initialState,
     evolve: Customer_Behavior$OrderingPlugin.evolve,

package/tests/Customer/Aggregate/Customer_GWT.res.mjs

@@ -10,14 +10,14 @@ let include = Behavior_GWT$ReventlessGwt.MakeFromAggregate({
   commandSchema: Customer$OrderingPlugin.commandSchema,
   eventSchema: Customer$OrderingPlugin.eventSchema,
   errorSchema: Customer$OrderingPlugin.errorSchema,
-  commandAuthorization: Customer$OrderingPlugin.commandAuthorization
+  authorizationOf: Customer$OrderingPlugin.authorizationOf
 })({
   Spec: {
     name: Customer$OrderingPlugin.name,
     commandSchema: Customer$OrderingPlugin.commandSchema,
     eventSchema: Customer$OrderingPlugin.eventSchema,
     errorSchema: Customer$OrderingPlugin.errorSchema,
-    commandAuthorization: Customer$OrderingPlugin.commandAuthorization
+    authorizationOf: Customer$OrderingPlugin.authorizationOf
   },
   initialState: Customer_Behavior$OrderingPlugin.initialState,
   evolve: Customer_Behavior$OrderingPlugin.evolve,

package/tests/Customer/OutboundTranslation/GeocodeCustomerAddress_GWT.res

@@ -2,15 +2,9 @@
 // log, which is what makes `~sourceId` load-bearing: an aggregate's event payload
 // does not name its own subject.
 //
-// `OutboundTranslation_GWT.Make` expects a single SliceSpec with `collect` at the
-// top level, so compose it on locally. The graft rules — keying, outage-vs-verdict —
-// are asserted by the trait's suite in `AddressGeocodingConformance_GWT.res`; what
-// stays here is the host-specific wording of the answers.
-
-module GeocodeCustomerAddressSlice = {
-  include GeocodeCustomerAddress
-  let collect = GeocodeCustomerAddress_Translation.collect
-}
+// The graft rules — keying, outage-vs-verdict — are asserted by the trait's suite
+// in `AddressGeocodingConformance_GWT.res`; what stays here is the host-specific
+// wording of the answers.
 
 @@reventless.gwt
 
@@ -18,20 +12,8 @@ open Ordering_Examples
 
 let vienna: Reventless.GeoPoint.t = {lat: 48.2082, lng: 16.3738}
 
-// The real `translate`, driven by a stub geocoder. `whenTranslateMocked` takes any
-// (id, item) => promise<translateResult>, so no DSL verb is needed to reach it.
-let withGeocoder = (
-  answer: result<array<Reventless.Geocoding.candidate>, Reventless.Geocoding.failure>,
-) => {
-  // Spread `none` and override the one capability under test: a literal record
-  // would have to name every other capability the framework grows, and this test
-  // has nothing to say about them.
-  let capabilities: Reventless.Capabilities.t = {
-    ...Reventless.Capabilities.none,
-    geocode: (~text as _) => Promise.resolve(answer),
-  }
-  (id, item) => GeocodeCustomerAddress_Translation.translate(id, item, ~capabilities)
-}
+// The real `translate`, against a geocoder that answers `answer`.
+let geocoder = answer => fakes(~geocode=async (~text as _) => answer, ())
 
 describe("GeocodeCustomerAddress OutboundTranslationSlice", () => {
   // scenario-id: 8b319e75-7826-4d3d-bd88-a43a197fb014
@@ -63,8 +45,8 @@ describe("GeocodeCustomerAddress OutboundTranslationSlice", () => {
         address: viennaAddress,
       },
     )
-    ->whenTranslateMocked(
-      withGeocoder(
+    ->givenCapabilities(
+      geocoder(
         Ok([
           {
             label: "Stephansplatz 1, Vienna",
@@ -74,6 +56,7 @@ describe("GeocodeCustomerAddress OutboundTranslationSlice", () => {
         ]),
       ),
     )
+    ->whenTranslated
     ->thenCommand("cust-1", SetLocation({location: vienna, resolvedFrom: viennaAddress}))
   )
 
@@ -82,8 +65,8 @@ describe("GeocodeCustomerAddress OutboundTranslationSlice", () => {
   // scenario-id: 93103dd6-1304-42b1-83f9-fd4ac4a90160
   test("translate: an ambiguous answer produces a reason naming the candidates", () =>
     givenTodo("cust-1:Springfield", {customerId: cust1, address: "Springfield"})
-    ->whenTranslateMocked(
-      withGeocoder(
+    ->givenCapabilities(
+      geocoder(
         Ok([
           {
             label: "Springfield, IL",
@@ -98,6 +81,7 @@ describe("GeocodeCustomerAddress OutboundTranslationSlice", () => {
         ]),
       ),
     )
+    ->whenTranslated
     ->thenCommand(
       "cust-1",
       MarkAddressUnresolvable({
@@ -106,4 +90,34 @@ describe("GeocodeCustomerAddress OutboundTranslationSlice", () => {
       }),
     )
   )
+
+  // The address is what is asked, as written.
+  test("translate: the geocoder is asked for the address as written", () =>
+    givenTodo("cust-1:Stephansplatz 1, Vienna", {customerId: cust1, address: viennaAddress})
+    ->givenCapabilities(geocoder(Ok([])))
+    ->whenTranslated
+    ->thenSent([Geocoded({text: viennaAddress})])
+  )
+
+  // An outage is not a verdict: the row stays open for the next sweep.
+  test("translate: a geocoder that is down leaves the row to be retried", () =>
+    givenTodo("cust-1:Stephansplatz 1, Vienna", {customerId: cust1, address: viennaAddress})
+    ->givenCapabilities(geocoder(Error(Unavailable("timeout"))))
+    ->whenTranslated
+    ->thenTodoStatus("cust-1:Stephansplatz 1, Vienna", #Failed)
+  )
+
+  // The budget ran out with the geocoder never answering: the verdict is recorded
+  // rather than leaving the row pending forever.
+  test("exhausted: the address is recorded as unresolvable", () =>
+    givenTodo("cust-1:Stephansplatz 1, Vienna", {customerId: cust1, address: viennaAddress})
+    ->whenExhausted(~lastError="timeout")
+    ->thenCommand(
+      "cust-1",
+      MarkAddressUnresolvable({
+        address: viennaAddress,
+        reason: GeocodeCustomerAddress_Translation.Geocode.exhaustedReason(Some("timeout")),
+      }),
+    )
+  )
 })