Which is the correct decision sequence?

Meeting of Two Sākin Letters — ʿAlā Ḥaddih, Ghayr Ḥaddih and Tanwīn

• Check madd vs non-madd, liaison vs stop, then exceptions
• Judge by word length only
• Retain both sākin everywhere
• Erase tanwīn everywhere