Addressing either ion still updates the same shared motional packet ledger. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Ion a uses red
The addressed ion is A. The shared mode records packet 2 to 1 from the cited sideband.
nshared:2→1,a=1
Ion b uses red
The addressed ion is B. The shared mode records packet 2 to 1 from the cited sideband.
nshared:2→1,a=1
Ion b uses blue
The addressed ion is B. The shared mode records packet 2 to 3 from the cited sideband.
nshared:2→3,a=1
The shared packet belongs to the mode, not to a private ion
Changing which ion is addressed does not create a second packet ledger. The red rows end at one; the blue row ends at three.
rowion A uses redion B uses redion B uses bluenstart222nend113a111