Add equation-level and paper-scale convergence audit

Update proof-level reproduction evidence