The universal continuous six functor formalism on light condensed anima

After the universal property of the six functor formalism $\text{Shv}(-;\text{Sp})$ on locally compact Hausdorff spaces given by Zhu, we show that the six functor formalism $\text{Shv}(-;\text{Sp})$ on light condensed anima in the sense of Heyer-Mann is initial among all six functor formalisms $D$ satisfying some mild conditions, and then we present some applications.