Fibrations of AU-contexts beget fibrations of toposes

Suppose an extension map $U\text{\hspace{0.17em}⁣}:{\mathbb{T}}_1\to {\mathbb{T}}_0$ in the 2-category $\mathfrak{C}\mathfrak{o}\mathfrak{n}$ of contexts for arithmetic universes satisfies a Chevalley criterion for being an (op)fibration in $\mathfrak{C}\mathfrak{o}\mathfrak{n}$. If $M$ is a model of ${\mathbb{T}}_0$ in an elementary topos $\mathcal{S}$ with nno, then the classifier $p\text{\hspace{0.17em}⁣}:\mathcal{S}[{\mathbb{T}}_1\mathrm{/}M]\to \mathcal{S}$ satisfies Johnstone’s criterion for being an (op)fibration in the 2-category $\mathcal{E}\mathfrak{T}\mathfrak{o}\mathfrak{p}$ of elementary toposes (with nno) and geometric morphisms. Along the way, we provide a convenient reformulation of Johnstone’s criterion.