No, because in Reissner-Nördstrom, we again have full spherical symmetry, but you can also "avoid" the singularity just like in Kerr

Working examples!

Drawing spacetime diagrams is second nature to me because I've been doing it for so long... I think reasoning from spacetime diagrams is attainable for anyone interested!

Anyway... Back to the original story. I think it's important for people to grasp that they are always moving through spacetime, going forward in time. In much of the universe, that includes both "closer" and "farther" from some BH. Once you cross the EH, your future can't contain any "farther" dirs

(this too of course is thought to be non-generic; there is probably a null singularity at the Cauchy horizon or earlier)

The symmetry argument doesn't really help explain "why" there's a singularity, since in the maximal analytical extension of Kerr, you can avoid the singularity.

If you allow yourself to go back in time, then you can get to literally anywhere in the causal diagram. Not sure what question this is actually answering... Back to the symmetry direction thing, that is too Schwarzschild-centric (ha!). A generic BH doesn't have symmetries, say one in a binary

Difficult comparison when the process for humans to find the proof is to understand. But has anybody gained understanding by a giant repo full of claims that nobody has the time to read?

Heart-ing not to say that I like your situation but rather to lend moral support

I have to be cheeky and ask: Now show how to visually represent the AGM! (I spent about 10sec googling which led to me a wonderful visualization of the geometric mean, and the AM/GM inequality)

TIL automated theorem prover = "we" "understand"

My cakes are not symplectic because they do NOT preserve my volume

After I die I will continue to make cakes but only with spectral methods

Easiest approach to getting the boundaries of your cake just right? Shoot it

Call me a Monte Carlo sampler the way I bite into the cake at random

Richardson extrapolate to the limit of an infinite number of layers in my cake