Encode recurring failure modes as explicit negative rules with exceptions, alternatives, and optional deterministic detectors.
