There is still the possibility of a bug or under-specification, but that's always the case in any spec. At least with Opus they document what implementation-def

There is still the possibility of a bug or under-specification, but that's always the case in any spec. At least with Opus they document what implementation-defined behavior they require, so assuming there aren't any hidden bugs then you should get consistent output across compilers.