The JSON serialisation format is currently unspecified.
It is intended as a more-or-less direct serialisation of the MappingSet class into the JSON format as specified by RFC 8259, but many details of the serialisation are left unspecified for now.