Diagnostic Session Type