Addressing one ion updates the shared packet source. 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 addressed ion uses a checked drive

The drive starts from packet 2 and ends at packet 1.

212\to 1
Red sideband updates shared mode driveThe drive packet update is checked first.driveEnergy=6 JstartPacket=2 packetendPacket=1 packetmatchedBit=1 bitacceptedBit=1 bit

A red sideband on ion A lowers the shared packet

Ion A cites the same shared packet ledger, ending at packet 1.

nshared:21n_{\text{shared}}:2\to 1
Red sideband updates shared modeThe shared-mode check cites the drive and trap source.driveEnergy=6 JstartPacket=2 packetendPacket=1 packetmatchedBit=1 bitacceptedBit=1 bitionA=AionB=BaddressedIon=AstartPacket=2 packetendPacket=1 packetacceptedBit=1 bit