Is a pilgrim's state of ihram revoked if he does not perform Tawaf Al-Ifadah on the Day of Sacrifice and the sun sets on that day?

It is permissible to delay the Ifadah circumambulation (Tawaf al-Ifadah) beyond the Day of Sacrifice (Yawm al-Nahr) without disagreement. It is also permissible to delay it until after the Days of Tashreeq according to the majority of scholars. The state of ihram does not return upon one who delays it if they have already stoned and shaved, but they remain not fully disengaged (from ihram) until they perform the circumambulation. Those who argued for the return of ihram cited the hadith of Umm Salamah, but Al-Nawawi stated in Al-Majmu' that this hadith is abrogated, and its abrogation is indicated by scholarly consensus.