  We prove that the trace of the Frobenius endofunctor of the category of
automorphic sheaves with nilpotent singular support maps isomorphically to the
space of unramified automorphic functions, settling a conjecture from
[AGKRRV1]. More generally, we show that traces of Frobenius-Hecke functors
produce shtuka cohomologies.
