A bit-flip error channel maps a finite input vector to a finite output vector. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

One fifth of zero shots flip

The declared bit-flip channel moves 1/5 of the 100 zero shots into the one bucket.

10015=20100\cdot\frac{1}{5}=20
Bit-flip channelThe output one bar is bound to the moved count.1zero0one4/5zero1/5onechannel map

The rest remain in zero

The remaining share is 4/5, so 80 shots stay zero and 20 shots become one.

Nout=(80,20)\vec N_{\text{out}}=(80,20)
Population budgetPopulation moves between visible buckets.1zero0one4/5zero1/5onechannel map