A1 Lemma 9.4 identity and cumulants of chi: OK
A2 moment formulas of M (exact enumeration, 16 cases): OK
A3 quartic certificate closed forms (tangency, discriminants, Q4, E P(chi), Q3 expansion): OK
ALL SELECTED PARTS PASSED: A
EXIT 0
