AP-NAV-03 Screenshot-based counterexample

When “Skip to search” does not skip

Generated website · AA · g0-none
Atomic property

A bypass must reach its exact target.

LTL presentation form

G(activate(skip) →
F≤2s(focus=target ∨ reading=target))

Bombadil implementationalways(() =>
fullGateV2VerdictHolds("AP-NAV-03"))
Generated airline homepage with navigation, hero content, and a flight search form.
Skip to flight search
Enter ↵
s₀ · Focusskip control
a₀ · ActivateEnter
s₁ · Observesearch not reached
Verdictviolation