That isn't what it sounds like. From what Elias said it is easy to put guys on 60 man roster but hard to take them off. So I suspect if he isn't on it by now he won't be on it. As he would be a guy who would not be removed.
My biggest wish for the new CBA is scrap the current free agent setup and make everyone a free agent at 28. You get the best players in the majors much faster (which could help with tanking), and you eliminate the Carlos Ruiz problem, where a guy who comes up late is never a free agent until he's well into his decline.
Definition: played MLB for parts of 10+ seasons, and a creative writer can come up with some kind of story about them that sounds superficially good.
Jack Morris got in because he was arguably the best starting pitcher between Nolan Ryan and Roger Clemens (yes, they overlapped, shhh). Jim Rice got in because he was the most feared hitter in baseball among Fenway sportswriters. Harold Baines got in because everyone (except some other people) with 2866 hits is in.
So, sure, 40 wins and leading the majors in homers in the 2010s could get him a plaque. I don't even think you need the "goes strong for a few more years" qualifier. He's already better than Baines, and nobody cares about PEDs if you're nice. Only bitter, vindictive PEDs count against you.