The Drinfeld moduli conjecture for special p-divisible groups

Let $F$ be the relevant base field, let $O_D$ be the specified maximal order, and fix an $r$-special $p$-divisible group $({\mathbb {X}},\iota_{{\mathbb {X}}})$ over an algebraic closure $\bar k$ of the residue field of $O_{\breve E}$. For $S\in {\rm Nilp}_{O_{\breve E}}$, let $\mathcal{M}_r(S)$ be the set of isomorphism classes of triples $(X,\iota,\varrho)$, where $(X,\iota)$ is an $r$-special $O_D$-module over $S$ and $\varrho$ is an $O_D$-linear quasi-isogeny of height zero from $X\times_S\bar S$ to $\mathbb{X}\times_{\operatorname{Spec}\bar k}\bar S$. Drinfeld moduli conjecture. The functor $\mathcal{M}_r$ is represented by

$$\hat{\Omega}^n_F\hat{\otimes}_{O_F}O_{\breve E}.$$

This identifies the moduli problem for $r$-special $p$-divisible groups with the formal Drinfeld space after base change to $O_{\breve E}$; the source presents this as its main conjecture, and no resolution is supplied in the provided text.