I want to set aside the performance issues for the moment and focus on the impossibility of granting both Partition tolerance and retaining Consensus/Consistency and Availability/Access, which the CAP theorem states is impossible. I know many developers want to delude themselves into believing the CAP theorem only applies at the a lower level semantic layer of the distributed network, but I intend to challenge your explanation in order to prove that is a delusion.

It is my understanding from evaluating possible designs, that if transactions are allowed to span partitions (a.k.a. shards), then it is impossible to prevent a double-spend by spending on two or more partitions (i.e. maintain Consistency) unless all partitions verify each other, which of course defeats the scaling benefits that partitions were intended to provide (and really just eliminates the partition tolerance). And if transactions are not allowed to span partitions (i.e. they can only transact to the validators in their partition), then it is impossible for a transaction to become unstuck (i.e. regain Availability) if all the authorized validators for the partition are censoring the transaction, are unreachable or have stopped being validators. It is possible to change the set of validators periodically such as based on the progression of the block chain (e.g. Dash Evolution quorum), but this makes it impossible to objectively detect a 51% attack (which is one of the aspects my design attempts to improve). I solved this issue by allowing BOTH partitioned transactions and spanning transactions where the latter conforms to the normal Satoshi longest chain rule (but with my unprofitable PoW improvement). Also there remains the issue that there must be a global consensus that all partitions were validated correctly, yet if all partitions validate each other, then the scaling advantage of having partitions is lost. You mention Merkel and Patricia trees to provide cross-partition transactions? I think it is impossible to achieve my solution and provide security without a (either PoW or PoS) chain, i.e. that Partion tolerance must be limited to intra-block because there still needs to be a consensus around whether a transaction has spanned a partition and thus if we introduce partition tolerance interblock then we will lose either Consistency or Availability. Also note PoS has Nash equilibrium failure modes which PoW doesn't have, so I chose PoW but improved it by making it unprofitable.

Afaics, Ethereum has an additional insoluble challenge which eMunie, Iota, and my design do not have to solve. That is they have to guarantee ordering of contract execution is Consistent even within a partition, which afaik (from Computer Science fundamentals) is impossible unless the scripts are 100% dependently typed; because otherwise they are not commutative and the permutations of orderings with the unbounded recursion of general scripting results in the block chain state being indeterminate. If one instead argues that any partial ordering will suffice (just chose one arbitrarily), this is equivalent to arguing that contract ordering doesn't matter, i.e. that they are commutative. It is a circular logic. So I really have no idea what the designers of Casper are thinking