1: \begin{abstract}

2: In his study of the group of homology cylinders, J. Levine \cite{L2} made the conjecture that a certain homomorphism $\eta'\colon\mathcal T\to{\sf D}'$ is an isomorphism. Here $\cT$ is an abelian group on labeled oriented trees, and $\sD'$ is the kernel of a bracketing map on a quasi-Lie algebra. Both $\cT$ and $\sD'$ have strong connections to a variety of topological settings, including the mapping class group, homology cylinders, finite type invariants, Whitney tower intersection theory, and the homology of $\out(F_n)$.

3: In this paper, we confirm Levine's conjecture. This is a central step in classifying the structure of links up to grope and Whitney tower concordance, as explained in other papers of this series \cite{CST0,CST1,CST2,CST4}. We also confirm and improve upon Levine's conjectured relation between two filtrations of the group of homology cylinders.

4: \end{abstract}

5: