Bayesian frequency metrology with optimal Ramsey interferometry in optical atomic clocks. — SciRadar