Here is the paper in arxiv the article is refering to for anyone else interested https://arxiv.org/abs/2402.06603

Though maybe just the proof outline section is enough for a Saturday.