Of course I think it is desirable. Why would I think not?
I don't know what your desires are unless you express them.
But if the core mechanism provided perfect security and instant validation of millions of simultaneous payment requests of value from tiny fractions of a BTC to billions of BTCs, why would that not be desirable?
Perfection would be nice of course. But it would be just as nice to me to have mechanisms handling that outside of the core mechanism.
The closer we can push the core mechanisms to that ideal imaginary goal, the better, all else being equal.
That's not realistic, you'll always have trade-offs.
First however we need to reverse engineer the protocols, validate that specification with the successful implementation of alternative, fully compatible, clients, and subject the network behavior to a rigorous algorithmic complexity analysis. I presume there are others with similar goals, who have already made some progress in such directions. As I read through old posts on this forum, I will likely find postings mentioning such efforts.
Yes, there is a documentation of the protocol.