Refactor safety. Prove that two SQL specs are input-output equivalent — without running them, on any data.

Drop in your before-and-after. Get a verdict in seconds.