Cimex Fix — No fix without proof
IBM Bob turns a bug report into a fix that ships with its own proof: a test that failed first, the culprit commit found by git bisect, a permission-scoped fix and an adversarial review. A reviewer re-checks it in 28.8 s.
