I made a decider for translated cyclers in python today:
As intended, it seems to decide exactly the translated cyclers (i checked around 200 TMs it didn’t decide and none of them were translated cyclers, and i checked around 30 TMs it decided and all of them were translated cyclers), and it should be pretty easy to verify, unless there are mistakes like forgetting a +1 somewhere. I was told to post it here.