Gunningham–Safronov's generic skein–DT sheaf conjecture

Let $q$ be generic, let $M$ be a connected closed oriented 3-manifold, let $R_G(M)$ be its representation variety, and let $\phi_{R_G(M)}$ denote the DT sheaf on it. Let $\mathrm{Sk}_G(M)$ be the $G$-skein module.

Skein–DT sheaf conjecture. There is an isomorphism

$$\mathrm{Sk}_G(M)\cong \mathrm{H}^0(R_G(M),\phi_{R_G(M)}).$$

The right-hand side is sheaf-theoretic framed instanton Floer homology, introduced by Abouzaid and Manolescu, and the conjecture relates generic skein modules to cohomological Donaldson–Thomas theory. The source does not state whether the conjecture has been resolved.