Riemannian Bilevel Optimization (JMLR, 2026)