Blue Sideband on the Other Ion Updates the Same Mode
The other ion cites the same shared mode contract. 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 3.
2→3
A blue sideband on ion B raises the same shared packet
Ion B cites the same shared packet ledger, ending at packet 3.