Bounded-effect theorem

The primary release is the first assertion for the explicitly constructed Pauli settings and their postprocessings. An arbitrary spectral measurement of $F_E$ would require its own finite control construction or would instead be estimated tomographically.