DEFINED DEFINED DEFINED:sw->DEFINED:nw STARTED STARTED DEFINED->STARTED height >= start_height STARTED:sw->STARTED:nw MUST_SIGNAL MUST_SIGNAL STARTED->MUST_SIGNAL height + 2016 >= timeoutheight AND lockinontimeout FAILED FAILED STARTED->FAILED height >= timeoutheight AND NOT lockinontimeout LOCKED_IN LOCKED_IN STARTED->LOCKED_IN height < timeoutheight AND threshold reached MUST_SIGNAL->LOCKED_IN always FAILED:sw->FAILED:nw LOCKED_IN:se->LOCKED_IN:ne height < minimum_activation_height ACTIVE ACTIVE LOCKED_IN->ACTIVE height >= minimum_activation_height ACTIVE:sw->ACTIVE:nw