I need it - Lemmy.zip

It’s not exactly the same, but I can vouch for StreetComplete being an incredibly good/similar game. You walk around the real world, and the app points out missing data in OpenStreetMap that you can fill in easily. You get the dopamine of a number going up, help dethrone proprietary map dominamce, and get some good excercise in in the process.
StreetComplete

OpenStreetMap surveyor app

Up is exactly the direction I like numbers to go!
You want the murder rate number to go up?!??
Is it on iPhone too? I only see an Android version.
StreetComplete is Android only, but last I heard Go Map!! for iOS was trying to add a similar “quest” functionality to that found in SC.
Go Map!! - OpenStreetMap Wiki

Is the map data federated?
It’s a central server i believe.

Well, it’s dumb data, so we don’t speak of federation (which happens between services), but basically yes.

Anyone can download the data and the TL;DR for your right to using the data) is:

You are free to copy, distribute, transmit and adapt our data, as long as you credit OpenStreetMap and its contributors.

As a result, there are also many servers which mirror the data, i.e. provide a separate copy you can download, which is effectively like federation.

Downloading data - OpenStreetMap Wiki