Chern-Simons number diffusion with hard thermal loops | Synapse