Похоже я нашел причину. Редирект не срабатывает, потому что, как вы могли заметить, в коде используется синхронные ajax запросы. Да, я знаю, что это плохо, просто это legacy-код, вскоре я его перепишу. Короче, jquery не переваривает редиректы при синхронном исполнении ajax-запросов. Всем спасибо.