{
  "type": "object",
  "encoding": "REQUIRED_ONLY_BOUNDED_TYPED_OBJECT",
  "options": {
    "propertyEncodings": {
      "$sort": {
        "type": "array",
        "encoding": "FLOOR_TYPED_LENGTH_PREFIX",
        "options": {
          "minimum": 0,
          "encoding": {
            "type": "integer",
            "encoding": "FLOOR_MULTIPLE_ENUM_VARINT",
            "options": {
              "minimum": 0,
              "multiplier": 1
            }
          },
          "prefixEncodings": []
        }
      },
      "by(x)": {
        "type": "string",
        "encoding": "FLOOR_PREFIX_LENGTH_ENUM_VARINT",
        "options": {
          "minimum": 0
        }
      }
    },
    "requiredProperties": [
      "$sort",
      "by(x)"
    ],
    "booleanRequiredProperties": []
  }
}