Есть какой-то навигатор, который в Хайфе учитывает лестницы? И Гугл, и Мувит заставляют делать крюки, когда можно нормально срезать.

По опыту с навигаторами все довольно грустно. Но Google мне показывает короткие маршруты, где можно срезать.

Посмотри в Osmand, 2gis, если есть на примете лестница, которой нет ни в мувите, ни в гугле П. С. Если что могу такой поделиться.

Maps me / organic maps, или гуглу скажи чтобы пешеходные маршруты включал.