The fundamental theorem of localizing invariants

We prove a generalization of the fundamental theorem of algebraic K-theory for Verdier-localizing functors by extending the proof for algebraic K-theory of spaces to the realm of stable ∞-categories. The formula behaves much better for Karoubi-localizing functors, the Verdier-localizing invariants which are additionally invariant under idempotent completion. This general fundamental theorem specializes to new formulas in the context of non-connective K-theory, topological Hochschild homology and topological cyclic homology as well as connective K-theory of arbitrary ring spectra, and generalizes several known formulas for algebraic K-theory of spaces or connective K-theory of ordinary rings, schemes and S-algebras.