A candidate that misses the shared anchor is rejected. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

A candidate is checked against the series anchor

The candidate transition uses middle and top, so it does not share ground.

candidate=middle to topcandidate=\mathrm{middle\ to\ top}
Wrong anchor candidateThe invalid candidate is not inserted into the series.anchor=groundcandidate=middle to topaccepted=0lowerupper4lowerupper9lowerupper15lowerupper11

The accepted bit records the failed membership test

The computed accepted bit is 0.

accepted=0accepted=0
Rejected candidateThe series itself remains the valid ground-anchored list.anchor=groundcandidate=middle to topaccepted=0lowerupper4lowerupper9lowerupper15lowerupper11