The ramified even-dimensional arithmetic transfer conjecture

Assume that $F/F_0$ is ramified and that $n\geq2$ is even. Let $K_0^{{{{{{{{\flat}}}}}}}}$ be the stabilizer of an almost $\pi$-modular lattice and let $K_0^+$ and $K_0^-$ be the stabilizers of the two $\pi$-modular lattices in the relevant hermitian space. Let $\operatorname{Int}(g)$ be the associated intersection number. Even ramified arithmetic transfer conjecture. (a) For every $f'\in C_c^\infty(S_n(F_0))$ transferring to $(\mathbf{1}_{K_0^{{{{{{{{\flat}}}}}}}} K_0^+}+\mathbf{1}_{K_0^{{{{{{{{\flat}}}}}}}} K_0^-},0)$, there exists $f'_{\mathrm{corr}}$ such that

$$2\omega(\gamma)\operatorname{\partial Orb}(\gamma,f')=-\operatorname{Int}(g)\cdot\log q+\omega(\gamma)\operatorname{Orb}(\gamma,f'_{\mathrm{corr}})$$

for every matching regular semisimple pair. (b) There exists such an $f'$ for which

$$2\omega(\gamma)\operatorname{\partial Orb}(\gamma,f')=-\operatorname{Int}(g)\cdot\log q$$

for every matching pair. This is the even-dimensional ramified arithmetic transfer statement formulated in the source.