Define retry/backoff/jitter, DLQ policy, and visibility timeout math.

Then implement in {{LANGUAGE}} with tests using a fault-injection harness (kill process mid-batch, duplicate delivery, slow consumer). Include a state-machine diagram in text and invariants that must always hold. ================================================================================