Ghusl and doubt after waking up

Walekumussalam,

Merely because of the possibility that some fluid may have been discharged during sleep, while upon waking there is no trace of semen on the body or clothing and there is no certainty that semen was discharged, ghusl is not obligatory.

According to the Hanafi school of jurisprudence, ghusl becomes obligatory only when the discharge of semen is established with certainty or there is a clear sign indicating that it occurred. Mere doubt, suspicion, or precaution alone does not make ghusl obligatory, because Islamic rulings regarding acts of worship are based on certainty, not on mere possibilities.

Therefore, in the situation described, it is not necessary to perform ghusl simply to avoid a possible risk. However, if upon waking semen is definitely found, or there is a clear indication that semen was discharged, then ghusl becomes obligatory.