Null geodesic incompleteness (source code)

= Null geodesic incompleteness

= Null-geodesically incomplete
{synonym}

<Null geodesic incompleteness> means that some <maximal geodesic> with a <null tangent> has a finite endpoint of its <affine parameter>. This can indicate a removable missing region or a genuine obstruction; it does not alone assert curvature divergence.