There is no way to do sharding of smart contracts without breaking the Nash equilibrium that creates a majority consensus instead of many competing forks.
Considering that you have spoken kindly of Lucius Gregory Meredith (publicly) and have recognized him as a competent academic, I am having difficulty accepting that his comments on this issue are based on false pretenses.
I recognize that he appears to be a bonafide published research academic and I am not although I also do informal research and some math.
He also appears to be getting paid to say what people want to hear.
He is also making sweeping statements in video Hangouts such as "we modeled everything for Casper mathematically using process calculus and Nash equilibrium doesn't apply", without providing a complete derivation and detailed mathematical explanation. I have stated that I believe he is (either intentionally or unintentionally) not pointing out that modeling the consensus-by-betting does not mean the model won't show that there are flaws in convergence and/or that the model does not consider the externalities that apply to the Nash equilibrium.
In short, I believe he has some serious blind spots in his analysis, similar to the blind spots I allege about his white paper for Synereo.
Yeah he is intelligent and so am I. And I am sure who is correct on this matter (and isn't him). I will be vindicated in the end. But it really doesn't matter because I am working on my own project and by the time I am vindicated, my project will be worth more than Ethereum.
I don't have much more time to waste on this Ethereum shitcoin/Dapp nonsense. My stance is derogatory towards Ethereum and its shills, because I am confident is a scam that will never be adopted by users and is also an illegal unregistered security offered to unqualified USA investors.