Non-commutative integrability, exact solvability and the Hamilton–Jacobi theory