test_counts_at_runtime is a nasty one. An ImportError dressed as a red test reads exactly like a real catch in a CI summary. I do a version of Check 1 for eval cases: a new case has to fail on the old prompt before I believe it guards anything. To your question, I'd run Check 1 on every agent PR and save hand-written mutants for diffs that touch a boundary like that range() bound.