How do you differentiate between something that "happens to work due to an implementation detail" and a "proper feature that's specified to work" in a language without a specification?

In a language without a spec? You don't. But python has a very strong spec.

There's still documentation.