The finite basis problem for all subvarieties of the variety $\mathsf{V}(S^0_7)$

We solve the finite basis problem for all subvarieties of $\mathsf{V}(S^0_7)$. By considering their intersections with $\mathsf{V}(S_7)$, we reduce the problem to six intervals. We show that $\mathsf{V}(S_7^0)$ has exactly fifteen finitely based subvarieties and that every other subvariety is nonfin