Apparently @axiommathai and @KenOno691 are silent here, a human (Youness Lamzouri) has "digested" and given a better proof of this: arxiv.org/abs/2609.02882