Oh and of course your non-obstruction does much better at capturing what we care about. It’s not yet clear to me whether some adapted version of CorrigibilityPM gets at something independently useful. Maybe.
[I realize that you’re aiming to get at something different here—but so far I’m not clear on a context where I’d be interested in CorrigibilityPM as more than a curiosity]
Oh and of course your non-obstruction does much better at capturing what we care about.
It’s not yet clear to me whether some adapted version of CorrigibilityPM gets at something independently useful. Maybe.
[I realize that you’re aiming to get at something different here—but so far I’m not clear on a context where I’d be interested in CorrigibilityPM as more than a curiosity]