 Controlled-Z update in the binary phase representation

Conjugation by a Controlled-Z gate leaves the $a$ bits unchanged and updates the displayed $b$ bits and phase, using the old bits. The phase occurs when the extra $Z$ from one line is moved past $X$ on the other line. These constant-size updates support Heisenberg propagation of a Pauli observable through a Clifford circuit.