Singularity deep inside the spherical charged black hole core

We study analytically the spacelike singularity inside a spherically-symmetric, charged black hole coupled to a self-gravitating spherical massless scalar field. We assume spatial homogeneity, and find a generic solution in terms of a formal series expansion. This solution is tested against fully-nonlinear and inhomogeneous numerical simulations. We find full compliance between our analytical solution and the pointwise behavior of the singularity in the numerical simulations. This is a strong scalar-curvature monotonic spacelike singularity, which connects to a weak null singularity at asymptotically-late advanced time.