Nine of Thirteen Corrections Were Wrong: The Fix That Came With a Proof It Couldn't Work

Nine of the thirteen corrections our migration code had ever written in production were wrong....