-Categorical Generalized Langlands Correspondence II: Langlands Program Formalism | Synapse