> The conditional branch counter on the other hand, stays at zero no matter how many interrupts land.

Is this actually guaranteed anywhere?