pub fn check_failed(
tool_call_id: ToolCallId,
messages: Vec<String>,
result: Result<String, String>,
diagnostics: &str,
) -> WebCodeOutputpub fn check_failed(
tool_call_id: ToolCallId,
messages: Vec<String>,
result: Result<String, String>,
diagnostics: &str,
) -> WebCodeOutput