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=middletotop
The accepted bit records the failed membership test