The Generalised Riemann Hypothesis for Dirichlet L-functions via Rudnick–Sarnak correlations and linear programming | Synapse