Wei Zhang's Arithmetic Fundamental Lemma for artinian unitary group elements

Let $S(E_0)$ be the relevant symmetric space, let $U(J_1)$ be the unitary group attached to the odd hermitian form, and let $Ω(γ)$, $\partial O_γ(1_{S(\mathcal{O}_{E_0})})$, and $\mathrm{Int}(g)$ denote respectively the transfer factor, the derivative of the orbital integral of the characteristic function of $S(\mathcal{O}_{E_0})$, and the intersection number associated with an artinian element $g$. For every element $γ\in S(E_0)_{\mathrm{rs}}$ that matches an artinian element $g\in U(J_1)_{\mathrm{rs}}$, Arithmetic Fundamental Lemma. there is an equality

$$Ω(γ)\partial O_γ(1_{S(\mathcal{O}_{E_0})})=-\mathrm{Int}(g)\log(q).$$

This is the arithmetic counterpart of the Jacquet–Rallis Fundamental Lemma, relating derivatives of orbital integrals to intersection numbers on relative unitary Rapoport–Zink spaces. The source does not provide a resolution status; the general statement is attributed to Wei Zhang.