The universal continuous six functor formalism on light condensed anima

After the universal property of the six functor formalism $\Shv(-;\Sp)$ on locally compact Hausdorff spaces given by Zhu, we show that the six functor formalism $\Shv(-;\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.