Why does rajulun retain tanwīn in jāʾa rajulun ibnu Zaydin?

Tanwīn: Five Types, Their Function, and Omission

• Zayd is not a name
• Ibn cannot be mudāf
• Rajul is not a proper name
• Jāʾa is imperative