Tame local Betti geometric Langlands

We prove a monoidal equivalence between spectral and automorphic realizations of the universal affine Hecke category, thereby proving the tamely ramified local Betti geometric Langlands correspondence, as conjectured by Ben-Zvi--Nadler [BZN07, BZN18]. Specializing to the case of unipotent monodromy, this provides another argument for a fundamental theorem of Bezrukavnikov [B16].