Notations: Let $L_\alpha$ stand for the Gödel constructible hierarchy ($L_0=\varnothing$ and $L_{\alpha+1} = \mathrm{def}(L_\alpha)$ is the set of definable subsets of $L_\alpha$ and $L_\delta = \bigcup_{\beta<\delta} L_\beta$ for limit $\delta$), and $J_\alpha$ for the Jensen hierarchy ($J_0=\varnothing$ and $J_{\alpha+1} = \mathrm{rud}(J_\alpha)$ is the rud-closure of $J_\alpha \cup \{J_\alpha\}$ and $J_\delta = \bigcup_{\beta<\delta} J_\beta$ for limit $\delta$). Let $M \mathrel{\preceq_1} N$ (if $M$ and $N$ are transitive sets mean “$(M,{\in})$ is a $\Sigma_1$-elementary submodel of $(N,{\in})$”.
Consider the following two relations between two ordinals $\sigma<\gamma$:
say that “$\sigma$ is $\gamma$-stable” when $L_\sigma \mathrel{\preceq_1} L_\gamma$,
say that “$\sigma$ is $\gamma$-J-stable” when $J_\sigma \mathrel{\preceq_1} J_\gamma$.
Question: Are the above relations equivalent? If not, is there still a way to define “$\sigma$ is $\gamma$-stable” in terms of the Jensen hierarchy and/or “$\sigma$ is $\gamma$-J-stable” in terms of the Gödel hierarchy?
Clearly, any one of the above relations implies that $L_\sigma = J_\sigma$ (because $\sigma$ is, at the very least, admissible $>\omega$), so the problem concerns the right-hand side, as $\gamma$ is not required to be admissible, or even a limit ordinal. Certainly $J_\sigma \mathrel{\preceq_1} J_\gamma$ implies $L_\sigma \mathrel{\preceq_1} L_\gamma$, so the question is whether the converse holds, or, if not, whether we can still find a way to express stability for one hierarchy in terms of the other.
I know that $\sigma$ is $(\sigma+1)$-stable iff it is $\Pi_m$-reflecting for each $m$, for example, but I don't see whether this also applies to being $(\sigma+1)$-J-stable (or, if not, what the corresponding criterion would be).
Bonus question: What if we replace $1$ by $n$ (i.e., $\Sigma_1$ by $\Sigma_n$) throughout?