Solomon's functional well-definedness conjecture for unobstructed Lagrangians

Let $X$ be a compact almost Calabi-Yau manifold. Let $L_0$ be a reference Lagrangian, and consider graded immersed unobstructed Lagrangians in the same $D^bFuk(X)$ class as $L_0$. The Solomon functional is the functional defined from the relevant moduli-space integral. Solomon functional conjecture. The Solomon functional is well defined on these Lagrangians, the change-of-reference-Lagrangian formula holds, gauge-equivalent bounding cochains give the same functional, cohomologous choices of $HF^0$ generators give the same functional, and the first variation formula holds for every one-parameter exact isotopy of unobstructed Lagrangians. The source explains that this requires substantial virtual and Floer-theoretic foundations, so it remains conjectural.