Semi-infinite flags. II: Local and global intersection cohomology of quasimaps spaces Mod \(\ell\) representations of arithmetic fundamental groups. I: An analog of Serre's conjecture for function fields 