Machine Logic Sequence Verification with Dynamic Mechanical Machine Elements