Accepted red sidebands lower the shared packet source by one. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

Accepted red sideband lowers the shared packet by one

The addressed ion stays A. The shared-mode ledger cites the red sideband start and end packets.

nshared:10,a=1n_{\mathrm{shared}}:1\to0,\quad a=1
Shared red packet row 0The shared mode cites the accepted sideband.driveEnergy=6 JstartPacket=1 packetendPacket=0 packetmatchedBit=1 bitacceptedBit=1 bitionA=AionB=BaddressedIon=AstartPacket=1 packetendPacket=0 packetacceptedBit=1 bit

Accepted red sideband lowers the shared packet by one

The addressed ion stays A. The shared-mode ledger cites the red sideband start and end packets.

nshared:21,a=1n_{\mathrm{shared}}:2\to1,\quad a=1
Shared red packet row 1The shared mode cites the accepted sideband.driveEnergy=6 JstartPacket=2 packetendPacket=1 packetmatchedBit=1 bitacceptedBit=1 bitionA=AionB=BaddressedIon=AstartPacket=2 packetendPacket=1 packetacceptedBit=1 bit

Accepted red sideband lowers the shared packet by one

The addressed ion stays A. The shared-mode ledger cites the red sideband start and end packets.

nshared:32,a=1n_{\mathrm{shared}}:3\to2,\quad a=1
Shared red packet row 2The shared mode cites the accepted sideband.driveEnergy=6 JstartPacket=3 packetendPacket=2 packetmatchedBit=1 bitacceptedBit=1 bitionA=AionB=BaddressedIon=AstartPacket=3 packetendPacket=2 packetacceptedBit=1 bit

The shared ledger moves one packet down from each source packet

Each starting packet drops by one shared-mode step. The accepted bit stays high because none of the rows crosses below the boundary.

ninfa101211321\begin{array}{c|c|c}n_i&n_f&a\\1&0&1\\2&1&1\\3&2&1\\\end{array}
Shared packet source scanThe middle two-packet shared row is displayed.driveEnergy=6 JstartPacket=2 packetendPacket=1 packetmatchedBit=1 bitacceptedBit=1 bitionA=AionB=BaddressedIon=AstartPacket=2 packetendPacket=1 packetacceptedBit=1 bit