Split equivalent policy updates when live writers invert locks
A migration that locks several active tables can deadlock with writers whose transactions acquire those relations in a different order. Increasing acquisition timeouts does not remove the inversion. When every replacement policy independently preserves the same access semantics, …