Hamiltonian energy of a measured state

Yes that looks good to me