Verrou A K=2 : preuve de l'identité polynomiale globale Φ_GF ≡ G_GF + H_GF mod (p, z^{R+1})

Ce dépôt établit la fermeture du Verrou A K=2 du programme p-adique S_{p^k-1} par preuve de l'identité polynomiale globale Φ_GF ≡ G_GF + H_GF mod (p, z^{R+1}), où R = p² - 1, pour tout premier p ≥ 3 et tout m_0 ∈ [0, p-1]. La preuve s'articule en 4 composantes auto-vérifiantes :[A] Décomposition algébrique de G_GF (preuve pure)[B] Caractérisation complète de H_GF (déduction formelle)[C] Vérification exhaustive 72/72 cas sur p ∈ {5..19} (~16000 vérifications atomiques mod p)[D] Lemme nouveau + Corollaire Frobenius (preuves directes) Cohérence interne démontrée : [A] + [B] ⟹ [C] et [C] + [A] ⟹ [B]. Innovation structurelle : E_frob (obstruction Frobenius) éliminé globalement dans la somme totale, sans développement explicite terme-à-terme (annulation d'obstruction Frobenius). Reproductibilité : 18 scripts Python (sympy/Fraction, arithmétique exacte, R5 strict). Assistance technique : Claude Opus 4.7 (Anthropic).