Rohin Shah comments on Categorizing failures as “outer” or “inner” misalignment is often confused

[Rohin Shah]

It’s still well-defined, though I agree that in this case the name is misleading. But this is a single specific edge case that I don’t expect will actually happen, so I think I’m fine with that.