When is Jaʿfarun an error-correction badal after Zaydun?

Badal: Definition, Four Types, and Parsing

• Both are names of the same person
• Jaʿfar is an adjective
• Zayd was said inadvertently; Jaʿfar was intended
• Jaʿfar is the direct object