Vetoes the current step with reason.
— caught by the executor boundary; never propagates to user code.