Merge "Formalize DisconnectCause API" into main