Montel's theorem and tautness in calibrated geometry

We relate the hyperbolicity of a calibrated manifold $(X, \phi)$ to the analytic properties of the space of Smith immersions $\mathrm{SmIm}(B^k, X)$ from the Poincare $k$-ball into $X$. In particular, we establish the following calibrated analogue of a theorem of Royden: if $X$ is $\phi$-replete, then $R_\phi$- and $K_\phi$-hyperbolicity coincide, and either implies the equicontinuity of $\mathrm{SmIm}(B^k, X)$ with respect to the $\phi$-distance. This yields a Montel theorem for compact $\phi$-replete calibrated manifolds as an immediate corollary. Our primary technical tool is a new Schwarz lemma for Smith immersions from $B^k$ into $X$, which is of independent interest.
In a similar spirit, we also prove a calibrated analogue of Kiernan's theorem to the effect that the $K_\phi$-hyperbolicity of $X$ is almost equivalent to $\mathrm{SmIm}(B^k, X)$ being a normal family. Finally, we prove that bounded domains in flat euclidean space are $R_\phi$-hyperbolic for any calibration $\phi$, and we investigate the hyperbolicity of products and discrete quotients.