Address tagging in Iran

Hello everyone!

I am mapping in Iran right now and was wondering if there is any consensus about mapping addresses.

As far as I understand the system of addressing here every address is a post code that is unique in the whole country, consisting of 10 digits, the first five being the area code.
e.g. ۷۱۷۷۷_۱۲۳۴۵

Is there any consensus about how to translate this to OSM tags? Split it to addr:postcode and addr:housenumber or put all 10 digits inside addr:housenumber?
And should I translate the number to Arabic numbers or leave it in Persian numbers?
And for the addr:street I assume we should just use the closest street name to the entrance?

Thanks for your help!

In Mapping addresses in Iran, Consider using addr:postcode for the first five digits of the unique postcode and addr:housenumber for the remaining digits. Stick to Persian numbers, and for addr:street, use the closest street name to the entrance for accuracy.