What is the correct ruling regarding the Ghusl (washing) and Janazah (funeral prayer) of a qualified Shahid?

Rulings on the Martyr: Definition, Washing, Shrouding, and Funeral Prayer

• Both Ghusl and Janazah are waived.
• Ghusl is strictly waived, but the Janazah prayer remains obligatory.
• Ghusl is obligatory, but the Janazah prayer is waived.
• Both Ghusl and Janazah are strictly obligatory.