Xiaomi Roborock room_mapping sensor/attribute

I would like to see the current room IDs of the loaded map in Xiaomi Roborock vacuums.

Use Case 1: before starting a segment clean (room cleaning), I need to know which map is currently loaded in the vacuum. Since there is no working command to get that information directly, it is possible to see this from the get_room_mapping command. Knowing the current set of room IDs lets HA indirectly know which map is loaded (on which floor the vacuum is).

Use Case 2: Everybody with a Xiaomi vacuum who wants to do segment cleaning in HA, needs to know which room numbers are available (automatic room assignment starting with room number 1, edited rooms start with 16). The solution is to find that information via the mirrobo tool, which isn’t easy to install if no linux system available or being new to all this. Or just do try and error to find working room numbers.

Suggested solution:
a) create a sensor like sensor.xiaomi_room_mapping
b) add that information as an attribute to the existing vacuum of the Xiaomi platform

Information can be retrieved via the command get_room_mapping. It answers with an array of room number and unambiguous ID. Example from mirobo tool:
[[16, '848001007769'], [17, '848001007733'], [18, '848001015703'], [19, '848001007770'], [20, '848001007727'], [21, '848001007728'], [22, '848001007732'], [23, '848001007734'], [24, '848001007729'], [25, '848001007730']]

Known alternative solution:
Currently I get the room numbers from the custom integration xiaomi_cloud_map_extractor. This works great, but I need to connect the vacuum to the cloud. Also it “only” gives the room numbers, not the unambiguous IDs. The set of room numbers could be equal for two floors, if both have the same number of rooms.