Nonperturbative leakage elimination for a logical qubit encoded in a mechanical oscillator | Publicación