Positive overlap has a boundary before endpoint touch fails. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Readout needs positive overlap with the window
The window is fixed, and the signal interval moves toward the edge.
m=Δtoverlap−Δtmin
Three signal intervals show the positive-overlap boundary
A one-unit overlap is the boundary; endpoint touch has zero overlap and fails.
tstart51011tend81113Δt310m20−1
Endpoint touch fails because overlap is zero
The interval check treats endpoint touch as no positive overlap.