A finite residual budget is scanned across wider readings. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

The gate uses squared residuals

The checked source has target ten and limit four. Its accepted bit comes from the residual budget, not from the average alone.

(1)2+12=2(-1)^{2}+1^{2}=2
Averaging gate sourceBudget, limit, and accepted bit are checked together.readings=9,11,10,10 Vtarget=10 Vaverage=10 Vresiduals=-1,1,0,0squaredBudget=2gateLimit=4acceptedBit=1 bit

A wider run can cross the same gate limit

The target and limit stay fixed. The squared budget grows from zero to eight, so the last row is rejected.

readingsbudgetlimitaccepted(10,10,10,10)041(9,11,10,10)241(8,12,10,10)840\begin{array}{c|c|c|c}\text{readings}&\text{budget}&\text{limit}&\text{accepted}\\\left(10,10,10,10\right)&0&4&1\\\left(9,11,10,10\right)&2&4&1\\\left(8,12,10,10\right)&8&4&0\\\end{array}
Gate budget scanThe middle row is the checked source diagram.readings=9,11,10,10 Vtarget=10 Vaverage=10 Vresiduals=-1,1,0,0squaredBudget=2gateLimit=4acceptedBit=1 bit