Mustaţă's uniform m-adic semicontinuity conjecture for minimal log discrepancies

Let $P\in X$ be the germ of a smooth threefold, let $\mathfrak{m}$ be the maximal ideal in $\mathscr{O}_X$ defining $P$, and let

$$\mathfrak{a}=\prod_{j=1}^e\mathfrak{a}_j^{r_j},\qquad \mathfrak{b}=\prod_{j=1}^e\mathfrak{b}_j^{r_j}$$

be $\mathbf{R}$-ideals on $X$. Fix a finite subset $I$ of the positive real numbers. Mustaţă's uniform $\mathfrak{m}$-adic semicontinuity conjecture. There exists a positive integer $l$ depending only on $I$ such that, whenever $r_j\in I$ and $\mathfrak{a}_j+\mathfrak{m}^l=\mathfrak{b}_j+\mathfrak{m}^l$ for every $j$, one has

$$\operatorname{mld}_P(X,\mathfrak{a})=\operatorname{mld}_P(X,\mathfrak{b}).$$

The conjecture asserts uniform determination of the minimal log discrepancy by sufficiently high-order truncations of the ideals; the source attributes it originally to Mustaţă and lists it among conjectures equivalent to the ACC conjecture.