Smooth-to-holonomic equivalence conjecture over the Novikov field

Let $X$ be a symplectic manifold and $c>0$. Let $\mu^{\mathrm{sm}}(X;u<c)$ be the subcategory of smooth holonomic objects in the microlocal category $\mu(X;u<c)$, and let $\mu^{\mathrm{hol}}(X;u<c)$ be the subcategory of holonomic objects. Let $\Lambda_0$ be the Novikov ring and $\Lambda$ its Novikov field.

Smooth-to-holonomic equivalence conjecture. The inclusion

$$\mu^{\mathrm{sm}}(X;u<c)\hookrightarrow \mu^{\mathrm{hol}}(X;u<c)$$

induces an equivalence over the Novikov field

$$\mu^{\mathrm{sm}}(X;u<c)\otimes_{\Lambda_0}\Lambda\xrightarrow{\cong} \mu^{\mathrm{hol}}(X;u<c)\otimes_{\Lambda_0}\Lambda.$$

This asserts that after extending scalars from the Novikov ring to its field, holonomic microlocal objects are generated by smooth ones. The supplied text gives no evidence that the statement has been resolved.