Boucksom–Broustet–Pacienza conjecture on restricted base loci and non-nef loci

Let $X$ be a normal projective variety, and let $D$ be a pseudoeffective $d53d$-Cartier divisor on $X$. The Boucksom–Broustet–Pacienza conjecture. The restricted base locus and the non-nef locus of $D$ are equal:

$$\operatorname{\mathbf{B}}_-(D)=\operatorname{NNef}(D).$$

The restricted base locus is a lower approximation to the stable base locus, while the non-nef locus is defined using divisorial valuations; both are empty exactly when $D$ is nef. The paper proves this equality in the cases needed for its application, while the conjecture is stated for all pseudoeffective real divisors on normal projective varieties.