Posterior and Variational Inference for Deep Neural Networks with Heavy-Tailed Weights (Journal of Machine Learning Research, 2026)