Conformal Risk Control under Non-Monotone Losses: Theory and Finite-Sample Guarantees