I Wrote a Tool to Find Blind Spots. It Had One.

I spend a lot of time writing quality gates to enforce invariants in my software. For weeks, my test...