It's really interesting to the vagueness of natural language and the fact that it's actually impossible to express a single concrete meaning in natural language. That is to say their is always a set of possible interpretations one can never simple refer to one single thing and a program in a programming language is always only one thing (I know that you could argue that compiling to different machine code means their is vagueness since it might produce a x86-64 binary or a powerpc binary and the issue of UB but you see my point).

I do think that if one simply 'vibe codes' something they can never really understand the program even if they prompted it unless they study the source in detail. In natural language you can only ever point to a set of things that containing a subset of thing(s) you want.