Miami is unfortunately locked into a number of very high value contracts for aging veterans that they can't trade away and can't cut either due to salary cap implications.
Best move this year is drastic but simple. Trade back where they can, and use every available pick on offensive linemen. I'd like Miami to come out of the draft with at least eight offensive linemen, and hopefully two or three viable starters. Miami's current weak line breaks the McDaniels offense - it simply does not work.
The Dolphins are stuck with Tua due to the guaranteed deal. It makes more sense to upgrade the line this year and then try for a franchise quarterback in 2026 should Miami do what it's trending towards - a bottom place finish next year.