在可控方程求解框架下揭示RLVR中推理策略泛化失败现象，指出策略需显式建模难度迁移而非仅依赖奖励信号。