It is semi-procedural, although the peaks of each ridge are in the same place so it's still hypothetically beatable each time. There should be a goal at the top of the mountain, I didn't realize it took that long to ascend.
