Mochizuki's formula with partition-function coefficients

Let $X$ be a smooth $4$-manifold with $b_1=0$ and odd $b_+\geq 3$. Let $\beta_i$, $K_i$, $\beta(\tau)$, $\rho(\tau)$, $\beta(\tau)^{\perp}$, $\tau$, $\tilde\xi_1$, $\tilde\xi_2$, $\tilde\xi_3$, $\tilde\xi_4$, $y$, $a$, $\xi_1$, and $\xi$ denote the quantities occurring in Mochizuki's result, Theorem~, and the partition formula, Theorem~; let $\widetilde{\mathcal A}(\xi_1,y;a)$ and $\mathcal B(\xi_1,\xi;a)$ be the corresponding expressions.

Mochizuki's conjecture. Mochizuki's result holds for $X$, up to sign, when $\widetilde{\mathcal A}(\xi_1,y;a)$ is replaced by the coefficients of $\mathcal B(\xi_1,\xi;a)$ in the partition formula.

This is the paper's proposed relation between Mochizuki's formula and the partition-function expression for Donaldson invariants. The supplied text gives no resolution status, and the precise coefficient extraction and notation depend on results stated elsewhere in the paper.