What is semantics in this context? When I use the word, I generally think about "what I mean" when I use a word, or a symbol. Then there is the alternative "interpretations" of that symbol. The hope with good semantic tooling is that these things match up. If they don't then there is ambiguity. At what levels are you attempting to resolve ambiguity? Concept, code, etc. And what challenges remain?

Finally, with your findings you could theoretically turn around and produce your own "semantics friendly" language/toolings, are there plans for that?

Thanks for your time.

This might sound insane, but there is a literal cult taking over Microsoft with the explicit intent on spying on people and dominating the conversation regarding privacy. Just a hunch.

They can create a special kind of Authentic GitHub signing that guarantees that the source you see is responsible for the binary being downloaded.