How Many Labels Does Model Choice Need? Certificates and Budgets for Selective Prediction | TickerVault