Text this: Machines that halt resolve the undecidability of artificial intelligence alignment