The saturation conjecture for nondegenerate Jacobi-finite QPs

Let $(Q,\mathcal{S})$ be a nondegenerate Jacobi-finite quiver with potential. A pair $(\delta,\check\epsilon)$ has the saturation property when $\operatorname{hom}(\delta,\check\epsilon)=0$ whenever $\operatorname{hom}(m\delta,n\check\epsilon)=0$ for some $m,n\in\mathbb{N}$. A QP is saturated when this property holds for every such pair. Saturation conjecture. Every nondegenerate Jacobi-finite QP is saturated. This generalizes the ordinary saturation property for acyclic quivers and, by the proposition immediately preceding the statement, is equivalent to the hom-fluent property and to the generic pairing equality for each pair. The supplied status is unknown.