The noncommutative Selmer torsion conjecture for elliptic curves

Let $E/\mathbb Q$ be an elliptic curve, let $p\geq5$ be a prime at which $E$ has good ordinary reduction, and set $F_{\infty}=\mathbb Q(E_{p^{\infty}})$. Let $G=\operatorname{Gal}(F_{\infty}/\mathbb Q)$ and $H=\operatorname{Gal}(F_{\infty}/\mathbb Q^{\rm cyc})$, and let $\mathfrak M_H(G)$ denote the category defined using the Ore set $S^*$.

The noncommutative Selmer torsion conjecture. The Pontryagin dual of the Selmer group,

$$X(E/F_{\infty})=\operatorname{Hom}(\operatorname{Sel}(E/F_{\infty}),\mathbb Q_p/\mathbb Z_p),$$

belongs to $\mathfrak M_H(G)$.

This is the basic torsion conjecture for the noncommutative extension generated by the $p$-power division points of $E$. The supplied text gives no resolution of it.