Haladyna & Downing (1989), Rule 5
haladyna-05
Verify that options exist (vertical format is enforced by the platform).
This rule is checked deterministically by the rule engine — no LLM required. Violations are detected via text analysis, pattern matching, and structural checks.