Current 137-site experiment AP-M1-04 Violation observed

CoinMarketCap · modal focus return

Search closes, keyboard position resets

Escape closes search. The exact Search button is still eligible, but focus settles on BODY.

Temporal contract

What the checker requires

G(bound_modal_escape_closes(d,i) -> F_[0,500ms] focus_is_exact_invoker(i)) 
always(() =>
  m1ExactInvokerReturnContractHolds(
    m1FocusReturnObservation.current));

One screenshot at a time

Open search → dismiss → lose position

Focus boxes in s0 and s1 come from the recorded event rectangles.

Enter
Tab · Escape + 500 ms
Captured GenUI state s0 · Search button focused
CoinMarketCap-inspired watchlist page with the Search button focused.

The exact Search button is captured as the modal invoker.

Expected

Return to Search

Focus returns to the exact button that opened the search dialog.

Observed

Focus settles on BODY

The next Tab restarts at “Skip to main content,” not the Search button.

Mentor check

Does this interpretation make sense?

Stored only in this browser.