وَإِنْ تَرَكَ أَرْبَعَةَ أَشْوَاطٍ: بَقِيَ مُحْرِمًا أَبَدًا حَتَّى يَطُوفَهَا.
Translation: If four circuits are omitted, the pilgrim remains in ihram until those omitted circuits are performed.
If four of seven circuits are omitted, only three have been done; the four-circuit threshold has not been met. A sheep offering alone does not achieve full release in this case.
The words “until he performs them” establish the ending condition. “Forever” here does not negate the possibility of completing the required circuits and then exiting the restriction.