"Ship" in software means placing the interpreter into the release bundle, but here it is meant to refer to taking the interpreter as ground truth for formal verification (as opposed to a pristine spec), which sounds like incoherent AI writing.
Usually metaphors are meant to make things easier to understand not harder.
It's a shame that metaphor didn't make sense to you, but alas, you can't win them all.
We can argue the semantics of these words all day, but, I'm more curious, how did you find the technical content of the post?
I'm well aware of how it is used in tech - I've worked in tech for 30+ years.
And frankly, your insulting comments here undermine you further. My English comprehension is well above the average native English speaker, and judging by your comments here I'm not confident I can say the same about yours.
Consider that when multiple people here have issues with understanding you, it says something about your language use, not theirs.
Can you define what the word "ship" means in "ship your interpreter"?
Instead of shipping a specification (for your language), you just ship your interpreter.
No wonder I had trouble understanding where they were going with this!