Regret Analysis for Randomized Gaussian Process Upper Confidence Bound (JAIR, 2025)