So I'm still not following. You say it is infeasible for a lab to generate sars2, yet it seems Fauci thinks it is feasible enough to fund an attempt.
If I understand your argument, you claim sars2 is too genetically different from the closest public sequences to have been lab engineered. But, what precludes a lab from discovering a virus in the wild that is close to making the jump, and then pushing it the rest of the way? I am not understanding the argument that we have to limit the range of possibility to only the publicly disclosed virus sequences.
For example, if you line up the ace2 site between sars2 and sars, they have a lot of similarity. This author claims the section is essentially copied over, although I don't know if it is statistically significant enough to not just be an accident.
https://nerdhaspower.weebly.com/blog/scientific-evidence-and...
So, a "lab origin" theorist could say they isolated a virus in the wild, and copied over the ace2 section from sars, and then ran it through human tissue until it gain enough function to spread effectively in the human population. Is that less or more likely than a coronavirus in the wild mutating enough to make such a lethal jump to humans? Is there any way to put a probability on the two theories?