A tick exactly at the window edge is still a coincidence. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Two channel ticks are compared on one clock
Channel A ticks at 3 seconds, and channel B ticks at 5 seconds.
tA=3s,tB=5s
The boundary case is accepted
The difference is 2 seconds, matching the 2 second window.