What green CI doesn’t prove after a PR’s base moves

A pull request can be conflict-free, have green CI, and still lack evidence that the final merged state was ever checked. That is the narrow problem behind merge-proof, a small open-source Git / GitHu