Until now, evidence for non-additivity in minimum Rényi entropy relied on numerical approximations up to approximately p = 0. 11 without verifiable proof. This work establishes an exact violation, demonstrating $S_p^{\min}(\mathrm{N}R\otimes\mathrm{N}{\bar S}) < S_p^{\min}(\mathrm{N}_R)+S_p^{\min}(\mathrm{N}_{\bar S})$, and provides a computer-verifiable certificate valid up to order p ≤ 1/22.
