It is the code that describes it in full. Not saying I understand it. But the proof is in the code not in the description of the technology.
Proof is not in code, implementation is in code. It is very difficult to understand a full consensus system by examining individual lines of code, that's why we have things like whitepapers, for the proofs.
For certain it is difficult and would require a really in depth examination of the code. My only point was that the only place true proof can lay is in examining that code. Any human language description of the blockchain's operation is by nature going to be a simplification or abstraction of what the code actually contains.
So I absolutely agree that it would be difficult to understand but it seemed from your questions that you might require an intimate understanding of the consensus. Details the type of which could only be obtained by examining and understanding the underlying code.
I am not at all trying to halt your questions, just trying to help point to where the answers might be at this time.