%3 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 ACTIVE ACTIVE LOCKED_IN->ACTIVE always ACTIVE:sw->ACTIVE:nw