Tagging character ranges like {15,28} to each eval is a neat way to make ablation granular, and I like the rule that the test must fail once those lines are removed. My worry is overlap, since two ranges can each look redundant on their own and still matter together. Does your python script ever remove pairs of ranges to catch that?