Orthogonal Bases for Equivariant Graph Learning with Provable k-WL Expressive Power (Journal of Machine Learning Research, 2026)