Light profiniteness conjecture for p-adic analytic smooth Artin stacks

Let $X$ be a $p$-adic analytic smooth Artin stack.

Light profiniteness conjecture. Étale locally, the associated light condensed anima is a light profinite anima.

This conjecture proposes that the light condensed anima associated with every $p$-adic analytic smooth Artin stack is étale locally light profinite. The preceding discussion establishes this property for relative classifying stacks of Lie group objects, and more generally for quotient stacks and relative quotient stacks; the assertion for all such Artin stacks remains open.