Kivinen's symbolic–Losev variety isomorphism conjecture

Let $\mathfrak{g}$ be a reductive Lie algebra. Choose a well-chosen $\mathbb{Q}$-factorial terminalization

$$\pi:\widetilde{X}\to\mathfrak{t}\oplus\mathfrak{t}^*/W$$

and let $X_{\mathfrak{g},\mathrm{Losev}}$ be the intermediate symplectic partial resolution obtained by contracting $\widetilde{X}$ as specified in the source. Let $X_{\mathfrak{g},\mathrm{symb}}$ be the symbolic replacement variety. Kivinen's symbolic–Losev isomorphism conjecture. For a well-chosen $\widetilde{X}$, there is an isomorphism

$$X_{\mathfrak{g},\mathrm{symb}}\cong X_{\mathfrak{g},\mathrm{Losev}}.$$

This is established in simply laced types and types $B$ and $C$; the remaining cases identified in the source are $G_2$ and $F_4$.