Theorem of the heart in negative K-theory for weight structures

We construct the strong weight complex functor (in the sense of Bondarko) for a stable infinity-category $\underset{‾}{C}$ equipped with a bounded weight structure $w$. Along the way we prove that $\underset{‾}{C}$ is determined by the infinity-categorical heart of $w$. This allows us to compare the K-theory of $\underset{‾}{C}$ and the K-theory of $\underset{‾}{Hw}$, the classical heart of $w$. In particular, we prove that $\operatorname{K}{n}(\underline{C}) \to \operatorname{K}{n}(\underline{Hw})$areisomorphismsfor$n \le 0$.