emergencyCall only works if (fundBalance > this.balance)

emergencyCall only works if (fundBalance > this.balance)

This means that if the invariant is maintained, but some other unknown event requires that the ETH should be sent to the workshop immediately, there is no such mechanism. Another emergency function (perhaps invokable only by the Guard) could be desired.

Start by locating the emergencyCall entry point and reviewing the balance invariant described in the issue. Determine the expected emergency path, including whether the Guard should authorize it, and clarify what conditions and behavior would count as done before making a change.

Written by the indexing model from the issue text.