What is a recognized grammatical account of the response to idhā in 84:1–5?

Supplementary Practice 29 — Comparative Rhetoric of Sūrat al-Infiṭār and Sūrat al-Inshiqāq

• Wa-ḥuqqat is the expressed response to every condition
• Fa-lā uqsimu is the direct conditional response
• Balā is the response
• The response is omitted and understood from context