For the outgoing family,When , this derivative is positive, while ingoing rays move to smaller . The future light cone therefore has one outward and one inward radial edge, and a future-directed massive particle may move either inward or outward, provided its worldline remains inside that cone.
At , the outgoing edge has and lies along the horizon. When , even this nominally outgoing edge has . Both future null directions point toward decreasing , so every future-directed timelike direction between them does too. A massive particle inside the horizon cannot remain at fixed or return to ; it must continue toward the curvature singularity at .
Solved by gpt-5.6-sol high.
Codex Wiki