The following is not the answer of your question. But I think it is what you really want.
I guess you might be figuring out Leo's proof of McLaughlin's conjecture. The point is that by applying a nonstandard ordinal, Leo obtained a nonstandard $\Pi^0_1$-singleton so that it is not hyperarithmetic.
There are several ways to see above. One is by applying Barwise compactness. Another is to use Gandy's basis. By either way, you may obtain a nonstandard $\omega$-model $M$ of KP with $\omega_1^M=\omega_1^{CK}$ in which there is a $\Pi^0_1$-singleton $x$ which is not hyperarithmetic (in the real universe sense).
Now take $N=L_{\omega_1^{CK}}[x]$. Since $x\leq_h M$, we have that $N\models KP$. It is not difficult to see that $x$ is also a $\Pi^0_1$-singleton in $N$. However, $x$ is not hyperarithmetic since $N$ is a well-founded model.