I'm a data/infra engineer and kept hitting the "is this SQL refactor actually safe? " question in review. Provensql decides equivalence of two queries and returns one of four honest verdicts: EQUIVALENT (proven), DIFFERENT (with a concrete counterexample row), SCHEMA_CHANGE, or UNKNOWN — it refu...
Source: [Hacker News](https://github.com/nac7/provensql)