20260401 From Rejection Sampling to NUTS: Theory and Empirical Trade-offs in Bayesian Robot Posterior Inference