Here is the point. Lucca isn't currently redshirting, he is forfeiting a number of games which happens to equate to the entire season because of what the NCAA has ruled as pro competition. He will never get those games back. They are effectively saying that he has already competed in them.
IF his appeal goes through, the suspension reduced and he were to play even ONE game, he wouldn't be eligible for a redshirt--because the games forfeited would count as already played. Also, in medical redshirt or other hardship rulings, when a player plays a portion of a season, are considered only if the player competes in the first 30% of the season. If Lucca got to play in one game, it would simply be the thirtieth (or however many) of his freshman season.
The only hope would be if he would sue the NCAA next summer, have the suspension overturned, and regain those lost games and eligibility. I don't think that is going to happen, one way or another.