yes, all these points are true under consideration of the points mentioned in this and the linked thread
I have one point to add. I think what @Phil said is not only limited to the software, but also applies to the hardware. If, for example, you have one robot with wheels that is faster but not good with debris and one with chains that is slower but can handle debris well, you are not permitted to select them based on the arena as well. @RCJ-RescueTC, please correct me if I am wrong, but the robots should probably be substantially identical in every aspect to be permitted to participate both.
To summarize, you are allowed to have redundancy, but you are not allowed to have different robots for different strategies.
RoboCup Montreal OC