Three candidate transitions show that series membership follows the shared anchor. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

Candidate anchor check

The series anchor is ground. Candidate ground to middle has gap 4 joules and accepted bit 1.

gm,gap=4 J,accepted=1g\to m,\quad gap=4\ \mathrm{J},\quad accepted=1
Series candidate scanMembership is anchored by source topology, not by gap size.groundmiddleanchor=groundaccepted=1lowerupper4lowerupper9lowerupper15lowerupper4

Candidate anchor check

The series anchor is ground. Candidate ground to top has gap 15 joules and accepted bit 1.

gt,gap=15 J,accepted=1g\to t,\quad gap=15\ \mathrm{J},\quad accepted=1
Series candidate scanMembership is anchored by source topology, not by gap size.groundtopanchor=groundaccepted=1lowerupper4lowerupper9lowerupper15lowerupper15

Candidate anchor check

The series anchor is ground. Candidate middle to top has gap 11 joules and accepted bit 0.

mt,gap=11 J,accepted=0m\to t,\quad gap=11\ \mathrm{J},\quad accepted=0
Series candidate scanMembership is anchored by source topology, not by gap size.middletopanchor=groundaccepted=0lowerupper4lowerupper9lowerupper15lowerupper11