The only real gender based problems she had were related to male co-worker's responses to female co-workers hula-hooping, as I remember it.
There wouldn't be much evidence of personal harassment, particularly the kind described by Horvath.
Criminal and civil investigations are not scientific investigations. They may make use of science, but they are not scientific. To import the language of science--actually neo-Popperian pop-cultural language about science--into a discussion of an internal investigation into harassment claims is highly suspect.
Your claim aside, these are weasel words. The way to discover the fact that they are is to appropriately apply language akin to that of jurisprudence, rather than inappropriately apply that of science.
Do we know the name of the "full, independent, third-party" investigator(s)? Do we know who paid for them, their methodology, and whether they reported to Horvath, giving her oversight?
Or are investigators the same, like software contractors?
It would be very dumb of GitHub to state that there is no evidence if there is evidence that Horvath could turn up. (Granted, sometimes companies are dumb.)
Failure to find is distinct from a negative result.
You can't test for failure to find, just as you cannot test for statistical insignificance.