A Walkthrough of A Mathematical Framework for Transformer Circuits — AI Alignment Forum