Congruence sheaves via Hecke kernels.