The runner may loop through a new route, but a step passes only through the postcondition check.

ROUTE ADAPTS GROUND match the live element ACT click, type, select RECOVER another interaction OBSERVE · CHECK POSTCONDITION MET → STEP PASSED the only exit to a pass NOT MET AFTER RECOVERY → failure diagnosis; may say “insufficient evidence”; status stays failed

Route adapts

Ground
match the live element
Act
click, type, select
Recover
another interaction
Observe · check postcondition
Met → step passed
the only exit to a pass
Not met after recovery
→ failure diagnosis; may say “insufficient evidence”; status stays failed