Rethinking Generalization in Reasoning SFT: A Conditional Analysis on Optimization, Data, and Model Capability