  We generalize the work of Lue Pan on locally analytic completed cohomology of
modular curves to Shimura varieties. In the process we obtain a proof of the
rational Calegari-Emerton conjectures without a perfectoid assumption at
infinite level. We also construct the overconvergent $\mathrm{BGG}$ maps for
the derived infinitesimal Jacquet module of the locally analytic completed
cohomology and its dual.
