Moduli spaces in 𝑝-adic non-abelian Hodge theory | Synapse