What grammatical role does ḥaqq play in wa-l-miʿrāju ḥaqq?

Language of Creed: Negation, Restriction and Implication

• Predicate of the subject
• A past-tense verb
• A negating particle
• The consequence of a conditional clause