Let's stop forking the hashing algorithm after RandomX (which will fail to achieve the stated goal, like every other attempt) and embrace specialized mining. Enough time has been lost.
I am pretty sure that is explicitly the plan, if you are right. I believe Ricardo Spagni agrees with you on this and wanted to just do SHA3. But the community went with one more shot at ASIC resistance. But I think the plan is if this does not achieve it then we are going to stop trying.