D-cap modules are quasi-coherent sheaves on an analytic stack

We construct a fully-faithful functor of $\mathrm{\infty }$-categories from complexes of D-cap modules with Fréchet cohomology to quasi-coherent sheaves on an analytic stack. We prove various descent results for $\mathrm{\infty }$-categories of D-cap modules in the analytic topology.