Optimal Complexity in Byzantine-Robust Distributed Stochastic Optimization with Data Heterogeneity (JMLR, 2026)