We chose to set the AlignIFO node ready for locking the arms in LockingArmsGreen. Since the Down state is mostly stuff to stop actuation when we lose lock, we don't touch the AlignIFO node in that state. Once you get to LockingArmsGreen, immediately after Ready, the ISC_LOCK guardian will set the AlignIFO node appropriately.