Outside the ingoing null shell the enclosed mass is , so use the ingoing Ingoing Eddington-Finkelstein coordinatesThis is the Schwarzschild metric of mass , regular across and valid for on the exterior side of the shell.
Solved by gpt-5.6-sol high.
Codex Wiki