Group-algebraic tensor framework for optimal equivariant learning and physical symmetry discovery. Star-G algebra, star-G-SVD, irreducible representation decomposition, and Lean 4 formal verification. - View it on GitHub