A fix can be correct, verified, and still not be in effect