if A, then they should crack down on the Goodhart-ed objective and remove it entirely
if B, they will instead crack down on it by using the Goodharting as an excuse to add checks like query uniqueness that mostly optimize for distillation, but might have handwavy benefit to real coding