Take Goodhart Seriously: Principled Limit on General-Purpose AI Optimization