Гарантирован ли порядок обхода элементов в map при итерации?

Нет, при переборе map с помощью range ключи возвращаются в неопределённом порядке. Порядок не фиксируется и может различаться при каждом запуске программы. На него нельзя полагаться (если нужен отсортированный порядок – нужно отдельно сортировать ключи).