would you like one?

sech1: To be fair it would be nice if someone could write out the proof in math. I assume this can be done, right?

that way, it would be less about "the code is true", and more like, here is the notation of how the cryptographic proof is completed. I am far from an expert, but surely the mathematical proof could help explain the process that can be done with the line of code that is mentioned.

But perhaps the notation has been published already (in order to write the code that checks the chain, one assumes)