User blog comment:Superiumentarius/Turing machine state reduction/@comment-80.98.179.160-20180312170256

If I'm correct, that equals the Weakly Compact Cardinal #1. (I talked about K)