I believe we can agree it is widely accepted that RFC 7159 1 defines what JSON is, so it should at least be mentioned in this spec.
My suggestion is that the spec defines that any outcome of the JSON encoding conforms to RFC 7159 1 and also defines edge cases when it wouldn't. (Although I think the outcome should always conform no matter what.)