Local Coherence or Global Validity? Investigating RLVR Traces in Math Domains