But it clearly doesn’t teach that Catholics MUST believe in the literal and historical truth of the creation of Eve from the side of a sleeping adult Adam (let’s call it EFAS for convenience), which it should do if that belief has been proposed infallibly.
What the Church actually teaches is a matter of fact not an infallible matter (in other words, EFAS might have been declared infallibly, but the Church certainly doesn’t teach that it is a required belief of Catholics today). Phil knows far more than I do about this, but it is clear , even to an amateur like me that what the Church teaches does not REQUIRE Catholics today to believe in EFAS. So for example the famous encyclical Humani Generis of Pius XII:
“For these reasons the Teaching Authority of the Church does not forbid that, in conformity with the present state of human sciences and sacred theology, research and discussions, on the part of men experienced in both fields, take place with regard to the doctrine of evolution, in as far as it inquires into the origin of the human body as coming from pre-existent and living matter”
JPII: "Today, almost half a century after the publication of the encyclical, new knowledge has led to the recognition of the theory of evolution as more than a hypothesis. It is indeed remarkable that this theory has been progressively accepted by researchers, following a series of discoveries in various fields of knowledge. The convergence, neither sought nor fabricated, of the results of work that was conducted independently is in itself a significant argument in favor of this theory.
Benedict: “While the story of human origins is complex and subject to revision, physical anthropology and molecular biology combine to make a convincing case for the origin of the human species in Africa about 150,000 years ago in a humanoid population of common genetic lineage. However it is to be explained, the decisive factor in human origins was a continually increasing brain size, culminating in that of homo sapiens. With the development of the human brain, the nature and rate of evolution were permanently altered: with the introduction of the uniquely human factors of consciousness, intentionality, freedom and creativity, biological evolution was recast as social and cultural evolution.”
It’s abundantly clear that the current Church leadership accepts at least the possibility that the scientific theory of evolution is correct, and, more importantly, does NOT teach that Catholics MUST believe EFAS. If you can show that the Church leadership does teach EFAS infallibly today then you can have your option 4. Otherwise, and this is actually the case, option 4 is not available to you and you have to choose from 1, 2 or 3 (and if you insist the proposition HAS been made infallibly, then you have to include Pius XII, JPII and Benedict XVI in your statement: “it is some Catholics are heretics”).
Alec