Eu enviei um email ao autor e, embora ele tenha se recusado a entrar no site no momento, ele teve a gentileza de fornecer a resposta a ser postada:
It was a pun; both a reference to the halting problem, and a nod to the main plot of the book (an attempt to bring a small European state to a screeching halt). Yes, this is public.