KP integrability of non-perturbative differentials

We prove the KP integrability of non-perturbative topological recursion, which can be considered as a formal $\hbar$-deformation of the Krichever construction. This property goes back to a 2011 conjecture of Borot and Eynard.