  In this paper, we prove that there is at most one correspondence between
parahoric-spherical representations and semisimple local Langlands parameters
which satisfies certain natural properties. Our proof of this uniqueness
statement is very formal. In particular, the semisimple local Langlands
parameters constructed by Fargues and Scholze yield the unique candidate for
such representations. As a corollary, we prove a conjecture which posits the
compatibility of semisimple local Langlands parameters with parahoric Satake
parameters.
