weber_general_n: componentwise saturation-height bounds for relative class-number growth in the cyclotomic Z2- and Z3-towers (paper, Blueprint, Lean, certificates, verifier)

Résumé fourni par la source

Theorem A: for every layer n >= 2 and odd prime l, l^{ord_{2^n}(l)} > C_n implies l does not divide h_n/h_{n-1}, with C_n an explicit product of L-values; at n = 7 an unconditional certified family of 1000 primes l = 65 (mod 128). Lean 4 kernel-checked cores (std-3 axioms), read-only certificate verifier, single-source Blueprint proofs, portable replay script. Release assets: paper PDF, Blueprint PDF, certificates, checker, CI attestation (ci_attestation.json) and CI logs; the source commit SHA and tag are in the GitHub Release metadata. MSC: 11R18, 11R29 (primary); 11H06, 11Y40 (secondary).

Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.