I’m not sure how we resolve the issue, but:
-
١٢٣ [661 662 663]
and۱۲۳ [6F1 6F2 6F3]
look the same (123 vs 123). -
١٢٤ [661 662 664]
and۱۲۴ [6F1 6F2 6F4]
look different (124 vs 124). -
۱۲٤ [661 662 664]
and۱۲٤ [6F1 6F2 664]
look the same (124 vs 124).
If the name is pure digits, then it needs one digit from 4-6 (case 2) + the non-extended/extended exclusion rule (where second example of case 3 fails) to be valid.
If we want to support pure digit names with strictly 0-3,7-9 digits (case 1), we have to pick one. Otherwise, how do you justify case 1 and case 3 being two separate names?