Zack Martin making 4 first team All Pro lists and 2 second team All Pro and made the 2010s all decade team is the leader. ZM will probably be a first ballot guy.
Tyron Smith is a two time All Pro and has made the 2010s All decade team but I think he needs another good year to be a lock. He will probably get in at some point but he’s currently probably not a first ballot lock.
I have it the other way around as of right now
Tyron is 1st team all decade, 7x pro bowl, and 7x NFL top 100 at arguably the #2 most valuable position in the entire sport. He's a fringe 1st ballot guy who plays a premier position.
Interior offensive line is the hardest position to make Canton. Alan Faneca was 9x pro bowl (3 more than Martin currently), all decade team (same as Martin) and 6x first team all-pro (2 more than Martin) and it STILL took him 6 years of eligbility to make Canton.
It's way way more likely that Tyron makes first ballot than Martin, just the nature of the position