This was of interest to me at one point since I think a 3.5 C rating is like a lead weight that pulls down progress.
Not sure if or how the numbers would work, but seems a 3.5 playing up in a 4.0 league would have a lower rating than a 4.0 S getting verified with 5 matches.
So say a 3.5 starts at 3.40 and then a 4.0 S
They both play the exact same 5 matches in a 4.0 league and scores are as follows (dubs):
Match rating/score
3.80 / 7-5, 6-2 W
3.45 / 4-6, 1-6 L
3.32 / 4-6, 3-6 L
3.60 / 5-7, 3-6 L
3.65 / 7-5, 0-6, 0-1 L
Unless a 3.5 playing up has some rating factor mixed into the match score, I beleive the 4.0S would come out with a higher rating in the end with exactly the same play.