Uniqueness conjecture for the Rudvalis enhanced VOA with prescribed local algebra

Let $(U,Y,{\bf 1},\Omega)$ be a nice rational enhanced VOA with local algebra $\mathcal{A}(\Omega)\cong\mathcal{A}(\Omega_{\operatorname{\textsl{Ru}}})$. Assume that $U$ has rank $28$, is self-dual, and that $U_{\bar{1}}$ has no non-trivial vectors of degree less than $7/2$. Uniqueness conjecture. Then

$$(U,Y,{\bf 1},\Omega)\cong(A_{{\operatorname{\textsl{Ru}}}},Y,{\bf 1},\Omega_{\operatorname{\textsl{Ru}}}).$$

This is the precise formal version of the proposed characterization of the Rudvalis enhanced VOA. The surrounding discussion says that the hypotheses force the character, while the claimed isomorphism remains conjectural.