Weak Arthur packets as unions of simplified Arthur packets

Let $\mathcal O\subset\mathfrak{g}^{\vee}$ be a nilpotent orbit, let $\psi_{\mathcal O}$ be the corresponding basic Arthur parameter, and let $\{{\it e},{\it h},{\it f}\}$ be an $\mathfrak{sl}_2$-triple attached to $\mathcal O$ with ${\it h}\in\mathfrak{t}^{\vee}_r$. Let $\Pi^{\text{weak}}_{\psi_{\mathcal O}}(\textmd{G}(\textmd{k}))$ be the associated weak Arthur packet. Let $\mathcal T$ be a set of simplified Arthur parameters satisfying the source's conditions, and let $\Pi_{\widetilde{\psi}_j}^{\text{Art}}(\textmd{G}(\textmd{k}))$ denote the corresponding Arthur packets.

Weak Arthur packet decomposition conjecture. There is a set $\mathcal T$ and an appropriate notion of Arthur packet such that

$$\Pi^{\text{weak}}_{\psi_{\mathcal O}}(\textmd{G}(\textmd{k}))=\bigcup_{\widetilde{\psi}_j\in\mathcal T}\Pi_{\widetilde{\psi}_j}^{\text{Art}}(\textmd{G}(\textmd{k})).$$

This is the cited Conjecture 3.1.2 of cmbo, and it gives a precise form of the weak-Arthur-packet union principle. The source supplies no evidence that it has been resolved.