I think you're low balling the contract for Brantley and Miller. Brantley even hurt last year was worth a win and a half, and will be at least two this year. That suggests his value should be in the 12-15 a year range. The last two years suggest Miller is worth 20 million a year. We will see how the rest of the year pans out, but if Miller stays healthy, hard to see him getting less than 15 from a big market team. Cody Allen's an interesting case, he's been pretty bad this year. However, if I'm being frank, looking at the history of relievers who have spent several years playing for Tito, I think letting Allen go make sense. Look at how production has fallen for relievers who have a lot of appearances/heavy usage in recent years (Dan Otero, Bryan Shaw, Andrew Miller, Cody Allen),
Also worth noting, the salary for Lindor is probably going to be around 11 million next year unless Cleveland signs a long term contract. Kris Bryant signed for 10.7 as an Arb 1, and his production was lower than Lindor's.