The outbox pattern, proved by killing the process six times
The dual write can't be removed, only relocated. One payment capture — real schema, real transaction, real relay query, real consumer — killed at six points, with the state and the self-heal at each.