Arthur's packet conjectures for real reductive groups

Let $\psi\in\Psi({}^{\vee}G^{\Gamma})$ be an Arthur parameter, let $\varphi_\psi$ be its associated Langlands parameter, and let $\Pi(G)_\varphi$ denote the corresponding $L$-packet. Define

$$A_\psi=\operatorname{Com}(\operatorname{Stab}_{{}^{\vee}G}(\psi)),$$

the component group of the stabilizer of $\psi$. Arthur's packet conjectures. For each $\psi$, there should be a set $\Pi(G)_\psi\subset\Pi(G)$ and a function

$$\chi_\psi\colon\Pi(G)_\psi\to\{\text{nonzero finite-dimensional representations of }A_\psi\}$$

such that $\Pi(G)_{\varphi_\psi}\subseteq\Pi(G)_\psi$, the virtual representation

$$\eta_\psi(1)=\sum_{\pi\in\Pi(G)_\psi}\epsilon(\pi)\dim(\chi_\psi(\pi))\pi$$

is stable, the analogous virtual representations

$$\eta_\psi(s)=\sum_{\pi\in\Pi(G)_\psi}\epsilon(\pi)\operatorname{Tr}(\chi_\psi(\pi)(s))\pi$$

are defined for $s\in A_\psi$, and every member of $\Pi(G)_\psi$ is unitary. Adams, Barbasch, and Vogan proved that their definitions satisfy most of these conjectures, including (i) and (ii), so this candidate is solved as stated in the source.