An undecidable verdict may not answer with a decidable literal: the routing rule v2.std.runtime declares in prose becomes a compile refusal, and its four open-coded violations on main are repaired - #9819