Preserve required invariants, not every existing validation guard
Preserve required invariants, not every existing validation guard When repair guidance prohibits weakening validation, specify that it protects required invariants. An existing guard may itself be the causal defect because it rejects valid behavior. A blanket prohibition can dis…