Verified section 3.2, equations (3.6)–(3.15): diagonal/off-diagonal decomposition and second-order projected Hamiltonian. Section 1.1 records the Anderson-to-Kondo application. The wiki two-level example is derived independently.