The modified explicit Brumer–Stark unit conjecture

Let $F_p^*$ be the relevant local multiplicative group and let $\widehat{F}_p^*=F_p^*\widehat\otimes\mathbf{Z}_p$. Define $v_p(\mathfrak b)^{\mathrm{an}}\in\widehat{F}_p^*$ from the explicitly constructed quantities $u_p(\mathfrak b)^{\mathrm{an}}$, and let $u_{\mathfrak p}$ be the Brumer–Stark unit. Modified explicit Brumer–Stark conjecture. One should have

$$\sigma_{\mathfrak b}(u_{\mathfrak p})=v_p(\mathfrak b)^{\mathrm{an}}\quad\text{in }\widehat{F}_p^*.$$

This is presented as a slightly easier form of the preceding explicit formula conjecture; the source notes that the corresponding inversion property for $v_p$ holds unconditionally. The source gives no resolution status.