User blog comment:Ubersketch/An outline for a system./@comment-35470197-20190615223735

How about explicitly writing down all the definition, instead of just explaining how it is expected to work? Since you have no explicit diagonalisation of total recursive functions, I do not think that it reaches the Church-Kleene ordinal even if it is formalised. However, no one can argue on the limit, because it is not formalised yet.