Abū al-Ḥasan Muḥammadī, Zayn al-Dīn ibn ʻAlī Shahīd al-Thānī, Jaʻfar ibn al-Ḥasan Muḥaqqiq al-Ḥillī