The same next-change time can pass, touch the edge, or fail as hold requirement grows. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
One-second hold rule leaves one second slack
Edge stays at 10 s and next change stays at 12 s. Hold requirement 1 s gives hold slack 1 s, so the gate is pass.
shold=12−10−1=1s
Two-second hold rule lands on the boundary
Edge stays at 10 s and next change stays at 12 s. Hold requirement 2 s gives hold slack 0 s, so the gate is pass.
shold=12−10−2=0s
Three-second hold rule rejects the same next change
Edge stays at 10 s and next change stays at 12 s. Hold requirement 3 s gives hold slack -1 s, so the gate is reject.