The holonomic-module model conjecture for the Fukaya category

Let $X$ be a symplectic manifold, let $F^{naive}(X,\omega)$ denote its naive Fukaya category, and let $D^b_{\infty}(hol(X))$ be the derived $A_{\infty}$-category of holonomic modules over the quantized algebra of smooth functions on $X$. For Lagrangian submanifolds $L_i$ and holonomic modules $M_i=V_{(L_i,\rho_i)}$, suppose that the kernels $K(L_i,L_j)$ and the higher compositions $m_n^{new}$ are chosen as described in the preceding construction. Holonomic-module model conjecture. (i) The higher compositions $m_n^{new}$, for $n\geq 1$, give rise to a structure of an $A_{\infty}$-category on $D^b_{\infty}(hol(X))$. (ii) This category is $A_{\infty}$-equivalent to $F^{naive}(X,\omega)$, with $q=t$. This conjecture proposes an algebraic replacement of instanton counting in the Fukaya category by homomorphisms between holonomic modules and local systems supported on Lagrangian submanifolds; the source does not state whether it has been resolved.