  For a subanalytic Legendrian $\Lambda \subseteq S^{*}M$, we prove that when
$\Lambda$ is either swappable or a full Legendrian stop, the microlocalization
at infinity $m_\Lambda: \operatorname{Sh}_\Lambda(M) \rightarrow
\operatorname{\mu sh}_\Lambda(\Lambda)$ is a spherical functor, and the
spherical cotwist is the Serre functor on the subcategory
$\operatorname{Sh}_\Lambda^b(M)_0$ of compactly supported sheaves with perfect
stalks. In this case, when $M$ is compact the Verdier duality on
$\operatorname{Sh}_\Lambda^b(M)$ extends naturally to all compact objects
$\operatorname{Sh}_\Lambda^c(M)$. This is a sheaf theory counterpart (with
weaker assumptions) of the results on the cap functor and cup functors between
Fukaya categories. When proving spherical adjunction, we deduce the
Sato-Sabloff fiber sequence and construct the Guillermou doubling functor for
any Reeb flow. As a setup for the Verdier duality statement, we study the
dualizability of $\operatorname{Sh}_\Lambda(M)$ itself and obtain a
classification result of colimit-preserving functors by convolutions of sheaf
kernels.
