Smooth closure of the extremal Einstein--Maxwell charged-scalar Cauchy horizon

Consider the spherically symmetric Einstein--Maxwell charged scalar field (EMCSF) model and an interpolating family of Cauchy data with critical parameter $p_*$, whose critical development $\mathcal S[\Psi_{p_*}]$ asymptotically settles to an extremal black hole. Let $\mathcal{CH}^+$ be the Cauchy horizon arising from future timelike infinity $i^+$. Smooth-closure conjecture. For generic critical solutions in this sense, the Cauchy horizon $\mathcal{CH}^+$ smoothly closes off the spacetime. This contrasts with the generic subextremal case, where the Cauchy horizon breaks down through mass inflation; the source states that this remains open because generic mass inflation is not established for EMCSF.