A red sideband rejects only when the start packet has no lower neighbor. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

At packet zero, red energy matches but the move is rejected

The drive energy is still six joules, but packet zero has no lower packet, so the accepted bit is 0.

n=0,Edrive=6 J,a=0n=0,\quad E_{\text{drive}}=6\ \text{J},\quad a=0
Red boundary at packet zeroThe packet-boundary rejection is checked.driveEnergy=6 JstartPacket=0 packetendPacket=0 packetmatchedBit=1 bitacceptedBit=0 bit

At packet one, red sideband can step to zero

The same six-joule drive now has a valid target packet, so the accepted bit becomes 1.

n:10,a=1n:1\to0,\quad a=1
Red sideband from packet oneOne packet can be removed without crossing below zero.driveEnergy=6 JstartPacket=1 packetendPacket=0 packetmatchedBit=1 bitacceptedBit=1 bit

At packet two, red sideband steps down to one

The packet index changes from 2 to 1 with the same accepted bit.

n:21,a=1n:2\to1,\quad a=1
Red sideband from packet twoThe checked row lowers the shared packet by one.driveEnergy=6 JstartPacket=2 packetendPacket=1 packetmatchedBit=1 bitacceptedBit=1 bit

The boundary is about packet availability, not drive energy

All three rows show the same six-joule red drive. Only the starting packet decides whether the target packet is legal.

nstartEdrivenenda06 J0016 J0126 J11\begin{array}{c|c|c|c}n_{\text{start}}&E_{\text{drive}}&n_{\text{end}}&a\\0&6\ \text{J}&0&0\\1&6\ \text{J}&0&1\\2&6\ \text{J}&1&1\\\end{array}
Red packet-boundary cross-scanThe middle accepted row is the displayed source.driveEnergy=6 JstartPacket=1 packetendPacket=0 packetmatchedBit=1 bitacceptedBit=1 bit