Log-resolution conjecture for schemes over local quasi-excellent rings

Let $R$ be a local quasi-excellent ring with maximal ideal $\mathfrak{m}_R$, and let $X$ be a reduced scheme of finite type over $R$. Write

$$X_s=X\times_{\operatorname{Spec}R}\operatorname{Spec}(R/\mathfrak{m}_R).$$

A morphism $f:\tilde{X}\to X$ is required to be a blowup in a nowhere dense center $Z$.

Log-resolution conjecture. There exists such a morphism $f:\tilde{X}\to X$ for which $\tilde{X}$ is a regular scheme and $\tilde{X}_s$ is a normal crossings divisor.

This is the strong form of the expected converse to Grothendieck's implication that universal resolution of singularities over a ring forces the ring to be quasi-excellent. The source presents the assertion as expected; its status is left open here.