Text this: Korean lunar navigation constellation with stability-filtered optimisation.