How can you possibly verify an implementation without verifying the code???
Did you mean verifying the integrity of the concept?
Where did I write that I verified anything w.r.t. to Komodo?
I only said that I discussed with @jl777 the concept of how to design checkpoints in the Bitcoin blockchain for security.