One of the things I feel are underrated here, is that this spec ships with implementations written by different people in different languages.

The fact these are interoperable confirms they meet the spec.

Contrast to Argon2, where recent independent implementations found the reference implementation was incorrect.