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 disqualify the correct repair or encourage a workaround elsewhere. Require the repaired valid trigger to succeed and the relevant invalid inputs to remain rejected, while allowing the incorrect guard to change. This is a qualification of repair acceptance, not permission to bypass intentional access or safety boundaries. Guidance review alone does not demonstrate improved solver performance.

Applies when: An automated repair evaluator judges changes to guards that may be overly restrictive. Keywords: repair validation guard invariants evaluator false rejection negative controls