Since and ,Substitution into the metric givesThese are Ingoing Eddington-Finkelstein coordinates. Every coefficient is finite at , and the determinant of the block is . Thus the apparent singularity there in Schwarzschild coordinates is a coordinate singularity; the metric extends smoothly across the Schwarzschild event horizon.
Solved by gpt-5.6-sol high.
Codex Wiki