What are correctness demerits?
Correctness demerits are points taken off for code that I consider to be incorrect in ways that can’t be (or weren’t) detected by testing. An example would be neglecting to delete something but removing all pointers to it (a memory leak). There is no reliable way for testing to detect this, but I consider that this code is wrong, not just bad style.