I want to know the answer to the following question:
What is carefully defined in the standard?
All the background I'm provided with is that "Most decoders are "bitstream compliant", which means that the decompressed output that they produce from a given MP3 file will be the same, within a specified degree of rounding tolerance, as the output specified mathematically in the ISO/IEC high standard document (ISO/IEC 11172-3).". Is that enough to answer the question?