Adversarial Goodhart is the only one that I’d say Goodhart may have intended, and I think they dynamics are more complex than you listed here as I’ve argued extensively: https://www.ribbonfarm.com/2016/06/09/goodharts-law-and-why-measurement-is-hard/ - but you were much more concise, and I should similarly formalize my understanding. But this is really helpful, and I should be in touch with you about formalizing some of this further if I ever get my committee to sign off of this dissertation.
Adversarial Goodhart is the only one that I’d say Goodhart may have intended, and I think they dynamics are more complex than you listed here as I’ve argued extensively: https://www.ribbonfarm.com/2016/06/09/goodharts-law-and-why-measurement-is-hard/ - but you were much more concise, and I should similarly formalize my understanding. But this is really helpful, and I should be in touch with you about formalizing some of this further if I ever get my committee to sign off of this dissertation.
Note to add: We did formalize this more, and it has been available on Arxiv for quite a while.