NFL email dialog loses keyboard context

A keyboard-only agent finished the task and reported success, but the temporal trace shows that the dialog did not preserve focus context.

G(open_email_dialog(i,d) → F_[0,500ms] focus_inside(d)) G(close_completed_dialog(d,i) → F_[0,500ms] focus_returns_to_context(i))
User task Email the latest story, close the dialog, then search for Chiefs.
Agent-only result Success; no navigation error reported.
LTL-relevant failure Modal focus entry and restoration depend on interaction history.
Email control focused before opening the dialog
State 1

Invoker focused

Email button is the dialog invoker.

Dialog open while focus remains outside it
Violation

Dialog opens

Focus remains outside the modal.

After Prepare email focus falls to body
Violation

Email prepared

Focus falls to document/body.

After Done focus remains at document body
Violation

Dialog done

Focus does not return to the invoker context.