You seem to have little understanding of the cap. You make that clear when you state "if Miguel is right".
=============
Once Revis is either extended or cut, we would save anywhere from $9M to $20M; let's presume ONLY $9M.
There are additional restructures available (without changing compensation) that could make another $17.5M available (Wilfork, Mayo, Arrington, Browner, Brady, Gronk, Vollmer)
Cutting Amendola could "save" another $2.1M.
Extending Solder could save another $2M.
The total potential cap savings that is available without cutting anyone but Amendola is $30.6M (or more if the Revis savings is more.
=================================
BOTTOM LINE
Obviously, all the restructures won't happen. And yes, we could cut more than Amendola. The potential total is $9M + $17.5M + $2.1 +$2M = $30.6M less the $4M we are over for a total of $26.4M UNDER the cap. Let's say that $6.4M is needed for rookies, in-season and other costs (the number used in last year's estimates). That gives a potential total of $20M to work with.
As you say, much MORE than $20M could be made available. We could cut any of the following and "save" even more: Wilfork, Mayo, Arrington, Browner, or even Solder. Or we could get one of them to take a pay cut. No additional cut is "needed". The open question is the value of these players.
So, we can have $20M available to sign the following or their replacements: McCourty, Ayers, Casillas, Branch, Vereen, Connolly, Ridley, Gostkowski and White.
=======