The part that is batshit insane is precisely that it makes the entire program impossible to reason about.

If UB meant what you described, it would be sensible, but it doesn't, and it's not.