 Spin-one transverse measurement after axial precession

Prepare the $J_1=+\hslash$ spin coherent state and evolve with Hamiltonian operator $H=\omega J_3$ for time $t$. In the descending-$J_3$ basis of the spin-one angular momentum matrices, the initial vector is $(1,\sqrt{2},1{)}^{\mathsf{T}}/2$ and the evolved vector is $(e^{-i\theta },\sqrt{2},e^{i\theta }{)}^{\mathsf{T}}/2$, where $\theta =\omega t$. The $J_1$ orthonormal basis has vectors $(1,\sqrt{2},1{)}^{\mathsf{T}}/2$, $(1,0,-1{)}^{\mathsf{T}}/\sqrt{2}$ and $(1,-\sqrt{2},1{)}^{\mathsf{T}}/2$. Taking their inner products with the evolved vector gives probability amplitudes $(1+\cos \theta )/2$, $-i\sin \theta /\sqrt{2}$ and $(\cos \theta -1)/2$. Their squared moduli give the Born rule probabilities in the title. At integer half-turns $\theta =\pi k$, the outcome is deterministically $(-1{)}^k\hslash$.