The derived equivalence conjecture for the compactified Fukaya category

Let $M$ be an exact symplectic manifold embedded in a closed symplectic manifold $X$ as in Assumption. Let $\mathcal F(M \subset X)_{gen}$ be the generic fibre of the $A_\infty$-deformation of the Fukaya category, and let $\Lambda_t$ be the Novikov ring. Derived equivalence conjecture. There is a canonical equivalence of triangulated categories

$$D^\pi\left(\mathcal F(M \subset X)_{gen} \otimes_{\mathbb{Q}[t^{-1}][[t]]} \Lambda_t\right) \cong D^\pi(\mathcal F(X)).$$

This predicts that, after passing to derived categories and extending scalars, the generic fibre built from Lagrangians lying in $M$ recovers the Fukaya category of the closed manifold $X$; the source indicates that the deformation construction itself has not yet been fully carried out.