Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL (ArXiv cs.LO Recent Papers, 2026)