The same Go code and be compiled for x86, amd64, ARM and runs on Linux,OSX,Windows,FreeBSD,OpenBSD,NetBSD,Dragonfly,NaCL,Solaris and Plan 9. Not many statically compiled languages pull that off.
As soon as you bring a third party dependency, game over.
There are tons of 3 party libraries written in pure platform portable Go that will cause you no issues. In fact the vast majority of 3rd party Go libraries are just as portable as the stdlib.
There isn't pure Go code if it requires to touch the file system, talk to OS using APIs not available in the stdlib.
The moment you depend on libraries outside stdlib, you are opening yourself to dependencies to cgo and/or OS syscalls outside your control.
Even some stdlib packages are UNIX specific, e.g. os.user and log.syslog.
I'm really not, I am missing your point.
The majority of 3rd party Go code simply uses the Go stdlib just like our hypothetical program.
Go is no less platform independent then Java, for example, yes there are some 3rd party Java libraries that use JNI, just like some Go libraries use cgo.
The fact that these native bindings to (often) platform dependent code exist does not make pure Go/Java programs non-platform independent.
Maybe our misunderstanding is what we mean my 3rdp party libraries, I'm thinking of the Go repos people put on github or the Gorilla project (http://www.gorillatoolkit.org/), I am not talking about using cgo to call glibc or something similar.
The thing is, there aren't first and second class 3rd party libraries, all are 3rd party.
Go design leaves a lot to be desired, but at least it is a way to show the younger generations that didn't learned the above listed languages, how memory safe languages can be compiled to native code without a VM in the middle.
OS/400 binaries use portable bytecodes which are compiled into native code at installation time.
Alphas had binary translation between binary formats.
Also, what's wrong with emulation?
However, it's certainly unnecessary (why not just generate the machine code already?), and it generates slower code because JIT compiling is a more difficult task due to the fact that the time limits on the optimizer itself are pretty harsh.