The parent is arguing for a target, not for a metric, so Goodhart's Law doesn't apply here.
I didn't know Olympiads do not have any score (metric). Thank you.