Moduli spaces of level structures on mixed characteristic local shtukas | Synapse