Kashiwara–Schapira's R-constructibility conjecture for tempered solutions

Let $X$ be a complex manifold, let $\mathcal{D}_X$ be its sheaf of differential operators, and let $\mathcal{M}\in D^b_h(\mathcal{D}_X)$ be a bounded complex with holonomic cohomology. Write $\mathscr{S}ol^t(\mathcal{M})$ for its complex of tempered holomorphic solutions on the subanalytic site $X_{sa}$. Kashiwara–Schapira's conjecture. The complex

$$\mathscr{S}ol^t(\mathcal{M})$$

is $\mathbb{R}$-sa-constructible. This conjecture describes the image of the tempered solution functor topologically, extending constructibility results for regular holonomic modules; it was proved for complex curves and, in the present article, in full generality.