The homology-sphere $(1+t)$-torsion conjecture

Let $M$ be an integral homology sphere, let $K(M)$ denote its Kauffman bracket skein module, and let $\overline{K(M)}$ be its completion. Homology-sphere $(1+t)$-torsion conjecture. There is no $(1+t)$-torsion in $\overline{K(M)}$. The conjecture is presented as an ambitious application of Hochschild homology, with the authors hoping to use results of Serre and of Goldman and Millson to prove it; its status is not resolved in the supplied text.