Measurement of a spin-1 system

We derive exact formulas describing an indirect von Neumann measurement of a spin-1 system. The results hold for any interaction strength and for an arbitrary output variable $\text{Hat}O$.