OpenStreetMap

https://books.google.pl/books?id=GswJ1KpX39oC&pg=PA117&lpg=PA117&dq=Siwakowa+Dolina&source=bl&ots=ugLYBlBtkd&sig=qKxjnmcGr_1ADHGmH-WQY1ff4IE&hl=en&sa=X&ved=2ahUKEwi_4e-S293dAhUHpIsKHXn6CTsQ6AEwDHoECF0QAQ#v=onepage&q=Siwakowa%20Dolina&f=false

Chodzi o miejsce na zachód od tego gdzie zaznaczyłeś, na granicy. Kolega Pfad-Finder dorzucił mniej więcej w tym miejscu drogowskazy na szlaku. Nazwa dolina dla szczytu funkcjonuje tu co prawda dziesiątki lat ale jak już znalazłeś w przewodniku Rewasza chodzi o błąd niesumiennego kartografa. Pytanie czy chcemy powielać w nieskończoność taki "błąd". Za przemawia fakt, że wychowani na mapach PPWK zawsze używaliśmy i używamy tej nazwy dla tego wzniesienia. Przeciwko logika i jak w przewodniku. Dodatkowo po słowackiej stronie jest zaznaczone locality Siváková dolina (trochę na płn-zach od szczytu). Po naszej stronie przyjęła się raczej nazwa Siwakowska Dolina. Ja bym to dorzucił jak u sąsiadów jako locality a wierzchołek zostawił bez nazwy. Podkład z nazwami w geoportalu umieszcza tę nazwę ciut na wschód, w dolinie Bystrego. I teraz pytanie: Czy "to coś" się ciągnęło od Paloty aż po Osławicę? Czy było kiedyś tylko po jednej stronie a potem (jak wyjaśnia przewodnik) przeszło na szczyt a jeszcze później żeby nie było głupio "zsunęło się" też na drugą stronę w dolinę?