Vogan's conjecture identifying Arthur and ABV-packets

Let $G$ be a connected reductive $p$-adic group and let $\psi:W_F”\to{}^LG$ be an Arthur parameter. Write $\phi_\psi$ for the associated Langlands parameter, and let $\Pi_\psi^{\mathrm{pure}}(G)$ and $\Pi_{\phi_\psi}^{\mathrm{ABV,pure}}(G)$ denote the pure Arthur and pure ABV-packets. Vogan's conjecture. One has

$$\Pi_\psi^{\mathrm{pure}}(G)=\Pi_{\phi_\psi}^{\mathrm{ABV,pure}}(G).$$

This conjecture connects Arthur's packet formalism with the microlocal ABV construction. It is proved for $G=\operatorname{GL}_n$ and in other cases cited in the paper, but is not established for all connected reductive $p$-adic groups.