wait, is CIRL incorrigible *for the same reason* that utility-maximizers don't wirehead?
https://niplav.github.io/notes.html#An-Example-for-Not-Updating-Uncertain-Utility-Functions
a Schelling point for those who seek one