Comment by bobmarleybiceps

guaranteed, up to lean itself having bugs that are exploited by the LLM :shrug: