Generic vanishing theory in positive characteristic | Synapse