Equivariant K-theoretic enumerative invariants and wall-crossing formulae in abelian categories

We provide a general framework for wall-crossing of equivariant K-theoretic enumerative invariants of appropriate moduli stacks $\mathfrak{M}$, by lifting Joyce's homological universal wall-crossing arXiv:2111.04694 to K-theory and to include equivariance. The primary new tool is that the operational K-homology of $\mathfrak{M}$ is an equivariant multiplicative vertex algebra.