A Residual-Exclusion Approach to the Riemann Hypothesis in the Nyman--Beurling--Baez-Duarte Framework | Synapse