A good spec should define all those corner cases. With Json, it's possible for two bug free libraries to take the same input and produce a different output.