Analytically Tractable Hidden-States Inference in Bayesian Neural Networks (Journal of Machine Learning Research, 2026)