Arithmetic Fundamental Lemma conjecture, semi-Lie algebra version

Let $F_0$ be the $p$-adic field with ring of integers $O_{F_0}$ and residue-field cardinality $q$. Let $(g,u)\in ({\mathrm{U}}({\mathbb{V}}_n)\times {\mathbb{V}}_n)(F_0)_{\mathrm{rs}}$ and $(\gamma,u')\in (S_n\times V_n')(F_0)_{\mathrm{rs}}$ be matching regular semisimple elements. Let $\operatorname{Int}(g,u)$ be the derived intersection number of the special cycle associated with $u$ and the derived fixed-point locus of $g$ on the relevant unitary Rapoport–Zink space, and let $\operatorname{\partial Orb}((\gamma,u'),\mathbf{1}_{(S_n\times V_n')(O_{F_0})})$ denote the derivative of the corresponding orbital integral at the characteristic function of $(S_n\times V_n')(O_{F_0})$. Arithmetic Fundamental Lemma conjecture, semi-Lie algebra version. One has

$$\operatorname{\partial Orb}\bigl((\gamma,u'), \mathbf{1}_{(S_n\times V_n')(O_{F_0})}\bigr)=-\operatorname{Int}(g,u)\cdot\log q.$$

This is the semi-Lie algebra form of the Arithmetic Fundamental Lemma, relating an arithmetic intersection multiplicity on a unitary Rapoport–Zink space to the derivative of a matching orbital integral. Its resolution status is not specified in the supplied text.