Armstead was under contract through 2026. The Dolphins could delay processing the retirement until after June 1. That would ...