I put the code in the wokwi and wired up a servo that they have.
Could you post the link please.
Where do the trigger signals come from and how long do they last?
See the comments at the start of void()
the LED has to be KA blue! Who signed off on this late change?
Yep, went against the grain, but my veroboard circuit already had only a yellow one available 
I'll study your detailed points fully later. How confident are you that the simulation accurately reflects the real circuit action? A servo alone would be sufficient. Those servo timings have proved consistently reliable for pressing the CUBE's stiff button.
Terry