Optimal Complexity in Byzantine-Robust Distributed Stochastic Optimization with Data Heterogeneity (Journal of Machine Learning Research, 2026)