FAIT 1 : q0 == q1 mod p^2 pour Phi(u) = e(1+u)^(-1/u) -- theoreme auto-relevant sur W-SYM (preuve elementaire M1-M8)

Theoreme : avec P(u) = somme_{k= 7. La preuve, elementaire, tient en huitmaillons M1-M8 et est AUTO-RELEVANTE : la congruence mod p^2 se reduitentierement au theoreme W-SYM mod p (DOI 10.5281/zenodo.20648081). Piecesmaitresses : Lambda(v) := C(v-1) == -somme v^j/j (defaut de Frobeniusharmonique), identite clef u^2(1+u)h' - [(1+u)C - u] = u^p, cofacteur etinvolution de reflexion, EDO lineaire, extraction du coefficient p-1.Theoremes auxiliaires : factorisation polaire de Phi (partie interieurep-ENTIERE, poles Frobenius-desalignes). Annexe v2 : audit du statut formeldes maillons M3 et M5 (preuve de queue en deux lignes). Complement T4 :sporadiques v_p(q_0 - q_1) >= 3 en p = 7, 71, 241 (balayage p < 1000,densite 0.028). Verification mecanique (R5) : 15/15 exact (p