K theoretic virtual fundamental cycle of global Kuranishi chart

In this paper, we define the virtual fundamental cycle of a global Kuranishi chart as an element in the (analytic) orbispace K-homology of the virtual orbifold and verify that it defines the same invariants as those in \cite{Abouzaid23}.