Proof of Varagnolo–Vasserot conjecture on cyclotomic categories $${\mathcal {O}}$$O