Invariants
Defects where an invariant — a property meant to hold at every relevant point — fails to do so. A broken invariant means some operation left the program in a state its own rules declare impossible, undermining every later step that relied on that property still being true.