Equatorial measurement of a graph-state leaf

Let $1$ be a leaf with neighbour $2$ and let the graph on the other vertices be generated by the Controlled-Z gate product $E_{\mathrm{rest}}$. If the leaf has Pauli Z gate frame $Z_1^r$, measuring it at angle $\alpha$ with result $s$ applies one-bit teleportation and leavesAny known Pauli Z gate frames on other vertices remain as additional factors before those vertices' input states. The identity $J(\alpha )Z^r=X^{r}J(\alpha )$ combines the leaf byproduct with the measurement result.