Explicit two-state weights set fractions and upper-lower ratios. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Population row 1
Lower weight 3 and upper weight 1 make total 4. The upper fraction is 1/4 and upper over lower is 1/3.
Pupper=41,NlowerNupper=31
Population row 2
Lower weight 5 and upper weight 2 make total 7. The upper fraction is 2/7 and upper over lower is 2/5.
Pupper=72,NlowerNupper=52
Population row 3
Lower weight 1 and upper weight 1 make total 2. The upper fraction is 1/2 and upper over lower is 1.
Pupper=21,NlowerNupper=1
Population fractions are explicit-weight fractions
The scan changes only the integer weights. The energy labels stay as training labels, so the population fractions follow the weight ledger.