Hello I already completed this kind of projects you may see my profile on upwork.
I will deliver the machine .mch file, the structure diagram and invariant explanation and the animation .dot file and show you how to run everything, along with the a complete explanation of the specifications.
Cheers