Non-factorization of the semi-inclusive neutrino-proton cross section