Checking river seems like a huge loss of value for two reasons.

1. As you said some non 0% of the time he will lead his flushes. For this reason his flush combos should be discounted. Ie. lets say a villain that we have this amount of information on would lead his flushes 30% of the time. If this were the case to find the proper amount of equity we have against his range we would multiply the number of combos of flushes by .7 (100%-30%).

2. I see know reason why weaker aces would not be in his calling range. Even if this villain would fold A4 some percent of the time, you don't have information to tell you he would every time. Also you obviously see him having these hands in his range because you included A5 in his shove calling range.


Finally i feel you cannot take sets and 2 pairs out of his range because lol sample for AF. Still, its going to be a shove due to all the A2-AT combos you left out of his calling range.