The universal-invariant conjecture for Donaldson theory with b-plus equal to one

Let $X$ be a compact oriented $4$-manifold with $b_+^2(X)=1$, without assuming that $X$ is simply connected, and consider its Donaldson-theoretic moduli spaces and geometric data as in the preceding setup. Universal-invariant conjecture for Donaldson theory. The universal-invariant conjecture holds for Donaldson theory of $X$. This would place Donaldson invariants, including wall-crossing phenomena associated with stability conditions, within the proposed universal enumerative framework. The source presents this as an expected application rather than a theorem, and no resolution is supplied here.