Generic lower-bound conjecture for scalar-field tails on Reissner–Nordström interiors

Consider the data and maximal development covered by the stability theorem for the two-ended Reissner–Nordström interior, and let the additional lower bounds on the scalar field along the two components of the future event horizon be the hypotheses of the blow-up theorem. Generic lower-bound conjecture. For generic data covered by that stability theorem, the assumptions of the blow-up theorem hold. These lower bounds would imply divergence of the Hawking mass on the Cauchy horizon near timelike infinity and a spacelike character for the relevant curves; the genericity assertion is not proved in the source.