Supplement technique au DOI 10.5281/zenodo.20348555 : structure generatrice de F(t) = exp(1 - t/(e^t-1)), formule fermee Sub_J via Bell complet, relation paire F·e^{-t/2}, convention Kellner II corrigee et diagnostic ouvert sur le Theoreme 7

Cette note complete le depot DOI 20348555 ("Theoreme Wilson-Fermat-3") enapportant cinq resultats structurels nouveaux sur la fonction generatriceexponentielle F(t) = exp(1 - t/(e^t-1)) dont les coefficientsf_n = n! [t^n] F(t) interviennent dans la formule Stirling-Bell de E_p. Les cinq resultats sont : (R1) l'identite minimale heriteeX_p ≡ SR/2 - A_p + Sg mod p (conjecture-verrou 19/19) ; (R2) la formulefermee Sub_J = -(2^{J-1}/J)·h_J avec h_J = B_J(c_1..c_J) polynome de Bellcomplet sur c_k = -B_k pour k pair >= 2, c_k = 0 sinon — theoreme prouveanalytiquement et verifie 8/8 ; (R3) la relation generatrice paireF(t)·exp(-t/2) = exp(1 - (t/2)coth(t/2)) — theoreme prouve par identiteclassique sur coth, verifie 17/17 ; (R4) la convention CORRECTE pour leTheoreme 1.2 de Kellner II (arXiv:2509.05402v2) : B̄_n doit etre lu(B_{n(p-1)} + 1/p - 1)/(n(p-1)), non "+1/(p-1)" comme imprime dans la v2du PDF — coquille typographique identifiee, 8/8/8/8 mod p, p², p³ verifies ;(R5) la conjecture autonome p!·[t^p](F log F) ≡ 0 mod p (6/6 verifiee,distincte du verrou CC(p) ≡ 0 mod p comme demontre par calcul mod p²).La note inclut egalement la reformulation Kellner II du verrou sous laforme X_p ≡ SR/2 + B̄_1 + Sg - 1 mod p, ainsi que le diagnostic francdes quatre strategies de preuve testees lors de la session 25-26 mai 2026et toutes contredites par verification numerique en arithmetique exacte.Le verrou principal 2·S_res ≡ SR - A_p + 2Sg + q_p(2) mod p — qui equivautau Theoreme 7 modulo p — reste ouvert comme conjecture (6/6 verifiee,preuve analytique non obtenue). En annexe : synthese bibliographiqueexhaustive (25+ papiers examines, aucun match pour la famille generatrice F).