The displayed B greater than A map order is accepted from checked voxel signals. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Map ordering waits for two cited signal rows
The helper accepts the displayed map only when voxel B has the larger checked signal.
SB>SA
Three source pairs keep the displayed B greater than A ordering
Each row rebuilds both voxel signal products before accepting the map ordering.