How can the problem be resolved regarding the mention of the Mi'raj in Surat An-Najm (which was revealed before the Isra and Mi'raj), and was Surat An-Najm revealed all at once or in stages?

Surat Al-Isra is Makkan by consensus, and it is one of the last surahs revealed in Mecca after the incident of Al-Isra and Al-Mi'raj. Al-Isra was mentioned at its beginning to highlight Al-Masjid Al-Aqsa. Surat An-Najm is Makkan by consensus of the exegetes, and the Prophet, peace and blessings be upon him, recited it and prostrated in it in Mecca. There is no definitive proof that it was revealed all at once, and there is no issue with Surat An-Najm being revealed before Surat Al-Isra and mentioning the Mi'raj in it. The mention of Al-Isra in Surat Al-Isra is an indication of what actually occurred, and not proof that it was revealed immediately after the incident.