Arthur-packet equality conjecture for tempered L-packets

Let $\pi=\pi(\lambda,s,{{\mathcal O}}^\vee_{\lambda,s},{{\mathcal L}}^\vee)$ be an irreducible representation in the tempered $L$-packet $\Pi(\varphi)=\Pi(\lambda,s,{{\mathcal O}}^\vee_{\lambda,s})$, and set ${\mathbb O}^\vee_\varphi=G^\vee\cdot{{\mathcal O}}^\vee_{\lambda,s}$. Arthur-packet equality conjecture. Every constituent satisfies

$${}^{\bar {\mathsf k}}\mathsf{WF}({\mathsf{AZ}}(\pi))\leq d^\vee({\mathbb O}^\vee_\varphi),$$

and equality is achieved for some $\pi$ in the $L$-packet. This is the tempered-packet reformulation of the preceding Arthur-packet expectation and follows from the broader conjectural picture if the relevant Arthur packets are defined; its general validity remains open.