And that was my initial thought too, but if it was a sticking microswitch (as you say, fed by a permanent live feed), the switch would remain stuck, even after I cut the power to the stat.
So, programmer would show as HW off, but the stuck switch would mean the end circuit is still closed and...