Finite generation conjecture for log canonical rings of simple normal crossing pairs

Let $X$ be a smooth projective variety and let $\Delta$ be an effective $\mathbb Q$-divisor on $X$ such that $\operatorname{Supp}\Delta$ is a simple normal crossing divisor and the coefficients of $\Delta$ are less than or equal to one.

Finite generation conjecture for log canonical rings. The log canonical ring

$$R(X,K_X+\Delta)=\bigoplus_{m=0}^{\infty}H^0\left(X,\mathcal O_X\left(\lfloor m(K_X+\Delta)\rfloor\right)\right)$$

is a finitely generated $\mathbb C$-algebra.

This generalizes the finite-generation theorem for the corresponding klt setting by allowing coefficients equal to one. The source discusses its relationship with other minimal-model-program conjectures but does not state a resolution here.