oh sorry! I didn't mean to confuse you. Ship as in shipping a piece of software. It's a colloquialism common in tech circles. In this case it refers to the fact that the git repo and proofs contain the binary artefact itself.
Instead of shipping a specification (for your language), you just ship your interpreter.
Instead of shipping a specification (for your language), you just ship your interpreter.