Let $\mathscr{L}$ be a recursive language. Let $\varphi$ be a $\mathscr{L}_{\omega_1 \omega}$-sentence and $\varphi \in L_{\omega_1^\emptyset}$. (Let $\varphi$ be a computably infinitary formula.) Let $\text{Mod}(\varphi)$ denote the set of countable models of $\varphi$.

Is there anything inherently wrong with the existence of the following:

(1) For every admissible ordinal $\alpha$, there is a $M \in \text{Mod}(\varphi)$ such that $\omega_1^M = \alpha$ and $\text{SR}(M)$ is $\alpha$ or $\alpha + 1$.

(2) For all $M \in \text{Mod}(\varphi)$, there is an admissible ordinal $\alpha$ such that $\text{SR}(M)$ is $\alpha$ or $\alpha + 1$.

(3) For each admissible ordinal $\alpha$, there is only one isomorphism class of Scott rank $\alpha$ or $\alpha + 1$.

Of course, a formula $\varphi$ with all these properties must be a counterexample to the Vaught's conjecture. So the real essence of this question is whether (regardless of the status of Vaught's conjecture), is it possible that the Scott rank of models of $\varphi$ take on all admissible values but no model of $\varphi$ has Scott rank in between two consecutive admissible ordinal.

The natural idea to try is to use Barwise compactness to produce a model of $\varphi$ of intermediate Scott rank. However, whenever one works in a countable admissible fragment $\mathscr{L}_A$, one can not really express non-isomorphism to the model whose Scott rank is the ordinal height of the admissible set $A$. So any model $M$ produced using a Barwise argument using $L_A$, could just be isomorphic to the possibly unique model with Scott rank the ordinal height of $A$.

The question is whether by some reason there must be a model of $\varphi$ whose Scott rank is between two consecutive admissible ordinals.

Thanks for any information on this question.