REAL COUNTEREXAMPLE · AP-NAV-05

Tab moves. Focus does not.

On Cookpad, pressing Tab on Recipes briefly removes focus and returns it to the same link. The keyboard user makes no navigation progress.

COOKPAD/searchCONTROLLED GENUI

LTL OBLIGATION G(tab → ¬duplicate_stop_without_progress) TRACE IN PROGRESS

BOMBADILalways(() => atomicVerdictHolds("AP-NAV-05"))

one trusted forward-Tab transaction

Tab

handler

check

SAME WEBSITE · SAME ROUTEs0 · Start on Recipes

Cookpad search page used by the AP-NAV-05 controlled GenUI case

EXPECTED · Cooking tips

The screenshot is captured from the injected Cookpad GenUI build used for AP-NAV-05. Focus boxes are presentation overlays derived from the injected blur(); focus(); sequence and the checker verdict.