Verified proof package for a fixed Erdős Problem 125 setup. Certifies a unique target, finite-state Schur conditions, and operator bounds (1/2,I \le W_2(c^*) \le 2,I) on the certified interval. Reproducible and hash-sealed; not a full solution.