I'm trying to figure out the arithmetic analogue of a key conjecture in the geometric local Langlands correspondence. Briefly, one expects for $K=\mathbb{C}((t))$ an equivalence of dg categories $$\operatorname{BiWhit}(\mathcal{D}\operatorname{-mod}(G(K)))\cong\operatorname{QCoh}(\operatorname{LocSys}_{\hat{G}}(D^\times)).$$ Here, $G$ is some reductive group with Langlands dual $\hat{G}$ and $\operatorname{LocSys}_{\hat{G}}(D^\times)$ is the stack of local systems on the punctured disk. The left hand side is the dg category of Bi-Whittaker $\mathcal{D}$-modules on the loop group. This conjecture is what allows you to formulate the compatibility condition the (tempered) geometric local Langlands correspondence should satisfy.

Now let's move to the arithmetic setting (where I really understand very little - hopefully not all of this will be nonsense.) Take $G$ some group over $\mathbb{Q}_p$, let me assume split for now.

The naive decategorified translation of this is an isomorphism of two rings. Fixing some Whittaker character $\chi$ of $N(\mathbb{Q}_p)$, I can take the set $R$ of locally constant functions on $G(\mathbb{Q}_p)$ which transform under the left and right actions of $N(\mathbb{Q}_p)$ by $\chi$ and $-\chi$, respectively (I am not 100% sure of these signs.) The ring structure on $R$ will be given by convolution, not multiplication of functions (and I probably need Rodier's compact approximation mentioned below to define it.)

The second ring $S$ will be a subalgebra of the algebra $S_0$ of complex-valued functions on the set of Galois representations into $\hat{G}$. Namely, for every element $g\in\operatorname{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)$ (EDIT: The Weil group is almost certainly the better object to take here) and every conjugation invariant function $f$ on $\hat{G}(\mathbb{C})$, I get an element of $S_0$ given by evaluation of $f$ on the conjugacy class of $g.$ Take $S$ to be the subalgebra generated by these elements, varied over all $f$ and $g$.

Question 1: Are $R$ and $S$ (conjecturally) isomorphic?

Assuming a positive answer, one might try to formulate a compatibility condition for (tempered) local Langlands as follows. Given a tempered irreducible $G(\mathbb{Q}_p)$-representation $V$, the LLC assigns to it some Galois representation $\sigma_V$. The analogy with the geometric case suggests that the space of Whittaker functionals should be one-dimensional, and that there should be an action of $R$ on this space which corresponds to the one-dimensional representation of $S$ coming from $\sigma_V.$ My impressions are that the action of $R$ is definable using Rodier's compact approximation to the Whittaker model (to get around the non-compact-supportedness of bi-Whittaker functions), and that it is a theorem that for any $V$, this space of Whittaker functionals is at most one-dimensional.

Question 2: Is there anything like this phrasing of the properties that LLC is should satisfy in the literature?

The closest thing I can find is Scholze's characterization of LLC in "The Local Langlands Conjecture for $GL_n$ over $p$-adic fields." There he describes (up to something about cutoff functions that I don't yet understand) a map from $n$-dimensional Galois representations to compactly supported functions on $GL_n(\mathbb{Q}_p)$ which seems like it should describe a compact approximation of a map $S\rightarrow R$.