Are you saying that Lua's TCO is an accidental feature due to the first implementation having it? How accurate is that?

What? No, I'm definitely not saying that.

I'm saying it isn't very useful argue about whether a feature is a feature of the language or a feature of the implementation, because the language is pretty useless independent of its implementation(s).