User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-10429372-20131026081009

Possible extension:

Make an ordinal notation like the inaccessible that diagonalize over $$K_{K_{...}}$$ Extend to Mahlo cardinals and the compact ordinal notation, and you can put this extension back into itself.