Hara–Watanabe conjecture on strongly $F$-regular type couples

Let $(X,\Delta)$ be a couple, meaning that $X$ is a normal variety and $\Delta$ is an effective $\mathbb{Q}$-Weil divisor. A couple is of strongly $F$-regular type if it has the corresponding characteristic-$p$ singularity property, and it is of klt type if there exists an effective $\mathbb{Q}$-Weil divisor $\Delta'$ such that $(X,\Delta+\Delta')$ is klt.

Hara–Watanabe conjecture. $(X,\Delta)$ is of strongly $F$-regular type if and only if $(X,\Delta)$ is of klt type.

For pairs, strongly $F$-regular type is equivalent to klt by the Hara–Watanabe theorem, so this conjecture extends that relationship from pairs to couples. The conjecture is stated in the source without a resolution status.