K-theoretic virtual localization conjecture

Let $X$ be an equivariant virtually smooth scheme with fixed-point components $X_i$, inclusion $\iota:\bigcup X_i\to X$, virtual structure sheaves ${\mathcal O}_X^{\mathop{\text{vir}}}$ and ${\mathcal O}_{X_i}^{\mathop{\text{vir}}}$, and virtual normal bundles $N_i^{\mathop{\text{vir}}}$. In localized equivariant $K$-theory, $K$-theoretic virtual localization.

$${\mathcal O}_X^{\mathop{\text{vir}}}=\sum_{i=1}^s\iota_*\big({\mathcal O}_{X_i}^{\mathop{\text{vir}}}/\Lambda_{-1}(N_i^{\mathop{\text{vir}}})^\vee\big).$$

This is the $K$-theoretic analogue of virtual localization. In the context of $DG$-schemes, the conjecture has already been proved, so its status is solved.