Can Semantic Compression Be Formalized for AGI-Scale Interpretability? (Initial experiments via an open-source reasoning kernel) — LessWrong