Well there is some tool that provides some functionalities, and surprise surprise the technical details of how they are implemented is not a mirror image of the

Well there is some tool that provides some functionalities, and surprise surprise the technical details of how they are implemented is not a mirror image of the set of functionalities ! I don't think that makes it a social construct but rather an abstraction made up by the creator of said tool to achieve their goals. Sometimes the abstraction gets a bit leaky as is the case with git, which makes things confusing and messy, but abstraction is in most things in computing.