Input transitions preserve arrival order; overflow releases held input and keeps the latest control state. A pointer move replaces its pointer’s newest queued move unless a transition sits between them.