Shokurov's effective log adjunction conjecture

Let $(X,\Delta)$ be a log klt pair and let $f\colon X\to Y$ be a surjective morphism such that the Kodaira dimension of $K_X+\Delta$ restricted to the general fibre is zero. Assume

$$K_X+\Delta=f^*(K_Y+B_Y+M_Y),$$

where $B_Y$ is the discriminant divisor and $M_Y$ is the moduli divisor. Shokurov's effective log adjunction conjecture. (1) There exists a birational contraction $\mu\colon Y'\to Y$ such that, after base change, the induced moduli divisor $M_{Y'}$ on $Y'$ is semiample. (2) If $X_\eta$ is the generic fibre of $f$, then

$$I(K_{X_\eta}+\Delta_{X_\eta})\sim 0,$$

where $I$ depends only on $\dim X_\eta$ and the horizontal multiplicities of $\Delta$. (3) There exists a positive integer $I$ depending only on the dimension of $X$ and the horizontal multiplicities of $\Delta$ such that $IM_{Y'}$ is base point free on some model $Y'/Y$. These assertions concern semiampleness and effective bounds for the moduli part in the canonical bundle formula; the cited source does not provide evidence resolving them.