it appears you are right...
All this because I made a trade for a key player, then negotiated some new long term contracts, which in turn bumped my next season salary over the 80% limit before the trade completed. The only option I had was to release the only guy on my team with a mutual option next season to clear up the salary. It worked, but I just missed out on getting some value for him next season when I would have rejected his option and let him go to FA.