Driving the red sideband on one addressed ion lowers the shared motional packet ledger, so later operations on the other ion see the updated mode. The update is exact only for the stated ion, sideband, and packet count; real experiments must account for heating, cross-talk, pulse calibration, and fluorescence-readout uncertainty.
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.
2→1
A red sideband on ion A lowers the shared packet
Ion A cites the same shared packet ledger, ending at packet 1.