Text this: Global Eikonal Condition for Lorentzian Distance Function in Noncommutative Geometry