Let me improve somewhat on Farmer's lower bound. **Theorem.** If there is a cardinal $\kappa$ with the stated reflection property, then there are many measurable cardinals, measurable cardinals of very high Mitchell rank, and indeed, $1$-extendible cardinals of high Mitchell rank. **Proof.** Suppose that $\kappa$ has the stated reflection property. Consider some large ordinal $\theta$ and let $B=\langle V_{\theta+1},{\in}\rangle$. By the reflection property, there is some structure $A$ with lots of elementary embeddings $j:A\to B$ hitting any desired target. We may assume $A$ is a transitive set. Let $\bar\kappa$ be the smallest critical point of such an embedding. For any $X\subseteq\bar\kappa$, it is in $B$ and so there is some $x\in A$ and $j:A\to B$ with $j(x)=X$. Since $x$ and $j(x)=X$ must agree up to $\bar\kappa$, this implies $X\in A$. So $P(\bar\kappa)\subseteq A$. This implies that $\bar\kappa$ is measurable, since we can define the induced normal measure $X\in\mu\iff \bar\kappa\in j(X)$ for such a $j$ with critical point $\bar\kappa$. So we've seen that $\bar\kappa$ is a measurable cardinal. And since $B$ also can see this, there must be measurable cardinals below $\bar\kappa$ in $A$. And indeed, the measure $\mu$ on $\bar\kappa$ will concentrate on measurables. So $\bar\kappa$ has Mitchell rank 1. But $B$ sees this, and so $\bar\kappa$ has Mitchell rank 2, and so forth, cycling around the loop for a long while to get very high Mitchell ranks. The same idea shows that $\bar\kappa$ is 1-extendible, since we must have $V_{\bar\kappa+1}\subseteq A$ and so $j\upharpoonright V_{\bar\kappa+1}:V_{\bar\kappa+1}\to V_{j(\bar\kappa)+1}$ witnesses 1-extendibility. And since this is inside $B$, we get that $\bar\kappa$ is a limit of 1-extendibles, of high Mitchell rank again. $\Box$ If we could show $P(P(\bar\kappa))\subseteq A$, we would get $2$-extendibility, and so forth. There is a certain feature here I noticed that seems interesting, and we might be able to push it much harder, but I don't quite see how to use it yet. Namely, for every $\theta$ we got a small transitive set $A$ which supports the elementary embeddings $j:A\to V_{\theta+1}$. Since there are only set many such $A$, it must be that some $A$ works for unboundedly many $\theta$. That is, we have a single transitive set $A$, such that for arbitrarily large $\theta$ we have elementary embeddings $j:A\to V_{\theta+1}$ that cover the target. And there will be a $\bar\kappa$ in $A$ that is the critical point of such an embedding for arbitrarily large $\theta$. That seems powerful, but I'm not sure exactly how to use it. It isn't quite super-$1$-extendibility, since perhaps it isn't $\bar\kappa$ that is sent high, even though the target model of $A$ can be made high.