Foundations for Bayesian inference with engineered likelihood functions for robust amplitude estimation