Sun's Conjecture 3.5 on an Apéry-like supercongruence
Theorem 1.1 claims the complete stated conjecture modulo for every prime , covering both residue classes modulo 3, with treated directly. For inert primes, a finite quadratic differential invariant lifts Sun's published modulo- vanishing. For split primes, certified modular periods, an integral Hecke polynomial with a degree bound and complex multiplication give the evaluation. The Franel sum wi…