Torsion characterization conjecture for the Kauffman bracket skein module

Let $M$ be a compact oriented $3$-manifold. Write $\mathcal{S}_{2,\infty}(M)$ for its Kauffman bracket skein module. An incompressible surface is understood in the usual sense, and a surface is non-parallel to the boundary when it is not parallel to any component of $\partial M$. Torsion characterization conjecture.

1. If $M$ is atoroidal, that is, $M$ is irreducible and every incompressible torus in $M$ is parallel to the boundary, then $\mathcal{S}_{2,\infty}(M)$ contains no torsion.
2. If $M$ contains an incompressible $2$-sphere or torus which is non-parallel to the boundary, then $\mathcal{S}_{2,\infty}(M)$ contains torsion.

The conjecture proposes that incompressible spheres and tori account for torsion in this skein module. The paper attributes the second assertion to the fourth author and presents both assertions as conjectural; no resolution is supplied.