Nie sprawdzałem dokładnie lokalizacji z PRNG, sądziłem, że któraś góra z PRNG o tej nazwie wypadnie tutaj. Ciekawe, że jej nie jednak ma.
Brak w PRNG intepretowałbym jako brak szczytu po polskiej stronie - oficjalnie.
Ale patrząc po wysokościach na podstawie LIDAR z geoportal.gov.pl to masz rację - najwyższy punkt jest po polskiej stronie.
Ja bym w takiej sytuacji dodał source czy note z uzasadnieniem dla takiej lokalizacji. 
