There is such a bug

The execution of your turing machine program stops when the machine
emulator will encounter the only one minus remained uncrossed.
This does not correspond to the problem text:

"The work of the Turing machine is considered to be done if no line
in the control table contains the combination of the current
character and condition".

because we're not explicitly required to implement the suggested
brute force Josephus' problem algorithm.

2Admins: please, check this out and write clarifications if possibble.