In quantum geometric Langlands, the Satake equivalence plays a less prominent role than in the classical theory. Gaitsgory--Lurie proposed a conjectural substitute, later termed the fundamental local equivalence, relating categories of arc-integrable Kac--Moody representations and Whittaker D-modules on the affine Grassmannian. With a few exceptions, we verified this conjecture non-factorizably, as well as its extension to the affine flag variety. This is a report on joint work with Justin Campbell and Sam Raskin.