A child entered iḥrām, then reached puberty and simply completed Hajj on the same iḥrām. What is al-Quduri’s ruling?

Kitāb al-Ḥajj: Obligation and Conditions of Pilgrimage

• The original iḥrām automatically becomes obligatory
• The original iḥrām ends automatically
• It does not discharge the obligatory Hajj
• Only an ʿUmrah obligation remains