The Revert Residue Check: Prove Your Small Refactor Leaves Nothing Behind

A refactor is only as small as its residue. You can pin golden outputs, run the suite green, merge...