Sorted inputs turn discarded prefixes into proof
If the current left timestamp is earlier than the current right timestamp by more than the tolerance, it cannot match that right event or any later one. Advancing only left discards a proven-impossible prefix. The symmetric rule applies to right, so each cursor moves at most N or M times.