Orthogonal Bases for Equivariant Graph Learning with Provable k-WL Expressive Power (JMLR, 2026)