Log canonicity of the Proj of a finitely generated log canonical ring

Let $(X,\Delta)$ be a projective log canonical pair. Assume that the log canonical ring

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

is a finitely generated $\mathbb C$-algebra, and set

$$Y=\operatorname{Proj} R(X,\Delta).$$

The log canonical Proj conjecture. There is an effective $\mathbb Q$-divisor $\Delta_Y$ on $Y$ such that $(Y,\Delta_Y)$ is log canonical. The result is known when $K_Y$ is $\mathbb Q$-Cartier, and the klt case is also established; the general log canonical statement remains open in the source.