This upload contains the corrected three-part Robin–Mertens proof package. 1. Appendix_RH_en.pdfThis appendix establishes the logarithmic bridge needed in the final Robin argument. It separates the primorial identity log n = θ(p_k) 5040, namely p_k=P(N)5040 and hence the Riemann Hypothesis. This version supersedes earlier drafts in which the swap argument and the interpretation of the J_1-tail were stated too strongly. The corrected formulation removes those proof-line dependencies and uses only the minimal-counterexample bridge and the certified upper-envelope deficit.