One-Stage Top-k Learning-to-Defer: Score-Based Surrogates with Theoretical Guarantees | Synapse