Arithmetic Fundamental Lemma for regular semi-simple self-adjoint artinian pairs

Let $(x,j)$ be a pair in the odd hermitian setting. It is regular semi-simple and self-adjoint as defined in the source, and it is artinian when the schematic intersection $\mathcal{Z}(x)\cap\mathcal{Z}(j)$ is artinian; write $\mathrm{Int}(x,j)$ for its length. Let $\partial O(x,j)$ be the derivative of the signed lattice-counting quantity. Arithmetic Fundamental Lemma. For every regular semi-simple, self-adjoint and artinian pair $(x,j)$,

$$\partial O(x,j)=-\mathrm{Int}(x,j).$$

This is the lattice formulation of the Arithmetic Fundamental Lemma for the odd hermitian form. The source states it as a conjectural identity and does not give a resolution status.