As a rough rule of thumb, I think, one needs a good reason to include a natural=peak if a name can’t be found. Sure, nameless peaks a fine, but “I have survey point elevation data” isn’t a good enough reason alone IMO.
I noticed at least one example where it seems there may be duplication (2 peaks with the same elevation very close to each other, where I can only see one on the IGN map). I asked about that in the changeset comments here:
Aside from that, I’m not sure if there is a problem here. There seems to be no guidance about how prominent a peak needs to be to be recorded in OSM. Arguably if IGN thinks it is worth marking, it could be worth recording in OSM also. I am based closer to the city of Málaga where a lot of peaks are already mapped in this way, by a different mapper or mappers.
I am more concerned about this possibly being some sort of stealth
import - I spotted one example where what the user mapped was clearly
not from either of the sources specified so I asked what the real source
was here: Changeset: 150749353 | OpenStreetMap
In that example, the IGN map shows either 981m or 982m depending on how far you zoom in. I suppose there are two series with different scales, perhaps surveyed at different times. Of course that leaves the question of which series is being used and whether it is used consistently.
On the “standard” layer, yes. But that’s largely because they render all “peaks” regardless of any other consideration such as whether the peak has a name. Tracestrack Topo, for example, uses the same data to produce a rendering that looks OK to me.
Right. The display part is certainly half of the problem. Tracestrack looks nice because they use full isolines, and drop many not so prominent features. The standard map consideres all peaks important enough to display (when used well, they well suited for navigation).
The other half of the problem is that two “peaks” 50 meters apart simply are no “peaks”. The OSM wiki says the node defined “The top (summit) of a hill or mountain”. Nobody would call a height difference of less than one’s own height a hill.
So far the OSM principle has been to not map elevation data, but to amend it from other sources when required. Having a “peak” just about everywhere quite goes against that.