I would expect ability driven bimodality to show up in courses that present new types of challenges that were not in previous courses. That is where you'll get students who either do or don't master key concepts, and where they go from there depends on their mastery of those concepts.
For computer science, one of those key concepts is reasoning about state manipulated through a layer of indirection. The infamous "getting" pointers issue.
In the case of real analysis, it is an issue of switching from "Can you apply known operations to produce the right answer?" to "Do you understand the structure of the reals well enough to prove it?".
Is this really the case in general? My math degree curriculum started with 100% proof-driven classes almost immediately, long before most people got around to taking real analysis. It was my impression that that kind of approach was fairly ubiquitous.
I strongly question the value of having the professor recite proofs that the students do not really understand. However it is traditional to do that.
The first course where students are expected to write their own proofs varies. My personal experience was that the transition happened in third year courses aimed at math majors. So I began writing proofs in abstract algebra and real analysis. But not in my third year differential equations course that was required for engineering and physics majors.
When I was in grad school at Dartmouth, they introduced it earlier in a linear algebra course. I taught the last linear algebra course that did that, the next quarter they took proofs out of it.
My impression was that it worked fine for the majority of the other students as well, but I don't have tons of data on that or anything.
Talk to people who went to other universities and I'm confident that you'll find my experience to be more common.
I think the 100 level is the place where such a bimodality is most likely to exist and investigation ought to be focused there.
(FWIW my analysis course was also bimodal.)
At the same time, I was quite convinced that I could no more have successfully graduated as a math major--no matter how hard I worked--than I could have successfully flown through the air by flapping my arms. By contrast, I'm reasonably confident that I could have gotten through pretty much any other majors, whether engineering or something else.
* some people studied both Topic 1 and Topic 2
* some people studied Topic 1 more than Topic 2
* some people studied Topic 2 more than Topic 1
This would cause bimodality even when inherent "genetic" skill is the same.
You comment also presumes there are no students who can study well enough to pass all exams. Considering the ease of 100 level courses CS courses acing that and another 100 level is not exactly hard.