He's not proven guilty because the issue is did he cheat OTB when he played Magnus. The answer is no.
Here is a quote from the report[1]:
"Despite the public speculation on these questions, in our view, there is no direct evidence that proves Hans cheated at the September 4, 2022 game with Magnus, or proves that he has cheated in other OTB games in the past."