A few months after offering an 11th-hour pact with creditors as triumphant proof they’d saved the Coconut Grove Playhouse from the auction block, Miami-Dade County officials are adding a big asterisk to previous statements.

In a fitting third act to what has been a dramatic effort to regain public control of the historic Miami theater, the future of the space now seems headed to litigation.