Analyzing Krazy Kode

So the hypothesis is there, sure, but I wonder how he is proving it (especially with a non-OA book no one has access to).