The cancelled delivery becomes Discarded now, freeing its key; anything else is LeaseLost with no change (03 §5).
Releases the consumer's independent executor (03 §11).
Atomic token-fenced terminal discard for ExhaustionBehavior === 'Discard': stamps DeadLetterReason/LastError
under the holder's LeaseToken via DeadLetterDelivery, then immediately transitions to 'Discarded'
via Operator.DiscardDelivery inside a single isolated transaction on this.source (never on this.owned)
so transient failures cannot strand Ordered partition keys in DeadLettered.
'Held' | 'Lost' | 'Cancelled' (03 §7). A thrown error is transient: the runtime retries on its next tick.
Optionalprogress: WorkProgressOne claim cycle. The Database consumer never long-polls, so waitSeconds is ignored; the runtime's idle backoff paces it.
Database: no attempt consumed. SQS: the receive is already counted (spec 03 §5.1).
The Database transport's consumer (03 §7, §11). It owns one independent executor for single-step claim, heartbeat and settle calls (never running statements on the shared source or opening transactions on
this.owned, which may serve concurrent in-flight deliveries whenConcurrency > 1). Multi-statementExhaustionBehavior === 'Discard'transitions run atomically on a short-lived independent transaction viaRunInWorkQueueTransaction(this.source, ...).