Samochan
Smash Master
<_<
Canonically, Red has the pokemons from HGSS. Those you mentioned Raizen are only his pokes from Brawl and not the actual game he has appeared on. But as you play Red on RBY, canonically you are allowed to use other pokemons too. And as Johto, Kanto and Sinnoh are easily traveled around... there's really no reason to limit Red's pokemon choices, especially when you can find pokes from all generations from Johto and Kanto alone (hgss).
Canonically, Red has the pokemons from HGSS. Those you mentioned Raizen are only his pokes from Brawl and not the actual game he has appeared on. But as you play Red on RBY, canonically you are allowed to use other pokemons too. And as Johto, Kanto and Sinnoh are easily traveled around... there's really no reason to limit Red's pokemon choices, especially when you can find pokes from all generations from Johto and Kanto alone (hgss).