In this video I test the LED and button operation in two separate steps. This is testing the LUA code and is completely functional.

Unfortunately, as there are limited GPIO pins on the ESP01 module, when testing the buttons, I disable one of the LEDs.

Once I break out some more GPIO pins from the module, I will finalise the code to perform as per the state machine.