A loaded divider must compute the output node before comparing it to a threshold. 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 load changes the lower divider branch
The source and divider resistors stay fixed. Only the load resistance changes, so every output shift comes from the same topology rule.
Rlower=Rb∥RL,Vo=IsRlower
Smaller loads pull the output closer to the threshold
Read the table left to right: the load changes the parallel lower resistance, then the source current, then the output voltage.
The threshold is fixed. Two rows remain above it; the smaller load row falls below it. The decision is the result of the comparison, not a hand-written label.
For the rendered row, the branch currents are 1 ampere and 1 ampere, adding back to 2 amperes. The output is above the threshold.
1A+1A=2A,6V>5V
Loading can consume decision margin
The audit keeps the network and decision separate: first compute the loaded node, then compare it to the threshold. That order is why the final row changes state.