Kashiwara's D-affinity conjecture for formal quantizations

Let $\pi:{\mathfrak X}\to S[[h]]$ and the quantization sheaf $\operatorname{\cal O}_h$ satisfy the assumptions of Theorem~. Consider the global sections functor

$$\operatorname{Shv}({\mathfrak X},\operatorname{\cal O}_h)\longrightarrow\operatorname{Shv}(S[[h]],\pi_*\operatorname{\cal O}_h)$$

from sheaves of finitely generated $\operatorname{\cal O}_h$-modules to sheaves of finitely generated $\pi_*\operatorname{\cal O}_h$-modules on $S[[h]]=S\widehat{\times}\operatorname{Spec}K[[h]]$. Kashiwara's conjecture. This functor is an equivalence of abelian categories over a dense open subset $U\subset S[[h]]$.

The conjecture aims to generalize the D-affinity phenomenon from partial flag varieties to formal geometric quantizations. The precise assumptions of Theorem~ are not supplied here, and the source gives no resolution.